title: Enhanced piezoelectric response of AlN via alloying of transitional metals, and influence of type and distribution of transition metals

abstract: Aluminum nitride (AlN) is an important piezoelectric material for a wide range of applications, many efforts are devoted to improving its piezoelectric response by alloying with transition metals (TMs). In this paper, the influence of the type and distribution of TM on the piezoelectric response is discussed for the first time. TM0.0625Al0.9375N with twenty-eight different TMs are investigated, and most show higher values of piezoelectric strain modulus d33 than that of AlN. This is because the TM introduces weaker TM-N bonds and locates closer to the centre of three neighbouring N atoms. The location of TM is determined to be significantly correlated with its group number. Alloys of TMxAl1-xN (TM=Sc, Cr, Sr, Mo, Ru and Rh) with varying x are further studied. On basis of the cost of the TMs and piezoelectric performances, the alloy with Mo is more effective in enhancing d33. A high d33 of 12.3 times that of pure AlN is realized in a metastable configuration of Mo0.167Al0.833N. The distribution of Mo plays a key role in the piezoelectric performance. A higher d33 is more likely to appear in MoxAl1-xN with more Al sublayers containing Mo atoms and with fewer dimers of Mo atoms along the z-axis.


title: DINER: Disorder-Invariant Implicit Neural Representation

abstract: Implicit neural representation (INR) characterizes the attributes of a signal as a function of corresponding coordinates which emerges as a sharp weapon for solving inverse problems. However, the capacity of INR is limited by the spectral bias in the network training. In this paper, we find that such a frequency-related problem could be largely solved by re-arranging the coordinates of the input signal, for which we propose the disorder-invariant implicit neural representation (DINER) by augmenting a hash-table to a traditional INR backbone. Given discrete signals sharing the same histogram of attributes and different arrangement orders, the hash-table could project the coordinates into the same distribution for which the mapped signal can be better modeled using the subsequent INR network, leading to significantly alleviated spectral bias. Experiments not only reveal the generalization of the DINER for different INR backbones (MLP vs. SIREN) and various tasks (image/video representation, phase retrieval, and refractive index recovery) but also show the superiority over the state-of-the-art algorithms both in quality and speed.


title: A Graph-Based Customizable Handover Framework for LEO Satellite Networks

abstract: Future satellite networks are expected to have thousands of low Earth orbit (LEO) satellites orbiting Earth at very high speeds. User equipment (UE) communicating directly with LEO satellites will experience frequent handovers. Managing the handover process is complicated due to the high frequency of handovers and the availability of multiple LEO satellites as handover targets. In addition, as the status of the communication link between a UE and an LEO satellite varies in accordance with the visibility period of the satellite, initiating handovers at the right time will significantly affect the quality of service (QoS) of the communication provided. To address this problem, this work proposes a graph-based customizable handover framework that considers both the handover timing and target while selecting a handover sequence that maintains QoS. A time-based graph is designed where the vertices represent the satellites' instances over a certain period of time and the edges' weights are the customizable handover criteria (i.e., data rate and delay in this work). The appropriate sequence and timing of handovers that fulfill the required QoS are obtained by finding the shortest path in the graph. Discussion and simulations, which were conducted on the Starlink Phase I constellation, show the low complexity and performance advantages of the proposed handover framework.


title: A new light on the FKMM invariant and its consequences

abstract: "Quaternionic" vector bundles are the objects which describe the topological phases of quantum systems subjected to an odd time-reversal symmetry (class AII). In this work we prove that the FKMM invariant provides the correct fundamental characteristic class for the classification of "Quaternionic" vector bundles in dimension less than, or equal to three (low dimension). The new insight is provided by the interpretation of the FKMM invariant from the viewpoint of the Bredon equivariant cohomology. This fact, along with basic results in equivariant homotopy theory, allows us to achieve the expected result.


title: On the sound velocity bound in neutron stars

abstract: It has been suggested in the literature that the sound velocity of the nuclear matter $v_s$ violates the so-called sound velocity bound $v_s \le c/\sqrt{3}$ at high density, where $c$ is the speed of light. In this paper, we revisit this issue and confront the current measurements of mass, radius, and tidal deformability of neutron stars with $10^5$ different equations of state which are parametrized at low density and saturates the sound velocity bound beyond twice the saturation density where the equation of state has not been constrained yet, by which we can conservatively obtain the maximum mass of the neutron stars compatible both with the observed properties of neutron stars and the sound velocity bound. We find that majority of the models are eliminated by the incompatibility with the observations and, especially, the recently detected massive pulsar ($2.35\pm 0.17 M_\odot$) is hardly realized by our simulations. Our study strongly supports the violation of the sound velocity bound.


title: zk-PoT: Zero-Knowledge Proof of Traffic for Privacy Enabled Cooperative Perception

abstract: Cooperative perception is an essential and widely discussed application of connected automated vehicles. However, the authenticity of perception data is not ensured, because the vehicles cannot independently verify the event they did not see. Many methods, including trust-based (i.e., statistical) approaches and plausibility-based methods, have been proposed to determine data authenticity. However, these methods cannot verify data without a priori knowledge. In this study, a novel approach of constructing a self-proving data from the number plate of target vehicles was proposed. By regarding the pseudonym and number plate as a shared secret and letting multiple vehicles prove they know it independently, the data authenticity problem can be transformed to a cryptography problem that can be solved without trust or plausibility evaluations. Our work can be adapted to the existing works including ETSI/ISO ITS standards while maintaining backward compatibility. Analyses of common attacks and attacks specific to the proposed method reveal that most attacks can be prevented, whereas preventing some other attacks, such as collusion attacks, can be mitigated. Experiments based on realistic data set show that the rate of successful verification can achieve 70\% to 80\% at rush hours.


title: Brain Tumor Sequence Registration with Non-iterative Coarse-to-fine Networks and Dual Deep Supervision

abstract: In this study, we focus on brain tumor sequence registration between pre-operative and follow-up Magnetic Resonance Imaging (MRI) scans of brain glioma patients, in the context of Brain Tumor Sequence Registration challenge (BraTS-Reg 2022). Brain tumor registration is a fundamental requirement in brain image analysis for quantifying tumor changes. This is a challenging task due to large deformations and missing correspondences between pre-operative and follow-up scans. For this task, we adopt our recently proposed Non-Iterative Coarse-to-finE registration Networks (NICE-Net) - a deep learning-based method for coarse-to-fine registering images with large deformations. To overcome missing correspondences, we extend the NICE-Net by introducing dual deep supervision, where a deep self-supervised loss based on image similarity and a deep weakly-supervised loss based on manually annotated landmarks are deeply embedded into the NICE-Net. At the BraTS-Reg 2022, our method achieved a competitive result on the validation set (mean absolute error: 3.387) and placed 4th in the final testing phase (Score: 0.3544).


title: Chemo-dynamical substructure in the M31 inner halo globular clusters: Further evidence for a recent accretion event

abstract: Based upon a metallicity selection, we identify a significant sub-population of the inner halo globular clusters in the Andromeda Galaxy which we name the Dulais Structure. It is distinguished as a co-rotating group of 10-20 globular clusters which appear to be kinematically distinct from, and on average more metal-poor than, the majority of the inner halo population. Intriguingly, the orbital axis of this Dulais Structure is closely aligned with that of the younger accretion event recently identified using a sub-population of globular clusters in the outer halo of Andromeda, and this is strongly suggestive of a causal relationship between the two. If this connection is confirmed, a natural explanation for the kinematics of the globular clusters in the Dulais Structure is that they trace the accretion of a substantial progenitor (~10^11 Msun) into the halo of Andromeda during the last few billion years, that may have occurred as part of a larger group infall.


title: Characterizing a supernova's Standing Accretion Shock Instability with neutrinos and gravitational waves

abstract: We perform a novel multi-messenger analysis for the identification and parameter estimation of the Standing Accretion Shock Instability (SASI) in a core collapse supernova with neutrino and gravitational wave (GW) signals. In the neutrino channel, this method performs a likelihood ratio test for the presence of SASI in the frequency domain. For gravitational wave signals we process an event with a modified constrained likelihood method. Using simulated supernova signals, the properties of the Hyper-Kamiokande neutrino detector, and O3 LIGO Interferometric data, we produce the two-dimensional probability density function (PDF) of the SASI activity indicator and calculate the probability of detection $P_\mathrm{D}$ as well as the false identification probability $P_\mathrm{FI}$. We discuss the probability to establish the presence of the SASI as a function of the source distance in each observational channel, as well as jointly. Compared to a single-messenger approach, the joint analysis results in $P_\mathrm{D}$ (at $P_\mathrm{FI}=0.1$) of SASI activities that is larger by up to $\approx~40\%$ for a distance to the supernova of 5 kpc. We also discuss how accurately the frequency and duration of the SASI activity can be estimated in each channel separately. Our methodology is suitable for implementation in a realistic data analysis and a multi-messenger setting.


title: Machine learning building-block-flow wall model for large-eddy simulation

abstract: A wall model for large-eddy simulation (LES) is proposed by devising the flow as a combination of building blocks. The core assumption of the model is that a finite set of simple canonical flows contains the essential physics to predict the wall-shear stress in more complex scenarios. The model is constructed to predict zero/favourable/adverse mean pressure gradient wall turbulence, separation, statistically unsteady turbulence with mean flow three-dimensionality, and laminar flow. The approach is implemented using two types of artificial neural networks: a classifier, which identifies the contribution of each building block in the flow, and a predictor, which estimates the wall-shear stress via combination of the building-block flows. The training data are directly obtained from wall-modelled LES (WMLES) optimised to reproduce the correct mean quantities. This approach guarantees the consistency of the training data with the numerical discretisation and the gridding strategy of the flow solver. The output of the model is accompanied by a confidence score in the prediction that aids the detection of regions where the model underperforms. The model is validated in canonical flows (e.g. laminar/turbulent boundary layers, turbulent channels, turbulent Poiseuille-Couette flow, turbulent pipe) and two realistic aircraft configurations: the NASA Common Research Model High-lift and NASA Juncture Flow experiment. It is shown that the building-block-flow wall model outperforms (or matches) the predictions by an equilibrium wall model. It is also concluded that further improvements in WMLES should incorporate advances in subgrid-scale modelling to minimise error propagation to the wall model.


