title: First-Shot Unsupervised Anomalous Sound Detection With Unknown Anomalies Estimated by Metadata-Assisted Audio Generation

abstract: First-shot (FS) unsupervised anomalous sound detection (ASD) is a brand-new task introduced in DCASE 2023 Challenge Task 2, where the anomalous sounds for the target machine types are unseen in training. Existing methods often rely on the availability of normal and abnormal sound data from the target machines. However, due to the lack of anomalous sound data for the target machine types, it becomes challenging when adapting the existing ASD methods to the first-shot task. In this paper, we propose a new framework for the first-shot unsupervised ASD, where metadata-assisted audio generation is used to estimate unknown anomalies, by utilising the available machine information (i.e., metadata and sound data) to fine-tune a text-to-audio generation model for generating the anomalous sounds that contain unique acoustic characteristics accounting for each different machine type. We then use the method of Time-Weighted Frequency domain audio Representation with Gaussian Mixture Model (TWFR-GMM) as the backbone to achieve the first-shot unsupervised ASD. Our proposed FS-TWFR-GMM method achieves competitive performance amongst top systems in DCASE 2023 Challenge Task 2, while requiring only 1% model parameters for detection, as validated in our experiments.


title: An In-Context Schema Understanding Method for Knowledge Base Question Answering

abstract: The Knowledge Base Question Answering (KBQA) task aims to answer natural language questions based on a given knowledge base. Recently, Large Language Models (LLMs) have shown strong capabilities in language understanding and can be used to solve this task. In doing so, a major challenge for LLMs is to overcome the immensity and heterogeneity of knowledge base schemas.Existing methods bypass this challenge by initially employing LLMs to generate drafts of logic forms without schema-specific details.Then, an extra module is used to inject schema information to these drafts.In contrast, in this paper, we propose a simple In-Context Schema Understanding (ICSU) method that enables LLMs to directly understand schemas by leveraging in-context learning. Specifically, ICSU provides schema information to LLMs using schema-related annotated examples. We investigate three example retrieval strategies based on raw questions, anonymized questions, and generated SPARQL queries. Experimental results show that ICSU demonstrates competitive performance compared to baseline methods on both the KQA Pro and WebQSP datasets.


title: A semi-randomized and augmented Kaczmarz method with simple random sampling for large-scale inconsistent linear systems

abstract: A greedy randomized augmented Kaczmarz (GRAK) method was proposed in [Z.-Z. Bai and W.-T. WU, SIAM J. Sci. Comput., 43 (2021), pp. A3892-A3911] for large and sparse inconsistent linear systems. However, one has to construct two new index sets via computing residual vector with respect to the augmented linear system in each iteration. Thus, the computational overhead of this method is large for extremely large-scale problems. Moreover, there is no reliable stopping criterion for this method. In this work, we are interested in solving large-scale sparse or dense inconsistent linear systems, and try to enhance the numerical performance of the GRAK method. First, we propose an accelerated greedy randomized augmented Kaczmarz method. Theoretical analysis indicates that it converges faster than the GRAK method under very weak assumptions. Second, in order to further release the overhead, we propose a semi-randomized augmented Kaczmarz method with simple random sampling. Third, to the best of our knowledge, there are no practical stopping criteria for all the randomized Kaczmarz-type methods till now. To fill-in this gap, we introduce a practical stopping criterion for Kaczmarz-type methods, and show its rationality from a theoretical point of view. Numerical experiments are performed on both real-world and synthetic data sets, which demonstrate the efficiency of the proposed methods and the effectiveness of our stopping criterion.


title: Prompt-based Grouping Transformer for Nucleus Detection and Classification

abstract: Automatic nuclei detection and classification can produce effective information for disease diagnosis. Most existing methods classify nuclei independently or do not make full use of the semantic similarity between nuclei and their grouping features. In this paper, we propose a novel end-to-end nuclei detection and classification framework based on a grouping transformer-based classifier. The nuclei classifier learns and updates the representations of nuclei groups and categories via hierarchically grouping the nucleus embeddings. Then the cell types are predicted with the pairwise correlations between categorical embeddings and nucleus features. For the efficiency of the fully transformer-based framework, we take the nucleus group embeddings as the input prompts of backbone, which helps harvest grouping guided features by tuning only the prompts instead of the whole backbone. Experimental results show that the proposed method significantly outperforms the existing models on three datasets.


title: Carrier doping of Bi$_2$Se$_3$ surface by chemical adsorption -- a DFT study

abstract: Bi$_2$Se$_3$ is one of the most promising topological insulators, but it suffers from intrinsic n-doping due to Se-vacancies, which shifts the Fermi level into the bulk conduction band, leading to topologically trivial carriers. Recently it was shown that this Fermi-level shift can be compensated by a locally controlled surface p-doping process, through water adsorption and XUV irradiation. Here, the microscopic mechanism of this surface doping is studied by means of density functional theory (DFT) focusing on the adsorption of H$_2$O, OH, O, C and CH on Bi$_2$Se$_3$. We find that water adsorption has a negligible doping effect while hydroxyl groups lead to n-doping. Carbon adsorption on Se vacancies gives rise to p-doping but it also strongly modifies the electronic band structure around the Dirac point. Only if the Se vacancies are filled with atomic oxygen, the experimentally observed p-doping without change of the topological surface bands is reproduced. Based on the DFT results, we propose a reaction path where photon absorption gives rise to water splitting and the produced O atoms fill the Se vacancies. Adsorbed OH groups appear as intermediate states and carbon impurities may have a catalytic effect in agreement with experimental observations.


title: Modeling Intrapersonal and Interpersonal Influences for Automatic Estimation of Therapist Empathy in Counseling Conversation

abstract: Counseling is usually conducted through spoken conversation between a therapist and a client. The empathy level of therapist is a key indicator of outcomes. Presuming that therapist's empathy expression is shaped by their past behavior and their perception of the client's behavior, we propose a model to estimate the therapist empathy by considering both intrapersonal and interpersonal influences. These dynamic influences are captured by applying an attention mechanism to the therapist turn and the historical turns of both therapist and client. Our findings suggest that the integration of dynamic influences enhances empathy level estimation. The influence-derived embedding should constitute a minor portion in the target turn representation for optimal empathy estimation. The client's turns (interpersonal influence) appear to slightly surpass the therapist's own turns (intrapersonal influence) in empathy estimation effectiveness. It is noted that concentrating exclusively on recent historical turns can significantly impact the estimation of therapist empathy.


title: Spatial Sigma-Delta Modulation for Coarsely Quantized Massive MIMO Downlink: Flexible Designs by Convex Optimization

abstract: This paper considers the context of multiuser massive MIMO downlink precoding with low-resolution digital-to-analog converters (DACs) at the transmitter. This subject is motivated by the consideration that it is expensive to employ high-resolution DACs for practical massive MIMO implementations. The challenge with using low-resolution DACs is to overcome the detrimental quantization error effects. Recently, spatial Sigma-Delta modulation has arisen as a viable way to put quantization errors under control. This approach takes insight from temporal Sigma-Delta modulation in classical DAC studies. Assuming a 1D uniform linear transmit antenna array, the principle is to shape the quantization errors in space such that the shaped quantization errors are pushed away from the user-serving angle sector. In the previous studies, spatial Sigma-Delta modulation was performed by direct application of the basic first- and second-order modulators from the Sigma-Delta literature. In this paper, we develop a general Sigma-Delta modulator design framework for any given order, for any given number of quantization levels, and for any given angle sector. We formulate our design as a problem of maximizing the signal-to-quantization-and-noise ratios experienced by the users. The formulated problem is convex and can be efficiently solved by available solvers. Our proposed framework offers the alternative option of focused quantization error suppression in accordance with channel state information. Our framework can also be extended to 2D planar transmit antenna arrays. We perform numerical study under different operating conditions, and the numerical results suggest that, given a moderate number of quantization levels, say, 5 to 7 levels, our optimization-based Sigma-Delta modulation schemes can lead to bit error rate performance close to that of the unquantized counterpart.


title: Non-Bloch-Siegert-type power-induced shift of two-photon electron paramagnetic resonances of charge-carrier spin states in an OLED

