title: Critique Ability of Large Language Models

abstract: Critical thinking is essential for rational decision-making and problem-solving. This skill hinges on the ability to provide precise and reasoned critiques and is a hallmark of human intelligence. In the era of large language models (LLMs), this study explores the ability of LLMs to deliver accurate critiques across various tasks. We are interested in this topic as a capable critic model could not only serve as a reliable evaluator, but also as a source of supervised signals for model tuning. Particularly, if a model can self-critique, it has the potential for autonomous self-improvement. To examine this, we introduce a unified evaluation framework for assessing the critique abilities of LLMs. We develop a benchmark called CriticBench, which comprises 3K high-quality natural language queries and corresponding model responses; and annotate the correctness of these responses. The benchmark cover tasks such as math problem-solving, code completion, and question answering. We evaluate multiple LLMs on the collected dataset and our analysis reveals several noteworthy insights: (1) Critique is generally challenging for most LLMs, and this capability often emerges only when models are sufficiently large. (2) In particular, self-critique is especially difficult. Even top-performing LLMs struggle to achieve satisfactory performance. (3) Models tend to have lower critique accuracy on problems where they are most uncertain. To this end, we introduce a simple yet effective baseline named self-check, which leverages self-critique to improve task performance for various models. We hope this study serves as an initial exploration into understanding the critique abilities of LLMs, and aims to inform future research, including the development of more proficient critic models and the application of critiques across diverse tasks.


title: Hacking Generative Models with Differentiable Network Bending

abstract: In this work, we propose a method to 'hack' generative models, pushing their outputs away from the original training distribution towards a new objective. We inject a small-scale trainable module between the intermediate layers of the model and train it for a low number of iterations, keeping the rest of the network frozen. The resulting output images display an uncanny quality, given by the tension between the original and new objectives that can be exploited for artistic purposes.


title: A Grouping-based Scheduler for Efficient Channel Utilization under Age of Information Constraints

abstract: We consider a status information updating system where a fusion center collects the status information from a large number of sources and each of them has its own age of information (AoI) constraints. A novel grouping-based scheduler is proposed to solve this complex large-scale problem by dividing the sources into different scheduling groups. The problem is then transformed into deriving the optimal grouping scheme. A two-step grouping algorithm (TGA) is proposed: 1) Given AoI constraints, we first identify the sources with harmonic AoI constraints, then design a fast grouping method and an optimal scheduler for these sources. Under harmonic AoI constraints, each constraint is divisible by the smallest one and the sum of reciprocals of the constraints with the same value is divisible by the reciprocal of the smallest one. 2) For the other sources without such a special property, we pack the sources which can be scheduled together with minimum update rates into the same group. Simulations show the channel usage of the proposed TGA is significantly reduced as compared to a recent work and is 0.42% larger than a derived lower bound when the number of sources is large.


title: How do Retail Stores Affect Pedestrian Walking Speed: An Empirical Observation

abstract: Pedestrian studies in retail areas are critical for comfort and convenience in transportation facility designs. But existing literature lacks detailed empirical observations that focus on pedestrian speed variations and their mechanisms in front of stores. This paper bridges this gap by analyzing 1193 pedestrian trajectories in front of a convenience store located in a metro station. The results show that the store imposes a non-uniform slowing effect on the pedestrian flow. The spatial distribution and the lower walking speed of consumers and gazing pedestrians jointly contribute to such an effect while avoiding behaviors between pedestrians play little role. The findings complement the existing empirical observations and lay a foundation for realistic pedestrian modeling in retail areas.


title: Breaking absolute separability with quantum switch

abstract: Absolute separable (AS) quantum states are those states from which it is impossible to create entanglement, even under global unitary operations. It is known from the resource theory of non-absolute separability that the set of absolute separable states forms a convex and compact set, and global unitaries are free operations. We show that the action of a quantum switch controlled by an ancilla qubit over the global unitaries can break this robustness of AS states and produce ordinary separable states. First, we consider bipartite qubit systems and find the effect of quantum switch starting from the states sitting on the boundary of the set of absolute separable states. As particular examples, we illustrate what happens to modified Werner states and Bell diagonal (BD) states. For the Bell diagonal states, we provide the structure for the set of AS BD states and show how the structure changes under the influence of a switch. Further, we consider numerical generalisation of the global unitary operations and show that it is always possible to take AS states out of the convex set under switching operations. We also generalised our results in higher dimensions.


title: The BCH Family of Storage Codes on Triangle-Free Graphs is of Unit Rate

abstract: Let $\Gamma$ be a simple connected graph on $n$ vertices, and let $C$ be a code of length $n$ whose coordinates are indexed by the vertices of $\Gamma$. We say that $C$ is a \textit{storage code} on $\Gamma$ if for any codeword $c \in C$, one can recover the information on each coordinate of $c$ by accessing its neighbors in $\Gamma$. The main problem here is to construct high-rate storage codes on triangle-free graphs. In this paper, we solve an open problem posed by Barg and Z\'emor in 2022, showing that the BCH family of storage codes is of unit rate. Furthermore, we generalize the construction of the BCH family and obtain more storage codes of unit rate on triangle-free graphs.


title: A New Baseline Assumption of Integated Gradients Based on Shaply value

abstract: Efforts to decode deep neural networks (DNNs) often involve mapping their predictions back to the input features. Among these methods, Integrated Gradients (IG) has emerged as a significant technique. The selection of appropriate baselines in IG is crucial for crafting meaningful and unbiased explanations of model predictions in diverse settings. The standard approach of utilizing a single baseline, however, is frequently inadequate, prompting the need for multiple baselines. Leveraging the natural link between IG and the Aumann-Shapley Value, we provide a novel outlook on baseline design. Theoretically, we demonstrate that under certain assumptions, a collection of baselines aligns with the coalitions described by the Shapley Value. Building on this insight, we develop a new baseline method called Shapley Integrated Gradients (SIG), which uses proportional sampling to mirror the Shapley Value computation process. Simulations conducted in GridWorld validate that SIG effectively emulates the distribution of Shapley Values. Moreover, empirical tests on various image processing tasks show that SIG surpasses traditional IG baseline methods by offering more precise estimates of feature contributions, providing consistent explanations across different applications, and ensuring adaptability to diverse data types with negligible additional computational demand.


title: Combining Sampling- and Gradient-based Planning for Contact-rich Manipulation

abstract: Planning over discontinuous dynamics is needed for robotics tasks like contact-rich manipulation, which presents challenges in the numerical stability and speed of planning methods when either neural network or analytical models are used. On the one hand, sampling-based planners require higher sample complexity in high-dimensional problems and cannot describe safety constraints such as force limits. On the other hand, gradient-based solvers can suffer from local optima and convergence issues when the Hessian is poorly conditioned. We propose a planning method with both sampling- and gradient-based elements, using the Cross-entropy Method to initialize a gradient-based solver, providing better search over local minima and the ability to handle explicit constraints. We show the approach allows smooth, stable contact-rich planning for an impedance-controlled robot making contact with a stiff environment, benchmarking against gradient-only MPC and CEM.


title: Anomalous charge transport upon quantum melting of chiral spin order

abstract: A plethora of correlated and exotic metallic states have been identified on the border of itinerant magnetism, where the long-range spin texture is melted by tuning the magnetic transition temperature (T$_C$) towards zero, referred to as the quantum phase transition (QPT). So far, the study of QPT in itinerant magnets has mainly focused on low-T$_C$ materials (i.e., typically T$_C$ ~ 10 K) where the modification of electronic band structure is subtle, and only makes a small contribution to the QPT. Here we report a distinct example of a magnetic QPT accompanied by a gigantic modification of the electronic structure in FeGe, i.e., a well-studied itinerant chiral magnet hosting near-room-temperature (T$_C$ = 278 K) helical/skyrmion spin texture. The pressure-driven modification of the band structure (e.g., reduction of exchange splitting) is evidenced by magneto-transport study, suggesting a Fermi-surface reconstruction around the magnetic QPT (P ~19 GPa), in stark contrast to the case of typical metallic ferromagnets. Further application of pressure leads to a metal-to-insulator transition above P > 30 GPa, as also corroborated by our density-functional theory (DFT) calculation. Of particular interest is the occurrence of anomalous magneto-transport in the inhomogeneous short-range chiral-spin ground state (P = 20-30 GPa) above the QPT, with longitudinal fluctuations of magnetization. The unexpected observation of spontaneous anomalous Hall effect in this exotic quantum regime suggests macroscopic time-reversal symmetry (TRS) breaking, even in the absence of long-range magnetic order. Our findings mark the large body of unexplored high-T$_C$ itinerant magnets with broken inversion-symmetry as promising candidates of novel ground state formation near QPT.


title: PaperCard for Reporting Machine Assistance in Academic Writing

abstract: Academic writing process has benefited from various technological developments over the years including search engines, automatic translators, and editing tools that review grammar and spelling mistakes. They have enabled human writers to become more efficient in writing academic papers, for example by helping with finding relevant literature more effectively and polishing texts. While these developments have so far played a relatively assistive role, recent advances in large-scale language models (LLMs) have enabled LLMs to play a more major role in the writing process, such as coming up with research questions and generating key contents. This raises critical questions surrounding the concept of authorship in academia. ChatGPT, a question-answering system released by OpenAI in November 2022, has demonstrated a range of capabilities that could be utilised in producing academic papers. The academic community will have to address relevant pressing questions, including whether Artificial Intelligence (AI) should be merited authorship if it made significant contributions in the writing process, or whether its use should be restricted such that human authorship would not be undermined. In this paper, we aim to address such questions, and propose a framework we name "PaperCard", a documentation for human authors to transparently declare the use of AI in their writing process.


title: Comparative study of multi-person tracking methods

