title: Computable bounds for the reach and $r$-convexity of subsets of $\mathbb{R}^d$

abstract: The convexity of a set can be generalized to the two weaker notions of reach and $r$-convexity; both describe the regularity of a set's boundary. For any compact subset of $\mathbb{R}^d$, we provide methods for computing upper bounds on these quantities from point cloud data. The bounds converge to the respective quantities as the point cloud becomes dense in the set, and the rate of convergence for the bound on the reach is given under a weak regularity condition. We also introduce the $\beta$-reach, a generalization of the reach that excludes small-scale features of size less than a parameter $\beta\in[0,\infty)$. Numerical studies suggest how the $\beta$-reach can be used in high-dimension to infer the reach and other geometric properties of smooth submanifolds.


title: Reinforcement-learning-based control of convectively-unstable flows

abstract: This work reports the application of a model-free deep-reinforcement-learning-based (DRL) flow control strategy to suppress perturbations evolving in the 1-D linearised Kuramoto-Sivashinsky (KS) equation and 2-D boundary layer flows. The former is commonly used to model the disturbance developing in flat-plate boundary layer flows. These flow systems are convectively unstable, being able to amplify the upstream disturbance, and are thus difficult to control. The control action is implemented through a volumetric force at a fixed position and the control performance is evaluated by the reduction of perturbation amplitude downstream. We first demonstrate the effectiveness of the DRL-based control in the KS system subjected to a random upstream noise. The amplitude of perturbation monitored downstream is significantly reduced and the learnt policy is shown to be robust to both measurement and external noise. One of our focuses is to optimally place sensors in the DRL control using the gradient-free particle swarm optimisation algorithm. After the optimisation process for different numbers of sensors, a specific eight-sensor placement is found to yield the best control performance. The optimised sensor placement in the KS equation is applied directly to control 2-D Blasius boundary layer flows and can efficiently reduce the downstream perturbation energy. Via flow analyses, the control mechanism found by DRL is the opposition control. Besides, it is found that when the flow instability information is embedded in the reward function of DRL to penalise the instability, the control performance can be further improved in this convectively-unstable flow.


title: Improving Training and Inference of Face Recognition Models via Random Temperature Scaling

abstract: Data uncertainty is commonly observed in the images for face recognition (FR). However, deep learning algorithms often make predictions with high confidence even for uncertain or irrelevant inputs. Intuitively, FR algorithms can benefit from both the estimation of uncertainty and the detection of out-of-distribution (OOD) samples. Taking a probabilistic view of the current classification model, the temperature scalar is exactly the scale of uncertainty noise implicitly added in the softmax function. Meanwhile, the uncertainty of images in a dataset should follow a prior distribution. Based on the observation, a unified framework for uncertainty modeling and FR, Random Temperature Scaling (RTS), is proposed to learn a reliable FR algorithm. The benefits of RTS are two-fold. (1) In the training phase, it can adjust the learning strength of clean and noisy samples for stability and accuracy. (2) In the test phase, it can provide a score of confidence to detect uncertain, low-quality and even OOD samples, without training on extra labels. Extensive experiments on FR benchmarks demonstrate that the magnitude of variance in RTS, which serves as an OOD detection metric, is closely related to the uncertainty of the input image. RTS can achieve top performance on both the FR and OOD detection tasks. Moreover, the model trained with RTS can perform robustly on datasets with noise. The proposed module is light-weight and only adds negligible computation cost to the model.


title: Accelerating Inverse Learning via Intelligent Localization with Exploratory Sampling

abstract: In the scope of "AI for Science", solving inverse problems is a longstanding challenge in materials and drug discovery, where the goal is to determine the hidden structures given a set of desirable properties. Deep generative models are recently proposed to solve inverse problems, but these currently use expensive forward operators and struggle in precisely localizing the exact solutions and fully exploring the parameter spaces without missing solutions. In this work, we propose a novel approach (called iPage) to accelerate the inverse learning process by leveraging probabilistic inference from deep invertible models and deterministic optimization via fast gradient descent. Given a target property, the learned invertible model provides a posterior over the parameter space; we identify these posterior samples as an intelligent prior initialization which enables us to narrow down the search space. We then perform gradient descent to calibrate the inverse solutions within a local region. Meanwhile, a space-filling sampling is imposed on the latent space to better explore and capture all possible solutions. We evaluate our approach on three benchmark tasks and two created datasets with real-world applications from quantum chemistry and additive manufacturing, and find our method achieves superior performance compared to several state-of-the-art baseline methods. The iPage code is available at https://github.com/jxzhangjhu/MatDesINNe.


title: The minimum spectral radius of graphs with a given domination number

abstract: Let $\mathbb{G}_{n,\gamma}$ be the set of simple and connected graphs on $n$ vertices and with domination number $\gamma$. The graph with minimum spectral radius among $\mathbb{G}_{n,\gamma}$ is called the minimizer graph. In this paper, we first prove that the minimizer graph of $\mathbb{G}_{n,\gamma}$ must be a tree. Moreover, for $\gamma\in\{1,2,3,\lceil\frac{n}{3}\rceil,\lfloor\frac{n}{2}\rfloor\}$, we characterize all minimizer graphs in $\mathbb{G}_{n,\gamma}$.


title: Two mysterious universal dark matter-baryon relations in galaxies and galaxy clusters

