title: Contrastive Learning with Bidirectional Transformers for Sequential Recommendation

abstract: Contrastive learning with Transformer-based sequence encoder has gained predominance for sequential recommendation. It maximizes the agreements between paired sequence augmentations that share similar semantics. However, existing contrastive learning approaches in sequential recommendation mainly center upon left-to-right unidirectional Transformers as base encoders, which are suboptimal for sequential recommendation because user behaviors may not be a rigid left-to-right sequence. To tackle that, we propose a novel framework named \textbf{C}ontrastive learning with \textbf{Bi}directional \textbf{T}ransformers for sequential recommendation (\textbf{CBiT}). Specifically, we first apply the slide window technique for long user sequences in bidirectional Transformers, which allows for a more fine-grained division of user sequences. Then we combine the cloze task mask and the dropout mask to generate high-quality positive samples and perform multi-pair contrastive learning, which demonstrates better performance and adaptability compared with the normal one-pair contrastive learning. Moreover, we introduce a novel dynamic loss reweighting strategy to balance between the cloze task loss and the contrastive loss. Experiment results on three public benchmark datasets show that our model outperforms state-of-the-art models for sequential recommendation.


title: Singularity categories of normal crossings surfaces, descent, and mirror symmetry

abstract: Given a smooth 3-fold $Y$, a line bundle $L \to Y$, and a section $s$ of $L$ such that the vanishing locus of $s$ is a normal crossings surface $X$ with graph-like singular locus, we present a way to reconstruct the singularity category of $X$ as a homotopy limit of several copies of the category of matrix factorizations of $xyz : \mathbb{A}^{3} \to \mathbb{A}^{1}$ (the mirror to the Fukaya category of the pair of pants). This extends our previous result for the case where $L$ is trivialized. The key technique is the classification of non-two-periodic autoequivalences of the category of matrix factorizations. We also present a conjectural mirror for these singularity categories in terms of the Rabinowitz wrapped Fukaya categories of Ganatra-Gao-Venkatesh for certain symplectic four-manifolds, and relate this construction to work of Lekili-Ueda and Jeffs.


title: Neural Optimization Machine: A Neural Network Approach for Optimization

abstract: A novel neural network (NN) approach is proposed for constrained optimization. The proposed method uses a specially designed NN architecture and training/optimization procedure called Neural Optimization Machine (NOM). The objective functions for the NOM are approximated with NN models. The optimization process is conducted by the neural network's built-in backpropagation algorithm. The NOM solves optimization problems by extending the architecture of the NN objective function model. This is achieved by appropriately designing the NOM's structure, activation function, and loss function. The NN objective function can have arbitrary architectures and activation functions. The application of the NOM is not limited to specific optimization problems, e.g., linear and quadratic programming. It is shown that the increase of dimension of design variables does not increase the computational cost significantly. Then, the NOM is extended for multiobjective optimization. Finally, the NOM is tested using numerical optimization problems and applied for the optimal design of processing parameters in additive manufacturing.


title: DialogSum Challenge: Results of the Dialogue Summarization Shared Task

abstract: We report the results of DialogSum Challenge, the shared task on summarizing real-life scenario dialogues at INLG 2022. Four teams participate in this shared task and three submit their system reports, exploring different methods to improve the performance of dialogue summarization. Although there is a great improvement over the baseline models regarding automatic evaluation metrics, such as Rouge scores, we find that there is a salient gap between model generated outputs and human annotated summaries by human evaluation from multiple aspects. These findings demonstrate the difficulty of dialogue summarization and suggest that more fine-grained evaluatuion metrics are in need.


title: Spectroscopy behavior of fully heavy tetraquarks

abstract: Stimulated by the observation of the $X(6900)$ from LHCb in 2020 and the recent results from CMS and ATLAS in the di-$J/\psi$ invariant mass spectrum, in this work we systemically study all possible configurations for the ground fully heavy tetraquark states in constituent quark model. By our calculation, we present their spectroscopy behaviors like binding energy, lowest meson-meson thresholds, specific wave function, magnetic moment, transition magnetic moment, radiative decay width, rearrangement strong width ratio, internal mass contributions, relative lengths between (anti)quarks, and the spatial distribution of four valence (anti)quarks. We cannot find stable S-wave state for the fully heavy tetraquark system. We hope that our results are valuable to further explore fully heavy tetraquark states in experiment.


title: The Influence of Visual Provenance Representations on Strategies in a Collaborative Hand-off Data Analysis Scenario

abstract: Conducting data analysis tasks rarely occur in isolation. Especially in intelligence analysis scenarios where different experts contribute knowledge to a shared understanding, members must communicate how insights develop to establish common ground among collaborators. The use of provenance to communicate analytic sensemaking carries promise by describing the interactions and summarizing the steps taken to reach insights. Yet, no universal guidelines exist for communicating provenance in different settings. Our work focuses on the presentation of provenance information and the resulting conclusions reached and strategies used by new analysts. In an open-ended, 30-minute, textual exploration scenario, we qualitatively compare how adding different types of provenance information (specifically data coverage and interaction history) affects analysts' confidence in conclusions developed, propensity to repeat work, filtering of data, identification of relevant information, and typical investigation strategies. We see that data coverage (i.e., what was interacted with) provides provenance information without limiting individual investigation freedom. On the other hand, while interaction history (i.e., when something was interacted with) does not significantly encourage more mimicry, it does take more time to comfortably understand, as represented by less confident conclusions and less relevant information-gathering behaviors. Our results contribute empirical data towards understanding how provenance summarizations can influence analysis behaviors.


title: Generalizable Medical Image Segmentation via Random Amplitude Mixup and Domain-Specific Image Restoration

abstract: For medical image analysis, segmentation models trained on one or several domains lack generalization ability to unseen domains due to discrepancies between different data acquisition policies. We argue that the degeneration in segmentation performance is mainly attributed to overfitting to source domains and domain shift. To this end, we present a novel generalizable medical image segmentation method. To be specific, we design our approach as a multi-task paradigm by combining the segmentation model with a self-supervision domain-specific image restoration (DSIR) module for model regularization. We also design a random amplitude mixup (RAM) module, which incorporates low-level frequency information of different domain images to synthesize new images. To guide our model be resistant to domain shift, we introduce a semantic consistency loss. We demonstrate the performance of our method on two public generalizable segmentation benchmarks in medical images, which validates our method could achieve the state-of-the-art performance.


title: Metal Mesh IR Filter for wSMA

abstract: Since the start of full science operations from 2004, the Submillimeter Array has been implementing plans to expand IF bandwidths and upgrade receivers and cryostats. Metal mesh low-pass filters were designed to block infrared (IR) radiation to reduce the thermal load on the cryostats. Filters were fabricated on a quartz wafer through photolithography and coated with anti-reflection (AR) material. The filters were tested from 200 to 400 GHz to verify their passband performances. The measurement results were found to be in good agreement with EM simulation results. They were tested in the far-infrared (FIR) frequency range to verify out-of-band rejection. The IR reflectivity was found to be approximately 70%, which corresponded to the percentage of the area blocked by metal.


title: Semantic Enhanced Text-to-SQL Parsing via Iteratively Learning Schema Linking Graph

abstract: The generalizability to new databases is of vital importance to Text-to-SQL systems which aim to parse human utterances into SQL statements. Existing works achieve this goal by leveraging the exact matching method to identify the lexical matching between the question words and the schema items. However, these methods fail in other challenging scenarios, such as the synonym substitution in which the surface form differs between the corresponding question words and schema items. In this paper, we propose a framework named ISESL-SQL to iteratively build a semantic enhanced schema-linking graph between question tokens and database schemas. First, we extract a schema linking graph from PLMs through a probing procedure in an unsupervised manner. Then the schema linking graph is further optimized during the training process through a deep graph learning method. Meanwhile, we also design an auxiliary task called graph regularization to improve the schema information mentioned in the schema-linking graph. Extensive experiments on three benchmarks demonstrate that ISESL-SQL could consistently outperform the baselines and further investigations show its generalizability and robustness.


title: SelfCoLearn: Self-supervised collaborative learning for accelerating dynamic MR imaging

abstract: Lately, deep learning has been extensively investigated for accelerating dynamic magnetic resonance (MR) imaging, with encouraging progresses achieved. However, without fully sampled reference data for training, current approaches may have limited abilities in recovering fine details or structures. To address this challenge, this paper proposes a self-supervised collaborative learning framework (SelfCoLearn) for accurate dynamic MR image reconstruction from undersampled k-space data. The proposed framework is equipped with three important components, namely, dual-network collaborative learning, reunderampling data augmentation and a specially designed co-training loss. The framework is flexible to be integrated with both data-driven networks and model-based iterative un-rolled networks. Our method has been evaluated on in-vivo dataset and compared it to four state-of-the-art methods. Results show that our method possesses strong capabilities in capturing essential and inherent representations for direct reconstructions from the undersampled k-space data and thus enables high-quality and fast dynamic MR imaging.


title: Towards Analytical Electromagnetic Models for Reconfigurable Intelligent Surfaces

abstract: Physically accurate and mathematically tractable models are presented to characterize scattering and reflection properties of reconfigurable intelligent surfaces (RISs). We take continuous and discrete strategies to model a single patch and patch array and their interactions with multiple incident electromagnetic (EM) waves. The proposed models consider the effect of the incident and scattered angles, polarization features, and the topology and geometry of RISs. Particularly, a simple system of linear equations can describe the multiple-input multiple-output (MIMO) behaviors of RISs under reasonable assumptions. It can serve as a fundamental model for analyzing and optimizing the performance of RIS-aided systems in the far-field regime. The proposed models are employed to identify the advantages and limitations of three typical configurations. One important finding is that complicated beam reshaping functionality can not be endowed by popular phase compensation configurations. A possible solution is the simultaneous configurations of collecting area and phase shifting. Numerical simulations verify the effectiveness of the proposed configuration schemes.


