title: Failure Mode and Effects Analysis (FMEA) for Experimental Use of FLASH on a Clinical Accelerator

abstract: Background: Use of a linear accelerator in ultra-high dose rate (UHDR) mode can provide a conduit for wider access to UHDR FLASH effects, sparing normal tissue, but care needs to be taken in the use of such systems to ensure errors are minimized. Purpose: Failure Modes and Effects Analysis (FMEA) was carried out in a team that has been involved in converting a LINAC between clinical use and UHDR experimental mode for more than one year, following the proposed methods of TG100. Methods: A team of 9 professionals with extensive experience were polled to outline the process map and workflow for analysis, and developed fault trees for potential errors, as well as failure modes that would results. The team scored the categories of severity magnitude (S), occurrence likelihood (O), and detectability potential (D) in a scale of 1 to 10, so that a risk priority number (RPN=S*O*D) could be assessed for each. Results: A total of 46 potential failure modes were identified, including 5 with RPN>100. These failure modes involved 1) patient set up, 2) gating mechanisms in delivery, and 3) detector in the beam stop mechanism. Identified methods to mitigate errors included 1) use of a checklist post conversion, 2) use of robust radiation detectors, 3) automation of QA and beam consistency checks, and 4) implementation of surface guidance during beam delivery. Conclusions: The FMEA process was considered critically important in this setting of a new use of a LINAC, and the expert team developed a higher level of confidence in the ability to safely move UHDR LINAC use towards expanded research access.


title: Smart Home: Application using HTTP and MQTT as Communication Protocols

abstract: This study discloses the development of a solution for realizing a smart home in the post COVID-19 era using the Internet of Things domain knowledge. COVID-19 outbreak has been catastrophic and impacted everyone's lives due to its rapid transmission from one body to another. This study aims to reduce virus transmission by eliminating the need to touch any common-point surface in a home, such as switches, doorknobs, and remotes. We provide a generic solution by coupling things with the internet to control them remotely. The project aims to showcase a working solution to controlling devices like smart bulbs, smart fans, smart ACs, and smart door locks in our self-developed emulator over WWW securely using two different protocols, viz., HTTP and MQTT-over-WSS. Additionally, intent authentication over HTTP is based on digital signature that is demonstrated using RSA (encryption) and MD5 (hashing) when the system is deployed in insecure environment(s). RESTful API deployed on AWS EC2 is used to realize HTTP communication protocol, and MQTT is realized using AWS IoT service. The developed project can be applied to any smart home setting like a hotel or public place using AWS IoT, Lambda, or similar infrastructure as a broker.


title: Notes on Atkin-Lehner theory for Drinfeld modular forms

abstract: In this article, we settle a part of the Conjecture by Bandini and Valentino (\cite{BV19a}) for $S_{k,l}(\Gamma_0(T))$ when $\mathrm{dim}\ S_{k,l}(\mathrm{GL}_2(A))\leq 2$. Then, we frame this conjecture for prime, higher levels, and provide some evidence in favour of it. For any square-free level $\mathfrak{n}$, we define oldforms $S_{k,l}^{\mathrm{old}}(\Gamma_0(\mathfrak{n}))$, newforms $S_{k,l}^{\mathrm{new}}(\Gamma_0(\mathfrak{n}))$, and investigate their properties. These properties depend on the commutativity of the (partial) Atkin-Lehner operators with the $U_\mathfrak{p}$-operators. Finally, we show that the set of all $U_\mathfrak{p}$-operators are simultaneously diagonalizable on $S_{k,l}^{\mathrm{new}}(\Gamma_0(\mathfrak{n}))$.


title: Thermal Coherence of Heisenberg Model With Dipole Interaction and Magnetic External Field

abstract: The dynamics of coherence in a two-qubit Heisenberg XXX model with magnetic field in the presence of the intrinsic decoherence is investigated. We discuss the influence of dipole parameter, spin distance, magnetic field and initial state parameter on coherence of the long time limit situation. Then, we discuss how decoherence changes with time with the initial state parameter and the decoherence parameter.


title: Approximating Bayes in the 21st Century

abstract: The 21st century has seen an enormous growth in the development and use of approximate Bayesian methods. Such methods produce computational solutions to certain intractable statistical problems that challenge exact methods like Markov chain Monte Carlo: for instance, models with unavailable likelihoods, high-dimensional models, and models featuring large data sets. These approximate methods are the subject of this review. The aim is to help new researchers in particular -- and more generally those interested in adopting a Bayesian approach to empirical work -- distinguish between different approximate techniques; understand the sense in which they are approximate; appreciate when and why particular methods are useful; and see the ways in which they can can be combined.


title: Extensions and Well's type exact sequence of skew braces

abstract: In this article, we give a description of the split exact sequences of left skew braces. We define a free action of the second cohomology group of a left skew brace $H$ by $Ann(I)$ on $Ext_{\alpha}(H, I)$ and show that this action becomes transitive if $I$ is a trivial skew brace. We also generalize the Well's type exact sequence for extensions by the trivial skew brace.


title: The effect of acceleration parameter on thermal entanglement and teleportation of a two-qubit Heisenberg XXX model with Dzyaloshinski-Moriya interaction in non-inertial frames

abstract: Thermal entanglement and teleportation properties in non-inertial frames are investigated when a two-qubit Heisenberg XXX model with Dzyaloshinski-Moriya (DM) interaction is used as the quantum channel. We find that thermal entanglement and the teleportation fidelity of a teleported state decrease with the acceleration parameter or temperature, in other words, the quantum entanglement teleportation will degenerate in non-inertial frames. Furthermore, our results also show that the average fidelity may be promoted by DM interaction for the ferromagnetic case, which is opposite to the antiferromagnetic case in non-inertial frames, although hindered by acceleration parameter, and their influence can be counteracted.


title: Decoherence Effect of Qubits in 1D Transverse Ising Model

abstract: With the development of lab technology, the low-order correlation function can no longer describe the main effect of decoherence in quantum many-body system, so it is imperative to study the higher-order correlation function of the system. In this paper, we study the changes of the correlation functions in the decoherence effect, analytically. And explore when it is possible to approach the qubit decoherence process only by low-order correlation function, and when third-order or higher correlation functions are needed in 1D transverse Ising model. It indicates that, under strong coupling and long coherence time, the effect of high-order correlation functions can not be ignored, and the approximation of classical Markov process is limited. But, in the case of weak coupling and short coherence time, low-order correlation function can describe well.


title: Dense Coding Capacity in Correlated Noisy Channels with Weak Measurement

abstract: Capacity of dense coding via correlated noisy channel is greater than that in uncorrelated noisy channel. It is shown that weak measurement and reversal measurement can make further effort to improve quantum dense coding capacity in correlated amplitude damping channel, but this effort is very small in correlated phase damping channel and correlated depolarizing channel.


title: Comprehensive Performance Evaluation of LID Practices for the Sponge City Construction: A Case Study in Guangxi, China

abstract: Sponge city construction is a new concept of urban stormwater management, which can effectively relieve urban flooding, reduce non-point source pollution, and promote the usage of rainwater resources, often including the application of Low Impact Development (LID) techniques. Although 30 cities in China have been chosen to implement sponge city construction, there is a lack of a quantitative evaluation method to evaluate the environmental, economic, and social benefits of LID practices. This paper develops a comprehensive evaluation system to quantify the benefits of different combinations of LID units using the Storm Water Management Model (SWMM) and the Analytical Hierarchy Process (AHP) method. The performance of five LID design scenarios with different locations and sizes of the bio-retention facility, the grassed swale, the sunken green space, the permeable pavement, and the storage tank were analyzed for a sports center project in Guangxi, China. Results indicated that the green scenario that contains 34.5% of bio-retention facilities and 46.0% of sunken green spaces had the best comprehensive performance regarding meeting the requirements of 75% annual total runoff reduction and the attainment of good operation performance, rainwater utilization, landscape promotion, and ecological service functions, mainly because they are micro-scale and decentralized facilities that can manage stormwater at the source through the natural process. The optimal scenario was adopted to construct the project, and the proposed evaluation system can also be applied to optimal selection and performance effect evaluation of LID practices in other sponge city projects.


title: Short range correlations in the extended quantum molecular dynamics model

abstract: Short-range potential has been added into an extended quantum molecular dynamics (EQMD) model. The RMS radius, binding energy and momentum distribution of $^{12}$C with different initial structures and short-range potential parameters have been checked. The separation energy of $^{12}$C(p,2p)$^{11}$B reaction is calculated and compared with the experimental data, it indicates that our modified EQMD model can be taken as a reliable tool for studying proton pair knock-out reaction. Furthermore, the short range correlation effects on emission time and momentum spectrum of two protons are discussed. Finally, the momentum correlation function of the emitted proton pair is calculated by the Lednicky and Lyuboshitz's analytical method. The result explains that short-range repulsion causes high momentum tail and weakens the momentum correlation function.


title: Convergence properties of data augmentation algorithms for high-dimensional robit regression

abstract: The logistic and probit link functions are the most common choices for regression models with a binary response. However, these choices are not robust to the presence of outliers/unexpected observations. The robit link function, which is equal to the inverse CDF of the Student's $t$-distribution, provides a robust alternative to the probit and logistic link functions. A multivariate normal prior for the regression coefficients is the standard choice for Bayesian inference in robit regression models. The resulting posterior density is intractable and a Data Augmentation (DA) Markov chain is used to generate approximate samples from the desired posterior distribution. Establishing geometric ergodicity for this DA Markov chain is important as it provides theoretical guarantees for asymptotic validity of MCMC standard errors for desired posterior expectations/quantiles. Previous work [Roy(2012)] established geometric ergodicity of this robit DA Markov chain assuming (i) the sample size $n$ dominates the number of predictors $p$, and (ii) an additional constraint which requires the sample size to be bounded above by a fixed constant which depends on the design matrix $X$. In particular, modern high-dimensional settings where $n < p$ are not considered. In this work, we show that the robit DA Markov chain is trace-class (i.e., the eigenvalues of the corresponding Markov operator are summable) for arbitrary choices of the sample size $n$, the number of predictors $p$, the design matrix $X$, and the prior mean and variance parameters. The trace-class property implies geometric ergodicity. Moreover, this property allows us to conclude that the sandwich robit chain (obtained by inserting an inexpensive extra step in between the two steps of the DA chain) is strictly better than the robit DA chain in an appropriate sense.