abstract: Starting from the 1970s, some relations connecting dark matter and baryons were discovered, such as the Tully-Fisher relation. However, many of the relations found in galaxies are quite different from that found in galaxy clusters. Here, we report two new mysterious universal relations connecting dark matter and baryons in both galaxies and galaxy clusters. The first relation indicates that the total dynamical mass of a galaxy or a galaxy cluster $M_{500}$ has a power-law relation with its total baryonic mass $M_b$ within the `virial region': $M_{500} \propto M_b^a$, with $a \approx 3/4$. The second relation indicates that the enclosed dynamical mass $M_d$ is almost directly proportional to the baryonic mass for galaxies and galaxy clusters within the central baryonic region: $M_d \propto M_b$. The close relations between dark matter and baryons in both galaxies and galaxy clusters suggest that some unknown interaction or interplay except gravity might exist between dark matter and baryons.


title: The solar system test for the general modified gravity theories

abstract: In the past few decades, various versions of modified gravity theories were proposed to mimic the effect of dark matter. Compared with the conventional Newtonian or relativistic dynamics, these theories contain some extra apparent force terms in the dynamical equations to replace the role of dark matter. Generally speaking, the extra apparent force terms usually scale with radius so that the effect would be significant only on large scale to explain the missing mass in galaxies or galaxy clusters. Nevertheless, the apparent effect may still be observable in small structures like the solar system. In this article, we derive analytic general formulae to represent the contribution of the precession angle of the planets in the solar system due to the general modified gravity theories, in which the extra apparent force terms can be written in a power law of radius $r$ or an exponential function in $r$. We have tested three popular modified gravity theories, the Modified Newtonian Dynamics (MOND), the Emergent Gravity (EG), and the Modified Gravity (MOG). In particular, based on the solar system data, we have constrained the parameters involved for two popular general interpolating functions used in MOND. Our results can be generally applied to both of the modified inertia and modified gravity versions of MOND.


title: Programming Is Hard -- Or at Least It Used to Be: Educational Opportunities And Challenges of AI Code Generation

abstract: The introductory programming sequence has been the focus of much research in computing education. The recent advent of several viable and freely-available AI-driven code generation tools present several immediate opportunities and challenges in this domain. In this position paper we argue that the community needs to act quickly in deciding what possible opportunities can and should be leveraged and how, while also working on how to overcome or otherwise mitigate the possible challenges. Assuming that the effectiveness and proliferation of these tools will continue to progress rapidly, without quick, deliberate, and concerted efforts, educators will lose advantage in helping shape what opportunities come to be, and what challenges will endure. With this paper we aim to seed this discussion within the computing education community.


title: Groupoid Toric Codes

abstract: The toric code can be constructed as a gauge theory of finite groups on oriented two dimensional lattices. Here we construct analogous models with the gauge fields belonging to groupoids, which are categories where every morphism has an inverse. We show that a consistent system can be constructed for an arbitrary groupoid and analyze the simplest example that can be seen as the analog of the Abelian $\mathbb{Z}_2$ toric code. We find several exactly solvable models that have fracton-like features which include an extensive ground state degeneracy and excitations that are either immobile or have restricted mobility. Among the possibilities we study in detail the one where the ground state degeneracy scales as $2\times 2^{N_v}$, where $N_v$ is the number of vertices in the lattice. The origin of this degeneracy can be traced to loop operators supported on both contractible and non-contractible loops. In particular, different non-contractible loops, along the same direction on a torus, result in different ground states. This is an exponential increase in the number of logical qubits that can be encoded in this code. Moreover the face excitations in this system are deconfined, free to move without an energy cost along certain directions of the lattice, whereas in certain other directions their movement incurs an energy cost. This places a restriction on the types of loop operators that contribute to the ground state degeneracy. The vertex excitations are immobile. The results are also extended to the groupoid analogs of Abelian $\mathbb{Z}_N$ toric codes.

categories: quant-ph cond-mat.str-el hep-th math-ph math.MP


title: STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning

abstract: Deep Reinforcement Learning (DRL) has the potential to be used for synthesizing feedback controllers (agents) for various complex systems with unknown dynamics. These systems are expected to satisfy diverse safety and liveness properties best captured using temporal logic. In RL, the reward function plays a crucial role in specifying the desired behaviour of these agents. However, the problem of designing the reward function for an RL agent to satisfy complex temporal logic specifications has received limited attention in the literature. To address this, we provide a systematic way of generating rewards in real-time by using the quantitative semantics of Signal Temporal Logic (STL), a widely used temporal logic to specify the behaviour of cyber-physical systems. We propose a new quantitative semantics for STL having several desirable properties, making it suitable for reward generation. We evaluate our STL-based reinforcement learning mechanism on several complex continuous control benchmarks and compare our STL semantics with those available in the literature in terms of their efficacy in synthesizing the controller agent. Experimental results establish our new semantics to be the most suitable for synthesizing feedback controllers for complex continuous dynamical systems through reinforcement learning.


title: Formation of pebbles in (gravito-)viscous protoplanetary disks with various turbulent strengths

abstract: Aims. Dust plays a crucial role in the evolution of protoplanetary disks. We study the dynamics and growth of initially sub-$\mu m$ dust particles in self-gravitating young protoplanetary disks with various strengths of turbulent viscosity. We aim to understand the physical conditions that determine the formation and spatial distribution of pebbles when both disk self-gravity and turbulent viscosity can be concurrently at work. Methods. We perform the thin-disk hydrodynamics simulations of self-gravitating protoplanetary disks over an initial time period of 0.5 Myr using the FEOSAD code. Turbulent viscosity is parameterized in terms of the spatially and temporally constant $\alpha$-parameter, while the effects of gravitational instability on dust growth is accounted for by calculating the effective parameter $\alpha_{\rm GI}$. We consider the evolution of dust component including momentum exchange with gas, dust self-gravity, and also a simplified model of dust growth. Results. We find that the level of turbulent viscosity strongly affects the spatial distribution and total mass of pebbles in the disk. The $\alpha=10^{-2}$ model is viscosity-dominated, pebbles are completely absent, and dust-to-gas mass ratio deviates from the reference 1:100 value no more than by 30\% throughout the disk extent. On the contrary, the $\alpha=10^{-3}$ model and, especially, the $\alpha=10^{-4}$ model are dominated by gravitational instability. The effective parameter $\alpha+\alpha_{\rm GI}$ is now a strongly varying function of radial distance. As a consequence, a bottle neck effect develops in the innermost disk regions, which makes gas and dust accumulate in a ring-like structure. Abridged.


title: Languages of general interval exchange transformations

abstract: The languages generated by interval exchange transformations have been characterized by Ferenczi-Zamboni (2008) and Belov-Cernyatev (2010) under some extra conditions on the system. Lifting these conditions leads us to consider successively natural codings of standard interval exchange transformations, natural codings of affine interval exchange transformations, grouped codings of affine interval exchange transformations, and natural codings of generalized interval exchange transformations. We show that these four classes of languages are strictly increasing, and give necessary and/or sufficient (but not all equally explicit) combinatorial criteria to describe each of them. These work also, mutatis mutandis, for interval exchanges with flips


title: Bin Packing with Partition Matroid can be Approximated within $o(OPT)$ Bins

abstract: We consider the Bin Packing problem with a partition matroid constraint. The input is a set of items of sizes in $(0,1]$, and a partition matroid over the items. The goal is to pack all items in a minimum number of unit-size bins, such that each bin forms an independent set in the matroid. The problem is a generalization of both Group Bin Packing and Bin Packing with Cardinality Constraints. Bin Packing with Partition Matroid naturally arises in resource allocation to ensure fault tolerance and security, as well as in harvesting computing capacity. Our main result is a polynomial-time algorithm that packs the items in $OPT + o(OPT)$ bins, where OPT is the minimum number of bins required for packing the given instance. This matches the best known result for the classic Bin Packing problem up to the function hidden by o(OPT). As special cases, our result improves upon the existing APTAS for Group Bin Packing and generalizes the AFTPAS for Bin Packing with Cardinality Constraints. Our approach is based on rounding a solution for a configuration-LP formulation of the problem. The rounding takes a novel point of view of prototypes in which items are interpreted as placeholders for other items and applies fractional grouping to modify a fractional solution (prototype) into one having nice integrality properties.


title: Spectral Feature Augmentation for Graph Contrastive Learning and Beyond

abstract: Although augmentations (e.g., perturbation of graph edges, image crops) boost the efficiency of Contrastive Learning (CL), feature level augmentation is another plausible, complementary yet not well researched strategy. Thus, we present a novel spectral feature argumentation for contrastive learning on graphs (and images). To this end, for each data view, we estimate a low-rank approximation per feature map and subtract that approximation from the map to obtain its complement. This is achieved by the proposed herein incomplete power iteration, a non-standard power iteration regime which enjoys two valuable byproducts (under mere one or two iterations): (i) it partially balances spectrum of the feature map, and (ii) it injects the noise into rebalanced singular values of the feature map (spectral augmentation). For two views, we align these rebalanced feature maps as such an improved alignment step can focus more on less dominant singular values of matrices of both views, whereas the spectral augmentation does not affect the spectral angle alignment (singular vectors are not perturbed). We derive the analytical form for: (i) the incomplete power iteration to capture its spectrum-balancing effect, and (ii) the variance of singular values augmented implicitly by the noise. We also show that the spectral augmentation improves the generalization bound. Experiments on graph/image datasets show that our spectral feature augmentation outperforms baselines, and is complementary with other augmentation strategies and compatible with various contrastive losses.


title: Progress and Challenges for the Application of Machine Learning for Neglected Tropical Diseases

abstract: Neglected tropical diseases (NTDs) continue to affect the livelihood of individuals in countries in the Southeast Asia and Western Pacific region. These diseases have been long existing and have caused devastating health problems and economic decline to people in low- and middle-income (developing) countries. An estimated 1.7 billion of the world's population suffer one or more NTDs annually, this puts approximately one in five individuals at risk for NTDs. In addition to health and social impact, NTDs inflict significant financial burden to patients, close relatives, and are responsible for billions of dollars lost in revenue from reduced labor productivity in developing countries alone. There is an urgent need to better improve the control and eradication or elimination efforts towards NTDs. This can be achieved by utilizing machine learning tools to better the surveillance, prediction and detection program, and combat NTDs through the discovery of new therapeutics against these pathogens. This review surveys the current application of machine learning tools for NTDs and the challenges to elevate the state-of-the-art of NTDs surveillance, management, and treatment.


title: On the local everywhere H\"older continuity of the minima of a class of vectorial integral functionals of the calculus of variations

abstract: In this paper we study the everywhere H\"oder continuity of the minima of a class of vectorial integral funcionals


title: Equivalence between the energy decay of fractional damped Klein-Gordon equations and geometric conditions for damping coefficients

abstract: We consider damped $s$-fractional Klein--Gordon equations on $\mathbb{R}^d$, where $s$ denotes the order of the fractional Laplacian. In the one-dimensional case $d = 1$, Green (2020) established that the exponential decay for $s \geq 2$ and the polynomial decay of order $s/(4-2s)$ hold if and only if the damping coefficient function satisfies the so-called geometric control condition. In this note, we show that the $o(1)$ energy decay is also equivalent to these conditions in the case $d=1$. Furthermore, we extend this result to the higher-dimensional case: the logarithmic decay, the $o(1)$ decay, and the thickness of the damping coefficient are equivalent for $s \geq 2$. In addition, we also prove that the exponential decay holds for $0 < s < 2$ if and only if the damping coefficient function has a positive lower bound, so in particular, we cannot expect the exponential decay under the geometric control condition.


title: Interaction in Remote Peddling Using Avatar Robot by People with Disabilities

abstract: Telework "avatar work," in which people with disabilities can engage in physical work such as customer service, is being implemented in society. In order to enable avatar work in a variety of occupations, we propose a mobile sales system using a mobile frozen drink machine and an avatar robot "OriHime", focusing on mobile customer service like peddling. The effect of the peddling by the system on the customers are examined based on the results of video annotation.


title: Fair Graphical Resource Allocation with Matching-Induced Utilities

abstract: Motivated by real-world applications, we study the fair allocation of graphical resources, where the resources are the vertices in a graph. Upon receiving a set of resources, an agent's utility equals the weight of a maximum matching in the induced subgraph. We care about maximin share (MMS) fairness and envy-freeness up to one item (EF1). Regarding MMS fairness, the problem does not admit a finite approximation ratio for heterogeneous agents. For homogeneous agents, we design constant-approximation polynomial-time algorithms, and also note that significant amount of social welfare is sacrificed inevitably in order to ensure (approximate) MMS fairness. We then consider EF1 allocations whose existence is guaranteed. However, the social welfare guarantee of EF1 allocations cannot be better than $1/n$ for the general case, where $n$ is the number of agents.Fortunately, for three special cases, binary-weight, two-agents and homogeneous-agents, we are able to design polynomial-time algorithms that also ensure a constant fractions of the maximum social welfare.


title: Systematic Analysis for Pretrained Language Model Priming for Parameter-Efficient Fine-tuning

abstract: Parameter-efficient (PE) methods (like Prompts or Adapters) for adapting pre-trained language models (PLM) to downstream tasks have been popular recently. However, hindrances still prevent these methods from reaching their full potential. For example, two significant challenges are few-shot adaptation and cross-task generalization. To tackle these issues, we propose a general PE priming framework to enhance and explore the few-shot adaptation and generalization ability of PE methods. In this framework, PLMs are primed with PE methods for rapidly adapting to various target tasks. To evaluate the generalization ability of these PE methods, we conduct experiments on a few-shot cross-domain benchmark containing 160 diverse NLP tasks. Our experiment not only reveals the best priming strategy but also verifies that priming facilitates the adaptation to target tasks.


title: Sonus Texere! Automated Dense Soundtrack Construction for Books using Movie Adaptations

abstract: Reading, much like music listening, is an immersive experience that transports readers while taking them on an emotional journey. Listening to complementary music has the potential to amplify the reading experience, especially when the music is stylistically cohesive and emotionally relevant. In this paper, we propose the first fully automatic method to build a dense soundtrack for books, which can play high-quality instrumental music for the entirety of the reading duration. Our work employs a unique text processing and music weaving pipeline that determines the context and emotional composition of scenes in a chapter. This allows our method to identify and play relevant excerpts from the soundtrack of the book's movie adaptation. By relying on the movie composer's craftsmanship, our book soundtracks include expert-made motifs and other scene-specific musical characteristics. We validate the design decisions of our approach through a perceptual study. Our readers note that the book soundtrack greatly enhanced their reading experience, due to high immersiveness granted via uninterrupted and style-consistent music, and a heightened emotional state attained via high precision emotion and scene context recognition.


title: Accessing GPDs through the exclusive photoproduction of a photon-meson pair with a large invariant mass

abstract: We study the exclusive photoproduction of a photon-meson pair with a large invariant mass, working in the QCD factorisation framework. Explicitly, we consider a $ \rho $-meson or a charged $ \pi $ in the final state. This process gives access to chiral-even GPDs as well as chiral-odd GPDs. We focus here on the chiral-even sector. The computation is performed at leading order and leading twist. We discuss the prospects of measuring them in various experiments such as JLab 12-GeV, COMPASS, future EIC and LHC (in ultraperipheral collisions). In particular, the high centre of mass energies available at collider experiments can be used to probe GPDs at small skewness $ \xi $. We also compute the polarisation asymmetries with respect to the incoming photon. The results for an alternative distribution amplitude (`holographic' form) are also compared with the predictions obtained with an asymptotic distribution amplitude.


