title: Improved prediction of ligand-protein binding affinities by meta-modeling

abstract: The accurate screening of candidate drug ligands against target proteins through computational approaches is of prime interest to drug development efforts. Such virtual screening depends in part on methods to predict the binding affinity between ligands and proteins. Many computational models for binding affinity prediction have been developed, but with varying results across targets. Given that ensembling or meta-modeling methods have shown great promise in reducing model-specific biases, we develop a framework to integrate published force-field-based empirical docking and sequence-based deep learning models. In building this framework, we evaluate many combinations of individual base models, training databases, and several meta-modeling approaches. We show that many of our meta-models significantly improve affinity predictions over base models. Our best meta-models achieve comparable performance to state-of-the-art deep learning tools exclusively based on structures, while allowing for improved database scalability and flexibility through the explicit inclusion of features such as physicochemical properties or molecular descriptors. Overall, we demonstrate that diverse modeling approaches can be ensembled together to gain improvement in binding affinity prediction.


title: On growth error bound conditions with an application to heavy ball method

abstract: In this paper, we investigate the growth error bound condition. By using the proximal point algorithm, we first provide a more accessible and elementary proof of the fact that Kurdyka-{\L}ojasiewicz conditions imply growth error bound conditions for convex functions which has been established before via a subgradient flow. We then extend the result for nonconvex functions. Furthermore we show that every definable function in an o-minimal structure must satisfy a growth error bound condition. Finally, as an application, we consider the heavy ball method for solving convex optimization problems and propose an adaptive strategy for selecting the momentum coefficient. Under growth error bound conditions, we derive convergence rates of the proposed method. A numerical experiment is conducted to demonstrate its acceleration effect over the gradient method.


title: The $\chi_{c1}(4274)$ multiplicity in heavy-ion collisions

abstract: In a previous work we computed the thermally-averaged cross sections for the production and absorption of the $\chi_{c1}(4274)$ state in the hot hadron gas formed in heavy ion collisions. In the present work we estimate the final yield of this exotic state in these collisions. We use the coalescence model to fix the initial multiplicities. The state is is treated as a $P-$wave bound state of $D_s\bar D_{s0}$ and also as a compact tetraquark. The Bjorken picture is used to model the hydrodynamic expansion and cooling. Then, the kinetic equation is solved to evaluate the time evolution of the $\chi_{c1}(4274)$ yield during the hot hadron gas phase. Since the $\chi_{c1}(4274)$ decay width is large it might decay inside the hadron gas. Therefore we also include the $chi_{c1}(4274)$ decay and regeneration terms by means of an effective coupling, estimated from the available data. The combined effects of hadronic interactions and the $\chi_{c1}(4274)$ decay have a strong impact on the final yield. Also, predictions of the $\chi_{c1}(4274)$ multiplicity as a function of centrality and of the charged hadron multiplicity (measured at midrapidity) are presented. Finally, we calculate the yield of a proposed $P-$wave molecular state of $D_s \bar{D_{s0}}$, $Y^{\prime}(4274)$, characterized by a smaller width and smaller coupling constant obtained from the Weinberg compositeness condition.


title: Negative discrete moments of the derivative of the Riemann zeta-function

abstract: We obtain conditional upper bounds for negative discrete moments of the derivative of the Riemann zeta-function averaged over a subfamily of zeros of the zeta function which is expected to have full density inside the set of all zeros. For $k\leq 1/2$, our bounds for the $2k$-th moments are expected to be almost optimal. Assuming a conjecture about the maximum size of the argument of the zeta function on the critical line, we obtain upper bounds for these negative moments of the same strength while summing over a larger subfamily of zeta zeros.


title: Multi-Dimensional Coherent Spectroscopy of Light-Driven States and their Collective Modes in Multi-Band Superconductors

abstract: We present a comprehensive theory of light-controlled multi-band superconductivity and apply it to predict distinctive signatures of light-driven superconducting (SC) states in terahertz multi-dimensional coherent spectroscopy (THz-MDCS) experiments. We first derive gauge-invariant Maxwell-Bloch equations for multi-band BCS superconductors. For this, we go beyond previously considered Anderson pseudo-spin precession models to include quantum transport effects. By calculating the THz-MDCS spectra measured experimentally, we then identify unique signatures of finite-momentum Cooper-pairing states that live longer than the laser pulse. These non-equilibrium SC states are characterized by long-lived canting of Anderson pseudo-spins. The pseudo-spin oscillators that describe the properties of these SC states are parametrically driven by both finite-momentum Cooper pairing and by time oscillations of the order parameter relative phase. We show that such strong parametric driving leads to drastic changes in the THz-MDCS spectral shape from the predictions of third-order nonlinear susceptibility calculations. These spectral changes strongly depend on the interband-to-intraband interaction ratio and on the collective modes of the light-driven state.


title: Chain of Natural Language Inference for Reducing Large Language Model Ungrounded Hallucinations

abstract: Large language models (LLMs) can generate fluent natural language texts when given relevant documents as background context. This ability has attracted considerable interest in developing industry applications of LLMs. However, LLMs are prone to generate hallucinations that are not supported by the provided sources. In this paper, we propose a hierarchical framework to detect and mitigate such ungrounded hallucination. Our framework uses Chain of Natural Language Inference (CoNLI) for hallucination detection and hallucination reduction via post-editing. Our approach achieves state-of-the-art performance on hallucination detection and enhances text quality through rewrite, using LLMs without any fine-tuning or domain-specific prompt engineering. We show that this simple plug-and-play framework can serve as an effective choice for hallucination detection and reduction, achieving competitive performance across various contexts.


title: ILSH: The Imperial Light-Stage Head Dataset for Human Head View Synthesis

abstract: This paper introduces the Imperial Light-Stage Head (ILSH) dataset, a novel light-stage-captured human head dataset designed to support view synthesis academic challenges for human heads. The ILSH dataset is intended to facilitate diverse approaches, such as scene-specific or generic neural rendering, multiple-view geometry, 3D vision, and computer graphics, to further advance the development of photo-realistic human avatars. This paper details the setup of a light-stage specifically designed to capture high-resolution (4K) human head images and describes the process of addressing challenges (preprocessing, ethical issues) in collecting high-quality data. In addition to the data collection, we address the split of the dataset into train, validation, and test sets. Our goal is to design and support a fair view synthesis challenge task for this novel dataset, such that a similar level of performance can be maintained and expected when using the test set, as when using the validation set. The ILSH dataset consists of 52 subjects captured using 24 cameras with all 82 lighting sources turned on, resulting in a total of 1,248 close-up head images, border masks, and camera pose pairs.


title: CineTransfer: Controlling a Robot to Imitate Cinematographic Style from a Single Example

abstract: This work presents CineTransfer, an algorithmic framework that drives a robot to record a video sequence that mimics the cinematographic style of an input video. We propose features that abstract the aesthetic style of the input video, so the robot can transfer this style to a scene with visual details that are significantly different from the input video. The framework builds upon CineMPC, a tool that allows users to control cinematographic features, like subjects' position on the image and the depth of field, by manipulating the intrinsics and extrinsics of a cinematographic camera. However, CineMPC requires a human expert to specify the desired style of the shot (composition, camera motion, zoom, focus, etc). CineTransfer bridges this gap, aiming a fully autonomous cinematographic platform. The user chooses a single input video as a style guide. CineTransfer extracts and optimizes two important style features, the composition of the subject in the image and the scene depth of field, and provides instructions for CineMPC to control the robot to record an output sequence that matches these features as closely as possible. In contrast with other style transfer methods, our approach is a lightweight and portable framework which does not require deep network training or extensive datasets. Experiments with real and simulated videos demonstrate the system's ability to analyze and transfer style between recordings, and are available in the supplementary video.


title: Many-Body-Expansion Based on Variational Quantum Eigensolver and Deflation for Dynamical Correlation

abstract: In this study, we utilize the many-body expansion (MBE) framework to decompose electronic structures into fragments by incrementing the virtual orbitals. Our work aims to accurately solve the ground and excited state energies of each fragment using the variational quantum eigensolver and deflation algorithms. Although our approach is primarily based on unitary coupled cluster singles and doubles (UCCSD) and a generalization thereof, we also introduce modifications and approximations to conserve quantum resources in MBE by partially generalizing the UCCSD operator and neglecting the relaxation of the reference states. As a proof of concept, we investigate the potential energy surfaces for the bond-breaking processes of the ground state of two molecules ($\rm H_2O$ and $\rm N_2$) and calculate the ground and excited state energies of three molecules (LiH, CH$^+$, and $\rm H_2O$). The results demonstrate that our approach can, in principle, provide reliable descriptions in all tests, including strongly correlated systems, when appropriate approximations are chosen. Additionally, we perform model simulations to investigate the impact of shot noise on the total MBE energy and show that precise energy estimation is crucial for lower-order MBE fragments.


title: The topology of the Eisenstein-Picard modular surface

abstract: The Eisenstein-Picard modular surface $M$ is the quotient space of the complex hyperbolic plane by the modular group $\rm PU(2,1; \mathbb{Z}[\omega])$. We determine the global topology of $M$ as a 4-orbifold.


title: Gradient Descent Provably Solves Nonlinear Tomographic Reconstruction

abstract: In computed tomography (CT), the forward model consists of a linear Radon transform followed by an exponential nonlinearity based on the attenuation of light according to the Beer-Lambert Law. Conventional reconstruction often involves inverting this nonlinearity as a preprocessing step and then solving a convex inverse problem. However, this nonlinear measurement preprocessing required to use the Radon transform is poorly conditioned in the vicinity of high-density materials, such as metal. This preprocessing makes CT reconstruction methods numerically sensitive and susceptible to artifacts near high-density regions. In this paper, we study a technique where the signal is directly reconstructed from raw measurements through the nonlinear forward model. Though this optimization is nonconvex, we show that gradient descent provably converges to the global optimum at a geometric rate, perfectly reconstructing the underlying signal with a near minimal number of random measurements. We also prove similar results in the under-determined setting where the number of measurements is significantly smaller than the dimension of the signal. This is achieved by enforcing prior structural information about the signal through constraints on the optimization variables. We illustrate the benefits of direct nonlinear CT reconstruction with cone-beam CT experiments on synthetic and real 3D volumes. We show that this approach reduces metal artifacts compared to a commercial reconstruction of a human skull with metal dental crowns.


