title: Skin Lesion Segmentation Improved by Transformer-based Networks with Inter-scale Dependency Modeling

abstract: Melanoma, a dangerous type of skin cancer resulting from abnormal skin cell growth, can be treated if detected early. Various approaches using Fully Convolutional Networks (FCNs) have been proposed, with the U-Net architecture being prominent To aid in its diagnosis through automatic skin lesion segmentation. However, the symmetrical U-Net model's reliance on convolutional operations hinders its ability to capture long-range dependencies crucial for accurate medical image segmentation. Several Transformer-based U-Net topologies have recently been created to overcome this limitation by replacing CNN blocks with different Transformer modules to capture local and global representations. Furthermore, the U-shaped structure is hampered by semantic gaps between the encoder and decoder. This study intends to increase the network's feature re-usability by carefully building the skip connection path. Integrating an already calculated attention affinity within the skip connection path improves the typical concatenation process utilized in the conventional skip connection path. As a result, we propose a U-shaped hierarchical Transformer-based structure for skin lesion segmentation and an Inter-scale Context Fusion (ISCF) method that uses attention correlations in each stage of the encoder to adaptively combine the contexts from each stage to mitigate semantic gaps. The findings from two skin lesion segmentation benchmarks support the ISCF module's applicability and effectiveness. The code is publicly available at \url{https://github.com/saniaesk/skin-lesion-segmentation}


title: FMRT: Learning Accurate Feature Matching with Reconciliatory Transformer

abstract: Local Feature Matching, an essential component of several computer vision tasks (e.g., structure from motion and visual localization), has been effectively settled by Transformer-based methods. However, these methods only integrate long-range context information among keypoints with a fixed receptive field, which constrains the network from reconciling the importance of features with different receptive fields to realize complete image perception, hence limiting the matching accuracy. In addition, these methods utilize a conventional handcrafted encoding approach to integrate the positional information of keypoints into the visual descriptors, which limits the capability of the network to extract reliable positional encoding message. In this study, we propose Feature Matching with Reconciliatory Transformer (FMRT), a novel Transformer-based detector-free method that reconciles different features with multiple receptive fields adaptively and utilizes parallel networks to realize reliable positional encoding. Specifically, FMRT proposes a dedicated Reconciliatory Transformer (RecFormer) that consists of a Global Perception Attention Layer (GPAL) to extract visual descriptors with different receptive fields and integrate global context information under various scales, Perception Weight Layer (PWL) to measure the importance of various receptive fields adaptively, and Local Perception Feed-forward Network (LPFFN) to extract deep aggregated multi-scale local feature representation. Extensive experiments demonstrate that FMRT yields extraordinary performance on multiple benchmarks, including pose estimation, visual localization, homography estimation, and image matching.


title: MULTITuDE: Large-Scale Multilingual Machine-Generated Text Detection Benchmark

abstract: There is a lack of research into capabilities of recent LLMs to generate convincing text in languages other than English and into performance of detectors of machine-generated text in multilingual settings. This is also reflected in the available benchmarks which lack authentic texts in languages other than English and predominantly cover older generators. To fill this gap, we introduce MULTITuDE, a novel benchmarking dataset for multilingual machine-generated text detection comprising of 74,081 authentic and machine-generated texts in 11 languages (ar, ca, cs, de, en, es, nl, pt, ru, uk, and zh) generated by 8 multilingual LLMs. Using this benchmark, we compare the performance of zero-shot (statistical and black-box) and fine-tuned detectors. Considering the multilinguality, we evaluate 1) how these detectors generalize to unseen languages (linguistically similar as well as dissimilar) and unseen LLMs and 2) whether the detectors improve their performance when trained on multiple languages.


title: Analyzing the contribution of different passively collected data to predict Stress and Depression

abstract: The possibility of recognizing diverse aspects of human behavior and environmental context from passively captured data motivates its use for mental health assessment. In this paper, we analyze the contribution of different passively collected sensor data types (WiFi, GPS, Social interaction, Phone Log, Physical Activity, Audio, and Academic features) to predict daily selfreport stress and PHQ-9 depression score. First, we compute 125 mid-level features from the original raw data. These 125 features include groups of features from the different sensor data types. Then, we evaluate the contribution of each feature type by comparing the performance of Neural Network models trained with all features against Neural Network models trained with specific feature groups. Our results show that WiFi features (which encode mobility patterns) and Phone Log features (which encode information correlated with sleep patterns), provide significative information for stress and depression prediction.


title: Sampling the reciprocal Coulomb potential in finite and anisotropic cells

abstract: We present a robust strategy to numerically sample the Coulomb potential in reciprocal space for periodic Born-von Karman cells of general shape. Our approach tackles two common issues of plane-wave based implementations of Coulomb integrals under periodic boundary conditions, the treatment of the singularity at the Brillouin-zone center, as well as quadrature errors, which can cause severe convergence problems in anisotropic cells, necessary for the calculation of low-dimensional systems. We apply our strategy to the Hartree-Fock (HF) and coupled cluster (CC) theory and discuss the consequences of different sampling strategies on the different theories. We show that sampling the Coulomb potential via the widely used probe-charge Ewald method is unsuitable for CC calculations in anisotropic cells. To demonstrate the applicability of our developed approach, we study two representative, low-dimensional use cases: the infinite carbon chain, for which we report the first periodic CCSD(T) potential energy surface, as well as a surface slab of lithium hydride, for which we demonstrate the impact of different sampling strategies for calculating surface energies. We find that our Coulomb sampling strategy serves as a vital solution, addressing the critical need for improved accuracy in plane-wave based CC calculations for low-dimensional systems.


title: Statistical and dynamical properties of polarised crowd

abstract: We present a minimal computational model to mimic the crowd in marathon race. We aim to examine the influence of frontliners on crowd dynamics by comparing the simulated races with and without their presence. The primary outcome of our study revealed that the local velocity and density of the participants exhibit a wave pattern similar to what is observed in actual races. Another important result we obtained is that the travelling wave in the crowd consistently propagates with a constant speed, irrespective of the system size under consideration. The dynamic of participants in the longitudinal direction mainly contributes for the velocity fluctuation and the fluctuation in the transverse direction is suppressed. In the absence of frontliners, the fluctuations in density and velocity weakens without significantly influencing the other statistical and dynamical characteristics of the crowd. It is also observed that the density wave travels faster than the velocity wave. Through this research, we aim to enhance our understanding of crowd motion, which can inform the development of effective crowd management strategies and contribute to the successful control of such events.


title: Make Your Decision Convincing! A Unified Two-Stage Framework: Self-Attribution and Decision-Making

abstract: Explaining black-box model behavior with natural language has achieved impressive results in various NLP tasks. Recent research has explored the utilization of subsequences from the input text as a rationale, providing users with evidence to support the model decision. Although existing frameworks excel in generating high-quality rationales while achieving high task performance, they neglect to account for the unreliable link between the generated rationale and model decision. In simpler terms, a model may make correct decisions while attributing wrong rationales, or make poor decisions while attributing correct rationales. To mitigate this issue, we propose a unified two-stage framework known as Self-Attribution and Decision-Making (SADM). Through extensive experiments on five reasoning datasets from the ERASER benchmark, we demonstrate that our framework not only establishes a more reliable link between the generated rationale and model decision but also achieves competitive results in task performance and the quality of rationale. Furthermore, we explore the potential of our framework in semi-supervised scenarios.


title: The pseudospectrum of an operator with Bessel-type singularities

abstract: In this paper we examine the asymptotic structure of the pseudospectrum of the singular Sturm-Liouville operator $L=\partial_x(f\partial_x)+\partial_x$ subject to periodic boundary conditions on a symmetric interval, where the coefficient $f$ is a regular odd function that has only a simple zero at the origin. The operator $L$ is closely related to a remarkable model examined by Davies in 2007, which exhibits surprising spectral properties balancing symmetries and strong non-self-adjointness. In our main result, we derive a concrete construction of classical pseudo-modes for $L$ and give explicit exponential bounds of growth for the resolvent norm in rays away from the spectrum.


title: Fair $\omega$-Regular Games

abstract: We consider two-player games over finite graphs in which both players are restricted by fairness constraints on their moves. Given a two player game graph $G=(V,E)$ and a set of fair moves $E_f\subseteq E$ a player is said to play "fair" in $G$ if they choose an edge $e \in E_f$ infinitely often whenever the source vertex of $e$ is visited infinitely often. Otherwise, they play "unfair". We equip such games with two $\omega$-regular winning conditions $\alpha$ and $\beta$ deciding the winner of mutually fair and mutually unfair plays, respectively. Whenever one player plays fair and the other plays unfair, the fairly playing player wins the game. The resulting games are called "fair $\alpha/\beta$ games". We formalize fair $\alpha/\beta$ games and show that they are determined. For fair parity/parity games, i.e., fair $\alpha/\beta$ games where $\alpha$ and $\beta$ are given each by a parity condition over $G$, we provide a polynomial reduction to (normal) parity games via a gadget construction inspired by the reduction of stochastic parity games to parity games. We further give a direct symbolic fixpoint algorithm to solve fair parity/parity games. On a conceptual level, we illustrate the translation between the gadget-based reduction and the direct symbolic algorithm which uncovers the underlying similarities of solution algorithms for fair and stochastic parity games, as well as for the recently considered class of fair games where only one player is restricted by fair moves.


title: Hunayn: Elevating Translation Beyond the Literal

abstract: This project introduces an advanced English-to-Arabic translator surpassing conventional tools. Leveraging the Helsinki transformer (MarianMT), our approach involves fine-tuning on a self-scraped, purely literary Arabic dataset. Evaluations against Google Translate show consistent outperformance in qualitative assessments. Notably, it excels in cultural sensitivity and context accuracy. This research underscores the Helsinki transformer's superiority for English-to-Arabic translation using a Fusha dataset.


title: Lie triple 2-algebras

abstract: We invent a new cohomology theory for Lie triple algebras. Using this cohomology, we introduce the notions of 2-term $L_\infty$-triple algebras and Lie triple 2-algebras. We prove that the category of 2-term $L_\infty$-triple algebras is equivalent to the category of Lie triple 2-algebras. Crossed modules of Lie triple algebras are studied in detail.


