title: Generating many Majorana corner modes and multiple phase transitions in Floquet second-order topological superconductors

abstract: A $d$-dimensional, $n$th-order topological insulator or superconductor has localized eigenmodes at its $(d-n)$-dimensional boundaries ($n\leq d$). In this work, we apply periodic driving fields to two-dimensional superconductors, and obtain a wide variety of Floquet second-order topological superconducting (SOTSC) phases with many Majorana corner modes at both zero and $\pi$ quasienergies. Two distinct Floquet SOTSC phases are found to be separated by three possible kinds of transformations, i.e., a topological phase transition due to the closing/reopening of a bulk spectral gap, a topological phase transition due to the closing/reopening of an edge spectral gap, or an entirely different phase in which the bulk spectrum is gapless. Thanks to the strong interplay between driving and intrinsic energy scales of the system, all the found phases and transitions are highly controllable via tuning a single hopping parameter of the system. Our discovery not only enriches the possible forms of Floquet SOTSC phases, but also offers an efficient scheme to generate many coexisting Majorana zero and $\pi$ corner modes that may find applications in Floquet quantum computation.


title: Analysis of Estimating the Bayes Rule for Gaussian Mixture Models with a Specified Missing-Data Mechanism

abstract: Semi-supervised learning (SSL) approaches have been successfully applied in a wide range of engineering and scientific fields. This paper investigates the generative model framework with a missingness mechanism for unclassified observations, as introduced by Ahfock and McLachlan(2020). We show that in a partially classified sample, a classifier using Bayes rule of allocation with a missing-data mechanism can surpass a fully supervised classifier in a two-class normal homoscedastic model, especially with moderate to low overlap and proportion of missing class labels, or with large overlap but few missing labels. It also outperforms a classifier with no missing-data mechanism regardless of the overlap region or the proportion of missing class labels. Our exploration of two- and three-component normal mixture models with unequal covariances through simulations further corroborates our findings. Finally, we illustrate the use of the proposed classifier with a missing-data mechanism on interneuronal and skin lesion datasets.


title: On the global well-posedness and scattering of the 3D Klein-Gordon-Zakharov system

abstract: In this paper we are interested in the global well-posedness of the 3D Klein-Gordon-Zakharov equations with small initial data. We show the uniform boundedness of the energy for the global solution without any compactness assumptions on the initial data. The main novelty of our proof is to apply a modified Alinhac's ghost weight method together with a newly developed normal-form type estimate to remedy the lack of the space-time scaling vector field; moreover, we give a clear description of the smallness conditions on the initial data.


title: Massless Schwinger model with a 4-fermi interaction at topological angle $\theta = \pi$

abstract: We study the massless Schwinger model with an additional 4-fermi interaction and a topological term. For topological angle $\theta = \pi$ charge conjugation symmetry is implemented in a non-trivial way and we study the possibility of its spontaneous breaking. For the lattice discretization we use staggered fermions and the Villain action for the gauge fields, where the topological term is an integer and charge conjugation at $\theta = \pi$ is an exact symmetry. The complex action problem is overcome by a suitable worldline/worldsheet representation. We find that as a function of the 4-fermi coupling the system shows a critical point separating a weak coupling phase where charge conjugation symmetry is intact from a strong coupling phase with spontaneously broken charge conjugation symmetry.


title: Axioms for a theory of signature bases

abstract: Twenty years after the discovery of the F5 algorithm, Gr\"obner bases with signatures are still challenging to understand and to adapt to different settings. This contrasts with Buchberger's algorithm, which we can bend in many directions keeping correctness and termination obvious. I propose an axiomatic approach to Gr\"obner bases with signatures with the purpose of uncoupling the theory and the algorithms, and giving general results applicable in many different settings (e.g. Gr\"obner for submodules, F4-style reduction, noncommutative rings, non-Noetherian settings, etc.).


title: Birkhoff-James orthogonality in certain tensor products of Banach spaces

abstract: In this article, the relationship between Birkhoff-James orthogonality of elementary tensors in certain tensor product spaces with the Birkhoff-James orthogonality of individual elements in their respective spaces is studied.


title: The Radius of Metric Regularity Revisited

abstract: The paper extends the 2003 radius of metric regularity theorem by Dontchev, Lewis & Rockafellar by providing an exact formula for the radius with respect to Lipschitz continuous perturbations in general Asplund spaces, thus, answering affirmatively an open question raised twenty years ago by Ioffe. In the non-Asplund case, we give natural upper bounds for the radius complementing the conventional lower bound in the theorem by Dontchev, Lewis & Rockafellar.


title: Spontaneous Emission from Excited Quantum Kinks

abstract: Many kink solutions enjoy internal excitations, called shape modes. In some 1+1d scalar models, such as the $\phi^4$ double-well model, when a kink's shape mode is excited twice it may decay to a ground state kink plus a meson. We analytically calculate the decay rates of both the twice-excited shape mode and also a coherent state corresponding to the classically excited shape mode. In the case of the $\phi^4$ model, we find that the latter agrees with the classical result of Manton and Merabet.


title: Implications of post-kick jets in core collapse supernovae

abstract: I examine the assumption that the jets that shape the axisymmetrical morphological features of core collapse supernova (CCSN) remnants are post-kick jets, i.e., the neutron star (NS) launches these jets after the explosion and after it acquired its natal kick velocity. I find that this assumption implies that the pre-collapse cores of CCSN progenitors have sufficient angular momentum fluctuations to support jittering jets that explode the star. From the finding that the shaping-jets neither tend to be aligned with the kick velocity nor to be perpendicular to it I argue that the assumption that the shaping-jets are post-kick jets has the following implications. (1) The NS accretes mass at a radius of ~5000km from the center of the explosion at ~10 s after explosion. (2) The required angular momentum fluctuations of the accreted gas to explain the medium values of jets-kick angles are also sufficient to support an intermittent pre-kick accretion disk, just before and during the explosion. Such an intermittent accretion disk is likely to launch jets that explode the star in the frame of the jittering jets explosion mechanism. This suggests that most likely the shaping-jets are the last jets in the jittering jets explosion mechanism rather than post-kick jets. (3) The jittering jets explosion mechanism expects that black holes have small natal kick velocities.


title: Microwave-optical double resonance in a erbium-doped whispering-gallery-mode resonator

abstract: We showcase an erbium-doped whispering-gallery-mode resonator with optical modes that display intrinsic quality factors better than $10^8$ (linewidths less than 2 MHz), and coupling strengths to collective erbium transitions of up to 2$\pi\times$1.2 GHz - enough to reach the ensemble strong coupling regime. Our optical cavity sits inside a microwave resonator, allowing us to probe the spin transition which is tuned by an external magnetic field. We show a modified optically detected magnetic resonance measurement that measures population transfer by a change in coupling strength rather than absorption coefficient. This modification was enabled by the strong coupling to our modes, and allows us to optically probe the spin transition detuned by more than the inhomogeneous linewidth. We contrast this measurement with electron paramagnetic resonance to experimentally show that our optical modes are confined in a region of large microwave magnetic field and we explore how such a geometry could be used for coherent microwave-optical transduction.


title: Strong manipulation of the valley splitting upon twisting and gating in MoSe$_2$/CrI$_3$ and WSe$_2$/CrI$_3$ van der Waals heterostructures

abstract: We investigate the twist-angle and gate dependence of the proximity-induced exchange coupling in the monolayer transition-metal dichalcogenides (TMDCs) MoSe$_2$ and WSe$_2$ due to the vdW coupling to the ferromagnetic semiconductor CrI$_3$, from first-principles calculations. A model Hamiltonian, that captures the relevant band edges at the $K/K^{\prime}$ valleys of the proximitized TMDCs, is employed to quantify the proximity-induced exchange. Upon twisting from 0{\deg} to 30{\deg}, we find a transition of the TMDC valence band (VB) edge exchange splitting from about $-2$ to $2$ meV, while the conduction band (CB) edge exchange splitting remains nearly unchanged at around $-3$ meV. For the VB of WSe$_2$ (MoSe$_2$) on CrI$_3$, the exchange coupling changes sign at around 8{\deg} (16{\deg}). We find that even at the angles with almost zero spin splittings of the VB, the real-space spin polarization profile of holes at the band edge is highly non-uniform, with alternating spin up and spin down orbitals. Furthermore, a giant tunability of the proximity-induced exchange coupling is provided by a transverse electric field of a few V/nm. We complement our \textit{ab initio} results by calculating the excitonic valley splitting to provide experimentally verifiable optical signatures of the proximity exchange. Specifically, we predict that the valley splitting increases almost linearly as a function of the twist angle. Furthermore, the proximity exchange is highly tunable by gating, allowing to tailor the valley splitting in the range of 0 to 12 meV in WSe$_2$/CrI$_3$, which is equivalent to external magnetic fields of up to about 60 Tesla. Our results highlight the important impact of the twist angle and gating when employing magnetic vdW heterostructures in experimental geometries.


title: Line Graph Contrastive Learning for Link Prediction

abstract: Link prediction tasks focus on predicting possible future connections. Most existing researches measure the likelihood of links by different similarity scores on node pairs and predict links between nodes. However, the similarity-based approaches have some challenges in information loss on nodes and generalization ability on similarity indexes. To address the above issues, we propose a Line Graph Contrastive Learning(LGCL) method to obtain rich information with multiple perspectives. LGCL obtains a subgraph view by h-hop subgraph sampling with target node pairs. After transforming the sampled subgraph into a line graph, the link prediction task is converted into a node classification task, which graph convolution progress can learn edge embeddings from graphs more effectively. Then we design a novel cross-scale contrastive learning framework on the line graph and the subgraph to maximize the mutual information of them, so that fuses the structure and feature information. The experimental results demonstrate that the proposed LGCL outperforms the state-of-the-art methods and has better performance on generalization and robustness.


title: Formation of shifted shock for the 3D compressible Euler equations with damping

