title: Partial Information Breeds Systemic Risk

abstract: This paper considers finitely many investors who perform mean-variance portfolio selection under a relative performance criterion. That is, each investor is concerned about not only her terminal wealth, but how it compares to the average terminal wealth of all investors (i.e., the mean field). At the inter-personal level, each investor selects a trading strategy in response to others' strategies (which affect the mean field). The selected strategy additionally needs to yield an equilibrium intra-personally, so as to resolve time inconsistency among the investor's current and future selves (triggered by the mean-variance objective). A Nash equilibrium we look for is thus a tuple of trading strategies under which every investor achieves her intra-personal equilibrium simultaneously. We derive such a Nash equilibrium explicitly in the idealized case of full information (i.e., the dynamics of the underlying stock is perfectly known), and semi-explicitly in the realistic case of partial information (i.e., the stock evolution is observed, but the expected return of the stock is not precisely known). The formula under partial information involves an additional state process that serves to filter the true state of the expected return. Its effect on trading is captured by two degenerate Cauchy problems, one of which depends on the other, whose solutions are constructed by elliptic regularization and a stability analysis of the state process. Our results indicate that partial information alone can reduce investors' wealth significantly, thereby causing or aggravating systemic risk. Intriguingly, in two different scenarios of the expected return (i.e., it is constant or alternating between two values), our Nash equilibrium formula spells out two distinct manners systemic risk materializes.


title: An Actuator with Magnetic Restoration, Part I: Electromechanical Model and Identification

abstract: Electromechanical models are crucial in the design and control of motors and actuators. Modeling, identification, drive, and current control loop of a limited-rotation actuator with magnetic restoration is presented. New nonlinear and linearized electromechanical models are developed for the design of the drive as well as small and large signal controls of the actuator. To attain a higher accuracy and an efficient design, and the eddy-currents in the laminations and magnet are modeled. This involves analytically solving 1-D and 2-D diffusion equations, leading to the derivation of a lumped-element circuit for system-level analyses, such as control system design. Additionally, the study analyzes and incorporates the impact of pre-sliding friction. The actuator is prototyped, and the paper delves into the identification of the model, presenting a procedure for parameter extraction. A close agreement is observed between the results obtained from the model, finite element analysis, and experimental results. The superiority of the proposed model over previous approaches is highlighted. Part II of the paper is dedicated to the drive circuit, the current control, as well as linear and nonlinear position control system designs.


title: Conformal Operator Content of the Wilson-Fisher Transition on Fuzzy Sphere Bilayers

abstract: The Wilson-Fisher criticality provides a paradigm for a large class of phase transitions in nature (e.g., helium, ferromagnets). In the three dimension, Wilson-Fisher critical points are not exactly solvable due to the strongly-correlated feature, so one has to resort to non-perturbative tools such as numerical simulations. Here, we design a microscopic model of Heisenberg magnet bilayer and study the underlying Wilson-Fisher $\mathrm{O}(3)$ transition through the lens of fuzzy sphere regularization. We uncover a wealth of crucial information which directly reveals the emergent conformal symmetry regarding this fixed point. In specific, we accurately calculate and analyze the energy spectra at the transition, and explicitly identify the existence of a conserved Noether current, a stress tensor and relevant primary fields. Most importantly, the primaries and their descendants form a fingerprint conformal tower structure, pointing to an almost perfect state-operator correspondence. Furthermore, by examining the leading rank-4 symmetric tensor operator, we demonstrate the cubic perturbation is relevant, implying the critical $\mathrm{O}(3)$ model is unstable to cubic anisotropy, in agreement with the renormalization group and bootstrap calculations. The successful dissection of conformal content of the Wilson-Fisher universality class extends the horizon of the fuzzy sphere method and paves the way for exploring higher dimensional conformal field theories.


title: Stiff deployable structures via coupling of thick Miura-ori tubes along creases

abstract: Origami-based structures play an important role in the realization of deployable mechanisms and unique mechanical properties via programmable deformation by folding. Among origami-based structures, tessellation by the coupling of origami tubes enriches the variations in geometry and mechanical properties. However, thickness accommodation is a critical problem in engineering applications involving the coupling of thick origami tubes. To solve this problem, this study proposes the coupling of thick Miura-ori tubes along the creases for facile fabrication, which sustains the one-degree-of-freedom (DOF) motion of thick Miura-ori tubes owing to the local mirror symmetry around the coupling interfaces. Furthermore, the coupling method contributes to the high stiffness of the coupled Miura-ori tubes, as evidenced by the wide gap in the eigenvalues between the one-DOF mode and the elastic modes obtained by the bar-and-hinge models. Finally, meter-scale coupled Miura-ori tubes were fabricated to demonstrate one-DOF motion and high stiffness. The findings of this study enable the rapid construction of structures by one-DOF motion and enhancement of transportability via flat-foldability.


title: An Actuator with Magnetic Restoration, Part II: Drive Circuit and Control Loops

abstract: In part II, an op-amp-based drive is proposed and designed. Subsequently, a very accurate model for the drive circuit and the current loop is developed as a simulation platform, while its simplified version is derived, tailored for efficient design purposes. Through a comprehensive evaluation, the accuracy and efficacy of both the actuator and drive circuit modeling is scrutinized, showcasing their superiorities over existing approaches. The importance of eddy current modeling is underscored. Also, the effectiveness of the designed current loop and its practical trade-offs are engineered and discussed. Then, three DSP-based position control techniques are implemented: pole placement with voltage drive, pole placement with current drive, and nonlinear control with feed linearization. Both full-order and reduced-order observers are leveraged to estimate the unmeasured states. The performance of control designs across various applications are evaluated through indices such as rise time, overshoot, steady-state error, and large-signal tracking in the step response as well as bandwidth, robustness, phase margin, sensitivity, disturbance rejection, and noise rejection in the frequency domain. The distinctive features of implemented control strategy are compared, offering a nuanced discussion of their respective advantages and drawbacks, shedding light on their potential applications.


title: X-Ray Constraints on the Hot Gaseous Corona of Edge-on Late-type Galaxies in Virgo

abstract: We present a systematic study of the putative hot gas corona around late-type galaxies (LTGs) residing in the Virgo cluster, based on archival Chandra observations. Our sample consists of 21 nearly edge-on galaxies representing a star formation rate (SFR) range of ($0.2-3\rm~M_\odot~yr^{-1}$) a stellar mass ($M_*$) range of $(0.2-10) \times 10^{10}\rm~M_{\odot}$, the majority of which have not been explored with high-sensitivity X-ray observations so far. Significant extraplanar diffuse X-ray (0.5-2 keV) emission is detected in only three LTGs, which are also the three galaxies with the highest SFR. A stacking analysis is performed for the remaining galaxies without individual detection, dividing the whole sample into two subsets based on SFR, stellar mass, or specific SFR. Only the high-SFR bin yields a significant detection, which has a value of $L\rm_X \sim3\times10^{38}\rm~erg~s^{-1}$ per galaxy. The stacked extraplanar X-ray signals of the Virgo LTGs are consistent with the empirical $L\rm_X - SFR$ and $L\rm_X - M_*$ relations found among highly inclined disk galaxies in the field, but appear to be systematically lower than that of a comparison sample of simulated cluster star-formation galaxies identified from the Illustris-TNG100 simulation. The apparent paucity of hot gas coronae in the sampled Virgo LTGs might be understood as the net outcome of the long-lasting effect of ram pressure stripping exerted by the hot intra-cluster medium and in-disk star-forming activity acting on shorter timescales. A better understanding of the roles of environmental effects in regulating the hot gas content of cluster galaxies invites sensitive X-ray observations for a large galaxy sample.


title: Corrigendum: PLS is contained in PLC

