title: Infinitely badly approximable affine forms

abstract: A pair $(A,\mathbf{b})$ of a real $m\times n$ matrix $A$ and $\mathbf{b}\in\mathbb{R}^m$ is said to be $\textit{infinitely badly approximable}$ if \[ \liminf_{\mathbf{q}\in\mathbb{Z}^n, \|\mathbf{q}\|\to\infty} \|\mathbf{q}\|^{\frac{n}{m}}\|A\mathbf{q}-\mathbf{b}\|_{\mathbb{Z}} =\infty, \] where $\|\cdot\|_\mathbb{Z}$ denotes the distance from the nearest integer vector. In this article, we introduce a novel concept of singularity for $(A,\mathbf{b})$ and characterize the infinitely badly approximable property by this singular property. As an application, we compute the Hausdorff dimension of the infinitely badly approximable set. We also discuss dynamical interpretations on the space of grids in $\mathbb{R}^{m+n}$.


title: On the variety of tritangential planes to a general K3 surface of degree 6 and genus 4 in $\mP^4$

abstract: Let $S\subset \mP^4$ be a general K3 surface of degree 6 and genus 4. In this paper we study the irreducible variety $X_S$ of \emph{tritangential planes} to $S$ whose general point is a plane that intersects $S$ in a curvilinear scheme of length six supported at three non collinear points. The variety $X_S$ can be identified as the relevant part of the fixed locus of the so called \emph{Beauville involution} defined on the Hilbert scheme $S[3]$ of 0--dimensional schemes of length three of $S$. In this paper we prove that: (a) $X_S$ has dimension 3, is irreducible and smooth, except for 210 points that are at most of multiplicity 2 for $X_S$; (b) $X_S$, in its natural embedding in the Grassmannian $\mathbb G(2,4)\subset \mP^9$ of planes in $\mP^4$, has degree $152$.


title: Lasso Bandit with Compatibility Condition on Optimal Arm

abstract: We consider a stochastic sparse linear bandit problem where only a sparse subset of context features affects the expected reward function, i.e., the unknown reward parameter has sparse structure. In the existing Lasso bandit literature, the compatibility conditions together with additional diversity conditions on the context features are imposed to achieve regret bounds that only depend logarithmically on the ambient dimension $d$. In this paper, we demonstrate that even without the additional diversity assumptions, the compatibility condition only on the optimal arm is sufficient to derive a regret bound that depends logarithmically on $d$, and our assumption is strictly weaker than those used in the lasso bandit literature under the single parameter setting. We propose an algorithm that adapts the forced-sampling technique and prove that the proposed algorithm achieves $O(\text{poly}\log dT)$ regret under the margin condition. To our knowledge, the proposed algorithm requires the weakest assumptions among Lasso bandit algorithms under a single parameter setting that achieve $O(\text{poly}\log dT)$ regret. Through the numerical experiments, we confirm the superior performance of our proposed algorithm.


title: A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation

abstract: Analysis of Markov Decision Processes (MDP) is often hindered by state space explosion. Abstraction is a well-established technique in model checking to mitigate this issue. This paper presents a novel lazy abstraction method for MDP analysis based on adaptive simulation graphs. Refinement is performed only when new parts of the state space are explored, which makes partial exploration techniques like Bounded Real-Time Dynamic Programming (BRTDP) retain more merged states. Therefore, we propose a combination of lazy abstraction and BRTDP. To evaluate the performance of our algorithm, we conduct initial experiments using the Quantitative Verification Benchmark Set.


title: Melting and Freezing of a Skyrmion Lattice

abstract: We report comprehensive Monte-Carlo studies of the melting of skyrmion lattices in systems of small, medium, and large sizes with the number of skyrmions ranging from $10^{3}$ to over $10^{5}$. Large systems exhibit hysteresis similar to that observed in real experiments on the melting of skyrmion lattices. For sufficiently small systems which achieve thermal equilibrium, a fully reversible sharp solid-liquid transition on temperature with no intermediate hexatic phase is observed. A similar behavior is found on changing the magnetic field that provides the control of pressure in the skyrmion lattice. We find that on heating the melting transition occurs via a formation of grains with different orientations of hexagonal axes. On cooling, the fluctuating grains coalesce into larger clusters until a uniform orientation of hexagonal axes is slowly established. The observed scenario is caused by collective effects involving defects and is more complex than a simple picture of a transition driven by the unbinding and annihilation of dislocation and disclination pairs.


title: Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies

abstract: We consider the verification of neural network policies for reach-avoid control tasks in stochastic dynamical systems. We use a verification procedure that trains another neural network, which acts as a certificate proving that the policy satisfies the task. For reach-avoid tasks, it suffices to show that this certificate network is a reach-avoid supermartingale (RASM). As our main contribution, we significantly accelerate algorithmic approaches for verifying that a neural network is indeed a RASM. The main bottleneck of these approaches is the discretization of the state space of the dynamical system. The following two key contributions allow us to use a coarser discretization than existing approaches. First, we present a novel and fast method to compute tight upper bounds on Lipschitz constants of neural networks based on weighted norms. We further improve these bounds on Lipschitz constants based on the characteristics of the certificate network. Second, we integrate an efficient local refinement scheme that dynamically refines the state space discretization where necessary. Our empirical evaluation shows the effectiveness of our approach for verifying neural network policies in several benchmarks and trained with different reinforcement learning algorithms.


title: LaLonde (1986) after Nearly Four Decades: Lessons Learned

abstract: In 1986, Robert LaLonde published an article that compared nonexperimental estimates to experimental benchmarks (LaLonde 1986). He concluded that the nonexperimental methods at the time could not systematically replicate experimental benchmarks, casting doubt on the credibility of these methods. Following LaLonde's critical assessment, there have been significant methodological advances and practical changes, including (i) an emphasis on estimators based on unconfoundedness, (ii) a focus on the importance of overlap in covariate distributions, (iii) the introduction of propensity score-based methods leading to doubly robust estimators, (iv) a greater emphasis on validation exercises to bolster research credibility, and (v) methods for estimating and exploiting treatment effect heterogeneity. To demonstrate the practical lessons from these advances, we reexamine the LaLonde data and the Imbens-Rubin-Sacerdote lottery data. We show that modern methods, when applied in contexts with sufficient covariate overlap, yield robust estimates for the adjusted differences between the treatment and control groups. However, this does not mean that these estimates are valid. To assess their credibility, validation exercises (such as placebo tests) are essential, whereas goodness of fit tests alone are inadequate. Our findings highlight the importance of closely examining the assignment process, carefully inspecting overlap, and conducting validation exercises when analyzing causal effects with nonexperimental data.


title: Stealing Image-to-Image Translation Models With a Single Query

abstract: Training deep neural networks requires significant computational resources and large datasets that are often confidential or expensive to collect. As a result, owners tend to protect their models by allowing access only via an API. Many works demonstrated the possibility of stealing such protected models by repeatedly querying the API. However, to date, research has predominantly focused on stealing classification models, for which a very large number of queries has been found necessary. In this paper, we study the possibility of stealing image-to-image models. Surprisingly, we find that many such models can be stolen with as little as a single, small-sized, query image using simple distillation. We study this phenomenon on a wide variety of model architectures, datasets, and tasks, including denoising, deblurring, deraining, super-resolution, and biological image-to-image translation. Remarkably, we find that the vulnerability to stealing attacks is shared by CNNs and by models with attention mechanisms, and that stealing is commonly possible even without knowing the architecture of the target model.


title: Stable Coherent Systems

abstract: We describe the notion of stability of coherent systems as a framework to deal with redundancy. We define stable coherent systems and show how this notion can help the design of reliable systems. We demonstrate that the reliability of stable systems can be efficiently computed using the algebraic versions of improved inclusion-exclusion formulas and sum of disjoint products.


title: Collaborative Novel Object Discovery and Box-Guided Cross-Modal Alignment for Open-Vocabulary 3D Object Detection

abstract: Open-vocabulary 3D Object Detection (OV-3DDet) addresses the detection of objects from an arbitrary list of novel categories in 3D scenes, which remains a very challenging problem. In this work, we propose CoDAv2, a unified framework designed to innovatively tackle both the localization and classification of novel 3D objects, under the condition of limited base categories. For localization, the proposed 3D Novel Object Discovery (3D-NOD) strategy utilizes 3D geometries and 2D open-vocabulary semantic priors to discover pseudo labels for novel objects during training. 3D-NOD is further extended with an Enrichment strategy that significantly enriches the novel object distribution in the training scenes, and then enhances the model's ability to localize more novel objects. The 3D-NOD with Enrichment is termed 3D-NODE. For classification, the Discovery-driven Cross-modal Alignment (DCMA) module aligns features from 3D point clouds and 2D/textual modalities, employing both class-agnostic and class-specific alignments that are iteratively refined to handle the expanding vocabulary of objects. Besides, 2D box guidance boosts the classification accuracy against complex background noises, which is coined as Box-DCMA. Extensive evaluation demonstrates the superiority of CoDAv2. CoDAv2 outperforms the best-performing method by a large margin (AP_Novel of 9.17 vs. 3.61 on SUN-RGBD and 9.12 vs. 3.74 on ScanNetv2). Source code and pre-trained models are available at the GitHub project page.


title: Percolation games on rooted, edge-weighted random trees