abstract: This paper presents a study of two tracking algorithms (SORT~\cite{7533003} and Tracktor++~\cite{2019}) that were ranked first positions on the MOT Challenge leaderboard (The MOTChallenge web page: https://motchallenge.net ). The purpose of this study is to discover the techniques used and to provide useful insights about these algorithms in the tracking pipeline that could improve the performance of MOT tracking algorithms. To this end, we adopted the popular tracking-by-detection approach. We trained our own Pedestrian Detection model using the MOT17Det dataset (MOT17Det : https://motchallenge.net/data/MOT17Det/ ). We also used a re-identification model trained on MOT17 dataset (MOT17 : https://motchallenge.net/data/MOT17/ ) for Tracktor++ to reduce the false re-identification alarms. We then present experimental results which shows that Tracktor++ is a better multi-person tracking algorithm than SORT. We also performed ablation studies to discover the contribution of re-identification(RE-ID) network and motion to the results of Tracktor++. We finally conclude by providing some recommendations for future research.


title: Augmenting Static Visualizations with PapARVis Designer

abstract: This paper presents an authoring environment for augmenting static visualizations with virtual content in augmented reality. Augmenting static visualizations can leverage the best of both physical and digital worlds, but its creation currently involves different tools and devices, without any means to explicitly design and debug both static and virtual content simultaneously. To address these issues, we design an environment that seamlessly integrates all steps of a design and deployment workflow through its main features: i) an extension to Vega, ii) a preview, and iii) debug hints that facilitate valid combinations of static and augmented content. We inform our design through a design space with four ways to augment static visualizations. We demonstrate the expressiveness of our tool through examples, including books, posters, projections, wall-sized visualizations. A user study shows high user satisfaction of our environment and confirms that participants can create augmented visualizations in an average of 4.63 minutes.


title: Discovery of the Closest Ultrastripped Supernova: SN 2021agco in UGC 3855

abstract: We present the discovery and studies of the helium-rich, fast-evolving supernova (SN) 2021agco at a distance of $\sim$ 40 Mpc. Its early-time flux is found to rise from half peak to the peak of $-16.06\pm0.42$ mag in the $r$ band within $2.4^{+1.5}_{-1.0}$ days, and the post-peak light curves also decline at a much faster pace relative to normal stripped-envelope SNe of Type Ib/Ic. The early-time spectrum of SN~2021agco ($t \approx 1.0$ days after the peak) is characterized by a featureless blue continuum superimposed with a weak emission line of ionized C III, and the subsequent spectra show prominent He I lines. Both the photometric and spectroscopic evolution shows close resemblances to SN 2019dge, which is believed to have an extremely stripped progenitor. We reproduce the multicolor light curves of SN 2021agco with a model combining shock-cooling emission with \Ni decay. The best-fit results give an ejecta mass of $\approx 0.3$~M$_\odot$ and a synthesized nickel mass of $\approx 2.2\times10^{-2}$~M$_\odot$. The progenitor is estimated to have an envelope radius $R_{\rm env} \approx 80$~R$_\odot$ and a mass $M_{\rm env} \approx 0.10$~M$_\odot$. All these suggest that SN~2021agco can be categorized as an ultrastripped SN~Ib, representing the closest object of this rare subtype. This SN is found to explode in the disk of an Sab-type galaxy with an age of $\sim 10.0$~Gyr and low star-forming activity. Compared to normal SNe Ib/c, the host galaxies of SN 2021agco and other ultrastripped SNe tend to have relatively lower metallicity, which complicates the properties of their progenitor populations.


title: Guardians as You Fall: Active Mode Transition for Safe Falling

abstract: Recent advancements in optimal control and reinforcement learning have enabled quadrupedal robots to perform various agile locomotion tasks over diverse terrains. During these agile motions, ensuring the stability and resiliency of the robot is a primary concern to prevent catastrophic falls and mitigate potential damages. Previous methods primarily focus on recovery policies after the robot falls. There is no active safe falling solution to the best of our knowledge. In this paper, we proposed Guardians as You Fall (GYF), a safe falling/tumbling and recovery framework that can actively tumble and recover to stable modes to reduce damage in highly dynamic scenarios. The key idea of GYF is to adaptively traverse different stable modes via active tumbling before the robot shifts to irrecoverable poses. Via comprehensive simulation and real-world experiments, we show that GYF significantly reduces the maximum acceleration and jerk of the robot base compared to the baselines. In particular, GYF reduces the maximum acceleration and jerk by 20%~73% in different scenarios in simulation and real-world experiments. GYF offers a new perspective on safe falling and recovery in locomotion tasks, potentially enabling much more aggressive explorations of existing agile locomotion skills.


title: How To Effectively Train An Ensemble Of Faster R-CNN Object Detectors To Quantify Uncertainty

abstract: This paper presents a new approach for training two-stage object detection ensemble models, more specifically, Faster R-CNN models to estimate uncertainty. We propose training one Region Proposal Network(RPN) and multiple Fast R-CNN prediction heads is all you need to build a robust deep ensemble network for estimating uncertainty in object detection. We present this approach and provide experiments to show that this approach is much faster than the naive method of fully training all $n$ models in an ensemble. We also estimate the uncertainty by measuring this ensemble model's Expected Calibration Error (ECE). We then further compare the performance of this model with that of Gaussian YOLOv3, a variant of YOLOv3 that models uncertainty using predicted bounding box coordinates. The source code is released at \url{https://github.com/Akola-Mbey-Denis/EfficientEnsemble}


title: Extract-Transform-Load for Video Streams

abstract: Social media, self-driving cars, and traffic cameras produce video streams at large scales and cheap cost. However, storing and querying video at such scales is prohibitively expensive. We propose to treat large-scale video analytics as a data warehousing problem: Video is a format that is easy to produce but needs to be transformed into an application-specific format that is easy to query. Analogously, we define the problem of Video Extract-Transform-Load (V-ETL). V-ETL systems need to reduce the cost of running a user-defined V-ETL job while also giving throughput guarantees to keep up with the rate at which data is produced. We find that no current system sufficiently fulfills both needs and therefore propose Skyscraper, a system tailored to V-ETL. Skyscraper can execute arbitrary video ingestion pipelines and adaptively tunes them to reduce cost at minimal or no quality degradation, e.g., by adjusting sampling rates and resolutions to the ingested content. Skyscraper can hereby be provisioned with cheap on-premises compute and uses a combination of buffering and cloud bursting to deal with peaks in workload caused by expensive processing configurations. In our experiments, we find that Skyscraper significantly reduces the cost of V-ETL ingestion compared to adaptions of current SOTA systems, while at the same time giving robustness guarantees that these systems are lacking.


title: Continuous-variable quantum key distribution system: past, present, and future

abstract: Quantum key distribution provides secure keys with information-theoretic security ensured by the principle of quantum mechanics. The continuous-variable version of quantum key distribution using coherent states offers the advantages of its compatibility with telecom industry, e.g., using commercial laser and homodyne detector, is now going through a booming period. In this review article, we describe the principle of continuous-variable quantum key distribution system, focus on protocols based on coherent states, whose systems are gradually moving from proof-of-principle lab demonstrations to in-field implementations and technological prototypes. We start by reviewing the theoretical protocols and the current security status of these protocols. Then, we discuss the system structure, the key module, and the mainstream system implementations. The advanced progress for future applications are discussed, including the digital techniques, system on chip and point-to-multipoint system. Finally, we discuss the practical security of the system and conclude with promising perspectives in this research field.


title: HyperSINDy: Deep Generative Modeling of Nonlinear Stochastic Governing Equations

abstract: The discovery of governing differential equations from data is an open frontier in machine learning. The sparse identification of nonlinear dynamics (SINDy) \citep{brunton_discovering_2016} framework enables data-driven discovery of interpretable models in the form of sparse, deterministic governing laws. Recent works have sought to adapt this approach to the stochastic setting, though these adaptations are severely hampered by the curse of dimensionality. On the other hand, Bayesian-inspired deep learning methods have achieved widespread success in high-dimensional probabilistic modeling via computationally efficient approximate inference techniques, suggesting the use of these techniques for efficient stochastic equation discovery. Here, we introduce HyperSINDy, a framework for modeling stochastic dynamics via a deep generative model of sparse governing equations whose parametric form is discovered from data. HyperSINDy employs a variational encoder to approximate the distribution of observed states and derivatives. A hypernetwork \citep{ha_hypernetworks_2016} transforms samples from this distribution into the coefficients of a differential equation whose sparse form is learned simultaneously using a trainable binary mask \citep{louizos_learning_2018}. Once trained, HyperSINDy generates stochastic dynamics via a differential equation whose coefficients are driven by a Gaussian white noise. In experiments, HyperSINDy accurately recovers ground truth stochastic governing equations, with learned stochasticity scaling to match that of the data. Finally, HyperSINDy provides uncertainty quantification that scales to high-dimensional systems. Taken together, HyperSINDy offers a promising framework for model discovery and uncertainty quantification in real-world systems, integrating sparse equation discovery methods with advances in statistical machine learning and deep generative modeling.


title: A Stochastic Analysis of Particle Systems with Pairing

abstract: Motivated by a general principle governing regulation mechanisms in biological cells, we investigate a general interaction scheme between different populations of particles and specific particles, referred to as agents. Assuming that each particle follows a random path in the medium, when a particle and an agent meet, they may bind and form a pair which has some specific functional properties. Such a pair is also subject to random events and it splits after some random amount of time. In a stochastic context, using a Markovian model for the vector of the number of paired particles, and by taking the total number of particles as a scaling parameter, we study the asymptotic behavior of the time evolution of the number of paired particles. Two scenarios are investigated: one with a large but fixed number of agents, and the other one, the dynamic case, when agents are created at a bounded rate and may die after some time when they are not paired. A first order limit theorem is established for the time evolution of the system in both cases. The proof of an averaging principle of the dynamic case is one of the main contributions of the paper. Limit theorems for fluctuations are obtained in the case of a fixed number agents. The impact of dynamical arrivals of agents on the level of pairing of the system is discussed.


