title: Extracting lung function-correlated information from CT-encoded static textures

abstract: The inherent characteristics of lung tissues, which are independent of breathing manoeuvre, may provide fundamental information on lung function. This paper attempted to study function-correlated lung textures and their spatial distribution from CT. 21 lung cancer patients with thoracic 4DCT scans, DTPA-SPECT ventilation images (V), and available pulmonary function test (PFT) measurements were collected. 79 radiomic features were included for analysis, and a sparse-to-fine strategy including subregional feature discovery and voxel-wise feature distribution study was carried out to identify the function-correlated radiomic features. At the subregion level, lung CT images were partitioned and labeled as defected/non-defected patches according to reference V. At the voxel-wise level, feature maps (FMs) of selected feature candidates were generated for each 4DCT phase. Quantitative metrics, including Spearman coefficient of correlation (SCC) and Dice similarity coefficient (DSC) for FM-V spatial agreement assessments, intra-class coefficient of correlation (ICC) for FM robustness evaluations, and FM-PFT comparisons, were applied to validate the results. At the subregion level, eight function-correlated features were filtered out with medium-to-large statistical strength (effect size>0.330) to differentiate defected/non-defected lung regions. At the voxel-wise level, FMs of candidates yielded moderate-to-strong voxel-wise correlations with reference V. Among them, FMs of GLDM Dependence Non-uniformity showed the highest robust (ICC=0.96) spatial correlation, with median SCCs ranging from 0.54 to 0.59 throughout ten phases. Its phase-averaged FM achieved a median SCC of 0.60, the median DSC of 0.60/0.65 for high/low functional lung volumes, respectively, and the correlation of 0.646 between the spatially averaged feature values and PFT measurements.


title: A study on the Poisson, geometric and Pascal distributions motivated by Chv\'{a}tal's conjecture

abstract: Let $B(n,p)$ denote a binomial random variable with parameters $n$ and $p$. Vas\v{e}k Chv\'{a}tal conjectured that for any fixed $n\geq 2$, as $m$ ranges over $\{0,\ldots,n\}$, the probability $q_m:=P(B(n,m/n)\leq m)$ is the smallest when $m$ is closest to $\frac{2n}{3}$. This conjecture has been solved recently. Motivated by this conjecture, in this paper, we consider the corresponding minimum value problem on the probability that a random variable is not more than its expectation, when its distribution is the Poisson distribution, the geometric distribution or the Pascal distribution.


title: Correlation of heavy-flavour hadron production and charged-particle multiplicity in pp collisions measured by ALICE

abstract: Heavy-flavour (HF) quarks, i.e. charm and beauty, are produced in the early stages of ultra-relativistic collisions via hard scattering processes. The measurement of heavy flavour as a function of charged-particle multiplicity not only provides information on how the production mechanisms are influenced by the event activity, but can also be considered as a tool to test the role of multiple parton interactions. Furthermore, charged-particle multiplicity studies are essential for reference measurements, to tune theoretical models and to provide information on the global characteristics of events. In ALICE, charged-particle multiplicity and heavy-flavour production in the hadronic and electronic decay channels are measured at central rapidity while HF-decay muons and $\rm J/\psi \rightarrow \mu^{+}\mu^{-}$ are measured at forward rapidity. In this contribution, results will be presented on relative $\rm J/\psi$, average D-mesons and leptons from HF hadron decay yields as a function of charged-particle multiplicity in proton-proton (pp) collisions at $\sqrt{s}$ = 5.02, 7, 8 and 13 TeV. These results will also be compared to theoretical model calculations.


title: A Programmable Spatiotemporal Quantum Parametric Mode Sorter

abstract: We experimentally demonstrate a programmable parametric mode sorter of high-dimensional signals in a composite spatiotemporal Hilbert space through mode-selective quantum frequency up-conversion. As a concrete example and with quantum communication applications in mind, we consider the Laguerre-Gaussian and Hermite-Gaussian modes as the spatial and temporal state basis for the signals, respectively. By modulating the spatiotemporal profiles of the up-conversion pump, we demonstrate the faithful selection of single photons in those modes and their superposition modes. Our results show an improvement in the quantum mode-sorting performance by coupling the up-converted light into a single-mode fiber and/or operating the upconversion at the edge of phase matching. By optimizing pump temporal profiles only, we achieve more than 12 dB extinction for mutually unbiased basis (MUB) sets of the spatiotemporal modes. This fully programmable and efficient system could serve as a viable resource for quantum communications, quantum computation, and quantum metrology.


title: ViSNet: an equivariant geometry-enhanced graph neural network with vector-scalar interactive message passing for molecules

abstract: Geometric deep learning has been revolutionizing the molecular modeling field. Despite the state-of-the-art neural network models are approaching ab initio accuracy for molecular property prediction, their applications, such as drug discovery and molecular dynamics (MD) simulation, have been hindered by insufficient utilization of geometric information and high computational costs. Here we propose an equivariant geometry-enhanced graph neural network called ViSNet, which elegantly extracts geometric features and efficiently models molecular structures with low computational costs. Our proposed ViSNet outperforms state-of-the-art approaches on multiple MD benchmarks, including MD17, revised MD17 and MD22, and achieves excellent chemical property prediction on QM9 and Molecule3D datasets. Additionally, ViSNet achieved the top winners of PCQM4Mv2 track in the OGB-LCS@NeurIPS2022 competition. Furthermore, through a series of simulations and case studies, ViSNet can efficiently explore the conformational space and provide reasonable interpretability to map geometric representations to molecular structures.


title: Security-Preserving Federated Learning via Byzantine-Sensitive Triplet Distance

abstract: While being an effective framework of learning a shared model across multiple edge devices, federated learning (FL) is generally vulnerable to Byzantine attacks from adversarial edge devices. While existing works on FL mitigate such compromised devices by only aggregating a subset of the local models at the server side, they still cannot successfully ignore the outliers due to imprecise scoring rule. In this paper, we propose an effective Byzantine-robust FL framework, namely dummy contrastive aggregation, by defining a novel scoring function that sensitively discriminates whether the model has been poisoned or not. Key idea is to extract essential information from every local models along with the previous global model to define a distance measure in a manner similar to triplet loss. Numerical results validate the advantage of the proposed approach by showing improved performance as compared to the state-of-the-art Byzantine-resilient aggregation methods, e.g., Krum, Trimmed-mean, and Fang.


title: Fast-Convergent Federated Learning via Cyclic Aggregation

abstract: Federated learning (FL) aims at optimizing a shared global model over multiple edge devices without transmitting (private) data to the central server. While it is theoretically well-known that FL yields an optimal model -- centrally trained model assuming availability of all the edge device data at the central server -- under mild condition, in practice, it often requires massive amount of iterations until convergence, especially under presence of statistical/computational heterogeneity. This paper utilizes cyclic learning rate at the server side to reduce the number of training iterations with increased performance without any additional computational costs for both the server and the edge devices. Numerical results validate that, simply plugging-in the proposed cyclic aggregation to the existing FL algorithms effectively reduces the number of training iterations with improved performance.


title: IRS-Assisted RF-powered IoT Networks:System Modeling and Performance Analysis

abstract: Emerged as a promising solution for future wireless communication systems, intelligent reflecting surface (IRS) is capable of reconfiguring the wireless propagation environment by adjusting the phase-shift of a large number of reflecting elements. To quantify the gain achieved by IRSs in the radio frequency (RF) powered Internet of Things (IoT) networks, in this work, we consider an IRS-assisted cellular-based RFpowered IoT network, where the cellular base stations (BSs) broadcast energy signal to IoT devices for energy harvesting (EH) in the charging stage, which is utilized to support the uplink (UL) transmissions in the subsequent UL stage. With tools from stochastic geometry, we first derive the distributions of the average signal power and interference power which are then used to obtain the energy coverage probability, UL coverage probability, overall coverage probability, spatial throughput and power efficiency, respectively. With the proposed analytical framework, we finally evaluate the effect on network performance of key system parameters, such as IRS density, IRS reflecting element number, charging stage ratio, etc. Compared with the conventional RF-powered IoT network, IRS passive beamforming brings the same level of enhancement in both energy coverage and UL coverage, leading to the unchanged optimal charging stage ratio when maximizing spatial throughput.


title: Tunable valley filtering in dynamically strained $\alpha$-$\mathcal{T}_3$ lattices

abstract: Mechanical deformations in $\alpha$-$\mathcal{T}_3$ lattices induce local pseudomagnetic fields of opposite directionality for different valleys. When this strain is equipped with a dynamical drive, it generates a complementary valley-asymmetric pseudoelectric field which is expected to accelerate electrons. We propose that by combining these effects by a time-dependent nonuniform strain, tunable valley filtering devices can be engineered that extend beyond the static capabilities. We demonstrate this by implementing an oscillating Gaussian bump centered in a four-terminal Hall bar $\alpha$-$\mathcal{T}_3$ setup and calculating the induced pseudoelectromagnetic fields analytically. Within a recursive Floquet Green-function scheme, we determine the time-averaged transmission and valley polarization, as well as the spatial distributions of the local density of states and current density. As a result of the periodic drive, we detect novel energy regimes with highly valley-polarized transmission, depending on $\alpha$. Analyzing the spatial profiles of the time-averaged local density of states and current density we can relate these regimes to the pseudoelectromagnetic fields in the setup.By means of the driving frequency, we can manipulate the valley-polarized states, which might be advantageous for future device applications.


title: Cut-Off Kinks