abstract: We present Floquet theory-based predictions and electrically detected magnetic resonance (EDMR) experiments scrutinizing the nature of two-photon magnetic resonance shifts of charge-carrier spin states in the perdeuterated $\pi$-conjugated polymer poly[2-methoxy-5-(2'-ethylhexyloxy)-1,4-phenylene vinylene] (d-MEH-PPV) under strong magnetic resonant drive conditions (radiation amplitude $B_1$ ~ Zeeman field $B_0$). Numerical calculations show that the two-photon resonance shift with power is nearly drive-helicity independent. This is in contrast to the one-photon Bloch-Siegert shift that only occurs under non-circularly polarized strong drive conditions. We therefore treated the Floquet Hamiltonian analytically under arbitrary amplitudes of the co- and counter-rotating components of the radiation field to gain insight into the nature of the helicity dependence of multi-photon resonance shifts. In addition, we tested Floquet-theory predictions experimentally by comparing one-photon and two-photon charge-carrier spin resonance shifts observed through room-temperature EDMR experiments on d-MEH-PPV-based bipolar injection devices [i.e., organic light emitting diode structures (OLEDs)]. We found that under the experimental conditions of strong, linearly polarized drive, our observations consistently agree with theory, irrespective of the magnitude of $B_1$, and therefore underscore the robustness of Floquet theory in predicting nonlinear magnetic resonance behaviors.


title: A Study on Prosodic Entrainment in Relation to Therapist Empathy in Counseling Conversation

abstract: Counseling is carried out as spoken conversation between a therapist and a client. The empathy level expressed by the therapist is considered an important index of the quality of counseling and often assessed by an observer or the client. This research investigates the entrainment of speech prosody in relation to subjectively rated empathy. Experimental results show that the entrainment of intensity is more influential to empathy observation than that of pitch or speech rate in client-therapist interaction. The observer and the client have different perceptions of therapist empathy with the same entrained phenomena in pitch and intensity. The client's intention to make adjustment on pitch variation and intensity of speech is considered an indicator of the client's perception of counseling quality.


title: A Coordinate Descent Approach to Atomic Norm Minimization

abstract: Atomic norm minimization is of great interest in various applications of sparse signal processing including super-resolution line-spectral estimation and signal denoising. In prac-tice, atomic norm minimization (ANM) is formulated as semi-definite programming (SDP) that is generally hard to solve. This work introduces a low-complexity solver for a type of ANM known as atomic norm soft thresholding (AST). The proposed method uses the framework of coordinate descent and exploits the sparsity-inducing nature of atomic-norm regularization. Specifically, this work first provides an equivalent, non-convex formulation of AST. It is then proved that applying a coordinate descent algorithm on the non-convex formulation leads to convergence to the global solution. For the case of a single measurement vector of length N and complex exponential basis, the complexity of each step in the coordinate descent procedure is O(N log N ), rendering the method efficient for large-scale problems. Through simulations, the proposed solver is shown to be faster than alternating direction method of multiplier (ADMM) or customized interior point SDP solver if the problems are sparse. It is demonstrated that the coordinate descent solver can be modified for AST with multiple dimensions and multiple measurement vectors as well as a variety of general basis.


title: Constraint on the relativistic motion of fast radio bursts based on the maximal electric field

abstract: Fast radio bursts (FRBs) are millisecond radio signals from cosmological distances. As they propagate, FRBs can interact with ambient photons and initiate a quantum cascade that can limit the electric field strength. This paper examines whether some observed bright and brief FRBs may challenge this limit if the source is not relativistic. The size of a static FRB source is estimated as $R\sim ct$, where $t$ is the time scale of the FRB and $c$ denotes the speed of light. But for a relativistic source moving at the Lorentz factor $\Gamma$, the size is $R \sim 2 \Gamma^2 c t $. Using an FRB catalog, we plot the luminosity-duration distribution. Most FRBs fall below the limit for a static source, but two events have higher luminosity and shorter duration. This suggests these bursts may originate from relativistic sources, although more data is needed to confirm this.


title: Partition Speeds Up Learning Implicit Neural Representations Based on Exponential-Increase Hypothesis

abstract: $\textit{Implicit neural representations}$ (INRs) aim to learn a $\textit{continuous function}$ (i.e., a neural network) to represent an image, where the input and output of the function are pixel coordinates and RGB/Gray values, respectively. However, images tend to consist of many objects whose colors are not perfectly consistent, resulting in the challenge that image is actually a $\textit{discontinuous piecewise function}$ and cannot be well estimated by a continuous function. In this paper, we empirically investigate that if a neural network is enforced to fit a discontinuous piecewise function to reach a fixed small error, the time costs will increase exponentially with respect to the boundaries in the spatial domain of the target signal. We name this phenomenon the $\textit{exponential-increase}$ hypothesis. Under the $\textit{exponential-increase}$ hypothesis, learning INRs for images with many objects will converge very slowly. To address this issue, we first prove that partitioning a complex signal into several sub-regions and utilizing piecewise INRs to fit that signal can significantly speed up the convergence. Based on this fact, we introduce a simple partition mechanism to boost the performance of two INR methods for image reconstruction: one for learning INRs, and the other for learning-to-learn INRs. In both cases, we partition an image into different sub-regions and dedicate smaller networks for each part. In addition, we further propose two partition rules based on regular grids and semantic segmentation maps, respectively. Extensive experiments validate the effectiveness of the proposed partitioning methods in terms of learning INR for a single image (ordinary learning framework) and the learning-to-learn framework.


title: The Space Complexity of Generating Tent Codes

abstract: This paper is motivated by a question whether it is possible to calculate a chaotic sequence efficiently, e.g., is it possible to get the $n$-th bit of a bit sequence generated by a chaotic map, such as $\beta$-expansion, tent map and logistic map in $o(n)$ time/space? This paper gives an affirmative answer to the question about the space complexity of a tent map. We prove that a tent code of $n$-bits with an initial condition uniformly at random is exactly generated in $O(\log^2 n)$ space in expectation.


title: Multi-charged moments and symmetry-resolved R\'enyi entropy of free compact boson for multiple disjoint intervals

abstract: We study multi-charged moments and symmetry-resolved R\'enyi entropy of free compact boson for multiple disjoint intervals. The R\'enyi entropy evaluation involves computing the partition function of the theory on Riemann surfaces with genus g>1. This makes R\'enyi entropy sensitive to the local conformal algebra of the theory. The free compact boson possesses a global U(1) symmetry with respect to which we resolve R\'enyi entropy. The multi-charged moments are obtained by studying the correlation function of flux-generating vertex operators on the associated Riemann surface. Symmetry-resolved R\'enyi entropy is then obtained from the Fourier transforms of the charged moments. R\'enyi entropy is shown to have the familiar equipartition into local charge sectors up to the leading order. The multi-charged moments are also essential in studying the symmetry resolution of mutual information. The multi-charged moments of the self-dual compact boson and massless Dirac fermion are also shown to match for the cases when the associated reduced density matrix moments are known to be the same. Finally, we numerically check our results against the tight-binding model.


title: Stable Non-BPS Black Holes and Black Strings in Five Dimensions

abstract: In this paper we study black hole and black string solutions in five dimensional N=2 supergravity theories arising from the compactification of M-theory on Calabi-Yau manifolds. In particular, we consider explicit examples of three parameter Calabi-Yau manifolds which are obtained as hypersurfaces in toric varieties. Using the attractor mechanism, we obtain BPS as well as non-BPS black holes in these compactified supergravity theories. We also consider the black string solutions in these models. We analyze the stability of these extremal black brane configurations by computing the recombination factor. We find multiple stable non-BPS attractor solutions in some of these models.


title: A General Theory for Softmax Gating Multinomial Logistic Mixture of Experts

abstract: Mixture-of-experts (MoE) model incorporates the power of multiple submodels via gating functions to achieve greater performance in numerous regression and classification applications. From a theoretical perspective, while there have been previous attempts to comprehend the behavior of that model under the regression settings through the convergence analysis of maximum likelihood estimation in the Gaussian MoE model, such analysis under the setting of a classification problem has remained missing in the literature. We close this gap by establishing the convergence rates of density estimation and parameter estimation in the softmax gating multinomial logistic MoE model. Notably, when part of the expert parameters vanish, these rates are shown to be slower than polynomial rates owing to an inherent interaction between the softmax gating and expert functions via partial differential equations. To address this issue, we propose using a novel class of modified softmax gating functions which transform the input before delivering them to the gating functions. As a result, the previous interaction disappears and the parameter estimation rates are significantly improved.


title: Improved Techniques for Training Consistency Models

abstract: Consistency models are a nascent family of generative models that can sample high quality data in one step without the need for adversarial training. Current consistency models achieve optimal sample quality by distilling from pre-trained diffusion models and employing learned metrics such as LPIPS. However, distillation limits the quality of consistency models to that of the pre-trained diffusion model, and LPIPS causes undesirable bias in evaluation. To tackle these challenges, we present improved techniques for consistency training, where consistency models learn directly from data without distillation. We delve into the theory behind consistency training and identify a previously overlooked flaw, which we address by eliminating Exponential Moving Average from the teacher consistency model. To replace learned metrics like LPIPS, we adopt Pseudo-Huber losses from robust statistics. Additionally, we introduce a lognormal noise schedule for the consistency training objective, and propose to double total discretization steps every set number of training iterations. Combined with better hyperparameter tuning, these modifications enable consistency models to achieve FID scores of 2.51 and 3.25 on CIFAR-10 and ImageNet $64\times 64$ respectively in a single sampling step. These scores mark a 3.5$\times$ and 4$\times$ improvement compared to prior consistency training approaches. Through two-step sampling, we further reduce FID scores to 2.24 and 2.77 on these two datasets, surpassing those obtained via distillation in both one-step and two-step settings, while narrowing the gap between consistency models and other state-of-the-art generative models.


title: Magnetic Dipole and Noncommutativity

abstract: The noncommutativity concept has wide range of applications in physical and mathematical theories. Noncommutativity in the position-time coordinates concerns the microscale structure of space-time. the noncommutativity is an intrinsic property of the space-time and it could be different from usual properties when one encounters the high energy phenomena. on the other hand, the space-time is assumed to be as a background for the occurrence of physical events. therefore, it is not far-fetched to expect the emergence of new physics or dynamics when the fine geometric structure of space-time is deformed. In this work, we consider a common form of this deformation and try to answer the question as: a physical (or dynamical) model can be described by the noncommutative effects?. This can also be asked this way: dose the noncommutativity could have a physical manifestations in the nature?. Our model here is a magnetic dipole.


title: Boundary scattering tomography of the Bose Hubbard model on general graphs

abstract: Correlated quantum many-body phenomena in lattice models have been identified as a set of physically interesting problems that cannot be solved classically. Analog quantum simulators, in photonics and microwave superconducting circuits, have emerged as near-term platforms to address these problems. An important ingredient in practical quantum simulation experiments is the tomography of the implemented Hamiltonians -- while this can easily be performed if we have individual measurement access to each qubit in the simulator, this could be challenging to implement in many hardware platforms. In this paper, we present a scheme for tomography of quantum simulators which can be described by a Bose-Hubbard Hamiltonian while having measurement access to only some sites on the boundary of the lattice. We present an algorithm that uses the experimentally routine transmission and two-photon correlation functions, measured at the boundary, to extract the Hamiltonian parameters at the standard quantum limit. Furthermore, by building on quantum enhanced spectroscopy protocols that, we show that with the additional ability to switch on and off the on-site repulsion in the simulator, we can sense the Hamiltonian parameters beyond the standard quantum limit.


title: PromptMix: A Class Boundary Augmentation Method for Large Language Model Distillation

abstract: Data augmentation is a widely used technique to address the problem of text classification when there is a limited amount of training data. Recent work often tackles this problem using large language models (LLMs) like GPT3 that can generate new examples given already available ones. In this work, we propose a method to generate more helpful augmented data by utilizing the LLM's abilities to follow instructions and perform few-shot classifications. Our specific PromptMix method consists of two steps: 1) generate challenging text augmentations near class boundaries; however, generating borderline examples increases the risk of false positives in the dataset, so we 2) relabel the text augmentations using a prompting-based LLM classifier to enhance the correctness of labels in the generated data. We evaluate the proposed method in challenging 2-shot and zero-shot settings on four text classification datasets: Banking77, TREC6, Subjectivity (SUBJ), and Twitter Complaints. Our experiments show that generating and, crucially, relabeling borderline examples facilitates the transfer of knowledge of a massive LLM like GPT3.5-turbo into smaller and cheaper classifiers like DistilBERT$_{base}$ and BERT$_{base}$. Furthermore, 2-shot PromptMix outperforms multiple 5-shot data augmentation methods on the four datasets. Our code is available at https://github.com/ServiceNow/PromptMix-EMNLP-2023.


title: Approach of the NGC 1977 star cluster to the TOI-2796 host star

abstract: We study of possible encounters in past epochs of the open star cluster NGC 1977 with host stars. For this purpose, the age of the cluster was determined based on our catalog data. Stars with planetary systems were selected from the NASA Archive. The age of the cluster was determined using the color - absolute magnitude diagram and the isochron system. By extending the track of the movement of the cluster and stars in past epochs, 10 Myr. The time of the maximum approach 32 pc of the host star with planetary system TOI-2796 with the NGC 1977 are found. The place of approach in the sky is shown, this point can be considered as the place of appearance of interstellar comets. Thus, the result of our work is that the we found approach of the host star to the cluster entailed effects associated with the gravitational influence of the cluster on the nuclei of comets located in the outer parts of the Oort cloud of the planetary system. The effect of approach on comets is estimated.


title: Distractor-aware Event-based Tracking

abstract: Event cameras, or dynamic vision sensors, have recently achieved success from fundamental vision tasks to high-level vision researches. Due to its ability to asynchronously capture light intensity changes, event camera has an inherent advantage to capture moving objects in challenging scenarios including objects under low light, high dynamic range, or fast moving objects. Thus event camera are natural for visual object tracking. However, the current event-based trackers derived from RGB trackers simply modify the input images to event frames and still follow conventional tracking pipeline that mainly focus on object texture for target distinction. As a result, the trackers may not be robust dealing with challenging scenarios such as moving cameras and cluttered foreground. In this paper, we propose a distractor-aware event-based tracker that introduces transformer modules into Siamese network architecture (named DANet). Specifically, our model is mainly composed of a motion-aware network and a target-aware network, which simultaneously exploits both motion cues and object contours from event data, so as to discover motion objects and identify the target object by removing dynamic distractors. Our DANet can be trained in an end-to-end manner without any post-processing and can run at over 80 FPS on a single V100. We conduct comprehensive experiments on two large event tracking datasets to validate the proposed model. We demonstrate that our tracker has superior performance against the state-of-the-art trackers in terms of both accuracy and efficiency.


title: Multi-parameter Tests of General Relativity Using Bayesian Parameter Estimation with Principal Component Analysis for LISA

abstract: In the near future, space-borne gravitational wave (GW) detector LISA can open the window of low-frequency band of GW and provide new tools to test gravity theories. In this work, we consider multi-parameter tests of GW generation and propagation where the deformation coefficients are varied simultaneously in parameter estimation and the principal component analysis (PCA) method are used to transform posterior samples into new bases for extracting the most informative components. The dominant components can be more sensitive to potential departures from general relativity (GR). We extend previous works by employing Bayesian parameter estimation and performing both tests with injections of GR and injections of subtle GR-violated signals. We also apply multi-parameter tests with PCA in the phenomenological test of GW propagation. This work complements previous works and further demonstrates the enhancement provided by the PCA method. Considering a supermassive black hole binary system as the GW source, we show that subtle departures will be more obvious in posteriors of PCA parameters. The departures less than $1\sigma$ in original parameters can yield significant departures in first 5 dominant PCA parameters.


title: Learning to Discern: Imitating Heterogeneous Human Demonstrations with Preference and Representation Learning

abstract: Practical Imitation Learning (IL) systems rely on large human demonstration datasets for successful policy learning. However, challenges lie in maintaining the quality of collected data and addressing the suboptimal nature of some demonstrations, which can compromise the overall dataset quality and hence the learning outcome. Furthermore, the intrinsic heterogeneity in human behavior can produce equally successful but disparate demonstrations, further exacerbating the challenge of discerning demonstration quality. To address these challenges, this paper introduces Learning to Discern (L2D), an offline imitation learning framework for learning from demonstrations with diverse quality and style. Given a small batch of demonstrations with sparse quality labels, we learn a latent representation for temporally embedded trajectory segments. Preference learning in this latent space trains a quality evaluator that generalizes to new demonstrators exhibiting different styles. Empirically, we show that L2D can effectively assess and learn from varying demonstrations, thereby leading to improved policy performance across a range of tasks in both simulations and on a physical robot.


title: Diffusion-based Data Augmentation for Nuclei Image Segmentation

abstract: Nuclei segmentation is a fundamental but challenging task in the quantitative analysis of histopathology images. Although fully-supervised deep learning-based methods have made significant progress, a large number of labeled images are required to achieve great segmentation performance. Considering that manually labeling all nuclei instances for a dataset is inefficient, obtaining a large-scale human-annotated dataset is time-consuming and labor-intensive. Therefore, augmenting a dataset with only a few labeled images to improve the segmentation performance is of significant research and application value. In this paper, we introduce the first diffusion-based augmentation method for nuclei segmentation. The idea is to synthesize a large number of labeled images to facilitate training the segmentation model. To achieve this, we propose a two-step strategy. In the first step, we train an unconditional diffusion model to synthesize the Nuclei Structure that is defined as the representation of pixel-level semantic and distance transform. Each synthetic nuclei structure will serve as a constraint on histopathology image synthesis and is further post-processed to be an instance map. In the second step, we train a conditioned diffusion model to synthesize histopathology images based on nuclei structures. The synthetic histopathology images paired with synthetic instance maps will be added to the real dataset for training the segmentation model. The experimental results show that by augmenting 10% labeled real dataset with synthetic samples, one can achieve comparable segmentation results with the fully-supervised baseline. The code is released in: https://github.com/lhaof/Nudiff


title: QA-NatVer: Question Answering for Natural Logic-based Fact Verification

abstract: Fact verification systems assess a claim's veracity based on evidence. An important consideration in designing them is faithfulness, i.e. generating explanations that accurately reflect the reasoning of the model. Recent works have focused on natural logic, which operates directly on natural language by capturing the semantic relation of spans between an aligned claim with its evidence via set-theoretic operators. However, these approaches rely on substantial resources for training, which are only available for high-resource languages. To this end, we propose to use question answering to predict natural logic operators, taking advantage of the generalization capabilities of instruction-tuned language models. Thus, we obviate the need for annotated training data while still relying on a deterministic inference system. In a few-shot setting on FEVER, our approach outperforms the best baseline by $4.3$ accuracy points, including a state-of-the-art pre-trained seq2seq natural logic system, as well as a state-of-the-art prompt-based classifier. Our system demonstrates its robustness and portability, achieving competitive performance on a counterfactual dataset and surpassing all approaches without further annotation on a Danish verification dataset. A human evaluation indicates that our approach produces more plausible proofs with fewer erroneous natural logic operators than previous natural logic-based systems.


title: Partially Explicit Generalized Multiscale Method for Poroelasticity Problem

abstract: We develop a partially explicit time discretization based on the framework of constraint energy minimizing generalized multiscale finite element method (CEM-GMsFEM) for the problem of linear poroelasticity with high contrast. Firstly, dominant basis functions generated by the CEM-GMsFEM approach are used to capture important degrees of freedom and it is known to give contrast-independent convergence that scales with the mesh size. In typical situation, one has very few degrees of freedom in dominant basis functions. This part is treated implicitly. Secondly, we design and introduce an additional space in the complement space and these degrees are treated explicitly. We also investigate the CFL-type stability restriction for this problem, and the restriction for the time step is contrast independent.


title: Dynamic Resource Management in CDRT Systems through Adaptive NOMA

abstract: This paper introduces a novel adaptive transmission scheme to amplify the prowess of coordinated direct and relay transmission (CDRT) systems rooted in non-orthogonal multiple access principles. Leveraging the maximum ratio transmission scheme, we seamlessly meet the prerequisites of CDRT while harnessing the potential of dynamic power allocation and directional antennas to elevate the system's operational efficiency. Through meticulous derivations, we unveil closed-form expressions depicting the exact effective sum throughput. Our simulation results adeptly validate the theoretical analysis and vividly showcase the effectiveness of the proposed scheme.


title: Prompt Engineering Through the Lens of Optimal Control

abstract: Prompt Engineering (PE) has emerged as a critical technique for guiding Large Language Models (LLMs) in solving intricate tasks. Its importance is highlighted by its potential to significantly enhance the efficiency and effectiveness of human-machine interaction. As tasks grow increasingly complex, recent advanced PE methods have extended beyond the limitations of single-round interactions to embrace multi-round interactions, which allows for a deeper and more nuanced engagement with LLMs. In this paper, we propose an optimal control framework tailored for multi-round interactions with LLMs. This framework provides a unified mathematical structure that not only systematizes the existing PE methods but also sets the stage for rigorous analytical improvements. Furthermore, we extend this framework to include PE via ensemble methods and multi-agent collaboration, thereby enlarging the scope of applicability. By adopting an optimal control perspective, we offer fresh insights into existing PE methods and highlight theoretical challenges that warrant future research. Besides, our work lays a foundation for the development of more effective and interpretable PE methods.


title: Controlling spin-orbit coupling to tailor type-II Dirac bands

abstract: NiTe2, a type-II Dirac semimetal with strongly tilted Dirac band, has been explored extensively to understand its intriguing topological properties. Here, using density-functional theory (DFT) calculations, we report that the strength of spin-orbit coupling (SOC) in NiTe2 can be tuned by Se substitution. This results in negative shifts of the bulk Dirac point (BDP) while preserving the type-II Dirac band. Indeed, combined studies using scanning tunneling spectroscopy (STS) and angle-resolved photoemission spectroscopy (ARPES) confirm that the BDP in the NiTe2-xSex alloy moves from +0.1 eV (NiTe2) to -0.3 eV (NiTeSe) depending on the Se concentrations, indicating the effective tunability of type-II Dirac fermions. Our results demonstrate an approach to tailor the type-II Dirac band in NiTe2 by controlling the SOC strength via chalcogen substitution. This approach can be applicable to different types of topological materials.


title: On stability and nonvanishing of homomorphism spaces between Weyl modules

abstract: Consider the general linear group $G=GL_{n}(K)$ defined over an infinite field $K$ of positive characteristic $p$. We denote by $\Delta(\lambda)$ the Weyl module of $G$ which corresponds to a partition $\lambda$. Let $\lambda, \mu $ be partitions of $r$ and let $\gamma$ be partition with all parts divisible by $p$. In the first main result of this paper, we find sufficient conditions on $\lambda, \mu$ and $\gamma$ so that $Hom_G(\Delta(\lambda),\Delta(\mu))$ $ \simeq$ $ Hom_G(\Delta(\lambda +\gamma),\Delta(\mu +\gamma))$, thus providing an answer to a question of D. Hemmer. As corollaries we obtain stability and periodicity results for homomorphism spaces. In the second main result we find related sufficient conditions on $\lambda, \mu$ and $p$ so that $Hom_G(\Delta(\lambda),\Delta(\mu))$ is nonzero. An explicit map is provided that corresponds to the sum of all semistandard tableaux of shape $\mu$ and weight $\lambda$.


title: Real-space formulation of topology for disordered Rice-Mele chains without chiral symmetry

abstract: In this paper, we derive a real-space topological invariant that involves all energy states in the system. This global invariant, denoted by $Q$, is always quantized to be 0 or 1, independent of symmetries. In terms of $Q$, we numerically investigate topological properties of the nonchiral Rice-Mele model including random onsite potentials to show that nontrivial bulk topology is sustained for weak enough disorder. In this regime, a finite spectral gap persists, and then $Q$ is definitely identified. We also consider sublattice polarization of disorder potentials. In this case, the energy spectrum retains a gap regardless of disorder strength so that $Q$ is unaffected by disorder. This implies that bulk topology remains intact as long as the spectral gap opens.


title: Machine-learning-assisted analysis of transition metal dichalcogenide thin-film growth

abstract: In situ reflective high-energy electron diffraction (RHEED) is widely used to monitor the surface crystalline state during thin-film growth by molecular beam epitaxy (MBE) and pulsed laser deposition. With the recent development of machine learning (ML), ML-assisted analysis of RHEED videos aids in interpreting the complete RHEED data of oxide thin films. The quantitative analysis of RHEED data allows us to characterize and categorize the growth modes step by step, and extract hidden knowledge of the epitaxial film growth process. In this study, we employed the ML-assisted RHEED analysis method to investigate the growth of 2D thin films of transition metal dichalcogenides (ReSe2) on graphene substrates by MBE. Principal component analysis (PCA) and K-means clustering were used to separate statistically important patterns and visualize the trend of pattern evolution without any notable loss of information. Using the modified PCA, we could monitor the diffraction intensity of solely the ReSe2 layers by filtering out the substrate contribution. These findings demonstrate that ML analysis can be successfully employed to examine and understand the film-growth dynamics of 2D materials. Further, the ML-based method can pave the way for the development of advanced real-time monitoring and autonomous material synthesis techniques.


title: Manifold-Preserving Transformers are Effective for Short-Long Range Encoding

abstract: Multi-head self-attention-based Transformers have shown promise in different learning tasks. Albeit these models exhibit significant improvement in understanding short-term and long-term contexts from sequences, encoders of Transformers and their variants fail to preserve layer-wise contextual information. Transformers usually project tokens onto sparse manifolds and fail to preserve mathematical equivalence among the token representations. In this work, we propose TransJect, an encoder model that guarantees a theoretical bound for layer-wise distance preservation between a pair of tokens. We propose a simple alternative to dot-product attention to ensure Lipschitz continuity. This allows TransJect to learn injective mappings to transform token representations to different manifolds with similar topology and preserve Euclidean distance between every pair of tokens in subsequent layers. Evaluations across multiple benchmark short- and long-sequence classification tasks show maximum improvements of 6.8% and 5.9%, respectively, over the variants of Transformers. Additionally, TransJect displays 79% better performance than Transformer on the language modeling task. We further highlight the shortcomings of multi-head self-attention from the statistical physics viewpoint. Although multi-head self-attention was incepted to learn different abstraction levels within the networks, our empirical analyses suggest that different attention heads learn randomly and unorderly. In contrast, TransJect adapts a mixture of experts for regularization; these experts are more orderly and balanced and learn different sparse representations from the input sequences. TransJect exhibits very low entropy and can be efficiently scaled to larger depths.


title: Atomic arrangement of van der Waals heterostructures using X-ray scattering and crystal truncation rod analysis

abstract: Vanadium diselenide (VSe2) has intriguing physical properties such as unexpected ferromagnetism at the two-dimensional limit. However, the experimental results for room temperature ferromagnetism are still controversial and depend on the detailed crystal structure and stoichiometry. Here we introduce crystal truncation rod (CTR) analysis to investigate the atomic arrangement of bilayer VSe2 and bilayer graphene (BLG) hetero-structures grown on a 6H-SiC(0001) substrate. Using non-destructive CTR analysis, we were able to obtain electron density profiles and detailed crystal structure of the VSe2/BLG heterostructures. Specifically, the out-of-plane lattice parameters of each VSe2 layer were modulated by the interface compared to that of the bulk VSe2 1T phase. The atomic arrangement of the VSe2/BLG heterostructure provides deeper understanding and insight for elucidating the magnetic properties of the van der Waals heterostructure.


title: Electrical conductivity enhancement of epitaxially grown TiN thin films

abstract: Titanium nitride (TiN) presents superior electrical conductivity with mechanical and chemical stability and compatibility with the semiconductor fabrication process. Here, we fabricated epitaxial and polycrystalline TiN (111) thin films on MgO (111), sapphire (001), and mica substrates at 640oC and room temperature by using a DC sputtering, respectively. The epitaxial films show less amount of surface oxidation than the polycrystalline ones grown at room temperature. The epitaxial films show drastically reduced resistivity (~30 micro-ohm-cm), much smaller than the polycrystalline films. Temperature-dependent resistivity measurements show a nearly monotonic temperature slope down to low temperature. These results demonstrate that high temperature growth of TiN thin films leads to significant enhancement of electrical conductivity, promising for durable and scalable electrode applications.


title: SUT: Active Defects Probing for Transcompiler Models

abstract: Automatic Program translation has enormous application value and hence has been attracting significant interest from AI researchers. However, we observe that current program translation models still make elementary syntax errors, particularly, when the target language does not have syntax elements in the source language. Metrics like BLUE, CodeBLUE and computation accuracy may not expose these issues. In this paper we introduce a new metrics for programming language translation and these metrics address these basic syntax errors. We develop a novel active defects probing suite called Syntactic Unit Tests (SUT) which includes a highly interpretable evaluation harness for accuracy and test scoring. Experiments have shown that even powerful models like ChatGPT still make mistakes on these basic unit tests. Specifically, compared to previous program translation task evaluation dataset, its pass rate on our unit tests has decreased by 26.15%. Further our evaluation harness reveal syntactic element errors in which these models exhibit deficiencies.


title: Inhomogeneous Polarization Transformation Reveals PT-Transition in non-Hermitian Optical Beam Shift

abstract: Despite its non-Hermitian nature, the transverse optical beam shift exhibits both real eigenvalues and non-orthogonal eigenstates. To explore this unexpected similarity to typical PT (parity-time)-symmetric systems, we first categorize the entire parametric regime of optical beam shifts into Hermitian, PT-unbroken, and PT-broken phases. Besides experimentally unveiling the PT-broken regime, crucially, we illustrate that the observed PT-transition is rooted in the momentum-domain inhomogeneous polarization transformation of the beam. The correspondence with a typical non-Hermitian photonic system is further established. Our work not only resolves a longstanding fundamental issue in the field of optical beam shift but also puts forward the notion of novel non-Hermitian spin-orbit photonics: a new direction to study non-Hermitian physics through the optical beam shifts.


title: LUNA: A Model-Based Universal Analysis Framework for Large Language Models

abstract: Over the past decade, Artificial Intelligence (AI) has had great success recently and is being used in a wide range of academic and industrial fields. More recently, LLMs have made rapid advancements that have propelled AI to a new level, enabling even more diverse applications and industrial domains with intelligence, particularly in areas like software engineering and natural language processing. Nevertheless, a number of emerging trustworthiness concerns and issues exhibited in LLMs have already recently received much attention, without properly solving which the widespread adoption of LLMs could be greatly hindered in practice. The distinctive characteristics of LLMs, such as the self-attention mechanism, extremely large model scale, and autoregressive generation schema, differ from classic AI software based on CNNs and RNNs and present new challenges for quality analysis. Up to the present, it still lacks universal and systematic analysis techniques for LLMs despite the urgent industrial demand. Towards bridging this gap, we initiate an early exploratory study and propose a universal analysis framework for LLMs, LUNA, designed to be general and extensible, to enable versatile analysis of LLMs from multiple quality perspectives in a human-interpretable manner. In particular, we first leverage the data from desired trustworthiness perspectives to construct an abstract model as an auxiliary analysis asset, which is empowered by various abstract model construction methods. To assess the quality of the abstract model, we collect and define a number of evaluation metrics, aiming at both abstract model level and the semantics level. Then, the semantics, which is the degree of satisfaction of the LLM w.r.t. the trustworthiness perspective, is bound to and enriches the abstract model with semantics, which enables more detailed analysis applications for diverse purposes.


title: Contact holes in vertical electrode structures analyzed by voltage contrast-SEM and conducting AFM

abstract: Soaring demands of multi-stacked memory devices request urgent development of backside contact electrode technologies, such as high aspect ratio etching, metallization, and inspection methods. Especially the complex metal contact process should be monitored for each manufacturing step to filter the defective samples and to maintain the high yield of production. Among the inspection methods for detecting the electrical connections, there is voltage contrast (VC)-SEM and conducting AFM (C-AFM). In this report, we investigated the two inspection methods for testing designed samples with different contact hole states. The VC-SEM data shows the contrast variation at the contact holes, from which one may discern the contact status with an optimum voltage. The C-AFM results clearly demonstrate a finite electrical current in the connected contact, while a negligible current in the disconnected one. Finally, we discuss insights of using the two methods for analyzing the contact hole technologies with high aspect ratios.


title: Effective and anatomical connectivity of the dorso-central insula during the processing of action forms

abstract: In both human and monkeys the observation and execution of actions produced the activation of a network consisting of parietal and frontal areas. Although this network is involved in the encoding of the action goal, it does not consider the affective component of the action: vitality form (VF). Several studies showed that the observation and execution of actions conveying VFs selectively activated the dorso-central insula (DCI). In the present study, we aimed to clarify, by using Dynamic Causal Modeling (DCM), the direction of the information flow across DCI, parieto-frontal areas (PMv, IPL) and posterior superior temporal sulcus (pSTS) during both observation and execution of actions conveying VFs. Results indicate that, during observation, DCI receives the visual input from pSTS, and, in turn, sends it to the fronto-parietal network. Moreover, DCI significantly modulates PMv. Conversely, during execution, the motor input starts from PMv, reaches DCI and IPL, with a significant modulation from PMv to DCI. The reciprocal exchange of information between PMv and DCI suggests that these areas work closely together in the VFs action processing. An additional tractography analysis corroborates our DCM models, showing a correspondence between functional connections and anatomical tracts.


title: TransY-Net:Learning Fully Transformer Networks for Change Detection of Remote Sensing Images

abstract: In the remote sensing field, Change Detection (CD) aims to identify and localize the changed regions from dual-phase images over the same places. Recently, it has achieved great progress with the advances of deep learning. However, current methods generally deliver incomplete CD regions and irregular CD boundaries due to the limited representation ability of the extracted visual features. To relieve these issues, in this work we propose a novel Transformer-based learning framework named TransY-Net for remote sensing image CD, which improves the feature extraction from a global view and combines multi-level visual features in a pyramid manner. More specifically, the proposed framework first utilizes the advantages of Transformers in long-range dependency modeling. It can help to learn more discriminative global-level features and obtain complete CD regions. Then, we introduce a novel pyramid structure to aggregate multi-level visual features from Transformers for feature enhancement. The pyramid structure grafted with a Progressive Attention Module (PAM) can improve the feature representation ability with additional inter-dependencies through spatial and channel attentions. Finally, to better train the whole framework, we utilize the deeply-supervised learning with multiple boundary-aware loss functions. Extensive experiments demonstrate that our proposed method achieves a new state-of-the-art performance on four optical and two SAR image CD benchmarks. The source code is released at https://github.com/Drchip61/TransYNet.


title: Item-Graph2vec: a Efficient and Effective Approach using Item Co-occurrence Graph Embedding for Collaborative Filtering

abstract: Current item-item collaborative filtering algorithms based on artificial neural network, such as Item2vec, have become ubiquitous and are widely applied in the modern recommender system. However, these approaches do not apply to the large-scale item-based recommendation system because of their extremely long training time. To overcome the shortcoming that current algorithms have high training time costs and poor stability when dealing with large-scale data sets, the item graph embedding algorithm Item-Graph2vec is described here. This algorithm transforms the users' shopping list into a item co-occurrence graph, obtains item sequences through randomly travelling on this co-occurrence graph and finally trains item vectors through sequence samples. We posit that because of the stable size of item, the size and density of the item co-occurrence graph change slightly with the increase in the training corpus. Therefore, Item-Graph2vec has a stable runtime on the large scale data set, and its performance advantage becomes more and more obvious with the growth of the training corpus. Extensive experiments conducted on real-world data sets demonstrate that Item-Graph2vec outperforms Item2vec by 3 times in terms of efficiency on douban data set, while the error generated by the random walk sampling is small.


title: UniMAP: Universal SMILES-Graph Representation Learning

abstract: Molecular representation learning is fundamental for many drug related applications. Most existing molecular pre-training models are limited in using single molecular modality, either SMILES or graph representation. To effectively leverage both modalities, we argue that it is critical to capture the fine-grained 'semantics' between SMILES and graph, because subtle sequence/graph differences may lead to contrary molecular properties. In this paper, we propose a universal SMILE-graph representation learning model, namely UniMAP. Firstly, an embedding layer is employed to obtain the token and node/edge representation in SMILES and graph, respectively. A multi-layer Transformer is then utilized to conduct deep cross-modality fusion. Specially, four kinds of pre-training tasks are designed for UniMAP, including Multi-Level Cross-Modality Masking (CMM), SMILES-Graph Matching (SGM), Fragment-Level Alignment (FLA), and Domain Knowledge Learning (DKL). In this way, both global (i.e. SGM and DKL) and local (i.e. CMM and FLA) alignments are integrated to achieve comprehensive cross-modality fusion. We evaluate UniMAP on various downstream tasks, i.e. molecular property prediction, drug-target affinity prediction and drug-drug interaction. Experimental results show that UniMAP outperforms current state-of-the-art pre-training methods.We also visualize the learned representations to demonstrate the effect of multi-modality integration.


title: On the Sum Secrecy Rate of Multi-User Holographic MIMO Networks

abstract: The emerging concept of extremely-large holographic multiple-input multiple-output (HMIMO), beneficial from compactly and densely packed cost-efficient radiating meta-atoms, has been demonstrated for enhanced degrees of freedom even in pure line-of-sight conditions, enabling tremendous multiplexing gain for the next-generation communication systems. Most of the reported works focus on energy and spectrum efficiency, path loss analyses, and channel modeling. The extension to secure communications remains unexplored. In this paper, we theoretically characterize the secrecy capacity of the HMIMO network with multiple legitimate users and one eavesdropper while taking into consideration artificial noise and max-min fairness. We formulate the power allocation (PA) problem and address it by following successive convex approximation and Taylor expansion. We further study the effect of fixed PA coefficients, imperfect channel state information, inter-element spacing, and the number of Eve's antennas on the sum secrecy rate. Simulation results show that significant performance gain with more than 100\% increment in the high signal-to-noise ratio (SNR) regime for the two-user case is obtained by exploiting adaptive/flexible PA compared to the case with fixed PA coefficients.


title: The residual flow in well-optimized stellarators

abstract: The gyrokinetic theory of the residual flow, in the electrostatic limit, is revisited, with optimized stellarators in mind. We consider general initial conditions for the problem, and identify cases that lead to a non-zonal residual electrostatic potential, i.e. one having a significant component that varies within a flux surface. We investigate the behavior of the ``intermediate residual'' in stellarators, a measure of the flow that remains after geodesic acoustic modes have damped away, but before the action of the slower damping that is caused by unconfined particle orbits. The case of a quasi-isodynamic stellarator is identified as having a particularly large such residual, owing to the small orbit width achieved by optimization.


title: Nonlinear Codes with Low Redundancy

abstract: Determining the largest size, or equivalently finding the lowest redundancy, of q-ary codes for given length and minimum distance is one of the central and fundamental problems in coding theory. Inspired by the construction of Varshamov-Tenengolts (VT for short) codes via check-sums, we provide an explicit construction of nonlinear codes with lower redundancy than linear codes under the same length and minimum distance. Similar to the VT codes, our construction works well for small distance (or even constant distance). Furthermore, we design quasi-linear time decoding algorithms for both erasure and adversary errors.


title: Topologically Variable and Volumetric Morphing of 3D Architected Materials with Shape Locking

abstract: The morphing of 3D structures is suitable for i) future tunable material design for customizing material properties and ii) advanced manufacturing tools for fabricating 3D structures on a 2D plane. However, there is no inverse design method for topologically variable and volumetric morphing or morphing with shape locking, which limits practical engineering applications. In this study, we construct a general inverse design method for 3D architected materials for topologically variable and volumetric morphing, whose shapes are lockable in the morphed states, which can contribute to future tunable materials, design, and advanced manufacturing. Volumetric mapping of bistable unit cells onto any 3D morphing target geometry with kinematic and kinetic modifications can produce flat-foldable and volumetric morphing structures with shape-locking. This study presents a generalized inverse design method for 3D metamaterial morphing that can be used for structural applications with shape locking. Topologically variable morphing enables the manufacture of volumetric structures on a 2D plane, saving tremendous energy and materials compared with conventional 3D printing. Volumetric morphing can significantly expand the design space with tunable physical properties without limiting the selection of base materials.