abstract: Recently, Pasarkar, Papadimitriou, and Yannakakis (ITCS 2023) have introduced the new TFNP subclass called PLC that contains the class PPP; they also have proven that several search problems related to extremal combinatorial principles (e.g., Ramsey's theorem and the Sunflower lemma) belong to PLC. This short paper shows that the class PLC also contains PLS, a complexity class for TFNP problems that can be solved by a local search method. However, it is still open whether PLC contains the class PPA.


title: Multimodal Misinformation Detection in a South African Social Media Environment

abstract: With the constant spread of misinformation on social media networks, a need has arisen to continuously assess the veracity of digital content. This need has inspired numerous research efforts on the development of misinformation detection (MD) models. However, many models do not use all information available to them and existing research contains a lack of relevant datasets to train the models, specifically within the South African social media environment. The aim of this paper is to investigate the transferability of knowledge of a MD model between different contextual environments. This research contributes a multimodal MD model capable of functioning in the South African social media environment, as well as introduces a South African misinformation dataset. The model makes use of multiple sources of information for misinformation detection, namely: textual and visual elements. It uses bidirectional encoder representations from transformers (BERT) as the textual encoder and a residual network (ResNet) as the visual encoder. The model is trained and evaluated on the Fakeddit dataset and a South African misinformation dataset. Results show that using South African samples in the training of the model increases model performance, in a South African contextual environment, and that a multimodal model retains significantly more knowledge than both the textual and visual unimodal models. Our study suggests that the performance of a misinformation detection model is influenced by the cultural nuances of its operating environment and multimodal models assist in the transferability of knowledge between different contextual environments. Therefore, local data should be incorporated into the training process of a misinformation detection model in order to optimize model performance.


title: Modeling and Design of a Double-Sided Linear Motor with Halbach Array for Low-Vibration and High-Acceleration Applications

abstract: In this paper, Amperian current and magnetic charge models of permanent magnets are integrated into a hybrid approach to develop a comprehensive analytical modeling for designing a slotless double-sided linear motor with an arbitrary Halbach array. Unlike the conventional methods that treat magnets as sources for Poisson's equations, the solution is reduced to Laplace's equations, with magnets being represented as boundary conditions. The proposed hybrid approach reduces the complexity of of the problem, requiring the solution for only two or three regions compared to a large number of regions if either Amperian currents or magnetic charges were utilized. The magnetic fields and potentials within distinct regions, along with machine quantities such as shear stress, force-angle characteristics, torque profile, attraction force, misalignment force, and back-EMF, are derived, comprehensively analyzed, and compared to FEM results for accuracy validation. Finally, a thorough sensitivity analysis and design consideration of a linear stage for high acceleration and low vibration applications is discussed.


title: Queueing Delay Minimization in Overloaded Networks via Rate Control

abstract: We develop link rate control policies to minimize the queueing delay of packets in overloaded networks. We show that increasing link rates does not guarantee delay reduction during overload. We consider a fluid queueing model that facilitates explicit characterization of the queueing delay of packets, and establish explicit conditions on link rates that can minimize the average and maximum queueing delay in both single-hop and multi-stage (switching) networks. These min-delay conditions require maintaining an identical ratio between the ingress and egress rates of different nodes at the same layer of the network. We term the policies that follow these conditions rate-proportional policies. We further generalize the rate-proportional policies to queue-proportional policies, which minimize the queueing delay asymptotically based on the time-varying queue length while remaining agnostic of packet arrival rates. We validate that the proposed policies lead to minimum queueing delay under various network topologies and settings, compared with benchmarks including the backpressure policy that maximizes network throughput and the max-link-rate policy that fully utilizes bandwidth. We further remark that the explicit min-delay policy design in multi-stage networks facilitates co-optimization with other metrics, such as minimizing total bandwidth, balancing link utilization and node buffer usage. This demonstrates the wider utility of our main results in data center network optimization in practice.


title: Jointly spatial-temporal representation learning for individual trajectories

abstract: Individual trajectories, rich in human-environment interaction information across space and time, serve as vital inputs for geospatial foundation models (GeoFMs). However, existing attempts at learning trajectory representations have overlooked the implicit spatial-temporal dependency within trajectories, failing to encode such dependency in a deep learning-friendly format. That poses a challenge in obtaining general-purpose trajectory representations. Therefore, this paper proposes a spatial-temporal joint representation learning method (ST-GraphRL) to formalize learnable spatial-temporal dependencies into trajectory representations. The proposed ST-GraphRL consists of three compositions: (i) a weighted directed spatial-temporal graph to explicitly construct mobility interactions in both space and time dimensions; (ii) a two-stage jointly encoder (i.e., decoupling and fusion), to learn entangled spatial-temporal dependencies by independently decomposing and jointly aggregating space and time information; (iii) a decoder guides ST-GraphRL to learn explicit mobility regularities by simulating the spatial-temporal distributions of trajectories. Tested on three real-world human mobility datasets, the proposed ST-GraphRL outperformed all the baseline models in predicting movement spatial-temporal distributions and preserving trajectory similarity with high spatial-temporal correlations. Analyzing spatial-temporal features presented in latent space validates that ST-GraphRL understands spatial-temporal patterns. This study may also benefit representation learnings of other geospatial data to achieve general-purpose data representations and advance GeoFMs development.


title: A Cost-Effective Test Bench for Evaluating Safe Human-Robot Interaction in Mobile Robotics

abstract: Safety concerns have risen as robots become more integrated into our daily lives and continue to interact closely with humans. One of the most crucial safety priorities is preventing collisions between robots and people walking nearby. Despite developing various algorithms to address this issue, evaluating their effectiveness on a cost-effective test bench remains a significant challenge. In this work, we propose a solution by introducing a simple yet functional platform that enables researchers and developers to assess how humans interact with mobile robots. This platform is designed to provide a quick yet accurate evaluation of the performance of safe interaction algorithms and make informed decisions for future development. The platform's features and structure are detailed, along with the initial testing results using two preliminary algorithms. The results obtained from the evaluation were consistent with theoretical calculations, demonstrating its effectiveness in assessing human-robot interaction. Our solution provides a preliminary yet reliable approach to ensure the safety of both robots and humans in their daily interactions.


title: UOCS-XI. Study of blue straggler stars in open cluster NGC 7142 using UVIT/AstroSat

abstract: We present a study of blue straggler stars (BSSs) of open cluster NGC 7142 using AstroSat/UVIT data and other archival data. Using a machine learning-based algorithm, ML-MOC, on Gaia DR3 data, we find 546 sources as cluster members. Based on the location on the Gaia color-magnitude diagram, we identify ten BSS candidates, also detected in UVIT/F148W filter. We study the variable nature of BSSs by constructing their light curves using the TESS data. Two BSSs reported as eclipsing binaries in Gaia DR3 are confirmed to be eclipsing binaries based on our analysis and also show the presence of hot companions as per the multi-wavelength spectral energy distributions (SEDs). The physical parameters of the hot companions of these two BSSs derived by fitting binary models to their light curves and those derived from the SEDs are found to be in good agreement. Additionally, five more BSSs in the cluster shows UV excess, four of which are likely to have a hot companion based on SEDs. The hot companions with the estimated temperatures $\sim$14000 $-$ 28000 K, radii $\sim$0.01 $-$ 0.05 R$_{\odot}$, and luminosities $\sim$0.03 $-$ 0.1 L$_{\odot}$, are inferred to be extremely low mass ($<$ 0.2 M$_{\odot}$), low-mass (0.2 $-$ 0.4 M$_{\odot}$), normal-mass (0.4 $-$ 0.6 M$_{\odot}$), and high-mass ($>$ 0.6 M$_{\odot}$) white dwarfs (WD). For the first time in an open cluster, we find the entire range of masses in WDs found as hot companions of BSSs. These masses imply that the Case-A/Case-B mass transfer as well as merger are responsible for the formation of at least 60$\%$ of the BSSs of this cluster.


title: On the Torsion Generators of the Mapping Class Groups

abstract: We study torsion generators for the (extended) mapping class group or the extended mapping class group of a closed connected orientable surface of genus g. We show that for every g is grater than or equal to 14, mapping class group can be generated by two torsion elements of order g+1 if g is even, and of orders g+1 and g+1 if g is odd. Also for g grater than or equal to 16, mapping class group can be generated by two torsion elements of orders g+1 if g+1 is not divisible by 3, and of orders g+1 and g+1 if g+1 is divisible by 3. Similarly, we obtain two torsion elements generating extended mapping class groups.


title: Comparing Large Language Model AI and Human-Generated Coaching Messages for Behavioral Weight Loss

abstract: Automated coaching messages for weight control can save time and costs, but their repetitive, generic nature may limit their effectiveness compared to human coaching. Large language model (LLM) based artificial intelligence (AI) chatbots, like ChatGPT, could offer more personalized and novel messages to address repetition with their data-processing abilities. While LLM AI demonstrates promise to encourage healthier lifestyles, studies have yet to examine the feasibility and acceptability of LLM-based BWL coaching. 87 adults in a weight-loss trial rated ten coaching messages' helpfulness (five human-written, five ChatGPT-generated) using a 5-point Likert scale, providing additional open-ended feedback to justify their ratings. Participants also identified which messages they believed were AI-generated. The evaluation occurred in two phases: messages in Phase 1 were perceived as impersonal and negative, prompting revisions for Phase 2 messages. In Phase 1, AI-generated messages were rated less helpful than human-written ones, with 66 percent receiving a helpfulness rating of 3 or higher. However, in Phase 2, the AI messages matched the human-written ones regarding helpfulness, with 82% scoring three or above. Additionally, 50% were misidentified as human-written, suggesting AI's sophistication in mimicking human-generated content. A thematic analysis of open-ended feedback revealed that participants appreciated AI's empathy and personalized suggestions but found them more formulaic, less authentic, and too data-focused. This study reveals the preliminary feasibility and acceptability of LLM AIs, like ChatGPT, in crafting potentially effective weight control coaching messages. Our findings also underscore areas for future enhancement.


title: Differentiable Registration of Images and LiDAR Point Clouds with VoxelPoint-to-Pixel Matching

abstract: Cross-modality registration between 2D images from cameras and 3D point clouds from LiDARs is a crucial task in computer vision and robotic. Previous methods estimate 2D-3D correspondences by matching point and pixel patterns learned by neural networks, and use Perspective-n-Points (PnP) to estimate rigid transformation during post-processing. However, these methods struggle to map points and pixels to a shared latent space robustly since points and pixels have very different characteristics with patterns learned in different manners (MLP and CNN), and they also fail to construct supervision directly on the transformation since the PnP is non-differentiable, which leads to unstable registration results. To address these problems, we propose to learn a structured cross-modality latent space to represent pixel features and 3D features via a differentiable probabilistic PnP solver. Specifically, we design a triplet network to learn VoxelPoint-to-Pixel matching, where we represent 3D elements using both voxels and points to learn the cross-modality latent space with pixels. We design both the voxel and pixel branch based on CNNs to operate convolutions on voxels/pixels represented in grids, and integrate an additional point branch to regain the information lost during voxelization. We train our framework end-to-end by imposing supervisions directly on the predicted pose distribution with a probabilistic PnP solver. To explore distinctive patterns of cross-modality features, we design a novel loss with adaptive-weighted optimization for cross-modality feature description. The experimental results on KITTI and nuScenes datasets show significant improvements over the state-of-the-art methods. The code and models are available at https://github.com/junshengzhou/VP2P-Match.


title: Depth Zero Supercuspidal Representations of Classical Groups into L-packets: the Typically Almost Symmetric Case

abstract: We classify what we call ``typically almost symmetric'' depth zero supercuspidal representations of classical groups into L-packets. Our main results resolve an ambiguity in the paper of Lust-Stevens \cite{Lust-Stevens} in this case, where they could only classify these representations in two or four, if not one, L-packets. By assuming the expected numbers of supercuspidal representations in the L-packets, we employ only simple properties of the representations to prove the main results. In particular, we do not require any deep calculations of character values.


title: A Low-Overhead Incorporation-Extrapolation based Few-Shot CSI Feedback Framework for Massive MIMO Systems

abstract: Accurate channel state information (CSI) is essential for downlink precoding in frequency division duplexing (FDD) massive multiple-input multiple-output (MIMO) systems with orthogonal frequency-division multiplexing (OFDM). However, obtaining CSI through feedback from the user equipment (UE) becomes challenging with the increasing scale of antennas and subcarriers and leads to extremely high CSI feedback overhead. Deep learning-based methods have emerged for compressing CSI but these methods generally require substantial collected samples and thus pose practical challenges. Moreover, existing deep learning methods also suffer from dramatically growing feedback overhead owing to their focus on full-dimensional CSI feedback. To address these issues, we propose a low-overhead Incorporation-Extrapolation based Few-Shot CSI feedback Framework (IEFSF) for massive MIMO systems. An incorporation-extrapolation scheme for eigenvector-based CSI feedback is proposed to reduce the feedback overhead. Then, to alleviate the necessity of extensive collected samples and enable few-shot CSI feedback, we further propose a knowledge-driven data augmentation (KDDA) method and an artificial intelligence-generated content (AIGC) -based data augmentation method by exploiting the domain knowledge of wireless channels and by exploiting a novel generative model, respectively. Experimental results based on the DeepMIMO dataset demonstrate that the proposed IEFSF significantly reduces CSI feedback overhead by 64 times compared with existing methods while maintaining higher feedback accuracy using only several hundred collected samples.


title: An unsupervised approach towards promptable defect segmentation in laser-based additive manufacturing by Segment Anything

abstract: Foundation models are currently driving a paradigm shift in computer vision tasks for various fields including biology, astronomy, and robotics among others, leveraging user-generated prompts to enhance their performance. In the Laser Additive Manufacturing (LAM) domain, accurate image-based defect segmentation is imperative to ensure product quality and facilitate real-time process control. However, such tasks are often characterized by multiple challenges including the absence of labels and the requirement for low latency inference among others. Porosity is a very common defect in LAM due to lack of fusion, entrapped gas, and keyholes, directly affecting mechanical properties like tensile strength, stiffness, and hardness, thereby compromising the quality of the final product. To address these issues, we construct a framework for image segmentation using a state-of-the-art Vision Transformer (ViT) based Foundation model (Segment Anything Model) with a novel multi-point prompt generation scheme using unsupervised clustering. Utilizing our framework we perform porosity segmentation in a case study of laser-based powder bed fusion (L-PBF) and obtain high accuracy without using any labeled data to guide the prompt tuning process. By capitalizing on lightweight foundation model inference combined with unsupervised prompt generation, we envision constructing a real-time anomaly detection pipeline that could revolutionize current laser additive manufacturing processes, thereby facilitating the shift towards Industry 4.0 and promoting defect-free production along with operational efficiency.


title: DiscoBAX: Discovery of Optimal Intervention Sets in Genomic Experiment Design

abstract: The discovery of therapeutics to treat genetically-driven pathologies relies on identifying genes involved in the underlying disease mechanisms. Existing approaches search over the billions of potential interventions to maximize the expected influence on the target phenotype. However, to reduce the risk of failure in future stages of trials, practical experiment design aims to find a set of interventions that maximally change a target phenotype via diverse mechanisms. We propose DiscoBAX, a sample-efficient method for maximizing the rate of significant discoveries per experiment while simultaneously probing for a wide range of diverse mechanisms during a genomic experiment campaign. We provide theoretical guarantees of approximate optimality under standard assumptions, and conduct a comprehensive experimental evaluation covering both synthetic as well as real-world experimental design tasks. DiscoBAX outperforms existing state-of-the-art methods for experimental design, selecting effective and diverse perturbations in biological systems.


title: A Robust and Efficient Boundary Point Detection Method by Measuring Local Direction Dispersion

abstract: Boundary points pose a significant challenge for machine learning tasks, including classification, clustering, and dimensionality reduction. Due to the similarity of features, boundary areas can result in mixed-up classes or clusters, leading to a crowding problem in dimensionality reduction. To address this challenge, numerous boundary point detection methods have been developed, but they are insufficiently to accurately and efficiently identify the boundary points in non-convex structures and high-dimensional manifolds. In this work, we propose a robust and efficient method for detecting boundary points using Local Direction Dispersion (LoDD). LoDD considers that internal points are surrounded by neighboring points in all directions, while neighboring points of a boundary point tend to be distributed only in a certain directional range. LoDD adopts a density-independent K-Nearest Neighbors (KNN) method to determine neighboring points, and defines a statistic-based metric using the eigenvalues of the covariance matrix of KNN coordinates to measure the centrality of a query point. We demonstrated the validity of LoDD on five synthetic datasets (2-D and 3-D) and ten real-world benchmarks, and tested its clustering performance by equipping with two typical clustering methods, K-means and Ncut. Our results show that LoDD achieves promising and robust detection accuracy in a time-efficient manner.


title: Combining inherent knowledge of vision-language models with unsupervised domain adaptation through self-knowledge distillation

abstract: Unsupervised domain adaptation (UDA) tries to overcome the tedious work of labeling data by leveraging a labeled source dataset and transferring its knowledge to a similar but different target dataset. On the other hand, current vision-language models exhibit astonishing zero-shot prediction capabilities. In this work, we combine knowledge gained through UDA with the inherent knowledge of vision-language models. In a first step, we generate the zero-shot predictions of the source and target dataset using the vision-language model. Since zero-shot predictions usually exhibit a large entropy, meaning that the class probabilities are rather evenly distributed, we first adjust the distribution to accentuate the winning probabilities. This is done using both source and target data to keep the relative confidence between source and target data. We then employ a conventional DA method, to gain the knowledge from the source dataset, in combination with self-knowledge distillation, to maintain the inherent knowledge of the vision-language model. We further combine our method with a gradual source domain expansion strategy (GSDE) and show that this strategy can also benefit by including zero-shot predictions. We conduct experiments and ablation studies on three benchmarks (OfficeHome, VisDA, and DomainNet) and outperform state-of-the-art methods. We further show in ablation studies the contributions of different parts of our algorithm.


title: MeanCut: A Greedy-Optimized Graph Clustering via Path-based Similarity and Degree Descent Criterion

abstract: As the most typical graph clustering method, spectral clustering is popular and attractive due to the remarkable performance, easy implementation, and strong adaptability. Classical spectral clustering measures the edge weights of graph using pairwise Euclidean-based metric, and solves the optimal graph partition by relaxing the constraints of indicator matrix and performing Laplacian decomposition. However, Euclidean-based similarity might cause skew graph cuts when handling non-spherical data distributions, and the relaxation strategy introduces information loss. Meanwhile, spectral clustering requires specifying the number of clusters, which is hard to determine without enough prior knowledge. In this work, we leverage the path-based similarity to enhance intra-cluster associations, and propose MeanCut as the objective function and greedily optimize it in degree descending order for a nondestructive graph partition. This algorithm enables the identification of arbitrary shaped clusters and is robust to noise. To reduce the computational complexity of similarity calculation, we transform optimal path search into generating the maximum spanning tree (MST), and develop a fast MST (FastMST) algorithm to further improve its time-efficiency. Moreover, we define a density gradient factor (DGF) for separating the weakly connected clusters. The validity of our algorithm is demonstrated by testifying on real-world benchmarks and application of face recognition. The source code of MeanCut is available at https://github.com/ZPGuiGroupWhu/MeanCut-Clustering.


title: Making Translators Privacy-aware on the User's Side

abstract: We propose PRISM to enable users of machine translation systems to preserve the privacy of data on their own initiative. There is a growing demand to apply machine translation systems to data that require privacy protection. While several machine translation engines claim to prioritize privacy, the extent and specifics of such protection are largely ambiguous. First, there is often a lack of clarity on how and to what degree the data is protected. Even if service providers believe they have sufficient safeguards in place, sophisticated adversaries might still extract sensitive information. Second, vulnerabilities may exist outside of these protective measures, such as within communication channels, potentially leading to data leakage. As a result, users are hesitant to utilize machine translation engines for data demanding high levels of privacy protection, thereby missing out on their benefits. PRISM resolves this problem. Instead of relying on the translation service to keep data safe, PRISM provides the means to protect data on the user's side. This approach ensures that even machine translation engines with inadequate privacy measures can be used securely. For platforms already equipped with privacy safeguards, PRISM acts as an additional protection layer, reinforcing their security furthermore. PRISM adds these privacy features without significantly compromising translation accuracy. Our experiments demonstrate the effectiveness of PRISM using real-world translators, T5 and ChatGPT (GPT-3.5-turbo), and the datasets with two languages. PRISM effectively balances privacy protection with translation accuracy.


title: Markovian quantum master equation with Poincar\'{e} symmetry

abstract: We investigate what kind of Markovian quantum master equation (QME) in the Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) form is realized under Poincar\'{e} symmetry. The solution of the Markovian QME is given by a quantum dynamical semigroup, for which we introduce invariance under Poincar\'{e} transformations. Using the invariance of the dynamical semigroup and applying the unitary representation of Poincar\'{e} group, we derive the Markovian QME for a relativistic massive spin-0 particle. Introducing the field operator of the massive particle and examining its evolution, we find that the field follows a dissipative Klein-Gordon equation. In addition, we show that any two local operators for spacelike separated regions commute with each other. This means that the microcausality condition is satisfied for the dissipative model of the massive particle.