title: Three Questions Concerning the Use of Large Language Models to Facilitate Mathematics Learning

abstract: Due to the remarkable language understanding and generation abilities of large language models (LLMs), their use in educational applications has been explored. However, little work has been done on investigating the pedagogical ability of LLMs in helping students to learn mathematics. In this position paper, we discuss the challenges associated with employing LLMs to enhance students' mathematical problem-solving skills by providing adaptive feedback. Apart from generating the wrong reasoning processes, LLMs can misinterpret the meaning of the question, and also exhibit difficulty in understanding the given questions' rationales when attempting to correct students' answers. Three research questions are formulated.


title: Copnumbers of periodic graphs

abstract: A periodic temporal graph $\mathcal{G}=(G_0, G_1, \dots, G_{p-1})^*$ is an infinite periodic sequence of graphs $G_i=(V,E_i)$ where $G=(V,\cup_i E_i)$ is called the footprint. Recently, the arena where the Cops and Robber game is played has been extended from a graph to a periodic graph; in this case, the copnumber is also the minimum number of cops sufficient for capturing the robber. We study the connections and distinctions between the copnumber $c(\mathcal{G})$ of a periodic graph $\mathcal{G}$ and the copnumber $c(G)$ of its footprint $G$ and establish several facts. For instance, we show that the smallest periodic graph with $c(\mathcal{G}) = 3$ has at most $8$ nodes; in contrast, the smallest graph $G$ with $c(G) = 3$ has $10$ nodes. We push this investigation by generating multiple examples showing how the copnumbers of a periodic graph $\mathcal{G}$, the subgraphs $G_i$ and its footprint $G$ can be loosely tied. Based on these results, we derive upper bounds on the copnumber of a periodic graph from properties of its footprint such as its treewidth.


title: 3D-Mirrorcle: Bridging the Virtual and Real through Depth Alignment in AR Mirror Systems

abstract: Smart mirrors have emerged as a new form of augmented reality (AR) interface for home environments. However, due to the parallax in human vision, one major challenge hindering their development is the depth misalignment between the 3D mirror reflection and the 2D screen display. This misalignment causes the display content to appear as if it is floating above the mirror, thereby disrupting the seamless integration of the two components and impacting the overall quality and functionality of the mirror. In this study, we introduce 3D-Mirrorcle, an innovative augmented reality (AR) mirror system that effectively addresses the issue of depth disparity through a hardware-software co-design on a lenticular grating setup. With our implemented real-time position adjustment and depth adaptation algorithms, the screen display can be dynamically aligned to the user's depth perception for a highly realistic and engaging experience. Our method has been validated through a prototype and hands-on user experiments that engaged 36 participants, and the results show significant improvements in terms of accuracy (24.72% $\uparrow$), immersion(31.4% $\uparrow$), and user satisfaction (44.4% $\uparrow$) compared to the existing works.


title: Zero-Knowledge Proofs for Questionnaire Result Verification in Smart Contracts

abstract: We present an implementation of a Web3 platform that leverages the Groth16 Zero-Knowledge Proof schema to verify the validity of questionnaire results within Smart Contracts. Our approach ensures that the answer key of the questionnaire remains undisclosed throughout the verification process, while ensuring that the evaluation is done fairly. To accomplish this, users respond to a series of questions, and their answers are encoded and securely transmitted to a hidden backend. The backend then performs an evaluation of the user's answers, generating the overall result of the questionnaire. Additionally, it generates a Zero-Knowledge Proof, attesting that the answers were appropriately evaluated against a valid set of constraints. Next, the user submits their result along with the proof to a Smart Contract, which verifies their validity and issues a non-fungible token (NFT) as an attestation of the user's test result. In this research, we implemented the Zero-Knowledge functionality using Circom 2 and deployed the Smart Contract using Solidity, thereby showcasing a practical and secure solution for questionnaire validity verification in the context of Smart Contracts.


title: Semi-supervised multimodal coreference resolution in image narrations

abstract: In this paper, we study multimodal coreference resolution, specifically where a longer descriptive text, i.e., a narration is paired with an image. This poses significant challenges due to fine-grained image-text alignment, inherent ambiguity present in narrative language, and unavailability of large annotated training sets. To tackle these challenges, we present a data efficient semi-supervised approach that utilizes image-narration pairs to resolve coreferences and narrative grounding in a multimodal context. Our approach incorporates losses for both labeled and unlabeled data within a cross-modal framework. Our evaluation shows that the proposed approach outperforms strong baselines both quantitatively and qualitatively, for the tasks of coreference resolution and narrative grounding.


title: Bridging Information-Theoretic and Geometric Compression in Language Models

abstract: For a language model (LM) to faithfully model human language, it must compress vast, potentially infinite information into relatively few dimensions. We propose analyzing compression in (pre-trained) LMs from two points of view: geometric and information-theoretic. We demonstrate that the two views are highly correlated, such that the intrinsic geometric dimension of linguistic data predicts their coding length under the LM. We then show that, in turn, high compression of a linguistic dataset predicts rapid adaptation to that dataset, confirming that being able to compress linguistic information is an important part of successful LM performance. As a practical byproduct of our analysis, we evaluate a battery of intrinsic dimension estimators for the first time on linguistic data, showing that only some encapsulate the relationship between information-theoretic compression, geometric compression, and ease-of-adaptation.


title: Principal 2-blocks with wreathed defect groups up to splendid Morita equivalence

abstract: We classify principal $2$-blocks of finite groups $G$ with Sylow $2$-subgroups isomorphic to a wreathed $2$-group $C_{2^n}\wr C_2$ with $n\geq 2$ up to Morita equivalence and up to splendid Morita equivalence. As a consequence, we obtain that Puig's Finiteness Conjecture holds for such blocks. Furthermore, we obtain a classification of such groups modulo $O_{2'}(G)$, which is a pure group theoretical result and of independent interest. Methods previously applied to blocks of tame representation type are used. They are, however, further developed in order to deal with blocks of wild representation type.


title: What you see is what you get: Experience ranking with deep neural dataset-to-dataset similarity for topological localisation

abstract: Recalling the most relevant visual memories for localisation or understanding a priori the likely outcome of localisation effort against a particular visual memory is useful for efficient and robust visual navigation. Solutions to this problem should be divorced from performance appraisal against ground truth - as this is not available at run-time - and should ideally be based on generalisable environmental observations. For this, we propose applying the recently developed Visual DNA as a highly scalable tool for comparing datasets of images - in this work, sequences of map and live experiences. In the case of localisation, important dataset differences impacting performance are modes of appearance change, including weather, lighting, and season. Specifically, for any deep architecture which is used for place recognition by matching feature volumes at a particular layer, we use distribution measures to compare neuron-wise activation statistics between live images and multiple previously recorded past experiences, with a potentially large seasonal (winter/summer) or time of day (day/night) shift. We find that differences in these statistics correlate to performance when localising using a past experience with the same appearance gap. We validate our approach over the Nordland cross-season dataset as well as data from Oxford's University Parks with lighting and mild seasonal change, showing excellent ability of our system to rank actual localisation performance across candidate experiences.


title: A hot mini-Neptune and a temperate, highly eccentric sub-Saturn around the bright K-dwarf TOI-2134

abstract: We present the characterisation of an inner mini-Neptune in a 9.2292005$\pm$0.0000063 day orbit and an outer mono-transiting sub-Saturn planet in a 95.50$^{+0.36}_{-0.25}$ day orbit around the moderately active, bright (mv=8.9 mag) K5V star TOI-2134. Based on our analysis of five sectors of TESS data, we determine the radii of TOI-2134b and c to be 2.69$\pm$0.16 R$_{e}$ for the inner planet and 7.27$\pm$0.42 R$_{e}$ for the outer one. We acquired 111 radial-velocity spectra with HARPS-N and 108 radial-velocity spectra with SOPHIE. After careful periodogram analysis, we derive masses for both planets via Gaussian Process regression: 9.13$^{+0.78}_{-0.76}$ M$_{e}$ for TOI-2134b and 41.86$^{+7.69}_{-7.83}$ M$_{e}$ for TOI-2134c. We analysed the photometric and radial-velocity data first separately, then jointly. The inner planet is a mini-Neptune with density consistent with either a water-world or a rocky core planet with a low-mass H/He envelope. The outer planet has a bulk density similar to Saturn's. The outer planet is derived to have a significant eccentricity of 0.67$^{+0.05}_{-0.06}$ from a combination of photometry and RVs. We compute the irradiation of TOI-2134c as 1.45$\pm$0.10 times the bolometric flux received by Earth, positioning it for part of its orbit in the habitable sone of its system. We recommend further RV observations to fully constrain the orbit of TOI-2134c. With an expected Rossiter-McLaughlin (RM) effect amplitude of 7.2$\pm$1.3 m/s, we recommend TOI-2134c for follow-up RM analysis to study the spin-orbit architecture of the system. We calculate the Transmission Spectroscopy Metric, and both planets are suitable for bright-mode NIRCam atmospheric characterisation.


title: Evaluating Physically Motivated Loss Functions for Photometric Redshift Estimation

abstract: Physical constraints have been suggested to make neural network models more generalizable, act scientifically plausible, and be more data-efficient over unconstrained baselines. In this report, we present preliminary work on evaluating the effects of adding soft physical constraints to computer vision neural networks trained to estimate the conditional density of redshift on input galaxy images for the Sloan Digital Sky Survey. We introduce physically motivated soft constraint terms that are not implemented with differential or integral operators. We frame this work as a simple ablation study where the effect of including soft physical constraints is compared to an unconstrained baseline. We compare networks using standard point estimate metrics for photometric redshift estimation, as well as metrics to evaluate how faithful our conditional density estimate represents the probability over the ensemble of our test dataset. We find no evidence that the implemented soft physical constraints are more effective regularizers than augmentation.


title: Oversight for Frontier AI through a Know-Your-Customer Scheme for Compute Providers