title: The Importance of Anti-Aliasing in Tiny Object Detection

abstract: Tiny object detection has gained considerable attention in the research community owing to the frequent occurrence of tiny objects in numerous critical real-world scenarios. However, convolutional neural networks (CNNs) used as the backbone for object detection architectures typically neglect Nyquist's sampling theorem during down-sampling operations, resulting in aliasing and degraded performance. This is likely to be a particular issue for tiny objects that occupy very few pixels and therefore have high spatial frequency features. This paper applied an existing approach WaveCNet for anti-aliasing to tiny object detection. WaveCNet addresses aliasing by replacing standard down-sampling processes in CNNs with Wavelet Pooling (WaveletPool) layers, effectively suppressing aliasing. We modify the original WaveCNet to apply WaveletPool in a consistent way in both pathways of the residual blocks in ResNets. Additionally, we also propose a bottom-heavy version of the backbone, which further improves the performance of tiny object detection while also reducing the required number of parameters by almost half. Experimental results on the TinyPerson, WiderFace, and DOTA datasets demonstrate the importance of anti-aliasing in tiny object detection and the effectiveness of the proposed method which achieves new state-of-the-art results on all three datasets. Codes and experiment results are released at https://github.com/freshn/Anti-aliasing-Tiny-Object-Detection.git.


