title: NoMAD-Attention: Efficient LLM Inference on CPUs Through Multiply-add-free Attention

abstract: Large language model inference on Central Processing Units (CPU) is challenging due to the vast quantities of expensive Multiply-Add (MAD) matrix operations in the attention computations. In this paper, we argue that there is a rare gem in modern CPUs, Single-Instruction-Multiple-Data (SIMD) registers, which allow for ultra-low-latency lookups in batch. We leverage this unique capability of CPUs to propose NoMAD-Attention, an efficient attention algorithm that replaces MAD operations with in-register lookups. Through hardware-aware algorithmic designs, NoMAD-Attention achieves the computation of attention scores using repeated fast accesses to SIMD registers despite their highly limited sizes. Moreover, NoMAD-Attention works with pre-trained attention-based LLMs without model finetuning. Empirical evaluations demonstrate that NoMAD-Attention maintains the quality of the original LLMs well, and speeds up the 4-bit quantized LLaMA-7B-based model by up to 2$\times$ at 16k context length. Our results are reproducible at https://github.com/tonyzhang617/nomad-dist.


title: Modal weak Kleene logics: axiomatizations and relational semantics

abstract: Weak Kleene logics are three-valued logics characterized by the presence of an infectious truth-value. In their external versions, as they were originally introduced by Bochvar and Hallden, these systems are equipped with an additional connective capable of expressing whether a formula is classically true. In this paper we further expand the expressive power of external weak Kleen logics by modalizing them with a unary operator. The addition of an alethic modality gives rise to the two systems $\B^{\square}$ and $MPWK$, which have two different readings of the modal operator. We provide these logics with a complete and decidable Hilbert-style axiomatization w.r.t. a three-valued possible worlds semantics. The starting point of these calculi are new axiomatizations for the non-modal bases B and PWKe, which we provide using the recent algebraization results about these two logics. In particular, we prove the algebraizability of $\PWKe$. Finally some standard extensions of the basic modal systems are provided with their completeness results w.r.t. special classes of frames.


title: The characterization of an Alternating Sign Matrix using a triplet

abstract: Alternating Sign Matrix(ASM for short) is a square matrix which is consist of 0, 1 and -1. In this paper, we characterize an ASM by showing a bijection between alternating sign matrix and six vertex model, and a bijection between six vertex model and height function. In order to show these bijections, we define a triplet $({a}_{i, j}, {c}_{i, j}, {r}_{i, j})$ for each entry of an ASM. We also define a \textsl{track} for each index of height function, and state more properties of height function.


title: A universal niche geometry governs the response of ecosystems to environmental perturbations

abstract: How ecosystems respond to environmental perturbations is a fundamental question in ecology, made especially challenging due to the strong coupling between species and their environment. Here, we introduce a theoretical framework for calculating the linear response of ecosystems to environmental perturbations in generalized consumer-resource models. Our construction is applicable to a wide class of systems, including models with non-reciprocal interactions, cross-feeding, and non-linear growth/consumption rates. Within our framework, all ecological variables are embedded into four distinct vector spaces and ecological interactions are represented by geometric transformations between these spaces. We show that near a steady state, such geometric transformations directly map environmental perturbations -- in resource availability and mortality rates -- to shifts in niche structure. We illustrate these ideas in a variety of settings including a minimal model for pH-induced toxicity in bacterial denitrification.


title: Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery

abstract: We propose a generic multi-robot planning mechanism that combines an optimal task planner and an optimal path planner to provide a scalable solution for complex multi-robot planning problems. The Integrated planner, through the interaction of the task planner and the path planner, produces optimal collision-free trajectories for the robots. We illustrate our general algorithm on an object pick-and-drop planning problem in a warehouse scenario where a group of robots is entrusted with moving objects from one location to another in the workspace. We solve the task planning problem by reducing it into an SMT-solving problem and employing the highly advanced SMT solver Z3 to solve it. To generate collision-free movement of the robots, we extend the state-of-the-art algorithm Conflict Based Search with Precedence Constraints with several domain-specific constraints. We evaluate our integrated task and path planner extensively on various instances of the object pick-and-drop planning problem and compare its performance with a state-of-the-art multi-robot classical planner. Experimental results demonstrate that our planning mechanism can deal with complex planning problems and outperforms a state-of-the-art classical planner both in terms of computation time and the quality of the generated plan.


title: Enhancing Audio Generation Diversity with Visual Information

abstract: Audio and sound generation has garnered significant attention in recent years, with a primary focus on improving the quality of generated audios. However, there has been limited research on enhancing the diversity of generated audio, particularly when it comes to audio generation within specific categories. Current models tend to produce homogeneous audio samples within a category. This work aims to address this limitation by improving the diversity of generated audio with visual information. We propose a clustering-based method, leveraging visual information to guide the model in generating distinct audio content within each category. Results on seven categories indicate that extra visual input can largely enhance audio generation diversity. Audio samples are available at https://zeyuxie29.github.io/DiverseAudioGeneration.


title: Solutions to the discrete Pompeiu problem and to the finite Steinhaus tiling problem

abstract: Let $K$ be a nonempty finite subset of the Euclidean space $\mathbb{R}^k$ $(k\ge 2)$. We prove that if a function $f\colon \mathbb{R}^k\to \mathbb{C}$ is such that the sum of $f$ on every congruent copy of $K$ is zero, then $f$ vanishes everywhere. In fact, a stronger, weighted version is proved. As a corollary we find that every finite subset $K$ of $\mathbb{R}^k$ having at least two elements is a Jackson set; that is, no subset of $\mathbb{R}^k$ intersects every congruent copy of $K$ in exactly one point.


title: Rigidity results for group von Neumann algebras with diffuse center

abstract: We introduce the first examples of groups $G$ with infinite center which in a natural sense are completely recognizable from their von Neumann algebras, $\mathcal{L}(G)$. Specifically, assume that $G=A\times W$, where $A$ is an infinite abelian group and $W$ is an ICC wreath-like product group [CIOS22a; AMCOS23] with property (T) and trivial abelianization. Then whenever $H$ is an \emph{arbitrary} group such that $\mathcal{L}(G)$ is $\ast$-isomorphic to $\mathcal L(H)$, via an \emph{arbitrary} $\ast$-isomorphism preserving the canonical traces, it must be the case that $H= B \times H_0$ where $B$ is infinite abelian and $H_0$ is isomorphic to $W$. Moreover, we completely describe the $\ast$-isomorphism between $\mathcal L(G)$ and $\mathcal L(H)$. This yields new applications to the classification of group C$^*$-algebras, including examples of non-amenable groups which are recoverable from their reduced C$^*$-algebras but not from their von Neumann algebras.


title: Fast Low-parameter Video Activity Localization in Collaborative Learning Environments

abstract: Research on video activity detection has primarily focused on identifying well-defined human activities in short video segments. The majority of the research on video activity recognition is focused on the development of large parameter systems that require training on large video datasets. This paper develops a low-parameter, modular system with rapid inferencing capabilities that can be trained entirely on limited datasets without requiring transfer learning from large-parameter systems. The system can accurately detect and associate specific activities with the students who perform the activities in real-life classroom videos. Additionally, the paper develops an interactive web-based application to visualize human activity maps over long real-life classroom videos.


title: On the uniqueness of the maximum parsimony tree for data with few substitutions within the NNI neighborhood

abstract: Estimating species relationship trees, so-called phylogenetic trees, from aligned sequence data (such as DNA, RNA, or proteins) is one of the main aims of evolutionary biology. However, tree reconstruction criteria like maximum parsimony do not necessarily lead to unique trees and in some cases even fail to recognize the \enquote{correct} tree (i.e., the tree on which the data was generated). On the other hand, a recent study has shown that for an alignment containing precisely those characters (sites) which require up to two substitutions on a given tree, this tree will be the unique maximum parsimony tree. It is the aim of the present manuscript to generalize this recent result in the following sense: We show that for a tree with $n$ leaves, as long as $k< \frac{n}{8}+\frac{6}{5}-\frac{1}{10} \sqrt{\frac{5}{16} n^2+4}$ (or, equivalently, $n>8 k-\frac{46}{5}+\frac{2}{5} \sqrt{40 k-31} $), the maximum parsimony tree for the alignment containing all characters which require (up to or precisely) $k$ substitutions on a given tree $T$ will be unique in the NNI neighborhood of $T$ and it will coincide with $T$, too. In other words, within the NNI neighborhood of $T$, $T$ is the unique most parsimonious tree for said alignment. This partially answers a recently published conjecture affirmatively.


title: On the Arnold diffusion mechanism in Medium Earth Orbit

abstract: Space debris mitigation guidelines represent the most effective method to preserve the circumterrestrial environment. Among them, end-of-life disposal solutions play a key role. A growing effort is devoted to exploit natural perturbations to lead the satellites towards an atmospheric reentry, reducing the disposal cost, also if departing from high-altitude regions. In the case of the Medium Earth Orbit region, home of the navigation satellites (like Galileo), the main driver is the gravitational perturbation due to the Moon, that can increase the eccentricity in the long term. In this way, the pericenter altitude can get into the atmospheric drag domain and the satellite can eventually reenter. In this work, we show how an Arnold diffusion mechanism can trigger the eccentricity growth. Focusing on the case of Galileo, we consider a hierarchy of Hamiltonian models, assuming that the main perturbations on the motion of the spacecraft are the oblateness of the Earth and the gravitational attraction of the Moon. First, the Moon is assumed to lay on the ecliptic plane and periodic orbits and associated stable and unstable invariant manifolds are computed for various energy levels, in the neighborhood of a given resonance. Along each invariant manifold, the eccentricity increases naturally, achieving its maximum at the first intersection between them. This growth is, however, not sufficient to achieve reentry. By moving to a model where the inclination of the Moon is taken into account, the problem becomes non-autonomous and the satellite is able to move along different energy levels. Under the ansatz of transversality of the manifolds in the autonomous case, checked numerically, Poincar\'e-Melnikov techniques are applied to show how diffusion can be attained, by constructing a sequence of homoclinic orbits that connect invariant tori at different energy levels.