title: A Transformer Model for Symbolic Regression towards Scientific Discovery

abstract: Symbolic Regression (SR) searches for mathematical expressions which best describe numerical datasets. This allows to circumvent interpretation issues inherent to artificial neural networks, but SR algorithms are often computationally expensive. This work proposes a new Transformer model aiming at Symbolic Regression particularly focused on its application for Scientific Discovery. We propose three encoder architectures with increasing flexibility but at the cost of column-permutation equivariance violation. Training results indicate that the most flexible architecture is required to prevent from overfitting. Once trained, we apply our best model to the SRSD datasets (Symbolic Regression for Scientific Discovery datasets) which yields state-of-the-art results using the normalized tree-based edit distance, at no extra computational cost.


title: Synergistic Signals: Exploiting Co-Engagement and Semantic Links via Graph Neural Networks

abstract: Given a set of candidate entities (e.g. movie titles), the ability to identify similar entities is a core capability of many recommender systems. Most often this is achieved by collaborative filtering approaches, i.e. if users co-engage with a pair of entities frequently enough, the embeddings should be similar. However, relying on co-engagement data alone can result in lower-quality embeddings for new and unpopular entities. We study this problem in the context recommender systems at Netflix. We observe that there is abundant semantic information such as genre, content maturity level, themes, etc. that complements co-engagement signals and provides interpretability in similarity models. To learn entity similarities from both data sources holistically, we propose a novel graph-based approach called SemanticGNN. SemanticGNN models entities, semantic concepts, collaborative edges, and semantic edges within a large-scale knowledge graph and conducts representation learning over it. Our key technical contributions are twofold: (1) we develop a novel relation-aware attention graph neural network (GNN) to handle the imbalanced distribution of relation types in our graph; (2) to handle web-scale graph data that has millions of nodes and billions of edges, we develop a novel distributed graph training paradigm. The proposed model is successfully deployed within Netflix and empirical experiments indicate it yields up to 35% improvement in performance on similarity judgment tasks.


