title: Runtime Analysis of a Multi-Valued Compact Genetic Algorithm on Generalized OneMax

abstract: A class of metaheuristic techniques called estimation-of-distribution algorithms (EDAs) are employed in optimization as more sophisticated substitutes for traditional strategies like evolutionary algorithms. EDAs generally drive the search for the optimum by creating explicit probabilistic models of potential candidate solutions through repeated sampling and selection from the underlying search space. Most theoretical research on EDAs has focused on pseudo-Boolean optimization. Jedidia et al. (GECCO 2023) proposed the first EDAs for optimizing problems involving multi-valued decision variables. By building a framework, they have analyzed the runtime of a multi-valued UMDA on the r-valued LeadingOnes function. Using their framework, here we focus on the multi-valued compact genetic algorithm (r-cGA) and provide a first runtime analysis of a generalized OneMax function. To prove our results, we investigate the effect of genetic drift and progress of the probabilistic model towards the optimum. After finding the right algorithm parameters, we prove that the r-cGA solves this r-valued OneMax problem efficiently. We show that with high probability, the runtime bound is O(r2 n log2 r log3 n). At the end of experiments, we state one conjecture related to the expected runtime of another variant of multi-valued OneMax function.


title: Two-generation of traceless matrices over finite fields

abstract: We prove that the Lie algebra $\mathfrak{sl}_n(\textbf{F}_q)$ of traceless matrices over a finite field of characteristic $p$ can be generated by $2$ elements with exceptions when $(n, p)$ is $(3, 3)$ or $(4,2)$. In the latter cases, we establish curious identities that obstruct $2$-generation.


title: Higher-dimensional grid-imprimitive block-transitive designs