title: On the strong local potential limit

abstract: Finite, bound, many-body systems, where the interaction operator, $V=\sum v_{ij}$, is local and happens to strongly dominate the kinetic energy operator, $T=\sum t_i$, display a classical limit from diagonalizing $V$ alone, hence a clear picture of interparticle correlations, such as steric blocking emerges. This limit exhibits intrinsic symmetries and also fluctuations from mass formulae. The present work investigates how such emergent symmetries and fluctuations might be extrapolated to physical situations where $T$ is reinstated.


title: Wide-spectrum optical synthetic aperture imaging via spatial intensity interferometry

abstract: High resolution imaging is achieved using increasingly larger apertures and successively shorter wavelengths. Optical aperture synthesis is an important high-resolution imaging technology used in astronomy. Conventional long baseline amplitude interferometry is susceptible to uncontrollable phase fluctuations, and the technical difficulty increases rapidly as the wavelength decreases. The intensity interferometry inspired by HBT experiment is essentially insensitive to phase fluctuations, but suffers from a narrow spectral bandwidth which results in a lack of detection sensitivity. In this study, we propose optical synthetic aperture imaging based on spatial intensity interferometry. This not only realizes diffraction-limited optical aperture synthesis in a single shot, but also enables imaging with a wide spectral bandwidth. And this method is insensitive to the optical path difference between the sub-apertures. Simulations and experiments present optical aperture synthesis diffraction-limited imaging through spatial intensity interferometry in a 100 $nm$ spectral width of visible light, whose maximum optical path difference between the sub-apertures reach $69.36\lambda$. This technique is expected to provide a solution for optical aperture synthesis over kilometer-long baselines at optical wavelengths.


title: Optical tweezers throw and catch single atoms

abstract: Single atoms movable from one place to another would enable a flying quantum memory that can be used for quantum communication and quantum computing at the same time. Guided atoms, e.g., by optical tweezers, provide a partial solution, but the benefit of flying qubits could be lost if they still interact with the guiding means. Here we propose and experimentally demonstrate freely-flying atoms that are not guided but are instead thrown and caught by optical tweezers. In experiments, cold atoms at 40 micro Kelvin temperature are thrown up to a free-flying speed of 0.65 m/s over a travel distance of 12.6 micrometer at a transportation efficiency of 94(3)%, even in the presence of other optical tweezers or atoms en route. This performance is not fundamentally limited but by current settings of optical tweezers with limited potential depth and width. We provide a set of proof-of-principle flying atom demonstrations, which include atom transport through optical tweezers, atom arrangements by flying atoms, and atom scattering off optical tweezers. Our study suggests possible applications of flying atoms, not only in fundamental studies such as single-atom low-energy collisions, but also non-photon quantum communication and flying-qubit-based quantum computing.


title: lepton number survival in the cosmic neutrino background

abstract: The Hot Big Bang model predicts the existence of a \emph{cosmic neutrino background}. The number of particles and anti-particles in this primordial bath of neutrinos can be different -- a memory of processes that took place at very early epochs. If neutrinos were massless, this asymmetry would not change once neutrinos froze out. However, in the case of massive particles, the asymmetry is not protected by conservation laws and can get erased via helicity-flipping scatterings off matter inhomogeneities. We evaluate this helicity-flipping rate and demonstrate that if relic lepton asymmetry ever existed, it would remain largely intact in the Earth's neighborhood for realistic values of neutrino masses.


title: SoftCorrect: Error Correction with Soft Detection for Automatic Speech Recognition

abstract: Error correction in automatic speech recognition (ASR) aims to correct those incorrect words in sentences generated by ASR models. Since recent ASR models usually have low word error rate (WER), to avoid affecting originally correct tokens, error correction models should only modify incorrect words, and therefore detecting incorrect words is important for error correction. Previous works on error correction either implicitly detect error words through target-source attention or CTC (connectionist temporal classification) loss, or explicitly locate specific deletion/substitution/insertion errors. However, implicit error detection does not provide clear signal about which tokens are incorrect and explicit error detection suffers from low detection accuracy. In this paper, we propose SoftCorrect with a soft error detection mechanism to avoid the limitations of both explicit and implicit error detection. Specifically, we first detect whether a token is correct or not through a probability produced by a dedicatedly designed language model, and then design a constrained CTC loss that only duplicates the detected incorrect tokens to let the decoder focus on the correction of error tokens. Compared with implicit error detection with CTC loss, SoftCorrect provides explicit signal about which words are incorrect and thus does not need to duplicate every token but only incorrect tokens; compared with explicit error detection, SoftCorrect does not detect specific deletion/substitution/insertion errors but just leaves it to CTC loss. Experiments on AISHELL-1 and Aidatatang datasets show that SoftCorrect achieves 26.1% and 9.4% CER reduction respectively, outperforming previous works by a large margin, while still enjoying fast speed of parallel generation.


title: Role of Audio in Audio-Visual Video Summarization

abstract: Video summarization attracts attention for efficient video representation, retrieval, and browsing to ease volume and traffic surge problems. Although video summarization mostly uses the visual channel for compaction, the benefits of audio-visual modeling appeared in recent literature. The information coming from the audio channel can be a result of audio-visual correlation in the video content. In this study, we propose a new audio-visual video summarization framework integrating four ways of audio-visual information fusion with GRU-based and attention-based networks. Furthermore, we investigate a new explainability methodology using audio-visual canonical correlation analysis (CCA) to better understand and explain the role of audio in the video summarization task. Experimental evaluations on the TVSum dataset attain F1 score and Kendall-tau score improvements for the audio-visual video summarization. Furthermore, splitting video content on TVSum and COGNIMUSE datasets based on audio-visual CCA as positively and negatively correlated videos yields a strong performance improvement over the positively correlated videos for audio-only and audio-visual video summarization.


title: Quantum median filter for Total Variation image denoising

abstract: In this new computing paradigm, named quantum computing, researchers from all over the world are taking their first steps in designing quantum circuits for image processing, through a difficult process of knowledge transfer. This effort is named Quantum Image Processing, an emerging research field pushed by powerful parallel computing capabilities of quantum computers. This work goes in this direction and proposes the challenging development of a powerful method of image denoising, such as the Total Variation (TV) model, in a quantum environment. The proposed Quantum TV is described and its sub-components are analysed. Despite the natural limitations of the current capabilities of quantum devices, the experimental results show a competitive denoising performance compared to the classical variational TV counterpart.


title: AccEar: Accelerometer Acoustic Eavesdropping with Unconstrained Vocabulary

abstract: With the increasing popularity of voice-based applications, acoustic eavesdropping has become a serious threat to users' privacy. While on smartphones the access to microphones needs an explicit user permission, acoustic eavesdropping attacks can rely on motion sensors (such as accelerometer and gyroscope), which access is unrestricted. However, previous instances of such attacks can only recognize a limited set of pre-trained words or phrases. In this paper, we present AccEar, an accelerometerbased acoustic eavesdropping attack that can reconstruct any audio played on the smartphone's loudspeaker with unconstrained vocabulary. We show that an attacker can employ a conditional Generative Adversarial Network (cGAN) to reconstruct highfidelity audio from low-frequency accelerometer signals. The presented cGAN model learns to recreate high-frequency components of the user's voice from low-frequency accelerometer signals through spectrogram enhancement. We assess the feasibility and effectiveness of AccEar attack in a thorough set of experiments using audio from 16 public personalities. As shown by the results in both objective and subjective evaluations, AccEar successfully reconstructs user speeches from accelerometer signals in different scenarios including varying sampling rate, audio volume, device model, etc.


title: Coupled K\"ahler-Einstein and Hermitian-Yang-Mills equations

abstract: We introduce a new system of equations coupling K\"ahler-Einstein and Hermitian-Yang-Mills equations. We provide a moment map interpretation of these equations. We identify a Futaki type invariant as an obstruction to the existence of solutions to these equations. We also prove a Matsushima-Lichnerowicz type theorem. We prove a deformation result that produces nontrivial solutions of these equations under some conditions. We produce examples on some projective bundles using Calabi ansatz.


title: Tail-dependence, exceedance sets, and metric embeddings

abstract: There are many ways of measuring and modeling tail-dependence in random vectors: from the general framework of multivariate regular variation and the flexible class of max-stable vectors down to simple and concise summary measures like the matrix of bivariate tail-dependence coefficients. This paper starts by providing a review of existing results from a unifying perspective, which highlights connections between extreme value theory and the theory of cuts and metrics. Our approach leads to some new findings in both areas with some applications to current topics in risk management. We begin by using the framework of multivariate regular variation to show that extremal coefficients, or equivalently, the higher-order tail-dependence coefficients of a random vector can simply be understood in terms of random exceedance sets, which allows us to extend the notion of Bernoulli compatibility. In the special but important case of bi-variate tail-dependence, we establish a correspondence between tail-dependence matrices and $L^1$- and $\ell_1$-embeddable finite metric spaces via the spectral distance, which is a metric on the space of jointly $1$-Fr\'{e}chet random variables. Namely, the coefficients of the cut-decomposition of the spectral distance and of the Tawn-Molchanov max-stable model realizing the corresponding bi-variate extremal dependence coincide. We show that line metrics are rigid and if the spectral distance corresponds to a line metric, the higher order tail-dependence is determined by the bi-variate tail-dependence matrix. Finally, the correspondence between $\ell_1$-embeddable metric spaces and tail-dependence matrices allows us to revisit the realizability problem, i.e. checking whether a given matrix is a valid tail-dependence matrix. We confirm a conjecture of Shyamalkumar & Tao (2020) that this problem is NP-complete.