title: Non-Hermitian Topology and Flat Bands via an Exact Real Space Decimation Scheme

abstract: In recent years, non-Hermitian phases in classical and quantum systems have garnered significant attention. In particular, their intriguing band geometry offers a platform for exploring unique topological states and unconventional quantum dynamics. However, their topological characterization becomes particularly interesting and challenging in complex multiband systems. Here we propose a decimation framework, which leverages real space renormalization group to streamline the analysis of complex multiband non-Hermitian systems. Our systematic approach allows us to probe different phases and transitions, analyze bulk-boundary correspondence, formulate generalized Brillouin zones, investigate open boundary spectra, survey non-Bloch van Hove singularities, study disorder-induced effects, and explore tunable non-Hermitian flat band physics. Additionally, our framework allows proposing a hypothesis about quasi-one-dimensional bipartite non-Hermitian systems with flat bands, demonstrating their decoupling into Su-Schrieffer-Heeger chains and compact localized states across various models. Our work presents a powerful and comprehensive framework for understanding the intricate properties of non-Hermitian multiband systems, offering insights into the evolving landscape of non-Hermitian topological physics.


title: On the Evolution of Knowledge Graphs: A Survey and Perspective

abstract: Knowledge graphs (KGs) are structured representations of diversified knowledge. They are widely used in various intelligent applications. In this article, we provide a comprehensive survey on the evolution of various types of knowledge graphs (i.e., static KGs, dynamic KGs, temporal KGs, and event KGs) and techniques for knowledge extraction and reasoning. Furthermore, we introduce the practical applications of different types of KGs, including a case study in financial analysis. Finally, we propose our perspective on the future directions of knowledge engineering, including the potential of combining the power of knowledge graphs and large language models (LLMs), and the evolution of knowledge extraction, reasoning, and representation.


title: Dual Grained Quantization: Efficient Fine-Grained Quantization for LLM

abstract: Large Language Models (LLMs) pose significant hardware challenges related to memory requirements and computational ability. There are two mainstream quantization schemes for LLMs: coarse-grained ($\textit{e.g.,}$ channel-wise) quantization and fine-grained ($\textit{e.g.,}$ group-wise) quantization. Fine-grained quantization has smaller quantization loss, consequently achieving superior performance. However, when applied to weight-activation quantization, it disrupts continuous integer matrix multiplication, leading to inefficient inference. In this paper, we introduce Dual Grained Quantization (DGQ), a novel A8W4 quantization for LLM that maintains superior performance while ensuring fast inference speed. DSQ dequantizes the fine-grained INT4 weight into coarse-grained INT8 representation and preform matrix multiplication using INT8 kernels. Besides, we develop a two-phase grid search algorithm to simplify the determination of fine-grained and coarse-grained quantization scales. We also devise a percentile clipping schema for smoothing the activation outliers without the need for complex optimization techniques. Experimental results demonstrate that DGQ consistently outperforms prior methods across various LLM architectures and a wide range of tasks. Remarkably, by our implemented efficient CUTLASS kernel, we achieve $\textbf{1.12}$ $\times$ memory reduction and $\textbf{3.24}$ $\times$ speed gains comparing A16W4 implementation. These advancements enable efficient deployment of A8W4 LLMs for real-world applications.


title: Federated Self-Supervised Learning of Monocular Depth Estimators for Autonomous Vehicles

abstract: Image-based depth estimation has gained significant attention in recent research on computer vision for autonomous vehicles in intelligent transportation systems. This focus stems from its cost-effectiveness and wide range of potential applications. Unlike binocular depth estimation methods that require two fixed cameras, monocular depth estimation methods only rely on a single camera, making them highly versatile. While state-of-the-art approaches for this task leverage self-supervised learning of deep neural networks in conjunction with tasks like pose estimation and semantic segmentation, none of them have explored the combination of federated learning and self-supervision to train models using unlabeled and private data captured by autonomous vehicles. The utilization of federated learning offers notable benefits, including enhanced privacy protection, reduced network consumption, and improved resilience to connectivity issues. To address this gap, we propose FedSCDepth, a novel method that combines federated learning and deep self-supervision to enable the learning of monocular depth estimators with comparable effectiveness and superior efficiency compared to the current state-of-the-art methods. Our evaluation experiments conducted on Eigen's Split of the KITTI dataset demonstrate that our proposed method achieves near state-of-the-art performance, with a test loss below 0.13 and requiring, on average, only 1.5k training steps and up to 0.415 GB of weight data transfer per autonomous vehicle on each round.


title: Sensing and Communication with Quantum Microwaves

abstract: The thesis establishes a link between theoretical foundations and practical applications in the emerging field of propagating quantum microwaves. Although the concrete focus of the main results lies in specific quantum communication and sensing protocols, the thesis also gives a self-contained introduction to quantum parameter estimation and Gaussian quantum continuous variables, justifying the theoretical results used. Motivated, firstly, by the compatibility between superconducting circuits (a promising quantum computing platform), and the microwave frequency range; and, secondly, by the transparency window of the atmosphere to these frequencies, the work contains two concrete contributions to the fields of microwave quantum sensing and communication: a novel protocol that uses frequency entanglement to measure the first order dependence in frequency of the reflectivity of an object; and a large investigation on different aspects of entanglement degradation due to loss and atmospheric absorption in the context of continuous-variable entanglement distribution for the task of quantum teleportation in open-air. The dissertation includes, as a last chapter, an article that reviews the state-of-the-art in quantum microwave technology, and proposes different research lines, including quantum communication between Earth-based stations and satellites, quantum radar, direct dark matter detection, and exploration of the quantum properties of the cosmic microwave background. This more speculative, yet rigorous chapter closes with a roadmap for possible future research lines in the field of propagating quantum microwaves, that can serve as an outlook of the thesis.


title: Clifford algebras, symmetric spaces and cohomology rings of Grassmannians

abstract: We study various kinds of Grassmannians or Lagrangian Grassmannians over $\mathbb{R}$, $\mathbb{C}$ or $\mathbb{H}$, all of which can be expressed as $\mathbb{G}/\mathbb{P}$ where $\mathbb{G}$ is a classical group and $\mathbb{P}$ is a parabolic subgroup of $\mathbb{G}$ with abelian unipotent radical. The same Grassmannians can also be realized as (classical) compact symmetric spaces $G/K$. We give explicit generators and relations for the de Rham cohomology rings of $\mathbb{G}/\mathbb{P}\cong G/K$. At the same time we describe certain filtered deformations of these rings, related to Clifford algebras and spin modules. While the cohomology rings are of our primary interest, the filtered setting of $K$-invariants in the Clifford algebra actually provides a more conceptual framework for the results we obtain.


title: Steady-state moments under resetting to a distribution

abstract: The non-equilibrium steady states emerging from stochastic resetting to a distribution is studied. We show that for a range of processes, the steady-state moments can be expressed as a linear combination of the moments of the distribution of resetting positions. The coefficients of this series are universal in the sense that they do not depend on the resetting distribution, only underlying dynamics. We consider the case of a Brownian particle and a run-and-tumble particle confined in a harmonic potential, where we derive explicit closed-form expressions for all moments for any resetting distribution. Numerical simulations are used to verify the results, showing excellent agreement.


title: Internal Structure of Metal Vacancies in Cubic Carbides

abstract: A combinatorial approach is employed to investigate the atomic and electronic structures of a metal vacancy in titanium carbide. It turns out that the usual relaxed geometry of the vacancy is just a metastable state representing a local energy minimum. Using ab initio calculations and by systematically searching through the configurational space of a Ti monovacancy, we identify a multitude of local minima with reconstructed geometry that are lower in energy. Among them, there is a planar configuration with two displaced carbons forming a dimer inside the vacancy. This structure has the optimal number and order of C-C bonds making it the global minimum. Further calculations show that this reconstructed geometry is also the ground state of metal vacancies in other carbides such as ZrC, HfC, and VC. The reconstructed metal vacancies are characterized by localized electron states due to the relatively short C-C bonds. The defect states lie just below the upper and lower valence bands. The existence of reconstructed vacancy configurations is essential for understanding the mechanism of metal self-diffusion in transition-metal carbides.


title: Sub-linear Regret in Adaptive Model Predictive Control

abstract: We consider the problem of adaptive Model Predictive Control (MPC) for uncertain linear-systems with additive disturbances and with state and input constraints. We present STT-MPC (Self-Tuning Tube-based Model Predictive Control), an online algorithm that combines the certainty-equivalence principle and polytopic tubes. Specifically, at any given step, STT-MPC infers the system dynamics using the Least Squares Estimator (LSE), and applies a controller obtained by solving an MPC problem using these estimates. The use of polytopic tubes is so that, despite the uncertainties, state and input constraints are satisfied, and recursive-feasibility and asymptotic stability hold. In this work, we analyze the regret of the algorithm, when compared to an oracle algorithm initially aware of the system dynamics. We establish that the expected regret of STT-MPC does not exceed $O(T^{1/2 + \epsilon})$, where $\epsilon \in (0,1)$ is a design parameter tuning the persistent excitation component of the algorithm. Our result relies on a recently proposed exponential decay of sensitivity property and, to the best of our knowledge, is the first of its kind in this setting. We illustrate the performance of our algorithm using a simple numerical example.


title: MARVisT: Authoring Glyph-based Visualization in Mobile Augmented Reality