abstract: We answer the question: If a vacuum sector Hamiltonian is regularized by an energy cutoff, how is the one-kink sector Hamiltonian regularized? We find that it is not regularized by an energy cutoff, indeed normal modes of all energies are present in the kink Hamiltonian, but rather the decomposition of the field into normal mode operators yields coefficients which lie on a constrained surface that forces them to become small for energies above the cutoff. This explains the old observation that an energy cutoff of the kink Hamiltonian leads to an incorrect one-loop kink mass. To arrive at our conclusion, we impose that the regularized kink sector Hamiltonian is unitarily equivalent to the regularized vacuum sector Hamiltonian. This condition implies that the two regularized Hamiltonians have the same spectrum and so guarantees that the kink Hamiltonian yields the correct kink mass.


title: Federated clustering with GAN-based data synthesis

abstract: Federated clustering (FC) is an extension of centralized clustering in federated settings. The key here is how to construct a global similarity measure without sharing private data, since the local similarity may be insufficient to group local data correctly and the similarity of samples across clients cannot be directly measured due to privacy constraints. Obviously, the most straightforward way to analyze FC is to employ the methods extended from centralized ones, such as K-means (KM) and fuzzy c-means (FCM). However, they are vulnerable to non independent-and-identically-distributed (non-IID) data among clients. To handle this, we propose a new federated clustering framework, named synthetic data aided federated clustering (SDA-FC). It trains generative adversarial network locally in each client and uploads the generated synthetic data to the server, where KM or FCM is performed on the synthetic data. The synthetic data can make the model immune to the non-IID problem and enable us to capture the global similarity characteristics more effectively without sharing private data. Comprehensive experiments reveals the advantages of SDA-FC, including superior performance in addressing the non-IID problem and the device failures.


title: Spectral Representation Learning for Conditional Moment Models

abstract: Many problems in causal inference and economics can be formulated in the framework of conditional moment models, which characterize the target function through a collection of conditional moment restrictions. For nonparametric conditional moment models, efficient estimation often relies on preimposed conditions on various measures of ill-posedness of the hypothesis space, which are hard to validate when flexible models are used. In this work, we address this issue by proposing a procedure that automatically learns representations with controlled measures of ill-posedness. Our method approximates a linear representation defined by the spectral decomposition of a conditional expectation operator, which can be used for kernelized estimators and is known to facilitate minimax optimal estimation in certain settings. We show this representation can be efficiently estimated from data, and establish L2 consistency for the resulting estimator. We evaluate the proposed method on proximal causal inference tasks, exhibiting promising performance on high-dimensional, semi-synthetic data.


title: On TFU extensions in LCA groups

abstract: Let $\ell$ be the category of all locally compact abelian (LCA) groups. Let $G\in\ell$ and $H\subseteq G$. The first Ulm subgroup of $G$ is denoted by $G^{(1)}$ and the closure of $H$ by $\overline{H}$. A proper short exact sequence $0\to A\stackrel{\phi}{\to} B\stackrel{\psi}{\to} C\to 0$ in $\ell$ is said to be a $TFU$ extension if $0\to \overline{A^{(1)}}\stackrel{\overline{\phi}}{\to} \overline{B^{(1)}}\stackrel{\overline{\psi}}{\to} \overline{C^{(1)}}\to 0$ is a proper short exact sequence where $\overline{\phi}=\phi\mid_{\overline{A^{(1)}}}$ and $\overline{\psi}=\psi\mid_{\overline{B^{(1)}}}$. We introduce some results on $TFU$ extensions. Also, we establish conditions under which the $TFU$ extensions split.


title: Magnetotransport Properties and Fermi Surface Topology of Nodal line Semimetal InBi

abstract: In the present study, we have discussed the up-turn behavior in the resistivity pattern of the topological nodal line semimetal InBi. We argued that such nature could be generalized with a mathematical model, that can be applied to any compounds exhibiting similar behavior. The extremely high magnetoresistance (XMR) has also been explained by the carrier compensation in the compound, estimated from the Hall conductivity. Moreover, from the study of Subhnikov-de Haas (SdH) oscillation and density functional theory (DFT), we obtained the complete three-dimensional (3D) Fermi surface topology of the compound InBi. A detailed understanding of carriers' behavior has been discussed using those studies. We have also unfurled the topology of each electron and hole pocket and its possible modulation with electron and hole doping.


title: Multimode advantage in continuous variable quantum battery

abstract: We provide an architecture for a multimode quantum battery (QB) based on the framework of continuous variable (CV) systems. We examine the performance of the battery by using a generic class of multimode initial states whose parameters can be tuned to produce separable as well as entangled states and that can be charged locally as well as globally by Gaussian unitary operations. Analytical calculations show that a separable state is equally advantageous as an entangled one for two- and three-mode batteries when taking the figures of merit as the second moments of the change in energy. In order to produce a stable quantum battery consisting of an arbitrary number of modes, we derive compact analytical forms of the energy fluctuations and prove that for a multimode separable Gaussian initial state, fluctuations decrease as the number of modes increases, thereby obtaining a scaling analysis. Moreover, we demonstrate that local displacement as a charger is better to minimize the fluctuations in energy than that involving the squeezing unitary operation.


title: Coexistence of active and hydrodynamic turbulence in two dimensional active nematics

abstract: In active nematic liquid crystals activity is able to drive chaotic spatiotemporal flows referred to as active turbulence. Active turbulence has been characterized through theoretical and experimental work as a low Reynolds number phenomenon. We show that, in two-dimensions, the active forcing alone is able to trigger hydrodynamic turbulence leading to the coexistence of active and inertial turbulence. This type of flows develops for sufficiently active and extensile flow-aligning nematics. We observe that the combined effect of an extensile nematic and large values of the flow-aligning parameter leads to a broadening of the elastic energy spectrum that promotes a growth of kinetic energy able to trigger an inverse energy cascade.


title: BIMRL: Brain Inspired Meta Reinforcement Learning

abstract: Sample efficiency has been a key issue in reinforcement learning (RL). An efficient agent must be able to leverage its prior experiences to quickly adapt to similar, but new tasks and situations. Meta-RL is one attempt at formalizing and addressing this issue. Inspired by recent progress in meta-RL, we introduce BIMRL, a novel multi-layer architecture along with a novel brain-inspired memory module that will help agents quickly adapt to new tasks within a few episodes. We also utilize this memory module to design a novel intrinsic reward that will guide the agent's exploration. Our architecture is inspired by findings in cognitive neuroscience and is compatible with the knowledge on connectivity and functionality of different regions in the brain. We empirically validate the effectiveness of our proposed method by competing with or surpassing the performance of some strong baselines on multiple MiniGrid environments.


title: Poisson Problems involving fractional Hardy operators and measures

abstract: In this paper, we study the Poisson problem involving a fractional Hardy operator and a measure source. The complex interplay between the nonlocal nature of the operator, the peculiar effect of the singular potential and the measure source induces several new fundamental difficulties in comparison with the local case. To overcome these difficulties, we perform a careful analysis of the dual operator in the weighted distributional sense and establish fine properties of the associated function spaces, which in turn allow us to formulate the Poisson problem in an appropriate framework. In light of the close connection between the Poisson problem and its dual problem, we are able to establish various aspects of the theory for the Poisson problem including the solvability, a priori estimates, variants of Kato's inequality and regularity results.


title: T-even transverse momentum dependent gluon fragmentation functions in a spectator model

abstract: We present a model calculation of transverse momentum dependent (TMD) gluon fragmentation functions for the spin-1/2 and spin-0 hadrons. The model is based on the assumption that a time-like off-shell gluon can fragments into a hadron and a single spectator particle. So far such spectator models have only been used to calculate the TMD distribution functions of quark and gluons. The gluon-hadron-spectator coupling is described by an effective vertex containing two form factors. We obtain the analytic expressions for the four T-even TMD fragmentation functions of the gluon. We also present the numerical results for the $z$-dependence and $k_T$-dependence of the fragmentation functions. Our study shows that the effects of these fragmentation functions may be significant and could be probed by future experimental measurements.


title: Generic Ill-posedness of the Energy-Momentum Equations and Differential Inclusions

abstract: We show that the energy-momentum equations arising from inner variations whose Lagrangian satisfies a generic symmetry condition are generically ill-posed. This is done by proving that there exists a subclass of Lipschitz solutions that are also solutions to a differential inclusion. In particular these solutions can be nowhere C1. We prove that these solutions are not stationary points if the Lagrangian W is C1 and strictly rank-one convex. In view of the Lipschitz regularity result of Iwaniec, Kovalev and Onninen for solution of the energy-momentum equation in dimension 2 we give a sufficient condition for the non-existence of a partial C1-regularity result even under the condition that the mappings satisfy a positive Jacobian determinant condition. Finally we consider a number of well-known functionals studied in nonlinear elasticity and geometric function theory and show that these do not satisfy this obstruction to partial regularity.


title: Improved Approximation Algorithms for Capacitated Vehicle Routing with Fixed Capacity

abstract: The Capacitated Vehicle Routing Problem (CVRP) is one of the most extensively studied problems in combinatorial optimization. According to the property of the demand of customers, we distinguish three variants of CVRP: unit-demand, splittable and unsplittable. We consider $k$-CVRP in general metrics and general graphs, where $k$ is the capacity of the vehicle and all the three versions are APX-hard for each fixed $k\geq 3$. In this paper, we give a $(5/2-\Theta(\sqrt{1/k}))$-approximation algorithm for splittable and unit-demand $k$-CVRP and a $(5/2+\ln2-\Theta(\sqrt{1/k}))$-approximation algorithm for unsplittable $k$-CVRP. Our approximation ratio is better than all previous results for $k$ smaller than a sufficiently large value, say $k\leq 1.7\times 10^7$. For small $k$, we also design independent elegant algorithms with further improvements. For the splittable and unit-demand cases, we improve the ratio from $1.792$ to $1.500$ for $k=3$, and from $1.750$ to $1.500$ for $k=4$ too. For the unsplittable case, we improve the ratio from $1.792$ to $1.500$ for $k=3$, from $2.051$ to $1.750$ for $k=4$, and from $2.249$ to $2.157$ for $k=5$. The approximation ratio for $k=3$ also surprisingly achieve the same ratio for the splittable case. Note that for small $k$ such as $3$, $4$ and $5$, some previous results have also been kept for decades. Our techniques, such as the EX-ITP method -- an extension of the classic ITP method, has potential to improve algorithms for more routing problems.