title: Symmetric deformed 2D/3D Hurwitz-Kontsevich model and affine Yangian of gl(1)

abstract: Since the ($\beta$-deformed) Hurwitz Kontsevich model corresponds to the special case of affine Yangian of ${\mathfrak{gl}}(1)$. In this paper, we construct two general cases of the $\beta$-deformed Hurwitz Kontsevich model. We find that the $W$-operators of these two models can be represented by the generators $e_k,\ f_k,\psi_k$ of the affine Yangian of ${\mathfrak{gl}}(1)$, and the eigenstates (the symmetric functions $Y_\lambda$ and 3-Jack polynomials) can be obtained from the 3D Young diagram representation of affine Yangian of ${\mathfrak{gl}}(1)$. Then we can see that the $W$-operators and eigenstates are symmetric about the permutations of coordinate axes.


title: Improved Representation Learning Through Tensorized Autoencoders

abstract: The central question in representation learning is what constitutes a good or meaningful representation. In this work we argue that if we consider data with inherent cluster structures, where clusters can be characterized through different means and covariances, those data structures should be represented in the embedding as well. While Autoencoders (AE) are widely used in practice for unsupervised representation learning, they do not fulfil the above condition on the embedding as they obtain a single representation of the data. To overcome this we propose a meta-algorithm that can be used to extend an arbitrary AE architecture to a tensorized version (TAE) that allows for learning cluster-specific embeddings while simultaneously learning the cluster assignment. For the linear setting we prove that TAE can recover the principle components of the different clusters in contrast to principle component of the entire data recovered by a standard AE. We validated this on planted models and for general, non-linear and convolutional AEs we empirically illustrate that tensorizing the AE is beneficial in clustering and de-noising tasks.


title: Surface Ferron Excitations in Ferroelectrics and Their Directional Routing

abstract: The duality between the electric and magnetic dipoles inspires recent comparisons between ferronics and magnonics. Here we predict surface polarization waves or ``ferrons" in ferroelectric insulators, taking the long-range dipolar interaction into account. We predict properties that are strikingly different from the magnetic counterpart, \textit{i.e.} the surface ``Damon-Eshbach" magnons in ferromagnets. The dipolar interaction pushes the ferron branch with locked circular polarization and momentum to the ionic plasma frequency. The low-frequency modes are on the other hand in-plane polarized normal to their wave vectors. The strong anisotropy of the lower branch renders directional emissions of electric polarization and chiral near fields when activated by a focused laser beam, allowing optical routing in ferroelectric devices.


title: Empirical Asset Pricing via Ensemble Gaussian Process Regression

abstract: We introduce an ensemble learning method based on Gaussian Process Regression (GPR) for predicting conditional expected stock returns given stock-level and macro-economic information. Our ensemble learning approach significantly reduces the computational complexity inherent in GPR inference and lends itself to general online learning tasks. We conduct an empirical analysis on a large cross-section of US stocks from 1962 to 2016. We find that our method dominates existing machine learning models statistically and economically in terms of out-of-sample $R$-squared and Sharpe ratio of prediction-sorted portfolios. Exploiting the Bayesian nature of GPR, we introduce the mean-variance optimal portfolio with respect to the predictive uncertainty distribution of the expected stock returns. It appeals to an uncertainty averse investor and significantly dominates the equal- and value-weighted prediction-sorted portfolios, which outperform the S&P 500.


title: On the Energy and Communication Efficiency Tradeoffs in Federated and Multi-Task Learning

abstract: Recent advances in Federated Learning (FL) have paved the way towards the design of novel strategies for solving multiple learning tasks simultaneously, by leveraging cooperation among networked devices. Multi-Task Learning (MTL) exploits relevant commonalities across tasks to improve efficiency compared with traditional transfer learning approaches. By learning multiple tasks jointly, significant reduction in terms of energy footprints can be obtained. This article provides a first look into the energy costs of MTL processes driven by the Model-Agnostic Meta-Learning (MAML) paradigm and implemented in distributed wireless networks. The paper targets a clustered multi-task network setup where autonomous agents learn different but related tasks. The MTL process is carried out in two stages: the optimization of a meta-model that can be quickly adapted to learn new tasks, and a task-specific model adaptation stage where the learned meta-model is transferred to agents and tailored for a specific task. This work analyzes the main factors that influence the MTL energy balance by considering a multi-task Reinforcement Learning (RL) setup in a robotized environment. Results show that the MAML method can reduce the energy bill by at least 2 times compared with traditional approaches without inductive transfer. Moreover, it is shown that the optimal energy balance in wireless networks depends on uplink/downlink and sidelink communication efficiencies.


title: Injection-induced aseismic slip in tight fractured rocks

abstract: We investigate the problem of fluid injection at constant pressure in a 2D Discrete Fracture Network (DFN) with randomly oriented and uniformly distributed frictionally-stable fractures. We show that this problem shares similarities with the simpler scenario of injection in a single planar shear fracture, investigated by Bhattacharya and Viesca (2019); Viesca (2021) and whose results are here extended to include closed form solutions for aseismic moment as function of injected volume Vinj. Notably, we demonstrate that the hydro-mechanical response of the fractured rock mass is at first order governed by a single dimensionless parameter T associated with favourably oriented fractures: low values of T (critically stressed conditions) lead to fast migration of aseismic slip from injection point due to elastic stress transfer on critically stressed fractures. In this case, therefore, there is no effect of the DFN percolation number on the spatio-temporal evolution of aseismic slip. On the other hand, in marginally pressurized conditions (T > 1), the slipping patch lags behind the pressurized region and hence the percolation number affects to a first order the response of the medium. Furthermore, we show that the aseismic moment scales Vinj^2 in both limiting conditions, similarly to the case of a single planar fracture subjected to the same injection condition. The factor of proportionality, however, depends on the DFN characteristics in marginally pressurized conditions, while it appears to be only mildly dependent on the DFN properties in critically stressed conditions.


title: VeriX: Towards Verified Explainability of Deep Neural Networks

abstract: We present VeriX (Verified eXplainability), a system for producing optimal robust explanations and generating counterfactuals along decision boundaries of machine learning models. We build such explanations and counterfactuals iteratively using constraint solving techniques and a heuristic based on feature-level sensitivity ranking. We evaluate our method on image recognition benchmarks and a real-world scenario of autonomous aircraft taxiing.


title: Covertly Controlling a Linear System

abstract: Consider the problem of covertly controlling a linear system. In this problem, Alice desires to control (stabilize or change the behavior of) a linear system, while keeping an observer, Willie, unable to decide if the system is indeed being controlled or not. We formally define the problem, under a model where Willie can only observe the system's output. Focusing on AR(1) systems, we show that when Willie observes the system's output through a clean channel, an inherently unstable linear system can not be covertly stabilized. However, an inherently stable linear system can be covertly controlled, in the sense of covertly changing its parameter or resetting its memory. Moreover, we give positive and negative results for two important controllers: a minimal-information controller, where Alice is allowed to use only $1$ bit per sample, and a maximal-information controller, where Alice is allowed to view the real-valued output. Unlike covert communication, where the trade-off is between rate and covertness, the results reveal an interesting \emph{three--fold} trade--off in covert control: the amount of information used by the controller, control performance and covertness.


title: Deducibility in Sudoku

abstract: In this paper we provide a formalism, Sudoku logic, in which a solution is logically deducible if for every cell of the grid we can provably exclude all but a single option. We prove that the deductive system of Sudoku logic is sound and complete, and as a consequence of that we prove that a Sudoku puzzle has a unique solution if and only if it has a deducible solution. Using the classification of fundamental Sudoku transformations by Adler and Adler we then formalize the notion of symmetry in Sudoku and provide a formal proof of Gurth's Symmetrical Placement Theorem. In the concluding section we present a Sudoku formula that captures the idea of a Sudoku grid having a unique solution. It turns out that this formula is an axiom of Sudoku logic, making it possible for us to offer to the Sudoku community a resolution of the Uniqueness Controversy: if we accept Sudoku logic as presented in this paper, there is no controversy! Uniqueness is an axiom and, as any other axiom, may freely be used in any Sudoku deduction.


title: Model and Data Agreement for Learning with Noisy Labels

abstract: Learning with noisy labels is a vital topic for practical deep learning as models should be robust to noisy open-world datasets in the wild. The state-of-the-art noisy label learning approach JoCoR fails when faced with a large ratio of noisy labels. Moreover, selecting small-loss samples can also cause error accumulation as once the noisy samples are mistakenly selected as small-loss samples, they are more likely to be selected again. In this paper, we try to deal with error accumulation in noisy label learning from both model and data perspectives. We introduce mean point ensemble to utilize a more robust loss function and more information from unselected samples to reduce error accumulation from the model perspective. Furthermore, as the flip images have the same semantic meaning as the original images, we select small-loss samples according to the loss values of flip images instead of the original ones to reduce error accumulation from the data perspective. Extensive experiments on CIFAR-10, CIFAR-100, and large-scale Clothing1M show that our method outperforms state-of-the-art noisy label learning methods with different levels of label noise. Our method can also be seamlessly combined with other noisy label learning methods to further improve their performance and generalize well to other tasks. The code is available in https://github.com/zyh-uaiaaaa/MDA-noisy-label-learning.


title: Transformer-Based Learned Optimization

