title: Entanglement and Quantum Correlation Measures from a Minimum Distance Principle

abstract: Entanglement, and quantum correlation, are precious resources for quantum technologies implementation based on quantum information science, such as, for instance, quantum communication, quantum computing, and quantum interferometry. Nevertheless, to our best knowledge, a directly computable measure for the entanglement of multipartite mixed-states is still lacking. In this work, {\it i)} we derive from a minimum distance principle, an explicit measure able to quantify the degree of quantum correlation for pure or mixed multipartite states; {\it ii)} through a regularization process of the density matrix, we derive an entanglement measure from such quantum correlation measure; {\it iii)} we prove that our entanglement measure is \textit{faithful} in the sense that it vanishes only on the set of separable states. Then, a comparison of the proposed measures, of quantum correlation and entanglement, allows one to distinguish between quantum correlation detached from entanglement and the one induced by entanglement, hence to define the set of separable but non-classical states. Since all the relevant quantities in our approach, descend from the geometry structure of the projective Hilbert space, the proposed method is of general application. Finally, we apply the derived measures as an example to a general Bell diagonal state and to the Werner states, for which our regularization procedure is easily tractable.


title: Network change point localisation under local differential privacy

abstract: Network data are ubiquitous in our daily life, containing rich but often sensitive information. In this paper, we expand the current static analysis of privatised networks to a dynamic framework by considering a sequence of networks with potential change points. We investigate the fundamental limits in consistently localising change points under both node and edge privacy constraints, demonstrating interesting phase transition in terms of the signal-to-noise ratio condition, accompanied by polynomial-time algorithms. The private signal-to-noise ratio conditions quantify the costs of the privacy for change point localisation problems and exhibit a different scaling in the sparsity parameter compared to the non-private counterparts. Our algorithms are shown to be optimal under the edge LDP constraint up to log factors. Under node LDP constraint, a gap exists between our upper bound and lower bound and we leave it as an interesting open problem.


title: Metastable structure of photoexcited WO$_{3}$ determined by the pump--probe extended X-ray absorption fine structure spectroscopy and constrained thorough search analysis

abstract: We have determined the local structure of photoexcited metastable WO$_3$ created 150 ps after 400 nm laser irradiation by the pulse pump--probe L$_3$-edge extended X-ray absorption fine structure spectroscopy and the constrained thorough search analysis. We have found a highly distorted octahedral local structure with one of the shortest W=O bonds being further shortened to 1.66 \AA while the other five bonds were elongated even though theoretical calculations predicted the reverse change. We discuss this contradiction and propose a possible structure for the metastable state.


title: Trajectory Inference via Mean-field Langevin in Path Space

abstract: Trajectory inference aims at recovering the dynamics of a population from snapshots of its temporal marginals. To solve this task, a min-entropy estimator relative to the Wiener measure in path space was introduced by Lavenant et al. arXiv:2102.09204, and shown to consistently recover the dynamics of a large class of drift-diffusion processes from the solution of an infinite dimensional convex optimization problem. In this paper, we introduce a grid-free algorithm to compute this estimator. Our method consists in a family of point clouds (one per snapshot) coupled via Schr\"odinger bridges which evolve with noisy gradient descent. We study the mean-field limit of the dynamics and prove its global convergence to the desired estimator. Overall, this leads to an inference method with end-to-end theoretical guarantees that solves an interpretable model for trajectory inference. We also present how to adapt the method to deal with mass variations, a useful extension when dealing with single cell RNA-sequencing data where cells can branch and die.


title: The Sky Above The Clouds

abstract: Technology ecosystems often undergo significant transformations as they mature. For example, telephony, the Internet, and PCs all started with a single provider, but in the United States each is now served by a competitive market that uses comprehensive and universal technology standards to provide compatibility. This white paper presents our view on how the cloud ecosystem, barely over fifteen years old, could evolve as it matures.


title: Causal completions as Lorentzian pre-length spaces

abstract: In this work we revisit the notion of the (future) causal completion of a globally hyperbolic spacetime and endow it with the structure of a Lorentzian pre-length space. We further carry out this construction for a certain class of generalized Robertson-Walker spacetimes.


title: Robotic Computing on FPGAs: Current Progress, Research Challenges, and Opportunities

abstract: Robotic computing has reached a tipping point, with a myriad of robots (e.g., drones, self-driving cars, logistic robots) being widely applied in diverse scenarios. The continuous proliferation of robotics, however, critically depends on efficient computing substrates, driven by real-time requirements, robotic size-weight-and-power constraints, cybersecurity considerations, and dynamically changing scenarios. Within all platforms, FPGA is able to deliver both software and hardware solutions with low power, high performance, reconfigurability, reliability, and adaptivity characteristics, serving as the promising computing substrate for robotic applications. This paper highlights the current progress, design techniques, challenges, and open research challenges in the domain of robotic computing on FPGAs.


title: Interpretable Stochastic Model Predictive Control using Distributional Reinforced Estimation for Quadrotor Tracking Systems

abstract: This paper presents a novel trajectory tracker for autonomous quadrotor navigation in dynamic and complex environments. The proposed framework integrates a distributional Reinforcement Learning (RL) estimator for unknown aerodynamic effects into a Stochastic Model Predictive Controller (SMPC) for trajectory tracking. Aerodynamic effects derived from drag forces and moment variations are difficult to model directly and accurately. Most current quadrotor tracking systems therefore treat them as simple `disturbances' in conventional control approaches. We propose Quantile-approximation-based Distributional Reinforced-disturbance-estimator, an aerodynamic disturbance estimator, to accurately identify disturbances, i.e., uncertainties between the true and estimated values of aerodynamic effects. Simplified Affine Disturbance Feedback is employed for control parameterization to guarantee convexity, which we then integrate with a SMPC to achieve sufficient and non-conservative control signals. We demonstrate our system to improve the cumulative tracking errors by at least 66% with unknown and diverse aerodynamic forces compared with recent state-of-the-art. Concerning traditional Reinforcement Learning's non-interpretability, we provide convergence and stability guarantees of Distributional RL and SMPC, respectively, with non-zero mean disturbances.


title: Network efficiency of spatial systems with fractal morphology: a geometric graphs approach

abstract: The functional features of spatial networks depend upon a non-trivial relationship between the topological and physical structure. Here, we explore that relationship for spatial networks with radial symmetry and disordered fractal morphology. Under a geometric graphs approach, we quantify the effectiveness of the exchange of information in the system from center to perimeter and over the entire network structure. We mainly consider two paradigmatic models of disordered fractal formation, the Ballistic Aggregation and Diffusion-Limited Aggregation models, and complementary, the Viscek and Hexaflake fractals, and Kagome and Hexagonal lattices. First, we show that complex tree morphologies provide important advantages over regular configurations, such as an invariant structural cost for different fractal dimensions. Furthermore, although these systems are known to be scale-free in space, they have bounded degree distributions for different values of an euclidean connectivity parameter and, therefore, do not represent ordinary scale-free networks. Finally, compared to regular structures, fractal trees are fragile and overall inefficient as expected, however, we show that this efficiency can become similar to that of a robust hexagonal lattice, at a similar cost, by just considering a very short euclidean connectivity beyond first neighbors.


title: Morita equivalence for graded rings

abstract: The classical Morita Theorem for rings established the equivalence of three statements, involving categorical equivalences, isomorphisms between corners of finite matrix rings, and bimodule homomorphisms. A fourth equivalent statement (established later) involves an isomorphism between infinite matrix rings. In our main result, we establish the equivalence of analogous statements involving graded categorical equivalences, graded isomorphisms between corners of finite matrix rings, graded bimodule homomorphisms, and graded isomorphisms between infinite matrix rings.


title: Dark matter or strong gravity?

abstract: We show that Newton's gravitational potential, augmented by a logarithmic term, partly or wholly mitigates the need for dark matter. As a bonus, it also explains why MOND seems to work at galactic scales. We speculate on the origin of such a potential.


title: Evaluating Generalizability of Fine-Tuned Models for Fake News Detection

abstract: The Covid-19 pandemic has caused a dramatic and parallel rise in dangerous misinformation, denoted an `infodemic' by the CDC and WHO. Misinformation tied to the Covid-19 infodemic changes continuously; this can lead to performance degradation of fine-tuned models due to concept drift. Degredation can be mitigated if models generalize well-enough to capture some cyclical aspects of drifted data. In this paper, we explore generalizability of pre-trained and fine-tuned fake news detectors across 9 fake news datasets. We show that existing models often overfit on their training dataset and have poor performance on unseen data. However, on some subsets of unseen data that overlap with training data, models have higher accuracy. Based on this observation, we also present KMeans-Proxy, a fast and effective method based on K-Means clustering for quickly identifying these overlapping subsets of unseen data. KMeans-Proxy improves generalizability on unseen fake news datasets by 0.1-0.2 f1-points across datasets. We present both our generalizability experiments as well as KMeans-Proxy to further research in tackling the fake news problem.


title: Characterization of blowups via time change in a mean-field neural network

abstract: Idealized networks of integrate-and-fire neurons with impulse-like interactions obey McKean-Vlasov diffusion equations in the mean-field limit. These equations are prone to blowups: for a strong enough interaction coupling, the mean-field rate of interaction diverges in finite time with a finite fraction of neurons spiking simultaneously, thereby marking a macroscopic synchronous event. Characterizing these blowup singularities analytically is the key to understanding the emergence and persistence of spiking synchrony in mean-field neural models. However, such a resolution is hindered by the first-passage nature of the mean-field interaction in classically considered dynamics. Here, we introduce a delayed Poissonian variation of the classical integrate-and-fire dynamics for which blowups are analytically well defined in the mean-field limit. Albeit fundamentally nonlinear, we show that this delayed Poissonian dynamics can be transformed into a noninteracting linear dynamics via a deterministic time change. We specify this time change as the solution of a nonlinear, delayed integral equation via renewal analysis of first-passage problems. This formulation also reveals that the fraction of simultaneously spiking neurons can be determined via a self-consistent, probability-conservation principle about the time-changed linear dynamics. We utilize the proposed framework in a companion paper to show analytically the existence of singular mean-field dynamics with sustained synchrony for large enough interaction coupling.