title: Understanding prompt engineering may not require rethinking generalization

abstract: Zero-shot learning in prompted vision-language models, the practice of crafting prompts to build classifiers without an explicit training process, has achieved impressive performance in many settings. This success presents a seemingly surprising observation: these methods suffer relatively little from overfitting, i.e., when a prompt is manually engineered to achieve low error on a given training set (thus rendering the method no longer actually zero-shot), the approach still performs well on held-out test data. In this paper, we show that we can explain such performance well via recourse to classical PAC-Bayes bounds. Specifically, we show that the discrete nature of prompts, combined with a PAC-Bayes prior given by a language model, results in generalization bounds that are remarkably tight by the standards of the literature: for instance, the generalization bound of an ImageNet classifier is often within a few percentage points of the true test error. We demonstrate empirically that this holds for existing handcrafted prompts and prompts generated through simple greedy search. Furthermore, the resulting bound is well-suited for model selection: the models with the best bound typically also have the best test performance. This work thus provides a possible justification for the widespread practice of prompt engineering, even if it seems that such methods could potentially overfit the training data.


title: The "Seen but Unnoticed" Vocabulary of Natural Touch: Revolutionizing Direct Interaction with Our Devices and One Another (UIST 2021 Vision)

abstract: This UIST Vision argues that "touch" input and interaction remains in its infancy when viewed in context of the seen but unnoticed vocabulary of natural human behaviors, activity, and environments that surround direct interaction with displays. Unlike status-quo touch interaction -- a shadowplay of fingers on a single screen -- I argue that our perspective of direct interaction should encompass the full rich context of individual use (whether via touch, sensors, or in combination with other modalities), as well as collaborative activity where people are engaged in local (co-located), remote (tele-present), and hybrid work. We can further view touch through the lens of the "Society of Devices," where each person's activities span many complementary, oft-distinct devices that offer the right task affordance (input modality, screen size, aspect ratio, or simply a distinct surface with dedicated purpose) at the right place and time. While many hints of this vision already exist (see references), I speculate that a comprehensive program of research to systematically inventory, sense, and design interactions around such human behaviors and activities -- and that fully embrace touch as a multi-modal, multi-sensor, multi-user, and multi-device construct -- could revolutionize both individual and collaborative interaction with technology.


title: Towards Increasing the Robustness of Predictive Steering-Control Autonomous Navigation Systems Against Dash Cam Image Angle Perturbations Due to Pothole Encounters

abstract: Vehicle manufacturers are racing to create autonomous navigation and steering control algorithms for their vehicles. These software are made to handle various real-life scenarios such as obstacle avoidance and lane maneuvering. There is some ongoing research to incorporate pothole avoidance into these autonomous systems. However, there is very little research on the effect of hitting a pothole on the autonomous navigation software that uses cameras to make driving decisions. Perturbations in the camera angle when hitting a pothole can cause errors in the predicted steering angle. In this paper, we present a new model to compensate for such angle perturbations and reduce any errors in steering control prediction algorithms. We evaluate our model on perturbations of publicly available datasets and show our model can reduce the errors in the estimated steering angle from perturbed images to 2.3%, making autonomous steering control robust against the dash cam image angle perturbations induced when one wheel of a car goes over a pothole.


abstract: We consider Steklov eigenvalues of nearly hyperspherical domains in $\mathbb{R}^{d + 1}$ with $d\ge 3$. In previous work, treating such domains as perturbations of the ball, we proved that the Steklov eigenvalues are analytic functions of the domain perturbation parameter. Here, we compute the first-order term of the asymptotic expansion and show that the first-order perturbations are eigenvalues of a Hermitian matrix, whose entries can be written explicitly in terms of the Pochhammer's and Wigner $3j$-symbols. We analyse the asymptotic expansion and show the following isoperimetric results among domains with fixed volume: (1) for an infinite subset of Steklov eigenvalues, the ball is not optimal, and (2) for a different infinite subset of Steklov eigenvalues, the ball is a stationary point.


title: Existence of martingale solutions to a nonlinearly coupled stochastic fluid-structure interaction problem

abstract: In this paper we study a nonlinear stochastic fluid-structure interaction problem with a multiplicative, white-in-time noise. The problem consists of the Navier-Stokes equations describing the flow of an incompressible, viscous fluid in a 2D cylinder interacting with an elastic lateral wall whose elastodynamics is described by a membrane/shell equation. The flow is driven by the inlet and outlet data, and by the stochastic forcing. The stochastic noise is applied both to the fluid equations as a volumetric body force, and to the structure as an external forcing to the deformable fluid boundary. The fluid and the structure are nonlinearly coupled via the kinematic and dynamic conditions assumed at the moving interface, which is a random variable not known a priori. The geometric nonlinearity due to the nonlinear coupling requires the development of new techniques to capture martingale solutions for this class of stochastic fluid-structure interaction problems. We introduce a constructive approach based on a Lie splitting scheme and prove the existence of martingale solutions to the system. To the best of our knowledge, this is the first result in the field of stochastic PDEs that addresses existence of solutions on moving fluid domains involving incompressible viscous fluids, where the displacement of the boundary and the fluid domain are random variables that are not known a priori and are parts of the solution itself.


title: Parametrizing Clifford Algebras' Matrix Generators with Euler Angles

abstract: A parametrization, given by the Euler angles, of Hermitian matrix generators of even and odd-degenerate Clifford algebras is constructed by means of the Kronecker product of a parametrized version of Pauli matrices and by the identification of all possible anticommutation sets for a given algebra. The internal parametrization of the matrix generators allows a straightforward interpretation in terms of rotations, and in the absence of a similarity transformation can be reduced to the canonical representations by an appropriate choice of parameters. The parametric matrix generators of 2nd and 4th-order are linearly decomposed in terms of Pauli, Dirac, and 4th-order Gell-Mann matrices establishing a direct correspondence between the bases. In addition, and with the expectation for further applications in group theory, a linear decomposition of GL(4) matrices on the basis of the parametric 4th-order matrix generators and in terms of four-vector parameters is explored. By establishing unitary conditions, a parametrization of two sub-groups of SU(4) is achieved.


title: Zero-Shot Emotion Transfer For Cross-Lingual Speech Synthesis

abstract: Zero-shot emotion transfer in cross-lingual speech synthesis aims to transfer emotion from an arbitrary speech reference in the source language to the synthetic speech in the target language. Building such a system faces challenges of unnatural foreign accents and difficulty in modeling the shared emotional expressions of different languages. Building on the DelightfulTTS neural architecture, this paper addresses these challenges by introducing specifically-designed modules to model the language-specific prosody features and language-shared emotional expressions separately. Specifically, the language-specific speech prosody is learned by a non-autoregressive predictive coding (NPC) module to improve the naturalness of the synthetic cross-lingual speech. The shared emotional expression between different languages is extracted from a pre-trained self-supervised model HuBERT with strong generalization capabilities. We further use hierarchical emotion modeling to capture more comprehensive emotions across different languages. Experimental results demonstrate the proposed framework's effectiveness in synthesizing bi-lingual emotional speech for the monolingual target speaker without emotional training data.


title: A Learnable Counter-condition Analysis Framework for Functional Connectivity-based Neurological Disorder Diagnosis

abstract: To understand the biological characteristics of neurological disorders with functional connectivity (FC), recent studies have widely utilized deep learning-based models to identify the disease and conducted post-hoc analyses via explainable models to discover disease-related biomarkers. Most existing frameworks consist of three stages, namely, feature selection, feature extraction for classification, and analysis, where each stage is implemented separately. However, if the results at each stage lack reliability, it can cause misdiagnosis and incorrect analysis in afterward stages. In this study, we propose a novel unified framework that systemically integrates diagnoses (i.e., feature selection and feature extraction) and explanations. Notably, we devised an adaptive attention network as a feature selection approach to identify individual-specific disease-related connections. We also propose a functional network relational encoder that summarizes the global topological properties of FC by learning the inter-network relations without pre-defined edges between functional networks. Last but not least, our framework provides a novel explanatory power for neuroscientific interpretation, also termed counter-condition analysis. We simulated the FC that reverses the diagnostic information (i.e., counter-condition FC): converting a normal brain to be abnormal and vice versa. We validated the effectiveness of our framework by using two large resting-state functional magnetic resonance imaging (fMRI) datasets, Autism Brain Imaging Data Exchange (ABIDE) and REST-meta-MDD, and demonstrated that our framework outperforms other competing methods for disease identification. Furthermore, we analyzed the disease-related neurological patterns based on counter-condition analysis.


title: Thought Propagation: An Analogical Approach to Complex Reasoning with Large Language Models

abstract: Large Language Models (LLMs) have achieved remarkable success in reasoning tasks with the development of prompting methods. However, existing prompting approaches cannot reuse insights of solving similar problems and suffer from accumulated errors in multi-step reasoning, since they prompt LLMs to reason \textit{from scratch}. To address these issues, we propose \textbf{\textit{Thought Propagation} (TP)}, which explores the analogous problems and leverages their solutions to enhance the complex reasoning ability of LLMs. These analogous problems are related to the input one, with reusable solutions and problem-solving strategies. Thus, it is promising to propagate insights of solving previous analogous problems to inspire new problem-solving. To achieve this, TP first prompts LLMs to propose and solve a set of analogous problems that are related to the input one. Then, TP reuses the results of analogous problems to directly yield a new solution or derive a knowledge-intensive plan for execution to amend the initial solution obtained from scratch. TP is compatible with existing prompting approaches, allowing plug-and-play generalization and enhancement in a wide range of tasks without much labor in task-specific prompt engineering. Experiments across three challenging tasks demonstrate TP enjoys a substantial improvement over the baselines by an average of 12\% absolute increase in finding the optimal solutions in Shortest-path Reasoning, 13\% improvement of human preference in Creative Writing, and 15\% enhancement in the task completion rate of LLM-Agent Planning.


