title: Lateral plasmonic crystals: Tunability, dark modes, and weak-to-strong coupling transition

abstract: We study transmission of the terahertz radiation through a two-dimensional electron gas with a concentration controlled by grating gate electrodes. Voltage applied to these electrodes creates a lateral plasmonic crystal with a gate-tunable band structure. We find that only a part of plasmonic modes of such a crystal is seen in the transmission spectrum for the case of homogeneous excitation (so-called bright modes), while there also exist dark modes which show up only in a case of inhomogeneous excitation. We develop a theory that describes both weak- to strong- coupling transition in the crystal with increasing depth of the density modulation and a transition from resonant to super-resonant regime with increasing quality factor of the structure. We discuss very recent experiment, where transmission of the terahertz radiation through GaN/AlGaN based grating gate periodic structures was studied. We argue that this experiment represents an evidence of formation of the lateral plasmonic crystal with the band structure fully controlled by the gate electrodes and magnetic field, in a full agreement with developed theory.


title: Equable Parallelograms on the Eisenstein Lattice

abstract: This paper studies equable parallelograms whose vertices lie on the Eisenstein lattice. Using Rosenberger's Theorem on generalised Markov equations, we show that the set of these parallelograms forms naturally an infinite tree, all of whose vertices have degree 4, bar the root which has degree 3. This study naturally complements the authors' previous study of equable parallelograms whose vertices lie on the integer lattice.


title: 2-Selmer Groups over Multiquadratic Extensions

abstract: Let K be a multiquadratic number field. We investigate the average dimension of 2-Selmer groups over K for the family of all elliptic curves over the rational numbers (ordered by height). We give upper and lower bounds for this average. In the special case of quadratic fields, these bounds are arbitrarily close for a positive proportion of K. Our bounds are achieved by studying the genus theory invariant for 2-Selmer groups over such fields, whose average we similarly bound and, in many cases, determine. We make use of a variant of the Ekedahl sieve for local sums, which we present in appropriate generality for further applications.


title: Bielliptic Shimura curves $X_0^D(N)$ with nontrivial level

abstract: We work towards completely classifying all bielliptic Shimura curves $X_0^D(N)$ with nontrivial level $N$, extending a result of Rotger that provided such a classification for level one. Combined with prior work, this allows us to determine the list of all pairs $(D,N)$ for which $X_0^D(N)$ has infinitely many degree $2$ points, up to $2$ explicit possible exceptions. As an application, we use these results to make progress on determining which curves $X_0^D(N)$ have sporadic points.


title: Stochastic Subnetwork Annealing: A Regularization Technique for Fine Tuning Pruned Subnetworks

abstract: Pruning methods have recently grown in popularity as an effective way to reduce the size and computational complexity of deep neural networks. Large numbers of parameters can be removed from trained models with little discernible loss in accuracy after a small number of continued training epochs. However, pruning too many parameters at once often causes an initial steep drop in accuracy which can undermine convergence quality. Iterative pruning approaches mitigate this by gradually removing a small number of parameters over multiple epochs. However, this can still lead to subnetworks that overfit local regions of the loss landscape. We introduce a novel and effective approach to tuning subnetworks through a regularization technique we call Stochastic Subnetwork Annealing. Instead of removing parameters in a discrete manner, we instead represent subnetworks with stochastic masks where each parameter has a probabilistic chance of being included or excluded on any given forward pass. We anneal these probabilities over time such that subnetwork structure slowly evolves as mask values become more deterministic, allowing for a smoother and more robust optimization of subnetworks at high levels of sparsity.


title: Manipulating the Dipolar Interactions and Cooperative Effects in Confined Geometries

abstract: To facilitate the transition of quantum effects from the controlled laboratory environment to practical real-world applications, there is a pressing need for scalable platforms. One promising strategy involves integrating thermal vapors with nanostructures designed to manipulate atomic interactions. In this tutorial, we aim to gain deeper insights into this by examining the behavior of thermal vapors that are confined within nanocavities or waveguides and exposed to near-resonant light. We explore the interactions between atoms in confined dense thermal vapors. Our investigation reveals deviations from the predictions of continuous electrodynamics models, including density-dependent line shifts and broadening effects. In particular, our results demonstrate that by carefully controlling the saturation of single atoms and the interactions among multiple atoms using nanostructures, along with controlling the geometry of the atomic cloud, it becomes possible to manipulate the effective optical nonlinearity of the entire atomic ensemble. This capability renders the hybrid thermal atom-nanophotonic platform a distinctive and valuable one for manipulating the collective effect and achieving substantial optical nonlinearities.


title: Topic Diversity and Conspiracy Theories Shape Engagement with COVID-19 Misinformation on X/Twitter

abstract: The engagement with online health misinformation, particularly during COVID-19, poses unprecedented threats to societal well-being. The susceptibility to misinformation is heightened within a multi-topic context during health crises. This paper addresses a critical gap in understanding online engagement with multi-topic misinformation related to COVID-19. We conduct a comprehensive analysis of 7273 fact-checked source news claims related to COVID-19 and their corresponding social engagement on X/Twitter through the lens of topic diversity and conspiracy theories. Our analysis yields several key findings: (i) False news, especially when accompanied by conspiracy theories, exhibits higher topic diversity compared to true news. (ii) In terms of engagement from source claims to online posts, false news has a longer lifetime and receives more posts on X/Twitter compared to true news. Additionally, the integration of conspiracy theories is associated with a longer lifetime of COVID-19 misinformation. (iii) News posts characterized by heightened topic diversity receive increased social engagement on X/Twitter in terms of reposts, likes, and replies. However, the effect of topic diversity is moderated by the news veracity. High topic diversity is linked to more engagement with true news posts compared to false news posts. (iiii) The integration of conspiracy theories is linked to more social engagement with misinformation on X/Twitter. False news posts that contain conspiracy theories, on average, receive 40.8% more reposts, 45.2% more likes, and 44.1% more replies compared to false news posts without conspiracy theories. These findings offer insights into understanding the engagement with multi-topic misinformation during health crises and highlight the importance of considering topic diversity and conspiracy theories in developing targeted interventions.


title: Revisiting Self-supervised Learning of Speech Representation from a Mutual Information Perspective

abstract: Existing studies on self-supervised speech representation learning have focused on developing new training methods and applying pre-trained models for different applications. However, the quality of these models is often measured by the performance of different downstream tasks. How well the representations access the information of interest is less studied. In this work, we take a closer look into existing self-supervised methods of speech from an information-theoretic perspective. We aim to develop metrics using mutual information to help practical problems such as model design and selection. We use linear probes to estimate the mutual information between the target information and learned representations, showing another insight into the accessibility to the target information from speech representations. Further, we explore the potential of evaluating representations in a self-supervised fashion, where we estimate the mutual information between different parts of the data without using any labels. Finally, we show that both supervised and unsupervised measures echo the performance of the models on layer-wise linear probing and speech recognition.


title: Structure and lattice excitations of the copper substituted lead oxyapatite Pb$_{9.06(7)}$Cu$_{0.94(6)}$(PO$_{3.92(4)}$)$_{6}$O$_{0.96(3)}$

abstract: The copper substituted lead oxyapatite, Pb$_{10-x}$Cu$_{x}$(PO$_{3.92(4)}$)$_{6}$O$_{0.96(3)}$ (x=0.94(6)) was studied using neutron and x-ray diffraction and neutron spectroscopy techniques. The crystal structure of the main phase of our sample, which has come to be colloquially known as LK-99, is verified to possess a hexagonal structure with space group $P 6_{3}/m$, alongside the presence of impurity phases Cu and Cu$_2$S. We determine the primary substitution location of the Cu as the Pb1 ($6h$) site, with a small substitution at the Pb2 ($4f$) site. Consequently, no clear Cu-doping-induced structural distortion was observed in the investigated temperature region between 10~K and 300~K. Specially, we did not observe a reduction of coordinate number at the Pb2 site or a clear tilting of PO$_4$ tetrahedron. Magnetic characterization reveals a diamagnetic signal in the specimen, accompanied by a very weak ferromagnetic component at 2 K. No long-range magnetic order down to 10 K was detected by the neutron diffraction. Inelastic neutron scattering measurements did not show magnetic excitations for energies up to 350 meV. There is no sign of a superconducting resonance in the excitation spectrum of this material. The measured phonon density of states compares well with density functional theory calculations performed for the main LK-99 phase and its impurity phases. Our study may shed some insight into the role of the favored substitution site of copper in the absence of structural distortion and superconductivity in LK-99.


title: Improving ASR Contextual Biasing with Guided Attention

abstract: In this paper, we propose a Guided Attention (GA) auxiliary training loss, which improves the effectiveness and robustness of automatic speech recognition (ASR) contextual biasing without introducing additional parameters. A common challenge in previous literature is that the word error rate (WER) reduction brought by contextual biasing diminishes as the number of bias phrases increases. To address this challenge, we employ a GA loss as an additional training objective besides the Transducer loss. The proposed GA loss aims to teach the cross attention how to align bias phrases with text tokens or audio frames. Compared to studies with similar motivations, the proposed loss operates directly on the cross attention weights and is easier to implement. Through extensive experiments based on Conformer Transducer with Contextual Adapter, we demonstrate that the proposed method not only leads to a lower WER but also retains its effectiveness as the number of bias phrases increases. Specifically, the GA loss decreases the WER of rare vocabularies by up to 19.2% on LibriSpeech compared to the contextual biasing baseline, and up to 49.3% compared to a vanilla Transducer.


title: Quadratic Twists as Random Variables

abstract: Let $D\neq 1$ be a fixed squarefree integer. For elliptic curves $E/\mathbb{Q}$, writing $E_D$ for the quadratic twist by $D$, we consider the question of how often $E(\mathbb{Q})$ and $E_D(\mathbb{Q})$ generate $E(\mathbb{Q}(\sqrt{D}))$. We bound the proportion of $E/\mathbb{Q}$, ordered by height, for which this is not the case, showing that it is very small for typical $D$. The central theorem is concerned with intersections of 2-Selmer groups of quadratic twists. We establish their average size in terms of a product of local densities. We additionally propose a heuristic model for these intersections, which explains our result and similar results in the literature. This heuristic predicts further results in other families.


