title: An Efficient Elliptic Curve Cryptography Arithmetic Using Nikhilam Multiplication

abstract: Multiplication is one of the most important operation in Elliptic Curve Cryptography (ECC) arithmetic. For point addition and point doubling in ECC scalar (integer) multiplication is required. In higher order classical (standard) multiplication many intermediate operations are required. Reduced operation in multiplication will increase the functional speed of ECC arithmetic. These goals can be achieved using ancient multiplication algorithm namely Nikhilam Sutra. Nikhilam Sutra is one of the Sutra (algorithm) within 16 Vedic mathematics Sutras (algorithms). Nikhilam Sutra is efficient for multiplying two large decimal numbers. The Sutra reduces multiplication of two large numbers into two smaller numbers multiplication. The functional speed of Elliptic Curve Cryptography can be increased using Nikhilam method for scalar multiplication.


title: DNA Encoded Elliptic Curve Cryptography System for IoT Security

abstract: In the field of Computer Science and Information Technology Internet of Things (IoT) is one of the emerging technologies. In IoT environment several devices are interconnected and transmit data among them. There may be some security vulnerability arise within the IoT environment. Till date, IoT has not been widely accepted due to its security flaws. Hence to keep the IoT environment most robust, we propose a stable security framework of IoT with Elliptic Curve Cryptography (ECC) using DNA Encoding. The ECC is most lightweight cryptography technique among other well known public key cryptography techniques. To increase encryption complexity, DNA encoding mechanism of DNA computing with ECC is preceded.


title: Compatible structures of operads by polarization, their Koszul duality and Manin products

abstract: Algebraic structures with multiple copies of a given type of operations interrelated by various compatibility conditions have long being studied in mathematics and mathematical physics. They are broadly referred as linearly compatible, matching, and totally compatible structures. This paper gives a unified approach to these structures in the context of operads. We first generalize the process of polarization for polynomials in invariant theory to the one for operads, leading to the general notion of linearly compatible operads. Refining the polarization by partitioning it into foliations, we obtain a notion of matching operads consolidating those appeared recently from applications of regularity structures, and Volterra integral equations. Distinguished among them is the leveled matching compatibility, which is unique with respect to a fix ordering of the vertices in tree monomials. Equating all matching compatibilities of a given operad leads to the totally compatible operad of this operad. For unary/binary quadratic operads, the linear compatibility and the total compatibility are in Koszul dual to each other, and there is a Koszul self-duality among the matching compatibilities. In particular, the leveled matching compatibility is Koszul self-dual. For binary quadratic operads, these three compatible operads can also be obtained by taking Manin black and white products. For finitely generated binary quadratic operad, we prove that the Koszulity is preserved under taking each of the linear and total compatibilities, as well as the leveled matching compatibility.


title: Secondary-Structure Phase Formation for Semifelxible Polymers by Bifurcation in Hyperphase Space

abstract: Canonical analysis has long been the primary analysis method for studies of phase transitions. However, this approach is not sensitive enough if transition signals are too close in temperature space. The recently introduced generalized microcanonical inflection-point analysis method not only enables the systematic identification and classification of transitions in systems of any size, but it can also distinguish transitions that standard canonical analysis cannot resolve. By applying this method to a generic coarse-grained model for semiflexible polymers, we identify a mixed structural phase dominated by secondary structures such as hairpins and loops that originates from a bifurcation in the hyperspace spanned by inverse temperature and bending stiffness. This intermediate phase, which is embraced by the well-known random-coil and toroidal phases, is testimony to the necessity of balancing entropic variability and energetic stability in functional macromolecules under physiological conditions.

categories: cond-mat.soft cond-mat.stat-mech physics.bio-ph physics.comp-ph


title: Towards interpretable-by-design deep learning algorithms

abstract: The proposed framework named IDEAL (Interpretable-by-design DEep learning ALgorithms) recasts the standard supervised classification problem into a function of similarity to a set of prototypes derived from the training data, while taking advantage of existing latent spaces of large neural networks forming so-called Foundation Models (FM). This addresses the issue of explainability (stage B) while retaining the benefits from the tremendous achievements offered by DL models (e.g., visual transformers, ViT) pre-trained on huge data sets such as IG-3.6B + ImageNet-1K or LVD-142M (stage A). We show that one can turn such DL models into conceptually simpler, explainable-through-prototypes ones. The key findings can be summarized as follows: (1) the proposed models are interpretable through prototypes, mitigating the issue of confounded interpretations, (2) the proposed IDEAL framework circumvents the issue of catastrophic forgetting allowing efficient class-incremental learning, and (3) the proposed IDEAL approach demonstrates that ViT architectures narrow the gap between finetuned and non-finetuned models allowing for transfer learning in a fraction of time \textbf{without} finetuning of the feature space on a target dataset with iterative supervised methods.


title: Attention-based Multi-fidelity Machine Learning Model for Computational Fractional Flow Reserve Assessment

abstract: Coronary Artery Disease (CAD) is one of the most common forms of heart disease, which is caused by a buildup of atherosclerotic plaque (known as stenosis) in the coronary arteries, leading to insufficient supplement of blood, oxygen, and nutrients to the heart. Fractional Flow Reserve (FFR), measuring the pressure ratio between the aorta and distal coronary artery, is an invasive physiologic gold standard for assessing the severity of coronary artery stenosis. Despite its benefits, invasive FFR assessment is still underutilized due to its high cost, time-consuming, experimental variability, and increased risk to patients. In this study, an attention-based multi-fidelity machine learning model (AttMulFid) is proposed for computationally efficient and accurate FFR assessment with uncertainty measurement. Within AttMulFid, an autoencoder is utilized to intelligently select geometric features from coronary arteries, with additional attention on the key area. Results show that the geometric features are able to represent the entirety of the geometric information and intelligently allocate attention based on crucial properties of geometry. Furthermore, the AttMulFid is a feasible approach for non-invasive, rapid, and accurate FFR assessment (with 0.002s/simulation).


title: Structure-preserving semi-convex-splitting numerical scheme for a Cahn-Hilliard cross-diffusion system in lymphangiogenesis

abstract: A fully discrete semi-convex-splitting finite-element scheme with stabilization for a Cahn-Hilliard cross-diffusion system is analyzed. The system consists of parabolic fourth-order equations for the volume fraction of the fiber phase and solute concentration, modeling pre-patterning of lymphatic vessel morphology. The existence of discrete solutions is proved, and it is shown that the numerical scheme is energy stable up to stabilization, conserves the solute mass, and preserves the lower and upper bounds of the fiber phase fraction. Numerical experiments in two space dimensions using FreeFEM illustrate the phase segregation and pattern formation.


title: On a metric view of the polynomial shift locus

abstract: We relate generic points in the shift locus $\mathcal{S}_D$ of degree $D\ge 2$ polynomials to metric graphs. Using thermodynamic metrics on the space of metric graphs, we obtain a distance function $\rho_D$ on $\mathcal{S}_D$. We study the (in)completeness of the metric space $(\mathcal{S}_D, \rho_D)$. We prove that when $D \ge 3$, the space $(\mathcal{S}_D, \rho_D)$ is incomplete and its metric completion contains a subset homeomorphic to the space $\mathbb{P}\mathcal{ST}_D^*$ introduced by DeMarco and Pilgrim. This provides a new way to understand the space $\mathbb{P}\mathcal{ST}_D^*$.


title: Make me an Offer: Forward and Reverse Auctioning Problems in the Tourism Industry

abstract: Most tourist destinations are facing regular and consistent seasonality with significant economic and social impacts. This phenomenon is more pronounced in the post-covid era, where demand for travel has increased but unevenly among different geographic areas. To counter these problems that both customers and hoteliers are facing, we have developed two auctioning systems that allow hoteliers of lower popularity tier areas or during low season periods to auction their rooms in what we call a forward auction model, and also allows customers to initiate a bidding process whereby hoteliers in an area may make offers to the customer for their rooms, in what constitutes a reverse auction model initiated by the customer, similar to the bidding concept of priceline.com. We develop mathematical programming models that define explicitly both types of auctions, and show that in each type, there are significant benefits to be gained both on the side of the hotelier as well as on the side of the customer. We discuss algorithmic techniques for the approximate solution of these optimization problems, and present results using exact optimization solvers to solve them to guaranteed optimality. These techniques could be beneficial to both customer and hotelier reducing seasonality during middle and low season and providing the customer with attractive offers.


title: Unraveling oscillations at ferro(para)magnetic and non-collinear antiferromagnetic interfaces

abstract: Here, we show that the ferro(para)magnetic and non-collinear antiferromagnetic interfaces contribute to oscillating signals observed in the magnetoresistance. We associate the effect with the fact that the spins on the surface of IrMn3 produce instability in the surface magnetoresistance of the material, which is sensitive to the magnetic field. We carried out experiments using bilayers of IrMn3 under permalloy (Py) and IrMn3 under platinum (Pt). The oscillations were intensely evident at the Py/IrMn3 interface and less explicit at the Pt/IrMn3 interface. We carried out the experiments using pulsed current, with a square pulse width of 1{\mu}s and amplitudes of 20 {\mu}A to 20 mA. The oscillating signals are proportional to the crystallographic direction of the material, the ferromagnetism of the material adjacent to IrMn3, and sensitive to the amplitude of the pulsed current. We believe that observation is a way of transmitting encoded information through magnetoresistance.


title: Discovery of Superconductivity and Electron-Phonon Drag in the Non-Centrosymmetric Weyl Semimetal LaRhGe$_3$

