title: Distributed quantum sensing with a mode-entangled network of spin-squeezed atomic states

abstract: Quantum sensors are used for precision timekeeping, field sensing, and quantum communication. Comparisons among a distributed network of these sensors are capable of, for example, synchronizing clocks at different locations. The performance of a sensor network is limited by technical challenges as well as the inherent noise associated with the quantum states used to realize the network. For networks with only local entanglement at each node, the noise performance of the network improves at best with square root of the number of nodes. Here, we demonstrate that nonlocal entanglement between network nodes offers better scaling with network size. A shared quantum nondemolition measurement entangles a clock network with up to four nodes. This network provides up to 4.5 dB better precision than one without nonlocal entanglement, and 11.6 dB improvement as compared to a network of sensors operating at the quantum projection noise limit. We demonstrate the generality of the approach with atomic clock and atomic interferometer protocols, in scientific and technologically relevant configurations optimized for intrinsically differential comparisons of sensor outputs.


title: Regular theory in complex braid groups

abstract: In his seminal paper on complex reflection arrangements, Bessis introduces a Garside structure for the braid group of a well-generated irreducible complex reflection group. Using this Garside structure, he establishes a strong connection between regular elements in the reflection group, and roots of the "full twist" element of the pure braid group. He then suggests that it would be possible to extend the conclusion of this theorem to centralizers of regular elements in well-generated groups. In this paper we give a positive answer to this question and we show moreover that these results hold for an arbitrary reflection group.


title: Cob: a consensus layer enabling sustainable sharding-based consensus protocols

abstract: In this paper we explore a context of application of Cob, a recently introduced Byzantine Fault Tolerant consensus protocol. Cob proves to be a leaderless consensus protocol which carries out the consensus process in parallel on each component of a list of events to be observed and recorded. We show how Cob can be used to define a consensus layer for scalable and sustainable blockchains. This layer is used to design consensus protocols based on sharding as a mean to achieve scalability, and on the fragmentation of time in time-slots (which get assigned to nodes that are instructed to create new blocks) as a mean to reduce the amount of computation and communication necessary for the maintenance of the distributed ledger. We explain why Cob is a viable candidate to implement such consensus layer through the introduction of an auxiliary blockchain that we name Synchronization Chain.


title: Degree Based Topological Indices of a General Random Chain

abstract: Let G=(V(G),E(G)) a graph, many important topological indices can be defined as TI(G)= \sum_{vu\in E(G)} h(d_{v},d_{u}). In this paper, we look at one type of general random chains and an alternative approach to study these kinds of topological indices is proposed. In which their explicit analytical expressions of the expected values and variances are obtained. Moreover, the asymptotic normality of topological indices of a random chain is established through the Martingale Central Limit Theorem.


title: SN 1961V: A Pulsational Pair-Instability Supernova

abstract: We explore a variety of models in which SN~1961V, one of the most enigmatic supernovae (SNe) ever observed, was a pulsational pair-instability supernova (PPISN). Successful models reproduce the bolometric light curve of the principal outburst and, in some cases, the emission one year before and several years afterward. All models have helium-rich ejecta, bulk hydrogenic velocities near 2000 km s$^{-1}$, and total kinetic energies from 4 to 8 $\times 10^{50}$ erg. Each eventually leaves behind a black hole remnant. Three subclasses of PPISN models are explored, each with two different choices of carbon abundance following helium burning. Carbon is an important parameter because shell carbon burning can weaken the explosion. The three subclasses correspond to situations where SN~1961V and its immediate afterglow were: a) a single event; b) the first of two or more pulsational events separated by decades or centuries; or c) the latter stages of a complex explosion that had already been going on for a year or more. For the low carbon case, the main sequence mass for SN~1961V's progenitor would have been 100 to 115 \Msun; its pre-SN helium core mass was 45 to 52 \Msun; and the final black hole mass, 40 to 45 \Msun. For the high-carbon case, these values are increased by roughly 20 to 25\%. In some PPISN models, a $\sim10^{40}$ erg s$^{-1}$ star-like object could still be shining at the site of SN~1961V, but it has more likely been replaced by a massive accreting black hole.


title: Determining the collision kernel in the Boltzmann equation near the equilibrium

abstract: We consider an inverse problem for the nonlinear Boltzmann equation near the equilibrium. Our goal is to determine the collision kernel in the Boltzmann equation from the knowledge of the Albedo operator. Our approach relies on a linearization technique as well as the injectivity of the Gauss-Weierstrass transform.


title: Dynamics and entanglement in quantum and quantum-classical systems: lessons for gravity

abstract: Motivated by quantum gravity, semi-classical theory, and quantum theory on curved spacetimes, we study the system of an oscillator coupled to two spin-1/2 particles. This model provides a prototype for comparing three types of dynamics: the full quantum theory, the classical oscillator with spin backreaction, and spins propagating on a fixed oscillator background. From nonperturbative calculations of oscillator and entanglement entropy dynamics, we find that entangled tripartite states produce novel oscillator trajectories, and that the three systems give equivalent dynamics for sufficiently weak oscillator-spin couplings, but deviate significantly for intermediate couplings. These results suggest that semiclassical dynamics with back reaction does not provide a suitable intermediate regime between quantum gravity and quantum theory on curved spacetime.


title: Efficient Quantum State Tracking in Noisy Environments

abstract: Quantum state tomography, which aims to find the best description of a quantum state -- the density matrix, is an essential building block in quantum computation and communication. Standard techniques for state tomography are incapable of tracking changing states and often perform poorly in the presence of environmental noise. Although there are different approaches to solve these problems theoretically, experimental demonstrations have so far been sparse. Our approach, matrix-exponentiated gradient tomography, is an online tomography method that allows for state tracking, updates the estimated density matrix dynamically from the very first measurements, is computationally efficient, and converges to a good estimate quickly even with noisy data. The algorithm is controlled via a single parameter, its learning rate, which determines the performance and can be tailored in simulations to the individual experiment. We present an experimental implementation of matrix-exponentiated gradient tomography on a qutrit system encoded in the transverse spatial mode of photons. We investigate the performance of our method on stationary and evolving states, as well as significant environmental noise, and find fidelities of around 95% in all cases.


title: Excitonic effects on high-harmonic generation in Mott insulators

abstract: To study excitonic effects on high-harmonic generation (HHG) in Mott insulators, we investigate pumped nonequilibrium dynamics in the one-dimensional extended Hubbard model. By employing time-dependent calculations based on the exact diagonalization and infinite time-evolving block decimation methods, we find the strong enhancement of the HHG intensity around the exciton energy. The subcycle analysis in the sub-Mott-gap regime shows that the intensity region of the time-resolved spectrum around the exciton energy splits into two levels and oscillates following the driving electric field. This excitonic dynamics is qualitatively different from the dynamics of free doublon and holon but favorably contributes to HHG in the Mott insulator.


title: PVS Embeddings of Propositional and Quantified Modal Logic

abstract: Modal logics allow reasoning about various modes of truth: for example, what it means for something to be possibly true, or to know that something is true as opposed to merely believing it. This report describes embeddings of propositional and quantified modal logic in the PVS verification system. The resources of PVS allow this to be done in an attractive way that supports much of the standard syntax of modal logic, while providing effective automation. The report introduces and formally specifies and verifies several standard topics in modal logic such as relationships between the standard modal axioms and properties of the accessibility relation, and attributes of the Barcan Formula and its converse in both constant and varying domains.


title: Efficient Path Planning and Tracking for Multi-Modal Legged-Aerial Locomotion Using Integrated Probabilistic Road Maps (PRM) and Reference Governors (RG)

abstract: There have been several successful implementations of bio-inspired legged robots that can trot, walk, and hop robustly even in the presence of significant unplanned disturbances. Despite all of these accomplishments, practical control and high-level decision-making algorithms in multi-modal legged systems are overlooked. In nature, animals such as birds impressively showcase multiple modes of mobility including legged and aerial locomotion. They are capable of performing robust locomotion over large walls, tight spaces, and can recover from unpredictable situations such as sudden gusts or slippery surfaces. Inspired by these animals' versatility and ability to combine legged and aerial mobility to negotiate their environment, our main goal is to design and control legged robots that integrate two completely different forms of locomotion, ground and aerial mobility, in a single platform. Our robot, the Husky Carbon, is being developed to integrate aerial and legged locomotion and to transform between legged and aerial mobility. This work utilizes a Reference Governor (RG) based on low-level control of Husky's dynamical model to maintain the efficiency of legged locomotion, uses Probabilistic Road Maps (PRM) and 3D A* algorithms to generate an optimal path based on the energetic cost of transport for legged and aerial mobility


title: $\alpha$-GAN: Convergence and Estimation Guarantees

abstract: We prove a two-way correspondence between the min-max optimization of general CPE loss function GANs and the minimization of associated $f$-divergences. We then focus on $\alpha$-GAN, defined via the $\alpha$-loss, which interpolates several GANs (Hellinger, vanilla, Total Variation) and corresponds to the minimization of the Arimoto divergence. We show that the Arimoto divergences induced by $\alpha$-GAN equivalently converge, for all $\alpha\in \mathbb{R}_{>0}\cup\{\infty\}$. However, under restricted learning models and finite samples, we provide estimation bounds which indicate diverse GAN behavior as a function of $\alpha$. Finally, we present empirical results on a toy dataset that highlight the practical utility of tuning the $\alpha$ hyperparameter.


title: Tightening monogamy and polygamy relations of unified entanglement in multipartite systems

abstract: We study the monogamy and polygamy inequalities of unified entanglement in multipartite quantum systems. We first derive the monogamy inequality of unified-$(q, s)$ entanglement for multi-qubit states under arbitrary bipartition, and then obtain the monogamy inequalities of the $\alpha$th ($0\leq\alpha\leq\frac{r}{2}, r\geq\sqrt{2}$) power of entanglement of formation for tripartite states and their generalizations in multi-qubit quantum states. We also generalize the polygamy inequalities of unified-$(q, s)$ entanglement for multi-qubit states under arbitrary bipartition. Moreover, we investigate polygamy inequalities of the $\beta$th ($\beta\geq \max\{1, s\}, 0\leq s\leq s_0, 0\leq s_0\leq\sqrt{2}$) power of the entanglement of formation for $2\otimes2\otimes2$ and $n$-qubit quantum systems. Finally, using detailed examples, we show that the results are tighter than previous studies.


