title: Natural Disaster Analysis using Satellite Imagery and Social-Media Data for Emergency Response Situations

abstract: Disaster Management is one of the most promising research areas because of its significant economic, environmental and social repercussions. This research focuses on analyzing different types of data (pre and post satellite images and twitter data) related to disaster management for in-depth analysis of location-wise emergency requirements. This research has been divided into two stages, namely, satellite image analysis and twitter data analysis followed by integration using location. The first stage involves pre and post disaster satellite image analysis of the location using multi-class land cover segmentation technique based on U-Net architecture. The second stage focuses on mapping the region with essential information about the disaster situation and immediate requirements for relief operations. The severely affected regions are demarcated and twitter data is extracted using keywords respective to that location. The extraction of situational information from a large corpus of raw tweets adopts Content Word based Tweet Summarization (COWTS) technique. An integration of these modules using real-time location-based mapping and frequency analysis technique gathers multi-dimensional information in the advent of disaster occurrence such as the Kerala and Mississippi floods that were analyzed and validated as test cases. The novelty of this research lies in the application of segmented satellite images for disaster relief using highlighted land cover changes and integration of twitter data by mapping these region-specific filters for obtaining a complete overview of the disaster.


title: Hijacking Large Language Models via Adversarial In-Context Learning

abstract: In-context learning (ICL) has emerged as a powerful paradigm leveraging LLMs for specific downstream tasks by utilizing labeled examples as demonstrations (demos) in the precondition prompts. Despite its promising performance, ICL suffers from instability with the choice and arrangement of examples. Additionally, crafted adversarial attacks pose a notable threat to the robustness of ICL. However, existing attacks are either easy to detect, rely on external models, or lack specificity towards ICL. This work introduces a novel transferable attack against ICL to address these issues, aiming to hijack LLMs to generate the target response or jailbreak. Our hijacking attack leverages a gradient-based prompt search method to learn and append imperceptible adversarial suffixes to the in-context demos without directly contaminating the user queries. Comprehensive experimental results across different generation and jailbreaking tasks highlight the effectiveness of our hijacking attack, resulting in distracted attention towards adversarial tokens and consequently leading to unwanted target outputs. We also propose a defense strategy against hijacking attacks through the use of extra clean demos, which enhances the robustness of LLMs during ICL. Broadly, this work reveals the significant security vulnerabilities of LLMs and emphasizes the necessity for in-depth studies on their robustness.


title: Cluster semiclassical states of the nonlinear Schr\"odinger-Bopp-Podolsky system

abstract: Consider the following nonlinear Schr\"odinger-Bopp-Podolsky system in $\mathbb{R}^3$: $$ \begin{cases} -\varepsilon^2 \Delta u + (V + \phi) u = u |u|^{p-1}; \\ a^2 \Delta^2 \phi - \Delta \phi = 4 \pi u^2, \end{cases} $$ where $a, \varepsilon > 0$; $1 < p < 5$; $V \colon \mathbb{R}^3 \to ]0, \infty[$ and we want to solve for $u, \phi \colon \mathbb{R}^3 \to \mathbb{R}$. By means of Lyapunov-Schmidt reduction, we show that if $K \geq 2$, $z_0$ is a strict local minimum of $V$, $V$ is adequately flat in a neighborhood of $z_0$ and $\varepsilon$ is sufficiently small, then the system has a multipeak cluster solution with $K$ peaks placed at the vertices of a regular convex $K$-gon centered at $z_0$.


title: Metastability of the three-state Potts model with asymmetrical external field

abstract: In this paper, we explore the metastable behavior of the Glauber dynamics associated with the three-state Potts model with an asymmetrical external field at a low-temperature regime. The model exhibits three monochromatic configurations: a unique stable state and two metastable states with different stability levels. We investigate metastable transitions, which are transitions from each metastable state to the ground state, separately and verify that the two transitions exhibit different behaviors. For the metastable state with greater stability, we derive large deviation-type results for metastable transition time, both in terms of probability and expectation. On the other hand, a particularly intriguing phenomenon emerges when starting from the other metastable state: the process may fall into the deep valley of another metastable state with a low probability but remains trapped there for an exponentially long time. We identify specific conditions on the external field under which this rare event contributes to the mean hitting time. To this end, we conduct a detailed analysis of the energy landscape, revealing a sharp saddle configuration analogous to the Ising model.


title: Counting Sets with Surreals. Part I: Sets of Natural Numbers

abstract: How many odd numbers are there? How many even numbers? From Galileo to Cantor, the suggestion was that there are the same number of odd, even and natural numbers, because all three sets can be mapped in one-one fashion to each other. This jars with our intuition. Cardinality fails to discriminate between sets that are intuitively different in size. The class of \emph{surreal numbers} $\boldsymbol{\mathsf{No}}$ is the largest possible ordered field. In this work we define a function, the \emph{magnum}, mapping the power set of the natural numbers to a subclass of the surreals, the {surnatural numbers} $\boldsymbol{\mathsf{Nn}}$ (the non-negative omnific integers). Set magnums are found to be consistent with our intuition about relative set sizes. The magnum of a proper subset of a set is strictly less than the magnum of the set itself, in harmony with Euclid's axiom ``the whole is greater than the part''. Two approaches are taken to specify magnums. First, they are determined by following the genetic assignment of magnums in the way the surreal numbers themselves are defined. Second, the counting sequence, which is defined for every set of natural numbers, is extended using a Transfer Axiom, to evaluate it on the surnatural numbers. The two methods are shown to be consistent. Several theorems are proved, establishing that the family of sets with magnums form what we call a magnum space. Finally, these theorems are employed to evaluate the magnums of a number of subsets of $\mathbb{N}$.


title: Score-based generative models learn manifold-like structures with constrained mixing

abstract: How do score-based generative models (SBMs) learn the data distribution supported on a low-dimensional manifold? We investigate the score model of a trained SBM through its linear approximations and subspaces spanned by local feature vectors. During diffusion as the noise decreases, the local dimensionality increases and becomes more varied between different sample sequences. Importantly, we find that the learned vector field mixes samples by a non-conservative field within the manifold, although it denoises with normal projections as if there is an energy function in off-manifold directions. At each noise level, the subspace spanned by the local features overlap with an effective density function. These observations suggest that SBMs can flexibly mix samples with the learned score field while carefully maintaining a manifold-like structure of the data distribution.


title: Fluid-mediated impact of soft solids

abstract: A viscous, lubrication-like response can be triggered in a thin film of fluid squeezed between a rigid and flat surface and the tip of an incoming projectile. We develop a comprehensive theory for this viscous approach stage of fluid-mediated normal impact, applicable to soft impactors. Under the assumption of mediating fluid being incompressible, the impacting solid displays two limit regimes: one dominated by elasticity and the other by inertia. The transition between the two is predicted by a dimensionless parameter, which can be interpreted as the ratio between two time scales that are the time that it takes for the surface waves to warn the leading edge of the impactor of the forthcoming impact, and the characteristic duration of the final viscous phase of the approach. Additionally, we assess the role of solid compressibility and elucidate why nearly-incompressible solids feature (a) substancial "gliding" prior to contact at the transition between regimes, (b) the largest size of entrapped bubble between the deformed tip of the impactor and the flat surface, and (c) a sudden drop in entrapped bubble radius past the transition between regimes. Finally, we argue that the above time scale ratio (a dimensionless number) can govern the different dynamics reported experimentally for a fluid droplet as a function of its viscosity and surface tension.


title: Probing EFT models using top quark production in multilepton final states

abstract: Using data consisting of top quarks produced with additional final leptons collected by the CMS detector at a center-of-mass energy of $\sqrt{s}=$13 TeV from 2016 to 2018 (138 fb$^{-1}$), a search for beyond standard model (BSM) physics is presented. The BSM physics is probed in the context of Effective Field Theory (EFT) by parameterizing potential new physics effects in terms of 26 dimension-six EFT operators. The data are categorized based on lepton multiplicity, total lepton charge, jet multiplicities, and b-tagged jet multiplicities. To gain further sensitivity to potential new physics (NP) effects, events in each jet category are binned using kinematic differential distributions. A simultaneous fit to data is performed to put constraints on the 26 operators. The results are consistent with the standard model prediction.


title: Tetragonal modular quotients $X_0^+(N)$

abstract: In this paper we determine all quotient curves $X_0^+(N)$ whose $\mathbb{Q}$ or $\mathbb{C}$-gonality is equal to $4$. As a consequence, we find several new cases when the modular curve $X_0(N)$ has $\mathbb{Q}$-gonality equal to $8$.


title: Conformally Covariant Boundary Operators and Sharp Higher Order CR Sobolev Trace Inequalities on the Siegel Domain and Complex Ball

abstract: We first introduce an appropriate family of conformally covariant boundary operators associated to the Siegel domain ${\mathcal U}^{n+1}$ with the Heisenberg group $\mathbb{H}^{n}$ as its boundary and the complex ball $\mathbb{B}_{\mathbb{C}}^{n+1}$ with the complex sphere $\mathbb{S}^{2n+1}$ as its boundary. We provide the explicit formulas of these conformally covariant boundary operators. Second, we establish all higher order extension theorems of Caffarelli-Silvestre type for the Siegel domain and complex ball. Third, we prove all higher order CR Sobolev trace inequalities for the Siegel domain ${\mathcal U}^{n+1}$ and the complex ball $\mathbb{B}_{\mathbb{C}}^{n+1}$.In particular, we generalize the Sobolev trace inequalityfor $\gamma\in (0, 1)$ in the CR setting by Frank-Gonz\'alez-Monticelli-Tan to the case for all $\gamma\in (0, n+1)\backslash \mathbb{N}$. The family of higher order conformally covariant boundary operators we define are naturally intrinsic to the higher order Sobolev trace inequalities on both the Siegel domain ${\mathcal U}^{n+1}$ and complex ball $\mathbb{B}_{\mathbb{C}^{n+1}}$. Finally, we give an explicit solution to the scattering problem on the complex hyperbolic ball. More precisely, we obtain an integral representation and an expansion in terms of special functions for the solution to the scattering problem.