abstract: We present an exploration of the effect of electron-phonon coupling and broken inversion symmetry on the electronic and thermal properties of the semimetal LaRhGe$_3$. Our transport measurements reveal evidence for electron-hole compensation at low temperatures, resulting in a large magnetoresistance of 3000% at 1.8 K and 14 T. The carrier concentration is on the order of $10^{21}\rm{/cm}^3$ with high carrier mobilities of $2000~\rm{cm}^2/\rm{Vs}$. When coupled to our theoretical demonstration of symmetry-protected $\textit{almost movable}$ Weyl nodal lines, we conclude that LaRhGe$_3$ supports a Weyl semimetallic state. We discover superconductivity in this compound with a $T_{\text c}$ of 0.39(1) K and $B_{\rm{c}}(0)$ of 2.2(1) mT, with evidence from specific heat and transverse-field muon spin relaxation. We find an exponential dependence in the normal state electrical resistivity below $\sim50$ K, while Seebeck coefficient and thermal conductivity measurements each reveal a prominent peak at low temperatures, indicative of strong electron-phonon interactions. To this end, we examine the temperature-dependent Raman spectra of LaRhGe$_3$ and find that the lifetime of the lowest energy $A_1$ phonon is dominated by phonon-electron scattering instead of anharmonic decay. We conclude that LaRhGe$_3$ has strong electron-phonon coupling in the normal state, while the superconductivity emerges from weak electron-phonon coupling. These results open up the investigation of electron-phonon interactions in the normal state of superconducting non-centrosymmetric Weyl semimetals.


title: A semi-strictly generated closed structure on Gray-Cat

abstract: We show that the semi-strictly generated internal homs of $\mathbf{Gray}$-categories $[\mathfrak{A}, \mathfrak{B}]_\text{ssg}$ defined in \cite{Miranda strictifying operational coherences} underlie a closed structure on the category $\mathbf{Gray}$-$\mathbf{Cat}$ of $\mathbf{Gray}$-categories and $\mathbf{Gray}$-functors. The morphisms of $[\mathfrak{A}, \mathfrak{B}]_\text{ssg}$ are composites of those trinatural transformations which satisfy the unit and composition conditions for pseudonatural transformations on the nose rather than up to an invertible $3$-cell. Such trinatural transformations leverage three-dimensional strictification \cite{Miranda strictifying operational coherences} while overcoming the challenges posed by failure of middle four interchange to hold in $\mathbf{Gray}$-categories \cite{Bourke Gurski Cocategorical Obstructions to a Tensor Product of Gray Categories}. As a result we obtain a closed structure that is only partially monoidal with respect to \cite{crans tensor of gray categories}. As a corollary we obtain a slight strengthening of strictification results for braided monoidal bicategories \cite{Gurski Loop Spaces}, which will be improved further in a forthcoming paper \cite{Miranda weak interchange 4-categories}.


title: Adsorption isotherm and mechanism of $\mathrm{Ca^{2+}}$ binding to polyelectrolyte

abstract: Polyelectrolytes, such as polyacrylic acid (PAA), can effectively mitigate $\mathrm{CaCO_3}$ scale formation. Despite their success as antiscalants, the underlying mechanism of $\mathrm{Ca^{2+}}$ binding to polyelectrolyte chains remains unresolved. Through all-atom molecular dynamics simulations, we construct an adsorption isotherm of $\mathrm{Ca^{2+}}$ binding to sodium polyacrylate ($\mathrm{NaPAA}$) and investigate the associated binding mechanism. We find that the number of calcium ions adsorbed $[\mathrm{Ca^{2+}_{ads}}]$ to the polymer saturates at moderately high concentrations of free calcium ions $[\mathrm{Ca^{2+}_{aq}}]$ in the solution. This saturation value is intricately connected with the binding modes accessible to $\mathrm{Ca^{2+}}$ ions when they bind to the polyelectrolyte chain. We identify two dominant binding modes: the first involves binding to at most two carboxylate oxygens on a polyacrylate chain, and the second, termed the high binding mode, involves binding to four or more carboxylate oxygens. As the concentration of free calcium ions $[\mathrm{Ca^{2+}_{aq}}]$ increases from low to moderate levels, the polyelectrolyte chain undergoes a conformational transition from an extended coil to a hairpin-like structure, enhancing the accessibility to the high binding mode. At moderate concentrations of $[\mathrm{Ca^{2+}_{aq}}]$, the high binding mode accounts for at least a third of all binding events. The chain's conformational change and its consequent access to the high binding mode is found to increase the overall $\mathrm{Ca^{2+}}$ ion binding capacity of the polyelectrolyte chain.


title: The fate of high winding number topological phases in the disordered extended Su-Schrieffer-Heeger model

abstract: We use the Lindblad equation approach to investigate topological phases hosting more than one localized state at each side of a disordered SSH chain with properly tuned long range hoppings. Inducing a non equilibrium steady state across the chain, we probe the robustness of each phase and the fate of the edge modes looking at the distribution of electrons along the chain and the corresponding standard deviation in the presence of different kinds of disorder either preserving, or not, the symmetries of the Hamiltonian.


title: Architecting the Future: A Model for Enterprise Integration in the Metaverse

abstract: Although it has a history that goes back about three decades, Metaverse has grown to be one of the most talked-about subjects today. Metaverse gradually increased its influence in the realm of business discourse after initially being restricted to discussions about entertainment. Before getting deep into the Metaverse, it should be noted that failure and deviating from the business path are highly likely for an enterprise that relies heavily on information technology (IT) because of improper use and thinking about IT. The idea of enterprise architecture (EA) emerged as a management strategy to address this issue. As the first school of thought of EA, it sought to transform IT from an unnecessary burden in an enterprise to a guiding and supporting force. Then an extended EA model is suggested as a result of the attempt made in this paper to use the idea of EA to steer virtual enterprises on Metaverse-based platforms. Finally, to evaluate the conceptual model and demonstrate that the Metaverse can support businesses, three case studies Decentraland, Battle Infinity, and Rooom were utilized.


title: Complexity Synchronization in Emergent Intelligence

abstract: In this work, we use a simple multi-agent-based model (MABM), implementing selfish algorithm (SA) agents, to create an adaptive environment and show, using modified diffusion entropy analysis (MDEA), that the mutual-adaptive interaction between the parts of such a network manifests complexity synchronization (CS). CS has been experimentally shown to exist among organ-networks (ONs) of the brain (neurophysiology), lungs (respiration), and heart (cardiovascular reactivity) and to be explained theoretically as a synchronization of the multifractal scaling parameters characterizing each time series. Herein, we find the same kind of CS in the emergent intelligence (i.e., without macroscopic control and based on self-interest) between two groups of agents playing an anti-coordination game, thereby suggesting the potential for the same CS in real-world social phenomena and in human-machine interactions.


title: The integral Chow ring of $\mathcal{M}_{1,n}$ for $n=3,\dots,10$

abstract: We compute the integral Chow ring of the moduli stack of smooth elliptic curves with $n$ marked points for $3\leq n\leq 10$.


title: The fundamental group of compact Riemann surface

abstract: We derive presentation and relations for a group of compact Riemann surface that is given as branched cover of the sphere. In the case that one of the permutations is of full cycle of the form $(1...n)$ we derive a straightforward process to obtain the standard presentation of the fundamental group of Algebraic curve in the form $\prod_{i=1}^g[a_i,b_i]=1$


title: Negotiated Representations for Machine Mearning Application

abstract: Overfitting is a phenomenon that occurs when a machine learning model is trained for too long and focused too much on the exact fitness of the training samples to the provided training labels and cannot keep track of the predictive rules that would be useful on the test data. This phenomenon is commonly attributed to memorization of particular samples, memorization of the noise, and forced fitness into a data set of limited samples by using a high number of neurons. While it is true that the model encodes various peculiarities as the training process continues, we argue that most of the overfitting occurs in the process of reconciling sharply defined membership ratios. In this study, we present an approach that increases the classification accuracy of machine learning models by allowing the model to negotiate output representations of the samples with previously determined class labels. By setting up a negotiation between the models interpretation of the inputs and the provided labels, we not only increased average classification accuracy but also decreased the rate of overfitting without applying any other regularization tricks. By implementing our negotiation paradigm approach to several low regime machine learning problems by generating overfitting scenarios from publicly available data sets such as CIFAR 10, CIFAR 100, and MNIST we have demonstrated that the proposed paradigm has more capacity than its intended purpose. We are sharing the experimental results and inviting the machine learning community to explore the limits of the proposed paradigm. We also aim to incentive the community to exploit the negotiation paradigm to overcome the learning related challenges in other research fields such as continual learning. The Python code of the experimental setup is uploaded to GitHub.


title: Compact flat manifolds and reducibility

abstract: Hiss and Szczepa\'nski proved in 1991 that the holonomy group of any compact flat Riemannian manifold, of dimension at least two, acts reducibly on the rational span of the Euclidean lattice associated with the manifold via the first Bieberbach theorem. Geometrically, their result states that such a manifold must admit a nonzero proper parallel distribution with compact leaves. We study algebraic and geometric properties of the sublattice-spanned holonomy-invariant rational vector subspaces that exist due to the above theorem, and of the resulting compact-leaf foliations of compact flat manifolds. The class consisting of the former subspaces, in addition to being closed under spans and intersections, also turns out to admit (usually nonorthogonal) complements. As for the latter foliations, we provide descriptions, first -- and foremost -- of the intrinsic geometry of their generic leaves in terms of that of the original flat manifold and, secondly -- as an essentially obvious afterthought -- of the leaf-space orbifold. The general conclusions are then illustrated by examples in the form of generalized Klein bottles.


title: Neural Quantum Embedding: Pushing the Limits of Quantum Supervised Learning

abstract: Quantum embedding is indispensable for applying quantum machine learning techniques to classical data, and has substantial impacts on performance outcomes. In this study, we present Neural Quantum Embedding (NQE), a method that efficiently optimizes quantum embedding by leveraging classical deep learning techniques. NQE enhances the lower bound of the empirical risk, leading to substantial improvements in classification performance. Moreover, NQE improves robustness against noise. To validate the effectiveness of NQE, we conduct experiments on IBM quantum devices for image data classification, resulting in a remarkable accuracy enhancement from 0.52 to 0.96. Numerical analysis of the local effective dimension highlights that NQE improves the trainability and generalization performance of quantum neural networks. Furthermore, NQE achieves improved generalization in the quantum kernel method, as evidenced by a reduction in the upper bound of the expected risk.


title: Large Pre-trained time series models for cross-domain Time series analysis tasks

