title: Reversing Unknown Qubit-Unitary Operation, Deterministically and Exactly

abstract: We report a deterministic and exact protocol to reverse any unknown qubit-unitary operation, which simulates the time inversion of a closed qubit system. To avoid known no-go results on universal deterministic exact unitary inversion, we consider the most general class of protocols transforming unknown unitary operations within the quantum circuit model, where the input unitary operation is called multiple times in sequence and fixed quantum circuits are inserted between the calls. In the proposed protocol, the input qubit-unitary operation is called 4 times to achieve the inverse operation, and the output state in an auxiliary system can be reused as a catalyst state in another run of the unitary inversion. We also present the simplification of the semidefinite programming for searching the optimal deterministic unitary inversion protocol for an arbitrary dimension presented by M. T. Quintino and D. Ebler [Quantum $\textbf{6}$, 679 (2022)]. We show a method to reduce the large search space representing all possible protocols, which provides a useful tool for analyzing higher-order quantum transformations for unitary operations.


title: PERFECT: A Hyperbolic Embedding for Joint User and Community Alignment

abstract: Social network alignment shows fundamental importance in a wide spectrum of applications. To the best of our knowledge, existing studies mainly focus on network alignment at the individual user level, requiring abundant common information between shared individual users. For the networks that cannot meet such requirements, social community structures actually provide complementary and critical information at a slightly coarse-grained level, alignment of which will provide additional information for user alignment. In turn, user alignment also reveals more clues for community alignment. Hence, in this paper, we introduce the problem of joint social network alignment, which aims to align users and communities across social networks simultaneously. Key challenges lie in that 1) how to learn the representations of both users and communities, and 2) how to make user alignment and community alignment benefit from each other. To address these challenges, we first elaborate on the characteristics of real-world networks with the notion of delta-hyperbolicity, and show the superiority of hyperbolic space for representing social networks. Then, we present a novel hyperbolic embedding approach for the joint social network alignment, referred to as PERFECT, in a unified optimization. Extensive experiments on real-world datasets show the superiority of PERFECT in both user alignment and community alignment.


title: Polariton Localization and Dispersion Properties of Disordered Quantum Emitters in Multimode Microcavities

abstract: Experiments have demonstrated that the strong light-matter coupling in polaritonic microcavities significantly enhances transport. Motivated by these experiments, we have solved the disordered multimode Tavis-Cummings model in the thermodynamic limit and used this solution to analyze its dispersion and localization properties. The solution implies that wave-vector-resolved spectroscopic quantities can be described by single-mode models, but spatially resolved quantities require the multimode solution. Nondiagonal elements of the Green's function decay exponentially with distance, which defines the coherence length. The coherence length is strongly correlated with the photon weight and exhibits inverse scaling with respect to the Rabi frequency and an unusual dependence on disorder. For energies away from the average molecular energy $E_{\text{M}}$ and above the confinement energy $E_C$, the coherence length rapidly diverges such that it exceeds the photon resonance wavelength $\lambda_0$. The rapid divergence allows us to differentiate the localized and delocalized regimes and identify the transition from diffusive to ballistic transport.


title: Tunable mode entanglement: topological Su-Schrieffer-Heeger (SSH) chain with an embedded Aharonov-Bohm quantum ring

abstract: We investigate a variant of the SSH model consisting of an SSH chain with an embedded Aharonov-Bohm quantum ring. The embedded ring gives rise to domain wall states whose energy levels are in the band gap. The dependence of some of the states on the ring's magnetic flux provides a mechanism to control the entanglement between the two SSH edge fermion modes. The concurrence between the edge modes depends periodically on the magnetic flux. In the deep topological zone, for appropriate values of the flux, the concurrence reaches the extreme values of $0$ and $1$, corresponding to vanishing entanglement and to maximum entanglement. Therefore, the QR-SSH system offers a tuning mechanism that can be used either as an entanglement modulator or as an entanglement switch.


title: Social Media Engagement and Cryptocurrency Performance

abstract: We study the problem of predicting the future performance of cryptocurrencies using social media data. We propose a new model to measure the engagement of users with topics discussed on social media based on interactions with social media posts. This model overcomes the limitations of previous volume and sentiment based approaches. We use this model to estimate engagement coefficients for 48 cryptocurrencies created between 2019 and 2021 using data from Twitter from the first month of the cryptocurrencies' existence. We find that the future returns of the cryptocurrencies are dependent on the engagement coefficients. Cryptocurrencies whose engagement coefficients are too low or too high have lower returns. Low engagement coefficients signal a lack of interest, while high engagement coefficients signal artificial activity which is likely from automated accounts known as bots. We measure the amount of bot posts for the cryptocurrencies and find that generally, cryptocurrencies with more bot posts have lower future returns. While future returns are dependent on both the bot activity and engagement coefficient, the dependence is strongest for the engagement coefficient, especially for short-term returns. We show that simple investment strategies which select cryptocurrencies with engagement coefficients exceeding a fixed threshold perform well for holding times of a few months.


title: Optimal Sensor Placement in Body Surface Networks using Gaussian Processes

abstract: This paper explores a new sequential selection framework for the optimal sensor placement (OSP) in Electrocardiography imaging networks (ECGI). The proposed methodology incorporates the use a recent experimental design method for the sequential selection of landmarkings on biological objects, namely, Gaussian process landmarking (GPLMK) for better exploration of the candidate sensors. The two experimental design methods work as a source of the training and the validation locations which is fitted using a spatiotemporal Gaussian process (STGP). The STGP is fitted using the training set to predict for the current validation set generated using GPLMK, and the sensor with the largest prediction absolute error is selected from the current validation set and added to the selected sensors. Next, a new validation set is generated and predicted using the current training set. The process continues until selecting a specific number of sensor locations. The study is conducted on a dataset of body surface potential mapping (BSPM) of 352 electrodes of four human subjects. A number of 30 sensor locations is selected using the proposed algorithm. The selected sensor locations achieved average $R^2 = 94.40 \%$ for estimating the whole-body QRS segment. The proposed method adds to design efforts for a more clinically practical ECGI system by improving its wearability and reduce the design cost as well.


title: A stochastic agent-based model to evaluate COVID-19 transmission influenced by human mobility

abstract: The COVID-19 pandemic has created an urgent need for mathematical models that can project epidemic trends and evaluate the effectiveness of mitigation strategies. To forecast the transmission of COVID-19, a major challenge is the accurate assessment of the multi-scale human mobility and how they impact the infection through close contacts. By combining the stochastic agent-based modeling strategy and hierarchical structures of spatial containers corresponding to the notion of places in geography, this study proposes a novel model, Mob-Cov, to study the impact of human traveling behaviour and individual health conditions on the disease outbreak and the probability of zero COVID in the population. Specifically, individuals perform power-law type of local movements within a container and global transport between different-level containers. Frequent short movements inside a small-level container (e.g. a road or a county) and a large population size influence the local crowdedness of people, which accelerates the infection and regional transmission. Travels between large-level containers (e.g. cities and nations) facilitate global spread and outbreak. Moreover, dynamic infection and recovery in the population are able to drive the bifurcation of the system to a "zero-COVID" state or a "live with COVID" state, depending on the mobility patterns, population number and health conditions. Reducing total population and local people accumulation as well as restricting global travels help achieve zero-COVID. In summary, the Mob-Cov model considers more realistic human mobility in a wide range of spatial scales, and has been designed with equal emphasis on performance, low simulation cost, accuracy, ease of use and flexibility. It is a useful tool for researchers and politicians to investigate the pandemic dynamics and plan actions against the disease.


title: Convergence analysis of an implicit finite difference method for the inertial Landau-Lifshitz-Gilbert equation

abstract: The Landau-Lifshitz-Gilbert (LLG) equation is a widely used model for fast magnetization dynamics in ferromagnetic materials. Recently, the inertial LLG equation, which contains an inertial term, has been proposed to capture the ultra-fast magnetization dynamics at the sub-picosecond timescale. Mathematically, this generalized model contains the first temporal derivative and a newly introduced second temporal derivative of magnetization. Consequently, it produces extra difficulties in numerical analysis due to the mixed hyperbolic-parabolic type of this equation with degeneracy. In this work, we propose an implicit finite difference scheme based on the central difference in both time and space. A fixed point iteration method is applied to solve the implicit nonlinear system. With the help of a second order accurate constructed solution, we provide a convergence analysis in $H^1$ for this numerical scheme, in the $\ell^\infty (0, T; H_h^1)$ norm. It is shown that the proposed method is second order accurate in both time and space, with unconditional stability and a natural preservation of the magnetization length. In the hyperbolic regime, significant damping wave behaviors of magnetization at a shorter timescale are observed through numerical simulations.


title: Decoherences-protected implementation of quantum gates

abstract: We present a scheme to implement a universal set of quantum gates based on achievable interactions, and the gates can be protected against decoherences through dynamical-decoupling approach without encoding. By properly designing system evolutions, the desired system interactions commute with the elements forming dynamical decoupling pulses. Thus, the effect of decoherences can be eliminated by repeatedly applying the pulses, without noticeably affecting the system evolutions governed by the desired system interactions given small enough time interval between pulses. Moreover, due to the commutation between the elements forming the pulses and the desired system interactions, our scheme is resistant to different types of decoherences, and so not limited to specific decoherences. Our scheme also works well in the case that the desired system interactions cannot be achieved ideally due to imperfect control of system parameters, through the action of dynamical-decoupling pulses.


title: Hardware Acceleration of Sampling Algorithms in Sample and Aggregate Graph Neural Networks

abstract: Sampling is an important process in many GNN structures in order to train larger datasets with a smaller computational complexity. However, compared to other processes in GNN (such as aggregate, backward propagation), the sampling process still costs tremendous time, which limits the speed of training. To reduce the time of sampling, hardware acceleration is an ideal choice. However, state of the art GNN acceleration proposal did not specify how to accelerate the sampling process. What's more, directly accelerating traditional sampling algorithms will make the structure of the accelerator very complicated. In this work, we made two contributions: (1) Proposed a new neighbor sampler: CONCAT Sampler, which can be easily accelerated on hardware level while guaranteeing the test accuracy. (2) Designed a CONCAT-sampler-accelerator based on FPGA, with which the neighbor sampling process boosted to about 300-1000 times faster compared to the sampling process without it.


