title: LRDif: Diffusion Models for Under-Display Camera Emotion Recognition

abstract: This study introduces LRDif, a novel diffusion-based framework designed specifically for facial expression recognition (FER) within the context of under-display cameras (UDC). To address the inherent challenges posed by UDC's image degradation, such as reduced sharpness and increased noise, LRDif employs a two-stage training strategy that integrates a condensed preliminary extraction network (FPEN) and an agile transformer network (UDCformer) to effectively identify emotion labels from UDC images. By harnessing the robust distribution mapping capabilities of Diffusion Models (DMs) and the spatial dependency modeling strength of transformers, LRDif effectively overcomes the obstacles of noise and distortion inherent in UDC environments. Comprehensive experiments on standard FER datasets including RAF-DB, KDEF, and FERPlus, LRDif demonstrate state-of-the-art performance, underscoring its potential in advancing FER applications. This work not only addresses a significant gap in the literature by tackling the UDC challenge in FER but also sets a new benchmark for future research in the field.


title: Efficient Non-Parametric Uncertainty Quantification for Black-Box Large Language Models and Decision Planning

abstract: Step-by-step decision planning with large language models (LLMs) is gaining attention in AI agent development. This paper focuses on decision planning with uncertainty estimation to address the hallucination problem in language models. Existing approaches are either white-box or computationally demanding, limiting use of black-box proprietary LLMs within budgets. The paper's first contribution is a non-parametric uncertainty quantification method for LLMs, efficiently estimating point-wise dependencies between input-decision on the fly with a single inference, without access to token logits. This estimator informs the statistical interpretation of decision trustworthiness. The second contribution outlines a systematic design for a decision-making agent, generating actions like ``turn on the bathroom light'' based on user prompts such as ``take a bath''. Users will be asked to provide preferences when more than one action has high estimated point-wise dependencies. In conclusion, our uncertainty estimation and decision-making agent design offer a cost-efficient approach for AI agent development.


title: Reformulating polarized radiative transfer. (I) A consistent formalism allowing non-local Magnus solutions

abstract: The physical diagnosis of the solar atmosphere is achieved by solving the polarized radiative transfer problem for plasmas in Non-Local Thermodynamical Equilibrium (NLTE). This scenario poses theoretical challenges for integrating the radiative transfer equation (RTE) efficiently. Namely, current methods are limited to constant propagation matrices, thus imposing local solutions. To spark significant advances, this paper lays the foundations of a formalism that achieves an efficient non-local integration of the RTE based on the Magnus expansion. First, we revisit the problem and its solutions in Jones and Stokes formalisms. Looking at them as equivalent representations of the Lorentz/Poincar\'e group of rotations, we interpret the RTE in terms of Lie group theory to show the suitability of the Magnus expansion for obtaining non-local solutions. We then present a detailed algebraic characterization of the propagation matrix and combine it with the Magnus expansion to reformulate the homogenous solution to the RTE in Stokes formalism. Thus, we obtain a compact evolution operator supporting arbitrary variations of the propagation matrix to first order in the Magnus expansion. Finally, we reformulate the corresponding inhomogeneous solution as an equivalent homogeneous system, which is then solved with the Magnus expansion again. This gives the first efficient and consistent formal solution of the RTE that furthermore is non-local, natively accurate, and that separates the integration from the formal solution. Such disruptive formulation leads to a new whole family of numerical radiative transfer methods and suggests accelerating NLTE syntheses and inversions with non-local radiative transfer. With minor cosmetic changes, our results are valid for other universal physical problems sharing the Lorentz/Poincar\'e algebra of the RTE and special relativity

categories: astro-ph.SR math-ph math.MP physics.plasm-ph physics.space-ph


title: A Survey on Hallucination in Large Vision-Language Models

abstract: Recent development of Large Vision-Language Models (LVLMs) has attracted growing attention within the AI landscape for its practical implementation potential. However, ``hallucination'', or more specifically, the misalignment between factual visual content and corresponding textual generation, poses a significant challenge of utilizing LVLMs. In this comprehensive survey, we dissect LVLM-related hallucinations in an attempt to establish an overview and facilitate future mitigation. Our scrutiny starts with a clarification of the concept of hallucinations in LVLMs, presenting a variety of hallucination symptoms and highlighting the unique challenges inherent in LVLM hallucinations. Subsequently, we outline the benchmarks and methodologies tailored specifically for evaluating hallucinations unique to LVLMs. Additionally, we delve into an investigation of the root causes of these hallucinations, encompassing insights from the training data and model components. We also critically review existing methods for mitigating hallucinations. The open questions and future directions pertaining to hallucinations within LVLMs are discussed to conclude this survey.


title: Vertical Symbolic Regression via Deep Policy Gradient

abstract: Vertical Symbolic Regression (VSR) recently has been proposed to expedite the discovery of symbolic equations with many independent variables from experimental data. VSR reduces the search spaces following the vertical discovery path by building from reduced-form equations involving a subset of independent variables to full-fledged ones. Proved successful by many symbolic regressors, deep neural networks are expected to further scale up VSR. Nevertheless, directly combining VSR with deep neural networks will result in difficulty in passing gradients and other engineering issues. We propose Vertical Symbolic Regression using Deep Policy Gradient (VSR-DPG) and demonstrate that VSR-DPG can recover ground-truth equations involving multiple input variables, significantly beyond both deep reinforcement learning-based approaches and previous VSR variants. Our VSR-DPG models symbolic regression as a sequential decision-making process, in which equations are built from repeated applications of grammar rules. The integrated deep model is trained to maximize a policy gradient objective. Experimental results demonstrate that our VSR-DPG significantly outperforms popular baselines in identifying both algebraic equations and ordinary differential equations on a series of benchmarks.


title: The parity-odd structure function of nucleon from the Compton amplitude

abstract: The dominant contribution to the theoretical uncertainty in the extracted weak parameters of the Standard Model comes from the hadronic uncertainties in the electroweak boxes, i.e. $\gamma-W^\pm/Z$ exchange diagrams. A dispersive analysis relates the box diagrams to the parity-odd structure function, $F_3$, for which the experimental data either do not exist or belong to a separate isospin channel. Therefore a first-principles calculation of $F_3$ is highly desirable. In this contribution, we report on the QCDSF/UKQCD Collaboration's progress in calculating the moments of the $F_3^{\gamma Z}$ structure function from the forward Compton amplitude at the SU(3) symmetric point.


title: WDVV solutions associated with the genus one holomorphic differential

abstract: Consider the genus one Hurwitz space $\mathcal{H}_1(n_0,\dots,n_m)$ of ramified covering of fixed degree with $m+1$ prescribed poles of order $n_0+1,\dots,n_m+1$, respectively. Based on a recent formula proved in \cite{Rejeb23}, we derive an explicit solution to the WDVV equations associated with the genus one Dubrovin-Hurwitz-Frobenius manifold structure induced by the normalized holomorphic differential. The obtained solution is written in terms of Bell polynomials, Eisenstein series as well as the Weierstrass functions.


title: One-way Optomechanical Interaction between Nanoparticles

abstract: Within a closed system, physical interactions are reciprocal. However, the effective interaction between two entities of an open system may not obey reciprocity. Here, we describe a non-reciprocal interaction between nanoparticles which is one-way, almost insensitive to the interparticle distance, and scalable to many particles. The interaction we propose is based on the non-conservative optical forces between two nanoparticles with highly directional scattering patterns. However, we elucidate that scattering patterns can in general be very misleading about the interparticle forces. We introduce zeroth- and first-order non-reciprocity factors to precisely quantify the merits of any optomechanical interaction between nanoparticles. Our proposed one-way interaction could constitute an important step in the realization of mesoscopic heat pumps and refrigerators, the study of non-equilibrium systems, and the simulation of non-Hermitian quantum models.


title: Multi-group Learning for Hierarchical Groups

abstract: The multi-group learning model formalizes the learning scenario in which a single predictor must generalize well on multiple, possibly overlapping subgroups of interest. We extend the study of multi-group learning to the natural case where the groups are hierarchically structured. We design an algorithm for this setting that outputs an interpretable and deterministic decision tree predictor with near-optimal sample complexity. We then conduct an empirical evaluation of our algorithm and find that it achieves attractive generalization properties on real datasets with hierarchical group structure.


title: Optimum classical beam position sensing

abstract: Beam displacement measurements are widely used in optical sensing and communications; however, their performance is affected by numerous intrinsic and extrinsic factors including beam profile, propagation loss, and receiver architecture. Here we present a framework for designing a classically optimal beam displacement transceiver, using quantum estimation theory. We consider the canonical task of estimating the position of a diffraction-limited laser beam after passing through an apertured volume characterized by Fresnel-number product DF. As a rule of thumb, higher-order Gaussian modes provide more information about beam displacement, but are more sensitive to loss. Applying quantum Fisher information, we design mode combinations that optimally leverage this trade-off, and show that a greater than 10-fold improvement in precision is possible, relative to the fundamental mode, for a practically relevant DF = 100. We also show that this improvement is realizable with a variety of practical receiver architectures. Our findings extend previous works on lossless transceivers, may have immediate impact on applications such as atomic force microscopy and near-field optical communication, and pave the way towards globally optimal transceivers using non-classical laser fields.


title: Towards scalable robotic intervention of children with Autism Spectrum Disorder using LLMs

abstract: In this paper, we propose a social robot capable of verbally interacting with children with Autism Spectrum Disorder (ASD). This communication is meant to teach perspective-taking using text generated using a Large Language Model (LLM) pipeline. The social robot NAO acts as a stimulator (verbally describes a social situation and asks a question), prompter (presents three options to choose from), and reinforcer (praises when the answer is correct). For the role of the stimulator, the social situation, questions, and options are generated using our LLM pipeline. We compare two approaches: GPT-2 + BART and GPT-2 + GPT-2, where the first GPT-2 common between the pipelines is used for unsupervised social situation generation. We use the SOCIALIQA dataset to fine-tune all of our LLM pipelines. We found that the GPT-2 + BART pipeline had a better BERTscore for generating the questions and the options by combining their individual loss functions. This observation was also consistent with the human evaluations. Lastly, the unsupervised generation of social situations was visualized using T-SNE plots, and the entire pipeline was evaluated for appropriateness for children with ASD by human experts.