abstract: Large pre-trained models have been instrumental in significant advancements in domains like language and vision making model training for individual downstream tasks more efficient as well as provide superior performance. However, tackling time-series analysis tasks usually involves designing and training a separate model from scratch leveraging training data and domain expertise specific to the task. We tackle a significant challenge for pre-training a general time-series model from multiple heterogeneous time-series dataset: providing semantically useful inputs to models for modeling time series of different dynamics from different domains. We observe that partitioning time-series into segments as inputs to sequential models produces semantically better inputs and propose a novel model LPTM that automatically identifies optimal dataset-specific segmentation strategy leveraging self-supervised learning loss during pre-training. LPTM provides performance similar to or better than domain-specific state-of-art model and is significantly more data and compute efficient taking up to 40% less data as well as 50% less training time to achieve state-of-art performance in a wide range of time-series analysis tasks from multiple disparate domain.


title: Lineability of functions in $C(K)$ with specified range

abstract: This paper is inspired by the paper of Leonetti, Russo and Somaglia [\textit{Dense lineability and spaceability in certain subsets of $\ell_\infty$.} Bull. London Math. Soc., 55: 2283--2303 (2023)] and the lineability problems raised therein. It concerns the properties of $\ell_\infty$ subsets defined by cluster points of sequences. Using the fact that the set of cluster points of a sequence $x$ depends only on its equivalence class in $\ell_\infty/c_0$ and that the quotient space $\ell_\infty/c_0$ is isometrically isomorphic to $C(\beta\mathbb{N}\setminus\mathbb{N})$, we are able to translate lineability problems from $\ell_\infty$ to $C(\beta\mathbb{N}\setminus\mathbb{N})$. We prove that for a compact space $K$ with properties similar to those of $\beta\mathbb{N}\setminus\mathbb{N}$, the sets of continuous functions $f$ in $C(K)$ with $\vert\operatorname{rng}(f)\vert=\omega$ and those $f$ with $\vert\operatorname{rng}(f)\vert=\mathfrak c$ contain, up to zero function, an isometric copy of $c_0(\kappa)$ for uncountable cardinal $\kappa$. Specializing those results to some closed subspaces $K$ of $\beta\mathbb{N}\setminus\mathbb{N}$ we are able to generalize known results to their ideal versions.


title: A Security Risk Taxonomy for Large Language Models

abstract: As large language models (LLMs) permeate more and more applications, an assessment of their associated security risks becomes increasingly necessary. The potential for exploitation by malicious actors, ranging from disinformation to data breaches and reputation damage, is substantial. This paper addresses a gap in current research by focusing on the security risks posed by LLMs, which extends beyond the widely covered ethical and societal implications. Our work proposes a taxonomy of security risks along the user-model communication pipeline, explicitly focusing on prompt-based attacks on LLMs. We categorize the attacks by target and attack type within a prompt-based interaction scheme. The taxonomy is reinforced with specific attack examples to showcase the real-world impact of these risks. Through this taxonomy, we aim to inform the development of robust and secure LLM applications, enhancing their safety and trustworthiness.


title: Rethinking Integrated Sensing and Communication: When Near Field Meets Wideband

abstract: This article revisits integrated sensing and communication (ISAC) systems that operate in the near-field region of large antenna arrays while utilizing large bandwidths. The article first describes the basic characteristics of a wideband sensing and communication (S&C) channel, highlighting the key changes that occur during the transition from the far-field to the near-field region, namely strong angular delay correlations and non-uniform Doppler frequencies. It is then revealed that the near-field effect can facilitate wideband-like S&C functionality, leading to efficient signal multiplexing and accurate distance sensing, and making large antenna arrays a viable alternative to large bandwidths. In addition, new capabilities for Doppler-domain signal multiplexing and velocity sensing enabled by non-uniform Doppler frequencies, which cannot be achieved by extending the bandwidth alone, are presented. Motivated by these results, several paradigm shifts required to leverage the full potential of near-field wideband ISAC systems are discussed, with particular emphasis on spectrum allocation, antenna array arrangement, transceiver architecture, and waveform design.


title: DiffSCI: Zero-Shot Snapshot Compressive Imaging via Iterative Spectral Diffusion Model

abstract: This paper endeavors to advance the precision of snapshot compressive imaging (SCI) reconstruction for multispectral image (MSI). To achieve this, we integrate the advantageous attributes of established SCI techniques and an image generative model, propose a novel structured zero-shot diffusion model, dubbed DiffSCI. DiffSCI leverages the structural insights from the deep prior and optimization-based methodologies, complemented by the generative capabilities offered by the contemporary denoising diffusion model. Specifically, firstly, we employ a pre-trained diffusion model, which has been trained on a substantial corpus of RGB images, as the generative denoiser within the Plug-and-Play framework for the first time. This integration allows for the successful completion of SCI reconstruction, especially in the case that current methods struggle to address effectively. Secondly, we systematically account for spectral band correlations and introduce a robust methodology to mitigate wavelength mismatch, thus enabling seamless adaptation of the RGB diffusion model to MSIs. Thirdly, an accelerated algorithm is implemented to expedite the resolution of the data subproblem. This augmentation not only accelerates the convergence rate but also elevates the quality of the reconstruction process. We present extensive testing to show that DiffSCI exhibits discernible performance enhancements over prevailing self-supervised and zero-shot approaches, surpassing even supervised transformer counterparts across both simulated and real datasets. Our code will be available.


title: Massive spin-flip excitations in a $\nu = 2$ quantum Hall ferromagnet

abstract: Excitation with a massive spin reversal of the individual skyrmion/antiskyrmion type is theoretically studied in a quantum Hall ferromagnet, where the zero and first Landau levels are completely occupied only by electrons with spins aligned strictly in the direction determined by the magnetic field. The Wigner-Seitz parameter is not necessarily considered to be small. The microscopic model in use is based on a reduced basic set of quantum states [the so-called ''single-mode (single-exciton) approximation''], which allows proper account to be taken for mixing of Landau levels, and substantiating the equations of the classical $O(3)$ nonlinear $\sigma$ model. The calculated ''spin stiffness'' determines the exchange gap for creating a pair of skyrmion and antiskyrmion. This gap is significantly smaller than the doubled cyclotron energy and the characteristic electron-electron correlation energy. Besides, the skyrmion--antiskyrmion creation gap is much smaller than the energy of creation of a separated electron--exchange-hole pair calculated in the limit case of a spin magnetoexciton corresponding to an infinitely large 2D momentum. At a certain magnetic field (related to the 2D electron density in the case of fixed filling factor $\nu$), the gap vanishes, which presumably points to a Stoner transition of the quantum Hall ferromagnet to a paramagnetic phase.


title: Spin-orbit coupling in a half-filled $t_{2g}$ shell: the case of $5d^3$ K$_2$ReCl$_6$

abstract: The half-filled $t_{2g}$ shell of the $t_{2g}^3$ configuration usually, in LS coupling, hosts a S = 3/2 ground state with quenched orbital moment. This state is not Jahn-Teller active. Sufficiently large spin-orbit coupling $\zeta$ has been predicted to change this picture by mixing in orbital moment, giving rise to a sizable Jahn-Teller distortion. In $5d^3$ K$_2$ReCl$_6$ we study the electronic excitations using resonant inelastic x-ray scattering (RIXS) and optical spectroscopy. We observe on-site intra-$t_{2g}$ excitations below 2 eV and corresponding overtones with two intra-$t_{2g}$ excitations on adjacent sites, the Mott gap at 2.7 eV, $t_{2g}$-to-$e_g$ excitations above 3 eV, and charge-transfer excitations at still higher energy. The intra-$t_{2g}$ excitation energies are a sensitive measure of $\zeta$ and Hund's coupling $J_H$. The sizable value of $\zeta \approx$ 0.29 eV places K$_2$ReCl$_6$ into the intermediate coupling regime, but $\zeta/J_H \approx 0.6$ is not sufficiently large to drive a pronounced Jahn-Teller effect. We discuss the ground state wavefunction in a Kanamori picture and find that the S = 3/2 multiplet still carries about 97 % of the weight. However, the finite admixture of orbital moment allows for subtle effects. We discuss small temperature-induced changes of the optical data and find evidence for a lowering of the ground state by about 3 meV below the structural phase transitions.


title: LifeLearner: Hardware-Aware Meta Continual Learning System for Embedded Computing Platforms

abstract: Continual Learning (CL) allows applications such as user personalization and household robots to learn on the fly and adapt to context. This is an important feature when context, actions, and users change. However, enabling CL on resource-constrained embedded systems is challenging due to the limited labeled data, memory, and computing capacity. In this paper, we propose LifeLearner, a hardware-aware meta continual learning system that drastically optimizes system resources (lower memory, latency, energy consumption) while ensuring high accuracy. Specifically, we (1) exploit meta-learning and rehearsal strategies to explicitly cope with data scarcity issues and ensure high accuracy, (2) effectively combine lossless and lossy compression to significantly reduce the resource requirements of CL and rehearsal samples, and (3) developed hardware-aware system on embedded and IoT platforms considering the hardware characteristics. As a result, LifeLearner achieves near-optimal CL performance, falling short by only 2.8% on accuracy compared to an Oracle baseline. With respect to the state-of-the-art (SOTA) Meta CL method, LifeLearner drastically reduces the memory footprint (by 178.7x), end-to-end latency by 80.8-94.2%, and energy consumption by 80.9-94.2%. In addition, we successfully deployed LifeLearner on two edge devices and a microcontroller unit, thereby enabling efficient CL on resource-constrained platforms where it would be impractical to run SOTA methods and the far-reaching deployment of adaptable CL in a ubiquitous manner. Code is available at https://github.com/theyoungkwon/LifeLearner.


title: Actors in Multi-Sector Transitions -- Discourse Analysis on Hydrogen in Germany

abstract: With net-zero emission goals, low-carbon transitions enter a new phase of development, leading to new challenges for policymaking and research. Multiple transitions unfold in parallel across different sectors. This involves a broad range of technologies, while actors engage in increasingly complex discourses. Here, we study the discourses on hydrogen in Germany. Based on the analysis of 179 newspaper articles from 2016 to 2020, we find that a diverse set of actors, including many industry incumbents, speak favorably about hydrogen, emphasizing economic opportunities and its relevance for the energy transition, whereas skeptics highlight its low energy efficiency and expected scarcity. With the help of discourse network analysis, we identify three emerging conflicts around the use, production, and import of hydrogen. We explain these conflicts and the widespread support of incumbents with a conceptual framework that captures the complex interplay of sectoral contexts, specific technologies and actor interests.


