title: FlatNAS: optimizing Flatness in Neural Architecture Search for Out-of-Distribution Robustness

abstract: Neural Architecture Search (NAS) paves the way for the automatic definition of Neural Network (NN) architectures, attracting increasing research attention and offering solutions in various scenarios. This study introduces a novel NAS solution, called Flat Neural Architecture Search (FlatNAS), which explores the interplay between a novel figure of merit based on robustness to weight perturbations and single NN optimization with Sharpness-Aware Minimization (SAM). FlatNAS is the first work in the literature to systematically explore flat regions in the loss landscape of NNs in a NAS procedure, while jointly optimizing their performance on in-distribution data, their out-of-distribution (OOD) robustness, and constraining the number of parameters in their architecture. Differently from current studies primarily concentrating on OOD algorithms, FlatNAS successfully evaluates the impact of NN architectures on OOD robustness, a crucial aspect in real-world applications of machine and deep learning. FlatNAS achieves a good trade-off between performance, OOD generalization, and the number of parameters, by using only in-distribution data in the NAS exploration. The OOD robustness of the NAS-designed models is evaluated by focusing on robustness to input data corruptions, using popular benchmark datasets in the literature.


title: Whispers that Shake Foundations: Analyzing and Mitigating False Premise Hallucinations in Large Language Models

abstract: Large Language Models (LLMs) have shown impressive capabilities but still suffer from the issue of hallucinations. A significant type of this issue is the false premise hallucination, which we define as the phenomenon when LLMs generate hallucinated text when confronted with false premise questions. In this paper, we perform a comprehensive analysis of the false premise hallucination and elucidate its internal working mechanism: a small subset of attention heads (which we designate as false premise heads) disturb the knowledge extraction process, leading to the occurrence of false premise hallucination. Based on our analysis, we propose \textbf{FAITH} (\textbf{F}alse premise \textbf{A}ttention head constra\textbf{I}ining for mi\textbf{T}igating \textbf{H}allucinations), a novel and effective method to mitigate false premise hallucinations. It constrains the false premise attention heads during the model inference process. Impressively, extensive experiments demonstrate that constraining only approximately $1\%$ of the attention heads in the model yields a notable increase of nearly $20\%$ of model performance.


title: The Author of a Quotation Goethe Adduced Against Newton

abstract: The hitherto unknown author of a citation by Goethe in his History of Colours is identified as J. E. Montucla and the context of Montucla's quotation is discussed.


title: CollaFuse: Navigating Limited Resources and Privacy in Collaborative Generative AI

abstract: In the landscape of generative artificial intelligence, diffusion-based models present challenges for socio-technical systems in data requirements and privacy. Traditional approaches like federated learning distribute the learning process but strain individual clients, especially with constrained resources (e.g., edge devices). In response to these challenges, we introduce CollaFuse, a novel framework inspired by split learning. Tailored for efficient and collaborative use of denoising diffusion probabilistic models, CollaFuse enables shared server training and inference, alleviating client computational burdens. This is achieved by retaining data and computationally inexpensive GPU processes locally at each client while outsourcing the computationally expensive processes to the shared server. Demonstrated in a healthcare context, CollaFuse enhances privacy by highly reducing the need for sensitive information sharing. These capabilities hold the potential to impact various application areas, such as the design of edge computing solutions, healthcare research, or autonomous driving. In essence, our work advances distributed machine learning, shaping the future of collaborative GenAI networks.


title: A SOUND APPROACH: Using Large Language Models to generate audio descriptions for egocentric text-audio retrieval

abstract: Video databases from the internet are a valuable source of text-audio retrieval datasets. However, given that sound and vision streams represent different "views" of the data, treating visual descriptions as audio descriptions is far from optimal. Even if audio class labels are present, they commonly are not very detailed, making them unsuited for text-audio retrieval. To exploit relevant audio information from video-text datasets, we introduce a methodology for generating audio-centric descriptions using Large Language Models (LLMs). In this work, we consider the egocentric video setting and propose three new text-audio retrieval benchmarks based on the EpicMIR and EgoMCQ tasks, and on the EpicSounds dataset. Our approach for obtaining audio-centric descriptions gives significantly higher zero-shot performance than using the original visual-centric descriptions. Furthermore, we show that using the same prompts, we can successfully employ LLMs to improve the retrieval on EpicSounds, compared to using the original audio class labels of the dataset. Finally, we confirm that LLMs can be used to determine the difficulty of identifying the action associated with a sound.


title: Rahmani Sort: A Novel Variant of Insertion Sort Algorithm with O(nlogn) Complexity

abstract: Various decision support systems are available that implement Data Mining and Data Warehousing techniques for diving into the sea of data for getting useful patterns of knowledge (pearls). Classification, regression, clustering, and many other algorithms are used to enhance the precision and accuracy of the decision process. So, there is scope for increasing the response time of the decision process, especially in mission-critical operations. If data are ordered with suitable and efficient sorting operation, the response time of the decision process can be minimized. Insertion sort is much more suitable for such applications due to its simple and straight logic along with its dynamic nature suitable for list implementation. But it is slower than merge sort and quick sort. The main reasons this is slow: firstly, a sequential search is used to find the actual position of the next key element into the sorted left subarray and secondly, shifting of elements is required by one position towards the right for accommodating the newly inserted element. Therefore, I propose a new algorithm by using a novel technique of binary search mechanism for finding the sorted location of the next key item into the previously sorted left subarray much quicker than the conventional insertion sort algorithm. Performance measurement in terms of the actual running time of the new algorithm has been compared with those of other conventional sorting algorithms apart from the insertion sort. The results obtained on various sample data show that the new algorithm is better in performance than the conventional insertion sort and merge sort algorithms.


title: DeepEraser: Deep Iterative Context Mining for Generic Text Eraser

abstract: In this work, we present DeepEraser, an effective deep network for generic text removal. DeepEraser utilizes a recurrent architecture that erases the text in an image via iterative operations. Our idea comes from the process of erasing pencil script, where the text area designated for removal is subject to continuous monitoring and the text is attenuated progressively, ensuring a thorough and clean erasure. Technically, at each iteration, an innovative erasing module is deployed, which not only explicitly aggregates the previous erasing progress but also mines additional semantic context to erase the target text. Through iterative refinements, the text regions are progressively replaced with more appropriate content and finally converge to a relatively accurate status. Furthermore, a custom mask generation strategy is introduced to improve the capability of DeepEraser for adaptive text removal, as opposed to indiscriminately removing all the text in an image. Our DeepEraser is notably compact with only 1.4M parameters and trained in an end-to-end manner. To verify its effectiveness, extensive experiments are conducted on several prevalent benchmarks, including SCUT-Syn, SCUT-EnsText, and Oxford Synthetic text dataset. The quantitative and qualitative results demonstrate the effectiveness of our DeepEraser over the state-of-the-art methods, as well as its strong generalization ability in custom mask text removal. The codes and pre-trained models are available at https://github.com/fh2019ustc/DeepEraser


title: Confidence and Assurance of Percentiles

abstract: Confidence interval of mean is often used when quoting statistics. The same rigor is often missing when quoting percentiles and tolerance or percentile intervals. This article derives the expression for confidence in percentiles of a sample population. Confidence intervals of median is compared to those of mean for a few sample distributions. The concept of assurance from reliability engineering is then extended to percentiles. The assurance level of sorted samples simply matches the confidence and percentile levels. Numerical method to compute assurance using Brent's optimization method is provided as an open-source python package.


title: Temporal-Aware Deep Reinforcement Learning for Energy Storage Bidding in Energy and Contingency Reserve Markets

abstract: The battery energy storage system (BESS) has immense potential for enhancing grid reliability and security through its participation in the electricity market. BESS often seeks various revenue streams by taking part in multiple markets to unlock its full potential, but effective algorithms for joint-market participation under price uncertainties are insufficiently explored in the existing research. To bridge this gap, we develop a novel BESS joint bidding strategy that utilizes deep reinforcement learning (DRL) to bid in the spot and contingency frequency control ancillary services (FCAS) markets. Our approach leverages a transformer-based temporal feature extractor to effectively respond to price fluctuations in seven markets simultaneously and helps DRL learn the best BESS bidding strategy in joint-market participation. Additionally, unlike conventional "black-box" DRL model, our approach is more interpretable and provides valuable insights into the temporal bidding behavior of BESS in the dynamic electricity market. We validate our method using realistic market prices from the Australian National Electricity Market. The results show that our strategy outperforms benchmarks, including both optimization-based and other DRL-based strategies, by substantial margins. Our findings further suggest that effective temporal-aware bidding can significantly increase profits in the spot and contingency FCAS markets compared to individual market participation.


title: Deep Network for Image Compressed Sensing Coding Using Local Structural Sampling

abstract: Existing image compressed sensing (CS) coding frameworks usually solve an inverse problem based on measurement coding and optimization-based image reconstruction, which still exist the following two challenges: 1) The widely used random sampling matrix, such as the Gaussian Random Matrix (GRM), usually leads to low measurement coding efficiency. 2) The optimization-based reconstruction methods generally maintain a much higher computational complexity. In this paper, we propose a new CNN based image CS coding framework using local structural sampling (dubbed CSCNet) that includes three functional modules: local structural sampling, measurement coding and Laplacian pyramid reconstruction. In the proposed framework, instead of GRM, a new local structural sampling matrix is first developed, which is able to enhance the correlation between the measurements through a local perceptual sampling strategy. Besides, the designed local structural sampling matrix can be jointly optimized with the other functional modules during training process. After sampling, the measurements with high correlations are produced, which are then coded into final bitstreams by the third-party image codec. At last, a Laplacian pyramid reconstruction network is proposed to efficiently recover the target image from the measurement domain to the image domain. Extensive experimental results demonstrate that the proposed scheme outperforms the existing state-of-the-art CS coding methods, while maintaining fast computational speed.


title: The effect of nonlocal disk processes on the volatile CHNOS budgets of planetesimal-forming material