abstract: Consider a rooted Galton-Watson tree $T$, to each of whose edges we assign, independently, a weight that equals $+1$ with probability $p_{1}$, $0$ with probability $p_{0}$ and $-1$ with probability $p_{-1}=1-p_{1}-p_{0}$. We play a game on this rooted, edge-weighted Galton-Watson tree, involving two players and a token. The token is allowed to be moved from where it is currently located, say a vertex $u$ of $T$, to any child $v$ of $u$. The players begin with initial capitals that amount to $i$ and $j$ units respectively, and a player wins if either she is the first to amass a capital worth $\kappa$ units, where $\kappa$ is a pre-specified positive integer, or her opponent is the first to have her capital dwindle to $0$, or she is able to move the token to a leaf vertex, from where her opponent cannot move it any farther. This paper is concerned with studying the probabilities of the three possible outcomes (i.e. win for the first player, loss for the first player, and draw for both players) of this game, as well as finding conditions under which the expected duration of this game is finite. The theory we develop in this paper for the analysis of this game is further supported by observations obtained via computer simulations, and these observations provide a deeper insight into how the above-mentioned probabilities behave as the underlying parameters and / or offspring distributions are allowed to vary. We conclude the paper with a couple of conjectures, one of which suggests the occurrence of a phase transition phenomenon whereby the probability of draw in this game goes from being $0$ to being strictly positive as the parameter-pair $(p_{0},p_{1})$ is varied suitably while keeping the underlying offspring distribution of $T$ fixed.


title: BoNBoN Alignment for Large Language Models and the Sweetness of Best-of-n Sampling

abstract: This paper concerns the problem of aligning samples from large language models to human preferences using best-of-$n$ sampling, where we draw $n$ samples, rank them, and return the best one. We consider two fundamental problems. First: what is the relationship between best-of-$n$ and approaches to alignment that train LLMs to output samples with a high expected reward (e.g., RLHF or DPO)? To answer this, we embed both the best-of-$n$ distribution and the sampling distributions learned by alignment procedures in a common class of tiltings of the base LLM distribution. We then show that, within this class, best-of-$n$ is essentially optimal in terms of the trade-off between win-rate against the base model vs KL distance from the base model. That is, best-of-$n$ is the best choice of alignment distribution if the goal is to maximize win rate. However, best-of-$n$ requires drawing $n$ samples for each inference, a substantial cost. To avoid this, the second problem we consider is how to fine-tune a LLM to mimic the best-of-$n$ sampling distribution. We derive BoNBoN Alignment to achieve this by exploiting the special structure of the best-of-$n$ distribution. Experiments show that BoNBoN alignment yields substantial improvements in producing a model that is preferred to the base policy while minimally affecting off-target aspects.


title: Harvard Undergraduate Survey on Generative AI

abstract: How has generative AI impacted the experiences of college students? We study the influence of AI on the study habits, class choices, and career prospects of Harvard undergraduates (n=326), finding that almost 90% of students use generative AI. For roughly 25% of these students, AI has begun to substitute for attending office hours and completing required readings. Half of students are concerned that AI will negatively impact their job prospects, and over half of students wish that Harvard had more classes on the future impacts of AI. We also investigate students' outlook on the broader social implications of AI, finding that half of students are worried that AI will increase economic inequality, and 40% believe that extinction risk from AI should be treated as a global priority with the same urgency as pandemics and nuclear war. Around half of students who have taken a class on AI expect AI to exceed human capabilities on almost all tasks within 30 years. We make some recommendations to the Harvard community in light of these results.


title: End-to-End Hybrid Refractive-Diffractive Lens Design with Differentiable Ray-Wave Model

abstract: Hybrid refractive-diffractive lenses combine the light efficiency of refractive lenses with the information encoding power of diffractive optical elements (DOE), showing great potential as the next generation of imaging systems. However, accurately simulating such hybrid designs is generally difficult, and in particular, there are no existing differentiable image formation models for hybrid lenses with sufficient accuracy. In this work, we propose a new hybrid ray-tracing and wave-propagation (ray-wave) model for accurate simulation of both optical aberrations and diffractive phase modulation, where the DOE is placed between the last refractive surface and the image sensor, i.e. away from the Fourier plane that is often used as a DOE position. The proposed ray-wave model is fully differentiable, enabling gradient back-propagation for end-to-end co-design of refractive-diffractive lens optimization and the image reconstruction network. We validate the accuracy of the proposed model by comparing the simulated point spread functions (PSFs) with theoretical results, as well as simulation experiments that show our model to be more accurate than solutions implemented in commercial software packages like Zemax. We demonstrate the effectiveness of the proposed model through real-world experiments and show significant improvements in both aberration correction and extended depth-of-field (EDoF) imaging. We believe the proposed model will motivate further investigation into a wide range of applications in computational imaging, computational photography, and advanced optical design. Code will be released upon publication.


title: Algebroid maps and hyperbolicity of symmetric powers

abstract: Given a complex projective algebraic variety $X$ we define $ h(X)$ as the largest $n$ such that the $n$-th symmetric power of $X$ is (Brody) hyperbolic. Using Nevanlinna theory for algebroid maps, we give non-trivial lower bounds for $ h(X)$. From an arithmetic point of view, the problem is closely related to the finiteness of algebraic points of bounded degree in varieties over number fields. We provide explicit applications of our results in the case of curves embedded in surfaces and in the case of subvarieties of abelian varieties.


title: A level set-based solver for two-phase incompressible flows: Extension to magnetic fluids

abstract: Development of a two-phase incompressible solver for magnetic flows in the magnetostatic case is presented. The proposed numerical toolkit couples the Navier-Stokes equations of hydrodynamics with Maxwell's equations of electromagnetism to model the behaviour of magnetic flows in the presence of a magnetic field. To this end, a rigorous implementation of a second-order two-phase solver for incompressible nonmagnetic flows is introduced first. This solver is implemented in the finite-difference framework, where a fifth-order conservative level set method is employed to capture the evolution of the interface, along with an incompressible solver based on the projection scheme to model the fluids. The solver demonstrates excellent performance even with high density ratios across the interface (Atwood number $\approx 1$), while effectively preserving the mass conservation property. Subsequently, the numerical discretization of Maxwell's equations under the magnetostatic assumption is described in detail, utilizing the vector potential formulation. The primary second-order solver for two-phase flows is extended to the case of magnetic flows, by incorporating the Lorentz force into the momentum equation, accounting for high magnetic permeability ratios across the interface. The implemented solver is then utilized for examining the deformation of ferrofluid droplets in both quiescent and shear flow regimes across various susceptibility values of the droplets. The results suggest that increasing the susceptibility value of the ferrofluid droplet can affect its deformation and rotation in low capillary regimes. In higher capillary flows, increasing the magnetic permeability jump across the interface can further lead to droplet breakup as well. The effect of this property is also investigated for the Rayleigh-Taylor instability growth in magnetic fluids.


title: Arena 3.0: Advancing Social Navigation in Collaborative and Highly Dynamic Environments

abstract: Building upon our previous contributions, this paper introduces Arena 3.0, an extension of Arena-Bench, Arena 1.0, and Arena 2.0. Arena 3.0 is a comprehensive software stack containing multiple modules and simulation environments focusing on the development, simulation, and benchmarking of social navigation approaches in collaborative environments. We significantly enhance the realism of human behavior simulation by incorporating a diverse array of new social force models and interaction patterns, encompassing both human-human and human-robot dynamics. The platform provides a comprehensive set of new task modes, designed for extensive benchmarking and testing and is capable of generating realistic and human-centric environments dynamically, catering to a broad spectrum of social navigation scenarios. In addition, the platform's functionalities have been abstracted across three widely used simulators, each tailored for specific training and testing purposes. The platform's efficacy has been validated through an extensive benchmark and user evaluations of the platform by a global community of researchers and students, which noted the substantial improvement compared to previous versions and expressed interests to utilize the platform for future research and development. Arena 3.0 is openly available at https://github.com/Arena-Rosnav.


title: Influence of joint measurement bases on sharing network nonlocality

abstract: Sharing network nonlocality in an extended quantum network scenario is the new paradigm in the development of quantum theory. In this paper, we investigate the influence of Elegant joint measurement(in short, EJM) bases in an extended bilocal scenario on sharing network nonlocality via sequential measurement. The work essentially based on the newly introduced[Phys. Rev. Lett. 126, 220401(2021)] bilocal inequality with ternary inputs for end parties and EJM as joint measurement bases in $Alice_n-Bob-Charlie_m$ scenario. Here, we are able to capture all simultaneous violation of this inequality for $(n,m)\in \{(2,1),(1,2),(1,1),(2,2)\}$ cases. We further observe the criteria for sharing network nonlocality where we are able to find also the dependence of the sharing on the amount of entanglement of the joint bases. The effect of the nonlinearity in this inequality is also captured in our results with the symmetrical and asymmetrical violation in this extended scenario. The work will generate further the realization of quantum correlations in network scenario.


title: FOCUS: Forging Originality through Contrastive Use in Self-Plagiarism for Language Models

abstract: Pre-trained Language Models (PLMs) have shown impressive results in various Natural Language Generation (NLG) tasks, such as powering chatbots and generating stories. However, an ethical concern arises due to their potential to produce verbatim copies of paragraphs from their training data. This is problematic as PLMs are trained on corpora constructed by human authors. As such, there is a pressing need for research to promote the generation of original content by these models. In this study, we introduce a unique "self-plagiarism" contrastive decoding strategy, aimed at boosting the originality of text produced by PLMs. Our method entails modifying prompts in LLMs to develop an amateur model and a professional model. Specifically, the amateur model is urged to plagiarize using three plagiarism templates we have designed, while the professional model maintains its standard language model status. This strategy employs prompts to stimulate the model's capacity to identify non-original candidate token combinations and subsequently impose penalties. The application of this strategy is integrated prior to the model's final layer, ensuring smooth integration with most existing PLMs (T5, GPT, LLaMA) without necessitating further adjustments. Implementing our strategy, we observe a significant decline in non-original sequences comprised of more than three words in the academic AASC dataset and the story-based ROCStories dataset.


title: Improved upper bounds on Diophantine tuples with the property $D(n)$

abstract: Let $n$ be a non-zero integer. A set $S$ of positive integers is a Diophantine tuple with the property $D(n)$ if $ab+n$ is a perfect square for each $a,b \in S$ with $a \neq b$. It is of special interest to estimate the quantity $M_n$, the maximum size of a Diophantine tuple with the property $D(n)$. In this notes, we show the contribution of intermediate elements is $O(\log \log |n|)$, improving a result by Dujella. As a consequence, we deduce that $M_n\leq (2+o(1))\log |n|$, improving the best-known upper bound on $M_n$ by Becker and Murty.


