title: Modelling clusters in network time series with an application to presidential elections in the USA

abstract: Network time series are becoming increasingly relevant in the study of dynamic processes characterised by a known or inferred underlying network structure. Generalised Network Autoregressive (GNAR) models provide a parsimonious framework for exploiting the underlying network, even in the high-dimensional setting. We extend the GNAR framework by introducing the $\textit{community}$-$\alpha$ GNAR model that exploits prior knowledge and/or exogenous variables for identifying and modelling dynamic interactions across communities in the underlying network. We further analyse the dynamics of $\textit{Red, Blue}$ and $\textit{Swing}$ states throughout presidential elections in the USA. Our analysis shows that dynamics differ among the state-wise clusters.


title: POE: Acoustic Soft Robotic Proprioception for Omnidirectional End-effectors

abstract: Soft robotic shape estimation and proprioception are challenging because of soft robot's complex deformation behaviors and infinite degrees of freedom. A soft robot's continuously deforming body makes it difficult to integrate rigid sensors and to reliably estimate its shape. In this work, we present Proprioceptive Omnidirectional End-effector (POE), which has six embedded microphones across the tendon-driven soft robot's surface. We first introduce novel applications of previously proposed 3D reconstruction methods to acoustic signals from the microphones for soft robot shape proprioception. To improve the proprioception pipeline's training efficiency and model prediction consistency, we present POE-M. POE-M first predicts key point positions from the acoustic signal observations with the embedded microphone array. Then we utilize an energy-minimization method to reconstruct a physically admissible high-resolution mesh of POE given the estimated key points. We evaluate the mesh reconstruction module with simulated data and the full POE-M pipeline with real-world experiments. We demonstrate that POE-M's explicit guidance of the key points during the mesh reconstruction process provides robustness and stability to the pipeline with ablation studies. POE-M reduced the maximum Chamfer distance error by 23.10 % compared to the state-of-the-art end-to-end soft robot proprioception models and achieved 4.91 mm average Chamfer distance error during evaluation.


title: Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors

abstract: Microarchitectural attacks compromise security by exploiting software-visible artifacts of microarchitectural optimizations such as caches and speculative execution. Defending against such attacks at the software level requires an appropriate abstraction at the instruction set architecture (ISA) level that captures microarchitectural leakage. Hardware-software leakage contracts have recently been proposed as such an abstraction. In this paper, we propose a semi-automatic methodology for synthesizing hardware-software leakage contracts for open-source microarchitectures. For a given ISA, our approach relies on human experts to (a) capture the space of possible contracts in the form of contract templates and (b) devise a test-case generation strategy to explore a microarchitecture's potential leakage. For a given implementation of an ISA, these two ingredients are then used to automatically synthesize the most precise leakage contract that is satisfied by the microarchitecture. We have instantiated this methodology for the RISC-V ISA and applied it to the Ibex and CVA6 open-source processors. Our experiments demonstrate the practical applicability of the methodology and uncover subtle and unexpected leaks.


title: Diverse Part Synthesis for 3D Shape Creation

abstract: Methods that use neural networks for synthesizing 3D shapes in the form of a part-based representation have been introduced over the last few years. These methods represent shapes as a graph or hierarchy of parts and enable a variety of applications such as shape sampling and reconstruction. However, current methods do not allow easily regenerating individual shape parts according to user preferences. In this paper, we investigate techniques that allow the user to generate multiple, diverse suggestions for individual parts. Specifically, we experiment with multimodal deep generative models that allow sampling diverse suggestions for shape parts and focus on models which have not been considered in previous work on shape synthesis. To provide a comparative study of these techniques, we introduce a method for synthesizing 3D shapes in a part-based representation and evaluate all the part suggestion techniques within this synthesis method. In our method, which is inspired by previous work, shapes are represented as a set of parts in the form of implicit functions which are then positioned in space to form the final shape. Synthesis in this representation is enabled by a neural network architecture based on an implicit decoder and a spatial transformer. We compare the various multimodal generative models by evaluating their performance in generating part suggestions. Our contribution is to show with qualitative and quantitative evaluations which of the new techniques for multimodal part generation perform the best and that a synthesis method based on the top-performing techniques allows the user to more finely control the parts that are generated in the 3D shapes while maintaining high shape fidelity when reconstructing shapes.


title: Yielding and plasticity in amorphous solids

abstract: The physics of disordered media, from metallic glasses to colloidal suspensions, granular matter and biological tissues, offers difficult challenges because it often occurs far from equilibrium, in materials lacking symmetries and evolving through complex energy landscapes. Here, we review recent theoretical efforts to provide microscopic insights into the mechanical properties of amorphous media using approaches from statistical mechanics as unifying frameworks. We cover both the initial regime corresponding to small deformations, and the yielding transition marking a change between elastic response and plastic flow. We discuss the specific features arising for systems evolving near a jamming transition, and extend our discussion to recent studies of the rheology of dense biological and active materials.


title: Tri$^{2}$-plane: Volumetric Avatar Reconstruction with Feature Pyramid

abstract: Recent years have witnessed considerable achievements in facial avatar reconstruction with neural volume rendering. Despite notable advancements, the reconstruction of complex and dynamic head movements from monocular videos still suffers from capturing and restoring fine-grained details. In this work, we propose a novel approach, named Tri$^2$-plane, for monocular photo-realistic volumetric head avatar reconstructions. Distinct from the existing works that rely on a single tri-plane deformation field for dynamic facial modeling, the proposed Tri$^2$-plane leverages the principle of feature pyramids and three top-to-down lateral connections tri-planes for details improvement. It samples and renders facial details at multiple scales, transitioning from the entire face to specific local regions and then to even more refined sub-regions. Moreover, we incorporate a camera-based geometry-aware sliding window method as an augmentation in training, which improves the robustness beyond the canonical space, with a particular improvement in cross-identity generation capabilities. Experimental outcomes indicate that the Tri$^2$-plane not only surpasses existing methodologies but also achieves superior performance across both quantitative metrics and qualitative assessments through experiments.


title: A Multi-Agent Security Testbed for the Analysis of Attacks and Defenses in Collaborative Sensor Fusion

abstract: The performance and safety of autonomous vehicles (AVs) deteriorates under adverse environments and adversarial actors. The investment in multi-sensor, multi-agent (MSMA) AVs is meant to promote improved efficiency of travel and mitigate safety risks. Unfortunately, minimal investment has been made to develop security-aware MSMA sensor fusion pipelines leaving them vulnerable to adversaries. To advance security analysis of AVs, we develop the Multi-Agent Security Testbed, MAST, in the Robot Operating System (ROS2). Our framework is scalable for general AV scenarios and is integrated with recent multi-agent datasets. We construct the first bridge between AVstack and ROS and develop automated AV pipeline builds to enable rapid AV prototyping. We tackle the challenge of deploying variable numbers of agent/adversary nodes at launch-time with dynamic topic remapping. Using this testbed, we motivate the need for security-aware AV architectures by exposing the vulnerability of centralized multi-agent fusion pipelines to (un)coordinated adversary models in case studies and Monte Carlo analysis.


title: CognitiveDog: Large Multimodal Model Based System to Translate Vision and Language into Action of Quadruped Robot

abstract: This paper introduces CognitiveDog, a pioneering development of quadruped robot with Large Multi-modal Model (LMM) that is capable of not only communicating with humans verbally but also physically interacting with the environment through object manipulation. The system was realized on Unitree Go1 robot-dog equipped with a custom gripper and demonstrated autonomous decision-making capabilities, independently determining the most appropriate actions and interactions with various objects to fulfill user-defined tasks. These tasks do not necessarily include direct instructions, challenging the robot to comprehend and execute them based on natural language input and environmental cues. The paper delves into the intricacies of this system, dataset characteristics, and the software architecture. Key to this development is the robot's proficiency in navigating space using Visual-SLAM, effectively manipulating and transporting objects, and providing insightful natural language commentary during task execution. Experimental results highlight the robot's advanced task comprehension and adaptability, underscoring its potential in real-world applications. The dataset used to fine-tune the robot-dog behavior generation model is provided at the following link: huggingface.co/datasets/ArtemLykov/CognitiveDog_dataset


title: Electron binding energy of a donor in bilayer graphene with gate-tunable gap

abstract: In gapped bilayer graphene, similarly to conventional semiconductors, Coulomb impurities (such as nitrogen donors) may determine the activation energy of its conductivity and provide low temperature hopping conductivity. However, in spite of the importance of Coulomb impurities, nothing is known about their electron binding energy $E_b$ in the presence of gates. To close this gap, we study numerically the electron binding energy $E_b$ of a singly charged donor in BN-enveloped bilayer graphene with the top and bottom gates at distance $d$ and gate-tunable gap $2\Delta$. We show that for $10 < d < 200$ nm and $1 < \Delta < 100$ meV the ratio $E_b/\Delta$ changes from 0.4 to 1.5. The ratio $E_b/\Delta$ stays close to unity because of the dominating role of the bilayer polarization screening which reduces the Coulomb potential well depth to values $\sim \Delta$. Still the ratio $E_b/\Delta$ somewhat decreases with growing $\Delta$, faster at small $\Delta$ and slower at large $\Delta$. On the other hand, $E_b/\Delta$ weakly grows with $d$, again faster at small $\Delta$ and slower at large $\Delta$. We also studied the effect of trigonal warping and found only a small reduction of $E_b/\Delta$.


title: On Better Approximation Order for the Nonlinear q-Bernstein Operator of Maximum Product Kind

abstract: Nonlinear q-Bernstein operator of max-product kind was introduced and its approximation order was examined, and the order of approximation was found to be by Duman in. In this paper, we obtained a better order of approximation for this operator.


title: A survey on the intrinsic decoherence in the Milburn formalism