title: Image Fusion in Remote Sensing: An Overview and Meta Analysis

abstract: Image fusion in Remote Sensing (RS) has been a consistent demand due to its ability to turn raw images of different resolutions, sources, and modalities into accurate, complete, and spatio-temporally coherent images. It greatly facilitates downstream applications such as pan-sharpening, change detection, land-cover classification, etc. Yet, image fusion solutions are highly disparate to various remote sensing problems and thus are often narrowly defined in existing reviews as topical applications, such as pan-sharpening, and spatial-temporal image fusion. Considering that image fusion can be theoretically applied to any gridded data through pixel-level operations, in this paper, we expanded its scope by comprehensively surveying relevant works with a simple taxonomy: 1) many-to-one image fusion; 2) many-to-many image fusion. This simple taxonomy defines image fusion as a mapping problem that turns either a single or a set of images into another single or set of images, depending on the desired coherence, e.g., spectral, spatial/resolution coherence, etc. We show that this simple taxonomy, despite the significant modality difference it covers, can be presented by a conceptually easy framework. In addition, we provide a meta-analysis to review the major papers studying the various types of image fusion and their applications over the years (from the 1980s to date), covering 5,926 peer-reviewed papers. Finally, we discuss the main benefits and emerging challenges to provide open research directions and potential future works.


title: On the maximum value of the stairs2 index

abstract: Measures of tree balance play an important role in different research areas such as mathematical phylogenetics or theoretical computer science. The balance of a tree is usually quantified in a single number, called a balance or imbalance index, and several such indices exist in the literature. Here, we focus on the stairs2 balance index for rooted binary trees, which was first introduced in the context of viral phylogenetics but has not been fully analyzed from a mathematical viewpoint yet. While it is known that the caterpillar tree uniquely minimizes the stairs2 index for all leaf numbers and the fully balanced tree uniquely maximizes the stairs2 index for leaf numbers that are powers of two, understanding the maximum value and maximal trees for arbitrary leaf numbers is an open problem in the literature. In this note, we fill this gap by showing that for all leaf numbers, there is a unique rooted binary tree maximizing the stairs2 index. Additionally, we obtain recursive and closed expressions for the maximum value of the stairs2 index of a rooted binary tree with $n$ leaves.


title: Type Ia supernovae from chemically segregated white dwarfs

abstract: Type Ia supernovae are the outcome of the explosion of a carbon-oxygen white dwarf in a close binary system. They are thought to be the main contributors to the galactic nucleosynthesis of iron-peak elements, with important contributions to the yields of intermediate mass elements. Recent analyses of the phase diagram of carbon and oxygen containing impurities such as $^{22}$Ne and $^{56}$Fe in conditions relevant to white dwarf interiors suggest that both isotopes can partially separate when the temperature of the star is low enough to start solidifying. The purpose of this paper is to examine the impact of such a segregation on the yields of the different chemical species synthesized during explosions. A one-dimensional supernova code has been used to evaluate the impact of the sedimentation assuming different degrees of chemical separation. It is found that the main properties of the ejecta, kinetic energy and ejected mass of $^{56}$Ni do only vary slightly when the separation is taken into account. However, the yields of important isotopes that are used as diagnostic tools such as manganese can be strongly modified. Furthermore, the chemical segregation studied here is able to change several indicators related to progenitor metallicity (such as the mass ratio of calcium to sulphur in the ejecta or the UV flux of the supernova) and to its mass, whether it is a Chandrasekhar-mass white dwarf or a substantially lighter one (such as the imprint of stable nickel on late-time infrared spectra or those related to the presence of radioactive nickel at the centre of the ejecta).


title: Efficient Neural Representation of Volumetric Data using Coordinate-Based Networks

abstract: In this paper, we propose an efficient approach for the compression and representation of volumetric data utilizing coordinate-based networks and multi-resolution hash encoding. Efficient compression of volumetric data is crucial for various applications, such as medical imaging and scientific simulations. Our approach enables effective compression by learning a mapping between spatial coordinates and intensity values. We compare different encoding schemes and demonstrate the superiority of multi-resolution hash encoding in terms of compression quality and training efficiency. Furthermore, we leverage optimization-based meta-learning, specifically using the Reptile algorithm, to learn weight initialization for neural representations tailored to volumetric data, enabling faster convergence during optimization. Additionally, we compare our approach with state-of-the-art methods to showcase improved image quality and compression ratios. These findings highlight the potential of coordinate-based networks and multi-resolution hash encoding for an efficient and accurate representation of volumetric data, paving the way for advancements in large-scale data visualization and other applications.


title: Exploring Content-Based and Meta-Data Analysis for Detecting Fake News Infodemic: A case study on COVID-19

abstract: The coronavirus pandemic (COVID-19) is probably the most disruptive global health disaster in recent history. It negatively impacted the whole world and virtually brought the global economy to a standstill. However, as the virus was spreading, infecting people and claiming thousands of lives so was the spread and propagation of fake news, misinformation and disinformation about the event. These included the spread of unconfirmed health advice and remedies on social media. In this paper, false information about the pandemic is identified using a content-based approach and metadata curated from messages posted to online social networks. A content-based approach combined with metadata as well as an initial feature analysis is used and then several supervised learning models are tested for identifying and predicting misleading posts. Our approach shows up to 93% accuracy in the detection of fake news related posts about the COVID-19 pandemic


title: The chord conjecture for conormal bundles

abstract: We prove Arnol'd's chord conjecture for all Legendrian submanifolds of cosphere bundles of closed manifolds isotopic to conormal bundles of closed submanifolds. Our method of proof involves an isomorphism between wrapped Floer cohomology and the homology of a path space with coefficients in a local system and a twisted version of the Hurewicz theorem.


title: On invariants of Artin-Schreier curves

abstract: The main goal of this article is to expand the theory of invariants of Artin-Schreier curves by giving a complete classification in genus 3 and 4. To achieve this goal, we first establish standard forms of Artin-Schreier curves and determine all isomorphisms between curves in this form. We then compute reconstructing systems of invariants for curves in each connected component of the strata of the moduli spaces for Artin-Schreier curves of genus 3 and 4 for $p>2$.


title: Wind tunnel actuation movement system

abstract: In this dissertation project, an actuation system was designed for the supersonic wind tunnel at the University of Manchester. The aim of this project is to build a remote control actuation system which could adjust the angle of attack for the aerodynamic shape to save researchers' time and improve the experimental efficiency. This project involves the model supporting system, a six component wind tunnel balance, a control system design, a virtual angle of attack adjustment interface and LabVIEW programming implementation, the angle of attack adjustment range is from -20 to 20 degree. The three-dimensional model of the mechanical part and its engineering drawing were finished in SolidWorks, and the control system including the sensors and rotary encoder control, the closed-loop control of the stepper motor and the wind tunnel balance feedback. The performance of the wind tunnel balance can be known in advance by finite element analysis. Finally, the virtual operating system was built based on the LabVIEW and Arduino interactive programs


title: Top Feasible-Arm Selections in Constrained Multi-Armed Bandit

abstract: This note studies a simple algorithm, called ``constrained successive accept or reject (CSAR)," for solving the problem of identifying the set of the top feasible-arms in constrained multi-armed bandit with an emphasis on its performance analysis. An upper bound on the probability of incorrect identification by CSAR is established where the bound depends on the problem complexity and the size of the arm set. It converges to zero exponentially fast in the time-horizon as it goes to infinity.


title: Iterative Planning for Multi-agent Systems: An Application in Energy-Aware UAV-UGV Cooperative Task Site Assignments

abstract: This paper presents an iterative planning framework for multi-agent systems with hybrid state spaces. The framework uses transition systems to mathematically represent planning tasks and employs multiple solvers to iteratively improve the plan until computation resources are exhausted. When integrating different solvers for iterative planning, we establish theoretical guarantees on the mathematical framework to ensure recursive feasibility. The proposed framework enables continual improvement of solution optimality, efficiently using allocated computation resources. The proposed method is validated by applying it to an energy-aware UGV-UAV cooperative task site assignment. The results demonstrate the continual solution improvement while preserving real-time implementation ability compared to algorithms proposed in the literature.


title: RIDGE: Reproducibility, Integrity, Dependability, Generalizability, and Efficiency Assessment of Medical Image Segmentation Models

abstract: Deep learning techniques, despite their potential, often suffer from a lack of reproducibility and generalizability, impeding their clinical adoption. Image segmentation is one of the critical tasks in medical image analysis, in which one or several regions/volumes of interest should be annotated. This paper introduces the RIDGE checklist, a framework for assessing the Reproducibility, Integrity, Dependability, Generalizability, and Efficiency of deep learning-based medical image segmentation models. The checklist serves as a guide for researchers to enhance the quality and transparency of their work, ensuring that segmentation models are not only scientifically sound but also clinically relevant.


title: Stochastic Solutions for Hyperbolic PDE

abstract: The theory of stochastic representations of solutions to elliptic and parabolic PDE has been extensive. However, the theory for hyperbolic PDE is notably lacking. In this short note we give a stochastic representation for solutions of hyperbolic PDE.


title: Inhomogeneous Diophantine Approximation on $M_0$-sets

abstract: We prove new quantitative Schmidt-type theorem for Diophantine approximations with restraint denominators on fractals (more precisely, on $M_0$-sets). Our theorems introduce a sharp balance condition between the growth rate of the sequence of denominators and the decay rate of the Fourier transform of a Rajchman measure. Among the other things, this allows applications to sequences of denominators of polynomial growth. In particular, we infer new inhomogeneous Khintchine-J\"arnik type theorems with restraint denominators for a broad family of denominator sequences. Furthermore, our results provide non-trivial lower bounds for Hausdorff dimensions of intersections of two sets of inhomogeneously well-approximable numbers with restraint denominators.


