title: PARAMANU-AYN: An Efficient Novel Generative and Instruction-tuned Language Model for Indian Legal Case Documents

abstract: In this paper, we present PARAMANU-AYN, a language model based exclusively on case documents of the Supreme Court of India, the Constitution of India, and the Indian Penal Code. The novel Auto Regressive (AR) decoder based model is pretrained from scratch at a context size of 8192. We evaluated our pretrained legal model on perplexity metrics. We also instruction-tuned our pretrained model on a set of 10,763 instructions covering various legal tasks such as legal reasoning, judgement explanation, legal clause generation, legal drafting, legal contract drafting, case summarization, constitutional question-answering, etc. We also evaluated the responses of prompts for instruction-tuned models by GPT-3.5-Turbo on clarity, relevance, completeness, and legal reasoning metrics in a scale of 10. Our model can be run on CPU and achieved 42.46 tokens/sec CPU inference speed. We found that our models, despite not being pretrained on legal books, various legal contracts, and legal documents, were able to learn the domain knowledge required for drafting various legal contracts and legal clauses, and generalize to draft legal contracts and legal clauses with limited instruction tuning. Hence, we conclude that for a strong domain-specialized generative language model (such as legal), very large amounts of data are not required to develop models from scratch. We believe that this work is the first attempt to make a dedicated generative legal language model from scratch for Indian Supreme Court jurisdiction or in legal NLP overall. We plan to release our Paramanu-Ayn model at https://www.bharatgpts.com.


title: Threats, Attacks, and Defenses in Machine Unlearning: A Survey

abstract: Machine Unlearning (MU) has gained considerable attention recently for its potential to achieve Safe AI by removing the influence of specific data from trained machine learning models. This process, known as knowledge removal, addresses AI governance concerns of training data such as quality, sensitivity, copyright restrictions, and obsolescence. This capability is also crucial for ensuring compliance with privacy regulations such as the Right To Be Forgotten. Furthermore, effective knowledge removal mitigates the risk of harmful outcomes, safeguarding against biases, misinformation, and unauthorized data exploitation, thereby enhancing the safe and responsible use of AI systems. Efforts have been made to design efficient unlearning approaches, with MU services being examined for integration with existing machine learning as a service, allowing users to submit requests to remove specific data from the training corpus. However, recent research highlights vulnerabilities in machine unlearning systems, such as information leakage and malicious unlearning requests, that can lead to significant security and privacy concerns. Moreover, extensive research indicates that unlearning methods and prevalent attacks fulfill diverse roles within MU systems. For instance, unlearning can act as a mechanism to recover models from backdoor attacks, while backdoor attacks themselves can serve as an evaluation metric for unlearning effectiveness. This underscores the intricate relationship and complex interplay among these mechanisms in maintaining system functionality and safety. This survey aims to fill the gap between the extensive number of studies on threats, attacks, and defenses in machine unlearning and the absence of a comprehensive review that categorizes their taxonomy, methods, and solutions, thus offering valuable insights for future research directions and practical implementations.


title: DVMNet: Computing Relative Pose for Unseen Objects Beyond Hypotheses

abstract: Determining the relative pose of an object between two images is pivotal to the success of generalizable object pose estimation. Existing approaches typically approximate the continuous pose representation with a large number of discrete pose hypotheses, which incurs a computationally expensive process of scoring each hypothesis at test time. By contrast, we present a Deep Voxel Matching Network (DVMNet) that eliminates the need for pose hypotheses and computes the relative object pose in a single pass. To this end, we map the two input RGB images, reference and query, to their respective voxelized 3D representations. We then pass the resulting voxels through a pose estimation module, where the voxels are aligned and the pose is computed in an end-to-end fashion by solving a least-squares problem. To enhance robustness, we introduce a weighted closest voxel algorithm capable of mitigating the impact of noisy voxels. We conduct extensive experiments on the CO3D, LINEMOD, and Objaverse datasets, demonstrating that our method delivers more accurate relative pose estimates for novel objects at a lower computational cost compared to state-of-the-art methods. Our code is released at: https://github.com/sailor-z/DVMNet/.


title: SPTNet: An Efficient Alternative Framework for Generalized Category Discovery with Spatial Prompt Tuning

abstract: Generalized Category Discovery (GCD) aims to classify unlabelled images from both `seen' and `unseen' classes by transferring knowledge from a set of labelled `seen' class images. A key theme in existing GCD approaches is adapting large-scale pre-trained models for the GCD task. An alternate perspective, however, is to adapt the data representation itself for better alignment with the pre-trained model. As such, in this paper, we introduce a two-stage adaptation approach termed SPTNet, which iteratively optimizes model parameters (i.e., model-finetuning) and data parameters (i.e., prompt learning). Furthermore, we propose a novel spatial prompt tuning method (SPT) which considers the spatial property of image data, enabling the method to better focus on object parts, which can transfer between seen and unseen classes. We thoroughly evaluate our SPTNet on standard benchmarks and demonstrate that our method outperforms existing GCD methods. Notably, we find our method achieves an average accuracy of 61.4% on the SSB, surpassing prior state-of-the-art methods by approximately 10%. The improvement is particularly remarkable as our method yields extra parameters amounting to only 0.117% of those in the backbone architecture. Project page: https://visual-ai.github.io/sptnet.


title: Unraveling the Optical Signatures of Polymeric Carbon Nitrides: Insights into Stacking-Induced Excitonic Transitions

abstract: Two-dimensional (2D) materials have attracted considerable attention due to their unique physicochemical properties and significant potential in energy-related applications. Polymeric carbon nitrides (PCNs) with 2D stacked architecture show promise as photocatalysts for solar-to-fuel conversion and as versatile 2D semiconductors. However, the lack of a clear definition of the exact structural model of these materials limits our fundamental understanding of their unique properties. Here, we investigate the structure-induced optical properties of PCNs through \textit{ab initio} calculations. Our study on the electronic and optical properties of PCNs highlights the significant influence of structure on their behavior, especially near band edges. The analysis reveals that the degree of condensation and corrugation influences the electron/hole localization and the energy levels of $\pi$ electrons, which are crucial for the optical behavior. In addition, the microstructures of 2D configurations lead to divergent optical properties in 3D configurations, with characteristic peaks identified at 350 nm and interlayer interactions ranging from 400 to 500 nm, depending on the specific microstructures. Through observations over 2D and 3D structures, we elucidate exciton photophysical processes in PCN materials. This highlights the substantial differences in optical properties between actual 2D and 3D structures, while also demonstrating the potential for carrier and energy transport mechanisms to occur perpendicular to the plane. Finally, our results provide deep insights into the understanding of previously hidden microstructural, electronic, and optical properties of PCNs, paving the way for further performance and property enhancements in this class of materials.


title: On $k$-modal subsequences

abstract: A $k$-modal sequence is a sequence of real numbers that can be partitioned into $k+1$ (possibly empty) monotone sections such that adjacent sections have opposite monotonicities. For every positive integer $k$, we prove that any sequence of $n$ pairwise distinct real numbers contains a $k$-modal subsequence of length at least $\sqrt{(2k+1)(n-\frac14)} - \frac{k}{2}$, which is tight in a strong sense. This confirms an old conjecture of F.R.K.Chung (J.Combin.Theory Ser.A, 29(3):267-279, 1980).


title: Modified gravity theories from the Barrow hypothesis

abstract: Barrow proposed that quantum gravity effects might introduce fractal corrections to the area of the event horizon of black holes. The area law gets modified as $S \propto A^{1+\Delta/2}$, with $0\leq\Delta\leq 1$. It was so far unclear whether this assumption could lead to meaningful quantum gravity theories beyond general relativity. In this paper, we argue that this is indeed the case. In particular, assuming $\Delta$ to be a radial function, we show that the Barrow hypothesis, together with the Jacobson's approach can generate non-trivial modified gravity theories.


title: Scalable Projection-Free Optimization Methods via MultiRadial Duality Theory

abstract: Recent works have developed new projection-free first-order methods based on utilizing linesearches and normal vector computations to maintain feasibility. These oracles can be cheaper than orthogonal projection or linear optimization subroutines but have the drawback of requiring a known strictly feasible point to do these linesearches with respect to. In this work, we develop new theory and algorithms which can operate using these cheaper linesearches while only requiring knowledge of points strictly satisfying each constraint separately. Convergence theory for several resulting ``multiradial'' gradient methods is established. We also provide preliminary numerics showing performance is essentially independent of how one selects the reference points for synthetic quadratically constrained quadratic programs.


title: Topological insulator based axial superconducting quantum interferometer structures

abstract: Nanoscale superconducting quantum interference devices (SQUIDs) are fabricated in-situ from a single Bi$_{0.26}$Sb$_{1.74}$Te$_{3}$ nanoribbon that is defined using selective-area growth and contacted with superconducting Nb electrodes via a shadow mask technique. We present $h/(2e)$ magnetic flux periodic interference in both, fully and non-fully proximitized nanoribbons. The pronounced oscillations are explained by interference effects of coherent transport through topological surface states surrounding the cross-section of the nanoribbon.


title: MotorEase: Automated Detection of Motor Impairment Accessibility Issues in Mobile App UIs

abstract: Recent research has begun to examine the potential of automatically finding and fixing accessibility issues that manifest in software. However, while recent work makes important progress, it has generally been skewed toward identifying issues that affect users with certain disabilities, such as those with visual or hearing impairments. However, there are other groups of users with different types of disabilities that also need software tooling support to improve their experience. As such, this paper aims to automatically identify accessibility issues that affect users with motor-impairments. To move toward this goal, this paper introduces a novel approach, called MotorEase, capable of identifying accessibility issues in mobile app UIs that impact motor-impaired users. Motor-impaired users often have limited ability to interact with touch-based devices, and instead may make use of a switch or other assistive mechanism -- hence UIs must be designed to support both limited touch gestures and the use of assistive devices. MotorEase adapts computer vision and text processing techniques to enable a semantic understanding of app UI screens, enabling the detection of violations related to four popular, previously unexplored UI design guidelines that support motor-impaired users, including: (i) visual touch target size, (ii) expanding sections, (iii) persisting elements, and (iv) adjacent icon visual distance. We evaluate MotorEase on a newly derived benchmark, called MotorCheck, that contains 555 manually annotated examples of violations to the above accessibility guidelines, across 1599 screens collected from 70 applications via a mobile app testing tool. Our experiments illustrate that MotorEase is able to identify violations with an average accuracy of ~90%, and a false positive rate of less than 9%, outperforming baseline techniques.


