title: A novel method for iris recognition using BP neural network and parallel computing by the aid of GPUs (Graphics Processing Units)

abstract: In this paper, we seek a new method in designing an iris recognition system. In this method, first the Haar wavelet features are extracted from iris images. The advantage of using these features is the high-speed extraction, as well as being unique to each iris. Then the back propagation neural network (BPNN) is used as a classifier. In this system, the BPNN parallel algorithms and their implementation on GPUs have been used by the aid of CUDA in order to speed up the learning process. Finally, the system performance and the speeding outcomes in a way that this algorithm is done in series are presented.


title: A note on the structure of plurifinely open sets and the equality of some complex Monge-Amp\`ere measures

abstract: In a recent preprint published on arXiv (see arXiv:2308.02993v2, referred here as \cite{NXH}), N.X. Hong stated that every plurifinely open set $U\subset \mathbb{C}^n$, $n\geq 1$, is of the form $U=\bigcup \{\varphi_j>-1\}$, where each $\phi_j$ is a negative plurisubharmonic function defined on an open ball $B_j\subset \mathbb{C}^n$ and used this result to prove an equality result on complex Monge-Amp\`ere measures. Unfortunately, this result is wrong as we will see below.


title: Requirements Analysis of Variability Constraints in a Configurable Flight Software System

abstract: Variability constraints are an integral part of the requirements for a configurable system. The constraints specified in the requirements on the legal combinations of options define the space of potential valid configurations for the system-to-be. This paper reports on our experience with the variability-related requirements constraints of a flight software framework used by multiple space missions. A challenge that we saw for practitioners using the current framework, now open-sourced, is that the specifications of its variability-related requirements and constraints are dispersed across several documents, rather than being centralized in the software requirements specification. Such dispersion can contribute to misunderstandings of the side-effects of design choices, increased effort for developers, and bugs during operations. Based on our experience, we propose a new software variability model, similar to a product-line feature model, in the flight software framework. We describe the structured technique by which our model is developed, demonstrate its use, and evaluate it on a key service module of the flight software. Results show that our lightweight modeling technique helped find missing and inconsistent variability-related requirements and constraints. More generally, we suggest that a variability modeling technique such as this can be an efficient way for developers to centralize the specification and improve the analysis of dispersed variability-related requirements and constraints in other configurable systems.


title: An overlapping domain decomposition splitting algorithm for stochastic nonlinear Schroedinger equation

abstract: A novel overlapping domain decomposition splitting algorithm based on a Crank-Nisolson method is developed for the stochastic nonlinear Schroedinger equation driven by a multiplicative noise with non-periodic boundary conditions. The proposed algorithm can significantly reduce the computational cost while maintaining the similar conservation laws. Numerical experiments are dedicated to illustrating the capability of the algorithm for different spatial dimensions, as well as the various initial conditions. In particular, we compare the performance of the overlapping domain decomposition splitting algorithm with the stochastic multi-symplectic method in [S. Jiang, L. Wang and J. Hong, Commun. Comput. Phys., 2013] and the finite difference splitting scheme in [J. Cui, J. Hong, Z. Liu and W. Zhou, J. Differ. Equ., 2019]. We observe that our proposed algorithm has excellent computational efficiency and is highly competitive. It provides a useful tool for solving stochastic partial differential equations.


title: Photon counting for axion interferometry

abstract: Axions and axion-like particles are well-motivated dark matter candidates. We propose an experiment that uses single photon detection interferometry to search for axions and axion-like particles in the galactic halo. We show that photon counting with a dark rate of 6E-6 Hz can improve the quantum sensitivity of axion interferometry by a factor of 50 compared to the quantum-enhanced heterodyne readout for 5-m long optical resonators. The proposed experimental method has the potential to be scaled up to kilometer-long facilities, enabling the detection or setting of constraints on the axion-photon coupling coefficient of 1E-17 - 1E-16 GeV-1 for axion masses ranging from 0.1 to 1 neV.


title: The Quiet Eye Phenomenon in Minimally Invasive Surgery

abstract: In this paper, we report our discovery of a gaze behavior called Quiet Eye (QE) in minimally invasive surgery. The QE behavior has been extensively studied in sports training and has been associated with higher level of expertise in multiple sports. We investigated the QE behavior in two independently collected data sets of surgeons performing tasks in a sinus surgery setting and a robotic surgery setting, respectively. Our results show that the QE behavior is more likely to occur in successful task executions and in performances of surgeons of high level of expertise. These results open the door to use the QE behavior in both training and skill assessment in minimally invasive surgery.


title: Detection of open cluster rotation fields from Gaia EDR3 proper motions

abstract: Context. Most stars from in groups which with time disperse, building the field population of their host galaxy. In the Milky Way, open clusters have been continuously forming in the disk up to the present time, providing it with stars spanning a broad range of ages and masses. Observations of the details of cluster dissolution are, however, scarce. One of the main difficulties is obtaining a detailed characterisation of the internal cluster kinematics, which requires very high quality proper motions. For open clusters, which are typically loose groups with some tens to hundreds of members, there is the additional difficulty of inferring kinematic structures from sparse and irregular distributions of stars. Aims. Here, we aim to analyse internal stellar kinematics of open clusters, and identify rotation, expansion or contraction patterns. Methods. We use Gaia Early Data Release 3 (EDR3) astrometry and Integrated Nested Laplace Approximations to perform vector-field inference and create spatio-kinematic maps of 1237 open clusters. The sample is composed of clusters for which individual stellar memberships were known, thus minimising contamination from field stars in the velocity maps. Projection effects were corrected using EDR3 data complemented with radial velocities from Gaia Data Release 2 and other surveys. Results. We report the detection of rotation patterns in 8 open clusters. Nine additional clusters display possible rotation signs. We also observe 14 expanding clusters, with 15 other objects showing possible expansion patterns. Contraction is evident in two clusters, with one additional cluster presenting a more uncertain detection. In total, 53 clusters are found to display kinematic structures. Within these, elongated spatial distributions suggesting tidal tails are found in 5 clusters. [abridged]


title: Cooperative Multi-Agent Planning Framework for Fuel Constrained UAV-UGV Routing Problem

abstract: Unmanned Aerial Vehicles (UAVs), although adept at aerial surveillance, are often constrained by limited battery capacity. By refueling on slow-moving Unmanned Ground Vehicles (UGVs), their operational endurance can be significantly enhanced. This paper explores the computationally complex problem of cooperative UAV-UGV routing for vast area surveillance within the speed and fuel constraints, presenting a sequential multi-agent planning framework for achieving feasible and optimally satisfactory solutions. By considering the UAV fuel limits and utilizing a minimum set cover algorithm, we determine UGV refueling stops, which in turn facilitate UGV route planning at the first step and through a task allocation technique and energy constrained vehicle routing problem modeling with time windows (E-VRPTW) we achieve the UAV route at the second step of the framework. The effectiveness of our multi-agent strategy is demonstrated through the implementation on 30 different task scenarios across 3 different scales. This work offers significant insight into the collaborative advantages of UAV-UGV systems and introduces heuristic approaches to bypass computational challenges and swiftly reach high-quality solutions.


title: Automated Discovery of Wurtzite Solid Solutions with Enhanced Piezoelectric Response

abstract: While many piezoelectric materials are known, there is still great potential to improve on the figures of merit of existing materials through compositional doping, forming solid solutions. Specifically, it has been shown that doping and alloying wurtzite-structured materials can improve the piezoelectric response; however, a vast compositional space has remained unexplored. In this work, we apply a multi-level screening protocol combining machine learning, chemical intuition, and thermodynamics to systematically discover dopant combinations in wurtzite material space that improve the desired piezoelectric response. Through our protocol, we use computationally inexpensive screening calculations to consider more than 3000 possible ternary wurtzite solid solutions from 9 different wurtzite base systems: AlN, BeO, CdS, CdSe, GaN, ZnO, ZnS, ZnSe, and AgI. Finally, based on thermodynamic analysis and explicit piezoelectric response calculations, we predict 11 materials with improved piezoelectric response, due to the incorporation of electropositive dopants.


title: Polaritonic Bottleneck in Colloidal Quantum Dots

abstract: Controlling the relaxation dynamics of excitons is key to improving the efficiencies of semiconductor--based applications. Confined semiconductor nanocrystals (NCs) offer additional handles to control the properties of excitons, for example, by changing their size or shape, resulting in a mismatch between excitonic gaps and phonon frequencies. This has led to the hypothesis of a significant slowing--down of exciton relaxation in strongly confined NCs, but in practice due to increasing exciton--phonon coupling and rapid multiphonon relaxation channels, the exciton relaxation depends only weakly on the size or shape. Here, we focus on elucidating the nonradiative relaxation of excitons in NCs placed in an optical cavity. We find that multiphonon emission of carrier governs the decay resulting in a polariton--induced phonon bottleneck with relaxation timescales that are slower by orders of magnitude compared to the cavity--free case, while the photon fraction plays a secondary role.


title: Automated Characterization of a Double Quantum Dot using the Hubbard Model

abstract: Semiconductor quantum dots are favorable candidates for quantum information processing due to their long coherence time and potential scalability. However, the calibration and characterization of interconnected quantum dot arrays have proven to be challenging tasks. One method to characterize the configuration of such an array involves using the Hubbard model. In this paper, we present an automated characterization algorithm that efficiently extracts the Hubbard model parameters, including tunnel coupling and capacitive coupling energy, from experimental stability diagrams. Leveraging the dual annealing optimizer, we determine the set of Hubbard parameters that best characterize the experimental data. We compare our method with an alternate, well-established measure of the tunnel coupling and find good agreement within the investigated regime. Our extracted tunnel couplings range from 69 to 517 $\mu$eV, and we discuss the limiting factors of our method.


title: Reasonable Anomaly Detection in Long Sequences

abstract: Video anomaly detection is a challenging task due to the lack in approaches for representing samples. The visual representations of most existing approaches are limited by short-term sequences of observations which cannot provide enough clues for achieving reasonable detections. In this paper, we propose to completely represent the motion patterns of objects by learning from long-term sequences. Firstly, a Stacked State Machine (SSM) model is proposed to represent the temporal dependencies which are consistent across long-range observations. Then SSM model functions in predicting future states based on past ones, the divergence between the predictions with inherent normal patterns and observed ones determines anomalies which violate normal motion patterns. Extensive experiments are carried out to evaluate the proposed approach on the dataset and existing ones. Improvements over state-of-the-art methods can be observed. Our code is available at https://github.com/AllenYLJiang/Anomaly-Detection-in-Sequences.


title: A Wolf 359 in sheep's clothing: Hunting for substellar companions in the fifth-closest system using combined high-contrast imaging and radial velocity analysis

abstract: Wolf 359 (CN Leo, GJ 406, Gaia DR3 3864972938605115520) is a low-mass star in the fifth-closest neighboring system (2.41 pc). Because of its relative youth and proximity, Wolf 359 offers a unique opportunity to study substellar companions around M stars using infrared high-contrast imaging and radial velocity monitoring. We present the results of Ms-band (4.67 $\mu$m) vector vortex coronagraphic imaging using Keck-NIRC2 and add 12 Keck-HIRES velocities and 68 MAROON-X velocities to the radial velocity baseline. Our analysis incorporates these data alongside literature radial velocities from CARMENES, HARPS, and Keck-HIRES to rule out the existence of a close ($a < 10$ AU) stellar or brown dwarf companion and the majority of large gas-giant companions. Our survey does not refute or confirm the long-period radial velocity candidate Wolf 359 b ($P\sim2900$ d) but rules out the candidate's existence as a large gas-giant ($>4 M_{jup}$) assuming an age of younger than 1 Gyr. We discuss the performance of our high-contrast imaging survey to aid future observers using Keck-NIRC2 in conjunction with the vortex coronagraph in the Ms-band and conclude by exploring the direct imaging capabilities with JWST to observe Jupiter-mass and Neptune-mass planets around Wolf 359.


title: Sources of capital growth

abstract: Data from national accounts show no effect of change in net saving or consumption, in ratio to market-value capital, on change in growth rate of market-value capital (capital acceleration). Thus it appears that capital growth and acceleration arrive without help from net saving or consumption restraint. We explore ways in which this is possible, and discuss implications for economic teaching and public policy


title: The Role of Communication and Reference Songs in the Mixing Process: Insights from Professional Mix Engineers

abstract: Effective music mixing requires technical and creative finesse, but clear communication with the client is crucial. The mixing engineer must grasp the client's expectations, and preferences, and collaborate to achieve the desired sound. The tacit agreement for the desired sound of the mix is often established using guides like reference songs and demo mixes exchanged between the artist and the engineer and sometimes verbalised using semantic terms. This paper presents the findings of a two-phased exploratory study aimed at understanding how professional mixing engineers interact with clients and use their feedback to guide the mixing process. For phase one, semi-structured interviews were conducted with five mixing engineers with the aim of gathering insights about their communication strategies, creative processes, and decision-making criteria. Based on the inferences from these interviews, an online questionnaire was designed and administered to a larger group of 22 mixing engineers during the second phase. The results of this study shed light on the importance of collaboration, empathy, and intention in the mixing process, and can inform the development of smart multi-track mixing systems that better support these practices. By highlighting the significance of these findings, this paper contributes to the growing body of research on the collaborative nature of music production and provides actionable recommendations for the design and implementation of innovative mixing tools.


title: New examples of MAD families with pseudocompact hyperspaces

abstract: We show that both $\mathfrak{ap=c}$ and $\diamondsuit(\mathfrak{b})$ imply the existence of MAD families with pseudocompact Vietoris hyperspace, substantially expanding the list of models where their existence is known. We also discuss some properties on the structure of fin-intersecting MAD families by providing some new examples of non-fin-intersecting MAD families with special properties. We show that the Baire number of $\omega^*$ is strictly larger than $\mathfrak c$ if and only if for every MAD family $\mathcal A$, $\Psi(\mathcal A)$ and its Vietoris hyperspace are $p$-pseudocompact for some free ultrafilter $p$.


title: Distribution-Aware Prompt Tuning for Vision-Language Models

abstract: Pre-trained vision-language models (VLMs) have shown impressive performance on various downstream tasks by utilizing knowledge learned from large data. In general, the performance of VLMs on target tasks can be further improved by prompt tuning, which adds context to the input image or text. By leveraging data from target tasks, various prompt-tuning methods have been studied in the literature. A key to prompt tuning is the feature space alignment between two modalities via learnable vectors with model parameters fixed. We observed that the alignment becomes more effective when embeddings of each modality are `well-arranged' in the latent space. Inspired by this observation, we proposed distribution-aware prompt tuning (DAPT) for vision-language models, which is simple yet effective. Specifically, the prompts are learned by maximizing inter-dispersion, the distance between classes, as well as minimizing the intra-dispersion measured by the distance between embeddings from the same class. Our extensive experiments on 11 benchmark datasets demonstrate that our method significantly improves generalizability. The code is available at https://github.com/mlvlab/DAPT.