title: Voice Recognition Robot with Real-Time Surveillance and Automation

abstract: Voice recognition technology enables the execution of real-world operations through a single voice command. This paper introduces a voice recognition system that involves converting input voice signals into corresponding text using an Android application. The text messages are then transmitted through Bluetooth connectivity, serving as a communication platform. Simultaneously, a controller circuit, equipped with a Bluetooth module, receives the text signal and, following a coding mechanism, executes real-world operations. The paper extends the application of voice recognition to real-time surveillance and automation, incorporating obstacle detection and avoidance mechanisms, as well as control over lighting and horn functions through predefined voice commands. The proposed technique not only serves as an assistive tool for individuals with disabilities but also finds utility in industrial automation, enabling robots to perform specific tasks with precision.


title: Information Design for Hybrid Work under Infectious Disease Transmission Risk

abstract: We study a planner's provision of information to manage workplace occupancy when strategic workers (agents) face risk of infectious disease transmission. The planner implements an information mechanism to signal information about the underlying risk of infection at the workplace. Agents update their belief over the risk parameter using this information and choose to work in-person or remotely. We address the design of the optimal signaling mechanism that best aligns the workplace occupancy with the planner's preference (i.e., maintaining safe capacity limits and operational efficiency at workplace). For various forms of planner preferences, we show numerical and analytical proof that interval-based information mechanisms are optimal. These mechanisms partition the continuous domain of the risk parameter into disjoint intervals and provision information based on interval-specific probability distributions over a finite set of signals. When the planner seeks to achieve an occupancy that lies in one of finitely many pre-specified ranges independent of the underlying risk, we provide an optimal mechanism that uses at most two intervals. On the other hand, when the preference on the occupancy is risk-dependent, we show that an approximately optimal interval-based mechanism can be computed efficiently. We bound the approximation loss for preferences that are expressed through a Lipschitz continuous function of both occupancy and risk parameter. We provide examples that demonstrate the improvement of proposed signaling mechanisms relative to the common benchmarks in information provision. Our findings suggest that information provision over the risk of disease transmission is an effective intervention for maintaining desirable occupancy levels at the workplace.


title: Inner bounding the quantum entropy cone with subadditivity and subsystem coarse grainings

abstract: We show via explicit construction that all the extreme rays of both the three-party quantum entropy cone and the four-party stabilizer entropy cone can be obtained from subsystem coarse grainings of specific higher-party quantum states, namely extreme states characterized by saturating a (non-trivial) maximal set of instances of subadditivity. This suggests that the study of the ``subadditivity cone'', and the set of its extreme rays realizable in quantum mechanics, provides a powerful tool for deriving inner bounds for the quantum and stabilizer entropy cones, as well as constraints on new inequalities for the von Neumann entropy.


title: More on Equivalent Formulation of Implicit Complementarity Problem

abstract: This article presents an equivalent formulation of the implicit complementarity problem. We demonstrate that solution of the equivalent formulation is equivalent to the solution of the implicit complementarity problem. Moreover, we provide another equivalent formulation of the implicit complementarity problem using a strictly increasing function.


title: Large Language Models are Good Prompt Learners for Low-Shot Image Classification

abstract: Low-shot image classification, where training images are limited or inaccessible, has benefited from recent progress on pre-trained vision-language (VL) models with strong generalizability, e.g. CLIP. Prompt learning methods built with VL models generate text features from the class names that only have confined class-specific information. Large Language Models (LLMs), with their vast encyclopedic knowledge, emerge as the complement. Thus, in this paper, we discuss the integration of LLMs to enhance pre-trained VL models, specifically on low-shot classification. However, the domain gap between language and vision blocks the direct application of LLMs. Thus, we propose LLaMP, Large Language Models as Prompt learners, that produces adaptive prompts for the CLIP text encoder, establishing it as the connecting bridge. Experiments show that, compared with other state-of-the-art prompt learning methods, LLaMP yields better performance on both zero-shot generalization and few-shot image classification, over a spectrum of 11 datasets. Code will be made available at: https://github.com/zhaohengz/LLaMP.


title: When is Plasmode simulation superior to parametric simulation when estimating the MSE of the least squares estimator in linear regression?

abstract: Simulation is a crucial tool for the evaluation and comparison of statistical methods. How to design fair and neutral simulation studies is therefore of great interest for researchers developing new methods and practitioners confronted with the choice of the most suitable method. The term simulation usually refers to parametric simulation, that is, computer experiments using artificial data made up of pseudo-random numbers. Plasmode simulation, that is, computer experiments using the combination of resampling feature data from a real-life dataset and generating the target variable with a known user-selected outcome-generating model (OGM), is an alternative that is often claimed to produce more realistic data. We compare parametric and Plasmode simulation for the example of estimating the mean squared error (MSE) of the least squares estimator (LSE) in linear regression. If the true underlying data-generating process (DGP) and the OGM were known, parametric simulation would obviously be the best choice in terms of estimating the MSE well. However, in reality, both are usually unknown, so researchers have to make assumptions: in Plasmode simulation for the OGM, in parametric simulation for both DGP and OGM. Most likely, these assumptions do not exactly reflect the truth. Here, we aim to find out how assumptions deviating from the true DGP and the true OGM affect the performance of parametric and Plasmode simulations in the context of MSE estimation for the LSE and in which situations which simulation type is preferable. Our results suggest that the preferable simulation method depends on many factors, including the number of features, and on how and to what extent the assumptions of a parametric simulation differ from the true DGP. Also, the resampling strategy used for Plasmode influences the results. In particular, subsampling with a small sampling proportion can be recommended.


title: A Review and Taxonomy of Methods for Quantifying Dataset Similarity

abstract: In statistics and machine learning, measuring the similarity between two or more datasets is important for several purposes. The performance of a predictive model on novel datasets, referred to as generalizability, critically depends on how similar the dataset used for fitting the model is to the novel datasets. Exploiting or transferring insights between similar datasets is a key aspect of meta-learning and transfer-learning. In two-sample testing, it is checked, whether the underlying (multivariate) distributions of two datasets coincide or not. Extremely many approaches for quantifying dataset similarity have been proposed in the literature. A structured overview is a crucial first step for comparisons of approaches. We examine more than 100 methods and provide a taxonomy, classifying them into ten classes, including (i) comparisons of cumulative distribution functions, density functions, or characteristic functions, (ii) methods based on multivariate ranks, (iii) discrepancy measures for distributions, (iv) graph-based methods, (v) methods based on inter-point distances, (vi) kernel-based methods, (vii) methods based on binary classification, (viii) distance and similarity measures for datasets, (ix) comparisons based on summary statistics, and (x) different testing approaches. Here, we present an extensive review of these methods. We introduce the main underlying ideas, formal definitions, and important properties.


title: Device independent security of quantum key distribution from monogamy-of-entanglement games

abstract: We analyse two party non-local games whose predicate requires Alice and Bob to generate matching bits, and their three party extensions where a third player receives all inputs and is required to output a bit that matches that of the original players. We propose a general device independent quantum key distribution protocol for the subset of such non-local games that satisfy a monogamy-of-entanglement property characterised by a gap in the maximum winning probability between the bipartite and tripartite versions of the game. This gap is due to the optimal strategy for two players requiring entanglement, which due to its monogamy property cannot be shared with any additional players. Based solely on the monogamy-of-entanglement property, we provide a simple proof of information theoretic security of our protocol. Lastly, we numerically optimize the finite and asymptotic secret key rates of our protocol using the magic square game as an example, for which we provide a numerical bound on the maximal tripartite quantum winning probability which closely matches the bipartite classical winning probability. Further, we show that our protocol is robust for depolarizing noise up to about $2.2\%$, providing the first such bound for general attacks for magic square based quantum key distribution.


