title: Preprojective algebras, skew group algebras and Morita equivalences

abstract: Let $\mathbb{K}$ be a field of characteristic $p$ and $G$ be a cyclic $p$-group which acts on a finite acyclic quiver $Q$. The folding process associates a Cartan triple to the action. We establish a Morita equivalence between the skew group algebra of the preprojective algebra of $Q$ and the generalized preprojective algebra associated to the Cartan triple in the sense of Geiss, Leclerc and Schr\"{o}er. The Morita equivalence induces an isomorphism between certain ideal monoids of these preprojective algebras, which is compatible with the embedding of Weyl groups appearing in the folding process.


title: Tri-VQA: Triangular Reasoning Medical Visual Question Answering for Multi-Attribute Analysis

abstract: The intersection of medical Visual Question Answering (Med-VQA) is a challenging research topic with advantages including patient engagement and clinical expert involvement for second opinions. However, existing Med-VQA methods based on joint embedding fail to explain whether their provided results are based on correct reasoning or coincidental answers, which undermines the credibility of VQA answers. In this paper, we investigate the construction of a more cohesive and stable Med-VQA structure. Motivated by causal effect, we propose a novel Triangular Reasoning VQA (Tri-VQA) framework, which constructs reverse causal questions from the perspective of "Why this answer?" to elucidate the source of the answer and stimulate more reasonable forward reasoning processes. We evaluate our method on the Endoscopic Ultrasound (EUS) multi-attribute annotated dataset from five centers, and test it on medical VQA datasets. Experimental results demonstrate the superiority of our approach over existing methods. Our codes and pre-trained models are available at https://anonymous.4open.science/r/Tri_VQA.


title: An entropy-stable and fully well-balanced scheme for the Euler equations with gravity

abstract: The present work concerns the derivation of a numerical scheme to approximate weak solutions of the Euler equations with a gravitational source term. The designed scheme is proved to be fully well-balanced since it is able to exactly preserve all moving equilibrium solutions, as well as the corresponding steady solutions at rest obtained when the velocity vanishes. Moreover, the proposed scheme is entropy-preserving since it satisfies all fully discrete entropy inequalities. In addition, in order to satisfy the required admissibility of the approximate solutions, the positivity of both approximate density and pressure is established. Several numerical experiments attest the relevance of the developed numerical method.


title: Towards polaritonic molecular orbitals for large molecular systems

abstract: A comprehensive theoretical understanding of electron-photon correlation is essential for describing the reshaping of molecular orbitals in quantum electrodynamics (QED) environments. The strong coupling QED Hartree-Fock (SC-QED-HF) theory tackles these aspects by providing consistent molecular orbitals in the strong coupling regime. The previous implementation, however, has significant convergence issues that limit the applicability. In this work we introduce two second-order algorithms that significantly reduce the computational requirements, thereby enhancing the modeling of large molecular systems in QED environments. Furthermore, the implementation will enable the development of correlated methods based on a reliable molecular orbital framework.


title: PARIKSHA : A Large-Scale Investigation of Human-LLM Evaluator Agreement on Multilingual and Multi-Cultural Data

abstract: Evaluation of multilingual Large Language Models (LLMs) is challenging due to a variety of factors -- the lack of benchmarks with sufficient linguistic diversity, contamination of popular benchmarks into LLM pre-training data and the lack of local, cultural nuances in translated benchmarks. In this work, we study human and LLM-based evaluation in a multilingual, multi-cultural setting. We evaluate 30 models across 10 Indic languages by conducting 90K human evaluations and 30K LLM-based evaluations and find that models such as GPT-4o and Llama-3 70B consistently perform best for most Indic languages. We build leaderboards for two evaluation settings - pairwise comparison and direct assessment and analyse the agreement between humans and LLMs. We find that humans and LLMs agree fairly well in the pairwise setting but the agreement drops for direct assessment evaluation especially for languages such as Bengali and Odia. We also check for various biases in human and LLM-based evaluation and find evidence of self-bias in the GPT-based evaluator. Our work presents a significant step towards scaling up multilingual evaluation of LLMs.


title: Dynamic Response of Ionic Current in Conical Nanopores

abstract: Ionic current rectification (ICR) of charged conical nanopores has various applications in fields including nanofluidics, bio-sensing, and energy conversion, whose function is closely related to the dynamic response of nanopores. The occurrence of ICR originates from the ion enrichment and depletion in conical pores, whose formation is found to be affected by the scanning rate of voltages. Here, through time-dependent simulations, we investigate the variation of ion current under electric fields and the dynamic formation of ion enrichment and depletion, which can reflect the response time of conical nanopores. The response time of nanopores when ion enrichment forms i.e. at the on state is significantly longer than that with the formation of ion depletion i.e. at the off state. Our simulation results reveal the regulation of response time by different nanopore parameters including the surface charge density, pore length, tip, and base radius, as well as the applied conditions such as the voltage and bulk concentration. The response time of nanopores is closely related to the surface charge density, pore length, voltage, and bulk concentration. Our uncovered dynamic response mechanism of the ionic current can guide the design of nanofluidic devices with conical nanopores, including memristors, ionic switches, and rectifiers.


title: SaTor: Satellite Routing in Tor to Reduce Latency

abstract: High latency is a critical limitation within the Tor network. A key factor exacerbating Tor latency is the creation of lengthy circuits that span across geographically distant regions, causing significant transmission delays. To address this issue, a common strategy involves modifying Tor's circuit building process to reduce the likelihood of selecting lengthy circuits. However, this strategy compromises the randomness of Tor's routing, thereby increasing the risk of deanonymization. Improving Tor's latency performance while minimizing security degradation presents a critical challenge. This paper proposes SaTor, a latency-improving scheme for Tor using satellite routing technology. SaTor proposes equipping a targeted subset of Tor relays with satellite network access, utilizing long-distance satellite transmission to accelerate slow circuits, without biasing the existing path selection process. Our SaTor performance evaluation, using a simulator we developed coupled with real-world measurements, demonstrates that over the long-term, SaTor offers an expected speed-up of roughly 40 ms for over 70% of circuits under common conditions. This improvement necessitates outfitting the top approx. 30-40% relays with satellite access. Our research uncovers a viable way to overcome Tor's latency bottleneck, serving as a practical reference for its future enhancement.


title: Continuous Aperture Array (CAPA)-Based Wireless Communications: Capacity Characterization

abstract: The capacity limits of continuous-aperture array (CAPA)-based wireless communications are characterized. To this end, an analytically tractable transmission framework is established for both uplink and downlink CAPA systems. Based on this framework, closed-form expressions for the single-user channel capacity are derived. The results are further extended to a multiuser case by characterizing the capacity limits of a two-user channel and proposing the associated capacity-achieving decoding and encoding schemes. 1) For the uplink case, the sum-rate capacity and capacity region, as well as the capacity-achieving detectors, are derived. 2) For the downlink case, the uplink-downlink duality is established by deriving the uplink-to-downlink and downlink-to-uplink transformations under the same power constraint, based on which the optimal power allocation policy and the achieved sum-rate capacity and capacity region are characterized. To gain further insights, several case studies are presented by specializing the derived results into various array structures, including the planar CAPA, linear CAPA, and planar spatially discrete array (SPDA). Numerical results are provided to reveal that: i) the channel capacity achieved by CAPAs converges towards a finite upper bound as the aperture size increases; and ii) CAPAs offer significant capacity gains over the conventional SPDAs.


title: Latent Space Translation via Inverse Relative Projection

abstract: The emergence of similar representations between independently trained neural models has sparked significant interest in the representation learning community, leading to the development of various methods to obtain communication between latent spaces. "Latent space communication" can be achieved in two ways: i) by independently mapping the original spaces to a shared or relative one; ii) by directly estimating a transformation from a source latent space to a target one. In this work, we combine the two into a novel method to obtain latent space translation through the relative space. By formalizing the invertibility of angle-preserving relative representations and assuming the scale invariance of decoder modules in neural models, we can effectively use the relative space as an intermediary, independently projecting onto and from other semantically similar spaces. Extensive experiments over various architectures and datasets validate our scale invariance assumption and demonstrate the high accuracy of our method in latent space translation. We also apply our method to zero-shot stitching between arbitrary pre-trained text and image encoders and their classifiers, even across modalities. Our method has significant potential for facilitating the reuse of models in a practical manner via compositionality.


title: Towards a second generation of metascintillators using the Purcell effect

abstract: This study focuses on advancing metascintillators to break the 100 ps barrier and approach the 10 ps target. We exploit nanophotonic features, specifically the Purcell effect, to shape and enhance the scintillation properties of the first-generation metascintillator. We demonstrate that a faster emission is achievable along with a more efficient conversion efficiency. This results in a coincidence time resolution improved by a factor of 1.6, crucial for TOF-PET applications.

categories: physics.optics physics.comp-ph physics.ins-det physics.med-ph


title: Gribov Problem and Stochastic Quantization

abstract: The standard procedure for quantizing gauge fields is the Faddeev-Popov quantization, which performs gauge fixing in the path integral formulation and introduces additional ghost fields. This approach provides the foundation for calculations in quantum Yang-Mills theory. However, in 1978, Vladimir Gribov showed that the gauge-fixing procedure was incomplete, with residual gauge copies (called Gribov copies) still entering the path integral even after gauge fixing. These copies impact the infrared behavior of the theory and modify gauge-dependent quantities, such as gluon and ghost propagators, as they represent redundant integrations over gauge-equivalent configurations. Furthermore, their existence breaks down the Faddeev-Popov prescription at a fundamental level. To partially resolve this, Gribov proposed restricting the path integral to the Gribov region, which alters the gluon propagator semiclassically in a way that points to gluon confinement in the Yang-Mills theory. In this thesis, we comprehensively study the Gribov problem analytically. After reviewing Faddeev-Popov quantization, the BRST symmetry of the complete Lagrangian and the Gribov problem in depth, we detail Gribov's semi-classical resolution involving restriction of the path integral to the Gribov region, outlining its effects on the theory. Further, we elucidate stochastic quantization prescription for quantizing the gauge fields. This alternate quantization prescription hints towards a formalism devoid of the Gribov problem, making it an interesting candidate for quantizing and studying the non-perturbative regime of gauge theories.