title: Unidirectional mode selection in bistable quantum cascade ring lasers

abstract: Ideal ring resonators are characterized by travelling-wave counterpropagating modes, but in practice travelling waves can only be realized under unidirectional operation, which has proved elusive. Here, we have designed and fabricated a monolithic quantum cascade ring laser coupled to an active waveguide that allows for robust, deterministic and controllable unidirectional operation. Spontaneous emission injection through the active waveguide enables dynamical switching between the clockwise and counterclockwise states of the ring laser with as little as 1.6% modulation of the electrical input. We show that this behavior stems from a perturbation in the bistable dynamics of the ring laser. In addition to switching and bistability, our novel coupler design for quantum cascade ring lasers offers an efficient mechanism for outcoupling and light detection.


title: Separating the online and offline DP-chromatic numbers

abstract: The DP-coloring problem is a generalization of the list-coloring problem in which the goal is to find an independent transversal in a certain topological cover of a graph $G$. In the online DP-coloring problem, the cover of $G$ is revealed one component at a time, and the independent transversal of the cover must be constructed in parts based on incomplete information. Kim, Kostochka, Li, and Zhu asked whether the chromatic numbers corresponding to these two graph coloring problems can have an arbitrarily large difference in a single graph. We answer this question in the affirmative by constructing graphs for which the gap between the online DP-chromatic number and the offline DP-chromatic number is arbitrarily large.


title: The Chevalley-Weil formula on nodal curves

abstract: In this paper, we study the eigensubspace of the space of the holomorphic differentials of nodal curves over the algebracally closed field under the action of finite automorphism groups. We compute the Chevalley- Weil formula with some additional contidions of the quotient curve and give some examples.


title: Exponentially Stable Observer-based Controller for VTOL-UAVs without Velocity Measurements

abstract: There is a great demand for vision-based robotics solutions that can operate using Global Positioning Systems (GPS), but are also robust against GPS signal loss and gyroscope failure. This paper investigates the estimation and tracking control in application to a Vertical Take-Off and Landing (VTOL) Unmanned Aerial Vehicle (UAV) in six degrees of freedom (6 DoF). A full state observer for the estimation of VTOL-UAV motion parameters (attitude, angular velocity, position, and linear velocity) is proposed on the Lie Group of $\mathbb{SE}_{2}\left(3\right)\times\mathbb{R}^{3}$ $=\mathbb{SO}\left(3\right)\times\mathbb{R}^{9}$ with almost globally exponentially stable closed loop error signals. Thereafter, a full state observer-based controller for the VTOL-UAV motion parameters is proposed on the Lie Group with a guaranteed almost global exponential stability. The proposed approach produces good results without the need for angular and linear velocity measurements (without a gyroscope and GPS signals) utilizing only a set of known landmarks obtained by a vision-aided unit (monocular or stereo camera). The equivalent quaternion representation on $\mathbb{S}^{3}\times\mathbb{R}^{9}$ is provided in the Appendix. The observer-based controller is presented in a continuous form while its discrete version is tested using a VTOL-UAV simulation that incorporates large initial error and uncertain measurements. The proposed observer is additionally tested experimentally on a real-world UAV flight dataset. Keywords: Unmanned aerial vehicle, nonlinear filter algorithm, autonomous navigation, tracking control, feature measurement, observer-based controller, localization, exponential stability, asymptotic stability, inertial measurement unit (IMU), Global Positioning Systems (GPS), vision aided inertial navigation system.


title: Evaluating Uncertainty Calibration for Open-Set Recognition

abstract: Despite achieving enormous success in predictive accuracy for visual classification problems, deep neural networks (DNNs) suffer from providing overconfident probabilities on out-of-distribution (OOD) data. Yet, accurate uncertainty estimation is crucial for safe and reliable robot autonomy. In this paper, we evaluate popular calibration techniques for open-set conditions in a way that is distinctly different from the conventional evaluation of calibration methods on OOD data. Our results show that closed-set DNN calibration approaches are much less effective for open-set recognition, which highlights the need to develop new DNN calibration methods to address this problem.


title: Ionic forces and stress tensor in all-electron DFT calculations using enriched finite element basis

abstract: The enriched finite element basis -- wherein the finite element basis is enriched with atom-centered numerical functions -- has recently been shown to be a computationally efficient basis for systematically convergent all-electron DFT ground-state calculations. In this work, we present the expressions to compute variationally consistent ionic forces and stress tensor for all-electron DFT calculations in the enriched finite element basis. In particular, we extend the formulation of configurational forces in Motamarri & Gavini (Phys. Rev. B 2018) to the enriched finite element basis and elucidate the additional contributions arising from the enrichment functions. We demonstrate the accuracy of the formulation by comparing the computed forces and stresses for various benchmark systems with those obtained from finite-differencing the ground-state energy. Further, we also benchmark our calculations against Gaussian basis for molecular systems and against the LAPW+lo basis for periodic systems.


title: GLaMa: Joint Spatial and Frequency Loss for General Image Inpainting

abstract: The purpose of image inpainting is to recover scratches and damaged areas using context information from remaining parts. In recent years, thanks to the resurgence of convolutional neural networks (CNNs), image inpainting task has made great breakthroughs. However, most of the work consider insufficient types of mask, and their performance will drop dramatically when encountering unseen masks. To combat these challenges, we propose a simple yet general method to solve this problem based on the LaMa image inpainting framework, dubbed GLaMa. Our proposed GLaMa can better capture different types of missing information by using more types of masks. By incorporating more degraded images in the training phase, we can expect to enhance the robustness of the model with respect to various masks. In order to yield more reasonable results, we further introduce a frequency-based loss in addition to the traditional spatial reconstruction loss and adversarial loss. In particular, we introduce an effective reconstruction loss both in the spatial and frequency domain to reduce the chessboard effect and ripples in the reconstructed image. Extensive experiments demonstrate that our method can boost the performance over the original LaMa method for each type of mask on FFHQ, ImageNet, Places2 and WikiArt dataset. The proposed GLaMa was ranked first in terms of PSNR, LPIPS and SSIM in the NTIRE 2022 Image Inpainting Challenge Track 1 Unsupervised.


title: Dingle's final main rule, Berry's transition, and Howls' conjecture

abstract: The Stokes phenomenon is the apparent discontinuous change in the form of the asymptotic expansion of a function across certain rays in the complex plane, known as Stokes lines, as additional expansions, pre-factored by exponentially small terms, appear in its representation. It was first observed by G. G. Stokes while studying the asymptotic behaviour of the Airy function. R. B. Dingle proposed a set of rules for locating Stokes lines and continuing asymptotic expansions across them. Included among these rules is the "final main rule" stating that half the discontinuity in form occurs on reaching the Stokes line, and half on leaving it the other side. M. V. Berry demonstrated that, if an asymptotic expansion is terminated just before its numerically least term, the transition between two different asymptotic forms across a Stokes line is effected smoothly and not discontinuously as in the conventional interpretation of the Stokes phenomenon. On a Stokes line, in accordance with Dingle's final main rule, Berry's law predicts a multiplier of $\frac{1}{2}$ for the emerging small exponentials. In this paper, we consider two closely related asymptotic expansions in which the multipliers of exponentially small contributions may no longer obey Dingle's rule: their values can differ from $\frac{1}{2}$ on a Stokes line and can be non-zero only on the line itself. This unusual behaviour of the multipliers is a result of a sequence of higher-order Stokes phenomena. We show that these phenomena are rapid but smooth transitions in the remainder terms of a series of optimally truncated hyperasymptotic re-expansions. To this end, we verify a conjecture due to C. J. Howls.


title: From Cognitive to Computational Modeling: Text-based Risky Decision-Making Guided by Fuzzy Trace Theory

abstract: Understanding, modelling and predicting human risky decision-making is challenging due to intrinsic individual differences and irrationality. Fuzzy trace theory (FTT) is a powerful paradigm that explains human decision-making by incorporating gists, i.e., fuzzy representations of information which capture only its quintessential meaning. Inspired by Broniatowski and Reyna's FTT cognitive model, we propose a computational framework which combines the effects of the underlying semantics and sentiments on text-based decision-making. In particular, we introduce Category-2-Vector to learn categorical gists and categorical sentiments, and demonstrate how our computational model can be optimised to predict risky decision-making in groups and individuals.


abstract: Multiples zeta values and alternating multiple zeta values in positive characteristic were introduced by Thakur and Harada as analogues of classical multiple zeta values of Euler and Euler sums. In this paper we determine all linear relations among alternating multiple zeta values and settle the main goals of these theories. As a consequence we completely establish Zagier-Hoffman's conjectures in positive characteristic formulated by Todd and Thakur which predict the dimension and an explicit basis of the span of multiple zeta values of Thakur of fixed weight.


title: Time Correlation Filtering Reveals Two-Path Electron Quantum Interference in Strong-Field Ionization

abstract: Attosecond dynamics in strong-field tunnel ionization are encoded in intricate holographic patterns in the photoelectron momentum distributions (PMDs). These patterns show the interference between two or more superposed quantum electron trajectories, which are defined by their ionization times and subsequent evolution in the laser field. We determine the ionization time separation between interfering pairs of electron orbits by performing a differential Fourier analysis on the measured momentum spectrum. We identify electron holograms formed by trajectory pairs whose ionization times are separated by less than a single quarter cycle, between a quarter cycle and half cycle, between a half cycle and three fourths of a cycle, and a full cycle apart. We compare our experimental results to the predictions of the Coulomb quantum orbit strong-field approximation (CQSFA), with significant success. We also time-filter the CQSFA trajectory calculations to demonstrate the validity of the technique on spectra with known time correlations. As a general analysis technique, the filter can be applied to all energy- and angularly-resolved datasets to recover time correlations between interfering electron pathways, providing an important tool to analyze any strong-field ionization spectra.


title: Connecting Tables with Allowing Negative Cell Counts

