title: SuFIA: Language-Guided Augmented Dexterity for Robotic Surgical Assistants

abstract: In this work, we present SuFIA, the first framework for natural language-guided augmented dexterity for robotic surgical assistants. SuFIA incorporates the strong reasoning capabilities of large language models (LLMs) with perception modules to implement high-level planning and low-level control of a robot for surgical sub-task execution. This enables a learning-free approach to surgical augmented dexterity without any in-context examples or motion primitives. SuFIA uses a human-in-the-loop paradigm by restoring control to the surgeon in the case of insufficient information, mitigating unexpected errors for mission-critical tasks. We evaluate SuFIA on four surgical sub-tasks in a simulation environment and two sub-tasks on a physical surgical robotic platform in the lab, demonstrating its ability to perform common surgical sub-tasks through supervised autonomous operation under challenging physical and workspace conditions. Project website: orbit-surgical.github.io/sufia


title: Are Economically Advanced Countries More Efficient in Basic and Applied Research?

abstract: Research and development (R&D) of countries play a major role in a long-term development of the economy. We measure the R&D efficiency of all 28 member countries of the European Union in the years 2008--2014. Super-efficient data envelopment analysis (DEA) based on robustness of classification into efficient and inefficient units is adopted. We use the number of citations as output of basic research, the number of patents as output of applied research and R&D expenditures with manpower as inputs. To meet DEA assumptions and to capture R&D characteristics, we analyze a homogeneous sample of countries, adjust prices using purchasing power parity and consider time lag between inputs and outputs. We find that the efficiency of general R&D is higher for countries with higher GDP per capita. This relation also holds for specialized efficiencies of basic and applied research. However, it is much stronger for applied research suggesting its outputs are more easily distinguished and captured. Our findings are important in the evaluation of research and policy making.


title: Generalized vector potential and Trace Theorem for Lipschitz domains

abstract: The vector potential is a fundamental concept widely applied across various fields. This paper presents an existence theorem of a vector potential for divergence-free functions in $W^{m,p}(\mathbb{R}^N,\mathbb{T})$ with general $m,p,N$. Based on this theorem, one can establish the space decomposition theorem for functions in $W^{m,p}_0(\operatorname{curl};\Omega,\mathbb{R}^N)$ and the trace theorem for functions in $W^{m,p}(\Omega)$ within the Lipschitz domain $\Omega \subset \mathbb{R}^N$. The methods of proof employed in this paper are straightforward, natural, and consistent.


title: myAURA: Personalized health library for epilepsy management via knowledge graph sparsification and visualization

abstract: Objective: We report the development of the patient-centered myAURA application and suite of methods designed to aid epilepsy patients, caregivers, and researchers in making decisions about care and self-management. Materials and Methods: myAURA rests on the federation of an unprecedented collection of heterogeneous data resources relevant to epilepsy, such as biomedical databases, social media, and electronic health records. A generalizable, open-source methodology was developed to compute a multi-layer knowledge graph linking all this heterogeneous data via the terms of a human-centered biomedical dictionary. Results: The power of the approach is first exemplified in the study of the drug-drug interaction phenomenon. Furthermore, we employ a novel network sparsification methodology using the metric backbone of weighted graphs, which reveals the most important edges for inference, recommendation, and visualization, such as pharmacology factors patients discuss on social media. The network sparsification approach also allows us to extract focused digital cohorts from social media whose discourse is more relevant to epilepsy or other biomedical problems. Finally, we present our patient-centered design and pilot-testing of myAURA, including its user interface, based on focus groups and other stakeholder input. Discussion: The ability to search and explore myAURA's heterogeneous data sources via a sparsified multi-layer knowledge graph, as well as the combination of those layers in a single map, are useful features for integrating relevant information for epilepsy. Conclusion: Our stakeholder-driven, scalable approach to integrate traditional and non-traditional data sources, enables biomedical discovery and data-powered patient self-management in epilepsy, and is generalizable to other chronic conditions.


title: On $\operatorname{Alt}(n)$-modules with an additive dimension when $n\le6$

abstract: Working in the general context of "modules with an additive dimension," we complete the determination of the minimal dimension of a faithful Alt(n)-module and classify those modules in three of the exceptional cases: 2-dimensional Alt(5)-modules in characteristic 2, 3-dimensional Alt(5)-modules in characteristic 5, and 3-dimensional Alt(6)-modules in characteristic 3. We also highlight the remaining work needed to complete the classification of the faithful Alt(n)-modules of minimal dimension for all n; these open problems seem well suited as projects for advanced undergraduate or master's students.


title: DiskGNN: Bridging I/O Efficiency and Model Accuracy for Out-of-Core GNN Training

abstract: Graph neural networks (GNNs) are machine learning models specialized for graph data and widely used in many applications. To train GNNs on large graphs that exceed CPU memory, several systems store data on disk and conduct out-of-core processing. However, these systems suffer from either read amplification when reading node features that are usually smaller than a disk page or degraded model accuracy by treating the graph as disconnected partitions. To close this gap, we build a system called DiskGNN, which achieves high I/O efficiency and thus fast training without hurting model accuracy. The key technique used by DiskGNN is offline sampling, which helps decouple graph sampling from model computation. In particular, by conducting graph sampling beforehand, DiskGNN acquires the node features that will be accessed by model computation, and such information is utilized to pack the target node features contiguously on disk to avoid read amplification. Besides, \name{} also adopts designs including four-level feature store to fully utilize the memory hierarchy to cache node features and reduce disk access, batched packing to accelerate the feature packing process, and pipelined training to overlap disk access with other operations. We compare DiskGNN with Ginex and MariusGNN, which are state-of-the-art systems for out-of-core GNN training. The results show that DiskGNN can speed up the baselines by over 8x while matching their best model accuracy.


title: How a table modulates the risk of airborne transmission between facing individuals

abstract: Airborne transmission has been recognized as an important route of transmission for SARS-CoV-2, the virus responsible for the COVID-19 pandemic. While coughing and sneezing are spectacular sources of production of infected aerosols with far-reaching airflows, the prevalence of asymptomatic transmissions highlighted the importance of social activities. Gathering around a table, a common scenario of human interactions, not only fixes a typical distance between static interlocutors, but influences airborne transmission, by serving both as a flow diverter and a surface for droplet deposition. Here, we use high-fidelity large-eddy simulations to characterize short-range airborne transmission when two people face each other at a typical table. We show that compared to the natural distance travelled by free buoyant puffs and jets, the distance between the table and the emission constitutes a new length scale that modifies downward exhaled flows, common during nose breathing, speech, and laughter. When the table is close to the emitter, its main effect is to restrict the forward spread of emitted particles. However, if the distance between individuals is too short, particles reaching the recipient become more concentrated, rising transmission risks. Additionally, simulations of forceful exhalations, like laughter, demonstrate that the table acts as a filter that collects medium-sized particles that would have remained in the free jet otherwise, but can in that case be involved in the fomite transmission route. The table introduces a cut-off size for particles that depends on the inertia of the exhaled material, thereby modifying the size distribution of particles suspended in the air.


title: Classical Grand Angular Momentum in N-Body Problems

abstract: The concept of grand angular momentum is widely used in the study of N-body problems quantum mechanically. Here, we applied it to a classical analysis of N-body problems. Utilizing the tree representation for Jacobi and hyperspherical coordinates, we found a decomposition of its magnitude into magnitudes of one-body angular momenta in 3 dimensions. We generalized some results from the two-body problem. Furthermore, we derive the general expression for the scattering angle for the N-body problem.


title: Performance Bounds for Velocity Estimation with Large Antenna Arrays

abstract: Joint communication and sensing (JCS) is envisioned as an enabler of future 6G networks. One of the key features of these networks will be the use of extremely large aperture arrays (ELAAs) and high operating frequencies, which will result in significant near-field propagation effects. This unique property can be harnessed to improve sensing capabilities. In this paper, we focus on velocity sensing, as using ELAAs allows the estimation of not just the radial component but also the transverse component. We derive analytical performance bounds for both velocity components, demonstrating how they are affected by the different system parameters and geometries. These insights offer a foundational understanding of how near-field effects play in velocity sensing differently from the far field and from position estimate.


title: RACH Traffic Prediction in Massive Machine Type Communications

abstract: Traffic pattern prediction has emerged as a promising approach for efficiently managing and mitigating the impacts of event-driven bursty traffic in massive machine-type communication (mMTC) networks. However, achieving accurate predictions of bursty traffic remains a non-trivial task due to the inherent randomness of events, and these challenges intensify within live network environments. Consequently, there is a compelling imperative to design a lightweight and agile framework capable of assimilating continuously collected data from the network and accurately forecasting bursty traffic in mMTC networks. This paper addresses these challenges by presenting a machine learning-based framework tailored for forecasting bursty traffic in multi-channel slotted ALOHA networks. The proposed machine learning network comprises long-term short-term memory (LSTM) and a DenseNet with feed-forward neural network (FFNN) layers, where the residual connections enhance the training ability of the machine learning network in capturing complicated patterns. Furthermore, we develop a new low-complexity online prediction algorithm that updates the states of the LSTM network by leveraging frequently collected data from the mMTC network. Simulation results and complexity analysis demonstrate the superiority of our proposed algorithm in terms of both accuracy and complexity, making it well-suited for time-critical live scenarios. We evaluate the performance of the proposed framework in a network with a single base station and thousands of devices organized into groups with distinct traffic-generating characteristics. Comprehensive evaluations and simulations indicate that our proposed machine learning approach achieves a remarkable $52\%$ higher accuracy in long-term predictions compared to traditional methods, without imposing additional processing load on the system.


title: Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural Networks

abstract: This paper presents sufficient conditions for the stability and $\ell_2$-gain performance of recurrent neural networks (RNNs) with ReLU activation functions. These conditions are derived by combining Lyapunov/dissipativity theory with Quadratic Constraints (QCs) satisfied by repeated ReLUs. We write a general class of QCs for repeated RELUs using known properties for the scalar ReLU. Our stability and performance condition uses these QCs along with a "lifted" representation for the ReLU RNN. We show that the positive homogeneity property satisfied by a scalar ReLU does not expand the class of QCs for the repeated ReLU. We present examples to demonstrate the stability / performance condition and study the effect of the lifting horizon.