abstract: In this work, we consider different theoretical aspects and simple applications of the Milburn equation, which is governed by a parameter controlling what is known as intrinsic decoherence. The main goal is to show some similarities observed also when external decoherence is considered. Purity, Ehrenfest relations, probability density current, the Wigner representation as well as the relation to a Linbladian master equation are analyzed in terms of this intrinsic decoherence, leading to new insights on the Milburn dynamics. Interference of two wave packets, tunneling and the bouncing ball problem are also analyzed under this perspective.


title: Equivariant Cosheaves and Finite Group Representations in Graphic Statics

abstract: This work extends the theory of reciprocal diagrams in graphic statics to frameworks that are invariant under finite group actions by utilizing the homology and representation theory of cellular cosheaves, recent tools from applied algebraic topology. By introducing the structure of an equivariant cellular cosheaf, we prove that pairs of self-stresses and reciprocal diagrams of symmetric frameworks are classified by the irreducible representations of the underlying group. We further derive the symmetry-aligned Euler characteristics of a finite dimensional equivariant chain complex, which for the force cosheaf yields a new formulation of the symmetry-adapted Maxwell counting rule for detecting symmetric self-stresses and kinematic degrees of freedom in frameworks. A freely available program is used to implement the relevant cosheaf homologies and illustrate the theory with examples.


title: \'Eliv\'agar: Efficient Quantum Circuit Search for Classification

abstract: Designing performant and noise-robust circuits for Quantum Machine Learning (QML) is challenging -- the design space scales exponentially with circuit size, and there are few well-supported guiding principles for QML circuit design. Although recent Quantum Circuit Search (QCS) methods attempt to search for performant QML circuits that are also robust to hardware noise, they directly adopt designs from classical Neural Architecture Search (NAS) that are misaligned with the unique constraints of quantum hardware, resulting in high search overheads and severe performance bottlenecks. We present \'Eliv\'agar, a novel resource-efficient, noise-guided QCS framework. \'Eliv\'agar innovates in all three major aspects of QCS -- search space, search algorithm and candidate evaluation strategy -- to address the design flaws in current classically-inspired QCS methods. \'Eliv\'agar achieves hardware-efficiency and avoids an expensive circuit-mapping co-search via noise- and device topology-aware candidate generation. By introducing two cheap-to-compute predictors, Clifford noise resilience and Representational capacity, \'Eliv\'agar decouples the evaluation of noise robustness and performance, enabling early rejection of low-fidelity circuits and reducing circuit evaluation costs. Due to its resource-efficiency, \'Eliv\'agar can further search for data embeddings, significantly improving performance. Based on a comprehensive evaluation of \'Eliv\'agar on 12 real quantum devices and 9 QML applications, \'Eliv\'agar achieves 5.3% higher accuracy and a 271$\times$ speedup compared to state-of-the-art QCS methods.


title: On a Slice of the Cubic 2-adic Mandelbrot Set

abstract: Consider the one-parameter family of cubic polynomials defined by $f_t(z) =-\frac 32 t(-2z^3+3z^2)+1, t \in \mathbb{C}_2$. This family corresponds to a slice of the parameter space of cubic polynomials in $\mathbb{C}_2[z]$. We investigate which parameters in this family belong to the cubic $2$-adic Mandelbrot set, a $p$-adic analog of the classical Mandelbrot set. When $t=1$, $f_t(z)$ is post-critically finite with a strictly preperiodic critical orbit. We establish that this is a non-isolated boundary point on the cubic $2$-adic Mandelbrot set and show asymptotic self-similarity of the Mandelbrot set near this point. Subsequently, we investigate the Julia set for polynomial on the boundary and demonstrate a similarity between the Mandelbrot set at this point and the Julia set, similar to what is seen in the classical complex case.


title: Evaluating LLMs' Mathematical and Coding Competency through Ontology-guided Interventions

abstract: Recent advancements in Large Language Models (LLMs) have showcased striking results on existing logical reasoning benchmarks, with some models even surpassing human performance. However, the true depth of their competencies and robustness in reasoning tasks remains an open question. To this end, in this paper, we focus on two popular reasoning tasks: arithmetic reasoning and code generation. Particularly, we introduce: (i) a general ontology of perturbations for maths and coding questions, (ii) a semi-automatic method to apply these perturbations, and (iii) two datasets, MORE and CORE, respectively, of perturbed maths and coding problems to probe the limits of LLM capabilities in numeric reasoning and coding tasks. Through comprehensive evaluations of both closed-source and open-source LLMs, we show a significant performance drop across all the models against the perturbed questions, suggesting that the current LLMs lack robust problem solving skills and structured reasoning abilities in many areas, as defined by our ontology. We open source the datasets and source codes at: https://github.com/declare-lab/llm_robustness.


title: Curves with prescribed rational points

abstract: Given a smooth curve $C/\mathbb{Q}$ with genus $\geq 2$, we know by Faltings' Theorem that $C(\mathbb{Q})$ is finite. Here we ask the reverse question: given a finite set of rational points $S\subseteq \mathbb{P}^n(\mathbb{Q})$, does there exist a smooth curve $C/\mathbb{Q}$ contained in $\mathbb{P}^n$ such that $C(\mathbb{Q})=S$? We answer this question in the affirmative by providing an effective algorithm for constructing such a curve.


title: Algebraic integrability with bounded genus

abstract: We provide an algorithm which decides whether a polynomial foliation $\mathcal{F}^{\mathbb{C}^2}$ on the complex plane has a polynomial first integral of genus $g\neq 1$. Except in a specific case, an extension of the algorithm also decides if $\mathcal{F}^{\mathbb{C}^2}$ has a rational first integral of that genus.


title: A Future-Input Dependent model for Greenberger-Horne-Zeilinger correlations

abstract: It is widely appreciated, due to Bell's theorem, that quantum phenomena are inconsistent with local-realist models. In this context, locality refers to local causality, and there is thus an open possibility for reproducing the quantum predictions with models which internally violate the causal arrow of time, while otherwise adhering to the relevant locality condition. So far, this possibility has been demonstrated only at a toy-model level, and only for systems involving one or two spins (or photons). The present work extends one of these models to quantum correlations between three or more spins which are entangled in the Greenberger-Horne-Zeilinger state.


title: Causal Dynamical Triangulations: Gateway to Nonperturbative Quantum Gravity

abstract: A powerful strategy to treat quantum field theories beyond perturbation theory is by putting them on a lattice. However, the dynamical and symmetry structure of general relativity have for a long time stood in the way of a well-defined lattice formulation of quantum gravity. These issues are resolved by using Causal Dynamical Triangulations (CDT) to implement a nonperturbative, background-independent path integral for Lorentzian quantum gravity on dynamical lattices. We describe the essential ingredients of this formulation, and how it has allowed us to move away from formal considerations in quantum gravity to extracting quantitative results on the spectra of diffeomorphism-invariant quantum observables, describing physics near the Planck scale. Key results to date are the emergence of a de Sitter-like quantum universe and the discovery of an anomalous spectral dimension at short distances.


title: The Diffeological \v{C}ech-de Rham Obstruction

abstract: Using higher topos theory, we explore the obstruction to the \v{C}ech-de Rham map being an isomorphism in each degree for diffeological spaces. In degree 1, we obtain an exact sequence which interprets Iglesias-Zemmour's construction from "\v{C}ech-de Rham Bicomplex in Diffeology" in $\infty$-stack cohomology. We obtain new exact sequences in all higher degrees. These exact sequences are constructed using homotopy pullback diagrams that include the $\infty$-stack classifying higher $\mathbb{R}$-bundle gerbes with connection. We also obtain a conceptual and succinct proof that the $\infty$-stack cohomology of the irrational torus $T_K$ for $K \subset \mathbb{R}$ a diffeologically discrete subgroup, agrees with the group cohomology of $K$ with values in $\mathbb{R}$. Finally, for a Lie group $G$, we prove that the groupoid of diffeological principal $G$-bundles with connection one obtains via higher topos theory is equivalent to the groupoid of diffeological principal $G$-bundles with connection defined in Waldorf's "Transgression to Loop Spaces and its Inverse, I".


title: PERMUTOOLS: A MATLAB Package for Multivariate Permutation Testing

abstract: Statistical hypothesis testing and effect size measurement are routine parts of quantitative research. Advancements in computer processing power have greatly improved the capability of statistical inference through the availability of resampling methods. However, many of the statistical practices used today are based on traditional, parametric methods that rely on assumptions about the underlying population. These assumptions may not always be valid, leading to inaccurate results and misleading interpretations. Permutation testing, on the other hand, generates the sampling distribution empirically by permuting the observed data, providing distribution-free hypothesis testing. Furthermore, this approach lends itself to a powerful method for multiple comparison correction - known as max correction - which is less prone to type II errors than conventional correction methods. Parametric methods have also traditionally been utilized for estimating the confidence interval of various test statistics and effect size measures. However, these too can be estimated empirically using permutation or bootstrapping techniques. Whilst resampling methods are generally considered preferable, many popular programming languages and statistical software packages lack efficient implementations. Here, we introduce PERMUTOOLS, a MATLAB package for multivariate permutation testing and effect size measurement.


title: Effects of Vanadium Doping on the Optical Response and Electronic Structure of WS$_{2}$ Monolayers

abstract: Two-dimensional dilute magnetic semiconductors has been recently reported in semiconducting transition metal dichalcogenides by the introduction of spin-polarized transition metal atoms as dopants. This is the case of vanadium-doped WS$_2$ and WSe$_2$ monolayers, which exhibits a ferromagnetic ordering even above room temperature. However, a broadband characterization of their electronic band structure and its dependence on vanadium concentration is still lacking. Therefore, here we perform power-dependent photoluminescence, resonant four-wave mixing, and differential reflectance spectroscopy to study the optical transitions close to the A exciton energy of vanadium-doped WS$_2$ monolayers with distinct concentrations. Instead of a single A exciton peak, vanadium-doped samples exhibit two photoluminescence peaks associated with transitions to occupied and unoccupied bands. Moreover, resonant Raman spectroscopy and resonant second-harmonic generation measurements revealed a blueshift in the B exciton but no energy change in the C exciton as vanadium is introduced in the monolayers. Density functional theory calculations showed that the band structure is sensitive to the Hubbard \(U\) correction for vanadium and several scenarios are proposed to explain the two photoluminescence peaks around the A exciton energy region. Our work provides the first broadband optical characterization of these two-dimensional dilute magnetic semiconductors, shedding light on the novel electronic features of WS$_{2}$ monolayers which are tunable by the vanadium concentration.