title: A Josephson Parametric Oscillator-Based Ising Machine

abstract: Ising machines have emerged as a promising solution for rapidly solving NP-complete combinatorial optimization problems, surpassing the capabilities of traditional computing methods. By efficiently determining the ground state of the Hamiltonian during the annealing process, Ising machines can effectively complement CPUs in tackling optimization challenges. To realize these Ising machines, a bi-stable oscillator is essential to emulate the atomic spins and interactions of the Ising model. This study introduces a Josephson parametric oscillator (JPO)-based tile structure, serving as a fundamental unit for scalable superconductor-based Ising machines. Leveraging the bi-stable nature of JPOs, which are superconductor-based oscillators, the proposed machine can operate at frequencies of 7.5GHz while consuming significantly less power (by three orders of magnitude) than CMOS-based systems. Furthermore, the compatibility of the proposed tile structure with the Lechner-Hauke-Zoller (LHZ) architecture ensures its viability for large-scale integration. We conducted simulations of the tile in a noisy environment to validate its functionality. We verified its operational characteristics by comparing the results with the analytical solution of its Hamiltonian model. This verification demonstrates the feasibility and effectiveness of the JPO-based tile in implementing Ising machines, opening new avenues for efficient and scalable combinatorial optimization in quantum computing.


title: Linear Regularity and Strong CHIP of Closed Sets in Asplund Spaces