abstract: In this paper, we show the shock formation of the solutions to the 3-dimensional (3D) compressible isentropic and irrotational Euler equations with damping for the initial short pulse data which was first introduced by D.Christodoulou\cite{christodoulou2007}. Due to the damping effect, the largeness of the initial data is necessary for the shock formation and we will work on the class of large data (in energy sense). Similar to the undamped case, the formation of shock is characterized by the collapse of the characteristic hypersurfaces and the vanishing of the inverse foliation density function $\mu$, at which the first derivatives of the velocity and the density blow up. However, the damping effect changes the asymptotic behavior of the inverse foliation density function $\mu$ and then shifts the time of shock formation compared with the undamped case. The methods in the paper can also be extended to a class of $3D$ quasilinear wave equations for the short pulse initial data.


title: MAROAM: Map-based Radar SLAM through Two-step Feature Selection

abstract: In this letter, we propose MAROAM, a millimeter wave radar-based SLAM framework, which employs a two-step feature selection process to build the global consistent map. Specifically, we first extract feature points from raw data based on their local geometric properties to filter out those points that violate the principle of millimeter-wave radar imaging. Then, we further employ another round of probabilistic feature selection by examining how often and how recent the feature point has been detected in the proceeding frames. With such a two-step feature selection, we establish a global consistent map for accurate and robust pose estimation as well as other downstream tasks. At last, we perform loop closure and graph optimization in the back-end, further reducing the accumulated drift error. We evaluate the performance of MAROAM on the three datasets: the Oxford Radar RobotCar Dataset, the MulRan Dataset and the Boreas Dataset. We consider a variety of experimental settings with different scenery, weather, and road conditions. The experimental results show that the accuracy of MAROAM is 7.95%, 37.0% and 8.9% higher than the currently best-performing algorithms on these three datasets, respectively. The ablation results also show that our map-based odometry performs 28.6% better than the commonly used scan-to-frames method. Finally, as devoted contributors to the open-source community, we will open source the algorithm after the paper is accepted.


title: Planar Thermal Hall Effects in Kitaev Spin Liquid Candidate Na2Co2TeO6

abstract: We investigate both the longitudinal thermal conductivity ($\kappa_{xx}$) and the planar thermal Hall conductivity ($\kappa_{xy}$) in the Kitaev spin liquid candidate of Co-based honeycomb antiferromagnet Na$_2$Co$_2$TeO$_6$ in a magnetic field ($B$) applied along the $a$ and $a^*$ axes. A finite $\kappa_{xy}$ is resolved for both field directions in the antiferromagnetic (AFM) phase below the N\'eel temperature of 27 K. The temperature dependence of $\kappa_{xy}/T$ shows the emergence of topological bosonic excitations. In addition, the field dependence of $\kappa_{xy}$ shows sign reversals at the critical fields in the AFM phase, suggesting the changes in the Chern number distribution of the topological magnons. Remarkably, a finite $\kappa_{xy}$ is observed in $B \parallel a^*$ between the first-order transition field in the AFM phase and the saturation field, which is prohibited in a disordered state by the two-fold rotation symmetry around the $a^*$ axis of the honeycomb lattice, showing the presence of a magnetically ordered state that breaks the two-fold rotation symmetry. Our results demonstrate the presence of topological magnons in this compound in the whole field range below the saturation field.


title: Does Medical Imaging learn different Convolution Filters?

abstract: Recent work has investigated the distributions of learned convolution filters through a large-scale study containing hundreds of heterogeneous image models. Surprisingly, on average, the distributions only show minor drifts in comparisons of various studied dimensions including the learned task, image domain, or dataset. However, among the studied image domains, medical imaging models appeared to show significant outliers through "spikey" distributions, and, therefore, learn clusters of highly specific filters different from other domains. Following this observation, we study the collected medical imaging models in more detail. We show that instead of fundamental differences, the outliers are due to specific processing in some architectures. Quite the contrary, for standardized architectures, we find that models trained on medical data do not significantly differ in their filter distributions from similar architectures trained on data from other domains. Our conclusions reinforce previous hypotheses stating that pre-training of imaging models can be done with any kind of diverse image data.


title: Referee: Reference-Free Sentence Summarization with Sharper Controllability through Symbolic Knowledge Distillation

abstract: We present Referee, a novel framework for sentence summarization that can be trained reference-free (i.e., requiring no gold summaries for supervision), while allowing direct control for compression ratio. Our work is the first to demonstrate that reference-free, controlled sentence summarization is feasible via the conceptual framework of Symbolic Knowledge Distillation (West et al., 2022), where latent knowledge in pre-trained language models is distilled via explicit examples sampled from the teacher models, further purified with three types of filters: length, fidelity, and Information Bottleneck. Moreover, we uniquely propose iterative distillation of knowledge, where student models from the previous iteration of distillation serve as teacher models in the next iteration. Starting off from a relatively modest set of GPT3-generated summaries, we demonstrate how iterative knowledge distillation can lead to considerably smaller, but better summarizers with sharper controllability. A useful by-product of this iterative distillation process is a high-quality dataset of sentence-summary pairs with varying degrees of compression ratios. Empirical results demonstrate that the final student models vastly outperform the much larger GPT3-Instruct model in terms of the controllability of compression ratios, without compromising the quality of resulting summarization.


title: Deep Boosting Robustness of DNN-based Image Watermarking via DBMark

abstract: Image watermarking is a technique for hiding information into images that can withstand distortions while requiring the encoded image to be perceptually identical to the original image. Recent work based on deep neural networks (DNN) has achieved impressive progression in digital watermarking. Higher robustness under various distortions is the eternal pursuit of digital image watermarking approaches. In this paper, we propose DBMARK, a novel end-to-end digital image watermarking framework to deep boost the robustness of DNN-based image watermarking. The key novelty is the synergy of invertible neural networks (INN) and effective watermark features generation. The framework generates watermark features with redundancy and error correction ability through the effective neural network based message processor, synergized with the powerful information embedding and extraction abilities of INN to achieve higher robustness and invisibility. The powerful learning ability of neural networks enables the message processor to adapt to various distortions. In addition, we propose to embed the watermark information in the discrete wavelet transform (DWT) domain and design low-low (LL) sub-band loss to enhance invisibility. Extensive experiment results demonstrate the superiority of the proposed framework compared with the state-of-the-art ones under various distortions such as dropout, cropout, crop, Gaussian filter, and JPEG compression.


title: Chebyshev potentials, Fubini--Study metrics, and geometry of the space of K\"ahler metrics

abstract: The Chebyshev potential of a K\"ahler potential on a projective variety, introduced by Witt Nystr\"om, is a convex function defined on the Okounkov body. It is a generalization of the symplectic potential of a torus-invariant K\"ahler potential on a toric variety, introduced by Guillemin, that is a convex function on the Delzant polytope. A folklore conjecture asserts that a curve of Chebyshev potentials associated to a curve in the space of K\"ahler potentials is linear in the time variable if and only if the latter curve is a geodesic in the Mabuchi metric. This is classically true in the special toric setting, and in general Witt Nystr\"om established the sufficiency. The goal of this article is to disprove this conjecture. More generally, we characterize the Fubini--Study geodesics for which the conjecture is true on projective space. The proof involves explicitly solving the Monge--Amp\`ere equation describing geodesics on the subspace of Fubini--Study metrics and computing their Chebyshev potentials.


title: Adapitch: Adaption Multi-Speaker Text-to-Speech Conditioned on Pitch Disentangling with Untranscribed Data

abstract: In this paper, we proposed Adapitch, a multi-speaker TTS method that makes adaptation of the supervised module with untranscribed data. We design two self supervised modules to train the text encoder and mel decoder separately with untranscribed data to enhance the representation of text and mel. To better handle the prosody information in a synthesized voice, a supervised TTS module is designed conditioned on content disentangling of pitch, text, and speaker. The training phase was separated into two parts, pretrained and fixed the text encoder and mel decoder with unsupervised mode, then the supervised mode on the disentanglement of TTS. Experiment results show that the Adaptich achieved much better quality than baseline methods.


title: Liquidity based modeling of asset price bubbles via random matching

abstract: In this paper we study the evolution of asset price bubbles driven by contagion effects spreading among investors via a random matching mechanism in a discrete-time version of the liquidity based model of [25]. To this scope, we extend the Markov conditionally independent dynamic directed random matching of [13] to a stochastic setting to include stochastic exogenous factors in the model. We derive conditions guaranteeing that the financial market model is arbitrage-free and present some numerical simulation illustrating our approach.


title: Improving Speech Representation Learning via Speech-level and Phoneme-level Masking Approach

abstract: Recovering the masked speech frames is widely applied in speech representation learning. However, most of these models use random masking in the pre-training. In this work, we proposed two kinds of masking approaches: (1) speech-level masking, making the model to mask more speech segments than silence segments, (2) phoneme-level masking, forcing the model to mask the whole frames of the phoneme, instead of phoneme pieces. We pre-trained the model via these two approaches, and evaluated on two downstream tasks, phoneme classification and speaker recognition. The experiments demonstrated that the proposed masking approaches are beneficial to improve the performance of speech representation.


title: Deformation insensitive thermal conductance of the designed Si metamaterial

abstract: The thermal management have been widely focused due to broad applications. Generally, the deformation can largely tune the thermal transport. The main challenge of flexible electronics/ materials is to maintain thermal conductance under large deformation. This work investigates the thermal conductance of a nano-designed Si metamaterial constructed with curved nanobeams by molecular dynamics simulation. Interestingly, it shows that the thermal conductance of the nano-designed Si metamaterial is insensitive under a large deformation (strain~-41%). The new feature comes from the designed curved nanobeams which makes a quasi-zero stiffness. Further calculations show that, when under a large deformation, the average stress in nanobeam is ultra-small (<151 MPa) and its phonon density of states are little changed. This work provides valuable insights on multifunction, such as both stable thermal and mechanical properties, of nano-designed metamaterials.