abstract: It is well-known that computing a Markov basis for a discrete loglinear model is very hard in general. Thus, we focus on connecting tables in a fiber via a subset of a Markov basis and in this paper, we consider connecting tables if we allow cell counts in each tale to be $-1$. In this paper we show that if a subset of a Markov basis connects all tables in the fiber which contains a table with all ones, then moves in this subset connect tables in the fiber if we allow cell counts to be $-1$. In addition, we show that in some cases under the no-three-way interaction model, we can connect tables by all basic moves of $2 \times 2 \times 2$ minors with allowing $X_{ijk} \geq -1$. We then apply this Markov Chain Monte Carlo (MCMC) scheme to an empirical data on Naval officer and enlisted population. Our computational experiments show it works well and we end with the conjecture on the no-three-way interaction model.


title: Proxyless Neural Architecture Adaptation for Supervised Learning and Self-Supervised Learning

abstract: Recently, Neural Architecture Search (NAS) methods have been introduced and show impressive performance on many benchmarks. Among those NAS studies, Neural Architecture Transformer (NAT) aims to adapt the given neural architecture to improve performance while maintaining computational costs. However, NAT lacks reproducibility and it requires an additional architecture adaptation process before network weight training. In this paper, we propose proxyless neural architecture adaptation that is reproducible and efficient. Our method can be applied to both supervised learning and self-supervised learning. The proposed method shows stable performance on various architectures. Extensive reproducibility experiments on two datasets, i.e., CIFAR-10 and Tiny Imagenet, present that the proposed method definitely outperforms NAT and is applicable to other models and datasets.


title: The assignments of the bottom mesons within the screened potential model and $^3P_0$ model

abstract: In this work, we calculate the mass spectrum of the bottom mesons with a modified nonrelativistic quark model by involving the screening effect, and explore their strong decay properties within the $^3P_0$ model. Our results suggest that the $B_1(5721)$, $B^*_2(5747)$, $B_J(5840)$, and $B_J(5970)$ could be reasonably assigned as the $B_1^\prime(1P)$, $B(1^3P_2)$, $B(2^1S_0)$, and $B(1^3D_3)$ respectively. The more precise measurements of the excited bottom mesons are crucial to confirm these assignments.


title: Parameter Choices for Sparse Regularization with the $\ell_1$ Norm

abstract: We consider a regularization problem whose objective function consists of a convex fidelity term and a regularization term determined by the $\ell_1$ norm composed with a linear transform. Empirical results show that the regularization with the $\ell_1$ norm can promote sparsity of a regularized solution. It is the goal of this paper to understand theoretically the effect of the regularization parameter on the sparsity of the regularized solutions. We establish a characterization of the sparsity under the transform matrix of the solution. When the fidelity term has a special structure and the transform matrix coincides with a identity matrix, the resulting characterization can be taken as a regularization parameter choice strategy with which the regularization problem has a solution having a sparsity of a certain level. We study choices of the regularization parameter so that the regularization term alleviates the ill-posedness and promote sparsity of the resulting regularized solution. Numerical experiments demonstrate that choices of the regularization parameters can balance the sparsity of the solutions of the regularization problem and its approximation to the minimizer of the fidelity function.


title: Multi-state Swap Test Algorithm

abstract: Estimating the overlap between two states is an important task with several applications in quantum information. However, the typical swap test circuit can only measure a sole pair of quantum states at a time. In this study we designed a recursive quantum circuit to measure overlaps of multiple quantum states $|\phi_1...\phi_n\rangle$ concurrently with $O(n\log n)$ controlled-swap (CSWAP) gates and $O(\log n)$ ancillary qubits. This circuit enables us to get all pairwise overlaps among input quantum states $|\langle\phi_i|\phi_j\rangle|^2$. Compared with existing schemes for measuring the overlap of multiple quantum states, our scheme provides higher precision and less consumption of ancillary qubits. In addition, we performed simulation experiments on IBM quantum cloud platform to verify the superiority of the scheme.


title: Sparsity-Aware Robust Normalized Subband Adaptive Filtering algorithms based on Alternating Optimization

abstract: This paper proposes a unified sparsity-aware robust normalized subband adaptive filtering (SA-RNSAF) algorithm for identification of sparse systems under impulsive noise. The proposed SA-RNSAF algorithm generalizes different algorithms by defining the robust criterion and sparsity-aware penalty. Furthermore, by alternating optimization of the parameters (AOP) of the algorithm, including the step-size and the sparsity penalty weight, we develop the AOP-SA-RNSAF algorithm, which not only exhibits fast convergence but also obtains low steady-state misadjustment for sparse systems. Simulations in various noise scenarios have verified that the proposed AOP-SA-RNSAF algorithm outperforms existing techniques.


title: Dirac fermions with plaquette interactions. II. SU(4) phase diagram with Gross-Neveu criticality and quantum spin liquid

abstract: At sufficiently low temperatures, interacting electron systems tend to develop orders. Exceptions are quantum critical point (QCP) and quantum spin liquid (QSL), where fluctuations prevent the highly entangled quantum matter to an ordered state down to the lowest temperature. While the ramification of these states may have appeared in high-temperature superconductors, ultra-cold atoms, frustrated magnets and quantum Moir\'e materials, their unbiased presence remain elusive in microscopic two-dimensional lattice models. Here, we show by means of large-scale quantum Monte Carlo simulations of correlated electrons on the $\pi$-flux square lattice subjected to extended Hubbard interaction, that a Gross-Neveu QCP separating massless Dirac fermions and an columnar valence bond solid at finite interaction, and a possible Dirac QSL at the infinite yet tractable interaction limit emerge in a coherent sequence. These unexpected novel quantum states resides in this simple-looking model, unifying ingredients including emergent symmetry, deconfined fractionalization and the dynamic coupling between emergent matter and gauge fields, will have profound implications both in quantum many-body theory and understanding of the aforementioned experimental systems.


title: Covariance Model with General Linear Structure and Divergent Parameters

abstract: For estimating the large covariance matrix with a limited sample size, we propose the covariance model with general linear structure (CMGL) by employing the general link function to connect the covariance of the continuous response vector to a linear combination of weight matrices. Without assuming the distribution of responses, and allowing the number of parameters associated with weight matrices to diverge, we obtain the quasi-maximum likelihood estimators (QMLE) of parameters and show their asymptotic properties. In addition, an extended Bayesian information criteria (EBIC) is proposed to select relevant weight matrices, and the consistency of EBIC is demonstrated. Under the identity link function, we introduce the ordinary least squares estimator (OLS) that has the closed form. Hence, its computational burden is reduced compared to QMLE, and the theoretical properties of OLS are also investigated. To assess the adequacy of the link function, we further propose the quasi-likelihood ratio test and obtain its limiting distribution. Simulation studies are presented to assess the performance of the proposed methods, and the usefulness of generalized covariance models is illustrated by an analysis of the US stock market.


title: Simple Hard Instances for Low-Depth Algebraic Proofs