title: Evidence for Three-$\alpha$ Breathing Modes Uncovered by Control Neural Network

abstract: This work introduces a new Control Neural Network (Ctrl.NN) method to uncover evidence of exotic quantum state, \textit{i.e.}, the breathing modes in 3-$\alpha$ resonant states of $^{12}$C nucleus. We provide the most precise microscopic description to date for the $^{12}$C energy spectrum, identify two new exotic breathing states, and uncover strong evidence that directly connects the recent experimental observations to the breathing modes. The Ctrl.NN method significantly simplifies numerical calculations of quantum systems under multiple constraints and offers a new perspective for solving the nuclear many-body problem.


title: Anatomy of Null Contractions

abstract: We introduce null contractions of the Poincare and relativistic conformal algebras. The longitudinal null contraction involves writing the algebra in lightcone coordinates and contracting one of the null directions. For the Poincare algebra, this yields two non-overlapping co-dimension one Carroll algebras. The transverse contraction is a limit on the spatial dimensions and yields two non-overlapping co-dimension one Galilean algebras. We find, similar to Susskind's original observation of the non-relativistic case, that the Poincare algebra, written in the lightcone coordinates, naturally contains Carrollian sub-algebras in one lower dimension. The effect of the longitudinal contraction, which essentially focusses on the null direction, is to disentangle the two Carroll algebras that now correspond to the symmetries of the two null boundaries. The transverse contraction similarly separates the overlapping Galilean sub-algebras of the original Poincare algebra. We discuss aspects of the conformal case, where we get lower dimensional Carroll Conformal algebras and Schrodinger algebras.


title: Decoupled static and dynamical charge correlations in La$_{2-x}$Sr$_x$CuO$_4$

abstract: The relation between charge order, its quantum fluctuations and optical phonon modes in cuprate superconductors remains an unsolved problem. The exploration of these excitations is however complicated by the presence of twinned domains. Here, we use uniaxial strain in combination with ultra-high-resolution Resonant Inelastic X-ray Scattering (RIXS) at the oxygen K- and copper L3-edges to study the excitations stemming from the charge ordering wave vector in La1.875Sr0.125CuO4. By detwinning stripe ordering, we demonstrate that the optical phonon anomalies do not show any stripe anisotropy. The low-energy charge excitations also retain an in-plane four-fold symmetry. As such, we find that both phonon and charge excitations are decoupled entirely from the strength of static charge ordering. The almost isotropic character of charge excitations remains a possible source for the strange metal properties found in the normal state of cuprate superconductors.


title: Delegated-Query Oblivious Transfer and its Practical Applications

abstract: Databases play a pivotal role in the contemporary World Wide Web and the world of cloud computing. Unfortunately, numerous privacy violations have recently garnered attention in the news. To enhance database privacy, we consider Oblivious Transfer (OT), an elegant cryptographic technology. Our observation reveals that existing research in this domain primarily concentrates on theoretical cryptographic applications, overlooking various practical aspects: - OTs assume parties have direct access to databases. Our "1-out-of-2 Delegated-Query OT" enables parties to privately query a database, without direct access. - With the rise of cloud computing, physically separated databases may no longer remain so. Our "1-out-of-2 Delegated-Query Multi-Receiver OT" protects privacy in such evolving scenarios. - Research often ignores the limitations of thin clients, e.g., Internet of Things devices. To address this, we propose a compiler that transforms any 1-out-of-n OT into a thin client version.


title: Advancing Galaxy Analysis: AI-Powered Detection and Segmentation of Edge-On Galaxies

abstract: Edge-on galaxies have many important applications in galactic astrophysics, but they can be difficult to identify in vast amounts of astronomical data. To facilitate the search for them, we have developed a deep learning algorithm designed to identify and extract edge-on galaxies from astronomical images. We utilised a sample of edge-on spiral galaxies from the Galaxy Zoo database, retrieving the corresponding images from the Sloan Digital Sky Survey (SDSS). Our dataset comprises approximately $16,000$ galaxies, which we used to train the YOLOv5 algorithm for detection purposes. To isolate galaxies from their backgrounds, we trained the SCSS-Net neural network to generate segmentation masks. As a result, our algorithm detected $8,000$ edge-on galaxies, for which we compiled a catalogue including their parameters obtained from the SDSS database. We describe the basic properties of our sample, finding that most galaxies have redshifts $0.02<z<0.10$, have low values of $b/a$ and are mostly red, which is expected from edge-on galaxies and is consistent with our training sample, as well as other literature. The cutouts of the detected galaxies can be used for future studies and the algorithm can be applied to data from future surveys as well.


title: Phase transitions, Dirac and WSM states in $\mathrm{Mn}_{1-x} \mathrm{Ge}_x \mathrm{Bi}_2 \mathrm{Te}_4$

abstract: Using angle-resolved photoemission spectroscopy (ARPES) and density functional theory (DFT), an experimental and theoretical study of changes in the electronic structure (dispersion dependencies) and corresponding modification of the energy band gap at the Dirac point (DP) for topological insulator (TI) $\mathrm{Mn}_{1-x} \mathrm{Ge}_x \mathrm{Bi}_2 \mathrm{Te}_4$ have been carried out with gradual replacement of magnetic Mn atoms by non-magnetic Ge atoms when concentration of the latter was varied from 10$\%$ to 75$\%$. It was shown that when Ge concentration increases then the bulk band gap decreases and reaches zero plateau in the concentration range of 45$\%$-60$\%$ while non-topological surface states (TSS) are present and exhibit an energy splitting of 100 and 70 meV in different types of measurements. It was also shown that TSS disappear from the measured band dispersions at a Ge concentration of about 40$\%$. DFT calculations of $\mathrm{Mn}_{1-x} \mathrm{Ge}_x \mathrm{Bi}_2 \mathrm{Te}_4$ band structure were carried out to identify the nature of observed band dispersion features and to analyze a possibility of magnetic Weyl semimetal state formation in this system. These calculations were performed for both antiferromagnetic (AFM) and ferromagnetic (FM) ordering types while the spin-orbit coupling (SOC) strength was varied or a strain (compression or tension) along the $c$-axis was applied. Calculations show that two different series of topological phase transitions (TPTs) may be implemented in this system depending on the magnetic ordering. At AFM ordering transition between TI and trivial insulator phase goes through the Dirac semimetal state, whereas for FM phase such route admits three intermediate states instead of one (TI - Dirac semimetal - Weyl semimetal - Dirac semimetal - trivial insulator).


title: Cross-lingual paraphrase identification

abstract: The paraphrase identification task involves measuring semantic similarity between two short sentences. It is a tricky task, and multilingual paraphrase identification is even more challenging. In this work, we train a bi-encoder model in a contrastive manner to detect hard paraphrases across multiple languages. This approach allows us to use model-produced embeddings for various tasks, such as semantic search. We evaluate our model on downstream tasks and also assess embedding space quality. Our performance is comparable to state-of-the-art cross-encoders, with only a minimal relative drop of 7-10% on the chosen dataset, while keeping decent quality of embeddings.


title: Time-Domain Signatures of Distinct Correlated Insulators in a Moir\'e Superlattice

abstract: Among expanding discoveries of quantum phases in moir\'e superlattices, correlated insulators stand out as both the most stable and most commonly observed. Despite the central importance of these states in moir\'e physics, little is known about their underlying nature. Here, we use pump-probe spectroscopy to show distinct time-domain signatures of correlated insulators at fillings of one (v = -1) and two (v = -2) holes per moir\'e unit cell in the angle-aligned WSe2/WS2 system. Following photo-doping, we find that the disordering time of the v = -1 state is independent of excitation density (n_ex), as expected from the characteristic phonon response time associated with a polaronic state. In contrast, the disordering time of the v = -2 state scales with (n_ex)^-0.5, in agreement with plasmonic screening from free holons and doublons. These states display disparate reordering behavior dominated either by first order (v = -1) or second order (v = -2) recombination, suggesting the presence of Hubbard excitons and free carrier-like holons/doublons, respectively. Our work delineates the roles of electron-phonon (e-ph) versus electron-electron (e-e) interactions in correlated insulators on the moir\'e landscape and establishes non-equilibrium responses as mechanistic signatures for distinguishing and discovering quantum phases.


title: Occamy: A 432-Core 28.1 DP-GFLOP/s/W 83% FPU Utilization Dual-Chiplet, Dual-HBM2E RISC-V-based Accelerator for Stencil and Sparse Linear Algebra Computations with 8-to-64-bit Floating-Point Support in 12nm FinFET

abstract: We present Occamy, a 432-core RISC-V dual-chiplet 2.5D system for efficient sparse linear algebra and stencil computations on FP64 and narrow (32-, 16-, 8-bit) SIMD FP data. Occamy features 48 clusters of RISC-V cores with custom extensions, two 64-bit host cores, and a latency-tolerant multi-chiplet interconnect and memory system with 32 GiB of HBM2E. It achieves leading-edge utilization on stencils (83 %), sparse-dense (42 %), and sparse-sparse (49 %) matrix multiply.


title: Blow-up and global existence for semilinear parabolic equations on infinite graphs

abstract: We investigate existence of global in time solutions and blow-up of solutions to the semilinear heat equation posed on infinite graphs. The source term is a general function $f(u)$. We always assume that the infimum of the spectrum of the Laplace operator $\lambda_1(G)$ on the graph is positive. According to an interaction between the behavior of $f$ close to $0$ and the value $\lambda_1(G)$, we get the existence of a global in time solution or blow-up of any nonnegative solution, provided that the initial datum is nontrivial.


title: Tempora-Fusion: Time-Lock Puzzle with Efficient Verifiable Homomorphic Linear Combination