title: Bang-Bang Control Of A Tail-less Morphing Wing Flight

abstract: Bats' dynamic morphing wings are known to be extremely high-dimensional, and they employ the combination of inertial dynamics and aerodynamics manipulations to showcase extremely agile maneuvers. Bats heavily rely on their highly flexible wings and are capable of dynamically morphing their wings to adjust aerodynamic and inertial forces applied to their wing and perform sharp banking turns. There are technical hardware and control challenges in copying the morphing wing flight capabilities of flying animals. This work is majorly focused on the modeling and control aspects of stable, tail-less, morphing wing flight. A classical control approach using bang-bang control is proposed to stabilize a bio-inspired morphing wing robot called Aerobat. Robot-environment interactions based on horseshoe vortex shedding and Wagner functions is derived to realistically evaluate the feasibility of the bang-bang control, which is then implemented on the robot in experiments to demonstrate first-time closed-loop stable flights of Aerobat.


title: Learning Based User Scheduling in Reconfigurable Intelligent Surface Assisted Multiuser Downlink

abstract: Reconfigurable intelligent surface (RIS) is capable of intelligently manipulating the phases of the incident electromagnetic wave to improve the wireless propagation environment between the base-station (BS) and the users. This paper addresses the joint user scheduling, RIS configuration, and BS beamforming problem in an RIS-assisted downlink network with limited pilot overhead. We show that graph neural networks (GNN) with permutation invariant and equivariant properties can be used to appropriately schedule users and to design RIS configurations to achieve high overall throughput while accounting for fairness among the users. As compared to the conventional methodology of first estimating the channels then optimizing the user schedule, RIS configuration and the beamformers, this paper shows that an optimized user schedule can be obtained directly from a very short set of pilots using a GNN, then the RIS configuration can be optimized using a second GNN, and finally the BS beamformers can be designed based on the overall effective channel. Numerical results show that the proposed approach can utilize the received pilots more efficiently than the conventional channel estimation based approach, and can generalize to systems with an arbitrary number of users.


title: LANTERN-RD: Enabling Deep Learning for Mitigation of the Invasive Spotted Lanternfly

abstract: The Spotted Lanternfly (SLF) is an invasive planthopper that threatens the local biodiversity and agricultural economy of regions such as the Northeastern United States and Japan. As researchers scramble to study the insect, there is a great potential for computer vision tasks such as detection, pose estimation, and accurate identification to have important downstream implications in containing the SLF. However, there is currently no publicly available dataset for training such AI models. To enable computer vision applications and motivate advancements to challenge the invasive SLF problem, we propose LANTERN-RD, the first curated image dataset of the spotted lanternfly and its look-alikes, featuring images with varied lighting conditions, diverse backgrounds, and subjects in assorted poses. A VGG16-based baseline CNN validates the potential of this dataset for stimulating fresh computer vision applications to accelerate invasive SLF research. Additionally, we implement the trained model in a simple mobile classification application in order to directly empower responsible public mitigation efforts. The overarching mission of this work is to introduce a novel SLF image dataset and release a classification framework that enables computer vision applications, boosting studies surrounding the invasive SLF and assisting in minimizing its agricultural and economic damage.


title: Outlier Detection for Multi-Network Data

abstract: It has become routine in neuroscience studies to measure brain networks for different individuals using neuroimaging. These networks are typically expressed as adjacency matrices, with each cell containing a summary of connectivity between a pair of brain regions. There is an emerging statistical literature describing methods for the analysis of such multi-network data in which nodes are common across networks but the edges vary. However, there has been essentially no consideration of the important problem of outlier detection. In particular, for certain subjects, the neuroimaging data are so poor quality that the network cannot be reliably reconstructed. For such subjects, the resulting adjacency matrix may be mostly zero or exhibit a bizarre pattern not consistent with a functioning brain. These outlying networks may serve as influential points, contaminating subsequent statistical analyses. We propose a simple Outlier DetectIon for Networks (ODIN) method relying on an influence measure under a hierarchical generalized linear model for the adjacency matrices. An efficient computational algorithm is described, and ODIN is illustrated through simulations and an application to data from the UK Biobank. ODIN was successful in identifying moderate to extreme outliers. Removing such outliers can significantly change inferences in downstream applications.


title: Precession dynamics of a small magnet with non-Markovian damping: Theoretical proposal for an experiment to determine the correlation time

abstract: Recent advances in experimental techniques have made it possible to manipulate and measure the magnetization dynamics on the femtosecond time scale which is the same order as the correlation time of the bath degrees of freedom. In the equations of motion of magnetization, the correlation of the bath is represented by the non-Markovian damping. For development of the science and technologies based on the ultrafast magnetization dynamics it is important to understand how the magnetization dynamics depend on the correlation time. It is also important to determine the correlation time experimentally. Here we study the precession dynamics of a small magnet with the non-Markovian damping. Extending the theoretical analysis of Miyazaki and Seki [J. Chem. Phys. 108, 7052 (1998)] we obtain analytical expressions of the precession angular velocity and the effective damping constant for any values of the correlation time under assumption of small Gilbert damping constant. We also propose a possible experiment for determination of the correlation time.


title: Improved search for invisible modes of nucleon decay in water with the SNO+ detector

abstract: This paper reports results from a search for single and multi-nucleon disappearance from the $^{16}$O nucleus in water within the \snoplus{} detector using all of the available data. These so-called "invisible" decays do not directly deposit energy within the detector but are instead detected through their subsequent nuclear de-excitation and gamma-ray emission. New limits are given for the partial lifetimes: $\tau(n\rightarrow inv) > 9.0\times10^{29}$ years, $\tau(p\rightarrow inv) > 9.6\times10^{29}$ years, $\tau(nn\rightarrow inv) > 1.5\times10^{28}$ years, $\tau(np\rightarrow inv) > 6.0\times10^{28}$ years, and $\tau(pp\rightarrow inv) > 1.1\times10^{29}$ years at 90\% Bayesian credibility level (with a prior uniform in rate). All but the ($nn\rightarrow inv$) results improve on existing limits by a factor of about 3.


title: PoisonedEncoder: Poisoning the Unlabeled Pre-training Data in Contrastive Learning

abstract: Contrastive learning pre-trains an image encoder using a large amount of unlabeled data such that the image encoder can be used as a general-purpose feature extractor for various downstream tasks. In this work, we propose PoisonedEncoder, a data poisoning attack to contrastive learning. In particular, an attacker injects carefully crafted poisoning inputs into the unlabeled pre-training data, such that the downstream classifiers built based on the poisoned encoder for multiple target downstream tasks simultaneously classify attacker-chosen, arbitrary clean inputs as attacker-chosen, arbitrary classes. We formulate our data poisoning attack as a bilevel optimization problem, whose solution is the set of poisoning inputs; and we propose a contrastive-learning-tailored method to approximately solve it. Our evaluation on multiple datasets shows that PoisonedEncoder achieves high attack success rates while maintaining the testing accuracy of the downstream classifiers built upon the poisoned encoder for non-attacker-chosen inputs. We also evaluate five defenses against PoisonedEncoder, including one pre-processing, three in-processing, and one post-processing defenses. Our results show that these defenses can decrease the attack success rate of PoisonedEncoder, but they also sacrifice the utility of the encoder or require a large clean pre-training dataset.


title: Conservative Projection Between Finite Element and Particle Bases

abstract: Particle-in-Cell (PIC) methods employ particle representations of unknown fields, but also employ continuum fields for other parts of the problem. Thus projection between particle and continuum bases is required. Moreover, we often need to enforce conservation constraints on this projection. We derive a mechanism for enforcement based on weak equality, and implement it in the PETSc libraries. Scalability is demonstrated to more than 1B particles.


title: Virtually Full-duplex Cell-Free Massive MIMO with Access Point Mode Assignment

abstract: We consider a cell-free massive multiple-input multiple-output (MIMO) network utilizing a virtually full-duplex (vFD) mode, where access points (APs) with a downlink (DL) mode and those with an uplink (UL) mode simultaneously serve DL and UL users (UEs). In order to maximize the sum spectral efficiency (SE) of the DL and UL transmissions, we formulate a mixed-integer optimization problem to jointly design the AP mode assignment and power control. This problem is subject to minimum per-UE SE requirements, per-AP power control, and per-UL UE power constraints. By employing the successive convex approximation technique, we propose an algorithm to obtain a stationary solution of the formulated problem. Numerical results show that the proposed vFD approach can provide a sum SE that is $2.5$ and $1.5$ times larger than the traditional half-duplex and heuristic baseline schemes, respectively, in terms of $95\%$-likely sum SE.


title: Fast Conditional Network Compression Using Bayesian HyperNetworks

abstract: We introduce a conditional compression problem and propose a fast framework for tackling it. The problem is how to quickly compress a pretrained large neural network into optimal smaller networks given target contexts, e.g. a context involving only a subset of classes or a context where only limited compute resource is available. To solve this, we propose an efficient Bayesian framework to compress a given large network into much smaller size tailored to meet each contextual requirement. We employ a hypernetwork to parameterize the posterior distribution of weights given conditional inputs and minimize a variational objective of this Bayesian neural network. To further reduce the network sizes, we propose a new input-output group sparsity factorization of weights to encourage more sparseness in the generated weights. Our methods can quickly generate compressed networks with significantly smaller sizes than baseline methods.


title: Counting unique molecular identifiers in sequencing using a multitype branching process with immigration

