title: The boundary case for the supercritical deformed Hermitian-Yang-Mills equation

abstract: In this paper, we shall study the weak solution to the supercritical deformed Hermitian-Yang-Mills equation in the boundary case.


title: Can LLMs Configure Software Tools

abstract: In software engineering, the meticulous configuration of software tools is crucial in ensuring optimal performance within intricate systems. However, the complexity inherent in selecting optimal configurations is exacerbated by the high-dimensional search spaces presented in modern applications. Conventional trial-and-error or intuition-driven methods are both inefficient and error-prone, impeding scalability and reproducibility. In this study, we embark on an exploration of leveraging Large-Language Models (LLMs) to streamline the software configuration process. We identify that the task of hyperparameter configuration for machine learning components within intelligent applications is particularly challenging due to the extensive search space and performance-critical nature. Existing methods, including Bayesian optimization, have limitations regarding initial setup, computational cost, and convergence efficiency. Our work presents a novel approach that employs LLMs, such as Chat-GPT, to identify starting conditions and narrow down the search space, improving configuration efficiency. We conducted a series of experiments to investigate the variability of LLM-generated responses, uncovering intriguing findings such as potential response caching and consistent behavior based on domain-specific keywords. Furthermore, our results from hyperparameter optimization experiments reveal the potential of LLMs in expediting initialization processes and optimizing configurations. While our initial insights are promising, they also indicate the need for further in-depth investigations and experiments in this domain.


title: GTA: Gated Toxicity Avoidance for LM Performance Preservation

abstract: Caution: This paper includes offensive words that could potentially cause unpleasantness. The fast-paced evolution of generative language models such as GPT-4 has demonstrated outstanding results in various NLP generation tasks. However, due to the potential generation of offensive words related to race or gender, various Controllable Text Generation (CTG) methods have been proposed to mitigate the occurrence of harmful words. However, existing CTG methods not only reduce toxicity but also negatively impact several aspects of the language model's generation performance, including topic consistency, grammar, and perplexity. This paper explores the limitations of previous methods and introduces a novel solution in the form of a simple Gated Toxicity Avoidance (GTA) that can be applied to any CTG method. We also evaluate the effectiveness of the proposed GTA by comparing it with state-of-the-art CTG methods across various datasets. Our findings reveal that gated toxicity avoidance efficiently achieves comparable levels of toxicity reduction to the original CTG methods while preserving the generation performance of the language model.


title: Efficient Estimation of Pairwise Effective Resistance

abstract: Given an undirected graph G, the effective resistance r(s,t) measures the dissimilarity of node pair s,t in G, which finds numerous applications in real-world problems, such as recommender systems, combinatorial optimization, molecular chemistry, and electric power networks. Existing techniques towards pairwise effective resistance estimation either trade approximation guarantees for practical efficiency, or vice versa. In particular, the state-of-the-art solution is based on a multitude of Monte Carlo random walks, rendering it rather inefficient in practice, especially on large graphs. Motivated by this, this paper first presents an improved Monte Carlo approach, AMC, which reduces both the length and amount of random walks required without degrading the theoretical accuracy guarantee, through careful theoretical analysis and an adaptive sampling scheme. Further, we develop a greedy approach, GEER, which combines AMC with sparse matrix-vector multiplications in an optimized and non-trivial way. GEER offers significantly improved practical efficiency over AMC without compromising its asymptotic performance and accuracy guarantees. Extensive experiments on multiple benchmark datasets reveal that GEER is orders of magnitude faster than the state of the art in terms of computational time when achieving the same accuracy.


title: On modules whose dual is of finite Gorenstein dimension: The $k$-torsion, homological criteria, and applications in modules of differentials of order $n$

abstract: In this paper, we aim to obtain some results under the condition that the dual of a module has finite Gorenstein dimension. In this direction we derive results involving vanishing of Ext as well as the freeness or totally reflexivity of modules. For instance, we provide a generalization of a celebrated theorem by Evans and Griffith, obtain criteria for the totally reflexivity of modules over Cohen-Macaulay rings as well as of locally totally modules reflexive on the punctured spectrum, and recover a result by Araya. Moreover, we prove that the Auslander-Reiten conjecture holds true for all finitely generated modules $M$ over a Noetherian local ring $R$ such that $\operatorname{G-dim}_R(\operatorname{Hom}_R(M,R))<\infty$ and $\operatorname{pd}_R(\operatorname{Hom}_R(M,M))<\infty$. Additionally, we derive Gorenstein criteria under the condition that the dual of certain modules is of finite Gorenstein dimension. Furthermore, we explore some applications in the theory of the modules of K\"ahler differentials of order $n\geq 1$, specifically concerning the $k$-torsionfreeness of these modules and the Herzog-Vasconcelos's conjecture.


title: Pre-Evolved Model for Complex Multi-objective Optimization Problems

abstract: Multi-objective optimization problems (MOPs) necessitate the simultaneous optimization of multiple objectives. Numerous studies have demonstrated that evolutionary computation is a promising paradigm for solving complex MOPs, which involve optimization problems with large-scale decision variables, many objectives, and expensive evaluation functions. However, existing multi-objective evolutionary algorithms (MOEAs) encounter significant challenges in generating high-quality populations when solving diverse complex MOPs. Specifically, the distinct requirements and constraints of the population result in the inefficiency or even incompetence of MOEAs in addressing various complex MOPs. Therefore, this paper proposes the concept of pre-evolving for MOEAs to generate high-quality populations for diverse complex MOPs. Drawing inspiration from the classical transformer architecture, we devise dimension embedding and objective encoding techniques to configure the pre-evolved model (PEM). The PEM is pre-evolved on a substantial number of existing MOPs. Subsequently, when fine-evolving on new complex MOPs, the PEM transforms the population into the next generation to approximate the Pareto-optimal front. Furthermore, it utilizes evaluations on new solutions to iteratively update the PEM for subsequent generations, thereby efficiently solving various complex MOPs. Experimental results demonstrate that the PEM outperforms state-of-the-art MOEAs on a range of complex MOPs.


title: Spreeze: High-Throughput Parallel Reinforcement Learning Framework

abstract: The promotion of large-scale applications of reinforcement learning (RL) requires efficient training computation. While existing parallel RL frameworks encompass a variety of RL algorithms and parallelization techniques, the excessively burdensome communication frameworks hinder the attainment of the hardware's limit for final throughput and training effects on a single desktop. In this paper, we propose Spreeze, a lightweight parallel framework for RL that efficiently utilizes a single desktop hardware resource to approach the throughput limit. We asynchronously parallelize the experience sampling, network update, performance evaluation, and visualization operations, and employ multiple efficient data transmission techniques to transfer various types of data between processes. The framework can automatically adjust the parallelization hyperparameters based on the computing ability of the hardware device in order to perform efficient large-batch updates. Based on the characteristics of the "Actor-Critic" RL algorithm, our framework uses dual GPUs to independently update the network of actors and critics in order to further improve throughput. Simulation results show that our framework can achieve up to 15,000Hz experience sampling and 370,000Hz network update frame rate using only a personal desktop computer, which is an order of magnitude higher than other mainstream parallel RL frameworks, resulting in a 73% reduction of training time. Our work on fully utilizing the hardware resources of a single desktop computer is fundamental to enabling efficient large-scale distributed RL training.


title: Study of cosmogenic activation in $^{76}$Ge enriched germanium detectors during fabrication and transportation above ground

abstract: Rare event search experiments using germanium detectors are operated in underground laboratories to minimize the background induced by cosmic rays. However, the cosmogenic activation in germanium crystals on the ground during fabrication and transportation generates long half-life radionuclides and contributes a considerable background. We simulated the production rates of cosmogenic radionuclides in germanium and calculated the specifi c activities of cosmogenic radionuclides according to the scheduled fabrication and transportation processes of $^{76}$Ge enriched germanium detectors. The impact of cosmogenic background in germanium crystals for the next generation CDEX experiment was assessed with the scheduled exposure history above ground.


title: On the Backreaction of Dirac Matter in JT Gravity and SYK Model

abstract: We model backreaction in AdS$_2$ JT gravity via a proposed boundary dual Sachdev-Ye-Kitaev quantum dot coupled to Dirac fermion matter and study it from the perspective of quantum entanglement and chaos. The boundary effective action accounts for the backreaction through a linear coupling of the Dirac fermions to the Gaussian-random two-body Majorana interaction term in the low-energy limit. We calculate the time evolution of the entanglement entropy between graviton and Dirac fermion fields for a separable initial state and find that it initially increases and then saturates to a finite value. Moreover, in the limit of a large number of fermions, we find a maximally entangled state between the Majorana and Dirac fields in the saturation region, implying a transition of the von Neumann algebra of observables from type I to type II. This transition in turn indicates a loss of information in the holographically dual emergent spacetime. We corroborate these observations with a detailed numerical computation of the averaged nearest-neighbor gap ratio of the boundary spectrum and provide a useful complement to quantum entanglement studies of holography.


title: Household navigation and manipulation for everyday object rearrangement tasks

abstract: We consider the problem of building an assistive robotic system that can help humans in daily household cleanup tasks. Creating such an autonomous system in real-world environments is inherently quite challenging, as a general solution may not suit the preferences of a particular customer. Moreover, such a system consists of multi-objective tasks comprising -- (i) Detection of misplaced objects and prediction of their potentially correct placements, (ii) Fine-grained manipulation for stable object grasping, and (iii) Room-to-room navigation for transferring objects in unseen environments. This work systematically tackles each component and integrates them into a complete object rearrangement pipeline. To validate our proposed system, we conduct multiple experiments on a real robotic platform involving multi-room object transfer, user preference-based placement, and complex pick-and-place tasks. Project page: https://sites.google.com/eng.ucsd.edu/home-robot


title: Purely leptonic decays of heavy-flavored charged mesons