abstract: To address security and safety risks stemming from highly capable artificial intelligence (AI) models, we propose that the US government should ensure compute providers implement Know-Your-Customer (KYC) schemes. Compute - the computational power and infrastructure required to train and run these AI models - is emerging as a node for oversight. KYC, a standard developed by the banking sector to identify and verify client identity, could provide a mechanism for greater public oversight of frontier AI development and close loopholes in existing export controls. Such a scheme has the potential to identify and warn stakeholders of potentially problematic and/or sudden advancements in AI capabilities, build government capacity for AI regulation, and allow for the development and implementation of more nuanced and targeted export controls. Unlike the strategy of limiting access to AI chip purchases, regulating the digital access to compute offers more precise controls, allowing regulatory control over compute quantities, as well as the flexibility to suspend access at any time. To enact a KYC scheme, the US government will need to work closely with industry to (1) establish a dynamic threshold of compute that effectively captures high-risk frontier model development, while minimizing imposition on developers not engaged in frontier AI; (2) set requirements and guidance for compute providers to keep records and report high-risk entities; (3) establish government capacity that allows for co-design, implementation, administration and enforcement of the scheme; and (4) engage internationally to promote international alignment with the scheme and support its long-term efficacy. While the scheme will not address all AI risks, it complements proposed solutions by allowing for a more precise and flexible approach to controlling the development of frontier AI models and unwanted AI proliferation.


title: Nonreciprocal Coulomb Drag between Quantum Wires in the quasi-1D regime

abstract: Coulomb drag experiments have been an essential tool to study strongly interacting low-dimensional systems. Historically, this effect has been explained in terms of momentum transfer between electrons in the active and the passive layer. Here, we report Coulomb drag measurements between laterally coupled GaAs/AlGaAs quantum wires in the multiple 1D sub-band regime that break Onsager's reciprocity upon both layer and current direction reversal, in contrast to prior 1D Coulomb drag results. The drag signal shows nonlinear I-V characteristics, which are well characterized by a third-order polynomial fit. These findings are qualitatively consistent with a rectified drag signal induced by charge fluctuations. However, the nonmonotonic temperature dependence of this drag signal suggests that strong electron-electron interactions, expected within the Tomonaga-Luttinger liquid framework, remain important and standard interaction models are insufficient to capture the qualitative nature of rectified 1D Coulomb drag.


title: Deep-Learning-based Change Detection with Spaceborne Hyperspectral PRISMA data

abstract: Change detection (CD) methods have been applied to optical data for decades, while the use of hyperspectral data with a fine spectral resolution has been rarely explored. CD is applied in several sectors, such as environmental monitoring and disaster management. Thanks to the PRecursore IperSpettrale della Missione operativA (PRISMA), hyperspectral-from-space CD is now possible. In this work, we apply standard and deep-learning (DL) CD methods to different targets, from natural to urban areas. We propose a pipeline starting from coregistration, followed by CD with a full-spectrum algorithm and by a DL network developed for optical data. We find that changes in vegetation and built environments are well captured. The spectral information is valuable to identify subtle changes and the DL methods are less affected by noise compared to the statistical method, but atmospheric effects and the lack of reliable ground truth represent a major challenge to hyperspectral CD.


title: SurfaceNet: Fault-Tolerant Quantum Networks with Surface Codes

abstract: Quantum networks serve as the means to transmit information, encoded in quantum bits or qubits, between quantum processors that are physically separated. Given the instability of qubits, the design of such networks is challenging, necessitating a careful balance between reliability and efficiency. Typically, quantum networks fall into two categories: those utilize quantum entanglements for quantum teleportation, and those directly transfer quantum message. In this paper, we present SurfaceNet, a quantum network in the second category that employs surface codes as logical qubits for preserving and transferring message. Our approach of using surface codes can fault-tolerantly correct both operational and photon loss errors within the network. We propose a novel one-way quantum communication procedure, designed to better integrate surface codes into our network architecture. We also propose an efficient routing protocol that optimizes resource utilization for our communication procedure. Simulation results demonstrate that SurfaceNet significantly enhances the overall communication fidelity.


title: Precessing Binary Black Holes as Better Dark Sirens

abstract: Gravitational waves (GWs) from binary black hole mergers provide unique opportunities for cosmological inference such as standard sirens. However, the accurate determination of the luminosity distance of the event is limited by the correlation between the distance and the angle between the binary's orbital angular momentum and the observer's line of sight. In the letter, we investigate the effect of precession on the distance estimation of binary black hole events for the third-generation (3G) GW detectors. We find that the precession can enhance the precision of distance inference by one order of magnitude compared to the scenario where precession is absent. The constraint on the host galaxies can be improved due to the improved distance measurement, therefore the Hubble constant can be measured with higher precision and accuracy. These findings underscore the noteworthy impact of precession on the precision of distance estimation for 3G ground-based GW detectors, which can serve as highly accurate probes of the Universe.


title: The scaling limit of the continuous solid-on-solid model

abstract: We prove that the scaling limit of the continuous solid-on-solid model in $\mathbb{Z}^d$ is a multiple of the Gaussian free field.


title: Fluctuating parametric drive of coupled classical oscillators can simulate dissipative qubits

abstract: We investigate a system composed of two coupled oscillators subject to stochastic fluctuations in its internal parameters. In particular, we answer the question whether the well-known classical analogy of the quantum dynamics of two-level systems (TLS), i.e. qubits, provided by two coupled oscillators can be extended to simulate the dynamics of dissipative quantum systems. In the context of nanomechanics, the analogy in the dissipation free case has already been tested in multiple experimental setups, e.g., doubly clamped or cantilever string resonators and optically levitated particles. A well-known result of this classical analogy is that the relaxation and decoherence times of the analog quantum system must be equal, i.e. $T_1=T_2$, in contrast to the general case of quantum TLS. We show that this fundamentally quantum feature, i.e. $T_1\neq T_2$, can be implemented as well in the aforementioned classical systems by adding stochastic fluctuations in their internal parameters. Moreover, we show that these stochastic contributions can be engineered in the control apparatus of those systems, discussing, in particular, the application of this theory to levitated nanoparticles and to nanostring resonators.


title: Counting Divisors in the Outputs of a Binary Quadratic Form

abstract: For a fixed natural number $h$, we prove meromorphic continuation of the two-variable Dirichlet series $\sum_m r_2(m) \sigma_w(m + h) (m + h)^{-s + w}$ to $\mathbb{C}^2$ and use this to obtain asymptotics for $\sum_{m^2 + n^2 \leq X} \sigma_w(m^2 + n^2 + h)$. We approach this continuation through spectral theory. Our results are comparable to earlier work of Bykovskii, who used different methods to study the sums $\sum_{n^2 \leq X} \sigma_w(n^2 + h)$.


title: Free space optics communication system design using iterative optimization

abstract: Free Space Optics (FSO) communication provides attractive bandwidth enhancement with unlicensed bands worldwide spectrum. However, the link capacity and availability are the major concern in the different atmospheric conditions. The reliability of the link is highly dependent on weather conditions that attenuate the signal strength. Hence, this study focuses to mitigate the weather and geographic effects using iterative optimization on FSO communication. The optimization maximizes the visibility distance while guaranteeing the reliability by minimizing the Bit Error Rate (BER). The wireless optical communication system is designed for the data rate of 10 Gbps. The performance of the proposed wireless optical communication is compared against the literature in terms of visibility distance, quality factor, BER, and Eye diagram at different atmospheric conditions. The simulation results have shown that the proposed work has achieved better performance.


title: Optimising the exchange of Majorana zero modes in a quantum nanowire network

abstract: Determination of optimal control protocols for Majorana zero modes during their exchange is a crucial step towards the realisation of the topological quantum computer. In this paper, we study the finite-time exchange process of Majorana zero modes on a network formed by coupled $p$-wave superconducting one-dimensional nanowires. We provide scalable computational tools for optimising such an exchange process relying on deep learning techniques. To accomplish the scalability, we derive and implement an analytic formula for the gradient of the quantum infidelity which measures the error in the topological quantum gate generation in the Majorana zero modes exchange. Our optimisation strategy relies on learning the optimised transport protocol via a neural net which is followed by direct gradient descent fine tuning. The optimised exchange protocols in the super-adiabatic regime discover the fact that the Majorana zero modes must necessarily stop before crossing a junction point in the network. We explain that this is caused by fast changes in the energy gap of the system whenever one of the Majorana zero modes approaches a junction point. In particular, the energy gap exhibits oscillations followed by a sharp jump. We explain this phenomenon analytically in the regime where the Majorana zero modes are completely localised. Finally, we study how the disorder in the quantum nanowire affects the exchange protocols. This shows that understanding the disorder pattern would allow one to improve quantum gate fidelity by one to two orders of magnitude.


title: A mathematical study of joint image reconstruction and motion estimation using optimal control