abstract: Recent advances in mobile augmented reality (AR) techniques have shed new light on personal visualization for their advantages of fitting visualization within personal routines, situating visualization in a real-world context, and arousing users' interests. However, enabling non-experts to create data visualization in mobile AR environments is challenging given the lack of tools that allow in-situ design while supporting the binding of data to AR content. Most existing AR authoring tools require working on personal computers or manually creating each virtual object and modifying its visual attributes. We systematically study this issue by identifying the specificity of AR glyph-based visualization authoring tool and distill four design considerations. Following these design considerations, we design and implement MARVisT, a mobile authoring tool that leverages information from reality to assist non-experts in addressing relationships between data and virtual glyphs, real objects and virtual glyphs, and real objects and data. With MARVisT, users without visualization expertise can bind data to real-world objects to create expressive AR glyph-based visualizations rapidly and effortlessly, reshaping the representation of the real world with data. We use several examples to demonstrate the expressiveness of MARVisT. A user study with non-experts is also conducted to evaluate the authoring experience of MARVisT.


title: Poincar\'e compactification for semiflows of reaction-diffusion equations with large diffusion and convection heating at the boundary

abstract: In this paper, we study the Poincar\'e compactification of the limiting planar semiflow of a coupled PDE-ODE system composed by a reaction-diffusion equation with large diffusion coupled with an ODE by a boundary condition in a heating transition region. The nonlinear sources are nondissipative polynomials. We guarantee conditions to apply the Invariant Manifold Theorem in order to reduce the dimension of the PDE and we prove that the compactified vector fields are close in the C1-norm. We give an example to present a structurally stable problem without the global attractor.


title: Exploiting Facial Relationships and Feature Aggregation for Multi-Face Forgery Detection

abstract: Face forgery techniques have emerged as a forefront concern, and numerous detection approaches have been proposed to address this challenge. However, existing methods predominantly concentrate on single-face manipulation detection, leaving the more intricate and realistic realm of multi-face forgeries relatively unexplored. This paper proposes a novel framework explicitly tailored for multi-face forgery detection,filling a critical gap in the current research. The framework mainly involves two modules:(i) a facial relationships learning module, which generates distinguishable local features for each face within images,(ii) a global feature aggregation module that leverages the mutual constraints between global and local information to enhance forgery detection accuracy.Our experimental results on two publicly available multi-face forgery datasets demonstrate that the proposed approach achieves state-of-the-art performance in multi-face forgery detection scenarios.


title: Soft finger rotational stability for precision grasps

abstract: Soft robotic fingers can safely grasp fragile or variable form objects, but their force capacity is limited, especially with less contact area: precision grasps and when objects are smaller or not spherical. Current research is improving force capacity through mechanical design by increasing contact area or stiffness, typically without models which explain soft finger force limitations. To address this, this paper considers two types of soft grip failure, slip and dynamic rotational stability. For slip, the validity of a Coulomb model investigated, identifying the effect of contact area, pressure, and relative pose. For rotational stability, bulk linear stiffness of the fingers is used to develop conditions for dynamic stability and identify when rotation leads to slip. Together, these models suggest contact area improves force capacity by increasing transverse stiffness and normal force. The models are validated on pneumatic fingers, both custom PneuNets-based and commercially available. The models are used to find grip parameters which increase force capacity without failure.


title: Realization of an inherent time crystal in a dissipative many-body system

abstract: Time crystals are many-body states that spontaneously break translation symmetry in time the way that ordinary crystals do in space. While experimental observations have confirmed the existence of discrete or continuous time crystals, these realizations have relied on the utilization of periodic forces or effective modulation through cavity feedback. The original proposal for time crystals is that they would represent self-sustained motions without any external periodicity, but realizing such purely self-generated behavior has not yet been achieved. Here, we provide theoretical and experimental evidence that many-body interactions can give rise to an inherent time crystalline phase. Following a calculation that shows an ensemble of pumped four-level atoms can spontaneously break continuous time translation symmetry, we observe periodic motions in an erbium-doped solid. The inherent time crystal produced by our experiment is self-protected by many-body interactions and has a measured coherence time beyond that of individual erbium ions.


title: Interference analysis of shared last-level cache on embedded GP-GPUs with multiple CUDA streams

abstract: In modern heterogeneous architectures, the access to data that the application needs is a key factor, in order to make the compute task efficient, in terms of power dissipation and execution time. The new generation SoCs are equipped with large LLCs, in order to make data access as efficient as possible. However, these systems introduce a new level of complexity in terms of the system's predictability, because concurrent tasks must compete for the same resource and contribute to generating interference between them. This paper aims to provide a preliminary qualitative analysis in terms of interference degree that is generated when several concurrent streams are in execution, for example one that performs useful computing tasks and one that generates interference. Specifically, we tested two important primitives: vadd and gemm, respectively subjected to interference with: i) a concurrent kernel that performs read from shared memory. ii) concurrent stream that performs host-to-device memory copy.


title: Motivic cluster multiplication formulas in 2-Calabi-Yau categories

abstract: We introduce a notion of motivic cluster characters via virtual Poincar\'{e} polynomials, and prove a motivic version of multiplication formulas obtained by Chen-Xiao-Xu for weighted quantum cluster characters associated to a 2-Calabi-Yau triangulated category $\mathcal{C}$ with a cluster tilting object. Furthermore, a refined form of this formula is also given. When $\mathcal{C}$ is the cluster category of an acyclic quiver, our certain refined multiplication formula is a motivic version of the multiplication formula in [International Mathematics Research Notices, rnad172(2023)].


title: A new use of nonlocal symmetries for computing Liouvillian first integrals of rational second order ordinary differential equations

abstract: Here we present an efficient method for finding and using a nonlocal symmetry admitted by a rational second order ordinary differential equation (rational 2ODE) in order to find a Liouvillian first integral (belonging to a vast class of Liouvillian functions). In a first stage, we construct an algorithm (improving the methodde veloped in [1]) that computes a nonlocal symmetry of a rational 2ODE. In ase cond stage, based on the knowledge of this symmetry, it is possible to construct three polynomial vector fields (in R2), which "share" the Liouvillian first integral with the rational 2ODE. These "plane" polynomial vector fields can be used to construct a procedure (based on an idea developed in [2]) to determine an integrating factor for the rational 2ODE with a fast probabilistic algorithm. The main advantages of the proposed method are: the obtaining of the nonlocal symmetry is algorithmic and very efficient and, furthermore, its use to find an integrating factor is a sequence of linear or quasilinear processes.


title: Star Coloring of Tensor Product of Two Graphs

abstract: A star coloring of a graph $G$ is a proper vertex coloring such that no path on four vertices is bicolored. The smallest integer $k$ for which $G$ admits a star coloring with $k$ colors is called the star chromatic number of $G$, denoted as $\chi_s(G)$. In this paper, we study the star coloring of tensor product of two graphs and obtain the following results. 1. We give an upper bound on the star chromatic number of the tensor product of two arbitrary graphs. 2. We determine the exact value of the star chromatic number of tensor product two paths. 3. We show that the star chromatic number of tensor product of two cycles is five, except for $C_3 \times C_3$ and $C_3 \times C_5$. 4. We give tight bounds for the star chromatic number of tensor product of a cycle and a path.


title: Balancing utility and cognitive cost in social representation

abstract: To successfully navigate its environment, an agent must construct and maintain representations of the other agents that it encounters. Such representations are useful for many tasks, but they are not without cost. As a result, agents must make decisions regarding how much information they choose to store about the agents in their environment. Using selective social learning as an example task, we motivate the problem of finding agent representations that optimally trade off between downstream utility and information cost, and illustrate two example approaches to resource-constrained social representation.


title: On changepoint detection in functional data using empirical energy distance

abstract: We propose a novel family of test statistics to detect the presence of changepoints in a sequence of dependent, possibly multivariate, functional-valued observations. Our approach allows to test for a very general class of changepoints, including the "classical" case of changes in the mean, and even changes in the whole distribution. Our statistics are based on a generalisation of the empirical energy distance; we propose weighted functionals of the energy distance process, which are designed in order to enhance the ability to detect breaks occurring at sample endpoints. The limiting distribution of the maximally selected version of our statistics requires only the computation of the eigenvalues of the covariance function, thus being readily implementable in the most commonly employed packages, e.g. R. We show that, under the alternative, our statistics are able to detect changepoints occurring even very close to the beginning/end of the sample. In the presence of multiple changepoints, we propose a binary segmentation algorithm to estimate the number of breaks and the locations thereof. Simulations show that our procedures work very well in finite samples. We complement our theory with applications to financial and temperature data.


title: Repelling Random Walks

abstract: We present a novel quasi-Monte Carlo mechanism to improve graph-based sampling, coined repelling random walks. By inducing correlations between the trajectories of an interacting ensemble such that their marginal transition probabilities are unmodified, we are able to explore the graph more efficiently, improving the concentration of statistical estimators whilst leaving them unbiased. The mechanism has a trivial drop-in implementation. We showcase the effectiveness of repelling random walks in a range of settings including estimation of graph kernels, the PageRank vector and graphlet concentrations. We provide detailed experimental evaluation and robust theoretical guarantees. To our knowledge, repelling random walks constitute the first rigorously studied quasi-Monte Carlo scheme correlating the directions of walkers on a graph, inviting new research in this exciting nascent domain.


title: Epsilon non-Greedy: A Bandit Approach for Unbiased Recommendation via Uniform Data

abstract: Often, recommendation systems employ continuous training, leading to a self-feedback loop bias in which the system becomes biased toward its previous recommendations. Recent studies have attempted to mitigate this bias by collecting small amounts of unbiased data. While these studies have successfully developed less biased models, they ignore the crucial fact that the recommendations generated by the model serve as the training data for subsequent training sessions. To address this issue, we propose a framework that learns an unbiased estimator using a small amount of uniformly collected data and focuses on generating improved training data for subsequent training iterations. To accomplish this, we view recommendation as a contextual multi-arm bandit problem and emphasize on exploring items that the model has a limited understanding of. We introduce a new offline sequential training schema that simulates real-world continuous training scenarios in recommendation systems, offering a more appropriate framework for studying self-feedback bias. We demonstrate the superiority of our model over state-of-the-art debiasing methods by conducting extensive experiments using the proposed training schema.