title: Variability of wave power production of the M4 machine at two energetic open ocean locations: off Albany, Western Australia and at EMEC, Orkney, UK

abstract: Since intermittent and highly variable power supply is undesirable, quantifying power yield fluctuations of wave energy converters (WECs) aids with assessment of potential deployment sites. This paper presents analysis of 3-hourly, monthly, seasonal, and inter-annual variability of power output of the M4 WEC. We compare expected performance from deployment at two wave energy hotspots: off Albany on the south-western coast of Australia and off the European Marine Energy Centre (EMEC) at Orkney, UK. We use multi-decadal wave hindcast data to predict the power that would have been generated by M4 WEC machines. The M4 machine, as a floating articulated device which extracts energy from flexing motion about a hinge, is sized according to a characteristic wavelength of the local wave climate. Using probability distributions, production duration curves, and coefficients of variation we demonstrate larger variability of the 3-hourly power yield at Orkney compared to Albany. At longer timescales, seasonal trends are highlighted through average monthly power values. From a continuity of supply perspective, we investigate occurrences of low production at three different threshold levels and calculate duration and likelihood of such events. Orkney is found to suffer from more persistent lows, causing a more intermittent power output. We also consider the effect of machine size on its power performance. Smaller machines are found to more effectively smooth out the stochastic nature of the underlying wave resource.


title: Exact Continuous frames in Hilbert C*-modules

abstract: In the present paper, we investigate some properties of duals of continuous frames in Hilbert C*-modules. In particular, we give requirements so that by removing some elements of a continuous frame, it does not remain a continuous frame and when the remaining set still remains a continuous frame.


title: Diagnostic Posture Control System for Seated-Style Echocardiography Robot

abstract: Purpose: Conventional robotic ultrasound systems were utilized with patients in supine positions. Meanwhile, the limitation of the systems is that it is difficult to evacuate the patients in case of emergency (e.g., patient discomfort and system failure) because the patients are restricted between the robot system and bed. Then, it is ideal that the patient undergoes the examination in the sitting position in terms of safety. Therefore, we validated a feasibility study of seated-style echocardiography using a robot. Method: Preliminary experiments were conducted to verify the following two points: (1) the possibility of obtaining cardiac disease features in the sitting posture as well as in the conventional examination, and (2) the relationship between posture angle and physical burden. For reducing the physical burden, two unique mechanisms were incorporated into the system: (1) a leg pendulum base mechanism to reduce the load on the legs when the lateral bending angle increases, and (2) a roll angle division by a lumbar lateral bending and thoracic rotation mechanisms. Results: Preliminary results demonstrated that adjusting the diagnostic posture angle enabled us to obtain the views, including cardiac disease features, as in the conventional examination. The results showed that the body burden increased as the posture's lateral bending angle increased. The results also demonstrated that the body load reduction mechanism incorporated in the results could reduce the physical load in the seated echocardiography. Conclusion: These results showed the potential of the seated-style echocardiography robot.


title: Toward domain generalized pruning by scoring out-of-distribution importance

abstract: Filter pruning has been widely used for compressing convolutional neural networks to reduce computation costs during the deployment stage. Recent studies have shown that filter pruning techniques can achieve lossless compression of deep neural networks, reducing redundant filters (kernels) without sacrificing accuracy performance. However, the evaluation is done when the training and testing data are from similar environmental conditions (independent and identically distributed), and how the filter pruning techniques would affect the cross-domain generalization (out-of-distribution) performance is largely ignored. We conduct extensive empirical experiments and reveal that although the intra-domain performance could be maintained after filter pruning, the cross-domain performance will decay to a large extent. As scoring a filter's importance is one of the central problems for pruning, we design the importance scoring estimation by using the variance of domain-level risks to consider the pruning risk in the unseen distribution. As such, we can remain more domain generalized filters. The experiments show that under the same pruning ratio, our method can achieve significantly better cross-domain generalization performance than the baseline filter pruning method. For the first attempt, our work sheds light on the joint problem of domain generalization and filter pruning research.


title: MetaSpeech: Speech Effects Switch Along with Environment for Metaverse

abstract: Metaverse expands the physical world to a new dimension, and the physical environment and Metaverse environment can be directly connected and entered. Voice is an indispensable communication medium in the real world and Metaverse. Fusion of the voice with environment effects is important for user immersion in Metaverse. In this paper, we proposed using the voice conversion based method for the conversion of target environment effect speech. The proposed method was named MetaSpeech, which introduces an environment effect module containing an effect extractor to extract the environment information and an effect encoder to encode the environment effect condition, in which gradient reversal layer was used for adversarial training to keep the speech content and speaker information while disentangling the environmental effects. From the experiment results on the public dataset of LJSpeech with four environment effects, the proposed model could complete the specific environment effect conversion and outperforms the baseline methods from the voice conversion task.


title: The Scholz conjecture on addition chain is true for infinitely many integers with $\ell(2n)= \ell(n)$

abstract: It is known that the Scholz conjecture on addition chains is true for all integers $n$ with $\ell(2n) = \ell(n)+1$. There exists infinitely many integers with $\ell(2n) \leq \ell(n)$ and we don't know if the conjecture still holds for them. The conjecture is also proven to hold for integers $n$ with $v(n) \leq 5$ and for infinitely many integers with $v(n)=6$. There is no specific results on integers with $v(n)=7$. In \cite{thurber}, an infinite list of integers satisfying $\ell(n) = \ell(2n)$ and $v(n) = 7$ is given. In this paper, we prove that the conjecture holds for all of them.


title: High-yield exfoliation of MoS2 nanosheets by a novel spray technique and the importance of soaking and surfactants

abstract: Liquid-phase exfoliation of two-dimensional materials is very attractive for large-scale applications. Although used extensively, isolating MoS2 layers (<10) with high efficiency is reported to be extremely difficult. Further, the importance of soaking has not yet been studied, and the surfactants' role in stabilizing MoS2 nanosheets is poorly understood1. Herein, we report a novel approach to exfoliating large quantities of MoS2 via high-pressure (HP) liquid-phase exfoliation (LPE) in deionized (DI) water. 4 to 7 layers of MoS2 nanosheets were obtained from 60 days-soaked samples and they were found to be stable in solvents for periods of up to six months. Studies on the effect of three surfactants, namely sodium dodecyl benzenesulfonate (SDBS), sodium cholate (SC), and tetra-butyl ammonium bromide (TBAB), indicate that exfoliation of MoS2 nanosheets in SDBS is highly efficient than the other two surfactants. The estimated yield reaches up to 7.25%, with a nanosheet concentration of 1.45 mg/ml, which is one of the highest ever reported. Our studies also suggest that the nanosheets' concentration and the lateral size depend on exfoliation cycles, applied pressure and surfactant concentration. Hydrogen evolution reaction (HER) and ion-transport study show that the nanosheets prepared by our method are stable in an acidic medium and free from surfactants. A high hydrogen evolution rate of 30.13 mmol g-1 h-1 was estimated under ambient laboratory conditions.


title: Quasi-Particle Dynamics in Quasi-Periodic Ising Model with Temporally Fluctuating Transverse Fields

abstract: We study quasi-particle dynamics in a quasi-periodic Ising model with temporally fluctuating transverse fields. Specifically, we calculate the dynamical exponents of the standard deviation of a quasi-particle spreading under a field chosen randomly from binary values $\pm h$ at every time interval. We find that the short-time behavior of the dynamical exponents depends on the interval of the temporally fluctuating fields. We also reveal how the quasi-particle dynamics affects the relaxation of spin-spin correlation functions. The dynamics can be explained via the overlap between the eigenvectors of a Hamiltonian with $\pm h$.


title: FocusedCleaner: Sanitizing Poisoned Graphs for Robust GNN-based Node Classification

abstract: Graph Neural Networks (GNNs) are vulnerable to data poisoning attacks, which will generate a poisoned graph as the input to the GNN models. We present FocusedCleaner as a poisoned graph sanitizer to effectively identify the poison injected by attackers. Specifically, FocusedCleaner provides a sanitation framework consisting of two modules: bi-level structural learning and victim node detection. In particular, the structural learning module will reverse the attack process to steadily sanitize the graph while the detection module provides ``the focus" -- a narrowed and more accurate search region -- to structural learning. These two modules will operate in iterations and reinforce each other to sanitize a poisoned graph step by step. As an important application, we show that the adversarial robustness of GNNs trained over the sanitized graph for the node classification task is significantly improved. Extensive experiments demonstrate that FocusedCleaner outperforms the state-of-the-art baselines both on poisoned graph sanitation and improving robustness.


title: Federated Bayesian Computation via Piecewise Deterministic Markov Processes

abstract: When performing Bayesian computations in practice, one is often faced with the challenge that the constituent model components and/or the data are only available in a distributed fashion, e.g. due to privacy concerns or sheer volume. While various methods have been proposed for performing posterior inference in such federated settings, these either make very strong assumptions on the data and/or model or otherwise introduce significant bias when the local posteriors are combined to form an approximation of the target posterior. By leveraging recently developed methods for Markov Chain Monte Carlo (MCMC) based on Piecewise Deterministic Markov Processes (PDMPs), we develop a computation -- and communication -- efficient family of posterior inference algorithms (Fed-PDMC) which provides asymptotically exact approximations of the full posterior over a large class of Bayesian models, allowing heterogenous model and data contributions from each client. We show that communication between clients and the server preserves the privacy of the individual data sources by establishing differential privacy guarantees. We quantify the performance of Fed-PDMC over a class of illustrative analytical case-studies and demonstrate its efficacy on a number of synthetic examples along with realistic Bayesian computation benchmarks.


title: Online model error correction with neural networks in the incremental 4D-Var framework