title: Calculation of core-excited and core-ionized states using variational quantum deflation method and applications to photocatalyst modelling

abstract: The possibility of performing quantum chemical calculations using quantum computers has attracted much interest. In this regard, variational quantum deflation (VQD) is a quantum-classical hybrid algorithm for the calculation of excited states with noisy intermediate-scale quantum (NISQ) devices. Although the validity of this method has been demonstrated, there have been few practical applications, primarily because of the uncertain effect of calculation conditions on the results. In the present study, calculations of the core-excited and core-ionized states for common molecules based on the VQD method were simulated using a classical computer, focusing on the effects of the weighting coefficients applied in the penalty terms of the cost function. Adopting a simplified procedure for estimating the weighting coefficients based on molecular orbital levels allowed these core-level states to be successfully calculated. The O 1s core-ionized state for a water molecule was calculated with various weighting coefficients and the resulting ansatz states were systematically examined. The application of this technique to functional materials was demonstrated by calculating the core-level states for titanium dioxide (TiO2) and nitrogen-doped TiO2 models. The results demonstrate that VQD calculations employing an appropriate cost function can be applied to the analysis of functional materials in conjunction with an experimental approach.


title: Nonparametric estimation of multivariate copula using empirical bayes method

abstract: In the field of finance, insurance, and system reliability, etc., it is often of interest to measure the dependence among variables by modeling a multivariate distribution using a copula. The copula models with parametric assumptions are easy to estimate but can be highly biased when such assumptions are false, while the empirical copulas are non-smooth and often not genuine copula making the inference about dependence challenging in practice. As a compromise, the empirical Bernstein copula provides a smooth estimator but the estimation of tuning parameters remains elusive. In this paper, by using the so-called empirical checkerboard copula we build a hierarchical empirical Bayes model that enables the estimation of a smooth copula function for arbitrary dimensions. The proposed estimator based on the multivariate Bernstein polynomials is itself a genuine copula and the selection of its dimension-varying degrees is data-dependent. We also show that the proposed copula estimator provides a more accurate estimate of several multivariate dependence measures which can be obtained in closed form. We investigate the asymptotic and finite-sample performance of the proposed estimator and compare it with some nonparametric estimators through simulation studies. An application to portfolio risk management is presented along with a quantification of estimation uncertainty.


title: Transformation from 5G for Verticals Towards a 6G-enabled Internet of Verticals

abstract: 5G will enable and greatly accelerate digital transformation of vertical sectors. In the longer term this will evolve from per-vertical connectivity services in 5G to the emergence of the 6G-enabled Internet of Verticals (6G-IoV). In this paper we describe and examine enabling technologies for this further transformation of verticals and examine some examples of 6G-IoV, next generation cloud manufacturing and manufacturing as a service, next generation smart energy grids and the Internet of Robotics (IoR).


title: Almost proximal extensions of minimal flows

abstract: In this paper we study almost proximal extensions of minimal flows. Let $\pi: (X,T)\rightarrow (Y,T)$ be an extension of minimal flows. $\pi$ is called an almost proximal extension if there is some $N \in \mathbb{N}$ such that the cardinality of any almost periodic subset in each fiber is not greater than $N$. When $N=1$, $\pi$ is proximal. We will give the structure of $\pi$ and give a dichotomy theorem: any almost proximal extension of minimal flows is either almost finite to one, or almost all fibers contain an uncountable strongly scrambled subset. Using category method Glasner and Weiss showed the existence of proximal but not almost one to one extensions [18]. In this paper, we will give explicit such examples, and also examples of almost proximal but not almost finite to one extensions.


title: Systematic Literature Review on Cyber Situational Awareness Visualizations

abstract: The dynamics of cyber threats are increasingly complex, making it more challenging than ever for organizations to obtain in-depth insights into their cyber security status. Therefore, organizations rely on Cyber Situational Awareness (CSA) to support them in better understanding the threats and associated impacts of cyber events. Due to the heterogeneity and complexity of cyber security data, often with multidimensional attributes, sophisticated visualization techniques are needed to achieve CSA. However, there have been no previous attempts to systematically review and analyze the scientific literature on CSA visualizations. In this paper, we systematically select and review 54 publications that discuss visualizations to support CSA. We extract data from these papers to identify key stakeholders, information types, data sources, and visualization techniques. Furthermore, we analyze the level of CSA supported by the visualizations, alongside examining the maturity of the visualizations, challenges, and practices related to CSA visualizations to prepare a full analysis of the current state of CSA in an organizational context. Our results reveal certain gaps in CSA visualizations. For instance, the largest focus is on operational-level staff, and there is a clear lack of visualizations targeting other types of stakeholders such as managers, higher-level decision makers, and non-expert users. Most papers focus on threat information visualization, and there is a dearth of papers that visualize impact information, response plans, and information shared within teams. Based on the results that highlight the important concerns in CSA visualizations, we recommend a list of future research directions.


title: Deep Near-infrared Imaging Observation of the Faint X-ray Point Sources Constituting the Galactic Bulge X-ray Emission

abstract: Presence of the apparently extended hard (2-10 keV) X-ray emission along the Galactic plane has been known since the early 1980s. With a deep X-ray exposure using the Chandra X-ray Observatory of a slightly off-plane region in the Galactic bulge, most of the extended emission was resolved into faint discrete X-ray sources in the Fe K band (Revnivtsev et al.,2009). The major constituents of these sources have long been considered to be X-ray active stars and magnetic cataclysmic variables (CVs). However, recent works including our NIR imaging and spectroscopic studies (Morihana et al.,2013, 2016) argue that other populations should be more dominant. To investigate this further, we conducted a much deeper NIR imaging observation at the center of the Chandra's exposure field. We have used the MOIRCS on the Subaru telescope, reaching the limiting magnitude of ~18 mag in the J, H, and Ks bands in this crowded region, and identified ~50 % of the X-ray sources with NIR candidate counterparts. We classified the X-ray sources into three groups (A, B, and C) based on their positions in the X-ray color-color diagram and characterized them based on the X-ray and NIR features. We argue that the major populations of the Group A and C sources are, respectively, CVs (binaries containing magnetic or non-magnetic white dwarfs with high accretion rates) and X-ray active stars. The major population of the Group B sources is presumably WD binaries with low mass accretion rates. The Fe K equivalent width in the composite X-ray spectrum of the Group B sources is the largest among the three and comparable to that of the Galactic bulge X-ray emission. This leads us to speculate that there are numerous WD binaries with low mass accretion rates, which are not recognized as CVs, but are the major contributor of the apparently extended X-ray emission.


title: An Investigation into Inconsistency of Software Vulnerability Severity across Data Sources

abstract: Software Vulnerability (SV) severity assessment is a vital task for informing SV remediation and triage. Ranking of SV severity scores is often used to advise prioritization of patching efforts. However, severity assessment is a difficult and subjective manual task that relies on expertise, knowledge, and standardized reporting schemes. Consequently, different data sources that perform independent analysis may provide conflicting severity rankings. Inconsistency across these data sources affects the reliability of severity assessment data, and can consequently impact SV prioritization and fixing. In this study, we investigate severity ranking inconsistencies over the SV reporting lifecycle. Our analysis helps characterize the nature of this problem, identify correlated factors, and determine the impacts of inconsistency on downstream tasks. Our findings observe that SV severity often lacks consideration or is underestimated during initial reporting, and such SVs consequently receive lower prioritization. We identify six potential attributes that are correlated to this misjudgment, and show that inconsistency in severity reporting schemes can severely degrade the performance of downstream severity prediction by up to 77%. Our findings help raise awareness of SV severity data inconsistencies and draw attention to this data quality problem. These insights can help developers better consider SV severity data sources, and improve the reliability of consequent SV prioritization. Furthermore, we encourage researchers to provide more attention to SV severity data selection.


title: Existence and uniqueness of solutions to the quantum Boltzmann equation for soft potentials

abstract: In this paper we consider a modified quantum Boltzmann equation with the quantum effect measured by a continuous parameter $\delta$ that can decrease from $\delta=1$ for the Fermi-Dirac particles to $\delta=0$ for the classical particles. In case of soft potentials, for the corresponding Cauchy problem in the whole space or in the torus, we establish the global existence and uniqueness of non-negative mild solutions in the function space $L^{\infty}_{T}L^{\infty}_{v,x}\cap L^{\infty}_{T}L^{\infty}_{x}L^1_v$ with small defect mass, energy and entropy but allowed to have large amplitude up to the possibly maximum upper bound $F(t,x,v)\leq \frac{1}{\delta}$. The key point is that the obtained estimates are uniform in the quantum parameter $0< \delta\leq1$. In particular, as $\delta\to 0$ we can recover the results on the classical Boltzmann equation around global Maxwellians for which solutions may have arbitrarily large oscillations.


title: Multi-Singer: Fast Multi-Singer Singing Voice Vocoder With A Large-Scale Corpus

abstract: High-fidelity multi-singer singing voice synthesis is challenging for neural vocoder due to the singing voice data shortage, limited singer generalization, and large computational cost. Existing open corpora could not meet requirements for high-fidelity singing voice synthesis because of the scale and quality weaknesses. Previous vocoders have difficulty in multi-singer modeling, and a distinct degradation emerges when conducting unseen singer singing voice generation. To accelerate singing voice researches in the community, we release a large-scale, multi-singer Chinese singing voice dataset OpenSinger. To tackle the difficulty in unseen singer modeling, we propose Multi-Singer, a fast multi-singer vocoder with generative adversarial networks. Specifically, 1) Multi-Singer uses a multi-band generator to speed up both training and inference procedure. 2) to capture and rebuild singer identity from the acoustic feature (i.e., mel-spectrogram), Multi-Singer adopts a singer conditional discriminator and conditional adversarial training objective. 3) to supervise the reconstruction of singer identity in the spectrum envelopes in frequency domain, we propose an auxiliary singer perceptual loss. The joint training approach effectively works in GANs for multi-singer voices modeling. Experimental results verify the effectiveness of OpenSinger and show that Multi-Singer improves unseen singer singing voices modeling in both speed and quality over previous methods. The further experiment proves that combined with FastSpeech 2 as the acoustic model, Multi-Singer achieves strong robustness in the multi-singer singing voice synthesis pipeline. Samples are available at https://Multi-Singer.github.io/


