title: Prompt Expansion for Adaptive Text-to-Image Generation

abstract: Text-to-image generation models are powerful but difficult to use. Users craft specific prompts to get better images, though the images can be repetitive. This paper proposes a Prompt Expansion framework that helps users generate high-quality, diverse images with less effort. The Prompt Expansion model takes a text query as input and outputs a set of expanded text prompts that are optimized such that when passed to a text-to-image model, generates a wider variety of appealing images. We conduct a human evaluation study that shows that images generated through Prompt Expansion are more aesthetically pleasing and diverse than those generated by baseline methods. Overall, this paper presents a novel and effective approach to improving the text-to-image generation experience.


title: TetraScatt model: Born approximation for the estimation of acoustic dispersion of fluid-like objects of arbitrary geometries

abstract: Modelling the acoustic scattering response due to penetrable objects of arbitrary shapes, such as those of many marine organisms, can be computationally intensive, often requiring high-performance computing equipment when considering a completely general situation. However, when the physical properties (sound speed and density) of the scatterer object under consideration are similar to those of the surrounding medium, the Born approximation provides a computationally efficient way to calculate the scattering. For simple geometrical shapes like spheres and spheroids, the acoustic scattering in the far field can be evaluated through the Born approximation recipe as a formula which has been historically employed to predict the response of weakly scattering organisms, such as zooplankton. Moreover, the Born approximation has been extended to bodies whose geometry can be described as a collection of non-circular rings centred on a smooth curve. In this work, we have developed a numerical approach to calculate the far-field backscattering by arbitrary 3D objects under the Born approximation. The object's geometry is represented by a volumetric mesh composed of tetrahedrons, and the computation is efficiently performed through analytical 3D integration, yielding a solution expressed in terms of elementary functions for each tetrahedron. The method's correctness has been successfully validated against benchmark solutions. Additionally, we present acoustic scattering results for species with complex shapes. To enable other researchers to use and validate the method a computational package named tetrascatt implemented in the R programming language was developed and published in the CRAN (Comprehensive R Archive Network).


title: Spatial Dynamics of Higher Order Rock-Paper-Scissors and Generalisations

abstract: We introduce and study the spatial replicator equation with higher order interactions and both infinite (spatially homogeneous) populations and finite (spatially inhomogeneous) populations. We show that in the special case of three strategies (rock-paper-scissors) higher order interaction terms allow travelling waves to emerge in non-declining finite populations. We show that these travelling waves arise from diffusion stabilisation of an unstable interior equilibrium point that is present in the aspatial dynamics. Based on these observations and prior results, we offer two conjectures whose proofs would fully generalise our results to all odd cyclic games, both with and without higher order interactions, assuming a spatial replicator dynamic. Intriguingly, these generalisations for $N \geq 5$ strategies seem to require declining populations, as we show in our discussion.


title: Monitoring of nanoplasmonics-assisted deuterium production in a polymer seeded with resonant Au nanorods using in situ femtosecond laser induced breakdown spectroscopy

abstract: In this brief report, we present laser induced breakdown spectroscopy (LIBS) evidence of deuterium (D) production in a 3:1 urethane dimethacrylate (UDMA) and triethylene glycol dimethacrylate (TEGDMA) polymer doped with resonant gold nanorods, induced by intense, 40 fs laser pulses. The in situ recorded LIBS spectra revealed that the D/(2D+H) increased to 4-8% in the polymer samples in selected events. The extent of transmutation was found to linearly increase with the laser pulse energy (intensity) between 2 and 25 mJ (up to 3x10^17 W/cm). The observed effect is attributed only to the field enhancing effects due to excited localized surface plasmons on the gold nanoparticles.


title: A pipeline for multiple orange detection and tracking with 3-D fruit relocalization and neural-net based yield regression in commercial citrus orchards

abstract: Traditionally, sweet orange crop forecasting has involved manually counting fruits from numerous trees, which is a labor-intensive process. Automatic systems for fruit counting, based on proximal imaging, computer vision, and machine learning, have been considered a promising alternative or complement to manual counting. These systems require data association components that prevent multiple counting of the same fruit observed in different images. However, there is a lack of work evaluating the accuracy of multiple fruit counting, especially considering (i) occluded and re-entering green fruits on leafy trees, and (ii) counting ground-truth data measured in the crop field. We propose a non-invasive alternative that utilizes fruit counting from videos, implemented as a pipeline. Firstly, we employ CNNs for the detection of visible fruits. Inter-frame association techniques are then applied to track the fruits across frames. To handle occluded and re-appeared fruit, we introduce a relocalization component that employs 3-D estimation of fruit locations. Finally, a neural network regressor is utilized to estimate the total number of fruit, integrating image-based fruit counting with other tree data such as crop variety and tree size. The results demonstrate that the performance of our approach is closely tied to the quality of the field-collected videos. By ensuring that at least 30% of the fruit is accurately detected, tracked, and counted, our yield regressor achieves an impressive coefficient of determination of 0.85. To the best of our knowledge, this study represents one of the few endeavors in fruit estimation that incorporates manual fruit counting as a reference point for evaluation. We also introduce annotated datasets for multiple orange tracking (MOrangeT) and detection (OranDet), publicly available to foster the development of novel methods for image-based fruit counting.


title: Representing General Stochastic Processes as Martingale Laws

abstract: Random variables $X^i$, $i=1,2$ are 'probabilistically equivalent' if they have the same law. Moreover, in any class of equivalent random variables it is easy to select canonical representatives. The corresponding questions are more involved for processes $X^i$ on filtered stochastic bases $(\Omega^i, \mathcal F^i, \mathbb P^i, (\mathcal F^i_t)_{t\in [0,1]})$. Here equivalence in law does not capture relevant properties of processes such as the solutions to stochastic control or multistage decision problems. This motivates Aldous to introduce the stronger notion of synonymity based on prediction processes. Stronger still, Hoover--Keisler formalize what it means that $X^i$, $i=1,2$ have the same probabilistic properties. We establish that canonical representatives of the Hoover--Keisler equivalence classes are given precisely by the set of all Markov-martingale laws on a specific nested path space $\mathsf M_\infty$. As a consequence we obtain that, modulo Hoover--Keisler equivalence, the class of stochastic processes forms a Polish space. On this space, processes are topologically close iff they model similar probabilistic phenomena. In particular this means that their laws as well as the information encoded in the respective filtrations are similar. Importantly, compact sets of processes admit a Prohorov-type characterization. We also obtain that for every stochastic process, defined on some abstract basis, there exists a process with identical probabilistic properties which is defined on a standard Borel space.


title: FairCompass: Operationalising Fairness in Machine Learning

abstract: As artificial intelligence (AI) increasingly becomes an integral part of our societal and individual activities, there is a growing imperative to develop responsible AI solutions. Despite a diverse assortment of machine learning fairness solutions is proposed in the literature, there is reportedly a lack of practical implementation of these tools in real-world applications. Industry experts have participated in thorough discussions on the challenges associated with operationalising fairness in the development of machine learning-empowered solutions, in which a shift toward human-centred approaches is promptly advocated to mitigate the limitations of existing techniques. In this work, we propose a human-in-the-loop approach for fairness auditing, presenting a mixed visual analytical system (hereafter referred to as 'FairCompass'), which integrates both subgroup discovery technique and the decision tree-based schema for end users. Moreover, we innovatively integrate an Exploration, Guidance and Informed Analysis loop, to facilitate the use of the Knowledge Generation Model for Visual Analytics in FairCompass. We evaluate the effectiveness of FairCompass for fairness auditing in a real-world scenario, and the findings demonstrate the system's potential for real-world deployability. We anticipate this work will address the current gaps in research for fairness and facilitate the operationalisation of fairness in machine learning systems.


title: Latent electronic (anti-)ferroelectricity in BiNiO$_3$

abstract: BiNiO$_3$ exhibits an unusual metal-insulator transition from $Pnma$ to $P\overline{1}$ that is related to charge ordering at the Bi sites, which is intriguingly distinct from the charge ordering at Ni sites usually observed in related rare-earth nickelates. Here, using first principles calculations, we first rationalize the phase transition from $Pnma$ to $P\overline{1}$, revealing an overlooked intermediate $P2_1/m$ phase and a very unusual phase transition mechanism. Going further, we point out that the charge ordering at Bi sites in the $P\overline{1}$ phase is not unique. We highlight an alternative polar orderings giving rise to a ferroelectric $Pmn2_1$ phase nearly degenerated in energy with $P\overline{1}$ and showing an in-plane electric polarisation of 53 $\mu C $/cm$^2$ directly resulting from the charge ordering. The close energy of $Pmn2_1$ and $P\overline{1}$ phases, together with low energy barrier between them, make BiNiO$_3$ a potential electronic antiferroelectric in which the field-induced transition from non-polar to polar would relate to non-adiabatic inter-site electron transfer. We also demonstrate the possibility to stabilize an electronic ferroelectric ground state from strain engineering in thin films, using an appropriate substrate


title: General Relativistic Stability and Gravitational Wave Content of Rotating Triaxial Neutron Stars

abstract: Triaxial neutron stars can be sources of continuous gravitational radiation detectable by ground-based interferometers. The amplitude of the emitted gravitational wave can be greatly affected by the state of the hydrodynamical fluid flow inside the neutron star. In this work we examine the most triaxial models along two sequences of constant rest mass, confirming their dynamical stability. We also study the response of a triaxial figure of quasiequilibrium under a variety of perturbations that lead to different fluid flows. Starting from the general relativistic compressible analog of the Newtonian Jacobi ellipsoid, we perform simulations of Dedekind-type flows. We find that in some cases the triaxial neutron star resembles a Riemann-S-type ellipsoid with minor rotation and gravitational wave emission as it evolves towards axisymmetry. The present results highlight the importance of understanding the fluid flow in the interior of a neutron star in terms of its gravitational wave content.


title: Behavioural pseudometrics for continuous-time diffusions