title: Understanding Neural Network Systems for Image Analysis using Vector Spaces and Inverse Maps

abstract: There is strong interest in developing mathematical methods that can be used to understand complex neural networks used in image analysis. In this paper, we introduce techniques from Linear Algebra to model neural network layers as maps between signal spaces. First, we demonstrate how signal spaces can be used to visualize weight spaces and convolutional layer kernels. We also demonstrate how residual vector spaces can be used to further visualize information lost at each layer. Second, we introduce the concept of invertible networks and an algorithm for computing input images that yield specific outputs. We demonstrate our approach on two invertible networks and ResNet18.


title: Computational Experiments Meet Large Language Model Based Agents: A Survey and Perspective

abstract: Computational experiments have emerged as a valuable method for studying complex systems, involving the algorithmization of counterfactuals. However, accurately representing real social systems in Agent-based Modeling (ABM) is challenging due to the diverse and intricate characteristics of humans, including bounded rationality and heterogeneity. To address this limitation, the integration of Large Language Models (LLMs) has been proposed, enabling agents to possess anthropomorphic abilities such as complex reasoning and autonomous learning. These agents, known as LLM-based Agent, offer the potential to enhance the anthropomorphism lacking in ABM. Nonetheless, the absence of explicit explainability in LLMs significantly hinders their application in the social sciences. Conversely, computational experiments excel in providing causal analysis of individual behaviors and complex phenomena. Thus, combining computational experiments with LLM-based Agent holds substantial research potential. This paper aims to present a comprehensive exploration of this fusion. Primarily, it outlines the historical development of agent structures and their evolution into artificial societies, emphasizing their importance in computational experiments. Then it elucidates the advantages that computational experiments and LLM-based Agents offer each other, considering the perspectives of LLM-based Agent for computational experiments and vice versa. Finally, this paper addresses the challenges and future trends in this research domain, offering guidance for subsequent related studies.


title: Does DetectGPT Fully Utilize Perturbation? Bridge Selective Perturbation to Fine-tuned Contrastive Learning Detector would be Better

abstract: The burgeoning generative capabilities of large language models (LLMs) have raised growing concerns about abuse, demanding automatic machine-generated text detectors. DetectGPT, a zero-shot metric-based detector, first introduces perturbation and shows great performance improvement. However, in DetectGPT, random perturbation strategy could introduce noise, and logit regression depends on threshold, harming the generalizability and applicability of individual or small-batch inputs. Hence, we propose a novel fine-tuned detector, Pecola, bridging metric-based and fine-tuned detectors by contrastive learning on selective perturbation. Selective strategy retains important tokens during perturbation and weights for multi-pair contrastive learning. The experiments show that Pecola outperforms the state-of-the-art by 1.20% in accuracy on average on four public datasets. And we further analyze the effectiveness, robustness, and generalization of the method.


title: Asymmetric jet shapes with 2D jet tomography

abstract: Two-dimensional (2D) jet tomography is a promising tool to study jet medium modification in high-energy heavy-ion collisions. It combines gradient (transverse) and longitudinal jet tomography for selection of events with localized initial jet production positions. It exploits the transverse asymmetry and energy loss that depend, respectively, on the transverse gradient and jet path length inside the quark-gluon plasma (QGP). In this study, we employ the 2D jet tomography to study medium modification of the jet shape of $\gamma$-triggered jets within the linear Boltzmann transport (LBT) model for jet propagation in heavy-ion collisions. Our results show that jets with small transverse asymmetry ($A_N^{\vec{n}}$) or small $\gamma$-jet asymmetry ($x_{J\gamma}=p_T^{\rm jet}/p_T^\gamma$) exhibit a broader jet shape than those with larger $A_N^{\vec{n}}$ or $x_{J\gamma}$, since the former are produced at the center and go through longer path lengths while the later are off-center and close to the surface of the QGP fireball. In events with finite values of $A_N^{\vec{n}}$, jet shapes are asymmetric with respect to the event plane. Hard partons at the core of the jet are deflected away from the denser region while soft partons from the medium response at large angles flow toward the denser part of QGP. Future experimental measurements of these asymmetric features of the jet shape can be used to study the transport properties of jets and medium responses.


title: Limits of Random Motzkin paths with KPZ related asymptotics

abstract: We study Motzkin paths of length $L$ with general weights on the edges and end points. We investigate the limit behavior of the initial and final segments of the random Motzkin path viewed as a pair of processes starting from each of the two end points as $L$ becomes large. We then study macroscopic limits of the resulting processes, where in two different regimes we obtain Markov processes that appeared in the description of the stationary measure for the KPZ equation on the half line and of conjectural stationary measure of the hypothetical KPZ fixed point on the half line. Our results rely on the behavior of the Al-Salam--Chihara polynomials in the neighbourhood of the upper end of their orthogonality interval and on the limiting properties of the $q$-Pochhammer and $q$-Gamma functions as $q\nearrow 1$.


title: Can Neptune's Distant Mean-Motion Resonances Constrain Undiscovered Planets in the Solar System? Lessons from a Case Study of the 9:1

abstract: Recent observational surveys of the outer Solar System provide evidence that Neptune's distant $n$:1 mean-motion resonances may harbor relatively large reservoirs of trans-Neptunian objects (TNOs). In particular, the discovery of two securely classified 9:1 resonators, 2015 KE$_{172}$ and 2007 TC$_{434}$, by the Outer Solar System Origins Survey is consistent with a population of order $10^4$ such objects in the 9:1 resonance with absolute magnitude $H_r < 8.66$. This work investigates whether the long-term stability of such populations in Neptune's $n$:1 resonances can be used to constrain the existence of distant $5-10M_{\oplus}$ planets orbiting at hundreds of AU. The existence of such a planet has been proposed to explain a reported clustering in the orbits of highly eccentric "extreme" trans-Neptunian objects (eTNOs), although this hypothesis remains controversial. We engage in a focused computational case-study of the 9:1 resonance, generating synthetic populations and integrating them for 1 Gyr in the presence of 81 different test planets with various masses, perihelion distances, eccentricities, and inclinations. While none of the tested planets are incompatible with the existence of 9:1 resonators, our integrations shed light on the character of the interaction between such planets and nearby $n$:1 resonances, and we use this knowledge to construct a simple, heuristic method for determining whether or not a given planet could destabilize a given resonant population. We apply this method to the currently estimated properties of Planet 9, and find that a large primordial population in the 15:1 resonance (or beyond), if discovered in the future, could potentially constrain the existence of this planet.


title: Not All Learnable Distribution Classes are Privately Learnable

abstract: We give an example of a class of distributions that is learnable in total variation distance with a finite number of samples, but not learnable under $(\varepsilon, \delta)$-differential privacy. This refutes a conjecture of Ashtiani.


title: Relation between timelike and spacelike entanglement entropy

abstract: In this study, we establish a connection between timelike and spacelike entanglement entropy. Specifically, for a diverse range of states, the timelike entanglement entropy is uniquely determined by a linear combination of the spacelike entanglement entropy and its first-order temporal derivative. This framework reveals that the imaginary component of the timelike entanglement entropy primarily originates from the non-commutativity between the twist operator and its first-order temporal derivative. Furthermore, we analyze the constraints of this relation and highlight the possible extension to accommodate more complex state configurations.


title: Valuative invariants for linearized line bundles on a spherical variety

abstract: We give formulas for various valuative invariants of linearized ample line bundles on a projective spherical variety. Then we show how to use these formulas to study $g$-solitons on a Fano spherical variety. As a corollary, we show that for a Fano horospherical manifold $X$, the corresponding cone $(K_{X})^{\times}$ always admits a Calabi-Yau cone metric.


title: Scattering of kinks in scalar-field models with higher-order self-interactions

abstract: Higher-order scalar field models in two dimensions, including the $\phi^8$ model, have been researched. It has been shown that for some special cases of the minima positions of the potential, the explicit kink solutions can be found. However, in physical applications, it is very important to know all the explicit solutions of a model for any minima position. In the present study, with the help of some deformation functions, we have shown that higher-order scalar field theories can be obtained with explicit kinks. In particular, we introduced two deformation functions that, when applied to the well known $\phi^4$ and $\phi^6$ models, produce modified $\phi^8$ and $\phi^{10}$ models, respectively, with all their explicit kink-like solutions which depend on a single parameter. Since this parameter controls the position of the minima of the potential, we have found interesting new solutions in many distinct cases. We have also studied the kink mass, the behavior of the excitation spectra and several kink-antikink collisions for these two new modified models. The collision outcome is determined by the initial configuration, specifically the sequence in which the kink-antikink and antikink-kink pairings emerge. Another interesting finding is the suppression of resonance windows, which may be explained by the presence of a set of internal modes in the model.


title: A Crucial Parameter for Rank-Frequency Relation in Natural Languages

abstract: $f \propto r^{-\alpha} \cdot (r+\gamma)^{-\beta}$ has been empirically shown more precise than a na\"ive power law $f\propto r^{-\alpha}$ to model the rank-frequency ($r$-$f$) relation of words in natural languages. This work shows that the only crucial parameter in the formulation is $\gamma$, which depicts the resistance to vocabulary growth on a corpus. A method of parameter estimation by searching an optimal $\gamma$ is proposed, where a ``zeroth word'' is introduced technically for the calculation. The formulation and parameters are further discussed with several case studies.


title: Quantum phase transitions and composite excitations of antiferromagnetic quantum spin trimer chains in a magnetic field