abstract: It was shown in 1989 by Delandtsheer and Doyen that, for a $2$-design with $v$ points and block size $k$, a block-transitive group of automorphisms can be point-imprimitive (that is, leave invariant a nontrivial partition of the point set) only if $v$ is small enough relative to $k$. Recently, exploiting a construction of block-transitive point-imprimitive $2$-designs given by Cameron and the last author, four of the authors studied $2$-designs admitting a block-transitive group that preserves a two-dimensional grid structure on the point set. Here we consider the case where there a block-transitive group preserves a multidimensional grid structure on points. We provide necessary and sufficient conditions for such $2$-designs to exist in terms of the parameters of the grid, and certain `array parameters' which describe a subset of points (which will be a block of the design). Using this criterion, we construct explicit examples of $2$-designs for grids of dimensions three and four, and pose several open questions.


title: Vignetting Effects: a Tool to Characterize a Fourier Ptychographic Microscope

abstract: Fourier Ptychographic Microscopy (FPM) is a recent technique to overcome the diffraction limit of a low numerical aperture (NA) objective lens by algorithmic post-processing of several lower resolved images. It can increase the space-bandwidth product of an optical system by computationally combining images captured under different illumination conditions. Vignetting determines the spatial extent of the bright field and dark field regions in the captured images that contain information about low and high frequency image content, respectively. State-of-the-art analyses treat vignetting as a nuisance that needs to be reduced or excluded from algorithmic consideration by means of ad-hoc decision rules [1]. In contrast, this work investigates vignetting effects as a tool to infer a range of properties of the optical system. To achieve this, we characterize the individual system components of the experimental setup and compare experimental data to both, geometrical and wave optical simulations. We demonstrate that using vignetting as an analytical tool enables the modeling of the geometric and coherence properties of the optical system as evidenced by the good agreement between our simulation and experiment. Moreover, our work investigates pupil aberrations in the FPM setup and enables their partial characterization, despite not yet encompassing all aspects.


title: Optical Image-to-Image Translation Using Denoising Diffusion Models: Heterogeneous Change Detection as a Use Case

abstract: We introduce an innovative deep learning-based method that uses a denoising diffusion-based model to translate low-resolution images to high-resolution ones from different optical sensors while preserving the contents and avoiding undesired artifacts. The proposed method is trained and tested on a large and diverse data set of paired Sentinel-II and Planet Dove images. We show that it can solve serious image generation issues observed when the popular classifier-free guided Denoising Diffusion Implicit Model (DDIM) framework is used in the task of Image-to-Image Translation of multi-sensor optical remote sensing images and that it can generate large images with highly consistent patches, both in colors and in features. Moreover, we demonstrate how our method improves heterogeneous change detection results in two urban areas: Beirut, Lebanon, and Austin, USA. Our contributions are: i) a new training and testing algorithm based on denoising diffusion models for optical image translation; ii) a comprehensive image quality evaluation and ablation study; iii) a comparison with the classifier-free guided DDIM framework; and iv) change detection experiments on heterogeneous data.


title: A prelude to the multibeam photoacoustics

abstract: The report focuses on the introduction and validation of photoacoustics measurements in the presence of two simultaneous probing beams. The experiments, performed for three model systems: a perfect absorber - carbon black membrane, a multilayer system - acrylic paint-covered copper plate, and luminescent sample - ruby, were aimed for comparative analyses of frequency domain photoacoustic responses to a single probing beam (classical approach) and two probing beams (of different wavelengths). A modulation frequency shift criterion, allowing for the simultaneous acquisition of two independent signals, was recognized. Any synergistic or cross effects of sample dual beam excitation on the photoacoustic signal generation (impacts of the beams intensities or modulation frequency effects) were not observed. The multibeam photoacoustics data appears to be (at least) equivalent to classically acquired results for stationary systems. It is considered, that the multibeam approach will broaden the applicability of the photothermal methods to the time-dependent systems, where the evolutions of distinct absorption bands is of special interest.


title: Constraining the Modified Friction in Gravitational Wave Propagation with Precessing Black Hole Binaries

abstract: A broad class of modified gravities can result in a modified friction effect in the propagation of gravitational waves (GWs). This effect changes the amplitude-damping rate of GWs during their propagation in the cosmological distance and thus modifies the standard luminosity distance of GWs in general relativity. Therefore, one can constrain this modified friction by measuring both the luminosity distance and redshift of the GW sources. In this paper, we investigate the prospects of constraining such modified friction effect by using the precessing binary black holes with ground-based GW detectors. For this purpose, we consider 20 precessing events detected by the GW detector network consisting of two LIGO detectors and two third-generation GW detectors (the Einstein Telescope and the Cosmic Explorer). The redshift information of these events is obtained by identifying their possible host galaxies in the GLADE+ galaxy catalog. We show that the precession in the binary system can improve significantly the precision of luminosity distance and thus lead to a tighter constraint on the modified friction. By assuming narrow priors on cosmological parameters that are consistent with the uncertainties of Planck 2018 results, our analysis shows that the modified friction effect, characterized by two parameters $(\Xi_0, n)$, can be constrained to be $\Xi_0 = 1.002^{+0.004}_{-0.004}$ and $n=3.257^{+2.595}_{-2.192}$, in which the result of $\Xi_0$ is about two orders of magnitude better than current result from an analysis with GWTC-3. Our result sets the stage for future research with third-generation GW detectors, offering new insights into gravitational parameter modifications. It also contributes to the understanding of the properties and applications of binary black hole systems with precession.


title: Learning Social Navigation from Demonstrations with Deep Neural Networks

abstract: Traditional path-planning techniques treat humans as obstacles. This has changed since robots started to enter human environments. On modern robots, social navigation has become an important aspect of navigation systems. To use learning-based techniques to achieve social navigation, a powerful framework that is capable of representing complex functions with as few data as possible is required. In this study, we benefited from recent advances in deep learning at both global and local planning levels to achieve human-aware navigation on a simulated robot. Two distinct deep models are trained with respective objectives: one for global planning and one for local planning. These models are then employed in the simulated robot. In the end, it has been shown that our model can successfully carry out both global and local planning tasks. We have shown that our system could generate paths that successfully reach targets while avoiding obstacles with better performance compared to feed-forward neural networks.


title: Dynamic Local Symmetry Fluctuations of Electron Density in Halide Perovskites

abstract: Metal halide perovskites have emerged as an exciting class of materials for applications in solar energy harvesting, optical devices, catalysis, and other photophysical applications. Many of the exciting properties of halide perovskites are tied to their soft, dynamic, and anharmonic lattice. In particular, the precise coupling between anharmonic lattice dynamics and electronic fluctuations is not completely understood. To build an understanding of this coupling, we use ab initio molecular dynamics simulations supplemented by the calculation of maximally localized Wannier functions to carry out a dynamic group theory analysis of local electron density fluctuations and how these fluctuations are coupled to lattice fluctuations in the model inorganic halide perovskite CsSnBr3. We detail symmetry-dependent couplings between vibrational modes, including octahedral tilting. Importantly, we suggest that the large anharmonicity of some of the vibrational modes in CsSnBr3 result from electron rotation--nuclear translation coupling, in analogy to rotation--translation coupling effects in molecular plastic crystals. We also identify electronic fluctuations in the Cs cation that couple to distortions in the surrounding Sn-Br cubic coordination environment. We anticipate that our approach and resulting insights into electronic fluctuations will aid in further understanding the role of the fluctuating lattice in determining important physical properties of halide perovskites and beyond.


title: Ethical Concerns when Working with Mixed-Ability Groups of Children

abstract: Accessibility research has gained traction, yet ethical gaps persist in the inclusion of individuals with disabilities, especially children. Inclusive research practices are essential to ensure research and design solutions cater to the needs of all individuals, regardless of their abilities. Working with children with disabilities in Human-Computer Interaction and Human-Robot Interaction presents a unique set of ethical dilemmas. These young participants often require additional care, support, and accommodations, which can fall off researchers' resources or expertise. The lack of clear guidance on navigating these challenges further aggravates the problem. To provide a base and address this issue, we adopt a critical reflective approach, evaluating our impact by analyzing two case studies involving children with disabilities in HCI/HRI research.


title: A Progressive Framework of Vision-language Knowledge Distillation and Alignment for Multilingual Scene

abstract: Pre-trained vision-language (V-L) models such as CLIP have shown excellent performance in many downstream cross-modal tasks. However, most of them are only applicable to the English context. Subsequent research has focused on this problem and proposed improved models, such as CN-CLIP and AltCLIP, to facilitate their applicability to Chinese and even other languages. Nevertheless, these models suffer from high latency and a large memory footprint in inference, which limits their further deployment on resource-constrained edge devices. In this work, we propose a conceptually simple yet effective multilingual CLIP Compression framework and train a lightweight multilingual vision-language model, called DC-CLIP, for both Chinese and English context. In this framework, we collect high-quality Chinese and English text-image pairs and design two training stages, including multilingual vision-language feature distillation and alignment. During the first stage, lightweight image/text student models are designed to learn robust visual/multilingual textual feature representation ability from corresponding teacher models, respectively. Subsequently, the multilingual vision-language alignment stage enables effective alignment of visual and multilingual textual features to further improve the model's multilingual performance. Comprehensive experiments in zero-shot image classification, conducted based on the ELEVATER benchmark, showcase that DC-CLIP achieves superior performance in the English context and competitive performance in the Chinese context, even with less training data, when compared to existing models of similar parameter magnitude. The evaluation demonstrates the effectiveness of our designed training mechanism.


title: A first order in time wave equation modeling nonlinear acoustics

abstract: In this paper we focus on a small amplitude approximation of a Navier-Stokes-Fourier system modeling nonlinear acoustics. Omitting all third and higher order terms with respect to certain small parameters, we obtain a first order in time system containing linear and quadratic pressure and velocity terms. Subsequently, the well-posedness of the derived system is shown using the classical method of Galerkin approximation in combination with a fixed point argument. We first prove the well-posedness of a linearized equation using energy estimates and then the well-posedness of the nonlinear system using a Newton-Kantorovich type argument. Based on this, we also obtain global in time well-posedness for small enough data and exponential decay. This is in line with semigroup results for a linear part of the system that we provide as well.


title: Travelling waves in a minimal go-or-grow model of cell invasion

abstract: We consider a minimal go-or-grow model of cell invasion, whereby cells can either proliferate, following logistic growth, or move, via linear diffusion, and phenotypic switching between these two states is density-dependent. Formal analysis in the fast switching regime shows that the total cell density in the two-population go-or-grow model can be described in terms of a single reaction-diffusion equation with density-dependent diffusion and proliferation. Using the connection to single-population models, we study travelling wave solutions, showing that the wave speed in the go-or-grow model is always bounded by the wave speed corresponding to the well-known Fisher-KPP equation.


title: "That's our game!" : Reflections on co-designing a robotic game with neurodiverse children

abstract: Many neurodivergent (ND) children are integrated into mainstream schools alongside their neurotypical (NT) peers. However, they often face social exclusion, which may have lifelong effects. Inclusive play activities can be a strong driver of inclusion. Unfortunately, games designed for the specific needs of neurodiverse groups, those that include neurodivergent and neurotypical individuals, are scarce. Given the potential of robots as engaging devices, we led a 6-month co-design process to build an inclusive and entertaining robotic game for neurodiverse classrooms. We first interviewed neurodivergent adults and educators to identify the barriers and facilitators for including neurodivergent children in mainstream classrooms. Then, we conducted five co-design sessions, engaging four neurodiverse classrooms with 81 children (19 neurodivergent). We present a reflection on our co-design process and the resulting robotic game through the lens of Self-Determination Theory, discussing how our methodology supported the intrinsic motivations of neurodivergent children.


title: Bayesian Parameterized Quantum Circuit Optimization (BPQCO): A task and hardware-dependent approach

abstract: Variational quantum algorithms (VQA) have emerged as a promising quantum alternative for solving optimization and machine learning problems using parameterized quantum circuits (PQCs). The design of these circuits influences the ability of the algorithm to efficiently explore the solution space and converge to more optimal solutions. Choosing an appropriate circuit topology, gate set, and parameterization scheme is determinant to achieve good performance. In addition, it is not only problem-dependent, but the quantum hardware used also has a significant impact on the results. Therefore, we present BPQCO, a Bayesian Optimization-based strategy to search for optimal PQCs adapted to the problem to be solved and to the characteristics and limitations of the chosen quantum hardware. To this end, we experimentally demonstrate the influence of the circuit design on the performance obtained for two classification problems (a synthetic dataset and the well-known Iris dataset), focusing on the design of the circuit ansatz. In addition, we study the degradation of the obtained circuits in the presence of noise when simulating real quantum computers. To mitigate the effect of noise, two alternative optimization strategies based on the characteristics of the quantum system are proposed. The results obtained confirm the relevance of the presented approach and allow its adoption in further work based on the use of PQCs.


title: Structural colors with embedded anti-counterfeit features fabricated by laser-based methods

abstract: Structural colors can be induced on metals not only to fabricate logos or decorative motives but also to embed anti-counterfeit features for product protection. In this study, stainless steel (EN 1.4301) plates are colorized by growing a thin oxide layer using direct laser writing (DLW) and hidden anti-counterfeit measures are included on their surfaces by direct laser interference patterning (DLIP) processing. The periodic microstructures resulting from the DLIP treatment have a spatial period of 1 um and act as relief diffraction gratings, featuring a characteristic diffraction pattern. These microstructures are not visible to the human eye but are easily detectable upon shining a coherent beam on the surface. Furthermore, the reflectance over the visible spectrum of the colorized surfaces with and without the DLIP microtexture is measured, giving low differences in the color perception following the so-called "CIE L*a*b*" color space. Finally, a demonstrator is fabricated, in which colorized fields with and without the security features are shown.


title: Turbulence revealed by wavelet transform: power spectrum and intermittency for the velocity field of the cosmic baryonic fluid

abstract: We use continuous wavelet transform techniques to construct the global and environment-dependent wavelet statistics, such as energy spectrum and kurtosis, to study the fluctuation and intermittency of the turbulent motion in the cosmic fluid velocity field with the IllustrisTNG simulation data. We find that the peak scales of the energy spectrum and the spectral ratio define two characteristic scales, which can be regarded as the integral scale and the dissipation scale of turbulence, respectively, so that the energy spectrum can be divided into the energy-containing range, the inertial range and the dissipation range of turbulence. The wavelet kurtosis is an increasing function of the wavenumber $k$, first grows rapidly then slowly with $k$, indicating that the cosmic fluid becomes increasingly intermittent with $k$. In the energy-containing range, the energy spectrum increases significantly from $z = 2$ to $1$, but remains almost unchanged from $z = 1$ to $0$. We find that both the environment-dependent spectrum and kurtosis are similar to the global ones, and the magnitude of the spectrum is smallest in the lowest-density and largest in the highest-density environment, suggesting that the cosmic fluid is more turbulent in a high-density than in a low-density environment. In the inertial range, the exponent of the energy spectrum is steeper than not only the Kolmogorov but also the Burgers exponent, suggesting that there may be more complex mechanisms for energy transfer than Kolmogorov and Burgers turbulence.

categories: astro-ph.CO astro-ph.GA astro-ph.IM physics.flu-dyn


title: MMCBE: Multi-modality Dataset for Crop Biomass Estimation and Beyond

abstract: Crop biomass, a critical indicator of plant growth, health, and productivity, is invaluable for crop breeding programs and agronomic research. However, the accurate and scalable quantification of crop biomass remains inaccessible due to limitations in existing measurement methods. One of the obstacles impeding the advancement of current crop biomass prediction methodologies is the scarcity of publicly available datasets. Addressing this gap, we introduce a new dataset in this domain, i.e. Multi-modality dataset for crop biomass estimation (MMCBE). Comprising 216 sets of multi-view drone images, coupled with LiDAR point clouds, and hand-labelled ground truth, MMCBE represents the first multi-modality one in the field. This dataset aims to establish benchmark methods for crop biomass quantification and foster the development of vision-based approaches. We have rigorously evaluated state-of-the-art crop biomass estimation methods using MMCBE and ventured into additional potential applications, such as 3D crop reconstruction from drone imagery and novel-view rendering. With this publication, we are making our comprehensive dataset available to the broader community.


title: Deep Joint Learning valuation of Bermudan Swaptions

abstract: This paper addresses the problem of pricing involved financial derivatives by means of advanced of deep learning techniques. More precisely, we smartly combine several sophisticated neural network-based concepts like differential machine learning, Monte Carlo simulation-like training samples and joint learning to come up with an efficient numerical solution. The application of the latter development represents a novelty in the context of computational finance. We also propose a novel design of interdependent neural networks to price early-exercise products, in this case, Bermudan swaptions. The improvements in efficiency and accuracy provided by the here proposed approach is widely illustrated throughout a range of numerical experiments. Moreover, this novel methodology can be extended to the pricing of other financial derivatives.


title: The rigidity of Doyle circle packings on the infinite hexagonal triangulation

abstract: Peter Doyle conjectured that locally univalent circle packings on the hexagonal lattice only consist of regular hexagonal packings and Doyle spirals, which is called the Doyle conjecture. In this paper, we prove a rigidity theorem for Doyle spirals in the class of infinite circle packings on the hexagonal lattice whose radii ratios of adjacent circles have a uniform bound. This gives a partial answer to the Doyle conjecture. Based on a new observation that the logarithmic of the radii ratio of adjacent circles is a weighted discrete harmonic function, we prove the result via the Liouville theorem of discrete harmonic functions.


title: Photophysics of defect-passivated quasi-2D (PEA)2PbBr4 perovskite using an organic small-molecule

abstract: 2D Ruddlesden - Popper perovskites are promising candidates for energy harvesting applications due to their tunable optical properties and excellent ambient stability. Moreover, they are solution-processable and compatible with upscalable manufacturing via various printing techniques. Unfortunately, such methods often induce large degrees of heterogeneity due to poorly controlled crystallization. Here, we address this issue by blending the well-known 2D perovskite (PEA)2PbBr4 with an organic small-molecule, namely C8-BTBT, employed as an additive with different blending ratios. Using terahertz (THz) absorption and temperature-dependent photoluminescence (PL) spectroscopy techniques we observe that with the C8-BTBT additive the photophysical properties are altered while the perovskite structure in the film remains unaffected. More precisely, the inclusion of trace amounts of C8-BTBT in the hybrid films results in defect passivation at perovskite platelet boundaries and at the surfaces, as indicated by increased carrier lifetimes and substantially increased photoluminescence quantum yields (PLQY). This in turn improves the responsivity of photodetectors using the 2D perovskite as active layer. Our study highlights a straightforward strategy for fabricating high-quality 2D perovskites via large-area processing techniques.


title: WISDOM Project -- XXIV. Cross-checking supermassive black hole mass estimates from ALMA CO gas kinematics and SINFONI stellar kinematics in the galaxy NGC 4751

abstract: Supermassive black hole (SMBH) masses can be measured by observing the impacts of the SMBHs on dynamical tracers around them. We present high angular resolution ($0.19$ arcsec or $\approx24$ pc) Atacama Large Millimeter/submillimeter Array observations of the $^{12}$CO(3-2) line emission of the early-type galaxy NGC 4751, which reveal a highly-inclined regularly-rotating molecular gas disc with clear central Keplerian motions. Using a Hubble Space Telescope image to constrain the stellar mass distribution, we forward model the molecular gas kinematics and data cube in a Bayesian framework using the Kinematic Molecular Simulation code. Assuming a constant mass-to-light ratio ($M/L$), we infer a SMBH mass $M_\text{BH}=3.43^{+0.45}_{-0.44}\times10^9$ $\text{M}_\odot$ and a F160W filter stellar $M/L$ $M/L_\text{F160W}=(2.68\pm0.11)$ $\text{M}_\odot/\text{L}_{\odot,\text{F160W}}$ (all quoted uncertainties are at $3\sigma$ confidence). Assuming a linearly spatially-varying $M/L$, we infer $M_\text{BH}=2.79_{-0.57}^{+0.75}\times10^9$ $\text{M}_\odot$ and $\left(M/L_\text{F160W}\right)/\left(\text{M}_\odot/\text{L}_{\odot,\text{F160W}}\right)=3.07^{+0.27}_{-0.35}-0.09^{+0.08}_{-0.06}\,\left(R/\text{arcsec}\right)$, where $R$ is the galactocentric radius. We also present alternative SMBH mass estimates using the Jeans Anisotropic Modelling (JAM) method and SINFONI stellar kinematics. Assuming a cylindrically-aligned velocity ellipsoid (JAM$_\text{cyl}$) we infer $M_\text{BH}=(2.52\pm 0.36)\times10^9$ $\text{M}_\odot$, while assuming a spherically-aligned velocity ellipsoid (JAM$_\text{sph}$) we infer $M_\text{BH}=(3.24\pm0.87)\times10^9$ $\text{M}_\odot$. Our derived masses are all consistent with one another, but they are larger than (and inconsistent with) one previous stellar dynamical measurement using Schwarzschil's method and the same SINFONI kinematics.


title: Intermolecular charge transfer enhances the performance of molecular rectifiers

abstract: Molecular-scale diodes made from self-assembled monolayers (SAMs) could complement silicon-based technologies with smaller, cheaper, and more versatile devices. However, advancement of this emerging technology is limited by insufficient electronic performance exhibited by the molecular current rectifiers. We overcome this barrier by exploiting the charge-transfer state that results from co-assembling SAMs of molecules with strong electron donor and acceptor termini. We obtain a substantial enhancement in current rectification, which correlates with the degree of charge transfer, as confirmed by several complementary techniques. These findings provide a previously unexplored method for manipulating the properties of molecular electronic devices by exploiting donor/acceptor interactions. They also serve as a model test platform for the study of doping mechanisms in organic systems. Our devices have the potential for fast widespread adoption due to their low-cost processing and self-assembly onto silicon substrates, which could allow seamless integration with current technologies.


title: Sampling-based Pseudo-Likelihood for Membership Inference Attacks

abstract: Large Language Models (LLMs) are trained on large-scale web data, which makes it difficult to grasp the contribution of each text. This poses the risk of leaking inappropriate data such as benchmarks, personal information, and copyrighted texts in the training data. Membership Inference Attacks (MIA), which determine whether a given text is included in the model's training data, have been attracting attention. Previous studies of MIAs revealed that likelihood-based classification is effective for detecting leaks in LLMs. However, the existing methods cannot be applied to some proprietary models like ChatGPT or Claude 3 because the likelihood is unavailable to the user. In this study, we propose a Sampling-based Pseudo-Likelihood (\textbf{SPL}) method for MIA (\textbf{SaMIA}) that calculates SPL using only the text generated by an LLM to detect leaks. The SaMIA treats the target text as the reference text and multiple outputs from the LLM as text samples, calculates the degree of $n$-gram match as SPL, and determines the membership of the text in the training data. Even without likelihoods, SaMIA performed on par with existing likelihood-based methods.


title: On an Internal Dependence of Simultaneous Measurements

abstract: In this paper we show that there exists an internal dependence of the simultaneous measurements made by the two pairs of linear polarizers operated in each leg of the apparatus in Aspect's version of Einstein-Podolsky-Rosen-Bohm Gedankenexperiment. The corresponding Shannon-Kolmogorov's information flow linking a polarizer from one leg to a polarizer from the other leg is proportional to the absolute value of this function of dependence. It turns out that if Bell's inequality is violated, then this information flow is strictly positive, that is, the experiment performed at one leg is informationally dependent on the experiment at the other leg. By throwing out the sign of absolute value, we define the signed information flow linking a polarizer from one leg to a polarizer from the other leg which, in turn, reproduces the probabilities of the four outcomes of the simultaneous measurements, predicted by quantum mechanics. We make an attempt to illustrate the seeming random relation between the total information flow, the total signed information flow, and the violation of Bell's inequality in terms of a kind of uncertainty principle.


title: Perovskite Phase Heterojunction Solar Cells

abstract: Modern photovoltaic devices are often based on a heterojunction structure where two components with different optoelectronic properties are interfaced. The properties of each side of the junction can be tuned by either utilizing different materials (e.g. donor/acceptor) or doping (e.g. PN Si junction) or even varying their dimensionality (e.g. 3D/2D). In this work we demonstrate the concept of phase heterojunction (PHJ) solar cells by utilizing two polymorphs of the same material. We demonstrate the approach by forming $\gamma$-CsPbI3/$\beta$-CsPbI3 perovskite PHJ solar cells. We find that all of the photovoltaic parameters of the PHJ device significantly surpass those of each of the single-phase devices, resulting in a maximum power conversion efficiency of 20.1%. These improvements originate from the efficient passivation of the $\beta$-CsPbI3 by the larger bandgap $\gamma$-CsPbI3, the increase in the built-in potential of the PHJ devices enabled by the energetic alignment between the two phases and the enhanced absorption of light by the PHJ structure. The approach demonstrated here offers new possibilities for the development of photovoltaic devices based on polymorphic materials.


title: The Victim and The Beneficiary: Exploiting a Poisoned Model to Train a Clean Model on Poisoned Data

abstract: Recently, backdoor attacks have posed a serious security threat to the training process of deep neural networks (DNNs). The attacked model behaves normally on benign samples but outputs a specific result when the trigger is present. However, compared with the rocketing progress of backdoor attacks, existing defenses are difficult to deal with these threats effectively or require benign samples to work, which may be unavailable in real scenarios. In this paper, we find that the poisoned samples and benign samples can be distinguished with prediction entropy. This inspires us to propose a novel dual-network training framework: The Victim and The Beneficiary (V&B), which exploits a poisoned model to train a clean model without extra benign samples. Firstly, we sacrifice the Victim network to be a powerful poisoned sample detector by training on suspicious samples. Secondly, we train the Beneficiary network on the credible samples selected by the Victim to inhibit backdoor injection. Thirdly, a semi-supervised suppression strategy is adopted for erasing potential backdoors and improving model performance. Furthermore, to better inhibit missed poisoned samples, we propose a strong data augmentation method, AttentionMix, which works well with our proposed V&B framework. Extensive experiments on two widely used datasets against 6 state-of-the-art attacks demonstrate that our framework is effective in preventing backdoor injection and robust to various attacks while maintaining the performance on benign samples. Our code is available at https://github.com/Zixuan-Zhu/VaB.


title: Criteria for Uncertainty-based Corner Cases Detection in Instance Segmentation

abstract: The operating environment of a highly automated vehicle is subject to change, e.g., weather, illumination, or the scenario containing different objects and other participants in which the highly automated vehicle has to navigate its passengers safely. These situations must be considered when developing and validating highly automated driving functions. This already poses a problem for training and evaluating deep learning models because without the costly labeling of thousands of recordings, not knowing whether the data contains relevant, interesting data for further model training, it is a guess under which conditions and situations the model performs poorly. For this purpose, we present corner case criteria based on the predictive uncertainty. With our corner case criteria, we are able to detect uncertainty-based corner cases of an object instance segmentation model without relying on ground truth (GT) data. We evaluated each corner case criterion using the COCO and the NuImages dataset to analyze the potential of our approach. We also provide a corner case decision function that allows us to distinguish each object into True Positive (TP), localization and/or classification corner case, or False Positive (FP). We also present our first results of an iterative training cycle that outperforms the baseline and where the data added to the training dataset is selected based on the corner case decision function.


title: Towards Human Awareness in Robot Task Planning with Large Language Models

abstract: The recent breakthroughs in the research on Large Language Models (LLMs) have triggered a transformation across several research domains. Notably, the integration of LLMs has greatly enhanced performance in robot Task And Motion Planning (TAMP). However, previous approaches often neglect the consideration of dynamic environments, i.e., the presence of dynamic objects such as humans. In this paper, we propose a novel approach to address this gap by incorporating human awareness into LLM-based robot task planning. To obtain an effective representation of the dynamic environment, our approach integrates humans' information into a hierarchical scene graph. To ensure the plan's executability, we leverage LLMs to ground the environmental topology and actionable knowledge into formal planning language. Most importantly, we use LLMs to predict future human activities and plan tasks for the robot considering the predictions. Our contribution facilitates the development of integrating human awareness into LLM-driven robot task planning, and paves the way for proactive robot decision-making in dynamic environments.


title: The maximum number of cliques in graphs with given fractional matching number and minimum degree

abstract: Recently, Ma, Qian and Shi determined the maximum size of an $n$-vertex graph with given fractional matching number $s$ and maximum degree at most $d$. Motivated by this result, we determine the maximum number of $\ell$-cliques in a graph with given fractional matching number and minimum degree, which generalizes Shi and Ma's result about the maximum size of a graph with given fractional matching number and minimum degree at least one. We also determine the maximum number of complete bipartite graphs in a graph with prescribed fractional matching number and minimum degree.


title: DACAD: Domain Adaptation Contrastive Learning for Anomaly Detection in Multivariate Time Series

abstract: Time series anomaly detection (TAD) faces a significant challenge due to the scarcity of labelled data, which hinders the development of accurate detection models. Unsupervised domain adaptation (UDA) addresses this challenge by leveraging a labelled dataset from a related domain to detect anomalies in a target dataset. Existing domain adaptation techniques assume that the number of anomalous classes does not change between the source and target domains. In this paper, we propose a novel Domain Adaptation Contrastive learning for Anomaly Detection in multivariate time series (DACAD) model to address this issue by combining UDA and contrastive representation learning. DACAD's approach includes an anomaly injection mechanism that introduces various types of synthetic anomalies, enhancing the model's ability to generalise across unseen anomalous classes in different domains. This method significantly broadens the model's adaptability and robustness. Additionally, we propose a supervised contrastive loss for the source domain and a self-supervised contrastive triplet loss for the target domain, improving comprehensive feature representation learning and extraction of domain-invariant features. Finally, an effective Centre-based Entropy Classifier (CEC) is proposed specifically for anomaly detection, facilitating accurate learning of normal boundaries in the source domain. Our extensive evaluation across multiple real-world datasets against leading models in time series anomaly detection and UDA underscores DACAD's effectiveness. The results validate DACAD's superiority in transferring knowledge across domains and its potential to mitigate the challenge of limited labelled data in time series anomaly detection.


title: Light propagation in time-periodic bi-isotropic media

abstract: Photonic structures and time-crystals, wherein time is incorporated as an additional degree of freedom for light manipulation, have necessitated the development of analytical and semi-analytical tools. However, such tools are currently limited to specific configurations, leaving several unexplored physical phenomena akin to photonic time-crystals elusive. In this communication, using a coupled-wave theory approach, we unveil the occurring light propagation phenomena in a time-periodic bi-isotropic medium whose permittivity, permeability, and chirality parameter are periodic functions of time. Contrary to their static counterparts, we demonstrate that the considered dynamic medium couples only co-handed counter-propagating waves. In cases of non-constant impedance, we prove that two first-order momentum gaps are formed in the Brillouin diagram, resulting in parametric amplification with different amplification factors and corresponding momenta for the right- and left-handed modes, respectively. The presence of chirality plays a major role in manipulating lightwave signals by controlling the center of resonance, the corresponding bandwidth, and the amplification factor in a distinct fashion for each mode. For a finite ``time-slab'' of the medium, we analytically derive the scattering coefficients as functions of time and momentum, discussing how extreme values of optical rotation grant access to the temporal analog of the chirality-induced negative refraction regime. Finally, we demonstrate the mechanism under which elliptical polarizations may change field orientation whilst the electric field propagates in a momentum gap, thus simultaneously showcasing parametric amplification.


title: Milling using two mechatronically coupled robots

abstract: Industrial robots are commonly used in various industries due to their flexibility. However, their adoption for machining tasks is minimal because of the low dynamic stiffness characteristic of serial kinematic chains. To overcome this problem, we propose coupling two industrial robots at the flanges to form a parallel kinematic machining system. Although parallel kinematic chains are inherently stiffer, one possible disadvantage of the proposed system is that it is heavily overactuated. We perform a modal analysis to show that this may be an advantage, as the redundant degrees of freedom can be used to shift the natural frequencies by applying tension to the coupling module. To demonstrate the validity of our approach, we perform a milling experiment using our coupled system. An external measurement system is used to show that tensioning the coupling module causes a deformation of the system. We further show that this deformation is static over the tool path and can be compensated for.


title: Diagonalizing the Jaynes-Cummings Hamiltonian and Jaynes-Cummings coherent states

abstract: We determine the form of the unitary transformation that diagonalizes the Jaynes-Cummings Hamiltonian. This leads to operators the action of which has a simple interpretation in terms of the dressed states, the energy eigenstates. This suggests a set of coherent states and spin coherent states based on the dressed states.


title: Training Transformer Models by Wavelet Losses Improves Quantitative and Visual Performance in Single Image Super-Resolution

abstract: Transformer-based models have achieved remarkable results in low-level vision tasks including image super-resolution (SR). However, early Transformer-based approaches that rely on self-attention within non-overlapping windows encounter challenges in acquiring global information. To activate more input pixels globally, hybrid attention models have been proposed. Moreover, training by solely minimizing pixel-wise RGB losses, such as L1, have been found inadequate for capturing essential high-frequency details. This paper presents two contributions: i) We introduce convolutional non-local sparse attention (NLSA) blocks to extend the hybrid transformer architecture in order to further enhance its receptive field. ii) We employ wavelet losses to train Transformer models to improve quantitative and subjective performance. While wavelet losses have been explored previously, showing their power in training Transformer-based SR models is novel. Our experimental results demonstrate that the proposed model provides state-of-the-art PSNR results as well as superior visual performance across various benchmark datasets.


title: Two-sided bell-shaped sequences

abstract: A nonnegative real function f is bell-shaped if it converges to zero at plus and minus infinity and the nth derivative of f changes sign n times for every n = 0, 1, 2, ... Similarly, a two-sided nonnegative sequence a(k) is bell-shaped if it converges to zero at plus and minus infinity and the nth iterated difference of a(k) changes sign n times for every n = 0, 1, 2, ... A characterisation of bell-shaped functions was given by Thomas Simon and the first named author, and recently a similar result for one-sided bell-shaped sequences was found by the authors. In the present article we give a complete description of two-sided bell-shaped sequences. Our main result proves that bell-shaped sequences are convolutions of P\'olya frequency sequences and what we call absolutely monotone-then-completely monotone sequences, and it provides an equivalent, and relatively easy to verify, condition in terms of holomorphic extensions of the generating function.


title: Jointly Recognizing Speech and Singing Voices Based on Multi-Task Audio Source Separation

abstract: In short video and live broadcasts, speech, singing voice, and background music often overlap and obscure each other. This complexity creates difficulties in structuring and recognizing the audio content, which may impair subsequent ASR and music understanding applications. This paper proposes a multi-task audio source separation (MTASS) based ASR model called JRSV, which Jointly Recognizes Speech and singing Voices. Specifically, the MTASS module separates the mixed audio into distinct speech and singing voice tracks while removing background music. The CTC/attention hybrid recognition module recognizes both tracks. Online distillation is proposed to improve the robustness of recognition further. To evaluate the proposed methods, a benchmark dataset is constructed and released. Experimental results demonstrate that JRSV can significantly improve recognition accuracy on each track of the mixed audio.


title: RD2Bench: Toward Data-Centric Automatic R&D

abstract: The progress of humanity is driven by those successful discoveries accompanied by countless failed experiments. Researchers often seek the potential research directions by reading and then verifying them through experiments. The process imposes a significant burden on researchers. In the past decade, the data-driven black-box deep learning method demonstrates its effectiveness in a wide range of real-world scenarios, which exacerbates the experimental burden of researchers and thus renders the potential successful discoveries veiled. Therefore, automating such a research and development (R&D) process is an urgent need. In this paper, we serve as the first effort to formalize the goal by proposing a Real-world Data-centric automatic R&D Benchmark, namely RD2Bench. RD2Bench benchmarks all the operations in data-centric automatic R&D (D-CARD) as a whole to navigate future work toward our goal directly. We focuses on evaluating the interaction and synergistic effects of various model capabilities and aiding to select the well-performed trustworthy models. Although RD2Bench is very challenging to the state-of-the-art (SOTA) large language model (LLM) named GPT-4, indicating ample research opportunities and more research efforts, LLMs possess promising potential to bring more significant development to D-CARD: They are able to implement some simple methods without adopting any additional techniques. We appeal to future work to take developing techniques for tackling automatic R&D into consideration, thus bringing the opportunities of the potential revolutionary upgrade to human productivity.


title: Quantum-inspired Techniques in Tensor Networks for Industrial Contexts

abstract: In this paper we present a study of the applicability and feasibility of quantum-inspired algorithms and techniques in tensor networks for industrial environments and contexts, with a compilation of the available literature and an analysis of the use cases that may be affected by such methods. In addition, we explore the limitations of such techniques in order to determine their potential scalability.


title: Study on the static detection of ICF target based on muonic X-ray sphere encoded imaging

abstract: Muon Induced X-ray Emission (MIXE) was discovered by Chinese physicist Zhang Wenyu as early as 1947, and it can conduct non-destructive elemental analysis inside samples. Research has shown that MIXE can retain the high efficiency of direct imaging while benefiting from the low noise of pinhole imaging through encoding holes. The related technology significantly improves the counting rate while maintaining imaging quality. The sphere encoding technology effectively solves the imaging blurring caused by the tilting of the encoding system, and successfully images micrometer sized X-ray sources. This paper will combine MIXE and X-ray sphere coding imaging techniques, including ball coding and zone plates, to study the method of non-destructive deep structure imaging of ICF targets and obtaining sub element distribution. This method aims to develop a new method for ICF target detection, which is particularly important for inertial confinement fusion. At the same time, this method can be used to detect and analyze materials that are difficult to penetrate or sensitive, and is expected to solve the problem of element resolution and imaging that traditional technologies cannot overcome. It will provide new methods for the future development of multiple fields such as particle physics, material science, and X-ray optics.


title: Excitation of nonlinear second order betatron sidebands for Knock Out slow extraction at the 1/3 resonance

abstract: Radio Frequency Knock Out resonant slow extraction is a standard method for extracting stored particle beams from synchrotrons by transverse excitation. Classically, the beam is excited with an RF field comprising a frequency band around one of the betatron sidebands. This article demonstrates that the 1/3 resonance commonly used for the slow extraction induces nonlinear motion, resulting in the appearance of additional sidebands of higher order at multiples of the betatron tune. Measured and simulated beam spectra are presented, revealing these sidebands and the beam's response to being excited at first and second order sidebands. The feasibility of using a second order sideband for the purpose of slow extraction is demonstrated. This results in a significant improvement in the temporal structure (spill quality) of the extracted beam, but at the cost of higher excitation power requirements. This is observed both experimentally and in tracking simulations. The mechanism behind the observed improvement is explained using beam dynamics simulations.


title: Image Generative Semantic Communication with Multi-Modal Similarity Estimation for Resource-Limited Networks

abstract: To reduce network traffic and support environments with limited resources, a method for transmitting images with low amounts of transmission data is required. Machine learning-based image compression methods, which compress the data size of images while maintaining their features, have been proposed. However, in certain situations, reconstructing a part of semantic information of images at the receiver end may be sufficient. To realize this concept, semantic-information-based communication, called semantic communication, has been proposed, along with an image transmission method using semantic communication. This method transmits only the semantic information of an image, and the receiver reconstructs the image using an image-generation model. This method utilizes one type of semantic information, but reconstructing images similar to the original image using only it is challenging. This study proposes a multi-modal image transmission method that leverages diverse semantic information for efficient semantic communication. The proposed method extracts multi-modal semantic information from an image and transmits only it. Subsequently, the receiver generates multiple images using an image-generation model and selects an output based on semantic similarity. The receiver must select the output based only on the received features; however, evaluating semantic similarity using conventional metrics is challenging. Therefore, this study explored new metrics to evaluate the similarity between semantic features of images and proposes two scoring procedures. The results indicate that the proposed procedures can compare semantic similarities, such as position and composition, between semantic features of the original and generated images. Thus, the proposed method can facilitate the transmission and utilization of photographs through mobile networks for various service applications.


title: SoK: Decentralized Finance (DeFi) -- Fundamentals, Taxonomy and Risks

abstract: Decentralized Finance (DeFi) refers to financial services that are not necessarily related to crypto-currencies. By employing blockchain for security and integrity, DeFi creates new possibilities that attract retail and institution users, including central banks. Given its novel applications and sophisticated designs, the distinction between DeFi services and understanding the risk involved is often complex. This work systematically presents the major categories of DeFi protocols that cover over 90\% of total value locked (TVL) in DeFi. It establishes a structured methodology to differentiate between DeFi protocols based on their design and architecture. Every DeFi protocol is classified into one of three groups: liquidity pools, pegged and synthetic tokens, and aggregator protocols, followed by risk analysis. In particular, we classify stablecoins, liquid staking tokens, and bridged (wrapped) assets as pegged tokens resembling similar risks. The full risk exposure of DeFi users is derived not only from the DeFi protocol design but also from how it is used and with which tokens.


title: Classification of differentially non-degenerate left-symmetric algebras in dimension 3

abstract: In terms of Nijenhuis geometry, left-symmetric algebras are the same as Nijenhuis operators whose entries are linear in coordinates. Here we consider Nijenhuis operators for which the coefficients of its characteristic polynomial are algebraically independent. We give a classification of this type of operators and hence of the corresponding LSAs (which we will call differentially non-degenerate LSA) in dimension 3.


title: Robust and composable device-independent quantum protocols for oblivious transfer and bit commitment

abstract: We present robust and composable device-independent quantum protocols for oblivious transfer (OT) and bit commitment (BC) using Magic Square devices. We assume there is no long-term quantum memory, that is, after a finite time interval, referred to as \textbf{DELAY}, the states stored in the devices decohere. By robustness, which is a highlight of our protocols, we mean that the protocols are correct and secure even when devices are slightly off from their ideal specifications (the \emph{faulty but non-malicious} regime). This is an important property, since in the real world, devices would certainly have small manufacturing errors and cannot be expected to be ideal. To the best of our understanding and knowledge, none of the known DI protocols for OT and BC in the literature are robust; they can not guarantee correctness in the faulty but non-malicious regime. Our protocols are sequentially composable and hence, can be used as building blocks to construct larger protocols, while still preserving security guarantees.


title: Amplifying Main Memory-Based Timing Covert and Side Channels using Processing-in-Memory Operations

abstract: The adoption of processing-in-memory (PiM) architectures has been gaining momentum because they provide high performance and low energy consumption by alleviating the data movement bottleneck. Yet, the security of such architectures has not been thoroughly explored. The adoption of PiM solutions provides a new way to directly access main memory, which can be potentially exploited by malicious user applications. We show that this new way to access main memory opens opportunities for high-throughput timing attack vectors that are hard-to-mitigate without significant performance overhead. We introduce IMPACT, a set of high-throughput main memory-based timing attacks that leverage characteristics of PiM architectures to establish covert and side channels. IMPACT enables high-throughput communication and private information leakage. To achieve this, IMPACT (i) eliminates expensive cache bypassing steps required by processor-centric main memory and cache-based timing attacks and (ii) leverages the intrinsic parallelism of PiM operations. First, we showcase two covert-channel attack variants that run on the host CPU and leverage PiM architectures to gain direct and fast access to main memory and establish high-throughput communication covert channels. Second, we showcase a side-channel attack on a DNA sequence analysis application that leaks the private characteristics of a user's sample genome by leveraging PiM operations. Our results demonstrate that (i) our covert channels achieve up to 14.16 Mb/s communication throughput, which is 6.38x faster than the state-of-the-art main memory-based covert channels, and (ii) our side-channel attack allows the attacker to determine the properties of a sample genome at a throughput of 7.5 Mb/s with 96% accuracy. We discuss and evaluate several countermeasures for IMPACT to enable secure and robust PiM architectures.


title: Application of 3D Gaussian Splatting for Cinematic Anatomy on Consumer Class Devices

abstract: Interactive photorealistic rendering of 3D anatomy is used in medical education to explain the structure of the human body. It is currently restricted to frontal teaching scenarios, where even with a powerful GPU and high-speed access to a large storage device where the data set is hosted, interactive demonstrations can hardly be achieved. We present the use of novel view synthesis via compressed 3D Gaussian Splatting (3DGS) to overcome this restriction, and to even enable students to perform cinematic anatomy on lightweight and mobile devices. Our proposed pipeline first finds a set of camera poses that captures all potentially seen structures in the data. High-quality images are then generated with path tracing and converted into a compact 3DGS representation, consuming < 70 MB even for data sets of multiple GBs. This allows for real-time photorealistic novel view synthesis that recovers structures up to the voxel resolution and is almost indistinguishable from the path-traced images


title: Hyperbolic L-space knots not concordant to algebraic knots

abstract: We construct hyperbolic L-space knots that are not concordant to any linear combination of algebraic knots.


title: Skyrmion crystals stabilized by $\omega$-mesons

abstract: We investigate the ground state crystalline structure of nuclear matter in the $\omega$-meson variant of the Skyrme model. After minimizing energy with respect to variations of both the Skyrme field and the period lattice, we find four distinct periodic solutions which are similar to those found in the standard Skyrme model. We use these crystals to calculate coefficients in the Bethe--Weizs\"acker semi-empirical mass formula and the compression modulus of infinite nuclear matter, and find a significant improvement as compared with other variants of the Skyrme model.


title: A Preference-driven Paradigm for Enhanced Translation with Large Language Models

abstract: Recent research has shown that large language models (LLMs) can achieve remarkable translation performance through supervised fine-tuning (SFT) using only a small amount of parallel data. However, SFT simply instructs the model to imitate the reference translations at the token level, making it vulnerable to the noise present in the references. Hence, the assistance from SFT often reaches a plateau once the LLMs have achieved a certain level of translation capability, and further increasing the size of parallel data does not provide additional benefits. To overcome this plateau associated with imitation-based SFT, we propose a preference-based approach built upon the Plackett-Luce model. The objective is to steer LLMs towards a more nuanced understanding of translation preferences from a holistic view, while also being more resilient in the absence of gold translations. We further build a dataset named MAPLE to verify the effectiveness of our approach, which includes multiple translations of varying quality for each source sentence. Extensive experiments demonstrate the superiority of our approach in "breaking the plateau" across diverse LLMs and test settings. Our in-depth analysis underscores the pivotal role of diverse translations and accurate preference scores in the success of our approach.


title: Dirichlet problems associated to abstract nonlocal space-time differential operators

abstract: Let the abstract fractional space--time operator $(\partial_t + A)^s$ be given, where $s \in (0,\infty)$ and $-A \colon \mathsf{D}(A) \subseteq X \to X$ is a linear operator generating a uniformly bounded strongly measurable semigroup $(S(t))_{t\ge0}$ on a complex Banach space $X$. We consider the corresponding Dirichlet problem of finding a function $u \colon \mathbb{R} \to X$ such that $(\partial_t + A)^s u(t) = 0$ on $(t_0, \infty)$ and $u(t) = g(t)$ on $(-\infty, t_0]$, for given $t_0 \in \mathbb{R}$ and $g \colon (-\infty,t_0] \to X$. We derive a solution formula which expresses $u$ in terms of $g$ and $(S(t))_{t\ge0}$ and generalizes the well-known variation of constants formula for the mild solution to the abstract Cauchy problem $u' + Au = 0$ on $(t_0, \infty)$ with $u(t_0) = x \in \overline{\mathsf{D}(A)}$. Moreover, we include a comparison to analogous solution concepts arising from Riemann-Liouville and Caputo type initial value problems.


title: Inductive Cognitive Diagnosis for Fast Student Learning in Web-Based Online Intelligent Education Systems

abstract: Cognitive diagnosis aims to gauge students' mastery levels based on their response logs. Serving as a pivotal module in web-based online intelligent education systems (WOIESs), it plays an upstream and fundamental role in downstream tasks like learning item recommendation and computerized adaptive testing. WOIESs are open learning environment where numerous new students constantly register and complete exercises. In WOIESs, efficient cognitive diagnosis is crucial to fast feedback and accelerating student learning. However, the existing cognitive diagnosis methods always employ intrinsically transductive student-specific embeddings, which become slow and costly due to retraining when dealing with new students who are unseen during training. To this end, this paper proposes an inductive cognitive diagnosis model (ICDM) for fast new students' mastery levels inference in WOIESs. Specifically, in ICDM, we propose a novel student-centered graph (SCG). Rather than inferring mastery levels through updating student-specific embedding, we derive the inductive mastery levels as the aggregated outcomes of students' neighbors in SCG. Namely, SCG enables to shift the task from finding the most suitable student-specific embedding that fits the response logs to finding the most suitable representations for different node types in SCG, and the latter is more efficient since it no longer requires retraining. To obtain this representation, ICDM consists of a construction-aggregation-generation-transformation process to learn the final representation of students, exercises and concepts. Extensive experiments across real-world datasets show that, compared with the existing cognitive diagnosis methods that are always transductive, ICDM is much more faster while maintains the competitive inference performance for new students.


title: Closely Interactive Human Reconstruction with Proxemics and Physics-Guided Adaption

abstract: Existing multi-person human reconstruction approaches mainly focus on recovering accurate poses or avoiding penetration, but overlook the modeling of close interactions. In this work, we tackle the task of reconstructing closely interactive humans from a monocular video. The main challenge of this task comes from insufficient visual information caused by depth ambiguity and severe inter-person occlusion. In view of this, we propose to leverage knowledge from proxemic behavior and physics to compensate the lack of visual information. This is based on the observation that human interaction has specific patterns following the social proxemics. Specifically, we first design a latent representation based on Vector Quantised-Variational AutoEncoder (VQ-VAE) to model human interaction. A proxemics and physics guided diffusion model is then introduced to denoise the initial distribution. We design the diffusion model as dual branch with each branch representing one individual such that the interaction can be modeled via cross attention. With the learned priors of VQ-VAE and physical constraint as the additional information, our proposed approach is capable of estimating accurate poses that are also proxemics and physics plausible. Experimental results on Hi4D, 3DPW, and CHI3D demonstrate that our method outperforms existing approaches. The code is available at \url{https://github.com/boycehbz/HumanInteraction}.


title: Sizes of the Nucleon

abstract: Evidences are updated and strengthened for the two-scales picture of low-energy nucleon structure as a compact `hard' valence quark core surrounded by a `soft' cloud of quark-antiquark pairs (the meson cloud). These considerations are quantified by a spectral analysis of the mean-squared radii associated with the isoscalar and isovector electric form factors of the nucleon. Further supporting arguments come from corresponding studies of the axial and mass form factors and their inferred radii. Separating low-mass (mesonic) and high-mass (short-range) contributions in the spectral representations of each of these form factors, we conclude that a central core with an r.m.s. radius of about 1/2 fm results consistently as the common feature in all cases. Implications are discussed for baryonic matter at densities beyond that of equilibrium nuclear matter.