abstract: Bisimulation is a concept that captures behavioural equivalence of states in a variety of types of transition systems. It has been widely studied in a discrete-time setting where the notion of a step is fundamental. In our setting we are considering "flow"-processes emphasizing that they evolve in continuous time. In such continuous-time settings, the concepts are not straightforward adaptations of their discrete-time analogues and we restrict our study to diffusions that do not lose mass over time and with additional regularity constraints. In previous work we proposed different definitions of behavioural equivalences for continuous-time stochastic processes where the evolution is a flow through time. That work only addressed equivalences. In this work, we aim at quantifying how differently processes behave. We present two pseudometrics for diffusion-like processes. These pseudometrics are fixpoints of two different functionals on the space of 1-bounded pseudometrics on the state space. We also characterize these pseudometrics in terms of real-valued modal logics; this is a quantitative analogue of the notion of logical characterization of bisimulation. These real-valued modal logics indicate that the two pseudometrics are different and thus yield different notions of behavioural equivalence.


title: Foundations of Reinforcement Learning and Interactive Decision Making

abstract: These lecture notes give a statistical perspective on the foundations of reinforcement learning and interactive decision making. We present a unifying framework for addressing the exploration-exploitation dilemma using frequentist and Bayesian approaches, with connections and parallels between supervised learning/estimation and decision making as an overarching theme. Special attention is paid to function approximation and flexible model classes such as neural networks. Topics covered include multi-armed and contextual bandits, structured bandits, and reinforcement learning with high-dimensional feedback.


title: Infinite dSprites for Disentangled Continual Learning: Separating Memory Edits from Generalization

abstract: The ability of machine learning systems to learn continually is hindered by catastrophic forgetting, the tendency of neural networks to overwrite existing knowledge when learning a new task. Continual learning methods alleviate this problem through regularization, parameter isolation, or rehearsal, but they are typically evaluated on benchmarks comprising only a handful of tasks. In contrast, humans are able to learn continually in dynamic, open-world environments, effortlessly achieving one-shot memorization of unfamiliar objects and reliably recognizing them under various transformations. To make progress towards closing this gap, we introduce Infinite dSprites, a parsimonious tool for creating continual classification and disentanglement benchmarks of arbitrary length and with full control over generative factors. We show that over a sufficiently long time horizon, the performance of all major types of continual learning methods deteriorates on this simple benchmark. Thus, Infinite dSprites highlights an important aspect of continual learning that has not received enough attention so far: given a finite modelling capacity and an arbitrarily long learning horizon, efficient learning requires memorizing class-specific information and accumulating knowledge about general mechanisms. In a simple setting with direct supervision on the generative factors, we show how learning class-agnostic transformations offers a way to circumvent catastrophic forgetting and improve classification accuracy over time. Our approach sets the stage for continual learning over hundreds of tasks with explicit control over memorization and forgetting, emphasizing open-set classification and one-shot generalization.


title: CdTe and HgTe doped with V, Cr, and Mn -- prospects for the quantum anomalous Hall effect

abstract: Using first principle calculations we examine properties of (Cd,V)Te, (Cd,Cr)Te, (Hg,V)Te, and (Hg,Cr)Te relevant to the quantum anomalous Hall effect (QAHE), such as the position of V- and Cr- derived energy levels and the exchange interactions between magnetic ions. We consider CdTe and HgTe, containing 12.5% of cation-substitutional V or Cr ions in comparison to the well-known case of (Cd,Mn)Te and (Hg,Mn)Te, and examine their suitability for the fabrication of ferromagnetic barriers or ferromagnetic topological quantum wells, respectively. To account for the strong correlation of transition metal d electrons we employ hybrid functionals with different mixing parameters aHSE focusing on aHSE = 0.32, which better reproduces the experimental band gaps in HgTe, CdTe, Hg0.875Mn0.125Te, and Cd0.875Mn0.125Te. We find that Cr, like Mn, acts as an isoelectronic dopant but V can be an in-gap donor in CdTe and a resonant donor in HgTe, similar to the case of Fe in HgSe. From the magnetic point of view, Cr-doping results in a ferromagnetic phase within the general gradient approximation (GGA) but interactions become antiferromagnetic within hybrid functionals. However, (Hg,V)Te is a ferromagnet within both exchange-correlation functionals in a stark contrast to (Hg,Mn)Te for which robust antiferromagnetic coupling is found theoretically and experimentally. Furthermore, we establish that the Jahn-Teller effect is relevant only in the case of Cr-doping. Considering lower defect concentrations in HgTe-based quantum wells compared to (Bi,Sb)3Te2 layers, our results imply that HgTe quantum wells or (Cd,Hg)Te barriers containing either V or Cr show advantages over (Bi,Sb,Cr,V)3Te2-based QAHE systems but whether (i) ferromagnetic coupling will dominate in the Cr case and (ii) V will not introduce too many electrons to the quantum well is to be checked experimentally


title: SuperServe: Fine-Grained Inference Serving for Unpredictable Workloads

abstract: The increasing deployment of ML models on the critical path of production applications in both datacenter and the edge requires ML inference serving systems to serve these models under unpredictable and bursty request arrival rates. Serving models under such conditions requires these systems to strike a careful balance between the latency and accuracy requirements of the application and the overall efficiency of utilization of scarce resources. State-of-the-art systems resolve this tension by either choosing a static point in the latency-accuracy tradeoff space to serve all requests or load specific models on the critical path of request serving. In this work, we instead resolve this tension by simultaneously serving the entire-range of models spanning the latency-accuracy tradeoff space. Our novel mechanism, SubNetAct, achieves this by carefully inserting specialized operators in weight-shared SuperNetworks. These operators enable SubNetAct to dynamically route requests through the network to meet a latency and accuracy target. SubNetAct requires upto 2.6x lower memory to serve a vastly-higher number of models than prior state-of-the-art. In addition, SubNetAct's near-instantaneous actuation of models unlocks the design space of fine-grained, reactive scheduling policies. We explore the design of one such extremely effective policy, SlackFit and instantiate both SubNetAct and SlackFit in a real system, SuperServe. SuperServe achieves 4.67% higher accuracy for the same SLO attainment and 2.85x higher SLO attainment for the same accuracy on a trace derived from the real-world Microsoft Azure Functions workload and yields the best trade-offs on a wide range of extremely-bursty synthetic traces automatically.


title: Selective Inference for Sparse Graphs via Neighborhood Selection

abstract: Neighborhood selection is a widely used method used for estimating the support set of sparse precision matrices, which helps determine the conditional dependence structure in undirected graphical models. However, reporting only point estimates for the estimated graph can result in poor replicability without accompanying uncertainty estimates. In fields such as psychology, where the lack of replicability is a major concern, there is a growing need for methods that can address this issue. In this paper, we focus on the Gaussian graphical model. We introduce a selective inference method to attach uncertainty estimates to the selected (nonzero) entries of the precision matrix and decide which of the estimated edges must be included in the graph. Our method provides an exact adjustment for the selection of edges, which when multiplied with the Wishart density of the random matrix, results in valid selective inferences. Through the use of externally added randomization variables, our adjustment is easy to compute, requiring us to calculate the probability of a selection event, that is equivalent to a few sign constraints and that decouples across the nodewise regressions. Through simulations and an application to a mobile health trial designed to study mental health, we demonstrate that our selective inference method results in higher power and improved estimation accuracy.


title: Flock: A Low-Cost Streaming Query Engine on FaaS Platforms

abstract: Existing serverless data analytics systems rely on external storage services like S3 for data shuffling and communication between cloud functions. While this approach provides the elasticity benefits of serverless computing, it incurs additional latency and cost overheads. We present Flock, a novel cloud-native streaming query engine that leverages the on-demand scalability of FaaS platforms for real-time data analytics. Flock utilizes function invocation payloads for efficient data exchange, eliminating the need for external storage. This not only reduces latency and cost but also simplifies the architecture by removing the requirement for a centralized coordinator. Flock employs a template-based approach to dynamically create cloud functions for each query stage and a function group mechanism for handling data aggregation and shuffling. It supports both SQL and DataFrame APIs, making it easy to use. Our evaluation shows that Flock provides significant performance gains and cost savings compared to existing serverless and serverful streaming systems. It outperforms Apache Flink by 10-20x in cost while achieving similar latency and throughput.


title: Traversable Wormholes induced by Stress Energy Conservation: combining Casimir Energy with a scalar field

abstract: We investigate possible manifolds characterizing traversable wormholes in the presence of a scalar field, which is minimally coupled to gravity and has both kinetic and potential energy. The feature of traversability requires the violation of the null energy condition, which, in turn, signals the existence of exotic matter with negative energy density. For this reason, we impose a hypothetical Casimir apparatus with plates positioned at a distance either parametrically fixed or radially varying. The main feature of all the derived solutions is the conservation of the Stress Energy Tensor. Such a conservation though requires the introduction of an auxiliary field, which we interpret as a gravitational response of the Traversable Wormhole to the original source. Interestingly, the only case that seems to avoid the necessity for such an auxiliary field, is the one involving a scalar field with a potential, in combination with a Casimir device with fixed plates.


title: HMP: Hand Motion Priors for Pose and Shape Estimation from Video

abstract: Understanding how humans interact with the world necessitates accurate 3D hand pose estimation, a task complicated by the hand's high degree of articulation, frequent occlusions, self-occlusions, and rapid motions. While most existing methods rely on single-image inputs, videos have useful cues to address aforementioned issues. However, existing video-based 3D hand datasets are insufficient for training feedforward models to generalize to in-the-wild scenarios. On the other hand, we have access to large human motion capture datasets which also include hand motions, e.g. AMASS. Therefore, we develop a generative motion prior specific for hands, trained on the AMASS dataset which features diverse and high-quality hand motions. This motion prior is then employed for video-based 3D hand motion estimation following a latent optimization approach. Our integration of a robust motion prior significantly enhances performance, especially in occluded scenarios. It produces stable, temporally consistent results that surpass conventional single-frame methods. We demonstrate our method's efficacy via qualitative and quantitative evaluations on the HO3D and DexYCB datasets, with special emphasis on an occlusion-focused subset of HO3D. Code is available at https://hmp.is.tue.mpg.de


title: Lyapunov-Krasovskii Functionals of Robust Type for the Stability Analysis in Time-Delay Systems