abstract: Motivated by recent advancements in theoretical and experimental studies on the high-energy excitations, we theoretically explore the quantum phase transition and composite dynamics of the antiferromagnetic trimer chains in a magnetic field using the exact diagonalization, density matrix renormalization group, time-dependent variational principle and cluster perturbation theory. We measure the entanglement entropy to uncover the phase diagram, encompassing the XY-I, $1/3$ magnetization plateau, XY-II and ferromagnetic phases. Both critical XY-I and XY-II phases are both described by the conformal field theory with the central charge $c \simeq 1$. By analyzing the dynamical structure factor, we elucidate the distinct features of spin dynamics across different phases. In the regime of weak intertrimer interaction, we identify the intermediate-energy and high-energy modes in the XY-I and $1/3$ magnetization plateau phases as the internal trimer excitations, corresponding to the propagation of doublon and quarton, respectively. Notably, the application of a magnetic field splits the high-energy spectra into two branches labeled as the upper quarton and lower quarton. Furthermore, we also explore the spin dynamics of a trimerized model closely related to the quantum magnet \ce{Na_2Cu_3Ge_4O_12}, and discuss the possibility of the quarton Bose-Einstein condensation. Our results can be verified in the inelastic neutron scattering experiments and provide deep insights for exploring the high-energy exotic excitations.


title: Nonlinearity-Enhanced Continuous Microwave Detection Based on Stochastic Resonance

abstract: In practical sensing tasks, noise is usually regarded as an obstruction to better performance and will degrade the sensitivity. Fortunately, \textit{stochastic resonance} (SR), a counterintuitive concept, can utilize noise to greatly enhance the detected signal amplitude. Although fundamentally important as a mechanism of weak signal amplification, and has been continually explored in geological, biological, and physical science, both theoretically and experimentally, SR has yet to be demonstrated in realistic sensing tasks. Here we develop a novel SR-based nonlinear sensor using a thermal ensemble of interacting Rydberg atoms. With the assistance of stochastic noise (either inherently in the system or added externally) and strong nonlinearity in the Rydberg ensembles, the signal encoded in a weak MW field is greatly enhanced (over 25 dB). Moreover, we show that the SR-based atomic sensor can achieve a better sensitivity in our system, which is over 6.6 dB compared to a heterodye atomic sensor. Our results show potential advantage of SR-based MW sensors in commercial or defense-related applications.


title: Non-Markovian Dynamics in Fiber Delay-line Buffers

abstract: We study the non-Markovian effect on a two-photon polarization entangled state in which one photon from the pair is stored in a fiber delay-line buffer. We propose a model of a photonic qubit coupled to fiber birefringence and a fiber reservoir representing the environment. We analytically derive a non-Markovian probability function for the buffered photon and its paired photon. To verify the probability function, we perform the full quantum state tomography of the photon pairs. We further exploit the measures of quantum mutual information for studying the quantumness of the buffered photon and its paired photon. We find that Werner's well-known separability criterion occurs at the buffer time of about 0.9$\,$ms. Furthermore, our result implies that the non-zero quantum discord can surpass Werner's criterion, and hence the quantum bi-partite correlation can exist for a buffer time greater than 0.9$\,$ms.


title: The Maude strategy language

abstract: Rewriting logic is a natural and expressive framework for the specification of concurrent systems and logics. The Maude specification language provides an implementation of this formalism that allows executing, verifying, and analyzing the represented systems. These specifications declare their objects by means of terms and equations, and provide rewriting rules to represent potentially non-deterministic local transformations on the state. Sometimes a controlled application of these rules is required to reduce non-determinism, to capture global, goal-oriented or efficiency concerns, or to select specific executions for their analysis. That is what we call a strategy. In order to express them, respecting the separation of concerns principle, a Maude strategy language was proposed and developed. The first implementation of the strategy language was done in Maude itself using its reflective features. After ample experimentation, some more features have been added and, for greater efficiency, the strategy language has been implemented in C++ as an integral part of the Maude system. This paper describes the Maude strategy language along with its semantics, its implementation decisions, and several application examples from various fields.


title: Improving Program Debloating with 1-DU Chain Minimality

abstract: Modern software often struggles with bloat, leading to increased memory consumption and security vulnerabilities from unused code. In response, various program debloating techniques have been developed, typically utilizing test cases that represent functionalities users want to retain. These methods range from aggressive approaches, which prioritize maximal code reduction but may overfit to test cases and potentially reintroduce past security issues, to conservative strategies that aim to preserve all influenced code, often at the expense of less effective bloat reduction and security improvement. In this research, we present RLDebloatDU, an innovative debloating technique that employs 1-DU chain minimality within abstract syntax trees. Our approach maintains essential program data dependencies, striking a balance between aggressive code reduction and the preservation of program semantics. We evaluated RLDebloatDU on ten Linux kernel programs, comparing its performance with two leading debloating techniques: Chisel, known for its aggressive debloating approach, and Razor, recognized for its conservative strategy. RLDebloatDU significantly lowers the incidence of Common Vulnerabilities and Exposures (CVEs) and improves soundness compared to both, highlighting its efficacy in reducing security issues without reintroducing resolved security issues.


title: Practical No-Switching Continuous-Variable Quantum Key Distribution with Biased Quadrature Detection

abstract: Continuous-variable quantum key distribution protocol using coherent states and heterodyne detection, called No-Switching protocol, is widely used in practical systems due to the simple experimental setup without basis switching and easy assessment to phase information. The security of an ideal No-Switching protocol has been proved against general attacks in finite-size regime and composable security framework, whose heterodyne detector consists of a beam splitter with transmittance of $50\%$ and two ideal homodyne detectors. However, the transmittance of a beam splitter is inaccurate and the two detectors always have different quantum efficiency and electronic noise, which introduce asymmetry into the heterodyne detection, and further lead to the mismatch between the ideal protocol and practical systems, thereby overestimating the secret key rate and resulting in a practical security loophole. In this paper, we close this loophole by proposing a modified No-Switching protocol with biased quadrature detection, where the asymmetry of the heterodyne detection is modeled to match the practical systems, and the security of the protocol is analyzed in asymptotic and finite-size regimes. Further, an optimization strategy is proposed to achieve the optimal secret key rate by adjusting the transmittance of the beam splitter. Simulation results show the necessity of considering the asymmetry in heterodyne detection and the effectiveness of the optimization, which provides a promising way to realize a practical secure and high-performance No-Switching system.


title: Phantom Chain Simulations for Fracture of End-linking Networks

abstract: Despite numerous studies, the relationship between network structure and fracture remains unclear. In this study, the fracture properties of end-linking networks were compared with those of loop-free analogs made from star prepolymers by performing phantom chain simulations. The networks were created from equilibrated sols of stoichiometric mixtures of linear prepolymers and f-functional linkers through end-linking reactions using Brownian dynamics schemes. The examined networks, with various f values (between 3 and 8) and strand-connection rates ({\phi}_s), were evaluated in terms of the primary loop fraction and the cycle rank {\xi}. These structural characteristics were consistent with mean-field theories that assume independent reactions. Energy minimization and uniaxial stretch were applied to the networks until they broke without Brownian motion. The fracture characteristics, including strain ({\epsilon}_b), stress ({\sigma}_b), and work for fracture (W_b), were obtained from stress-strain curves. The end-linking networks exhibited larger {\epsilon}_b and smaller {\sigma}_b and W_b than those for star networks due to primary loops, at the same set of f and {\phi}_s. However, {\epsilon}_b, {\sigma}_b/{\nu}_br and W_b/{\nu}_br (with {\nu}_br being the branch point density) lie on the same master curves as those for star networks if they are plotted against {\xi}. This result implies that the fracture of end-linking networks is essentially the same as that for star analogs, and the effects of primary loops are embedded in {\xi}.


title: Rapid Integrator for a Class of Multi-Contact Systems

abstract: Many problems in robotics involve creating or breaking multiple contacts nearly simultaneously or in an indeterminate order. We present a novel general purpose numerical integrator based on the theory of Event Selected Systems (ESS). Many multicontact models are ESS, which has recently been shown to imply that despite a discontinuous vector field, the flow of these systems is continuous, piecewise smooth, and has a well defined orbital derivative for all trajectories, which can be rapidly computed. We provide an elementary proof that our integrator is first-order accurate and verify numerically that it is in fact second-order accurate as its construction anticipated. We also compare our integrator, implemented in NumPy, to a MuJoCo simulation on models with 2 to 100 contacts, and confirm that the increase in simulation time per contact is nearly identical. The results suggest that this novel integrator can be invaluable for modelling and control in many robotics applications.


title: A quantization of interacting particle systems

abstract: Interacting particle systems studied in this paper are probabilistic cellular automata with nearest-neighbor interaction including the Domany-Kinzel model. A special case of the Domany-Kinzel model is directed percolation. We regard the interacting particle system as a Markov chain on a graph. Then we present a new quantization of the interacting particle system. After that, we introduce a zeta function of the quantized model and give its determinant expression. Moreover, we calculate the absolute zeta function of the quantized model for the Domany-Kinzel model.

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


title: Guided Interpretable Facial Expression Recognition via Spatial Action Unit Cues

abstract: Although state-of-the-art classifiers for facial expression recognition (FER) can achieve a high level of accuracy, they lack interpretability, an important feature for end-users. Experts typically associate spatial action units (\aus) from a codebook to facial regions for the visual interpretation of expressions. In this paper, the same expert steps are followed. A new learning strategy is proposed to explicitly incorporate \au cues into classifier training, allowing to train deep interpretable models. During training, this \au codebook is used, along with the input image expression label, and facial landmarks, to construct a \au heatmap that indicates the most discriminative image regions of interest w.r.t the facial expression. This valuable spatial cue is leveraged to train a deep interpretable classifier for FER. This is achieved by constraining the spatial layer features of a classifier to be correlated with \au heatmaps. Using a composite loss, the classifier is trained to correctly classify an image while yielding interpretable visual layer-wise attention correlated with \au maps, simulating the expert decision process. Our strategy only relies on image class expression for supervision, without additional manual annotations. Our new strategy is generic, and can be applied to any deep CNN- or transformer-based classifier without requiring any architectural change or significant additional training time. Our extensive evaluation on two public benchmarks \rafdb, and \affectnet datasets shows that our proposed strategy can improve layer-wise interpretability without degrading classification performance. In addition, we explore a common type of interpretable classifiers that rely on class activation mapping (CAM) methods, and show that our approach can also improve CAM interpretability.