abstract: Detection of extremely rare variant alleles, such as tumour DNA, within a complex mixture of DNA molecules is experimentally challenging due to sequencing errors. Barcoding of target DNA molecules in library construction for next-generation sequencing provides a way to identify and bioinformatically remove polymerase induced errors. During the barcoding procedure involving $t$ consecutive PCR cycles, the DNA molecules become barcoded by unique molecular identifiers (UMI). Different library construction protocols utilise different values of $t$. The effect of a larger $t$ and imperfect PCR amplifications is poorly described. This paper proposes a branching process with growing immigration as a model describing the random outcome of $t$ cycles of PCR barcoding. Our model discriminates between five different amplification rates $r_1$, $r_2$, $r_3$, $r_4$, $r$ for different types of molecules associated with the PCR barcoding procedure. We study this model by focussing on $C_t$, the number of clusters of molecules sharing the same UMI, as well as $C_t(m)$, the number of UMI clusters of size $m$. Our main finding is a remarkable asymptotic pattern valid for moderately large $t$. It turns out that $E(C_t(m))/E(C_t)\approx 2^{-m}$ for $m=1,2,\ldots$, regardless of the underlying parameters $(r_1,r_2,r_3,r_4,r)$. The knowledge of the quantities $C_t$ and $C_t(m)$ as functions of the experimental parameters $t$ and $(r_1,r_2,r_3,r_4,r)$ will help the users to draw more adequate conclusions from the outcomes of different sequencing protocols.


title: Multi-party quantum private comparison of size relation with d-level single-particle states

abstract: In this paper, by using d-level single-particle states, two novel multi-party quantum private comparison protocols for size relation comparison with two semi-honest third parties and one semi-honest third party are constructed, respectively. Here, each protocol can compare the size relation of secret integers from n parties rather than just the equality within one time execution. In each protocol, every third party is assumed to be semi-honest in the sense that she may misbehave on her own but is not allowed to collude with anyone else; and each party employs the qudit shifting operation to encode her secret integer. Each protocol can resist both the outside attack and the participant attack. Specially, each party's secret integer can be kept unknown to other parties and the third parties. The proposed protocol with two third parties is workable in a stranger environment, as there are no communication and no pre-shared key between each pair of party. The proposed protocol with one third party is workable in an acquaintance environment, as all parties need to share a common private key beforehand.


title: Tensor Decompositions for Hyperspectral Data Processing in Remote Sensing: A Comprehensive Review

abstract: Owing to the rapid development of sensor technology, hyperspectral (HS) remote sensing (RS) imaging has provided a significant amount of spatial and spectral information for the observation and analysis of the Earth's surface at a distance of data acquisition devices, such as aircraft, spacecraft, and satellite. The recent advancement and even revolution of the HS RS technique offer opportunities to realize the full potential of various applications, while confronting new challenges for efficiently processing and analyzing the enormous HS acquisition data. Due to the maintenance of the 3-D HS inherent structure, tensor decomposition has aroused widespread concern and research in HS data processing tasks over the past decades. In this article, we aim at presenting a comprehensive overview of tensor decomposition, specifically contextualizing the five broad topics in HS data processing, and they are HS restoration, compressed sensing, anomaly detection, super-resolution, and spectral unmixing. For each topic, we elaborate on the remarkable achievements of tensor decomposition models for HS RS with a pivotal description of the existing methodologies and a representative exhibition on the experimental results. As a result, the remaining challenges of the follow-up research directions are outlined and discussed from the perspective of the real HS RS practices and tensor decomposition merged with advanced priors and even with deep neural networks. This article summarizes different tensor decomposition-based HS data processing methods and categorizes them into different classes from simple adoptions to complex combinations with other priors for the algorithm beginners. We also expect this survey can provide new investigations and development trends for the experienced researchers who understand tensor decomposition and HS RS to some extent.


title: Measure-resend semi-quantum private comparison without entanglement

abstract: In this paper, we successfully design the semi-quantum private comparison (SQPC) protocol with the measure-resend characteristic by using two-particle product states as the initial prepared quantum resource which allows two classical users to compare the equality of their private secrets under the help of a quantum third party (TP). The quantum TP is semi-honest in the sense that he is allowed to misbehave on his own but cannot conspire with either of users. Both the output correctness and the security against the outside attack and the participant attack can be guaranteed. Compared with the previous SQPC protocols, the advantage of our protocol lies in that it only employs two-particle product states as the initial prepared quantum resource, only requires TP to perform single-photon measurements and does not need quantum entanglement swapping. Our protocol can be realized with current quantum technologies.


title: Design and Implementation of a Quantum Kernel for Natural Language Processing

abstract: Natural language processing (NLP) is the field that attempts to make human language accessible to computers, and it relies on applying a mathematical model to express the meaning of symbolic language. One such model, DisCoCat, defines how to express both the meaning of individual words as well as their compositional nature. This model can be naturally implemented on quantum computers, leading to the field quantum NLP (QNLP). Recent experimental work used quantum machine learning techniques to map from text to class label using the expectation value of the quantum encoded sentence. Theoretical work has been done on computing the similarity of sentences but relies on an unrealized quantum memory store. The main goal of this thesis is to leverage the DisCoCat model to design a quantum-based kernel function that can be used by a support vector machine (SVM) for NLP tasks. Two similarity measures were studied: (i) the transition amplitude approach and (ii) the SWAP test. A simple NLP meaning classification task from previous work was used to train the word embeddings and evaluate the performance of both models. The Python module lambeq and its related software stack was used for implementation. The explicit model from previous work was used to train word embeddings and achieved a testing accuracy of $93.09 \pm 0.01$%. It was shown that both the SVM variants achieved a higher testing accuracy of $95.72 \pm 0.01$% for approach (i) and $97.14 \pm 0.01$% for (ii). The SWAP test was then simulated under a noise model defined by the real quantum device, ibmq_guadalupe. The explicit model achieved an accuracy of $91.94 \pm 0.01$% while the SWAP test SVM achieved 96.7% on the testing dataset, suggesting that the kernelized classifiers are resilient to noise. These are encouraging results and motivate further investigations of our proposed kernelized QNLP paradigm.


title: Mid- and Far-Infrared Supercontinuum Generation in Bulk Tellurium Spanning from 5.3 $\mu$m to 32 $\mu$m

abstract: Supercontinuum generation is performed in the bulk semiconductor tellurium (Te) with a high-power picosecond CO$_2$ laser at peak intensities up to 20 GW/cm$^2$. The spectrum spans from the second harmonic of the pump at 5.3 $\mu$m to 32 $\mu$m. Stimulated Raman scattering along with self-phase modulation and four wave mixing are found to be the main nonlinear optical processes leading to the spectral broadening. Numerical simulations using the experimental conditions indicate that the nonlinear refractive index of Te, $n_{2,\textrm{eff}}$(Te) is about (40 $\pm$ 10) $n_{2,\textrm{eff}}$(GaAs), making this a very promising material for nonlinear optical devices.


title: In-medium polarization tensor in strong magnetic fields (II): Axial Ward identity at finite temperature and density

abstract: We investigate the axial Ward identity (AWI) for massive fermions in strong magnetic fields. The divergence of the axial-vector current is computed at finite temperature and/or density with the help of a relation between the polarization and anomaly diagrams in the effective (1+1) dimensions realized in the lowest Landau level (LLL). We discuss delicate interplay between the vacuum and medium contributions that determines patterns of the spectral flow in the adiabatic limit and, more generally, the diabatic chirality production rate. We also establish an explicit relation between the AWIs from the LLL approximation and from the familiar triangle diagrams in the naive perturbative series with respect to the coupling constant.


title: Optimal Order of Encoding for Gaussian MIMO Multi-Receiver Wiretap Channel

abstract: The Gaussian multiple-input multiple-output (MIMO) multi-receiver wiretap channel is studied in this paper. The base station broadcasts confidential messages to K intended users while keeping the messages secret from an eavesdropper. The capacity of this channel has already been characterized by applying dirty-paper coding and stochastic encoding. However, K factorial encoding orders may need to be enumerated for that, which makes the problem intractable. We prove that there exists one optimal encoding order and reduced the K factorial times to a one-time encoding. The optimal encoding order is proved by forming a secrecy weighted sum rate (WSR) maximization problem. The optimal order is the same as that for the MIMO broadcast channel without secrecy constraint, that is, the weight of users' rate in the WSR maximization problem determines the optimal encoding order. Numerical results verify the optimal encoding order.


title: Correlated driving-and-dissipation equation for non-Condon spectroscopy with the Herzberg-Teller vibronic coupling