abstract: Inspired by the widespread theory of complete-type Lyapunov-Krasovskii functionals, the article considers an alternative class of Lyapunov-Krasovskii functionals that intends to achieve less conservative robustness bounds. These functionals share the same structure as the functionals of complete type, and also they share to be defined via their derivative along solutions of the nominal system. The defining equation for the derivative, however, is chosen differently: the Lyapunov equation, which forms the template for the defining equation of complete-type Lyapunov-Krasovskii functionals, is replaced by the template of an algebraic Riccati equation. Properties of the proposed Lyapunov-Krasovskii functionals of robust type are proven in the present article. Moreover, existence conditions are derived from the infinite-dimensional Kalman-Yakubovich-Popov lemma, combined with a splitting approach. The concept is tailored to sector-based absolute stability problems, and the obtainable robustness bounds are strongly related to the small-gain theorem, the complex stability radius, passivity theorems, the circle criterion, and integral quadratic constraints with constant multipliers, where, however, the nominal system itself has a time delay.


title: A Bayesian functional PCA model with multilevel partition priors for group studies in neuroscience

abstract: The statistical analysis of group studies in neuroscience is particularly challenging due to the complex spatio-temporal nature of the data, its multiple levels and the inter-individual variability in brain responses. In this respect, traditional ANOVA-based studies and linear mixed effects models typically provide only limited exploration of the dynamic of the group brain activity and variability of the individual responses potentially leading to overly simplistic conclusions and/or missing more intricate patterns. In this study we propose a novel method based on functional Principal Components Analysis and Bayesian model-based clustering to simultaneously assess group effects and individual deviations over the most important temporal features in the data. This method provides a thorough exploration of group differences and individual deviations in neuroscientific group studies without compromising on the spatio-temporal nature of the data. By means of a simulation study we demonstrate that the proposed model returns correct classification in different clustering scenarios under low and high of noise levels in the data. Finally we consider a case study using Electroencephalogram data recorded during an object recognition task where our approach provides new insights into the underlying brain mechanisms generating the data and their variability.


title: Charmonium spectroscopy with optimal distillation profiles

abstract: We use the method of optimal distillation profiles to compute the low-lying charmonium spectrum in an $N_f = 3+1$ ensemble at the $SU(3)$ light flavor symmetric point ($m_{\pi} \approx 420$ MeV), physical charm quark mass and lattice spacing $a\approx 0.0429$ fm. The spectrum and mass splittings display good agreement with their values in nature and the statistical errors are comparable, if not smaller, than those of state-of-the-art lattice calculations. We also present first results on the mixing of charmonium with glueballs and light hadrons obtained in a similar $N_f = 3+1$ ensemble but at larger pion mass.


title: Bin-picking of novel objects through category-agnostic-segmentation: RGB matters

abstract: This paper addresses category-agnostic instance segmentation for robotic manipulation, focusing on segmenting objects independent of their class to enable versatile applications like bin-picking in dynamic environments. Existing methods often lack generalizability and object-specific information, leading to grasp failures. We present a novel approach leveraging object-centric instance segmentation and simulation-based training for effective transfer to real-world scenarios. Notably, our strategy overcomes challenges posed by noisy depth sensors, enhancing the reliability of learning. Our solution accommodates transparent and semi-transparent objects which are historically difficult for depth-based grasping methods. Contributions include domain randomization for successful transfer, our collected dataset for warehouse applications, and an integrated framework for efficient bin-picking. Our trained instance segmentation model achieves state-of-the-art performance over WISDOM public benchmark [1] and also over the custom-created dataset. In a real-world challenging bin-picking setup our bin-picking framework method achieves 98% accuracy for opaque objects and 97% accuracy for non-opaque objects, outperforming the state-of-the-art baselines with a greater margin.


title: Non-uniform hyperbolicity of maps on $\mathbb{T}^2$

abstract: In this paper we prove that the homotopy class of non-homothety linear endomorphisms on $\mathbb{T}^2$ with determinant greater than 2 contains a $C^1$ open set of non-uniformly hyperbolic endomorphisms. Furthermore, we prove that the homotopy class of non-hyperbolic elements (having either $1$ or $-1$ as an eigenvalue) whose degree is large enough contains non-uniformly hyperbolic endomorphisms that are also $C^2$ stably ergodic. These results provide partial answers to certain questions posed in arXiv:2206.08295v2


title: Von Neumann entropy and Lindblad decoherence in the high energy limit of strong interactions

abstract: Quantum properties of the state associated to the gluon Green's function in the BFKL approach are studied using a discretization in virtuality space. Considering the coupling constant as imaginary, its density matrix corresponds to a pure state for any energy. Non-linear corrections due to high gluon densities are modelled through a suppression of infrared modes in the Hamiltonian making it no longer hermitian. This introduces quantum decoherence into the evolution equation. When the coupling is real this leads to unbounded normalization of states which becomes bounded for sufficient saturation of infrared modes. Physical quantum properties, such as a purity smaller than one or a positive von Neumann entropy, hence are recovered when the infrared/ultraviolet original symmetry of the formalism is broken. Similarly to the work of Armesto, Dom{\'\i}nguez, Kovner, Lublinsky and Skokov in arXiv:1901.08080, an evolution equation of Lindblad type for the normalized density matrix describing the open system is obtained.


title: Minimum time generation of a uniform superposition in a qubit with only transverse field control

abstract: We consider a two-level system with a fixed energy spacing (detuning) between the two levels and a single transverse control field which can take values between zero and a maximum amplitude. Using Pontryagin's maximum principle, we completely solve the problem of generating in minimum time a uniform superposition of the two quantum states when starting from one of them, for all the values of the ratio between the maximum control amplitude and the detuning. For each value of this ratio we find the optimal pulse sequence to have the bang-bang form, and calculate the durations of the pulses composing it. The suggested framework is not only restricted to the problem at hand, but it can be also exploited in the problem of fast charging a quantum battery based on a two-level system, as well as for the optimization of pulse-sequences used for the controlled preparation of the excited state in a quantum emitter, which is a prerequisite for its usage as a single-photon source.


title: Optimization of dd110 neutron generator output for boron neutron capture therapy

abstract: Boron neutron capture therapy is about a century old, but still current and active. In this treatment, a high absorption cross-section of boron is used for thermal neutrons and the excited state is decomposed into alpha and lithium ions. These daughter particles have a high LET value and transfer their energy to the surrounding cells. In this work, the neutron generator DD-110 is the neutron source of the treatment mode. Since the neutron generator produces fast neutrons, these must be thermalized to the energy range of the epithermal neutrons. The beam shaping assembly is used for this purpose. The effectiveness of the system is analyzed using in-air and in-phantom parameters. The system provides an acceptable ratio of thermal to epithermal flux, gamma dose to epithermal flux and beam collimation. However, the epithermal flux and the ratio of fast neutron dose to epithermal flux need to be further improved. This can be achieved by improving the performance of the neutron generator to 2E13 n/sec. The entire system is modeled and simulated with the MCNPX code.


title: Photonic crystal cavity IQ modulators in thin-film lithium niobate for coherent communications

abstract: Thin-Film Lithium Niobate (TFLN) is an emerging integrated photonic platform showing great promise due to its large second-order nonlinearity at microwave and optical frequencies, cryogenic compatibility, large piezoelectric response, and low optical loss at visible and near-infrared wavelengths. These properties enabled Mach-Zehnder interferometer-based devices to demonstrate amplitude- and in-phase/quadrature (IQ) modulation at voltage levels compatible with complementary metal-oxide-semiconductor (CMOS) electronics. Maintaining low-voltage operation requires centimeter-scale device lengths, making it challenging to realize the large-scale circuits required by ever-increasing bandwidth demands in data communications. Reduced device sizes reaching the 10 um scale are possible with photonic crystal (PhC) cavities. So far, their operation has been limited to modulation of amplitudes and required circulators or lacked cascadability. Here, we demonstrate a compact IQ modulator using two PhC cavities operating as phase shifters in a Fabry-Perot-enhanced Michelson interferometer configuration. It supports cascadable amplitude and phase modulation at GHz bandwidths with CMOS-compatible voltages. While the bandwidth limitation of resonant devices is often considered detrimental, their compactness enables dense co-integration with CMOS electronics where clock-rate-level operation (few GHz) removes power-hungry electrical time-multiplexing. Recent demonstrations of chip-scale transceivers with dense-wavelength division multiplied transceivers could be monolithically implemented and driven toward ultimate information densities using TFLN electro-optic frequency combs and our PhC IQ modulators.


title: Universal topological quantum computing via double-braiding in SU(2) Witten-Chern-Simons theory

abstract: We study the problem of universality in the anyon model described by the $SU(2)$ Witten-Chern-Simons theory at level $k$. A classic theorem of Freedman-Larsen-Wang states that for $k \geq 3, \ k \neq 4$, braiding of the anyons of topological charge $1/2$ is universal for topological quantum computing. For the case of one qubit, we prove a stronger result that double-braiding of such anyons alone is already universal.


title: Correlated Quantum Phenomena of Spin-Orbit Coupled Perovskite Oxide Heterostructures: Cases of SrRuO3 and SrIrO3-Based Artificial Superlattices

abstract: Unexpected, yet useful functionalities emerge when two or more materials merge coherently. Artificial oxide superlattices realize atomic and crystal structures that are not available in nature, thus providing controllable correlated quantum phenomena. This review focuses on 4d and 5d oxide superlattices, in which the spin-orbit coupling plays a significant role compared with conventional 3d oxide superlattices. Modulations in crystal structures with octahedral distortion, phonon engineering, electronic structures, spin orderings, and dimensionality control are discussed for 4d oxide superlattices. Atomic and magnetic structures, Jeff = 1/2 pseudospin and charge fluctuations, and the integration of topology and correlation are discussed for 5d oxide superlattices. This review provides insights into how correlated quantum phenomena arise from the deliberate design of superlattice structures that give birth to novel functionalities.


title: Stanley decompositions of modules of covariants