title: PAM: Prompting Audio-Language Models for Audio Quality Assessment

abstract: While audio quality is a key performance metric for various audio processing tasks, including generative modeling, its objective measurement remains a challenge. Audio-Language Models (ALMs) are pre-trained on audio-text pairs that may contain information about audio quality, the presence of artifacts, or noise. Given an audio input and a text prompt related to quality, an ALM can be used to calculate a similarity score between the two. Here, we exploit this capability and introduce PAM, a no-reference metric for assessing audio quality for different audio processing tasks. Contrary to other "reference-free" metrics, PAM does not require computing embeddings on a reference dataset nor training a task-specific model on a costly set of human listening scores. We extensively evaluate the reliability of PAM against established metrics and human listening scores on four tasks: text-to-audio (TTA), text-to-music generation (TTM), text-to-speech (TTS), and deep noise suppression (DNS). We perform multiple ablation studies with controlled distortions, in-the-wild setups, and prompt choices. Our evaluation shows that PAM correlates well with existing metrics and human listening scores. These results demonstrate the potential of ALMs for computing a general-purpose audio quality metric.


title: Supernova burst and Diffuse Supernova Neutrino Background simulator for Water Cherenkov Detectors

abstract: If a galactic supernova explosion occurs in the future, it will be critical to rapidly alert the community to the direction of the supernova by utilizing neutrino signals in order to enable the initiation of follow-up optical observations. In addition, there is anticipation that observation of the diffuse supernova neutrino background will yield discoveries in the near future, given that experimental upper limits are approaching theoretical predictions. We have developed a new supernova event simulator for water Cherenkov neutrino detectors, such as the highly sensitive Super-Kamiokande. This simulator calculates the neutrino interaction in water for the two types of supernova neutrinos described above. Its purpose is to evaluate the precision in determining the location of supernovae and to estimate the expected number of events related to the diffuse supernova neutrino background in Super-Kamiokande. In this paper, we describe the basic structure of the simulator and its demonstration.


title: PAP-REC: Personalized Automatic Prompt for Recommendation Language Model

abstract: Recently emerged prompt-based Recommendation Language Models (RLM) can solve multiple recommendation tasks uniformly. The RLMs make full use of the inherited knowledge learned from the abundant pre-training data to solve the downstream recommendation tasks by prompts, without introducing additional parameters or network training. However, handcrafted prompts require significant expertise and human effort since slightly rewriting prompts may cause massive performance changes. In this paper, we propose PAP-REC, a framework to generate the Personalized Automatic Prompt for RECommendation language models to mitigate the inefficiency and ineffectiveness problems derived from manually designed prompts. Specifically, personalized automatic prompts allow different users to have different prompt tokens for the same task, automatically generated using a gradient-based method. One challenge for personalized automatic prompt generation for recommendation language models is the extremely large search space, leading to a long convergence time. To effectively and efficiently address the problem, we develop surrogate metrics and leverage an alternative updating schedule for prompting recommendation language models. Experimental results show that our PAP-REC framework manages to generate personalized prompts, and the automatically generated prompts outperform manually constructed prompts and also outperform various baseline recommendation models. The source code of the work is available at https://github.com/rutgerswiselab/PAP-REC.


title: Pion Electromagnetic Form Factor from Bethe-Salpeter Amplitudes with Appropriate Kinematics

abstract: Within the framework provided by quantum chromodynamics's Schwinger-Dyson equations (SDEs), the pion's electromagnetic form factor is computed using solutions of the Bethe-Salpeter equation (BSE) that have finite spacial momentum, and therefore allow the appropriate kinematics for a given momentum transfer. This removes, for the first time, a limiting approximation in previous SDE calculations where rest-frame solutions to the BSE are used for both the initial and final pion states. In performing these calculations, the rainbow-ladder truncation to the SDEs in the Landau gauge is used, with the quark-gluon interaction given by the Maris-Tandy model. Using Bethe-Salpeter amplitudes (BSAs) that have the correct spacial momentum for a given momentum transfer, $Q^2$, has a dramatic impact on results for the pion's electromagnetic form factor. The difference between results that use rest-frame BSAs and those with correct kinematics is less that 10\% for $0 \leqslant Q^2 \lesssim 1\,$GeV$^2$, however, these corrections grow with increasing momentum transfer and approach 100\% for $Q^2 \simeq 3\,$GeV$^2$.


title: Dirac series of $E_{8(-24)}$

abstract: This paper classifies the Dirac series of $E_{8(-24)}$, the linear quaternionic real form of complex $E_8$. One tool for us is a further sharpening of the Helgason-Johnson bound in 1969. Our calculation continues to support Vogan's fundamental parallelepiped conjecture.


title: A study of chaos and randomness in quantum systems

abstract: How classical chaos emerges from the underlying quantum world is a fundamental problem in physics. The origin of this question is in the correspondence principle. Classical chaos arises due to non-linear dynamics, whereas quantum mechanics, driven by unitary evolution, is linear. The question that still remains is - what are the footprints of classical chaos in the quantum world? One can understand the quantum signatures of classical chaos by studying a quantum system whose classical analogue is chaotic. In this thesis, we use the quantum kicked top model of few qubits in the deep quantum regime to investigate signatures that can be considered as a precursor to chaos in the classical limit. In particular, we study out-of-time-ordered correlators (OTOCs) and Loschmidt echo, the two well-known dynamical diagnostics of chaos. We find vestiges of classical chaos even in such a deep quantum regime. Another arena where one can study the effects of chaos and randomness is quantum state tomography. We study quantum tomography from a continuous measurement record obtained by measuring expectation values of a set of Hermitian operators generated by a unitary evolution of an initial observable. The rate of information gain and reconstruction fidelity shows vestiges of chaos. As another contribution of this thesis, we have harnessed the power of randomness inherent in the maximally mixed state to give an efficient quantum algorithm to measure OTOCs. The protocol achieves an exponential speedup over the best known classical algorithm, provided the OTOC operator to be estimated admits an efficient gate decomposition. This protocol also helps benchmark unitary gates, which is important from the quantum computation and control perspective.


title: Frame-Wise Breath Detection with Self-Training: An Exploration of Enhancing Breath Naturalness in Text-to-Speech

abstract: Developing Text-to-Speech (TTS) systems that can synthesize natural breath is essential for human-like voice agents but requires extensive manual annotation of breath positions in training data. To this end, we propose a self-training method for training a breath detection model that can automatically detect breath positions in speech. Our method trains the model using a large speech corpus and involves: 1) annotation of limited breath sounds utilizing a rule-based approach, and 2) iterative augmentation of these annotations through pseudo-labeling based on the model's predictions. Our detection model employs Conformer blocks with down-/up-sampling layers, enabling accurate frame-wise breath detection. We investigate its effectiveness in multi-speaker TTS using text transcripts with detected breath marks. The results indicate that using our proposed model for breath detection and breath mark insertion synthesizes breath-contained speech more naturally than a baseline model.


title: Subgradient evolution of value functions in discrete-time optimal control

abstract: In this paper we investigate how the subgradients of the value function of a discrete-time convex Bolza problem evolve over time. In particular, we develop a discrete-time version of the characteristic method introduced by Rockafellar and Wolenski in the 2000s, by showing that the time-evolution of the subgradients of the value functions can be associated with trajectories of a discrete-time Hamiltonian system. To do so, we first prove that the value function has a dual counterpart, which corresponds to the conjugate of the value function of a suitable dual problem. We finally make a discussion about the qualification conditions we require for our results, showing in particular that classical problems, such as the Liner-Quadratic regulator, satisfy these hypotheses.


title: MEIA: Towards Realistic Multimodal Interaction and Manipulation for Embodied Robots

abstract: With the surge in the development of large language models, embodied intelligence has attracted increasing attention. Nevertheless, prior works on embodied intelligence typically encode scene or historical memory in an unimodal manner, either visual or linguistic, which complicates the alignment of the model's action planning with embodied control. To overcome this limitation, we introduce the Multimodal Embodied Interactive Agent (MEIA), capable of translating high-level tasks expressed in natural language into a sequence of executable actions. Specifically, we propose a novel Multimodal Environment Memory (MEM) module, facilitating the integration of embodied control with large models through the visual-language memory of scenes. This capability enables MEIA to generate executable action plans based on diverse requirements and the robot's capabilities. Furthermore, we construct an embodied question answering dataset based on a dynamic virtual cafe environment with the help of the large language model. In this virtual environment, we conduct several experiments, utilizing multiple large models through zero-shot learning, and carefully design scenarios for various situations. The experimental results showcase the promising performance of our MEIA in various embodied interactive tasks.


title: A link between anomalous viscous loss and boson peak in soft jammed solids

abstract: Soft jammed solids exhibit intriguing mechanical properties, while their linear response is elusive. In particular, foams and emulsions generally reveal anomalous viscous loss with the loss and storage modulus following $G^{\prime \prime} \propto \sqrt{\omega}$ and $G^{\prime} \propto \omega^0$. In this study, we offer a comprehensive microscopic understanding of this behavior. Using microrheology experiment, we measured $G^* = G^{\prime} + i G^{\prime \prime}$ of concentrated emulsions in a wide range of frequencies. In theory, we applied a linear response formalism for microrheology to a soft sphere model that undergoes the jamming transition. We find that the theory quantitatively explains the experiments without the need for parameter adjustments. Our analysis reveals that the anomalous viscous loss results from the boson peak, which is a universal vibrational property of amorphous solids and reflects the marginal stability in soft jammed solids. We discuss that the anomalous viscous loss is universal in systems with various interparticle interactions as it stems from the universal boson peak, and it even survives below the jamming density where thermal fluctuation is pronounced and the dynamics becomes inherently nonlinear.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.stat-mech