abstract: The abundances of volatile CHNOS have a profound effect on the interior structure and evolution of a planet. Therefore, it is key to investigate the behavior of the abundances of these elements in the solid phase in the earliest stages of planet formation. However, the processes in planet-forming disks that shape these abundances are highly coupled and nonlocal. We aim to quantify the effects of the interplay between dynamical, collision, ice processing on the abundances of CHNOS in local disk solids as a function of position throughout the planet-forming region. We used SHAMPOO (StocHAstic Monomer PrOcessOr), which tracks the ice budgets of CHNOS-bearing molecules of a dust monomer as it undergoes nonlocal disk processing in a Class I disk. We used a large set of individual monomer evolutionary trajectories to make inferences about the properties of the local dust populations. We find that spatially, monomers can travel larger distances farther out in the disk, leading to a larger spread in positions of origin for a dust population at, for example, r=50 AU compared to r=2 AU. However, chemically, the inner disk (r<10 AU) is more nonlocal due to the closer spacing of ice lines in this disk region. We find that the ice mass associated with individual chemical species can change significantly. The largest differences with local dust were found near ice lines where the collisional timescale is comparable to the adsorption and desorption timescales. Here, aggregates may become significantly depleted in ice as a consequence of microscopic collisional mixing, a previously unknown effect where monomers are stored away in aggregate interiors through rapid cycles of coagulation and fragmentation. This suggests that ice processing is highly coupled to collisional processing in this disk region, which implies that the interiors of dust aggregates must be considered and not just their surfaces.


title: Unraveling electronic correlations in warm dense quantum plasmas

abstract: The study of matter at extreme densities and temperatures has emerged as a highly active frontier at the interface of plasma physics, material science and quantum chemistry with direct relevance for planetary modeling and inertial confinement fusion. A particular feature of such warm dense matter is the complex interplay of strong Coulomb interactions, quantum effects, and thermal excitations, rendering its rigorous theoretical description a formidable challenge. Here, we report a breakthrough in path integral Monte Carlo simulations that allows us to unravel this intricate interplay for light elements without nodal restrictions. This new capability gives us access to electronic correlations previously unattainable. As an example, we apply our method to strongly compressed beryllium to describe x-ray Thomson scattering (XRTS) data obtained at the National Ignition Facility. We find excellent agreement between simulation and experiment. Our analysis shows an unprecedented level of consistency for independent observations without the need for any empirical input parameters.


title: Universal quantum computation using quantum annealing with the transverse-field Ising Hamiltonian

abstract: Quantum computation is a promising emerging technology, and by utilizing the principles of quantum mechanics, it is expected to achieve faster computations than classical computers for specific problems. There are two distinct architectures for quantum computation: gate-based quantum computers and quantum annealing. In gate-based quantum computation, we implement a sequence of quantum gates that manipulate qubits. This approach allows us to perform universal quantum computation, yet they pose significant experimental challenges for large-scale integration. On the other hand, with quantum annealing, the solution of the optimization problem can be obtained by preparing the ground state. Conventional quantum annealing devices with transverse-field Ising Hamiltonian, such as those manufactured by D-Wave Inc., achieving around 5000 qubits, are relatively more amenable to large-scale integration but are limited to specific computations. In this paper, we present a practical method for implementing universal quantum computation within the conventional quantum annealing architecture using the transverse-field Ising Hamiltonian. Our innovative approach relies on an adiabatic transformation of the Hamiltonian, changing from transverse fields to a ferromagnetic interaction regime, where the ground states become degenerate. Notably, our proposal is compatible with D-Wave devices, opening up possibilities for realizing large-scale gate-based quantum computers. This research bridges the gap between conventional quantum annealing and gate-based quantum computation, offering a promising path toward the development of scalable quantum computing platforms.


title: Features of strangeness production in pp and heavy ion collisions

abstract: Based on the existing experimental data for A-A collisions starting from the AGS energies up to the LHC ones, various systematics related to strange hadrons and anti-hadrons are presented. The ratio between the average transverse momentum and the square root of the total particle multiplicity per unit rapidity and unit transverse overlap area decreases with collision energy for a given centrality or with centrality for a given collision energy, thus supporting the predictions of CGC and percolation based approaches. The dependence on the square root of the total multiplicity per unit rapidity and unit transverse overlap area of the slope and offset extracted from the $\langle p_T\rangle$-particle mass correlation and of the average transverse expansion velocity and kinetic freeze-out temperature parameters obtained from BGBW fits of the pT spectra for strange hadrons is compared to that for pions, kaons and protons. The detailed study of the entropy density dependence of the ratio of strange hadron yields per unit rapidity to the total particle multiplicity per unit rapidity, at different collision energies and centralities, reveals the necessity to study separately strange hadrons and anti-hadrons. The correlation between the ratio of the single- and multi- strange anti-hadron yield per unit rapidity to the total particle multiplicity per unit rapidity and the entropy density is presented as a function of the fireball size. A maximum is evidenced in the similar correlation established for combined and separate species of strange hadrons, at different centralities, in the region where a transition from the baryon-dominated matter to the meson-dominated one takes place. The position of this maximum does not depend on the mass of the corresponding strange hadron. Comparison with pp experimental data reveals another similarity between pp and Pb-Pb collisions at the LHC energies.


title: How to Understand "Support"? An Implicit-enhanced Causal Inference Approach for Weakly-supervised Phrase Grounding

abstract: Weakly-supervised Phrase Grounding (WPG) is an emerging task of inferring the fine-grained phrase-region matching, while merely leveraging the coarse-grained sentence-image pairs for training. However, existing studies on WPG largely ignore the implicit phrase-region matching relations, which are crucial for evaluating the capability of models in understanding the deep multimodal semantics. To this end, this paper proposes an Implicit-Enhanced Causal Inference (IECI) approach to address the challenges of modeling the implicit relations and highlighting them beyond the explicit. Specifically, this approach leverages both the intervention and counterfactual techniques to tackle the above two challenges respectively. Furthermore, a high-quality implicit-enhanced dataset is annotated to evaluate IECI and detailed evaluations show the great advantages of IECI over the state-of-the-art baselines. Particularly, we observe an interesting finding that IECI outperforms the advanced multimodal LLMs by a large margin on this implicit-enhanced dataset, which may facilitate more research to evaluate the multimodal LLMs in this direction.


title: Transformation, spectrum, and amplification of light modulated by a low frequency traveling wave

abstract: The behavior of electromagnetic waves in a medium modulated in time and space, largely investigated decades ago, has attracted emerging current interest. Here, we address one of the key questions of this research: can an optical wave be amplified by a slowly modulated realistic photonic circuit? To solve this problem, we investigate the propagation of light with an initial phase velocity $v_0$ and frequency $\omega_0$ propagating through an optical waveguide and resonator modulated by a traveling wave with phase velocity $v_p$ and low frequency $\omega_p << \omega_0$. Close to the synchronous condition, $v_p =v_0$, the modulation effects can significantly grow. Consequently, the bandwidth of the optical frequency comb spectrum can be dramatically enhanced by a synchronous traveling wave with $v_p \approx v_0$ compared to the bandwidth generated by an instantaneous wave with $v_p=\infty$. However, for realistic optical waveguides, the light amplification remains small due to its essentially broadband character. In contrast, we show that the modulation of a racetrack optical resonator by a traveling wave with a small phase velocity $v_p <<v_0$ (rather than with synchronous $v_p\approx v_0$) can significantly amplify light remaining within a relatively small bandwidth.


title: Continuous Sign Language Recognition Based on Motor attention mechanism and frame-level Self-distillation

abstract: Changes in facial expression, head movement, body movement and gesture movement are remarkable cues in sign language recognition, and most of the current continuous sign language recognition(CSLR) research methods mainly focus on static images in video sequences at the frame-level feature extraction stage, while ignoring the dynamic changes in the images. In this paper, we propose a novel motor attention mechanism to capture the distorted changes in local motion regions during sign language expression, and obtain a dynamic representation of image changes. And for the first time, we apply the self-distillation method to frame-level feature extraction for continuous sign language, which improves the feature expression without increasing the computational resources by self-distilling the features of adjacent stages and using the higher-order features as teachers to guide the lower-order features. The combination of the two constitutes our proposed holistic model of CSLR Based on motor attention mechanism and frame-level Self-Distillation (MAM-FSD), which improves the inference ability and robustness of the model. We conduct experiments on three publicly available datasets, and the experimental results show that our proposed method can effectively extract the sign language motion information in videos, improve the accuracy of CSLR and reach the state-of-the-art level.


title: VIXEN: Visual Text Comparison Network for Image Difference Captioning

abstract: We present VIXEN - a technique that succinctly summarizes in text the visual differences between a pair of images in order to highlight any content manipulation present. Our proposed network linearly maps image features in a pairwise manner, constructing a soft prompt for a pretrained large language model. We address the challenge of low volume of training data and lack of manipulation variety in existing image difference captioning (IDC) datasets by training on synthetically manipulated images from the recent InstructPix2Pix dataset generated via prompt-to-prompt editing framework. We augment this dataset with change summaries produced via GPT-3. We show that VIXEN produces state-of-the-art, comprehensible difference captions for diverse image contents and edit types, offering a potential mitigation against misinformation disseminated via manipulated image content. Code and data are available at http://github.com/alexblck/vixen


title: A Naive Approach for Automatic Line-level Code Completion

abstract: Coding is an integral aspect of programming. A programmer can automatically complete a code fragment after writing a few tokens, and the process of automatic completion is known as code completion. Several research studies on code completion have previously been conducted for method body completion and method parameter completion. However, this fundamental study explores the automatic completion of any program statement that might not even be part of a method. The goal is to provide suggestions to the programmer for completing code throughout the codebase by identifying and analyzing code similarities. The proposed methodology can be regarded as a fundamental framework for automated code completion. From the investigation of hundreds of revisions of four subject systems written in C and Java, it is observed that the proposed method can automatically complete around 22% of code statements with an average accuracy of 87% that a programmer writes during development, accelerating software development time. The empirical analysis further demonstrates that the approach can be used with programming language neutrality. The study concludes by illustrating that taking 10 characters as prefixes before invoking completion provides maximum precision.