title: Angular Momentum Transfer between a Molecular System and a Continuous Circularly Polarized Light Field under the Born-Oppenheimer Framework

abstract: We demonstrate (both analytically and numerically) total angular momentum conservation for a molecular system subject to circularly polarized light (CPL) field moving along a single Born-Oppenheimer surface, where all of the angular momentum transfer is embodied in a Berry force. Moreover, we demonstrate that the model Hamiltonian proposed in [J. Chem. Phys. 150, 124101 (2019)] in fact corresponds physically to a homonuclear diatomic in a CPL field. Our results not only reveal an interesting microscopic mechanism for angular momentum transfer between a molecule and a radiation field, but they also provide new insight into the nature of novel semiclassical non-adiabatic dynamics methods that conserve the total angular momentum (including, e.g., phase-space surface-hopping methods).


title: $\pi$-systems and the embedding problem for rank $2$ Kac-Moody Lie algebras

abstract: $\pi$-systems are fundamental in the study of Kac-Moody Lie algebras since they arise naturally in the embedding problems. Dynkin introduced them first and showed how they also appear in the classification of semisimple subalgebras of a semisimple Lie algebra. In this article, we explicitly classify the $\pi$-systems associated to rank $2$ Kac-Moody Lie algebras and prove that in most of the cases they are linearly independent. This classification allows us to determine the root generated subalgebras and which in turn determines all possible Kac-Moody algebras that can be embedded in a rank $2$ Kac-Moody algebra as subalgebras generated by real root vectors. Additionally, following the work of Naito we provide examples illustrating how Borcherds Kac-Moody algebras can also be embedded inside a rank $2$ Kac-Moody algebra.


title: Summary Paper: Use Case on Building Collaborative Safe Autonomous Systems-A Robotdog for Guiding Visually Impaired People

abstract: This is a summary paper of a use case of a Robotdog dedicated to guide visually impaired people in complex environment like a smart intersection. In such scenarios, the Robotdog has to autonomously decide whether it is safe to cross the intersection or not in order to further guide the human. We leverage data sharing and collaboration between the Robotdog and other autonomous systems operating in the same environment. We propose a system architecture for autonomous systems through a separation of a collaborative decision layer, to enable collective decision making processes, where data about the environment, relevant to the Robotdog decision, together with evidences for trustworthiness about other systems and the environment are shared.


title: Towards a classification of $p^2$-discriminant ideal twins over number fields

abstract: Isogenous elliptic curves have the same conductor but not necessarily the same minimal discriminant ideal. In this article, we explicitly classify all $p^2$-isogenous elliptic curves defined over a number field with the same minimal discriminant ideal for odd prime $p$ where $X_0(p^2)$ has genus $0$, i.e., $p = 3$ or $5$. As a consequence, we give a list of all $p^2$-isogenous discriminant (ideal) twins over $\mathbb{Q}$ for such $p$.


title: Spin-Dependent Stereochemistry: A Non-adiabatic Quantum Dynamics Case Study of S + H2 -> SH + H Reaction

abstract: We study the spin-dependent stereodynamics of the S + H2 -> SH + H reaction using full-dimensional quantum dynamics calculations with zero total nuclear angular momentum along the triplet 3A" states and singlet 1A' states. We find that the interplay between the electronic spin direction and the molecular geometry has a measurable influence on the singlet-triplet intersystem crossing reaction probabilities. Our results show that for some incident scattering angles in the body-fixed frame, the relative difference in intersystem crossing reaction probabilities (as determined between spin up and spin down initial states) can be as large as 15%. Our findings are an ab initio demonstration of spin-dependent nonadiabatic dynamics which we hope will shine light as far as understanding the chiral-induced spin selectivity effect.


title: Greed is All You Need: An Evaluation of Tokenizer Inference Methods

abstract: While subword tokenizers such as BPE and WordPiece are typically used to build vocabularies for NLP models, the method of decoding text into a sequence of tokens from these vocabularies is often left unspecified, or ill-suited to the method in which they were constructed. We provide a controlled analysis of seven tokenizer inference methods across four different algorithms and three vocabulary sizes, performed on a novel intrinsic evaluation suite we curated for English, combining measures rooted in morphology, cognition, and information theory. We show that for the most commonly used tokenizers, greedy inference performs surprisingly well; and that SaGe, a recently-introduced contextually-informed tokenizer, outperforms all others on morphological alignment.


title: Characterizing Ethereum Upgradable Smart Contracts and Their Security Implications

abstract: Upgradeable smart contracts (USCs) have been widely adopted to enable modifying deployed smart contracts. While USCs bring great flexibility to developers, improper usage might introduce new security issues, potentially allowing attackers to hijack USCs and their users. In this paper, we conduct a large-scale measurement study to characterize USCs and their security implications in the wild. We summarize six commonly used USC patterns and develop a tool, USCDetector, to identify USCs without needing source code. Particularly, USCDetector collects various information such as bytecode and transaction information to construct upgrade chains for USCs and disclose potentially vulnerable ones. We evaluate USCDetector using verified smart contracts (i.e., with source code) as ground truth and show that USCDetector can achieve high accuracy with a precision of 96.26%. We then use USCDetector to conduct a large-scale study on Ethereum, covering a total of 60,251,064 smart contracts. USCDetecor constructs 10,218 upgrade chains and discloses multiple real-world USCs with potential security issues.


title: A fractional-order trace-dev-div inequality

abstract: The trace-dev-div inequality in $H^s$ controls the trace in the norm of $H^s$ by that of the deviatoric part plus the $H^{s-1}$ norm of the divergence of a quadratic tensor field different from the constant unit matrix. This is well known for $s=0$ and established for orders $0\le s\le 1$ and arbitrary space dimension in this note. For mixed and least-squares finite element error analysis in linear elasticity, this inequality allows to establish robustness with respect to the Lam\'e parameter $\lambda$.


title: Autonomous Intelligent Systems: From Illusion of Control to Inescapable Delusion

abstract: Autonomous systems, including generative AI, have been adopted faster than previous digital innovations. Their impact on society might as well be more profound, with a radical restructuring of the economy of knowledge and dramatic consequences for social and institutional balances. Different attitudes to control these systems have emerged rooted in the classical pillars of legal systems, proprietary rights, and social responsibility. We show how an illusion of control might be guiding governments and regulators, while autonomous systems might be driving us to inescapable delusion.


title: Automorphism group of a family of distance regular graphs which are not distance transitive

abstract: Let $G_n=\mathbb{Z}_n\times \mathbb{Z}_n$ for $n\geq 4$ and $S=\{(i,0),(0,i),(i,i): 1\leq i \leq n-1\}\subset G_n$. Define $\Gamma(n)$ to be the Cayley graph of $G_n$ with respect to the connecting set $S$. It is known that $\Gamma(n)$ is a strongly regular graph with the parameters $(n^2,3n-3,n,6)$ \cite{19}. Hence $\Gamma(n)$ is a distance regular graph. It is known that every distance transitive graph is distance regular, but the converse is not true. In this paper, we study some algebraic properties of the graph $\Gamma(n)$. Then by determining the automorphism group of this family of graphs, we show that the graphs under study are not distance transitive.


title: Anomalous mass dependency in Hydra endoderm cell cluster diffusion

abstract: Tissue organization plays a crucial role in morphogenesis, wound healing and cancer metastasis. Hydra, known for its regenerative capabilities, serves as an excellent model for studying cellular structures, particularly in pattern formation and the diffusion of cell clusters. Established experimental protocols enable the examination of regeneration and tissue segregation through optical microscopy. Recent experiments challenge previous theories by suggesting that cell collective behavior is a key factor in hydra cell aggregate organization. Utilizing image treatment techniques on fluorescent images from Hydra's segregation experiment, we track endoderm cell clusters and investigate the relationship between their diffusion constant and cluster size. In contrast to results observed in non-active matter, we discover a nearly constant dependence of diffusion on cluster mass. This finding contributes to understanding the rapid segregation observed in recent experiments and holds implications for general cellular tissue processes.


title: A Search for Temporal Atmospheric Variability of Kepler Hot Jupiters

abstract: We perform a systematic search for atmospheric variability in short-period gas-giant planets (hot Jupiters) observed by the Kepler mission, by looking for temporal variability of their secondary eclipse depths. This is motivated by a recent detection of a decrease in the dayside brightness of KELT-1 b between TESS Sectors 17 and 57, separated by about 3 years. We fit the Kepler light curves of 53 hot Jupiters and measure their secondary eclipse depths during individual Kepler quarters and 4-quarter windows. We detect the secondary eclipses in individual quarters or four-quarter windows for 17 out of the 53 systems. In those 17 systems we do not detect statistically significant astrophysical variation in the secondary eclipse depths. We show that the data is sensitive to the variability seen for KELT-1 b in TESS data. Therefore, the absence of detected secondary eclipse variability in Kepler data suggests that the atmospheric variability in KELT-1 b is not common. In addition, several of the 53 targets we investigated display variability in their transit depths with a period of 4 quarters (1 year). This instrumental signal is likely present in the light curves of other transiting planets we did not analyze and other variable stars observed by Kepler. Finally, we find that Kepler-488 b has a secondary eclipse depth that is unphysically large for a planet, and thus is likely a misclassified red dwarf.


title: Rate-limited Shuffling for Distributed Computing

abstract: This paper studies the shuffling phase in a distributed computing model with rate-limited links between nodes. Each node is connected to all other nodes via a noiseless broadcast link with a finite capacity. For this network, the shuffling phase is described as a distributed index-coding problem to extend an outer bound for the latter to the distributed computing problem. An inner bound on the capacity region is also established by using the distributed composite-coding scheme introduced for the distributed index-coding problem. We consider some special cases of the distributed computing problem through two examples for which we prove that the inner and outer bounds agree, thereby establishing the capacity regions. We, then, generalize the special cases to any number of nodes and computation loads under certain constraints.


