title: An Asymptotically Sharp Bound on the Maximum Number of Independent Transversals

abstract: Let $G$ be a multipartite graph with partition $V_1, V_2,\ldots, V_k$ of $V(G)$. Let $d_{i,j}$ denote the edge density of the pair $(V_i, V_j)$. An independent transversal is an independent set of $G$ with exactly one vertex in each $V_i$. In this paper, we prove an asymptotically sharp upper bound on the maximum number of independent transversals given the $d_{i,j}$'s.


title: Simulating Hamiltonian dynamics in a programmable photonic quantum processor using linear combinations of unitary operations

abstract: Simulating the dynamic evolutions of physical and molecular systems in a quantum computer is of fundamental interest in many applications. Its implementation requires efficient quantum simulation algorithms. The Lie-Trotter-Suzuki approximation algorithm, also well known as the Trotterization, is a basic algorithm in quantum dynamic simulation. A multi-product algorithm that is a linear combination of multiple Trotterizations has been proposed to improve the approximation accuracy. Implementing such multi-product Trotterization in quantum computers however remains experimentally challenging and its success probability is limited. Here, we modify the multi-product Trotterization and combine it with the oblivious amplitude amplification to simultaneously reach a high simulation precision and high success probability. We experimentally implement the modified multi-product algorithm in an integrated-photonics programmable quantum simulator in silicon, which allows the initialization, manipulation and measurement of four-qubit states and a sequence of linearly combined controlled-unitary gates, to emulate the dynamics of a coupled electron and nuclear spins system. Theoretical and experimental results are in good agreement, and they both show the modified multi-product algorithm can simulate Hamiltonian dynamics with a higher precision than conventional Trotterizations and a nearly deterministic success probability. We certificate the multi-product algorithm in a small-scale quantum simulator based on linear combinations of operations, and this work promises the practical implementations of quantum dynamics simulations.


title: Zero-Knowledge Proof-Based Approach for Verifying the Computational Integrity of Power Grid Controls

abstract: The control of future power grids is migrating from a centralized to a distributed/decentralized scheme to enable a massive penetration of distributed energy resources and bring extreme enhancements of autonomous operations in terms of grid resilience, security, and reliability. Most effort has been on the design of distributed/decentralized controllers; however, the guarantees of the proper execution of the controls are also essential but relatively less emphasized. A common assumption is that local controllers would fully follow the designated controller dynamics based on the data received from communication channels. Such an assumption could be risky because proper execution of the controller dynamics is then built on trust in secure communication and computation. On the other hand, it is impractical for a verifier to repeat all the computations involved in the controls to verify the computational integrity. In this work, we leverage a type of cryptography technology, known as zero-knowledge scalable transparent arguments of knowledge to verify the computational integrity of control algorithms, such that verifiers can check the computational integrity with much less computational burden. The method presented here converts the challenge of data integrity into a subset of computational integrity. In this proof-of-concept paper, our focus will be on projected linear dynamics that are commonly seen in distributed/decentralized power system controllers. In particular, we have derived polynomial conditions in the context of zk-STARKs for the projected linear dynamics.


title: Simple computer program to calculate arbitrary tightly focused (propagating and evanescent) vector light fields

abstract: In this work we present a simple code to calculate tightly focused vectorial light fields (propagating and evanescent) generated by input fields that have arbitrary amplitude, phase and polarization. The program considers results from previous studies, like integration via fast Fourier transforms to speed up the integration. The calculations are done in a Cartesian coordinate system that is convenient to compare with experimental results for beams that are shaped with programmable optical elements like spatial light modulators or digital micromirror arrays. We also discuss how to avoid diverging terms at the origin by shifting the angular mesh by half a point and correcting the output by cancelling the phase term that arises from the shifted Fourier transform.


title: MultiCrossViT: Multimodal Vision Transformer for Schizophrenia Prediction using Structural MRI and Functional Network Connectivity Data

abstract: Vision Transformer (ViT) is a pioneering deep learning framework that can address real-world computer vision issues, such as image classification and object recognition. Importantly, ViTs are proven to outperform traditional deep learning models, such as convolutional neural networks (CNNs). Relatively recently, a number of ViT mutations have been transplanted into the field of medical imaging, thereby resolving a variety of critical classification and segmentation challenges, especially in terms of brain imaging data. In this work, we provide a novel multimodal deep learning pipeline, MultiCrossViT, which is capable of analyzing both structural MRI (sMRI) and static functional network connectivity (sFNC) data for the prediction of schizophrenia disease. On a dataset with minimal training subjects, our novel model can achieve an AUC of 0.832. Finally, we visualize multiple brain regions and covariance patterns most relevant to schizophrenia based on the resulting ViT attention maps by extracting features from transformer encoders.


title: The metallicity distribution in the core of the Sagittarus dwarf spheroidal: minimising the metallicity biases

abstract: We present metallicity and radial velocity for 450 bonafide members of the Sagittarius dwarf spheroidal (Sgr dSph) galaxy, measured from high resolution (R~18000) FLAMES@VLT spectra. The targets were carefully selected (a) to sample the core of the main body of Sgr dSph while avoiding contamination from the central stellar nucleus, and (b) to prevent any bias on the metallicity distribution, by selecting targets based on their Gaia parallax and proper motions. All the targets selected in this way were confirmed as radial velocity members. We used this sample to derive the first metallicity distribution of the core of the Sgr dSph virtually unaffected by metallicity biases. The observed distribution ranges from [Fe/H]~ -2.3 to [Fe/H]~ 0.0, with a strong, symmetric and relatively narrow peak around [Fe/H]~ -0.5 and a weak, extended metal-poor tail, with only 13.8 +/- 1.9% of the stars having [Fe/H]< -1.0. We confirm previous evidence of correlations between chemical and kinematical properties of stars in the core of Sgr. In our sample stars with [Fe/H]>= -0.6 display a lower velocity dispersion and a higher rotation amplitude than those with [Fe/H]< -0.6, confirming previous suggestions of a disk/halo structure for the progenitor of the system.


title: Towards reliable calcification detection: calibration of uncertainty in coronary optical coherence tomography images

abstract: Optical coherence tomography (OCT) has become increasingly essential in assisting the treatment of coronary artery disease (CAD). Image-guided solutions such as Percutaneous Coronary Intervention (PCI) are extensively used during the treatment of CAD. However, unidentified calcified regions within a narrowed artery could impair the outcome of the PCI. Prior to treatments, object detection is paramount to automatically procure accurate readings on the location and thickness of calcifications within the artery. Deep learning-based object detection methods have been explored in a variety of applications. The quality of object detection predictions could lead to uncertain results, which are not desirable in safety-critical scenarios. In this work, we implement an object detection model, You-Only-Look-Once v5 (YOLO), on a calcification detection framework within coronary OCT images. We evaluate the uncertainty of predictions based on the expected calibration errors, thus assessing the certainty level of detection results. To calibrate confidence scores of predictions, we implement dependent logistic calibration using each detection result's confidence and center coordinates. With the calibrated confidence score of each prediction, we lower the uncertainty of predictions in calcification detection. Our results show that the YOLO achieves higher precision and recall in comparison with the other object detection model, meanwhile producing more reliable results. The calibrated confidence of prediction results in a confidence error of approximately 0.13, suggesting that the confidence calibration on calcification detection could provide a more trustworthy result, indicating a great potential to assist clinical evaluation of treating the CAD during the imaging-guided procedure.


title: Magnetic field-dependent electric charge transport in hadronic medium at finite temperature

abstract: Electric charge transport of hadronic matter at finite temperature and magnetic field is studied within the linear sigma model. Anisotropic transport coefficients associated with the charge transport are estimated both in the weak and strong regimes of the magnetic field using the transport theory approach. In a weakly magnetized medium, the magnetic field effects are incorporated through the Lorentz force term in the Boltzmann equation. Strong magnetic field puts further constraints on the motion of charged particles through Landau quantization. Magnetic field-dependent thermal relaxation time is obtained from interaction rates of hadrons with the S-matrix approach by considering the Landau level kinematics of the charged hadrons. Mean-field effects are embedded in the analysis through the temperature-dependent hadron masses. Further, the hadronic medium response to a time-varying external electric field is studied in weak and strong magnetic field regimes. It is seen that electromagnetic responses of the hadronic matter have a strong dependence on the mean-field effects, sigma mass, the strength of the external fields, and its evolution in the medium.


title: Some stability results of positive mass theorem for uniformly asymptotically flat $3$-manifolds

abstract: In this paper, we show that for a sequence of orientable complete uniformly asymptotically flat $3$-manifolds $(M_i , g_i)$ with nonnegative scalar curvature and ADM mass $m(g_i)$ tending to zero, by subtracting some open subsets $Z_i$, whose boundary area satisfies $\mathrm{Area}(\partial Z_i) \leq Cm(g_i)^{1/2 - \varepsilon}$, for any base point $p_i \in M_i\setminus Z_i$, $(M_i\setminus Z_i,g_i,p_i)$ converges to the Euclidean space $(\mathbb{R}^3,g_E,0)$ in the $C^0$ modulo negligible volume sense. Moreover, if we assume that the Ricci curvature is uniformly bounded from below, then $(M_i, g_i, p_i)$ converges to $(\mathbb{R}^3,g_E,0)$ in the pointed Gromov-Hausdorff topology.


title: D=5 Holomorphic Chern-Simons and the Pure Spinor Superstring

abstract: The physical states of D=5 holomorphic Chern-Simons theory correspond to on-shell D=10 open superstring states in the cohomology of $q_+$, where $q_+$ is one of the 16 spacetime supersymmetry generators. Scattering amplitudes of these states can be computed either using the usual Ramond-Neveu-Schwarz (RNS) superstring prescription with N=1 worldsheet supersymmetry, or using a topological $\hat c$=5 string theory with twisted N=2 worldsheet supersymmetry. It will be argued that the relation between D=5 holomophic Chern-Simons and the RNS superstring is identical to the relation between the the pure spinor superstring and the recently constructed B-RNS-GSS superstring which has both N=1 worldsheet supersymmetry and D=10 spacetime supersymmetry. Physical states of the pure spinor superstring correspond to on-shell B-RNS-GSS states which are in the cohomology of $\lambda^\alpha q_\alpha$, where $\lambda^\alpha$ is a D=10 pure spinor. And scattering amplitudes of these states can be computed either using the full B-RNS-GSS superstring prescription with N=1 worldsheet supersymmetry, or using the pure spinor superstring amplitude prescription with twisted N=2 worldsheet supersymmetry. This should be useful for proving equivalence of the RNS and pure spinor amplitude prescriptions and for clarifying the relation of their multiloop subtleties.