title: Arithmetic Hodge-Iwasawa Moduli Stacks

abstract: In this article, we are going to construct arithmetic moduli stacks of $G$-bundles after our previous construction on Hodge-Iwasawa theory. These stacks parametrize certain Hodge-Iwasawa structures in a coherent way.


title: Arithmetic Ramsey theory over the primes

abstract: We study density and partition properties of polynomial equations in prime variables. We consider equations of the form $a_1h(x_1) + \cdots + a_sh(x_s)=b$, where the $a_i$ and $b$ are fixed coefficients, and $h$ is an arbitrary integer polynomial of degree $d$. Provided there are at least $(1+o(1))d^2$ variables, we establish necessary and sufficient criteria for this equation to have a monochromatic non-constant solution with respect to any finite colouring of the prime numbers. We similarly characterise when such equations admit solutions over any set of primes with positive relative upper density. In both cases, we obtain counting results which provide asymptotically sharp lower bounds for the number of monochromatic or dense solutions in primes. Our main new ingredient is a uniform lower bound on the cardinality of a prime polynomial Bohr set.


title: On the action of the symmetric group on the free LAnKe

abstract: A LAnKe (also known as a Filippov algebra or a Lie algebra of the $n$-th kind) is a vector space equipped with a skew-symmetric $n$-linear form that satisfies the generalized Jacobi identity. Friedmann, Hanlon, Stanley and Wachs have shown that the symmetric group acts on the multilinear component of the free LAnKe on $2n-1$ generators as an irreducible representation. They have claimed that the multilinear component on $3n-2$ generators decomposes as a direct sum of two irreducible symmetric group representations. This paper provides a proof of the later statement.