title: Understanding On-the-Fly End-User Robot Programming

abstract: Novel end-user programming (EUP) tools enable on-the-fly (i.e., spontaneous, easy, and rapid) creation of interactions with robotic systems. These tools are expected to empower users in determining system behavior, although very little is understood about how end users perceive, experience, and use these systems. In this paper, we seek to address this gap by investigating end-user experience with on-the-fly robot EUP. We trained 21 end users to use an existing on-the-fly EUP tool, asked them to create robot interactions for four scenarios, and assessed their overall experience. Our findings provide insight into how these systems should be designed to better support end-user experience with on-the-fly EUP, focusing on user interaction with an automatic program synthesizer that resolves imprecise user input, the use of multimodal inputs to express user intent, and the general process of programming a robot.


title: The Power of Summary-Source Alignments

abstract: Multi-document summarization (MDS) is a challenging task, often decomposed to subtasks of salience and redundancy detection, followed by text generation. In this context, alignment of corresponding sentences between a reference summary and its source documents has been leveraged to generate training data for some of the component tasks. Yet, this enabling alignment step has usually been applied heuristically on the sentence level on a limited number of subtasks. In this paper, we propose extending the summary-source alignment framework by (1) applying it at the more fine-grained proposition span level, (2) annotating alignment manually in a multi-document setup, and (3) revealing the great potential of summary-source alignments to yield several datasets for at least six different tasks. Specifically, for each of the tasks, we release a manually annotated test set that was derived automatically from the alignment annotation. We also release development and train sets in the same way, but from automatically derived alignments. Using the datasets, each task is demonstrated with baseline models and corresponding evaluation metrics to spur future research on this broad challenge.


title: Diffusion-Inspired Quantum Noise Mitigation in Parameterized Quantum Circuits

abstract: Parameterized Quantum Circuits (PQCs) have been acknowledged as a leading strategy to utilize near-term quantum advantages in multiple problems, including machine learning and combinatorial optimization. When applied to specific tasks, the parameters in the quantum circuits are trained to minimize the target function. Although there have been comprehensive studies to improve the performance of the PQCs on practical tasks, the errors caused by the quantum noise downgrade the performance when running on real quantum computers. In particular, when the quantum state is transformed through multiple quantum circuit layers, the effect of the quantum noise happens cumulatively and becomes closer to the maximally mixed state or complete noise. This paper studies the relationship between the quantum noise and the diffusion model. Then, we propose a novel diffusion-inspired learning approach to mitigate the quantum noise in the PQCs and reduce the error for specific tasks. Through our experiments, we illustrate the efficiency of the learning strategy and achieve state-of-the-art performance on classification tasks in the quantum noise scenarios.


title: On the equations of compressible fluid dynamics with Cattaneo-type extensions for the heat flux: Symmetrizability and relaxation structure

abstract: The aim of this work is twofold. From a mathematical point of view, we show the existence of a hyperbolic system of equations that is not symmetrizable in the sense of Friedrichs. Such system appears in the theory of compressible fluid dynamics with Cattaneo-type extensions for the heat flux. In contrast, the linearizations of such system around constant equilibrium solutions have Friedrichs symmetrizers. Then, from a physical perspective, we aim to understand the relaxation term appearing in this system. By noticing the violation of the Kawashima-Shizuta condition, locally and smoothly, with respect to the Fourier frequencies, we construct persistent waves, i.e., solutions preserving the $L^{2}$ norm for all times that are not dissipated by the relaxation terms.


title: Quark orbital angular momentum in the proton from a twist-3 generalized parton distribution

abstract: Quark orbital angular momentum in the proton is evaluated via a Lattice QCD calculation of the second Mellin moment of the twist-3 generalized parton distribution $\widetilde{E}_{2T} $ in the forward limit. The connection between this approach to quark orbital angular momentum and approaches previously utilized in Lattice QCD calculations, via generalized transverse momentum-dependent parton distributions and via Ji's sum rule, is reviewed. This connection can be given in terms of Lorentz invariance and equation of motion relations. The calculation of the second Mellin moment of $\widetilde{E}_{2T} $ proceeds via a finite-momentum proton matrix element of a quark bilocal operator with a straight-line gauge connection and separation in both the longitudinal and transverse directions. The dependence on the former component serves to extract the second Mellin moment, whereas the dependence on the latter component provides a transverse momentum cutoff for the matrix element. Furthermore, a derivative of the matrix element with respect to momentum transfer in the forward limit is required, which is obtained using a direct derivative method. The calculation utilizes a clover fermion ensemble at pion mass 317 MeV. The resulting quark orbital angular momentum is consistent with previous evaluations through alternative approaches, albeit with greater statistical uncertainty using a comparable number of samples.


title: Local Methods with Adaptivity via Scaling

abstract: The rapid development of machine learning and deep learning has introduced increasingly complex optimization challenges that must be addressed. Indeed, training modern, advanced models has become difficult to implement without leveraging multiple computing nodes in a distributed environment. Distributed optimization is also fundamental to emerging fields such as federated learning. Specifically, there is a need to organize the training process to minimize the time lost due to communication. A widely used and extensively researched technique to mitigate the communication bottleneck involves performing local training before communication. This approach is the focus of our paper. Concurrently, adaptive methods that incorporate scaling, notably led by Adam, have gained significant popularity in recent years. Therefore, this paper aims to merge the local training technique with the adaptive approach to develop efficient distributed learning methods. We consider the classical Local SGD method and enhance it with a scaling feature. A crucial aspect is that the scaling is described generically, allowing us to analyze various approaches, including Adam, RMSProp, and OASIS, in a unified manner. In addition to theoretical analysis, we validate the performance of our methods in practice by training a neural network.


title: Criteria for extension of commutativity to fractional iterates of holomorphic self-maps in the unit disc

abstract: Let $\varphi$ be a univalent non-elliptic self-map of the unit disc $\mathbb D$ and let $(\psi_{t})$ be a continuous one-parameter semigroup of holomorphic functions in $\mathbb D$ such that $\psi_{1}\neq\mathrm{id}_{\mathbb D}$ commutes with $\varphi$. This assumption does not imply that all elements of the semigroup $(\psi_t)$ commute with $\varphi$. In this paper, we provide a number of sufficient conditions that guarantee that ${\psi_t\circ\varphi=\varphi\circ\psi_t}$ for all ${t>0}$: this holds, for example, if $\varphi$ and $\psi_1$ have a common boundary (regular or irregular) fixed point different from their common Denjoy-Wolff point $\tau$, or when $\psi_1$ has a boundary regular fixed point ${\sigma\neq\tau}$ at which $\varphi$ is isogonal, or when $(\varphi-\mathrm{id}_{\mathbb D})/(\psi_1-\mathrm{id}_{\mathbb D})$ has an unrestricted limit at $\tau$. In addition, we analyze how $\varphi$ behaves in the petals of the semigroup $(\psi_t)$.


title: Eating Smart: Advancing Health Informatics with the Grounding DINO based Dietary Assistant App

abstract: The Smart Dietary Assistant utilizes Machine Learning to provide personalized dietary advice, focusing on users with conditions like diabetes. This app leverages the Grounding DINO model, which combines a text encoder and image backbone to enhance food item detection without requiring a labeled dataset. With an AP score of 52.5 on the COCO dataset, the model demonstrates high accuracy in real-world scenarios, utilizing attention mechanisms to precisely recognize objects based on user-provided labels and images. Developed using React Native and TypeScript, the app operates seamlessly across multiple platforms and integrates a self-hosted PostgreSQL database, ensuring data integrity and enhancing user privacy. Key functionalities include personalized nutrition profiles, real-time food scanning, and health insights, facilitating informed dietary choices for health management and lifestyle optimization. Future developments aim to integrate wearable technologies for more tailored health recommendations. Keywords: Food Image Recognition, Machine Learning in Nutrition, Zero-Shot Object Detection


title: Simple bounds for the extreme zeroes of Jacobi polynomials

abstract: Some new bounds for the extreme zeroes of Jacobi polynomials are obtained with an elementary approach. A feature of these bounds is their simple forms, which make them easy to work with. Despite their simplicity, our lower bounds for the largest zeroes of Gegenbauer polynomials are compatible with some of the best hitherto known results.


title: Thermal properties of the superconductor-quantum Hall interfaces

abstract: An important route of engineering topological states and excitations is to combine superconductors (SC) with the quantum Hall (QH) effect, and over the past decade, significant progress has been made in this direction. While typical measurements of these states focus on electronic properties, little attention has been paid to the accompanying thermal responses. Here, we examine the thermal properties of the interface between a type-II superconducting electrodes and graphene in the QH regime. We use the thermal noise measurement to probe the local electron temperature of the biased interface. Surprisingly, the measured temperature raise indicates that the superconductor provides a significant thermal conductivity, which is linear in temperature. This suggests electronic heat transport and may be unexpected, because the number of the quasiparticles in the superconductor should be exponentially suppressed. Instead, we attribute the measured electronic heat conductivity to the overlap of the normal states in the vortex cores.


title: Computing Optimal Equilibria in Repeated Games with Restarts

abstract: Infinitely repeated games can support cooperative outcomes that are not equilibria in the one-shot game. The idea is to make sure that any gains from deviating will be offset by retaliation in future rounds. However, this model of cooperation fails in anonymous settings with many strategic agents that interact in pairs. Here, a player can defect and then avoid penalization by immediately switching partners. In this paper, we focus on a specific set of equilibria that avoids this pitfall. In them, agents follow a designated sequence of actions, and restart if their opponent ever deviates. We show that the socially-optimal sequence of actions consists of an infinitely repeating goal value, preceded by a hazing period. We introduce an equivalence relation on sequences and prove that the computational problem of finding a representative from the optimal equivalence class is (weakly) NP-hard. Nevertheless, we present a pseudo-polynomial time dynamic program for this problem, as well as an integer linear program, and show they are efficient in practice. Lastly, we introduce a fully polynomial-time approximation scheme that outputs a hazing sequence with arbitrarily small approximation ratio.