abstract: We propose a new approach to learned optimization where we represent the computation of an optimizer's update step using a neural network. The parameters of the optimizer are then learned by training on a set of optimization tasks with the objective to perform minimization efficiently. Our innovation is a new neural network architecture, Optimus, for the learned optimizer inspired by the classic BFGS algorithm. As in BFGS, we estimate a preconditioning matrix as a sum of rank-one updates but use a Transformer-based neural network to predict these updates jointly with the step length and direction. In contrast to several recent learned optimization-based approaches, our formulation allows for conditioning across the dimensions of the parameter space of the target problem while remaining applicable to optimization tasks of variable dimensionality without retraining. We demonstrate the advantages of our approach on a benchmark composed of objective functions traditionally used for the evaluation of optimization algorithms, as well as on the real world-task of physics-based visual reconstruction of articulated 3d human motion.


title: Optimal investment and reinsurance policies for the Cram{\'e}r-Lundberg risk model under monotone mean-variance preference

abstract: In this paper, an optimization problem for the monotone mean-variance(MMV) criterion is considered in the perspective of the insurance company. The MMV criterion is an amended version of the classical mean-variance(MV) criterion which guarantees the monotonicity of the utility function. With this criterion we study the optimal investment and reinsurance problem which is formulated as a zero-sum game between the insurance company and an imaginary player. We apply the dynamic programming principle to obtain the corresponding Hamilton-Jacobi-Bellman-Isaacs(HJBI) equation. As the main conclusion of this paper, by solving the HJBI equation explicitly, the closed forms of the optimal strategy and the value function are obtained. Moreover, the MMV efficient frontier is also provided. At the end of the paper, a numerical example is presented.


title: Global Learnable Attention for Single Image Super-Resolution

abstract: Self-similarity is valuable to the exploration of non-local textures in single image super-resolution (SISR). Researchers usually assume that the importance of non-local textures is positively related to their similarity scores. In this paper, we surprisingly found that when repairing severely damaged query textures, some non-local textures with low-similarity which are closer to the target can provide more accurate and richer details than the high-similarity ones. In these cases, low-similarity does not mean inferior but is usually caused by different scales or orientations. Utilizing this finding, we proposed a Global Learnable Attention (GLA) to adaptively modify similarity scores of non-local textures during training instead of only using a fixed similarity scoring function such as the dot product. The proposed GLA can explore non-local textures with low-similarity but more accurate details to repair severely damaged textures. Furthermore, we propose to adopt Super-Bit Locality-Sensitive Hashing (SB-LSH) as a preprocessing method for our GLA. With the SB-LSH, the computational complexity of our GLA is reduced from quadratic to asymptotic linear with respect to the image size. In addition, the proposed GLA can be integrated into existing deep SISR models as an efficient general building block. Based on the GLA, we constructed a Deep Learnable Similarity Network (DLSN), which achieves state-of-the-art performance for SISR tasks of different degradation types (e.g. blur and noise). Our code and a pre-trained DLSN have been uploaded to GitHub{\dag} for validation.


title: Topological Phases in Coupled Polyyne Chains

abstract: We study the electronic properties of coupled parallel Polyyne chains in a couple of symmetric stacking arrangements, namely the AA stacking and the stacking AB, with the single and triple carbon bonds of one chain aligned (AA) and anti-aligned (AB) with those of the other chain. Both these arrangements described by tight binding Hamiltonians, whose parameters are calibrated by matching low energy dispersion provided by first principle calculations, fall in the BDI class of topological classification scheme. We calculate the topological invariants for all the three topological phases of the system: one for the AA stacking and 2 for the AB one. In the AA stacking, both the insulating and the metallic phase belongs to the same topological phase. Whereas, the model exhibits two different values of the topological invariant in the two different insulating phases (structurally differentiated by transverse strain). In this later stacking though transition between two distinct topological phases with the closure of the gap is practically unachievable due requirement of high amount of transverse strain. We also show existence of 4 non-zero energy edge modes in the AA stacking and that of 2 zero energy edge modes in one of the topological phases for the AB stacking.


title: Rigidity of elliptic genera for non-spin manifolds

abstract: We discuss the rigidity of elliptic genera for non-spin manifolds $M$ with $S^1$-action. We show that if the universal covering of $M$ is spin, then the universal elliptic genus of $M$ is rigid. Moreover, we show that there is no condition which only depends on $\pi_2(M)$ that guarantees the rigidity in the case that the universal covering of $M$ is non-spin.


title: Exploring Faithful Rationale for Multi-hop Fact Verification via Salience-Aware Graph Learning

abstract: The opaqueness of the multi-hop fact verification model imposes imperative requirements for explainability. One feasible way is to extract rationales, a subset of inputs, where the performance of prediction drops dramatically when being removed. Though being explainable, most rationale extraction methods for multi-hop fact verification explore the semantic information within each piece of evidence individually, while ignoring the topological information interaction among different pieces of evidence. Intuitively, a faithful rationale bears complementary information being able to extract other rationales through the multi-hop reasoning process. To tackle such disadvantages, we cast explainable multi-hop fact verification as subgraph extraction, which can be solved based on graph convolutional network (GCN) with salience-aware graph learning. In specific, GCN is utilized to incorporate the topological interaction information among multiple pieces of evidence for learning evidence representation. Meanwhile, to alleviate the influence of noisy evidence, the salience-aware graph perturbation is induced into the message passing of GCN. Moreover, the multi-task model with three diagnostic properties of rationale is elaborately designed to improve the quality of an explanation without any explicit annotations. Experimental results on the FEVEROUS benchmark show significant gains over previous state-of-the-art methods for both rationale extraction and fact verification.


title: Effects of background periodic flow on MHD fast wave propagation to a coronal loop

abstract: We investigate the propagation of MHD fast waves into a cylindrical coronal loop through an inhomogeneous stationary flow region. The background flow is assumed to have a small, spatially periodic structure in addition to a constant speed. We focus on the absorption of the wave energy in Alfv\'{e}n resonance, comparing with the constant flow case. A new flow (absorption) regime is induced by the periodic flow structure which enhances the absorption for the antiparallel flow and inverse absorption (overreflection) for the parallel flow with respect to the axial wave vector, depending on the transitional layer and flow profiles. A giant overreflection and anomalous absorption behavior arise for some flow configurations. In the other flow regimes, its effect on the absorption is shown to be weak.


title: Spontaneous non-Hermiticity in the (2+1)-dimensional Thirring model

abstract: Using the Cornwall-Jackiw-Tomboulis effective action $\Gamma(S)$ for composite operators ($S$ is the full fermion propagator), the phase structure of the massless (2 + 1)-dimensional Thirring model with four-component spinors is investigated in the Hartree-Fock (HF) approximation. In this case both $\Gamma(S)$ and its stationary (or HF) equation for the full fermion propagator $S$ are calculated in the first order of the bare coupling constant $G$. We have shown that there exist a well-defined dependence of $G\equiv G(\Lambda)$ on the cutoff parameter $\Lambda$ under which the HF equation is renormalized. In general, it has two sets, (i) and (ii), of solutions for fermion propagator corresponding to dynamical appearance of different mass terms in the model. In the case of set (i) the mass terms are Hermitian, but the solutions from the set (ii) correspond to a dynamical generation of the non-Hermitiam mass terms, i.e. to a spontaneous non-Hermiticity of the Thirring model. Despite this, the mass spectrum of the quasiparticle excitations of all non-Hermitian ground states is real. In addition, among these non-Hermitian phases there are both $\cP\cT$ symmetrical and non-symmetrical phases. Moreover, in contrast with previous investigations of this effect in other models, we have observed the spontaneous non-Hermiticity phenomenon also in the {\it massive} (2+1)-dimensional Thirring model.


title: A note on Hayman's problem

abstract: In this note, it is shown that the differential polynomial of the form $Q(f)^{(k)}-p$ has infinitely many zeros, and particularly $Q(f)^{(k)}$ has infinitely many fixed points for any positive integer $k$, where $f$ is a transcendental meromorphic function, $p$ is a nonzero polynomial and $Q$ is a polynomial with coefficients in the field of small functions of $f$. The results are traced back to Problem 1.19 and Problem 1.20 in the book of research problems by Hayman and Lingham. As a consequence, we give an affirmative answer to an extended problem on the zero distribution of $(f^n)'-p$, proposed by Chiang and considered by Bergweiler. Moreover, our methods provide a unified way to study the problem of the zero distributions of partial differential polynomials of meromorphic functions in one and several complex variables with small meromorphic coefficients.


title: Optimal control problems for a parabolic system modeling glioma therapy

abstract: In this paper we consider optimal control problems for a parabolic system modeling a therapy, based on oncolytic viruses, for the glioma brain cancer. Using several techniques typical of functional analysis, we prove the global in time well posedness of the control model, the existence of optimal controls for specific objective functionals, which are natural for cancer therapies, and we derive necessary conditions for optimality.


title: Initial experimental results on a superconducting-qubit reset based on photon-assisted quasiparticle tunneling

abstract: We present here our recent results on qubit reset scheme based on a quantum-circuit refrigerator (QCR). In particular, we use the photon-assisted quasiparticle tunneling through a superconductor--insulator--normal-metal--insulator--superconductor junction to controllably decrease the energy relaxation time of the qubit during the QCR operation. In our experiment, we use a transmon qubit with dispersive readout. The QCR is capacitively coupled to the qubit through its normal-metal island. We employ rapid, square-shaped QCR control voltage pulses with durations in the range of 2--350 ns and a variety of amplitudes to optimize the reset time and fidelity. Consequently, we reach a qubit ground-state probability of roughly 97% with 80-ns pulses starting from the first excited state. The qubit state probability is extracted from averaged readout signal, where the calibration is based of the Rabi oscillations, thus not distinguishing the residual thermal population of the qubit.


title: Deposition of Reduced Graphene Oxide Thin Film by Spray Pyrolysis Method for Perovskite Solar Cell

abstract: The Perovskite absorber layer, the electron transport layer (ETL), the hole transport layer (HTL), and the transparent conducting oxide layer (TCO) are the major components that make up a Perovskite solar cell. Between ETL and HTL, the absorber layer is sandwiched, on which electron-hole pairs are created after absorption of solar radiation. Despite substantial progress toward efficiency, long-term stability still remains a serious concern. Present work focuses toward contributing on the later issue by adopting Titanium dioxide (TiO2) as ETL and reduced graphene oxide (rGO) as HTL. Specifically, in the present work, we report our efforts on the preparation of compact titanium dioxide (C-TiO2) and mesoporous titanium dioxide (M-TiO2) layers as an ETL and a reduced graphene oxide thin film as a HTL. The C-TiO2 film was spin casted on FTO glass followed by casting of M-TiO2 film using Doctor Blading technique. Similarly, the rGO film was produced by spray casting over the glass substrate. The as-prepared ETL and HTL layers were characterized by measuring their optical properties (transmittance and reflectance of thin films). Then, the bandgap, Eg was extracted from reflectance and transmittance curves for ETL and HTL respectively. In the case of rGO, we found the value of Eg to be 2.1 eV, which varies between 2.7eV and 0.02eV depending upon its reduction level based on the previously reported values. Similarly, the bandgap of the C-TiO2 was 4.51 eV which was reduced to 4.12 eV after the addition of M-TiO2, which are 0.9 to 1.1 eV higher than previously reported values. However, bandgap shows decreasing trend after employing M- TiO2 over C-TiO2. In a Perovskite solar cell, both ETL and HTL will be investigated.


title: Using meta-analytic priors to incorporate external information for study evaluation

abstract: Background: The COVID-19 pandemic has had a profound impact on health, everyday life and economics around the world. An important complication that can arise in connection with a COVID-19 infection is acute kidney injury. A recent observational cohort study of COVID-19 patients treated at multiple sites of a tertiary care center in Berlin, Germany identified risk factors for the development of (severe) acute kidney injury. Since inferring results from a single study can be tricky, we validate these findings and potentially adjust results by including external information from other studies on acute kidney injury and COVID-19. Methods: We synthesize the results of the main study with other trials via a Bayesian meta-analysis. The external information is used to construct a predictive distribution and to derive posterior estimates for the study of interest. We focus on various important potential risk factors for acute kidney injury development such as mechanical ventilation, use of vasopressors, hypertension, obesity, diabetes, gender and smoking. Results: Our results show that depending on the degree of heterogeneity in the data the estimated effect sizes may be refined considerably with inclusion of external data. Our findings confirm that mechanical ventilation and use of vasopressors are important risk factors for the development of acute kidney injury in COVID-19 patients. Hypertension also appears to be a risk factor that should not be ignored. Shrinkage weights depended to a large extent on the estimated heterogeneity in the model. Conclusions: Our work shows how external information can be used to adjust the results from a primary study, using a Bayesian meta-analytic approach. How much information is borrowed from external studies will depend on the degree of heterogeneity present in the model.


title: Fast Algorithm for Constrained Linear Inverse Problems

abstract: We consider the constrained Linear Inverse Problem (LIP), where a certain atomic norm (like the $\ell_1 $ norm) is minimized subject to a quadratic constraint. Typically, such cost functions are non-differentiable which makes them not amenable to the fast optimization methods existing in practice. We propose two equivalent reformulations of the constrained LIP with improved convex regularity: (i) a smooth convex minimization problem, and (ii) a strongly convex min-max problem. These problems could be solved by applying existing acceleration-based convex optimization methods which provide better $ O \left( \frac{1}{k^2} \right) $ theoretical convergence guarantee, improving upon the current best rate of $ O \left( \frac{1}{k} \right) $. We also provide a novel algorithm named the Fast Linear Inverse Problem Solver (FLIPS), which is tailored to maximally exploit the structure of the reformulations. We demonstrate the performance of FLIPS on the classical problems of Binary Selection, Compressed Sensing, and Image Denoising. We also provide open source \texttt{MATLAB} package for these three examples, which can be easily adapted to other LIPs.


title: Kauffman bracket intertwiners and the volume conjecture

abstract: Bonahon-Wong-Yang introduced a new version of the volume conjecture by using the intertwiners between two isomorphic irreducible representations of the skein algebra.The intertwiners are built from surface diffeomorphisms; they made the volume conjecture when diffeomorphisms are pseudo-Anosov. In this paper we calculated all the intertwiners for the closed torus, producing some interesting results. Moreover we considered the periodic diffeomorphisms, and introduced the corresponding conjecture. For some special cases we made precise calculations for intertwiners and proved our conjecture.


title: On logarithmic reduction of cohomologically tame elliptic surface

abstract: We give cohomological criteria for logarithmic good reduction of elliptic surfaces up to modification. Along the way, we prove several more general results about such surfaces in positive characteristic, as well as about log smooth morphisms.


title: Fake detection in imbalance dataset by Semi-supervised learning with GAN

abstract: As social media continues to grow rapidly, the prevalence of harassment on these platforms has also increased. This has piqued the interest of researchers in the field of fake detection. Social media data, often forms complex graphs with numerous nodes, posing several challenges. These challenges and limitations include dealing with a significant amount of irrelevant features in matrices and addressing issues such as high data dispersion and an imbalanced class distribution within the dataset. To overcome these challenges and limitations, researchers have employed auto-encoders and a combination of semi-supervised learning with a GAN algorithm, referred to as SGAN. Our proposed method utilizes auto-encoders for feature extraction and incorporates SGAN. By leveraging an unlabeled dataset, the unsupervised layer of SGAN compensates for the limited availability of labeled data, making efficient use of the limited number of labeled instances. Multiple evaluation metrics were employed, including the Confusion Matrix and the ROC curve. The dataset was divided into training and testing sets, with 100 labeled samples for training and 1,000 samples for testing. The novelty of our research lies in applying SGAN to address the issue of imbalanced datasets in fake account detection. By optimizing the use of a smaller number of labeled instances and reducing the need for extensive computational power, our method offers a more efficient solution. Additionally, our study contributes to the field by achieving an 81% accuracy in detecting fake accounts using only 100 labeled samples. This demonstrates the potential of SGAN as a powerful tool for handling minority classes and addressing big data challenges in fake account detection.


title: Electric modulation of the Fermi arc spin transport via three-terminal configuration in the topological semimetal nanowires

abstract: Spin momentum locking is a key feature of the topological surface state, which plays an important role in spintronics. The electrical detection of current-induced spin polarization protected by the spin momentum locking in non-magnetic systems provides a new platform for developing spintronics while previous studies were mostly based on magnetic materials. In this study, the spin transport measurement of Dirac semimetal Cd3As2 was studied by the three-terminal geometry, and a hysteresis loop signal with high resistance and low resistance state was observed. The hysteresis was reversed by reversing the current direction, which illustrates the spin-momentum locking feature of Cd3As2. Furthermore, we realized the on-off states of the spin signals through electric modulation of the Fermi arc via the three-terminal configuration, which enables the great potential of Cd3As2 in spin field-effect transistors.


title: Quantum well confinement and competitive radiative pathways in the luminescence of black phosphorus layers

abstract: Black phosphorus (BP) stands out from other 2D materials by the wide amplitude of the band-gap energy (Delta(Eg)) that sweeps an optical window from Visible (VIS) to Infrared (IR) wavelengths, depending on the layer thickness. This singularity made the optical and excitonic properties of BP difficult to map. Specifically, the literature lacks in presenting experimental and theoretical data on the optical properties of BP on an extended thickness range. Here we report the study of an ensemble of photoluminescence spectra from 79 passivated BP flakes recorded at 4 K with thicknesses ranging from 4 nm to 700 nm, obtained by mechanical exfoliation. We observe that the exfoliation steps induce additional defects states that compete the radiative recombination from bound excitons observed in the crystal. We also show that the evolution of the photoluminescence energy versus thickness follows a quantum well confinement model appreciable from a thickness predicted and probed at 25 nm. The BP slabs placed in different 2D heterostructures show that the emission energy is not significantly modulated by the dielectric environment. Introduction Confinement effects


title: The density of state method for first-order phase transitions in Yang-Mills theories

abstract: Lattice Field Theory can be used to study finite temperature first-order phase transitions in new, strongly-coupled gauge theories of phenomenological interest. Metastable dynamics arising in proximity of the phase transition can lead to large, uncontrolled numerical errors when analysed with standard methods. In this contribution, we discuss a prototype lattice calculation in which the first-order deconfinement transition in the strong Yang-Mills sector of the standard model is analysed using a novel lattice method, the logarithmic linear relaxation algorithm. This method provides a determination of the density of states of the system with exponential error suppression.


title: Inverse resonance problem for Love seismic surface waves

abstract: In this paper we solve an inverse resonance problem for the half-solid with vanishing stresses on the surface: Lamb's problem. Using a semi-classical approach we are able to simplify this three-dimensional problem of the elastic wave equation for the half-solid as a Schr\"odinger equation with Robin boundary conditions on the half-line. We obtain asymptotic values on the number and the location of the resonances with respect to the wave number. Moreover, we prove that the mapping from real compactly supported potentials to the Jost functions in a suitable class of entire functions is one-to-one and onto and we produce an algorithm in order to retrieve the shear modulus from the eigenvalues and resonances.


title: Are Straight-Through gradients and Soft-Thresholding all you need for Sparse Training?

abstract: Turning the weights to zero when training a neural network helps in reducing the computational complexity at inference. To progressively increase the sparsity ratio in the network without causing sharp weight discontinuities during training, our work combines soft-thresholding and straight-through gradient estimation to update the raw, i.e. non-thresholded, version of zeroed weights. Our method, named ST-3 for straight-through/soft-thresholding/sparse-training, obtains SoA results, both in terms of accuracy/sparsity and accuracy/FLOPS trade-offs, when progressively increasing the sparsity ratio in a single training cycle. In particular, despite its simplicity, ST-3 favorably compares to the most recent methods, adopting differentiable formulations or bio-inspired neuroregeneration principles. This suggests that the key ingredients for effective sparsification primarily lie in the ability to give the weights the freedom to evolve smoothly across the zero state while progressively increasing the sparsity ratio. Source code and weights available at https://github.com/vanderschuea/stthree


title: Calibration of Drive Non-Linearity for Arbitrary-Angle Single-Qubit Gates Using Error Amplification

abstract: The ability to execute high-fidelity operations is crucial to scaling up quantum devices to large numbers of qubits. However, signal distortions originating from non-linear components in the control lines can limit the performance of single-qubit gates. In this work, we use a measurement based on error amplification to characterize and correct the small single-qubit rotation errors originating from the non-linear scaling of the qubit drive rate with the amplitude of the programmed pulse. With our hardware, and for a 15-ns pulse, the rotation angles deviate by up to several degrees from a linear model. Using purity benchmarking, we find that control errors reach $2\times 10^{-4}$, which accounts for half of the total gate error. Using cross-entropy benchmarking, we demonstrate arbitrary-angle single-qubit gates with coherence-limited errors of $2\times 10^{-4}$ and leakage below $6\times 10^{-5}$. While the exact magnitude of these errors is specific to our setup, the presented method is applicable to any source of non-linearity. Our work shows that the non-linearity of qubit drive line components imposes a limit on the fidelity of single-qubit gates, independent of improvements in coherence times, circuit design, or leakage mitigation when not corrected for.


title: Ultraviolet-regularized power spectrum without infrared distortions in cosmological spacetimes

abstract: We reexamine the regularization of the two-point function of a scalar field in a Friedmann-Lemaitre-Robertson-Walker (FLRW) spacetime. Adiabatic regularization provides a set of subtraction terms in momentum space that successfully remove its ultraviolet divergences at coincident points, but can significantly distort the power spectrum at infrared scales, especially for light fields. In this work we propose, by using the intrinsic ambiguities of the renormalization program, a new set of subtraction terms that minimize the distortions for scales $k \lesssim M$, with $M$ an arbitrary mass scale. Our method is consistent with local covariance and equivalent to general regularization methods in curved spacetime. We apply our results to the regularization of the power spectrum in de Sitter space: while the adiabatic scheme yields exactly $\Delta_{\phi}^{\rm (reg)} = 0$ for a massless field, our proposed prescription recovers the standard scale-invariant result $\Delta_{\phi}^{\rm (reg)} \simeq H^2 /(4\pi^2)$ at super-horizon scales.


title: Quantitative weak propagation of chaos for stable-driven McKean-Vlasov SDEs

abstract: We consider a general McKean-Vlasov stochastic differential equation driven by a rotationally invariant $\alpha$-stable process on $\mathbb{R}^d$ with $\alpha \in (1,2)$. We assume that the diffusion coefficient is the identity matrix and that the drift is bounded and H{\"o}lder continuous in some precise sense with respect to both space and measure variables. The main goal of this work is to prove new propagation of chaos estimates, at the level of semigroup, for the associated mean-field interacting particle system. Our study relies on the regularizing properties and the dynamics of the semigroup associated with the McKean-Vlasov stochastic differential equation, which acts on functions defined on $\mathcal{P}_\beta(\mathbb{R}^d)$, the space of probability measures on $\mathbb{R}^d$ having a finite moment of order $\beta \in (1,\alpha)$. More precisely, the dynamics of the semigroup is described by a backward Kolmogorov partial differential equation defined on the strip $[0,T] \times \mathcal{P}_\beta(\mathbb{R}^d)$.


title: Some restrictions on the weight enumerators of near-extremal ternary self-dual codes and quaternary Hermitian self-dual codes

abstract: We give restrictions on the weight enumerators of ternary near-extremal self-dual codes of length divisible by $12$ and quaternary near-extremal Hermitian self-dual codes of length divisible by $6$. We consider the weight enumerators for which there is a ternary near-extremal self-dual code of length $12m$ for $m =3,4,5,6$. Also we consider the weight enumerators for which there is a quaternary near-extremal Hermitian self-dual code of length $6m$ for $m =4,5,6$.


title: Synchronization in temporal simplicial complexes

abstract: The stability analysis of synchronization in time-varying higher-order networked structures (simplicial complexes) is one of the challenging problem due to the presence of time-varying group interactions. In this context, most of the previous studies have been done either on temporal pairwise networks or on static simplicial complexes. Here, for the first time, we propose a general framework to study the synchronization phenomenon in temporal simplicial complexes. We show that the synchronous state exists as an invariant solution and obtain the necessary condition for it to be emerged as a stable state in fast switching regime. We prove that the time-averaged simplicial complex plays the role of synchronization indicator whenever the switching among simplicial topologies are adequately fast. We attempt to transform the stability problem into a master stability function form. Unfortunately, for the general circumstances, the dimension reduction of the master stability equation is cumbersome due to the presence of group interactions. However, we overcome this difficulty in two interesting situations based on either the functional forms of the coupling schemes or the connectivity structure of the simplicial complex, and demonstrate that the necessary condition mimics the form of a master stability function in these cases. We verify our analytical findings by applying them on synthetic and real-world networked systems. In addition, our results also reveal that with sufficient higher-order coupling and adequately fast rewiring, the temporal simplicial complex achieves synchrony even in a very low connectivity regime.


title: Membership Inference Attacks Against Semantic Segmentation Models

abstract: Membership inference attacks aim to infer whether a data record has been used to train a target model by observing its predictions. In sensitive domains such as healthcare, this can constitute a severe privacy violation. In this work we attempt to address the existing knowledge gap by conducting an exhaustive study of membership inference attacks and defences in the domain of semantic image segmentation. Our findings indicate that for certain threat models, these learning settings can be considerably more vulnerable than the previously considered classification settings. We additionally investigate a threat model where a dishonest adversary can perform model poisoning to aid their inference and evaluate the effects that these adaptations have on the success of membership inference attacks. We quantitatively evaluate the attacks on a number of popular model architectures across a variety of semantic segmentation tasks, demonstrating that membership inference attacks in this domain can achieve a high success rate and defending against them may result in unfavourable privacy-utility trade-offs or increased computational costs.


title: Cross-Modal Mutual Learning for Cued Speech Recognition

abstract: Automatic Cued Speech Recognition (ACSR) provides an intelligent human-machine interface for visual communications, where the Cued Speech (CS) system utilizes lip movements and hand gestures to code spoken language for hearing-impaired people. Previous ACSR approaches often utilize direct feature concatenation as the main fusion paradigm. However, the asynchronous modalities i.e., lip, hand shape and hand position) in CS may cause interference for feature concatenation. To address this challenge, we propose a transformer based cross-modal mutual learning framework to prompt multi-modal interaction. Compared with the vanilla self-attention, our model forces modality-specific information of different modalities to pass through a modality-invariant codebook, collating linguistic representations for tokens of each modality. Then the shared linguistic knowledge is used to re-synchronize multi-modal sequences. Moreover, we establish a novel large-scale multi-speaker CS dataset for Mandarin Chinese. To our knowledge, this is the first work on ACSR for Mandarin Chinese. Extensive experiments are conducted for different languages i.e., Chinese, French, and British English). Results demonstrate that our model exhibits superior recognition performance to the state-of-the-art by a large margin.