abstract: We study the purely leptonic decays of heavy-flavored charged pseudoscalar (P) and vector (V) mesons ($D_{(s)}^{(*)+}$, $B_{(c)}^{(*)+}$) in the relativistic independent quark (RIQ) model based on an average flavor-independent confining potential in equally mixed scalar-vector harmonic form. We first compute the mass spectra of the ground-state-mesons and fix the model parameters necessary for the present analysis. Using the meson wave functions derivable in the RIQ model, and model parameters so fixed from hadron spectroscopy, we predict the decay constants: $f_{P(V)}$, ratios of decay constants: $f_{V}/f_{P}$, $f_{P_1}/f_{P_2}$, $f_{V_1}/f_{V_2}$, and the branching fractions (BFs): ${\cal B}(P(V)\to l^+\nu_l)$, $l=e, \mu, \tau$, which agree with the available experimental data and other Standard Model (SM) predictions. For the unmeasured decay constants especially in the purely leptonic decays of the charged vector mesons, our predictions could be tested in the upcoming Belle-II, SCTF, CEPC, FCC-ee and LHCb experiments in near future.


title: ML-based Modeling to Predict I/O Performance on Different Storage Sub-systems

abstract: Parallel applications can spend a significant amount of time performing I/O on large-scale supercomputers. Fast near-compute storage accelerators called burst buffers can reduce the time a processor spends performing I/O and mitigate I/O bottlenecks. However, determining if a given application could be accelerated using burst buffers is not straightforward even for storage experts. The relationship between an application's I/O characteristics (such as I/O volume, processes involved, etc.) and the best storage sub-system for it can be complicated. As a result, adapting parallel applications to use burst buffers efficiently is a trial-and-error process. In this work, we present a Python-based tool called PrismIO that enables programmatic analysis of I/O traces. Using PrismIO, we identify bottlenecks on burst buffers and parallel file systems and explain why certain I/O patterns perform poorly. Further, we use machine learning to model the relationship between I/O characteristics and burst buffer selections. We run IOR (an I/O benchmark) with various I/O characteristics on different storage systems and collect performance data. We use the data as the input for training the model. Our model can predict if a file of an application should be placed on BBs for unseen IOR scenarios with an accuracy of 94.47% and for four real applications with an accuracy of 95.86%.


title: MacMahon's sums-of-divisors and their connection to multiple Eisenstein series

abstract: We give explicit expressions for MacMahon's generalized sums-of-divisors $q$-series $A_r$ and $C_r$ by relating them to (odd) multiple Eisenstein series. Recently, these sums-of-divisors have been studied in the context of quasimodular forms, vertex algebras, $N=4$ $SU(N)$ Super-Yang-Mills theory, and the study of congruences of partitions. We relate them to a broader mathematical framework and give explicit expressions for both $q$-series in terms of Eisenstein series and their odd variants.


title: Characterization of an $\rm ^{27}Al^+$ ion optical clock laser with three independent methods

abstract: We report on the development and performance evaluation of an ultra-stable clock laser for an $\rm ^{27}Al^+$ optical clock. The thermal noise limited ultra-stable laser is developed based on a 30 cm long ultra-stable cavity. Three independent evaluation methods, including the frequency noise summation method, the three-cornered hat (TCH) method, and the optical clock transition detection method, are used to evaluate the clock laser performance. The summation result of various frequency noise terms is compared with the result of the TCH method. In addition, the $\rm ^{27}Al^+$ ion optical clock transition with ultra-narrow linewidth is also used to detect the frequency noise of the laser at lower Fourier frequencies. The results of the three methods show good agreements, showing a frequency instability level of $1.3\times10^{-16}$, and giving us confidence that these evaluation methods may provides guidance for accurate evaluations of high stability laser sources.


title: Order Matters in the Presence of Dataset Imbalance for Multilingual Learning

abstract: In this paper, we empirically study the optimization dynamics of multi-task learning, particularly focusing on those that govern a collection of tasks with significant data imbalance. We present a simple yet effective method of pre-training on high-resource tasks, followed by fine-tuning on a mixture of high/low-resource tasks. We provide a thorough empirical study and analysis of this method's benefits showing that it achieves consistent improvements relative to the performance trade-off profile of standard static weighting. We analyze under what data regimes this method is applicable and show its improvements empirically in neural machine translation (NMT) and multi-lingual language modeling.


title: ArtBank: Artistic Style Transfer with Pre-trained Diffusion Model and Implicit Style Prompt Bank

abstract: Artistic style transfer aims to repaint the content image with the learned artistic style. Existing artistic style transfer methods can be divided into two categories: small model-based approaches and pre-trained large-scale model-based approaches. Small model-based approaches can preserve the content strucuture, but fail to produce highly realistic stylized images and introduce artifacts and disharmonious patterns; Pre-trained large-scale model-based approaches can generate highly realistic stylized images but struggle with preserving the content structure. To address the above issues, we propose ArtBank, a novel artistic style transfer framework, to generate highly realistic stylized images while preserving the content structure of the content images. Specifically, to sufficiently dig out the knowledge embedded in pre-trained large-scale models, an Implicit Style Prompt Bank (ISPB), a set of trainable parameter matrices, is designed to learn and store knowledge from the collection of artworks and behave as a visual prompt to guide pre-trained large-scale models to generate highly realistic stylized images while preserving content structure. Besides, to accelerate training the above ISPB, we propose a novel Spatial-Statistical-based self-Attention Module (SSAM). The qualitative and quantitative experiments demonstrate the superiority of our proposed method over state-of-the-art artistic style transfer methods.


title: BACTrack: Building Appearance Collection for Aerial Tracking

abstract: Siamese network-based trackers have shown remarkable success in aerial tracking. Most previous works, however, usually perform template matching only between the initial template and the search region and thus fail to deal with rapidly changing targets that often appear in aerial tracking. As a remedy, this work presents Building Appearance Collection Tracking (BACTrack). This simple yet effective tracking framework builds a dynamic collection of target templates online and performs efficient multi-template matching to achieve robust tracking. Specifically, BACTrack mainly comprises a Mixed-Temporal Transformer (MTT) and an appearance discriminator. The former is responsible for efficiently building relationships between the search region and multiple target templates in parallel through a mixed-temporal attention mechanism. At the same time, the appearance discriminator employs an online adaptive template-update strategy to ensure that the collected multiple templates remain reliable and diverse, allowing them to closely follow rapid changes in the target's appearance and suppress background interference during tracking. Extensive experiments show that our BACTrack achieves top performance on four challenging aerial tracking benchmarks while maintaining an impressive speed of over 87 FPS on a single GPU. Speed tests on embedded platforms also validate our potential suitability for deployment on UAV platforms.


title: Compute-in-Memory based Neural Network Accelerators for Safety-Critical Systems: Worst-Case Scenarios and Protections

abstract: Emerging non-volatile memory (NVM)-based Computing-in-Memory (CiM) architectures show substantial promise in accelerating deep neural networks (DNNs) due to their exceptional energy efficiency. However, NVM devices are prone to device variations. Consequently, the actual DNN weights mapped to NVM devices can differ considerably from their targeted values, inducing significant performance degradation. Many existing solutions aim to optimize average performance amidst device variations, which is a suitable strategy for general-purpose conditions. However, the worst-case performance that is crucial for safety-critical applications is largely overlooked in current research. In this study, we define the problem of pinpointing the worst-case performance of CiM DNN accelerators affected by device variations. Additionally, we introduce a strategy to identify a specific pattern of the device value deviations in the complex, high-dimensional value deviation space, responsible for this worst-case outcome. Our findings reveal that even subtle device variations can precipitate a dramatic decline in DNN accuracy, posing risks for CiM-based platforms in supporting safety-critical applications. Notably, we observe that prevailing techniques to bolster average DNN performance in CiM accelerators fall short in enhancing worst-case scenarios. In light of this issue, we propose a novel worst-case-aware training technique named A-TRICE that efficiently combines adversarial training and noise-injection training with right-censored Gaussian noise to improve the DNN accuracy in the worst-case scenarios. Our experimental results demonstrate that A-TRICE improves the worst-case accuracy under device variations by up to 33%.


title: Shuffle algebras, lattice paths and Macdonald functions

abstract: We consider partition functions on the $N\times N$ square lattice with the local Boltzmann weights given by the $R$-matrix of the $U_{t}(\widehat{sl}(n+1|m))$ quantum algebra. We identify boundary states such that the square lattice can be viewed on a conic surface. The partition function $Z_N$ on this lattice computes the weighted sum over all possible closed coloured lattice paths with $n+m$ different colours: $n$ ``bosonic'' colours and $m$ ``fermionic'' colours. Each bosonic (fermionic) path of colour $i$ contributes a factor of $z_i$ ($w_i$) to the weight of the configuration. We show the following. (i) $Z_N$ is a symmetric function in the spectral parameters $x_1\dots x_N$ and generates basis elements of the commutative trigonometric Feigin--Odesskii shuffle algebra. The generating function of $Z_N$ admits a shuffle-exponential formula analogous to the Macdonald Cauchy kernel. (ii) $Z_N$ is a symmetric function in two alphabets $(z_1\dots z_n)$ and $(w_1\dots w_m)$. When $x_1\dots x_N$ are set to be equal to the box content of a skew Young diagram $\mu/\nu$ with $N$ boxes the partition function $Z_N$ reproduces the skew Macdonald function $P_{\mu/\nu}\left[w-z\right]$.


title: Personnel Scheduling with flexibility for On-Call Shifts

abstract: Due to uncertainty in demand, sometimes management may delay their planning of shifts later in the horizon when they have more information. We consider a novel dynamic and flexible system for scheduling personnel for work shifts planned at the last minute called 'on-call' shifts. The flexibility in the system allows employees to freely select or reject shifts offered to them. Senior employees may also replace or bump junior employees from the current schedule if no other shift of their choice is available provided certain conditions are met. The operator seeks to quickly assign all available shifts to employees while ensuring minimum total bumps. We develop several easy-to-implement policy approximations as well as deep reinforcement learning-based policies to efficiently operate the system. A comparison of all the developed policies is made using real data from our industrial partner. We identify the best policies under different settings and significantly improve upon the current practices.