title: Distributed and secure linear algebra -- Master Thesis

abstract: Cryptography is the discipline that allows securing of the exchange of information. In this internship, we will focus on a certain branch of this discipline, secure computation in a network. The main goal of this internship, illustrated in this report, is to adapt a roster of protocols intended to do linear algebra. We want to adapt them to do algebra for matrices with polynomial coefficients. We then wish to make a complete analysis of the different complexities of these protocols.


title: Deep Reinforcement Learning with Vector Quantized Encoding

abstract: Human decision-making often involves combining similar states into categories and reasoning at the level of the categories rather than the actual states. Guided by this intuition, we propose a novel method for clustering state features in deep reinforcement learning (RL) methods to improve their interpretability. Specifically, we propose a plug-and-play framework termed \emph{vector quantized reinforcement learning} (VQ-RL) that extends classic RL pipelines with an auxiliary classification task based on vector quantized (VQ) encoding and aligns with policy training. The VQ encoding method categorizes features with similar semantics into clusters and results in tighter clusters with better separation compared to classic deep RL methods, thus enabling neural models to learn similarities and differences between states better. Furthermore, we introduce two regularization methods to help increase the separation between clusters and avoid the risks associated with VQ training. In simulations, we demonstrate that VQ-RL improves interpretability and investigate its impact on robustness and generalization of deep RL.


title: A field approach for pedestrian movement modelling

abstract: There are different physics-based approaches for analysing pedestrian movement. Physics-based methods like statistical mechanics-based models apply the laws of physics to drive equations for analysing crowd behaviour. This paper will introduce a physics-based approach based on field theory as a new tool for crowd analysis to determine governing differential equations. Formulating the pedestrian movement with differential equations has a primary advantage for data assimilation techniques because some of these methods only work with models with analytical transition functions, which are obtained by incorporating a field approach. Furthermore, the field approach provides more generality since the field could be any scalar field. Several Lagrangians are presented in this work, and the primary purpose was to lay the groundwork for this new type of thinking. Furthermore, as pedestrian movement is mainly unregulated, the approach presented in the paper can be valuable for future development since the Lagrangian could be explicitly obtained for pedestrian movement spaces such as train stations and shopping malls. Finally, we discuss a general approach for predicting the action and how neural networks might play a role, which brings more flexibility and extendibility to our approach.


title: CompactChain:An Efficient Stateless Chain for UTXO-model Blockchain

abstract: In this work, we propose a stateless blockchain called CompactChain, which compacts the entire state of the UTXO (Unspent Transaction Output) based blockchain systems into two RSA accumulators. The first accumulator is called Transaction Output (TXO) commitment which represents the TXO set. The second one is called Spent Transaction Output (STXO) commitment which represents the STXO set. In this work, we discuss three algorithms - (i) To update the TXO and STXO commitments by the miner. The miner also provides the proofs for the correctness of the updated commitments; (ii) To prove the transaction's validity by providing a membership witness in TXO commitment and non-membership witness against STXO commitment for a coin being spent by a user; (iii) To update the witness for the coin that is not yet spent; The experimental results evaluate the performance of the CompactChain in terms of time taken by a miner to update the commitments and time taken by a validator to verify the commitments and validate the transactions. We compare the performance of CompactChain with the existing state-of-art works on stateless blockchains. CompactChain shows a reduction in commitments update complexity and transaction witness size which inturn reduces the mempool size and propagation latency without compromising the system throughput (Transactions per second (TPS)).


title: Sublogarithmic-transexponential series

abstract: We adapt the construction of the field of logarithmic-exponential transseries of van den Dries, Macintyre, and Marker to build an ordered differential field of sublogarithmic-transexponential series. We use this structure to build a transexponential Hardy field closed under composition. Specifically, we prove that the germs at $+\infty$ of $\mathcal{L}_{\mathrm{transexp}}$-terms in a single variable are ordered, where $\mathcal{L}_{\mathrm{transexp}}$ is a language containing $\mathcal{L}_{\mathrm{an}}(\exp,\log)$ with new symbols for a transexponential function, its derivatives, and their compositional inverses.


title: Structural constrained virtual histology staining for human coronary imaging using deep learning

abstract: Histopathological analysis is crucial in artery characterization for coronary artery disease (CAD). However, histology requires an invasive and time-consuming process. In this paper, we propose to generate virtual histology staining using Optical Coherence Tomography (OCT) images to enable real-time histological visualization. We develop a deep learning network, namely Coronary-GAN, to transfer coronary OCT images to virtual histology images. With a special consideration on the structural constraints in coronary OCT images, our method achieves better image generation performance than the conventional GAN-based method. The experimental results indicate that Coronary-GAN generates virtual histology images that are similar to real histology images, revealing the human coronary layers.


title: Formalizing the presumption of independence

abstract: Mathematical proof aims to deliver confident conclusions, but a very similar process of deduction can be used to make uncertain estimates that are open to revision. A key ingredient in such reasoning is the use of a "default" estimate of $\mathbb{E}[XY] = \mathbb{E}[X] \mathbb{E}[Y]$ in the absence of any specific information about the correlation between $X$ and $Y$, which we call *the presumption of independence*. Reasoning based on this heuristic is commonplace, intuitively compelling, and often quite successful -- but completely informal. In this paper we introduce the concept of a heuristic estimator as a potential formalization of this type of defeasible reasoning. We introduce a set of intuitively desirable coherence properties for heuristic estimators that are not satisfied by any existing candidates. Then we present our main open problem: is there a heuristic estimator that formalizes intuitively valid applications of the presumption of independence without also accepting spurious arguments?


title: Partial Binarization of Neural Networks for Budget-Aware Efficient Learning

abstract: Binarization is a powerful compression technique for neural networks, significantly reducing FLOPs, but often results in a significant drop in model performance. To address this issue, partial binarization techniques have been developed, but a systematic approach to mixing binary and full-precision parameters in a single network is still lacking. In this paper, we propose a controlled approach to partial binarization, creating a budgeted binary neural network (B2NN) with our MixBin strategy. This method optimizes the mixing of binary and full-precision components, allowing for explicit selection of the fraction of the network to remain binary. Our experiments show that B2NNs created using MixBin outperform those from random or iterative searches and state-of-the-art layer selection methods by up to 3% on the ImageNet-1K dataset. We also show that B2NNs outperform the structured pruning baseline by approximately 23% at the extreme FLOP budget of 15%, and perform well in object tracking, with up to a 12.4% relative improvement over other baselines. Additionally, we demonstrate that B2NNs developed by MixBin can be transferred across datasets, with some cases showing improved performance over directly applying MixBin on the downstream data.


title: Lessons from Digital India for the Right to Internet Access

abstract: With only 65% of Indian houses having access to the Internet, digital India faces a significant Internet divide across gender and city types. Rendering essential services inaccessible to almost a third of the population necessitates not only provisioning a fundamental right to Internet access but taking specific constructive steps to assure its simple, affordable and safe accessibility. Establishing such a right would also pave way for other ancillary rights required for data privacy, protection from Internet's possible harms and the requirement to be treated fairly. We first discuss two arguments on the universal right to Internet access; from Merten Reglitz, a senior lecturer on Global Ethics and from Vincent Cerf, one of the founding creators of the Internet who has had a profound influence on the field. We specifically argue why Internet access should be treated as a fundamental right. We discuss the learnings from India, contextualizing them with the global debate and argue for establishing Internet access as a fundamental right in India and elsewhere in the form of government legislation to eliminate Internet divide.


title: Calibrating Control-Bounded ADCs

abstract: The paper considers the calibration of control-bounded analog-to-digital converters. It is demonstrated that variations of the analog frontend can be addressed by calibrating the digital estimation filter. In simulations (both behavioral and transistor level) of a leapfrog analog frontend, the proposed calibration method restores essentially the nominal performance. Moreover, with digital-filter calibration in mind, the paper reformulates the design problem of control-bounded converters and thereby clarifies the role of sampling, desired filter shape, and nominal conversion error.


title: Deep Unsupervised Key Frame Extraction for Efficient Video Classification

abstract: Video processing and analysis have become an urgent task since a huge amount of videos (e.g., Youtube, Hulu) are uploaded online every day. The extraction of representative key frames from videos is very important in video processing and analysis since it greatly reduces computing resources and time. Although great progress has been made recently, large-scale video classification remains an open problem, as the existing methods have not well balanced the performance and efficiency simultaneously. To tackle this problem, this work presents an unsupervised method to retrieve the key frames, which combines Convolutional Neural Network (CNN) and Temporal Segment Density Peaks Clustering (TSDPC). The proposed TSDPC is a generic and powerful framework and it has two advantages compared with previous works, one is that it can calculate the number of key frames automatically. The other is that it can preserve the temporal information of the video. Thus it improves the efficiency of video classification. Furthermore, a Long Short-Term Memory network (LSTM) is added on the top of the CNN to further elevate the performance of classification. Moreover, a weight fusion strategy of different input networks is presented to boost the performance. By optimizing both video classification and key frame extraction simultaneously, we achieve better classification performance and higher efficiency. We evaluate our method on two popular datasets (i.e., HMDB51 and UCF101) and the experimental results consistently demonstrate that our strategy achieves competitive performance and efficiency compared with the state-of-the-art approaches.


title: Task Tree Retrieval Algorithms for Robotic Cooking Using The Functional Object-Oriented Network

abstract: Using the Functional Object-Oriented Network, we have implemented three search algorithms for generating the task trees for the given goal nodes. The approach, process, and results are written in this paper.


title: Graph Irregularity Characterization with Particular Regard to Bidegreed Graphs

