title: Dimension-free matricial Nullstellens\"atze for noncommutative polynomials

abstract: Hilbert's Nullstellensatz is one of the most fundamental correspondences between algebra and geometry, and has inspired a plethora of noncommutative analogs. In last two decades, there has been an increased interest in understanding vanishing sets of polynomials in several matrix variables without restricting the matrix size, prompted by developments in noncommutative function theory, control systems, operator algebras, and quantum information theory. The emerging results vary according to the interpretation of what vanishing means. For example, given a collection of noncommutative polynomials, one can consider all matrix tuples at which the values of these polynomials are all zero, singular, have common kernel, or have zero trace. This survey reviews Nullstellens\"atze for the above types of vanishing sets, and identifies their structural counterparts in the free algebra.


title: Self-heating effect in nanoscale SOI Junctionless FinFET with different geometries

abstract: In this work we study the self-heating (1) effect (SHE) in nanoscale Silicon on Insulator Junctionless (SOI JL) FinFET transistor with fi cross section in rectangular, trapeze and triangle form. The lattice temperature dependence on the channel length as well as on buried oxide thickness is considered. It is shown that for considered transistor structure the lattice temperature in the middle of the channel is lower than at lateral sides, near source and drain. Also, we have found at the same conditions the lattice temperature depends on shape of channel cross section too


title: On the homotopy links of stratified cell complexes

abstract: Homotopy links haven proven to be one of the most powerful tools of stratified homotopy theory. In previous work, we described combinatorial models for the generalized homotopy links of a stratified simplicial set. For many purposes, in particular to investigate the stratified homotopy hypothesis, a more general version of this result pertaining to stratified cell complexes is needed. Here we prove that, given a stratified cell complex $X$, the generalized homotopy links can be computed in terms of a certain subcomplex of a subdivision of $X$. As a consequence, it follows that homotopy links map certain pushout diagrams of stratified cell complexes into homotopy pushout diagrams. This result is crucial to the development of (semi)model structures for stratified homotopy theory in which geometric examples of stratified spaces, such as Whitney stratified spaces, are bifibrant.


title: The Numerical Solution in the Sense of Prager&Synge

abstract: The solution in sense of Prager&Synge is the alternative to the commonly used notion of the numerical solution, which is considered as a limit of grid functions at mesh refinement. Prager&Synge solution is defined as a hypersphere containing the projection of the true solution of the system of partial differentiation equations (PDE) onto the computational grid and does not use any asymptotics. In the original variant it is determined using orthogonal properties specific for certain equations. In the proposed variant, the center and radius of the hypersphere is estimated using the ensemble of numerical solutions obtained by independent algorithms. This approach may be easily expanded for solutions of an arbitrary system of partial differentiation equations that significantly expands the domain of its applicability. Several options for the computation of the Prager&Synge solution are considered and compared herein. The first one is based on the search for the orthogonal truncation errors and their transformation. The second is based on the orthogonalization of approximation errors obtained using the defect correction method and applies a superposition of numerical solutions. These options are intrusive. In third option (nonintrusive) the information regarding orthogonality of errors, which is crucial for the Prager&Synge approach method, is replaced by information that stems from the properties of the ensemble of numerical solutions, obtained by independent numerical algorithms. The values of the angle between the truncation errors on such ensemble or the distances between elements of the ensemble may be used to replace the orthogonality. The variant based on the width of the ensemble of independent numerical solutions does not require any additional a priori information and is the approximate nonintrusive version of the method based on the orthogonalization of approximation errors.


title: Spin Waves and Spin Currents in Magnon-Phonon Composite Resonator Induced by Acoustic Waves of Various Polarizations

abstract: In this work, we present the results of a systematic experimental study of linear and parametric spin wave resonant excitation accompanied by spin currents (spin pumping) in a multifrequency composite bulk acoustic wave resonator with a ZnO-YIG-GGG-YIG/Pt structure. The features of magnetic dynamics excitation in YIG films due to magnetoelastic coupling with acoustic thickness modes of various polarizations are studied. Acoustic spin waves and spin pumping are detected by simultaneous frequency-field mapping of the inverse spin Hall effect voltage and the resonant frequencies of thickness extensional modes. In the parametric range of frequencies and fields, acoustic spin pumping induced by both shear and longitudinal polarization modes was observed. Linear acoustic spin waves are excited only by shear thickness extensional modes because longitudinal acoustic waves do not couple with the magnetic subsystem in linear regime.


title: UNICORN: Ultrasound Nakagami Imaging via Score Matching and Adaptation

abstract: Nakagami imaging holds promise for visualizing and quantifying tissue scattering in ultrasound waves, with potential applications in tumor diagnosis and fat fraction estimation which are challenging to discern by conventional ultrasound B-mode images. Existing methods struggle with optimal window size selection and suffer from estimator instability, leading to degraded resolution images. To address this, here we propose a novel method called UNICORN (Ultrasound Nakagami Imaging via Score Matching and Adaptation), that offers an accurate, closed-form estimator for Nakagami parameter estimation in terms of the score function of ultrasonic envelope. Extensive experiments using simulation and real ultrasound RF data demonstrate UNICORN's superiority over conventional approaches in accuracy and resolution quality.


title: Dark Branes for Dark Matter

abstract: We propose a setup for the origin of dark matter based on spacetime with a warped extra dimension and three branes: the Planck brane, the TeV brane, at a (few) TeV scale $\rho_T$, and a dark brane, at a (sub)-GeV scale $\rho_1\lesssim 100$ GeV $\ll\rho_T$. The Standard Model is localized in the TeV brane, thus solving the Higgs hierarchy problem, while the dark matter $\chi$, a Dirac fermion with mass $m_\chi<\rho_1$, is localized in the dark brane. The radion, with mass $m_r<m_\chi$, interacts strongly ($\sim m_\chi/\rho_1\sim\mathcal O(1)$) with dark matter and very weakly ($\sim m_{f}\rho_1/\rho_T^2\ll 1$) with the Standard Model matter $f$. The generic conflict between the bounds on its detection signatures and its proper relic abundance is avoided as dark matter annihilation is $p$-wave suppressed. The former is determined by its very weak interactions with the SM and the latter by its much stronger annihilation into radions. Therefore, there is a vast range in the Dark Matter's parameter space where the correct relic abundance is achieved consistently with the existing bounds. Moreover, for the dark brane with $\rho_1\lesssim 10$~GeV, a confinement/deconfinement first order phase transition, where the radion condensates, produces a stochastic gravitational waves background at the nanoHz frequencies, which can be identified with the signal detected by the Pulsar Timing Array (PTA) experiments. In the PTA window, for $0.15 \textrm{ GeV}\lesssim m_\chi\lesssim 2$ GeV the relic abundance is reproduced and all constraints are satisfied.


title: Cohomology rings of the moduli of one-dimensional sheaves on the projective plane

abstract: We initiate a systematic study on the cohomology rings of the moduli stack $\mathfrak{M}_{d,\chi}$ of semistable one-dimensional sheaves on the projective plane. We introduce a set of tautological relations of geometric origin, including Mumford-type relations, and prove that their ideal is generated by certain primitive relations via the Virasoro operators. Using BPS integrality and the computational efficiency of Virasoro operators, we show that our geometric relations completely determine the cohomology rings of the moduli stacks up to degree 5. As an application, we verify the refined Gopakumar--Vafa/Pandharipande--Thomas correspondence for local $\mathbb{P}^2$ in degree 5. Furthermore, we propose a substantially strengthened version of the $P=C$ conjecture, originally introduced by Shen and two of the authors. This can be viewed as an analogue of the $P=W$ conjecture in a compact and Fano setting.


title: Pre- and Post-Auction Discounts in First-Price Auctions

abstract: One method to offer some bidders a discount in a first-price auction is to augment their bids when selecting a winner but only charge them their original bids should they win. Another method is to use their original bids to select a winner, then charge them a discounted price that is lower than their bid should they win. We show that the two methods have equivalent auction outcomes, for equal additive discounts and for multiplicative ones with appropriate adjustments to discount amounts. As a result, they have corresponding equilibria when equilibria exist. We also show that with the same level of multiplicative adjustments, bidders with discounts should prefer an augmented bid to a discounted price. Then we estimate optimal bid functions for valuation distributions based on data from online advertising auctions, and show how different discount levels affect auction outcomes for those bid functions.


title: Fine-tuning of diffusion models via stochastic control: entropy regularization and beyond

abstract: This paper aims to develop and provide a rigorous treatment to the problem of entropy regularized fine-tuning in the context of continuous-time diffusion models, which was recently proposed by Uehara et al. (arXiv:2402.15194, 2024). The idea is to use stochastic control for sample generation, where the entropy regularizer is introduced to mitigate reward collapse. We also show how the analysis can be extended to fine-tuning involving a general $f$-divergence regularizer.


title: Combinatorial models for stratified homotopy theory

abstract: This paper is part of a series of three articles with the objective of investigating a stratified version of the homotopy hypothesis in terms of semimodel structures that interact well with classical examples of stratified spaces, such as Whitney stratified spaces. To this end, we prove the existence of several combinatorial simplicial model structures in the combinatorial setting of stratified simplicial sets. One of these we show to be Quillen equivalent to the left Bousfield localization of the Joyal model structure that presents the $(\infty,1)$-category of layered $(\infty,1)$-categories, i.e., such $(\infty,1)$-categories in which every endomorphism is an isomorphism.


title: Refinement of MMIO Models for Improving the Coverage of Firmware Fuzzing

