title: Polarization effects on fluorescence emission of zebrafish neurons using light-sheet microscopy

abstract: Light-sheet fluorescence microscopy (LSFM) makes use of a thin plane of light to optically section and image transparent tissues or organisms {\it{in vivo}}, which has the advantages of fast imaging speed and low phototoxicity. In this paper, we have employed light-sheet microscopy to investigate the polarization effects on fluorescence emission of zebrafish neurons via modifying the electric oscillation orientation of the excitation light. The intensity of the fluorescence emission from the excited zebrafish larvae follows a cosine square function with respect to the polarization state of the excitation light and reveals a 40$\%$ higher fluorescence emission when the polarization orientation is orthogonal to the illumination and detection axes. Through registration and subtraction of fluorescence images under different polarization states, we have demonstrated that most of the enhanced fluorescence signals are from the nerve cells rather than the extracellular substance. This provides us a way to distinguish the cell boundaries and observe the organism structures with improved contrast and resolution.


title: Structure of Cross-wired Lamplighter Groups

abstract: We answer a question posed by Cornulier, Fisher, and Kashyap, proving that for a closed cocompact subgroup $\Gamma$ of $\text{Isom}(\text{DL}(n, n))$ not contained in $\text{Isom}^+(\text{DL}(n, n))$, the sequence $1 \to H \to \Gamma \to D_\infty \to 1$ splits, where $H$ is the unique open normal subgroup such that $\Gamma/H \cong D_\infty$.


title: Stochastic Compositional Optimization with Compositional Constraints

abstract: Stochastic compositional optimization (SCO) has attracted considerable attention because of its broad applicability to important real-world problems. However, existing works on SCO assume that the projection within a solution update is simple, which fails to hold for problem instances where the constraints are in the form of expectations, such as empirical conditional value-at-risk constraints. We study a novel model that incorporates single-level expected value and two-level compositional constraints into the current SCO framework. Our model can be applied widely to data-driven optimization and risk management, including risk-averse optimization and high-moment portfolio selection, and can handle multiple constraints. We further propose a class of primal-dual algorithms that generates sequences converging to the optimal solution at the rate of $\cO(\frac{1}{\sqrt{N}})$under both single-level expected value and two-level compositional constraints, where $N$ is the iteration counter, establishing the benchmarks in expected value constrained SCO.


title: A Variational Approach to Parameter Estimation for Characterizing 2-D Cluster Variation Method Topographies

abstract: One of the biggest challenges in characterizing 2-D topographies is succinctly communicating the dominant nature of local configurations. In a 2-D grid composed of bistate units, this could be expressed as finding the characteristic configuration variables such as nearest-neighbor pairs and triplet combinations. The 2-D cluster variation method (CVM) provides a theoretical framework for associating a set of configuration variables with only two parameters, for a system that is at free energy equilibrium. This work presents a method for determining which of many possible two-parameter sets provides the ``most suitable'' match for a given 2-D topography, drawing from methods used for variational inference. This particular work focuses exclusively on topographies for which the activation enthalpy parameter (epsilon_0) is zero, so that the distribution between two states is equiprobable. This condition is used since, when the two states are equiprobable, there is an analytic solution giving the configuration variable values as functions of the h-value, where we define h in terms of the interaction enthalpy parameter (epsilon_1) as h = exp(2*epsilon_1). This allows the computationally-achieved configuration variable values to be compared with the analytically-predicted values for a given h-value. The method is illustrated using four patterns derived from three different naturally-occurring black-and-white topographies, where each pattern meets the equiprobability criterion. We achieve expected results, that is, as the patterns progress from having relatively low numbers of like-near-like nodes to increasing like-near-like masses, the h-values for each corresponding free energy-minimized model also increase. Further, the corresponding configuration variable values for the (free energy-minimized) model patterns are in approximate alignment with the analytically-predicted values.


title: Two Pointwise Characterizations of the Peano Derivative

abstract: In 1936, J. Marcinkiewicz and A. Zygmund showed that the existence of the $n$th Peano derivative $f_{(n)}(x)$ of a function $f$ at $x$ is equivalent to the existence of both $f_{(n-1)}(x)$ and the $n$th generalized Riemann derivative $\widetilde{D}_nf(x)$, based at $x,x+h,x+2h,x+2^2h,\ldots ,x+2^{n-1}h$. We provide a second characterization of the $n$th Peano derivative $f_{(n)}(x)$: The existence of $f_{(n)}(x)$ is equivalent to the existence of $f_{(n-1)}(x)$ as well as the existence of each forward shift, \[ D_{n,j}f(x)=\lim_{h\rightarrow 0} h^{-n}\sum_{i=0}^n(-1)^i\binom ni f(x+(n+j-i)h), \] for $j=0,1,\ldots,n-2$, of the $n$th Riemann derivative $D_{n,0}f(x)$ of a function $f$ at $x$. The proof of this result involves an interesting combinatorial algorithm that starts with consecutive forward shifts of an arithmetic progression and yields a geometric progression, using two set-operations: dilation and combinatorial Gaussian elimination. Our result is a variant of a 1998 conjecture by Ginchev, Guerragio and Rocca, predicting the same outcome for backward shifts instead of forward shifts. The conjecture has been recently settled in \cite{AC2}, with a proof that has this variant's proof as a prerequisite.


title: Energy Shaping Control of a Muscular Octopus Arm Moving in Three Dimensions

abstract: Flexible octopus arms exhibit an exceptional ability to coordinate large numbers of degrees of freedom and perform complex manipulation tasks. As a consequence, these systems continue to attract the attention of biologists and roboticists alike. In this paper, we develop a three-dimensional model of a soft octopus arm, equipped with biomechanically realistic muscle actuation. Internal forces and couples exerted by all major muscle groups are considered. An energy shaping control method is described to coordinate muscle activity so as to grasp and reach in 3D space. Key contributions of this paper are: (i) modeling of major muscle groups to elicit three-dimensional movements; (ii) a mathematical formulation for muscle activations based on a stored energy function; and (iii) a computationally efficient procedure to design task-specific equilibrium configurations, obtained by solving an optimization problem in the Special Euclidean group SE(3). Muscle controls are then iteratively computed based on the co-state variable arising from the solution of the optimization problem. The approach is numerically demonstrated in the physically accurate software environment Elastica. Results of numerical experiments mimicking observed octopus behaviors are reported.


title: Quantiles, Ranks and Signs in Metric Spaces

abstract: Non-Euclidean data become more prevalent in practice, necessitating the development of a framework for statistical inference analogous to that for Euclidean data. Quantile is one of the most important concepts in traditional statistical inference; we introduce the counterpart, both locally and globally, for data objects in metric spaces. This is realized by expanding upon the metric distribution function proposed by Wang et al. (2021). Rank and sign are defined at local and global levels as a natural consequence of the center-outward ordering of metric spaces brought about by the local and global quantiles. The theoretical properties are established, such as the root-$n$ consistency and uniform consistency of the local and global empirical quantiles and the distribution-freeness of ranks and signs. The empirical metric median, which is defined here as the 0th empirical global metric quantile, is proven to be resistant to contamination by means of both theoretical and numerical approaches. Quantiles have been shown to be valuable through extensive simulations in a number of metric spaces. Moreover, we introduce a family of fast rank-based independence tests for a generic metric space. Monte Carlo experiments show good finite-sample performance of the test.


title: Analysis of the Power Imbalance in Power-Domain NOMA on Correlated Rayleigh Fading Channels

abstract: This paper analyzes the power imbalance issue in power-domain NOMA (PD-NOMA) in the presence of channel correlations, typically encountered on the downlink of cellular systems when the base station antennas have an insufficient separation. In a recent paper, the authors analyzed this issue for a typical uplink scenario with uncorrelated channels, and the study revealed an astounding result that the optimum in terms of average error probability is achieved when the user signals are perfectly balanced in terms of power as in multi-user MIMO with power control. This result led to some questioning of the concept of PD-NOMA for uncorrelated Rayleigh fading channels. In the present paper, we make a similar analysis for the downlink, and the study gives a very clear insight into the influence of the power imbalance at different levels of channel correlation. First, with full correlation (user signals transmitted from the same antenna), the PD-NOMA concept reduces to simple signal constellation design. The optimum is achieved when the power imbalance between the user signals is such that the resulting constellation has uniform spacing. Any deviation from this optimum will lead to a hierarchical constellation with performance loss. Also, this optimum power imbalance is shown to hold for a range of strong channel correlations, but for moderate and low correlation values perfectly power balanced NOMA takes over as in the presence of uncorrelated channels.


title: Webb's PEARLS: Bright 1.5--2.0 micron Dropouts in the Spitzer/IRAC Dark Field

abstract: Using the first epoch of four-band NIRCam observations obtained by the James Webb Space Telescope (JWST) Prime Extragalactic Areas for Reionization and Lensing Science Program in the Spitzer IRAC Dark Field, we search for F150W and F200W dropouts. In 14.2 arcmin^2, we have found eight F150W dropouts and eight F200W dropouts, all brighter than 27.5 mag (the brightest being ~24 mag) in the band to the red side of the break. As they are detected in multiple bands, these must be real objects. Their nature, however, is unclear, and characterizing their properties is important for realizing the full potential of JWST. If the observed color decrements are due to the Lyman break, these objects should be at z >~ 11.7 and z >~ 15.4, respectively. The color diagnostics show that at least four F150W dropouts are far away from the usual contaminators encountered in dropout searches (red galaxies at much lower redshifts or brown dwarf stars). While the diagnostics of the F200W dropouts are less certain due to the limited number of passbands, at least one of them is likely not a known type of contaminant, and the rest are consistent with either high-redshift galaxies with evolved stellar populations or old galaxies at z ~ 3 to 8. If a significant fraction of our dropouts are indeed at z ~ 12, we have to face the severe problem of explaining their high luminosities and number densities. Spectroscopic identifications of such objects are urgently needed.


title: Learning Audio-Visual embedding for Person Verification in the Wild