title: Quasiparticle excitations in a one-dimensional interacting topological insulator: Application for dopant-based quantum simulation

abstract: We study the effects of electron-electron interactions on the charge excitation spectrum of the spinful Su-Schrieffer-Heeger (SSH) model, a prototype of a 1D bulk obstructed topological insulator. In view of recent progress in the fabrication of dopant-based quantum simulators we focus on experimentally detectable signatures of interacting topology in finite lattices. To this end we use Lanczos-based exact diagonalization to calculate the single-particle spectral function in real space which generalizes the local density of states to interacting systems. Its spatial and spectral resolution allows for the direct investigation and identification of edge states. By studying the non-interacting limit, we demonstrate that the topological in-gap states on the boundary are robust against both finite-size effects as well as random bond and onsite disorder which suggests the feasibility of simulating the SSH model in engineered dopant arrays in silicon. While edge excitations become zero-energy spin-like for any finite interaction strength, our analysis of the spectral function shows that the single-particle charge excitations are gapped out on the boundary. Despite the loss of topological protection we find that these edge excitations are quasiparticle-like as long as they remain within the bulk gap. Above a critical interaction strength of $U_c\approx 5 t$ these quasiparticles on the boundary loose their coherence which is explained by the merging of edge and bulk states. This is in contrast to the many-body edge excitations which survive the limit of strong coupling, as established in the literature. Our findings show that for moderate repulsive interactions the non-trivial phase of the interacting SSH model can be detected through remnant signatures of topological single-particle states using single-particle local measurement techniques such as scanning tunneling spectroscopy.


title: Bridging the Gap: Commonality and Differences between Online and Offline COVID-19 Data

abstract: With the onset of the COVID-19 pandemic, news outlets and social media have become central tools for disseminating and consuming information. Because of their ease of access, users seek COVID-19-related information from online social media (i.e., online news) and news outlets (i.e., offline news). Online and offline news are often connected, sharing common topics while each has unique, different topics. A gap between these two news sources can lead to misinformation propagation. For instance, according to the Guardian, most COVID-19 misinformation comes from users on social media. Without fact-checking social media news, misinformation can lead to health threats. In this paper, we focus on the novel problem of bridging the gap between online and offline data by monitoring their common and distinct topics generated over time. We employ Twitter (online) and local news (offline) data for a time span of two years. Using online matrix factorization, we analyze and study online and offline COVID-19-related data differences and commonalities. We design experiments to show how online and offline data are linked together and what trends they follow.


title: Do financial regulators act in the public's interest? A Bayesian latent class estimation framework for assessing regulatory responses to banking crises

abstract: When banks fail amidst financial crises, the public criticizes regulators for bailing out or liquidating specific banks, especially the ones that gain attention due to their size or dominance. A comprehensive assessment of regulators, however, requires examining all their decisions, and not just specific ones, against the regulator's dual objective of preserving financial stability while discouraging moral hazard. In this article, we develop a Bayesian latent class estimation framework to assess regulators on these competing objectives and evaluate their decisions against resolution rules recommended by theoretical studies of bank behavior designed to contain moral hazard incentives. The proposed estimation framework addresses the unobserved heterogeneity underlying regulator's decisions in resolving failed banks and provides a disciplined statistical approach for inferring if they acted in the public interest. Our results reveal that during the crises of 1980's, the U.S. banking regulator's resolution decisions were consistent with recommended decision rules, while the U.S. savings and loans (S&L) regulator, which ultimately faced insolvency in 1989 at a cost of $132 billion to the taxpayer, had deviated from such recommendations. Timely interventions based on this evaluation could have redressed the S&L regulator's decision structure and prevented losses to taxpayers.


title: Dataset Obfuscation: Its Applications to and Impacts on Edge Machine Learning

abstract: Obfuscating a dataset by adding random noises to protect the privacy of sensitive samples in the training dataset is crucial to prevent data leakage to untrusted parties for edge applications. We conduct comprehensive experiments to investigate how the dataset obfuscation can affect the resultant model weights - in terms of the model accuracy, Frobenius-norm (F-norm)-based model distance, and level of data privacy - and discuss the potential applications with the proposed Privacy, Utility, and Distinguishability (PUD)-triangle diagram to visualize the requirement preferences. Our experiments are based on the popular MNIST and CIFAR-10 datasets under both independent and identically distributed (IID) and non-IID settings. Significant results include a trade-off between the model accuracy and privacy level and a trade-off between the model difference and privacy level. The results indicate broad application prospects for training outsourcing in edge computing and guarding against attacks in Federated Learning among edge devices.


title: Semi-Markov processes in open quantum systems: Connections and applications in counting statistics

abstract: Using the age-structure formalism, we definitely establish connections between semi-Markov processes and the dynamics of open quantum systems that satisfy the Markov quantum master equations. A generalized Feynman-Kac formula of the semi-Markov processes is also proposed. In addition to inheriting all statistical properties possessed by the piecewise deterministic processes of wavefunctions, the semi-Markov processes show their unique advantages in quantum counting statistics. Compared with the conventional method of the tilted quantum master equation, they can be applied to more general counting quantities. In particular, the terms involved in the method have precise probability meanings. We use a driven two-level quantum system to exemplify these results.


title: Self-supervised Enhanced Radar Imaging Based on Deep-Learning-Assisted Compressed Sensing

abstract: Traditional radar imaging methods suffer from the problems of low resolution and poor noise suppression. We propose a new radar imaging method based on Self-supervised deep-learning-assisted compressed sensing (SS-DL-CS-Net). The original radar image as the input of net. The net is trained to learn the mapping function between the original radar image and the high quality radar image. However, the high quality radar image cant be obtained. We solve this problem by used the sparsity of radar image. The original radar image and image with the zeros value as the reference of net. Ours net dont need a lot of data to train. Real radar data are used to evaluate the performance of the proposed method. The experimental results demonstrate the superiority of the proposed method


title: On oriented $m$-semiregular representations of finite groups

abstract: A finite group $G$ admits an {\em oriented regular representation} if there exists a Cayley digraph of $G$ such that it has no digons and its automorphism group is isomorphic to $G$. Let $m$ be a positive integer. In this paper, we extend the notion of oriented regular representations to oriented $m$-semiregular representations using $m$-Cayley digraphs. Given a finite group $G$, an {\em $m$-Cayley digraph} of $G$ is a digraph that has a group of automorphisms isomorphic to $G$ acting semiregularly on the vertex set with $m$ orbits. We say that a finite group $G$ admits an {\em oriented $m$-semiregular representation} if there exists a regular $m$-Cayley digraph of $G$ such that it has no digons and $G$ is isomorphic to its automorphism group. In this paper, we classify finite groups admitting an oriented $m$-semiregular representation for each positive integer $m$.


title: Temperature and Field Dependence of Ferromagnetic Magnon in Monolayer Honeycomb Spin Lattice

abstract: Temperature and field dependence of collective spin excitations or magnon in monolayer honeycomb spin lattices is investigated using an anisotropic exchange XZ-Heisenberg model in an external field. Magnetic phase transition in the presence of the transverse field is the spin reorientation (SR) transition with magnon intensity existing above the SR temperature. The transverse field either decreases or sustains the spin-wave intensity in the temperature region below or above the SR temperature, respectively. The gap of the zero-momentum low-energy magnon branch closes at the SR transverse field, which is the critical quantum phase transition field at zero temperature. The application of the model to a two-dimensional CrI$_3$ explains the existence of the zero-momentum magnon mode above the Curie temperature and shows the suitable values of the exchange parameters compared with the DFT calculations. The estimated magnon velocity near the Dirac point in this material is about 1.74 km/s.


title: Interpretable Disentangled Parametrization of Measured BRDF with $\beta$-VAE

abstract: Finding a low dimensional parametric representation of measured BRDF remains challenging. Currently available solutions are either not interpretable, or rely on limited analytical solutions, or require expensive test subject based investigations. In this work, we strive to establish a parametrization space that affords the data-driven representation variance of measured BRDF models while still offering the artistic control of parametric analytical BRDFs. We present a machine learning approach that generates an interpretable disentangled parameter space. A disentangled representation is one in which each parameter is responsible for a unique generative factor and is insensitive to the ones encoded by the other parameters. To that end, we resort to a $\beta$-Variational AutoEncoder ($\beta$-VAE), a specific architecture of Deep Neural Network (DNN). After training our network, we analyze the parametrization space and interpret the learned generative factors utilizing our visual perception. It should be noted that perceptual analysis is called upon downstream of the system for interpretation purposes compared to most other existing methods where it is used upfront to elaborate the parametrization. In addition to that, we do not need a test subject investigation. A novel feature of our interpretable disentangled parametrization is the post-processing capability to incorporate new parameters along with the learned ones, thus expanding the richness of producible appearances. Furthermore, our solution allows more flexible and controllable material editing possibilities than manifold exploration. Finally, we provide a rendering interface, for real-time material editing and interpolation based on the presented new parametrization system.


title: Dynamic Maintenance of Kernel Density Estimation Data Structure: From Practice to Theory

abstract: Kernel density estimation (KDE) stands out as a challenging task in machine learning. The problem is defined in the following way: given a kernel function $f(x,y)$ and a set of points $\{x_1, x_2, \cdots, x_n \} \subset \mathbb{R}^d$, we would like to compute $\frac{1}{n}\sum_{i=1}^{n} f(x_i,y)$ for any query point $y \in \mathbb{R}^d$. Recently, there has been a growing trend of using data structures for efficient KDE. However, the proposed KDE data structures focus on static settings. The robustness of KDE data structures over dynamic changing data distributions is not addressed. In this work, we focus on the dynamic maintenance of KDE data structures with robustness to adversarial queries. Especially, we provide a theoretical framework of KDE data structures. In our framework, the KDE data structures only require subquadratic spaces. Moreover, our data structure supports the dynamic update of the dataset in sublinear time. Furthermore, we can perform adaptive queries with the potential adversary in sublinear time.