title: Numerical Radius Bounds via the Euclidean Operator Radius and Norm

abstract: In this paper, we begin by showing a new generalization of the celebrated Cauchy-Schwarz inequality for the inner product. Then, this generalization is used to present some bounds for the Euclidean operator radius and the Euclidean operator norm. These bounds will be used then to obtain some bounds for the numerical radius in a way that extends many well-known results in many cases. The obtained results will be compared with the existing literature through numerical examples and rigorous approaches, whoever is applicable. In this context, more than 15 numerical examples will be given to support the advantage of our findings. Among many consequences, will show that if $T$ is an accretive-dissipative bounded linear operator on a Hilbert space, then ${{\left\| \left( \Re T,\Im T \right) \right\|}_{e}}=\omega \left( T \right)$, where $\omega(\cdot), \|(\cdot,\cdot)\|_e, \Re T$ and $\Im T$ denote, respectively, the numerical radius, the Euclidean norm, the real part and the imaginary part.


title: Sub-token ViT Embedding via Stochastic Resonance Transformers

abstract: Vision Transformer (ViT) architectures represent images as collections of high-dimensional vectorized tokens, each corresponding to a rectangular non-overlapping patch. This representation trades spatial granularity for embedding dimensionality, and results in semantically rich but spatially coarsely quantized feature maps. In order to retrieve spatial details beneficial to fine-grained inference tasks we propose a training-free method inspired by "stochastic resonance". Specifically, we perform sub-token spatial transformations to the input data, and aggregate the resulting ViT features after applying the inverse transformation. The resulting "Stochastic Resonance Transformer" (SRT) retains the rich semantic information of the original representation, but grounds it on a finer-scale spatial domain, partly mitigating the coarse effect of spatial tokenization. SRT is applicable across any layer of any ViT architecture, consistently boosting performance on several tasks including segmentation, classification, depth estimation, and others by up to 14.9% without the need for any fine-tuning.


title: Ultimate limit on learning non-Markovian behavior: Fisher information rate and excess information

abstract: We address the fundamental limits of learning unknown parameters of any stochastic process from time-series data, and discover exact closed-form expressions for how optimal inference scales with observation length. Given a parametrized class of candidate models, the Fisher information of observed sequence probabilities lower-bounds the variance in model estimation from finite data. As sequence-length increases, the minimal variance scales as the square inverse of the length -- with constant coefficient given by the information rate. We discover a simple closed-form expression for this information rate, even in the case of infinite Markov order. We furthermore obtain the exact analytic lower bound on model variance from the observation-induced metadynamic among belief states. We discover ephemeral, exponential, and more general modes of convergence to the asymptotic information rate. Surprisingly, this myopic information rate converges to the asymptotic Fisher information rate with exactly the same relaxation timescales that appear in the myopic entropy rate as it converges to the Shannon entropy rate for the process. We illustrate these results with a sequence of examples that highlight qualitatively distinct features of stochastic processes that shape optimal learning.


title: Analysis of Age of Information in Non-terrestrial Networks

abstract: Non-terrestrial networks (NTN), particularly low Earth orbit (LEO) satellite networks, have emerged as a promising solution to overcome the limitations of traditional terrestrial networks in the context of next-generation (6G) wireless systems. In this paper, we focus on analyzing the timeliness of information delivery in NTN through the concept of Age of Information (AoI). We propose an on-off process to approximate the service process between LEO satellites and a source node located on the Earth's surface. By utilizing stochastic geometry, we derive a closed-form expression for the time-average AoI in an NTN. This expression also applies to on-off processes with one component following an exponential distribution while the other has its probability density function supported on a bounded interval. Numerical results validate the accuracy of our analysis and demonstrate the impact of source status update rate and satellite constellation density on the time-average AoI. Our work fills a gap in the literature by providing a comprehensive analysis of AoI in NTN and offers new insights into the performance of LEO satellite networks.


title: Adaptive Computation of Elliptic Eigenvalue Optimization with a Phase-Field Approach

abstract: In this paper, we discuss adaptive approximations of an elliptic eigenvalue optimization problem in a phase-field setting by a conforming finite element method. An adaptive algorithm is proposed and implemented in several two dimensional numerical examples for illustration of efficiency and accuracy. Theoretical findings consist in the vanishing limit of a subsequence of estimators and the convergence of the relevant subsequence of adaptively-generated solutions to a solution to the continuous optimality system.


title: Quantized Transformer Language Model Implementations on Edge Devices

abstract: Large-scale transformer-based models like the Bidirectional Encoder Representations from Transformers (BERT) are widely used for Natural Language Processing (NLP) applications, wherein these models are initially pre-trained with a large corpus with millions of parameters and then fine-tuned for a downstream NLP task. One of the major limitations of these large-scale models is that they cannot be deployed on resource-constrained devices due to their large model size and increased inference latency. In order to overcome these limitations, such large-scale models can be converted to an optimized FlatBuffer format, tailored for deployment on resource-constrained edge devices. Herein, we evaluate the performance of such FlatBuffer transformed MobileBERT models on three different edge devices, fine-tuned for Reputation analysis of English language tweets in the RepLab 2013 dataset. In addition, this study encompassed an evaluation of the deployed models, wherein their latency, performance, and resource efficiency were meticulously assessed. Our experiment results show that, compared to the original BERT large model, the converted and quantized MobileBERT models have 160$\times$ smaller footprints for a 4.1% drop in accuracy while analyzing at least one tweet per second on edge devices. Furthermore, our study highlights the privacy-preserving aspect of TinyML systems as all data is processed locally within a serverless environment.


title: Inequality and Nyman-Beurling-Baez-Duarte criteria

abstract: We proposed a proof of the Riemann hypothesis. The proof is based on the Nyman-Beurling-Baez-Duarte condition. By proving existence of the solution for a system of inequalities, we can show that there is a sequence, which act as the coefficient of Beurling's sequence, can approximate the constant vector in a weighted Hilbert space.


title: Novel Aspects Of The Global Regularity Of Primes

abstract: For any $m = 3 \left( 2n + 1 \right) with \ n \in \mathbb{N^*} ,$ the prime counting function $\pi(m) = 4 + \left \vert A_4(m) \right \vert + 2 \left \vert A_6(m) \right \vert $ where $A_6(m) $ and $ A_4(m) $ are the sets of Twin Primes and "Isolated" Primes, below $m$, respectively. $T(m) = 1 + \left \vert A_2(m) \right \vert + \left \vert A_4(m) \right \vert + \left \vert A_6(m) \right \vert$ is the number of consecutive odd composite numbers (COCONs) below $ m.$ $ A_2(m)$ is the set of COCONs, below $ m$ and distant by 2. With $m$ odd, $\pi(m)$, $ T(m)$ and $ \left \vert A_2(m) \right \vert = \frac{m - 9}{2} - 3 \left \vert A_6(m) \right \vert - 2 \left \vert A_4(m) \right \vert $ lead to $ 4 \left \vert A_6(m) \right \vert + 7 = m - 2 \left( T(m) + \left \vert A_4(m) \right \vert \right). \ Hence \ 0 < 1 - \frac{ 2 }{m} \left( T(m) + \left \vert A_4(m) \right \vert \right) < 1.$ Thus the non-empty unique set $S \equiv \left\lbrace 1 - \frac{ 2 }{l} \left( T(l) + \left \vert A_4(l) \right \vert \right) \ \mbox{such that} \ l = 3 \left( 2k + 1 \right) with \ k \in \mathbb{N^*} \right\rbrace \subset \mathbb{R} $ is bounded. Therefore $ Inf \left( S \right) $ exists, is unique and finite. By definition, $ Inf(S) > 0.$ $\mathbb{Q}$ dense in $\mathbb{R}$ also guarantees the latter. S and $ Inf(S)$ are independent of $m.$ We then introduce $\alpha = Inf \left( S \right):$ $\alpha$ is independent of $m.$ We then have $ 0 < \alpha \leq 1 - \frac{ 2 }{m} \left( T(m) + \left \vert A_4(m) \right \vert \right)$ for any m as above. Therefore, $ 4 \left \vert A_6(m) \right \vert + 7 \geq \alpha m,$ with $\alpha > 0$ and independent of $m.$ Hence $ \displaystyle \lim_{ m \longrightarrow + \infty } \left \vert 2 A_6(m) \right \vert = + \infty.$ Similarly, $ \displaystyle \lim_{ m \longrightarrow + \infty } \left \vert A_4(m) \right \vert = + \infty .$


title: On rainbow thresholds

abstract: Resolving a recent problem of Bell, Frieze, and Marbach, we establish the threshold result of Frankston--Kahn--Narayanan--Park in the rainbow setting.


title: HuBERTopic: Enhancing Semantic Representation of HuBERT through Self-supervision Utilizing Topic Model

abstract: Recently, the usefulness of self-supervised representation learning (SSRL) methods has been confirmed in various downstream tasks. Many of these models, as exemplified by HuBERT and WavLM, use pseudo-labels generated from spectral features or the model's own representation features. From previous studies, it is known that the pseudo-labels contain semantic information. However, the masked prediction task, the learning criterion of HuBERT, focuses on local contextual information and may not make effective use of global semantic information such as speaker, theme of speech, and so on. In this paper, we propose a new approach to enrich the semantic representation of HuBERT. We apply topic model to pseudo-labels to generate a topic label for each utterance. An auxiliary topic classification task is added to HuBERT by using topic labels as teachers. This allows additional global semantic information to be incorporated in an unsupervised manner. Experimental results demonstrate that our method achieves comparable or better performance than the baseline in most tasks, including automatic speech recognition and five out of the eight SUPERB tasks. Moreover, we find that topic labels include various information about utterance, such as gender, speaker, and its theme. This highlights the effectiveness of our approach in capturing multifaceted semantic nuances.