title: Optimal Regularity for the 2D Euler Equations in the Yudovich class

abstract: We analyze the optimal regularity that is exactly propagated by a transport equation driven by a velocity field with BMO gradient. As an application, we study the 2D Euler equations in case the initial vorticity is bounded. The sharpness of our result for the Euler equations follows from a variation of Bahouri and Chemin's vortex patch example.


title: Beyond Quantum Shannon: Circuit Construction for General n-Qubit Gates Based on Block ZXZ-Decomposition

abstract: This paper proposes a new optimized quantum block-ZXZ decomposition method [7,8,10] that results in more optimal quantum circuits than the quantum Shannon decomposition (QSD)[27], which was introduced in 2006 by Shende et al. The decomposition is applied recursively to generic quantum gates, and can take advantage of existing and future small-circuit optimizations. Because our method uses only one-qubit gates and uniformly controlled rotation-Z gates, it can easily be adapted to use other types of multi-qubit gates. With the proposed decomposition, a general 3-qubit gate can be decomposed using 19 CNOT gates (rather than 20). For general $n$-qubit gates, the proposed decomposition generates circuits that have $\frac{22}{48}4^n - \frac{3}{2}2^n +\frac{5}{3}$ CNOT gates, which is less that the best known exact decomposition algorithm by $(4^{n-2} -1)/3$ CNOT gates.


title: Analysis of the background signal in Tianwen-1 MINPA

abstract: Since November 2021, Tianwen-1 started its scientific instrument Mars Ion and Neutral Particle Analyzer (MINPA) to detect the particles in the Martian space. To evaluate the reliability of the plasma parameters from the MINPA measurements, in this study, we analyze and reduce the background signal (or noise) appearing in the MINPA data, and then calculate the plasma moments based on the noise-reduced data. It is found that the velocity from MINPA is highly correlated with that from the Solar Wind Ion Analyzer (SWIA) onboard the MAVEN spacecraft, indicating good reliability, and the temperature is also correlated with the SWIA data, although it is underestimated and has more scatter. However, due to the limited $2\pi$ field of view (FOV), it's impossible for MINPA to observe the ions in all directions, which makes the number density and the thermal pressure highly underestimated compared to the SWIA data. For these moments, a more complicated procedure that fully takes into account the limited FOV is required to obtain their reliable values. In addition, we perform a detailed analysis of the noise source and find that the noise comes from the electronic noise in the circuits of MINPA. Based on this study, we may conclude that MINPA is in normal operating condition and could provide reliable plasma parameters by taking some further procedures. The analysis of the noise source can also provide a reference for future instrument design.


title: Overview of Publicly Available Degradation Data Sets for Tasks within Prognostics and Health Management

abstract: Central to the efficacy of prognostics and health management methods is the acquisition and analysis of degradation data, which encapsulates the evolving health condition of engineering systems over time. Degradation data serves as a rich source of information, offering invaluable insights into the underlying degradation processes, failure modes, and performance trends of engineering systems. This paper provides an overview of publicly available degradation data sets.


title: Loss Regularizing Robotic Terrain Classification

abstract: Locomotion mechanics of legged robots are suitable when pacing through difficult terrains. Recognising terrains for such robots are important to fully yoke the versatility of their movements. Consequently, robotic terrain classification becomes significant to classify terrains in real time with high accuracy. The conventional classifiers suffer from overfitting problem, low accuracy problem, high variance problem, and not suitable for live dataset. On the other hand, classifying a growing dataset is difficult for convolution based terrain classification. Supervised recurrent models are also not practical for this classification. Further, the existing recurrent architectures are still evolving to improve accuracy of terrain classification based on live variable-length sensory data collected from legged robots. This paper proposes a new semi-supervised method for terrain classification of legged robots, avoiding preprocessing of long variable-length dataset. The proposed method has a stacked Long Short-Term Memory architecture, including a new loss regularization. The proposed method solves the existing problems and improves accuracy. Comparison with the existing architectures show the improvements.


title: Electron wave spin in a cavity

abstract: Our study reveals electron spin in a cavity as a stable circulating current density, characterized by a torus topology. This current density circulates concentrically beyond the cavity boundary, illustrating the concept of evanescent wave spin. While the interaction with a uniform magnetic field aligns with established spin-field observations, our analysis of regional contributions deviates from particle-based spin predictions. The integration of charge and spin properties into a single Lorentz covariant entity suggests that the electron wave constitutes the fundamental and deterministic reality of the electron.


title: Rota-Baxter operators of non-scalar weights, connections with coboundary Lie bialgebra structures

abstract: In the paper, we introduce the notion of a Rota-Baxter operator of a non-scalar weight. As a motivation, we show that there is a natural connection between Rota-Baxter operators of this type and structures of quasitriangular Lie bialgebras on a quadratic finite-dimensional Lie algebra. Moreover, we show that some classical results on Lie bialgebra structure on simple finite-dimensional Lie algebras can be obtained from the corresponding results for Rota-Baxter operators.


title: Insight Into the Collocation of Multi-Source Satellite Imagery for Multi-Scale Vessel Detection

abstract: Ship detection from satellite imagery using Deep Learning (DL) is an indispensable solution for maritime surveillance. However, applying DL models trained on one dataset to others having differences in spatial resolution and radiometric features requires many adjustments. To overcome this issue, this paper focused on the DL models trained on datasets that consist of different optical images and a combination of radar and optical data. When dealing with a limited number of training images, the performance of DL models via this approach was satisfactory. They could improve 5-20% of average precision, depending on the optical images tested. Likewise, DL models trained on the combined optical and radar dataset could be applied to both optical and radar images. Our experiments showed that the models trained on an optical dataset could be used for radar images, while those trained on a radar dataset offered very poor scores when applied to optical images.


title: On the choice of non-linear terms in blocking cat states by energy conservation

abstract: In [Entropy 25, 564 (2023)] I considered the problem of wavefunction ensembles for spin models. To observe magnetization at finite temperature, I had to add macroscopic nonlinear terms blocking macroscopic superpositions by energy conservation. The nonlinear terms were of the kind introduced in [W.D. Wick, arXiv:1710.03278 (2017)] to block spatial cats by energy conservation as solution to the Measurement Problem. Reviewing the theory from [W.D. Wick, arXiv:1710.03278 (2017), arXiv:1908.02352 (2019)], I derive a commutation relation that these nonlinear terms have to satisfy to be admitted and show that the terms of [W.D. Wick, arXiv:1710.03278 (2017), arXiv:2008.08663 (2020)] restricting the wavefunctions in space satisfies such relations. I generalize the terms of [Entropy 25, 564 (2023)] for non-pure spin models and check if they also satisfy the constraints, concluding with a negative answer. An experimental estimate to test the proposal of [W.D. Wick, arXiv:1710.03278 (2017)] is described at the end.


title: Taming Differentiable Logics with Coq Formalisation

abstract: For performance and verification in machine learning, new methods have recently been proposed that optimise learning systems to satisfy formally expressed logical properties. Among these methods, differentiable logics (DLs) are used to translate propositional or first-order formulae into loss functions deployed for optimisation in machine learning. At the same time, recent attempts to give programming language support for verification of neural networks showed that DLs can be used to compile verification properties to machine-learning backends. This situation is calling for stronger guarantees about the soundness of such compilers, the soundness and compositionality of DLs, and the differentiability and performance of the resulting loss functions. In this paper, we propose an approach to formalise existing DLs using the Mathematical Components library in the Coq proof assistant. Thanks to this formalisation, we are able to give uniform semantics to otherwise disparate DLs, give formal proofs to existing informal arguments, find errors in previous work, and provide formal proofs to missing conjectured properties. This work is meant as a stepping stone for the development of programming language support for verification of machine learning.


title: What Matters for Active Texture Recognition With Vision-Based Tactile Sensors

abstract: This paper explores active sensing strategies that employ vision-based tactile sensors for robotic perception and classification of fabric textures. We formalize the active sampling problem in the context of tactile fabric recognition and provide an implementation of information-theoretic exploration strategies based on minimizing predictive entropy and variance of probabilistic models. Through ablation studies and human experiments, we investigate which components are crucial for quick and reliable texture recognition. Along with the active sampling strategies, we evaluate neural network architectures, representations of uncertainty, influence of data augmentation, and dataset variability. By evaluating our method on a previously published Active Clothing Perception Dataset and on a real robotic system, we establish that the choice of the active exploration strategy has only a minor influence on the recognition accuracy, whereas data augmentation and dropout rate play a significantly larger role. In a comparison study, while humans achieve 66.9% recognition accuracy, our best approach reaches 90.0% in under 5 touches, highlighting that vision-based tactile sensors are highly effective for fabric texture recognition.


title: Constrained and Ordered Level Planarity Parameterized by the Number of Levels