abstract: Embedded systems (ESes) are now ubiquitous, collecting sensitive user data and helping the users make safety-critical decisions. Their vulnerability may thus pose a grave threat to the security and privacy of billions of ES users. Grey-box fuzzing is widely used for testing ES firmware. It usually runs the firmware in a fully emulated environment for efficient testing. In such a setting, the fuzzer cannot access peripheral hardware and hence must model the firmware's interactions with peripherals to achieve decent code coverage. The state-of-the-art (SOTA) firmware fuzzers focus on modeling the memory-mapped I/O (MMIO) of peripherals. We find that SOTA MMIO models for firmware fuzzing do not describe the MMIO reads well for retrieving a data chunk, leaving ample room for improvement of code coverage. Thus, we propose ES-Fuzz that boosts the code coverage by refining the MMIO models in use. ES-Fuzz uses a given firmware fuzzer to generate stateless and fixed MMIO models besides test cases after testing an ES firmware. ES-Fuzz then instruments a given test harness, runs it with the highest-coverage test case, and gets the execution trace. The trace guides ES-Fuzz to build stateful and adaptable MMIO models. The given fuzzer thereafter tests the firmware with the newly-built models. The alternation between the fuzzer and ES-Fuzz iteratively enhances the coverage of fuzz-testing. We have implemented ES-Fuzz upon Fuzzware and evaluated it with 21 popular ES firmware. ES-Fuzz boosts Fuzzware's coverage by up to $160\%$ in some of these firmware without lowering the coverage in the others much.


title: Modeling the Multi-wavelength Radiation Properties in Pulsar Dissipative Magnetospheres

abstract: We explore the multiwavelength radiation properties of the light curves and energy spectra in the dissipative magnetospheres of pulsars. The dissipative magnetospheres are simulated by the pseudo-spectral method with the combined force-free and Aristotelian electrodynamics, which can produce self-consistent accelerating electric fields mainly distributed in the equatorial current sheet outside the light cylinder. The multiwavelength light curves and spectra are computed by using the multiple emission mechanisms of both the primary particles accelerated by the accelerating electric fields in the equatorial current sheet and the secondary pairs with an assumed distribution spectrum. We then compare the predicted multiwavelength light curves and spectra with the observed data from the Crab, Vela, and Geminga pulsars. Our modeling results can systematically well reproduce the observed trends of the multiwavelength light curves and the spectra for these three pulsars.


title: f(R,T) Analogue Gravity in (2+1) D graphene sheet

abstract: We examine the analogue gravity model within the context of f(R,T) gravity applied to graphene. The derivation of the Lagrangian density in two dimensions (2D) is undertaken, accounting for the altered gravitational effects as characterized by the function f(R,T). The Lagrangian encompasses the quasiparticle field $\psi(x)$, its adjoint $\overline{\psi}$, the effective metric tensor $g^{\mu\nu}$, and the gauge field $A_{\nu}$. The equations of motion are established through variational principles applied to the Lagrangian, resulting in modified Dirac equations. We discuss the interpretation of the additional terms in the equations of motion and their significance in capturing the modified gravitational dynamics in the graphene system. Our findings contribute to the understanding of analogue gravity models and their applications in condensed matter systems.


title: Developing an AI-Based Psychometric System for Assessing Learning Difficulties and Adaptive System to Overcome: A Qualitative and Conceptual Framework

abstract: Learning difficulties pose significant challenges for students, impacting their academic performance and overall educational experience. These difficulties could sometimes put students into a downward spiral that lack of educational resources for personalized support consistently led to under-accommodation of students special needs, and the student lose opportunities in the longer term academic and work development. This research aims to propose a conceptual framework for an adaptive AI-based virtual tutor system that incorporates psychometric assessment to support students with learning difficulties. This process involves the careful selection and integration of validated current mature psychometric scales that assess key dimensions of learning, such as cognitive abilities, learning styles, and academic skills. By incorporating scales that specifically assess these difficulties, the psychometric test will provide a comprehensive understanding of each students unique learning profile and inform targeted interventions within the adaptive tutoring system. The paper also proposes using autoencoders to identify the latent patterns to generate the students profile vector for collection of psychometric data, defining state space and action space representing the students desired combination of images, sound and text engagements, employing extended Bayesian knowledge tracing and hierarchical model and Metropolis-Hastings to continuously estimate and monitor the students performance in various psychometric constructs. The proposed system will leverage the capabilities of LLMs, visual generation models, and psychometric assessments to provide personalized instruction and support tailored to each students unique learning characteristics and needs.


title: A Tunable Universal Formula for Safety-Critical Control

abstract: Sontag's universal formula is a widely-used technique for stabilizing control through control Lyapunov functions, and it has been extended to address safety-critical control in recent years by incorporating control barrier functions (CBFs). However, how to derive a universal formula that satisfies requirements on essential properties, including safety, robustness, and smoothness, is still an open problem. To address this challenge, this paper introduces a novel solution - a tunable universal formula - by incorporating a (state-dependent) tunable scaling term into Sontag's universal formula. This tunable scaling term enables the regulation of safety control performances, allowing the attainment of desired properties through a proper selection. Furthermore, we extend this tunable universal formula to address safety-critical control problems with norm-bounded input constraints, showcasing its applicability across diverse control scenarios. Finally, we demonstrate the efficacy of our method through a collision avoidance example, investigating the essential properties including safety, robustness, and smoothness under various tunable scaling terms.


title: Constraining Cosmological Parameters with Viscous Modified Chaplygin Gas and Generalized Cosmic Chaplygin Gas Models in Horava-Lifshitz Gravity: Utilizing Late-time Datasets

abstract: This study examines accelerated cosmic expansion using the Viscous Modified Chaplygin Gas (VMMG) and Generalized Cosmic Chaplygin Gas (GCCM) within Horava-Lifshitz gravity. Our aim is to constrain essential cosmological parameters, such as the Hubble Parameter ($H_{0}$) and Sound Horizon ($r_{d}$). We utilize late-time datasets: 17 Baryon Acoustic Oscillation observations, 33 Cosmic Chronometer measurements, 40 Type Ia Supernovae data points, 24 quasar Hubble diagram data points, and 162 Gamma Ray Bursts data points, along with the latest determination of the Hubble constant (R22). Treating $r_{d}$ as a free parameter offers several advantages, including mitigating bias, enhancing precision, and improving compatibility with various datasets. By introducing random correlations in the covariance matrix during simulation, errors are effectively reduced. Our estimated values of the Hubble constant ($H_0$) and $r_{d}$ consistently align with measurements from both the Planck and SDSS experiments. Cosmographic tests provide valuable insights into the dynamics of various cosmological models, enriching our understanding of cosmic evolution. Statefinder diagnostics offer deeper insights into cosmic expansion dynamics, aiding in distinguishing between cosmological frameworks. Furthermore, the $o_{m}$ diagnostic test reveals that at late times, VMMG falls into the phantom region, while GCCM falls into the quintessence region. The Akaike Information Criterion (AIC) and Bayesian Information Criterion (BIC) support all models, indicating plausible explanations. Notably, the $\Lambda$CDM model emerges with the lowest AIC score, suggesting its relatively superior fit. Validation via the reduced $\chi_{\text{red}}^{2}$ statistic confirms satisfactory fits across all models, reinforcing their credibility.


title: Quantization of resistivity as consequence of symmetry invariance

abstract: The Schr\"odinger equation for an electron under the influence of an electromagnetic field is analyzed based on the conserved operators of the system when the magnetic field is described by Landau's gauge. It is shown that the Lorentz force can be recovered only if two conserved generalized momentum operators are considered: one along the $x$-axis and the second one along $y$-axis; otherwise, the system cannot be fully described. Based on the general solution found, a ground state is built which has the characteristic of having quantized resistivity proportional to integer multiples of the von Klitzing's constant when it is invariant under a unitary transform.


title: Probing Image Compression For Class-Incremental Learning

abstract: Image compression emerges as a pivotal tool in the efficient handling and transmission of digital images. Its ability to substantially reduce file size not only facilitates enhanced data storage capacity but also potentially brings advantages to the development of continual machine learning (ML) systems, which learn new knowledge incrementally from sequential data. Continual ML systems often rely on storing representative samples, also known as exemplars, within a limited memory constraint to maintain the performance on previously learned data. These methods are known as memory replay-based algorithms and have proven effective at mitigating the detrimental effects of catastrophic forgetting. Nonetheless, the limited memory buffer size often falls short of adequately representing the entire data distribution. In this paper, we explore the use of image compression as a strategy to enhance the buffer's capacity, thereby increasing exemplar diversity. However, directly using compressed exemplars introduces domain shift during continual ML, marked by a discrepancy between compressed training data and uncompressed testing data. Additionally, it is essential to determine the appropriate compression algorithm and select the most effective rate for continual ML systems to balance the trade-off between exemplar quality and quantity. To this end, we introduce a new framework to incorporate image compression for continual ML including a pre-processing data compression step and an efficient compression rate/algorithm selection method. We conduct extensive experiments on CIFAR-100 and ImageNet datasets and show that our method significantly improves image classification accuracy in continual ML settings.


title: Understanding and Mitigating Human-Labelling Errors in Supervised Contrastive Learning

abstract: Human-annotated vision datasets inevitably contain a fraction of human mislabelled examples. While the detrimental effects of such mislabelling on supervised learning are well-researched, their influence on Supervised Contrastive Learning (SCL) remains largely unexplored. In this paper, we show that human-labelling errors not only differ significantly from synthetic label errors, but also pose unique challenges in SCL, different to those in traditional supervised learning methods. Specifically, our results indicate they adversely impact the learning process in the ~99% of cases when they occur as false positive samples. Existing noise-mitigating methods primarily focus on synthetic label errors and tackle the unrealistic setting of very high synthetic noise rates (40-80%), but they often underperform on common image datasets due to overfitting. To address this issue, we introduce a novel SCL objective with robustness to human-labelling errors, SCL-RHE. SCL-RHE is designed to mitigate the effects of real-world mislabelled examples, typically characterized by much lower noise rates (<5%). We demonstrate that SCL-RHE consistently outperforms state-of-the-art representation learning and noise-mitigating methods across various vision benchmarks, by offering improved resilience against human-labelling errors.