title: How Do Developers Deal with Security Issue Reports on GitHub?

abstract: Security issue reports are the primary means of informing development teams of security risks in projects, but little is known about current practices. We aim to understand the characteristics of these reports in open-source projects and uncover opportunities to improve developer practices. We analysed 3,493 security issue reports in 182 different projects on GitHub and manually studied 333 reports, and their discussions and pull requests. We found that, the number of security issue reports has increased over time, they are resolved faster, and they are reported in earlier development stages compared to past years. Nevertheless, a tiny group of developers are involved frequently, security issues progress slowly, and a great number of them has been pending for a long time. We realized that only a small subset of security issue reports include reproducibility data, a potential fix is rarely suggested, and there is no hint regarding how a reporter spotted an issue. We noted that the resolution time of an issue is significantly shorter when the first reaction to a security report is fast and when a reference to a known vulnerability exists.


title: May the Force Be with Your Copy Mechanism: Enhanced Supervised-Copy Method for Natural Language Generation

abstract: Recent neural sequence-to-sequence models with a copy mechanism have achieved remarkable progress in various text generation tasks. These models addressed out-of-vocabulary problems and facilitated the generation of rare words. However, the identification of the word which needs to be copied is difficult, as observed by prior copy models, which suffer from incorrect generation and lacking abstractness. In this paper, we propose a novel supervised approach of a copy network that helps the model decide which words need to be copied and which need to be generated. Specifically, we re-define the objective function, which leverages source sequences and target vocabularies as guidance for copying. The experimental results on data-to-text generation and abstractive summarization tasks verify that our approach enhances the copying quality and improves the degree of abstractness.


title: The Cauchy problem and multi-peakons for the mCH-Novikov-CH equation with quadratic and cubic nonlinearities