abstract: Recent studies have demonstrated that it is possible to combine machine learning with data assimilation to reconstruct the dynamics of a physical model partially and imperfectly observed. Data assimilation is used to estimate the system state from the observations, while machine learning computes a surrogate model of the dynamical system based on those estimated states. The surrogate model can be defined as an hybrid combination where a physical model based on prior knowledge is enhanced with a statistical model estimated by a neural network. The training of the neural network is typically done offline, once a large enough dataset of model state estimates is available. By contrast, with online approaches the surrogate model is improved each time a new system state estimate is computed. Online approaches naturally fit the sequential framework encountered in geosciences where new observations become available with time. In a recent methodology paper, we have developed a new weak-constraint 4D-Var formulation which can be used to train a neural network for online model error correction. In the present article, we develop a simplified version of that method, in the incremental 4D-Var framework adopted by most operational weather centres. The simplified method is implemented in the ECMWF Object-Oriented Prediction System, with the help of a newly developed Fortran neural network library, and tested with a two-layer two-dimensional quasi geostrophic model. The results confirm that online learning is effective and yields a more accurate model error correction than offline learning. Finally, the simplified method is compatible with future applications to state-of-the-art models such as the ECMWF Integrated Forecasting System.


title: Mod-Poisson approximation schemes and higher-order Chen-Stein inequalities

abstract: In this article, we provide an extension of the Chen-Stein inequality for Poisson approximation in the total variation distance for sums of independent Bernoulli random variables in two ways. We prove that we can improve the rate of convergence (hence the quality of the approximation) by using explicitly constructed signed or positive probability measures, and that we can extend the setting to possibly dependent random variables. The framework which allows this is that of mod-Poisson convergence, and more precisely those mod-Poisson convergent sequences whose residue functions can be expressed as a specialization of the generating series of elementary symmetric functions. This combinatorial reformulation allows us to have a general and unified framework in which we can fit the classical setting of sums of independent Bernoulli random variables as well as other examples coming e.g. from probabilistic number theory and random permutations.


title: Polarization Observations of AGN Jets: Past and Future

abstract: The magnetic field is believed to play a critical role in the bulk acceleration and propagation of jets produced in active galactic nuclei (AGN). Polarization observations of AGN jets provide valuable information about their magnetic fields. As a result of radiative transfer, jet structure, and stratification, among other factors, it is not always straightforward to determine the magnetic field structures from observed polarization. We review these effects and their impact on polarization emission at a variety of wavelengths, including radio, optical, and ultraviolet wavelengths in this paper. It is also possible to study the magnetic field in the launching and acceleration regions of AGN jets by using very long baseline interferometry (VLBI), which occurs on a small physical scale. Due to the weak polarization of the jets in these regions, probing the magnetic field is generally difficult. However, recent VLBI observations have detected significant polarization and Faraday rotation in some nearby sources. We present the results of these observations as well as prospects for future observations. Additionally, we briefly discuss recently developed polarization calibration and imaging techniques for VLBI data, which enable more in-depth analysis of the magnetic field structure around supermassive black holes and in AGN jets.


title: Supporting Electronics Learning through Augmented Reality

abstract: Understanding electronics is a critical area in the maker scene. Many of the makers' projects require electronics knowledge to connect microcontrollers with sensors and actuators. Yet, learning electronics is challenging, as internal component processes remain invisible, and students often fear personal harm or component damage. Augmented Reality (AR) applications are developed to support electronics learning and visualize complex processes. This paper reflects on related work around AR and electronics that characterize open research challenges around the four characteristics functionality, fidelity, feedback type, and interactivity.


title: Salient Object Detection via Dynamic Scale Routing

abstract: Recent research advances in salient object detection (SOD) could largely be attributed to ever-stronger multi-scale feature representation empowered by the deep learning technologies. The existing SOD deep models extract multi-scale features via the off-the-shelf encoders and combine them smartly via various delicate decoders. However, the kernel sizes in this commonly-used thread are usually "fixed". In our new experiments, we have observed that kernels of small size are preferable in scenarios containing tiny salient objects. In contrast, large kernel sizes could perform better for images with large salient objects. Inspired by this observation, we advocate the "dynamic" scale routing (as a brand-new idea) in this paper. It will result in a generic plug-in that could directly fit the existing feature backbone. This paper's key technical innovations are two-fold. First, instead of using the vanilla convolution with fixed kernel sizes for the encoder design, we propose the dynamic pyramid convolution (DPConv), which dynamically selects the best-suited kernel sizes w.r.t. the given input. Second, we provide a self-adaptive bidirectional decoder design to accommodate the DPConv-based encoder best. The most significant highlight is its capability of routing between feature scales and their dynamic collection, making the inference process scale-aware. As a result, this paper continues to enhance the current SOTA performance. Both the code and dataset are publicly available at https://github.com/wuzhenyubuaa/DPNet.


title: Inflation from Multiple Pseudo-Scalar Fields: PBH Dark Matter and Gravitational Waves

abstract: We study a model of inflation with multiple pseudo-scalar fields coupled to a $U(1)$ gauge field through Chern-Simons interactions. Because of parity violating interactions, one polarization of the gauge field is amplified yielding to enhanced curvature perturbation power spectrum. Inflation proceeds in multiple stages as each pseudo-scalar field rolls towards its minimum yielding to distinct multiple peaks in the curvature perturbations power spectrum at various scales during inflation. The localized peaks in power spectrum generate Primordial Black Holes (PBHs) which can furnish a large fraction of Dark Matter (DM) abundance. In addition, gravitational waves (GWs) with non-trivial spectra are generated which are in sensitivity range of various forthcoming GW observatories.


title: A Chinese Spelling Check Framework Based on Reverse Contrastive Learning

abstract: Chinese spelling check is a task to detect and correct spelling mistakes in Chinese text. Existing research aims to enhance the text representation and use multi-source information to improve the detection and correction capabilities of models, but does not pay too much attention to improving their ability to distinguish between confusable words. Contrastive learning, whose aim is to minimize the distance in representation space between similar sample pairs, has recently become a dominant technique in natural language processing. Inspired by contrastive learning, we present a novel framework for Chinese spelling checking, which consists of three modules: language representation, spelling check and reverse contrastive learning. Specifically, we propose a reverse contrastive learning strategy, which explicitly forces the model to minimize the agreement between the similar examples, namely, the phonetically and visually confusable characters. Experimental results show that our framework is model-agnostic and could be combined with existing Chinese spelling check models to yield state-of-the-art performance.


title: Modelling the Bitcoin prices and the media attention to Bitcoin via the jump-type processes

abstract: In this paper, we present a new bivariate model for the joint description of the Bitcoin prices and the media attention to Bitcoin. Our model is based on the class of the L\'evy processes and is able to realistically reproduce the jump-type dynamics of the considered time series. We focus on the low-frequency setup, which is for the L\'evy - based models essentially more difficult than the high-frequency case. We design a semiparametric estimation procedure for the statistical inference on the parameters and the L\'evy measures of the considered processes. We show that the dynamics of the market attention can be effectively modelled by the L\'evy processes with finite L\'evy measures, and propose a data-driven procedure for the description of the Bitcoin prices.


title: Multivariate Optimized Certainty Equivalent Risk Measures and their Numerical Computation

abstract: We present a framework for constructing multivariate risk measures that is inspired from univariate Optimized Certainty Equivalent (OCE) risk measures. We show that this new class of risk measures verifies the desirable properties such as convexity, monotonocity and cash invariance. We also address numerical aspects of their computations using stochastic algorithms instead of using Monte Carlo or Fourier methods that do not provide any error of the estimation.

categories: math.OC math.PR q-fin.CP q-fin.PR q-fin.RM


title: Instance Segmentation for Chinese Character Stroke Extraction, Datasets and Benchmarks

abstract: Stroke is the basic element of Chinese character and stroke extraction has been an important and long-standing endeavor. Existing stroke extraction methods are often handcrafted and highly depend on domain expertise due to the limited training data. Moreover, there are no standardized benchmarks to provide a fair comparison between different stroke extraction methods, which, we believe, is a major impediment to the development of Chinese character stroke understanding and related tasks. In this work, we present the first public available Chinese Character Stroke Extraction (CCSE) benchmark, with two new large-scale datasets: Kaiti CCSE (CCSE-Kai) and Handwritten CCSE (CCSE-HW). With the large-scale datasets, we hope to leverage the representation power of deep models such as CNNs to solve the stroke extraction task, which, however, remains an open question. To this end, we turn the stroke extraction problem into a stroke instance segmentation problem. Using the proposed datasets to train a stroke instance segmentation model, we surpass previous methods by a large margin. Moreover, the models trained with the proposed datasets benefit the downstream font generation and handwritten aesthetic assessment tasks. We hope these benchmark results can facilitate further research. The source code and datasets are publicly available at: https://github.com/lizhaoliu-Lec/CCSE.


title: End-to-end Transformer for Compressed Video Quality Enhancement

abstract: Convolutional neural networks have achieved excellent results in compressed video quality enhancement task in recent years. State-of-the-art methods explore the spatiotemporal information of adjacent frames mainly by deformable convolution. However, offset fields in deformable convolution are difficult to train, and its instability in training often leads to offset overflow, which reduce the efficiency of correlation modeling. In this work, we propose a transformer-based compressed video quality enhancement (TVQE) method, consisting of Swin-AutoEncoder based Spatio-Temporal feature Fusion (SSTF) module and Channel-wise Attention based Quality Enhancement (CAQE) module. The proposed SSTF module learns both local and global features with the help of Swin-AutoEncoder, which improves the ability of correlation modeling. Meanwhile, the window mechanism-based Swin Transformer and the encoderdecoder structure greatly improve the execution efficiency. On the other hand, the proposed CAQE module calculates the channel attention, which aggregates the temporal information between channels in the feature map, and finally achieves the efficient fusion of inter-frame information. Extensive experimental results on the JCT-VT test sequences show that the proposed method achieves better performance in average for both subjective and objective quality. Meanwhile, our proposed method outperforms existing ones in terms of both inference speed and GPU consumption.