title: Pulsars as candidates of LHAASO sources J2226+6057, J1908+0621 and J1825-1326

abstract: The LHAASO Collaboration has observed ultrahigh-energy photons up to $1.4$PeV from $12$ $\gamma$-ray Galactic sources. In particular, the $\gamma$-ray spectra of the sources J2226+6057, J1908+0621, J1825-1326 have been published. We investigate the possibility of suggested origin pulsars near the sources as the PeVatrons. The pulsar is described by a rotating magnetic dipole. Assuming protons are uniform distributed out of the light cylinders, we obtain the Lorentz distribution of proton energy spectrum. It is found that the protons around pulsar could be accelerated to PeV at short times. The hadronic $\gamma$-ray spectra of the suggested origin pulsars are in good agreement with the LHAASO observed $\gamma$-ray spectra of the sources J2226+6057, J1908+0621, J1825-1326.


title: High-throughput optical absorption spectra for inorganic semiconductors

abstract: An optical absorption spectrum constitutes one of the most fundamental material characteristics, with relevant applications ranging from material identification to energy harvesting and optoelectronics. However, the database of both experimental and computational spectra is currently lacking. In this study, we designed a computational workflow for the optical absorption spectrum and integrated the simulated spectra into the Materials Project. Using density-functional theory, we computed the frequency-dependent dielectric function and the corresponding absorption coefficient for more than 1000 solid compounds of varying crystal structure and chemistry. The computed spectra show excellent agreement, as quantified by a high value of the Pearson correlation, with experimental results when applying the band gap correction from the HSE functional. The demonstrated calculated accuracy in the spectra suggests that the workflow can be applied in screening studies for materials with specific optical properties.


title: Asymptotic expansion of an estimator for the Hurst coefficient

abstract: Asymptotic expansion is presented for an estimator of the Hurst coefficient of a fractional Brownian motion. For this, a recently developed theory of asymptotic expansion of the distribution of Wiener functionals is applied. The effects of the asymptotic expansion are demonstrated by numerical studies.


title: Blow up and lifespan estimates for systems of semi-linear wave equations with dampings and potentials

abstract: In this paper, we consider the semi-linear wave systems with power-nonlinearities and space-dependent dampings and potentials. We obtain the blow-up regions for three types wave systems as well as the lifespan estimates.


title: A SUMO Framework for Deep Reinforcement Learning Experiments Solving Electric Vehicle Charging Dispatching Problem

abstract: In modern cities, the number of Electric vehicles (EV) is increasing rapidly for their low emission and better dynamic performance, leading to increasing demand for EV charging. However, due to the limited number of EV charging facilities, catering to the huge demand for time-consuming EV charging becomes a critical problem. It is quite a challenge to dispatch EVs in the dynamic traffic environment and coordinate interaction among agents. To better serve further research on various related Deep Reinforcment Learning (DRL) EV dispatching algorithms, an efficient simulation environment is necessary to ensure success. As simulator Simulation Urban Mobility (SUMO) is one of the most widely used open-source simulators, it has great significance in creating an environment that satisfies research requirements on SUMO. We aim to improve the efficiency of EV charging station usage and save time for EV users in further work. As a result, we design an EV navigation system on the basis of the traffic simulator SUMO using Jurong Area, Singapore in this paper. Various state-of-the-art DRL algorithms are deployed on the designed testbed to validate the feasibility of the framework in terms of EV charging dispatching problems. Besides EV dispatching problems, the environment can also serve for other reinforcement learning (RL) traffic control problems


title: How Surface Roughness Affects the Interparticle Interactions at a Liquid Interface

abstract: Shapes of colloids matter at liquid interfaces. We explore the interactions between rough-surfaced nanocolloids at the air--water interface through the compaction of monolayers experimentally and numerically. Sufficiently rough systems exhibit a non-trivial intermediate state between a gas-like state and a close-packed jamming state due to roughness-induced capillary attraction. We also find that roughness-induced friction lowers the jamming point, and the tangential contact force owing to surface asperities can cause a gradual off-plane collapse of the compressed monolayer.


title: Phase-resolved measurement and control of ultrafast dynamics in terahertz electronic oscillators

abstract: As a key component for next-generation wireless communications (6G and beyond), terahertz (THz) electronic oscillators are being actively developed. Precise and dynamic phase control of ultrafast THz waveforms is essential for high-speed beam steering and high-capacity data transmission. However, measurement of such ultrafast dynamic process is beyond the scope of electronics due to the limited bandwidth of the electrical measuring instruments. Here we surpass this limit by applying photonic technology. Using a femtosecond laser, we generate offset-free THz pulses to phase-lock the electronic oscillators based on a resonant tunneling diode. This enables us to perform phase-resolved measurement of the emitted THz electric field waveform in time-domain with sub-cycle time resolution. Ultrafast dynamic response such as anti-phase locking behaviour is observed, which is distinct from in-phase stimulated emission observed in laser oscillators. We also show that the dynamics follows the universal synchronization theory for limit cycle oscillators. This provides a basic guideline for dynamic phase control of THz electronic oscillators, enabling many key performance indicators to be achieved in the new era of 6G and beyond.


title: $\mathbf{RP}^n \# \mathbf{RP}^n$ and some others admit no $\mathbf{RP}^n$-structure

abstract: A manifold $M$ possesses an $\mathbf{RP}^n$-structure if it has an atlas consisting of charts mapping to $\mathbf{S}^n$, where the transition maps lie in $\mathrm{SL}_\pm(n+1, \mathbf{R})$. In this context, we present a concise proof demonstrating that $\mathbf{RP}^n\#\mathbf{RP}^n$ and a few other manifolds do not possess an $\mathbf{RP}^n$-structure when $n\geq3$. Notably, our proof is shorter than those provided by Cooper-Goldman for $n=3$ and Coban for $n\geq 4$. To do this, we will classify closed $\mathbf{RP}^n$-manifolds with infinite cyclic holonomy groups based on Benoist's work. We will leverage the concept of $n$-octantizability of $\mathbf{RP}^n$-manifolds with nilpotent holonomy groups, as introduced by Benoist and Smillie, which serves as a powerful tool.


title: Index of coregularity zero log Calabi-Yau pairs

abstract: In this article, we study the index of log Calabi--Yau pairs $(X,B)$ of coregularity 0. We show that $2\lambda(K_X+B)\sim 0$, where $\lambda$ is the Weil index of $(X,B)$. This is in contrast to the case of klt Calabi--Yau varieties, where the index can grow doubly exponentially with the dimension. Our sharp bound on the index extends to the context of generalized log Calabi--Yau pairs, semi-log canonical pairs, and isolated log canonical singularities of coregularity 0. As a consequence, we show that the index of a variety appearing in the Gross--Siebert program or in the Kontsevich--Soibelman program is at most $2$. Finally, we discuss applications to Calabi--Yau varieties endowed with a finite group action, including holomorphic symplectic varieties endowed with a purely non-symplectic automorphism.


title: Some explicit arithmetics on curves of genus three and their applications

abstract: A Richelot isogeny between Jacobian varieties is an isogeny whose kernel is included in the $2$-torsion subgroup of the domain. In particular, a Richelot isogeny whose codomain is the product of two or more principally porlalized abelian varieties is called a decomposed Richelot isogeny. In this paper, we develop some explicit arithmetics on curves of genus $3$, including algorithms to compute the codomain of a decomposed Richelot isogeny. As solutions to compute the domain of a decomposed Richelot isogeny, explicit formulae of defining equations for Howe curves of genus $3$ are also given. Using the formulae, we shall construct an algorithm with complexity $\tilde{O}(p^3)$ (resp.\ $\tilde{O}(p^4)$) to enumerate all hyperelliptic (resp.\ non-hyperelliptic) superspecial Howe curves of genus $3$.


title: Network-aware Prefetching Method for Short-Form Video Streaming

abstract: Recent years have witnessed the rising of short-form video platforms such as TikTok. Apart from conventional videos, short-form videos are much shorter and users frequently change the content to watch. Thus, it is crucial to have an effective streaming method for this new type of video. In this paper, we propose a resource-efficient prefetching method for short-form video streaming. Taking into account network throughput conditions and user viewing behaviors, the proposed method dynamically adapts the amount of prefetched video data. Experiment results show that our method can reduce the data waste by 37~52% compared to other existing methods.


title: Revisiting the Rellich inequality