title: The distribution amplitude of the $\eta_c$ meson

abstract: We report on the first lattice determination of the pseudoscalar meson $\eta_c$ light-cone distribution amplitude, using a set of three CLS $N_f=2$ ensembles at a pion mass $m_{\pi} \sim 270~\text{MeV}$ and lattice spacings $a \sim 0.076~\text{fm}$, $0.066~\text{fm}$ and $0.049~\text{fm}$. Employing Short Distance Factorization, we extract the pseudo-DA on the lattice for Ioffe times $\nu \leq 4.5$, and the various lattice spacings allow us to take the continuum limit. We employ a basis of Jacobi polynomials to parametrize the distribution amplitude, which allows to express the matching to the pseudo distribution in closed form, and we observe a strong effect which we attribute to the heavy charm-quark mass.


title: VertDetect: Fully End-to-End 3D Vertebral Instance Segmentation Model

abstract: Vertebral detection and segmentation are critical steps for treatment planning in spine surgery and radiation therapy. Accurate identification and segmentation are complicated in imaging that does not include the full spine, in cases with variations in anatomy (T13 and/or L6 vertebrae), and in the presence of fracture or hardware. This paper proposes VertDetect, a fully automated end-to-end 3D vertebral instance segmentation Convolutional Neural Network (CNN) model to predict vertebral level labels and segmentations for all vertebrae present in a CT scan. The utilization of a shared CNN backbone provides the detection and segmentation branches of the network with feature maps containing both spinal and vertebral level information. A Graph Convolutional Network (GCN) layer is used to improve vertebral labelling by using the known structure of the spine. This model achieved a Dice Similarity Coefficient (DSC) of 0.883 (95% CI, 0.843-0.906) and 0.882 (95% CI, 0.835-0.909) in the VerSe 2019 and 0.868 (95\% CI, 0.834-0.890) and 0.869 (95\% CI, 0.832-0.891) in the VerSe 2020 public and hidden test sets, respectively. This model achieved state-of-the-art performance for an end-to-end architecture, whose design facilitates the extraction of features that can be subsequently used for downstream tasks.


title: Non-Hermitian topology and criticality in photonic arrays with engineered losses

abstract: Integrated photonic systems provide a flexible platform where artificial lattices can be engineered in a reconfigurable fashion. Here, we show that one-dimensional photonic arrays with engineered losses allow the realization of topological excitations stemming from non-Hermiticity and bulk mode criticality. We show that a generalized modulation of the local photonic losses allows the creation of topological modes both in the presence of periodicity and even in the quasiperiodic regime. We demonstrate that a localization transition of all the bulk photonic modes can be engineered in the presence of a quasiperiodic loss modulation, and we further demonstrate that such a transition can be created in the presence of both resonance frequency modulation and loss modulation. We finally address the robustness of this phenomenology to the presence of next to the nearest neighbor couplings and disorder in the emergence of criticality and topological modes. Our results put forward a strategy to engineer topology and criticality solely from engineered losses in a photonic system, establishing a potential platform to study the impact of nonlinearities in topological and critical photonic matter.


title: Emerging Majorana zero modes as a manifestation of edge-bulk incompatibility

abstract: Engineering experimentally accessible solid state platforms that facilitate the realization of Majorana zero modes (MZMs) has been a challenging task over recent years. Here we employ a complex edge consisting of both "downstream" and "upstream" chiral modes to design a MZM-supporting platform, and show that the latter does not necessitate the introduction of an external superconducting contact. Specifically we consider the edge of a $\nu=2/3$ fractional quantum Hall phase, where the downstream (upstream) mode is charged (neutral). We show that the boundary of an elongated quantum anti-dot ("quantum anti-wire") embedded in the $\nu =2/3$ phase can host MZMs in the neutral sector. The emergence of the MZMs is induced by gap-opening processes along the quantum anti-wire, which are incompatible with gap-opening processes in the bulk of the $\nu=2/3$ state. An experimental setup to identify neutral MZMs is proposed.


title: Scan statistics for the detection of anomalies in M-dependent random fields with applications to image data

abstract: Anomaly detection in random fields is an important problem in many applications including the detection of cancerous cells in medicine, obstacles in autonomous driving and cracks in the construction material of buildings. Such anomalies are often visible as areas with different expected values compared to the background noise. Scan statistics based on local means have the potential to detect such local anomalies by enhancing relevant features. We derive limit theorems for a general class of such statistics over M-dependent random fields of arbitrary but fixed dimension. By allowing for a variety of combinations and contrasts of sample means over differently-shaped local windows, this yields a flexible class of scan statistics that can be tailored to the particular application of interest. The latter is demonstrated for crack detection in 2D-images of different types of concrete. Together with a simulation study this indicates the potential of the proposed methodology for the detection of anomalies in a variety of situations.


title: Self-supervised learning of multi-omics embeddings in the low-label, high-data regime

abstract: Contrastive, self-supervised learning (SSL) is used to train a model that predicts cancer type from miRNA, mRNA or RPPA expression data. This model, a pretrained FT-Transformer, is shown to outperform XGBoost and CatBoost, standard benchmarks for tabular data, when labelled samples are scarce but the number of unlabelled samples is high. This is despite the fact that the datasets we use have $\mathcal{O}(10^{1})$ classes and $\mathcal{O}(10^{2})-\mathcal{O}(10^{4})$ features. After demonstrating the efficacy of our chosen method of self-supervised pretraining, we investigate SSL for multi-modal models. A late-fusion model is proposed, where each omics is passed through its own sub-network, the outputs of which are averaged and passed to the pretraining or downstream objective function. Multi-modal pretraining is shown to improve predictions from a single omics, and we argue that this is useful for datasets with many unlabelled multi-modal samples, but few labelled unimodal samples. Additionally, we show that pretraining each omics-specific module individually is highly effective. This enables the application of the proposed model in a variety of contexts where a large amount of unlabelled data is available from each omics, but only a few labelled samples.


title: Dynamic modeling of wing-assisted inclined running with a morphing multi-modal robot

abstract: Robot designs can take many inspirations from nature, where there are many examples of highly resilient and fault-tolerant locomotion strategies to navigate complex terrains by using multi-functional appendages. For example, Chukar and Hoatzin birds can repurpose their wings for quadrupedal walking and wing-assisted incline running (WAIR) to climb steep surfaces. We took inspiration from nature and designed a morphing robot with multi-functional thruster-wheel appendages that allows the robot to change its mode of locomotion by transforming into a rover, quad-rotor, mobile inverted pendulum (MIP), and other modes. In this work, we derive a dynamic model and formulate a nonlinear model predictive controller to perform WAIR to showcase the unique capabilities of our robot. We implemented the model and controller in a numerical simulation and experiments to show their feasibility and the capabilities of our transforming multi-modal robot.


title: On Sobolev inequalities with Choquet integrals

abstract: We consider integrals in the sense of Choquet with respect to the $\delta$-dimensional Hausdorff content for continuously differentiable functions defined on open, connected sets in the Euclidean $n$-space, $n\geq 2$, $0<\delta\le n$. In particular, for these functions we prove Sobolev inequalities in the limiting case $p=\delta /n$ and in the case $p>\delta$, here $p$ is the integrability exponent of the absolute value of the gradient of any given function. The results complement previously known Poincar\'e-Sobolev and Morrey inequalities.


title: SurgPLAN: Surgical Phase Localization Network for Phase Recognition

abstract: Surgical phase recognition is crucial to providing surgery understanding in smart operating rooms. Despite great progress in automatic surgical phase recognition, most existing methods are still restricted by two problems. First, these methods cannot capture discriminative visual features for each frame and motion information with simple 2D networks. Second, the frame-by-frame recognition paradigm degrades the performance due to unstable predictions within each phase, termed as phase shaking. To address these two challenges, we propose a Surgical Phase LocAlization Network, named SurgPLAN, to facilitate a more accurate and stable surgical phase recognition with the principle of temporal detection. Specifically, we first devise a Pyramid SlowFast (PSF) architecture to serve as the visual backbone to capture multi-scale spatial and temporal features by two branches with different frame sampling rates. Moreover, we propose a Temporal Phase Localization (TPL) module to generate the phase prediction based on temporal region proposals, which ensures accurate and consistent predictions within each surgical phase. Extensive experiments confirm the significant advantages of our SurgPLAN over frame-by-frame approaches in terms of both accuracy and stability.


title: The divergence-free velocity formulation of the consistent Navier-Stokes Cahn-Hilliard model with non-matching densities, divergence-conforming discretization, and benchmarks

abstract: The prototypical diffuse-interface model that describes multi-component flows is the Navier-Stokes Cahn-Hilliard model (NSCH). Over the last decades many NSCH models have appeared that claim to describe the same physical phenomena, yet are distinct from one another. In a recent article [M.F.P. ten Eikelder, K.G. van der Zee, I. Akkerman, and D. Schillinger, Math. Mod. Meth. Appl. S. 33, pp 175-221, 2023.] we have established a unified framework of virtually all NSCH models. The framework reveals that there is only a single consistent NSCH model that naturally emanates from the underlying mixture theory. In the current article we present, verify and validate this novel consistent NSCH model by means of numerical simulation. To this purpose we discretize a divergence-free velocity formulation of the NSCH model using divergence-conforming isogeometric spaces. We compare computations of our consistent model to results of existing models from literature. The predictive capability of the numerical methodology is demonstrated via three-dimensional computations of a rising bubble and the contraction of a liquid filament that compare well with experimental data.


title: Scalable Sequential Optimization Under Observability Don't Cares