title: Fast Fingerprinting of Cloud-based NISQ Quantum Computers

abstract: Cloud-based quantum computers have become a reality with a number of companies allowing for cloud-based access to their machines with tens to more than 100 qubits. With easy access to quantum computers, quantum information processing will potentially revolutionize computation, and superconducting transmon-based quantum computers are among some of the more promising devices available. Cloud service providers today host a variety of these and other prototype quantum computers with highly diverse device properties, sizes, and performances. The variation that exists in today's quantum computers, even among those of the same underlying hardware, motivate the study of how one device can be clearly differentiated and identified from the next. As a case study, this work focuses on the properties of 25 IBM superconducting, fixed-frequency transmon-based quantum computers that range in age from a few months to approximately 2.5 years. Through the analysis of current and historical quantum computer calibration data, this work uncovers key features within the machines that can serve as basis for unique hardware fingerprint of each quantum computer. This work demonstrates a new and fast method to reliably fingerprint cloud-based quantum computers based on unique frequency characteristics of transmon qubits. Both enrollment and recall operations are very fast as fingerprint data can be generated with minimal executions on the quantum machine. The qubit frequency-based fingerprints also have excellent inter-device separation and intra-device stability.


title: ET-AL: Entropy-Targeted Active Learning for Bias Mitigation in Materials Data

abstract: Growing materials data and data-driven informatics drastically promote the discovery and design of materials. While there are significant advancements in data-driven models, the quality of data resources is less studied despite its huge impact on model performance. In this work, we focus on data bias arising from uneven coverage of materials families in existing knowledge. Observing different diversities among crystal systems in common materials databases, we propose an information entropy-based metric for measuring this bias. To mitigate the bias, we develop an entropy-targeted active learning (ET-AL) framework, which guides the acquisition of new data to improve the diversity of underrepresented crystal systems. We demonstrate the capability of ET-AL for bias mitigation and the resulting improvement in downstream machine learning models. This approach is broadly applicable to data-driven materials discovery, including autonomous data acquisition and dataset trimming to reduce bias, as well as data-driven informatics in other scientific domains.


title: Explainable Action Advising for Multi-Agent Reinforcement Learning

abstract: Action advising is a knowledge transfer technique for reinforcement learning based on the teacher-student paradigm. An expert teacher provides advice to a student during training in order to improve the student's sample efficiency and policy performance. Such advice is commonly given in the form of state-action pairs. However, it makes it difficult for the student to reason with and apply to novel states. We introduce Explainable Action Advising, in which the teacher provides action advice as well as associated explanations indicating why the action was chosen. This allows the student to self-reflect on what it has learned, enabling advice generalization and leading to improved sample efficiency and learning performance - even in environments where the teacher is sub-optimal. We empirically show that our framework is effective in both single-agent and multi-agent scenarios, yielding improved policy returns and convergence rates when compared to state-of-the-art methods


title: Inner Habitable Zone Boundary for Eccentric Exoplanets

abstract: The climate of a planet can be strongly affected by its eccentricity due to variations in the stellar flux. There are two limits for the dependence of the inner habitable zone boundary (IHZ) on eccentricity: (1) the mean-stellar flux approximation ($S_{\mbox{IHZ}} \propto \sqrt{1-e^2}$), in which the temperature is approximately constant throughout the orbit, and (2) the maximum-stellar flux approximation ($S_{\mbox{IHZ}} \propto (1-e)^2$), in which the temperature adjusts instantaneously to the stellar flux. Which limit is appropriate is determined by the dimensionless parameter $\Pi = \frac{C}{BP}$, where $C$ is the heat capacity of the planet, $P$ is the orbital period, and $B=\frac{\partial \Omega}{\partial T_s}$, where $\Omega$ is the outgoing longwave radiation and $T_s$ is the surface temperature. We use the Buckingham $\Pi$ theorem to derive an analytical function for the IHZ in terms of eccentricity and $\Pi$. We then build a time-dependent energy balance model to resolve the surface temperature evolution and constrain our analytical result. We find that $\Pi$ must be greater than about $\sim 1$ for the mean-stellar flux approximation to be nearly exact and less than about $\sim 0.01$ for the maximum-stellar flux approximation to be nearly exact. In addition to assuming a constant heat capacity, we also consider the effective heat capacity including latent heat (evaporation and precipitation). We find that for planets with an Earth-like ocean, the IHZ should follow the mean-stellar flux limit for all eccentricities. This work will aid in the prioritization of potentially habitable exoplanets with non-zero eccentricity for follow-up characterization.


title: Estimating and detecting random processes on the unit circle

abstract: The problem of detecting a sinusoidal signal with randomly varying frequency has a long history. It is one of the core problems in signal processing, arising in many applications including, for example, underwater acoustic frequency line tracking, demodulation of FM radio communications, laser phase drift in optical communications and, recently, continuous gravitational wave astronomy. In this paper we describe a Markov Chain Monte Carlo based procedure to compute a specific detection posterior density. We demonstrate via simulation that our approach results in an up to $25$ percent higher detection rate than Hidden Markov Model based solutions, which are generally considered to be the leading techniques for these problems.


title: Using Human Perception to Regularize Transfer Learning

abstract: Recent trends in the machine learning community show that models with fidelity toward human perceptual measurements perform strongly on vision tasks. Likewise, human behavioral measurements have been used to regularize model performance. But can we transfer latent knowledge gained from this across different learning objectives? In this work, we introduce PERCEP-TL (Perceptual Transfer Learning), a methodology for improving transfer learning with the regularization power of psychophysical labels in models. We demonstrate which models are affected the most by perceptual transfer learning and find that models with high behavioral fidelity -- including vision transformers -- improve the most from this regularization by as much as 1.9\% Top@1 accuracy points. These findings suggest that biologically inspired learning agents can benefit from human behavioral measurements as regularizers and psychophysical learned representations can be transferred to independent evaluation tasks.


title: A Survey for Efficient Open Domain Question Answering

abstract: Open domain question answering (ODQA) is a longstanding task aimed at answering factual questions from a large knowledge corpus without any explicit evidence in natural language processing (NLP). Recent works have predominantly focused on improving the answering accuracy and achieved promising progress. However, higher accuracy often comes with more memory consumption and inference latency, which might not necessarily be efficient enough for direct deployment in the real world. Thus, a trade-off between accuracy, memory consumption and processing speed is pursued. In this paper, we provide a survey of recent advances in the efficiency of ODQA models. We walk through the ODQA models and conclude the core techniques on efficiency. Quantitative analysis on memory cost, processing speed, accuracy and overall comparison are given. We hope that this work would keep interested scholars informed of the advances and open challenges in ODQA efficiency research, and thus contribute to the further development of ODQA efficiency.


title: A Framework for Mutual Information-based MIMO Integrated Sensing and Communication Beamforming Design

abstract: Integrated sensing and communication (ISAC) unifies sensing and communication, and improves the efficiency of the spectrum, energy, and hardware. In this work, we investigate the ISAC beamforming design to maximize the mutual information between the target response matrix of a point radar target and the echo signals, while ensuring the data rate requirements of the communication users. In order to study the impact of the echo interference caused by communication users on sensing performance, we study two scenarios: a single communication user and multiple communication users. For the case of a single communication user, we consider three types of echo interference, no interference, a point interference, and an extended interference. For the case of multiple communication users, the interference is also an extended one, and furthermore, each user's communication rate requirement needs to be satisfied. To find the optimal beamforming design in these problems, we provide a closed-form solution with low complexiy, a semidefinite relaxation (SDR) method, a low-complexity algorithm based on the Majorization-Minimization (MM) method and the successive convex approximation (SCA) method, and an algorithm based on MM method and SCA method, respectively. Numerical results demonstrate that, compared to the ISAC beamforming schemes based on the Cram\'er-Rao bound (CRB) metric and the beampattern metric, the proposed mutual information metric can bring better beampattern and root mean square error (RMSE) of angle estimation. Furthermore, our proposed schemes designed based on the mutual information metric can suppress the echo interference from the communication users effectively.


title: Partially Observable Discrete-time Discounted Markov Games with General Utility

abstract: In this paper, we investigate a partially observable zero sum games where the state process is a discrete time Markov chain. We consider a general utility function in the optimization criterion. We show the existence of value for both finite and infinite horizon games and also establish the existence of optimal polices. The main step involves converting the partially observable game into a completely observable game which also keeps track of the total discounted accumulated reward/cost.


title: Pretraining ECG Data with Adversarial Masking Improves Model Generalizability for Data-Scarce Tasks

abstract: Medical datasets often face the problem of data scarcity, as ground truth labels must be generated by medical professionals. One mitigation strategy is to pretrain deep learning models on large, unlabelled datasets with self-supervised learning (SSL). Data augmentations are essential for improving the generalizability of SSL-trained models, but they are typically handcrafted and tuned manually. We use an adversarial model to generate masks as augmentations for 12-lead electrocardiogram (ECG) data, where masks learn to occlude diagnostically-relevant regions of the ECGs. Compared to random augmentations, adversarial masking reaches better accuracy when transferring to to two diverse downstream objectives: arrhythmia classification and gender classification. Compared to a state-of-art ECG augmentation method 3KG, adversarial masking performs better in data-scarce regimes, demonstrating the generalizability of our model.


title: Autoencoding Galaxy Spectra I: Architecture