title: Modeling H$\alpha$ and He 10830 transmission spectrum of WASP-52b

abstract: Escaping atmosphere has been detected by the excess absorption of Ly$\alpha$, H$\alpha$ and He triplet (10830$\rm\AA$) lines. Simultaneously modeling the absorption of the H$\alpha$ and He 10830 lines can provide useful constraints about the exoplanetary atmosphere. In this paper, we use a hydrodynamic model combined with a non-local thermodynamic model and a new Monte Carlo simulation model to obtain the H(2) and He(2$^3$S) populations. The Monte Carlo simulations of Ly$\alpha$ radiative transfer are performed with assumptions of a spherical stellar Ly$\alpha$ radiation and a spherical planetary atmosphere, for the first time, to calculate the Ly$\alpha$ mean intensity distribution inside the planetary atmosphere, necessary in estimating the H(2) population. We model the transmission spectra of the H$\alpha$ and He 10830 lines simultaneously in hot Jupiter WASP-52b. We find that models with many different H/He ratios can reproduce the H$\alpha$ observations well if the host star has (1) a high X-ray/extreme ultraviolet (XUV) flux ($F_{\rm XUV}$) and a relatively low X-ray fraction in XUV radiation ($\beta_m$), or (2) a low $F_{\rm XUV}$ and a high $\beta_m$. The simulations of He 10830 $\rm\AA$ triplet suggest that a high H/He ratio ($\sim$ 98/2) is required to fit the observation. The models that fit both lines well confine $F_{\rm XUV}$ to be about 0.5 times the fiducial value and $\beta_m$ to have a value around 0.3. The models also suggest that hydrogen and helium originate from the escaping atmosphere, and the mass-loss rate is about 2.8$\times 10^{11}$ g s$^{-1}$.


title: Toroidal nuclei of columnar lyotropic chromonic liquid crystals coexisting with isotropic phase

abstract: Nuclei of ordered materials emerging from the isotropic state usually show a shape topologically equivalent to a sphere; the well-known examples are crystals and nematic liquid crystal droplets. In this work, we explore experimentally and theoretically the nuclei of columnar lyotropic chromonic liquid crystal coexisting with the isotropic phase that are toroidal in shape. The geometry of toroids depends strongly on the molecular concentrations and presence of a crowding agent, polyethylene glycol. High concentrations result in thick toroids with small central holes, while low concentrations yield thin toroids with wide holes. The multitude of the observed shapes is explained by the balance of bending elasticity and anisotropic interfacial tension.


title: Depth Quality-Inspired Feature Manipulation for Efficient RGB-D and Video Salient Object Detection

abstract: Recently CNN-based RGB-D salient object detection (SOD) has obtained significant improvement on detection accuracy. However, existing models often fail to perform well in terms of efficiency and accuracy simultaneously. This hinders their potential applications on mobile devices as well as many real-world problems. To bridge the accuracy gap between lightweight and large models for RGB-D SOD, in this paper, an efficient module that can greatly improve the accuracy but adds little computation is proposed. Inspired by the fact that depth quality is a key factor influencing the accuracy, we propose an efficient depth quality-inspired feature manipulation (DQFM) process, which can dynamically filter depth features according to depth quality. The proposed DQFM resorts to the alignment of low-level RGB and depth features, as well as holistic attention of the depth stream to explicitly control and enhance cross-modal fusion. We embed DQFM to obtain an efficient lightweight RGB-D SOD model called DFM-Net, where we in addition design a tailored depth backbone and a two-stage decoder as basic parts. Extensive experimental results on nine RGB-D datasets demonstrate that our DFM-Net outperforms recent efficient models, running at about 20 FPS on CPU with only 8.5Mb model size, and meanwhile being 2.9/2.4 times faster and 6.7/3.1 times smaller than the latest best models A2dele and MobileSal. It also maintains state-of-the-art accuracy when even compared to non-efficient models. Interestingly, further statistics and analyses verify the ability of DQFM in distinguishing depth maps of various qualities without any quality labels. Last but not least, we further apply DFM-Net to deal with video SOD (VSOD), achieving comparable performance against recent efficient models while being 3/2.3 times faster/smaller than the prior best in this field. Our code is available at https://github.com/zwbx/DFM-Net.


title: Interfacial superconductivity and zero bias peak in quasi-one-dimensional Bi2Te3/Fe1+yTe heterostructure nanostructures

abstract: Bi2Te3/Fe1+yTe heterostructures are known to exhibit interfacial superconductivity between two non-superconducting materials: Fe1+yTe as the parent compound of Fe-based superconducting materials and the topological insulator Bi2Te3. Here, we present a top-down approach starting from two-dimensional (2D) heterostructures to fabricate one-dimensional (1D) Bi2Te3/Fe1+yTe nanowires or narrow nanoribbons. We demonstrate that the Bi2Te3/Fe1+yTe heterostructure remains intact in nanostructures of widths on the order of 100 nm and the interfacial superconductivity is preserved, as evidenced by electrical transport and Andreev reflection point contact spectroscopy experiments measured at the end of the nanowire. The differential conductance shows a similar superconducting twin-gap structure as in two-dimensional heterostructures, but with enhanced fluctuation effects due to the lower dimensionality. A zero-bias conductance peak indicates the presence of an Andreev bound state and given the involvement of the topological Bi2Te3 surface state, we discuss a possible topological nature of superconductivity with strong interplay with an emerging ferromagnetism due to the interstitial excess iron in the Fe1+yTe layer, developing in parallel with superconductivity at low temperatures.


title: Weinberg operator contribution to the CP-odd nuclear force in the quark model

abstract: The contribution of the CP violating three-gluon interaction, proposed by Weinberg, to the short-range CP-odd nuclear force is evaluated in the nonrelativistic quark model. We first show that the naive leading contribution generated by the quark exchange process vanishes at sufficiently short distance within the resonating group method, by considering the one-loop level gluon exchange CP-odd interquark potential induced by the Weinberg operator with massive quarks and gluons. We then estimate the true leading contribution by evaluating the gluonic correction to the CP-odd interquark potential in the closure approximation. It is found that the resulting irreducible CP-odd nuclear force is comparable to that generated by the chiral rotation of the CP-even short-range nuclear force, where the CP-odd mass calculated with QCD sum rules is used as input. The explicit calculation of the electric dipole moment (EDM) of the $^3$He nucleus yields $d_{^3{\rm He}}^{\rm (irr)} (w) = - 1.5 \, w\, e $ MeV. The total $^3$He EDM, accounting for the intrinsic nucleon EDM, the pion-exchange and the short-range CP-odd nuclear force, is $d_{^3{\rm He}}^{\rm (tot)} (w) = 20_{-11}^{+14} \, w\, e $ MeV, with the dominant effect coming from the intrinsic nucleon EDM.


title: Motivic integration on special rigid varieties and the motivic integral identity conjecture

abstract: We prove in this paper the original version of Kontsevich and Soibelman's motivic integral identity conjecture for formal functions by developing a novel framework for equivariant motivic integration on special rigid varieties. This theory is built upon our recent research on equivariant motivic integration within the realm of special formal schemes. The central element of our approach lies in demonstrating that two formal models of a given smooth rigid variety can be dominated by a third formal model. Notably, a similar assertion for quasi-compact rigid varieties was obtained by Bosch, L\"utkebohmert, and Raynaud in 1993. Consequently, we establish a concept of motivic volume for a special smooth rigid variety, ensuring independence from the selection of its models. We demonstrate that this motivic volume can be extended to a homomorphism from a certain Grothendieck ring of special smooth rigid varieties to the classical Grothendieck ring of varieties. Moreover, our developed motivic volume exhibits a Fubini-type property, which recovers Nicaise and Payne's motivic Fubini theorem for the tropicalization map.


title: CSSAM:Code Search via Attention Matching of Code Semantics and Structures

abstract: Despite the continuous efforts in improving both the effectiveness and efficiency of code search, two issues remained unsolved. First, programming languages have inherent strong structural linkages, and feature mining of code as text form would omit the structural information contained inside it. Second, there is a potential semantic relationship between code and query, it is challenging to align code and text across sequences so that vectors are spatially consistent during similarity matching. To tackle both issues, in this paper, a code search model named CSSAM (Code Semantics and Structures Attention Matching) is proposed. By introducing semantic and structural matching mechanisms, CSSAM effectively extracts and fuses multidimensional code features. Specifically, the cross and residual layer was developed to facilitate high-latitude spatial alignment of code and query at the token level. By leveraging the residual interaction, a matching module is designed to preserve more code semantics and descriptive features, that enhances the adhesion between the code and its corresponding query text. Besides, to improve the model's comprehension of the code's inherent structure, a code representation structure named CSRG (Code Semantic Representation Graph) is proposed for jointly representing abstract syntax tree nodes and the data flow of the codes. According to the experimental results on two publicly available datasets containing 540k and 330k code segments, CSSAM significantly outperforms the baselines in terms of achieving the highest SR@1/5/10, MRR, and NDCG@50 on both datasets respectively. Moreover, the ablation study is conducted to quantitatively measure the impact of each key component of CSSAM on the efficiency and effectiveness of code search, which offers the insights into the improvement of advanced code search solutions.


title: Adversarial robustness of VAEs through the lens of local geometry