abstract: To securely transmit sensitive information into the future, Time-Lock Puzzles (TLPs) have been developed. Their applications include scheduled payments, timed commitments, e-voting, and sealed-bid auctions. Homomorphic TLP is a key variant of TLP that enables computation on puzzles from different clients. This allows a solver/server to tackle only a single puzzle encoding the computation's result. However, existing homomorphic TLPs lack support for verifying the correctness of the computation results. We address this limitation by introducing Tempora-Fusion, a TLP that allows a server to perform homomorphic linear combinations of puzzles from different clients while ensuring verification of computation correctness. This scheme avoids asymmetric-key cryptography for verification, thus paving the way for efficient implementations. We discuss our scheme's application in various domains, such as federated learning, scheduled payments in online banking, and e-voting.


title: SoK: Attacks on DAOs

abstract: Decentralized Autonomous Organizations (DAOs) are blockchain-based organizations that facilitate decentralized governance. Today, DAOs not only hold billions of dollars in their treasury but also govern many of the most popular Decentralized Finance (DeFi) protocols. This paper systematically analyses security threats to DAOs, focusing on the types of attacks they face. We study attacks on DAOs that took place in the past, attacks that have been theorized to be possible, and potential attacks that were uncovered and prevented in audits. For each of these (potential) attacks, we describe and categorize the attack vectors utilized into four categories. This reveals that while many attacks on DAOs take advantage of the less tangible and more complex human nature involved in governance, audits tend to focus on code and protocol vulnerabilities. Thus, additionally, the paper examines empirical data on DAO vulnerabilities, outlines risk factors contributing to these attacks, and suggests mitigation strategies to safeguard against such vulnerabilities.


title: Features of heterogeneously charged systems at their liquid-liquid critical point

abstract: Recently synthesized colloids and biological systems such as proteins, viruses and monoclonal antibodies are heterogeneously charged, i.e., different regions of their surfaces carry different amount of positive or negative charge. Because of charge anisotropy, the electrostatics interactions between these units through the surrounding medium are intristically anisotropic, meaning that they are characterized not only by the attraction between oppositely-charged regions but also by the repulsion between like-charged areas. Recent experiments have shown that the liquid-liquid phase separation of these systems can be driven by anisotropic electrostatics interactions, but it is not clear how the emerging aggregates are affected by charge imbalance and charge patchiness. The ability to experimentally control these two quantities calls for a theoretical understanding of their interplay, which we address here at the critical point. We consider a coarse grained model of anisotropically charged hard spheres whose interaction potential is grounded in a robust mean field theory and perform extensive numerical Monte Carlo simulations to understand the aggregation behavior of these units at the critical point. Stemming from the simplicity of the model, we address the interplay between charge imbalance and charge patchiness with the use of three parameters only and fully rationalize how these features impact the critical point of the model by means of thermodynamic-independent pair properties.


title: KnobTree: Intelligent Database Parameter Configuration via Explainable Reinforcement Learning

abstract: Databases are fundamental to contemporary information systems, yet traditional rule-based configuration methods struggle to manage the complexity of real-world applications with hundreds of tunable parameters. Deep reinforcement learning (DRL), which combines perception and decision-making, presents a potential solution for intelligent database configuration tuning. However, due to black-box property of RL-based method, the generated database tuning strategies still face the urgent problem of lack explainability. Besides, the redundant parameters in large scale database always make the strategy learning become unstable. This paper proposes KnobTree, an interpertable framework designed for the optimization of database parameter configuration. In this framework, an interpertable database tuning algorithm based on RL-based differentatial tree is proposed, which building a transparent tree-based model to generate explainable database tuning strategies. To address the problem of large-scale parameters, We also introduce a explainable method for parameter importance assessment, by utilizing Shapley Values to identify parameters that have significant impacts on database performance. Experiments conducted on MySQL and Gbase8s databases have verified exceptional transparency and interpretability of the KnobTree model. The good property makes generated strategies can offer practical guidance to algorithm designers and database administrators. Moreover, our approach also slightly outperforms the existing RL-based tuning algorithms in aspects such as throughput, latency, and processing time.


title: Balancing The Perception of Cheating Detection, Privacy and Fairness: A Mixed-Methods Study of Visual Data Obfuscation in Remote Proctoring

abstract: Remote proctoring technology, a cheating-preventive measure, often raises privacy and fairness concerns that may affect test-takers' experiences and the validity of test results. Our study explores how selectively obfuscating information in video recordings can protect test-takers' privacy while ensuring effective and fair cheating detection. Interviews with experts (N=9) identified four key video regions indicative of potential cheating behaviors: the test-taker's face, body, background and the presence of individuals in the background. Experts recommended specific obfuscation methods for each region based on privacy significance and cheating behavior frequency, ranging from conventional blurring to advanced methods like replacement with deepfake, 3D avatars and silhouetting. We then conducted a vignette experiment with potential test-takers (N=259, non-experts) to evaluate their perceptions of cheating detection, visual privacy and fairness, using descriptions and examples of still images for each expert-recommended combination of video regions and obfuscation methods. Our results indicate that the effectiveness of obfuscation methods varies by region. Tailoring remote proctoring with region-specific advanced obfuscation methods can improve the perceptions of privacy and fairness compared to the conventional methods, though it may decrease perceived information sufficiency for detecting cheating. However, non-experts preferred conventional blurring for videos they were more willing to share, highlighting a gap between the perceived effectiveness of the advanced obfuscation methods and their practical acceptance. This study contributes to the field of user-centered privacy by suggesting promising directions to address current remote proctoring challenges and guiding future research.


title: Algebraic characterization of dendricity

abstract: Dendric shift spaces simultaneously generalize codings of regular interval exchanges and episturmian shift spaces, themselves both generalizations of Sturmian words. One of the key properties enforced by dendricity is the Return Theorem. In this paper, we prove its converse, providing the following natural algebraic perspective on dendricity: A minimal shift space is dendric if and only if every set of return words is a basis of the free group over the alphabet.


title: Neural Incremental Data Assimilation

abstract: Data assimilation is a central problem in many geophysical applications, such as weather forecasting. It aims to estimate the state of a potentially large system, such as the atmosphere, from sparse observations, supplemented by prior physical knowledge. The size of the systems involved and the complexity of the underlying physical equations make it a challenging task from a computational point of view. Neural networks represent a promising method of emulating the physics at low cost, and therefore have the potential to considerably improve and accelerate data assimilation. In this work, we introduce a deep learning approach where the physical system is modeled as a sequence of coarse-to-fine Gaussian prior distributions parametrized by a neural network. This allows us to define an assimilation operator, which is trained in an end-to-end fashion to minimize the reconstruction error on a dataset with different observation processes. We illustrate our approach on chaotic dynamical physical systems with sparse observations, and compare it to traditional variational data assimilation methods.


title: Quantitative pointwise estimates of the cooling process for inelastic Boltzmann equation

abstract: In this paper, we study the homogeneous inelastic Boltzmann equation for hard spheres. We first prove that the solution $f(t,v)$ is pointwisely bounded from above by $C_{f_0}\langle t \rangle^3$ and establish that the cooling time is infinite $T_c = +\infty$ under the condition $f_0 \in L^1_2 \cap L^{\infty}_{s} $ for $s > 2 $. Away from the zero velocity, we further prove that $f(t,v)\leq C_{f_0, \epsilon} \langle t \rangle $ for $|v| \geq \epsilon$ at any time $t > 0 $ and $\epsilon>0$. This time-growing pointwise upper-bound is natural in the cooling process, as we expect the density near $v = 0 $ to grow rapidly. As a consequence, via these results, we obtain Maxwellian upper-bounds of solutions for each time. Our upper-bounds hold for any constant normal restitution $ 0 < \alpha \leq 1 $ and are uniform in $ \alpha$.


title: The Influence of Nuisance Parameter Uncertainty on Statistical Inference in Practical Data Science Models

abstract: For multiple reasons -- such as avoiding overtraining from one data set or because of having received numerical estimates for some parameters in a model from an alternative source -- it is sometimes useful to divide a model's parameters into one group of primary parameters and one group of nuisance parameters. However, uncertainty in the values of nuisance parameters is an inevitable factor that impacts the model's reliability. This paper examines the issue of uncertainty calculation for primary parameters of interest in the presence of nuisance parameters. We illustrate a general procedure on two distinct model forms: 1) the GARCH time series model with univariate nuisance parameter and 2) multiple hidden layer feed-forward neural network models with multivariate nuisance parameters. Leveraging an existing theoretical framework for nuisance parameter uncertainty, we show how to modify the confidence regions for the primary parameters while considering the inherent uncertainty introduced by nuisance parameters. Furthermore, our study validates the practical effectiveness of adjusted confidence regions that properly account for uncertainty in nuisance parameters. Such an adjustment helps data scientists produce results that more honestly reflect the overall uncertainty.


title: GOAL: A Generalist Combinatorial Optimization Agent Learner

abstract: Machine Learning-based heuristics have recently shown impressive performance in solving a variety of hard combinatorial optimization problems (COPs). However they generally rely on a separate neural model, specialized and trained for each single problem. Any variation of a problem requires adjustment of its model and re-training from scratch. In this paper, we propose GOAL (for Generalist combinatorial Optimization Agent Learning), a generalist model capable of efficiently solving multiple COPs and which can be fine-tuned to solve new COPs. GOAL consists of a single backbone plus light-weight problem-specific adapters, mostly for input and output processing. The backbone is based on a new form of mixed-attention blocks which allows to handle problems defined on graphs with arbitrary combinations of node, edge and instance-level features. Additionally, problems which involve heterogeneous nodes or edges, such as in multi-partite graphs, are handled through a novel multi-type transformer architecture, where the attention blocks are duplicated to attend only the relevant combination of types while relying on the same shared parameters. We train GOAL on a set of routing, scheduling and classic graph problems and show that it is only slightly inferior to the specialized baselines while being the first multi-task model that solves a variety of COPs. Finally, we showcase the strong transfer learning capacity of GOAL by fine-tuning or learning the adapters for new problems, with only few shots and little data.


title: Sentences over Random Groups I: Existential Sentences