title: Tikhonov regularization of monotone operator flows not only ensures strong convergence of the trajectories but also speeds up the vanishing of the residuals

abstract: In the framework of real Hilbert spaces, we investigate first-order dynamical systems governed by monotone and continuous operators. It has been established that for these systems, only the ergodic trajectory converges to a zero of the operator. A notable example is the counterclockwise $\pi/2$-rotation operator on $\mathbb{R}^2$, which illustrates that general trajectory convergence cannot be expected. However, trajectory convergence is assured for operators with the stronger property of cocoercivity. For this class of operators, the trajectory's velocity and the opertor values along the trajectory converge in norm to zero at a rate of $o(\frac{1}{\sqrt{t}})$ as $t \rightarrow +\infty$. In this paper, we demonstrate that when the monotone operator flow is augmented with a Tikhonov regularization term, the resulting trajectory converges strongly to the element of the set of zeros with minimal norm. In addition, rates of convergence in norm for the trajectory's velocity and the operator along the trajectory can be derived in terms of the regularization function. In some particular cases, these rates of convergence can outperform the ones of the coercive operator flows and can be as fast as $O(\frac{1}{t})$ as $t \rightarrow +\infty$. In this way, we emphasize a surprising acceleration feature of the Tikhonov regularization. Additionally, we explore these properties for monotone operator flows that incorporate time rescaling and an anchor point. For a specific choice of the Tikhonov regularization function, these flows are closely linked to second-order dynamical systems with a vanishing damping term. The convergence and convergence rate results we achieve for these systems complement recent findings for the Fast Optimistic Gradient Descent Ascent (OGDA) dynamics, leading to surprising outcomes.


title: A Tutorial on Doubly Robust Learning for Causal Inference

abstract: Doubly robust learning offers a robust framework for causal inference from observational data by integrating propensity score and outcome modeling. Despite its theoretical appeal, practical adoption remains limited due to perceived complexity and inaccessible software. This tutorial aims to demystify doubly robust methods and demonstrate their application using the EconML package. We provide an introduction to causal inference, discuss the principles of outcome modeling and propensity scores, and illustrate the doubly robust approach through simulated case studies. By simplifying the methodology and offering practical coding examples, we intend to make doubly robust learning accessible to researchers and practitioners in data science and statistics.


title: Exploiting cone approximations in an augmented Lagrangian method for conic optimization

abstract: We propose an algorithm for general nonlinear conic programming which does not require the knowledge of the full cone, but rather a simpler, more tractable, approximation of it. We prove that the algorithm satisfies a strong global convergence property in the sense that it generates a strong sequential optimality condition. In particular, a KKT point is necessarily found when a limit point satisfies Robinson's condition. We conduct numerical experiments minimizing nonlinear functions subject to a copositive cone constraint. In order to do this, we consider a well known polyhedral approximation of this cone by means of refining the polyhedral constraints after each augmented Lagrangian iteration. We show that our strategy outperforms the standard approach of considering a close polyhedral approximation of the full copositive cone in every iteration.


title: LinkLogic: A New Method and Benchmark for Explainable Knowledge Graph Predictions

abstract: While there are a plethora of methods for link prediction in knowledge graphs, state-of-the-art approaches are often black box, obfuscating model reasoning and thereby limiting the ability of users to make informed decisions about model predictions. Recently, methods have emerged to generate prediction explanations for Knowledge Graph Embedding models, a widely-used class of methods for link prediction. The question then becomes, how well do these explanation systems work? To date this has generally been addressed anecdotally, or through time-consuming user research. In this work, we present an in-depth exploration of a simple link prediction explanation method we call LinkLogic, that surfaces and ranks explanatory information used for the prediction. Importantly, we construct the first-ever link prediction explanation benchmark, based on family structures present in the FB13 dataset. We demonstrate the use of this benchmark as a rich evaluation sandbox, probing LinkLogic quantitatively and qualitatively to assess the fidelity, selectivity and relevance of the generated explanations. We hope our work paves the way for more holistic and empirical assessment of knowledge graph prediction explanation methods in the future.


title: DistilDIRE: A Small, Fast, Cheap and Lightweight Diffusion Synthesized Deepfake Detection

abstract: A dramatic influx of diffusion-generated images has marked recent years, posing unique challenges to current detection technologies. While the task of identifying these images falls under binary classification, a seemingly straightforward category, the computational load is significant when employing the "reconstruction then compare" technique. This approach, known as DIRE (Diffusion Reconstruction Error), not only identifies diffusion-generated images but also detects those produced by GANs, highlighting the technique's broad applicability. To address the computational challenges and improve efficiency, we propose distilling the knowledge embedded in diffusion models to develop rapid deepfake detection models. Our approach, aimed at creating a small, fast, cheap, and lightweight diffusion synthesized deepfake detector, maintains robust performance while significantly reducing operational demands. Maintaining performance, our experimental results indicate an inference speed 3.2 times faster than the existing DIRE framework. This advance not only enhances the practicality of deploying these systems in real-world settings but also paves the way for future research endeavors that seek to leverage diffusion model knowledge.


title: Modeling the refractive index profile n(z) of polar ice for ultra-high energy neutrino experiments

abstract: We develop an in-situ index of refraction profile using the transit time of radio signals broadcast from an englacial transmitter to 2-5 km distant radio-frequency receivers, deployed at depths up to 200 m. Maxwell's equations generally admit two ray propagation solutions from a given transmitter, corresponding to a direct path (D) and a refracted path (R); the measured D vs. R (dt(D,R)) timing differences provide constraints on the index of refraction profile near South Pole, where the Askaryan Radio Array (ARA) neutrino observatory is located. We constrain the refractive index profile by simulating D and R ray paths via ray tracing and comparing those to measured dt(D,R) signals. Using previous ice density data as a proxy for n(z), we demonstrate that our data strongly favors a glaciologically-motivated three-phase densification model rather than a single exponential scale height model. Simulations show that the single exponential model overestimates ARA neutrino sensitivity compared to the three-phase model.


title: Chiplet-Gym: Optimizing Chiplet-based AI Accelerator Design with Reinforcement Learning

abstract: Modern Artificial Intelligence (AI) workloads demand computing systems with large silicon area to sustain throughput and competitive performance. However, prohibitive manufacturing costs and yield limitations at advanced tech nodes and die-size reaching the reticle limit restrain us from achieving this. With the recent innovations in advanced packaging technologies, chiplet-based architectures have gained significant attention in the AI hardware domain. However, the vast design space of chiplet-based AI accelerator design and the absence of system and package-level co-design methodology make it difficult for the designer to find the optimum design point regarding Power, Performance, Area, and manufacturing Cost (PPAC). This paper presents Chiplet-Gym, a Reinforcement Learning (RL)-based optimization framework to explore the vast design space of chiplet-based AI accelerators, encompassing the resource allocation, placement, and packaging architecture. We analytically model the PPAC of the chiplet-based AI accelerator and integrate it into an OpenAI gym environment to evaluate the design points. We also explore non-RL-based optimization approaches and combine these two approaches to ensure the robustness of the optimizer. The optimizer-suggested design point achieves 1.52X throughput, 0.27X energy, and 0.01X die cost while incurring only 1.62X package cost of its monolithic counterpart at iso-area.


title: Streaming quanta sensors for online, high-performance imaging and vision

abstract: Recently quanta image sensors (QIS) -- ultra-fast, zero-read-noise binary image sensors -- have demonstrated remarkable imaging capabilities in many challenging scenarios. Despite their potential, the adoption of these sensors is severely hampered by (a) high data rates and (b) the need for new computational pipelines to handle the unconventional raw data. We introduce a simple, low-bandwidth computational pipeline to address these challenges. Our approach is based on a novel streaming representation with a small memory footprint, efficiently capturing intensity information at multiple temporal scales. Updating the representation requires only 16 floating-point operations/pixel, which can be efficiently computed online at the native frame rate of the binary frames. We use a neural network operating on this representation to reconstruct videos in real-time (10-30 fps). We illustrate why such representation is well-suited for these emerging sensors, and how it offers low latency and high frame rate while retaining flexibility for downstream computer vision. Our approach results in significant data bandwidth reductions ~100X and real-time image reconstruction and computer vision -- $10^4$-$10^5$ reduction in computation than existing state-of-the-art approach while maintaining comparable quality. To the best of our knowledge, our approach is the first to achieve online, real-time image reconstruction on QIS.


title: A complete scheme for atom-mediated deterministic photonic graph state generation

abstract: Highly-entangled multi-photon graph states are a crucial resource in photonic quantum computation and communication. Yet, the lack of photon-photon interactions makes the construction of such graph states especially challenging. Typically, these states are produced through probabilistic single-photon sources and linear-optics entangling operations that require indistinguishable photons. The resulting inefficiency of these methods necessitates a large overhead in the number of sources and operations, creating a major bottleneck in the photonic approach. Here, we show how harnessing single-atom-based photonic operations can enable deterministic generation of photonic graph states, while also lifting the requirement for photon indistinguishability. To this end, we introduce a multi-gate quantum node comprised of a single atom in a W-type level scheme coupled to an optical resonator. This configuration provides a versatile toolbox for generating graph states, allowing the operation of two fundamental photon-atom gates, as well as the deterministic generation of single photons. We investigate the implementation of this setup with a $^{87}$Rb atom and evaluate its performance through numerical simulations.


title: Matrix-Valued Measures and Wishart Statistics for Target Tracking Applications

abstract: Ensuring sufficiently accurate models is crucial in target tracking systems. If the assumed models deviate too much from the truth, the tracking performance might be severely degraded. While the models are in general defined using multivariate conditions, the measures used to validate them are most often scalar-valued. In this paper, we propose matrix-valued measures for both offline and online assessment of target tracking systems. Recent results from Wishart statistics, and approximations thereof, are adapted and it is shown how these can be incorporated to infer statistical properties for the eigenvalues of the proposed measures. In addition, we relate these results to the statistics of the baseline measures. Finally, the applicability of the proposed measures are demonstrated using two important problems in target tracking: (i) distributed track fusion design; and (ii) filter model mismatch detection.