title: REValueD: Regularised Ensemble Value-Decomposition for Factorisable Markov Decision Processes

abstract: Discrete-action reinforcement learning algorithms often falter in tasks with high-dimensional discrete action spaces due to the vast number of possible actions. A recent advancement leverages value-decomposition, a concept from multi-agent reinforcement learning, to tackle this challenge. This study delves deep into the effects of this value-decomposition, revealing that whilst it curtails the over-estimation bias inherent to Q-learning algorithms, it amplifies target variance. To counteract this, we present an ensemble of critics to mitigate target variance. Moreover, we introduce a regularisation loss that helps to mitigate the effects that exploratory actions in one dimension can have on the value of optimal actions in other dimensions. Our novel algorithm, REValueD, tested on discretised versions of the DeepMind Control Suite tasks, showcases superior performance, especially in the challenging humanoid and dog tasks. We further dissect the factors influencing REValueD's performance, evaluating the significance of the regularisation loss and the scalability of REValueD with increasing sub-actions per dimension.


title: Using i-vectors for subject-independent cross-session EEG transfer learning

abstract: Cognitive load classification is the task of automatically determining an individual's utilization of working memory resources during performance of a task based on physiologic measures such as electroencephalography (EEG). In this paper, we follow a cross-disciplinary approach, where tools and methodologies from speech processing are used to tackle this problem. The corpus we use was released publicly in 2021 as part of the first passive brain-computer interface competition on cross-session workload estimation. We present our approach which used i-vector-based neural network classifiers to accomplish inter-subject cross-session EEG transfer learning, achieving 18% relative improvement over equivalent subject-dependent models. We also report experiments showing how our subject-independent models perform competitively on held-out subjects and improve with additional subject data, suggesting that subject-dependent training is not required for effective cognitive load determination.


title: Tunable on-chip optical traps for levitating particles based on single-layer metasurface

abstract: Optically levitated multiple nanoparticles has emerged as a platform for studying complex fundamental physics such as non-equilibrium phenomena, quantum entanglement, and light-matter interaction, which could be applied for sensing weak forces and torques with high sensitivity and accuracy. An optical trapping landscape of increased complexity is needed to engineer the interaction between levitated particles beyond the single harmonic trap. However, existing platforms based on spatial light modulators for studying interactions between levitated particles suffered from low efficiency, instability at focal points, the complexity of optical systems, and the scalability for sensing applications. Here, we experimentally demonstrated that a metasurface which forms two diffraction-limited focal points with a high numerical aperture (0.9) and high efficiency (31%) can generate tunable optical potential wells without any intensity fluctuations. A bistable potential and double potential wells were observed in the experiment by varying the focal points distance, and two nanoparticles were levitated in double potential wells for hours, which could be used for investigating the levitated particles nonlinear dynamics, thermal dynamics, and optical binding. This would pave the way for scaling the number of levitated optomechanical devices or realizing paralleled levitated sensors.


title: A multi-domain model for microcirculation in optic nerve: blood flow and oxygen transport

abstract: Microcirculation of blood and oxygen transport play important roles in biological function of optic nerve and are directly affected by damages or pathologies. This work develops a multi-domain model for optic nerve, that includes important biological structures and various physical mechanisms in blood flow and oxygen delivery. The two sets of vasculature network are treated as five domains in the same geometric region, with various exchanges among them (such as Darcy's law for fluid flow) and with the tissue domain (such as water leak, diffusion). The numerical results of the coupled model for a uniform case of vasculature distribution show mechanisms and scales consistent with literature and intuition. The effects of various important model parameters (relevant to pathological conditions) are investigated to provide insights into the possible implications. The vasculature distribution (resting volume fractions here) has significant impacts on the blood circulation and could lead to insufficient blood supply in certain local region and in turn affect the oxygen delivery. The water leak across the capillary wall will have nontrivial effects after the leak coefficients pass a threshold. The periodic arterial pressure conditions lead to expected periodic patterns and stable spatial profiles, and the uniform case is almost the averaged version of periodic case. The effects of viscosity, the stiffness of blood vessel wall, oxygen demand, etc. have also been analyzed. The framework can be extended to include ionic transport or to study the retina when more biological structural information is available.


title: Remote sensing of a levitated superconductor with a flux-tunable microwave cavity

abstract: We present a cavity-electromechanical system comprising a superconducting quantum interference device which is embedded in a microwave resonator and coupled via a pick-up loop to a 6 $\mu$g magnetically-levitated superconducting sphere. The motion of the sphere in the magnetic trap induces a frequency shift in the SQUID-cavity system. We use microwave spectroscopy to characterize the system, and we demonstrate that the electromechanical interaction is tunable. The measured displacement sensitivity of $10^{-7} \, \mathrm{m} / \sqrt{\mathrm{Hz}}$, defines a path towards ground-state cooling of levitated particles with Planck-scale masses at millikelvin environment temperatures.


title: On Signs of Hecke eigenvalues of Ikeda lifts

abstract: Let $F$ be an Ikeda lift, $\lambda_F(m)$ be the eigenvalue corresponding to the Hecke operator $T(m)$. We show that $\lambda_F(p)$ is positive for all large enough primes $p$. This is proved for Ikeda lifts of all genus. The second result is specific for genus 4 Ikeda lifts. If $F$ is genus 4 Ikeda lift, we show that, given $r$ there exists a constant $c_r$ such that $\lambda_F(p^r)$ is positive for all $p>c_r$.


title: Weighted Inertia-Dissipation-Energy approach to doubly nonlinear wave equations

abstract: We discuss a variational approach to doubly nonlinear wave equations of the form $\rho u_{tt} + g (u_t) - \Delta u + f (u)=0$. This approach hinges on the minimization of a parameter-dependent family of uniformly convex functionals over entire trajectories, namely the so-called Weighted Inertia-Dissipation-Energy (WIDE) functionals. We prove that the WIDE functionals admit minimizers and that the corresponding Euler-Lagrange system is solvable in the strong sense. Moreover, we check that the parameter-dependent minimizers converge, up to subsequences, to a solution of the target doubly nonlinear wave equation as the parameter goes to $0$. The analysis relies on specific estimates on the WIDE minimizers, on the decomposition of the subdifferential of the WIDE functional, and on the identification of the nonlinearities in the limit. Eventually, we investigate the viscous limit $\rho \to 0$, both at the functional level and on that of the equation.


title: Displacement techniques in bounded cohomology

abstract: Several algebraic criteria, reflecting displacement properties of transformation groups, have been used in the past years to prove vanishing of bounded cohomology and stable commutator length. Recently, the authors introduced the property of commuting cyclic conjugates, a new displacement technique that is widely applicable and provides vanishing of the bounded cohomology in all positive degrees and all dual separable coefficients. In this note we consider the most recent along with the by now classical displacement techniques and we study implications among them as well as counterexamples.


title: File System Aging

abstract: File systems must allocate space for files without knowing what will be added or removed in the future. Over the life of a file system, this may cause suboptimal file placement decisions that eventually lead to slower performance, or aging. Conventional wisdom suggests that file system aging is a solved problem in the common case; heuristics to avoid aging, such as colocating related files and data blocks, are effective until a storage device fills up, at which point space pressure exacerbates fragmentation-based aging. However, this article describes both realistic and synthetic workloads that can cause these heuristics to fail, inducing large performance declines due to aging, even when the storage device is nearly empty. We argue that these slowdowns are caused by poor layout. We demonstrate a correlation between the read performance of a directory scan and the locality within a file system's access patterns, using a dynamic layout score. We complement these results with microbenchmarks that show that space pressure can cause a substantial amount of inter-file and intra-file fragmentation. However, our results suggest that the effect of free-space fragmentation on read performance is best described as accelerating the file system aging process. The effect on write performance is non-existent in some cases, and, in most cases, an order of magnitude smaller than the read degradation from fragmentation caused by normal usage. In short, many file systems are exquisitely prone to read aging after a variety of write patterns. We show, however, that aging is not inevitable. BetrFS, a file system based on write-optimized dictionaries, exhibits almost no aging in our experiments. We present a framework for understanding and predicting aging, and identify the key features of BetrFS that avoid aging.


title: Shabari: Delayed Decision-Making for Faster and Efficient Serverless Functions

abstract: Serverless computing relieves developers from the burden of resource management, thus providing ease-of-use to the users and the opportunity to optimize resource utilization for the providers. However, today's serverless systems lack performance guarantees for function invocations, thus limiting support for performance-critical applications: we observed severe performance variability (up to 6x). Providers lack visibility into user functions and hence find it challenging to right-size them: we observed heavy resource underutilization (up to 80%). To understand the causes behind the performance variability and underutilization, we conducted a measurement study of commonly deployed serverless functions and learned that the function performance and resource utilization depend crucially on function semantics and inputs. Our key insight is to delay making resource allocation decisions until after the function inputs are available. We introduce Shabari, a resource management framework for serverless systems that makes decisions as late as possible to right-size each invocation to meet functions' performance objectives (SLOs) and improve resource utilization. Shabari uses an online learning agent to right-size each function invocation based on the features of the function input and makes cold-start-aware scheduling decisions. For a range of serverless functions and inputs, Shabari reduces SLO violations by 11-73% while not wasting any vCPUs and reducing wasted memory by 64-94% in the median case, compared to state-of-the-art systems, including Aquatope, Parrotfish, and Cypress.


title: Cross-Level Multi-Instance Distillation for Self-Supervised Fine-Grained Visual Categorization

abstract: High-quality annotation of fine-grained visual categories demands great expert knowledge, which is taxing and time consuming. Alternatively, learning fine-grained visual representation from enormous unlabeled images (e.g., species, brands) by self-supervised learning becomes a feasible solution. However, recent researches find that existing self-supervised learning methods are less qualified to represent fine-grained categories. The bottleneck lies in that the pre-text representation is built from every patch-wise embedding, while fine-grained categories are only determined by several key patches of an image. In this paper, we propose a Cross-level Multi-instance Distillation (CMD) framework to tackle the challenge. Our key idea is to consider the importance of each image patch in determining the fine-grained pre-text representation by multiple instance learning. To comprehensively learn the relation between informative patches and fine-grained semantics, the multi-instance knowledge distillation is implemented on both the region/image crop pairs from the teacher and student net, and the region-image crops inside the teacher / student net, which we term as intra-level multi-instance distillation and inter-level multi-instance distillation. Extensive experiments on CUB-200-2011, Stanford Cars and FGVC Aircraft show that the proposed method outperforms the contemporary method by upto 10.14% and existing state-of-the-art self-supervised learning approaches by upto 19.78% on both top-1 accuracy and Rank-1 retrieval metric.


title: Semi-Supervised Learning Approach for Efficient Resource Allocation with Network Slicing in O-RAN

abstract: The Open Radio Access Network (O-RAN) technology has emerged as a promising solution for network operators, providing them with an open and favorable environment. Ensuring effective coordination of x-applications (xAPPs) is crucial to enhance flexibility and optimize network performance within the O-RAN. In this paper, we introduce an innovative approach to the resource allocation problem, aiming to coordinate multiple independent xAPPs for network slicing and resource allocation in O-RAN. Our proposed method focuses on maximizing the weighted throughput among user equipments (UE), as well as allocating physical resource blocks (PRBs). We prioritize two service types, namely enhanced Mobile Broadband and Ultra Reliable Low Latency Communication. To achieve this, we have designed two xAPPs: a power control xAPP for each UE and a PRB allocation xAPP. The proposed method consists of a two-part training phase, where the first part uses supervised learning with a Variational Autoencoder trained to regress the power transmission as well as the user association and PRB allocation decisions, and the second part uses unsupervised learning with a contrastive loss approach to improve the generalization and robustness of the model. We evaluate the performance of our proposed method by comparing its results to those obtained from an exhaustive search algorithm, deep Q-network algorithm, and by reporting performance metrics for the regression task. We also evaluate the proposed model's performance in different scenarios among the service types. The results show that the proposed method is a more efficient and effective solution for network slicing problems compared to state-of-the-art methods.


title: Detecting Dark Matter Substructures on Small Scales with Fast Radio Bursts

abstract: We propose measuring the arrival time difference of Fast Radio Bursts (FRBs) along two adjacent sightlines as a new probe to dark matter substructures on scales down to $\sim 1\,$AU. We discuss two observational scenarios in which it may be possible to place interesting constraints on such models through monitoring repeating FRB sources: 1) By sending radio receivers to space to form a baseline of tens of AU or more and measuring the temporal variation of the arrival time difference between receivers. 2) By measuring the temporal variation of the arrival time difference between two lensed images of one strongly lensed repeater. In both scenarios, obtaining interesting constraints requires correlating the voltage time series to measure the radio-signal arrival time to sub-nanosecond precision. We find that two radio dishes separated by $20\,$AU may be sensitive to the enhancement of small-scale structures at $\sim 10^{-8}M_\odot$ masses in the QCD axion dark matter scenario or from an early epoch of matter-domination with a reheating temperature up to 60 MeV. Other dark matter models such as those composed of $\sim 10^{-13}M_{\odot}$ primordial black holes produced during inflation would also be probed by this method. We further show that a strong lensing situation of multiple images provides an equivalent $\sim 2000\,$AU baseline, which can be much more sensitive but with the uncertainty that intervening ISM decoherence may degrade the timing precision and that spatial variation in the FRB emission spot may result in confounding signals. We show that the lensing magnifications of Type Ia supernovea constrain a similar quantity to such FRB timing, with present limits being equivalent to ruling out the same parameter space that would be probed by a $0.14~$AU baseline.