title: Tuning metal/superconductor to insulator/superconductor coupling via control of proximity enhancement between NbSe$_2$ monolayers

abstract: The interplay between charge transfer and electronic disorder in transition-metal dichalcogenide multilayers gives rise to superconductive coupling driven by proximity enhancement, tunneling and superconducting fluctuations, of a yet unwieldy variety. Artificial spacer layers introduced with atomic precision change the density of states by charge transfer. Here, we tune the superconductive coupling between NbSe$_2$ monolayers from proximity-enhanced to tunneling-dominated. We correlate normal and superconducting properties in [(SnSe)$_{1+{\delta}}$]$_m$[NbSe$_2$]$_1$ tailored multilayers with varying SnSe layer thickness. From high-field magnetotransport the critical fields yield Ginzburg-Landau coherence lengths with an increase of 140 % cross-plane , trending towards two-dimensional superconductivity for m > 9. We show cross-over between three regimes: metallic with proximity-enhanced coupling, disordered-metallic with intermediate coupling and insulating with Josephson tunneling. Our results demonstrate that stacking metal mono- and dichalcogenides allows to convert a metal/superconductor into an insulator/superconductor system, prospecting the control of two-dimensional superconductivity in embedded layers.


title: Contact Topology and the Classification of Disclination Lines in Cholesteric Liquid Crystals

