title: A Feshbach resonance in collisions between ultracold ground state molecules

abstract: Collisional resonances are an important tool which has been used to modify interactions in ultracold gases, for realizing novel Hamiltonians in quantum simulations, for creating molecules from atomic gases and for controlling chemical reactions. So far, such resonances have been observed for atom-atom collisions, atom-molecule collisions and collisions between Feshbach molecules which are very weakly bound. Whether such resonances exist for ultracold ground state molecules has been debated due to the possibly high density of states and/or rapid decay of the resonant complex. Here we report a very pronounced and narrow (25 mG) Feshbach resonance in collisions between two ground state NaLi molecules. This molecular Feshbach resonance has two special characteristics. First, the collisional loss rate is enhanced by more than two orders of magnitude above the background loss rate which is saturated at the $p$-wave universal value, due to strong chemical reactivity. Second, the resonance is located at a magnetic field where two open channels become nearly degenerate. This implies the intermediate complex predominantly decays to the second open channel. We describe the resonant loss feature using a model with coupled modes which is analogous to a Fabry-P\'erot cavity. Our observations prove the existence of long-lived coherent intermediate complexes even in systems without reaction barriers and open up the possibility of coherent control of chemical reactions.


title: Federated Learning for Digital Twin-Based Vehicular Networks: Architecture and Challenges

abstract: Emerging intelligent transportation applications, such as accident reporting, lane change assistance, collision avoidance, and infotainment, will be based on diverse requirements (e.g., latency, reliability, quality of physical experience). To fulfill such requirements, there is a significant need to deploy a digital twin-based intelligent transportation system. Although the twin-based implementation of vehicular networks can offer performance optimization. Modeling twins is a significantly challenging task. Machine learning (ML) can be a preferable solution to model such a virtual model, and specifically federated learning (FL) is a distributed learning scheme that can better preserve privacy compared to centralized ML. Although FL can offer performance enhancement, it requires careful design. Therefore, in this article, we present an overview of FL for the twin-based vehicular network. A general architecture showing FL for the twin-based vehicular network is proposed. Our proposed architecture consists of two spaces, such as twin space and a physical space. The physical space consists of all the physical entities (e.g., cars and edge servers) required for vehicular networks, whereas the twin space refers to the logical space that is used for the deployment of twins. A twin space can be implemented either using edge servers and cloud servers. We also outline a few use cases of FL for the twin-based vehicular network. Finally, the paper is concluded and an outlook on open challenges is presented.


title: Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types

abstract: Communicating state machines provide a formal foundation for distributed computation. Unfortunately, they are Turing-complete and, thus, challenging to analyse. In this paper, we classify restrictions on channels which have been proposed to work around the undecidability of verification questions. We compare half-duplex communication, existential B-boundedness, and k-synchronisability. These restrictions do not prevent the communication channels from growing arbitrarily large but still restrict the power of the model. Each restriction gives rise to a set of languages so, for every pair of restrictions, we check whether one subsumes the other or if they are incomparable. We investigate their relationship in two different contexts: first, the one of communicating state machines, and, second, the one of communication protocol specifications using high-level message sequence charts. Surprisingly, these two contexts yield different conclusions. In addition, we integrate multiparty session types, another approach to specify communication protocols, into our classification. We show that multiparty session type languages are half-duplex, existentially 1-bounded, and 1-synchronisable. To~show this result, we provide the first formal embedding of multiparty session types into high-level message sequence charts.


title: Theory review for hadronic corrections to $g-2$

abstract: We review Standard-Model evaluations of hadronic contributions to the muon anomalous magnetic moment $g-2$. Most space is devoted to the hadronic vacuum polarization contribution, in view of the discrepancy between the data-based dispersive evaluation and the lattice evaluation by the BMW collaboration.


title: SSDBCODI: Semi-Supervised Density-Based Clustering with Outliers Detection Integrated

abstract: Clustering analysis is one of the critical tasks in machine learning. Traditionally, clustering has been an independent task, separate from outlier detection. Due to the fact that the performance of clustering can be significantly eroded by outliers, a small number of algorithms try to incorporate outlier detection in the process of clustering. However, most of those algorithms are based on unsupervised partition-based algorithms such as k-means. Given the nature of those algorithms, they often fail to deal with clusters of complex, non-convex shapes. To tackle this challenge, we have proposed SSDBCODI, a semi-supervised density-based algorithm. SSDBCODI combines the advantage of density-based algorithms, which are capable of dealing with clusters of complex shapes, with the semi-supervised element, which offers flexibility to adjust the clustering results based on a few user labels. We also merge an outlier detection component with the clustering process. Potential outliers are detected based on three scores generated during the process: (1) reachability-score, which measures how density-reachable a point is to a labeled normal object, (2) local-density-score, which measures the neighboring density of data objects, and (3) similarity-score, which measures the closeness of a point to its nearest labeled outliers. Then in the following step, instance weights are generated for each data instance based on those three scores before being used to train a classifier for further clustering and outlier detection. To enhance the understanding of the proposed algorithm, for our evaluation, we have run our proposed algorithm against some of the state-of-art approaches on multiple datasets and separately listed the results of outlier detection apart from clustering. Our results indicate that our algorithm can achieve superior results with a small percentage of labels.


title: Exoplanet weather and climate regimes with clouds and thermal ionospheres: A model grid study in support of large-scale observational campaigns

abstract: With observational efforts moving from the discovery into the characterisation mode, systematic campaigns that cover large ranges of global stellar and planetary parameters will be needed. We aim to uncover cloud formation trends and globally changing chemical regimes due to the host star's effect on the thermodynamic structure of their atmospheres. We aim to provide input for exoplanet missions like JWST, PLATO, and Ariel, as well as potential UV missions ARAGO, PolStar or POLLUX. Pre-calculated 3D GCMs for M, K, G, F host stars are the input for our kinetic cloud model. Gaseous exoplanets fall broadly into three classes: i) cool planets with homogeneous cloud coverage, ii) intermediate temperature planets with asymmetric dayside cloud coverage, and iii) ultra-hot planets without clouds on the dayside. In class ii),} the dayside cloud patterns are shaped by the wind flow and irradiation. Surface gravity and planetary rotation have little effect. Extended atmosphere profiles suggest the formation of mineral haze in form of metal-oxide clusters (e.g. (TiO2)_N). The dayside cloud coverage is the tell-tale sign for the different planetary regimes and their resulting weather and climate appearance. Class (i) is representative of planets with a very homogeneous cloud particle size and material compositions across the globe (e.g., HATS-6b, NGTS-1b), classes (ii, e.g., WASP-43b, HD\,209458b) and (iii, e.g., WASP-121b, WP0137b) have a large day/night divergence of the cloud properties. The C/O ratio is, hence, homogeneously affected in class (i), but asymmetrically in class (ii) and (iii). The atmospheres of class (i) and (ii) planets are little affected by thermal ionisation, but class (iii) planets exhibit a deep ionosphere on the dayside. Magnetic coupling will therefore affect different planets differently and will be more efficient on the more extended, cloud-free dayside.


title: The Disorder Origin of Raman Scattering In Perovskites Single Crystals

abstract: The anharmonic lattice dynamics of oxide and halide perovskites play a crucial role in their mechanical and optical properties. Raman spectroscopy is one of the key methods used to study these structural dynamics. However, despite decades of research, existing interpretations cannot explain the temperature dependence of the observed Raman spectra. We demonstrate the non-monotonic evolution with temperature of the scattering intensity and present a model for 2nd-order Raman scattering that accounts for this unique trend. By invoking a low-frequency anharmonic feature, we are able to reproduce the Raman spectral line-shapes and integrated intensity temperature dependence. Numerical simulations support our interpretation of this low-frequency mode as a transition between two minima of a double-well potential surface. The model can be applied to other dynamically disordered crystal phases, providing a better understanding of the structural dynamics, leading to favorable electronic, optical, and mechanical properties in functional materials.


title: What's on your mind? A Mental and Perceptual Load Estimation Framework towards Adaptive In-vehicle Interaction while Driving