title: ICS-Sniper: A Targeted Blackhole Attack on Encrypted ICS Traffic

abstract: Operational Technology (OT) networks of industrial control systems (ICS) are increasingly connected to the public Internet, which has prompted ICSes to implement strong security measures (e.g., authentication and encryption) to protect end-to-end control communication. Despite the security measures, we show that an Internet adversary in the path of an ICS's communication can cause damage to the ICS without infiltrating it. We present ICS-Sniper, a targeted blackhole attack that analyzes the packet metadata (sizes, timing) to identify the packets carrying critical ICS commands or data, and drops the critical packets to disrupt the ICS's operations. We demonstrate two attacks on an emulation of a Secure Water Treatment (SWaT) plant that can potentially violate the operational safety of the ICS while evading state-of-the-art detection systems.


title: Survey on Memory-Augmented Neural Networks: Cognitive Insights to AI Applications

abstract: This paper explores Memory-Augmented Neural Networks (MANNs), delving into how they blend human-like memory processes into AI. It covers different memory types, like sensory, short-term, and long-term memory, linking psychological theories with AI applications. The study investigates advanced architectures such as Hopfield Networks, Neural Turing Machines, Correlation Matrix Memories, Memformer, and Neural Attention Memory, explaining how they work and where they excel. It dives into real-world uses of MANNs across Natural Language Processing, Computer Vision, Multimodal Learning, and Retrieval Models, showing how memory boosters enhance accuracy, efficiency, and reliability in AI tasks. Overall, this survey provides a comprehensive view of MANNs, offering insights for future research in memory-based AI systems.


title: Self-powered programmable van der Waals photodetectors with nonvolatile semi-floating gate

abstract: Tunable photovoltaic photodetectors are of significant relevance in the fields of programmable and neuromorphic optoelectronics. However, their widespread adoption is hindered by intricate architectural design and energy consumption challenges. This study employs a nonvolatile MoTe2/hBN/graphene semi-floating photodetector to address these issues. Programed with pulsed gate voltage, the MoTe2 channel can be reconfigured from an n+-n to a p-n homojunction, and the photocurrent transition changes from negative to positive values. Scanning photocurrent mapping reveals that the negative and positive photocurrents are attributed to Schottky junction and p-n homojunction, respectively. In the p-n configuration, the device demonstrates self-driven, linear, rapid response (~3 ms), and broadband sensitivity (from 405 to 1500 nm) for photodetection, with typical performances of responsivity at ~0.5 A/W and detectivity ~1.6*10^12 Jones under 635 nm illumination. These outstanding photodetection capabilities emphasize the potential of the semi-floating photodetector as a pioneering approach for advancing logical and nonvolatile optoelectronics.


title: The harmonic oscillator on the Moyal-Groenewold plane: an approach via Lie groups and twisted Weyl tuples

abstract: This paper investigates the functional calculus of the harmonic oscillator on each Moyal-Groenewold plane, the noncommutative phase space which is a fundamental object in quantum mechanics. Specifically, we show that the harmonic oscillator admits a bounded $\mathrm{H}^\infty(\Sigma_\omega)$ functional calculus for any angle $0 < \omega < \frac{\pi}{2}$ and even a bounded H\"ormander functional calculus on the associated noncommutative $\mathrm{L}^p$-spaces, where $\Sigma_\omega=\{ z \in \mathbb{C}^*: |\arg z| <\omega \}$. To achieve these results, we develop a connection with the theory of 2-step nilpotent Lie groups by introducing a notion of twisted Weyl tuple and connecting it to some semigroups of operators previously investigated by Robinson via group representations. Along the way, we demonstrate that $\mathrm{L}^p$-square-max decompositions lead to new insights between noncommutative ergodic theory and $R$-boundedness, and we prove a twisted transference principle, which is of independent interest. Our approach accommodate the presence of a constant magnetic field and they are indeed new even in the framework of magnetic Weyl calculus on classical $\mathrm{L}^p$-spaces. Our results contribute to the understanding of functional calculi on noncommutative spaces and have implications for the maximal regularity of the most basic evolution equations associated to the harmonic oscillator.

categories: math.FA hep-th math-ph math.GR math.MP math.OA


title: Long-Term Carbon-Efficient Planning for Geographically Shiftable Resources: A Monte Carlo Tree Search Approach

abstract: Global climate challenge is demanding urgent actions for decarbonization, while electric power systems take the major roles in clean energy transition. Due to the existence of spatially and temporally dispersed renewable energy resources and the uneven distribution of carbon emission intensity throughout the grid, it is worth investigating future load planning and demand management to offset those generations with higher carbon emission rates. Such techniques include inter-region utilization of geographically shiftable resources and stochastic renewable energy. For instance, data center is considered to be a major carbon emission producer in the future due to increasing information load, while it holds the capability of geographical load balancing. In this paper, we propose a novel planning and operation model minimizing the system-level carbon emissions via sitting and operating geographically shiftable resources. This model decides the optimal locations for shiftable resources expansion along with power dispatch schedule. To accommodate future system operation patterns and a wide range of operating conditions, we incorporate 20-year fine-grained load and renewables scenarios for grid simulations of realistic sizes (e.g., up to 1888 buses). To tackle the computational challenges coming from the combinatorial nature of such large-scale planning problem, we develop a customized Monte Carlo Tree Search (MCTS) method, which can find reasonable solutions satisfying solution time limits. Besides, MCTS enables flexible time window settings and offline solution adjustments. Extensive simulations validate that our planning model can reduce more than 10\% carbon emission across all setups. Compared to off-the-shelf optimization solvers such as Gurobi, our method achieves up to 8.1X acceleration while the solution gaps are less than 1.5\% in large-scale cases.


title: Proxy-based Item Representation for Attribute and Context-aware Recommendation

abstract: Neural network approaches in recommender systems have shown remarkable success by representing a large set of items as a learnable vector embedding table. However, infrequent items may suffer from inadequate training opportunities, making it difficult to learn meaningful representations. We examine that in attribute and context-aware settings, the poorly learned embeddings of infrequent items impair the recommendation accuracy. To address such an issue, we propose a proxy-based item representation that allows each item to be expressed as a weighted sum of learnable proxy embeddings. Here, the proxy weight is determined by the attributes and context of each item and may incorporate bias terms in case of frequent items to further reflect collaborative signals. The proxy-based method calculates the item representations compositionally, ensuring each representation resides inside a well-trained simplex and, thus, acquires guaranteed quality. Additionally, that the proxy embeddings are shared across all items allows the infrequent items to borrow training signals of frequent items in a unified model structure and end-to-end manner. Our proposed method is a plug-and-play model that can replace the item encoding layer of any neural network-based recommendation model, while consistently improving the recommendation performance with much smaller parameter usage. Experiments conducted on real-world recommendation benchmark datasets demonstrate that our proposed model outperforms state-of-the-art models in terms of recommendation accuracy by up to 17% while using only 10% of the parameters.


title: A general designing approach for polarization-independent photonic on-chip systems

abstract: Due to that the polarization states in optical fibers change randomly during transmission, polarization-independent (PID) devices are demanded to receive lights with arbitrary polarization states. Compared with their orthogonal polarization states, the optical profiles of various modes of the same polarization are similar, and their directions of the main electric field are same. Therefore, it's much easier to design PID devices using multi-modes of one polarization state instead of orthogonal polarizations. This paper firstly presents a scalable method to achieve PID devices and systems by transforming the light orthogonal polarization states into one polarization with different modes. Taking thermo-optical switches as an example, the PDL of the fabricated 2 x 2 switch cell was about 0.8 dB at 1300-1360 nm, and its extinction ratio (ER) was larger than 19 dB for both polarizations. A 4 x 4 switch was also demonstrated and its function of dual polarization switching was implemented, whose ER was larger than 11 dB for both polarizations. This method has potential in constructing PID on-chip systems for optical communications, optical interconnections, etc.


title: "What's important here?": Opportunities and Challenges of Using LLMs in Retrieving Information from Web Interfaces

abstract: Large language models (LLMs) that have been trained on a corpus that includes large amount of code exhibit a remarkable ability to understand HTML code. As web interfaces are primarily constructed using HTML, we design an in-depth study to see how LLMs can be used to retrieve and locate important elements for a user given query (i.e. task description) in a web interface. In contrast with prior works, which primarily focused on autonomous web navigation, we decompose the problem as an even atomic operation - Can LLMs identify the important information in the web page for a user given query? This decomposition enables us to scrutinize the current capabilities of LLMs and uncover the opportunities and challenges they present. Our empirical experiments show that while LLMs exhibit a reasonable level of performance in retrieving important UI elements, there is still a substantial room for improvement. We hope our investigation will inspire follow-up works in overcoming the current challenges in this domain.


title: Matrix Formulae and Skein Relations for Quasi-cluster Algebras

abstract: In this paper, we give matrix formulae for non-orientable surfaces that provide the Laurent expansion for quasi-cluster variables, generalizing the orientable surface matrix formulae by Musiker-Williams. We additionally use our matrix formulas to prove the skein relations for the elements in the quasi-cluster algebra associated to curves on the non-orientable surface.


title: Unlocking Anticipatory Text Generation: A Constrained Approach for Large Language Models Decoding

abstract: Large Language Models (LLMs) have demonstrated a powerful ability for text generation. However, achieving optimal results with a given prompt or instruction can be challenging, especially for billion-sized models. Additionally, undesired behaviors such as toxicity or hallucinations can manifest. While much larger models (e.g., ChatGPT) may demonstrate strength in mitigating these issues, there is still no guarantee of complete prevention. In this work, we propose formalizing text generation as a future-constrained generation problem to minimize undesirable behaviors and enforce faithfulness to instructions. The estimation of future constraint satisfaction, accomplished using LLMs, guides the text generation process. Our extensive experiments demonstrate the effectiveness of the proposed approach across three distinct text generation tasks: keyword-constrained generation (Lin et al., 2020), toxicity reduction (Gehman et al., 2020), and factual correctness in question-answering (Gao et al., 2023).