title: From Text to Self: Users' Perceptions of Potential of AI on Interpersonal Communication and Self

abstract: In the rapidly evolving landscape of AI-mediated communication (AIMC), tools powered by Large Language Models (LLMs) are becoming integral to interpersonal communication. Employing a mixed-methods approach, we conducted a one-week diary and interview study to explore users' perceptions of these tools' ability to: 1) support interpersonal communication in the short-term, and 2) lead to potential long-term effects. Our findings indicate that participants view AIMC support favorably, citing benefits such as increased communication confidence, and finding precise language to express their thoughts, navigating linguistic and cultural barriers. However, the study also uncovers current limitations of AIMC tools, including verbosity, unnatural responses, and excessive emotional intensity. These shortcomings are further exacerbated by user concerns about inauthenticity and potential overreliance on the technology. Furthermore, we identified four key communication spaces delineated by communication stakes (high or low) and relationship dynamics (formal or informal) that differentially predict users' attitudes toward AIMC tools. Specifically, participants found the tool is more suitable for communicating in formal relationships than informal ones and more beneficial in high-stakes than low-stakes communication.


title: Perfect Alignment May be Poisonous to Graph Contrastive Learning

abstract: Graph Contrastive Learning (GCL) aims to learn node representations by aligning positive pairs and separating negative ones. However, few of researchers have focused on the inner law behind specific augmentations used in graph-based learning. What kind of augmentation will help downstream performance, how does contrastive learning actually influence downstream tasks, and why the magnitude of augmentation matters so much? This paper seeks to address these questions by establishing a connection between augmentation and downstream performance. Our findings reveal that GCL contributes to downstream tasks mainly by separating different classes rather than gathering nodes of the same class. So perfect alignment and augmentation overlap which draw all intra-class samples the same can not fully explain the success of contrastive learning. Therefore, in order to understand how augmentation aids the contrastive learning process, we conduct further investigations into the generalization, finding that perfect alignment that draw positive pair the same could help contrastive loss but is poisonous to generalization, as a result, perfect alignment may not lead to best downstream performance, so specifically designed augmentation is needed to achieve appropriate alignment performance and improve downstream accuracy. We further analyse the result by information theory and graph spectrum theory and propose two simple but effective methods to verify the theories. The two methods could be easily applied to various GCL algorithms and extensive experiments are conducted to prove its effectiveness. The code is available at https://github.com/somebodyhh1/GRACEIS


title: Efficient Quantum Circuit Simulation by Tensor Network Methods on Modern GPUs

abstract: Efficient simulation of quantum circuits has become indispensable with the rapid development of quantum hardware. The primary simulation methods are based on state vectors and tensor networks. As the number of qubits and quantum gates grows larger in current quantum devices, traditional state-vector based quantum circuit simulation methods prove inadequate due to the overwhelming size of the Hilbert space and extensive entanglement. Consequently, brutal force tensor network simulation algorithms become the only viable solution in such scenarios. The two main challenges faced in tensor network simulation algorithms are optimal contraction path finding and efficient execution on modern computing devices, with the latter determines the actual efficiency. In this study, we investigate the optimization of such tensor network simulations on modern GPUs and propose general optimization strategies from two aspects: computational efficiency and accuracy. Firstly, we propose to transform critical Einstein summation operations into GEMM operations, leveraging the specific features of tensor network simulations to amplify the efficiency of GPUs. Secondly, by analyzing the data characteristics of quantum circuits, we employ extended precision to ensure the accuracy of simulation results and mixed precision to fully exploit the potential of GPUs, resulting in faster and more precise simulations. Our numerical experiments demonstrate that our approach can achieve a 3.96x reduction in verification time for random quantum circuit samples in the 18-cycle case of Sycamore, with sustained performance exceeding 21 TFLOPS on one A100. This method can be easily extended to the 20-cycle case, maintaining the same performance, accelerating by 12.5x compared to the state-of-the-art CPU-based results and 4.48-6.78x compared to the state-of-the-art GPU-based results reported in the literature.


title: Simulation of non-Gaussian wind field as a $3^{rd}$-order stochastic wave

abstract: This paper presents a methodology for the simulation of non-Gaussian wind field as a stochastic wave using the 3rd-order Spectral Representation Method. Traditionally, the wind field is modeled as a stochastic vector process at discrete locations in space. But the simulation of vector process is well-known to be computationally challenging and numerically unstable when modeling wind at a large number of discrete points in space. Recently, stochastic waves have been used to model the field as a continuous process indexed both in time and space. We extend the classical Spectral Representation Method for simulation of Gaussian stochastic waves to a third-order representation modeling asymmetrically skewed non-Gaussian stochastic waves from a prescribed power spectrum and bispectrum. We present an efficient implementation using the fast Fourier transform, which reduces the computational time dramatically. We then apply the method for simulation of a non-Gaussian wind velocity field along a long-span bridge.


title: Assessment and Application of Wavelet-based Optical Flow Velocimetry (wOFV) to Wall-Bounded Turbulent Flows

abstract: The performance of a wavelet-based optical flow velocimetry (wOFV) algorithm to extract high accuracy and high resolution velocity fields from particle images in wall-bounded turbulent flows is assessed. wOFV is first evaluated using synthetic particle images generated from a channel flow DNS of a turbulent boundary layer. The sensitivity of wOFV to the regularization parameter (lambda) is quantified and results are compared to PIV. Results on synthetic particle images indicated different sensitivity to under-regularization or over-regularization depending on which region of the boundary layer is analyzed. Synthetic data revealed that wOFV can modestly outperform PIV in vector accuracy across a broad lambda range. wOFV showed clear advantages over PIV in resolving the viscous sublayer and obtaining highly accurate estimates of the wall shear stress. wOFV was also applied to experimental data of a developing turbulent boundary layer. Overall, wOFV revealed good agreement with both PIV and PIV + PTV. However, wOFV was able to successfully resolve the wall shear stress and correctly normalize the boundary layer streamwise velocity to wall units where PIV and PIV + PTV showed larger deviations. Analysis of the turbulent velocity fluctuations revealed spurious results for PIV in close proximity to the wall, leading to significantly exaggerated and non-physical turbulence intensity. PIV + PTV showed a minor improvement in this aspect. wOFV did not exhibit this same effect, revealing that it is more accurate in capturing small-scale turbulent motion in the vicinity of boundaries. The enhanced vector resolution of wOFV enabled improved estimation of instantaneous derivative quantities and intricate flow structure both closer to the wall. These aspects show that, within a reasonable lambda range, wOFV can improve resolving the turbulent motion occurring in the vicinity of physical boundaries.


title: CUPre: Cross-domain Unsupervised Pre-training for Few-Shot Cell Segmentation

abstract: While pre-training on object detection tasks, such as Common Objects in Contexts (COCO) [1], could significantly boost the performance of cell segmentation, it still consumes on massive fine-annotated cell images [2] with bounding boxes, masks, and cell types for every cell in every image, to fine-tune the pre-trained model. To lower the cost of annotation, this work considers the problem of pre-training DNN models for few-shot cell segmentation, where massive unlabeled cell images are available but only a small proportion is annotated. Hereby, we propose Cross-domain Unsupervised Pre-training, namely CUPre, transferring the capability of object detection and instance segmentation for common visual objects (learned from COCO) to the visual domain of cells using unlabeled images. Given a standard COCO pre-trained network with backbone, neck, and head modules, CUPre adopts an alternate multi-task pre-training (AMT2) procedure with two sub-tasks -- in every iteration of pre-training, AMT2 first trains the backbone with cell images from multiple cell datasets via unsupervised momentum contrastive learning (MoCo) [3], and then trains the whole model with vanilla COCO datasets via instance segmentation. After pre-training, CUPre fine-tunes the whole model on the cell segmentation task using a few annotated images. We carry out extensive experiments to evaluate CUPre using LIVECell [2] and BBBC038 [4] datasets in few-shot instance segmentation settings. The experiment shows that CUPre can outperform existing pre-training methods, achieving the highest average precision (AP) for few-shot cell segmentation and detection.


title: Investigations of the exchange energy of neutral atoms in the large-Z limit

abstract: The non-relativistic large-$Z$ expansion of the exchange energy of neutral atoms provides an important input to modern non-empirical density functional approximations. Recent works report results of fitting the terms beyond the dominant term, given by the local density approximation (LDA), leading to an anomalous ZlnZ term that can not be predicted from naive scaling arguments. Here, we provide much more detailed data analysis of the mostly smooth asymptotic trend describing the difference between exact and LDA exchange energy, the nature of oscillations across rows of the periodic table, and the behavior of the LDA contribution itself. Special emphasis is given to the successes and difficulties in reproducing the exchange energy and its asymptotics with existing density functional approximations.


title: The Floyd-Warshall Algorithm Re-implemented Using 3D-Tensors and Hardware Acceleration

abstract: The Floyd-Warshall(FW) algorithm, is an ancient but a largely important algorithm used to solve the all-pairs simple-paths(APSP) problem. While the algorithm is available for use in open-source graph optimization libraries such as NetworkX, they do not take advantage of modern parallel processing hardware such as Graphics Processing Units(GPUs), which would reduce compute time to a fraction of its iterative or recursive implementations. In this work, a re-implementation of the Floyd-Warshall algorithm using open-source GPU libraries such as PyTorch is presented. A further implementation of the R-Kleene is also described, a slightly newer algorithm used for solving the APSP problem in a divide-and-conquer, recursive but highly parallelized architecture. In addition, a random graph generator that generates a wide range of graphs of different scales is also contributed, where the densities and connectivities are controlled using some heuristics. The run-times of the GPU accelerated FW algorithm and R-Kleene on these heuristically generated graphs are evaluated against each other and to the widely used implementation from NetworkX. The code for the GPU implementation of the algorithms, the random graph generator, and the Blender animation file are available at https://github.com/tanjary21/APSP_GPU/.


title: AdaRec: Adaptive Sequential Recommendation for Reinforcing Long-term User Engagement