title: EVA-X: A Foundation Model for General Chest X-ray Analysis with Self-supervised Learning

abstract: The diagnosis and treatment of chest diseases play a crucial role in maintaining human health. X-ray examination has become the most common clinical examination means due to its efficiency and cost-effectiveness. Artificial intelligence analysis methods for chest X-ray images are limited by insufficient annotation data and varying levels of annotation, resulting in weak generalization ability and difficulty in clinical dissemination. Here we present EVA-X, an innovative foundational model based on X-ray images with broad applicability to various chest disease detection tasks. EVA-X is the first X-ray image based self-supervised learning method capable of capturing both semantic and geometric information from unlabeled images for universal X-ray image representation. Through extensive experimentation, EVA-X has demonstrated exceptional performance in chest disease analysis and localization, becoming the first model capable of spanning over 20 different chest diseases and achieving leading results in over 11 different detection tasks in the medical field. Additionally, EVA-X significantly reduces the burden of data annotation in the medical AI field, showcasing strong potential in the domain of few-shot learning. The emergence of EVA-X will greatly propel the development and application of foundational medical models, bringing about revolutionary changes in future medical research and clinical practice. Our codes and models are available at: https://github.com/hustvl/EVA-X.


title: Fast Exact/Conservative Monte Carlo Confidence Intervals

abstract: Monte Carlo tests about parameters can be "inverted" to form confidence sets: the confidence set comprises all hypothesized values of the parameter that are not rejected at level $\alpha$. When the tests are exact or conservative -- as some families of such tests are -- so are the confidence sets. Because the validity of confidence sets depends only on the significance level of the test of the true null, every null can be tested using the same Monte Carlo sample, substantially reducing the computational burden of constructing confidence sets: the computation count is $O(n)$, where $n$ is the number of data. The Monte Carlo sample can be arbitrarily small, although the highest nontrivial attainable confidence level generally increases as the number of Monte Carlo replicates increases. When the parameter is real-valued and the $P$-value is quasiconcave in that parameter, it is straightforward to find the endpoints of the confidence interval using bisection in a conservative way. For some test statistics, values for different simulations and parameter values have a simple relationship that make more savings possible. An open-source Python implementation of the approach for the one-sample and two-sample problems is available.


title: Cellular Traffic Prediction Using Online Prediction Algorithms

abstract: The advent of 5G technology promises a paradigm shift in the realm of telecommunications, offering unprecedented speeds and connectivity. However, the efficient management of traffic in 5G networks remains a critical challenge. It is due to the dynamic and heterogeneous nature of network traffic, varying user behaviors, extended network size, and diverse applications, all of which demand highly accurate and adaptable prediction models to optimize network resource allocation and management. This paper investigates the efficacy of live prediction algorithms for forecasting cellular network traffic in real-time scenarios. We apply two live prediction algorithms on machine learning models, one of which is recently proposed Fast LiveStream Prediction (FLSP) algorithm. We examine the performance of these algorithms under two distinct data gathering methodologies: synchronous, where all network cells report statistics simultaneously, and asynchronous, where reporting occurs across consecutive time slots. Our study delves into the impact of these gathering scenarios on the predictive performance of traffic models. Our study reveals that the FLSP algorithm can halve the required bandwidth for asynchronous data reporting compared to conventional online prediction algorithms, while simultaneously enhancing prediction accuracy and reducing processing load. Additionally, we conduct a thorough analysis of algorithmic complexity and memory requirements across various machine learning models. Through empirical evaluation, we provide insights into the trade-offs inherent in different prediction strategies, offering valuable guidance for network optimization and resource allocation in dynamic environments.


title: An LSTM-Based Chord Generation System Using Chroma Histogram Representations

abstract: This paper proposes a system for chord generation to monophonic symbolic melodies using an LSTM-based model trained on chroma histogram representations of chords. Chroma representations promise more harmonically rich generation than chord label-based approaches, whilst maintaining a small number of dimensions in the dataset. This system is shown to be suitable for limited real-time use. While it does not meet the state-of-the-art for coherent long-term generation, it does show diatonic generation with cadential chord relationships. The need for further study into chroma histograms as an extracted feature in chord generation tasks is highlighted.


title: BenthicNet: A global compilation of seafloor images for deep learning applications

abstract: Advances in underwater imaging enable the collection of extensive seafloor image datasets that are necessary for monitoring important benthic ecosystems. The ability to collect seafloor imagery has outpaced our capacity to analyze it, hindering expedient mobilization of this crucial environmental information. Recent machine learning approaches provide opportunities to increase the efficiency with which seafloor image datasets are analyzed, yet large and consistent datasets necessary to support development of such approaches are scarce. Here we present BenthicNet: a global compilation of seafloor imagery designed to support the training and evaluation of large-scale image recognition models. An initial set of over 11.4 million images was collected and curated to represent a diversity of seafloor environments using a representative subset of 1.3 million images. These are accompanied by 2.6 million annotations translated to the CATAMI scheme, which span 190,000 of the images. A large deep learning model was trained on this compilation and preliminary results suggest it has utility for automating large and small-scale image analysis tasks. The compilation and model are made openly available for use by the scientific community at https://doi.org/10.20383/103.0614.


title: Quantum Steenrod operations and Fukaya categories

abstract: This paper is concerned with quantum cohomology and Fukaya categories of a closed monotone symplectic manifold $X$, where we use coefficients in a field $\mathbf{k}$ of characteristic $p>0$. The first main result of this paper is that the quantum Steenrod operations $Q\Sigma$ admit an interpretation in terms of the Fukaya category of $X$, via suitable versions of the open-closed maps. Using this, we show that $Q\Sigma$, whose definition is intrinsic to characteristic $p$, is compatible with certain structures inherited from the quantum connection in characteristic $0$. We then turn to applications of these results. The first application is an arithmetic proof of the unramified exponential type conjecture for $X$ that satisfies Abouzaid's generation criterion over $\overline{\mathbb{Q}}$, which uses a reduction mod $p$ argument. Next, we demonstrate how the categorical perspective provides new tools for computing $Q\Sigma$ beyond the reach of known technology. We also explore potential connections of our work to arithmetic homological mirror symmetry.


title: Deep learning-based variational autoencoder for classification of quantum and classical states of light

abstract: Advancements in optical quantum technologies have been enabled by the generation, manipulation, and characterization of light, with identification based on its photon statistics. However, characterizing light and its sources through single photon measurements often requires efficient detectors and longer measurement times to obtain high-quality photon statistics. Here we introduce a deep learning-based variational autoencoder (VAE) method for classifying single photon added coherent state (SPACS), single photon added thermal state (SPACS), mixed states between coherent/SPACS and thermal/SPATS of light. Our semisupervised learning-based VAE efficiently maps the photon statistics features of light to a lower dimension, enabling quasi-instantaneous classification with low average photon counts. The proposed VAE method is robust and maintains classification accuracy in the presence of losses inherent in an experiment, such as finite collection efficiency, non-unity quantum efficiency, finite number of detectors, etc. Additionally, leveraging the transfer learning capabilities of VAE enables successful classification of data of any quality using a single trained model. We envision that such a deep learning methodology will enable better classification of quantum light and light sources even in the presence of poor detection quality.


title: SVDD Challenge 2024: A Singing Voice Deepfake Detection Challenge Evaluation Plan

abstract: The rapid advancement of AI-generated singing voices, which now closely mimic natural human singing and align seamlessly with musical scores, has led to heightened concerns for artists and the music industry. Unlike spoken voice, singing voice presents unique challenges due to its musical nature and the presence of strong background music, making singing voice deepfake detection (SVDD) a specialized field requiring focused attention. To promote SVDD research, we recently proposed the "SVDD Challenge," the very first research challenge focusing on SVDD for lab-controlled and in-the-wild bonafide and deepfake singing voice recordings. The challenge will be held in conjunction with the 2024 IEEE Spoken Language Technology Workshop (SLT 2024).


title: Advancing Blockchain Scalability: A Linear Optimization Framework for Diversified Node Allocation in Shards

abstract: Blockchain technology, while revolutionary in enabling decentralized transactions, faces scalability challenges as the ledger must be replicated across all nodes of the chain, limiting throughput and efficiency. Sharding, which divides the chain into smaller segments, called shards, offers a solution by enabling parallel transaction processing. However, sharding introduces new complexities, notably how to allocate nodes to shards without compromising the network's security. This paper introduces a novel linear optimization framework for node allocation to shards that addresses decentralization constraints while minimizing resource consumption. In contrast to traditional methods that depend on random or trust-based assignments, our approach evaluates node characteristics, including ownership, hardware, and geographical distribution, and requires an explicit specification of decentralization targets with respect to these characteristics. By employing linear optimization, the framework identifies a resource-efficient node set meeting these targets. Adopted by the Internet Computer Protocol (ICP) community, this framework proves its utility in real-world blockchain applications. It provides a quantitative tool for node onboarding and offboarding decisions, balancing decentralization and resource considerations.


title: Semi-infinite particle systems with exclusion interaction and heterogeneous jump rates

abstract: We study semi-infinite particle systems on the one-dimensional integer lattice, where each particle performs a continuous-time nearest-neighbour random walk, with jump rates intrinsic to each particle, subject to an exclusion interaction which suppresses jumps that would lead to more than one particle occupying any site. Under appropriate hypotheses on the jump rates (uniformly bounded rates is sufficient) and started from an initial condition that is a finite perturbation of the close-packed configuration, we give conditions under which the particles evolve as a single, semi-infinite "stable cloud". More precisely, we show that inter-particle separations converge to a product-geometric stationary distribution, and that the location of every particle obeys a strong law of large numbers with the same characteristic speed.


title: Neutrinos and gamma rays from beta decays in an active galactic nucleus NGC 1068 jet

abstract: We show that TeV neutrinos detected from the nearby active galaxy NGC 1068 can be explained by the beta decays of neutrons produced in photodisintegration of nuclei on ultraviolet photons in the jet. The photodisintergation of nuclei occurs at energies above a few PeV, which explains the 1-100 TeV energies of the observed neutrinos. The gamma-ray flux accompanying the beta decays is expected to be much lower than the neutrino flux, and it agrees well with the gamma-ray observations of NGC 1068. This scenario can be applicable to other jetted Seyfert galaxies such as NGC 4151. The flavor ratio studies could be a test of this beta decay jet scenario for gamma-ray deficit neutrino sources.