title: How small droplets form in turbulent multiphase flows

abstract: The formation of small droplets and bubbles in turbulent flows is a crucial process in geophysics and engineering, whose underlying physical mechanism remains a puzzle. In this letter, we address this problem by means of high-resolution numerical simulations, comparing a realistic multiphase configuration with a numerical experiment in which we attenuate the presence of strong velocity gradients either across the whole mixture or in the disperse phase only. Our results show unambiguously that the formation of small droplets is governed by the internal dynamics which occur during the break-up of large drops and that the high vorticity and the extreme dissipation associated to these events are the consequence and not the cause of the breakup.


title: BigGait: Learning Gait Representation You Want by Large Vision Models

abstract: Gait recognition stands as one of the most pivotal remote identification technologies and progressively expands across research and industry communities. However, existing gait recognition methods heavily rely on task-specific upstream driven by supervised learning to provide explicit gait representations like silhouette sequences, which inevitably introduce expensive annotation costs and potential error accumulation. Escaping from this trend, this work explores effective gait representations based on the all-purpose knowledge produced by task-agnostic Large Vision Models (LVMs) and proposes a simple yet efficient gait framework, termed BigGait. Specifically, the Gait Representation Extractor (GRE) within BigGait draws upon design principles from established gait representations, effectively transforming all-purpose knowledge into implicit gait representations without requiring third-party supervision signals. Experiments on CCPG, CAISA-B* and SUSTech1K indicate that BigGait significantly outperforms the previous methods in both within-domain and cross-domain tasks in most cases, and provides a more practical paradigm for learning the next-generation gait representation. Finally, we delve into prospective challenges and promising directions in LVMs-based gait recognition, aiming to inspire future work in this emerging topic. The source code is available at https://github.com/ShiqiYu/OpenGait.


title: Sensing atomic superfluid rotation beyond the standard quantum limit

abstract: Atomic superfluids formed using Bose-Einstein condensates (BECs) in a ring trap are currently being investigated in the context of superfluid hydrodynamics, quantum sensing and matter-wave interferometry. The characterization of the rotational properties of such superfluids is important, but can presently only be performed by using optical absorption imaging, which completely destroys the condensate. Recent studies have proposed coupling the ring BEC to optical cavity modes carrying orbital angular momentum to make minimally destructive measurements of the condensate rotation. The sensitivity of these proposals, however, is bounded below by the standard quantum limit set by the combination of laser shot noise and radiation pressure noise. In this work, we provide a theoretical framework that exploits the fact that the interaction between the scattered modes of the condensate and the light reduces to effective optomechanical equations of motion. We present a detailed theoretical analysis to demonstrate that the use of squeezed light and backaction evasion techniques allows the angular momentum of the condensate to be sensed with noise well below the standard quantum limit. Our proposal is relevant to atomtronics, quantum sensing and quantum information.

categories: quant-ph cond-mat.quant-gas cond-mat.stat-mech physics.optics


title: Analysis of Processing Pipelines for Indoor Human Tracking using FMCW radar

abstract: In this paper, the problem of formulating effective processing pipelines for indoor human tracking is investigated, with the usage of a Multiple Input Multiple Output (MIMO) Frequency Modulated Continuous Wave (FMCW) radar. Specifically, two processing pipelines starting with detections on the Range-Azimuth (RA) maps and the Range-Doppler (RD) maps are formulated and compared, together with subsequent clustering and tracking algorithms and their relevant parameters. Experimental results are presented to validate and assess both pipelines, using a 24 GHz commercial radar platform with 250 MHz bandwidth and 15 virtual channels. Scenarios where 1 and 2 people move in an indoor environment are considered, and the influence of the number of virtual channels and detectors' parameters is discussed. The characteristics and limitations of both pipelines are presented, with the approach based on detections on RA maps showing in general more robust results.


title: Highly efficient Gauss's law-preserving spectral algorithms for Maxwell's double-curl source and eigenvalue problems based on eigen-decomposition

abstract: In this paper, we present Gauss's law-preserving spectral methods and their efficient solution algorithms for curl-curl source and eigenvalue problems in two and three dimensions arising from Maxwell's equations. Arbitrary order $H(curl)$-conforming spectral basis functions in two and three dimensions are firstly proposed using compact combination of Legendre polynomials. A mixed formulation involving a Lagrange multiplier is then adopted to preserve the Gauss's law in the weak sense. To overcome the bottleneck of computational efficiency caused by the saddle-point nature of the mixed scheme, we present highly efficient solution algorithms based on reordering and decoupling of the resultant linear algebraic system and numerical eigen-decomposition of one dimensional mass matrix. The proposed solution algorithms are direct methods requiring only several matrix-matrix or matrix-tensor products of $N$-by-$N$ matrices, where $N$ is the highest polynomial order in each direction. Compared with other direct methods, the computational complexities are reduced from $O(N^6)$ and $O(N^9)$ to $O(N^3)$ and $O(N^4)$ with small and constant pre-factors for 2D and 3D cases, respectively, and can further be accelerated to $O(N^{2.807})$ and $O(N^{3.807})$, when boosted with the Strassen's matrix multiplication algorithm. Moreover, these algorithms strictly obey the Helmholtz-Hodge decomposition, thus totally eliminate the spurious eigen-modes of non-physical zero eigenvalues. Extensions of the proposed methods and algorithms to problems in complex geometries with variable coefficients and inhomogeneous boundary conditions are discussed to deal with more general situations. Ample numerical examples for solving Maxwell's source and eigenvalue problems are presented to demonstrate the accuracy and efficiency of the proposed methods.


title: Selective Rotation and Attractive Persistent Currents in Anti-Dipolar Ring Supersolids

abstract: A repulsively interacting Bose-Einstein condensate on a ring is well known to show persistent currents. For attractive interactions, however, a bound state may form that renders the rotation classical. Here we show that in a multiply-connected confinement, the strong in-plane attraction of an {\it anti-dipolar }condensate can form stacks of ring-shaped droplets which may coherently overlap to form a supersolid along the azimuthal symmetry axis of the system. Intriguingly, the functional behavior of the energy-angular momentum dispersion of the anti-dipolar ring condensate differs from that of a usual repulsive superfluid. The periodic maxima between persistent flow and the non-rotating ground state flatten significantly and the typical pronounced cusps in the energy dispersion also occur in the rotationally symmetric supersolid state. A weak link results in the reduction of this minimum, shifting it to smaller angular momenta. With an asymmetric link potential one can selectively induce superfluid and rigid-body rotation in different layers within the same system. This intriguing setup offers new perspectives for atomtronics applications.


title: Hankel Determinants of convoluted Catalan numbers and nonintersecting lattice paths: A bijective proof of Cigler's Conjecture

abstract: In recent preprints, Cigler considered certain Hankel determinants of convoluted Catalan numbers and conjectured identities for these determinants. In this note, we shall give a bijective proof of Cigler's Conjecture by interpreting determinants as generating functions of nonintersecting lattice paths: this proof employs the reflection principle, the Lindstr\"om-Gessel-Viennot-method and a certain construction involving reflections and overlays of nonintersecting lattice paths. Shortly after this bijective proof was presented here, Cigler provided a shorter proof based on earlier results.


title: ARMCHAIR: integrated inverse reinforcement learning and model predictive control for human-robot collaboration

abstract: One of the key issues in human-robot collaboration is the development of computational models that allow robots to predict and adapt to human behavior. Much progress has been achieved in developing such models, as well as control techniques that address the autonomy problems of motion planning and decision-making in robotics. However, the integration of computational models of human behavior with such control techniques still poses a major challenge, resulting in a bottleneck for efficient collaborative human-robot teams. In this context, we present a novel architecture for human-robot collaboration: Adaptive Robot Motion for Collaboration with Humans using Adversarial Inverse Reinforcement learning (ARMCHAIR). Our solution leverages adversarial inverse reinforcement learning and model predictive control to compute optimal trajectories and decisions for a mobile multi-robot system that collaborates with a human in an exploration task. During the mission, ARMCHAIR operates without human intervention, autonomously identifying the necessity to support and acting accordingly. Our approach also explicitly addresses the network connectivity requirement of the human-robot team. Extensive simulation-based evaluations demonstrate that ARMCHAIR allows a group of robots to safely support a simulated human in an exploration scenario, preventing collisions and network disconnections, and improving the overall performance of the task.


title: Stacking faults enabled second harmonic generation in centrosymmetric van der Waals RhI3

abstract: Second harmonic generation (SHG) in van der Waals (vdWs) materials has garnered significant attention due to its potential for integrated nonlinear optical and optoelectronic applications. Stacking faults in vdWs materials, a typical kind of planar defect, can introduce a new degree of freedom to modulate the crystal symmetry and resultant SHG response, however, the physical origin and tunability of stacking-fault-governed SHG in vdWs materials remain unclear. Here, taking the intrinsically centrosymmetric vdWs RhI3 as an example, we theoretically reveal the origin of stacking-fault-governed SHG response, where the SHG response comes from the energetically favorable AC- Cstacking fault of which the electrical transitions along the high symmetry paths Gamma-M and Gamma-K in the Brillion zone play the dominant role at 810 nm. Such stacking-fault-governed SHG response is further confirmed via structural characterizations and SHG measurements. Furthermore, by applying hydrostatic pressure on RhI3, the correlation between structural evolution and SHG response is revealed with SHG enhancement up to 6.9 times, where the decreased electronic transition energies and huger momentum matrix elements due to the stronger interlayer interactions upon compression magnify the SHG susceptibility. This study develops a promising foundation based on strategically designed stacking faults for pioneering new avenues in nonlinear nano-optics.


title: Maps preserving ascent/descent of triple Jordan product

abstract: Let $\mathcal{X}$ be a real or complex Banach space with $ \dim \mathcal{X}\geq 3$. We give a complete description of surjective mappings on $\mathcal{B(X)}$ that preserve the ascent of Jordan triple product of operators or, preserve the descent of Jordan triple product of operators.


title: Charged Lepton Flavor Violation in the B-L symmetric SSM