title: Single crystal growth and magnetism of Sr3NaIrO6 and Sr3AgIrO6: tracking the J = 0 ground state of Ir5+

abstract: Single crystals of Sr3NaIrO6 and Sr3AgIrO6 have been successfully grown using hydroxides flux. Sr3NaIrO6 and Sr3AgIrO6 crystallize in the K4CdCl6-type structure with the space group R-3c (No.167). Sr3NaIrO6 and Sr3AgIrO6 are electrically insulating with estimated activation gaps of 0.68 eV and 0.80 eV, respectively. Sr3NaIrO6 and Sr3AgIrO6 show paramagnetic behavior down to 2 K.


title: IFDID: Information Filter upon Diversity-Improved Decoding for Diversity-Faithfulness Tradeoff in NLG

abstract: Some Natural Language Generation (NLG) tasks require both faithfulness and diversity. The decoding strategy is intensively related to the quality of the generated text. Strategies such as beam search, greedy search, etc., perform with low diversity and high repetition. On the other hand, guided decoding, the solution towards diversity, may generate unfaithful expressions. To this end, this paper presents Information Filter upon Diversity-Improved Decoding (IFDID) to obtain the tradeoff between diversity and faithfulness. IFDID is a two-stage decoding strategy leveraging the proposed Enhance-Filter framework, which achieves the tradeoff by increasing the probabilities of some typical tokens being selected and subsequently filtering them by their information amount. To verify the effectiveness, we compare our method with other baselines on related CommonGEN, RocStories and AdGen benchmarks, which cover Chinese and English datasets. Our numerical experimental results and human evaluation outcomes verify the effectiveness of the proposed approach, as our approach achieves a 1.24 higher ROUGE score describing faithfulness as well as higher diversity represented by 62.5% higher upon Dist-2 than traditional approaches, demonstrating that IFDID is a novel SOTA decoding strategy for the tradeoff between diversity and faithfulness.


title: Wikinformetrics: Construction and description of an open Wikipedia knowledge graph dataset for informetric purposes

abstract: Wikipedia is one of the most visited websites in the world and is also a frequent subject of scientific research. However, the analytical possibilities of Wikipedia information have not yet been analyzed considering at the same time both a large volume of pages and attributes. The main objective of this work is to offer a methodological framework and an open knowledge graph for the informetric large-scale study of Wikipedia. Features of Wikipedia pages are compared with those of scientific publications to highlight the (di)similarities between the two types of documents. Based on this comparison, different analytical possibilities that Wikipedia and its various data sources offer are explored, ultimately offering a set of metrics meant to study Wikipedia from different analytical dimensions. In parallel, a complete dedicated dataset of the English Wikipedia was built (and shared) following a relational model. Finally, a descriptive case study is carried out on the English Wikipedia dataset to illustrate the analytical potential of the knowledge graph and its metrics.


title: Convergence of Proximal Point and Extragradient-Based Methods Beyond Monotonicity: the Case of Negative Comonotonicity

abstract: Algorithms for min-max optimization and variational inequalities are often studied under monotonicity assumptions. Motivated by non-monotone machine learning applications, we follow the line of works [Diakonikolas et al., 2021, Lee and Kim, 2021, Pethick et al., 2022, B\"ohm, 2022] aiming at going beyond monotonicity by considering the weaker negative comonotonicity assumption. In particular, we provide tight complexity analyses for the Proximal Point, Extragradient, and Optimistic Gradient methods in this setup, closing some questions on their working guarantees beyond monotonicity.


title: FineD-Eval: Fine-grained Automatic Dialogue-Level Evaluation

abstract: Recent model-based reference-free metrics for open-domain dialogue evaluation exhibit promising correlations with human judgment. However, they either perform turn-level evaluation or look at a single dialogue quality dimension. One would expect a good evaluation metric to assess multiple quality dimensions at the dialogue level. To this end, we are motivated to propose a multi-dimensional dialogue-level metric, which consists of three sub-metrics with each targeting a specific dimension. The sub-metrics are trained with novel self-supervised objectives and exhibit strong correlations with human judgment for their respective dimensions. Moreover, we explore two approaches to combine the sub-metrics: metric ensemble and multitask learning. Both approaches yield a holistic metric that significantly outperforms individual sub-metrics. Compared to the existing state-of-the-art metric, the combined metrics achieve around 16% relative improvement on average across three high-quality dialogue-level evaluation benchmarks.


title: The continuous-time pre-commitment KMM problem in incomplete markets

abstract: This paper studies the continuous-time pre-commitment KMM problem proposed by Klibanoff, Marinacci and Mukerji (2005) in incomplete financial markets, which concerns with the portfolio selection under smooth ambiguity. The decision maker (DM) is uncertain about the dominated priors of the financial market, which are characterized by a second-order distribution (SOD). The KMM model separates risk attitudes and ambiguity attitudes apart and the aim of the DM is to maximize the two-fold utility of terminal wealth, which does not belong to the classical subjective utility maximization problem. By constructing the efficient frontier, the original KMM problem is first simplified as an one-fold expected utility problem on the second-order space. In order to solve the equivalent simplified problem, this paper imposes an assumption and introduces a new distorted Legendre transformation to establish the bipolar relation and the distorted duality theorem. Then, under a further assumption that the asymptotic elasticity of the ambiguous attitude is less than 1, the uniqueness and existence of the solution to the KMM problem are shown and we obtain the semi-explicit forms of the optimal terminal wealth and the optimal strategy. Explicit forms of optimal strategies are presented for CRRA, CARA and HARA utilities in the case of Gaussian SOD in a Black-Scholes financial market, which show that DM with higher ambiguity aversion tends to be more concerned about extreme market conditions with larger bias. In the end of this work, numerical comparisons with the DMs ignoring ambiguity are revealed to illustrate the effects of ambiguity on the optimal strategies and value functions.


title: Stable Deep MRI Reconstruction using Generative Priors

abstract: Data-driven approaches recently achieved remarkable success in magnetic resonance imaging (MRI) reconstruction, but integration into clinical routine remains challenging due to a lack of generalizability and interpretability. In this paper, we address these challenges in a unified framework based on generative image priors. We propose a novel deep neural network based regularizer which is trained in a generative setting on reference magnitude images only. After training, the regularizer encodes higher-level domain statistics which we demonstrate by synthesizing images without data. Embedding the trained model in a classical variational approach yields high-quality reconstructions irrespective of the sub-sampling pattern. In addition, the model shows stable behavior when confronted with out-of-distribution data in the form of contrast variation. Furthermore, a probabilistic interpretation provides a distribution of reconstructions and hence allows uncertainty quantification. To reconstruct parallel MRI, we propose a fast algorithm to jointly estimate the image and the sensitivity maps. The results demonstrate competitive performance, on par with state-of-the-art end-to-end deep learning methods, while preserving the flexibility with respect to sub-sampling patterns and allowing for uncertainty quantification.


title: Synthetic Data Supervised Salient Object Detection

abstract: Although deep salient object detection (SOD) has achieved remarkable progress, deep SOD models are extremely data-hungry, requiring large-scale pixel-wise annotations to deliver such promising results. In this paper, we propose a novel yet effective method for SOD, coined SODGAN, which can generate infinite high-quality image-mask pairs requiring only a few labeled data, and these synthesized pairs can replace the human-labeled DUTS-TR to train any off-the-shelf SOD model. Its contribution is three-fold. 1) Our proposed diffusion embedding network can address the manifold mismatch and is tractable for the latent code generation, better matching with the ImageNet latent space. 2) For the first time, our proposed few-shot saliency mask generator can synthesize infinite accurate image synchronized saliency masks with a few labeled data. 3) Our proposed quality-aware discriminator can select highquality synthesized image-mask pairs from noisy synthetic data pool, improving the quality of synthetic data. For the first time, our SODGAN tackles SOD with synthetic data directly generated from the generative model, which opens up a new research paradigm for SOD. Extensive experimental results show that the saliency model trained on synthetic data can achieve $98.4\%$ F-measure of the saliency model trained on the DUTS-TR. Moreover, our approach achieves a new SOTA performance in semi/weakly-supervised methods, and even outperforms several fully-supervised SOTA methods. Code is available at https://github.com/wuzhenyubuaa/SODGAN


title: Deconfounding Legal Judgment Prediction for European Court of Human Rights Cases Towards Better Alignment with Experts

abstract: This work demonstrates that Legal Judgement Prediction systems without expert-informed adjustments can be vulnerable to shallow, distracting surface signals that arise from corpus construction, case distribution, and confounding factors. To mitigate this, we use domain expertise to strategically identify statistically predictive but legally irrelevant information. We adopt adversarial training to prevent the system from relying on it. We evaluate our deconfounded models by employing interpretability techniques and comparing to expert annotations. Quantitative experiments and qualitative analysis show that our deconfounded model consistently aligns better with expert rationales than baselines trained for prediction only. We further contribute a set of reference expert annotations to the validation and testing partitions of an existing benchmark dataset of European Court of Human Rights cases.


title: Certifying Unknown Genuine Multipartite Entanglement by Neural Networks

abstract: Suppose we have an unknown multipartite quantum state, how can we experimentally find out whether it is genuine multipartite entangled or not? Recall that even for a bipartite quantum state whose density matrix is known, it is already NP-Hard to determine whether it is entangled or not. Therefore, it is hard to efficiently solve the above problem generally. However, since genuine multipartite entanglement is such a fundamental concept that plays a crucial role in many-body physics and quantum information processing tasks, finding realistic approaches to certify genuine multipartite entanglement is undoubtedly necessary. In this work, we show that neural networks can provide a nice solution to this problem, where measurement statistics data produced by measuring involved quantum states with local measurement devices serve as input features of neural networks. By testing our models on many specific multipartite quantum states, we show that they can certify genuine multipartite entanglement very accurately, which even include some new results unknown before. We also exhibit a possible way to improve the efficiency of our models by reducing the size of features. Lastly, we show that our models enjoy remarkable robustness against flaws in measurement devices, implying that they are very experiment-friendly.