abstract: For a complex reductive group $H$ with finite-dimensional representations $W$ and $U$, the module of covariants for $W$ of type $U$ is the space of all $H$-equivariant polynomial functions $W \longrightarrow U$. In this paper, we take $H$ to be one of the classical groups $\operatorname{GL}(V)$, $\operatorname{Sp}(V)$, or $\operatorname{O}(V)$ arising in Howe's dual pair setting, where $W$ is a direct sum of copies of $V$ and $V^*$. Our main result is a uniform combinatorial model for Stanley decompositions of the modules of covariants, using visualizations that we call jellyfish. Our decompositions allow us to interpret the Hilbert series as a positive combination of rational expressions which have concrete combinatorial interpretations in terms of lattice paths; significantly, this interpretation does not depend on the Cohen-Macaulay property. As a corollary, we recover a major result of Nishiyama-Ochiai-Taniguchi (2001) regarding the Bernstein degree of unitary highest weight $(\mathfrak{g},K)$-modules. We also extend our methods to compute the Hilbert series of the invariant rings for the groups $\operatorname{SL}(V)$ and $\operatorname{SO}(V)$, as well as the Wallach representations of type ADE.


title: Bayesian Sensor Placement for Multi-source Localization of Pathogens in Wastewater Networks

abstract: Wastewater monitoring is an effective approach for the early detection of viral and bacterial disease outbreaks. It has recently been used to identify the presence of individuals infected with COVID-19. To monitor large communities and accurately localize buildings with infected individuals with a limited number of sensors, one must carefully choose the sampling locations in wastewater networks. We also have to account for concentration requirements on the collected wastewater samples to ensure reliable virus presence test results. We model this as a sensor placement problem. Although sensor placement for source localization arises in numerous problems, most approaches use application-specific heuristics and fail to consider multiple source scenarios. To address these limitations, we develop a novel approach that combines Bayesian networks and discrete optimization to efficiently identify informative sensor placements and accurately localize virus sources. Our approach also takes into account concentration requirements on wastewater samples during optimization. Our simulation experiments demonstrate the quality of our sensor placements and the accuracy of our source localization approach. Furthermore, we show the robustness of our approach to discrepancies between the virus outbreak model and the actual outbreak rates.


title: Interior analysis, stretched technique and bubbling geometries

abstract: We perform a detailed analysis of quarter BPS bubbling geometries with AdS asymptotics and their corresponding duality relations with their dual states in the quantum field theory side, among other aspects. We derive generalized Laplace-type equations with sources, obtained from linearized Monge-Ampere equations, and used for asymptotically AdS geometry. This enables us to obtain solutions specific to the asymptotically AdS context. We conduct a thorough analysis of boundary conditions and explore the stretched technique where boundary conditions are imposed on a stretched surface. These boundary conditions include grey droplets. This stretched technique is naturally used for the superstar, where we place grey droplet boundary conditions on the stretched surface. We also perform a coarse-graining of configurations and analyze the symplectic forms on the configuration space and their coarse-graining.


title: Relationships Between Necessary Conditions for Feedback Stabilizability

abstract: The author's extensions of Brockett's and Coron's necessary conditions for stabilizability are shown to be independent in the fiber bundle picture of control, but the latter is shown to be stronger in the vector bundle picture if the state space is orientable and the Cech-Euler characteristic of the set to be stabilized is nonzero.


title: $e^+ e^- \to \Lambda^+_c \bar{\Lambda}^-_c$ cross sections and the $\Lambda_c^+$ electromagnetic form factors within the extended vector meson dominance model

abstract: Within the extended vector meson dominance model, we investigate the $e^+ e^- \to \Lambda^+_c \bar{\Lambda}^-_c$ reaction and the electromagnetic form factors of the charmed baryon $\Lambda_c^+$. The model parameters are determined by fitting them to the cross sections of the process $e^+e^-\rightarrow \Lambda_c^+ \bar{\Lambda}_c^-$ and the magnetic form factor $|G_M|$ of $\Lambda^+_c$. By considering four charmoniumlike states, called $\psi(4500)$, $\psi(4660)$, $\psi(4790)$, and $\psi(4900)$, we can well describe the current data on the $e^+ e^- \to \Lambda^+_c \bar{\Lambda}^-_c$ reaction from the reaction threshold up to $4.96 \ \mathrm{GeV}$. In addition to the total cross sections and $|G_M|$, the ratio $|G_E/G_M|$ and effective form factor $|G_{\mathrm{eff}}|$ for $\Lambda^+_c$ are also calculated, and found that these calculations are consistent with the experimental data. Within the fitted model parameters, we have also estimated the charge radius of the charmed $\Lambda_c^+$ baryon.


title: Local finiteness in varieties of MS4-algebras

abstract: It is a classic result of Segerberg and Maksimova that a variety of $\mathsf{S4}$-algebras is locally finite iff it is of finite depth. Since the logic $\mathsf{MS4}$ (monadic $\mathsf{S4}$) axiomatizes the one-variable fragment of $\mathsf{QS4}$ (predicate $\mathsf{S4}$), it is natural to try to generalize the Segerberg--Maksimova theorem to this setting. We obtain several results in this direction. Our positive results include the identification of the largest semisimple variety of $\mathsf{MS4}$-algebras. We prove that the corresponding logic $\mathsf{MS4_S}$ has the finite model property. We show that both $\mathsf{S5}^2$ and $\mathsf{S4}_u$ are proper extensions of $\mathsf{MS4_S}$, and that a direct generalization of the Segerberg--Maksimova theorem holds for a family of varieties containing $\mathsf{S4}_u$. Our negative results include a translation of varieties of $\mathsf{S5}_2$-algebras into varieties of $\mathsf{MS4_S}$-algebras of depth 2, which preserves and reflects local finiteness. This, in particular, shows that the problem of characterizing locally finite varieties of $\mathsf{MS4}$-algebras (even of $\mathsf{MS4_S}$-algebras) is at least as hard as that of characterizing locally finite varieties of $\mathsf{S5}_2$-algebras -- a problem that remains wide open.


title: Graph Neural Networks for Antisocial Behavior Detection on Twitter

abstract: Social media resurgence of antisocial behavior has exerted a downward spiral on stereotypical beliefs, and hateful comments towards individuals and social groups, as well as false or distorted news. The advances in graph neural networks employed on massive quantities of graph-structured data raise high hopes for the future of mediating communication on social media platforms. An approach based on graph convolutional data was employed to better capture the dependencies between the heterogeneous types of data. Utilizing past and present experiences on the topic, we proposed and evaluated a graph-based approach for antisocial behavior detection, with general applicability that is both language- and context-independent. In this research, we carried out an experimental validation of our graph-based approach on several PAN datasets provided as part of their shared tasks, that enable the discussion of the results obtained by the proposed solution.


title: On Chernoff Lower-Bound of Outage Threshold for Non-Central $\chi^2$-Distributed Beamforming Gain in URLLC Systems

abstract: The cumulative distribution function (CDF) of a non-central $\chi^2$-distributed random variable (RV) is often used when measuring the outage probability of communication systems. For ultra-reliable low-latency communication (URLLC), it is important but mathematically challenging to determine the outage threshold for an extremely small outage target. This motivates us to investigate lower bounds of the outage threshold, and it is found that the one derived from the Chernoff inequality (named Cher-LB) is the most effective lower bound. This finding is associated with three rigorously established properties of the Cher-LB with respect to the mean, variance, reliability requirement, and degrees of freedom of the non-central $\chi^2$-distributed RV. The Cher-LB is then employed to predict the beamforming gain in URLLC for both conventional multi-antenna systems (i.e., MIMO) under first-order Markov time-varying channel and reconfigurable intellgent surface (RIS) systems. It is exhibited that, with the proposed Cher-LB, the pessimistic prediction of the beamforming gain is made sufficiently accurate for guaranteed reliability as well as the transmit-energy efficiency.


title: Collective octahedral tilting in ultrathin Ruddlesden-Popper perovskite under terahertz light

abstract: Perovskites have been applied in a wide range of fields such as solar cells and non-volatile memories due to their multiferroic nature and excellent photo-electric conversion capabilities. Recently, two-dimensional (2D) perovskites with a few atomic layers have been successfully synthesized, attracting significant attention for potential applications. In this work, we perform first-principles calculations to investigate an ultrathin prototypical Ruddlesden-Popper phase, $\mathrm{Bi}_2\mathrm{FeO}_4$, with its thickness down to one unit cell. We show that this compound could exist in two (meta-)stable octahedral tilting phases, belonging to $P2_1/c$ and $C2/m$ space groups, respectively. Using the optomechanical theory, we suggest that reversible and non-volatile phase switching can be triggered using non-destructive terahertz light. In addition, the two phases show distinct optical reflectance spectrum in the visible light range, which can be used as an optical probe for phase transformation. This enables both "write" and "read" in an all-optical route.


title: Anisotropic Flow of Identified Particles in Au + Au Collisions at $\sqrt{s_{NN}}$ = 3-3.9 GeV at RHIC

abstract: In these proceedings, we present transverse momentum dependence of the mid-rapidity slope of directed flow ($dv_1/dy|_{y=0}$) for $\pi^+$ and $K_S^0$ in Au + Au collisions at $\sqrt{s_{NN}}$ = 3.0, 3.2, 3.5, and 3.9 GeV. Both $\pi^+$ and $K_S^0$ show negative $v_1$ slope at low $p_T$ ($p_T < 0.6$ GeV/$c$). Collision energy dependence of $v_1$ slope and $p_T$-integrated $v_2$ for $\pi^{\pm}$, $K_S^0$, and $\Lambda$ are also presented. A comparison to JAM model calculations indicates that spectator shadowing can lead to anti-flow at low $p_T$. In addition, a breaking of the Number of Constitute Quark (NCQ) scaling of elliptic flow ($v_2$) is observed at $\sqrt{s_{NN}}$ = 3.2 GeV, which implies the dominance of hadronic degrees of freedom occurs in collisions at $\sqrt{s_{NN}}$ = 3.2 GeV and below.


title: Memristive behavior of functionalized graphene quantum dot and polyaniline nanocomposites

abstract: Zero-dimensional graphene quantum dots (GQD) dispersed in conducting polymer matrix display a striking range of optical, mechanical, and thermoelectric properties which can be utilized to design next-generation sensors and low-cost thermoelectric. This exotic electrical property in GQDs is achieved by exploiting the concentration of the GQDs and by tailoring the functionalization of the GQDs. However, despite extensive investigation, the nonlinear resistivity behavior leading to memristive like characteristic has not been explored much. Here, we report electrical characterisation of nitrogen functionalized GQD (NGQD) embedded in a polyaniline (PANI) matrix. We observe a strong dependence of the resistance on current and voltage history, the magnitude of which depends on the NGQD concentration and temperature. We explain this memristive property using a phenomenological model of the alignment of PANI rods with a corresponding charge accumulation arising from the NGQD on its surface. The NGQD-PANI system is unique in its ability to matrix offers a unique pathway to design neuromorphic logic and synaptic architectures with crucial advantages over existing systems.