title: One-for-All: Towards Universal Domain Translation with a Single StyleGAN

abstract: In this paper, we propose a novel translation model, UniTranslator, for transforming representations between visually distinct domains under conditions of limited training data and significant visual differences. The main idea behind our approach is leveraging the domain-neutral capabilities of CLIP as a bridging mechanism, while utilizing a separate module to extract abstract, domain-agnostic semantics from the embeddings of both the source and target realms. Fusing these abstract semantics with target-specific semantics results in a transformed embedding within the CLIP space. To bridge the gap between the disparate worlds of CLIP and StyleGAN, we introduce a new non-linear mapper, the CLIP2P mapper. Utilizing CLIP embeddings, this module is tailored to approximate the latent distribution in the P space, effectively acting as a connector between these two spaces. The proposed UniTranslator is versatile and capable of performing various tasks, including style mixing, stylization, and translations, even in visually challenging scenarios across different visual domains. Notably, UniTranslator generates high-quality translations that showcase domain relevance, diversity, and improved image quality. UniTranslator surpasses the performance of existing general-purpose models and performs well against specialized models in representative tasks. The source code and trained models will be released to the public.


title: Microstructure evolution and characteristics of laser-clad lightweight refractory NbxMo$_{0.5}$Ti$_{1.5}$Ta$_{0.2}$Cr high-entropy alloy