abstract: Random groups of density d<\frac{1}{2} are infinite hyperbolic, and of density d>\frac{1}{2} are finite. We prove that for any given system of equations \Sigma, all the solutions of \Sigma over a random group of density d<\frac{1}{2} are projected from solutions of \Sigma over the free group F_{k}, with overwhelming probability, where k is the rank of the group. We conclude that any given sentence in the Boolean algebra of universal sentences, is a truth sentence over F_{k} if and only if it is a truth sentence over random groups of density d<\frac{1}{2}, with overwhelming probability.


title: Thickness-dependent properties of transparent conductive oxides for epsilon-near-zero applications

abstract: In recent years, epsilon-near-zero (ENZ) materials have attracted much attention due to their unique properties that can be tuned under electrical and optical signals. Furthermore, they allow for a strong enhancement of a nonlinearity close to the ENZ regime, which can have a direct impact on many fields ranging from telecommunications, sensing, quantum optics, to neuromorphic computing. Among the many materials belonging to the ENZ class, transparent conductive oxides (TCOs) are of particular interest because they are very well known to the community and possess very well understood electrical and optical properties. This work extends the direct control of the optical properties of transparent conductive oxides by tailoring the film thickness, which opens new possibilities for ENZ-enhanced photonic applications. It is shown that the thickness-dependent ENZ resonance in the TCO films is equivalent to the power-dependent ENZ resonance as for the same amount of power provided to the TCO film the electric field confinement in the thinner films is highly enhanced for TM polarized light, resulting in the higher electrons effective mass. Thus, the optical properties of TCO can be optically tuned in the ENZ regime, which opens possibilities for a new type of devices that can operate under all-optical switching mechanism.


title: The sparse Kaczmarz method with surrogate hyperplane for the regularized basis pursuit problem

abstract: The Sparse Kaczmarz method is a famous and widely used iterative method for solving the regularized basis pursuit problem. A general scheme of the surrogate hyperplane sparse Kaczmarz method is proposed. In particular, a class of residual-based surrogate hyperplane sparse Kaczmarz method is introduced and the implementations are well discussed. Their convergence theories are proved and the linear convergence rates are studied and compared in details. Numerical experiments verify the efficiency of the proposed methods.


title: Geomagnetic dipole stability and zonal flow changes controlled by mantle heat flux heterogeneities

abstract: Palaeomagnetic evidence shows that the behaviour of the geodynamo has changed during geological times. Variations in the heat flux at the core-mantle boundary (CMB) due to mantle convection could be responsible. Previous studies, based on unrealistically viscous dynamo simulations, have shown that large-scale CMB heat flux heterogeneities impact the magnetic dipole stability. To better understand how they affect the geodynamo, we used several simulations, ranging from standard numerical dynamos to more extreme parameters, including strong-field cases and turbulent cases. We show that heterogeneities with realistic amplitudes can favour a multipolar dynamo by either forcing equatorially antisymmetric zonal flows or eastward zonal flows. Strong-field dynamo models are found to be less sensitive, due to significant westward flows. We also find that the dipolar fraction of the magnetic field is best captured by $M^*=M\ E_{\eta}\ \dfrac{l_c}{\pi}$ where $M$ is the magnetic to kinetic energy ratio, $E_{\eta}$ is the magnetic Ekman number, and $l_c$ is the dominant harmonic degree of the flow, with multipolar dynamos found at lower $M^*$. $M^*$ estimated for the Earth's core is consistent with a reversing dipolar magnetic field. Within the range of $M^*$ susceptible to reversals, breaking the equatorial symmetry or forcing eastward zonal flows in our simulations consistently triggers reversals or a transition towards multipolar dynamos. Our results support that time variations of heat-flux heterogeneities driven by mantle convection through Earth's history are capable of inducing the significant variations in the reversal frequency observed in the palaeomagnetic record.


title: The sl(2)-weight system at c = 3/8 for graphs

abstract: We construct a 4-invariant that extends a specialization of the $\mathfrak{sl}(2)$-weight system at $c = \frac 38$, and satisfies a simple deletion-contraction relation.


title: A Unified Framework for Input Feature Attribution Analysis

abstract: Explaining the decision-making process of machine learning models is crucial for ensuring their reliability and fairness. One popular explanation form highlights key input features, such as i) tokens (e.g., Shapley Values and Integrated Gradients), ii) interactions between tokens (e.g., Bivariate Shapley and Attention-based methods), or iii) interactions between spans of the input (e.g., Louvain Span Interactions). However, these explanation types have only been studied in isolation, making it difficult to judge their respective applicability. To bridge this gap, we propose a unified framework that facilitates a direct comparison between highlight and interactive explanations comprised of four diagnostic properties. Through extensive analysis across these three types of input feature explanations--each utilizing three different explanation techniques--across two datasets and two models, we reveal that each explanation type excels in terms of different diagnostic properties. In our experiments, highlight explanations are the most faithful to a model's prediction, and interactive explanations provide better utility for learning to simulate a model's predictions. These insights further highlight the need for future research to develop combined methods that enhance all diagnostic properties.


title: Tracking nonautonomous attractors in singularly perturbed systems of ODEs with dependence on the fast time

abstract: New results on the behaviour of the fast motion in slow-fast systems of ODEs with dependence on the fast time are given in terms of tracking of nonautonomous attractors. Under quite general assumptions, including the uniform ultimate boundedness of the solutions of the layer problems, inflated pullback attractors are considered. In general, one cannot disregard the inflated version of the pullback attractor, but it is possible under the continuity of the fiber projection map of the attractor. %In particular this happens when the attractors of the layer problems are copies of the base, which is the counterpart of an asymptotically stable equilibrium point in the autonomous case. The problem of the limit of the solutions of the slow-fast system at each fixed positive value of the slow time is also treated and in this formulation the critical set is given by the union of the fibers of the pullback attractors. The results can be seen as extensions of the classical Tikhonov theorem to the nonautonomous setting.


title: Model Checking Markov Chains as Distribution Transformers

abstract: The conventional perspective on Markov chains considers decision problems concerning the probabilities of temporal properties being satisfied by traces of visited states. However, consider the following query made of a stochastic system modelling the weather: given the conditions today, will there be a day with less than 50\% chance of rain? The conventional perspective is ill-equipped to decide such problems regarding the evolution of the initial distribution. The alternate perspective we consider views Markov chains as distribution transformers: the focus is on the sequence of distributions on states at each step, where the evolution is driven by the underlying stochastic transition matrix. More precisely, given an initial distribution vector $\mu$, a stochastic update transition matrix $M$, we ask whether the ensuing sequence of distributions $(\mu, M\mu, M^2\mu, \dots)$ satisfies a given temporal property. This is a special case of the model-checking problem for linear dynamical systems, which is not known to be decidable in full generality. The goal of this article is to delineate the classes of instances for which this problem can be solved, under the assumption that the dynamics is governed by stochastic matrices.


title: Towards Probabilistic Clearance, Explanation and Optimization

abstract: Employing Unmanned Aircraft Systems (UAS) beyond visual line of sight (BVLOS) is an endearing and challenging task. While UAS have the potential to significantly enhance today's logistics and emergency response capabilities, unmanned flying objects above the heads of unprotected pedestrians induce similarly significant safety risks. In this work, we make strides towards improved safety and legal compliance in applying UAS in two ways. First, we demonstrate navigation within the Probabilistic Mission Design (ProMis) framework. To this end, our approach translates Probabilistic Mission Landscapes (PML) into a navigation graph and derives a cost from the probability of complying with all underlying constraints. Second, we introduce the clearance, explanation, and optimization (CEO) cycle on top of ProMis by leveraging the declaratively encoded domain knowledge, legal requirements, and safety assertions to guide the mission design process. Based on inaccurate, crowd-sourced map data and a synthetic scenario, we illustrate the application and utility of our methods in UAS navigation.


title: Sentences over Random Groups II: Sentences of Minimal Rank

abstract: Random groups of density d<\frac{1}{2} are infinite hyperbolic, and of density d>\frac{1}{2} are finite. We prove the existence of a uniform quantifier elimination procedure for formulas of minimal rank (probably the superstable part of the theory). Namely, given a minimal rank formula V(p), we prove the existence of a formula \varphi(p) that belongs to the Boolean algebra of two quantifiers, so that the two formulas V(p) and \varphi(p) define the same set over the free group F_{k} and over a random group of density d<\frac{1}{2}. We conclude that any given sentence of minimal rank is a truth sentence over the free group F_{k} if and only if it is a truth sentence over random groups of density d<\frac{1}{2}.


title: Global One-Counter Tree Automata

abstract: We introduce global one-counter tree automata (GOCTA) which deviate from usual counter tree automata by working on only one counter which is passed through the tree in lexicographical order, rather than duplicating the counter at every branching position. We compare the capabilities of GOCTA to those of counter tree automata and obtain that their classes of recognizable tree languages are incomparable. Moreover, we show that the emptiness problem of GOCTA is undecidable while, in stark contrast, their membership problem is in P.


title: Probing light sterile neutrinos in left-right symmetric models with displaced vertices and neutrinoless double beta decay

abstract: An investigation of relatively light (GeV-scale), long-lived right-handed neutrinos is performed within minimal left-right symmetric models using the neutrino-extended Standard Model Effective Field Theory framework. Light sterile neutrinos can be produced through rare decays of kaons, $D$-mesons, and $B$-mesons at the Large Hadron Collider (LHC) and the Long-Baseline Neutrino Facility (LBNF) of Fermilab. Their decays could result in displaced vertices, which can be reconstructed. By performing Monte-Carlo simulations, we assess the sensitivities of the future LHC far-detector experiments ANUBIS, CODEX-b, FACET, FASER(2), MoEDAL-MAPP1(2), MATHUSLA, the recently approved beam-dump experiment SHiP, and the upcoming neutrino experiment DUNE at the LBNF, to the right-handed gauge-boson mass $M_{W_R}$ as functions of neutrino masses. We find that DUNE and SHiP could be sensitive to right-handed gauge-boson masses up to $\sim 25$ TeV. We compare this reach to indirect searches such as neutrinoless double beta decay, finding that displaced-vertex searches are very competitive.