title: Precision at the indistinguishability threshold: a method for evaluating classification algorithms

abstract: There exist a wide range of single number metrics for assessing performance of classification algorithms, including AUC and the F1-score (Wikipedia lists 17 such metrics, with 27 different names). In this article, I propose a new metric to answer the following question: when an algorithm is tuned so that it can no longer distinguish labelled cats from real cats, how often does a randomly chosen image that has been labelled as containing a cat actually contain a cat? The steps to construct this metric are as follows. First, we set a threshold score such that when the algorithm is shown two randomly-chosen images -- one that has a score greater than the threshold (i.e. a picture labelled as containing a cat) and another from those pictures that really does contain a cat -- the probability that the image with the highest score is the one chosen from the set of real cat images is 50\%. At this decision threshold, the set of positively labelled images are indistinguishable from the set of images which are positive. Then, as a second step, we measure performance by asking how often a randomly chosen picture from those labelled as containing a cat actually contains a cat. This metric can be thought of as {\it precision at the indistinguishability threshold}. While this new metric doesn't address the tradeoff between precision and recall inherent to all such metrics, I do show why this method avoids pitfalls that can occur when using, for example AUC, and it is better motivated than, for example, the F1-score.


title: Offline Reinforcement Learning for Wireless Network Optimization with Mixture Datasets

abstract: The recent development of reinforcement learning (RL) has boosted the adoption of online RL for wireless radio resource management (RRM). However, online RL algorithms require direct interactions with the environment, which may be undesirable given the potential performance loss due to the unavoidable exploration in RL. In this work, we first investigate the use of \emph{offline} RL algorithms in solving the RRM problem. We evaluate several state-of-the-art offline RL algorithms, including behavior constrained Q-learning (BCQ), conservative Q-learning (CQL), and implicit Q-learning (IQL), for a specific RRM problem that aims at maximizing a linear combination {of sum and} 5-percentile rates via user scheduling. We observe that the performance of offline RL for the RRM problem depends critically on the behavior policy used for data collection, and further propose a novel offline RL solution that leverages heterogeneous datasets collected by different behavior policies. We show that with a proper mixture of the datasets, offline RL can produce a near-optimal RL policy even when all involved behavior policies are highly suboptimal.


title: Tensor-Aware Energy Accounting

abstract: With the rapid growth of Artificial Intelligence (AI) applications supported by deep learning (DL), the energy efficiency of these applications has an increasingly large impact on sustainability. We introduce Smaragdine, a new energy accounting system for tensor-based DL programs implemented with TensorFlow. At the heart of Smaragdine is a novel white-box methodology of energy accounting: Smaragdine is aware of the internal structure of the DL program, which we call tensor-aware energy accounting. With Smaragdine, the energy consumption of a DL program can be broken down into units aligned with its logical hierarchical decomposition structure. We apply Smaragdine for understanding the energy behavior of BERT, one of the most widely used language models. Layer-by-layer and tensor-by-tensor, Smaragdine is capable of identifying the highest energy/power-consuming components of BERT. Furthermore, we conduct two case studies on how Smaragdine supports downstream toolchain building, one on the comparative energy impact of hyperparameter tuning of BERT, the other on the energy behavior evolution when BERT evolves to its next generation, ALBERT.


title: A Performance Study of Horizontally Explicit Vertically Implicit (HEVI) Time-Integrators for Non-Hydrostatic Atmospheric Models

abstract: We conduct a thorough study of different forms of horizontally explicit and vertically implicit (HEVI) time-integration strategies for the compressible Euler equations on spherical domains typical of nonhydrostatic global atmospheric applications. We compare the computational time and complexity of two nonlinear variants (NHEVI-GMRES and NHEVI-LU) and a linear variant (LHEVI). We report on the performance of these three variants for a number of additive Runge-Kutta Methods ranging in order of accuracy from second through fifth, and confirm the expected order of accuracy of the HEVI methods for each time-integrator. To gauge the maximum usable time-step of each HEVI method, we run simulations of a nonhydrostatic baroclinic instability for 100 days and then use this time-step to compare the time-to-solution of each method. The results show that NHEVI-LU is 2x faster than NHEVI-GMRES, and LHEVI is 5x faster than NHEVI-LU, for the idealized cases tested. The baroclinic instability and inertia-gravity wave simulations indicate that the optimal choice of time-integrator is LHEVI with either second or third order schemes, as both schemes yield similar time to solution and relative L2 error at their maximum usable time-steps. In the future, we will report on whether these results hold for more complex problems using, e.g., real atmospheric data and/or a higher model top typical of space weather applications.


title: Open charm production cross section from combined LHC experiments in $pp$ collisions at $\sqrt{s} = 5.02$ TeV

abstract: Open charm production in proton-proton collisions represents an important tool to investigate some of the most fundamental aspects of Quantum Chromodynamics, from the partonic mechanisms of heavy-quark production to the process of heavy-quark hadronisation. Over the last decade, the measurement of the production cross sections of charm mesons and baryons in proton-proton (pp) collisions was at the centre of a wide experimental effort at the Large Hadron Collider. Thanks to the complementarity of the different experiments, the production of charm hadrons was measured over a wide transverse momentum region and in different rapidity ranges. In this paper, the measurements of the charm hadrons $D^0$, $D^*$, $D^+$, $D_s^+$, $\Lambda_c^+$ and $\Xi_c^0$ performed by the ALICE, CMS and LHCb collaborations in pp collisions at the centre-of-mass energy $\sqrt{s}=\rm 5.02~TeV$ are combined to determine the total charm-quark production cross section $\sigma_{c\overline{c}}$ in a novel data-driven approach. The resulting total $c\overline{c}$ cross section is \begin{equation*} \begin{aligned} \sigma_\mathrm{c\overline{c}} (\mathrm{pp},5.02\,\mathrm{TeV}) ={} & 8340.9 \pm 217.8\mathrm{ (stat.) } {}^{+367.1}_{-367.2} \mathrm{ (syst.) } {}^{+362.5}_{-457.5} \mathrm{ (extr.) } + 679.9 (\Omega_\mathrm{c})~\mu\mathrm{b}. \end{aligned} \end{equation*} The measured charm-hadron distributions and corresponding cross sections are compared with the most recent theoretical calculations.


title: Appearance Codes using Joint Embedding Learning of Multiple Modalities

abstract: The use of appearance codes in recent work on generative modeling has enabled novel view renders with variable appearance and illumination, such as day-time and night-time renders of a scene. A major limitation of this technique is the need to re-train new appearance codes for every scene on inference, so in this work we address this problem proposing a framework that learns a joint embedding space for the appearance and structure of the scene by enforcing a contrastive loss constraint between different modalities. We apply our framework to a simple Variational Auto-Encoder model on the RADIATE dataset \cite{sheeny2021radiate} and qualitatively demonstrate that we can generate new renders of night-time photos using day-time appearance codes without additional optimization iterations. Additionally, we compare our model to a baseline VAE that uses the standard per-image appearance code technique and show that our approach achieves generations of similar quality without learning appearance codes for any unseen images on inference.


title: Self-interacting approximation to McKean-Vlasov long-time limit: a Markov chain Monte Carlo method

abstract: For a certain class of McKean--Vlasov processes, we introduce proxy processes that substitute the mean-field interaction with self-interaction, employing a weighted occupation measure. Our study encompasses two key achievements. First, we demonstrate the ergodicity of the self-interacting dynamics, under broad conditions, by applying the reflection coupling method. Second, in scenarios where the drifts are negative intrinsic gradients of convex mean-field potential functionals, we use entropy and functional inequalities to demonstrate that the stationary measures of the self-interacting processes approximate the invariant measures of the corresponding McKean--Vlasov processes. As an application, we show how to learn the optimal weights of a two-layer neural network by training a single neuron.


title: Fast Heavy Inner Product Identification Between Weights and Inputs in Neural Network Training

abstract: In this paper, we consider a heavy inner product identification problem, which generalizes the Light Bulb problem~(\cite{prr89}): Given two sets $A \subset \{-1,+1\}^d$ and $B \subset \{-1,+1\}^d$ with $|A|=|B| = n$, if there are exact $k$ pairs whose inner product passes a certain threshold, i.e., $\{(a_1, b_1), \cdots, (a_k, b_k)\} \subset A \times B$ such that $\forall i \in [k], \langle a_i,b_i \rangle \geq \rho \cdot d$, for a threshold $\rho \in (0,1)$, the goal is to identify those $k$ heavy inner products. We provide an algorithm that runs in $O(n^{2 \omega / 3+ o(1)})$ time to find the $k$ inner product pairs that surpass $\rho \cdot d$ threshold with high probability, where $\omega$ is the current matrix multiplication exponent. By solving this problem, our method speed up the training of neural networks with ReLU activation function.


title: Discreteness effects on the fluxon interaction with the dipole impurity in the Josephson transmission line

abstract: The influence of discreteness on the fluxon scattering on the dipole-like impurity is studied. This kind of impurity is used to model the qubit inductively coupled to the Josephson transmission line (JTL). The previously proposed fluxon assisted readout process of the qubit state is based on measuring the passage time through the dipole impurity. The aim of this work is to clarify the role of the discreteness in this qubit readout process. It is demonstrated that the fluxon delay time on the qubit impurity increases significantly if the discreteness of the JTL increases. Also it is shown that the difference between the fluxon threshold currents for the positive and negative qubits decreases with the increase of discreteness.


title: Enhancement of photon blockade via topological edge states

abstract: Quantum technologies, holding the promise of exponentially superior performance than their classical counterparts for certain tasks, have consistently encountered challenges, including instability in quantum light sources, quantum decoherence and vulnerability to losses that topological photonics happens to adeptly address. Here, we theoretically put forth a quantum Su-Schrieffer-Heeger-type chain designed to greatly enhance single-photon blockade (single-PB) effect with topological protection. By designing the deliberate coupling strengths, the quantum-level lattices take the form of a one-dimensional array with a topological edge state in single-excitation space and a two-dimensional square breathing lattice with topological corner states in two-excitation space, resulting in enhanced single-photon excitation and the suppression of two-photon transitions. Therefore the second-order correlation function is diminished by up to two orders of magnitude at the cavity resonance frequency, accompanied by stronger brightness.Furthermore, the PB effect is robust to local perturbations in cavity-qubit coupling and qubit frequency, benefitting from topological protection.