abstract: Spatiotemporal dynamic medical imaging is critical in clinical applications, such as tomographic imaging of the heart or lung. To address such kind of spatiotemporal imaging problems, essentially, a time-dependent dynamic inverse problem, the variational model with intensity, edge feature and topology preservations was proposed for joint image reconstruction and motion estimation in the previous paper [C. Chen, B. Gris, and O. \"Oktem, SIAM J. Imaging Sci., 12 (2019), pp. 1686--1719], which is suitable to invert the time-dependent sparse sampling data for the motion target with large diffeomorphic deformations. However, the existence of solution to the model has not been given yet. In order to preserve its topological structure and edge feature of the motion target, the unknown velocity field in the model is restricted into the admissible Hilbert space, and the unknown template image is modeled in the space of bounded variation functions. Under this framework, this paper analyzes and proves the solution existence of its time-discretized version from the point view of optimal control. Specifically, there exists a constraint of transport equation in the equivalent optimal control model. We rigorously demonstrate the closure of the equation, including the solution existence and uniqueness, the stability of the associated nonlinear solution operator, and the convergence. Finally, the solution existence of that model can be concluded.


title: Observation of first- and second-order dissipative phase transitions in a two-photon driven Kerr resonator

abstract: In open quantum systems, first- and second-order dissipative phase transitions (DPTs) can emerge in the thermodynamic limit from the competition between unitary evolution, driving terms, and dissipation. The order of a DPT is defined by the continuity properties of the steady state. Until now, second-order DPTs have predominantly been investigated theoretically, while first-order DPTs have been observed in key experiments based on the theory of the single-photon driven Kerr resonator. We present here the first comprehensive experimental and theoretical analysis of both first and second-order DPTs in a two-photon (i.e., parametrically) driven Kerr superconducting resonator. Firstly, we characterize the steady state and its main features at the second- and first-order critical points: squeezing below vacuum and coexistence of two phases with different photon numbers, respectively. Then, by continuously monitoring the system along quantum trajectories, we study the non-equilibrium dynamics across the critical points. We witness the hysteresis cycles associated with the first-order DPT and the spontaneous symmetry breaking due to the second-order DPT. Applying the spectral theory of the Liouvillian superoperator, we develop efficient procedures to quantify the critical slowing down associated with the timescales of these processes. When scaling towards the thermodynamic limit, these timescales span five orders of magnitude. Our results corroborate the predictions derived using the Liouvillian theory of DPTs. This work stands as a compelling example of engineering and controlling of criticality in superconducting circuits. It marks a significant advancement in the use of two-photon driven Kerr resonators for criticality-enhanced quantum information applications.


title: Application Performance Benchmarks for Quantum Computers

abstract: Current technological advancements of quantum computers highlight the need for application-driven, practical and well-defined methods of benchmarking their performance. As the existing NISQ device's quality of two-qubit gate errors rate is even around one percent and the number of qubits is still limited to a few or several dozen, naturally, we need to propose rather small algorithms instances taken from key promising application areas, such as quantum chemistry, combinatorial optimisation or machine learning. While many techniques for assessing the performance of logical components, such as gate fidelity and qubit coherence exist, it is still challenging to extrapolate those values onto the performance of different quantum algorithms and subroutines. This work aims to introduce a series of initial quantum application benchmarks together with a methodology of execution for measuring the performance and fidelity of the results. The proposed suite refers to several variational algorithms widely used on available NISQ devices but also includes examples of quantum circuits designed for a fault-tolerant quantum computer.


title: How Pulsars Shine II: TeV emission

abstract: Recent discovery of 20 TeV radiation from the Vela pulsar confirms (tentatively, at the level of crude estimates) the Aristotelian Electrodynamics picture of pulsar radiation: pulsars shine, mostly in GeV, by annihilating colliding Poynting fluxes into curvature radiation near the light cylinder. The observed GeV photons are the curvature radiation of electrons/positrons with Lorentz factors ~10^8. These "super-ultra-relativistic" electrons/positrons must also produce TeV radiation by inverse Compton if low-energy target photons are available, as they are in the Vela pulsar.


title: Contrastive Preference Learning: Learning from Human Feedback without RL

abstract: Reinforcement Learning from Human Feedback (RLHF) has emerged as a popular paradigm for aligning models with human intent. Typically RLHF algorithms operate in two phases: first, use human preferences to learn a reward function and second, align the model by optimizing the learned reward via reinforcement learning (RL). This paradigm assumes that human preferences are distributed according to reward, but recent work suggests that they instead follow the regret under the user's optimal policy. Thus, learning a reward function from feedback is not only based on a flawed assumption of human preference, but also leads to unwieldy optimization challenges that stem from policy gradients or bootstrapping in the RL phase. Because of these optimization challenges, contemporary RLHF methods restrict themselves to contextual bandit settings (e.g., as in large language models) or limit observation dimensionality (e.g., state-based robotics). We overcome these limitations by introducing a new family of algorithms for optimizing behavior from human feedback using the regret-based model of human preferences. Using the principle of maximum entropy, we derive Contrastive Preference Learning (CPL), an algorithm for learning optimal policies from preferences without learning reward functions, circumventing the need for RL. CPL is fully off-policy, uses only a simple contrastive objective, and can be applied to arbitrary MDPs. This enables CPL to elegantly scale to high-dimensional and sequential RLHF problems while being simpler than prior methods.


title: Broadband switchable infrared absorbers using phase-change materials

abstract: We introduce multilayer structures with the phase-change material Ge$_2$Sb$_2$Te$_5$ (GST) for use as broadband switchable absorbers in the infrared wavelength range. We optimize both the material composition and the layer thicknesses of the multilayer structures, in order to maximize the difference between the absorption for GST in its crystalline phase and the absorption for GST in its amorphous phase in the wavelength range of interest. We show that in the optimized structures near perfect absorption can be switched to very low absorption in a broad wavelength range by switching GST from its crystalline to its amorphous phase. Our optimized lithography-free structures have better performance than harder-to-fabricate three-dimensional structures. Our results could pave the way to a new class of broadband switchable absorbers and thermal sources in the infrared wavelength range.


title: Analysis of Flow Field and Pneumatic Noise of The Flow around Series Cylinder

abstract: Noise generation attributed to the flow around a cylinder and its control is of paramount importance in a multitude of engineering applications. In this study, we employ computational fluid dynamics (CFD) coupled with acoustic analogy, complemented by an analysis grounded in vortex dynamics theory, to explore the potential of wavy cylinder shapes in improving aerodynamic performance and mitigating aerodynamic noise. The series cylinder simplified from the aircraft landing gear and elliptical cylinder noise suppression mechanism is analyzed.Our research outcomes clearly indicate that elliptical ylinder designs have a notable impact on aerodynamic performance and noise reduction. Specifically, these designs effectively lower the average drag coefficient and efficiently suppress lift coefficient fluctuations, resulting in an overall reduction in noise production by the elliptical cylinder. To delve into the underlying mechanisms of noise suppression, our study meticulously examines the process of vorticity generation around the elliptical cylinder's surface. This examination yields profound improvements in the distribution of vorticity on the cylinder's surface, along with a remarkable weakening of the boundary vorticity flux and boundary enstrophy flux distribution. These changes result in a notable reduction in vorticity generation near the elliptical cylinder wall.These alterations directly lead to a substantial contraction in the distribution of vortex structures in the wake of the elliptical cylinder, especially affecting large-scale vortex structures.As a result,The elliptical cylinder noise suppression mechanism we propose can effectively reduce aerodynamic noise.


title: Influence of roughness on the dynamical properties of granular gases

abstract: The statistical-physical study of granular matter is essential to understand, from a fundamental point of view, the many different phenomena emerging in these classical many-body systems. Under rapid-flow conditions, granular materials exhibit a gas-like behavior, which can be described from the kinetic theory of gases. However, unlike molecular gases, a granular gas dissipates energy upon particle collisions, thus being completely out of equilibrium. Then, whereas the simplest model for a molecular gas consists in a collection of elastic hard spheres, a granular gas is simply described by inelastic hard spheres, which is usually improved by the consideration of surface roughness in the particles. Moreover, a granular gas can be found in free evolution, externally driven, or even immersed in an interstitial fluid. In this work, the description of the dynamics of granular gases has been carried out with the aim of identifying the specific properties emerging from the model by considering the surface roughness of granular particles. For that end, we have used the Boltzmann equation, adding in the driven and suspension cases a Fokker--Planck-like term. The main objectives of this thesis have been the theoretical description of the homogeneous states of the considered models, as well as the study of memory effects emerging from out-of-equilibrium states, and, finally, the transport properties and the appearance of instabilities in the hydrodynamic description of a granular gas of inelastic and rough particles. All these kinetic-theory analyses have been supplemented with computer simulations from Monte Carlo and molecular dynamics algorithms.


title: A Review of Prospects and Opportunities in Disassembly with Human-Robot Collaboration

abstract: Product disassembly plays a crucial role in the recycling, remanufacturing, and reuse of end-of-use (EoU) products. However, the current manual disassembly process is inefficient due to the complexity and variation of EoU products. While fully automating disassembly is not economically viable given the intricate nature of the task, there is potential in using human-robot collaboration (HRC) to enhance disassembly operations. HRC combines the flexibility and problem-solving abilities of humans with the precise repetition and handling of unsafe tasks by robots. Nevertheless, numerous challenges persist in technology, human workers, and remanufacturing work, that require comprehensive multidisciplinary research to bridge critical gaps. These challenges have motivated the authors to provide a detailed discussion on the opportunities and obstacles associated with introducing HRC to disassembly. In this regard, the authors have conducted a thorough review of the recent progress in HRC disassembly and present the insights gained from this analysis from three distinct perspectives: technology, workers, and work.


title: Achieving Single-Electron Sensitivity at Enhanced Speed in Fully-Depleted CCDs with Double-Gate MOSFETs

abstract: We introduce a new output amplifier for fully-depleted thick p-channel CCDs based on double-gate MOSFETs. The charge amplifier is an n-type MOSFET specifically designed and operated to couple the fully-depleted CCD with high charge-transfer efficiency. The junction coupling between the CCD and MOSFET channels has enabled high sensitivity, demonstrating sub-electron readout noise in one pixel charge measurement. We have also demonstrated the non-destructive readout capability of the device. Achieving single-electron and single-photon per pixel counting in the entire CCD pixel array has been made possible through the averaging of a small number of samples. We have demonstrated fully-depleted CCD readout with better performance than the floating diffusion and floating gate amplifiers available today, in both single and multisampling regimes, boasting at least six times the speed of floating gate amplifiers.

categories: physics.ins-det astro-ph.EP astro-ph.IM hep-ex


title: Perturbative and semi-analytical solutions to Teukolsky equations for massive fermions

abstract: In this work, we aim at solving the Teukolsky equations for a fermion with mass $m_e\neq 0$ in the presence of a rotating black hole with mass $M$. We consider two different regimes: $\tilde{m}_e= M^{-1} m_e\ll 1$ and $a\omega \ll 1$; $\tilde{m}_e\ll 1$ and $a\omega \gtrsim 1$. We treat each of these two regimes in different ways: we use a perturbative approach for the first, similar to the \emph{usual} one employed for spin 0, 1, 2 and mass-less 1/2 fields, but with two small parameters (a$\omega$ and $\tilde{m}_e$); as we shall see, the second can be treated with a semi-analytical approach. In a forthcoming paper we shall study the remaining two cases in which $\tilde{m}_e \gtrsim 1$, while $a\omega \ll 1$ or $a\omega \gtrsim 1$. The regime with $\tilde{m}_e \ll 1$, but $a\omega\gtrsim 1$ is probably the most interesting from the astrophysics point of view, but this last two cases might be of some interest for the study of the interaction of fermions with very small black holes, which may be formed, for example, in the last stages of the Hawking evaporation.


title: Skyrmion vs. antiskyrmion Hall angles

abstract: We observe significant, 6.5 - 12%, differences between skyrmion and antiskyrmion Hall angles in existing experimental data. To account for them, the Thiele equation is generalized with the transverse velocity component in the collective coordinate of magnetization vector. The corresponding generalized Hall angle is formulated, and its consequences are compared to the data. A plausible physical origin is provided for explaining the Hall angle differences.


title: Open-Loop Control Co-Design of Semisubmersible Floating Offshore Wind Turbines using Linear Parameter-Varying Models

abstract: This paper discusses a framework to design elements of the plant and control systems for floating offshore wind turbines in an integrated manner using linear parameter-varying models. Multiple linearized models derived from aeroelastic simulation software in different operating regions characterized by the incoming wind speed are combined to construct an approximate low-fidelity model of the system. The combined model is then used to generate open-loop, optimal control trajectories as part of a nested control co-design strategy that explores the system's power production and stability using the platform pitch tilt as a proxy in the context of crucial plant and control design decisions. The radial distance between the central and outer columns and the diameter of the outer columns of the semisubmersible platform are the plant design variables. The platform stability and power production are studied for different plant design decisions. The effect of plant decisions on subsequent power production and stability response of the floating wind turbine is quantified in terms of the levelized cost of energy. The results show that the inner-loop constraints and the plant design decisions affect the turbine's power and, subsequently, the cost of the system.


title: ChatGPT as a Software Development Bot: A Project-based Study

abstract: Artificial Intelligence has demonstrated its significance in software engineering through notable improvements in productivity, accuracy, collaboration, and learning outcomes. This study examines the impact of generative AI tools, specifically ChatGPT, on the software development experiences of undergraduate students. Over a three-month project with seven students, ChatGPT was used as a support tool. The research focused on assessing ChatGPT's effectiveness, benefits, limitations, and its influence on learning. Results showed that ChatGPT significantly addresses skill gaps in software development education, enhancing efficiency, accuracy, and collaboration. It also improved participants' fundamental understanding and soft skills. The study highlights the importance of incorporating AI tools like ChatGPT in education to bridge skill gaps and increase productivity, but stresses the need for a balanced approach to technology use. Future research should focus on optimizing ChatGPT's application in various development contexts to maximize learning and address specific challenges.


title: Long increasing subsequences and non-algebraicity

abstract: We use a recent result of Alin Bostan to prove that the generating functions of two infinite sequences of permutation classes are not algebraic.


title: BotChat: Evaluating LLMs' Capabilities of Having Multi-Turn Dialogues

abstract: Interacting with human via high-quality multi-turn dialogues is a key feature of large language models (LLMs). However, human-based evaluation of such capability involves intensive manual labor. This report provides a preliminary evaluation of existing large language models for human-style multi-turn chatting, through an LLM-based approach. We start from real-world human dialogues and keep the very first utterances as the ChatSEED. Then we prompt LLMs to generate a full multi-turn dialogue (tens of utterances) based on the ChatSEED, utterance by utterance. Finally, we adopt state-of-the-art LLMs (GPT-4, \etc) as the judge to evaluate the generated dialogues. With different evaluation protocols, we come to substantially identical conclusions. We find that GPT-4 can generate human-style multi-turn dialogues with impressive quality, significantly outperforms its counterparts. It's difficult for a discriminator to distinguish between GPT-4 generated dialogues and human dialogues. In contrast, other LLMs struggle to generate multi-turn dialogues of satisfactory quality due to poor instruction-following capability, tendency to generate lengthy utterances, or limited general capability. All data and codes will be provided in https://github.com/open-compass/BotChat/ and we hope they can serve as a valuable resource for evaluating multi-turn chatting capabilities of LLMs.


title: Cyclic covers: Hodge theory and categorical Torelli theorems

abstract: Let $Y$ admit a rectangular Lefschetz decomposition of its derived category, and consider a cyclic cover $X\to Y$ ramified over a divisor $Z$. In a setting not considered by Kuznetsov and Perry, we define a subcategory $\mathcal{A}_Z$ of the equivariant derived category of $X$ which contains, rather than is contained in, $\mathrm{D}^{\mathrm{b}}(Z)$. We then show that the equivariant category of the Kuznetsov component of $X$ is decomposed into copies of $\mathcal{A}_Z$. As an application, we relate $\mathcal{A}_Z$ with the cohomology of $Z$ under some numerical assumptions. In particular, we obtain categorical Torelli theorems for the lowest degree prime Fano threefolds of index 1 and 2.


title: Interplay between magnetic order and electronic band structure in ultrathin GdGe$_2$ metalloxene films

abstract: Dimensionality can strongly influence the magnetic structure of solid systems. Here, we predict theoretically and confirm experimentally that the antiferromagnetic (AFM) ground state of bulk gadolinium germanide metalloxene, which has a quasi-layered defective GdGe$_2$ structure, is preserved in the ultrathin film limit. \textit{Ab initio} calculations demonstrate that ultrathin GdGe$_2$ films present in-plane intra-layer ferromagnetic coupling and AFM inter-layer coupling in the ground state. Angle-resolved photoemission spectroscopy finds the AFM-induced band splitting expected for the 2 and 3 GdGe$_2$ trilayer (TL) films, which disappear above the N\'eel temperature. The comparative analysis of isostructural ultrathin DyGe$_2$ and GdSi$_2$ films confirms the magnetic origin of the observed band splitting. These findings are in contrast with the recent report of ferromagnetism in ultrathin metalloxene films, which we ascribe to the presence of uncompensated magnetic moments.


title: Optimal Transport for Measures with Noisy Tree Metric

abstract: We study optimal transport (OT) problem for probability measures supported on a tree metric space. It is known that such OT problem (i.e., tree-Wasserstein (TW)) admits a closed-form expression, but depends fundamentally on the underlying tree structure over supports of input measures. In practice, the given tree structure may be, however, perturbed due to noisy or adversarial measurements. To mitigate this issue, we follow the max-min robust OT approach which considers the maximal possible distances between two input measures over an uncertainty set of tree metrics. In general, this approach is hard to compute, even for measures supported in one-dimensional space, due to its non-convexity and non-smoothness which hinders its practical applications, especially for large-scale settings. In this work, we propose novel uncertainty sets of tree metrics from the lens of edge deletion/addition which covers a diversity of tree structures in an elegant framework. Consequently, by building upon the proposed uncertainty sets, and leveraging the tree structure over supports, we show that the robust OT also admits a closed-form expression for a fast computation as its counterpart standard OT (i.e., TW). Furthermore, we demonstrate that the robust OT satisfies the metric property and is negative definite. We then exploit its negative definiteness to propose positive definite kernels and test them in several simulations on various real-world datasets on document classification and topological data analysis.


title: An experimental study for early diagnosing Parkinson's disease using machine learning

abstract: One of the most catastrophic neurological disorders worldwide is Parkinson's Disease. Along with it, the treatment is complicated and abundantly expensive. The only effective action to control the progression is diagnosing it in the early stage. However, this is challenging because early detection necessitates a large and complex clinical study. This experimental work used Machine Learning techniques to automate the early detection of Parkinson's Disease from clinical characteristics, voice features and motor examination. In this study, we develop ML models utilizing a public dataset of 130 individuals, 30 of whom are untreated Parkinson's Disease patients, 50 of whom are Rapid Eye Movement Sleep Behaviour Disorder patients who are at a greater risk of contracting Parkinson's Disease, and 50 of whom are Healthy Controls. We use MinMax Scaler to rescale the data points, Local Outlier Factor to remove outliers, and SMOTE to balance existing class frequency. Afterwards, apply a number of Machine Learning techniques. We implement the approaches in such a way that data leaking and overfitting are not possible. Finally, obtained 100% accuracy in classifying PD and RBD patients, as well as 92% accuracy in classifying PD and HC individuals.


title: Adaptive Robust Control Contraction Metrics: Transient Bounds in Adaptive Control with Unmatched Uncertainties

abstract: This work presents a new sufficient condition for synthesizing nonlinear controllers that yield bounded closed-loop tracking error transients despite the presence of unmatched uncertainties that are concurrently being learned online. The approach utilizes contraction theory and addresses fundamental limitations of existing approaches by allowing the contraction metric to depend on the unknown model parameters. This allows the controller to incorporate new model estimates generated online without sacrificing its strong convergence and bounded transients guarantees. The approach is specifically designed for trajectory tracking so the approach is more broadly applicable to adaptive model predictive control as well. Simulation results on a nonlinear system with unmatched uncertainties demonstrates the approach.


title: Solutions of the fractional 1-Laplacian: existence, asymptotics and flatness results

abstract: In this paper, we study the existence of solutions of the equation $(-\Delta)_1^s u=f$ in a bounded open set with Lipschitz boundary $\Omega\subset \Rn$, vanishing on $\Co \Omega$, for some given $s\in (0,1)$, and asymptotics as $p\to 1$ of solutions of $(-\Delta)_p^s u=f$. We obtain existence and convergence by comparing the $L^{\frac{n}{s}}$ norm of $f$ to the sharp fractional Sobolev constant, or, when $f$ is non-negative, the weighted fractional Cheegar constant to $1$ -- in this case, the results are sharp. We further prove that solutions are "flat" on sets of positive Lebesgue measure.


title: Soliton resolution and asymptotic stability of $N$-loop-soliton solutions for the Ostrovsky-Vakhnenko equation

abstract: The Ostrovsky-Vakhnenko (OV) equation \begin{align*} &u_{txx}-3\kappa u_x+3u_xu_{xx}+uu_{xxx}=0 \end{align*} is a short wave model of the well-known Degasperis-Procesi equation and admits a $3\times 3$ matrix Lax pair. In this paper, we study the soliton resolution and asymptotic stability of $N$-loop soliton solutions for the OV equation with Schwartz initial data that supports soliton solutions. It is shown that the solution of the Cauchy problem can be characterized via a $3\times 3$ matrix Riemann-Hilbert (RH) problem in a new scale. Further by deforming the RH problem into solvable models with $\bar\partial$-steepest descent method, we obtain the soliton resolution to the OV equation in two space-time regions $x/t>0$ and $x/t<0$. This result also implies that $N$-loop soliton solutions of the OV equation are asymptotically stable.


title: The partition function $p(n)$ in terms of the classical M\"{o}bius function

abstract: In this paper, we investigate decompositions of the partition function $p(n)$ from the additive theory of partitions considering the famous M\"{o}bius function $\mu(n)$ from multiplicative number theory. Some combinatorial interpretations are given in this context. Our work extends several analogous identities proved recently relating $p(n)$ and Euler's totient function $\varphi(n)$. Keywords: Lambert series; M\"{o}bius function; $q$-series; partition function


title: Benchmarking and Improving Text-to-SQL Generation under Ambiguity

abstract: Research in Text-to-SQL conversion has been largely benchmarked against datasets where each text query corresponds to one correct SQL. However, natural language queries over real-life databases frequently involve significant ambiguity about the intended SQL due to overlapping schema names and multiple confusing relationship paths. To bridge this gap, we develop a novel benchmark called AmbiQT with over 3000 examples where each text is interpretable as two plausible SQLs due to lexical and/or structural ambiguity. When faced with ambiguity, an ideal top-$k$ decoder should generate all valid interpretations for possible disambiguation by the user. We evaluate several Text-to-SQL systems and decoding algorithms, including those employing state-of-the-art LLMs, and find them to be far from this ideal. The primary reason is that the prevalent beam search algorithm and its variants, treat SQL queries as a string and produce unhelpful token-level diversity in the top-$k$. We propose LogicalBeam, a new decoding algorithm that navigates the SQL logic space using a blend of plan-based template generation and constrained infilling. Counterfactually generated plans diversify templates while in-filling with a beam-search that branches solely on schema names provides value diversity. LogicalBeam is up to $2.5$ times more effective than state-of-the-art models at generating all candidate SQLs in the top-$k$ ranked outputs. It also enhances the top-$5$ Exact and Execution Match Accuracies on SPIDER and Kaggle DBQA.


title: On Q-balls in Anti de Sitter Space

abstract: We perform a general analysis of thin-wall Q-balls in AdS space. We provide numeric solutions and highly accurate analytic approximations over much of the parameter space. These analytic solutions show that AdS Q-balls exhibit significant differences from the corresponding flat space solitons. This includes having a maximum radius beyond which the Q-balls are unstable to a new type of state where the Q-ball coexists with a gas of massive particles. The phase transition to this novel state is found to be a zero-temperature third-order transition. This, through the AdS/CFT correspondence, has implications for a scalar condensate in the boundary theory.


title: Arabic Dialect Identification under Scrutiny: Limitations of Single-label Classification

abstract: Automatic Arabic Dialect Identification (ADI) of text has gained great popularity since it was introduced in the early 2010s. Multiple datasets were developed, and yearly shared tasks have been running since 2018. However, ADI systems are reported to fail in distinguishing between the micro-dialects of Arabic. We argue that the currently adopted framing of the ADI task as a single-label classification problem is one of the main reasons for that. We highlight the limitation of the incompleteness of the Dialect labels and demonstrate how it impacts the evaluation of ADI systems. A manual error analysis for the predictions of an ADI, performed by 7 native speakers of different Arabic dialects, revealed that $\approx$ 66% of the validated errors are not true errors. Consequently, we propose framing ADI as a multi-label classification task and give recommendations for designing new ADI datasets.


title: Probing eccentric higher order modes through effective chirp mass model

abstract: The three observational runs of advanced LIGO and Virgo detectors have detected ~90 compact binary coalescence events with most of them being quasi-circular compact binary merger events. Astrophysical models predict compact binary mergers with appreciable non-zero eccentricity if in dense stellar environments like globular clusters, AGN discs. Gravitational wave searches from eccentric systems are either limited to very low eccentricities or rely on model-agnostic time-frequency-based searches. Typically, gravitational waves from eccentric systems with moderate eccentricities carry non-negligible energy in the eccentric higher order modes. In this work, using the effective chirp mass model developed using EccentricTD waveform, we develop a phenomenological scaling relation for the eccentric higher order mode time-frequency track. Further, we incorporate this additional information from the higher order eccentric mode for non-spinning, stellar mass eccentric binaries to improve the constraint on eccentricity.


title: Hyperbolic Vacua in Minkowski Space

abstract: Families of Lorentz, but not Poincare, invariant vacua are constructed for a massless scalar field in 4D Minkowski space. These are generalizations of the Rindler vacuum with a larger symmetry group. Explicit expressions are given as squeezed excitations of the Poincare vacuum. The effective reduced vacua on the 3D hyperbolic de Sitter slices are the well-known de Sitter $\alpha$-vacua with antipodal singularities in the Wightman function. Several special interesting cases are discussed.


title: Explainable Depression Symptom Detection in Social Media

abstract: Users of social platforms often perceive these sites as supportive spaces to post about their mental health issues. Those conversations contain important traces about individuals' health risks. Recently, researchers have exploited this online information to construct mental health detection models, which aim to identify users at risk on platforms like Twitter, Reddit or Facebook. Most of these models are centred on achieving good classification results, ignoring the explainability and interpretability of the decisions. Recent research has pointed out the importance of using clinical markers, such as the use of symptoms, to improve trust in the computational models by health professionals. In this paper, we propose using transformer-based architectures to detect and explain the appearance of depressive symptom markers in the users' writings. We present two approaches: i) train a model to classify, and another one to explain the classifier's decision separately and ii) unify the two tasks simultaneously using a single model. Additionally, for this latter manner, we also investigated the performance of recent conversational LLMs when using in-context learning. Our natural language explanations enable clinicians to interpret the models' decisions based on validated symptoms, enhancing trust in the automated process. We evaluate our approach using recent symptom-based datasets, employing both offline and expert-in-the-loop metrics to assess the quality of the explanations generated by our models. The experimental results show that it is possible to achieve good classification results while generating interpretable symptom-based explanations.


