title: Transient strain induced electronic structure modulation in a semiconducting polymer imaged by scanning ultrafast electron microscopy

abstract: Understanding the opto-electronic properties of semiconducting polymers under external strain is essential for their applications in flexible opto-electronic, light-emitting and photovoltaic devices. While prior studies have highlighted the impact of static strains applied on a macroscopic length scale, assessing the effect of a local transient deformation before structural relaxation occurs is challenging due to the required high spatio-temporal resolution. Here, we employ scanning ultrafast electron microscopy (SUEM) to image the dynamical effect of a photo-induced transient strain in the archetypal semiconducting polymer poly(3-hexylthiophene) (P3HT). We observe that the photo-induced SUEM contrast, corresponding to the local change of secondary electron emission, exhibits a ring-shaped spatial profile with a rise time of $\sim 300$ ps, beyond which the profile persists in the absence of a spatial diffusion. We attribute the observation to the electronic structure modulation of P3HT caused by a photo-induced strain field owing to its relatively low modulus and strong electron-lattice coupling, as supported by a finite-element analysis. Our work provides insights into tailoring opto-electronic properties using transient mechanical deformation in semiconducting polymers, and demonstrates the versatility of SUEM to study photo-physical processes in diverse materials.


title: Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types

abstract: Many properties of communication protocols combine safety and liveness aspects. Characterizing such combined properties by means of a single inference system is difficult because of the fundamentally different techniques (coinduction and induction, respectively) usually involved in defining and proving them. In this paper we show that Generalized Inference Systems allow us to obtain sound and complete characterizations of (at least some of) these combined inductive/coinductive properties of binary session types. In particular, we illustrate the role of corules in characterizing fair termination (the property of protocols that can always eventually terminate), fair compliance (the property of interactions that can always be extended to reach client satisfaction) and fair subtyping, a liveness-preserving refinement relation for session types. The characterizations we obtain are simpler compared to the previously available ones and corules provide insight on the liveness properties being ensured or preserved. Moreover, we can conveniently appeal to the bounded coinduction principle to prove the completeness of the provided characterizations.


title: Ontology Modeling for Decentralized Household Energy Systems

abstract: In a decentralized household energy system consisting of various devices such as washing machines, heat pumps, and solar panels, understanding the electric energy consumption and production data at the granularity of the device helps end-users be closer to the system and further achieve the sustainability of energy use. However, many datasets in this area are isolated from other domains with records of only energy-related data. This may raise a loss of information (e.g. weather) that is relevant to the energy use of each device. A noticeable disadvantage is that many of those datasets have to be used in computational modeling approaches such as machine learning models, which are vulnerable to the data feed, to advance the understanding of energy consumption and production. Although such computational methods have achieved a high benchmark merely through a local view of datasets, the reusability cannot be firmly guaranteed when the information omission is taken into account. This paper addresses the data isolation problem in the smart energy systems area by exploring Semantic Web techniques on top of a household energy system. We propose an ontology modeling solution for the management of decentralized data at the resolution of a device in the system. As a result, the scope of the data concerning each device can be easily extended to be wider across the web and more information that may be of interest such as weather can be retrieved from the Web if the data are structured by the ontology.


title: Investigation of the double-lobed sources of the Cygnus constellation core

abstract: We present a collection of double-lobed sources towards a 20 sq deg area of the Cygnus region at the northern sky, observed at 325 and 610~MHz with the Giant Metrewave Radio Telescope. The 10'' resolution achieved at 325 MHz is 5.5 times better than previous studies, while at 610~MHz these are the first results ever of such a large area, mapped with 6'' angular resolution. After a thorough visual inspection of the images at the two bands, we found 43 double-lobed source candidates, proposed as such due to the presence of two bright peaks, within a few arcminutes apart, joined by a bridge or a central nucleus. All but two are presented here as double-lobed candidates for the first time. Thirty-nine of the candidates were covered at both bands, and we provide the spectral index information for them. We have searched for positional coincidences between the detected sources/components and other objects from the literature, along the electromagnetic spectrum. Twenty-three candidates possess radio counterpart(s), 12 present infrared counterparts, and one showed an overlapping X-ray source. We analysed each candidate considering morphology, counterparts, and spectral indices. Out of the 43 candidates, 37 show characteristics compatible with an extragalactic nature, two of probably Galactic origin, three remain as dubious cases, though with feature(s) compatible with an extragalactic nature, and the remaining one, evidence of physically unrelated components. The median spectral index of the 40 putative extragalactic sources is -1.0. Their celestial surface density at 610~MHz resulted in 1.9 per sq deg, across a region lying at the Galactic plane.


title: Moduli spaces of quasi-trivial sheaves

abstract: A torsion-free sheaf $E$ on a projective variety $X$ is called quasi-trivial if $E^{\vee\vee}=\mathcal{O}_{X}^{\oplus r}$. While such sheaves are always $\mu$-semistable, they may not be semistable. We study the Gieseker--Maruyama moduli space $\mathcal{N}_X(r,n)$ of rank $r$ semistable quasi-trivial sheaves on $X$ with $E^{\vee\vee}/E$ being a 0-dimensional sheaf of length $n$ via the Quot scheme of points $Quot(\mathcal{O}_{X}^{\oplus r},n)$. We show that, when $(X,A)$ is a good projective variety, then $\mathcal{N}_X(r,n)$ is empty when $r>n$, while $\mathcal{N}_X(n,n)$ has no stable points and is isomorphic to the symmetric product $Sym^n(X)$. Our main result is the construction of an irreducible component of $\mathcal{N}_X(r,n)$ of dimension $n(d+r-1)-r^2+1$ when $r<n$. Furthermore, if we restrict to $X=\mathbb{P}^3$ this is the only irreducible component when $n\le10$.


title: Numerical analysis for a Cahn-Hilliard system modelling tumour growth with chemotaxis and active transport

abstract: In this work, we consider a diffuse interface model for tumour growth in the presence of a nutrient which is consumed by the tumour. The system of equations consists of a Cahn--Hilliard equation with source terms for the tumour cells and a reaction-diffusion equation for the nutrient. We introduce a fully-discrete finite element approximation of the model and prove stability bounds for the discrete scheme. Moreover, we show that discrete solutions exist and depend continuously on the initial and boundary data. We then pass to the limit in the discretization parameters and prove convergence to a global-in-time weak solution to the model. Under additional assumptions, this weak solution is unique. Finally, we present some numerical results including numerical error investigation in one spatial dimension and some long time simulations in two and three spatial dimensions.


title: Learning Nonlinear Waves in Plasmon-induced Transparency

abstract: Plasmon-induced transparency (PIT) displays complex nonlinear dynamics that find critical phenomena in areas such as nonlinear waves. However, such a nonlinear solution depends sensitively on the selection of parameters and different potentials in the Schr\"odinger equation. Despite this complexity, the machine learning community has developed remarkable efficiencies in predicting complicated datasets by regression. Here, we consider a recurrent neural network (RNN) approach to predict the complex propagation of nonlinear solitons in plasmon-induced transparency metamaterial systems with applied potentials bypassing the need for analytical and numerical approaches of a guiding model. We demonstrate the success of this scheme on the prediction of the propagation of the nonlinear solitons solely from a given initial condition and potential. We prove the prominent agreement of results in simulation and prediction by long short-term memory (LSTM) artificial neural networks. The framework presented in this work opens up a new perspective for the application of RNN in quantum systems and nonlinear waves using Schr\"odinger-type equations, for example, the nonlinear dynamics in cold-atom systems and nonlinear fiber optics.


title: High-order topological quantum optics in ultracold atomic metasurfaces

abstract: Ultracold atom arrays in optical lattices emerge as an excellent playground for the integration of topological photonics and quantum optics. Here, we study high-order topological quantum optics in an ultracold atom metasurface intended to mimic the two-dimensional Su-Schrieffer-Heeger model. We find the existence of long-range interactions beyond nearest-neighbor ones leads to isolated corner states in the band gap, and show a corner atom can be addressed by a laser drive far away from it via these nontrivial states. We demonstrate the Purcell factor can be used as a powerful tool to examine the existence of topological edge and corner states. We predict topological edge states can mediate strong coherent interactions between two remote impurity quantum emitters while suppressing dissipative losses thanks to the higher-order topology, generating robust and long-lived quantum entanglement, without the need for additional photonic structures.


title: MCEM and SAEM Algorithms for Geostatistical Models under Preferential Sampling

abstract: The problem of preferential sampling in geostatistics arises when the choise of location to be sampled is made with information about the phenomena in the study. The geostatistical model under preferential sampling deals with this problem, but parameter estimation is challenging because the likelihood function has no closed form. We developed an MCEM and an SAEM algorithm for finding the maximum likelihood estimators of parameters of the model and compared our methodology with the existing ones: Monte Carlo likelihood approximation and Laplace approximation. Simulated studies were realized to assess the quality of the proposed methods and showed good parameter estimation and prediction in preferential sampling. Finally, we illustrate our findings on the well known moss data from Galicia.


title: A Survey on Function Spaces of John--Nirenberg Type

abstract: In this article, the authors give a survey on the recent developments of both the John--Nirenberg space $JN_p$ and the space BMO as well as their vanishing subspaces such as VMO, XMO, CMO, $VJN_p$, and $CJN_p$ on $\mathbb{R}^n$ or a given cube $Q_0\subset\mathbb{R}^n$ with finite side length. In addition, some related open questions are also presented.


title: Spatial Analysis of Physical Reservoir Computers

abstract: Physical reservoir computing is a computational framework that implements spatiotemporal information processing directly within physical systems. By exciting nonlinear dynamical systems and creating linear models from their state, we can create highly energy-efficient devices capable of solving machine learning tasks without building a modular system consisting of millions of neurons interconnected by synapses. To act as an effective reservoir, the chosen dynamical system must have two desirable properties: nonlinearity and memory. We present task agnostic spatial measures to locally measure both of these properties and exemplify them for a specific physical reservoir based upon magnetic skyrmion textures. In contrast to typical reservoir computing metrics, these metrics can be resolved spatially and in parallel from a single input signal, allowing for efficient parameter search to design efficient and high-performance reservoirs. Additionally, we show the natural trade-off between memory capacity and nonlinearity in our reservoir's behaviour, both locally and globally. Finally, by balancing the memory and nonlinearity in a reservoir, we can improve its performance for specific tasks.