abstract: Lightweight refractory high-entropy alloy coatings (RHEAcs) of NbxMo$_{0.5}$Ti$_{1.5}$Ta$_{0.2}$Cr (where $x=$ 1, 1.3, 1.5, and 2) were fabricated on the surface of 316L stainless steel using laser cladding (LC) technology. A comprehensive study was conducted to elucidate the effect of Nb content on the microstructure, microhardness and wear resistance of NbxMo$_{0.5}$Ti$_{1.5}$Ta$_{0.2}$Cr RHEAcs before and after annealing at 900 for 10 h. The results show that the grains are gradually refined with the increase of Nb content. The coating consists mainly of a body-centered cubic (BCC) solid solution, C15-Laves phase, and a small amount of hexagonal close-packed (HCP) solid solution containing Ti. The microhardness of RHEAcs is significantly higher compared to the base material. Notably, at Nb1.3, due to the influence of lattice dislocations, the microhardness reaches a peak of 1066.5 HV, which is about 7.11 times higher than that of the base material. On the contrary, at Nb$_2$, the microhardness is at its lowest point, averaging 709.31 HV, but 4.72 times that of the base material. After annealing, an increase in microhardness is observed at all Nb concentrations, up to 31.2% at Nb$_2$. Before annealing, the wear resistance of RHEAcs was slightly better than that of 316L stainless steel at different Nb contents. However, after annealing, the coefficient of friction (COF) and wear rate of the coatings are lower than those of annealed 316L stainless steel, highlighting their excellent wear resistance. It is noteworthy that the loss of wear properties after annealing at Nb1 is at a minimum, obtaining the most balanced wear resistance before and after annealing. The enhanced wear resistance after annealing can be attributed to the presence of ultra-fine grain oxide friction layers, mainly composed of TiO2 and Ta2O5 . The main mode of wear is oxidative wear, with a small amount of wear from abrasive wear.