abstract: Charged lepton flavor violation (CLFV) represents a clear new physics (NP) signal beyond the standard model (SM). In this work, we investigate CLFV processes $l_j^-\rightarrow l_i^- \gamma$ utilizing mass insertion approximation(MIA) in the minimal supersymmetric extension of the SM with local B-L gauge symmetry (B-LSSM). The MIA method can provide a set of simple analytic formulae for the form factors and the associated effective vertices, so that the movement of the CLFV decays $l_j^-\rightarrow l_i^- \gamma$ with the sensitive parameters will be intuitively analyzed. Considering the SM-like Higgs boson mass and the muon anomalous dipole moment (MDM) within $4\sigma$, $3\sigma$ and $2\sigma$ regions, we discuss the corresponding constraints on the relevant parameter space of the model.


title: Weighted least $\ell_p$ approximation on compact Riemannian manifolds

abstract: Given a sequence of Marcinkiewicz-Zygmund inequalities in $L_2$ on a compact space, Gr\"ochenig in \cite{G} discussed weighted least squares approximation and least squares quadrature. Inspired by this work, for all $1\le p\le\infty$, we develop weighted least $\ell_p$ approximation induced by a sequence of Marcinkiewicz-Zygmund inequalities in $L_p$ on a compact smooth Riemannian manifold $\Bbb M$ with normalized Riemannian measure (typical examples are the torus and the sphere). In this paper we derive corresponding approximation theorems with the error measured in $L_q,\,1\le q\le\infty$, and least quadrature errors for both Sobolev spaces $H_p^r(\Bbb M), \, r>d/p$ generated by eigenfunctions associated with the Laplace-Beltrami operator and Besov spaces $B_{p,\tau}^r(\Bbb M),\, 0<\tau\le \infty, r>d/p $ defined by best polynomial approximation. Finally, we discuss the optimality of the obtained results by giving sharp estimates of sampling numbers and optimal quadrature errors for the aforementioned spaces.


title: Evaluating Webcam-based Gaze Data as an Alternative for Human Rationale Annotations

abstract: Rationales in the form of manually annotated input spans usually serve as ground truth when evaluating explainability methods in NLP. They are, however, time-consuming and often biased by the annotation process. In this paper, we debate whether human gaze, in the form of webcam-based eye-tracking recordings, poses a valid alternative when evaluating importance scores. We evaluate the additional information provided by gaze data, such as total reading times, gaze entropy, and decoding accuracy with respect to human rationale annotations. We compare WebQAmGaze, a multilingual dataset for information-seeking QA, with attention and explainability-based importance scores for 4 different multilingual Transformer-based language models (mBERT, distil-mBERT, XLMR, and XLMR-L) and 3 languages (English, Spanish, and German). Our pipeline can easily be applied to other tasks and languages. Our findings suggest that gaze data offers valuable linguistic insights that could be leveraged to infer task difficulty and further show a comparable ranking of explainability methods to that of human rationales.


title: Photon-Odderon interference in exclusive $\chi_{c}$ charmonium production at the Electron-Ion Collider

abstract: Exclusive $C=+1$ scalar, axial-vector, and tensor quarkonium production in high-energy electron-proton scattering requires a $C$-odd $t$-channel exchange of a photon or a three gluon ladder. We derive the expressions for the corresponding amplitudes. The relative phase of the photon vs. three gluon exchange amplitudes is determined by the sign of the light-front matrix element of the eikonal color current operator $d^{abc}J^{+a}J^{+b}J^{+c}$ at moderate $x$, and is not affected by small-$x$ QCD evolution. Model calculations predict constructive interference, which is particularly strong for momentum transfer $|t|\sim 1$~GeV$^2$ where the cross section for $\chi_{cJ}$ production exceeds that for pure photon exchange by up to a factor of 4. We find that exclusive $\chi_{cJ}$ electroproduction at the Electron-Ion Collider should occur with well measurable rates and measurements of these processes should allow to find an evidence of the perturbative Odderon exchange. We also compute the total electroproduction cross section as a function of energy and provide first estimates of the number of $\chi_{cJ}$ events per month at the Electron-Ion Collider design luminosity.


title: Think Fast, Think Slow, Think Critical: Designing an Automated Propaganda Detection Tool

abstract: In today's digital age, characterized by rapid news consumption and increasing vulnerability to propaganda, fostering citizens' critical thinking is crucial for stable democracies. This paper introduces the design of ClarifAI, a novel automated propaganda detection tool designed to nudge readers towards more critical news consumption by activating the analytical mode of thinking, following Kahneman's dual-system theory of cognition. Using Large Language Models, ClarifAI detects propaganda in news articles and provides context-rich explanations, enhancing users' understanding and critical thinking. Our contribution is threefold: first, we propose the design of ClarifAI; second, in an online experiment, we demonstrate that this design effectively encourages news readers to engage in more critical reading; and third, we emphasize the value of explanations for fostering critical thinking. The study thus offers both a practical tool and useful design knowledge for mitigating propaganda in digital news.


title: Radiation Hardness Studies of RPC Based on Diamond-Like Carbon Electrodes for MEG II Experiment

abstract: A novel type of resistive plate chamber, based on diamond-like carbon (DLC) electrodes is under development for background identification in the MEG II experiment. The DLC-RPC is required to have a radiation hardness to mass irradiation since it is planned to be placed in a high-intensity and low-momentum muon beam. In this study, the aging test using a high-intensity X-ray beam was conducted to evaluate the radiation hardness of the DLC-RPC. The accumulated charge due to X-ray irradiation reached about 54 C/cm$^2$, which is approximately half of the one-year irradiation dose expected in the MEG II experiment. As a result, the degradation of the gas gain was observed due to fluorine deposition and insulators formed on the DLC electrodes. In addition, discharges via spacers were also observed repeatedly and interrupted the DLC-RPC operation.


title: Global well-posedness for 2D generalized Parabolic Anderson Model via paracontrolled calculus

abstract: This article revisits the problem of global well-posedness for the generalized parabolic Anderson model on $\mathbb{R}^+\times \mathbb{T}^2$ within the framework of paracontrolled calculus \cite{GIP15}. The model is given by the equation: \begin{equation*} (\partial_t-\Delta) u=F(u)\eta \end{equation*} where $\eta\in C^{-1-\kappa}$ with $1/6>\kappa>0$, and $F\in C_b^2(\mathbb{R})$. Assume that $\eta\in C^{-1-\kappa}$ and can be lifted to enhanced noise, we derive new a priori bounds. The key idea follows from the recent work \cite{CFW24} by A.Chandra, G.L. Feltes and H.Weber to represent the leading error term as a transport type term, and our techniques encompass the paracontrolled calculus, the maximum principle, and the localization approach (i.e. high-low frequency argument).


title: Generalized Pentagon Equations

abstract: Drinfeld defined the Knizhinik--Zamolodchikov (KZ) associator $\Phi_{\rm KZ}$ by considering the regularized holonomy of the KZ connection along the {\em droit chemin} $[0,1]$. The KZ associator is a group-like element of the free associative algebra with two generators, and it satisfies the pentagon equation. In this paper, we consider paths on $\mathbb{C}\backslash \{ z_1, \dots, z_n\}$ which start and end at tangential base points. These paths are not necessarily straight, and they may have a finite number of transversal self-intersections. We show that the regularized holonomy $H$ of the KZ connection associated to such a path satisfies a generalization of Drinfeld's pentagon equation. In this equation, we encounter $H$, $\Phi_{\rm KZ}$, and new factors associated to self-intersections, to tangential base points, and to the rotation number of the path.


title: A Unified Evaluation Framework for Spiking Neural Network Hardware Accelerators Based on Emerging Non-Volatile Memory Devices

abstract: Spiking Neural Networks (SNNs) have emerged as a promising paradigm, offering event-driven and energy-efficient computation. In recent studies, various devices tailored for SNN synapses and neurons have been proposed, leveraging the unique characteristics of emerging non-volatile memory (eNVM) technologies. While substantial progress has been made in exploring the capabilities of SNNs and designing dedicated hardware components, there exists a critical gap in establishing a unified approach for evaluating hardware-level metrics. Specifically, metrics such as latency, and energy consumption, are pivotal in assessing the practical viability and efficiency of the constructed neural network. In this article, we address this gap by presenting a comprehensive framework for evaluating hardware-level metrics in SNNs based on non-volatile memory devices. We systematically analyze the impact of synaptic and neuronal components on energy consumption providing a unified perspective for assessing the overall efficiency of the network. In this study, our emphasis lies on the neuron and synaptic device based on magnetic skyrmions. Nevertheless, our framework is versatile enough to encompass other emerging devices as well. Utilizing our proposed skyrmionic devices, the constructed SNN demonstrates an inference accuracy of approximately 98% and achieves energy consumption on the order of pJ when processing the Modified National Institute of Standards and Technology (MNIST) handwritten digit dataset.


title: Globally hyperbolic evaporating black hole and the information loss issue

abstract: We discuss the information loss issue for completely evaporating black holes in the context of a globally hyperbolic spacetime that maintains unchanged the entire semiclassical picture except for the ``last evaporation breath,'' which pertains to full quantum gravity. Even though observers outside the black hole cannot access information that enters the horizon, there is no actual loss of information since it is carried over from one Cauchy surface to the next (provided the evolution is unitary).


title: Inertial spin waves in spin spirals

abstract: Inertial effects in spin dynamics emerge on picosecond time scales, giving rise to nutational excitations at THz frequencies. Here, we describe a general framework for investigating the precessional and nutational excitations in any type of spin structure within linear spin-wave theory. We consider the particular cases of planar and conical spin spirals in detail. We observe a change in the sign of the curvature of the high-frequency nutational spin-wave band as the spiral period is decreased when passing from the ferromagnetic to the antiferromagnetic limit. We identify conditions for the interaction parameters where the curvature changes sign and asymptotical flat bands are formed.


title: ProtoP-OD: Explainable Object Detection with Prototypical Parts