categories: cs.LG cond-mat.dis-nn cond-mat.other cond-mat.str-el cs.NE


title: SphereFace2: Binary Classification is All You Need for Deep Face Recognition

abstract: State-of-the-art deep face recognition methods are mostly trained with a softmax-based multi-class classification framework. Despite being popular and effective, these methods still have a few shortcomings that limit empirical performance. In this paper, we start by identifying the discrepancy between training and evaluation in the existing multi-class classification framework and then discuss the potential limitations caused by the "competitive" nature of softmax normalization. Motivated by these limitations, we propose a novel binary classification training framework, termed SphereFace2. In contrast to existing methods, SphereFace2 circumvents the softmax normalization, as well as the corresponding closed-set assumption. This effectively bridges the gap between training and evaluation, enabling the representations to be improved individually by each binary classification task. Besides designing a specific well-performing loss function, we summarize a few general principles for this "one-vs-all" binary classification framework so that it can outperform current competitive methods. Our experiments on popular benchmarks demonstrate that SphereFace2 can consistently outperform state-of-the-art deep face recognition methods. The code has been made publicly available.


title: One-step, Wash-free, Nanoparticle Clustering-based Magnetic Particle Spectroscopy (MPS) Bioassay Method for Detection of SARS-CoV-2 Spike and Nucleocapsid Proteins in Liquid Phase

abstract: With the ongoing global pandemic of coronavirus disease 2019 (COVID-19), there is an increasing quest for more accessible, easy-to-use, rapid, inexpensive, and high accuracy diagnostic tools. Traditional disease diagnostic methods such as qRT-PCR (quantitative reverse transcription-PCR) and ELISA (enzyme-linked immunosorbent assay) require multiple steps, trained technicians, and long turnaround time that may worsen the disease surveillance and pandemic control. In sight of this situation, a rapid, one-step, easy-to-use, and high accuracy diagnostic platform will be valuable for future epidemic control especially for regions with scarce medical resources. Herein, we report a magnetic particle spectroscopy (MPS) platform for detection of SARS-CoV-2 biomarkers: spike and nucleocapsid proteins.


title: Simultaneous reconstruction and displacement estimation for spectral-domain optical coherence elastography

abstract: Optical coherence elastography allows the characterization of the mechanical properties of tissues, and can be performed through estimating local displacement maps from subsequent acquisitions of a sample under different loads. This displacement estimation is limited by noise in the images, which can be high in dynamic systems due to the inability to perform long exposures or B-scan averaging. In this work, we propose a framework for simultaneously enhancing both the image quality and displacement map for elastography, by motion compensated denoising with the block-matching and 4D filtering (BM4D) method, followed by a re-estimation of displacement. We adopt the interferometric synthetic aperture microscopy (ISAM) method to enhance the lateral resolution away from the focal plane, and use sub-pixel cross correlation block matching for non-uniform deformation estimation. We validate this approach on data from a commercial spectral domain optical coherence tomography system, whereby we observe an enhancement of both image and displacement accuracy of up to 33% over a standard approach.


title: Two New Stenosis Detection Methods of Coronary Angiograms

abstract: Coronary angiography is the "gold standard" for diagnosing coronary artery disease (CAD). At present, the methods for detecting and evaluating coronary artery stenosis cannot satisfy the clinical needs, e.g., there is no prior study of detecting stenoses in prespecified vessel segments, which is necessary in clinical practice. Two vascular stenosis detection methods are proposed to assist the diagnosis. The first one is an automatic method, which can automatically extract the entire coronary artery tree and mark all the possible stenoses. The second one is an interactive method. With this method, the user can choose any vessel segment to do further analysis of its stenoses. Experiments show that the proposed methods are robust for angiograms with various vessel structures. The precision, sensitivity, and $F_1$ score of the automatic stenosis detection method are 0.821, 0.757, and 0.788, respectively. Further investigation proves that the interactive method can provide a more precise outcome of stenosis detection, and our quantitative analysis is closer to reality. The proposed automatic method and interactive method are effective and can complement each other in clinical practice. The first method can be used for preliminary screening, and the second method can be used for further quantitative analysis. We believe the proposed solution is more suitable for the clinical diagnosis of CAD.


title: Boundedness of Calder\'on--Zygmund Operators on Special John--Nirenberg--Campanato and Hardy-Type Spaces via Congruent Cubes