title: Robust Localization of Key Fob Using Channel Impulse Response of Ultra Wide Band Sensors for Keyless Entry Systems

abstract: Using neural networks for localization of key fob within and surrounding a car as a security feature for keyless entry is fast emerging. In this paper we study: 1) the performance of pre-computed features of neural networks based UWB (ultra wide band) localization classification forming the baseline of our experiments. 2) Investigate the inherent robustness of various neural networks; therefore, we include the study of robustness of the adversarial examples without any adversarial training in this work. 3) Propose a multi-head self-supervised neural network architecture which outperforms the baseline neural networks without any adversarial training. The model's performance improved by 67% at certain ranges of adversarial magnitude for fast gradient sign method and 37% each for basic iterative method and projected gradient descent method.


title: Binaural Angular Separation Network

abstract: We propose a neural network model that can separate target speech sources from interfering sources at different angular regions using two microphones. The model is trained with simulated room impulse responses (RIRs) using omni-directional microphones without needing to collect real RIRs. By relying on specific angular regions and multiple room simulations, the model utilizes consistent time difference of arrival (TDOA) cues, or what we call delay contrast, to separate target and interference sources while remaining robust in various reverberation environments. We demonstrate the model is not only generalizable to a commercially available device with a slightly different microphone geometry, but also outperforms our previous work which uses one additional microphone on the same device. The model runs in real-time on-device and is suitable for low-latency streaming applications such as telephony and video conferencing.


title: The Effect of Intrinsic Dataset Properties on Generalization: Unraveling Learning Differences Between Natural and Medical Images

abstract: This paper investigates discrepancies in how neural networks learn from different imaging domains, which are commonly overlooked when adopting computer vision techniques from the domain of natural images to other specialized domains such as medical images. Recent works have found that the generalization error of a trained network typically increases with the intrinsic dimension ($d_{data}$) of its training set. Yet, the steepness of this relationship varies significantly between medical (radiological) and natural imaging domains, with no existing theoretical explanation. We address this gap in knowledge by establishing and empirically validating a generalization scaling law with respect to $d_{data}$, and propose that the substantial scaling discrepancy between the two considered domains may be at least partially attributed to the higher intrinsic ``label sharpness'' ($K_\mathcal{F}$) of medical imaging datasets, a metric which we propose. Next, we demonstrate an additional benefit of measuring the label sharpness of a training set: it is negatively correlated with the trained model's adversarial robustness, which notably leads to models for medical images having a substantially higher vulnerability to adversarial attack. Finally, we extend our $d_{data}$ formalism to the related metric of learned representation intrinsic dimension ($d_{repr}$), derive a generalization scaling law with respect to $d_{repr}$, and show that $d_{data}$ serves as an upper bound for $d_{repr}$. Our theoretical results are supported by thorough experiments with six models and eleven natural and medical imaging datasets over a range of training set sizes. Our findings offer insights into the influence of intrinsic dataset properties on generalization, representation learning, and robustness in deep neural networks. Code link: https://github.com/mazurowski-lab/intrinsic-properties


title: Foundation Models in Augmentative and Alternative Communication: Opportunities and Challenges

abstract: Augmentative and Alternative Communication (AAC) are essential techniques that help people with communication disabilities. AAC demonstrates its transformative power by replacing spoken language with symbol sequences. However, to unlock its full potential, AAC materials must adhere to specific characteristics, placing the onus on educators to create custom-tailored materials and symbols. This paper introduces AMBRA (Pervasive and Personalized Augmentative and Alternative Communication based on Federated Learning and Generative AI), an open platform that aims to leverage the capabilities of foundation models to tackle many AAC issues, opening new opportunities (but also challenges) for AI-enhanced AAC. We thus present a compelling vision--a roadmap towards a more inclusive society. By leveraging the capabilities of modern technologies, we aspire to not only transform AAC but also guide the way toward a world where communication knows no bounds.


title: MambaTab: A Plug-and-Play Model for Learning Tabular Data

abstract: Despite the prevalence of images and texts in machine learning, tabular data remains widely used across various domains. Existing deep learning models, such as convolutional neural networks and transformers, perform well however demand extensive preprocessing and tuning limiting accessibility and scalability. This work introduces an innovative approach based on a structured state-space model (SSM), MambaTab, for tabular data. SSMs have strong capabilities for efficiently extracting effective representations from data with long-range dependencies. MambaTab leverages Mamba, an emerging SSM variant, for end-to-end supervised learning on tables. Compared to state-of-the-art baselines, MambaTab delivers superior performance while requiring significantly fewer parameters, as empirically validated on diverse benchmark datasets. MambaTab's efficiency, scalability, generalizability, and predictive gains signify it as a lightweight, "plug-and-play" solution for diverse tabular data with promise for enabling wider practical applications.


title: B-Cos Aligned Transformers Learn Human-Interpretable Features

abstract: Vision Transformers (ViTs) and Swin Transformers (Swin) are currently state-of-the-art in computational pathology. However, domain experts are still reluctant to use these models due to their lack of interpretability. This is not surprising, as critical decisions need to be transparent and understandable. The most common approach to understanding transformers is to visualize their attention. However, attention maps of ViTs are often fragmented, leading to unsatisfactory explanations. Here, we introduce a novel architecture called the B-cos Vision Transformer (BvT) that is designed to be more interpretable. It replaces all linear transformations with the B-cos transform to promote weight-input alignment. In a blinded study, medical experts clearly ranked BvTs above ViTs, suggesting that our network is better at capturing biomedically relevant structures. This is also true for the B-cos Swin Transformer (Bwin). Compared to the Swin Transformer, it even improves the F1-score by up to 4.7% on two public datasets.


title: Conjugacy in Miller's Groups

abstract: In 1971 C.F.\ Miller associated to every finitely presented group $G$ a free-by-free group $M(G)$ known as the Miller Machine, whose conjugacy problem is closely related to the conjugacy and word problems of $G$. We quantify this relationship, and look to fully understand the conjugacy problem of $M(G)$; namely, we reduce the conjugacy problem in $M(G)$ to a strong form of list conjugacy in $G$, which we term iso-computational list conjugacy.