abstract: We prove super-polynomial lower bounds on the size of propositional proof systems operating with constant-depth algebraic circuits over fields of zero characteristic. Specifically, we show that the subset-sum variant $\sum_{i,j,k,\ell\in[n]} z_{ijk\ell}x_ix_j x_k x_\ell - \beta=0$, for Boolean variables, does not have polynomial-size IPS refutations where the refutations are multilinear and written as constant-depth circuits. Andrews and Forbes (STOC'22) established recently a constant-depth IPS lower bound, but their hard instance does not have itself small constant-depth circuits, while our instance is computable already with small depth-2 circuits. Our argument relies on extending the recent breakthrough lower bounds against constant-depth algebraic circuits by Limaye, Srinivasan and Tavenas (FOCS'21) to the functional lower bound framework of Forbes, Shpilka, Tzameret and Wigderson (ToC'21), and may be of independent interest. Specifically, we construct a polynomial $f$ computable with small-size constant-depth circuits, such that the multilinear polynomial computing $1/f$ over Boolean values and its appropriate set-multilinear projection are hard for constant-depth circuits.


title: Interaction induced spatial correlations in a Disordered Glass

abstract: A consequence of the disorder and Coulomb interaction competition is the electron-glass phase observed in several Anderson-insulators. The disorder in these systems, typically degenerate semiconductors, is stronger than the interaction, more so the higher is the carrier-concentration N of the system. Here we report on a new feature observed in the electron-glass phase of In_{x}O with the lowest N yet studied. The feature, resolved as a broad peak in field-effect measurements, has not been recognized in previously studied Anderson-insulators. Several empirical facts associated with the phenomenon are consistent with the conjecture that it reflects a correlated charge-distribution. In particular, the feature may be turned on and off by gate-voltage maneuvering, suggesting the relevance of charge-arrangements. It may also be suppressed by either; temperature, non-ohmic field, or exposure to infrared illumination. After being washed-out, the feature reappears when the system is allowed to relax for sufficiently long time. A puzzling aspect that arises is the apparent absence of the phenomenon when the carrier-concentration increases above a certain value. This is reminiscent of the glass-transition conundrum except that the role of temperature in the latter is played by disorder. Analysis of these findings highlights several issues that challenge our understanding of the disorder-interaction interplay in Anderson insulators.


title: Hero-Gang Neural Model For Named Entity Recognition

abstract: Named entity recognition (NER) is a fundamental and important task in NLP, aiming at identifying named entities (NEs) from free text. Recently, since the multi-head attention mechanism applied in the Transformer model can effectively capture longer contextual information, Transformer-based models have become the mainstream methods and have achieved significant performance in this task. Unfortunately, although these models can capture effective global context information, they are still limited in the local feature and position information extraction, which is critical in NER. In this paper, to address this limitation, we propose a novel Hero-Gang Neural structure (HGN), including the Hero and Gang module, to leverage both global and local information to promote NER. Specifically, the Hero module is composed of a Transformer-based encoder to maintain the advantage of the self-attention mechanism, and the Gang module utilizes a multi-window recurrent module to extract local features and position information under the guidance of the Hero module. Afterward, the proposed multi-window attention effectively combines global information and multiple local features for predicting entity labels. Experimental results on several benchmark datasets demonstrate the effectiveness of our proposed model.


title: Optimal Congestion-aware Routing and Offloading in Collaborative Edge Computing

abstract: Collaborative edge computing (CEC) is an emerging paradigm where heterogeneous edge devices collaborate to fulfill computation tasks, such as model training or video processing, by sharing communication and computation resources. Nevertheless, the optimal data/result routing and computation offloading strategy in CEC with arbitrary topology still remains an open problem. In this paper, we formulate the flow model of partial-offloading and multi-hop routing for arbitrarily divisible tasks, where each node individually decides its routing/offloading strategy. In contrast to most existing works, our model applies to tasks with non-negligible result size, and allows data sources to be distinct from the result destination. We propose a network-wide cost minimization problem with congestion-aware convex cost functions for communication and computation. Such convex cost covers various performance metrics and constraints, such as average queueing delay with limited processor capacity. Although the problem is non-convex, we provide necessary conditions and sufficient conditions for the global-optimal solution, and devise a fully distributed algorithm that converges to the optimum in polynomial time, allows asynchronous individual updating, and is adaptive to changes in task pattern. Numerical evaluation shows that our proposed method significantly outperforms other baseline algorithms in multiple network instances, especially in congested scenarios.


title: Promoting Saliency From Depth: Deep Unsupervised RGB-D Saliency Detection

abstract: Growing interests in RGB-D salient object detection (RGB-D SOD) have been witnessed in recent years, owing partly to the popularity of depth sensors and the rapid progress of deep learning techniques. Unfortunately, existing RGB-D SOD methods typically demand large quantity of training images being thoroughly annotated at pixel-level. The laborious and time-consuming manual annotation has become a real bottleneck in various practical scenarios. On the other hand, current unsupervised RGB-D SOD methods still heavily rely on handcrafted feature representations. This inspires us to propose in this paper a deep unsupervised RGB-D saliency detection approach, which requires no manual pixel-level annotation during training. It is realized by two key ingredients in our training pipeline. First, a depth-disentangled saliency update (DSU) framework is designed to automatically produce pseudo-labels with iterative follow-up refinements, which provides more trustworthy supervision signals for training the saliency network. Second, an attentive training strategy is introduced to tackle the issue of noisy pseudo-labels, by properly re-weighting to highlight the more reliable pseudo-labels. Extensive experiments demonstrate the superior efficiency and effectiveness of our approach in tackling the challenging unsupervised RGB-D SOD scenarios. Moreover, our approach can also be adapted to work in fully-supervised situation. Empirical studies show the incorporation of our approach gives rise to notably performance improvement in existing supervised RGB-D SOD models.


title: Learning Lip-Based Audio-Visual Speaker Embeddings with AV-HuBERT

abstract: This paper investigates self-supervised pre-training for audio-visual speaker representation learning where a visual stream showing the speaker's mouth area is used alongside speech as inputs. Our study focuses on the Audio-Visual Hidden Unit BERT (AV-HuBERT) approach, a recently developed general-purpose audio-visual speech pre-training framework. We conducted extensive experiments probing the effectiveness of pre-training and visual modality. Experimental results suggest that AV-HuBERT generalizes decently to speaker related downstream tasks, improving label efficiency by roughly ten fold for both audio-only and audio-visual speaker verification. We also show that incorporating visual information, even just the lip area, greatly improves the performance and noise robustness, reducing EER by 38% in the clean condition and 75% in noisy conditions.


title: Brillouin Backaction Thermometry for Modal Temperature Control

abstract: Stimulated Brillouin scattering provides optical gain for efficient and narrow-linewidth lasers in high-Q microresonator systems. However, the thermal dependence of the Brillouin process, as well as the microresonator, impose strict temperature control requirements for long-term frequency-stable operation. Here, we study Brillouin back action and use it to both measure and phase-sensitively lock modal temperature to a reference temperature defined by the Brillouin phase-matching condition. At a specific lasing wavelength, the reference temperature can be precisely set by adjusting resonator free spectral range. This backaction control method is demonstrated in a chip-based Brillouin laser, but can be applied in all Brillouin laser platforms. It offers a new approach for frequency-stable operation of Brillouin lasers in atomic clock, frequency metrology, and gyroscope applications.


title: Fair Bayes-Optimal Classifiers Under Predictive Parity

abstract: Increasing concerns about disparate effects of AI have motivated a great deal of work on fair machine learning. Existing works mainly focus on independence- and separation-based measures (e.g., demographic parity, equality of opportunity, equalized odds), while sufficiency-based measures such as predictive parity are much less studied. This paper considers predictive parity, which requires equalizing the probability of success given a positive prediction among different protected groups. We prove that, if the overall performances of different groups vary only moderately, all fair Bayes-optimal classifiers under predictive parity are group-wise thresholding rules. Perhaps surprisingly, this may not hold if group performance levels vary widely; in this case we find that predictive parity among protected groups may lead to within-group unfairness. We then propose an algorithm we call FairBayes-DPP, aiming to ensure predictive parity when our condition is satisfied. FairBayes-DPP is an adaptive thresholding algorithm that aims to achieve predictive parity, while also seeking to maximize test accuracy. We provide supporting experiments conducted on synthetic and empirical data.


title: An extended definition of Anosov representation for relatively hyperbolic groups

abstract: We define a new family of discrete representations of relatively hyperbolic groups which unifies many existing definitions and examples of geometrically finite behavior in higher rank. The definition includes the relative Anosov representations defined by Kapovich-Leeb and Zhu, and Zhu-Zimmer, as well as holonomy representations of various different types of "geometrically finite" convex projective manifolds. We prove that these representations are all stable under deformations whose restriction to the peripheral subgroups satisfies a dynamical condition, in particular allowing for deformations which do not preserve the conjugacy class of the peripheral subgroups.


title: Higher-order exceptional point in a blue-detuned non-Hermitian cavity optomechanical system

abstract: Higher-order exceptional points (EPs) in non-Hermitian systems have attracted great interest due to their advantages in sensitive enhancement and distinct topological features. However, realization of such EPs is still challenged because more fine-tuning parameters is generically required in quantum systems, compared to the second-order EP (EP2). Here, we propose a non-Hermitian three-mode optomechanical system in the blue-sideband regime for predicting the third-order EP (EP3). By deriving the pseudo-Hermitian condition for the proposed system, one cavity with loss and the other one with gain must be required. Then we show EP3 or EP2 can be observed when the mechanical resonator (MR) is neutral, loss or gain. For the neutral MR, we find both two degenerate or two non-degenerate EP3s can be predicted by tuning system parameters in the parameter space, while four non-degenerate EP2s can be observed when the system parameters derivate from EP3s, which is distinguished from the previous study in the red-detuned optomechanical system. For the gain (loss) MR, we find only two degenerate EP3s or EP2s can be predicted by tuning enhanced coupling strength. Our proposal provides a potential way to predict higher-order EPs or multiple EP2s and study multimode quantum squeezing around EPs using the blue-detuned non-Hermitian optomechanical systems.


title: Nonconvex ${{L_ {{1/2}}}} $-Regularized Nonlocal Self-similarity Denoiser for Compressive Sensing based CT Reconstruction

abstract: Compressive sensing (CS) based computed tomography (CT) image reconstruction aims at reducing the radiation risk through sparse-view projection data. It is usually challenging to achieve satisfying image quality from incomplete projections. Recently, the nonconvex ${{L_ {{1/2}}}} $-norm has achieved promising performance in sparse recovery, while the applications on imaging are unsatisfactory due to its nonconvexity. In this paper, we develop a ${{L_ {{1/2}}}} $-regularized nonlocal self-similarity (NSS) denoiser for CT reconstruction problem, which integrates low-rank approximation with group sparse coding (GSC) framework. Concretely, we first split the CT reconstruction problem into two subproblems, and then improve the CT image quality furtherly using our ${{L_ {{1/2}}}} $-regularized NSS denoiser. Instead of optimizing the nonconvex problem under the perspective of GSC, we particularly reconstruct CT image via low-rank minimization based on two simple yet essential schemes, which build the equivalent relationship between GSC based denoiser and low-rank minimization. Furtherly, the weighted singular value thresholding (WSVT) operator is utilized to optimize the resulting nonconvex ${{L_ {{1/2}}}} $ minimization problem. Following this, our proposed denoiser is integrated with the CT reconstruction problem by alternating direction method of multipliers (ADMM) framework. Extensive experimental results on typical clinical CT images have demonstrated that our approach can further achieve better performance than popular approaches.


title: Stochastic Continuum Models for High--Entropy Alloys with Short-range Order

abstract: High entropy alloys (HEAs) are a class of novel materials that exhibit superb engineering properties. It has been demonstrated by extensive experiments and first principles/atomistic simulations that short-range order in the atomic level randomness strongly influences the properties of HEAs. In this paper, we derive stochastic continuum models for HEAs with short-range order from atomistic models. A proper continuum limit is obtained such that the mean and variance of the atomic level randomness together with the short-range order described by a characteristic length are kept in the process from the atomistic interaction model to the continuum equation. The obtained continuum model with short-range order is in the form of an Ornstein--Uhlenbeck (OU) process. This validates the continuum model based on the OU process adopted phenomenologically by Zhang et al. [Acta Mater., 166 (2019), pp. 424--434] for HEAs with short-range order. We derive such stochastic continuum models with short-range order for both elasticity in HEAs without defects and HEAs with dislocations (line defects). The obtained stochastic continuum models are based on the energy formulations, whose variations lead to stochastic partial differential equations.


title: Fragility in Glassy Liquids: A Structural Approach Based on Machine Learning

abstract: The rapid rise of viscosity or relaxation time upon supercooling is universal hallmark of glassy liquids. The temperature dependence of the viscosity, however, is quite non universal for glassy liquids and is characterized by the system's "fragility," with liquids with nearly Arrhenius temperature-dependent relaxation times referred to as strong liquids and those with super-Arrhenius behavior referred to as fragile liquids. What makes some liquids strong and others fragile is still not well understood. Here we explore this question in a family of glassy liquids that range from extremely strong to extremely fragile, using "softness," a structural order parameter identified by machine learning to be highly correlated with dynamical rearrangements. We use a support vector machine to identify softness as the same linear combination of structural quantities across the entire family of liquids studied. We then use softness to identify the factors controlling fragility.


title: On value distribution of certain delay-differential polynomials

abstract: Given an entire function $f$ of finite order $\rho$, let $L(z,f)=\sum_{j=0}^{m}b_{j}(z)f^{(k_{j})}(z+c_{j})$ be a linear delay-differential polynomial of $f$ with small coefficients in the sense of $O(r^{\lambda+\varepsilon})+S(r,f)$, $\lambda<\rho$. Provided $\alpha$, $\beta$ be similar small functions, we consider the zero distribution of $L(z,f)-\alpha f^{n}-\beta$ for $n\geq 3$ and $n=2$, respectively. Our results are improvements and complements of Chen(Abstract Appl. Anal., 2011, 2011: ID239853, 1--9), and Laine (J. Math. Anal. Appl. 2019, 469(2): 808--826.), etc.


title: Simultaneous coloring of vertices and incidences of graphs

abstract: An $n$-subdivision of a graph $G$ is a graph constructed by replacing a path of length $n$ instead of each edge of $G$ and an $m$-power of $G$ is a graph with the same vertices as $G$ and any two vertices of $G$ at distance at most $m$ are adjacent. The graph $G^{\frac{m}{n}}$ is the $m$-power of the $n$-subdivision of $G$. In [M. N. Iradmusa, M. Mozafari-Nia, A note on coloring of $\frac{3}{3}$-power of subquartic graphs, Vol. 79, No.3, 2021] it was conjectured that the chromatic number of $\frac{3}{3}$-power of graphs with maximum degree $\Delta\geq 2$ is at most $2\Delta+1$. In this paper, we introduce the simultaneous coloring of vertices and incidences of graphs and show that the minimum number of colors for simultaneous proper coloring of vertices and incidences of $G$, denoted by $\chi_{vi}(G)$, is equal to the chromatic number of $G^{\frac{3}{3}}$. Also by determining the exact value or the upper bound for the said parameter, we investigate the correctness of the conjecture for some classes of graphs such as $k$-degenerated graphs, cycles, forests, complete graphs, and regular bipartite graphs. In addition, we investigate the relationship between this new chromatic number and the other parameters of graphs.


title: Thermodynamically Consistent Diffuse Interface Model for Cell Adhesion and Aggregation

abstract: A thermodynamically consistent phase-field model is introduced for simulating multicellular deformation, and aggregation under flow conditions. In particular, a Lennard-Jones type potential is proposed under the phase-field framework for cell-cell, cell-wall interactions. A second-order accurate in both space and time $C^0$ finite element method is proposed to solve the model governing equations. Various numerical tests confirm the convergence, energy stability, and nonlinear mechanical properties of cells of the proposed scheme. Vesicles with different adhesion are also used to explain the pathological risk for patients with sickle cell disease.


title: Locally closed sets and submaximal spaces

abstract: A topological space $X$ is called submaximal if every dense subset of $X$ is open. In this paper, we show that if $\beta X$, the Stone-\v{C}ech compactification of $X$, is a submaximal space, then $X$ is a compact space and hence $\beta X=X$. We also prove that if $\upsilon X$, the Hewitt realcompactification of $X$, is submaximal and first countable and $X$ is without isolated point, then $X$ is realcompact and hence $\upsilon X=X$. We observe that every submaximal Hausdorff space is pseudo-finite. It turns out that if $\upsilon X$ is a submaximal space, then $X$ is a pseudo-finite $\mu$-compact space. An example is given which shows that $X$ may be submaximal but $\upsilon X$ may not be submaximal. Given a topological space $(X,{\mathcal T})$, the collection of all locally closed subsets of $X$ forms a base for a topology on $X$ which is denotes by ${\mathcal T_l}$. We study some topological properties between $(X,{\mathcal T})$ and $(X,{\mathcal T_l})$, such as we show that a) $(X,{\mathcal T_l})$ is discrete if and only if $(X,{\mathcal T})$ is a $T_D$-space; b) $(X,{\mathcal T})$ is a locally indiscrete space if and only if ${\mathcal T}={\mathcal T_l}$; c) $(X,{\mathcal T})$ is indiscrete space if and only if $(X,{\mathcal T_l})$ is connected. We see that, in locally indiscrete spaces, the concepts of $T_0$, $T_D$, $T_\frac{1}{2}$, $T_1$, submaximal and discrete coincide. Finally, we prove that every clopen subspace of an lc-compact space is lc-compact.