abstract: It has already been observed that audio-visual embedding is more robust than uni-modality embedding for person verification. Here, we proposed a novel audio-visual strategy that considers aggregators from a fusion perspective. First, we introduced weight-enhanced attentive statistics pooling for the first time in face verification. We find that a strong correlation exists between modalities during pooling, so joint attentive pooling is proposed which contains cycle consistency to learn the implicit inter-frame weight. Finally, each modality is fused with a gated attention mechanism to gain robust audio-visual embedding. All the proposed models are trained on the VoxCeleb2 dev dataset and the best system obtains 0.18%, 0.27%, and 0.49% EER on three official trial lists of VoxCeleb1 respectively, which is to our knowledge the best-published results for person verification.


title: Excitonic density-waves, bi-excitons and orbital selective pairing in two-orbital correlated chains

abstract: We present a comprehensive study of a one-dimensional two-orbital model at and below quarter-filling that realizes a number of unconventional phases. In particular, we find an excitonic density wave in which excitons quasi-condense with finite center of mass momentum and an order parameter that changes phase with wave-vector $Q$. In this phase, excitons behave as hard-core bosons without charge order. In addition, excitons can pair to form bi-excitons in a state that is close to a charge density-wave instability. When pairing dominates over the inter-orbital repulsion, we encounter a regime in which one orbital is metallic, while the other forms a spin gapped superconductor, a genuine orbital selective paired state. All these results are supported by both, analytical and numerical calculations. By assuming a quasi-classical approximation, we solve the three-body hole-electron-spinon problem and show that excitons are held together by forming a bound state with spinons. In order to preserve the antiferromagnetic background, excitons acquire a dispersion that has a minimum away from $k=0$. The full characterization of the different phases is obtained by means of extensive density matrix renormalization group calculations.


title: Counterexamples to the Gaussian vs. MZ derivatives Conjecture

abstract: J. Marcinkiewicz and A. Zygmund proved in 1936 that the special $n$-th generalized Riemann derivative $\widetilde{D}_nf(x)$ with nodes $0,1,2,2^2,\ldots, 2^{n-1}$, is equivalent to the $n$-th Peano derivative $f_{(n)}(x)$, for all $n-1$ times Peano differentiable functions $f$ at~$x$. Call every $n$-th generalized Riemann derivative with this property an MZ derivative. A recent paper by the authors introduced the $n$-th Gaussian derivatives as the $n$-th generalized Riemann derivatives with nodes either $0,1,q,q^2,\ldots ,q^{n-1}$ or $1,q,q^2,\ldots ,q^{n}$, where $q\neq 0,\pm 1$, proved that the Gaussian derivatives are MZ derivatives, and conjectured that these are all MZ derivatives. In this article, we invalidate the conjecture in three different ways, by scales of generalized Riemann derivatives, by reference to the classification of generalized Riemann derivatives, and by means of an independent counterexample. In addition, we show that Riemann differentiation is not equivalent to a Gaussian differentiation in orders at least three, find an explicit description of the equivalence class of a generalized Riemann derivative, and prove a more general quantum analogue of the GGR Theorem. The symmetric versions of all these results are also included in the article.


title: Enhanced pion-to-proton ratio at the onset of the QCD phase transition

abstract: The pion-to-proton ratio is identified as a potential signal for a non-equilibrium first-order chiral phase transition in heavy-ion collisions, as the pion multiplicity is directly related to entropy production. To showcase this effect, a non-equilibrium Bjorken expansion starting from realistic initial conditions along a Taub adiabat is used to simulate the entropy production. Different dynamical criteria to determine the final entropy-per-baryon number are investigated and matched to a hadron resonance gas model along the chemical freeze out curve to obtain the final pion and proton numbers. We detect a strong enhancement of their multiplicity ratio at the energies where the system experiences a strong phase transition as compared to a smooth crossover which shows almost no enhancement.


title: MassMIND: Massachusetts Maritime INfrared Dataset

abstract: Recent advances in deep learning technology have triggered radical progress in the autonomy of ground vehicles. Marine coastal Autonomous Surface Vehicles (ASVs) that are regularly used for surveillance, monitoring and other routine tasks can benefit from this autonomy. Long haul deep sea transportation activities are additional opportunities. These two use cases present very different terrains -- the first being coastal waters -- with many obstacles, structures and human presence while the latter is mostly devoid of such obstacles. Variations in environmental conditions are common to both terrains. Robust labeled datasets mapping such terrains are crucial in improving the situational awareness that can drive autonomy. However, there are only limited such maritime datasets available and these primarily consist of optical images. Although, Long Wave Infrared (LWIR) is a strong complement to the optical spectrum that helps in extreme light conditions, a labeled public dataset with LWIR images does not currently exist. In this paper, we fill this gap by presenting a labeled dataset of over 2,900 LWIR segmented images captured in coastal maritime environment under diverse conditions. The images are labeled using instance segmentation and classified in seven categories -- sky, water, obstacle, living obstacle, bridge, self and background. We also evaluate this dataset across three deep learning architectures (UNet, PSPNet, DeepLabv3) and provide detailed analysis of its efficacy. While the dataset focuses on the coastal terrain it can equally help deep sea use cases. Such terrain would have less traffic, and the classifier trained on cluttered environment would be able to handle sparse scenes effectively. We share this dataset with the research community with the hope that it spurs new scene understanding capabilities in the maritime environment.


title: Quantitative analysis of dynamic CT imaging of methane-hydrate formation with a hybrid machine learning approach

abstract: Fast multi-phase processes in methane hydrate-bearing samples are challenging for micro-CT quantitative study because of complex tomographic data analysis involving time-consuming segmentation procedures. This is due to the sample multi-scale structure changing in time, low X-ray attenuation and phase contrast between solid and fluid materials, as well as large amount of data acquired during dynamic processes. We propose a hybrid approach for automatic segmentation of tomographic data from time-resolved imaging of methane gas-hydrate formation in sandy granular media. First, we use an optimized 3D U-net neural network to perform segmentation of mineral grains that are characterized by low contrast to the surrounding pore brine-saturated phases. Then, we perform statistical clustering based on the Gaussian mixture model for separating the pore-space phases that are characterized by gray-level instabilities caused by dynamic processes during hydrate formation. The proposed approach was used for segmenting several hundred gigabytes of data acquired during an in-situ tomographic experiment at a synchrotron. Automatic segmentation allowed for studying properties of the hydrate growth in pores, as well as dynamic processes such as the incremental pore-brine flow and redistribution.


title: Regulating effect of biaxial strain on electronic, optical and photocatalytic properties in promising X2PAs (X = Si, Ge and Sn) monolayers

abstract: Photocatalytic water splitting is an effective way to obtain renewable clean energy. The challenge is to design tunable photocatalyst to meet the needs in different environments. At the same time, the oxygen and hydrogen evolution reactions (OER and HER) on the photocatalyst should be separated, which will be conducive to the separation of products. The electronic, optical and photocatalytic properties of Janus X2PAs (X = Si, Ge and Sn) monolayers are explored by first-principles calculation. All the strain-free X2PAs monolayers exhibit excellent photocatalytic properties with suitable band edge positions straddling the standard redox potential of water and large visible light absorption coefficients (up to 105 cm-1). Interestingly, the intrinsic internal electric field is favorable for separating photogenerated carriers to different surfaces of the monolayer. It contributes to realize the OER and HER separated on different sides of the monolayer. In particular, the energy band edge positions of X2PAs monolayers can be well adjusted by biaxial strain. Then it can effectively modulate photocatalytic reactions, suggesting X2PAs monolayers can be a piezo-photocatalytic switch between the OER, HER and full-reaction of redox for water splitting. This investigation not only highlights that the photocatalyst X2PAs monolayers with the separated OER and HER can be effectively tuned by the mechanical strain, but also provides a new strategy for designing highly adaptable and tunable piezo-photocatalysts.


title: Task-Agnostic Learning to Accomplish New Tasks

abstract: Reinforcement Learning (RL) and Imitation Learning (IL) have made great progress in robotic control in recent years. However, these methods show obvious deterioration for new tasks that need to be completed through new combinations of actions. RL methods heavily rely on reward functions that cannot generalize well for new tasks, while IL methods are limited by expert demonstrations which do not cover new tasks. In contrast, humans can easily complete these tasks with the fragmented knowledge learned from task-agnostic experience. Inspired by this observation, this paper proposes a task-agnostic learning method (TAL for short) that can learn fragmented knowledge from task-agnostic data to accomplish new tasks. TAL consists of four stages. First, the task-agnostic exploration is performed to collect data from interactions with the environment. The collected data is organized via a knowledge graph. Compared with the previous sequential structure, the knowledge graph representation is more compact and fits better for environment exploration. Second, an action feature extractor is proposed and trained using the collected knowledge graph data for task-agnostic fragmented knowledge learning. Third, a candidate action generator is designed, which applies the action feature extractor on a new task to generate multiple candidate action sets. Finally, an action proposal is designed to produce the probabilities for actions in a new task according to the environmental information. The probabilities are then used to select actions to be executed from multiple candidate action sets to form the plan. Experiments on a virtual indoor scene show that the proposed method outperforms the state-of-the-art offline RL method: CQL by 35.28% and the IL method: BC by 22.22%.


title: On the computational hardness needed for quantum cryptography

abstract: In the classical model of computation, it is well established that one-way functions (OWF) are minimal for computational cryptography: They are essential for almost any cryptographic application that cannot be realized with respect to computationally unbounded adversaries. In the quantum setting, however, OWFs appear not to be essential (Kretschmer 2021; Ananth et al., Morimae and Yamakawa 2022), and the question of whether such a minimal primitive exists remains open. We consider EFI pairs -- efficiently samplable, statistically far but computationally indistinguishable pairs of (mixed) quantum states. Building on the work of Yan (2022), which shows equivalence between EFI pairs and statistical commitment schemes, we show that EFI pairs are necessary for a large class of quantum-cryptographic applications. Specifically, we construct EFI pairs from minimalistic versions of commitments schemes, oblivious transfer, and general secure multiparty computation, as well as from $\mathsf{QCZK}$ proofs from essentially any non-trivial language. We also construct quantum computational zero knowledge ($\mathsf{QCZK}$) proofs for all of $\mathsf{QIP}$ from any EFI pair. This suggests that, for much of quantum cryptography, EFI pairs play a similar role to that played by OWFs in the classical setting: they are simple to describe, essential, and also serve as a linchpin for demonstrating equivalence between primitives.