title: Mass Ratio Dependence of Three-Body Resonance Lifetimes in 1D and 3D

abstract: We present a theoretical study of resonance lifetimes in a two-component three-body system, specifically examining the decay of three-body resonances into a deep dimer and an unbound particle. Utilising the Gaussian expansion method together with the complex scaling method, we obtain the widths of these resonances from first principles. We focus on mass ratios in the typical range for mixtures of ultracold atoms and reveal an intriguing dependence of the resonance widths on the mass ratio: as the mass ratio increases, the widths exhibit oscillations on top of an overall decreasing trend. In particular, for some mass ratios the resonance width vanishes, implying that the resonance becomes in fact stable. Notably, near the mass ratio for Caesium-Lithium mixtures, we obtain nearly vanishing widths of the resonances which validates to treat them in the bound-state approximation. In addition, we perform our analysis of the resonance widths in both one and three dimensions and find a qualitatively similar dependence on the mass ratio.


title: Rate-splitting Multiple Access for Hierarchical HAP-LAP Networks under Limited Fronthaul

abstract: In this correspondence, we propose hierarchical high-altitude platform (HAP)-low-altitude platform (LAP) networks with the aim of maximizing the sum-rate of ground user equipments (UEs). The multiple aerial radio units (RUs) mounted on HAPs and LAPs are managed by the central unit (CU) via constrained fronthaul links. The limitation of fronthaul capacity can be addressed through quantization, employing the cloud radio access network (C-RAN) architecture. For spectral efficiency, we adopt the rate-splitting multiple access (RSMA), leveraging the advantages of both space-division multiple access (SDMA) and non-orthogonal multiple access (NOMA). To achieve this, we jointly optimize rate splitting, transmit power allocation, quantization noise variance, and UAV placement using an alternating optimization (AO) approach coupled with successive convex approximation (SCA) and the weighted minimum mean square error (WMMSE) method. Numerical results validate the superior performance of the proposed method compared to benchmark schemes, including partial optimizations or those without the assistance of LAPs.


title: Quasi-Babinet principle in dielectric resonators and Mie voids

abstract: Advancing resonant nanophotonics requires novel building blocks. Recently, cavities in high-index dielectrics have been shown to resonantly confine light inside a lower-index region. These so-called Mie voids represent a counterpart to solid high-index dielectric Mie resonators, offering novel functionality such as resonant behavior in the ultraviolet spectral region. However, the well-known and highly useful Babinet's principle, which relates the scattering of solid and inverse structures, is not strictly applicable for this dielectric case as it is only valid for infinitesimally thin perfect electric conductors. Here, we show that Babinet's principle can be generalized to dielectric systems within certain boundaries, which we refer to as the quasi-Babinet principle and demonstrate for spherical and more generically shaped Mie resonators. Limitations arise due to geometry-dependent terms as well as material frequency dispersion and losses. Thus, our work not only offers deeper physical insight into the working mechanism of these systems but also establishes simple design rules for constructing dielectric resonators with complex functionalities from their complementary counterparts.


title: On the adaptation of in-context learners for system identification

abstract: In-context system identification aims at constructing meta-models to describe classes of systems, differently from traditional approaches that model single systems. This paradigm facilitates the leveraging of knowledge acquired from observing the behaviour of different, yet related dynamics. This paper discusses the role of meta-model adaptation. Through numerical examples, we demonstrate how meta-model adaptation can enhance predictive performance in three realistic scenarios: tailoring the meta-model to describe a specific system rather than a class; extending the meta-model to capture the behaviour of systems beyond the initial training class; and recalibrating the model for new prediction tasks. Results highlight the effectiveness of meta-model adaptation to achieve a more robust and versatile meta-learning framework for system identification.


abstract: Equations of fluid mechanics with N=1 Schrodinger supersymmetry are formulated within the method of nonlinear realizations of Lie groups.


title: Impact of primordial black holes on the formation of the first stars and galaxies

abstract: Recent gravitational wave (GW) observations of binary black hole (BH) mergers and the stochastic GW background have triggered renewed interest in primordial black holes (PBHs) in the stellar-mass ($\sim 10 - 100\ \rm M_\odot$) and supermassive regimes ($\sim 10^7 - 10^{11}\ \rm M_\odot$). Although only a small fraction ($\lesssim 1\%$) of dark matter (DM) in the form of PBHs is required to explain such observations, these PBHs may play important roles in early structure/star/galaxy formation. In this chapter, we combine semi-analytical analysis and cosmological simulations to explore the possible impact of PBHs on the formation of the first stars and galaxies, taking into account two (competing) effects of PBHs: acceleration of structure formation and gas heating by BH accretion feedback. We find that the impact of stellar-mass PBHs (allowed by existing observational constraints) on primordial star formation is likely minor, although they do alter the properties of the first star-forming halos/clouds and can potentially trigger the formation of massive BHs, while supermassive PBHs serve as seeds of massive structures that can explain the apparent overabundance of massive galaxies in recent observations. Our tentative models and results call for future studies with improved modeling of the interactions between PBHs, particle DM, and baryons to better understand the impact of PBHs on early star/galaxy/structure formation and their imprints in high-redshift observations.


title: MTVG : Multi-text Video Generation with Text-to-Video Models

abstract: Recently, video generation has attracted massive attention and yielded noticeable outcomes. Concerning the characteristics of video, multi-text conditioning incorporating sequential events is necessary for next-step video generation. In this work, we propose a novel multi-text video generation~(MTVG) by directly utilizing a pre-trained diffusion-based text-to-video~(T2V) generation model without additional fine-tuning. To generate consecutive video segments, visual consistency generated by distinct prompts is necessary with diverse variations, such as motion and content-related transitions. Our proposed MTVG includes Dynamic Noise and Last Frame Aware Inversion which reinitialize the noise latent to preserve visual coherence between videos of different prompts and prevent repetitive motion or contents. Furthermore, we present Structure Guiding Sampling to maintain the global appearance across the frames in a single video clip, where we leverage iterative latent updates across the preceding frame. Additionally, our Prompt Generator allows for arbitrary format of text conditions consisting of diverse events. As a result, our extensive experiments, including diverse transitions of descriptions, demonstrate that our proposed methods show superior generated outputs in terms of semantically coherent and temporally seamless video.Video examples are available in our project page: https://kuai-lab.github.io/mtvg-page.


title: VRPTEST: Evaluating Visual Referring Prompting in Large Multimodal Models

abstract: With recent advancements in Large Multimodal Models (LMMs) across various domains, a novel prompting method called visual referring prompting has emerged, showing significant potential in enhancing human-computer interaction within multimodal systems. This method offers a more natural and flexible approach to human interaction with these systems compared to traditional text descriptions or coordinates. However, the categorization of visual referring prompting remains undefined, and its impact on the performance of LMMs has yet to be formally examined. In this study, we conduct the first comprehensive analysis of LMMs using a variety of visual referring prompting strategies. We introduce a benchmark dataset called VRPTEST, comprising 3 different visual tasks and 2,275 images, spanning diverse combinations of prompt strategies. Using VRPTEST, we conduct a comprehensive evaluation of eight versions of prominent open-source and proprietary foundation models, including two early versions of GPT-4V. We develop an automated assessment framework based on software metamorphic testing techniques to evaluate the accuracy of LMMs without the need for human intervention or manual labeling. We find that the current proprietary models generally outperform the open-source ones, showing an average accuracy improvement of 22.70%; however, there is still potential for improvement. Moreover, our quantitative analysis shows that the choice of prompt strategy significantly affects the accuracy of LMMs, with variations ranging from -17.5% to +7.3%. Further case studies indicate that an appropriate visual referring prompting strategy can improve LMMs' understanding of context and location information, while an unsuitable one might lead to answer rejection. We also provide insights on minimizing the negative impact of visual referring prompting on LMMs.


title: Efficient Maximum Fair Clique Search over Large Networks

abstract: Mining cohesive subgraphs in attributed graphs is an essential problem in the domain of graph data analysis. The integration of fairness considerations significantly fuels interest in models and algorithms for mining fairness-aware cohesive subgraphs. Notably, the relative fair clique emerges as a robust model, ensuring not only comprehensive attribute coverage but also greater flexibility in distributing attribute vertices. Motivated by the strength of this model, we for the first time pioneer an investigation into the identification of the maximum relative fair clique in large-scale graphs. We introduce a novel concept of colorful support, which serves as the foundation for two innovative graph reduction techniques. These techniques effectively narrow the graph's size by iteratively removing edges that do not belong to relative fair cliques. Furthermore, a series of upper bounds of the maximum relative fair clique size is proposed by incorporating consideration of vertex attributes and colors. The pruning techniques derived from these upper bounds can significantly trim unnecessary search space during the branch-and-bound procedure. Adding to this, we present a heuristic algorithm with a linear time complexity, employing both a degree-based greedy strategy and a colored degree-based greedy strategy to identify a larger relative fair clique. This heuristic algorithm can serve a dual purpose by aiding in branch pruning, thereby enhancing overall search efficiency. Extensive experiments conducted on six real-life datasets demonstrate the efficiency, scalability, and effectiveness of our algorithms.


title: Open-Vocabulary Segmentation with Semantic-Assisted Calibration