abstract: Sequential logic synthesis can provide better Power-Performance-Area (PPA) than combinational logic synthesis since it explores a larger solution space. As the gate cost in advanced technologies keeps rising, sequential logic synthesis provides a powerful alternative that is gaining momentum in the EDA community. In this work, we present a new scalable algorithm for don't-care-based sequential logic synthesis. Our new approach is based on sequential k-step induction and can apply both redundancy removal and resubstitution transformations under Sequential Observability Don't Cares (SODCs). Using SODC-based optimizations with induction is a challenging problem due to dependencies and alignment of don't cares among the base case and the inductive case. We propose a new approach utilizing the full power of SODCs without limiting the solution space. Our algorithm is implemented as part of an industrial tool and achieves 6.9% average area improvement after technology mapping when compared to state-of-the-art sequential synthesis methods. Moreover, all the new sequential optimizations can be verified using state-of-the-art sequential verification tools.


title: Gradient Flow in Morse and Analytic Settings

abstract: This report is actually the in-class project of MATH489 FA2022, Dynamics and Differential Equations in University of Illinois Urbana-Champaign. The report is mainly about gradient flow of a Morse-type functions (Morse functions, Morse--Bott functions, etc.) and analytic functions. Several small results that I develop during the reading are included as well. They have a focus on the convergence, limiting rate and direction of gradient flow in either setting.


title: Examining bias perpetuation in academic search engines: an algorithm audit of Google and Semantic Scholar

abstract: Researchers rely on academic web search engines to find scientific sources, but search engine mechanisms may selectively present content that aligns with biases embedded in the queries. This study examines whether confirmation-biased queries prompted into Google Scholar and Semantic Scholar will yield skewed results. Six queries (topics across health and technology domains such as "vaccines" or "internet use") were analyzed for disparities in search results. We confirm that biased queries (targeting "benefits" or "risks") affect search results in line with the bias, with technology-related queries displaying more significant disparities. Overall, Semantic Scholar exhibited fewer disparities than Google Scholar. Topics rated as more polarizing did not consistently show more skewed results. Academic search results that perpetuate confirmation bias have strong implications for both researchers and citizens searching for evidence. More research is needed to explore how scientific inquiry and academic search engines interact.


title: Fermi surface symmetric mass generation: a quantum Monte-Carlo study

abstract: The symmetric mass generation (SMG) phase is an insulator in which a single-particle gap is intrinsically opened by the interaction, without involving symmetry spontaneously breaking or topological order. Here, we perform unbiased quantum Monte-Carlo simulation and systematically investigate a bilayer fermionic model hosting Fermi surface SMG in the strongly interacting regime. With increasing interaction strength, the model undergoes a quantum phase transition from an exciton insulator to an SMG phase, belonging to the (2+1)-dimensional O(4) universality class. We access the spectral properties of the SMG phase, resembling a Mott insulating phase with relatively flat dispersion and pronounced spectral broadening. The dispersion of Green's function zeros is extracted from spectral function, featuring a surface at zero frequency precisely located at the original non-interacting Fermi surface, which constitutes a hallmark of the Fermi surface SMG phase. The bilayer model we study is potentially relevant to the newly discovered high-$T_c$ superconductor $\rm{La}_3 \rm{Ni}_2 \rm{O}_7$. Our results in SMG phase qualitatively capture the salient features of spectral function unveiled in recent ARPES experiments, shedding new insight on the underlying physics of $\rm{La}_3 \rm{Ni}_2 \rm{O}_7$.


title: An R Package for Modelling Excess Lifetimes

abstract: The longevity R package provides provide maximum likelihood estimation routine for modelling of survival data that are subject to non-informative censoring and truncation mechanisms. It includes a selection of 12 parametric models of varying complexity, with a focus on tools for extreme value analysis and more specifically univariate peaks over threshold modelling. The package comes with visual diagnostics that account for the sampling scheme for lifetime data, utilities for univariate threshold selection, non-parametric maximum likelihood estimation, goodness-of-fit diagnostics and model comparisons tools. The different methods therein are illustrated using aggregated tabular data of longevity from Japan, and truncated lifelengths Dutch records.


title: Inference in Auctions with Many Bidders Using Transaction Prices

abstract: This paper considers inference in first-price and second-price sealed-bid auctions in empirical settings where we observe auctions with a large number of bidders. Relevant applications include online auctions, treasury auctions, spectrum auctions, art auctions, and IPO auctions, among others. Given the abundance of bidders in each auction, we propose an asymptotic framework in which the number of bidders diverges while the number of auctions remains fixed. This framework allows us to perform asymptotically exact inference on key model features using only transaction price data. Specifically, we examine inference on the expected utility of the auction winner, the expected revenue of the seller, and the tail properties of the valuation distribution. Simulations confirm the accuracy of our inference methods in finite samples. Finally, we also apply them to Hong Kong car license auction data.


title: Stationary measures on the circle from hyperbolic surfaces with cusps cannot be straightened by quasi-symmetries

abstract: Stationary measures on the circle that arise from a large class of random walks on the fundamental group of a finite-area complete hyperbolic surface with cusps are singular with respect to the Lebesgue measure. In particular, it is sufficient for singularity that a stationary measure satisfies an exponential decay for cusp excursions with excursions being measured in the path metric on horocycles bounding cusps. In this note, we settle a conjecture of McMullen by proving that the singularity of stationary measures satisfying such exponential decay is quasi-symmetrically stable, that is under push-forward by any quasi-symmetry of the circle the measure remains singular.


title: From Pretext to Purpose: Batch-Adaptive Self-Supervised Learning

abstract: In recent years, self-supervised contrastive learning has emerged as a distinguished paradigm in the artificial intelligence landscape. It facilitates unsupervised feature learning through contrastive delineations at the instance level. However, crafting an effective self-supervised paradigm remains a pivotal challenge within this field. This paper delves into two crucial factors impacting self-supervised contrastive learning-bach size and pretext tasks, and from a data processing standpoint, proposes an adaptive technique of batch fusion. The proposed method, via dimensionality reduction and reconstruction of batch data, enables formerly isolated individual data to partake in intra-batch communication through the Embedding Layer. Moreover, it adaptively amplifies the self-supervised feature encoding capability as the training progresses. We conducted a linear classification test of this method based on the classic contrastive learning framework on ImageNet-1k. The empirical findings illustrate that our approach achieves state-of-the-art performance under equitable comparisons. Benefiting from its "plug-and-play" characteristics, we further explored other contrastive learning methods. On the ImageNet-100, compared to the original performance, the top1 has seen a maximum increase of 1.25%. We suggest that the proposed method may contribute to the advancement of data-driven self-supervised learning research, bringing a fresh perspective to this community.


title: Version Age of Information Minimization over Fading Broadcast Channels

abstract: We consider a base station (BS) that receives version update packets from multiple exogenous streams and broadcasts them to corresponding users over a fading broadcast channel using a non-orthogonal multiple access (NOMA) scheme. Sequentially indexed packets arrive randomly in each stream, with new packets making the previous ones obsolete. In this case, we consider the version age of information (VAoI) at a user, defined as the difference in the version index of the latest available packet at the BS and that at the user, as a metric of freshness of information. Our objective is to minimize a weighted sum of average VAoI across users subject to an average power constraint at the BS by optimally scheduling the update packets from various streams for transmission and transmitting them with sufficient powers to guarantee their successful delivery. We consider the class of channel-only stationary randomized policies (CO-SRP), which rely solely on channel power gains for transmission decisions. We solve the resulting non-convex problem optimally and show that the VAoI achieved under the optimal CO-SRP is within twice the optimal achievable VAoI. We also obtained a Constrained Markov Decision Process (CMDP)-based solution and its structural properties. Numerical simulations show a close performance between the optimal CO-SRP and CMDP-based solutions. Additionally, a time division multiple access (TDMA) scheme, which allows transmission to at most one user at a time, matches NOMA's performance under tight average power constraints. However, NOMA outperforms TDMA as the constraint is relaxed.


title: Revolutionizing Customer Interactions: Insights and Challenges in Deploying ChatGPT and Generative Chatbots for FAQs

abstract: In the rapidly evolving domain of artificial intelligence, chatbots have emerged as a potent tool for various applications ranging from e-commerce to healthcare. This research delves into the intricacies of chatbot technology, from its foundational concepts to advanced generative models like ChatGPT. We present a comprehensive taxonomy of existing chatbot approaches, distinguishing between rule-based, retrieval-based, generative, and hybrid models. A specific emphasis is placed on ChatGPT, elucidating its merits for frequently asked questions (FAQs)-based chatbots, coupled with an exploration of associated Natural Language Processing (NLP) techniques such as named entity recognition, intent classification, and sentiment analysis. The paper further delves into the customization and fine-tuning of ChatGPT, its integration with knowledge bases, and the consequent challenges and ethical considerations that arise. Through real-world applications in domains such as online shopping, healthcare, and education, we underscore the transformative potential of chatbots. However, we also spotlight open challenges and suggest future research directions, emphasizing the need for optimizing conversational flow, advancing dialogue mechanics, improving domain adaptability, and enhancing ethical considerations. The research culminates in a call for further exploration in ensuring transparent, ethical, and user-centric chatbot systems.


title: VLT/MUSE Characterisation of Dimorphos Ejecta from the DART Impact

abstract: We have observed the Didymos-Dimorphos binary system with the MUSE integral field unit spectrograph mounted at the Very Large Telescope (VLT) pre and post-DART impact, and captured the ensuing ejecta cone, debris cloud, and tails at sub-arcsecond resolutions. We targeted the Didymos system over 11 nights from 26 September to 25 October 2022, and utilized both narrow and wide-field observations with and without adaptive optics, respectively. We took advantage of the spectral-spatial coupled measurements and produced both white-light images and spectral maps of the dust reflectance. We identified and characterized numerous dust features, such as the ejecta cone, spirals, wings, clumps, and tails. We found that the base of the Sunward edge of the wings, from 03 to 19 October, consistent with maximum grain sizes on the order of 0.05-0.2 mm, and that the earliest detected clumps have the highest velocities on the order of 10 m/s. We also see that three clumps in narrow-field mode (8x8'') exhibit redder colors and slower speeds, around 0.09 m/s, than the surrounding ejecta, likely indicating that the clump is comprised of larger, slower grains. We measured the properties of the primary tail, and resolved and measured the properties of the secondary tail earlier than any other published study, with first retrieval on 03 October. Both tails exhibit similarities in curvature and relative flux, however, the secondary tail appears thinner, which may be caused by lower energy ejecta and possibly a low energy formation mechanism such as secondary impacts.