abstract: In this study we are interested mainly in investigating the relations between two graph irregularity measures which are widely used for structural irregularity characterization of connected graphs. Our study is focused on the comparison and evaluation of the discriminatory ability of irregularity measures called degree deviation S(G) and degree variance Var(G). We establish various upper bounds for irregularity measures S(G) and Var(G). It is shown that the Nikiforov's inequality which is valid for connected graphs can be sharpened in the form of Var(G) < S(G)/2. Among others it is verified that if G is a bidegreed graph then the discrimination ability of S(G) and Var(G) is considered to be completely equivalent.


title: Quadrature Control-Bounded ADCs

abstract: In this paper, the design flexibility of the control-bounded analog-to-digital converter principle is demonstrated by considering band-pass analog-to-digital conversion. We show how a low-pass control-bounded analog-to-digital converter can be translated into a band-pass version where the guaranteed stability, converter bandwidth, and signal-to-noise ratio are preserved while the center frequency for conversion can be positioned freely. The proposed converter is validated with behavioral simulations for a variety of filter orders, notch-filter frequencies, and oversampling ratios. Finally, robustness against component variations is demonstrated by Monte Carlo simulations.


title: Ultrafast response of spontaneous photovoltaic effect in 3R-MoS2-based heterostructures

abstract: Rhombohedrally stacked MoS2 has been shown to exhibit spontaneous polarization down to the bilayer limit and can sustain a strong depolarization field when sandwiched between graphene. Such a field gives rise to a spontaneous photovoltaic effect without needing any p-n junction. In this work, we show the photovoltaic effect has an external quantum efficiency of 10\% for devices with only two atomic layers of MoS2 at low temperatures, and identify a picosecond-fast photocurrent response, which translates to an intrinsic device bandwidth at ~ 100-GHz level. To this end, we have developed a non-degenerate pump-probe photocurrent spectroscopy technique to deconvolute the thermal and charge-transfer processes, thus successfully revealing the multi-component nature of the photocurrent dynamics. The fast component approaches the limit of the charge-transfer speed at the graphene-MoS2 interface. The remarkable efficiency and ultrafast photoresponse in the graphene-3R-MoS2 devices support the use of ferroelectric van der Waals materials for future high-performance optoelectronic applications.


title: Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning

abstract: We present Zar: a formally verified compiler pipeline from discrete probabilistic programs with unbounded loops in the conditional probabilistic guarded command language (cpGCL) to proved-correct executable samplers in the random bit model. We exploit the key idea that all discrete probability distributions can be reduced to unbiased coin-flipping schemes. The compiler pipeline first translates a cpGCL program into choice-fix trees, an intermediate representation suitable for reduction of biased probabilistic choices. Choice-fix trees are then translated to coinductive interaction trees for execution within the random bit model. The correctness of the composed translations establishes the sampling equidistribution theorem: compiled samplers are correct wrt. the conditional weakest pre-expectation semantics of cpGCL source programs. Zar is implemented and fully verified in the Coq proof assistant. We extract verified samplers to OCaml and Python and empirically validate them on a number of illustrative examples.


title: Human Autonomy as a Design Principle for Socially Assistive Robots

abstract: High levels of robot autonomy are a common goal, but there is a significant risk that the greater the autonomy of the robot the lesser the autonomy of the human working with the robot. For vulnerable populations like older adults who already have a diminished level of autonomy, this is an even greater concern. We propose that human autonomy needs to be at the center of the design for socially assistive robots. Towards this goal, we define autonomy and then provide architectural requirements for social robots to support the user's autonomy. As an example of a design effort, we describe some of the features of our Assist architecture.


title: Bertrand's paradox on a monitor

abstract: We investigate Bertrand's probabilistic paradox through the lens of discrete geometry and old-fashioned but reliable discrete probability. We approximate the plane unit circle with $1/n$ times $1/n$ boxes and count the pairs of boxes separated by distance more than $\sqrt{3}$. For $n\to\infty$ the proportion of such pairs goes to $$ \frac{1+\sqrt{3}}{8}-\frac{\pi(2-\sqrt{3})}{96}=0.33273\dots\;. $$


title: Multi-Speaker and Wide-Band Simulated Conversations as Training Data for End-to-End Neural Diarization

abstract: End-to-end diarization presents an attractive alternative to standard cascaded diarization systems because a single system can handle all aspects of the task at once. Many flavors of end-to-end models have been proposed but all of them require (so far non-existing) large amounts of annotated data for training. The compromise solution consists in generating synthetic data and the recently proposed simulated conversations (SC) have shown remarkable improvements over the original simulated mixtures (SM). In this work, we create SC with multiple speakers per conversation and show that they allow for substantially better performance than SM, also reducing the dependence on a fine-tuning stage. We also create SC with wide-band public audio sources and present an analysis on several evaluation sets. Together with this publication, we release the recipes for generating such data and models trained on public sets as well as the implementation to efficiently handle multiple speakers per conversation and an auxiliary voice activity detection loss.


title: The generalised distribution semantics and projective families of distributions

abstract: We generalise the distribution semantics underpinning probabilistic logic programming by distilling its essential concept, the separation of a free random component and a deterministic part. This abstracts the core ideas beyond logic programming as such to encompass frameworks from probabilistic databases, probabilistic finite model theory and discrete lifted Bayesian networks. To demonstrate the usefulness of such a general approach, we completely characterise the projective families of distributions representable in the generalised distribution semantics and we demonstrate both that large classes of interesting projective families cannot be represented in a generalised distribution semantics and that already a very limited fragment of logic programming (acyclic determinate logic programs) in the determinsitic part suffices to represent all those projective families that are representable in the generalised distribution semantics at all.


title: Dynamical Friction due to fuzzy dark matter on satellites described by axisymmetric logarithmic potentials

abstract: A plausible dark matter candidate is an ultralight bosonic particle referred to as fuzzy dark matter. The equivalent mass-energy of the fuzzy dark matter boson is $\sim 10^{-22}$eV and has a corresponding de Broglie wavelength of kiloparsec scale, thus exhibiting wave behaviour in scales comparable to a galactic core, which could not appear in conventional cold dark matter models. The presence of fuzzy dark matter in galactic clusters will impact the motion of their members through dynamical friction. In this work, we present simulations of the dynamical friction on satellites traversing an initially uniform fuzzy dark matter halo. We focus on the satellites whose shapes are beyond spherical symmetry described by ellipsoidal and logarithmic potentials. We find that the wakes created on the fuzzy dark matter halo due to the passage of such satellites are qualitatively different from those generated by spherically symmetric ones. Furthermore, we quantify the dynamical friction coefficient for such systems, finding that the same satellite may experience a drag differing by a factor of $5$ depending on its ellipticity and the direction of motion. Finally, we find that the dynamical friction time-scale is close to Hubble time, assuming a satellite of $10^{11}$M$_{\odot}$ traversing at $10^{3}$km/s a FDM halo whose mean density is $\sim 10^6$M$_{\odot}$kpc$^{-3}$.


title: Seamful XAI: Operationalizing Seamful Design in Explainable AI

abstract: Mistakes in AI systems are inevitable, arising from both technical limitations and sociotechnical gaps. While black-boxing AI systems can make the user experience seamless, hiding the seams risks disempowering users to mitigate fallouts from AI mistakes. Instead of hiding these AI imperfections, can we leverage them to help the user? While Explainable AI (XAI) has predominantly tackled algorithmic opaqueness, we propose that seamful design can foster AI explainability by revealing and leveraging sociotechnical and infrastructural mismatches. We introduce the concept of Seamful XAI by (1) conceptually transferring "seams" to the AI context and (2) developing a design process that helps stakeholders anticipate and design with seams. We explore this process with 43 AI practitioners and real end-users, using a scenario-based co-design activity informed by real-world use cases. We found that the Seamful XAI design process helped users foresee AI harms, identify underlying reasons (seams), locate them in the AI's lifecycle, learn how to leverage seamful information to improve XAI and user agency. We share empirical insights, implications, and reflections on how this process can help practitioners anticipate and craft seams in AI, how seamfulness can improve explainability, empower end-users, and facilitate Responsible AI.


title: Geometry of the logarithmic Hodge moduli space (with an Appendix joint with Siqing Zhang)

abstract: We show the smoothness over the affine line of the Hodge moduli space of logarithmic t-connections of coprime rank and degree on a smooth projective curve with geometrically integral fibers over an arbitrary Noetherian base. When the base is a field, we also prove that the Hodge moduli space is geometrically integral. Along the way, we prove the same results for the corresponding moduli spaces of logarithmic Higgs bundles and of logarithmic connections. We use smoothness to derive specialization isomorphisms on the etale cohomology rings of these moduli spaces; this includes the special case when the base is of mixed characteristic. In the special case where the base is a separably closed field of positive characteristic, we show that these isomorphisms are filtered isomorphisms for the perverse filtrations associated with the corresponding Hitchin-type morphisms.


title: The chiPower transformation: a valid alternative to logratio transformations in compositional data analysis