title: Experimental Evaluation of the ETSI DCC Adaptive Approach and Related Algorithms

abstract: Decentralized Congestion Control (DCC) mechanisms have been a core part of protocol stacks for vehicular networks since their inception and standardization. The ETSI ITS-G5 protocol stack for vehicular communications considers the usage of DCC not only in the network or access layers, but also as a part of the cross-layer architecture that influences how often messages are generated and transmitted. ETSI DCC mechanisms have evolved from a reactive approach based on a finite state machine, to an adaptive approach that relies on a linear control algorithm. This linear control algorithm, called LIMERIC, is the basis of the mechanism used in the ETSI DCC Adaptive Approach. The behavior of this algorithm depends on a set of parameters. Different values for these parameters have been proposed in the literature, including those defined in the ETSI specification. A recent proposal is Dual-$\alpha$, which chooses parameters to improve convergence and fairness when the algorithm has to react to fast changes in the use of the shared medium (transitory situations). This article evaluates, by means of simulations, the performance of the ETSI DCC Adaptive Approach and related algorithms, considering both steady state and transitory situations. Results show that a bad selection of parameters can make a DCC algorithm ineffective, that the ETSI DCC Adaptive algorithm performs well in steady state conditions, and that Dual-$\alpha$ performs as well in steady state conditions and outperforms the ETSI DCC Adaptive Approach in transitory scenarios.


title: Spontaneous assembly of condensate networks during the demixing of structured fluids

abstract: Liquid-liquid phase separation, whereby two liquids spontaneously demix, is ubiquitous in industrial, environmental, and biological processes. While isotropic fluids are known to condense into spherical droplets in the binodal region, these dynamics are poorly understood for structured fluids. Here, we report the novel observation of condensate networks, which spontaneously assemble during the demixing of a mesogen from a solvent. Condensing mesogens form rapidly-elongating filaments, rather than spheres, to relieve distortion of a simultaneously-forming internal smectic mesophase. As filaments densify, they collapse into bulged discs, lowering the elastic free energy. Additional distortion is relieved by retraction of filaments into the bulged discs, which are straightened under tension to form a ramified network. Understanding and controlling these dynamics may provide new avenues to direct pattern formation or template materials.


title: A Photonic Physically Unclonable Function's Resilience to Multiple-Valued Machine Learning Attacks

abstract: Physically unclonable functions (PUFs) identify integrated circuits using nonlinearly-related challenge-response pairs (CRPs). Ideally, the relationship between challenges and corresponding responses is unpredictable, even if a subset of CRPs is known. Previous work developed a photonic PUF offering improved security compared to non-optical counterparts. Here, we investigate this PUF's susceptibility to Multiple-Valued-Logic-based machine learning attacks. We find that approximately 1,000 CRPs are necessary to train models that predict response bits better than random chance. Given the significant challenge of acquiring a vast number of CRPs from a photonic PUF, our results demonstrate photonic PUF resilience against such attacks.


title: Causal Mode Multiplexer: A Novel Framework for Unbiased Multispectral Pedestrian Detection

abstract: RGBT multispectral pedestrian detection has emerged as a promising solution for safety-critical applications that require day/night operations. However, the modality bias problem remains unsolved as multispectral pedestrian detectors learn the statistical bias in datasets. Specifically, datasets in multispectral pedestrian detection mainly distribute between ROTO (day) and RXTO (night) data; the majority of the pedestrian labels statistically co-occur with their thermal features. As a result, multispectral pedestrian detectors show poor generalization ability on examples beyond this statistical correlation, such as ROTX data. To address this problem, we propose a novel Causal Mode Multiplexer (CMM) framework that effectively learns the causalities between multispectral inputs and predictions. Moreover, we construct a new dataset (ROTX-MP) to evaluate modality bias in multispectral pedestrian detection. ROTX-MP mainly includes ROTX examples not presented in previous datasets. Extensive experiments demonstrate that our proposed CMM framework generalizes well on existing datasets (KAIST, CVC-14, FLIR) and the new ROTX-MP. We will release our new dataset to the public for future research.


title: Supplier Recommendation in Online Procurement

abstract: Supply chain optimization is key to a healthy and profitable business. Many companies use online procurement systems to agree contracts with suppliers. It is vital that the most competitive suppliers are invited to bid for such contracts. In this work, we propose a recommender system to assist with supplier discovery in road freight online procurement. Our system is able to provide personalized supplier recommendations, taking into account customer needs and preferences. This is a novel application of recommender systems, calling for design choices that fit the unique requirements of online procurement. Our preliminary results, using real-world data, are promising.


title: Longtime behavior of semilinear multi-term fractional in time diffusion

abstract: In the paper, the initial-boundary value problems to a semilinear integro-differential equation with multi-term fractional Caputo derivatives are analyzed. A particular case of this equation models oxygen diffusion through capillaries. Under proper assumptions on the coefficients and a nonlinearity, the longtime behavior (as $t\to+\infty$) of a solution is discussed. In particular, the existence of absorbing sets in suitable functional spaces is established.


title: The unitary Cayley graph of upper triangular matrix rings

abstract: The unitary Cayley graph $C_R$ of a finite unital ring $R$ is the simple graph with vertex set $R$ in which two elements $x$ and $y$ are connected by an edge if and only if $x-y$ is a unit of $R$. We characterize the unitary Cayley graph $C_{T_n (\mathbb{F})}$ of the ring of all upper triangular matrices $T_n(\mathbb{F})$ over a finite field $\mathbb{F}$. We show that $C_{T_n (\mathbb{F})}$ is isomorphic to the semistrong product of the complete graph $K_m$ and the antipodal graph of the Hamming graph $A(H(n,p^k))$, where $m=p^{\frac{kn(n-1)}{2}}$ and $|\mathbb{F}|=p^k$. In particular, if $|\mathbb{F}|=2$, then the graph $C_{T_n (\mathbb{F})}$ has $2^{n-1}$ connected components, each component is isomorphic to the complete bipartite graph $K_{m,m}$, where $m=2^{\frac{n(n-1)}{2}}$. We also compute the diameter, triameter, and clique number of the graph $C_{T_n (\mathbb{F})}$.


title: Improving the Validity of Automatically Generated Feedback via Reinforcement Learning

abstract: Automatically generating feedback via large language models (LLMs) in intelligent tutoring systems and online learning platforms has the potential to improve the learning outcomes of many students. However, both feedback generation and evaluation are challenging: feedback content has to be valid especially in subjects like math, which requires models to understand the problem, the solution, and where the student's error lies. Feedback also has to be pedagogically valid to reflect effective tutoring strategies, such as explaining possible misconceptions and encouraging the student, among other desirable features. In this work, we address both problems of automatically generating and evaluating feedback while considering both correctness and alignment. First, we propose a rubric for evaluating math feedback and show that GPT-4 is able to effectively use it to annotate human-written and LLM-generated feedback. Second, we propose a framework for feedback generation that optimizes both correctness and alignment using reinforcement learning (RL). Specifically, we use GPT-4's annotations to create preferences over feedback pairs in an augmented dataset for training via direct preference optimization (DPO). We show that our methods significantly increase the correctness and alignment of generated feedback with Llama 2, an open-source LLM, qualitatively analyze our generation and evaluation systems using case studies, and outline several areas for future work.


title: On the Development of the Concept of the Weak Cosmic Censorship Conjecture in General Relativity

abstract: In this thesis, we scrutinize the literature to trace the evolution of the concepts surrounding the weak cosmic censorship conjecture and the attempts to prove or disprove it. We discuss its development over the years, its conceptual transformations, and the various thought experiments constructed to validate or invalidate the weak cosmic censorship conjecture. We also discuss possible connections with blackhole thermodynamics, and end with an evaluation of the current status about the subject, and finally, speculations about the future.


title: ICC: Quantifying Image Caption Concreteness for Multimodal Dataset Curation

abstract: Web-scale training on paired text-image data is becoming increasingly central to multimodal learning, but is challenged by the highly noisy nature of datasets in the wild. Standard data filtering approaches succeed in removing mismatched text-image pairs, but permit semantically related but highly abstract or subjective text. These approaches lack the fine-grained ability to isolate the most concrete samples that provide the strongest signal for learning in a noisy dataset. In this work, we propose a new metric, image caption concreteness, that evaluates caption text without an image reference to measure its concreteness and relevancy for use in multimodal learning. Our approach leverages strong foundation models for measuring visual-semantic information loss in multimodal representations. We demonstrate that this strongly correlates with human evaluation of concreteness in both single-word and sentence-level texts. Moreover, we show that curation using ICC complements existing approaches: It succeeds in selecting the highest quality samples from multimodal web-scale datasets to allow for efficient training in resource-constrained settings.


title: Negative Temperature in Spin Dynamics Simulations

abstract: A simple and computationally efficient algorithm enables implementing negative temperature values in a spin dynamics simulation. The algorithm uses a Langevin spin dynamics thermostat with a negative damping parameter, enabling the thermalization of an arbitrary interacting spin system to the Gibbs energy distribution with a given negative temperature value. Canonical spin dynamics simulations at a negative temperature are as robust as conventional positive spin temperature simulations, providing a tool for quantitative dynamic studies of the physics of highly excited magnetic states. Two simulation case studies describing spin systems with antiferromagnetic and ferromagnetic ground states are explored. The phase transitions occurring in the negative temperature range do not necessarily exhibit similarities with their positive temperature counterparts. The transition temperatures and the character of spin alignment vary depending on the spatial range and strength of spin-spin interactions.


title: VBART: The Turkish LLM