abstract: This paper studies open-vocabulary segmentation (OVS) through calibrating in-vocabulary and domain-biased embedding space with generalized contextual prior of CLIP. As the core of open-vocabulary understanding, alignment of visual content with the semantics of unbounded text has become the bottleneck of this field. To address this challenge, recent works propose to utilize CLIP as an additional classifier and aggregate model predictions with CLIP classification results. Despite their remarkable progress, performance of OVS methods in relevant scenarios is still unsatisfactory compared with supervised counterparts. We attribute this to the in-vocabulary embedding and domain-biased CLIP prediction. To this end, we present a Semantic-assisted CAlibration Network (SCAN). In SCAN, we incorporate generalized semantic prior of CLIP into proposal embedding to avoid collapsing on known categories. Besides, a contextual shift strategy is applied to mitigate the lack of global context and unnatural background noise. With above designs, SCAN achieves state-of-the-art performance on all popular open-vocabulary segmentation benchmarks. Furthermore, we also focus on the problem of existing evaluation system that ignores semantic duplication across categories, and propose a new metric called Semantic-Guided IoU (SG-IoU).


title: A Review of Sequential Decision Making via Simulation

abstract: Optimization via simulation has been well established to find optimal solutions and designs in complex systems. However, it still faces modeling and computational challenges when extended to the multi-stage setting. This survey reviews the models and methodologies of single-stage optimization via simulation and multi-stage stochastic programming. These are necessary theoretical components to push forward the development of sequential decision making via simulation. We identify the key challenge of sequential decision making via simulation as the appropriate modeling of the stage-wise value function, for which we survey the state-of-the-art meta-models and their potential solution algorithms.


title: Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing

abstract: In 2023, Kuznetsov and Speranski introduced infinitary action logic with multiplexing $!^m\nabla \mathrm{ACT}_\omega$ and proved that the derivability problem for it lies between the $\omega$ and $\omega^\omega$ levels of the hyperarithmetical hierarchy. We prove that this problem is $\Delta^0_{\omega^\omega}$-complete under Turing reductions. Namely, we show that it is recursively isomorphic to the satisfaction predicate for computable infinitary formulas of rank less than $\omega^\omega$ in the language of arithmetic. As a consequence we prove that the closure ordinal for $!^m\nabla \mathrm{ACT}_\omega$ equals $\omega^\omega$. We also prove that the fragment of $!^m\nabla \mathrm{ACT}_\omega$ where Kleene star is not allowed to be in the scope of the subexponential is $\Delta^0_{\omega^\omega}$-complete. Finally, we present a family of logics, which are fragments of $!^m\nabla \mathrm{ACT}_\omega$, such that the complexity of the $k$-th logic lies between $\Delta^0_{\omega^k}$ and $\Delta^0_{\omega^{k+1}}$.


title: Data stewardship: case studies from North-American, Dutch, and Finnish universities

abstract: Purpose - As national legislation, federated national services, institutional policies and institutional research service organizations may differ, data stewardship transpires differently in higher education institutions across the world. This work seeks to elaborate the picture of different data stewardship programs running in different institutional arrangements and research environments. Design/methodology/approach - Drawing from autoethnography and case study methods, this study described three distinct data stewardship programs from Purdue University (United States), Delft Technical University (Netherlands) and Aalto University (Finland). In addition, this work investigated the institutional arrangements and national research environments of the programs. The focus was on initiatives led by academic libraries or similar services. Findings - This work demonstrates that data stewardship may be understood differently within different national and institutional contexts. The data stewardship programs differed in terms of roles, organization and funding structures. Moreover, the mesh of policies and legislation, organizational structures, and national infrastructures differed. Originality - This work broadens the current literature on data stewardship by not only providing detailed descriptions of three distinct data stewardship programs, but also highlighting how research environments may affect their organization. We argue that the knowledge of institutional and national arrangements is a transversal requirement of data stewardship. Research limitations/implications - The data stewardship programs and their contexts develop, and the descriptions presented in this work should be considered as snapshots. Although individual researchers and research groups may undertake data stewardship activities, this study only investigated formalized services.


title: Dissipationless gyrotropic magnetic Hall effect

abstract: A dissipationless longitudinal current can be generated by a pure magnetic field through the chiral magnetic effect. Herein, we propose that a pure oscillating magnetic field through Zeeman coupling can further drive an AC magnetic Hall current in two-dimensional systems without inversion symmetry. We dub this effect the "gyrotropic magnetic Hall effect" (GMHE), in analogy with the gyrotropic current achieved by rectifying the optical fields. Importantly, we find that the GMHE conductivity is a reactive or dissipationless transport coefficient, which is even under time-reversal symmetry. We reveal the "Zeeman Berry curvature" as the quantum origin of the GMHE, whose integral over all states below the Fermi energy gives the GMHE conductivity. Furthermore, by symmetry analysis, we show that the GMHE can appear in a wide range of two-dimensional materials. To demonstrate our proposal, we evaluate the GMHE current in two-dimensional Rashba system and in the surface of topological insulator, where a low-frequency magnetic field with a small amplitude can be converted into a detectable Hall voltage.


title: Singular backward stochastic Volterra integral equations in infinite dimensional spaces

abstract: In this paper, the notion of singular backward stochastic Volterra integral equations (singular BSVIEs for short) in infinite dimensional space is introduced, and the corresponding well-posedness is carefully established. A class of singularity conditions are proposed, which not only cover that of fractional kernel, Volterra Heston model kernel, completely monotone kernels, to mention a few, but also happen to be used in the forward stochastic Volterra integral with new conclusions arising. Motivated by mathematical physics problem such as the viscoelasticity/thermoviscoelasticity of materials, heat conduction in materials with memory, optimal control problems of abstract stochastic Volterra integral equations (including fractional stochastic evolution equations and stochastic evolutionary integral equations) are presented. At last, our BSVIEs are surprisingly used in maximum principle of controlled stochastic delay evolution equations. One advantage of this new standpoint is that the final cost functional can naturally depend on the past state for the first time.


title: Learn to Unlearn for Deep Neural Networks: Minimizing Unlearning Interference with Gradient Projection

abstract: Recent data-privacy laws have sparked interest in machine unlearning, which involves removing the effect of specific training samples from a learnt model as if they were never present in the original training dataset. The challenge of machine unlearning is to discard information about the ``forget'' data in the learnt model without altering the knowledge about the remaining dataset and to do so more efficiently than the naive retraining approach. To achieve this, we adopt a projected-gradient based learning method, named as Projected-Gradient Unlearning (PGU), in which the model takes steps in the orthogonal direction to the gradient subspaces deemed unimportant for the retaining dataset, so as to its knowledge is preserved. By utilizing Stochastic Gradient Descent (SGD) to update the model weights, our method can efficiently scale to any model and dataset size. We provide empirically evidence to demonstrate that our unlearning method can produce models that behave similar to models retrained from scratch across various metrics even when the training dataset is no longer accessible. Our code is available at https://github.com/hnanhtuan/projected_gradient_unlearning.


title: MediHunt: A Network Forensics Framework for Medical IoT Devices

abstract: The Medical Internet of Things (MIoT) has enabled small, ubiquitous medical devices to communicate with each other to facilitate interconnected healthcare delivery. These devices interact using communication protocols like MQTT, Bluetooth, and Wi-Fi. However, as MIoT devices proliferate, these networked devices are vulnerable to cyber-attacks. This paper focuses on the vulnerabilities present in the Message Queuing Telemetry and Transport (MQTT) protocol. The MQTT protocol is prone to cyber-attacks that can harm the system's functionality. The memory-constrained MIoT devices enforce a limitation on storing all data logs that are required for comprehensive network forensics. This paper solves the data log availability challenge by detecting the attack in real-time and storing the corresponding logs for further analysis with the proposed network forensics framework: MediHunt. Machine learning (ML) techniques are the most real safeguard against cyber-attacks. However, these models require a specific dataset that covers diverse attacks on the MQTT-based IoT system for training. The currently available datasets do not encompass a variety of applications and TCP layer attacks. To address this issue, we leveraged the usage of a flow-based dataset containing flow data for TCP/IP layer and application layer attacks. Six different ML models are trained with the generated dataset to evaluate the effectiveness of the MediHunt framework in detecting real-time attacks. F1 scores and detection accuracy exceeded 0.99 for the proposed MediHunt framework with our custom dataset.


title: Comments on a Paper by Narovlansky and Verlinde

abstract: The double-scaled infinite temperature limit of the SYK model has been conjectured by Rahman and Susskind (RS) [1, 2, 3, 4], and independently by Verlinde [5] to be dual to a certain low dimensional de Sitter space. In a recent discussion of this conjecture Narovlansky and Verlinde (NV) [6] came to conclusions which radically differ from those of RS. In particular these conclusions disagree by factors which diverge as $N \to \infty$. Among these is a mismatch between the scaling of boundary entropy and bulk horizon area. In this note, we point out differences in two key assumptions made by RS and NV which lead to these mismatches, and explain why we think the RS assumptions are correct. When the NV assumptions, which we believe are unwarranted, are replaced by those of RS, the conclusions match both RS and the standard relation between entropy and area. In the process of discussing these, we will shed some light on: the various notions of temperature that appear in the duality; the relationship between Hamiltonian energy and bulk mass; and the location of bulk conical defect states in the spectrum of DSSYK$_{\infty}$.


title: Unveiling a hidden bar-like structure in NGC1087: kinematic and photometric evidence using MUSE/VLT, ALMA and JWST

abstract: We report a faint non-axisymmetric structure in NGC\,1087 through the use of JWST Near Infrared Camera { (NIRCam)}, with an associated kinematic counterpart observed as an oval distortion in the stellar velocity map, \ha~and CO~$J=2\rightarrow1$ velocity fields. This structure is not evident in the MUSE optical continuum images but only revealed in the near-IR with the F200W and F300M band filters at $2\mu$m and $3\mu$m respectively. Due to its elongation, this structure resembles a stellar bar although with remarkable differences with respect to conventional stellar bars. Most of the near-IR emission is concentrated within $6\arcsec~\sim500$~pc with a maximum extension up to 1.2~kpc. The spatial extension of the large-scale non-circular motions is coincident with the bar, which undoubtedly confirms the presence of a non-axisymmetric perturbation in the potential of NGC\,1087. The oval distortion is enhanced in CO due to its dynamically cold nature rather than in \ha. We found that the kinematics in all phases including stellar, ionized and molecular, can be described simultaneously by a model containing a bisymmetric perturbation; however, we find that an inflow model of gas along the bar major axis is also likely. Furthermore the molecular mass inflow rate associated can explain the observed star formation rate in the bar. This reinforces the idea that bars are mechanisms for transporting gas and triggering star formation. This work contributes to our understanding of non-axisymmetry in galaxies using the most sophisticated data so far.