title: LIPEx-Locally Interpretable Probabilistic Explanations-To Look Beyond The True Class

abstract: In this work, we instantiate a novel perturbation-based multi-class explanation framework, LIPEx (Locally Interpretable Probabilistic Explanation). We demonstrate that LIPEx not only locally replicates the probability distributions output by the widely used complex classification models but also provides insight into how every feature deemed to be important affects the prediction probability for each of the possible classes. We achieve this by defining the explanation as a matrix obtained via regression with respect to the Hellinger distance in the space of probability distributions. Ablation tests on text and image data, show that LIPEx-guided removal of important features from the data causes more change in predictions for the underlying model than similar tests based on other saliency-based or feature importance-based Explainable AI (XAI) methods. It is also shown that compared to LIME, LIPEx is more data efficient in terms of using a lesser number of perturbations of the data to obtain a reliable explanation. This data-efficiency is seen to manifest as LIPEx being able to compute its explanation matrix around 53% faster than all-class LIME, for classification experiments with text data.


title: Aerial Base Stations: Practical Considerations for Power Consumption and Service Time

abstract: Aerial base stations (ABSs) have emerged as a promising solution to meet the high traffic demands of future wireless networks. Nevertheless, their practical implementation requires efficient utilization of limited payload and onboard energy. Understanding the power consumption streams, such as mechanical and communication power, and their relationship to the payload is crucial for analyzing its feasibility. Specifically, we focus on rotary-wing drones (RWDs), fixed-wing drones (FWDs), and high-altitude platforms (HAPs), analyzing their energy consumption models and key performance metrics such as power consumption, energy harvested-to-consumption ratio, and service time with varying wingspans, battery capacities, and regions. Our findings indicate that FWDs have longer service times and HAPs have energy harvested-to-consumption ratios greater than one, indicating theoretically infinite service time, especially when deployed in near-equator regions or have a large wingspan. Additionally, we investigate the case study of RWD-BS deployment, assessing aerial network dimensioning aspects such as ABS coverage radius based on altitude, environment, and frequency of operation. Our findings provide valuable insights for researchers and telecom operators, facilitating effective cost planning by determining the number of ABSs and backup batteries required for uninterrupted operations.


title: End-to-End Lip Reading in Romanian with Cross-Lingual Domain Adaptation and Lateral Inhibition

abstract: Lip reading or visual speech recognition has gained significant attention in recent years, particularly because of hardware development and innovations in computer vision. While considerable progress has been obtained, most models have only been tested on a few large-scale datasets. This work addresses this shortcoming by analyzing several architectures and optimizations on the underrepresented, short-scale Romanian language dataset called Wild LRRo. Most notably, we compare different backend modules, demonstrating the effectiveness of adding ample regularization methods. We obtain state-of-the-art results using our proposed method, namely cross-lingual domain adaptation and unlabeled videos from English and German datasets to help the model learn language-invariant features. Lastly, we assess the performance of adding a layer inspired by the neural inhibition mechanism.


title: General Graph Random Features

abstract: We propose a novel random walk-based algorithm for unbiased estimation of arbitrary functions of a weighted adjacency matrix, coined universal graph random features (u-GRFs). This includes many of the most popular examples of kernels defined on the nodes of a graph. Our algorithm enjoys subquadratic time complexity with respect to the number of nodes, overcoming the notoriously prohibitive cubic scaling of exact graph kernel evaluation. It can also be trivially distributed across machines, permitting learning on much larger networks. At the heart of the algorithm is a modulation function which upweights or downweights the contribution from different random walks depending on their lengths. We show that by parameterising it with a neural network we can obtain u-GRFs that give higher-quality kernel estimates or perform efficient, scalable kernel learning. We provide robust theoretical analysis and support our findings with experiments including pointwise estimation of fixed graph kernels, solving non-homogeneous graph ordinary differential equations, node clustering and kernel regression on triangular meshes.


title: Optical Trapping of Large Metallic Particles in Air