abstract: The approach to analysing compositional data has been dominated by the use of logratio transformations, to ensure exact subcompositional coherence and, in some situations, exact isometry as well. A problem with this approach is that data zeros, found in most applications, have to be replaced to allow the logarithmic transformation. An alternative new approach, called the `chiPower' transformation, which allows data zeros, is to combine the standardization inherent in the chi-square distance in correspondence analysis, with the essential elements of the Box-Cox power transformation. The chiPower transformation is justified because it} defines between-sample distances that tend to logratio distances for strictly positive data as the power parameter tends to zero, and are then equivalent to transforming to logratios. For data with zeros, a value of the power can be identified that brings the chiPower transformation as close as possible to a logratio transformation, without having to substitute the zeros. Especially in the area of high-dimensional data, this alternative approach can present such a high level of coherence and isometry as to be a valid approach to the analysis of compositional data. Furthermore, in a supervised learning context, if the compositional variables serve as predictors of a response in a modelling framework, for example generalized linear models, then the power can be used as a tuning parameter in optimizing the accuracy of prediction through cross-validation. The chiPower-transformed variables have a straightforward interpretation, since they are each identified with single compositional parts, not ratios.


title: Exact solution of a time-dependent quantum harmonic oscillator with two frequency jumps via the Lewis-Riesenfeld dynamical invariant method

abstract: Harmonic oscillators with multiple abrupt jumps in their frequencies have been investigated by several authors during the last decades. We investigate the dynamics of a quantum harmonic oscillator with initial frequency $\omega_0$, that undergoes a sudden jump to a frequency $\omega_1$ and, after a certain time interval, suddenly returns to its initial frequency. Using the Lewis-Riesenfeld method of dynamical invariants, we present expressions for the mean energy value, the mean number of excitations, and the transition probabilities, considering the initial state different from the fundamental. We show that the mean energy of the oscillator, after the jumps, is equal or greater than the one before the jumps, even when $\omega_1<\omega_0$. We also show that, for particular values of the time interval between the jumps, the oscillator returns to the same initial state.


title: DriftRec: Adapting diffusion models to blind JPEG restoration

abstract: In this work, we utilize the high-fidelity generation abilities of diffusion models to solve blind JPEG restoration at high compression levels. We propose an elegant modification of the forward stochastic differential equation of diffusion models to adapt them to this restoration task and name our method DriftRec. Comparing DriftRec against an $L_2$ regression baseline with the same network architecture and state-of-the-art techniques for JPEG restoration, we show that our approach can escape the tendency of other methods to generate blurry images, and recovers the distribution of clean images significantly more faithfully. For this, only a dataset of clean/corrupted image pairs and no knowledge about the corruption operation is required, enabling wider applicability to other restoration tasks. In contrast to other conditional and unconditional diffusion models, we utilize the idea that the distributions of clean and corrupted images are much closer to each other than each is to the usual Gaussian prior of the reverse process in diffusion models. Our approach therefore requires only low levels of added noise and needs comparatively few sampling steps even without further optimizations. We show that DriftRec naturally generalizes to realistic and difficult scenarios such as unaligned double JPEG compression and blind restoration of JPEGs found online, without having encountered such examples during training.


title: Quantum paramagnetism in a non-Kramers rare-earth oxide: Monoclinic $\rm Pr_2Ti_2O_7$

abstract: Little is so far known about the magnetism of the $\rm A_2B_2O_7$ monoclinic layered perovskites that replace the spin-ice supporting pyrochlore structure for $r_A/r_B>1.78$. We show that high quality monoclinic Pr$_2$Ti$_2$O$_7$ single crystals with a three-dimensional network of non-Kramers Pr$^{3+}$ ions that interact through edge-sharing super-exchange interactions, form a singlet ground state quantum paramagnet that does not undergo any magnetic phase transitions down to at least 1.8 K. The chemical phase stability, structure, and magnetic properties of the layered perovskite Pr$_2$Ti$_2$O$_7$ were investigated using x-ray diffraction, transmission electron microscopy, and magnetization measurements. Synthesis of polycrystalline samples with the nominal compositions of Pr$_2$Ti$_{2+x}$O$_7$ ($-0.16 \leq x \leq 0.16$) showed that deviations from the Pr$_2$Ti$_2$O$_7$ stoichiometry lead to secondary phases of related, structures including the perovskite phase Pr$_{2/3}$TiO$_3$ and the orthorhombic phases Pr$_4$Ti$_9$O$_{24}$ and Pr$_2$TiO$_5$. No indications of site disordering (stuffing and anti-stuffing) or vacancy defects were observed in the Pr$_2$Ti$_2$O$_7$ majority phase. A procedure for growth of high-structural-quality, stoichiometric single crystals of Pr$_2$Ti$_2$O$_7$ by the traveling solvent floating zone (TSFZ) method is reported. Thermo-magnetic measurements of single-crystalline Pr$_2$Ti$_2$O$_7$ reveal an isolated singlet ground state that we associate with the low symmetry crystal electric field environments that split the $2J+1=9$-fold degenerate spin-orbital multiplets of the four differently coordinated Pr$^{3+}$ ions into 36 isolated singlets resulting in an anisotropic temperature independent van-Vleck susceptibility at low $T$. A small isotropic Curie term is associated with 0.96(2)\% non-interacting Pr$^{4+}$ impurities.


title: Integrating Transformer and Autoencoder Techniques with Spectral Graph Algorithms for the Prediction of Scarcely Labeled Molecular Data

abstract: In molecular and biological sciences, experiments are expensive, time-consuming, and often subject to ethical constraints. Consequently, one often faces the challenging task of predicting desirable properties from small data sets or scarcely-labeled data sets. Although transfer learning can be advantageous, it requires the existence of a related large data set. This work introduces three graph-based models incorporating Merriman-Bence-Osher (MBO) techniques to tackle this challenge. Specifically, graph-based modifications of the MBO scheme are integrated with state-of-the-art techniques, including a home-made transformer and an autoencoder, in order to deal with scarcely-labeled data sets. In addition, a consensus technique is detailed. The proposed models are validated using five benchmark data sets. We also provide a thorough comparison to other competing methods, such as support vector machines, random forests, and gradient boosting decision trees, which are known for their good performance on small data sets. The performances of various methods are analyzed using residue-similarity (R-S) scores and R-S indices. Extensive computational experiments and theoretical analysis show that the new models perform very well even when as little as 1% of the data set is used as labeled data.


title: Locally nilpotent polynomials over $\mathbb{Z}$

abstract: For a polynomial $u(x)$ in $\mathbb{Z}[x]$ and $r\in\mathbb{Z}$, we consider the orbit of $u(x)$ at $r$, $\mathcal{O}_u(r):=\{u(r),u(u(r)),\ldots\}$. We ask two questions here: (i) what are the polynomials $u$ for which $0\in \mathcal{O}_u(r)$ and (ii) what are the polynomials for which $0\not\in \mathcal{O}_u(r)$ but, modulo every prime $p$, $0\in \mathcal{O}_u(r)$? In this paper we classify the polynomials for which (ii) holds. We also present some results for some special $r'$s for which (i) can be answered.


title: Few-Shot Learning for Biometric Verification

abstract: In machine learning applications, it is common practice to feed as much information as possible. In most cases, the model can handle large data sets that allow to predict more accurately. In the presence of data scarcity, a Few-Shot learning (FSL) approach aims to build more accurate algorithms with limited training data. We propose a novel end-to-end lightweight architecture that verifies biometric data by producing competitive results as compared to state-of-the-art accuracies through Few-Shot learning methods. The dense layers add to the complexity of state-of-the-art deep learning models which inhibits them to be used in low-power applications. In presented approach, a shallow network is coupled with a conventional machine learning technique that exploits hand-crafted features to verify biometric images from multi-modal sources such as signatures, periocular region, iris, face, fingerprints etc. We introduce a self-estimated threshold that strictly monitors False Acceptance Rate (FAR) while generalizing its results hence eliminating user-defined thresholds from ROC curves that are likely to be biased on local data distribution. This hybrid model benefits from few-shot learning to make up for scarcity of data in biometric use-cases. We have conducted extensive experimentation with commonly used biometric datasets. The obtained results provided an effective solution for biometric verification systems.


title: Adaptive Nonlinear MPC for Trajectory Tracking of An Overactuated Tiltrotor Hexacopter

abstract: Omnidirectional micro aerial vehicles (OMAVs) are more capable of doing environmentally interactive tasks due to their ability to exert full wrenches while maintaining stable poses. However, OMAVs often incorporate additional actuators and complex mechanical structures to achieve omnidirectionality. Obtaining precise mathematical models is difficult, and the mismatch between the model and the real physical system is not trivial. The large model-plant mismatch significantly degrades overall system performance if a non-adaptive model predictive controller (MPC) is used. This work presents the $\mathcal{L}_1$-MPC, an adaptive nonlinear model predictive controller for accurate 6-DOF trajectory tracking of an overactuated tiltrotor hexacopter in the presence of model uncertainties and external disturbances. The $\mathcal{L}_1$-MPC adopts a cascaded system architecture in which a nominal MPC is followed and augmented by an $\mathcal{L}_1$ adaptive controller. The proposed method is evaluated against the non-adaptive MPC, the EKF-MPC, and the PID method in both numerical and PX4 software-in-the-loop simulation with Gazebo. The $\mathcal{L}_1$-MPC reduces the tracking error by around 90% when compared to a non-adaptive MPC, and the $\mathcal{L}_1$-MPC has lower tracking errors, higher uncertainty estimation rates, and less tuning requirements over the EKF-MPC. We will make the implementations, including the hardware-verified PX4 firmware and Gazebo plugins, open-source at https://github.com/HITSZ-NRSL/omniHex.


title: Some cases of the Zilber-Pink conjecture for curves in $\mathcal{A}_g$

abstract: Following our work in \cite{papas2022height}, we extend the height bounds established by Y. Andr\'e in his seminal research monograph \cite{andre1989g} for $1$-parameter families of abelian varieties defined over number fields. In our exposition we no longer assume that the family acquires completely multiplicative reduction at some point, as in Andr\'e's original result. As a corollary of these height bounds, we obtain unconditional results of Zilber-Pink-type for curves in $\mathcal{A}_g$, building upon recent results of C. Daw and M. Orr.


title: Improving Deep Facial Phenotyping for Ultra-rare Disorder Verification Using Model Ensembles

abstract: Rare genetic disorders affect more than 6% of the global population. Reaching a diagnosis is challenging because rare disorders are very diverse. Many disorders have recognizable facial features that are hints for clinicians to diagnose patients. Previous work, such as GestaltMatcher, utilized representation vectors produced by a DCNN similar to AlexNet to match patients in high-dimensional feature space to support "unseen" ultra-rare disorders. However, the architecture and dataset used for transfer learning in GestaltMatcher have become outdated. Moreover, a way to train the model for generating better representation vectors for unseen ultra-rare disorders has not yet been studied. Because of the overall scarcity of patients with ultra-rare disorders, it is infeasible to directly train a model on them. Therefore, we first analyzed the influence of replacing GestaltMatcher DCNN with a state-of-the-art face recognition approach, iResNet with ArcFace. Additionally, we experimented with different face recognition datasets for transfer learning. Furthermore, we proposed test-time augmentation, and model ensembles that mix general face verification models and models specific for verifying disorders to improve the disorder verification accuracy of unseen ultra-rare disorders. Our proposed ensemble model achieves state-of-the-art performance on both seen and unseen disorders.


title: Spectral properties of the 2D magnetic Weyl-Dirac operator with a short-range potential

abstract: This paper is devoted to the study of the spectral properties of the Weyl-Dirac or massless Dirac operators, describing the behavior of quantum quasi-particles in dimension 2 in a homogeneous magnetic field, $B^{\rm ext}$, perturbed by a chiral-magnetic field, $b^{\rm ind}$, with decay at infinity and a short-range scalar electric potential, $V$, of the Bessel-Macdonald type. These operators emerge from the action of a pristine graphene-like QED$_3$ model recently proposed in Eur. Phys. J. B93} (2020) 187. First, we establish the existence of states in the discrete spectrum of the Weyl-Dirac operators between the zeroth and the first (degenerate) Landau level assuming that $V=0$. In sequence, with $V_s \not= 0$, where $V_s$ is an attractive potential associated with the $s$-wave, which emerges when analyzing the $s$- and $p$-wave M{\o}ller scattering potentials among the charge carriers in the pristine graphene-like QED$_3$ model, we provide lower bounds for the sum of the negative eigenvalues of the operators $|\boldsymbol{\sigma} \cdot \boldsymbol{p}_{\boldsymbol{A}_\pm}|+ V_s$. Here, $\boldsymbol{\sigma}$ is the vector of Pauli matrices, $\boldsymbol{p}_{\boldsymbol{A}_\pm}=\boldsymbol{p}-\boldsymbol{A}_\pm$, with $\boldsymbol{p}=-i\boldsymbol{\nabla}$ the two-dimensional momentum operator and $\boldsymbol{A}_\pm$ certain magnetic vector potentials. As a by-product of this, we have the stability of bipolarons in graphene in the presence of magnetic fields.

categories: hep-th cond-mat.other cond-mat.str-el math-ph math.MP quant-ph


title: The Study of Complex Human Locomotion Behaviors: From Crawling to Walking

abstract: This paper uses a simple state machine to develop a control algorithm for controlling an infant humanoid in the context of a simple model system. The algorithm is inspired by a baby who starts learning to stand and walk at 7 to 12 months of age: he or she initially learns to crawl and then, once the lower limb muscles are strong enough, can learn to walk by coming to support his or her upper trunk. Ideally, this algorithm-supported locomotion can take the baby to any desired location: a pile of toys, a tasty snack, or the baby's parents or relatives. In this paper we analyze the crawling stage, the simple 2d bipedal model, and the initial walking form from 8 to 18 months of age, and quantitatively evaluate the ideal kinematics model and simulation results for these stages.


title: Modeling the Neuromuscular Control System of an Octopus Arm

abstract: The octopus arm is a neuromechanical system that involves a complex interplay between peripheral nervous system (PNS) and arm musculature. This makes the arm capable of carrying out rich maneuvers. In this paper, we build a model for the PNS and integrate it with a muscular soft octopus arm. The proposed neuromuscular architecture is used to qualitatively reproduce several biophysical observations in real octopuses, including curled rest shapes and target-directed arm reaching motions. Two control laws are proposed for target-oriented arm motions, and their performance is compared against a benchmark. Several analytical results, including rest-state characterization and stability properties of the proposed control laws, are provided.


title: Weakly asymptotically quasiperiodic solutions for time-dependent Hamiltonians with a view to celestial mechanics

abstract: In a previous work [Asymptotically quasiperiodic solutions for time-dependent hamiltonians, arXiv preprint arXiv:2211.06623 (2022)], we consider time-dependent perturbations of a Hamiltonian vector field having an invariant torus supporting quasiperiodic solutions. Assuming the perturbation decays polynomially fast as time tends to infinity, we prove the existence of a non-autonomous KAM torus. A non-autonomous KAM torus is a time-dependent family of embedded tori converging in time to the invariant torus associated with the unperturbed system. In the first part of the present work, we generalise this theorem to the case where the time decay is weaker but always polynomial, as it appears naturally in physical problems. This requires the introduction of a generalization of the definition of non-autonomous KAM torus. The proof relies on a Nash-Moser theorem. In the second part, we apply this new theorem to the example of the planar three-body problem perturbed by a given comet coming from and going back to infinity asymptotically along a hyperbolic Keplerian orbit.


title: Realistic Bokeh Effect Rendering on Mobile GPUs, Mobile AI & AIM 2022 challenge: Report

abstract: As mobile cameras with compact optics are unable to produce a strong bokeh effect, lots of interest is now devoted to deep learning-based solutions for this task. In this Mobile AI challenge, the target was to develop an efficient end-to-end AI-based bokeh effect rendering approach that can run on modern smartphone GPUs using TensorFlow Lite. The participants were provided with a large-scale EBB! bokeh dataset consisting of 5K shallow / wide depth-of-field image pairs captured using the Canon 7D DSLR camera. The runtime of the resulting models was evaluated on the Kirin 9000's Mali GPU that provides excellent acceleration results for the majority of common deep learning ops. A detailed description of all models developed in this challenge is provided in this paper.


title: MicroISP: Processing 32MP Photos on Mobile Devices with Deep Learning

abstract: While neural networks-based photo processing solutions can provide a better image quality compared to the traditional ISP systems, their application to mobile devices is still very limited due to their very high computational complexity. In this paper, we present a novel MicroISP model designed specifically for edge devices, taking into account their computational and memory limitations. The proposed solution is capable of processing up to 32MP photos on recent smartphones using the standard mobile ML libraries and requiring less than 1 second to perform the inference, while for FullHD images it achieves real-time performance. The architecture of the model is flexible, allowing to adjust its complexity to devices of different computational power. To evaluate the performance of the model, we collected a novel Fujifilm UltraISP dataset consisting of thousands of paired photos captured with a normal mobile camera sensor and a professional 102MP medium-format FujiFilm GFX100 camera. The experiments demonstrated that, despite its compact size, the MicroISP model is able to provide comparable or better visual results than the traditional mobile ISP systems, while outperforming the previously proposed efficient deep learning based solutions. Finally, this model is also compatible with the latest mobile AI accelerators, achieving good runtime and low power consumption on smartphone NPUs and APUs. The code, dataset and pre-trained models are available on the project website: https://people.ee.ethz.ch/~ihnatova/microisp.html


title: Primordial Black Hole Dark Matter Simulations Using PopSyCLE

abstract: Primordial black holes (PBHs), theorized to have originated in the early universe, are speculated to be a viable form of dark matter. If they exist, they should be detectable through photometric and astrometric signals resulting from gravitational microlensing of stars in the Milky Way. Population Synthesis for Compact-object Lensing Events, or PopSyCLE, is a simulation code that enables users to simulate microlensing surveys, and is the first of its kind to include both photometric and astrometric microlensing effects, which are important for potential PBH detection and characterization. To estimate the number of observable PBH microlensing events we modify PopSyCLE to include a dark matter halo consisting of PBHs. We detail our PBH population model, and demonstrate our PopSyCLE + PBH results through simulations of the OGLE-IV and Roman microlensing surveys. We provide a proof-of-concept analysis for adding PBHs into PopSyCLE, and thus include many simplifying assumptions, such as $f_{\text{DM}}$, the fraction of dark matter composed of PBHs, and $\bar{m}_{\text{PBH}}$, mean PBH mass. Assuming $\bar{m}_{\text{PBH}}=30$ $M_{\odot}$, we find $\sim$ 3.6$f_{\text{DM}}$ times as many PBH microlensing events than stellar evolved black hole events, a PBH average peak Einstein crossing time of $\sim$ 91.5 days, estimate on order of $10^2f_{\text{DM}}$ PBH events within the 8 year OGLE-IV results, and estimate Roman to detect $\sim$ 1,000$f_{\text{DM}}$ PBH microlensing events throughout its planned microlensing survey.


title: Two-dimensional Hydrogen-like Atom in a Constant Magnetic Field

abstract: The two-dimensional hydrogen-like atom in a constant magnetic field is considered. It is found that this is actually two separate problems. One for which the magnetic field causes an effective attraction between the nucleus and the electron and one for which it causes an effective repulsion. Each of the two problems has three separate cases depending on the sign of a shifted energy eigenvalue. For two of the six possibilities (shifted energy eigenvalue that is negative) it is shown that the first four solutions can be obtained exactly. For another two of the six possibilities (shifted energy eigenvalue that is positive) it is shown that the first eight solutions can be obtained exactly. For higher order states the energy eigenvalue is the root of a fifth or higher order polynomial, hence, the eigenvalue must be obtained numerically. Once the energy eigenvalue is known the solution to the radial wave equation is also known. Exact solutions for the radial wave equation, for the remaining two possibilities (shifted energy eigenvalue that is zero), are given to any desired order by means of a recursion relation.


title: Tracing the hot spot motion using the next generation Event Horizon Telescope (ngEHT)

abstract: We propose to trace the dynamical motion of a shearing hot spot near the SgrA* source through a dynamical image reconstruction algorithm, StarWarps. Such a hot spot may form as the exhaust of magnetic reconnection in a current sheet near the black hole horizon. A hot spot that is ejected from the current sheet into an orbit in the accretion disk may shear and diffuse due to instabilities at its boundary during its orbit, resulting in a distinct signature. We subdivide the motion to two distinct phases; the first phase refers to the appearance of the hot spot modelled as a bright blob, followed by a subsequent shearing phase simulated as a stretched ellipse. We employ different observational arrays, including EHT(2017,2022) and the next generation event horizon telescope (ngEHTp1, ngEHT) arrays, in which few new additional sites are added to the observational array. We make dynamical image reconstructions for each of these arrays. Subsequently, we infer the hot spot phase in the first phase followed by the axes ratio and the ellipse area in the second phase. We focus on the direct observability of the orbiting hot spot in the sub-mm wavelength. Our analysis demonstrates that newly added dishes may easily trace the first phase as well as part of the second phase, before the flux is reduced substantially. The algorithm used in this work can be extended to any other types of the dynamical motion. Consequently, we conclude that the ngEHT is a key to directly observe the dynamical motions near variable sources, such as SgrA*.

categories: astro-ph.GA astro-ph.CO astro-ph.HE hep-ph


title: Large-Scale Bidirectional Training for Zero-Shot Image Captioning

abstract: When trained on large-scale datasets, image captioning models can understand the content of images from a general domain but often fail to generate accurate, detailed captions. To improve performance, pretraining-and-finetuning has been a key strategy for image captioning. However, we find that large-scale bidirectional training between image and text enables zero-shot image captioning. In this paper, we introduce Bidirectional Image Text Training in largER Scale, BITTERS, an efficient training and inference framework for zero-shot image captioning. We also propose a new evaluation benchmark which comprises of high quality datasets and an extensive set of metrics to properly evaluate zero-shot captioning accuracy and societal bias. We additionally provide an efficient finetuning approach for keyword extraction. We show that careful selection of large-scale training set and model architecture is the key to achieving zero-shot image captioning.


title: The Sun and Space Weather

abstract: The explosion of space weather research since the early 1990s has been partly fueled by the unprecedented, uniform, and extended observations of solar disturbances from space and ground based instruments. Coronal mass ejections (CMEs) from closed magnetic field regions and high speed streams (HSS) from open field regions on the Sun account for most of the disturbances relevant to space weather. The main consequences of CMEs and HSS are their ability to cause geomagnetic storms and accelerate particles. Particles accelerated by CME driven shocks can pose danger to humans and their technological structures in space. Geomagnetic storms produced by CMEs and HSS related stream interaction regions also result in particle energization inside the magnetosphere that can have severe impact on satellites operating in the magnetosphere. Solar flares are another aspect of solar magnetic energy release, mostly characterized by the sudden enhancement in electromagnetic emission at various wavelengths from radio waves to gamma rays. Flares are responsible for the sudden ionospheric disturbances and prompt perturbation of Earths magnetic field known as magnetic crochet. Nonthermal electrons accelerated during flares can emit intense microwave radiation that can drown spacecraft and radar signals. This review article summarizes major milestones in understanding the connection between solar variability and space weather.


title: The LLV Algebra for Primitive Symplectic Varieties with Isolated Singularities

abstract: We extend results of Looijenga-Lunts and Verbitsky and show that the total Lie algebra $\mathfrak g$ for the intersection cohomology of a primitive symplectic variety $X$ with isolated singularities is isomorphic to $$\mathfrak g \cong \mathfrak{so}((IH^2(X, \mathbb Q), Q_X)\oplus \mathfrak h)$$ where $Q_X$ is the intersection Beauville-Bogomolov-Fujiki form and $\mathfrak h$ is a hyperbolic plane. Along the way, we study the structure of $IH^*(X, \mathbb Q)$ as a $\mathfrak{g}$-representation -- with particular emphasis on the Verbitsky component, multidimensional Kuga-Satake constructions, and Mumford-Tate algebras -- and give some immediate applications concerning the $P = W$ conjecture for primitive symplectic varieties.


title: Searching for Barium Stars from the LAMOST Spectra Using the Machine Learning Method: I

abstract: Barium stars are chemically peculiar stars that exhibit enhancement of s-process elements. Chemical abundance analysis of barium stars can provide crucial clues for the study of the chemical evolution of the Galaxy. The Large Sky Area Multi-Object Fiber Spectroscopic Telescope (LAMOST) has released more than 6 million low-resolution spectra of FGK-type stars by Data Release 9 (DR9), which can significantly increase the sample size of barium stars. In this paper, we used machine learning algorithms to search for barium stars from low-resolution spectra of LAMOST. We have applied the Light Gradient Boosting Machine (LGBM) algorithm to build classifiers of barium stars based on different features, and build predictors for determining [Ba/Fe] and [Sr/Fe] of barium candidates. The classification with features in the whole spectrum performs best: for the sample with strontium enhancement, Precision = 97.81%, and Recall = 96.05%; for the sample with barium enhancement, Precision = 96.03% and Recall = 97.70%. In prediction, [Ba/Fe] estimated from BaII line at 4554 \r{A} has smaller dispersion than that from BaII line at 4934 \r{A}: MAE$_{4554 \r{A}}$ = 0.07, $\sigma_{4554 \r{A}}$ = 0.12. [Sr/Fe] estimated from SrII line at 4077 \r{A} performs better than that from SrII line at 4215 \r{A}: MAE$_{4077 \r{A}}$ = 0.09, $\sigma_{4077 \r{A}}$ = 0.16. A comparison of the LGBM and other popular algorithms shows that LGBM is accurate and efficient in classifying barium stars. This work demonstrated that machine learning can be used as an effective means to identify chemically peculiar stars and determine their elemental abundance.


title: Textual Data Augmentation for Patient Outcomes Prediction

abstract: Deep learning models have demonstrated superior performance in various healthcare applications. However, the major limitation of these deep models is usually the lack of high-quality training data due to the private and sensitive nature of this field. In this study, we propose a novel textual data augmentation method to generate artificial clinical notes in patients' Electronic Health Records (EHRs) that can be used as additional training data for patient outcomes prediction. Essentially, we fine-tune the generative language model GPT-2 to synthesize labeled text with the original training data. More specifically, We propose a teacher-student framework where we first pre-train a teacher model on the original data, and then train a student model on the GPT-augmented data under the guidance of the teacher. We evaluate our method on the most common patient outcome, i.e., the 30-day readmission rate. The experimental results show that deep models can improve their predictive performance with the augmented data, indicating the effectiveness of the proposed architecture.


title: Ergodicity and synchronization of the Kardar-Parisi-Zhang equation

abstract: The Kardar-Parisi-Zhang (KPZ) equation on the real line is well-known to admit Brownian motion with a linear drift as a stationary distribution (modulo additive constants). We show that these solutions are attractive, a result known as a one force--one solution (1F1S) principle or synchronization: the solution to the KPZ equation started in the distant past from an initial condition with a given slope will converge almost surely to a Brownian motion with that drift, which shows in particular that these invariant measures are totally ergodic. Our proof constructs the Busemann process for the equation, which gives the natural jointly stationary coupling of all of these stationary solutions. Synchronization then holds simultaneously (on a single full probability event) for all but an at most countable random set of asymptotic slopes. This set of exceptional slopes of instability for which synchronization fails is either almost surely empty or almost surely dense. Along the way, we prove a shape theorem which implies almost sure stochastic homogenization of the KPZ equation, for which the Busemann process gives the process of correctors. We also show that the forward and backward point-to-point and point-to-line continuum polymers converge to semi-infinite continuum polymers whose transitions are Doob transforms via Busemann functions of the transitions of the finite length polymers.


title: Inv-SENnet: Invariant Self Expression Network for clustering under biased data

abstract: Subspace clustering algorithms are used for understanding the cluster structure that explains the dataset well. These methods are extensively used for data-exploration tasks in various areas of Natural Sciences. However, most of these methods fail to handle unwanted biases in datasets. For datasets where a data sample represents multiple attributes, naively applying any clustering approach can result in undesired output. To this end, we propose a novel framework for jointly removing unwanted attributes (biases) while learning to cluster data points in individual subspaces. Assuming we have information about the bias, we regularize the clustering method by adversarially learning to minimize the mutual information between the data and the unwanted attributes. Our experimental result on synthetic and real-world datasets demonstrate the effectiveness of our approach.


title: Staged cooling of a fusion-grade plasma in a tokamak thermal quench

abstract: In tokamak disruptions where the magnetic connection length becomes comparable to or even shorter than the plasma mean-free-path, parallel transport can dominate the energy loss and the thermal quench of the core plasma goes through four phases (stages) that have distinct temperature ranges and durations. The main temperature drop occurs while the core plasma remains nearly collisionless, with the parallel electron temperature $T_{e\parallel}$ dropping in time $t$ as $T_{e\parallel}\propto t^{-2}$ and a cooling time that scales with the ion sound wave transit time over the length of the open magnetic field line. These surprising physics scalings are the result of effective suppression of parallel electron thermal conduction in an otherwise bounded collisionless plasma, which is fundamentally different from what are known to date on electron thermal conduction along the magnetic field in a nearly collisionless plasma.


title: Differentially Private Vertical Federated Learning

abstract: A successful machine learning (ML) algorithm often relies on a large amount of high-quality data to train well-performed models. Supervised learning approaches, such as deep learning techniques, generate high-quality ML functions for real-life applications, however with large costs and human efforts to label training data. Recent advancements in federated learning (FL) allow multiple data owners or organisations to collaboratively train a machine learning model without sharing raw data. In this light, vertical FL allows organisations to build a global model when the participating organisations have vertically partitioned data. Further, in the vertical FL setting the participating organisation generally requires fewer resources compared to sharing data directly, enabling lightweight and scalable distributed training solutions. However, privacy protection in vertical FL is challenging due to the communication of intermediate outputs and the gradients of model update. This invites adversary entities to infer other organisations underlying data. Thus, in this paper, we aim to explore how to protect the privacy of individual organisation data in a differential privacy (DP) setting. We run experiments with different real-world datasets and DP budgets. Our experimental results show that a trade-off point needs to be found to achieve a balance between the vertical FL performance and privacy protection in terms of the amount of perturbation noise.


title: EdnaML: A Declarative API and Framework for Reproducible Deep Learning

abstract: Machine Learning has become the bedrock of recent advances in text, image, video, and audio processing and generation. Most production systems deal with several models during deployment and training, each with a variety of tuned hyperparameters. Furthermore, data collection and processing aspects of ML pipelines are receiving increasing interest due to their importance in creating sustainable high-quality classifiers. We present EdnaML, a framework with a declarative API for reproducible deep learning. EdnaML provides low-level building blocks that can be composed manually, as well as a high-level pipeline orchestration API to automate data collection, data processing, classifier training, classifier deployment, and model monitoring. Our layered API allows users to manage ML pipelines at high-level component abstractions, while providing flexibility to modify any part of it through the building blocks. We present several examples of ML pipelines with EdnaML, including a large-scale fake news labeling and classification system with six sub-pipelines managed by EdnaML.


title: Duality Related with Key Varieties of $\mathbb{Q}$-Fano 3-folds. I

abstract: Abstract. In our previous paper arXiv:2210.16008, we show that any prime $\mathbb{Q}$-Fano 3-folds $X$ with only $1/2(1,1,1)$-singularities in certain 5 classes can be embedded as linear sections into bigger dimensional $\mathbb{Q}$-Fano varieties called key varieties, where each of the key varieties is constructed from certain data of the Sarkisov link staring from the blow-up at one $1/2(1,1,1)$-singularity of $X$. In this paper, we introduce varieties associated with the key varieties which are dual in a certain sense. As an application, we interpret a fundamental part of the Sarkisov link for each $X$ as a linear section of the dual variety. In a natural context describing the variety dual to the key variety of $X$ of genus 5 with one $1/2(1,1,1)$-singularity, we also characterize a general canonical curve of genus 9 with a $g_{7}^{2}$.


title: In vivo labeling and quantitative imaging of neurons using MRI

abstract: Mammalian brain is a complex organ that contains billions of neurons. These neurons form various neural circuits that control the perception, cognition, emotion and behavior. Developing in vivo neuronal labeling and imaging techniques is crucial for studying the structure and function of neural circuits. In vivo techniques can provide true physiological information that cannot be provided by ex vivo methods. In this study, we describe a new strategy for in vivo neuronal labeling and quantification using MRI. To demonstrate the ability of this new method, we used neurotropic virus to deliver oatp1a1 gene to the target neural circuit. OATP1A1 protein is expressed on the neuronal membrane and can increase the uptake of a specific MRI contrast agent (Gd-EOB-DTPA). By using T1-weighted images for observation, labeled neurons "light up" on MRI. We further use a dynamic-contrast-enhancement based method to obtain measures that provide quantitative information of labeled neurons in vivo.


title: Reduced order modeling of parametrized systems through autoencoders and SINDy approach: continuation of periodic solutions

abstract: Highly accurate simulations of complex phenomena governed by partial differential equations (PDEs) typically require intrusive methods and entail expensive computational costs, which might become prohibitive when approximating steady-state solutions of PDEs for multiple combinations of control parameters and initial conditions. Therefore, constructing efficient reduced order models (ROMs) that enable accurate but fast predictions, while retaining the dynamical characteristics of the physical phenomenon as parameters vary, is of paramount importance. In this work, a data-driven, non-intrusive framework which combines ROM construction with reduced dynamics identification, is presented. Starting from a limited amount of full order solutions, the proposed approach leverages autoencoder neural networks with parametric sparse identification of nonlinear dynamics (SINDy) to construct a low-dimensional dynamical model. This model can be queried to efficiently compute full-time solutions at new parameter instances, as well as directly fed to continuation algorithms. These aim at tracking the evolution of periodic steady-state responses as functions of system parameters, avoiding the computation of the transient phase, and allowing to detect instabilities and bifurcations. Featuring an explicit and parametrized modeling of the reduced dynamics, the proposed data-driven framework presents remarkable capabilities to generalize with respect to both time and parameters. Applications to structural mechanics and fluid dynamics problems illustrate the effectiveness and accuracy of the proposed method.


title: Light Induced Surface Tension Gradients for Hierarchical Assembly of Particles from Liquid Metals

abstract: Achieving control over the motion of dissolved particles in liquid metals is of importance for the meticulous realization of hierarchical particle assemblies in a variety of nanofabrication processes. Brownian forces can impede the motion of such particles, impacting the degree of perfection that can be realized in assembled structures. Here we show that light induced Marangoni flow in liquid metals (i.e., liquid-gallium) with Laguerre-gaussian (LG) lasers as heating sources, is an effective approach to overcome Brownian forces on particles, giving rise to predictable assemblies with high degree of order. We show that by carefully engineering surface tension gradients in liquid-gallium using non-gaussian LG lasers, the Marangoni and convective flow that develops in the fluid drives the trajectory of randomly dispersed particles to assemble into 100 um wide ring-shaped particle assemblies. Careful control over the parameters of the LG laser (i.e., laser mode, spot size, and intensity of the electric field) can tune the temperature and fluid dynamics of the liquid-gallium as well as the balance of forces on the particle. This in turn can tune the structure of the ring-shaped particle assembly with a high degree of fidelity. The use of light to control the motion of particles in liquid metals represents a tunable and rapidly reconfigurable approach to spatially design surface tension gradients in fluids for more complex assembly of particles and small-scale solutes. This work can be extended to a variety of liquid-metals, complementary to what has been realized in particle assembly out of ferrofluids using magnetic fields.


title: Adversarial and Random Transformations for Robust Domain Adaptation and Generalization

abstract: Data augmentation has been widely used to improve generalization in training deep neural networks. Recent works show that using worst-case transformations or adversarial augmentation strategies can significantly improve the accuracy and robustness. However, due to the non-differentiable properties of image transformations, searching algorithms such as reinforcement learning or evolution strategy have to be applied, which are not computationally practical for large scale problems. In this work, we show that by simply applying consistency training with random data augmentation, state-of-the-art results on domain adaptation (DA) and generalization (DG) can be obtained. To further improve the accuracy and robustness with adversarial examples, we propose a differentiable adversarial data augmentation method based on spatial transformer networks (STN). The combined adversarial and random transformations based method outperforms the state-of-the-art on multiple DA and DG benchmark datasets. Besides, the proposed method shows desirable robustness to corruption, which is also validated on commonly used datasets.


title: Roughening of two-dimensional interfaces in nonequilibrium phase-separated systems

abstract: I show that non-equilibrium two-dimensional interfaces between three dimensional phase separated fluids exhibit a peculiar "sub-logarithmic" roughness. Specifically, an interface of lateral extent $L$ will fluctuate vertically (i.e., normal to the mean surface orientation) a typical RMS distance $w\equiv\sqrt{\langle |h(\br,t)|^2\rangle} \propto [\ln{(L/a)}]^{1/3}$ (where $a$ is a microscopic length, and $ h(\br,t)$ is the height of the interface at two dimensional position $\br$ at time $t$). In contrast, the roughness of equilibrium two-dimensional interfaces between three dimensional fluids, obeys $w \propto [\ln{(L/a)}]^{1/2}$. The exponent $1/3$ for the active case is exact. In addition, the characteristic time scales $\tau(L)$ in the active case scale according to $\tau(L)\propto L^3 [\ln{(L/a)}]^{1/3}$, in contrast to the simple $\tau(L)\propto L^3$ scaling found in equilibrium systems with conserved densities and no fluid flow.


title: Near-Linear Sample Complexity for $L_p$ Polynomial Regression

abstract: We study $L_p$ polynomial regression. Given query access to a function $f:[-1,1] \rightarrow \mathbb{R}$, the goal is to find a degree $d$ polynomial $\hat{q}$ such that, for a given parameter $\varepsilon > 0$, $$ \|\hat{q}-f\|_p\le (1+\varepsilon) \cdot \min_{q:\text{deg}(q)\le d}\|q-f\|_p. $$ Here $\|\cdot\|_p$ is the $L_p$ norm, $\|g\|_p = (\int_{-1}^1 |g(t)|^p dt)^{1/p}$. We show that querying $f$ at points randomly drawn from the Chebyshev measure on $[-1,1]$ is a near-optimal strategy for polynomial regression in all $L_p$ norms. In particular, to find $\hat q$, it suffices to sample $O(d\, \frac{\text{polylog}\,d}{\text{poly}\,\varepsilon})$ points from $[-1,1]$ with probabilities proportional to this measure. While the optimal sample complexity for polynomial regression was well understood for $L_2$ and $L_\infty$, our result is the first that achieves sample complexity linear in $d$ and error $(1+\varepsilon)$ for other values of $p$ without any assumptions. Our result requires two main technical contributions. The first concerns $p\leq 2$, for which we provide explicit bounds on the $L_p$ Lewis weight function of the infinite linear operator underlying polynomial regression. Using tools from the orthogonal polynomial literature, we show that this function is bounded by the Chebyshev density. Our second key contribution is to take advantage of the structure of polynomials to reduce the $p>2$ case to the $p\leq 2$ case. By doing so, we obtain a better sample complexity than what is possible for general $p$-norm linear regression problems, for which $\Omega(d^{p/2})$ samples are required.


title: Cavity deformation and bubble entrapment during the impact of droplets on a liquid pool

abstract: The impact of droplets on a liquid pool is ubiquitous in nature and important in many industrial applications. A droplet impacting on a liquid pool can result in the pinch-off of a regular bubble or entrap a large bubble under certain impact conditions. In this study, the cavity deformation and the bubble entrapment during the impact of droplets on a liquid pool are studied by combined experimental measurements and numerical simulations. The time evolution of the free surface profile obtained in the numerical simulation is in good agreement with the experimental results. The cavity created by the droplet impact affects the pinch-off of regular bubbles and the entrapment of large bubbles. The regular bubble pinch-off is the direct consequence of the capillary wave propagating downward along the interface of the cavity and merging at the bottom of the cavity. In contrast, the large bubble entrapment is due to the merging of the liquid crowns at the mouth of the cavity. Gravity and environmental pressure play important roles in cavity deformation and bubble entrapment after droplet impact on liquid pools. The maximum depth of the cavity decreases as the gravitational effect becomes stronger. The phenomenon of regular bubble pinch-off may disappear as the gravity decreases. We find that the regular bubble pinch-off can transform into large bubble entrapment when increasing environmental pressure. The size of the large bubble entrapped decreases with increasing the environmental pressure due to the larger difference in the pressure and the vorticity around the liquid crown at increased environmental pressure. Finally, the regime map of bubble entrapment after the droplet impact is obtained.


title: Drug-target affinity prediction method based on consistent expression of heterogeneous data

abstract: The first step in drug discovery is finding drug molecule moieties with medicinal activity against specific targets. Therefore, it is crucial to investigate the interaction between drug-target proteins and small chemical molecules. However, traditional experimental methods for discovering potential small drug molecules are labor-intensive and time-consuming. There is currently a lot of interest in building computational models to screen small drug molecules using drug molecule-related databases. In this paper, we propose a method for predicting drug-target binding affinity using deep learning models. This method uses a modified GRU and GNN to extract features from the drug-target protein sequences and the drug molecule map, respectively, to obtain their feature vectors. The combined vectors are used as vector representations of drug-target molecule pairs and then fed into a fully connected network to predict drug-target binding affinity. This proposed model demonstrates its accuracy and effectiveness in predicting drug-target binding affinity on the DAVIS and KIBA datasets.


title: Reinforcement Learning Enhanced Weighted Sampling for Accurate Subgraph Counting on Fully Dynamic Graph Streams

abstract: As the popularity of graph data increases, there is a growing need to count the occurrences of subgraph patterns of interest, for a variety of applications. Many graphs are massive in scale and also fully dynamic (with insertions and deletions of edges), rendering exact computation of these counts to be infeasible. Common practice is, instead, to use a small set of edges as a sample to estimate the counts. Existing sampling algorithms for fully dynamic graphs sample the edges with uniform probability. In this paper, we show that we can do much better if we sample edges based on their individual properties. Specifically, we propose a weighted sampling algorithm called WSD for estimating the subgraph count in a fully dynamic graph stream, which samples the edges based on their weights that indicate their importance and reflect their properties. We determine the weights of edges in a data-driven fashion, using a novel method based on reinforcement learning. We conduct extensive experiments to verify that our technique can produce estimates with smaller errors while often running faster compared with existing algorithms.


title: Matrix product states and the decay of quantum conditional mutual information

abstract: A uniform matrix product state defined on a tripartite system of spins, denoted by $ABC,$ is shown to be an approximate quantum Markov chain when the size of subsystem $B,$ denoted $|B|,$ is large enough. The quantum conditional mutual information (QCMI) is investigated and proved to be bounded by a function proportional to $\exp(-q(|B|-K)+2K\ln|B|)$, with $q$ and $K$ computable constants. The properties of the bounding function are derived by a new approach, with a corresponding improved value given for its asymptotic decay rate $q$. We show the improved value of $q$ to be optimal. Numerical investigations of the decay of QCMI are reported for a collection of matrix product states generated by selecting the defining isometry with respect to Haar measure.


title: Correlation length lower bound for the random-field Potts model with the greedy lattice animal

abstract: Motivated by recent developments over the past few years in the study of the correlation length of the random-field Ising model due to Ding and Wirth in a paper first available in 2020, we pursue one natural direction of research that the authors propose is of interest, namely in confirming that the same scaling for the correlation length for the random-field Ising model equals that of the random-field Potts model. To demonstrate that the $\frac{4}{3}$ emergence in the correlation length scaling for the random-field Potts model coincides with that correlation length scaling for the random-field Ising model, we refer to arguments due to Talagrand, in which an upper bound on the greedy lattice animal readily provides a corresponding lower bound on the correlation length. Contributions from the $\frac{4}{3}$ exponent appearing in the correlation length scaling for the random-field Ising, and random-field Potts models alike are reminiscent of $\frac{4}{3}$ exponents in upper bounds taken under the Liouville quantum gravity metric in high temperature.


title: Observation of the epsilon-near-zero (ENZ) effect inside the laser plasma in air

abstract: In the world of epsilon-near-zero (ENZ) materials, the plasma is unique for its natural ENZ properties at the plasma frequency (wp). However, for the air plasma during femtosecond laser filamentation with wp in terahertz (THz) band, which is also known as a broadband THz emitter, the possible ENZ effect has long been neglected. In this work, interactions between the laser plasma in air and the radiated THz waves were investigated, and the THz resonance absorption at the ENZ point, which gave rise to the generation of surface plasmon waves, has been theoretically and experimentally demonstrated for the first time, to the best of our knowledge. Specifically, this ENZ effect was accompanied with THz modulations along the plasma filament in multiple domains, including the linear-to-elliptical THz polarization conversion and the multi-ring pattern of far-field THz profiles, etc. Thanks to these novel ENZ-induced phenomena, the understanding of this important plasma-based THz source has been enriched. Moreover, by extending the laser plasma to the role of ENZ material, it is promising to expedite related applications benefiting from the ENZ nature, e.g., the strong spatial confinement of THz waves inside the ENZ region between the bi-filaments array, which realized all-optical time-domain integration of broadband THz pulses as we recently displayed in [arXiv].


title: Perceptual Video Coding for Machines via Satisfied Machine Ratio Modeling

abstract: Video Coding for Machines (VCM) aims to compress visual signals for machine analysis. However, existing methods only consider a few machines, neglecting the majority. Moreover, the machine's perceptual characteristics are not leveraged effectively, resulting in suboptimal compression efficiency. To overcome these limitations, this paper introduces Satisfied Machine Ratio (SMR), a metric that statistically evaluates the perceptual quality of compressed images and videos for machines by aggregating satisfaction scores from them. Each score is derived from machine perceptual differences between original and compressed images. Targeting image classification and object detection tasks, we build two representative machine libraries for SMR annotation and create a large-scale SMR dataset to facilitate SMR studies. We then propose an SMR prediction model based on the correlation between deep feature differences and SMR. Furthermore, we introduce an auxiliary task to increase the prediction accuracy by predicting the SMR difference between two images in different quality. Extensive experiments demonstrate that SMR models significantly improve compression performance for machines and exhibit robust generalizability on unseen machines, codecs, datasets, and frame types. SMR enables perceptual coding for machines and propels VCM from specificity to generality. Code is available at https://github.com/ywwynm/SMR.


title: Conservation of all Lipkin's zilches from symmetries of the standard electromagnetic action and a hidden algebra

abstract: In 1964, Lipkin discovered the zilches, a set of conserved quantities in free electromagnetism. Among the zilches, optical chirality was identified by Tang and Cohen in 2010, serving as a measure of the handedness of light and leading to investigations into light's interactions with chiral matter. While the symmetries underlying the conservation of the zilches have been examined, the derivation of zilch conservation laws from symmetries of the standard free electromagnetic (EM) action using Noether's theorem has only been addressed in the case of optical chirality. We provide the full answer by demonstrating that the zilch symmetry transformations of the four-potential, $A_{\mu}$, preserve the standard free EM action. We also show that the zilch symmetries belong to the enveloping algebra of a "hidden" invariance algebra of free Maxwell's equations. This "hidden" algebra is generated by familiar conformal transformations and certain "hidden" symmetry transformations of $A_{\mu}$. Generalizations of the ``hidden'' symmetries are discussed in the presence of a material four-current, as well as in the theory of a complex Abelian gauge field. Additionally, we extend the zilch symmetries of the standard free EM action to the standard interacting action (with a non-dynamical four-current), allowing for a new derivation of the continuity equation for optical chirality in the presence of electric charges and currents. Furthermore, new continuity equations for the remaining zilches are derived.


title: Bead-Droplet Reactor for High-Fidelity Solid-Phase Enzymatic DNA Synthesis

abstract: Solid-phase synthesis techniques underpin the synthesis of DNA, oligopeptides, oligosaccharides, and combinatorial libraries for drug discovery. State-of-the-art solid-phase synthesizers can produce oligonucleotides up to 200-300 nucleotides while using excess reagents. Accumulated errors over multiple reaction cycles prevent the synthesis of longer oligonucleotides for the genome scale engineering of synthetic biological systems. The sources of these errors in synthesis columns remains poorly understood. Here we show that bead-bead stacking significantly contributes to reaction errors in columns by analyzing enzymatic coupling of fluorescently labelled nucleotides onto the initiated beads along with porosity, particle tracking and diffusion calculations. To circumvent stacking, we introduce dielectrophoretic bead-droplet reactor (DBDR); a novel approach to synthesize on individual microbeads within microdroplets. Dielectrophoretic force overcomes the droplet-medium interfacial tension to encapsulate and eject individual beads from microdroplets in a droplet microfluidic device. Faster reagent diffusion in droplets, and non-uniform electric field induced enhancement in reagent concentration at its surface can improve reaction fidelities in DBDR. Fluorescence comparisons suggest around 3-fold enhancement of reaction fidelity compared to columns. DBDR can potentially enable the high-purity synthesis of arbitrarily long strands of DNA to meet the emerging demands in healthcare, environment, agriculture, materials, and computing.


title: CS-Shapley: Class-wise Shapley Values for Data Valuation in Classification

abstract: Data valuation, or the valuation of individual datum contributions, has seen growing interest in machine learning due to its demonstrable efficacy for tasks such as noisy label detection. In particular, due to the desirable axiomatic properties, several Shapley value approximation methods have been proposed. In these methods, the value function is typically defined as the predictive accuracy over the entire development set. However, this limits the ability to differentiate between training instances that are helpful or harmful to their own classes. Intuitively, instances that harm their own classes may be noisy or mislabeled and should receive a lower valuation than helpful instances. In this work, we propose CS-Shapley, a Shapley value with a new value function that discriminates between training instances' in-class and out-of-class contributions. Our theoretical analysis shows the proposed value function is (essentially) the unique function that satisfies two desirable properties for evaluating data values in classification. Further, our experiments on two benchmark evaluation tasks (data removal and noisy label detection) and four classifiers demonstrate the effectiveness of CS-Shapley over existing methods. Lastly, we evaluate the "transferability" of data values estimated from one classifier to others, and our results suggest Shapley-based data valuation is transferable for application across different models.


title: BTO-RRT: A rapid, optimal, smooth and point cloud-based path planning algorithm

abstract: This paper explores a rapid, optimal smooth path-planning algorithm for robots (e.g., autonomous vehicles) in point cloud environments. Derivative maps such as dense point clouds, mesh maps, Octomaps, etc. are frequently used for path planning purposes. A bi-directional target-oriented point planning algorithm, directly using point clouds to compute the optimized and dynamically feasible trajectories, is presented in this paper. This approach searches for obstacle-free, low computational cost, smooth, and dynamically feasible paths by analyzing a point cloud of the target environment, using a modified bi-directional and RRT-connect-based path planning algorithm, with a k-d tree-based obstacle avoidance strategy and three-step optimization. This presented approach bypasses the common 3D map discretization, directly leveraging point cloud data and it can be separated into two parts: modified RRT-based algorithm core and the three-step optimization. Simulations on 8 2D maps with different configurations and characteristics are presented to show the efficiency and 2D performance of the proposed algorithm. Benchmark comparison and evaluation with other RRT-based algorithms like RRT, B-RRT, and RRT star are also shown in the paper. Finally, the proposed algorithm successfully achieved different levels of mission goals on three 3D point cloud maps with different densities. The whole simulation proves that not only can our algorithm achieves a better performance on 2D maps compared with other algorithms, but also it can handle different tasks(ground vehicles and UAV applications) on different 3D point cloud maps, which shows the high performance and robustness of the proposed algorithm. The algorithm is open-sourced at \url{https://github.com/zhz03/BTO-RRT}