title: Continuity of the critical value for long-range percolation

abstract: We show that for long-range percolation with polynomially decaying connection probabilities in dimension $d\geq 2$, the critical value depends continuously on the precise specifications of the model. Among other things, we use this result to show transience of the infinite supercritical long-range percolation cluster in dimension $d\geq 3$ and to prove a shape theorem for super-critical long-range percolation in the strong decay regime.


title: A framework for securing email entrances and mitigating phishing impersonation attacks

abstract: Emails are used every day for communication, and many countries and organisations mostly use email for official communications. It is highly valued and recognised for confidential conversations and transactions in day-to-day business. The Often use of this channel and the quality of information it carries attracted cyber attackers to it. There are many existing techniques to mitigate attacks on email, however, the systems are more focused on email content and behaviour and not securing entrances to email boxes, composition, and settings. This work intends to protect users' email composition and settings to prevent attackers from using an account when it gets hacked or hijacked and stop them from setting forwarding on the victim's email account to a different account which automatically stops the user from receiving emails. A secure code is applied to the composition send button to curtail insider impersonation attack. Also, to secure open applications on public and private devices.


title: Edge computing service deployment and task offloading based on multi-task high-dimensional multi-objective optimization

abstract: The Mobile Edge Computing (MEC) system located close to the client allows mobile smart devices to offload their computations onto edge servers, enabling them to benefit from low-latency computing services. Both cloud service providers and users seek more comprehensive solutions, necessitating judicious decisions in service deployment and task offloading while balancing multiple objectives. This study investigates service deployment and task offloading challenges in a multi-user environment, framing them as a multi-task high-dimensional multi-objective optimization (MT-HD-MOO) problem within an edge environment. To ensure stable service provisioning, beyond considering latency, energy consumption, and cost as deployment objectives, network reliability is also incorporated. Furthermore, to promote equitable usage of edge servers, load balancing is introduced as a fourth task offloading objective, in addition to latency, energy consumption, and cost. Additionally, this paper designs a MT-HD-MOO algorithm based on a multi-selection strategy to address this model and its solution. By employing diverse selection strategies, an environment selection strategy pool is established to enhance population diversity within the high-dimensional objective space. Ultimately, the algorithm's effectiveness is verified through simulation experiments.


title: Improving the Load Flexibility of Stratified Electric Water Heaters: Design and Experimental Validation of MPC Strategies

abstract: Residential electric water heaters have significant load shifting capabilities due to their thermal heat capacity and large energy consumption. Model predictive control (MPC) has been shown to be an effective control strategy to enable water heater load shifting in home energy management systems. In this work, we analyze how modeling tank stratification in an MPC formulation impacts control performance for stratified electric water heaters under time-of-use (TOU) rates. Specifically, we propose an MPC formulation based on a three-node thermal model that captures tank stratification, and compare it to a one-node formulation that does not capture stratification and a standard thermostatic controller. These strategies are compared through both real-time laboratory testing and simulation-based evaluation for different water use patterns. Laboratory experiments show cost reductions of 12.3-23.2% for the one-node MPC and 31.2-42.5% for the three-node MPC relative to the thermostatic controller. The performance of the one-node MPC is limited by significant plant-model mismatch, while the three-node formulation better approximates real-world dynamics and results in much more effective cost reduction and load shifting. A simple analysis of how each strategy performs under water use forecast errors is also provided.


title: Enhancing the Rationale-Input Alignment for Self-explaining Rationalization

abstract: Rationalization empowers deep learning models with self-explaining capabilities through a cooperative game, where a generator selects a semantically consistent subset of the input as a rationale, and a subsequent predictor makes predictions based on the selected rationale. In this paper, we discover that rationalization is prone to a problem named \emph{rationale shift}, which arises from the algorithmic bias of the cooperative game. Rationale shift refers to a situation where the semantics of the selected rationale may deviate from the original input, but the predictor still produces accurate predictions based on the deviation, resulting in a compromised generator with misleading feedback. To address this issue, we first demonstrate the importance of the alignment between the rationale and the full input through both empirical observations and theoretical analysis. Subsequently, we introduce a novel approach called DAR (\textbf{D}iscriminatively \textbf{A}ligned \textbf{R}ationalization), which utilizes an auxiliary module pretrained on the full input to discriminatively align the selected rationale and the original input. We theoretically illustrate how DAR accomplishes the desired alignment, thereby overcoming the rationale shift problem. The experiments on two widely used real-world benchmarks show that the proposed method significantly improves the explanation quality (measured by the overlap between the model-selected explanation and the human-annotated rationale) as compared to state-of-the-art techniques. Additionally, results on two synthetic settings further validate the effectiveness of DAR in addressing the rationale shift problem.


title: Dislocations in twistronic heterostructures

abstract: Long-period moir\'e superlattices at the twisted interface of van der Waals heterostructures relax into preferential-stacking domains separated by dislocation networks. Here, we develop a mesoscale theory for dislocations in the networks formed in twistronic bilayers with parallel (P) and antiparallel (AP) alignment of unit cells across the twisted interface. For P bilayers we find an exact analytical displacement field across partial dislocations and determine analytic dependences of energy per unit length and width on orientation and microscopic model parameters. For AP bilayers we formulate a semi-analytical approximation for displacement fields across perfect dislocations, establishing parametric dependences for their widths and energies per unit length. In addition, we find regions in parametric space of crystal thicknesses and moir\'e periods for strong and weak relaxation of moir\'e pattern in multilayered twistronic heterostructures.


title: Comparative study on compact quantum circuits of hybrid quantum-classical algorithms for quantum impurity models

abstract: Predicting the properties of strongly correlated materials is a significant challenge in condensed matter theory. The widely used dynamical mean-field theory faces difficulty in solving quantum impurity models numerically. Hybrid quantum--classical algorithms such as variational quantum eigensolver emerge as a potential solution for quantum impurity models. A common challenge in these algorithms is the rapid growth of the number of variational parameters with the number of spin-orbitals in the impurity. In our approach to this problem, we develop compact ansatzes using a combination of two different strategies. First, we employ compact physics-inspired ansatz, $k$-unitary cluster Jastrow ansatz, developed in the field of quantum chemistry. Second, we eliminate largely redundant variational parameters of physics-inspired ansatzes associated with bath sites based on physical intuition. This is based on the fact that a quantum impurity model with a star-like geometry has no direct hopping between bath sites. We benchmark the accuracy of these ansatzes for both ground-state energy and dynamic quantities by solving typical quantum impurity models with/without shot noise. The results suggest that we can maintain the accuracy of ground-state energy while we drop the number of variational parameters associated with bath sites. Furthermore, we demonstrate that a moment expansion, when combined with the proposed ansatzes, can calculate the imaginary-time Green's functions under the influence of shot noise. This study demonstrates the potential for addressing complex impurity models in large-scale quantum simulations with fewer variational parameters without sacrificing accuracy.


title: Identity-Obscured Neural Radiance Fields: Privacy-Preserving 3D Facial Reconstruction

abstract: Neural radiance fields (NeRF) typically require a complete set of images taken from multiple camera perspectives to accurately reconstruct geometric details. However, this approach raise significant privacy concerns in the context of facial reconstruction. The critical need for privacy protection often leads invidividuals to be reluctant in sharing their facial images, due to fears of potential misuse or security risks. Addressing these concerns, we propose a method that leverages privacy-preserving images for reconstructing 3D head geometry within the NeRF framework. Our method stands apart from traditional facial reconstruction techniques as it does not depend on RGB information from images containing sensitive facial data. Instead, it effectively generates plausible facial geometry using a series of identity-obscured inputs, thereby protecting facial privacy.


title: Dynamic Quantum Group Key Agreement via Tree Key Graphs

abstract: Quantum key distribution (QKD) protocols are essential to guarantee information-theoretic security in quantum communication. Although there was some previous work on quantum group key distribution, they still face many challenges under a ``\textit{dynamic}'' group communication scenario. In particular, when the group keys need to be updated in real-time for each user joining or leaving to ensure secure communication properties, i.e., forward confidentiality and backward confidentiality. However, current protocols require a large amount of quantum resources to update the group keys, and this makes them impractical for handling large and dynamic communication groups. In this paper, we apply the notion of ``{\em tree key graph}'' to the quantum key agreement and propose two dynamic Quantum Group Key Agreement (QGKA) protocols for a join or leave request in group communications. In addition, we analyze the quantum resource consumption of our proposed protocols. The number of qubits required per join or leave only increases logarithmically with the group size. As a result, our proposed protocols are more practical and scalable for large and dynamic quantum group communications.


title: Current poisson's ratio values of finite element models are too low to consider soft tissues nearly-incompressible: illustration on the human heel region