title: Steady helix states in a resonant XXZ Heisenberg model with Dzyaloshinskii-Moriya interaction

abstract: We systematically investigate possible helix states in XXZ Heisenberg model with Dzyaloshinskii-Moriya (DM) interaction. Exact solutions show that a set of precession helix states can be constructed by deliberate superposition of degenerate eigenstates of the Hamiltonian under the resonant condition. When a non-Hermitian balance boundary term is imposed as a quenching action, the quench dynamics shows that a steady helix state emerges from some easily prepared initial states, including saturate and maximally mixed ferromagnetic states, according to the analysis of perturbation method. The corresponding dynamics for near resonant cases is also investigated numerically, indicating the robustness of the scheme. Our findings highlight the cooperation of non-Hermiticity and the DM interaction in quantum spin system, suggesting a way for preparing steady helix state in non-Hermitian quantum spin system.


title: High quality entanglement distribution through telecommunication fiber using near-infrared non-degenerate photon pairs

abstract: For practical quantum communications, the efficiency of the entire system (source, quantum channel and detectors) must be taken into account. In many urban environments, the quantum channel in the form of telecommunication optical fiber (confirming to ITU G.652D standards) are available, but the detectors in this range typically have low efficiency. We investigate the possibility that for campus-type communications, entangled photons prepared in the Near-Infrared Range (NIR) can be transmitted successfully while preserving polarization entanglement. We demonstrate the distribution of degenerate and non-degenerate entangled photon pairs of wavelength around 810 nm through standard telecommunication fiber. This technique benefits from the high efficiency of the NIR single photon detectors and the mature design of setups around 810 nm.. In this work, we obtain high quality entanglement (visibility is 94.8\% based on the raw data) after an overall distance of 12 km, corresponding to about -36 dB of fiber induced loss.


title: Distributed Complementary Fusion for Connected Vehicles

abstract: We present a random finite set-based method for achieving comprehensive situation awareness by each vehicle in a distributed vehicle network. Our solution is designed for labeled multi-Bernoulli filters running in each vehicle. It involves complementary fusion of sensor information locally running through consensus iterations. We introduce a novel label merging algorithm to eliminate double counting. We also extend the label space to incorporate sensor identities. This helps to overcome label inconsistencies. We show that the proposed algorithm is able to outperform the standard LMB filter using a distributed complementary approach with limited fields of view.


title: An Analysis of Deep Reinforcement Learning Agents for Text-based Games

abstract: Text-based games(TBG) are complex environments which allow users or computer agents to make textual interactions and achieve game goals.In TBG agent design and training process, balancing the efficiency and performance of the agent models is a major challenge. Finding TBG agent deep learning modules' performance in standardized environments, and testing their performance among different evaluation types is also important for TBG agent research. We constructed a standardized TBG agent with no hand-crafted rules, formally categorized TBG evaluation types, and analyzed selected methods in our environment.


title: Dirac-harmonic maps with trivial index

abstract: For a homotopy class $[u]$ of maps between a closed Riemannian manifold $M$ and a general manifold $N$, we want to find a Dirac-harmonic map with map component in the given homotopy class. Most known results require the index to be nontrivial. When the index is trivial, the few known results are all constructive and produce uncoupled solutions. In this paper, we define a new quantity. As a byproduct of proving the homotopy invariance of this new quantity, we find a new simple proof for the fact that all Dirac-harmonic spheres in surfaces are uncoupled. More importantly, by using the homotopy invariance of this new quantity, we prove the existence of Dirac-harmonic maps from manifolds in the trivial index case. In particular, when the domain is a closed Riemann surface, we prove the short-time existence of the $\alpha$-Dirac-harmonic map flow in the trivial index case. Together with the density of the minimal kernel, we get an existence result for Dirac-harmonic maps from closed Riemann surfaces to K\"ahler manifolds, which extends the previous result of the first and third authors. This establishes a general existence theory for Dirac-harmonic maps in the context of trivial index.


title: Stability and error analysis of the SAV schemes for the inductionless MHD equations

abstract: In this paper, we consider numerical approximations for solving the inductionless magnetohydrodynamic (MHD) equations. By utilizing the scalar auxiliary variable (SAV) approach for dealing with the convective and coupling terms, we propose some first- and second-order schemes for this system. These schemes are linear, decoupled, unconditionally energy stable, and only require solving a sequence of differential equations with constant coefficients at each time step. We further derive a rigorous error analysis for the first-order scheme, establishing optimal convergence rates for the velocity, pressure, current density and electric potential in the two-dimensional case. Numerical examples are presented to verify the theoretical findings and show the performances of the schemes.


title: The Binary Two-Up Sequence

abstract: The Binary Two-Up Sequence is the lexicographically earliest sequence of distinct nonnegative integers with the property that the binary expansion of the n-th term has no 1-bits in common with any of the previous floor(n/2) terms. We show that the sequence can be decomposed into ``atoms'', which are sequences of 4, 6, or 8 numbers whose binary expansions match certain patterns, and that the sequence is the limiting form of a certain ``word'' involving the atoms. This leads to a fairly explicit formula for the terms, and in particular establishes the conjecture that every nonzero term is the sum of at most two powers of 2.


title: MATT: A Multiple-instance Attention Mechanism for Long-tail Music Genre Classification

abstract: Imbalanced music genre classification is a crucial task in the Music Information Retrieval (MIR) field for identifying the long-tail, data-poor genre based on the related music audio segments, which is very prevalent in real-world scenarios. Most of the existing models are designed for class-balanced music datasets, resulting in poor performance in accuracy and generalization when identifying the music genres at the tail of the distribution. Inspired by the success of introducing Multi-instance Learning (MIL) in various classification tasks, we propose a novel mechanism named Multi-instance Attention (MATT) to boost the performance for identifying tail classes. Specifically, we first construct the bag-level datasets by generating the album-artist pair bags. Second, we leverage neural networks to encode the music audio segments. Finally, under the guidance of a multi-instance attention mechanism, the neural network-based models could select the most informative genre to match the given music segment. Comprehensive experimental results on a large-scale music genre benchmark dataset with long-tail distribution demonstrate MATT significantly outperforms other state-of-the-art baselines.


title: Interplay between core and corona from small to large systems

abstract: We present new results in $p$+$p$ and Pb+Pb collisions at the LHC energies from the updated dynamical core--corona initialization framework (DCCI2). The fractions of final hadron yields originating from equilibrated and non-equilibrated components are extracted as functions of multiplicity. We find that the contributions from non-equilibrated components are non-negligible even in Pb+Pb collisions and affect $p_T$-integrated multi-particle correlations. These suggest the importance of non-equilibrated components for the sophisticated extraction of properties of the quark gluon plasma from comparisons between dynamical frameworks and experimental data.


title: Gaussian Process Koopman Mode Decomposition

abstract: In this paper, we propose a nonlinear probabilistic generative model of Koopman mode decomposition based on an unsupervised Gaussian process. Existing data-driven methods for Koopman mode decomposition have focused on estimating the quantities specified by Koopman mode decomposition, namely, eigenvalues, eigenfunctions, and modes. Our model enables the simultaneous estimation of these quantities and latent variables governed by an unknown dynamical system. Furthermore, we introduce an efficient strategy to estimate the parameters of our model by low-rank approximations of covariance matrices. Applying the proposed model to both synthetic data and a real-world epidemiological dataset, we show that various analyses are available using the estimated parameters.


title: Joint Alignment of Multi-Task Feature and Label Spaces for Emotion Cause Pair Extraction

abstract: Emotion cause pair extraction (ECPE), as one of the derived subtasks of emotion cause analysis (ECA), shares rich inter-related features with emotion extraction (EE) and cause extraction (CE). Therefore EE and CE are frequently utilized as auxiliary tasks for better feature learning, modeled via multi-task learning (MTL) framework by prior works to achieve state-of-the-art (SoTA) ECPE results. However, existing MTL-based methods either fail to simultaneously model the specific features and the interactive feature in between, or suffer from the inconsistency of label prediction. In this work, we consider addressing the above challenges for improving ECPE by performing two alignment mechanisms with a novel A^2Net model. We first propose a feature-task alignment to explicitly model the specific emotion-&cause-specific features and the shared interactive feature. Besides, an inter-task alignment is implemented, in which the label distance between the ECPE and the combinations of EE&CE are learned to be narrowed for better label consistency. Evaluations of benchmarks show that our methods outperform current best-performing systems on all ECA subtasks. Further analysis proves the importance of our proposed alignment mechanisms for the task.


title: Robust and Lossless Fingerprinting of Deep Neural Networks via Pooled Membership Inference

abstract: Deep neural networks (DNNs) have already achieved great success in a lot of application areas and brought profound changes to our society. However, it also raises new security problems, among which how to protect the intellectual property (IP) of DNNs against infringement is one of the most important yet very challenging topics. To deal with this problem, recent studies focus on the IP protection of DNNs by applying digital watermarking, which embeds source information and/or authentication data into DNN models by tuning network parameters directly or indirectly. However, tuning network parameters inevitably distorts the DNN and therefore surely impairs the performance of the DNN model on its original task regardless of the degree of the performance degradation. It has motivated the authors in this paper to propose a novel technique called pooled membership inference (PMI) so as to protect the IP of the DNN models. The proposed PMI neither alters the network parameters of the given DNN model nor fine-tunes the DNN model with a sequence of carefully crafted trigger samples. Instead, it leaves the original DNN model unchanged, but can determine the ownership of the DNN model by inferring which mini-dataset among multiple mini-datasets was once used to train the target DNN model, which differs from previous arts and has remarkable potential in practice. Experiments also have demonstrated the superiority and applicability of this work.


title: An Artificial Chemistry Implementation of a Gene Regulatory Network

abstract: Gene Regulatory Networks are networks of interactions in biological organisms responsible for determining the production levels of proteins and peptides. Proteins are workers of a cell factory, and their production defines the goal of a cell and its development. Various attempts have been made to model such networks both to understand these biological systems better and to use inspiration from understanding them to solve computational problems. In this work, a biologically more realistic model for gene regulatory networks is proposed, which incorporates Cellular Automata and Artificial Chemistry to model the interactions between regulatory proteins called the Transcription Factors and the regulatory sites of genes. The result of this work shows complex dynamics close to what can be observed in nature. Here, an analysis of the impact of the initial states of the system on the produced dynamics is performed, showing that such evolvable models can be directed towards producing desired protein dynamics.