title: Coupled Free Fermion Conformal Field Theory and Representations

abstract: Conformal field theory (CFT) has become an active area of research beyond its origins in statistical physics and attracted much attention due to its intrinsic mathematical interest, which reveals deep connections with other diverse branches of mathematics. We study a specific subclass of CFTs that involve either uncoupled or coupled free fermions. Coupled free fermion CFTs arise from parafermion CFTs and lattice constructions. We analyse their representation spaces and reveal the exclusion statistics of coupled free fermions with universal chiral partition functions under specific bases. We explicitly decompose their modules into Virasoro modules of minimal models. We reveal an unexpected connection that integrates the coset construction, lattice construction, and orbifold construction, which is supported by proving a range of character identities within the context of coupled free fermions. Simultaneously, we obtain explicit expressions of certain string functions in terms of Dedekind eta functions.


title: Measurement-Device-Independent Detection of Beyond-Quantum State

abstract: In quantum theory, a quantum state on a composite system of two parties realizes a non-negative probability with any measurement element with a tensor product form. However, there also exist non-quantum states which satisfy the above condition. Such states are called beyond-quantum states, and cannot be detected by standard Bell tests. To distinguish a beyond-quantum state from quantum states, we propose a measurement-device-independent (MDI) test for beyond-quantum state detection, which is composed of quantum input states on respective parties and quantum measurements across the input system and the target system on respective parties. The performance of our protocol is independent of the forms of the tested states and the measurement operators, which provides an advantage in practical scenarios. We also discuss the importance of tomographic completeness of the input sets to the detection.


title: Improving the performance of weak supervision searches using transfer and meta-learning

abstract: Weak supervision searches have in principle the advantages of both being able to train on experimental data and being able to learn distinctive signal properties. However, the practical applicability of such searches is limited by the fact that successfully training a neural network via weak supervision can require a large amount of signal. In this work, we seek to create neural networks that can learn from less experimental signal by using transfer and meta-learning. The general idea is to first train a neural network on simulations, thereby learning concepts that can be reused or becoming a more efficient learner. The neural network would then be trained on experimental data and should require less signal because of its previous training. We find that transfer and meta-learning can substantially improve the performance of weak supervision searches.


title: Open Datasheets: Machine-readable Documentation for Open Datasets and Responsible AI Assessments

abstract: This paper introduces a no-code, machine-readable documentation framework for open datasets, with a focus on responsible AI (RAI) considerations. The framework aims to improve comprehensibility, and usability of open datasets, facilitating easier discovery and use, better understanding of content and context, and evaluation of dataset quality and accuracy. The proposed framework is designed to streamline the evaluation of datasets, helping researchers, data scientists, and other open data users quickly identify datasets that meet their needs and organizational policies or regulations. The paper also discusses the implementation of the framework and provides recommendations to maximize its potential. The framework is expected to enhance the quality and reliability of data used in research and decision-making, fostering the development of more responsible and trustworthy AI systems.


title: Predictive Reliability Assessment of Distribution Grids with Residential Distributed Energy Resources

abstract: Distribution system end users are transforming from passive to active participants, marked by the push towards widespread adoption of edge-level Distributed Energy Resources (DERs). This paper addresses the challenges in distribution system planning arising from these dynamic changes. We introduce a bottom-up probabilistic approach that integrates these edge-level DERs into the reliability evaluation process. Our methodology leverages joint probability distributions to characterize and model the penetration of rooftop photovoltaic (PV) systems and energy storage across a distribution network at the individual residential level. Employing a scenario-based approach, we showcase the application of our probabilistic method using a Monte Carlo Simulation process to assess average system reliability indices and their variations at the user level. To validate our approach, we applied this methodology to the RBTS test system across various adoption scenarios, effectively showcasing the capability of our proposed method in quantifying the variation in end-user reliability indices for each scenario within the distribution system.


title: Illustrating the structures of bias from immortal time using directed acyclic graphs

abstract: Background: Immortal time is a period of follow-up during which death or the study outcome cannot occur by design. Bias from immortal time has been increasingly recognized in epidemiologic studies. However, the fundamental causes and structures of bias from immortal time have not been explained systematically using a structural approach. Methods: We use an example "Do Nobel Prize winners live longer than less recognized scientists?" for illustration. We illustrate how immortal time arises and present the structures of bias from immortal time using time-varying directed acyclic graphs (DAGs). We further explore the structures of bias with the exclusion of immortal time and with the presence of competing risks. We discuss how these structures are shared by different study designs in pharmacoepidemiology and provide solutions, where possible, to address the bias. Results: We illustrate that immortal time arises from using postbaseline information to define exposure or eligibility. We use time-varying DAGs to explain the structures of bias from immortal time are confounding by survival until exposure allocation or selection bias from selecting on survival until eligibility. We explain that excluding immortal time from the follow-up does not fully address this confounding or selection bias, and that the presence of competing risks can worsen the bias. Bias from immortal time may be avoided by aligning time zero, exposure allocation and eligibility, and by excluding individuals with prior exposure. Conclusions: Understanding bias from immortal time in terms of confounding or selection bias helps researchers identify and thereby avoid or ameliorate this bias.


title: The equivariant genera of marked strongly invertible knots associated with $2$-bridge knots

abstract: A marked strongly invertible knot is a triple $(K,h,\delta)$ of a knot $K$ in $S^3$, a strong inversion $h$ of $K$, and a subarc $\delta \subset \operatorname{Fix}(h)\cong S^1$ bounded by $\operatorname{Fix}(h)\cap K\cong S^0$. An invariant Seifert surface for $(K,h,\delta)$ is an $h$-invariant Seifert surface for $K$ that intersects $\operatorname{Fix}(h)$ in the arc $\delta$. In this paper, we completely determine the equivariant genus (the minimum of the genera of invariant Seifert surfaces for $(K,h,\delta)$) of every marked strongly invertible knot $(K,h,\delta)$ with $K$ a $2$-bridge knot.


title: Approaching the robust linearity in dual-floating van der Waals photodiode

abstract: Two-dimensional (2D) material photodetectors have gained great attention as potential elements for optoelectronic applications. However, the linearity of the photoresponse is often compromised by the carrier interaction, even in 2D photodiodes. In this study, we present a new device concept of dual-floating van der Waals heterostructures (vdWHs) photodiode by employing ambipolar MoTe2 and n-type MoS2 2D semiconductors. The presence of type II heterojunctions on both sides of channel layers effectively deplete carriers and restrict the photocarrier trapping within the channel layers. As a result, the device exhibits robust linear photoresponse under photovoltaic mode from the visible (405 nm) to near-infrared (1600 nm) band. With the built-in electric field of the vdWHs, we achieve a linear dynamic range of ~ 100 dB, responsivity of ~ 1.57 A/W, detectivity of ~ 4.28 * 10^11 Jones, and response speed of ~ 30 {\mu}s. Our results showcase a promising device concept with excellent linearity towards fast and low-loss detection, high-resolution imaging, and logic optoelectronics.


title: Adaptive Feature Selection for No-Reference Image Quality Assessment by Mitigating Semantic Noise Sensitivity

abstract: The current state-of-the-art No-Reference Image Quality Assessment (NR-IQA) methods typically rely on feature extraction from upstream semantic backbone networks, assuming that all extracted features are relevant. However, we make a key observation that not all features are beneficial, and some may even be harmful, necessitating careful selection. Empirically, we find that many image pairs with small feature spatial distances can have vastly different quality scores, indicating that the extracted features may contain a significant amount of quality-irrelevant noise. To address this issue, we propose a Quality-Aware Feature Matching IQA Metric (QFM-IQM) that employs an adversarial perspective to remove harmful semantic noise features from the upstream task. Specifically, QFM-IQM enhances the semantic noise distinguish capabilities by matching image pairs with similar quality scores but varying semantic features as adversarial semantic noise and adaptively adjusting the upstream task's features by reducing sensitivity to adversarial noise perturbation. Furthermore, we utilize a distillation framework to expand the dataset and improve the model's generalization ability. Our approach achieves superior performance to the state-of-the-art NR-IQA methods on eight standard IQA datasets.


title: Could dropping a few cells change the takeaways from differential expression?

abstract: Differential expression (DE) plays a fundamental role toward illuminating the molecular mechanisms driving a difference between groups (e.g., due to treatment or disease). While any analysis is run on particular cells/samples, the intent is to generalize to future occurrences of the treatment or disease. Implicitly, this step is justified by assuming that present and future samples are independent and identically distributed from the same population. Though this assumption is always false, we hope that any deviation from the assumption is small enough that A) conclusions of the analysis still hold and B) standard tools like standard error, significance, and power still reflect generalizability. Conversely, we might worry about these deviations, and reliance on standard tools, if conclusions could be substantively changed by dropping a very small fraction of data. While checking every small fraction is computationally intractable, recent work develops an approximation to identify when such an influential subset exists. Building on this work, we develop a metric for dropping-data robustness of DE; namely, we cast the analysis in a form suitable to the approximation, extend the approximation to models with data-dependent hyperparameters, and extend the notion of a data point from a single cell to a pseudobulk observation. We then overcome the inherent non-differentiability of gene set enrichment analysis to develop an additional approximation for the robustness of top gene sets. We assess robustness of DE for published single-cell RNA-seq data and discover that 1000s of genes can have their results flipped by dropping <1% of the data, including 100s that are sensitive to dropping a single cell (0.07%). Surprisingly, this non-robustness extends to high-level takeaways; half of the top 10 gene sets can be changed by dropping 1-2% of cells, and 2/10 can be changed by dropping a single cell.