abstract: We introduce the neural network architecture SPENDER as a core differentiable building block for analyzing, representing, and creating galaxy spectra. It combines a convolutional encoder, which pays attention to up to 256 spectral features and compresses them into a low-dimensional latent space, with a decoder that generates a restframe representation, whose spectral range and resolution exceeds that of the observing instrument. The decoder is followed by explicit redshift, resampling, and convolution transformations to match the observations. The architecture takes galaxy spectra at arbitrary redshifts and is robust to glitches like residuals of the skyline subtraction, so that spectra from a large survey can be ingested directly without additional preprocessing. We demonstrate the performance of SPENDER by training on the entire spectroscopic galaxy sample of SDSS-II; show its ability to create highly accurate reconstructions with substantially reduced noise; perform deconvolution and oversampling for a super-resolution model that resolves the [OII] doublet; introduce a novel method to interpret attention weights as proxies for important spectral features; and infer the main degrees of freedom represented in the latent space. We conclude with a discussion of future improvements and applications.


title: Feedback Chain Network For Hippocampus Segmentation

abstract: The hippocampus plays a vital role in the diagnosis and treatment of many neurological disorders. Recent years, deep learning technology has made great progress in the field of medical image segmentation, and the performance of related tasks has been constantly refreshed. In this paper, we focus on the hippocampus segmentation task and propose a novel hierarchical feedback chain network. The feedback chain structure unit learns deeper and wider feature representation of each encoder layer through the hierarchical feature aggregation feedback chains, and achieves feature selection and feedback through the feature handover attention module. Then, we embed a global pyramid attention unit between the feature encoder and the decoder to further modify the encoder features, including the pair-wise pyramid attention module for achieving adjacent attention interaction and the global context modeling module for capturing the long-range knowledge. The proposed approach achieves state-of-the-art performance on three publicly available datasets, compared with existing hippocampus segmentation approaches.


title: Pulse shape discrimination using a convolutional neural network for organic liquid scintillator signals

abstract: A convolutional neural network (CNN) architecture is developed to improve the pulse shape discrimination (PSD) power of the gadolinium-loaded organic liquid scintillation detector to reduce the fast neutron background in the inverse beta decay candidate events of the NEOS-II data. A power spectrum of an event is constructed using a fast Fourier transform of the time domain raw waveforms and put into CNN. An early data set is evaluated by CNN after it is trained using low energy $\beta$ and $\alpha$ events. The signal-to-background ratio averaged over 1-10 MeV visible energy range is enhanced by more than 20% in the result of the CNN method compared to that of an existing conventional PSD method, and the improvement is even higher in the low energy region.


title: Federated Learning for Healthcare Domain - Pipeline, Applications and Challenges

abstract: Federated learning is the process of developing machine learning models over datasets distributed across data centers such as hospitals, clinical research labs, and mobile devices while preventing data leakage. This survey examines previous research and studies on federated learning in the healthcare sector across a range of use cases and applications. Our survey shows what challenges, methods, and applications a practitioner should be aware of in the topic of federated learning. This paper aims to lay out existing research and list the possibilities of federated learning for healthcare industries.


title: Accelerating self-consistent field iterations in Kohn-Sham density functional theory using a low rank approximation of the dielectric matrix

abstract: We present an efficient preconditioning technique for accelerating the fixed point iteration in real-space Kohn-Sham density functional theory (DFT) calculations. The preconditioner uses a low rank approximation of the dielectric matrix (LRDM) based on G\^ateaux derivatives of the residual of fixed point iteration along appropriately chosen direction functions. We develop a computationally efficient method to evaluate these G\^ateaux derivatives in conjunction with the Chebyshev filtered subspace iteration procedure, an approach widely used in large-scale Kohn-Sham DFT calculations. Further, we propose a variant of LRDM preconditioner based on adaptive accumulation of low-rank approximations from previous SCF iterations, and also extend the LRDM preconditioner to spin-polarized Kohn-Sham DFT calculations. We demonstrate the robustness and efficiency of the LRDM preconditioner against other widely used preconditioners on a range of benchmark systems with sizes ranging from $\sim$ 100-1100 atoms ($\sim$ 500--20,000 electrons). The benchmark systems include various combinations of metal-insulating-semiconducting heterogeneous material systems, nanoparticles with localized $d$ orbitals near the Fermi energy, nanofilm with metal dopants, and magnetic systems. In all benchmark systems, the LRDM preconditioner converges robustly within 20--30 iterations. In contrast, other widely used preconditioners show slow convergence in many cases, as well as divergence of the fixed point iteration in some cases. Finally, we demonstrate the computational efficiency afforded by the LRDM method, with up to 3.4$\times$ reduction in computational cost for the total ground-state calculation compared to other preconditioners.


title: Electron paramagnetic resonance of n-type silicon and germanium for applications in 3D thermometry

abstract: While several 2D thermometry techniques exist, there is a lack of 3D thermometry techniques that work for wide range of materials and offer good resolution in time, space and temperature. X-ray diffraction (XRD) and nuclear magnetic resonance (NMR) imaging can provide 3D temperature information. However, XRD is typically limited to crystalline materials while NMR is largely limited to liquids where the resonance lines are narrow. We investigate electron paramagnetic resonance (EPR) of n-type silicon and germanium for 3D thermometry. While in germanium the EPR linewidths are too broad, EPR linewidths in silicon are reasonably narrow and exhibit a strong temperature dependence. The temperature dependence of the spin-lattice relaxation rate (1/T1) of conduction electrons in n-type Si for low dopant concentrations follows a T^3 law due to phonon broadening. For heavily doped Si, which is desirable for good signal to noise ratio (SNR) for application in thermometry, impurity scattering is expected to decrease the temperature dependence of 1/T1. Our results show, in heavily doped n-type Si, spin-lattice relaxation induced by impurity scattering does not drastically decrease the temperature dependence of EPR linewidths. In P-doped Si with donor concentration of 7 x 10^18 /cm^3, the EPR linewidth has a T^(5/2) temperature dependence; the temperature dependence decreases to T^(3/2) when the donor concentration is 7 x 10^19 /cm^3. While the temperature dependence of linewidth decreases for heavier doping, EPR linewidth is still a sensitive thermometer. We define a figure of merit for SNR for thermometry from EPR linewidths of n-type Si and observe that increasing the doping results in a better SNR. Using effective medium theory, we show that EPR linewidth can be a sensitive thermometer for application in 3D thermometry with systems embedding microparticles of heavily doped n-type Si.


title: A Probabilistic Proof of the nCPA to CCA Bound

abstract: We provide a new proof of Maurer, Renard, and Pietzak's result that the sum of the nCPA advantages of random permutations $P$ and $Q$ bound the CCA advantage of $P^{-1} \circ Q$. Our proof uses probability directly, as opposed to information theory, and has the advantage of providing an alternate sufficient condition of low CCA advantage. Namely, the CCA advantage of a random permutation can be bounded by its separation distance from the uniform distribution. We use this alternate condition to tighten the best known bound on the security of the swap-or-not shuffle in the special case of having fewer queries than the square root of the number of cards.


title: Notes on Aharoni's rainbow cycle conjecture

abstract: In 2017, Ron Aharoni made the following conjecture about rainbow cycles in edge-coloured graphs: If $G$ is an $n$-vertex graph whose edges are coloured with $n$ colours and each colour class has size at least $r$, then $G$ contains a rainbow cycle of length at most $\lceil \frac{n}{r} \rceil$. One motivation for studying Aharoni's conjecture is that it is a strengthening of the Caccetta-H\"aggkvist conjecture on digraphs from 1978. In this article, we present a survey of Aharoni's conjecture, including many recent partial results and related conjectures. We also present two new results. Our main new result is for the $r=3$ case of Aharoni's conjecture. We prove that if $G$ is an $n$-vertex graph whose edges are coloured with $n$ colours and each colour class has size at least 3, then $G$ contains a rainbow cycle of length at most $\frac{4n}{9}+7$. We also discuss how our approach might generalise to larger values of $r$.


title: Learning-Augmented Model-Based Planning for Visual Exploration

abstract: We consider the problem of time-limited robotic exploration in previously unseen environments where exploration is limited by a predefined amount of time. We propose a novel exploration approach using learning-augmented model-based planning. We generate a set of subgoals associated with frontiers on the current map and derive a Bellman Equation for exploration with these subgoals. Visual sensing and advances in semantic mapping of indoor scenes are exploited for training a deep convolutional neural network to estimate properties associated with each frontier: the expected unobserved area beyond the frontier and the expected timesteps (discretized actions) required to explore it. The proposed model-based planner is guaranteed to explore the whole scene if time permits. We thoroughly evaluate our approach on a large-scale pseudo-realistic indoor dataset (Matterport3D) with the Habitat simulator. We compare our approach with classical and more recent RL-based exploration methods. Our approach surpasses the greedy strategies by 2.1% and the RL-based exploration methods by 8.4% in terms of coverage.


title: A Low-Mass Pre-Main-Sequence Eclipsing Binary in Lower Centaurus Crux Discovered with TESS

abstract: We report the discovery of 2M1222-57 as a low-mass, pre-main-sequence (PMS) eclipsing binary (EB) in the Lower Centaurus Crux (LCC) association for which, using Gaia parallaxes and proper motions with a neural-net age estimator, we determine an age of 16.2$\pm$2.2 Myr. The broadband spectral energy distribution (SED) shows clear excess at ~10 um indicative of a circumbinary disk, and new speckle-imaging observations reveal a faint, tertiary companion separated by ~100 AU. H-alpha emission is modulated on the orbital period, consistent with theoretical models of orbitally pulsed accretion streams reaching from the inner disk edge to the central stars. From a joint analysis of spectroscopically determined radial velocities and TESS light curves, together with additional tight constraints provided by the SED and the Gaia parallax, we measure masses for the eclipsing stars of 0.74 Msun and 0.67 Msun; radii of 0.98 Rsun and 0.94 Rsun; and effective temperatures of 3750 K and 3645 K. The masses and radii of both stars are measured to an accuracy of ~1%. The measured radii are inflated, and the temperatures suppressed, relative to predictions of standard PMS evolutionary models at the age of LCC; also, the Li abundances are ~2 dex less depleted than predicted by those models. However, models that account for the global and internal effects of surface magnetic fields are able to simultaneously reproduce the measured radii, temperatures, and Li abundances at an age of 17.0$\pm$0.5 Myr. Altogether, the 2M1222-57 system presents very strong evidence that magnetic activity in young stars alters both their global properties and the physics of their interiors.