title: LLMs with Personalities in Multi-issue Negotiation Games

abstract: Powered by large language models (LLMs), AI agents have become capable of many human tasks. Using the most canonical definitions of the Big Five personality, we measure the ability of LLMs to negotiate within a game-theoretical framework, as well as methodological challenges to measuring notions of fairness and risk. Simulations (n=1,500) for both single-issue and multi-issue negotiation reveal increase in domain complexity with asymmetric issue valuations improve agreement rates but decrease surplus from aggressive negotiation. Through gradient-boosted regression and Shapley explainers, we find high openness, conscientiousness, and neuroticism are associated with fair tendencies; low agreeableness and low openness are associated with rational tendencies. Low conscientiousness is associated with high toxicity. These results indicate that LLMs may have built-in guardrails that default to fair behavior, but can be "jail broken" to exploit agreeable opponents. We also offer pragmatic insight in how negotiation bots can be designed, and a framework of assessing negotiation behavior based on game theory and computational social science.


title: Effective correlation and decorrelation for newforms, and weak subconvexity for $L$-functions

abstract: Let $f$ and $g$ be spectrally normalized holomorphic newforms of even weight $k \geq2$ on $\Gamma_0(q)$. If $f\neq g$, then assume that $q$ is squarefree. For a nice test function $\psi$ supported on $\Gamma_0(1)\backslash\mathbb{H}$, we establish the best known bounds (uniform in $k$, $q$, and $\psi$) for \[ \int_{\Gamma_0(q)\backslash\mathbb{H}}\psi(z)f(z)\overline{g(z)}y^{k}\frac{dxdy}{y^2}-\mathbf{1}_{f = g}\frac{3}{\pi}\int_{\Gamma_0(1)\backslash\mathbb{H}}\psi(z)\frac{dx dy}{y^2}.\] When $f=g$, our results yield an effective holomorphic variant of quantum unique ergodicity, refining work of Holowinsky-Soundararajan and Nelson-Pitale-Saha. When $f \neq g$, our results extend and improve the effective decorrelation result of Huang for $q=1$. To prove our results, we refine Soundararajan's weak subconvexity bound for Rankin-Selberg $L$-functions.


title: DanceCam: atmospheric turbulence mitigation in wide-field astronomical images with short-exposure video streams

abstract: We introduce a novel technique to mitigate the adverse effects of atmospheric turbulence on astronomical imaging. Utilizing a video-to-image neural network trained on simulated data, our method processes a sliding sequence of short-exposure ($\sim$0.2s) stellar field images to reconstruct an image devoid of both turbulence and noise. We demonstrate the method with simulated and observed stellar fields, and show that the brief exposure sequence allows the network to accurately associate speckles to their originating stars and effectively disentangle light from adjacent sources across a range of seeing conditions, all while preserving flux to a lower signal-to-noise ratio than an average stack. This approach results in a marked improvement in angular resolution without compromising the astrometric stability of the final image.


title: Radiative corrections to the dynamics of a tracer particle coupled to a Bose scalar field

abstract: We consider a tracer particle coupled to a Bose scalar field and study the regime where the field's propagation speed approaches infinity. For initial states devoid of field excitations, we introduce an effective approximation of the time-evolved wave function and prove its validity in Hilbert space norm. In this approximation, the field remains in the vacuum state while the tracer particle propagates with a modified dispersion relation. Physically, the new dispersion relation can be understood as the effect of radiative corrections due to interactions with virtual bosons. Mathematically, it is defined as the solution of a self-consistent equation, whose form depends on the relevant time scale.


title: Attention-Driven Training-Free Efficiency Enhancement of Diffusion Models

abstract: Diffusion Models (DMs) have exhibited superior performance in generating high-quality and diverse images. However, this exceptional performance comes at the cost of expensive architectural design, particularly due to the attention module heavily used in leading models. Existing works mainly adopt a retraining process to enhance DM efficiency. This is computationally expensive and not very scalable. To this end, we introduce the Attention-driven Training-free Efficient Diffusion Model (AT-EDM) framework that leverages attention maps to perform run-time pruning of redundant tokens, without the need for any retraining. Specifically, for single-denoising-step pruning, we develop a novel ranking algorithm, Generalized Weighted Page Rank (G-WPR), to identify redundant tokens, and a similarity-based recovery method to restore tokens for the convolution operation. In addition, we propose a Denoising-Steps-Aware Pruning (DSAP) approach to adjust the pruning budget across different denoising timesteps for better generation quality. Extensive evaluations show that AT-EDM performs favorably against prior art in terms of efficiency (e.g., 38.8% FLOPs saving and up to 1.53x speed-up over Stable Diffusion XL) while maintaining nearly the same FID and CLIP scores as the full model. Project webpage: https://atedm.github.io.


title: Open Source Language Models Can Provide Feedback: Evaluating LLMs' Ability to Help Students Using GPT-4-As-A-Judge

abstract: Large language models (LLMs) have shown great potential for the automatic generation of feedback in a wide range of computing contexts. However, concerns have been voiced around the privacy and ethical implications of sending student work to proprietary models. This has sparked considerable interest in the use of open source LLMs in education, but the quality of the feedback that such open models can produce remains understudied. This is a concern as providing flawed or misleading generated feedback could be detrimental to student learning. Inspired by recent work that has utilised very powerful LLMs, such as GPT-4, to evaluate the outputs produced by less powerful models, we conduct an automated analysis of the quality of the feedback produced by several open source models using a dataset from an introductory programming course. First, we investigate the viability of employing GPT-4 as an automated evaluator by comparing its evaluations with those of a human expert. We observe that GPT-4 demonstrates a bias toward positively rating feedback while exhibiting moderate agreement with human raters, showcasing its potential as a feedback evaluator. Second, we explore the quality of feedback generated by several leading open-source LLMs by using GPT-4 to evaluate the feedback. We find that some models offer competitive performance with popular proprietary LLMs, such as ChatGPT, indicating opportunities for their responsible use in educational settings.


title: You Only Cache Once: Decoder-Decoder Architectures for Language Models

abstract: We introduce a decoder-decoder architecture, YOCO, for large language models, which only caches key-value pairs once. It consists of two components, i.e., a cross-decoder stacked upon a self-decoder. The self-decoder efficiently encodes global key-value (KV) caches that are reused by the cross-decoder via cross-attention. The overall model behaves like a decoder-only Transformer, although YOCO only caches once. The design substantially reduces GPU memory demands, yet retains global attention capability. Additionally, the computation flow enables prefilling to early exit without changing the final output, thereby significantly speeding up the prefill stage. Experimental results demonstrate that YOCO achieves favorable performance compared to Transformer in various settings of scaling up model size and number of training tokens. We also extend YOCO to 1M context length with near-perfect needle retrieval accuracy. The profiling results show that YOCO improves inference memory, prefill latency, and throughput by orders of magnitude across context lengths and model sizes. Code is available at https://aka.ms/YOCO.


title: Diffusion-HMC: Parameter Inference with Diffusion Model driven Hamiltonian Monte Carlo

abstract: Diffusion generative models have excelled at diverse image generation and reconstruction tasks across fields. A less explored avenue is their application to discriminative tasks involving regression or classification problems. The cornerstone of modern cosmology is the ability to generate predictions for observed astrophysical fields from theory and constrain physical models from observations using these predictions. This work uses a single diffusion generative model to address these interlinked objectives -- as a surrogate model or emulator for cold dark matter density fields conditional on input cosmological parameters, and as a parameter inference model that solves the inverse problem of constraining the cosmological parameters of an input field. The model is able to emulate fields with summary statistics consistent with those of the simulated target distribution. We then leverage the approximate likelihood of the diffusion generative model to derive tight constraints on cosmology by using the Hamiltonian Monte Carlo method to sample the posterior on cosmological parameters for a given test image. Finally, we demonstrate that this parameter inference approach is more robust to the addition of noise than baseline parameter inference networks.


title: THRONE: An Object-based Hallucination Benchmark for the Free-form Generations of Large Vision-Language Models

abstract: Mitigating hallucinations in large vision-language models (LVLMs) remains an open problem. Recent benchmarks do not address hallucinations in open-ended free-form responses, which we term "Type I hallucinations". Instead, they focus on hallucinations responding to very specific question formats -- typically a multiple-choice response regarding a particular object or attribute -- which we term "Type II hallucinations". Additionally, such benchmarks often require external API calls to models which are subject to change. In practice, we observe that a reduction in Type II hallucinations does not lead to a reduction in Type I hallucinations but rather that the two forms of hallucinations are often anti-correlated. To address this, we propose THRONE, a novel object-based automatic framework for quantitatively evaluating Type I hallucinations in LVLM free-form outputs. We use public language models (LMs) to identify hallucinations in LVLM responses and compute informative metrics. By evaluating a large selection of recent LVLMs using public datasets, we show that an improvement in existing metrics do not lead to a reduction in Type I hallucinations, and that established benchmarks for measuring Type I hallucinations are incomplete. Finally, we provide a simple and effective data augmentation method to reduce Type I and Type II hallucinations as a strong baseline.


title: Raman-phonon-polariton condensation in a transversely pumped cavity

abstract: Phonon polaritons are hybrid states of light and matter that are typically realised when optically active phonons couple strongly to photons. We suggest a new approach to realising phonon polaritons, by employing a transverse-pumping Raman scheme, as used in experiments on cold atoms in optical cavities. This approach allows hybridisation between an optical cavity mode and any Raman-active phonon mode. Moreover, this approach enables one to tune the effective phonon-photon coupling by changing the strength of the transverse pumping light. We show that such a system may realise a phonon-polariton condensate. To do this, we find the stationary states and use Floquet theory to determine their stability. We thus identify distinct superradiant and lasing states in which the polariton modes are macroscopically populated. We map out the phase diagram of these states as a function of pump frequencies and strengths. Using parameters for transition metal dichalcogenides, we show that realisation of these phases may be practicably obtainable. The ability to manipulate phonon mode frequencies and attain steady-state populations of selected phonon modes provides a new tool for engineering correlated states of electrons.