title: Phase coexistence and associated non-equilibrium dynamics under simultaneously applied magnetic field and pressure

abstract: A quantitative estimation of the effect of simultaneously applied external pressure (P) and magnetic field (H) on the phase coexistence has been presented for Pr0.5Ca0.5Mn0.975Al0.025O3 and La0.5Ca0.5MnO3, where the ferromagnetic (FM)-metal and antiferromagnetic (AFM)-insulator phases compete in real space. We found that the nonequilibrium dynamics across the FM-AFM transition is primarily dictated by the effect of P and H on the supercooling, superheating temperatures, and the nucleation and growth rate of the equilibrium phase. These effects across the transition is also responsible for the relative volume fraction of the competing phases at low temperature. Importantly in the entire magnetic field-pressure-temperature range of phase coexistence, the interface between the two competing phases having different spin and structural order plays a very important role in controlling the non-equilibrium dynamics.


title: How Much Does Home Field Advantage Matter in Soccer Games? A Causal Inference Approach for English Premier League Analysis

abstract: In many sports, it is commonly believed that the home team has an advantage over the visiting team, known as the home field advantage. Yet its causal effect on team performance is largely unknown. In this paper, we propose a novel causal inference approach to study the causal effect of home field advantage in English Premier League. We develop a hierarchical causal model and show that both league level and team level causal effects are identifiable and can be conveniently estimated. We further develop an inference procedure for the proposed estimators and demonstrate its excellent numerical performance via simulation studies. We implement our method on the 2020-21 English Premier League data and assess the causal effect of home advantage on eleven summary statistics that measure the offensive and defensive performance and referee bias. We find that the home field advantage resides more heavily in offensive statistics than it does in defensive or referee statistics. We also find evidence that teams that had lower rankings retain a higher home field advantage.


title: Search for the Gravitational-wave Background from Cosmic Strings with the Parkes Pulsar Timing Array Second Data Release

abstract: We perform a direct search for an isotropic stochastic gravitational-wave background (SGWB) produced by cosmic strings in the Parkes Pulsar Timing Array second data release. We find no evidence for such an SGWB, and therefore place $95\%$ confidence level upper limits on the cosmic string tension, $G\mu$, as a function of the reconnection probability, $p$, which can be less than 1 in the string-theory-inspired models. The upper bound on the cosmic string tension is $G\mu \lesssim 5.1 \times 10^{-10}$ for $p = 1$, which is about five orders of magnitude tighter than the bound derived from the null search of individual gravitational wave burst from cosmic string cusps in the PPTA DR2.


title: A comparison of PINN approaches for drift-diffusion equations on metric graphs

abstract: In this paper we focus on comparing machine learning approaches for quantum graphs, which are metric graphs, i.e., graphs with dedicated edge lengths, and an associated differential operator. In our case the differential equation is a drift-diffusion model. Computational methods for quantum graphs require a careful discretization of the differential operator that also incorporates the node conditions, in our case Kirchhoff-Neumann conditions. Traditional numerical schemes are rather mature but have to be tailored manually when the differential equation becomes the constraint in an optimization problem. Recently, physics informed neural networks (PINNs) have emerged as a versatile tool for the solution of partial differential equations from a range of applications. They offer flexibility to solve parameter identification or optimization problems by only slightly changing the problem formulation used for the forward simulation. We compare several PINN approaches for solving the drift-diffusion on the metric graph.


title: Charm Quark Hadronisation Studies In pp Collisions With ALICE

abstract: In this contribution, the latest results for measurements of charm baryons in proton--proton collisions at $\sqrt{s}=5.02$ and $13\,\mathrm{TeV}$ are presented. The production yields of $\Lambda_\mathrm{c}^{+}$, $\Xi_\mathrm{c}^{0,+}$, $\Omega_\mathrm{c}^{0}$, and $\Sigma_\mathrm{c}^{0,++}$ are shown along with their yield ratios to $\mathrm{D}^{0}$ mesons, and observations about charm hadronisation with respect to previous results from lepton colliders are discussed. Further differential measurements are shown of the $\Lambda_\mathrm{c}^{+}/\mathrm{D}^{0}$ yield ratio as a function of charged-particle multiplicity. For the first time, the production of $\Lambda_\mathrm{c}^{+}$ is presented in pp collisions down to $p_\mathrm{T} = 0$, and the total charm production cross section and relative charm hadronisation fractions in p--Pb collisions are computed.


title: On independent GKM-graphs without nontrivial extensions

abstract: In this paper an example of a $k$-independent $(n,k)$-type GKM-graph without nontrivial extensions is constructed for any $n\geq k\geq 3$. It is shown that this example cannot be realized by a GKM-manifold for any $n=k=3$ or $n\geq k\geq 4$.


title: The combined effect in one space dimension beyond the general theory for nonlinear wave equations

abstract: In this paper, we show the so-called "combined effect" of two different kinds of nonlinear terms for semilinear wave equations in one space dimension. Such a special phenomenon appears only in the case that the total integral of the initial speed is zero. It is remarkable that, including the combined effect case, our results on the lifespan estimates are partially better than those of the general theory for nonlinear wave equations.


title: Phase transition in the three-dimensional $O(N)\otimes O(M)$ model: a Monte Carlo study

abstract: Using Monte Carlo simulations, we consider the lattice version of the $O(N)\otimes O(M)$ sigma model for $2\leq M\leq4$ and $M\leq N \leq8$. We find a continuous transition for $N\geq M+4$. Estimates of the critical exponents for cases of second-order and weak first-order transitions are found. For $M=2$ our estimates of the exponents and marginal dimensionality $N_c^+(M)$ are in good agreement with the results of the non-perturbative renormalization group approach. For $M\geq2$ we find estimates of the exponents and marginal dimensionality between the values obtained in the first and second orders of the large-N expansion. To complete the picture, we also consider the usual $O(N)$ model ($M=1$).


title: The Dirichlet problem for Hessian quotient equations on exterior domains