title: Revisiting Path Contraction and Cycle Contraction

abstract: The Path Contraction and Cycle Contraction problems take as input an undirected graph $G$ with $n$ vertices, $m$ edges and an integer $k$ and determine whether one can obtain a path or a cycle, respectively, by performing at most $k$ edge contractions in $G$. We revisit these NP-complete problems and prove the following results. Path Contraction admits an algorithm running in $\mathcal{O}^*(2^{k})$ time. This improves over the current algorithm known for the problem [Algorithmica 2014]. Cycle Contraction admits an algorithm running in $\mathcal{O}^*((2 + \epsilon_{\ell})^k)$ time where $0 < \epsilon_{\ell} \leq 0.5509$ is inversely proportional to $\ell = n - k$. Central to these results is an algorithm for a general variant of Path Contraction, namely, Path Contraction With Constrained Ends. We also give an $\mathcal{O}^*(2.5191^n)$-time algorithm to solve the optimization version of Cycle Contraction. Next, we turn our attention to restricted graph classes and show the following results. Path Contraction on planar graphs admits a polynomial-time algorithm. Path Contraction on chordal graphs does not admit an algorithm running in time $\mathcal{O}(n^{2-\epsilon} \cdot 2^{o(tw)})$ for any $\epsilon > 0$, unless the Orthogonal Vectors Conjecture fails. Here, $tw$ is the treewidth of the input graph. The second result complements the $\mathcal{O}(nm)$-time, i.e., $\mathcal{O}(n^2 \cdot tw)$-time, algorithm known for the problem [Discret. Appl. Math. 2014].


title: On the Ohba Number and Generalized Ohba Numbers of Complete Bipartite Graphs

abstract: We say that a graph $G$ is chromatic-choosable when its list chromatic number $\chi_{\ell}(G)$ is equal to its chromatic number $\chi(G)$. Chromatic-choosability is a well-studied topic, and in fact, some of the most famous results and conjectures related to list coloring involve chromatic-choosability. In 2002 Ohba showed that for any graph $G$ there is an $N \in \mathbb{N}$ such that the join of $G$ and a complete graph on at least $N$ vertices is chromatic-choosable. The Ohba number of $G$ is the smallest such $N$. In 2014, Noel suggested studying the Ohba number, $\tau_{0}(a,b)$, of complete bipartite graphs with partite sets of size $a$ and $b$. In this paper we improve a 2009 result of Allagan by showing that $\tau_{0}(2,b) = \lfloor \sqrt{b} \rfloor - 1$ for all $b \geq 2$, and we show that for $a \geq 2$, $\tau_{0}(a,b) = \Omega( \sqrt{b} )$ as $b \rightarrow \infty$. We also initiate the study of some relaxed versions of the Ohba number of a graph which we call generalized Ohba numbers. We present some upper and lower bounds of generalized Ohba numbers of complete bipartite graphs while also posing some questions.


title: Transformer based Multitask Learning for Image Captioning and Object Detection

abstract: In several real-world scenarios like autonomous navigation and mobility, to obtain a better visual understanding of the surroundings, image captioning and object detection play a crucial role. This work introduces a novel multitask learning framework that combines image captioning and object detection into a joint model. We propose TICOD, Transformer-based Image Captioning and Object detection model for jointly training both tasks by combining the losses obtained from image captioning and object detection networks. By leveraging joint training, the model benefits from the complementary information shared between the two tasks, leading to improved performance for image captioning. Our approach utilizes a transformer-based architecture that enables end-to-end network integration for image captioning and object detection and performs both tasks jointly. We evaluate the effectiveness of our approach through comprehensive experiments on the MS-COCO dataset. Our model outperforms the baselines from image captioning literature by achieving a 3.65% improvement in BERTScore.


title: Cyclic variations of the structure and energetics of solar magnetic fields

abstract: The solar cycle is a complex phenomenon, a comprehensive understanding of which requires the study of various tracers. Here, we consider the solar cycle as manifested in the harmonics of the solar large-scale surface magnetic field, including zonal, sectorial and tesseral harmonics, divided into odd and even relative to the solar equator. In addition to considering the amplitudes of the harmonics, we analyze their contribution to the magnetic energy. It turns out that the relative contribution of different types of harmonics to the magnetic energy is virtually independent of the cycle height. We identify different phases of the activity cycle using harmonics of different symmetries. A possible way to incorporate the obtained result into the solar dynamo theory is proposed.


title: ArgMed-Agents: Explainable Clinical Decision Reasoning with LLM Disscusion via Argumentation Schemes

abstract: There are two main barriers to using large language models (LLMs) in clinical reasoning. Firstly, while LLMs exhibit significant promise in Natural Language Processing (NLP) tasks, their performance in complex reasoning and planning falls short of expectations. Secondly, LLMs use uninterpretable methods to make clinical decisions that are fundamentally different from the clinician's cognitive processes. This leads to user distrust. In this paper, we present a multi-agent framework called ArgMed-Agents, which aims to enable LLM-based agents to make explainable clinical decision reasoning through interaction. ArgMed-Agents performs self-argumentation iterations via Argumentation Scheme for Clinical Discussion (a reasoning mechanism for modeling cognitive processes in clinical reasoning), and then constructs the argumentation process as a directed graph representing conflicting relationships. Ultimately, use symbolic solver to identify a series of rational and coherent arguments to support decision. We construct a formal model of ArgMed-Agents and present conjectures for theoretical guarantees. ArgMed-Agents enables LLMs to mimic the process of clinical argumentative reasoning by generating explanations of reasoning in a self-directed manner. The setup experiments show that ArgMed-Agents not only improves accuracy in complex clinical decision reasoning problems compared to other prompt methods, but more importantly, it provides users with decision explanations that increase their confidence.


title: A streamlined Approach to Multimodal Few-Shot Class Incremental Learning for Fine-Grained Datasets

abstract: Few-shot Class-Incremental Learning (FSCIL) poses the challenge of retaining prior knowledge while learning from limited new data streams, all without overfitting. The rise of Vision-Language models (VLMs) has unlocked numerous applications, leveraging their existing knowledge to fine-tune on custom data. However, training the whole model is computationally prohibitive, and VLMs while being versatile in general domains still struggle with fine-grained datasets crucial for many applications. We tackle these challenges with two proposed simple modules. The first, Session-Specific Prompts (SSP), enhances the separability of image-text embeddings across sessions. The second, Hyperbolic distance, compresses representations of image-text pairs within the same class while expanding those from different classes, leading to better representations. Experimental results demonstrate an average 10-point increase compared to baselines while requiring at least 8 times fewer trainable parameters. This improvement is further underscored on our three newly introduced fine-grained datasets.


title: Quantum perspective for the non-equilibrium fluctuation relation and its experimental testing

abstract: Non-equilibrium fluctuation theorems (NFTs) relate work performed on a system as its Hamiltonian varies with time, to equilibrium data of the intial and final states. Testing these remarkable relations is currently restricted to classical systems or to simple quantum systems whose energy state can be directly measured. Here we introduce the concept of a quantum work agent in thermodynamic processes, and suggest that it can allow to probe NFTs in general quantum systems. We elaborate on a simple model in the framework of mesoscopic systems, and discuss future applications.


title: Entanglement of bosonic systems under monitored evolution

abstract: The evolution of non-interacting bosons in the presence of repeated projective measurements is studied. Following the established approach, this monitored evolution is characterized by the first detected return and the first detected transition probabilities. We show that these quantities are directly related to the entanglement entropy and to the entanglement spectrum of a bipartite system. Calculations with specific values for the number of bosons, the number of measurements and the time step between measurements reveal a sensitive and often strongly fluctuating entanglement entropy. In particular, we demonstrate that in the vicinity of special values for the time steps the evolution of the entanglement entropy is either stationary or performs dynamical switching between two or more stationary values. In the entanglement spectrum, on the other hand, this complex behavior can be associated with level crossings, indicating that the dominant quantum states and their entanglement respond strongly to a change of the system parameters. We discuss briefly the role of time averaging to remove the fluctuations of the entanglement entropy.


title: Analysis of Total Variation Minimization for Clustered Federated Learning

abstract: A key challenge in federated learning applications is the statistical heterogeneity of local datasets. Clustered federated learning addresses this challenge by identifying clusters of local datasets that are approximately homogeneous. One recent approach to clustered federated learning is generalized total variation minimization (GTVMin). This approach requires a similarity graph which can be obtained by domain expertise or in a data-driven fashion via graph learning techniques. Under a widely applicable clustering assumption, we derive an upper bound the deviation between GTVMin solutions and their cluster-wise averages. This bound provides valuable insights into the effectiveness and robustness of GTVMin in addressing statistical heterogeneity within federated learning environments.


title: Disentangling Resilience from Robustness: Contextual Dualism, Interactionism, and Game-Theoretic Paradigms

abstract: This article explains the distinctions between robustness and resilience in control systems. Resilience confronts a distinct set of challenges, posing new ones for designing controllers for feedback systems, networks, and machines that prioritize resilience over robustness. The concept of resilience is explored through a three-stage model, emphasizing the need for a proactive preparation and automated response to elastic events. A toy model is first used to illustrate the tradeoffs between resilience and robustness. Then, it delves into contextual dualism and interactionism, and introduces game-theoretic paradigms as a unifying framework to consolidate resilience and robustness. The article concludes by discussing the interplay between robustness and resilience, suggesting that a comprehensive theory of resilience and quantification metrics, and formalization through game-theoretic frameworks are necessary. The exploration extends to system-of-systems resilience and various mechanisms, including the integration of AI techniques and non-technical solutions, like cyber insurance, to achieve comprehensive resilience in control systems. As we approach 2030, the systems and control community is at the opportune moment to lay scientific foundations of resilience by bridging feedback control theory, game theory, and learning theory. Resilient control systems will enhance overall quality of life, enable the development of a resilient society, and create a societal-scale impact amid global challenges such as climate change, conflicts, and cyber insecurity.