title: Statistical convex-cocompactness for mapping class groups of non-orientable surfaces

abstract: We show that a finite volume deformation retract $\mathcal{T}_{\varepsilon_t}^{-}(\mathcal{N}_g)/\mathrm{MCG}(\mathcal{N}_g)$ of the moduli space $\mathcal{M}(\mathcal{N}_g)$ of non-orientable surfaces $\mathcal{N}_g$ behaves like the convex core of $\mathcal{M}(\mathcal{N}_g)$, despite not even being quasi-convex. We then show that geodesics in the convex core leave compact regions with exponentially low probabilities, showing that the action of $\mathrm{MCG}(\mathcal{N}_g)$ on $\mathcal{T}_{\varepsilon_t}^{-}(\mathcal{N}_g)$ is statistically convex-cocompact. Combined with results of Coulon and Yang, this shows that the growth rate of orbit points under the mapping class group action is purely exponential, pseudo-Anosov elements in mapping class groups of non-orientable surfaces are exponentially generic, and the action of mapping class group on the limit set in the horofunction boundary is ergodic with respect to the Patterson-Sullivan measure. A key step of our proof relies on complexity length, developed by Dowdall and Masur, which is an alternative notion of distance on Teichm\"uller space that accounts for geodesics that spend a considerable fraction of their time in the thin part.