title: Open WDVV Equations and Frobenius Structures for Toric Calabi-Yau 3-Folds

abstract: Let $X$ be a toric Calabi-Yau 3-fold and let $L\subset X$ be an Aganagic-Vafa outer brane. We prove two versions of open WDVV equations for the open Gromov-Witten theory of $(X,L)$. The first version of the open WDVV equation leads to the construction of a semi-simple (formal) Frobenius manifold and the second version leads to the construction of a flat (formal) $F$-manifold.


title: A geometric bound on the lowest magnetic Neumann eigenvalue via the torsion function

abstract: We obtain an upper bound on the lowest magnetic Neumann eigenvalue of a bounded, convex, smooth, planar domain with moderate intensity of the homogeneous magnetic field. This bound is given as a product of a purely geometric factor expressed in terms of the torsion function and of the lowest magnetic Neumann eigenvalue of the disk having the same maximal value of the torsion function as the domain. The bound is sharp in the sense that equality is attained for disks. Furthermore, we derive from our upper bound that the lowest magnetic Neumann eigenvalue with the homogeneous magnetic field is maximized by the disk among all ellipses of fixed area provided that the intensity of the magnetic field does not exceed an explicit constant dependent only on the fixed area.


title: Textual Prompt Guided Image Restoration

abstract: Image restoration has always been a cutting-edge topic in the academic and industrial fields of computer vision. Since degradation signals are often random and diverse, "all-in-one" models that can do blind image restoration have been concerned in recent years. Early works require training specialized headers and tails to handle each degradation of concern, which are manually cumbersome. Recent works focus on learning visual prompts from data distribution to identify degradation type. However, the prompts employed in most of models are non-text, lacking sufficient emphasis on the importance of human-in-the-loop. In this paper, an effective textual prompt guided image restoration model has been proposed. In this model, task-specific BERT is fine-tuned to accurately understand user's instructions and generating textual prompt guidance. Depth-wise multi-head transposed attentions and gated convolution modules are designed to bridge the gap between textual prompts and visual features. The proposed model has innovatively introduced semantic prompts into low-level visual domain. It highlights the potential to provide a natural, precise, and controllable way to perform image restoration tasks. Extensive experiments have been done on public denoising, dehazing and deraining datasets. The experiment results demonstrate that, compared with popular state-of-the-art methods, the proposed model can obtain much more superior performance, achieving accurate recognition and removal of degradation without increasing model's complexity. Related source codes and data will be publicly available on github site https://github.com/MoTong-AI-studio/TextPromptIR.


title: Adversarial Camera Patch: An Effective and Robust Physical-World Attack on Object Detectors

abstract: Nowadays, the susceptibility of deep neural networks (DNNs) has garnered significant attention. Researchers are exploring patch-based physical attacks, yet traditional approaches, while effective, often result in conspicuous patches covering target objects. This leads to easy detection by human observers. Recently, novel camera-based physical attacks have emerged, leveraging camera patches to execute stealthy attacks. These methods circumvent target object modifications by introducing perturbations directly to the camera lens, achieving a notable breakthrough in stealthiness. However, prevailing camera-based strategies necessitate the deployment of multiple patches on the camera lens, which introduces complexity. To address this issue, we propose an Adversarial Camera Patch (ADCP).


title: Implicit Shape Modeling for Anatomical Structure Refinement of Volumetric Medical Images

abstract: Shape modeling of volumetric data is essential for medical image analysis and computer-aided intervention. In practice, automated shape reconstruction cannot always achieve satisfactory results due to limited image resolution and a lack of sufficiently detailed shape priors used as constraints. In this paper, a unified framework is proposed for 3D shape modelling and segmentation refinement based on implicit neural networks. To learn a sharable shape prior from different instances within the same category during training, physical details of volumetric data are firstly used to construct Physical-Informed Continuous Coordinate Transform (PICCT) for implicit shape modeling. For improved shape representation, implicit shape constraints based on Signed Distance Function (SDF) are used for both instances and latent templates. For inference, a Template Interaction Module (TIM) is proposed to refine 3D shapes produced by Convolutional Neural Networks (CNNs) via deforming deep implicit templates with latent codes. Experimental results on validation datasets involving liver, pancreas and lung segmentation demonstrate the superiority of our approach in shape refinement and reconstruction. The Chamfer Distance/Earth Mover's Distance achieved by the proposed method are 0.232/0.087 for the Liver dataset, 0.128/0.069 for the Pancreas dataset, and 0.417/0.100 for the Lung Lobe dataset, respectively.


title: RecJPQ: Training Large-Catalogue Sequential Recommenders

abstract: Sequential Recommendation is a popular recommendation task that uses the order of user-item interaction to model evolving users' interests and sequential patterns in their behaviour. Current state-of-the-art Transformer-based models for sequential recommendation, such as BERT4Rec and SASRec, generate sequence embeddings and compute scores for catalogue items, but the increasing catalogue size makes training these models costly. The Joint Product Quantisation (JPQ) method, originally proposed for passage retrieval, markedly reduces the size of the retrieval index with minimal effect on model effectiveness, by replacing passage embeddings with a limited number of shared sub-embeddings. This paper introduces RecJPQ, a novel adaptation of JPQ for sequential recommendations, which takes the place of item embeddings tensor and replaces item embeddings with a concatenation of a limited number of shared sub-embeddings and, therefore, limits the number of learnable model parameters. The main idea of RecJPQ is to split items into sub-item entities before training the main recommendation model, which is inspired by splitting words into tokens and training tokenisers in language models. We apply RecJPQ to SASRec, BERT4Rec, and GRU4rec models on three large-scale sequential datasets. Our results showed that RecJPQ could notably reduce the model size (e.g., 48% reduction for the Gowalla dataset with no effectiveness degradation). RecJPQ can also improve model performance through a regularisation effect (e.g. +0.96% NDCG@10 improvement on the Booking.com dataset). Overall, RecJPQ allows the training of state-of-the-art transformer recommenders in industrial applications, where datasets with millions of items are common.


title: Rotating gluon system and confinement

abstract: In this work the non-abelian gauge theory is reformulated in a local inertial frame with the presence of a background rotation. With this new formalism the influence of the background rotation on the color deconfinement transition for a SU(2) pure gluon system. The KvBLL caloron, which is a color neutral and asymptotically nontrivial solution of Yang-Mills equation at finite temperature, is adopted to confine the color charges. With new solutions of the caloron's constituent particles, i.e. dyons, the semi-classical potential, which confines color charges, and the perturbative potential, induced by the Gaussian fluctuation, have been obtained for this system under rotation. By solving the critical temperature of confinement-deconfinement phase transition in different computation schemes, it is found that neither the rotational semi-classical potential nor Gaussian fluctuations can confine color charges more tightly when the rotation becomes faster. While only a stronger coupling constant is able to make the critical temperature increasing with angular velocity, as that indicated in lattice simulations. And it is also found with some particular sets of parameters, a non-monotonic dependence of the critical temperature will be obtained in the most physically realistic case, in which all the three factors are taken into account.


title: Rigorous and efficient diffraction modeling between arbitrary planes by angular spectrum rearrangement

abstract: In computational optics, numerical modeling of diffraction between arbitrary planes offers unparalleled flexibility. However, existing methods suffer from the trade-off between computational accuracy and efficiency. To resolve this dilemma, we present a novel approach that rigorously and efficiently models wave propagation between two arbitrary planes. This is achieved by rearranging the angular spectrum of the source field, coupled with linear algebraic computations. Notably, our method achieves comparable computational efficiency to the control method for both scalar and vectorial diffraction modeling, while eliminating nearly all numerical errors. Furthermore, we selectively merge the angular spectrum to further enhance the efficiency at the expense of precision in a controlled manner. Thereafter, the time consumption is reduced to at most 3% of that before merging.


title: Motion Planning for Multiple Mobile Manipulator System in Complex Flipping Manipulation

abstract: Multiple robot systems are favored for object manipulation and transportation, especially for large objects. However, in more complex manipulation such as flipping, these systems encounter a new challenge, configuration disconnectivity of manipulators. Grasping objects by manipulators will impose closed-chain constraints on the system, which in turn limits the feasible motions of manipulators and further compromises the configuration connectivity. Multiple mobile manipulator systems show much more flexibility in object manipulation with the mobility of the mobile platform and have the potential to address the above problem. In this paper, a novel planning framework is proposed for complex flipping manipulation by incorporating platform motions and regrasping. Firstly, two types of trajectories, mobile manipulator planning and regrasping planning, are classified and can be assigned different priorities for different tasks. Secondly, corresponding planning methods are designed for each type of trajectory. Specifically, in mobile manipulator planning, the configuration of the platform is determined through optimization to ensure connectivity when the manipulator approaches configuration boundaries. In regrasping planning, closed-chain constraints are temporarily disregarded and the manipulation capabilities are prioritized to facilitate subsequent planning. Finally, the structure of the overall planning framework is provided. Experimental results demonstrate that the proposed planner efficiently plans the motions of the system to accomplish flipping manipulation. Additionally, a comprehensive experiment emphasizes the significance of our planner in extending the capabilities of multiple mobile manipulator systems in complex tasks.


title: Two-Stage Adaptive Network for Semi-Supervised Cross-Domain Crater Detection under Varying Scenario Distributions

abstract: Crater detection can provide valuable information for humans to explore the topography and understand the history of extraterrestrial planets. Due to the significantly varying scenario distributions, existing detection models trained on known labelled crater datasets are hardly effective when applied to new unlabelled planets. To address this issue, we propose a two-stage adaptive network (TAN) for semi-supervised cross-domain crater detection. Our network is built on the YOLOv5 detector, where a series of strategies are employed to enhance its cross-domain generalisation ability. In the first stage, we propose an attention-based scale-adaptive fusion (ASAF) strategy to handle objects with significant scale variances. Furthermore, we propose a smoothing hard example mining (SHEM) loss function to address the issue of overfitting on hard examples. In the second stage, we propose a sort-based pseudo-labelling fine-tuning (SPF) strategy for semi-supervised learning to mitigate the distributional differences between source and target domains. For both stages, we employ weak or strong image augmentation to suit different cross-domain tasks. Experimental results on benchmark datasets demonstrate that the proposed network can enhance domain adaptation ability for crater detection under varying scenario distributions.


