title: Sign-switching of superexchange mediated by few electrons under non-uniform magnetic field

abstract: Long range interaction between distant spins is an important building block for the realization of large quantum-dot network in which couplings between pairs of spins can be selectively addressed. Recent experiments on coherent logical states oscillation between remote spins facilitated by intermediate electron states has paved the first step for large scale quantum information processing. Reaching this ultimate goal requires extensive studies on the superexchange interaction on different quantum-dot spatial arrangements and electron configurations. Here, we consider a linear triple-quantum-dot with two anti-parallel spins in the outer dots forming the logical states while various number of electrons in the middle dot forming a mediator, which facilitates the superexchange interaction. We show that the superexchange is enhanced when the number of mediating electrons increases. In addition, we show that forming a four-electron triplet in the mediator dot further enhance the superexchange strength. Our work can be a guide to scale up the quantum-dot array with controllable and dense connectivity.


title: Mockingbird lattices

abstract: We study combinatorial and order theoretic structures arising from the fragment of combinatory logic spanned by the basic combinator ${\bf M}$. This basic combinator, named as the Mockingbird by Smullyan, is defined by the rewrite rule ${\bf M} x_1 \to x_1 x_1$. We prove that the reflexive and transitive closure of this rewrite relation is a partial order on terms on ${\bf M}$ and that all connected components of its rewrite graph are Hasse diagrams of lattices. This last result is based on the introduction of lattices on some forests. We enumerate the elements, the edges of the Hasse diagrams, and the intervals of these lattices with the help of formal power series on terms and on forests.


title: Fault Diagnosis of Discrete-Event Systems under Non-Deterministic Observations with Output Fairness

abstract: In this paper, we revisit the fault diagnosis problem of discrete-event systems (DES) under non-deterministic observations. Non-deterministic observation is a general observation model that includes the case of intermittent loss of observations. In this setting, upon the occurrence of an event, the sensor reading may be non-deterministic such that a set of output symbols are all possible. Existing works on fault diagnosis under non-deterministic observations require to consider all possible observation realizations. However, this approach includes the case where some possible outputs are permanently disabled. In this work, we introduce the concept of output fairness by requiring that, for any output symbols, if it has infinite chances to be generated, then it will indeed be generated infinite number of times. We use an assume-guarantee type of linear temporal logic formulas to formally describe this assumption. A new notion called output-fair diagnosability (OF-diagnosability) is proposed. An effective approach is provided for the verification of OF-diagnosability. We show that the proposed notion of OF-diagnosability is weaker than the standard definition of diagnosability under non-deterministic observations, and it better captures the physical scenario of observation non-determinism or intermittent loss of observations.


title: Data-Driven Approach for Log Instruction Quality Assessment

abstract: In the current IT world, developers write code while system operators run the code mostly as a black box. The connection between both worlds is typically established with log messages: the developer provides hints to the (unknown) operator, where the cause of an occurred issue is, and vice versa, the operator can report bugs during operation. To fulfil this purpose, developers write log instructions that are structured text commonly composed of a log level (e.g., "info", "error"), static text ("IP {} cannot be reached"), and dynamic variables (e.g. IP {}). However, as opposed to well-adopted coding practices, there are no widely adopted guidelines on how to write log instructions with good quality properties. For example, a developer may assign a high log level (e.g., "error") for a trivial event that can confuse the operator and increase maintenance costs. Or the static text can be insufficient to hint at a specific issue. In this paper, we address the problem of log quality assessment and provide the first step towards its automation. We start with an in-depth analysis of quality log instruction properties in nine software systems and identify two quality properties: 1) correct log level assignment assessing the correctness of the log level, and 2) sufficient linguistic structure assessing the minimal richness of the static text necessary for verbose event description. Based on these findings, we developed a data-driven approach that adapts deep learning methods for each of the two properties. An extensive evaluation on large-scale open-source systems shows that our approach correctly assesses log level assignments with an accuracy of 0.88, and the sufficient linguistic structure with an F1 score of 0.99, outperforming the baselines. Our study shows the potential of the data-driven methods in assessing instructions quality and aid developers in comprehending and writing better code.


title: The $\chi_\mathrm{eff}-z$ correlation of field binary black hole mergers and how 3G gravitational-wave detectors can constrain it

abstract: Understanding the origin of merging binary black holes is currently one of the most pressing quests in astrophysics. We show that if isolated binary evolution dominates the formation mechanism of merging binary black holes, one should expect a correlation between the effective spin parameter, $\chi_\mathrm{eff}$, and the redshift of the merger, $z$, of binary black holes. This correlation comes from tidal spin-up systems preferentially forming and merging at higher redshifts due to the combination of weaker orbital expansion from low metallicity stars given their reduced wind mass loss rate, delayed expansion and have smaller maximal radii during the supergiant phase compared to stars at higher metallicity. As a result, these tightly bound systems merge with short inspiral times. Given our fiducial model of isolated binary evolution, we show that the origin of a $\chi_\mathrm{eff}-z$ correlation in the detectable LIGO--Virgo binary black hole population is different from the intrinsic population, which will become accessible only in the future by third-generation gravitational-wave detectors such as Einstein Telescope and Cosmic Explorer. Finally, we compare our model predictions with population predictions based on the current catalog of binary black hole mergers and find that current data favor a positive correlation of $\chi_\mathrm{eff}-z$ as predicted by our model of isolated binary evolution.


title: Towards Robust Adaptive Object Detection under Noisy Annotations

abstract: Domain Adaptive Object Detection (DAOD) models a joint distribution of images and labels from an annotated source domain and learns a domain-invariant transformation to estimate the target labels with the given target domain images. Existing methods assume that the source domain labels are completely clean, yet large-scale datasets often contain error-prone annotations due to instance ambiguity, which may lead to a biased source distribution and severely degrade the performance of the domain adaptive detector de facto. In this paper, we represent the first effort to formulate noisy DAOD and propose a Noise Latent Transferability Exploration (NLTE) framework to address this issue. It is featured with 1) Potential Instance Mining (PIM), which leverages eligible proposals to recapture the miss-annotated instances from the background; 2) Morphable Graph Relation Module (MGRM), which models the adaptation feasibility and transition probability of noisy samples with relation matrices; 3) Entropy-Aware Gradient Reconcilement (EAGR), which incorporates the semantic information into the discrimination process and enforces the gradients provided by noisy and clean samples to be consistent towards learning domain-invariant representations. A thorough evaluation on benchmark DAOD datasets with noisy source annotations validates the effectiveness of NLTE. In particular, NLTE improves the mAP by 8.4\% under 60\% corrupted annotations and even approaches the ideal upper bound of training on a clean source dataset.


title: Negative-chirality order in $S=1/2$ kagome antiferromagnet CdCu$_{3}$(OH)$_{6}$(NO$_{3}$)$_{2}\cdot $H$_{2}$O

abstract: The neutron diffraction and nuclear magnetic resonance (NMR) measurements have been used to microscopically analyze the magnetic structure in the $S = 1/2$ kagome antiferromagnet CdCu$_{3}$(OH)$_{6}$(NO$_{3}$)$_{2}\cdot $H$_{2}$O. Below the magnetic ordering temperature $T_N\simeq 4$ K, magnetic Bragg reflections at (110) and (100) were found in the neutron diffraction pattern, which suggests a $q=0$ magnetic structure. Furthermore, the vector spin chirality for the $q=0$ structure was successfully identified from the internal field direction obtained by the $^{14}$N-NMR measurement. Our findings point to a chirality-ordered magnetic structure with negative vector chirality and $\langle 100 \rangle$ anisotropy.


title: Interplay Between Disorder and Collective Coherent Response: Superradiance and Spectral Motional Narrowing in the Time Domain

abstract: The interplay between static and dynamic disorder and collective optical response in molecular ensembles is an important characteristic of nanoplasmonic and nanophotonic molecular systems. Here we investigate the cooperative superradiant response of a molecular ensemble of quantum emitters under the influence of environmental disorder, including inhomogeneous broadening (as induced by static random distribution of the molecular transition frequencies) and motional narrowing (as induced by stochastic modulation of these excitation energies). The effect of inhomogeneous broadening is to destroy the coherence of the collective molecular excitation and suppress superradiant emission. However, fast stochastic modulation of the molecular excitation energy can effectively restore the coherence of the quantum emitters and lead to a recovery of superradiant emission, which is an unexpected manifestation of motional narrowing. For a light scattering process as induced by an off-resonant incident pulse, stochastic modulation leads to inelastic fluorescence emission at the average excitation energy at long times and suggests that dynamic disorder effects can actually lead to collective excitation of the molecular ensemble.


title: Attention-based CNN-LSTM and XGBoost hybrid model for stock prediction

abstract: Stock market plays an important role in the economic development. Due to the complex volatility of the stock market, the research and prediction on the change of the stock price, can avoid the risk for the investors. The traditional time series model ARIMA can not describe the nonlinearity, and can not achieve satisfactory results in the stock prediction. As neural networks are with strong nonlinear generalization ability, this paper proposes an attention-based CNN-LSTM and XGBoost hybrid model to predict the stock price. The model constructed in this paper integrates the time series model, the Convolutional Neural Networks with Attention mechanism, the Long Short-Term Memory network, and XGBoost regressor in a non-linear relationship, and improves the prediction accuracy. The model can fully mine the historical information of the stock market in multiple periods. The stock data is first preprocessed through ARIMA. Then, the deep learning architecture formed in pretraining-finetuning framework is adopted. The pre-training model is the Attention-based CNN-LSTM model based on sequence-to-sequence framework. The model first uses convolution to extract the deep features of the original stock data, and then uses the Long Short-Term Memory networks to mine the long-term time series features. Finally, the XGBoost model is adopted for fine-tuning. The results show that the hybrid model is more effective and the prediction accuracy is relatively high, which can help investors or institutions to make decisions and achieve the purpose of expanding return and avoiding risk. Source code is available at https://github.com/zshicode/Attention-CLX-stock-prediction.