title: Recent progress on global and local polarization of hyperons in heavy-ion collisions

abstract: Since the observation of $\Lambda$ global polarization at RHIC, indicating the most vortical fluid ever observed so far, many experimental and theoretical progresses have been made in understanding of vorticity and polarization phenomena in heavy-ion collisions. But there still exist open questions which are currently being studied. In these proceedings, recent experimental results on global and local polarization of hyperons in heavy-ion collisions are reviewed.


title: Multiple zeta functions at regular integer points

abstract: We show the recurrence relations of the Euler-Zagier multiple zeta-function which describes the $r$-fold function with one variable specialized to a non-positive integer as a rational linear combination of $(r-1)$-fold functions, which extends the previous results of Akiyama-Egami-Tanigawa and Matsumoto. As an application, we obtain an explicit method to calculate the special values of the multiple zeta-function at any integer point (the arguments could be neither all-positive nor all-non-positive) as a rational linear summation of the multiple zeta values.


title: clusterBMA: Bayesian model averaging for clustering

abstract: Various methods have been developed to combine inference across multiple sets of results for unsupervised clustering, within the ensemble clustering literature. The approach of reporting results from one `best' model out of several candidate clustering models generally ignores the uncertainty that arises from model selection, and results in inferences that are sensitive to the particular model and parameters chosen. Bayesian model averaging (BMA) is a popular approach for combining results across multiple models that offers some attractive benefits in this setting, including probabilistic interpretation of the combined cluster structure and quantification of model-based uncertainty. In this work we introduce clusterBMA, a method that enables weighted model averaging across results from multiple unsupervised clustering algorithms. We use clustering internal validation criteria to develop an approximation of the posterior model probability, used for weighting the results from each model. From a consensus matrix representing a weighted average of the clustering solutions across models, we apply symmetric simplex matrix factorisation to calculate final probabilistic cluster allocations. In addition to outperforming other ensemble clustering methods on simulated data, clusterBMA offers unique features including probabilistic allocation to averaged clusters, combining allocation probabilities from 'hard' and 'soft' clustering algorithms, and measuring model-based uncertainty in averaged cluster allocation. This method is implemented in an accompanying R package of the same name.


title: Sharp stability of the logarithmic Sobolev inequality in the critical point setting

abstract: In this paper, we consider the Euclidean logarithmic Sobolev inequality \begin{eqnarray*} \int_{\mathbb{R}^d}|u|^2\log|u|dx\leq\frac{d}{4}\log\bigg(\frac{2}{\pi d e}\|\nabla u\|_{L^2(\mathbb{R}^d)}^2\bigg), \end{eqnarray*} where $u\in W^{1,2}(\mathbb{R}^d)$ with $d\geq2$ and $\|u\|_{L^2(\mathbb{R}^d)}=1$. It is well known that extremal functions of this inequality are precisely the Gaussians \begin{eqnarray*} \mathfrak{g}_{\sigma,z}(x)=(\pi\sigma)^{-\frac{d}{2}}\mathfrak{g}_{*}\bigg(\sqrt{\frac{\sigma}{2}}(x-z)\bigg)\quad\text{with}\quad \mathfrak{g}_{*}(x)=e^{-\frac{|x|^2}{2}}. \end{eqnarray*} We prove that if $u\geq0$ satisfying $(\nu-\frac12)c_0<\|u\|_{H^1(\mathbb{R}^d)}^2<(\nu+\frac12)c_0$ and $\|-\Delta u+u-2u\log |u|\|_{H^{-1}}\leq\delta$, where $c_0=\|\mathfrak{g}_{1,0}\|_{H^1(\mathbb{R}^d)}^2$, $\nu\in \mathbb{N}$ and $\delta>0$ sufficiently small, then \begin{eqnarray*} \text{dist}_{H^1}(u, \mathcal{M}^\nu)\lesssim\|-\Delta u+u-2u\log |u|\|_{H^{-1}} \end{eqnarray*} which is optimal in the sense that the order of the right hand side is sharp, where \begin{eqnarray*} \mathcal{M}^\nu=\{(\mathfrak{g}_{1,0}(\cdot-z_1), \mathfrak{g}_{1,0}(\cdot-z_2), \cdots, \mathfrak{g}_{1,0}(\cdot-z_\nu))\mid z_i\in\bbr^d\}. \end{eqnarray*} Our result provides an optimal stability of the Euclidean logarithmic Sobolev inequality in the critical point setting.


title: JWST's PEARLS: Prime Extragalactic Areas for Reionization and Lensing Science: Project Overview and First Results

abstract: We give an overview and describe the rationale, methods, and first results from NIRCam images of the JWST "Prime Extragalactic Areas for Reionization and Lensing Science" ("PEARLS") project. PEARLS uses up to eight NIRCam filters to survey several prime extragalactic survey areas: two fields at the North Ecliptic Pole (NEP); seven gravitationally lensing clusters; two high redshift proto-clusters; and the iconic backlit VV 191 galaxy system to map its dust attenuation. PEARLS also includes NIRISS spectra for one of the NEP fields and NIRSpec spectra of two high-redshift quasars. The main goal of PEARLS is to study the epoch of galaxy assembly, AGN growth, and First Light. Five fields, the JWST NEP Time-Domain Field (TDF), IRAC Dark Field (IDF), and three lensing clusters, will be observed in up to four epochs over a year. The cadence and sensitivity of the imaging data are ideally suited to find faint variable objects such as weak AGN, high-redshift supernovae, and cluster caustic transits. Both NEP fields have sightlines through our Galaxy, providing significant numbers of very faint brown dwarfs whose proper motions can be studied. Observations from the first spoke in the NEP TDF are public. This paper presents our first PEARLS observations, their NIRCam data reduction and analysis, our first object catalogs, the 0.9-4.5 $\mu$m galaxy counts and Integrated Galaxy Light. We assess the JWST sky brightness in 13 NIRCam filters, yielding our first constraints to diffuse light at 0.9-4.5 {\mu}m. PEARLS is designed to be of lasting benefit to the community.


title: A measure-on-graph-valued diffusion: a particle system with collisions, and their applications

abstract: A diffusion taking value in probability measures on a graph with a vertex set $V$, $\sum_{i\in V}x_i\delta_i$, is studied. The masses on each vertices satisfy the stochastic differential equation of the form $dx_i=\sum_{j\in N(i)}\sqrt{x_ix_j}dB_{ij}$ on the simplex, where $\{B_{ij}\}$ are independent standard Brownian motions with skew symmetry and $N(i)$ is the neighbour of the vertex $i$. A dual Markov chain on integer partitions to the Markov semigroup associated with the diffusion is used to show that the support of an extremal stationary state of the adjoint semigroup is an independent set of the graph. We also investigate the diffusion with a linear drift, which gives a killing of the dual Markov chain on a finite integer lattice. The Markov chain is used to study the unique stationary state of the diffusion, which generalizes the Dirichlet distribution. Two applications of the diffusions are discussed: analysis of an algorithm to find an independent set of a graph, and a Bayesian graph selection based on computation of probability of a sample by using coupling from the past.


title: Fast Neural Kernel Embeddings for General Activations

abstract: Infinite width limit has shed light on generalization and optimization aspects of deep learning by establishing connections between neural networks and kernel methods. Despite their importance, the utility of these kernel methods was limited in large-scale learning settings due to their (super-)quadratic runtime and memory complexities. Moreover, most prior works on neural kernels have focused on the ReLU activation, mainly due to its popularity but also due to the difficulty of computing such kernels for general activations. In this work, we overcome such difficulties by providing methods to work with general activations. First, we compile and expand the list of activation functions admitting exact dual activation expressions to compute neural kernels. When the exact computation is unknown, we present methods to effectively approximate them. We propose a fast sketching method that approximates any multi-layered Neural Network Gaussian Process (NNGP) kernel and Neural Tangent Kernel (NTK) matrices for a wide range of activation functions, going beyond the commonly analyzed ReLU activation. This is done by showing how to approximate the neural kernels using the truncated Hermite expansion of any desired activation functions. While most prior works require data points on the unit sphere, our methods do not suffer from such limitations and are applicable to any dataset of points in $\mathbb{R}^d$. Furthermore, we provide a subspace embedding for NNGP and NTK matrices with near input-sparsity runtime and near-optimal target dimension which applies to any \emph{homogeneous} dual activation functions with rapidly convergent Taylor expansion. Empirically, with respect to exact convolutional NTK (CNTK) computation, our method achieves $106\times$ speedup for approximate CNTK of a 5-layer Myrtle network on CIFAR-10 dataset.


title: Uniqueness of inverse source problems for time-fractional diffusion equations with singular functions in time

abstract: We consider a fractional diffusion equations of order $\alpha\in(0,1)$ whose source term is singular in time: $(\partial_t^\alpha+A)u(x,t)=\mu(t)f(x)$, $(x,t)\in\Omega\times(0,T)$, where $\mu$ belongs to a Sobolev space of negative order. In inverse source problems of determining $f|_\Omega$ by the data $u|_{\omega\times(0,T)}$ with a given subdomain $\omega\subset\Omega$ or $\mu|_{(0,T)}$ by the data $u|_{\{x_0\}\times(0,T)}$ with a given point $x_0\in\Omega$, we prove the uniqueness by reducing to the case $\mu\in L^2(0,T)$. The key is a transformation of a solution to an initial-boundary value problem with a regular function in time.


title: Near-Optimal Stochastic Bin-Packing in Large Service Systems with Time-Varying Item Sizes

abstract: In modern computing systems, jobs' resource requirements often vary over time. Accounting for this temporal variability during job scheduling is essential for meeting performance goals. However, theoretical understanding on how to schedule jobs with time-varying resource requirements is limited. Motivated by this gap, we propose a \emph{new setting} of the stochastic bin-packing problem in service systems that allows for \emph{time-varying} job resource requirements, also referred to as `item sizes' in traditional bin-packing terms. In this setting, a job or `item' must be dispatched to a server or `bin' upon arrival. Its resource requirement may vary over time while in service, following a Markovian assumption. Once the job's service is complete, it departs from the system. Our goal is to minimize the expected number of active servers, or `non-empty bins', in steady state. Under our problem formulation, we develop a job dispatch policy, named Join-Reqesting-Server (JRS). Broadly, JRS lets each server independently evaluate its current job configuration and decide whether to accept additional jobs, balancing the competing objectives of maximizing throughput and minimizing the risk of resource capacity overruns. The JRS dispatcher then utilizes these individual evaluations to decide which server to dispatch each arriving job to. The theoretical performance guarantee of JRS is in the asymptotic regime where the job arrival rate scales large linearly with respect to a scaling factor $r$. We show that JRS achieves an additive optimality gap of $O(\sqrt{r})$ in the objective value, where the optimal objective value is $\Theta(r)$. When specialized to constant job resource requirements, our result improves upon the state-of-the-art $o(r)$ optimality gap. Our technical approach highlights a novel policy conversion framework that reduces the policy design problem into a single-server problem.