title: Cross-ecosystem categorization: A manual-curation protocol for the categorization of Java Maven libraries along Python PyPI Topics

abstract: Context: Software of different functional categories, such as text processing vs. networking, has different profiles in terms of metrics like security and updates. Using popularity to compare e.g. Java vs. Python libraries might give a skewed perspective, as the categories of the most popular software vary from one ecosystem to the next. How can one compare libraries datasets across software ecosystems, when not even the category names are uniform among them? Objective: We study how to generate a language-agnostic categorisation of software by functional purpose, that enables cross-ecosystem studies of libraries datasets. This provides the functional fingerprint information needed for software metrics comparisons. Method: We designed and implemented a human-guided protocol to categorise libraries from software ecosystems. Category names mirror PyPI Topic classifiers, but the protocol is generic and can be applied to any ecosystem. We demonstrate it by categorising 256 Java/Maven libraries with severe security vulnerabilities. Results: The protocol allows three or more people to categorise any number of libraries. The categorisation produced is functional-oriented and language-agnostic. The Java/Maven dataset demonstration resulted in a majority of Internet-oriented libraries, coherent with its selection by severe vulnerabilities. To allow replication and updates, we make the dataset and the protocol individual steps available as open data. Conclusions: Libraries categorisation by functional purpose is feasible with our protocol, which produced the fingerprint of a 256-libraries Java dataset. While this was labour intensive, humans excel in the required inference tasks, so full automation of the process is not envisioned. However, results can provide the ground truth needed for machine learning in large-scale cross-ecosystem empirical studies.


title: LIEDER: Linguistically-Informed Evaluation for Discourse Entity Recognition

abstract: Discourse Entity (DE) recognition is the task of identifying novel and known entities introduced within a text. While previous work has found that large language models have basic, if imperfect, DE recognition abilities (Schuster and Linzen, 2022), it remains largely unassessed which of the fundamental semantic properties that govern the introduction and subsequent reference to DEs they have knowledge of. We propose the Linguistically-Informed Evaluation for Discourse Entity Recognition (LIEDER) dataset that allows for a detailed examination of language models' knowledge of four crucial semantic properties: existence, uniqueness, plurality, and novelty. We find evidence that state-of-the-art large language models exhibit sensitivity to all of these properties except novelty, which demonstrates that they have yet to reach human-level language understanding abilities.


title: Nonparametric Automatic Differentiation Variational Inference with Spline Approximation

abstract: Automatic Differentiation Variational Inference (ADVI) is efficient in learning probabilistic models. Classic ADVI relies on the parametric approach to approximate the posterior. In this paper, we develop a spline-based nonparametric approximation approach that enables flexible posterior approximation for distributions with complicated structures, such as skewness, multimodality, and bounded support. Compared with widely-used nonparametric variational inference methods, the proposed method is easy to implement and adaptive to various data structures. By adopting the spline approximation, we derive a lower bound of the importance weighted autoencoder and establish the asymptotic consistency. Experiments demonstrate the efficiency of the proposed method in approximating complex posterior distributions and improving the performance of generative models with incomplete data.


title: A Unifying Approach for the Pricing of Debt Securities

abstract: We propose a unifying framework for the pricing of debt securities under general time-inhomogeneous short-rate diffusion processes. The pricing of bonds, bond options, callable/putable bonds, and convertible bonds (CBs) are covered. Using continuous-time Markov chain (CTMC) approximation, we obtain closed-form matrix expressions to approximate the price of bonds and bond options under general one-dimensional short-rate processes. A simple and efficient algorithm is also developed to price callable/putable debts. The availability of a closed-form expression for the price of zero-coupon bonds allows for the perfect fit of the approximated model to the current market term structure of interest rates, regardless of the complexity of the underlying diffusion process selected. We further consider the pricing of CBs under general bi-dimensional time-inhomogeneous diffusion processes to model equity and short-rate dynamics. Credit risk is also incorporated into the model using the approach of Tsiveriotis and Fernandes (1998). Based on a two-layer CTMC method, an efficient algorithm is developed to approximate the price of convertible bonds. When conversion is only allowed at maturity, a closed-form matrix expression is obtained. Numerical experiments show the accuracy and efficiency of the method across a wide range of model parameters and short-rate models.


title: Hybrid-order topology with tunable chiral hinge modes and unpinned Dirac surface states in the altermagnetic insulator Eu$_{3}$In$_{2}$As$_{4}$

abstract: The exploration of magnetic topological states is instrumental in exploring axion electrodynamics and intriguing transport phenomena, such as the quantum anomalous Hall effect. Here, we predict that the recently-synthesized material Eu$_{3}$In$_{2}$As$_{4}$ exhibits as both an axion insulator and a 3D Stiefel-Whitney insulator with an altermagnetic order. When spins align in the $ab$ plane, we find an unpinned surface Dirac cone on the $ab$ plane and chiral hinge states along the $c$ direction, where hinge states can generate a half-quantized surface anomalous Hall effect on the $ac$ and $bc$ facets. When spins align along $c$, we observe a mirror-protected topological crystalline insulator. Furthermore, the ferromagnetic phase, in which spins are aligned in the same direction by an external in-plane magnetic field, presents an ideal Weyl semimetal with a single pair of type-I Weyl points and no extra Fermi pocket. Our work predicts rich topological states tuned by magnetic structures in Eu$_{3}$In$_{2}$As$_{4}$, supporting the further study of the topological transport and Majorana fermions in proximity to a superconductor.


title: Preparation of Epitaxial Scandium Trifluoride Thin Films using Pulsed Laser Deposition

abstract: Bulk Scandium trifluoride ($\mathrm{ScF_3}$) is known for a pronounced negative thermal expansion (NTE) over a wide range of temperature, from $10~\mathrm{K}~\text{to}~ 1100~\mathrm{K}$. The structure of $\mathrm{ScF_3}$ can be described as an $\mathrm{ABX_3}$ perovskite with an empty A-site and a space group of Pm-3m. Growing thin films of $\mathrm{ScF_3}$ allows for tuning the lattice constant, the thermal expansion, and the construction of devices based upon differential thermal expansion. We have investigated the growth of $\mathrm{ScF_3}$ films on oxide and fluoride substrates using pulsed laser deposition (PLD) This letter describes the successful growth recipe for producing high quality epitaxial $\mathrm{ScF_3}$ thin films on positive thermal expansion (PTE) lithium fluoride ($\mathrm{LiF}$) substrates, at substrate temperature, $350^{\circ}\mathrm{C}$ with a laser repetition rate of $1~\mathrm{Hz}$, with an energy per pulse of $600~\mathrm{mJ}$, under a vacuum of $1.5\times 10^{-6}~ \mathrm{torr}$, for a growth time of $6$ hours. However, even for films with excellent epitaxy and sharp peaks along the principal axes, diffraction peaks from certain crystallographic directions are extremely broad, with the example of ($104$) reflections, in this work. We attribute this broadening to disorder in the $\mathrm{F_6}$ octahedral rotations that occur as an attempt to accommodate the large temperature-induced lattice mismatch that results in cooling from the growth temperature for this system of a NTE film mated to a PTE substrate.


title: Quantum physics, digital computers, and life from a holistic perspective

abstract: Quantum physics is a linear theory, so it is somewhat puzzling that it can underlie very complex systems such as digital computers and life. This paper investigates how this is possible. Physically, such complex systems are necessarily modular hierarchical structures, with a number of key features. Firstly, they cannot be described by a single wave function: only local wave functions can exist, rather than a single wave function for a living cell, a cat, or a brain. Secondly, the quantum to classical transition is characterised by contextual wave-function collapse shaped by macroscopic elements that can be described classically. Thirdly, downward causation occurs in the physical hierarchy in two key ways: by the downward influence of time dependent constraints, and by creation, modification, or deletion of lower level elements. Fourthly, there are also logical modular hierarchical structures supported by the physical ones, such as algorithms and computer programs, They are able to support arbitrary logical operations, which can influence physical outcomes as in computer aided design and 3-d printing. Finally, complex systems are necessarily open systems, with heat baths playing a key role in their dynamics and providing local arrows of time that agree with the cosmological direction of time that is established by the evolution of the universe.


title: Fast-Track of F-18 Positron paths simulations using GANs

abstract: In recent years, the use of Monte Carlo (MC) simulations in the domain of Medical Physics has become a state-of-the-art technology that consumes lots of computational resources for the accurate prediction of particle interactions. The use of generative adversarial network (GAN) has been recently proposed as an alternative to improve the efficiency and extending the applications of computational tools in both medical imaging and therapeutic applications. This study introduces a new approach to simulate positron paths originating from Fluorine 18 (18 F) isotopes through the utilization of GANs. The proposed methodology developed a pure conditional transformer least squares (LS)-GAN model, designed to generate positron paths, and to track their interaction within the surrounding material. Conditioning factors include the pre-determined number of interactions, and the initial momentum of the emitted positrons, as derived from the emission spectrum of 18 F. By leveraging these conditions, the model aims to quickly and accurately simulate electromagnetic interactions of positron paths. Results were compared to the outcome produced with Geant4 Application for Tomography Emission (GATE) MC simulations toolkit. Less than 10 % of difference was observed in the calculation of the mean and maximum length of the path and the 1-D point spread function (PSF) for three different materials (Water, Bone, Lung).


title: Diffusion Posterior Sampling for Synergistic Reconstruction in Spectral Computed Tomography

abstract: Using recent advances in generative artificial intelligence (AI) brought by diffusion models, this paper introduces a new synergistic method for spectral computed tomography (CT) reconstruction. Diffusion models define a neural network to approximate the gradient of the log-density of the training data, which is then used to generate new images similar to the training ones. Following the inverse problem paradigm, we propose to adapt this generative process to synergistically reconstruct multiple images at different energy bins from multiple measurements. The experiments suggest that using multiple energy bins simultaneously improves the reconstruction by inverse diffusion and outperforms state-of-the-art synergistic reconstruction techniques.