abstract: We give a topological classification of defect lines in cholesteric liquid crystals using methods from contact topology. By focusing on the role played by the chirality of the material, we demonstrate a fundamental distinction between `tight' and `overtwisted' disclination lines not detected by standard homotopy theory arguments. The classification of overtwisted lines is the same as nematics, however, we show that tight disclinations possess a topological layer number that is conserved as long as the twist is nonvanishing. Finally, we observe that chirality frustrates the escape of removable defect lines, and explain how this frustration underlies the formation of several structures observed in experiments.


title: Heavy Baryons in Compact Stars

abstract: We review the physics of hyperons and $\Delta$-resonances in dense matter in compact stars. The covariant density functional approach to the equation of state and composition of dense nuclear matter in the mean-field Hartree and Hartree-Fock approximation is presented, with regimes covering cold $\beta$-equilibrated matter, hot and dense matter with and without neutrinos relevant for the description of supernovas and binary neutron star mergers, as well as dilute expanding nuclear matter in collision experiments. We discuss the static properties of compact stars with hyperons and $\Delta$-resonances in light of constraints placed in recent years by the multimessenger astrophysics of compact stars on the compact stars' masses, radii, and tidal deformabilities. The effects of kaon condensation and strong magnetic fields on the composition of hypernuclear stars are also discussed. The properties of rapidly rotating compact hypernuclear stars are discussed and confronted with the observations of 2.5-2.8 solar mass compact objects in gravitational wave events. We further discuss the cooling of hypernuclear stars, the neutrino emission reactions, hyperonic pairing, and the mass hierarchy in the cooling curves that arises due to the onset of hyperons. The effects of hyperons and $\Delta$-resonances on the equation of state of hot nuclear matter in the dense regime, relevant for the transient astrophysical event and in the dilute regime relevant to the collider physics is discussed. The review closes with a discussion of universal relations among the integral parameters of hot and cold hypernuclear stars and their implications for the analysis of binary neutron star merger events.