title: LogSD: Detecting Anomalies from System Logs through Self-supervised Learning and Frequency-based Masking

abstract: Log analysis is one of the main techniques that engineers use for troubleshooting large-scale software systems. Over the years, many supervised, semi-supervised, and unsupervised log analysis methods have been proposed to detect system anomalies by analyzing system logs. Among these, semi-supervised methods have garnered increasing attention as they strike a balance between relaxed labeled data requirements and optimal detection performance, contrasting with their supervised and unsupervised counterparts. However, existing semi-supervised methods overlook the potential bias introduced by highly frequent log messages on the learned normal patterns, which leads to their less than satisfactory performance. In this study, we propose LogSD, a novel semi-supervised self-supervised learning approach. LogSD employs a dual-network architecture and incorporates a frequency-based masking scheme, a global-to-local reconstruction paradigm and three self-supervised learning tasks. These features enable LogSD to focus more on relatively infrequent log messages, thereby effectively learning less biased and more discriminative patterns from historical normal data. This emphasis ultimately leads to improved anomaly detection performance. Extensive experiments have been conducted on three commonly-used datasets and the results show that LogSD significantly outperforms eight state-of-the-art benchmark methods.


title: Local clustering of relic neutrinos: Comparison of kinetic field theory and the Vlasov equation