title: The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results

abstract: This report summarizes the 4th International Verification of Neural Networks Competition (VNN-COMP 2023), held as a part of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS), that was collocated with the 35th International Conference on Computer-Aided Verification (CAV). VNN-COMP is held annually to facilitate the fair and objective comparison of state-of-the-art neural network verification tools, encourage the standardization of tool interfaces, and bring together the neural network verification community. To this end, standardized formats for networks (ONNX) and specification (VNN-LIB) were defined, tools were evaluated on equal-cost hardware (using an automatic evaluation pipeline based on AWS instances), and tool parameters were chosen by the participants before the final test sets were made public. In the 2023 iteration, 7 teams participated on a diverse set of 10 scored and 4 unscored benchmarks. This report summarizes the rules, benchmarks, participating tools, results, and lessons learned from this iteration of this competition.


title: Strong four-phonon processes on thermal conductivity of two-dimensional materials in the low-temperature region

abstract: First principles-based predictions of lattice thermal conductivity (TC) from perturbation theory have achieved significant success. In general, it only includes three-phonon (3ph) scattering. However, recent studies have revealed that four-phonon (4ph) scattering, treated under single-mode relaxation time approximation (RTA), has a comparable impact to 3ph scattering at medium and high temperatures in various materials, particularly in two-dimensional (2D) materials. Nonetheless, the influence of 4ph scattering on TC at low temperatures has not been explored so far, owing to the assumption that 4ph processes are generally insignificant at low temperatures. By combining the first-principles calculations, machine learning techniques, Boltzmann transport equation (BTE), and molecular dynamics (MD) simulations, we find that there are unusually strong 4ph processes in the low-frequency range of 2D materials such as h-XN (X=B, Al, Ga), which have remarkable influence on the low-temperature TC. We also find that the strong 4ph processes are originated from the flexural out-of-plane acoustic (ZA) phonon mode of 2D materials. We further discover the remarkable normal (N) processes of 4ph scattering in 2D materials, which make the conventionally adopted perturbation methods for TC calculation far from sufficient at low temperatures. Finally, we find that the intensity of 4ph scattering and thus TC can be effectively manipulated by changing the dispersion of ZA phonon mode, which can be easily achieved through strain engineering. Our study provides new insights into low-temperature phonon transport and its manipulation in 2D materials.


title: Backstepping Neural Operators for $2\times 2$ Hyperbolic PDEs

abstract: Deep neural network approximation of nonlinear operators, commonly referred to as DeepONet, has proven capable of approximating PDE backstepping designs in which a single Goursat-form PDE governs a single feedback gain function. In boundary control of coupled PDEs, coupled Goursat-form PDEs govern two or more gain kernels -- a PDE structure unaddressed thus far with DeepONet. In this note, we open the subject of approximating systems of gain kernel PDEs for hyperbolic PDE plants by considering a simple counter-convecting $2\times 2$ coupled system in whose control a $2\times 2$ kernel PDE systems in Goursat form arises. Applications include oil drilling, Saint-Venant model of shallow water waves, and Aw-Rascle-Zhang model of stop-and-go instability in congested traffic flow. In this paper we establish the continuity of the mapping from (a total of five) plant PDE functional coefficients to the kernel PDE solutions, prove the existence of an arbitrarily close DeepONet approximation to the kernel PDEs, and establish that the DeepONet-approximated gains guarantee stabilization when replacing the exact backstepping gain kernels. Taking into account anti-collocated boundary actuation and sensing, our $L^2$\emph{-Globally-exponentially} stabilizing (GES) approximate gain kernel-based output feedback design implies the deep learning of both the controller's and the observer's gains. Moreover, the encoding of the output-feedback law into DeepONet ensures \emph{semi-global practical exponential stability (SG-PES).} The DeepONet operator speeds up the computation of the controller gains by multiple orders of magnitude. Its theoretically proven stabilizing capability is demonstrated through simulations.


title: Uncertainty Quantification in Machine Learning for Joint Speaker Diarization and Identification

abstract: This paper studies modulation spectrum features ($\Phi$) and mel-frequency cepstral coefficients ($\Psi$) in joint speaker diarization and identification (JSID). JSID is important as speaker diarization on its own to distinguish speakers is insufficient for many applications, it is often necessary to identify speakers as well. Machine learning models are set up using convolutional neural networks (CNNs) on $\Phi$ and recurrent neural networks $\unicode{x2013}$ long short-term memory (LSTMs) on $\Psi$, then concatenating into fully connected layers. Experiment 1 shows models on both $\Phi$ and $\Psi$ have better diarization error rates (DERs) than models on either alone; a CNN on $\Phi$ has DER 29.09\%, compared to 27.78\% for a LSTM on $\Psi$ and 19.44\% for a model on both. Experiment 1 also investigates aleatoric uncertainties and shows the model on both $\Phi$ and $\Psi$ has mean entropy 0.927~bits (out of 4~bits) for correct predictions compared to 1.896~bits for incorrect predictions which, along with entropy histogram shapes, shows the model helpfully indicates where it is uncertain. Experiment 2 investigates epistemic uncertainties as well as aleatoric using Monte Carlo dropout (MCD). It compares models on both $\Phi$ and $\Psi$ with models trained on x-vectors ($X$), before applying Kalman filter smoothing on epistemic uncertainties for resegmentation and model ensembles. While the two models on $X$ (DERs 10.23\% and 9.74\%) outperform those on $\Phi$ and $\Psi$ (DER 17.85\%) after their individual Kalman filter smoothing, combining them using a Kalman filter smoothing method improves the DER to 9.29\%. Aleatoric uncertainties are higher for incorrect predictions. Both Experiments show models on $\Phi$ do not distinguish overlapping speakers as well as anticipated. However, Experiment 2 shows model ensembles do better with overlapping speakers than individual models do.


title: Dynamical scalarization in Schwarzschild binary inspirals

abstract: We show that Schwarzschild black hole binaries can undergo dynamical scalarization (DS) in the inspiral phase, in a subclass of $\mathbb{Z}_2$-symmetric Einstein-scalar-Gauss-Bonnet (ESGB) theories of gravity. The mechanism is analogous to neutron star DS in scalar-tensor gravity, and it differs from the late merger and ringdown black hole (de)scalarization found in recent ESGB studies. To our knowledge, the new parameter space we highlight was unexplored in numerical relativity simulations. We also estimate the orbital separation at the DS onset, and characterize the subsequent scalar hair growth at the adiabatic approximation.


title: Approximation algorithms for noncommutative constraint satisfaction problems

abstract: We study operator - or noncommutative - variants of constraint satisfaction problems (CSPs). These higher-dimensional variants are a core topic of investigation in quantum information, where they arise as nonlocal games and entangled multiprover interactive proof systems (MIP*). The idea of higher-dimensional relaxations of CSPs is also important in the classical literature. For example since the celebrated work of Goemans and Williamson on Max-Cut, higher dimensional vector relaxations have been central in the design of approximation algorithms for classical CSPs. We introduce a framework for designing approximation algorithms for noncommutative CSPs. Prior to this work Max-$2$-Lin$(k)$ was the only family of noncommutative CSPs known to be efficiently solvable. This work is the first to establish approximation ratios for a broader class of noncommutative CSPs. In the study of classical CSPs, $k$-ary decision variables are often represented by $k$-th roots of unity, which generalise to the noncommutative setting as order-$k$ unitary operators. In our framework, using representation theory, we develop a way of constructing unitary solutions from SDP relaxations, extending the pioneering work of Tsirelson on XOR games. Then, we introduce a novel rounding scheme to transform these solutions to order-$k$ unitaries. Our main technical innovation here is a theorem guaranteeing that, for any set of unitary operators, there exists a set of order-$k$ unitaries that closely mimics it. As an integral part of the rounding scheme, we prove a random matrix theory result that characterises the distribution of the relative angles between eigenvalues of random unitaries using tools from free probability.


title: Jordan algebras and weight modules

abstract: We consider bounded weight modules for the universal central extension ${\mathfrak{sl}}_2(J)$ of the Tits-Kantor-Koecher algebra of a unital Jordan algebra $J$. Universal objects called Weyl modules are introduced and studied, and a combinatorial dominance criterion is given for analogues of highest weights. Specializing $J$ to the free Jordan algebra $J(r)$ of rank $r$, the category $\mathcal{C}^{fin}$ of finite-dimensional $\mathbb{Z}$-graded ${\mathfrak{sl}}_2(J)$-modules shares many properties with the representation theory of algebraic groups. Using a deep result of Zelmanov, we show that this subcategory admits Weyl modules. By analogy, we conjecture that $\mathcal{C}^{fin}$ is a highest weight category. The resulting homological properties would then imply cohomological vanishing results previously conjectured as a way of determining graded dimensions of free Jordan algebras.


title: Adaptive Anytime Multi-Agent Path Finding Using Bandit-Based Large Neighborhood Search

abstract: Anytime multi-agent path finding (MAPF) is a promising approach to scalable path optimization in large-scale multi-agent systems. State-of-the-art anytime MAPF is based on Large Neighborhood Search (LNS), where a fast initial solution is iteratively optimized by destroying and repairing a fixed number of parts, i.e., the neighborhood, of the solution, using randomized destroy heuristics and prioritized planning. Despite their recent success in various MAPF instances, current LNS-based approaches lack exploration and flexibility due to greedy optimization with a fixed neighborhood size which can lead to low quality solutions in general. So far, these limitations have been addressed with extensive prior effort in tuning or offline machine learning beyond actual planning. In this paper, we focus on online learning in LNS and propose Bandit-based Adaptive LArge Neighborhood search Combined with Exploration (BALANCE). BALANCE uses a bi-level multi-armed bandit scheme to adapt the selection of destroy heuristics and neighborhood sizes on the fly during search. We evaluate BALANCE on multiple maps from the MAPF benchmark set and empirically demonstrate cost improvements of at least 50% compared to state-of-the-art anytime MAPF in large-scale scenarios. We find that Thompson Sampling performs particularly well compared to alternative multi-armed bandit algorithms.