abstract: Finite element analysis of soft tissues is a well-developed method that allows estimation of mechanical quantities (e.g. stresses, strains). A constitutive law has to be used to characterise the individual tissues. This is complex as biological tissues are generally visco-hyperelastic, anisotropic, and heterogenous. A specific characteristic, their nearly incompressibility, was well reported in the literature, but very little effort has been made to compare volume variations computed by the simulations with in vivo measurements. In the present study, volume changes of the fat pad during controlled indentations of the human heel region were estimated from segmented medical images using digital volume correlation. Indentations were repeated with high and mild intensity normal and shear loads. The experiment was reproduced using finite element modelling with several values of Poisson's ratio for the fat pad, extracted from literature values (from 0.4500 to 0.4999). Estimated fat pad volume changes were compared to the measured ones to assess the best value of Poisson's ratio in each indentation case. The impact of the Poisson's ratio on the Jacobian of the deformation gradient and the volumetric strains was also computed. A single value of Poisson's ratio could not fit all the indentation cases. Estimated volume changes were between 0.9 % - 11.7 % with a Poisson's ratio from 0.4500 to 0.4999. The best fit was obtained with a 0.4900 Poisson's ratio except for the high normal load where a value of 0.4999 resulted in less error. In conclusion, special care should be taken when setting the Poisson's ratio as the resulting estimated deformations may become unrealistic when the value is far from incompressible materials.


title: Bridge the Present and Future: A Cross-Layer Matching Game in Dynamic Cloud-Aided Mobile Edge Networks

abstract: Cloud-aided mobile edge networks (CAMENs) allow edge servers (ESs) to purchase resources from remote cloud servers (CSs), while overcoming resource shortage when handling computation-intensive tasks of mobile users (MUs). Conventional trading mechanisms (e.g., onsite trading) confront many challenges, including decision-making overhead (e.g., latency) and potential trading failures. This paper investigates a series of cross-layer matching mechanisms to achieve stable and cost-effective resource provisioning across different layers (i.e., MUs, ESs, CSs), seamlessly integrated into a novel hybrid paradigm that incorporates futures and spot trading. In futures trading, we explore an overbooking-driven aforehand cross-layer matching (OA-CLM) mechanism, facilitating two future contract types: contract between MUs and ESs, and contract between ESs and CSs, while assessing potential risks under historical statistical analysis. In spot trading, we design two backup plans respond to current network/market conditions: determination on contractual MUs that should switch to local processing from edge/cloud services; and an onsite cross-layer matching (OS-CLM) mechanism that engages participants in real-time practical transactions. We next show that our matching mechanisms theoretically satisfy stability, individual rationality, competitive equilibrium, and weak Pareto optimality. Comprehensive simulations in real-world and numerical network settings confirm the corresponding efficacy, while revealing remarkable improvements in time/energy efficiency and social welfare.


title: Small Area Estimation of Case Growths for Timely COVID-19 Outbreak Detection

abstract: The COVID-19 pandemic has exerted a profound impact on the global economy and continues to exact a significant toll on human lives. The COVID-19 case growth rate stands as a key epidemiological parameter to estimate and monitor for effective detection and containment of the resurgence of outbreaks. A fundamental challenge in growth rate estimation and hence outbreak detection is balancing the accuracy-speed tradeoff, where accuracy typically degrades with shorter fitting windows. In this paper, we develop a machine learning (ML) algorithm, which we call Transfer Learning Generalized Random Forest (TLGRF), that balances this accuracy-speed tradeoff. Specifically, we estimate the instantaneous COVID-19 exponential growth rate for each U.S. county by using TLGRF that chooses an adaptive fitting window size based on relevant day-level and county-level features affecting the disease spread. Through transfer learning, TLGRF can accurately estimate case growth rates for counties with small sample sizes. Out-of-sample prediction analysis shows that TLGRF outperforms established growth rate estimation methods. Furthermore, we conducted a case study based on outbreak case data from the state of Colorado and showed that the timely detection of outbreaks could have been improved by up to 224% using TLGRF when compared to the decisions made by Colorado's Department of Health and Environment (CDPHE). To facilitate implementation, we have developed a publicly available outbreak detection tool for timely detection of COVID-19 outbreaks in each U.S. county, which received substantial attention from policymakers.


title: Breaking the Entanglement of Homophily and Heterophily in Semi-supervised Node Classification

abstract: Recently, graph neural networks (GNNs) have shown prominent performance in semi-supervised node classification by leveraging knowledge from the graph database. However, most existing GNNs follow the homophily assumption, where connected nodes are more likely to exhibit similar feature distributions and the same labels, and such an assumption has proven to be vulnerable in a growing number of practical applications. As a supplement, heterophily reflects dissimilarity in connected nodes, which has gained significant attention in graph learning. To this end, data engineers aim to develop a powerful GNN model that can ensure performance under both homophily and heterophily. Despite numerous attempts, most existing GNNs struggle to achieve optimal node representations due to the constraints of undirected graphs. The neglect of directed edges results in sub-optimal graph representations, thereby hindering the capacity of GNNs. To address this issue, we introduce AMUD, which quantifies the relationship between node profiles and topology from a statistical perspective, offering valuable insights for Adaptively Modeling the natural directed graphs as the Undirected or Directed graph to maximize the benefits from subsequent graph learning. Furthermore, we propose Adaptive Directed Pattern Aggregation (ADPA) as a new directed graph learning paradigm for AMUD. Empirical studies have demonstrated that AMUD guides efficient graph learning. Meanwhile, extensive experiments on 16 benchmark datasets substantiate the impressive performance of ADPA, outperforming baselines by significant margins of 3.96.


title: The operating diagram of a flocculation model in the chemostat and its dependence on the biological parameters

abstract: In this paper, we consider a flocculation model in a chemostat where one species is present in two forms: planktonic and aggregated bacteria with the presence of a single resource. The removal rates of isolated and attached bacteria are distinct and include the specific death rates. Considering distinct yield coefficients with a large class of growth rates, we present a mathematical analysis of the model by establishing the necessary and sufficient conditions of the existence and local asymptotic stability of all steady states according to the two operating parameters which are the dilution rate and the inflowing concentration of the substrate. Using these conditions, we determine first theoretically the operating diagram of the flocculation process describing the asymptotic behavior of the system with respect to two control parameters. The bifurcations analysis shows a rich set of possible types of bifurcations: transcritical bifurcation or branch points of steady states, saddle-node bifurcation or limit points of steady states, Hopf, and homoclinic bifurcations. Using the numerical method with MATCONT software based on a continuation and correction algorithm, we find the same operating diagram obtained theoretically. However, MATCONT detects other types of two-parameter bifurcations such as Bogdanov-Takens and Cusp bifurcations.


title: Multi-strategy Collaborative Optimized YOLOv5s and its Application in Distance Estimation

abstract: The increasing accident rate brought about by the explosive growth of automobiles has made the research on active safety systems of automobiles increasingly important. The importance of improving the accuracy of vehicle target detection is self-evident. To achieve the goals of vehicle detection and distance estimation and provide safety warnings, a Distance Estimation Safety Warning System (DESWS) based on a new neural network model (YOLOv5s-SE) by replacing the IoU with DIoU, embedding SE attention module, and a distance estimation method through using the principle of similar triangles was proposed. In addition, a method that can give safety suggestions based on the estimated distance using nonparametric testing was presented in this work. Through the simulation experiment, it was verified that the mAP was improved by 5.5% and the purpose of giving safety suggestions based on the estimated distance information can be achieved.


title: TI-DNS: A Trusted and Incentive DNS Resolution Architecture based on Blockchain

abstract: Domain Name System (DNS) is a critical component of the Internet infrastructure, responsible for translating domain names into IP addresses. However, DNS is vulnerable to some malicious attacks, including DNS cache poisoning, which redirects users to malicious websites displaying offensive or illegal content. Existing countermeasures often suffer from at least one of the following weakness: weak attack resistance, high overhead, or complex implementation. To address these challenges, this paper presents TI-DNS, a blockchain-based DNS resolution architecture designed to detect and correct the forged DNS records caused by the cache poisoning attacks in the DNS resolution process. TI-DNS leverages a multi-resolver Query Vote mechanism to ensure the credibility of verified records on the blockchain ledger and a stake-based incentive mechanism to promote well-behaved participation. Importantly, TI-DNS is easy to be adopted as it only requires modifications to the resolver side of current DNS infrastructure. Finally, we develop a prototype and evaluate it against alternative solutions. The result demonstrates that TI-DNS effectively and efficiently solves DNS cache poisoning.


title: Quantum slush state in Rydberg atom arrays

abstract: In this study, we propose an exotic quantum state which does not order at zero temperature in a Rydberg atom array with antiblockade mechanism. By performing an unbiased large-scale quantum Monte Carlo simulation, we investigate a minimal model with facilitated excitation in a disorder-free system. At zero temperature, this model exhibits a heterogeneous structure of liquid and glass mixture. This state, dubbed quantum slush state, features a quasi-long-range order with an algebraic decay for its correlation function, and is different from most well-established quantum phases of matter.


title: Unconventional mechanical and thermal behaviors of MOF CALF-20

abstract: CALF-20 was recently identified as a novel benchmark sorbent for CO$_2$ capture at the industrial scale, however comprehensive atomistic insight into its mechanical/thermal properties under working conditions is still lacking. In this study, we developed a general-purpose machine-learned potential (MLP) for the CALF-20 MOF framework that predicts the thermodynamic and mechanical properties of the structure at finite temperatures within first-principles accuracy. Interestingly, CALF-20 was demonstrated to exhibit both negative area compression and negative thermal expansion. Most strikingly, upon application of the tensile strain along the [001] direction, CALF-20 was shown to display a distinct two-step elastic deformation behavior, unlike typical MOFs that undergo plastic deformation after elasticity. Furthermore, this MOF was shown to exhibit a spectacular fracture strain of up to 27% along the [001] direction at room temperature comparable to that of MOF glasses. These abnormal thermal and mechanical properties make CALF-20 as attractive material for flexible and stretchable electronics and sensors.