title: Quantum Computing in Intelligent Transportation Systems: A Survey

abstract: Quantum computing, a field utilizing the principles of quantum mechanics, promises great advancements across various industries. This survey paper is focused on the burgeoning intersection of quantum computing and intelligent transportation systems, exploring its potential to transform areas such as traffic optimization, logistics, routing, and autonomous vehicles. By examining current research efforts, challenges, and future directions, this survey aims to provide a comprehensive overview of how quantum computing could affect the future of transportation.


title: Collapse of a quantum vortex in an attractive two-dimensional Bose gas

abstract: We experimentally and numerically study the collapse dynamics of a quantum vortex in a two-dimensional atomic superfluid following a fast interaction ramp from repulsion to attraction. We find the conditions and time scales for a superfluid vortex to radially converge into a quasi-stationary density profile, demonstrating the first spontaneous formation of a vortex soliton in an atomic Bose gas. We record an emergent universal dynamics of an azimuthal modulational instability, which amplifies initial density perturbations and leads to the eventual splitting of a vortex soliton or direct fragmentation of a superfluid into disordered, but roughly circular arrays of Townes soliton-like wavepackets. Our study sets the stage for exploring universal out-of-equilibrium dynamics of vortex quantum matter quenched to attractive interactions.


title: Optimal Control of General Impulsive VS-EIAR Epidemic Models with Application to Covid-19

abstract: In this work, we are interested in a VS-EIAR epidemiological model considering vaccinated individuals ${V_i: i=1,\ldots,n}$, where $n\in \mathbb{N}^{*}$. The dynamic of the VS-EIAR model involves several ordinary differential equations that describe the changes in the vaccinated, susceptible, infected, exposed, asymptomatic, and deceased population groups. Our aim is to reduce the number of susceptible, exposed, infected, and asymptomatic individuals by administering vaccination doses to susceptible individuals and treatment to infected population. To achieve this, we utilize optimal control theory to regulate the dynamic of our considered epidemic model within a terminal optimal time $\tau^{*}$. Pontryagin's maximum principle (PMP) will be employed to establish the existence of an optimal control time $(v^{*}(t), u^{*}(t))$. We also incorporate an impulsive VS-EIAR epidemic model, with special attention given to immigration or the travel of certain population groups. Finally, we provide a numerical simulation to demonstrate the practical implementation of the theoretical findings.


title: Topology optimization of contact-aided thermo-mechanical regulators

abstract: Topology optimization is used to systematically design contact-aided thermo-mechanical regulators, i.e. components whose effective thermal conductivity is tunable by mechanical deformation and contact. The thermo-mechanical interactions are modeled using a fully coupled non-linear thermo-mechanical finite element framework. To obtain the intricate heat transfer response, the components leverage self-contact, which is modeled using a third medium contact method. The effective heat transfer properties of the regulators are tuned by solving a topology optimization problem using a traditional gradient based algorithm. Several designs of thermo-mechanical regulators in the form of switches, diodes and triodes are presented.


title: Planning for Gold: Sample Splitting for Valid Powerful Design of Observational Studies

abstract: Observational studies are valuable tools for inferring causal effects in the absence of controlled experiments. However, these studies may be biased due to the presence of some relevant, unmeasured set of covariates. The design of an observational study has a prominent effect on its sensitivity to hidden biases, and the best design may not be apparent without examining the data. One approach to facilitate a data-inspired design is to split the sample into a planning sample for choosing the design and an analysis sample for making inferences. We devise a powerful and flexible method for selecting outcomes in the planning sample when an unknown number of outcomes are affected by the treatment. We investigate the theoretical properties of our method and conduct extensive simulations that demonstrate pronounced benefits, especially at higher levels of allowance for unmeasured confounding. Finally, we demonstrate our method in an observational study of the multi-dimensional impacts of a devastating flood in Bangladesh.


title: Formality Style Transfer in Persian

abstract: This study explores the formality style transfer in Persian, particularly relevant in the face of the increasing prevalence of informal language on digital platforms, which poses challenges for existing Natural Language Processing (NLP) tools. The aim is to transform informal text into formal while retaining the original meaning, addressing both lexical and syntactic differences. We introduce a novel model, Fa-BERT2BERT, based on the Fa-BERT architecture, incorporating consistency learning and gradient-based dynamic weighting. This approach improves the model's understanding of syntactic variations, balancing loss components effectively during training. Our evaluation of Fa-BERT2BERT against existing methods employs new metrics designed to accurately measure syntactic and stylistic changes. Results demonstrate our model's superior performance over traditional techniques across various metrics, including BLEU, BERT score, Rouge-l, and proposed metrics underscoring its ability to adeptly navigate the complexities of Persian language style transfer. This study significantly contributes to Persian language processing by enhancing the accuracy and functionality of NLP models and thereby supports the development of more efficient and reliable NLP applications, capable of handling language style transformation effectively, thereby streamlining content moderation, enhancing data mining results, and facilitating cross-cultural communication.


title: Dual Policy Reinforcement Learning for Real-time Rebalancing in Bike-sharing Systems

abstract: Bike-sharing systems play a crucial role in easing traffic congestion and promoting healthier lifestyles. However, ensuring their reliability and user acceptance requires effective strategies for rebalancing bikes. This study introduces a novel approach to address the real-time rebalancing problem with a fleet of vehicles. It employs a dual policy reinforcement learning algorithm that decouples inventory and routing decisions, enhancing realism and efficiency compared to previous methods where both decisions were made simultaneously. We first formulate the inventory and routing subproblems as a multi-agent Markov Decision Process within a continuous time framework. Subsequently, we propose a DQN-based dual policy framework to jointly estimate the value functions, minimizing the lost demand. To facilitate learning, a comprehensive simulator is applied to operate under a first-arrive-first-serve rule, which enables the computation of immediate rewards across diverse demand scenarios. We conduct extensive experiments on various datasets generated from historical real-world data, affected by both temporal and weather factors. Our proposed algorithm demonstrates significant performance improvements over previous baseline methods. It offers valuable practical insights for operators and further explores the incorporation of reinforcement learning into real-world dynamic programming problems, paving the way for more intelligent and robust urban mobility solutions.


title: Using 3-D LiDAR Data for Safe Physical Human-Robot Interaction

abstract: This paper explores the use of 3D lidar in a physical Human-Robot Interaction (pHRI) scenario. To achieve the aforementioned, experiments were conducted to mimic a modern shop-floor environment. Data was collected from a pool of seventeen participants while performing pre-determined tasks in a shared workspace with the robot. To demonstrate an end-to-end case; a perception pipeline was developed that leverages reflectivity, signal, near-infrared, and point-cloud data from a 3-D lidar. This data is then used to perform safety based control whilst satisfying the speed and separation monitoring (SSM) criteria. In order to support the perception pipeline, a state-of-the-art object detection network was leveraged and fine-tuned by transfer learning. An analysis is provided along with results of the perception and the safety based controller. Additionally, this system is compared with the previous work.


title: The Surprising Effectiveness of SP Voting with Partial Preferences

abstract: We consider the problem of recovering the ground truth ordering (ranking, top-$k$, or others) over a large number of alternatives. The wisdom of crowd is a heuristic approach based on Condorcet's Jury theorem to address this problem through collective opinions. This approach fails to recover the ground truth when the majority of the crowd is misinformed. The surprisingly popular (SP) algorithm cite{prelec2017solution} is an alternative approach that is able to recover the ground truth even when experts are in minority. The SP algorithm requires the voters to predict other voters' report in the form of a full probability distribution over all rankings of alternatives. However, when the number of alternatives, $m$, is large, eliciting the prediction report or even the vote over $m$ alternatives might be too costly. In this paper, we design a scalable alternative of the SP algorithm which only requires eliciting partial preferences from the voters, and propose new variants of the SP algorithm. In particular, we propose two versions -- Aggregated-SP and Partial-SP -- that ask voters to report vote and prediction on a subset of size $k$ ($\ll m$) in terms of top alternative, partial rank, or an approval set. Through a large-scale crowdsourcing experiment on MTurk, we show that both of our approaches outperform conventional preference aggregation algorithms for the recovery of ground truth rankings, when measured in terms of Kendall-Tau distance and Spearman's $\rho$. We further analyze the collected data and demonstrate that voters' behavior in the experiment, including the minority of the experts, and the SP phenomenon, can be correctly simulated by a concentric mixtures of Mallows model. Finally, we provide theoretical bounds on the sample complexity of SP algorithms with partial rankings to demonstrate the theoretical guarantees of the proposed methods.


title: Inverting Laguerre tessellations: Recovering tessellations from the volumes and centroids of their cells using optimal transport

abstract: In this paper we study an inverse problem in convex geometry, inspired by a problem in materials science. Firstly, we consider the question of whether a Laguerre tessellation (a partition by convex polytopes) can be recovered from only the volumes and centroids of its cells. We show that this problem has a unique solution and give a constructive way of computing it using optimal transport theory and convex optimisation. Secondly, we consider the problem of fitting a Laguerre tessellation to synthetic volume and centroid data. Given some target volumes and centroids, we seek a Laguerre tessellation such that the difference between the volumes and centroids of its cells and the target volumes and centroids is minimised. For an appropriate objective function and suitable data, we prove that local minimisers of this problem can be constructed using convex optimisation. We also illustrate our results numerically. There is great interest in the computational materials science community in fitting Laguerre tessellations to electron backscatter diffraction (EBSD) and x-ray diffraction images of polycrystalline materials. As an application of our results we fit a 2D Laguerre tessellation to an EBSD image of steel.


title: OLIVE: Object Level In-Context Visual Embeddings