title: Optimal control of thermal and mechanical loads in activation processes of mechanical components

abstract: This paper develops a mathematical framework that aims to control the temperature and rotational speed in the activation process of a gas turbine in an optimal way. These controls influence the deformation and the stress in the component due to centripetal loads and transient thermal stress. An optimal control problem is formulated as the minimization of maximal von Mises stress over a given time and over the whole component. To find a solution for this, we need to solve the linear thermoelasticity and the heat equations using the finite element method. The results for the optimal control as functions of the rotation speed and external gas temperature over time are computed by sequential quadratic programming, where gradients are computed using finite differences.The overall outcome reveals a significant reduction of approximately 10\%, from $830 \frac{N}{mm^2}$ to $750 \frac{N}{mm^2}$, in von Mises stress by controlling two parameters, along with the temporal separation of physical control phenomena.


title: Refining Blecher and Knopfmacher's Integer Partition Fixed Points

abstract: Recently, Blecher and Knopfmacher explored the notion of fixed points in integer partitions. Here, we distinguish partitions with a fixed point by which value is fixed and analyze the resulting triangle of integers. In particular, we confirm various identities for diagonal sums, row sums, and antidiagonal sums (which are finite for this triangle) and establish a four-term recurrence for triangle entries analogous to Pascal's lemma for the triangle of binomial coefficients. The partition statistics crank and mex arise. All proofs are combinatorial.


title: Low spin spectroscopy of neutron-rich 43,44,45Cl via {\beta} and (\beta}n decay

abstract: {\beta} decay of neutron-rich isotopes 43,45 S,studied at the National Superconducting Cyclotron Laboratory is reported here. {\beta} delayed {\gamma} transitions were detected by an array of 16 clover detectors surrounding the Beta Counting Station which consists of a 40x40 Double Sided Silicon Strip Detector followed by a Single Sided Silicon Strip Detector. {\beta} decay half-lives have been extracted for 43,45 S by correlating implants and decays in the pixelated implant detector with further coincidence with {\gamma} transitions in the daughter nucleus. The level structure of 43,45 Cl is expanded by the addition of 20 new {\gamma} transitions in 43Cl and 8 in 45 Cl with the observation of core excited negative-parity states for the first time. For 45 S decay, a large fraction of the {\beta} decay strength goes to delayed neutron emission populating states in 44 Cl which are also presented. Comparison of experimental observations is made to detailed shell-model calculations using the SDPFSDG-MU interaction to highlight the role of the diminished N = 28 neutron shell gap and the near degeneracy of the proton s 1/2 and d 3/2 orbitals on the structure of the neutron-rich Cl isotopes. The current work also provides further support to a ground state spin-parity assignment of 3/2 + in 45 Cl.


title: Unveiling Public Perceptions: Machine Learning-Based Sentiment Analysis of COVID-19 Vaccines in India

abstract: In March 2020, the World Health Organisation declared COVID-19 a global pandemic as it spread to nearly every country. By mid-2021, India had introduced three vaccines: Covishield, Covaxin, and Sputnik. To ensure successful vaccination in a densely populated country like India, understanding public sentiment was crucial. Social media, particularly Reddit with over 430 million users, played a vital role in disseminating information. This study employs data mining techniques to analyze Reddit data and gauge Indian sentiments towards COVID-19 vaccines. Using Python's Text Blob library, comments are annotated to assess general sentiments. Results show that most Reddit users in India expressed neutrality about vaccination, posing a challenge for the Indian government's efforts to vaccinate a significant portion of the population.


title: Duality of Bures and Shape Distances with Implications for Comparing Neural Representations

abstract: A multitude of (dis)similarity measures between neural network representations have been proposed, resulting in a fragmented research landscape. Most of these measures fall into one of two categories. First, measures such as linear regression, canonical correlations analysis (CCA), and shape distances, all learn explicit mappings between neural units to quantify similarity while accounting for expected invariances. Second, measures such as representational similarity analysis (RSA), centered kernel alignment (CKA), and normalized Bures similarity (NBS) all quantify similarity in summary statistics, such as stimulus-by-stimulus kernel matrices, which are already invariant to expected symmetries. Here, we take steps towards unifying these two broad categories of methods by observing that the cosine of the Riemannian shape distance (from category 1) is equal to NBS (from category 2). We explore how this connection leads to new interpretations of shape distances and NBS, and draw contrasts of these measures with CKA, a popular similarity measure in the deep learning literature.


title: Decoding the Molecular Universe -- Workshop Report

abstract: On August 9-10, 2023, a workshop was convened at the Pacific Northwest National Laboratory (PNNL) in Richland, WA that brought together a group of internationally recognized experts in metabolomics, natural products discovery, chemical ecology, chemical and biological threat assessment, cheminformatics, computational chemistry, cloud computing, artificial intelligence, and novel technology development. These experts were invited to assess the value and feasibility of a grand-scale project to create new technologies that would allow the identification and quantification of all small molecules, or to decode the molecular universe. The Decoding the Molecular Universe project would extend and complement the success of the Human Genome Project by developing new capabilities and technologies to measure small molecules (defined as non-protein, non-polymer molecules less than 1500 Daltons) of any origin and generated in biological systems or produced abiotically. Workshop attendees 1) explored what new understanding of biological and environmental systems could be revealed through the lens of small molecules; 2) characterized the similarities in current needs and technical challenges between each science or mission area for unambiguous and comprehensive determination of the composition and quantities of small molecules of any sample; 3) determined the extent to which technologies or methods currently exist for unambiguously and comprehensively determining the small molecule composition of any sample and in a reasonable time; and 4) identified the attributes of the ideal technology or approach for universal small molecule measurement and identification. The workshop concluded with a discussion of how a project of this scale could be undertaken, possible thrusts for the project, early proof-of-principle applications, and similar efforts upon which the project could be modeled.


title: Magnetic dipole transition in $^{48}$Ca