title: A Cantor-Bendixson Rank for Siblings of Trees

abstract: Similar to topological spaces, we introduce the Cantor-Bendixson rank of a tree $T$ by repeatedly removing the leaves and the isolated vertices of $T$ using transfinite recursion. Then, we give a representation of a tree $T$ as a leafless tree $T^\infty$ with some leafy trees attached to $T^\infty$. With this representation at our disposal, we count the siblings of a tree and obtain partial results towards a conjecture of Bonato and Tardif.


title: Free algebras over directed spaces

abstract: Directed spaces are natural topological extensions of dcpos in domain theory and form a cartesian closed category. In order to model nondeterministic semantics, the power structures over directed spaces were defined through the form of free algebras. We show that free algebras over any directed space exist by the Adjoint Functor Theorem. An c-space (resp.\ b-space) can be characterized as a continuous (resp.\ algebraic) directed space. We show that continuous spaces are just all retracts of algebraic spaces by means of topological ideals, which are generalizations of the rounded ideals. Moreover, by categorical methods, we show that the carrier spaces of free algebras over continuous (resp.\ algebraic) spaces are still continuous (resp.\ algebraic) spaces.


title: MaxMatch-Dropout: Subword Regularization for WordPiece

abstract: We present a subword regularization method for WordPiece, which uses a maximum matching algorithm for tokenization. The proposed method, MaxMatch-Dropout, randomly drops words in a search using the maximum matching algorithm. It realizes finetuning with subword regularization for popular pretrained language models such as BERT-base. The experimental results demonstrate that MaxMatch-Dropout improves the performance of text classification and machine translation tasks as well as other subword regularization methods. Moreover, we provide a comparative analysis of subword regularization methods: subword regularization with SentencePiece (Unigram), BPE-Dropout, and MaxMatch-Dropout.


title: Triggering superconductivity, semiconducting states, and ternary valley structure in graphene via functionalization with Si-N layers

abstract: Opening a band gap and realizing static valley control have been long sought after in graphenebased two-dimensional (2D) materials. Motivated by the recent success in synthesizing 2D materials passivated by Si-N layers, here, we propose two new graphene-based materials, 2D C2SiN and CSiN, via first-principles calculations. Monolayer C2SiN is metallic and realizes superconductivity at low temperatures. Monolayer CSiN enjoys excellent stability and mechanical property. It is a semiconductor with a ternary valley structure for electron carriers. Distinct from existing valleytronic platforms, these valleys can be controlled by applied uniaxial strain. The valley polarization of carriers further manifest as a pronounced change in the anisotropic conductivity, which can be detected in simple electric measurement. The strong interaction effects also lead to large exciton binding energy and enhance the optical absorption in the ultraviolet range. Our work opens a new route to achieve superconductivity, ternary valley structure, and semiconductor with enhanced optical absorption in 2D materials.


title: Modelling Power Consumptions for Multi-rotor UAVs

abstract: Unmanned aerial vehicles (UAVs) have various advantages, but their practical applications are influenced by their limited energy. Therefore, it is important to manage their power consumption and also important to establish corresponding power consumption models. However, most of existing works either establish theoretical power consumption models for fixed-wing UAVs and single-rotor UAVs, or provide heuristic power consumption models for multi-rotor UAVs without rigorous mathematical derivations. This paper aims to establish theoretical power consumption models for multi-rotor UAVs. To be specific, the closed-form power consumption models for a multi-rotor UAV in three flight statuses, i.e., forward flight, vertical ascent and vertical descent, are derived by leveraging the relationship between single-rotor UAVs and multi-rotor UAVs in terms of power consumptions. On this basis, a generic flight power consumption model for the UAV in a three-dimensional (3-D) scenario is obtained. Extensive experiments are conducted by using DJI M210 and a mobile app made by DJI Mobile SDK in real scenarios, and confirm the correctness and effectiveness of these models; in addition, simulations are performed to further investigate the effect of the rotor numbers on the power consumption for the UAV. The proposed power consumption models not only reveal how the power consumption of multi-rotor UAVs are affected by various factors, but also pave the way for introducing other novel applications.


title: A Worldwide Look Into Mobile Access Networks Through the Eyes of AmiGos

abstract: How does the mobile experience compare between Germany and Nigeria? There is currently no public data or test-bed to provide an answer to this question. This is because deploying and maintaining such test-bed can be both challenging and expensive. To fill this gap, this paper proposes a novel test-bed design called "AmiGo", which relies on travelers carrying mobile phones to act as vantage points and collect data on mobile network performance. The "AmiGo" design has three key advantages: it is easy to deploy, has realistic user mobility, and runs on real Android devices. We further developed a suite of measurement tools for "AmiGo" to perform network measurements, e.g., pings, speedtests, and webpage loads. We leverage these tools to measure the performance of 24 mobile networks across five continents over a month via an "AmiGo" deployment involving 31 students. We find that 50% of networks face a 40-70% chance of providing low data rates, only 20% achieve low latencies, and networks in Asia, Central/South America, and Africa have significantly higher CDN download times than in Europe. Most news websites load slowly, while YouTube performs well. We made both test-bed and measurement tools open source.


title: In-situ animal behavior classification using knowledge distillation and fixed-point quantization

abstract: We explore the use of knowledge distillation (KD) for learning compact and accurate models that enable classification of animal behavior from accelerometry data on wearable devices. To this end, we take a deep and complex convolutional neural network, known as residual neural network (ResNet), as the teacher model. ResNet is specifically designed for multivariate time-series classification. We use ResNet to distill the knowledge of animal behavior classification datasets into soft labels, which consist of the predicted pseudo-probabilities of every class for each datapoint. We then use the soft labels to train our significantly less complex student models, which are based on the gated recurrent unit (GRU) and multilayer perceptron (MLP). The evaluation results using two real-world animal behavior classification datasets show that the classification accuracy of the student GRU-MLP models improves appreciably through KD, approaching that of the teacher ResNet model. To further reduce the computational and memory requirements of performing inference using the student models trained via KD, we utilize dynamic fixed-point quantization (DQ) through an appropriate modification of the computational graph of the considered models. We implement both unquantized and quantized versions of the developed KD-based models on the embedded systems of our purpose-built collar and ear tag devices to classify animal behavior in situ and in real time. Our evaluations corroborate the effectiveness of KD and DQ in improving the accuracy and efficiency of in-situ animal behavior classification.


title: NMR verification of Dirac nodal lines in a single-component molecular conductor

abstract: The Dirac nodal line (DNL) is a novel form of massless Dirac fermions that reside along lines in momentum space. Here, we verify genuine DNLs in the molecular material, [Ni(dmdt)$_2$], with the combined NMR experiments and numerical simulations. The NMR spectral shift and spin-lattice relaxation rate divided by temperature, $1/T_1T$, decrease linearly and quadratically with temperature, respectively, and become constant at low temperatures, consistent with slightly dispersive DNLs with small Fermi pockets. Comparison of these results with model simulations of DNLs reveals the suppression of the Fermi velocity and the enhancement of antiferromagnetic fluctuations due to electron correlation as well as the influence of the Landau quantization. The present study offers a demonstration to identify the DNL and evaluate the correlation effect with NMR.


title: Multi-level Adaptation for Automatic Landing with Engine Failure under Turbulent Weather

abstract: This paper addresses efficient feasibility evaluation of possible emergency landing sites, online navigation, and path following for automatic landing under engine-out failure subject to turbulent weather. The proposed Multi-level Adaptive Safety Control framework enables unmanned aerial vehicles (UAVs) under large uncertainties to perform safety maneuvers traditionally reserved for human pilots with sufficient experience. In this framework, a simplified flight model is first used for time-efficient feasibility evaluation of a set of landing sites and trajectory generation. Then, an online path following controller is employed to track the selected landing trajectory. We used a high-fidelity simulation environment for a fixed-wing aircraft to test and validate the proposed approach under various weather uncertainties. For the case of emergency landing due to engine failure under severe weather conditions, the simulation results show that the proposed automatic landing framework is robust to uncertainties and adaptable at different landing stages while being computationally inexpensive for planning and tracking tasks.


title: Thermal Hall conductivity with sign change in the Heisenberg-Kitaev kagome magnet

abstract: The Heisenberg-Kitaev (HK) model on various lattices have attracted a lot of attention because they may lead to exotic states such as quantum spin liquid and topological orders. The rare-earth-based kagome lattice (KL) compounds $\rm{Mg_2RE_3Sb_3O_{14}}$ $\rm{(RE=Gd, Er)}$ and $\rm{(RE=Nd)}$ have ${\bf q=0}$, $120^\circ$ order and canted ferromagnetic (CFM) order, respectively. Interestingly, the HK model on the KL has the same ground state long-range orders. In the theoretical phase diagram, the CFM phase resides in a continuous parameter region and there is no phase change across special parameter points, such as the Kitaev ferromagnetic (KFM) point, the ferromagnetic (FM) point and its dual FM point. However, a ground state property cannot distinguish a system with or without topological nontrivial excitations and related phase transitions. Here, we study the topological magnon excitations and related thermal Hall conductivity in the HK model on the KL with CFM order. The CFM phase can be divided into two regions related by the Klein duality, with the self dual KFM point as their boundary. We find that the scalar spin chirality which is intrinsic in the CFM order changes sign across the KFM point. This leads to the opposite Chern numbers of corresponding magnon bands in the two regions, and also the sign change of the magnon thermal Hall conductivity.