title: Multi-Modal Data-Efficient 3D Scene Understanding for Autonomous Driving

abstract: Efficient data utilization is crucial for advancing 3D scene understanding in autonomous driving, where reliance on heavily human-annotated LiDAR point clouds challenges fully supervised methods. Addressing this, our study extends into semi-supervised learning for LiDAR semantic segmentation, leveraging the intrinsic spatial priors of driving scenes and multi-sensor complements to augment the efficacy of unlabeled datasets. We introduce LaserMix++, an evolved framework that integrates laser beam manipulations from disparate LiDAR scans and incorporates LiDAR-camera correspondences to further assist data-efficient learning. Our framework is tailored to enhance 3D scene consistency regularization by incorporating multi-modality, including 1) multi-modal LaserMix operation for fine-grained cross-sensor interactions; 2) camera-to-LiDAR feature distillation that enhances LiDAR feature learning; and 3) language-driven knowledge guidance generating auxiliary supervisions using open-vocabulary models. The versatility of LaserMix++ enables applications across LiDAR representations, establishing it as a universally applicable solution. Our framework is rigorously validated through theoretical analysis and extensive experiments on popular driving perception datasets. Results demonstrate that LaserMix++ markedly outperforms fully supervised alternatives, achieving comparable accuracy with five times fewer annotations and significantly improving the supervised-only baselines. This substantial advancement underscores the potential of semi-supervised approaches in reducing the reliance on extensive labeled data in LiDAR-based 3D scene understanding systems.


title: OpenESS: Event-based Semantic Scene Understanding with Open Vocabularies

abstract: Event-based semantic segmentation (ESS) is a fundamental yet challenging task for event camera sensing. The difficulties in interpreting and annotating event data limit its scalability. While domain adaptation from images to event data can help to mitigate this issue, there exist data representational differences that require additional effort to resolve. In this work, for the first time, we synergize information from image, text, and event-data domains and introduce OpenESS to enable scalable ESS in an open-world, annotation-efficient manner. We achieve this goal by transferring the semantically rich CLIP knowledge from image-text pairs to event streams. To pursue better cross-modality adaptation, we propose a frame-to-event contrastive distillation and a text-to-event semantic consistency regularization. Experimental results on popular ESS benchmarks showed our approach outperforms existing methods. Notably, we achieve 53.93% and 43.31% mIoU on DDD17 and DSEC-Semantic without using either event or frame labels.


title: Financial Table Extraction in Image Documents

abstract: Table extraction has long been a pervasive problem in financial services. This is more challenging in the image domain, where content is locked behind cumbersome pixel format. Luckily, advances in deep learning for image segmentation, OCR, and sequence modeling provides the necessary heavy lifting to achieve impressive results. This paper presents an end-to-end pipeline for identifying, extracting and transcribing tabular content in image documents, while retaining the original spatial relations with high fidelity.


title: 3D Holistic OR Anonymization

abstract: We propose a novel method that leverages 3D information to automatically anonymize multi-view RGB-D video recordings of operating rooms (OR). Our anonymization method preserves the original data distribution by replacing the faces in each image with different faces so that the data remains suitable for further downstream tasks. In contrast to established anonymization methods, our approach localizes faces in 3D space first rather than in 2D space. Each face is then anonymized by reprojecting a different face back into each camera view, ultimately replacing the original faces in the resulting images. Furthermore, we introduce a multi-view RGB-D dataset, captured during a real operation of experienced surgeons performing laparoscopic surgery on an animal object (swine), which encapsulates typical characteristics of ORs. Finally, we present experimental results evaluated on that dataset, showing that leveraging 3D data can achieve better face localization in OR images and generate more realistic faces than the current state-of-the-art. There has been, to our knowledge, no prior work that addresses the anonymization of multi-view OR recordings, nor 2D face localization that leverages 3D information.


title: Properties of minimal charts and their applications XI: no minimal charts with exactly seven white vertices

abstract: Charts are oriented labeled graphs in a disk. Any simple surface braid (2-dimensional braid) can be described by using a chart. Also, a chart represents an oriented closed surface embedded in 4-space. In this paper, we investigate embedded surfaces in 4-space by using charts. In this paper, we shall show that there is no minimal chart with exactly seven white vertices.


title: Controlled $E$-frames in Hilbert spaces

abstract: In the present paper, we introduce the notion of controlled $E$-frames. Then we investigate and study some properties of them and characterize all controlled $E$-duals associated with a given controlled $E$-frame.


title: Two integral representations for the logarithm of the Glaisher-Kinkelin constant

abstract: We present two integral representations of the logarithm of the Glaisher-Kinkelin constant. Both are based on a definite integral of $\ln[\Gamma(x + 1)]$, $\Gamma$ being the usual Gamma function. The first one relies on an integral representation of $\ln[\Gamma(x + 1)]$ due to Binet, and the second one results from the so-called Malmst\'en formula. The numerical evaluation is easier with the latter expression than with the former.


title: On the Properties of the Semigroup Generated by the RL Fractional Integral

abstract: For operators $A$, it is sometimes possible to define $e^{At}$ as an operator in and of itself provided it meets certain regularity conditions. Like $e^{\lambda x}$ for ODEs, this operator is useful for solving PDEs involving the operator $A$. We call the set of $e^{At}$ a semigroup generated by $A$. In this paper, we discuss the properties of semigroups generated by the fractional integral, an operator appearing in PDEs in increasingly many fields, over Bochner-Lebesgue spaces.


title: Interior angle sums of geodesic triangles and translation-like isoptic surfaces in Sol geometry

abstract: After having investigated the geodesic triangles and their angle sums in Nil and $Sl\times\mathbb{R}$ geometries we consider the analogous problem in Sol space that is one of the eight 3-dimensional Thurston geometries. We analyse the interior angle sums of geodesic triangles and we prove that it can be larger than, less than or equal to $\pi$. Moreover, we determine the equations of Sol isoptic surfaces of translation-like segments and as a special case of this we examine the Sol translation-like Thales sphere, which we call Thaloid. We also discuss the behavior of this surface. In our work we will use the projective model of Sol described by E. Moln\'ar in \cite{M97}.


title: $v$-Palindromes: An Analogy to the Palindromes

abstract: Around the year 2007, one of the authors, Tsai, accidentally discovered a property of the number $198$ he saw on the license plate of a car. Namely, if we take $198$ and its reversal $891$, which have prime factorizations $198 = 2\cdot 3^2\cdot 11$ and $891 = 3^4\cdot 11$ respectively, and sum the numbers appearing in each factorization getting $2+3+2+11 = 18$ and $3+4+11 = 18$, both sums are $18$. Such numbers were later named $v$-palindromes because they can be viewed as an analogy to the usual palindromes. In this article, we introduce the concept of a $v$-palindrome in base $b$ and prove their existence for infinitely many bases. We also exhibit infinite families of $v$-palindromes in bases $p+1$ and $p^2+1$, for each odd prime $p$. Finally, we collect some conjectures and problems involving $v$-palindromes.


title: Sums of powers of integers and the sequence A304330

abstract: For integer $k \geq 1$, let $S_k(n)$ denote the sum of the $k$th powers of the first $n$ positive integers $1^k + 2^k + \cdots + n^k$. In this paper, we derive a new formula expressing $2^{2k}$ times $S_{2k}(n)$ as a sum of $k$ terms involving the numbers in the $k$th row of the integer sequence A304330, which is closely related to the central factorial numbers of the second kind with even indices. Furthermore, we provide an alternative proof of Knuth's formula for $S_{2k}(n)$ and show that it can equally be expressed in terms of A304330. We also deduce the corresponding formulas for the odd-indexed power sums $S_{2k-1}(n)$. Finally, we determine the Faulhaber form of $S_{2k}(n)$ and $S_{2k+1}(n)$ in terms of the sequence A304330 and the Legendre-Stirling numbers of the first kind.


title: Modified gravity/entropic gravity correspondence due to graviton mass

abstract: Some time ago, it has been suggested that gravitons can acquire mass in the process of spontaneous symmetry breaking of diffeomorphisms through the condensation of scalar fields [Chamseddine and Mukhanov, JHEP, 2010]. Taking this possibility into account, in the present paper, first we show how the graviton mass intricately reshapes the gravitational potential akin to a Yukawa-like potential at large distances. Notably, this long-range force modifies the Newton's law in large distances and might explain the phenomena of dark matter. The most important finding in the present paper is the derivation of a modified Newtons law of gravity by modifying the Verlindes entropic force relation due to the graviton contribution. The graviton contribution to the entropy basically measures the correlation of graviton and matter fields which then reproduces the Bekenstein-Hawking entropy at the horizon. This result shows the dual description of gravity: in the language of quantum information and entropy the gravity can be viewed as an entropic force, however in terms of particles and fields, it can be viewed as a longe range force. Further we have recovered the corrected Einstein field equations as well as the $\Lambda$CDM where dark matter emerges as an apparent effect.


title: Algorithmic methods of finite discrete structures. The Four Color Theorem. Theory, methods, algorithms

abstract: The Four color problem is closely related to other branches of mathematics and practical applications. More than 20 of its reformulations are known, which connect this problem with problems of algebra, statistical mechanics and planning. And this is also typical for mathematics: the solution to a problem studied out of pure curiosity turns out to be useful in representing real objects and processes that are completely different in nature. Despite the published machine methods for combinatorial proof of the Four color conjecture, there is still no clear description of the mechanism for coloring a planar graph with four colors, its natural essence and its connection with the phenomenon of graph planarity. It is necessary not only to prove (preferably by deductive methods) that any planar graph can be colored with four colors, but also to show how to color it. The paper considers an approach based on the possibility of reducing a maximally flat graph to a regular flat cubic graph with its further coloring. Based on the Tate-Volynsky theorem, the vertices of a maximally flat graph can be colored with four colors, if the edges of its dual cubic graph can be colored with three colors. Considering the properties of a colored cubic graph, it can be shown that the addition of colors obeys the transformation laws of the fourth order Klein group. Using this property, it is possible to create algorithms for coloring planar graphs.