title: Spectral properties of flipped Toeplitz matrices

abstract: We study the spectral properties of flipped Toeplitz matrices of the form $H_n(f)=Y_nT_n(f)$, where $T_n(f)$ is the $n\times n$ Toeplitz matrix generated by the function $f$ and $Y_n$ is the $n\times n$ exchange (or flip) matrix having $1$ on the main anti-diagonal and $0$ elsewhere. In particular, under suitable assumptions on $f$, we establish an alternating sign relationship between the eigenvalues of $H_n(f)$, the eigenvalues of $T_n(f)$, and the quasi-uniform samples of $f$. Moreover, after fine-tuning a few known theorems on Toeplitz matrices, we use them to provide localization results for the eigenvalues of $H_n(f)$. Our study is motivated by the convergence analysis of the minimal residual (MINRES) method for the solution of real non-symmetric Toeplitz linear systems of the form $T_n(f)\mathbf x=\mathbf b$ after pre-multiplication of both sides by $Y_n$, as suggested by Pestana and Wathen.


title: Jointly Explicit and Implicit Cross-Modal Interaction Network for Anterior Chamber Inflammation Diagnosis

abstract: Uveitis demands the precise diagnosis of anterior chamber inflammation (ACI) for optimal treatment. However, current diagnostic methods only rely on a limited single-modal disease perspective, which leads to poor performance. In this paper, we investigate a promising yet challenging way to fuse multimodal data for ACI diagnosis. Notably, existing fusion paradigms focus on empowering implicit modality interactions (i.e., self-attention and its variants), but neglect to inject explicit modality interactions, especially from clinical knowledge and imaging property. To this end, we propose a jointly Explicit and implicit Cross-Modal Interaction Network (EiCI-Net) for Anterior Chamber Inflammation Diagnosis that uses anterior segment optical coherence tomography (AS-OCT) images, slit-lamp images, and clinical data jointly. Specifically, we first develop CNN-Based Encoders and Tabular Processing Module (TPM) to extract efficient feature representations in different modalities. Then, we devise an Explicit Cross-Modal Interaction Module (ECIM) to generate attention maps as a kind of explicit clinical knowledge based on the tabular feature maps, then integrated them into the slit-lamp feature maps, allowing the CNN-Based Encoder to focus on more effective informativeness of the slit-lamp images. After that, the Implicit Cross-Modal Interaction Module (ICIM), a transformer-based network, further implicitly enhances modality interactions. Finally, we construct a considerable real-world dataset from our collaborative hospital and conduct sufficient experiments to demonstrate the superior performance of our proposed EiCI-Net compared with the state-of-the-art classification methods in various metrics.


title: Decoupling SQL Query Hardness Parsing for Text-to-SQL

abstract: The fundamental goal of the Text-to-SQL task is to translate natural language question into SQL query. Current research primarily emphasizes the information coupling between natural language questions and schemas, and significant progress has been made in this area. The natural language questions as the primary task requirements source determines the hardness of correspond SQL queries, the correlation between the two always be ignored. However, when the correlation between questions and queries was decoupled, it may simplify the task. In this paper, we introduce an innovative framework for Text-to-SQL based on decoupling SQL query hardness parsing. This framework decouples the Text-to-SQL task based on query hardness by analyzing questions and schemas, simplifying the multi-hardness task into a single-hardness challenge. This greatly reduces the parsing pressure on the language model. We evaluate our proposed framework and achieve a new state-of-the-art performance of fine-turning methods on Spider dev.


title: Concrete Subspace Learning based Interference Elimination for Multi-task Model Fusion

abstract: Merging models fine-tuned from a common, extensively pre-trained large model but specialized for different tasks has been demonstrated as a cheap and scalable strategy to construct a multi-task model that performs well across diverse tasks. Recent research, exemplified by task arithmetic, highlights that this multi-task model can be derived through arithmetic operations on task vectors. Nevertheless, current merging techniques frequently resolve potential conflicts among parameters from task-specific models by evaluating individual attributes, such as the parameters' magnitude or sign, overlooking their collective impact on the overall functionality of the model. In this work, we propose the CONtinuous relaxation of disCRETE (Concrete) subspace learning method to identify a common low-dimensional subspace and utilize its shared information to track the interference problem without sacrificing much performance. Specifically, we model the problem as a bi-level optimization problem and introduce a meta-learning framework to find the Concrete subspace mask through gradient-based techniques. At the upper level, we focus on learning a shared Concrete mask to identify the subspace, while at the inner level, model merging is performed to maximize the performance of the merged model. We conduct extensive experiments on both vision domain and language domain, and the results demonstrate the effectiveness of our method. The code is available at https://github.com/tanganke/subspace_fusion


title: Percentile Risk-Constrained Budget Pacing for Guaranteed Display Advertising in Online Optimization

abstract: Guaranteed display (GD) advertising is a critical component of advertising since it provides publishers with stable revenue and enables advertisers to target specific audiences with guaranteed impressions. However, smooth pacing control for online ad delivery presents a challenge due to significant budget disparities, user arrival distribution drift, and dynamic change between supply and demand. This paper presents robust risk-constrained pacing (RCPacing) that utilizes Lagrangian dual multipliers to fine-tune probabilistic throttling through monotonic mapping functions within the percentile space of impression performance distribution. RCPacing combines distribution drift resilience and compatibility with guaranteed allocation mechanism, enabling us to provide near-optimal online services. We also show that RCPacing achieves $O(\sqrt{T})$ dynamic regret where $T$ is the length of the horizon. RCPacing's effectiveness is validated through offline evaluations and online A/B testing conducted on Taobao brand advertising platform.


title: Charged particle dynamics in an elliptically polarized electromagnetic wave and a uniform axial magnetic field

abstract: An analytical study of the charged particle dynamics in the presence of an elliptically polarized electromagnetic wave and a uniform axial magnetic field, is presented. It is found that for $g\omega_{0}/ \omega' = \pm 1$, maximum energy gain occurs respectively for linear and circular polarization; $\omega_{0}$ and $\omega'$ respectively being the cyclotron frequency of the charged particle in the external magnetic field and Doppler-shifted frequency of the wave seen by the particle, and $g =\pm 1$ respectively correspond to left and right-handedness of the polarization. An explicit solution of the governing equation is presented in terms of particle position or laboratory time, for the specific case of resonant energy gain in a circularly polarized electromagnetic wave. These explicit position- or time-dependent expressions are useful for better insight into various phenomena, viz., cosmic ray generation, microwave generation, plasma heating, and particle acceleration, etc.


title: Improvement in Variational Quantum Algorithms by Measurement Simplification

abstract: Variational Quantum Algorithms (VQAs) are expected to be promising algorithms with quantum advantages that can be run at quantum computers in the close future. In this work, we review simple rules in basic quantum circuits, and propose a simplification method, Measurement Simplification, that simplifies the expression for the measurement of quantum circuit. By the Measurement Simplification, we simplified the specific result expression of VQAs and obtained large improvements in calculation time and required memory size. Here we applied Measurement Simplification to Variational Quantum Linear Solver (VQLS), Variational Quantum Eigensolver (VQE) and other Quantum Machine Learning Algorithms to show an example of speedup in the calculation time and required memory size.


title: Randomized Physics-Informed Machine Learning for Uncertainty Quantification in High-Dimensional Inverse Problems