title: Causal Discovery of Dynamic Models for Predicting Human Spatial Interactions

abstract: Exploiting robots for activities in human-shared environments, whether warehouses, shopping centres or hospitals, calls for such robots to understand the underlying physical interactions between nearby agents and objects. In particular, modelling cause-and-effect relations between the latter can help to predict unobserved human behaviours and anticipate the outcome of specific robot interventions. In this paper, we propose an application of causal discovery methods to model human-robot spatial interactions, trying to understand human behaviours from real-world sensor data in two possible scenarios: humans interacting with the environment, and humans interacting with obstacles. New methods and practical solutions are discussed to exploit, for the first time, a state-of-the-art causal discovery algorithm in some challenging human environments, with potential application in many service robotics scenarios. To demonstrate the utility of the causal models obtained from real-world datasets, we present a comparison between causal and non-causal prediction approaches. Our results show that the causal model correctly captures the underlying interactions of the considered scenarios and improves its prediction accuracy.


title: Differentiable Data Augmentation for Contrastive Sentence Representation Learning

abstract: Fine-tuning a pre-trained language model via the contrastive learning framework with a large amount of unlabeled sentences or labeled sentence pairs is a common way to obtain high-quality sentence representations. Although the contrastive learning framework has shown its superiority on sentence representation learning over previous methods, the potential of such a framework is under-explored so far due to the simple method it used to construct positive pairs. Motivated by this, we propose a method that makes hard positives from the original training examples. A pivotal ingredient of our approach is the use of prefix that is attached to a pre-trained language model, which allows for differentiable data augmentation during contrastive learning. Our method can be summarized in two steps: supervised prefix-tuning followed by joint contrastive fine-tuning with unlabeled or labeled examples. Our experiments confirm the effectiveness of our data augmentation approach. The proposed method yields significant improvements over existing methods under both semi-supervised and supervised settings. Our experiments under a low labeled data setting also show that our method is more label-efficient than the state-of-the-art contrastive learning methods.


title: Phonemic Representation and Transcription for Speech to Text Applications for Under-resourced Indigenous African Languages: The Case of Kiswahili

abstract: Building automatic speech recognition (ASR) systems is a challenging task, especially for under-resourced languages that need to construct corpora nearly from scratch and lack sufficient training data. It has emerged that several African indigenous languages, including Kiswahili, are technologically under-resourced. ASR systems are crucial, particularly for the hearing-impaired persons who can benefit from having transcripts in their native languages. However, the absence of transcribed speech datasets has complicated efforts to develop ASR models for these indigenous languages. This paper explores the transcription process and the development of a Kiswahili speech corpus, which includes both read-out texts and spontaneous speech data from native Kiswahili speakers. The study also discusses the vowels and consonants in Kiswahili and provides an updated Kiswahili phoneme dictionary for the ASR model that was created using the CMU Sphinx speech recognition toolbox, an open-source speech recognition toolkit. The ASR model was trained using an extended phonetic set that yielded a WER and SER of 18.87% and 49.5%, respectively, an improved performance than previous similar research for under-resourced languages.


title: Assessment of Atomic and Molecular Physics in Africa

abstract: We present the status of the research in the field of atomic and molecular physics in Africa as well as some challenges hindering the efforts being made by the African scientists. We further report the discussions and progress of the African Strategy for Fundamental and Applied Physics (ASFAP) working group on Atomic and Molecular physics with the view of providing the continent research direction for next decade.


title: Exploiting prompt learning with pre-trained language models for Alzheimer's Disease detection

abstract: Early diagnosis of Alzheimer's disease (AD) is crucial in facilitating preventive care and to delay further progression. Speech based automatic AD screening systems provide a non-intrusive and more scalable alternative to other clinical screening techniques. Textual embedding features produced by pre-trained language models (PLMs) such as BERT are widely used in such systems. However, PLM domain fine-tuning is commonly based on the masked word or sentence prediction costs that are inconsistent with the back-end AD detection task. To this end, this paper investigates the use of prompt-based fine-tuning of PLMs that consistently uses AD classification errors as the training objective function. Disfluency features based on hesitation or pause filler token frequencies are further incorporated into prompt phrases during PLM fine-tuning. The decision voting based combination among systems using different PLMs (BERT and RoBERTa) or systems with different fine-tuning paradigms (conventional masked-language modelling fine-tuning and prompt-based fine-tuning) is further applied. Mean, standard deviation and the maximum among accuracy scores over 15 experiment runs are adopted as performance measurements for the AD detection system. Mean detection accuracy of 84.20% (with std 2.09%, best 87.5%) and 82.64% (with std 4.0%, best 89.58%) were obtained using manual and ASR speech transcripts respectively on the ADReSS20 test set consisting of 48 elderly speakers.


title: Entanglement distribution with minimal memory requirements using time-bin photonic qudits

abstract: Generating multiple entangled qubit pairs between distributed nodes is a prerequisite for a future quantum internet. To achieve a practicable generation rate, standard protocols based on photonic qubits require multiple long-term quantum memories, which remains a significant experimental challenge. In this paper, we propose a novel protocol based on $2^m$-dimensional time-bin photonic qudits that allow for the simultaneous generation of multiple ($m$) entangled pairs between two distributed qubit registers and outline a specific implementation of the protocol based on cavity-mediated spin-photon interactions. By adopting the qudit protocol, the required qubit memory time is independent of the transmission loss between the nodes in contrast to standard qubit approaches. As such, our protocol can significantly boost the performance of near-term quantum networks.


title: Entity-centered Cross-document Relation Extraction

abstract: Relation Extraction (RE) is a fundamental task of information extraction, which has attracted a large amount of research attention. Previous studies focus on extracting the relations within a sentence or document, while currently researchers begin to explore cross-document RE. However, current cross-document RE methods directly utilize text snippets surrounding target entities in multiple given documents, which brings considerable noisy and non-relevant sentences. Moreover, they utilize all the text paths in a document bag in a coarse-grained way, without considering the connections between these text paths.In this paper, we aim to address both of these shortages and push the state-of-the-art for cross-document RE. First, we focus on input construction for our RE model and propose an entity-based document-context filter to retain useful information in the given documents by using the bridge entities in the text paths. Second, we propose a cross-document RE model based on cross-path entity relation attention, which allow the entity relations across text paths to interact with each other. We compare our cross-document RE method with the state-of-the-art methods in the dataset CodRED. Our method outperforms them by at least 10% in F1, thus demonstrating its effectiveness.


title: General Theory for Bilayer Stacking Ferroelectricity

abstract: Two-dimensional (2D) ferroelectrics, which is rare in nature, enable high-density non-volatile memory with low energy consumption. Here, we propose a theory of bilayer stacking ferroelectricity (BSF), in which, two stacked layers of the same 2D material, with different rotation and translation, exhibits ferroelectricity. By performing systematic group theory analysis, we find out all the possible BSF in all the 80 layer groups (LGs) and discover the rules about the creation and annihilation of symmetries in the bilayer. Our general theory can not only explain all the previous findings (including sliding ferroelectricity), but also provide new perspective. Interestingly, the direction of the electric polarization of the bilayer could be totally different from that of the single layer. In particular, the bilayer could become ferroelectric after properly stacking two centrosymmetric non-polar monolayers. By means of first-principles simulations, we demonstrate that the ferroelectricity and thus multiferroicity can be introduced to the prototypical 2D ferromagnetic centrosymmetric material CrI3 by stacking. Furthermore, we find that the out-of-plane electric polarization in bilayer CrI3 is interlocked with the in-plane electric polarization, suggesting that the out-of-plane polarization can be manipulated in a deterministic way through the application of an in-plane electric field. The present BSF theory lays a solid foundation for designing a large number of bilayer ferroelectrics and thus colorful platforms for fundamental studies and applications.


title: A Firefly Algorithm-based Spectral Fitting Technique for Wavelength Modulation Spectroscopy Systems

abstract: This paper proposes a novel calibration-free wavelength modulated spectroscopy (WMS) spectral fitting technique based on the firefly algorithm. The technique by simulating the information interaction behavior between fireflies to achieve the retrieval of gas concentration and laser parameters. Contrasted with the spectral fitting technique based on the classical Levenberg-Marquardt (LM) algorithm, the retrieval of gas concentrations by this technique is weakly dependent on the pre-characterization of the laser parameters. We select the P(13) absorption line of C2H2 at 1532.82 nm as the target spectra and compare the performance of two optimization method (LM and firefly) on gas concentration and laser parameters retrieval by simulation. The simulation results show that the spectral fitting technique based on the firefly algorithm performs better in terms of convergence speed and fitting accuracy, especially in the multi-parameter model without exact characterization.


title: Better Lightweight Network for Free: Codeword Mimic Learning for Massive MIMO CSI feedback

abstract: The channel state information (CSI) needs to be fed back from the user equipment (UE) to the base station (BS) in frequency division duplexing (FDD) multiple-input multiple-output (MIMO) system. Recently, neural networks are widely applied to CSI compressed feedback since the original overhead is too large for the massive MIMO system. Notably, lightweight feedback networks attract special attention due to their practicality of deployment. However, the feedback accuracy is likely to be harmed by the network compression. In this paper, a cost free distillation technique named codeword mimic (CM) is proposed to train better feedback networks with the practical lightweight encoder. A mimic-explore training strategy with a special distillation scheduler is designed to enhance the CM learning. Experiments show that the proposed CM learning outperforms the previous state-of-the-art feedback distillation method, boosting the performance of the lightweight feedback network without any extra inference cost.