title: Ces\`aro operators associated with Borel measures acting on weighted spaces of holomorphic functions with sup-norm

abstract: Let $\mu$ be a positive finite Borel measure on $[0,1).$ Ces\`aro-type operators $C_{\mu}$ when acting on weighted spaces of holomorphic functions are investigated. In the case of bounded holomorphic functions on the unit disc we prove that $C_\mu$ is continuous if and only if it is compact. In the case of weighted Banach spaces of holomorphic function defined by general weights, we give sufficient and necessary conditions for the continuity and compactness. For standard weights, we characterize the continuity and compactness on classical growth Banach spaces of holomorphic functions. We also study the point spectrum and the spectrum of $C_\mu$ on the space of holomorphic functions on the disc, on the space of bounded holomorphic functions on the disc, and on the classical growth Banach spaces of holomorphic functions. All characterizations are given in terms of the sequence of moments $(\mu_n)_{n\in\N_0}$. The continuity, compactness and spectrum of $C_\mu$ acting on Fr\'echet and (LB) Korenblum type spaces are also considered.


title: Deciphering Textual Authenticity: A Generalized Strategy through the Lens of Large Language Semantics for Detecting Human vs. Machine-Generated Text

abstract: With the recent proliferation of Large Language Models (LLMs), there has been an increasing demand for tools to detect machine-generated text. The effective detection of machine-generated text face two pertinent problems: First, they are severely limited in generalizing against real-world scenarios, where machine-generated text is produced by a variety of generators, including but not limited to GPT-4 and Dolly, and spans diverse domains, ranging from academic manuscripts to social media posts. Second, existing detection methodologies treat texts produced by LLMs through a restrictive binary classification lens, neglecting the nuanced diversity of artifacts generated by different LLMs. In this work, we undertake a systematic study on the detection of machine-generated text in real-world scenarios. We first study the effectiveness of state-of-the-art approaches and find that they are severely limited against text produced by diverse generators and domains in the real world. Furthermore, t-SNE visualizations of the embeddings from a pretrained LLM's encoder show that they cannot reliably distinguish between human and machine-generated text. Based on our findings, we introduce a novel system, T5LLMCipher, for detecting machine-generated text using a pretrained T5 encoder combined with LLM embedding sub-clustering to address the text produced by diverse generators and domains in the real world. We evaluate our approach across 9 machine-generated text systems and 9 domains and find that our approach provides state-of-the-art generalization ability, with an average increase in F1 score on machine-generated text of 19.6\% on unseen generators and domains compared to the top performing existing approaches and correctly attributes the generator of text with an accuracy of 93.6\%.


title: Were you born in an aborted primordial black hole?

abstract: We propose a novel mechanism of electroweak baryogenesis based on the standard model only and explaining the coincidence between the baryon and dark matter densities in the Universe, as well as the observed value of the baryon-to-photon ratio. In our scenario, large curvature fluctuations slightly below the threshold for Primordial Black Hole (PBH) formation locally reheat the plasma above the sphaleron barrier when they collapse gravitationally but without forming a black hole. This rapid process can lead to a maximal baryogenesis in those regions at the Quantum Chromodynamics (QCD) epoch at thermal temperatures between 20 MeV and 50 MeV. Compared to another mechanism relying on shock waves associated to the formation of PBHs, our mechanism instead applies to aborted PBHs. Using simulations in numerical relativity, we calculate the overdensity threshold for baryogenesis and show that the baryon-to-photon ratio is generically between two and three times larger than the relative abundance of PBHs formed at those temperatures. Finally, we show that PBH formation models at the QCD epoch leading to an abundance comparable to the dark matter could have generated a baryon density and an averaged baryon-to-photon ratio consistent with observations.


title: Interaction robustness of the chiral anomaly in Weyl semimetals and Luttinger liquids from a mixed anomaly approach

abstract: The chiral anomaly is one of the robust quantum effects in relativistic field theories with a chiral symmetry where charges in chiral sectors appear to be separately conserved. The chiral anomaly, which is often associated with a renormalization-invariant topological term, is a violation of this conservation law due to quantum effects. Such anomalies manifest in Weyl materials as an electromagnetic field-induced transfer of charge between Fermi pockets. However, the emergent nature of the conservation of chiral charge leads to manifestations of the chiral anomaly response that depend on the details of the system such as the strength of interactions. In this paper, we apply an approach where the chiral symmetry in solid materials is replaced by the combination of charge $U(1)$ gauge and spatial translation symmetry. The chiral anomaly in this case is replaced by a mixed anomaly between the two symmetries and the chiral charge can be defined as being proportional to the total momentum. We show that the chiral anomaly associated with this chiral charge is unrenormalized by interactions in contrast to other chiral charges in $(1+1)D$ whose renormalization is regularization dependent. In $(3+1)$D Weyl systems, this chiral anomaly is equivalent to the charge transferred between Fermi surfaces which can be measured through changes in Fermi-surface-enclosed volume. We propose a pump-probe technique to measure this.


title: Through the Looking-Glass: Transparency Implications and Challenges in Enterprise AI Knowledge Systems

abstract: Knowledge can't be disentangled from people. As AI knowledge systems mine vast volumes of work-related data, the knowledge that's being extracted and surfaced is intrinsically linked to the people who create and use it. When these systems get embedded in organizational settings, the information that is brought to the foreground and the information that's pushed to the periphery can influence how individuals see each other and how they see themselves at work. In this paper, we present the looking-glass metaphor and use it to conceptualize AI knowledge systems as systems that reflect and distort, expanding our view on transparency requirements, implications and challenges. We formulate transparency as a key mediator in shaping different ways of seeing, including seeing into the system, which unveils its capabilities, limitations and behavior, and seeing through the system, which shapes workers' perceptions of their own contributions and others within the organization. Recognizing the sociotechnical nature of these systems, we identify three transparency dimensions necessary to realize the value of AI knowledge systems, namely system transparency, procedural transparency and transparency of outcomes. We discuss key challenges hindering the implementation of these forms of transparency, bringing to light the wider sociotechnical gap and highlighting directions for future Computer-supported Cooperative Work (CSCW) research.


title: Slaying Axion-Like Particles via Gravitational Waves and Primordial Black Holes from Supercooled Phase Transition

abstract: We study the formation of primordial black holes (PBHs) from density fluctuations due to supercooled phase transitions (PTs) triggered in an axion-like particle (ALP) model. We find that the mass of the PBHs is inversely correlated with the ALP decay constant $f_a$. For instance, for $f_a$ varying from ${\cal O}$(100 MeV) to ${\cal O}$($10^{12}$ GeV), the PBH mass varies between $(10^{3} - 10^{-24}) M_{\odot}$. We then identify the ALP parameter space where the PBH can account for the entire (or partial) dark matter fraction of the Universe, in a single (multi-component) dark matter scenario, with the ALP being the other dark matter candidate. The PBH parameter space ruled out by current cosmological and microlensing observations can thus be directly mapped onto the ALP parameter space, thus providing new bounds on ALPs, complementary to the laboratory and astrophysical ALP constraints. Similarly, depending on the ALP couplings to other Standard Model particles, the ALP constraints on $f_a$ can be translated into a lower bound on the PBH mass scale. Moreover, the supercooled PT leads to a potentially observable stochastic gravitational wave (GW) signal at future GW observatories, such as aLIGO, LISA and ET, that acts as another complementary probe of the ALPs, as well as of the PBH dark matter. Finally, we show that the recent NANOGrav signal of stochastic GW in the nHz frequency range can be explained in our model with $f_a\simeq (10~{\rm GeV}-1~{\rm TeV})$.


title: Weakly-Private Information Retrieval From MDS-Coded Distributed Storage

abstract: We consider the problem of weakly-private information retrieval (WPIR) when data is encoded by a maximum distance separable code and stored across multiple servers. In WPIR, a user wishes to retrieve a piece of data from a set of servers without leaking too much information about which piece of data she is interested in. We study and provide the first WPIR protocols for this scenario and present results on their optimal trade-off between download rate and information leakage using the maximal leakage privacy metric.


title: POP-3D: Open-Vocabulary 3D Occupancy Prediction from Images

abstract: We describe an approach to predict open-vocabulary 3D semantic voxel occupancy map from input 2D images with the objective of enabling 3D grounding, segmentation and retrieval of free-form language queries. This is a challenging problem because of the 2D-3D ambiguity and the open-vocabulary nature of the target tasks, where obtaining annotated training data in 3D is difficult. The contributions of this work are three-fold. First, we design a new model architecture for open-vocabulary 3D semantic occupancy prediction. The architecture consists of a 2D-3D encoder together with occupancy prediction and 3D-language heads. The output is a dense voxel map of 3D grounded language embeddings enabling a range of open-vocabulary tasks. Second, we develop a tri-modal self-supervised learning algorithm that leverages three modalities: (i) images, (ii) language and (iii) LiDAR point clouds, and enables training the proposed architecture using a strong pre-trained vision-language model without the need for any 3D manual language annotations. Finally, we demonstrate quantitatively the strengths of the proposed model on several open-vocabulary tasks: Zero-shot 3D semantic segmentation using existing datasets; 3D grounding and retrieval of free-form language queries, using a small dataset that we propose as an extension of nuScenes. You can find the project page here https://vobecant.github.io/POP3D.


title: Vlogger: Make Your Dream A Vlog

abstract: In this work, we present Vlogger, a generic AI system for generating a minute-level video blog (i.e., vlog) of user descriptions. Different from short videos with a few seconds, vlog often contains a complex storyline with diversified scenes, which is challenging for most existing video generation approaches. To break through this bottleneck, our Vlogger smartly leverages Large Language Model (LLM) as Director and decomposes a long video generation task of vlog into four key stages, where we invoke various foundation models to play the critical roles of vlog professionals, including (1) Script, (2) Actor, (3) ShowMaker, and (4) Voicer. With such a design of mimicking human beings, our Vlogger can generate vlogs through explainable cooperation of top-down planning and bottom-up shooting. Moreover, we introduce a novel video diffusion model, ShowMaker, which serves as a videographer in our Vlogger for generating the video snippet of each shooting scene. By incorporating Script and Actor attentively as textual and visual prompts, it can effectively enhance spatial-temporal coherence in the snippet. Besides, we design a concise mixed training paradigm for ShowMaker, boosting its capacity for both T2V generation and prediction. Finally, the extensive experiments show that our method achieves state-of-the-art performance on zero-shot T2V generation and prediction tasks. More importantly, Vlogger can generate over 5-minute vlogs from open-world descriptions, without loss of video coherence on script and actor. The code and model is all available at https://github.com/zhuangshaobin/Vlogger.


title: Randomized Kaczmarz with geometrically smoothed momentum

abstract: This paper studies the effect of adding geometrically smoothed momentum to the randomized Kaczmarz algorithm, which is an instance of stochastic gradient descent on a linear least squares loss function. We prove a result about the expected error in the direction of singular vectors of the matrix defining the least squares loss. We present several numerical examples illustrating the utility of our result and pose several questions.


title: TextureDreamer: Image-guided Texture Synthesis through Geometry-aware Diffusion

abstract: We present TextureDreamer, a novel image-guided texture synthesis method to transfer relightable textures from a small number of input images (3 to 5) to target 3D shapes across arbitrary categories. Texture creation is a pivotal challenge in vision and graphics. Industrial companies hire experienced artists to manually craft textures for 3D assets. Classical methods require densely sampled views and accurately aligned geometry, while learning-based methods are confined to category-specific shapes within the dataset. In contrast, TextureDreamer can transfer highly detailed, intricate textures from real-world environments to arbitrary objects with only a few casually captured images, potentially significantly democratizing texture creation. Our core idea, personalized geometry-aware score distillation (PGSD), draws inspiration from recent advancements in diffuse models, including personalized modeling for texture information extraction, variational score distillation for detailed appearance synthesis, and explicit geometry guidance with ControlNet. Our integration and several essential modifications substantially improve the texture quality. Experiments on real images spanning different categories show that TextureDreamer can successfully transfer highly realistic, semantic meaningful texture to arbitrary objects, surpassing the visual quality of previous state-of-the-art.


title: Vision Mamba: Efficient Visual Representation Learning with Bidirectional State Space Model

abstract: Recently the state space models (SSMs) with efficient hardware-aware designs, i.e., the Mamba deep learning model, have shown great potential for long sequence modeling. Meanwhile building efficient and generic vision backbones purely upon SSMs is an appealing direction. However, representing visual data is challenging for SSMs due to the position-sensitivity of visual data and the requirement of global context for visual understanding. In this paper, we show that the reliance on self-attention for visual representation learning is not necessary and propose a new generic vision backbone with bidirectional Mamba blocks (Vim), which marks the image sequences with position embeddings and compresses the visual representation with bidirectional state space models. On ImageNet classification, COCO object detection, and ADE20k semantic segmentation tasks, Vim achieves higher performance compared to well-established vision transformers like DeiT, while also demonstrating significantly improved computation & memory efficiency. For example, Vim is 2.8$\times$ faster than DeiT and saves 86.8% GPU memory when performing batch inference to extract features on images with a resolution of 1248$\times$1248. The results demonstrate that Vim is capable of overcoming the computation & memory constraints on performing Transformer-style understanding for high-resolution images and it has great potential to be the next-generation backbone for vision foundation models. Code is available at https://github.com/hustvl/Vim.


title: Quantification of the Fourth Moment Theorem for Cyclotomic Generating Functions

abstract: This paper deals with sequences of random variables $X_n$ only taking values in $\{0,\ldots,n\}$. The probability generating functions of such random variables are polynomials of degree $n$. Under the assumption that the roots of these polynomials are either all real or all lie on the unit circle in the complex plane, a quantitative normal approximation bound for $X_n$ is established in a unified way. In the real rooted case the result is classical and only involves the variances of $X_n$, while in the cyclotomic case the fourth cumulants or moments of $X_n$ appear in addition. The proofs are elementary and based on the Stein-Tikhomirov method.


title: GARField: Group Anything with Radiance Fields

abstract: Grouping is inherently ambiguous due to the multiple levels of granularity in which one can decompose a scene -- should the wheels of an excavator be considered separate or part of the whole? We present Group Anything with Radiance Fields (GARField), an approach for decomposing 3D scenes into a hierarchy of semantically meaningful groups from posed image inputs. To do this we embrace group ambiguity through physical scale: by optimizing a scale-conditioned 3D affinity feature field, a point in the world can belong to different groups of different sizes. We optimize this field from a set of 2D masks provided by Segment Anything (SAM) in a way that respects coarse-to-fine hierarchy, using scale to consistently fuse conflicting masks from different viewpoints. From this field we can derive a hierarchy of possible groupings via automatic tree construction or user interaction. We evaluate GARField on a variety of in-the-wild scenes and find it effectively extracts groups at many levels: clusters of objects, objects, and various subparts. GARField inherently represents multi-view consistent groupings and produces higher fidelity groups than the input SAM masks. GARField's hierarchical grouping could have exciting downstream applications such as 3D asset extraction or dynamic scene understanding. See the project website at https://www.garfield.studio/


title: LionHeart: A Layer-based Mapping Framework for Heterogeneous Systems with Analog In-Memory Computing Tiles

abstract: When arranged in a crossbar configuration, resistive memory devices can be used to execute MVM, the most dominant operation of many ML algorithms, in constant time complexity. Nonetheless, when performing computations in the analog domain, novel challenges are introduced in terms of arithmetic precision and stochasticity, due to non-ideal circuit and device behaviour. Moreover, these non-idealities have a temporal dimension, resulting in a degrading application accuracy over time. Facing these challenges, we propose a novel framework, named LionHeart, to obtain hybrid analog-digital mappings to execute DL inference workloads using heterogeneous accelerators. The accuracy-constrained mappings derived by LionHeart showcase, across different DNNs and datasets, high accuracy and potential for speedup. The results of the full system simulations highlight run-time reductions and energy efficiency gains that exceed 6X, with a user-defined accuracy threshold with respect to a fully digital floating point implementation.


title: Towards large-scale quantum optimization solvers with few qubits

abstract: We introduce a variational quantum solver for combinatorial optimizations over $m=\mathcal{O}(n^k)$ binary variables using only $n$ qubits, with tunable $k>1$. The number of parameters and circuit depth display mild linear and sublinear scalings in $m$, respectively. Moreover, we analytically prove that the specific qubit-efficient encoding brings in a super-polynomial mitigation of barren plateaus as a built-in feature. This leads to unprecedented quantum-solver performances. For $m=7000$, numerical simulations produce solutions competitive in quality with state-of-the-art classical solvers. In turn, for $m=2000$, an experiment with $n=17$ trapped-ion qubits featured MaxCut approximation ratios estimated to be beyond the hardness threshold $0.941$. To our knowledge, this is the highest quality attained experimentally on such sizes. Our findings offer a novel heuristics for quantum-inspired solvers as well as a promising route towards solving commercially-relevant problems on near term quantum devices.


title: Where is the spin liquid in maple-leaf quantum magnet?

abstract: We investigate the possibility of exotic phenomena, viz. quantum spin liquid (QSL) or deconfined quantum critical point (DQCP), in the spin-$\frac{1}{2}$ Heisenberg model on the maple-leaf lattice, a geometrically frustrated system formed by hexagons (coupling $J_h$), triangles (coupling $J_t$), and dimers (coupling $J_d$). We identify one promising region, given by $J_h > 0$ and $J_t, J_d < 0$, for hosting enticing physics. In this region, the quantum phase diagram of the system exhibits an interplay between N\'eel order and a gapped dimerized singlet phase. This arrangement holds the possibility of harboring a QSL and a DQCP. Using bond-operator mean-field theory and density matrix renormalization group calculations, we delve into this uncharted territory, revealing tantalizing evidence of the existence of a QSL phase and highlighting its potential as a platform for DQCP.


title: Regenerative Medicine for Tendon/Ligament Injuries: De Novo Equine Tendon/Ligament Neotissue Generation and Application

abstract: Tendon and ligament injuries are debilitating conditions across species. Poor regenerative capacities of these tissues limit restoration of original functions. The first study of this dissertation evaluated the effect of cellular administration on tendon/ligament injuries in horses using meta-analysis. The findings led to the second study that engineered implantable de novo tendon neotissue using equine adipose-derived multipotent stromal cells and collagen type I. The neotendon was evaluated for its biocompatibility and therapeutic potential in the third study using immunocompetent and immunocompromised rat bilateral calcaneal tendon elongation model. The fourth study investigated the therapeutic effects of neotendon in surgically-induced non-terminal equine accessory ligament of deep digital flexor tendon injury model.


title: Precipitation Prediction Using an Ensemble of Lightweight Learners

abstract: Precipitation prediction plays a crucial role in modern agriculture and industry. However, it poses significant challenges due to the diverse patterns and dynamics in time and space, as well as the scarcity of high precipitation events. To address this challenge, we propose an ensemble learning framework that leverages multiple learners to capture the diverse patterns of precipitation distribution. Specifically, the framework consists of a precipitation predictor with multiple lightweight heads (learners) and a controller that combines the outputs from these heads. The learners and the controller are separately optimized with a proposed 3-stage training scheme. By utilizing provided satellite images, the proposed approach can effectively model the intricate rainfall patterns, especially for high precipitation events. It achieved 1st place on the core test as well as the nowcasting leaderboards of the Weather4Cast 2023 competition. For detailed implementation, please refer to our GitHub repository at: https://github.com/lxz1217/weather4cast-2023-lxz.


title: Quantifying Attrition in Science: A Cohort-Based, Longitudinal Study of Scientists in 38 OECD Countries

abstract: In this paper, we explore how members of the scientific community leave academic science and how attrition (defined as ceasing to publish) differs across genders, academic disciplines, and over time. Our approach is cohort based and longitudinal: We track individual male and female scientists over time and quantify the phenomenon traditionally referred to as 'leaving science.' Using publication metadata from Scopus - a global bibliometric database of publications and citations - we follow the details of the publishing careers of scientists from 38 OECD countries who started publishing in 2000 (N = 142,776) and 2010 (N = 232,843). Our study is restricted to 16 STEMM disciplines (science, technology, engineering, mathematics, and medicine), and we track the individual scholarly output of the two cohorts until 2022. Survival analyses show that attrition becomes less gendered. In addition to the combined aggregated changes at the level of all STEMM disciplines, widely nuanced changes were found to occur at the discipline level and over time. Attrition in science means different things for men versus women depending on the discipline; moreover, it means different things for scientists from different cohorts entering the scientific workforce. Finally, global bibliometric datasets were tested in the current study, opening new opportunities to explore gender and disciplinary differences in attrition.


title: Transduce: learning transduction grammars for string transformation

abstract: The synthesis of string transformation programs from input-output examples utilizes various techniques, all based on an inductive bias that comprises a restricted set of basic operators to be combined. A new algorithm, Transduce, is proposed, which is founded on the construction of abstract transduction grammars and their generalization. We experimentally demonstrate that Transduce can learn positional transformations efficiently from one or two positive examples without inductive bias, achieving a success rate higher than the current state of the art.


title: An Abstract Category of Dynamical Systems

abstract: A notion of time is fundamental in the study of dynamical systems. Time arises as a standalone dynamical system and also in solutions or trajectories as a special kind of map between systems. We characterize time by a universal property and use universality to motivate an abstract definition for categories of dynamical systems. We propose this definition as guidance in concrete instantiations for other kinds of systems.


title: Multispectral Stereo-Image Fusion for 3D Hyperspectral Scene Reconstruction

abstract: Spectral imaging enables the analysis of optical material properties that are invisible to the human eye. Different spectral capturing setups, e.g., based on filter-wheel, push-broom, line-scanning, or mosaic cameras, have been introduced in the last years to support a wide range of applications in agriculture, medicine, and industrial surveillance. However, these systems often suffer from different disadvantages, such as lack of real-time capability, limited spectral coverage or low spatial resolution. To address these drawbacks, we present a novel approach combining two calibrated multispectral real-time capable snapshot cameras, covering different spectral ranges, into a stereo-system. Therefore, a hyperspectral data-cube can be continuously captured. The combined use of different multispectral snapshot cameras enables both 3D reconstruction and spectral analysis. Both captured images are demosaicked avoiding spatial resolution loss. We fuse the spectral data from one camera into the other to receive a spatially and spectrally high resolution video stream. Experiments demonstrate the feasibility of this approach and the system is investigated with regard to its applicability for surgical assistance monitoring.


title: Sol-Gel and Gel-Sol Transitions of Biodegradable Chlorella-k-Carrageenan Composites: Photon Transmission Study

abstract: Microalgae can be used in the packaging sector due to their ability to synthesize bioactive compounds that are favorable in the production of biodegradable packaging. In this work, to create an alternative to plastic packaging, we studied microalgae Chlorella in the presence of k-Carrageenan to form biodegradable packaging using various approaches such as gel formation, film creation, and photometric analyses. Here we have measured Gel-Sol and Sol-Gel energies by employing Arrhenius Law on photon transmission curves, produced during these hysteresis-type phase transitions. The combination of Chlorella, k-Carrageenan, NaCl, and water could form a gel that had a high biodegradation rate with no photodegradation obtained from the experiments. At the same time, our findings indicated that the material obtained from these processes could be a considerable option that degrades much faster than plastic.


title: Polymer patterning by laser-induced multi-point initiation of frontal polymerization

abstract: Frontal polymerization (FP) is an approach for thermosetting plastics at lower energy cost than an autoclave. The potential to generate simultaneous propagation of multiple polymerization fronts has been discussed as an exciting possibility. However, FP initiated at more than two points simultaneously has not been demonstrated. Multi-point initiation could enable both large scale material fabrication and unique pattern generation. Here the authors present laser-patterned photothermal heating as a method for simultaneous initiation of FP at multiple locations in a 2-D sample. Carbon black particles are mixed into liquid resin (dicyclopentadiene) to enhance absorption of light from a Ti:Sapphire laser (800 nm) focused on a sample. The laser is time-shared by rapid steering among initiation points, generating polymerization using up to seven simultaneous points of initiation. This process results in the formation of both symmetric and asymmetric seam patterns resulting from the collision of fronts. The authors also present and validate a theoretical framework for predicting the seam patterns formed by front collisions. This framework allows the design of novel patterns via an inverse solution for determining the initiation points required to form a desired pattern. Future applications of this approach could enable rapid, energy-efficient manufacturing of novel composite-like patterned materials.


title: A Smoothing Algorithm for l1 Support Vector Machines

abstract: A smoothing algorithm is presented for solving the soft-margin Support Vector Machine (SVM) optimization problem with an $\ell^{1}$ penalty. This algorithm is designed to require a modest number of passes over the data, which is an important measure of its cost for very large datasets. The algorithm uses smoothing for the hinge-loss function, and an active set approach for the $\ell^{1}$ penalty. The smoothing parameter $\alpha$ is initially large, but typically halved when the smoothed problem is solved to sufficient accuracy. Convergence theory is presented that shows $\mathcal{O}(1+\log(1+\log_+(1/\alpha)))$ guarded Newton steps for each value of $\alpha$ except for asymptotic bands $\alpha=\Theta(1)$ and $\alpha=\Theta(1/N)$, with only one Newton step provided $\eta\alpha\gg1/N$, where $N$ is the number of data points and the stopping criterion that the predicted reduction is less than $\eta\alpha$. The experimental results show that our algorithm is capable of strong test accuracy without sacrificing training speed.


title: RoleCraft-GLM: Advancing Personalized Role-Playing in Large Language Models

abstract: This study presents RoleCraft-GLM, an innovative framework aimed at enhancing personalized role-playing with Large Language Models (LLMs). RoleCraft-GLM addresses the key issue of lacking personalized interactions in conversational AI, and offers a solution with detailed and emotionally nuanced character portrayals. We contribute a unique conversational dataset that shifts from conventional celebrity-centric characters to diverse, non-celebrity personas, thus enhancing the realism and complexity of language modeling interactions. Additionally, our approach includes meticulous character development, ensuring dialogues are both realistic and emotionally resonant. The effectiveness of RoleCraft-GLM is validated through various case studies, highlighting its versatility and skill in different scenarios. Our framework excels in generating dialogues that accurately reflect characters' personality traits and emotions, thereby boosting user engagement. In conclusion, RoleCraft-GLM marks a significant leap in personalized AI interactions, and paves the way for more authentic and immersive AI-assisted role-playing experiences by enabling more nuanced and emotionally rich dialogues


title: Resilient and Survivable Ring Star Problems

abstract: In this paper, we consider both the Resilient Ring Star Problem, in which a solution should be easy to fix when a single hub fails, and the Survivable Ring Star Problem, in which a solution guarantees that a Ring Star topology is available at no cost when a single hub fails. An ILP formulation is proposed for both problems, as well as a Benders decomposition. The solution provided by both problems are also compared in order to determine which problem returns the most appropriate solutions, when the failure rate varies.


title: Modeling, Simulation, and Maneuvering Control of a Generic Submarine

abstract: This work introduces two multi-level control strategies to address the problem of guidance and control of underwater vehicles. An outer-loop path-following algorithm and an outer-loop trajectory tracking algorithm are presented. Both outer-loop algorithms provide reference commands that enable the generic submarine to adhere to a three-dimensional path, and both use an inner-loop adaptive controller to determine the required actuation commands. Further, a reduced order model of a generic submarine is presented. Computational fluid dynamics (CFD) results are used to create and validate a model that includes depth dependence and the effect of waves on the craft. %The model and the procedure to obtain its coefficients are discussed, and examples of the data used to obtain the model coefficients are presented. An example of operation following a complex path is presented and Results from the reduced order model for each control strategy are compared.


title: Reasoning with random sets: An agenda for the future

abstract: In this paper, we discuss a potential agenda for future work in the theory of random sets and belief functions, touching upon a number of focal issues: the development of a fully-fledged theory of statistical reasoning with random sets, including the generalisation of logistic regression and of the classical laws of probability; the further development of the geometric approach to uncertainty, to include general random sets, a wider range of uncertainty measures and alternative geometric representations; the application of this new theory to high-impact areas such as climate change, machine learning and statistical learning theory.


title: Computability of Approximate Optima of Nonconvex Functions

abstract: It is known that finding approximate optima of non-convex functions is intractable. We give a simple proof to show that this problem is not even computable.


title: Equilibrium States for Random Zooming Systems

abstract: In this work, we introduce the notion of random zooming systems and prove the existence of equilibrium states for which we call random zooming potentials, that include the hyperbolic ones, possibly with the presence of a critical set. The proof follows ideas of the work [4]. With a mild condition, we obtain uniqueness. We also prove that the classes of random zooming potentials and random hyperbolic potentials are equivalent and also contain the null potential, giving measures of maximal entropy.


title: Recurrence analysis of meteorological data from climate zones in India

abstract: We present a study on the spatio-temporal pattern underlying the climate dynamics in various locations spread over India, including the Himalayan region, coastal region, central and northeastern parts of India. We try to capture the variations in the complexity of their dynamics derived from temperature and relative humidity data from 1948-2022. By estimating the recurrence-based measures from the reconstructed phase space dynamics using a sliding window analysis on the data sets, we study the climate variability in different spatial locations. The study brings out the variations in the complexity of the underlying dynamics as well as their heterogeneity across the locations in India. We find almost all locations indicate shifts to more irregular and stochastic dynamics for temperature data around 1972-79 and shifts back to more regular dynamics beyond 2000. These patterns correlate with reported shifts in the climate and Indian Summer Monsoon related to strong and moderate ENSO events and confirm their associated regional variability.


title: An Exceptionally Difficult Binary Quadratic Optimization Problem with Symmetry: a Challenge for The Largest Unsolved QAP Instance Tai256c

abstract: Tai256c is the largest unsolved quadratic assignment problem (QAP) instance in QAPLIB. It is known that QAP tai256c can be converted into a 256 dimensional binary quadratic optimization problem (BQOP) with a single cardinality constraint which requires the sum of the binary variables to be 92. As the BQOP is much simpler than the original QAP, the conversion increases the possibility to solve the QAP. Solving exactly the BQOP, however, is still very difficult. Indeed, a 1.48\% gap remains between the best known upper bound (UB) and lower bound (LB) of the unknown optimal value. This paper shows that the BQOP admits a nontrivial symmetry, a property that makes the BQOP very hard to solve. The symmetry induces equivalent subproblems in branch and bound (BB) methods. To effectively improve the LB, we propose an efficient BB method that incorporates a doubly nonnegative relaxation, the standard orbit branching and a technique to prune equivalent subproblems. With this BB method, a new LB with 1.25\% gap is successfully obtained, and computing an LB with $1.0\%$ gap is shown to be still quite difficult.


title: Proton and neutron electromagnetic radii and magnetic moments from lattice QCD

abstract: We present results for the electromagnetic form factors of the proton and neutron computed on the $(2 + 1)$-flavor Coordinated Lattice Simulations (CLS) ensembles including both quark-connected and -disconnected contributions. The $Q^2$-, pion-mass, lattice-spacing, and finite-volume dependence of our form factor data is fitted simultaneously to the expressions resulting from covariant chiral perturbation theory including vector mesons amended by models for lattice artefacts. From these fits, we determine the electric and magnetic radii and the magnetic moments of the proton and neutron, as well as the Zemach radius of the proton. To assess the influence of systematic effects, we average over various cuts in the pion mass and the momentum transfer, as well as over different models for the lattice-spacing and finite-volume dependence, using weights derived from the Akaike Information Criterion (AIC).


title: Voxceleb-ESP: preliminary experiments detecting Spanish celebrities from their voices

abstract: This paper presents VoxCeleb-ESP, a collection of pointers and timestamps to YouTube videos facilitating the creation of a novel speaker recognition dataset. VoxCeleb-ESP captures real-world scenarios, incorporating diverse speaking styles, noises, and channel distortions. It includes 160 Spanish celebrities spanning various categories, ensuring a representative distribution across age groups and geographic regions in Spain. We provide two speaker trial lists for speaker identification tasks, each of them with same-video or different-video target trials respectively, accompanied by a cross-lingual evaluation of ResNet pretrained models. Preliminary speaker identification results suggest that the complexity of the detection task in VoxCeleb-ESP is equivalent to that of the original and much larger VoxCeleb in English. VoxCeleb-ESP contributes to the expansion of speaker recognition benchmarks with a comprehensive and diverse dataset for the Spanish language.


title: Object Attribute Matters in Visual Question Answering

abstract: Visual question answering is a multimodal task that requires the joint comprehension of visual and textual information. However, integrating visual and textual semantics solely through attention layers is insufficient to comprehensively understand and align information from both modalities. Intuitively, object attributes can naturally serve as a bridge to unify them, which has been overlooked in previous research. In this paper, we propose a novel VQA approach from the perspective of utilizing object attribute, aiming to achieve better object-level visual-language alignment and multimodal scene understanding. Specifically, we design an attribute fusion module and a contrastive knowledge distillation module. The attribute fusion module constructs a multimodal graph neural network to fuse attributes and visual features through message passing. The enhanced object-level visual features contribute to solving fine-grained problem like counting-question. The better object-level visual-language alignment aids in understanding multimodal scenes, thereby improving the model's robustness. Furthermore, to augment scene understanding and the out-of-distribution performance, the contrastive knowledge distillation module introduces a series of implicit knowledge. We distill knowledge into attributes through contrastive loss, which further strengthens the representation learning of attribute features and facilitates visual-linguistic alignment. Intensive experiments on six datasets, COCO-QA, VQAv2, VQA-CPv2, VQA-CPv1, VQAvs and TDIUC, show the superiority of the proposed method.


title: CRD: Collaborative Representation Distance for Practical Anomaly Detection

abstract: Visual defect detection plays an important role in intelligent industry. Patch based methods consider visual images as a collection of image patches according to positions, which have stronger discriminative ability for small defects in products, e.g. scratches on pills. However, the nearest neighbor search for the query image and the stored patches will occupy $O(n)$ complexity in terms of time and space requirements, posing strict challenges for deployment in edge environments. In this paper, we propose an alternative approach to the distance calculation of image patches via collaborative representation models. Starting from the nearest neighbor distance with $L_0$ constraint, we relax the constraint to $L_2$ constraint and solve the distance quickly in close-formed without actually accessing the original stored collection of image patches. Furthermore, we point out that the main computational burden of this close-formed solution can be pre-computed by high-performance server before deployment. Consequently, the distance calculation on edge devices only requires a simple matrix multiplication, which is extremely lightweight and GPU-friendly. Performance on real industrial scenarios demonstrates that compared to the existing state-of-the-art methods, this distance achieves several hundred times improvement in computational efficiency with slight performance drop, while greatly reducing memory overhead.


title: Online Handbook of Argumentation for AI: Volume 4

abstract: This volume contains revised versions of the papers selected for the fourth volume of the Online Handbook of Argumentation for AI (OHAAI). Previously, formal theories of argument and argument interaction have been proposed and studied, and this has led to the more recent study of computational models of argument. Argumentation, as a field within artificial intelligence (AI), is highly relevant for researchers interested in symbolic representations of knowledge and defeasible reasoning. The purpose of this handbook is to provide an open access and curated anthology for the argumentation research community. OHAAI is designed to serve as a research hub to keep track of the latest and upcoming PhD-driven research on the theory and application of argumentation in all areas related to AI.


title: Quadratic neural networks for solving inverse problems

abstract: In this paper we investigate the solution of inverse problems with neural network ansatz functions with generalized decision functions. The relevant observation for this work is that such functions can approximate typical test cases, such as the Shepp-Logan phantom, better, than standard neural networks. Moreover, we show that the convergence analysis of numerical methods for solving inverse problems with shallow generalized neural network functions leads to more intuitive convergence conditions, than for deep affine linear neural networks.


title: Explainable Multimodal Sentiment Analysis on Bengali Memes

abstract: Memes have become a distinctive and effective form of communication in the digital era, attracting online communities and cutting across cultural barriers. Even though memes are frequently linked with humor, they have an amazing capacity to convey a wide range of emotions, including happiness, sarcasm, frustration, and more. Understanding and interpreting the sentiment underlying memes has become crucial in the age of information. Previous research has explored text-based, image-based, and multimodal approaches, leading to the development of models like CAPSAN and PromptHate for detecting various meme categories. However, the study of low-resource languages like Bengali memes remains scarce, with limited availability of publicly accessible datasets. A recent contribution includes the introduction of the MemoSen dataset. However, the achieved accuracy is notably low, and the dataset suffers from imbalanced distribution. In this study, we employed a multimodal approach using ResNet50 and BanglishBERT and achieved a satisfactory result of 0.71 weighted F1-score, performed comparison with unimodal approaches, and interpreted behaviors of the models using explainable artificial intelligence (XAI) techniques.


title: Experimental Investigation of 5G Base Station functionalities in Reverberation Chamber at Millimeter-Wave

abstract: The performance and functionalities of a commercial fifth generation base station are evaluated inside the reverberation chamber at the mmWave frequency range. The base station capability to operates in different propagation environment conditions reproduced by the reverberation chamber is investigated. Throughput, modulation code scheme and beamforming are analyzed for different real life scenarios both in uplink and downlink. Experimental results inform network operators in their evaluation of the base station operation: i) in many scenarios within a laboratory; ii) in the assessment of whether expected benefit justifies the additional costs in an operating actual network.


title: Tumbug: A pictorial, universal knowledge representation method

abstract: Since the key to artificial general intelligence (AGI) is commonly believed to be commonsense reasoning (CSR) or, roughly equivalently, discovery of a knowledge representation method (KRM) that is particularly suitable for CSR, the author developed a custom KRM for CSR. This novel KRM called Tumbug was designed to be pictorial in nature because there exists increasing evidence that the human brain uses some pictorial type of KRM, and no well-known prior research in AGI has researched this KRM possibility. Tumbug is somewhat similar to Roger Schank's Conceptual Dependency (CD) theory, but Tumbug is pictorial and uses about 30 components based on fundamental concepts from the sciences and human life, in contrast to CD theory, which is textual and uses about 17 components (= 6 Primitive Conceptual Categories + 11 Primitive Acts) based mainly on human-oriented activities. All the Building Blocks of Tumbug were found to generalize to only five Basic Building Blocks that exactly correspond to the three components {O, A, V} of traditional Object-Attribute-Value representation plus two new components {C, S}, which are Change and System. Collectively this set of five components, called "SCOVA," seems to be a universal foundation for all knowledge representation.


title: Optimal games in Room 25 solo and coop modes

abstract: We study the problem of optimal games for the solo and coop modes of the board game Room 25 (season 1). We show that the game cannot be won in a single turn for any starting configuration, but that it can be done in two for some configurations. We introduce an opening that wins in two turns with enough luck, while having a low probability of losing immediately. We then show that the game can be won in a single turn if the game's rules are slightly modified, although the probability of winning then becomes substantially lower than in the two-turn strategy. At last, we show that if the players are maximally unlucky, they will lose regardless of their strategy.


title: Joining Forces for Pathology Diagnostics with AI Assistance: The EMPAIA Initiative

abstract: Over the past decade, artificial intelligence (AI) methods in pathology have advanced substantially. However, integration into routine clinical practice has been slow due to numerous challenges, including technical and regulatory hurdles in translating research results into clinical diagnostic products and the lack of standardized interfaces. The open and vendor-neutral EMPAIA initiative addresses these challenges. Here, we provide an overview of EMPAIA's achievements and lessons learned. EMPAIA integrates various stakeholders of the pathology AI ecosystem, i.e., pathologists, computer scientists, and industry. In close collaboration, we developed technical interoperability standards, recommendations for AI testing and product development, and explainability methods. We implemented the modular and open-source EMPAIA platform and successfully integrated 14 AI-based image analysis apps from 8 different vendors, demonstrating how different apps can use a single standardized interface. We prioritized requirements and evaluated the use of AI in real clinical settings with 14 different pathology laboratories in Europe and Asia. In addition to technical developments, we created a forum for all stakeholders to share information and experiences on digital pathology and AI. Commercial, clinical, and academic stakeholders can now adopt EMPAIA's common open-source interfaces, providing a unique opportunity for large-scale standardization and streamlining of processes. Further efforts are needed to effectively and broadly establish AI assistance in routine laboratory use. To this end, a sustainable infrastructure, the non-profit association EMPAIA International, has been established to continue standardization and support broad implementation and advocacy for an AI-assisted digital pathology future.


title: Diffusion-Driven Generative Framework for Molecular Conformation Prediction

abstract: The task of deducing three-dimensional molecular configurations from their two-dimensional graph representations holds paramount importance in the fields of computational chemistry and pharmaceutical development. The rapid advancement of machine learning, particularly within the domain of deep generative networks, has revolutionized the precision of predictive modeling in this context. Traditional approaches often adopt a two-step strategy: initially estimating interatomic distances and subsequently refining the spatial molecular structure by solving a distance geometry problem. However, this sequential approach occasionally falls short in accurately capturing the intricacies of local atomic arrangements, thereby compromising the fidelity of the resulting structural models. Addressing these limitations, this research introduces a cutting-edge generative framework named \method{}. This framework is grounded in the principles of diffusion observed in classical non-equilibrium thermodynamics. \method{} views atoms as discrete entities and excels in guiding the reversal of diffusion, transforming a distribution of stochastic noise back into coherent molecular structures through a process akin to a Markov chain. This transformation commences with the initial representation of a molecular graph in an abstract latent space, culminating in the realization of three-dimensional structures via a sophisticated bilevel optimization scheme meticulously tailored to meet the specific requirements of the task. One of the formidable challenges in this modeling endeavor involves preserving roto-translational invariance to ensure that the generated molecular conformations adhere to the laws of physics. Extensive experimental evaluations confirm the efficacy of the proposed \method{} in comparison to state-of-the-art methods.


title: Incorporating Riemannian Geometric Features for Learning Coefficient of Pressure Distributions on Airplane Wings

abstract: The aerodynamic coefficients of aircrafts are significantly impacted by its geometry, especially when the angle of attack (AoA) is large. In the field of aerodynamics, traditional polynomial-based parameterization uses as few parameters as possible to describe the geometry of an airfoil. However, because the 3D geometry of a wing is more complicated than the 2D airfoil, polynomial-based parameterizations have difficulty in accurately representing the entire shape of a wing in 3D space. Existing deep learning-based methods can extract massive latent neural representations for the shape of 2D airfoils or 2D slices of wings. Recent studies highlight that directly taking geometric features as inputs to the neural networks can improve the accuracy of predicted aerodynamic coefficients. Motivated by geometry theory, we propose to incorporate Riemannian geometric features for learning Coefficient of Pressure (CP) distributions on wing surfaces. Our method calculates geometric features (Riemannian metric, connection, and curvature) and further inputs the geometric features, coordinates and flight conditions into a deep learning model to predict the CP distribution. Experimental results show that our method, compared to state-of-the-art Deep Attention Network (DAN), reduces the predicted mean square error (MSE) of CP by an average of 8.41% for the DLR-F11 aircraft test set.


title: Hybrid static potentials from Laplacian Eigenmodes

abstract: We present a method for computing hybrid static quark-antiquark potentials in lattice QCD based on Laplace trial states. They are formed by eigenvector components of the covariant lattice Laplace operator and their covariant derivatives. The new method does not need complicated gauge link paths between the static quarks and makes off-axis separations easily accessible. We show first results for $\Sigma$ and $\Pi$ together with their excited states on a dynamical ensemble.


title: Voila-A: Aligning Vision-Language Models with User's Gaze Attention

abstract: In recent years, the integration of vision and language understanding has led to significant advancements in artificial intelligence, particularly through Vision-Language Models (VLMs). However, existing VLMs face challenges in handling real-world applications with complex scenes and multiple objects, as well as aligning their focus with the diverse attention patterns of human users. In this paper, we introduce gaze information, feasibly collected by AR or VR devices, as a proxy for human attention to guide VLMs and propose a novel approach, Voila-A, for gaze alignment to enhance the interpretability and effectiveness of these models in real-world applications. First, we collect hundreds of minutes of gaze data to demonstrate that we can mimic human gaze modalities using localized narratives. We then design an automatic data annotation pipeline utilizing GPT-4 to generate the VOILA-COCO dataset. Additionally, we innovate the Voila Perceiver modules to integrate gaze information into VLMs while preserving their pretrained knowledge. We evaluate Voila-A using a hold-out validation set and a newly collected VOILA-GAZE Testset, which features real-life scenarios captured with a gaze-tracking device. Our experimental results demonstrate that Voila-A significantly outperforms several baseline models. By aligning model attention with human gaze patterns, Voila-A paves the way for more intuitive, user-centric VLMs and fosters engaging human-AI interaction across a wide range of applications.


title: Dynamic Routing for Integrated Satellite-Terrestrial Networks: A Constrained Multi-Agent Reinforcement Learning Approach

abstract: The integrated satellite-terrestrial network (ISTN) system has experienced significant growth, offering seamless communication services in remote areas with limited terrestrial infrastructure. However, designing a routing scheme for ISTN is exceedingly difficult, primarily due to the heightened complexity resulting from the inclusion of additional ground stations, along with the requirement to satisfy various constraints related to satellite service quality. To address these challenges, we study packet routing with ground stations and satellites working jointly to transmit packets, while prioritizing fast communication and meeting energy efficiency and packet loss requirements. Specifically, we formulate the problem of packet routing with constraints as a max-min problem using the Lagrange method. Then we propose a novel constrained Multi-Agent reinforcement learning (MARL) dynamic routing algorithm named CMADR, which efficiently balances objective improvement and constraint satisfaction during the updating of policy and Lagrange multipliers. Finally, we conduct extensive experiments and an ablation study using the OneWeb and Telesat mega-constellations. Results demonstrate that CMADR reduces the packet delay by a minimum of 21% and 15%, while meeting stringent energy consumption and packet loss rate constraints, outperforming several baseline algorithms.


title: Parametric Constraints for Bayesian Knowledge Tracing from First Principles

abstract: Bayesian Knowledge Tracing (BKT) is a probabilistic model of a learner's state of mastery corresponding to a knowledge component. It considers the learner's state of mastery as a "hidden" or latent binary variable and updates this state based on the observed correctness of the learner's response using parameters that represent transition probabilities between states. BKT is often represented as a Hidden Markov Model and the Expectation-Maximization (EM) algorithm is used to infer these parameters. However, this algorithm can suffer from several issues including producing multiple viable sets of parameters, settling into a local minima, producing degenerate parameter values, and a high computational cost during fitting. This paper takes a "from first principles" approach to deriving constraints that can be imposed on the BKT parameter space. Starting from the basic mathematical truths of probability and building up to the behaviors expected of the BKT parameters in real systems, this paper presents a mathematical derivation that results in succinct constraints that can be imposed on the BKT parameter space. Since these constraints are necessary conditions, they can be applied prior to fitting in order to reduce computational cost and the likelihood of issues that can emerge from the EM procedure. In order to see that promise through, the paper further introduces a novel algorithm for estimating BKT parameters subject to the newly defined constraints. While the issue of degenerate parameter values has been reported previously, this paper is the first, to our best knowledge, to derive the constrains from first principles while also presenting an algorithm that respects those constraints.


title: Empowering Africa: An In-depth Exploration of the Adoption of Artificial Intelligence Across the Continent

abstract: This paper explores the dynamic landscape of Artificial Intelligence (AI) adoption in Africa, analysing its varied applications in addressing socio-economic challenges and fostering development. Examining the African AI ecosystem, the study considers regional nuances, cultural factors, and infrastructural constraints shaping the deployment of AI solutions. Case studies in healthcare, agriculture, finance, and education highlight AI's transformative potential for efficiency, accessibility, and inclusivity. The paper emphasizes indigenous AI innovations and international collaborations contributing to a distinct African AI ecosystem. Ethical considerations, including data privacy and algorithmic bias, are addressed alongside policy frameworks supporting responsible AI implementation. The role of governmental bodies, regulations, and private sector partnerships is explored in creating a conducive AI development environment. Challenges such as digital literacy gaps and job displacement are discussed, with proposed strategies for mitigation. In conclusion, the paper provides a nuanced understanding of AI in Africa, contributing to sustainable development discussions and advocating for an inclusive and ethical AI ecosystem on the continent.


title: New gauge-independent transition separating confinement-Higgs phase in the lattice gauge-fundamental scalar model

abstract: The lattice gauge-scalar model with the scalar field in the fundamental representation of the gauge group has a single confinement-Higgs phase which is well-known as the Fradkin-Shenker-Osterwalder-Seiler analytic continuity theorem: Confinement and Higgs regions are subregions of an analytically continued single phase and there are no thermodynamics phase transitions between them. In this talk, however, we show that we can define new type of operators which enable to separate completely the confinement phase and the Higgs phase. In fact, they are constructed in the gauge-invariant procedure by combining the original scalar field and the so-called color-direction field which is obtained by change of field variables based on the gauge-covariant decomposition of the gauge field due to Cho-Duan-Ge-Shabanov and Faddeev-Niemi. We perform the numerical simulations for the model with SU(2) gauge group without any gauge fixing and find a new transition line which agrees with the conventional thermodynamic transition line in the weak gauge coupling and divides the confinement-Higgs phase into two separate phases, confinement and the Higgs, in the strong gauge coupling. All results are obtained in the gauge-independent way, since no gauge fixing has been imposed in the numerical simulations. Moreover, we give a physical interpretation for the new transition from the viewpoint of the spontaneous breaking of a global symmetry. This talk is based on the preprint [1].


title: What's my role? Modelling responsibility for AI-based safety-critical systems

abstract: AI-Based Safety-Critical Systems (AI-SCS) are being increasingly deployed in the real world. These can pose a risk of harm to people and the environment. Reducing that risk is an overarching priority during development and operation. As more AI-SCS become autonomous, a layer of risk management via human intervention has been removed. Following an accident it will be important to identify causal contributions and the different responsible actors behind those to learn from mistakes and prevent similar future events. Many authors have commented on the "responsibility gap" where it is difficult for developers and manufacturers to be held responsible for harmful behaviour of an AI-SCS. This is due to the complex development cycle for AI, uncertainty in AI performance, and dynamic operating environment. A human operator can become a "liability sink" absorbing blame for the consequences of AI-SCS outputs they weren't responsible for creating, and may not have understanding of. This cross-disciplinary paper considers different senses of responsibility (role, moral, legal and causal), and how they apply in the context of AI-SCS safety. We use a core concept (Actor(A) is responsible for Occurrence(O)) to create role responsibility models, producing a practical method to capture responsibility relationships and provide clarity on the previously identified responsibility issues. Our paper demonstrates the approach with two examples: a retrospective analysis of the Tempe Arizona fatal collision involving an autonomous vehicle, and a safety focused predictive role-responsibility analysis for an AI-based diabetes co-morbidity predictor. In both examples our primary focus is on safety, aiming to reduce unfair or disproportionate blame being placed on operators or developers. We present a discussion and avenues for future research.


title: Image Restoration: A Comparative Analysis of Image De noising Using Different Spatial Filtering Techniques

abstract: Acquired images for medical and other purposes can be affected by noise from both the equipment used in the capturing or the environment. This can have adverse effect on the information therein. Thus, the need to restore the image to its original state by removing the noise. To effectively remove such noise, pre knowledge of the type of noise model present is necessary. This work explores different noise removal filters by first introducing noise to an image and then applying different spatial domain filtering techniques to the image to get rid of the noise. Different evaluation techniques such as Peak to Signal Noise Ratio(PSNR) and Root Mean Square Error(RMSE) were adopted to determine how effective each filter is on a given image noise. Result showed that some filters are more effective on some noise models than others.


title: Spinodal decomposition and phase separation in polar active matter

abstract: We develop and study the hydrodynamic theory of flocking with autochemotaxis. This describes large collections of self-propelled entities all spontaneously moving in the same direction, each emitting a substance which attracts the others (e.g., ants). The theory combines features of the Keller-Segel model for autochemotaxis with the Toner-Tu theory of flocking. We find that sufficiently strong autochemotaxis leads to an instability of the uniformly moving state (the ``flock"), in which bands of different density form moving parallel to the mean flock velocity with different speeds. These bands, which are reminiscent of ant trails, coarsen over time to reach a phase-separated state, in which one high density and one low density band fill the entire system. The same instability, described by the same hydrodynamic theory, can occur in flocks phase separating due to any microscopic mechanism (e.g., sufficiently strong attractive interactions). Although in many ways analogous to equilibrium phase separation via spinodal decomposition, the two steady state densities here are determined not by a common tangent construction, as in equilibrium, but by an uncommon tangent construction very similar to that found for motility induced phase separation (MIPS) of disordered active particles. Our analytic theory agrees well with our numerical simulations of our equations of motion.


title: Quest for a solution to drift in phase change memory devices

abstract: The goal of this thesis is to gain new insights into the drift phenomenon and identify strategies to mitigate it. An extensive experimental characterization of PCM devices and in particular drift forms the foundation of each chapter. With respect to time-scales, ambient temperature, device dimensions, and combinations thereof, drift is studied under unprecedented conditions. In three studies, different aspects of drift are examined. (1) The origin of structural relaxation: Drift measurements over 9 orders of magnitude in time reveal the onset of relaxation in a melt-quenched state. The data is used to appraise two models, the Gibbs relaxation model and the collective relaxation model. Additionally, a refined version of the collective relaxation model is introduced and the consequences of a limited number of structural defects are discussed. (2) Exploiting nanoscale effects in phase change memories: Scaling devices to ever-smaller dimensions is incentivized by the requirement to achieve higher storage densities and less power consumption. Eventually, confinement and interfacial effects will govern the device characteristics. Anticipating these consequences, the feasibility to use a single element, Antimony, is assessed for the first time. The power efficiency, stability against crystallization, and drift are characterized under different degrees of confinement. (3) State-dependent drift in a projected memory cell: New device concepts are aiming to reduce drift by decoupling the cell resistance from the electronic properties of the amorphous phase. A shunt resistor scaling with the amount of amorphous material is added. Simulations and the drift characteristics of a projected device put the idealized concept to the test. The contact resistance between the phase change material and the shunt resistor is identified as a decisive parameter to achieve the desired device properties.


title: Directional Wetting of Submerged Gas-entrapping Microtextures

abstract: Numerous natural and industrial processes entail the spontaneous entrapment of gas/air as rough/patterned surfaces are submerged under water. As the wetting transitions ensue, the gas diffuses into the water leading to the fully-water-filled state. However, the standard models for wetting do not account for the microtexture's topography. In other words, it is not clear whether the lifetime of n cavities arranged in a I-D line or a II-D (circular or square) lattice would be the same or not as a single 0-D cavity. In response, we tracked the time-dependent fates of gas pockets trapped in I-D and II-D lattices and compared them with wetting transitions in commensurate 0-D cavities. Interestingly, the wetting transitions in the I-D and the II-D arrays had a directionality such that the gas from the outermost cavities was lost the first, while the innermost got filled by water the last. In essence, microtexture's spatial organization afforded shielding to the loss of the gas from the innermost cavities, which we probed as a function of the microtexture's pitch, surface density, dimensionality, and hydrostatic pressure. These findings advance our knowledge of wetting transitions in microtextures, and inspiring surface textures to protect electronic devices against liquid ingression.


title: Floating Point HUB Adder for RISC-V Sargantana Processor

abstract: HUB format is an emerging technique to improve the hardware and time requirement when round to nearest is needed. On the other hand, RISC-V is an open-source ISA that many companies currently use in their designs. This paper presents a tailored floating point HUB adder implemented in the Sargantana RISC-V processor.


title: The Interplay Between Logical Phenomena and the Cognitive System of the Mind

abstract: In this article, we employ mathematical concepts as a tool to examine the phenomenon of consciousness experience and logical phenomena. Through our investigation, we aim to demonstrate that our experiences, while not confined to limitations, cannot be neatly encapsulated within a singular collection. Our conscious experience emerges as a result of the developmental and augmentative trajectory of our cognitive system. As our cognitive abilities undergo refinement and advancement, our capacity for logical thinking likewise evolves, thereby manifesting a heightened level of conscious experience. The primary objective of this article is to embark upon a profound exploration of the concept of logical experience, delving into the intricate process by which these experiences are derived from our mind.