abstract: The magnetic dipole transition strength $B(M1)$ of $^{48}$Ca is dominated by a single resonant state at an excitation energy of 10.23 MeV. Experiments disagree about $B(M1)$ and this impacts our understanding of spin flips in nuclei. We performed ab initio computations based on chiral effective field theory and found that $B(M1:0^+\rightarrow1^+)$ lies in the range from $7.0$ to $10.2~\mu_N^2$. This is consistent with a $(\gamma,n)$ experiment but larger than results from $(e,e^\prime)$ and $(p,p')$ scattering. Two-body currents yield no quenching of the $B(M1)$ strength and continuum effects reduce it by about 10%. For a validation of our approach, we computed magnetic moments in $^{47,49}$Ca and performed benchmark calculations in light nuclei.


title: Improved Defect Detection and Classification Method for Advanced IC Nodes by Using Slicing Aided Hyper Inference with Refinement Strategy

abstract: In semiconductor manufacturing, lithography has often been the manufacturing step defining the smallest possible pattern dimensions. In recent years, progress has been made towards high-NA (Numerical Aperture) EUVL (Extreme-Ultraviolet-Lithography) paradigm, which promises to advance pattern shrinking (2 nm node and beyond). However, a significant increase in stochastic defects and the complexity of defect detection becomes more pronounced with high-NA. Present defect inspection techniques (both non-machine learning and machine learning based), fail to achieve satisfactory performance at high-NA dimensions. In this work, we investigate the use of the Slicing Aided Hyper Inference (SAHI) framework for improving upon current techniques. Using SAHI, inference is performed on size-increased slices of the SEM images. This leads to the object detector's receptive field being more effective in capturing small defect instances. First, the performance on previously investigated semiconductor datasets is benchmarked across various configurations, and the SAHI approach is demonstrated to substantially enhance the detection of small defects, by approx. 2x. Afterwards, we also demonstrated application of SAHI leads to flawless detection rates on a new test dataset, with scenarios not encountered during training, whereas previous trained models failed. Finally, we formulate an extension of SAHI that does not significantly reduce true-positive predictions while eliminating false-positive predictions.


title: Microbes in porous environments: From active interactions to emergent feedback

abstract: Microbes thrive in diverse porous environments -- from soil and riverbeds to human lungs and cancer tissues -- spanning multiple scales and conditions. Short- to long-term fluctuations in local factors induce spatio-temporal heterogeneities, often leading to physiologically stressful settings. How microbes respond and adapt to such biophysical constraints is an active field of research where considerable insight has been gained over the last decade and a half. With a focus on bacteria, here we review recent advances in microbial self-organization and dispersal in inorganic and organic porous settings, highlighting the role of active interactions and feedback which mediate their survival and fitness. We conclude by discussing open questions and opportunities for leveraging integrative cross-disciplinary approaches to advance our understanding of the biophysical strategies that microbes employ -- at both species and community scales -- to make porous settings habitable. Active and responsive behaviour is key to microbial survival in porous environments, with far-reaching ramifications for developing strategies to mitigate anthropogenic impacts, innovate subsurface storage solutions, and predict future ecological scenarios imposed by current climatic changes.


title: Spot the Bot: Distinguishing Human-Written and Bot-Generated Texts Using Clustering and Information Theory Techniques

abstract: With the development of generative models like GPT-3, it is increasingly more challenging to differentiate generated texts from human-written ones. There is a large number of studies that have demonstrated good results in bot identification. However, the majority of such works depend on supervised learning methods that require labelled data and/or prior knowledge about the bot-model architecture. In this work, we propose a bot identification algorithm that is based on unsupervised learning techniques and does not depend on a large amount of labelled data. By combining findings in semantic analysis by clustering (crisp and fuzzy) and information techniques, we construct a robust model that detects a generated text for different types of bot. We find that the generated texts tend to be more chaotic while literary works are more complex. We also demonstrate that the clustering of human texts results in fuzzier clusters in comparison to the more compact and well-separated clusters of bot-generated texts.


title: Generalized Cross-Validation as a Method of Hyperparameter Search for MTGV Regularization

abstract: The concept of generalized cross-validation (GCV) is applied to modified total generalized variation (MTGV) regularization. Current implementations of the MTGV regularization rely on manual (or semi-manual) hyperparameter optimization, which is both time-consuming and subject to bias. The combination of MTGV-regularization and GCV allows for a straightforward hyperparameter search during regularization. This significantly increases the efficiency of the MTGV-method, because it limits the number of hyperparameters, which have to be tested and, improves the practicality of MTGV regularization as a standard technique for inversion of NMR signals. The combined method is applied to simulated and experimental NMR data and the resulting reconstructed distributions are presented. It is shown that for all data sets studied the proposed combination of MTGV and GCV minimizes the GCV score allowing an optimal hyperparameter choice.


title: Taking Complete Finite Prefixes To High Level, Symbolically

abstract: Unfoldings are a well known partial-order semantics of P/T Petri nets that can be applied to various model checking or verification problems. For high-level Petri nets, the so-called symbolic unfolding generalizes this notion. A complete finite prefix of a P/T Petri net's unfolding contains all information to verify, e.g., reachability of markings. We unite these two concepts and define complete finite prefixes of the symbolic unfolding of high-level Petri nets. For a class of safe high-level Petri nets, we generalize the well-known algorithm by Esparza et al. for constructing small such prefixes. We evaluate this extended algorithm through a prototype implementation on four novel benchmark families. Additionally, we identify a more general class of nets with infinitely many reachable markings, for which an approach with an adapted cut-off criterion extends the complete prefix methodology, in the sense that the original algorithm cannot be applied to the P/T net represented by a high-level net.


title: Establishing Dynamic Secure Sessions for ECQV Implicit Certificates in Embedded Systems

abstract: Be it in the IoT or automotive domain, implicit certificates are gaining ever more prominence in constrained embedded devices. They present a resource-efficient security solution against common threat concerns. The computational requirements are not the main issue anymore. The focus is now placed on determining a good balance between the provided security level and the derived threat model. A security aspect that often gets overlooked is the establishment of secure communication sessions, as most design solutions are based only on the use of static key derivation, and therefore, lack the perfect forward secrecy. This leaves the transmitted data open for potential future exposures by having keys tied to the certificates rather than the communication sessions. We aim to patch this gap, by presenting a design that utilizes the Station to Station (STS) protocol with implicit certificates. In addition, we propose potential protocol optimization implementation steps and run a comprehensive study on the performance and security level between the proposed design and the state-of-the-art key derivation protocols. In our comparative study, we show that with a slight computational increase of 20\% compared to a static ECDSA key derivation, we are able to mitigate many session-related security vulnerabilities that would otherwise remain open.


title: Maximum likelihood inference for a class of discrete-time Markov-switching time series models with multiple delays

abstract: Autoregressive Markov switching (ARMS) time series models are used to represent real-world signals whose dynamics may change over time. They have found application in many areas of the natural and social sciences, as well as in engineering. In general, inference in this kind of systems involves two problems: (a) detecting the number of distinct dynamical models that the signal may adopt and (b) estimating any unknown parameters in these models. In this paper, we introduce a class of ARMS time series models that includes many systems resulting from the discretisation of stochastic delay differential equations (DDEs). Remarkably, this class includes cases in which the discretisation time grid is not necessarily aligned with the delays of the DDE, resulting in discrete-time ARMS models with real (non-integer) delays. We describe methods for the maximum likelihood detection of the number of dynamical modes and the estimation of unknown parameters (including the possibly non-integer delays) and illustrate their application with an ARMS model of El Ni\~no--southern oscillation (ENSO) phenomenon.


title: Weight Norm Control

abstract: We note that decoupled weight decay regularization is a particular case of weight norm control where the target norm of weights is set to 0. Any optimization method (e.g., Adam) which uses decoupled weight decay regularization (respectively, AdamW) can be viewed as a particular case of a more general algorithm with weight norm control (respectively, AdamWN). We argue that setting the target norm of weights to 0 can be suboptimal and other target norm values can be considered. For instance, any training run where AdamW achieves a particular norm of weights can be challenged by AdamWN scheduled to achieve a comparable norm of weights. We discuss various implications of introducing weight norm control instead of weight decay.


title: Two-step BEC coming from a temperature dependent energy gap

abstract: We report the effects on the thermodynamic properties of a 3D Bose gas caused by a temperature dependent energy gap $\Delta (T)$ at the lower edge of the energy spectrum of the particles constituting the Bose gas which behaves like an ideal Bose gas when the gap is removed. Explicit formulae are given for the critical temperature, the condensate fraction, the internal energy and the isochoric specific heat, which are calculated for three different gaps that abruptly go to zero at temperature $T_B$, as well as for the damped counterparts whose drop to zero we have smoothed. In particular, for the undamped BCS (Bardeen, Cooper and Schrieffer) gap it is observed that the Bose-Einstein condensation (BEC) critical temperature $T_c$ is equal to that of the ideal Bose gas $T_0$, for all $T_B \leq T_0$; surprisingly, the condensate fraction presents two different filling rates of the ground state at $T_c = T_0$ and at $T_B < T_0$; while the specific heat shows a finite jump at $T_c$ as well as a divergence at $T_B$. Three-dimensional infinite Bose gas results are recovered when the temperature independent gap is either a constant or equal to zero.


title: Fast and Facile Synthesis Route to Epitaxial Oxide Membrane Using a Sacrificial Layer

abstract: The advancement in thin-film exfoliation for synthesizing oxide membranes has opened up new possibilities for creating artificially-assembled heterostructures with structurally and chemically incompatible materials. The sacrificial layer method is a promising approach to exfoliate as-grown films from a compatible material system, allowing their integration with dissimilar materials. Nonetheless, the conventional sacrificial layers often possess intricate stoichiometry, thereby constraining their practicality and adaptability, particularly when considering techniques like Molecular Beam Epitaxy (MBE). This is where easy-to-grow binary alkaline earth metal oxides with a rock salt crystal structure are useful. These oxides, which include (Mg, Ca, Sr, Ba)O, can be used as a sacrificial layer covering a much broader range of lattice parameters compared to conventional sacrificial layers and are easily dissolvable in deionized water. In this study, we show the epitaxial growth of single-crystalline perovskite SrTiO3 (STO) on sacrificial layers consisting of crystalline SrO, BaO, and Ba1-xCaxO films, employing a hybrid MBE method. Our results highlight the rapid (< 5 minutes) dissolution of the sacrificial layer when immersed in deionized water, facilitating the fabrication of millimeter-sized STO membranes. Using high-resolution x-ray diffraction, atomic-force microscopy, scanning transmission electron microscopy, impedance spectroscopy, and scattering-type near-field optical microscopy (SNOM), we demonstrate epitaxial STO membranes with bulk-like intrinsic dielectric properties. The employment of alkaline earth metal oxides as sacrificial layers is likely to simplify membrane synthesis, particularly with MBE, thus expanding research possibilities.


title: Quasi-boson approximation yields accurate correlation energy in the 2D electron gas

abstract: We report the successful adaptation of the quasi-boson approximation, a technique traditionally employed in nuclear physics, to the analysis of the two-dimensional electron gas. We show that the correlation energy estimated from this approximation agrees closely with the results obtained from quantum Monte Carlo simulations. Our methodology comprehensively incorporates the exchange self-energy, direct scattering, and exchange scattering for a particle-hole pair excited out of the mean-field groundstate within the equation-of-motion framework. The linearization of the equation of motion leads to a generalized-random-phase-approximation (gRPA) eigenvalue equation whose spectrum indicates that the plasmon dispersion remains unaffected by exchange effects, while the particle-hole continuum experiences a marked upward shift due to the exchange self-energy. Notably, the plasmon mode retains its collective nature within the particle-hole continuum, up to moderately short wavelength ($q\sim 0.3 k_F$ at metallic density $r_s=4$). Using the gRPA excitation spectrum, we calculate the zero-point energy of the quasi-boson Hamiltonian, thereby approximating the correlation energy of the original Hamiltonian. This research highlights the potential and effectiveness of applying the quasi-boson approximation to the gRPA spectrum, a fundamental technique in nuclear physics, to extended condensed matter systems.


title: Graphene-perovskite fibre photodetectors

abstract: The integration of optoelectronic devices, such as transistors and photodetectors (PDs), into wearables and textiles is of great interest for applications such as healthcare and physiological monitoring. These require flexible/wearable systems adaptable to body motions, thus materials conformable to non-planar surfaces, and able to maintain performance under mechanical distortions. Here, we prepare fibre PDs combining rolled graphene layers and photoactive perovskites. Conductive fibres ($\sim$500$\Omega$/cm) are made by rolling single layer graphene (SLG) around silica fibres, followed by deposition of a dielectric layer (Al$_{2}$O$_{3}$ and parylene C), another rolled SLG as channel, and perovskite as photoactive component. The resulting gate-tunable PDs have response time$\sim$5ms, with an external responsivity$\sim$22kA/W at 488nm for 1V bias. The external responsivity is two orders of magnitude higher and the response time one order of magnitude faster than state-of-the-art wearable fibre based PDs. Under bending at 4mm radius, up to$\sim$80\% photocurrent is maintained. Washability tests show$\sim$72\% of initial photocurrent after 30 cycles, promising for wearable applications.


title: Small-area Portable Resistive Plate Chambers for Muography

abstract: Muography is finding applications in various domains such as volcanology, archaeology, civil engineering, industry, mining, and nuclear waste surveys. To simplify transportation and installation in remote locations after laboratory testing, a fully portable and autonomous muon telescope based on Resistive Plate Chambers (RPCs) is being developed. Two glass-RPC prototypes have been created, sharing the same design goals but with different detector parameters, and comparative studies are ongoing. Drawing from prototype experience, a double-gap RPC with advanced features and improved spatial resolution is constructed. Resistive electrodes are produced manually, and a new data acquisition board is currently undergoing calibration. The results on prototype performance, readout board comparisons and the technical progress on the double-gap RPC are presented.


title: Physics-Enhanced TinyML for Real-Time Detection of Ground Magnetic Anomalies

abstract: Space weather phenomena like geomagnetic disturbances (GMDs) and geomagnetically induced currents (GICs) pose significant risks to critical technological infrastructure. While traditional predictive models, grounded in simulation, hold theoretical robustness, they grapple with challenges, notably the assimilation of imprecise data and extensive computational complexities. In recent years, Tiny Machine Learning (TinyML) has been adopted to develop Machine Learning (ML)-enabled magnetometer systems for predicting real-time terrestrial magnetic perturbations as a proxy measure for GIC. While TinyML offers efficient, real-time data processing, its intrinsic limitations prevent the utilization of robust methods with high computational needs. This paper developed a physics-guided TinyML framework to address the above challenges. This framework integrates physics-based regularization at the stages of model training and compression, thereby augmenting the reliability of predictions. The developed pruning scheme within the framework harnesses the inherent physical characteristics of the domain, striking a balance between model size and robustness. The study presents empirical results, drawing a comprehensive comparison between the accuracy and reliability of the developed framework and its traditional counterpart. Such a comparative analysis underscores the prospective applicability of the developed framework in conceptualizing robust, ML-enabled magnetometer systems for real-time space weather forecasting.


title: Detecting temporal scaling with modified diffusion entropy analysis

abstract: We present a modification to the diffusion entropy analysis method for detecting temporal scaling. Diffusion entropy analysis detects temporal scaling in a data set by converting a time-series into a diffusion trajectory and using the entropy of that trajectory to measure the temporal scaling in the data. We modify this by performing an event detection step to construct the diffusion trajectory. The new modified diffusion entropy analysis offers substantial improvements over the original method, especially for noisy data. We describe the method's purpose, how it works step-by-step, its application, and future development.


title: Binary Stars in the New Millennium

abstract: Binary stars are as common as single stars. Binary stars are of immense importance to astrophysicists because that they allow us to determine the masses of the stars independent of their distances. They are the cornerstone of the understanding of stellar evolutionary theory and play an essential role in cosmic distance measurement, galactic evolution, nucleosynthesis and the formation of important objects such as cataclysmic variable stars, X-ray binaries, Type Ia supernovae, and gravitational wave-producing double compact objects. In this article, we review the significant theoretical and observational progresses in addressing binary stars in the new millennium. Increasing large survey projects have led to the discovery of enormous numbers of binary stars, which enables us to conduct statistical studies of binary populations, and therefore provide unprecedented insight into the stellar and binary evolution physics. Meanwhile, the rapid development of theoretical concepts and numerical approaches for binary evolution have made a substantial progress on the alleviation of some long-standing binary-related problems such as the stability of mass transfer and common envelope evolution. Nevertheless, it remains a challenge to have a full understanding of fundamental problems of stellar and binary astrophysics. The upcoming massive survey projects and increasingly sophisticated computational methods will lead to future progress.


title: Universal Symmetry and its Soft Breaking in Renormalizable Supersymmetric Field Theory

abstract: It is pointed out that every renormalizable supersymmetric field theory has a symmetry which is hidden in plain sight, but is usually broken by soft terms which obey supersymmetry. On the other hand, the terms which break supersymmetry softly may or may not break this symmetry. Implications for the minimal supersymmetric standard model (MSSM) are discussed.


title: The Arrow of Time is Alive and Well but Forbidden Under the Received View of Physics

abstract: This essay offers a meta-level analysis in the sociology and history of physics in the context of the so-called "Arrow of Time Problem" or "Two Times Problem," which asserts that the empirically observed directionality of time is in conflict with physical theory. I argue that there is actually no necessary conflict between physics and the arrow of time, and that the observed directionality of time is perfectly consistent with physics unconstrained by certain optional metaphysical, epistemological and methodological beliefs and practices characterizing the conventional or Received View.


title: Foundational Competencies and Responsibilities of a Research Software Engineer

abstract: The term Research Software Engineer, or RSE, emerged a little over 10 years ago as a way to represent individuals working in the research community but focusing on software development. The term has been widely adopted and there are a number of high-level definitions of what an RSE is. However, the roles of RSEs vary depending on the institutional context they work in. At one end of the spectrum, RSE roles may look similar to a traditional research role. At the other extreme, they resemble that of a software engineer in industry. Most RSE roles inhabit the space between these two extremes. Therefore, providing a straightforward, comprehensive definition of what an RSE does and what experience, skills and competencies are required to become one is challenging. In this community paper we define the broad notion of what an RSE is, explore the different types of work they undertake, and define a list of fundamental competencies as well as values that define the general profile of an RSE. On this basis, we elaborate on the progression of these skills along different dimensions, looking at specific types of RSE roles, proposing recommendations for organisations, and giving examples of future specialisations. An appendix details how existing curricula fit into this framework.


title: Conformally compact and higher conformal Yang-Mills equations

abstract: On conformally compact manifolds we study Yang-Mills equations, their boundary conditions, formal asymptotics, and Dirichlet-to-Neumann maps. We find that smooth solutions with "magnetic" Dirichlet boundary data are obstructed by a conformally invariant, higher order boundary current. We study the asymptotics of the interior Yang-Mills energy functional and show that the obstructing current is the variation of the conformally invariant coefficient of the first log term in this expansion which is a higher derivative conformally invariant analog of the Yang-Mills energy. The invariant energy is the anomaly for the renormalized interior Yang-Mills functional and its variation gives higher conformal Yang-Mills equations. Global solutions to the magnetic boundary problem determine higher order "electric" Neumann data. This yields the Dirichlet-to-Neumann map. We also construct conformally invariant, higher transverse derivative boundary operators. Acting on interior connections, they give obstructions to solving the Yang-Mills boundary problem, determine the asymptotics of formal solutions, and yield conformally invariant tensors capturing the (non-local) electric Neumann data. We also characterize a renormalized Yang-Mills action functional that encodes global features analogously to the renormalized volume for Poincar\'e-Einstein structures.


title: Data-efficient generation of protein conformational ensembles with backbone-to-side chain transformers

abstract: Excitement at the prospect of using data-driven generative models to sample configurational ensembles of biomolecular systems stems from the extraordinary success of these models on a diverse set of high-dimensional sampling tasks. Unlike image generation or even the closely related problem of protein structure prediction, there are not currently data sources with sufficient breadth to parameterize generative models for conformational ensembles. To enable discovery, a fundamentally different approach to building generative models is required: models should be able to propose rare, albeit physical, conformations that may not arise in even the largest data sets. Here we introduce a modular strategy to generate conformations based on ``backmapping'' from a fixed protein backbone that 1) maintains conformational diversity of the side chains and 2) couples the side chain fluctuations using global information about the protein conformation. Our model combines simple statistical models of side chain conformations based on rotamer libraries with the now ubiquitous transformer architecture to sample with atomistic accuracy. Together, these ingredients provide a strategy for rapid data acquistion and hence a crucial ingredient for scalable physical simulation with generative neural networks.