title: Modular Golden Gate Assembly of Linear DNA Templates for Cell-free Prototyping

abstract: Cell-free transcription and translation (TXTL) systems have emerged as a powerful tool for testing genetic regulatory elements and circuits. Cell-free prototyping can dramatically accelerate the design-build-test cycle of new functions in synthetic biology, in particular when linear DNA templates are used. Here we describe a Golden Gate assisted workflow to rapidly produce linear DNA templates for TXTL reactions by assembling transcriptional units from basic genetic parts of a modular cloning toolbox. Functional DNA templates composed of multiple parts such as promoter, ribosomal binding site (RBS), coding sequence, and terminator are produced in vitro in a one-pot Golden Gate assembly reaction followed by PCR amplification. By eliminating lengthy transformation and cloning steps in cells and by taking advantage of modular cloning toolboxes, our cell-free prototyping workflow can produce data for large numbers of new constructs within a single day.


title: Minimal Mechanisms of Microtubule Length Regulation in Living Cells

abstract: The microtubule cytoskeleton is responsible for sustained, long-range intracellular transport of mRNAs, proteins, and organelles in neurons. Neuronal microtubules must be stable enough to ensure reliable transport, but they also undergo dynamic instability, as their plus and minus ends continuously switch between growth and shrinking. This process allows for continuous rebuilding of the cytoskeleton and for flexibility in injury settings. Motivated by \textit{in vivo} experimental data on microtubule behavior in \textit{Drosophila} neurons, we propose a mathematical model of dendritic microtubule dynamics, with a focus on understanding microtubule length, velocity, and state-duration distributions. We find that limitations on microtubule growth phases are needed for realistic dynamics, but the type of limiting mechanism leads to qualitatively different responses to plausible experimental perturbations. We therefore propose and investigate two minimally-complex length-limiting factors: limitation due to resource (tubulin) constraints and limitation due to catastrophe of large-length microtubules. We combine simulations of a detailed stochastic model with steady-state analysis of a mean-field ordinary differential equations model to map out qualitatively distinct parameter regimes. This provides a basis for predicting changes in microtubule dynamics, tubulin allocation, and the turnover rate of tubulin within microtubules in different experimental environments.