abstract: Growing attention has been paid to Reinforcement Learning (RL) algorithms when optimizing long-term user engagement in sequential recommendation tasks. One challenge in large-scale online recommendation systems is the constant and complicated changes in users' behavior patterns, such as interaction rates and retention tendencies. When formulated as a Markov Decision Process (MDP), the dynamics and reward functions of the recommendation system are continuously affected by these changes. Existing RL algorithms for recommendation systems will suffer from distribution shift and struggle to adapt in such an MDP. In this paper, we introduce a novel paradigm called Adaptive Sequential Recommendation (AdaRec) to address this issue. AdaRec proposes a new distance-based representation loss to extract latent information from users' interaction trajectories. Such information reflects how RL policy fits to current user behavior patterns, and helps the policy to identify subtle changes in the recommendation system. To make rapid adaptation to these changes, AdaRec encourages exploration with the idea of optimism under uncertainty. The exploration is further guarded by zero-order action optimization to ensure stable recommendation quality in complicated environments. We conduct extensive empirical analyses in both simulator-based and live sequential recommendation tasks, where AdaRec exhibits superior long-term performance compared to all baseline algorithms.


title: Dementia Assessment Using Mandarin Speech with an Attention-based Speech Recognition Encoder

abstract: Dementia diagnosis requires a series of different testing methods, which is complex and time-consuming. Early detection of dementia is crucial as it can prevent further deterioration of the condition. This paper utilizes a speech recognition model to construct a dementia assessment system tailored for Mandarin speakers during the picture description task. By training an attention-based speech recognition model on voice data closely resembling real-world scenarios, we have significantly enhanced the model's recognition capabilities. Subsequently, we extracted the encoder from the speech recognition model and added a linear layer for dementia assessment. We collected Mandarin speech data from 99 subjects and acquired their clinical assessments from a local hospital. We achieved an accuracy of 92.04% in Alzheimer's disease detection and a mean absolute error of 9% in clinical dementia rating score prediction.


title: Robust Multimodal Learning with Missing Modalities via Parameter-Efficient Adaptation

abstract: Multimodal learning seeks to utilize data from multiple sources to improve the overall performance of downstream tasks. It is desirable for redundancies in the data to make multimodal systems robust to missing or corrupted observations in some correlated modalities. However, we observe that the performance of several existing multimodal networks significantly deteriorates if one or multiple modalities are absent at test time. To enable robustness to missing modalities, we propose a simple and parameter-efficient adaptation procedure for pretrained multimodal networks. In particular, we exploit modulation of intermediate features to compensate for the missing modalities. We demonstrate that such adaptation can partially bridge performance drop due to missing modalities and outperform independent, dedicated networks trained for the available modality combinations in some cases. The proposed adaptation requires extremely small number of parameters (e.g., fewer than 0.7% of the total parameters) and applicable to a wide range of modality combinations and tasks. We conduct a series of experiments to highlight the missing modality robustness of our proposed method on 5 different datasets for multimodal semantic segmentation, multimodal material segmentation, and multimodal sentiment analysis tasks. Our proposed method demonstrates versatility across various tasks and datasets, and outperforms existing methods for robust multimodal learning with missing modalities.


title: Antiferromagnetic magnonic charge current generation via ultrafast optical excitation

abstract: N\'eel spin-orbit torque allows a charge current pulse to efficiently manipulate the N\'eel vector in antiferromagnets, which offers a unique opportunity for ultrahigh density information storage with high speed. However, the reciprocal process of N\'eel spin-orbit torque, the generation of ultrafast charge current in antiferromagnets has not been demonstrated. Here, we report the experimental observation of charge current generation in antiferromagnetic metallic Mn2Au thin films using ultrafast optical excitation. The ultrafast laser pulse excites antiferromagnetic magnons, resulting in instantaneous non-equilibrium spin polarization at the antiferromagnetic spin sublattices with broken spatial symmetry. Then the charge current is generated directly via spin-orbit fields at the two sublattices, which is termed as the reciprocal phenomenon of N\'eel spin-orbit torque, and the associated THz emission can be detected at room temperature. Besides the fundamental significance on the Onsager reciprocity, the observed magnonic charge current generation in antiferromagnet would advance the development of antiferromagnetic THz emitter.


title: Asymptotic distribution of degree--based topological indices

abstract: Topological indices play a significant role in mathematical chemistry. Given a graph $\mathcal{G}$ with vertex set $\mathcal{V}=\{1,2,\dots,n\}$ and edge set $\mathcal{E}$, let $d_i$ be the degree of node $i$. The degree-based topological index is defined as $\mathcal{I}_n=$ $\sum_{\{i,j\}\in \mathcal{E}}f(d_i,d_j)$, where $f(x,y)$ is a symmetric function. In this paper, we investigate the asymptotic distribution of the degree-based topological indices of a heterogeneous Erd\H{o}s-R\'{e}nyi random graph. We show that after suitably centered and scaled, the topological indices converges in distribution to the standard normal distribution. Interestingly, we find that the general Randi\'{c} index with $f(x,y)=(xy)^{\tau}$ for a constant $\tau$ exhibits a phase change at $\tau=-\frac{1}{2}$.


title: Variational principle for mean dimension with potential of $\mathbb{R}^d$-actions: I

abstract: We develop a variational principle for mean dimension with potential of $\mathbb{R}^d$-actions. We prove that mean dimension with potential is bounded from above by the supremum of the sum of rate distortion dimension and a potential term. A basic strategy of the proof is the same as the case of $\mathbb{Z}$-actions. However measure theoretic details are more involved because $\mathbb{R}^d$ is a continuous group. We also establish several basic properties of metric mean dimension with potential and mean Hausdorff dimension with potential for $\mathbb{R}^d$-actions.


title: Generating scalable graph states in an atom-nanophotonic interface

abstract: Scalable graph states are essential for measurement-based quantum computation and many entanglement-assisted applications in quantum technologies. Generation of these multipartite entangled states requires a controllable and efficient quantum device with delicate design of generation protocol. Here we propose to prepare high-fidelity and scalable graph states in one and two dimensions, which can be tailored in an atom-nanophotonic cavity via state carving technique. We propose a systematic protocol to carve out unwanted state components, which facilitates scalable graph states generations via adiabatic transport of a definite number of atoms in optical tweezers. An analysis of state fidelity is also presented, and the state preparation probability can be optimized via multiqubit state carvings and sequential single-photon probes. Our results showcase the capability of an atom-nanophotonic interface for creating graph states and pave the way toward novel problem-specific applications using scalable high-dimensional graph states with stationary qubits.


title: SemStamp: A Semantic Watermark with Paraphrastic Robustness for Text Generation

abstract: Existing watermarking algorithms are vulnerable to paraphrase attacks because of their token-level design. To address this issue, we propose SemStamp, a robust sentence-level semantic watermarking algorithm based on locality-sensitive hashing (LSH), which partitions the semantic space of sentences. The algorithm encodes and LSH-hashes a candidate sentence generated by an LLM, and conducts sentence-level rejection sampling until the sampled sentence falls in watermarked partitions in the semantic embedding space. A margin-based constraint is used to enhance its robustness. To show the advantages of our algorithm, we propose a "bigram" paraphrase attack using the paraphrase that has the fewest bigram overlaps with the original sentence. This attack is shown to be effective against the existing token-level watermarking method. Experimental results show that our novel semantic watermark algorithm is not only more robust than the previous state-of-the-art method on both common and bigram paraphrase attacks, but also is better at preserving the quality of generation.


title: Layer-Adapted Implicit Distribution Alignment Networks for Cross-Corpus Speech Emotion Recognition

abstract: In this paper, we propose a new unsupervised domain adaptation (DA) method called layer-adapted implicit distribution alignment networks (LIDAN) to address the challenge of cross-corpus speech emotion recognition (SER). LIDAN extends our previous ICASSP work, deep implicit distribution alignment networks (DIDAN), whose key contribution lies in the introduction of a novel regularization term called implicit distribution alignment (IDA). This term allows DIDAN trained on source (training) speech samples to remain applicable to predicting emotion labels for target (testing) speech samples, regardless of corpus variance in cross-corpus SER. To further enhance this method, we extend IDA to layer-adapted IDA (LIDA), resulting in LIDAN. This layer-adpated extention consists of three modified IDA terms that consider emotion labels at different levels of granularity. These terms are strategically arranged within different fully connected layers in LIDAN, aligning with the increasing emotion-discriminative abilities with respect to the layer depth. This arrangement enables LIDAN to more effectively learn emotion-discriminative and corpus-invariant features for SER across various corpora compared to DIDAN. It is also worthy to mention that unlike most existing methods that rely on estimating statistical moments to describe pre-assumed explicit distributions, both IDA and LIDA take a different approach. They utilize an idea of target sample reconstruction to directly bridge the feature distribution gap without making assumptions about their distribution type. As a result, DIDAN and LIDAN can be viewed as implicit cross-corpus SER methods. To evaluate LIDAN, we conducted extensive cross-corpus SER experiments on EmoDB, eNTERFACE, and CASIA corpora. The experimental results demonstrate that LIDAN surpasses recent state-of-the-art explicit unsupervised DA methods in tackling cross-corpus SER tasks.


title: Strong Algebras and Radical Sylvester-Gallai Configurations

abstract: In this paper, we prove the following non-linear generalization of the classical Sylvester-Gallai theorem. Let $\mathbb{K}$ be an algebraically closed field of characteristic $0$, and $\mathcal{F}=\{F_1,\cdots,F_m\} \subset \mathbb{K}[x_1,\cdots,x_N]$ be a set of irreducible homogeneous polynomials of degree at most $d$ such that $F_i$ is not a scalar multiple of $F_j$ for $i\neq j$. Suppose that for any two distinct $F_i,F_j\in \mathcal{F}$, there is $k\neq i,j$ such that $F_k\in \mathrm{rad}(F_i,F_j)$. We prove that such radical SG configurations must be low dimensional. More precisely, we show that there exists a function $\lambda : \mathbb{N} \to \mathbb{N}$, independent of $\mathbb{K},N$ and $m$, such that any such configuration $\mathcal{F}$ must satisfy $$ \dim (\mathrm{span}_{\mathbb{K}}{\mathcal{F}}) \leq \lambda(d). $$ Our result confirms a conjecture of Gupta [Gup14, Conjecture 2] and generalizes the quadratic and cubic Sylvester-Gallai theorems of [S20,OS22]. Our result takes us one step closer towards the first deterministic polynomial time algorithm for the Polynomial Identity Testing (PIT) problem for depth-4 circuits of bounded top and bottom fanins. Our result, when combined with the Stillman uniformity type results of [AH20a,DLL19,ESS21], yields uniform bounds for several algebraic invariants such as projective dimension, Betti numbers and Castelnuovo-Mumford regularity of ideals generated by radical SG configurations.