title: A mean value inequalities for the polygamma and zeta functions

abstract: A recently published result states inequalities of the harmonic mean of the digamma function. In this work, we prove among others results that for all positive real numbers $x\neq 1$, $$-\gamma<-\gamma H(x,1/x)<\frac{\gamma^2}{\psi\big(H(x,1/x)\big)}<\psi\Big(1/H(x,1/x)\Big)<H\Big(\psi(x), \psi(1/x)\Big),$$ $$H\Big(\zeta(x),\zeta(1/x)\Big)<-2,$$ and for all $x\in(0,1)$ $$\zeta(1/2)<H\Big(\zeta(x),\zeta(1-x)\Big)<-1,$$ $$\frac{\log 4}{1+\log 4}<H\Big(\eta(x),\eta(1-x)\Big)<(1-\sqrt 2)\zeta(1/2).$$ Here, $\psi=\Gamma'/\Gamma$ denotes the digamma function, $\gamma$ is Euler's constant, $\zeta$ is the Riemann's zeta function and $\eta$ is the Dirichlet's eta function.


title: Learning bridge numbers of knots

abstract: This paper employs various computational techniques to determine the bridge numbers of both classical and virtual knots. For classical knots, there is no ambiguity of what the bridge number means. For virtual knots, there are multiple natural definitions of bridge number, and we demonstrate that the difference can be arbitrarily far apart. We then acquired two datasets, one for classical and one for virtual knots, each comprising over one million labeled data points. With the data, we conduct experiments to evaluate the effectiveness of common machine learning models in classifying knots based on their bridge numbers.


title: Lovasz' Conjecture and Other Applications of Topological Methods in Discrete Mathematics

abstract: In 20th century mathematics, the field of topology, which concerns the properties of geometric objects under continuous transformation, has proved surprisingly useful in application to the study of discrete mathematics, such as combinatorics, graph theory, and theoretical computer science. In this paper, we seek to provide an introduction to the relevant topological concepts to non-specialists, as well as a selection of some existing applications to theorems in discrete mathematics.


title: Divisibility of an analogue of $t$-core partition function by powers of primes

abstract: A partition of a positive integer $n$ is said to be $t$-core if none of its hook lengths are divisible by $t$. Recently, two analogues, $\overline{a}_t(n)$ and $\overline{b}_t(n)$, of the $t$-core partition function, $c_t(n)$, have been introduced by Gireesh, Ray and Shivashankar \cite{grs} and Bandyopadhyay and Baruah \cite{bb}, respectively. In this article, we prove the lacunarity of $\overline{b}_t(n)$ modulo arbitrary powers of 2 and 3 for $t=3^\alpha m$ where $\gcd(m,6)$=1. For a fixed positive integer $k$ and prime numbers $p_i\geq 5$, we also study the arithmetic density of $\overline{b}_t(n)$ modulo $p_i^k$ where $t=p_1^{a_1}\cdots p_m^{a_m}$. We further prove an infinite family of congruences for $\overline{b}_3(n)$ modulo arbitrary powers of 2 by employing a result of Ono and Taguchi on the nilpotency of Hecke operators.


title: SoMeR: Multi-View User Representation Learning for Social Media

abstract: User representation learning aims to capture user preferences, interests, and behaviors in low-dimensional vector representations. These representations have widespread applications in recommendation systems and advertising; however, existing methods typically rely on specific features like text content, activity patterns, or platform metadata, failing to holistically model user behavior across different modalities. To address this limitation, we propose SoMeR, a Social Media user Representation learning framework that incorporates temporal activities, text content, profile information, and network interactions to learn comprehensive user portraits. SoMeR encodes user post streams as sequences of timestamped textual features, uses transformers to embed this along with profile data, and jointly trains with link prediction and contrastive learning objectives to capture user similarity. We demonstrate SoMeR's versatility through two applications: 1) Identifying inauthentic accounts involved in coordinated influence operations by detecting users posting similar content simultaneously, and 2) Measuring increased polarization in online discussions after major events by quantifying how users with different beliefs moved farther apart in the embedding space. SoMeR's ability to holistically model users enables new solutions to important problems around disinformation, societal tensions, and online behavior understanding.


title: Manifold pathologies and Baire-1 functions as cohomotopy groups

abstract: A slight extension of a construction due to Calabi-Rosenlicht (and later Gabard, Baillif and others) produces a typically non-metrizable $n$-manifold $\mathbb{P}$ by gluing two copies of the open upper half-space $\mathbb{H}_{++}$ in $\mathbb{R}^n$ along the disjoint union of the spaces of rays within $\mathbb{H}_{++}$ originating at points ranging over a subset $S\subseteq \mathbb{R}^{n-1}$ of the boundary $\mathbb{R}^{n-1}=\partial\overline{\mathbb{H}_{++}}$. The fundamental group $\pi_1(\mathbb{P})$ is free on the complement $S^{\times}$ of any singleton in $S\ne\emptyset$, and the main result below is that the first cohomotopy group $\pi^1(\mathbb{P})$, regarded as a space of functions $S^{\times}\to \mathbb{Z}$, is precisely the additive group of integer-valued Baire-1 functions on $S^{\times}$. This occasions a detour on characterizations (perhaps of independent interest) of Baire-1 real-valued functions on a metric space $(B,d)$ as various types of non-tangential boundary limits of continuous functions on $B\times \mathbb{R}_{>0}$.


title: An Attention-Based Deep Generative Model for Anomaly Detection in Industrial Control Systems