abstract: We revisit the Rellich inequality from the viewpoint of isolating the contributions from radial and spherical derivatives. This naturally leads to a comparison of the norms of the radial Laplacian and Laplace{Beltrami operators with the standard Laplacian. In the case of the Laplace{ Beltrami operator, the three-dimensional case is the most subtle and here we improve a result of Evans and Lewis by identifying the best constant. Our arguments build on certain identities recently established by Wadade and the second and third authors, along with use of spherical harmonics.


title: Deep Learning for Medical Imaging From Diagnosis Prediction to its Counterfactual Explanation

abstract: Deep neural networks (DNN) have achieved unprecedented performance in computer-vision tasks almost ubiquitously in business, technology, and science. While substantial efforts are made to engineer highly accurate architectures and provide usable model explanations, most state-of-the-art approaches are first designed for natural vision and then translated to the medical domain. This dissertation seeks to address this gap by proposing novel architectures that integrate the domain-specific constraints of medical imaging into the DNN model and explanation design.


title: Reflections on Software Failure Analysis

abstract: Failure studies are important in revealing the root causes, behaviors, and life cycle of defects in software systems. These studies either focus on understanding the characteristics of defects in specific classes of systems or the characteristics of a specific type of defect in the systems it manifests in. Failure studies have influenced various software engineering research directions, especially in the area of software evolution, defect detection, and program repair. In this paper, we reflect on the conduct of failure studies in software engineering. We reviewed a sample of 52 failure study papers. We identified several recurring problems in these studies, some of which hinder the ability of the engineering community to trust or replicate the results. Based on our findings, we suggest future research directions, including identifying and analyzing failure causal chains, standardizing the conduct of failure studies, and tool support for faster defect analysis.


title: Solving Elliptic Problems with Singular Sources using Singularity Splitting Deep Ritz Method

abstract: In this work, we develop an efficient solver based on neural networks for second-order elliptic equations with variable coefficients and singular sources. This class of problems covers general point sources, line sources and the combination of point-line sources, and has a broad range of practical applications. The proposed approach is based on decomposing the true solution into a singular part that is known analytically using the fundamental solution of the Laplace equation and a regular part that satisfies a suitable modified elliptic PDE with a smoother source, and then solving for the regular part using the deep Ritz method. A path-following strategy is suggested to select the penalty parameter for enforcing the Dirichlet boundary condition. Extensive numerical experiments in two- and multi-dimensional spaces with point sources, line sources or their combinations are presented to illustrate the efficiency of the proposed approach, and a comparative study with several existing approaches based on neural networks is also given, which shows clearly its competitiveness for the specific class of problems. In addition, we briefly discuss the error analysis of the approach.


title: Cluster time measurement with CEPC calorimeter

abstract: We have developed an algorithm dedicated to timing reconstruction in highly granular calorimeters (HGC). The performance of this algorithm is evaluated on an electromagnetic calorimeter (ECAL) with geometries comparable to the electromagnetic compartment (CE-E) of the CMS endcap calorimeter upgrade at HL-LHC and conceptual Particle Flow oriented ECAL's for future Higgs factories. The time response of individual channel is parameterized according to the CMS experimental result. The particle Time-of-Flight (ToF) can be measured with a resolution of $5\sim20 \;\rm{ps}$ for electromagnetic (EM) showers and $80\sim 160 \;\rm{ps}$ for hadronic showers above 1 GeV. The presented algorithm can significantly improve the time resolution, compared to a simple averaging of the fast component of the time spectrum. The effects of three detector configurations are also quantified in this study. ToF resolution depends linearly on the timing resolution of a single silicon sensor and improves statistically with increasing incident particle energy. A clustering algorithm that vetos isolated hits improves ToF resolution.


title: Facial De-morphing: Extracting Component Faces from a Single Morph

abstract: A face morph is created by strategically combining two or more face images corresponding to multiple identities. The intention is for the morphed image to match with multiple identities. Current morph attack detection strategies can detect morphs but cannot recover the images or identities used in creating them. The task of deducing the individual face images from a morphed face image is known as \textit{de-morphing}. Existing work in de-morphing assume the availability of a reference image pertaining to one identity in order to recover the image of the accomplice - i.e., the other identity. In this work, we propose a novel de-morphing method that can recover images of both identities simultaneously from a single morphed face image without needing a reference image or prior information about the morphing process. We propose a generative adversarial network that achieves single image-based de-morphing with a surprisingly high degree of visual realism and biometric similarity with the original face images. We demonstrate the performance of our method on landmark-based morphs and generative model-based morphs with promising results.


title: Boundary Guided Semantic Learning for Real-time COVID-19 Lung Infection Segmentation System

abstract: The coronavirus disease 2019 (COVID-19) continues to have a negative impact on healthcare systems around the world, though the vaccines have been developed and national vaccination coverage rate is steadily increasing. At the current stage, automatically segmenting the lung infection area from CT images is essential for the diagnosis and treatment of COVID-19. Thanks to the development of deep learning technology, some deep learning solutions for lung infection segmentation have been proposed. However, due to the scattered distribution, complex background interference and blurred boundaries, the accuracy and completeness of the existing models are still unsatisfactory. To this end, we propose a boundary guided semantic learning network (BSNet) in this paper. On the one hand, the dual-branch semantic enhancement module that combines the top-level semantic preservation and progressive semantic integration is designed to model the complementary relationship between different high-level features, thereby promoting the generation of more complete segmentation results. On the other hand, the mirror-symmetric boundary guidance module is proposed to accurately detect the boundaries of the lesion regions in a mirror-symmetric way. Experiments on the publicly available dataset demonstrate that our BSNet outperforms the existing state-of-the-art competitors and achieves a real-time inference speed of 44 FPS.


title: Normalised clustering accuracy: An asymmetric external cluster validity measure

abstract: There is no, nor will there ever be, single best clustering algorithm, but we would still like to be able to distinguish between methods which work well on certain task types and those that systematically underperform. Clustering algorithms are traditionally evaluated using either internal or external validity measures. Internal measures quantify different aspects of the obtained partitions, e.g., the average degree of cluster compactness or point separability. Yet, their validity is questionable, because the clusterings they promote can sometimes be meaningless. External measures, on the other hand, compare the algorithms' outputs to the fixed ground truth groupings that are provided by experts. In this paper, we argue that the commonly-used classical partition similarity scores, such as the normalised mutual information, Fowlkes--Mallows, or adjusted Rand index, miss some desirable properties. In particular, they do not identify worst-case scenarios correctly nor are they easily interpretable. As a consequence, it can be difficult to evaluate clustering algorithms on diverse benchmark datasets. To remedy these issues, we propose and analyse a new measure: a version of the optimal set-matching accuracy, which is normalised, monotonic with respect to some similarity relation, scale invariant, and corrected for the imbalancedness of cluster sizes (but neither symmetric nor adjusted for chance).


title: A Double-oracle, Logic-based Benders decomposition approach to solve the K-adaptability problem

abstract: We propose a novel approach to solve K-adaptability problems with convex objective and constraints and integer first-stage decisions. A logic-based Benders decomposition is applied to handle the first-stage decisions in a master problem, thus the sub-problem becomes a min-max-min robust combinatorial optimization problem that is solved via a double-oracle algorithm that iteratively generates adverse scenarios and recourse decisions and assigns scenarios to K subsets of the decisions by solving p-center problems. Extensions of the proposed approach to handle parameter uncertainty in both the first-stage objective and the second-stage constraints are also provided. We show that the proposed algorithm converges to an optimal solution and terminates in finite number of iterations. Numerical results obtained from experiments on benchmark instances of the adaptive shortest path problem, the regular knapsack problem, and a generic K-adaptability problem demonstrate the performance advantage of the proposed approach when compared to state-of-the-art methods in the literature.


title: Topology of vibrational modes predict plastic events in glasses

abstract: The plastic deformation of crystalline materials can be understood by considering their structural defects such as disclinations and dislocations. Although glasses are also solids, their structure resembles closely the one of a liquid and hence the concept of structural defects becomes ill-defined. As a consequence it is very challenging to rationalize on a microscopic level the mechanical properties of glasses close to the yielding point and to relate plastic events with structural properties. Here we investigate the topological characteristics of the eigenvector field of the vibrational excitations of a two-dimensional glass model, notably the geometric arrangement of the topological defects as a function of vibrational frequency. We find that if the system is subjected to a quasistatic shear, the location of the resulting plastic events correlate strongly with the topological defects that have a negative charge. Our results provide thus a direct link between the structure of glasses prior their deformation and the plastic events during deformation.

categories: cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.soft cond-mat.stat-mech


title: Conformal Mirror Descent with Logarithmic Divergences

abstract: The logarithmic divergence is an extension of the Bregman divergence motivated by optimal transport and a generalized convex duality, and satisfies many remarkable properties. Using the geometry induced by the logarithmic divergence, we introduce a generalization of continuous time mirror descent that we term the conformal mirror descent. We derive its dynamics under a generalized mirror map, and show that it is a time change of a corresponding Hessian gradient flow. We also prove convergence results in continuous time. We apply the conformal mirror descent to online estimation of a generalized exponential family, and construct a family of gradient flows on the unit simplex via the Dirichlet optimal transport problem.


title: Grouping-matrix based Graph Pooling with Adaptive Number of Clusters

abstract: Graph pooling is a crucial operation for encoding hierarchical structures within graphs. Most existing graph pooling approaches formulate the problem as a node clustering task which effectively captures the graph topology. Conventional methods ask users to specify an appropriate number of clusters as a hyperparameter, then assume that all input graphs share the same number of clusters. In inductive settings where the number of clusters can vary, however, the model should be able to represent this variation in its pooling layers in order to learn suitable clusters. Thus we propose GMPool, a novel differentiable graph pooling architecture that automatically determines the appropriate number of clusters based on the input data. The main intuition involves a grouping matrix defined as a quadratic form of the pooling operator, which induces use of binary classification probabilities of pairwise combinations of nodes. GMPool obtains the pooling operator by first computing the grouping matrix, then decomposing it. Extensive evaluations on molecular property prediction tasks demonstrate that our method outperforms conventional methods.


title: Emergent bulk gauge field in random tensor networks

abstract: Random tensor network states are toy models for holographic duality, which have entanglement properties determined by graph geometry. In this paper, we propose a generalization of the random tensor network states which describe an ensemble of states preserving a given global symmetry. We show that Renyi entropy for this family of states can be described by a quantum extremal surface formula, with corrections to the area law term determined by a bulk gauge theory wavefunction. This provides a toy model of the correspondence between boundary global symmetry and bulk gauge symmetry in holographic duality. We discuss the boundary physical consequences of the bulk deconfined and confined phases.


title: Can GAN-induced Attribute Manipulations Impact Face Recognition?

abstract: Impact due to demographic factors such as age, sex, race, etc., has been studied extensively in automated face recognition systems. However, the impact of \textit{digitally modified} demographic and facial attributes on face recognition is relatively under-explored. In this work, we study the effect of attribute manipulations induced via generative adversarial networks (GANs) on face recognition performance. We conduct experiments on the CelebA dataset by intentionally modifying thirteen attributes using AttGAN and STGAN and evaluating their impact on two deep learning-based face verification methods, ArcFace and VGGFace. Our findings indicate that some attribute manipulations involving eyeglasses and digital alteration of sex cues can significantly impair face recognition by up to 73% and need further analysis.


title: Systematic study on the dependence of the warm-start quantum approximate optimization algorithm on approximate solutions

abstract: Quantum approximate optimization algorithm (QAOA) is a promising hybrid quantum-classical algorithm to solve combinatorial optimization problems in the era of noisy intermediate-scale quantum computers. Recently warm-start approaches have been proposed to improve the performance of QAOA, where approximate solutions are obtained by classical algorithms in advance and incorporated into the initial state and/or unitary ansatz. In this work, we study in detail how the accuracy of approximate solutions affect the performance of the warm-start QAOA (WS-QAOA). We numerically find that in typical MAX-CUT problems, WS-QAOA tends to outperform QAOA as approximate solutions become closer to the exact solutions in terms of the Hamming distance. We reveal that this could be quantitatively attributed to the initial state of the ansatz. We also solve MAX-CUT problems by WS-QAOA with approximate solutions obtained via QAOA, having a better result than QAOA especially when the circuit is relatively shallow. We believe that our study may deepen understanding of the performance of WS-QAOA and also provide a guide as to the necessary quality of approximate solutions.


title: Skeleton structure inherent in discrete-time quantum walks

abstract: In this paper, we claim that a common underlying structure--a skeleton structure--is present behind discrete-time quantum walks (QWs) on a one-dimensional lattice with a homogeneous coin matrix. This skeleton structure is independent of the initial state, and partially, even of the coin matrix. This structure is best interpreted in the context of quantum-walk-replicating random walks (QWRWs), i.e., random walks that replicate the probability distribution of quantum walks, where this newly found structure acts as a simplified formula for the transition probability. Additionally, we construct a random walk whose transition probabilities are defined by the skeleton structure and demonstrate that the resultant properties of the walkers are similar to both the original QWs and QWRWs.


title: Architecture-Algorithmic Trade-offs in Multi-path Channel Estimation for mmWAVE Systems

abstract: 5G mmWave massive MIMO systems are likely to be deployed in dense urban scenarios, where increasing network capacity is the primary objective. A key component in mmWave transceiver design is channel estimation which is challenging due to the very large signal bandwidths (order of GHz) implying significant resolved spatial multipath, coupled with large # of Tx/Rx antennas for large-scale MIMO. This results in significantly increased training overhead that in turn leads to unacceptably high computational complexity and power cost. Our work thus highlights the interplay of transceiver architecture and receiver signal processing algorithm choices that fundamentally address (mobile) handset power consumption, with minimal degradation in performance. We investigate trade-offs enabled by conjunction of hybrid beamforming mmWave receiver and channel estimation algorithms that exploit available sparsity in such wideband scenarios. A compressive sensing (CS) framework for sparse channel estimation -- Binary Iterative Hard Thresholding (BIHT) \cite{jacques2013robust} followed by linear reconstruction method with varying quantization (ADC) levels -- is explored to compare the trade-offs between bit-depth and sampling rate for a given ADC power budget. Performance analysis of the BIHT+ linear reconstruction method is conducted via simulation studies for 5G specified multi-path channel models and compared to oracle-assisted bounds for validation.


title: Heat Flux and Wall Shear Stress in Large Aspect-Ratio Turbulent Vertical Convection

abstract: We present a theoretical analysis of large aspect-ratio turbulent vertical convection that yields two relationships between heat flux and wall shear stress, measured respectively by the Nusselt number ($\text{Nu}$) and shear Reynolds number ($\text{Re}_\tau$), in terms of the Rayleigh ($\text{Ra}$) and Prandtl numbers ($\text{Pr}$): $\text{Re}_\tau^2 \text{Nu} = f(\text{Pr}) \text{Pr}^{-1} \text{Ra}$ in the high-$\text{Ra}$ limit and $\text{Nu} \approx C \text{Pr}^{\varepsilon} \text{Re}_\tau$ with $\varepsilon=1/3$ for $\text{Pr} \gg1$ and $\varepsilon=1$ for $\text{Pr} \ll 1$, where $f(\text{Pr})$ is not a power law of $\text{Pr}$ and $C$ is a constant. These relationships imply $\text{Nu} \approx [C^2f(\text{Pr})]^{1/3} \text{Pr}^{-(1-2\varepsilon)/3} \text{Ra}^{1/3}$ and $\text{Re}_\tau\approx[f(\text{Pr})/C]^{1/3}\text{Pr}^{-(1+\varepsilon)/3}\text{Ra}^{1/3}$ for high $\text{Ra}$.


title: On the Sparse DAG Structure Learning Based on Adaptive Lasso

abstract: Learning the underlying Bayesian Networks (BNs), represented by directed acyclic graphs (DAGs), of the concerned events from purely-observational data is a crucial part of evidential reasoning. This task remains challenging due to the large and discrete search space. A recent flurry of developments followed NOTEARS[1] recast this combinatorial problem into a continuous optimization problem by leveraging an algebraic equality characterization of acyclicity. However, the continuous optimization methods suffer from obtaining non-spare graphs after the numerical optimization, which leads to the inflexibility to rule out the potentially cycle-inducing edges or false discovery edges with small values. To address this issue, in this paper, we develop a completely data-driven DAG structure learning method without a predefined value to post-threshold small values. We name our method NOTEARS with adaptive Lasso (NOTEARS-AL), which is achieved by applying the adaptive penalty method to ensure the sparsity of the estimated DAG. Moreover, we show that NOTEARS-AL also inherits the oracle properties under some specific conditions. Extensive experiments on both synthetic and a real-world dataset demonstrate that our method consistently outperforms NOTEARS.


title: Several remarks on norm attaining in tensor product spaces

abstract: The aim of this note is to obtain results about when the norm of a projective tensor product is strongly subdifferentiable. We prove that if $X\hat{\otimes}_\pi Y$ is strongly subdifferentiable and either $X$ or $Y$ has the metric approximation property then every bounded operator from $X$ to $Y^*$ is compact. We also prove that $(\ell_p(I)\hat{\otimes}_\pi \ell_q(J))^*$ has the $w^*$-Kadec-Klee property for every non-empty sets $I,J$ and every $2<p,q<\infty$, obtaining in particular that the norm of the space $\ell_p(I)\hat{\otimes}_\pi \ell_q(J)$ is strongly subdifferentiable. This extends several results of Dantas, Kim, Lee and Mazzitelli. We also find examples of spaces $X$ and $Y$ for which the set of norm-attaining tensors in $X\pten Y$ is dense but whose complement is dense too.


title: Assessing Software Privacy using the Privacy Flow-Graph

abstract: We increasingly rely on digital services and the conveniences they provide. Processing of personal data is integral to such services and thus privacy and data protection are a growing concern, and governments have responded with regulations such as the EU's GDPR. Following this, organisations that make software have legal obligations to document the privacy and data protection of their software. This work must involve both software developers that understand the code and the organisation's data protection officer or legal department that understands privacy and the requirements of a Data Protection and Impact Assessment (DPIA). To help developers and non-technical people such as lawyers document the privacy and data protection behaviour of software, we have developed an automatic software analysis technique. This technique is based on static program analysis to characterise the flow of privacy-related data. The results of the analysis can be presented as a graph of privacy flows and operations - that is understandable also for non-technical people. We argue that our technique facilitates collaboration between technical and non-technical people in documenting the privacy behaviour of the software. We explain how to use the results produced by our technique to answer a series of privacy-relevant questions needed for a DPIA. To illustrate our work, we show both detailed and abstract analysis results from applying our analysis technique to the secure messaging service Signal and to the client of the cloud service NextCloud and show how their privacy flow-graphs inform the writing of a DPIA.


title: Nonoverlapping (delta, gamma)-approximate pattern matching

abstract: Pattern matching can be used to calculate the support of patterns, and is a key issue in sequential pattern mining (or sequence pattern mining). Nonoverlapping pattern matching means that two occurrences cannot use the same character in the sequence at the same position. Approximate pattern matching allows for some data noise, and is more general than exact pattern matching. At present, nonoverlapping approximate pattern matching is based on Hamming distance, which cannot be used to measure the local approximation between the subsequence and pattern, resulting in large deviations in matching results. To tackle this issue, we present a Nonoverlapping Delta and gamma approximate Pattern matching (NDP) scheme that employs the (delta, gamma)-distance to give an approximate pattern matching, where the local and the global distances do not exceed delta and gamma, respectively. We first transform the NDP problem into a local approximate Nettree and then construct an efficient algorithm, called the local approximate Nettree for NDP (NetNDP). We propose a new approach called the Minimal Root Distance which allows us to determine whether or not a node has root paths that satisfy the global constraint and to prune invalid nodes and parent-child relationships. NetNDP finds the rightmost absolute leaf of the max root, searches for the rightmost occurrence from the rightmost absolute leaf, and deletes this occurrence. We iterate the above steps until there are no new occurrences. Numerous experiments are used to verify the performance of the proposed algorithm.


title: Visual Transformer for Soil Classification

abstract: Our food security is built on the foundation of soil. Farmers would be unable to feed us with fiber, food, and fuel if the soils were not healthy. Accurately predicting the type of soil helps in planning the usage of the soil and thus increasing productivity. This research employs state-of-the-art Visual Transformers and also compares performance with different models such as SVM, Alexnet, Resnet, and CNN. Furthermore, this study also focuses on differentiating different Visual Transformers architectures. For the classification of soil type, the dataset consists of 4 different types of soil samples such as alluvial, red, black, and clay. The Visual Transformer model outperforms other models in terms of both test and train accuracies by attaining 98.13% on training and 93.62% while testing. The performance of the Visual Transformer exceeds the performance of other models by at least 2%. Hence, the novel Visual Transformers can be used for Computer Vision tasks including Soil Classification.


title: Democratizing Domain-Specific Computing

abstract: In the past few years, domain-specific accelerators (DSAs), such as Google's Tensor Processing Units, have shown to offer significant performance and energy efficiency over general-purpose CPUs. An important question is whether typical software developers can design and implement their own customized DSAs, with affordability and efficiency, to accelerate their applications. This article presents our answer to this question.


title: BiFuse++: Self-supervised and Efficient Bi-projection Fusion for 360 Depth Estimation

abstract: Due to the rise of spherical cameras, monocular 360 depth estimation becomes an important technique for many applications (e.g., autonomous systems). Thus, state-of-the-art frameworks for monocular 360 depth estimation such as bi-projection fusion in BiFuse are proposed. To train such a framework, a large number of panoramas along with the corresponding depth ground truths captured by laser sensors are required, which highly increases the cost of data collection. Moreover, since such a data collection procedure is time-consuming, the scalability of extending these methods to different scenes becomes a challenge. To this end, self-training a network for monocular depth estimation from 360 videos is one way to alleviate this issue. However, there are no existing frameworks that incorporate bi-projection fusion into the self-training scheme, which highly limits the self-supervised performance since bi-projection fusion can leverage information from different projection types. In this paper, we propose BiFuse++ to explore the combination of bi-projection fusion and the self-training scenario. To be specific, we propose a new fusion module and Contrast-Aware Photometric Loss to improve the performance of BiFuse and increase the stability of self-training on real-world videos. We conduct both supervised and self-supervised experiments on benchmark datasets and achieve state-of-the-art performance.


title: Tame class field theory over local fields

abstract: For a quasi-projective scheme $X$ admitting a smooth compactification over a local field of residue characteristic $p > 0$, we construct a continuous reciprocity homomorphism from a tame class group to the abelian tame etale fundamental group of $X$. We describe the prime-to-$p$ parts of its kernel and cokernel. This generalizes the higher dimensional unramified class field theory over local fields by Jannsen-Saito and Forre. We also prove a finiteness theorem for the geometric part of the abelian tame etale fundamental group, generalizing the results of Grothendieck and Yoshida for the unramified fundamental group.


title: A Deep Reinforcement Learning Strategy for UAV Autonomous Landing on a Platform

abstract: With the development of industry, drones are appearing in various field. In recent years, deep reinforcement learning has made impressive gains in games, and we are committed to applying deep reinforcement learning algorithms to the field of robotics, moving reinforcement learning algorithms from game scenarios to real-world application scenarios. We are inspired by the LunarLander of OpenAI Gym, we decided to make a bold attempt in the field of reinforcement learning to control drones. At present, there is still a lack of work applying reinforcement learning algorithms to robot control, the physical simulation platform related to robot control is only suitable for the verification of classical algorithms, and is not suitable for accessing reinforcement learning algorithms for the training. In this paper, we will face this problem, bridging the gap between physical simulation platforms and intelligent agent, connecting intelligent agents to a physical simulation platform, allowing agents to learn and complete drone flight tasks in a simulator that approximates the real world. We proposed a reinforcement learning framework based on Gazebo that is a kind of physical simulation platform (ROS-RL), and used three continuous action space reinforcement learning algorithms in the framework to dealing with the problem of autonomous landing of drones. Experiments show the effectiveness of the algorithm, the task of autonomous landing of drones based on reinforcement learning achieved full success.


title: Semi-supervised Crowd Counting via Density Agency

abstract: In this paper, we propose a new agency-guided semi-supervised counting approach. First, we build a learnable auxiliary structure, namely the density agency to bring the recognized foreground regional features close to corresponding density sub-classes (agents) and push away background ones. Second, we propose a density-guided contrastive learning loss to consolidate the backbone feature extractor. Third, we build a regression head by using a transformer structure to refine the foreground features further. Finally, an efficient noise depression loss is provided to minimize the negative influence of annotation noises. Extensive experiments on four challenging crowd counting datasets demonstrate that our method achieves superior performance to the state-of-the-art semi-supervised counting methods by a large margin. Code is available.


title: On composition ideals and dual ideals of bounded holomorphic mappings

abstract: Applying a linearization theorem due to J. Mujica, we study the ideals of bounded holomorphic mappings $\mathcal{H}^\infty\circ\mathcal{I}$ generated by composition with an operator ideal $\mathcal{I}$. The bounded-holomorphic dual ideal of $\mathcal{I}$ is introduced and its elements are characterized as those that admit a factorization through $\mathcal{I}^\mathrm{dual}$. For complex Banach spaces $E$ and $F$, we also analyze new ideals of bounded holomorphic mappings from an open subset $U\subseteq E$ to $F$ such as $p$-integral holomorphic mappings and $p$-nuclear holomorphic mappings with $1\leq p<\infty$. We prove that every $p$-integral ($p$-nuclear) holomorphic mapping from $U$ to $F$ has relatively weakly compact (compact) range.


title: A Weakly Supervised Learning Framework for Salient Object Detection via Hybrid Labels

abstract: Fully-supervised salient object detection (SOD) methods have made great progress, but such methods often rely on a large number of pixel-level annotations, which are time-consuming and labour-intensive. In this paper, we focus on a new weakly-supervised SOD task under hybrid labels, where the supervision labels include a large number of coarse labels generated by the traditional unsupervised method and a small number of real labels. To address the issues of label noise and quantity imbalance in this task, we design a new pipeline framework with three sophisticated training strategies. In terms of model framework, we decouple the task into label refinement sub-task and salient object detection sub-task, which cooperate with each other and train alternately. Specifically, the R-Net is designed as a two-stream encoder-decoder model equipped with Blender with Guidance and Aggregation Mechanisms (BGA), aiming to rectify the coarse labels for more reliable pseudo-labels, while the S-Net is a replaceable SOD network supervised by the pseudo labels generated by the current R-Net. Note that, we only need to use the trained S-Net for testing. Moreover, in order to guarantee the effectiveness and efficiency of network training, we design three training strategies, including alternate iteration mechanism, group-wise incremental mechanism, and credibility verification mechanism. Experiments on five SOD benchmarks show that our method achieves competitive performance against weakly-supervised/unsupervised methods both qualitatively and quantitatively.


title: Tetraquark mixing supported by the partial decay widths of two light-meson nonets

abstract: Recently, the tetraquark mixing framework has been proposed as a possible structure for the two light-meson nonets in the $J^P=0^+$ channel, the light nonet composed of $a_0(980)$, $K_0^*(700)$, $f_0(500)$, $f_0(980)$, and the heavy nonet of $a_0(1450)$, $K_0^*(1430)$, $f_0(1370)$, $f_0(1500)$. Among various signatures, we report in this work that their partial decay widths collected from various experimental data in Particle Data Group (PDG) can support this mixing scheme also. In particular, we demonstrate that the couplings of the light nonet to two pseudoscalar mesons estimated from the partial widths are consistently stronger than those of the heavy nonet. This consistent feature agrees qualitatively well with the predictions from the tetraquark mixing framework and, therefore, provides supporting evidence for the tetraquark mixing.


title: Conditional intermediate entropy and Birkhoff average properties of hyperbolic flows

abstract: Katok conjectured that every $C^{2}$ diffeomorphism $f$ on a Riemannian manifold has the intermediate entropy property, that is, for any constant $c \in[0, h_{top}(f))$, there exists an ergodic measure $\mu$ of $f$ satisfying $h_{\mu}(f)=c$. In this paper we consider a conditional intermediate metric entropy property and two conditional intermediate Birkhoff average properties for flows. For a basic set $\Lambda$ of a flow $\Phi$ and two continuous function $g,$ $h$ on $\Lambda,$ we obtain $$\mathrm{Int}\left\{h_{\mu}(\Phi):\mu\in \mathcal{M}_{erg}(\Phi,\Lambda)\text{ and }\int g d\mu=\alpha\right\}=\mathrm{Int}\left\{h_{\mu}(\Phi):\mu\in \mathcal{M}(\Phi,\Lambda) \text{ and }\int g d\mu=\alpha\right\},$$ $$\mathrm{Int}\left\{\int g d\mu:\mu\in \mathcal{M}_{erg}(\Phi,\Lambda)\text{ and }h_{\mu}(\Phi)=c\right\}=\mathrm{Int}\left\{\int g d\mu:\mu\in \mathcal{M}(\Phi,\Lambda) \text{ and }h_{\mu}(\Phi)=c\right\}$$ and $$\mathrm{Int}\left\{\int h d\mu:\mu\in \mathcal{M}_{erg}(\Phi,\Lambda)\text{ and }\int g d\mu=\alpha\right\}=\mathrm{Int}\left\{\int h d\mu:\mu\in \mathcal{M}(\Phi,\Lambda) \text{ and }\int g d\mu=\alpha\right\}$$ for any $\alpha\in \left(\inf_{\mu\in \in \mathcal{M}(\Phi,\Lambda) }\int g d\mu, \, \sup_{\mu\in \in \mathcal{M}(\Phi,\Lambda) }\int g d\mu\right)$ and any $c\in (0,h_{top}(\Lambda)).$ In this process, we establish 'multi-horseshoe' entropy-dense property and use it to get the goal combined with conditional variational principles. We also obtain same result for singular hyperbolic attractors.


title: Difficulty-Net: Learning to Predict Difficulty for Long-Tailed Recognition

abstract: Long-tailed datasets, where head classes comprise much more training samples than tail classes, cause recognition models to get biased towards the head classes. Weighted loss is one of the most popular ways of mitigating this issue, and a recent work has suggested that class-difficulty might be a better clue than conventionally used class-frequency to decide the distribution of weights. A heuristic formulation was used in the previous work for quantifying the difficulty, but we empirically find that the optimal formulation varies depending on the characteristics of datasets. Therefore, we propose Difficulty-Net, which learns to predict the difficulty of classes using the model's performance in a meta-learning framework. To make it learn reasonable difficulty of a class within the context of other classes, we newly introduce two key concepts, namely the relative difficulty and the driver loss. The former helps Difficulty-Net take other classes into account when calculating difficulty of a class, while the latter is indispensable for guiding the learning to a meaningful direction. Extensive experiments on popular long-tailed datasets demonstrated the effectiveness of the proposed method, and it achieved state-of-the-art performance on multiple long-tailed datasets.


title: Master equation approach to magnon relaxation and dephasing

abstract: There has been a recent upsurge of interest in the quantum properties of magnons for quantum information processing. An important issue is to examine the stability of quantum states of magnons against various relaxation and dephasing channels. Since the interaction of magnons in magnetic systems may fall in the ultra-strong and even deep-strong coupling regimes, the relaxation process of magnon states is quite different from the more common quantum optical systems. Here we study the relaxation and dephasing of magnons based on the Lindblad formalism and derive a generalized master equation that describes the quantum dynamics of magnons. Employing this master equation, we identify two distinct dissipation channels for squeezed magnons, i.e., the local dissipation and collective dissipation, which play a role for both ferromagnets and antiferromagnets. The local dissipation is caused by the independent exchange of angular momentum between the magnonic system and the environment, while the collective dissipation is dressed by the parametric interactions of magnons and it enhances the quantumness and thermal stability of squeezed magnons. Further, we show how this formalism can be applied to study the pure dephasing of magnons caused by four-magnon scattering and magnon-phonon interactions. Our results provide the theoretical tools to study the decoherence of magnons within a full quantum-mechanical framework and further benefit the use of quantum states of magnons for information processing.


title: Adam Mickiewicz University at WMT 2022: NER-Assisted and Quality-Aware Neural Machine Translation

abstract: This paper presents Adam Mickiewicz University's (AMU) submissions to the constrained track of the WMT 2022 General MT Task. We participated in the Ukrainian $\leftrightarrow$ Czech translation directions. The systems are a weighted ensemble of four models based on the Transformer (big) architecture. The models use source factors to utilize the information about named entities present in the input. Each of the models in the ensemble was trained using only the data provided by the shared task organizers. A noisy back-translation technique was used to augment the training corpora. One of the models in the ensemble is a document-level model, trained on parallel and synthetic longer sequences. During the sentence-level decoding process, the ensemble generated the n-best list. The n-best list was merged with the n-best list generated by a single document-level model which translated multiple sentences at a time. Finally, existing quality estimation models and minimum Bayes risk decoding were used to rerank the n-best list so that the best hypothesis was chosen according to the COMET evaluation metric. According to the automatic evaluation results, our systems rank first in both translation directions.


title: Measurement of differential cross sections of neutron-induced alpha production reactions on carbon from 6.3 to 102.3 MeV

abstract: The angle-differential cross sections of neutron-induced alpha production from carbon were measured at 122 neutron energies from 6.3 to 102.3 MeV at China Spallation Neutron Source (CSNS) Back-n white neutron source. By employing the dE-E telescopes of the Light-charged Particle Detector Array (LPDA) system at 24.5 degree to 155.5 degree in the laboratory system, the angle-differential cross sections of the 12C(n,a)x reactions were measured. The experimental results are in good agreement with the previous ones,and compared with the ones calculated by the talys and Geant4.The structures were found for the first time at neutron energies 13.7 MeV, 22.4 MeV, 29.5 MeV and 61.8 MeV.The present work can provide a reference to the data library considering the lack of experimental data.


title: Quaternion Tensor Train Rank Minimization with Sparse Regularization in a Transformed Domain for Quaternion Tensor Completion

abstract: The tensor train rank (TT-rank) has achieved promising results in tensor completion due to its ability to capture the global low-rankness of higher-order (>3) tensors. On the other hand, recently, quaternions have proven to be a very suitable framework for encoding color pixels, and have obtained outstanding performance in various color image processing tasks. In this paper, the quaternion tensor train (QTT) decomposition is presented, and based on that the quaternion TT-rank (QTT-rank) is naturally defined, which are the generalizations of their counterparts in the real number field. In addition, to utilize the local sparse prior of the quaternion tensor, a general and flexible transform framework is defined. Combining both the global low-rank and local sparse priors of the quaternion tensor, we propose a novel quaternion tensor completion model, i.e., QTT-rank minimization with sparse regularization in a transformed domain. Specifically, we use the quaternion weighted nuclear norm (QWNN) of mode-n canonical unfolding quaternion matrices to characterize the global low-QTT-rankness, and the l1-norm of the quaternion tensor in a transformed domain to characterize the local sparse property. Moreover, to enable the QTT-rank minimization to handle color images and better handle color videos, we generalize KA, a tensor augmentation method, to quaternion tensors and define quaternion KA (QKA), which is a helpful pretreatment step for QTT-rank based optimization problems. The numerical experiments on color images and color videos inpainting tasks indicate the advantages of the proposed method over the state-of-the-art ones.


title: Risk of Bias in Chest Radiography Deep Learning Foundation Models

abstract: Purpose: To analyze a recently published chest radiography foundation model for the presence of biases that could lead to subgroup performance disparities across biological sex and race. Materials and Methods: This retrospective study used 127,118 chest radiographs from 42,884 patients (mean age, 63 [SD] 17 years; 23,623 male, 19,261 female) from the CheXpert dataset collected between October 2002 and July 2017. To determine the presence of bias in features generated by a chest radiography foundation model and baseline deep learning model, dimensionality reduction methods together with two-sample Kolmogorov-Smirnov tests were used to detect distribution shifts across sex and race. A comprehensive disease detection performance analysis was then performed to associate any biases in the features to specific disparities in classification performance across patient subgroups. Results: Ten out of twelve pairwise comparisons across biological sex and race showed statistically significant differences in the studied foundation model, compared with four significant tests in the baseline model. Significant differences were found between male and female (P < .001) and Asian and Black patients (P < .001) in the feature projections that primarily capture disease. Compared with average model performance across all subgroups, classification performance on the 'no finding' label dropped between 6.8% and 7.8% for female patients, and performance in detecting 'pleural effusion' dropped between 10.7% and 11.6% for Black patients. Conclusion: The studied chest radiography foundation model demonstrated racial and sex-related bias leading to disparate performance across patient subgroups and may be unsafe for clinical applications.


title: ExpTrialMng: A Universal Experiment Trial Manager for AR/VR/MR Experiments based on Unity

abstract: Based on the improvement of recent virtual and augmented reality (VR and AR) Head Mounted Display (HMD), there have been attempts to adopt VR and AR in various fields. Since VR and AR could provide more immersive experimental environments and stimuli than 2D settings in a cost-efficient way, psychological and cognitive researchers are particularly interested in using these platforms. However, there is still an entry barrier for researchers who are not familiar with Unity programming, and current VR/AR HMDs could also cause unexpected errors during the experiment. Therefore, we developed a Unity library that can be adopted in various experiments universally and assist researchers in developing their own. Our library provides functions related to trial assignment and results saving. That way, researchers can easily implement the essential functions of their psychological experiments. We also made a function that enables proceeding with the experiment from a specific trial point to handle unexpected errors caused by HMD tracking loss issues during the experiment. We expect our library could invite researchers from various disciplines and help them acquire valuable insights in VR/AR environments.


title: That Slepen Al the Nyght with Open Ye! Cross-era Sequence Segmentation with Switch-memory

abstract: The evolution of language follows the rule of gradual change. Grammar, vocabulary, and lexical semantic shifts take place over time, resulting in a diachronic linguistic gap. As such, a considerable amount of texts are written in languages of different eras, which creates obstacles for natural language processing tasks, such as word segmentation and machine translation. Although the Chinese language has a long history, previous Chinese natural language processing research has primarily focused on tasks within a specific era. Therefore, we propose a cross-era learning framework for Chinese word segmentation (CWS), CROSSWISE, which uses the Switch-memory (SM) module to incorporate era-specific linguistic knowledge. Experiments on four corpora from different eras show that the performance of each corpus significantly improves. Further analyses also demonstrate that the SM can effectively integrate the knowledge of the eras into the neural network.


title: A note on Spectral Analysis of Quantum graphs

abstract: We provide an introductory review of some topics in spectral theory of Laplacians on metric graphs. We focus on three different aspects: the trace formula, the self-adjointness problem and connections between Laplacians on metric graphs and discrete graph Laplacians.


title: Power exhaust and core-divertor compatibility of the baffled snowflake divertor in TCV

abstract: A baffled Snowflake Minus Low-Field Side (SF-LFS) is geometrically-optimised in TCV, increasing divertor neutral pressure, to evaluate the roles of divertor closure (comparing with an unbaffled SF-LFS) and magnetic geometry (comparing with a baffled Single Null, SN) in power exhaust and core-divertor compatibility. Ohmically-heated L-mode discharges in deuterium, with a line-averaged core density of approximately 4x10(19) m-3, are seeded with nitrogen to approach detached conditions. Baffles in the SF-LFS configuration are found to reduce the peak outer target heat flux by up to 23%, without significantly affecting the location of the inter-null radiation region or the core-divertor compatibility. When compared to the baffled SN, the baffled SF-LFS exhibits a reduction in outer target heat flux by up to 66% and the ability to balance the strike-point distribution of heat flux. These benefits are less significant with N2 seeding, with similar peak target quantities (such as heat flux, electron temperature and ion flux) and divertor radiated power. Despite a radiating region located farther from the confined plasma for the SF-LFS than the baffled SN, no change in core confinement is observed. Core effective charge even indicates an increase in core impurity penetration for the SF-LFS. These experiments constitute a good reference for detailed model validations and extrapolations, exploring important physics such as core impurity shielding and the dependence of divertor cross-field transport on magnetic geometry.


title: Fengshenbang 1.0: Being the Foundation of Chinese Cognitive Intelligence

abstract: Nowadays, foundation models become one of fundamental infrastructures in artificial intelligence, paving ways to the general intelligence. However, the reality presents two urgent challenges: existing foundation models are dominated by the English-language community; users are often given limited resources and thus cannot always use foundation models. To support the development of the Chinese-language community, we introduce an open-source project, called Fengshenbang, which leads by the research center for Cognitive Computing and Natural Language (CCNL). Our project has comprehensive capabilities, including large pre-trained models, user-friendly APIs, benchmarks, datasets, and others. We wrap all these in three sub-projects: the Fengshenbang Model, the Fengshen Framework, and the Fengshen Benchmark. An open-source roadmap, Fengshenbang, aims to re-evaluate the open-source community of Chinese pre-trained large-scale models, prompting the development of the entire Chinese large-scale model community. We also want to build a user-centered open-source ecosystem to allow individuals to access the desired models to match their computing resources. Furthermore, we invite companies, colleges, and research institutions to collaborate with us to build the large-scale open-source model-based ecosystem. We hope that this project will be the foundation of Chinese cognitive intelligence.


title: Non-Standard Vietnamese Word Detection and Normalization for Text-to-Speech

abstract: Converting written texts into their spoken forms is an essential problem in any text-to-speech (TTS) systems. However, building an effective text normalization solution for a real-world TTS system face two main challenges: (1) the semantic ambiguity of non-standard words (NSWs), e.g., numbers, dates, ranges, scores, abbreviations, and (2) transforming NSWs into pronounceable syllables, such as URL, email address, hashtag, and contact name. In this paper, we propose a new two-phase normalization approach to deal with these challenges. First, a model-based tagger is designed to detect NSWs. Then, depending on NSW types, a rule-based normalizer expands those NSWs into their final verbal forms. We conducted three empirical experiments for NSW detection using Conditional Random Fields (CRFs), BiLSTM-CNN-CRF, and BERT-BiGRU-CRF models on a manually annotated dataset including 5819 sentences extracted from Vietnamese news articles. In the second phase, we propose a forward lexicon-based maximum matching algorithm to split down the hashtag, email, URL, and contact name. The experimental results of the tagging phase show that the average F1 scores of the BiLSTM-CNN-CRF and CRF models are above 90.00%, reaching the highest F1 of 95.00% with the BERT-BiGRU-CRF model. Overall, our approach has low sentence error rates, at 8.15% with CRF and 7.11% with BiLSTM-CNN-CRF taggers, and only 6.67% with BERT-BiGRU-CRF tagger.


title: Reduced symplectic homology and the secondary continuation map

abstract: We introduce the notion of a Weinstein domain with strongly R-essential skeleton and study a reduced version of symplectic homology in this context. In the open string case we introduce the notion of a strongly R-essential Lagrangian submanifold and study a reduced version of wrapped Floer homology. These reduced homologies provide a common domain of definition for the pair-of-pants product and for pair-of-pants secondary coproducts, which combine into the structure of a unital infinitesimal anti-symmetric bialgebra. The coproducts on reduced homology depend on choices, and this dependence is controlled by secondary continuation maps. Reduced homology and cohomology provide splittings of Rabinowitz Floer homology which are compatible with the products and the coproducts. These splittings also depend on choices, in the same way as the coproducts. We provide sufficient conditions under which the secondary continuation maps vanish, giving rise to canonical coproducts and splittings.


title: Foundations of probability-raising causality in Markov decision processes

abstract: This work introduces a novel cause-effect relation in Markov decision processes using the probability-raising principle. Initially, sets of states as causes and effects are considered, which is subsequently extended to regular path properties as effects and then as causes. The paper lays the mathematical foundations and analyzes the algorithmic properties of these cause-effect relations. This includes algorithms for checking cause conditions given an effect and deciding the existence of probability-raising causes. As the definition allows for sub-optimal coverage properties, quality measures for causes inspired by concepts of statistical analysis are studied. These include recall, coverage ratio and f-score. The computational complexity for finding optimal causes with respect to these measures is analyzed.


title: A multi-chain synchronization protocol that leverage zero knowledge proof to minimize communication trust base

abstract: Delphinus cross-chain aggregator is a universal firmware which synchronise states between different smart contracts on different block-chains. In the world of block-chains, synchronization challenges are two-folded. Firstly, contracts from different main block-chain can not communicate with each other which makes it hard to establish a trustworthy communication channel for them to share and maintain a universal state between each other. Secondly, transactions on different block-chains can hardly be ordered thus conflicts are common and we need a novel way to avoid and handle these conflicts. Delphinus cross-chain aggregator is a ZKSNARK based multi-block-chain layer on top of which rich cross chain applications can run safely and efficiently.


title: A Computationally Efficient algorithm to estimate the Parameters of a Two-Dimensional Chirp Model with the product term

abstract: Chirp signal models and their generalizations have been used to model many natural and man-made phenomena in signal processing and time series literature. In recent times, several methods have been proposed for parameter estimation of these models. These methods however are either statistically sub-optimal or computationally burdensome, specially for two dimensional (2D) chirp models. In this paper, we consider the problem of parameter estimation of 2D chirp models and propose a computationally efficient estimator and establish asymptotic theoretical properties of the proposed estimators. And the proposed estimators are observed to have the same rates of convergence as the least squares estimators (LSEs). Furthermore, the proposed estimators of chirp rate parameters are shown to be asymptotically optimal. Extensive and detailed numerical simulations are conducted, which support theoretical results of the proposed estimators.


title: YOLOv6: A Single-Stage Object Detection Framework for Industrial Applications

abstract: For years, the YOLO series has been the de facto industry-level standard for efficient object detection. The YOLO community has prospered overwhelmingly to enrich its use in a multitude of hardware platforms and abundant scenarios. In this technical report, we strive to push its limits to the next level, stepping forward with an unwavering mindset for industry application. Considering the diverse requirements for speed and accuracy in the real environment, we extensively examine the up-to-date object detection advancements either from industry or academia. Specifically, we heavily assimilate ideas from recent network design, training strategies, testing techniques, quantization, and optimization methods. On top of this, we integrate our thoughts and practice to build a suite of deployment-ready networks at various scales to accommodate diversified use cases. With the generous permission of YOLO authors, we name it YOLOv6. We also express our warm welcome to users and contributors for further enhancement. For a glimpse of performance, our YOLOv6-N hits 35.9% AP on the COCO dataset at a throughput of 1234 FPS on an NVIDIA Tesla T4 GPU. YOLOv6-S strikes 43.5% AP at 495 FPS, outperforming other mainstream detectors at the same scale~(YOLOv5-S, YOLOX-S, and PPYOLOE-S). Our quantized version of YOLOv6-S even brings a new state-of-the-art 43.3% AP at 869 FPS. Furthermore, YOLOv6-M/L also achieves better accuracy performance (i.e., 49.5%/52.3%) than other detectors with a similar inference speed. We carefully conducted experiments to validate the effectiveness of each component. Our code is made available at https://github.com/meituan/YOLOv6.


title: Error Estimates and Physics Informed Augmentation of Neural Networks for Thermally Coupled Incompressible Navier Stokes Equations

abstract: Physics Informed Neural Networks (PINNs) are shown to be a promising method for the approximation of Partial Differential Equations (PDEs). PINNs approximate the PDE solution by minimizing physics-based loss functions over a given domain. Despite substantial progress in the application of PINNs to a range of problem classes, investigation of error estimation and convergence properties of PINNs, which is important for establishing the rationale behind their good empirical performance, has been lacking. This paper presents convergence analysis and error estimates of PINNs for a multi-physics problem of thermally coupled incompressible Navier-Stokes equations. Through a model problem of Beltrami flow it is shown that a small training error implies a small generalization error. Posteriori convergence rates of total error with respect to the training residual and collocation points are presented. This is of practical significance in determining appropriate number of training parameters and training residual thresholds to get good PINNs prediction of thermally coupled steady state laminar flows. These convergence rates are then generalized to different spatial geometries as well as to different flow parameters that lie in the laminar regime. A pressure stabilization term in the form of pressure Poisson equation is added to the PDE residuals for PINNs. This physics informed augmentation is shown to improve accuracy of the pressure field by an order of magnitude as compared to the case without augmentation. Results from PINNs are compared to the ones obtained from stabilized finite element method and good properties of PINNs are highlighted.


title: Opportunistic Wireless Control Over State-Dependent Fading Channels

abstract: The heterogeneous system consisting of the wireless control system (WCS) and mobile agent system (MAS) is ubiquitous in Industrial Internet of Things (IIoT) systems. Within this system, the positions of mobile agents may lead to shadow fading on the wireless channel that the WCS is controlled over and can significantly compromise the WCS's performance. This paper focuses on the controller design for the MAS to ensure the performance of WCS in the presence of WCS and MAS coupling. Firstly, the constrained finite field network (FFN) with profile-dependent switching topology is adopted to proceed the operational control for the MAS. By virtue of the algebraic state space representation (ASSR) method, an equivalent form is obtained for the WCS and MAS coupling. A necessary and sufficient condition in terms of constrained set stabilization is then established to ensure the Lyapunov-like performance with expected decay rate. Finally, a graphical method together with the breath-first searching is provided to design state feedback controllers for the MAS. With this method, it is easy to check the constrained set stabilization of MAS and to ensure the performance requirements of WCS in the presence of WCS and MAS coupling. The study of an illustrative example shows the effectiveness of the proposed method.


title: CoFrobenius bialgebras, Poincar\'e duality, and graded TQFT

abstract: We define the notions of unital/counital/biunital infinitesimal anti-symmetric bialgebras and coFrobenius bialgebras and discuss their algebraic properties. We also define the notion of graded 2D open-closed TQFT. These structures arise in Rabinowitz Floer homology and loop space homology, and also in the context of finite dimensional manifolds.


title: End Super Dominating Sets in Graphs

abstract: Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $S\subseteq V$ such that every vertex not in $S$ is adjacent to at least one vertex in $S$. The cardinality of a smallest dominating set of $G$, denoted by $\gamma(G)$, is the domination number of $G$. Two vertices are neighbors if they are adjacent. A super dominating set is a dominating set $S$ with the additional property that every vertex in $V \setminus S$ has a neighbor in $S$ that is adjacent to no other vertex in $V \setminus S$. Moreover if every vertex in $V \setminus S$ has degree at least~$2$, then $S$ is an end super dominating set. The end super domination number is the minimum cardinality of an end super dominating set. We give applications of end super dominating sets as main servers and temporary servers of networks. We determine the exact value of the end super domination number for specific classes of graphs, and we count the number of end super dominating sets in these graphs. Tight upper bounds on the end super domination number are established, where the graph is modified by vertex (edge) removal and contraction.


title: VGStore: A Multimodal Extension to SPARQL for Querying RDF Scene Graph

abstract: Semantic Web technology has successfully facilitated many RDF models with rich data representation methods. It also has the potential ability to represent and store multimodal knowledge bases such as multimodal scene graphs. However, most existing query languages, especially SPARQL, barely explore the implicit multimodal relationships like semantic similarity, spatial relations, etc. We first explored this issue by organizing a large-scale scene graph dataset, namely Visual Genome, in the RDF graph database. Based on the proposed RDF-stored multimodal scene graph, we extended SPARQL queries to answer questions containing relational reasoning about color, spatial, etc. Further demo (i.e., VGStore) shows the effectiveness of customized queries and displaying multimodal data.


title: Improving the Cross-Lingual Generalisation in Visual Question Answering

abstract: While several benefits were realized for multilingual vision-language pretrained models, recent benchmarks across various tasks and languages showed poor cross-lingual generalisation when multilingually pre-trained vision-language models are applied to non-English data, with a large gap between (supervised) English performance and (zero-shot) cross-lingual transfer. In this work, we explore the poor performance of these models on a zero-shot cross-lingual visual question answering (VQA) task, where models are fine-tuned on English visual-question data and evaluated on 7 typologically diverse languages. We improve cross-lingual transfer with three strategies: (1) we introduce a linguistic prior objective to augment the cross-entropy loss with a similarity-based loss to guide the model during training, (2) we learn a task-specific subnetwork that improves cross-lingual generalisation and reduces variance without model modification, (3) we augment training examples using synthetic code-mixing to promote alignment of embeddings between source and target languages. Our experiments on xGQA using the pretrained multilingual multimodal transformers UC2 and M3P demonstrate the consistent effectiveness of the proposed fine-tuning strategy for 7 languages, outperforming existing transfer methods with sparse models. Code and data to reproduce our findings are publicly available.


title: In-Network Computing With Function as a Service at the Edge

abstract: Offloading computation from user devices to nodes with processing capabilities at the edge of the network is a major trend in today's network/service architectures. At the same time, serverless computing has gained a huge traction among the cloud computing technologies and has, thus, promoted the adoption of Function-as-a-Service (FaaS). The latter has some characteristics that make it generally suitable to edge applications, except for its cumbersome support of stateful applications. This work is set to provide a broad view on the options available for supporting stateful FaaS, which are distilled into four reference execution models that differ on where the state resides. While further investigation is needed to advance our understanding of the opportunities offered by in-network computing through stateful FaaS, initial insights are provided by means of a qualitative analysis of the four alternatives and their quantitative comparison in a simulator.


title: Semantic Interactive Learning for Text Classification: A Constructive Approach for Contextual Interactions

abstract: Interactive Machine Learning (IML) shall enable intelligent systems to interactively learn from their end-users, and is quickly becoming more and more important. Although it puts the human in the loop, interactions are mostly performed via mutual explanations that miss contextual information. Furthermore, current model-agnostic IML strategies like CAIPI are limited to 'destructive' feedback, meaning they solely allow an expert to prevent a learner from using irrelevant features. In this work, we propose a novel interaction framework called Semantic Interactive Learning for the text domain. We frame the problem of incorporating constructive and contextual feedback into the learner as a task to find an architecture that (a) enables more semantic alignment between humans and machines and (b) at the same time helps to maintain statistical characteristics of the input domain when generating user-defined counterexamples based on meaningful corrections. Therefore, we introduce a technique called SemanticPush that is effective for translating conceptual corrections of humans to non-extrapolating training examples such that the learner's reasoning is pushed towards the desired behavior. In several experiments, we show that our method clearly outperforms CAIPI, a state of the art IML strategy, in terms of Predictive Performance as well as Local Explanation Quality in downstream multi-class classification tasks.


title: Primordial neutron star; a new candidate of dark matter

abstract: Z-boson exchange interaction induces attractive force between left-handed neutrino and neutron. The Ginzburg-Landau mean field calculation and the Bogoliubov transformation suggest that this attractive force leads to neutrino-neutron pair condensate and super-fluidity. When the result of super-fluid formation is applied to the early universe, horizon scale pair condensate may become a component of dark energy. A further accretion of other fermions from thermal cosmic medium gives a seed of primordial neutron stars made of proton, neutron, electron, and neutrino in beta-equilibrium. Primordial neutron stars may provide a mechanism of giving a part or the whole of the dark matter in the present universe, if a properly chosen small fraction of cosmic thermal particles condenses to neutrino-neutron super-fluid and primordial neutron star not to over-close the universe. The proposal can be verified in principle by measuring neutrino burst at primordial neutron star formation and by detecting super-fluid relic neutrinos in atomic experiments at laboratories.


title: Shifting Perspective to See Difference: A Novel Multi-View Method for Skeleton based Action Recognition

abstract: Skeleton-based human action recognition is a longstanding challenge due to its complex dynamics. Some fine-grain details of the dynamics play a vital role in classification. The existing work largely focuses on designing incremental neural networks with more complicated adjacent matrices to capture the details of joints relationships. However, they still have difficulties distinguishing actions that have broadly similar motion patterns but belong to different categories. Interestingly, we found that the subtle differences in motion patterns can be significantly amplified and become easy for audience to distinct through specified view directions, where this property haven't been fully explored before. Drastically different from previous work, we boost the performance by proposing a conceptually simple yet effective Multi-view strategy that recognizes actions from a collection of dynamic view features. Specifically, we design a novel Skeleton-Anchor Proposal (SAP) module which contains a Multi-head structure to learn a set of views. For feature learning of different views, we introduce a novel Angle Representation to transform the actions under different views and feed the transformations into the baseline model. Our module can work seamlessly with the existing action classification model. Incorporated with baseline models, our SAP module exhibits clear performance gains on many challenging benchmarks. Moreover, comprehensive experiments show that our model consistently beats down the state-of-the-art and remains effective and robust especially when dealing with corrupted data. Related code will be available on https://github.com/ideal-idea/SAP .


title: Multi-access Coded Caching with Optimal Rate and Linear Subpacketization under PDA and Consecutive Cyclic Placement

abstract: This work considers the multi-access caching system proposed by Hachem et al., where each user has access to L neighboring caches in a cyclic wrap-around fashion. We first propose a placement strategy called the consecutive cyclic placement, which achieves the maximal local caching gain. Then under the consecutive cyclic placement, we derive the optimal coded caching gain from the perspective of Placement Delivery Array (PDA), thus obtaining a lower bound on the rate of PDA. Finally, under the consecutive cyclic placement, we construct a class of PDA, leading to a multi-access coded caching scheme with linear subpacketization, which achieves our derived lower bound for some parameters; while for other parameters, the achieved coded caching gain is only 1 less than the optimal one. Analytical and numerical comparisons of the proposed scheme with existing schemes are provided to validate the performance.


title: Hamilton decompositions of regular bipartite tournaments

abstract: A regular bipartite tournament is an orientation of a complete balanced bipartite graph $K_{2n,2n}$ where every vertex has its in- and outdegree both equal to $n$. In 1981, Jackson conjectured that any regular bipartite tournament can be decomposed into Hamilton cycles. We prove this conjecture for all sufficiently large bipartite tournaments. Along the way, we also prove several further results, including a conjecture of Liebenau and Pehova on Hamilton decompositions of dense bipartite digraphs.


title: Propagation Path Loss Models in Forest Scenario at 605 MHz

abstract: When signals propagate through forest areas, they will be affected by environmental factors such as vegetation. Different types of environments have different influences on signal attenuation. This paper analyzes the existing classical propagation path loss models and the model with excess loss caused by forest areas and then proposes a new short-range wireless channel propagation model, which can be applied to different types of forest environments. We conducted continuous-wave measurements at a center frequency of 605 MHz on predetermined routes in distinct types of forest areas and recorded the reference signal received power. Then, we use various path loss models to fit the measured data based on different vegetation types and distributions. Simulation results show that the proposed model has substantially smaller fitting errors with reasonable computational complexity, as compared with representative traditional counterparts.


title: \~{O}ptimal Vertex Fault-Tolerant Spanners in \~{O}ptimal Time: Sequential, Distributed and Parallel

abstract: We (nearly) settle the time complexity for computing vertex fault-tolerant (VFT) spanners with optimal sparsity (up to polylogarithmic factors). VFT spanners are sparse subgraphs that preserve distance information, up to a small multiplicative stretch, in the presence of vertex failures. These structures were introduced by [Chechik et al., STOC 2009] and have received a lot of attention since then. We provide algorithms for computing nearly optimal $f$-VFT spanners for any $n$-vertex $m$-edge graph, with near optimal running time in several computational models: - A randomized sequential algorithm with a runtime of $\widetilde{O}(m)$ (i.e., independent in the number of faults $f$). The state-of-the-art time bound is $\widetilde{O}(f^{1-1/k}\cdot n^{2+1/k}+f^2 m)$ by [Bodwin, Dinitz and Robelle, SODA 2021]. - A distributed congest algorithm of $\widetilde{O}(1)$ rounds. Improving upon [Dinitz and Robelle, PODC 2020] that obtained FT spanners with near-optimal sparsity in $\widetilde{O}(f^{2})$ rounds. - A PRAM (CRCW) algorithm with $\widetilde{O}(m)$ work and $\widetilde{O}(1)$ depth. Prior bounds implied by [Dinitz and Krauthgamer, PODC 2011] obtained sub-optimal FT spanners using $\widetilde{O}(f^3m)$ work and $\widetilde{O}(f^3)$ depth. An immediate corollary provides the first nearly-optimal PRAM algorithm for computing nearly optimal $\lambda$-\emph{vertex} connectivity certificates using polylogarithmic depth and near-linear work. This improves the state-of-the-art parallel bounds of $\widetilde{O}(1)$ depth and $O(\lambda m)$ work, by [Karger and Motwani, STOC'93].