title: There Are a Thousand Hamlets in a Thousand People's Eyes: Enhancing Knowledge-grounded Dialogue with Personal Memory

abstract: Knowledge-grounded conversation (KGC) shows great potential in building an engaging and knowledgeable chatbot, and knowledge selection is a key ingredient in it. However, previous methods for knowledge selection only concentrate on the relevance between knowledge and dialogue context, ignoring the fact that age, hobby, education and life experience of an interlocutor have a major effect on his or her personal preference over external knowledge. Without taking the personalization issue into account, it is difficult to select the proper knowledge and generate persona-consistent responses. In this work, we introduce personal memory into knowledge selection in KGC to address the personalization issue. We propose a variational method to model the underlying relationship between one's personal memory and his or her selection of knowledge, and devise a learning scheme in which the forward mapping from personal memory to knowledge and its inverse mapping is included in a closed loop so that they could teach each other. Experiment results show that our method outperforms existing KGC methods significantly on both automatic evaluation and human evaluation.


title: Bridging the Gap of AutoGraph between Academia and Industry: Analysing AutoGraph Challenge at KDD Cup 2020

abstract: Graph structured data is ubiquitous in daily life and scientific areas and has attracted increasing attention. Graph Neural Networks (GNNs) have been proved to be effective in modeling graph structured data and many variants of GNN architectures have been proposed. However, much human effort is often needed to tune the architecture depending on different datasets. Researchers naturally adopt Automated Machine Learning on Graph Learning, aiming to reduce the human effort and achieve generally top-performing GNNs, but their methods focus more on the architecture search. To understand GNN practitioners' automated solutions, we organized AutoGraph Challenge at KDD Cup 2020, emphasizing on automated graph neural networks for node classification. We received top solutions especially from industrial tech companies like Meituan, Alibaba and Twitter, which are already open sourced on Github. After detailed comparisons with solutions from academia, we quantify the gaps between academia and industry on modeling scope, effectiveness and efficiency, and show that (1) academia AutoML for Graph solutions focus on GNN architecture search while industrial solutions, especially the winning ones in the KDD Cup, tend to obtain an overall solution (2) by neural architecture search only, academia solutions achieve on average 97.3% accuracy of industrial solutions (3) academia solutions are cheap to obtain with several GPU hours while industrial solutions take a few months' labors. Academic solutions also contain much fewer parameters.


title: A Weakly Supervised Propagation Model for Rumor Verification and Stance Detection with Multiple Instance Learning

abstract: The diffusion of rumors on microblogs generally follows a propagation tree structure, that provides valuable clues on how an original message is transmitted and responded by users over time. Recent studies reveal that rumor detection and stance detection are two different but relevant tasks which can jointly enhance each other, e.g., rumors can be debunked by cross-checking the stances conveyed by their relevant microblog posts, and stances are also conditioned on the nature of the rumor. However, most stance detection methods require enormous post-level stance labels for training, which are labor-intensive given a large number of posts. Enlightened by Multiple Instance Learning (MIL) scheme, we first represent the diffusion of claims with bottom-up and top-down trees, then propose two tree-structured weakly supervised frameworks to jointly classify rumors and stances, where only the bag-level labels concerning claim's veracity are needed. Specifically, we convert the multi-class problem into a multiple MIL-based binary classification problem where each binary model focuses on differentiating a target stance or rumor type and other types. Finally, we propose a hierarchical attention mechanism to aggregate the binary predictions, including (1) a bottom-up or top-down tree attention layer to aggregate binary stances into binary veracity; and (2) a discriminative attention layer to aggregate the binary class into finer-grained classes. Extensive experiments conducted on three Twitter-based datasets demonstrate promising performance of our model on both claim-level rumor detection and post-level stance classification compared with state-of-the-art methods.


title: Cluster Synchronization of Kuramoto Oscillators and the Method of Averaging

abstract: Rigorous conditions for cluster synchronization of Kuramoto oscillators are presented. The method of averaging plays an important role in stability analysis, but the standard Lyapunov's second method is not applicable due to the lack of uniform continuity. This paper contributes to overcoming this difficulty with the help of nonmonotonic Lyapunov functions. Our extensions of averaging in stability theory are key to derive the two interrelated cluster synchronization conditions: (i) the coupling strengths between clusters are sufficiently weak and/or (ii) the natural frequencies are largely different between clusters. Cluster phase cohesiveness in the absence of network partitions ensuring the existence of invariant manifolds is also investigated. Moreover, we apply our theoretical findings to brain networks and exhibit certain relations among network parameters and functional connectivity.


title: Asymptotics and sign patterns for coefficients in expansions of Habiro elements

abstract: We prove asymptotics and study sign patterns for coefficients in expansions of elements in the Habiro ring which satisfy a strange identity. As an application, we prove asymptotics and discuss positivity for the generalized Fishburn numbers which arise from the Kontsevich-Zagier series associated to the colored Jones polynomial for a family of torus knots. This extends Zagier's result on asymptotics for the Fishburn numbers.


title: An Automated Conversion Between Selected Robot Kinematic Representations

abstract: This paper presents a methodology that forms an automated tool for robot kinematic representation conversion, called the RobKin Interpreter. It is a set of analytical algorithms that apply basic linear algebra tools that can analyze an input serial robot representation, express the joints globally in matrix form, and map to other representations such as standard Denavit-Hartenberg parameters, Roll-Pitch-Yaw angles with translational displacement, and Product of Exponentials with a possibility to generate a URDF (Universal Robot Description Format) file from any of them. It works for revolute and prismatic joints and can interpret even arbitrary kinematic structures that do not have orthogonally placed joints and often appear in flexible robotic systems. The aim of the proposed methods is to facilitate the necessary switches between representations due to software compatibility, calculation simplification, or cooperation.


title: IterVM: Iterative Vision Modeling Module for Scene Text Recognition

abstract: Scene text recognition (STR) is a challenging problem due to the imperfect imagery conditions in natural images. State-of-the-art methods utilize both visual cues and linguistic knowledge to tackle this challenging problem. Specifically, they propose iterative language modeling module (IterLM) to repeatedly refine the output sequence from the visual modeling module (VM). Though achieving promising results, the vision modeling module has become the performance bottleneck of these methods. In this paper, we newly propose iterative vision modeling module (IterVM) to further improve the STR accuracy. Specifically, the first VM directly extracts multi-level features from the input image, and the following VMs re-extract multi-level features from the input image and fuse them with the high-level (i.e., the most semantic one) feature extracted by the previous VM. By combining the proposed IterVM with iterative language modeling module, we further propose a powerful scene text recognizer called IterNet. Extensive experiments demonstrate that the proposed IterVM can significantly improve the scene text recognition accuracy, especially on low-quality scene text images. Moreover, the proposed scene text recognizer IterNet achieves new state-of-the-art results on several public benchmarks. Codes will be available at https://github.com/VDIGPKU/IterNet.


title: Super-resolved multi-temporal segmentation with deep permutation-invariant networks

abstract: Multi-image super-resolution from multi-temporal satellite acquisitions of a scene has recently enjoyed great success thanks to new deep learning models. In this paper, we go beyond classic image reconstruction at a higher resolution by studying a super-resolved inference problem, namely semantic segmentation at a spatial resolution higher than the one of sensing platform. We expand upon recently proposed models exploiting temporal permutation invariance with a multi-resolution fusion module able to infer the rich semantic information needed by the segmentation task. The model presented in this paper has recently won the AI4EO challenge on Enhanced Sentinel 2 Agriculture.


title: DeFTA: A Plug-and-Play Decentralized Replacement for FedAvg

abstract: Federated learning (FL) is identified as a crucial enabler for large-scale distributed machine learning (ML) without the need for local raw dataset sharing, substantially reducing privacy concerns and alleviating the isolated data problem. In reality, the prosperity of FL is largely due to a centralized framework called FedAvg, in which workers are in charge of model training and servers are in control of model aggregation. However, FedAvg's centralized worker-server architecture has raised new concerns, be it the low scalability of the cluster, the risk of data leakage, and the failure or even defection of the central server. To overcome these problems, we propose Decentralized Federated Trusted Averaging (DeFTA), a decentralized FL framework that serves as a plug-and-play replacement for FedAvg, instantly bringing better security, scalability, and fault-tolerance to the federated learning process after installation. In principle, it fundamentally resolves the above-mentioned issues from an architectural perspective without compromises or tradeoffs, primarily consisting of a new model aggregating formula with theoretical performance analysis, and a decentralized trust system (DTS) to greatly improve system robustness. Note that since DeFTA is an alternative to FedAvg at the framework level, \textit{prevalent algorithms published for FedAvg can be also utilized in DeFTA with ease}. Extensive experiments on six datasets and six basic models suggest that DeFTA not only has comparable performance with FedAvg in a more realistic setting, but also achieves great resilience even when 66% of workers are malicious. Furthermore, we also present an asynchronous variant of DeFTA to endow it with more powerful usability.


title: DAGAM: Data Augmentation with Generation And Modification

abstract: Text classification is a representative downstream task of natural language processing, and has exhibited excellent performance since the advent of pre-trained language models based on Transformer architecture. However, in pre-trained language models, under-fitting often occurs due to the size of the model being very large compared to the amount of available training data. Along with significant importance of data collection in modern machine learning paradigm, studies have been actively conducted for natural language data augmentation. In light of this, we introduce three data augmentation schemes that help reduce underfitting problems of large-scale language models. Primarily we use a generation model for data augmentation, which is defined as Data Augmentation with Generation (DAG). Next, we augment data using text modification techniques such as corruption and word order change (Data Augmentation with Modification, DAM). Finally, we propose Data Augmentation with Generation And Modification (DAGAM), which combines DAG and DAM techniques for a boosted performance. We conduct data augmentation for six benchmark datasets of text classification task, and verify the usefulness of DAG, DAM, and DAGAM through BERT-based fine-tuning and evaluation, deriving better results compared to the performance with original datasets.