abstract: We propose a physics-informed machine learning method for uncertainty quantification in high-dimensional inverse problems. In this method, the states and parameters of partial differential equations (PDEs) are approximated with truncated conditional Karhunen-Lo\`eve expansions (CKLEs), which, by construction, match the measurements of the respective variables. The maximum a posteriori (MAP) solution of the inverse problem is formulated as a minimization problem over CKLE coefficients where the loss function is the sum of the norm of PDE residuals and the $\ell_2$ regularization term. This MAP formulation is known as the physics-informed CKLE (PICKLE) method. Uncertainty in the inverse solution is quantified in terms of the posterior distribution of CKLE coefficients, and we sample the posterior by solving a randomized PICKLE minimization problem, formulated by adding zero-mean Gaussian perturbations in the PICKLE loss function. We call the proposed approach the randomized PICKLE (rPICKLE) method. For linear and low-dimensional nonlinear problems (15 CKLE parameters), we show analytically and through comparison with Hamiltonian Monte Carlo (HMC) that the rPICKLE posterior converges to the true posterior given by the Bayes rule. For high-dimensional non-linear problems with 2000 CKLE parameters, we numerically demonstrate that rPICKLE posteriors are highly informative--they provide mean estimates with an accuracy comparable to the estimates given by the MAP solution and the confidence interval that mostly covers the reference solution. We are not able to obtain the HMC posterior to validate rPICKLE's convergence to the true posterior due to the HMC's prohibitive computational cost for the considered high-dimensional problems. Our results demonstrate the advantages of rPICKLE over HMC for approximately sampling high-dimensional posterior distributions subject to physics constraints.


title: Adaptive Event-triggered Control For Strict-feedback Systems With Time-varying Parameters

abstract: In this article, we develop a new adaptive event-triggered asymptotic control scheme for strict-feedback systems with fast time-varying parameters. To deal with time-varying parameters with unknown variation boundaries in the feedback path and the input path, we construct three adaptive laws for parameter estimation, two for the uncertain parameters in the feedback path and one for the uncertain parameters in the input path. In particular, two sets of tuning functions are introduced to avoid over-parametrization. Additionally, an event-triggering mechanism is embedded in this adaptive control framework to reduce the data transmission from the controller to the actuator. We also introduce a soft sign function to handle the perturbations caused by sampling errors to achieve asymptotic stability and avoid the so-called parameter drift. The stability analysis shows that the closed-loop system is globally uniformly asymptotically stable and the Zeno behavior can be excluded. Simulation results verify the effectiveness and performance of the proposed adaptive scheme.


title: Dynamic Weighted Combiner for Mixed-Modal Image Retrieval

abstract: Mixed-Modal Image Retrieval (MMIR) as a flexible search paradigm has attracted wide attention. However, previous approaches always achieve limited performance, due to two critical factors are seriously overlooked. 1) The contribution of image and text modalities is different, but incorrectly treated equally. 2) There exist inherent labeling noises in describing users' intentions with text in web datasets from diverse real-world scenarios, giving rise to overfitting. We propose a Dynamic Weighted Combiner (DWC) to tackle the above challenges, which includes three merits. First, we propose an Editable Modality De-equalizer (EMD) by taking into account the contribution disparity between modalities, containing two modality feature editors and an adaptive weighted combiner. Second, to alleviate labeling noises and data bias, we propose a dynamic soft-similarity label generator (SSG) to implicitly improve noisy supervision. Finally, to bridge modality gaps and facilitate similarity learning, we propose a CLIP-based mutual enhancement module alternately trained by a mixed-modality contrastive loss. Extensive experiments verify that our proposed model significantly outperforms state-of-the-art methods on real-world datasets. The source code is available at \url{https://github.com/fuxianghuang1/DWC}.


title: Contraction analysis of time-varying DAE systems via auxiliary ODE systems

abstract: This paper studies the contraction property of time-varying differential-algebraic equation (DAE) systems by embedding them to higher-dimension ordinary differential equation (ODE) systems. The first result pertains to the equivalence of the contraction of a DAE system and the uniform global exponential stability (UGES) of its variational DAE system. Such equivalence inherits the well-known property of contracting ODE systems on a specific manifold. Subsequently, we construct an auxiliary ODE system from a DAE system whose trajectories encapsulate those of the corresponding variational DAE system. Using the auxiliary ODE system, a sufficient condition for contraction of the time-varying DAE system is established by using matrix measure which allows us to estimate an lower bound on the parameters of the auxiliary system. Finally, we apply the results to analyze the stability of time-invariant DAE systems, and to design observers for time-varying ODE systems.


title: Multiscale Quantum Approximate Optimization Algorithm

abstract: The quantum approximate optimization algorithm (QAOA) is one of the canonical algorithms designed to find approximate solutions to combinatorial optimization problems in current noisy intermediate-scale quantum (NISQ) devices. It is an active area of research to exhibit its speedup over classical algorithms. The performance of the QAOA at low depths is limited, while the QAOA at higher depths is constrained by the current techniques. We propose a new version of QAOA that incorporates the capabilities of QAOA and the real-space renormalization group transformation, resulting in enhanced performance. Numerical simulations demonstrate that our algorithm can provide accurate solutions for certain randomly generated instances utilizing QAOA at low depths, even at the lowest depth. The algorithm is suitable for NISQ devices to exhibit a quantum advantage.


title: Why "classic" Transformers are shallow and how to make them go deep

abstract: Since its introduction in 2017, Transformer has emerged as the leading neural network architecture, catalyzing revolutionary advancements in many AI disciplines. The key innovation in Transformer is a Self-Attention (SA) mechanism designed to capture contextual information. However, extending the original Transformer design to models of greater depth has proven exceedingly challenging, if not impossible. Even though various modifications have been proposed in order to stack more layers of SA mechanism into deeper models, a full understanding of this depth problem remains lacking. In this paper, we conduct a comprehensive investigation, both theoretically and empirically, to substantiate the claim that the depth problem is caused by \emph{token similarity escalation}; that is, tokens grow increasingly alike after repeated applications of the SA mechanism. Our analysis reveals that, driven by the invariant leading eigenspace and large spectral gaps of attention matrices, token similarity provably escalates at a linear rate. Based on the gained insight, we propose a new strategy of surgically removing excessive similarity in contrast to the existing approach of diminishing the SA mechanism explicitly or implicitly (such as in pre-norm transformers). Preliminary experimental results confirm the effectiveness of the proposed strategy in small-scale post-norm Transformer models.


title: Consistent combination of truncated-unity functional renormalization group and mean-field theory

abstract: We propose a novel scheme for combining efficiently the truncated-unity functional renormalization group (TUFRG) and the mean-field theory. It follows a method of Wang, Eberlein and Metzner that uses only the two-particle irreducible part of the vertex as an input for the mean-field treatment. In the TUFRG, the neglect of fluctuation effects from other channels in the symmetry-broken regime is represented by applying the random phase approximation (RPA) in each individual channel, below the divergence scale. Then the Bethe-Salpeter equation for the four-point vertex is translated into the RPA matrix equations for the bosonic propagators that relates the singular and irreducible singular modes of the propagators. The universal symmetries for the irreducible singular modes are obtained from the antisymmetry of Grassmann variables. The mean-field equation based on these modes is derived by the saddle-point approximation in the framework of the path-integral formalism. By using our scheme, the power of the TUFRG, as an unbiased tool for identifying the many-body instabilities, could be elevated to a quantitative level, and its application would be extended to a quantitative analysis of the coexisting orders. As an illustration we employ this scheme to study the coexistence phase of the chiral superconductivity and the chiral spin-density wave, predicted near van Hove filling of the honeycomb lattice.


title: Recent Advances in Deterministic Human Motion Prediction: A Review

abstract: In recent years, with the continuous advancement of deep learning and the emergence of large-scale human motion datasets, human motion prediction technology has gradually gained prominence in various fields such as human-computer interaction, autonomous driving, sports analysis, and personnel tracking. This article introduces common model architectures in this domain along with their respective advantages and disadvantages. It also systematically summarizes recent research innovations, focusing on in-depth discussions of relevant papers in these areas, thereby highlighting forward-looking insights into the field's development. Furthermore, this paper provides a comprehensive overview of existing methods, commonly used datasets, and evaluation metrics in this field. Finally, it discusses some of the current limitations in the field and proposes potential future research directions to address these challenges and promote further advancements in human motion prediction.


title: KnowGPT: Knowledge Graph based Prompting for Large Language Models

abstract: Large Language Models (LLMs) have demonstrated remarkable capabilities in many real-world applications. Nonetheless, LLMs are often criticized for their tendency to produce hallucinations, wherein the models fabricate incorrect statements on tasks beyond their knowledge and perception. To alleviate this issue, researchers have explored leveraging the factual knowledge in knowledge graphs (KGs) to ground the LLM's responses in established facts and principles. However, most state-of-the-art LLMs are closed-source, making it challenging to develop a prompting framework that can efficiently and effectively integrate KGs into LLMs with hard prompts only. Generally, existing KG-enhanced LLMs usually suffer from three critical issues, including huge search space, high API costs, and laborious prompt engineering, that impede their widespread application in practice. To this end, we introduce a novel Knowledge Graph based PrompTing framework, namely KnowGPT, to enhance LLMs with domain knowledge. KnowGPT contains a knowledge extraction module to extract the most informative knowledge from KGs, and a context-aware prompt construction module to automatically convert extracted knowledge into effective prompts. Experiments on three benchmarks demonstrate that KnowGPT significantly outperforms all competitors. Notably, KnowGPT achieves a 92.6% accuracy on OpenbookQA leaderboard, comparable to human-level performance.


title: Stationary measures of continuous time Markov chains with applications to stochastic reaction networks

abstract: We study continuous-time Markov chains on the non-negative integers under mild regularity conditions (in particular, the set of jump vectors is finite and both forward and backward jumps are possible). Based on the so-called flux balance equation, we derive an iterative formula for calculating stationary measures. Specifically, a stationary measure $\pi(x)$ evaluated at $x\in\mathbb{N}_0$ is represented as a linear combination of a few generating terms, similarly to the characterization of a stationary measure of a birth-death process, where there is only one generating term, $\pi(0)$. The coefficients of the linear combination are recursively determined in terms of the transition rates of the Markov chain. For the class of Markov chains we consider, there is always at least one stationary measure (up to a scaling constant). We give various results pertaining to uniqueness and non-uniqueness of stationary measures, and show that the dimension of the linear space of signed invariant measures is equal to the number of generating terms. A minimization problem is constructed in order to compute stationary measures numerically. Moreover, a heuristic linear approximation scheme is suggested for the same purpose by first approximating the generating terms. The correctness of the linear approximation scheme is justified in some special cases. Furthermore, a decomposition of the state space into different types of states (open and closed irreducible classes, and trapping, escaping and neutral states) is presented. Applications to stochastic reaction networks are well illustrated.


title: SP-DiffDose: A Conditional Diffusion Model for Radiation Dose Prediction Based on Multi-Scale Fusion of Anatomical Structures, Guided by SwinTransformer and Projector

abstract: Radiation therapy serves as an effective and standard method for cancer treatment. Excellent radiation therapy plans always rely on high-quality dose distribution maps obtained through repeated trial and error by experienced experts. However, due to individual differences and complex clinical situations, even seasoned expert teams may need help to achieve the best treatment plan every time quickly. Many automatic dose distribution prediction methods have been proposed recently to accelerate the radiation therapy planning process and have achieved good results. However, these results suffer from over-smoothing issues, with the obtained dose distribution maps needing more high-frequency details, limiting their clinical application. To address these limitations, we propose a dose prediction diffusion model based on SwinTransformer and a projector, SP-DiffDose. To capture the direct correlation between anatomical structure and dose distribution maps, SP-DiffDose uses a structural encoder to extract features from anatomical images, then employs a conditional diffusion process to blend noise and anatomical images at multiple scales and gradually map them to dose distribution maps. To enhance the dose prediction distribution for organs at risk, SP-DiffDose utilizes SwinTransformer in the deeper layers of the network to capture features at different scales in the image. To learn good representations from the fused features, SP-DiffDose passes the fused features through a designed projector, improving dose prediction accuracy. Finally, we evaluate SP-DiffDose on an internal dataset. The results show that SP-DiffDose outperforms existing methods on multiple evaluation metrics, demonstrating the superiority and generalizability of our method.


title: From Ultra-Fine to Fine: Fine-tuning Ultra-Fine Entity Typing Models to Fine-grained

abstract: For the task of fine-grained entity typing (FET), due to the use of a large number of entity types, it is usually considered too costly to manually annotating a training dataset that contains an ample number of examples for each type. A common way to address this problem is to use distantly annotated training data that contains incorrect labels. However, the performance of models trained solely with such data can be limited by the errors in the automatic annotation. Recently, there are a few approaches that no longer follow this conventional way. But without using sufficient direct entity typing supervision may also cause them to yield inferior performance. In this paper, we propose a new approach that can avoid the need of creating distantly labeled data whenever there is a new type schema. We first train an entity typing model that have an extremely board type coverage by using the ultra-fine entity typing data. Then, when there is a need to produce a model for a newly designed fine-grained entity type schema. We can simply fine-tune the previously trained model with a small number of examples annotated under this schema. Experimental results show that our approach achieves outstanding performance for FET under the few-shot setting. It can also outperform state-of-the-art weak supervision based methods after fine-tuning the model with only a small size manually annotated training set.


title: $K$-stability of $C^*$-algebras generated by isometries and unitaries with twisted commutation relations

abstract: In this article, we prove $K$-stability for a family of $C^*$-algebras, which are generated by a finite set of unitaries and isometries satisfying twisted commutation relations. This family includes the $C^*$-algebra of doubly non-commuting isometries and free twist of isometries. Next, we consider the $C^*$-algebra $A_{\mathcal{V}}$ generated by an $n$-tuple of $\mathcal{U}$-twisted isometries $\mathcal{V}$ with respect to a fixed $n\choose 2$-tuple $\mathcal{U}=\{U_{ij}:1\leq i<j \leq n\}$ of commuting unitaries (see \cite{NarJaySur-2022aa}). Under the assumption that the spectrum of the commutative $C^*$-algebra generated by $(\{U_{ij}:1\leq i<j \leq n\})$ does not contain any element of finite order in the torus group $\bbbt^{n\choose 2}$, we show that $A_{\mathcal{V}}$ is $K$-stable. Finally, we prove the same result for the $C^*$-algebra generated by a tuple of free $\mathcal{U}$-twisted isometries.


title: Adversarial Phase Retrieval via Nonlinear Least Absolute Deviation

abstract: We investigate the phase retrieval problem perturbed by dense bounded noise and sparse outliers that can change an adversarially chosen $s$-fraction of the measurement vector. The adversarial sparse outliers may exhibit dependence on both the observation and the measurement. We demonstrate that the nonlinear least absolute deviation based on amplitude measurement can tolerate adversarial outliers at a fraction of $s^{*,1}\approx0.2043$, while the intensity-based model can tolerate a fraction of $s^{*,2}\approx0.1185$. Furthermore, we construct adaptive counterexamples to show that the thresholds are theoretically sharp, thereby showing the presentation of phase transition in the adversarial phase retrieval problem when the corruption fraction exceeds the sharp thresholds. This implies that the amplitude-based model exhibits superior adversarial robustness in comparison with the intensity-based model. Corresponding experimental results are presented to further illustrate our theoretical findings. To the best of our knowledge, our results provide the first theoretical examination of the distinction in robustness performance between amplitude and intensity measurement. A crucial point of our analysis is that we explore the exact distribution of some combination of two non-independent Gaussian random variables and present the novel probability density functions to derive the sharp thresholds.

categories: math.ST cs.IT cs.NA math.IT math.NA math.PR stat.TH


title: Iterative methods of linearized moment equations for rarefied gases

abstract: We study the iterative methods for large moment systems derived from the linearized Boltzmann equation. By Fourier analysis, it is shown that the direct application of the block symmetric Gauss-Seidel (BSGS) method has slower convergence for smaller Knudsen numbers. Better convergence rates for dense flows are then achieved by coupling the BSGS method with the micro-macro decomposition, which treats the moment equations as a coupled system with a microscopic part and a macroscopic part. Since the macroscopic part contains only a small number of equations, it can be solved accurately during the iteration with a relatively small computational cost, which accelerates the overall iteration. The method is further generalized to the multiscale decomposition which splits the moment system into many subsystems with different orders of magnitude. Both one- and two-dimensional numerical tests are carried out to examine the performances of these methods. Possible issues regarding the efficiency and convergence are discussed in the conclusion.


title: NutritionVerse-Synth: An Open Access Synthetically Generated 2D Food Scene Dataset for Dietary Intake Estimation

abstract: Manually tracking nutritional intake via food diaries is error-prone and burdensome. Automated computer vision techniques show promise for dietary monitoring but require large and diverse food image datasets. To address this need, we introduce NutritionVerse-Synth (NV-Synth), a large-scale synthetic food image dataset. NV-Synth contains 84,984 photorealistic meal images rendered from 7,082 dynamically plated 3D scenes. Each scene is captured from 12 viewpoints and includes perfect ground truth annotations such as RGB, depth, semantic, instance, and amodal segmentation masks, bounding boxes, and detailed nutritional information per food item. We demonstrate the diversity of NV-Synth across foods, compositions, viewpoints, and lighting. As the largest open-source synthetic food dataset, NV-Synth highlights the value of physics-based simulations for enabling scalable and controllable generation of diverse photorealistic meal images to overcome data limitations and drive advancements in automated dietary assessment using computer vision. In addition to the dataset, the source code for our data generation framework is also made publicly available at https://saeejithnair.github.io/nvsynth.


title: DisControlFace: Disentangled Control for Personalized Facial Image Editing

abstract: In this work, we focus on exploring explicit fine-grained control of generative facial image editing, all while generating faithful and consistent personalized facial appearances. We identify the key challenge of this task as the exploration of disentangled conditional control in the generation process, and accordingly propose a novel diffusion-based framework, named DisControlFace, comprising two decoupled components. Specifically, we leverage an off-the-shelf diffusion reconstruction model as the backbone and freeze its pre-trained weights, which helps to reduce identity shift and recover editing-unrelated details of the input image. Furthermore, we construct a parallel control network that is compatible with the reconstruction backbone to generate spatial control conditions based on estimated explicit face parameters. Finally, we further reformulate the training pipeline into a masked-autoencoding form to effectively achieve disentangled training of our DisControlFace. Our DisControlNet can perform robust editing on any facial image through training on large-scale 2D in-the-wild portraits and also supports low-cost fine-tuning with few additional images to further learn diverse personalized priors of a specific person. Extensive experiments demonstrate that DisControlFace can generate realistic facial images corresponding to various face control conditions, while significantly improving the preservation of the personalized facial details.


title: Universality of Anderson Localization Transitions in the Integer and Fractional Quantum Hall Regime

abstract: Understanding the interplay between electronic interactions and disorder-induced localization has been a longstanding quest in the physics of quantum materials. One of the most convincing demonstrations of the scaling theory of localization for noninteracting electrons has come from plateau transitions in the integer quantum Hall effect with short-range disorder, wherein the localization length diverges as the critical filling factor is approached with a measured scaling exponent close to the theoretical estimates. In this work, we extend this physics to the fractional quantum Hall effect, a paradigmatic phenomenon arising from a confluence of interaction, disorder, and topology. We employ high-mobility trilayer graphene devices where the transport is dominated by short-range impurity scattering, and the extent of Landau level mixing can be varied by a perpendicular electric field. Our principal finding is that the plateau-to-plateau transitions from N+1/3 to N+2/5 and from N+2/5 to N+3/7 fractional states are governed by a universal scaling exponent, which is identical to that for the integer plateau transitions and is independent of the perpendicular electric field. These observations and the values of the critical filling factors are consistent with a description in terms of Anderson localization-delocalization transitions of weakly interacting electron-flux bound states called composite Fermions. This points to a universal effective physics underlying fractional and integer plateau-to-plateau transitions independent of the quasiparticle statistics of the phases and unaffected by weak Landau level mixing. Besides clarifying the conditions for the realization of the scaling regime for composite fermions, the work opens the possibility of exploring a wide variety of plateau transitions realized in graphene, including the fractional anomalous Hall phases and non-abelian FQH states.


title: Stealing Maggie's Secrets -- On the Challenges of IP Theft Through FPGA Reverse Engineering

abstract: Intellectual Property (IP) theft is a cause for major financial and reputational damage, reportedly in the range of hundreds of billions of dollars annually in the U.S. alone. Field Programmable Gate Arrays (FPGAs) are particularly exposed to IP theft, because their configuration file contains the IP in a proprietary format that can be mapped to a gate-level netlist with moderate effort. Despite this threat, the scientific understanding of this issue lacks behind reality, thereby preventing an in-depth assessment of IP theft from FPGAs in academia. We address this discrepancy through a real-world case study on a Lattice iCE40 FPGA found inside iPhone 7. Apple refers to this FPGA as Maggie. By reverse engineering the proprietary signal-processing algorithm implemented on Maggie, we generate novel insights into the actual efforts required to commit FPGA IP theft and the challenges an attacker faces on the way. Informed by our case study, we then introduce generalized netlist reverse engineering techniques that drastically reduce the required manual effort and are applicable across a diverse spectrum of FPGA implementations and architectures. We evaluate these techniques on seven benchmarks that are representative for different FPGA applications and have been synthesized for Xilinx and Lattice FPGAs. Finally, we provide a comprehensive open-source tool-suite of netlist reverse engineering techniques to foster future research, enable the community to perform realistic threat assessments, and facilitate the evaluation of novel countermeasures.