title: EXPLORA: AI/ML EXPLainability for the Open RAN

abstract: The Open Radio Access Network (RAN) paradigm is transforming cellular networks into a system of disaggregated, virtualized, and software-based components. These self-optimize the network through programmable, closed-loop control, leveraging Artificial Intelligence (AI) and Machine Learning (ML) routines. In this context, Deep Reinforcement Learning (DRL) has shown great potential in addressing complex resource allocation problems. However, DRL -based solutions are inherently hard to explain, which hinders their deployment and use in practice. In this paper, we propose EXPLORA, a framework that provides explainability of DRL-based control solutions for the Open RAN ecosystem. EXPLORA synthesizes network-oriented explanations based on an attributed graph that produces a link between the actions taken by a DRL agent (i.e., the nodes of the graph) and the input state space (i.e., the attributes of each node). This novel approach allows EXPLORA to explain models by providing information on the wireless context in which the DRL agent operates. EXPLORA is also designed to be lightweight for real-time operation. We prototype EXPLORA and test it experimentally on an O-RAN-compliant near-real-time RIC deployed on the Colosseum wireless network emulator. We evaluate EXPLORA for agents trained for different purposes and showcase how it generates clear network-oriented explanations. We also show how explanations can be used to perform informative and targeted intent-based action steering and achieve median transmission bitrate improvements of 4% and tail improvements of 10%.