abstract: In an unsupervised attack on variational autoencoders (VAEs), an adversary finds a small perturbation in an input sample that significantly changes its latent space encoding, thereby compromising the reconstruction for a fixed decoder. A known reason for such vulnerability is the distortions in the latent space resulting from a mismatch between approximated latent posterior and a prior distribution. Consequently, a slight change in an input sample can move its encoding to a low/zero density region in the latent space resulting in an unconstrained generation. This paper demonstrates that an optimal way for an adversary to attack VAEs is to exploit a directional bias of a stochastic pullback metric tensor induced by the encoder and decoder networks. The pullback metric tensor of an encoder measures the change in infinitesimal latent volume from an input to a latent space. Thus, it can be viewed as a lens to analyse the effect of input perturbations leading to latent space distortions. We propose robustness evaluation scores using the eigenspectrum of a pullback metric tensor. Moreover, we empirically show that the scores correlate with the robustness parameter $\beta$ of the $\beta-$VAE. Since increasing $\beta$ also degrades reconstruction quality, we demonstrate a simple alternative using \textit{mixup} training to fill the empty regions in the latent space, thus improving robustness with improved reconstruction.


title: Hecke equivariance of generalized Borcherds products of type $O(2,1)$

abstract: Recently, a weak converse theorem for Borcherds' lifting operator of type $O(2,1)$ for $\G_0(N)$ is proved and the logarithmic derivative of a modular form for $\G_0(N)$ is explicitly described in terms of the values of Niebur-Poincar\'e series at its divisors in the complex upper half-plane. In this paper, we prove that the generalized Borcherds' lifting operator of type $O(2,1)$ is Hecke equivariant under the extension of Guerzhoy's multiplicative Hecke operator on the integral weight meromorphic modular forms and the Hecke operator on half-integral weight vector-valued harmonic weak Maass forms. Additionally, we show that the logarithmic differential operator is also Hecke equivariant under the multiplicative Hecke operator and the Hecke operator on integral weight meromorphic modular forms. As applications of Hecke equivariance of the two operators, we obtain relations for twisted traces of singular moduli modulo prime powers and congruences for twisted class numbers modulo primes, including those associated to genus $1$ modular curves.


title: Directional Deduction

abstract: We present some new methods for logical deduction, based on ideas from ground theory. Roughly speaking, in our calculi a typical deduction will proceed as follows: we first analyse the premiss down to its ultimate grounds; then we discard information irrelevant to the conclusion; and then we synthesize the conclusion up from its ultimate grounds. We give a series of calculi for: classical propositional logic (Chapter 1); classical predicate logic (Chapter 2); modal propositional logic and modal predicate logic (Chapter 3); and some relevantistic fragments of these various systems (Chapters 4 and 5). In connection with these fragments we develop also some new semantic constructions, of 'truthmaker semantics' type.


title: Achievable Refined Asymptotics for Successive Refinement Using Gaussian Codebooks

abstract: We study the mismatched successive refinement problem where one uses Gaussian codebooks to compress an arbitrary memoryless source with successive minimum Euclidean distance encoding under the quadratic distortion measure. Specifically, we derive achievable refined asymptotics under both the joint excess-distortion probability (JEP) and the separate excess-distortion probabilities (SEP) criteria. For both second-order and moderate deviations asymptotics, we consider two types of codebooks: the spherical codebook where each codeword is drawn independently and uniformly from the surface of a sphere and the i.i.d. Gaussian codebook where each component of each codeword is drawn independently from a Gaussian distribution. We establish the achievable second-order rate-region under JEP and we show that under SEP any memoryless source satisfying mild moment conditions is strongly successively refinable. When specialized to a Gaussian memoryless source (GMS), our results provide an alternative achievability proof with specific code design. We show that under JEP and SEP, the same moderate deviations constant is achievable. For large deviations asymptotics, we only consider the i.i.d. Gaussian codebook since the i.i.d. Gaussian codebook has better performance than the spherical codebook in this regime for the one layer mismatched rate-distortion problem (Zhou, Tan, Motani, TIT, 2019). We derive achievable exponents of both JEP and SEP and specialize our results to a GMS, which appears to be a novel result of independent interest.


title: A comparison between the Avila-Gou\"ezel-Yoccoz norm and the Teichm\"uller norm

abstract: We give a comparison between the Avila-Gou\"ezel-Yoccoz norm and the Teichm\"uller norm on the principal stratum of holomorphic quadratic differentials.


title: Reconfigurable Intelligent Surfaces Empowered Cooperative Rate Splitting with User Relaying

abstract: Cooperative rate splitting (CRS), built upon rate splitting multiple access (RSMA) and opportunistic user relaying, has been recognized as a promising transmission strategy to enhance the user fairness and spectral efficiency in multiantenna broadcast channels. To further boost its performance, the interplay of CRS and reconfigurable intelligent surface (RIS) is investigated in this work. Specifically, a novel RIS-aided CRS transmission framework is proposed and the corresponding resource allocation problem to maximize the minimum rate among users is investigated. An alternative optimization algorithm is then proposed to optimize the transmit beamforming, common rate allocation, and RIS phases, iteratively. Numerical results show that the proposed RIS-aided CRS transmission framework significantly improves the spectral efficiency compared with its non-cooperative counterpart and other schemes without RIS.


title: Degenerate parametric down-conversion facilitated by exciton-plasmon polariton states in nonlinear plasmonic cavity

abstract: We study the effect of degenerate parametric down-conversion (DPDC) in an ensemble of two-level quantum emitters (QEs) coupled via near-field interactions to a single surface plasmon (SP) mode of a nonlinear plasmonic cavity. For this purpose, we develop a quantum driven-dissipative model capturing non-equilibrium dynamics of the system in which incoherently pumped QEs have transition frequency tuned near the second-harmonic response of the SPs. Considering the strong coupling regime, i.e., the SP-QE interaction rate exceeds system dissipation rates, we find a critical SP-QE coupling attributed to the phase transition between normal and lasing steady states. Examining fluctuations above the system's steady states, we predict new elementary excitations, namely, the exciton-plasmon polaritons formed by the two-SP quanta and single-exciton states of QEs. The contribution of two-SP quanta results in the linear scaling of the SP-QE interaction rate with the number of QEs, ${\cal N}_o$, as opposed to the $\sqrt{{\cal N}_o}$-scaling known for the Dicke and Tavis-Cummings models. We further examine how SP-QE interaction scaling affects the polariton dispersions and power spectra in the vicinity of the critical coupling. For this purpose, we compare the calculation results assuming a finite ensemble of QEs and the model thermodynamic limit. The calculated power spectra predict an interplay of coherent photon emission by QEs near the second-harmonic frequency and correlated photon-pair emission at the fundamental frequency by the SPs (i.e., the photonic DPDC effect).


title: Connection-oriented and Connectionless Quantum Internet Considering Quantum Repeaters

abstract: With the rapid development of quantum information and technology in recent years, the construction of quantum internet for interconnecting all kinds of quantum devices, such as quantum processors and sensors, will be the next trend for practical quantum applications. In this paper, we propose the protocols for construction of connection-oriented and connectionless quantum networks by considering the concrete quantum repeater (QR) nodes. Four classes of QRs networks are considered first and designed with two types of protocols in link layer, i.e. simultaneous and one-by-one link. Based on those two link models, the connection-oriented protocol is presented for all classes of QRs networks and the connectionless protocol is proposed for the first, second and third classes QRs networks by only one-by-one link. Furthermore, we introduce a new hybrid connection model of quantum networks combined with connection-oriented and connectionless for practical uses. Our work is a new attempt to study the model of the network layer for different kinds of QR networks and paves the way for developing the protocol stack of universal large-scale quantum internet.


title: On the polyhedral homotopy method for solving generalized Nash equilibrium problems of polynomials

abstract: The generalized Nash equilibrium problem (GNEP) is a kind of game to find strategies for a group of players such that each player's objective function is optimized. Solutions for GNEPs are called generalized Nash equilibria (GNEs). In this paper, we propose a numerical method for finding GNEs of GNEPs of polynomials based on the polyhedral homotopy continuation and the Moment-SOS hierarchy of semidefinite relaxations. We show that our method can find all GNEs if they exist, or detect the nonexistence of GNEs, under some genericity assumptions. Some numerical experiments are made to demonstrate the efficiency of our method.


title: Search for continuous gravitational waves from PSR J0437$-$4715 with a hidden Markov model in O3 LIGO data

abstract: Results are presented for a semi-coherent search for continuous gravitational waves from the millisecond pulsar PSR J0437$-$4715, using a hidden Markov model to track spin wandering, in LIGO data from the third LIGO-Virgo observing run. This is the first search for PSR J0437$-$4715 to cover a wide frequency range from $60$ Hz to $500$ Hz and simultanously accommodate random spin deviations from the secular radio ephemeris. Two searches are performed with plausible coherence times of $10$ days and $30$ days, as the frequency wandering time-scale of the gravitational-wave-emitting quadrupole is unknown. The former analysis yields no surviving candidates, while the latter yields five candidates after the veto procedure. The detection statistic of each of the five survivors is mapped as a function of sky position, in preparation for follow-up analyses in the future, e.g. during LIGO-Virgo-KAGRA fourth observing run.


title: Reconciling Multi-messenger Constraints with Chiral Symmetry Restoration

abstract: We consider the parity doublet model for nucleonic and delta matter to investigate the structure of neutron stars. We show that it is possible to reconcile the multi-messenger astronomy constraints within a purely hadronic equation of state (EOS), which accounts for the self-consistent treatment of the chiral symmetry restoration in the baryonic sector. We demonstrate that the characteristics of the EOS required by the astrophysical constraints do not necessarily imply the existence of a hadron-quark phase transition in the stellar core.


title: Inflating 2D Convolution Weights for Efficient Generation of 3D Medical Images