title: Enhanced molecular orientation via NIR-delay-THz scheme: Experimental results at room temperature

abstract: THz fields induce orientation in gas phase molecules via resonant dipole-field interaction. The degree of orientation however remains severely limited due to the practical shortage of high THz-field amplitudes. In this paper, we experimentally demonstrate a concerted Near-IR and THz excitation scheme that provides significant increase in the degree of orientation at room temperature gas ensembles. The experimental results are supported by theoretical simulations and a detailed discussion of the multiple coherent transition pathways involved in the scheme is presented.


title: On the structure of weak solutions to the Riemann problem for degenerate nonlinear diffusion equation

abstract: We find an explicit form of weak solutions to a Riemann problem for a degenerate semilinear parabolic equation with piecewise constant diffusion coefficient. It is demonstrated that the phase transition lines (free boundaries) correspond to the minimum point of some strictly convex function of a finite number of variables. In the limit as number of phases tend to infinity we obtain a variational formulation of self-similar solution with an arbitrary nonnegative diffusion function.


title: Flexible machine learning estimation of conditional average treatment effects: a blessing and a curse

abstract: Causal inference from observational data requires untestable identification assumptions. If these assumptions apply, machine learning (ML) methods can be used to study complex forms of causal effect heterogeneity. Recently, several ML methods were developed to estimate the conditional average treatment effect (CATE). If the features at hand cannot explain all heterogeneity, the individual treatment effects (ITEs) can seriously deviate from the CATE. In this work, we demonstrate how the distributions of the ITE and the CATE can differ when a causal random forest (CRF) is applied. We extend the CRF to estimate the difference in conditional variance between treated and controls. If the ITE distribution equals the CATE distribution, this estimated difference in variance should be small. If they differ, an additional causal assumption is necessary to quantify the heterogeneity not captured by the CATE distribution. The conditional variance of the ITE can be identified when the individual effect is independent of the outcome under no treatment given the measured features. Then, in the cases where the ITE and CATE distributions differ, the extended CRF can appropriately estimate the variance of the ITE distribution while the CRF fails to do so.


title: The importance of being scrambled: supercharged Quasi Monte Carlo

abstract: In many financial applications Quasi Monte Carlo (QMC) based on Sobol low-discrepancy sequences (LDS) outperforms Monte Carlo showing faster and more stable convergence. However, unlike MC QMC lacks a practical error estimate. Randomized QMC (RQMC) method combines the best of two methods. Application of scrambled LDS allow to compute confidence intervals around the estimated value, providing a practical error bound. Randomization of Sobol' LDS by two methods: Owen's scrambling and digital shift are compared considering computation of Asian options and Greeks using hyperbolic local volatility model. RQMC demonstrated the superior performance over standard QMC showing increased convergence rates and providing practical error bounds.


title: Liminal Design: A Conceptual Framework and Three-Step Approach for Developing Technology that Delivers Transcendence and Deeper Experiences

abstract: As ubiquitous technology is increasingly mediating our relationships with the world and others, we argue that the sublime is struggling to find room in product design primarily aimed at commercial and transactional goals such as speed and efficiency. We suggest a new category of products to promote deeper and more meaningful experiences, specifically those offering liminality, transcendence, and personal transformation. This paper introduces a conceptual framework and related three-step design approach that looks at narrative participation in design through abstractions to promote, hold and deepen more complex emotions. We explore implications from a theoretical point of view and suggest some liminal product design ideas as examples of how the model might be applied in practice.


title: The built-in selection bias of hazard ratios formalized

abstract: It is known that the hazard ratio lacks a useful causal interpretation. Even for data from a randomized controlled trial, the hazard ratio suffers from built-in selection bias as, over time, the individuals at risk in the exposed and unexposed are no longer exchangeable. In this work, we formalize how the observed hazard ratio evolves and deviates from the causal hazard ratio of interest in the presence of heterogeneity of the hazard of unexposed individuals (frailty) and heterogeneity in effect (individual modification). For the case of effect heterogeneity, we define the causal hazard ratio. We show that the observed hazard ratio equals the ratio of expectations of the latent variables (frailty and modifier) conditionally on survival in the world with and without exposure, respectively. Examples with gamma, inverse Gaussian and compound Poisson distributed frailty, and categorical (harming, beneficial or neutral) effect modifiers are presented for illustration. This set of examples shows that an observed hazard ratio with a particular value can arise for all values of the causal hazard ratio. Therefore, the hazard ratio can not be used as a measure of the causal effect without making untestable assumptions, stressing the importance of using more appropriate estimands such as contrasts of the survival probabilities.


title: Strong entanglement criteria for mixed states, based on uncertainty relations

abstract: We propose an entanglement criterion, specially designed for mixed states, based on uncertainty relation and the Wigner-Yanase skew information. The variances in this uncertainty relation does not involve any classical mixing uncertainty, and thus turns out to be purely of quantum mechanical nature. We show that any mixed entangled state can be characterized by our criterion. We demonstrate its utility for several generalized mixed entangled state including Werner states and it turns out to be stronger than any other known criterion in identifying the correct domain of relevant parameters for entanglement. The proposed criterion reduces to the Schrodinger-Robertson inequality for pure states.


title: Mechanistic forecasts of species responses to climate change: the promise of biophysical ecology

abstract: A challenge in global change biology is to predict how species will respond to future environmental change and to manage these responses. To make such predictions and management actions robust to novel futures, we need to accurately characterize how organisms experience their environments and the biological mechanisms by which they respond. All organisms are thermodynamically connected to their environments through the exchange of heat and water at fine spatial and temporal scales and this exchange can be captured with biophysical models. Although mechanistic models based on biophysical ecology have a long history of development and application, their use in global change biology remains limited despite their enormous promise and increasingly accessible software. We contend that greater understanding and training in the theory and methods of biophysical models is vital to expand their application. Our review shows how biophysical models can be implemented to understand and predict climate change impacts on species' behavior, phenology, survival, distribution, and abundance. We illustrate the types of outputs that can be generated, and the data inputs required for different implementations. Examples range from simple calculations of body temperature to more complex analyses of species' distribution limits based on projected energy and water balances, accounting for behavior and phenology. We outline challenges that currently limit the widespread application of biophysical models. We discuss progress and future developments that could allow these models to be applied to many species across large spatial extents and timeframes. We highlight how biophysical models are uniquely suited to solve global change biology problems that involve predicting and interpreting responses to environmental variability and extremes, multiple or shifting constraints, and novel abiotic or biotic environments.


title: Geometry of Diophantine exponents

abstract: Diophantine exponents are ones of the simplest quantitative characteristics responsible for the approximation properties of linear subspaces of a Euclidean space. This survey is aimed at describing the current state of the area of Diophantine approximation which studies Diophantine exponents and relations they satisfy. We discuss classical Diophantine exponents arising in the problem of approximating zero with the set of the values of several linear forms at integer points, their analogues in Diophantine approximation with weights, multiplicative Diophantine exponents, and Diophantine exponents of lattices. We pay special attention to the transference principle.


title: End-to-end Spoken Language Understanding with Tree-constrained Pointer Generator

abstract: End-to-end spoken language understanding (SLU) suffers from the long-tail word problem. This paper exploits contextual biasing, a technique to improve the speech recognition of rare words, in end-to-end SLU systems. Specifically, a tree-constrained pointer generator (TCPGen), a powerful and efficient biasing model component, is studied, which leverages a slot shortlist with corresponding entities to extract biasing lists. Meanwhile, to bias the SLU model output slot distribution, a slot probability biasing (SPB) mechanism is proposed to calculate a slot distribution from TCPGen. Experiments on the SLURP dataset showed consistent SLU-F1 improvements using TCPGen and SPB, especially on unseen entities. On a new split by holding out 5 slot types for the test, TCPGen with SPB achieved zero-shot learning with an SLU-F1 score over 50% compared to baselines which can not deal with it. In addition to slot filling, the intent classification accuracy was also improved.


title: Bias of the additive hazard model in the presence of causal effect heterogeneity

abstract: Hazard ratios are prone to selection bias, compromising their use as causal estimands. On the other hand, the hazard difference has been shown to remain unaffected by the selection of frailty factors over time. Therefore, observed hazard differences can be used as an unbiased estimator for the causal hazard differences in the absence of confounding. However, in the presence of effect (on the hazard) heterogeneity, the hazard difference is also affected by selection. In this work, we formalize how the observed hazard difference (from a randomized controlled trial) evolves by selecting favourable levels of effect modifiers in the exposed group and thus deviates from the causal hazard difference of interest. Such selection may result in a non-linear integrated hazard difference curve even when the individual causal effects are time-invariant. Therefore, a homogeneous time-varying causal additive effect on the hazard can not be distinguished from a constant but heterogeneous causal effect. We illustrate this causal issue by studying the effect of chemotherapy on the survival time of patients suffering from carcinoma of the oropharynx using data from a clinical trial. The hazard difference can thus not be used as an appropriate measure of the causal effect without making untestable assumptions.


title: MinUn: Accurate ML Inference on Microcontrollers

abstract: Running machine learning inference on tiny devices, known as TinyML, is an emerging research area. This task requires generating inference code that uses memory frugally, a task that standard ML frameworks are ill-suited for. A deployment framework for TinyML must be a) parametric in the number representation to take advantage of the emerging representations like posits, b) carefully assign high-precision to a few tensors so that most tensors can be kept in low-precision while still maintaining model accuracy, and c) avoid memory fragmentation. We describe MinUn, the first TinyML framework that holistically addresses these issues to generate efficient code for ARM microcontrollers (e.g., Arduino Uno, Due and STM32H747) that outperforms the prior TinyML frameworks.


title: Towards Attribute-Entangled Controllable Text Generation: A Pilot Study of Blessing Generation