title: Effective Bug Detection in Graph Database Engines: An LLM-based Approach

abstract: Graph database engines play a pivotal role in efficiently storing and managing graph data across various domains, including bioinformatics, knowledge graphs, and recommender systems. Ensuring data accuracy within graph database engines is paramount, as inaccuracies can yield unreliable analytical outcomes. Current bug-detection approaches are confined to specific graph query languages, limiting their applicabilities when handling graph database engines that use various graph query languages across various domains. Moreover, they require extensive prior knowledge to generate queries for detecting bugs. To address these challenges, we introduces DGDB, a novel paradigm harnessing large language models(LLM), such as ChatGPT, for comprehensive bug detection in graph database engines. DGDB leverages ChatGPT to generate high-quality queries for different graph query languages. It subsequently employs differential testing to identify bugs in graph database engines. We applied this paradigm to graph database engines using the Gremlin query language and those using the Cypher query language, generating approximately 4,000 queries each. In the latest versions of Neo4j, Agensgraph, and JanusGraph databases, we detected 2, 5, and 3 wrong-result bugs, respectively.


title: FineBio: A Fine-Grained Video Dataset of Biological Experiments with Hierarchical Annotation

abstract: In the development of science, accurate and reproducible documentation of the experimental process is crucial. Automatic recognition of the actions in experiments from videos would help experimenters by complementing the recording of experiments. Towards this goal, we propose FineBio, a new fine-grained video dataset of people performing biological experiments. The dataset consists of multi-view videos of 32 participants performing mock biological experiments with a total duration of 14.5 hours. One experiment forms a hierarchical structure, where a protocol consists of several steps, each further decomposed into a set of atomic operations. The uniqueness of biological experiments is that while they require strict adherence to steps described in each protocol, there is freedom in the order of atomic operations. We provide hierarchical annotation on protocols, steps, atomic operations, object locations, and their manipulation states, providing new challenges for structured activity understanding and hand-object interaction recognition. To find out challenges on activity understanding in biological experiments, we introduce baseline models and results on four different tasks, including (i) step segmentation, (ii) atomic operation detection (iii) object detection, and (iv) manipulated/affected object detection. Dataset and code are available from https://github.com/aistairc/FineBio.


title: Explicit arithmetic Eisenstein cocycles: the toric case

abstract: We construct cocycles for $GL_n(\mathbb{Q})$ valued in cup products of units on the $n$-dimensional algebraic torus $\mathbb{G}_m^n$ over an arbitrary DVR, viewed in Milnor $K$-theory or motivic cohomology. We show how various combinatorially-defined complexes encoding linear algebraic data capture the structure of these cup products inside motivic complexes, and examine some properties of the resulting classes. This generalizes work of Sharifi and Venkatesh in the case $n=2$, in which case pullbacks of the resulting cocycle to an arithmetic base are of central importance in the Sharifi conjectures.


title: Comparative Evaluation of Traditional and Deep Learning-Based Segmentation Methods for Spoil Pile Delineation Using UAV Images

abstract: The stability of mine dumps is contingent upon the precise arrangement of spoil piles, taking into account their geological and geotechnical attributes. Yet, on-site characterisation of individual piles poses a formidable challenge. The utilisation of image-based techniques for spoil pile characterisation, employing remotely acquired data through unmanned aerial systems, is a promising complementary solution. Image processing, such as object-based classification and feature extraction, are dependent upon effective segmentation. This study refines and juxtaposes various segmentation approaches, specifically colour-based and morphology-based techniques. The objective is to enhance and evaluate avenues for object-based analysis for spoil characterisation within the context of mining environments. Furthermore, a comparative analysis is conducted between conventional segmentation approaches and those rooted in deep learning methodologies. Among the diverse segmentation approaches evaluated, the morphology-based deep learning segmentation approach, Segment Anything Model (SAM), exhibited superior performance in comparison to other approaches. This outcome underscores the efficacy of incorporating advanced morphological and deep learning techniques for accurate and efficient spoil pile characterisation. The findings of this study contribute valuable insights to the optimisation of segmentation strategies, thereby advancing the application of image-based techniques for the characterisation of spoil piles in mining environments.


title: High-Level, Collaborative Task Planning Grammar and Execution for Heterogeneous Agents

abstract: We propose a new multi-agent task grammar to encode collaborative tasks for a team of heterogeneous agents that can have overlapping capabilities. The grammar allows users to specify the relationship between agents and parts of the task without providing explicit assignments or constraints on the number of agents required. We develop a method to automatically find a team of agents and synthesize correct-by-construction control with synchronization policies to satisfy the task. We demonstrate the scalability of our approach through simulation and compare our method to existing task grammars that encode multi-agent tasks.


title: Bulk and Interface Effects Based on Rashba-Like States in Ti and Ru Nanoscale-Thick Films: Implications for Orbital-Charge Conversion in Spintronic Devices

abstract: In this work, employing spin-pumping techniques driven by both ferromagnetic resonance (SP-FMR) and longitudinal spin Seebeck effect (LSSE) to manipulate and direct observe orbital currents, we investigated the volume conversion of spin-orbital currents into charge-current in YIG(100nm)/Pt(2nm)/NM2 structures, where NM2 represents Ti or Ru. While the YIG/Ti bilayer displayed a negligible SP-FMR signal, the YIG/Pt/Ti structure exhibited a significantly stronger signal attributed to the orbital Hall effect of Ti. Substituting the Ti layer with Ru revealed a similar phenomenon, wherein the effect is ascribed to the combined action of both spin and orbital Hall effects. Furthermore, we measured the SP-FMR signal in the YIG/Pt(2)/Ru(6)/Ti(6) and YIG/Pt(2)/Ti(6)/Ru(6) heterostructures by just altering the stack order of Ti and Ru layers, where the peak value of the spin pumping signal is larger for the first sample. To verify the influence on the oxidation of Ti and Ru films, we studied a series of thin films subjected to controlled and natural oxidation. As Cu and CuOx is a system that is already known to be highly influenced by oxidation, this metal was chosen to carry out this study. We investigated these samples using SP-FMR in YIG/Pt(2)/CuOx(tCu) and X-ray absorption spectroscopy and concluded that samples with natural oxidation of Cu exhibit more significant results than those when the CuOx is obtained by reactive sputtering. In particular, samples where the Cu layer is naturally oxidized exhibit a Cu2O-rich phase. Our findings help to elucidate the mechanisms underlying the inverse orbital Hall and inverse orbital Rashba-Edelstein-like effects. These insights indeed contribute to the advancement of devices that rely on orbital-charge conversion.


title: Oracle separation of QMA and QCMA with bounded adaptivity

abstract: We give an oracle separation between QMA and QCMA for quantum algorithms that have bounded adaptivity in their oracle queries; that is, the number of rounds of oracle calls is small, though each round may involve polynomially many queries in parallel. Our oracle construction is a simplified version of the construction used recently by Li, Liu, Pelecanos, and Yamakawa (2023), who showed an oracle separation between QMA and QCMA when the quantum algorithms are only allowed to access the oracle classically. To prove our results, we introduce a property of relations called \emph{slipperiness}, which may be useful for getting a fully general classical oracle separation between QMA and QCMA.


title: Attention-based Dynamic Multilayer Graph Neural Networks for Loan Default Prediction

abstract: Whereas traditional credit scoring tends to employ only individual borrower- or loan-level predictors, it has been acknowledged for some time that connections between borrowers may result in default risk propagating over a network. In this paper, we present a model for credit risk assessment leveraging a dynamic multilayer network built from a Graph Neural Network and a Recurrent Neural Network, each layer reflecting a different source of network connection. We test our methodology in a behavioural credit scoring context using a dataset provided by U.S. mortgage financier Freddie Mac, in which different types of connections arise from the geographical location of the borrower and their choice of mortgage provider. The proposed model considers both types of connections and the evolution of these connections over time. We enhance the model by using a custom attention mechanism that weights the different time snapshots according to their importance. After testing multiple configurations, a model with GAT, LSTM, and the attention mechanism provides the best results. Empirical results demonstrate that, when it comes to predicting probability of default for the borrowers, our proposed model brings both better results and novel insights for the analysis of the importance of connections and timestamps, compared to traditional methods.


title: Self-supervised learning of video representations from a child's perspective

abstract: Children learn powerful internal models of the world around them from a few years of egocentric visual experience. Can such internal models be learned from a child's visual experience with highly generic learning algorithms or do they require strong inductive biases? Recent advances in collecting large-scale, longitudinal, developmentally realistic video datasets and generic self-supervised learning (SSL) algorithms are allowing us to begin to tackle this nature vs. nurture question. However, existing work typically focuses on image-based SSL algorithms and visual capabilities that can be learned from static images (e.g. object recognition), thus ignoring temporal aspects of the world. To close this gap, here we train self-supervised video models on longitudinal, egocentric headcam recordings collected from a child over a two year period in their early development (6-31 months). The resulting models are highly effective at facilitating the learning of action concepts from a small number of labeled examples; they have favorable data size scaling properties; and they display emergent video interpolation capabilities. Video models also learn more robust object representations than image-based models trained with the exact same data. These results suggest that important temporal aspects of a child's internal model of the world may be learnable from their visual experience using highly generic learning algorithms and without strong inductive biases.


title: Constructive Projective Geometry

abstract: Of the great theories of classical mathematics, projective geometry, with its powerful concepts of symmetry and duality, has been exceptional in continuing to intrigue investigators. The challenge put forth by Errett Bishop (1928-1983), "Every theorem proved with nonconstructive methods presents a challenge: to find a constructive version, and to give it a constructive proof", motivates a large portion of current constructive work. This challenge can be answered by discovering the hidden constructive content of classical projective geometry. Here we briefly outline, with few details, recent constructive work on the real projective plane, and projective extensions of affine planes. Special note is taken of a number of interesting open problems that remain; these show that constructive projective geometry is still a theory very much in need of further effort. The Bishop-type constructive mathematics discussed in the present paper proceeds from a viewpoint well-nigh opposite that of either formal logic or recursive function theory.