title: Reconfigurable Intelligent Surface Deployment for Wideband Millimeter Wave Systems

abstract: The performance of wireless communication systems is fundamentally constrained by random and uncontrollable wireless channels. Recently, reconfigurable intelligent surfaces (RIS) has emerged as a promising solution to enhance wireless network performance by smartly reconfiguring the radio propagation environment. While significant research has been conducted on RIS-assisted wireless systems, this paper focuses specifically on the deployment of RIS in a wideband millimeter wave (mmWave) multiple-input-multiple-output (MIMO) system to achieve maximum sum-rate. First, we derive the average user rate as well as the lower bound rate when the covariance of the channel follows the Wishart distribution. Based on the lower bound of users' rate, we propose a heuristic method that transforms the problem of optimizing the RIS's orientation into maximizing the number of users served by the RIS. Simulation results show that the proposed RIS deployment strategy can effectively improve the sum-rate. Furthermore, the performance of the proposed RIS deployment algorithm is only approximately 7.6\% lower on average than that of the exhaustive search algorithm.


title: Estimation and Inference for High-dimensional Multi-response Growth Curve Model

abstract: A growth curve model (GCM) aims to characterize how an outcome variable evolves, develops and grows as a function of time, along with other predictors. It provides a particularly useful framework to model growth trend in longitudinal data. However, the estimation and inference of GCM with a large number of response variables faces numerous challenges, and remains underdeveloped. In this article, we study the high-dimensional multivariate-response linear GCM, and develop the corresponding estimation and inference procedures. Our proposal is far from a straightforward extension, and involves several innovative components. Specifically, we introduce a Kronecker product structure, which allows us to effectively decompose a very large covariance matrix, and to pool the correlated samples to improve the estimation accuracy. We devise a highly non-trivial multi-step estimation approach to estimate the individual covariance components separately and effectively. We also develop rigorous statistical inference procedures to test both the global effects and the individual effects, and establish the size and power properties, as well as the proper false discovery control. We demonstrate the effectiveness of the new method through both intensive simulations, and the analysis of a longitudinal neuroimaging data for Alzheimer's disease.


title: The long-term spin-down trend of ultra-luminous X-ray pulsar M82 X-2

abstract: The discovery in 2014 of the pulsation from the ultra-luminous X-ray source (ULX) M82 X-2 in 2014 has changed our view of ULXs. Because of the relatively short baseline over which pulsations have been detected so far, M82 X-2's spin state had been assumed to be in an equilibrium state. Using \cha and \xmm archive data, we are able to investigate the pulsation of M82 X-2 back to 2005 and 2001. The newly determined spin frequencies clearly show a long-term spin-down trend. If this trend is caused by magnetic threading, we infer a dipolar magnetic field of $\sim1.2\times10^{13}$ G and that a mild beaming factor ($\sim4$) is needed to match the braking torque with the mass accretion torque. On the other hand, there are \nus observations showing instantaneous spin-down behaviours, which might favour a variable prograde/retrograde flow scenario for M82 X-2.


title: Scale-Aware Crowd Count Network with Annotation Error Correction

abstract: Traditional crowd counting networks suffer from information loss when feature maps are downsized through pooling layers, leading to inaccuracies in counting crowds at a distance. Existing methods often assume correct annotations during training, disregarding the impact of noisy annotations, especially in crowded scenes. Furthermore, the use of a fixed Gaussian kernel fails to account for the varying pixel distribution with respect to the camera distance. To overcome these challenges, we propose a Scale-Aware Crowd Counting Network (SACC-Net) that introduces a ``scale-aware'' architecture with error-correcting capabilities of noisy annotations. For the first time, we {\bf simultaneously} model labeling errors (mean) and scale variations (variance) by spatially-varying Gaussian distributions to produce fine-grained heat maps for crowd counting. Furthermore, the proposed adaptive Gaussian kernel variance enables the model to learn dynamically with a low-rank approximation, leading to improved convergence efficiency with comparable accuracy. The performance of SACC-Net is extensively evaluated on four public datasets: UCF-QNRF, UCF CC 50, NWPU, and ShanghaiTech A-B. Experimental results demonstrate that SACC-Net outperforms all state-of-the-art methods, validating its effectiveness in achieving superior crowd counting accuracy.


title: Unsupversied feature correlation model to predict breast abnormal variation maps in longitudinal mammograms

abstract: Breast cancer continues to be a significant cause of mortality among women globally. Timely identification and precise diagnosis of breast abnormalities are critical for enhancing patient prognosis. In this study, we focus on improving the early detection and accurate diagnosis of breast abnormalities, which is crucial for improving patient outcomes and reducing the mortality rate of breast cancer. To address the limitations of traditional screening methods, a novel unsupervised feature correlation network was developed to predict maps indicating breast abnormal variations using longitudinal 2D mammograms. The proposed model utilizes the reconstruction process of current year and prior year mammograms to extract tissue from different areas and analyze the differences between them to identify abnormal variations that may indicate the presence of cancer. The model is equipped with a feature correlation module, an attention suppression gate, and a breast abnormality detection module that work together to improve the accuracy of the prediction. The proposed model not only provides breast abnormal variation maps, but also distinguishes between normal and cancer mammograms, making it more advanced compared to the state-of the-art baseline models. The results of the study show that the proposed model outperforms the baseline models in terms of Accuracy, Sensitivity, Specificity, Dice score, and cancer detection rate.


title: Multiplicity results for bound state solutions of a semilinear equation

abstract: We consider the problem of multiplicity and uniqueness of radial solutions of a nonlinear elliptic equation of the form \begin{eqnarray*} \begin{gathered} \Delta u +f(u)=0,\quad x\in \mathbb{R}^N, N\geq 2, \lim\limits_{|x|\to\infty}u(x)=0. \end{gathered} \end{eqnarray*} where $f$ is a prescribed function, satisfying appropriate conditions. This paper is a review of recent developments on the multiplicity of solutions, with a special emphasis on the effect of the mid-range behavior of the nonlinearity $f$ over the existence and multiplicity of solutions.


title: The quantum beam splitter with many partially indistinguishable photons: multiphotonic interference and asymptotic classical correspondence

abstract: We present the asymptotic analysis of the quantum two-port interferometer in the $n \rightarrow \infty$ limit of $n$ partially indistinguishable photons. Using the unitary-unitary duality between port and inner-mode degrees of freedom, the probability distribution of output port counts can be decomposed as a sum of contributions from independent channels, each associated to a spin-$j$ representation of $SU(2)$ and, in this context, to $2 j$ effectively indistinguishable photons in the channel. Our main result is that the asymptotic output distribution is dominated by the $O(\sqrt{n})$ channels around a certain $j^*$ that depends on the degree of indistinguishability. The asymptotic form is essentially the doubly-humped semi-classical envelope of the distribution that would arise from $2 j^*$ indistinguishable photons, and which reproduces the corresponding classical intensity distribution.


title: Error bounds, PL condition, and quadratic growth for weakly convex functions, and linear convergences of proximal point methods

abstract: Many machine learning problems lack strong convexity properties. Fortunately, recent studies have revealed that first-order algorithms also enjoy linear convergences under various weaker regularity conditions. While the relationship among different conditions for convex and smooth functions is well understood, it is not the case for the nonsmooth setting. In this paper, we go beyond convexity and smoothness, and clarify the connections among common regularity conditions (including $\textit{strong convexity, restricted secant inequality, subdifferential error bound, Polyak-{\L}ojasiewicz inequality, and quadratic growth}$) in the class of weakly convex functions. In addition, we present a simple and modular proof for the linear convergence of the $\textit{proximal point method}$ (PPM) for convex (possibly nonsmooth) optimization using these regularity conditions. The linear convergence also holds when the subproblems of PPM are solved inexactly with a proper control of inexactness.


title: Crystals for set-valued decomposition tableaux

abstract: We describe two crystal structures on set-valued decomposition tableaux. These provide the first examples of interesting "$K$-theoretic" crystals on shifted tableaux. Our first crystal is modeled on a similar construction of Monical, Pechenik, and Scrimshaw for semistandard (unshifted) set-valued tableaux. Our second crystal is adapted from the "square root" operators introduced by Yu on the same set. Neither of our shifted crystals is normal, but we conjecture that our second construction is connected with a unique highest weight element. These results lead to partial progress on a conjectural formula of Cho--Ikeda for $K$-theoretic Schur $P$-functions. We also study a new category of "square root crystals" that includes our second construction and Yu's set-valued tableau crystals as examples. We observe that Buch's formula for the coefficients expanding products of symmetric Grothendieck functions has a simple description in terms of the tensor product for this category.


title: Multiphoton fusion of light nuclei in intense laser fields

abstract: We investigate the fusion cross sections of light nuclei in the presence of linearly polarized intense laser fields. By combining the Coulomb-Volkov solutions with the complex spherical square-well nuclear potential, we derive an explicit formulation of the multiphoton cross section in a self-consistent manner. Our analysis is specifically focused on deuteron-triton (DT) and proton-boron (p$^{11}{\rm B}$) fusion reactions, both of which have garnered widespread attention. The theoretical results reveal that, under conditions of longer laser wavelengths and lower incident particle kinetic energies, a few thousands of photons can participate in the fusion reactions, resulting in a substantial enhancement of fusion cross sections by almost ten orders of magnitude. We elucidate the multiphoton mechanism underlying these findings and discuss their implications.


title: Adversarial Representation with Intra-Modal and Inter-Modal Graph Contrastive Learning for Multimodal Emotion Recognition