title: Parameterized Inapproximability of the Minimum Distance Problem over all Fields and the Shortest Vector Problem in all $\ell_p$ Norms

abstract: We prove that the Minimum Distance Problem (MDP) on linear codes over any fixed finite field and parameterized by the input distance bound is W[1]-hard to approximate within any constant factor. We also prove analogous results for the parameterized Shortest Vector Problem (SVP) on integer lattices. Specifically, we prove that SVP in the $\ell_p$ norm is W[1]-hard to approximate within any constant factor for any fixed $p >1$ and W[1]-hard to approximate within a factor approaching $2$ for $p=1$. (We show hardness under randomized reductions in each case.) These results answer the main questions left open (and explicitly posed) by Bhattacharyya, Bonnet, Egri, Ghoshal, Karthik C. S., Lin, Manurangsi, and Marx (Journal of the ACM, 2021) on the complexity of parameterized MDP and SVP. For MDP, they established similar hardness for binary linear codes and left the case of general fields open. For SVP in $\ell_p$ norms with $p > 1$, they showed inapproximability within some constant factor (depending on $p$) and left open showing such hardness for arbitrary constant factors. They also left open showing W[1]-hardness even of exact SVP in the $\ell_1$ norm.


title: Acoustic waves in the Jovian dusty magnetosphere: A brief review and meta-analysis

abstract: The omnipresence of dust particulates in space and astrophysical plasmas has been attracting numerous researchers to study the collective excitation and propagation dynamics of different eigen-mode structures in diversifed astrocosmic circumstances for years. It includes planetary rings, interplanetary space, cometary tails, asteroid zones, planetary atmospheres, etc. The ubiquitous charged dust particulates possess collective degrees of dynamic freedom resulting in the excitation of relatively low-frequency modes, such as dust-ion-acoustic waves (DIAWs), dust-acoustic waves (DAWs), dust-Coulomb waves (DCWs), and so forth. An interesting prevalency of dusty plasma stability research lies in the Jovian magnetosphere (i.e., Jovian plasmas), embedded inside the supersonic solar wind. A brief review of the updated research works on dust-acoustic waves and related collective instability dynamics in the presence of trapped plasma particles is presented herein. The key aim of the proposed explorative meta-analysis is rooted in outlining concisely the main up-to-date investigations on such collective instability processes chronologically. An especial attention is given primarily to the thermostatistical distribution laws of the constitutive lighter electrons and ions against the heavier positively charged dust grains (microspheres). The trapping mechanism of both the lighter species (electrons+ions) is another additive feature revisited here properly. Finally, we clearly extrapolate a number of futuristic directions in light of sensible novelties with a wider scope, both horizontally as well as vertically.


title: Byzantine Spectral Ranking

abstract: We study the problem of rank aggregation where the goal is to obtain a global ranking by aggregating pair-wise comparisons of voters over a set of items. We consider an adversarial setting where the voters are partitioned into two sets. The first set votes in a stochastic manner according to the popular score-based Bradley-Terry-Luce (BTL) model for pairwise comparisons. The second set comprises malicious Byzantine voters trying to deteriorate the ranking. We consider a strongly-adversarial scenario where the Byzantine voters know the BTL scores, the votes of the good voters, the algorithm, and can collude with each other. We first show that the popular spectral ranking based Rank-Centrality algorithm, though optimal for the BTL model, does not perform well even when a small constant fraction of the voters are Byzantine. We introduce the Byzantine Spectral Ranking Algorithm (and a faster variant of it), which produces a reliable ranking when the number of good voters exceeds the number of Byzantine voters. We show that no algorithm can produce a satisfactory ranking with probability > 1/2 for all BTL weights when there are more Byzantine voters than good voters, showing that our algorithm works for all possible population fractions. We support our theoretical results with experimental results on synthetic and real datasets to demonstrate the failure of the Rank-Centrality algorithm under several adversarial scenarios and how the proposed Byzantine Spectral Ranking algorithm is robust in obtaining good rankings.


title: Identification and Auto-debiased Machine Learning for Outcome Conditioned Average Structural Derivatives

abstract: This paper proposes a new class of heterogeneous causal quantities, named \textit{outcome conditioned} average structural derivatives (OASD) in a general nonseparable model. OASD is the average partial effect of a marginal change in a continuous treatment on the individuals located at different parts of the outcome distribution, irrespective of individuals' characteristics. OASD combines both features of ATE and QTE: it is interpreted as straightforwardly as ATE while at the same time more granular than ATE by breaking the entire population up according to the rank of the outcome distribution. One contribution of this paper is that we establish some close relationships between the \textit{outcome conditioned average partial effects} and a class of parameters measuring the effect of counterfactually changing the distribution of a single covariate on the unconditional outcome quantiles. By exploiting such relationship, we can obtain root-$n$ consistent estimator and calculate the semi-parametric efficiency bound for these counterfactual effect parameters. We illustrate this point by two examples: equivalence between OASD and the unconditional partial quantile effect (Firpo et al. (2009)), and equivalence between the marginal partial distribution policy effect (Rothe (2012)) and a corresponding outcome conditioned parameter. Because identification of OASD is attained under a conditional exogeneity assumption, by controlling for a rich information about covariates, a researcher may ideally use high-dimensional controls in data. We propose for OASD a novel automatic debiased machine learning estimator, and present asymptotic statistical guarantees for it. We prove our estimator is root-$n$ consistent, asymptotically normal, and semiparametrically efficient. We also prove the validity of the bootstrap procedure for uniform inference on the OASD process.


title: Fick-Jacobs description and first passage dynamics for diffusion in a channel under stochastic resetting

abstract: Transport of particles through channels is of paramount importance in physics, chemistry and surface science due to its broad real world applications. Much insights can be gained by observing the transition paths of a particle through a channel and collecting statistics on the lifetimes in the channel or the escape probabilities from the channel. In this paper, we consider the diffusive transport through a narrow conical channel of a Brownian particle subject to intermittent dynamics, namely, stochastic resetting. As such, resetting brings the particle back to a desired location from where it resumes its diffusive phase. To this end, we extend the Fick-Jacobs theory of channel-facilitated diffusive transport to resetting-induced transport. Exact expressions for the conditional mean first passage times, escape probabilities and the total average lifetime in the channel are obtained, and their behaviour as a function of the resetting rate are highlighted. It is shown that resetting can expedite the transport through the channel -- rigorous constraints for such conditions are then illustrated. Furthermore, we observe that a carefully chosen resetting rate can render the average lifetime of the particle inside the channel minimal. Interestingly, the optimal rate undergoes continuous and discontinuous transitions as some relevant system parameters are varied. The validity of our one-dimensional analysis and the corresponding theoretical predictions are supported by three-dimensional Brownian dynamics simulations. We thus believe that resetting can be useful to facilitate particle transport across biological membranes -- a phenomena that can spearhead further theoretical and experimental studies.


title: The structures of pointwise recurrent quasi-graph maps

abstract: We show that a continuous map $f$ from a quasi-graph $G$ to itself is pointwise recurrent if and only if one of the following two statements holds: (1) $X$ is a simple closed curve and $f$ is topologically conjugate to an irrational rotation on the unit circle $\mathbb S^1$; (2) $f$ is a perodic homeomorphism.


title: Hierarchical Phrase-based Sequence-to-Sequence Learning

abstract: We describe a neural transducer that maintains the flexibility of standard sequence-to-sequence (seq2seq) models while incorporating hierarchical phrases as a source of inductive bias during training and as explicit constraints during inference. Our approach trains two models: a discriminative parser based on a bracketing transduction grammar whose derivation tree hierarchically aligns source and target phrases, and a neural seq2seq model that learns to translate the aligned phrases one-by-one. We use the same seq2seq model to translate at all phrase scales, which results in two inference modes: one mode in which the parser is discarded and only the seq2seq component is used at the sequence-level, and another in which the parser is combined with the seq2seq model. Decoding in the latter mode is done with the cube-pruned CKY algorithm, which is more involved but can make use of new translation rules during inference. We formalize our model as a source-conditioned synchronous grammar and develop an efficient variational inference algorithm for training. When applied on top of both randomly initialized and pretrained seq2seq models, we find that both inference modes performs well compared to baselines on small scale machine translation benchmarks.


title: MMD-B-Fair: Learning Fair Representations with Statistical Testing

abstract: We introduce a method, MMD-B-Fair, to learn fair representations of data via kernel two-sample testing. We find neural features of our data where a maximum mean discrepancy (MMD) test cannot distinguish between representations of different sensitive groups, while preserving information about the target attributes. Minimizing the power of an MMD test is more difficult than maximizing it (as done in previous work), because the test threshold's complex behavior cannot be simply ignored. Our method exploits the simple asymptotics of block testing schemes to efficiently find fair representations without requiring complex adversarial optimization or generative modelling schemes widely used by existing work on fair representation learning. We evaluate our approach on various datasets, showing its ability to ``hide'' information about sensitive attributes, and its effectiveness in downstream transfer tasks.


title: Nonamenable subforests of multi-ended quasi-pmp graphs

abstract: We prove the a.e. nonamenability of locally finite quasi-pmp Borel graphs whose every component admits at least three nonvanishing ends with respect to the underlying Radon--Nikodym cocycle. We witness their nonamenability by constructing Borel subforests with at least three nonvanishing ends per component, and then applying Tserunyan and Tucker-Drob's recent characterization of amenability for acyclic quasi-pmp Borel graphs. Our main technique is a weighted cycle-cutting algorithm, which yields a weight-maximal spanning forest. We also introduce a random version of this forest, which generalizes the Free Minimal Spanning Forest, to capture nonunimodularity in the context of percolation theory.