title: Gauging spacetime inversions in quantum gravity

abstract: Spacetime inversion symmetries such as parity and time reversal play a central role in physics, but they are usually treated as global symmetries. In quantum gravity there are no global symmetries, so any spacetime inversion symmetries must be gauge symmetries. In particular this includes $\mathcal{CRT}$ symmetry (in even dimensions usually combined with a rotation to become $\mathcal{CPT}$), which in quantum field theory is always a symmetry and seems likely to be a symmetry of quantum gravity as well. In this article we discuss what it means to gauge a spacetime inversion symmetry, and we explain some of the more unusual consequences of doing this. In particular we argue that the gauging of $\mathcal{CRT}$ is automatically implemented by the sum over topologies in the Euclidean gravity path integral, that in a closed universe the Hilbert space of quantum gravity must be a real vector space, and that in Lorentzian signature manifolds which are not time-orientable must be included as valid configurations of the theory. In particular we give an example of an asymptotically-AdS time-unorientable geometry which must be included to reproduce computable results in the dual CFT.


title: Unambiguity and Fewness for Nonuniform Families of Polynomial-Size Nondeterministic Finite Automata

abstract: Nonuniform families of polynomial-size finite automata, which are series of indexed finite automata having polynomially many inner states, are used in the past literature to solve nonuniform families of promise decision problems. Among such nonuniform families of finite automata, we focus our attention, in particular, on the variants of nondeterministic finite automata, which have at most "one" (unambiguous), "polynomially many" (few) accepting computation paths, or unambiguous/few computation paths leading to each fixed configuration. When such machines are limited to make only one-way head moves, we can prove with no unproven hardness assumptions that some of these variants are different in computational power from each other. As for two-way machines restricted to instances of polynomially-bounded length, families of two-way polynomial-size nondeterministic finite automata are equivalent in power to families of polynomial-size unambiguous finite automata.


title: Existence and dimensions of global attractors for a delayed reaction-diffusion equation on an unbounded domain