title: Variance Inequalities for Transformed Fr\'echet Means in Hadamard Spaces

abstract: The Fr\'echet mean (or barycenter) generalizes the expectation of a random variable to metric spaces by minimizing the expected squared distance to the random variable. Similarly, the median can be generalized by its property of minimizing the expected absolute distance. We consider the class of transformed Fr\'echet means with nondecreasing, convex transformations that have a concave derivative. This class includes the Fr\'echet median, the Fr\'echet mean, the Huber loss-induced Fr\'echet mean, and other statistics related to robust statistics in metric spaces. We study variance inequalities for these transformed Fr\'echet means. These inequalities describe how the expected transformed distance grows when moving away from a minimizer, i.e., from a transformed Fr\'echet mean. Variance inequalities are useful in the theory of estimation and numerical approximation of transformed Fr\'echet means. Our focus is on variance inequalities in Hadamard spaces - metric spaces with globally nonpositive curvature. Notably, some results are new also for Euclidean spaces. Additionally, we are able to characterize uniqueness of transformed Fr\'echet means, in particular of the Fr\'echet median.


title: Automatic Unit Test Data Generation and Actor-Critic Reinforcement Learning for Code Synthesis

abstract: The advent of large pre-trained language models in the domain of Code Synthesis has shown remarkable performance on various benchmarks, treating the problem of Code Generation in a fashion similar to Natural Language Generation, trained with a Language Modelling (LM) objective. In addition, the property of programming language code being precisely evaluable with respect to its semantics -- through the use of Unit Tests to check its functional correctness -- lends itself to using Reinforcement Learning (RL) as a further training paradigm. Previous work has shown that RL can be applied as such to improve models' coding capabilities; however, such RL-based methods rely on a reward signal based on defined Unit Tests, which are much harder to obtain compared to the huge crawled code datasets used in LM objectives. In this work, we present a novel approach to automatically obtain data consisting of function signatures and associated Unit Tests, suitable for RL training of Code Synthesis models. We also introduce a straightforward, simple yet effective Actor-Critic RL training scheme and show that it, in conjunction with automatically generated training data, leads to improvement of a pre-trained code language model's performance by up to 9.9% improvement over the original underlying code synthesis LM, and up to 4.3% over RL-based models trained with standard PPO or CodeRL.


title: ManifoldNeRF: View-dependent Image Feature Supervision for Few-shot Neural Radiance Fields

abstract: Novel view synthesis has recently made significant progress with the advent of Neural Radiance Fields (NeRF). DietNeRF is an extension of NeRF that aims to achieve this task from only a few images by introducing a new loss function for unknown viewpoints with no input images. The loss function assumes that a pre-trained feature extractor should output the same feature even if input images are captured at different viewpoints since the images contain the same object. However, while that assumption is ideal, in reality, it is known that as viewpoints continuously change, also feature vectors continuously change. Thus, the assumption can harm training. To avoid this harmful training, we propose ManifoldNeRF, a method for supervising feature vectors at unknown viewpoints using interpolated features from neighboring known viewpoints. Since the method provides appropriate supervision for each unknown viewpoint by the interpolated features, the volume representation is learned better than DietNeRF. Experimental results show that the proposed method performs better than others in a complex scene. We also experimented with several subsets of viewpoints from a set of viewpoints and identified an effective set of viewpoints for real environments. This provided a basic policy of viewpoint patterns for real-world application. The code is available at https://github.com/haganelego/ManifoldNeRF_BMVC2023


title: Let's Synthesize Step by Step: Iterative Dataset Synthesis with Large Language Models by Extrapolating Errors from Small Models

abstract: *Data Synthesis* is a promising way to train a small model with very little labeled data. One approach for data synthesis is to leverage the rich knowledge from large language models to synthesize pseudo training examples for small models, making it possible to achieve both data and compute efficiency at the same time. However, a key challenge in data synthesis is that the synthesized dataset often suffers from a large distributional discrepancy from the *real task* data distribution. Thus, in this paper, we propose *Synthesis Step by Step* (**S3**), a data synthesis framework that shrinks this distribution gap by iteratively extrapolating the errors made by a small model trained on the synthesized dataset on a small real-world validation dataset using a large language model. Extensive experiments on multiple NLP tasks show that our approach improves the performance of a small model by reducing the gap between the synthetic dataset and the real data, resulting in significant improvement compared to several baselines: 9.48% improvement compared to ZeroGen and 2.73% compared to GoldGen, and at most 15.17% improvement compared to the small model trained on human-annotated data.


title: A Partition Identity Related to Stanley's Theorem

abstract: In this paper, we use the Lambert series generating function for Euler's totient function to introduce a new identity for the number of $1$'s in the partitions of $n$. A new expansion for Euler's partition function $p(n)$ is derived in this context. These surprising new results connect the famous classical totient function from multiplicative number theory to the additive theory of partitions.


title: StereoMap: Quantifying the Awareness of Human-like Stereotypes in Large Language Models

abstract: Large Language Models (LLMs) have been observed to encode and perpetuate harmful associations present in the training data. We propose a theoretically grounded framework called StereoMap to gain insights into their perceptions of how demographic groups have been viewed by society. The framework is grounded in the Stereotype Content Model (SCM); a well-established theory from psychology. According to SCM, stereotypes are not all alike. Instead, the dimensions of Warmth and Competence serve as the factors that delineate the nature of stereotypes. Based on the SCM theory, StereoMap maps LLMs' perceptions of social groups (defined by socio-demographic features) using the dimensions of Warmth and Competence. Furthermore, the framework enables the investigation of keywords and verbalizations of reasoning of LLMs' judgments to uncover underlying factors influencing their perceptions. Our results show that LLMs exhibit a diverse range of perceptions towards these groups, characterized by mixed evaluations along the dimensions of Warmth and Competence. Furthermore, analyzing the reasonings of LLMs, our findings indicate that LLMs demonstrate an awareness of social disparities, often stating statistical data and research findings to support their reasoning. This study contributes to the understanding of how LLMs perceive and represent social groups, shedding light on their potential biases and the perpetuation of harmful associations.


title: Using Human-like Mechanism to Weaken Effect of Pre-training Weight Bias in Face-Recognition Convolutional Neural Network

abstract: Convolutional neural network (CNN), as an important model in artificial intelligence, has been widely used and studied in different disciplines. The computational mechanisms of CNNs are still not fully revealed due to the their complex nature. In this study, we focused on 4 extensively studied CNNs (AlexNet, VGG11, VGG13, and VGG16) which has been analyzed as human-like models by neuroscientists with ample evidence. We trained these CNNs to emotion valence classification task by transfer learning. Comparing their performance with human data, the data unveiled that these CNNs would partly perform as human does. We then update the object-based AlexNet using self-attention mechanism based on neuroscience and behavioral data. The updated FE-AlexNet outperformed all the other tested CNNs and closely resembles human perception. The results further unveil the computational mechanisms of these CNNs. Moreover, this study offers a new paradigm to better understand and improve CNN performance via human data.


title: On Synthetic Data for Back Translation

abstract: Back translation (BT) is one of the most significant technologies in NMT research fields. Existing attempts on BT share a common characteristic: they employ either beam search or random sampling to generate synthetic data with a backward model but seldom work studies the role of synthetic data in the performance of BT. This motivates us to ask a fundamental question: {\em what kind of synthetic data contributes to BT performance?} Through both theoretical and empirical studies, we identify two key factors on synthetic data controlling the back-translation NMT performance, which are quality and importance. Furthermore, based on our findings, we propose a simple yet effective method to generate synthetic data to better trade off both factors so as to yield a better performance for BT. We run extensive experiments on WMT14 DE-EN, EN-DE, and RU-EN benchmark tasks. By employing our proposed method to generate synthetic data, our BT model significantly outperforms the standard BT baselines (i.e., beam and sampling based methods for data generation), which proves the effectiveness of our proposed methods.


title: Information Value: Measuring Utterance Predictability as Distance from Plausible Alternatives

abstract: We present information value, a measure which quantifies the predictability of an utterance relative to a set of plausible alternatives. We introduce a method to obtain interpretable estimates of information value using neural text generators, and exploit their psychometric predictive power to investigate the dimensions of predictability that drive human comprehension behaviour. Information value is a stronger predictor of utterance acceptability in written and spoken dialogue than aggregates of token-level surprisal and it is complementary to surprisal for predicting eye-tracked reading times.


title: Intriguing Plasma Composition Pattern in a Solar Active Region: a Result of Non-Resonant Alfv\'en Waves?

abstract: The plasma composition of the solar corona is different from that of the solar photosphere. Elements that have a low first ionisation potential (FIP) are preferentially transported to the corona and, therefore, show enhanced abundances in the corona compared to the photosphere. The level of enhancement is measured using the FIP bias parameter. In this work, we use data from the EUV Imaging Spectrometer (EIS) on Hinode to study the plasma composition in an active region following an episode of significant new flux emergence into the pre-existing magnetic environment of the active region. We use two FIP bias diagnostics: Si X 258.375 A/S X 264.233 A (temperature of approximately 1.5 MK) and Ca XIV 193.874 A/Ar XIV 194.396 A (temperature of approximately 4 MK). We observe slightly higher FIP bias values with the Ca/Ar diagnostic than Si/S in the newly emerging loops, and this pattern is much stronger in the preexisting loops (those that had been formed before the flux emergence). This result can be interpreted in the context of the ponderomotive force model, which proposes that the plasma fractionation is generally driven by Alfv\'en waves. Model simulations predict this difference between diagnostics using simple assumptions about the wave properties, particularly that the fractionation is driven by resonant/non-resonant waves in the emerging/preexisting loops. We propose that this results in the different fractionation patterns observed in these two sets of loops.


title: Long-Form Speech Translation through Segmentation with Finite-State Decoding Constraints on Large Language Models