title: Selective Memory Recursive Least Squares: Recast Forgetting into Memory in RBF Neural Network Based Real-Time Learning

abstract: In radial basis function neural network (RBFNN) based real-time learning tasks, forgetting mechanisms are widely used such that the neural network can keep its sensitivity to new data. However, with forgetting mechanisms, some useful knowledge will get lost simply because they are learned a long time ago, which we refer to as the passive knowledge forgetting phenomenon. To address this problem, this paper proposes a real-time training method named selective memory recursive least squares (SMRLS) in which the classical forgetting mechanisms are recast into a memory mechanism. Different from the forgetting mechanism, which mainly evaluates the importance of samples according to the time when samples are collected, the memory mechanism evaluates the importance of samples through both temporal and spatial distribution of samples. With SMRLS, the input space of the RBFNN is evenly divided into a finite number of partitions and a synthesized objective function is developed using synthesized samples from each partition. In addition to the current approximation error, the neural network also updates its weights according to the recorded data from the partition being visited. Compared with classical training methods including the forgetting factor recursive least squares (FFRLS) and stochastic gradient descent (SGD) methods, SMRLS achieves improved learning speed and generalization capability, which are demonstrated by corresponding simulation results.


title: Low-Cost Beamforming and DOA Estimation Based on One-Bit Reconfigurable Intelligent Surface

abstract: In this work, we consider the Direction-of-Arrival (DOA) estimation problem in a low-cost architecture where only one antenna as the receiver is aided by a reconfigurable intelligent surface (RIS). We introduce the one-bit RIS as a signal reflector to enhance signal transmission in non-line-of-sight (NLOS) situations and substantially simplify the physical hardware for DOA estimation. We optimize the beamforming scheme called measurement matrix to focus the echo power on the receiver with the coarse localization information of the targets as the prior. A beamforming scheme based on the modified genetic algorithm is proposed to optimize the measurement matrix, guaranteeing restricted isometry property (RIP) and meeting single beamforming requirements. The DOA results are finely estimated by solving an atomic-norm based sparse reconstruction problem. Simulation results show that the proposed method outperforms the existing methods in the DOA estimation performance.


title: Operation-level Concurrent Transaction Execution for Blockchains

abstract: Despite the success in various scenarios, blockchain systems, especially EVM-compatible ones that serially execute transactions, still face the significant challenge of limited throughput. Concurrent transaction execution is a promising technique to accelerate transaction processing and increase the overall throughput. Existing concurrency control algorithms, however, fail to obtain enough speedups in real-world blockchains due to the high-contention workloads. In this paper, we propose a novel operation-level concurrency control algorithm designed for blockchains. The core idea behind our algorithm is that only operations depending on conflicts should be executed serially, while all other conflict-free operations can be executed concurrently. Therefore, in contrast to the traditional approaches, which block or abort the entire transaction when encountering conflicts, our algorithm introduces a redo phase to resolve conflicts at the operation level by re-executing conflicting operations only. We also develop a set of data dependency tracking mechanisms to achieve precise identification and speedy re-execution for conflicting operations. We implement an open-source prototype based on Go Ethereum and evaluate it using real-world Ethereum blocks. The evaluation results show that our algorithm achieves an average speedup of 4.28$\times$. If combined with state prefetching techniques, our approach can further accelerate the transaction execution by 7.11$\times$.


title: YORO -- Lightweight End to End Visual Grounding

abstract: We present YORO - a multi-modal transformer encoder-only architecture for the Visual Grounding (VG) task. This task involves localizing, in an image, an object referred via natural language. Unlike the recent trend in the literature of using multi-stage approaches that sacrifice speed for accuracy, YORO seeks a better trade-off between speed an accuracy by embracing a single-stage design, without CNN backbone. YORO consumes natural language queries, image patches, and learnable detection tokens and predicts coordinates of the referred object, using a single transformer encoder. To assist the alignment between text and visual objects, a novel patch-text alignment loss is proposed. Extensive experiments are conducted on 5 different datasets with ablations on architecture design choices. YORO is shown to support real-time inference and outperform all approaches in this class (single-stage methods) by large margins. It is also the fastest VG model and achieves the best speed/accuracy trade-off in the literature.


title: Extremal graphs for the suspension of edge-critical graphs

abstract: The Tur\'{a}n number of a graph $H$, $\text{ex}(n,H)$, is the maximum number of edges in an $n$-vertex graph that does not contain $H$ as a subgraph. For a vertex $v$ and a multi-set $\mathcal{F}$ of graphs, the suspension $\mathcal{F}+v$ of $\mathcal{F}$ is the graph obtained by connecting the vertex $v$ to all vertices of $F$ for each $F\in \mathcal{F}$. For two integers $k\ge1$ and $r\ge2$, let $H_i$ be a graph containing a critical edge with chromatic number $r$ for any $i\in\{1,\ldots,k\}$, and let $H=\{H_1,\ldots,H_k\}+v$. In this paper, we determine $\text{ex}(n, H)$ and characterize all the extremal graphs for sufficiently large $n$. This generalizes a result of Chen, Gould, Pfender and Wei on intersecting cliques. We also obtain a stability theorem for $H$, extending a result of Roberts and Scott on graphs containing a critical edge.


title: Thermal Transport of Fractionalized Antiferromagnetic and Field Induced States in the Kitaev Material Na$_2$Co$_2$TeO$_6$

abstract: We report an in-plane thermal transport study of the honeycomb Kitaev material Na$_2$Co$_2$TeO$_6$ at subKelvin temperatures. In zero field, the $\kappa(T)$ displays a rather weak $T$-dependence but has a non-zero residual term $\kappa_0/T$, indicating strong phonon scattering by magnetic excitation and the possibility of itinerant spinon-like excitations coexisting with an antiferromagnetic order below 27 K. We propose the zero-field ground state is a novel fractionalized antiferromagnetic (AF*) state with both magnetic order and fractionalized excitations. With both the heat current and external field along the $a*$ (Co-Co bond) direction, the $\kappa_{a*}$ exhibits two sharp minima at 7.5 T and 10 T, and its value at 8.5 T is almost the same as the pure phononic transport for the high-field polarized state. This confirms the phase boundaries of the reported field-induced intermediate state and suggest its gapless continuum excitations possibly transport heat. No such intermediate phase was found in the $\kappa_a$ for the current and field along the $a$ (zigzag chain) direction. Finally, Na$_2$Co$_2$TeO$_6$ displays a strongly anisotropic magneto-thermal conductivity since the in-plane (out-of-plane) field strongly enhances (suppresses) the $\kappa_{a*}$ and $\kappa_a$.


title: Backdoor Attacks on Time Series: A Generative Approach

abstract: Backdoor attacks have emerged as one of the major security threats to deep learning models as they can easily control the model's test-time predictions by pre-injecting a backdoor trigger into the model at training time. While backdoor attacks have been extensively studied on images, few works have investigated the threat of backdoor attacks on time series data. To fill this gap, in this paper we present a novel generative approach for time series backdoor attacks against deep learning based time series classifiers. Backdoor attacks have two main goals: high stealthiness and high attack success rate. We find that, compared to images, it can be more challenging to achieve the two goals on time series. This is because time series have fewer input dimensions and lower degrees of freedom, making it hard to achieve a high attack success rate without compromising stealthiness. Our generative approach addresses this challenge by generating trigger patterns that are as realistic as real-time series patterns while achieving a high attack success rate without causing a significant drop in clean accuracy. We also show that our proposed attack is resistant to potential backdoor defenses. Furthermore, we propose a novel universal generator that can poison any type of time series with a single generator that allows universal attacks without the need to fine-tune the generative model for new time series datasets.


title: A Dataset and Model for Crossing Indian Roads

abstract: Roads in medium-sized Indian towns often have lots of traffic but no (or disregarded) traffic stops. This makes it hard for the blind to cross roads safely, because vision is crucial to determine when crossing is safe. Automatic and reliable image-based safety classifiers thus have the potential to help the blind to cross Indian roads. Yet, we currently lack datasets collected on Indian roads from the pedestrian point-of-view, labelled with road crossing safety information. Existing classifiers from other countries are often intended for crossroads, and hence rely on the detection and presence of traffic lights, which is not applicable in Indian conditions. We introduce INDRA (INdian Dataset for RoAd crossing), the first dataset capturing videos of Indian roads from the pedestrian point-of-view. INDRA contains 104 videos comprising of 26k 1080p frames, each annotated with a binary road crossing safety label and vehicle bounding boxes. We train various classifiers to predict road crossing safety on this data, ranging from SVMs to convolutional neural networks (CNNs). The best performing model DilatedRoadCrossNet is a novel single-image architecture tailored for deployment on the Nvidia Jetson Nano. It achieves 79% recall at 90% precision on unseen images. Lastly, we present a wearable road crossing assistant running DilatedRoadCrossNet, which can help the blind cross Indian roads in real-time. The project webpage is http://roadcross-assistant.github.io/Website/.


title: Robust and Fast Quantum State Transfer on Superconducting Circuits

abstract: Quantum computation attaches importance to high-precision quantum manipulation, where the quantum state transfer with high fidelity is necessary. Here, we propose a new scheme to implement the quantum state transfer of high fidelity and long distance, by adding on-site potential into the qubit chain and enlarging the proportion of the coupling strength between the two ends and the chain. In the numerical simulation, without decoherence, the transfer fidelities of 9 and 11 qubit chain are 0.999 and 0.997, respectively. Moreover, we give a detailed physical realization scheme of the quantum state transfer in superconducting circuits, and discuss the tolerance of our proposal against decoherence. Therefore, our scheme will shed light on quantum computation with long chain and high-fidelity quantum state transfer.


title: QuDiet: A Classical Simulation Platform for Qubit-Qudit Hybrid Quantum Systems