title: Benchmarking Particle Filter Algorithms for Efficient Velodyne-Based Vehicle Localization

abstract: Keeping a vehicle well-localized within a prebuilt-map is at the core of any autonomous vehicle navigation system. In this work, we show that both standard SIR sampling and rejection-based optimal sampling are suitable for efficient (10 to 20 ms) real-time pose tracking without feature detection that is using raw point clouds from a 3D LiDAR. Motivated by the large amount of information captured by these sensors, we perform a systematic statistical analysis of how many points are actually required to reach an optimal ratio between efficiency and positioning accuracy. Furthermore, initialization from adverse conditions, e.g., poor GPS signal in urban canyons, we also identify the optimal particle filter settings required to ensure convergence. Our findings include that a decimation factor between 100 and 200 on incoming point clouds provides a large savings in computational cost with a negligible loss in localization accuracy for a VLP-16 scanner. Furthermore, an initial density of $\sim$2 particles/m$^2$ is required to achieve 100% convergence success for large-scale ($\sim$100,000 m$^2$), outdoor global localization without any additional hint from GPS or magnetic field sensors. All implementations have been released as open-source software.


title: Generalized Rastall Gravity coupled with neutrinos could solve the Hubble Tension

abstract: The Hubble tension arises when comparing two different methods of determining $H_{0}$: one based on local measurements within our cosmic vicinity and another derived from observations of the early universe, specifically the cosmic microwave background (CMB). In this article, we investigated the Hubble tension by coupling neutrinos to Rastall gravity. We estimate the $H_{0}$ in both Ealy and the Local universe. The data were use in this paper are CMB (plikTTTEEE+lowl+lowE), and Lensing. BAO, CC, and Pantheon + Analysis. In the Early universe for (CMB + Lensing) the $H_{0}$ value is $69.2 \pm 1.52$ and for the Local universe (CC + BAO + Pantheon + Analysis) is $70.14 \pm 0.98$. There is a 0.54$\sigma$ deviation in comparing the $H_{0}$ value in the Early and the Local universe. As a result, it can be concluded that the Hubble tension may be resolved.


title: Higher order expansion for the probabilistic local well-posedness theory for a cubic nonlinear Schr\"odinger equation

abstract: In this paper, we study the probabilistic local well-posedness of the cubic Schr\"odinger equation (cubic NLS): \[ (i\partial_{t} + \Delta) u = \pm |u|^{2} u \text{ on } [0,T) \times \mathbb{R}^{d}, \] with initial data being a Wiener randomization at unit scale of a given function $f$. We prove that a solution exists almost-surely locally in time provided \(f\in H^{S}_{x}(\mathbb{R}^{d})\) with \(S>\max\big(\frac{d-3}{4},\frac{d-4}{2}\big)\) for \(d\geq 3\). In particular, we establish that the local well-posedness holds for any \(S>0\) when \(d=3\). We also show that, under appropriate smallness conditions for the initial data, the solutions are global in time and scatter. The solutions are constructed as a sum of an explicit multilinear expansion of the flow in terms of the random initial data and of an additional smoother remainder term with deterministically subcritical regularity. This construction allows us to introduce a new and refined notion of graded scattering. We develop the framework of directional space-time norms to control the (probabilistic) multilinear expansion and the (deterministic) remainder term and to obtain improved bilinear probabilistic-deterministic Strichartz estimates.


title: From Physics to Sentience: Deciphering the Semantics of the Free-Energy Principle and Evaluating its Claims

abstract: The Free-Energy Principle (FEP) [1-3] has been adopted in a variety of ambitious proposals that aim to characterize all adaptive, sentient, and cognitive systems within a unifying framework. Judging by the amount of attention it has received from the scientific community, the FEP has gained significant traction in these pursuits. The current target article represents an important iteration of this research paradigm in formally describing emergent dynamics rather than merely (quasi-)steady states. This affords more in-depth considerations of the spatio-temporal complexities of cross-scale causality - as we have encouraged and built towards in previous publications (e.g., [4-9]). In this spirit of constructive feedback, we submit a few technical comments on some of the matters that appear to require further attention, in order to improve the clarity, rigour, and applicability of this framework.


title: Investigating a single-domain approach for modeling coupled porous solid-fluid systems: applications in buoyant reacting plume formation and ignition

abstract: Many natural and industrial processes involve mixed porous-solid fluid domains where multiple physics of reactions, heat transfer, and fluid flow interact over disparate length scales, such as the combustion of multi-species solid fuels. This range of problems covers small-scale fuel burning to large-scale forest fires when plant canopies can be modeled as porous media. Although many modeling studies so far have concentrated on detailed physics within the single fluid or porous phase, few consider both phases, in part due to the challenge in determining suitable boundary conditions between the regions, particularly in turbulent flows where eddies might penetrate the porous region. In this work, we develop a single-domain approach that eliminates the need for boundary conditions at the interface, and numerically study scenarios involving porous-solids and a surrounding fluid. Similar to the methods used in large eddy simulation, the flow is averaged over a small spatial volume--but over the entire domain. We focus on the ignition and related interfacial phenomena, a problem that has rarely been studied in detail from a modeling standpoint. After verifying and validating the model, we examine the emission of buoyant reacting plumes from the surface of a heated solid and the near-field flow dynamics. We observed indications of flow instabilities similar to those seen in Rayleigh-Taylor and Kelvin-Helmholtz phenomena. Our analysis highlighted that the inflectional velocity profile close to the interface triggers the generation of vorticity due to viscous torque, linked with Kelvin-Helmholtz instabilities. Gravitational and baroclinic torques play key roles in vortex growth in the surrounding fluid region. These flow characteristics could significantly influence the mixing of oxidizer and fuel, ignition processes, and fire propagation.


title: DCRMTA: Unbiased Causal Representation for Multi-touch Attribution

abstract: Multi-touch attribution (MTA) currently plays a pivotal role in achieving a fair estimation of the contributions of each advertising touchpoint to-wards conversion behavior, deeply influencing budget allocation and advertising recommenda-tion. Previous works attempted to eliminate the bias caused by user preferences to achieve the unbiased assumption of the conversion model. The multi-model collaboration method is not ef-ficient, and the complete elimination of user in-fluence also eliminates the causal effect of user features on conversion, resulting in limited per-formance of the conversion model. This paper re-defines the causal effect of user features on con-versions and proposes a novel end-to-end ap-proach, Deep Causal Representation for MTA (DCRMTA). Our model focuses on extracting causa features between conversions and users while eliminating confounding variables. Fur-thermore, extensive experiments demonstrate DCRMTA's superior performance in converting prediction across varying data distributions, while also effectively attributing value across dif-ferent advertising channels.


title: Evaluating the Utility of Conformal Prediction Sets for AI-Advised Image Labeling

abstract: As deep neural networks are more commonly deployed in high-stakes domains, their black-box nature makes uncertainty quantification challenging. We investigate the presentation of conformal prediction sets--a distribution-free class of methods for generating prediction sets with specified coverage--to express uncertainty in AI-advised decision-making. Through a large online experiment, we compare the utility of conformal prediction sets to displays of Top-1 and Top-k predictions for AI-advised image labeling. In a pre-registered analysis, we find that the utility of prediction sets for accuracy varies with the difficulty of the task: while they result in accuracy on par with or less than Top-1 and Top-k displays for easy images, prediction sets offer some advantage in assisting humans in labeling out-of-distribution (OOD) images in the setting that we studied, especially when the set size is small. Our results empirically pinpoint practical challenges of conformal prediction sets and provide implications on how to incorporate them for real-world decision-making.


title: Distributional Celestial Amplitudes

abstract: Scattering amplitudes are tempered distributions, which are defined through their action on functions in the Schwartz space $S(\mathbb{R})$ by duality. For massless particles, their conformal properties become manifest when considering their Mellin transform. Therefore we need to mathematically well-define the Mellin transform of distributions in the dual space $S'(\mathbb{R}^+)$. In this paper, we investigate this problem by characterizing the Mellin transform of the Schwartz space $S(\mathbb{R}^+)$. This allows us to rigorously define the Mellin transform of tempered distributions through a Parseval-type relation. Massless celestial amplitudes are then properly defined by taking the Mellin transform of elements in the topological dual of the Schwartz space $S(\mathbb{R}^+)$. We conclude the paper with applications to tree-level graviton celestial amplitudes.


title: A Survey on Hypergraph Mining: Patterns, Tools, and Generators

abstract: Hypergraphs are a natural and powerful choice for modeling group interactions in the real world, which are often referred to as higher-order networks. For example, when modeling collaboration networks, where collaborations can involve not just two but three or more people, employing hypergraphs allows us to explore beyond pairwise (dyadic) patterns and capture groupwise (polyadic) patterns. The mathematical complexity of hypergraphs offers both opportunities and challenges for learning and mining on hypergraphs, and hypergraph mining, which seeks to enhance our understanding of underlying systems through hypergraph modeling, gained increasing attention in research. Researchers have discovered various structural patterns in real-world hypergraphs, leading to the development of mining tools. Moreover, they have designed generators with the aim of reproducing and thereby shedding light on these patterns. In this survey, we provide a comprehensive overview of the current landscape of hypergraph mining, covering patterns, tools, and generators. We provide comprehensive taxonomies for them, and we also provide in-depth discussions to provide insights into future research on hypergraph mining.


title: Contribution Functions for Quantitative Bipolar Argumentation Graphs: A Principle-based Analysis

abstract: We present a principle-based analysis of contribution functions for quantitative bipolar argumentation graphs that quantify the contribution of one argument to another. The introduced principles formalise the intuitions underlying different contribution functions as well as expectations one would have regarding the behaviour of contribution functions in general. As none of the covered contribution functions satisfies all principles, our analysis can serve as a tool that enables the selection of the most suitable function based on the requirements of a given use case.