abstract: Let $p\in[1,\infty]$, $q\in(1,\infty)$, $s\in\mathbb{Z}_+:=\mathbb{N}\cup\{0\}$, and $\alpha\in\mathbb{R}$. In this article, the authors introduce a reasonable version $\widetilde T$ of the Calder\'on--Zygmund operator $T$ on $JN_{(p,q,s)_\alpha}^{\mathrm{con}}(\mathbb{R}^n)$, the special John--Nirenberg--Campanato space via congruent cubes, which coincides with the Campanato space $\mathcal{C}_{\alpha,q,s}(\mathbb{R}^n)$ when $p=\infty$. Then the authors prove that $\widetilde T$ is bounded on $JN_{(p,q,s)_\alpha}^{\mathrm{con}}(\mathbb{R}^n)$ if and only if, for any $\gamma\in\mathbb{Z}_+^n$ with $|\gamma|\leq s$, $T^*(x^{\gamma})=0$, which is a well-known assumption. To this end, the authors find an equivalent version of this assumption. Moreover, the authors show that $T$ can be extended to a unique continuous linear operator on the Hardy-kind space $HK_{(p,q,s)_{\alpha}}^{\mathrm{con}}(\mathbb{R}^n)$, the predual space of $JN_{(p',q',s)_\alpha}^{\mathrm{con}}(\mathbb{R}^n)$ with $\frac{1}{p}+\frac{1}{p'}=1=\frac{1}{q}+\frac{1}{q'}$, if and only if, for any $\gamma\in\mathbb{Z}_+^n$ with $|\gamma|\leq s$, $T^*(x^{\gamma})=0$.


title: Non-local Graph Convolutional Network for joint Activity Recognition and Motion Prediction

abstract: 3D skeleton-based motion prediction and activity recognition are two interwoven tasks in human behaviour analysis. In this work, we propose a motion context modeling methodology that provides a new way to combine the advantages of both graph convolutional neural networks and recurrent neural networks for joint human motion prediction and activity recognition. Our approach is based on using an LSTM encoder-decoder and a non-local feature extraction attention mechanism to model the spatial correlation of human skeleton data and temporal correlation among motion frames. The proposed network can easily include two output branches, one for Activity Recognition and one for Future Motion Prediction, which can be jointly trained for enhanced performance. Experimental results on Human 3.6M, CMU Mocap and NTU RGB-D datasets show that our proposed approach provides the best prediction capability among baseline LSTM-based methods, while achieving comparable performance to other state-of-the-art methods.


title: Squeezed-light enhancement and backaction evasion in a high sensitivity optically pumped magnetometer

abstract: We study the effect of optical polarization squeezing on the performance of a sensitive, quantum-noise-limited optically pumped magnetometer. We use Bell-Bloom (BB) optical pumping to excite a $^{87}$Rb vapor containing $8.2 \cdot 10^{12} \mathrm{atoms/cm^3}$ and Faraday rotation to detect spin precession. The sub-$\mathrm{pT}/\sqrt{\mathrm{Hz}}$ sensitivity is limited by spin projection noise (photon shot noise) at low (high) frequencies. Probe polarization squeezing both improves high-frequency sensitivity and increases measurement bandwidth, with no loss of sensitivity at any frequency, a direct demonstration of the evasion of measurement backaction noise. We provide a model for the quantum noise dynamics of the BB magnetometer, including spin projection noise, probe polarization noise, and measurement backaction effects. The theory shows how polarization squeezing reduces optical noise, while measurement backaction due to the accompanying ellipticity anti-squeezing is shunted into the unmeasured spin component. The method is compatible with high-density and multi-pass techniques that reach extreme sensitivity.


title: Joint Active User Detection and Channel Estimation for Grant-Free NOMA-OTFS in LEO Constellation Internet-of-Things

abstract: The flourishing low-Earth orbit (LEO) constellation communication network provides a promising solution for seamless coverage services to Internet-of-Things (IoT) terminals. However, confronted with massive connectivity and rapid variation of terrestrial-satellite link (TSL), the traditional grant-free random-access schemes always fail to match this scenario. In this paper, a new non-orthogonal multiple-access (NOMA) transmission protocol that incorporates orthogonal time frequency space (OTFS) modulation is proposed to solve these problems. Furthermore, we propose a two-stages joint active user detection and channel estimation scheme based on the training sequences aided OTFS data frame structure. Specifically, in the first stage, with the aid of training sequences, we perform active user detection and coarse channel estimation by recovering the sparse sampled channel vectors. And then, we develop a parametric approach to facilitate more accurate result of channel estimation with the previously recovered sampled channel vectors according to the inherent characteristics of TSL channel. Simulation results demonstrate the superiority of the proposed method in this kind of high-mobility scenario in the end.


title: Bit-efficient Numerical Aggregation and Stronger Privacy for Trust in Federated Analytics

abstract: Private data generated by edge devices -- from smart phones to automotive electronics -- are highly informative when aggregated but can be damaging when mishandled. A variety of solutions are being explored but have not yet won the public's trust and full backing of mobile platforms. In this work, we propose numerical aggregation protocols that empirically improve upon prior art, while providing comparable local differential privacy guarantees. Sharing a single private bit per value supports privacy metering that enable privacy controls and guarantees that are not covered by differential privacy. We put emphasis on the ease of implementation, compatibility with existing methods, and compelling empirical performance.


title: CSMCNet: Scalable Video Compressive Sensing Reconstruction with Interpretable Motion Estimation

abstract: Most deep network methods for compressive sensing reconstruction suffer from the black-box characteristic of DNN. In this paper, a deep neural network with interpretable motion estimation named CSMCNet is proposed. The network is able to realize high-quality reconstruction of video compressive sensing by unfolding the iterative steps of optimization based algorithms. A DNN based, multi-hypothesis motion estimation module is designed to improve the reconstruction quality, and a residual module is employed to further narrow down the gap between re-construction results and original signal in our proposed method. Besides, we propose an interpolation module with corresponding training strategy to realize scalable CS reconstruction, which is capable of using the same model to decode various compression ratios. Experiments show that a PSNR of 29.34dB can be achieved at 2% CS ratio (compressed by 98%), which is superior than other state-of-the-art methods. Moreover, the interpolation module is proved to be effective, with significant cost saving and acceptable performance losses.


title: Multiplicative deconvolution estimator based on a ridge approach

abstract: We study the non-parametric estimation of an unknown density f with support on R+ based on an i.i.d. sample with multiplicative measurement errors. The proposed fully-data driven procedure consists of the estimation of the Mellin transform of the density f and a regularisation of the inverse of the Mellin transform by a ridge approach. The upcoming bias-variance trade-off is dealt with by a data-driven choice of the ridge parameter. In order to discuss the bias term, we consider the Mellin-Sobolev spaces which characterise the regularity of the unknown density f through the decay of its Mellin transform. Additionally, we show minimax-optimality over Mellin-Sobolev spaces of the ridge density estimator.


title: Generalising Kapranov's Theorem For Tropical Geometry Over Hyperfields

abstract: Kapranov's theorem is a foundational result in tropical geometry. It states that the set of tropicalisations of points on a hypersurface coincides precisely with the tropical variety of the tropicalisation of the defining polynomial. The aim of this paper is to generalise Kapranov's theorem, replacing the role of a valuation map, from a field to the real numbers union negative infinity, with a more general class of hyperfield homomorphisms, whose target is the tropical hyperfield and satisfy a relative algebraic closure condition. To provide an example of such a hyperfield homomorphism, the map from the complex tropical hyperfield to the tropical hyperfield is investigated. There is a brief outline of sufficient conditions for a hyperfield homomorphism to satisfy the relative algebraic closure condition.


title: High-dimensional changepoint estimation with heterogeneous missingness

abstract: We propose a new method for changepoint estimation in partially-observed, high-dimensional time series that undergo a simultaneous change in mean in a sparse subset of coordinates. Our first methodological contribution is to introduce a 'MissCUSUM' transformation (a generalisation of the popular Cumulative Sum statistics), that captures the interaction between the signal strength and the level of missingness in each coordinate. In order to borrow strength across the coordinates, we propose to project these MissCUSUM statistics along a direction found as the solution to a penalised optimisation problem tailored to the specific sparsity structure. The changepoint can then be estimated as the location of the peak of the absolute value of the projected univariate series. In a model that allows different missingness probabilities in different component series, we identify that the key interaction between the missingness and the signal is a weighted sum of squares of the signal change in each coordinate, with weights given by the observation probabilities. More specifically, we prove that the angle between the estimated and oracle projection directions, as well as the changepoint location error, are controlled with high probability by the sum of two terms, both involving this weighted sum of squares, and representing the error incurred due to noise and the error due to missingness respectively. A lower bound confirms that our changepoint estimator, which we call 'MissInspect', is optimal up to a logarithmic factor. The striking effectiveness of the MissInspect methodology is further demonstrated both on simulated data, and on an oceanographic data set covering the Neogene period.


title: Spontaneous-emission-enabled dynamics at the threshold of a directly modulated semiconductor laser

abstract: Chaos in semiconductor lasers or other optical systems has been intensively studied in the past two decades. However, modulation around threshold has received much less attention, in particular in gain-modulated semiconductor lasers. In this article, we investigate the bifurcation sequence which appears with pump modulation in the threshold region with a large amplitude and different values of modulation frequency. Modulation around threshold necessarily includes ``below-threshold'' dynamics, which can be effectively displayed only through through a nonlinear visualization of the oscillations. The irregular temporal behaviour is examined at various modulation frequencies and amplitudes, highlighting a possible route to chaos for very large amplitude modulation in the near-threshold region. The addition of the (average) spontaneous emission to the lasing mode enables a coupled dynamics between photons and carriers even below threshold, thus extending the pump range in which the modulation actively modifies the laser behaviour. We also report on the existence of a transition between similar attractors characterized by a temporal transient which depends on the amplitude of the modulation driving the pump.


title: Double-Dot Network for Antipodal Grasp Detection

abstract: This paper proposes a new deep learning approach to antipodal grasp detection, named Double-Dot Network (DD-Net). It follows the recent anchor-free object detection framework, which does not depend on empirically pre-set anchors and thus allows more generalized and flexible prediction on unseen objects. Specifically, unlike the widely used 5-dimensional rectangle, the gripper configuration is defined as a pair of fingertips. An effective CNN architecture is introduced to localize such fingertips, and with the help of auxiliary centers for refinement, it accurately and robustly infers grasp candidates. Additionally, we design a specialized loss function to measure the quality of grasps, and in contrast to the IoU scores of bounding boxes adopted in object detection, it is more consistent to the grasp detection task. Both the simulation and robotic experiments are executed and state of the art accuracies are achieved, showing that DD-Net is superior to the counterparts in handling unseen objects.


title: Boulders on Mercury

abstract: Boulders on the surfaces of planets, satellites and small bodies, as well as their geological associations, provide important information about surface processes. We analyzed all available images of the surface of Mercury that have sufficient resolution and quality to detect boulders, and we mapped all the boulders observed. The lower size limit of detectable boulders was ~5 m. All boulders found on Mercury are associated with fresh impact craters hundreds of meters in diameter or larger. We compared boulder population on Mercury with population of boulders of the same size on the Moon, and found that boulders on Mercury are ~30 times less abundant than in the lunar highlands. This exact quantitative estimate is inherently inaccurate due to the limitation in the source data; however, the significant relative rarity of boulders on Mercury can be firmly and reliably established. We discuss possible causes of the observed difference. Higher thermal stresses and more rapid material fatigue due to diurnal temperature cycling on Mercury may cause rapid disintegration of the upper decimeters of the boulder surface and thus contribute to more rapid boulder obliteration; however, these factors alone cannot account for the observed difference. A proposed thicker regolith on Mercury is likely to significantly reduce boulder production rate. A higher micrometeoritic flux on Mercury is likely to result in micrometeoritic abrasion being a dominant contributor to boulder degradation; this high abrasion rate likely shortens the boulder lifetime. A combination of these factors appears to be able to account for the relative rarity of boulders on Mercury.


title: Neural Calibration for Scalable Beamforming in FDD Massive MIMO with Implicit Channel Estimation

abstract: Channel estimation and beamforming play critical roles in frequency-division duplexing (FDD) massive multiple-input multiple-output (MIMO) systems. However, these two modules have been treated as two stand-alone components, which makes it difficult to achieve a global system optimality. In this paper, we propose a deep learning-based approach that directly optimizes the beamformers at the base station according to the received uplink pilots, thereby, bypassing the explicit channel estimation. Different from the existing fully data-driven approach where all the modules are replaced by deep neural networks (DNNs), a neural calibration method is proposed to improve the scalability of the end-to-end design. In particular, the backbone of conventional time-efficient algorithms, i.e., the least-squares (LS) channel estimator and the zero-forcing (ZF) beamformer, is preserved and DNNs are leveraged to calibrate their inputs for better performance. The permutation equivariance property of the formulated resource allocation problem is then identified to design a low-complexity neural network architecture. Simulation results will show the superiority of the proposed neural calibration method over benchmark schemes in terms of both the spectral efficiency and scalability in large-scale wireless networks.


title: Searching for Neutrino Transients Below 1 TeV with IceCube

abstract: Recent observations of GeV gamma-rays from novae have led to a paradigm shift in the understanding of these objects. While it is now believed that shocks contribute significantly to the energy budget of novae, it is still unknown if the emission is hadronic or leptonic in origin. Neutrinos could hold the key to definitively differentiating between these two scenarios, though the energies of such particles would be much lower than are typically targeted with neutrino telescopes. IceCube's densely instrumented DeepCore sub-array provides the ability to reduce the threshold for observation from 1 TeV down to approximately 10 GeV. We will discuss recent measurements in this low energy regime, details of a new sub-TeV selection, and prospects for future searches for transient neutrino emission.


title: Ultrafast Holonomic Quantum Gates

abstract: Quantum computation based on geometric phase is generally believed to be more robust against certain errors or noises than the conventional dynamical strategy. However, the gate error caused by the decoherence effect is inevitable, and thus faster gate operations are highly desired. Here, we propose a nonadiabatic holonomic quantum computation (NHQC) scheme with detuned interactions on $\Delta$-type three-level system, which combines the time-optimal control technique with the time-independent detuning adjustment to further accelerate universal gate operations, {so that the gate-time can be greatly shortened within the hardware limitation}, and thus high-fidelity gates can be obtained. Meanwhile, our numerical simulations show that the gate robustness is also stronger than previous schemes. Finally, we present an implementation of our proposal on superconducting quantum circuits, with a decoherence-free subspace encoding, based on the experimentally demonstrated parametrically tunable coupling technique, which simplifies previous investigations. Therefore, our protocol provides a more promising alternative for future fault-tolerant quantum computation.


title: Effective Model Integration Algorithm for Improving Link and Sign Prediction in Complex Networks

abstract: Link and sign prediction in complex networks bring great help to decision-making and recommender systems, such as in predicting potential relationships or relative status levels. Many previous studies focused on designing the special algorithms to perform either link prediction or sign prediction. In this work, we propose an effective model integration algorithm consisting of network embedding, network feature engineering, and an integrated classifier, which can perform the link and sign prediction in the same framework. Network embedding can accurately represent the characteristics of topological structures and cooperate with the powerful network feature engineering and integrated classifier can achieve better prediction. Experiments on several datasets show that the proposed model can achieve state-of-the-art or competitive performance for both link and sign prediction in spite of its generality. Interestingly, we find that using only very low network embedding dimension can generate high prediction performance, which can significantly reduce the computational overhead during training and prediction. This study offers a powerful methodology for multi-task prediction in complex networks.


title: Constraints on a tidal charge of the supermassive black hole in M87* with the EHT observations in April 2017

abstract: More than two years ago the Event Horizon Telescope collaboration presented the first image reconstruction around the shadow for the supermassive black hole in M87*. It gives an opportunity to evaluate the shadow size. Recently, the Event Horizon Telescope collaboration constrained parameters ("charges") of spherical symmetrical metrics of black holes from an estimated allowed interval for shadow radius from observations of M87* in 2017. Earlier, analytical expressions for the shadow radius as a function of charge (including a tidal one) in the case of Reissner--Nordstr\"om metric have been obtained. Some time ago, Bin-Nun proposed to apply a Reissner--Nordstr\"om metric with a tidal charge as an alternative to the Schwarzschild metric in Sgr~A*. If we assume that a Reissner--Nordstr\"om black hole with a tidal charge exists in M87*, therefore, based on results of the shadow size evaluation for M87* done by the Event Horizon Telescope collaboration we constrain a tidal charge. Similarly, we evaluate a tidal charge from shadow size estimates for Sgr~A*.


title: Statistical similarity between soft gamma repeaters and the repeating fast radio bursts

abstract: We study the statistical properties of the soft gamma repeater SGR 1935+2154. We find that the cumulative distributions of duration, waiting time, fluence and flux can be well fitted by bent power law. In addition, the probability density functions of fluctuations of duration, waiting time, fluence and flux well follow the Tsallis $q$-Gaussian distribution. The $q$ values keep steady for different temporal scale intervals, indicating a scale-invariant structure of the bursts. Those features are very similar to the property of the repeating fast radio burst FRB 121102, indicating the underlying association between the origins of soft gamma repeaters and repeating fast radio bursts.


title: Time-dependent phase quantification and local structure analysis of hydroxide-activated slag via X-ray total scattering and molecular modeling

abstract: Here, an approach to quantify the amorphous-to-disordered/crystalline transformation occurring in NaOH-activated ground granulated blast-furnace slag (GGBS) is outlined that combines atomistic modeling with in situ pair distribution function (PDF) analysis. Firstly, by using force-field molecular dynamics (MD) simulations, a detailed structural representation is generated for the amorphous GGBS that is in agreement with experimental X-ray scattering data. Use of this structural representation along with literature-derived structures for the reaction products allows for real space X-ray PDF refinement of the alkaline activation of GGBS, resulting in the quantification of all phases and the degree of reaction (DOR) as a function of reaction time. All phases and the DOR are seen to approximately follow a logarithmic-type time-dependent behavior up to 5 months, while at early age (up to 11 hours) the DOR is accurately captured by a modified pseudo-single step first-order reaction model. Lastly, the evolution of DOR is found to agree with several other complementary in situ data containing quantitative reaction information, including isothermal conduction calorimetry, Fourier transform infrared spectroscopy, and quasi-elastic neutron scattering.


title: NudgeCred: Supporting News Credibility Assessment on Social Media Through Nudges

abstract: Struggling to curb misinformation, social media platforms are experimenting with design interventions to enhance consumption of credible news on their platforms. Some of these interventions, such as the use of warning messages, are examples of nudges -- a choice-preserving technique to steer behavior. Despite their application, we do not know whether nudges could steer people into making conscious news credibility judgments online and if they do, under what constraints. To answer, we combine nudge techniques with heuristic based information processing to design NudgeCred -- a browser extension for Twitter. NudgeCred directs users' attention to two design cues: authority of a source and other users' collective opinion on a report by activating three design nudges -- Reliable, Questionable, and Unreliable, each denoting particular levels of credibility for news tweets. In a controlled experiment, we found that NudgeCred significantly helped users (n=430) distinguish news tweets' credibility, unrestricted by three behavioral confounds -- political ideology, political cynicism, and media skepticism. A five-day field deployment with twelve participants revealed that NudgeCred improved their recognition of news items and attention towards all of our nudges, particularly towards Questionable. Among other considerations, participants proposed that designers should incorporate heuristics that users' would trust. Our work informs nudge-based system design approaches for online media.


title: Challenges in identifying simple pattern-forming mechanisms in the development of settlements using demographic data

abstract: The rapid increase of population and settlement structures in the Global South during recent decades motivates the development of suitable models to describe their formation and evolution. Such settlement formation has been previously suggested to be dynamically driven by simple pattern-forming mechanisms. Here, we explore the use of a data-driven white-box approach, called SINDy, to discover differential equation models directly from available spatiotemporal demographic data for three representative regions of the Global South. We show that the current resolution and observation time of the available data is insufficient to uncover relevant pattern-forming mechanisms in settlement development. Using synthetic data generated with a generic pattern-forming model, the Allen-Cahn equation, we characterize what the requirements are on spatial and temporal resolution, as well as observation time, to successfully identify possible model system equations. Overall, the study provides a theoretical framework for the analysis of large-scale geographical/ecological systems, and it motivates further improvements in optimization approaches and data collection.


title: Geometry of Linear Convolutional Networks

abstract: We study the family of functions that are represented by a linear convolutional neural network (LCN). These functions form a semi-algebraic subset of the set of linear maps from input space to output space. In contrast, the families of functions represented by fully-connected linear networks form algebraic sets. We observe that the functions represented by LCNs can be identified with polynomials that admit certain factorizations, and we use this perspective to describe the impact of the network's architecture on the geometry of the resulting function space. We further study the optimization of an objective function over an LCN, analyzing critical points in function space and in parameter space, and describing dynamical invariants for gradient descent. Overall, our theory predicts that the optimized parameters of an LCN will often correspond to repeated filters across layers, or filters that can be decomposed as repeated filters. We also conduct numerical and symbolic experiments that illustrate our results and present an in-depth analysis of the landscape for small architectures.


title: The energetics of quantum vacuum friction: Field fluctuations

abstract: Quantum fluctuations can induce a friction on a neutral but polarizable particle and cause it to radiate energy even if the particle is moving in free space filled with blackbody radiation, and is not in contact with or close to any surface or other object. We explore the energetics of such a particle moving uniformly in vacuum, continuing our previous investigations of quantum friction. The intrinsic polarizability of the particle is considered to be purely real before it is dressed by radiation. The particle is then guaranteed to be in the nonequilibrium steady state (NESS), where it absorbs and emits energy at the same rate. We first calculate the quantum frictional power and force on the particle in the rest frame of the blackbody radiation from first principles, namely the Maxwell-Heaviside equations and the Lorentz force law. Then we provide a simpler method of obtaining the same quantities in the rest frame of the particle by using the principle of virtual work. The equivalence of the two approaches is illustrated. The formulas we derive for quantum vacuum frictional power and force are fully relativistic and applicable to finite temperature. In NESS, the quantum vacuum frictional force on the particle is shown to be a true drag, independent of the model for polarizability and the polarization state of the particle. Finally, we give an estimate of the quantum vacuum friction on a gold atom and comment on the feasibility of detecting such quantum vacuum frictional effects.


title: On the new identities of Dirichlet $L$-functions

abstract: Let $q\ge3$ be an integer, $\chi$ be a Dirichlet character modulo $q$, and $L(s,\chi)$ denote the Dirichlet $L$-functions corresponding to $\chi$. In this paper, we show some special function series, and give some new identities for the Dirichlet $L$-functions involving Gauss sums. Specially, we give specific identities for $L(2,\chi)$.


title: Axisymmetric simulations of the convective overstability in protoplanetary discs

abstract: Protoplanetary discs at certain radii exhibit adverse radial entropy gradients that can drive oscillatory convection (`convective overstability'; COS). The ensuing hydrodynamical activity may reshape the radial thermal structure of the disc while mixing solid material radially and vertically or, alternatively, concentrating it in vortical structures. We perform local axisymmetric simulations of the COS using the code SNOOPY, showing first how parasites halt the instability's exponential growth, and second, the different saturation routes it takes subsequently. As the Reynolds and (pseudo-) Richardson numbers increase, the system moves successively from (a) a weakly nonlinear state characterised by relatively ordered nonlinear waves, to (b) wave turbulence, and finally to (c) the formation of intermittent and then persistent zonal flows. In three-dimensions, we expect the latter flows to spawn vortices in the orbital plane. Given the very high Reynolds numbers in protoplanetary discs, the third regime should be the most prevalent. As a consequence, we argue that the COS is an important dynamical process in planet formation, especially near features such as dead zone edges, ice lines, gaps, and dust rings.


title: iART: A Search Engine for Art-Historical Images to Support Research in the Humanities

abstract: In this paper, we introduce iART: an open Web platform for art-historical research that facilitates the process of comparative vision. The system integrates various machine learning techniques for keyword- and content-based image retrieval as well as category formation via clustering. An intuitive GUI supports users to define queries and explore results. By using a state-of-the-art cross-modal deep learning approach, it is possible to search for concepts that were not previously detected by trained classification models. Art-historical objects from large, openly licensed collections such as Amsterdam Rijksmuseum and Wikidata are made available to users.


title: Varieties of class-theoretic potentialism

abstract: We explain and explore class-theoretic potentialism -- the view that one can always individuate more classes over a set-theoretic universe. We examine some motivations for class-theoretic potentialism, before proving some results concerning the relevant potentialist systems (in particular exhibiting failures of the .2 and .3 axioms). We then discuss the significance of these results for the different kinds of class-theoretic potentialist.


title: Controlled Deep Reinforcement Learning for Optimized Slice Placement

abstract: We present a hybrid ML-heuristic approach that we name "Heuristically Assisted Deep Reinforcement Learning (HA-DRL)" to solve the problem of Network Slice Placement Optimization. The proposed approach leverages recent works on Deep Reinforcement Learning (DRL) for slice placement and Virtual Network Embedding (VNE) and uses a heuristic function to optimize the exploration of the action space by giving priority to reliable actions indicated by an efficient heuristic algorithm. The evaluation results show that the proposed HA-DRL algorithm can accelerate the learning of an efficient slice placement policy improving slice acceptance ratio when compared with state-of-the-art approaches that are based only on reinforcement learning.


title: Intrinsic finite-energy Cooper pairing in $j=3/2$ superconductors

abstract: We show that Cooper pairing can occur intrinsically away from the Fermi surface in $j=3/2$ superconductors with strong spin-orbit coupling and equally curved bands in the normal state. In contrast to conventional pairing between spin-$1/2$ electrons, we derive that pairing can happen between inter-band electrons having different magnetic quantum numbers, for instance, $m_j=1/2$ and $m_j=3/2$. Such superconducting correlations manifest themselves by a pair of indirect gap-like structures at finite excitation energies. An observable signature of this exotic pairing is the emergence of a pair of symmetric superconducting coherence peaks in the density of states at finite energies. Moreover, the angular-momentum-resolved density of states in the presence of a perturbative Zeeman field reflects the $m_j$ composition of the Cooper pairs. We argue that such finite-energy pairing is a generic feature of $j=3/2$ superconductors, both in presence and absence of inversion symmetry.


title: Quadric bundles and hyperbolic equivalence

abstract: We introduce the notion of hyperbolic equivalence for quadric bundles and quadratic forms on vector bundles and show that hyperbolic equivalent quadric bundles share many important properties: they have the same Brauer data; moreover, if they have the same dimension over the base, they are birational over the base and have equal classes in the Grothendieck ring of varieties. Furthermore, when the base is a projective space we show that two quadratic forms are hyperbolic equivalent if and only if their cokernel sheaves are isomorphic up to twist, their fibers over a fixed point of the base are Witt equivalent, and, in some cases, certain quadratic forms on intermediate cohomology groups of the underlying vector bundles are Witt equivalent. For this we show that any quadratic form over $\mathbb{P}^n$ is hyperbolic equivalent to a quadratic form whose underlying vector bundle has many cohomology vanishings; this class of bundles, called VLC bundles in the paper, is interesting by itself.


title: EVA: An Open-Domain Chinese Dialogue System with Large-Scale Generative Pre-Training

abstract: Although pre-trained language models have remarkably enhanced the generation ability of dialogue systems, open-domain Chinese dialogue systems are still limited by the dialogue data and the model size compared with English ones. In this paper, we propose EVA, a Chinese dialogue system that contains the largest Chinese pre-trained dialogue model with 2.8B parameters. To build this model, we collect the largest Chinese dialogue dataset named WDC-Dialogue from various public social media. This dataset contains 1.4B context-response pairs and is used as the pre-training corpus of EVA. Extensive experiments on automatic and human evaluation show that EVA outperforms other Chinese pre-trained dialogue models especially in the multi-turn interaction of human-bot conversations.


title: Inference via Sparse Coding in a Hierarchical Vision Model

abstract: Sparse coding has been incorporated in models of the visual cortex for its computational advantages and connection to biology. But how the level of sparsity contributes to performance on visual tasks is not well understood. In this work, sparse coding has been integrated into an existing hierarchical V2 model (Hosoya and Hyv\"arinen, 2015), but replacing its independent component analysis (ICA) with an explicit sparse coding in which the degree of sparsity can be controlled. After training, the sparse coding basis functions with a higher degree of sparsity resembled qualitatively different structures, such as curves and corners. The contributions of the models were assessed with image classification tasks, specifically tasks associated with mid-level vision including figure-ground classification, texture classification, and angle prediction between two line stimuli. In addition, the models were assessed in comparison to a texture sensitivity measure that has been reported in V2 (Freeman et al., 2013), and a deleted-region inference task. The results from the experiments show that while sparse coding performed worse than ICA at classifying images, only sparse coding was able to better match the texture sensitivity level of V2 and infer deleted image regions, both by increasing the degree of sparsity in sparse coding. Higher degrees of sparsity allowed for inference over larger deleted image regions. The mechanism that allows for this inference capability in sparse coding is described here.


title: Ultralow-voltage operation of light-emitting diodes

abstract: The radiative recombination of injected charge carriers gives rise to electroluminescence (EL), a central process for light-emitting diode (LED) operation. It is often presumed in some emerging fields of optoelectronics, including perovskite and organic LEDs, that the minimum voltage required for light emission is the semiconductor bandgap divided by the elementary charge. Here we show for many classes of LEDs, including those based on metal halide perovskite, organic, chalcogenide quantum-dot and commercial III-V semiconductors, photon emission can be generally observed at record-low driving voltages of 36%-60% of their bandgaps, corresponding to a large apparent energy gain of 0.6-1.4 eV per emitted photon. Importantly, for various classes of LEDs with very different modes of charge injection and recombination (dark saturation current densities ranging from ~10^-35 to ~10^-21 mA/cm2), their EL intensity-voltage curves under low voltages exhibit similar behaviors, revealing a universal origin of ultralow-voltage device operation. Finally, we demonstrate as a proof-of-concept that perovskite LEDs can transmit data efficiently to a silicon detector at 1V, a voltage below the silicon bandgap. Our work provides a fresh insight into the operational limits of electroluminescent diodes, highlighting the significant potential of integrating low-voltage LEDs with silicon electronics for next-generation communications and computational applications.


title: Four Symmetries of the KdV equation

abstract: We revisit the symmetry structure of integrable PDEs, looking at the specific example of the KdV equation. We identify 4 nonlocal symmetries of KdV depending on a parameter, which we call generating symmetries. We explain that since these are nonlocal symmetries, their commutator algebra is not uniquely determined, and we present three possibilities for the algebra. In the first version, 3 of the 4 symmetries commute; this shows that it is possible to add further (nonlocal) commuting flows to the standard KdV hierarchy. The second version of the commutator algebra is consistent with Laurent expansions of the symmetries, giving rise to an infinite dimensional algebra of hidden symmetries of KdV. The third version is consistent with asymptotic expansions for large values of the parameter, giving rise to the standard commuting symmetries of KdV, the infinite hierarchy of "additional symmetries", and their traditionally accepted commutator algebra (though this also suffers from some ambiguity as the additional symmetries are nonlocal). We explain how the 3 symmetries that commute in the first version of the algebra can all be regarded as infinitesimal double B\"acklund transformations. The 4 generating symmetries incorporate all known symmetries of the KdV equation, but also exhibit some remarkable novel structure, arising from their nonlocality. We believe this structure to be shared by other integrable PDEs.


title: An averaging result for periodic solutions of Carath\'{e}odory differential equations

abstract: This paper is concerned with the problem of existence of periodic solutions for perturbative Carath\'{e}odory differential equations. The main result provides sufficient conditions on the averaged equation that guarantee the existence of periodic solutions. Additional conditions are also provided to ensure the uniform convergence of a periodic solution to a constant function. The proof of the main theorem is mainly based on an abstract continuation result for operator equations.


title: Online Estimation of Diameter at Breast Height (DBH) of Forest Trees Using a Handheld LiDAR

abstract: While mobile LiDAR sensors are increasingly used to scan in ecology and forestry applications, reconstruction and characterisation are typically carried out offline (to the best of our knowledge). Motivated by this, we present an online LiDAR system which can run on a handheld device to segment and track individual trees and identify them in a fixed coordinate system. Segments relating to each tree are accumulated over time, and tree models are completed as more scans are captured from different perspectives. Using this reconstruction we then fit a cylinder model to each tree trunk by solving a least-squares optimisation over the points to estimate the Diameter at Breast Height (DBH) of the trees. Experimental results demonstrate that our system can estimate DBH to within $\sim$7 cm accuracy for 90% of individual trees in a forest (Wytham Woods, Oxford)


title: Amortized Neural Networks for Low-Latency Speech Recognition

abstract: We introduce Amortized Neural Networks (AmNets), a compute cost- and latency-aware network architecture particularly well-suited for sequence modeling tasks. We apply AmNets to the Recurrent Neural Network Transducer (RNN-T) to reduce compute cost and latency for an automatic speech recognition (ASR) task. The AmNets RNN-T architecture enables the network to dynamically switch between encoder branches on a frame-by-frame basis. Branches are constructed with variable levels of compute cost and model capacity. Here, we achieve variable compute for two well-known candidate techniques: one using sparse pruning and the other using matrix factorization. Frame-by-frame switching is determined by an arbitrator network that requires negligible compute overhead. We present results using both architectures on LibriSpeech data and show that our proposed architecture can reduce inference cost by up to 45\% and latency to nearly real-time without incurring a loss in accuracy.


title: Sexing Caucasian 2D footprints using convolutional neural networks

abstract: Footprints are left, or obtained, in a variety of scenarios from crime scenes to anthropological investigations. Determining the sex of a footprint can be useful in screening such impressions and attempts have been made to do so using single or multi landmark distances, shape analyses and via the density of friction ridges. Here we explore the relative importance of different components in sexing two-dimensional foot impressions namely, size, shape and texture. We use a machine learning approach and compare this to more traditional methods of discrimination. Two datasets are used, a pilot data set collected from students at Bournemouth University (N=196) and a larger data set collected by podiatrists at Sheffield NHS Teaching Hospital (N=2677). Our convolutional neural network can sex a footprint with accuracy of around 90% on a test set of N=267 footprint images using all image components, which is better than an expert can achieve. However, the quality of the impressions impacts on this success rate, but the results are promising and in time it may be possible to create an automated screening algorithm in which practitioners of whatever sort (medical or forensic) can obtain a first order sexing of a two-dimensional footprint.


title: Domain Adaptor Networks for Hyperspectral Image Recognition

abstract: We consider the problem of adapting a network trained on three-channel color images to a hyperspectral domain with a large number of channels. To this end, we propose domain adaptor networks that map the input to be compatible with a network trained on large-scale color image datasets such as ImageNet. Adaptors enable learning on small hyperspectral datasets where training a network from scratch may not be effective. We investigate architectures and strategies for training adaptors and evaluate them on a benchmark consisting of multiple hyperspectral datasets. We find that simple schemes such as linear projection or subset selection are often the most effective, but can lead to a loss in performance in some cases. We also propose a novel multi-view adaptor where of the inputs are combined in an intermediate layer of the network in an order invariant manner that provides further improvements. We present extensive experiments by varying the number of training examples in the benchmark to characterize the accuracy and computational trade-offs offered by these adaptors.


title: Highly superlinear photogalvanic effects in (Bi$_{0.3}$Sb$_{0.7}$)$_2$(Te$_{0.1}$Se$_{0.9}$)$_3$: Probing 3D topological insulator surface states at room temperature

abstract: We report on the observation of complex nonlinear intensity dependence of the circular and linear photogalvanic currents induced by infrared radiation in compensated (Bi$_{0.3}$Sb$_{0.7}$)$_2$(Te$_{0.1}$Se$_{0.9}$)$_3$ 3D topological insulators. The photocurrents are induced by direct optical transitions between topological surface and bulk states. We show that an increase of the radiation intensity results first in a highly superlinear raise of the amplitude of both types of photocurrents, whereas at higher intensities the photocurrent saturates. Our analysis of the observed nonlinearities shows that the superlinear behavior of the photocurrents is caused by a heating of the electron gas, while the saturation is induced by a slow relaxation of the photoexcited carriers resulting in absorbance bleaching. The observed nonlinearities give access to the Fermi level position with respect to the Dirac point and the energy relaxation times of Dirac fermions providing an experimental room temperature probe for topological surface states.


title: Stable determination by a single measurement, scattering bound and regularity of transmission eigenfunction

abstract: In this paper, we study an inverse problem of determining the cross section of an infinitely long cylindrical-like material structure from the transverse electromagnetic scattering measurement. We establish a sharp logarithmic stability result in determining a polygonal scatterer by a single far-field measurement. The argument in establishing the stability result is localized around a corner and can be as well used to produce two highly intriguing implications for invisibility and transmission resonance in the wave scattering theory. In fact, we show that if a generic medium scatterer possesses an admissible corner on its support, then there exists a positive lower bound of the $L^2$-norm of the associated far-field pattern. For the transmission resonance, we discover a quantitative connection between the regularity of the transmission eigenfunction at a corner and its analytic or Fourier extension.


title: Intra-Basis Multiplication of Polynomials Given in Various Polynomial Bases

abstract: Multiplication of polynomials is among key operations in computer algebra which plays important roles in developing techniques for other commonly used polynomial operations such as division, evaluation/interpolation, and factorization. In this work, we present formulas and techniques for polynomial multiplications expressed in a variety of well-known polynomial bases without any change of basis. In particular, we take into consideration degree-graded polynomial bases including, but not limited to orthogonal polynomial bases and non-degree-graded polynomial bases including the Bernstein and Lagrange bases. All of the described polynomial multiplication formulas and techniques in this work, which are mostly presented in matrix-vector forms, preserve the basis in which the polynomials are given. Furthermore, using the results of direct multiplication of polynomials, we devise techniques for intra-basis polynomial division in the polynomial bases. A generalization of the well-known "long division" algorithm to any degree-graded polynomial basis is also given. The proposed framework deals with matrix-vector computations which often leads to well-structured matrices. Finally, an application of the presented techniques in constructing the Galerkin representation of polynomial multiplication operators is illustrated for discretization of a linear elliptic problem with stochastic coefficients.


title: Estimates for Littlewood--Paley Operators on Ball Campanato-Type Function Spaces

abstract: Let $X$ be a ball quasi-Banach function space on ${\mathbb R}^n$ and assume that the Hardy--Littlewood maximal operator satisfies the Fefferman--Stein vector-valued maximal inequality on $X$, and let $q\in[1,\infty)$ and $d\in(0,\infty)$. In this article, the authors prove that, for any $f\in \mathcal{L}_{X,q,0,d}(\mathbb{R}^n)$ (the ball Campanato-type function space associated with $X$), the Littlewood--Paley $g$-function $g(f)$ is either infinite everywhere or finite almost everywhere and, in the latter case, $g(f)$ is bounded on $\mathcal{L}_{X,q,0,d}(\mathbb{R}^n)$. Similar results for both the Lusin-area function and the Littlewood--Paley $g_\lambda^*$-function are also obtained. All these results have a wide range of applications. Particularly, even when $X$ is the weighted Lebesgue space, or the mixed-norm Lebesgue space, or the variable Lebesgue space, or the Orlicz space, or the Orlicz-slice space, all these results are new. The proofs of all these results strongly depend on several delicate estimates of Littlewood--Paley operators on the mean oscillation of the locally integrable function $f$ on $\mathbb{R}^n$. Moreover, the same ideas are also used to obtain the corresponding results for the special John--Nirenberg--Campanato space via congruent cubes.


title: Topological states in quasicrystals

abstract: With the rapid development of topological states in crystals, the study of topological states has been extended to quasicrystals in recent years. In this review, we summarize the recent progress of topological states in quasicrystals, particularly focusing on one-dimensional (1D) and 2D systems. We first give a brief introduction to quasicrystalline structures. Then, we discuss topological phases in 1D quasicrystals where the topological nature is attributed to the synthetic dimensions associated with the quasiperiodic order of quasicrystals. We further present the generalization of various types of crystalline topological states to 2D quasicrystals, where real-space expressions of corresponding topological invariants are introduced due to the lack of translational symmetry in quasicrystals. Finally, since quasicrystals possess forbidden symmetries in crystals such as five-fold and eight-fold rotation, we provide an overview of unique quasicrystalline symmetry-protected topological states without crystalline counterpart.

categories: cond-mat.mtrl-sci cond-mat.mes-hall physics.optics quant-ph


title: Learning a Neural Diff for Speech Models

abstract: As more speech processing applications execute locally on edge devices, a set of resource constraints must be considered. In this work we address one of these constraints, namely over-the-network data budgets for transferring models from server to device. We present neural update approaches for release of subsequent speech model generations abiding by a data budget. We detail two architecture-agnostic methods which learn compact representations for transmission to devices. We experimentally validate our techniques with results on two tasks (automatic speech recognition and spoken language understanding) on open source data sets by demonstrating when applied in succession, our budgeted updates outperform comparable model compression baselines by significant margins.


title: Charmed meson production based on dipole transverse momentum representation in high energy hadron-hadron collisions available at the LHC

abstract: The production of $D$-mesons in high-energy $pp$ collisions at the LHC kinematic regime is analyzed with the dipole approach in the momentum representation. We present predictions for the $D$-meson differential cross section in terms of the transverse momentum and rapidity distributions taking into account the nonlinear behavior of the QCD dynamics. Comparison between our results and the corresponding experimental measurements reported by the ALICE and LHCb Collaborations in different rapidity bins is performed. We show that the $D$-meson production in the high energy limit can be properly addressed by using the QCD dipole transverse momentum distributions.


title: A new type of mirror symmetry in the set of protein amino acids

abstract: In several previous works, I presented the mirror symmetry in the set of protein amino acids, expressed through the number of atoms. Here, however, the same thing is shown but over the number of nucleons and molecules mass. Compared to the previous version of the paper, minimal changes have been made, and Display 2 as well as Figures 3 and 4 have been added.


title: Classification of $\mathbb{Z}/2\mathbb{Z}$-quadratic unitary fusion categories

abstract: A unitary fusion category is called $\mathbb{Z}/2\mathbb{Z}$-quadratic if it has a $\mathbb{Z}/2\mathbb{Z}$ group of invertible objects and one other orbit of simple objects under the action of this group. We give a complete classification of $\mathbb{Z}/2\mathbb{Z}$-quadratic unitary fusion categories. The main tools for this classification are skein theory, a generalization of Ostrik's results on formal codegrees to analyze the induction of the group elements to the center, and a computation similar to Larson's rank-finiteness bound for $\mathbb{Z}/3\mathbb{Z}$-near group pseudounitary fusion categories. This last computation is contained in an appendix coauthored with attendees from the 2014 AMS MRC on Mathematics of Quantum Phases of Matter and Quantum Information.


title: Hardware-aware Design of Multiplierless Second-Order IIR Filters with Minimum Adders

abstract: In this work, we optimally solve the problem of multiplierless design of second-order Infinite Impulse Response filters with minimum number of adders. Given a frequency specification, we design a stable direct form filter with hardware-aware fixed-point coefficients that yielding minimal number of adders when replacing all the multiplications by bit shifts and additions. The coefficient design, quantization and implementation, typically conducted independently, are now gathered into one global optimization problem, modeled through integer linear programming and efficiently solved using generic solvers. We guarantee the frequency-domain specifications and stability, which together with optimal number of adders will significantly simplify design-space exploration for filter designers. The optimal filters are implemented within the FloPoCo IP core generator and synthesized for Field Programmable Gate Arrays. With respect to state-of-the-art three-step filter design methods, our one-step design approach achieves, on average, 42% reduction in the number of lookup tables and 21% improvement in delay.


title: Sentential logics based on k-cyclic modal pseudocomplemented De Morgan algebras

abstract: The study of the theory of operators over modal pseudocomplemented De Morgan algebras was begun in the papers [15] and [16]. In this paper, we introduce and study the class of modal pseudocomplemented De Morgan algebras enriched by an automorphism k-periodic (or Ck-algebras) where k is a positive integer; for k = 2 the class coincides with the one studied in [15] where the automorphism works as a new unary operator. In the first place, we prove the class Ck-algebras is a semisimple variety and we determine the generating algebras. Afterwards, we calculate the cardinality of the free Ck-algebra with n generator. After the algebraic study, we built two sentential logics that have as algebraic counterpart the class of Ck-algebras that we denote L<k and Lk for every k. Lk is a 1-assertional logic and L<k is the degree-preserving logic both associated with the class of Ck-algebras. Working over these logics, we prove that L<k is paraconsistent, which is protoalgebraic and finitely equivalential but not algebraizable. In contrast, we prove that Lk is algebraizable, sharing the same theorem with L<k, but not paraconsistent.


title: Compatibility condition for the Eulerian left Cauchy-Green deformation tensor field

abstract: An explicit compatibility condition formula is presented for the Eulerian left Cauchy-Green deformation tensor field. It is shown to be the appropriate finite-strain counterpart of Saint-Venant's compatibility condition. The difference between the Eulerian problem and the Lagrangian one is highlighted.


title: Deep learning enables accurate sound redistribution via nonlocal metasurfaces

abstract: Conventional acoustic metasurfaces are constructed with gradiently ``local'' phase shift profiles provided by subunits. The local strategy implies the ignorance of the mutual coupling between subunits, which limits the efficiency of targeted sound manipulation, especially in complex environments. By taking into account the ``nonlocal'' interaction among subunits, nonlocal metasurface offers an opportunity for accurate control of sound propagation, but the requirement of the consideration of gathering coupling among all subunits, not just the nearest-neighbor coupling, greatly increases the complexity of the system and therefore hinders the explorations of functionalities of nonlocal metasurfaces. In this work, empowered by deep learning algorithms, the complex gathering coupling can be learned efficiently from the preset dataset so that the functionalities of nonlocal metasurfaces can be significantly uncovered. As an example, we demonstrate that nonlocal metasurfaces, which can redirect an incident wave into multi-channel reflections with arbitrary energy ratios, can be accurately predicted by deep learning algorithms. Compared to the theory, the relative error of the energy ratios is less than 1\%. Furthermore, experiments witness three-channel reflection with three types of energy ratios of (1, 0, 0), (1/2, 0, 1/2), and (1/3, 1/3, 1/3), proving the validity of the deep learning enabled nonlocal metasurfaces. Our work might blaze a new trail in the design of acoustic functional devices, especially for the cases containing complex wave-matter interactions.


title: Deep GAN-Based Cross-Spectral Cross-Resolution Iris Recognition

abstract: In recent years, cross-spectral iris recognition has emerged as a promising biometric approach to establish the identity of individuals. However, matching iris images acquired at different spectral bands (i.e., matching a visible (VIS) iris probe to a gallery of near-infrared (NIR) iris images or vice versa) shows a significant performance degradation when compared to intraband NIR matching. Hence, in this paper, we have investigated a range of deep convolutional generative adversarial network (DCGAN) architectures to further improve the accuracy of cross-spectral iris recognition methods. Moreover, unlike the existing works in the literature, we introduce a resolution difference into the classical cross-spectral matching problem domain. We have developed two different techniques using the conditional generative adversarial network (cGAN) as a backbone architecture for cross-spectral iris matching. In the first approach, we simultaneously address the cross-resolution and cross-spectral matching problem by training a cGAN that jointly translates cross-resolution as well as cross-spectral tasks to the same resolution and within the same spectrum. In the second approach, we design a coupled generative adversarial network (cpGAN) architecture consisting of a pair of cGAN modules that project the VIS and NIR iris images into a low-dimensional embedding domain to ensure maximum pairwise similarity between the feature vectors from the two iris modalities of the same subject.


title: Multiscale Model of Clogging in Microfluidic Devices with Grid-Like Geometries

abstract: We propose a coarse-grained theoretical model to capture the aging of microfluidic devices under different conditions including constant applied flow rate and constant applied pressure gradient. Microfluidic devices that sort cells by their deformability hold significant promise for medical applications. However, clogging in these microfluidic systems causes their properties to change over time and potentially limits their reliability. We compare the results of the coarse-grained model to those of stochastic simulations and to existing theoretical studies. Lastly, we apply the model to experimental data on the clogging of sickle red blood cells and discuss its wider applicability.


title: Multiclass classification of dephasing channels

abstract: We address the use of neural networks (NNs) in classifying the environmental parameters of single-qubit dephasing channels. In particular, we investigate the performance of linear perceptrons and of two non-linear NN architectures. At variance with time-series-based approaches, our goal is to learn a discretized probability distribution over the parameters using tomographic data at just two random instants of time. We consider dephasing channels originating either from classical 1/f{\alpha} noise or from the interaction with a bath of quantum oscillators. The parameters to be classified are the color {\alpha} of the classical noise or the Ohmicity parameter s of the quantum environment. In both cases, we found that NNs are able to exactly classify parameters into 16 classes using noiseless data (a linear NN is enough for the color, whereas a single-layer NN is needed for the Ohmicity). In the presence of noisy data (e.g. coming from noisy tomographic measurements), the network is able to classify the color of the 1/f{\alpha} noise into 16 classes with about 70% accuracy, whereas classification of Ohmicity turns out to be challenging. We also consider a more coarse-grained task, and train the network to discriminate between two macro-classes corresponding to {\alpha} \lessgtr 1 and s \lessgtr 1, obtaining up to 96% and 79% accuracy using single-layer NNs.


title: Non-Prehensile Manipulation of Cuboid Objects Using a Catenary Robot

abstract: Transporting objects using quadrotors with cables has been widely studied in the literature. However, most of those approaches assume that the cables are previously attached to the load by human intervention. In tasks where multiple objects need to be moved, the efficiency of the robotic system is constrained by the requirement of manual labor. Our approach uses a non-stretchable cable connected to two quadrotors, which we call the catenary robot, that fully automates the transportation task. Using the cable, we can roll and drag the cuboid object (box) on planar surfaces. Depending on the surface type, we choose the proper action, dragging for low friction, and rolling for high friction. Therefore, the transportation process does not require any human intervention as we use the cable to interact with the box without requiring fastening. We validate our control design in simulation and with actual robots, where we show them rolling and dragging boxes to track desired trajectories.


title: Classification of Discrete Dynamical Systems Based on Transients

abstract: In order to develop systems capable of artificial evolution, we need to identify which systems can produce complex behavior. We present a novel classification method applicable to any class of deterministic discrete space and time dynamical systems. The method is based on classifying the asymptotic behavior of the average computation time in a given system before entering a loop. We were able to identify a critical region of behavior that corresponds to a phase transition from ordered behavior to chaos across various classes of dynamical systems. To show that our approach can be applied to many different computational systems, we demonstrate the results of classifying cellular automata, Turing machines, and random Boolean networks. Further, we use this method to classify 2D cellular automata to automatically find those with interesting, complex dynamics. We believe that our work can be used to design systems in which complex structures emerge. Also, it can be used to compare various versions of existing attempts to model open-ended evolution (Ray (1991), Ofria et al. (2004), Channon (2006)).


title: Microscopic evidence for anisotropic multigap superconductivity in the CsV$_3$Sb$_5$ kagome superconductor

abstract: The recently discovered kagome superconductor CsV$_3$Sb$_5$ ($T_c \simeq 2.5$ K) has been found to host charge order as well as a non-trivial band topology, encompassing multiple Dirac points and probable surface states. Such a complex and phenomenologically rich system is, therefore, an ideal playground for observing unusual electronic phases. Here, we report on microscopic studies of its anisotropic superconducting properties by means of transverse-field muon spin rotation ($\mu$SR) experiments. The temperature dependences of the in-plane and out-of-plane components of the magnetic penetration depth $\lambda_{ab}^{-2}(T)$ and $\lambda_{c}^{-2}(T)$ indicate that the superconducting order parameter exhibits a two-gap ($s+s$)-wave symmetry, reflecting the multiple Fermi surfaces of CsV3Sb5. The multiband nature of its superconductivity is further validated by the different temperature dependences of the anisotropic magnetic penetration depth $\gamma_\lambda(T)$ and upper critical field $\gamma_{\rm B_{c2}}(T)$, both in close analogy with the well known two-gap superconductor MgB$_2$. Remarkably, the high value of the $T_c/\lambda^{-2}(0)$ ratio in both field orientations strongly suggests the unconventional nature of superconductivity. The relaxation rates obtained from zero field $\mu$SR experiments do not show noticeable change across the superconducting transition, indicating that superconductivity does not break time reversal symmetry.


title: Cosmic Tidal Reconstruction with Halo Fields

abstract: The gravitational coupling between large-scale perturbations and small-scale perturbations leads to anisotropic distortions of the small-scale matter distribution. The measured local small-scale power spectrum can thus be used to infer the large-scale matter distribution. In this paper, we present a new tidal reconstruction algorithm for reconstructing large-scale modes using the full three-dimensional tidal shear information. We apply it to simulated dark matter halo fields and the reconstructed large-scale density field correlates well with the original matter density field on large scales, improving upon the previous tidal reconstruction method which only uses two transverse shear fields. This has profound implications for recovering lost 21~cm radial modes due to foreground subtraction and constraining primordial non-Gaussianity using the multi-tracer method with future cosmological surveys.


title: A Benchmarking Initiative for Audio-Domain Music Generation Using the Freesound Loop Dataset

abstract: This paper proposes a new benchmark task for generat-ing musical passages in the audio domain by using thedrum loops from the FreeSound Loop Dataset, which arepublicly re-distributable. Moreover, we use a larger col-lection of drum loops from Looperman to establish fourmodel-based objective metrics for evaluation, releasingthese metrics as a library for quantifying and facilitatingthe progress of musical audio generation. Under this eval-uation framework, we benchmark the performance of threerecent deep generative adversarial network (GAN) mod-els we customize to generate loops, including StyleGAN,StyleGAN2, and UNAGAN. We also report a subjectiveevaluation of these models. Our evaluation shows that theone based on StyleGAN2 performs the best in both objec-tive and subjective metrics.


title: $N$-spike string in $AdS_3 \times S^1$ with mixed flux

abstract: Sigma model in $AdS_3\times S^3$ background supported by both NS-NS and R-R fluxes is one of the most distinguished integrable models. We study a class of classical string solutions for $N$-spike strings moving in $AdS_3 \times S^1$ with angular momentum $J$ in $S^1 \subset S^5$ in the presence of mixed flux. We observe that the addition of angular momentum $J$ or winding number $m$ results in the spikes getting rounded off and not end in cusp. The presence of flux shows no alteration to the rounding-off nature of the spikes. We also consider the large $N$-limit of $N$-spike string in $AdS_3 \times S^1$ in the presence of flux and show that the so-called Energy-Spin dispersion relation is analogous to the solution we get for the periodic-spike in $AdS_3-pp-$wave $\times S^1$ background with flux.


title: SPG-VTON: Semantic Prediction Guidance for Multi-pose Virtual Try-on

abstract: Image-based virtual try-on is challenging in fitting a target in-shop clothes into a reference person under diverse human poses. Previous works focus on preserving clothing details ( e.g., texture, logos, patterns ) when transferring desired clothes onto a target person under a fixed pose. However, the performances of existing methods significantly dropped when extending existing methods to multi-pose virtual try-on. In this paper, we propose an end-to-end Semantic Prediction Guidance multi-pose Virtual Try-On Network (SPG-VTON), which could fit the desired clothing into a reference person under arbitrary poses. Concretely, SPG-VTON is composed of three sub-modules. First, a Semantic Prediction Module (SPM) generates the desired semantic map. The predicted semantic map provides more abundant guidance to locate the desired clothes region and produce a coarse try-on image. Second, a Clothes Warping Module (CWM) warps in-shop clothes to the desired shape according to the predicted semantic map and the desired pose. Specifically, we introduce a conductible cycle consistency loss to alleviate the misalignment in the clothes warping process. Third, a Try-on Synthesis Module (TSM) combines the coarse result and the warped clothes to generate the final virtual try-on image, preserving details of the desired clothes and under the desired pose. Besides, we introduce a face identity loss to refine the facial appearance and maintain the identity of the final virtual try-on result at the same time. We evaluate the proposed method on the most massive multi-pose dataset (MPV) and the DeepFashion dataset. The qualitative and quantitative experiments show that SPG-VTON is superior to the state-of-the-art methods and is robust to the data noise, including background and accessory changes, i.e., hats and handbags, showing good scalability to the real-world scenario.


title: Algebraic and Graph-Theoretic Conditions for the Herdability of Linear Time-Invariant Systems

abstract: In this paper we investigate a relaxed concept of controllability, known in the literature as herdability, namely the capability of a system to be driven towards the(interior of the) positive orthant. Specifically, we investigate herdability for linear time-invariant systems, both from an algebraic perspective and based on the graph representing the systems interactions. In addition, we focus on linear state-space models corresponding to matrix pairs (A;B) in which the matrix B is a selection matrix that determines the leaders in the network, and we show that the weights that followers give to the leaders do not affect the herdability of the system. We then focus on the herdability problem for systems with a single leader in which interactions are symmetric and the network topology is acyclic, in which case an algorithm for the leader selection is provided. In this context, under some additional conditions on the mutual distances, necessary and sufficient conditions for the herdability of the overall system are given.


title: Biased multilinear maps of abelian groups

abstract: We adapt the theory of partition rank and analytic rank to the category of abelian groups. If $A_1, \dots, A_k$ are finite abelian groups and $\phi : A_1 \times \cdots \times A_k \to \mathbf{T}$ is a multilinear map, where $\mathbf{T} = \mathbf{R}/\mathbf{Z}$, the bias of $\phi$ is defined to be the average value of $\exp(i 2 \pi \phi)$. If the bias of $\phi$ is bounded away from zero we show that $\phi$ is the sum of boundedly many multilinear maps each of which factors through the standard multiplication map of $\mathbf{Z}/q\mathbf{Z}$ for some bounded prime power $q$. Relatedly, if $F : A_1 \times \cdots \times A_{k-1} \to B$ is a multilinear map such that $\mathbf{P}(F = 0)$ is bounded away from zero, we show that $F$ is the sum of boundedly many multilinear functions of a particular form. These structure theorems generalize work of several authors in the elementary abelian case to the arbitrary abelian case. The set of all possible biases is also investigated.


title: Iterating the Big--Pieces operator and larger sets

abstract: We show that if an Ahlfors-David regular set $E$ of dimension $k$ has Big Pieces of Big Pieces of Lipschitz Graphs (denoted usually by $BP(BP(LG))$), then $E\subset \tilde{E}$ where $\tilde{E}$ is Ahlfors-David regular of dimension $k$ and has Big Pieces of Lipschitz Graphs (denoted usually by $BP(LG)$. Our results are quantitative and, in fact, are proven in the setting of a metric space for any family of Ahlfors-David regular sets $\mathcal{F}$ replacing $LG$. A simple corollary is the stability of the BP operator after 2 iterations. This was previously only known in the Euclidean setting for the case $\mathcal{F}= LG$ with substantially more complicated proofs.


title: Efficient Data Selection Methods for the Development of Machine Learned Potentials

abstract: We present an investigation into data selection methods for the efficient sampling of configuration space as applied to the development of inter-atomic potentials for scale bridging in molecular dynamics (MD) simulations. This investigation suggests that the most efficient sampling techniques are those that incorporate information on an atomic level such as forces or atomic energies. Finally, we generate an inter-atomic potential for the a sodium chloride system using each data selection technique and find that the global selection methods result in non-physical simulations.


title: Embedded software developments in KM3NeT phase I

abstract: The KM3NeT Collaboration has already produced more than one thousand acquisition boards, used for building two deep-sea neutrino detectors at the bottom of the Mediterranean Sea, with the aim of instrumenting a volume of several cubic kilometers with light sensors to detect the Cherenkov radiation produced in neutrino interactions. The the so-called Digital Optical Modules, house the PMTs and the acquisition and control electronics of the module, the Central Logic Board, which includes a Xilinx FPGA and embedded soft processor. The present work presents the architecture and functionalities of the software embedded in the soft processor of the Central Logic Board.


title: Numerical Solution of Stiff ODEs with Physics-Informed RPNNs

abstract: We propose a numerical method based on physics-informed Random Projection Neural Networks for the solution of Initial Value Problems (IVPs) of Ordinary Differential Equations (ODEs) with a focus on stiff problems. We address an Extreme Learning Machine with a single hidden layer with radial basis functions having as widths uniformly distributed random variables, while the values of the weights between the input and the hidden layer are set equal to one. The numerical solution of the IVPs is obtained by constructing a system of nonlinear algebraic equations, which is solved with respect to the output weights by the Gauss-Newton method, using a simple adaptive scheme for adjusting the time interval of integration. To assess its performance, we apply the proposed method for the solution of four benchmark stiff IVPs, namely the Prothero-Robinson, van der Pol, ROBER and HIRES problems. Our method is compared with an adaptive Runge-Kutta method based on the Dormand-Prince pair, and a variable-step variable-order multistep solver based on numerical differentiation formulas, as implemented in the \texttt{ode45} and \texttt{ode15s} MATLAB functions, respectively. We show that the proposed scheme yields good approximation accuracy, thus outperforming \texttt{ode45} and \texttt{ode15s}, especially in the cases where steep gradients arise. Furthermore, the computational times of our approach are comparable with those of the two MATLAB solvers for practical purposes.


title: An Empirical Study on the Usage of Transformer Models for Code Completion

abstract: Code completion aims at speeding up code writing by predicting the next code token(s) the developer is likely to write. Works in this field focused on improving the accuracy of the generated predictions, with substantial leaps forward made possible by deep learning (DL) models. However, code completion techniques are mostly evaluated in the scenario of predicting the next token to type, with few exceptions pushing the boundaries to the prediction of an entire code statement. Thus, little is known about the performance of state-of-the-art code completion approaches in more challenging scenarios in which, for example, an entire code block must be generated. We present a large-scale study exploring the capabilities of state-of-the-art Transformer-based models in supporting code completion at different granularity levels, including single tokens, one or multiple entire statements, up to entire code blocks (e.g., the iterated block of a for loop). We experimented with several variants of two recently proposed Transformer-based models, namely RoBERTa and the Text-To-Text Transfer Transformer (T5), for the task of code completion. The achieved results show that Transformer-based models, and in particular the T5, represent a viable solution for code completion, with perfect predictions ranging from ~29%, obtained when asking the model to guess entire blocks, up to ~69%, reached in the simpler scenario of few tokens masked from the same code statement.


title: Classification of phase transitions and intertwined orders in crystallographic point groups

abstract: Symmetry provides important insight in understanding the nature of phase transitions. In the presence of crystalline symmetries, new phenomena in phase transition can emerge, such as intertwined orders and emergent symmetries. In this work, we present a group-theoretical diagnosis of these phenomena in 32 crystallographic point groups. For each group, we classify the possible combinations of intertwined order and analyze different symmetry-broken phases. We find that the symmetries before and after the phase transition uniquely determine the irreducible representation (irrep) of the order parameter and the allowed form of Ginzburg-Landau free energy, from which the nature of phase transition can be inferred, including the order of phase transition and the existence of intermediate phases and emergent symmetries. Our finding will be helpful for the experimental diagnosis of order parameters from symmetry breaking.


title: On type II degenerations of hyperk\"ahler manifolds

abstract: We give a simple argument to prove Nagai's conjecture for type II degenerations of compact hyperk\"ahler manifolds and cohomology classes of middle degree. Under an additional assumption, the techniques yield the conjecture in arbitrary degree. This would complete the proof of Nagai's conjecture in general, as it was proved already for type I degenerations by Koll\'ar, Laza, Sacc\`a, and Voisin and independently by Soldatenkov, while it is immediate for type III degenerations. Our arguments are close in spirit to a recent paper by Harder proving similar results for the restrictive class of good degenerations.


title: On PPT Square Conjecture

abstract: A detailed analysis of the PPT square conjecture is given.