abstract: Recent generalist vision-language models (VLMs) have demonstrated impressive reasoning capabilities across diverse multimodal tasks. However, these models still struggle with fine-grained object-level understanding and grounding. In terms of modeling, existing VLMs implicitly align text tokens with image patch tokens, which is ineffective for embedding alignment at the same granularity and inevitably introduces noisy spurious background features. Additionally, these models struggle when generalizing to unseen visual concepts and may not be reliable for domain-specific tasks without further fine-tuning. To address these limitations, we propose a novel method to prompt large language models with in-context visual object vectors, thereby enabling controllable object-level reasoning. This eliminates the necessity of fusing a lengthy array of image patch features and significantly speeds up training. Furthermore, we propose region-level retrieval using our object representations, facilitating rapid adaptation to new objects without additional training. Our experiments reveal that our method achieves competitive referring object classification and captioning performance, while also offering zero-shot generalization and robustness to visually challenging contexts.


title: Scaffold Splits Overestimate Virtual Screening Performance

abstract: Virtual Screening (VS) of vast compound libraries guided by Artificial Intelligence (AI) models is a highly productive approach to early drug discovery. Data splitting is crucial for the reliable benchmarking of such AI models. Traditional random data splits produce similar molecules between training and test sets, conflicting with the reality of VS libraries which mostly contain structurally distinct compounds. Scaffold split, grouping molecules by shared core structure, is widely considered to reflect this real-world scenario. However, here we show that this split also overestimates VS performance. Our study examined three representative AI models on 60 datasets from NCI-60 using scaffold split and a more realistic Uniform Manifold Approximation and Projection (UMAP)-based clustering split. We found models perform substantially worse under UMAP splits. These results highlight the need for improved benchmarks to tune, compare, and select models for VS. Our code is available at https://github.com/ScaffoldSplitsOverestimateVS/Scaffold SplitsOverestimateVS.git


title: Uniqueness of extremal almost periodic states on the injective type III$_{1}$ factor

abstract: Let $R_\infty$ denote the Araki--Woods factor -- the unique separable injective type III$_{1}$ factor. For extremal almost periodic states $\varphi, \psi\in (R_\infty)_*$, we show that if $\Delta_\varphi$ and $\Delta_\psi$ have the same point spectrum then $\psi = \varphi\circ \alpha$ for some $\alpha\in $ Aut$(R_\infty)$. Consequently, the extremal almost periodic states on $R_\infty$ are parameterized by countable dense subgroups of $\mathbb{R}_+$, up to precomposition by automorphisms. As an application, we show that KMS states for generalized gauge actions on Cuntz algebras agree (up to an automorphism) with tensor products of Powers states on their von Neumann completions.


title: Ohm's Law, the Reconnection Rate, and Energy Conversion in Collisionless Magnetic Reconnection

abstract: Magnetic reconnection is a ubiquitous plasma process that transforms magnetic energy into particle energy during eruptive events throughout the universe. Reconnection not only converts energy during solar flares and geomagnetic substorms that drive space weather near Earth, but it may also play critical roles in the high energy emissions from the magnetospheres of neutron stars and black holes. In this review article, we focus on collisionless plasmas that are most relevant to reconnection in many space and astrophysical plasmas. Guided by first-principles kinetic simulations and spaceborne in-situ observations, we highlight the most recent progress in understanding this fundamental plasma process. We start by discussing the non-ideal electric field in the generalized Ohm's law that breaks the frozen-in flux condition in ideal magnetohydrodynamics and allows magnetic reconnection to occur. We point out that this same reconnection electric field also plays an important role in sustaining the current and pressure in the current sheet and then discuss the determination of its magnitude (i.e., the reconnection rate), based on force balance and energy conservation. This approach to determining the reconnection rate is applied to kinetic current sheets of a wide variety of magnetic geometries, parameters, and background conditions. We also briefly review the key diagnostics and modeling of energy conversion around the reconnection diffusion region, seeking insights from recently developed theories. Finally, future prospects and open questions are discussed.

categories: physics.plasm-ph astro-ph.EP astro-ph.HE astro-ph.SR physics.space-ph


title: Volichenko-type metasymmetry of braided Majorana qubits

abstract: This paper presents different mathematical structures connected with the parastatistics of braided Majorana qubits and clarifies their role; in particular, mixed-bracket Heisenberg-Lie algebras are introduced. These algebras belong to a more general framework than the Volichenko algebras defined in 1990 by Leites-Serganova as metasymmetries which do not respect even/odd gradings and lead to mixed brackets interpolating ordinary commutators and anticommutators. In a previous paper braided $Z_2$-graded Majorana qubits were first-quantized within a graded Hopf algebra framework endowed with a braided tensor product. The resulting system admits truncations at roots of unity and realizes, for a given integer $s=2,3,4,\ldots$, an interpolation between ordinary Majorana fermions (recovered at $s=2$) and bosons (recovered in the $s\rightarrow \infty$ limit); it implements a parastatistics where at most $s-1$ indistinguishable particles are accommodated in a multi-particle sector. The structures discussed in this work are: - the quantum group interpretation of the roots of unity truncations recovered from reps of the quantum superalgebra ${\cal U}_q({{osp}}(1|2))$; - the reconstruction, via suitable intertwining operators, of the braided tensor products as ordinary tensor products; - the introduction of mixed brackets for the braided creation/annihilation operators which define generalized Heisenberg-Lie algebras; - the $s\rightarrow \infty$ untruncated limit of the mixed-bracket Heisenberg-Lie algebras producing parafermionic oscillators; - (meta)symmetries of ordinary differential equations given by matrix Schr\"{o}dinger equations in $0+1$ dimension induced by the braided creation/annihilation operators; - in the special case of a third root of unity truncation, a nonminimal realization of the intertwining operators defines the system as a ternary algebra.

categories: math-ph cond-mat.stat-mech hep-th math.MP quant-ph


title: Evidence of Learned Look-Ahead in a Chess-Playing Neural Network

abstract: Do neural networks learn to implement algorithms such as look-ahead or search "in the wild"? Or do they rely purely on collections of simple heuristics? We present evidence of learned look-ahead in the policy network of Leela Chess Zero, the currently strongest neural chess engine. We find that Leela internally represents future optimal moves and that these representations are crucial for its final output in certain board states. Concretely, we exploit the fact that Leela is a transformer that treats every chessboard square like a token in language models, and give three lines of evidence (1) activations on certain squares of future moves are unusually important causally; (2) we find attention heads that move important information "forward and backward in time," e.g., from squares of future moves to squares of earlier ones; and (3) we train a simple probe that can predict the optimal move 2 turns ahead with 92% accuracy (in board states where Leela finds a single best line). These findings are an existence proof of learned look-ahead in neural networks and might be a step towards a better understanding of their capabilities.


title: A New Parallel-in-time Direct Inverse Method for Nonlinear Differential Equations

abstract: We present a new approach to parallelization of the first-order backward difference discretization (BDF1) of the time derivative in partial differential equations, such as the nonlinear heat and viscous Burgers equations. The time derivative term is discretized by using the method of lines based on the implicit BDF1 scheme, while the inviscid and viscous terms are approximated by conventional 2nd-order 3-point central discretizations of the 1st- and 2nd-order derivatives in each spatial direction. The global system of nonlinear discrete equations in the space-time domain is solved by the Newton method for all time levels simultaneously. For the BDF1 discretization, this all-at-once system at each Newton iteration is block bidiagonal, which can be inverted directly in a blockwise manner, thus leading to a set of fully decoupled equations associated with each time level. This allows for an efficient parallel-in-time implementation of the implicit BDF1 discretization for nonlinear differential equations. The proposed parallel-in-time method preserves a quadratic rate of convergence of the Newton method of the sequential BDF1 scheme, so that the computational cost of solving each block matrix in parallel is nearly identical to that of the sequential counterpart at each time step. Numerical results show that the new parallel-in-time BDF1 scheme provides the speedup of up to 28 on 32 computing cores for the 2-D nonlinear partial differential equations with both smooth and discontinuous solutions.


title: Quantum Equilibrium Propagation: Gradient-Descent Training of Quantum Systems

abstract: Equilibrium propagation (EP) is a training framework for energy-based systems, i.e. systems whose physics minimizes an energy function. EP has been explored in various classical physical systems such as resistor networks, elastic networks, the classical Ising model and coupled phase oscillators. A key advantage of EP is that it achieves gradient descent on a cost function using the physics of the system to extract the weight gradients, making it a candidate for the development of energy-efficient processors for machine learning. We extend EP to quantum systems, where the energy function that is minimized is the mean energy functional (expectation value of the Hamiltonian), whose minimum is the ground state of the Hamiltonian. As examples, we study the settings of the transverse-field Ising model and the quantum harmonic oscillator network -- quantum analogues of the Ising model and elastic network.


title: Lang-Weil Type Estimates in Finite Difference Fields

abstract: We prove a uniform estimate of the number of points for difference algebraic varieties in finite difference fields in the spirit of Lang-Weil. More precisely, we give uniform lower and upper bounds for the number of rational points of a difference variety in terms of its transformal dimension. As a main technical ingredient, we prove an equidimensionality result for Frobenius reductions of difference varieties.


title: Existence, Uniqueness and Algebraic Reductibility Experiments of RANS equations with Periodic Boundary Conditions

abstract: In the present work, we show the existence and uniqueness of the two-dimensional turbulent vorticity term under conditions given on the weak solutions to the classical incompressible Navier-Stokes problem in a compact domain $R$ with periodic boundary conditions and initial conditions in Sobolev space $H^m(R)$. To achieve this, we derive a pressureless incompressible system and calculate kinetic energy quantities on the turbulent vorticity from the properties of the classical curl. Finally, since the system obtained is algebraic, we experimented with the possibilities of reducing it by applying the Rosenfeld-Groebner algorithm.


title: Lunar antineutrinos and heat: Fluxes from primordial radioactivity