title: Multilingual Relation Classification via Efficient and Effective Prompting

abstract: Prompting pre-trained language models has achieved impressive performance on various NLP tasks, especially in low data regimes. Despite the success of prompting in monolingual settings, applying prompt-based methods in multilingual scenarios has been limited to a narrow set of tasks, due to the high cost of handcrafting multilingual prompts. In this paper, we present the first work on prompt-based multilingual relation classification (RC), by introducing an efficient and effective method that constructs prompts from relation triples and involves only minimal translation for the class labels. We evaluate its performance in fully supervised, few-shot and zero-shot scenarios, and analyze its effectiveness across 14 languages, prompt variants, and English-task training in cross-lingual settings. We find that in both fully supervised and few-shot scenarios, our prompt method beats competitive baselines: fine-tuning XLM-R_EM and null prompts. It also outperforms the random baseline by a large margin in zero-shot experiments. Our method requires little in-language knowledge and can be used as a strong baseline for similar multilingual classification tasks.


title: Preference-Learning Emitters for Mixed-Initiative Quality-Diversity Algorithms

abstract: In mixed-initiative co-creation tasks, wherein a human and a machine jointly create items, it is important to provide multiple relevant suggestions to the designer. Quality-diversity algorithms are commonly used for this purpose, as they can provide diverse suggestions that represent salient areas of the solution space, showcasing designs with high fitness and wide variety. Because generated suggestions drive the search process, it is important that they provide inspiration, but also stay aligned with the designer's intentions. Additionally, often many interactions with the system are required before the designer is content with a solution. In this work, we tackle these challenges with an interactive constrained MAP-Elites system that leverages emitters to learn the preferences of the designer and then use them in automated steps. By learning preferences, the generated designs remain aligned with the designer's intent, and by applying automatic steps, we generate more solutions per user interaction, giving a larger number of choices to the designer and thereby speeding up the search. We propose a general framework for preference-learning emitters (PLEs) and apply it to a procedural content generation task in the video game Space Engineers. We built an interactive application for our algorithm and performed a user study with players.


title: High-fidelity realization of the AKLT state on a NISQ-era quantum processor

abstract: The AKLT state is the ground state of an isotropic quantum Heisenberg spin-$1$ model. It exhibits an excitation gap and an exponentially decaying correlation function, with fractionalized excitations at its boundaries. So far, the one-dimensional AKLT model has only been experimentally realized with trapped-ions as well as photonic systems. In this work, we successfully prepared the AKLT state on a noisy intermediate-scale quantum (NISQ) era quantum device for the first time. In particular, we developed a non-deterministic algorithm on the IBM quantum processor, where the non-unitary operator necessary for the AKLT state preparation is embedded in a unitary operator with an additional ancilla qubit for each pair of auxiliary spin-1/2's. Such a unitary operator is effectively represented by a parametrized circuit composed of single-qubit and nearest-neighbor $CX$ gates. Compared with the conventional operator decomposition method from Qiskit, our approach results in a much shallower circuit depth with only nearest-neighbor gates, while maintaining a fidelity in excess of $99.99\%$ with the original operator. By simultaneously post-selecting each ancilla qubit such that it belongs to the subspace of spin-up $|\uparrow \rangle$, an AKLT state can be systematically obtained by evolving from an initial trivial product state of singlets plus ancilla qubits in spin-up on a quantum computer, and it is subsequently recorded by performing measurements on all the other physical qubits. We show how the accuracy of our implementation can be further improved on the IBM quantum processor with readout error mitigation.


title: Regularity of singular set in optimal transportation

abstract: In this work, we establish a regularity theory for the optimal transport problem when the target is composed of two disjoint convex domains, denoted $\Omega^*_i$ for $i=1, 2$. This is a fundamental model in which singularities arise. Even though the singular set does not exhibit any form of convexity a priori, we are able to prove its higher order regularity by developing novel methods, which also have many other interesting applications (see Remark 1.1). Notably, our results are achieved without requiring any convexity of the source domain $\Omega$. This aligns with Caffarelli's celebrated regularity theory \cite{C92}.


title: HERMES-Pathfinder

abstract: HERMES-Pathfinder is a constellation of six 3U nano-satellites hosting simple but innovative X-ray detectors for determining the positions of, and monitoring cosmic high-energy transients such as gamma-ray bursts and the electromagnetic counterparts of gravitational Wave Events. The HERMES Technological Pathfinder project is funded by the Italian Space Agency, while the HERMES Scientific Pathfinder project is funded by the European Union's Horizon 2020 Research and Innovation Programme under Grant Agreement No. 821896. HERMES-Pathfinder is an in-orbit demonstration, that should be tested in orbit starting in 2023. We present the main scientific goals of HERMES-Pathfinder, as well as a description of the HERMES-Pathfinder payload and performance.


title: GLS under Monotone Heteroskedasticity

abstract: The generalized least square (GLS) is one of the most basic tools in regression analyses. A major issue in implementing the GLS is estimation of the conditional variance function of the error term, which typically requires a restrictive functional form assumption for parametric estimation or smoothing parameters for nonparametric estimation. In this paper, we propose an alternative approach to estimate the conditional variance function under nonparametric monotonicity constraints by utilizing the isotonic regression method. Our GLS estimator is shown to be asymptotically equivalent to the infeasible GLS estimator with knowledge of the conditional error variance, and involves only some tuning to trim boundary observations, not only for point estimation but also for interval estimation or hypothesis testing. Our analysis extends the scope of the isotonic regression method by showing that the isotonic estimates, possibly with generated variables, can be employed as first stage estimates to be plugged in for semiparametric objects. Simulation studies illustrate excellent finite sample performances of the proposed method. As an empirical example, we revisit Acemoglu and Restrepo's (2017) study on the relationship between an aging population and economic growth to illustrate how our GLS estimator effectively reduces estimation errors.


title: Topological Robust Corner States of a Two-Dimensional Square Lattice with $\mathbf C_{\mathbf 4}$ Symmetry in Fully Coupled Dipolar Arrays

abstract: Higher-order topological insulators(HOTIs) is an exciting topic. We constructed a square lattice dipole arrays, it supports out-of-plane and in-plane modes by going beyond conventional scalar coupling. In-plane modes naturally break $\mathrm C_{4}$ symmetry, we only studied the out-of-plane modes that maintain $\mathrm C_{4}$ symmetry. Due to the slowly decaying long-range coupling, we consider its fully coupled interactions by using the lattice sums technique and combined with the coupled dipole method (CDM) to study its topological properties in detail. Interestingly, even when the full coupling is considered, the topological properties of the system remain similar to those of the 2D Su-Schrieffer-Heeger(SSH) model, but very differently, it supports robust zero-energy corner states (ZECSs) with $\mathrm C_{4}$ symmetry, we calculate the bulk polarization and discuss in detail the topological origin of the ZECSs. The lattice sums technique in the article can be applied to arbitrary fully coupled 2D dipole arrays. The materials we used can be able to confine light into the deep subwavelength scale, it has a great potential in enhancing light-matter interactions in the terahertz (THz) range.


title: DialogConv: A Lightweight Fully Convolutional Network for Multi-view Response Selection

abstract: Current end-to-end retrieval-based dialogue systems are mainly based on Recurrent Neural Networks or Transformers with attention mechanisms. Although promising results have been achieved, these models often suffer from slow inference or huge number of parameters. In this paper, we propose a novel lightweight fully convolutional architecture, called DialogConv, for response selection. DialogConv is exclusively built on top of convolution to extract matching features of context and response. Dialogues are modeled in 3D views, where DialogConv performs convolution operations on embedding view, word view and utterance view to capture richer semantic information from multiple contextual views. On the four benchmark datasets, compared with state-of-the-art baselines, DialogConv is on average about 8.5x smaller in size, and 79.39x and 10.64x faster on CPU and GPU devices, respectively. At the same time, DialogConv achieves the competitive effectiveness of response selection.


title: Adaptive Behavior Cloning Regularization for Stable Offline-to-Online Reinforcement Learning

abstract: Offline reinforcement learning, by learning from a fixed dataset, makes it possible to learn agent behaviors without interacting with the environment. However, depending on the quality of the offline dataset, such pre-trained agents may have limited performance and would further need to be fine-tuned online by interacting with the environment. During online fine-tuning, the performance of the pre-trained agent may collapse quickly due to the sudden distribution shift from offline to online data. While constraints enforced by offline RL methods such as a behaviour cloning loss prevent this to an extent, these constraints also significantly slow down online fine-tuning by forcing the agent to stay close to the behavior policy. We propose to adaptively weigh the behavior cloning loss during online fine-tuning based on the agent's performance and training stability. Moreover, we use a randomized ensemble of Q functions to further increase the sample efficiency of online fine-tuning by performing a large number of learning updates. Experiments show that the proposed method yields state-of-the-art offline-to-online reinforcement learning performance on the popular D4RL benchmark. Code is available: \url{https://github.com/zhaoyi11/adaptive_bc}.


title: A regularized Kellerer theorem in arbitrary dimension

abstract: We present a multidimensional extension of Kellerer's theorem on the existence of mimicking Markov martingales for peacocks, a term derived from the French for stochastic processes increasing in convex order. For a continuous-time peacock in arbitrary dimension, after Gaussian regularization, we show that there exists a strongly Markovian mimicking martingale It\^o diffusion. A novel compactness result for martingale diffusions is a key tool in our proof. Moreover, we provide counterexamples to show, in dimension $d \geq 2$, that uniqueness may not hold, and that some regularization is necessary to guarantee existence of a mimicking Markov martingale.


title: Connectivity-Aware Contract for Incentivizing IoT Devices in Complex Wireless Blockchain