title: Giant caloric effects in spin chain materials

abstract: The giant electro- and elasto-caloric effects in spin chain materials are predicted. The theory is based on the exact quantum mechanical solution of the problem. It is shown that the giant jumps in the entropy and the temperature caused by the caloric effect are weakly affected by the initial temperature. The effect can be used for the cooling of new quantum devices (like systems of qubits in quantum computers). On the other hand, since large changes are predicted in the narrow neighborhood of the critical point, the predicted effect can be used in ultra-sensitive electric and stress sensors for modern microelectronics.


title: ECLIPSE: Expunging Clean-label Indiscriminate Poisons via Sparse Diffusion Purification

abstract: Clean-label indiscriminate poisoning attacks add invisible perturbations to correctly labeled training images, thus dramatically reducing the generalization capability of the victim models. Recently, some defense mechanisms have been proposed such as adversarial training, image transformation techniques, and image purification. However, these schemes are either susceptible to adaptive attacks, built on unrealistic assumptions, or only effective against specific poison types, limiting their universal applicability. In this research, we propose a more universally effective, practical, and robust defense scheme called ECLIPSE. We first investigate the impact of Gaussian noise on the poisons and theoretically prove that any kind of poison will be largely assimilated when imposing sufficient random noise. In light of this, we assume the victim has access to an extremely limited number of clean images (a more practical scene) and subsequently enlarge this sparse set for training a denoising probabilistic model (a universal denoising tool). We then begin by introducing Gaussian noise to absorb the poisons and then apply the model for denoising, resulting in a roughly purified dataset. Finally, to address the trade-off of the inconsistency in the assimilation sensitivity of different poisons by Gaussian noise, we propose a lightweight corruption compensation module to effectively eliminate residual poisons, providing a more universal defense approach. Extensive experiments demonstrate that our defense approach outperforms 10 state-of-the-art defenses. We also propose an adaptive attack against ECLIPSE and verify the robustness of our defense scheme. Our code is available at https://github.com/CGCL-codes/ECLIPSE.


title: Multiwavelength view of massive binaries

abstract: The high luminosity of massive, early-type stars drives strong stellar winds through line scattering of the stars continuum radiation. Their momenta contribute substantially to the dynamics and energetics of the ambient interstellar medium in galaxies. The detailed multi-wavelength study of massive O-type and Wolf-Rayet binaries is essential to explore the hydrodynamics of the shocks formed in the stellar outflows and wind structure. Further, deep analysis of some of the interesting phenomena like particle acceleration and dust formation associated with hot stars winds provides a global view of stellar outflows. In this context, a few massive binaries have been explored using photometric and spectroscopic measurements in different wavebands. This paper highlights important insights gained from investigating massive binaries with several ground and space-based facilities.


title: Breaking the angular dispersion limit in thin film optics by ultra-strong light-matter coupling

abstract: Thin film interference is integral to modern photonics and optoelectronics, e.g. allowing for precise design of high performance optical filters1, efficiency enhancements in photovoltaics and light-emitting devices, as well as the realization of microlasers and high-performance photodetectors. However, interference inevitably leads to a change of spectral characteristics with angle, which is generally undesired and can limit the usefulness of thin-film coatings and devices. Here, we introduce a strategy to overcome this fundamental limit in optics by utilizing and tuning the exciton-polariton modes arising in ultra-strongly coupled microcavities. We demonstrate optical filters with narrow pass bands that shift by less than their half width (<15 nm) even at extreme angles. Our filters cover the entire visible range and surpass comparable metal-dielectric-metal filters in all relevant metrics. By expanding this strategy to strong coupling with the photonic sidebands of dielectric multilayer stacks, we also obtain filters with high extinction ratios. Based on these findings, we realize ultrathin and flexible narrowband filter films, monolithically integrate our filters with organic photodiodes, and demonstrate polarization-sensitive polariton filters. These results illustrate how strong coupling provides additional degrees of freedom in thin film optics that will enable a multitude of exciting new applications in micro-optics, sensing, and biophotonics.


title: Towards General Negotiation Strategies with End-to-End Reinforcement Learning

abstract: The research field of automated negotiation has a long history of designing agents that can negotiate with other agents. Such negotiation strategies are traditionally based on manual design and heuristics. More recently, reinforcement learning approaches have also been used to train agents to negotiate. However, negotiation problems are diverse, causing observation and action dimensions to change, which cannot be handled by default linear policy networks. Previous work on this topic has circumvented this issue either by fixing the negotiation problem, causing policies to be non-transferable between negotiation problems or by abstracting the observations and actions into fixed-size representations, causing loss of information and expressiveness due to feature design. We developed an end-to-end reinforcement learning method for diverse negotiation problems by representing observations and actions as a graph and applying graph neural networks in the policy. With empirical evaluations, we show that our method is effective and that we can learn to negotiate with other agents on never-before-seen negotiation problems. Our result opens up new opportunities for reinforcement learning in negotiation agents.


title: Modeling and Analysis of Application Interference on Dragonfly+

abstract: Dragonfly class of networks are considered as promising interconnects for next-generation supercomputers. While Dragonfly+ networks offer more path diversity than the original Dragonfly design, they are still prone to performance variability due to their hierarchical architecture and resource sharing design. Event-driven network simulators are indispensable tools for navigating complex system design. In this study, we quantitatively evaluate a variety of application communication interactions on a 3,456-node Dragonfly+ system by using the CODES toolkit. This study looks at the impact of communication interference from a user's perspective. Specifically, for a given application submitted by a user, we examine how this application will behave with the existing workload running in the system under different job placement policies. Our simulation study considers hundreds of experiment configurations including four target applications with representative communication patterns under a variety of network traffic conditions. Our study shows that intra-job interference can cause severe performance degradation for communication-intensive applications. Inter-job interference can generally be reduced for applications with one-to-one or one-to-many communication patterns through job isolation. Application with one-to-all communication pattern is resilient to network interference.


title: How Intermodal Interaction Affects the Performance of Deep Multimodal Fusion for Mixed-Type Time Series

abstract: Mixed-type time series (MTTS) is a bimodal data type that is common in many domains, such as healthcare, finance, environmental monitoring, and social media. It consists of regularly sampled continuous time series and irregularly sampled categorical event sequences. The integration of both modalities through multimodal fusion is a promising approach for processing MTTS. However, the question of how to effectively fuse both modalities remains open. In this paper, we present a comprehensive evaluation of several deep multimodal fusion approaches for MTTS forecasting. Our comparison includes three fusion types (early, intermediate, and late) and five fusion methods (concatenation, weighted mean, weighted mean with correlation, gating, and feature sharing). We evaluate these fusion approaches on three distinct datasets, one of which was generated using a novel framework. This framework allows for the control of key data properties, such as the strength and direction of intermodal interactions, modality imbalance, and the degree of randomness in each modality, providing a more controlled environment for testing fusion approaches. Our findings show that the performance of different fusion approaches can be substantially influenced by the direction and strength of intermodal interactions. The study reveals that early and intermediate fusion approaches excel at capturing fine-grained and coarse-grained cross-modal features, respectively. These findings underscore the crucial role of intermodal interactions in determining the most effective fusion strategy for MTTS forecasting.


title: Passivity theorems for input-to-state stability of forced Lur'e inclusions and equations, and consequent entrainment-type properties

abstract: A suite of input-to-state stability results are presented for a class of forced differential inclusions, so-called Lur'e inclusions. As a consequence, semi-global incremental input-to-state stability results for systems of forced Lur'e differential equations are derived. The results are in the spirit of the passivity theorem from control theory as both the linear and nonlinear components of the Lur'e inclusion (or equation) are assumed to satisfy passivity-type conditions. These results provide a basis for the analysis of forced Lur'e differential equations subject to (almost) periodic forcing terms and, roughly speaking, ensure the existence and attractivity of (almost) periodic state- and output-responses, comprising another focus of the present work. One ultimate aim of the study is to provide a robust and rigorous theoretical foundation for a well-defined and tractable ``frequency response'' of forced Lur'e systems.


title: Elastic wavepackets crossing a space-time interface

abstract: The interaction between waves and evolving media challenges traditional conservation laws. We experimentally investigate the behavior of elastic wave packets crossing a moving interface that separates two media with distinct propagation properties, observing the non-conservation of wavelength and frequency. Our experimental setup employs an elastic strip whose local stretching can be dynamically altered by pulling one end at a constant velocity. By demonstrating that this dynamic configuration creates a spatio-temporal interface traveling along the strip, we confirm theoretical predictions regarding observed shifts when a wave packet crosses this interface.


title: The Dragonfly Spectral Line Mapper: Completion of the 120-lens array

abstract: The Dragonfly Spectral Line Mapper is a mosaic telescope comprising 120 Canon telephoto lenses, based on the design of the Dragonfly Telephoto Array. With a wide field of view, and the addition of the "Dragonfly Filter-Tilter" instrumentation holding ultra narrow bandpass filters in front of each lens, the Dragonfly Spectral Line mapper is optimized for ultra low surface brightness imaging of visible wavelength line emission. The Dragonfly Spectral Line Mapper was constructed and commissioned in four phases from March 2022 to November 2023. During this time, four individual mounts of 30 lenses each were constructed and commissioned. The commissioning of the telescope included the deployment of the "Dragonfly StarChaser" which carries out image stabilization corrections in the telephoto lens, to enable hour-long exposures to be taken. In addition, we introduced new instrumentation such as a film to cover the optics to keep the filters clean. Here we describe the updated design of the complete 120-lens array, and the implementation of the instrumentation described above. Additionally, we present updated characterization of the cameras and filter transmission for the full array. Finally, we reflect on the construction and commissioning process of the complete 120-lens array Dragonfly Spectral Line Mapper, and remark on the feasibility of a larger 1000-lens array.


title: HLQ: Fast and Efficient Backpropagation via Hadamard Low-rank Quantization