title: The influence of nucleus mechanics in modelling adhesion-independent cell migration in structured and confined environments

abstract: Recent biological experiments have shown that certain types of cells are able to move in structured and confined environment even without the activation of focal adhesion. Focusing on this particular phenomenon and based on previous works, we derive a novel two-dimensional mechanical model, which relies on the following physical ingredients: the asymmetrical renewal of the actin cortex supporting the membrane, resulting in a backward flow of material; the mechanical description of the nucleus membrane and the inner nuclear material; the microtubule network guiding nucleus location; the contact interactions between the cell and the external environment. The resulting fourth order system of partial differential equations is then solved numerically to conduct a study of the qualitative effects of the model parameters, mainly those governing the mechanical properties of the nucleus and the geometry of the confining structure. Coherently with biological observations, we find that cells characterized by a stiff nucleus are unable to migrate in channels that can be crossed by cells with a softer nucleus. Regarding the geometry, cell velocity and ability to migrate are influenced by the width of the channel and the wavelength of the external structure. Even though still preliminary, these results can be potentially useful in determining the physical limit of cell migration in confined environment and in designing scaffold for tissue engineering.


title: Upper limits on the isotropic diffuse flux of cosmic PeV photons from Carpet-2 observations

abstract: Isotropic diffuse gamma-ray flux in the PeV energy band is an important tool for multimessenger tests of models of the origin of high-energy astrophysical neutrinos and for new-physics searches. So far, this flux has not yet been observed. Carpet-2 is an air-shower experiment capable of detecting astrophysical gamma rays with energies above 0.1 PeV. Here we report the upper limits on the isotropic gamma-ray flux from Carpet-2 data obtained in 1999-2011 and 2018-2022. These results, obtained with the new statistical method based on the shape of the muon-number distribution, summarize Carpet-2 observations as the upgraded installation, Carpet-3, starts its operation.


title: Induced paths in graphs without anticomplete cycles

abstract: Let us say a graph is $s\mathcal{O}$-free, where $s\ge 1$ is an integer, if there do not exist $s$ cycles of the graph that are pairwise vertex-disjoint and have no edges joining them. The structure of such graphs, even when $s=2$, is not well understood. For instance, until now we did not know how to test whether a graph is $2\mathcal{O}$-free in polynomial time; and there was an open conjecture, due to Ngoc Khang Le, that $2\mathcal{O}$-free graphs have only a polynomial number of induced paths. In this paper we prove Le's conjecture; indeed, we will show that for all $s\ge 1$, there exists $c>0$ such that every $s\mathcal{O}$-free graph $G$ has at most $|G|^c$ induced paths. This provides a poly-time algorithm to test if a graph is $s\mathcal{O}$-free, for all fixed $s$. The proof has three parts. First, there is a short and beautiful proof, due to Le, that reduces the question to proving the same thing for graphs with no cycles of length four. Second, there is a recent result of Bonamy, Bonnet, D\'epr\'es, Esperet, Geniet, Hilaire, Thomass\'e and Wesolek, that in every $s\mathcal{O}$-free graph $G$ with no cycle of length four, there is a set of vertices that intersects every cycle, with size logarithmic in $|G|$. And third, there is an argument that uses the result of Bonamy et al. to deduce the theorem. The last is the main content of this paper.


title: Decoupling the effects of geometry and nature of strain in LaMnO$_3$: Interplay of dynamic correlations and uniaxial strain driving magnetic phase transitions

abstract: Recent years have seen tremendous progress in experimental techniques to create uniaxial strain. Motivated by these advances we investigate the effect of uniaxial strain on LaMnO$_3$ employing ab-initio dynamical mean-field theory, and put it in contrast to biaxial strain that occurs in epitaxial systems. Projecting on the low-energy subspace of Mn $3d$ states, and solving multi-impurity problems, our approach emphasizes on local dynamic correlations at Mn sites. At ambient pressures, LaMnO$_3$ crystallizes in an orthorhombic unit cell, with in-plane lattice constants $a<b$, and shows an A-type antiferromagnetic ground state. If we apply uniaxial compressive strain such that the in-plane lattice becomes square with lattice constant $a$, we find a ferromagnetic insulating state. This is in sharp contrast to DFT results using various functionals like PBE, PBE+$U$, and hybrid functionals like HSE, which all predict a half-metallic ferromagnetic behaviour. Interestingly, applying uniaxial tensile strain, such that the in-plane lattice becomes square with the longer lattice constant $b$, an antiferromagnetic insulating state is observed. We trace back these results to the reduction in Jahn-Teller distortion in the case of compressive strain, favoring a ferromagnetic state. This reduction is absent in the tensile case, and the antiferromagnetic state therefore survives. Our study shows that it is the flavour of the strain (compressive or tensile) which is decisive for the magnitude of Jahn-Teller distortions and, hence, the magnetic state.


title: Sequential parametrized motion planning and its complexity, II

abstract: This is a continuation of our recent paper in which we developed the theory of sequential parametrized motion planning. A sequential parametrized motion planning algorithm produced a motion of the system which is required to visit a prescribed sequence of states, in a certain order, at specified moments of time. In the previous publication we analysed the sequential parametrized topological complexity of the Fadell - Neuwirth fibration which in relevant to the problem of moving multiple robots avoiding collisions with other robots and with obstacles in the Euclidean space. Besides, in the preceeding paper we found the sequential parametrised topological complexity of the Fadell - Neuwirth bundle for the case of the Euclidean space $\Bbb R^d$ of odd dimension as well as the case $d=2$. In the present paper we give the complete answer for an arbitrary $d\ge 2$ even. Moreover, we present an explicit motion planning algorithm for controlling multiple robots in $\Bbb R^d$ having the minimal possible topological complexity; this algorithm is applicable to any number $n$ of robots and any number $m\ge 2$ of obstacles.


title: Deterministic joint remote state preparation with a non-maximally entangled channel

abstract: Ideal deterministic quantum communication tasks require maximally entangled channels. The reality is that the maximally entangled channel is inevitably degraded to a non-maximally entangled one because of various decoherence mechanisms, seriously deteriorating the performance of quantum communication. Instead of adopting traditional entanglement purification or distillation to rebuild maximally entangled channels, we have designed a novel deterministic joint remote state preparation scheme using the degenerated non-maximally entangled state directly. A protocol for deterministic joint remote preparation of a two-dimensional quantum state via a non-maximally hyperentangled quantum channel has been devised with the help of auxiliary qudits. Then we generalize it to prepare a high-dimensional quantum state faithfully. No matter how weak the shared entanglement is, the success probability of communication is maintained at 100% as soon as it exists. This investigation provides an ideology for the construction of practical quantum communication networks.


title: Transitioning from a bounce to $R^2$ inflation

abstract: Non-singular bouncing cosmologies are well--motivated models for the early universe. Recent observational data are consistent with positive spatial curvature and allow for a natural collapsing and bouncing phase in the very early universe. Additionally, bouncing cosmologies have the potential to rectify conceptual shortcomings identified in the theory of inflation, such as the singularity problem. In this paper we present a classical bouncing model in the context of modified gravity, including an $R^2$-term in the action. We show that after the bounce, the universe enters naturally a period of inflation, driven by the $R^2$--term. We analyse the stability of the model and find that the scalaron assists the stability of the model.


title: Semantic Role Labeling Meets Definition Modeling: Using Natural Language to Describe Predicate-Argument Structures

abstract: One of the common traits of past and present approaches for Semantic Role Labeling (SRL) is that they rely upon discrete labels drawn from a predefined linguistic inventory to classify predicate senses and their arguments. However, we argue this need not be the case. In this paper, we present an approach that leverages Definition Modeling to introduce a generalized formulation of SRL as the task of describing predicate-argument structures using natural language definitions instead of discrete labels. Our novel formulation takes a first step towards placing interpretability and flexibility foremost, and yet our experiments and analyses on PropBank-style and FrameNet-style, dependency-based and span-based SRL also demonstrate that a flexible model with an interpretable output does not necessarily come at the expense of performance. We release our software for research purposes at https://github.com/SapienzaNLP/dsrl.


title: Elementary Continued Fractions for Linear Combinations of Zeta and L Values

abstract: We show how to obtain infinitely many continued fractions for certain Z-linear combinations of zeta and L values. The methods are completely elementary.


title: Cross-Domain Graph Anomaly Detection via Anomaly-aware Contrastive Alignment

abstract: Cross-domain graph anomaly detection (CD-GAD) describes the problem of detecting anomalous nodes in an unlabelled target graph using auxiliary, related source graphs with labelled anomalous and normal nodes. Although it presents a promising approach to address the notoriously high false positive issue in anomaly detection, little work has been done in this line of research. There are numerous domain adaptation methods in the literature, but it is difficult to adapt them for GAD due to the unknown distributions of the anomalies and the complex node relations embedded in graph data. To this end, we introduce a novel domain adaptation approach, namely Anomaly-aware Contrastive alignmenT (ACT), for GAD. ACT is designed to jointly optimise: (i) unsupervised contrastive learning of normal representations of nodes in the target graph, and (ii) anomaly-aware one-class alignment that aligns these contrastive node representations and the representations of labelled normal nodes in the source graph, while enforcing significant deviation of the representations of the normal nodes from the labelled anomalous nodes in the source graph. In doing so, ACT effectively transfers anomaly-informed knowledge from the source graph to learn the complex node relations of the normal class for GAD on the target graph without any specification of the anomaly distributions. Extensive experiments on eight CD-GAD settings demonstrate that our approach ACT achieves substantially improved detection performance over 10 state-of-the-art GAD methods. Code is available at https://github.com/QZ-WANG/ACT.