abstract: Correlated driving-and-dissipation equation (CODDE) is an optimized complete second-order quantum dissipation approach, which is originally concerned with the reduced system dynamics only. However, one can actually extract the hybridized bath dynamics from CODDE with the aid of dissipaton-equation-of-motion theory, a statistical quasi-particle quantum dissipation formalism. Treated as an one{dissipaton theory, CODDE is successfully extended to deal with the Herzberg-Teller vibronic couplings in dipole-field interactions. Demonstrations will be carried out on the non-Condon spectroscopies of a model dimer system.


title: Quantum discords of tripartite quantum systems

abstract: The quantum discord of bipartite systems is one of the best-known measures of non-classical correlations and an important quantum resource. In the recent work appeared in [Phys. Rev. Lett 2020, 124:110401], the quantum discord has been generalized to multipartite systems. In this paper, we give analytic solutions of the quantum discord for tripartite states with fourteen parameters.


title: A Comprehensive Benchmark Suite for Intel SGX

abstract: Trusted execution environments (TEEs) such as \intelsgx facilitate the secure execution of an application on untrusted machines. Sadly, such environments suffer from serious limitations and performance overheads in terms of writing back data to the main memory, their interaction with the OS, and the ability to issue I/O instructions. There is thus a plethora of work that focuses on improving the performance of such environments -- this necessitates the need for a standard, widely accepted benchmark suite (something similar to SPEC and PARSEC). To the best of our knowledge, such a suite does not exist. Our suite, SGXGauge, contains a diverse set of workloads such as blockchain codes, secure machine learning algorithms, lightweight web servers, secure key-value stores, etc. We thoroughly characterizes the behavior of the benchmark suite on a native platform and on a platform that uses a library OS-based shimming layer (GrapheneSGX). We observe that the most important metrics of interest are performance counters related to paging, memory, and TLB accesses. There is an abrupt change in performance when the memory footprint starts to exceed the size of the EPC size in Intel SGX, and the library OS does not add a significant overhead (~ +- 10%).


title: Video-based assessment of intraoperative surgical skill

abstract: Purpose: The objective of this investigation is to provide a comprehensive analysis of state-of-the-art methods for video-based assessment of surgical skill in the operating room. Methods: Using a data set of 99 videos of capsulorhexis, a critical step in cataract surgery, we evaluate feature based methods previously developed for surgical skill assessment mostly under benchtop settings. In addition, we present and validate two deep learning methods that directly assess skill using RGB videos. In the first method, we predict instrument tips as keypoints, and learn surgical skill using temporal convolutional neural networks. In the second method, we propose a novel architecture for surgical skill assessment that includes a frame-wise encoder (2D convolutional neural network) followed by a temporal model (recurrent neural network), both of which are augmented by visual attention mechanisms. We report the area under the receiver operating characteristic curve, sensitivity, specificity, and predictive values with each method through 5-fold cross-validation. Results: For the task of binary skill classification (expert vs. novice), deep neural network based methods exhibit higher AUC than the classical spatiotemporal interest point based methods. The neural network approach using attention mechanisms also showed high sensitivity and specificity. Conclusion: Deep learning methods are necessary for video-based assessment of surgical skill in the operating room. Our findings of internal validity of a network using attention mechanisms to assess skill directly using RGB videos should be evaluated for external validity in other data sets.


title: A Journey from Wild to Textbook Data to Reproducibly Refresh the Wages Data from the National Longitudinal Survey of Youth Database

abstract: Textbook data is essential for teaching statistics and data science methods because they are clean, allowing the instructor to focus on methodology. Ideally textbook data sets are refreshed regularly, especially when they are subsets taken from an on-going data collection. It is also important to use contemporary data for teaching, to imbue the sense that the methodology is relevant today. This paper describes the trials and tribulations of refreshing a textbook data set on wages, extracted from the National Longitudinal Survey of Youth (NLSY79) in the early 1990s. The data is useful for teaching modeling and exploratory analysis of longitudinal data. Subsets of NLSY79, including the wages data, can be found in supplementary files from numerous textbooks and research articles. The NLSY79 database has been continuously updated through to 2018, so new records are available. Here we describe our journey to refresh the wages data, and document the process so that the data can be regularly updated into the future. Our journey was difficult because the steps and decisions taken to get from the raw data to the wages textbook subset have not been clearly articulated. We have been diligent to provide a reproducible workflow for others to follow, which also hopefully inspires more attempts at refreshing data for teaching. Three new data sets and the code to produce them are provided in the open source R package called `yowie`.


title: Representations of Quantum Coordinate Algebras at Generic $q$ and Wiring Diagrams

abstract: This paper is devoted to the representation theory of quantum coordinate algebra $\mathbb{C}_q[G]$, for a semisimple Lie group $G$ and a generic parameter $q$. By inspecting the actions of normal elements on tensor modules, we generalize a result of Levendorski and Soibelman in [22] for highest weight modules. For a double Bruhat cell $G^{w_1,w_2}$, we describe the primitive spectra $\mathrm{prim}\,\mathbb{C}_q[G]_{w_1,w_2}$ in a new fashion, and construct a bundle of $(w_1,w_2)$ type simple modules onto $\mathrm{prim}\,\mathbb{C}_q[G]_{w_1,w_2}$, provided $\mathrm{Supp}(w_1)\cap\mathrm{Supp}(w_2)=\varnothing$ or enough pivot elements. The fibers of the bundle are shown to be products of the spectrums of simple modules of 2-dimensional quantum torus $L_q(2)$. As an application of our theory, we deduce an equivalent condition for the tensor module to be simple, and construct some simple modules for each primitive ideal when $G=SL_3(\mathbb{C})$. This completes the Dixmier's program for $\mathbb{C}_q[SL_3]$. The wiring diagrams, introduced by Fomin and Zelevinsky in their study of total positivity (cf. [3,9]), is the main tool to compute the action of generalized quantum minors on tensor modules in the type A case. We obtain a quantum version of Lindstr\"{o}m's lemma, which plays an important role in transforming representation problems into combinatorial ones of wiring diagrams.


title: Ballisticity of Random walks in Random Environments on $\mathbb{Z}$ with Bounded Jumps

abstract: We characterize ballistic behavior for general i.i.d. random walks in random environments on $\mathbb{Z}$ with bounded jumps. The two characterizations we provide do not use uniform ellipticity conditions. They are natural in the sense that they both relate to formulas for the limiting speed in the nearest-neighbor case. Note: This paper duplicates results from some versions of the preprint "Random walks in Dirichlet random environments on $\mathbb{Z}$ with bounded jumps." (arxiv: 2104.14950). The present paper is being split off for reasons of length, and the plan is to remove these results from a future version of the previous paper and replace them with a citation of the present preprint.


title: Anomalous depinning of magnetic domain walls within the ferromagnetic phase of the Weyl semimetal Co3Sn2S2

abstract: We report bulk magnetization measurements and spatially resolved measurements of magnetic domains in Co3Sn2S2 single crystals. The results indicate that a previously reported magnetic anomaly around 130 K is due to an anomalous domain wall depinning upon cooling. Our measurements also reveal a hysteresis between field-cooled-cooling (FCC) and field-cooled-warming (FCW) magnetization curves acquired under a constant magnetic field below 300 Oe. This observation rules out the possibility that the anomaly stems from a second-order phase transition. Our results further suggest that changes in the shape of hysteresis loops from 5 K to 170 K are caused by an unusual temperature-dependent domain nucleation field that changes sign around 130 K. The Kerr rotation images of the magnetic domains confirm that the domain walls depin between 120 K and 140 K.


title: Talking Face Generation with Multilingual TTS

abstract: In this work, we propose a joint system combining a talking face generation system with a text-to-speech system that can generate multilingual talking face videos from only the text input. Our system can synthesize natural multilingual speeches while maintaining the vocal identity of the speaker, as well as lip movements synchronized to the synthesized speech. We demonstrate the generalization capabilities of our system by selecting four languages (Korean, English, Japanese, and Chinese) each from a different language family. We also compare the outputs of our talking face generation model to outputs of a prior work that claims multilingual support. For our demo, we add a translation API to the preprocessing stage and present it in the form of a neural dubber so that users can utilize the multilingual property of our system more easily.


title: Local unitary equivalence of generic multi-qubits based on the CP decomposition

abstract: The CANDECOMP/PARAFAC (CP) decomposition is a generalization of the spectral decomposition of matrices to higher-order tensors. In this paper we use the CP decomposition to study unitary equivalence of higher order tensors and construct several invariants of local unitary equivalence for general higher order tensors. Based on this new method, we study the coefficient tensors of $3$-qubit states and obtain a necessary and sufficient criterion for local unitary equivalence of general tripartite states in terms of the CP decomposition. We also generalize this method to obtain some invariants of local unitary equivalence for general multi-partite qudits.


title: Scaling limit of a generalized contact process

abstract: We derive macroscopic equations for a generalized contact process that is inspired by a neuronal integrate and fire model on the lattice $\mathbb{Z}^d$. The states at each lattice site can take values in $0,\ldots,k$. These can be interpreted as neuronal membrane potential, with the state $k$ corresponding to a firing threshold. In the terminology of the contact processes, which we shall use in this paper, the state $k$ corresponds to the individual being infectious (all other states are noninfectious). In order to reach the firing threshold, or to become infectious, the site must progress sequentially from $0$ to $k$. The rate at which it climbs is determined by other neurons at state $k$, coupled to it through a Kac-type potential, of range $\gamma^{-1}$. The hydrodynamic equations are obtained in the limit $\gamma\rightarrow 0$. Extensions of the microscopic model to include excitatory and inhibitory neuron types, as well as other biophysical mechanisms, are also considered.


title: On multilevel Monte Carlo methods for deterministic and uncertain hyperbolic systems

abstract: In this paper, we evaluate the performance of the multilevel Monte Carlo method (MLMC) for deterministic and uncertain hyperbolic systems, where randomness is introduced either in the modeling parameters or in the approximation algorithms. MLMC is a well known variance reduction method widely used to accelerate Monte Carlo (MC) sampling. However, we demonstrate in this paper that for hyperbolic systems, whether MLMC can achieve a real boost turns out to be delicate. The computational costs of MLMC and MC depend on the interplay among the accuracy (bias) and the computational cost of the numerical method for a single sample, as well as the variances of the sampled MLMC corrections or MC solutions. We characterize three regimes for the MLMC and MC performances using those parameters, and show that MLMC may not accelerate MC and can even have a higher cost when the variances of MC solutions and MLMC corrections are of the same order. Our studies are carried out by a few prototype hyperbolic systems: a linear scalar equation, the Euler and shallow water equations, and a linear relaxation model, the above statements are proved analytically in some cases, and demonstrated numerically for the cases of the stochastic hyperbolic equations driven by white noise parameters and Glimm's random choice method for deterministic hyperbolic equations.


title: A quantitative Khintchine-Groshev theorem for S-arithmetic Diophantine approximation

abstract: In his 1960 paper, Schmidt studied a quantitative type of Khintchine-Groshev theorem for general (higher) dimensions. Recently, a new proof of the theorem was found, which made it possible to relax the dimensional constraint and more generally, to add on the congruence condition by M. Alam, A. Ghosh, and S. Yu. In this paper, we generalize this new approach to S-arithmetic spaces and obtain a quantitative version of an S-arithmetic Khintchine-Groshev theorem. In fact, we consider a new S-arithmetic analog of Diophantine approximation, which is different from the one formerly established (see the 2007 paper of D. Kleinbock and G. Tomanov). Hence for the sake of completeness, we also deal with the convergence case of the Khintchine-Groshev theorem, based on this new generalization.


title: AK: Attentive Kernel for Information Gathering

abstract: Robotic Information Gathering (RIG) relies on the uncertainty of a probabilistic model to identify critical areas for efficient data collection. Gaussian processes (GPs) with stationary kernels have been widely adopted for spatial modeling. However, real-world spatial data typically does not satisfy the assumption of stationarity, where different locations are assumed to have the same degree of variability. As a result, the prediction uncertainty does not accurately capture prediction error, limiting the success of RIG algorithms. We propose a novel family of nonstationary kernels, named the Attentive Kernel (AK), which is simple, robust, and can extend any existing kernel to a nonstationary one. We evaluate the new kernel in elevation mapping tasks, where AK provides better accuracy and uncertainty quantification over the commonly used RBF kernel and other popular nonstationary kernels. The improved uncertainty quantification guides the downstream RIG planner to collect more valuable data around the high-error area, further increasing prediction accuracy. A field experiment demonstrates that the proposed method can guide an Autonomous Surface Vehicle (ASV) to prioritize data collection in locations with high spatial variations, enabling the model to characterize the salient environmental features.


title: Test-time Fourier Style Calibration for Domain Generalization

abstract: The topic of generalizing machine learning models learned on a collection of source domains to unknown target domains is challenging. While many domain generalization (DG) methods have achieved promising results, they primarily rely on the source domains at train-time without manipulating the target domains at test-time. Thus, it is still possible that those methods can overfit to source domains and perform poorly on target domains. Driven by the observation that domains are strongly related to styles, we argue that reducing the gap between source and target styles can boost models' generalizability. To solve the dilemma of having no access to the target domain during training, we introduce Test-time Fourier Style Calibration (TF-Cal) for calibrating the target domain style on the fly during testing. To access styles, we utilize Fourier transformation to decompose features into amplitude (style) features and phase (semantic) features. Furthermore, we present an effective technique to Augment Amplitude Features (AAF) to complement TF-Cal. Extensive experiments on several popular DG benchmarks and a segmentation dataset for medical images demonstrate that our method outperforms state-of-the-art methods.


title: Angular-time evolution for the Affleck-Kennedy-Lieb-Tasaki chain and its edge-state dynamics

abstract: We study the angular-time evolution that is a parameter-time evolution defined by the entanglement Hamiltonian for the bipartitioned ground state of the Affleck-Kennedy-Lieb-Tasaki (AKLT) chain with the open boundary. In particular, we analytically calculate angular-time spin correlation functions $\langle S_n^\alpha(\tau)S_n^\alpha(0)\rangle$ with $\alpha = x,y,z$, using the matrix-product-state (MPS) representation of the valence-bond-solid state with edges. We also investigate how the angular-time evolution operator can be represented in the physical spin space with the use of gauge transformation for the MPS. We then discuss the physical interpretation of the angular-time evolution in the AKLT chain.


title: Skew-sparse matrix multiplication

abstract: Based on the observation that $\mathbb{Q}^{(p-1) \times (p-1)}$ is isomorphic to a quotient skew polynomial ring, we propose a new method for $(p-1)\times (p-1)$ matrix multiplication over $\mathbb{Q}$, where $p$ is a prime number. The main feature of our method is the acceleration for matrix multiplication if the product is skew-sparse. Based on the new method, we design a deterministic algorithm with complexity $O(T^{\omega-2} p^2)$, where $T\le p-1$ is a parameter determined by the skew-sparsity of input matrices and $\omega$ is the asymptotic exponent of matrix multiplication. Moreover, by introducing randomness, we also propose a probabilistic algorithm with complexity $O^\thicksim(t^{\omega-2}p^2+p^2\log\frac{1}{\nu})$, where $t\le p-1$ is the skew-sparsity of the product and $\nu$ is the probability parameter.


title: Gamma-ray observation towards the young massive star cluster NGC 6618 in the M17 region

abstract: Young massive clusters have been established as a new population of gamma-ray sources and potential cosmic ray (CR) accelerators. In this paper, we report the detection of gamma-ray emissions near the young star cluster NGC 6618, which is one of the youngest star clusters in our Galaxy. The detected gamma-ray emissions can be divided into two components. One component is point-like and reveals harder spectrum, while the other is extended and with softer spectrum. Such spectral features are significantly different from other young massive clusters and may be due to the propagation effects of CRs accelerated in NGC 6618.


title: Recent dark matter results from the GAMBIT collaboration

abstract: In this proceeding, I present the results of a recent global fit of an effective field theory of dark matter, performed using the Global and Modular Beyond-the-Standard Model Inference Tool (GAMBIT). A Dirac fermion dark matter candidate is assumed to interact only with Standard Model quarks and gluons, through a general set of operators up to mass dimension 7. The results provide a reasonably up-to-date summary of our knowledge of possible WIMP interactions.


title: Learning quantum graph states with product measurements

abstract: We consider the problem of learning $N$ identical copies of an unknown $n$-qubit quantum graph state with product measurements. These graph states have corresponding graphs where every vertex has exactly $d$ neighboring vertices. Here, we detail an explicit algorithm that uses product measurements on multiple identical copies of such graph states to learn them. When $n \gg d$ and $N = O(d \log(1/\epsilon) + d^2 \log n ),$ this algorithm correctly learns the graph state with probability at least $1- \epsilon$. From channel coding theory, we find that for arbitrary joint measurements on graph states, any learning algorithm achieving this accuracy requires at least $\Omega(\log (1/\epsilon) + d \log n)$ copies when $d=o(\sqrt n)$. We also supply bounds on $N$ when every graph state encounters identical and independent depolarizing errors on each qubit.


title: Double crossed biproducts and related structures

abstract: Let $H$ be a bialgebra. Let $\sigma: H\otimes H\to A$ be a linear map, where $A$ is a left $H$-comodule coalgebra, and an algebra with a left $H$-weak action $\triangleright$. Let $\tau: H\otimes H\to B$ be a linear map, where $B$ is a right $H$-comodule coalgebra, and an algebra with a right $H$-weak action $\triangleleft$. In this paper, we improve the necessary conditions for the two-sided crossed product algebra $A\#^{\sigma} H~{^{\tau}\#} B$ and the two-sided smash coproduct coalgebra $A\times H\times B$ to form a bialgebra (called double crossed biproduct) such that the condition $b_{[1]}\triangleright a_0\otimes b_{[0]}\triangleleft a_{-1}=a\otimes b$ in Majid's double biproduct (or double-bosonization) is one of the necessary conditions. On the other hand, we provide a more general two-sided crossed product algebra structure via Brzez\'nski's crossed product and give some applications.


title: Continuous-time mean-variance portfolio selection under non-Markovian regime-switching model with random horizon

abstract: In this paper, we consider a continuous-time mean-variance portfolio selection with regime-switching and random horizon. Unlike previous works, the dynamic of assets are described by non-Markovian regime-switching models in the sense that all the market parameters are predictable with respect to the filtration generated jointly by Markov chain and Brownian motion. We formulate this problem as a constrained stochastic linear-quadratic optimal control problem. The Markov chain is assumed to be independent of the Brownian motion. So the market is incomplete. We derive closed-form expressions for both the optimal portfolios and the efficient frontier. All the results are different from those in the problem with fixed time horizon.


title: TIE: Topological Information Enhanced Structural Reading Comprehension on Web Pages

abstract: Recently, the structural reading comprehension (SRC) task on web pages has attracted increasing research interests. Although previous SRC work has leveraged extra information such as HTML tags or XPaths, the informative topology of web pages is not effectively exploited. In this work, we propose a Topological Information Enhanced model (TIE), which transforms the token-level task into a tag-level task by introducing a two-stage process (i.e. node locating and answer refining). Based on that, TIE integrates Graph Attention Network (GAT) and Pre-trained Language Model (PLM) to leverage the topological information of both logical structures and spatial structures. Experimental results demonstrate that our model outperforms strong baselines and achieves state-of-the-art performances on the web-based SRC benchmark WebSRC at the time of writing. The code of TIE will be publicly available at https://github.com/X-LANCE/TIE.


title: A Low-Cost, Controllable and Interpretable Task-Oriented Chatbot: With Real-World After-Sale Services as Example

abstract: Though widely used in industry, traditional task-oriented dialogue systems suffer from three bottlenecks: (i) difficult ontology construction (e.g., intents and slots); (ii) poor controllability and interpretability; (iii) annotation-hungry. In this paper, we propose to represent utterance with a simpler concept named Dialogue Action, upon which we construct a tree-structured TaskFlow and further build task-oriented chatbot with TaskFlow as core component. A framework is presented to automatically construct TaskFlow from large-scale dialogues and deploy online. Our experiments on real-world after-sale customer services show TaskFlow can satisfy the major needs, as well as reduce the developer burden effectively.


title: Impala: Low-Latency, Communication-Efficient Private Deep Learning Inference

abstract: This paper proposes Impala, a new cryptographic protocol for private inference in the client-cloud setting. Impala builds upon recent solutions that combine the complementary strengths of homomorphic encryption (HE) and secure multi-party computation (MPC). A series of protocol optimizations are developed to reduce both communication and performance bottlenecks. First, we remove MPC's overwhelmingly high communication cost from the client by introducing a proxy server and developing a low-overhead key switching technique. Key switching reduces the clients bandwidth by multiple orders of magnitude, however the communication between the proxy and cloud is still excessive. Second, to we develop an optimized garbled circuit that leverages truncated secret shares for faster evaluation and less proxy-cloud communication. Finally, we propose sparse HE convolution to reduce the computational bottleneck of using HE. Compared to the state-of-the-art, these optimizations provide a bandwidth savings of over 3X and speedup of 4X for private deep learning inference.


title: Magnetic skyrmion lattices in a novel two-dimensional twisted bilayer magnet

abstract: Magnetic skyrmions are topologically protected spin swirling vertices, which are promising in device applications due to their particle-like nature and excellent controlability. Magnetic skyrmions have been extensively studied in a variety of materials and were proposed to exist in the extreme two-dimensional limit, i.e., in twisted bilayer CrI$_3$ (TBCI). Unfortunately, the magnetic states of TBCIs with small twist angles are disorderly distributed ferromagnetic (FM) and antiferromagnetic (AFM) domains in recent experiments, and thus the method to get rid of disorders in TBCIs is highly desirable. Here we use intralayer exchange interactions up to the third nearest neighbors without empirical parameters and very accurate interlayer exchange interactions to study the magnetic states of TBCIs. We propose the functions of interlayer exchange interactions obtained using first-principles calculations and stored in symmetry-adapted artificial neural networks. Based on them, the subsequent Landau-Lifshitz-Gillbert equation calculations explain the disorderly distributed FM-AFM domains in TBCIs with small twist angles and predict the orderly distributed skyrmions in TBCIs with large twist angles. This novel twisted two-dimensional bilayer magnet can be used to design memory devices, monochromatic spin wave generators and many kinds of skyrmion lattices.


title: AEON: A Method for Automatic Evaluation of NLP Test Cases

abstract: Due to the labor-intensive nature of manual test oracle construction, various automated testing techniques have been proposed to enhance the reliability of Natural Language Processing (NLP) software. In theory, these techniques mutate an existing test case (e.g., a sentence with its label) and assume the generated one preserves an equivalent or similar semantic meaning and thus, the same label. However, in practice, many of the generated test cases fail to preserve similar semantic meaning and are unnatural (e.g., grammar errors), which leads to a high false alarm rate and unnatural test cases. Our evaluation study finds that 44% of the test cases generated by the state-of-the-art (SOTA) approaches are false alarms. These test cases require extensive manual checking effort, and instead of improving NLP software, they can even degrade NLP software when utilized in model training. To address this problem, we propose AEON for Automatic Evaluation Of NLP test cases. For each generated test case, it outputs scores based on semantic similarity and language naturalness. We employ AEON to evaluate test cases generated by four popular testing techniques on five datasets across three typical NLP tasks. The results show that AEON aligns the best with human judgment. In particular, AEON achieves the best average precision in detecting semantic inconsistent test cases, outperforming the best baseline metric by 10%. In addition, AEON also has the highest average precision of finding unnatural test cases, surpassing the baselines by more than 15%. Moreover, model training with test cases prioritized by AEON leads to models that are more accurate and robust, demonstrating AEON's potential in improving NLP software.


title: Exploiting Variational Domain-Invariant User Embedding for Partially Overlapped Cross Domain Recommendation

abstract: Cross-Domain Recommendation (CDR) has been popularly studied to utilize different domain knowledge to solve the cold-start problem in recommender systems. Most of the existing CDR models assume that both the source and target domains share the same overlapped user set for knowledge transfer. However, only few proportion of users simultaneously activate on both the source and target domains in practical CDR tasks. In this paper, we focus on the Partially Overlapped Cross-Domain Recommendation (POCDR) problem, that is, how to leverage the information of both the overlapped and non-overlapped users to improve recommendation performance. Existing approaches cannot fully utilize the useful knowledge behind the non-overlapped users across domains, which limits the model performance when the majority of users turn out to be non-overlapped. To address this issue, we propose an end-to-end dual-autoencoder with Variational Domain-invariant Embedding Alignment (VDEA) model, a cross-domain recommendation framework for the POCDR problem, which utilizes dual variational autoencoders with both local and global embedding alignment for exploiting domain-invariant user embedding. VDEA first adopts variational inference to capture collaborative user preferences, and then utilizes Gromov-Wasserstein distribution co-clustering optimal transport to cluster the users with similar rating interaction behaviors. Our empirical studies on Douban and Amazon datasets demonstrate that VDEA significantly outperforms the state-of-the-art models, especially under the POCDR setting.


title: Emergence and Dynamical Stability of Charge Time-Crystal in a Current-Carrying Quantum Dot Simulator

abstract: Periodically-driven open quantum systems that never thermalize exhibit a discrete time-crystal behavior, a non-equilibrium quantum phenomenon that has shown promise in quantum information processing applications. Measurements of time-crystallinity are currently limited to (magneto-) optical experiments in atom-cavity systems and spin-systems making it an indirect measurement. We theoretically show that time-crystallinity can be measured directly in the charge-current from a spin-less Hubbard ladder, which can be simulated on a quantum-dot array. We demonstrate that one can dynamically tune the system out and then back into the time-crystal phase, proving its robustness against external forcings. These findings motivate further theoretical and experimental efforts to simulate the time-crystal phenomena in current-carrying nano-scale systems.

categories: cond-mat.mes-hall cond-mat.stat-mech cond-mat.str-el quant-ph


title: Migdal-Eliashberg theory as a classical spin chain

abstract: We formulate the Migdal-Eliashberg theory of electron-phonon interactions in terms of classical spins by mapping the free energy to a Heisenberg spin chain in a Zeeman magnetic field. Spin components are energy-integrated normal and anomalous Green's functions and sites of the chain are fermionic Matsubara frequencies. The Zeeman field grows linearly with the spin coordinate and competes with ferromagnetic spin-spin interaction that falls off as the square of the inverse distance. The spin-chain representation makes a range of previously unknown properties plain to see. In particular, infinitely many new solutions of the Eliashberg equations both in the normal and superconducting states emerge at strong coupling. These saddle points of the free-energy functional correspond to spin flips. We argue that they are also fixed points of kinetic equations and play an essential role in far from equilibrium dynamics of strongly coupled superconductors. Up to an overall phase, the frequency-dependent gap function that minimizes the free energy must be non-negative. There are strong parallels between our Eliashberg spins and Anderson pseudospins, though the two sets of spins never coincide.


title: Electron power absorption in capacitively coupled neon-oxygen plasmas: a comparison of experimental and computational results

abstract: Phase Resolved Optical Emission Spectroscopy (PROES) measurements combined with 1d3v Particle-in-Cell/Monte Carlo Collisions (PIC/MCC) simulations are used to study the electron power absorption and excitation/ionization dynamics in capacitively coupled plasmas (CCPs) in mixtures of neon and oxygen gases. The study is performed for a geometrically symmetric CCP reactor with a gap length of 2.5 cm at a driving frequency of 10~MHz and a peak-to-peak voltage of 350 V. The pressure of the gas mixture is varied between 15 Pa and 500 Pa, while the neon/oxygen concentration is tuned between 10% and 90%. For all discharge conditions, the spatio-temporal distribution of the electron-impact excitation rate from the Ne ground state into the Ne $\rm{2p^53p_0}$ state measured by PROES and obtained from PIC/MCC simulations show good qualitative agreement. Based on the emission/excitation patterns, multiple operation regimes are identified. Localized bright emission features at the bulk boundaries, caused by local maxima in the electronegativity are found at high pressures and high O$_2$ concentrations. The relative contributions of the ambipolar and the Ohmic electron power absorption are found to vary strongly with the discharge parameters: the Ohmic power absorption is enhanced by both the high collisionality at high pressures and the high electronegativity at low pressures. In the wide parameter regime covered in this study, the PROES measurements are found to accurately represent the ionization dynamics, i.e., the discharge operation mode. This work represents also a successful experimental validation of the discharge model developed for neon-oxygen CCPs.


title: UniHeap: Managing Persistent Objects Across Managed Runtimes for Non-Volatile Memory

abstract: Byte-addressable, non-volatile memory (NVM) is emerging as a promising technology. To facilitate its wide adoption, employing NVM in managed runtimes like JVM has proven to be an effective approach (i.e., managed NVM). However, such an approach is runtime specific, which lacks a generic abstraction across different managed languages. Similar to the well-known filesystem primitives that allow diverse programs to access same files via the block I/O interface, managed NVM deserves the same system-wide property for persistent objects across managed runtimes with low overhead. In this paper, we present UniHeap, a new NVM framework for managing persistent objects. It proposes a unified persistent object model that supports various managed languages, and manages NVM within a shared heap that enables cross-language persistent object sharing. UniHeap reduces the object persistence overhead by managing the shared heap in a log-structured manner and coalescing object updates during the garbage collection. We implement UniHeap as a generic framework and extend it to different managed runtimes that include HotSpot JVM, cPython, and JavaScript engine SpiderMonkey. We evaluate UniHeap with a variety of applications, such as key-value store and transactional database. Our evaluation shows that UniHeap significantly outperforms state-of-the-art object sharing approaches, while introducing negligible overhead to the managed runtimes.


title: Personalized Adversarial Data Augmentation for Dysarthric and Elderly Speech Recognition

abstract: Despite the rapid progress of automatic speech recognition (ASR) technologies targeting normal speech, accurate recognition of dysarthric and elderly speech remains highly challenging tasks to date. It is difficult to collect large quantities of such data for ASR system development due to the mobility issues often found among these users. To this end, data augmentation techniques play a vital role. In contrast to existing data augmentation techniques only modifying the speaking rate or overall shape of spectral contour, fine-grained spectro-temporal differences between dysarthric, elderly and normal speech are modelled using a novel set of speaker dependent (SD) generative adversarial networks (GAN) based data augmentation approaches in this paper. These flexibly allow both: a) temporal or speed perturbed normal speech spectra to be modified and closer to those of an impaired speaker when parallel speech data is available; and b) for non-parallel data, the SVD decomposed normal speech spectral basis features to be transformed into those of a target elderly speaker before being re-composed with the temporal bases to produce the augmented data for state-of-the-art TDNN and Conformer ASR system training. Experiments are conducted on four tasks: the English UASpeech and TORGO dysarthric speech corpora; the English DementiaBank Pitt and Cantonese JCCOCC MoCA elderly speech datasets. The proposed GAN based data augmentation approaches consistently outperform the baseline speed perturbation method by up to 0.91% and 3.0% absolute (9.61% and 6.4% relative) WER reduction on the TORGO and DementiaBank data respectively. Consistent performance improvements are retained after applying LHUC based speaker adaptation.