title: Inertia and slip effects on the instability of a liquid film coated on a fibre

abstract: To investigate the influence of inertia and slip on the instability of a liquid film on a fibre, a theoretical framework based on the axisymmetric Navier-Stokes equations is proposed via linear instability analysis. The model reveals that slip significantly enhances perturbation growth in viscous film flows, whereas it exerts minimal influence on flows dominated by inertia. Moreover, under no-slip boundary conditions, the dominant instability mode of thin films remains unaltered by inertia, closely aligning with predictions from a no-slip lubrication model. Conversely, when slip is introduced, the dominant wavenumber experiences a noticeable reduction as inertia decreases. This trend is captured by an introduced lubrication model with giant slip. Direct numerical simulations of the Navier-Stokes equations are then performed to further confirm the theoretical findings at the linear stage. For the nonlinear dynamics, no-slip simulations show complex vortical structures within films, driven by fluid inertia near surfaces. Additionally, in scenarios with weak inertia, a reduction in the volume of satellite droplets is observed due to slip, following a power-law relationship.


title: Ab-Initio Calculations of Nonlinear Susceptibility and Multi-Phonon Mixing Processes in a 2DEG-Piezoelectric Heterostructure

abstract: Solid-state elastic-wave phonons are a promising platform for a wide range of quantum information applications. An outstanding challenge and enabling capability in harnessing phonons for quantum information processing is achieving strong nonlinear interactions between them. To this end, we propose a general architecture using piezoelectric-semiconductor heterostructures consisting of a piezoelectric acoustic material hosting phonon modes in direct proximity to a two-dimensional electron gas (2DEG). Each phonon in the piezoelectric material carries an electric field, which extends into the 2DEG. The fields induce polarization of 2DEG electrons, which in turn interact with other piezoelectric phononic electric fields. The net result is coupling between the various phonon modes. We derive, from first principles, the nonlinear phononic susceptibility of the system. We show that many nonlinear processes are strongly favored at high electron mobility, motivating the use of the 2DEG to mediate the nonlinearities. We derive in detail the first, second, and third-order susceptibilities and calculate them for the case of a lithium niobate surface acoustic wave interacting with a GaAs-AlGaAs heterostructure 2DEG. We show that, for this system, the strong third-order nonlinearity could enable single-phonon Kerr shift in an acoustic cavity that exceeds realistic cavity linewidths, potentially leading to a new class of acoustic qubit. We further show that the strong second-order nonlinearity could be used to produce a high-gain, traveling-wave parametric amplifier to amplify--and ultimately detect--the outputs of the acoustic cavity qubits. Assuming favorable losses in such a system, these capabilities, combined with the ability to efficiently transduce phonons from microwave electromagnetic fields in transmission lines, thus hold promise for creating all-acoustic quantum information processors.

categories: physics.app-ph cond-mat.mes-hall cond-mat.quant-gas quant-ph


title: Invariance-powered Trustworthy Defense via Remove Then Restore

abstract: Adversarial attacks pose a challenge to the deployment of deep neural networks (DNNs), while previous defense models overlook the generalization to various attacks. Inspired by targeted therapies for cancer, we view adversarial samples as local lesions of natural benign samples, because a key finding is that salient attack in an adversarial sample dominates the attacking process, while trivial attack unexpectedly provides trustworthy evidence for obtaining generalizable robustness. Based on this finding, a Pixel Surgery and Semantic Regeneration (PSSR) model following the targeted therapy mechanism is developed, which has three merits: 1) To remove the salient attack, a score-based Pixel Surgery module is proposed, which retains the trivial attack as a kind of invariance information. 2) To restore the discriminative content, a Semantic Regeneration module based on a conditional alignment extrapolator is proposed, which achieves pixel and semantic consistency. 3) To further harmonize robustness and accuracy, an intractable problem, a self-augmentation regularizer with adversarial R-drop is designed. Experiments on numerous benchmarks show the superiority of PSSR.


title: Information-Theoretic Thresholds for Planted Dense Cycles

abstract: We study a random graph model for small-world networks which are ubiquitous in social and biological sciences. In this model, a dense cycle of expected bandwidth $n \tau$, representing the hidden one-dimensional geometry of vertices, is planted in an ambient random graph on $n$ vertices. For both detection and recovery of the planted dense cycle, we characterize the information-theoretic thresholds in terms of $n$, $\tau$, and an edge-wise signal-to-noise ratio $\lambda$. In particular, the information-theoretic thresholds differ from the computational thresholds established in a recent work for low-degree polynomial algorithms, thereby justifying the existence of statistical-to-computational gaps for this problem.

categories: math.ST cs.IT cs.SI math.IT stat.ML stat.TH


title: An Accurate and Low-Parameter Machine Learning Architecture for Next Location Prediction

abstract: Next location prediction is a discipline that involves predicting a users next location. Its applications include resource allocation, quality of service, energy efficiency, and traffic management. This paper proposes an energy-efficient, small, and low parameter machine learning (ML) architecture for accurate next location prediction, deployable on modest base stations and edge devices. To accomplish this we ran a hundred hyperparameter experiments on the full human mobility patterns of an entire city, to determine an exact ML architecture that reached a plateau of accuracy with the least amount of model parameters. We successfully achieved a reduction in the number of model parameters within published ML architectures from 202 million down to 2 million. This reduced the total size of the model parameters from 791 MB down to 8 MB. Additionally, this decreased the training time by a factor of four, the amount of graphics processing unit (GPU) memory needed for training by a factor of twenty, and the overall accuracy was increased from 80.16% to 82.54%. This improvement allows for modest base stations and edge devices which do not have a large amount of memory or storage, to deploy and utilize the proposed ML architecture for next location prediction.


title: Debiased Multivariable Mendelian Randomization

abstract: Multivariable Mendelian randomization (MVMR) uses genetic variants as instrumental variables to infer the direct effect of multiple exposures on an outcome. Compared to univariable Mendelian randomization, MVMR is less prone to horizontal pleiotropy and enables estimation of the direct effect of each exposure on the outcome. However, MVMR faces greater challenges with weak instruments -- genetic variants that are weakly associated with some exposures conditional on the other exposures. This article focuses on MVMR using summary data from genome-wide association studies (GWAS). We provide a new asymptotic regime to analyze MVMR estimators with many weak instruments, allowing for linear combinations of exposures to have different degrees of instrument strength, and formally show that the popular multivariable inverse-variance weighted (MV-IVW) estimator's asymptotic behavior is highly sensitive to instruments' strength. We then propose a multivariable debiased IVW (MV-dIVW) estimator, which effectively reduces the asymptotic bias from weak instruments in MV-IVW, and introduce an adjusted version, MV-adIVW, for improved finite-sample robustness. We establish the theoretical properties of our proposed estimators and extend them to handle balanced horizontal pleiotropy. We conclude by demonstrating the performance of our proposed methods in simulated and real datasets. We implement this method in the R package mr.divw.


title: More on stubs in open string field theory

abstract: We continue our analysis of open string field theory based on A-infinity-algebras obtained from Witten's theory by attaching stubs to the elementary vertex. Classical solutions of the new theory can be obtained from known analytic solutions in Witten's theory by applying a cohomomorphism. In a previous work two such cohomomorphisms were found, one non-cyclic, obtained from the homological perturbation lemma and another one by geometric methods. Here we show, that the two resulting maps are related by a combination of a gauge transformation and a term vanishing on-shell. We explicitly calculate the first few orders of the new A-infinity-algebra solutions in the sliver frame.


title: An Exam-based Evaluation Approach Beyond Traditional Relevance Judgments

abstract: Current IR evaluation is based on relevance judgments, created either manually or automatically, with decisions outsourced to Large Language Models (LLMs). We offer an alternative paradigm, that never relies on relevance judgments in any form. Instead, a text is defined as relevant if it contains information that enables the answering of key questions. We use this idea to design the EXAM Answerability Metric to evaluate information retrieval/generation systems for their ability to provide topically relevant information. We envision the role of a human judge to edit and define an exam question bank that will test for the presence of relevant information in text. We support this step by generating an initial set of exam questions. In the next phase, an LLM-based question answering system will automatically grade system responses by tracking which exam questions are answerable with which system responses. We propose two evaluation measures, the recall-oriented EXAM Cover metric, and the precision-oriented EXAM Qrels metric, the latter which can be implemented with trec_eval. This paradigm not only allows for the expansion of the exam question set post-hoc but also facilitates the ongoing evaluation of future information systems, whether they focus on retrieval, generation, or both.


title: Seismic Traveltime Tomography with Label-free Learning

abstract: Deep learning techniques have been used to build velocity models (VMs) for seismic traveltime tomography and have shown encouraging performance in recent years. However, they need to generate labeled samples (i.e., pairs of input and label) to train the deep neural network (NN) with end-to-end learning, and the real labels for field data inversion are usually missing or very expensive. Some traditional tomographic methods can be implemented quickly, but their effectiveness is often limited by prior assumptions. To avoid generating and/or collecting labeled samples, we propose a novel method by integrating deep learning and dictionary learning to enhance the VMs with low resolution by using the traditional tomography-least square method (LSQR). We first design a type of shallow and simple NN to reduce computational cost followed by proposing a two-step strategy to enhance the VMs with low resolution: (1) Warming up. An initial dictionary is trained from the estimation by LSQR through dictionary learning method; (2) Dictionary optimization. The initial dictionary obtained in the warming-up step will be optimized by the NN, and then it will be used to reconstruct high-resolution VMs with the reference slowness and the estimation by LSQR. Furthermore, we design a loss function to minimize traveltime misfit to ensure that NN training is label-free, and the optimized dictionary can be obtained after each epoch of NN training. We demonstrate the effectiveness of the proposed method through the numerical tests on both synthetic and field data.