abstract: We present VBART, the first Turkish sequence-to-sequence Large Language Models (LLMs) pre-trained on a large corpus from scratch. VBART are compact LLMs based on good ideas leveraged from BART and mBART models and come in two sizes, Large and XLarge. Fine-tuned VBART models surpass the prior state-of-the-art results in abstractive text summarization, title generation, text paraphrasing, question answering and question generation tasks. They allow fine-tuning for future text generation tasks and datasets, carving a new path for Turkish Natural Language Processing (NLP) research. Our work shows that having a pre-trained LLM for Turkish outperforms up to 3x multilingual models, improving existing results and providing efficient models for training and inference. Moreover, we show that our monolingual tokenizer is up to 11x more efficient than multilingual tokenizers. Last but not least, we introduce a method to enlarge an existing pre-trained LLM and question the relevancy of Chinchilla Scaling Law to sequence-to-sequence masked language models. Our fine-tuned models, tokenizer and cleaned vngrs-web-corpus of 135 GB are publicly available at huggingface.co/vngrs-ai.


title: VNLP: Turkish NLP Package

abstract: In this work, we present VNLP: the first dedicated, complete, open-source, well-documented, lightweight, production-ready, state-of-the-art Natural Language Processing (NLP) package for the Turkish language. It contains a wide variety of tools, ranging from the simplest tasks, such as sentence splitting and text normalization, to the more advanced ones, such as text and token classification models. Its token classification models are based on "Context Model", a novel architecture that is both an encoder and an auto-regressive model. NLP tasks solved by VNLP models include but are not limited to Sentiment Analysis, Named Entity Recognition, Morphological Analysis \& Disambiguation and Part-of-Speech Tagging. Moreover, it comes with pre-trained word embeddings and corresponding SentencePiece Unigram tokenizers. VNLP has an open-source GitHub repository, ReadtheDocs documentation, PyPi package for convenient installation, Python and command-line API and a demo page to test all the functionality. Consequently, our main contribution is a complete, compact, easy-to-install and easy-to-use NLP package for Turkish.


title: Image-Based Dietary Assessment: A Healthy Eating Plate Estimation System

abstract: The nutritional quality of diets has significantly deteriorated over the past two to three decades, a decline often underestimated by the people. This deterioration, coupled with a hectic lifestyle, has contributed to escalating health concerns. Recognizing this issue, researchers at Harvard have advocated for a balanced nutritional plate model to promote health. Inspired by this research, our paper introduces an innovative Image-Based Dietary Assessment system aimed at evaluating the healthiness of meals through image analysis. Our system employs advanced image segmentation and classification techniques to analyze food items on a plate, assess their proportions, and calculate meal adherence to Harvard's healthy eating recommendations. This approach leverages machine learning and nutritional science to empower individuals with actionable insights for healthier eating choices. Our four-step framework involves segmenting the image, classifying the items, conducting a nutritional assessment based on the Harvard Healthy Eating Plate research, and offering tailored recommendations. The prototype system has shown promising results in promoting healthier eating habits by providing an accessible, evidence-based tool for dietary assessment.


title: A peridynamic investigation of particle oxidation, size and material during cold-spray

abstract: Cold spray technology, distinguished by its unique ability to deposit particles in a solid state, offers unparalleled potential for applications such as coating, repair, and additive manufacturing. In this research, we employed a peridynamic modeling approach to systematically analyze the effects of key powder features on deposit properties. Notably, our model incorporates the explicit modeling of nanometer-sized oxide layers, providing a more accurate representation of real-world conditions. We assessed the influence of parameters such as particle size, oxidation conditions, and material type on crucial deposition indicators like critical velocity and compression ratio. Our results demonstrated excellent agreement with reported experimental data, affirming the effectiveness of the proposed numerical framework. Specifically, our findings highlighted that, for a given impact velocity, smaller particles, thicker oxide layers, and harder materials contribute to limited oxide removal and a decreased likelihood of successful adhesion. Additionally, we present a predictive framework that establishes a correlation between particle size and critical velocity, providing valuable insights for optimizing cold spray deposition parameters. This innovative approach not only enhances our understanding of the intricate interplay between powder features and deposit properties but also paves the way for a more efficient and cost-effective optimization process in cold spray applications.


title: High-coherence superconducting qubits made using industry-standard, advanced semiconductor manufacturing

abstract: The development of superconducting qubit technology has shown great potential for the construction of practical quantum computers. As the complexity of quantum processors continues to grow, the need for stringent fabrication tolerances becomes increasingly critical. Utilizing advanced industrial fabrication processes could facilitate the necessary level of fabrication control to support the continued scaling of quantum processors. However, these industrial processes are currently not optimized to produce high coherence devices, nor are they a priori compatible with the commonly used approaches to make superconducting qubits. In this work, we demonstrate for the first time superconducting transmon qubits manufactured in a 300 mm CMOS pilot line, using industrial fabrication methods, with resulting relaxation and coherence times already exceeding 100 microseconds. We show across-wafer, large-scale statistics studies of coherence, yield, variability, and aging that confirm the validity of our approach. The presented industry-scale fabrication process, using exclusively optical lithography and reactive ion etching, shows performance and yield similar to the conventional laboratory-style techniques utilizing metal lift-off, angled evaporation, and electron-beam writing. Moreover, it offers potential for further upscaling by including three-dimensional integration and additional process optimization using advanced metrology and judicious choice of processing parameters and splits. This result marks the advent of more reliable, large-scale, truly CMOS-compatible fabrication of superconducting quantum computing processors.


title: Review of top quark mass measurements in CMS

abstract: The top quark mass is one of the most intriguing parameters of the standard model (SM). Its value indicates a Yukawa coupling close to unity, and the resulting strong ties to the Higgs physics make the top quark mass a crucial ingredient for understanding essential aspects of the electroweak sector of the SM. While it is such an important parameter of the SM, its measurement and interpretation in terms of the Lagrangian parameter are challenging. The CMS Collaboration has performed multiple measurements of the top quark mass, addressing these challenges from different angles: highly precise `direct' measurements, using the top quark decay products, as well as `indirect' measurements aiming at accurate interpretations in terms of the Lagrangian parameter. Recent mass measurements using Lorentz-boosted top quarks are particularly promising, opening a new avenue of measurements based on top quark decay products contained in a single particle jet, with superior prospects for accurate theoretical interpretations. Moreover, dedicated studies of the dominant uncertainties in the modelling of the signal processes have been performed. This review offers the first comprehensive overview of these measurements performed by the CMS Collaboration using the data collected at centre-of-mass energies of 7, 8, and 13 TeV.


title: Superflows: A New Tool for Forensic Network Flow Analysis

abstract: Network security analysts gather data from diverse sources, from high-level summaries of network flow and traffic volumes to low-level details such as service logs from servers and the contents of individual packets. They validate and check this data against traffic patterns and historical indicators of compromise. Based on the results of this analysis, a decision is made to either automatically manage the traffic or report it to an analyst for further investigation. Unfortunately, due rapidly increasing traffic volumes, there are far more events to check than operational teams can handle for effective forensic analysis. However, just as packets are grouped into flows that share a commonality, we argue that a high-level construct for grouping network flows into a set a flows that share a hypothesis is needed to significantly improve the quality of operational network response by increasing Events Per Analysts Hour (EPAH). In this paper, we propose a formalism for describing a superflow construct, which we characterize as an aggregation of one or more flows based on an analyst-specific hypothesis about traffic behavior. We demonstrate simple superflow constructions and representations, and perform a case study to explain how the formalism can be used to reduce the volume of data for forensic analysis.


title: Near-optimal Per-Action Regret Bounds for Sleeping Bandits

abstract: We derive near-optimal per-action regret bounds for sleeping bandits, in which both the sets of available arms and their losses in every round are chosen by an adversary. In a setting with $K$ total arms and at most $A$ available arms in each round over $T$ rounds, the best known upper bound is $O(K\sqrt{TA\ln{K}})$, obtained indirectly via minimizing internal sleeping regrets. Compared to the minimax $\Omega(\sqrt{TA})$ lower bound, this upper bound contains an extra multiplicative factor of $K\ln{K}$. We address this gap by directly minimizing the per-action regret using generalized versions of EXP3, EXP3-IX and FTRL with Tsallis entropy, thereby obtaining near-optimal bounds of order $O(\sqrt{TA\ln{K}})$ and $O(\sqrt{T\sqrt{AK}})$. We extend our results to the setting of bandits with advice from sleeping experts, generalizing EXP4 along the way. This leads to new proofs for a number of existing adaptive and tracking regret bounds for standard non-sleeping bandits. Extending our results to the bandit version of experts that report their confidences leads to new bounds for the confidence regret that depends primarily on the sum of experts' confidences. We prove a lower bound, showing that for any minimax optimal algorithms, there exists an action whose regret is sublinear in $T$ but linear in the number of its active rounds.


title: TUMTraf V2X Cooperative Perception Dataset

abstract: Cooperative perception offers several benefits for enhancing the capabilities of autonomous vehicles and improving road safety. Using roadside sensors in addition to onboard sensors increases reliability and extends the sensor range. External sensors offer higher situational awareness for automated vehicles and prevent occlusions. We propose CoopDet3D, a cooperative multi-modal fusion model, and TUMTraf-V2X, a perception dataset, for the cooperative 3D object detection and tracking task. Our dataset contains 2,000 labeled point clouds and 5,000 labeled images from five roadside and four onboard sensors. It includes 30k 3D boxes with track IDs and precise GPS and IMU data. We labeled eight categories and covered occlusion scenarios with challenging driving maneuvers, like traffic violations, near-miss events, overtaking, and U-turns. Through multiple experiments, we show that our CoopDet3D camera-LiDAR fusion model achieves an increase of +14.36 3D mAP compared to a vehicle camera-LiDAR fusion model. Finally, we make our dataset, model, labeling tool, and dev-kit publicly available on our website: https://tum-traffic-dataset.github.io/tumtraf-v2x.


title: Less is More: Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits

abstract: While graph neural networks (GNNs) have gained popularity for learning circuit representations in various electronic design automation (EDA) tasks, they face challenges in scalability when applied to large graphs and exhibit limited generalizability to new designs. These limitations make them less practical for addressing large-scale, complex circuit problems. In this work we propose HOGA, a novel attention-based model for learning circuit representations in a scalable and generalizable manner. HOGA first computes hop-wise features per node prior to model training. Subsequently, the hop-wise features are solely used to produce node representations through a gated self-attention module, which adaptively learns important features among different hops without involving the graph topology. As a result, HOGA is adaptive to various structures across different circuits and can be efficiently trained in a distributed manner. To demonstrate the efficacy of HOGA, we consider two representative EDA tasks: quality of results (QoR) prediction and functional reasoning. Our experimental results indicate that (1) HOGA reduces estimation error over conventional GNNs by 46.76% for predicting QoR after logic synthesis; (2) HOGA improves 10.0% reasoning accuracy over GNNs for identifying functional blocks on unseen gate-level netlists after complex technology mapping; (3) The training time for HOGA almost linearly decreases with an increase in computing resources.


title: High-Dimensional Tail Index Regression: with An Application to Text Analyses of Viral Posts in Social Media

abstract: Motivated by the empirical power law of the distributions of credits (e.g., the number of "likes") of viral posts in social media, we introduce the high-dimensional tail index regression and methods of estimation and inference for its parameters. We propose a regularized estimator, establish its consistency, and derive its convergence rate. To conduct inference, we propose to debias the regularized estimate, and establish the asymptotic normality of the debiased estimator. Simulation studies support our theory. These methods are applied to text analyses of viral posts in X (formerly Twitter) concerning LGBTQ+.


title: A Polychromatic Theory of Emission

abstract: The control of thermal radiation by means of micro-structured materials is an active area of research with applications such as thermophotovoltaics and radiative cooling. The original theories of thermal radiation were derived for electromagnetically large objects, and predict unpolarized, omnidirectional, and uncorrelated radiation. Microstructures, however, exhibit thermal emissions that can be polarized, highly directional, and spatially and temporally correlated. The original theories are also restricted to thermal equilibrium situations and do not apply to steady-state emissions of electromagnetically small objects under a stationary illumination. In here, we establish a polychromatic framework to predict thermal radiation in the stationary regime, which includes thermal equilibrium. After identifying an object--adapted set of independent polychromatic absorption modes, we assume that the emission also occurs independently through the outgoing versions of each polychromatic mode. Energy conservation leads then to a Kirchhoff-like law for each polychromatic mode. The salient properties of the polychromatic theory are: Emission in frequencies that are absent in the illumination, change in the number of photons, and applicability to both thermal radiation and luminescence upon illumination with a continuous wave laser, as long as the emitted power depends linearly on the input intensity. These properties are independent of the chosen set of polychromatic modes. In this work, we chose the absorption modes derived from the scattering operator of a given object, and use the T-matrix formalism for computations, which applies to general objects, including microscopic ones. Some counter-intuitive results motivate the future search for a different set of modes.


title: Disconnectivity graphs for visualizing combinatorial optimization problems: challenges of embedding to Ising machines

abstract: Physics-based Ising machines (IM) have risen to the challenge of solving hard combinatorial optimization problems with higher speed and better energy efficiency. Generally, such dedicated systems employ local search heuristics to traverse energy landscapes in searching for optimal solutions. Extending landscape geometry visualization tools, disconnectivity graphs, we quantify and address some of the major challenges met by IMs in the field of combinatorial optimization. Using efficient sampling methods, we visually capture landscapes of problems having diverse structure and hardness and featuring strong degeneracies, which act as entropic barriers for IMs. Furthermore, we investigate energy barriers, local minima, and configuration space clustering effects caused by locality reduction methods when embedding combinatorial problems to the Ising hardware. For this purpose, we sample disconnectivity graphs of PUBO energy landscapes and their different QUBO mappings accounting for both local minima and saddle regions. We demonstrate that QUBO energy landscape properties lead to the subpar performance of quadratic IMs and suggest directions for their improvement.


title: Influence of Spatial Coherence on Phonon Transmission across Aperiodically Arranged Interfaces

abstract: In this study, we employ the atomistic wave-packet method to directly simulate coherent phonon transport and scattering dynamics in an aperiodic superlattice structure with aperiodically arranged interfaces. Our investigation reveals that interference dynamics, contingent upon the relative magnitudes of phonon wavelength, spatial coherence length, and average interface spacing, profoundly influence transmission spectra and mode-conversion behavior. Particularly, longer-wavelength phonons possessing larger coherence lengths exhibit more pronounced destructive interference and mode-conversion, leading to generally lower transmission. The insights gained into coherent phonon wave physics from this study can significantly augment the analysis and design of phononic devices.


title: A Communication-Efficient Stochastic Gradient Descent Algorithm for Distributed Nonconvex Optimization

abstract: This paper studies distributed nonconvex optimization problems with stochastic gradients for a multi-agent system, in which each agent aims to minimize the sum of all agents' cost functions by using local compressed information exchange. We propose a distributed stochastic gradient descent (SGD) algorithm, suitable for a general class of compressors. We show that the proposed algorithm achieves the linear speedup convergence rate $\mathcal{O}(1/\sqrt{nT})$ for smooth nonconvex functions, where $T$ and $n$ are the number of iterations and agents, respectively. If the global cost function additionally satisfies the Polyak--{\L}ojasiewicz condition, the proposed algorithm can linearly converge to a neighborhood of the global optimum, regardless of whether the stochastic gradient is unbiased or not. Numerical experiments are carried out to verify the efficiency of our algorithm.


title: A non-cubic space-filling modular robot

abstract: Space-filling building blocks of diverse shape permeate nature at all levels of organization, from atoms to honeycombs, and have proven useful in artificial systems, from molecular containers to clay bricks. But, despite the wide variety of space-filling polyhedra known to mathematics, only the cube has been explored in robotics. Thus, here we roboticize a non-cubic space-filling shape: the rhombic dodecahedron. This geometry offers an appealing alternative to cubes as it greatly simplifies rotational motion of one cell about the edge of another, and increases the number of neighbors each cell can communicate with and hold on to. To better understand the challenges and opportunities of these and other space-filling machines, we manufactured 48 rhombic dodecahedral cells and used them to build various superstructures. We report locomotive ability of some of the structures we built, and discuss the dis/advantages of the different designs we tested. We also introduce a strategy for genderless passive docking of cells that generalizes to any polyhedra with radially symmetrical faces. Future work will allow the cells to freely roll/rotate about one another so that they may realize the full potential of their unique shape.


title: A family of symmetric graphs in relation to 2-point-transitive linear spaces

abstract: A graph $\Gamma$ is $G$-symmetric if it admits $G$ as a group of automorphisms acting transitively on the set of arcs of $\Gamma$, where an arc is an ordered pair of adjacent vertices. Let $\Gamma$ be a $G$-symmetric graph such that its vertex set admits a nontrivial $G$-invariant partition ${\cal B}$, and let ${\cal D}(\Gamma, {\cal B})$ be the incidence structure with point set ${\cal B}$ and blocks $\{B\} \cup \Gamma_{\cal B}(\alpha)$, for $B \in {\cal B}$ and $\alpha \in B$, where $\Gamma_{\cal B}(\alpha)$ is the set of blocks of ${\cal B}$ containing at least one neighbour of $\alpha$ in $\Gamma$. In this paper we classify all $G$-symmetric graphs $\Gamma$ such that $\Gamma_{\cal B}(\alpha) \ne \Gamma_{\cal B}(\beta)$ for distinct $\alpha, \beta \in B$, the quotient graph of $\Gamma$ with respect to ${\cal B}$ is a complete graph, and ${\cal D}(\Gamma, {\cal B})$ is isomorphic to the complement of a $(G, 2)$-point-transitive linear space.


title: NeRF-VPT: Learning Novel View Representations with Neural Radiance Fields via View Prompt Tuning