abstract: In this paper, we mainly study linear regularity and two types of strong CHIP (given via Fr\'echet and limiting normal cones) for a collection of finitely many closed sets. We first prove characterizations of Asplund spaces in terms of linear regularity and intersection formulae of Fr\'echet normal cones. Several necessary conditions for linear regularity of closed sets are obtained via Fr\'echet/limiting normal cones in Asplund spaces. Then, we consider linear regularity for some special closed sets in convex-composite optimization and prove the equivalence result on linear regularity, strong Fr\'echet CHIP and property (G) so as to extend duality characterization for linear regularity of finitely many closed convex sets via strong CHIP and property (G) to the possibly non-convex case. As applications, we use these results on linear regularity and strong CHIP to study error bounds of inequality systems and give several dual criteria for error bounds via Fr\'echet normal cones and subdifferentials.


title: Large Language Models as Optimizers

abstract: Optimization is ubiquitous. While derivative-based algorithms have been powerful tools for various problems, the absence of gradient imposes challenges on many real-world applications. In this work, we propose Optimization by PROmpting (OPRO), a simple and effective approach to leverage large language models (LLMs) as optimizers, where the optimization task is described in natural language. In each optimization step, the LLM generates new solutions from the prompt that contains previously generated solutions with their values, then the new solutions are evaluated and added to the prompt for the next optimization step. We first showcase OPRO on linear regression and traveling salesman problems, then move on to our main application in prompt optimization, where the goal is to find instructions that maximize the task accuracy. With a variety of LLMs, we demonstrate that the best prompts optimized by OPRO outperform human-designed prompts by up to 8% on GSM8K, and by up to 50% on Big-Bench Hard tasks. Code at https://github.com/google-deepmind/opro.


title: Horizontal Fourier transform of the polyanalytic Fock kernel

abstract: Let $n,m\ge 1$ and $\alpha>0$. We denote by $\mathcal{F}_{\alpha,m}$ the $m$-analytic Bargmann--Segal--Fock space, i.e., the Hilbert space of all $m$-analytic functions defined on $\mathbb{C}^n$ and square integrables with respect to the Gaussian weight $\exp(-\alpha |z|^2)$. We study the von Neumann algebra $\mathcal{A}$ of bounded linear operators acting in $\mathcal{F}_{\alpha,m}$ and commuting with all ``horizontal'' Weyl translations, i.e., Weyl unitary operators associated to the elements of $\mathbb{R}^n$. The reproducing kernel of $\mathcal{F}_{1,m}$ was computed by Youssfi [Polyanalytic reproducing kernels in $\mathbb{C}^n$, Complex Anal. Synerg., 2021, 7, 28]. Multiplying the elements of $\mathcal{F}_{\alpha,m}$ by an appropriate weight, we transform this space into another reproducing kernel Hilbert space whose kernel $K$ is invariant under horizontal translations. Using the well-known Fourier connection between Laguerre and Hermite functions, we compute the Fourier transform of $K$ in the ``horizontal direction'' and decompose it into the sum of $d$ products of Hermite functions, with $d=\binom{n+m-1}{n}$. Finally, applying the scheme proposed by Herrera-Ya\~{n}ez, Maximenko, Ramos-Vazquez [Translation-invariant operators in reproducing kernel Hilbert spaces, Integr. Equ. Oper. Theory, 2022, 94, 31], we show that $\mathcal{F}_{\alpha,m}$ is isometrically isomorphic to the space of vector-functions $L^2(\mathbb{R}^n)^d$, and $\mathcal{A}$ is isometrically isomorphic to the algebra of matrix-functions $L^\infty(\mathbb{R}^n)^{d\times d}$.


title: Identifying Defect-Inducing Changes in Visual Code

abstract: Defects, or bugs, often form during software development. Identifying the root cause of defects is essential to improve code quality, evaluate testing methods, and support defect prediction. Examples of defect-inducing changes can be found using the SZZ algorithm to trace the textual history of defect-fixing changes back to the defect-inducing changes that they fix in line-based code. The line-based approach of the SZZ method is ineffective for visual code that represents source code graphically rather than textually. In this paper we adapt SZZ for visual code and present the "SZZ Visual Code" (SZZ-VC) algorithm, that finds changes in visual code based on the differences of graphical elements rather than differences of lines to detect defect-inducing changes. We validated the algorithm for an industry-made AAA video game and 20 music visual programming defects across 12 open source projects. Our results show that SZZ-VC is feasible for detecting defects in visual code for 3 different visual programming languages.


title: From Base to Conversational: Japanese Instruction Dataset and Tuning Large Language Models

abstract: Instruction tuning is essential for large language models (LLMs) to become interactive. While many instruction tuning datasets exist in English, there is a noticeable lack in other languages. Also, their effectiveness has not been well verified in non-English languages. We construct a Japanese instruction dataset by expanding and filtering existing datasets and apply the dataset to a Japanese pre-trained base model. We performed Low-Rank Adaptation (LoRA) tuning on both Japanese and English existing models using our instruction dataset. We evaluated these models from both quantitative and qualitative perspectives. As a result, the effectiveness of Japanese instruction datasets is confirmed. The results also indicate that even with relatively small LLMs, performances in downstream tasks would be improved through instruction tuning. Our instruction dataset, tuned models, and implementation are publicly available online.


title: Equivalence of definitions of AF groupoid

abstract: We prove the equivalence of two definitions of AF groupoid in the literature: one by Renault and the other by Farsi, Kumjian, Pask and Sims. In both definitions, an AF groupoid is an increasing union of more basic groupoids, called elementary groupoids. Surprisingly, the two definitions of elementary groupoid are not equivalent; they coincide if and only if the local homeomorphism that characterises them is a covering map.


title: Predicting Defective Visual Code Changes in a Multi-Language AAA Video Game Project

abstract: Video game development increasingly relies on using visual programming languages as the primary way to build video game features. The aim of using visual programming is to move game logic into the hands of game designers, who may not be as well versed in textual coding. In this paper, we empirically observe that there are more defect-inducing commits containing visual code than textual code in a AAA video game project codebase. This indicates that the existing textual code Just-in-Time (JIT) defect prediction models under evaluation by Electronic Arts (EA) may be ineffective as they do not account for changes in visual code. Thus, we focus our research on constructing visual code defect prediction models that encompass visual code metrics and evaluate the models against defect prediction models that use language agnostic features, and textual code metrics. We test our models using features extracted from the historical codebase of a AAA video game project, as well as the historical codebases of 70 open source projects that use textual and visual code. We find that defect prediction models have better performance overall in terms of the area under the ROC curve (AUC), and Mathews Correlation Coefficient (MCC) when incorporating visual code features for projects that contain more commits with visual code than textual code.


title: The influence of black holes on the binary population of the globular cluster Palomar 5

abstract: The discovery of stellar-mass black holes (BHs) in globular clusters (GCs) raises the possibility of long-term retention of BHs within GCs. These BHs influence various astrophysical processes, including merger-driven gravitational waves and the formation of X-ray binaries. They also impact cluster dynamics by heating and creating low-density cores. Previous N-body models suggested that Palomar 5, a low-density GC with long tidal tails, may contain more than 100 BHs. To test this scenario, we conduct N-body simulations of Palomar 5 with primordial binaries to explore the influence of BHs on binary populations and the stellar mass function. Our results show that primordial binaries have minimal effect on the long-term evolution. In dense clusters with BHs, the fraction of wide binaries with periods >$10^5$ days decreases, and the disruption rate is independent of the initial period distribution. Multi-epoch spectroscopic observations of line-of-sight velocity changes can detect most bright binaries with periods below $10^4$ days, significantly improving velocity dispersion measurements. Four BH-MS binaries in the model with BHs suggests their possible detection through the same observation method. Including primordial binaries leads to a flatter inferred mass function because of spatially unresolved binaries, leading to a better match of the observations than models without binaries, particularly in Palomar 5's inner region. Future observations should focus on the cluster velocity dispersion and binaries with periods of $10^4-10^5$ days in Palomar 5's inner and tail regions to constrain BH existence.

categories: astro-ph.GA astro-ph.CO astro-ph.HE astro-ph.SR


title: Topological Mixed Valence Model in Magic-Angle Twisted Bilayer Graphene

abstract: We develop a model to describe the mixed valence regime in magic-angle twisted bilayer graphene (MATBG) using the recently developed heavy-fermion framework. By employing the large-$N$ slave-boson approach, we derive the self-consistent mean field equations and solve them numerically. We find that the SU(8) symmetry constraint moir\'e system exhibits novel mixed-valence properties which are different from conventional heavy-fermions systems. We find the solutions describing the physics at the filling near the Mott insulator regime in the limit of strong Coulomb interactions between the flat-band fermions. Our model can provide additional insight into the possible microscopic origin of unconventional superconductivity in MATBG.


title: The DECam Ecliptic Exploration Project (DEEP): I. Survey description, science questions, and technical demonstration

abstract: We present here the DECam Ecliptic Exploration Project (DEEP), a three year NOAO/NOIRLab Survey that was allocated 46.5 nights to discover and measure the properties of thousands of trans-Neptunian objects (TNOs) to magnitudes as faint as VR~27, corresponding to sizes as small as 20 km diameter. In this paper we present the science goals of this project, the experimental design of our survey, and a technical demonstration of our approach. The core of our project is "digital tracking," in which all collected images are combined at a range of motion vectors to detect unknown TNOs that are fainter than the single exposure depth of VR~23 mag. Through this approach we reach a depth that is approximately 2.5 magnitudes fainter than the standard LSST "wide fast deep" nominal survey depth of 24.5 mag. DEEP will more than double the number of known TNOs with observational arcs of 24 hours or more, and increase by a factor of 10 or more the number of known small (<50 km) TNOs. We also describe our ancillary science goals, including measuring the mean shape distribution of very small main belt asteroids, and briefly outline a set of forthcoming papers that present further aspects of and preliminary results from the DEEP program.


title: Large-scale asymmetry in the distribution of galaxy spin directions -- analysis and reproduction

abstract: Recent independent observations using several different telescope systems an analysis methods have provided evidence of parity violation between the number of galaxies that spin in opposite directions. On the other hand, other studies argued that no parity violation can be identified. This paper provides detailed analysis, statistical inference, and reproduction of previous reports that show no preferred spin direction. Code and data used for the reproduction are publicly available. The results show that the data used in all of these studies agrees with the observation of a preferred direction as observed from Earth. In some of these studies the datasets were too small, or the statistical analysis was incomplete. In other papers the results were impacted by experimental design decisions that lead directly to show non-preferred direction. In some of these cases these decisions are not stated in the papers, but were revealed after further investigation in cases where the reproduction of the work did not match the results reported in the papers. These results show that the data used in all of these previous studies in fact agree with the contention that galaxies as observed from Earth have a preferred spin direction, and the distribution of galaxy spin directions as observed from Earth form a cosmological-scale dipole axis. This study also shows that the reason for the observations is not necessarily an anomaly in the large-scale structure, and can also be related to internal structure of galaxies.


title: Motives for Delegating Financial Decisions

abstract: Why do some investors delegate financial decisions to supposed experts? We report a laboratory experiment designed to disentangle four possible motives. Almost 600 investors drawn from the Prolific subject pool choose whether or not to delegate a real-stakes choice among lotteries to a previous investor (an ``expert'') after seeing information on the performance of several available experts. We find that a surprisingly large fraction of investors delegate even trivial choice tasks, suggesting a major role for the blame shifting motive. A larger fraction of investors delegate our more complex tasks, suggesting that decision costs play a role for some investors. Some investors who delegate choose a low quality expert with high earnings, suggesting a role for chasing past performance. We find no evidence for a fourth possible motive, that delegation makes risk more acceptable.


title: The Power of Internet of Things (IoT): Connecting the Dots with Cloud, Edge, and Fog Computing

abstract: The Internet of Things (IoT) is regarded as an improved communication system that has revolutionized traditional lifestyles. To function successfully, IoT requires a combination of cloud, fog, and edge computing architectures. Few studies have addressed cloud, fog, and edge computing simultaneously, comparing them and their issues, although several studies have looked into ways of integrating IoT with either one or two computing systems. Thus, this review provides a thorough understanding of IoT integration with these three computing architectures, as well as their respective applications and limitations. It also highlights the advantages, unresolved issues, future opportunities and directions of IoT integration with the computing systems to advance the IoT. IoT can use the Cloud's almost limitless resources to overcome technology restrictions, such as data processing, storage, and transmission. While edge computing can outperform cloud computing in many circumstances, IoT and edge computing become increasingly integrated as IoT devices increase. Cloud computing also poses a few issues, including managing time-sensitive IoT applications like video gaming, simulation, and streaming, which can be addressed by fog computing integrated with IoT. Due to the proximity of fog computing resources to the edge, data transfers and communication delays to the cloud can be reduced as a result of combining the two. The integration of IoT with cloud, fog, and edge computing will create new business prototypes and opportunities. Since IoT has the potential to greatly enhance connectivity infrastructure as an inevitable component of the future internet, further study is needed before it can be fully integrated.


title: Genericity of singularities in spacetimes with weakly trapped submanifolds

abstract: Using the standard Whitney topologies on spaces of Lorentzian metrics, we show that the existence of causal incomplete geodesics is a $C^\infty$-generic feature within the class of spacetimes of a given dimension $n\geq 3$ that are stably causal, satisfy the timelike convergence condition (``strong energy condition'') and contain a codimension-two spacelike weakly trapped closed submanifold such as, e.g., a marginally outer trapped surface (MOTS). By using a singularity theorem of Galloway and Senovilla for spacetimes containing trapped closed submanifolds of codimension higher than two we also prove an analogous $C^\infty$-genericity result for stably causal spacetimes with a suitably modified curvature condition and weakly trapped closed spacelike submanifold of any codimension $k> 2$.


title: A Note on Heights of Cyclotomic Polynomials

abstract: We show that for any positive integer $h$, either $h$ or $h+1$ is a height of some cyclotomic polynomial $\Phi_n$, where $n$ is a product of three distinct primes.


title: Non-perturbative localization for quasi-periodic Jacobi block matrices

abstract: We prove non-perturbative Anderson localization for quasi-periodic Jacobi block matrix operators assuming non-vanishing of all Lyapunov exponents. The base dynamics on tori $\mathbb{T}^b$ is assumed to be a Diophantine rotation. Results on arithmetic localization are obtained for $b=1$, and applications to the skew shift, stacked graphene, XY spin chains, and coupled Harper models are discussed.

categories: math-ph math.DS math.MP math.SP quant-ph


title: Calder\'on-Zygmund operators and endpoint spaces for Hermite expansions

abstract: Let $L=-\Delta +|x|^2$ be the Hermite operator on $\mathbb{R}^n$, and $T$ be a Calder\'on-Zygmund type operator that is modelled on certain singular integrals related to $L$. We establish necessary and sufficient conditions for $T$ to be bounded on various function spaces including the Hardy spaces and the Lipschitz spaces associated to $L$. We then apply our results to study the boundedness of the Riesz transforms and pseudo-multipliers associated to $L$.


title: Exponential Cell Division and Allometric Scaling in Metabolic Ecology

abstract: One of the most fundamental rules in metabolic ecology is the allometric equation, which is a power-law scaling that describes the connection between body measurements and body size. The biological dynamics of this essentially empirical allometric equation, however, have yet to be properly addressed in cell level. In order to fill the gap between biological process in cell level and allometric scaling in metabolic ecology, we simply assumed a cell bipartition without limitation, and then exponential cells increased during their lifetime. Two synchronous exponential increasing could generate a power-law scaling between body mass and an organ's weight. And the power-law scaling between body mass and metabolic rate may also be obtained by substituting an organ's weight with the weight of erythrocytes. Based on the same assumption, the dynamic of cell proliferation reveal a complex exponential scaling between body mass and longevity rather than the previously reported power-law scaling. In other words, there is a quadratic relationship between longevity and logarithmic form of body mass. In these relationships, all parameters can be explained by indices in cell division and embryo.


title: Adapting Static Fairness to Sequential Decision-Making: Bias Mitigation Strategies towards Equal Long-term Benefit Rate

abstract: Decisions made by machine learning models can have lasting impacts, making long-term fairness a critical consideration. It has been observed that ignoring the long-term effect and directly applying fairness criterion in static settings can actually worsen bias over time. To address biases in sequential decision-making, we introduce a long-term fairness concept named Equal Long-term Benefit Rate (ELBERT). This concept is seamlessly integrated into a Markov Decision Process (MDP) to consider the future effects of actions on long-term fairness, thus providing a unified framework for fair sequential decision-making problems. ELBERT effectively addresses the temporal discrimination issues found in previous long-term fairness notions. Additionally, we demonstrate that the policy gradient of Long-term Benefit Rate can be analytically simplified to standard policy gradients. This simplification makes conventional policy optimization methods viable for reducing bias, leading to our bias mitigation approach ELBERT-PO. Extensive experiments across various diverse sequential decision-making environments consistently reveal that ELBERT-PO significantly diminishes bias while maintaining high utility. Code is available at https://github.com/umd-huang-lab/ELBERT.


title: On the invariant subspace problem via universal Toeplitz operators on the Hardy space $H^{2}(\mathbb{D}^{2})$

abstract: The Invariant Subspace Problem (ISP) for Hilbert spaces asks if every bounded linear operator has a non-trivial closed invariant subspace. Due to the existence of universal operators (in the sense of Rota) the ISP can be solved by proving that every minimal invariant subspace of a universal operator is one dimensional. In this paper, we obtain a nontrivial invariant subspace of $T^{*}_{\varphi}|_{M}$, where $T_{\varphi}$ is the Toeplitz operator on the Hardy space over the bidisk $H^{2}(\mathbb{D}^{2})$ induced by the symbol $\varphi\in H^{\infty}(\mathbb{D})$ and $M$ is a $T_{\varphi}^{*}$-invariant subspace. We use this fact to get sufficient conditions for the ISP.


title: Extrinsic geometry of calibrated submanifolds

abstract: Given a calibration $\alpha$ whose stabilizer acts transitively on the Grassmanian of calibrated planes, we introduce a nontrivial Lie-theoretic condition on $\alpha$, which we call compliancy, and show that this condition holds for many interesting geometric calibrations, including K\"ahler, special Lagrangian, associative, coassociative, and Cayley. We determine a sufficient condition that ensures compliancy of $\alpha$, we completely characterize compliancy in terms of properties of a natural involution determined by a calibrated plane, and we relate compliancy to the geometry of the calibrated Grassmanian. The condition that a Riemannian immersion $\iota \colon L \to M$ be calibrated is a first order condition. By contrast, its extrinsic geometry, given by the second fundamental form $A$ and the induced tangent and normal connections $\nabla$ on $TL$ and $D$ on $NL$, respectively, is second order information. We characterize the conditions imposed on the extrinsic geometric data $(A, \nabla, D)$ when the Riemannian immersion $\iota \colon L \to M$ is calibrated with respect to a calibration $\alpha$ on $M$ which is both parallel and compliant. This motivate the definition of an infinitesimally calibrated Riemannian immersion, generalizing the classical notion of a superminimal surface in $\mathbb R^4$.


title: A Liouville Theorem and Radial Symmetry for dual fractional parabolic equations

abstract: In this paper, we first study the dual fractional parabolic equation \begin{equation*} \partial^\alpha_t u(x,t)+(-\Delta)^s u(x,t) = f(u(x,t))\ \ \mbox{in}\ \ B_1(0)\times\R , \end{equation*} subject to the vanishing exterior condition. We show that for each $t\in\R$, the positive bounded solution $u(\cdot,t)$ must be radially symmetric and strictly decreasing about the origin in the unit ball in $\R^n$. To overcome the challenges caused by the dual non-locality of the operator $\partial^\alpha_t+(-\Delta)^s$, some novel techniques were introduced. Then we establish the Liouville theorem for the homogeneous equation in the whole space \begin{equation*}\label{B} \partial^\alpha_t u(x,t)+(-\Delta)^s u(x,t) = 0\ \ \mbox{in}\ \ \R^n\times\R . \end{equation*} We first prove a maximum principle in unbounded domains for anti-symmetric functions to deduce that $u(x,t)$ must be constant with respect to $x.$ Then it suffices for us to establish the Liouville theorem for the Marchaud fractional equation \begin{equation*} \partial^\alpha_t u(t) = 0\ \ \mbox{in}\ \ \R . \end{equation*} To circumvent the difficulties arising from the nonlocal and one-sided nature of the operator $\partial_t^\alpha$, we bring in some new ideas and simpler approaches. Instead of disturbing the anti-symmetric function, we employ a perturbation technique directly on the solution $u(t)$ itself. This method provides a more concise and intuitive route to establish the Liouville theorem for one-sided operators $\partial_t^\alpha$, including even more general Marchaud time derivatives.


title: Study of Poincare map and limit cycles for non-smooth Welander's system

abstract: In this work, our primary goal is to study the Poincare map and the existence of limit cycles for Welander's model that describes ocean convection. Welander developed two versions of his model, one with a smooth transition between convective states, and one with an abrupt non-smooth change. Our focus in this paper is to study the non-smooth model. Approaching through the Poincare Map, we demonstrate analytically the bifurcation of a stable limit cycle surrounding an escaping segment.


title: Mean field limits of particle-based stochastic reaction-drift-diffusion models

abstract: We consider particle-based stochastic reaction-drift-diffusion models where particles move via diffusion and drift induced by one- and two-body potential interactions. The dynamics of the particles are formulated as measure-valued stochastic processes (MVSPs), which describe the evolution of the singular, stochastic concentration fields of each chemical species. The mean field large population limit of such models is derived and proven, giving coarse-grained deterministic partial integro-differential equations (PIDEs) for the limiting deterministic concentration fields' dynamics. We generalize previous studies on the mean field limit of models involving only diffusive motion, with care to formulating the MVSP representation to ensure detailed balance of reversible reactions in the presence of potentials. Our work illustrates the more general set of PIDEs that arise in the mean field limit, demonstrating that the limiting macroscopic reactive interaction terms for reversible reactions obtain additional nonlinear concentration-dependent coefficients compared to the purely diffusive case. Numerical studies are presented which illustrate that two-body repulsive potential interactions can have a significant impact on the reaction dynamics, and also demonstrate the empirical numerical convergence of solutions to the PBSRDD model to the derived mean field PIDEs as the population size increases.


title: Perishable Goods versus Re-tradable Assets: A Theoretical Reappraisal of a Fundamental Dichotomy

abstract: Experimental results on market behavior establish a lower stability and efficiency of markets for durable re-tradable assets compared to markets for non-durable, or perishable, goods. In this chapter, we revisit this known but underappreciated dichotomy of goods in the light of our theory of competitive market price formation, and we emphasize the fundamental nature of the concept of asset re-tradability in neoclassical finance through a simple reformulation of the famous no-trade and no-arbitrage theorems.


title: Improving Open Information Extraction with Large Language Models: A Study on Demonstration Uncertainty

abstract: Open Information Extraction (OIE) task aims at extracting structured facts from unstructured text, typically in the form of (subject, relation, object) triples. Despite the potential of large language models (LLMs) like ChatGPT as a general task solver, they lag behind state-of-the-art (supervised) methods in OIE tasks due to two key issues. First, LLMs struggle to distinguish irrelevant context from relevant relations and generate structured output due to the restrictions on fine-tuning the model. Second, LLMs generates responses autoregressively based on probability, which makes the predicted relations lack confidence. In this paper, we assess the capabilities of LLMs in improving the OIE task. Particularly, we propose various in-context learning strategies to enhance LLM's instruction-following ability and a demonstration uncertainty quantification module to enhance the confidence of the generated relations. Our experiments on three OIE benchmark datasets show that our approach holds its own against established supervised methods, both quantitatively and qualitatively.


title: Broad Absorption Line Quasars in the Dark Energy Spectroscopic Instrument Early Data Release

abstract: Broad absorption line (BAL) quasars are characterized by gas clouds that absorb flux at the wavelength of common quasar spectral features, although blueshifted by velocities that can exceed 0.1c. BAL features are interesting as signatures of significant feedback, yet they can also compromise cosmological studies with quasars by distorting the shape of the most prominent quasar emission lines, impacting redshift accuracy and measurements of the matter density distribution traced by the Lyman-alpha forest. We present a catalog of BAL quasars discovered in the Dark Energy Spectroscopic Instrument (DESI) survey Early Data Release, which were observed as part of DESI Survey Validation, as well as the first two months of the main survey. We describe our method to automatically identify BAL quasars in DESI data, the quantities we measure for each BAL, and investigate the completeness and purity of this method with mock DESI observations. We mask the wavelengths of the BAL features and re-evaluate each BAL quasar redshift, finding new redshifts which are 243 km/s smaller on average for the BAL quasar sample. These new, more accurate redshifts are important to obtain the best measurements of quasar clustering, especially at small scales. Finally, we present some spectra of rarer classes of BALs that illustrate the potential of DESI data to identify such populations for further study.


title: Spectral Theory for Non-linear Superconducting Microwave Systems: Extracting Relaxation Rates and Mode Hybridization

abstract: The accurate modeling of mode hybridization and calculation of radiative relaxation rates have been crucial to the design and optimization of superconducting quantum devices. In this work, we introduce a spectral theory for the electrohydrodynamics of superconductors that enables the extraction of the relaxation rates of excitations in a general three-dimensional distribution of superconducting bodies. Our approach addresses the long-standing problem of formulating a modal description of open systems that is both efficient and allows for second quantization of the radiative hybridized fields. This is achieved through the implementation of finite but transparent boundaries through which radiation can propagate into and out of the computational domain. The resulting spectral problem is defined within a coarse-grained formulation of the electrohydrodynamical equations that is suitable for the analysis of the non-equilibrium dynamics of multiscale superconducting quantum systems.


title: RIS-Assisted Wireless Communications: Long-Term versus Short-Term Phase Shift Designs

abstract: Reconfigurable intelligent surface (RIS) has recently gained significant interest as an emerging technology for future wireless networks thanks to its potential for improving the coverage probability in challenging propagation environments. This paper studies an RIS-assisted propagation environment, where a source transmits data to a destination in the presence of a weak direct link. We analyze and compare RIS designs based on long-term and short-term channel statistics in terms of coverage probability and ergodic rate. For the considered optimization designs, we derive closed-form expressions for the coverage probability and ergodic rate, which explicitly unveil the impact of both the propagation environment and the RIS on the system performance. Besides the optimization of the RIS phase profile, we formulate an RIS placement optimization problem with the aim of maximizing the coverage probability by relying only on partial channel state information. An efficient algorithm is proposed based on the gradient ascent method. Simulation results are illustrated in order to corroborate the analytical framework and findings. The proposed RIS phase profile is shown to outperform several heuristic benchmarks in terms of outage probability and ergodic rate. In addition, the proposed RIS placement strategy provides an extra degree of freedom that remarkably improves system performance.


title: Byzantine-Robust Federated Learning with Variance Reduction and Differential Privacy

abstract: Federated learning (FL) is designed to preserve data privacy during model training, where the data remains on the client side (i.e., IoT devices), and only model updates of clients are shared iteratively for collaborative learning. However, this process is vulnerable to privacy attacks and Byzantine attacks: the local model updates shared throughout the FL network will leak private information about the local training data, and they can also be maliciously crafted by Byzantine attackers to disturb the learning. In this paper, we propose a new FL scheme that guarantees rigorous privacy and simultaneously enhances system robustness against Byzantine attacks. Our approach introduces sparsification- and momentum-driven variance reduction into the client-level differential privacy (DP) mechanism, to defend against Byzantine attackers. The security design does not violate the privacy guarantee of the client-level DP mechanism; hence, our approach achieves the same client-level DP guarantee as the state-of-the-art. We conduct extensive experiments on both IID and non-IID datasets and different tasks and evaluate the performance of our approach against different Byzantine attacks by comparing it with state-of-the-art defense methods. The results of our experiments show the efficacy of our framework and demonstrate its ability to improve system robustness against Byzantine attacks while achieving a strong privacy guarantee.


title: Fano varieties with large pseudoindex and non-free rational curves

abstract: For $n\geq 4$, let $X$ be a complex smooth Fano $n$-fold whose minimal anticanonical degree of non-free rational curves on $X$ is at least $n-2$. We classify extremal contractions of such varieties. As an application, we obtain a classification of Fano fourfolds with pseudoindex and Picard number greater than one. Combining this result with previous results, we complete the classification of smooth Fano $n$-folds with pseudoindex at least $n-2$ and Picard number greater than one. This can be seen as a generalization of various previous results. We also discuss the relations between pseudoindex and other invariants of Fano varieties.


title: Personalized Tucker Decomposition: Modeling Commonality and Peculiarity on Tensor Data

abstract: We propose personalized Tucker decomposition (perTucker) to address the limitations of traditional tensor decomposition methods in capturing heterogeneity across different datasets. perTucker decomposes tensor data into shared global components and personalized local components. We introduce a mode orthogonality assumption and develop a proximal gradient regularized block coordinate descent algorithm that is guaranteed to converge to a stationary point. By learning unique and common representations across datasets, we demonstrate perTucker's effectiveness in anomaly detection, client classification, and clustering through a simulation study and two case studies on solar flare detection and tonnage signal classification.


title: Punctate White Matter Lesion Segmentation in Preterm Infants Powered by Counterfactually Generative Learning

abstract: Accurate segmentation of punctate white matter lesions (PWMLs) are fundamental for the timely diagnosis and treatment of related developmental disorders. Automated PWMLs segmentation from infant brain MR images is challenging, considering that the lesions are typically small and low-contrast, and the number of lesions may dramatically change across subjects. Existing learning-based methods directly apply general network architectures to this challenging task, which may fail to capture detailed positional information of PWMLs, potentially leading to severe under-segmentations. In this paper, we propose to leverage the idea of counterfactual reasoning coupled with the auxiliary task of brain tissue segmentation to learn fine-grained positional and morphological representations of PWMLs for accurate localization and segmentation. A simple and easy-to-implement deep-learning framework (i.e., DeepPWML) is accordingly designed. It combines the lesion counterfactual map with the tissue probability map to train a lightweight PWML segmentation network, demonstrating state-of-the-art performance on a real-clinical dataset of infant T1w MR images. The code is available at \href{https://github.com/ladderlab-xjtu/DeepPWML}{https://github.com/ladderlab-xjtu/DeepPWML}.


title: $G$-kernels of Kirchberg algebras

abstract: A $G$-kernel is a group homomorphism from a group $G$ to the outer automorphism group of a C$^*$-algebra. Inspired by recent work of Evington and Gir\'{o}n Pacheco in the stably finite case, we introduce a new invariant of a $G$-kernel using $K$-theory, and deduce several new constraints of the obstruction classes of $G$-kernels in the purely infinite case. We classify $\mathbb{Z}^n$-kernels for strongly self-absorbing Kirchberg algebras in the bootstrap category in terms of our new invariant and the Dadarlat-Pennig theory of continuous fields of strongly self-absorbing C$^*$-algebras.


title: Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version)

abstract: We consider the problem of specifying and proving the security of non-trivial, concurrent programs that intentionally leak information. We present a method that decomposes the problem into (a) proving that the program only leaks information it has declassified via assume annotations already widely used in deductive program verification; and (b) auditing the declassifications against a declarative security policy. We show how condition (a) can be enforced by an extension of the existing program logic SecCSL, and how (b) can be checked by proving a set of simple entailments. Part of the challenge is to define respective semantic soundness criteria and to formally connect these to the logic rules and policy audit. We support our methodology in an auto-active program verifier, which we apply to verify the implementations of various case study programs against a range of declassification policies.


title: Uniqueness of weak solutions to the primitive equations in some anisotropic spaces

abstract: We consider the 3D or 2D primitive equations for oceans and atmosphere in the isothermal setting. In this paper, we establish a new conditional uniqueness result for weak solutions to the primitive equations, that is, if a weak solution belongs some scaling invariant function spaces, and satisfies some additional assumptions, then the weak solution is unique. In particular, our result can be obtained as different one from $z$-weak solutions framework by adopting some anisotropic approaches with the homogeneous toroidal Besov spaces. As an application of the proof, we establish the energy equality for weak solutions in the uniqueness class given in the main theorem.


title: Quantized Hall conductance in graphene by nonperturbative magnetic-field-containing relativistic tight-binding approximation method

abstract: In this study, we conducted a numerical investigation on the Hall conductance ($\sigma_{Hall}$) of graphene based on the magnetic energy band structure calculated using a nonperturbative magnetic-field-containing relativistic tight-binding approximation (MFRTB) method. The nonperturbative MFRTB can revisit two types of plateaus for the dependence of $\sigma_{Hall}$ on Fermi energy. One set is characterized as wide plateaus (WPs). These WPs have filling factors (FFs) of 2, 6, 10, 14, etc. and are known as the half-integer quantum Hall effect. The width of WPs decreases with increasing FF, which exceeds the decrease expected from the linear dispersion relation of graphene. The other set is characterized by narrow plateaus (NPs), which have FFs of 0, 4, 8, 12, etc. The NPs correspond to the energy gaps caused by the spin-Zeeman effect and spin-orbit interaction. Furthermore, it was discovered that the degeneracy of the magnetic energy bands calculated using the nonperturbative MFRTB method leads to a quantized $\sigma_{Hall}$.


title: Underwater Image Enhancement by Transformer-based Diffusion Model with Non-uniform Sampling for Skip Strategy

abstract: In this paper, we present an approach to image enhancement with diffusion model in underwater scenes. Our method adapts conditional denoising diffusion probabilistic models to generate the corresponding enhanced images by using the underwater images and the Gaussian noise as the inputs. Additionally, in order to improve the efficiency of the reverse process in the diffusion model, we adopt two different ways. We firstly propose a lightweight transformer-based denoising network, which can effectively promote the time of network forward per iteration. On the other hand, we introduce a skip sampling strategy to reduce the number of iterations. Besides, based on the skip sampling strategy, we propose two different non-uniform sampling methods for the sequence of the time step, namely piecewise sampling and searching with the evolutionary algorithm. Both of them are effective and can further improve performance by using the same steps against the previous uniform sampling. In the end, we conduct a relative evaluation of the widely used underwater enhancement datasets between the recent state-of-the-art methods and the proposed approach. The experimental results prove that our approach can achieve both competitive performance and high efficiency. Our code is available at \href{mailto:https://github.com/piggy2009/DM_underwater}{\color{blue}{https://github.com/piggy2009/DM\_underwater}}.


title: Skew Product Groups for 2-Groups of Maximal Class

abstract: Skew morphisms, which generalise automorphisms for groups, provide a fundamental tool for the study of regular Cayley maps and, more generally, for finite groups with a complementary factorisation $X = GY$, where $Y$ is cyclic and core-free in $X$. $X$ is called the skew product group associated with $G$ and $Y$. In this paper, we classify skew product groups for the maximal class 2-groups.


title: Broadband Ground Motion Synthesis via Generative Adversarial Neural Operators: Development and Validation

abstract: We present a data-driven framework for ground-motion synthesis that generates three-component acceleration time histories conditioned on moment magnitude, rupture distance , time-average shear-wave velocity at the top $30m$ ($V_{S30}$), and style of faulting. We use a Generative Adversarial Neural Operator (GANO), a resolution invariant architecture that guarantees model training independent of the data sampling frequency. We first present the conditional ground-motion synthesis algorithm (cGM-GANO) and discuss its advantages compared to previous work. We next train cGM-GANO on simulated ground motions generated by the Southern California Earthquake Center Broadband Platform (BBP) and on recorded KiK-net data and show that the model can learn the overall magnitude, distance, and $V_{S30}$ scaling of effective amplitude spectra (EAS) ordinates and pseudo-spectral accelerations (PSA). Results specifically show that cGM-GANO produces consistent median scaling with the training data for the corresponding tectonic environments over a wide range of frequencies for scenarios with sufficient data coverage. For the BBP dataset, cGM-GANO cannot learn the ground motion scaling of the stochastic frequency components; for the KiK-net dataset, the largest misfit is observed at short distances and for soft soil conditions due to the scarcity of such data. Except for these conditions, the aleatory variability of EAS and PSA are captured reasonably well. Lastly, cGM-GANO produces similar median scaling to traditional GMMs for frequencies greater than 1Hz for both PSA and EAS but underestimates the aleatory variability of EAS. Discrepancies in the comparisons between the synthetic ground motions and GMMs are attributed to inconsistencies between the training dataset and the datasets used in GMM development. Our pilot study demonstrates GANO's potential for efficient synthesis of broad-band ground motions


title: Introduction to Molecular-Scale Understanding of Surface Tension

abstract: In this article, microscopic understanding of the surface tension are provided, which needs basic knowledge of thermodynamics, statistical mechanics as well as continuum mechanics. By introducing the intermolecular interaction potential and temperature definition, and by showing conceptual pictures including some results obtained by molecular dynamics simulations, the author hopes that the target readers of undergraduate level students can find fascinating aspects of surface tension as the boundary of macroscopic and microscopic physics.


title: Analyzing the Effects of Fifth and Seventh Order Terms in a Generalized Henon-Heiles Potential

abstract: In 1962, astronomers Michel H\'enon and Carl Heiles studied orbits of stars around centers of galaxies to determine the third integral of motion in galactic dynamics. In order to do this, they reduced the system down to a 2-dimensional axisymmetric Hamiltonian system. Now this is known as the H\'enon-Heiles (HH) System. Due to its apparent simplicity but extremely complicated dynamical behavior, this system is currently a paradigm in dynamical systems. In this paper, we perform a series expansion up to the seventh order of a potential with axial and reflection symmetries. After some transformations, this turns into the generalized H\'enon-Heiles (GHH) system where we separate the fifth and seventh-order terms. We qualitatively analyze this system for energies near the threshold between bounded and unbounded motion with Poincar\'e sections and quantitatively analyze with Lyapunov Exponents. We find that particles far from the critical energy demonstrate less chaos. Additionally, the fifth-order term creates more regularity while the seventh-order term does the opposite.


title: XGen-7B Technical Report

abstract: Large Language Models (LLMs) have become ubiquitous across various domains, transforming the way we interact with information and conduct research. However, most high-performing LLMs remain confined behind proprietary walls, hindering scientific progress. Most open-source LLMs, on the other hand, are limited in their ability to support longer sequence lengths, which is a key requirement for many tasks that require inference over an input context. To address this, we have trained XGen, a series of 7B parameter models on up to 8K sequence length for up to 1.5T tokens. We have also finetuned the XGen models on public-domain instructional data, creating their instruction-tuned counterparts (XGen-Inst). We open-source our models for both research advancements and commercial applications. Our evaluation on standard benchmarks shows that XGen models achieve comparable or better results when compared with state-of-the-art open-source LLMs. Our targeted evaluation on long sequence modeling tasks shows the benefits of our 8K-sequence models over 2K-sequence open-source LLMs.


title: Cross-domain Sound Recognition for Efficient Underwater Data Analysis

abstract: This paper presents a novel deep learning approach for analyzing massive underwater acoustic data by leveraging a model trained on a broad spectrum of non-underwater (aerial) sounds. Recognizing the challenge in labeling vast amounts of underwater data, we propose a two-fold methodology to accelerate this labor-intensive procedure. The first part of our approach involves PCA and UMAP visualization of the underwater data using the feature vectors of an aerial sound recognition model. This enables us to cluster the data in a two dimensional space and listen to points within these clusters to understand their defining characteristics. This innovative method simplifies the process of selecting candidate labels for further training. In the second part, we train a neural network model using both the selected underwater data and the non-underwater dataset. We conducted a quantitative analysis to measure the precision, recall, and F1 score of our model for recognizing airgun sounds, a common type of underwater sound. The F1 score achieved by our model exceeded 84.3%, demonstrating the effectiveness of our approach in analyzing underwater acoustic data. The methodology presented in this paper holds significant potential to reduce the amount of labor required in underwater data analysis and opens up new possibilities for further research in the field of cross-domain data analysis.


title: Multi-Modality Guidance Network For Missing Modality Inference

abstract: Multimodal models have gained significant success in recent years. Standard multimodal approaches often assume unchanged modalities from training stage to inference stage. In practice, however, many scenarios fail to satisfy such assumptions with missing modalities during inference, leading to limitations on where multimodal models can be applied. While existing methods mitigate the problem through reconstructing the missing modalities, it increases unnecessary computational cost, which could be just as critical, especially for large, deployed systems. To solve the problem from both sides, we propose a novel guidance network that promotes knowledge sharing during training, taking advantage of the multimodal representations to train better single-modality models for inference. Real-life experiment in violence detection shows that our proposed framework trains single-modality models that significantly outperform its traditionally trained counterparts while maintaining the same inference cost.


title: SyncDreamer: Generating Multiview-consistent Images from a Single-view Image

abstract: In this paper, we present a novel diffusion model called that generates multiview-consistent images from a single-view image. Using pretrained large-scale 2D diffusion models, recent work Zero123 demonstrates the ability to generate plausible novel views from a single-view image of an object. However, maintaining consistency in geometry and colors for the generated images remains a challenge. To address this issue, we propose a synchronized multiview diffusion model that models the joint probability distribution of multiview images, enabling the generation of multiview-consistent images in a single reverse process. SyncDreamer synchronizes the intermediate states of all the generated images at every step of the reverse process through a 3D-aware feature attention mechanism that correlates the corresponding features across different views. Experiments show that SyncDreamer generates images with high consistency across different views, thus making it well-suited for various 3D generation tasks such as novel-view-synthesis, text-to-3D, and image-to-3D.


title: Dynamical phase transition and scaling in the chiral clock Potts chain

abstract: Based on time-dependent variational principle (TDVP) techniques, we investigate the dynamical critical behavior of quantum three-state Potts chains with chiral interactions. Using Loschmidt echo, order parameter, and entanglement entropy as an indicator, we show that as the chiral interaction $\theta$ increases, the first critical time $t_{1}^{*}$ shift towards lower values, indicating a chirality-enhanced dynamical phase transition. Moreover, we perform dynamical scaling for the Loschmidt echo and obtain the critical exponent $\nu$ at the non-conformal critical point. The results show that as the chiral interaction $\theta$ increases, the correlation length exponent $\nu$ decreases, which is similar to the long-range interaction case. Finally, we give a simple physical argument to understand the above numerical results. This work provides a useful reference for further research on many-body physics out of equilibrium with chiral interaction.


title: Thresholds for zero-sums with small cross numbers in abelian groups

abstract: For an additive group $\Gamma$ the sequence $S = (g_1, \ldots, g_t)$ of elements of $\Gamma$ is a zero-sum sequence if $g_1 + \cdots + g_t = 0_\Gamma$. The cross number of $S$ is defined to be the sum $\sum_{i=1}^k 1/|g_i|$, where $|g_i|$ denotes the order of $g_i$ in $\Gamma$. Call $S$ good if it contains a zero-sum subsequence with cross number at most 1. In 1993, Geroldinger proved that if $\Gamma$ is abelian then every length $|\Gamma|$ sequence of its elements is good, generalizing a 1989 result of Lemke and Kleitman that had proved an earlier conjecture of Erd\H{o}s and Lemke. In 1989 Chung re-proved the Lemke and Kleitman result by applying a theorem of graph pebbling, and in 2005, Elledge and Hurlbert used graph pebbling to re-prove and generalize Geroldinger's result. Here we use probabilistic theorems from graph pebbling to derive a threshold version of Geroldinger's theorem for abelian groups of a certain form. Specifically, we prove that if $p_1, \ldots, p_d$ are (not necessarily distinct) primes and $\Gamma_k$ has the form $\prod_{i=1}^d {\mathbb Z}_{p_i^k}$ then there is a function $\tau=\tau(k)$ (which we specify in Theorem 4) with the following property: if $t-\tau\rightarrow\infty$ as $k\rightarrow\infty$ then the probability that $S$ is good in $\Gamma_k$ tends to 1.


title: Turnpike properties for stochastic backward linear-quadratic optimal problems

abstract: This paper deals with the long time behavior of the optimal solution of stochastic backward linear-quadratic optimal control problem over the finite time horizon. Both weak and strong turnpike properties are established under appropriate conditions, including stabilizability condition. The key ingredients are to formulate the corresponding static optimization problem and determine the correction processes. However, our techniques are quite different from stochastic (forward) linear-quadratic case.


title: Demonstration of high-power photonic-crystal surface-emitting lasers with 1-kHz-class intrinsic linewidths

abstract: Photonic-crystal surface-emitting lasers (PCSELs) are capable of single-mode, high-power lasing over a large resonator area owing to two-dimensional resonance at a singularity point of the photonic band structure. Since the number of photons in the lasing mode in PCSELs are much larger than those in conventional semiconductor lasers, PCSELs are in principle suitable for coherent operation with a narrow spectral linewidth. In this paper, we numerically and experimentally investigate intrinsic spectral linewidths of 1-mm-diameter PCSELs under continuous-wave (CW) operation, and we demonstrate CW operation with 1-kHz-class intrinsic linewidths and 5-W-class output power.


title: Thermophysical Model Development for Hera Mission to Simulate Non-Gravitational Acceleration on Binary Asteroid

abstract: The surface temperature of an asteroid is fundamental information for the design of an exploration mission and the interpretation of scientific observations. In addition, the thermal radiation of the asteroid causes a non-gravitational acceleration that induces secular changes in its orbit and spin. We have been developing a numerical calculation library for simulating the dynamics and thermophysics of asteroids. The asteroid dynamical simulator, \texttt{Astroshaper}, can calculate the temperature distribution based on a 3-dimensional shape model of an asteroid and predict the non-gravitational acceleration. In recent years, asteroid exploration missions such as Hayabusa2 and Hera have been equipped with thermal infrared imagers. The asteroid thermography can provide the thermal properties of the surface material of the target bodies. The functionality of thermophysical modeling in \texttt{Astroshaper} contributes to simulating the thermal environment on the asteroids, estimating the thermal properties, and predicting the dynamical evolution controlled by the non-gravitational effects.


title: Second-order, Positive, and Unconditional Energy Dissipative Scheme for Modified Poisson-Nernst-Planck Equations

abstract: First-order energy dissipative schemes in time are available in literature for the Poisson-Nernst-Planck (PNP) equations, but second-order ones are still in lack. This work proposes novel second-order discretization in time and finite volume discretization in space for modified PNP equations that incorporate effects arising from ionic steric interactions and dielectric inhomogeneity. A multislope method on unstructured meshes is proposed to reconstruct positive, accurate approximations of mobilities on faces of control volumes. Numerical analysis proves that the proposed numerical schemes are able to unconditionally ensure the existence of positive numerical solutions, original energy dissipation, mass conservation, and preservation of steady states at discrete level. Extensive numerical simulations are conducted to demonstrate numerical accuracy and performance in preserving properties of physical significance. Applications in ion permeation through a 3D nanopore show that the modified PNP model, equipped with the proposed schemes, has promising applications in the investigation of ion selectivity and rectification. The proposed second-order discretization can be extended to design temporal second-order schemes with original energy dissipation for a type of gradient flow problems with entropy.


title: Transition metal single-atom anchored on MoSi2N4 monolayer as highly efficient electrocatalyst for hydrogen evolution reaction

abstract: Single-atom catalysts are considered as a promising method for efficient energy conversion, owing to their advantages of high atom utilization and low catalyst cost. However, finding a stable two-dimensional structure and high hydrogen evolution reaction (HER) performance is a current research hotspot. Herein, based on the first-principles calculations, we identify the HER properties of six catalysts (TM@MoSi2N4, TM = Sc, Ti, V, Fe, Co, and Ni) comprising transition metal atoms anchored on MoSi2N4 monolayer. The results show that the spin-polarized states appear around the Fermi level after anchoring TM atoms. Therefore, the energy level of the first available unoccupied state for accommodating hydrogen drops, regulating the bonding strength of hydrogen. Thus, the single transition metal atom activates the active site of the MoSi2N4 inert base plane, becoming a quite suitable site for the HER. Based on {\Delta}GH*, the exchange current density and volcano diagram of the corresponding catalytic system were also calculated. Among them, V@MoSi2N4 ({\Delta}GH* = -0.07 eV) and Ni@MoSi2N4 ({\Delta}GH* = 0.06 eV) systems show efficient the HER property. Our study confirms that the transition metal atom anchoring is an effective means to improve the performance of electrocatalysis, and TM@MoSi2N4 has practical application potential as a high efficiency HER electrocatalyst.


title: Covariant density functional theory for nuclear fission based on two-center harmonic oscillator basis

abstract: Nowdays, modern microscopic approaches for fission are generally based on the framework of nuclear density functional theory (DFT), which has enabled a self-consistent treatment of both static and dynamic aspects of fission. The key issue is a DFT solver with high precision and efficiency especially for the large elongated configurations. Purpose: To develope a DFT solver with high precision and efficiency based on the point coupling covariant density functional theory (CDFT), which has achieved great success in describing properties of nuclei for the whole nuclear chart. Method: We have extended the point-coupling CDFT to be based on the two-center harmonic oscillator (TCHO) basis, which matches well with the large elongated configurations during the fission process. Multi-dimensional constraint and time-dependent generator coordinate method (TDGCM) have been used to analyze the fission potential energy surface and fission dynamics, respectively. To simulate the splitting process of the nascent fragments beyond scission, we also introduce a density constraint into the new CDFT framework. Results: Illustrative calculations have been done for the PESs and induced fission dynamics of two typical examples: $^{226}$Th and $^{240}$Pu. A more reasonable PES is obtained in the new framework compared to that based on the once-center harmonic oscillator (OCHO) with the same basis space. An optimization of about $0.2\sim0.3$ MeV has been achieved for the outer fission barriers and large elongated configurations. The dynamical simulations based on TCHO basis presents a trend to improve the description for fission yields. Conclusions: The new developed CDFT solver optimizes the elongated configurations, improves the calculation efficiency, and provides a basis for large-scale multi-dimensional constraint calculations and dynamical simulations.


title: Research on Damage Analysis of Key Parts of UAV Flight Control System

abstract: A set of hardware in the loop simulation methods based on the UAV model is proposed to create fault data, which is used to judge the parts where faults happen. Actual flight experimental data is utilized to prove the reliability of Simulink models. Then a series of typical faults with various amplitudes are injected into different channels of UAV parts in hardware in the loop simulation platform. Fault data is created this way, and the effect on UAV flight and task/control can be obtained through damage analysis. Typical fault characters are extracted, and those parts that have faults can be analyzed and judged. We can also know the trend that faults will develop and conclude the reasons for faults based on exterior performance, which supports precise attack and performance evaluation techniques.


title: Lower dimensional invariant tori for multi-scale Hamiltonian systems

abstract: The ``Fundamental Theorem" given by Arnold in [2] asserts the persistence of full dimensional invariant tori for 2-scale Hamiltonian systems. However, persistence in multi-scale systems is much more complicated and difficult. In this paper, we explore the persistence of lower dimensional invariant tori for multi-scale Hamiltonian systems, which play an important role in dynamics of resonant Hamiltonian systems. Moreover, using the corresponding results we give a quasi-periodic Poincar\'{e} Theorem for multi-scale Hamiltonian systems, i.e., at least $2^{m_0}$ families resonant tori survive small perturbations, where the integer $m_0$ is the multiplicity of resonance.


title: Renormalizations of rational maps and stable multicurves

abstract: For post-critically finite rational maps, we give a sufficient condition for the existence of disjoint type renormalizations by using multicurves. We also give examples satisfying the condition.


title: Light Meson Decays at BESIII

abstract: The world's largest sample of Jpsi events collected at BESIII detector offers a unique opportunity to investigate eta and eta' physics via the Jpsi radiative or hadronic decays with unprecedented precision. In recent years the BESIII experiment has made significant progresses in eta/eta' decays. A selection of recent highlights in light meson spectroscopy at BESIII are reviewed in this report.


title: MIRA: Cracking Black-box Watermarking on Deep Neural Networks via Model Inversion-based Removal Attacks

abstract: To protect the intellectual property of well-trained deep neural networks (DNNs), black-box DNN watermarks, which are embedded into the prediction behavior of DNN models on a set of specially-crafted samples, have gained increasing popularity in both academy and industry. Watermark robustness is usually implemented against attackers who steal the protected model and obfuscate its parameters for watermark removal. Recent studies empirically prove the robustness of most black-box watermarking schemes against known removal attempts. In this paper, we propose a novel Model Inversion-based Removal Attack (\textsc{Mira}), which is watermark-agnostic and effective against most of mainstream black-box DNN watermarking schemes. In general, our attack pipeline exploits the internals of the protected model to recover and unlearn the watermark message. We further design target class detection and recovered sample splitting algorithms to reduce the utility loss caused by \textsc{Mira} and achieve data-free watermark removal on half of the watermarking schemes. We conduct comprehensive evaluation of \textsc{Mira} against ten mainstream black-box watermarks on three benchmark datasets and DNN architectures. Compared with six baseline removal attacks, \textsc{Mira} achieves strong watermark removal effects on the covered watermarks, preserving at least $90\%$ of the stolen model utility, under more relaxed or even no assumptions on the dataset availability.


title: Autoregressive Omni-Aware Outpainting for Open-Vocabulary 360-Degree Image Generation

abstract: A 360-degree (omni-directional) image provides an all-encompassing spherical view of a scene. Recently, there has been an increasing interest in synthesising 360-degree images from conventional narrow field of view (NFoV) images captured by digital cameras and smartphones, for providing immersive experiences in various scenarios such as virtual reality. Yet, existing methods typically fall short in synthesizing intricate visual details or ensure the generated images align consistently with user-provided prompts. In this study, autoregressive omni-aware generative network (AOG-Net) is proposed for 360-degree image generation by out-painting an incomplete 360-degree image progressively with NFoV and text guidances joinly or individually. This autoregressive scheme not only allows for deriving finer-grained and text-consistent patterns by dynamically generating and adjusting the process but also offers users greater flexibility to edit their conditions throughout the generation process. A global-local conditioning mechanism is devised to comprehensively formulate the outpainting guidance in each autoregressive step. Text guidances, omni-visual cues, NFoV inputs and omni-geometry are encoded and further formulated with cross-attention based transformers into a global stream and a local stream into a conditioned generative backbone model. As AOG-Net is compatible to leverage large-scale models for the conditional encoder and the generative prior, it enables the generation to use extensive open-vocabulary text guidances. Comprehensive experiments on two commonly used 360-degree image datasets for both indoor and outdoor settings demonstrate the state-of-the-art performance of our proposed method. Our code will be made publicly available.


title: Cross-Image Context Matters for Bongard Problems

abstract: Current machine learning methods struggle to solve Bongard problems, which are a type of IQ test that requires deriving an abstract "concept" from a set of positive and negative "support" images, and then classifying whether or not a new query image depicts the key concept. On Bongard-HOI, a benchmark for natural-image Bongard problems, existing methods have only reached 66% accuracy (where chance is 50%). Low accuracy is often attributed to neural nets' lack of ability to find human-like symbolic rules. In this work, we point out that many existing methods are forfeiting accuracy due to a much simpler problem: they do not incorporate information contained in the support set as a whole, and rely instead on information extracted from individual supports. This is a critical issue, because unlike in few-shot learning tasks concerning object classification, the "key concept" in a typical Bongard problem can only be distinguished using multiple positives and multiple negatives. We explore a variety of simple methods to take this cross-image context into account, and demonstrate substantial gains over prior methods, leading to new state-of-the-art performance on Bongard-LOGO (75.3%) and Bongard-HOI (72.45%) and strong performance on the original Bongard problem set (60.84%).


title: Fast FixMatch: Faster Semi-Supervised Learning with Curriculum Batch Size

abstract: Advances in Semi-Supervised Learning (SSL) have almost entirely closed the gap between SSL and Supervised Learning at a fraction of the number of labels. However, recent performance improvements have often come \textit{at the cost of significantly increased training computation}. To address this, we propose Curriculum Batch Size (CBS), \textit{an unlabeled batch size curriculum which exploits the natural training dynamics of deep neural networks.} A small unlabeled batch size is used in the beginning of training and is gradually increased to the end of training. A fixed curriculum is used regardless of dataset, model or number of epochs, and reduced training computations is demonstrated on all settings. We apply CBS, strong labeled augmentation, Curriculum Pseudo Labeling (CPL) \citep{FlexMatch} to FixMatch \citep{FixMatch} and term the new SSL algorithm Fast FixMatch. We perform an ablation study to show that strong labeled augmentation and/or CPL do not significantly reduce training computations, but, in synergy with CBS, they achieve optimal performance. Fast FixMatch also achieves substantially higher data utilization compared to previous state-of-the-art. Fast FixMatch achieves between $2.1\times$ - $3.4\times$ reduced training computations on CIFAR-10 with all but 40, 250 and 4000 labels removed, compared to vanilla FixMatch, while attaining the same cited state-of-the-art error rate \citep{FixMatch}. Similar results are achieved for CIFAR-100, SVHN and STL-10. Finally, Fast MixMatch achieves between $2.6\times$ - $3.3\times$ reduced training computations in federated SSL tasks and online/streaming learning SSL tasks, which further demonstrate the generializbility of Fast MixMatch to different scenarios and tasks.


title: Machine Learning for Tangible Effects: Natural Language Processing for Uncovering the Illicit Massage Industry & Computer Vision for Tactile Sensing

abstract: I explore two questions in this thesis: how can computer science be used to fight human trafficking? And how can computer vision create a sense of touch? I use natural language processing (NLP) to monitor the United States illicit massage industry (IMI), a multi-billion dollar industry that offers not just therapeutic massages but also commercial sexual services. Employees of this industry are often immigrant women with few job opportunities, leaving them vulnerable to fraud, coercion, and other facets of human trafficking. Monitoring spatiotemporal trends helps prevent trafficking in the IMI. By creating datasets with three publicly-accessible websites: Google Places, Rubmaps, and AMPReviews, combined with NLP techniques such as bag-of-words and Word2Vec, I show how to derive insights into the labor pressures and language barriers that employees face, as well as the income, demographics, and societal pressures affecting sex buyers. I include a call-to-action to other researchers given these datasets. I also consider how to creating synthetic financial data, which can aid with counter-trafficking in the banking sector. I use an agent-based model to create both tabular and payee-recipient graph data. I then consider the role of computer vision in making tactile sensors. I report on a novel sensor, the Digger Finger, that adapts the Gelsight sensor to finding objects in granular media. Changes include using a wedge shape to facilitate digging, replacing the internal lighting LEDs with fluorescent paint, and adding a vibrator motor to counteract jamming. Finally, I also show how to use a webcam and a printed reference marker, or fiducial, to create a low-cost six-axis force-torque sensor. This sensor is up to a hundred times less expensive than commercial sensors, allowing for a wider range of applications. For this and earlier chapters I release design files and code as open source.


title: Resource Management for IRS-assisted WP-MEC Networks with Practical Phase Shift Model

abstract: Wireless powered mobile edge computing (WP-MEC) has been recognized as a promising solution to enhance the computational capability and sustainable energy supply for low-power wireless devices (WDs). However, when the communication links between the hybrid access point (HAP) and WDs are hostile, the energy transfer efficiency and task offloading rate are compromised. To tackle this problem, we propose to employ multiple intelligent reflecting surfaces (IRSs) to WP-MEC networks. Based on the practical IRS phase shift model, we formulate a total computation rate maximization problem by jointly optimizing downlink/uplink IRSs passive beamforming, downlink energy beamforming and uplink multi-user detection (MUD) vector at HAPs, task offloading power and local computing frequency of WDs, and the time slot allocation. Specifically, we first derive the optimal time allocation for downlink wireless energy transmission (WET) to IRSs and the corresponding energy beamforming. Next, with fixed time allocation for the downlink WET to WDs, the original optimization problem can be divided into two independent subproblems. For the WD charging subproblem, the optimal IRSs passive beamforming is derived by utilizing the successive convex approximation (SCA) method and the penalty-based optimization technique, and for the offloading computing subproblem, we propose a joint optimization framework based on the fractional programming (FP) method. Finally, simulation results validate that our proposed optimization method based on the practical phase shift model can achieve a higher total computation rate compared to the baseline schemes.


title: Perceptual Quality Assessment of 360$^\circ$ Images Based on Generative Scanpath Representation

abstract: Despite substantial efforts dedicated to the design of heuristic models for omnidirectional (i.e., 360$^\circ$) image quality assessment (OIQA), a conspicuous gap remains due to the lack of consideration for the diversity of viewing behaviors that leads to the varying perceptual quality of 360$^\circ$ images. Two critical aspects underline this oversight: the neglect of viewing conditions that significantly sway user gaze patterns and the overreliance on a single viewport sequence from the 360$^\circ$ image for quality inference. To address these issues, we introduce a unique generative scanpath representation (GSR) for effective quality inference of 360$^\circ$ images, which aggregates varied perceptual experiences of multi-hypothesis users under a predefined viewing condition. More specifically, given a viewing condition characterized by the starting point of viewing and exploration time, a set of scanpaths consisting of dynamic visual fixations can be produced using an apt scanpath generator. Following this vein, we use the scanpaths to convert the 360$^\circ$ image into the unique GSR, which provides a global overview of gazed-focused contents derived from scanpaths. As such, the quality inference of the 360$^\circ$ image is swiftly transformed to that of GSR. We then propose an efficient OIQA computational framework by learning the quality maps of GSR. Comprehensive experimental results validate that the predictions of the proposed framework are highly consistent with human perception in the spatiotemporal domain, especially in the challenging context of locally distorted 360$^\circ$ images under varied viewing conditions. The code will be released at https://github.com/xiangjieSui/GSR


title: Temporal Collection and Distribution for Referring Video Object Segmentation

abstract: Referring video object segmentation aims to segment a referent throughout a video sequence according to a natural language expression. It requires aligning the natural language expression with the objects' motions and their dynamic associations at the global video level but segmenting objects at the frame level. To achieve this goal, we propose to simultaneously maintain a global referent token and a sequence of object queries, where the former is responsible for capturing video-level referent according to the language expression, while the latter serves to better locate and segment objects with each frame. Furthermore, to explicitly capture object motions and spatial-temporal cross-modal reasoning over objects, we propose a novel temporal collection-distribution mechanism for interacting between the global referent token and object queries. Specifically, the temporal collection mechanism collects global information for the referent token from object queries to the temporal motions to the language expression. In turn, the temporal distribution first distributes the referent token to the referent sequence across all frames and then performs efficient cross-frame reasoning between the referent sequence and object queries in every frame. Experimental results show that our method outperforms state-of-the-art methods on all benchmarks consistently and significantly.


title: Giant Apparent Flexoelectricity in Semiconductors Driven by Insulator-to-metal Transition

abstract: We elucidate the flexoelectricity of materials in the high strain gradient regime, of which the underlying mechanism is less understood. By using the generalized Bloch theorem, we uncover a strong flexoelectric-like effect in bent thinfilms of Si and Ge due to a high strain gradient-induced insulator-to-metal transition. We show that an unusual type-II band alignment is formed between the compressed and elongated sides of the bent film, resulting in a spatial separation of electron and hole. Therefore, upon the insulator-to-metal transition, electrons transfer from the compressed side to the elongated side to reach the thermodynamic equilibrium, leading to pronounced polarization along the film thickness dimension. The obtained transverse flexoelectric coefficients are unexpectedly high, with a quadratic dependence on the film thickness. This new mechanism is extendable to other semiconductor materials with moderate energy gaps. Our findings have important implications for the future applications of flexoelectricity in semiconductor materials.