abstract: Anomaly detection is critical for the secure and reliable operation of industrial control systems. As our reliance on such complex cyber-physical systems grows, it becomes paramount to have automated methods for detecting anomalies, preventing attacks, and responding intelligently. {This paper presents a novel deep generative model to meet this need. The proposed model follows a variational autoencoder architecture with a convolutional encoder and decoder to extract features from both spatial and temporal dimensions. Additionally, we incorporate an attention mechanism that directs focus towards specific regions, enhancing the representation of relevant features and improving anomaly detection accuracy. We also employ a dynamic threshold approach leveraging the reconstruction probability and make our source code publicly available to promote reproducibility and facilitate further research. Comprehensive experimental analysis is conducted on data from all six stages of the Secure Water Treatment (SWaT) testbed, and the experimental results demonstrate the superior performance of our approach compared to several state-of-the-art baseline techniques.


title: The Thousand Faces of Pythagoras (As Mil Faces de Pit\'agoras)

abstract: The Pythagorean Theorem is one of the oldest, more famous and more useful theorems of Mathematics, and possibly the one that has had the most impact in the evolution of this and other sciences. In this article, we look at it from different perpectives, some of them uncommon. We recall some of its history, some well known applications and generalizations, other less known ones, and show it still has many surprising facets which are usually ignored. (O Teorema de Pit\'agoras (TP) \'e um dos mais antigos, famosos e \'uteis teoremas da Matem\'atica, e possivelmente o que maior impacto teve na evolu\c{c}\~ao desta e outras ci\^encias. Neste artigo, vamos olhar para este velho conhecido de diferentes perspectivas, algumas pouco usuais. Iremos lembrar um pouco da sua hist\'oria, algumas aplica\c{c}\~oes e generaliza\c{c}\~oes bem conhecidas, outras nem tanto, e ver que ele guarda muitas facetas surpreendentes e geralmente ignoradas.)


title: On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words

abstract: We consider numbers of the form $S_\beta(\boldsymbol{u}):=\sum_{n=0}^\infty \frac{u_n}{\beta^n}$, where $\boldsymbol{u}=\langle u_n \rangle_{n=0}^\infty$ is an infinite word over a finite alphabet and $\beta\in \mathbb{C}$ satisfies $|\beta|>1$. Our main contribution is to present a combinatorial criterion on $\boldsymbol u$, called echoing, that implies that $S_\beta(\boldsymbol{u})$ is transcendental whenever $\beta$ is algebraic. We show that every Sturmian word is echoing, as is the Tribonacci word, a leading example of an Arnoux-Rauzy word. We furthermore characterise $\overline{\mathbb{Q}}$-linear independence of sets of the form $\left\{ 1, S_\beta(\boldsymbol{u}_1),\ldots,S_\beta(\boldsymbol{u}_k) \right\}$, where $\boldsymbol{u}_1,\ldots,\boldsymbol{u}_k$ are Sturmian words having the same slope. Finally, we give an application of the above linear independence criterion to the theory of dynamical systems, showing that for a contracted rotation on the unit circle with algebraic slope, its limit set is either finite or consists exclusively of transcendental elements other than its endpoints $0$ and $1$. This confirms a conjecture of Bugeaud, Kim, Laurent, and Nogueira.


title: Monotonicity and inequalities for the ratios of two Bernoulli polynomials

abstract: In the article, the authors establish the monotonicity of the ratios \begin{equation*} \frac{B_{2n-1}(t)}{B_{2n+1}(t)}, \quad \frac{B_{2n}(t)}{B_{2n+1}(t)},\quad \frac{B_{2m}(t)}{B_{2n}(t)},\quad \frac{B_{2n}(t)}{B_{2n-1}(t)} \end{equation*} and derive some known and new inequalities of the Bernoulli polynomials $B_n(t)$, the Bernoulli numbers $B_{2n}$, and their ratios such as $\frac{B_{2n+2}}{B_{2n}}$.


title: On Tournament Design

abstract: A monograph on the theory of tournament design focusing on brackets and multibrackets in particular.


title: The Detection of KIC 1718360, A Rotating Variable with a Possible Companion, Using Machine Learning

abstract: This paper presents the detection of a periodic dimming event in the lightcurve of the G1.5IV-V type star KIC 1718360. This is based on visible-light observations conducted by both the TESS and Kepler space telescopes. Analysis of the data seems to point toward a high rotation rate in the star, with a rotational period of 2.938 days. The high variability seen within the star's lightcurve points toward classification as a rotating variable. The initial observation was made in Kepler Quarter 16 data using the One-Class SVM machine learning method. Subsequent observations by the TESS space telescope corroborated these findings. It appears that KIC 1718360 is a nearby rotating variable that appears in little to no major catalogs as such. A secondary, additional periodic dip is also present, indicating a possible exoplanetary companion.


title: The existence for the classical solution of the Navier-Stokes equations

abstract: In this paper we will discuss the existence for the classical solution of the Navier-Stokes equations. First, we transform it into generalized integral equations. Next, we discuss the existence of the classical solution by Leray-Schauder degree and Sobolev space\ $H^{-m_{1}}(\Omega_{1})$.


title: A Study on Cognitive Effects of Canvas Size for Augmenting Drawing Skill

abstract: In recent years, the field of generative artificial intelligence, particularly in the domain of image generation, has exerted a profound influence on society. Despite the capability of AI to produce images of high quality, the augmentation of users' drawing abilities through the provision of drawing support systems emerges as a challenging issue. In this study, we propose that a cognitive factor, specifically, the size of the canvas, may exert a considerable influence on the outcomes of imitative drawing sketches when utilizing reference images. To investigate this hypothesis, a web based drawing interface was utilized, designed specifically to evaluate the effect of the canvas size's proportionality to the reference image on the fidelity of the drawings produced. The findings from our research lend credence to the hypothesis that a drawing interface, featuring a canvas whose dimensions closely match those of the reference image, markedly improves the precision of user-generated sketches.


title: Generative AI as a metacognitive agent: A comparative mixed-method study with human participants on ICF-mimicking exam performance

abstract: This study investigates the metacognitive capabilities of Large Language Models relative to human metacognition in the context of the International Coaching Federation ICF mimicking exam, a situational judgment test related to coaching competencies. Using a mixed method approach, we assessed the metacognitive performance, including sensitivity, accuracy in probabilistic predictions, and bias, of human participants and five advanced LLMs (GPT-4, Claude-3-Opus 3, Mistral Large, Llama 3, and Gemini 1.5 Pro). The results indicate that LLMs outperformed humans across all metacognitive metrics, particularly in terms of reduced overconfidence, compared to humans. However, both LLMs and humans showed less adaptability in ambiguous scenarios, adhering closely to predefined decision frameworks. The study suggests that Generative AI can effectively engage in human-like metacognitive processing without conscious awareness. Implications of the study are discussed in relation to development of AI simulators that scaffold cognitive and metacognitive aspects of mastering coaching competencies. More broadly, implications of these results are discussed in relation to development of metacognitive modules that lead towards more autonomous and intuitive AI systems.


title: Tiny Deep Ensemble: Uncertainty Estimation in Edge AI Accelerators via Ensembling Normalization Layers with Shared Weights

abstract: The applications of artificial intelligence (AI) are rapidly evolving, and they are also commonly used in safety-critical domains, such as autonomous driving and medical diagnosis, where functional safety is paramount. In AI-driven systems, uncertainty estimation allows the user to avoid overconfidence predictions and achieve functional safety. Therefore, the robustness and reliability of model predictions can be improved. However, conventional uncertainty estimation methods, such as the deep ensemble method, impose high computation and, accordingly, hardware (latency and energy) overhead because they require the storage and processing of multiple models. Alternatively, Monte Carlo dropout (MC-dropout) methods, although having low memory overhead, necessitate numerous ($\sim 100$) forward passes, leading to high computational overhead and latency. Thus, these approaches are not suitable for battery-powered edge devices with limited computing and memory resources. In this paper, we propose the Tiny-Deep Ensemble approach, a low-cost approach for uncertainty estimation on edge devices. In our approach, only normalization layers are ensembled $M$ times, with all ensemble members sharing common weights and biases, leading to a significant decrease in storage requirements and latency. Moreover, our approach requires only one forward pass in a hardware architecture that allows batch processing for inference and uncertainty estimation. Furthermore, it has approximately the same memory overhead compared to a single model. Therefore, latency and memory overhead are reduced by a factor of up to $\sim M\times$. Nevertheless, our method does not compromise accuracy, with an increase in inference accuracy of up to $\sim 1\%$ and a reduction in RMSE of $17.17\%$ in various benchmark datasets, tasks, and state-of-the-art architectures.


title: Fermi-Dirac Integrals in Degenerate Regimes: A Novel Asymptotic Expansion

abstract: We characterize in a novel manner the physical properties of the low temperature Fermi gas in the degenerate domain as a function of temperature and chemical potential. For the first time we obtain low temperature $T$ results in the domain where several fermions are found within a de Broglie spatial cell. In this regime, the usual high degeneracy Sommerfeld expansion fails. The other known semi-classical Boltzmann domain applies when fewer than one particle is found in the de Broglie cell. We also improve on the understanding of the Sommerfeld expansion in the regime where the chemical potential is close to the mass and also in the high temperature regime. In these calculcations we use a novel characterization of the Fermi distribution allowing the separation of the finite and zero temperature phenomena. The relative errors of the three approximate methods (Boltzmann limit, Sommerfeld expansion, and the new domain of several particles in the de Broglie cell) are quantified.

categories: cond-mat.quant-gas astro-ph.CO hep-ph nucl-th


title: Learning Social Graph for Inactive User Recommendation

abstract: Social relations have been widely incorporated into recommender systems to alleviate data sparsity problem. However, raw social relations don't always benefit recommendation due to their inferior quality and insufficient quantity, especially for inactive users, whose interacted items are limited. In this paper, we propose a novel social recommendation method called LSIR (\textbf{L}earning \textbf{S}ocial Graph for \textbf{I}nactive User \textbf{R}ecommendation) that learns an optimal social graph structure for social recommendation, especially for inactive users. LSIR recursively aggregates user and item embeddings to collaboratively encode item and user features. Then, graph structure learning (GSL) is employed to refine the raw user-user social graph, by removing noisy edges and adding new edges based on the enhanced embeddings. Meanwhile, mimic learning is implemented to guide active users in mimicking inactive users during model training, which improves the construction of new edges for inactive users. Extensive experiments on real-world datasets demonstrate that LSIR achieves significant improvements of up to 129.58\% on NDCG in inactive user recommendation. Our code is available at~\url{https://github.com/liun-online/LSIR}.


title: Around Strongly Operator Convex Functions

abstract: In this paper, we obtain the subadditivity inequality of strongly operator convex functions on $(0, \infty)$ and $(-\infty,0)$. Applying the properties of operator convex functions, we deduce the subadditivity property of operator monotone functions on $(0, \infty)$. We give new operator inequalities involving strongly operator convex functions on an interval and the weighted operator means. We also investigate relations between strongly operator convex functions and Kwong functions on $(0, \infty)$. Moreover, we study the strongly operator convex functions on $(a, \infty)$ with $a>-\infty$ and also on left half line $(-\infty,b)$ with $b< \infty$. We show that any non-constant strongly operator convex function on $(a, \infty)$ is strictly operator decreasing, and any non-constant strongly operator convex function on $(-\infty,b)$ is strictly operator monotone. Consequently, if $g$ is a strongly operator convex function on $(a, \infty)$ or $(-\infty,b)$, we estimate lower bounds of $|g(A)-g(B)|$ whenever $A-B>0$.


title: Operator mean inequalities and Kwong functions

abstract: In this paper, we study operator mean inequalities for the weighted arithmetic, geometric and harmonic means. We give a slight modification of Audenaert's result to show the relation between Kwong functions and operator monotone functions. Operator mean inequalities provide some analogs of the geometric concavity property for Kwong functions, operator convex, and operator monotone functions. Moreover, we give our points across by way of some examples which show the usage of our main results.


title: Extensions of the Hilbert-multi-norm in Hilbert $C^*$-modules

abstract: Dales and Polyakov introduced a multi-norm $\left( \left\|\cdot\right\|_n^{(2,2)}:n\in\mathbb{N}\right)$ based on a Banach space $\mathscr{X}$ and showed that it is equal with the Hilbert-multi-norm $\left( \left\|\cdot\right\|_n^{\mathscr{H}}:n\in\mathbb{N}\right)$ based on an infinite-dimensional Hilbert space $\mathscr{H}$. We enrich the theory and present three extensions of the Hilbert-multi-norm for a Hilbert $C^*$-module $\mathscr{X}$. We denote these multi-norms by $\left( \left\|\cdot\right\|_n^{\mathscr{X}}:n\in\mathbb{N}\right)$, $\left( \left\|\cdot\right\|_n^{*}:n\in\mathbb{N}\right)$, and $\left( \left\|\cdot\right\|_n^{\mathcal{P}\left(\mathfrak{A} \right) }:n\in\mathbb{N}\right)$. We show that $\left\|x\right\|_n^{\mathcal{P}\left(\mathfrak{A} \right) }\geq\left\|x\right\|_n^{\mathscr{X}}\leq \left\|x\right\|_n^{*}$ for each $x\in\mathscr{X}^n$. In the case when $\mathscr{X}$ is a Hilbert $\mathbb{K}\left(\mathscr{H}\right)$-module, for each $x\in\mathscr{X}^n$, we observe that $\left\|\cdot\right\|_n^{\mathcal{P}\left(\mathfrak{A} \right)}=\left\|\cdot\right\|_n^{\mathscr{X}}$. Furthermore, if $\mathscr{H}$ is separable and $\mathscr{X}$ is infinite-dimensional, we prove that $\left\|x\right\|_n^{\mathscr{X}}=\left\|x\right\|_n^{*}$. Among other things, we show that small and orthogonal decompositions with respect to these multi-norms are equivalent. Several examples are given to support the new findings.


title: Smart Portable Computer

abstract: Amidst the COVID-19 pandemic, with many organizations, schools, colleges, and universities transitioning to virtual platforms, students encountered difficulties in acquiring PCs such as desktops or laptops. The starting prices, around 15,000 INR, often failed to offer adequate system specifications, posing a challenge for consumers. Additionally, those reliant on laptops for work found the conventional approach cumbersome. Enter the "Portable Smart Computer," a leap into the future of computing. This innovative device boasts speed and performance comparable to traditional desktops but in a compact, energy-efficient, and cost-effective package. It delivers a seamless desktop experience, whether one is editing documents, browsing multiple tabs, managing spreadsheets, or creating presentations. Moreover, it supports programming languages like Python, C, C++, as well as compilers such as Keil and Xilinx, catering to the needs of programmers.


title: A Review on Fragment-based De Novo 2D Molecule Generation

abstract: In the field of computational molecule generation, an essential task in the discovery of new chemical compounds, fragment-based deep generative models are a leading approach, consistently achieving state-of-the-art results in molecular design benchmarks as of 2023. We present a detailed comparative assessment of their architectures, highlighting their unique approaches to molecular fragmentation and generative modeling. This review also includes comparisons of output quality, generation speed, and the current limitations of specific models. We also highlight promising avenues for future research that could bridge fragment-based models to real-world applications.


title: Harmonizing Program Induction with Rate-Distortion Theory

abstract: Many aspects of human learning have been proposed as a process of constructing mental programs: from acquiring symbolic number representations to intuitive theories about the world. In parallel, there is a long-tradition of using information processing to model human cognition through Rate Distortion Theory (RDT). Yet, it is still poorly understood how to apply RDT when mental representations take the form of programs. In this work, we adapt RDT by proposing a three way trade-off among rate (description length), distortion (error), and computational costs (search budget). We use simulations on a melody task to study the implications of this trade-off, and show that constructing a shared program library across tasks provides global benefits. However, this comes at the cost of sensitivity to curricula, which is also characteristic of human learners. Finally, we use methods from partial information decomposition to generate training curricula that induce more effective libraries and better generalization.

categories: cs.HC cs.CL cs.IT cs.LG cs.SC math.IT stat.ML


title: Relevant Irrelevance: Generating Alterfactual Explanations for Image Classifiers

abstract: In this paper, we demonstrate the feasibility of alterfactual explanations for black box image classifiers. Traditional explanation mechanisms from the field of Counterfactual Thinking are a widely-used paradigm for Explainable Artificial Intelligence (XAI), as they follow a natural way of reasoning that humans are familiar with. However, most common approaches from this field are based on communicating information about features or characteristics that are especially important for an AI's decision. However, to fully understand a decision, not only knowledge about relevant features is needed, but the awareness of irrelevant information also highly contributes to the creation of a user's mental model of an AI system. To this end, a novel approach for explaining AI systems called alterfactual explanations was recently proposed on a conceptual level. It is based on showing an alternative reality where irrelevant features of an AI's input are altered. By doing so, the user directly sees which input data characteristics can change arbitrarily without influencing the AI's decision. In this paper, we show for the first time that it is possible to apply this idea to black box models based on neural networks. To this end, we present a GAN-based approach to generate these alterfactual explanations for binary image classifiers. Further, we present a user study that gives interesting insights on how alterfactual explanations can complement counterfactual explanations.


title: A Note on Polychromatic Colorings of Shift-Chains

abstract: We popularize the question whether, for $m$ large enough, all $m$-uniform shift-chain hypergraphs are properly $2$-colorable. On the other hand, we show that for every $m$ some $m$-uniform shift-chains are not polychromatic $3$-colorable.


title: Deep Learning Method to Predict Wound Healing Progress Based on Collagen Fibers in Wound Tissue

abstract: Wound healing is a complex process involving changes in collagen fibers. Accurate monitoring of these changes is crucial for assessing the progress of wound healing and has significant implications for guiding clinical treatment strategies and drug screening. However, traditional quantitative analysis methods focus on spatial characteristics such as collagen fiber alignment and variance, lacking threshold standards to differentiate between different stages of wound healing. To address this issue, we propose an innovative approach based on deep learning to predict the progression of wound healing by analyzing collagen fiber features in histological images of wound tissue. Leveraging the unique learning capabilities of deep learning models, our approach captures the feature variations of collagen fibers in histological images from different categories and classifies them into various stages of wound healing. To overcome the limited availability of histological image data, we employ a transfer learning strategy. Specifically, we fine-tune a VGG16 model pretrained on the ImageNet dataset to adapt it to the classification task of histological images of wounds. Through this process, our model achieves 82% accuracy in classifying six stages of wound healing. Furthermore, to enhance the interpretability of the model, we employ a class activation mapping technique called LayerCAM. LayerCAM reveals the image regions on which the model relies when making predictions, providing transparency to the model's decision-making process. This visualization not only helps us understand how the model identifies and evaluates collagen fiber features but also enhances trust in the model's prediction results. To the best of our knowledge, our proposed model is the first deep learning-based classification model used for predicting wound healing stages.


title: Primitive normal Values of rational functions with one prescribed norm and trace over finite fields

abstract: Let $q, n, m \in \mathbb{N}$ be such that $q$ is a prime power and $a, b \in \mathbb{F}$. In this article we establish a sufficient condition for the existence of a primitive normal pair $(\alpha, f(\alpha)) \in \mathbb{F}_{q^m}$ over $\mathbb{F}$ with a prescribed primitive norm $a$ and a non-zero trace $b$ over $\mathbb{F}$ of $\alpha$, where $f(x) \in \mathbb{F}_{q^m}(x)$ is a rational function of degree sum $n$ with some minor restrictions. Furthermore, for $q=7^k$, $m \geq 7$ and rational functions with numerator and denominator being linear, we explicitly find at most 6 fields in which the desired pair may not exist.


title: Challenges for Responsible AI Design and Workflow Integration in Healthcare: A Case Study of Automatic Feeding Tube Qualification in Radiology

abstract: Nasogastric tubes (NGTs) are feeding tubes that are inserted through the nose into the stomach to deliver nutrition or medication. If not placed correctly, they can cause serious harm, even death to patients. Recent AI developments demonstrate the feasibility of robustly detecting NGT placement from Chest X-ray images to reduce risks of sub-optimally or critically placed NGTs being missed or delayed in their detection, but gaps remain in clinical practice integration. In this study, we present a human-centered approach to the problem and describe insights derived following contextual inquiry and in-depth interviews with 15 clinical stakeholders. The interviews helped understand challenges in existing workflows, and how best to align technical capabilities with user needs and expectations. We discovered the trade-offs and complexities that need consideration when choosing suitable workflow stages, target users, and design configurations for different AI proposals. We explored how to balance AI benefits and risks for healthcare staff and patients within broader organizational and medical-legal constraints. We also identified data issues related to edge cases and data biases that affect model training and evaluation; how data documentation practices influence data preparation and labelling; and how to measure relevant AI outcomes reliably in future evaluations. We discuss how our work informs design and development of AI applications that are clinically useful, ethical, and acceptable in real-world healthcare services.


title: Sigma index in Trees with Given Degree Sequences

abstract: The sigma index in graph theory refers to a measure of the degree differences between vertices in a graph. The goal is to determine the graphs that have the maximum sigma index within certain classes of graphs. Abdo, Dimitrov, and Gutman characterized the graphs with the greatest sigma index among all connected graphs of a fixed order.


title: A design specification for Critical Illness Digital Twins to cure sepsis: responding to the National Academies of Sciences, Engineering and Medicine Report: Foundational Research Gaps and Future Directions for Digital Twins

abstract: On December 15, 2023, The National Academies of Sciences, Engineering and Medicine (NASEM) released a report entitled: Foundational Research Gaps and Future Directions for Digital Twins. The ostensible purpose of this report was to bring some structure to the burgeoning field of digital twins by providing a working definition and a series of research challenges that need to be addressed to allow this technology to fulfill its full potential. In the work presented herein we focus on five specific findings from the NASEM Report: 1) definition of a Digital Twin, 2) using fit-for-purpose guidance, 3) developing novel approaches to Verification, Validation and Uncertainty Quantification (VVUQ) of Digital Twins, 4) incorporating control as an explicit purpose for a Digital Twin and 5) using a Digital Twin to guide data collection and sensor development, and describe how these findings are addressed through the design specifications for a Critical Illness Digital Twin (CIDT) aimed at curing sepsis.