abstract: One challenge in speech translation is that plenty of spoken content is long-form, but short units are necessary for obtaining high-quality translations. To address this mismatch, we adapt large language models (LLMs) to split long ASR transcripts into segments that can be independently translated so as to maximize the overall translation quality. We overcome the tendency of hallucination in LLMs by incorporating finite-state constraints during decoding; these eliminate invalid outputs without requiring additional training. We discover that LLMs are adaptable to transcripts containing ASR errors through prompt-tuning or fine-tuning. Relative to a state-of-the-art automatic punctuation baseline, our best LLM improves the average BLEU by 2.9 points for English-German, English-Spanish, and English-Arabic TED talk translation in 9 test sets, just by improving segmentation.


title: Design and expression of TolC as a recombinant protein vaccine against Shigella flexneri and evaluation of immunogenic response in mice

abstract: Background: Shigella is one of the major cause of dysenteric diarrhea, which is known shigelosis. Shigelosis causes 160,000 deaths annually of diarrheal disease in a global scale especially children less than 5 years old. No licensed vaccine is available against shigelosis, therefore, efforts for develop an effective and safe vaccine against shigella as before needed. The reverse vaccinology (RV) is a novel strategy that evaluate genome or proteome of an organism to find a new promising vaccine candidate. In this study, immunogenicity of a designed-recombinant antigen is evaluated through the insilico studies and animal experiments to predict a new immunogenic candidate against Shigella. Methods: In the first step, proteome of shigella flexneri was obtained from UniProtKB and then the outer membrane and extracellular were predicted. TolC as an outer membrane protein was selected and confirmed. In next steps, pre-selected protein was evaluated for transmembrane domains, homology, conservation, antigenicity, solubility, and B- and T-cell prediction by different online servers. Result: TolC as a conserved outer membrane protein, using different immunoinformatics tools had acceptable scores and was selected as an immunogenic antigen for animal experimenta studies. Recombinant TolC protein after expression and purification, was administered to BALB/c mice intraperitoneally over three routes. The sera of mice was used to evaluate the IgG1 production assay by indirect-ELISA. The immunized mice depicted effective protection against 2 LD50 of shigella flexneri ATCC12022 (challenge study). Conclusion: Therefore, the reverse vaccinology approach and experimental test results demonstrated that TolC as a novel effective and immunogenic antigen is capable for protection against shigellosis.


title: Wave-like Tunneling of Phonons Dominates Glass-like Thermal Transport in Quasi-1D Copper Halide CsCu2I3

abstract: Fundamental understanding of thermal transport in compounds with ultra-low thermal conductivity remains challenging, primarily due to the limitations of conventional lattice dynamics and heat transport models. In this study, we investigate the thermal transport in quasi-one-dimensional (1D) copper halide CsCu2I3 by employing a combination of first principles-based self-consistent phonon calculations and a dual-channel thermal transport model. Our results show that the 0-K unstable soft modes, primarily dominated by Cs and I atoms in CsCu2I3, can be an-harmonically stabilized at ~ 75 K. Furthermore, we predict an ultra-low thermal conductivity of 0.362 Wm^(-1) K^(-1) along the chain axis and 0.201 Wm^(-1) K^(-1) along cross chain direction in CsCu2I3 at 300 K. Importantly, we find that an unexpected anomalous trend of increasing cross-chain thermal conductivity with increasing temperature for CsCu2I3, following a temperature dependence of ~T 0.106, which is atypical for a single crystal and classified as an abnormal glass-like behavior. The peculiar temperature-dependent behavior of thermal conductivity is elucidated by the dominant wave-like tunnelling of phonons in thermal transport of CsCu2I3 along cross-chain direction. In contrast, particle-like phonon propagation primarily contributes to the chain-axis thermal conductivity across the entire temperature range of 300-700 K. The sharp difference in the dominant thermal transport channels between the two crystallographic directions can be attributed to the unique chain-like quasi-1D structure of CsCu2I3. Our study not only illustrates the microscopic mechanisms of thermal transport in CsCu2I3 but also paves the way for searching for and designing materials with ultra-low thermal conductivity.


title: Towards Realistic Mechanisms That Incentivize Federated Participation and Contribution

abstract: Edge device participation in federating learning (FL) is typically studied through the lens of device-server communication (e.g., device dropout) and assumes an undying desire from edge devices to participate in FL. As a result, current FL frameworks are flawed when implemented in realistic settings, with many encountering the free-rider dilemma. In a step to push FL towards realistic settings, we propose RealFM: the first federated mechanism that (1) realistically models device utility, (2) incentivizes data contribution and device participation, (3) provably removes the free-rider dilemma, and (4) relaxes assumptions on data homogeneity and data sharing. Compared to previous FL mechanisms, RealFM allows for a non-linear relationship between model accuracy and utility, which improves the utility gained by the server and participating devices. On real-world data, RealFM improves device and server utility, as well as data contribution, by over 3 and 4 magnitudes respectively compared to baselines.


title: Optimizing Retrieval-augmented Reader Models via Token Elimination

abstract: Fusion-in-Decoder (FiD) is an effective retrieval-augmented language model applied across a variety of open-domain tasks, such as question answering, fact checking, etc. In FiD, supporting passages are first retrieved and then processed using a generative model (Reader), which can cause a significant bottleneck in decoding time, particularly with long outputs. In this work, we analyze the contribution and necessity of all the retrieved passages to the performance of reader models, and propose eliminating some of the retrieved information, at the token level, that might not contribute essential information to the answer generation process. We demonstrate that our method can reduce run-time by up to 62.2%, with only a 2% reduction in performance, and in some cases, even improve the performance results.


title: CAPIVARA: Cost-Efficient Approach for Improving Multilingual CLIP Performance on Low-Resource Languages

abstract: This work introduces CAPIVARA, a cost-efficient framework designed to enhance the performance of multilingual CLIP models in low-resource languages. While CLIP has excelled in zero-shot vision-language tasks, the resource-intensive nature of model training remains challenging. Many datasets lack linguistic diversity, featuring solely English descriptions for images. CAPIVARA addresses this by augmenting text data using image captioning and machine translation to generate multiple synthetic captions in low-resource languages. We optimize the training pipeline with LiT, LoRA, and gradient checkpointing to alleviate the computational cost. Through extensive experiments, CAPIVARA emerges as state of the art in zero-shot tasks involving images and Portuguese texts. We show the potential for significant improvements in other low-resource languages, achieved by fine-tuning the pre-trained multilingual CLIP using CAPIVARA on a single GPU for 2 hours. Our model and code is available at https://github.com/hiaac-nlp/CAPIVARA.


title: Sloshing in containers with vertical walls: isoperimetric inequalities for the fundamental eigenvalue

abstract: One isoperimetric inequality for the fundamental sloshing eigenvalue is derived under the assumption that containers have vertical side walls and either finite or infinite depth. It asserts that among all such containers, whose free surfaces are convex, have two axes of symmetry and a given perimeter length, this eigenvalue is maximized by infinitely deep ones provided the free surface is either the square or the equilateral triangle. The proof is based on the recent isoperimetric result obtained by A. Henrot, A. Lemenant and I.~Lucardesi for the first nonzero eigenvalue of the two-dimensional Neumann Laplacian under the perimeter constraint. Another isoperimetric inequality for the fundamental eigenvalue, which describes sloshing in containers with vertical walls, is a consequence of the classical result due to G. Szeg\H o concerning the first nonzero eigenvalue of the free membrane problem.


title: Light mass window of inert doublet dark matter with lepton portal interaction

abstract: We study phenomenology of a light scalar dark matter (DM). In the model, there are an inert doublet scalar and a singlet Dirac fermion $\psi$, both charged under a global $Z_2$ symmetry. The mass of the lightest inert scalar $H$ can be lighter than 10 GeV by imposing appropriate relations between three scalar quartic couplings. The lightest $Z_2$ odd particle is stable and DM. In this paper, focusing on the parameter space where $H$ is lighter than $\psi$ and is DM, we discuss DM physics related to relic density, direct detection, indirect detection, collider searches and other cosmological observations. We clarify differences from the case where $\psi$ is instead DM, which has been focused on in the previous works.


title: Exploring Linguistic Probes for Morphological Generalization

abstract: Modern work on the cross-linguistic computational modeling of morphological inflection has typically employed language-independent data splitting algorithms. In this paper, we supplement that approach with language-specific probes designed to test aspects of morphological generalization. Testing these probes on three morphologically distinct languages, English, Spanish, and Swahili, we find evidence that three leading morphological inflection systems employ distinct generalization strategies over conjugational classes and feature sets on both orthographic and phonologically transcribed inputs.


title: A new purpose for the $W$-boson mass measurement: searching for New Physics in lepton+$MET$

abstract: We show that the $m_W$ measurement is a direct probe of New Physics (NP) contributing to lepton and missing transverse momentum ($\ell+MET$), independently from indirect tests via the electroweak fit. Such NP modifies the kinematic distributions used to extract $m_W$, necessitating a simultaneous fit to $m_W$ and NP. This effect can in principle bias the $m_W$ measurement, but only to a limited extent for our considered models. Given that, we demonstrate that the agreement at high-precision with SM-predicted shapes results in bounds competitive to, if not exceeding, existing ones for two examples: anomalous $W$ decay involving a $L_{\mu} - L_{\tau}$ gauge boson and $\tilde{\nu}_{l} \tilde{l}$ production in the MSSM.


title: Exchange-driven spin Hall effect in anisotropic ferromagnets

abstract: Crystallographic anisotropy of the spin-dependent conductivity tensor can be exploited to generate transverse spin-polarized current in a ferromagnetic film. This ferromagnetic spin Hall effect is analogous to the spin-splitting effect in altermagnets and does not require spin-orbit coupling. First-principles screening of 41 non-cubic ferromagnets revealed that many of them, when grown as a single crystal with tilted crystallographic axes, can exhibit large spin Hall angles comparable with the best available spin-orbit-driven spin Hall sources. Macroscopic spin Hall effect is possible for uniformly magnetized ferromagnetic films grown on some low-symmetry substrates with epitaxial relations that prevent cancellation of contributions from different orientation domains. Macroscopic response is also possible for any substrate if magnetocrystalline anisotropy is strong enough to lock the magnetization to the crystallographic axes in different orientation domains.