abstract: In this paper, we introduce a horizontally-oriented, photophoretic `boat' trap that is capable of capturing and self-loading large (radius ${\ge}1$ $\mu$m) solid gold particles in air for more than one hour. Once trapped, particles are held stably, even as the trap is modified to scan axially or expanded to a larger size to increase the capture cross-section. We theoretically present and experimentally demonstrate each of these affordances. We describe the utility of such to investigate large, metallic, and plasmonic particles for display applications.


title: Uncovering hidden geometry in Transformers via disentangling position and context

abstract: Transformers are widely used to extract semantic meanings from input tokens, yet they usually operate as black-box models. In this paper, we present a simple yet informative decomposition of hidden states (or embeddings) of trained transformers into interpretable components. For any layer, embedding vectors of input sequence samples are represented by a tensor $\boldsymbol{h} \in \mathbb{R}^{C \times T \times d}$. Given embedding vector $\boldsymbol{h}_{c,t} \in \mathbb{R}^d$ at sequence position $t \le T$ in a sequence (or context) $c \le C$, extracting the mean effects yields the decomposition \[ \boldsymbol{h}_{c,t} = \boldsymbol{\mu} + \mathbf{pos}_t + \mathbf{ctx}_c + \mathbf{resid}_{c,t} \] where $\boldsymbol{\mu}$ is the global mean vector, $\mathbf{pos}_t$ and $\mathbf{ctx}_c$ are the mean vectors across contexts and across positions respectively, and $\mathbf{resid}_{c,t}$ is the residual vector. For popular transformer architectures and diverse text datasets, empirically we find pervasive mathematical structure: (1) $(\mathbf{pos}_t)_{t}$ forms a low-dimensional, continuous, and often spiral shape across layers, (2) $(\mathbf{ctx}_c)_c$ shows clear cluster structure that falls into context topics, and (3) $(\mathbf{pos}_t)_{t}$ and $(\mathbf{ctx}_c)_c$ are mutually nearly orthogonal. We argue that smoothness is pervasive and beneficial to transformers trained on languages, and our decomposition leads to improved model interpretability.


title: Mirror Symmetry in three-dimensional Multiple-Scattering Media

abstract: We investigate the effect of a mirror-symmetry plane in multiple-scattering media under plane-wave illumination along the symmetry plane. Designed and fabricated samples' optical transport properties are compared quantitatively with three-dimensional modeling. Strong polarization-dependent deviations of the bulk speckle-averaged intensity distribution at the symmetry plane are observed, showing either up to a factor two enhancement or complete suppression of the ensemble-averaged intensities. We derive analytical expressions for the ensemble-averaged intensity profiles near the symmetry plane. Apart from their interest in fundamental light propagation studies, applications of mirror-symmetric scattering media are envisioned in anti-counterfeiting.


title: SA-Paraformer: Non-autoregressive End-to-End Speaker-Attributed ASR

abstract: Joint modeling of multi-speaker ASR and speaker diarization has recently shown promising results in speaker-attributed automatic speech recognition (SA-ASR).Although being able to obtain state-of-the-art (SOTA) performance, most of the studies are based on an autoregressive (AR) decoder which generates tokens one-by-one and results in a large real-time factor (RTF). To speed up inference, we introduce a recently proposed non-autoregressive model Paraformer as an acoustic model in the SA-ASR model.Paraformer uses a single-step decoder to enable parallel generation, obtaining comparable performance to the SOTA AR transformer models. Besides, we propose a speaker-filling strategy to reduce speaker identification errors and adopt an inter-CTC strategy to enhance the encoder's ability in acoustic modeling. Experiments on the AliMeeting corpus show that our model outperforms the cascaded SA-ASR model by a 6.1% relative speaker-dependent character error rate (SD-CER) reduction on the test set. Moreover, our model achieves a comparable SD-CER of 34.8% with only 1/10 RTF compared with the SOTA joint AR SA-ASR model.


title: Empirical Exploration of Deformation Mechanisms in Deep Rock Exposed to Multiple Stresses

abstract: To avoid the impact of inherent natural imperfections on experimental outcomes during testing, a recently designed genuine triaxial apparatus has enabled the replication of conditions where the three principal stresses exhibit varying magnitudes. This setup facilitates the examination of fracture behaviors in materials similar to the 4-series under genuine triaxial stress states. The experimental findings revealed that the maximum strength experiences significant influence from the minimum principal stress and the intermediate principal stress in genuine triaxial stress conditions. Specifically, for a fixed minimum principal stress ({\sigma}3), there is a progressive reduction in peak strain as the intermediate principal stress ({\sigma}2) increases. Moreover, as the minimum principal stress ({\sigma}3) rises, the magnitude of peak strain diminishes. The Young's modulus of the specimens exhibits an exponential increase with the augmentation of confining pressure, and it demonstrates a linear growth pattern as the intermediate principal stress increases. Additionally, the cohesion force is observed to rise while the internal friction angle decreases with the elevation of the intermediate principal stress. The failure modes of the specimens in genuine triaxial stress conditions can be categorized into three types, all of which exhibit a specific angle between the fracture surface and {\sigma}3, ranging from 50 to 62 degrees. Furthermore, a comparison between the computed range and the actual measurement range of the fracture angle highlights several limitations in the relationship between the fracture angle ({\theta}) and the internal friction angle ({\phi}) within the Coulomb criterion, particularly in rocks containing complex fracture systems.


title: ForeSeer: Product Aspect Forecasting Using Temporal Graph Embedding

abstract: Developing text mining approaches to mine aspects from customer reviews has been well-studied due to its importance in understanding customer needs and product attributes. In contrast, it remains unclear how to predict the future emerging aspects of a new product that currently has little review information. This task, which we named product aspect forecasting, is critical for recommending new products, but also challenging because of the missing reviews. Here, we propose ForeSeer, a novel textual mining and product embedding approach progressively trained on temporal product graphs for this novel product aspect forecasting task. ForeSeer transfers reviews from similar products on a large product graph and exploits these reviews to predict aspects that might emerge in future reviews. A key novelty of our method is to jointly provide review, product, and aspect embeddings that are both time-sensitive and less affected by extremely imbalanced aspect frequencies. We evaluated ForeSeer on a real-world product review system containing 11,536,382 reviews and 11,000 products over 3 years. We observe that ForeSeer substantially outperformed existing approaches with at least 49.1\% AUPRC improvement under the real setting where aspect associations are not given. ForeSeer further improves future link prediction on the product graph and the review aspect association prediction. Collectively, Foreseer offers a novel framework for review forecasting by effectively integrating review text, product network, and temporal information, opening up new avenues for online shopping recommendation and e-commerce applications.


title: Quantitative stability of Yang-Mills-Higgs instantons in two dimensions

abstract: We prove that if an N-vortex pair nearly minimizes the Yang-Mills-Higgs energy, then it is second order close to a minimizer. First we use new weighted inequalities in two dimensions and compactness arguments to show stability for sections with some regularity. Second we define a selection principle using a penalized functional and by elliptic regularity and smooth perturbation of complex polynomials, we generalize the stability to all nearly minimizing pairs.


title: Randomized Sparse Neural Galerkin Schemes for Solving Evolution Equations with Deep Networks

abstract: Training neural networks sequentially in time to approximate solution fields of time-dependent partial differential equations can be beneficial for preserving causality and other physics properties; however, the sequential-in-time training is numerically challenging because training errors quickly accumulate and amplify over time. This work introduces Neural Galerkin schemes that update randomized sparse subsets of network parameters at each time step. The randomization avoids overfitting locally in time and so helps prevent the error from accumulating quickly over the sequential-in-time training, which is motivated by dropout that addresses a similar issue of overfitting due to neuron co-adaptation. The sparsity of the update reduces the computational costs of training without losing expressiveness because many of the network parameters are redundant locally at each time step. In numerical experiments with a wide range of evolution equations, the proposed scheme with randomized sparse updates is up to two orders of magnitude more accurate at a fixed computational budget and up to two orders of magnitude faster at a fixed accuracy than schemes with dense updates.


title: New weighted inequalities on two manifolds

abstract: We prove a new class of $L^2$-weighted elliptic estimates on smooth two-manifolds for positive weights $\omega$ that formally satisfy $\omega^2\Delta\ln(\omega) = -\kappa(x)\omega^2$. The proof is short and relies on a lemma about symmetric two dimensional matrices.


title: ILuvUI: Instruction-tuned LangUage-Vision modeling of UIs from Machine Conversations

abstract: Multimodal Vision-Language Models (VLMs) enable powerful applications from their fused understanding of images and language, but many perform poorly on UI tasks due to the lack of UI training data. In this paper, we adapt a recipe for generating paired text-image training data for VLMs to the UI domain by combining existing pixel-based methods with a Large Language Model (LLM). Unlike prior art, our method requires no human-provided annotations, and it can be applied to any dataset of UI screenshots. We generate a dataset of 335K conversational examples paired with UIs that cover Q&A, UI descriptions, and planning, and use it to fine-tune a conversational VLM for UI tasks. To assess the performance of our model, we benchmark it on UI element detection tasks, evaluate response quality, and showcase its applicability to multi-step UI navigation and planning.


title: Lemur: Integrating Large Language Models in Automated Program Verification

abstract: The demonstrated code-understanding capability of LLMs raises the question of whether they can be used for automated program verification, a task that demands high-level abstract reasoning about program properties that is challenging for verification tools. We propose a general methodology to combine the power of LLMs and automated reasoners for automated program verification. We formally describe this methodology as a set of transition rules and prove its soundness. We instantiate the calculus as a sound automated verification procedure and demonstrate practical improvements on a set of synthetic and competition benchmarks.


title: Machine Learning for Automated Mitral Regurgitation Detection from Cardiac Imaging

abstract: Mitral regurgitation (MR) is a heart valve disease with potentially fatal consequences that can only be forestalled through timely diagnosis and treatment. Traditional diagnosis methods are expensive, labor-intensive and require clinical expertise, posing a barrier to screening for MR. To overcome this impediment, we propose a new semi-supervised model for MR classification called CUSSP. CUSSP operates on cardiac imaging slices of the 4-chamber view of the heart. It uses standard computer vision techniques and contrastive models to learn from large amounts of unlabeled data, in conjunction with specialized classifiers to establish the first ever automated MR classification system. Evaluated on a test set of 179 labeled -- 154 non-MR and 25 MR -- sequences, CUSSP attains an F1 score of 0.69 and a ROC-AUC score of 0.88, setting the first benchmark result for this new task.


title: An Elementary Proof of Stirling's Formula

abstract: Stirling's formula is a powerful asymptotic approximation of the factorial function. Many well-known proofs of this formula are grounded in integral calculus. In this paper, we present an alternative proof of Stirling's formula using only limits and the Wallis product.


title: Unbounded Perturbation of Linear Partial Functional Differential Equations via Yosida Distance

abstract: This paper is concerned with perturbation of evolution equation with delay $u'(t)=Au(t)+Bu_t \ (*)$ where $A,B$ are linear operators in a Banach space $\mathbb{X}$ and from $C([-r,0],\mathbb{X})$ to $\mathbb{X}$, respectively; $r>0$ is a given constant. To measure the size of unbounded perturbation we introduce the so-called \textit{Yosida distance} of linear operators $U$ and $V$ in a Banach space $\mathbb{X}$ as $d_Y(U,V):=\limsup_{\mu\to +\infty} \| U_\mu-V_\mu\|$, where $U_\mu$ and $V_\mu$ are the Yosida approximations of $U$ and $V$, respectively. The obtained results states that if $d_Y(A, A_1)$ and $d_Y(B, B_1)$ are sufficiently small, then the equation $u'(t)=A_1u(t)+B_1u_t \ (**)$ also has an exponential dichotomy, if (*) has it. The proofs are based on estimates of the Yosida distance of the generators of the solution semigroups generated by (*) and (**) in the phase space $C([-r,0],\mathbb{X})$ whose domains have no relations at all. The obtained results seem to be new.


title: AirIMU: Learning Uncertainty Propagation for Inertial Odometry

abstract: Inertial odometry (IO) using strap-down inertial measurement units (IMUs) is critical in many robotic applications where precise orientation and position tracking are essential. Prior kinematic motion model-based IO methods often use a simplified linearized IMU noise model and thus usually encounter difficulties in modeling non-deterministic errors arising from environmental disturbances and mechanical defects. In contrast, data-driven IO methods struggle to accurately model the sensor motions, often leading to generalizability and interoperability issues. To address these challenges, we present AirIMU, a hybrid approach to estimate the uncertainty, especially the non-deterministic errors, by data-driven methods and increase the generalization abilities using model-based methods. We demonstrate the adaptability of AirIMU using a full spectrum of IMUs, from low-cost automotive grades to high-end navigation grades. We also validate its effectiveness on various platforms, including hand-held devices, vehicles, and a helicopter that covers a trajectory of 262 kilometers. In the ablation study, we validate the effectiveness of our learned uncertainty in an IMU-GPS pose graph optimization experiment, achieving a 31.6\% improvement in accuracy. Experiments demonstrate that jointly training the IMU noise correction and uncertainty estimation synergistically benefits both tasks.


title: Prompt-to-OS (P2OS): Revolutionizing Operating Systems and Human-Computer Interaction with Integrated AI Generative Models

abstract: In this paper, we present a groundbreaking paradigm for human-computer interaction that revolutionizes the traditional notion of an operating system. Within this innovative framework, user requests issued to the machine are handled by an interconnected ecosystem of generative AI models that seamlessly integrate with or even replace traditional software applications. At the core of this paradigm shift are large generative models, such as language and diffusion models, which serve as the central interface between users and computers. This pioneering approach leverages the abilities of advanced language models, empowering users to engage in natural language conversations with their computing devices. Users can articulate their intentions, tasks, and inquiries directly to the system, eliminating the need for explicit commands or complex navigation. The language model comprehends and interprets the user's prompts, generating and displaying contextual and meaningful responses that facilitate seamless and intuitive interactions. This paradigm shift not only streamlines user interactions but also opens up new possibilities for personalized experiences. Generative models can adapt to individual preferences, learning from user input and continuously improving their understanding and response generation. Furthermore, it enables enhanced accessibility, as users can interact with the system using speech or text, accommodating diverse communication preferences. However, this visionary concept raises significant challenges, including privacy, security, trustability, and the ethical use of generative models. Robust safeguards must be in place to protect user data and prevent potential misuse or manipulation of the language model. While the full realization of this paradigm is still far from being achieved, this paper serves as a starting point for envisioning this transformative potential.


title: Indiscrete Common Commensurators

abstract: We develop a framework for common commensurators of discrete subgroups of lattices in isometry groups of CAT(0) spaces. We show that the Greenberg-Shalom hypothesis about discreteness of common commensurators of Zariski dense subgroups and lattices fails in this generality, even if one imposes strong finiteness conditions. We analyze some examples due to Burger and Mozes in this context and show that they have discrete common commensurator.


title: Electromagnetic angular momentum of quantized wavepackets in free space

abstract: A single electromagnetic plane-wave propagating in free space possesses neither spin nor orbital angular momentum. Both types of angular momentum arise from interference between pairs of plane-waves having the same temporal frequency {\omega} but differing k-vectors k_1 and k_2. While it is fairly straightforward to evaluate a wavepacket's spin and orbital angular momenta in the (k,{\omega}) continuum by means of Fourier transformation, obtaining the same results by discretizing the (k,{\omega}) space, then attempting to approach the continuum limit via an infinite enlargement of the spatial volume under consideration, is fraught with danger.


title: Hybrid Recommendation System using Graph Neural Network and BERT Embeddings

abstract: Recommender systems have emerged as a crucial component of the modern web ecosystem. The effectiveness and accuracy of such systems are critical for providing users with personalized recommendations that meet their specific interests and needs. In this paper, we introduce a novel model that utilizes a Graph Neural Network (GNN) in conjunction with sentence transformer embeddings to predict anime recommendations for different users. Our model employs the task of link prediction to create a recommendation system that considers both the features of anime and user interactions with different anime. The hybridization of the GNN and transformer embeddings enables us to capture both inter-level and intra-level features of anime data.Our model not only recommends anime to users but also predicts the rating a specific user would give to an anime. We utilize the GraphSAGE network for model building and weighted root mean square error (RMSE) to evaluate the performance of the model. Our approach has the potential to significantly enhance the accuracy and effectiveness of anime recommendation systems and can be extended to other domains that require personalized recommendations.


title: Wavefront shaping through a free-form scattering object

abstract: Wavefront shaping is a technique to study and control light transport inside scattering media. Wavefront shaping is considered to be applicable to any complex material, yet in most previous studies, the only sample geometries that are studied are slabs or wave-guides. In this paper, we study how macroscopic changes in the sample shape affect light scattering using the wavefront shaping technique. Using a flexible scattering material, we optimize the intensity of light in a focusing spot using wavefront shaping and record the optimized pattern, comparing the enhancement for different curvatures and beam radii. We validate our hypothesis that wavefront shaping has a similar enhancement regardless of the free-form shape of the sample and thus offers relevant potential for industrial applications. We propose a new figure of merit to evaluate the performance of wavefront shaping for different shapes. Surprisingly, based on this figure of merit, we observe that for this particular sample, wavefront shaping has a slightly better performance for a free-form shape than for a slab shape.

categories: physics.optics physics.app-ph physics.data-an physics.ins-det


title: Question-focused Summarization by Decomposing Articles into Facts and Opinions and Retrieving Entities

abstract: This research focuses on utilizing natural language processing techniques to predict stock price fluctuations, with a specific interest in early detection of economic, political, social, and technological changes that can be leveraged for capturing market opportunities. The proposed approach includes the identification of salient facts and events from news articles, then use these facts to form tuples with entities which can be used to get summaries of market changes for particular entity and then finally combining all the summaries to form a final abstract summary of the whole article. The research aims to establish relationships between companies and entities through the analysis of Wikipedia data and articles from the Economist. Large Language Model GPT 3.5 is used for getting the summaries and also forming the final summary. The ultimate goal of this research is to develop a comprehensive system that can provide financial analysts and investors with more informed decision-making tools by enabling early detection of market trends and events.


title: Phasor Noise for Dehomogenisation in 2D Multiscale Topology Optimisation

abstract: This paper presents an alternative approach to dehomogenisation of elastic Rank-N laminate structures based on the computer graphics discipline of phasor noise. The proposed methodology offers an improvement of existing methods, where high-quality single-scale designs can be obtained efficiently without the utilisation of any least-squares problem or pre-trained models. By utilising a continuous and periodic representation of the translation at each intermediate step, appropriate length-scale and thicknesses can be obtained. Numerical tests verifies the performance of the proposed methodology compared to state-of-the-art alternatives, and the dehomogenised designs achieve structural performance within a few percentages of the optimised homogenised solution. The nature of the phasor-based dehomogenisation is inherently mesh-independent and highly parallelisable, allowing for further efficient implementations and future extensions to 3D problems on unstructured meshes.


title: Triangulations of singular constant curvature spheres via Belyi functions and determinants of Laplacians

abstract: We study the zeta-regularized spectral determinant of the Friedrichs Laplacians on the singular spheres obtained by cutting and glueing copies of constant curvature (hyperbolic, spherical, or flat) double triangle. The determinant is explicitly expressed in terms of the corresponding Belyi functions and the determinant of the Friedrichs Laplacian on the double triangle. The latter determinant was found in a closed explicit form in [V. Kalvin, Calc. Var. 62 (2023), Paper 59, arXiv:2112.02771]. In examples we consider the cyclic, dihedral, tetrahedral, octahedral, and icosahedral triangulations, and find the determinant for the corresponding spherical, Euclidean, and hyperbolic Platonic surfaces. These surfaces correspond to stationary points of the determinant.


title: Scalar bosons in Bonnor-Melvin-$\Lambda$ universe: Exact solution, Landau levels and Coulomb-like potential

abstract: In this work we study spin-0 particles in a spacetime which structure is determined by a homogeneous magnetic field and a cosmological constant. For this purpose we take into account a framework based on the Bonnor-Melvin solution with the inclusion of the cosmological constant. We write the Klein-Gordon equation, solve it and determine the Landau levels. The effect of a scalar potential is also considered.


title: Regret Analysis of Repeated Delegated Choice

abstract: We present a study on a repeated delegated choice problem, which is the first to consider an online learning variant of Kleinberg and Kleinberg, EC'18. In this model, a principal interacts repeatedly with an agent who possesses an exogenous set of solutions to search for efficient ones. Each solution can yield varying utility for both the principal and the agent, and the agent may propose a solution to maximize its own utility in a selfish manner. To mitigate this behavior, the principal announces an eligible set which screens out a certain set of solutions. The principal, however, does not have any information on the distribution of solutions in advance. Therefore, the principal dynamically announces various eligible sets to efficiently learn the distribution. The principal's objective is to minimize cumulative regret compared to the optimal eligible set in hindsight. We explore two dimensions of the problem setup, whether the agent behaves myopically or strategizes across the rounds, and whether the solutions yield deterministic or stochastic utility. Our analysis mainly characterizes some regimes under which the principal can recover the sublinear regret, thereby shedding light on the rise and fall of the repeated delegation procedure in various regimes.


title: Microstructure-property prediction of a Ni-based superalloy: A combined phase-field and finite element modelling approach

abstract: Multiscale modelling is a new paradigm that has emerged in recent times to study the well-known problem of the process-structure-property relationship in the area of materials science and engineering. For obtaining the desired performance for materials of strategic importance, such as superalloys, it is essential to bridge different length and time scales in order to navigate the entire design space. In the present study, we develop a physics-based model for a Ni-based superalloy where the microstructures simulated using a phase-field model serve as input to finite-element computations. We examine the alloy's microstructure evolution and effective elastic properties quantitatively via phase-field and finite element methods integrated with CALPHAD database, by varying composition and aging temperature. The phase-field simulations provide us with an insight into the different regimes of microstructure evolution. The finite element analysis uncovers the relation of effective elastic properties with several system parameters.


title: A Closed-form Solution for the Strapdown Inertial Navigation Initial Value Problem

abstract: Strapdown inertial navigation systems (SINS) are ubiquitious in robotics and engineering since they can estimate a rigid body pose using onboard kinematic measurements without knowledge of the dynamics of the vehicle to which they are attached. While recent work has focused on the closed-form evolution of the estimation error for SINS, which is critical for Kalman filtering, the propagation of the kinematics has received less attention. Runge-Kutta integration approaches have been widely used to solve the initial value problem; however, we show that leveraging the special structure of the SINS problem and viewing it as a mixed-invariant vector field on a Lie group, yields a closed form solution. Our closed form solution is exact given fixed gyroscope and accelerometer measurements over a sampling period, and it is utilizes 12 times less floating point operations compared to a single integration step of a 4th order Runge-Kutta integrator. We believe the wide applicability of this work and the efficiency and accuracy gains warrant general adoption of this algorithm for SINS.


title: A Symmetry-based Framework for Model Selection of Coral Reef Population Growth Models

abstract: The problem of selecting a model given a set of candidates remains a challenging one that pervades many scientific fields. We employ techniques from the theory of Lie groups to analyse the symmetries in differential equation models of population growth, with the aim of informing the model selection problem. To illustrate the use of Lie symmetries in model selection, we apply them to simulated data and to coral reef data from the Great Barrier Reef, demonstrating that the trivial symmetries can distinguish between candidate models. A method for finding locally optimal parameters for multi-parameter symmetries is presented, and the paper concludes with related results, some open problems, and avenues of further research.


title: A HST Study of the Substellar Population of NGC 2024

abstract: We performed a HST/WFC3-IR imaging survey of the young stellar cluster NGC 2024 in three filters probing the 1.4~$\mu$m H$_2$O absorption feature, characteristic of the population of low mass and sub-stellar mass objects down to a few Jupyter masses. We detect 812 point sources, 550 of them in all 3 filters with signal to noise greater than 5. Using a distance-independent two-color diagram we determine extinction values as high as $A_V\simeq 40$. We also find that the change of effective wavelengths in our filters results in higher $A_V$ values as the reddening increases. Reconstructing a dereddened color-magnitude diagram we derive a luminosity histogram for both the full sample of candidate cluster members and for an extinction-limited sub-sample containing the 50% of sources with $A_V\lesssim 15$. Assuming a standard extinction law like Cardelli et al. (1989) with a nominal $R_V$=3.1 we produce a luminosity function in good agreement with the one resulting from a Salpeter-like Initial Mass Function for a 1~Myr isochrone. There is some evidence of an excess of luminous stars in the most embedded region. We posit that the correlation may be due to those sources being younger, and therefore overluminous than the more evolved and less extinct cluster's stars. We compare our classification scheme based on the depth of the 1.4$\mu$m photometric feature with the results from the spectroscopic survey of Levine et al. (2006), and we report a few peculiar sources and morphological features typical of the rich phenomenology commonly encountered in young star-forming regions.


title: GradXKG: A Universal Explain-per-use Temporal Knowledge Graph Explainer

abstract: Temporal knowledge graphs (TKGs) have shown promise for reasoning tasks by incorporating a temporal dimension to represent how facts evolve over time. However, existing TKG reasoning (TKGR) models lack explainability due to their black-box nature. Recent work has attempted to address this through customized model architectures that generate reasoning paths, but these recent approaches have limited generalizability and provide sparse explanatory output. To enable interpretability for most TKGR models, we propose GradXKG, a novel two-stage gradient-based approach for explaining Relational Graph Convolution Network (RGCN)-based TKGR models. First, a Grad-CAM-inspired RGCN explainer tracks gradients to quantify each node's contribution across timesteps in an efficient "explain-per-use" fashion. Second, an integrated gradients explainer consolidates importance scores for RGCN outputs, extending compatibility across diverse TKGR architectures based on RGCN. Together, the two explainers highlight the most critical nodes at each timestep for a given prediction. Our extensive experiments demonstrated that, by leveraging gradient information, GradXKG provides insightful explanations grounded in the model's logic in a timely manner for most RGCN-based TKGR models. This helps address the lack of interpretability in existing TKGR models and provides a universal explanation approach applicable across various models.


title: From shear bands to earthquakes in a model granular material with contact aging

abstract: We perform molecular dynamics simulations of homogeneous athermal systems of poly-disperse soft discs under shear. For purely repulsive interactions between particles, and under a confining external pressure, a monotonous flow curve (strain rate vs. stress) starting at a critical yield stress is obtained, with deformation distributing uniformly in the system, on average. Then we add a short range attractive contribution to the interaction potential that increases its intensity as particles remain in contact for a progressively longer time, mimicking an aging effect into the system. In this case the flow curve acquires a reentrant behavior, namely, a region of negative slope. Within this region the deformation is seen to localize in a shear band with a well defined width that decreases as the global strain rate does. At very low strain rates the shear band becomes very thin and deformation acquires a prominent stick-slip behavior. This regime can be described as the system possessing a fault in which deformation occurs with the phenomenology that characterizes earthquakes. In this way the system we are analyzing connects a regime of uniform deformation at large strain rates, a localized deformation regime in the form of shear bands at intermediate stain rates, and seismic phenomena at very low strain rate. The unifying ingredient of this phenomenology is the existence of a reentrant flow curve, originated in the aging mechanisms present in the model.


title: The OIGroebnerBases Package for Macaulay2

abstract: We introduce the $\textit{Macaulay2}$ package $\texttt{OIGroebnerBases}$ for working with OI-modules over Noetherian polynomial OI-algebras. The main methods implement OI-analogues of Buchberger's algorithm and Schreyer's theorem to compute Gr\"obner bases, syzygies and free resolutions of submodules of free OI-modules.


title: Commercialized Generative AI: A Critical Study of the Feasibility and Ethics of Generating Native Advertising Using Large Language Models in Conversational Web Search

abstract: How will generative AI pay for itself? Unless charging users for access, selling advertising is the only alternative. Especially in the multi-billion dollar web search market with ads as the main source of revenue, the introduction of a subscription model seems unlikely. The recent disruption of search by generative large language models could thus ultimately be accompanied by generated ads. Our concern is that the commercialization of generative AI in general and large language models in particular could lead to native advertising in the form of quite subtle brand or product placements. In web search, the evolution of search engine results pages (SERPs) from traditional lists of ``ten blue links'' (lists SERPs) to generated text with web page references (text SERPs) may further blur the line between advertising-based and organic search results, making it difficult for users to distinguish between the two, depending on how advertising is integrated and disclosed. To raise awareness of this potential development, we conduct a pilot study analyzing the capabilities of current large language models to blend ads with organic search results. Although the models still struggle to subtly frame ads in an unrelated context, their potential is evident when integrating ads into related topics which calls for further investigation.


title: Generalized Densest Subgraph in Multiplex Networks

abstract: Finding dense subgraphs of a large network is a fundamental problem in graph mining that has been studied extensively both for its theoretical richness and its many practical applications over the last five decades. However, most existing studies have focused on graphs with a single type of connection. In applications such as biological, social, and transportation networks, interactions between objects span multiple aspects, yielding multiplex graphs. Existing dense subgraph mining methods in multiplex graphs consider the same importance for different types of connections, while in real-world applications, one relation type can be noisy, insignificant, or irrelevant. Moreover, they are limited to the edge-density measure, unable to change the emphasis on larger/smaller degrees depending on the application. To this end, we define a new family of dense subgraph objectives, parametrized by two variables $p$ and $\beta$, that can (1) consider different importance weights for each relation type, and (2) change the emphasis on the larger/smaller degrees, depending on the application. Due to the NP-hardness of this problem, we first extend the FirmCore, $k$-core counterpart in multiplex graphs, to layer-weighted multiplex graphs, and based on it, we propose two polynomial-time approximation algorithms for the generalized densest subgraph problem, when $p \geq 1$ and the general case. Our experimental results show the importance of considering different weights for different relation types and the effectiveness and efficiency of our algorithms.


title: Multi-Spacecraft Predictive Sensor Tasking for Cislunar Space Situational Awareness

abstract: This paper delves into the predictive sensor tasking algorithm for the multi-observer, multi-target sensor setting, leveraging the Extended Information Filter (EIF). Conventional predictive formulations suffer from the curse of dimensionality due to the dependence of the performance metric on the target-observer assignment history. This paper exploits the EIF's additive structure of measurement information to break the dependence and devises an efficient linear integer programming formulation. We further investigate the resulting formulation to study how the cislunar dynamics expands and shrinks the measurement information, and discuss when the information gain is maximized in relation to the observation space and the uncertainty deformation caused by the dynamics. We numerically demonstrate that the predictive sensor tasking algorithm outperforms the myopic algorithm in two different metrics, depending on the formulation.


title: Cell Tracking-by-detection using Elliptical Bounding Boxes

abstract: Cell detection and tracking are paramount for bio-analysis. Recent approaches rely on the tracking-by-model evolution paradigm, which usually consists of training end-to-end deep learning models to detect and track the cells on the frames with promising results. However, such methods require extensive amounts of annotated data, which is time-consuming to obtain and often requires specialized annotators. This work proposes a new approach based on the classical tracking-by-detection paradigm that alleviates the requirement of annotated data. More precisely, it approximates the cell shapes as oriented ellipses and then uses generic-purpose oriented object detectors to identify the cells in each frame. We then rely on a global data association algorithm that explores temporal cell similarity using probability distance metrics, considering that the ellipses relate to two-dimensional Gaussian distributions. Our results show that our method can achieve detection and tracking results competitively with state-of-the-art techniques that require considerably more extensive data annotation. Our code is available at: https://github.com/LucasKirsten/Deep-Cell-Tracking-EBB.


title: Guaranteeing Anonymity in Attribute-Based Authorization

abstract: Attribute-based methods, such as attribute-based access control and attribute-based encryption, make decisions based on attributes possessed by a subject rather than the subject's identity. While this allows for anonymous authorization -- determining that a subject is authorized without knowing the identity of the subject -- it does not guarantee anonymity. If a policy can be composed such that few subjects possess attributes satisfying the policy, then when the policy is used for access control, in addition to making a grant or deny decision, the system can also guess with high probability the identity of the subject making the request. Other approaches to achieving anonymity in attribute-based authorization do not address this attribute distribution problem. Suppose polices contain conjunctions of at most $t$ attributes and the system must not be able to guess with probability greater than $\frac{1}{r}$ the identity of a subject using a policy for authorization. We say the anonymity guarantee is $r$ for maximum credential size $t$. An anonymizing array is a combinatorial array proposed as an abstraction to address the underlying attribute distribution problem by ensuring that any assignment of values to $t$ attributes appearing in the array appears at least $r$ times. Anonymizing arrays are related to covering arrays with higher coverage, but have an additional desired property, homogeneity, due to their application domain. In this work, we discuss the application of anonymizing arrays to guarantee anonymous authorization in attribute-based methods. Additionally, we develop metrics, local and global homogeneity, to compare anonymizing arrays with the same parameters.


title: Generative AI May Prefer to Present National-level Characteristics of Cities Based on Stereotypical Geographic Impressions at the Continental Level

abstract: A simple experiment was conducted to test the ability of the Chinese-based generative artificial intelligence (AI) platform, Wenxin Yige, to render images of urban street views of different countries. The study found that images generated by this AI platform may contain continental-level stereotypes in terms of showing the level of economic development and modernization. Street view images generated from Wenxin Yige do not adequately represent the diverse range of urban landscapes found across different nations. Using these generated images for geography education or outreach initiatives could inadvertently strengthen people's existing stereotypical views about individual countries.


title: Scalable Multi-domain Trust Infrastructures for Segmented Networks

abstract: Within a trust infrastructure, a private key is often used to digitally sign a transaction, which can be verified with an associated public key. Using PKI (Public Key Infrastructure), a trusted entity can produce a digital signature, verifying the authenticity of the public key. However, what happens when external entities are not trusted to verify the public key or in cases where there is no Internet connection within an isolated or autonomously acting collection of devices? For this, a trusted entity can be elected to generate a key pair and then split the private key amongst trusted devices. Each node can then sign part of the transaction using their split of the shared secret. The aggregated signature can then define agreement on a consensus within the infrastructure. Unfortunately, this process has two significant problems. The first is when no trusted node can act as a dealer of the shares. The second is the difficulty of scaling the digital signature scheme. This paper outlines a method of creating a leaderless approach to defining trust domains to overcome weaknesses in the scaling of the elliptic curve digital signature algorithm. Instead, it proposes the usage of the Edwards curve digital signature algorithm for the definition of multiple trust zones. The paper shows that the computational overhead of the distributed key generation phase increases with the number of nodes in the trust domain but that the distributed signing has a relatively constant computational overhead.