title: A Tuning-Free Primal-Dual Splitting Algorithm for Large-Scale Semidefinite Programming

abstract: This paper proposes and analyzes a tuning-free variant of Primal-Dual Hybrid Gradient (PDHG), and investigates its effectiveness for solving large-scale semidefinite programming (SDP). The core idea is based on the combination of two seemingly unrelated results: (1) the equivalence of PDHG and Douglas-Rachford splitting (DRS); (2) the asymptotic convergence of non-stationary DRS. This combination provides a unified approach to analyze the convergence of generic adaptive PDHG, including the proposed tuning-free algorithm and various existing ones. Numerical experiments are conducted to show the performance of our algorithm, highlighting its superior convergence speed and robustness in the context of SDP.


title: The whack-a-mole governance challenge for AI-enabled synthetic biology: literature review and emerging frameworks

abstract: AI-enabled synthetic biology has tremendous potential but also significantly increases biorisks and brings about a new set of dual use concerns. The picture is complicated given the vast innovations envisioned to emerge by combining emerging technologies, as AI-enabled synthetic biology potentially scales up bioengineering into industrial biomanufacturing. However, the literature review indicates that goals such as maintaining a reasonable scope for innovation, or more ambitiously to foster a huge bioeconomy don't necessarily contrast with biosafety, but need to go hand in hand. This paper presents a literature review of the issues and describes emerging frameworks for policy and practice that transverse the options of command-and control, stewardship, bottom-up, and laissez-faire governance. How to achieve early warning systems that enable prevention and mitigation of future AI-enabled biohazards from the lab, from deliberate misuse, or from the public realm, will constantly need to evolve, and adaptive, interactive approaches should emerge. Although biorisk is subject to an established governance regime, and scientists generally adhere to biosafety protocols, even experimental, but legitimate use by scientists could lead to unexpected developments. Recent advances in chatbots enabled by generative AI have revived fears that advanced biological insight can more easily get into the hands of malignant individuals or organizations. Given these sets of issues, society needs to rethink how AI-enabled synthetic biology should be governed. The suggested way to visualize the challenge at hand is whack-a-mole governance, although the emerging solutions are perhaps not so different either.


title: Control in Stochastic Environment with Delays: A Model-based Reinforcement Learning Approach

abstract: In this paper we are introducing a new reinforcement learning method for control problems in environments with delayed feedback. Specifically, our method employs stochastic planning, versus previous methods that used deterministic planning. This allows us to embed risk preference in the policy optimization problem. We show that this formulation can recover the optimal policy for problems with deterministic transitions. We contrast our policy with two prior methods from literature. We apply the methodology to simple tasks to understand its features. Then, we compare the performance of the methods in controlling multiple Atari games.


title: Littlewood-type theorems for random Dirichlet series

abstract: In this paper, we completely give the solution of the problem of Littlewood-type randomization in the Hardy and Bergman spaces of Dirichlet series. The Littlewood-type theorem for Bergman spaces of Dirichlet series is very different from the corresponding version for Hardy spaces of Dirichlet series; but also exhibits various pathological phenomena compared with the setting of analytic Bergman spaces over the unit disk, due to the fact that Dirichlet series behave as power series of infinitely many variables. A description for the inclusion between some mixed norm spaces of Dirichlet series plays an essential role in our investigation. Finally, as another application of the inclusion, we completely characterize the superposition operators between Bergman spaces of Dirichlet series.


title: Online Distribution Learning with Local Private Constraints

abstract: We study the problem of online conditional distribution estimation with \emph{unbounded} label sets under local differential privacy. Let $\mathcal{F}$ be a distribution-valued function class with unbounded label set. We aim at estimating an \emph{unknown} function $f\in \mathcal{F}$ in an online fashion so that at time $t$ when the context $\boldsymbol{x}_t$ is provided we can generate an estimate of $f(\boldsymbol{x}_t)$ under KL-divergence knowing only a privatized version of the true labels sampling from $f(\boldsymbol{x}_t)$. The ultimate objective is to minimize the cumulative KL-risk of a finite horizon $T$. We show that under $(\epsilon,0)$-local differential privacy of the privatized labels, the KL-risk grows as $\tilde{\Theta}(\frac{1}{\epsilon}\sqrt{KT})$ upto poly-logarithmic factors where $K=|\mathcal{F}|$. This is in stark contrast to the $\tilde{\Theta}(\sqrt{T\log K})$ bound demonstrated by Wu et al. (2023a) for bounded label sets. As a byproduct, our results recover a nearly tight upper bound for the hypothesis selection problem of gopi et al. (2020) established only for the batch setting.


title: Steady gradient Ricci solitons with nonnegative curvature operator away from a compact set

abstract: Let $(M^n,g)$ $(n\ge 4)$ be a complete noncompact $\kappa$-noncollapsed steady Ricci soliton with $\rm{Rm}\geq 0$ and $\rm{Ric}> 0$ away from a compact set $K$ of $M$. We prove that there is no any $(n-1)$-dimensional compact split limit Ricci flow of type I arising from the blow-down of $(M, g)$, if there is an $(n-1)$-dimensional noncompact split limit Ricci flow. Consequently, the compact split limit ancient flows of type I and type II cannot occur simultaneously from the blow-down. As an application, we prove that $(M^n,g)$ with $\rm{Rm}\geq 0$ must be isometric the Bryant Ricci soliton up to scaling, if there exists a sequence of rescaled Ricci flows $(M,g_{p_i}(t); p_i)$ of $(M,g)$ converges subsequently to a family of shrinking quotient cylinders.


title: Chiral superconducting diode effect by Dzyaloshinsky-Moriya interaction

abstract: A two-component quasi-two-dimensional superconductor with Dzyaloshinsky-Moriya interaction is studied based on the Ginzburg-Landau and Bogoliubov-de Gennes theories. Under external in-plane magnetic fields, the order parameter of the superconducting state is a type of the Fulde-Ferrell state with a finite momentum of Cooper pairs due to the Dzyaloshinsky-Moriya interaction. It is shown that the superconducting diode effect can emerge when a supercurrent flows parallel to the external magnetic field, characteristic of chiral crystals. In the Bogoliubov-de Gennes theory, phase diagrams associated with the transition of the Cooper-pair momentum and the Josephson phase between spin-singlet and spin-triplet Cooper pairs are derived, and a close relationship with the diode quality factor is demonstrated. Implications of critical currents in the aspect of thermodynamics are also discussed. Based on such an argument, it is argued that the first-order phase transition in terms of Cooper-pair momentum and the coexistence of phases with different Cooper-pair momentum and Josephson phase can occur. The argument also implies the issue with the definition of critical currents calculated from the extremes of the supercurrent when metastable states exist. Comments on purely two-dimensional superconductors are also given.


title: Analog-digital Scheduling for Federated Learning: A Communication-Efficient Approach

abstract: Over-the-air (OTA) computation has recently emerged as a communication-efficient Federated Learning (FL) paradigm to train machine learning models over wireless networks. However, its performance is limited by the device with the worst SNR, resulting in fast yet noisy updates. On the other hand, allocating orthogonal resource blocks (RB) to individual devices via digital channels mitigates the noise problem, at the cost of increased communication latency. In this paper, we address this discrepancy and present ADFL, a novel Analog-Digital FL scheme: in each round, the parameter server (PS) schedules each device to either upload its gradient via the analog OTA scheme or transmit its quantized gradient over an orthogonal RB using the ``digital" scheme. Focusing on a single FL round, we cast the optimal scheduling problem as the minimization of the mean squared error (MSE) on the estimated global gradient at the PS, subject to a delay constraint, yielding the optimal device scheduling configuration and quantization bits for the digital devices. Our simulation results show that ADFL, by scheduling most of the devices in the OTA scheme while also occasionally employing the digital scheme for a few devices, consistently outperforms OTA-only and digital-only schemes, in both i.i.d. and non-i.i.d. settings.


title: SCO-VIST: Social Interaction Commonsense Knowledge-based Visual Storytelling

abstract: Visual storytelling aims to automatically generate a coherent story based on a given image sequence. Unlike tasks like image captioning, visual stories should contain factual descriptions, worldviews, and human social commonsense to put disjointed elements together to form a coherent and engaging human-writeable story. However, most models mainly focus on applying factual information and using taxonomic/lexical external knowledge when attempting to create stories. This paper introduces SCO-VIST, a framework representing the image sequence as a graph with objects and relations that includes human action motivation and its social interaction commonsense knowledge. SCO-VIST then takes this graph representing plot points and creates bridges between plot points with semantic and occurrence-based edge weights. This weighted story graph produces the storyline in a sequence of events using Floyd-Warshall's algorithm. Our proposed framework produces stories superior across multiple metrics in terms of visual grounding, coherence, diversity, and humanness, per both automatic and human evaluations.


title: DARCS: Memory-Efficient Deep Compressed Sensing Reconstruction for Acceleration of 3D Whole-Heart Coronary MR Angiography

abstract: Three-dimensional coronary magnetic resonance angiography (CMRA) demands reconstruction algorithms that can significantly suppress the artifacts from a heavily undersampled acquisition. While unrolling-based deep reconstruction methods have achieved state-of-the-art performance on 2D image reconstruction, their application to 3D reconstruction is hindered by the large amount of memory needed to train an unrolled network. In this study, we propose a memory-efficient deep compressed sensing method by employing a sparsifying transform based on a pre-trained artifact estimation network. The motivation is that the artifact image estimated by a well-trained network is sparse when the input image is artifact-free, and less sparse when the input image is artifact-affected. Thus, the artifact-estimation network can be used as an inherent sparsifying transform. The proposed method, named De-Aliasing Regularization based Compressed Sensing (DARCS), was compared with a traditional compressed sensing method, de-aliasing generative adversarial network (DAGAN), model-based deep learning (MoDL), and plug-and-play for accelerations of 3D CMRA. The results demonstrate that the proposed method improved the reconstruction quality relative to the compared methods by a large margin. Furthermore, the proposed method well generalized for different undersampling rates and noise levels. The memory usage of the proposed method was only 63% of that needed by MoDL. In conclusion, the proposed method achieves improved reconstruction quality for 3D CMRA with reduced memory burden.