title: Embodiment Enables Non-Predictive Ways of Coping with Self-Caused Sensory Stimuli

abstract: Living systems process sensory data to facilitate adaptive behaviour. A given sensor can be stimulated as the result of internally driven activity, or by purely external (environmental) sources. It is clear that these inputs are processed differently - have you ever tried tickling yourself? The canonical explanation of this difference is that when the brain sends a signal that would result in motor activity, it uses a copy of that signal to predict the sensory consequences of the resulting motor activity. The predicted sensory input is then subtracted from the actual sensory input, resulting in attenuation of the stimuli. To critically evaluate this idea, and investigate when non-predictive solutions may be viable, we implement a computational model of a simple embodied system with self-caused sensorimotor dynamics, and analyse how controllers successfully accomplish tasks in this model. We find that in these simple systems, solutions that regulate behaviour to control self-caused sensory inputs tend to emerge, rather than solutions which predict and filter out self-caused inputs. In some cases, solutions depend on the presence of these self-caused inputs.


title: Heat kernel estimate in a conical singular space

abstract: Let $(X,g)$ be a product cone with the metric $g=dr^2+r^2h$, where $X=C(Y)=(0,\infty)_r\times Y$ and the cross section $Y$ is a $(n-1)$-dimensional closed Riemannian manifold $(Y,h)$. We study the upper boundedness of heat kernel associated with the operator $L_V=-\Delta_g+V_0 r^{-2}$, where $-\Delta_g$ is the positive Friedrichs extension Laplacian on $X$ and $V=V_0(y) r^{-2}$ and $V_0\in\mathcal{C}^\infty(Y)$ is a real function such that the operator $-\Delta_h+V_0+(n-2)^2/4$ is a strictly positive operator on $L^2(Y)$.The new ingredient of the proof is the Hadamard parametrix and finite propagation speed of wave operator on $Y$.