abstract: In this paper, we consider the exterior Dirichlet problem for Hessian quotient equations with the right hand side $g$, where $g$ is a positive function and $g=1+O(|x|^{-\beta})$ near infinity, for some $\beta>2$. Under a prescribed generalized symmetric asymptotic behavior at infinity, we establish an existence and uniqueness theorem for viscosity solutions, by using comparison principles and Perron's method. This extends the previous results for Monge--Amp\`ere equations and Hessian equations.


title: Real-centric Consistency Learning for Deepfake Detection

abstract: Most of previous deepfake detection researches bent their efforts to describe and discriminate artifacts in human perceptible ways, which leave a bias in the learned networks of ignoring some critical invariance features intra-class and underperforming the robustness of internet interference. Essentially, the target of deepfake detection problem is to represent natural faces and fake faces at the representation space discriminatively, and it reminds us whether we could optimize the feature extraction procedure at the representation space through constraining intra-class consistence and inter-class inconsistence to bring the intra-class representations close and push the inter-class representations apart? Therefore, inspired by contrastive representation learning, we tackle the deepfake detection problem through learning the invariant representations of both classes and propose a novel real-centric consistency learning method. We constraint the representation from both the sample level and the feature level. At the sample level, we take the procedure of deepfake synthesis into consideration and propose a novel forgery semantical-based pairing strategy to mine latent generation-related features. At the feature level, based on the centers of natural faces at the representation space, we design a hard positive mining and synthesizing method to simulate the potential marginal features. Besides, a hard negative fusion method is designed to improve the discrimination of negative marginal features with the help of supervised contrastive margin loss we developed. The effectiveness and robustness of the proposed method has been demonstrated through extensive experiments.


title: Mask and Cloze: Automatic Open Cloze Question Generation using a Masked Language Model

abstract: Open cloze questions have been attracting attention for both measuring the ability and facilitating the learning of L2 English learners. In spite of its benefits, the open cloze test has been introduced only sporadically on the educational front, largely because it is burdensome for teachers to manually create the questions. Unlike the more commonly used multiple choice questions (MCQ), open cloze questions are in free form and thus teachers have to ensure that only a ground truth answer and no additional words will be accepted in the blank. To help ease this burden, we developed CLOZER, an automatic open cloze question generator. In this work, we evaluate CLOZER through quantitative experiments on 1,600 answers and show statistically that it can successfully generate open cloze questions that only accept the ground truth answer. A comparative experiment with human-generated questions also reveals that CLOZER can generate OCQs better than the average non-native English teacher. Additionally, we conduct a field study at a local high school to clarify the benefits and hurdles when introducing CLOZER. The results demonstrate that while students found the application useful for their language learning. Finally, on the basis of our findings, we proposed several design improvements.


title: Fused Deep Neural Network based Transfer Learning in Occluded Face Classification and Person re-Identification

abstract: Recent period of pandemic has brought person identification even with occluded face image a great importance with increased number of mask usage. This paper aims to recognize the occlusion of one of four types in face images. Various transfer learning methods were tested, and the results show that MobileNet V2 with Gated Recurrent Unit(GRU) performs better than any other Transfer Learning methods, with a perfect accuracy of 99% in classification of images as with or without occlusion and if with occlusion, then the type of occlusion. In parallel, identifying the Region of interest from the device captured image is done. This extracted Region of interest is utilised in face identification. Such a face identification process is done using the ResNet model with its Caffe implementation. To reduce the execution time, after the face occlusion type was recognized the person was searched to confirm their face image in the registered database. The face label of the person obtained from both simultaneous processes was verified for their matching score. If the matching score was above 90, the recognized label of the person was logged into a file with their name, type of mask, date, and time of recognition. MobileNetV2 is a lightweight framework which can also be used in embedded or IoT devices to perform real time detection and identification in suspicious areas of investigations using CCTV footages. When MobileNetV2 was combined with GRU, a reliable accuracy was obtained. The data provided in the paper belong to two categories, being either collected from Google Images for occlusion classification, face recognition, and facial landmarks, or collected in fieldwork. The motive behind this research is to identify and log person details which could serve surveillance activities in society-based e-governance.


title: Mod2Dash: A Framework for Model-Driven Dashboards Generation

abstract: The construction of an interactive dashboard involves deciding on what information to present and how to display it and implementing those design decisions to create an operational dashboard. Traditionally, a dashboard's design is implied in the deployed dashboard rather than captured explicitly as a digital artifact, preventing it from being backed up, version-controlled, and shared. Moreover, practitioners have to implement this implicit design manually by coding or configuring it on a dashboard platform. This paper proposes Mod2Dash, a software framework that enables practitioners to capture their dashboard designs as models and generate operational dashboards automatically from these models. The framework also provides a GUI-driven customization approach for practitioners to fine-tune the auto-generated dashboards and update their models. With these abilities, Mod2Dash enables practitioners to rapidly prototype and deploy dashboards for both operational and research purposes. We evaluated the framework's effectiveness in a case study on cyber security visualization for decision support. A proof-of-concept of Mod2Dash was employed to model and reconstruct 31 diverse real-world cyber security dashboards. A human-assisted comparison between the Mod2Dash-generated dashboards and the baseline dashboards shows a close matching, indicating the framework's effectiveness for real-world scenarios.


title: On quantum channel capacities: an additive refinement

abstract: Capacities of quantum channels are fundamental quantities in the theory of quantum information. A desirable property is the additivity for a capacity. However, this cannot be achieved for a few quantities that have been established as capacity measures. Asymptotic regularization is generically necessary making the study of capacities notoriously hard. In this work, by a proper refinement of the physical settings of quantum communication, we prove additive quantities for quantum channel capacities that can be employed for quantum Shannon theorems. This refinement, only a tiny step away from the standard settings, is consistent with the principle of quantum theory, and it further demonstrates von Neumann entropy as the cornerstone of quantum information.


title: Peculiarities of the Solar-Wind/Magnetosphere Coupling in the Era of Solar Grand Minimum

abstract: Based on the data of the solar wind (SW) measurements of the OMNI base for the period 1976-2019, the behavior of SW types as well as plasma and interplanetary magnetic field (IMF) parameters for 21-24 solar cycles (SCs) is studied. It is shown that with the beginning of the Era of Solar Grand Minimum (SC 23), the proportion of magnetic storms initiated by CIR increased. In addition, a change in the nature of SW interaction with the magnetosphere could occur due to a decrease in the density, temperature, and IMF of the solar wind.


title: Hunting for extra dimensions in the shadow of Sagittarius A*

abstract: Recently, Vagnozzi and Visinelli's work [Phys. Rev. D 100, 024020 (2020)] reveals that M87*'s shadow establishes an upper limit of $l \lesssim 170$ AU, where $l$ is the AdS$_5$ curvature radius and 1 AU is one astronomical unit. The Event Horizon Telescope, on the other hand, just captured the first image of the shadow of Sagittarius A* (SgrA*), the Galactic center source associated with a supermassive black hole. In this paper, we are motivated to comprehensively explore a new upper limit of $l$ with the shadow of SgrA*, and the findings suggest that $l \lesssim 0.097$ AU. Our results improve accuracy by three orders of magnitude. This is also one of the first quantifiable limitations on exotic physics derived from the remarkable first image of the shadow of SgrA*.


title: Fine-tuning Pre-trained Language Models for Few-shot Intent Detection: Supervised Pre-training and Isotropization

abstract: It is challenging to train a good intent classifier for a task-oriented dialogue system with only a few annotations. Recent studies have shown that fine-tuning pre-trained language models with a small amount of labeled utterances from public benchmarks in a supervised manner is extremely helpful. However, we find that supervised pre-training yields an anisotropic feature space, which may suppress the expressive power of the semantic representations. Inspired by recent research in isotropization, we propose to improve supervised pre-training by regularizing the feature space towards isotropy. We propose two regularizers based on contrastive learning and correlation matrix respectively, and demonstrate their effectiveness through extensive experiments. Our main finding is that it is promising to regularize supervised pre-training with isotropization to further improve the performance of few-shot intent detection. The source code can be found at https://github.com/fanolabs/isoIntentBert-main.


title: Towards a Comprehensive Solution for a Vision-based Digitized Neurological Examination

abstract: The ability to use digitally recorded and quantified neurological exam information is important to help healthcare systems deliver better care, in-person and via telehealth, as they compensate for a growing shortage of neurologists. Current neurological digital biomarker pipelines, however, are narrowed down to a specific neurological exam component or applied for assessing specific conditions. In this paper, we propose an accessible vision-based exam and documentation solution called Digitized Neurological Examination (DNE) to expand exam biomarker recording options and clinical applications using a smartphone/tablet. Through our DNE software, healthcare providers in clinical settings and people at home are enabled to video capture an examination while performing instructed neurological tests, including finger tapping, finger to finger, forearm roll, and stand-up and walk. Our modular design of the DNE software supports integrations of additional tests. The DNE extracts from the recorded examinations the 2D/3D human-body pose and quantifies kinematic and spatio-temporal features. The features are clinically relevant and allow clinicians to document and observe the quantified movements and the changes of these metrics over time. A web server and a user interface for recordings viewing and feature visualizations are available. DNE was evaluated on a collected dataset of 21 subjects containing normal and simulated-impaired movements. The overall accuracy of DNE is demonstrated by classifying the recorded movements using various machine learning models. Our tests show an accuracy beyond 90% for upper-limb tests and 80% for the stand-up and walk tests.


title: The maximum of log-correlated Gaussian fields in random environments

abstract: We study the distribution of the maximum of a large class of Gaussian fields indexed by a box $V_N\subset Z^d$ and possessing logarithmic correlations up to local defects that are sufficiently rare. Under appropriate assumptions that generalize those in Ding, Roy and Zeitouni (Annals Probab. (45) 2017, 3886-3928), we show that asymptotically, the centered maximum of the field has a randomly-shifted Gumbel distribution. We prove that the two dimensional Gaussian free field on a super-critical bond percolation cluster with $p$ close enough to $1$, as well as the Gaussian free field in i.i.d. bounded conductances, fall under the assumptions of our general theorem.


title: GenerSpeech: Towards Style Transfer for Generalizable Out-Of-Domain Text-to-Speech