abstract: We present estimates for the fluxes of heat and antineutrinos due to primordial radioactivity within the moon. We use a radial density profile, specifying an inner core and a model-averaged crust. The $1^\circ$ by $1^\circ$ gridded crust data draw on global maps from spacecraft missions. Thickness, density, and elevation come from measurements of the gravitational field. Thorium, uranium, and potassium abundances come from measurements of the gamma ray intensity. Assuming no vertical variation of the crustal abundances predicts $302$ GW of radiogenic heating. Accepting a heat flux of $5$ mWm$^{-2}$ from the mantle plus low viscosity zone both with $Th/U\simeq3.7$ and $K/U\simeq2000$ tallies an additional $185$ GW of radiogenic heating. The corresponding antineutrino fluxes from the average crust and the mantle plus low viscosity zone are $2.02\times10^6$ cm$^{-2}$s$^{-1}$ and $6.40\times10^5$ cm$^{-2}$s$^{-1}$, respectively. Subsurface variations of thorium, uranium, and potassium abundances in the crust are a potentially large and not yet assessed source of uncertainty. The uncertainties reported with the radial density profile contribute $\pm1.4\times10^3$ cm$^{-2}$s$^{-1}$ and $\pm0.6$ GW ($<1$\%) to the estimates of antineutrino flux and radiogenic heating, respectively, from the mantle plus low viscosity zone.


title: Controlling Colloidal Flow through a Microfluidic Y-junction

abstract: Microscopic particles flowing through narrow channels may accumulate near bifurcation points provoking flow reduction, clogging and ultimately chip breakage. Here we show that the full flow behavior of colloidal particles through a microfluidic Y-junction (i.e. a three way intersection) can be controlled by tuning the pair interactions and the degree of confinement. By combining experiments with numerical simulations, we investigate the dynamic states emerging when magnetizable colloids flow through a symmetric Y-junction such that a single particle can pass through both gates with the same probability. We show that clogging can be avoided by repulsive interactions and branching into the two channels can be steered as well by interactions: attractive particles are flowing through the same gate, while repulsive colloids alternate between the two gates. Even details of the particle assembly such as buckling at the exit gate are tunable by interactions and the channel geometry.


title: An Iris for Expected Cost Analysis

abstract: We present ExpIris, a separation logic framework for the (amortized) expected cost analysis of probabilistic programs. ExpIris is based on Iris, parametric in the language and the cost model, and supports both imperative and functional languages, concurrency, higher-order functions and higher-order state. ExpIris also offers strong support for correctness reasoning, which greatly eases the analysis of programs whose expected cost depends on their high-level behavior. To enable expected cost reasoning in Iris, we build on the expected potential method. The method provides a kind of "currency" that can be used for paying for later operations, and can be distributed over the probabilistic cases whenever there is a probabilistic choice, preserving the expected value due to the linearity of expectations. We demonstrate ExpIris by verifying the expected runtime of a quicksort implementation and the amortized expected runtime of a probabilistic binary counter.


title: Visual place recognition for aerial imagery: A survey

abstract: Aerial imagery and its direct application to visual localization is an essential problem for many Robotics and Computer Vision tasks. While Global Navigation Satellite Systems (GNSS) are the standard default solution for solving the aerial localization problem, it is subject to a number of limitations, such as, signal instability or solution unreliability that make this option not so desirable. Consequently, visual geolocalization is emerging as a viable alternative. However, adapting Visual Place Recognition (VPR) task to aerial imagery presents significant challenges, including weather variations and repetitive patterns. Current VPR reviews largely neglect the specific context of aerial data. This paper introduces a methodology tailored for evaluating VPR techniques specifically in the domain of aerial imagery, providing a comprehensive assessment of various methods and their performance. However, we not only compare various VPR methods, but also demonstrate the importance of selecting appropriate zoom and overlap levels when constructing map tiles to achieve maximum efficiency of VPR algorithms in the case of aerial imagery. The code is available on our GitHub repository -- https://github.com/prime-slam/aero-vloc.


title: Fokker-Planck Equation and de Sitter Duality

abstract: Infra-Red scaling property of inflationary universe is in the same universality class of random walk. The two point correlators of the curvature perturbations are enhanced by the e-folding number N. The distribution function of the curvature perturbation $\rho_t (\zeta)$ satisfies the Fokker Planck equation. The de Sitter universes are dual to the random walk: They belong to the Universality class of dimension two fractal. These boundary and bulk duality are at the heart of holography of quantum gravity. Historically the correspondence of thermodynamics and Einstein's equation are recognized as the first evidence for de Sitter duality .Our de Sitter duality relates the stochastic and geometric point of view. We study two types of the solutions of FP equation in quasi de Sitter space: (1) UV complete spacetime and (2) inflationary spacetime with concave potentials. The maximum entropy principle favors the following scenario: The universe is (a) born with small epsilon and (b) grows by inflation in the concave potential. We predict n_s <0.975(0.97) and r < 0.04(0.03) for N=50(60) at the pivot angle 0.002Mpc^{-1}. We have lowered the upper bound of $r$ by taking account of random walk effect at the boundary. Our predictions are highly consistent with recent observations.


title: Deep Reinforcement Learning for Sim-to-Real Policy Transfer of VTOL-UAVs Offshore Docking Operations

abstract: This paper proposes a novel Reinforcement Learning (RL) approach for sim-to-real policy transfer of Vertical Take-Off and Landing Unmanned Aerial Vehicle (VTOL-UAV). The proposed approach is designed for VTOL-UAV landing on offshore docking stations in maritime operations. VTOL-UAVs in maritime operations encounter limitations in their operational range, primarily stemming from constraints imposed by their battery capacity. The concept of autonomous landing on a charging platform presents an intriguing prospect for mitigating these limitations by facilitating battery charging and data transfer. However, current Deep Reinforcement Learning (DRL) methods exhibit drawbacks, including lengthy training times, and modest success rates. In this paper, we tackle these concerns comprehensively by decomposing the landing procedure into a sequence of more manageable but analogous tasks in terms of an approach phase and a landing phase. The proposed architecture utilizes a model-based control scheme for the approach phase, where the VTOL-UAV is approaching the offshore docking station. In the Landing phase, DRL agents were trained offline to learn the optimal policy to dock on the offshore station. The Joint North Sea Wave Project (JONSWAP) spectrum model has been employed to create a wave model for each episode, enhancing policy generalization for sim2real transfer. A set of DRL algorithms have been tested through numerical simulations including value-based agents and policy-based agents such as Deep \textit{Q} Networks (DQN) and Proximal Policy Optimization (PPO) respectively. The numerical experiments show that the PPO agent can learn complicated and efficient policies to land in uncertain environments, which in turn enhances the likelihood of successful sim-to-real transfer.


title: Show, Don't Tell: Aligning Language Models with Demonstrated Feedback

abstract: Language models are aligned to emulate the collective voice of many, resulting in outputs that align with no one in particular. Steering LLMs away from generic output is possible through supervised finetuning or RLHF, but requires prohibitively large datasets for new ad-hoc tasks. We argue that it is instead possible to align an LLM to a specific setting by leveraging a very small number ($<10$) of demonstrations as feedback. Our method, Demonstration ITerated Task Optimization (DITTO), directly aligns language model outputs to a user's demonstrated behaviors. Derived using ideas from online imitation learning, DITTO cheaply generates online comparison data by treating users' demonstrations as preferred over output from the LLM and its intermediate checkpoints. We evaluate DITTO's ability to learn fine-grained style and task alignment across domains such as news articles, emails, and blog posts. Additionally, we conduct a user study soliciting a range of demonstrations from participants ($N=16$). Across our benchmarks and user study, we find that win-rates for DITTO outperform few-shot prompting, supervised fine-tuning, and other self-play methods by an average of 19% points. By using demonstrations as feedback directly, DITTO offers a novel method for effective customization of LLMs.


title: Reservoir History Matching of the Norne field with generative exotic priors and a coupled Mixture of Experts -- Physics Informed Neural Operator Forward Model

abstract: We developed a novel reservoir characterization workflow that addresses reservoir history matching by coupling a physics-informed neural operator (PINO) forward model with a mixture of experts' approach, termed cluster classify regress (CCR). The inverse modelling is achieved via an adaptive Regularized Ensemble Kalman inversion (aREKI) method, ideal for rapid inverse uncertainty quantification during history matching. We parametrize unknown permeability and porosity fields for non-Gaussian posterior measures using a variational convolution autoencoder and a denoising diffusion implicit model (DDIM) exotic priors. The CCR works as a supervised model with the PINO surrogate to replicate nonlinear Peaceman well equations. The CCR's flexibility allows any independent machine-learning algorithm for each stage. The PINO reservoir surrogate's loss function is derived from supervised data loss and losses from the initial conditions and residual of the governing black oil PDE. The PINO-CCR surrogate outputs pressure, water, and gas saturations, along with oil, water, and gas production rates. The methodology was compared to a standard numerical black oil simulator for a waterflooding case on the Norne field, showing similar outputs. This PINO-CCR surrogate was then used in the aREKI history matching workflow, successfully recovering the unknown permeability, porosity and fault multiplier, with simulations up to 6000 times faster than conventional methods. Training the PINO-CCR surrogate on an NVIDIA H100 with 80G memory takes about 5 hours for 100 samples of the Norne field. This workflow is suitable for ensemble-based approaches, where posterior density sampling, given an expensive likelihood evaluation, is desirable for uncertainty quantification.


title: Counting bare curves

abstract: We construct a class of perturbations of the Cauchy-Riemann equation for maps from curves to a Calabi-Yau threefold, allowing Maslov zero Lagrangian boundary conditions. Our perturbations vanish on components of zero symplectic area. For generic 1-parameter families of perturbations, the locus of solution curves without zero-area components is compact, transversely cut out, and satisfies certain natural coherence properties. In short, we construct an `adequate perturbation scheme' with the needed properties to set up the skein-valued curve counting, as axiomatized in our previous work. The main technical content is the construction, over the Hofer-Wysocki-Zehnder Gromov-Witten configuration spaces, of perturbations to which the `ghost bubble censorship' argument can be applied. Certain local aspects of this problem were resolved in our previous work. The key remaining difficulty is to ensure inductive compatibilities, despite the non-existence of marked-point-forgetting maps for the configuration spaces.