abstract: The purpose of this paper is to investigate the existence and Hausdorff dimension as well as fractal dimension of global attractors for a delayed reaction-diffusion equation on an unbounded domain. The noncompactness of the domain causes the Laplace operator has a continuous spectrum, the semigroup generated by the linear part and the Sobolev embeddings are no longer compact, making the problem more difficult compared with the equations on bounded domains. We first obtain the existence of an absorbing set for the infinite dimensional dynamical system generated by the equation by a priori estimate of the solutions. Then, we show the asymptotic compactness of the solution semiflow by an uniform a priori estimates for far-field values of solutions together with the Arzel\`a-Ascoli theorem, which facilitates us to show the existence of global attractors. By decomposing the solution into three parts and establishing a squeezing property of each part, we obtain the explicit upper estimation of both Hausdorff and fractal dimension of the global attractors, which only depend on the inner characteristic of the equation, while not related to the entropy number compared with the existing literature.


title: Concurrent Kink and Sausage Waves in A Crescent Shaped Structure Over A Limb Prominence

abstract: A Crescent shaped prominence Structure (CS), over the solar west limb is studied using EIS/HINODE and AIA/SDO. First, the time varying positions of the top and below borders of the CS, along with its central axis are derived. Time evolutions of the Doppler shifts, and Line width of Fe~{\scriptsize \rm XII} 195.119 line are studied over the CS borders. Transverse kink oscillations are observed both in the Solar-Y direction and in the Doppler shifts over the observers' LOS. One explanation could be the oscillatory direction of the main kink wave build an angle with the observers LOS. This angle is calculated to be equal to 27 degrees for the CS top border. The main kink amplitude velocity and periods are obtained to be 5.3 $\rm km/s$, and 33.4 minutes, respectively. The anti-correlation observed between the brightness and thickness of the CS (with -178.1$^\circ$) suggests the presence of sausage modes with periods of 20.8 minutes. Based on the AIA imaging, it is suggested that the occurred jets and their afterward dimming are responsible to trigger the sausage mode. The average electron densities of the CS over the time of the study is obtained to be log($\rm n_e$)=9.3$\rm [cm^{-3}]$. The Alfv\'en velocity, magnetic field, and energy flux of the observed fast kink mode over the CS are estimated to be 16.7 $\rm km/s$, 2.79 $\rm G$, 41.93 $\rm W/m^2$. Considering the magnetic flux conservation inside the CS, expanding the CS cross section, causes the magnetic field to decay with the rate of $\rm 4.95 \times 10^{-4} \, G/sec$.


title: Existence and Blow-up for Non-autonomous Scalar Conservation Laws With Viscosity

abstract: We consider a question posed in [GSZZ22], namely the blow-up of the PDE $$u_t + (b(t,x) u^{1+k})_x = u_{xx}$$ when $b$ is uniformly bounded, Lipschitz and $k = 2$. We give a complete answer to the behavior of solutions when $b$ belongs to the Lorentz spaces $b \in L^{p,\infty}$, $p \in (2,\infty]$, or $b_x \in L^{p,\infty}$, $p \in (1,\infty]$.


title: Charge Density Wave Ordering in NdNiO$_2$: Effects of Multiorbital Nonlocal Correlations

abstract: In this work, we investigate collective electronic fluctuations and, in particular, the possibility of the charge density wave ordering in an infinite-layer NdNiO$_2$. We perform advanced many-body calculations for the ab-initio three-orbital model by taking into account local correlation effects, non-local charge and magnetic fluctuations, and the electron-phonon coupling. We find that in the considered material, electronic correlations are strongly orbital- and momentum-dependent. Notably, the charge density wave and magnetic instabilities originate from distinct orbitals. In particular, we show that the correlation effects lead to the momentum-dependent hybridization between different orbitals, resulting in the splitting and shifting of the flat part of the Ni-$d_{z^2}$ band. This strong renormalization of the electronic spectral function drives the charge density wave instability that is related to the intraband Ni-$d_{z^2}$ correlations. Instead, the magnetic instability stems from the Ni-$d_{x^2-y^2}$ orbital, which remains half-filled through the redistribution of the electronic density between different bands even upon hole doping. Consequently, the strength of the magnetic fluctuations remains nearly unchanged for the considered doping levels. We argue that this renormalization is not inherent to the stoichiometric case but can be induced by hole doping.


title: A Framework for Modeling, Analyzing, and Decision-Making in Disease Spread Dynamics and Medicine/Vaccine Distribution

abstract: The challenges posed by epidemics and pandemics are immense, especially if the causes are novel. This article introduces a versatile open-source simulation framework designed to model intricate dynamics of infectious diseases across diverse population centres. Taking inspiration from historical precedents such as the Spanish flu and COVID-19, and geographical economic theories such as Central place theory, the simulation integrates agent-based modelling to depict the movement and interactions of individuals within different settlement hierarchies. Additionally, the framework provides a tool for decision-makers to assess and strategize optimal distribution plans for limited resources like vaccines or cures as well as to impose mobility restrictions.


title: Measurement of forward charged hadron flow harmonics in peripheral PbPb collisions at $\sqrt{s_{NN}}=5.02$ TeV with the LHCb detector

abstract: Flow harmonic coefficients, $v_n$, which are the key to studying the hydrodynamics of the quark-gluon plasma (QGP) created in heavy-ion collisions, have been measured in various collision systems and kinematic regions and using various particle species. The study of flow harmonics in a wide pseudorapidity range is particularly valuable to understand the temperature dependence of the shear viscosity to entropy density ratio of the QGP. This paper presents the first LHCb results of the second- and the third-order flow harmonic coefficients of charged hadrons as a function of transverse momentum in the forward region, corresponding to pseudorapidities between 2.0 and 4.9, using the data collected from PbPb collisions in 2018 at a center-of-mass energy of $5.02$ TeV. The coefficients measured using the two-particle angular correlation analysis method are smaller than the central-pseudorapidity measurements at ALICE and ATLAS from the same collision system but share similar features.


title: Antineutrino Opacity in Neutron Stars in the Models Constrained by Recent Terrestrial Experiments and Astrophysical Observations

abstract: In this paper, I investigate a neutral current (NC) antineutrinos scattering with neutron star (NS) matter constituents at zero temperature. The modeling of the standard matters in NS is constructed in the framework of both extended relativistic mean-field (E-RMF) and nonrelativistic Korea-IBS-Daegu-SKKU energy density functional (KIDS-EDF) models. In the E-RMF model, I use a new parameter of G3(M), which was constrained by the recent PREX II experiment measurement of neutron distribution of $^{208}\rm{Pb}$, while the KIDS-EDF models are constrained by terrestrial experiments, gravitational-wave signals, and astrophysical observations. Using both optimal and well-constrained matter models, I then calculate the antineutrino differential cross-section (ADCS) and antineutrino mean free path (AMFP) of the antineutrinos-NS matter constituents interaction using a linear response theory. One found that the AMFP for the KIDS0 and KIDSA models are smaller in comparison to the SLy4 model and the E-RMF model with the G3(M) parameter. The AMFP result of the SLy4 model is found almost similar prediction to that of the E-RMF model with the G3(M) parameter. Contributions of each nucleon to total AMFP are also presented for the G3(M) model.


title: Deficiency indices for singular magnetic Schr\"{o}dinger operators

abstract: We show that the deficiency indices of magnetic Schr\"odinger operators with several local singularities can be computed in terms of the deficiency indices of operators carrying just one singularity each. We discuss some applications to physically relevant operators.


title: Computing defining ideals of space spectral curves for algebro-geometric third order ODOs

abstract: Commuting pairs of ordinary differential operators (ODOs) have been related to plane algebraic curves since the work of Burchnall and Chaundy a century ago. We introduce now the concept of Burchnall-Chaundy (BC) ideal of a commuting pair, as the ideal of all constant coefficient bivariate polynomials satisfied by the pair. We prove this prime ideal to be equal to the radical of a differential elimination ideal and the defining ideal of a plane algebraic curve, the spectral curve of a commuting pair. The ODOs of this work have coefficients in an arbitrary differential field with field of constants algebraically closed and of characteristic zero. Motivated by the extension of the recently introduced Picard-Vessiot theory for spectral problems $L(y)=\lambda y$, where $\lambda$ is an algebraic parameter, we also define the BC ideal of an algebro-geometric third order operator $L$. This allows a constructive proof of a famous theorem by I. Schur, establishing an isomorphism between the centralizer of $L$ and the coordinate ring of a space algebraic curve, that we define as the spectral curve of $L$ and whose defining ideal is the BC ideal of $L$. We provide the first explicit example of a non-planar spectral curve. We compute a set of generators of the defining ideal of this curve by means of differential resultants and define a new coefficient field determined by the spectral curve, to effectively compute an intrinsic right factor of $L-\lambda$.


title: Xputer: Bridging Data Gaps with NMF, XGBoost, and a Streamlined GUI Experience

abstract: The rapid proliferation of data across diverse fields has accentuated the importance of accurate imputation for missing values. This task is crucial for ensuring data integrity and deriving meaningful insights. In response to this challenge, we present Xputer, a novel imputation tool that adeptly integrates Non-negative Matrix Factorization (NMF) with the predictive strengths of XGBoost. One of Xputer's standout features is its versatility: it supports zero imputation, enables hyperparameter optimization through Optuna, and allows users to define the number of iterations. For enhanced user experience and accessibility, we have equipped Xputer with an intuitive Graphical User Interface (GUI) ensuring ease of handling, even for those less familiar with computational tools. In performance benchmarks, Xputer not only rivals the computational speed of established tools such as IterativeImputer but also often outperforms them in terms of imputation accuracy. Furthermore, Xputer autonomously handles a diverse spectrum of data types, including categorical, continuous, and Boolean, eliminating the need for prior preprocessing. Given its blend of performance, flexibility, and user-friendly design, Xputer emerges as a state-of-the-art solution in the realm of data imputation.


title: Sol-gel transition by evaporation in porous media

abstract: Historical monuments, outdoor stone sculptures and artworks made of porous materials are exposed to chemical and physical degradation over time. Presently, the most promising route for consolidation of weakened porous materials is the injection of viscoelastic solutions of polymerizing compounds. Those compounds, after injection, undergo a sol-gel transition inside the porous media through evaporation of the solvent. Finding a suitable gelifying solution as a consolidant calls for understanding the drying kinetics of viscoelastic fluids in porous media. Here, we present a multiscale study of the drying kinetics of solutions during the sol-gel transition. We investigate the drying dynamics and subsequent water uptake of a gel using NMR and X-ray microtomography techniques in porous materials. We find that during drying, a distinct front develops which separates the liquid region from the gelled region. This front advances from the free surface of evaporation towards the inner parts of the stone. We identify different drying periods which appear to be dependent on the intrinsic properties of the porous medium influencing strongly the homogeneity of the final gel distribution within a treated stone. Our findings not only are relevant for the consolidation of porous artworks but also for civil and soil engineering processes where the fluids considered are generally more complex than water.


title: Market Research on IIoT Standard Compliance Monitoring Providers and deriving Attributes for IIoT Compliance Monitoring

abstract: Adapting security architectures to common standards like IEC 62443 or ISO 27000 in the Industrial Internet of Things (IIoT) involves complex processes and compliance reports. Automatic monitoring of compliance status would enhance this process. Despite limited research, practical applications exist. This paper conducts a market study on providers implementing IEC 62443 in IIoT, aiming to formulate a catalog of monitorable attributes aligned with the standard. The study reveals challenges, such as a lack of formal separation in security architectures, limiting visibility. Despite these challenges, practical implementations share commonalities, providing insights into viable monitoring properties. The research serves as a crucial entry point into developing a comprehensive catalog of monitorable attributes for IEC 62443 standards in IIoT. Aligned with the IEC 62443 SR catalog of document 3-3, monitorable attributes are derived based on current research about IIoT security and Expert Knowledge. The provided tables serve as an exemplary extract, not exhaustive, defining three types of attributes based on their origin of creation.


title: $q$-Racah probability distribution

abstract: We introduce a certain discrete probability distribution $P_{n,m,k,l;q}$ having non-negative integer parameters $n,m,k,l$ and quantum parameter $q$ which arises from a zonal spherical function of the Grassmannian over the finite field $\mathbb{F}_q$ with a distinguished spherical vector. Using representation theoretic arguments and hypergeometric summation technique, we derive the presentation of the probability mass function by a single $q$-Racah polynomial, and also the presentation of the cumulative distribution function in terms of a terminating ${}_4 \phi_3$-hypergeometric series.


title: Generative AI for Hate Speech Detection: Evaluation and Findings

abstract: Automatic hate speech detection using deep neural models is hampered by the scarcity of labeled datasets, leading to poor generalization. To mitigate this problem, generative AI has been utilized to generate large amounts of synthetic hate speech sequences from available labeled examples, leveraging the generated data in finetuning large pre-trained language models (LLMs). In this chapter, we provide a review of relevant methods, experimental setups and evaluation of this approach. In addition to general LLMs, such as BERT, RoBERTa and ALBERT, we apply and evaluate the impact of train set augmentation with generated data using LLMs that have been already adapted for hate detection, including RoBERTa-Toxicity, HateBERT, HateXplain, ToxDect, and ToxiGen. An empirical study corroborates our previous findings, showing that this approach improves hate speech generalization, boosting recall performance across data distributions. In addition, we explore and compare the performance of the finetuned LLMs with zero-shot hate detection using a GPT-3.5 model. Our results demonstrate that while better generalization is achieved using the GPT-3.5 model, it achieves mediocre recall and low precision on most datasets. It is an open question whether the sensitivity of models such as GPT-3.5, and onward, can be improved using similar techniques of text generation.


title: Towards more Practical Threat Models in Artificial Intelligence Security

abstract: Recent works have identified a gap between research and practice in artificial intelligence security: threats studied in academia do not always reflect the practical use and security risks of AI. For example, while models are often studied in isolation, they form part of larger ML pipelines in practice. Recent works also brought forward that adversarial manipulations introduced by academic attacks are impractical. We take a first step towards describing the full extent of this disparity. To this end, we revisit the threat models of the six most studied attacks in AI security research and match them to AI usage in practice via a survey with 271 industrial practitioners. On the one hand, we find that all existing threat models are indeed applicable. On the other hand, there are significant mismatches: research is often too generous with the attacker, assuming access to information not frequently available in real-world settings. Our paper is thus a call for action to study more practical threat models in artificial intelligence security.


title: Realistic Runtime Analysis for Quantum Simplex Computation

abstract: In recent years, strong expectations have been raised for the possible power of quantum computing for solving difficult optimization problems, based on theoretical, asymptotic worst-case bounds. Can we expect this to have consequences for Linear and Integer Programming when solving instances of practically relevant size, a fundamental goal of Mathematical Programming, Operations Research and Algorithm Engineering? Answering this question faces a crucial impediment: The lack of sufficiently large quantum platforms prevents performing real-world tests for comparison with classical methods. In this paper, we present a quantum analog for classical runtime analysis when solving real-world instances of important optimization problems. To this end, we measure the expected practical performance of quantum computers by analyzing the expected gate complexity of a quantum algorithm. The lack of practical quantum platforms for experimental comparison is addressed by hybrid benchmarking, in which the algorithm is performed on a classical system, logging the expected cost of the various subroutines that are employed by the quantum versions. In particular, we provide an analysis of quantum methods for Linear Programming, for which recent work has provided asymptotic speedup through quantum subroutines for the Simplex method. We show that a practical quantum advantage for realistic problem sizes would require quantum gate operation times that are considerably below current physical limitations.


title: Tailoring hot-carrier distributions of plasmonic nanostructures through surface alloying

abstract: Alloyed metal nanoparticles are a promising platform for plasmonically enabled hot-carrier generation, which can be used to drive photochemical reactions. Although the non-plasmonic component in these systems has been investigated for its potential to enhance catalytic activity, its capacity to affect the photochemical process favorably has been underexplored by comparison. Here, we study the impact of surface alloy species and concentration on hot-carrier generation in Ag nanoparticles. By first-principles simulations, we photoexcite the localized surface plasmon, allow it to dephase, and calculate spatially and energetically resolved hot-carrier distributions. We show that the presence of non-noble species in the topmost surface layer drastically enhances hot-hole generation at the surface at the expense of hot-hole generation in the bulk, due to the additional d-type states that are introduced to the surface. The energy of the generated holes can be tuned by choice of the alloyant, with systematic trends across the d-band block. Already low surface alloy concentrations have a large impact, with a saturation of the enhancement effect typically close to 75% of a monolayer. Hot-electron generation at the surface is hindered slightly by alloying but here an judicious choice of the alloy composition allows one to strike a balance between hot electrons and holes. In this context, it is also important to consider that increasing the alloy concentration broadens the localized surface plasmon resonance, and thus decreases hot-carrier generation overall. Our work underscores the promise of utilizing multicomponent nanoparticles to achieve enhanced control over plasmonic catalysis, and provides guidelines for how hot-carrier distributions can be tailored by designing the electronic structure of the surface through alloying.

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.chem-ph physics.comp-ph


title: Co-data Learning for Bayesian Additive Regression Trees

abstract: Medical prediction applications often need to deal with small sample sizes compared to the number of covariates. Such data pose problems for prediction and variable selection, especially when the covariate-response relationship is complicated. To address these challenges, we propose to incorporate co-data, i.e. external information on the covariates, into Bayesian additive regression trees (BART), a sum-of-trees prediction model that utilizes priors on the tree parameters to prevent overfitting. To incorporate co-data, an empirical Bayes (EB) framework is developed that estimates, assisted by a co-data model, prior covariate weights in the BART model. The proposed method can handle multiple types of co-data simultaneously. Furthermore, the proposed EB framework enables the estimation of the other hyperparameters of BART as well, rendering an appealing alternative to cross-validation. We show that the method finds relevant covariates and that it improves prediction compared to default BART in simulations. If the covariate-response relationship is nonlinear, the method benefits from the flexibility of BART to outperform regression-based co-data learners. Finally, the use of co-data enhances prediction in an application to diffuse large B-cell lymphoma prognosis based on clinical covariates, gene mutations, DNA translocations, and DNA copy number data. Keywords: Bayesian additive regression trees; Empirical Bayes; Co-data; High-dimensional data; Omics; Prediction


title: DeepEMD: A Transformer-based Fast Estimation of the Earth Mover's Distance

abstract: The Earth Mover's Distance (EMD) is the measure of choice between point clouds. However the computational cost to compute it makes it prohibitive as a training loss, and the standard approach is to use a surrogate such as the Chamfer distance. We propose an attention-based model to compute an accurate approximation of the EMD that can be used as a training loss for generative models. To get the necessary accurate estimation of the gradients we train our model to explicitly compute the matching between point clouds instead of EMD itself. We cast this new objective as the estimation of an attention matrix that approximates the ground truth matching matrix. Experiments show that this model provides an accurate estimate of the EMD and its gradient with a wall clock speed-up of more than two orders of magnitude with respect to the exact Hungarian matching algorithm and one order of magnitude with respect to the standard approximate Sinkhorn algorithm, allowing in particular to train a point cloud VAE with the EMD itself. Extensive evaluation show the remarkable behaviour of this model when operating out-of-distribution, a key requirement for a distance surrogate. Finally, the model generalizes very well to point clouds during inference several times larger than during training.


title: TransFusion -- A Transparency-Based Diffusion Model for Anomaly Detection

abstract: Surface anomaly detection is a vital component in manufacturing inspection. Reconstructive anomaly detection methods restore the normal appearance of an object, ideally modifying only the anomalous regions. Due to the limitations of commonly used reconstruction architectures, the produced reconstructions are often poor and either still contain anomalies or lack details in anomaly-free regions. Recent reconstructive methods adopt diffusion models, however with the standard diffusion process the problems are not adequately addressed. We propose a novel transparency-based diffusion process, where the transparency of anomalous regions is progressively increased, restoring their normal appearance accurately and maintaining the appearance of anomaly-free regions without loss of detail. We propose TRANSparency DifFUSION (TransFusion), a discriminative anomaly detection method that implements the proposed diffusion process, enabling accurate downstream anomaly detection. TransFusion achieves state-of-the-art performance on both the VisA and the MVTec AD datasets, with an image-level AUROC of 98.5% and 99.2%, respectively.


title: Fluctuations of the occupation density for a parking process

abstract: Consider the following simple parking process on $\Lambda_n := \{-n, \ldots, n\}^d,d\ge1$: at each step, a site $i$ is chosen at random in $\Lambda_n$ and if $i$ and all its nearest neighbor sites are empty, $i$ is occupied. Once occupied, a site remains so forever. The process continues until all sites in $\Lambda_n$ are either occupied or have at least one of their nearest neighbors occupied. The final configuration (occupancy) of $\Lambda_n$ is called the jamming limit and is denoted by $X_{\Lambda_n}$. Ritchie (2006) constructed a stationary random field on $\mathbb Z^d$ obtained as a (thermodynamic) limit of the $X_{\Lambda_n}$'s as $n$ tends to infinity. As a consequence of his construction, he proved a strong law of large numbers for the proportion of occupied sites in the box $\Lambda_n$ for the random field $X$. Here we prove the central limit theorem, the law of iterated logarithm, and a gaussian concentration inequality for the same statistics. A particular attention will be given to the case $d=1$, in which we also obtain new asymptotic properties for the sequence $X_{\Lambda_n},n\ge1$ as well as a new proof to the closed-form formula for the occupation density of the parking process.


title: Fast return-level estimates for flood insurance via an improved Bennett inequality for random variables with differing upper bounds

abstract: The k-year return levels of insurance losses due to flooding can be estimated by simulating and then summing a large number of independent losses for each of a large number of hypothetical years of flood events, and replicating this a large number of times. This leads to repeated realisations of the total losses over each year in a long sequence of years, from which return levels and their uncertainty can be estimated; the procedure, however, is highly computationally intensive. We develop and use a new, Bennett-like concentration inequality in a procedure that provides conservative but relatively accurate estimates of return levels at a fraction of the computational cost. Bennett's inequality provides concentration bounds on deviations of a sum of independent random variables from its expectation; it accounts for the different variances of each of the variables but uses only a single, uniform upper bound on their support. Motivated by the variability in the total insured value of insurance risks within a portfolio, we consider the case where the bounds on the support can vary by an order of magnitude or more, and obtain tractable concentration bounds. Simulation studies and application to a representative portfolio demonstrate the substantial improvement of our bounds over those obtained through Bennett's inequality. We then develop an importance sampling procedure that repeatedly samples the loss for each year from the distribution implied by the concentration inequality, leading to conservative estimates of the return levels and their uncertainty.


title: Straggler-resilient Federated Learning: Tackling Computation Heterogeneity with Layer-wise Partial Model Training in Mobile Edge Network

abstract: Federated Learning (FL) enables many resource-limited devices to train a model collaboratively without data sharing. However, many existing works focus on model-homogeneous FL, where the global and local models are the same size, ignoring the inherently heterogeneous computational capabilities of different devices and restricting resource-constrained devices from contributing to FL. In this paper, we consider model-heterogeneous FL and propose Federated Partial Model Training (FedPMT), where devices with smaller computational capabilities work on partial models (subsets of the global model) and contribute to the global model. Different from Dropout-based partial model generation, which removes neurons in hidden layers at random, model training in FedPMT is achieved from the back-propagation perspective. As such, all devices in FedPMT prioritize the most crucial parts of the global model. Theoretical analysis shows that the proposed partial model training design has a similar convergence rate to the widely adopted Federated Averaging (FedAvg) algorithm, $\mathcal{O}(1/T)$, with the sub-optimality gap enlarged by a constant factor related to the model splitting design in FedPMT. Empirical results show that FedPMT significantly outperforms the existing benchmark FedDrop. Meanwhile, compared to the popular model-homogeneous benchmark, FedAvg, FedPMT reaches the learning target in a shorter completion time, thus achieving a better trade-off between learning accuracy and completion time.


title: Suppression of Chemotactic Singularity via Viscous Flow with Large Buoyancy

abstract: In this work, we study the Keller-Segel-Navier-Stokes equation with low Reynolds number and subject to large buoyancy force. We show that for initial cell density with arbitrarily large mass (i.e. the $L^1$ norm), the solution remains regular for all times in the regime of sufficiently large buoyancy and viscosity. The major blowup suppression mechanism is a norm-stabilizing property possessed by a ``static problem,'' where the full problem can be seen as a perturbation of this quasi-stationary model.


title: Finite-temperature vibronic spectra from the split-operator coherence thermofield dynamics

abstract: We present a numerically exact approach for evaluating vibrationally resolved electronic spectra at finite temperatures using the coherence thermofield dynamics. In this method, which avoids implementing an algorithm for solving the von Neumann equation for coherence, the thermal vibrational ensemble is first mapped to a pure-state wavepacket in an augmented space, and this wavepacket is then propagated by solving the standard, zero-temperature Schr\"odinger equation with the split-operator Fourier method. We show that the finite-temperature spectra obtained with the coherence thermofield dynamics in a Morse potential agree exactly with those computed by Boltzmann-averaging the spectra of individual vibrational levels. Because the split-operator thermofield dynamics on a full tensor-product grid is restricted to low-dimensional systems, we briefly discuss how the accessible dimensionality can be increased by various techniques developed for the zero-temperature split-operator Fourier method.


title: Towards Flexibility and Robustness of LSM Trees

abstract: Log-Structured Merge trees (LSM trees) are increasingly used as part of the storage engine behind several data systems, and are frequently deployed in the cloud. As the number of applications relying on LSM-based storage backends increases, the problem of performance tuning of LSM trees receives increasing attention. We consider both nominal tunings - where workload and execution environment are accurately known a priori - and robust tunings - which consider uncertainty in the workload knowledge. This type of workload uncertainty is common in modern applications, notably in shared infrastructure environments like the public cloud. To address this problem, we introduce ENDURE, a new paradigm for tuning LSM trees in the presence of workload uncertainty. Specifically, we focus on the impact of the choice of compaction policy, size ratio, and memory allocation on the overall performance. ENDURE considers a robust formulation of the throughput maximization problem and recommends a tuning that offers near-optimal throughput when the executed workload is not the same, instead in a neighborhood of the expected workload. Additionally, we explore the robustness of flexible LSM designs by proposing a new unified design called K-LSM that encompasses existing designs. We deploy our robust tuning system, ENDURE, on a state-of-the-art key-value store, RocksDB, and demonstrate throughput improvements of up to 5x in the presence of uncertainty. Our results indicate that the tunings obtained by ENDURE are more robust than tunings obtained under our expanded LSM design space. This indicates that robustness may not be inherent to a design, instead, it is an outcome of a tuning process that explicitly accounts for uncertainty.


title: Dean-Kawasaki equation with initial condition in the space of positive distributions

abstract: We show that the Dean--Kawasaki equation does not admit nontrivial solutions in the space of tempered measures. More specifically, we consider martingale solutions taking values, and with initial conditions, in the subspace of measures admitting infinite mass and satisfying some integrability conditions. Following work by the first author, Lehmann and von Renesse [arXiv:1806.05018], we show that the equation only admits solutions if the initial measure is a discrete measure. Our result extends the previously mentioned works by allowing measures with infinite mass.


title: Dynamic Clustering of Active Rings

abstract: A collection of rings made of active Brownian particles (ABPs) for different packing fractions and activities is investigated using computer simulations. We show that active rings display an emergent dynamic clustering instead of the conventional motility-induced phase separation (MIPS) as in the case of collection of ABPs. Surprisingly, increasing packing fraction of rings exhibits a non-monotonicity in the dynamics due to the formation of a large number of small clusters. The conformational fluctuations of the polymers suppress the usual MIPS exhibited by ABPs. Our findings demonstrate how the motion of a collection of rings is influenced by the interplay of activity, topology, and connectivity.


title: Cubic surfaces failing the integral Hasse principle

abstract: We study the integral Brauer--Manin obstruction for affine diagonal cubic surfaces, which we employ to construct the first counterexamples to the integral Hasse principle in this setting. We then count in three natural ways how such counterexamples are distributed across the family of affine diagonal cubic surfaces and how often such surfaces satisfy integral strong approximation off $\infty$.


title: Efficient quantum algorithm to simulate open systems through the quantum noise formalism

abstract: We introduce an efficient algorithm based on the quantum noise framework for simulating open quantum systems on quantum devices. We prove that the open system dynamics can be simulated by repeatedly applying random unitary gates acting on the system qubits plus a single ancillary bath qubit representing the environment. This algorithm represents a notable step forward compared to current approaches, not only beacause the ancilla overhead remains always constant regardless of the system size, but also because it provides a perturbative approximation of the full Lindblad equation to first order in the environment coupling constants, allowing to reach a better target accuracy with respect to first order approximation in the time step, thus reducing the total number of steps. When the perturbative approximation does not hold one can take smaller time steps and the approach reduces to the solution to first order in the time step. As a future perspective, this framework easily accomodates non-Markovian effects by relaxing the reset of the bath qubit prescription.


title: Cool Cooling Collar for Bake-Out of Temperature-Sensitive Devices

abstract: A combination of a pumpable gate valve and a self-built cooling collar permits bake-out of an ultra-high vacuum chamber without having to dismount sensitive equipment. A small pump port on the closed gate valve maintains ultra-high vacuum conditions for a TVIPS TemCam-XF416 imaging electron detector in the case of venting the main chamber. The water-cooled collar mounted to the detector housing prevents heating of the detector upon bake-out of the ultra-high vacuum chamber.


title: SQLNet: Scale-Modulated Query and Localization Network for Few-Shot Class-Agnostic Counting

abstract: The class-agnostic counting (CAC) task has recently been proposed to solve the problem of counting all objects of an arbitrary class with several exemplars given in the input image. To address this challenging task, existing leading methods all resort to density map regression, which renders them impractical for downstream tasks that require object locations and restricts their ability to well explore the scale information of exemplars for supervision. To address the limitations, we propose a novel localization-based CAC approach, termed Scale-modulated Query and Localization Network (SQLNet). It fully explores the scales of exemplars in both the query and localization stages and achieves effective counting by accurately locating each object and predicting its approximate size. Specifically, during the query stage, rich discriminative representations of the target class are acquired by the Hierarchical Exemplars Collaborative Enhancement (HECE) module from the few exemplars through multi-scale exemplar cooperation with equifrequent size prompt embedding. These representations are then fed into the Exemplars-Unified Query Correlation (EUQC) module to interact with the query features in a unified manner and produce the correlated query tensor. In the localization stage, the Scale-aware Multi-head Localization (SAML) module utilizes the query tensor to predict the confidence, location, and size of each potential object. Moreover, a scale-aware localization loss is introduced, which exploits flexible location associations and exemplar scales for supervision to optimize the model performance. Extensive experiments demonstrate that SQLNet outperforms state-of-the-art methods on popular CAC benchmarks, achieving excellent performance not only in counting accuracy but also in localization and bounding box generation. Our codes will be available at https://github.com/HCPLab-SYSU/SQLNet


title: Finding Real-World Orbital Motion Laws from Data

abstract: A novel approach is presented for discovering PDEs that govern the motion of satellites in space. The method is based on SINDy, a data-driven technique capable of identifying the underlying dynamics of complex physical systems from time series data. SINDy is utilized to uncover PDEs that describe the laws of physics in space, which are non-deterministic and influenced by various factors such as drag or the reference area (related to the attitude of the satellite). In contrast to prior works, the physically interpretable coordinate system is maintained, and no dimensionality reduction technique is applied to the data. By training the model with multiple representative trajectories of LEO - encompassing various inclinations, eccentricities, and altitudes - and testing it with unseen orbital motion patterns, a mean error of around 140 km for the positions and 0.12 km/s for the velocities is achieved. The method offers the advantage of delivering interpretable, accurate, and complex models of orbital motion that can be employed for propagation or as inputs to predictive models for other variables of interest, such as atmospheric drag or the probability of collision in an encounter with a spacecraft or space objects. In conclusion, the work demonstrates the promising potential of using SINDy to discover the equations governing the behaviour of satellites in space. The technique has been successfully applied to uncover PDEs describing the motion of satellites in LEO with high accuracy. The method possesses several advantages over traditional models, including the ability to provide physically interpretable, accurate, and complex models of orbital motion derived from high-entropy datasets. These models can be utilised for propagation or as inputs to predictive models for other variables of interest.


title: The Change-of-Measure Method, Block Lewis Weights, and Approximating Matrix Block Norms

abstract: Given a matrix $\mathbf{A} \in \mathbb{R}^{k \times n}$, a partitioning of $[k]$ into groups $S_1,\dots,S_m$, an outer norm $p$, and a collection of inner norms such that either $p \ge 1$ and $p_1,\dots,p_m \ge 2$ or $p_1=\dots=p_m=p \ge 1/\log n$, we prove that there is a sparse weight vector $\mathbf{\beta} \in \mathbb{R}^{m}$ such that $\sum_{i=1}^m \beta_i \cdot \|\mathbf{A}_{S_i}\mathbf{x}\|_{p_i}^p \approx_{1\pm\varepsilon} \sum_{i=1}^m \|\mathbf{A}_{S_i}\mathbf{x}\|_{p_i}^p$, where the number of nonzero entries of $\mathbf{\beta}$ is at most $O_{p,p_i}(\varepsilon^{-2}n^{\max(1,p/2)}(\log n)^2(\log(n/\varepsilon)))$. When $p_1\dots,p_m \ge 2$, this weight vector arises from an importance sampling procedure based on the block Lewis weights, a recently proposed generalization of Lewis weights. Additionally, we prove that there exist efficient algorithms to find the sparse weight vector $\mathbf{\beta}$ in several important regimes of $p$ and $p_1,\dots,p_m$. Our main technical contribution is a substantial generalization of the change-of-measure method that Bourgain, Lindenstrauss, and Milman used to obtain the analogous result when every group has size $1$. Our generalization allows one to analyze change of measures beyond those implied by D. Lewis's original construction, including the measure implied by the block Lewis weights and natural approximations of this measure.


title: On the Number of Shortest Paths in Graphs

abstract: It is proved that the number of shortest paths between two vertices of distance $t$ in a graph with degrees bounded by $\Delta$ is at most $2 \cdot (\frac{\Delta}{2})^t$. This improves upon the na\"ive $\Delta (\Delta-1) ^{t-1}$ bound.


title: Formation scenarios of Ba stars: new evidence from the masses of the companion AGBs

abstract: The abundances of the slow neutron-capture (s-) process elements observed in barium stars can be explained by considering mass transfer in a binary system from an asymptotic giant branch (AGB) star onto a smaller mass and less evolved binary companion star. Based on the abundances of neutron-capture elements the barium stars are broadly divided into two categories, "strong" and "mild" barium stars. However, an understanding of the role of the characteristic properties of the companion AGBs on the formation of the different types of barium stars is still lacking. This work focuses on investigating the role of the mass of the companion AGB stars in this context. In a recent high-resolution spectroscopic study, we studied in detail the chemical composition of a few barium stars that we have identified. In order to understand the nature and the mass of the companion stars, we first estimated the mass of these objects and then used a parametric model-based analysis to derive the masses of the primary companion stars. The calculation is extended to 205 barium stars taken from literature. An analysis of the mass distribution revealed that both the strong and the mild barium stars occupy the same range of masses. However, their companion AGB stars' mass distributions peak at two different values 2.5 M$_{\odot}$ and 3.7 M$_{\odot}$, for the strong and the mild barium stars respectively. This provides clear evidence that the formation of mild and strong Ba stars is greatly influenced by the initial masses of the companion AGB stars. It remains, however, to be seen the possible impact of other factors such as orbital period and metallicity on the formation scenarios of barium stars.


title: Limit cycles in refracted Hamiltonian systems with a straight switching line

abstract: This paper presents a criterion that provides an easy sufficient condition for a collection of line integrals to have the Chebyshev property. The condition is based on the functions appearing in the line integrals. The criterion is used to study the number of limit cycles in refracted differential systems, which are formed by two Hamiltonian differential systems separated by a straight line. The paper concludes by presenting new results on such systems, which show the effectiveness of the criterion presented.


title: Compatibility between modal operators in distributive modal logic

abstract: Unlike in classical modal logic, in non-classical modal logics the box and diamond operators frequently fail to be interdefinable. Instead, these logics impose some compatibility conditions which tie the box and diamond operators together and ensure that in terms of Kripke semantics they arise from the same accessibility relation. This is, for instance, the case in the intuitionistic modal logic of Fischer Servi and the positive modal logic of Dunn. In these logics, however, such compatibility conditions also impose further conditions on the accessibility relation. In this paper, we identify the basic compatibility conditions which ensure that modal operators in distributive modal logics arise from a single accessibility relation without imposing any restrictions on the relation. As in the distributive logic of Gehrke, Nagahashi, and Venema, we allow for negative box and diamond operators here in addition to the usual positive ones. Intuitionistic modal logic and positive modal logic, or more precisely the corresponding classes of algebras, are then obtained in a modular way by adding certain canonical axioms which we call locality conditions on top of these basic compatibility conditions.


title: On the Overconfidence Problem in Semantic 3D Mapping

abstract: Semantic 3D mapping, the process of fusing depth and image segmentation information between multiple views to build 3D maps annotated with object classes in real-time, is a recent topic of interest. This paper highlights the fusion overconfidence problem, in which conventional mapping methods assign high confidence to the entire map even when they are incorrect, leading to miscalibrated outputs. Several methods to improve uncertainty calibration at different stages in the fusion pipeline are presented and compared on the ScanNet dataset. We show that the most widely used Bayesian fusion strategy is among the worst calibrated, and propose a learned pipeline that combines fusion and calibration, GLFS, which achieves simultaneously higher accuracy and 3D map calibration while retaining real-time capability. We further illustrate the importance of map calibration on a downstream task by showing that incorporating proper semantic fusion on a modular ObjectNav agent improves its success rates. Our code will be provided on Github for reproducibility upon acceptance.


title: $\infty$-Categorical Generalized Langlands Program I: Mixed-Parity Modules and Sheaves

abstract: Mixed-parity module emerges for instance when a de Rham Galois representation is being tensored with a square root of cyclotomic character, which produces half odd integers as the corresponding Hodge-Tate weights. We build the whole foundation on the $p$-adic Hodge theory in this setting over small $v$-stacks after Scholze and we also consider certain moduli $v$-stack which parametrizes families of mixed-parity Hodge modules. Examples of the small $v$-stacks in our mind are rigid analytic spaces over $p$-adic fields and moduli $v$-stack of vector bundles over Fargues-Fontaine curves. The preparation implemented at this level will be expected to provide further essential foundationalization for generalized Langlands program after Langlands, Drinfeld, Fargues-Scholze. One side of the generalized Langlands correspondence in the geometric setting is the perverse motivic derived $\infty$-category over $\mathrm{Moduli}_G$ related to smooth representations of reductive groups, while the other side of the generalized Langlands correspondence in the geometric setting is the corresponding derived $\infty$-category over the stack of mixed-parity $L$-parametrizations (i.e. from two-fold covering of the Weil group into $\ell$-adic groups) related to the representations of Weil group in our setting into Langlands dual groups. Although after Scholze and Fargues-Scholze our generalized Langlands program can go along $\ell$-adic cohomologicalization to immediately achieve various solid derived $\infty$-categories $\mathrm{DerCat}_\text{\'et}(\mathrm{Moduli}_G,\square)$, $\mathrm{DerCat}_\mathrm{lisse, \blacksquare}(\mathrm{Moduli}_G,\square)$, $\mathrm{DerCat}_{\blacksquare}(\mathrm{Moduli}_G,\square)$ and so on with well-established formalism regarding 6-functors, we already provide certain $p$-adic cohomologicalization of the story over $\mathrm{Moduli}_G$.


title: On the non-existence of isochronous centers in planar discontinuous differential systems

abstract: The determination of whether a center is isochronous or not is a well-known problem in the qualitative theory of planar systems. In this paper, we explore planar piecewise discontinuous differential systems characterized by a straight switching line $y=0$ and $x=0$, respectively. Our investigation reveals that such systems do not possess an isochronous center at the origin.


title: Worst-Case Optimal Investment in Incomplete Markets

abstract: We study and solve the worst-case optimal portfolio problem as pioneered by Korn and Wilmott (2002) of an investor with logarithmic preferences facing the possibility of a market crash with stochastic market coefficients by enhancing the martingale approach developed by Seifried in 2010. With the help of backward stochastic differential equations (BSDEs), we are able to characterize the resulting indifference optimal strategies in a fairly general setting. We also deal with the question of existence of those indifference strategies for market models with an unbounded market price of risk. We therefore solve the corresponding BSDEs via solving their associated PDEs using a utility crash-exposure transformation. Our approach is subsequently demonstrated for Heston's stochastic volatility model, Bates' stochastic volatility model including jumps, and Kim-Omberg's model for a stochastic excess return.


title: $\infty$-Categorical Approaches to Hodge-Iwasawa Theory II: $\infty$-Categorical and Derived Hodge-Iwasawa Modules

abstract: This paper is a discussion on $\infty$-categorical approaches to Hodge-Iwasawa Theory, which was initiated in our project on the $\infty$-categorical approaches to Hodge-Iwasawa Theory. The theory aims at the serious unification of $p$-adic Hodge Theory and $p$-adic Iwasawa Theory, by taking deformation of Hodge-theoretic constructions along some consideration in Iwasawa Theory beyond the Iwasawa deformation of certain motives in the general sense. The Hodge modules in our current consideration will be essentially within $\infty$-categorical derived categories of inductive Banach modules and $\infty$-categorical derived categories of condensed solidification of certain topological modules.


title: Online Optimization for Network Resource Allocation and Comparison with Reinforcement Learning Techniques

abstract: We tackle in this paper an online network resource allocation problem with job transfers. The network is composed of many servers connected by communication links. The system operates in discrete time; at each time slot, the administrator reserves resources at servers for future job requests, and a cost is incurred for the reservations made. Then, after receptions, the jobs may be transferred between the servers to best accommodate the demands. This incurs an additional transport cost. Finally, if a job request cannot be satisfied, there is a violation that engenders a cost to pay for the blocked job. We propose a randomized online algorithm based on the exponentially weighted method. We prove that our algorithm enjoys a sub-linear in time regret, which indicates that the algorithm is adapting and learning from its experiences and is becoming more efficient in its decision-making as it accumulates more data. Moreover, we test the performance of our algorithm on artificial data and compare it against a reinforcement learning method where we show that our proposed method outperforms the latter.


title: Topological Gap Opening without Symmetry Breaking from Dynamical Quantum Correlations

abstract: Topological phase transitions are typically associated with the formation of gapless states. Spontaneous symmetry breaking can lead to a gap opening thereby obliterating the topological nature of the system. Here we highlight a completely different destiny for a topological transition in presence of interaction. Solving a Bernevig-Hughes-Zhang model with local interaction, we show that dynamical quantum fluctuations can lead to the opening of a gap without any symmetry breaking. As we vary the interaction and the bare mass of the model, the continuous gapless topological transition turns into a first-order one, associated with the presence of massive Dirac fermion at the transition point showing a Gross-Neveu critical behaviour near the quantum critical endpoint. We identify the gap opening as a condensed matter analog of the Coleman-Weinberg mechanism of mass generation.


title: A Novel Neural Network-Based Federated Learning System for Imbalanced and Non-IID Data

abstract: With the growth of machine learning techniques, privacy of data of users has become a major concern. Most of the machine learning algorithms rely heavily on large amount of data which may be collected from various sources. Collecting these data yet maintaining privacy policies has become one of the most challenging tasks for the researchers. To combat this issue, researchers have introduced federated learning, where a prediction model is learnt by ensuring the privacy of data of clients data. However, the prevalent federated learning algorithms possess an accuracy and efficiency trade-off, especially for non-IID data. In this research, we propose a centralized, neural network-based federated learning system. The centralized algorithm incorporates micro-level parallel processing inspired by the traditional mini-batch algorithm where the client devices and the server handle the forward and backward propagation respectively. We also devise a semi-centralized version of our proposed algorithm. This algorithm takes advantage of edge computing for minimizing the load from the central server, where clients handle both the forward and backward propagation while sacrificing the overall train time to some extent. We evaluate our proposed systems on five well-known benchmark datasets and achieve satisfactory performance in a reasonable time across various data distribution settings as compared to some existing benchmark algorithms.


title: Guaranteeing Control Requirements via Reward Shaping in Reinforcement Learning

abstract: In addressing control problems such as regulation and tracking through reinforcement learning, it is often required to guarantee that the acquired policy meets essential performance and stability criteria such as a desired settling time and steady-state error prior to deployment. Motivated by this necessity, we present a set of results and a systematic reward shaping procedure that (i) ensures the optimal policy generates trajectories that align with specified control requirements and (ii) allows to assess whether any given policy satisfies them. We validate our approach through comprehensive numerical experiments conducted in two representative environments from OpenAI Gym: the Inverted Pendulum swing-up problem and the Lunar Lander. Utilizing both tabular and deep reinforcement learning methods, our experiments consistently affirm the efficacy of our proposed framework, highlighting its effectiveness in ensuring policy adherence to the prescribed control requirements.


title: Projection Optimization Method for Open-Dissipative Quantum Fluids and its Application to a Single Vortex in a Photon Bose-Einstein Condensate

abstract: Open dissipative systems of quantum fluids have been well studied numerically. In view of a complementary analytical description we extend here the variational optimization method for Bose-Einstein condensates of closed systems to open-dissipative condensates. The resulting projection optimization method is applied to a complex Gross-Pitaevski equation, which models phenomenologically a photon Bose-Einstein condensate. Together with known methods from hydrodynamics we obtain an approximate vortex solution, which depends on the respective open system parameters and has the same properties as obtained numerically in the literature.


title: Analytic Calculation of Clustered Ionization in DNA from Charged Particle Radiation

abstract: In previous work, we constructed a statistical framework for estimating the rate of clustered ionization from charged particle radiation in DNA. This model is extended to include contributions from secondary electrons. Using a simple assumption of a uniform strand-breaking probability, analytic forms for the rates of single- and double-strand break formation are derived. The forms depend on only three parameters, to which rudimentary values are assigned. The resulting curves are compared to results from GEANT-DNA and experimental measurements in dry DNA and found to be in moderate agreement. This approach is readily refined and extended to more complex DNA systems and may ultimately contribute to an improved understanding of the physical origins of biological radiation effects.


title: On the evolution of Betti curves in the Cosmic web

abstract: In this work, we study the evolution of Betti curves obtained by persistent-homological analysis of pointclouds formed by halos in different cosmological $N$-body simulations. We show that they can be approximated with a scaled log-normal distribution function with reasonable precision. Our analysis shows that the shapes and maximums of Betti curves exhibit dependence on the mass range of the selected subpopulation of halos, but at the same time, the resolution of a simulation does not play any significant role, provided that the mass distribution of simulated halos is complete down to a given mass scale. Besides, we study how Betti curves change with the evolution of the Universe, i.e., their dependence on redshift. Sampling subpopulations of halos within certain mass ranges up to redshift $z=2.5$ yields a surprisingly small difference between corresponding Betti curves. We propose that this may be an indicator of the existence of a new specific topological invariant in the structure of the Universe.