title: Federated Reinforcement Learning with Environment Heterogeneity

abstract: We study a Federated Reinforcement Learning (FedRL) problem in which $n$ agents collaboratively learn a single policy without sharing the trajectories they collected during agent-environment interaction. We stress the constraint of environment heterogeneity, which means $n$ environments corresponding to these $n$ agents have different state transitions. To obtain a value function or a policy function which optimizes the overall performance in all environments, we propose two federated RL algorithms, \texttt{QAvg} and \texttt{PAvg}. We theoretically prove that these algorithms converge to suboptimal solutions, while such suboptimality depends on how heterogeneous these $n$ environments are. Moreover, we propose a heuristic that achieves personalization by embedding the $n$ environments into $n$ vectors. The personalization heuristic not only improves the training but also allows for better generalization to new environments.


title: PVI-DSO: Leveraging Planar Regularities for Direct Sparse Visual-Inertial Odometry

abstract: The monocular visual-inertial odometry (VIO) based on the direct method can leverage all available pixels in the image to simultaneously estimate the camera motion and reconstruct the denser map of the scene in real time. However, the direct method is sensitive to photometric changes, which can be compensated by introducing geometric information in the environment. In this paper, we propose a monocular direct sparse visual-inertial odometry, which exploits the planar regularities (PVI-DSO). Our system detects the planar regularities from the 3D mesh built on the estimated map points. To improve the pose estimation accuracy with the geometric information, a tightly coupled coplanar constraint expression is used to express photometric error in the direct method. Additionally, to improve the optimization efficiency, we elaborately derive the analytical Jacobian of the linearization form for the coplanar constraint. Finally, the inertial measurement error, coplanar point photometric error, non-coplanar photometric error, and prior error are added into the optimizer, which simultaneously improves the pose estimation accuracy and mesh itself. We verified the performance of the whole system on simulation and real-world datasets. Extensive experiments have demonstrated that our system outperforms the state-of-the-art counterparts.


title: Failure Identification from Unstable Log Data using Deep Learning

abstract: The reliability of cloud platforms is of significant relevance because society increasingly relies on complex software systems running on the cloud. To improve it, cloud providers are automating various maintenance tasks, with failure identification frequently being considered. The precondition for automation is the availability of observability tools, with system logs commonly being used. The focus of this paper is log-based failure identification. This problem is challenging because of the instability of the log data and the incompleteness of the explicit logging failure coverage within the code. To address the two challenges, we present CLog as a method for failure identification. The key idea presented herein based is on our observation that by representing the log data as sequences of subprocesses instead of sequences of log events, the effect of the unstable log data is reduced. CLog introduces a novel subprocess extraction method that uses context-aware neural network and clustering methods to extract meaningful subprocesses. The direct modeling of log event contexts allows the identification of failures with respect to the abrupt context changes, addressing the challenge of insufficient logging failure coverage. Our experimental results demonstrate that the learned subprocesses representations reduce the instability in the input, allowing CLog to outperform the baselines on the failure identification subproblems - 1) failure detection by 9-24% on F1 score and 2) failure type identification by 7% on the macro averaged F1 score. Further analysis shows the existent negative correlation between the instability in the input event sequences and the detection performance in a model-agnostic manner.


title: Global HRTF Interpolation via Learned Affine Transformation of Hyper-conditioned Features

abstract: Estimating Head-Related Transfer Functions (HRTFs) of arbitrary source points is essential in immersive binaural audio rendering. Computing each individual's HRTFs is challenging, as traditional approaches require expensive time and computational resources, while modern data-driven approaches are data-hungry. Especially for the data-driven approaches, existing HRTF datasets differ in spatial sampling distributions of source positions, posing a major problem when generalizing the method across multiple datasets. To alleviate this, we propose a deep learning method based on a novel conditioning architecture. The proposed method can predict an HRTF of any position by interpolating the HRTFs of known distributions. Experimental results show that the proposed architecture improves the model's generalizability across datasets with various coordinate systems. Additional demonstrations show that the model robustly reconstructs the target HRTFs from the spatially downsampled HRTFs in both quantitative and perceptual measures.


title: Monotone Improvement of Information-Geometric Optimization Algorithms with a Surrogate Function

abstract: A surrogate function is often employed to reduce the number of objective function evaluations for optimization. However, the effect of using a surrogate model in evolutionary approaches has not been theoretically investigated. This paper theoretically analyzes the information-geometric optimization framework using a surrogate function. The value of the expected objective function under the candidate sampling distribution is used as the measure of progress of the algorithm. We assume that the surrogate function is maintained so that the population version of the Kendall's rank correlation coefficient between the surrogate function and the objective function under the candidate sampling distribution is greater than or equal to a predefined threshold. We prove that information-geometric optimization using such a surrogate function leads to a monotonic decrease in the expected objective function value if the threshold is sufficiently close to one. The acceptable threshold value is analyzed for the case of the information-geometric optimization instantiated with Gaussian distributions, i.e., the rank-$\mu$ update CMA-ES, on a convex quadratic objective function. As an alternative to the Kendall's rank correlation coefficient, we investigate the use of the Pearson correlation coefficient between the weights assigned to candidate solutions based on the objective function and the surrogate function.


title: Representation Selective Self-distillation and wav2vec 2.0 Feature Exploration for Spoof-aware Speaker Verification

abstract: Text-to-speech and voice conversion studies are constantly improving to the extent where they can produce synthetic speech almost indistinguishable from bona fide human speech. In this regard, the importance of countermeasures (CM) against synthetic voice attacks of the automatic speaker verification (ASV) systems emerges. Nonetheless, most end-to-end spoofing detection networks are black-box systems, and the answer to what is an effective representation for finding artifacts remains veiled. In this paper, we examine which feature space can effectively represent synthetic artifacts using wav2vec 2.0, and study which architecture can effectively utilize the space. Our study allows us to analyze which attribute of speech signals is advantageous for the CM systems. The proposed CM system achieved 0.31% equal error rate (EER) on ASVspoof 2019 LA evaluation set for the spoof detection task. We further propose a simple yet effective spoofing aware speaker verification (SASV) method, which takes advantage of the disentangled representations from our countermeasure system. Evaluation performed with the SASV Challenge 2022 database show 1.08% of SASV EER. Quantitative analysis shows that using the explored feature space of wav2vec 2.0 advantages both spoofing CM and SASV.


title: Application of Perron Trees to Geometric Maximal Operators

abstract: We characterize the $L^p(\mathbb{R}^2)$ boundeness of the geometric maximal operator $M_{a,b}$ associated to the basis $\mathcal{B}_{a,b}$ ($a,b > 0$) which is composed of rectangles $R$ whose eccentricity and orientation is of the form $$\left( e_R ,\omega_R \right) = \left( \frac{1}{n^a} , \frac{\pi}{4n^b} \right)$$ for some $n \in \mathbb{N}^*$. The proof involves \textit{generalized Perron trees}, as constructed in \cite{KATHRYN JAN}.


title: The Swiss Army Knife for Image-to-Image Translation: Multi-Task Diffusion Models

abstract: Recently, diffusion models were applied to a wide range of image analysis tasks. We build on a method for image-to-image translation using denoising diffusion implicit models and include a regression problem and a segmentation problem for guiding the image generation to the desired output. The main advantage of our approach is that the guidance during the denoising process is done by an external gradient. Consequently, the diffusion model does not need to be retrained for the different tasks on the same dataset. We apply our method to simulate the aging process on facial photos using a regression task, as well as on a brain magnetic resonance (MR) imaging dataset for the simulation of brain tumor growth. Furthermore, we use a segmentation model to inpaint tumors at the desired location in healthy slices of brain MR images. We achieve convincing results for all problems.


title: A Generic Closed-form Optimal Step-size for ADMM

abstract: In this work, we present a generic step-size choice for the ADMM type proximal algorithms. It admits a closed-form expression and is theoretically optimal with respect to a worst-case convergence rate bound. It is simply given by the ratio of Euclidean norms of the dual and primal solutions, i.e., $ ||{\lambda}^\star|| / ||{x}^\star||$. Numerical tests show that its practical performance is near-optimal in general. The only challenge is that such a ratio is not known a priori and we provide two strategies to address it. The derivation of our step-size choice is based on studying the fixed-point structure of ADMM using the proximal operator. However, we demonstrate that the classical proximal operator definition contains an input scaling issue. This leads to a scaled step-size optimization problem which would yield a false solution. Such an issue is naturally avoided by our proposed new definition of the proximal operator. A series of its properties is established.


title: Compositional pre-processing for automated reasoning in dependent type theory

abstract: In the context of interactive theorem provers based on a dependent type theory, automation tactics (dedicated decision procedures, call of automated solvers, ...) are often limited to goals which are exactly in some expected logical fragment. This very often prevents users from applying these tactics in other contexts, even similar ones. This paper discusses the design and the implementation of pre-processing operations for automating formal proofs in the Coq proof assistant. It presents the implementation of a wide variety of predictible, atomic goal transformations, which can be composed in various ways to target different backends. A gallery of examples illustrates how it helps to expand significantly the power of automation engines.


title: Dynamics of skew-products tangent to the identity

abstract: We study the local dynamics of generic skew-products tangent to the identity, i.e. maps of the form $P(z,w)=(p(z), q(z,w))$ with $dP_0=\mathrm{id}$. More precisely, we focus on maps with non-degenerate second differential at the origin; such maps have local normal form $P(z,w)=(z-z^2+O(z^3),w+w^2+bz^2+O(\|(z,w)\|^3))$. We prove the existence of parabolic domains, and prove that inside these parabolic domains the orbits converge non-tangentially if and only if $b \in (\frac{1}{4},+\infty)$. Furthermore, we prove the existence of a type of parabolic implosion, in which the renormalization limits are different from previously known cases. This has a number of consequences: under a diophantine condition on coefficients of $P$, we prove the existence of wandering domains with rank 1 limit maps. We also give explicit examples of quadratic skew-products with countably many grand orbits of wandering domains, and we give an explicit example of a skew-product map with a Fatou component exhibiting historic behaviour. Finally, we construct various topological invariants, which allow us to answer a question of Abate.