title: Higgs boson in a flavor-extension of the CMSSM

abstract: Flavour-violating couplings of Higgs boson with stop and scharm quarks could be very important as in addition to lifting the mass of the Higgs boson by a few GeV, it could also play a vital phenomenological role in reducing the Supersymmetry breaking scale significantly. In this work, we investigate effects of such flavour-violating couplings within the Constrained Minimal Supersymmetric Standard Model (CMSSM) framework in the context of LEP data, Higgs data at the LHC, precision observables and the relic density of the dark matter using Bayesian statistics. Our detailed analysis reveals that the most probable values of $m_{0}$, $m_{1/2}$, $A_{0}$, $\tan{\beta}$, $\delta^{LR}_{ct}$ are expected to be around 4.83 TeV, 2.54 TeV, 1.90 TeV, 41.5, and 6.1$\times10^{-2}$, respectively, with flat priors. The corresponding values translate into 3.25 TeV, 2.13 TeV, 1.90 TeV, 44.7, and 5.9$\times10^{-2}$, respectively, if the natural priors are used. Furthermore, a comparison of our model with the CMSSM of flavour-conservation as the base model yields a Bayes factor of about 6 while taking into account all the experimental constraints used in our study. Our analysis also reflects that the lightest neutralino would have a mass of about 1 TeV.


title: SPT-NRTL: A physics-guided machine learning model to predict thermodynamically consistent activity coefficients

abstract: The availability of property data is one of the major bottlenecks in the development of chemical processes, often requiring time-consuming and expensive experiments or limiting the design space to a small number of known molecules. This bottleneck has been the motivation behind the continuing development of predictive property models. For the property prediction of novel molecules, group contribution methods have been groundbreaking. In recent times, machine learning has joined the more established property prediction models. However, even with recent successes, the integration of physical constraints into machine learning models remains challenging. Physical constraints are vital to many thermodynamic properties, such as the Gibbs-Duhem relation, introducing an additional layer of complexity into the prediction. Here, we introduce SPT-NRTL, a machine learning model to predict thermodynamically consistent activity coefficients and provide NRTL parameters for easy use in process simulations. The results show that SPT-NRTL achieves higher accuracy than UNIFAC in the prediction of activity coefficients across all functional groups and is able to predict many vapor-liquid-equilibria with near experimental accuracy, as illustrated for the exemplary mixtures water/ethanol and chloroform/n-hexane. To ease the application of SPT-NRTL, NRTL-parameters of 100 000 000 mixtures are calculated with SPT-NRTL and provided online.


title: Accumulation of elastic strain toward crustal fracture in magnetized neutron stars

abstract: This study investigates elastic deformation driven by the Hall drift in a magnetized neutron-star crust. Although the dynamic equilibrium initially holds without elastic displacement, the magnetic-field evolution changes the Lorentz force over a secular timescale, which inevitably causes the elastic deformation to settle in a new force balance. Accordingly, elastic energy is accumulated, and the crust is eventually fractured beyond a particular threshold. We assume that the magnetic field is axially symmetric, and we explicitly calculate the breakup time, maximum elastic energy stored in the crust, and spatial shear-stress distribution. For the barotropic equilibrium of a poloidal dipole field expelled from the interior core without a toroidal field, the breakup time corresponds to a few years for the magnetars with a magnetic field strength of $\sim 10^{15}$G; however, it exceeds 1 Myr for normal radio pulsars. The elastic energy stored in the crust before the fracture ranges from $10^{41}$ to $10^{45}$ erg, depending on the spatial-energy distribution. Generally, a large amount of energy is deposited in a deep crust. The energy released at fracture is typically $\sim 10^{41}$ erg when the rearrangement of elastic displacements occurs only in the fragile shallow crust. The amount of energy is comparable to the outburst energy on the magnetars.


title: Machine Learning-based Selection of Graph Partitioning Strategy Using the Characteristics of Graph Data and Algorithm

abstract: Analyzing large graph data is an essential part of many modern applications, such as social networks. Due to its large computational complexity, distributed processing is frequently employed. This requires graph data to be divided across nodes, and the choice of partitioning strategy has a great impact on the execution time of the task. Yet, there is no one-size-fits-all partitioning strategy that performs well on arbitrary graph data and algorithms. The performance of a strategy depends on the characteristics of the graph data and algorithms. Moreover, due to the complexity of graph data and algorithms, manually identifying the best partitioning strategy is also infeasible. In this work, we propose a machine learning-based approach to select the most appropriate partitioning strategy for a given graph and processing algorithm. Our approach enumerates viable partitioning strategies, predicts the execution time of the target algorithm for each, and selects the partitioning strategy with the fastest estimated execution time. Our machine learning model is trained on features extracted from graph data and algorithm pseudo-code. We also propose a method that augments real execution logs of graph tasks to create a large synthetic dataset. Evaluation results show that the strategies selected by our approach lead to 1.46X faster execution time on average compared with the mean execution time of the partitioning strategies and about 0.95X the performance compared to the best partitioning strategy.


title: Adapting to Non-Centered Languages for Zero-shot Multilingual Translation

abstract: Multilingual neural machine translation can translate unseen language pairs during training, i.e. zero-shot translation. However, the zero-shot translation is always unstable. Although prior works attributed the instability to the domination of central language, e.g. English, we supplement this viewpoint with the strict dependence of non-centered languages. In this work, we propose a simple, lightweight yet effective language-specific modeling method by adapting to non-centered languages and combining the shared information and the language-specific information to counteract the instability of zero-shot translation. Experiments with Transformer on IWSLT17, Europarl, TED talks, and OPUS-100 datasets show that our method not only performs better than strong baselines in centered data conditions but also can easily fit non-centered data conditions. By further investigating the layer attribution, we show that our proposed method can disentangle the coupled representation in the correct direction.


title: Antinormally-Ordered Quantizations, phase space path integrals and the Olshanski semigroup of a symplectic group

abstract: The main aim of this article is to show some intimate relations among the following three notions: (1) the metaplectic representation of $Sp(2n,\mathbb{R})$ and its extension to some semigroups, called the Olshanski semigroup for $Sp(2n,\mathbb{R})$ or Howe's oscillator semigroup, (2) antinormally-ordered quantizations on the phase space $\mathbb{R}^{2m}\cong\mathbb{C}^{m}$, (3) path integral quantizations where the paths are on the phase space $\mathbb{R}^{2m}\cong\mathbb{C}^{m}$. In the Main Theorem, the metaplectic representation $\rho(e^{X})$ ($X\in\mathfrak{sp}(2n,\mathbb{R})$) is expressed in terms of generalized Feynman--Kac(--It\^{o}) formulas, but in real-time (not imaginary-time) path integral form. Olshanski semigroups play the leading role in the proof of it.


title: On Kakutani's characterization of the closed linear sublattices of $C(X)$ -- Revisited

abstract: In his paper [Concrete representation of abstract $(M)$-spaces. (A characterization of the space of continuous functions.), Ann. of Math., $42 (2)$ ($1941$), $994$--$1024$.], S. Kakutani gave an interesting representation of the closed linear sublattices of the space of real-valued continuous functions on a compact Hausdorff space, which is determined by a set of algebraic relations. In this short note, we present a simple proof of this representation without using any profound lattice theory or functional analysis results, making this proof accessible even to undergraduate students.


title: Moments and power corrections of longitudinal and transverse proton structure functions from lattice QCD

abstract: We present a simultaneous extraction of the moments of $F_2$ and $F_L$ structure functions of the proton for a range of photon virtuality, $Q^2$. This is achieved by computing the forward Compton amplitude on the lattice utilizing the second-order Feynman-Hellmann theorem. Our calculations are performed on configurations with two different lattice spacings and volumes, all at the $SU(3)$ symmetric point. We find the moments of $F_{2}$ and $F_{L}$ in good agreement with experiment. Power corrections turn out to be significant. This is the first time the $Q^2$ dependence of the lowest moment of $F_2$ has been quantified.


title: Causal Modeling of Policy Interventions From Sequences of Treatments and Outcomes

abstract: A treatment policy defines when and what treatments are applied to affect some outcome of interest. Data-driven decision-making requires the ability to predict what happens if a policy is changed. Existing methods that predict how the outcome evolves under different scenarios assume that the tentative sequences of future treatments are fixed in advance, while in practice the treatments are determined stochastically by a policy and may depend, for example, on the efficiency of previous treatments. Therefore, the current methods are not applicable if the treatment policy is unknown or a counterfactual analysis is needed. To handle these limitations, we model the treatments and outcomes jointly in continuous time, by combining Gaussian processes and point processes. Our model enables the estimation of a treatment policy from observational sequences of treatments and outcomes, and it can predict the interventional and counterfactual progression of the outcome after an intervention on the treatment policy (in contrast with the causal effect of a single treatment). We show with real-world and semi-synthetic data on blood glucose progression that our method can answer causal queries more accurately than existing alternatives.


title: Interactions between heavy quarks and tilted QGP fireballs in 200 AGeV Au+Au collisions

abstract: Heavy quark observables are applied to probe the initial energy density distribution with violation of longitudinal boost invariance produced in relativistic heavy-ion collisions. Using an improved Langevin model coupled to a (3+1)-dimensional viscous hydrodynamic model, we study the nuclear modification factor ($R_\text{AA}$), directed flow ($v_1$) and elliptic flow ($v_2$) coefficients of heavy mesons and their decayed electrons at the RHIC energy. We find that the counter-clockwise tilt of the nuclear matter in the reaction plane results in a positive (negative) heavy flavor $v_1$ in the backward (forward) rapidity region, whose magnitude increases with the heavy quark transverse momentum. The difference in the heavy flavor $R_\text{AA}$ between different angular regions is also proposed as a complementary tool to characterize the asymmetry of the medium profile. Our model results are consistent with currently available data at RHIC and provide predictions that can be tested by future measurements.


title: Asymmetrical contact scaling and measurements in MoS2 FETs