abstract: With the release of increasing open-source emotion recognition datasets on social media platforms and the rapid development of computing resources, multimodal emotion recognition tasks (MER) have begun to receive widespread research attention. The MER task extracts and fuses complementary semantic information from different modalities, which can classify the speaker's emotions. However, the existing feature fusion methods have usually mapped the features of different modalities into the same feature space for information fusion, which can not eliminate the heterogeneity between different modalities. Therefore, it is challenging to make the subsequent emotion class boundary learning. To tackle the above problems, we have proposed a novel Adversarial Representation with Intra-Modal and Inter-Modal Graph Contrastive for Multimodal Emotion Recognition (AR-IIGCN) method. Firstly, we input video, audio, and text features into a multi-layer perceptron (MLP) to map them into separate feature spaces. Secondly, we build a generator and a discriminator for the three modal features through adversarial representation, which can achieve information interaction between modalities and eliminate heterogeneity among modalities. Thirdly, we introduce contrastive graph representation learning to capture intra-modal and inter-modal complementary semantic information and learn intra-class and inter-class boundary information of emotion categories. Specifically, we construct a graph structure for three modal features and perform contrastive representation learning on nodes with different emotions in the same modality and the same emotion in different modalities, which can improve the feature representation ability of nodes. Extensive experimental works show that the ARL-IIGCN method can significantly improve emotion recognition accuracy on IEMOCAP and MELD datasets.


title: A new approach to the study of elliptic semilinear equations

abstract: In this paper we define a new operator $J$ for the study of $$ \Delta u +f(u)=0,\quad x\in R ^N, N> 2. $$ Using $J$ we can easily see some qualitative properties of the solutions, for example we can determine how many times $u$ changes sign, which are the values of the local maxima and minima, and where $u$ changes concavity. We also use this functional to construct nonlinearities $f$ such that this problem has at least two bound state solutions that change sign $j$ times, for $j=1,\dots,k-1$. And another $f$ such that this problem has a unique ground state solution, and at least two bound state solutions that change sign one time.


title: A weighted Reilly formula for differential forms and sharp Steklov eigenvalue estimates

abstract: First we establish a weighted Reilly formula for differential forms on a smooth compact oriented Riemannian manifold with boundary. Then we give two applications of this formula when the manifold satisfies certain geometric conditions. One is a sharp lower bound for the first positive eigenvalue of the Steklov eigenvalue problem on differential forms investigated by Belishev and Sharafutdinov (2008) and Karpukhin (2019). The other one is a comparison result between the spectrum of this Steklov eigenvalue problem and the spectrum of the Hodge Laplacian on the boundary of the manifold. Besides, at the end we discuss an open problem for differential forms analogous to Escobar's conjecture (1999) for functions.


title: Study of Adaptive LLR-based AP selection for Grant-Free Random Access in Cell-Free Networks

abstract: This paper presents an iterative detection and decoding scheme along with an adaptive strategy to improve the selection of access points (APs) in a grant-free uplink cell-free scenario. With the requirement for the APs to have low-computational power in mind, we introduce a low-complexity scheme for local activity and data detection. At the central processing unit (CPU) level, we propose an adaptive technique based on local log-likelihood ratios (LLRs) to select the list of APs that should be considered for each device. Simulation results show that the proposed LLRs-based APs selection scheme outperforms the existing techniques in the literature in terms of bit error rate (BER) while requiring comparable fronthaul load.


title: Collective spin oscillations in a magnetized graphene sheet

abstract: We investigate collective spin excitations of graphene electrons with short-ranged interactions and subject to the external Zeeman magnetic field. We find that in addition to the familiar Silin spin wave, a collective spin-flip excitation that reduces to the uniform precession when the wave's momentum approaches zero, the magnetized graphene supports another collective mode visible in the transverse spin susceptibility: a collective spin-current mode. Unlike the Silin wave, this mode is not dictated by the spin-rotational symmetry but rather owns its existence to the pseudo-spin structure of the graphene lattice. We find the new collective excitation to become sharply defined in a finite interval of wave's momenta, the range of which is determined by the interaction and the magnetization.


title: Meshfree method for solving the elliptic Monge-Ampere equation with Dirichlet boundary

abstract: We prove the convergence of meshfree method for solving the elliptic Monge-Ampere equation with Dirichlet boundary on the bounded domain. L2 error is obtained based on the kernel-based trial spaces generated by the compactly supported radial basis functions. We obtain the convergence result when the testing discretization is finer than the trial discretization. The convergence rate depend on the regularity of the solution, the smoothness of the computing domain, and the approximation of scaled kernel-based spaces. The presented convergence theory covers a wide range of kernel-based trial spaces including stationary approximation and non-stationary approximation. An extension to non-Dirichlet boundary condition is in a forthcoming paper.


title: Learning Scalable Structural Representations for Link Prediction with Bloom Signatures

abstract: Graph neural networks (GNNs) have shown great potential in learning on graphs, but they are known to perform sub-optimally on link prediction tasks. Existing GNNs are primarily designed to learn node-wise representations and usually fail to capture pairwise relations between target nodes, which proves to be crucial for link prediction. Recent works resort to learning more expressive edge-wise representations by enhancing vanilla GNNs with structural features such as labeling tricks and link prediction heuristics, but they suffer from high computational overhead and limited scalability. To tackle this issue, we propose to learn structural link representations by augmenting the message-passing framework of GNNs with Bloom signatures. Bloom signatures are hashing-based compact encodings of node neighborhoods, which can be efficiently merged to recover various types of edge-wise structural features. We further show that any type of neighborhood overlap-based heuristic can be estimated by a neural network that takes Bloom signatures as input. GNNs with Bloom signatures are provably more expressive than vanilla GNNs and also more scalable than existing edge-wise models. Experimental results on five standard link prediction benchmarks show that our proposed model achieves comparable or better performance than existing edge-wise GNN models while being 3-200 $\times$ faster and more memory-efficient for online inference.


title: Whittaker vectors in singular Whittaker modules

abstract: Let ${\mathfrak{g}}$ be a complex semisimple Lie algebra with Borel subalgebra ${\mathfrak{b}}$ and corresponding nilradical ${\mathfrak{n}}$. We show that singular Whittaker modules $M$ are simple if and only if the space $\hbox{Wh}\,M$ of Whittaker vectors is $1$-dimensional. For arbitrary locally ${\mathfrak{n}}$-finite ${\mathfrak{g}}$-modules $V$, an immediate corollary is that the dimension of $\hbox{Wh}\,V$ is bounded by the composition length of $V$.


title: On some discrete statistics of parking functions

abstract: Recall that $\alpha=(a_1,a_2,\ldots,a_n)\in[n]^n$ is a parking function if its nondecreasing rearrangement $\beta=(b_1,b_2,\ldots,b_n)$ satisfies $b_i\leq i$ for all $1\leq i\leq n$. In this article, we study parking functions based on their ascents (indices at which $a_i<a_{i+1}$), descents (indices at which $a_i>a_{i+1}$), and ties (indices at which $a_i=a_{i+1}$). By utilizing multiset Eulerian polynomials, we give a generating function for the number of parking functions of length $n$ with $i$ descents. We present a recursive formula for the number of parking functions of length $n$ with descents at a specified subset of $[n-1]$. We establish that the number of parking functions of length $n$ with descents at $I\subset[n-1]$ and descents at $J=\{n-i:i\in I\}$ are equinumerous. As a special case, we show that the number of parking functions of length $n$ with descents at the first $k$ indices is given by $f(n, n-k-1)=\frac{1}{n}\binom{n}{k}\binom{2n-k}{n-k-1}$. We prove this by bijecting to the set of standard Young tableaux of shape $((n-k)^2,1^k)$, which are enumerated by $f(n,n-k-1)$. We also study peaks of parking functions, which are indices at which $a_{i-1}<a_i>a_{i+1}$. We show that the set of parking functions with no peaks and no ties is enumerated by the Catalan numbers. We conclude our study by characterizing when a parking function is uniquely determined by their statistic encoding; a word indicating what indices in the parking function are ascents, descents, and ties. We provide open problems throughout.


title: L-LO: Enhancing Pose Estimation Precision via a Landmark-Based LiDAR Odometry

abstract: The majority of existing LiDAR odometry solutions are based on simple geometric features such as points, lines or planes which cannot fully reflect the characteristics of surrounding environments. In this study, we propose a novel LiDAR odometry which effectively utilizes the overall exterior characteristics of environmental landmarks. The vehicle pose estimation is accomplished by means of two sequential pose estimation stages, namely, horizontal pose estimation and vertical pose estimation. To achieve effective landmark registration, a comprehensive index is proposed to evaluate the level of similarity between landmarks. This index takes into account two crucial aspects of landmarks, namely, dimension and shape in evaluating their similarity. To assess the performance of the proposed algorithm, we utilize the widely recognized KITTI dataset as well as experimental data collected by an unmanned ground vehicle platform. Both graphical and numerical results indicate that our algorithm outperforms leading LiDAR odometry solutions in terms of positioning accuracy.


title: Mitigating Degree Biases in Message Passing Mechanism by Utilizing Community Structures

abstract: This study utilizes community structures to address node degree biases in message-passing (MP) via learnable graph augmentations and novel graph transformers. Recent augmentation-based methods showed that MP neural networks often perform poorly on low-degree nodes, leading to degree biases due to a lack of messages reaching low-degree nodes. Despite their success, most methods use heuristic or uniform random augmentations, which are non-differentiable and may not always generate valuable edges for learning representations. In this paper, we propose Community-aware Graph Transformers, namely CGT, to learn degree-unbiased representations based on learnable augmentations and graph transformers by extracting within community structures. We first design a learnable graph augmentation to generate more within-community edges connecting low-degree nodes through edge perturbation. Second, we propose an improved self-attention to learn underlying proximity and the roles of nodes within the community. Third, we propose a self-supervised learning task that could learn the representations to preserve the global graph structure and regularize the graph augmentations. Extensive experiments on various benchmark datasets showed CGT outperforms state-of-the-art baselines and significantly improves the node degree biases. The source code is available at https://github.com/NSLab-CUK/Community-aware-Graph-Transformer.


title: Monitoring with Rich Data

abstract: We consider moral hazard problems where a principal has access to rich monitoring data about an agent's action. Rather than focusing on optimal contracts (which are known to in general be complicated), we characterize the optimal rate at which the principal's payoffs can converge to the first-best payoff as the amount of data grows large. Our main result suggests a novel rationale for the widely observed binary wage schemes, by showing that such simple contracts achieve the optimal convergence rate. Notably, in order to attain the optimal convergence rate, the principal must set a lenient cutoff for when the agent receives a high vs. low wage. In contrast, we find that other common contracts where wages vary more finely with observed data (e.g., linear contracts) approximate the first-best at a highly suboptimal rate. Finally, we show that the optimal convergence rate depends only on a simple summary statistic of the monitoring technology. This yields a detail-free ranking over monitoring technologies that quantifies their value for incentive provision in data-rich settings and applies regardless of the agent's specific utility or cost functions.