title: Classical Stability Margins by PID Control

abstract: Proportional-Integral-Derivative (PID) control has been the workhorse of control technology for about a century. Yet to this day, designing and tuning PID controllers relies mostly on either tabulated rules (Ziegler-Nichols) or on classical graphical techniques (Bode). Our goal in this paper is to take a fresh look on PID control in the context of optimizing stability margins for low-order (first- and second-order) linear time-invariant systems. Specifically, we seek to derive explicit expressions for gain and phase margins that are achievable using PID control, and thereby gain insights on the role of unstable poles and nonminimum-phase zeros in attaining robust stability. In particular, stability margins attained by PID control for minimum-phase systems match those obtained by more general control, while for nonminimum-phase systems, PID control achieves margins that are no worse than those of general control modulo a predetermined factor. Furthermore, integral action does not contribute to robust stabilization beyond what can be achieved by PD control alone.


title: Decoherence from Horizons: General Formulation and Rotating Black Holes

abstract: Recent work by Danielson, Satishchandran, and Wald (DSW) has shown that black holes -- and, in fact, Killing horizons more generally -- impart a fundamental rate of decoherence on all nearby quantum superpositions. The effect can be understood from measurement and causality: An observer (Bob) in the black hole should be able to disturb outside quantum superpositions by measuring their superposed gravitational fields, but since his actions cannot (by causality) have this effect, the superpositions must automatically disturb themselves. DSW calculated the rate of decoherence up to an unknown numerical factor for distant observers in Schwarzschild spacetime, Rindler observers in flat spacetime, and static observers in de Sitter spacetime. Working in electromagnetic and Klein-Gordon analogs, we flesh out and generalize their calculation to derive a general formula for the precise decoherence rate for Killing observers near bifurcate Killing horizons. We evaluate the rate in closed form for an observer at an arbitrary location on the symmetry axis of a Kerr black hole. This fixes the numerical factor in the distant-observer Schwarzschild result, while allowing new exploration of near-horizon and/or near-extremal behavior. In the electromagnetic case we find that the decoherence vanishes entirely in the extremal limit, due to the "Black hole Meissner effect" screening the Coulomb field from entering the black hole. This supports the causality picture: Since Bob is unable to measure the field of the outside superposition, no decoherence is necessary -- and indeed none occurs.


title: LLM aided semi-supervision for Extractive Dialog Summarization

abstract: Generating high-quality summaries for chat dialogs often requires large labeled datasets. We propose a method to efficiently use unlabeled data for extractive summarization of customer-agent dialogs. In our method, we frame summarization as a question-answering problem and use state-of-the-art large language models (LLMs) to generate pseudo-labels for a dialog. We then use these pseudo-labels to fine-tune a chat summarization model, effectively transferring knowledge from the large LLM into a smaller specialized model. We demonstrate our method on the \tweetsumm dataset, and show that using 10% of the original labelled data set we can achieve 65.9/57.0/61.0 ROUGE-1/-2/-L, whereas the current state-of-the-art trained on the entire training data set obtains 65.16/55.81/64.37 ROUGE-1/-2/-L. In other words, in the worst case (i.e., ROUGE-L) we still effectively retain 94.7% of the performance while using only 10% of the data.


title: Designing monitoring strategies for deployed machine learning algorithms: navigating performativity through a causal lens