title: Hamiltonian analysis in Lie-Poisson gauge theory

abstract: Lie-Poisson gauge formalism provides a semiclassical description of noncommutative $U(1)$ gauge theory with Lie algebra type noncommutativity. Using the Dirac approach to constrained Hamiltonian systems, we focus on a class of Lie-Poisson gauge models, which exhibit an admissible Lagrangian description. The underlying noncommutativity is supposed to be purely spatial. Analysing the constraints, we demonstrate that these models have as many physical degrees of freedom as there are present in the Maxwell theory.


title: Whispering Pixels: Exploiting Uninitialized Register Accesses in Modern GPUs

abstract: Graphic Processing Units (GPUs) have transcended their traditional use-case of rendering graphics and nowadays also serve as a powerful platform for accelerating ubiquitous, non-graphical rendering tasks. One prominent task is inference of neural networks, which process vast amounts of personal data, such as audio, text or images. Thus, GPUs became integral components for handling vast amounts of potentially confidential data, which has awakened the interest of security researchers. This lead to the discovery of various vulnerabilities in GPUs in recent years. In this paper, we uncover yet another vulnerability class in GPUs: We found that some GPU implementations lack proper register initialization routines before shader execution, leading to unintended register content leakage of previously executed shader kernels. We showcase the existence of the aforementioned vulnerability on products of 3 major vendors - Apple, NVIDIA and Qualcomm. The vulnerability poses unique challenges to an adversary due to opaque scheduling and register remapping algorithms present in the GPU firmware, complicating the reconstruction of leaked data. In order to illustrate the real-world impact of this flaw, we showcase how these challenges can be solved for attacking various workloads on the GPU. First, we showcase how uninitialized registers leak arbitrary pixel data processed by fragment shaders. We further implement information leakage attacks on intermediate data of Convolutional Neural Networks (CNNs) and present the attack's capability to leak and reconstruct the output of Large Language Models (LLMs).


title: Hamiltonian formulation of the maximal valence model for liquid polyamorphism

abstract: Liquid-liquid phase transitions have been found experimentally or proposed to exist based on computer simulations in many compounds such as water, hydrogen, sulfur, phosphorus, carbon, silica, and silicon. Recently introduced maximal valence model implemented via discrete molecular dynamics (DMD) provides simple generic mechanism of the liquid-liquid phase transitions for all these diverse cases. Here we will show that certain variants of the maximal valence model have a well defined Hamiltonian i.e a unique algorithm by which the potential energy of the system of particles can be computed solely from the coordinates of the particles and is thus equivalent to a complex multi-body potential. We will present several examples of the model which can be used to reproduce liquid-liquid phase transition in systems with maximal valence $z=1$ (hydrogen), $z=2$ (sulfur) and $z=4$ (water), where $z$ is the maximal valence, i.e. the maximal number of bonds an atom is allowed to have. The maximal valence model can be modified to forbid not only too large valences but also too low valences. In the case of sulfur, we forbid also the formation of monomers, thus restricting the valence $v$ of an atom to be within an interval $1=v_{min}\leq v\leq v_{max}\equiv z=2$.


title: Path-homotopy is equivalent to $\mathbb{R}$-tree reduction

abstract: Suppose a path $\alpha$ factors through an $\mathbb{R}$-tree $T$ as $\alpha=q \circ p $. Let $r$ parameterize the unique geodesic in $T$ joining the endpoints of $p$. Then we say that the path $\beta=q \circ r$ is obtained from $\alpha$ by "geodesic $\mathbb{R}$-tree reduction." Essentially, $\beta$ is obtained from $\alpha$ by deleting one-dimensional back-tracking. In this paper, we show that any two homotopic paths are geodesic $\mathbb{R}$-tree reductions of some single common path. Hence, the equivalence relation on paths generated by geodesic $\mathbb{R}$-tree reduction is precisely path-homotopy. The common path is explicitly constructed and is necessarily space-filling in the image of a given path-homotopy.


title: Extreme Metastability of Diamond and its Transformation to BC8 Post-Diamond Phase of Carbon

abstract: Diamond possesses exceptional physical properties due to its remarkably strong carbon-carbon bonding, leading to significant resilience to structural transformations at very high pressures and temperatures. Despite several experimental attempts, synthesis and recovery of the theoretically predicted post-diamond BC8 phase remains elusive. Through quantum accurate, multi-million atom molecular dynamics (MD) simulations, we have uncovered the extreme metastability of diamond at very high pressures, significantly exceeding its range of thermodynamic stability. We predict the post-diamond BC8 phase to be experimentally accessible only within a narrow high pressure-temperature region of the carbon phase diagram. The diamond to BC8 transformation proceeds through pre-melting followed by BC8 nucleation and growth in the metastable carbon liquid. We propose a double-shock compression pathway to achieve BC8 synthesis, which is currently being explored in theory-inspired experiments at the National Ignition Facility.


title: Traversable Wormholes from Loop Quantum Gravity

abstract: This study introduces and investigates Lorentzian traversable wormhole solutions rooted in Loop Quantum Gravity (LQG). The static and spherically symmetric solutions to be examined stem from the energy density sourcing self-dual regular black holes discovered by L. Modesto, relying on the parameters associated with LQG, which account for the quantum nature of spacetime. We specifically focus on macroscopic wormholes characterized by small values of these parameters. Our analysis encompasses zero-tidal solutions and those with non-constant redshift functions, exploring immersion diagrams, curvatures, energy conditions, equilibrium requirements, and the requisite quantity of exotic matter to sustain these wormholes. The investigation underscores the influence of LQG parameters on these features, highlighting the pivotal role of spacetime's quantum properties in shaping these wormholes and governing their behavior.


title: RiemannONets: Interpretable Neural Operators for Riemann Problems

abstract: Developing the proper representations for simulating high-speed flows with strong shock waves, rarefactions, and contact discontinuities has been a long-standing question in numerical analysis. Herein, we employ neural operators to solve Riemann problems encountered in compressible flows for extreme pressure jumps (up to $10^{10}$ pressure ratio). In particular, we first consider the DeepONet that we train in a two-stage process, following the recent work of \cite{lee2023training}, wherein the first stage, a basis is extracted from the trunk net, which is orthonormalized and subsequently is used in the second stage in training the branch net. This simple modification of DeepONet has a profound effect on its accuracy, efficiency, and robustness and leads to very accurate solutions to Riemann problems compared to the vanilla version. It also enables us to interpret the results physically as the hierarchical data-driven produced basis reflects all the flow features that would otherwise be introduced using ad hoc feature expansion layers. We also compare the results with another neural operator based on the U-Net for low, intermediate, and very high-pressure ratios that are very accurate for Riemann problems, especially for large pressure ratios, due to their multiscale nature but computationally more expensive. Overall, our study demonstrates that simple neural network architectures, if properly pre-trained, can achieve very accurate solutions of Riemann problems for real-time forecasting. The source code, along with its corresponding data, can be found at the following URL: https://github.com/apey236/RiemannONet/tree/main


title: NOTSOFAR-1 Challenge: New Datasets, Baseline, and Tasks for Distant Meeting Transcription

abstract: We introduce the first Natural Office Talkers in Settings of Far-field Audio Recordings (``NOTSOFAR-1'') Challenge alongside datasets and baseline system. The challenge focuses on distant speaker diarization and automatic speech recognition (DASR) in far-field meeting scenarios, with single-channel and known-geometry multi-channel tracks, and serves as a launch platform for two new datasets: First, a benchmarking dataset of 315 meetings, averaging 6 minutes each, capturing a broad spectrum of real-world acoustic conditions and conversational dynamics. It is recorded across 30 conference rooms, featuring 4-8 attendees and a total of 35 unique speakers. Second, a 1000-hour simulated training dataset, synthesized with enhanced authenticity for real-world generalization, incorporating 15,000 real acoustic transfer functions. The tasks focus on single-device DASR, where multi-channel devices always share the same known geometry. This is aligned with common setups in actual conference rooms, and avoids technical complexities associated with multi-device tasks. It also allows for the development of geometry-specific solutions. The NOTSOFAR-1 Challenge aims to advance research in the field of distant conversational speech recognition, providing key resources to unlock the potential of data-driven methods, which we believe are currently constrained by the absence of comprehensive high-quality training and benchmarking datasets.


title: On gravity as a medium property in Maxwell equations

abstract: The effect of gravity in Maxwell's equations is often treated as a medium property. The commonly used formulation is based on managing Maxwell's equations in exactly the same form as in Minkowski spacetime and expressing the effect of gravity as a set of constitutive relations. We show that such a set of Maxwell's equations is, in fact, a combination of the electric and magnetic fields defined in two different non-covariant ways, both of which fail to identify the associated observer's four-vectors. The suggested constitutive relations are also ad hoc and unjustified. To an observer with a proper four-vector, the effect of gravity can be arranged as effective polarizations and magnetizations appearing in both the homogeneous and inhomogeneous parts. Modifying the homogeneous part by gravity is inevitable to any observer, and the result cannot be interpreted as the medium property. For optical properties one should directly handle Maxwell's equations in curved spacetime.


title: On the Effect of Data-Augmentation on Local Embedding Properties in the Contrastive Learning of Music Audio Representations

abstract: Audio embeddings are crucial tools in understanding large catalogs of music. Typically embeddings are evaluated on the basis of the performance they provide in a wide range of downstream tasks, however few studies have investigated the local properties of the embedding spaces themselves which are important in nearest neighbor algorithms, commonly used in music search and recommendation. In this work we show that when learning audio representations on music datasets via contrastive learning, musical properties that are typically homogeneous within a track (e.g., key and tempo) are reflected in the locality of neighborhoods in the resulting embedding space. By applying appropriate data augmentation strategies, localisation of such properties can not only be reduced but the localisation of other attributes is increased. For example, locality of features such as pitch and tempo that are less relevant to non-expert listeners, may be mitigated while improving the locality of more salient features such as genre and mood, achieving state-of-the-art performance in nearest neighbor retrieval accuracy. Similarly, we show that the optimal selection of data augmentation strategies for contrastive learning of music audio embeddings is dependent on the downstream task, highlighting this as an important embedding design decision.