title: Illustrating the Categorical Landau Paradigm in Lattice Models

abstract: Recent years have seen the concept of global symmetry extended to non-invertible (or categorical) symmetries, for which composition of symmetry generators is not necessarily invertible. Such non-invertible symmetries lead to a generalization of the standard Landau paradigm. In this work we substantiate this framework by providing a (1+1)d lattice model, whose gapped phases and phase transitions can only be explained by symmetry breaking of non-invertible symmetries.


title: A too-many dwarf satellite galaxies problem in the MATLAS low-to-moderate density fields

abstract: Dwarf galaxy abundances can serve as discernment tests for models of structure formation. Previous small-scale tensions between observations and dark matter-only cosmological simulations may have been resolved with the inclusion of baryonic processes; however, these successes have been largely concentrated on the Local Group dwarfs the feedback models were initially calibrated on. We investigate whether the $\Lambda$CDM model can reliably reproduce dwarf abundances in the MATLAS low-to-moderate density fields that are centred upon early-type host galaxies beyond the Local Volume. We carried out mock observations of MATLAS-like fields with the high-resolution hydrodynamic simulation IllustrisTNG-50. We used matching selection criteria and compared the properties of dwarfs contained within them with their MATLAS analogues. Although simulated MATLAS-like dwarfs demonstrate photometric properties that are consistent with the observed galaxy population and follow the same scaling relations, TNG50 underestimates the number of dwarf galaxies in isolated MATLAS fields at the 6 sigma level. This significance is maintained within crowded fields containing more than a single bright host. Our 55-62% estimate of the fraction of background galaxies is in agreement with estimates by MATLAS, but is wholly insufficient to alleviate this discrepancy in dwarf abundances. Any incompleteness in the observed fields further exacerbates this tension. We identified a "too-many-satellites" problem in $\Lambda$CDM, emphasising the need for the continued testing and refining of current models of galaxy formation in environments beyond the Local Group.


title: Swampland Conjectures Constraints on Dark Energy from a Highly Curved Field Space

abstract: We study the interplay of the trans-Planckian censorship conjecture (TCC) and the swampland distance conjecture (SDC) in the context of multifield dark energy in a curved field space. In this scenario, the phase of accelerated expansion is realized as non-geodesic motion in a highly-curved field space, reminiscent of models developed in the context of inflation. The model features a stable attractor solution with near constant equation of state $w\simeq -1$, and predicts that the current era of accelerated expansion is eternal. The latter implies an eventual conflict with the TCC, which holds that the duration of any epoch of cosmic acceleration is bounded by the requirement that the large-scale observable universe is blind to Planck-scale early universe physics. This tension can be resolved by an interplay with the distance conjecture: for suitable parameter values, the apparent violation of the TCC occurs well after the fields have traversed a Planckian distance. The SDC then predicts a breakdown of the effective field theory (EFT) before the TCC can be violated. We derive the constraints on the model arising from the SDC+TCC and the de Sitter conjecture. We demonstrate that the model can be consistent with both swampland conjectures and observational data from Planck 2018 and the Dark Energy Spectroscopic Instrument.