abstract: After a machine learning (ML)-based system is deployed, monitoring its performance is important to ensure the safety and effectiveness of the algorithm over time. When an ML algorithm interacts with its environment, the algorithm can affect the data-generating mechanism and be a major source of bias when evaluating its standalone performance, an issue known as performativity. Although prior work has shown how to validate models in the presence of performativity using causal inference techniques, there has been little work on how to monitor models in the presence of performativity. Unlike the setting of model validation, there is much less agreement on which performance metrics to monitor. Different monitoring criteria impact how interpretable the resulting test statistic is, what assumptions are needed for identifiability, and the speed of detection. When this choice is further coupled with the decision to use observational versus interventional data, ML deployment teams are faced with a multitude of monitoring options. The aim of this work is to highlight the relatively under-appreciated complexity of designing a monitoring strategy and how causal reasoning can provide a systematic framework for choosing between these options. As a motivating example, we consider an ML-based risk prediction algorithm for predicting unplanned readmissions. Bringing together tools from causal inference and statistical process control, we consider six monitoring procedures (three candidate monitoring criteria and two data sources) and investigate their operating characteristics in simulation studies. Results from this case study emphasize the seemingly simple (and obvious) fact that not all monitoring systems are created equal, which has real-world impacts on the design and documentation of ML monitoring systems.


title: Spatial Arbitrage Through Bidirectional Electric Vehicle Charging with Delivery Fleets

abstract: The adoption of electric vehicles (EVs), including electric taxis and buses, as a mode of transportation, is rapidly increasing in cities. In addition to providing economic and environmental benefits, these fleets can potentially participate in the energy arbitrage market by leveraging their mobile energy storage capabilities. This presents an opportunity for EV owners to contribute to a more sustainable and efficient energy system while also reducing their operational costs. The present study introduces deterministic and single-stage stochastic optimization frameworks that aim to maximize revenue by optimizing the charging, discharging, and travel of a fleet of electric vehicles in the context of uncertainty surrounding both spatial and temporal energy prices. The simulations are performed on a fleet of electric delivery trucks, which have to make deliveries to certain locations on specific dates. The findings indicate the promising potential of bidirectional electric vehicle charging as a mobile grid asset. However, it is important to note that significant revenue is only realized in scenarios where there is substantial variation in prices between different areas, and when these price variations can be accurately forecasted with a high level of confidence.


title: Understanding Segment Anything Model: SAM is Biased Towards Texture Rather than Shape

abstract: In contrast to the human vision that mainly depends on the shape for recognizing the objects, deep image recognition models are widely known to be biased toward texture. Recently, Meta research team has released the first foundation model for image segmentation, termed segment anything model (SAM), which has attracted significant attention. In this work, we understand SAM from the perspective of texture \textit{v.s.} shape. Different from label-oriented recognition tasks, the SAM is trained to predict a mask for covering the object shape based on a promt. With this said, it seems self-evident that the SAM is biased towards shape. In this work, however, we reveal an interesting finding: the SAM is strongly biased towards texture-like dense features rather than shape. This intriguing finding is supported by a novel setup where we disentangle texture and shape cues and design texture-shape cue conflict for mask prediction.


title: Set projection algorithms for blind ptychographic phase retrieval

abstract: Set projection algorithms are a class of algorithms used in ptychography to help improve the quality of the reconstructed images. The set projection step is important because it helps to ensure that the reconstructed image satisfies the physical constraints, which can improve the quality of the final result. A new projection algorithm that combines the advantages of the existing algorithms is proposed and offers the possibility of a parallel algorithm for iterative algorithms.


title: SkateboardAI: The Coolest Video Action Recognition for Skateboarding

abstract: Impressed by the coolest skateboarding sports program from 2021 Tokyo Olympic Games, we are the first to curate the original real-world video datasets "SkateboardAI" in the wild, even self-design and implement diverse uni-modal and multi-modal video action recognition approaches to recognize different tricks accurately. For uni-modal methods, we separately apply (1) CNN and LSTM; (2) CNN and BiLSTM; (3) CNN and BiLSTM with effective attention mechanisms; (4) Transformer-based action recognition pipeline. Transferred to the multi-modal conditions, we investigated the two-stream Inflated-3D architecture on "SkateboardAI" datasets to compare its performance with uni-modal cases. In sum, our objective is developing an excellent AI sport referee for the coolest skateboarding competitions.


title: Bounding Lifts of Markoff Triples mod $p$

abstract: In 2016, Bourgain, Gamburd, and Sarnak proved that Strong Approximation holds for the Markoff surface in most cases. That is, the modulo $p$ solutions to the equation $X_1^2+X_2^2+X_3^2=3X_1X_2X_3$ are covered by the integer solutions for most primes $p$. In this paper, we provide upper bounds on lifts of mod $p$ points of the Markoff surface by analyzing the growth along paths in the Markoff mod $p$ graphs. Our first upper bound follows the algorithm given in the paper of Bourgain, Gamburd, and Sarnak, which constructs a path of possibly long length but where points grow relatively slowly. Our second bound considers paths in these graphs of short length but possibly large growth. We then provide numerical evidence and heuristic arguments for how these bounds might be improved.


title: DiffGANPaint: Fast Inpainting Using Denoising Diffusion GANs

abstract: Free-form image inpainting is the task of reconstructing parts of an image specified by an arbitrary binary mask. In this task, it is typically desired to generalize model capabilities to unseen mask types, rather than learning certain mask distributions. Capitalizing on the advances in diffusion models, in this paper, we propose a Denoising Diffusion Probabilistic Model (DDPM) based model capable of filling missing pixels fast as it models the backward diffusion process using the generator of a generative adversarial network (GAN) network to reduce sampling cost in diffusion models. Experiments on general-purpose image inpainting datasets verify that our approach performs superior or on par with most contemporary works.


title: 1st Place in ICCV 2023 Workshop Challenge Track 1 on Resource Efficient Deep Learning for Computer Vision: Budgeted Model Training Challenge

abstract: The budgeted model training challenge aims to train an efficient classification model under resource limitations. To tackle this task in ImageNet-100, we describe a simple yet effective resource-aware backbone search framework composed of profile and instantiation phases. In addition, we employ multi-resolution ensembles to boost inference accuracy on limited resources. The profile phase obeys time and memory constraints to determine the models' optimal batch-size, max epochs, and automatic mixed precision (AMP). And the instantiation phase trains models with the determined parameters from the profile phase. For improving intra-domain generalizations, the multi-resolution ensembles are formed by two-resolution images with randomly applied flips. We present a comprehensive analysis with expensive experiments. Based on our approach, we win first place in International Conference on Computer Vision (ICCV) 2023 Workshop Challenge Track 1 on Resource Efficient Deep Learning for Computer Vision (RCV).


title: Towards AI enabled automated tracking of multiple boxers

abstract: Continuous tracking of boxers across multiple training sessions helps quantify traits required for the well-known ten-point-must system. However, continuous tracking of multiple athletes across multiple training sessions remains a challenge, because it is difficult to precisely segment bout boundaries in a recorded video stream. Furthermore, re-identification of the same athlete over different period or even within the same bout remains a challenge. Difficulties are further compounded when a single fixed view video is captured in top-view. This work summarizes our progress in creating a system in an economically single fixed top-view camera. Specifically, we describe improved algorithm for bout transition detection and in-bout continuous player identification without erroneous ID updation or ID switching. From our custom collected data of ~11 hours (athlete count: 45, bouts: 189), our transition detection algorithm achieves 90% accuracy and continuous ID tracking achieves IDU=0, IDS=0.


title: Portable, Efficient, and Practical Library-Level Choreographic Programming

abstract: Choreographic programming (CP) is an emerging paradigm for programming distributed applications that run on multiple nodes. In CP, the programmer writes one program, called a choreography, that is then transformed to individual programs for each node via a compilation step called endpoint projection (EPP). While CP languages have existed for over a decade, library-level CP -- in which choreographies are expressed as programs in an existing host language, and choreographic language constructs and EPP are provided entirely by a host-language library -- is in its infancy. Library-level CP has great potential, but existing implementations have portability, efficiency, and practicality drawbacks that hinder its adoption. In this paper, we aim to advance the state of the art of library-level CP with two novel techniques for choreographic library design and implementation: endpoint projection as dependency injection (EPP-as-DI), and choreographic enclaves. EPP-as-DI is a language-agnostic technique for implementing EPP at the library level. Unlike existing library-level approaches, EPP-as-DI asks little from the host language -- support for higher-order functions is all that is required -- making it usable in a wide variety of host languages. Choreographic enclaves are a language feature that lets the programmer define sub-choreographies within a larger choreography. Within an enclave, "knowledge of choice" is propagated only among the enclave's participants, enabling the seamless use of the host language's conditional constructs while addressing the efficiency limitations of existing library-level CP implementations. We implement EPP-as-DI and choreographic enclaves in ChoRus, the first CP library for the Rust programming language. Our case studies and benchmarks demonstrate that the usability and performance of ChoRus compares favorably to traditional distributed programming in Rust.


title: CSGNN: Conquering Noisy Node labels via Dynamic Class-wise Selection

abstract: Graph Neural Networks (GNNs) have emerged as a powerful tool for representation learning on graphs, but they often suffer from overfitting and label noise issues, especially when the data is scarce or imbalanced. Different from the paradigm of previous methods that rely on single-node confidence, in this paper, we introduce a novel Class-wise Selection for Graph Neural Networks, dubbed CSGNN, which employs a neighbor-aggregated latent space to adaptively select reliable nodes across different classes. Specifically, 1) to tackle the class imbalance issue, we introduce a dynamic class-wise selection mechanism, leveraging the clustering technique to identify clean nodes based on the neighbor-aggregated confidences. In this way, our approach can avoid the pitfalls of biased sampling which is common with global threshold techniques. 2) To alleviate the problem of noisy labels, built on the concept of the memorization effect, CSGNN prioritizes learning from clean nodes before noisy ones, thereby iteratively enhancing model performance while mitigating label noise. Through extensive experiments, we demonstrate that CSGNN outperforms state-of-the-art methods in terms of both effectiveness and robustness.