title: Characterizing TCP's Performance for Low-Priority Flows Inside a Cloud

abstract: Many cloud systems utilize low-priority flows to achieve various performance objectives (e.g., low latency, high utilization), relying on TCP as their preferred transport protocol. However, the suitability of TCP for such low-priority flows is relatively unexplored. Specifically, how prioritization-induced delays in packet transmission can cause spurious timeouts and low utilization. In this paper, we conduct an empirical study to investigate the performance of TCP for low-priority flows under a wide range of realistic scenarios: use-cases (with accompanying workloads) where the performance of low-priority flows is crucial to the functioning of the overall system as well as various network loads and other network parameters. Our findings yield two key insights: 1) for several popular use-cases (e.g., network scheduling), TCP's performance for low-priority flows is within 2x of a near-optimal scheme, 2) for emerging workloads that exhibit an on-off behavior in the high priority queue (e.g., distributed ML model training), TCP's performance for low-priority flows is poor. Finally, we discuss and conduct preliminary evaluation to show that two simple strategies -- weighted fair queuing (WFQ) and cross-queue congestion notification -- can substantially improve TCP's performance for low-priority flows.


title: Tempo estimation as fully self-supervised binary classification

abstract: This paper addresses the problem of global tempo estimation in musical audio. Given that annotating tempo is time-consuming and requires certain musical expertise, few publicly available data sources exist to train machine learning models for this task. Towards alleviating this issue, we propose a fully self-supervised approach that does not rely on any human labeled data. Our method builds on the fact that generic (music) audio embeddings already encode a variety of properties, including information about tempo, making them easily adaptable for downstream tasks. While recent work in self-supervised tempo estimation aimed to learn a tempo specific representation that was subsequently used to train a supervised classifier, we reformulate the task into the binary classification problem of predicting whether a target track has the same or a different tempo compared to a reference. While the former still requires labeled training data for the final classification model, our approach uses arbitrary unlabeled music data in combination with time-stretching for model training as well as a small set of synthetically created reference samples for predicting the final tempo. Evaluation of our approach in comparison with the state-of-the-art reveals highly competitive performance when the constraint of finding the precise tempo octave is relaxed.


title: Spurious Default Probability Projections in Credit Risk Stress Testing Models

abstract: Credit risk stress testing has become an important risk management device which is used both by banks internally and by regulators. Stress testing is complex because it essentially means projecting a bank's full balance sheet conditional on a macroeconomic scenario over multiple years. Part of the complexity stems from using a wide range of model parameters for, e.g., rating transition, write-off rules, prepayment, or origination of new loans. A typical parameterization of a credit risk stress test model specifies parameters linked to an average economic, the through-the-cycle, state. These parameters are transformed to a stressed state by utilizing a macroeconomic model. It will be shown that the model parameterization implies a unique through-the-cycle portfolio which is unrelated to a bank's current portfolio. Independent of the stress imposed to the model, the current portfolio will have a tendency to propagate towards the through-the-cycle portfolio. This could create unwanted spurious effects on projected portfolio default rates especially when a stress test model's parameterization is inconsistent with a bank's current portfolio.


title: MADA: Meta-Adaptive Optimizers through hyper-gradient Descent

abstract: Following the introduction of Adam, several novel adaptive optimizers for deep learning have been proposed. These optimizers typically excel in some tasks but may not outperform Adam uniformly across all tasks. In this work, we introduce Meta-Adaptive Optimizers (MADA), a unified optimizer framework that can generalize several known optimizers and dynamically learn the most suitable one during training. The key idea in MADA is to parameterize the space of optimizers and dynamically search through it using hyper-gradient descent during training. We empirically compare MADA to other popular optimizers on vision and language tasks, and find that MADA consistently outperforms Adam and other popular optimizers, and is robust against sub-optimally tuned hyper-parameters. MADA achieves a greater validation performance improvement over Adam compared to other popular optimizers during GPT-2 training and fine-tuning. We also propose AVGrad, a modification of AMSGrad that replaces the maximum operator with averaging, which is more suitable for hyper-gradient optimization. Finally, we provide a convergence analysis to show that parameterized interpolations of optimizers can improve their error bounds (up to constants), hinting at an advantage for meta-optimizers.


title: Extending the aircraft flight envelope by mitigating transonic airfoil buffet

abstract: In the age of globalization, commercial aviation plays a central role in maintaining our international connectivity by providing fast air transport services for passengers and freight. However, the upper limit of the aircraft flight envelope, i.e., its operational limit in the high-speed regime, is usually fixed by the occurrence of an aerodynamic phenomenon called transonic airfoil buffet. It refers to shock wave oscillations occurring on the aircraft wings, which induce unsteady aerodynamic loads acting on the wing structure. Since these loads can cause severe structural damage endangering flight safety, the aviation industry is highly interested in suppressing transonic airfoil buffet to extend the flight envelope to higher aircraft speeds. In this contribution, we demonstrate experimentally that the application of porous trailing edges substantially attenuates the buffet phenomenon. Since porous trailing edges have the additional benefit of reducing acoustic aircraft emissions, our findings could pave the way for faster air transport with reduced noise emissions.


title: cedar: Composable and Optimized Machine Learning Input Data Pipelines

abstract: The input data pipeline is an essential component of each machine learning (ML) training job. It is responsible for reading massive amounts of training data, processing batches of samples using complex transformations, and loading them onto training nodes at low latency and high throughput. Performant input data systems are becoming increasingly critical, driven by skyrocketing data volumes and training throughput demands. Unfortunately, current input data systems cannot fully leverage key performance optimizations, resulting in hugely inefficient infrastructures that require significant resources -- or worse -- underutilize expensive accelerators. To address these demands, we present cedar, a programming model and framework that allows users to easily build, optimize, and execute input data pipelines. cedar presents an easy-to-use programming interface, allowing users to define input data pipelines using composable operators that support arbitrary ML frameworks and libraries. Meanwhile, cedar transparently applies a complex and extensible set of optimization techniques (e.g., offloading, caching, prefetching, fusion, and reordering). It then orchestrates processing across a customizable set of local and distributed compute resources in order to maximize processing performance and efficiency, all without user input. On average across six diverse input data pipelines, cedar achieves a 2.49x, 1.87x, 2.18x, and 2.74x higher performance compared to tf.data, tf.data service, Ray Data, and PyTorch's DataLoader, respectively.


title: Real-Time Control and Monitoring of Photovoltaic Arrays Using RTDS and BeagleBoard Technology

abstract: Increasing integration of alternate electricity generation due to declining fossil fuels is becoming an essential option for future generations. As photovoltaic technology brings forth enormous benefits to the alternate solution for future power grid systems, this paper presents a comprehensive real-time system designed to model, control, and monitor a PV array subjected to dynamic loads using the Real-Time Digital Simulator (RTDS) environment. Integration with the Generic Transducer Network (GTNET)- Socket(SKT) module allows for the simulation of various environmental conditions, such as changes in insolation and temperature, and their direct impact on the PV array's performance. Utilizing BeagleBoard technology, the system demonstrates the capability to modify these conditions through real-time data input, subsequently observing the effects on current and voltage output curves. The real-time simulation results are visualized as a SCADA system within the Real-time Simulation for Automated Controller Design (RSCAD) runtime environment, providing insights into the effective management of solar power systems.


title: CFASL: Composite Factor-Aligned Symmetry Learning for Disentanglement in Variational AutoEncoder

abstract: Symmetries of input and latent vectors have provided valuable insights for disentanglement learning in VAEs.However, only a few works were proposed as an unsupervised method, and even these works require known factor information in training data. We propose a novel method, Composite Factor-Aligned Symmetry Learning (CFASL), which is integrated into VAEs for learning symmetry-based disentanglement in unsupervised learning without any knowledge of the dataset factor information.CFASL incorporates three novel features for learning symmetry-based disentanglement: 1) Injecting inductive bias to align latent vector dimensions to factor-aligned symmetries within an explicit learnable symmetry codebook 2) Learning a composite symmetry to express unknown factors change between two random samples by learning factor-aligned symmetries within the codebook 3) Inducing group equivariant encoder and decoder in training VAEs with the two conditions. In addition, we propose an extended evaluation metric for multi-factor changes in comparison to disentanglement evaluation in VAEs. In quantitative and in-depth qualitative analysis, CFASL demonstrates a significant improvement of disentanglement in single-factor change, and multi-factor change conditions compared to state-of-the-art methods.


title: Bridging State and History Representations: Understanding Self-Predictive RL

abstract: Representations are at the core of all deep reinforcement learning (RL) methods for both Markov decision processes (MDPs) and partially observable Markov decision processes (POMDPs). Many representation learning methods and theoretical frameworks have been developed to understand what constitutes an effective representation. However, the relationships between these methods and the shared properties among them remain unclear. In this paper, we show that many of these seemingly distinct methods and frameworks for state and history abstractions are, in fact, based on a common idea of self-predictive abstraction. Furthermore, we provide theoretical insights into the widely adopted objectives and optimization, such as the stop-gradient technique, in learning self-predictive representations. These findings together yield a minimalist algorithm to learn self-predictive representations for states and histories. We validate our theories by applying our algorithm to standard MDPs, MDPs with distractors, and POMDPs with sparse rewards. These findings culminate in a set of preliminary guidelines for RL practitioners.


title: Landscape of Generative AI in Global News: Topics, Sentiments, and Spatiotemporal Analysis