abstract: The generation of three-dimensional (3D) medical images has great application potential since it takes into account the 3D anatomical structure. Two problems prevent effective training of a 3D medical generative model: (1) 3D medical images are expensive to acquire and annotate, resulting in an insufficient number of training images, and (2) a large number of parameters are involved in 3D convolution. Methods: We propose a novel GAN model called 3D Split&Shuffle-GAN. To address the 3D data scarcity issue, we first pre-train a two-dimensional (2D) GAN model using abundant image slices and inflate the 2D convolution weights to improve the initialization of the 3D GAN. Novel 3D network architectures are proposed for both the generator and discriminator of the GAN model to significantly reduce the number of parameters while maintaining the quality of image generation. Several weight inflation strategies and parameter-efficient 3D architectures are investigated. Results: Experiments on both heart (Stanford AIMI Coronary Calcium) and brain (Alzheimer's Disease Neuroimaging Initiative) datasets show that our method leads to improved 3D image generation quality (14.7 improvements on Fr\'echet inception distance) with significantly fewer parameters (only 48.5% of the baseline method). Conclusions: We built a parameter-efficient 3D medical image generation model. Due to the efficiency and effectiveness, it has the potential to generate high-quality 3D brain and heart images for real use cases.


title: Reducing rejection exponentially improves Markov chain Monte Carlo sampling

abstract: The choice of transition kernel critically influences the performance of the Markov chain Monte Carlo method. Despite the importance of kernel choice, guiding principles for optimal kernels have not been established. Here, we propose a one-parameter rejection control transition kernel that can be applied to various Monte Carlo samplings and demonstrate that the rejection process plays a major role in determining the sampling efficiency. Varying the rejection probability, we examine the autocorrelation time of the order parameter in the two- and three-dimensional ferromagnetic Potts models. Our results reveal that reducing the rejection rate leads to an exponential decrease in autocorrelation time in sequential spin updates and an algebraic reduction in random spin updates. The autocorrelation times of conventional algorithms almost fall on a single curve as a function of the rejection rate. The present transition kernel with an optimal parameter provides one of the most efficient samplers for general cases of discrete variables.


title: Sparse Representation Learning with Modified q-VAE towards Minimal Realization of World Model

abstract: Extraction of low-dimensional latent space from high-dimensional observation data is essential to construct a real-time robot controller with a world model on the extracted latent space. However, there is no established method for tuning the dimension size of the latent space automatically, suffering from finding the necessary and sufficient dimension size, i.e. the minimal realization of the world model. In this study, we analyze and improve Tsallis-based variational autoencoder (q-VAE), and reveal that, under an appropriate configuration, it always facilitates making the latent space sparse. Even if the dimension size of the pre-specified latent space is redundant compared to the minimal realization, this sparsification collapses unnecessary dimensions, allowing for easy removal of them. We experimentally verified the benefits of the sparsification by the proposed method that it can easily find the necessary and sufficient six dimensions for a reaching task with a mobile manipulator that requires a six-dimensional state space. Moreover, by planning with such a minimal-realization world model learned in the extracted dimensions, the proposed method was able to exert a more optimal action sequence in real-time, reducing the reaching accomplishment time by around 20 %. The attached video is uploaded on youtube: https://youtu.be/-QjITrnxaRs


title: Detecting User Exits from Online Behavior: A Duration-Dependent Latent State Model

abstract: In order to steer e-commerce users towards making a purchase, marketers rely upon predictions of when users exit without purchasing. Previously, such predictions were based upon hidden Markov models (HMMs) due to their ability of modeling latent shopping phases with different user intents. In this work, we develop a duration-dependent hidden Markov model. In contrast to traditional HMMs, it explicitly models the duration of latent states and thereby allows states to become "sticky". The proposed model is superior to prior HMMs in detecting user exits: out of 100 user exits without purchase, it correctly identifies an additional 18. This helps marketers in better managing the online behavior of e-commerce customers. The reason for the superior performance of our model is the duration dependence, which allows our model to recover latent states that are characterized by a distorted sense of time. We finally provide a theoretical explanation for this, which builds upon the concept of "flow".


title: Constructing Large-Scale Real-World Benchmark Datasets for AIOps

abstract: Recently, AIOps (Artificial Intelligence for IT Operations) has been well studied in academia and industry to enable automated and effective software service management. Plenty of efforts have been dedicated to AIOps, including anomaly detection, root cause localization, incident management, etc. However, most existing works are evaluated on private datasets, so their generality and real performance cannot be guaranteed. The lack of public large-scale real-world datasets has prevented researchers and engineers from enhancing the development of AIOps. To tackle this dilemma, in this work, we introduce three public real-world, large-scale datasets about AIOps, mainly aiming at KPI anomaly detection, root cause localization on multi-dimensional data, and failure discovery and diagnosis. More importantly, we held three competitions in 2018/2019/2020 based on these datasets, attracting thousands of teams to participate. In the future, we will continue to publish more datasets and hold competitions to promote the development of AIOps further.


title: Cylindrical stochastic integration and applications to financial term structure modeling

abstract: We develop a novel - cylindrical - solution concept for stochastic evolution equations. Our motivation is to establish a Heath-Jarrow-Morton framework capable of analysing financial term structures with discontinuities, overcoming deep stochastic-analytic limitations posed by mild or weak solution concepts. Our cylindrical approach, which we investigate in full generality, bypasses these difficulties and nicely mirrors the structure of a large financial market.


title: Efficient constraint learning for data-driven active distribution network operation

abstract: Scheduling flexible sources to promote the integration of renewable generation is one fundamental problem for operating active distribution networks (ADNs). However, existing works are usually based on power flow models, which require network parameters (e.g., topology and line impedance) that may be unavailable in practice. To address this issue, we propose an efficient constraint learning method to operate ADNs. This method first trains multilayer perceptrons (MLPs) based on historical data to learn the mappings from decisions to constraint violations and power loss. Then, power flow constraints can be replicated by these MLPs without network parameters. We further prove that MLPs learn constraints by formulating a union of disjoint polytopes to approximate the corresponding feasible region. Thus, the proposed method can be interpreted as a piecewise linearization method, which also explains its desirable ability to replicate complex constraints. Finally, a two-step simplification method is developed to reduce its computational burden. The first step prunes away unnecessary polytopes from the union above. The second step drops redundant linear constraints for each retained polytope. Numerical experiments based on the IEEE 33- and 123-bus test systems validate that the proposed method can achieve desirable optimality and feasibility simultaneously with guaranteed computational efficiency.


title: Provable Acceleration of Nesterov's Accelerated Gradient Method over Heavy Ball Method in Training Over-Parameterized Neural Networks

abstract: Due to its simplicity and efficiency, the first-order gradient method has been extensively employed in training neural networks. Although the optimization problem of the neural network is non-convex, recent research has proved that the first-order method is capable of attaining a global minimum during training over-parameterized neural networks, where the number of parameters is significantly larger than that of training instances. Momentum methods, including the heavy ball (HB) method and Nesterov's accelerated gradient (NAG) method, are the workhorse of first-order gradient methods owning to their accelerated convergence. In practice, NAG often exhibits superior performance than HB. However, current theoretical works fail to distinguish their convergence difference in training neural networks. To fill this gap, we consider the training problem of the two-layer ReLU neural network under over-parameterization and random initialization. Leveraging high-resolution dynamical systems and neural tangent kernel (NTK) theory, our result not only establishes tighter upper bounds of the convergence rate for both HB and NAG, but also provides the first theoretical guarantee for the acceleration of NAG over HB in training neural networks. Finally, we validate our theoretical results on three benchmark datasets.


title: Direct Hydrogen Quantification in High-pressure Metal Hydrides

abstract: High-pressure metal-hydride (MH) research evolved into a thriving field within condensed matter physics following the realisation of metallic compounds showing phonon mediated near room-temperature superconductivity. However, severe limitations in determining the chemical formula of the reaction products, especially with regards to their hydrogen content, impedes a deep understanding of the synthesized phases and can lead to significantly erroneous conclusions. Here, we present a way to directly access the hydrogen content of MH solids synthesised at high pressures in (laser-heated) diamond anvil cells using nuclear magnetic resonance (NMR) spectroscopy. We show that this method can be used to investigate MH compounds with a wide range of hydrogen content, from MHx with x=0.15 (CuH0.15) to x < 6.4 (H 6+-0.4 S 5).


title: Triangle singularity in $B^0\to \pi^- K^+ X(3872)$ via the $D_{s1}\bar{D} D^*$ loop and possible precise measurement of the $X(3872)$ mass

abstract: We investigate the $B^0\to \pi^- K^+ X(3872)$ decay via the $D_{s1}(2536)\bar{D} D^*$ rescattering diagram. The line shape of the $K^+X(3872)$ distribution curve around $D_{s1}(2536)\bar{D}$ threshold is very sensitive to the $X(3872)$ mass because the triangle singularity (TS) can be generated from the loop. By means of this characteristic, we can determine whether the $X(3872)$ mass is below or above the $D^{\ast 0}\bar{D}^0$ threshold with high precision. The narrowness of $D_{s1}(2536)$ in the loop is one of the key reasons why the TS mechanism of measuring the $X(3872)$ mass may work. The $X(3872)$ width impact on the $K^+X(3872)$ line shape is also crucial in the TS mechanism. If the width is as large as 1 MeV, the proposed method of measuring the $X(3872)$ mass would be ruined.


title: Robust and Imperceptible Black-box DNN Watermarking Based on Fourier Perturbation Analysis and Frequency Sensitivity Clustering

abstract: Recently, more and more attention has been focused on the intellectual property protection of deep neural networks (DNNs), promoting DNN watermarking to become a hot research topic. Compared with embedding watermarks directly into DNN parameters, inserting trigger-set watermarks enables us to verify the ownership without knowing the internal details of the DNN, which is more suitable for application scenarios. The cost is we have to carefully craft the trigger samples. Mainstream methods construct the trigger samples by inserting a noticeable pattern to the clean samples in the spatial domain, which does not consider sample imperceptibility, sample robustness and model robustness, and therefore has limited the watermarking performance and the model generalization. It has motivated the authors in this paper to propose a novel DNN watermarking method based on Fourier perturbation analysis and frequency sensitivity clustering. First, we analyze the perturbation impact of different frequency components of the input sample on the task functionality of the DNN by applying random perturbation. Then, by K-means clustering, we determine the frequency components that result in superior watermarking performance for crafting the trigger samples. Our experiments show that the proposed work not only maintains the performance of the DNN on its original task, but also provides better watermarking performance compared with related works.


title: SLAM-TKA: Real-time Intra-operative Measurement of Tibial Resection Plane in Conventional Total Knee Arthroplasty

abstract: Total knee arthroplasty (TKA) is a common orthopaedic surgery to replace a damaged knee joint with artificial implants. The inaccuracy of achieving the planned implant position can result in the risk of implant component aseptic loosening, wear out, and even a joint revision, and those failures most of the time occur on the tibial side in the conventional jig-based TKA (CON-TKA). This study aims to precisely evaluate the accuracy of the proximal tibial resection plane intra-operatively in real-time such that the evaluation processing changes very little on the CON-TKA operative procedure. Two X-ray radiographs captured during the proximal tibial resection phase together with a pre-operative patient-specific tibia 3D mesh model segmented from computed tomography (CT) scans and a trocar pin 3D mesh model are used in the proposed simultaneous localisation and mapping (SLAM) system to estimate the proximal tibial resection plane. Validations using both simulation and in-vivo datasets are performed to demonstrate the robustness and the potential clinical value of the proposed algorithm.


title: A new study on a type Iax stellar remnant and its probable association with SN 1181

abstract: We report observations and modeling of the stellar remnant and presumed double-degenerate merger of Type~Iax supernova Pa30, which is the probable remnant of SN~1181~AD. It is the only known bound stellar SN remnant and the only star with Wolf-Rayet features that is neither a planetary nebula central star nor a massive Pop I progenitor. We model the unique emission-line spectrum with broad, strong O~{\sc vi} and O~{\sc viii} lines as a fast stellar wind and shocked, hot gas. Non-LTE wind modeling indicates a mass-loss rate of $\sim 10^{-6}\,\rm M_\odot\,yr^{-1}$ and a terminal velocity of $ \sim$15,000~km\,s$^{-1}$, consistent with earlier results. O~{\sc viii} lines indicate shocked gas temperatures of $T \simeq 4\,$MK. We derive a magnetic field upper limit of $B<2.5\,$MG, below earlier suggestions. The luminosity indicates a remnant mass of 1.0--1.65\,\rm M$_\odot$ with ejecta mass $0.15\pm0.05\,\rm M_\odot$. Archival photometry suggests the stellar remnant has dimmed by $\sim$0.5 magnitudes over 100 years. A low Ne/O$\,<0.15$ argues against a O-Ne white dwarf in the merger. A cold dust shell is only the second detection of dust in a SN Iax and the first of cold dust. Our ejecta mass and kinetic energy estimates of the remnant are consistent with Type Iax extragalactic sources.


title: Unbiased Estimation of the Vanilla and Deterministic Ensemble Kalman-Bucy Filters

abstract: In this article we consider the development of an unbiased estimator for the ensemble Kalman--Bucy filter (EnKBF). The EnKBF is a continuous-time filtering methodology which can be viewed as a continuous-time analogue of the famous discrete-time ensemble Kalman filter. Our unbiased estimators will be motivated from recent work [Rhee \& Glynn 2010, [31]] which introduces randomization as a means to produce unbiased and finite variance estimators. The randomization enters through both the level of discretization, and through the number of samples at each level. Our estimator will be specific to linear and Gaussian settings, where we know that the EnKBF is consistent, in the particle limit $N \rightarrow \infty$, with the KBF. We highlight this for two particular variants of the EnKBF, i.e. the deterministic and vanilla variants, and demonstrate this on a linear Ornstein--Uhlenbeck process. We compare this with the EnKBF and the multilevel (MLEnKBF), for experiments with varying dimension size. We also provide a proof of the multilevel deterministic EnKBF, which provides a guideline for some of the unbiased methods.


title: AWEncoder: Adversarial Watermarking Pre-trained Encoders in Contrastive Learning

abstract: As a self-supervised learning paradigm, contrastive learning has been widely used to pre-train a powerful encoder as an effective feature extractor for various downstream tasks. This process requires numerous unlabeled training data and computational resources, which makes the pre-trained encoder become valuable intellectual property of the owner. However, the lack of a priori knowledge of downstream tasks makes it non-trivial to protect the intellectual property of the pre-trained encoder by applying conventional watermarking methods. To deal with this problem, in this paper, we introduce AWEncoder, an adversarial method for watermarking the pre-trained encoder in contrastive learning. First, as an adversarial perturbation, the watermark is generated by enforcing the training samples to be marked to deviate respective location and surround a randomly selected key image in the embedding space. Then, the watermark is embedded into the pre-trained encoder by further optimizing a joint loss function. As a result, the watermarked encoder not only performs very well for downstream tasks, but also enables us to verify its ownership by analyzing the discrepancy of output provided using the encoder as the backbone under both white-box and black-box conditions. Extensive experiments demonstrate that the proposed work enjoys pretty good effectiveness and robustness on different contrastive learning algorithms and downstream tasks, which has verified the superiority and applicability of the proposed work.


title: Extrinsic Camera Calibration with Semantic Segmentation

abstract: Monocular camera sensors are vital to intelligent vehicle operation and automated driving assistance and are also heavily employed in traffic control infrastructure. Calibrating the monocular camera, though, is time-consuming and often requires significant manual intervention. In this work, we present an extrinsic camera calibration approach that automatizes the parameter estimation by utilizing semantic segmentation information from images and point clouds. Our approach relies on a coarse initial measurement of the camera pose and builds on lidar sensors mounted on a vehicle with high-precision localization to capture a point cloud of the camera environment. Afterward, a mapping between the camera and world coordinate spaces is obtained by performing a lidar-to-camera registration of the semantically segmented sensor data. We evaluate our method on simulated and real-world data to demonstrate low error measurements in the calibration results. Our approach is suitable for infrastructure sensors as well as vehicle sensors, while it does not require motion of the camera platform.


title: Observation of inverse Anderson transitions in Aharonov-Bohm topolectrical circuits

abstract: It is well known that Anderson transition is a disorder-induced metal-insulator transition.Contrary to this conventional wisdom, some investigations have shown that disorders could destroy the phase coherence of localized modes in flatbands, making the localized states melt into extended states. This phenomenon is called the inverse Anderson transition. While, to date, the experimental observation of inverse Anderson transitions is still lacking. In this work, we report the implementation of inverse Anderson transitions based on Aharonov-Bohm topolectrical circuits. Different types of disorders, including symmetric-correlated, antisymmetric-correlated and uncorrelated disorders, can be easily implemented in Aharonov-Bohm circuits by engineering the spatial distribution of ground settings. Through the direct measurements of frequency-dependent impedance responses and time-domain voltage dynamics, the inverse Anderson transitions induced by antisymmetric-correlated disorders are clearly observed. Moreover, the flat bands and associated spatial localizations are also fulfilled in clean Aharonov-Bohm circuits or Aharonov-Bohm circuits sustaining symmetric-correlated and uncorrelated disorders, respectively. Our proposal provides a flexible platform to investigate the interplay between the geometric localization and Anderson localization, and could have potential applications in electronic signal control.


title: Simplifying Electronic Document Digital Signatures

abstract: Electronic documents are typically signed using private keys and the matching digital certificate through a Public Key Infrastructure (PKI). Private keys must be kept in a safe place so they can be used multiple times. This makes private key management a critical component of PKI for which there is no foolproof answer. Existing solutions are often expensive and cumbersome. This work proposes issuing an irrevocable digital certificate for each new document to be signed. We demonstrate that an ephemeral key can be used with these certificates, eliminating the need to store private keys. We analyze the overhead caused by the requirement to generate new key pairs for each document, provide a security overview and show the advantages over the traditional model.


title: A Multiple Market Trading Mechanism for Electricity, Renewable Energy Certificate and Carbon Emission Right of Virtual Power Plants

abstract: A multiple market trading mechanism for the VPP to participate in electricity, renewable energy certificate (REC) and carbon emission right (CER) markets is proposed. With the introduction of the inventory mechanism of REC and CER, the profit of the VPP increases and better trading decisions with multiple markets are made under the requirements of renewable portfolio standard (RPS) and carbon emission (CE) quota requirements. According to the Karush-Kuhn-Tucker (KKT) conditions of the proposed model, properties of the multiple market trading mechanism are discussed. Results from case studies verify the effectiveness of the proposed model.


title: Intelligent MIMO Detection Using Meta Learning

abstract: In a K-best detector for multiple-input-multiple-output(MIMO) systems, the value of K needs to be sufficiently large to achieve near-maximum-likelihood (ML) performance. By treating K as a variable that can be adjusted according to a fitting function of some learnable coefficients, an intelligent MIMO detection network based on deep neural networks (DNN) is proposed to reduce complexity of the detection algorithm with little performance degradation. In particular, the proposed intelligent detection algorithm uses meta learning to learn the coefficients of the fitting function for K to circumvent the problem of learning K directly. The idea of network fusion is used to combine the learning results of the meta learning component networks. Simulation results show that the proposed scheme achieves near-ML detection performance while its complexity is close to that of linear detectors. Besides, it also exhibits strong ability of fast training.


title: Galaxy source counts at 7.7 $\mu$m, 10 $\mu$m and 15 $\mu$m with the James Webb Space Telescope

abstract: We present mid-infrared galaxy number counts based on the Early Release Observations obtained by the James Webb Space Telescope (JWST) at 7.7-, 10- and 15-$\mu$m (F770W, F1000W and F1500W, respectively) bands of the Mid-Infrared Instrument (MIRI). Due to the superior sensitivity of JWST, the 80 percent completeness limits reach 0.32, 0.79 and 2.0 $\mu$Jy in F770W, F1000W and F1500W filters, respectively, i.e., $\sim$100 times deeper than previous space infrared telescopes such as Spitzer or AKARI. The number counts reach much deeper than the broad bump around $0.05\sim0.5$ mJy due to polycyclic aromatic hydrocarbon (PAH) emissions. An extrapolation towards fainter flux from the evolutionary models in the literature agrees amazingly well with the new data, where the extrapolated faint-end of infrared luminosity functions combined with the cosmic star-formation history to higher redshifts can reproduce the deeper number counts by JWST. Our understanding of the faint infrared sources has been confirmed by the observed data due to the superb sensitivity of JWST.


title: Confinement in non-Abelian lattice gauge theory via persistent homology

abstract: We investigate the structure of confining and deconfining phases in SU(2) lattice gauge theory via persistent homology, which gives us access to the topology of a hierarchy of combinatorial objects constructed from given data. Specifically, we use filtrations by traced Polyakov loops, topological densities, holonomy Lie algebra fields, as well as electric and magnetic fields. This allows for a comprehensive picture of confinement. In particular, topological densities form spatial lumps which show signatures of the classical probability distribution of instanton-dyons. Signatures of well-separated dyons located at random positions are encoded in holonomy Lie algebra fields, following the semi-classical temperature dependence of the instanton appearance probability. Debye screening discriminating between electric and magnetic fields is visible in persistent homology and pronounced at large gauge coupling. All employed constructions are gauge-invariant without a priori assumptions on the configurations under study. This work showcases the versatility of persistent homology for statistical and quantum physics studies, barely explored to date.

categories: hep-lat cond-mat.stat-mech hep-ph hep-th math.AT


title: Cell response in free-packed granular systems

abstract: The study of the interactions of living adherent cells with mechanically stable (visco)elastic materials enables understanding and exploiting physiological phenomena mediated by cell-extracellular communication. However, insight on the interaction of cells and surrounding objects with different stability patterns upon cell contact might unveil cell responses that may be engineered for innovative applications. Here, it is hypothesized that the efficiency of cell attachment, spreading and movement across a free-packed granular bed of microparticles depend on microparticle diameter, raising the possibility of a necessary minimum traction force for the reinforcement of cell-particle bonds, and long-term cell adhesion. The results suggest that microparticles with 14-20 {\mu}m are prone to cell-mediated mobility, holding the potential of inducing early cell detachment, while objects with diameters from 38-85 {\mu}m enable long-lasting cell adhesion and proliferation. An in-silico hybrid particle-based model that addresses time-dependent biological mechanisms of cell adhesion is proposed, providing inspiration for engineering platforms to address healthcare-related challenges.


title: The Laplace operator, measure concentration, Gauss functions, and quantum mechanics

abstract: We represent in this note the solutions of the electronic Schr\"odinger equation as traces of higher-dimensional functions. This allows to decouple the electron-electron interaction potential but comes at the price of a degenerate elliptic operator replacing the Laplace operator on the higher-dimensional space. The surprising observation is that this operator can without much loss again be substituted by the Laplace operator, the more successful the larger the system under consideration is. This is due to a concentration of measure effect that has much to do with the random projection theorem known from probability theory. The text is in parts based on the publications [Numer. Math. 146, 219--238 (2020)] and [SIAM J. Matrix Anal. Appl., 43, 464--478 (2022)] of the author and adapts the findings there to the needs of quantum mechanics. Our observations could for example find use in iterative methods that map sums of products of orbitals and geminals onto functions of the same type.


title: Abutting Grating Illusion: Cognitive Challenge to Neural Network Models

abstract: Even the state-of-the-art deep learning models lack fundamental abilities compared to humans. Multiple comparison paradigms have been proposed to explore the distinctions between humans and deep learning. While most comparisons rely on corruptions inspired by mathematical transformations, very few have bases on human cognitive phenomena. In this study, we propose a novel corruption method based on the abutting grating illusion, which is a visual phenomenon widely discovered in both human and a wide range of animal species. The corruption method destroys the gradient-defined boundaries and generates the perception of illusory contours using line gratings abutting each other. We applied the method on MNIST, high resolution MNIST, and silhouette object images. Various deep learning models are tested on the corruption, including models trained from scratch and 109 models pretrained with ImageNet or various data augmentation techniques. Our results show that abutting grating corruption is challenging even for state-of-the-art deep learning models because most models are randomly guessing. We also discovered that the DeepAugment technique can greatly improve robustness against abutting grating illusion. Visualisation of early layers indicates that better performing models exhibit stronger end-stopping property, which is consistent with neuroscience discoveries. To validate the corruption method, 24 human subjects are involved to classify samples of corrupted datasets.


title: Partial reconstruction of measures from halfspace depth

abstract: The halfspace depth of a $d$-dimensional point $x$ with respect to a finite (or probability) Borel measure $\mu$ in $\mathbb{R}^d$ is defined as the infimum of the $\mu$-masses of all closed halfspaces containing $x$. A natural question is whether the halfspace depth, as a function of $x \in \mathbb{R}^d$, determines the measure $\mu$ completely. In general, it turns out that this is not the case, and it is possible for two different measures to have the same halfspace depth function everywhere in $\mathbb{R}^d$. In this paper we show that despite this negative result, one can still obtain a substantial amount of information on the support and the location of the mass of $\mu$ from its halfspace depth. We illustrate our partial reconstruction procedure in an example of a non-trivial bivariate probability distribution whose atomic part is determined successfully from its halfspace depth.


title: A Reliable Calibration of HII Galaxies Hubble Diagram with Cosmic Chronometers and Artificial Neural Network

abstract: The $L-\sigma$ relation of HII galaxies (HIIGx) calibrated by a distance indicator is a reliable standard candle for measuring the Hubble constant $H_0$. The most straightforward calibration technique anchors them with the first tier of distance ladders from the same galaxies. Recently another promising method that uses the cosmological model-independent Cosmic Chronometers (CC) as a calibrator has been proposed. We promote this technique by removing the assumptions about the cosmic flatness and using a non-parametric Artificial Neural Network for the data reconstruction process. We observe a correlation between the cosmic curvature density parameter and the slope of the $L-\sigma$ relation, thereby improving the reliability of the calibration. Using the calibrated HIIGx Hubble diagram, we obtain a Type Ia Supernovae Hubble diagram free of the conventional assumption about $H_0$. Finally we get a value of $H_0=65.9_{-2.9}^{+3.0} \mathrm{km s^{-1} Mpc^{-1}}$, which is compatible with latest Planck18 measurement.


title: Sampling Based On Natural Image Statistics Improves Local Surrogate Explainers

abstract: Many problems in computer vision have recently been tackled using models whose predictions cannot be easily interpreted, most commonly deep neural networks. Surrogate explainers are a popular post-hoc interpretability method to further understand how a model arrives at a particular prediction. By training a simple, more interpretable model to locally approximate the decision boundary of a non-interpretable system, we can estimate the relative importance of the input features on the prediction. Focusing on images, surrogate explainers, e.g., LIME, generate a local neighbourhood around a query image by sampling in an interpretable domain. However, these interpretable domains have traditionally been derived exclusively from the intrinsic features of the query image, not taking into consideration the manifold of the data the non-interpretable model has been exposed to in training (or more generally, the manifold of real images). This leads to suboptimal surrogates trained on potentially low probability images. We address this limitation by aligning the local neighbourhood on which the surrogate is trained with the original training data distribution, even when this distribution is not accessible. We propose two approaches to do so, namely (1) altering the method for sampling the local neighbourhood and (2) using perceptual metrics to convey some of the properties of the distribution of natural images.


title: N\'eel proximity effect at antiferromagnet/superconductor interfaces

abstract: Spin-splitting induced in a conventional superconductor weakens superconductivity by destroying spin-singlet and creating spin-triplet Cooper pairs. We demonstrate theoretically that such an effect is also caused by an adjacent compensated antiferromagnet, which yields no net spin-splitting. We find that the antiferromagnet produces N\'eel triplet Cooper pairs, whose pairing amplitude oscillates rapidly in space similar to the antiferromagnet's spin. The emergence of these unconventional Cooper pairs reduces the singlet pairs' amplitude, thereby lowering the superconducting critical temperature. We develop a quasiclassical Green's functions description of the system employing a two-sublattice framework. It successfully captures the rapid oscillations in the Cooper pairs' amplitude at the lattice spacing scale as well as their smooth variation on the larger coherence length scale. Employing the theoretical framework thus developed, we investigate this N\'eel proximity effect in a superconductor/antiferromagnet bilayer as a function of interfacial exchange, disorder, and chemical potential, finding rich physics. Our findings also offer insights into experiments which have found a larger than expected suppression of superconductivity by an adjacent antiferromagnet.


title: MetaGraspNet: A Large-Scale Benchmark Dataset for Scene-Aware Ambidextrous Bin Picking via Physics-based Metaverse Synthesis

abstract: Autonomous bin picking poses significant challenges to vision-driven robotic systems given the complexity of the problem, ranging from various sensor modalities, to highly entangled object layouts, to diverse item properties and gripper types. Existing methods often address the problem from one perspective. Diverse items and complex bin scenes require diverse picking strategies together with advanced reasoning. As such, to build robust and effective machine-learning algorithms for solving this complex task requires significant amounts of comprehensive and high quality data. Collecting such data in real world would be too expensive and time prohibitive and therefore intractable from a scalability perspective. To tackle this big, diverse data problem, we take inspiration from the recent rise in the concept of metaverses, and introduce MetaGraspNet, a large-scale photo-realistic bin picking dataset constructed via physics-based metaverse synthesis. The proposed dataset contains 217k RGBD images across 82 different article types, with full annotations for object detection, amodal perception, keypoint detection, manipulation order and ambidextrous grasp labels for a parallel-jaw and vacuum gripper. We also provide a real dataset consisting of over 2.3k fully annotated high-quality RGBD images, divided into 5 levels of difficulties and an unseen object set to evaluate different object and layout properties. Finally, we conduct extensive experiments showing that our proposed vacuum seal model and synthetic dataset achieves state-of-the-art performance and generalizes to real world use-cases.


title: Polygonal tessellations as predictive models of molecular monolayers

abstract: Molecular self-assembly plays a very important role in various aspects of technology as well as in biological systems. Governed by the covalent, hydrogen or van der Waals interactions - self-assembly of alike molecules results in a large variety of complex patterns even in two dimensions (2D). Prediction of pattern formation for 2D molecular networks is extremely important, though very challenging, and so far, relied on computationally involved approaches such as density functional theory, classical molecular dynamics, Monte Carlo, or machine learning. Such methods, however, do not guarantee that all possible patterns will be considered and often rely on intuition. Here we introduce a much simpler, though rigorous, hierarchical geometric model founded on the mean-field theory of 2D polygonal tessellations to predict extended network patterns based on molecular-level information. Based on graph theory, this approach yields pattern classification and pattern prediction within well-defined ranges. When applied to existing experimental data, our model provides an entirely new view of self-assembled molecular patterns, leading to interesting predictions on admissible patterns and potential additional phases. While developed for hydrogen-bonded systems, an extension to covalently bonded graphene-derived materials or 3D structures such as fullerenes is possible, significantly opening the range of potential future applications.


title: A Uniform Convergent Petrov-Galerkin method for a Class of Turning Point Problems

abstract: In this paper, we propose a numerical method for turning point problems in one dimension based on Petrov-Galerkin finite element method (PGFEM). We first give a priori estimate for the turning point problem with a single boundary turning point. Then we use PGFEM to solve it, where test functions are the solutions to piecewise approximate dual problems. We prove that our method has a first-order convergence rate in both $L^\infty$ norm and an energy norm when we select the exact solutions to dual problems as test functions. Numerical results show that our scheme is efficient for turning point problems with different types of singularities, and the convergency coincides with our theoretical results.


title: NPB-REC: Non-parametric Assessment of Uncertainty in Deep-learning-based MRI Reconstruction from Undersampled Data

abstract: Uncertainty quantification in deep-learning (DL) based image reconstruction models is critical for reliable clinical decision making based on the reconstructed images. We introduce "NPB-REC", a non-parametric fully Bayesian framework for uncertainty assessment in MRI reconstruction from undersampled "k-space" data. We use Stochastic gradient Langevin dynamics (SGLD) during the training phase to characterize the posterior distribution of the network weights. We demonstrated the added-value of our approach on the multi-coil brain MRI dataset, from the fastmri challenge, in comparison to the baseline E2E-VarNet with and without inference-time dropout. Our experiments show that NPB-REC outperforms the baseline by means of reconstruction accuracy (PSNR and SSIM of $34.55$, $0.908$ vs. $33.08$, $0.897$, $p<0.01$) in high acceleration rates ($R=8$). This is also measured in regions of clinical annotations. More significantly, it provides a more accurate estimate of the uncertainty that correlates with the reconstruction error, compared to the Monte-Carlo inference time Dropout method (Pearson correlation coefficient of $R=0.94$ vs. $R=0.91$). The proposed approach has the potential to facilitate safe utilization of DL based methods for MRI reconstruction from undersampled data. Code and trained models are available in \url{https://github.com/samahkh/NPB-REC}.


title: Deformation of the Okubic Albert algebra and its relation to the Okubic affine and projective planes

abstract: We present a deformation of the Okubic Albert algebra introduced by Elduque whose rank-1 idempotent elements are in biunivocal correspondence with points of the Okubic projective plane, thus extending to Okubic algebras the correspondence found by Jordan, Von Neumann, Wigner between the octonionic projective plane and the rank-3 Exceptional Jordan Algebra.


title: All-optical image classification through unknown random diffusers using a single-pixel diffractive network

abstract: Classification of an object behind a random and unknown scattering medium sets a challenging task for computational imaging and machine vision fields. Recent deep learning-based approaches demonstrated the classification of objects using diffuser-distorted patterns collected by an image sensor. These methods demand relatively large-scale computing using deep neural networks running on digital computers. Here, we present an all-optical processor to directly classify unknown objects through unknown, random phase diffusers using broadband illumination detected with a single pixel. A set of transmissive diffractive layers, optimized using deep learning, forms a physical network that all-optically maps the spatial information of an input object behind a random diffuser into the power spectrum of the output light detected through a single pixel at the output plane of the diffractive network. We numerically demonstrated the accuracy of this framework using broadband radiation to classify unknown handwritten digits through random new diffusers, never used during the training phase, and achieved a blind testing accuracy of 88.53%. This single-pixel all-optical object classification system through random diffusers is based on passive diffractive layers that process broadband input light and can operate at any part of the electromagnetic spectrum by simply scaling the diffractive features proportional to the wavelength range of interest. These results have various potential applications in, e.g., biomedical imaging, security, robotics, and autonomous driving.


title: Efficient Distance-Optimal Tethered Path Planning in Planar Environments: The Workspace Convexity

abstract: The main contribution of this paper is the proof of the convexity of the omni-directional tethered robot workspace (namely, the set of all tether-length-admissible robot configurations), as well as a set of distance-optimal tethered path planning algorithms that leverage the workspace convexity. The workspace is proven to be topologically a simply-connected subset and geometrically a convex subset of the set of all configurations. As a direct result, the tether-length-admissible optimal path between two configurations is proven exactly the untethered collision-free locally shortest path in the homotopy specified by the concatenation of the tether curve of the given configurations, which can be simply constructed by performing an untethered path shortening process in the 2D environment instead of a path searching process in the pre-calculated workspace. The convexity is an intrinsic property to the tethered robot kinematics, thus has universal impacts on all high-level distance-optimal tethered path planning tasks: The most time-consuming workspace pre-calculation (WP) process is replaced with a goal configuration pre-calculation (GCP) process, and the homotopy-aware path searching process is replaced with untethered path shortening processes. Motivated by the workspace convexity, efficient algorithms to solve the following problems are naturally proposed: (a) The optimal tethered reconfiguration (TR) planning problem is solved by a locally untethered path shortening (UPS) process, (b) The classic optimal tethered path (TP) planning problem (from a starting configuration to a goal location whereby the target tether state is not assigned) is solved by a GCP process and $n$ UPS processes, where $n$ is the number of tether-length-admissible configurations that visit the goal location, (c) The optimal tethered motion to visit a sequence of multiple goal locations, referred to as


title: Optimized Design for IRS-Assisted Integrated Sensing and Communication Systems in Clutter Environments

abstract: In this paper, we investigate an intelligent reflecting surface (IRS)-assisted integrated sensing and communication (ISAC) system design in a clutter environment. Assisted by an IRS equipped with a uniform linear array (ULA), a multi-antenna base station (BS) is targeted for communicating with multiple communication users (CUs) and sensing multiple targets simultaneously. We consider the IRS-assisted ISAC design in the case with Type-I or Type-II CUs, where each Type-I and Type-II CU can and cannot cancel the interference from sensing signals, respectively. In particular, we aim to maximize the minimum sensing beampattern gain among multiple targets, by jointly optimizing the BS transmit beamforming vectors and the IRS phase shifting matrix, subject to the signal-to-interference-plus-noise ratio (SINR) constraint for each Type-I/Type-II CU, the interference power constraint per clutter, the transmission power constraint at the BS, and the cross-correlation pattern constraint. Due to the coupling of the BS's transmit design variables and the IRS's phase shifting matrix, the formulated max-min IRS-assisted ISAC design problem in the case with Type-I/Type-II CUs is highly non-convex. As such, we propose an efficient algorithm based on the alternating-optimization and semi-definite relaxation (SDR) techniques. In the case with Type-I CUs, we show that the dedicated sensing signal at the BS is always beneficial to improve the sensing performance. By contrast, the dedicated sensing signal at the BS is not required in the case with Type-II CUs. Numerical results are provided to show that the proposed IRS-assisted ISAC design schemes achieve a significant gain over the existing benchmark schemes.


title: The Present and Future of Astronomy (ASTRO2022)

abstract: Being one of the most fascinating and ancient sciences, astronomy has always played a special role in society. In 2022 ESO organised an online conference to offer the community a platform to discuss astronomical topics of sociological and philosophical relevance in a professional atmosphere. The talks touched on several crucial aspects, moving from the methodology of science to the use of metrics, to the importance of diversity in evaluation processes, and to the link between astronomy and society.


title: Exponentially Stable MRAC of MIMO Switched Systems with Matched Uncertainty and Completely Unknown Control Matrix

abstract: In this paper an attempt is made to extend the concept of the exponentially stable adaptive control to one class of multi-input-multi-output (MIMO) plants with matched nonlinearity and unknown piecewise constant parameters. Within the intervals between two consecutive parameter switches, the proposed adaptive control system ensures: 1) exponential convergence to zero of the parameter and reference model tracking errors, 2) the monotonicity of the control law adjustable parameters. Both properties are guaranteed in case the regressor is finitely exciting somewhere inside each of such intervals. Compared to the existing methods, the proposed one is applicable to systems with unknown switching signal function and completely unknown control matrix. The theoretical results are supported by the numerical experiments.


title: An analytical backtracking method for electron beam longitudinal phase space shaping

abstract: Many applications of high brightness, highly relativistic electron beams carry strict requirements on longitudinal phase space quality. To meet these requirements, accelerator systems typically utilize dispersive elements to manipulate the correlated energy spread acquired during acceleration or via collective effects. The many free variables in these systems make finding an optimal configuration difficult. We present here an analytical method for tracking a desired final longitudinal phase space backwards through an accelerator section composed of an acceleration or drift section followed by a dispersive section, including analytical models of pertinent collective effects. This backtracking can serve as a fast and accurate tool for optimization and study of the longitudinal phase space dynamics of an accelerator system. Here, we consider the LCLS-II accelerator as an example case, using this method to find an accelerator configuration and longitudinal phase space at the injector exit that lead to a significant increase in peak current while maintaining a narrow energy spread at the accelerator exit. The validity of this method is tested by comparison with Elegant simulations, showing good agreement.