abstract: Interpretation and visualization of the behavior of detection transformers tends to highlight the locations in the image that the model attends to, but it provides limited insight into the \emph{semantics} that the model is focusing on. This paper introduces an extension to detection transformers that constructs prototypical local features and uses them in object detection. These custom features, which we call prototypical parts, are designed to be mutually exclusive and align with the classifications of the model. The proposed extension consists of a bottleneck module, the prototype neck, that computes a discretized representation of prototype activations and a new loss term that matches prototypes to object classes. This setup leads to interpretable representations in the prototype neck, allowing visual inspection of the image content perceived by the model and a better understanding of the model's reliability. We show experimentally that our method incurs only a limited performance penalty, and we provide examples that demonstrate the quality of the explanations provided by our method, which we argue outweighs the performance penalty.


title: Recurrence Theorem for Open Quantum Systems

abstract: Quantum (Poincar\'e) recurrence theorem are known for closed quantum (classical) systems. Can recurrence happen in open systems? We provide the recurrence theorem for open quantum systems via non-Hermitian (NH) description. We find that PT symmetry and pseudo-Hermitian symmetry protect recurrence for NH open quantum systems and the recurrence fails with the symmetry breaking. Applying our theorem to PT-symmetric systems, we reveal why quantum recurrence happens in PT-unbroken phase but fails in PT-broken phase, which was misunderstood before. A contradiction emerges when we apply our theorem to anti-PT symmetric systems and we settle it, revealing that distinguishability and von Neumann entropy are generally not effective to describe the information dynamics in NH systems. A new approach is developed to investigate the information dynamics of NH systems. For anti-PT symmetric systems in PT-broken phase, we find there are three information-dynamics patterns: oscillations with an overall decrease (increase) , and periodic oscillations. The periodic oscillations (information complete retrieval) happen only if the spectrum of NH Hamiltonian is real. The three patterns degenerate to the periodic oscillation using distinguishability or von Neumann entropy because normalization of non-unitary evolved states leads to loss of information. We conclude with a discussion of the physical meaning behind the recurrence in open systems and give the direction of recurrence theorem not limited to conservative systems in classical mechanics.


title: Weakly Supervised Monocular 3D Detection with a Single-View Image

abstract: Monocular 3D detection (M3D) aims for precise 3D object localization from a single-view image which usually involves labor-intensive annotation of 3D detection boxes. Weakly supervised M3D has recently been studied to obviate the 3D annotation process by leveraging many existing 2D annotations, but it often requires extra training data such as LiDAR point clouds or multi-view images which greatly degrades its applicability and usability in various applications. We propose SKD-WM3D, a weakly supervised monocular 3D detection framework that exploits depth information to achieve M3D with a single-view image exclusively without any 3D annotations or other training data. One key design in SKD-WM3D is a self-knowledge distillation framework, which transforms image features into 3D-like representations by fusing depth information and effectively mitigates the inherent depth ambiguity in monocular scenarios with little computational overhead in inference. In addition, we design an uncertainty-aware distillation loss and a gradient-targeted transfer modulation strategy which facilitate knowledge acquisition and knowledge transfer, respectively. Extensive experiments show that SKD-WM3D surpasses the state-of-the-art clearly and is even on par with many fully supervised methods.


title: A SAM-guided Two-stream Lightweight Model for Anomaly Detection

abstract: In industrial anomaly detection, model efficiency and mobile-friendliness become the primary concerns in real-world applications. Simultaneously, the impressive generalization capabilities of Segment Anything (SAM) have garnered broad academic attention, making it an ideal choice for localizing unseen anomalies and diverse real-world patterns. In this paper, considering these two critical factors, we propose a SAM-guided Two-stream Lightweight Model for unsupervised anomaly detection (STLM) that not only aligns with the two practical application requirements but also harnesses the robust generalization capabilities of SAM. We employ two lightweight image encoders, i.e., our two-stream lightweight module, guided by SAM's knowledge. To be specific, one stream is trained to generate discriminative and general feature representations in both normal and anomalous regions, while the other stream reconstructs the same images without anomalies, which effectively enhances the differentiation of two-stream representations when facing anomalous regions. Furthermore, we employ a shared mask decoder and a feature aggregation module to generate anomaly maps. Our experiments conducted on MVTec AD benchmark show that STLM, with about 16M parameters and achieving an inference time in 20ms, competes effectively with state-of-the-art methods in terms of performance, 98.26% on pixel-level AUC and 94.92% on PRO. We further experiment on more difficult datasets, e.g., VisA and DAGM, to demonstrate the effectiveness and generalizability of STLM.


title: Computing Longest Common Subsequence under Cartesian-Tree Matching Model

abstract: Two strings of the same length are said to Cartesian-tree match (CT-match) if their Cartesian-trees are isomorphic [Park et al., TCS 2020]. Cartesian-tree matching is a natural model that allows for capturing similarities of numerical sequences. Oizumi et al. [CPM 2022] showed that subsequence pattern matching under CT-matching model can be solved in polynomial time. This current article follows and extends this line of research: We present the first polynomial-time algorithm that finds the longest common subsequence under CT-matching of two given strings $S$ and $T$ of length $n$, in $O(n^6)$ time and $O(n^4)$ space for general ordered alphabets. We then show that the problem has a faster solution in the binary case, by presenting an $O(n^2 / \log n)$-time and space algorithm.


title: Efficient quaternion CUR method for low-rank approximation to quaternion matrix

abstract: The low-rank quaternion matrix approximation has been successfully applied in many applications involving signal processing and color image processing. However, the cost of quaternion models for generating low-rank quaternion matrix approximation is sometimes considerable due to the computation of the quaternion singular value decomposition (QSVD), which limits their application to real large-scale data. To address this deficiency, an efficient quaternion matrix CUR (QMCUR) method for low-rank approximation is suggested, which provides significant acceleration in color image processing. We first explore the QMCUR approximation method, which uses actual columns and rows of the given quaternion matrix, instead of the costly QSVD. Additionally, two different sampling strategies are used to sample the above-selected columns and rows. Then, the perturbation analysis is performed on the QMCUR approximation of noisy versions of low-rank quaternion matrices. Extensive experiments on both synthetic and real data further reveal the superiority of the proposed algorithm compared with other algorithms for getting low-rank approximation, in terms of both efficiency and accuracy.


title: Couette flow turbulence reduction by the flow spanwise reflection symmetry breaking: On the universality of the control strategy

abstract: A novel turbulence control strategy for wall-bounded shear flow is proposed by Chagelishvili et al, 2014. The essence of this strategy involves continuously imposition of specially designed seed velocity perturbations with spanwise asymmetry near the flow wall. The configuration of this imposed velocity field, enhanced due to the shear flow non-normality, breaks the flow spanwise reflection symmetry, specifically, resulting in the generation of a secondary nonuniform spanwise mean flow. Consequently, this secondary flow significantly reduces flow turbulence. In Chagelishvili et al, 2014, the first steps were taken towards developing this new turbulence control strategy and demonstrating its efficiency. The plane Couette flow was considered, as a representative example, and a theoretical and hypothetical weak near-wall volume forcing was designed, which though theoretical, provided valuable insights into the characteristics of the seed velocity field. Obviously, the practical significance of this control strategy should be confirmed by evaluating its effectiveness in flows at various Reynolds numbers, and with different parameters of the imposed seed velocity field. In this paper, we investigate the effectiveness and universality of the turbulence control strategy for Couette flow at various Reynolds numbers and different locations of the volume forcing. Through direct numerical simulations, we show universality of the discussed turbulence control method. The application of a specially designed, weak near-wall volume forcing with a fixed configuration and amplitude results in the same effective turbulence control, reducing turbulence kinetic energy production by 30-40\% across a wider range Reynolds numbers, $Re_{\tau} = 52,92,128,270$ and various localizations.


title: Experimental Test of Quantum Nonlocality from Contextuality

abstract: There are two powerful arguments against the possibility of extending quantum mechanics, the violation of Bell inequalities and the Kochen-Specker theorem, but the connection between the two remains confused. Following the distinctive strategy proposed by Cabello [Phys. Rev. Lett. 127, 070401 (2021)], Bell inequalities can be violated by state-independent contextuality sets. However, the experimental realization of such ideas is challenging as it requires high-dimensional entanglement. Orbital angular momentum provides an unlimited state space and the number of effective dimensions can be readily tailored as required. We performed an experimental test of non-locality based on Bell inequalities from contextuality, using orbital angular momentum entanglement in a bipartite photonic system. Our experiment not only shows a new way to produce non-locality but also connects contextuality and non-locality, two fundamental quantum resources that are critical for quantum computation and secure communication tasks.


title: Unveiling Typographic Deceptions: Insights of the Typographic Vulnerability in Large Vision-Language Model

abstract: Large Vision-Language Models (LVLMs) rely on vision encoders and Large Language Models (LLMs) to exhibit remarkable capabilities on various multi-modal tasks in the joint space of vision and language. However, the Typographic Attack, which disrupts vision-language models (VLMs) such as Contrastive Language-Image Pretraining (CLIP), has also been expected to be a security threat to LVLMs. Firstly, we verify typographic attacks on current well-known commercial and open-source LVLMs and uncover the widespread existence of this threat. Secondly, to better assess this vulnerability, we propose the most comprehensive and largest-scale Typographic Dataset to date. The Typographic Dataset not only considers the evaluation of typographic attacks under various multi-modal tasks but also evaluates the effects of typographic attacks, influenced by texts generated with diverse factors. Based on the evaluation results, we investigate the causes why typographic attacks may impact VLMs and LVLMs, leading to three highly insightful discoveries. By the examination of our discoveries and experimental validation in the Typographic Dataset, we reduce the performance degradation from $42.07\%$ to $13.90\%$ when LVLMs confront typographic attacks.


title: Approximations of symbolic substitution systems in one dimension

abstract: Periodic approximations of quasicrystals are a powerful tool in analyzing spectra of Schr\"odinger operators arising from quasicrystals, given the known theory for periodic crystals. Namely, we seek periodic operators whose spectra approximate the spectrum of the limiting operator (of the quasicrystal). This naturally leads to study the convergence of the underlying dynamical systems. We treat dynamical systems which are based on one-dimensional substitutions. We first find natural candidates of dynamical subsystems to approximate the substitution dynamical system. Subsequently, we offer a characterization of their convergence and provide estimates for the rate of convergence. We apply the proposed theory to some guiding examples.


title: Banach lattices with upper $p$-estimates: free and injective objects

abstract: We study the free Banach lattice $FBL^{(p,\infty)}[E]$ with upper $p$-estimates generated by a Banach space $E$. Using a classical result of Pisier on factorization through $L^{p,\infty}(\mu)$ together with a finite dimensional reduction, it is shown that the spaces $\ell^{p,\infty}(n)$ witness the universal property of $FBL^{(p,\infty)}[E]$ isomorphically. As a consequence, we obtain a functional representation for $FBL^{(p,\infty)}[E]$. More generally, our proof allows us to identify the norm of any free Banach lattice over $E$ associated with a rearrangement invariant function space. After obtaining the above functional representation, we take the first steps towards analyzing the fine structure of $FBL^{(p,\infty)}[E]$. Notably, we prove that the norm for $FBL^{(p,\infty)}[E]$ cannot be isometrically witnessed by $L^{p,\infty}(\mu)$ and settle the question of characterizing when an embedding between Banach spaces extends to a lattice embedding between the corresponding free Banach lattices with upper $p$-estimates. To prove this latter result, we introduce a novel push-out argument, which when combined with the injectivity of $\ell^p$ allows us to give an alternative proof of the subspace problem for free $p$-convex Banach lattices. On the other hand, we prove that $\ell^{p,\infty}$ is not injective in the class of Banach lattices with upper $p$-estimates, elucidating one of many difficulties arising in the study of $FBL^{(p,\infty)}[E]$.


title: Asympotic bounds for Bombieri's inequality on products of homogeneous polynomials

abstract: Let $P$ be a fixed homogeneous polynomial. We present a sharp condition on $P$ guaranteeing the existence of asymptotically larger bounds in Bombieri's inequality, so for every homogeneous polynomial $q_m$ of degree $m$ we have \begin{equation*} \left\Vert P q_{m}\right\Vert _{a}\geq C_{P} m^{l\left( P\right) /2}\left\Vert q_{m}\right\Vert _{a}, \end{equation*} where $\| \cdot \| _{a}$ denotes the apolar norm. Explicit estimates for $C_P > 0$ and $l(P) > 0$ are given.


abstract: The aim of the present paper is to establish a Bialy-Mironov type rigidity for centrally symmetric symplectic billiards. For a centrally symmetric $C^2$ strongly-convex domain $D$ with boundary $\partial D$, assume that the symplectic billiard map has a (simple) continuous invariant curve $\delta \subset \mathcal{P}$ of rotation number $1/4$ (winding once around $\partial D$) and consisting only of $4$-periodic orbits. If one of the parts between $\delta$ and each boundary of the phase-space is entirely foliated by continuous invariant closed (not null-homotopic) curves, then $\partial D$ is an ellipse. The differences with Birkhoff billiards are essentially two: it is possible to assume the existence of the foliation in one of the parts of the phase-space detected by the curve $\delta$, and the result is obtained by tracing back the problem directly to the totally integrable case.


title: Beyond Language Models: Byte Models are Digital World Simulators

abstract: Traditional deep learning often overlooks bytes, the basic units of the digital world, where all forms of information and operations are encoded and manipulated in binary format. Inspired by the success of next token prediction in natural language processing, we introduce bGPT, a model with next byte prediction to simulate the digital world. bGPT matches specialized models in performance across various modalities, including text, audio, and images, and offers new possibilities for predicting, simulating, and diagnosing algorithm or hardware behaviour. It has almost flawlessly replicated the process of converting symbolic music data, achieving a low error rate of 0.0011 bits per byte in converting ABC notation to MIDI format. In addition, bGPT demonstrates exceptional capabilities in simulating CPU behaviour, with an accuracy exceeding 99.99% in executing various operations. Leveraging next byte prediction, models like bGPT can directly learn from vast binary data, effectively simulating the intricate patterns of the digital world.


title: A rigorous approach to the sharp interface limit for phase-field models of tumor growth

abstract: In this paper we consider two diffuse interface models for tumor growth coupling a Cahn-Hilliard type equation for the tumor phase parameter to a reaction-diffusion type equation for the nutrient. The models are distinguished by the presence of two different coupling source terms. For such problems, we address the question of the limit, as the diffuse interface parameter tends to zero, from diffuse interface models to sharp interface ones, justifying rigorously what was deduced via formal asymptotics in [18]. The resulting evolutions turn out to be varifold solutions to Mullins-Sekerka type flows for the tumor region suitably coupled with the equation for the nutrient.


title: Broken detailed balance and entropy production in directed networks

abstract: The structure of a complex network plays a crucial role in determining its dynamical properties. In this work, we show that the the degree to which a network is directed and hierarchically organised is closely associated with the degree to which its dynamics break detailed balance and produce entropy. We consider a range of dynamical processes and show how different directed network features affect their entropy production rate. We begin with an analytical treatment of a 2-node network followed by numerical simulations of synthetic networks using the preferential attachment and Erd\"os-Renyi algorithms. Next, we analyse a collection of 97 empirical networks to determine the effect of complex real-world topologies. Finally, we present a simple method for inferring broken detailed balance and directed network structure from multivariate time-series and apply our method to identify non-equilibrium dynamics and hierarchical organisation in both human neuroimaging and financial time-series. Overall, our results shed light on the consequences of directed network structure on non-equilibrium dynamics and highlight the importance and ubiquity of hierarchical organisation and non-equilibrium dynamics in real-world systems.


title: Tailor-designed models for the turbulent velocity gradient through normalizing flow

abstract: Small-scale turbulence can be comprehensively described in terms of velocity gradients, which makes them an appealing starting point for low-dimensional modeling. Typical models consist of stochastic equations based on closures for non-local pressure and viscous contributions. The fidelity of the resulting models depends on the accuracy of the underlying modeling assumptions. Here, we discuss an alternative data-driven approach leveraging machine learning to derive a velocity gradient model which captures its statistics by construction. We use a normalizing flow to learn the velocity gradient probability density function (PDF) from direct numerical simulation (DNS) of incompressible turbulence. Then, by using the equation for the single-time PDF of the velocity gradient, we construct a deterministic, yet chaotic, dynamical system featuring the learned steady-state PDF by design. Finally, utilizing gauge terms for the velocity gradient single-time statistics, we optimize the time correlations as obtained from our model against the DNS data. As a result, the model time realizations statistically closely resemble the time series from DNS.


title: Trajectory Consistency Distillation: Improved Latent Consistency Distillation by Semi-Linear Consistency Function with Trajectory Mapping

abstract: Latent Consistency Model (LCM) extends the Consistency Model to the latent space and leverages the guided consistency distillation technique to achieve impressive performance in accelerating text-to-image synthesis. However, we observed that LCM struggles to generate images with both clarity and detailed intricacy. Consequently, we introduce Trajectory Consistency Distillation (TCD), which encompasses trajectory consistency function and strategic stochastic sampling. The trajectory consistency function diminishes the parameterisation and distillation errors by broadening the scope of the self-consistency boundary condition with trajectory mapping and endowing the TCD with the ability to accurately trace the entire trajectory of the Probability Flow ODE in semi-linear form with an Exponential Integrator. Additionally, strategic stochastic sampling provides explicit control of stochastic and circumvents the accumulated errors inherent in multi-step consistency sampling. Experiments demonstrate that TCD not only significantly enhances image quality at low NFEs but also yields more detailed results compared to the teacher model at high NFEs.


title: Effective Message Hiding with Order-Preserving Mechanisms

abstract: Message hiding, a technique that conceals secret message bits within a cover image, aims to achieve an optimal balance among message capacity, recovery accuracy, and imperceptibility. While convolutional neural networks have notably improved message capacity and imperceptibility, achieving high recovery accuracy remains challenging. This challenge arises because convolutional operations struggle to preserve the sequential order of message bits and effectively address the discrepancy between these two modalities. To address this, we propose StegaFormer, an innovative MLP-based framework designed to preserve bit order and enable global fusion between modalities. Specifically, StegaFormer incorporates three crucial components: Order-Preserving Message Encoder (OPME), Decoder (OPMD) and Global Message-Image Fusion (GMIF). OPME and OPMD aim to preserve the order of message bits by segmenting the entire sequence into equal-length segments and incorporating sequential information during encoding and decoding. Meanwhile, GMIF employs a cross-modality fusion mechanism to effectively fuse the features from the two uncorrelated modalities. Experimental results on the COCO and DIV2K datasets demonstrate that StegaFormer surpasses existing state-of-the-art methods in terms of recovery accuracy, message capacity, and imperceptibility. We will make our code publicly available.


title: MemoNav: Working Memory Model for Visual Navigation

abstract: Image-goal navigation is a challenging task that requires an agent to navigate to a goal indicated by an image in unfamiliar environments. Existing methods utilizing diverse scene memories suffer from inefficient exploration since they use all historical observations for decision-making without considering the goal-relevant fraction. To address this limitation, we present MemoNav, a novel memory model for image-goal navigation, which utilizes a working memory-inspired pipeline to improve navigation performance. Specifically, we employ three types of navigation memory. The node features on a map are stored in the short-term memory (STM), as these features are dynamically updated. A forgetting module then retains the informative STM fraction to increase efficiency. We also introduce long-term memory (LTM) to learn global scene representations by progressively aggregating STM features. Subsequently, a graph attention module encodes the retained STM and the LTM to generate working memory (WM) which contains the scene features essential for efficient navigation. The synergy among these three memory types boosts navigation performance by enabling the agent to learn and leverage goal-relevant scene features within a topological map. Our evaluation on multi-goal tasks demonstrates that MemoNav significantly outperforms previous methods across all difficulty levels in both Gibson and Matterport3D scenes. Qualitative results further illustrate that MemoNav plans more efficient routes.


title: A Bayesian approach to uncover spatio-temporal determinants of heterogeneity in repeated cross-sectional health surveys

abstract: In several countries, including Italy, a prominent approach to population health surveillance involves conducting repeated cross-sectional surveys at short intervals of time. These surveys gather information on the health status of individual respondents, including details on their behaviors, risk factors, and relevant socio-demographic information. While the collected data undoubtedly provides valuable information, modeling such data presents several challenges. For instance, in health risk models, it is essential to consider behavioral information, spatio-temporal dynamics, and disease co-occurrence. In response to these challenges, our work proposes a multivariate spatio-temporal logistic model for chronic disease diagnoses. Predictors are modeled using individual risk factor covariates and a latent individual propensity to the disease. Leveraging a state space formulation of the model, we construct a framework in which spatio-temporal heterogeneity in regression parameters is informed by exogenous spatial information, corresponding to different spatial contextual risk factors that may affect health and the occurrence of chronic diseases in different ways. To explore the utility and the effectiveness of our method, we analyze behavioral and risk factor surveillance data collected in Italy (PASSI), which is well-known as a country characterized by high peculiar administrative, social and territorial diversities reflected on high variability in morbidity among population subgroups.


title: Decoupled Subgraph Federated Learning

abstract: We address the challenge of federated learning on graph-structured data distributed across multiple clients. Specifically, we focus on the prevalent scenario of interconnected subgraphs, where interconnections between different clients play a critical role. We present a novel framework for this scenario, named FedStruct, that harnesses deep structural dependencies. To uphold privacy, unlike existing methods, FedStruct eliminates the necessity of sharing or generating sensitive node features or embeddings among clients. Instead, it leverages explicit global graph structure information to capture inter-node dependencies. We validate the effectiveness of FedStruct through experimental results conducted on six datasets for semi-supervised node classification, showcasing performance close to the centralized approach across various scenarios, including different data partitioning methods, varying levels of label availability, and number of clients.


title: Horizontal semiconcavity for the square of Carnot-Carath\'eodory distance on ideal Carnot groups and applications to Hamilton-Jacobi equations

abstract: We show that the square of Carnot-Carath\'eodory distance from the origin, in ideal Carnot groups, enjoys the horizontal semiconcavity (h-semiconcavity) everywhere in the group including the origin. We apply this property to show h-semiconcavity for the solutions of a class of non-coercive evolutive Hamilton-Jacobi equations, by using the associated Hopf-Lax solutions.


title: 5.0 $\mu$m emitting Interband Cascade Lasers with Superlattice and Bulk AlGaAsSb Claddings

abstract: We present a comparison between interband cascade lasers (ICLs) with a 6-stage active region emitting at 5 $\mu$m with AlSb/InAs superlattice claddings and with bulk Al_0.85 Ga_0.15 As_0.07 Sb_0.93 claddings. Utilizing bulk AlGaAsSb claddings with their lower refractive index compared to the more commonly used AlSb/InAs superlattice claddings, the mode-confinement in the active region increases by 14.4% resulting in an improvement of the lasing threshold current density. For broad area laser and under pulsed excitation, the ICL with AlGaAsSb claddings shows a lower threshold current density of J_th=396 A/cm$^2$ compared to J_th=521 A/cm$^2$ for the reference ICL with superlattice claddings. Additionally, a higher characteristic temperature was obtained for the ICL with bulk claddings. A measured pulsed operation is observed up to 65 C.


title: Conversational Language Models for Human-in-the-Loop Multi-Robot Coordination

abstract: With the increasing prevalence and diversity of robots interacting in the real world, there is need for flexible, on-the-fly planning and cooperation. Large Language Models are starting to be explored in a multimodal setup for communication, coordination, and planning in robotics. Existing approaches generally use a single agent building a plan, or have multiple homogeneous agents coordinating for a simple task. We present a decentralised, dialogical approach in which a team of agents with different abilities plans solutions through peer-to-peer and human-robot discussion. We suggest that argument-style dialogues are an effective way to facilitate adaptive use of each agent's abilities within a cooperative team. Two robots discuss how to solve a cleaning problem set by a human, define roles, and agree on paths they each take. Each step can be interrupted by a human advisor and agents check their plans with the human. Agents then execute this plan in the real world, collecting rubbish from people in each room. Our implementation uses text at every step, maintaining transparency and effective human-multi-robot interaction.


title: Teaching Large Language Models an Unseen Language on the Fly

abstract: Existing large language models struggle to support numerous low-resource languages, particularly the extremely low-resource ones, for which there is minimal training data available for effective parameter updating. We thus investigate whether LLMs can learn a new language on the fly solely through prompting. To study this question, we collect a research suite for Zhuang, a language supported by no LLMs currently. We introduce DiPMT++, a framework for adapting LLMs to unseen languages by in-context learning. Using a dictionary and 5K parallel sentences only, DiPMT++ significantly enhances the performance of GPT-4 from 0 to 16 BLEU for Chinese-to-Zhuang translation and achieves 32 BLEU for Zhuang-to-Chinese translation. We also validate the effectiveness of our framework on Kalamang, another unseen language. Furthermore, we demonstrate the practical utility of DiPMT++ in aiding humans in translating completely unseen languages, which could contribute to the preservation of linguistic diversity.


title: Disturbance Decoupling Problem for $n$-link chain pendulum on a cart system

abstract: A disturbance decoupling problem for a $n$-link chain pendulum on a cart is considered. A model of the cart developed in a coordinate-free framework and the linearized equations of this system are considered from [1]. It is shown that it is possible to design a suitable state feedback such that the angular position or velocity of the $n^{th}$-link can always be decoupled from the disturbance coming at the cart.


title: Improved bounds for skew corner-free sets

abstract: We construct skew corner-free subsets of $[n]^2$ of size $n^2\exp(-O(\sqrt{\log n}))$, thereby improving on recent bounds of the form $\Omega(n^{5/4})$ obtained by Pohoata and Zakharov. In the other direction, we prove that any such set has size at most $O(n^2(\log n)^{-c})$ for some absolute constant $c > 0$. This improves on the previously best known upper bound, coming from Shkredov's work on the corners theorem.


title: Improving Legal Judgement Prediction in Romanian with Long Text Encoders

abstract: In recent years,the entire field of Natural Language Processing (NLP) has enjoyed amazing novel results achieving almost human-like performance on a variety of tasks. Legal NLP domain has also been part of this process, as it has seen an impressive growth. However, general-purpose models are not readily applicable for legal domain. Due to the nature of the domain (e.g. specialized vocabulary, long documents) specific models and methods are often needed for Legal NLP. In this work we investigate both specialized and general models for predicting the final ruling of a legal case, task known as Legal Judgment Prediction (LJP). We particularly focus on methods to extend to sequence length of Transformer-based models to better understand the long documents present in legal corpora. Extensive experiments on 4 LJP datasets in Romanian, originating from 2 sources with significantly different sizes and document lengths, show that specialized models and handling long texts are critical for a good performance.


title: Towards Assessing Spread in Sets of Software Architecture Designs

abstract: Several approaches have recently used automated techniques to generate architecture design alternatives by means of optimization techniques. These approaches aim at improving an initial architecture with respect to quality aspects, such as performance, reliability, or maintainability. In this context, each optimization experiment usually produces a different set of architecture alternatives that is characterized by specific settings. As a consequence, the designer is left with the task of comparing such sets to identify the settings that lead to better solution sets for the problem. To assess the quality of solution sets, multi-objective optimization commonly relies on quality indicators. Among these, the quality indicator for the maximum spread estimates the diversity of the generated alternatives, providing a measure of how much of the solution space has been explored. However, the maximum spread indicator is computed only on the objective space and does not consider architectural information (e.g., components structure, design decisions) from the architectural space. In this paper, we propose a quality indicator for the spread that assesses the diversity of alternatives by taking into account architectural features. To compute the spread, we rely on a notion of distance between alternatives according to the way they were generated during the optimization. We demonstrate how our architectural quality indicator can be applied to a dataset from the literature.


title: Point Processes and spatial statistics in time-frequency analysis

abstract: A finite-energy signal is represented by a square-integrable, complex-valued function $t\mapsto s(t)$ of a real variable $t$, interpreted as time. Similarly, a noisy signal is represented by a random process. Time-frequency analysis, a subfield of signal processing, amounts to describing the temporal evolution of the frequency content of a signal. Loosely speaking, if $s$ is the audio recording of a musical piece, time-frequency analysis somehow consists in writing the musical score of the piece. Mathematically, the operation is performed through a transform $\mathcal{V}$, mapping $s \in L^2(\mathbb{R})$ onto a complex-valued function $\mathcal{V}s \in L^2(\mathbb{R}^2)$ of time $t$ and angular frequency $\omega$. The squared modulus $(t, \omega) \mapsto \vert\mathcal{V}s(t,\omega)\vert^2$ of the time-frequency representation is known as the spectrogram of $s$; in the musical score analogy, a peaked spectrogram at $(t_0,\omega_0)$ corresponds to a musical note at angular frequency $\omega_0$ localized at time $t_0$. More generally, the intuition is that upper level sets of the spectrogram contain relevant information about in the original signal. Hence, many signal processing algorithms revolve around identifying maxima of the spectrogram. In contrast, zeros of the spectrogram indicate perfect silence, that is, a time at which a particular frequency is absent. Assimilating $\mathbb{R}^2$ to $\mathbb{C}$ through $z = \omega + \mathrm{i}t$, this chapter focuses on time-frequency transforms $\mathcal{V}$ that map signals to analytic functions. The zeros of the spectrogram of a noisy signal are then the zeros of a random analytic function, hence forming a Point Process in $\mathbb{C}$. This chapter is devoted to the study of these Point Processes, to their links with zeros of Gaussian Analytic Functions, and to designing signal detection and denoising algorithms using spatial statistics.


title: StarCoder 2 and The Stack v2: The Next Generation

abstract: The BigCode project, an open-scientific collaboration focused on the responsible development of Large Language Models for Code (Code LLMs), introduces StarCoder2. In partnership with Software Heritage (SWH), we build The Stack v2 on top of the digital commons of their source code archive. Alongside the SWH repositories spanning 619 programming languages, we carefully select other high-quality data sources, such as GitHub pull requests, Kaggle notebooks, and code documentation. This results in a training set that is 4x larger than the first StarCoder dataset. We train StarCoder2 models with 3B, 7B, and 15B parameters on 3.3 to 4.3 trillion tokens and thoroughly evaluate them on a comprehensive set of Code LLM benchmarks. We find that our small model, StarCoder2-3B, outperforms other Code LLMs of similar size on most benchmarks, and also outperforms StarCoderBase-15B. Our large model, StarCoder2- 15B, significantly outperforms other models of comparable size. In addition, it matches or outperforms CodeLlama-34B, a model more than twice its size. Although DeepSeekCoder- 33B is the best-performing model at code completion for high-resource languages, we find that StarCoder2-15B outperforms it on math and code reasoning benchmarks, as well as several low-resource languages. We make the model weights available under an OpenRAIL license and ensure full transparency regarding the training data by releasing the SoftWare Heritage persistent IDentifiers (SWHIDs) of the source code data.


title: On an $n$-ary generalization of the Lie representation

abstract: We continue our study, initiated in our prior work with Richard Stanley, of the representation of the symmetric group on the multilinear component of an $n$-ary generalization of the free Lie algebra known as the free Fillipov $n$-algebra with $k$ brackets. Our ultimate aim is to determine the multiplicities of the irreducible representations in this representation. This had been done for the ordinary Lie representation ($n=2$ case) by Kraskiewicz and Weyman. The $k=2$ case was handled in our prior work, where the representation was shown to be isomorphic to $S^{2^{n-1}1}$. In this paper, for general $n$ and $k$, we obtain decomposition results that enable us to prove that in the $k=3$ case, the representation is isomorphic to $S^{3^{n-1}1} \oplus S^{3^{n-2}21^2}$.


title: The coarse flag Hilbert-Poincar\'e series of the braid arrangement

abstract: The paper concerns the coarse flag Hilbert-Poincar\'e series of Maglione-Voll in the case of the braid arrangement associated to the symmetric group. We explicitly construct a companion statistic $\operatorname{ino} : \mathfrak{S}_{n+1} \times \operatorname{Sym}(n) \rightarrow \mathbb{N}$ for the descent statistic on $\operatorname{Sym}(n)$ using reverse $(P,\omega)$-partitions and quasisymmetric functions.


title: Proximal Dogleg Opportunistic Majorization for Nonconvex and Nonsmooth Optimization

abstract: We consider minimizing a function consisting of a quadratic term and a proximable term which is possibly nonconvex and nonsmooth. This problem is also known as scaled proximal operator. Despite its simple form, existing methods suffer from slow convergence or high implementation complexity or both. To overcome these limitations, we develop a fast and user-friendly second-order proximal algorithm. Key innovation involves building and solving a series of opportunistically majorized problems along a hybrid Newton direction. The approach directly uses the precise Hessian of the quadratic term, and calculates the inverse only once, eliminating the iterative numerical approximation of the Hessian, a common practice in quasi-Newton methods. The algorithm's convergence to a critical point is established, and local convergence rate is derived based on the Kurdyka-Lojasiewicz property of the objective function. Numerical comparisons are conducted on well-known optimization problems. The results demonstrate that the proposed algorithm not only achieves a faster convergence but also tends to converge to a better local optimum compare to benchmark algorithms.


title: Deep Mapper Graph and its Application to Visualize Plausible Pathways on High-Dimensional Distribution with Small Time-Complexity

abstract: Mapper is a topology based data analysis method that extracts topological features from high-dimensional data. The Mapper algorithm requires a filter function that maps the dataset to a Euclidian space and a clustering method, that is performed on the original dataset. This produces a graph which represents the shape of the original data. In this work, we use Mapper to uncover the conformational change of protein structures and we choose the filter function from a parameterized family, based on a deep neural network architecture. By optimizing its parameters with respect to an Energy-loss function derived from a theoretical background, we produce a Mapper graph that unveils the conformational pathways undertaken by the studied protein. Our method tackles conformational pathway detection in a unsupervised manner and therefore greatly reduces the manual and time costs necessary in this task.


title: Study of Long Range Force in P2SO and T2HKK

abstract: In this paper we have studied the sensitivity of the future long-baseline neutrino experiments P2SO and T2HKK to the long-range force (LRF). In the context of these two experiments, our aim is to study: (i) the capability to put bounds on the LRF parameters, (ii) effect of LRF in the measurement of standard oscillation parameters and (iii) capability to constrain the mass of the new gauge boson and the value of new coupling constant, that gives rise to LRF due to matter density in Sun. In our study, we find that among the different neutrino experiments, the best bound on the LRF parameters including mass of the new gauge boson and the value of new coupling constant will come from the P2SO experiment. Our study also shows that LRF has non-trivial effect on the determination of the standard neutrino oscillation parameters except the precision of $\Delta m^2_{31}$. For this parameter, the precision remains unaltered in the presence of LRF for both these experiments.


title: Boundary Regularity of Harmonic maps from $RCD(K,N)$-space to $CAT(0)$-space

abstract: We establish the boundary regularity of harmonic maps from $RCD(K, N)$ metric measure spaces into $CAT(0)$ metric spaces.


title: ModZoo: A Large-Scale Study of Modded Android Apps and their Markets

abstract: We present the results of the first large-scale study into Android markets that offer modified or modded apps: apps whose features and functionality have been altered by a third-party. We analyse over 146k (thousand) apps obtained from 13 of the most popular modded app markets. Around 90% of apps we collect are altered in some way when compared to the official counterparts on Google Play. Modifications include games cheats, such as infinite coins or lives; mainstream apps with premium features provided for free; and apps with modified advertising identifiers or excluded ads. We find the original app developers lose significant potential revenue due to: the provision of paid for apps for free (around 5% of the apps across all markets); the free availability of premium features that require payment in the official app; and modified advertising identifiers. While some modded apps have all trackers and ads removed (3%), in general, the installation of these apps is significantly more risky for the user than the official version: modded apps are ten times more likely to be marked as malicious and often request additional permissions.


title: Structure of Periodic Orbit Families in the Hill Restricted 4-Body Problem

abstract: The Hill Restricted 4-Body Problem (HR4BP) is a coherent time-periodic model that can be used to represent motion in the Sun-Earth-Moon (SEM) system. Periodic orbits were computed in this model to better understand the periodic orbit family structures that exist in these types of systems. First, periodic orbits in the Circular Restricted 3-Body Problem (CR3BP) representation of the Earth-Moon (EM) system were identified. A Melnikov-type function was used to identify a set of candidate points on the EM CR3BP periodic orbits to start a continuation algorithm. A pseudo-arclength continuation scheme was then used to obtain the corresponding periodic orbit families in the HR4BP when including the effect of the Sun. Bifurcation points were identified in the computed families to obtain additional orbit families.


title: Quantitative homogenization for log-normal coefficients via Malliavin calculus: the one-dimensional case

abstract: The quantitative analysis of stochastic homogenization problems has been a very active field in the last fifteen years. Whereas the first results were motivated by applied questions (namely, the numerical approximation of homogenized coefficients), the more recent achievements in the field are much more analytically-driven and focus on the subtle interplay between PDE analysis (and in particular elliptic regularity theory) and probability (concentration, stochastic cancellations, scaling limits). The aim of this article is threefold. First we provide a complete and self-contained analysis for the popular example of log-normal coefficients with possibly fat tails in dimension $d=1$, establishing new results on the accuracy of the two-scale expansion and characterizing fluctuations (in the perspective of uncertainty quantification). Second, we work in a context where explicit formulas allow us to by-pass analytical difficulties and therefore mostly focus on the probabilistic side of the theory. Last, the one-dimensional setting gives intuition on the available results in higher dimension (provided results are correctly reformulated) to which we give precise entries to the recent literature.


title: Prime isogenous discriminant ideal twins

abstract: Let $E_{1}$ and $E_{2}$ be elliptic curves defined over a number field $K$. We say that $E_{1}$ and $E_{2}$ are discriminant ideal twins if they are not $K$-isomorphic and have the same minimal discriminant ideal and conductor. Such curves are said to be discriminant twins if, for each prime $\mathfrak{p}$ of $K$, there are $\mathfrak{p}$-minimal models for $E_{1}$ and $E_{2}$ whose discriminants are equal. This article explicitly classifies all prime-isogenous discriminant (ideal) twins over $\mathbb{Q}$. We obtain this classification as a consequence of our main results, which constructively gives all $p$-isogenous discriminant ideal twins over number fields where $p\in\left\{ 2,3,5,7,13\right\}$, i.e., where $X_0(p)$ has genus $0$. In particular, we find that up to twist, there are finitely many $p$-isogenous discriminant ideal twins if and only if $K$ is $\mathbb{Q}$ or an imaginary quadratic field. In the latter case, we provide instructions for finding the finitely many pairs of $j$-invariants that result in $p$-isogenous discriminant ideal twins. We prove our results by considering the local data of parameterized $p$-isogenous elliptic curves.


title: Data Transfer Optimizations for Host-CPU and Accelerators in AXI4MLIR

abstract: As custom hardware accelerators become more prevalent, it becomes increasingly important to automatically generate efficient host-driver code that can fully leverage the capabilities of these accelerators. This approach saves time and reduces the likelihood of errors that can occur during manual implementation. AXI4MLIR extends the MLIR compiler framework to generate host-driver code for custom accelerators for linear algebra problems. By leveraging specific compiler optimizations, we can further increase accelerator utilization. In this work we offer two key observations through a MatMul accelerator case study. First, the accelerator's compute core utilization is less than 10%, and second, the critical latency bottleneck is caused by copying data between the heap and memory-mapped DMA buffers. We identify a set of missing host code optimizations to improve the under-utilization and the latency bottleneck. Therefore, we propose three key host-code data-movement-related optimizations, extending AXI4MLIR. The optimizations provide DMA-based data allocation, coalescing of DMA transfers, and pipelining of the accelerator's load, compute, and store stages.