title: Use of Nash equilibrium in finding game theoretic robust security bound on quantum bit error rate

abstract: Nash equilibrium is employed to find a game theoretic robust security bound on quantum bit error rate (QBER) for DL04 protocol which is a scheme for quantum secure direct communication that has been experimentally realized recently. The receiver, sender, and eavesdropper (Eve) are considered to be quantum players (players having the capability to perform quantum operations). Specifically, Eve is considered to have the capability of performing quantum attacks (e.g., W\'ojcik's original attack, W\'ojcik's symmetrized attack, and Pavi\v{c}i\'c attack) and classical intercept and resend attack. Game theoretic analysis of the security of DL04 protocol in the above scenario is performed by considering several sub-game scenarios. The analysis revealed the absence of a Pareto optimal Nash equilibrium point within these sub-games. Consequently, mixed strategy Nash equilibrium points are identified and employed to establish both upper and lower bounds for QBER. Further, the vulnerability of the DL04 protocol to Pavi\v{c}i\'c attack in the message mode is established. In addition, it is observed that the quantum attacks performed by Eve are more powerful than the classical attack, as the QBER value and the probability of detecting Eve's presence are found to be lower in quantum attacks compared to classical ones.


title: Higher-order spring-coupled multilevel Monte Carlo method for invariant measures

abstract: A higher-order change-of-measure multilevel Monte Carlo (MLMC) method is developed for computing weak approximations of the invariant measures of SDE with drift coefficients that do not satisfy the contractivity condition. This is achieved by introducing a spring term in the pairwise coupling of the MLMC trajectories employing the order 1.5 strong It\^o--Taylor method. Through this, we can recover the contractivity property of the drift coefficient while still retaining the telescoping sum property needed for implementing the MLMC method. We show that the variance of the change-of-measure MLMC method grows linearly in time $T$ for all $T > 0$, and for all sufficiently small timestep size $h > 0$. For a given error tolerance $\epsilon > 0$, we prove that the method achieves a mean-square-error accuracy of $O(\epsilon^2)$ with a computational cost of $O(\epsilon^{-2} \big\vert \log \epsilon \big\vert^{3/2} (\log \big\vert \log \epsilon \big\vert)^{1/2})$ for uniformly Lipschitz continuous payoff functions and $O \big( \epsilon^{-2} \big\vert \log \epsilon \big\vert^{5/3 + \xi} \big)$ for discontinuous payoffs, respectively, where $\xi > 0$. We also observe an improvement in the constant associated with the computational cost of the higher-order change-of-measure MLMC method, marking an improvement over the Milstein change-of-measure method in the aforementioned seminal work by M. Giles and W. Fang. Several numerical tests were performed to verify the theoretical results and assess the robustness of the method.


title: How much data do you need? Part 2: Predicting DL class specific training dataset sizes

abstract: This paper targets the question of predicting machine learning classification model performance, when taking into account the number of training examples per class and not just the overall number of training examples. This leads to the a combinatorial question, which combinations of number of training examples per class should be considered, given a fixed overall training dataset size. In order to solve this question, an algorithm is suggested which is motivated from special cases of space filling design of experiments. The resulting data are modeled using models like powerlaw curves and similar models, extended like generalized linear models i.e. by replacing the overall training dataset size by a parametrized linear combination of the number of training examples per label class. The proposed algorithm has been applied on the CIFAR10 and the EMNIST datasets.


title: Multi-gated perimeter flow control for monocentric cities: Efficiency and equity

abstract: A control scheme for the multi-gated perimeter traffic flow control problem of cities is presented. The proposed scheme determines feasible and optimally distributed input flows for the various gates located at the periphery of a protected network. A parsimonious model is employed to describe the traffic dynamics of the protected network. To describe traffic dynamics outside of the protected area, the state-space model is augmented with additional state variables to account for vehicle queues at store-and-forward origin links at the periphery. The perimeter flow control problem is formulated as a convex optimisation problem with finite horizon, and constrained control and state variables. It aims to equalise the relative queues at origin links and to maintain the vehicle accumulation in the protected network around a desired set point, while the system's throughput is maximised. For real-time control, the optimal control problem is embedded in a rolling-horizon scheme using the current state of the system as the initial state as well as predicted demand flows at entrance links. Furthermore, practical flow allocation policies for single-region perimeter control without explicitly considering entrance link dynamics are presented. These policies allocate a global perimeter-ordered flow to candidate gates at the periphery of a protected network by taking into account the different geometric characteristics of origin links. The proposed flow allocation policies are then benchmarked against the multi-gated perimeter flow control. A study is carried out for a 2.5 square mile protected network area of San Francisco, CA, including fifteen gates of different geometric characteristics. The results have showed that the proposed scheme is able to manage excessive queues outside of the protected network and to optimally distribute the input flows, which confirms its efficiency and equity properties.


title: Optimal Policy Sparsification and Low Rank Decomposition for Deep Reinforcement Learning

abstract: Deep reinforcement learning(DRL) has shown significant promise in a wide range of applications including computer games and robotics. Yet, training DRL policies consume extraordinary computing resources resulting in dense policies which are prone to overfitting. Moreover, inference with dense DRL policies limit their practical applications, especially in edge computing. Techniques such as pruning and singular value decomposition have been used with deep learning models to achieve sparsification and model compression to limit overfitting and reduce memory consumption. However, these techniques resulted in sub-optimal performance with notable decay in rewards. $L_1$ and $L_2$ regularization techniques have been proposed for neural network sparsification and sparse auto-encoder development, but their implementation in DRL environments has not been apparent. We propose a novel $L_0$-norm-regularization technique using an optimal sparsity map to sparsify DRL policies and promote their decomposition to a lower rank without decay in rewards. We evaluated our $L_0$-norm-regularization technique across five different environments (Cartpole-v1, Acrobat-v1, LunarLander-v2, SuperMarioBros-7.1.v0 and Surgical Robot Learning) using several on-policy and off-policy algorithms. We demonstrated that the $L_0$-norm-regularized DRL policy in the SuperMarioBros environment achieved 93% sparsity and gained 70% compression when subjected to low-rank decomposition, while significantly outperforming the dense policy. Additionally, the $L_0$-norm-regularized DRL policy in the Surgical Robot Learning environment achieved a 36% sparsification and gained 46% compression when decomposed to a lower rank, while being performant. The results suggest that our custom $L_0$-norm-regularization technique for sparsification of DRL policies is a promising avenue to reduce computational resources and limit overfitting.


title: Effects of a dark matter caustic passing through the Oort Cloud

abstract: We investigate the effect of a dark matter caustic passing through the Solar System. We find, confirming a previous result, that the Sun tracks the caustic surface for some time. We integrate numerically the equations of motion of the Sun and a comet for a large number of initial conditions and of caustic passage properties. We calculate the probability for the comet to escape the Solar System and the probability for it to fall within 50 A.U. of the Sun, given the initial semi-major axis and eccentricity of its orbit. We find that the average probability for a comet to fall within 50 A.U. of the Sun is of order $3 \cdot 10^{-4}$ and that comets which are initially at a distance larger than about $10^5$ A.U. have a probability of order one to be ejected from the Solar System.


title: A Study on Domain Generalization for Failure Detection through Human Reactions in HRI

abstract: Machine learning models are commonly tested in-distribution (same dataset); performance almost always drops in out-of-distribution settings. For HRI research, the goal is often to develop generalized models. This makes domain generalization - retaining performance in different settings - a critical issue. In this study, we present a concise analysis of domain generalization in failure detection models trained on human facial expressions. Using two distinct datasets of humans reacting to videos where error occurs, one from a controlled lab setting and another collected online, we trained deep learning models on each dataset. When testing these models on the alternate dataset, we observed a significant performance drop. We reflect on the causes for the observed model behavior and leave recommendations. This work emphasizes the need for HRI research focusing on improving model robustness and real-life applicability.


title: Background discrimination with a Micromegas detector prototype and veto system for BabyIAXO

abstract: In this paper we present measurements performed with a Micromegas X-ray detector setup. The detector is a prototype in the context of the BabyIAXO helioscope, which is under construction to search for an emission of the hypothetical axion particle from the sun. An important component of such a helioscope is a low background X-ray detector with a high efficiency in the 1-10 keV energy range. The goal of the measurement was to study techniques for background discrimination. In addition to common techniques we used a multi-layer veto system designed to tag cosmogenic neutron background. Over an effective time of 52 days, a background level of $8.6 \times 10^{-7}\,\text{counts keV}^{-1}\,\text{cm}^{-2} \, \text{s}^{-1}$ was reached in a laboratory at above ground level. This is the lowest background level achieved at surface level. In this paper we present the experimental setup, show simulations of the neutron-induced background, and demonstrate the process to identify background signals in the data. Finally, prospects to reach lower background levels down to $10^{-7} \, \text{counts keV}^{-1} \, \text{cm}^{-2} \, \text{s}^{-1}$ will be discussed.


title: An End-to-End Deep Learning Generative Framework for Refinable Shape Matching and Generation

abstract: Generative modelling for shapes is a prerequisite for In-Silico Clinical Trials (ISCTs), which aim to cost-effectively validate medical device interventions using synthetic anatomical shapes, often represented as 3D surface meshes. However, constructing AI models to generate shapes closely resembling the real mesh samples is challenging due to variable vertex counts, connectivities, and the lack of dense vertex-wise correspondences across the training data. Employing graph representations for meshes, we develop a novel unsupervised geometric deep-learning model to establish refinable shape correspondences in a latent space, construct a population-derived atlas and generate realistic synthetic shapes. We additionally extend our proposed base model to a joint shape generative-clustering multi-atlas framework to incorporate further variability and preserve more details in the generated shapes. Experimental results using liver and left-ventricular models demonstrate the approach's applicability to computational medicine, highlighting its suitability for ISCTs through a comparative analysis.


title: Lattice Points and Rational $q$-Catalan Numbers

abstract: For each pair of coprime integers $a$ and $b$ one defines the "rational $q$-Catalan number" $\mathrm{Cat}(a,b)_q=\bigl[\hskip-1.5pt \begin{smallmatrix}{a-1+b}\\{a-1}\end{smallmatrix}\hskip-1pt\bigr]_q/[a]_q$. It is known that this is a polynomial in $q$ with nonnegative integer coefficients, but this phenomenon is mysterious. Despite recent progress in the understanding of these polynomials and their two-variable $q,t$-analogues, we still lack a simple combinatorial interpretation of the coefficients. The current paper builds on a conjecture of Paul Johnson relating $q$-Catalan numbers to lattice points. The main idea of this approach is to fix $a$ and express everything in terms of the weight lattice of type $A_{a-1}$. For a given $a$ we construct a family of $(a-2)\phi(a)+1$ polynomials called "$q$-Catalan germs" and for each integer $b$ coprime to $a$ we express $\mathrm{Cat}(a,b)_q$ in terms of germs. We conjecture that the germs have nonnegative coefficients and we show that this nonnegativity conjecture is implied by a stronger conjecture about "ribbon partitions" of certain subposets of Young's lattice.


title: Fake or Compromised? Making Sense of Malicious Clients in Federated Learning

abstract: Federated learning (FL) is a distributed machine learning paradigm that enables training models on decentralized data. The field of FL security against poisoning attacks is plagued with confusion due to the proliferation of research that makes different assumptions about the capabilities of adversaries and the adversary models they operate under. Our work aims to clarify this confusion by presenting a comprehensive analysis of the various poisoning attacks and defensive aggregation rules (AGRs) proposed in the literature, and connecting them under a common framework. To connect existing adversary models, we present a hybrid adversary model, which lies in the middle of the spectrum of adversaries, where the adversary compromises a few clients, trains a generative (e.g., DDPM) model with their compromised samples, and generates new synthetic data to solve an optimization for a stronger (e.g., cheaper, more practical) attack against different robust aggregation rules. By presenting the spectrum of FL adversaries, we aim to provide practitioners and researchers with a clear understanding of the different types of threats they need to consider when designing FL systems, and identify areas where further research is needed.


title: Almost Optimal Agnostic Control of Unknown Linear Dynamics

abstract: We consider a simple control problem in which the underlying dynamics depend on a parameter $a$ that is unknown and must be learned. We study three variants of the control problem: Bayesian control, in which we have a prior belief about $a$; bounded agnostic control, in which we have no prior belief about $a$ but we assume that $a$ belongs to a bounded set; and fully agnostic control, in which $a$ is allowed to be an arbitrary real number about which we have no prior belief. In the Bayesian variant, a control strategy is optimal if it minimizes a certain expected cost. In the agnostic variants, a control strategy is optimal if it minimizes a quantity called the worst-case regret. For the Bayesian and bounded agnostic variants above, we produce optimal control strategies. For the fully agnostic variant, we produce almost optimal control strategies, i.e., for any $\varepsilon>0$ we produce a strategy that minimizes the worst-case regret to within a multiplicative factor of $(1+\varepsilon)$.


title: Vertex Block Descent

abstract: We introduce vertex block descent, a block coordinate descent solution for the variational form of implicit Euler through vertex-level Gauss-Seidel iterations. It operates with local vertex position updates that achieve reductions in global variational energy with maximized parallelism. This forms a physics solver that can achieve numerical convergence with unconditional stability and exceptional computation performance. It can also fit in a given computation budget by simply limiting the iteration count while maintaining its stability and superior convergence rate. We present and evaluate our method in the context of elastic body dynamics, providing details of all essential components and showing that it outperforms alternative techniques. In addition, we discuss and show examples of how our method can be used for other simulation systems, including particle-based simulations and rigid bodies.


title: Leveraging Computer Vision in the Intensive Care Unit (ICU) for Examining Visitation and Mobility

abstract: Despite the importance of closely monitoring patients in the Intensive Care Unit (ICU), many aspects are still assessed in a limited manner due to the time constraints imposed on healthcare providers. For example, although excessive visitations during rest hours can potentially exacerbate the risk of circadian rhythm disruption and delirium, it is not captured in the ICU. Likewise, while mobility can be an important indicator of recovery or deterioration in ICU patients, it is only captured sporadically or not captured at all. In the past few years, the computer vision field has found application in many domains by reducing the human burden. Using computer vision systems in the ICU can also potentially enable non-existing assessments or enhance the frequency and accuracy of existing assessments while reducing the staff workload. In this study, we leverage a state-of-the-art noninvasive computer vision system based on depth imaging to characterize ICU visitations and patients' mobility. We then examine the relationship between visitation and several patient outcomes, such as pain, acuity, and delirium. We found an association between deteriorating patient acuity and the incidence of delirium with increased visitations. In contrast, self-reported pain, reported using the Defense and Veteran Pain Rating Scale (DVPRS), was correlated with decreased visitations. Our findings highlight the feasibility and potential of using noninvasive autonomous systems to monitor ICU patients.


title: Risk-Sensitive RL with Optimized Certainty Equivalents via Reduction to Standard RL

abstract: We study Risk-Sensitive Reinforcement Learning (RSRL) with the Optimized Certainty Equivalent (OCE) risk, which generalizes Conditional Value-at-risk (CVaR), entropic risk and Markowitz's mean-variance. Using an augmented Markov Decision Process (MDP), we propose two general meta-algorithms via reductions to standard RL: one based on optimistic algorithms and another based on policy optimization. Our optimistic meta-algorithm generalizes almost all prior RSRL theory with entropic risk or CVaR. Under discrete rewards, our optimistic theory also certifies the first RSRL regret bounds for MDPs with bounded coverability, e.g., exogenous block MDPs. Under discrete rewards, our policy optimization meta-algorithm enjoys both global convergence and local improvement guarantees in a novel metric that lower bounds the true OCE risk. Finally, we instantiate our framework with PPO, construct an MDP, and show that it learns the optimal risk-sensitive policy while prior algorithms provably fail.


title: ACM MMSys 2024 Bandwidth Estimation in Real Time Communications Challenge

abstract: The quality of experience (QoE) delivered by video conferencing systems to end users depends in part on correctly estimating the capacity of the bottleneck link between the sender and the receiver over time. Bandwidth estimation for real-time communications (RTC) remains a significant challenge, primarily due to the continuously evolving heterogeneous network architectures and technologies. From the first bandwidth estimation challenge which was hosted at ACM MMSys 2021, we learned that bandwidth estimation models trained with reinforcement learning (RL) in simulations to maximize network-based reward functions may not be optimal in reality due to the sim-to-real gap and the difficulty of aligning network-based rewards with user-perceived QoE. This grand challenge aims to advance bandwidth estimation model design by aligning reward maximization with user-perceived QoE optimization using offline RL and a real-world dataset with objective rewards which have high correlations with subjective audio/video quality in Microsoft Teams. All models submitted to the grand challenge underwent initial evaluation on our emulation platform. For a comprehensive evaluation under diverse network conditions with temporal fluctuations, top models were further evaluated on our geographically distributed testbed by using each model to conduct 600 calls within a 12-day period. The winning model is shown to deliver comparable performance to the top behavior policy in the released dataset. By leveraging real-world data and integrating objective audio/video quality scores as rewards, offline RL can therefore facilitate the development of competitive bandwidth estimators for RTC.


title: Odd-frequency superfluidity from a particle-number-conserving perspective

abstract: We investigate odd-in-time (or odd-frequency) pairing of fermions in equilibrium systems within the particle-number-conserving framework of Penrose, Onsager and Yang, where superfluid order is defined by macrosocopic eigenvalues of reduced density matrices. We show that odd-frequency pair correlations are synonymous with even fermion-exchange symmetry in a time-dependent correlation function that generalises the two-body reduced density matrix. Macroscopic even-under-fermion-exchange pairing is found to emerge from conventional Penrose-Onsager-Yang condensation in two-body or higher-order reduced density matrices through the symmetry-mixing properties of the Hamiltonian. We identify and characterise a transformer matrix responsible for producing macroscopic even fermion-exchange correlations that coexist with a conventional Cooper-pair condensate, while a generator matrix is shown to be responsible for creating macroscopic even fermion-exchange correlations from hidden orders such as a multi-particle condensate. The transformer scenario is illustrated using the spin-imbalanced Fermi superfluid as an example. The generator scenario is demonstrated by the composite-boson condensate arising for itinerant electrons coupled to magnetic excitations. Structural analysis of the transformer and generator matrices is shown to provide general conditions for odd-frequency pairing order to arise in a given system.


title: From Instructions to Constraints: Language Model Alignment with Automatic Constraint Verification

abstract: User alignment is crucial for adapting general-purpose language models (LMs) to downstream tasks, but human annotations are often not available for all types of instructions, especially those with customized constraints. We observe that user instructions typically contain constraints. While assessing response quality in terms of the whole instruction is often costly, efficiently evaluating the satisfaction rate of constraints is feasible. We investigate common constraints in NLP tasks, categorize them into three classes based on the types of their arguments, and propose a unified framework, ACT (Aligning to ConsTraints), to automatically produce supervision signals for user alignment with constraints. Specifically, ACT uses constraint verifiers, which are typically easy to implement in practice, to compute constraint satisfaction rate (CSR) of each response. It samples multiple responses for each prompt and collect preference labels based on their CSR automatically. Subsequently, ACT adapts the LM to the target task through a ranking-based learning process. Experiments on fine-grained entity typing, abstractive summarization, and temporal question answering show that ACT is able to enhance LMs' capability to adhere to different classes of constraints, thereby improving task performance. Further experiments show that the constraint-following capabilities are transferable.


title: Hybrid Soft Electrostatic Metamaterial Gripper for Multi-surface, Multi-object Adaptation

abstract: One of the trendsetting themes in soft robotics has been the goal of developing the ultimate universal soft robotic gripper. One that is capable of manipulating items of various shapes, sizes, thicknesses, textures, and weights. All the while still being lightweight and scalable in order to adapt to use cases. In this work, we report a soft gripper that enables delicate and precise grasps of fragile, deformable, and flexible objects but also excels in lifting heavy objects of up to 1617x its own body weight. The principle behind the soft gripper is based on extending the capabilities of electroadhesion soft grippers through the enhancement principles found in metamaterial adhesion cut and patterning. This design amplifies the adhesion and grasping payload in one direction while reducing the adhesion capabilities in the other direction. This counteracts the residual forces during peeling (a common problem with electroadhesive grippers), thus increasing its speed of release. In essence, we are able to tune the maximum strength and peeling speed, beyond the capabilities of previous electroadhesive grippers. We study the capabilities of the system through a wide range of experiments with single and multiple-fingered peel tests. We also demonstrate its modular and adaptive capabilities in the real-world with a two-finger gripper, by performing grasping tests of up to $5$ different multi-surfaced objects.


title: Transferable Reinforcement Learning via Generalized Occupancy Models

abstract: Intelligent agents must be generalists, capable of quickly adapting to various tasks. In reinforcement learning (RL), model-based RL learns a dynamics model of the world, in principle enabling transfer to arbitrary reward functions through planning. However, autoregressive model rollouts suffer from compounding error, making model-based RL ineffective for long-horizon problems. Successor features offer an alternative by modeling a policy's long-term state occupancy, reducing policy evaluation under new tasks to linear reward regression. Yet, policy improvement with successor features can be challenging. This work proposes a novel class of models, i.e., generalized occupancy models (GOMs), that learn a distribution of successor features from a stationary dataset, along with a policy that acts to realize different successor features. These models can quickly select the optimal action for arbitrary new tasks. By directly modeling long-term outcomes in the dataset, GOMs avoid compounding error while enabling rapid transfer across reward functions. We present a practical instantiation of GOMs using diffusion models and show their efficacy as a new class of transferable models, both theoretically and empirically across various simulated robotics problems. Videos and code at https://weirdlabuw.github.io/gom/.


title: Active Learning for Rapid Targeted Synthesis of Compositionally Complex Alloys

abstract: The next generation of advanced materials is tending toward increasingly complex compositions. Synthesizing precise composition is time-consuming and becomes exponentially demanding with increasing compositional complexity. An experienced human operator does significantly better than a beginner but still struggles to consistently achieve precision when synthesis parameters are coupled. The time to optimize synthesis becomes a barrier to exploring scientifically and technologically exciting compositionally complex materials. This investigation demonstrates an Active Learning (AL) approach for optimizing physical vapor deposition synthesis of thin-film alloys with up to five principal elements. We compared AL based on Gaussian Process (GP) and Random Forest (RF) models. The best performing models were able to discover synthesis parameters for a target quinary alloy in 14 iterations. We also demonstrate the capability of these models to be used in transfer learning tasks. RF and GP models trained on lower dimensional systems (i.e. ternary, quarternary) show an immediate improvement in prediction accuracy compared to models trained only on quinary samples. Furthermore, samples that only share a few elements in common with the target composition can be used for model pre-training. We believe that such AL approaches can be widely adapted to significantly accelerate the exploration of compositionally complex materials.


title: On Wilks' joint moment formulas for embedded principal minors of Wishart random matrices

abstract: In 1934, the American statistician Samuel S. Wilks derived remarkable formulas for the joint moments of embedded principal minors of sample covariance matrices in multivariate Gaussian populations, and he used them to compute the moments of sample statistics in various applications related to multivariate linear regression. These important but little-known moment results were extended in 1963 by the Australian statistician A. Graham Constantine using Bartlett's decomposition. In this note, a new proof of Wilks' results is derived using the concept of iterated Schur complements, thereby bypassing Bartlett's decomposition. Furthermore, Wilks' open problem of evaluating joint moments of disjoint principal minors of Wishart random matrices is related to the Gaussian product inequality conjecture.


title: Membrane Interactions in Alzheimer`s Treatment Strategies with Multitarget Molecules

abstract: Addressing Alzheimer's disease (AD) requires innovative strategies beyond current single-target drugs. This Letter to the Editor suggests that multitarget molecules, especially those targeting neuronal membrane protection, could offer a comprehensive approach to AD therapy, advocating for further research into their mechanisms and therapeutic potential.


title: Exploiting the Margin: How Capitalism Fuels AI at the Expense of Minoritized Groups

abstract: This paper explores the intricate relationship between capitalism, racial injustice, and artificial intelligence (AI), arguing that AI acts as a contemporary vehicle for age-old forms of exploitation. By linking historical patterns of racial and economic oppression with current AI practices, this study illustrates how modern technology perpetuates and deepens societal inequalities. It specifically examines how AI is implicated in the exploitation of marginalized communities through underpaid labor in the gig economy, the perpetuation of biases in algorithmic decision-making, and the reinforcement of systemic barriers that prevent these groups from benefiting equitably from technological advances. Furthermore, the paper discusses the role of AI in extending and intensifying the social, economic, and psychological burdens faced by these communities, highlighting the problematic use of AI in surveillance, law enforcement, and mental health contexts. The analysis concludes with a call for transformative changes in how AI is developed and deployed. Advocating for a reevaluation of the values driving AI innovation, the paper promotes an approach that integrates social justice and equity into the core of technological design and policy. This shift is crucial for ensuring that AI serves as a tool for societal improvement, fostering empowerment and healing rather than deepening existing divides.


title: Dynamics of quantum cellular automata electron transition in triple quantum dots

abstract: The quantum cellular automata (QCA) effect is a transition in which multiple electron move coordinately by Coulomb interactions and observed in multiple quantum dots. This effect will be useful for realizing and improving quantum cellular automata and information transfer using multiple electron transfer. In this paper, we investigate the real-time dynamics of the QCA charge transitions in a triple quantum dot by using fast charge-state readout realized by rf reflectometry. We observe real-time charge transitions and analyze the tunneling rate comparing with the first-order tunneling processes. We also measure the gate voltage dependence of the QCA transition and show that it can be controlled by the voltage.


title: Topological product of modal logics with the McKinsey axiom

abstract: In this paper we consider the topological products of modal logics of S4.1 and S4. We prove that it is equal to the fusion of logics S4.1 and S4 plus one additional axiom. We also show that this product is decidable. This is an example of a topological product of logics that is greater than the fusion but less than the expanding product of the corresponding logics.


title: Improved FPT Approximation Scheme and Approximate Kernel for Biclique-Free Max k-Weight SAT: Greedy Strikes Back

abstract: In the Max $k$-Weight SAT (aka Max SAT with Cardinality Constraint) problem, we are given a CNF formula with $n$ variables and $m$ clauses together with a positive integer $k$. The goal is to find an assignment where at most $k$ variables are set to one that satisfies as many constraints as possible. Recently, Jain et al. [SODA'23] gave an FPT approximation scheme (FPT-AS) with running time $2^{O\left(\left(dk/\epsilon\right)^d\right)} \cdot (n + m)^{O(1)}$ for Max $k$-Weight SAT when the incidence graph is $K_{d,d}$-free. They asked whether a polynomial-size approximate kernel exists. In this work, we answer this question positively by giving an $(1 - \epsilon)$-approximate kernel with $\left(\frac{d k}{\epsilon}\right)^{O(d)}$ variables. This also implies an improved FPT-AS with running time $(dk/\epsilon)^{O(dk)} \cdot (n + m)^{O(1)}$. Our approximate kernel is based mainly on a couple of greedy strategies together with a sunflower lemma-style reduction rule.


title: Strategy to measure tau $g-2$ via photon fusion in LHC proton collisions

abstract: Measuring the tau-lepton ($\tau$) anomalous magnetic moment $a_\tau=(g_\tau-2)/2$ in photon fusion production ($\gamma\gamma\to\tau\tau$) tests foundational Standard Model principles. However, $\gamma\gamma\to\tau\tau$ eludes observation in LHC proton collisions (pp) despite enhanced new physics sensitivity from higher-mass reach than existing probes. We propose a novel strategy to measure $\text{pp}\to\text{p}(\gamma\gamma\to\tau\tau)\text{p}$ by introducing the overlooked electron-muon signature with vertex isolation for signal extraction. Applying the effective field theory of dipole moments, we estimate 95% CL sensitivity of $-0.0092<a_{\tau}<0.011$ assuming 300 fb$^{-1}$ luminosity and 5% systematics. This fourfold improvement beyond existing constraints opens a crucial path to unveiling new physics imprinted in tau-lepton dipoles.


title: Sparse Spatial Smoothing: Reduced Complexity and Improved Beamforming Gain via Sparse Sub-Arrays

abstract: This paper addresses the problem of single snapshot Direction-of-Arrival (DOA) estimation, which is of great importance in a wide-range of applications including automotive radar. A popular approach to achieving high angular resolution when only one temporal snapshot is available is via subspace methods using spatial smoothing. This involves leveraging spatial shift-invariance in the antenna array geometry, typically a uniform linear array (ULA), to rearrange the single snapshot measurement vector into a spatially smoothed matrix that reveals the signal subspace of interest. However, conventional approaches using spatially shifted ULA sub-arrays can lead to a prohibitively high computational complexity due to the large dimensions of the resulting spatially smoothed matrix. Hence, we propose to instead employ judiciously designed sparse sub-arrays, such as nested arrays, to reduce the computational complexity of spatial smoothing while retaining the aperture and identifiability of conventional ULA-based approaches. Interestingly, this idea also suggests a novel beamforming method which linearly combines multiple spatially smoothed matrices corresponding to different sets of shifts of the sparse (nested) sub-array. This so-called shift-domain beamforming method is demonstrated to boost the effective SNR, and thereby resolution, in a desired angular region of interest, enabling single snapshot low-complexity DOA estimation with identifiability guarantees.


title: Disentangling shared and private latent factors in multimodal Variational Autoencoders

abstract: Generative models for multimodal data permit the identification of latent factors that may be associated with important determinants of observed data heterogeneity. Common or shared factors could be important for explaining variation across modalities whereas other factors may be private and important only for the explanation of a single modality. Multimodal Variational Autoencoders, such as MVAE and MMVAE, are a natural choice for inferring those underlying latent factors and separating shared variation from private. In this work, we investigate their capability to reliably perform this disentanglement. In particular, we highlight a challenging problem setting where modality-specific variation dominates the shared signal. Taking a cross-modal prediction perspective, we demonstrate limitations of existing models, and propose a modification how to make them more robust to modality-specific variation. Our findings are supported by experiments on synthetic as well as various real-world multi-omics data sets.


title: FOAA: Flattened Outer Arithmetic Attention For Multimodal Tumor Classification

abstract: Fusion of multimodal healthcare data holds great promise to provide a holistic view of a patient's health, taking advantage of the complementarity of different modalities while leveraging their correlation. This paper proposes a simple and effective approach, inspired by attention, to fuse discriminative features from different modalities. We propose a novel attention mechanism, called Flattened Outer Arithmetic Attention (FOAA), which relies on outer arithmetic operators (addition, subtraction, product, and division) to compute attention scores from keys, queries and values derived from flattened embeddings of each modality. We demonstrate how FOAA can be implemented for self-attention and cross-attention, providing a reusable component in neural network architectures. We evaluate FOAA on two datasets for multimodal tumor classification and achieve state-of-the-art results, and we demonstrate that features enriched by FOAA are superior to those derived from other fusion approaches. The code is publicly available at \href{https://github.com/omniaalwazzan/FOAA}{https://github.com/omniaalwazzan/FOAA}


title: Error-Mitigated Quantum Random Access Memory

abstract: As an alternative to quantum error correction, quantum error mitigation methods, including Zero-Noise Extrapolation (ZNE), have been proposed to alleviate run-time errors in current noisy quantum devices. In this work, we propose a modified version of ZNE that provides for a significant performance enhancement on current noisy devices. Our modified ZNE method extrapolates to zero-noise data by evaluating groups of noisy data obtained from noise-scaled circuits and selecting extrapolation functions for each group with the assistance of estimated noisy simulation results. To quantify enhancement in a real-world quantum application, we embed our modified ZNE in Quantum Random Access Memory (QRAM) - a memory system important for future quantum networks and computers. Our new ZNE-enhanced QRAM designs are experimentally implemented on a 27-qubit noisy superconducting quantum device, the results of which demonstrate that with reasonable estimated simulation results, QRAM fidelity is improved significantly relative to traditional ZNE usage. Our results demonstrate the critical role the extrapolation function plays in ZNE - judicious choice of that function on a per-measurement basis can make the difference between a quantum application being functional or non-functional.


title: RTAB-Map as an Open-Source Lidar and Visual SLAM Library for Large-Scale and Long-Term Online Operation

abstract: Distributed as an open source library since 2013, RTAB-Map started as an appearance-based loop closure detection approach with memory management to deal with large-scale and long-term online operation. It then grew to implement Simultaneous Localization and Mapping (SLAM) on various robots and mobile platforms. As each application brings its own set of contraints on sensors, processing capabilities and locomotion, it raises the question of which SLAM approach is the most appropriate to use in terms of cost, accuracy, computation power and ease of integration. Since most of SLAM approaches are either visual or lidar-based, comparison is difficult. Therefore, we decided to extend RTAB-Map to support both visual and lidar SLAM, providing in one package a tool allowing users to implement and compare a variety of 3D and 2D solutions for a wide range of applications with different robots and sensors. This paper presents this extended version of RTAB-Map and its use in comparing, both quantitatively and qualitatively, a large selection of popular real-world datasets (e.g., KITTI, EuRoC, TUM RGB-D, MIT Stata Center on PR2 robot), outlining strengths and limitations of visual and lidar SLAM configurations from a practical perspective for autonomous navigation applications.


title: Separable Physics-informed Neural Networks for Solving the BGK Model of the Boltzmann Equation

abstract: In this study, we introduce a method based on Separable Physics-Informed Neural Networks (SPINNs) for effectively solving the BGK model of the Boltzmann equation. While the mesh-free nature of PINNs offers significant advantages in handling high-dimensional partial differential equations (PDEs), challenges arise when applying quadrature rules for accurate integral evaluation in the BGK operator, which can compromise the mesh-free benefit and increase computational costs. To address this, we leverage the canonical polyadic decomposition structure of SPINNs and the linear nature of moment calculation, achieving a substantial reduction in computational expense for quadrature rule application. The multi-scale nature of the particle density function poses difficulties in precisely approximating macroscopic moments using neural networks. To improve SPINN training, we introduce the integration of Gaussian functions into SPINNs, coupled with a relative loss approach. This modification enables SPINNs to decay as rapidly as Maxwellian distributions, thereby enhancing the accuracy of macroscopic moment approximations. The relative loss design further ensures that both large and small-scale features are effectively captured by the SPINNs. The efficacy of our approach is demonstrated through a series of five numerical experiments, including the solution to a challenging 3D Riemann problem. These results highlight the potential of our novel method in efficiently and accurately addressing complex challenges in computational physics.


title: Seasonal and Periodic Patterns in US COVID-19 Mortality using the Variable Bandpass Periodic Block Bootstrap

abstract: Since the emergence of the SARS-CoV-2 virus, research into the existence, extent, and pattern of seasonality has been of the highest importance for public health preparation. This study uses a novel bandpass bootstrap approach called the Variable Bandpass Periodic Block Bootstrap (VBPBB) to investigate the periodically correlated (PC) components including seasonality within US COVID-19 mortality. Bootstrapping to produce confidence intervals (CI) for periodic characteristics such as the seasonal mean requires preservation of the PC component's correlation structure during resampling. While existing bootstrap methods can preserve the PC component correlation structure, filtration of that PC component's frequency from interference is critical to bootstrap the PC component's characteristics accurately and efficiently. The VBPBB filters the PC time series to reduce interference from other components such as noise. This greatly reduces bootstrapped CI size and outperforms the statistical power and accuracy of other methods when estimating the periodic mean sampling distribution. VBPBB analysis of US COVID-19 mortality PC components are provided and compared against alternative bootstrapping methods. These results reveal crucial evidence supporting the presence of a seasonal PC pattern and existence of additional PC components, their timing, and CIs for their effect which will aid prediction and preparation for future COVID-19 responses.


title: Can One Hear the Shape of a Decision Problem?

abstract: We explore the connection between an agent's decision problem and her ranking of information structures. We find that a finite amount of ordinal data on the agent's ranking of experiments is enough to identify her (finite) set of undominated actions (up to relabeling and duplication) and the beliefs rendering each such action optimal. An additional smattering of cardinal data, comparing the relative value to the agent of finitely many pairs of experiments, identifies her utility function up to an action-independent payoff.


title: Active Control of Bound States in the Continuum in Toroidal Metasurfaces

abstract: The remarkable properties of toroidal metasurfaces, featuring ultrahigh-Q bound states in the continuum (BIC) resonances and nonradiating anapole modes, have garnered significant attention. The active manipulation of toroidal resonance characteristics offers substantial potential for advancing tunable metasurfaces. Our study specifically explores the application of vanadium dioxide, a widely used phase change material in active photonics and room-temperature bolometric detectors, to control BIC resonances in toroidal metasurfaces. The phase change transition of vanadium dioxide occurs in a narrow temperature range providing a large variation in material resistivity. Through heating thin film patches of vanadium dioxide integrated into a metasurface comprising gold split-ring resonators on a sapphire substrate, we achieve remarkable control over the amplitude and frequency of toroidal dipole BIC resonances due to their high sensitivity to losses present in the system. Breaking the symmetry of meta-atoms reveals enhanced tunability. The predicted maximum change in the amplitude of toroidal dipole BIC resonances reaches 14 dB with a temperature variation of approximately 10oC. The proposed tunable metasurface holds promise for various applications, including active photonic systems and room temperature bolometers.


title: On the rational invariants of quantum systems of $n$-qubits

abstract: For an $n$-qubit system, a rational function on the space of mixed states which is invariant with respect to the action of the group of local symmetries may be viewed as a detailed measure of entanglement. We show that the field of all such invariant rational functions is purely transcendental over the complex numbers and has transcendence degree $4^n - 2n-1$. An explicit transcendence basis is also exhibited.

categories: math-ph math.MP math.QA math.RA math.RT quant-ph


title: Practically adaptable CPABE based Health-Records sharing framework

abstract: With recent elevated adaptation of cloud services in almost every major public sector, the health sector emerges as a vulnerable segment, particularly in data exchange of sensitive Health records, as determining the retention, exchange, and efficient use of patient records without jeopardizing patient privacy, particularly on mobile-applications remains an area to expand. In the existing scenarios of cloud-mobile services, several vulnerabilities can be found including trapping of data within a single cloud-service-provider and loss of resource control being the significant ones. In this study, we have suggested a CPABE and OAuth2.0 based framework for efficient access-control and authorization respectively to improve the practicality of EHR sharing across a single client-application. In addition to solving issues like practicality, data entrapment, and resource control loss, the suggested framework also aims to provide two significant functionalities simultaneously, the specific operation of client application itself, and straightforward access of data to institutions, governments, and organizations seeking delicate EHRs. Our implementation of the suggested framework along with its analytical comparison signifies its potential in terms of efficient performance and minimal latency as this study would have a considerable impact on the recent literature as it intends to bridge the pragmatic deficit in CPABE-based EHR services.