abstract: The problem Level Planarity asks for a crossing-free drawing of a graph in the plane such that vertices are placed at prescribed y-coordinates (called levels) and such that every edge is realized as a y-monotone curve. In the variant Constrained Level Planarity (CLP), each level $y$ is equipped with a partial order $\prec_y$ on its vertices and in the desired drawing the left-to-right order of vertices on level $y$ has to be a linear extension of $\prec_y$. Ordered Level Planarity (OLP) corresponds to the special case of CLP where the given partial orders $\prec_y$ are total orders. Previous results by Br\"uckner and Rutter [SODA 2017] and Klemz and Rote [ACM Trans. Alg. 2019] state that both CLP and OLP are NP-hard even in severely restricted cases. In particular, they remain NP-hard even when restricted to instances whose width (the maximum number of vertices that may share a common level) is at most two. In this paper, we focus on the other dimension: we study the parameterized complexity of CLP and OLP with respect to the height (the number of levels). We show that OLP parameterized by the height is complete with respect to the complexity class XNLP, which was first studied by Elberfeld et al. [Algorithmica 2015] (under a different name) and recently made more prominent by Bodlaender et al. [FOCS 2021]. It contains all parameterized problems that can be solved nondeterministically in time $f(k) n^{O(1)}$ and space $f(k) \log n$ (where $f$ is a computable function, $n$ is the input size, and $k$ is the parameter). If a problem is XNLP-complete, it lies in XP, but is W[$t$]-hard for every $t$. In contrast to the fact that OLP parameterized by the height lies in XP, it turns out that CLP is NP-hard even when restricted to instances of height 4. We complement this result by showing that CLP can be solved in polynomial time for instances of height at most 3.


title: Fostc3net:A Lightweight YOLOv5 Based On the Network Structure Optimization

abstract: Transmission line detection technology is crucial for automatic monitoring and ensuring the safety of electrical facilities. The YOLOv5 series is currently one of the most advanced and widely used methods for object detection. However, it faces inherent challenges, such as high computational load on devices and insufficient detection accuracy. To address these concerns, this paper presents an enhanced lightweight YOLOv5 technique customized for mobile devices, specifically intended for identifying objects associated with transmission lines. The C3Ghost module is integrated into the convolutional network of YOLOv5 to reduce floating point operations per second (FLOPs) in the feature channel fusion process and improve feature expression performance. In addition, a FasterNet module is introduced to replace the c3 module in the YOLOv5 Backbone. The FasterNet module uses Partial Convolutions to process only a portion of the input channels, improving feature extraction efficiency and reducing computational overhead. To address the imbalance between simple and challenging samples in the dataset and the diversity of aspect ratios of bounding boxes, the wIoU v3 LOSS is adopted as the loss function. To validate the performance of the proposed approach, Experiments are conducted on a custom dataset of transmission line poles. The results show that the proposed model achieves a 1% increase in detection accuracy, a 13% reduction in FLOPs, and a 26% decrease in model parameters compared to the existing YOLOv5.In the ablation experiment, it was also discovered that while the Fastnet module and the CSghost module improved the precision of the original YOLOv5 baseline model, they caused a decrease in the mAP@.5-.95 metric. However, the improvement of the wIoUv3 loss function significantly mitigated the decline of the mAP@.5-.95 metric.


title: Improving the Adaptive Moment Estimation (ADAM) stochastic optimizer through an Implicit-Explicit (IMEX) time-stepping approach

abstract: The Adam optimizer, often used in Machine Learning for neural network training, corresponds to an underlying ordinary differential equation (ODE) in the limit of very small learning rates. This work shows that the classical Adam algorithm is a first order implicit-explicit (IMEX) Euler discretization of the underlying ODE. Employing the time discretization point of view, we propose new extensions of the Adam scheme obtained by using higher order IMEX methods to solve the ODE. Based on this approach, we derive a new optimization algorithm for neural network training that performs better than classical Adam on several regression and classification problems.


title: Research Re: search & Re-search

abstract: Search algorithms are often categorized by their node expansion strategy. One option is the depth-first strategy, a simple backtracking strategy that traverses the search space in the order in which successor nodes are generated. An alternative is the best-first strategy, which was designed to make it possible to use domain-specific heuristic information. By exploring promising parts of the search space first, best-first algorithms are usually more efficient than depth-first algorithms. In programs that play minimax games such as chess and checkers, the efficiency of the search is of crucial importance. Given the success of best-first algorithms in other domains, one would expect them to be used for minimax games too. However, all high-performance game-playing programs are based on a depth-first algorithm. This study takes a closer look at a depth-first algorithm, AB, and a best-first algorithm, SSS. The prevailing opinion on these algorithms is that SSS offers the potential for a more efficient search, but that its complicated formulation and exponential memory requirements render it impractical. The theoretical part of this work shows that there is a surprisingly straightforward link between the two algorithms -- for all practical purposes, SSS is a special case of AB. Subsequent empirical evidence proves the prevailing opinion on SSS to be wrong: it is not a complicated algorithm, it does not need too much memory, and it is also not more efficient than depth-first search.


title: Adaptive estimation for Weakly Dependent Functional Times Series

abstract: The local regularity of functional time series is studied under $L^p-m-$appro\-ximability assumptions. The sample paths are observed with error at possibly random design points. Non-asymptotic concentration bounds of the regularity estimators are derived. As an application, we build nonparametric mean and autocovariance functions estimators that adapt to the regularity and the design, which can be sparse or dense. We also derive the asymptotic normality of the mean estimator, which allows honest inference for irregular mean functions. Simulations and a real data application illustrate the performance of the new estimators.


title: On Optimal Management of Energy Storage Systems in Renewable Energy Communities

abstract: Renewable energy communities are legal entities involving the association of citizens, organizations and local businesses aimed at contributing to the green energy transition and providing social, environmental and economic benefits to their members. This goal is pursued through the cooperative efforts of the community actors and by increasing the local energy self-consumption. In this paper, the optimal energy community operation in the presence of energy storage units is addressed. By exploiting the flexibility provided by the storage facilities, the main task is to minimize the community energy bill by taking advantage of incentives related to local self-consumption. Optimality conditions are derived, and an explicit optimal solution is devised. Numerical simulations are provided to assess the performance of the proposed solution.


title: Non-fluid like Boltzmann code architecture for early times f(T) cosmologies

abstract: There have been several works that have studied scalar cosmological perturbations in $f(T)$ teleparallel gravity theories to understand early cosmic times dynamics. In this direction, the perturbations presented have been performed by considering $f(T)$ extensions as an effective fluid-like scheme, where the equation-of-state contains extra terms due to the torsion. In this work, we discuss introducing a non-fluid-like approach as a direct consequence of $f(T)$ extensions, particularly for $f(T)$ power law model scenarios. This approach will be compared using CMB constraints data from Planck 2018 and SDSS catalogs, showing a change in about 17% in $C_{l}$ at $l< 10^{1}$ from the ones reported in the literature as a fluid-like approach, which will bring significant changes in the analysis on cosmological tensions at early cosmic times.


title: New measurements of $E_G$: Testing General Relativity with the Weyl potential and galaxy velocities

abstract: We combine measurements of galaxy velocities from galaxy surveys with measurements of the Weyl potential from the Dark Energy Survey to test the consistency of General Relativity at cosmological scales. Taking the ratio of two model-independent observables - the growth rate of structure and the Weyl potential - we obtain new measurements of the $E_G$ statistic with precision of $5.8-10.7\%$ at four different redshifts. These measurements provide a considerable improvement to past measurements of $E_G$. They confirm the validity of General Relativity at three redshifts, while displaying a tension of $2.5\sigma$ at $z=0.47$ as a consequence of the tension found in the measurements of the Weyl potential. Contrary to conventional methods that rely on a common galaxy sample with spectroscopic resolution to measure two types of correlations, we directly combine two observables that are independent of the galaxy bias. This provides a novel approach to testing the relation between the geometry of our Universe and the motion of galaxies with improved precision.


title: New opportunities in condensed matter physics for nanoscale quantum sensors

abstract: Nitrogen vacancy (NV) centre quantum sensors provide unique opportunities in studying condensed matter systems: they are quantitative, noninvasive, physically robust, offer nanoscale resolution, and may be used across a wide range of temperatures. These properties have been exploited in recent years to obtain nanoscale resolution measurements of static magnetic fields arising from spin order and current flow in condensed matter systems. Compared with other nanoscale magnetic-field sensors, NV centres have the unique advantage that they can probe quantities that go beyond average magnetic fields. Leveraging techniques from magnetic resonance, NV centres can perform high precision noise sensing, and have given access to diverse systems, such as fluctuating electrical currents in simple metals and graphene, as well as magnetic dynamics in yttrium iron garnet. In this review we summarise unique opportunities in condensed matter sensing by focusing on the connections between specific NV measurements and previously established physical characteristics that are more readily understood in the condensed matter community, such as correlation functions and order parameters that are inaccessible by other techniques, and we describe the technical frontier enabled by NV centre sensing.


title: HyLiMo: A Hybrid Live-Synchronized Modular Diagramming Editor as IDE Extension for Technical and Scientific Publications

abstract: Creating suitable diagrams for technical and scientific publications is challenging and time-consuming, as manual control over the layout is required to communicate information effectively. Existing diagramming tools usually allow modeling the diagrams via a textual domain-specific language (DSL) that can be rendered and auto-layouted or via a graphical editor. While auto-layout is fast, the results are often not satisfying for most publications. However, graphical editors are time-consuming to create large diagrams. The blended or hybrid modeling concept enables creating diagrams efficiently using a DSL and editing the rendered diagram via the graphical editor for fine-tuning. However, hybrid modeling editors are limited to individual diagram types and do not save the layout and style information in the textual description. Therefore, we propose HyLiMo, a hybrid live-synchronized modular diagramming editor. In HyLiMo, diagrams are created using an internal DSL and live synchronized with an interactive graphical editor for the rendered diagram, allowing a straightforward layout and style change, which is stored in the DSL code. HyLiMo is independent of specific diagram types, but we offer specific functionality for UML class diagrams. Using the language server protocol, we implement it as a web app and IDE extension. The results of our user study indicate that such an approach enables fast and precise diagramming.


title: Locally finite two-loop amplitudes for electroweak production through gluon fusion