title: Detrive: Imitation Learning with Transformer Detection for End-to-End Autonomous Driving

abstract: This Paper proposes a novel Transformer-based end-to-end autonomous driving model named Detrive. This model solves the problem that the past end-to-end models cannot detect the position and size of traffic participants. Detrive uses an end-to-end transformer based detection model as its perception module; a multi-layer perceptron as its feature fusion network; a recurrent neural network with gate recurrent unit for path planning; and two controllers for the vehicle's forward speed and turning angle. The model is trained with an on-line imitation learning method. In order to obtain a better training set, a reinforcement learning agent that can directly obtain a ground truth bird's-eye view map from the Carla simulator as a perceptual output, is used as teacher for the imitation learning. The trained model is tested on the Carla's autonomous driving benchmark. The results show that the Transformer detector based end-to-end model has obvious advantages in dynamic obstacle avoidance compared with the traditional classifier based end-to-end model.


title: Customising General Large Language Models for Specialised Emotion Recognition Tasks

abstract: The advent of large language models (LLMs) has gained tremendous attention over the past year. Previous studies have shown the astonishing performance of LLMs not only in other tasks but also in emotion recognition in terms of accuracy, universality, explanation, robustness, few/zero-shot learning, and others. Leveraging the capability of LLMs inevitably becomes an essential solution for emotion recognition. To this end, we further comprehensively investigate how LLMs perform in linguistic emotion recognition if we concentrate on this specific task. Specifically, we exemplify a publicly available and widely used LLM -- Chat General Language Model, and customise it for our target by using two different modal adaptation techniques, i.e., deep prompt tuning and low-rank adaptation. The experimental results obtained on six widely used datasets present that the adapted LLM can easily outperform other state-of-the-art but specialised deep models. This indicates the strong transferability and feasibility of LLMs in the field of emotion recognition.


title: Multi-stream Cell Segmentation with Low-level Cues for Multi-modality Images

abstract: Cell segmentation for multi-modal microscopy images remains a challenge due to the complex textures, patterns, and cell shapes in these images. To tackle the problem, we first develop an automatic cell classification pipeline to label the microscopy images based on their low-level image characteristics, and then train a classification model based on the category labels. Afterward, we train a separate segmentation model for each category using the images in the corresponding category. Besides, we further deploy two types of segmentation models to segment cells with roundish and irregular shapes respectively. Moreover, an efficient and powerful backbone model is utilized to enhance the efficiency of our segmentation model. Evaluated on the Tuning Set of NeurIPS 2022 Cell Segmentation Challenge, our method achieves an F1-score of 0.8795 and the running time for all cases is within the time tolerance.


title: Revisiting Deep Ensemble for Out-of-Distribution Detection: A Loss Landscape Perspective

abstract: Existing Out-of-Distribution (OoD) detection methods address to detect OoD samples from In-Distribution data (InD) mainly by exploring differences in features, logits and gradients in Deep Neural Networks (DNNs). We in this work propose a new perspective upon loss landscape and mode ensemble to investigate OoD detection. In the optimization of DNNs, there exist many local optima in the parameter space, or namely modes. Interestingly, we observe that these independent modes, which all reach low-loss regions with InD data (training and test data), yet yield significantly different loss landscapes with OoD data. Such an observation provides a novel view to investigate the OoD detection from the loss landscape and further suggests significantly fluctuating OoD detection performance across these modes. For instance, FPR values of the RankFeat method can range from 46.58% to 84.70% among 5 modes, showing uncertain detection performance evaluations across independent modes. Motivated by such diversities on OoD loss landscape across modes, we revisit the deep ensemble method for OoD detection through mode ensemble, leading to improved performance and benefiting the OoD detector with reduced variances. Extensive experiments covering varied OoD detectors and network structures illustrate high variances across modes and also validate the superiority of mode ensemble in boosting OoD detection. We hope this work could attract attention in the view of independent modes in the OoD loss landscape and more reliable evaluations on OoD detectors.


title: Hierarchical Vector Quantized Transformer for Multi-class Unsupervised Anomaly Detection

abstract: Unsupervised image Anomaly Detection (UAD) aims to learn robust and discriminative representations of normal samples. While separate solutions per class endow expensive computation and limited generalizability, this paper focuses on building a unified framework for multiple classes. Under such a challenging setting, popular reconstruction-based networks with continuous latent representation assumption always suffer from the "identical shortcut" issue, where both normal and abnormal samples can be well recovered and difficult to distinguish. To address this pivotal issue, we propose a hierarchical vector quantized prototype-oriented Transformer under a probabilistic framework. First, instead of learning the continuous representations, we preserve the typical normal patterns as discrete iconic prototypes, and confirm the importance of Vector Quantization in preventing the model from falling into the shortcut. The vector quantized iconic prototype is integrated into the Transformer for reconstruction, such that the abnormal data point is flipped to a normal data point.Second, we investigate an exquisite hierarchical framework to relieve the codebook collapse issue and replenish frail normal patterns. Third, a prototype-oriented optimal transport method is proposed to better regulate the prototypes and hierarchically evaluate the abnormal score. By evaluating on MVTec-AD and VisA datasets, our model surpasses the state-of-the-art alternatives and possesses good interpretability. The code is available at https://github.com/RuiyingLu/HVQ-Trans.


title: Bounds for the kernel of the $(\kappa, a)$-generalized Fourier transform

abstract: In this paper, we study the pointwise bounds for the kernel of the $(\kappa, a)$-generalized Fourier transform with $\kappa\equiv0$, introduced by Ben Sa\"id, Kobayashi and Orsted. We present explicit formulas for the case $a=4$, which show that the kernels can exhibit polynomial growth. Subsequently, we provide a polynomial bound for the even dimensional kernel for this transform, focusing on the cases with finite order. Furthermore, by utilizing an estimation for the Prabhakar function, it is found that the $(0,a)$-generalized Fourier kernel is bounded by a constant when $a>1$ and $m\ge 2$, except within an angular domain that diminishes as $a \rightarrow \infty$. As a byproduct, we prove that the $(0, 2^{\ell}/n)$-generalized Fourier kernel is uniformly bounded, when $m=2$ and $\ell, n\in \mathbb{N}$.


title: A comprehensive survey on deep active learning in medical image analysis