abstract: Gravitational clustering in our cosmic vicinity is expected to lead to an enhancement of the local density of relic neutrinos. We derive expressions for the neutrino density, using a perturbative approach to kinetic field theory and perturbative solutions of the Vlasov equation up to second order. Our work reveals that both formalisms give exactly the same results and can thus be considered equivalent. Numerical evaluation of the local relic neutrino density at first and second order provides some fundamental insights into the frequently applied approach of linear response to neutrino clustering (also known as the Gilbert equation). Against the naive expectation, including the second-order contribution does not lead to an improvement of the prediction for the local relic neutrino density but to a dramatic overestimation. This is because perturbation theory breaks down in a momentum-dependent fashion and in particular for densities well below unity.


title: How to Exhibit More Predictable Behaviors

abstract: This paper looks at predictability problems, i.e., wherein an agent must choose its strategy in order to optimize the predictions that an external observer could make. We address these problems while taking into account uncertainties on the environment dynamics and on the observed agent's policy. To that end, we assume that the observer 1. seeks to predict the agent's future action or state at each time step, and 2. models the agent using a stochastic policy computed from a known underlying problem, and we leverage on the framework of observer-aware Markov decision processes (OAMDPs). We propose action and state predictability performance criteria through reward functions built on the observer's belief about the agent policy; show that these induced predictable OAMDPs can be represented by goal-oriented or discounted MDPs; and analyze the properties of the proposed reward functions both theoretically and empirically on two types of grid-world problems.