abstract: Controllable Text Generation (CTG) has obtained great success due to its fine-grained generation ability obtained by focusing on multiple attributes. However, most existing CTG researches overlook how to utilize the attribute entanglement to enhance the diversity of the controlled generated texts. Facing this dilemma, we focus on a novel CTG scenario, i.e., blessing generation which is challenging because high-quality blessing texts require CTG models to comprehensively consider the entanglement between multiple attributes (e.g., objects and occasions). To promote the research on blessing generation, we present EBleT, a large-scale Entangled Blessing Text dataset containing 293K English sentences annotated with multiple attributes. Furthermore, we propose novel evaluation metrics to measure the quality of the blessing texts generated by the baseline models we designed. Our study opens a new research direction for controllable text generation and enables the development of attribute-entangled CTG models. Our dataset and source codes are available at \url{https://github.com/huangshulin123/Blessing-Generation}.


title: Valuative lattices and spectra

abstract: The first part of the present article consists in a survey about the dynamical constructive method designed using dynamical theories and dynamical algebraic structures. Dynamical methods uncovers a hidden computational content for numerous abstract objects of classical mathematics, which seem a priori inaccessible constructively, e.g., the algebraic closure of a (discrete) field. When a proof in classical mathematics uses these abstract objects and results in a concrete outcome, dynamical methods generally make possible to discover an algorithm for this concrete outcome. The second part of the article applies this dynamical method to the theory of divisibility. We compare two notions of valuative spectra present in the literature and we introduce a third notion, which is implicit in an article devoted to the dynamical theory of algebraically closed discrete valued fields. The two first notions are respectively due to Huber \& Knebusch and to Coquand. We prove that the corresponding valuative lattices are essentially the same. We establish formal Valuativestellens\"atze corresponding to these theories, and we compare the various resulting notions of valuative dimensions.


title: Few-shot Image Generation via Adaptation-Aware Kernel Modulation

abstract: Few-shot image generation (FSIG) aims to learn to generate new and diverse samples given an extremely limited number of samples from a domain, e.g., 10 training samples. Recent work has addressed the problem using transfer learning approach, leveraging a GAN pretrained on a large-scale source domain dataset and adapting that model to the target domain based on very limited target domain samples. Central to recent FSIG methods are knowledge preserving criteria, which aim to select a subset of source model's knowledge to be preserved into the adapted model. However, a major limitation of existing methods is that their knowledge preserving criteria consider only source domain/source task, and they fail to consider target domain/adaptation task in selecting source model's knowledge, casting doubt on their suitability for setups of different proximity between source and target domain. Our work makes two contributions. As our first contribution, we re-visit recent FSIG works and their experiments. Our important finding is that, under setups which assumption of close proximity between source and target domains is relaxed, existing state-of-the-art (SOTA) methods which consider only source domain/source task in knowledge preserving perform no better than a baseline fine-tuning method. To address the limitation of existing methods, as our second contribution, we propose Adaptation-Aware kernel Modulation (AdAM) to address general FSIG of different source-target domain proximity. Extensive experimental results show that the proposed method consistently achieves SOTA performance across source/target domains of different proximity, including challenging setups when source and target domains are more apart. Project Page: https://yunqing-me.github.io/AdAM/


title: Role of Magnetic Coupling in Photoluminescence Kinetics of Mn2+-doped ZnS Nanoplatelets

abstract: Mn2+-doped semiconductor nanocrystals with tuned location and concentration of Mn2+ ions can yield diverse coupling regimes, which can highly influence their optical properties such as emission wavelength and photoluminescence (PL) lifetime. However, investigation on the relationship between the Mn2+ concentration and the optical properties is still challenging because of the complex interactions of Mn2+ ions and the host and between the Mn2+ ions. Here, atomically flat ZnS nanoplatelets (NPLs) with uniform thickness were chosen as matrixes for Mn2+ doping. Using time-resolved (TR) PL spectroscopy and density functional theory (DFT) calculations, a connection between coupling and PL kinetics of Mn2+ ions was established. Moreover, it was found that the Mn2+ ions residing on the surface of a nanostructure produce emissive states and interfere with the change of properties by Mn2+/Mn2+ coupling. In a configuration with suppressed surface contribution to the optical response we show the underlying physical reasons for double and triple exponential decay by DFT methods. We believe that the presented doping strategy and simulation methodology of the Mn2+-doped ZnS system is a universal platform to study dopant location- and concentration-dependent properties also in other semiconductors.


title: iSmallNet: Densely Nested Network with Label Decoupling for Infrared Small Target Detection

abstract: Small targets are often submerged in cluttered backgrounds of infrared images. Conventional detectors tend to generate false alarms, while CNN-based detectors lose small targets in deep layers. To this end, we propose iSmallNet, a multi-stream densely nested network with label decoupling for infrared small object detection. On the one hand, to fully exploit the shape information of small targets, we decouple the original labeled ground-truth (GT) map into an interior map and a boundary one. The GT map, in collaboration with the two additional maps, tackles the unbalanced distribution of small object boundaries. On the other hand, two key modules are delicately designed and incorporated into the proposed network to boost the overall performance. First, to maintain small targets in deep layers, we develop a multi-scale nested interaction module to explore a wide range of context information. Second, we develop an interior-boundary fusion module to integrate multi-granularity information. Experiments on NUAA-SIRST and NUDT-SIRST clearly show the superiority of iSmallNet over 11 state-of-the-art detectors.


title: Structural Reconstruction in Lead-free Two-dimensional Tin Iodide Perovskites Leading to High Quantum Yield Emission

abstract: We report a structural reconstruction-induced high photoluminescence quantum yield of 25% in colloidal two-dimensional tin iodide nanosheets that are synthesized by a hot-injection method. The as-synthesized red-colored nanosheets of octylammonium tin iodide perovskites at room temperature transform to white hexagonal nanosheets upon washing or exposure to light. This structural change increases the bandgap from 2.0 eV to 3.0 eV, inducing a large Stokes shift and a broadband emission. Further, a long photoluminescence lifetime of about 1 microsecond is measured for the nanosheets. Such long-lived broad and intense photoluminescence with large Stokes shift is anticipated to originate from tin iodide clusters that are formed during the structural reconstruction. Stereoactive 5s2 lone pair of tin (II) ions perturbs the excited state geometry of the white hexagonal nanosheets and facilitates the formation of self-trapped excitons. Such broadband and intensely emitting metal halide nanosheets are promising for white light-emitting diodes.


title: On the distribution of individual causal effects of binary exposures using latent variable models

abstract: In recent years the field of causal inference from observational data has emerged rapidly. This literature has focused on (conditional) average causal effect estimation. When (remaining) variability of individual causal effects (ICEs) is considerable, average effects may be less informative, and possibly misleading for an individual. The fundamental problem of causal inference precludes the estimation of the joint distribution of potential outcomes without making assumptions, while this distribution is necessary to describe the heterogeneity of causal effects. In this paper, we describe these assumptions and present a family of flexible latent variable models that can be used to study individual effect modification and estimate the ICE distribution from cross-sectional data. We will also discuss how the distribution is affected by misspecification of the error distribution or ignoring possible confounding-effect heterogeneity. How latent variable models can be applied and validated in practice is illustrated in a case study on the effect of Hepatic Steatosis on a clinical precursor to heart failure. Assuming that there is (i) no unmeasured confounding and (ii) independence of the individual effect modifier and the potential outcome under no exposure, we conclude that the individual causal effect distribution deviates from Gaussian. We estimate that the `treatment' benefit rate in the population is 23.7% (95% Bayesian credible interval: 2.6%, 53.7%) despite a harming average effect.


title: Micromagnetic frequency-domain simulation methods for magnonic systems

abstract: We present efficient numerical methods for the simulation of small magnetization oscillations in three-dimensional micromagnetic systems. Magnetization dynamics is described by the Landau-Lifshitz-Gilbert (LLG) equation, linearized in the frequency domain around a generic equilibrium configuration, and formulated in a special operator form that allows leveraging large-scale techniques commonly used to evaluate the effective field in time-domain micromagnetic simulations. By using this formulation, we derive numerical algorithms to compute the free magnetization oscillations (i.e., spin wave eigenmodes) as well as magnetization oscillations driven by ac radio-frequency fields for arbitrarily shaped nanomagnets. Moreover, semi-analytical perturbation techniques based on the computation of a reduced set of eigenmodes are provided for fast evaluation of magnetization frequency response and absorption spectra as a function of damping and ac field. We present both finite difference and finite element implementations and demonstrate their effectiveness on a test case. These techniques open the possibility to study generic magnonic systems discretized with several hundred thousand (or even millions) of computational cells in a reasonably short time.


title: The isotropy group of the matrix multiplication tensor

abstract: By an {\em isotropy group} of a tensor $t\in V_1 \otimes V_2\otimes V_3=\widetilde V$ we mean the group of all invertible linear transformations of $\widetilde V$ that leave $t$ invariant and are compatible (in an obvious sense) with the structure of tensor product on~$\widetilde V$. We consider the case where $t$ is the structure tensor of multiplication map of rectangular matrices. The isotropy group of this tensor was studied in 1970s by de Groote, Strassen, and Brockett-Dobkin. In the present work we enlarge, make more precise, expose in the language of group actions on tensor spaces, and endow with proofs the results previously known. This is necessary for studying the algorithms of fast matrix multiplication admitting symmetries. The latter seems to be a promising new way for constructing fast algorithms.


title: Ultrahigh thermoelectric performance of Janus {\alpha}-STe2 and {\alpha}-SeTe2 monolayers

abstract: Combined with first-principles calculations and semiclassical Boltzmann transport theory, Janus {\alpha}-STe2 and {\alpha}-SeTe2 monolayers are investigated systematically. Janus {\alpha}-STe2 and {\alpha}-SeTe2 monolayers are indirect semiconductors with band gaps of 1.20 and 0.96 eV. It is found they possess ultrahigh figure of merit (ZT) values of 3.9 and 4.4 at 500 K, much higher than that of the pristine {\alpha}-Te monolayer (2.8). The higher ZT originates from Janus structures reduce lattice thermal conductivities remarkably compared with pristine {\alpha}-Te monolayer. The much higher phonon anharmonicity in Janus monolayers leads to significant lower lattice thermal conductivity. It is also found electronic thermal conductivity can play an important role in thermoelectric efficiency for the materials with quite low lattice thermal conductivity. This work suggests the potential applications of Janus {\alpha}-STe2 and {\alpha}-SeTe2 monolayers as thermoelectric materials and highlights Janus structure as an effective way to enhance thermoelectric performance.


title: DeFIX: Detecting and Fixing Failure Scenarios with Reinforcement Learning in Imitation Learning Based Autonomous Driving

abstract: Safely navigating through an urban environment without violating any traffic rules is a crucial performance target for reliable autonomous driving. In this paper, we present a Reinforcement Learning (RL) based methodology to DEtect and FIX (DeFIX) failures of an Imitation Learning (IL) agent by extracting infraction spots and re-constructing mini-scenarios on these infraction areas to train an RL agent for fixing the shortcomings of the IL approach. DeFIX is a continuous learning framework, where extraction of failure scenarios and training of RL agents are executed in an infinite loop. After each new policy is trained and added to the library of policies, a policy classifier method effectively decides on which policy to activate at each step during the evaluation. It is demonstrated that even with only one RL agent trained on failure scenario of an IL agent, DeFIX method is either competitive or does outperform state-of-the-art IL and RL based autonomous urban driving benchmarks. We trained and validated our approach on the most challenging map (Town05) of CARLA simulator which involves complex, realistic, and adversarial driving scenarios. The source code is publicly available at https://github.com/data-and-decision-lab/DeFIX


title: Ice Core Dating using Probabilistic Programming

abstract: Ice cores record crucial information about past climate. However, before ice core data can have scientific value, the chronology must be inferred by estimating the age as a function of depth. Under certain conditions, chemicals locked in the ice display quasi-periodic cycles that delineate annual layers. Manually counting these noisy seasonal patterns to infer the chronology can be an imperfect and time-consuming process, and does not capture uncertainty in a principled fashion. In addition, several ice cores may be collected from a region, introducing an aspect of spatial correlation between them. We present an exploration of the use of probabilistic models for automatic dating of ice cores, using probabilistic programming to showcase its use for prototyping, automatic inference and maintainability, and demonstrate common failure modes of these tools.


title: Linear Coding for Gaussian Two-Way Channels

abstract: We consider linear coding for Gaussian two-way channels (GTWCs), in which each user generates the transmit symbols by linearly encoding both its message and the past received symbols (i.e., the feedback information) from the other user. In Gaussian one-way channels (GOWCs), Butman has proposed a well-developed model for linear encoding that encapsulates feedback information into transmit signals. However, such a model for GTWCs has not been well studied since the coupling of the encoding processes at the users in GTWCs renders the encoding design non-trivial and challenging. In this paper, we aim to fill this gap in the literature by extending the existing signal models in GOWCs to GTWCs. With our developed signal model for GTWCs, we formulate an optimization problem to jointly design the encoding/decoding schemes for both the users, aiming to minimize the weighted sum of their transmit powers under signal-to-noise ratio constraints. First, we derive an optimal form of the linear decoding schemes under any arbitrary encoding schemes employed at the users. Further, we provide new insights on the encoding design for GTWCs. In particular, we show that it is optimal that one of the users (i) does not transmit the feedback information to the other user at the last channel use, and (ii) transmits its message only over the last channel use. With these solution behaviors, we further simplify the problem and solve it via an iterative two-way optimization scheme. We numerically demonstrate that our proposed scheme for GTWCs achieves a better performance in terms of the transmit power compared to the existing counterparts, such as the non-feedback scheme and one-way optimization scheme.


title: Extragalactic Peaked-Spectrum Radio Sources at Low-Frequencies are Young Radio Galaxies

abstract: We present a sample of 373 peaked-spectrum (PS) sources with spectral peaks around 150MHz, selected using a subset of two LOFAR all-sky surveys, the LOFAR Two Meter Sky Survey and the LOFAR LBA Sky Survey. These surveys are the most sensitive low-frequency widefield surveys to date, allowing us to select low-luminosity PS sources. Our sample increases the number of known PS sources in our survey area by a factor 50. The 5GHz luminosity distribution of our PS sample shows we sample the lowest luminosity PS sources to-date by nearly an order of magnitude. Since high-frequency PS sources and compact steep-spectrum sources are hypothesised to be the precursors to large radio galaxies, we investigate whether this is also the case for our sample of low-frequency PS sources. Using optical line emission criteria, we find that our PS sources are predominately high-excitation radio galaxies instead of low-excitation radio galaxies, corresponding to a quickly evolving population. We compute the radio source counts of our PS sample, and find they are scaled down by a factor of $\sim$40 compared to a general sample of radio-loud active galactic nuclei (AGN). This implies that the lifetimes of PS sources are 40 times shorter than large scale radio galaxies, if their luminosity functions are identical. To investigate this, we compute the first radio luminosity function for a homogeneously-selected PS sample. We find that for 144MHz luminosities $\gtrsim 10^{25}$W Hz$^{-1}$, the PS luminosity function has the same shape as an unresolved radio-loud AGN population but shifted down by a factor of $\sim$10. We interpret this as strong evidence that these high-luminosity PS sources evolve into large-scale radio-loud AGN. For local, low-luminosity PS sources, there is a surplus of PS sources, which we hypothesise to be the addition of frustrated PS sources that do not evolve into large-scale AGN.


title: On the specific energy and pressure in near-Earth magnetic clouds

abstract: The pressure and energy density of the gas and magnetic field inside solar coronal mass ejections (in relation to that in the ambient solar wind) is thought to play an important role in determining their dynamics as they propagate through the heliosphere. We compare the specific energy (${\rm erg\,g^{-1}}$) [comprising kinetic ($H_{\rm k}$), thermal ($H_{\rm th }$) and magnetic field ($H_{\rm mag}$) contributions] inside MCs and the solar wind background. We examine if the excess thermal + magnetic pressure and specific energy inside MCs (relative to the background) is correlated with their propagation and internal expansion speeds. We ask if the excess thermal + magnetic specific energy inside MCs might make them resemble rigid bodies in the context of aerodynamic drag. We use near-Earth in-situ data from the WIND spacecraft to identify a sample of 152 well observed interplanetary coronal mass ejections and their MC counterparts. We compute various metrics using these data to address our questions. We find that the total specific energy ($H$) inside MCs is approximately equal to that in the background solar wind. We find that the the excess (thermal + magnetic) pressure and specific energy are not well correlated with the near-Earth propagation and expansion speeds. We find that the excess thermal+magnetic specific energy $\gtrsim$ the specific kinetic energy of the solar wind incident on 81--89 \% of the MCs we study. This might explain how MCs retain their structural integrity and resist deformation by the solar wind bulk flow.


title: SearchTrack: Multiple Object Tracking with Object-Customized Search and Motion-Aware Features

abstract: The paper presents a new method, SearchTrack, for multiple object tracking and segmentation (MOTS). To address the association problem between detected objects, SearchTrack proposes object-customized search and motion-aware features. By maintaining a Kalman filter for each object, we encode the predicted motion into the motion-aware feature, which includes both motion and appearance cues. For each object, a customized fully convolutional search engine is created by SearchTrack by learning a set of weights for dynamic convolutions specific to the object. Experiments demonstrate that our SearchTrack method outperforms competitive methods on both MOTS and MOT tasks, particularly in terms of association accuracy. Our method achieves 71.5 HOTA (car) and 57.6 HOTA (pedestrian) on the KITTI MOTS and 53.4 HOTA on MOT17. In terms of association accuracy, our method achieves state-of-the-art performance among 2D online methods on the KITTI MOTS. Our code is available at https://github.com/qa276390/SearchTrack.


title: Mass Spectra and Regge Trajectories of $\Delta$ Baryons

abstract: In contrast to past studies, the current paper is focused on baryons, and all four isospin states have been independently generated using u and d quarks with various constituent masses. The hypercentral Constituent Quark Model (hCQM) serves as the theoretical foundation for computing the resonance masses. The spin-dependent and first order correction terms are added to the confining potential, which is assumed to be in linear form. The resulting results have been contrasted with a wide range of methodologies and experimentally practicable states. Regge trajectories for (n,M^2) and (J,M^2) have also been displayed in addition to mass spectra.


title: Boosting Monocular 3D Object Detection with Object-Centric Auxiliary Depth Supervision

abstract: Recent advances in monocular 3D detection leverage a depth estimation network explicitly as an intermediate stage of the 3D detection network. Depth map approaches yield more accurate depth to objects than other methods thanks to the depth estimation network trained on a large-scale dataset. However, depth map approaches can be limited by the accuracy of the depth map, and sequentially using two separated networks for depth estimation and 3D detection significantly increases computation cost and inference time. In this work, we propose a method to boost the RGB image-based 3D detector by jointly training the detection network with a depth prediction loss analogous to the depth estimation task. In this way, our 3D detection network can be supervised by more depth supervision from raw LiDAR points, which does not require any human annotation cost, to estimate accurate depth without explicitly predicting the depth map. Our novel object-centric depth prediction loss focuses on depth around foreground objects, which is important for 3D object detection, to leverage pixel-wise depth supervision in an object-centric manner. Our depth regression model is further trained to predict the uncertainty of depth to represent the 3D confidence of objects. To effectively train the 3D detector with raw LiDAR points and to enable end-to-end training, we revisit the regression target of 3D objects and design a network architecture. Extensive experiments on KITTI and nuScenes benchmarks show that our method can significantly boost the monocular image-based 3D detector to outperform depth map approaches while maintaining the real-time inference speed.


title: Self-Improving Safety Performance of Reinforcement Learning Based Driving with Black-Box Verification Algorithms

abstract: In this work, we propose a self-improving artificial intelligence system to enhance the safety performance of reinforcement learning (RL)-based autonomous driving (AD) agents using black-box verification methods. RL algorithms have become popular in AD applications in recent years. However, the performance of existing RL algorithms heavily depends on the diversity of training scenarios. A lack of safety-critical scenarios during the training phase could result in poor generalization performance in real-world driving applications. We propose a novel framework in which the weaknesses of the training set are explored through black-box verification methods. After discovering AD failure scenarios, the RL agent's training is re-initiated via transfer learning to improve the performance of previously unsafe scenarios. Simulation results demonstrate that our approach efficiently discovers safety failures of action decisions in RL-based adaptive cruise control (ACC) applications and significantly reduces the number of vehicle collisions through iterative applications of our method. The source code is publicly available at https://github.com/data-and-decision-lab/self-improving-RL.


title: Semilinear idempotent distributive l-monoids

abstract: We prove a representation theorem for totally ordered idempotent monoids via a nested sum construction. Using this representation theorem we obtain a characterization of the subdirectly irreducible members of the variety of semilinear idempotent distributive l-monoids and a proof that its lattice of subvarieties is countably infinite. For the variety of commutative idempotent distributive l-monoids we give an explicit description of its lattice of subvarieties and show that each of its subvarieties is finitely axiomatized. Finally we give a characterization of which spans of totally ordered idempotent monoids have an amalgam in the class of totally ordered monoids, showing in particular that the class of totally ordered commutative idempotent monoids has the strong amalgamation property and that various classes of distributive l-monoids do not have the amalgamation property. We also show that exactly seven non-trivial finitely generated subvarieties of the variety of semilinear idempotent distributive l-monoids have the amalgamation property; we are able to determine for all but three of its subvarieties whether they have the amalgamation property or not.


title: Lost Manuscripts and Extinct Texts: A Dynamic Model of Cultural Transmission

abstract: How did written works evolve, disappear or survive down through the ages? In this paper, we propose a unified, formal framework for two fundamental questions in the study of the transmission of texts: how much was lost or preserved from all works of the past, and why do their genealogies (their ``phylogenetic trees'') present the very peculiar shapes that we observe or, more precisely, reconstruct? We argue here that these questions share similarities to those encountered in evolutionary biology, and can be described in terms of ``genetic'' drift and ``natural'' selection. Through agent-based models, we show that such properties as have been observed by philologists since the 1800s can be simulated, and confronted to data gathered for ancient and medieval texts across Europe, in order to obtain plausible estimations of the number of works and manuscripts that existed and were lost.


title: Geometrical, topological and dynamical description of $\mathcal{N}$ interacting spin-$\mathtt{s}$ under long-range Ising model and their interplay with quantum entanglement

abstract: Comprehending the connections between the geometric, topological, and dynamical structures of integrable quantum systems with quantum phenomena exploitable in quantum information tasks, such as quantum entanglement, is a major problem in geometric information science. In this work we investigate these issues in a physical system of $\mathcal{N}$ interacting spin-$\mathtt{s}$ under long-range Ising model. We discover the relevant dynamics, identify the corresponding quantum phase space and we derive the associated Fubini-Study metric. Through the application of the Gauss-Bonnet theorem and the derivation of the Gaussian curvature, we have proved that the dynamics occurs on a spherical topology manifold. Afterwards, we analyze the gained geometrical phase under the arbitrary and cyclic evolution processes and solve the quantum brachistochrone problem by establishing the time-optimal evolution. Moreover, by narrowing the system to a two spin-$\mathtt{s}$ system, we explore the relevant entanglement from two different perspectives; The first is geometrical in nature and involves the investigation of the interplay between the entanglement degree and the geometrical structures, such as the Fubini-Study metric, the Gaussian curvature and the geometrical phase. The second is dynamical in nature and tackles the entanglement effect on the evolution speed and geodesic distance. Additionally, we resolve the quantum brachistochrone problem based on the entanglement degree.


title: INR-V: A Continuous Representation Space for Video-based Generative Tasks

abstract: Generating videos is a complex task that is accomplished by generating a set of temporally coherent images frame-by-frame. This limits the expressivity of videos to only image-based operations on the individual video frames needing network designs to obtain temporally coherent trajectories in the underlying image space. We propose INR-V, a video representation network that learns a continuous space for video-based generative tasks. INR-V parameterizes videos using implicit neural representations (INRs), a multi-layered perceptron that predicts an RGB value for each input pixel location of the video. The INR is predicted using a meta-network which is a hypernetwork trained on neural representations of multiple video instances. Later, the meta-network can be sampled to generate diverse novel videos enabling many downstream video-based generative tasks. Interestingly, we find that conditional regularization and progressive weight initialization play a crucial role in obtaining INR-V. The representation space learned by INR-V is more expressive than an image space showcasing many interesting properties not possible with the existing works. For instance, INR-V can smoothly interpolate intermediate videos between known video instances (such as intermediate identities, expressions, and poses in face videos). It can also in-paint missing portions in videos to recover temporally coherent full videos. In this work, we evaluate the space learned by INR-V on diverse generative tasks such as video interpolation, novel video generation, video inversion, and video inpainting against the existing baselines. INR-V significantly outperforms the baselines on several of these demonstrated tasks, clearly showcasing the potential of the proposed representation space.


title: GPC: A Pattern Calculus for Property Graphs

abstract: The development of practical query languages for graph databases runs well ahead of the underlying theory. The ISO committee in charge of database query languages is currently developing a new standard called Graph Query Language (GQL) as well as an extension of the SQL Standard for querying property graphs represented by a relational schema, called SQL/PGQ. The main component of both is the pattern matching facility, which is shared by the two standards. In many aspects, it goes well beyond RPQs, CRPQs, and similar queries on which the research community has focused for years. Our main contribution is to distill the lengthy standard specification into a simple Graph Pattern Calculus (GPC) that reflects all the key pattern matching features of GQL and SQL/PGQ, and at the same time lends itself to rigorous theoretical investigation. We describe the syntax and semantics of GPC, along with the typing rules that ensure its expressions are well-defined, and state some basic properties of the language. With this paper we provide the community a tool to embark on a study of query languages that will soon be widely adopted by industry.


title: Quantum Fisher kernel for mitigating the vanishing similarity issue

abstract: Quantum kernel method is a machine learning model exploiting quantum computers to calculate the quantum kernels (QKs) that measure the similarity between data. Despite the potential quantum advantage of the method, the commonly used fidelity-based QK suffers from a detrimental issue, which we call the vanishing similarity issue; detecting the difference between data becomes hard with the increase of the number of qubits, due to the exponential decrease of the expectation and the variance of the QK. This implies the need to design QKs alternative to the fidelity-based one. In this work, we propose a new class of QKs called the quantum Fisher kernels (QFKs) that take into account the geometric structure of the data source. We analytically and numerically demonstrate that the QFK based on the anti-symmetric logarithmic derivatives (ALDQFK) can avoid the issue when the alternating layered ansatzs (ALAs) are used, while the fidelity-based QK cannot even with the ALAs. Moreover, the Fourier analysis numerically elucidates that the ALDQFK can have expressivity comparable to that of the fidelity-based QK. These results indicate that the QFK paves the way for practical applications of quantum machine learning with possible quantum advantages.


title: Harmonics-assisted optical phase amplifier

abstract: The change in the relative phase between two light fields serves as a basic principle for the measurement of the physical quantity that guides this change. It would therefore be highly advantageous if the relative phase could be amplified to enhance the measurement resolution. One well-known method for phase amplification involves the use of the multi-photon number and path entangled state known as the NOON state; however, a high-number NOON state is very difficult to prepare and is highly sensitive to optical losses. Here we propose and experimentally demonstrate in principle a phase amplifier scheme with the assistance of a harmonic generation process. The relative phase difference between two polarization modes in a polarized interferometer is amplified coherently four times with cascaded second-harmonic generation processes. We demonstrate that these amplification processes can be recycled and therefore have the potential to realize much higher numbers of multiple amplification steps. The phase amplification method presented here shows considerable advantages over the method based on NOON states and will be highly promising for use in precision optical measurements.


title: In-Liquido Computation with Electrochemical Transistors and Mixed Conductors for Intelligent Bioelectronics

abstract: Next-generation implantable computational devices require long-term stable electronic components capable of operating in, and interacting with, electrolytic surroundings without being damaged. Organic electrochemical transistors (OECTs) emerged as fitting candidates. However, while single devices feature impressive figures of merit, integrated circuits (ICs) immersed in a common electrolytes are hard to realize using electrochemical transistors, and there is no clear path forward for optimal top-down circuit design and high-density integration. The simple observation that two OECTs immersed in the same electrolytic medium will inevitably interact hampers their implementation in complex circuitry. The electrolyte's ionic conductivity connects all the devices in the liquid, producing unwanted and often unforeseeable dynamics. Minimizing or harnessing this crosstalk has been the focus of very recent studies. In this Perspective, we discuss the main challenges, trends, and opportunities for realizing OECT-based circuitry in a liquid environment that could circumnavigate the hard limits of engineering and human physiology. We analyze the most successful approaches in autonomous bioelectronics and information processing. Elaborating on the strategies to circumvent and harness device crosstalk proves that platforms capable of complex computation and even machine learning can be realized in-liquido using mixed ionic-electronic conductors.


title: Interpretable CNN-Multilevel Attention Transformer for Rapid Recognition of Pneumonia from Chest X-Ray Images

abstract: Chest imaging plays an essential role in diagnosing and predicting patients with COVID-19 with evidence of worsening respiratory status. Many deep learning-based approaches for pneumonia recognition have been developed to enable computer-aided diagnosis. However, the long training and inference time makes them inflexible, and the lack of interpretability reduces their credibility in clinical medical practice. This paper aims to develop a pneumonia recognition framework with interpretability, which can understand the complex relationship between lung features and related diseases in chest X-ray (CXR) images to provide high-speed analytics support for medical practice. To reduce the computational complexity to accelerate the recognition process, a novel multi-level self-attention mechanism within Transformer has been proposed to accelerate convergence and emphasize the task-related feature regions. Moreover, a practical CXR image data augmentation has been adopted to address the scarcity of medical image data problems to boost the model's performance. The effectiveness of the proposed method has been demonstrated on the classic COVID-19 recognition task using the widespread pneumonia CXR image dataset. In addition, abundant ablation experiments validate the effectiveness and necessity of all of the components of the proposed method.


title: Gelfand-Fuchs cohomology for affine superspaces A^(n,1)

abstract: We study the cohomology of Lie superalgebra of vector fields on affine super-spaces $\mathbb{A}^{m,n}$ with trivial coefficients. Previously known results covered the classical case $\mathbb{A}^m = \mathbb{A}^{m,0}$ as well as the case $\mathbb{A}^{m,n}$ with $m \leq n$. In this paper we perform the computation for super-spaces $\mathbb{A}^{m,1}$.


title: NTULM: Enriching Social Media Text Representations with Non-Textual Units

abstract: On social media, additional context is often present in the form of annotations and meta-data such as the post's author, mentions, Hashtags, and hyperlinks. We refer to these annotations as Non-Textual Units (NTUs). We posit that NTUs provide social context beyond their textual semantics and leveraging these units can enrich social media text representations. In this work we construct an NTU-centric social heterogeneous network to co-embed NTUs. We then principally integrate these NTU embeddings into a large pretrained language model by fine-tuning with these additional units. This adds context to noisy short-text social media. Experiments show that utilizing NTU-augmented text representations significantly outperforms existing text-only baselines by 2-5\% relative points on many downstream tasks highlighting the importance of context to social media NLP. We also highlight that including NTU context into the initial layers of language model alongside text is better than using it after the text embedding is generated. Our work leads to the generation of holistic general purpose social media content embedding.


title: Relating Human Perception of Musicality to Prediction in a Predictive Coding Model

abstract: We explore the use of a neural network inspired by predictive coding for modeling human music perception. This network was developed based on the computational neuroscience theory of recurrent interactions in the hierarchical visual cortex. When trained with video data using self-supervised learning, the model manifests behaviors consistent with human visual illusions. Here, we adapt this network to model the hierarchical auditory system and investigate whether it will make similar choices to humans regarding the musicality of a set of random pitch sequences. When the model is trained with a large corpus of instrumental classical music and popular melodies rendered as mel spectrograms, it exhibits greater prediction errors for random pitch sequences that are rated less musical by human subjects. We found that the prediction error depends on the amount of information regarding the subsequent note, the pitch interval, and the temporal context. Our findings suggest that predictability is correlated with human perception of musicality and that a predictive coding neural network trained on music can be used to characterize the features and motifs contributing to human perception of music.


title: Some remarks about normal rings

abstract: We give a constructive proof that $R[X]$ is normal when $R$ is normal. We apply this result to an operation needed for studying the henselization of a local ring. Our proof is based on the case where $R$ is without zero divisors, which is more involved than the case where $R$ is an integral domain. We have to use a constructive deciphering technique that replaces the use of minimal primes (in classical mathematics) by suitable explicit localizations in a suitable tree.


title: Strong Lottery Ticket Hypothesis with $\varepsilon$--perturbation

abstract: The strong Lottery Ticket Hypothesis (LTH) claims the existence of a subnetwork in a sufficiently large, randomly initialized neural network that approximates some target neural network without the need of training. We extend the theoretical guarantee of the strong LTH literature to a scenario more similar to the original LTH, by generalizing the weight change in the pre-training step to some perturbation around initialization. In particular, we focus on the following open questions: By allowing an $\varepsilon$-scale perturbation on the random initial weights, can we reduce the over-parameterization requirement for the candidate network in the strong LTH? Furthermore, does the weight change by SGD coincide with a good set of such perturbation? We answer the first question by first extending the theoretical result on subset sum to allow perturbation on the candidates. Applying this result to the neural network setting, we show that such $\varepsilon$-perturbation reduces the over-parameterization requirement of the strong LTH. To answer the second question, we show via experiments that the perturbed weight achieved by the projected SGD shows better performance under the strong LTH pruning.


title: Track2Vec: fairness music recommendation with a GPU-free customizable-driven framework

abstract: Recommendation systems have illustrated the significant progress made in characterizing users' preferences based on their past behaviors. Despite the effectiveness of recommending accurately, there exist several factors that are essential but unexplored for evaluating various facets of recommendation systems, e.g., fairness, diversity, and limited resources. To address these issues, we propose Track2Vec, a GPU-free customizable-driven framework for fairness music recommendation. In order to take both accuracy and fairness into account, our solution consists of three modules, a customized fairness-aware groups for modeling different features based on configurable settings, a track representation learning module for learning better user embedding, and an ensemble module for ranking the recommendation results from different track representation learning modules. Moreover, inspired by TF-IDF which has been widely used in natural language processing, we introduce a metric called Miss Rate - Inverse Ground Truth Frequency (MR-ITF) to measure the fairness. Extensive experiments demonstrate that our model achieves a 4th price ranking in a GPU-free environment on the leaderboard in the EvalRS @ CIKM 2022 challenge, which is superior to the official baseline by about 200% in terms of the official scores. In addition, the ablation study illustrates the necessity of ensembling each group to acquire both accurate and fair recommendations.


title: DisenPOI: Disentangling Sequential and Geographical Influence for Point-of-Interest Recommendation

abstract: Point-of-Interest (POI) recommendation plays a vital role in various location-aware services. It has been observed that POI recommendation is driven by both sequential and geographical influences. However, since there is no annotated label of the dominant influence during recommendation, existing methods tend to entangle these two influences, which may lead to sub-optimal recommendation performance and poor interpretability. In this paper, we address the above challenge by proposing DisenPOI, a novel Disentangled dual-graph framework for POI recommendation, which jointly utilizes sequential and geographical relationships on two separate graphs and disentangles the two influences with self-supervision. The key novelty of our model compared with existing approaches is to extract disentangled representations of both sequential and geographical influences with contrastive learning. To be specific, we construct a geographical graph and a sequential graph based on the check-in sequence of a user. We tailor their propagation schemes to become sequence-/geo-aware to better capture the corresponding influences. Preference proxies are extracted from check-in sequence as pseudo labels for the two influences, which supervise the disentanglement via a contrastive loss. Extensive experiments on three datasets demonstrate the superiority of the proposed model.


title: Cram\'er-Rao Bound Minimization for IRS-Enabled Multiuser Integrated Sensing and Communication with Extended Target

abstract: This paper investigates an intelligent reflecting surface (IRS) enabled multiuser integrated sensing and communication (ISAC) system, which consists of one multi-antenna base station (BS), one IRS, multiple single-antenna communication users (CUs), and one extended target at the non-line-of-sight (NLoS) region of the BS. The IRS is deployed to not only assist the communication from the BS to the CUs, but also enable the BS's NLoS target sensing based on the echo signals from the BS-IRS-target-IRS-BS link. To provide full degrees of freedom for sensing, we suppose that the BS sends additional dedicated sensing signals combined with the information signals. Accordingly, we consider two types of CU receivers, namely Type-I and Type-II receivers, which do not have and have the capability of cancelling the interference from the sensing signals, respectively. Under this setup, we jointly optimize the transmit beamforming at the BS and the reflective beamforming at the IRS to minimize the Cram\'er-Rao bound (CRB) for estimating the target response matrix with respect to the IRS, subject to the minimum signal-to-interference-plus-noise ratio (SINR) constraints at the CUs and the maximum transmit power constraint at the BS. We present efficient algorithms to solve the highly non-convex SINR-constrained CRB minimization problems, by using the techniques of alternating optimization and semi-definite relaxation. Numerical results show that the proposed design achieves lower estimation CRB than other benchmark schemes, and the sensing signal interference pre-cancellation is beneficial when the number of CUs is greater than one.


title: T-duality building blocks for $\alpha'$ string corrections

abstract: T-duality has been shown to constrain the higher derivative corrections of string theory. We revisit the problem of understanding the T-duality constraints imposed on the $\alpha'$ corrections using the language of a torsionful connection. We find a convenient way to express the $O(d,d)$ invariants in terms of linear combinations of the metric and B-field for general $d$-dimensional torus compactifications, which we then use to revisit the heterotic and bosonic ten-dimensional string action at order $\alpha'$. We also comment on the four-point functions for corrections of order $\alpha'^3$ in the type II string.


title: Design of non-diagonal stiffness matrix for assembly task

abstract: Compliance control is an increasingly employed technique used in the robotic field. It is known that various mechanical properties can be reproduced depending on the design of the stiffness matrix, but the design theory that takes advantage of this high degree of design freedom has not been elucidated. This paper, therefore, discusses the non-diagonal elements of the stiffness matrix. We proposed a design method according to the conditions required for achieving stable motion. Additionally, we analyzed the displacement induced by the non-diagonal elements in response to an external force and found that to obtain stable contact with a symmetric matrix, the matrix should be positive definite, i.e., all eigenvalues must be positive, however its parameter design is complicated. In this study, we focused on the use of asymmetric matrices in compliance control and showed that the design of eigenvalues can be simplified by using a triangular matrix. This approach expands the range of the stiffness design and enhances the ability of the compliance control to induce motion. We conducted experiments using the stiffness matrix and confirmed that assembly could be achieved without complicated trajectory planning.