abstract: Deep learning has achieved widespread success in medical image analysis, leading to an increasing demand for large-scale expert-annotated medical image datasets. Yet, the high cost of annotating medical images severely hampers the development of deep learning in this field. To reduce annotation costs, active learning aims to select the most informative samples for annotation and train high-performance models with as few labeled samples as possible. In this survey, we review the core methods of active learning, including the evaluation of informativeness and sampling strategy. For the first time, we provide a detailed summary of the integration of active learning with other label-efficient techniques, such as semi-supervised, self-supervised learning, and so on. We also summarize active learning works that are specifically tailored to medical image analysis. Additionally, we conduct a thorough comparative analysis of the performance of different AL methods in medical image analysis with experiments. In the end, we offer our perspectives on the future trends and challenges of active learning and its applications in medical image analysis.


title: The Courant type algebroids, the coadjoint orbits and related integrable flows

abstract: Poisson structures related with the affine Courant type algebroid are analyzed, including \ those related with cotangent bundles on Lie group manifolds. A special attantion is paid to Courant type algebroids and related R-structures \ on them, generated by suitably defined tensor mappings. \ There are constructed Lie-Poisson brackets invariant with respect to the coadjoint action of the loop diffeomorphisms group and described the related Courant type algebroids. \ The corresponding integrable Hamiltonian flows, generated by Casimir functionals and generalizing the so called heavenly type differential systems, describing diverse geometric structures of conformal type on finite dimensional Rieamnnian manifolds are described.


title: Moderate deviations for two-time scale systems with mixed fractional Brownian motion

abstract: This work focuses on moderate deviations for two-time scale systems with mixed fractional Brownian motion. Our proof uses the weak convergence method which is based on the variational representation formula for mixed fractional Brownian motion. Throughout this paper, Hurst parameter of fractional Brownian motion is larger than $1/2$ and the integral along the fractional Brownian motion is understood as the generalized Riemann-Stieltjes integral. First, we consider single-time scale systems with fractional Brownian motion. The key of our proof is showing the weak convergence of the controlled system. Next, we extend our method to show moderate deviations for two-time scale systems. To this goal, we combine the Khasminskii-type averaging principle and the weak convergence approach.


title: High-$x$ quark density and their impact on $Z'$-boson dilepton searches

abstract: In this proceeding, we study the influence of theoretical systematic uncertainties due to the quark density on LHC experimental searches for $Z'$-bosons. Using an approach originally proposed in the context of the ABMP16 PDF set for the high-$x$ behaviour of the quark density, we presents results on differential cross section and Forward-Backward asymmetry observables commonly used to study $Z'$ signals in dilepton channels.


title: Strong Gravitational Lensing by Sgr A* and M87* Black Holes embedded in Dark Matter Halo exhibiting string cloud and quintessential field

abstract: We investigate the strong gravitational lensing phenomena caused by a black hole with a dark matter halo. In this study, we examine strong gravitational lensing with two significant dark matter models: the universal rotation curve model and the cold dark matter model. To do this, we first numerically estimate the strong lensing coefficients and strong deflection angles for both the universal rotation curve and cold dark matter models. It is observed that the deflection angle, denoted as $\alpha_D$, increases with the parameter $\alpha$ while holding the value of $\gamma \cdot 2M$ constant. Additionally, it increases with the parameter $\gamma \cdot 2M$ while keeping the value of $\alpha$ constant. The strong deflection angle, $\alpha_D$, for the black hole with a dark matter halo, with parameters $\alpha=0$ and $\gamma \cdot 2M$, greatly enhances the gravitational bending effect and surpasses the corresponding case of the standard Schwarzschild black hole ($A=0, B=0, \alpha=0, \gamma \cdot 2M=0$). Furthermore, we investigate the astrophysical consequences through strong gravitational lensing observations, using examples of various supermassive black holes such as $M87^{*}$ and $SgrA^{*}$ located at the centers of several galaxies. It is observed that black holes with dark matter halos can be quantitatively distinguished and characterized from the standard Schwarzschild black hole ($A=0, B=0, \alpha=0, \gamma \cdot 2M=0$). The findings in our analysis suggest that observational tests for black holes influenced by dark matter halos are indeed feasible and viable.


title: Synthetic approach to the Quillen model structure on topological spaces

abstract: We provide an axiomatic treatment of Quillen's construction of the model structure on topological spaces to make it applicable to a wider range of settings, including $\Delta$-generated spaces and pseudotopological spaces. We use this axiomatization to construct a model structure on the category of locales.


title: Monoclinic distortion in hyperhoneycomb Kitaev material $\beta$-ZnIrO$_3$ revealed by improved sample quality

abstract: The sample quality of the hyperhoneycomb lattice Kitaev magnet $\beta$-ZnIrO$_3$ was successfully improved by removing the maximum amount of moisture from the reaction ampoule. The X-ray diffraction structural analysis of the high-quality sample confirmed the presence of $P$2$_1$/$c$ superlattice peaks of the Fddd structure in the original structural model. These peaks could not be distinguished due to the presence of impurities in the low-quality sample in a previous study. The structural analysis based on this monoclinic crystal structure model showed no chemical disorder, suggesting that the observed spin liquid type behavior is an intrinsic property unrelated to bond randomness. The details of the $\beta$-ZnIrO$_3$ structure revealed in this study will stimulate the further investigation of Kitaev physics.


title: High-Quality 3D Face Reconstruction with Affine Convolutional Networks

abstract: Recent works based on convolutional encoder-decoder architecture and 3DMM parameterization have shown great potential for canonical view reconstruction from a single input image. Conventional CNN architectures benefit from exploiting the spatial correspondence between the input and output pixels. However, in 3D face reconstruction, the spatial misalignment between the input image (e.g. face) and the canonical/UV output makes the feature encoding-decoding process quite challenging. In this paper, to tackle this problem, we propose a new network architecture, namely the Affine Convolution Networks, which enables CNN based approaches to handle spatially non-corresponding input and output images and maintain high-fidelity quality output at the same time. In our method, an affine transformation matrix is learned from the affine convolution layer for each spatial location of the feature maps. In addition, we represent 3D human heads in UV space with multiple components, including diffuse maps for texture representation, position maps for geometry representation, and light maps for recovering more complex lighting conditions in the real world. All the components can be trained without any manual annotations. Our method is parametric-free and can generate high-quality UV maps at resolution of 512 x 512 pixels, while previous approaches normally generate 256 x 256 pixels or smaller. Our code will be released once the paper got accepted.


title: Invariant circles and phase portraits of cubic vector fields on the sphere

abstract: In this paper, we characterize and study dynamical properties of cubic vector fields on the sphere $\mathbb{S}^2 = \{(x, y, z) \in \mathbb{R}^3 ~|~ x^2+y^2+z^2 = 1\}$. We start by classifying all degree three polynomial vector fields on $\mathbb{S}^2$ and determine which of them form Kolmogorov systems. Then, we show that there exist completely integrable cubic vector fields on $\mathbb{S}^2$ and also study the maximum number of various types of invariant circles for homogeneous cubic vector fields on $\mathbb{S}^2$. We find a tight bound in each case. Further, we also discuss phase portraits of certain cubic Kolmogorov vector fields on $\mathbb{S}^2$.


title: Guidance system for Visually Impaired Persons using Deep Learning and Optical flow

abstract: Visually impaired persons find it difficult to know about their surroundings while walking on a road. Walking sticks used by them can only give them information about the obstacles in the stick's proximity. Moreover, it is mostly effective in static or very slow-paced environments. Hence, this paper introduces a method to guide them in a busy street. To create such a system it is very important to know about the approaching object and its direction of approach. To achieve this objective we created a method in which the image frame received from the video is divided into three parts i.e. center, left, and right to know the direction of approach of the approaching object. Object detection is done using YOLOv3. Lucas Kanade's optical flow estimation method is used for the optical flow estimation and Depth-net is used for depth estimation. Using the depth information, object motion trajectory, and object category information, the model provides necessary information/warning to the person. This model has been tested in the real world to show its effectiveness.


title: An extremely bad-cavity laser

abstract: Lasing in the bad-cavity regime has promising applications in precision measurement and frequency metrology due to the reduced sensitivity of the laser frequency to cavity length fluctuations. Thus far, relevant studies have been mainly focused on conventional cavities whose finesse is high enough that the resonance linewidth is sufficiently narrow compared to the cavity's free spectral range, though still in the bad-cavity regime. However, lasing output from the cavity whose finesse is close to the limit of 2 has never been experimentally accessed. Here, we demonstrate an extremely bad-cavity laser, analyze the physical mechanisms limiting cavity finesse, and report on the worst ever laser cavity with finesse reaching 2.01. The optical cavity has a reflectance close to zero and only provides a weak optical feedback. The laser power can be as high as tens of $\mu$W and the spectral linewidth reaches a few kHz, over one thousand times narrower than the gain bandwidth. In addition, the measurement of cavity pulling reveals a pulling coefficient of 0.0148, the lowest value ever achieved for a continuous wave laser. Our findings open up an unprecedentedly innovative perspective for future new ultra-stable lasers, which could possibly trigger the future discoveries in optical clocks, cavity QED, continuous wave superradiant laser, and explorations of quantum manybody physics.


title: Nonrelativistic Spinless Particle in Vicinity of Schwarzschild-like Black Hole

abstract: In this article we analyze the behavior of a non-relativistic spinless particle near the event horizon of a Schwarzschild-like black hole. In this way, the Schr\"odinger covariant equation that describes the particle is obtained from the Galilean covariance technique. The Schr\"odinger equation in a Schwarzschild-like spacetime is solved analytically and its solutions are given in terms of the confluent Heun function. As a relevant result, we discovered that the energy levels of the particles are quantized and that the particle does not escape to infinity. We obtain the existing transmission and reflection coefficients for a particle and anti-particle pair at the event horizon. We thus verify that there is no non-relativistic equivalent of Hawking radiation.


title: Composition and substitution of Regularity Structures B-series