abstract: Generative AI has exhibited considerable potential to transform various industries and public life. The role of news media coverage of generative AI is pivotal in shaping public perceptions and judgments about this significant technological innovation. This paper provides in-depth analysis and rich insights into the temporal and spatial distribution of topics, sentiment, and substantive themes within global news coverage focusing on the latest emerging technology --generative AI. We collected a comprehensive dataset of news articles (January 2018 to November 2023, N = 24,827). For topic modeling, we employed the BERTopic technique and combined it with qualitative coding to identify semantic themes. Subsequently, sentiment analysis was conducted using the RoBERTa-base model. Analysis of temporal patterns in the data reveals notable variability in coverage across key topics--business, corporate technological development, regulation and security, and education--with spikes in articles coinciding with major AI developments and policy discussions. Sentiment analysis shows a predominantly neutral to positive media stance, with the business-related articles exhibiting more positive sentiment, while regulation and security articles receive a reserved, neutral to negative sentiment. Our study offers a valuable framework to investigate global news discourse and evaluate news attitudes and themes related to emerging technologies.


title: Atmospheric Science Questions for a Uranian Probe

abstract: The Ice Giants represent a unique and relatively poorly characterized class of planets that have been largely unexplored since the brief Voyager 2 flyby in the late 1980's. Uranus is particularly enigmatic, due to its extreme axial tilt, offset magnetic field, apparent low heat budget, mysteriously cool stratosphere and warm thermosphere, as well as a lack of well-defined, long-lived storm systems and distinct atmospheric features. All these characteristics make Uranus a scientifically intriguing target, particularly for missions able to complete in situ measurements. The 2023-2032 Decadal Strategy for Planetary Science and Astrobiology prioritized a flagship orbiter and probe to explore Uranus with the intent to "...transform our knowledge of Ice Giants in general and the Uranian system in particular" (National Academies of Sciences and Medicine, 2022). In support of this recommendation, we present community-supported science questions, key measurements, and a suggested instrument suite that focuses on the exploration and characterization of the Uranian atmosphere by an in situ probe. The scope of these science questions encompasses the origin, evolution, and current processes that shape the Uranian atmosphere, and in turn the Uranian system overall. Addressing these questions will inform vital new insights about Uranus, Ice Giants and Gas Giants in general, the large population of Neptune-sized exoplanets, and the Solar System as a whole.


title: HasTEE+ : Confidential Cloud Computing and Analytics with Haskell

abstract: Confidential computing is a security paradigm that enables the protection of confidential code and data in a co-tenanted cloud deployment using specialized hardware isolation units called Trusted Execution Environments (TEEs). By integrating TEEs with a Remote Attestation protocol, confidential computing allows a third party to establish the integrity of an \textit{enclave} hosted within an untrusted cloud. However, TEE solutions, such as Intel SGX and ARM TrustZone, offer low-level C/C++-based toolchains that are susceptible to inherent memory safety vulnerabilities and lack language constructs to monitor explicit and implicit information-flow leaks. Moreover, the toolchains involve complex multi-project hierarchies and the deployment of hand-written attestation protocols for verifying \textit{enclave} integrity. We address the above with HasTEE+, a domain-specific language (DSL) embedded in Haskell that enables programming TEEs in a high-level language with strong type-safety. HasTEE+ assists in multi-tier cloud application development by (1) introducing a \textit{tierless} programming model for expressing distributed client-server interactions as a single program, (2) integrating a general remote-attestation architecture that removes the necessity to write application-specific cross-cutting attestation code, and (3) employing a dynamic information flow control mechanism to prevent explicit as well as implicit data leaks. We demonstrate the practicality of HasTEE+ through a case study on confidential data analytics, presenting a data-sharing pattern applicable to mutually distrustful participants and providing overall performance metrics.


title: Similar but Faster: Manipulation of Tempo in Music Audio Embeddings for Tempo Prediction and Search

abstract: Audio embeddings enable large scale comparisons of the similarity of audio files for applications such as search and recommendation. Due to the subjectivity of audio similarity, it can be desirable to design systems that answer not only whether audio is similar, but similar in what way (e.g., wrt. tempo, mood or genre). Previous works have proposed disentangled embedding spaces where subspaces representing specific, yet possibly correlated, attributes can be weighted to emphasize those attributes in downstream tasks. However, no research has been conducted into the independence of these subspaces, nor their manipulation, in order to retrieve tracks that are similar but different in a specific way. Here, we explore the manipulation of tempo in embedding spaces as a case-study towards this goal. We propose tempo translation functions that allow for efficient manipulation of tempo within a pre-existing embedding space whilst maintaining other properties such as genre. As this translation is specific to tempo it enables retrieval of tracks that are similar but have specifically different tempi. We show that such a function can be used as an efficient data augmentation strategy for both training of downstream tempo predictors, and improved nearest neighbor retrieval of properties largely independent of tempo.


title: Rethinking Impersonation and Dodging Attacks on Face Recognition Systems

abstract: Face Recognition (FR) systems can be easily deceived by adversarial examples that manipulate benign face images through imperceptible perturbations. Adversarial attacks on FR encompass two types: impersonation (targeted) attacks and dodging (untargeted) attacks. Previous methods often achieve a successful impersonation attack on FR; However, it does not necessarily guarantee a successful dodging attack on FR in the black-box setting. In this paper, our key insight is that the generation of adversarial examples should perform both impersonation and dodging attacks simultaneously. To this end, we propose a novel attack method termed as Adversarial Pruning (Adv-Pruning), to fine-tune existing adversarial examples to enhance their dodging capabilities while preserving their impersonation capabilities. Adv-Pruning consists of Priming, Pruning, and Restoration stages. Concretely, we propose Adversarial Priority Quantification to measure the region-wise priority of original adversarial perturbations, identifying and releasing those with minimal impact on absolute model output variances. Then, Biased Gradient Adaptation is presented to adapt the adversarial examples to traverse the decision boundaries of both the attacker and victim by adding perturbations favoring dodging attacks on the vacated regions, preserving the prioritized features of the original perturbations while boosting dodging performance. As a result, we can maintain the impersonation capabilities of original adversarial examples while effectively enhancing dodging capabilities. Comprehensive experiments demonstrate the superiority of our method compared with state-of-the-art adversarial attacks.


title: KMT-2023-BLG-0416, KMT-2023-BLG-1454, KMT-2023-BLG-1642: Microlensing planets identified from partially covered signals

abstract: We investigate the 2023 season data from high-cadence microlensing surveys with the aim of detecting partially covered short-term signals and revealing their underlying astrophysical origins. Through this analysis, we ascertain that the signals observed in the lensing events KMT-2023-BLG-0416, KMT-2023-BLG-1454, and KMT-2023-BLG-1642 are of planetary origin. Considering the potential degeneracy caused by the partial coverage of signals, we thoroughly investigate the lensing-parameter plane. In the case of KMT-2023-BLG-0416, we have identified two solution sets, one with a planet-to-host mass ratio of $q\sim 10^{-2}$ and the other with $q\sim 6\times 10^{-5}$, within each of which there are two local solutions emerging due to the inner-outer degeneracy. For KMT-2023-BLG-1454, we discern four local solutions featuring mass ratios of $q\sim (1.7-4.3)\times 10^{-3}$. When it comes to KMT-2023-BLG-1642, we identified two locals with $q\sim (6-10)\times 10^{-3}$ resulting from the inner-outer degeneracy. We estimate the physical lens parameters by conducting Bayesian analyses based on the event time scale and Einstein radius. For KMT-2023-BLG-0416L, the host mass is $\sim 0.6~M_\odot$, and the planet mass is $\sim (6.1-6.7)~M_{\rm J}$ according to one set of solutions and $\sim 0.04~M_{\rm J}$ according to the other set of solutions. KMT-2023-BLG-1454Lb has a mass roughly half that of Jupiter, while KMT-2023-BLG-1646Lb has a mass in the range of between 1.1 to 1.3 times that of Jupiter, classifying them both as giant planets orbiting mid M-dwarf host stars with masses ranging from 0.13 to 0.17 solar masses.


title: The intrinsic metric of constant mean curvature surfaces and minimal hypersurfaces with free boundary

abstract: Ricci-Curbastro established necessary and sufficient conditions for a Riemannian metric on a surface to be the first fundamental form of a minimal immersion of that surface into the Euclidean space. We revisit certain developments arising from his theorem, and propose new versions of these results in the context of the theory of constant mean curvature surfaces in three-dimensional space forms that meet umbilical surfaces orthogonally along their boundary components. Higher dimensional generalisations, inspired by a theorem of do Carmo and Dajczer, are discussed as well.


title: Unveiling Galaxy Morphology through an Unsupervised-Supervised Hybrid Approach

abstract: Galaxy morphology offers significant insights into the evolutionary pathways and underlying physics of galaxies. As astronomical data grows with surveys such as Euclid and Vera C. Rubin , there is a need for tools to classify and analyze the vast numbers of galaxies that will be observed. In this work, we introduce a novel classification technique blending unsupervised clustering based on morphological metrics with the scalability of supervised Convolutional Neural Networks. We delve into a comparative analysis between the well-known CAS (Concentration, Asymmetry, and Smoothness) metrics and our newly proposed EGG (Entropy, Gini, and Gradient Pattern Analysis). Our choice of the EGG system stems from its separation-oriented metrics, maximizing morphological class contrast. We leverage relationships between metrics and morphological classes, leading to an internal agreement between unsupervised clustering and supervised classification. Applying our methodology to the Sloan Digital Sky Survey data, we obtain 95% of Overall Accuracy of purely unsupervised classification and when we replicate T-Type and visually classified galaxy catalogs with accuracy of 88% and 89% respectively, illustrating the method's practicality. Furthermore, the application to Hubble Space Telescope data heralds the potential for unsupervised exploration of a higher redshift range. A notable achievement is our 95% accuracy in unsupervised classification, a result that rivals when juxtaposed with Traditional Machine Learning and closely trails when compared to Deep Learning benchmarks.