title: FRIH: Fine-grained Region-aware Image Harmonization

abstract: Image harmonization aims to generate a more realistic appearance of foreground and background for a composite image. Existing methods perform the same harmonization process for the whole foreground. However, the implanted foreground always contains different appearance patterns. All the existing solutions ignore the difference of each color block and losing some specific details. Therefore, we propose a novel global-local two stages framework for Fine-grained Region-aware Image Harmonization (FRIH), which is trained end-to-end. In the first stage, the whole input foreground mask is used to make a global coarse-grained harmonization. In the second stage, we adaptively cluster the input foreground mask into several submasks by the corresponding pixel RGB values in the composite image. Each submask and the coarsely adjusted image are concatenated respectively and fed into a lightweight cascaded module, adjusting the global harmonization performance according to the region-aware local feature. Moreover, we further designed a fusion prediction module by fusing features from all the cascaded decoder layers together to generate the final result, which could utilize the different degrees of harmonization results comprehensively. Without bells and whistles, our FRIH algorithm achieves the best performance on iHarmony4 dataset (PSNR is 38.19 dB) with a lightweight model. The parameters for our model are only 11.98 M, far below the existing methods.


title: Cascaded forward Brillouin lasing in a chalcogenide whispering gallery mode microresonator

abstract: We report the first observation of cascaded forward stimulated Brillouin scattering in a microresonator platform. We have demonstrated 25 orders of intramodal Stokes beams separated by a Brillouin shift of 34.5 MHz at a sub-milliwatt threshold at 1550 nm. An As$_2$S$_3$ microsphere of diameter 125 $\mu m$ with quality factor $1\times 10^6$ was used for this demonstration. Theoretical modeling is used to support our experimental observations of Brillouin shift and threshold power. We expect our work will advance the field of forward stimulated Brillouin scattering in integrated photonics with applications in gas sensing and photonic radio frequency sources.