title: Global High Categorical Resolution Land Cover Mapping via Weak Supervision

abstract: Land cover information is indispensable for advancing the United Nations' sustainable development goals, and land cover mapping under a more detailed category system would significantly contribute to economic livelihood tracking and environmental degradation measurement. However, the substantial difficulty in acquiring fine-grained training data makes the implementation of this task particularly challenging. Here, we propose to combine fully labeled source domain and weakly labeled target domain for weakly supervised domain adaptation (WSDA). This is beneficial as the utilization of sparse and coarse weak labels can considerably alleviate the labor required for precise and detailed land cover annotation. Specifically, we introduce the Prototype-based pseudo-label Rectification and Expansion (PRE) approach, which leverages the prototypes (i.e., the class-wise feature centroids) as the bridge to connect sparse labels and global feature distributions. According to the feature distances to the prototypes, the confidence of pseudo-labels predicted in the unlabeled regions of the target domain is assessed. This confidence is then utilized to guide the dynamic expansion and rectification of pseudo-labels. Based on PRE, we carry out high categorical resolution land cover mapping for 10 cities in different regions around the world, severally using PlanetScope, Gaofen-1, and Sentinel-2 satellite images. In the study areas, we achieve cross-sensor, cross-category, and cross-continent WSDA, with the overall accuracy exceeding 80%. The promising results indicate that PRE is capable of reducing the dependency of land cover classification on high-quality annotations, thereby improving label efficiency. We expect our work to enable global fine-grained land cover mapping, which in turn promote Earth observation to provide more precise and thorough information for environmental monitoring.


title: Inductive systems of the symmetric group, polynomial functors and tensor categories

abstract: We initiate the systematic study of modular representations of symmetric groups that arise via the braiding in (symmetric) tensor categories over fields of positive characteristic. We determine what representations appear for certain examples of tensor categories, develop general principles and demonstrate how this question connects with the ongoing study of the structure theory of tensor categories. We also formalise a theory of polynomial functors as functors which act coherently on all tensor categories. We conclude that the classification of such functors is a different way of posing the above question of which representation of symmetric groups appear. Finally, we extend the classical notion of strict polynomial functors from the category of (super) vector spaces to arbitrary tensor categories, and show that this idea is also a different packaging of the same information.


title: Description of turbulent dynamics in the interstellar medium: Multifractal microcanonical analysis: II. Sparse filtering of Herschel observation maps and visualization of filamentary structures at different length scales

abstract: We present significant improvements to our previous work on noise reduction in {\sl Herschel} observation maps by defining sparse filtering tools capable of handling, in a unified formalism, a significantly improved noise reduction as well as a deconvolution in order to reduce effects introduced by the limited instrumental response (beam). We implement greater flexibility by allowing a wider choice of parsimonious priors in the noise-reduction process. More precisely, we introduce a sparse filtering and deconvolution approach approach of type $l^2$-$l^p$, with $p > 0$ variable and apply it to a larger set of molecular clouds using {\sl Herschel} 250 $\mu $m data in order to demonstrate their wide range of application. In the {\sl Herschel} data, we are able to use this approach to highlight extremely fine filamentary structures and obtain singularity spectra that tend to show a significantly less $\log$-normal behavior and a filamentary nature in the less dense regions. We also use high-resolution adaptive magneto-hydrodynamic simulation data to assess the quality of deconvolution in such a simulated beaming framework.


title: Pretrained Hybrids with MAD Skills

abstract: While Transformers underpin modern large language models (LMs), there is a growing list of alternative architectures with new capabilities, promises, and tradeoffs. This makes choosing the right LM architecture challenging. Recently-proposed $\textit{hybrid architectures}$ seek a best-of-all-worlds approach that reaps the benefits of all architectures. Hybrid design is difficult for two reasons: it requires manual expert-driven search, and new hybrids must be trained from scratch. We propose $\textbf{Manticore}$, a framework that addresses these challenges. Manticore $\textit{automates the design of hybrid architectures}$ while reusing pretrained models to create $\textit{pretrained}$ hybrids. Our approach augments ideas from differentiable Neural Architecture Search (NAS) by incorporating simple projectors that translate features between pretrained blocks from different architectures. We then fine-tune hybrids that combine pretrained models from different architecture families -- such as the GPT series and Mamba -- end-to-end. With Manticore, we enable LM selection without training multiple models, the construction of pretrained hybrids from existing pretrained models, and the ability to $\textit{program}$ pretrained hybrids to have certain capabilities. Manticore hybrids outperform existing manually-designed hybrids, achieve strong performance on Long Range Arena (LRA) tasks, and can improve on pretrained transformers and state space models.


title: Bringing active learning, experimentation, and student-created videos in engineering: A study about teaching electronics and physical computing integrating online and mobile learning

abstract: Active Learning (AL) is a well-known teaching method in engineering because it allows to foster learning and critical thinking of the students by employing debate, hands-on activities, and experimentation. However, most educational results of this instructional method have been achieved in face-to-face educational settings and less has been said about how to promote AL and experimentation for online engineering education. Then, the main aim of this study was to create an AL methodology to learn electronics, physical computing (PhyC), programming, and basic robotics in engineering through hands-on activities and active experimentation in online environments. N=56 students of two engineering programs (Technology in Electronics and Industrial Engineering) participated in the methodology that was conceived using the guidelines of the Integrated Course Design Model (ICDM) and in some courses combining mobile and online learning with an Android app. The methodology gathered three main components: (1) In-home laboratories performed through low-cost hardware devices, (2) Student-created videos and blogs to evidence the development of skills, and (3) Teacher support and feedback. Data in the courses were collected through surveys, evaluation rubrics, semi-structured interviews, and students grades and were analyzed through a mixed approach. The outcomes indicate a good perception of the PhyC and programming activities by the students and suggest that these influence motivation, self-efficacy, reduction of anxiety, and improvement of academic performance in the courses. The methodology and previous results can be useful for researchers and practitioners interested in developing AL methodologies or strategies in engineering with online, mobile, or blended learning modalities.


title: McDuff's secondary class and the Euler class of foliated sphere bundles

abstract: Tsuboi proved that the Calabi invariant of the closed disk transgresses to the Euler class of foliated circle bundles and suggested looking for its higher-dimensional analog. In this paper, we construct a cohomology class of the group of volume-preserving diffeomorphisms of a real-cohomologically acyclic manifold with sphere boundary, which is closely related to McDuff's secondary class, and prove that this cohomology class transgresses to the Euler class of foliated sphere bundles.


title: Exact Solutions of a Time-Delay Advection Equation and a Fractional Time-Delay Advection Equation

abstract: Exact solutions are derived for a time-delay advection equation and a fractional-order time-delay advection equation with a time-delay in the spatial derivative. Solutions are obtained, for arbitrary separable initial conditions, by incorporating recently introduced delay functions in a separation of variables approach. Examples are provided showing oscillatory and translatory behaviours fundamentally different to standard propagating wave solutions.


title: Phonetic Error Analysis of Raw Waveform Acoustic Models with Parametric and Non-Parametric CNNs

abstract: In this paper, we analyse the error patterns of the raw waveform acoustic models in TIMIT's phone recognition task. Our analysis goes beyond the conventional phone error rate (PER) metric. We categorise the phones into three groups: {affricate, diphthong, fricative, nasal, plosive, semi-vowel, vowel, silence}, {consonant, vowel+, silence}, and {voiced, unvoiced, silence} and, compute the PER for each broad phonetic class in each category. We also construct a confusion matrix for each category using the substitution errors and compare the confusion patterns with those of the Filterbank and Wav2vec 2.0 systems. Our raw waveform acoustic models consists of parametric (Sinc2Net) or non-parametric CNNs and Bidirectional LSTMs, achieving down to 13.7%/15.2% PERs on TIMIT Dev/Test sets, outperforming reported PERs for raw waveform models in the literature. We also investigate the impact of transfer learning from WSJ on the phonetic error patterns and confusion matrices. It reduces the PER to 11.8%/13.7% on the Dev/Test sets.


title: YODAS: Youtube-Oriented Dataset for Audio and Speech

abstract: In this study, we introduce YODAS (YouTube-Oriented Dataset for Audio and Speech), a large-scale, multilingual dataset comprising currently over 500k hours of speech data in more than 100 languages, sourced from both labeled and unlabeled YouTube speech datasets. The labeled subsets, including manual or automatic subtitles, facilitate supervised model training. Conversely, the unlabeled subsets are apt for self-supervised learning applications. YODAS is distinctive as the first publicly available dataset of its scale, and it is distributed under a Creative Commons license. We introduce the collection methodology utilized for YODAS, which contributes to the large-scale speech dataset construction. Subsequently, we provide a comprehensive analysis of speech, text contained within the dataset. Finally, we describe the speech recognition baselines over the top-15 languages.


title: Gapless superconductivity in the low-frequency electrodynamic response of two-dimensional granular In/InO$_x$ composites

abstract: We measured the full complex ac conductance of two-dimensional granular In/InO$_x$ composites using the mutual inductance technique to explore the transition from a "failed-superconductor-turned anomalous metal" to a robust superconductor. In this system, room-temperature annealing was adopted to tune the InO$_x$-mediated coupling between In grains, allowing for the observation of both a "true" superconductor-to-insulator transition and the emergence of an intervening anomalous metallic state. In this paper, we show that further annealing increases the inter-grain coupling, which eliminates the anomalous metallic phase, but at the same time prevent the emergence of strong Bose-dominated insulating phase. The complex ac conductance revealed a $T\to0$ saturating dissipative response in a finite magnetic field, coexisting with a robust superfluid density. The anomalous power-law spectra for the dissipative response appear to indicate quantum critical behavior proximate to a quantum superconductor to anomalous-metal transition as probed in the kilo-Hertz range, and point to signatures of gapless superconductivity in our granular superconducting system.