title: Gas phase Elemental abundances in Molecular cloudS (GEMS) VI. A sulphur journey across star-forming regions: study of thioformaldehyde emission

abstract: In the context of the IRAM 30m Large Program GEMS, we present a study of thioformaldehyde in several starless cores located in star-forming filaments of Taurus, Perseus, and Orion. We investigate the influence of the environmental conditions on the abundances of these molecules in the cores, and the effect of time evolution. We have modelled the observed lines of H2CS, HDCS, and D2CS using the radiative transfer code RADEX. We have also used the chemical code Nautilus to model the evolution of these species depending on the characteristics of the starless cores. We derive column densities and abundances for all the cores. We also derive deuterium fractionation ratios, Dfrac, to determine and compare the evolutionary stage between different parts of each star-forming region. Our results indicate that the north region of the B213 filament in Taurus is more evolved than the south, while the north-eastern part of Perseus presents an earlier evolutionary stage than the south-western zone. Model results also show that Dfrac decreases with the cosmic-ray ionisation rate, while it increases with density and with the degree of sulphur depletion. In particular, we only reproduce the observations when the initial sulphur abundance in the starless cores is at least one order of magnitude lower than the solar elemental sulphur abundance. The progressive increase in HDCS/H2CS and D2CS/H2CS with time makes these ratios powerful tools for deriving the chemical evolutionary stage of starless cores. However, they cannot be used to derive the temperature of these regions, since both ratios present a similar evolution at two different temperature ranges (7-11 K and 15-19 K). Regarding chemistry, (deuterated) thioformaldehyde is mainly formed through gas-phase reactions (double-replacement and neutral-neutral displacement reactions), while surface chemistry plays an important role as a destruction mechanism.


title: Black-Box Min--Max Continuous Optimization Using CMA-ES with Worst-case Ranking Approximation

abstract: In this study, we investigate the problem of min-max continuous optimization in a black-box setting $\min_{x} \max_{y}f(x,y)$. A popular approach updates $x$ and $y$ simultaneously or alternatingly. However, two major limitations have been reported in existing approaches. (I) As the influence of the interaction term between $x$ and $y$ (e.g., $x^\mathrm{T} B y$) on the Lipschitz smooth and strongly convex-concave function $f$ increases, the approaches converge to an optimal solution at a slower rate. (II) The approaches fail to converge if $f$ is not Lipschitz smooth and strongly convex-concave around the optimal solution. To address these difficulties, we propose minimizing the worst-case objective function $F(x)=\max_{y}f(x,y)$ directly using the covariance matrix adaptation evolution strategy, in which the rankings of solution candidates are approximated by our proposed worst-case ranking approximation (WRA) mechanism. Compared with existing approaches, numerical experiments show two important findings regarding our proposed method. (1) The proposed approach is efficient in terms of $f$-calls on a Lipschitz smooth and strongly convex-concave function with a large interaction term. (2) The proposed approach can converge on functions that are not Lipschitz smooth and strongly convex-concave around the optimal solution, whereas existing approaches fail.


title: Accelerated quantum adiabatic transfer in superconducting qubits

abstract: Quantum adiabatic transfer is widely used in quantum computation and quantum simulation. However, the transfer speed is limited by the quantum adiabatic approximation condition, which hinders its application in quantum systems with a short decoherence time. Here we demonstrate quantum adiabatic state transfers that jump along geodesics in one-qubit and two-qubit superconducting transmons. This approach possesses the advantages of speed, robustness, and high fidelity compared with the usual adiabatic process. Our protocol provides feasible strategies for improving state manipulation and gate operation in superconducting quantum circuits.


title: Stochastic Volterra equations with H\"older diffusion coefficients