abstract: In this work, we introduce Regularity Structures B-series which are used for describing solutions of singular stochastic partial differential equations (SPDEs). We define composition and substitutions of these B-series and as in the context of B-series for ordinary differential equations, these operations can be rewritten via products and Hopf algebras which have been used for building up renormalised models. These models provide a suitable topology for solving singular SPDEs. This new construction sheds a new light on these products and open interesting perspectives for the study of singular SPDEs in connection with B-series.


title: Theta Operator Equals Fontaine Operator on Modular Curves

abstract: Inspired by [Pan22], we give a new proof that for an overconvergent modular eigenform $f$ of weight $1+k$ with $k\in\mathbb{Z}_{\ge1}$, assuming that its associated global Galois representation $\rho_{f}$ is irreducible, then $f$ is classical if and only if $\rho_{f}$ is de Rham at $p$. For the proof, we prove that theta operator $\theta^{k}$ coincides with Fontaine operator in a suitable sense.


title: Exact semiclassical dynamics of generic Lipkin-Meshkov-Glick model

abstract: Lipkin-Meshkov-Glick model is paradigmatic to study quantum phase transition in equilibrium or non-equilibrium systems and entanglement dynamics for a variety of disciplines. In thermodynamics limit, quantum fluctuations are negligible, its semiclassical dynamics in presence of only one nonlinear couplings, as a good benchmark to study quantum fluctuation in finite-size system, can be well obtained in terms of Jacobi elliptic functions. In this work, we extend this semiclassical analysis into the regime where both nonlinear interactions are present, and successfully obtain its exact solutions of semiclassical equations by constructing an auxiliary function that is a linear combination of the $y$ and $z$ component of the classical spin in thermodynamic limit. Taking implementation of Lipkin-Meshkov-Glick model in a Bose-Einstein condensate setup as an example, we figure out all classical dynamical modes, specially find out mesoscopic self-trapping mode in population and phase-difference space even persists in presence of both nonlinear couplings. Our results would be useful to analyze dynamical phase transitions and entanglement dynamics of Lipkin-Meshkov-Glick model in presence of both nonlinear couplings.


title: An analytic theory for the resolution attainable using eclipse mapping of exoplanets

abstract: We present an analytic theory for the resolution attainable via eclipse mapping of exoplanets, based on the Fourier components of the brightness distribution on the planetary disk. We find that the impact parameter determines which features can and cannot be seen, via the angle of the stellar edge relative to the axis of the orbit during the eclipse. We estimate the signal-to-noise ratio as a function of mapping resolution, and use this to determine the attainable resolution for a given star-planet system. We test this theory against numerical simulations and find good agreement; in particular, our predictions for the resolution as a function of stellar edge angle are accurate to the simulated data to within 10% over a wide range of angles. Our prediction for the number of spatial modes that can be constrained given a light curve error is similarly accurate. Finally, we give a list of exoplanets with the best expected resolution for observations with the NIRISS SOSS, NIRSpec G395H, and MIRI LRS instruments on JWST.


title: Shortcuts for causal discovery of nonlinear models by score matching

abstract: The use of simulated data in the field of causal discovery is ubiquitous due to the scarcity of annotated real data. Recently, Reisach et al., 2021 highlighted the emergence of patterns in simulated linear data, which displays increasing marginal variance in the casual direction. As an ablation in their experiments, Montagna et al., 2023 found that similar patterns may emerge in nonlinear models for the variance of the score vector $\nabla \log p_{\mathbf{X}}$, and introduced the ScoreSort algorithm. In this work, we formally define and characterize this score-sortability pattern of nonlinear additive noise models. We find that it defines a class of identifiable (bivariate) causal models overlapping with nonlinear additive noise models. We theoretically demonstrate the advantages of ScoreSort in terms of statistical efficiency compared to prior state-of-the-art score matching-based methods and empirically show the score-sortability of the most common synthetic benchmarks in the literature. Our findings remark (1) the lack of diversity in the data as an important limitation in the evaluation of nonlinear causal discovery approaches, (2) the importance of thoroughly testing different settings within a problem class, and (3) the importance of analyzing statistical properties in causal discovery, where research is often limited to defining identifiability conditions of the model.


title: A quasi-additive property of homological shift ideals

abstract: In this paper, we investigate which classes of monomial ideals have a quasi-additive property of homological shift ideals. More precisely, for a monomial ideal $I$ we are interested to find out whether $HS_{i+j}(I)\subseteq HS_i(HS_j(I))$. It turns out that $\mathbf{c}$-bounded principal Borel ideals as well as polymatroidal ideals satisfying strong exchange property, and polymatroidal ideals generated in degree two have this quasi-additive property. For squarefree Borel ideals, we even have equality. Besides, the inclusion holds for every equigenerated Borel ideal and polymatroidal ideal when $j=1$.


title: From Static to Dynamic: A Continual Learning Framework for Large Language Models

abstract: The vast number of parameters in large language models (LLMs) endows them with remarkable capabilities, allowing them to excel in a variety of natural language processing tasks. However, this complexity also presents challenges, making LLMs difficult to train and inhibiting their ability to continuously assimilate new knowledge, which may lead to inaccuracies in their outputs. To mitigate these issues, this paper presents DynaMind, a novel continual learning framework designed for LLMs. DynaMind incorporates memory mechanisms to assimilate new knowledge and modular operators to enhance the model inference process with the newly assimilated knowledge, consequently improving the accuracies of LLMs' outputs. Benchmark experiments demonstrate DynaMind's effectiveness in overcoming these challenges. The code and demo of DynaMind are available on GitHub: https://github.com/Elfsong/DynaMind.


title: Evolution of Leibniz's thought in the matter of fictions and infinitesimals

abstract: In this paper we offer a reconstruction of the evolution of Leibniz's thought concerning the problem of the infinite divisibility of bodies, the tension between actuality, unassignability and syncategorematicity, and the closely related question of the possibility of infinitesimal quantities, both in physics and in mathematics. Some scholars have argued that syncategorematicity is a mature acquisition, to which Leibniz resorts to solve the question of his infinitesimals namely the idea that infinitesimals are just signs for Archimedean exhaustions, and their unassignability is a nominalist maneuver. On the contrary, we show that sycategorematicity, as a traditional idea of classical scholasticism, is a feature of young Leibniz's thinking, from which he moves away in order to solve the same problem, as he gains mathematical knowledge. We have divided Leibniz's path toward his mature view of infinitesimals into five phases, which are especially significant for reconstructing the entire evolution. In our reconstruction, an important role is played by Leibniz's text De Quadratura Arithmetica. Based on this and other texts we dispute the thesis that fictionality coincides with syncategorematicity, and that unassignability can be bypassed. On the contrary, we maintain that unassignability, as incompatible with the principle of harmony, is the ultimate reason for the fictionality of infinitesimals.


title: The viscoelastic paradox in a nonlinear Kelvin-Voigt type model of dynamic fracture

abstract: In this paper we consider a dynamic model of fracture for viscoelastic materials, in which the constitutive relation, involving the Cauchy stress and the strain tensors, is given in an implicit nonlinear form. We prove the existence of a solution to the associated viscoelastic dynamic system on a prescribed time-dependent cracked domain via a discretisation-in-time argument. Moreover, we show that such a solution satisfies an energy-dissipation balance in which the energy used to increase the crack does not appear. As a consequence, in analogy to the linear case this nonlinear model exhibits the so-called viscoelastic paradox.


title: FAS-assisted NOMA Short-Packet Communication Systems

abstract: In this paper, we investigate a fluid antenna system (FAS)-assisted downlink non-orthogonal multiple access (NOMA) for short-packet communications. The base station (BS) adopts a single fixed antenna, while both the central user (CU) and the cell-edge user (CEU) are equipped with a FAS. Each FAS comprises $N$ flexible positions (also known as ports), linked to $N$ arbitrarily correlated Rayleigh fading channels. We derive expressions for the average block error rate (BLER) of the FAS-assisted NOMA system and provide asymptotic BLER expressions. We determine that the diversity order for CU and CEU is $N$, indicating that the system performance can be considerably improved by increasing $N$. Simulation results validate the great performance of FAS.


title: Proof of Irvine's Conjecture via Mechanized Guessing

abstract: We prove a recent conjecture of Sean A. Irvine about a nonlinear recurrence, using mechanized guessing and verification. The theorem-prover Walnut plays a large role in the proof.


title: Computed Rotational Collision Rate Coefficients for Recently Detected Anionic Cyanopolyynes

abstract: We report new results from quantum calculations of energy-transfer processes taking place in interstellar environments and involving two newly observed molecular species: C$_5$N$^-$ and C$_7$N$^-$ in collision with He atoms and the p-H$_2$ molecules. These species are part of the anionic molecular chains labeled as cyanopolyynes which have been observed over the years in molecule-rich Circumstellar Envelopes and in molecular clouds. In the present work, we first carry out new $ab$ $initio$ calculations for the C$_7$N$^-$ interaction potential with He atom and then obtain state-to-state rotationally inelastic cross sections and rate coefficients involving the same transitions which have been observed experimentally by emission in the interstellar medium (ISM) from both of these linear species. For the C$_5$N$^-$/He system we extend the calculations already published in our earlier work (see reference below) to compare more directly the two molecular anions. We extend further the quantum calculations by also computing in this work collision rate coefficients for the hydrogen molecule interacting with C5N$^-$, using our previously computed interaction potential. Additionally, we obtain the same rate coefficients for the C$_7$N$^-$/H$_2$ system by using a scaling procedure that makes use of the new C$_7$N$^-$/He rate coefficients, as discussed in detail in the present paper. Their significance in affecting internal state populations in ISM environments where the title anions have been found is analyzed by using the concept of critical density indicators. Finally, similarities and differences between such species and the comparative efficiency of their collision rate coefficients are discussed. These new calculations suggest that, at least for the case of these longer chains, the rotational populations could reach local thermal equilibrium conditions within their observational environments.