title: DeMiST: Detection and Mitigation of Stealthy Analog Hardware Trojans

abstract: The global semiconductor supply chain involves design and fabrication at various locations, which leads to multiple security vulnerabilities, e.g., Hardware Trojan (HT) insertion. Although most HTs target digital circuits, HTs can be inserted in analog circuits. Therefore, several techniques have been developed for HT insertions in analog circuits. Capacitance-based Analog Hardware Trojan (AHT) is one of the stealthiest HT that can bypass most existing HT detection techniques because it uses negligible charge accumulation in the capacitor to generate stealthy triggers. To address the charge sharing and accumulation issues, we propose a novel way to detect such capacitance-based AHT in this paper. Secondly, we critically analyzed existing AHTs to highlight their respective limitations. We proposed a stealthier capacitor-based AHT (fortified AHT) that can bypass our novel AHT detection technique by addressing these limitations. Finally, by critically analyzing the proposed fortified AHT and existing AHTs, we developed a robust two-phase framework (DeMiST) in which a synchronous system can mitigate the effects of capacitance-based stealthy AHTs by turning off the triggering capability of AHT. In the first phase, we demonstrate how the synchronous system can avoid the AHT during run-time by controlling the supply voltage of the intermediate combinational circuits. In the second phase, we proposed a supply voltage duty cycle-based validation technique to detect capacitance-based AHTs. Furthermore, DeMiST amplified the switching activity for charge accumulation to such a degree that it can be easily detectable using existing switching activity-based HT detection techniques.


title: Turning non-magnetic two-dimensional molybdenum disulfide into room temperature magnets by the synergistic effect of strain engineering and charge injection

abstract: The development of two-dimensional (2D) room temperature magnets is of great significance to the practical application of spintronic devices. However, the number of synthesized intrinsic 2D magnets is limited and the performances of them are not satisfactory, e.g. typically with low Curie temperature and poor environmental stability. Magnetic modulation based on developed 2D materials, especially non-magnetic 2D materials, can bring us new breakthroughs. Herein, we report room temperature ferromagnetism in halogenated MoS2 monolayer under the synergistic effect of strain engineering and charge injection, and the combined implementation of these two processes is based on the halogenation of MoS2. The adsorbed halogen atoms X (X = F, Cl, and Br) on the surface leads to lattice superstretching and hole injection, resulting in MoS2 monolayer exhibiting half-metallic properties, with one spin channel being gapless in the band structure. The Curie temperature of halogenated MoS2 monolayer is 513~615 K, which is much higher than the room temperature. In addition, large magnetic anisotropy energy and good environmental stability make halogenated MoS2 display great advantages in practical spintronic nanodevices.


title: Tightness of exponential metrics for log-correlated Gaussian fields in arbitrary dimension

abstract: We prove the tightness of a natural approximation scheme for an analog of the Liouville quantum gravity metric on $\mathbb R^d$ for arbitrary $d\geq 2$. More precisely, let $\{h_n\}_{n\geq 1}$ be a suitable sequence of Gaussian random functions which approximates a log-correlated Gaussian field on $\mathbb R^d$. Consider the family of random metrics on $\mathbb R^d$ obtained by weighting the lengths of paths by $e^{\xi h_n}$, where $\xi > 0$ is a parameter. We prove that if $\xi$ belongs to the subcritical phase (which is defined by the condition that the distance exponent $Q(\xi)$ is greater than $\sqrt{2d}$), then after appropriate re-scaling, these metrics are tight and that every subsequential limit is a metric on $\mathbb R^d$ which induces the Euclidean topology. We include a substantial list of open problems.


title: RISA: Round-Robin Intra-Rack Friendly Scheduling Algorithm for Disaggregated Datacenters

abstract: Recent trends see a move away from a fixed-resource server-centric datacenter model to a more adaptable "disaggregated" datacenter model. These disaggregated datacenters can then dynamically group resources to the specific requirements of an incoming workload, thereby improving efficiency. To properly utilize these disaggregated datacenters, workload allocation techniques must examine the current state of the datacenter and choose resources that not only optimize the current workload request, but future ones. Since disaggregated datacenters are severely bottlenecked by the available network resources, our work proposes a heuristic-based approach called RISA, which significantly reduces the network usage of workload allocations in disaggregated datacenters. Compared to the state-of-the-art, RISA reduces the power consumption for optical components by 33% and reduces the average CPU-RAM round-trip latency by 50%. Additionally, RISA significantly outperforms the state-of-the-art in terms of execution time.


title: First Near-IR Spectroscopic Survey of Neptune Trojans with JWST: Distinct Surface Compositions of Red vs Ultra-Red Neptune Trojans

abstract: Neptune's Trojan asteroids have been observed to have a variety of optical colors, most notably red (g $-$ r < 0.75) vs. ultra-red (g $-$ r > 0.75), but the underlying cause of these different color classifications is unknown. Near-IR spectroscopy can be used as a probe of the surface composition of these objects, as broad ice bands for a variety of materials are present in the near-IR. Here, we present the first results of a spectroscopic survey of Neptune's Trojan asteroids using the NIRSpec instrument on JWST. We compare the near-IR spectra of eight Neptune Trojans (NTs) based on different optical color classifications and with model spectra of different ices. We find that most of our targets are consistent with a surface covered in a thin layer of H$_2$O and CO$_2$ ices, while the only NT to reliably be classified as ultra-red is covered in ice tholins in addition to CO$_2$. Ice tholins are a known reddening agent when subjected to irradiation, so these results support the hypothesis that differences in optical color are due to differences in irradiation of the surfaces of these bodies. Since NTs have very similar orbits and therefore generally similar levels of irradiation at the current time, our results suggest that these objects have unique origins or there is ongoing processing of the surfaces of these objects through stochastic disturbances such as impacts.


title: Runtime Monitoring DNN-Based Perception

abstract: Deep neural networks (DNNs) are instrumental in realizing complex perception systems. As many of these applications are safety-critical by design, engineering rigor is required to ensure that the functional insufficiency of the DNN-based perception is not the source of harm. In addition to conventional static verification and testing techniques employed during the design phase, there is a need for runtime verification techniques that can detect critical events, diagnose issues, and even enforce requirements. This tutorial aims to provide readers with a glimpse of techniques proposed in the literature. We start with classical methods proposed in the machine learning community, then highlight a few techniques proposed by the formal methods community. While we surely can observe similarities in the design of monitors, how the decision boundaries are created vary between the two communities. We conclude by highlighting the need to rigorously design monitors, where data availability outside the operational domain plays an important role.


title: Generalized Eta-Einstein and $(\kappa ,\mu )$-structures

abstract: Generalized $(\kappa ,\mu )$ structures occur in dimension 3 only. In this dimension 3, only K-contact structures can occur as generalized Eta-Einstein. On closed manifolds, Eta-Einstein, K-contact structures which are not D-homothetic to Einstein structures are almost regular. We also construct examples of compact, generalized Jacobi $(\kappa ,\mu )$-structures.


title: Hamilton theory of NLS equation soliton motion

abstract: We suggest the method of derivation of Hamilton equations which describe the motion of solitons along non-uniform and time dependent large-scale background in case of wave dynamics described by the completely integrable equations in the Ablowitz-Kaup-Newell-Segur scheme. The method is based on development of old Stokes' argumentation which allows one to continue analytically some relationships derived for linear waves to the soliton region. It is presented here for a particular case of the defocusing nonlinear Schr\"{o}dinger equation. We formulate the condition when the external potential should only be taken into account for the background evolution, and in this case we obtain the Newton equation for the soliton dynamics.


title: A new indeterminacy-based quantum theory

abstract: I propose a novel (interpretation of) quantum theory, which I will call Environmental Determinacy-based or EnD Quantum Theory (EnDQT). In contrast to the well-known quantum theories, EnDQT has the benefit of not adding hidden variables, and it is not in tension with relativistic causality by providing a local causal explanation of quantum correlations without measurement outcomes varying according to, for example, systems or worlds. It is conservative, and so unlike theories such as spontaneous collapse theories, no modifications of the fundamental equations of quantum theory are required to establish when determinate values arise, and in principle, arbitrary systems can be in a superposition for an arbitrary amount of time. According to EnDQT, some systems acquire determinate values at some point, and the capacity to have and give rise to determinate values through interactions propagates to other systems via local interactions. When systems are isolated from the systems that belong to these chains of interactions, they can, in principle, evolve unitarily indefinitely. EnDQT provides a series of novel empirical posits that may distinguish it from other interpretations of quantum theory. Furthermore, via its characterization of the systems that start these chains of interactions, it provides possible payoffs to other areas of physics and their foundations, such as cosmology, thermodynamics, and statistical mechanics.


title: The Role of Federated Learning in a Wireless World with Foundation Models

abstract: Foundation models (FMs) are general-purpose artificial intelligence (AI) models that have recently enabled multiple brand-new generative AI applications. The rapid advances in FMs serve as an important contextual backdrop for the vision of next-generation wireless networks, where federated learning (FL) is a key enabler of distributed network intelligence. Currently, the exploration of the interplay between FMs and FL is still in its nascent stage. Naturally, FMs are capable of boosting the performance of FL, and FL could also leverage decentralized data and computing resources to assist in the training of FMs. However, the exceptionally high requirements that FMs have for computing resources, storage, and communication overhead would pose critical challenges to FL-enabled wireless networks. In this article, we explore the extent to which FMs are suitable for FL over wireless networks, including a broad overview of research challenges and opportunities. In particular, we discuss multiple new paradigms for realizing future intelligent networks that integrate FMs and FL. We also consolidate several broad research directions associated with these paradigms.