abstract: The existence of strong solutions and pathwise uniqueness are established for one-dimensional stochastic Volterra equations with locally H{\"o}lder continuous diffusion coefficients and sufficiently regular kernels. Moreover, we study the sample path regularity, the integrability and the semimartingale property of solutions to one-dimensional stochastic Volterra equations.


title: An updated review of the new hadron states

abstract: The past decades witnessed the golden era of hadron physics. Many excited open heavy flavor mesons and baryons have been observed since 2017. We shall provide an updated review of the recent experimental and theoretical progresses in this active field. Besides the conventional heavy hadrons, we shall also review the recently observed open heavy flavor tetraquark states $X(2900)$ and $T_{cc}^+(3875)$ as well as the hidden heavy flavor multiquark states $X(6900)$, $P_{cs}(4459)^0$, $Z_{cs}(3985)^-$, $Z_{cs}(4000)^+$, and $Z_{cs}(4220)^+$. We will also cover the recent progresses on the glueballs and light hybrid mesons, which are the direct manifestations of the non-Abelian $SU(3)$ gauge interaction of the Quantum Chromodynamics in the low-energy region.


title: Spatio-Temporal Dynamic Graph Relation Learning for Urban Metro Flow Prediction

abstract: Urban metro flow prediction is of great value for metro operation scheduling, passenger flow management and personal travel planning. However, it faces two main challenges. First, different metro stations, e.g. transfer stations and non-transfer stations, have unique traffic patterns. Second, it is challenging to model complex spatio-temporal dynamic relation of metro stations. To address these challenges, we develop a spatio-temporal dynamic graph relational learning model (STDGRL) to predict urban metro station flow. First, we propose a spatio-temporal node embedding representation module to capture the traffic patterns of different stations. Second, we employ a dynamic graph relationship learning module to learn dynamic spatial relationships between metro stations without a predefined graph adjacency matrix. Finally, we provide a transformer-based long-term relationship prediction module for long-term metro flow prediction. Extensive experiments are conducted based on metro data in Beijing, Shanghai, Chongqing and Hangzhou. Experimental results show the advantages of our method beyond 11 baselines for urban metro flow prediction.


title: Scheduling Coflows for Minimizing the Total Weighted Completion Time in Identical Parallel Networks

abstract: Coflow is a recently proposed network abstraction to capture communication patterns in data centers. The coflow scheduling problem in large data centers is one of the most important $NP$-hard problems. Previous research on coflow scheduling focused mainly on the single-switch model. However, with recent technological developments, this single-core model is no longer sufficient. This paper considers the coflow scheduling problem in identical parallel networks. The identical parallel network is an architecture based on multiple network cores running in parallel. Coflow can be considered as divisible or indivisible. Different flows in a divisible coflow can be transmitted through different network cores. Considering the divisible coflow scheduling problem, we propose a $(6-\frac{2}{m})$-approximation algorithm with arbitrary release times, and a $(5-\frac{2}{m})$-approximation without release time, where $m$ is the number of network cores. On the other hand, when coflow is indivisible, we propose a $(4m+1)$-approximation algorithm with arbitrary release times, and a $(4m)$-approximation without release time.


title: Quasi groupes de Frobenius dimensionnels

abstract: We are interested in a class of groups, quasi-Frobenius groups (with involutions), whose internal structure generalizes that of the classical groups GA1(C), PGL 2(C) and SO3(R) : a subgroup and its conjugates, of finite index in their normalizer and trivial mutual intersection, cover "generically" the ambient group. From the perspective of model theory, we work with the hypothesis of the existence of a good notion of dimension on definable sets (we must distinguish between the o-minimal case and the ranked case). We pay special attention to the ranked case. By studying the geometry of incidence induced by involutions, we sketch a classification of quasi-Frobenius groups and thus determine under which conditionsclassical groups can be identified in a dimensional framework -- -- Nous nous int\'eressons \`a une classe de groupes, les quasi-groupes de Frobenius (avec involutions), dont la structure interne g\'en\'eralise celle des groupes classiques GA1(C), PGL2(C) et SO3(R) : un sous-groupe et ses conjugu\'es, d'indice fini dans leur normalisateur et d'intersection mutuelle triviale, recouvrent "g\'en\'eriquement" le groupe ambiant. Dans la perspective de la th\'eorie des mod\`eles, nous travaillons avec l'hypoth\`ese de l'existence d'une bonne notion dimension sur les ensembles d\'efinissables (il faut distinguer le cas o-minimal et le cas rang\'e). Nous accordons une attention particuli\`ere au cas rang\'e. En \'etudiant la g\'eom\'etrie d'incidence induite par les involutions, nous esquissons une classification des quasi-groupes de Frobenius et nous d\'eterminons ainsi sous quelles conditions des groupes classiques peuvent \^etre identifi\'es dans un cadre dimensionnel.


title: Using Synthetic Data for Conversational Response Generation in Low-resource Settings

abstract: Response generation is a task in natural language processing (NLP) where a model is trained to respond to human statements. Conversational response generators take this one step further with the ability to respond within the context of previous responses. While there are existing techniques for training such models, they all require an abundance of conversational data which are not always available for low-resource languages. In this research, we make three contributions. First, we released the first Filipino conversational dataset collected from a popular Philippine online forum, which we named the PEx Conversations Dataset. Second, we introduce a data augmentation (DA) methodology for Filipino data by employing a Tagalog RoBERTa model to increase the size of the existing corpora. Lastly, we published the first Filipino conversational response generator capable of generating responses related to the previous 3 responses. With the supplementary synthetic data, we were able to improve the performance of the response generator by up to 12.2% in BERTScore, 10.7% in perplexity, and 11.7% in content word usage as compared to training with zero synthetic data.


title: Adversarial Analysis of the Differentially-Private Federated Learning in Cyber-Physical Critical Infrastructures

abstract: Federated Learning (FL) has become increasingly popular to perform data-driven analysis in cyber-physical critical infrastructures. Since the FL process may involve the client's confidential information, Differential Privacy (DP) has been proposed lately to secure it from adversarial inference. However, we find that while DP greatly alleviates the privacy concerns, the additional DP-noise opens a new threat for model poisoning in FL. Nonetheless, very little effort has been made in the literature to investigate this adversarial exploitation of the DP-noise. To overcome this gap, in this paper, we present a novel adaptive model poisoning technique {\alpha}-MPELM} through which an attacker can exploit the additional DP-noise to evade the state-of-the-art anomaly detection techniques and prevent optimal convergence of the FL model. We evaluate our proposed attack on the state-of-the-art anomaly detection approaches in terms of detection accuracy and validation loss. The main significance of our proposed {\alpha}-MPELM attack is that it reduces the state-of-the-art anomaly detection accuracy by 6.8% for norm detection, 12.6% for accuracy detection, and 13.8% for mix detection. Furthermore, we propose a Reinforcement Learning-based DP level selection process to defend {\alpha}-MPELM attack. The experimental results confirm that our defense mechanism converges to an optimal privacy policy without human maneuver.


title: Location-assisted precoding in 5G LEO systems: architectures and performances

abstract: Satellite communication systems are a fundamental component in support of Europe's ambition to deploy smart and sustainable networks and services for the success of its digital economy. To cope with the 5G and beyond ever increasing demand for larger throughput, aggressive frequency reuse schemes (i.e., full frequency reuse), with the implementation of precoding/beamforming to cope with the massive co-channel interference, are recognised as one of the key technologies. While the best performance can be obtained with the knowledge of the Channel State Information (CSI) at the transmitter, this also poses some technical challenges related to signalling and synchronisation. In this paper, we focus on precoding solutions that only needs the knowledge of the users' positions at the transmitter side, namely the recently introduced Switchable Multi-Beam (MB) and Spatially Sampled MMSE (SS-MMSE) precoding. Compared to the vast majority of the studies in the literature, we take into account both the users' and the satellite movement in a Low Earth Orbit (LEO) mega-constellation, also proposing two system architectures. The extensive numerical assessment provides a valuable insight on the performance of these two precoding schemes compared to the optimal MMSE solution.


title: CHIEF: Clustering with Higher-order Motifs in Big Networks

abstract: Clustering a group of vertices in networks facilitates applications across different domains, such as social computing and Internet of Things. However, challenges arises for clustering networks with increased scale. This paper proposes a solution which consists of two motif clustering techniques: standard acceleration CHIEF-ST and approximate acceleration CHIEF-AP. Both algorithms first find the maximal k-edge-connected subgraphs within the target networks to lower the network scale, then employ higher-order motifs in clustering. In the first procedure, we propose to lower the network scale by optimizing the network structure with maximal k-edge-connected subgraphs. For CHIEF-ST, we illustrate that all target motifs will be kept after this procedure when the minimum node degree of the target motif is equal or greater than k. For CHIEF-AP, we prove that the eigenvalues of the adjacency matrix and the Laplacian matrix are relatively stable after this step. That is, CHIEF-ST has no influence on motif clustering, whereas CHIEF-AP introduces limited yet acceptable impact. In the second procedure, we employ higher-order motifs, i.e., heterogeneous four-node motifs clustering in higher-order dense networks. The contributions of CHIEF are two-fold: (1) improved efficiency of motif clustering for big networks; (2) verification of higher-order motif significance. The proposed solutions are found to outperform baseline approaches according to experiments on real and synthetic networks, which demonstrates CHIEF's strength in large network analysis. Meanwhile, higher-order motifs are proved to perform better than traditional triangle motifs in clustering.


title: Calibrated regression estimation using empirical likelihood under data fusion

abstract: Data analysis based on information from several sources is common in economic and biomedical studies. This setting is often referred to as the data fusion problem, which differs from traditional missing data problems since no complete data is observed for any subject. We consider a regression analysis when the outcome variable and some covariates are collected from two different sources. By leveraging the common variables observed in both data sets, doubly robust estimation procedures are proposed in the literature to protect against possible model misspecifications. However, they employ only a single propensity score model for the data fusion process and a single imputation model for the covariates available in one data set. It may be questionable to assume that either model is correctly specified in practice. We therefore propose an approach that calibrates multiple propensity score and imputation models to gain more protection based on empirical likelihood methods. The resulting estimator is consistent when any one of those models is correctly specified and is robust against extreme values of the fitted propensity scores. We also establish its asymptotic normality property and discuss the semiparametric estimation efficiency. Simulation studies show that the proposed estimator has substantial advantages over existing doubly robust estimators, and an assembled U.S. household expenditure data example is used for illustration.


title: Yunshan Cup 2020: Overview of the Part-of-Speech Tagging Task for Low-resourced Languages

abstract: The Yunshan Cup 2020 track focused on creating a framework for evaluating different methods of part-of-speech (POS). There were two tasks for this track: (1) POS tagging for the Indonesian language, and (2) POS tagging for the Lao tagging. The Indonesian dataset is comprised of 10000 sentences from Indonesian news within 29 tags. And the Lao dataset consists of 8000 sentences within 27 tags. 25 teams registered for the task. The methods of participants ranged from feature-based to neural networks using either classical machine learning techniques or ensemble methods. The best performing results achieve an accuracy of 95.82% for Indonesian and 93.03%, showing that neural sequence labeling models significantly outperform classic feature-based methods and rule-based methods.


title: Towards Better Understanding of User Satisfaction in Open-Domain Conversational Search

abstract: With the increasing popularity of conversational search, how to evaluate the performance of conversational search systems has become an important question in the IR community. Existing works on conversational search evaluation can mainly be categorized into two streams: (1) constructing metrics based on semantic similarity (e.g. BLUE, METEOR and BERTScore), or (2) directly evaluating the response ranking performance of the system using traditional search methods (e.g. nDCG, RBP and nERR). However, these methods either ignore the information need of the user or ignore the mixed-initiative property of conversational search. This raises the question of how to accurately model user satisfaction in conversational search scenarios. Since explicitly asking users to provide satisfaction feedback is difficult, traditional IR studies often rely on the Cranfield paradigm (i.e., third-party annotation) and user behavior modeling to estimate user satisfaction in search. However, the feasibility and effectiveness of these two approaches have not been fully explored in conversational search. In this paper, we dive into the evaluation of conversational search from the perspective of user satisfaction. We build a novel conversational search experimental platform and construct a Chinese open-domain conversational search behavior dataset containing rich annotations and search behavior data. We also collect third-party satisfaction annotation at the session-level and turn-level, to investigate the feasibility of the Cranfield paradigm in the conversational search scenario. Experimental results show both some consistency and considerable differences between the user satisfaction annotations and third-party annotations. We also propose dialog continuation or ending behavior models (DCEBM) to capture session-level user satisfaction based on turn-level information.


title: Remarks on the almost sure well-posedness for incompressible Navier-Stokes equations with arbitrary regularity

abstract: In this note, we study the random data problem for incompressible Navier-Stokes equations in Euclidean space with arbitrary regularity, using the randomization introduced in \cite{Shen-Soffer-Wu-2021-1}.


title: CAIPI in Practice: Towards Explainable Interactive Medical Image Classification

abstract: Would you trust physicians if they cannot explain their decisions to you? Medical diagnostics using machine learning gained enormously in importance within the last decade. However, without further enhancements many state-of-the-art machine learning methods are not suitable for medical application. The most important reasons are insufficient data set quality and the black-box behavior of machine learning algorithms such as Deep Learning models. Consequently, end-users cannot correct the model's decisions and the corresponding explanations. The latter is crucial for the trustworthiness of machine learning in the medical domain. The research field explainable interactive machine learning searches for methods that address both shortcomings. This paper extends the explainable and interactive CAIPI algorithm and provides an interface to simplify human-in-the-loop approaches for image classification. The interface enables the end-user (1) to investigate and (2) to correct the model's prediction and explanation, and (3) to influence the data set quality. After CAIPI optimization with only a single counterexample per iteration, the model achieves an accuracy of $97.48\%$ on the Medical MNIST and $95.02\%$ on the Fashion MNIST. This accuracy is approximately equal to state-of-the-art Deep Learning optimization procedures. Besides, CAIPI reduces the labeling effort by approximately $80\%$.


title: Accelerating Backward Aggregation in GCN Training with Execution Path Preparing on GPUs

abstract: The emerging Graph Convolutional Network (GCN) has now been widely used in many domains, and it is challenging to improve the efficiencies of applications by accelerating the GCN trainings. For the sparsity nature and exploding scales of input real-world graphs, state-of-the-art GCN training systems (e.g., GNNAdvisor) employ graph processing techniques to accelerate the message exchanging (i.e. aggregations) among the graph vertices. Nevertheless, these systems treat both the aggregation stages of forward and backward propagation phases as all-active graph processing procedures that indiscriminately conduct computation on all vertices of an input graph. In this paper, we first point out that in a GCN training problem with a given training set, the aggregation stages of its backward propagation phase (called as backward aggregations in this paper) can be converted to partially-active graph processing procedures, which conduct computation on only partial vertices of the input graph. By leveraging such a finding, we propose an execution path preparing method that collects and coalesces the data used during backward propagations of GCN training conducted on GPUs. The experimental results show that compared with GNNAdvisor, our approach improves the performance of the backward aggregation of GCN trainings on typical real-world graphs by 1.48x~5.65x. Moreover, the execution path preparing can be conducted either before the training (during preprocessing) or on-the-fly with the training. When used during preprocessing, our approach improves the overall GCN training by 1.05x~1.37x. And when used on-the-fly, our approach improves the overall GCN training by 1.03x~1.35x.


title: Towards An End-to-End Framework for Flow-Guided Video Inpainting

abstract: Optical flow, which captures motion information across frames, is exploited in recent video inpainting methods through propagating pixels along its trajectories. However, the hand-crafted flow-based processes in these methods are applied separately to form the whole inpainting pipeline. Thus, these methods are less efficient and rely heavily on the intermediate results from earlier stages. In this paper, we propose an End-to-End framework for Flow-Guided Video Inpainting (E$^2$FGVI) through elaborately designed three trainable modules, namely, flow completion, feature propagation, and content hallucination modules. The three modules correspond with the three stages of previous flow-based methods but can be jointly optimized, leading to a more efficient and effective inpainting process. Experimental results demonstrate that the proposed method outperforms state-of-the-art methods both qualitatively and quantitatively and shows promising efficiency. The code is available at https://github.com/MCG-NKU/E2FGVI.


title: An Asymmetrical Model for High Energy Radiation of Cassiopeia A

abstract: Cassiopeia A (Cas A) supernova remnant shows strong radiation from radio to gamma-ray bands. The mechanism of gamma-ray radiation in Cas A and its possible contribution to PeV cosmic rays are still under debate. The X-ray imaging reveals an asymmetric profile of Cas A, suggesting the existence of a jet-like structure. In this work, we propose an asymmetrical model for Cas A, consisting of a fast moving jet-like structure and a slowly expanding isotropic shell. This model can account for the multi-wavelength spectra of Cas A, especially for the power-law hard X-ray spectrum from $\sim$ 60 to 220 keV. The GeV to TeV emission from Cas A should be contributed by both hadronic and leptonic processes. Moreover, the jet-like structure may produce a gamma-ray flux of $\sim 10^{-13}\rm erg\ cm^{-2}\ s^{-1}$ at $\sim 100$ TeV, to be examined by LHAASO and CTA.


title: Microjoule-level mid-infrared femtosecond pulse generation in hollow-core fibres

abstract: We demonstrate a fibre-based approach that generates mid-infrared femtosecond pulses in the 3-4 {\mu}m spectral region with microjoule-level single pulse energy. This is realised in a piece of gas-filled antiresonant hollow-core fibre that is pumped by a two-micron light source. A rapid variation of the dispersion near a structural resonance of the fibre creates a phase-matching point in the mid-infrared, which mediates the frequency-down conversion. We generate femtosecond pulses centred at 3.16 {\mu}m wavelength with the pulse energy of more than 1 {\mu}J, achieving the conversion efficiency as high as 9.4%. The wavelength of the radiation is determined solely by the dielectric wall thickness of the cladding elements, while the yield is subject to other experimental parameters. This, combined with high power-handling capability of hollow-core fibres, makes it possible to power scale the mid-infrared output by either increasing the pulse energy or repetition rate of the pump. The technique presents a new pathway to build an all-fibre-based mid-infrared supercontinuum source, which promises to be a powerful new tool for ultrahigh sensitivity molecular spectroscopy.


title: An existence result for $p$-Laplace equation with gradient nonlinearity in $\mathbb{R}^N$

abstract: We prove the existence of a weak solution to the problem \begin{equation*} \begin{split} -\Delta_{p}u+V(x)|u|^{p-2}u & =f(u,|\nabla u|^{p-2}\nabla u), \ \ \ \\ u(x) & >0\ \ \forall x\in\mathbb{R}^{N}, \end{split} \end{equation*} where $\Delta_{p}u=\hbox{div}(|\nabla u|^{p-2}\nabla u)$ is the $p$-Laplace operator, $1<p<N$ and the nonlinearity $f:\mathbb{R}\times\mathbb{R}^{N}\rightarrow\mathbb{R}$ is continuous and it depends on gradient of the solution. We use an iterative technique based on the Mountain pass theorem to prove our existence result.


title: Familiarity-based Collaborative Team Recognition in Academic Social Networks

abstract: Collaborative teamwork is key to major scientific discoveries. However, the prevalence of collaboration among researchers makes team recognition increasingly challenging. Previous studies have demonstrated that people are more likely to collaborate with individuals they are familiar with. In this work, we employ the definition of familiarity and then propose MOTO (faMiliarity-based cOllaborative Team recOgnition algorithm) to recognize collaborative teams. MOTO calculates the shortest distance matrix within the global collaboration network and the local density of each node. Central team members are initially recognized based on local density. Then MOTO recognizes the remaining team members by using the familiarity metric and shortest distance matrix. Extensive experiments have been conducted upon a large-scale data set. The experimental results show that compared with baseline methods, MOTO can recognize the largest number of teams. The teams recognized by MOTO possess more cohesive team structures and lower team communication costs compared with other methods. MOTO utilizes familiarity in team recognition to identify cohesive academic teams. The recognized teams are in line with real-world collaborative teamwork patterns. Based on team recognition using MOTO, the research team structure and performance are further analyzed for given time periods. The number of teams that consist of members from different institutions increases gradually. Such teams are found to perform better in comparison with those whose members are from the same institution.


title: Disentangling the Computational Complexity of Network Untangling

abstract: We study the network untangling problem introduced by Rozenshtein, Tatti, and Gionis [DMKD 2021], which is a variant of Vertex Cover on temporal graphs -- graphs whose edge set changes over discrete time steps. They introduce two problem variants. The goal is to select at most $k$ time intervals for each vertex such that all time-edges are covered and (depending on the problem variant) either the maximum interval length or the total sum of interval lengths is minimized. This problem has data mining applications in finding activity timelines that explain the interactions of entities in complex networks. Both variants of the problem are NP-hard. In this paper, we initiate a multivariate complexity analysis involving the following parameters: number of vertices, lifetime of the temporal graph, number of intervals per vertex, and the interval length bound. For both problem versions, we (almost) completely settle the parameterized complexity for all combinations of those four parameters, thereby delineating the border of fixed-parameter tractability.


title: Deep learning-based single-shot computational spectrometer using multilayer thin films

abstract: Computational spectrometers have mobile application potential, such as on-site detection and self-diagnosis, by offering compact size, fast operation time, high resolution, wide working range, and low-cost production. Although these spectrometers have been extensively studied, demonstrations are confined to a few examples of straightforward spectra. This study demonstrates deep learning (DL)-based single-shot computational spectrometer for narrow and broad spectra using a multilayer thin-film filter array. For measuring light intensities, the device was built by attaching the filter array, fabricated using a wafer-level stencil lithography process, to a complementary metal-oxide-semiconductor image sensor. All the intensities were extracted from a monochrome image captured with a single exposure. A DL architecture comprising a dense layer and a U-Net backbone with residual connections was employed for spectrum reconstruction. The measured intensities were fed into the DL architecture for reconstruction as spectra. We reconstructed 323 continuous spectra with an average root mean squared error of 0.0288 in a 500-850 nm wavelength range with 1-nm spacing. Our computational spectrometer achieved a compact size, fast measuring time, high resolution, and wide working range.


title: MDS and AMDS symbol-pair codes are constructed from repeated-root codes

abstract: Symbol-pair codes introduced by Cassuto and Blaum in 2010 are designed to protect against the pair errors in symbol-pair read channels. One of the central themes in symbol-error correction is the construction of maximal distance separable (MDS) symbol-pair codes that possess the largest possible pair-error correcting performance. In this paper, we construct more general generator polynomials for two classes of MDS symbol-pair codes with code length $lp$. Based on repeated-root cyclic codes, we derive all MDS symbol-pair codes of length $3p$, when the degree of the generator polynomials is no more than 10. We also give two new classes of (almost maximal distance separable) AMDS symbol-pair codes with the length $lp$ or $4p$ by virtue of repeated-root cyclic codes. For length $3p$, we derive all AMDS symbol-pair codes, when the degree of the generator polynomials is less than 10. The main results are obtained by determining the solutions of certain equations over finite fields.


title: Behavioral uncertainty quantification for data-driven control

abstract: This paper explores the problem of uncertainty quantification in the behavioral setting for data-driven control. Building on classical ideas from robust control, the problem is regarded as that of selecting a metric which is best suited to a data-based description of uncertainties. Leveraging on Willems' fundamental lemma, restricted behaviors are viewed as subspaces of fixed dimension, which may be represented by data matrices. Consequently, metrics between restricted behaviors are defined as distances between points on the Grassmannian, i.e., the set of all subspaces of equal dimension in a given vector space. A new metric is defined on the set of restricted behaviors as a direct finite-time counterpart of the classical gap metric. The metric is shown to capture parametric uncertainty for the class of autoregressive (AR) models. Numerical simulations illustrate the value of the new metric with a data-driven mode recognition and control case study.


title: Convergence rates for energies of interacting particles whose distribution spreads out as their number increases

abstract: We consider a class of particle systems which appear in various applications such as approximation theory, plasticity, potential theory and space-filling designs. The positions of the particles on the real line are described as a global minimum of an interaction energy, which consists of a nonlocal, repulsive interaction part and a confining part. Motivated by the applications, we cover non-standard scenarios in which the confining potential weakens as the number of particles increases. This results in a large area over which the particles spread out. Our aim is to approximate the particle interaction energy by a corresponding continuum interacting energy. Our main results are bounds on the corresponding energy difference and on the difference between the related potential values. We demonstrate that these bounds are useful to problems in approximation theory and plasticity. The proof of these bounds relies on convexity assumptions on the interaction and confining potentials. It combines recent advances in the literature with a new upper bound on the minimizer of the continuum interaction energy.


title: First principles investigation of anionic redox in bisulfate lithium battery cathodes

abstract: The search for an alternative high-voltage polyanionic cathode material for Li-ion batteries is vital to improve the energy densities beyond the state-of-the-art, where sulfate frameworks form an important class of high-voltage cathode materials due to the strong inductive effect of the S$^{6+}$ ion. Here, we have investigated the mechanism of cationic and/or anionic redox in Li$_x$M(SO$_4$)$_2$ frameworks (M = Mn, Fe, Co, and Ni and 0 $\leq$ x $\leq$ 2) using density functional calculations. Specifically, we have used a combination of Hubbard $U$ corrected strongly constrained and appropriately normed (SCAN+$U$) and generalized gradient approximation (GGA+$U$) functionals to explore the thermodynamic (polymorph stability), electrochemical (intercalation voltage), geometric (bond lengths), and electronic (band gaps, magnetic moments, charge populations, etc.) properties of the bisulfate frameworks considered. Importantly, we find that the anionic (cationic) redox process is dominant throughout delithiation in the Ni (Mn) bisulfate, as verified using our calculated projected density of states, bond lengths, and on-site magnetic moments. On the other hand, in Fe and Co bisulfates, cationic redox dominates the initial delithiation (1 $\leq$ x $\leq$ 2), while anionic redox dominates subsequent delithiation (0 $\leq$ x $\leq$ 2). In addition, evaluation of the crystal overlap Hamilton population reveals insignificant bonding between oxidizing O atoms throughout the delithiation process in the Ni bisulfate, indicating robust battery performance that is resistant to irreversible oxygen evolution. Finally, we observe both GGA+$U$ and SCAN+$U$ predictions are in qualitative agreement for the various properties predicted. Our work should open new avenues for exploring lattice oxygen redox in novel high voltage polyanionic cathodes, especially using the SCAN+$U$ functional.


title: Faster-TAD: Towards Temporal Action Detection with Proposal Generation and Classification in a Unified Network

abstract: Temporal action detection (TAD) aims to detect the semantic labels and boundaries of action instances in untrimmed videos. Current mainstream approaches are multi-step solutions, which fall short in efficiency and flexibility. In this paper, we propose a unified network for TAD, termed Faster-TAD, by re-purposing a Faster-RCNN like architecture. To tackle the unique difficulty in TAD, we make important improvements over the original framework. We propose a new Context-Adaptive Proposal Module and an innovative Fake-Proposal Generation Block. What's more, we use atomic action features to improve the performance. Faster-TAD simplifies the pipeline of TAD and gets remarkable performance on lots of benchmarks, i.e., ActivityNet-1.3 (40.01% mAP), HACS Segments (38.39% mAP), SoccerNet-Action Spotting (54.09% mAP). It outperforms existing single-network detector by a large margin.


title: Rolling Colors: Adversarial Laser Exploits against Traffic Light Recognition

abstract: Traffic light recognition is essential for fully autonomous driving in urban areas. In this paper, we investigate the feasibility of fooling traffic light recognition mechanisms by shedding laser interference on the camera. By exploiting the rolling shutter of CMOS sensors, we manage to inject a color stripe overlapped on the traffic light in the image, which can cause a red light to be recognized as a green light or vice versa. To increase the success rate, we design an optimization method to search for effective laser parameters based on empirical models of laser interference. Our evaluation in emulated and real-world setups on 2 state-of-the-art recognition systems and 5 cameras reports a maximum success rate of 30% and 86.25% for Red-to-Green and Green-to-Red attacks. We observe that the attack is effective in continuous frames from more than 40 meters away against a moving vehicle, which may cause end-to-end impacts on self-driving such as running a red light or emergency stop. To mitigate the threat, we propose redesigning the rolling shutter mechanism.


title: Detecting Outlier Patterns with Query-based Artificially Generated Searching Conditions

abstract: In the age of social computing, finding interesting network patterns or motifs is significant and critical for various areas such as decision intelligence, intrusion detection, medical diagnosis, social network analysis, fake news identification, national security, etc. However, sub-graph matching remains a computationally challenging problem, let alone identifying special motifs among them. This is especially the case in large heterogeneous real-world networks. In this work, we propose an efficient solution for discovering and ranking human behavior patterns based on network motifs by exploring a user's query in an intelligent way. Our method takes advantage of the semantics provided by a user's query, which in turn provides the mathematical constraint that is crucial for faster detection. We propose an approach to generate query conditions based on the user's query. In particular, we use meta paths between nodes to define target patterns as well as their similarities, leading to efficient motif discovery and ranking at the same time. The proposed method is examined on a real-world academic network, using different similarity measures between the nodes. The experiment result demonstrates that our method can identify interesting motifs, and is robust to the choice of similarity measures.


title: Flat trace estimates for Anosov flows

abstract: We prove a high energy flat trace estimate for the modified resolvent of the generator of an Anosov flow. This fills a gap in the proof of the local trace formula in [Jin-Zworski '17] and is a by-product of the authors' ongoing project of its generalization to Axiom A flows.


title: Random Features Model with General Convex Regularization: A Fine Grained Analysis with Precise Asymptotic Learning Curves

abstract: We compute precise asymptotic expressions for the learning curves of least squares random feature (RF) models with either a separable strongly convex regularization or the $\ell_1$ regularization. We propose a novel multi-level application of the convex Gaussian min max theorem (CGMT) to overcome the traditional difficulty of finding computable expressions for random features models with correlated data. Our result takes the form of a computable 4-dimensional scalar optimization. In contrast to previous results, our approach does not require solving an often intractable proximal operator, which scales with the number of model parameters. Furthermore, we extend the universality results for the training and generalization errors for RF models to $\ell_1$ regularization. In particular, we demonstrate that under mild conditions, random feature models with elastic net or $\ell_1$ regularization are asymptotically equivalent to a surrogate Gaussian model with the same first and second moments. We numerically demonstrate the predictive capacity of our results, and show experimentally that the predicted test error is accurate even in the non-asymptotic regime.


title: Poisson Equations with locally-Lipschitz coefficients and Uniform in Time Averaging for Stochastic Differential Equations via Strong Exponential Stability

abstract: We study averaging for Stochastic Differential Equations (SDEs) and Poisson equations. We succeed in obtaining a uniform in time (UiT) averaging result, with a rate, for fully coupled SDE models with super-linearly growing coefficients. This is the main result of this paper and is, to the best of our knowledge, the first UiT multiscale result with a rate. Very few UiT averaging results exist in the literature, and they almost exclusively apply to multiscale systems of Ordinary Differential Equations. Among these few, none of those we are aware of comes with a rate of convergence. The UiT nature of this result and the rate of convergence given by the main theorem, make it important as theoretical underpinning for a range of applications, such as applications to statistical methodology, molecular dynamics etc. Key to obtaining both our UiT averaging result and to enable dealing with the super-linear growth of the coefficients is conquering exponential decay in time of the space-derivatives of appropriate Markov semigroups. We refer to this property as being Strongly Exponentially Stable (SES). The analytic approach to proving averaging results we take requires studying a family of Poisson problems associated with the generator of the (fast component of the) SDE dynamics. The study of Poisson equations in non-compact state space is notoriously difficult, with current literature mostly covering the case when the coefficients of the Partial Differential Equation (PDE) are either bounded or satisfy linear growth assumptions. In this paper we treat Poisson equations on non-compact state spaces for coefficients that can grow super-linearly. We demonstrate how SES can be employed not only to prove the UiT result for the slow-fast system but also to overcome some of the technical hurdles in the analysis of Poisson problems, which is of independent interest as well.


title: Relevance of Wrong-Way Risk in Funding Valuation Adjustments

abstract: In March 2020, the world was thrown into financial distress. This manifested itself in increased uncertainty in the financial markets. Many interest rates collapsed, and funding spreads surged significantly, which increased due to the market turmoil. In light of these events, it is essential to understand and model Wrong-Way Risk (WWR) in a Funding Valuation Adjustment (FVA) context. WWR may currently be absent from FVA calculations in banks' Valuation Adjustment (xVA) engines. However, in this letter, we demonstrate that WWR effects are non-negligible in FVA modelling from a risk-management perspective. We look at the impact of various modelling choices, such as including the default times of the relevant parties, as well as stochastic and deterministic funding spreads. A case study is presented for interest rate derivatives.


title: PP-LiteSeg: A Superior Real-Time Semantic Segmentation Model

abstract: Real-world applications have high demands for semantic segmentation methods. Although semantic segmentation has made remarkable leap-forwards with deep learning, the performance of real-time methods is not satisfactory. In this work, we propose PP-LiteSeg, a novel lightweight model for the real-time semantic segmentation task. Specifically, we present a Flexible and Lightweight Decoder (FLD) to reduce computation overhead of previous decoder. To strengthen feature representations, we propose a Unified Attention Fusion Module (UAFM), which takes advantage of spatial and channel attention to produce a weight and then fuses the input features with the weight. Moreover, a Simple Pyramid Pooling Module (SPPM) is proposed to aggregate global context with low computation cost. Extensive evaluations demonstrate that PP-LiteSeg achieves a superior trade-off between accuracy and speed compared to other methods. On the Cityscapes test set, PP-LiteSeg achieves 72.0% mIoU/273.6 FPS and 77.5% mIoU/102.6 FPS on NVIDIA GTX 1080Ti. Source code and models are available at PaddleSeg: https://github.com/PaddlePaddle/PaddleSeg.


title: Bridging the Gap: Decoding the Intrinsic Nature of Time in Market Data

abstract: Intrinsic time is an example of an event-based conception of time, used to analyze financial time series. Here, for the first time, we reveal the connection between intrinsic time and physical time. In detail, we present an analytic relationship which links the two different time paradigms. Central to this discovery are the emergence of scaling laws. Indeed, a novel empirical scaling law is presented, relating to the variability of what is know as overshoots in the intrinsic time framework. To evaluate the validity of the theoretically derived expressions, three time series are analyzed; in detail, Brownian motion and two tick-by-tick empirical currency market data sets (one crypto and one fiat). Finally, the time series analyzed in physical time can be decomposed into their liquidity and volatility components, both only visible in intrinsic time, further highlighting the utility of this temporal kinship.


title: Beyond Separability: Analyzing the Linear Transferability of Contrastive Representations to Related Subpopulations

abstract: Contrastive learning is a highly effective method for learning representations from unlabeled data. Recent works show that contrastive representations can transfer across domains, leading to simple state-of-the-art algorithms for unsupervised domain adaptation. In particular, a linear classifier trained to separate the representations on the source domain can also predict classes on the target domain accurately, even though the representations of the two domains are far from each other. We refer to this phenomenon as linear transferability. This paper analyzes when and why contrastive representations exhibit linear transferability in a general unsupervised domain adaptation setting. We prove that linear transferability can occur when data from the same class in different domains (e.g., photo dogs and cartoon dogs) are more related with each other than data from different classes in different domains (e.g., photo dogs and cartoon cats) are. Our analyses are in a realistic regime where the source and target domains can have unbounded density ratios and be weakly related, and they have distant representations across domains.


title: Domain-Agnostic Prior for Transfer Semantic Segmentation

abstract: Unsupervised domain adaptation (UDA) is an important topic in the computer vision community. The key difficulty lies in defining a common property between the source and target domains so that the source-domain features can align with the target-domain semantics. In this paper, we present a simple and effective mechanism that regularizes cross-domain representation learning with a domain-agnostic prior (DAP) that constrains the features extracted from source and target domains to align with a domain-agnostic space. In practice, this is easily implemented as an extra loss term that requires a little extra costs. In the standard evaluation protocol of transferring synthesized data to real data, we validate the effectiveness of different types of DAP, especially that borrowed from a text embedding model that shows favorable performance beyond the state-of-the-art UDA approaches in terms of segmentation accuracy. Our research reveals that UDA benefits much from better proxies, possibly from other data modalities.


title: SecureBERT: A Domain-Specific Language Model for Cybersecurity

abstract: Natural Language Processing (NLP) has recently gained wide attention in cybersecurity, particularly in Cyber Threat Intelligence (CTI) and cyber automation. Increased connection and automation have revolutionized the world's economic and cultural infrastructures, while they have introduced risks in terms of cyber attacks. CTI is information that helps cybersecurity analysts make intelligent security decisions, that is often delivered in the form of natural language text, which must be transformed to machine readable format through an automated procedure before it can be used for automated security measures. This paper proposes SecureBERT, a cybersecurity language model capable of capturing text connotations in cybersecurity text (e.g., CTI) and therefore successful in automation for many critical cybersecurity tasks that would otherwise rely on human expertise and time-consuming manual efforts. SecureBERT has been trained using a large corpus of cybersecurity text.To make SecureBERT effective not just in retaining general English understanding, but also when applied to text with cybersecurity implications, we developed a customized tokenizer as well as a method to alter pre-trained weights. The SecureBERT is evaluated using the standard Masked Language Model (MLM) test as well as two additional standard NLP tasks. Our evaluation studies show that SecureBERT\footnote{\url{https://github.com/ehsanaghaei/SecureBERT}} outperforms existing similar models, confirming its capability for solving crucial NLP tasks in cybersecurity.


title: The loss value of multilinear regression

abstract: Determinant formulas are presented for: a certain positive semidefinite, hermitian matrix; the loss value of multilinear regression; the multiple linear regression coefficient.


title: Learning to Adapt Clinical Sequences with Residual Mixture of Experts

abstract: Clinical event sequences in Electronic Health Records (EHRs) record detailed information about the patient condition and patient care as they occur in time. Recent years have witnessed increased interest of machine learning community in developing machine learning models solving different types of problems defined upon information in EHRs. More recently, neural sequential models, such as RNN and LSTM, became popular and widely applied models for representing patient sequence data and for predicting future events or outcomes based on such data. However, a single neural sequential model may not properly represent complex dynamics of all patients and the differences in their behaviors. In this work, we aim to alleviate this limitation by refining a one-fits-all model using a Mixture-of-Experts (MoE) architecture. The architecture consists of multiple (expert) RNN models covering patient sub-populations and refining the predictions of the base model. That is, instead of training expert RNN models from scratch we define them on the residual signal that attempts to model the differences from the population-wide model. The heterogeneity of various patient sequences is modeled through multiple experts that consist of RNN. Particularly, instead of directly training MoE from scratch, we augment MoE based on the prediction signal from pretrained base GRU model. With this way, the mixture of experts can provide flexible adaptation to the (limited) predictive power of the single base RNN model. We experiment with the newly proposed model on real-world EHRs data and the multivariate clinical event prediction task. We implement RNN using Gated Recurrent Units (GRU). We show 4.1% gain on AUPRC statistics compared to a single RNN prediction.


title: SEAL: A Large-scale Video Dataset of Multi-grained Spatio-temporally Action Localization

abstract: In spite of many dataset efforts for human action recognition, current computer vision algorithms are still limited to coarse-grained spatial and temporal annotations among human daily life. In this paper, we introduce a novel large-scale video dataset dubbed SEAL for multi-grained Spatio-tEmporal Action Localization. SEAL consists of two kinds of annotations, SEAL Tubes and SEAL Clips. We observe that atomic actions can be combined into many complex activities. SEAL Tubes provide both atomic action and complex activity annotations in tubelet level, producing 49.6k atomic actions spanning 172 action categories and 17.7k complex activities spanning 200 activity categories. SEAL Clips localizes atomic actions in space during two-second clips, producing 510.4k action labels with multiple labels per person. Extensive experimental results show that SEAL significantly helps to advance video understanding.


title: A conjecture of Akbari, Cameron, and Khosrovshahi on the existence of a $(0,1)$-vector in the row space of every adjacency matrix

abstract: We look for a non-zero $(0, 1)$-vector in the row space of the adjacency matrix $A(\Gamma)$ of a graph $\Gamma,$ provided $\Gamma$ has at least one edge. Akbari, Cameron, and Khosrovshahi conjectured that there exists a non-zero $(0,1)$-vector in the row space of $A(\Gamma)$ (over the real numbers) which does not occur as a row of $A(\Gamma).$ This conjecture can be easily verified for graphs having diameter is equal to $1$ (complete graphs). In this article, we affirmatively prove this conjecture for any graph whose diameter is $\geq 4.$ Furthermore, in the remaining two cases that is, for graphs with diameter is equal to $2$ or $3,$ we report some progress in support of the conjecture.


title: A Hessian inversion-free exact second order method for distributed consensus optimization

abstract: We consider a standard distributed consensus optimization problem where a set of agents connected over an undirected network minimize the sum of their individual local strongly convex costs. Alternating Direction Method of Multipliers ADMM and Proximal Method of Multipliers PMM have been proved to be effective frameworks for design of exact distributed second order methods involving calculation of local cost Hessians. However, existing methods involve explicit calculation of local Hessian inverses at each iteration that may be very costly when the dimension of the optimization variable is large. In this paper we develop a novel method termed INDO Inexact Newton method for Distributed Optimization that alleviates the need for Hessian inverse calculation. INDO follows the PMM framework but unlike existing work approximates the Newton direction through a generic fixed point method, e.g., Jacobi Overrelaxation, that does not involve Hessian inverses. We prove exact global linear convergence of INDO and provide analytical studies on how the degree of inexactness in the Newton direction calculation affects the overall methods convergence factor. Numerical experiments on several real data sets demonstrate that INDOs speed is on par or better as state of the art methods iterationwise hence having a comparable communication cost. At the same time, for sufficiently large optimization problem dimensions n (even at n on the order of couple of hundreds), INDO achieves savings in computational cost by at least an order of magnitude.


title: Scalable implementation of $(d+1)$ mutually unbiased bases for $d$-dimensional quantum key distribution

abstract: A high-dimensional quantum key distribution (QKD) can improve error rate tolerance and the secret key rate. Many $d$-dimensional QKDs have used two mutually unbiased bases (MUBs), while $(d+1)$ MUBs enable a more robust QKD, especially against correlated errors. However, a scalable implementation has not been achieved because the setups have required $d$ devices even for two MUBs or a flexible convertor for a specific optical mode. Here, we propose a scalable and general implementation of $(d+1)$ MUBs using $\log_p d$ interferometers in prime power dimensions $d=p^N$. We implemented the setup for time-bin states and observed an average error rate of 3.8% for phase bases, which is lower than the 23.17% required for a secure QKD against coherent attack in $d=4$.


title: Integrability of supersymmetric Calogero-Moser models

abstract: We analyze the integrability of the ${\cal N}$-extended supersymmetric Calogero-Moser model. We explicitly construct the Lax pair $\{L,A\}$ for this system, which properly reproduces all equations of motion. After adding a supersymmetric oscillator potential we reduce the latter to solving $\dot{U}\,{=}\,A\,U$ for the time evolution operator $U(t)$. The bosonic variables, however, evolve independently of $U$ on closed trajectories, as is required for superintegrability. To visualize the structure of the conserved currents we derive the complete set of Liouville charges up to the fifth power in the momenta, for the ${\cal N}{=}\,2$ supersymmetric model. The additional, non-involutive, conserved charges needed for a maximal superintegrability of this model are also found.


title: Exploration with Global Consistency Using Real-Time Re-integration and Active Loop Closure

abstract: Despite recent progress of robotic exploration, most methods assume that drift-free localization is available, which is problematic in reality and causes severe distortion of the reconstructed map. In this work, we present a systematic exploration mapping and planning framework that deals with drifted localization, allowing efficient and globally consistent reconstruction. A real-time re-integration-based mapping approach along with a frame pruning mechanism is proposed, which rectifies map distortion effectively when drifted localization is corrected upon detecting loop-closure. Besides, an exploration planning method considering historical viewpoints is presented to enable active loop closing, which promotes a higher opportunity to correct localization errors and further improves the mapping quality. We evaluate both the mapping and planning methods as well as the entire system comprehensively in simulation and real-world experiments, showing their effectiveness in practice. The implementation of the proposed method will be made open-source for the benefit of the robotics community.


title: Customizable End-to-end Optimization of Online Neural Network-supported Dereverberation for Hearing Devices

abstract: This work focuses on online dereverberation for hearing devices using the weighted prediction error (WPE) algorithm. WPE filtering requires an estimate of the target speech power spectral density (PSD). Recently deep neural networks (DNNs) have been used for this task. However, these approaches optimize the PSD estimate which only indirectly affects the WPE output, thus potentially resulting in limited dereverberation. In this paper, we propose an end-to-end approach specialized for online processing, that directly optimizes the dereverberated output signal. In addition, we propose to adapt it to the needs of different types of hearing-device users by modifying the optimization target as well as the WPE algorithm characteristics used in training. We show that the proposed end-to-end approach outperforms the traditional and conventional DNN-supported WPEs on a noise-free version of the WHAMR! dataset.