title: Learning the Dynamic Correlations and Mitigating Noise by Hierarchical Convolution for Long-term Sequence Forecasting

abstract: Deep learning algorithms, especially Transformer-based models, have achieved significant performance by capturing long-range dependencies and historical information. However, the power of convolution has not been fully investigated. Moreover, most existing works ignore the dynamic interaction among variables and evolutionary noise in series. Addressing these issues, we propose a Hierarchical Memorizing Network (HMNet). In particular, a hierarchical convolution structure is introduced to extract the information from the series at various scales. Besides, we propose a dynamic variable interaction module to learn the varying correlation and an adaptive denoising module to search and exploit similar patterns to alleviate noises. These modules can cooperate with the hierarchical structure from the perspective of fine to coarse grain. Experiments on five benchmarks demonstrate that HMNet significantly outperforms the state-of-the-art models by 10.6% on MSE and 5.7% on MAE. Our code is released at https://github.com/yzhHoward/HMNet.


title: Error Propagation Analysis for Multithreaded Programs: An Empirical Approach

abstract: Fault injection is a technique to measure the robustness of a program to errors by introducing faults into the program under test. Following a fault injection experiment, Error Propagation Analysis (EPA) is deployed to understand how errors affect a program's execution. EPA typically compares the traces of a fault-free (golden) run with those from a faulty run of the program. While this suffices for deterministic programs, EPA approaches are unsound for multithreaded programs with non-deterministic golden runs. In this paper, we propose Invariant Propagation Analysis (IPA) as the use of automatically inferred likely invariants ("invariants" in the following) in lieu of golden traces for conducting EPA in multithreaded programs. We evaluate the stability and fault coverage of invariants derived by IPA through fault injection experiments across six different fault types and six representative programs that can be executed with varying numbers of threads. We find that stable invariants can be inferred in all cases, but their fault coverage depends on the application and the fault type. We also find that fault coverage for multithreaded executions with IPA can be even higher than for traditional singlethreaded EPA, which emphasizes that IPA results cannot be trivially extrapolated from traditional EPA results.


title: RL-LOGO: Deep Reinforcement Learning Localization for Logo Recognition

abstract: This paper proposes a novel logo image recognition approach incorporating a localization technique based on reinforcement learning. Logo recognition is an image classification task identifying a brand in an image. As the size and position of a logo vary widely from image to image, it is necessary to determine its position for accurate recognition. However, because there is no annotation for the position coordinates, it is impossible to train and infer the location of the logo in the image. Therefore, we propose a deep reinforcement learning localization method for logo recognition (RL-LOGO). It utilizes deep reinforcement learning to identify a logo region in images without annotations of the positions, thereby improving classification accuracy. We demonstrated a significant improvement in accuracy compared with existing methods in several published benchmarks. Specifically, we achieved an 18-point accuracy improvement over competitive methods on the complex dataset Logo-2K+. This demonstrates that the proposed method is a promising approach to logo recognition in real-world applications.


title: Sparse PCA with Oracle Property

abstract: In this paper, we study the estimation of the $k$-dimensional sparse principal subspace of covariance matrix $\Sigma$ in the high-dimensional setting. We aim to recover the oracle principal subspace solution, i.e., the principal subspace estimator obtained assuming the true support is known a priori. To this end, we propose a family of estimators based on the semidefinite relaxation of sparse PCA with novel regularizations. In particular, under a weak assumption on the magnitude of the population projection matrix, one estimator within this family exactly recovers the true support with high probability, has exact rank-$k$, and attains a $\sqrt{s/n}$ statistical rate of convergence with $s$ being the subspace sparsity level and $n$ the sample size. Compared to existing support recovery results for sparse PCA, our approach does not hinge on the spiked covariance model or the limited correlation condition. As a complement to the first estimator that enjoys the oracle property, we prove that, another estimator within the family achieves a sharper statistical rate of convergence than the standard semidefinite relaxation of sparse PCA, even when the previous assumption on the magnitude of the projection matrix is violated. We validate the theoretical results by numerical experiments on synthetic datasets.


title: ZONE: Zero-Shot Instruction-Guided Local Editing

abstract: Recent advances in vision-language models like Stable Diffusion have shown remarkable power in creative image synthesis and editing.However, most existing text-to-image editing methods encounter two obstacles: First, the text prompt needs to be carefully crafted to achieve good results, which is not intuitive or user-friendly. Second, they are insensitive to local edits and can irreversibly affect non-edited regions, leaving obvious editing traces. To tackle these problems, we propose a Zero-shot instructiON-guided local image Editing approach, termed ZONE. We first convert the editing intent from the user-provided instruction (e.g., "make his tie blue") into specific image editing regions through InstructPix2Pix. We then propose a Region-IoU scheme for precise image layer extraction from an off-the-shelf segment model. We further develop an edge smoother based on FFT for seamless blending between the layer and the image.Our method allows for arbitrary manipulation of a specific region with a single instruction while preserving the rest. Extensive experiments demonstrate that our ZONE achieves remarkable local editing results and user-friendliness, outperforming state-of-the-art methods. Code is available at https://github.com/lsl001006/ZONE.


title: Answers to Gould's question concerning the existence of chorded cycles

abstract: Answers are offered to the Gould's question to find spectral sufficient conditions for a graph to have a chorded cycle via signless Laplacian spectral radius. The conditions are tight.


title: The $T$-adic Galois representation is surjective for a positive density of Drinfeld modules

abstract: Let $\mathbb{F}_q$ be the finite field with $q\geq 5$ elements, $A:=\mathbb{F}_q[T]$ and $F:=\mathbb{F}_q(T)$. Assume that $q$ is odd and take $|\cdot|$ to be the absolute value at $\infty$ that is normalized by $|T|=q$. Given a pair $w=(g_1, g_2)\in A^2$ with $g_2\neq 0$, consider the associated Drinfeld module $\phi^w: A\rightarrow A\{\tau\}$ of rank $2$ defined by $\phi_T^w=T+g_1\tau+g_2\tau^2$. Fix integers $c_1, c_2\geq 1$ and define $|w|:=max\{|g_1|^{\frac{1}{c_1}}, |g_2|^{\frac{1}{c_2}}\}$. I show that when ordered by height, there is a positive density of pairs $w=(g_1, g_2)$, such that the $T$-adic Galois representation attached to $\phi^w$ is surjective.


title: Multi-Prompts Learning with Cross-Modal Alignment for Attribute-based Person Re-Identification

abstract: The fine-grained attribute descriptions can significantly supplement the valuable semantic information for person image, which is vital to the success of person re-identification (ReID) task. However, current ReID algorithms typically failed to effectively leverage the rich contextual information available, primarily due to their reliance on simplistic and coarse utilization of image attributes. Recent advances in artificial intelligence generated content have made it possible to automatically generate plentiful fine-grained attribute descriptions and make full use of them. Thereby, this paper explores the potential of using the generated multiple person attributes as prompts in ReID tasks with off-the-shelf (large) models for more accurate retrieval results. To this end, we present a new framework called Multi-Prompts ReID (MP-ReID), based on prompt learning and language models, to fully dip fine attributes to assist ReID task. Specifically, MP-ReID first learns to hallucinate diverse, informative, and promptable sentences for describing the query images. This procedure includes (i) explicit prompts of which attributes a person has and furthermore (ii) implicit learnable prompts for adjusting/conditioning the criteria used towards this person identity matching. Explicit prompts are obtained by ensembling generation models, such as ChatGPT and VQA models. Moreover, an alignment module is designed to fuse multi-prompts (i.e., explicit and implicit ones) progressively and mitigate the cross-modal gap. Extensive experiments on the existing attribute-involved ReID datasets, namely, Market1501 and DukeMTMC-reID, demonstrate the effectiveness and rationality of the proposed MP-ReID solution.


title: Experimental control of mode-competition dynamics in a chaotic multimode semiconductor laser for decision making

abstract: Photonic computing has been widely used to accelerate the computational performance in machine learning. Photonic decision-making is a promising approach that uses photonic computing technologies to solve the multi-armed bandit problem based on reinforcement learning. Photonic decision making using chaotic mode competition dynamics has been proposed. However, the experimental conditions for achieving superior decision-making performance have not yet been established. In this study, we experimentally investigate the mode competition dynamics in a chaotic multimode semiconductor laser in the presence of optical feedback and injection. We control chaotic mode-competition dynamics via optical injection, and we found that positive wavelength detuning results in an efficient mode concentration to one of the longitudinal modes with a small optical injection power. We experimentally investigate two-dimensional bifurcation map of the laser dynamics of the total intensity. Complex mixed dynamics are observed in the presence of optical feedback and injection. We experimentally conduct decision making to solve the bandit problem using chaotic mode-competition dynamics. A fast mode concentration property is observed at positive wavelength detuning, which resulted in a fast convergence of the correct decision rate. Our findings could be useful in accelerating the decision-making performance in adaptive optical networks using reinforcement learning.


title: Temporal Knowledge Distillation for Time-Sensitive Financial Services Applications

abstract: Detecting anomalies has become an increasingly critical function in the financial service industry. Anomaly detection is frequently used in key compliance and risk functions such as financial crime detection fraud and cybersecurity. The dynamic nature of the underlying data patterns especially in adversarial environments like fraud detection poses serious challenges to the machine learning models. Keeping up with the rapid changes by retraining the models with the latest data patterns introduces pressures in balancing the historical and current patterns while managing the training data size. Furthermore the model retraining times raise problems in time-sensitive and high-volume deployment systems where the retraining period directly impacts the models ability to respond to ongoing attacks in a timely manner. In this study we propose a temporal knowledge distillation-based label augmentation approach (TKD) which utilizes the learning from older models to rapidly boost the latest model and effectively reduces the model retraining times to achieve improved agility. Experimental results show that the proposed approach provides advantages in retraining times while improving the model performance.