title: U-Style: Cascading U-nets with Multi-level Speaker and Style Modeling for Zero-Shot Voice Cloning

abstract: Zero-shot speaker cloning aims to synthesize speech for any target speaker unseen during TTS system building, given only a single speech reference of the speaker at hand. Although more practical in real applications, the current zero-shot methods still produce speech with undesirable naturalness and speaker similarity. Moreover, endowing the target speaker with arbitrary speaking styles in the zero-shot setup has not been considered. This is because the unique challenge of zero-shot speaker and style cloning is to learn the disentangled speaker and style representations from only short references representing an arbitrary speaker and an arbitrary style. To address this challenge, we propose U-Style, which employs Grad-TTS as the backbone, particularly cascading a speaker-specific encoder and a style-specific encoder between the text encoder and the diffusion decoder. Thus, leveraging signal perturbation, U-Style is explicitly decomposed into speaker- and style-specific modeling parts, achieving better speaker and style disentanglement. To improve unseen speaker and style modeling ability, these two encoders conduct multi-level speaker and style modeling by skip-connected U-nets, incorporating the representation extraction and information reconstruction process. Besides, to improve the naturalness of synthetic speech, we adopt mean-based instance normalization and style adaptive layer normalization in these encoders to perform representation extraction and condition adaptation, respectively. Experiments show that U-Style significantly surpasses the state-of-the-art methods in unseen speaker cloning regarding naturalness and speaker similarity. Notably, U-Style can transfer the style from an unseen source speaker to another unseen target speaker, achieving flexible combinations of desired speaker timbre and style in zero-shot voice cloning.


title: Probing Fermi surface parity with spin resolved transverse magnetic focussing

abstract: Measurements of the Fermi surface are a fundamental technique for determining the electrical and magnetic properties of solids. In 2D systems, the area and diameter of the Fermi surface is typically measured using Shubnikov-de Haas oscillations and commensurability oscillations respectively. However, these techniques are unable to detect changes in the parity of the Fermi surface (i.e. when +k $\neq$ -k). Here, we show that transverse magnetic focussing can be used to detect such changes, because focussing only measures a well defined section of the Fermi surface and does not average over +k and -k. Furthermore, our results show that focussing is an order of magnitude more sensitive to changes in the Fermi surface than other 2D techniques, and could be used to investigate similar Fermi surface changes in other 2D systems.


title: Accelerating optimization over the space of probability measures

abstract: The acceleration of gradient-based optimization methods is a subject of significant practical and theoretical importance, particularly within machine learning applications. While much attention has been directed towards optimizing within Euclidean space, the need to optimize over spaces of probability measures in machine learning motivates exploration of accelerated gradient methods in this context too. To this end, we introduce a Hamiltonian-flow approach analogous to momentum-based approaches in Euclidean space. We demonstrate that, in the continuous-time setting, algorithms based on this approach can achieve convergence rates of arbitrarily high order. We complement our findings with numerical examples.


title: Robust Safety for Mixed-Autonomy Traffic with Delays and Disturbances

abstract: Various control strategies and field experiments have been designed for connected and automated vehicles (CAVs) to stabilize mixed traffic that contains both CAVs and Human-driven Vehicles (HVs). The effect of these stabilizing CAV control strategies on traffic safety is still under investigation. In an effort to prioritize safety over stability, a safety-critical filter via control barrier functions (CBFs) can be designed by modifying the stabilizing nominal control input in a minimal fashion and imparting collision-free driving behaviors for CAVs and HVs. However, such formal safety guarantees can be violated if there are delays in the actuation and communication channels of the CAV. Considering both actuator and sensor delays, and disturbances, we propose robust safety-critical traffic control (RSTC) design to ensure ``robust safety'' of the mixed traffic. While predictor-based CBF has been developed to compensate for the actuator delay, uncertain speed disturbances from the head vehicle cause prediction error and require novel robust CBF design. Besides, safety-critical control with sensor delay also remains an open question. In RSTC, a state predictor with bounded error is designed, and robust CBF constraints are constructed to guarantee safety under actuator delay and disturbances. When there is a sensor delay, a state observer is designed and integrated with a predictor-based CBF to ensure robust safety. Numerical simulations demonstrate that the proposed RSTC avoids rear-end collisions for two unsafe traffic scenarios in the presence of actuator, sensor delays and disturbances.


title: Evanescently coupled topological ring-waveguide systems for chip-scale ultrahigh frequency phononic circuits

abstract: Topological phononics enabling backscattering-immune transport is expected to improve the performance of electromechanical systems for classical and quantum information technologies. Nonetheless, most of the previous demonstrations utilized macroscale and low-frequency structures and thus offered little experimental insight into ultrahigh frequency phonon transport, especially in chip-scale circuits. Here, we report microwave phonon transmissions in a microscopic topological ring-waveguide coupled system, which is an important building block for wave-based signal processing. The elastic waves in the topological waveguide evanescently couple to the ring resonator, while maintaining the valley pseudospin polarization. The resultant waves are robust to backscattering even in the tiny hexagonal ring, generating a resonant phonon circulation. Furthermore, the evanescently coupled structure allows for a critical coupling, where valley-dependent ring-waveguide interference enables blocking of the topological edge transmission. Our demonstrations reveal the capability of using topological phenomena to manipulate ultrahigh frequency elastic waves in intricate phononic circuits for classical and quantum signal-processing applications.


title: Hessian-based Similarity Metric for Multimodal Medical Image Registration

abstract: One of the fundamental elements of both traditional and certain deep learning medical image registration algorithms is measuring the similarity/dissimilarity between two images. In this work, we propose an analytical solution for measuring similarity between two different medical image modalities based on the Hessian of their intensities. First, assuming a functional dependence between the intensities of two perfectly corresponding patches, we investigate how their Hessians relate to each other. Secondly, we suggest a closed-form expression to quantify the deviation from this relationship, given arbitrary pairs of image patches. We propose a geometrical interpretation of the new similarity metric and an efficient implementation for registration. We demonstrate the robustness of the metric to intensity nonuniformities using synthetic bias fields. By integrating the new metric in an affine registration framework, we evaluate its performance for MRI and ultrasound registration in the context of image-guided neurosurgery using target registration error and computation time.


title: Excision And Recovery: Visual Defect Obfuscation Based Self-Supervised Anomaly Detection Strategy

abstract: Due to scarcity of anomaly situations in the early manufacturing stage, an unsupervised anomaly detection (UAD) approach is widely adopted which only uses normal samples for training. This approach is based on the assumption that the trained UAD model will accurately reconstruct normal patterns but struggles with unseen anomalous patterns. To enhance the UAD performance, reconstruction-by-inpainting based methods have recently been investigated, especially on the masking strategy of suspected defective regions. However, there are still issues to overcome: 1) time-consuming inference due to multiple masking, 2) output inconsistency by random masking strategy, and 3) inaccurate reconstruction of normal patterns when the masked area is large. Motivated by this, we propose a novel reconstruction-by-inpainting method, dubbed Excision And Recovery (EAR), that features single deterministic masking based on the ImageNet pre-trained DINO-ViT and visual obfuscation for hint-providing. Experimental results on the MVTec AD dataset show that deterministic masking by pre-trained attention effectively cuts out suspected defective regions and resolve the aforementioned issues 1 and 2. Also, hint-providing by mosaicing proves to enhance the UAD performance than emptying those regions by binary masking, thereby overcomes issue 3. Our approach achieves a high UAD performance without any change of the neural network structure. Thus, we suggest that EAR be adopted in various manufacturing industries as a practically deployable solution.


title: Higher-continuity s-version of finite element method with B-spline functions

abstract: This paper proposes a strategy to solve the problems of the conventional s-version of finite element method (SFEM) fundamentally. Because SFEM can reasonably model an analytical domain by superimposing meshes with different spatial resolutions, it has intrinsic advantages of local high accuracy, low computation time, and simple meshing procedure. However, it has disadvantages such as accuracy of numerical integration and matrix singularity. Although several additional techniques have been proposed to mitigate these limitations, they are computationally expensive or ad-hoc, and detract from its strengths. To solve these issues, we propose a novel strategy called B-spline based SFEM. To improve the accuracy of numerical integration, we employed cubic B-spline basis functions with $C^2$-continuity across element boundaries as the global basis functions. To avoid matrix singularity, we applied different basis functions to different meshes. Specifically, we employed the Lagrange basis functions as local basis functions. The numerical results indicate that using the proposed method, numerical integration can be calculated with sufficient accuracy without any additional techniques used in conventional SFEM. Furthermore, the proposed method avoids matrix singularity and is superior to conventional methods in terms of convergence for solving linear equations. Therefore, the proposed method has the potential to reduce computation time while maintaining a comparable accuracy to conventional SFEM.


title: Self-injective algebras under derived equivalences

abstract: The Nakayama permutations of two derived equivalent, self-injective Artin algebras are conjugate. A different but elementary approach is given to showing that the weak symmetry and self-injectivity of finite-dimensional algebras over an arbitrary field are preserved under derived equivalences.


title: A Survey of Mathematical Models on Somitogenesis

abstract: This paper presents a comprehensive survey of various established mathematical models pertaining to Somitogenesis, a biological process. The study begins by revisiting and replicating the findings from prominent research papers in this domain, subsequently offering a critical evaluation of the strengths and weaknesses inherent in each approach. By synthesizing this knowledge, the paper aims to contribute to a deeper understanding of Somitogenesis, and pave the way for further advancements in the development of enhanced mathematical models for this intricate biological process. The concluding section offers valuable insights and directions for prospective research in this field.


title: Submillimetre galaxies as laboratories for dust grain coagulation