abstract: Several researchers have focused on studying driver cognitive behavior and mental load for in-vehicle interaction while driving. Adaptive interfaces that vary with mental and perceptual load levels could help in reducing accidents and enhancing the driver experience. In this paper, we analyze the effects of mental workload and perceptual load on psychophysiological dimensions and provide a machine learning-based framework for mental and perceptual load estimation in a dual task scenario for in-vehicle interaction (https://github.com/amrgomaaelhady/MWL-PL-estimator). We use off-the-shelf non-intrusive sensors that can be easily integrated into the vehicle's system. Our statistical analysis shows that while mental workload influences some psychophysiological dimensions, perceptual load shows little effect. Furthermore, we classify the mental and perceptual load levels through the fusion of these measurements, moving towards a real-time adaptive in-vehicle interface that is personalized to user behavior and driving conditions. We report up to 89% mental workload classification accuracy and provide a real-time minimally-intrusive solution.


title: Stable Homology-Based Cycle Centrality Measures

abstract: Network centrality measures play a crucial role in understanding graph structures, assessing the importance of nodes, paths, or cycles based on directed or reciprocal interactions encoded by vertices and edges. Estrada and Ross extended these measures to simplicial complexes to account for higher-order connections. In this work, we introduce novel centrality measures by leveraging algebraically-computable topological signatures of cycles and their homological persistence. We apply tools from algebraic topology to extract multiscale signatures within cycle spaces of weighted graphs, tracking homology generators persisting across a weight-induced filtration of simplicial complexes built over point clouds. This approach incorporates persistent signatures and merge information of homology classes along the filtration, quantifying cycle importance not only by geometric and topological significance but also by homological influence on other cycles. We demonstrate the stability of these measures under small perturbations using an appropriate metric to ensure robustness in practical applications. Finally, we apply these measures to fractal-like point clouds, revealing their capability to detect information consistent with, and possibly overlooked by, common topological summaries.


title: Remote non-invasive Fabry-Perot cavity spectroscopy for label-free sensing

abstract: One way of optically monitoring molecule concentrations is to utilise the high sensitivity of the transmission and reflection rates of Fabry-Perot cavities to changes of their optical properties. Up to now, intrinsic and extrinsic Fabry-Perot cavity sensors have been considered with analytes either being placed inside the resonator or coupled to evanescent fields on the outside. Here we show that Fabry-Perot cavities can also be used to monitor molecule concentrations non-invasively and remotely, since the reflection of light from the target molecules back into the Fabry-Perot cavity adds upwards peaks to the minima of its overall reflection rate. Detecting the amplitude of these peaks reveals information about molecule concentrations. By using an array of optical cavities, a wide range of frequencies can be probed at once and a unique optical fingerprint can be obtained.


title: Correlates of repeat abortions and their spacing: Evidence from registry data in Spain

abstract: Using administrative data on all induced abortions recorded in Spain in 2019, we analyze the characteristics of women undergoing repeat abortions and the spacing between these procedures. Our findings indicate that compared to women experiencing their first abortion, those who undergo repeat abortions are more likely to have lower education levels, have dependent children, live alone, or be foreign-born, with a non-monotonic relationship with age. We also report that being less educated, not employed, having dependent children, or being foreign-born are all strongly related to a higher number of repeat abortions. Lastly, we find that being less educated, foreign-born, or not employed is correlated with a shorter time interval between the last two abortions.


title: The emergence of division of labor through decentralized social sanctioning

abstract: Human ecological success relies on our characteristic ability to flexibly self-organize into cooperative social groups, the most successful of which employ substantial specialization and division of labor. Unlike most other animals, humans learn by trial and error during their lives what role to take on. However, when some critical roles are more attractive than others, and individuals are self-interested, then there is a social dilemma: each individual would prefer others take on the critical but unremunerative roles so they may remain free to take one that pays better. But disaster occurs if all act thusly and a critical role goes unfilled. In such situations learning an optimum role distribution may not be possible. Consequently, a fundamental question is: how can division of labor emerge in groups of self-interested lifetime-learning individuals? Here we show that by introducing a model of social norms, which we regard as emergent patterns of decentralized social sanctioning, it becomes possible for groups of self-interested individuals to learn a productive division of labor involving all critical roles. Such social norms work by redistributing rewards within the population to disincentivize antisocial roles while incentivizing prosocial roles that do not intrinsically pay as well as others.


title: Triangular Quantum Photonic Devices with Integrated Detectors in Silicon Carbide

abstract: Triangular cross-section SiC photonic devices have been studied as an efficient and scalable route for integration of color centers into quantum hardware. In this work, we explore efficient collection and detection of color center emission in a triangular cross-section SiC waveguide by introducing a photonic crystal mirror on its one side and a superconducting nanowire single photon detector (SNSPD) on the other. Our modeled triangular cross-section devices with a randomly positioned emitter have a maximum coupling efficiency of 89 % into the desired optical mode and a high coupling efficiency (> 75 %) in more than half of the configurations. For the first time, NbTiN thin films were sputtered on 4H-SiC and the electrical and optical properties of the thin films were measured. We found that the transport properties are similar to the case of NbTiN on SiO2 substrates, while the extinction coefficient is up to 50 % higher for 1680 nm wavelength. Finally, we performed Finite-Difference Time-Domain simulations of triangular cross-section waveguide integrated with an SNSPD to identify optimal nanowire geometries for efficient detection of light from TE and TM polarized modes.


title: Venus Life Finder Missions Motivation and Summary

abstract: Finding evidence of extraterrestrial life would be one of the most profound scientific discoveries ever made, advancing humanity into a new epoch of cosmic awareness. The Venus Life Finder (VLF) missions feature a series of three direct atmospheric probes designed to assess the habitability of the Venusian clouds and search for signs of life and life itself. The VLF missions are an astrobiology-focused set of missions, and the first two out of three can be launched quickly and at a relatively low cost. The mission concepts come out of an 18-month study by an MIT-led worldwide consortium.


title: Tunable Coupler for Mediating Interactions between a Two-Level System and a Waveguide from a Decoupled State to the Ultra-Strong Coupling Regime

abstract: Two-level systems (TLS) coupled to waveguides are a fundamental paradigm for light-matter interactions and quantum networks. We introduce and experimentally demonstrate a method to tune the interaction between a TLS, implemented as a flux qubit, and a transmission line waveguide from a decoupled state to a coupling strength that is a significant fraction of the TLS transition frequency, near the ultra-strong coupling regime. The coupling, controlled via magnetic flux, is described by a normalized coupling strength $\alpha$ that is measured to range between $6.2\times10^{-5}$ and $2.19\times10^{-2}$, with larger attainable maximum values predicted by a circuit model of the device. This system enables future investigations in the dynamics of the spin-boson model, microwave photonics, and relativistic quantum information.


title: CreatureShop: Interactive 3D Character Modeling and Texturing from a Single Color Drawing

abstract: Creating 3D shapes from 2D drawings is an important problem with applications in content creation for computer animation and virtual reality. We introduce a new sketch-based system, CreatureShop, that enables amateurs to create high-quality textured 3D character models from 2D drawings with ease and efficiency. CreatureShop takes an input bitmap drawing of a character (such as an animal or other creature), depicted from an arbitrary descriptive pose and viewpoint, and creates a 3D shape with plausible geometric details and textures from a small number of user annotations on the 2D drawing. Our key contributions are a novel oblique view modeling method, a set of systematic approaches for producing plausible textures on the invisible or occluded parts of the 3D character (as viewed from the direction of the input drawing), and a user-friendly interactive system. We validate our system and methods by creating numerous 3D characters from various drawings, and compare our results with related works to show the advantages of our method. We perform a user study to evaluate the usability of our system, which demonstrates that our system is a practical and efficient approach to create fully-textured 3D character models for novice users.


title: Data Augmentation for Improving Emotion Recognition in Software Engineering Communication

abstract: Emotions (e.g., Joy, Anger) are prevalent in daily software engineering (SE) activities, and are known to be significant indicators of work productivity (e.g., bug fixing efficiency). Recent studies have shown that directly applying general purpose emotion classification tools to SE corpora is not effective. Even within the SE domain, tool performance degrades significantly when trained on one communication channel and evaluated on another (e.g, StackOverflow vs. GitHub comments). Retraining a tool with channel-specific data takes significant effort since manually annotating large datasets of ground truth data is expensive. In this paper, we address this data scarcity problem by automatically creating new training data using a data augmentation technique. Based on an analysis of the types of errors made by popular SE-specific emotion recognition tools, we specifically target our data augmentation strategy in order to improve the performance of emotion recognition. Our results show an average improvement of 9.3% in micro F1-Score for three existing emotion classification tools (ESEM-E, EMTk, SEntiMoji) when trained with our best augmentation strategy.


title: Exploiting Hierarchical Dependence Structures for Unsupervised Rank Fusion in Information Retrieval

abstract: The goal of rank fusion in information retrieval (IR) is to deliver a single output list from multiple search results. Improving performance by combining the outputs of various IR systems is a challenging task. A central point is the fact that many non-obvious factors are involved in the estimation of relevance, inducing nonlinear interrelations between the data. The ability to model complex dependency relationships between random variables has become increasingly popular in the realm of information retrieval, and the need to further explore these dependencies for data fusion has been recently acknowledged. Copulas provide a framework to separate the dependence structure from the margins. Inspired by the theory of copulas, we propose a new unsupervised, dynamic, nonlinear, rank fusion method, based on a nested composition of non-algebraic function pairs. The dependence structure of the model is tailored by leveraging query-document correlations on a per-query basis. We experimented with three topic sets over CLEF corpora fusing 3 and 6 retrieval systems, comparing our method against the CombMNZ technique and other nonlinear unsupervised strategies. The experiments show that our fusion approach improves performance under explicit conditions, providing insight about the circumstances under which linear fusion techniques have comparable performance to nonlinear methods.


title: On the distribution of eigenvalues of increasing trees

abstract: We prove that the multiplicity of a fixed eigenvalue $\alpha$ in a random recursive tree on $n$ vertices satisfies a central limit theorem with mean and variance asymptotically equal to $\mu_{\alpha} n$ and $\sigma^2_{\alpha} n$ respectively. It is also shown that $\mu_{\alpha}$ and $\sigma^2_{\alpha}$ are positive for every totally real algebraic integer. The proofs are based on a general result on additive tree functionals due to Holmgren and Janson. In the case of the eigenvalue $0$, the constants $\mu_0$ and $\sigma^2_0$ can be determined explicitly by means of generating functions. Analogous results are also obtained for Laplacian eigenvalues and binary increasing trees.


title: Real solutions to systems of polynomial equations in Macaulay2

abstract: The Macaulay2 package RealRoots provides symbolic methods to study real solutions to systems of polynomial equations. It updates and expands an earlier package developed by Grayson and Sottile in 1999. We provide mathematical background and descriptions of the RealRoots package, giving examples which illustrate some of its implemented methods. We also prove a general version of Sylvester's Theorem whose statement and proof we could not find in the literature.


title: Reducing Retraining by Recycling Parameter-Efficient Prompts

abstract: Parameter-efficient methods are able to use a single frozen pre-trained large language model (LLM) to perform many tasks by learning task-specific soft prompts that modulate model behavior when concatenated to the input text. However, these learned prompts are tightly coupled to a given frozen model -- if the model is updated, corresponding new prompts need to be obtained. In this work, we propose and investigate several approaches to "Prompt Recycling'" where a prompt trained on a source model is transformed to work with the new target model. Our methods do not rely on supervised pairs of prompts, task-specific data, or training updates with the target model, which would be just as costly as re-tuning prompts with the target model from scratch. We show that recycling between models is possible (our best settings are able to successfully recycle $88.9\%$ of prompts, producing a prompt that out-performs baselines), but significant performance headroom remains, requiring improved recycling techniques.


title: CB-DSL: Communication-efficient and Byzantine-robust Distributed Swarm Learning on Non-i.i.d. Data

abstract: The valuable data collected by IoT devices in edge networks together with the resurgence of ML stimulate the latest trend of edge AI. However, recent FL methods face major challenges including communication bottleneck, data heterogeneity and security concerns in edge IoT scenarios, especially when being adopted for distributed learning among massive IoT devices equipped with limited data and transmission resources. Meanwhile, the swarm nature of IoT systems is overlooked by most existing literature, which calls for new designs of distributed learning algorithms. Inspired by the success of biological intelligence (BI) of gregarious organisms, we propose a novel edge learning approach for swarm IoT, called communication-efficient and Byzantine-robust distributed swarm learning (CB-DSL), through a holistic integration of AI-enabled stochastic gradient descent and BI-enabled particle swarm optimization. To deal with non-i.i.d. data issues and Byzantine attacks, global data samples are introduced in CB-DSL and shared among IoT workers, which not only alleviates the local data heterogeneity effectively but also enables to fully utilize the exploration-exploitation mechanism of swarm intelligence. Further, we provide convergence analysis to theoretically demonstrate that the proposed CB-DSL is superior to the standard FL with better convergence behavior. In addition, to measure the effectiveness of the introduction of the globally shared dataset, we also evaluate the model divergence by deriving its upper bound, which is related to the distance between the data distribution at local IoT devices and the population distribution for the whole datasets. Numerical results verify that the proposed CB-DSL outperforms the existing benchmarks in terms of faster convergence speed, higher convergent accuracy, lower communication cost, and better robustness against non-i.i.d. data and Byzantine attacks.


title: Aerial Platform Design Options for a Life-Finding Mission at Venus

abstract: Mounting evidence of chemical disequilibria in the Venusian atmosphere has heightened interest in the search for life within the planet's cloud decks. Balloon systems are currently considered to be the superior class of aerial platform for extended atmospheric sampling within the clouds, providing the highest ratio of science return to risk. Balloon-based aerial platform designs depend heavily on payload mass and target altitudes. We present options for constant- and variable-altitude balloon systems designed to carry out science operations inside the Venusian cloud decks. The Venus Life Finder (VLF) mission study proposes a series of missions that require extended in situ analysis of Venus cloud material. We provide an overview of a representative mission architecture, as well as gondola designs to accommodate a VLF instrument suite. Current architecture asserts a launch date of 30 July 2026, which would place an orbiter and entry vehicle at Venus as early as November 29 of that same year.


title: The weak elliptic Harnack inequality revisited

abstract: In this paper we firstly derive the weak elliptic Harnack inequality from the generalized capacity condition, the tail estimate of jump measure and the Poincar\'{e} inequality, for any regular Dirichlet form without killing part on a measure metric space, by using the lemma of growth and the John-Nirenberg inequality. We secondly show several equivalent characterizations of the weak elliptic Harnack inequality for any (not necessarily regular) Dirichlet form. We thirdly present some consequences of the weak elliptic Harnack inequality.


title: Hopper flows of deformable particles

abstract: Numerous experimental and computational studies show that continuous hopper flows of granular materials obey the Beverloo equation that relates the volume flow rate $Q$ and the orifice width $w$: $Q \sim (w/\sigma_{\rm avg}-k)^{\beta}$, where $\sigma_{\rm avg}$ is the average particle diameter, $k\sigma_{\rm avg}$ is an offset where $Q\sim 0$, the power-law scaling exponent $\beta=d-1/2$, and $d$ is the spatial dimension. Recent studies of hopper flows of deformable particles in different background fluids suggest that the particle stiffness and dissipation mechanism can also strongly affect the power-law scaling exponent $\beta$. We carry out computational studies of hopper flows of deformable particles with both kinetic friction and background fluid dissipation in two and three dimensions. We show that the exponent $\beta$ varies continuously with the ratio of the viscous drag to the kinetic friction coefficient, $\lambda=\zeta/\mu$. $\beta = d-1/2$ in the $\lambda \rightarrow 0$ limit and $d-3/2$ in the $\lambda \rightarrow \infty$ limit, with a midpoint $\lambda_c$ that depends on the hopper opening angle $\theta_w$. We also characterize the spatial structure of the flows and associate changes in spatial structure of the hopper flows to changes in the exponent $\beta$. The offset $k$ increases with particle stiffness until $k \sim k_{\rm max}$ in the hard-particle limit, where $k_{\rm max} \sim 3.5$ is larger for $\lambda \rightarrow \infty$ compared to that for $\lambda \rightarrow 0$. Finally, we show that the simulations of hopper flows of deformable particles in the $\lambda \rightarrow \infty$ limit recapitulate the experimental results for quasi-2D hopper flows of oil droplets in water.


title: Mission Architecture to Characterize Habitability of Venus Cloud Layers via an Aerial Platform

abstract: Venus is known for its extreme surface temperature and its sulfuric acid clouds. But the cloud layers on Venus have similar temperature and pressure conditions to those on the surface of Earth and are conjectured to be a possible habitat for microscopic life forms. We propose a mission concept to explore the clouds of Venus for up to 30 days to evaluate habitability and search for signs of life. The baseline mission targets a 2026 launch opportunity. A super-pressure variable float altitude balloon aerobot cycles between the altitudes of 48 and 60 km, i.e., primarily traversing the lower, middle, and part of the upper cloud layers. The instrument suite is carried by a gondola design derived from the Pioneer Venus Large Probe pressure vessel. The aerobot transmits data via an orbiter relay combined with a direct-to-Earth link. The orbiter is captured into a 6-h retrograde orbit with a low, roughly 170-degree, inclination. The total mass of the orbiter and entry probe is estimated to be 640 kg. An alternate concept for a constant float altitude balloon is also discussed as a lower complexity option compared to the variable float altitude version. The proposed mission would complement other planned missions and could help elucidate the limits of habitability and the role of unknown chemistry or possibly life itself in the Venus atmosphere.


title: Multiple transitions in vacuum dark energy and $H_0$ tension

abstract: We study the effects of multiple transitions in the vacuum dark energy density on the $H_0$ tension problem. We consider a phenomenological model in which the vacuum energy density undergoes multiple transitions in the early as well as the late universe and compare the model's predictions using the three sets of data from CMB+BAO+SN. The transient dark energy can be either positive (dS-like) or negative (AdS-like). We conclude that a transient late-time AdS-type vacuum energy typically yields the higher value of $H_0$ which can alleviate the $H_0$ tension. In addition, to obtain a value of $H_0$ comparable to the value obtained from the local cosmological measurements the spectral index $n_s$ moves towards its Harrison-Zel'dovich scale invariant value


title: On the $n-$th linear polarization constant of $\mathbb{R}^n$

abstract: We prove that given any set of $n$ unit vectors $\{v_i\}_{i=1}^{n}\subset \mathbb R^n,$ the inequality \[ \sup\limits_{\Vert x \Vert_{\mathbb R^n} =1} \vert \langle x, v_1 \rangle \cdots \langle x, v_n\rangle\vert \ge n^{-n/2} \] holds for $n \le 14.$ Moreover, the equality is attained if and only if $\{v_i\}_{i=1}^{n}$ is an orthonormal system.


title: Inferring equilibrium transition rates from nonequilibrium protocols

abstract: We develop a theory for inferring equilibrium transition rates from trajectories driven by a time dependent force using results from stochastic thermodynamics. Applying the Kawasaki relation to approximate the nonequilibrium distribution function in terms of the equilibrium distribution function and the excess dissipation, we formulate a nonequilibrium transition state theory to estimate the rate enhancement over the equilibrium rate due to the nonequilibrium protocol. We demonstrate the utility of our theory in examples of pulling of harmonically trapped particles in 1 and 2 dimensions, as well as a semi-flexible polymer with a reactive linker in 3 dimensions. In all cases we find that we are able to infer the transition rates more effectively than phenomenological approaches based on Bell's law. We expect our thermodynamic approach will find use in both molecular simulation and force spectroscopy experiments.


title: Multi-Factor Key Derivation Function (MFKDF) for Fast, Flexible, Secure, & Practical Key Management

abstract: We present the first general construction of a Multi-Factor Key Derivation Function (MFKDF). Our function expands upon password-based key derivation functions (PBKDFs) with support for using other popular authentication factors like TOTP, HOTP, and hardware tokens in the key derivation process. In doing so, it provides an exponential security improvement over PBKDFs with less than 12 ms of additional computational overhead in a typical web browser. We further present a threshold MFKDF construction, allowing for client-side key recovery and reconstitution if a factor is lost. Finally, by "stacking" derived keys, we provide a means of cryptographically enforcing arbitrarily specific key derivation policies. The result is a paradigm shift toward direct cryptographic protection of user data using all available authentication factors, with no noticeable change to the user experience. We demonstrate the ability of our solution to not only significantly improve the security of existing systems implementing PBKDFs, but also to enable new applications where PBKDFs would not be considered a feasible approach.


title: Local magnetic moments due to loop currents in metals

abstract: We present Hartree-Fock calculations on a simple model to obtain the conditions of formation of local magnetic moments due to loop-currents $L_o$ and spin-loop currents $L_s$ and compare them to the conditions of formation of local spin-moments $M$ which were given long ago in a similar approximation by Anderson. A model with three degenerate orbitals sitting on an equilateral triangle, with on-site and nearest-neighbor repulsions $U$ and $V$ respectively, and inter-site kinetic energy, hybridizing with conduction electrons with a parameter ${\Delta}$ is investigated. $L_o$ and $L_s$ are promoted by large $V/{\Delta}$ and their magnitude is relatively unaffected by $U/{\Delta}$. Spin-magnetic moments $M$ promoted by large $U/{\Delta}$ on the other hand are adversely affected by $V/{\Delta}$. In this model, $L_o$ for $V$ multiplied by the number of neighbors is approximately the same as the $M$ promoted by $U$ in Anderson's local model for $M$. $L_o$ and $L_s$ are degenerate if exchange interactions and Hund's rule are neglected but $L_o$ is favored when they are included. Many of the qualitative results are visible in an expression for the Hartree-Fock ground state energy derived as a function of small $L_o, L_s$ and $M$. Numerical minimization of the Hartree-Fock energy is presented for larger values. We also briefly discuss the connection and differences of the interaction generated orbital currents and spin-currents discussed here and generalized to a lattice with the topological states in metals and semi-conductors.


title: Squeezed coherent states for a free particle with time-varying mass

abstract: We obtain the squeezed coherent states (SCS) for a free particle with exponentially time-varying mass. We write these states in terms of the squeeze and displacement parameters on the time-independent Fock states. Thus, we find a condition on the displacement parameter such that the SCS can be considered semiclassical states. We show that it is possible to obtain the coherent states (CS) for a free particle with minimal uncertainty as long as the mass increases with the time. We analyze the transition probability of a system initially prepared in the time-independent Fock states to the free particle SCS.


title: Certain floor function sums over powers

abstract: We study the sums $$ S_f(x) = \sum_{n\leq x} f\left(\left\lfloor\frac{x}{n}\right\rfloor\right) $$ when $f$ is supported on $r$th powers with $r\geq 2$. This restriction allows us to give nontrivial estimates for one of the error terms in the asymptotic expansion of $S_f(x)$. We also state several conjectures related to our results.


title: Characterization of electroless nickel-phosphorus plating for ultracold-neutron storage

abstract: Electroless nickel plating is an established industrial process that provides a robust and relatively low-cost coating suitable for transporting and storing ultracold neutrons (UCN). Using roughness measurements and UCN-storage experiments we characterized UCN guides made from polished aluminum or stainless-steel tubes plated by several vendors. All electroless nickel platings were similarly suited for UCN storage with an average loss probability per wall bounce of $2.8\cdot10^{-4}$ to $4.1\cdot10^{-4}$ for energies between 90 neV and 190 neV, or a ratio of imaginary to real Fermi potential $\eta$ of $1.7\cdot10^{-4}$ to $3.3\cdot10^{-4}$. Measurements at different elevations indicate that the energy dependence of UCN losses is well described by the imaginary Fermi potential. Some special considerations are required to avoid an increase in surface roughness during the plating process and hence a reduction in UCN transmission. Increased roughness had only a minor impact on storage properties. Based on these findings we chose a vendor to plate the UCN-production vessel that will contain the superfluid-helium converter for the new TRIUMF UltraCold Advanced Neutron (TUCAN) source, achieving acceptable UCN-storage properties with ${\eta=3.5(5)\cdot10^{-4}}$.


title: Solar-like to Antisolar Differential Rotation: A Geometric Interpretation

abstract: The solar convection zone rotates differentially, with its equatorial region rotating more rapidly than the polar regions. This form of differential rotation, also observed in many other low-mass stars, is understood to arise when Coriolis effects are stronger than those associated with buoyant driving of the convection. When buoyancy dominates, a so-called antisolar state of differential rotation results, characterized by rapidly-rotating poles and a slow equator. The transition between these two states has been shown to occur when the intensity of these two forces is roughly equal or, equivalently, when the convective Rossby number of the system is unity. Here we consider an alternative view of the transition that relates this phenomenon to convective structure and convective-zone depth. Using a series of 3-D rotating convection-zone simulations, we demonstrate that the solar/antisolar transition occurs when the columnar convective structures characteristic of rotating convection attain a diameter roughly equivalent to the shell depth. When the characteristic convective wavelength exceeds twice the shell depth, we find that the coherent convective structures necessary to sustain an equatorward Reynolds stress are lost, and an antisolar state results. We conclude by presenting a force-balance analysis that relates this geometric interpretation of the transition to the convective-Rossby-number criteria identified in previous studies.


title: Patching open-vocabulary models by interpolating weights

abstract: Open-vocabulary models like CLIP achieve high accuracy across many image classification tasks. However, there are still settings where their zero-shot performance is far from optimal. We study model patching, where the goal is to improve accuracy on specific tasks without degrading accuracy on tasks where performance is already adequate. Towards this goal, we introduce PAINT, a patching method that uses interpolations between the weights of a model before fine-tuning and the weights after fine-tuning on a task to be patched. On nine tasks where zero-shot CLIP performs poorly, PAINT increases accuracy by 15 to 60 percentage points while preserving accuracy on ImageNet within one percentage point of the zero-shot model. PAINT also allows a single model to be patched on multiple tasks and improves with model scale. Furthermore, we identify cases of broad transfer, where patching on one task increases accuracy on other tasks even when the tasks have disjoint classes. Finally, we investigate applications beyond common benchmarks such as counting or reducing the impact of typographic attacks on CLIP. Our findings demonstrate that it is possible to expand the set of tasks on which open-vocabulary models achieve high accuracy without re-training them from scratch.


title: Evaluating the Quality and Diversity of DCGAN-based Generatively Synthesized Diabetic Retinopathy Imagery

abstract: Publicly available diabetic retinopathy (DR) datasets are imbalanced, containing limited numbers of images with DR. This imbalance contributes to overfitting when training machine learning classifiers. The impact of this imbalance is exacerbated as the severity of the DR stage increases, affecting the classifiers' diagnostic capacity. The imbalance can be addressed using Generative Adversarial Networks (GANs) to augment the datasets with synthetic images. Generating synthetic images is advantageous if high-quality and diversified images are produced. To evaluate the quality and diversity of synthetic images, several evaluation metrics, such as Multi-Scale Structural Similarity Index (MS-SSIM), Cosine Distance (CD), and Fr\'echet Inception Distance (FID) are used. Understanding the effectiveness of each metric in evaluating the quality and diversity of GAN-based synthetic images is critical to select images for augmentation. To date, there has been limited analysis of the appropriateness of these metrics in the context of biomedical imagery. This work contributes an empirical assessment of these evaluation metrics as applied to synthetic Proliferative DR imagery generated by a Deep Convolutional GAN (DCGAN). Furthermore, the metrics' capacity to indicate the quality and diversity of synthetic images and a correlation with classifier performance is undertaken. This enables a quantitative selection of synthetic imagery and an informed augmentation strategy. Results indicate that FID is suitable for evaluating the quality, while MS-SSIM and CD are suitable for evaluating the diversity of synthetic imagery. Furthermore, the superior performance of Convolutional Neural Network (CNN) and EfficientNet classifiers, as indicated by the F1 and AUC scores, for the augmented datasets demonstrates the efficacy of synthetic imagery to augment the imbalanced dataset.


title: Atmospheric Monitoring and Precise Spectroscopy of the HR 8799 Planets with SCExAO/CHARIS

abstract: The atmospheres of gas giant planets are thought to be inhomogeneous due to weather and patchy clouds. We present two full nights of coronagraphic observations of the HR 8799 planets using the CHARIS integral field spectrograph behind the SCExAO adaptive optics system on the Subaru Telescope to search for spectrophomometric variability. We did not detect significant variability signals, but placed the lowest variability upper limits for HR 8799 c and d. Based on injection-recovery tests, we expected to have a 50% chance to detect signals down to 10% H-band photometric variability for HR 8799 c and down to 30% H-band variability for HR 8799 d. We also investigated spectral variability and expected a 50% chance to recovery 20% variability in the H/K flux ratio for HR 8799 c. We combined all the data from the two nights to obtain some of the most precise spectra obtained for HR 8799 c, d, and e. Using a grid of cloudy radiative-convective-thermochemical equilibrium models, we found all three planets prefer supersolar metallicity with effective temperatures of ~1100 K. However, our high signal-to-noise spectra show that HR 8799 d has a distinct spectrum from HR 8799 c, possibly preferring more vertically extended and uniform clouds and indicating that the planets are not identical.


title: Downlink Interference Analysis of UAV-based mmWave Fronthaul for Small Cell Networks

abstract: In this paper, an unmanned aerial vehicles (UAV)-based heterogeneous network is studied to solve the problem of transferring massive traffic of distributed small cells to the core network. First, a detailed three-dimensional (3D) model of the downlink channel is characterized by taking into account the real antenna pattern, UAVs' vibrations, random distribution of small cell base stations (SBSs), and the position of UAVs in 3D space. Then, a rigorous analysis of interference is performed for two types pf interference: intra-cell interference and inter-cell interference. The interference analysis results are then used to derive an upper bound of outage probability on the considered system. Using numerical results show that the analytical and simulation results match one another. The results show that, in the presence of UAV's fluctuations, optimizing radiation pattern shape requires balancing an inherent tradeoff between increasing pattern gain to reduce the interference as well as to compensate large path loss at mmWave frequencies and decreasing it to alleviate the adverse effect of a UAV's vibrations. The analytical derivations enable the derivation of the optimal antenna pattern for any condition in a short time instead of using time-consuming extensive simulations.


title: Finding Reusable Machine Learning Components to Build Programming Language Processing Pipelines

abstract: Programming Language Processing (PLP) using machine learning has made vast improvements in the past few years. Increasingly more people are interested in exploring this promising field. However, it is challenging for new researchers and developers to find the right components to construct their own machine learning pipelines, given the diverse PLP tasks to be solved, the large number of datasets and models being released, and the set of complex compilers or tools involved. To improve the findability, accessibility, interoperability and reusability (FAIRness) of machine learning components, we collect and analyze a set of representative papers in the domain of machine learning-based PLP. We then identify and characterize key concepts including PLP tasks, model architectures and supportive tools. Finally, we show some example use cases of leveraging the reusable components to construct machine learning pipelines to solve a set of PLP tasks.


title: Diamonds are Forever in the Blockchain: Geometric Polyhedral Point-Set Pattern Matching

abstract: Motivated by blockchain technology for supply-chain tracing of ethically sourced diamonds, we study geometric polyhedral point-set pattern matching as minimum-width polyhedral annulus problems under translations and rotations. We provide two $(1 + \varepsilon)$-approximation schemes under translations with $O(\varepsilon^{-d} n)$-time for $d$ dimensions and $O(n\log \varepsilon^{-1} + \varepsilon^{-2})$-time for two dimensions, and we give an $O(f^{d-1}\varepsilon^{1-2d}n)$-time algorithm when also allowing for rotations, parameterized on $f$, which we define as the slimness of the point set.


title: PASS: De novo assembler for short peptide sequences

abstract: The ability to characterize proteins at sequence-level resolution is vital to biological research. Currently, the leading method for protein sequencing is by liquid chromatography mass spectrometry (LC-MS) whereas proteins are reduced to their constituent peptides by enzymatic digest and subsequently analyzed on an LC-MS instrument. The short peptide sequences that result from this analysis are used to characterize the original protein content of the sample. Here we present PASS, a de novo assembler for short peptide sequences that can be used to reconstruct large portions of protein targets, a step that can facilitate downstream sample characterization efforts. We show how, with adequate peptide sequence coverage and little-to-no additional sequence processing, PASS reconstructs protein sequences into relatively large (100 amino acid or longer) contigs having high (93.1 - 99.1%) sequence identity to reference antibody light and heavy chain proteins. Availability: PASS is released under the GNU General Public License Version 3 (GPLv3) and is publicly available from https://github.com/warrenlr/PASS


title: Nash blowups of toric varieties in prime characteristic

abstract: We initiate the study of the resolution of singularities properties of Nash blowups over fields of prime characteristic. We prove that the iteration of normalized Nash blowups desingularizes normal toric surfaces. We also introduce a prime characteristic version of the logarithmic Jacobian ideal of a toric variety and prove that its blowup coincides with the Nash blowup of the variety. As a consequence, the Nash blowup of a, not necessarily normal, toric variety of arbitrary dimension in prime characteristic can be described combinatorially.


title: Identifying microbial drivers in biological phenotypes with a Bayesian Network Regression model

abstract: 1. In Bayesian Network Regression models, networks are considered the predictors of continuous responses. These models have been successfully used in brain research to identify regions in the brain that are associated with specific human traits, yet their potential to elucidate microbial drivers in biological phenotypes for microbiome research remains unknown. In particular, microbial networks are challenging due to their high-dimension and high sparsity compared to brain networks. Furthermore, unlike in brain connectome research, in microbiome research, it is usually expected that the presence of microbes have an effect on the response (main effects), not just the interactions. 2. Here, we develop the first thorough investigation of whether Bayesian Network Regression models are suitable for microbial datasets on a variety of synthetic and real data under diverse biological scenarios. We test whether the Bayesian Network Regression model that accounts only for interaction effects (edges in the network) is able to identify key drivers (microbes) in phenotypic variability. 3. We show that this model is indeed able to identify influential nodes and edges in the microbial networks that drive changes in the phenotype for most biological settings, but we also identify scenarios where this method performs poorly which allows us to provide practical advice for domain scientists aiming to apply these tools to their datasets. 4. BNR models provide a framework for microbiome researchers to identify connections between microbes and measured phenotypes. We allow the use of this statistical model by providing an easy-to-use implementation which is publicly available Julia package at https://github.com/solislemuslab/BayesianNetworkRegression.jl.


title: Adaptive syndrome measurements for Shor-style error correction

abstract: The Shor fault-tolerant error correction (FTEC) scheme uses transversal gates and ancilla qubits prepared in the cat state in syndrome extraction circuits to prevent propagation of errors caused by gate faults. For a stabilizer code of distance $d$ that can correct up to $t=\lfloor(d-1)/2\rfloor$ errors, the traditional Shor scheme handles ancilla preparation and measurement faults by performing syndrome measurements until the syndromes are repeated $t+1$ times in a row; in the worst-case scenario, $(t+1)^2$ rounds of measurements are required. In this work, we improve the Shor FTEC scheme using an adaptive syndrome measurement technique. The syndrome for error correction is determined based on information from the differences of syndromes obtained from consecutive rounds. Our protocols that satisfy the strong and the weak FTEC conditions require no more than $(t+3)^2/4-1$ rounds and $(t+3)^2/4-2$ rounds, respectively, and are applicable to any stabilizer code. Our simulations of FTEC protocols with the adaptive schemes on hexagonal color codes of small distances verify that our protocols preserve the code distance, can increase the pseudothreshold, and can decrease the average number of rounds compared to the traditional Shor scheme. We also find that for the code of distance $d$, our FTEC protocols with the adaptive schemes require no more than $d$ rounds on average.


title: Role of hydrogen bonding in charge-ordered organic conductor $\alpha$-(BEDT-TTF)$_2$I$_3$ probed by $^{127}$I nuclear quadrupole resonance

abstract: We present $^{127}$I nuclear quadrupole resonance spectra and nuclear relaxation of $\alpha$-(BEDT-TTF)$_2$I$_3$ that undergoes a charge-ordering transition. Only one of the two I$_3$ anion sites shows a significant differentiation in the electric field gradients across the first-order transition. The charge modulation only in the BEDT-TTF layers can not reproduce; instead, an anion-donor interaction accompanied by hydrogen bonding is necessary. The dominating source for the nuclear relaxation is the local libration of the I$_3$ anions, but an anomalous peak is detected just below the transition, as observed by $^{13}$C NMR.


title: Explicit classification of isogeny graphs of rational elliptic curves

abstract: Let $n>1$ be an integer such that $X_{0}\!\left( n\right) $ has genus $0$, and let $K$ be a field of characteristic $0$ or relatively prime to $6n$. In this article, we explicitly classify the isogeny graphs of all rational elliptic curves that admit a non-trivial isogeny over $\mathbb{Q}$. We achieve this by introducing $56$ parameterized families of elliptic curves $\mathcal{C}_{n,i}(t,d)$ defined over $K(t,d)$, which have the following two properties for a fixed $n$: the elliptic curves $\mathcal{C}_{n,i}(t,d)$ are isogenous over $K(t,d)$, and there are integers $k_{1}$ and $k_{2}$ such that the $j$-invariants of $\mathcal{C}_{n,k_{1}}(t,d)$ and $\mathcal{C}_{n,k_{2}}(t,d)$ are given by the Fricke parameterizations. As a consequence, we show that if $E$ is an elliptic curve over a number field $K$ with isogeny class degree divisible by $n\in\left\{4,6,9\right\} $, then there is a quadratic twist of $E$ that is semistable at all primes $\mathfrak{p}$ of $K$ such that $\mathfrak{p}\nmid n$.


title: Going Incognito in the Metaverse: Achieving Theoretically Optimal Privacy-Usability Tradeoffs in VR

abstract: Virtual reality (VR) telepresence applications and the so-called "metaverse" promise to be the next major medium of human-computer interaction. However, with recent studies demonstrating the ease at which VR users can be profiled and deanonymized, metaverse platforms carry many of the privacy risks of the conventional internet (and more) while at present offering few of the defensive utilities that users are accustomed to having access to. To remedy this, we present the first known method of implementing an "incognito mode" for VR. Our technique leverages local differential privacy to quantifiably obscure sensitive user data attributes, with a focus on intelligently adding noise when and where it is needed most to maximize privacy while minimizing usability impact. Our system is capable of flexibly adapting to the unique needs of each VR application to further optimize this trade-off. We implement our solution as a universal Unity (C#) plugin that we then evaluate using several popular VR applications. Upon faithfully replicating the most well-known VR privacy attack studies, we show a significant degradation of attacker capabilities when using our solution.


title: Symbolic Music Loop Generation with Neural Discrete Representations

abstract: Since most of music has repetitive structures from motifs to phrases, repeating musical ideas can be a basic operation for music composition. The basic block that we focus on is conceptualized as loops which are essential ingredients of music. Furthermore, meaningful note patterns can be formed in a finite space, so it is sufficient to represent them with combinations of discrete symbols as done in other domains. In this work, we propose symbolic music loop generation via learning discrete representations. We first extract loops from MIDI datasets using a loop detector and then learn an autoregressive model trained by discrete latent codes of the extracted loops. We show that our model outperforms well-known music generative models in terms of both fidelity and diversity, evaluating on random space. Our code and supplementary materials are available at https://github.com/sjhan91/Loop_VQVAE_Official.


title: Multi-fidelity wavelet neural operator with application to uncertainty quantification

abstract: Operator learning frameworks, because of their ability to learn nonlinear maps between two infinite dimensional functional spaces and utilization of neural networks in doing so, have recently emerged as one of the more pertinent areas in the field of applied machine learning. Although these frameworks are extremely capable when it comes to modeling complex phenomena, they require an extensive amount of data for successful training which is often not available or is too expensive. However, this issue can be alleviated with the use of multi-fidelity learning, where a model is trained by making use of a large amount of inexpensive low-fidelity data along with a small amount of expensive high-fidelity data. To this end, we develop a new framework based on the wavelet neural operator which is capable of learning from a multi-fidelity dataset. The developed model's excellent learning capabilities are demonstrated by solving different problems which require effective correlation learning between the two fidelities for surrogate construction. Furthermore, we also assess the application of the developed framework for uncertainty quantification. The results obtained from this work illustrate the excellent performance of the proposed framework.


title: Real-Time Massive MIMO Channel Prediction: A Combination of Deep Learning and NeuralProphet

abstract: Channel state information (CSI) is of pivotal importance as it enables wireless systems to adapt transmission parameters more accurately, thus improving the system's overall performance. However, it becomes challenging to acquire accurate CSI in a highly dynamic environment, mainly due to multi-path fading. Inaccurate CSI can deteriorate the performance, particularly of a massive multiple-input multiple-output (mMIMO) system. This paper adapts machine learning (ML) for CSI prediction. Specifically, we exploit time-series models of deep learning (DL) such as recurrent neural network (RNN) and Bidirectional long-short term memory (BiLSTM). Further, we use NeuralProphet (NP), a recently introduced time-series model, composed of statistical components, e.g., auto-regression (AR) and Fourier terms, for CSI prediction. Inspired by statistical models, we also develop a novel hybrid framework comprising RNN and NP to achieve better prediction accuracy. The proposed channel predictors (CPs) performance is evaluated on a real-time dataset recorded at the Nokia Bell-Labs campus in Stuttgart, Germany. Numerical results show that DL brings performance gain when used with statistical models and showcases robustness.


title: Polynomial Optimization: Enhancing RLT relaxations with Conic Constraints

abstract: Conic optimization has recently emerged as a powerful tool for designing tractable and guaranteed algorithms for non-convex polynomial optimization problems. On the one hand, tractability is crucial for efficiently solving large-scale problems and, on the other hand, strong bounds are needed to ensure high quality solutions. In this research, we investigate the strengthening of RLT relaxations of polynomial optimization problems through the addition of nine different types of constraints that are based on linear, second-order cone, and semidefinite programming to solve to optimality the instances of well established test sets of polynomial optimization problems. We describe how to design these conic constraints and their performance with respect to each other and with respect to the standard RLT relaxations. Our first finding is that the different variants of nonlinear constraints (second-order cone and semidefinite) are the best performing ones in around $50\%$ of the instances. Additionally, we present a machine learning approach to decide on the most suitable constraints to add for a given instance. The computational results show that the machine learning approach significantly outperforms each and every one of the nine individual approaches.


title: Learning governing physics from output only measurements

abstract: Extracting governing physics from data is a key challenge in many areas of science and technology. The existing techniques for equations discovery are dependent on both input and state measurements; however, in practice, we only have access to the output measurements only. We here propose a novel framework for learning governing physics of dynamical system from output only measurements; this essentially transfers the physics discovery problem from the deterministic to the stochastic domain. The proposed approach models the input as a stochastic process and blends concepts of stochastic calculus, sparse learning algorithms, and Bayesian statistics. In particular, we combine sparsity promoting spike and slab prior, Bayes law, and Euler Maruyama scheme to identify the governing physics from data. The resulting model is highly efficient and works with sparse, noisy, and incomplete output measurements. The efficacy and robustness of the proposed approach is illustrated on several numerical examples involving both complete and partial state measurements. The results obtained indicate the potential of the proposed approach in identifying governing physics from output only measurement.


title: Memorizing Complementation Network for Few-Shot Class-Incremental Learning

abstract: Few-shot Class-Incremental Learning (FSCIL) aims at learning new concepts continually with only a few samples, which is prone to suffer the catastrophic forgetting and overfitting problems. The inaccessibility of old classes and the scarcity of the novel samples make it formidable to realize the trade-off between retaining old knowledge and learning novel concepts. Inspired by that different models memorize different knowledge when learning novel concepts, we propose a Memorizing Complementation Network (MCNet) to ensemble multiple models that complements the different memorized knowledge with each other in novel tasks. Additionally, to update the model with few novel samples, we develop a Prototype Smoothing Hard-mining Triplet (PSHT) loss to push the novel samples away from not only each other in current task but also the old distribution. Extensive experiments on three benchmark datasets, e.g., CIFAR100, miniImageNet and CUB200, have demonstrated the superiority of our proposed method.


title: Asymmetry of velocity increments in turbulence

abstract: We use well-resolved direct numerical simulations of high-Reynolds-number turbulence to study a fundamental statistical property of turbulence -- the asymmetry of velocity increments -- with likely implications on important dynamics. This property, ignored by existing small-scale phenomenological models, manifests most prominently in the non-monotonic trend of velocity increment moments (or structure functions) with the moment order, and in differences between ordinary and absolute structure functions for a given separation distance. We show that high-order structure functions arise nearly entirely from the negative side of the probability density of velocity increments, essentially removing the ambiguity between ordinary and absolute moments, and provide a plausible dynamical interpretation of this result.


title: SSLEM: A Simplifier for MBA Expressions based on Semi-linear MBA Expressions and Program Synthesis

abstract: MBA (mixed boolean and arithmetic) expressions are hard to simplify, so used for malware obfuscation to hinder analysts' diagnosis. Some MBA simplification methods with high performance have been developed, but they narrowed the target to "linear" MBA expressions, which allows efficient solutions based on logic/term-rewriting. However such restrictions are not appropriate for general forms of MBA expressions usually appearing in malware. To overcome this limitation, we introduce a "semi-linear" MBA expression, a new class of MBA expression extended from a linear MBA expression, and propose a new MBA simplifier called "SSLEM", based on a simplification idea of semi-linear MBA expressions and program synthesis


title: $L^p$-Norm Bounds for Automorphic Forms via Spectral Reciprocity

abstract: Let $g$ be a Hecke-Maass cusp form on the modular surface ${\rm SL}_2(\mathbb{Z})\backslash\mathbb{H}$, namely an $L^2$-normalised nonconstant Laplacian eigenfunction on ${\rm SL}_2(\mathbb{Z})\backslash\mathbb{H}$ that is additionally a joint eigenfunction of every Hecke operator. We prove the $L^4$-norm bound $\|g\|_4\ll_{\varepsilon}\lambda_g^{3/304+\varepsilon}$, where $\lambda_g$ denotes the Laplacian eigenvalue of $g$, which improves upon Sogge's $L^4$-norm bound $\|g\|_4\ll\lambda_g^{1/16}$ for Laplacian eigenfunctions on a compact Riemann surface by more than a six-fold power-saving. Via interpolation, this yields $L^p$-norm bounds for Hecke-Maass cusp forms that are power-saving improvements on Sogge's bounds for all $p>2$. Our paper marks the first improvement of Sogge's result on the modular surface. Furthermore, these methods yield for compact arithmetic surfaces the best $L^4$-norm bound to date. Via the Watson-Ichino triple product formula, bounds for the $L^4$-norm of $g$ are reduced to bounds for certain mixed moments of $L$-functions. We bound these using two forms of spectral reciprocity. The first is a form of ${\rm GL}_3\times{\rm GL}_2\leftrightsquigarrow{\rm GL}_4\times{\rm GL}_1$ spectral reciprocity, which relates a ${\rm GL}_2$ moment of ${\rm GL}_3\times{\rm GL}_2$ Rankin-Selberg $L$-functions to a ${\rm GL}_1$ moment of ${\rm GL}_4\times{\rm GL}_1$ Rankin-Selberg $L$-functions; this can be seen as a cuspidal analogue of Motohashi's formula relating the fourth moment of the Riemann zeta function to the third moment of central values of Hecke $L$-functions. The second is a form of ${\rm GL}_4\times{\rm GL}_2\leftrightsquigarrow{\rm GL}_4\times{\rm GL}_2$ spectral reciprocity, which is a cuspidal analogue of a formula of Kuznetsov for the fourth moment of central values of Hecke $L$-functions.


title: Magnetic Excitations in Strained Infinite-layer Nickelate PrNiO2

abstract: Strongly correlated materials often respond sensitively to the external perturbations. In the recently discovered superconducting infinite-layer nickelates, the superconducting transition temperature can be dramatically enhanced via only ~1% compressive strain-tuning enabled by substrate design. However, the root of such enhancement remains elusive. While the superconducting pairing mechanism is still not settled, magnetic Cooper pairing - similar to the cuprates has been proposed. Using resonant inelastic x-ray scattering, we investigate the magnetic excitations in infinite-layer PrNiO2 thin films for different strain conditions. The magnon bandwidth of PrNiO2 shows only marginal response to strain-tuning, in sharp contrast to the striking enhancement of the superconducting transition temperature Tc in the doped superconducting samples. These results suggest the enhancement of Tc is not mediated by spin excitations and thus provide important empirics for the understanding of superconductivity in infinite-layer nickelates.


title: FIGO: Enhanced Fingerprint Identification Approach Using GAN and One Shot Learning Techniques

abstract: Fingerprint evidence plays an important role in a criminal investigation for the identification of individuals. Although various techniques have been proposed for fingerprint classification and feature extraction, automated fingerprint identification of fingerprints is still in its earliest stage. The performance of traditional \textit{Automatic Fingerprint Identification System} (AFIS) depends on the presence of valid minutiae points and still requires human expert assistance in feature extraction and identification stages. Based on this motivation, we propose a Fingerprint Identification approach based on Generative adversarial network and One-shot learning techniques (FIGO). Our solution contains two components: fingerprint enhancement tier and fingerprint identification tier. First, we propose a Pix2Pix model to transform low-quality fingerprint images to a higher level of fingerprint images pixel by pixel directly in the fingerprint enhancement tier. With the proposed enhancement algorithm, the fingerprint identification model's performance is significantly improved. Furthermore, we develop another existing solution based on Gabor filters as a benchmark to compare with the proposed model by observing the fingerprint device's recognition accuracy. Experimental results show that our proposed Pix2pix model has better support than the baseline approach for fingerprint identification. Second, we construct a fully automated fingerprint feature extraction model using a one-shot learning approach to differentiate each fingerprint from the others in the fingerprint identification process. Two twin convolutional neural networks (CNNs) with shared weights and parameters are used to obtain the feature vectors in this process. Using the proposed method, we demonstrate that it is possible to learn necessary information from only one training sample with high accuracy.


title: OpenMedIA: Open-Source Medical Image Analysis Toolbox and Benchmark under Heterogeneous AI Computing Platforms

abstract: In this paper, we present OpenMedIA, an open-source toolbox library containing a rich set of deep learning methods for medical image analysis under heterogeneous Artificial Intelligence (AI) computing platforms. Various medical image analysis methods, including 2D/3D medical image classification, segmentation, localisation, and detection, have been included in the toolbox with PyTorch and/or MindSpore implementations under heterogeneous NVIDIA and Huawei Ascend computing systems. To our best knowledge, OpenMedIA is the first open-source algorithm library providing compared PyTorch and MindSpore implementations and results on several benchmark datasets. The source codes and models are available at https://git.openi.org.cn/OpenMedIA.


title: Language-Guided Face Animation by Recurrent StyleGAN-based Generator

abstract: Recent works on language-guided image manipulation have shown great power of language in providing rich semantics, especially for face images. However, the other natural information, motions, in language is less explored. In this paper, we leverage the motion information and study a novel task, language-guided face animation, that aims to animate a static face image with the help of languages. To better utilize both semantics and motions from languages, we propose a simple yet effective framework. Specifically, we propose a recurrent motion generator to extract a series of semantic and motion information from the language and feed it along with visual information to a pre-trained StyleGAN to generate high-quality frames. To optimize the proposed framework, three carefully designed loss functions are proposed including a regularization loss to keep the face identity, a path length regularization loss to ensure motion smoothness, and a contrastive loss to enable video synthesis with various language guidance in one single model. Extensive experiments with both qualitative and quantitative evaluations on diverse domains (\textit{e.g.,} human face, anime face, and dog face) demonstrate the superiority of our model in generating high-quality and realistic videos from one still image with the guidance of language. Code will be available at https://github.com/TiankaiHang/language-guided-animation.git.


title: Experimental investigation of quantum correlations in a two-qutrit spin system

abstract: We report an experimental investigation of quantum correlations in a two-qutrit spin system in a single nitrogen-vacancy center in diamond at room temperatures. Quantum entanglement between two qutrits was observed at room temperature and the existence of non-classical correlations beyond entanglement in the qutrit case has been revealed. Our work demonstrates the potential of the NV centers as the multi-qutrit system to execute quantum information tasks and provides a powerful experimental platform for studying fundamental physics of high-dimensional quantum systems in future.


title: Water inside charged nanoslits: Structure and Dielectric study with a novel water model FAB/$\epsilon$

abstract: In this work, the dielectric behavior of water inside charged nanoslit of graphene is studied to analized the water molecules under electrical confinement; through polarizing the nanoslit of graphene, creating an electric field inside the nanopore. How the water molecules are structured under this type of electrical confinement is studied with two force fields of water, the three-site water models here used are the SCP/$\epsilon$ and the FAB/$\epsilon$, the first is a rigid model that improves the SPC model and the second is a flexible model that improves all the force fields of three sites non-polarizables and flexibles.


title: Uniform Convergence of Metrics on Alexandrov Surfaces with Bounded Integral Curvature

abstract: We prove uniform convergence of metrics $g_k$ on a closed surface with bounded integral curvature (measure) in the sense of A.D. Alexandrov, under the assumption that the curvature measures $\mathbb{K}_{g_k}=\mu^1_k-\mu^2_k$, where $\mu^1_k,\mu^2_k$ are nonnegative Radon measures that converge weakly to measures $\mu^1,\mu^2$ respectively, and $\mu^1$ is less than $2\pi$ at each point. This generalizes Yu. G. Reshetnyak's well-known result on uniform convergence of metrics on a domain in $\mathbb{C}$, and answers affirmatively the open question on the metric convergence on a closed surface.We also show that a metric $g=e^{2u}g_0$ with bounded integral curvature in the sense of Alexandrov on a closed Riemannian surface $(\Sigma,g_0)$ can be approximated by smooth metrics in the fixed conformal class $[g_0]$ in terms of distance functions, curvature measures and conformal factors. Results on a closed surface with varying conformal classes and on complete noncompact surfaces are obtained as well.


title: ARMANI: Part-level Garment-Text Alignment for Unified Cross-Modal Fashion Design

abstract: Cross-modal fashion image synthesis has emerged as one of the most promising directions in the generation domain due to the vast untapped potential of incorporating multiple modalities and the wide range of fashion image applications. To facilitate accurate generation, cross-modal synthesis methods typically rely on Contrastive Language-Image Pre-training (CLIP) to align textual and garment information. In this work, we argue that simply aligning texture and garment information is not sufficient to capture the semantics of the visual information and therefore propose MaskCLIP. MaskCLIP decomposes the garments into semantic parts, ensuring fine-grained and semantically accurate alignment between the visual and text information. Building on MaskCLIP, we propose ARMANI, a unified cross-modal fashion designer with part-level garment-text alignment. ARMANI discretizes an image into uniform tokens based on a learned cross-modal codebook in its first stage and uses a Transformer to model the distribution of image tokens for a real image given the tokens of the control signals in its second stage. Contrary to prior approaches that also rely on two-stage paradigms, ARMANI introduces textual tokens into the codebook, making it possible for the model to utilize fine-grain semantic information to generate more realistic images. Further, by introducing a cross-modal Transformer, ARMANI is versatile and can accomplish image synthesis from various control signals, such as pure text, sketch images, and partial images. Extensive experiments conducted on our newly collected cross-modal fashion dataset demonstrate that ARMANI generates photo-realistic images in diverse synthesis tasks and outperforms existing state-of-the-art cross-modal image synthesis approaches.Our code is available at https://github.com/Harvey594/ARMANI.


title: Regret Analysis for Hierarchical Experts Bandit Problem

abstract: We study an extension of standard bandit problem in which there are R layers of experts. Multi-layered experts make selections layer by layer and only the experts in the last layer can play arms. The goal of the learning policy is to minimize the total regret in this hierarchical experts setting. We first analyze the case that total regret grows linearly with the number of layers. Then we focus on the case that all experts are playing Upper Confidence Bound (UCB) strategy and give several sub-linear upper bounds for different circumstances. Finally, we design some experiments to help the regret analysis for the general case of hierarchical UCB structure and show the practical significance of our theoretical results. This article gives many insights about reasonable hierarchical decision structure.


title: Draft, Command, and Edit: Controllable Text Editing in E-Commerce

abstract: Product description generation is a challenging and under-explored task. Most such work takes a set of product attributes as inputs then generates a description from scratch in a single pass. However, this widespread paradigm might be limited when facing the dynamic wishes of users on constraining the description, such as deleting or adding the content of a user-specified attribute based on the previous version. To address this challenge, we explore a new draft-command-edit manner in description generation, leading to the proposed new task-controllable text editing in E-commerce. More specifically, we allow systems to receive a command (deleting or adding) from the user and then generate a description by flexibly modifying the content based on the previous version. It is easier and more practical to meet the new needs by modifying previous versions than generating from scratch. Furthermore, we design a data augmentation method to remedy the low resource challenge in this task, which contains a model-based and a rule-based strategy to imitate the edit by humans. To accompany this new task, we present a human-written draft-command-edit dataset called E-cEdits and a new metric "Attribute Edit". Our experimental results show that using the new data augmentation method outperforms baselines to a greater extent in both automatic and human evaluations.


title: Determining Causality in Travel Mode Choice

abstract: This article presents one of the pioneering studies on causal modeling in travel mode choice decision-making using causal discovery algorithms. These models are a major advancement from conventional correlation-based techniques. We propose a novel methodology that combines causal discovery with structural equation modeling (SEM). This modeling approach overcomes some of the limitations of SEM by combining the strengths of both causal discovery and SEM. Causal discovery algorithms determine causal graphs from observational data and domain knowledge, and SEMs estimate direct causal effects and test the performance of causal discovery algorithms. In this study, we test four causal discovery algorithms: Peter-Clark (PC), Fast Causal Inference (FCI), Fast Greedy Equivalence Search (FGES), and Direct Linear Non-Gaussian Acyclic Models (DirectLiNGAM). The results show that DirectLiNGAM based SEM model best captures causality in mode choice behavior. It passes several goodness-of-fit tests, including Root Mean Square Error of Approximation (RMSEA) and Goodness-of-Fit Index (GFI), and it achieves the lowest Bayesian Information Criterion (BIC) value. The analyses are conducted on data collected from the 2017 National Household Travel Survey in the New York Metropolitan area.


title: Fixed points on band structures of non-Hermitian models: Extended states in the bandgap and ideal superluminal tunneling

abstract: Space-time reflection symmetry (PT symmetry) in non-Hermitian electronic models has drawn much attention over the past decade mainly because it guarantees that the band structures calculated under open boundary conditions be the same as those calculated under periodic boundary conditions. PT symmetry in electromagnetic (EM) models, which are usually borrowed from electronic models, has also been of immense interest mainly because it leads to 'exceptional' parameter values below which non-Hermitian operators have real eigenvalues, although PT symmetry is not the sole symmetry which allows such exceptional parameter values. In this article, we examine one-dimensional PT-symmetric non-Hermitian EM models to introduce novel concepts and phenomena. We introduce the band-structure concept of 'fixed points', which leads to 'bidirectional' reflection zeros in the corresponding finite structures, contrary to a common belief about the EM structures with PT symmetry (and without P and T symmetries). Some of the fixed points manifest themselves as what we name 'extended states in the bandgap' on the band structure while some other fixed points are the 'turning points' of the band structure. The extended states in the band gap are in fact the dual of the well-known 'bound states in the continuum' while the turning points allow us to observe 'ideal' superluminal tunneling in the corresponding finite structures. By 'ideal' superluminal tunneling we mean the case where not only the transmission coefficient has an almost uniform phase over a broad bandwidth but also the magnitudes of the transmission and reflection coefficients are almost equal to unity and zero, respectively, over the bandwidth.


title: Valleytronic full configuration-interaction approach: An application to the excitation spectra of Si double-dot qubits

abstract: The influence of strong electron-electron interactions and Wigner-molecule (WM) formation on the spectra of $2e$ singlet-triplet double-dot Si qubits is presented based on a full configuration interaction (FCI) approach that incorporates the valley degree of freedom (VDOF) in the context of the continuous (effective mass) description of semiconductor materials. Our FCI treats the VDOF as an isospin in addition to the regular spin. Our treatment is able to assign to each energy curve in the qubit's spectrum a complete set of good quantum numbers for both the spin and the valley isospin. This reveals an underlying SU(4) $\supset$ SU(2) $\times$ SU(2) group-chain organization in the Si double-dot spectra. With parameters in the range of actual experimental situations, we demonstrate in a double-dot qubit that, in the (2,0) charge configuration and compared to the expected large, and dot-size determined, single-particle (orbital) energy gap, the strong $e-e$ interactions drastically quench the spin-singlet$-$spin-triplet energy gap, $E_{\rm ST}$, within the same valley, making it competitive to the small energy gap, $E_V$, between the two valleys. We present results for both the $E_{\rm ST} < E_V$ and $E_{\rm ST} > E_V$ cases. We investigate the spectra as a function of detuning and demonstrate the strengthening of the avoided crossings due to a lowering of the interdot barrier and/or the influence of valley-orbit coupling. We further demonstrate, as a function of an applied magnetic field, the emergence of avoided crossings in the (1,1) charge configuration due to the spin-valley coupling. The valleytronic FCI formulated here, and implementeded for two electrons confined in a tunable double quantum dot, offers also a most effective tool for analyzing the spectra of Si qubits with more than two wells and/or more than two electrons.


title: SignalKG: Towards Reasoning about the Underlying Causes of Sensor Observations

abstract: This paper demonstrates our vision for knowledge graphs that assist machines to reason about the cause of signals observed by sensors. We show how the approach allows for constructing smarter surveillance systems that reason about the most likely cause (e.g., an attacker breaking a window) of a signal rather than acting directly on the received signal without consideration for how it was produced.


title: One-shot purity distillation with local noisy operations and one-way classical communication

abstract: Local pure states represent a fundamental resource in quantum information theory. In this work we obtain one-shot achievable bounds on the rates for local purity distillation, in the single-party and in the two-party cases. In both situations, local noisy operations are freely available, while in the two-party case also one-way classical communication can be used. In addition, in both situations local pure ancillas can be borrowed, as long as they are discounted from the final net rate of distillation. The one-shot rates that we obtain, written in terms of mutual information-like quantities, are shown to recover in the limit the asymptotic i.i.d. rates of Devetak [PRA, 2005], up to first order analysis.


title: From interacting agents to Boltzmann-Gibbs distribution of money

abstract: We investigate the unbiased model for money exchanges: agents give at random time a dollar to one another (if they have one). Surprisingly, this dynamics eventually leads to a geometric distribution of wealth (shown empirically by Dragulescu and Yakovenko in [11] and rigorously in [2,12,15,18]). We prove a uniform-in-time propagation of chaos result as the number of agents goes to infinity, which links the stochastic dynamics to a deterministic infinite system of ordinary differential equations. This deterministic description is then analyzed by taking advantage of several entropy-entropy dissipation inequalities and we provide a quantitative almost-exponential rate of convergence toward the equilibrium (geometric distribution) in relative entropy.


title: Travelling waves and heteroclinic networks in models of spatially-extended cyclic competition

abstract: Dynamical systems containing heteroclinic cycles and networks can be invoked as models of intransitive competition between three or more species. When populations are assumed to be well-mixed, a system of ordinary differential equations (ODEs) describes the interaction model. Spatially extending these equations with diffusion terms creates a system of partial differential equations which captures both the spatial distribution and mobility of species. In one spatial dimension, travelling wave solutions can be observed, which correspond to periodic orbits in ODEs that describe the system in a steady-state travelling frame of reference. These new ODEs also contain a heteroclinic structure. For three species in cyclic competition, the topology of the heteroclinic cycle in the well-mixed model is preserved in the steady-state travelling frame of reference. We demonstrate that with four species, the heteroclinic cycle which exists in the well-mixed system becomes a heteroclinic network in the travelling frame of reference, with additional heteroclinic orbits connecting equilibria not connected in the original cycle. We find new types of travelling waves which are created in symmetry-breaking bifurcations and destroyed in an orbit flip bifurcation with a cycle between only two species. These new cycles explain the existence of "defensive alliances" observed in previous numerical experiments. We further describe the structure of the heteroclitic network for any number of species, and we conjecture how these results may generalise to systems of any arbitrary number of species in cyclic competition.


title: Quantized Adaptive Subgradient Algorithms and Their Applications

abstract: Data explosion and an increase in model size drive the remarkable advances in large-scale machine learning, but also make model training time-consuming and model storage difficult. To address the above issues in the distributed model training setting which has high computation efficiency and less device limitation, there are still two main difficulties. On one hand, the communication costs for exchanging information, e.g., stochastic gradients among different workers, is a key bottleneck for distributed training efficiency. On the other hand, less parameter model is easy for storage and communication, but the risk of damaging the model performance. To balance the communication costs, model capacity and model performance simultaneously, we propose quantized composite mirror descent adaptive subgradient (QCMD adagrad) and quantized regularized dual average adaptive subgradient (QRDA adagrad) for distributed training. To be specific, we explore the combination of gradient quantization and sparse model to reduce the communication cost per iteration in distributed training. A quantized gradient-based adaptive learning rate matrix is constructed to achieve a balance between communication costs, accuracy, and model sparsity. Moreover, we theoretically find that a large quantization error brings in extra noise, which influences the convergence and sparsity of the model. Therefore, a threshold quantization strategy with a relatively small error is adopted in QCMD adagrad and QRDA adagrad to improve the signal-to-noise ratio and preserve the sparsity of the model. Both theoretical analyses and empirical results demonstrate the efficacy and efficiency of the proposed algorithms.


title: Visual Haptic Reasoning: Estimating Contact Forces by Observing Deformable Object Interactions

abstract: Robotic manipulation of highly deformable cloth presents a promising opportunity to assist people with several daily tasks, such as washing dishes; folding laundry; or dressing, bathing, and hygiene assistance for individuals with severe motor impairments. In this work, we introduce a formulation that enables a collaborative robot to perform visual haptic reasoning with cloth -- the act of inferring the location and magnitude of applied forces during physical interaction. We present two distinct model representations, trained in physics simulation, that enable haptic reasoning using only visual and robot kinematic observations. We conducted quantitative evaluations of these models in simulation for robot-assisted dressing, bathing, and dish washing tasks, and demonstrate that the trained models can generalize across different tasks with varying interactions, human body sizes, and object shapes. We also present results with a real-world mobile manipulator, which used our simulation-trained models to estimate applied contact forces while performing physically assistive tasks with cloth. Videos can be found at our project webpage.


title: Best Policy Identification in Linear MDPs

abstract: We investigate the problem of best policy identification in discounted linear Markov Decision Processes in the fixed confidence setting under a generative model. We first derive an instance-specific lower bound on the expected number of samples required to identify an $\varepsilon$-optimal policy with probability $1-\delta$. The lower bound characterizes the optimal sampling rule as the solution of an intricate non-convex optimization program, but can be used as the starting point to devise simple and near-optimal sampling rules and algorithms. We devise such algorithms. One of these exhibits a sample complexity upper bounded by ${\cal O}({\frac{d}{(\varepsilon+\Delta)^2}} (\log(\frac{1}{\delta})+d))$ where $\Delta$ denotes the minimum reward gap of sub-optimal actions and $d$ is the dimension of the feature space. This upper bound holds in the moderate-confidence regime (i.e., for all $\delta$), and matches existing minimax and gap-dependent lower bounds. We extend our algorithm to episodic linear MDPs.


title: Study of accretion flows around an ultraluminous X-ray source M82 X-1 using NuSTAR data

abstract: We study the spectral properties and accretion flow behavior of an ultraluminous X-ray source M82\,X-1 using {\it NuSTAR} observations. We use the physical two component advective flow (TCAF) model to fit the data and to derive the accretion flow properties of the source. From the model fitted parameters, we found that M82\,X-1 is harboring an intermediate mass black hole at its centre, where the mass varies from $156.04^{+13.51}_{-15.30}$ to $380.96^{28.38}_{-29.76}$ M$_\odot$. The error weighted average mass of the black hole is $273\pm43$ M$_\odot$, which accreted in nearly super-Eddington rate. The Compton cloud was compact with a size of $\sim13 r_g$ and the shock compression ratio had \textcolor{black}{nearly intermediate values except for the epoch four}. These indicate a possible significant mass outflow from the inner region of the disk. The quasi periodic oscillation (QPO) frequencies estimated from the model fitted parameters can reproduce the observed QPOs. The robustness of the model parameters is verified by drawing the confidence contours among them.


title: Penalized empirical likelihood estimation and EM algorithms for closed-population capture-recapture models

abstract: Capture-recapture experiments are widely used to estimate the abundance of a finite population. Based on capture-recapture data, the empirical likelihood (EL) method has been shown to outperform the conventional conditional likelihood (CL) method. However, the current literature on EL abundance estimation ignores behavioral effects, and the EL estimates may not be stable, especially when the capture probability is low. We make three contributions in this paper. First, we extend the EL method to capture-recapture models that account for behavioral effects. Second, to overcome the instability of the EL method, we propose a penalized EL (PEL) estimation method that penalizes large abundance values. We then investigate the asymptotics of the maximum PEL estimator and the PEL ratio statistic. Third, we develop standard expectation-maximization (EM) algorithms for PEL to improve its practical performance. The EM algorithm is also applicable to EL and CL with slight modifications. Our simulation and a real-world data analysis demonstrate that the PEL method successfully overcomes the instability of the EL method and the proposed EM algorithm produces more reliable results than existing optimization algorithms.


title: Locality-aware Attention Network with Discriminative Dynamics Learning for Weakly Supervised Anomaly Detection

abstract: Video anomaly detection is recently formulated as a multiple instance learning task under weak supervision, in which each video is treated as a bag of snippets to be determined whether contains anomalies. Previous efforts mainly focus on the discrimination of the snippet itself without modeling the temporal dynamics, which refers to the variation of adjacent snippets. Therefore, we propose a Discriminative Dynamics Learning (DDL) method with two objective functions, i.e., dynamics ranking loss and dynamics alignment loss. The former aims to enlarge the score dynamics gap between positive and negative bags while the latter performs temporal alignment of the feature dynamics and score dynamics within the bag. Moreover, a Locality-aware Attention Network (LA-Net) is constructed to capture global correlations and re-calibrate the location preference across snippets, followed by a multilayer perceptron with causal convolution to obtain anomaly scores. Experimental results show that our method achieves significant improvements on two challenging benchmarks, i.e., UCF-Crime and XD-Violence.


title: Scalable neural quantum states architecture for quantum chemistry

abstract: Variational optimization of neural-network representations of quantum states has been successfully applied to solve interacting fermionic problems. Despite rapid developments, significant scalability challenges arise when considering molecules of large scale, which correspond to non-locally interacting quantum spin Hamiltonians consisting of sums of thousands or even millions of Pauli operators. In this work, we introduce scalable parallelization strategies to improve neural-network-based variational quantum Monte Carlo calculations for ab-initio quantum chemistry applications. We establish GPU-supported local energy parallelism to compute the optimization objective for Hamiltonians of potentially complex molecules. Using autoregressive sampling techniques, we demonstrate systematic improvement in wall-clock timings required to achieve CCSD baseline target energies. The performance is further enhanced by accommodating the structure of resultant spin Hamiltonians into the autoregressive sampling ordering. The algorithm achieves promising performance in comparison with the classical approximate methods and exhibits both running time and scalability advantages over existing neural-network based methods.