title: SmartCooper: Vehicular Collaborative Perception with Adaptive Fusion and Judger Mechanism

abstract: In recent years, autonomous driving has garnered significant attention due to its potential for improving road safety through collaborative perception among connected and autonomous vehicles (CAVs). However, time-varying channel variations in vehicular transmission environments demand dynamic allocation of communication resources. Moreover, in the context of collaborative perception, it is important to recognize that not all CAVs contribute valuable data, and some CAV data even have detrimental effects on collaborative perception. In this paper, we introduce SmartCooper, an adaptive collaborative perception framework that incorporates communication optimization and a judger mechanism to facilitate CAV data fusion. Our approach begins with optimizing the connectivity of vehicles while considering communication constraints. We then train a learnable encoder to dynamically adjust the compression ratio based on the channel state information (CSI). Subsequently, we devise a judger mechanism to filter the detrimental image data reconstructed by adaptive decoders. We evaluate the effectiveness of our proposed algorithm on the OpenCOOD platform. Our results demonstrate a substantial reduction in communication costs by 23.10\% compared to the non-judger scheme. Additionally, we achieve a significant improvement on the average precision of Intersection over Union (AP@IoU) by 7.15\% compared with state-of-the-art schemes.


title: Bias in Opinion Summarisation from Pre-training to Adaptation: A Case Study in Political Bias

abstract: Opinion summarisation aims to summarise the salient information and opinions presented in documents such as product reviews, discussion forums, and social media texts into short summaries that enable users to effectively understand the opinions therein. Generating biased summaries has the risk of potentially swaying public opinion. Previous studies focused on studying bias in opinion summarisation using extractive models, but limited research has paid attention to abstractive summarisation models. In this study, using political bias as a case study, we first establish a methodology to quantify bias in abstractive models, then trace it from the pre-trained models to the task of summarising social media opinions using different models and adaptation methods. We find that most models exhibit intrinsic bias. Using a social media text summarisation dataset and contrasting various adaptation methods, we find that tuning a smaller number of parameters is less biased compared to standard fine-tuning; however, the diversity of topics in training data used for fine-tuning is critical.


title: HAYATE: Photometric redshift estimation by hybridising machine learning with template fitting

abstract: Machine learning photo-z methods, trained directly on spectroscopic redshifts, provide a viable alternative to traditional template fitting methods but may not generalise well on new data that deviates from that in the training set. In this work, we present a Hybrid Algorithm for WI(Y)de-range photo-z estimation with Artificial neural networks and TEmplate fitting (HAYATE), a novel photo-z method that combines template fitting and data-driven approaches and whose training loss is optimised in terms of both redshift point estimates and probability distributions. We produce artificial training data from low-redshift galaxy SEDs at z<1.3, artificially redshifted up to z=5. We test the model on data from the ZFOURGE surveys, demonstrating that HAYATE can function as a reliable emulator of EAZY for the broad redshift range beyond the region of sufficient spectroscopic completeness. The network achieves precise photo-z estimations with smaller errors ($\sigma_{NMAD}$) than EAZY in the initial low-z region (z<1.3), while being comparable even in the high-z extrapolated regime (1.3<z<5). Meanwhile, it provides more robust photo-z estimations than EAZY with the lower outlier rate ($\eta_{0.2}\lesssim 1\%$) but runs $\sim100$ times faster than the original template fitting method. We also demonstrate HAYATE offers more reliable redshift PDFs, showing a flatter distribution of Probability Integral Transform scores than EAZY. The performance is further improved using transfer learning with spec-z samples. We expect that future large surveys will benefit from our novel methodology applicable to observations over a wide redshift range.


title: A Consistent Lebesgue Measure for Multi-label Learning

abstract: Multi-label loss functions are usually non-differentiable, requiring surrogate loss functions for gradient-based optimisation. The consistency of surrogate loss functions is not proven and is exacerbated by the conflicting nature of multi-label loss functions. To directly learn from multiple related, yet potentially conflicting multi-label loss functions, we propose a Consistent Lebesgue Measure-based Multi-label Learner (CLML) and prove that CLML can achieve theoretical consistency under a Bayes risk framework. Empirical evidence supports our theory by demonstrating that: (1) CLML can consistently achieve state-of-the-art results; (2) the primary performance factor is the Lebesgue measure design, as CLML optimises a simpler feedforward model without additional label graph, perturbation-based conditioning, or semantic embeddings; and (3) an analysis of the results not only distinguishes CLML's effectiveness but also highlights inconsistencies between the surrogate and the desired loss functions.


title: Using digital twins for managing change in complex projects

abstract: Complex systems are not entirely decomposable, hence interdependences arise at the interfaces in complex projects. When changes occur, significant risks arise at these interfaces as it is hard to identify, manage and visualise the systemic consequences of changes. Particularly problematic are the interfaces in which there are multiple interdependencies, which occur where the boundaries between design components, contracts and organisation coincide, such as between design disciplines. In this paper, we propose an approach to digital twin-based interface management, through an underpinning state-of-the-art review of the existing technical literature and a small pilot to identify the characteristics of future data-driven solutions. We set out an approach to digital twin-based interface management and an agenda for research on advanced methodologies for managing change in complex projects. This agenda includes the need to integrate work on identifying systems interfaces, change propagation and visualisation, and the potential to significantly extend the limitations of existing solutions by using developments in the digital twin, such as linked data, semantic enrichment, network analyses, natural language processing (NLP)-enhanced ontology and machine learning.


title: PirateNets: Physics-informed Deep Learning with Residual Adaptive Networks

abstract: While physics-informed neural networks (PINNs) have become a popular deep learning framework for tackling forward and inverse problems governed by partial differential equations (PDEs), their performance is known to degrade when larger and deeper neural network architectures are employed. Our study identifies that the root of this counter-intuitive behavior lies in the use of multi-layer perceptron (MLP) architectures with non-suitable initialization schemes, which result in poor trainablity for the network derivatives, and ultimately lead to an unstable minimization of the PDE residual loss. To address this, we introduce Physics-informed Residual Adaptive Networks (PirateNets), a novel architecture that is designed to facilitate stable and efficient training of deep PINN models. PirateNets leverage a novel adaptive residual connection, which allows the networks to be initialized as shallow networks that progressively deepen during training. We also show that the proposed initialization scheme allows us to encode appropriate inductive biases corresponding to a given PDE system into the network architecture. We provide comprehensive empirical evidence showing that PirateNets are easier to optimize and can gain accuracy from considerably increased depth, ultimately achieving state-of-the-art results across various benchmarks. All code and data accompanying this manuscript will be made publicly available at \url{https://github.com/PredictiveIntelligenceLab/jaxpi}.


title: Wide-bandgap optical materials for high-harmonics generation at the nanoscale

abstract: High-order harmonics generation (HHG) is the only process that enables table-top-size sources of extreme-ultraviolet (XUV) light. The HHG process typically involves light interactions with gases or plasma-material phases that hinder wider adoption of such sources. This motivates the research in HHG from nanostructured solids. Here we investigate theoretically material platforms for HHG at the nanoscale using first-principle supercomputer simulations. We reveal that wide bandgap semiconductors, aluminium nitride AlN and silicon nitride SiN, are highly promising for XUV light generation when compared to one of the most common nonlinear nanophotonic material -- silicon. In our calculations we assume excitation with 100 fs pulse duration, 10^13 W/cm^2 peak power and 800 nm central wavelength. We demonstrate that in AlN material the interplay between the crystal symmetry and the incident light direction and polarization can enable the generation of both even and odd harmonics. Our results should advance the developments of high-harmonics generation of XUV light from nanostructured solids.


title: Region crossing change on origami and link

abstract: Region Select is a game originally defined on a knot projection. In this paper, Region Select on an origami crease pattern is introduced and investigated. As an application, a new unlinking number associated with region crossing change is defined and discussed.


title: Optimized Parameter Design for Channel State Information-Free Location Spoofing

abstract: In this paper, an augmented analysis of a delay-angle information spoofing (DAIS) is provided for location-privacy preservation, where the location-relevant delays and angles are artificially shifted to obfuscate the eavesdropper with an incorrect physical location. A simplified misspecified Cramer-Rao bound (MCRB) is derived, which clearly manifests that not only estimation error, but also the geometric mismatch introduced by DAIS can lead to a significant increase in localization error for an eavesdropper. Given an assumption of the orthogonality among wireless paths, the simplified MCRB can be further expressed as a function of delay-angle shifts in a closed-form, which enables the more straightforward optimization of these design parameters for location-privacy enhancement. Numerical results are provided, validating the theoretical analysis and showing that the root-mean-square error for eavesdropper's localization can be more than 150 m with the optimized delay-angle shifts for DAIS.


title: Night-Rider: Nocturnal Vision-aided Localization in Streetlight Maps Using Invariant Extended Kalman Filtering

abstract: Vision-aided localization for low-cost mobile robots in diverse environments has attracted widespread attention recently. Although many current systems are applicable in daytime environments, nocturnal visual localization is still an open problem owing to the lack of stable visual information. An insight from most nocturnal scenes is that the static and bright streetlights are reliable visual information for localization. Hence we propose a nocturnal vision-aided localization system in streetlight maps with a novel data association and matching scheme using object detection methods. We leverage the Invariant Extended Kalman Filter (InEKF) to fuse IMU, odometer, and camera measurements for consistent state estimation at night. Furthermore, a tracking recovery module is also designed for tracking failures. Experimental results indicate that our proposed system achieves accurate and robust localization with less than $0.2\%$ relative error of trajectory length in four nocturnal environments.