abstract: In the recent years, numerous research advancements have extended the limit of classical simulation of quantum algorithms. Although, most of the state-of-the-art classical simulators are only limited to binary quantum systems, which restrict the classical simulation of higher-dimensional quantum computing systems. Through recent developments in higher-dimensional quantum computing systems, it is realized that implementing qudits improves the overall performance of a quantum algorithm by increasing memory space and reducing the asymptotic complexity of a quantum circuit. Hence, in this article, we introduce \textbf{QuDiet}, a state-of-the-art user-friendly python-based higher-dimensional quantum computing simulator. \textbf{QuDiet} offers multi-valued logic operations by utilizing generalized quantum gates with an abstraction so that any naive user can simulate qudit systems with ease as compared to the existing ones. We simulate various benchmark quantum circuits in \textbf{QuDiet} and show the considerable speedup in simulation time as compared to the other simulators without loss in precision. Finally, \textbf{QuDiet} provides a full qubit-qudit hybrid quantum simulator package with quantum circuit templates of well-known quantum algorithms for fast prototyping and simulation. The complete code and packages of \textbf{QuDiet} is available at https://github.com/LegacYFTw/QuDiet so that other platforms can incorporate it as a classical simulation option for qubit-qudit hybrid systems to their platforms.


title: A Unified Mutual Supervision Framework for Referring Expression Segmentation and Generation

abstract: Reference Expression Segmentation (RES) and Reference Expression Generation (REG) are mutually inverse tasks that can be naturally jointly trained. Though recent work has explored such joint training, the mechanism of how RES and REG can benefit each other is still unclear. In this paper, we propose a unified mutual supervision framework that enables two tasks to improve each other. Our mutual supervision contains two directions. On the one hand, Disambiguation Supervision leverages the expression unambiguity measurement provided by RES to enhance the language generation of REG. On the other hand, Generation Supervision uses expressions automatically generated by REG to scale up the training of RES. Such unified mutual supervision effectively improves two tasks by solving their bottleneck problems. Extensive experiments show that our approach significantly outperforms all existing methods on REG and RES tasks under the same setting, and detailed ablation studies demonstrate the effectiveness of all components in our framework.


title: Topological phase in Kitaev chain with spatially separated pairing processes

abstract: The dynamic balance between pair creation and annihilation processes takes a crucial role to the topological superconductivity in Kitaev model. Here we study the effect of spatial separation of creation and annihilation terms, i.e., sources and drains of pair are arranged alternatively. In this regard, a non-Hermitian Hamiltonian is naturally considered, which may possess complex energy branches. However, when the Bardeen-Cooper-Schrieffer pair (BCS)-like pair excitation is only considered, the spectrum in such a subspace is fully real. In particular, the Zak phases extracted from the pair wave function are quantized and therefore able to characterize the different phases regardless of the breaking of time reversal symmetry. For open chain system, the corresponding Majorana lattice is investigated. We find that although there are complex modes, all the edge modes have zero energy and obey the bulk-boundary correspondence. This results in the Kramerlike degeneracy of both the real and complex levels as a signature of the topologically non-trivial phase.


title: Mathematical Modeling of Drug Use: The Dynamics of Monosubstance Dependence for Two Addictive Drugs

abstract: Based on previous work done in this field, we build a dynamical system that describes changes in drug addiction in an isolated population when two addictive substances are available simultaneously. We then use our model to investigate whether the system captures the process of users switching drug habits. One of the motivations for this project is to mathematically check the conjecture that being addicted to a less-addictive substance will effectively lead individuals to become dependent on more addictive and potentially more dangerous drugs. We introduce additional assumptions, under which our model is reduced to a competitive Lotka-Volterra system. This dynamical system has three or four fixed points, stability of which then gives an implication about the outcomes of the competition between addictive substances and, therefore, the fate of individuals in the population. From the analysis of the reduced model, we determine that there actually exist parameter regimes that capture the following dynamics: depending on the initial distribution of the drug preference; either the use of both drugs will die out, the usage of one of the drugs will become prevalent, or addictions to both drugs will coexist.


title: Linkage and $F$-Regularity of Determinantal Rings

abstract: In this paper, we prove that the generic link of a generic determinantal ring defined by maximal minors is strongly $F$-regular. In the process, we strengthen a result of Chardin and Ulrich in the graded setting. They showed that the generic residual intersections of a complete intersection ring with rational singularities again have rational singularities. We show that if the said complete intersection is defined by homogeneous elements and is $F$-rational, then in fact, its generic residual intersections are strongly $F$-regular in positive prime characteristic. Hochster and Huneke showed that determinantal rings are strongly $F$-regular; however, their proof is quite involved. Our techniques allow us to give a new and simple proof of the strong $F$-regularity of determinantal rings defined by maximal minors.


title: A Theory for Discrete-time Boolean Finite Dynamical Systems with Uncertainty

abstract: Dynamical Systems is a field that studies the collective behavior of objects that update their states according to some rules. Discrete-time Boolean Finite Dynamical System (DT-BFDS) is a subfield where the systems have some finite number of objects whose states are Boolean values, and the state updates occur in discrete time. In the subfield of DT-BFDS, researchers aim to (i) design models for capturing real-world phenomena and using the models to make predictions and (ii) develop simulation techniques for acquiring insights about the systems' behavior. Useful for both aims is understanding the system dynamics mathematically before executing the systems. Obtaining a mathematical understanding of BFDS is quite challenging, even for simple systems, because the state space of a system grows exponentially in the number of objects. Researchers have used computational complexity to circumvent the challenge. The complexity theoretic research in DT-BFDS has successfully produced complete characterizations for many dynamical problems. The DT-BFDS studies have mainly dealt with deterministic models, where the update at each time step is deterministic, so the system dynamics are completely determinable from the initial setting. However, natural systems have uncertainty. Models having uncertainty may lead to far-better understandings of nature. Although a few attempts have explored DT-BFDS with uncertainty, including stochastic initialization and tie-breaking, they have scratched only a tiny surface of models with uncertainty. The introduction of uncertainty can be through two schemes. One is the introduction of alternate update functions. The other is the introduction of alternate update schedules. 37This paper establishes a theory of models with uncertainty and proves some fundamental results.


title: Quantum metric on the Brillouin Zone in correlated electron systems and its relation to topology for Chern insulators

abstract: Geometric aspects of physics play a crucial role in modern condensed matter physics. The quantum metric is one of these geometric quantities which defines the distance on a parameter space and contributes to various physical phenomena, such as superconductivity and nonlinear conductivity. Despite its importance, the quantum metric in interacting systems is poorly understood. In this paper, we introduce a generalized quantum metric(GQM) on the Brillouin zone for correlated electron systems. This quantum metric is based on the optical conductivity that is written by single-particle Green's functions. We analytically prove that this definition is equivalent to the existing definition of the quantum metric in noninteracting systems and that it is positive semi-definite as necessary for a metric. Furthermore, we point out the relationship between the GQM and the Chern number in interacting systems. We then numerically confirm these properties of the GQM in the Qi-Wu-Zhang model with and without interaction. We believe that the GQM will be a step toward generalizing the quantum metric to the interacting regime.


title: Pressure-Induced Insulator-to-Metal Transition in van der Waals compound CoPS$_3$

abstract: We have studied the insulator-to-metal transition and crystal structure evolution under high pressure in the van der Waals compound CoPS$_3$ through $\textit{in-situ}$ electrical resistance, Hall resistance, magnetoresistance, X-ray diffraction, and Raman scattering measurements. CoPS$_3$ exhibits a $C2/m$ $\rightarrow$ $P\overline{3}$ structural transformation at 7 GPa accompanied by a 2.9$\%$ reduction in the volume per formula unit. Concomitantly, the electrical resistance decreases significantly, and CoPS$_3$ becomes metallic. This metallic CoPS$_3$ is a hole-dominant conductor with multiple conduction bands. The linear magnetoresistance and the small volume collapse at the metallization suggest the incomplete high-spin $\rightarrow$ low-spin transition in the metallic phase. Thus, the metallic CoPS$_3$ possibly possesses an inhomogeneous magnetic moment distribution and short-range magnetic ordering. This report summarizes the comprehensive phase diagram of $M$PS$_3$ ($M$ = V, Mn, Fe, Co, Ni, and Cd) that metalize under pressures.


title: Two-Level Decentralized-Centralized Control of Distributed Energy Resources in Grid-Interactive Efficient Buildings

abstract: The flexible, efficient, and reliable operation of grid-interactive efficient buildings (GEBs) is increasingly impacted by the growing penetration of distributed energy resources (DERs). Besides, the optimization and control of DERs, buildings, and distribution networks are further complicated by their interconnections. In this paper, we exploit load-side flexibility and clean energy resources to develop a novel two-level hybrid decentralized-centralized (HDC) algorithm to control DER-connected GEBs. The proposed HDC 1) achieves scalability w.r.t. to a large number of grid-connected buildings and devices, 2) incorporates a two-level design where aggregators control buildings centrally and the system operator coordinates the distribution network in a decentralized fashion, and 3) improves the computing efficiency and enhances communicating compatibility with heterogeneous temporal scales. Simulations are conducted based on the prototype of a campus building at the Oak Ridge National Laboratory to show the efficiency and efficacy of the proposed approach.


title: A Zoo of Deformed Jackiw-Teitelboim Models near Large Dimensional Black Holes

abstract: We consider a charged Lifshitz black hole in the large transverse dimension limit. In this setup, the dynamics near the black hole horizon are shown to be effectively governed by a family of two-dimensional models of dilaton gravity depending on the ratio of the dynamical parameter characterizing the black hole and the dimension of spacetime. This family includes the Callan-Giddings-Harvey-Strominger (CGHS) and Jackiw-Teitelboim (JT) models and their charged equivalents. This family also contains classes of asymptotically anti-de Sitter models beyond JT, characterized by a running Ricci scalar, with the option of adding charge. Finally, we argue that specific non-minimally coupled probe scalars in the parent Lifshitz model become minimally coupled scalars in the two-dimensional theory, which is relevant for understanding semi-classical corrections in such models.


title: False: False Negative Samples Aware Contrastive Learning for Semantic Segmentation of High-Resolution Remote Sensing Image