abstract: The computation of two-loop amplitudes for the production of multiple Higgs and electroweak gauge bosons via gluon fusion with exact dependence on quark masses relies primarily on numerical methods. We propose a framework that enables their numerical evaluation in momentum space. The method is inspired by the factorization of infrared divergences in QCD scattering amplitudes. It extends techniques introduced for electroweak gauge boson production from quark-antiquark annihilation to processes with external gluons. By combining diagrammatic integrands, we make use of local cancellations between diagrams that automatically eliminate most non-factoring infrared singularities. With a limited number of counterterms, we then derive two-loop integrands for which all soft and collinear singularities factorize locally. We hope that the local subtraction techniques presented in this article will play a useful role in extending the local factorization formalism to two-loop amplitudes for arbitrary processes.


title: Constraints on VHE gamma-ray emission of Flat Spectrum Radio Quasars with the MAGIC telescopes

abstract: Flat spectrum radio quasars (FSRQs) constitute a class of jetted active galaxies characterized by a very luminous accretion disk, prominent and rapidly moving line-emitting cloud structures (Broad Line Region, BLR), and a surrounding dense dust structure known as dusty torus. The intense radiation field of the accretion disk strongly determines the observational properties of FSRQs. While hundreds of such sources have been detected at GeV energies, only a handful of them exhibit emission in the very-high-energy (VHE, E $\gtrsim 100$ GeV) range. This study presents the results and interpretation derived from a cumulative observation period of 174 hours dedicated to nine FSRQs conducted with the MAGIC telescopes from 2008 to 2020. Our findings indicate no statistically significant ($\geq$ 5 $\sigma$) signal for any of the studied sources, resulting in upper limits on the emission within the VHE energy range. In two of the sources, we derived quite stringent constraints on the $\gamma$-ray emission in the form of upper limits. Our analysis focuses on modeling the VHE emission of these two sources in search for hints of absorption signatures within the broad line region (BLR) radiation field. For these particular sources, constraints on the distance between the emission region and the central black hole are derived using a phenomenological model. Subsequently, these constraints are tested using a framework based on a leptonic model.


title: DBA-Fusion: Tightly Integrating Deep Dense Visual Bundle Adjustment with Multiple Sensors for Large-Scale Localization and Mapping