title: A microstructure estimation Transformer inspired by sparse representation for diffusion MRI

abstract: Diffusion magnetic resonance imaging (dMRI) is an important tool in characterizing tissue microstructure based on biophysical models, which are complex and highly non-linear. Resolving microstructures with optimization techniques is prone to estimation errors and requires dense sampling in the q-space. Deep learning based approaches have been proposed to overcome these limitations. Motivated by the superior performance of the Transformer, in this work, we present a learning-based framework based on Transformer, namely, a Microstructure Estimation Transformer with Sparse Coding (METSC) for dMRI-based microstructure estimation with downsampled q-space data. To take advantage of the Transformer while addressing its limitation in large training data requirements, we explicitly introduce an inductive bias - model bias into the Transformer using a sparse coding technique to facilitate the training process. Thus, the METSC is composed with three stages, an embedding stage, a sparse representation stage, and a mapping stage. The embedding stage is a Transformer-based structure that encodes the signal to ensure the voxel is represented effectively. In the sparse representation stage, a dictionary is constructed by solving a sparse reconstruction problem that unfolds the Iterative Hard Thresholding (IHT) process. The mapping stage is essentially a decoder that computes the microstructural parameters from the output of the second stage, based on the weighted sum of normalized dictionary coefficients where the weights are also learned. We tested our framework on two dMRI models with downsampled q-space data, including the intravoxel incoherent motion (IVIM) model and the neurite orientation dispersion and density imaging (NODDI) model. The proposed method achieved up to 11.25 folds of acceleration in scan time and outperformed the other state-of-the-art learning-based methods.


title: Modularity in NEAT Reinforcement Learning Networks

abstract: Modularity is essential to many well-performing structured systems, as it is a useful means of managing complexity [8]. An analysis of modularity in neural networks produced by machine learning algorithms can offer valuable insight into the workings of such algorithms and how modularity can be leveraged to improve performance. However, this property is often overlooked in the neuroevolutionary literature, so the modular nature of many learning algorithms is unknown. This property was assessed on the popular algorithm "NeuroEvolution of Augmenting Topologies" (NEAT) for standard simulation benchmark control problems due to NEAT's ability to optimise network topology. This paper shows that NEAT networks seem to rapidly increase in modularity over time with the rate and convergence dependent on the problem. Interestingly, NEAT tends towards increasingly modular networks even when network fitness converges. It was shown that the ideal level of network modularity in the explored parameter space is highly dependent on other network variables, dispelling theories that modularity has a straightforward relationship to network performance. This is further proven in this paper by demonstrating that rewarding modularity directly did not improve fitness.


title: Proving Unsolvability of Set Agreement Task with Epistemic mu-Calculus

abstract: This paper shows, in the framework of the logical method,the unsolvability of $k$-set agreement task by devising a suitable formula of epistemic logic. The unsolvability of $k$-set agreement task is a well-known fact, which is a direct consequence of Sperner's lemma, a classic result from combinatorial topology. However, Sperner's lemma does not provide a good intuition for the unsolvability,hiding it behind the elegance of its combinatorial statement. The logical method has a merit that it can account for the reason of unsolvability by a concrete formula, but no epistemic formula for the general unsolvability result for $k$-set agreement task has been presented so far. We employ a variant of epistemic $\mu$-calculus, which extends the standard epistemic logic with distributed knowledge operators and propositional fixpoints, as the formal language of logic. With these extensions, we can provide an epistemic $\mu$-calculus formula that mentions higher-dimensional connectivity, which is essential in the original proof of Sperner's lemma, and thereby show that $k$-set agreement tasks are not solvable even by multi-round protocols. Furthermore, we also show that the same formula applies to establish the unsolvability for $k$-concurrency, a submodel of the 2-round protocol.


title: Rigid and Separable Algebras in Fusion 2-Categories

abstract: Rigid monoidal 1-categories are ubiquitous throughout quantum algebra and low-dimensional topology. We study a generalization of this notion, namely rigid algebras in an arbitrary monoidal 2-category. Examples of rigid algebras include $G$-graded fusion 1-categories, and $G$-crossed fusion 1-categories. We explore the properties of the 2-categories of modules and of bimodules over a rigid algebra, by giving a criterion for the existence of right and left adjoints. Then, we consider separable algebras, which are particularly well-behaved rigid algebras. Specifically, given a fusion 2-category, we prove that the 2-categories of modules and of bimodules over a separable algebra are finite semisimple. Finally, we define the dimension of a connected rigid algebra in a fusion 2-category, and prove that such an algebra is separable if and only if its dimension is non-zero.


title: R5: Rule Discovery with Reinforced and Recurrent Relational Reasoning

abstract: Systematicity, i.e., the ability to recombine known parts and rules to form new sequences while reasoning over relational data, is critical to machine intelligence. A model with strong systematicity is able to train on small-scale tasks and generalize to large-scale tasks. In this paper, we propose R5, a relational reasoning framework based on reinforcement learning that reasons over relational graph data and explicitly mines underlying compositional logical rules from observations. R5 has strong systematicity and being robust to noisy data. It consists of a policy value network equipped with Monte Carlo Tree Search to perform recurrent relational prediction and a backtrack rewriting mechanism for rule mining. By alternately applying the two components, R5 progressively learns a set of explicit rules from data and performs explainable and generalizable relation prediction. We conduct extensive evaluations on multiple datasets. Experimental results show that R5 outperforms various embedding-based and rule induction baselines on relation prediction tasks while achieving a high recall rate in discovering ground truth rules.


title: Extraction of ergotropy: free energy bound and application to open cycle engines

abstract: The second law of thermodynamics uses change in free energy of macroscopic systems to set a bound on performed work. Ergotropy plays a similar role in microscopic scenarios, and is defined as the maximum amount of energy that can be extracted from a system by a unitary operation. In this analysis, we quantify how much ergotropy can be induced on a system as a result of system's interaction with a thermal bath, with a perspective of using it as a source of work performed by microscopic machines. We provide the fundamental bound on the amount of ergotropy which can be extracted from environment in this way. The bound is expressed in terms of the non-equilibrium free energy difference and can be saturated in the limit of infinite dimension of the system's Hamiltonian. The ergotropy extraction process leading to this saturation is numerically analyzed for finite dimensional systems. Furthermore, we apply the idea of extraction of ergotropy from environment in a design of a new class of stroke heat engines, which we label open-cycle engines. Efficiency and work production of these machines can be completely optimized for systems of dimensions 2 and 3, and numerical analysis is provided for higher dimensions.


title: Simple and Effective Relation-based Embedding Propagation for Knowledge Representation Learning