abstract: The existing SSCL of RSI is built based on constructing positive and negative sample pairs. However, due to the richness of RSI ground objects and the complexity of the RSI contextual semantics, the same RSI patches have the coexistence and imbalance of positive and negative samples, which causing the SSCL pushing negative samples far away while pushing positive samples far away, and vice versa. We call this the sample confounding issue (SCI). To solve this problem, we propose a False negAtive sampLes aware contraStive lEarning model (FALSE) for the semantic segmentation of high-resolution RSIs. Since the SSCL pretraining is unsupervised, the lack of definable criteria for false negative sample (FNS) leads to theoretical undecidability, we designed two steps to implement the FNS approximation determination: coarse determination of FNS and precise calibration of FNS. We achieve coarse determination of FNS by the FNS self-determination (FNSD) strategy and achieve calibration of FNS by the FNS confidence calibration (FNCC) loss function. Experimental results on three RSI semantic segmentation datasets demonstrated that the FALSE effectively improves the accuracy of the downstream RSI semantic segmentation task compared with the current three models, which represent three different types of SSCL models. The mean Intersection-over-Union on ISPRS Potsdam dataset is improved by 0.7\% on average; on CVPR DGLC dataset is improved by 12.28\% on average; and on Xiangtan dataset this is improved by 1.17\% on average. This indicates that the SSCL model has the ability to self-differentiate FNS and that the FALSE effectively mitigates the SCI in self-supervised contrastive learning. The source code is available at https://github.com/GeoX-Lab/FALSE.


title: A note on separation conditions of resonance sets in the instability analysis for high-frequency oscillations in geometric optics

abstract: In this paper, we study the instability of highly-oscillating solutions to semi-linear hyperbolic systems. A instability criterion was given in \cite{Lu} under rather strong separation conditions of resonance sets: coupled resonance sets are pairwise disjoint. Here we show that such separation conditions in \cite{Lu} can be relaxed: one of the coupled non-transparent resonance sets is allowed to intersect with at most two others. We obtain the same instability criterion as in \cite{Lu}. Finally, we give some applications to coupled Klein-Gordon systems with equal masses and nonlinear terms specified particularly, where on the intersections of resonance sets, the related interaction coefficients are non-transparent.


title: Stability of the separable solutions for a nonlinear boundary diffusion problem

abstract: In this paper, we study a nonlinear boundary diffusion equation of porous medium type arising from a boundary control problem. We give a complete and sharp characterization of the asymptotic behavior of its solutions, and prove the stability of its separable solutions.


title: Personalized Federated Learning with Multi-branch Architecture

abstract: Federated learning (FL) is a decentralized machine learning technique that enables multiple clients to collaboratively train models without requiring clients to reveal their raw data to each other. Although traditional FL trains a single global model with average performance among clients, statistical data heterogeneity across clients has resulted in the development of personalized FL (PFL), which trains personalized models with good performance on each client's data. A key challenge with PFL is how to facilitate clients with similar data to collaborate more in a situation where each client has data from complex distribution and cannot determine one another's distribution. In this paper, we propose a new PFL method (pFedMB) using multi-branch architecture, which achieves personalization by splitting each layer of a neural network into multiple branches and assigning client-specific weights to each branch. We also design an aggregation method to improve the communication efficiency and the model performance, with which each branch is globally updated with weighted averaging by client-specific weights assigned to the branch. pFedMB is simple but effective in facilitating each client to share knowledge with similar clients by adjusting the weights assigned to each branch. We experimentally show that pFedMB performs better than the state-of-the-art PFL methods using the CIFAR10 and CIFAR100 datasets.


title: Using Open-Ended Stressor Responses to Predict Depressive Symptoms across Demographics

abstract: Stressors are related to depression, but this relationship is complex. We investigate the relationship between open-ended text responses about stressors and depressive symptoms across gender and racial/ethnic groups. First, we use topic models and other NLP tools to find thematic and vocabulary differences when reporting stressors across demographic groups. We train language models using self-reported stressors to predict depressive symptoms, finding a relationship between stressors and depression. Finally, we find that differences in stressors translate to downstream performance differences across demographic groups.


title: Quantum tomography of Rydberg atom graphs by configurable ancillas

abstract: Tomographic reconstruction of the many-body quantum state of a scalable qubit system is of paramount importance in quantum computing technologies. However, conventional approaches which use tomographically orthogonal base measurements require precise and individual qubit controls which are often experimentally daunting. Here, we propose, as a quantum-mechanically robust alternative, to use configurable ancillas of which the continuously-tunable interactions can generate independent base measurements tomographically sufficient for the quantum state reconstruction of the system of interest. Experimental tests are performed for Rydberg atom arrays in $N$-body $W$ states, of which the results demonstrate reliable high-fidelity full quantum state reconstruction of the proposed method.


title: Constraining the Lorentz-Violating Bumblebee Vector Field with Big Bang Nucleosynthesis and Gravitational Baryogenesis

abstract: By keeping the cosmological principle i.e., an isotropic and homogeneous universe, we consider the cosmology of a vector-tensor theory of gravitation known as the \textit{bumblebee} model. In this model a single Lorentz-violating timelike vector field with a nonzero vacuum expectation value (VEV) couples to the Ricci tensor and scalar, as well. Taking the ansatz $B(t)\sim t^\beta$ for the time evolution of the vector field we derive the relevant dynamic equations of the Universe, where $\beta$ is a free parameter. In particular, by employing observational data coming from the Big Bang Nucleosynthesis (BBN) and the matter-antimatter asymmetry in the Baryogenesis era, we impose some constraints on the VEV of the bumblebee timelike vector field i.e., $\xi b^2$, and the exponent parameter $\beta$. The former and the latter limit the size of Lorentz violation, and the rate of the time evolution of the background Lorentz-violating bumblebee field, respectively.


title: Geometric properties of a novel type of orthogonality via norm derivatives

abstract: In this article, we generalize the notion of orthogonality as a linear combination of norm derivatives in order to give a novel concept that we refer to as $\rho_{\alpha,\beta}$-orthogonality. Also, we discuss some of its geometric properties in a real normed linear space and present some sufficient criteria for the smoothness of a normed space by using $\rho_{\alpha,\beta}$-orthogonality. We provide a few examples to show that the $\rho_{\alpha,\beta}$- orthogonality cannot be compared to other well-known orthogonalities in any way. In addition to this, we offer a characterization of inner product spaces by making use of the functional notation $\rho_{\alpha,\beta}$. In addition, we show that any $\rho_{\alpha,\beta}$-orthogonality that preserves linear mapping between two normed linear spaces must necessarily be a scalar multiple of an isometry. Also, using the $\rho_{\alpha,\beta}$-functional, we define the idea of an angle between two vectors and talk about their characteristics in normed spaces.


title: Comment on "Lanczos potential of Weyl field: interpretations and applications"

abstract: We show that a proposal by Vishwakarma to realize conformal-covariance for the Weyl-Lanczos equation is nonviable.


title: An Improved Analysis of (Variance-Reduced) Policy Gradient and Natural Policy Gradient Methods

abstract: In this paper, we revisit and improve the convergence of policy gradient (PG), natural PG (NPG) methods, and their variance-reduced variants, under general smooth policy parametrizations. More specifically, with the Fisher information matrix of the policy being positive definite: i) we show that a state-of-the-art variance-reduced PG method, which has only been shown to converge to stationary points, converges to the globally optimal value up to some inherent function approximation error due to policy parametrization; ii) we show that NPG enjoys a lower sample complexity; iii) we propose SRVR-NPG, which incorporates variance-reduction into the NPG update. Our improvements follow from an observation that the convergence of (variance-reduced) PG and NPG methods can improve each other: the stationary convergence analysis of PG can be applied to NPG as well, and the global convergence analysis of NPG can help to establish the global convergence of (variance-reduced) PG methods. Our analysis carefully integrates the advantages of these two lines of works. Thanks to this improvement, we have also made variance-reduction for NPG possible, with both global convergence and an efficient finite-sample complexity.


title: Norms on Complex Matrices Induced by Random Vectors

abstract: We introduce a family of norms on the $n \times n$ complex matrices. These norms arise from a probabilistic framework, and their construction and validation involve probability theory, partition combinatorics, and trace polynomials in noncommuting variables. As a consequence, we obtain a generalization of Hunter's positivity theorem for the complete homogeneous symmetric polynomials.


title: Subspace-hypercyclic conditional type operators on $L^p$-spaces

abstract: A conditional weighted composition operator $T_u: L^p(\Sigma)\rightarrow L^p(\mathcal{A})$ ($1\leq p<\infty$), is defined by $T_u(f):= E^{\mathcal{A}}(u f\circ \varphi)$, where $\varphi: X\rightarrow X$ is a measurable transformation, $u$ is a weight function on $X$ and $E^{\mathcal{A}}$ is the conditional expectation operator with respect to $\mathcal{A}$. In this paper, we study the subspace-hypercyclicity of $T_u$ with respect to $L^p(\mathcal{A})$. First, we show that if $\varphi$ is a periodic nonsingular transformation, then $T_u$ is not $L^p(\mathcal{A})$-hypercyclic. The necessary conditions for the subspace-hypercyclicity of $T_u$ are obtained when $\varphi$ is non-singular and finitely non-mixing. For the sufficient conditions, the normality of $\varphi$ is required. The subspace-weakly mixing and subspace-topologically mixing concepts are also studied for $T_u$. Finally, we give an example which is subspace-hypercyclic while is not hypercyclic.


title: A Metaheuristic Approach for Mining Gradual Patterns

abstract: Swarm intelligence is a discipline that studies the collective behavior that is produced by local interactions of a group of individuals with each other and with their environment. In Computer Science domain, numerous swarm intelligence techniques are applied to optimization problems that seek to efficiently find best solutions within a search space. Gradual pattern mining is another Computer Science field that could benefit from the efficiency of swarm based optimization techniques in the task of finding gradual patterns from a huge search space. A gradual pattern is a rule-based correlation that describes the gradual relationship among the attributes of a data set. For example, given attributes {G,H} of a data set a gradual pattern may take the form: "the less G, the more H". In this paper, we propose a numeric encoding for gradual pattern candidates that we use to define an effective search space. In addition, we present a systematic study of several meta-heuristic optimization techniques as efficient solutions to the problem of finding gradual patterns using our search space.