abstract: Neural Radiance Fields (NeRF) have garnered remarkable success in novel view synthesis. Nonetheless, the task of generating high-quality images for novel views persists as a critical challenge. While the existing efforts have exhibited commendable progress, capturing intricate details, enhancing textures, and achieving superior Peak Signal-to-Noise Ratio (PSNR) metrics warrant further focused attention and advancement. In this work, we propose NeRF-VPT, an innovative method for novel view synthesis to address these challenges. Our proposed NeRF-VPT employs a cascading view prompt tuning paradigm, wherein RGB information gained from preceding rendering outcomes serves as instructive visual prompts for subsequent rendering stages, with the aspiration that the prior knowledge embedded in the prompts can facilitate the gradual enhancement of rendered image quality. NeRF-VPT only requires sampling RGB data from previous stage renderings as priors at each training stage, without relying on extra guidance or complex techniques. Thus, our NeRF-VPT is plug-and-play and can be readily integrated into existing methods. By conducting comparative analyses of our NeRF-VPT against several NeRF-based approaches on demanding real-scene benchmarks, such as Realistic Synthetic 360, Real Forward-Facing, Replica dataset, and a user-captured dataset, we substantiate that our NeRF-VPT significantly elevates baseline performance and proficiently generates more high-quality novel view images than all the compared state-of-the-art methods. Furthermore, the cascading learning of NeRF-VPT introduces adaptability to scenarios with sparse inputs, resulting in a significant enhancement of accuracy for sparse-view novel view synthesis. The source code and dataset are available at \url{https://github.com/Freedomcls/NeRF-VPT}.


title: DNA Family: Boosting Weight-Sharing NAS with Block-Wise Supervisions

abstract: Neural Architecture Search (NAS), aiming at automatically designing neural architectures by machines, has been considered a key step toward automatic machine learning. One notable NAS branch is the weight-sharing NAS, which significantly improves search efficiency and allows NAS algorithms to run on ordinary computers. Despite receiving high expectations, this category of methods suffers from low search effectiveness. By employing a generalization boundedness tool, we demonstrate that the devil behind this drawback is the untrustworthy architecture rating with the oversized search space of the possible architectures. Addressing this problem, we modularize a large search space into blocks with small search spaces and develop a family of models with the distilling neural architecture (DNA) techniques. These proposed models, namely a DNA family, are capable of resolving multiple dilemmas of the weight-sharing NAS, such as scalability, efficiency, and multi-modal compatibility. Our proposed DNA models can rate all architecture candidates, as opposed to previous works that can only access a subsearch space using heuristic algorithms. Moreover, under a certain computational complexity constraint, our method can seek architectures with different depths and widths. Extensive experimental evaluations show that our models achieve state-of-the-art top-1 accuracy of 78.9% and 83.6% on ImageNet for a mobile convolutional network and a small vision transformer, respectively. Additionally, we provide in-depth empirical analysis and insights into neural architecture ratings. Codes available: \url{https://github.com/changlin31/DNA}.


title: Euclidean distance compression via deep random features

abstract: Motivated by the problem of compressing point sets into as few bits as possible while maintaining information about approximate distances between points, we construct random nonlinear maps $\varphi_\ell$ that compress point sets in the following way. For a point set $S$, the map $\varphi_\ell:\mathbb{R}^d \to N^{-1/2}\{-1,1\}^N$ has the property that storing $\varphi_\ell(S)$ (a \emph{sketch} of $S$) allows one to report pairwise squared distances between points in $S$ up to some multiplicative $(1\pm \epsilon)$ error with high probability as long as the minimum distance is not too small compared to $\epsilon$. The maps $\varphi_\ell$ are the $\ell$-fold composition of a certain type of random feature mapping. Moreover, we determine how large $N$ needs to be as a function of $\epsilon$ and other parameters of the point set. Compared to existing techniques, our maps offer several advantages. The standard method for compressing point sets by random mappings relies on the Johnson-Lindenstrauss lemma which implies that if a set of $n$ points is mapped by a Gaussian random matrix to $\mathbb{R}^k$ with $k =\Theta(\epsilon^{-2}\log n)$, then pairwise distances between points are preserved up to a multiplicative $(1\pm \epsilon)$ error with high probability. The main advantage of our maps $\varphi_\ell$ over random linear maps is that ours map point sets directly into the discrete cube $N^{-1/2}\{-1,1\}^N$ and so there is no additional step needed to convert the sketch to bits. For some range of parameters, our maps $\varphi_\ell$ produce sketches which require fewer bits of storage space.


title: Measuring Entanglement in Physical Networks

abstract: The links of a physical network cannot cross, which often forces the network layout into non-optimal entangled states. Here we define a network fabric as a two-dimensional projection of a network and propose the average crossing number as a measure of network entanglement. We analytically derive the dependence of the crossing number on network density, average link length, degree heterogeneity, and community structure and show that the predictions accurately estimate the entanglement of both network models and of real physical networks.


title: Bespoke Non-Stationary Solvers for Fast Sampling of Diffusion and Flow Models

abstract: This paper introduces Bespoke Non-Stationary (BNS) Solvers, a solver distillation approach to improve sample efficiency of Diffusion and Flow models. BNS solvers are based on a family of non-stationary solvers that provably subsumes existing numerical ODE solvers and consequently demonstrate considerable improvement in sample approximation (PSNR) over these baselines. Compared to model distillation, BNS solvers benefit from a tiny parameter space ($<$200 parameters), fast optimization (two orders of magnitude faster), maintain diversity of samples, and in contrast to previous solver distillation approaches nearly close the gap from standard distillation methods such as Progressive Distillation in the low-medium NFE regime. For example, BNS solver achieves 45 PSNR / 1.76 FID using 16 NFE in class-conditional ImageNet-64. We experimented with BNS solvers for conditional image generation, text-to-image generation, and text-2-audio generation showing significant improvement in sample approximation (PSNR) in all.


title: Re-evaluating the impact of hormone replacement therapy on heart disease using match-adaptive randomization inference

abstract: Matching is an appealing way to design observational studies because it mimics the data structure produced by stratified randomized trials, pairing treated individuals with similar controls. After matching, inference is often conducted using methods tailored for stratified randomized trials in which treatments are permuted within matched pairs. However, in observational studies, matched pairs are not predetermined before treatment; instead, they are constructed based on observed treatment status. This introduces a challenge as the permutation distributions used in standard inference methods do not account for the possibility that permuting treatments might lead to a different selection of matched pairs ($Z$-dependence). To address this issue, we propose a novel and computationally efficient algorithm that characterizes and enables sampling from the correct conditional distribution of treatment after an optimal propensity score matching, accounting for $Z$-dependence. We show how this new procedure, called match-adaptive randomization inference, corrects for an anticonservative result in a well-known observational study investigating the impact of hormone replacement theory (HRT) on coronary heart disease and corroborates experimental findings about heterogeneous effects of HRT across different ages of initiation in women. Keywords: matching, causal inference, propensity score, permutation test, Type I error, graphs.


title: The legacy of Bletchley Park on UK mathematics

abstract: The second world war saw a major influx of mathematical talent into the areas of cryptanalysis and cryptography. This was particularly true at the UK's Government Codes and Cypher School (GCCS) at Bletchley Park. The success of introducing mathematical thinking into activities previously dominated by linguists is well-studied, but the reciprocal question of how the cryptologic effort affected the field of mathematics has been less investigated. Although their cryptologic achievements are not as celebrated as those of Turing, Tutte and Welchman, Bletchley Park's effort was supplemented by more eminent mathematicians, and those who would achieve eminence and provide leadership and direction for mathematical research in the United Kingdom. Amongst their number were Ian Cassels, Sandy Green, Philip Hall, Max Newman and Henry Whitehead. This paper considers how the experience of these and other mathematicians at Bletchley Park may have informed and influenced the mathematics that was produced in their post-war careers.


title: Chaining thoughts and LLMs to learn DNA structural biophysics

abstract: The future development of an AI scientist, a tool that is capable of integrating a variety of experimental data and generating testable hypotheses, holds immense potential. So far, bespoke machine learning models have been created to specialize in singular scientific tasks, but otherwise lack the flexibility of a general purpose model. Here, we show that a general purpose large language model, chatGPT 3.5-turbo, can be fine-tuned to learn the structural biophysics of DNA. We find that both fine-tuning models to return chain-of-thought responses and chaining together models fine-tuned for subtasks have an enhanced ability to analyze and design DNA sequences and their structures.


title: Quantifying Maximum Actuator Degradation for a Given $H_2/H_{\infty}$ Performance with Full-State Feedback Control

abstract: In this paper, we address the issue of quantifying maximum actuator degradation in linear time-invariant dynamical systems. We present a new unified framework for computing the state-feedback controller gain that meets a user-defined closed-loop performance criterion while also maximizing actuator degradation. This degradation is modeled as a first-order filter with additive noise. Our approach involves two novel convex optimization formulations that concurrently determine the controller gain, maximize actuator degradation, and maintain the desired closed-loop performance in both the $H_2$ and $H_{\infty}$ system norms. The results are limited to open-loop stable systems. We demonstrate the application of our results through the design of a full-state feedback controller for a model representing the longitudinal motion of the F-16 aircraft.


title: Implementation of Linear Parameter Varying System to Investigate the Impact of Varying Flow Rate on the Lithium-ion Batteries Thermal Management System Performance

abstract: Battery thermal management system is an indispensable part of the electric vehicles working with Lithium-ion batteries. Accordingly, lithium-ion batteries modeling, battery heat generation, and thermal management are the main focus of researchers and car manufacturers. To fulfill the need of manufacturers in the design process, a faster model than time-consuming Computational Fluid Dynamics models (CFD) is required. Reduced Order Models (ROM) address this requirement to maintain the accuracy of CFD models while could be compiled faster. Linear Time Invariant (LTI) reduced order model has been used in the literature; however, due to the limitation of LTI system, considering the constant flow rate for the cooling fluid, a Linear Parameter Varying system with three scheduling parameters was developed in this study. It is shown that LPV system results could fit accurately to CFD results in conditions that LTI system cannot maintain accuracy. Moreover, it is shown that applying varying water flow rates could result in a smoother temperature profile.


title: Making Hybrid Languages: A Recipe

abstract: The dominant programming languages support only linear text to express ideas. Visual languages offer graphical representations for entire programs, when viewed with special tools. Hybrid languages, with support from existing tools, allow developers to express their ideas with a mix of textual and graphical syntax tailored to an application domain. This mix puts both kinds of syntax on equal footing and, importantly, the enriched language does not disrupt a programmer's typical workflow. This paper presents a recipe for equipping existing textual programming languages as well as accompanying IDEs with a mechanism for creating and using graphical interactive syntax. It also presents the first hybrid language and IDE created using the recipe.


title: Europa's structural conditions for the existence of subsurface ocean and the absence of metallic core-driven magnetic field

abstract: Europa's interior is expected to be divided into the metallic core, rocky mantle and hydrosphere based on the moment of inertia factor estimated from gravity field measurements. Specifically, the thickness of the outermost water layer is 120-170 km, and the radius of the metallic core is 0.12-0.43 times the surface radius. No systematic study of Europa's internal evolution has been conducted to estimate the current state of the subsurface ocean and to explain the absence of a core dynamo field within such uncertainty for internal structure and material properties. Herein, I performed a numerical simulation of the long-term thermal evolution of Europa's interior and investigated the temporal changes in the ocean thickness as well as the temperature and heat flow of the metallic core. If the ice reference viscosity is greater than 5$\times$10$^{14}$ Pa s, the ocean can persist even in the absence of tidal heating. In the case of a tidal heating of 10 and 20 mW/m$^{2}$, the ice shell thickness is $\le$90 km if the ice viscosity is $\ge$1$\times$10$^{15}$ and 1$\times$10$^{14}$ Pa s, respectively. Regardless of the ice viscosity, if the tidal heating is $\ge$50 mW/m$^{2}$, the shell thickness will be $\le$40 km. The thermal history of the metallic core is determined by the hydrosphere thickness and the metallic core density, and is unaffected by variations in the ice shell (ocean) thickness. Preferred conditions for the absence of the core dynamo include CI chondritic abundance for the long-lived radioactive isotopes, lower initial core-mantle boundary (CMB) temperature and thicker hydrosphere. The core may be molten without convection if the composition is near the eutectic in a Fe-FeS alloy, or not molten (without convection) if the composition is near the Fe or FeS endmember.


title: Embeddability of higher-rank graphs in groupoids, and the structure of their C*-algebras

abstract: We show that the C*-algebra of a row-finite source-free k-graph is Rieffel-Morita equivalent to a crossed product of an AF algebra by the fundamental group of the k-graph. When the k-graph embeds in its fundamental groupoid, this AF algebra is a Fell algebra; and simple-connectedness of a certain sub-1-graph characterises when this Fell algebra is Rieffel--Morita equivalent to a commutative C*-algebra. We provide a substantial suite of results for determining if a given k-graph embeds in its fundamental groupoid, and provide a large class of examples, arising via work of Cartwright, Robertson, Steger et al. from the theory of $\tilde{A_2}$-groups, that do embed.


title: Normalized solutions of quasilinear Schr\"odinger equations with a general nonlinearity

abstract: We are concerned with solutions of the following quasilinear Schr\"odinger equations \begin{eqnarray*} -{\mathrm{div}}\left(\varphi^{2}(u) \nabla u\right)+\varphi(u) \varphi^{\prime}(u)|\nabla u|^{2}+\lambda u=f(u), \quad x \in \mathbb{R}^{N} \end{eqnarray*} with prescribed mass $$ \int_{\mathbb{R}^{N}} u^{2} \mathrm{d}x=c, $$ where $N\ge 3, c>0$, $\lambda \in \mathbb{R}$ appears as the Lagrange multiplier and $\varphi\in C ^{1}(\mathbb{R} ,\mathbb{R}^{+})$. The nonlinearity $f \in C\left ( \mathbb{R}, \, \mathbb{R} \right )$ is allowed to be mass-subcritical, mass-critical and mass-supercritical at origin and infinity. Via a dual approach, the fixed point index and a global branch approach, we establish the existence of normalized solutions to the problem above. The results extend previous results by L. Jeanjean, J. J. Zhang and X.X. Zhong to the quasilinear case.


title: Uniform $\mathcal{C}^k$ Approximation of $G$-Invariant and Antisymmetric Functions, Embedding Dimensions, and Polynomial Representations

abstract: For any subgroup $G$ of the symmetric group $\mathcal{S}_n$ on $n$ symbols, we present results for the uniform $\mathcal{C}^k$ approximation of $G$-invariant functions by $G$-invariant polynomials. For the case of totally symmetric functions ($G = \mathcal{S}_n$), we show that this gives rise to the sum-decomposition Deep Sets ansatz of Zaheer et al. (2018), where both the inner and outer functions can be chosen to be smooth, and moreover, the inner function can be chosen to be independent of the target function being approximated. In particular, we show that the embedding dimension required is independent of the regularity of the target function, the accuracy of the desired approximation, as well as $k$. Next, we show that a similar procedure allows us to obtain a uniform $\mathcal{C}^k$ approximation of antisymmetric functions as a sum of $K$ terms, where each term is a product of a smooth totally symmetric function and a smooth antisymmetric homogeneous polynomial of degree at most $\binom{n}{2}$. We also provide upper and lower bounds on $K$ and show that $K$ is independent of the regularity of the target function, the desired approximation accuracy, and $k$.


title: An eternal hypersurface flow arising in centro-affine geometry

abstract: In this paper, the existence and uniqueness for a specific centro-affine invariant hypersurface flow in $R^{n+1}$ are studied, and the corresponding evolutionary processes in both centro-affine and Euclidean settings are explored. It turns out that the flow exhibits similar properties as the standard heat flow. In addition, the long time existence of the flow is investigated, which asserts that the hypersurface governed by the flow converges asymptotically toward an ellipsoid via systematically investigating evolutions of the centro-affine invariants. Furthermore, the classification of the eternal solutions for the flow is provided.


title: Scaling limit of the colored ASEP and stochastic six-vertex models

abstract: We consider the colored asymmetric simple exclusion process (ASEP) and stochastic six vertex (S6V) model with fully packed initial conditions; the states of these models can be encoded by 2-parameter height functions. We show under Kardar-Parisi-Zhang (KPZ) scaling of time, space, and fluctuations that these height functions converge to the Airy sheet. Several corollaries follow. (1) For ASEP and the S6V model under the basic coupling, we consider the 4-parameter height function at position $y$ and time $t$ with a step initial condition at position $x$ and time $s < t$, and prove that under KPZ scaling it converges to the directed landscape. (2) We prove that ASEPs under the basic coupling, with multiple general initial data, converge to KPZ fixed points coupled through the directed landscape. (3) We prove that the colored ASEP stationary measures converge to the stationary horizon. (4) We prove a strong form of decoupling for the colored ASEP height functions, as well as for the stationary two-point function, as broadly predicted by the theory of non-linear fluctuating hydrodynamics. The starting point for our Airy sheet convergence result is an embedding of these colored models into a larger structure -- a color-indexed family of coupled line ensembles with an explicit Gibbs property, i.e., a colored Hall-Littlewood line ensemble. The core of our work then becomes to develop a framework to analyze the edge scaling limit of these ensembles.


title: LM4OPT: Unveiling the Potential of Large Language Models in Formulating Mathematical Optimization Problems

abstract: In the rapidly evolving field of natural language processing, the translation of linguistic descriptions into mathematical formulation of optimization problems presents a formidable challenge, demanding intricate understanding and processing capabilities from Large Language Models (LLMs). This study compares prominent LLMs, including GPT-3.5, GPT-4, and Llama-2-7b, in zero-shot and one-shot settings for this task. Our findings show GPT-4's superior performance, particularly in the one-shot scenario. A central part of this research is the introduction of `LM4OPT,' a progressive fine-tuning framework for Llama-2-7b that utilizes noisy embeddings and specialized datasets. However, this research highlights a notable gap in the contextual understanding capabilities of smaller models such as Llama-2-7b compared to larger counterparts, especially in processing lengthy and complex input contexts. Our empirical investigation, utilizing the NL4Opt dataset, unveils that GPT-4 surpasses the baseline performance established by previous research, achieving an F1-score of 0.63, solely based on the problem description in natural language, and without relying on any additional named entity information. GPT-3.5 follows closely, both outperforming the fine-tuned Llama-2-7b. These findings not only benchmark the current capabilities of LLMs in a novel application area but also lay the groundwork for future improvements in mathematical formulation of optimization problems from natural language input.


title: The Effectiveness of a Training Program Based on Health Education to Improve Health Empowerment Level among Refugees in Jordan

abstract: Objectives: The study aimed to evaluate the effectiveness of a health education-based training program in enhancing the level of health empowerment among refugees in Jordan. Health empowerment is a key component to promote health as it enables individuals to control and manage their health outcomes and improve them. Refugees are a vulnerable population group with limited access to healthcare. Methodology: The study sample consisted of 38 refugees in Irbid governorate, Jordan, who were conveniently selected in coordination with some organizations working in the field of asylum in the governorate. They were randomly divided into two groups: an experimental group (n = 19) that received the health education training program, and a control group (n = 19) that did not receive any health education training. The Health Empowerment Scale (HES), a validated tool, was used to collect data from both groups in the pre and post-tests, and a follow-up test was conducted for members of the experimental group only. Results: The results showed a statistically significant increase in the health empowerment scores for the experimental group that received the training program compared to the control group. The mean of the pre-test for the experimental group was (1.97 - 0.27), and for the control group, it was (1.84 - 0.21). The post-test mean for the experimental group became (3.88 - 0.13), while for the control group, it was (1.85 - 0.20). The follow-up test also demonstrated that the enhanced health empowerment levels were maintained in the experimental group, with no significant difference between the post-test and follow-up scores, indicating the effectiveness of the health education training program in enhancing health empowerment for refugees in Jordan.


title: Mitigating the Bias in the Model for Continual Test-Time Adaptation

abstract: Continual Test-Time Adaptation (CTA) is a challenging task that aims to adapt a source pre-trained model to continually changing target domains. In the CTA setting, a model does not know when the target domain changes, thus facing a drastic change in the distribution of streaming inputs during the test-time. The key challenge is to keep adapting the model to the continually changing target domains in an online manner. We find that a model shows highly biased predictions as it constantly adapts to the chaining distribution of the target data. It predicts certain classes more often than other classes, making inaccurate over-confident predictions. This paper mitigates this issue to improve performance in the CTA scenario. To alleviate the bias issue, we make class-wise exponential moving average target prototypes with reliable target samples and exploit them to cluster the target features class-wisely. Moreover, we aim to align the target distributions to the source distribution by anchoring the target feature to its corresponding source prototype. With extensive experiments, our proposed method achieves noteworthy performance gain when applied on top of existing CTA methods without substantial adaptation time overhead.


title: ShapeBoost: Boosting Human Shape Estimation with Part-Based Parameterization and Clothing-Preserving Augmentation

abstract: Accurate human shape recovery from a monocular RGB image is a challenging task because humans come in different shapes and sizes and wear different clothes. In this paper, we propose ShapeBoost, a new human shape recovery framework that achieves pixel-level alignment even for rare body shapes and high accuracy for people wearing different types of clothes. Unlike previous approaches that rely on the use of PCA-based shape coefficients, we adopt a new human shape parameterization that decomposes the human shape into bone lengths and the mean width of each part slice. This part-based parameterization technique achieves a balance between flexibility and validity using a semi-analytical shape reconstruction algorithm. Based on this new parameterization, a clothing-preserving data augmentation module is proposed to generate realistic images with diverse body shapes and accurate annotations. Experimental results show that our method outperforms other state-of-the-art methods in diverse body shape situations as well as in varied clothing situations.


title: Improve Cost Efficiency of Active Learning over Noisy Dataset

abstract: Active learning is a learning strategy whereby the machine learning algorithm actively identifies and labels data points to optimize its learning. This strategy is particularly effective in domains where an abundance of unlabeled data exists, but the cost of labeling these data points is prohibitively expensive. In this paper, we consider cases of binary classification, where acquiring a positive instance incurs a significantly higher cost compared to that of negative instances. For example, in the financial industry, such as in money-lending businesses, a defaulted loan constitutes a positive event leading to substantial financial loss. To address this issue, we propose a shifted normal distribution sampling function that samples from a wider range than typical uncertainty sampling. Our simulation underscores that our proposed sampling function limits both noisy and positive label selection, delivering between 20% and 32% improved cost efficiency over different test datasets.


title: The Repercussions of the COVID-19 Pandemic on Higher Education and its implications for Syrian Refugees Students (An Analytical Descriptive Study)

abstract: This study aims to reveal the most important challenges and difficulties that refugee students faced in Jordanian universities (e.g., Yarmouk University, AL Al-Bayt, and the Private Zarqa University) due to the COVID-19 pandemic through measuring a different of indicators that are related, in addition, to identify some of the independent variables on e-educational challenges. In the study, the analytical description approach was used. The data collection tool is a questionnaire, which was distributed to a random sample of students electronically. Results show that the necessity to implement educational and psychological counseling programs and economic support programs to support the e-Learning costs. The study confirmed that refugees are the most affected students with the pandemic compared to the host community. Keywords: Syrian refugees, COVID-19, e-learning


title: SANGRIA: Stacked Autoencoder Neural Networks with Gradient Boosting for Indoor Localization

abstract: Indoor localization is a critical task in many embedded applications, such as asset tracking, emergency response, and realtime navigation. In this article, we propose a novel fingerprintingbased framework for indoor localization called SANGRIA that uses stacked autoencoder neural networks with gradient boosted trees. Our approach is designed to overcome the device heterogeneity challenge that can create uncertainty in wireless signal measurements across embedded devices used for localization. We compare SANGRIA to several state-of-the-art frameworks and demonstrate 42.96% lower average localization error across diverse indoor locales and heterogeneous devices.


title: OSM: Leveraging Model Checking for Observing Dynamic 1 behaviors in Aspect-Oriented Applications

abstract: In the intricate domain of software systems verification, dynamically model checking multifaceted system characteristics remains paramount, yet challenging. This research proposes the advanced observe-based statistical model-checking (OSM) framework, devised to craft executable formal models directly from foundational system code. Leveraging model checking predicates, the framework melds seamlessly with aspect-oriented programming paradigms, yielding a potent method for the analytical verification of varied behavioral attributes. Exploiting the transformative capacity of OSM framework, primary system code undergoes a systematic metamorphosis into multifaceted analysis constructs. This not only simplifies the model verification process but also orchestrates feature interactions using an innovative observing join point abstraction mechanism. Within this framework, components encompassing parsing, formal verification, computational analytics, and rigorous validation are intrinsically interwoven. Marrying the principles of model checking with aspect-oriented (AO) modularization, OSM framework stands as a paragon, proficiently scrutinizing and affirming system specifications. This ensures the unyielding performance of electronic health record systems amidst shifting preconditions. OSM framework offers runtime verification of both object-oriented and AO deployments, positioning itself as an indispensable open-source resource, poised to automate the enhancement of system performance and scalability.


title: Quantum Stabilization and Flat Hydrogen-based Bands of Nitrogen-doped Lutetium Hydride

abstract: We explore electronic and structural properties of Fm$\overline{3}$m Lu-H-N structures with specific N,H ordering as plausible candidates for near-ambient superconductivity possibly originating from their remarkably narrow hydrogen-based bands at the Fermi level. Although LuH$_{2.875}$N$_{0.125}$ exhibits an instability persisting up to 17 GPa, it is anharmonically stable near ambient pressure when accounting for quantum nuclear effects. The presence of flat bands near $E_\text{F}$ is understood to arise from destructive\ quantum interference between N-p and surrounding H-s orbitals, with certain types of defects leaving the flat bands unaffected. The results suggest there is an optimal pressure near ambient where the superconducting $T_{\text{c}}$ is maximized in this structure by anharmonically-stabilized low-frequency and non-adiabatically coupled high-frequency hydrogen modes. Despite the metastability of this structure, its electronic properties and dynamical stability when calculated beyond a classical harmonic approach can explain the reported near-ambient superconductivity in Lu-H-N.


title: Efficient FIR filtering with Bit Layer Multiply Accumulator

abstract: Bit Layer Multiplier Accumulator (BLMAC) is an efficient method to perform dot products without multiplications that exploits the bit level sparsity of the weights. A total of 1,980,000 low, high, band pass and band stop type I FIR filters were generated by systematically sweeping through the cut off frequencies and by varying the number of taps from 55 to 255. After their coefficients were quantized to 16 bits, applying the filter using a BLMAC required, on average, from ~123.3 to ~513.6 additions, depending on the number of taps. A BLMAC dot product machine, specialised for 127 taps FIR filters, was designed for AMD FPGAs. The design footprint is ~110 LUTs, including coefficient and sample storage and is able to apply the filter in ~232 clock cycles on average. This implies a filtering rate of 1.4-3.4 Msamples/s, depending on the FPGA family.


title: Improving Uncertainty Sampling with Bell Curve Weight Function

abstract: Typically, a supervised learning model is trained using passive learning by randomly selecting unlabelled instances to annotate. This approach is effective for learning a model, but can be costly in cases where acquiring labelled instances is expensive. For example, it can be time-consuming to manually identify spam mails (labelled instances) from thousands of emails (unlabelled instances) flooding an inbox during initial data collection. Generally, we answer the above scenario with uncertainty sampling, an active learning method that improves the efficiency of supervised learning by using fewer labelled instances than passive learning. Given an unlabelled data pool, uncertainty sampling queries the labels of instances where the predicted probabilities, p, fall into the uncertainty region, i.e., $p \approx 0.5$. The newly acquired labels are then added to the existing labelled data pool to learn a new model. Nonetheless, the performance of uncertainty sampling is susceptible to the area of unpredictable responses (AUR) and the nature of the dataset. It is difficult to determine whether to use passive learning or uncertainty sampling without prior knowledge of a new dataset. To address this issue, we propose bell curve sampling, which employs a bell curve weight function to acquire new labels. With the bell curve centred at p=0.5, bell curve sampling selects instances whose predicted values are in the uncertainty area most of the time without neglecting the rest. Simulation results show that, most of the time bell curve sampling outperforms uncertainty sampling and passive learning in datasets of different natures and with AUR.


title: Spatially parallel decoding for multi-qubit lattice surgery

abstract: Running quantum algorithms protected by quantum error correction requires a real time, classical decoder. To prevent the accumulation of a backlog, this decoder must process syndromes from the quantum device at a faster rate than they are generated. Most prior work on real time decoding has focused on an isolated logical qubit encoded in the surface code. However, for surface code, quantum programs of utility will require multi-qubit interactions performed via lattice surgery. A large merged patch can arise during lattice surgery -- possibly as large as the entire device. This puts a significant strain on a real time decoder, which must decode errors on this merged patch and maintain the level of fault-tolerance that it achieves on isolated logical qubits. These requirements are relaxed by using spatially parallel decoding, which can be accomplished by dividing the physical qubits on the device into multiple overlapping groups and assigning a decoder module to each. We refer to this approach as spatially parallel windows. While previous work has explored similar ideas, none have addressed system-specific considerations pertinent to the task or the constraints from using hardware accelerators. In this work, we demonstrate how to configure spatially parallel windows, so that the scheme (1) is compatible with hardware accelerators, (2) supports general lattice surgery operations, (3) maintains the fidelity of the logical qubits, and (4) meets the throughput requirement for real time decoding. Furthermore, our results reveal the importance of optimally choosing the buffer width to achieve a balance between accuracy and throughput -- a decision that should be influenced by the device's physical noise.


title: An Overview of Minimum Convex Cover and Maximum Hidden Set

abstract: We give a review of results on the minimum convex cover and maximum hidden set problems. In addition, we give some new results. First we show that it is NP-hard to determine whether a polygon has the same convex cover number as its hidden set number. We then give some important examples in which these quantities don't always coincide. Finally, We present some consequences of insights from Browne, Kasthurirangan, Mitchell and Polishchuk [FOCS, 2023] on other classes of simple polygons.


title: a-DCF: an architecture agnostic metric with application to spoofing-robust speaker verification

abstract: Spoofing detection is today a mainstream research topic. Standard metrics can be applied to evaluate the performance of isolated spoofing detection solutions and others have been proposed to support their evaluation when they are combined with speaker detection. These either have well-known deficiencies or restrict the architectural approach to combine speaker and spoof detectors. In this paper, we propose an architecture-agnostic detection cost function (a-DCF). A generalisation of the original DCF used widely for the assessment of automatic speaker verification (ASV), the a-DCF is designed for the evaluation of spoofing-robust ASV. Like the DCF, the a-DCF reflects the cost of decisions in a Bayes risk sense, with explicitly defined class priors and detection cost model. We demonstrate the merit of the a-DCF through the benchmarking evaluation of architecturally-heterogeneous spoofing-robust ASV solutions.


title: Security and Privacy Enhancing in Blockchain-based IoT Environments via Anonym Auditing

abstract: The integration of blockchain technology in Internet of Things (IoT) environments is a revolutionary step towards ensuring robust security and enhanced privacy. This paper delves into the unique challenges and solutions associated with securing blockchain-based IoT systems, with a specific focus on anonymous auditing to reinforce privacy and security. We propose a novel framework that combines the decentralized nature of blockchain with advanced security protocols tailored for IoT contexts. Central to our approach is the implementation of anonymization techniques in auditing processes, ensuring user privacy while maintaining the integrity and transparency of blockchain transactions. We outline the architecture of blockchain in IoT environments, emphasizing the workflow and specific security mechanisms employed. Additionally, we introduce a security protocol that integrates privacy-enhancing tools and anonymous auditing methods, including the use of advanced cryptographic techniques for anonymity. This study also includes a comparative analysis of our proposed framework against existing models in the domain. Our work aims to provide a comprehensive blueprint for enhancing security and privacy in blockchain-based IoT environments, paving the way for more secure and private digital ecosystems.