abstract: Relational graph neural networks have garnered particular attention to encode graph context in knowledge graphs (KGs). Although they achieved competitive performance on small KGs, how to efficiently and effectively utilize graph context for large KGs remains an open problem. To this end, we propose the Relation-based Embedding Propagation (REP) method. It is a post-processing technique to adapt pre-trained KG embeddings with graph context. As relations in KGs are directional, we model the incoming head context and the outgoing tail context separately. Accordingly, we design relational context functions with no external parameters. Besides, we use averaging to aggregate context information, making REP more computation-efficient. We theoretically prove that such designs can avoid information distortion during propagation. Extensive experiments also demonstrate that REP has significant scalability while improving or maintaining prediction quality. Notably, it averagely brings about 10% relative improvement to triplet-based embedding methods on OGBL-WikiKG2 and takes 5%-83% time to achieve comparable results as the state-of-the-art GC-OTE.


title: ViT5: Pretrained Text-to-Text Transformer for Vietnamese Language Generation

abstract: We present ViT5, a pretrained Transformer-based encoder-decoder model for the Vietnamese language. With T5-style self-supervised pretraining, ViT5 is trained on a large corpus of high-quality and diverse Vietnamese texts. We benchmark ViT5 on two downstream text generation tasks, Abstractive Text Summarization and Named Entity Recognition. Although Abstractive Text Summarization has been widely studied for the English language thanks to its rich and large source of data, there has been minimal research into the same task in Vietnamese, a much lower resource language. In this work, we perform exhaustive experiments on both Vietnamese Abstractive Summarization and Named Entity Recognition, validating the performance of ViT5 against many other pretrained Transformer-based encoder-decoder models. Our experiments show that ViT5 significantly outperforms existing models and achieves state-of-the-art results on Vietnamese Text Summarization. On the task of Named Entity Recognition, ViT5 is competitive against previous best results from pretrained encoder-based Transformer models. Further analysis shows the importance of context length during the self-supervised pretraining on downstream performance across different settings.


title: Flexible quasi-2D inversion of time-domain AEM data, using a wavelet-based complexity measure

abstract: Regularization methods improve the stability of ill-posed inverse problems by introducing some a priori characteristics for the solution such as smoothness or sharpness. In this contribution, we propose a multidimensional, scale-dependent wavelet-based L1-regularization term to cure the ill-posedness of the airborne (time-domain) electromagnetic induction inverse problem. The regularization term is flexible, as it can recover blocky, smooth and tunable in-between inversion models, based on a suitable wavelet basis function. For each orientation, a different wavelet basis function can be used, introducing an additional relative regularization parameter. We propose a calibration method to determine (an educated initial guess for) this relative regularization parameter, which reduces the need to optimize for this parameter, and, consequently, the overall computation time is under control. We apply our novel scheme to a time-domain airborne electromagnetic data set in Belgian saltwater intrusion context, but the scheme could equally apply to any other 2D or 3D geophysical inverse problem.


title: PSI-Vlasov equation

abstract: A new equation for describing physical systems with radiation is obtained in this paper. Examples of such systems can be found in plasma physics, accelerator physics (synchrotron radiation) and astrophysics (gravitational waves). The new equation is written on the basis of the third Vlasov equation for the probability density distribution function of kinematic quantities: coordinates, velocities and accelerations. The constructed new Vlasov PSI - equation makes it possible to describe naturally dissipation systems instead of phenomenological modifications of the second Vlasov equation, and to construct conservative difference schemes in numerical simulation.


title: Blind Deconvolution with Non-smooth Regularization via Bregman Proximal DCAs

abstract: Blind deconvolution is a technique to recover an original signal without knowing a convolving filter. It is naturally formulated as a minimization of a quartic objective function under some assumption. Because its differentiable part does not have a Lipschitz continuous gradient, existing first-order methods are not theoretically supported. In this paper, we employ the Bregman-based proximal methods, whose convergence is theoretically guaranteed under the $L$-smooth adaptable ($L$-smad) property. We first reformulate the objective function as a difference of convex (DC) functions and apply the Bregman proximal DC algorithm (BPDCA). This DC decomposition satisfies the $L$-smad property. The method is extended to the BPDCA with extrapolation (BPDCAe) for faster convergence. When our regularizer has a sufficiently simple structure, each iteration is solved in a closed-form expression, and thus our algorithms solve large-scale problems efficiently. We also provide the stability analysis of the equilibrium and demonstrate the proposed methods through numerical experiments on image deblurring. The results show that BPDCAe successfully recovered the original image and outperformed other existing algorithms.


title: The Factory and the Beehive. IV. A Comprehensive Study of the Rotation X-ray Activity Relation in Praesepe and the Hyades

abstract: X-ray observations of low-mass stars in open clusters are critical to understanding the dependence of magnetic activity on stellar properties and their evolution. Praesepe and the Hyades, two of the nearest, most-studied open clusters, are among the best available laboratories for examining the dependence of magnetic activity on rotation for stars with masses lower than $\approx 1\ M_{\odot}$. We present an updated study of the rotation X-ray activity relation in the two clusters. We updated membership catalogs that combine pre-Gaia catalogs with new catalogs based on Gaia Data Release 2. The resulting catalogs are the most inclusive ones for both clusters: 1739 Praesepe and 1315 Hyades stars. We collected X-ray detections for cluster members, for which we analyzed, re-analyzed, or collated data from ROSAT, the Chandra X-ray Observatory, the Neil Gehrels Swift Observatory, and XMM-Newton. We have detections for 326 Praesepe and 462 Hyades members, of which 273 and 164, respectively, have rotation periods, an increase of 6$\times$ relative to what was previously available. We find that at $\approx$700 Myr, only M dwarfs remain saturated in X-rays, with only tentative evidence for supersaturation. We also find a tight relation between the Rossby number and fractional X-ray luminosity $L_\mathrm{X}/L_\mathrm{bol}$ in unsaturated single members, suggesting a power-law index between $-3.2$ and $-3.9$. Lastly, we find no difference in the coronal parameters between binary and single members. These results provide essential insight into the relative efficiency of magnetic heating of the stars' atmospheres, thereby informing the development of robust age-rotation-activity relations.


title: The State of the White-Light Corona over the Minimum and Ascending Phases of Solar Cycle 25 -- Comparison with Past Cycles

abstract: We report on the state of the corona over the minimum and ascending phases of Solar Cycle (SC) 25 on the basis of the temporal evolutions of its radiance and of the properties of coronal mass ejections (CMEs) as determined from white-light observations performed by the SOHO/LASCO-C2 coronagraph. These evolutions are further compared with those determined during the past two SC. The integrated radiance of the K-corona and the occurrence rate of CMEs closely track the indices/proxies of solar activity, prominently the total magnetic field for the radiance and the radio flux for the CMEs, all undergoing a steep increase during the ascending phase of SC 25. This increase is much steeper than anticipated on the basis of the predicted quasi similarity between SC 25 and 24, and is confirmed by the recent evolution of the sunspot number. The radiance reached the same base level during the minima of SC 24 and 25, but the latitudinal extent of the streamer belt differed, being flatter during the latter minimum and in fact more similar to that of the minimum of SC 23. Phasing the descending branches of SC 23 and 24 led to a duration of SC 24 of 11.0 years, similar to that given by the sunspot number. In contrast, the base level of the occurrence rate of CMEs during the minimum of SC 25 was significantly larger than during the two previous minima. The southern hemisphere is conspicuously more active than the northern one in agreement with several predictions and the current evolution of the hemispheric sunspot numbers. The mean apparent width of CMEs and the number of halo CMEs remains at relatively large, constant levels throughout the early phase of SC 25 implying the persistence of weak total pressure in the heliosphere. These results and the perspective of a corona more active than anticipated are extremely promising for the forthcoming observations by Solar Orbiter and Parker Solar Probe.


title: Experimental demonstration of phase-matching and Sagnac effect in a millimeter-scale wedged resonator gyroscope

abstract: The highly efficient coupling of light from conventional optical components to optical mode volumes lies in the heart of chip-based micro-devices, which is determined by the phase-matching between propagation constants of fiber taper and the whispering-gallery-mode (WGM) of the resonator. Optical gyroscopes, typically realized as fiber-optic gyroscopes and ring-laser gyroscopes, have been the mainstay in diverse applications such as positioning and inertial sensing. Here, the phase-matching is theoretically analyzed and experimentally verified. We observe Sagnac effect in a millimeter-scale wedged resonator gyroscope which has attracted considerable attention and been rapidly promoted in recent years. We demonstrate a bidirectional pump and probe scheme, which directly measures the frequency beat caused by the Sagnac effect. We establish the linear response between the detected beat frequency and the rotation velocity. The clockwise and counterclockwise rotation can also be distinguished according to the value of the frequency beat. The experimental results verify the feasibility of developing gyroscope in WGM resonator system and pave the way for future development.


title: Disjoint Total Dominating Sets in Near-Triangulations

abstract: We show that every simple planar near-triangulation with minimum degree at least three contains two disjoint total dominating sets. The class includes all simple planar triangulations other than the triangle. This affirms a conjecture of Goddard and Henning [Thoroughly dispersed colorings, J. Graph Theory, 88 (2018) 174-191].


title: A New Hybrid Multi-Objective Scheduling Model for Hierarchical Hub and Flexible Flow Shop Problems

abstract: Technologies and lifestyles have been increasingly geared toward consumerism in recent years. Accordingly, it is both the price and the delivery time that matter most to the ultimate customers of commercial enterprises. Consequently, the importance of having an optimal delivery time is becoming increasingly evident these days. Scheduling can be used to optimize supply chains and production systems in this manner, which is one practical method for lowering costs and boosting productivity. This paper suggests a multi-objective scheduling model for hierarchical hub structures (HHS) with three levels of service. The factory and customers hub (second level) and central are on the first level in which the factory has a Flexible Flow Shop (FFS) environment. The noncentral hub (third level) is responsible for the delivery of products made in the factory to customers. Customer nodes and factories are connected separately to the second level, and the non-central hubs are connected to the third level. The model's objective is to minimize transportation and production costs and product arrival times. To validate and evaluate the model, small instances have been solved and analyzed in detail with the weighted sum and e-constraint methods. Consequently, based on the ideal mean distance (MID) metric, the two methods were compared for the designed instances. As NP-hardness causes the previously proposed methods to solve large-scale problems to be time-consuming, a meta-heuristic method was developed to solve the large-scale problem.