abstract: With the rapid increase in model size and the growing importance of various fine-tuning applications, lightweight training has become crucial. Since the backward pass is twice as expensive as the forward pass, optimizing backpropagation is particularly important. However, modifications to this process can lead to suboptimal convergence, so training optimization should minimize perturbations, which is a highly challenging task. In this study, we introduce a novel optimization strategy called Hadamard Low-rank Quantization (HLQ), focusing on reducing the cost of backpropagation in convolutional and linear layers. We first analyze the sensitivity of gradient computation with respect to activation and weight, and judiciously design the HLQ pipeline to apply 4-bit Hadamard quantization to the activation gradient and Hadamard low-rank approximation to the weight gradient. This combination was found to be the best for maximizing benefits, and our extensive experiments demonstrate the outstanding performance of HLQ in both training from scratch and fine-tuning, achieving significant memory savings and acceleration on real GPUs with negligible quality degradation.


title: Finding (and exploiting) vulnerabilities on IP Cameras: the Tenda CP3 case study

abstract: Consumer IP cameras are now the most widely adopted solution for remote monitoring in various contexts, such as private homes or small offices. While the security of these devices has been scrutinized, most approaches are limited to relatively shallow network-based analyses. In this paper, we discuss a methodology for the security analysis and identification of remotely exploitable vulnerabilities in IP cameras, which includes static and dynamic analyses of executables extracted from IP camera firmware. Compared to existing methodologies, our approach leverages the context of the target device to focus on the identification of malicious invocation sequences that could lead to exploitable vulnerabilities. We demonstrate the application of our methodology by using the Tenda CP3 IP camera as a case study. We identified five novel CVEs, with CVSS scores ranging from 7.5 to 9.8. To partially automate our analysis, we also developed a custom tool based on Ghidra and rhabdomancer.


title: Deciphering the Definition of Adversarial Robustness for post-hoc OOD Detectors

abstract: Detecting out-of-distribution (OOD) inputs is critical for safely deploying deep learning models in real-world scenarios. In recent years, many OOD detectors have been developed, and even the benchmarking has been standardized, i.e. OpenOOD. The number of post-hoc detectors is growing fast and showing an option to protect a pre-trained classifier against natural distribution shifts, claiming to be ready for real-world scenarios. However, its efficacy in handling adversarial examples has been neglected in the majority of studies. This paper investigates the adversarial robustness of the 16 post-hoc detectors on several evasion attacks and discuss a roadmap towards adversarial defense in OOD detectors.


title: Hybrid Intelligent Routing with Optimized Learning (HIROL) for Adaptive Routing Topology management in FANETs

abstract: Enhancing the routing efficacy of Flying AdHoc Networks (FANETs), a network of numerous Unmanned Aerial Vehicles (UAVs), in which various challenges may arise as a result of the varied mobility, speed, direction, and rapid topology changes. Given the special features of UAVs, in particular their fast mobility, frequent topology changes, and 3D space movements, it is difficult to transport them through a FANET. The suggested study presents a complete hybrid model: HIROL (Hybrid Intelligent Routing with Optimized Learning) that integrates the ABC (Artificial Bee Colony) algorithm, DSR (Dynamic Source Routing) by incorporating Optimized Link State Routing (OLSR) and ANNs (Artificial Neural Networks) to optimize the routing process. The HIROL optimizes link management by ABC optimization algorithm and reliably analyses link status using characteristics from OLSR and DSR; at the same time, an ANN-based technique successfully classifies connection state. In order to provide optimal route design and maintenance, HIROL dynamically migrates between OLSR and DSR approaches according to the network topology conditions. After running thorough tests in Network Simulator 2 (NS-2), when compared to more conventional DSR and OLSR models, the hybrid model HIROL performs far better in simulations and tests. An increase in throughput (3.5 Mbps vs. 3.2-3.4 Mbps), a decrease in communication overhead (15% vs. 18-20%), and an improvement in Packet Delivery Ratio (97.5% vs. 94-95.5%). These results demonstrate that the suggested HIROL model improves FANET routing performance in different types of networks.


title: Generalized Vector Locus Transformation for Unbalanced Three-Phase Systems

abstract: Coordinate transformations significantly simplify power systems computations. Most notably, the classical Clarke and dq0 transformations are widely used in three-phase systems, as together they transform balanced abc quantities into constant-valued signals. However, during unbalanced operation, the utility of these transformations diminishes, since a null 0 coordinate cannot be ensured and oscillating signals emerge. While recently proposed transformations ensure a null 0 coordinate, they still do not lead to constant-valued signals in the dq0 domain. In this letter, we propose a generalized vector locus transformation that ensures both a null 0 coordinate and constant-valued signals. Moreover, we show that, in the balanced case, the classical amplitude-invariant Clarke transformation is an instance of the proposed transformation.


title: Basilisk: An End-to-End Open-Source Linux-Capable RISC-V SoC in 130nm CMOS

abstract: Open-source hardware (OSHW) is rapidly gaining traction in academia and industry. The availability of open RTL descriptions, EDA tools, and even PDKs enables a fully auditable supply chain for end-to-end (RTL to layout) open-source silicon, significantly strengthening security and transparency. Despite promising developments, existing OSHW efforts have so far fallen short of producing end-to-end open-source SoCs at the complexity and performance level needed to run a general-purpose OS. We present Basilisk, the first end-to-end open-source, Linux-capable RISC-V SoC taped out in IHP's open 130 nm technology. Basilisk features a 64-bit RISC-V core, a fully digital HyperRAM DRAM controller, and a rich set of IO peripherals including USB 1.1 and VGA. To tape out Basilisk, we create a reusable tool pipeline to convert its industry-grade SystemVerilog description to Verilog. We optimized logic synthesis in the open source Yosys synthesis tool, obtaining an increase in Basilisk's peak clock speed by 2.3x to 77 MHz and reducing its cell area by 1.6x to 1.1 MGE while also reducing synthesis runtime and RAM usage. We further optimized place and route in OpenROAD, enabling convergence to zero DRC violations while increasing core area utilization by 10% and reducing die area by 12%.


title: Maker-Breaker resolving game played on corona products of graphs

abstract: The Maker-Breaker resolving game is a game played on a graph $G$ by Resolver and Spoiler. The players taking turns alternately in which each player selects a not yet played vertex of $G$. The goal of Resolver is to select all the vertices in a resolving set of $G$, while that of Spoiler is to prevent this from happening. The outcome $o(G)$ of the game played is one of $\mathcal{R}$, $\mathcal{S}$, and $\mathcal{N}$, where $o(G)=\mathcal{R}$ (resp.\ $o(G)=\mathcal{S}$), if Resolver (resp.\ Spoiler) has a winning strategy no matter who starts the game, and $o(G)=\mathcal{N}$, if the first player has a winning strategy. In this paper, the game is investigated on corona products $G\odot H$ of graphs $G$ and $H$. It is proved that if $o(H)\in\{\mathcal{N}, \mathcal{S}\}$, then $o(G\odot H) = \mathcal{S}$. No such result is possible under the assumption $o(H) = \mathcal{R}$. It is proved that $o(G\odot P_k) = \mathcal{S}$ if $k=5$, otherwise $o(G\odot P_k) = \mathcal{R}$, and that $o(G\odot C_k) = \mathcal{S}$ if $k=3$, otherwise $o(G\odot C_k) = \mathcal{R}$. Several results are also given on corona products in which the second factor is of diameter at most $2$.


title: Brain-Like Language Processing via a Shallow Untrained Multihead Attention Network

abstract: Large Language Models (LLMs) have been shown to be effective models of the human language system, with some models predicting most explainable variance of brain activity in current datasets. Even in untrained models, the representations induced by architectural priors can exhibit reasonable alignment to brain data. In this work, we investigate the key architectural components driving the surprising alignment of untrained models. To estimate LLM-to-brain similarity, we first select language-selective units within an LLM, similar to how neuroscientists identify the language network in the human brain. We then benchmark the brain alignment of these LLM units across five different brain recording datasets. By isolating critical components of the Transformer architecture, we identify tokenization strategy and multihead attention as the two major components driving brain alignment. A simple form of recurrence further improves alignment. We further demonstrate this quantitative brain alignment of our model by reproducing landmark studies in the language neuroscience field, showing that localized model units -- just like language voxels measured empirically in the human brain -- discriminate more reliably between lexical than syntactic differences, and exhibit similar response profiles under the same experimental conditions. Finally, we demonstrate the utility of our model's representations for language modeling, achieving improved sample and parameter efficiency over comparable architectures. Our model's estimates of surprisal sets a new state-of-the-art in the behavioral alignment to human reading times. Taken together, we propose a highly brain- and behaviorally-aligned model that conceptualizes the human language system as an untrained shallow feature encoder, with structural priors, combined with a trained decoder to achieve efficient and performant language processing.


title: Voxel-Based Point Cloud Localization for Smart Spaces Management

abstract: This paper proposes a voxel-based approach for creating a digital twin of an urban environment that is capable of efficiently managing smart spaces. The paper explains the registration and localization procedure of the point cloud dataset, which uses the KISS ICP for scan point cloud combination and the RANSAC method for the initial alignment of the combined point cloud. The mobile mapping point cloud using Riegl VMX-250 serves as the reference map, and Velodyne scans are used for localization purposes. The point-to-plane iterative closest-point method is then employed to refine the alignment. The paper evaluates the efficacy of the proposed method by calculating the errors between the estimated and ground truth positions. The results indicate that the voxel-based approach is capable of accurately estimating the position of the sensor platform, which are applicable for various use cases. A specific use case in the context is smart parking space management, which is described and initial visualization results are shown.


title: Investigating the impact of 2D gesture representation on co-speech gesture generation