abstract: Two-dimensional (2D) materials have great potential for use in future electronics due to their atomically thin nature which withstands short channel effects and thus enables better scalability. Device scaling is the process of reducing all device dimensions to achieve higher device density in a certain chip area. For 2D materials-based transistors, both the channel and contact scalability must be investigated. The channel scalability of 2D materials has been thoroughly investigated, confirming their resilience to short-channel effects. However, systematic studies on contact scalability remain rare and the current understanding of contact scaling in 2D FET is inconsistent and oversimplified. Here we combine physically scaled contacts and asymmetrical contact measurements to investigate the contact scaling behavior in 2D field-effect transistors (FETs). The asymmetrical contact measurements directly compare electron injection with different contact lengths while using the exact same channel, eliminating channel-to-channel variations. Compared to devices with long contact lengths, devices with short contact lengths (scaled contacts) exhibit larger variation, smaller drain currents at high drain-source voltages, and a higher chance of showing early saturation and negative differential resistance. Quantum transport simulations show that the transfer length of Ni-MoS2 contacts can be as short as 5 nm. Our results suggest that charge injection at the source contact is different from injection at the drain side: scaled source contacts can limit the drain current, whereas scaled drain contacts cannot. Furthermore, we clearly identified that the transfer length depends on the quality of the metal-2D interface. The asymmetrical contact measurements proposed here will enable further understanding of contact scaling behavior at various interfaces.


title: ISS: Image as Stepping Stone for Text-Guided 3D Shape Generation

abstract: Text-guided 3D shape generation remains challenging due to the absence of large paired text-shape data, the substantial semantic gap between these two modalities, and the structural complexity of 3D shapes. This paper presents a new framework called Image as Stepping Stone (ISS) for the task by introducing 2D image as a stepping stone to connect the two modalities and to eliminate the need for paired text-shape data. Our key contribution is a two-stage feature-space-alignment approach that maps CLIP features to shapes by harnessing a pre-trained single-view reconstruction (SVR) model with multi-view supervisions: first map the CLIP image feature to the detail-rich shape space in the SVR model, then map the CLIP text feature to the shape space and optimize the mapping by encouraging CLIP consistency between the input text and the rendered images. Further, we formulate a text-guided shape stylization module to dress up the output shapes with novel textures. Beyond existing works on 3D shape generation from text, our new approach is general for creating shapes in a broad range of categories, without requiring paired text-shape data. Experimental results manifest that our approach outperforms the state-of-the-arts and our baselines in terms of fidelity and consistency with text. Further, our approach can stylize the generated shapes with both realistic and fantasy structures and textures.


title: ArT\'eMiS imaging of the filamentary infrared dark clouds G1.75-0.08 and G11.36+0.80: Dust-based physical properties of the clouds and their clumps

abstract: We imaged the infrared dark clouds (IRDCs) G1.75-0.08 and G11.36+0.80 at 350 $\mu$m and 450 $\mu$m using the ArT\'eMiS bolometer. These data were used in conjunction with our previous 870 $\mu$m observations with the Large APEX BOlometer CAmera (LABOCA). The clumps in G11.36+0.80 were also observed in the N$_2$H$^+(1-0)$ transition with the IRAM 30-metre telescope. G1.75-0.08 was found to be composed of two cold ($\sim14.5$ K), massive (several $\sim10^3$ M$_{\odot}$) clumps that are projectively separated by $\sim3.7$ pc. Both clumps are 70 $\mu$m dark, but they do not appear to be bounded by self-gravity. The G1.75-0.08 filament was found to be subcritical by a factor of $\sim14$ with respect to its critical line mass. G11.36+0.80 was found to be moderately (by a factor of $\sim2$) supercritical and composed of four clumps. The dust temperatures of the clumps are $\sim13-15$ K, and their masses are in the range $\sim 232-633$ M$_{\odot}$. All the clumps are gravitationally bound. The projected, average separation of the clumps is $\sim1$ pc. A configuration that is observed in G1.75-0.08, namely two clumps at the ends of the filament, could be the result of gravitational focussing acting along the cloud. The two clumps fulfil the mass-radius threshold for high-mass star formation. Owing to the location of G1.75-0.08 near the Galactic centre ($\sim270$ pc), environmental effects such as a high level of turbulence, tidal forces, and shearing motions could affect the cloud dynamics. The observed clump separation in G11.36+0.80 can be understood in terms of a sausage instability. The G11.36+0.80 clumps do not lie above the mass-radius threshold for high-mass star formation. The substructure observed in one of the clumps in G11.36+0.80 suggests that the IRDC has fragmented in a hierarchical fashion. This conforms to the filamentary paradigm for Galactic star formation.


title: Extending Open Bandit Pipeline to Simulate Industry Challenges

abstract: Bandit algorithms are often used in the e-commerce industry to train Machine Learning (ML) systems when pre-labeled data is unavailable. However, the industry setting poses various challenges that make implementing bandit algorithms in practice non-trivial. In this paper, we elaborate on the challenges of off-policy optimisation, delayed reward, concept drift, reward design, and business rules constraints that practitioners at Booking.com encounter when applying bandit algorithms. Our main contributions is an extension to the Open Bandit Pipeline (OBP) framework. We provide simulation components for some of the above-mentioned challenges to provide future practitioners, researchers, and educators with a resource to address challenges encountered in the e-commerce industry.


title: Domain-specific Learning of Multi-scale Facial Dynamics for Apparent Personality Traits Prediction

abstract: Human personality decides various aspects of their daily life and working behaviors. Since personality traits are relatively stable over time and unique for each subject, previous approaches frequently infer personality from a single frame or short-term behaviors. Moreover, most of them failed to specifically extract person-specific and unique cues for personality recognition. In this paper, we propose a novel video-based automatic personality traits recognition approach which consists of: (1) a \textbf{domain-specific facial behavior modelling} module that extracts personality-related multi-scale short-term human facial behavior features; (2) a \textbf{long-term behavior modelling} module that summarizes all short-term features of a video as a long-term/video-level personality representation and (3) a \textbf{multi-task personality traits prediction module} that models underlying relationship among all traits and jointly predict them based on the video-level personality representation. We conducted the experiments on ChaLearn First Impression dataset, and our approach achieved comparable results to the state-of-the-art. Importantly, we show that all three proposed modules brought important benefits for personality recognition.


title: Post-Quantum Oblivious Transfer from Smooth Projective Hash Functions with Grey Zone

abstract: Oblivious Transfer (OT) is a major primitive for secure multiparty computation. Indeed, combined with symmetric primitives along with garbled circuits, it allows any secure function evaluation between two parties. In this paper, we propose a new approach to build OT protocols. Interestingly, our new paradigm features a security analysis in the Universal Composability (UC) framework and may be instantiated from post-quantum primitives. In order to do so, we define a new primitive named Smooth Projective Hash Function with Grey Zone (SPHFwGZ) which can be seen as a relaxation of the classical Smooth Projective Hash Functions, with a subset of the words for which one cannot claim correctness nor smoothness: the grey zone. As a concrete application, we provide two instantiations of SPHFwGZ respectively based on the Diffie-Hellman and the Learning With Errors (LWE) problems. Hence, we propose a quantum-resistant OT protocol with UC-security in the random oracle model.


title: Local repulsion of planar Gaussian critical points

abstract: We study the local repulsion between critical points of a stationary isotropic smooth planar Gaussian field. We show that the critical points can experience a soft repulsion which is maximal in the case of the random planar wave model, or a soft attraction of arbitrary high order. If the type of critical points is specified (extremum, saddle point), the points experience a hard local repulsion, that we quantify with the precise magnitude of the second factorial moment of the number of points in a small ball.


title: A 50 mK test bench for demonstration of the readout chain of Athena/X-IFU

abstract: The X-IFU (X-ray Integral Field Unit) onboard the large ESA mission Athena (Advanced Telescope for High ENergy Astrophysics), planned to be launched in the mid 2030s, will be a cryogenic X-ray imaging spectrometer operating at 55 mK. It will provide unprecedented spatially resolved high-resolution spectroscopy (2.5 eV FWHM up to 7 keV) in the 0.2-12 keV energy range thanks to its array of TES (Transition Edge Sensors) microcalorimeters of more than 2k pixel. The detection chain of the instrument is developed by an international collaboration: the detector array by NASA/GSFC, the cold electronics by NIST, the cold amplifier by VTT, the WFEE (Warm Front-End Electronics) by APC, the DRE (Digital Readout Electronics) by IRAP and a focal plane assembly by SRON. To assess the operation of the complete readout chain of the X-IFU, a 50 mK test bench based on a kilo-pixel array of microcalorimeters from NASA/GSFC has been developed at IRAP in collaboration with CNES. Validation of the test bench has been performed with an intermediate detection chain entirely from NIST and Goddard. Next planned activities include the integration of DRE and WFEE prototypes in order to perform an end-to-end demonstration of a complete X-IFU detection chain.


title: Del Pezzo quintics as equivariant compactifications of vector groups

abstract: We study faithful actions with a dense orbit of abelian unipotent groups on quintic del Pezzo varieties over a field of characteristic zero. Such varieties are forms of linear sections of the Grassmannian of planes in a 5-dimensional vector space. We characterize which smooth forms admit these types of actions and show that in case of existence, the action is unique up to equivalence by automorphisms. We also give a similar classification for mildly singular quintic del Pezzo threefolds and surfaces.


title: How many inner simulations to compute conditional expectations with least-square Monte Carlo?

abstract: The problem of computing the conditional expectation E[f (Y)|X] with least-square Monte-Carlo is of general importance and has been widely studied. To solve this problem, it is usually assumed that one has as many samples of Y as of X. However, when samples are generated by computer simulation and the conditional law of Y given X can be simulated, it may be relevant to sample K $\in$ N values of Y for each sample of X. The present work determines the optimal value of K for a given computational budget, as well as a way to estimate it. The main take away message is that the computational gain can be all the more important that the computational cost of sampling Y given X is small with respect to the computational cost of sampling X. Numerical illustrations on the optimal choice of K and on the computational gain are given on different examples including one inspired by risk management.

categories: math.ST math.PR q-fin.CP stat.CO stat.TH


title: SUPER-Rec: SUrrounding Position-Enhanced Representation for Recommendation