abstract: Style transfer for out-of-domain (OOD) speech synthesis aims to generate speech samples with unseen style (e.g., speaker identity, emotion, and prosody) derived from an acoustic reference, while facing the following challenges: 1) The highly dynamic style features in expressive voice are difficult to model and transfer; and 2) the TTS models should be robust enough to handle diverse OOD conditions that differ from the source data. This paper proposes GenerSpeech, a text-to-speech model towards high-fidelity zero-shot style transfer of OOD custom voice. GenerSpeech decomposes the speech variation into the style-agnostic and style-specific parts by introducing two components: 1) a multi-level style adaptor to efficiently model a large range of style conditions, including global speaker and emotion characteristics, and the local (utterance, phoneme, and word-level) fine-grained prosodic representations; and 2) a generalizable content adaptor with Mix-Style Layer Normalization to eliminate style information in the linguistic content representation and thus improve model generalization. Our evaluations on zero-shot style transfer demonstrate that GenerSpeech surpasses the state-of-the-art models in terms of audio quality and style similarity. The extension studies to adaptive style transfer further show that GenerSpeech performs robustly in the few-shot data setting. Audio samples are available at https://GenerSpeech.github.io/


title: Invertible objects in Franke's comodule categories

abstract: We study the Picard group of Franke's category of quasi-periodic $E_0E$-comodules for $E$ a 2-periodic Landweber exact cohomology theory of height $n$ such as Morava $E$-theory, showing that for $2p-2 > n^2+n$, this group is infinite cyclic, generated by the suspension of the unit. This is analogous to, but independent of, the corresponding calculations by Hovey and Sadofsky in the $E$-local stable homotopy category. We also give a computation of the Picard group of $I_n$-complete quasi-periodic $E_0E$-comodules when $E$ is Morava $E$-theory, as studied by Barthel--Schlank--Stapleton for $2p-2 \ge n^2$ and $p-1 \nmid n$, and compare this to the Picard group of the $K(n)$-local stable homotopy category, showing that they agree up to extension.


title: Improved Multi-step FCS-MPCC with Disturbance Compensation for PMSM Drives -- Methods and Experimental Validation

abstract: In this paper, an improved multi-step finite control set model predictive current control (FCS-MPCC) strategy with speed loop disturbance compensation is proposed for permanent magnet synchronous machine (PMSM) drives system. A multi-step prediction mechanism is beneficial to significantly improve the steady-state performance of the motor system. While the conventional multi-step prediction has the defect of heavy computational burden, an improved multi-step finite control set model predictive current control (IM MPCC) strategy is proposed by developing a new multi-step prediction mechanism. Furthermore, in order to improve the dynamic response of the system, a disturbance compensation (DC) mechanism based on an extended state observer (ESO) is proposed to estimate and compensate the total disturbance in the speed loop of the PMSM system. Both simulation and experimental results validate the effectiveness of the proposed control strategy.


title: Entropy Production for Discrete-Time Markov Processes

abstract: We study the multiple definitions of the entropy production for discrete-time Markov processes in single systems and composite systems. We clarify the equivalence condition and the meaning of the multiple definitions and show that all definitions satisfy the important property for the entropy production, such as non-negativity. We also show that the magnitude relationship between total entropy production and marginal entropy production holds for a definition but doesn't for another definition. Furthermore, we verify that fact by calculating entropy productions for Gaussian process and numerically illustrate the result. Finally, we find appropriate use of each definition taking all results into account.


title: Optimal error estimates of multiphysics finite element method for a nonlinear poroelasticity model with nonlinear stress-strain relations

abstract: In this paper, we study the numerical algorithm for a nonlinear poroelasticity model with nonlinear stress-strain relations. By using variable substitution, the original problem can be reformulated to a new coupled fluid-fluid system, that is, a generalized nonlinear Stokes problem of displacement vector field related to pseudo pressure and a diffusion problem of other pseudo pressure fields. A new technique is used to get the existence and uniqueness of the solution of the reformulated model and a fully discrete nonlinear finite element method is proposed to solve the model numerically. The multiphysics finite element is used to get the discretization of the space variable and the backward Euler method is taken as the time-stepping method in the fully discrete case. Stability analysis and the error estimation are given for the fully discrete case and numerical test are taken to verify the theoretical results.


title: FedHAP: Fast Federated Learning for LEO Constellations Using Collaborative HAPs

abstract: Low Earth Orbit (LEO) satellite constellations have seen a surge in deployment over the past few years by virtue of their ability to provide broadband Internet access as well as to collect vast amounts of Earth observational data that can be utilized to develop AI on a global scale. As traditional machine learning (ML) approaches that train a model by downloading satellite data to a ground station (GS) are not practical, Federated Learning (FL) offers a potential solution. However, existing FL approaches cannot be readily applied because of their excessively prolonged training time caused by the challenging satellite-GS communication environment. This paper proposes FedHAP, which introduces high-altitude platforms (HAPs) as distributed parameter servers (PSs) into FL for Satcom (or more concretely LEO constellations), to achieve fast and efficient model training. FedHAP consists of three components: 1) a hierarchical communication architecture, 2) a model dissemination algorithm, and 3) a model aggregation algorithm. Our extensive simulations demonstrate that FedHAP significantly accelerates FL model convergence as compared to state-of-the-art baselines, cutting the training time from several days down to a few hours, yet achieving higher accuracy.


title: Online Nonsubmodular Minimization with Delayed Costs: From Full Information to Bandit Feedback

abstract: Motivated by applications to online learning in sparse estimation and Bayesian optimization, we consider the problem of online unconstrained nonsubmodular minimization with delayed costs in both full information and bandit feedback settings. In contrast to previous works on online unconstrained submodular minimization, we focus on a class of nonsubmodular functions with special structure, and prove regret guarantees for several variants of the online and approximate online bandit gradient descent algorithms in static and delayed scenarios. We derive bounds for the agent's regret in the full information and bandit feedback setting, even if the delay between choosing a decision and receiving the incurred cost is unbounded. Key to our approach is the notion of $(\alpha, \beta)$-regret and the extension of the generic convex relaxation model from~\citet{El-2020-Optimal}, the analysis of which is of independent interest. We conduct and showcase several simulation studies to demonstrate the efficacy of our algorithms.


title: Electronic structure and effective mass analysis of doped TiO$_2$ (anatase) systems using DFT+$U$

abstract: In this work, electronic structure of several doped TiO$_2$ anatase systems is computed using DFT+$U$. Effective masses of charge carriers are also computed to quantify how the dopant atoms perturb the bands of the host anatase material. $U$ is computed systematically for all the dopants using the linear response method rather than using fitting procedures to physically known quantities. A combination of $d$ and $f$ block elements (Nb, Ta, V, Mo, W, Cr, La, Cu, Co and Ce) are considered as dopants. Depending upon the energies of their outer $d$ or $f$ electrons, the dopants are found to form defect states at various positions in the band structure of host anatase system. Some dopants like Cr, Mo etc. form mid-gap states, which could reduce transparency. Other dopants like Nb, Ta and W are found to have the Fermi levels positioned near the conduction band edge, indicating these systems to exhibit $n$-type conductivity. From the effective mass analysis, dopants are found to increase the effective mass of charge carriers and the non-parabolic nature of bands. Based on electronic structure and effective mass analysis, Nb, Ta and W are identified to exhibit higher transparency and conductivity as compared to the other dopants considered here. The theoretical results presented here, increase our understanding and show the potential of dopants to alter the properties in anatase TiO$_2$.


title: Design and Stiffness Analysis of a Bio-inspired Soft Actuator with Bi-direction Tunable Stiffness Property

abstract: Modulating the stiffness of soft actuators is crucial for improving the efficiency of interaction with the environment. However, current stiffness modulation mechanisms are hard to achieve high lateral stiffness and a wide range of bending stiffness simultaneously. Here, we draw inspiration from the anatomical structure of the finger and propose a bi-directional tunable stiffness actuator (BTSA). BTSA is a soft-rigid hybrid structure that combines air-tendon hybrid actuation (ATA) and bone-like structures (BLS). We develop a corresponding fabrication method and a stiffness analysis model to support the design of BLS. The results show that the influence of the BLS on bending deformation is negligible, with a distal point distance error of less than 1.5 mm. Moreover, the bi-directional tunable stiffness is proved to be functional. The bending stiffness can be tuned by ATA from 0.23 N/mm to 0.70 N/mm, with a magnification of 3 times. The addition of BLS improves lateral stiffness up to 4.2 times compared with the one without BLS, and the lateral stiffness can be tuned decoupling within 1.2 to 2.1 times (e.g. from 0.35 N/mm to 0.46 N/mm when the bending angle is 45 deg). Finally, a four-BTSA gripper is developed to conduct horizontal lifting and grasping tasks to demonstrate the advantages of BTSA.


title: Adaptive Prompt Learning-based Few-Shot Sentiment Analysis

abstract: In the field of natural language processing, sentiment analysis via deep learning has a excellent performance by using large labeled datasets. Meanwhile, labeled data are insufficient in many sentiment analysis, and obtaining these data is time-consuming and laborious. Prompt learning devotes to resolving the data deficiency by reformulating downstream tasks with the help of prompt. In this way, the appropriate prompt is very important for the performance of the model. This paper proposes an adaptive prompting(AP) construction strategy using seq2seq-attention structure to acquire the semantic information of the input sequence. Then dynamically construct adaptive prompt which can not only improve the quality of the prompt, but also can effectively generalize to other fields by pre-trained prompt which is constructed by existing public labeled data. The experimental results on FewCLUE datasets demonstrate that the proposed method AP can effectively construct appropriate adaptive prompt regardless of the quality of hand-crafted prompt and outperform the state-of-the-art baselines.


title: Hardy and Rellich inequality on lattices

abstract: In this paper, we study the asymptotic behaviour of the sharp constant in discrete Hardy and Rellich inequality on the lattice $\mathbb{Z}^d$ as $d \rightarrow \infty$. In the process, we proved some Hardy-type inequalities for the operators $\Delta^m$ and $\nabla(\Delta^m)$ for non-negative integers $m$ on a $d$ dimensional torus. It turns out that the sharp constant in discrete Hardy and Rellich inequality grows as $d$ and $d^2$ respectively as $ d \rightarrow \infty$.