abstract: Co-speech gestures play a crucial role in the interactions between humans and embodied conversational agents (ECA). Recent deep learning methods enable the generation of realistic, natural co-speech gestures synchronized with speech, but such approaches require large amounts of training data. "In-the-wild" datasets, which compile videos from sources such as YouTube through human pose detection models, offer a solution by providing 2D skeleton sequences that are paired with speech. Concurrently, innovative lifting models have emerged, capable of transforming these 2D pose sequences into their 3D counterparts, leading to large and diverse datasets of 3D gestures. However, the derived 3D pose estimation is essentially a pseudo-ground truth, with the actual ground truth being the 2D motion data. This distinction raises questions about the impact of gesture representation dimensionality on the quality of generated motions, a topic that, to our knowledge, remains largely unexplored. In this work, we evaluate the impact of the dimensionality of the training data, 2D or 3D joint coordinates, on the performance of a multimodal speech-to-gesture deep generative model. We use a lifting model to convert 2D-generated sequences of body pose to 3D. Then, we compare the sequence of gestures generated directly in 3D to the gestures generated in 2D and lifted to 3D as post-processing.


title: Micro-power spoken keyword spotting on Xylo Audio 2

abstract: For many years, designs for "Neuromorphic" or brain-like processors have been motivated by achieving extreme energy efficiency, compared with von-Neumann and tensor processor devices. As part of their design language, Neuromorphic processors take advantage of weight, parameter, state and activity sparsity. In the extreme case, neural networks based on these principles mimic the sparse activity oof biological nervous systems, in ``Spiking Neural Networks'' (SNNs). Few benchmarks are available for Neuromorphic processors, that have been implemented for a range of Neuromorphic and non-Neuromorphic platforms, which can therefore demonstrate the energy benefits of Neuromorphic processor designs. Here we describes the implementation of a spoken audio keyword-spotting (KWS) benchmark "Aloha" on the Xylo Audio 2 (SYNS61210) Neuromorphic processor device. We obtained high deployed quantized task accuracy, (95%), exceeding the benchmark task accuracy. We measured real continuous power of the deployed application on Xylo. We obtained best-in-class dynamic inference power ($291\mu$W) and best-in-class inference efficiency ($6.6\mu$J / Inf). Xylo sets a new minimum power for the Aloha KWS benchmark, and highlights the extreme energy efficiency achievable with Neuromorphic processor designs. Our results show that Neuromorphic designs are well-suited for real-time near- and in-sensor processing on edge devices.


title: A Dual Attention-aided DenseNet-121 for Classification of Glaucoma from Fundus Images

abstract: Deep learning and computer vision methods are nowadays predominantly used in the field of ophthalmology. In this paper, we present an attention-aided DenseNet-121 for classifying normal and glaucomatous eyes from fundus images. It involves the convolutional block attention module to highlight relevant spatial and channel features extracted by DenseNet-121. The channel recalibration module further enriches the features by utilizing edge information along with the statistical features of the spatial dimension. For the experiments, two standard datasets, namely RIM-ONE and ACRIMA, have been used. Our method has shown superior results than state-of-the-art models. An ablation study has also been conducted to show the effectiveness of each of the components. The code of the proposed work is available at: https://github.com/Soham2004GitHub/DADGC.


title: Approximate Controllability of Linear Fractional Impulsive Evolution Equations in Hilbert Spaces

abstract: In this paper, we investigate the approximate controllability of linear fractional impulsive evolution equations in Hilbert spaces. We provide a representation of solutions utilizing impulsive operators. Necessary and sufficient conditions for the approximate controllability of linear fractional impulsive evolution equations are established in terms of the impulsive resolvent operator. An example is presented to demonstrate the application of the obtained theoretical results.


title: Electromagnetic isovector form factors of the transition from the $N^*(1520)$ to the nucleon

abstract: Dispersion theory is used to provide a model-independent low-energy representation of the three electromagnetic isovector transition form factors $N^{*}(1520)\to N$. At low energies the virtual photon couples dominantly to a pion pair. Taking the very well understood pion vector form factor and pion re-scattering into consideration, the determination of the transition form factors is traced back to the determination of pion-baryon scattering amplitudes. Their low-energy aspects are parametrized by baryon exchange, accounting for the main decay channels of the $N^*(1520)$. Short-distance physics is encoded in subtraction constants that are fitted to data on space-like form factors and hadronic decays. It is shown that a limitation in the determination of the subtraction constants lies in the fact that isovector form factors require sufficient information about the differences between protons and neutrons. In particular, this calls for improvements in the form factor extraction from the electroproduction of the $N^*(1520)$ on the neutron. Via the dispersion relations, space- and time-like regions are naturally connected from first principles. This allows to predict the time-like form factors that enter the Dalitz decays $N^*(1520)\to N e^- e^+$ and $N^*(1520)\to N \mu^- \mu^+$. Under the assumption of the dominance of the isovector over the isoscalar channel, the Dalitz decay distributions are predicted.


title: Dynamic Modelling of a Controlled Orthotropic Plate: Analytic and Data-Driven Approaches in the Frequency Domain

abstract: This paper is devoted to the mathematical modelling of a vibrating orthotropic plate equipped with a laminated piezosensor, under the influence of a lumped force actuation. We employ the Kirchhoff plate theory to derive the corresponding partial differential equation, assuming free boundary conditions. Analytical solutions for this boundary value problem are explored in the form of series expansions, using products of Krylov functions. Utilizing Galerkin's method, this mathematical model is transformed into an infinite-dimensional control system characterized by modal coordinates. The transfer function of such a system is explicitly evaluated in the single-input single-output case. The computation of coefficients for finite-dimensional approximate systems is formalized in an algorithm with an arbitrary number of degrees of freedom. Our numerical study confirms that the modeled input-output behavior shows acceptable agreement over the given frequency range.


title: FA-Net: A Fuzzy Attention-aided Deep Neural Network for Pneumonia Detection in Chest X-Rays

abstract: Pneumonia is a respiratory infection caused by bacteria, fungi, or viruses. It affects many people, particularly those in developing or underdeveloped nations with high pollution levels, unhygienic living conditions, overcrowding, and insufficient medical infrastructure. Pneumonia can cause pleural effusion, where fluids fill the lungs, leading to respiratory difficulty. Early diagnosis is crucial to ensure effective treatment and increase survival rates. Chest X-ray imaging is the most commonly used method for diagnosing pneumonia. However, visual examination of chest X-rays can be difficult and subjective. In this study, we have developed a computer-aided diagnosis system for automatic pneumonia detection using chest X-ray images. We have used DenseNet-121 and ResNet50 as the backbone for the binary class (pneumonia and normal) and multi-class (bacterial pneumonia, viral pneumonia, and normal) classification tasks, respectively. We have also implemented a channel-specific spatial attention mechanism, called Fuzzy Channel Selective Spatial Attention Module (FCSSAM), to highlight the specific spatial regions of relevant channels while removing the irrelevant channels of the extracted features by the backbone. We evaluated the proposed approach on a publicly available chest X-ray dataset, using binary and multi-class classification setups. Our proposed method achieves accuracy rates of 97.15\% and 79.79\% for the binary and multi-class classification setups, respectively. The results of our proposed method are superior to state-of-the-art (SOTA) methods. The code of the proposed model will be available at: https://github.com/AyushRoy2001/FA-Net.


title: Surface Normal Reconstruction Using Polarization-Unet

abstract: Today, three-dimensional reconstruction of objects has many applications in various fields, and therefore, choosing a suitable method for high resolution three-dimensional reconstruction is an important issue and displaying high-level details in three-dimensional models is a serious challenge in this field. Until now, active methods have been used for high-resolution three-dimensional reconstruction. But the problem of active three-dimensional reconstruction methods is that they require a light source close to the object. Shape from polarization (SfP) is one of the best solutions for high-resolution three-dimensional reconstruction of objects, which is a passive method and does not have the drawbacks of active methods. The changes in polarization of the reflected light from an object can be analyzed by using a polarization camera or locating polarizing filter in front of the digital camera and rotating the filter. Using this information, the surface normal can be reconstructed with high accuracy, which will lead to local reconstruction of the surface details. In this paper, an end-to-end deep learning approach has been presented to produce the surface normal of objects. In this method a benchmark dataset has been used to train the neural network and evaluate the results. The results have been evaluated quantitatively and qualitatively by other methods and under different lighting conditions. The MAE value (Mean-Angular-Error) has been used for results evaluation. The evaluations showed that the proposed method could accurately reconstruct the surface normal of objects with the lowest MAE value which is equal to 18.06 degree on the whole dataset, in comparison to previous physics-based methods which are between 41.44 and 49.03 degree.


title: Speech Emotion Recognition under Resource Constraints with Data Distillation

abstract: Speech emotion recognition (SER) plays a crucial role in human-computer interaction. The emergence of edge devices in the Internet of Things (IoT) presents challenges in constructing intricate deep learning models due to constraints in memory and computational resources. Moreover, emotional speech data often contains private information, raising concerns about privacy leakage during the deployment of SER models. To address these challenges, we propose a data distillation framework to facilitate efficient development of SER models in IoT applications using a synthesised, smaller, and distilled dataset. Our experiments demonstrate that the distilled dataset can be effectively utilised to train SER models with fixed initialisation, achieving performances comparable to those developed using the original full emotional speech dataset.


title: A Sherman--Morrison--Woodbury approach to solving least squares problems with low-rank updates

abstract: We present a simple formula to update the pseudoinverse of a full-rank rectangular matrix that undergoes a low-rank modification, and demonstrate its utility for solving least squares problems. The resulting algorithm can be dramatically faster than solving the modified least squares problem from scratch, just like the speedup enabled by Sherman--Morrison--Woodbury for solving linear systems with low-rank modifications.


title: High Resolution Surface Reconstruction of Cultural Heritage Objects Using Shape from Polarization Method

abstract: Nowadays, three-dimensional reconstruction is used in various fields like computer vision, computer graphics, mixed reality and digital twin. The three-dimensional reconstruction of cultural heritage objects is one of the most important applications in this area which is usually accomplished by close range photogrammetry. The problem here is that the images are often noisy, and the dense image matching method has significant limitations to reconstruct the geometric details of cultural heritage objects in practice. Therefore, displaying high-level details in three-dimensional models, especially for cultural heritage objects, is a severe challenge in this field. In this paper, the shape from polarization method has been investigated, a passive method with no drawbacks of active methods. In this method, the resolution of the depth maps can be dramatically increased using the information obtained from the polarization light by rotating a linear polarizing filter in front of a digital camera. Through these polarized images, the surface details of the object can be reconstructed locally with high accuracy. The fusion of polarization and photogrammetric methods is an appropriate solution for achieving high resolution three-dimensional reconstruction. The surface reconstruction assessments have been performed visually and quantitatively. The evaluations showed that the proposed method could significantly reconstruct the surfaces' details in the three-dimensional model compared to the photogrammetric method with 10 times higher depth resolution.