title: Renormalization-Group Improved Resummation of Super-Leading Logarithms

abstract: A new strategy is presented for systematically treating super-leading logarithmic contributions including higher-order Glauber exchanges for non-global LHC observables in renormalization-group (RG) improved perturbation theory. This represents an important improvement over previous approaches, as it allows for the consistent inclusion of the scale dependence of the strong coupling, thereby providing more reliable estimates of the scale uncertainties in theoretical predictions. The key idea is to rearrange the relevant RG evolution operator in such a way that all double-logarithmic corrections are exponentiated from the outset. This forms the starting point for the first resummation of super-leading logarithms at leading order in RG-improved perturbation theory for arbitrary $2\to M$ scattering processes. Moreover, the asymptotic scaling of subleading logarithmic corrections from higher-order Glauber exchanges is determined, demonstrating their parametric suppression.


title: Nonreciprocity of supercurrent along applied magnetic field

abstract: Nonreciprocal current responses arise in a broad range of systems, from magnons and phonons to supercurrents, due to an interplay between spatial and temporal symmetry breakings. These find applications in devices, such as circulators and rectifiers, as well as in probing the interactions and states that underlie the nonreciprocity. An established symmetry argument anticipates emergence of nonreciprocal currents along a direction perpendicular to the applied magnetic field that breaks the time-reversal symmetry. Here, motivated by recent experiments, we examine the emergence of nonreciprocity in vortex-limited superconducting critical currents along an applied magnetic field. Employing London's equations for describing the Meissner response of a superconducting film, we find that an additional symmetry breaking due to a preferred vortex axis enables nonreciprocal critical currents along the applied magnetic field, consistent with the so far unexplained experimental observation. Building on our concrete theoretical model for supercurrents, we discuss a possible generalization of the prevailing symmetry consideration to encompass nonreciprocal currents along the time-reversal symmetry breaking direction.


title: The Hot Jupiter Radius Anomaly and Stellar Connections

abstract: The extremely close proximity of hot Jupiters to their parent stars has dramatically affected both their atmospheres and interiors, inflating them to up to twice the radius of Jupiter. The physical mechanism responsible for this inflation remains unknown, though many proposals have been put forward. I will review the known hot Jupiter population, the proposed inflation mechanisms, and the evidence for and against them collected thus far. In doing so, I will cover the ways that hot Jupiter interiors may be simulated computationally in detail, and present some useful formulas for estimating their radii, heating, intrinsic temperature, and tentative magnetic field strength. I will also cover the related issues of hot Jupiter intrinsic temperatures and radiative-convective boundaries, the potential connection with planetary magnetic fields, and the effects of stellar tides on the planet. Finally, I conclude with the suggestion that more than one mechanism may be operating in concert with each other and propose various avenues for future progress in understanding these objects.


title: The Variation of the Galaxy-Wide IMF for Low-Mass Stars: Modeling and Observational Insights

abstract: The Stellar Initial Mass Function (IMF) characterizes the mass distribution of newly formed stars in various cosmic environments, serving as a fundamental assumption in astrophysical research. Recent findings challenge the prevalent notion of a universal and static IMF, proposing instead that the IMF's shape is contingent upon the star formation environment. In this study, we analyze the galaxy-wide variation of the IMF for low-mass stars in both dwarf and massive galaxies with diverse observational methods. Despite systematic discrepancies between different approaches, an IMF model with a metallicity-dependent slope for the low-mass stars aligns with the majority of observations, indicating a high degree of uniformity in the star formation processes across the universe. We also emphasize the need for a more comprehensive understanding of the variation of the low-mass IMF, considering measurement biases and factors beyond metallicity.


title: Hyperfine Structure Investigation of Singly Ionized Thulium in FT Spectra

abstract: The hyperfine structure of 40 spectral lines of singly ionized thulium (Tm II) in emission spectra from a hollow cathode discharge lamp measured with a Fourier transform spectrometer in the wavelength range from 335 nm to 2345 nm has been investigated. As a result of the analysis, the magnetic dipole hyperfine structure constants $A$ for 27 fine structure levels of Tm II were determined for the first time. In addition, the values of two magnetic dipole hyperfine structure constants $A$ from the literature were declared incorrect and the corrected values were given.


title: $A_\infty$ perspective to Sen's formalism

abstract: Sen's formalism is a mechanism for eliminating constraints on the dynamical fields that are imposed independently from equations of motion by employing spurious free fields. In this note a cyclic homotopy associative algebra underlying Sen's formalism is developed. The novelty lies in the construction of a symplectic form and cyclic $A_\infty$ maps on an extended algebra that combines the dynamical and spurious fields. This algebraic presentation makes the gauge invariance of theories using Sen's formulation manifest.


title: Characterization of the decametre sky at subarcminute resolution

abstract: The largely unexplored decameter radio band (10-30 MHz) provides a unique window for studying a range of astronomical topics, such as auroral emission from exoplanets, inefficient cosmic ray acceleration mechanisms, fossil radio plasma, and free-free absorption. The scarcity of low-frequency studies is mainly due to the severe perturbing effects of the ionosphere. Here we present a calibration strategy that can correct for the ionosphere in the decameter band. We apply this to an observation from the Low Frequency Array (LOFAR) between 16 to 30 MHz . The resulting image covers 330 square degrees of sky at a resolution of 45", reaching a sensitivity of 12 mJy/beam. Residual ionospheric effects cause additional blurring ranging between 60 to 100". This represents an order of magnitude improvement in terms of sensitivity and resolution compared to previous decameter band observations. In the region we surveyed, we have identified four fossil plasma sources. These rare sources are believed to contain old, possibly re-energised, radio plasma originating from previous outbursts of active galactic nuclei. At least three of them are situated near the center of low-mass galaxy clusters. Notably, two of these sources display the steepest radio spectral index among all the sources detected at 23 MHz. This indicates that fossil plasma sources constitute the primary population of steep-spectrum sources at these frequencies, emphasising the large discovery potential of ground-based decameter observations.


title: Optimal Celestial Bodies for Dark Matter Detection

abstract: A wide variety of celestial bodies have been considered as dark matter detectors. Which stands the best chance of delivering the discovery of dark matter? Which is the most powerful dark matter detector? We investigate a range of objects, including the Sun, Earth, Jupiter, Brown Dwarfs, White Dwarfs, Neutron Stars, Stellar populations, and Exoplanets. We quantify how different objects are optimal dark matter detectors in different regimes by deconstructing some of the in-built assumptions in these search sensitivities, including observation potential and particle model assumptions. We show how different objects can be expected to deliver corroborating signals. We discuss different search strategies, their opportunities and limitations, and the interplay of regimes where different celestial objects are optimal dark matter detectors.


title: The effect of the environment-dependent stellar initial mass function on the photometric properties of star-forming galaxies

abstract: (Abridged) Observational estimates of galaxy properties rely on the inherent galaxy-wide initial mass function (gwIMF), which systematically varies with the global SFR and metallicity, as proposed by the integrated-galactic IMF (IGIMF) theory and supported by empirical evidence. We incorporate PARSEC and COLIBRI stellar isochrones into the GalIMF code, a galaxy chemical evolution (GCE) model featuring real-time updates of environment-dependent gwIMFs. This newly developed photometric GalIMF (photGalIMF) code allows the calculation of photometric properties for galaxies with diverse stellar populations. Subsequently, we analyze observed luminosities and metallicities of local star-forming galaxies to deduce their stellar masses assuming that they have constant SFRs over 13.6 Gyr. We also compute SFR$-$H$\alpha$ luminosity relations for varying stellar metallicities using a separate stellar population synthesis code based on PEGASE. Comparing the IGIMF theory to the canonical universal IMF, our analysis reveals that estimates of the stellar masses and SFRs for local star-forming galaxies differ by factors of $\approx 2$ and 10, respectively. The computed gas-depletion timescale increases with gas mass, implying lower star formation efficiencies in more massive galaxies, possibly due to stronger feedback regulation, aligning with theoretical expectations. Additionally, the characteristic stellar mass buildup timescale increases with stellar mass, indicating that massive disk galaxies initiate star formation earlier than their low-mass counterparts. The photGalIMF code enables self-consistent computations of galactic photometry, self-consistently with GCE modelling within the context of an environment-dependent gwIMF. Utilizing Ks-band and H$\alpha$ luminosities of galaxies, the outcomes include galaxy mass, SFR, and fitting functions for the SFR correction factor.


title: Convective overstability in radially global protoplanetary disks I -- Pure gas dynamics

abstract: Protoplanetary disks are prone to several hydrodynamic instabilities. One candidate, Convective Overstability (COS), can drive radial semi-convection that may influence dust dynamics and planetesimal formation. However, the COS has primarily been studied in local models. This paper investigates the COS near the mid-plane of radially global disk models. We first conduct a global linear stability analysis, which shows that linear COS modes exist only radially inward of their Lindblad resonance (LR). The fastest-growing modes have LRs near the inner radial domain boundary with effective radial wavelengths that can be a substantial fraction of the disk radius. We then perform axisymmetric global simulations and find that the COS's nonlinear saturation is similar to previous incompressible shearing box simulations. In particular, we observe the onset of persistent zonal and elevator flows for sufficiently steep radial entropy gradients. In full 3D, non-axisymmetric global simulations, we find the COS produces large-scale, long-lived vortices, which induce outward radial transport of angular momentum via the excitation of spiral density waves. The corresponding $\alpha$-viscosity values of order $10^{-3}$ agree well with those found in previous 3D compressible shearing box simulations. However, in global disks, significant modifications to their radial structure are found, including the formation of pressure bumps. Interestingly, the COS typically generates an outward radial mass transport, i.e. decretion. We briefly discuss the possible implications of our results for planetesimal formation and for interpreting dust rings and asymmetries observed in protoplanetary disks.