abstract: Coagulation in the dense interstellar medium (ISM) is an important process that determines the size of the largest grains. We use submillimetre galaxies (SMGs) as laboratories of grain coagulation, since some of them host the densest ISM on a galactic scale among various populations of galaxies known. We examine how large the grains can be in such dense environments based on the mean ISM density estimated from the observed typical dust mass density in SMGs. We also consider local density enhancement based on a model of supersonic turbulence, which is expected from strong stellar feedback. In the unlimited coagulation model, in which we do not impose any coagulation threshold velocity, grains as large as $\sim 30~\mu$m can form under the observationally estimated mean gas density if the Mach number of turbulence is $\mathcal{M}\gtrsim 3$. We exclude this possibility since the observed emissivity index $\beta\simeq 2$ in the far infrared (FIR) indicates that such large grains cannot actively form in SMGs. This means that coagulation does not proceed in an unlimited way: 30-$\mu$m grains should have velocities larger than the coagulation threshold. If we use a coagulation threshold (upper limit) grain velocity ($\sim 0.08$ km s$^{-1}$) taken from a theoretical study, grains likely grow only up to $\mu$m size, which is small enough not to affect the FIR emissivity index. The above results indicate that SMGs can be used to constrain the physical processes relevant to coagulation.


title: Anonymous Learning via Look-Alike Clustering: A Precise Analysis of Model Generalization

abstract: While personalized recommendations systems have become increasingly popular, ensuring user data protection remains a top concern in the development of these learning systems. A common approach to enhancing privacy involves training models using anonymous data rather than individual data. In this paper, we explore a natural technique called \emph{look-alike clustering}, which involves replacing sensitive features of individuals with the cluster's average values. We provide a precise analysis of how training models using anonymous cluster centers affects their generalization capabilities. We focus on an asymptotic regime where the size of the training set grows in proportion to the features dimension. Our analysis is based on the Convex Gaussian Minimax Theorem (CGMT) and allows us to theoretically understand the role of different model components on the generalization error. In addition, we demonstrate that in certain high-dimensional regimes, training over anonymous cluster centers acts as a regularization and improves generalization error of the trained models. Finally, we corroborate our asymptotic theory with finite-sample numerical experiments where we observe a perfect match when the sample size is only of order of a few hundreds.


title: Searching for a partially absorbing target by a run-and-tumble particle in a confined space

abstract: A random search of a partially absorbing target by a run-and-tumble particle in a confined one-dimensional space is investigated. We analytically obtain the mean searching time, which shows a non-monotonic behavior as a function of the self-propulsion speed of the active particle, indicating the existence of an optimal speed, when the absorption strength of the target is finite. In the limit of large and small absorption strengths, respectively, asymptotes of the mean searching time and the optimal speed are found. We also demonstrate that the first-passage problem of a diffusive run-and-tumble particle in high dimensions can be mapped into a one-dimensional problem with a partially absorbing target. Finally, as a practical application exploiting the existence of the optimal speed, we propose a filtering device to extract active particles with a desired speed and evaluate how the resolution of the filtering device depends on the absorption strength.


title: PGraphDTA: Improving Drug Target Interaction Prediction using Protein Language Models and Contact Maps

abstract: Developing and discovering new drugs is a complex and resource-intensive endeavor that often involves substantial costs, time investment, and safety concerns. A key aspect of drug discovery involves identifying novel drug-target (DT) interactions. Existing computational methods for predicting DT interactions have primarily focused on binary classification tasks, aiming to determine whether a DT pair interacts or not. However, protein-ligand interactions exhibit a continuum of binding strengths, known as binding affinity, presenting a persistent challenge for accurate prediction. In this study, we investigate various techniques employed in Drug Target Interaction (DTI) prediction and propose novel enhancements to enhance their performance. Our approaches include the integration of Protein Language Models (PLMs) and the incorporation of Contact Map information as an inductive bias within current models. Through extensive experimentation, we demonstrate that our proposed approaches outperform the baseline models considered in this study, presenting a compelling case for further development in this direction. We anticipate that the insights gained from this work will significantly narrow the search space for potential drugs targeting specific proteins, thereby accelerating drug discovery. Code and data for PGraphDTA are available at https://github.com/Yijia-Xiao/PgraphDTA/.


title: Testing Higher-order Clusterability on graphs

abstract: Analysis of higher-order organizations, usually small connected subgraphs called motifs, is a fundamental task on complex networks. This paper studies a new problem of testing higher-order clusterability: given query access to an undirected graph, can we judge whether this graph can be partitioned into a few clusters of highly-connected motifs? This problem is an extension of the former work proposed by Czumaj et al. (STOC' 15), who recognized cluster structure on graphs using the framework of property testing. In this paper, a good graph cluster on high dimensions is first defined for higher-order clustering. Then, query lower bound is given for testing whether this kind of good cluster exists. Finally, an optimal sublinear-time algorithm is developed for testing clusterability based on triangles.


title: XLO-II, a high-repetition rate X-ray laser oscillator

abstract: In a recent paper we proposed to build an x-ray laser oscillator (XLO) in the 6-10 keV range providing intense, stable, transform-limited, x-ray pulses based on population inversion driven by an x-ray pulse train generated by an x-ray free-electron laser (XFEL) operated at a repetition rate of about 100 Hz. Here we present an analysis of recent experimental results on x-ray lasing with population inversion, damage caused by the pump on the lasing medium, and optical cavities, together with theoretical/numerical simulations. Our findings suggest that it is possible to build and operate a second-generation x-ray laser oscillator, XLO-II, operating at up to 125 kHz repetition rate. XLO-II will be pumped by 6-10 keV x-ray SASE pulses, generated by the new LCLS-II-HE XFEL now under construction at SLAC National Accelerator Laboratory, utilizing a CW superconducting linac and capable of running at 1 MHz repetition rate. XLO-II will generate transform-limited, coherent x-ray pulses with an average power in the tens of mW range. It will open new experimental capabilities, for instance in fields like imaging, interferometry, and quantum x-ray optics. The main characteristics of XLO-II and its main components, including the optical cavity, will be discussed.


title: Snail Homing and Mating Search Algorithm: A Novel Bio-Inspired Metaheuristic Algorithm

abstract: In this paper, a novel Snail Homing and Mating Search (SHMS) algorithm is proposed. It is inspired from the biological behaviour of the snails. Snails continuously travels to find food and a mate, leaving behind a trail of mucus that serves as a guide for their return. Snails tend to navigate by following the available trails on the ground and responding to cues from nearby shelter homes. The proposed SHMS algorithm is investigated by solving several unimodal and multimodal functions. The solutions are validated using standard statistical tests such as two-sided and pairwise signed rank Wilcoxon test and Friedman rank test. The solution obtained from the SHMS algorithm exhibited superior robustness as well as search space exploration capabilities within the less computational cost. The real-world application of SHMS algorithm is successfully demonstrated in the engineering design domain by solving three cases of design and economic optimization shell and tube heat exchanger problem. The objective function value and other statistical results obtained using SHMS algorithm are compared with other well-known metaheuristic algorithms.


title: Multi-principal element alloy discovery using directed energy deposition and machine learning

abstract: Multi-principal element alloys open large composition spaces for alloy development. The large compositional space necessitates rapid synthesis and characterization to identify promising materials, as well as predictive strategies for alloy design. Additive manufacturing via directed energy deposition is demonstrated as a high-throughput technique for synthesizing alloys in the Cr-Fe-Mn-Ni quaternary system. More than 100 compositions are synthesized in a week, exploring a broad range of compositional space. Uniform compositional control to within +/-5 at% is achievable. The rapid synthesis is combined with conjoint sample heat treatment (25 samples vs 1 sample), and automated characterization including X-ray diffraction, energy-dispersive X-ray spectroscopy, and nano-hardness measurements. The datasets of measured properties are then used for a predictive strengthening model using an active machine learning algorithm that balances exploitation and exploration. A learned parameter that represents lattice distortion is trained using the alloy compositions. This combination of rapid synthesis, characterization, and active learning model results in new alloys that are significantly stronger than previous investigated alloys.


title: Nonlinear Methods for Shape Optimization Problems in Liquid Crystal Tactoids

abstract: Anisotropic fluids, such as nematic liquid crystals, can form non-spherical equilibrium shapes known as tactoids. Predicting the shape of these structures as a function of material parameters is challenging and paradigmatic of a broader class of problems that combine shape and order. Here, we consider a discrete shape optimization approach with finite elements to find the configuration of two-dimensional and three-dimensional tactoids using the Landau de Gennes framework and a Q-tensor representation. Efficient solution of the resulting constrained energy minimization problem is achieved using a quasi-Newton and nested iteration algorithm. Numerical validation is performed with benchmark solutions and compared against experimental data and earlier work. We explore physically motivated subproblems, whereby the shape and order are separately held fixed, respectively, to explore the role of both and examine material parameter dependence of the convergence. Nested iteration significantly improves both the computational cost and convergence of numerical solutions of these highly deformable materials.


title: Rotation of a Stealth CME on 2012 October 5 Observed in the Inner Heliosphere

abstract: Coronal Mass Ejections (CMEs) are subject to changes in their direction of propagation, tilt, and other properties. This is because CMEs interact with the ambient solar wind and other large-scale magnetic field structures. In this work, we report on the observations of the 2012 October 5 stealth CME using coronagraphic and heliospheric images. We find clear evidence of a continuous rotation of the CME, i.e., an increase in the tilt angle, estimated using the Graduated Cylindrical Shell (GCS) reconstruction at different heliocentric distances, up to 58 solar radii. We find a further increase in the tilt at L1 estimated from the toroidal and cylindrical flux rope fitting on the in situ observations of IMF and solar wind parameters. This study highlights the importance of observations of Heliospheric Imager (HI), onboard the Solar TErrestrial RElations Observatory (STEREO). In particular, the GCS reconstruction of CMEs in HI field-of-view promises to bridge the gap between the near-Sun and in-situ observations at the L1. The changes in the CME tilt has significant implications for the space weather impact of stealth CMEs.