title: Exotic groupoid $C^*$-algebras associated to double groupoids

abstract: We consider a class of partial action groupoids called double groupoids which are constructed from pairs of subgroups satisfying similar conditions to those of a matched pair of groups. If the double groupoid is \'etale, then we show that whenever the partially acting group admit exotic ideal completions in the sense of Brown and Guentner, the corresponding double groupoid also admit exotic $C^*$-completions.


title: Nonlinear stability and transition threshold for the planar helical flow

abstract: In this paper, we study the nonlinear stability for the planar helical flow at high Reynolds number $Re$. We prove that if the initial velocity satisfies $$ \left\|U_0-(\delta^2\sin(m_0 y),\delta^2\cos(m_0 y),0)\right\|_{X_0}\leq c_0 Re^{-7/4} $$ for some $c_0>0$ independent of $Re$, then the solution of 3-D incompressible Navier-Stokes equation is global in time and does not transit away from the planar helical flow. Here $\delta>1, m_0=\delta^{-1}$ and the norm $\|\cdot\|_{X_0}$ is defined in \eqref{eq:1.8}. This is a nonlinear stability result for 3-D non-shear flow and the transition threshold is less than $7/4$.


title: Learning from Unlabelled Data with Transformers: Domain Adaptation for Semantic Segmentation of High Resolution Aerial Images

abstract: Data from satellites or aerial vehicles are most of the times unlabelled. Annotating such data accurately is difficult, requires expertise, and is costly in terms of time. Even if Earth Observation (EO) data were correctly labelled, labels might change over time. Learning from unlabelled data within a semi-supervised learning framework for segmentation of aerial images is challenging. In this paper, we develop a new model for semantic segmentation of unlabelled images, the Non-annotated Earth Observation Semantic Segmentation (NEOS) model. NEOS performs domain adaptation as the target domain does not have ground truth semantic segmentation masks. The distribution inconsistencies between the target and source domains are due to differences in acquisition scenes, environment conditions, sensors, and times. Our model aligns the learned representations of the different domains to make them coincide. The evaluation results show that NEOS is successful and outperforms other models for semantic segmentation of unlabelled data.


title: Negatively enhanced thermopower near a Van Hove singularity in electron-doped Sr$_2$RuO$_4$

abstract: The layered perovskite Sr$_2$RuO$_4$ serves as a model material of the two-dimensional (2D) Fermi liquid but also exhibits various emergent phenomena including the non-Fermi-liquid (NFL) behavior under external perturbations such as uniaxial pressure and chemical substitutions. Here we present the thermoelectric transport of electron-doped system Sr$_{2-y}$La$_{y}$RuO$_4$, in which a filling-induced Lifshitz transition occurs at the Van Hove singularity (VHS) point of $y\approx 0.2$. We find that the sign of the low-temperature thermopower becomes negative only near the VHS point, where the NFL behavior has been observed in the earlier work. This observation is incompatible with either a numerical calculation within a constant relaxation-time approximation or a toy-model calculation for the 2D Lifshitz transition adopting an elastic carrier scattering. As a promising origin of the observed negatively enhanced thermopower, we propose a skewed NFL state, in which an inelastic scattering with a considerable odd-frequency term plays a crucial role to negatively enhance the thermopower.