abstract: This paper investigates the Cauchy problem of a generalized Camassa-Holm equation with quadratic and cubic nonlinearities (alias the mCH-Novikov-CH equation), which is a generalization of some special equations such as the Camassa-Holm (CH) equation, the modified CH (mCH) equation ((alias the Fokas-Olver-Rosenau-Qiao equation), the Novikov equation, the CH-mCH equation, the mCH-Novikov equation, and the CH-Novikov equation. We first show the local well-posedness for the strong solutions of the mCH-Novikov-CH equation in Besov spaces by means of the Littlewood-Paley theory and the transport equations theory. Then, the Holder continuity of the data-to-solution map to this equation are exhibited in some Sobolev spaces. After providing the blow-up criterion and the precise blow-up quantity in light of the Moser-type estimate in the Sobolev spaces, we then trace a portion and the whole of the precise blow-up quantity, respectively, along the characteristics associated with this equation, and obtain two kinds of sufficient conditions on the gradient of the initial data to guarantee the occurance of the wave-breaking phenomenon. Finally, the non-periodic and periodic peakon and multi-peakon solutions for this equation are also explored.

categories: math.AP math-ph math.MP nlin.PS physics.flu-dyn


title: Non-classical transient regime and violation of detailed balance in mesoscopic Michaelis-Menten kinetics

abstract: Classical (deterministic) and single-enzyme (stochastic) description of the Michaelis-Menten (MM) kinetics, assume fast equilibration between enzyme and complex, and identify detailed balance as a sufficient condition for the hyperbolic substrate dependence of the MM equation (MME). Stochastic MM kinetics based on the chemical master equation (CME), with no a priori assumption of fast equilibration, however, unravels an observably long non-classical transient regime at mesoscopic enzyme concentrations. The enzymatic velocity in the transient regime is non-hyperbolic for product turnovers below a critical time, but asymptotically recovers the hyperbolic MME at long times. Here, we use this description to introduce a new kinetic measure, the turnover number dependent fractional enzyme velocity. This measure quantifies the degree of non-hyperbolicity in the non-classical transient regime with respect to the hyperbolic MME. From this, we obtain a generalized rate parameter condition for detailed balance in mesoscopic MM kinetics. This condition, while subsuming the fast equilibrium approximation of the classical MM kinetics, provides a strict lower bound on the magnitude of the catalytic rate parameter. Further, from the condition of stationarity of the generating function solution of the CME, we quantify the duration of the non-classical regime. Our results show that the violation of detailed balance condition in the transient regime is inextricably linked to the non-hyperbolic substrate dependence of the enzymatic velocity. In the steady-state, when an effective equilibrium between enzyme and complex is asymptotically established, the condition of detailed balance emerges as a sufficient condition for the hyperbolic substrate dependence of the MME.

categories: q-bio.MN physics.bio-ph physics.chem-ph q-bio.BM


title: Unambiguous detection of topological nodes via Berry monopole indicators

abstract: The unambiguous detection of the band topology for topological nodal systems remains an urgent problem in this field. Usually in experiments this relies on the detection for the topological edge modes, which may requires the high demands for the preparation and purifications of the materials and may give ambiguities. In this work, we propose a new approach towards the unambiguous detection of the bulk band crossing nodes of topological nodal systems without evolving the edge mode. The spirit of our proposal is to couple our targeted Hamiltonian to an weak external field $\mathbf {A}$ with a spatial varying texture in a compact manifold which may lead to the variation of the wavevector $\mathbf {k}$, and the system will have a response current $\mathbf {J}$. When the field $\mathbf {A}$ is close to the nodal point, the current $\mathbf {J}$ has the same texture as $\mathbf {A}$, indicating that we may turn the measurement for the bulk topological band crossing nodes into the measurement for the spatial texture of $\mathbf {J}$, and a Berry monopole indicator indicator $w$ can be constructed to indicate the distance between the field $\mathbf {A}$ and the band crossing node. Our findings provide an new perspective for the detection of band topology and pave the way for the further theoretical and experimental studies.


title: NavP: Enabling Navigational Programming for Science Data Processing via Application-Initiated Checkpointing

abstract: Science Data Systems (SDS) handle science data from acquisition through processing to distribution. They are deployed in the Cloud today, and the efficiency of Cloud instance utilization is critical to success. Conventional SDS are unable to take advantage of a cost-effective Amazon EC2 spot market, especially for long-running tasks. Some of the difficulties found in current practice at NASA/JPL are: a lack of mechanism for app programmers to save valuable partial results for future processing continuation, the heavy weight from using container-based (Singularity) sandboxes with more than 200,000 OS-level files; and the gap between scientists developing algorithms/programs on a laptop and the SDS experts deploying software in Cloud computing or supercomputing. We present a first proof-of-principle of this using NavP (Navigational Programming) and fault-tolerant computing (FTC) in SDS, by employing program state migration facilitated by Checkpoint-Restart (C/R). NavP provides a new navigational view of computations in a distributed world for the application programmers. The tool of DHP (DMTCP Hop and Publish) we developed enables the application programmers to navigate the computation among instances or nodes by inserting hop(destination) statements in their app code, and choose when to publish partial results at stages of their algorithms that they think worthwhile for future continuation. The result of using DHP is that a parallel distributed SDS becomes easier to program and deploy, and this enables more efficient leveraging of the Amazon EC2 Spot market. This technical report describes a high-level design and an initial implementation.


title: DMS-GCN: Dynamic Mutiscale Spatiotemporal Graph Convolutional Networks for Human Motion Prediction

abstract: Human motion prediction is an important and challenging task in many computer vision application domains. Recent work concentrates on utilizing the timing processing ability of recurrent neural networks (RNNs) to achieve smooth and reliable results in short-term prediction. However, as evidenced by previous work, RNNs suffer from errors accumulation, leading to unreliable results. In this paper, we propose a simple feed-forward deep neural network for motion prediction, which takes into account temporal smoothness and spatial dependencies between human body joints. We design a Multi-scale Spatio-temporal graph convolutional networks (GCNs) to implicitly establish the Spatio-temporal dependence in the process of human movement, where different scales fused dynamically during training. The entire model is suitable for all actions and follows a framework of encoder-decoder. The encoder consists of temporal GCNs to capture motion features between frames and semi-autonomous learned spatial GCNs to extract spatial structure among joint trajectories. The decoder uses temporal convolution networks (TCNs) to maintain its extensive ability. Extensive experiments show that our approach outperforms SOTA methods on the datasets of Human3.6M and CMU Mocap while only requiring much lesser parameters. Code will be available at https://github.com/yzg9353/DMSGCN.


title: Orbital stability of peakon solutions for a generalized higher-order Camassa-Holm equation

abstract: In this paper, we investigate the orbital stability issue of a generalized higher-order Camassa-Holm (HOCH) equation, which is an higher-order extension of the quadratic CH equation. Firstly, we show that the HOCH equation admits a global weak peakon solution by paring it with ssome smooth test function. Secondly, with the help of two conserved quantities and the non-sgn-changing condition, we prove the orbital stability of this peakon solution in the energy space in the sense that its shape remains approximately the same for all times. Our results enrich the research of the orbital stability for the CH-type equations and are useful to better understand the impact of higher-order nonlinearities on the dispersion dynamics.


title: First test of Lepton Flavor Universality in the charmed baryon decays $\Omega^{0}_{c} \to \Omega^{-} \ell^{+} \nu_{\ell}$ using data of the Belle experiment

abstract: We present the first observation of the $\Omega_{c}^{0} \to \Omega^{-} \mu^{+} \nu_{\mu}$ decay and present measurements of the branching fraction ratios of the $\Omega_{c}^{0} \to \Omega^{-} \ell^{+} \nu_{\ell}$ decays compared to the reference mode $\Omega_{c}^{0} \to \Omega^{-} \pi^+$, ($\ell = e$ or $\mu$). This analysis is based on 89.5 fb$^{-1}$, 711 fb$^{-1}$, and 121.1 fb$^{-1}$ data samples collected with the Belle detector at the KEKB asymmetric-energy $e^+e^-$ collider at the center-of-mass energies of 10.52 GeV, 10.58 GeV, and 10.86 GeV, respectively. The $\Omega_{c}^{0}$ signal yields are extracted by fitting $M_{\Omega^{-} \ell^{+}}$ and $M_{\Omega^{-}\pi^+}$ spectra. The branching fraction ratios ${\cal B}(\Omega_{c}^{0} \to \Omega^{-} e^{+} \nu_{e})/{\cal B}(\Omega_{c}^{0} \to \Omega^{-} \pi^+)$ and ${\cal B}(\Omega_{c}^{0} \to \Omega^{-} \mu^{+} \nu_{\mu})/{\cal B}(\Omega_{c}^{0} \to \Omega^{-} \pi^+)$ are measured to be $1.98 \pm0.13~({\rm stat.}) \pm 0.08~({\rm syst.})$ and $ 1.94 \pm 0.18~({\rm stat.}) \pm 0.10~({\rm syst.})$, respectively. The ratio of ${\cal B}(\Omega_{c}^{0} \to \Omega^{-} e^{+} \nu_{e})/{\cal B}(\Omega_{c}^{0} \to \Omega^{-} \mu^{+} \nu_{\mu})$ is measured to be $1.02 \pm 0.10~({\rm stat.}) \pm 0.02~({\rm syst.})$, which is consistent with the expectation of lepton flavor universality.


title: Deep Co-supervision and Attention Fusion Strategy for Automatic COVID-19 Lung Infection Segmentation on CT Images

abstract: Due to the irregular shapes,various sizes and indistinguishable boundaries between the normal and infected tissues, it is still a challenging task to accurately segment the infected lesions of COVID-19 on CT images. In this paper, a novel segmentation scheme is proposed for the infections of COVID-19 by enhancing supervised information and fusing multi-scale feature maps of different levels based on the encoder-decoder architecture. To this end, a deep collaborative supervision (Co-supervision) scheme is proposed to guide the network learning the features of edges and semantics. More specifically, an Edge Supervised Module (ESM) is firstly designed to highlight low-level boundary features by incorporating the edge supervised information into the initial stage of down-sampling. Meanwhile, an Auxiliary Semantic Supervised Module (ASSM) is proposed to strengthen high-level semantic information by integrating mask supervised information into the later stage. Then an Attention Fusion Module (AFM) is developed to fuse multiple scale feature maps of different levels by using an attention mechanism to reduce the semantic gaps between high-level and low-level feature maps. Finally, the effectiveness of the proposed scheme is demonstrated on four various COVID-19 CT datasets. The results show that the proposed three modules are all promising. Based on the baseline (ResUnet), using ESM, ASSM, or AFM alone can respectively increase Dice metric by 1.12\%, 1.95\%,1.63\% in our dataset, while the integration by incorporating three models together can rise 3.97\%. Compared with the existing approaches in various datasets, the proposed method can obtain better segmentation performance in some main metrics, and can achieve the best generalization and comprehensive performance.


title: Feature Selection for Efficient Local-to-Global Bayesian Network Structure Learning

abstract: Local-to-global learning approach plays an essential role in Bayesian network (BN) structure learning. Existing local-to-global learning algorithms first construct the skeleton of a DAG (directed acyclic graph) by learning the MB (Markov blanket) or PC (parents and children) of each variable in a data set, then orient edges in the skeleton. However, existing MB or PC learning methods are often computationally expensive especially with a large-sized BN, resulting in inefficient local-to-global learning algorithms. To tackle the problem, in this paper, we develop an efficient local-to-global learning approach using feature selection. Specifically, we first analyze the rationale of the well-known Minimum-Redundancy and Maximum-Relevance (MRMR) feature selection approach for learning a PC set of a variable. Based on the analysis, we propose an efficient F2SL (feature selection-based structure learning) approach to local-to-global BN structure learning. The F2SL approach first employs the MRMR approach to learn a DAG skeleton, then orients edges in the skeleton. Employing independence tests or score functions for orienting edges, we instantiate the F2SL approach into two new algorithms, F2SL-c (using independence tests) and F2SL-s (using score functions). Compared to the state-of-the-art local-to-global BN learning algorithms, the experiments validated that the proposed algorithms in this paper are more efficient and provide competitive structure learning quality than the compared algorithms.


title: Operation-based Refactoring-aware Merging: An Empirical Evaluation

abstract: Dealing with merge conflicts in version control systems is a challenging task for software developers. Resolving merge conflicts is a time-consuming and error-prone process, which distracts developers from important tasks. Recent work shows that refactorings are often involved in merge conflicts and that refactoring-related conflicts tend to be larger, making them harder to resolve. In the literature, there are two refactoring-aware merging techniques that claim to automatically resolve refactoring-related conflicts; however, these two techniques have never been empirically compared. In this paper, we present RefMerge, a rejuvenated Java-based design and implementation of the first technique, which is an operation-based refactoring-aware merging algorithm. We compare RefMerge to Git and the state-of-the-art graph-based refactoring-aware merging tool, IntelliMerge, on 2,001 merge scenarios with refactoring-related conflicts from 20 open-source projects. We find that RefMerge resolves or reduces conflicts in 497 (25%) merge scenarios while increasing conflicting LOC in only 214 (11%) scenarios. On the other hand, we find that IntelliMerge resolves or reduces conflicts in 478 (24%) merge scenarios but increases conflicting LOC in 597 (30%) merge scenarios. We additionally conduct a qualitative analysis of the differences between the three merging algorithms and provide insights of the strengths and weaknesses of each tool. We find that while IntelliMerge does well with ordering and formatting conflicts, it struggles with class-level refactorings and scenarios with several refactorings. On the other hand, RefMerge is resilient to the number of refactorings in a merge scenario, but we find that RefMerge introduces conflicts when inverting move-related refactorings.


title: Bayesian WIMP detection with the Cherenkov Telescope Array

abstract: Over the past decades Bayesian methods have become increasingly popular in astronomy and physics as stochastic samplers have enabled efficient investigation of high-dimensional likelihood surfaces. In this work we develop a hierarchical Bayesian inference framework to detect the presence of dark matter annihilation events in data from the Cherenkov Telescope Array (CTA). Cosmic rays are weighted based on their measured sky position $\hat\Omega_m$ and energy $E_m$ in order to derive a posterior distribution for the dark matter's velocity averaged cross section $\langle\sigma v\rangle$. The dark matter signal model and the astrophysical background model are cast as prior distributions for $(\hat\Omega_m, E_m)$. The shape of these prior distributions can be fixed based on first-principle models; or one may adopt flexible priors to include theoretical uncertainty, for example, in the dark matter annihilation spectrum or the astrophysical distribution of sky location. We demonstrate the utility of this formalism using simulated data with a contribution from a scalar singlet dark-matter model. The sensitivity according to our method is comparable to previous estimates of the CTA sensitivity.


title: A Comprehensive Analytical Survey on Unsupervised and Semi-Supervised Graph Representation Learning Methods

abstract: Graph representation learning is a fast-growing field where one of the main objectives is to generate meaningful representations of graphs in lower-dimensional spaces. The learned embeddings have been successfully applied to perform various prediction tasks, such as link prediction, node classification, clustering, and visualization. The collective effort of the graph learning community has delivered hundreds of methods, but no single method excels under all evaluation metrics such as prediction accuracy, running time, scalability, etc. This survey aims to evaluate all major classes of graph embedding methods by considering algorithmic variations, parameter selections, scalability, hardware and software platforms, downstream ML tasks, and diverse datasets. We organized graph embedding techniques using a taxonomy that includes methods from manual feature engineering, matrix factorization, shallow neural networks, and deep graph convolutional networks. We evaluated these classes of algorithms for node classification, link prediction, clustering, and visualization tasks using widely used benchmark graphs. We designed our experiments on top of PyTorch Geometric and DGL libraries and run experiments on different multicore CPU and GPU platforms. We rigorously scrutinize the performance of embedding methods under various performance metrics and summarize the results. Thus, this paper may serve as a comparative guide to help users select methods that are most suitable for their tasks.


title: Advances of Proof Scores in CafeOBJ

abstract: Critical flaws continue to exist at the level of domain, requirement, and/or design specification, and specification verification (i.e., to check whether a specification has desirable properties) is still one of the most important challenges in software/system engineering. CafeOBJ is an executable algebraic specification language system and domain/requirement/design engineers can write proof scores for improving quality of specifications by the specification verification. This paper describes advances of the proof scores for the specification verification in CafeOBJ.


title: CGIBNet: Bandwidth-constrained Communication with Graph Information Bottleneck in Multi-Agent Reinforcement Learning

abstract: Communication is one of the core components for cooperative multi-agent reinforcement learning (MARL). The communication bandwidth, in many real applications, is always subject to certain constraints. To improve communication efficiency, in this article, we propose to simultaneously optimize whom to communicate with and what to communicate for each agent in MARL. By initiating the communication between agents with a directed complete graph, we propose a novel communication model, named Communicative Graph Information Bottleneck Network (CGIBNet), to simultaneously compress the graph structure and the node information with the graph information bottleneck principle. The graph structure compression is designed to cut the redundant edges for determining whom to communicate with. The node information compression aims to address the problem of what to communicate via learning compact node representations. Moreover, CGIBNet is the first universal module for bandwidth-constrained communication, which can be applied to various training frameworks (i.e., policy-based and value-based MARL frameworks) and communication modes (i.e., single-round and multi-round communication). Extensive experiments are conducted in Traffic Control and StarCraft II environments. The results indicate that our method can achieve better performance in bandwidth-constrained settings compared with state-of-the-art algorithms.


title: Graphs with three distinct distance eigenvalues

abstract: In this paper, some special distance spectral properties of graphs are considered. Concretely, we recursively construct an infinite family of trees with distance eigenvalue $-1$, and determine all $\{C_3,C_4\}$-free connected graphs with three distinct distance eigenvalues of which the smallest one is equal to $-3$, which partially answers a problem posed by Koolen, Hayat and Iqbal [Linear Algebra Appl. 505 (2016) 97--108]. Furthermore, we characterize all trees with three distinct distance eigenvalues.


title: String Sampling with Bidirectional String Anchors

abstract: The minimizers sampling mechanism is a popular mechanism for string sampling introduced independently by Schleimer et al. [SIGMOD 2003] and by Roberts et al. [Bioinf. 2004]. Given two positive integers $w$ and $k$, it selects the lexicographically smallest length-$k$ substring in every fragment of $w$ consecutive length-$k$ substrings (in every sliding window of length $w + k - 1$). Minimizers samples are approximately uniform, locally consistent, and computable in linear time. Two main disadvantages of minimizers sampling mechanisms are: first, they do not have good guarantees on the expected size of their samples for every combination of $w$ and $k$; and, second, indexes that are constructed over their samples do not have good worst-case guarantees for on-line pattern searches. We introduce bidirectional string anchors (bd-anchors), a new string sampling mechanism. Given a positive integer $\ell$, our mechanism selects the lexicographically smallest rotation in every length-$\ell$ fragment (in every sliding window of length $\ell$). We show that bd-anchors samples are also approximately uniform, locally consistent, and computable in linear time. In addition, our experiments using several datasets demonstrate that the bd-anchors sample sizes decrease proportionally to $\ell$; and that these sizes are competitive to or smaller than the minimizers sample sizes using the analogous sampling parameters. We provide theoretical justification for these results by analyzing the expected size of bd-anchors samples. As a negative result, we show that computing a total order $\leq$ on the input alphabet, which minimizes the bd-anchors sample size, is NP-hard. We also show that by using any bd-anchors sample, we can construct, in near-linear time, an index which requires linear (extra) space in the size of the sample and answers on-line pattern searches in near-optimal time.


title: Learning for Robust Combinatorial Optimization: Algorithm and Application

abstract: Learning to optimize (L2O) has recently emerged as a promising approach to solving optimization problems by exploiting the strong prediction power of neural networks and offering lower runtime complexity than conventional solvers. While L2O has been applied to various problems, a crucial yet challenging class of problems -- robust combinatorial optimization in the form of minimax optimization -- have largely remained under-explored. In addition to the exponentially large decision space, a key challenge for robust combinatorial optimization lies in the inner optimization problem, which is typically non-convex and entangled with outer optimization. In this paper, we study robust combinatorial optimization and propose a novel learning-based optimizer, called LRCO (Learning for Robust Combinatorial Optimization), which quickly outputs a robust solution in the presence of uncertain context. LRCO leverages a pair of learning-based optimizers -- one for the minimizer and the other for the maximizer -- that use their respective objective functions as losses and can be trained without the need of labels for training problem instances. To evaluate the performance of LRCO, we perform simulations for the task offloading problem in vehicular edge computing. Our results highlight that LRCO can greatly reduce the worst-case cost and improve robustness, while having a very low runtime complexity.


title: Dynamical metasurfaces: electromagnetic properties and instabilities

abstract: In this thesis, I analyse the electromagnetic properties of dynamical metasurfaces and find two critical phenomena. The first is the Casimir-induced instability of a deformable metallic film. In general, two charge-neutral interfaces attract with or repel each other due to the contribution from the zero-point fluctuation of the electromagnetic field between them, namely, the Casimir effect. The effects of perturbative interface corrugation on the Casimir energy in the film system is studied by the proximity force approximation with dispersion correction. If the corrugation period exceeds a critical value, the Casimir effect dominates the surface tension and brings about structural instability. The second is \v{C}erenkov radiation in the vacuum from a time-varying, corrugated surface. Travelling faster than light brings about electromagnetic shock waves, \v{C}erenkov radiation. Since light is the fastest object in a vacuum, it has been considered that \v{C}erenkov radiation is emitted only in the presence of some refractive index. Here, I propose mimicking a series of particles travelling faster than light in a vacuum by dynamical surface corrugation to find \v{C}erenkov radiation in a vacuum from the surface. The dynamical corrugation induces an effective current source on the surface with an external electrostatic field applied. When the corrugation profile is of travelling wave type, the source can be regarded as a series of dipoles virtually travelling along the surface. If the phase velocity of the travelling wave profile exceeds the speed of light, and so do the dipoles, they emit \v{C}erenkov radiation in a vacuum.


title: Lane Departure Prediction Based on Closed-Loop Vehicle Dynamics

abstract: An automated driving system should have the ability to supervise its own performance and to request human driver to take over when necessary. In the lane keeping scenario, the prediction of vehicle future trajectory is the key to realize safe and trustworthy driving automation. Previous studies on vehicle trajectory prediction mainly fall into two categories, i.e. physics-based and manoeuvre-based methods. Using a physics-based methodology, this paper proposes a lane departure prediction algorithm based on closed-loop vehicle dynamics model. We use extended Kalman filter to estimate the current vehicle states based on sensing module outputs. Then a Kalman Predictor with actual lane keeping control law is used to predict steering actions and vehicle states in the future. A lane departure assessment module evaluates the probabilistic distribution of vehicle corner positions and decides whether to initiate a human takeover request. The prediction algorithm is capable to describe the stochastic characteristics of future vehicle pose, which is preliminarily proved in simulated tests. Finally, the on-road tests at speeds of 15 to 50 km/h further show that the pro-posed method can accurately predict vehicle future trajectory. It may work as a promising solution to lane departure risk assessment for automated lane keeping functions.


title: Variational Quantum-Neural Hybrid Error Mitigation

abstract: Quantum error mitigation (QEM) is crucial for obtaining reliable results on quantum computers by suppressing quantum noise with moderate resources. It is a key factor for successful and practical quantum algorithm implementations in the noisy intermediate scale quantum (NISQ) era. Since quantum-classical hybrid algorithms can be executed with moderate and noisy quantum resources, combining QEM with quantum-classical hybrid schemes is one of the most promising directions toward practical quantum advantages. In this work, we show how the variational quantum-neural hybrid eigensolver (VQNHE) algorithm, which seamlessly combines the expressive power of a parameterized quantum circuit with a neural network, is inherently noise resilient with a unique QEM capacity, which is absent in vanilla variational quantum eigensolvers (VQE). We carefully analyze and elucidate the asymptotic scaling of this unique QEM capacity in VQNHE from both theoretical and experimental perspectives. Finally, we propose a variational basis transformation for the Hamiltonian to be measured under the VQNHE framework, yielding a powerful tri-optimization setup, dubbed as VQNHE++. VQNHE++ can further enhance the quantum-neural hybrid expressive power and error mitigation capacity.


title: Automated Vision-Based Wellness Analysis for Elderly Care Centers

abstract: The growth in the aging population requires caregivers to improve both efficiency and quality of healthcare. In this study, we develop an automatic, vision-based system for monitoring and analyzing the physical and mental well-being of senior citizens. Through collaboration with Haven of Hope Christian Service, we collect video recording data in the care center with surveillance cameras. We then process and extract personalized facial, activity, and interaction features from the video data using deep neural networks. This integrated health information systems can assist caregivers to gain better insights into the seniors they are taking care of. These insights, including wellness metrics and long-term health patterns of senior citizens, can help caregivers update their caregiving strategies. We report the findings of our analysis and evaluate the system quantitatively. We also summarize technical challenges and additional functionalities and technologies needed for offering a comprehensive system.


title: Support Varieties and stable categories for algebraic groups

abstract: We consider rational representations of a connected linear algebraic group $\mathbb G$ over a field $k$ of positive characteristic $p > 0$. We introduce a natural extension $M \mapsto \Pi(\mathbb G)_M$ to $\mathbb G$-modules of the $\pi$-point support theory for modules $M$ for a finite group scheme $G$ and show that this theory is essentially equivalent to the more "intrinsic" and "explicit" theory $M \mapsto \mathbb P\mathfrak C(\mathbb G)_M$ of supports for an algebraic group of exponential type, a theory which uses 1-parameter subgroups $\mathbb G_a \to \mathbb G$. We extend our support theory to bounded complexes of $\mathbb G$-modules, $C^\bullet \mapsto \Pi(\mathbb G)_{C^\bullet}$. We introduce the tensor triangulated category $StMod(\mathbb G)$, the Verdier quotient of the bounded derived category $D^b(Mod(\mathbb G))$ by the thick subcategory of mock injective modules. Our support theory satisfies all the standard properties" for a theory of supports for $StMod(\mathbb G)$. As an application, we employ $C^\bullet \mapsto \Pi(\mathbb G)_{C^\bullet}$ to establish the classification of $(r)$-complete, thick tensor ideals of $stmod(\mathbb G)$ in terms of $stmod(\mathbb G)$-realizable subsets of $\Pi(\mathbb G)$ and the classification of $(r)$-complete, localizing subcategories of $StMod(\mathbb G)$ in terms of $StMod(\mathbb G)$-realizable subsets of $\Pi(\mathbb G)$.


title: A background-free optically levitated charge sensor

abstract: Optically levitated macroscopic objects are a powerful tool in the field of force sensing, owing to high sensitivity, absolute force calibration, environmental isolation and the advanced degree of control over their dynamics that have been achieved. However, limitations arise from the spurious forces caused by electrical polarization effects that, even for nominally neutral objects, affect the force sensing because of the interaction of dipole moments with gradients of external electric fields. In this paper we introduce a new technique to model and eliminate dipole moment interactions limiting the performance of sensors employing levitated objects. This process leads to the first noise-limited measurement with a sensitivity of $3.3\times10^{-5}e$. As a demonstration, this is applied to the search for unknown charges of a magnitude much below that of an electron or for exceedingly small unbalances between electron and proton charges. The absence of remaining systematic biases, enables true discovery experiments, with sensitivities that are expected to improve as the system noise is brought down to or beyond the quantum limit. As a by-product of the technique, the electromagnetic properties of the levitated objects can also be measured on an individual basis.


title: Multimodal Adversarially Learned Inference with Factorized Discriminators

abstract: Learning from multimodal data is an important research topic in machine learning, which has the potential to obtain better representations. In this work, we propose a novel approach to generative modeling of multimodal data based on generative adversarial networks. To learn a coherent multimodal generative model, we show that it is necessary to align different encoder distributions with the joint decoder distribution simultaneously. To this end, we construct a specific form of the discriminator to enable our model to utilize data efficiently, which can be trained constrastively. By taking advantage of contrastive learning through factorizing the discriminator, we train our model on unimodal data. We have conducted experiments on the benchmark datasets, whose promising results show that our proposed approach outperforms the-state-of-the-art methods on a variety of metrics. The source code will be made publicly available.


title: Nearby Special Lagrangians

abstract: Let $X$ be a Calabi--Yau manifold and $Q\subset X$ a compact connected embedded special Lagrangian without boundary. We combine methods from symplectic topology and geometric analysis, to study those compact irreducibly immersed special Lagrangians which are $C^0$ close to $Q$ and have unobstructed Floer cohomology. We prove that if the fundamental group $\pi_1Q$ has no non-abelian free subgroup then every such Lagrangian $L$ is unbranched (that is, the projection $L\to Q$ is a covering map); moreover, if $\pi_1Q$ is abelian then $L$ is $C^1$ close to $Q\subset X.$ We prove a stronger uniqueness theorem when $\pi_1Q$ is finite. The $\pi_1Q$ conditions, the Floer cohomology condition and the special Lagrangian condition are all essential as we show by counterexamples.


title: Quantum phases of dipolar bosons in one-dimensional optical lattices

abstract: We theoretically analyze the phase diagram of a quantum gas of bosons that interact via repulsive dipolar interactions. The bosons are tightly confined by an optical lattice in a quasi one-dimensional geometry. In the single-band approximation, their dynamics is described by an extended Bose-Hubbard model where the relevant contributions of the dipolar interactions consist of density-density repulsion and correlated tunneling terms. We evaluate the phase diagram for unit density using numerical techniques based on the density-matrix renormalization group algorithm. Our results predict that correlated tunneling can significantly modify the parameter range of the topological insulator phase. At vanishing values of the onsite interactions, moreover, correlated tunneling promotes the onset of a phase with a large number of low energy metastable configurations.


title: Performance analysis of SDN controllers: POX, Floodlight and Opendaylight

abstract: The IP network is time-consuming for configuration and troubleshooting because it requires access to every device command line interface (CLI) or Graphical User Interface (GUI). In other words, the control plane (gathering information to forward data) and data plane (data forwarding plane) are run on every intermediary device. To solve this problem, the software defined network emerged and separated the control plane (done by software) from the data plane (done by hardware) [1]. In addition, the control plane is operated in the central point named the controller. There are many controller software programs in simulation and production network environments. In this paper, we compare three open source controllers called POX, Floodlight and Opendaylight (ODL) in simulation network created by MININET SDN emulation program in terms of TCP and UDP throughput and average Round Trip Time (RTT) of the first packet of the flow in the mesh and tree topology.


title: On some algorithms for estimation in Gaussian graphical models

abstract: In Gaussian graphical models, the likelihood equations must typically be solved iteratively. We investigate two algorithms: A version of iterative proportional scaling which avoids inversion of large matrices, and an algorithm based on convex duality and operating on the covariance matrix by neighbourhood coordinate descent, corresponding to the graphical lasso with zero penalty. For large, sparse graphs, the iterative proportional scaling algorithm appears feasible and has simple convergence properties. The algorithm based on neighbourhood coordinate descent is extremely fast and less dependent on sparsity, but needs a positive definite starting value to converge. We give an algorithm for finding such a starting value for graphs with low colouring number. As a consequence, we also obtain a simplified proof for existence of the maximum likelihood estimator in such cases.


title: Decentralized Stochastic Proximal Gradient Descent with Variance Reduction over Time-varying Networks

abstract: In decentralized learning, a network of nodes cooperate to minimize an overall objective function that is usually the finite-sum of their local objectives, and incorporates a non-smooth regularization term for the better generalization ability. Decentralized stochastic proximal gradient (DSPG) method is commonly used to train this type of learning models, while the convergence rate is retarded by the variance of stochastic gradients. In this paper, we propose a novel algorithm, namely DPSVRG, to accelerate the decentralized training by leveraging the variance reduction technique. The basic idea is to introduce an estimator in each node, which tracks the local full gradient periodically, to correct the stochastic gradient at each iteration. By transforming our decentralized algorithm into a centralized inexact proximal gradient algorithm with variance reduction, and controlling the bounds of error sequences, we prove that DPSVRG converges at the rate of $O(1/T)$ for general convex objectives plus a non-smooth term with $T$ as the number of iterations, while DSPG converges at the rate $O(\frac{1}{\sqrt{T}})$. Our experiments on different applications, network topologies and learning models demonstrate that DPSVRG converges much faster than DSPG, and the loss function of DPSVRG decreases smoothly along with the training epochs.


title: Evaluation and Comparison of Deep Learning Methods for Pavement Crack Identification with Visual Images

abstract: Compared with contact detection techniques, pavement crack identification with visual images via deep learning algorithms has the advantages of not being limited by the material of object to be detected, fast speed and low cost. The fundamental frameworks and typical model architectures of transfer learning (TL), encoder-decoder (ED), generative adversarial networks (GAN), and their common modules were first reviewed, and then the evolution of convolutional neural network (CNN) backbone models and GAN models were summarized. The crack classification, segmentation performance, and effect were tested on the SDNET2018 and CFD public data sets. In the aspect of patch sample classification, the fine-tuned TL models can be equivalent to or even slightly better than the ED models in accuracy, and the predicting time is faster; In the aspect of accurate crack location, both ED and GAN algorithms can achieve pixel-level segmentation and is expected to be detected in real time on low computing power platform. Furthermore, a weakly supervised learning framework of combined TL-SSGAN and its performance enhancement measures are proposed, which can maintain comparable crack identification performance with that of the supervised learning, while greatly reducing the number of labeled samples required.


title: How Zonal Flow Affects Trapped Electron Driven Turbulence in Tokamaks

abstract: The role of self-generated zonal flows in the collisionless trapped-electron mode (CTEM) turbulence is a long-standing open issue in tokamak plasmas. Here we show, for the first time, that the zonal flow excitation in the CTEM turbulence is formally isomorphic to that in the ion temperature gradient turbulence. Trapped electrons contribute implicitly only via linear dynamics. Theoretical analyses further suggest that, for short wavelength CTEMs, the zonal flow excitation is weak and, more importantly, not an effective saturation mechanism. Corresponding controlling parameters are also identified theoretically. These findings not only offer a plausible explanation for previous seemingly contradictory simulation results, but can also facilitate controlling the CTEM instability and transport with experimentally accessible parameters.


title: Long-time behavior of solutions to the M1 model with boundray effect

abstract: In this paper, we are concerned with the asymptotic behavior of solutions of M1 model on quadrant. From this model, combined with damped compressible Euler equations, a more general system is introduced. We show that the solutions to the initial boundary value problem of this system globally exist and tend time-asymptotically to the corresponding nonlinear parabolic equation governed by the related Darcy's law. Compared with previous results on compressible Euler equations with damping obtained by Nishihara and Yang in [24], and Marcati, Mei and Rubino in [16], the better convergence rates are obtained. The approach adopted is based on the technical time-weighted energy estimates together with the Green's function method.


title: Bayesian nonparametric model based clustering with intractable distributions: an ABC approach

abstract: Bayesian nonparametric mixture models offer a rich framework for model based clustering. We consider the situation where the kernel of the mixture is available only up to an intractable normalizing constant. In this case, most of the commonly used Markov chain Monte Carlo (MCMC) methods are not suitable. We propose an approximate Bayesian computational (ABC) strategy, whereby we approximate the posterior to avoid the intractability of the kernel. We derive an ABC-MCMC algorithm which combines (i) the use of the predictive distribution induced by the nonparametric prior as proposal and (ii) the use of the Wasserstein distance and its connection to optimal matching problems. To overcome the sensibility with respect to the parameters of our algorithm, we further propose an adaptive strategy. We illustrate the use of the proposed algorithm with several simulation studies and an application on real data, where we cluster a population of networks, comparing its performance with standard MCMC algorithms and validating the adaptive strategy.


title: Degenerate Cahn-Hilliard and incompressible limit of a Keller-Segel model

abstract: The Keller-Segel model is a well-known system representing chemotaxis in living organisms. We study the convergence of a generalized nonlinear variant of the Keller-Segel to the degenerate Cahn-Hilliard system. This analysis is made possible from the observation that the Keller-Segel system is equivalent to a relaxed version of the Cahn-Hilliard system. Furthermore, this latter equivalent system has an interesting application in the modelling of living tissues. Indeed, compressible and incompressible porous medium type equations are widely used to describe the mechanical properties of living tissues. The relaxed degenerate Cahn-Hilliard system, can be viewed as a compressible living tissue model for which the movement is driven by Darcy's law and takes into account the effects of the viscosity as well as surface tension at the surface of the tissue. We study the convergence of the Keller-Segel system to the Cahn-Hilliard equation and some of the analytical properties of the model such as the incompressible limit of our model. Our analysis relies on a priori estimates, compactness properties, and on the equivalence between the Keller-Segel system and the relaxed degenerate Cahn-Hilliard system.


title: On the metric subgraphs of a graph

abstract: The three subgraphs of a connected graph induced by the center, annulus and periphery are called its metric subgraphs. The main results are as follows. (1) There exists a graph of order $n$ whose metric subgraphs are all paths if and only if $n\ge 13$ and the smallest size of such a graph of order $13$ is $22;$ (2) there exists a graph of order $n$ whose metric subgraphs are all cycles if and only if $n\ge 15,$ and there are exactly three such graphs of order $15;$ (3) for every integer $k\ge 3,$ we determine the possible orders for the existence of a graph whose metric subgraphs are all connected $k$-regular graphs; (4) there exists a graph of order $n$ whose metric subgraphs are connected and pairwise isomorphic if and only if $n\ge 24$ and $n$ is divisible by $3.$ An unsolved problem is posed.


title: Natural lacunae method and Schatten-von Neumann classes of the convergence exponent

abstract: The first our aim is to clarify the results obtained by Lidskii devoted to the decomposition on the root vector system of the non-selfadjoint operator. We use a technique of the entire function theory and introduce a so-called Schatten-von Neumann class of the convergence exponent. Considering strictly accretive operators satisfying special conditions formulated in terms of the norm, we construct a sequence of contours of the power type on the contrary to the results by Lidskii, where a sequence of contours of the exponential type was used.


title: Failure of the mean-field description of magnetic fluctuations in the superconducting quantum dot

abstract: The zero-temperature physics of interacting quantum dots attached to superconducting leads is now well understood. The overall qualitative picture is obtained from the static mean-field approximation. The situation drastically changes at non-zero temperatures. No reliable solutions apart from numerical simulations exist there. We show that any static mean-field approximation fails at non-zero temperatures since magnetic fluctuations induce dynamical corrections that lead to broadening of the in-gap state energies to energy bands. Spin-symmetric equilibrium state at non-zero temperatures is unstable with respect to magnetic fluctuations and the zero magnetic field can be reached only as a weak limit of the spin-polarized solution like in a magnetically ordered phase.


title: Dynamic Property of Phase Transition for Non-Linear Charged Anti-de Sitter black holes

abstract: Understanding the thermodynamic phase transition of black holes can provide the deep insight into the fundamental properties of black hole gravity to establish the quantum gravity. In this work, we investigate the phase transition and its dynamics for the charged EPYM AdS black hole. Through reconstructing the Maxwell's equal-area law, we find there exists the high-/low-potential black hole (HPBH/LPBL) phase transition, not only the pure large/small one. The Gibbs free energy landscape ($G_L$) is treated as a function of the black hole horizon, which is the order parameter of the phase transition due to the thermal fluctuation. From the view point of $G_L$, the stable HPBH/LPBL states are corresponding to two wells of $G_L$, which have the same depth. The unstable intermediate-potential black hole state corresponds to the local maximum of $G_L$. Then we focus on the probability evolution governed by the Fokker-Planck equation. Through solving the Fokker-Planck equating with different reflection/aborption boundary conditions and initial conditions, the dynamics of switching between the coexistent HPBH and LPBL phases is probed within the first passage time. Furthermore, the effect of temperature on the dynamic property of phase transition is also investigated.


title: Generalized Peierls substitution for the tight-binding model of twisted multilayer graphene in a magnetic field

abstract: We propose a generalized Peierls substitution method in conjunction with the tight-binding model to explore the magnetic quantization and quantum Hall effect in twisted multilayer graphene under a magnetic field. The Bloch-basis tight-binding Hamiltonian is constructed for large twist angle while a simplified tight-binding model is employed for the magic angle. We investigate extensively the band structures, Landau levels (LLs), and quantum Hall conductivity (QHC) of twisted bilayer graphene and twisted double bilayer graphene, as well as their dependence on the twist angle. Comparison between these crucial properties of monolayer graphene, Bernal bilayer graphene, and the twisted systems is carefully made to highlight the roles played by twisting. The unique selection rules of inter-LL transition, which is crucial for achieving a deep understanding of the step structures of QHC, are identified through the properties of LL wave functions. Our theoretical model opens up an opportunity for comprehension of the interplay between an applied magnetic field and the twisting effect associated with multilayer graphene.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other physics.comp-ph


title: Sending Timely Status Updates through Channel with Random Delay via Online Learning

abstract: In this work, we study a status update system with a source node sending timely information to the destination through a channel with random delay. We measure the timeliness of the information stored at the receiver via the Age of Information (AoI), the time elapsed since the freshest sample stored at the receiver is generated. The goal is to design a sampling strategy that minimizes the total cost of the expected time average AoI and sampling cost in the absence of transmission delay statistics. We reformulate the total cost minimization problem as the optimization of a renewal-reward process, and propose an online sampling strategy based on the Robbins-Monro algorithm. Denote $K$ to be the number of samples we have taken. We show that, when the transmission delay is bounded, the expected time average total cost obtained by the proposed online algorithm converges to the minimum cost when $K$ goes to infinity, and the optimality gap decays with rate $\mathcal{O}\left(\ln K/K\right)$. Simulation results validate the performance of our proposed algorithm.


title: Quasi-uniform designs with optimal and near-optimal uniformity constant

abstract: A design is a collection of distinct points in a given set $X$, which is assumed to be a compact subset of $R^d$, and the mesh-ratio of a design is the ratio of its fill distance to its separation radius. The uniformity constant of a sequence of nested designs is the smallest upper bound for the mesh-ratios of the designs. We derive a lower bound on this uniformity constant and show that a simple greedy construction achieves this lower bound. We then extend this scheme to allow more flexibility in the design construction.


title: Magnetic moments of the doubly charged axial-vector $T_{cc}^{++}$ states

abstract: Motivated by the discovery of the doubly-charmed state $T^+_{cc}$ and with the help of light-cone sum rules, the magnetic moments of possible $T_{cc}^{++}$ states are calculated. While calculating the magnetic moments of these states, these particles are considered in the molecular picture and they have $J^P = 1^+$ quantum numbers. The magnetic moment results obtained for the $T_{cc}^{++}$ states are large due to the double electric charge. The results obtained in this study can be checked using other theoretical models. The magnetic moments of the hadrons reveal valuable knowledge about the size and the shape of the hadrons. Measurement of the magnetic moment of the $T_{cc}^{++}$ states in future experimental collaborations can be very useful to understanding substructure and identification the quantum numbers of these states.


title: Phase transition of non-linear charged Anti-de Sitter black holes

abstract: Understanding the thermodynamic phase transition of black holes can provide a deep insight into the fundamental properties of black hole gravity to establish the theory of quantum gravity. We investigate the condition and latent heat of phase transition for non-linear charged AdS black holes using the Maxwell's equal-area law, and analysis the boundary and curve of the two-phase coexistence area in the expanded phase space. We suggest that the phase transition of the non-linear charged AdS black hole with the fixed temperature ($T<T_c$) is related to the electric potential at the horizon, not only to the location of horizon. Recently, the molecular number density was introduced to study the phase transition and microstructure of black holes. On this basis, we discuss the continuous phase transition of a non-linear charged AdS black hole to reveal the potential microstructure of a black hole by introducing the order parameter and using the scalar curvature.


title: The Predictive Individual Effect for Survival Data

abstract: The call for patient-focused drug development is loud and clear, as expressed in the 21st Century Cures Act and in recent guidelines and initiatives of regulatory agencies. Among the factors contributing to modernized drug development and improved health-care activities are easily interpretable measures of clinical benefit. In addition, special care is needed for cancer trials with time-to-event endpoints if the treatment effect is not constant over time. We propose the predictive individual effect which is a patient-centric and tangible measure of clinical benefit under a wide variety of scenarios. It can be obtained by standard predictive calculations under a rank preservation assumption that has been used previously in trials with treatment switching. We discuss four recent Oncology trials that cover situations with proportional as well as non-proportional hazards (delayed treatment effect or crossing of survival curves). It is shown that the predictive individual effect offers valuable insights beyond p-values, estimates of hazard ratios or differences in median survival. Compared to standard statistical measures, the predictive individual effect is a direct, easily interpretable measure of clinical benefit. It facilitates communication among clinicians, patients, and other parties and should therefore be considered in addition to standard statistical results.


title: How to estimate the memory of the Elephant Random Walk

abstract: We introduce an original way to estimate the memory parameter of the elephant random walk, a fascinating discrete time random walk on integers having a complete memory of its entire history. Our estimator is nothing more than a quasi-maximum likelihood estimator, based on a second order Taylor approximation of the log-likelihood function. We show the almost sure convergence of our estimate in the diffusive, critical and superdiffusive regimes. The local asymptotic normality of our statistical procedure is established in the diffusive regime, while the local asymptotic mixed normality is proven in the superdiffusive regime. Asymptotic and exact confidence intervals as well as statistical tests are also provided. All our analysis relies on asymptotic results for martingales and the quadratic variations associated.


title: Spin current transport in hybrid Pt / multifunctional magnetoelectric Ga0.6Fe1.4O3 bilayers

abstract: The low power manipulation of magnetization is currently a highly sought-after objective in spintronics. Non ferromagnetic large spin-orbit coupling heavy metal (NM) / ferromagnet (FM) heterostructures offer interesting elements of response to this issue, by granting the manipulation of the FM magnetization by the NM spin Hall effect (SHE) generated spin current. Additional functionalities, such as the electric field control of the spin current generation, can be offered using multifunctional ferromagnets. We have studied the spin current transfer processes between Pt and the multifunctional magnetoelectric Ga0.6Fe1.4O3 (GFO). In particular, via angular dependent magnetotransport measurements, we were able to differentiate between magnetic proximity effect (MPE)-induced anisotropic magnetoresistance (AMR) and spin Hall magnetoresistance (SMR). Our analysis shows that SMR is the dominant phenomenon at all temperatures and is the only one to be considered near room temperature, with a magnitude comparable to those observed in Pd/YIG or Pt/YIG heterostructures. These results indicate that magnetoelectric GFO thin films show promises for achieving an electric-field control of the spin current generation in NM/FM oxide-based heterostructures.


title: Axiomatic characterizations of consistent approval-based committee choice rules

abstract: We prove axiomatic characterizations of several important multiwinner rules within the class of approval-based committee choice rules. These are voting rules that return a set of (fixed-size) committees. In particular, we provide axiomatic characterizations of Proportional Approval Voting, the Chamberlin--Courant rule, and other Thiele methods. These rules share the important property that they satisfy an axiom called consistency, which is crucial in our characterizations.


title: Efficient Wind Speed Nowcasting with GPU-Accelerated Nearest Neighbors Algorithm

abstract: This paper proposes a simple yet efficient high-altitude wind nowcasting pipeline. It processes efficiently a vast amount of live data recorded by airplanes over the whole airspace and reconstructs the wind field with good accuracy. It creates a unique context for each point in the dataset and then extrapolates from it. As creating such context is computationally intensive, this paper proposes a novel algorithm that reduces the time and memory cost by efficiently fetching nearest neighbors in a data set whose elements are organized along smooth trajectories that can be approximated with piece-wise linear structures. We introduce an efficient and exact strategy implemented through algebraic tensorial operations, which is well-suited to modern GPU-based computing infrastructure. This method employs a scalable Euclidean metric and allows masking data points along one dimension. When applied, this method is more efficient than plain Euclidean k-NN and other well-known data selection methods such as KDTrees and provides a several-fold speedup. We provide an implementation in PyTorch and a novel data set to allow the replication of empirical results.


title: Generalized Pareto Regression Trees for extreme events analysis

abstract: In this paper, we provide finite sample results to assess the consistency of Generalized Pareto regression trees, as tools to perform extreme value regression. The results that we provide are obtained from concentration inequalities, and are valid for a finite sample size, taking into account a misspecification bias that arises from the use of a "Peaks over Threshold" approach. The properties that we derive also legitimate the pruning strategies (i.e. the model selection rules) used to select a proper tree that achieves compromise between bias and variance. The methodology is illustrated through a simulation study, and a real data application in insurance against natural disasters.


title: Entiers monomialement irr{\'e}ductibles

abstract: In this article we study the combinatorics of congruence subgroups of the modular group. We consider the notion of minimal monomial solutions. These are the solutions of a matrix equation (also appearing in the study of Coxeter friezes), modulo an integer $N$, whose components are identical and minimal for this property. Our objective is to study the integers $N$ for which all these solutions have a certain irreducibility property.


title: $L^1-$Theory for Incompressible Limit of Reaction-Diffusion Porous Medium Flow with Linear Drift

abstract: Our aim is to study the limit of the solution of reaction-diffusion porous medium equation with linear drift $\displaystyle\partial_t u -\Delta u^m +\nabla \cdot (u \: V)=g(t,x,u) $, as $m\to\infty.$ We study the problem in bounded domain $\Omega$ with Dirichlet boundary condition, compatible initial data ; i.e. $\vert u_0\vert \leq 1,$ and an outpointing vector field $V$ on the boundary $\partial \Omega.$ In particular, by means of new $BV_{loc}$ estimates, we show uniform $L^1-$convergence towards the solution of reaction-diffusion Hele-Shaw flow with linear drift.


title: Long term behavior of dynamic equilibria in fluid queuing networks

abstract: A fluid queuing network constitutes one of the simplest models in which to study flow dynamics over a network. In this model we have a single source-sink pair and each link has a per-time-unit capacity and a transit time. A dynamic equilibrium (or equilibrium flow over time) is a flow pattern over time such that no flow particle has incentives to unilaterally change its path. Although the model has been around for almost fifty years, only recently results regarding existence and characterization of equilibria have been obtained. In particular the long term behavior remains poorly understood. Our main result in this paper is to show that, under a natural (and obviously necessary) condition on the queuing capacity, a dynamic equilibrium reaches a steady state (after which queue lengths remain constant) in finite time. Previously, it was not even known that queue lengths would remain bounded. The proof is based on the analysis of a rather non-obvious potential function that turns out to be monotone along the evolution of the equilibrium. Furthermore, we show that the steady state is characterized as an optimal solution of a certain linear program. When this program has a unique solution, which occurs generically, the long term behavior is completely predictable. On the contrary, if the linear program has multiple solutions the steady state is more difficult to identify as it depends on the whole temporal evolution of the equilibrium.


title: An anisotropic inhomogeneous ubiquity Theorem

abstract: Recently, mass transference principles in metric number theory extend towards two direction. On one hand, the shape of the approximating sets can be taken of various shape, balls, rectangles or even general open sets (one refers to some results of Rams and Koivusalo regarding this last example) when the ambient measure is Lebesgue, on the other hand, progress have been made to understand what can be said when the ambient measure is changed. For instance some computation in the case of a self-similar measure with open set condition have been made by Barral and Seuret. This article mixes the two approaches and presents a ubiquity theorem which handles the case where the approximating sets are rectangles and the measure is quasi-Bernoulli, but fully supported.


title: Testbeam performance results of bent ALPIDE Monolithic Active Pixel Sensors in view of the ALICE Inner Tracking System 3

abstract: The ALICE Inner Tracking System has been recently upgraded to a full silicon detector consisting entirely of MAPS, arranged in seven concentric layers around the LHC beam pipe. Further ahead, during the LHC Long Shutdown 3, the ALICE collaboration is planning to replace the three innermost layers of this new ITS with a novel vertex detector. The proposed design features wafer-scale, ultra-thin, truly cylindrical MAPS. The new sensors will be thinned down to 20-40~{\textmu}m, featuring a material budget of less than 0.05\%~x/$\mathrm{X_{0}}$ per layer, unprecedented low, and will be arranged concentrically around the beam pipe, as close as 18~mm from the interaction point. Anticipating the first prototypes in the new 65~nm CMOS technology node, an active R\&D programme is underway to test the response to bending of existing 50~{\textmu}m thick ALPIDE sensors. A number of such chips were successfully bent, even below the targeted innermost radius, without signs of mechanical damage, while retaining their full electrical functionality in laboratory tests. The curved detectors were subsequently tested during particle beam campaigns, where their particle detection performance was assessed. In this contribution, testbeam highlights from the data analysis of bent ALPIDE sensors, will be presented. It was proved that the current ALPIDE produced in the 180~nm CMOS technology retains its properties after bending. The results show an inefficiency that is generally below $10^{-4}$, independent of the inclination and position of the impinging beam with respect to the sensor surface. This encouraging outcome proves that the use of curved MAPS is an exciting possibility for future silicon detector designs, as not only the sensor can survive the bending exercise mechanically, but the enticing attributes that make it attractive for use in the inner tracking layers are comparable to the flat state.


title: UFPMP-Det: Toward Accurate and Efficient Object Detection on Drone Imagery

abstract: This paper proposes a novel approach to object detection on drone imagery, namely Multi-Proxy Detection Network with Unified Foreground Packing (UFPMP-Det). To deal with the numerous instances of very small scales, different from the common solution that divides the high-resolution input image into quite a number of chips with low foreground ratios to perform detection on them each, the Unified Foreground Packing (UFP) module is designed, where the sub-regions given by a coarse detector are initially merged through clustering to suppress background and the resulting ones are subsequently packed into a mosaic for a single inference, thus significantly reducing overall time cost. Furthermore, to address the more serious confusion between inter-class similarities and intra-class variations of instances, which deteriorates detection performance but is rarely discussed, the Multi-Proxy Detection Network (MP-Det) is presented to model object distributions in a fine-grained manner by employing multiple proxy learning, and the proxies are enforced to be diverse by minimizing a Bag-of-Instance-Words (BoIW) guided optimal transport loss. By such means, UFPMP-Det largely promotes both the detection accuracy and efficiency. Extensive experiments are carried out on the widely used VisDrone and UAVDT datasets, and UFPMP-Det reports new state-of-the-art scores at a much higher speed, highlighting its advantages.


title: Local Opacity Verification for Distributed Discrete Event Systems

abstract: This paper studies current-state opacity and initial-state opacity verification of distributed discrete event systems. The distributed system's global model is the parallel composition of multiple local systems: each of which represents a component. We propose sufficient conditions for verifying opacity of the global system model based only on the opacity of the local systems. We also present efficient approaches for the opacity verification problem that only rely on the intruder's observer automata of the local systems.


title: Protection of noisy multipartite entangled states of superconducting qubits via universally robust dynamical decoupling schemes

abstract: We demonstrate the efficacy of the universally robust dynamical decoupling (URDD) sequence to preserve multipartite maximally entangled quantum states on a cloud based quantum computer via the IBM platform. URDD is a technique that can compensate for experimental errors and simultaneously protect the state against environmental noise. To further improve the performance of the URDD sequence, phase randomization (PR) as well as correlated phase randomization (CPR) techniques are added to the basic URDD sequence. The performance of the URDD sequence is quantified by measuring the entanglement in several noisy entangled states (two-qubit triplet state, three-qubit GHZ state, four-qubit GHZ state and four-qubit cluster state) at several time points. Our experimental results demonstrate that the URDD sequence is successfully able to protect noisy multipartite entangled states and its performance is substantially improved by adding the phase randomization and correlated phase randomization sequences.


title: Practical Quantum State Tomography for Gibbs states

abstract: Quantum state tomography is an essential tool for the characterization and verification of quantum states. However, as it cannot be directly applied to systems with more than a few qubits, efficient tomography of larger states on mid-sized quantum devices remains an important challenge in quantum computing. We develop a tomography approach that requires moderate computational and quantum resources for the tomography of states that can be approximated by Gibbs states of local Hamiltonians. The proposed method, Hamiltonian Learning Tomography, uses a Hamiltonian learning algorithm to get a parametrized ansatz for the Gibbs Hamiltonian, and optimizes it with respect to the results of local measurements. We demonstrate the utility of this method with a high fidelity reconstruction of the density matrix of 4 to 10 qubits in a Gibbs state of the transverse-field Ising model, in numerical simulations as well as in experiments on IBM Quantum superconducting devices accessed via the cloud. Code implementation of the our method is freely available as an open source software in Python.


title: A Drinfeld-type presentation of the orthosymplectic Yangians

abstract: We use the Gauss decomposition of the generator matrix in the $R$-matrix presentation of the Yangian for the orthosymplectic Lie superalgebra ${\frak osp}_{N|2m}$ to produce its Drinfeld-type presentation. The results rely on a super-version of the embedding theorem which allows one to identify a subalgebra in the $R$-matrix presentation which is isomorphic to the Yangian associated with ${\frak osp}_{N|2m-2}$.