title: Automatic Evaluation of Excavator Operators using Learned Reward Functions

abstract: Training novice users to operate an excavator for learning different skills requires the presence of expert teachers. Considering the complexity of the problem, it is comparatively expensive to find skilled experts as the process is time-consuming and requires precise focus. Moreover, since humans tend to be biased, the evaluation process is noisy and will lead to high variance in the final score of different operators with similar skills. In this work, we address these issues and propose a novel strategy for the automatic evaluation of excavator operators. We take into account the internal dynamics of the excavator and the safety criterion at every time step to evaluate the performance. To further validate our approach, we use this score prediction model as a source of reward for a reinforcement learning agent to learn the task of maneuvering an excavator in a simulated environment that closely replicates the real-world dynamics. For a policy learned using these external reward prediction models, our results demonstrate safer solutions following the required dynamic constraints when compared to policy trained with task-based reward functions only, making it one step closer to real-life adoption. For future research, we release our codebase at https://github.com/pranavAL/InvRL_Auto-Evaluate and video results https://drive.google.com/file/d/1jR1otOAu8zrY8mkhUOUZW9jkBOAKK71Z/view?usp=share_link .


title: Linearized Optimal Power Flow for Multiphase Radial Networks with Delta Connections

abstract: This paper proposes a linear approximation of the alternating current optimal power flow problem for multiphase distribution networks with voltage-dependent loads connected in both wye and delta configurations. We establish a set of linear equations that exactly describes the relationship between power changes at a bus and the corresponding values from a delta-connected device under specific assumptions necessary for a widely accepted linear model. Numerical studies on IEEE test feeders demonstrate that the proposed linear model provides solutions with reasonable error bounds efficiently, as compared with an exact nonconvex formulation and a convex conic relaxation. Our experiments reveal that modeling delta-connected, voltage-dependent loads as if they are wye-connected can lead to significantly different voltage profiles. We also investigate the limitations of the proposed linear approximation stemming from the underlying assumptions, while emphasizing its robust performance in practical situations.


title: Implications of quantum gravity for dark matter in the brane-world scenario

abstract: Based on the swampland program establishing the constraints that an effective field theory must satisfy in order to come from quantum gravity, we point to that if this program is true the brane-world scenario with the branon dark matter (DM) would be ruled out without needing the experimental observations. In other words, the constraints of quantum gravity imply that the branons must be absorbed by the Kaluza-Klein (KK) gauge bosons which are the off-diagonal components of the bulk metric to become their longitudinal modes. Interestingly, the KK gauge bosons behave as the DM and hence it leads to a geometric unification of gravity and the DM, as a natural feature of the brane-world scenario completed into quantum gravity in the ultraviolet. In addition, the KK gauge boson DM would open a particularly promising observation window to search for the DM coupling very weakly to the SM in the cosmic microwave background and the spectrum of the primordial gravitational waves.


title: Cohomology of modified Rota-Baxter Leibniz algebra of weight $\lambda$

abstract: Rota-Baxter operators have been paid much attention in the last few decades as they have many applications in mathematics and physics. In this paper, our object of study is modified Rota-Baxter operators on Leibniz algebras. We investigate modified Rota-Baxter Leibniz algebras from the cohomological point of view. We study a one-parameter formal deformation theory of modified Rota-Baxter Leibniz algebras and define the associated deformation cohomology that controls the deformation. Finally, as an application, we characterize equivalence classes of abelian extensions in terms of second cohomology groups.


title: Geometric Impedance Control on SE(3) for Robotic Manipulators

abstract: After its introduction, impedance control has been utilized as a primary control scheme for robotic manipulation tasks that involve interaction with unknown environments. While impedance control has been extensively studied, the geometric structure of SE(3) for the robotic manipulator itself and its use in formulating a robotic task has not been adequately addressed. In this paper, we propose a differential geometric approach to impedance control. Given a left-invariant error metric in SE(3), the corresponding error vectors in position and velocity are first derived. We then propose the impedance control schemes that adequately account for the geometric structure of the manipulator in SE(3) based on a left-invariant potential function. The closed-loop stabilities for the proposed control schemes are verified using Lyapunov function-based analysis. The proposed control design clearly outperformed a conventional impedance control approach when tracking challenging trajectory profiles.


title: Effective field theory description of horizon-fluid determines the scrambling time

abstract: Black hole horizons interact with external fields when matter-energy falls through them. Such non-stationary black hole horizons can be described using viscous fluid equations. This work attempts to describe this process using effective field theory methods. Such a description can provide important insights beyond classical black hole physics. In this work, we construct a low-energy effective field theory description for the horizon fluid of a 4-dimensional, asymptotically flat, Einstein black hole. The effective field theory of the dynamical horizon has two ingredients: degrees of freedom involved in the interaction with external fields and symmetry. The dual requirements of incorporating near-horizon symmetries (${\cal S}1$ diffeomorphism) and possessing length scales due to external perturbations is naturally satisfied if the theory on the non-stationary black hole horizon is a deformed Conformal Field Theory (CFT). For the homogeneous external perturbations, at the lowest order, this leads to $(2 + 1)-$dimensional massive scalar field where the mass is related to the extent of the deformation of the CFT. We determine the mass by obtaining the correlation function corresponding to the effective field and relating it to the bulk viscosity of the horizon fluid. Additionally, we show that the coefficient of bulk viscosity of the horizon fluid determines the time required for black holes to scramble. Furthermore, we argue that matter-field modes with energy less than $m_{\rm eff}$ falling into the horizon thermalize more slowly. Finally, we construct a microscopic toy model for the horizon fluid that reduces to the effective field theory with a single scalar degree of freedom. We then discuss the usefulness of the effective field model in understanding how information escapes from a black hole at late times.


title: Robust Quantum Circuit for Clique Problem with Intermediate Qudits

abstract: Clique problem has a wide range of applications due to its pattern matching ability. There are various formulation of clique problem like $k$-clique problem, maximum clique problem, etc. The $k$-Clique problem, determines whether an arbitrary network has a clique or not whereas maximum clique problem finds the largest clique in a graph. It is already exhibited in the literature that the $k$-clique or maximum clique problem (NP-problem) can be solved in an asymptotically faster manner by using quantum algorithms as compared to the conventional computing. Quantum computing with higher dimensions is gaining popularity due to its large storage capacity and computation power. In this article, we have shown an improved quantum circuit implementation for the $k$-clique problem and maximum clique problem (MCP) with the help of higher-dimensional intermediate temporary qudits for the first time to the best of our knowledge. The cost of state-of-the-art quantum circuit for $k$-clique problem is colossal due to a huge number of $n$-qubit Toffoli gates. We have exhibited an improved cost and depth over the circuit by applying a generalized $n$-qubit Toffoli gate decomposition with intermediate ququarts (4-dimensional qudits).


title: The uniform measure for quantum walk on hypercube: a quantum Bernoulli noises approach

abstract: In this paper, we present a quantum Bernoulli noises approach to quantum walks on hypercubes. We first obtain an alternative description of a general hypercube and then, based on the alternative description, we find that the operators $\partial_k^* + \partial_k$ behave actually as the shift operators, where $\partial_k$ and $\partial_k^*$ are the annihilation and creation operators acting on Bernoulli functionals, respectively. With the above operators as the shift operators on the position space, we introduce a discrete-time quantum walk model on a general hypercube and obtain an explicit formula for calculating its probability distribution at any time. We also establish two limit theorems showing that the averaged probability distribution of the walk even converges to the uniform probability distribution. Finally, we show that the walk produces the uniform measure as its stationary measure on the hypercube provided its initial state satisfies some mild conditions. Some other results are also proven.

categories: quant-ph math-ph math.FA math.MP math.PR


title: Optimal exploration strategies for finite horizon regret minimization in some adaptive control problems

abstract: In this work, we consider the problem of regret minimization in adaptive minimum variance and linear quadratic control problems. Regret minimization has been extensively studied in the literature for both types of adaptive control problems. Most of these works give results of the optimal rate of the regret in the asymptotic regime. In the minimum variance case, the optimal asymptotic rate for the regret is $\log(T)$ which can be reached without any additional external excitation. On the contrary, for most adaptive linear quadratic problems, it is necessary to add an external excitation in order to get the optimal asymptotic rate of $\sqrt{T}$. In this paper, we will actually show from an a theoretical study, as well as, in simulations that when the control horizon is pre-specified a lower regret can be obtained with either no external excitation or a new exploration type termed immediate.


title: Breakpoint Transformers for Modeling and Tracking Intermediate Beliefs

abstract: Can we teach natural language understanding models to track their beliefs through intermediate points in text? We propose a representation learning framework called breakpoint modeling that allows for learning of this type. Given any text encoder and data marked with intermediate states (breakpoints) along with corresponding textual queries viewed as true/false propositions (i.e., the candidate beliefs of a model, consisting of information changing through time) our approach trains models in an efficient and end-to-end fashion to build intermediate representations that facilitate teaching and direct querying of beliefs at arbitrary points alongside solving other end tasks. To show the benefit of our approach, we experiment with a diverse set of NLU tasks including relational reasoning on CLUTRR and narrative understanding on bAbI. Using novel belief prediction tasks for both tasks, we show the benefit of our main breakpoint transformer, based on T5, over conventional representation learning approaches in terms of processing efficiency, prediction accuracy and prediction consistency, all with minimal to no effect on corresponding QA end tasks. To show the feasibility of incorporating our belief tracker into more complex reasoning pipelines, we also obtain SOTA performance on the three-tiered reasoning challenge for the TRIP benchmark (around 23-32% absolute improvement on Tasks 2-3).