abstract: Visual simultaneous localization and mapping (VSLAM) has broad applications, with state-of-the-art methods leveraging deep neural networks for better robustness and applicability. However, there is a lack of research in fusing these learning-based methods with multi-sensor information, which could be indispensable to push related applications to large-scale and complex scenarios. In this paper, we tightly integrate the trainable deep dense bundle adjustment (DBA) with multi-sensor information through a factor graph. In the framework, recurrent optical flow and DBA are performed among sequential images. The Hessian information derived from DBA is fed into a generic factor graph for multi-sensor fusion, which employs a sliding window and supports probabilistic marginalization. A pipeline for visual-inertial integration is firstly developed, which provides the minimum ability of metric-scale localization and mapping. Furthermore, other sensors (e.g., global navigation satellite system) are integrated for driftless and geo-referencing functionality. Extensive tests are conducted on both public datasets and self-collected datasets. The results validate the superior localization performance of our approach, which enables real-time dense mapping in large-scale environments. The code has been made open-source (https://github.com/GREAT-WHU/DBA-Fusion).


title: Multi-EGS-groups: exponent of congruence quotients

abstract: Given a multi-EGS-group $K$ acting on the $p$-adic rooted tree, where $p$ is any prime number, we compute the exponent of the congruence quotient $K_n= K/ \St_K(n)$ for all $n\ge 1$. The formula that we obtain for $\exp(K_n)$ only depends on $p$, $n$ and the periodicity of $K$.


title: Agent-based Leader Election, MST, and Beyond

abstract: Leader election is one of the fundamental and well-studied problems in distributed computing. In this paper, we initiate the study of leader election using mobile agents. Suppose $n$ agents are positioned initially arbitrarily on the nodes of an arbitrary, anonymous, $n$-node, $m$-edge graph $G$. The agents relocate themselves autonomously on the nodes of $G$ and elect an agent as a leader such that the leader agent knows it is a leader and the other agents know they are not leaders. The objective is to minimize time and memory requirements. Following the literature, we consider the synchronous setting in which each agent performs its operations synchronously with others and hence the time complexity can be measured in rounds. The quest in this paper is to provide solutions without agents knowing any graph parameter, such as $n$, a priori. We first establish that, without agents knowing any graph parameter a priori, there exists a deterministic algorithm to elect an agent as a leader in $O(m)$ rounds with $O(n\log n)$ bits at each agent. Using this leader election result, we develop a deterministic algorithm for agents to construct a minimum spanning tree of $G$ in $O(m+n\log n)$ rounds using $O(n \log n)$ bits memory at each agent, without agents knowing any graph parameter a priori. Finally, using the same leader election result, we provide improved time/memory results for other fundamental distributed graph problems, namely, gathering, maximal independent set, and minimal dominating sets, removing the assumptions on agents knowing graph parameters a priori.


title: Hyperradiance, photon blockade and concurrence in a pair of qubits inside a driven cavity

abstract: We theoretically study the radiance properties of a pair of qubits inside a single-mode cavity driven by a two-photon drive. Our results show that, when the two qubits are strongly coupled to the cavity field, the collective radiation emitted from the qubits exhibits hyperradiance which can be detected as a signature of two qubit entanglement in the weak-driving regime. We quantify the entanglement in terms of concurrence. Additionally, we study the radiance behaviour in the presence of an intracavity Kerr-nonlinear medium that leads to two-photon blockade. Our results suggest that this system with nonlinearity may act as a quadrature-squeezed and hyperradiant two-photon source.


title: Paving Matroids: Defining Equations and Associated Varieties

abstract: We study paving matroids, their realization spaces, and their closures, along with matroid varieties and circuit varieties. Within this context, we introduce three distinct methods for generating polynomials within the associated ideals of these varieties across any dimension. Additionally, we explain the relationship between polynomials constructed using these different methods. We then compute a comprehensive and finite set of defining equations for matroid varieties associated with specific classes of paving matroids. Finally, we focus on the class of paving matroids of rank $3$, known as point-line configurations, which essentially contain simple matroids of rank $3$. Furthermore, we provide a decomposition for the associated circuit variety of point-line configurations, where all points have a degree less than $3$. Lastly, we present several examples applying our results and compare them with the known cases in the literature.


title: Towards a redundancy-based theory of structure

abstract: We advocate for a theory of materials structure based on the general notion of redundancy rather than its special case of symmetry. The recoverability of particle positions from interparticle distances is given as an argument for why distances rather than positions constitute the fundamental quantity underlying structure. The rapidly decreasing nature of interaction strength with interparticle distance is used to argue for the representability of a system through the neighbourhoods of its constituent particles. The extracopularity coefficient $E$ is presented as a local quantifier of redundancy and compared to point group order $|G|$, a local quantifier of symmetry. A fundamental limitation of $|G|$ is demonstrated. Some perspective is given on how $E$ can be used to arrive at a global redundancy-based description of a system.


title: UTDUSS: UTokyo-SaruLab System for Interspeech2024 Speech Processing Using Discrete Speech Unit Challenge

abstract: We present UTDUSS, the UTokyo-SaruLab system submitted to Interspeech2024 Speech Processing Using Discrete Speech Unit Challenge. The challenge focuses on using discrete speech unit learned from large speech corpora for some tasks. We submitted our UTDUSS system to two text-to-speech tracks: Vocoder and Acoustic+Vocoder. Our system incorporates neural audio codec (NAC) pre-trained on only speech corpora, which makes the learned codec represent rich acoustic features that are necessary for high-fidelity speech reconstruction. For the acoustic+vocoder track, we trained an acoustic model based on Transformer encoder-decoder that predicted the pre-trained NAC tokens from text input. We describe our strategies to build these models, such as data selection, downsampling, and hyper-parameter tuning. Our system ranked in second and first for the Vocoder and Acoustic+Vocoder tracks, respectively.


title: Large Language Models meet Network Slicing Management and Orchestration

abstract: Network slicing, a cornerstone technology for future networks, enables the creation of customized virtual networks on a shared physical infrastructure. This fosters innovation and agility by providing dedicated resources tailored to specific applications. However, current orchestration and management approaches face limitations in handling the complexity of new service demands within multi-administrative domain environments. This paper proposes a future vision for network slicing powered by Large Language Models (LLMs) and multi-agent systems, offering a framework that can be integrated with existing Management and Orchestration (MANO) frameworks. This framework leverages LLMs to translate user intent into technical requirements, map network functions to infrastructure, and manage the entire slice lifecycle, while multi-agent systems facilitate collaboration across different administrative domains. We also discuss the challenges associated with implementing this framework and potential solutions to mitigate them.


title: Magneto-Ionic Vortices: Voltage-Reconfigurable Swirling-Spin Analog-Memory Nanomagnets

abstract: Rapid progress in information technologies has spurred the need for innovative memory concepts, for which advanced data-processing methods and tailor-made materials are required. Here we introduce a previously unexplored nanoscale magnetic object: an analog magnetic vortex controlled by electric-field-induced ion motion, termed magneto-ionic vortex or "vortion". This state arises from paramagnetic FeCoN through voltage gating and gradual N3-ion extraction within patterned nanodots. Unlike traditional vortex states, vortions offer comprehensive analog adjustment of key properties such as magnetization amplitude, nucleation/annihilation fields, or coercivity using voltage as an energy-efficient tuning knob. This manipulation occurs post-synthesis, obviating the need for energy-demanding methods like laser pulses or spin-torque currents. By leveraging an overlooked aspect of N3-magneto-ionics -- planar ion migration within nanodots -- precise control of the magnetic layer's thickness is achieved, which enables reversible transitions among paramagnetic, single-domain, and vortion states, offering future prospects for analog computing, multi-state data storage, or brain-inspired devices.


title: Examining a hadronic $\gamma$-ray scenario for the radiative shell & molecular clouds of the old GeV supernova remnant G298.6$-$0.0

abstract: Based on the 13.7~yr Fermi-LAT data, Yeung et al. (2023) claimed detection of two $\gamma$-ray sources (Src-NE and Src-NW) associated with the supernova remnant (SNR) G298.6$-$0.0, and interpreted it as an old GeV SNR interacting with molecular clouds (MCs). In this follow-up study, we refine the flux measurements below 2~GeV with Fermi-LAT event types of better angular reconstruction. Then, we report our cosmic-ray phenomenology in a hadronic scenario, considering both the shell and MC regions of SNR G298.6$-$0.0. We confirm that both the $\gamma$-ray spectra of Src-NE and Src-NW exhibit spectral breaks at $1.50_{-0.50}^{+0.60}$~GeV and $0.68_{-0.11}^{+0.32}$~GeV, respectively. Src-NW has a harder broadband photon index than Src-NE, suggesting an appreciable difference between the physical separations of their respective emission sites from SNR G298.6$-$0.0. The cosmic-ray spectrum responsible for Src-NE starts with a minimum energy $E_\mathrm{CR,min}=1.38_{-0.16}^{+0.47}$~GeV, and has a proton index $\Gamma_\mathrm{CR}=2.57_{-0.21}^{+0.18}$ below the exponential cutoff energy $E_\mathrm{CR,max}=240_{-150}^{+240}$~GeV. Accordingly, we argue that Src-NE is dominated by the SNR shell, while only a minor portion of lower-energy emission is contributed by the MCs interacting with the SNR. The cosmic-ray population for Src-NW starts at a higher energy such that the $E_\mathrm{CR,min}$ ratio of Src-NW to Src-NE is $\gtrsim$2. The high $E_\mathrm{CR,min}$, as well as the high cosmic-ray energy density required ($\sim$26~eV~cm$^{-3}$), supports the interpretation that Src-NW is predominantly the $\gamma$-ray emission from the farther MCs being bombarded by protons that had earlier escaped from SNR G298.6$-$0.0. By comparing the high-energy features of G298.6$-$0.0 with those of analogical SNRs, especially SNR W28 and SNR W44, we further constrain the age of SNR G298.6$-$0.0 to be 10--30~kyr.


title: Probabilistic Forecasting with Stochastic Interpolants and F\"ollmer Processes

abstract: We propose a framework for probabilistic forecasting of dynamical systems based on generative modeling. Given observations of the system state over time, we formulate the forecasting problem as sampling from the conditional distribution of the future system state given its current state. To this end, we leverage the framework of stochastic interpolants, which facilitates the construction of a generative model between an arbitrary base distribution and the target. We design a fictitious, non-physical stochastic dynamics that takes as initial condition the current system state and produces as output a sample from the target conditional distribution in finite time and without bias. This process therefore maps a point mass centered at the current state onto a probabilistic ensemble of forecasts. We prove that the drift coefficient entering the stochastic differential equation (SDE) achieving this task is non-singular, and that it can be learned efficiently by square loss regression over the time-series data. We show that the drift and the diffusion coefficients of this SDE can be adjusted after training, and that a specific choice that minimizes the impact of the estimation error gives a F\"ollmer process. We highlight the utility of our approach on several complex, high-dimensional forecasting problems, including stochastically forced Navier-Stokes and video prediction on the KTH and CLEVRER datasets.


title: Robust Inference in Locally Misspecified Bipartite Networks

abstract: This paper introduces a methodology to conduct robust inference in bipartite networks under local misspecification. We focus on a class of dyadic network models with misspecified conditional moment restrictions. The framework of misspecification is local, as the effect of misspecification varies with the sample size. We utilize this local asymptotic approach to construct a robust estimator that is minimax optimal for the mean square error within a neighborhood of misspecification. Additionally, we introduce bias-aware confidence intervals that account for the effect of the local misspecification. These confidence intervals have the correct asymptotic coverage for the true parameter of interest under sparse network asymptotics. Monte Carlo experiments demonstrate that the robust estimator performs well in finite samples and sparse networks. As an empirical illustration, we study the formation of a scientific collaboration network among economists.


title: Rainbow considerations around the Hales-Jewett theorem

abstract: For positive integers $t$ and $n$ let $C_t^n$ be the $n$-cube over $t$ elements, that is, the set of ordered $n$-tuples over the alphabet $\{0,\dots, t-1\}$. We address the question of whether a balanced finite coloring of $C_t^n$ guarantees the presence of a rainbow geometric or combinatorial line. For every even $t\geq 4$ and every $n$, we provide a $\left(\frac{t}{2}\right)^n$--coloring of $C_t^n$ such that all color classes have the same size, and without rainbow combinatorial or geometric lines.


title: Elastic properties and thermodynamic anomalies of supersolids

abstract: We study a supersolid in the context of a Gross-Pitaevskii theory with a non-local effective potential. We employ a homogenisation technique which allows us to calculate the elastic moduli, supersolid fraction and other state variables of the system. Our methodology is verified against numerical simulations of elastic deformations. We can also verify that the long-wavelength Goldstone modes that emerge from this technique agree with Bogoliubov theory. We find a thermodynamic anomaly that the supersolid does not obey the thermodynamic relation $\partial P / \partial V \bigr|_N = - n \, \partial P / \partial N \bigr|_V$, which we claim is a feature unique to supersolids.


title: M-HOF-Opt: Multi-Objective Hierarchical Output Feedback Optimization via Multiplier Induced Loss Landscape Scheduling

abstract: We address the online combinatorial choice of weight multipliers for multi-objective optimization of many loss terms parameterized by neural works via a probabilistic graphical model (PGM) for the joint model parameter and multiplier evolution process, with a hypervolume based likelihood promoting multi-objective descent. The corresponding parameter and multiplier estimation as a sequential decision process is then cast into an optimal control problem, where the multi-objective descent goal is dispatched hierarchically into a series of constraint optimization sub-problems. The subproblem constraint automatically adapts itself according to Pareto dominance and serves as the setpoint for the low level multiplier controller to schedule loss landscapes via output feedback of each loss term. Our method is multiplier-free and operates at the timescale of epochs, thus saves tremendous computational resources compared to full training cycle multiplier tuning. It also circumvents the excessive memory requirements and heavy computational burden of existing multi-objective deep learning methods. We applied it to domain invariant variational auto-encoding with 6 loss terms on the PACS domain generalization task, and observed robust performance across a range of controller hyperparameters, as well as different multiplier initial conditions, outperforming other multiplier scheduling methods. We offered modular implementation of our method, admitting extension to custom definition of many loss terms.


title: Reinforcement Learning for Online Testing of Autonomous Driving Systems: a Replication and Extension Study

abstract: In a recent study, Reinforcement Learning (RL) used in combination with many-objective search, has been shown to outperform alternative techniques (random search and many-objective search) for online testing of Deep Neural Network-enabled systems. The empirical evaluation of these techniques was conducted on a state-of-the-art Autonomous Driving System (ADS). This work is a replication and extension of that empirical study. Our replication shows that RL does not outperform pure random test generation in a comparison conducted under the same settings of the original study, but with no confounding factor coming from the way collisions are measured. Our extension aims at eliminating some of the possible reasons for the poor performance of RL observed in our replication: (1) the presence of reward components providing contrasting or useless feedback to the RL agent; (2) the usage of an RL algorithm (Q-learning) which requires discretization of an intrinsically continuous state space. Results show that our new RL agent is able to converge to an effective policy that outperforms random testing. Results also highlight other possible improvements, which open to further investigations on how to best leverage RL for online ADS testing.


title: Projection-free computation of robust controllable sets with constrained zonotopes

abstract: We study the problem of computing robust controllable sets for discrete-time linear systems with additive uncertainty. We propose a tractable and scalable approach to inner- and outer-approximate robust controllable sets using constrained zonotopes, when the additive uncertainty set is a symmetric, convex, and compact set. Our least-squares-based approach uses novel closed-form approximations of the Pontryagin difference between a constrained zonotopic minuend and a symmetric, convex, and compact subtrahend. Unlike existing approaches, our approach does not rely on convex optimization solvers, and is projection-free for ellipsoidal and zonotopic uncertainty sets. We also propose a least-squares-based approach to compute a convex, polyhedral outer-approximation to constrained zonotopes, and characterize sufficient conditions under which all these approximations are exact. We demonstrate the computational efficiency and scalability of our approach in several case studies, including the design of abort-safe rendezvous trajectories for a spacecraft in near-rectilinear halo orbit under uncertainty. Our approach can inner-approximate a 20-step robust controllable set for a 100-dimensional linear system in under 15 seconds on a standard computer.


title: Emotion Recognition Using Transformers with Masked Learning

abstract: In recent years, deep learning has achieved innovative advancements in various fields, including the analysis of human emotions and behaviors. Initiatives such as the Affective Behavior Analysis in-the-wild (ABAW) competition have been particularly instrumental in driving research in this area by providing diverse and challenging datasets that enable precise evaluation of complex emotional states. This study leverages the Vision Transformer (ViT) and Transformer models to focus on the estimation of Valence-Arousal (VA), which signifies the positivity and intensity of emotions, recognition of various facial expressions, and detection of Action Units (AU) representing fundamental muscle movements. This approach transcends traditional Convolutional Neural Networks (CNNs) and Long Short-Term Memory (LSTM) based methods, proposing a new Transformer-based framework that maximizes the understanding of temporal and spatial features. The core contributions of this research include the introduction of a learning technique through random frame masking and the application of Focal loss adapted for imbalanced data, enhancing the accuracy and applicability of emotion and behavior analysis in real-world settings. This approach is expected to contribute to the advancement of emotional computing and deep learning methodologies.


title: Experimental fault-tolerant code switching

abstract: Quantum error correction is a crucial tool for mitigating hardware errors in quantum computers by encoding logical information into multiple physical qubits. However, no single error-correcting code allows for an intrinsically fault-tolerant implementation of all the gates needed for universal quantum computing [1-3]. One way to tackle this problem is to switch between two suitable error-correcting codes, while preserving the encoded logical information, which in combination give access to a fault-tolerant universal gate set [4-6]. In this work, we present the first experimental implementation of fault-tolerant code switching between two codes. One is the seven-qubit color code [7], which features fault-tolerant CNOT and $H$ quantum gates, while the other one, the 10-qubit code [8], allows for a fault-tolerant $T$-gate implementation. Together they form a complementary universal gate set. Building on essential code switching building blocks, we construct logical circuits and prepare 12 different logical states which are not accessible natively in a fault-tolerant way within a single code. Finally, we use code switching to entangle two logical qubits employing the full universal gate set in a single logical quantum circuit. Our results experimentally open up a new route towards deterministic control over logical qubits with low auxiliary qubit overhead, not relying on the probabilistic preparation of resource states.


title: Active Nematic Ratchet in Asymmetric Obstacle Arrays

abstract: We numerically investigate the effect of a periodic array of asymmetric obstacles in a two-dimensional active nematic. We find that activity in conjunction with the asymmetry leads to a ratchet effect or unidirectional flow of the fluid along the asymmetry direction. The directional flow is still present even in the active turbulent phase when the gap between obstacles is sufficiently small. We demonstrate that the dynamics of the topological defects transition from flow-mirroring to smectic-like as the gap between obstacles is made smaller, and explain this transition in terms of the pinning of negative winding number defects between obstacles. This also leads to a non-monotonic ratchet effect magnitude as a function of obstacle size, so that there is an optimal obstacle size for ratcheting at fixed activity.


title: Partitioning the projective plane to two incidence-rich parts

abstract: An internal or friendly partition of a vertex set $V(G)$ of a graph $G$ is a partition to two nonempty sets $A\cup B$ such that every vertex has at least as many neighbours in its own class as in the other one. Motivated by Diwan's existence proof on internal partitions of graphs with high girth, we give constructive proofs for the existence of internal partitions in the incidence graph of projective planes and discuss its geometric properties. In addition, we determine exactly the maximum possible difference between the sizes of the neighbor set in its own class and the neighbor set of the other class, that can be attained for all vertices at the same time for the incidence graphs of desarguesian planes of square order.


title: Existence and uniqueness of the Levi-Civita connection on noncommutative differential forms

abstract: We combine Hilbert module and algebraic techniques to give necessary and sufficient conditions for the existence of an Hermitian torsion-free connection on the bimodule of differential one-forms of a first order differential calculus. In the presence of the extra structure of a bimodule connection, we give sufficient conditions for uniqueness. We prove that any $\theta$-deformation of a compact Riemannian manifold admits a unique Hermitian torsion-free bimodule connection and provide an explicit construction of it. Specialising to classical Riemannian manifolds yields a novel construction of the Levi-Civita connection on the cotangent bundle.


title: Statistical Confidence in Mining Power Estimates for PoW Blockchains

abstract: The security of blockchain systems depends on the distribution of mining power across participants. If sufficient mining power is controlled by one entity, they can force their own version of events. This may allow them to double spend coins, for example. For Proof of Work (PoW) blockchains, however, the distribution of mining power cannot be read directly from the blockchain and must instead be inferred from the number of blocks mined in a specific sample window. We introduce a framework to quantify this statistical uncertainty for the Nakamoto coefficient, which is a commonly-used measure of blockchain decentralization. We show that aggregating blocks over a day can lead to considerable uncertainty, with Bitcoin failing more than half the hypothesis tests ({\alpha} = 0.05) when using a daily granularity. For these reasons, we recommend that blocks are aggregated over a sample window of at least 7 days. Instead of reporting a single value, our approach produces a range of possible Nakamoto coefficient values that have statistical support at a particular significance level {\alpha}.


title: EthioLLM: Multilingual Large Language Models for Ethiopian Languages with Task Evaluation

abstract: Large language models (LLMs) have gained popularity recently due to their outstanding performance in various downstream Natural Language Processing (NLP) tasks. However, low-resource languages are still lagging behind current state-of-the-art (SOTA) developments in the field of NLP due to insufficient resources to train LLMs. Ethiopian languages exhibit remarkable linguistic diversity, encompassing a wide array of scripts, and are imbued with profound religious and cultural significance. This paper introduces EthioLLM -- multilingual large language models for five Ethiopian languages (Amharic, Ge'ez, Afan Oromo, Somali, and Tigrinya) and English, and Ethiobenchmark -- a new benchmark dataset for various downstream NLP tasks. We evaluate the performance of these models across five downstream NLP tasks. We open-source our multilingual language models, new benchmark datasets for various downstream tasks, and task-specific fine-tuned language models and discuss the performance of the models. Our dataset and models are available at the https://huggingface.co/EthioNLP repository.


title: Policy Relevant Treatment Effects with Multidimensional Unobserved Heterogeneity

abstract: This paper provides a framework for the policy relevant treatment effects using instrumental variables. In the framework, a treatment selection may or may not satisfy the classical monotonicity condition and can accommodate multidimensional unobserved heterogeneity. We can bound the target parameter by extracting information from identifiable estimands. We also provide a more conservative yet computationally simpler bound by applying a convex relaxation method. Linear shape restrictions can be easily incorporated to further improve the bounds. Numerical and simulation results illustrate the informativeness of our convex-relaxation bounds, i.e., that our bounds are sufficiently tight.


title: Improved $L^\infty$ bounds for eigenfunctions under random perturbations in negative curvature

abstract: It has been known since the work of Avakumov\'ic, H\"ormander and Levitan that, on any compact smooth Riemannian manifold, if $-\Delta_g \psi_\lambda = \lambda \psi_\lambda$, then $\|\psi_\lambda\|_{L^\infty} \leq C \lambda^{\frac{d-1}{4}} \|\psi_\lambda\|_{L^2}$. It is believed that, on manifolds of negative curvature, such a bound can be largely improved; however, only logarithmic improvements in $\lambda$ have been obtained so far. In the present paper, we obtain polynomial improvements over the previous bound in a generic setting, by adding a small random pseudodifferential perturbation to the Laplace-Beltrami operator.


title: Uncertainty-Aware Explanations Through Probabilistic Self-Explainable Neural Networks

abstract: The lack of transparency of Deep Neural Networks continues to be a limitation that severely undermines their reliability and usage in high-stakes applications. Promising approaches to overcome such limitations are Prototype-Based Self-Explainable Neural Networks (PSENNs), whose predictions rely on the similarity between the input at hand and a set of prototypical representations of the output classes, offering therefore a deep, yet transparent-by-design, architecture. So far, such models have been designed by considering pointwise estimates for the prototypes, which remain fixed after the learning phase of the model. In this paper, we introduce a probabilistic reformulation of PSENNs, called Prob-PSENN, which replaces point estimates for the prototypes with probability distributions over their values. This provides not only a more flexible framework for an end-to-end learning of prototypes, but can also capture the explanatory uncertainty of the model, which is a missing feature in previous approaches. In addition, since the prototypes determine both the explanation and the prediction, Prob-PSENNs allow us to detect when the model is making uninformed or uncertain predictions, and to obtain valid explanations for them. Our experiments demonstrate that Prob-PSENNs provide more meaningful and robust explanations than their non-probabilistic counterparts, thus enhancing the explainability and reliability of the models.


title: Hyper Strategy Logic

abstract: Strategy logic (SL) is a powerful temporal logic that enables strategic reasoning in multi-agent systems. SL supports explicit (first-order) quantification over strategies and provides a logical framework to express many important properties such as Nash equilibria, dominant strategies, etc. While in SL the same strategy can be used in multiple strategy profiles, each such profile is evaluated w.r.t. a path-property, i.e., a property that considers the single path resulting from a particular strategic interaction. In this paper, we present Hyper Strategy Logic (HyperSL), a strategy logic where the outcome of multiple strategy profiles can be compared w.r.t. a hyperproperty, i.e., a property that relates multiple paths. We show that HyperSL can capture important properties that cannot be expressed in SL, including non-interference, quantitative Nash equilibria, optimal adversarial planning, and reasoning under imperfect information. On the algorithmic side, we identify an expressive fragment of HyperSL with decidable model checking and present a model-checking algorithm. We contribute a prototype implementation of our algorithm and report on encouraging experimental results.


title: Degree conditions for Ramsey goodness of paths

abstract: A classical result of Chv\'atal implies that if $n \geq (r-1)(t-1) +1$, then any colouring of the edges of $K_n$ in red and blue contains either a monochromatic red $K_r$ or a monochromatic blue $P_t$. We study a natural generalization of his result, determining the exact minimum degree condition for a graph $G$ on $n = (r - 1)(t - 1) + 1$ vertices which guarantees that the same Ramsey property holds in $G$. In particular, using a slight generalization of a result of Haxell, we show that $\delta(G) \geq n - \lceil t/2 \rceil$ suffices, and that this bound is best possible. We also use a classical result of Bollob\'as, Erd\H{o}s, and Straus to prove a tight minimum degree condition in the case $r = 3$ for all $n \geq 2t - 1$.


title: Quantum-Secure Certificate-Less Conditional Privacy-Preserving Authentication for VANET

abstract: Vehicular Ad-hoc Networks (VANETs) marked a pronounced change in the Intelligent Transport System and Smart Cities through seamless vehicle communication to intensify safety and efficacy. However, a few authentication schemes have been devised in the literature to ensure the authenticity of the source and information in the post-quantum era. The most popular base for such construction is lattice-based cryptography. However, existing lattice-based authentication schemes fall short of addressing the potential challenges of the leakage of the master secret key and key-escrow problem. By ingeniously addressing both issues, the paper proposes the \emph{first} quantum secure authentication scheme to eliminate the flaws while maintaining the system's overall efficiency intact. Compared to the state-of-the-art schemes, the provable security and overall performance assessment highlight the suitability of the proposed approach.


title: Mean value theorems in multiplicative systems and joint ergodicity of additive and multiplicative actions

abstract: In this paper we are concerned with the study of additive ergodic averages in multiplicative systems and the investigation of the "pretentious" dynamical behaviour of these systems. We prove a mean ergodic theorem (Theorem A) that generalises Hal\'asz's mean value theorem for finitely generated multiplicative functions taking values in the unit circle. In addition, we obtain two structural results concerning the "pretentious" dynamical behaviour of finitely generated multiplicative systems. Moreover, motivated by the independence principle between additive and multiplicative structures of the integers, we explore the joint ergodicity (as a natural notion of independence) of an additive and a finitely generated multiplicative action, both acting on the same probability space. In Theorem B, we show that such actions are jointly ergodic whenever no "local obstructions" arise, and we give a concrete description of these "local obstructions". As an application, we obtain some new combinatorial results regarding arithmetic configurations in large sets of integers including refinements of a special case of Szemer\'edi's theorem.


title: Be-Your-Outpainter: Mastering Video Outpainting through Input-Specific Adaptation

abstract: Video outpainting is a challenging task, aiming at generating video content outside the viewport of the input video while maintaining inter-frame and intra-frame consistency. Existing methods fall short in either generation quality or flexibility. We introduce MOTIA Mastering Video Outpainting Through Input-Specific Adaptation, a diffusion-based pipeline that leverages both the intrinsic data-specific patterns of the source video and the image/video generative prior for effective outpainting. MOTIA comprises two main phases: input-specific adaptation and pattern-aware outpainting. The input-specific adaptation phase involves conducting efficient and effective pseudo outpainting learning on the single-shot source video. This process encourages the model to identify and learn patterns within the source video, as well as bridging the gap between standard generative processes and outpainting. The subsequent phase, pattern-aware outpainting, is dedicated to the generalization of these learned patterns to generate outpainting outcomes. Additional strategies including spatial-aware insertion and noise travel are proposed to better leverage the diffusion model's generative prior and the acquired video patterns from source videos. Extensive evaluations underscore MOTIA's superiority, outperforming existing state-of-the-art methods in widely recognized benchmarks. Notably, these advancements are achieved without necessitating extensive, task-specific tuning.


title: A variationally consistent membrane wrinkling model based on tension-compression decomposition of the strain tensor

abstract: We propose a novel variationally consistent membrane wrinkling model for analyzing the mechanical responses of wrinkled thin membranes. The elastic strain energy density is split into tensile and compressive terms via a spectral decomposition of the strain tensor. Tensile and compressive parts of the stress and tangent material matrices are then obtained via consistent variation from the respective strain energies. Considering only the positive part of the strain energy in the variational formulation, we obtain a membrane with zero compressive stiffness. By adding the negative strain energy multiplied with a reduction factor, we further obtain a residual compressive stiffness, which improves stability and allows handling also states of slackening. Comparison with results from analytical, numerical and experimental examples from the literature on membrane wrinkling problems demonstrate the great performance and capability of the proposed approach, which is also compatible with commercial finite element software.


title: Leveraging High-Resolution Features for Improved Deep Hashing-based Image Retrieval

abstract: Deep hashing techniques have emerged as the predominant approach for efficient image retrieval. Traditionally, these methods utilize pre-trained convolutional neural networks (CNNs) such as AlexNet and VGG-16 as feature extractors. However, the increasing complexity of datasets poses challenges for these backbone architectures in capturing meaningful features essential for effective image retrieval. In this study, we explore the efficacy of employing high-resolution features learned through state-of-the-art techniques for image retrieval tasks. Specifically, we propose a novel methodology that utilizes High-Resolution Networks (HRNets) as the backbone for the deep hashing task, termed High-Resolution Hashing Network (HHNet). Our approach demonstrates superior performance compared to existing methods across all tested benchmark datasets, including CIFAR-10, NUS-WIDE, MS COCO, and ImageNet. This performance improvement is more pronounced for complex datasets, which highlights the need to learn high-resolution features for intricate image retrieval tasks. Furthermore, we conduct a comprehensive analysis of different HRNet configurations and provide insights into the optimal architecture for the deep hashing task


title: Variational Inference for Uncertainty Quantification: an Analysis of Trade-offs

abstract: Given an intractable distribution $p$, the problem of variational inference (VI) is to find the best approximation from some more tractable family $Q$. Commonly, one chooses $Q$ to be a family of factorized distributions (i.e., the mean-field assumption), even though~$p$ itself does not factorize. We show that this mismatch leads to an impossibility theorem: if $p$ does not factorize, then any factorized approximation $q\in Q$ can correctly estimate at most one of the following three measures of uncertainty: (i) the marginal variances, (ii) the marginal precisions, or (iii) the generalized variance (which can be related to the entropy). In practice, the best variational approximation in $Q$ is found by minimizing some divergence $D(q,p)$ between distributions, and so we ask: how does the choice of divergence determine which measure of uncertainty, if any, is correctly estimated by VI? We consider the classic Kullback-Leibler divergences, the more general R\'enyi divergences, and a score-based divergence which compares $\nabla \log p$ and $\nabla \log q$. We provide a thorough theoretical analysis in the setting where $p$ is a Gaussian and $q$ is a (factorized) Gaussian. We show that all the considered divergences can be \textit{ordered} based on the estimates of uncertainty they yield as objective functions for~VI. Finally, we empirically evaluate the validity of this ordering when the target distribution $p$ is not Gaussian.


title: Weisfeiler and Leman Go Loopy: A New Hierarchy for Graph Representational Learning

abstract: We introduce $r$-loopy Weisfeiler-Leman ($r$-$\ell{}$WL), a novel hierarchy of graph isomorphism tests and a corresponding GNN framework, $r$-$\ell{}$MPNN, that can count cycles up to length $r + 2$. Most notably, we show that $r$-$\ell{}$WL can count homomorphisms of cactus graphs. This strictly extends classical 1-WL, which can only count homomorphisms of trees and, in fact, is incomparable to $k$-WL for any fixed $k$. We empirically validate the expressive and counting power of the proposed $r$-$\ell{}$MPNN on several synthetic datasets and present state-of-the-art predictive performance on various real-world datasets. The code is available at https://github.com/RPaolino/loopy


title: Data integration of non-probability and probability samples with predictive mean matching

abstract: In this paper we study predictive mean matching mass imputation estimators to integrate data from probability and non-probability samples. We consider two approaches: matching predicted to predicted ($\hat{y}-\hat{y}$~matching; PMM A) and predicted to observed ($\hat{y}-y$~matching; PMM B) values. We prove the consistency of two semi-parametric mass imputation estimators based on these approaches and derive their variance and estimators of variance. We underline the differences of our approach with the nearest neighbour approach proposed by Yang et al. (2021) and prove consistency of the PMM A estimator under model mis-specification. Our approach can be employed with non-parametric regression techniques, such as kernel regression, and the analytical expression for variance can also be applied in nearest neighbour matching for non-probability samples. We conduct extensive simulation studies in order to compare the properties of this estimator with existing approaches, discuss the selection of $k$-nearest neighbours, and study the effects of model mis-specification. The paper finishes with empirical study in integration of job vacancy survey and vacancies submitted to public employment offices (admin and online data). Open source software is available for the proposed approaches.


title: The properties and kinematics of HCN emission across the closest starburst galaxy NGC 253 observed with ALMA

abstract: Studying molecular gas in nearby galaxies using hydrogen cyanide (HCN) as a tracer for higher densities than CO emission still poses a significant challenge. Even though several galaxies have HCN maps on a few kpc scales, higher-resolution maps are still required. Our goal is to examine the contrast in intensity between two tracers that probe different density regimes - HCN(1-0)/CO(2-1) ratio - and their kinematics across NGC 253. By utilizing the advanced capabilities of the Atacama Large Millimeter/submillimeter Array (ALMA), we can map these features at high resolution across a large field of view and uncover the nature of such dense gas in extragalactic systems. We present new ALMA Atacama Compact Array and Total Power (ACA+TP) observations of the HCN emission across NGC 253, covering the inner 8.6' of the galaxy disk at 300 pc scales. We analyze the integrated intensity and mean velocity of HCN and CO along each line of sight and use SCOUSE software to perform spectral decomposition, which considers each velocity component separately. Molecular gas traced by HCN piles up in a ring-like structure at a radius of 2 kpc. The HCN emission is enhanced by 2 orders of magnitude in the central 2 kpc regions, beyond which its intensity decreases with increasing galactocentric distance. The number of components in the HCN spectra shows a robust environmental dependence, with multiple velocity features across the center and bar. We have identified an increase in the HCN/CO ratio in these regions, corresponding to a velocity component likely associated with a molecular outflow. We have also discovered that the ratio between the total infrared luminosity and dense gas mass, which indicates the star formation efficiency of dense gas, is anti-correlated with the molecular gas surface density up to approximately 200 Msul/pc^2. In contrast, beyond this point, the ratio starts to increase.


title: Quantum-limited superresolution of two incoherent point sources with unknown photon numbers

abstract: Superresolution has been demonstrated to overcome the limitation of the Rayleigh's criterion and achieve significant improvement of the precision in resolving the centroid separation of two incoherent optical point sources. However, in recent years, it was found that if the photon numbers of the two incoherent optical sources are unknown, the precision of superresolution vanishes when the two photon numbers are actually different. In this work, we analyze the estimation precision of the centroid separation between two incoherent optical sources with the same point-spread functions and unknown photon numbers in detail, and show that when the photon numbers of the two optical sources are different but sufficiently close, the superresolution can still realized but with different precisions. We find the condition on how close the photons numbers of two optical sources need to be to realize the superresolution, and derive the precision of superresolution in different regimes of the photon number difference. We further consider the superresolution for two incoherent optical sources with different point-spread functions, and show that the competition between the difference of photon numbers, the difference of the two point-spread functions and the centroid separation of the two optical sources determines the precision of superresolution. The results exhibit various precision limits of the centroid separation distinct from that of two point sources with identical point-spread functions and equal photon numbers. The results are finally illustrated by Gaussian point-spread functions.


title: Generation and effects of primordial magnetic fields during inflation

abstract: In this thesis, we aim to investigate the mechanisms underlying the genesis of magnetic fields in the Universe and explore their potential in addressing the matter-antimatter asymmetry. We construct consistent models that generate the helical magnetic field consistent with observations. We also develop an effective field theory approach to magnetogenesis, where the choice of EFT parameters describes the magnetogenesis scenario in the early Universe, and different choices of parameters correspond to different models. Our EFT explicitly shows that generating primordial magnetic fields requires two necessary conditions: conformal invariance breaking and causal propagation. Furthermore, we establish that the presence of a strong magnetic field near compact objects, such as neutron stars, aids in understanding the phenomenon of Fast radio bursts through the conversion of gravitational waves to electromagnetic waves in the background of a strong transverse magnetic field.


title: Different Tokenization Schemes Lead to Comparable Performance in Spanish Number Agreement

abstract: The relationship between language model tokenization and performance is an open area of research. Here, we investigate how different tokenization schemes impact number agreement in Spanish plurals. We find that morphologically-aligned tokenization performs similarly to other tokenization schemes, even when induced artificially for words that would not be tokenized that way during training. We then present exploratory analyses demonstrating that language model embeddings for different plural tokenizations have similar distributions along the embedding space axis that maximally distinguishes singular and plural nouns. Our results suggest that morphologically-aligned tokenization is a viable tokenization approach, and existing models already generalize some morphological patterns to new items. However, our results indicate that morphological tokenization is not strictly required for performance.


title: Hydrodynamics of a disk in a thin film of weakly nematic fluid subject to linear friction

abstract: To make progress towards the development of a theory on the motion of inclusions in thin structured films and membranes, we here consider as an initial step a circular disk in a two-dimensional, uniaxially anisotropic fluid layer. We assume overdamped dynamics, incompressibility of the fluid, and global alignment of the axis of anisotropy. Motion within this layer is affected by additional linear friction with the environment, for instance, a supporting substrate. We investigate the induced flows in the fluid when the disk is translated parallel or perpendicular to the direction of anisotropy. Moreover, expressions for corresponding mobilities and resistance coefficients of the disk are derived. Our results are obtained within the framework of a perturbative expansion in the parameters that quantify the anisotropy of the fluid. Good agreement is found for moderate anisotropy when compared to associated results from finite-element simulations. At pronounced anisotropy, the induced flow fields are still predicted qualitatively correctly by the perturbative theory, although quantitative deviations arise. We hope to stimulate with our investigations corresponding experimental analyses, for example, concerning fluid flows in anisotropic thin films on uniaxially rubbed supporting substrates.


title: Enhancing Gait Video Analysis in Neurodegenerative Diseases by Knowledge Augmentation in Vision Language Model

abstract: We present a knowledge augmentation strategy for assessing the diagnostic groups and gait impairment from monocular gait videos. Based on a large-scale pre-trained Vision Language Model (VLM), our model learns and improves visual, textual, and numerical representations of patient gait videos, through a collective learning across three distinct modalities: gait videos, class-specific descriptions, and numerical gait parameters. Our specific contributions are two-fold: First, we adopt a knowledge-aware prompt tuning strategy to utilize the class-specific medical description in guiding the text prompt learning. Second, we integrate the paired gait parameters in the form of numerical texts to enhance the numeracy of the textual representation. Results demonstrate that our model not only significantly outperforms state-of-the-art (SOTA) in video-based classification tasks but also adeptly decodes the learned class-specific text features into natural language descriptions using the vocabulary of quantitative gait parameters. The code and the model will be made available at our project page.


title: Heavy States in 3d Gravity and 2d CFT

abstract: We discuss correlators of light fields in heavy states in 3d gravity and holographic 2d CFTs. In the bulk, the propagator of free fields in AdS backgrounds containing a conical defect or a BTZ black hole can be obtained by solving the wave equation, as well as by the method of images. On the boundary, these geometries are sourced by heavy operator insertions, and the propagator is dual to a heavy-light (HHLL) correlator. By matching its expansion in Virasoro blocks to our bulk results, we determine the OPE coefficients of all contributing states in both the s and t channels. In the s channel, these states are excitations of the light field on top of the heavy state, and their OPE coefficients are the amplitudes to create them. The t-channel OPE is dominated by the Virasoro vacuum block, but there is also an infinite family of light two-particle states that contribute to the correlator. The OPE coefficients that couple these states to heavy operators represent their expectation values in heavy backgrounds. We determine them exactly, derive their asymptotic form at large twist, and discuss their behavior near and above the BTZ threshold, where they become thermal one-point functions.


title: Scale Invariance at the Edge

abstract: Some aspects of the theory of fermions living on three dimensional spacetime with a flat co-dimension one boundary are discussed, particularly a case where the boundary condition preserves scale and translation invariance but violates the residual Lorentz and conformal symmetries. This case is interesting because the Dirac equation has normalizable stationary edge states which must be taken into account in the quantization. We show that a consequence of the edge states for quantization of the Dirac field is that there are no states of the Dirac field theory which are simultaneously scale, C and P invariant even when these are good symmetries of the theory. The scale invariant states of the Dirac field contain either a nonzero scale covariant momentum density or a U(1) charge density concentrated near the edge.

categories: hep-th cond-mat.mes-hall math-ph math.MP


title: How quickly can sodium-ion learn? Assessing scenarios for techno-economic competitiveness against lithium-ion batteries

abstract: Sodium-ion batteries have garnered significant attention as a potentially low-cost alternative to lithium-ion batteries, which have experienced supply shortages and pricing volatility of key minerals. Here we assess their techno-economic competitiveness against incumbent lithium-ion batteries using a modeling framework incorporating componential learning curves constrained by minerals prices and engineering design floors. We compare projected sodium-ion and lithium-ion price trends across over 6,000 scenarios while varying Na-ion technology development roadmaps, supply chain scenarios, market penetration, and learning rates. Assuming substantial progress can be made along technology roadmaps via targeted R&D, we forecast many sodium-ion pathways to be price competitive against low-cost lithium-ion variants in the early 2030s. Additionally, we show timelines are highly sensitive to movements in critical minerals supply chains--namely that of lithium, graphite, and nickel. Modeled outcomes suggest increasing sodium-ion energy densities to decrease materials intensity to be among the most impactful ways to improve competitiveness.


title: The Brown Dwarf Kinematics Project (BDKP). VI. Ultracool Dwarf Radial and Rotational Velocities from SDSS/APOGEE High-resolution Spectroscopy

abstract: We present precise measurements of radial (RV) and projected rotational ($v\sin{i}$) velocities, effective temperatures, and surface gravities of a sample of 258 M6 to L2 dwarfs with multi-epoch, high-resolution ($\lambda/\Delta\lambda$ = 22500), near-infrared (1.514-1.696 $\mu$m) spectroscopic observations reported in the Apache Point Observatory Galactic Evolution Experiment (APOGEE) Data Release 17. The spectra were modeled using a Markov Chain Monte Carlo forward-modeling method which achieved median precisions of $\sigma_\text{RV}$ = 0.4 km s$^{-1}$ and $\sigma_{v\sin{i}}$ = 1.1 km s$^{-1}$. One-half of our sample (138 sources) are previously known members of nearby young clusters and moving groups, and we identified three new kinematic members of the Argus or Carina Near moving groups, 2MASS J05402570+2448090, 2MASS J14093200+4138080, and 2MASS J21272531+5553150. Excluding these sources, we find that the majority of our sample has kinematics consistent with the Galactic thin disk, and eleven sources are associated with the intermediate thin/thick disk. The field sample has a velocity dispersion of 38.2$\pm$0.3 km s$^{-1}$, equivalent to an age of 3.30$\pm$0.19 Gyr based on empirical age-velocity dispersion relations; and a median $v\sin{i}$ of 17 km s$^{-1}$. For 172 sources with multi-epoch observations, we identified 37 as having significant radial velocity variations, and determined preliminary orbit parameters for 26 sources with four or more epochs. For 40 sources with photometric variability periods from the literature less than 5 days and $v\sin{i}$ $>$ 20 km s$^{-1}$, we find a decline in projected radii $R\sin{i}$ with age congruent with evolutionary models. Finally, we also present multi-epoch RV and vsini measurements for additional 444 candidate ultracool dwarfs.


title: HierCode: A Lightweight Hierarchical Codebook for Zero-shot Chinese Text Recognition

abstract: Text recognition, especially for complex scripts like Chinese, faces unique challenges due to its intricate character structures and vast vocabulary. Traditional one-hot encoding methods struggle with the representation of hierarchical radicals, recognition of Out-Of-Vocabulary (OOV) characters, and on-device deployment due to their computational intensity. To address these challenges, we propose HierCode, a novel and lightweight codebook that exploits the innate hierarchical nature of Chinese characters. HierCode employs a multi-hot encoding strategy, leveraging hierarchical binary tree encoding and prototype learning to create distinctive, informative representations for each character. This approach not only facilitates zero-shot recognition of OOV characters by utilizing shared radicals and structures but also excels in line-level recognition tasks by computing similarity with visual features, a notable advantage over existing methods. Extensive experiments across diverse benchmarks, including handwritten, scene, document, web, and ancient text, have showcased HierCode's superiority for both conventional and zero-shot Chinese character or text recognition, exhibiting state-of-the-art performance with significantly fewer parameters and fast inference speed.


title: When Cars meet Drones: Hyperbolic Federated Learning for Source-Free Domain Adaptation in Adverse Weather

abstract: In Federated Learning (FL), multiple clients collaboratively train a global model without sharing private data. In semantic segmentation, the Federated source Free Domain Adaptation (FFreeDA) setting is of particular interest, where clients undergo unsupervised training after supervised pretraining at the server side. While few recent works address FL for autonomous vehicles, intrinsic real-world challenges such as the presence of adverse weather conditions and the existence of different autonomous agents are still unexplored. To bridge this gap, we address both problems and introduce a new federated semantic segmentation setting where both car and drone clients co-exist and collaborate. Specifically, we propose a novel approach for this setting which exploits a batch-norm weather-aware strategy to dynamically adapt the model to the different weather conditions, while hyperbolic space prototypes are used to align the heterogeneous client representations. Finally, we introduce FLYAWARE, the first semantic segmentation dataset with adverse weather data for aerial vehicles.