title: Convolutional dynamical sampling and some new results

abstract: In this work, we explore the dynamical sampling problem on $\ell^2(\mathbb{Z})$ driven by a convolution operator defined by a convolution kernel. This problem is inspired by the need to recover a bandlimited heat diffusion field from space-time samples and its discrete analogue. In this book chapter, we review recent results in the finite-dimensional case and extend these findings to the infinite-dimensional case, focusing on the study of the density of space-time sampling sets.


title: Global weak solutions for the inverse mean curvature flow in the Heisenberg group

abstract: We consider the inverse mean curvature flow (IMCF) in the Heisenberg group $(\He^n, d_\varepsilon)$, where $d_\varepsilon$ is distance associated to either $| \cdot |_\varepsilon$, $\varepsilon>0$, the natural family of left-invariant Riemannian metrics, or with their sub-Riemannian counterparts for $\varepsilon=0$. For $\Omega \subseteq \He^n$ an open set with smooth boundary $\Sigma_0=\partial \Omega$ satisfying a uniform exterior gauge-ball condition and bounded complement we show existence of a global weak IMCF of generalized hypersurfaces $\{\Sigma^\varepsilon_s\}_{s \geq 0} \subseteq \mathbb{H}^n$ which is proper. Here, both in the Riemannian and in the sub-Riemannian setting, we adopt the weak formulation introduced by Huisken and Ilmanen in \cite{HuiskenIlmanen}, following the approach in \cite{Moser} due to Moser and based on the the link between IMCF and $p$-harmonic functions.


title: A Provably Efficient Option-Based Algorithm for both High-Level and Low-Level Learning

abstract: Hierarchical Reinforcement Learning (HRL) approaches have shown successful results in solving a large variety of complex, structured, long-horizon problems. Nevertheless, a full theoretical understanding of this empirical evidence is currently missing. In the context of the \emph{option} framework, prior research has devised efficient algorithms for scenarios where options are fixed, and the high-level policy selecting among options only has to be learned. However, the fully realistic scenario in which both the high-level and the low-level policies are learned is surprisingly disregarded from a theoretical perspective. This work makes a step towards the understanding of this latter scenario. Focusing on the finite-horizon problem, we present a meta-algorithm alternating between regret minimization algorithms instanced at different (high and low) temporal abstractions. At the higher level, we treat the problem as a Semi-Markov Decision Process (SMDP), with fixed low-level policies, while at a lower level, inner option policies are learned with a fixed high-level policy. The bounds derived are compared with the lower bound for non-hierarchical finite-horizon problems, allowing to characterize when a hierarchical approach is provably preferable, even without pre-trained options.


title: Embracing Federated Learning: Enabling Weak Client Participation via Partial Model Training

abstract: In Federated Learning (FL), clients may have weak devices that cannot train the full model or even hold it in their memory space. To implement large-scale FL applications, thus, it is crucial to develop a distributed learning method that enables the participation of such weak clients. We propose EmbracingFL, a general FL framework that allows all available clients to join the distributed training regardless of their system resource capacity. The framework is built upon a novel form of partial model training method in which each client trains as many consecutive output-side layers as its system resources allow. Our study demonstrates that EmbracingFL encourages each layer to have similar data representations across clients, improving FL efficiency. The proposed partial model training method guarantees convergence to a neighbor of stationary points for non-convex and smooth problems. We evaluate the efficacy of EmbracingFL under a variety of settings with a mixed number of strong, moderate (~40% memory), and weak (~15% memory) clients, datasets (CIFAR-10, FEMNIST, and IMDB), and models (ResNet20, CNN, and LSTM). Our empirical study shows that EmbracingFL consistently achieves high accuracy as like all clients are strong, outperforming the state-of-the-art width reduction methods (i.e. HeteroFL and FjORD).


title: On LLMs-Driven Synthetic Data Generation, Curation, and Evaluation: A Survey

abstract: Within the evolving landscape of deep learning, the dilemma of data quantity and quality has been a long-standing problem. The recent advent of Large Language Models (LLMs) offers a data-centric solution to alleviate the limitations of real-world data with synthetic data generation. However, current investigations into this field lack a unified framework and mostly stay on the surface. Therefore, this paper provides an organization of relevant studies based on a generic workflow of synthetic data generation. By doing so, we highlight the gaps within existing research and outline prospective avenues for future study. This work aims to shepherd the academic and industrial communities towards deeper, more methodical inquiries into the capabilities and applications of LLMs-driven synthetic data generation.


title: Uniqueness of the static vacuum asymptotically flat spacetimes with massive particle spheres

abstract: In this paper, we establish that a four-dimensional static vacuum asymptotically flat spacetime containing a massive particle sphere is isometric to the Schwarzschild spacetime. Our results expand upon existing uniqueness theorems for static vacuum asymptotically flat spacetimes, which focus on scenarios featuring event horizons or photon spheres. Similarly to the uniqueness theorems concerning photon spheres or event horizons, only a single massive particle sphere is sufficient to obtain a unique solution. However, in contrast to previous theorems, our result leads to the existence of an entire spacetime foliation sliced by a set of massive particle spheres spanning various energies.


title: A Wavelet Guided Attention Module for Skin Cancer Classification with Gradient-based Feature Fusion

abstract: Skin cancer is a highly dangerous type of cancer that requires an accurate diagnosis from experienced physicians. To help physicians diagnose skin cancer more efficiently, a computer-aided diagnosis (CAD) system can be very helpful. In this paper, we propose a novel model, which uses a novel attention mechanism to pinpoint the differences in features across the spatial dimensions and symmetry of the lesion, thereby focusing on the dissimilarities of various classes based on symmetry, uniformity in texture and color, etc. Additionally, to take into account the variations in the boundaries of the lesions for different classes, we employ a gradient-based fusion of wavelet and soft attention-aided features to extract boundary information of skin lesions. We have tested our model on the multi-class and highly class-imbalanced dataset, called HAM10000, and achieved promising results, with a 91.17\% F1-score and 90.75\% accuracy. The code is made available at: https://github.com/AyushRoy2001/WAGF-Fusion.


title: Minimum+1 Steiner Cuts and Dual Edge Sensitivity Oracle: Bridging the Gap between Global cut and (s,t)-cut

abstract: Let $G=(V,E)$ be an undirected multi-graph on $n=|V|$ vertices and $S\subseteq V$ be a Steiner set. Steiner cut is a fundamental concept; moreover, global cut $(|S|=n)$, as well as (s,t)-cut $(|S|=2)$, is just a special case of Steiner cut. We study Steiner cuts of capacity minimum+1, and as an important application, we provide a dual edge Sensitivity Oracle for Steiner mincut. A compact data structure for cuts of capacity minimum+1 has been designed for both global cuts [STOC 1995] and (s,t)-cuts [TALG 2023]. Moreover, both data structures are also used crucially to design a dual edge Sensitivity Oracle for their respective mincuts. Unfortunately, except for these two extreme scenarios of Steiner cuts, no generalization of these results is known. Therefore, to address this gap, we present the following first results on Steiner cuts. 1. Data Structure: There is an $O(n(n-|S|+1))$ space data structure that can determine in $O(1)$ time whether a given pair of vertices is separated by a Steiner cut of capacity at least minimum+1. It can report such a cut, if it exists, in $O(n)$ time. 2. Sensitivity Oracle: (a) There is an $O(n(n-|S|+1))$ space data structure that, after the failure/insertion of any pair of edges, can report the capacity of Steiner mincut in $O(1)$ time and a Steiner mincut in $O(n)$ time. (b) If we are interested in reporting only the capacity, there is a more compact data structure that occupies $O((n-|S|)^2+n)$ space and reports the capacity in $O(1)$ time after the failure/insertion of any pair of edges. 3. Lower Bound: For undirected multi-graphs, for every Steiner set $S$, any data structure that, after the failure or insertion of any pair of edges, can report the capacity of Steiner mincut must occupy $\Omega((n-|S|)^2)$ bits of space, irrespective of the query time.


title: Assessing Good, Bad and Ugly Arguments Generated by ChatGPT: a New Dataset, its Methodology and Associated Tasks

abstract: The recent success of Large Language Models (LLMs) has sparked concerns about their potential to spread misinformation. As a result, there is a pressing need for tools to identify ``fake arguments'' generated by such models. To create these tools, examples of texts generated by LLMs are needed. This paper introduces a methodology to obtain good, bad and ugly arguments from argumentative essays produced by ChatGPT, OpenAI's LLM. We then describe a novel dataset containing a set of diverse arguments, ArGPT. We assess the effectiveness of our dataset and establish baselines for several argumentation-related tasks. Finally, we show that the artificially generated data relates well to human argumentation and thus is useful as a tool to train and test systems for the defined tasks.


title: KalMamba: Towards Efficient Probabilistic State Space Models for RL under Uncertainty

abstract: Probabilistic State Space Models (SSMs) are essential for Reinforcement Learning (RL) from high-dimensional, partial information as they provide concise representations for control. Yet, they lack the computational efficiency of their recent deterministic counterparts such as S4 or Mamba. We propose KalMamba, an efficient architecture to learn representations for RL that combines the strengths of probabilistic SSMs with the scalability of deterministic SSMs. KalMamba leverages Mamba to learn the dynamics parameters of a linear Gaussian SSM in a latent space. Inference in this latent space amounts to standard Kalman filtering and smoothing. We realize these operations using parallel associative scanning, similar to Mamba, to obtain a principled, highly efficient, and scalable probabilistic SSM. Our experiments show that KalMamba competes with state-of-the-art SSM approaches in RL while significantly improving computational efficiency, especially on longer interaction sequences.