abstract: Blockchain is considered the critical backbone technology for secure and trusted Internet of Things (IoT) in the future 6G network. However, deploying a blockchain system in a complex wireless IoT network is challenging due to the limited resources, complex wireless environment, and the property of self-interested IoT devices. The existing incentive mechanism of blockchain is not compatible with the wireless IoT network. In this paper, to incentivize IoT devices to join the construction of the wireless blockchain network, we propose a multi-dimensional contract to optimize the blockchain utility while addressing the issues of adverse selection and moral hazard. Specifically, the proposed contract considers the IoT device's hash power and communication cost and especially explores the connectivity of devices from the perspective of complex network theory. We investigate the energy consumption and the block confirmation probability of the wireless blockchain network via simulations under varied network sizes and average link probability. Numerical results demonstrate that our proposed contract mechanism is feasible, achieves 35% more utility than existing approaches, and increases utility by 4 times compared with the original PoW-based incentive mechanism.


title: Euler numbers and diametral paths in Fibonacci cubes, Lucas cubes and Alternate Lucas cubes

abstract: The diameter of a graph is the maximum distance between pairs of vertices in the graph. A pair of vertices whose distance is equal to its diameter are called diametrically opposite vertices. The collection of shortest paths between diametrically opposite vertices are referred as diametral paths. In this work, we enumerate the number of diametral paths for Fibonacci cubes, Lucas cubes and Alternate Lucas cubes. We present bijective proofs that show that these numbers are related to alternating permutations and are enumerated by Euler numbers.


title: Tight analysis of the lazy algorithm for open online dial-a-ride

abstract: In the open online dial-a-ride problem, a single server has to deliver transportation requests appearing over time in some metric space, subject to minimizing the completion time. We improve on the best known upper bounds on the competitive ratio on general metric spaces and on the half-line, for both the preemptive and non-preemptive version of the problem. We achieve this by revisiting the algorithm $\textsc{Lazy}$ recently suggested in [WAOA, 2022] and giving an improved and tight analysis. More precisely, we show that it has competitive ratio $2.457$ on general metric spaces and $2.366$ on the half-line. This is the first upper bound that beats known lower bounds of 2.5 for schedule-based algorithms as well as the natural $\textsc{Replan}$ algorithm.


title: Structural transitions in jammed asymmetric bidisperse granular packings

abstract: We study the local structural changes along the jamming transitions in asymmetric bidisperse granu\-lar packings. The local structure of the packing is assessed by the contact orientational order, $\tilde{Q}_{\ell}$, that quantifies the contribution of each contact configuration (Large-Large, Small-Small, Large-Small, Small-Large) in the jammed structure. The partial values of $\tilde{Q}_{\ell}$ are calculated with respect to known ordered lattices that are fixed by the size ratio, $\delta$, of the particles. We find that the packing undergoes a structural transition at $\phi_J$, manifested by a sudden jump in the partial $\tilde{Q}_{\ell}$. Each contact configuration contributes to the jammed structure in a different way, changing with $\delta$ and concentration of small particles, $X_{\mathrm{S}}$. The results show not only that the packing undergoes a structural change upon jamming, but also that bidisperse packings exhibit local HCP and FCC structures also found in monodisperse packings. This suggests that the jammed structure of bidisperse systems is inherently endowed with local structural order. These results are relevant in understanding how the arrangement of particles determines the strength of bidisperse granular packings.


title: TabMixer: Excavating Label Distribution Learning with Small-scale Features

abstract: Label distribution learning (LDL) differs from multi-label learning which aims at representing the polysemy of instances by transforming single-label values into descriptive degrees. Unfortunately, the feature space of the label distribution dataset is affected by human factors and the inductive bias of the feature extractor causing uncertainty in the feature space. Especially, for datasets with small-scale feature spaces (the feature space dimension $\approx$ the label space), the existing LDL algorithms do not perform well. To address this issue, we seek to model the uncertainty augmentation of the feature space to alleviate the problem in LDL tasks. Specifically, we start with augmenting each feature value in the feature vector of a sample into a vector (sampling on a Gaussian distribution function). Which, the variance parameter of the Gaussian distribution function is learned by using a sub-network, and the mean parameter is filled by this feature value. Then, each feature vector is augmented to a matrix which is fed into a mixer with local attention (\textit{TabMixer}) to extract the latent feature. Finally, the latent feature is squeezed to yield an accurate label distribution via a squeezed network. Extensive experiments verify that our proposed algorithm can be competitive compared to other LDL algorithms on several benchmarks.


title: THOR-Net: End-to-end Graformer-based Realistic Two Hands and Object Reconstruction with Self-supervision

abstract: Realistic reconstruction of two hands interacting with objects is a new and challenging problem that is essential for building personalized Virtual and Augmented Reality environments. Graph Convolutional networks (GCNs) allow for the preservation of the topologies of hands poses and shapes by modeling them as a graph. In this work, we propose the THOR-Net which combines the power of GCNs, Transformer, and self-supervision to realistically reconstruct two hands and an object from a single RGB image. Our network comprises two stages; namely the features extraction stage and the reconstruction stage. In the features extraction stage, a Keypoint RCNN is used to extract 2D poses, features maps, heatmaps, and bounding boxes from a monocular RGB image. Thereafter, this 2D information is modeled as two graphs and passed to the two branches of the reconstruction stage. The shape reconstruction branch estimates meshes of two hands and an object using our novel coarse-to-fine GraFormer shape network. The 3D poses of the hands and objects are reconstructed by the other branch using a GraFormer network. Finally, a self-supervised photometric loss is used to directly regress the realistic textured of each vertex in the hands' meshes. Our approach achieves State-of-the-art results in Hand shape estimation on the HO-3D dataset (10.0mm) exceeding ArtiBoost (10.8mm). It also surpasses other methods in hand pose estimation on the challenging two hands and object (H2O) dataset by 5mm on the left-hand pose and 1 mm on the right-hand pose.


title: An Improved Algorithm for Open Online Dial-a-Ride

abstract: We consider the open online dial-a-ride problem, where transportation requests appear online in a metric space and need to be served by a single server. The objective is to minimize the completion time until all requests have been served. We present a new, parameterized algorithm for this problem and prove that it attains a competitive ratio of $1 + \varphi \approx 2.618$ for some choice of its parameter, where $\varphi$ is the golden ratio. This improves the best known bounds for open online dial-a-ride both for general metric spaces as well as for the real line. We also give a lower bound of~$2.457$ for the competitive ratio of our algorithm for any parameter choice.


title: Electron diffusion induced valley Hall effect and nonlinear galvanodiffusive transport in hexagonal 2D Dirac monolayer materials

abstract: Diffusion currents are theoretically examined in two-dimensional Dirac materials, such as those of the transition metal dichalcogenides (TMD) family. The transversal effects are analogues of the valley Hall (VHE) and photogalvanic (PGE) transport phenomena in case when the electron driving force is not an electric field but a gradient of electron density distribution in the sample. The latter can be created by a finite-sized laser spot or by the injection of electrons from other materials. We develop the theory of diffusive VHE effect assuming the anisotropic electron-short-range-impurity skew scattering. The electron PGE-like transport caused by higher electron-density derivatives is analyzed assuming the trigonal warping anisotropy of electron valleys in a TMD monolayer. The nonlinear responses on electron-density gradient are studied as well. The isotropic processes of electron scattering off the short-range and Coulomb centers are taken into account in the PGE-like transport theory.


title: A Framework for Collaborative Multi-Robot Mapping using Spectral Graph Wavelets

abstract: The exploration of large-scale unknown environments can benefit from the deployment of multiple robots for collaborative mapping. Each robot explores a section of the environment and communicates onboard pose estimates and maps to a central server to build an optimized global multi-robot map. Naturally, inconsistencies can arise between onboard and server estimates due to onboard odometry drift, failures, or degeneracies. The mapping server can correct and overcome such failure cases using computationally expensive operations such as inter-robot loop closure detection and multi-modal mapping. However, the individual robots do not benefit from the collaborative map if the mapping server provides no feedback. Although server updates from the multi-robot map can greatly alleviate the robotic mission strategically, most existing work lacks them, due to their associated computational and bandwidth-related costs. Motivated by this challenge, this paper proposes a novel collaborative mapping framework that enables global mapping consistency among robots and the mapping server. In particular, we propose graph spectral analysis, at different spatial scales, to detect structural differences between robot and server graphs, and to generate necessary constraints for the individual robot pose graphs. Our approach specifically finds the nodes that correspond to the drift's origin rather than the nodes where the error becomes too large. We thoroughly analyze and validate our proposed framework using several real-world multi-robot field deployments where we show improvements of the onboard system up to 90\% and can recover the onboard estimation from localization failures and even from the degeneracies within its estimation.


title: Effects of hyperscaling violation and dynamical exponents on drag force

abstract: In this paper, we calculate the drag force of a charged particle in systems with hyperscaling violation using the AdS/CFT correspondence. We obtain energy loss, friction coefficient, diffusion and quasi normal modes of a heavy point particle. Here, we consider two cases. In the first, we assume the heavy point particle moves with constant velocity v. In the second case, we assume the heavy point particle rotates along a circle of radius L with angular velocity {\omega}. Also, we add some electromagnetic field and obtain the energy loss. Finally, we draw some figures for the drag force with respect to the velocity and the temperature. As well, we show how the drag force and energy loss change with the hyperscaling violation parameter {\theta}, dynamical parameter z, mass m and charge Q.


title: LAB: Learnable Activation Binarizer for Binary Neural Networks