abstract: Collaborative filtering problems are commonly solved based on matrix completion techniques which recover the missing values of user-item interaction matrices. In a matrix, the rating position specifically represents the user given and the item rated. Previous matrix completion techniques tend to neglect the position of each element (user, item and ratings) in the matrix but mainly focus on semantic similarity between users and items to predict the missing value in a matrix. This paper proposes a novel position-enhanced user/item representation training model for recommendation, SUPER-Rec. We first capture the rating position in the matrix using the relative positional rating encoding and store the position-enhanced rating information and its user-item relationship to the fixed dimension of embedding that is not affected by the matrix size. Then, we apply the trained position-enhanced user and item representations to the simplest traditional machine learning models to highlight the pure novelty of our representation learning model. We contribute the first formal introduction and quantitative analysis of position-enhanced item representation in the recommendation domain and produce a principled discussion about our SUPER-Rec to the outperformed performance of typical collaborative filtering recommendation tasks with both explicit and implicit feedback.


title: Fast replanning of a lower-limb exoskeleton trajectories for rehabilitation

abstract: The paper addresses the rehabilitation of disabled patients using a lower-limb fully-actuated exoskeleton. We propose a novel numerical method to replan the current step without jeopardizing stability. Stability is evaluated in the light of a simple linear time-invariant surrogate model. The method's core is the analysis of an input-constrained optimal control problem with state specified at an unspecified terminal time. A detailed study of the extremals given by Pontryagin Maximum Principle is sufficient to characterize its feasibility. This allows a fast replanning strategy. The efficiency of the numerical algorithm (resolution time below 1 ms) yields responsiveness to the patient's request. Realistic simulations on a full-body model of the patient-exoskeleton system stress that cases of practical interest for physiotherapists are well-addressed.


title: Multi-grained Label Refinement Network with Dependency Structures for Joint Intent Detection and Slot Filling

abstract: Slot filling and intent detection are two fundamental tasks in the field of natural language understanding. Due to the strong correlation between these two tasks, previous studies make efforts on modeling them with multi-task learning or designing feature interaction modules to improve the performance of each task. However, none of the existing approaches consider the relevance between the structural information of sentences and the label semantics of two tasks. The intent and semantic components of a utterance are dependent on the syntactic elements of a sentence. In this paper, we investigate a multi-grained label refinement network, which utilizes dependency structures and label semantic embeddings. Considering to enhance syntactic representations, we introduce the dependency structures of sentences into our model by graph attention layer. To capture the semantic dependency between the syntactic information and task labels, we combine the task specific features with corresponding label embeddings by attention mechanism. The experimental results demonstrate that our model achieves the competitive performance on two public datasets.


title: A Fast Algorithm for Onboard Atmospheric Powered Descent Guidance

abstract: Atmospheric powered descent guidance can be solved by successive convexification; however, its onboard application is impeded by the sharp increase in computation caused by nonlinear aerodynamic forces. The problem has to be converted into a sequence of convex subproblems instead of a single convex problem when aerodynamic forces are ignored. Besides, each subproblem is significantly more complicated, which increases computation. A fast real-time interior point method was presented to solve the correlated convex subproblems onboard in the work. The main contributions are as follows: Firstly, an algorithm was proposed to accelerate the solution of linear systems that cost most of the computation in each iterative step by exploiting the specific problem structure. Secondly, a warm-starting scheme was introduced to refine the initial value of a subproblem with a rough approximate solution of the former subproblem, which lessened the iterative steps required for each subproblem. The method proposed reduced the run time by a factor of 9 compared with the fastest publicly available solver tested in Monte Carlo simulations to evaluate the efficiency of solvers. Runtimes on the order of 0.6 s are achieved on a radiation-hardened flight processor, which demonstrated the potential of the real-time onboard application.


title: Stability and instability of standing-wave solutions to one dimensional quadratic-cubic Klein-Gordon equations

abstract: We study the stability of standing-waves solutions to a scalar non-linear Klein-Gordon equation in dimension one with a quadratic-cubic non-linearity. Orbits are obtained by applying the semigroup generated by the negative complex unit multiplication on a critical point of the energy constrained to the charge.


title: Complexified quantum field theory in operator form

abstract: The anti self-adjoint operators of imaginary coordinate and momentum, together with the self-adjoint operators of real coordinate, momentum, energy and time are used in construction of the quantum field theory in operator form. This formalism, being free of many dubious mathematical situations characteristic to the standard treatment of quantum fields, is applied in formulation of the new gauge condition for electromagnetic field that describes the absence of the scalar and longitudinal photons. Proposed formalism offers adequate theoretical framework for proper description of the multicomponent fields, including quantum gravity.


title: Metaverse for Healthcare: A Survey on Potential Applications, Challenges and Future Directions

abstract: The rapid progress in digitalization and automation have led to an accelerated growth in healthcare, generating novel models that are creating new channels for rendering treatment with reduced cost. The Metaverse is an emerging technology in the digital space which has huge potential in healthcare, enabling realistic experiences to the patients as well as the medical practitioners. The Metaverse is a confluence of multiple enabling technologies such as artificial intelligence, virtual reality, augmented reality, internet of medical devices, robotics, quantum computing, etc. through which new directions for providing quality healthcare treatment and services can be explored. The amalgamation of these technologies ensures immersive, intimate and personalized patient care. It also provides adaptive intelligent solutions that eliminates the barriers between healthcare providers and receivers. This article provides a comprehensive review of the Metaverse for healthcare, emphasizing on the state of the art, the enabling technologies for adopting the Metaverse for healthcare, the potential applications and the related projects. The issues in the adaptation of the Metaverse for healthcare applications are also identified and the plausible solutions are highlighted as part of future research directions.


title: ApproxTrain: Fast Simulation of Approximate Multipliers for DNN Training and Inference

abstract: Edge training of Deep Neural Networks (DNNs) is a desirable goal for continuous learning; however, it is hindered by the enormous computational power required by training. Hardware approximate multipliers have shown their effectiveness for gaining resource-efficiency in DNN inference accelerators; however, training with approximate multipliers is largely unexplored. To build resource efficient accelerators with approximate multipliers supporting DNN training, a thorough evaluation of training convergence and accuracy for different DNN architectures and different approximate multipliers is needed. This paper presents ApproxTrain, an open-source framework that allows fast evaluation of DNN training and inference using simulated approximate multipliers. ApproxTrain is as user-friendly as TensorFlow (TF) and requires only a high-level description of a DNN architecture along with C/C++ functional models of the approximate multiplier. We improve the speed of the simulation at the multiplier level by using a novel LUT-based approximate floating-point (FP) multiplier simulator on GPU (AMSim). ApproxTrain leverages CUDA and efficiently integrates AMSim into the TensorFlow library, in order to overcome the absence of native hardware approximate multiplier in commercial GPUs. We use ApproxTrain to evaluate the convergence and accuracy of DNN training with approximate multipliers for small and large datasets (including ImageNet) using LeNets and ResNets architectures. The evaluations demonstrate similar convergence behavior and negligible change in test accuracy compared to FP32 and bfloat16 multipliers. Compared to CPU-based approximate multiplier simulations in training and inference, the GPU-accelerated ApproxTrain is more than 2500x faster. Based on highly optimized closed-source cuDNN/cuBLAS libraries with native hardware multipliers, the original TensorFlow is only 8x faster than ApproxTrain.


title: Improvement of quantum walk-based search algorithms in single marked vertex graphs

abstract: Quantum walks are powerful tools for building quantum search algorithms or quantum sampling algorithms named the construction of quantum stationary state. However, the success probability of those algorithms are all far away from 1. Amplitude amplification is usually used to amplify success probability, but the souffl\'e problems follow. Only stop at the right step can we achieve a maximum success probability. Otherwise, as the number of steps increases, the success probability may decrease, which will cause troubles in practical application of the algorithm when the optimal number of steps is not known. In this work, we define generalized interpolated quantum walks, which can both improve the success probability of search algorithms and avoid the souffl\'e problems. Then we combine generalized interpolation quantum walks with quantum fast-forwarding. The combination both reduce the times of calling walk operator of searching algorithm from $\Theta((\varepsilon^{-1})\sqrt{\Heg})$ to $\Theta(\log(\varepsilon^{-1})\sqrt{\Heg})$ and reduces the number of ancilla qubits required from $\Theta(\log(\varepsilon^{-1})+\log\sqrt{\Heg})$ to $\Theta(\log\log(\varepsilon^{-1})+\log\sqrt{\Heg})$, and the souffle problem is avoided while the success probability is improved, where $\varepsilon$ denotes the precision and $\Heg$ denotes the classical hitting time. Besides, we show that our generalized interpolated quantum walks can be used to improve the construction of quantum states corresponding to stationary distributions as well. Finally, we give an application that can be used to construct a slowly evolving Markov chain sequence by applying generalized interpolated quantum walks, which is the necessary premise in adiabatic stationary state preparation.


title: Estimating Multi-label Accuracy using Labelset Distributions

abstract: A multi-label classifier estimates the binary label state (relevant vs irrelevant) for each of a set of concept labels, for any given instance. Probabilistic multi-label classifiers provide a predictive posterior distribution over all possible labelset combinations of such label states (the powerset of labels) from which we can provide the best estimate, simply by selecting the labelset corresponding to the largest expected accuracy, over that distribution. For example, in maximizing exact match accuracy, we provide the mode of the distribution. But how does this relate to the confidence we may have in such an estimate? Confidence is an important element of real-world applications of multi-label classifiers (as in machine learning in general) and is an important ingredient in explainability and interpretability. However, it is not obvious how to provide confidence in the multi-label context and relating to a particular accuracy metric, and nor is it clear how to provide a confidence which correlates well with the expected accuracy, which would be most valuable in real-world decision making. In this article we estimate the expected accuracy as a surrogate for confidence, for a given accuracy metric. We hypothesise that the expected accuracy can be estimated from the multi-label predictive distribution. We examine seven candidate functions for their ability to estimate expected accuracy from the predictive distribution. We found three of these to correlate to expected accuracy and are robust. Further, we determined that each candidate function can be used separately to estimate Hamming similarity, but a combination of the candidates was best for expected Jaccard index and exact match.