title: SAPPHIRE: Search for exotic parity-violation interactions with quantum spin amplifiers

abstract: Quantum sensing provides sensitive tabletop tools to search for exotic spin-dependent interactions beyond the Standard Model, which has attracted great attention in theories and experiments. Here we develop a technique based on quantum Spin Amplifier for Particle PHysIcs REsearch (SAPPHIRE) to resonantly search for exotic interactions, specifically parity-odd spin-spin interactions. The present technique effectively amplifies the pseudomagnetic field generated by exotic interactions by a factor of about 200 while being insensitive to spurious external magnetic fields. Our studies, using such a quantum amplification technique, open the doors to exploring the parity-violation interactions mediated by Z' bosons in the challenging parameter space (force range between 3 mm and 0.1 km) and set the most stringent constraints on Z'-mediated electron-neutron couplings, significantly improving previous limits by up to five orders of magnitude. Moreover, our bounds on Z'-mediated couplings between nucleons reaches into a hitherto unexplored parameter space (force range below 1 m), complementing the existing astrophysical and laboratory studies.


title: Sample-Efficient Learning of Correlated Equilibria in Extensive-Form Games

abstract: Imperfect-Information Extensive-Form Games (IIEFGs) is a prevalent model for real-world games involving imperfect information and sequential plays. The Extensive-Form Correlated Equilibrium (EFCE) has been proposed as a natural solution concept for multi-player general-sum IIEFGs. However, existing algorithms for finding an EFCE require full feedback from the game, and it remains open how to efficiently learn the EFCE in the more challenging bandit feedback setting where the game can only be learned by observations from repeated playing. This paper presents the first sample-efficient algorithm for learning the EFCE from bandit feedback. We begin by proposing $K$-EFCE -- a more generalized definition that allows players to observe and deviate from the recommended actions for $K$ times. The $K$-EFCE includes the EFCE as a special case at $K=1$, and is an increasingly stricter notion of equilibrium as $K$ increases. We then design an uncoupled no-regret algorithm that finds an $\varepsilon$-approximate $K$-EFCE within $\widetilde{\mathcal{O}}(\max_{i}X_iA_i^{K}/\varepsilon^2)$ iterations in the full feedback setting, where $X_i$ and $A_i$ are the number of information sets and actions for the $i$-th player. Our algorithm works by minimizing a wide-range regret at each information set that takes into account all possible recommendation histories. Finally, we design a sample-based variant of our algorithm that learns an $\varepsilon$-approximate $K$-EFCE within $\widetilde{\mathcal{O}}(\max_{i}X_iA_i^{K+1}/\varepsilon^2)$ episodes of play in the bandit feedback setting. When specialized to $K=1$, this gives the first sample-efficient algorithm for learning EFCE from bandit feedback.


title: Identifying the $\Xi_b(6100)$ as the $P$-wave bottom baryon of $J^P=3/2^-$

abstract: We study the $\Xi_b(6100)$ using the methods of QCD sum rules and light-cone sum rules within the framework of heavy quark effective theory. Our results suggest that the $\Xi_b(6100)$ can be well interpreted as the $P$-wave bottom baryon of $J^P=3/2^-$, belonging to the $SU(3)$ flavor $\mathbf{\bar 3}_F$ representation. It has a partner state of $J^P=1/2^-$, labelled as $\Xi_b(1/2^-)$, whose mass and width are predicted to be $m_{\Xi_b(1/2^-)}=6.08^{+0.13}_{-0.11}$~GeV and $\Gamma_{\Xi_b(1/2^-)}=4^{+29}_{-~4}$~MeV, with the mass splitting $\Delta M=m_{\Xi_b(6100)}-m_{\Xi_b(1/2^-)}=9\pm3$~MeV. We propose to search for it in the $\Xi_c({1/2}^-)\to \Xi_b^{\prime}\pi$ decay channel. Our results also suggest that the $\Lambda_b(5912)$ and $\Lambda_b(5920)$ are their partner states with $J^P=1/2^-$ and $3/2^-$ respectively, and moreover, the $\Lambda_c(2595)$, $\Lambda_c(2625)$, $\Xi_c(2790)$, and $\Xi_c(2815)$ are their charmed partner states.


title: On an existence problem of periodic points in intervals whose images cover themselves

abstract: We consider $k$ intervals on the real line whose images under a continuous map $f$ contain themselves. It's conjectured that there exists a periodic point of period not bigger than $k$ in these intervals. We prove the conjecture for $k=5$ in this paper. We also propose a discretization method in attempt to solve the problem.


title: Double Flip Move for Ising Models with Mixed Boundary Conditions

abstract: This note introduces the double flip move for accelerating the Swendsen-Wang algorithm for Ising models with mixed boundary conditions below the critical temperature. The double flip move consists of a geometric flip of the spin lattice followed by a spin value flip. Both the symmetric and approximately symmetric models are considered. We prove the detailed balance of the double flip move and demonstrate its empirical efficiency in mixing.


title: The Geometry of Triangles

abstract: In this article we make the concept of a continuous family of triangles precise and prove the moduli functor classifying oriented triangles admits a fine moduli space but the functor classifying non-oriented triangles only admits a coarse moduli space. We hope moduli spaces of triangles can help understand stacks.


title: Automation Slicing and Testing for in-App Deep Learning Models

abstract: Intelligent Apps (iApps), equipped with in-App deep learning (DL) models, are emerging to offer stable DL inference services. However, App marketplaces have trouble auto testing iApps because the in-App model is black-box and couples with ordinary codes. In this work, we propose an automated tool, ASTM, which can enable large-scale testing of in-App models. ASTM takes as input an iApps, and the outputs can replace the in-App model as the test object. ASTM proposes two reconstruction techniques to translate the in-App model to a backpropagation-enabled version and reconstruct the IO processing code for DL inference. With the ASTM's help, we perform a large-scale study on the robustness of 100 unique commercial in-App models and find that 56\% of in-App models are vulnerable to robustness issues in our context. ASTM also detects physical attacks against three representative iApps that may cause economic losses and security issues.


title: RoMFAC: A robust mean-field actor-critic reinforcement learning against adversarial perturbations on states

abstract: Multi-agent deep reinforcement learning makes optimal decisions dependent on system states observed by agents, but any uncertainty on the observations may mislead agents to take wrong actions. The Mean-Field Actor-Critic reinforcement learning (MFAC) is well-known in the multi-agent field since it can effectively handle a scalability problem. However, it is sensitive to state perturbations that can significantly degrade the team rewards. This work proposes a Robust Mean-field Actor-Critic reinforcement learning (RoMFAC) that has two innovations: 1) a new objective function of training actors, composed of a \emph{policy gradient function} that is related to the expected cumulative discount reward on sampled clean states and an \emph{action loss function} that represents the difference between actions taken on clean and adversarial states; and 2) a repetitive regularization of the action loss, ensuring the trained actors to obtain excellent performance. Furthermore, this work proposes a game model named a State-Adversarial Stochastic Game (SASG). Despite the Nash equilibrium of SASG may not exist, adversarial perturbations to states in the RoMFAC are proven to be defensible based on SASG. Experimental results show that RoMFAC is robust against adversarial perturbations while maintaining its competitive performance in environments without perturbations.


title: Video Frame Interpolation with Transformer

abstract: Video frame interpolation (VFI), which aims to synthesize intermediate frames of a video, has made remarkable progress with development of deep convolutional networks over past years. Existing methods built upon convolutional networks generally face challenges of handling large motion due to the locality of convolution operations. To overcome this limitation, we introduce a novel framework, which takes advantage of Transformer to model long-range pixel correlation among video frames. Further, our network is equipped with a novel cross-scale window-based attention mechanism, where cross-scale windows interact with each other. This design effectively enlarges the receptive field and aggregates multi-scale information. Extensive quantitative and qualitative experiments demonstrate that our method achieves new state-of-the-art results on various benchmarks.


title: On the Physical Layer Security of a Dual-Hop UAV-based Network in the Presence of per-hop Eavesdropping and Imperfect CSI

abstract: In this paper, the physical layer security of a dual-hop unmanned aerial vehicle-based wireless network, subject to imperfect channel state information (CSI) and mobility effects, is analyzed. Specifically, a source node $(S)$ communicates with a destination node $(D)$ through a decode-and-forward relay $(R)$, in the presence of two wiretappers $\left(E_{1},E_{2}\right)$ independently trying to compromise the two hops. Furthermore, the transmit nodes $\left(S,R\right) $ have a single transmit antenna, while the receivers $\left(R,D,E_{1},E_{2}\right) $ are equipped with multiple receive antennas. Based on the per-hop signal-to-noise ratios (SNRs) and correlated secrecy capacities' statistics, a closed-form expression for the secrecy intercept probability (IP) metric is derived, in terms of key system parameters. Additionally, asymptotic expressions are revealed for two scenarios, namely (i) mobile nodes with imperfect CSI and (ii) static nodes with perfect CSI. The results show that a zero secrecy diversity order is manifested for the first scenario, due to the presence of a ceiling value of the average SNR, while the IP drops linearly at high average SNR in the second one, where the achievable diversity order depends on the fading parameters and number of antennas of the legitimate links/nodes. Furthermore, for static nodes, the system can be castigated by a $15$ dB secrecy loss at IP$=3\times10^{-3},$ when the CSI imperfection power raises from $0$ to $10^{-3}$. Lastly, the higher the legitimate nodes' speed, carrier frequency, delay, and/or relay's decoding threshold SNR, the worse is the system's secrecy. Monte Carlo simulations endorse the derived analytical results.


title: On Statistical Distribution for Adiabatically Isolated Body

abstract: The statistical distribution for the case of an adiabatically isolated body was obtained in the framework of covariant quantum theory and Wick's rotation in the complex time plane. The covariant formulation of the mechanics of an isolated system lies in the rejection of absolute time and the introduction of proper time as an independent dynamic variable. The equation of motion of proper time is the law of conservation of energy. In this case, the energy of an isolated system is an external parameter for the modified distribution instead of temperature.