title: Curl curl versus Dirichlet Laplacian eigenvalues

abstract: We provide an upper estimate for the eigenvalues of a curl curl operator on a bounded, three-dimensional Euclidean domain in terms of eigenvalues of the Dirichlet Laplacian. The result complements recent inequalities between curl curl and Neumann Laplacian eigenvalues.


title: A Semantic Segmentation-guided Approach for Ground-to-Aerial Image Matching

abstract: Nowadays the accurate geo-localization of ground-view images has an important role across domains as diverse as journalism, forensics analysis, transports, and Earth Observation. This work addresses the problem of matching a query ground-view image with the corresponding satellite image without GPS data. This is done by comparing the features from a ground-view image and a satellite one, innovatively leveraging the corresponding latter's segmentation mask through a three-stream Siamese-like network. The proposed method, Semantic Align Net (SAN), focuses on limited Field-of-View (FoV) and ground panorama images (images with a FoV of 360{\deg}). The novelty lies in the fusion of satellite images in combination with their semantic segmentation masks, aimed at ensuring that the model can extract useful features and focus on the significant parts of the images. This work shows how SAN through semantic analysis of images improves the performance on the unlabelled CVUSA dataset for all the tested FoVs.


title: Nanojet Visualization and Dark-field Imaging of Optically Trapped Vaterite Capsules with Endoscopic Illumination

abstract: Optical responsivity grants biomedical capsules additional capabilities, promoting them towards multifunctional theragnostic nanodevices. In this endeavor, screening candidates under conditions that closely resemble in situ environments is crucial for both the initial optimization and the subsequent inspection stages of development and operation. Optical tweezers equipped with dark-field spectroscopy are among the preferable tools for nanoparticle imaging and refractometry. However, the effectiveness of conventional illumination and light collection arrangements for inspecting anisotropic complex inner composition particles is quite limited due to reduced collection angles, which can result in the omission of features in scattering diagrams. Here we introduce an endoscopic dark-field illumination scheme, where light is launched on an optically trapped particle from a single-mode fiber, immersed into a fluid cell. This arrangement disentangles illumination and collection paths, thus allowing the collection of scattered light with a very high numerical aperture. This methodology is applied to vaterite nanocapsules, which are known to possess strong anisotropic responses. Tweezer configuration allows revealing optical properties for different crystallographic orientations of vaterite, which is complex to do otherwise. Furthermore, endoscopic dark-field images reveal the emergence of polarization-dependent long-range photonic nanojets, which are capable of interacting with nearby particles, demonstrating a new pathway for nanojet image formation.


title: Dynamic Phasor Modeling of Single-Phase Grid-Forming Converters

abstract: In modern power systems, grid-forming power converters (GFMCs) have emerged as an enabling technology. However, the modeling of single-phase GFMCs faces new challenges. In particular, the nonlinear orthogonal signal generation unit, crucial for power measurement, still lacks an accurate model. To overcome the challenges, this letter proposes a dynamic phasor model of single-phase GFMCs. Moreover, we linearize the proposed model and perform stability analysis, which confirm that the proposed model is more accurate than existing models. Experimental results validate the improved accuracy of the proposed dynamic phasor model.


title: AR for Sexual Violence: Maintaining Ethical Balance While Enhancing Empathy

abstract: This study showcases an augmented reality (AR) experience designed to promote gender justice and increase awareness of sexual violence in Taiwan. By leveraging AR, this project overcomes the limitations of offline exhibitions on social issues by motivating the public to participate and enhancing their willingness to delve into the topic. The discussion explores how direct exposure to sexual violence can induce negative emotions and secondary trauma among users. It also suggests strategies for using AR to alleviate such issues, particularly by avoiding simulations of actual incidents.


title: Existential Unforgeability in Quantum Authentication From Quantum Physical Unclonable Functions Based on Random von Neumann Measurement

abstract: Physical Unclonable Functions (PUFs) are hardware devices with the assumption of possessing inherent non-clonable physical randomness which leads to unique pairs of inputs and outputs that provide a secure fingerprint for cryptographic protocols like authentication. In the case of quantum PUFs (QPUFs), the input-output pairs consist of quantum states instead of classical bitstrings, offering advantages over classical PUFs (CPUFs) such as challenge reusability via public channels and non-reliance over any trusted party due to the no-cloning theorem. In recent literature, a generalized mathematical framework for studying QPUFs was developed, which paved the way for having QPUF models with provable security. It was proved that \emph{existential unforgeability} against Quantum Polynomial Time (QPT) adversaries cannot be achieved by any random unitary QPUF. Since measurements are non-unitary quantum processes, we define a QPUF based on random von Neumann measurements. We prove that such a QPUF is existentially unforgeable. Thus, we introduce the first model in existing literature that depicts such a high level of provable security. We also prove that the Quantum Phase Estimation (QPE) protocol applied on a Haar random unitary serves as an approximate implementation for this kind of QPUF as it approximates a von Neumann measurement on the eigenbasis of the unitary.


title: On the number of subsequence sums related to the support of a sequence in finite abelian groups

abstract: Let $G$ be a finite abelian group and $S$ a sequence with elements of $G$. Let $|S|$ denote the length of $S$ and $\mathrm{supp}(S)$ the set of all the distinct terms in $S$. For an integer $k$ with $k\in [1, |S|]$, let $\Sigma_{k}(S) \subset G$ denote the set of group elements which can be expressed as a sum of a subsequence of $S$ with length $k$. Let $\Sigma(S)=\cup_{k=1}^{|S|}\Sigma_{k}(S)$ and $\Sigma_{\geq k}(S)=\cup_{t=k}^{|S|}\Sigma_{t}(S)$. It is known that if $0\not\in \Sigma(S)$, then $|\Sigma(S)|\geq |S|+|\mathrm{supp}(S)|-1$. In this paper, we determine the structure of a sequence $S$ satisfying $0\notin \Sigma(S)$ and $|\Sigma(S)|= |S|+|\mathrm{supp}(S)|-1$. As a consequence, we can give a counterexample of a conjecture of Gao, Grynkiewicz, and Xia. Moreover, we prove that if $|S|>k$ and $0\not\in \Sigma_{\geq k}(S)\cup \mathrm{supp}(S)$, then $|\Sigma_{\geq k}(S)|\geq |S|-k+|\mathrm{supp}(S)|$. Then we can give an alternative proof of a conjecture of Hamidoune, which was first proved by Gao, Grynkiewicz, and Xia.


title: Undo and Redo Support for Replicated Registers

abstract: Undo and redo functionality is ubiquitous in collaboration software. In single user settings, undo and redo are well understood. However, when multiple users edit a document, concurrency may arise, leading to a non-linear operation history. This renders undo and redo more complex both in terms of their semantics and implementation. We survey the undo and redo semantics of current mainstream collaboration software and derive principles for undo and redo behavior in a collaborative setting. We then apply these principles to a simple CRDT, the Multi-Valued Replicated Register, and present a novel undo and redo algorithm that implements the undo and redo semantics that we believe are most consistent with users' expectations.


title: Achieving Rotation Invariance in Convolution Operations: Shifting from Data-Driven to Mechanism-Assured

abstract: Achieving rotation invariance in deep neural networks without relying on data has always been a hot research topic. Intrinsic rotation invariance can enhance the model's feature representation capability, enabling better performance in tasks such as multi-orientation object recognition and detection. Based on various types of non-learnable operators, including gradient, sort, local binary pattern, maximum, etc., this paper designs a set of new convolution operations that are natually invariant to arbitrary rotations. Unlike most previous studies, these rotation-invariant convolutions (RIConvs) have the same number of learnable parameters and a similar computational process as conventional convolution operations, allowing them to be interchangeable. Using the MNIST-Rot dataset, we first verify the invariance of these RIConvs under various rotation angles and compare their performance with previous rotation-invariant convolutional neural networks (RI-CNNs). Two types of RIConvs based on gradient operators achieve state-of-the-art results. Subsequently, we combine RIConvs with different types and depths of classic CNN backbones. Using the OuTex_00012, MTARSI, and NWPU-RESISC-45 datasets, we test their performance on texture recognition, aircraft type recognition, and remote sensing image classification tasks. The results show that RIConvs significantly improve the accuracy of these CNN backbones, especially when the training data is limited. Furthermore, we find that even with data augmentation, RIConvs can further enhance model performance.


title: Autonomous aerial perching and unperching using omnidirectional tiltrotor and switching controller

abstract: Aerial unperching of multirotors has received little attention as opposed to perching that has been investigated to elongate operation time. This study presents a new aerial robot capable of both perching and unperching autonomously on/from a ferromagnetic surface during flight, and a switching controller to avoid rotor saturation and mitigate overshoot during transition between free-flight and perching. To enable stable perching and unperching maneuvers on/from a vertical surface, a lightweight ($\approx$ $1$ \si{kg}), fully actuated tiltrotor that can hover at $90^\circ$ pitch angle is first developed. We design a perching/unperching module composed of a single servomotor and a magnet, which is then mounted on the tiltrotor. A switching controller including exclusive control modes for transitions between free-flight and perching is proposed. Lastly, we propose a simple yet effective strategy to ensure robust perching in the presence of measurement and control errors and avoid collisions with the perching site immediately after unperching. We validate the proposed framework in experiments where the tiltrotor successfully performs perching and unperching on/from a vertical surface during flight. We further show effectiveness of the proposed transition mode in the switching controller by ablation studies where large overshoot and even collision with a perching site occur. To the best of the authors' knowledge, this work presents the first autonomous aerial unperching framework using a fully actuated tiltrotor.