abstract: Binary Neural Networks (BNNs) are receiving an upsurge of attention for bringing power-hungry deep learning towards edge devices. The traditional wisdom in this space is to employ sign() for binarizing featuremaps. We argue and illustrate that sign() is a uniqueness bottleneck, limiting information propagation throughout the network. To alleviate this, we propose to dispense sign(), replacing it with a learnable activation binarizer (LAB), allowing the network to learn a fine-grained binarization kernel per layer - as opposed to global thresholding. LAB is a novel universal module that can seamlessly be integrated into existing architectures. To confirm this, we plug it into four seminal BNNs and show a considerable performance boost at the cost of tolerable increase in delay and complexity. Finally, we build an end-to-end BNN (coined as LAB-BNN) around LAB, and demonstrate that it achieves competitive performance on par with the state-of-the-art on ImageNet.


title: Proposal for a long-lived quantum memory using matter-wave optics with Bose-Einstein condensates in microgravity

abstract: Bose-Einstein condensates are a promising platform for optical quantum memories, but suffer from several decoherence mechanisms, leading to short memory lifetimes. While some of these decoherence effects can be mitigated by conventional methods, density dependent atom-atom collisions ultimately set the upper limit of quantum memory lifetime to s-timescales in trapped Bose-Einstein condensates. We propose a new quantum memory technique that utilizes microgravity as a resource to minimize such density-dependent effects. We show that by using optical atom lenses to collimate and refocus the freely expanding atomic ensembles, in an ideal environment, the expected memory lifetime is only limited by the quality of the background vacuum. We anticipate that this method can be experimentally demonstrated in Earth-bound microgravity platforms or space missions, eventually leading to storage times of minutes and unprecedented time-bandwidth products of {$10^{10}$}


title: Calibration of the first detector flight models for the HERMES constellation and the SpIRIT mission

abstract: HERMES (High Energy Rapid Modular Ensemble of Satellites) is a space-borne mission based on a constellation of six 3U CubeSats flying in a low-Earth orbit, hosting new miniaturized instruments based on a hybrid Silicon Drift Detector/GAGG:Ce scintillator photodetector system sensitive to X-rays and gamma-rays. Moreover, the HERMES constellation will operate in conjunction with the Australian-Italian Space Industry Responsive Intelligent Thermal (SpIRIT) 6U CubeSat, that will carry in a Sun-synchronous orbit (SSO) an actively cooled HERMES detector system payload. In this paper we provide an overview of the ground calibrations of the first HERMES and SpIRIT flight detectors, outlining the calibration plan, detector performance and characterization.


title: SUPR: A Sparse Unified Part-Based Human Representation

abstract: Statistical 3D shape models of the head, hands, and fullbody are widely used in computer vision and graphics. Despite their wide use, we show that existing models of the head and hands fail to capture the full range of motion for these parts. Moreover, existing work largely ignores the feet, which are crucial for modeling human movement and have applications in biomechanics, animation, and the footwear industry. The problem is that previous body part models are trained using 3D scans that are isolated to the individual parts. Such data does not capture the full range of motion for such parts, e.g. the motion of head relative to the neck. Our observation is that full-body scans provide important information about the motion of the body parts. Consequently, we propose a new learning scheme that jointly trains a full-body model and specific part models using a federated dataset of full-body and body-part scans. Specifically, we train an expressive human body model called SUPR (Sparse Unified Part-Based Human Representation), where each joint strictly influences a sparse set of model vertices. The factorized representation enables separating SUPR into an entire suite of body part models. Note that the feet have received little attention and existing 3D body models have highly under-actuated feet. Using novel 4D scans of feet, we train a model with an extended kinematic tree that captures the range of motion of the toes. Additionally, feet deform due to ground contact. To model this, we include a novel non-linear deformation function that predicts foot deformation conditioned on the foot pose, shape, and ground contact. We train SUPR on an unprecedented number of scans: 1.2 million body, head, hand and foot scans. We quantitatively compare SUPR and the separated body parts and find that our suite of models generalizes better than existing models. SUPR is available at http://supr.is.tue.mpg.de


title: On a conjecture on 2-reduced Schur functions and Schur's Q-functions

abstract: Motivated by Sato and Mori's work on the Korteweg-de Vries (KdV) equation and the modified KdV equation, Mizukawa, Nakajima, and Yamada made a conjecture on 2-reduced Schur functions and Schur's Q-functions. The conjecture claims that certain sums of products of a Littlewood-Richardson coefficient and two 2-reduced Schur functions are equal to Schur's Q-functions up to a scalar multiple. In this paper we give a proof of the conjecture in cases which have not been proved yet. We introduce a new expression of Schur's Q-functions and use it to prove the conjecture. Combinatorics of the inverse Kostka matrix is also used. We also provide consideration of the conjecture in general case.


title: Should data ever be thrown away? Pooling interval-censored data sets with different precision

abstract: Data quality is an important consideration in many engineering applications and projects. Data collection procedures do not always involve careful utilization of the most precise instruments and strictest protocols. As a consequence, data are invariably affected by imprecision and sometimes sharply varying levels of quality of the data. Different mathematical representations of imprecision have been suggested, including a classical approach to censored data which is considered optimal when the proposed error model is correct, and a weaker approach called interval statistics based on partial identification that makes fewer assumptions. Maximizing the quality of statistical results is often crucial to the success of many engineering projects, and a natural question that arises is whether data of differing qualities should be pooled together or we should include only precise measurements and disregard imprecise data. Some worry that combining precise and imprecise measurements can depreciate the overall quality of the pooled data. Some fear that excluding data of lesser precision can increase their overall uncertainty about results because lower sample size implies more sampling uncertainty. This paper explores these concerns and describes simulation results that show when it is advisable to combine fairly precise data with rather imprecise data by comparing analyses using different mathematical representations of imprecision. Pooling data sets is preferred when the low-quality data set does not exceed a certain level of uncertainty. However, so long as the data are random, it may be legitimate to reject the low-quality data if its reduction of sampling uncertainty does not counterbalance the effect of its imprecision on the overall uncertainty.


title: Bubble Growth Rate in Superheated Droplets

abstract: Calculations are presented to describe the dynamic of a growing bubble in a single and simple formulation for R(t). The calculations show clearly that the behavior of the growing bubble is exponentially increasing with the time constant {\tau} showing a universal behavior as a function of the reduced superheat. Experimental data from other researchers are used to verify the description and are in good agreement with the results. The main motivation for this study was to find R(t)that is accurate and at the same time uncomplicated enough in solving the dynamic of the bubble growth to calculate the far-field pressure for superheated liquids.


title: Missing Counter-Evidence Renders NLP Fact-Checking Unrealistic for Misinformation

abstract: Misinformation emerges in times of uncertainty when credible information is limited. This is challenging for NLP-based fact-checking as it relies on counter-evidence, which may not yet be available. Despite increasing interest in automatic fact-checking, it is still unclear if automated approaches can realistically refute harmful real-world misinformation. Here, we contrast and compare NLP fact-checking with how professional fact-checkers combat misinformation in the absence of counter-evidence. In our analysis, we show that, by design, existing NLP task definitions for fact-checking cannot refute misinformation as professional fact-checkers do for the majority of claims. We then define two requirements that the evidence in datasets must fulfill for realistic fact-checking: It must be (1) sufficient to refute the claim and (2) not leaked from existing fact-checking articles. We survey existing fact-checking datasets and find that all of them fail to satisfy both criteria. Finally, we perform experiments to demonstrate that models trained on a large-scale fact-checking dataset rely on leaked evidence, which makes them unsuitable in real-world scenarios. Taken together, we show that current NLP fact-checking cannot realistically combat real-world misinformation because it depends on unrealistic assumptions about counter-evidence in the data.


title: Design, integration, and test of the scientific payloads on-board the HERMES constellation and the SpIRIT mission

abstract: HERMES (High Energy Rapid Modular Ensemble of Satellites) is a space-borne mission based on a constellation of nano-satellites flying in a low-Earth orbit (LEO). The six 3U CubeSat buses host new miniaturized instruments hosting a hybrid Silicon Drift Detector/GAGG:Ce scintillator photodetector system sensitive to X-rays and gamma-rays. HERMES will probe the temporal emission of bright high-energy transients such as Gamma-Ray Bursts (GRBs), ensuring a fast transient localization (with arcmin-level accuracy) in a field of view of several steradians exploiting the triangulation technique. With a foreseen launch date in late 2023, HERMES transient monitoring represents a keystone capability to complement the next generation of gravitational wave experiments. Moreover, the HERMES constellation will operate in conjunction with the Space Industry Responsive Intelligent Thermal (SpIRIT) 6U CubeSat, to be launched in early 2023. SpIRIT is an Australian-Italian mission for high-energy astrophysics that will carry in a Sun-synchronous orbit (SSO) an actively cooled HERMES detector system payload. On behalf of the HERMES collaboration, in this paper we will illustrate the HERMES and SpIRIT payload design, integration and tests, highlighting the technical solutions adopted to allow a wide-energy-band and sensitive X-ray and gamma-ray detector to be accommodated in a 1U Cubesat volume.


title: A Dynamical System View of Langevin-Based Non-Convex Sampling

abstract: Non-convex sampling is a key challenge in machine learning, central to non-convex optimization in deep learning as well as to approximate probabilistic inference. Despite its significance, theoretically there remain many important challenges: Existing guarantees (1) typically only hold for the averaged iterates rather than the more desirable last iterates, (2) lack convergence metrics that capture the scales of the variables such as Wasserstein distances, and (3) mainly apply to elementary schemes such as stochastic gradient Langevin dynamics. In this paper, we develop a new framework that lifts the above issues by harnessing several tools from the theory of dynamical systems. Our key result is that, for a large class of state-of-the-art sampling schemes, their last-iterate convergence in Wasserstein distances can be reduced to the study of their continuous-time counterparts, which is much better understood. Coupled with standard assumptions of MCMC sampling, our theory immediately yields the last-iterate Wasserstein convergence of many advanced sampling schemes such as proximal, randomized mid-point, and Runge-Kutta integrators. Beyond existing methods, our framework also motivates more efficient schemes that enjoy the same rigorous guarantees.