title: Use of Parallel Explanatory Models to Enhance Transparency of Neural Network Configurations for Cell Degradation Detection

abstract: In a previous paper, we have shown that a recurrent neural network (RNN) can be used to detect cellular network radio signal degradations accurately. We unexpectedly found, though, that accuracy gains diminished as we added layers to the RNN. To investigate this, in this paper, we build a parallel model to illuminate and understand the internal operation of neural networks, such as the RNN, which store their internal state in order to process sequential inputs. This model is widely applicable in that it can be used with any input domain where the inputs can be represented by a Gaussian mixture. By looking at the RNN processing from a probability density function perspective, we are able to show how each layer of the RNN transforms the input distributions to increase detection accuracy. At the same time we also discover a side effect acting to limit the improvement in accuracy. To demonstrate the fidelity of the model we validate it against each stage of RNN processing as well as the output predictions. As a result, we have been able to explain the reasons for the RNN performance limits with useful insights for future designs for RNNs and similar types of neural network.


title: A note on weighted consecutive Davenport constant

abstract: Let $G$ be a group and $A\subseteq [1,\exp(G)-1]$. We define the constant ${\sf C}_A(G),$ which is the least positive integer $\ell$ such that every sequence over $G$ of length at least $\ell$ has an $A$-weighted consecutive product-one subsequence. In this paper, among other things, we prove that ${\sf C}_A(C_n^2)=4$ with $A=[1,n-1],$ and ${\sf C}(H\times K)=|H||K|$, where $H$ is a finite abelian group and $K$ is a metacyclic group.


title: NTIRE 2024 Challenge on Short-form UGC Video Quality Assessment: Methods and Results

abstract: This paper reviews the NTIRE 2024 Challenge on Shortform UGC Video Quality Assessment (S-UGC VQA), where various excellent solutions are submitted and evaluated on the collected dataset KVQ from popular short-form video platform, i.e., Kuaishou/Kwai Platform. The KVQ database is divided into three parts, including 2926 videos for training, 420 videos for validation, and 854 videos for testing. The purpose is to build new benchmarks and advance the development of S-UGC VQA. The competition had 200 participants and 13 teams submitted valid solutions for the final testing phase. The proposed solutions achieved state-of-the-art performances for S-UGC VQA. The project can be found at https://github.com/lixinustc/KVQChallenge-CVPR-NTIRE2024.


title: Destructive and constructive RIS beamforming in an ISAC-multi-user MIMO network

abstract: Integrated sensing and communication (ISAC) has already established itself as a promising solution to the spectrum scarcity problem, even more so when paired with a reconfigurable intelligent surface (RIS) as RISs can shape the propagation environment by adjusting their phase-shift coefficients. Albeit the potential performance gain, a RIS also poses a security threat to the system: in this paper, we explore both sides of the RIS presence in a multi-user MIMO (multiple-input multiple-output) ISAC network. We first develop an alternating optimization algorithm, obtaining the active and passive beamforming vectors maximizing the sensing signal-to-noise ratio (SNR) under minimum signal-to-interference-plus-noise ratio (SINR) constraints for the communication users and finite power budget. We also investigate the destructive potential of RIS by devising a RIS phase-shift optimization algorithm that minimizes sensing SNR while preserving the same minimum communication SINR previously guaranteed by the system. We further investigate the impact of the RIS's individual element failures on the system performances. The simulation results show that the RIS performance-boosting potential is as good as its destructive one and that both of our optimization strategies show some resilience towards the investigated impairments.


title: To Drop or Not to Drop? Predicting Argument Ellipsis Judgments: A Case Study in Japanese

abstract: Speakers sometimes omit certain arguments of a predicate in a sentence; such omission is especially frequent in pro-drop languages. This study addresses a question about ellipsis -- what can explain the native speakers' ellipsis decisions? -- motivated by the interest in human discourse processing and writing assistance for this choice. To this end, we first collect large-scale human annotations of whether and why a particular argument should be omitted across over 2,000 data points in the balanced corpus of Japanese, a prototypical pro-drop language. The data indicate that native speakers overall share common criteria for such judgments and further clarify their quantitative characteristics, e.g., the distribution of related linguistic factors in the balanced corpus. Furthermore, the performance of the language model-based argument ellipsis judgment model is examined, and the gap between the systems' prediction and human judgments in specific linguistic aspects is revealed. We hope our fundamental resource encourages further studies on natural human ellipsis judgment.


title: Asymptotic, second-order homogenization of linear elastic beam networks

abstract: We propose a general approach to the higher-order homogenization of discrete elastic networks made up of linear elastic beams or springs in dimension 2 or 3. The network may be nearly (rather than exactly) periodic: its elastic and geometric properties are allowed to vary slowly in space, in addition to being periodic at the scale of the unit cell. The reference configuration may be prestressed. A homogenized strain energy depending on both the macroscopic strain $\boldsymbol{\varepsilon}$ and its gradient $\nabla \boldsymbol{\varepsilon}$ is obtained by means of a two-scale expansion. The homogenized energy is asymptotically exact two orders beyond that obtained by classical homogenization. The homogenization method is implemented in a symbolic calculation language and applied to various types of networks, such as a 2D honeycomb, a 2D Kagome lattice, a 3D truss and a 1D pantograph. It is validated by comparing the predictions of the microscopic displacement to that obtained by full, discrete simulations. This second-order method remains highly accurate even when the strain gradient effects are significant, such as near the lips of a crack tip or in regions where a gradient of pre-strain is imposed.


title: Improving Composed Image Retrieval via Contrastive Learning with Scaling Positives and Negatives

abstract: The Composed Image Retrieval (CIR) task aims to retrieve target images using a composed query consisting of a reference image and a modified text. Advanced methods often utilize contrastive learning as the optimization objective, which benefits from adequate positive and negative examples. However, the triplet for CIR incurs high manual annotation costs, resulting in limited positive examples. Furthermore, existing methods commonly use in-batch negative sampling, which reduces the negative number available for the model. To address the problem of lack of positives, we propose a data generation method by leveraging a multi-modal large language model to construct triplets for CIR. To introduce more negatives during fine-tuning, we design a two-stage fine-tuning framework for CIR, whose second stage introduces plenty of static representations of negatives to optimize the representation space rapidly. The above two improvements can be effectively stacked and designed to be plug-and-play, easily applied to existing CIR models without changing their original architectures. Extensive experiments and ablation analysis demonstrate that our method effectively scales positives and negatives and achieves state-of-the-art results on both FashionIQ and CIRR datasets. In addition, our methods also perform well in zero-shot composed image retrieval, providing a new CIR solution for the low-resources scenario.


title: Leveraging Fine-Grained Information and Noise Decoupling for Remote Sensing Change Detection

abstract: Change detection aims to identify remote sense object changes by analyzing data between bitemporal image pairs. Due to the large temporal and spatial span of data collection in change detection image pairs, there are often a significant amount of task-specific and task-agnostic noise. Previous effort has focused excessively on denoising, with this goes a great deal of loss of fine-grained information. In this paper, we revisit the importance of fine-grained features in change detection and propose a series of operations for fine-grained information compensation and noise decoupling (FINO). First, the context is utilized to compensate for the fine-grained information in the feature space. Next, a shape-aware and a brightness-aware module are designed to improve the capacity for representation learning. The shape-aware module guides the backbone for more precise shape estimation, guiding the backbone network in extracting object shape features. The brightness-aware module learns a overall brightness estimation to improve the model's robustness to task-agnostic noise. Finally, a task-specific noise decoupling structure is designed as a way to improve the model's ability to separate noise interference from feature similarity. With these training schemes, our proposed method achieves new state-of-the-art (SOTA) results in multiple change detection benchmarks. The code will be made available.


title: Computing renormalized curvature integrals on Poincar\'e-Einstein manifolds

abstract: We describe a general procedure for computing renormalized curvature integrals on Poincar\'e-Einstein manifolds. In particular, we explain the connection between the Gauss-Bonnet-type formulas of Albin and Chang-Qing-Yang for the renormalized volume, and explicitly identify a scalar conformal invariant in the latter formula. Our approach constructs scalar conformal invariants that are divergences at any Einstein manifold; these imply that the scalar invariant in the Chang-Qing-Yang formula is not unique in dimension at least eight. Our procedure also produces explicit conformally invariant Gauss-Bonnet-type formulas for compact Einstein manifolds.


title: Saturated RISE control for considering rotor thrust saturation of fully actuated multirotor

abstract: This work proposes a saturated robust controller for a fully actuated multirotor that takes disturbance rejection and rotor thrust saturation into account. A disturbance rejection controller is required to prevent performance degradation in the presence of parametric uncertainty and external disturbance. Furthermore, rotor saturation should be properly addressed in a controller to avoid performance degradation or even instability due to a gap between the commanded input and the actual input during saturation. To address these issues, we present a modified saturated RISE (Robust Integral of the Sign of the Error) control method. The proposed modified saturated RISE controller is developed for expansion to a system with a non-diagonal, state-dependent input matrix. Next, we present reformulation of the system dynamics of a fully actuated multirotor, and apply the control law to the system. The proposed method is validated in simulation where the proposed controller outperforms the existing one thanks to the capability of handling the input matrix.


title: A "lighthouse" laser-driven staged proton accelerator allowing for ultrafast angular and spectral control

abstract: Compact laser-plasma acceleration of fast ions has made great strides since its discovery over two decades ago, resulting in the current generation of high-energy ($\geq 100\,\rm MeV$) ultracold beams over ultrashort ($\leq 1\,\rm ps$) durations. To unlock broader applications of these beams, we need the ability to tailor the ion energy spectrum. Here, we present a scheme that achieves precisely this by accelerating protons in a "lighthouse" fashion, whereby the highest-energy component of the beam is emitted in a narrow cone, well separated from the lower-energy components. This is made possible by a two-stage interaction in which the rear surface of the target is first set into rapid motion before the main acceleration phase. This approach offers the additional advantages of leveraging a robust sheath acceleration process in standard micron-thick targets and being optically controllable.