title: Oscillatory reconnection and waves driven by merging magnetic flux ropes in solar flares

abstract: Oscillatory reconnection is a process that has been suggested to underlie several solar and stellar phenomena, and is likely to play an important role in transient events such as flares. Quasi-periodic pulsations (QPPs) in flare emissions may be a manifestation of oscillatory reconnection, but the underlying mechanisms remain uncertain. In this paper, we present 2D magnetohydrodynamic (MHD) simulations of two current-carrying magnetic flux ropes with an out-of-plane magnetic field undergoing oscillatory reconnection in which the two flux ropes merge into a single flux rope. We find that oscillatory reconnection can occur intrinsically without an external oscillatory driver during flux rope coalescence, which may occur both during large-scale coronal loop interactions and the merging of plasmoids in fragmented current sheets. Furthermore, we demonstrate that radially propagating non-linear waves are produced in the aftermath of flux rope coalescence, due to the post-reconnection oscillations of the merged flux rope. The behaviour of these waves is found to be almost independent of the initial out-of-plane magnetic field. It is estimated that the waves emitted through merging coronal loops and merging plasmoids in loop-top current sheets would have a typical phase speed of 90 km/s and 900 km/s respectively. It is possible that the properties of the waves emitted during flux rope coalescence could be used as a diagnostic tool to determine physical parameters within a coalescing region.


title: Wave Phenomena In General Relativistic Magnetohydrodynamics

abstract: Here we study the wave propagation and stability of general relativistic non-resistive dissipative second-order magnetohydrodynamic equations in curved space-time. We solve the Boltzmann equation for a system of particles and antiparticles using the relaxation time approximation and the Chapman-Enskog-like gradient expansion for the off-equilibrium distribution function, truncating beyond second-order in curved space-time in electromagnetic fields. Unlike holographic calculation~\cite{Baier:2007ix}, we show that the viscous evolution equations do not explicitly depend on the curvature of space-time. Also, we have tested the causality and stability of the second-order theory in curved space-time in the presence of linearised metric perturbation and derived dispersion relations for various modes. Interestingly, we found the coupling of gravitational modes with the usual magneto-sonic modes in the small wave-number limit. Also, we show additional non-hydrodynamical modes arise due to gravity for a bulk-viscous fluid.


title: Linking chromospheric activity and magnetic field properties for late-type dwarf stars

abstract: Spectropolarimetric data allow for simultaneous monitoring of stellar chromospheric $\log{R^{\prime}_{\rm{HK}}}$ activity and the surface-averaged longitudinal magnetic field, $B_l$, giving the opportunity to probe the relationship between large-scale stellar magnetic fields and chromospheric manifestations of magnetism. We present $\log{R^{\prime}_{\rm{HK}}}$ and/or $B_l$ measurements for 954 mid-F to mid-M stars derived from spectropolarimetric observations contained within the PolarBase database. Our magnetically active sample complements previous stellar activity surveys that focus on inactive planet-search targets. We find a positive correlation between mean $\log{R^{\prime}_{\rm{HK}}}$ and mean $\log|B_l|$, but for G stars the relationship may undergo a change between $\log{R'_{\rm{HK}}}\sim-4.4$ and $-4.8$. The mean $\log{R^{\prime}_{\rm{HK}}}$ shows a similar change with respect to the $\log{R^{\prime}_{\rm{HK}}}$ variability amplitude for intermediately-active G stars. We also combine our results with archival chromospheric activity data and published observations of large-scale magnetic field geometries derived using Zeeman Doppler Imaging. The chromospheric activity data indicate a slight under-density of late-F to early-K stars with $-4.75\leq\log{R'_{\rm HK}}\leq-4.5$. This is not as prominent as the original Vaughan-Preston gap, and we do not detect similar under-populated regions in the distributions of the mean $|B_l|$, or the $B_l$ and $\log{R'_{\rm HK}}$ variability amplitudes. Chromospheric activity, activity variability and toroidal field strength decrease on the main sequence as rotation slows. For G stars, the disappearance of dominant toroidal fields occurs at a similar chromospheric activity level as the change in the relationships between chromospheric activity, activity variability and mean field strength.


title: Controlled Dropout for Uncertainty Estimation

abstract: Uncertainty quantification in a neural network is one of the most discussed topics for safety-critical applications. Though Neural Networks (NNs) have achieved state-of-the-art performance for many applications, they still provide unreliable point predictions, which lack information about uncertainty estimates. Among various methods to enable neural networks to estimate uncertainty, Monte Carlo (MC) dropout has gained much popularity in a short period due to its simplicity. In this study, we present a new version of the traditional dropout layer where we are able to fix the number of dropout configurations. As such, each layer can take and apply the new dropout layer in the MC method to quantify the uncertainty associated with NN predictions. We conduct experiments on both toy and realistic datasets and compare the results with the MC method using the traditional dropout layer. Performance analysis utilizing uncertainty evaluation metrics corroborates that our dropout layer offers better performance in most cases.


title: Modeling Balmer line signatures of stellar CMEs

abstract: From the Sun we know that coronal mass ejections (CMEs) are a transient phenomenon, often correlated with flares. They have an impact on solar mass- and angular momentum loss, and therefore solar evolution, and make a significant part of space weather. The same is true for stars, but stellar CMEs are still not well constrained, although new methodologies have been established, and new detections presented in the recent past. So far, probable detections of stellar CMEs have been presented, but their physical parameters which are not directly accessible from observations, such as electron density, optical thickness, temperature, etc., have been so far not determined for the majority of known events. We apply cloud modeling, as commonly used on the Sun, to a known event from the literature, detected on the young dMe star V374 Peg. This event manifests itself in extra emission on the blue side of the Balmer lines. By determining the line source function from 1D NLTE modeling together with the cloud model formulation we present distributions of physical parameters of this event. We find that except for temperature and area all parameters are at the upper range of typical solar prominence parameters. The temperature and the area of the event were found to be higher than for typical solar prominences observed in Balmer lines. We find more solutions for the filament than for the prominence geometry. Moreover we show that filaments can appear in emission on dMe stars contrary to the solar case.


title: Search for new cosmic-ray acceleration sites within the 4FGL catalog Galactic plane sources

abstract: Cosmic rays are mostly composed of protons accelerated to relativistic speeds. When those protons encounter interstellar material, they produce neutral pions which in turn decay into gamma rays. This offers a compelling way to identify the acceleration sites of protons. A characteristic hadronic spectrum, with a low-energy break around 200 MeV, was detected in the gamma-ray spectra of four Supernova Remnants (SNRs), IC 443, W44, W49B and W51C, with the Fermi Large Area Telescope. This detection provided direct evidence that cosmic-ray protons are (re-)accelerated in SNRs. Here, we present a comprehensive search for low-energy spectral breaks among 311 4FGL catalog sources located within 5 degrees from the Galactic plane. Using 8 years of data from the Fermi Large Area Telescope between 50 MeV and 1 GeV, we find and present the spectral characteristics of 56 sources with a spectral break confirmed by a thorough study of systematic uncertainty. Our population of sources includes 13 SNRs for which the proton-proton interaction is enhanced by the dense target material; the high-mass gamma-ray binary LS~I +61 303; the colliding wind binary eta Carinae; and the Cygnus star-forming region. This analysis better constrains the origin of the gamma-ray emission and enlarges our view to potential new cosmic-ray acceleration sites.


title: Emp-RFT: Empathetic Response Generation via Recognizing Feature Transitions between Utterances

abstract: Each utterance in multi-turn empathetic dialogues has features such as emotion, keywords, and utterance-level meaning. Feature transitions between utterances occur naturally. However, existing approaches fail to perceive the transitions because they extract features for the context at the coarse-grained level. To solve the above issue, we propose a novel approach of recognizing feature transitions between utterances, which helps understand the dialogue flow and better grasp the features of utterance that needs attention. Also, we introduce a response generation strategy to help focus on emotion and keywords related to appropriate features when generating responses. Experimental results show that our approach outperforms baselines and especially, achieves significant improvements on multi-turn dialogues.


title: Theoretical Simulation and Experiment Investigation of X-ray transmission characteristics though Square Polycapillary Slice Lens with quadratic curve

abstract: The x-ray polycapillary lens is an optical device with good optic performance. Similar to the traditional X-ray polycapillary lens, square polycapillary slice lens was regulated on X-ray based on the full reflection principle of X-ray in the capillaries surfaces. According to its geometrical structure model and the X-ray tracing principle, a set of X-ray transmission procedures was established. A complete square polycapillary slice lens with quadratic curve was produced and the optical performance was tested


title: Arabic Fake News Detection Based on Deep Contextualized Embedding Models

abstract: Social media is becoming a source of news for many people due to its ease and freedom of use. As a result, fake news has been spreading quickly and easily regardless of its credibility, especially in the last decade. Fake news publishers take advantage of critical situations such as the Covid-19 pandemic and the American presidential elections to affect societies negatively. Fake news can seriously impact society in many fields including politics, finance, sports, etc. Many studies have been conducted to help detect fake news in English, but research conducted on fake news detection in the Arabic language is scarce. Our contribution is twofold: first, we have constructed a large and diverse Arabic fake news dataset. Second, we have developed and evaluated transformer-based classifiers to identify fake news while utilizing eight state-of-the-art Arabic contextualized embedding models. The majority of these models had not been previously used for Arabic fake news detection. We conduct a thorough analysis of the state-of-the-art Arabic contextualized embedding models as well as comparison with similar fake news detection systems. Experimental results confirm that these state-of-the-art models are robust, with accuracy exceeding 98%.


title: Latency Guarantee for Ubiquitous Intelligence in 6G: A Network Calculus Approach

abstract: With the gradual deployment of 5G and the continuous popularization of edge intelligence (EI), the explosive growth of data on the edge of the network has promoted the rapid development of 6G and ubiquitous intelligence (UbiI). This article aims to explore a new method for modeling latency guarantees for UbiI in 6G given 6G's extremely stochastic nature in terahertz (THz) environments, THz channel tail behavior, and delay distribution tail characteristics generated by the UBiI random component, and to find the optimal solution that minimizes the end-to-end (E2E) delay of UbiI. In this article, the arrival curve and service curve of network calculus can well characterize the stochastic nature of wireless channels, the tail behavior of wireless systems and the E2E service curve of network calculus can model the tail characteristic of the delay distribution in UbiI. Specifically, we first propose demands and challenges facing 6G, edge computing (EC), edge deep learning (DL), and UbiI. Then, we propose the hierarchical architecture, the network model, and the service delay model of the UbiI system based on network calculus. In addition, two case studies demonstrate the usefulness and effectiveness of the network calculus approach in analyzing and modeling the latency guarantee for UbiI in 6G. Finally, future open research issues regarding the latency guarantee for UbiI in 6G are outlined.


title: Longitudinal cardio-respiratory fitness prediction through wearables in free-living environments

abstract: Cardiorespiratory fitness is an established predictor of metabolic disease and mortality. Fitness is directly measured as maximal oxygen consumption (VO$_{2}max$), or indirectly assessed using heart rate responses to standard exercise tests. However, such testing is costly and burdensome because it requires specialized equipment such as treadmills and oxygen masks, limiting its utility. Modern wearables capture dynamic real-world data which could improve fitness prediction. In this work, we design algorithms and models that convert raw wearable sensor data into cardiorespiratory fitness estimates. We validate these estimates' ability to capture fitness profiles in free-living conditions using the Fenland Study (N=11,059), along with its longitudinal cohort (N=2,675), and a third external cohort using the UK Biobank Validation Study (N=181) who underwent maximal VO$_{2}max$ testing, the gold standard measurement of fitness. Our results show that the combination of wearables and other biomarkers as inputs to neural networks yields a strong correlation to ground truth in a holdout sample (r = 0.82, 95CI 0.80-0.83), outperforming other approaches and models and detects fitness change over time (e.g., after 7 years). We also show how the model's latent space can be used for fitness-aware patient subtyping paving the way to scalable interventions and personalized trial recruitment. These results demonstrate the value of wearables for fitness estimation that today can be measured only with laboratory tests.


title: NP-hardness of Computing Uniform Nash Equilibria on Planar Bimatrix Games

abstract: We study the complexity of computing a uniform Nash equilibrium on a non-win-lose bimatrix game. It is known that such a problem is NP-complete even if a bimatrix game is win-lose (Bonifaci et al., 2008). Fortunately, if a win-lose bimatrix game is planar, then uniform Nash equilibria always exist. We have a polynomial-time algorithm for finding a uniform Nash equilibrium of a planar win-lose bimatrix game (Addario-Berry et al., 2007). The following question is left: How hard to compute a uniform Nash equilibrium on a planar non-win-lose bimatrix game? This paper resolves this issue. We prove that the problem of deciding whether a non-win-lose planar bimatrix game has uniform Nash equilibrium is also NP-complete.


title: Linearly discounted economic MPC without terminal conditions for periodic optimal operation

abstract: In this work, we study economic model predictive control (MPC) in situations where the optimal operating behavior is periodic. In such a setting, the performance of a standard economic MPC scheme without terminal conditions can generally be far from optimal even with arbitrarily long prediction horizons. Whereas there are modified economic MPC schemes that guarantee optimal performance, all of them are based on prior knowledge of the optimal period length or of the optimal periodic orbit itself. In contrast to these approaches, we propose to achieve optimality by multiplying the stage cost by a linear discount factor. This modification is not only easy to implement but also independent of any system- or cost-specific properties, making the scheme robust against online changes therein. Under standard dissipativity and controllability assumptions, we can prove that the resulting linearly discounted economic MPC without terminal conditions achieves optimal asymptotic average performance up to an error that vanishes with growing prediction horizons. Moreover, we can guarantee practical asymptotic stability of the optimal periodic orbit under the additional technical assumption that dissipativity holds with a continuous storage function. We complement these qualitative guarantees with a quantitative analysis of the transient and asymptotic average performance of the linearly discounted MPC scheme in a numerical simulation study.


title: Rapidity evolution of TMDs with running coupling

abstract: The scale of a coupling constant for rapidity-only evolution of transverse-momentum dependent (TMD) operators in the Sudakov kinematic region is calculated using the Brodsky-Lepage-Mackenzie (BLM) optimal scale setting. The effective argument of a coupling constant is halfway in the logarithmical scale between the transverse momentum and energy of TMD distribution. The resulting rapidity-only evolution equation is solved for quark and gluon TMDs.


title: MANAi -- An IntelliJ Plugin for Software Energy Consumption Profiling

abstract: Developing energy-efficient software solutions is a tedious task. We need both, the awareness that energy-efficiency plays a key role in modern software development and the tools and techniques to support stakeholders involved in the software development lifecycle. So, we present the MANAi plugin which helps to make energy consumption of unit test methods explicit by providing visual feedback as a plugin to the Integrated Development Environment (IDE)IntelliJ. Our tool is intended to bring software energy consumption into the limelight as an important non-functional quality aspect in software development. Furthermore, with MANAi we provide a tool that eases the process of software energy experiments for a broad range of users from academia to industry.


title: Category O for Takiff Lie algebras

abstract: We study category $\mathcal{O}$ for Takiff Lie algebras $\mathfrak{g} \otimes \mathbb{C}[\epsilon]/(\epsilon^2)$ where $\mathfrak{g}$ is the Lie algebra of a reductive algebraic group over $\mathbb{C}$. We decompose this category as a direct sum of certain subcategories and use an analogue of parabolic induction functors and twisting functors for BGG category $\mathcal{O}$ to prove equivalences between these subcategories. We then use these equivalences to compute the composition multiplicities of the simple modules in the Verma modules in terms of composition multiplicities in the BGG category $\mathcal{O}$ for reductive subalgebras of $\mathfrak{g}$. We conclude that the composition multiplicities are given in terms of the Kazhdan-Lusztig polynomials.


title: Ultrathin, high-speed, all-optical photoacoustic endomicroscopy probe for guiding minimally invasive surgery

abstract: Photoacoustic (PA) endoscopy has shown significant potential for clinical diagnosis and surgical guidance. Multimode fibres (MMFs) are becoming increasing attractive for the development of miniature endoscopy probes owing to ultrathin size, low cost and diffraction-limited spatial resolution enabled by wavefront shaping. However, current MMF-based PA endomicroscopy probes are either limited by a bulky ultrasound detector or a low imaging speed which hindered their usability. In this work, we report the development of a highly miniaturised and high-speed PA endomicroscopy probe that is integrated within the cannula of a 20 gauge medical needle. This probe comprises a MMF for delivering the PA excitation light and a single-mode optical fibre with a plano-concave microresonator for ultrasound detection. Wavefront shaping with a digital micromirror device enabled rapid raster-scanning of a focused light spot at the distal end of the MMF for tissue interrogation. High-resolution PA imaging of mouse red blood cells covering an area 100 microns in diameter was achieved with the needle probe at ~3 frames per second. Mosaicing imaging was performed after fibre characterisation by translating the needle probe to enlarge the field-of-view in real-time. The developed ultrathin PA endomicroscopy probe is promising for guiding minimally invasive surgery by providing functional, molecular and microstructural information of tissue in real-time.


title: Impact of surface charge depletion on the free electron nonlinear response of heavily doped semiconductors

abstract: We propose surface modulation of the equilibrium charge density as a technique to control and enhance, via an external static potential, the free electron nonlinear response of heavily doped semiconductors. Within a hydrodynamic perturbative approach, we predict a two order of magnitude boost of free electron third-harmonic generation.


title: A High-Accuracy Unsupervised Person Re-identification Method Using Auxiliary Information Mined from Datasets

abstract: Supervised person re-identification methods rely heavily on high-quality cross-camera training label. This significantly hinders the deployment of re-ID models in real-world applications. The unsupervised person re-ID methods can reduce the cost of data annotation, but their performance is still far lower than the supervised ones. In this paper, we make full use of the auxiliary information mined from the datasets for multi-modal feature learning, including camera information, temporal information and spatial information. By analyzing the style bias of cameras, the characteristics of pedestrians' motion trajectories and the positions of camera network, this paper designs three modules: Time-Overlapping Constraint (TOC), Spatio-Temporal Similarity (STS) and Same-Camera Penalty (SCP) to exploit the auxiliary information. Auxiliary information can improve the model performance and inference accuracy by constructing association constraints or fusing with visual features. In addition, this paper proposes three effective training tricks, including Restricted Label Smoothing Cross Entropy Loss (RLSCE), Weight Adaptive Triplet Loss (WATL) and Dynamic Training Iterations (DTI). The tricks achieve mAP of 72.4% and 81.1% on MARS and DukeMTMC-VideoReID, respectively. Combined with auxiliary information exploiting modules, our methods achieve mAP of 89.9% on DukeMTMC, where TOC, STS and SCP all contributed considerable performance improvements. The method proposed by this paper outperforms most existing unsupervised re-ID methods and narrows the gap between unsupervised and supervised re-ID methods. Our code is at https://github.com/tenghehan/AuxUSLReID.


title: Projections of the random Menger sponge

abstract: Using a similar random process to the one which yields the fractal percolation sets, starting from the deterministic Menger sponge we get the random Menger sponge. We examine its orthogonal projections from the point of Hausdorff dimension, Lebesgue measure and existence of interior points. We obtain these results as special cases of our theorems stated for random self-similar IFSs. These are obatained by a random process similar to the fractal percolation, applied for the cylinder sets of a deterministic self-similar IFS, as in arXiv:1212.1345. In this paper the associated deterministic IFS on the line is of the special form $\mathcal{S}=\left\{\frac{1}{L}x+t_i \right\} _{i=1}^{m}$, where $L\in\mathbb{N}$, $L\geq 2$ and $t_i\in\mathbb{Q}$.


title: Domain wall motion at low current density in a synthetic antiferromagnet nanowire

abstract: The current-driven motion of magnetic domain walls (DWs) is the working principle of magnetic racetrack memories. In this type of spintronic technology, high current densities are used to propel DW motion in magnetic nanowires, causing significant wire heating. Synthetic antiferromagnets are known to show very fast DW motion at high current densities, but lower current densities around onset of motion have received less attention. Here we use scanning transmission x-ray microscopy to study the response of DWs in a SAF multilayer to currents. We observe that the DWs depin at $\sim 3 \times 10^{11}$~A/m$^2$ and move more quickly in response to 5~ns duration current pulses than in comparable conventional multilayers. The results suggest that DWs in SAF structures are superior to conventional N\'{e}el DWs for low energy consumption racetrack technologies.


title: Delayed elastic contributions to the viscoelastic response of foams

abstract: We show that the slow viscoelastic response of a foam is that of a power-law fluid with a terminal relaxation. Investigations of the foam mechanics in creep and recovery tests reveal that the power-law contribution is fully reversible, indicative of a delayed elastic response. We demonstrate how this contribution fully accounts for the non-Maxwellian features observed in all tests, probing the linear mechanical response function. The associated power-law spectrum is consistent with soft glassy rheology of systems with mechanical noise temperatures just above the glass transition [Fielding et al., J.Rheol. 44, 323(2000)] and originates from a combination of superdiffusive bubble dynamics and stress diffusion, as recently evidenced in simulations of coarsening foam [Hwang et al., Nat.Mater. 15, 1031 (2016)].


title: Nuclear Fourier transforms

abstract: The paper deals with the problem under which conditions for the parameters $s_1,s_2\in\mathbb{R}$, $1\leq p,q_1,q_2\leq\infty$ the Fourier transform $\mathcal{F}$ is a nuclear mapping from $A^{s_1}_{p,q_1}(\mathbb{R}^n)$ into $A^{s_2}_{p,q_2}(\mathbb{R}^n)$, where $A\in\{B,F\}$ stands for a space of Besov or Triebel-Lizorkin type, and $n\in\mathbb{N}$. It extends the recent paper arXiv:2112.04896 where the compactness of $\mathcal{F}$ acting in the same type of spaces was studied.


title: Incompatibility of effects in general probabilistic models

abstract: We give a necessary and sufficient condition for the incompatibility of a pair of effects in a general probabilistic model in which the state space is a total convex space, which can be obtained by minimising a real parameter. This has an interpretation in terms of the least noise that must be included to make the given pair compatible.


title: SKILL-IL: Disentangling Skill and Knowledge in Multitask Imitation Learning

abstract: In this work, we introduce a new perspective for learning transferable content in multi-task imitation learning. Humans are able to transfer skills and knowledge. If we can cycle to work and drive to the store, we can also cycle to the store and drive to work. We take inspiration from this and hypothesize the latent memory of a policy network can be disentangled into two partitions. These contain either the knowledge of the environmental context for the task or the generalizable skill needed to solve the task. This allows improved training efficiency and better generalization over previously unseen combinations of skills in the same environment, and the same task in unseen environments. We used the proposed approach to train a disentangled agent for two different multi-task IL environments. In both cases we out-performed the SOTA by 30% in task success rate. We also demonstrated this for navigation on a real robot.


title: Fast Rate Generalization Error Bounds: Variations on a Theme

abstract: A recent line of works, initiated by Russo and Xu, has shown that the generalization error of a learning algorithm can be upper bounded by information measures. In most of the relevant works, the convergence rate of the expected generalization error is in the form of O(sqrt{lambda/n}) where lambda is some information-theoretic quantities such as the mutual information between the data sample and the learned hypothesis. However, such a learning rate is typically considered to be "slow", compared to a "fast rate" of O(1/n) in many learning scenarios. In this work, we first show that the square root does not necessarily imply a slow rate, and a fast rate (O(1/n)) result can still be obtained using this bound under appropriate assumptions. Furthermore, we identify the key conditions needed for the fast rate generalization error, which we call the (eta,c)-central condition. Under this condition, we give information-theoretic bounds on the generalization error and excess risk, with a convergence rate of O(\lambda/{n}) for specific learning algorithms such as empirical risk minimization. Finally, analytical examples are given to show the effectiveness of the bounds.


title: New direct limit on neutrinoless double beta decay half-life of $^{128}$Te with CUORE

abstract: The Cryogenic Underground Observatory for Rare Events (CUORE) at Laboratori Nazionali del Gran Sasso of INFN in Italy is an experiment searching for neutrinoless double beta (0$\nu\beta\beta$) decay. Its main goal is to investigate this decay in $^{130}$Te, but its ton-scale mass and low background make CUORE sensitive to other rare processes as well. In this work, we present our first results on the search for \nbb decay of $^{128}$Te, the Te isotope with the second highest natural isotopic abundance. We find no evidence for this decay, and using a Bayesian analysis we set a lower limit on the $^{128}$Te \nbb decay half-life of T$_{1/2} > 3.6 \times 10^{24}$ yr (90\% CI). This represents the most stringent limit on the half-life of this isotope, improving by over a factor 30 the previous direct search results, and exceeding those from geochemical experiments for the first time.


title: BDIS: Bayesian Dense Inverse Searching Method for Real-Time Stereo Surgical Image Matching

abstract: In stereoscope-based Minimally Invasive Surgeries (MIS), dense stereo matching plays an indispensable role in 3D shape recovery, AR, VR, and navigation tasks. Although numerous Deep Neural Network (DNN) approaches are proposed, the conventional prior-free approaches are still popular in the industry because of the lack of open-source annotated data set and the limitation of the task-specific pre-trained DNNs. Among the prior-free stereo matching algorithms, there is no successful real-time algorithm in none GPU environment for MIS. This paper proposes the first CPU-level real-time prior-free stereo matching algorithm for general MIS tasks. We achieve an average 17 Hz on 640*480 images with a single-core CPU (i5-9400) for surgical images. Meanwhile, it achieves slightly better accuracy than the popular ELAS. The patch-based fast disparity searching algorithm is adopted for the rectified stereo images. A coarse-to-fine Bayesian probability and a spatial Gaussian mixed model were proposed to evaluate the patch probability at different scales. An optional probability density function estimation algorithm was adopted to quantify the prediction variance. Extensive experiments demonstrated the proposed method's capability to handle ambiguities introduced by the textureless surfaces and the photometric inconsistency from the non-Lambertian reflectance and dark illumination. The estimated probability managed to balance the confidences of the patches for stereo images at different scales. It has similar or higher accuracy and fewer outliers than the baseline ELAS in MIS, while it is 4-5 times faster. The code and the synthetic data sets are available at https://github.com/JingweiSong/BDIS-v2.


title: Emergent anisotropy in magnetic metamaterials

abstract: We demonstrate directional dependence of the self-modification of internal mesospin textures in magnetic metamaterials, arising from the coupling of the atomic- and mesoscopic length-scales. Dressing the mesospins in different directions enables the quantification of the degree of texture in the internal magnetization and its impact on the interaction energy of the mesospins. The emerging anisotropy is manifested in a directional dependence of the remanent magnetization with temperature.


title: Machine Learning in Molecular Dynamics Simulations of Biomolecular Systems

abstract: Machine learning (ML) has emerged as a pervasive tool in science, engineering, and beyond. Its success has also led to several synergies with molecular dynamics (MD) simulations, which we use to identify and characterize the major metastable states of molecular systems. Typically, we aim to determine the relative stabilities of these states and how rapidly they interchange. This information allows mechanistic descriptions of molecular mechanisms, enables a quantitative comparison with experiments, and facilitates their rational design. ML impacts all aspects of MD simulations -- from analyzing the data and accelerating sampling to defining more efficient or more accurate simulation models.


title: Improved background model for the Large Area X-ray Proportional Counter (LAXPC) instrument on-board AstroSat

abstract: We present an improved background model for the Large Area X-ray Proportional Counter (LAXPC) detectors on-board AstroSat. Because of the large collecting area and high pressure, the LAXPC instrument has a large background count rate, which varies during the orbit. Apart from the variation with latitude and longitude during the orbit there is a prominent quasi-diurnal variation which has not been modelled earlier. Using over 5 years of background observations, we determined the period of the quasi-diurnal variation to be 84495 s and using this period, it is possible to account for the variation and also identify time intervals where the fit is not good. These lead to a significant improvement in the background model. The quasi-diurnal variation can be ascribed to the changes in charged particle flux in the near Earth orbit.


title: Weakly Supervised 3D Point Cloud Segmentation via Multi-Prototype Learning

abstract: Addressing the annotation challenge in 3D Point Cloud segmentation has inspired research into weakly supervised learning. Existing approaches mainly focus on exploiting manifold and pseudo-labeling to make use of large unlabeled data points. A fundamental challenge here lies in the large intra-class variations of local geometric structure, resulting in subclasses within a semantic class. In this work, we leverage this intuition and opt for maintaining an individual classifier for each subclass. Technically, we design a multi-prototype classifier, each prototype serves as the classifier weights for one subclass. To enable effective updating of multi-prototype classifier weights, we propose two constraints respectively for updating the prototypes w.r.t. all point features and for encouraging the learning of diverse prototypes. Experiments on weakly supervised 3D point cloud segmentation tasks validate the efficacy of proposed method in particular at low-label regime. Our hypothesis is also verified given the consistent discovery of semantic subclasses at no cost of additional annotations.


title: Adelic Rogers integral formula

abstract: We formulate and prove the extension of the Rogers integral formula to the adeles of number fields. We also prove the second moment formulas for a few important cases, enabling a number of classical and recent applications of the formula to extend immediately to any number field.


title: Friedmann-like universes with non-metricity

abstract: We study the potential effects of spacetime non-metricity in cosmology. In the spirit of Einstein-Cartan gravity, but with non-metricity replacing torsion, we consider the Einstein-Hilbert action and assume zero torsion. Adopting certain hyperfluid models, with non-vanishing hypermomentum that can source spacetime non-metricity, we add a matter component into the action and derive the field equations, along with the conservation laws. Applying our formulae to cosmology, we generalize the Friedmann and the Raychaudhuri equations in the presence of non-metricity. Our results show that, in a number of cases, non-metricity can mimic the effects of matter with unconventional equation of state. For instance, specific types of hypermomentum are found to act as an effective stiff fluid, thus opening the possibility that non-metricity could have played a significant role in the early stages of the universe's evolution. Alternative forms of hypermomentum can dominate the universal dynamics at late times. In either case, the equilibrium moment depends on the initial conditions and it is determined by a simple relation between the matter component and the hyperfluid.


title: False vacuum decay: an introductory review

abstract: We review the description of tunnelling phenomena in the semi-classical approximation in ordinary quantum mechanics and in quantum field theory. In particular, we describe in detail the calculation, up to the first quantum corrections, of the decay probability per unit time of a metastable ground state. We apply the relevant formalism to the case of the standard model of electroweak interactions, whose ground state is metastable for sufficiently large values of the top quark mass. Finally, we discuss the impact of gravitational interactions on the calculation of the tunnelling rate.


title: Freezing in Space-time: A functional equation linked with a PDE system

abstract: We analyze the functional equation $$F(x+F(x))=-F(x)$$ and reveal its relationship with a system of partial differential equations arising as the hydrodynamic limit of a system of pinned billiard balls on the line. The system of balls must freeze at some time, i.e., no velocity may change after the freezing time. The terminal velocity and the freezing time profiles play the role of boundary conditions for the PDEs (qua terminal conditions, despite being initial conditions from the wave equation perspective pursued here). Solutions to the functional equation provide the link between the freezing time and terminal velocity profiles on the one hand, and the solution to the PDE in the entirety of the space-time domain on the other.


title: On the analytically-improved running coupling in QCD

abstract: We examine, in the `t Hooft renormalization scheme, the analytic running coupling $\bar\alpha_t(Q^2)$ in QCD, using the two-loop $\beta$-function with positive expansion parameters $\beta_0$ and $\beta_1$. An exact integral representation is derived for this causal coupling, which is fully expressed in terms of the imaginary part of the Lambert function $W$. This integral form manifestly accounts for the universal value of the infrared limit $\bar\alpha_t(Q^2=0)= 4 \pi /\beta_0$.


title: How to Minimize the Weighted Sum AoI in Multi-Source Status Update Systems: OMA or NOMA?

abstract: In this paper, the minimization of the weighted sum average age of information (AoI) in a multi-source status update communication system is studied. Multiple independent sources send update packets to a common destination node in a time-slotted manner under the limit of maximum retransmission rounds. Different multiple access schemes, i.e., orthogonal multiple access (OMA) and non-orthogonal multiple access (NOMA) are exploited here over a block-fading multiple access channel (MAC). Constrained Markov decision process (CMDP) problems are formulated to describe the AoI minimization problems considering both transmission schemes. The Lagrangian method is utilised to convert CMDP problems to unconstraint Markov decision process (MDP) problems and corresponding algorithms to derive the power allocation policies are obtained. On the other hand, for the case of unknown environments, two online reinforcement learning approaches considering both multiple access schemes are proposed to achieve near-optimal age performance. Numerical simulations validate the improvement of the proposed policy in terms of weighted sum AoI compared to the fixed power transmission policy, and illustrate that NOMA is more favorable in case of larger packet size.


title: AES Analysis of Al Bond Pads in Electrically Insulating Surroundings Utilizing Metal Grid Contacting

abstract: Bond pads are the electrical interconnections of a microelectronic device to the outside world. A polyimide layer (PI) on top of a microelectronic device protects the whole device against environmental impacts. The bond pads are accessible though openings in this electrically insulating layer. The oxide layer thickness and contaminations at the Al bond pad surface influence as well the quality of the mechanical and electrical joint between bond pad and bond wire as the durability of this interconnection. If a bond pad surface has to be analyzed with high spatial resolution Auger electron spectroscopy (AES) is the method of choice. AES utilizes an electron beam for excitation, which induces serious sample charging because of the PI layer. Sample charging can be avoided by metal grids, which are common in transmission electron microscopy (TEM) sample preparation. A TEM grid is pressed onto the sample while the bond pad of interest is centered in the square openings of the grid. Exemplarily analyses of bond pads demonstrate the applicability of this approach for AES measurements.


title: Observation of single top-quark + photon production with the ATLAS detector

abstract: These proceedings present the first observation of single top-quark production associated with a photon using the full Run2 proton-proton dataset collected by the ATLAS experiment at the LHC.


title: CLIP-CLOP: CLIP-Guided Collage and Photomontage

abstract: The unabated mystique of large-scale neural networks, such as the CLIP dual image-and-text encoder, popularized automatically generated art. Increasingly more sophisticated generators enhanced the artworks' realism and visual appearance, and creative prompt engineering enabled stylistic expression. Guided by an artist-in-the-loop ideal, we design a gradient-based generator to produce collages. It requires the human artist to curate libraries of image patches and to describe (with prompts) the whole image composition, with the option to manually adjust the patches' positions during generation, thereby allowing humans to reclaim some control of the process and achieve greater creative freedom. We explore the aesthetic potentials of high-resolution collages, and provide an open-source Google Colab as an artistic tool.


title: From Easy to Hard: Learning Language-guided Curriculum for Visual Question Answering on Remote Sensing Data

abstract: Visual question answering (VQA) for remote sensing scene has great potential in intelligent human-computer interaction system. Although VQA in computer vision has been widely researched, VQA for remote sensing data (RSVQA) is still in its infancy. There are two characteristics that need to be specially considered for the RSVQA task. 1) No object annotations are available in RSVQA datasets, which makes it difficult for models to exploit informative region representation; 2) There are questions with clearly different difficulty levels for each image in the RSVQA task. Directly training a model with questions in a random order may confuse the model and limit the performance. To address these two problems, in this paper, a multi-level visual feature learning method is proposed to jointly extract language-guided holistic and regional image features. Besides, a self-paced curriculum learning (SPCL)-based VQA model is developed to train networks with samples in an easy-to-hard way. To be more specific, a language-guided SPCL method with a soft weighting strategy is explored in this work. The proposed model is evaluated on three public datasets, and extensive experimental results show that the proposed RSVQA framework can achieve promising performance.


title: A relativistic discrete spacetime formulation of 3+1 QED

abstract: This work provides a relativistic, digital quantum simulation scheme for both $2+1$ and $3+1$ dimensional quantum electrodynamics (QED), based on a discrete spacetime formulation of theory. It takes the form of a quantum circuit, infinitely repeating across space and time, parametrised by the discretization step $\Delta_t=\Delta_x$. Strict causality at each step is ensured as circuit wires coincide with the lightlike worldlines of QED; simulation time under decoherence is optimized. The construction replays the logic that leads to the QED Lagrangian. Namely, it starts from the Dirac quantum walk, well-known to converge towards free relativistic fermions. It then extends the quantum walk into a multi-particle sector quantum cellular automata in a way which respects the fermionic anti-commutation relations and the discrete gauge invariance symmetry. Both requirements can only be achieved at cost of introducing the gauge field. Lastly the gauge field is given its own electromagnetic dynamics, which can be formulated as a quantum walk at each plaquette.


title: Conductivity, diffusivity, and violation of Wiedemann-Franz Law in a hadron resonance gas with van der Waals interactions

abstract: In this work, a hadron resonance gas under van der Waals (VDW) interactions has been studied. Both attractive and repulsive interactions between the meson-meson and (anti)baryon-(anti)baryon have been taken into consideration. Various transport properties such as electrical conductivity ($\sigma_{\rm el}$) and thermal conductivity ($\kappa_{\rm th}$) have been estimated by solving the Boltzmann transport equation under the relaxation time approximation. The effect of baryochemical potential ($\mu_{\rm B}$) and temperature is also explicitly explored for the mentioned observables. Comparisons have been made with the results obtained from other existing theoretical models. We observe the violation of Wiedemann-Franz law in a hadron resonance gas at a high-temperature regime. The corresponding diffusivities have also been estimated, which can help us to understand the system in a better way.


title: Optimal recovery and uncertainty quantification for distributed Gaussian process regression

abstract: Gaussian Processes (GP) are widely used for probabilistic modeling and inference for nonparametric regression. However, their computational complexity scales cubicly with the sample size rendering them unfeasible for large data sets. To speed up the computations various distributed methods were proposed in the literature. These methods have, however, limited theoretical underpinning. In our work we derive frequentist theoretical guarantees and limitations for a range of distributed methods for general GP priors in context of the nonparametric regression model, both for recovery and uncertainty quantification. As specific examples we consider covariance kernels both with polynomially and exponentially decaying eigenvalues. We demonstrate the practical performance of the investigated approaches in a numerical study using synthetic data sets.


title: Rediscovering Argumentation Principles Utilizing Collective Attacks

abstract: Argumentation Frameworks (AFs) are a key formalism in AI research. Their semantics have been investigated in terms of principles, which define characteristic properties in order to deliver guidance for analysing established and developing new semantics. Because of the simple structure of AFs, many desired properties hold almost trivially, at the same time hiding interesting concepts behind syntactic notions. We extend the principle-based approach to Argumentation Frameworks with Collective Attacks (SETAFs) and provide a comprehensive overview of common principles for their semantics. Our analysis shows that investigating principles based on decomposing the given SETAF (e.g. directionality or SCC-recursiveness) poses additional challenges in comparison to usual AFs. We introduce the notion of the reduct as well as the modularization principle for SETAFs which will prove beneficial for this kind of investigation. We then demonstrate how our findings can be utilized for incremental computation of extensions and give a novel parameterized tractability result for verifying preferred extensions.


title: BIP! Scholar: A Service to Facilitate Fair Researcher Assessment

abstract: In recent years, assessing the performance of researchers has become a burden due to the extensive volume of the existing research output. As a result, evaluators often end up relying heavily on a selection of performance indicators like the h-index. However, over-reliance on such indicators may result in reinforcing dubious research practices, while overlooking important aspects of a researcher's career, such as their exact role in the production of particular research works or their contribution to other important types of academic or research activities (e.g., production of datasets, peer reviewing). In response, a number of initiatives that attempt to provide guidelines towards fairer research assessment frameworks have been established. In this work, we present BIP! Scholar, a Web-based service that offers researchers the opportunity to set up profiles that summarise their research careers taking into consideration well-established guidelines for fair research assessment, facilitating the work of evaluators who want to be more compliant with the respective practices.


title: Bridging the Domain Gap for Stance Detection for the Zulu language

abstract: Misinformation has become a major concern in recent last years given its spread across our information sources. In the past years, many NLP tasks have been introduced in this area, with some systems reaching good results on English language datasets. Existing AI based approaches for fighting misinformation in literature suggest automatic stance detection as an integral first step to success. Our paper aims at utilizing this progress made for English to transfers that knowledge into other languages, which is a non-trivial task due to the domain gap between English and the target languages. We propose a black-box non-intrusive method that utilizes techniques from Domain Adaptation to reduce the domain gap, without requiring any human expertise in the target language, by leveraging low-quality data in both a supervised and unsupervised manner. This allows us to rapidly achieve similar results for stance detection for the Zulu language, the target language in this work, as are found for English. We also provide a stance detection dataset in the Zulu language. Our experimental results show that by leveraging English datasets and machine translation we can increase performances on both English data along with other languages.


title: Investigating and Explaining the Frequency Bias in Image Classification

abstract: CNNs exhibit many behaviors different from humans, one of which is the capability of employing high-frequency components. This paper discusses the frequency bias phenomenon in image classification tasks: the high-frequency components are actually much less exploited than the low- and mid-frequency components. We first investigate the frequency bias phenomenon by presenting two observations on feature discrimination and learning priority. Furthermore, we hypothesize that (i) the spectral density, (ii) class consistency directly affect the frequency bias. Specifically, our investigations verify that the spectral density of datasets mainly affects the learning priority, while the class consistency mainly affects the feature discrimination.


title: Computing subalgebras and $\mathbb{Z}_2$-gradings of simple Lie algebras over finite fields

abstract: This paper introduces two new algorithms for Lie algebras over finite fields and applies them to the investigate the known simple Lie algebras of dimension at most $20$ over the field $\mathbb{F}_2$ with two elements. The first algorithm is a new approach towards the construction of $\mathbb{Z}_2$-gradings of a Lie algebra over a finite field of characteristic $2$. Using this, we observe that each of the known simple Lie algebras of dimension at most $20$ over $\mathbb{F}_2$ has a $\mathbb{Z}_2$-grading and we determine the associated simple Lie superalgebras. The second algorithm allows us to compute all subalgebras of a Lie algebra over a finite field. We apply this to compute the subalgebras, the maximal subalgebras and the simple subquotients of the known simple Lie algebras of dimension at most $16$ over $\mathbb{F}_2$ (with the exception of the $15$-dimensional Zassenhaus algebra).


title: Discrete-time gradient flows in Gromov hyperbolic spaces

abstract: We investigate fundamental properties of the proximal point algorithm for Lipschitz convex functions on (proper, geodesic) Gromov hyperbolic spaces. We show that the proximal point algorithm from an arbitrary initial point can find a point close to a minimizer of the function. Moreover, we establish contraction estimates (akin to trees) for the proximal (resolvent) operator. Our results can be applied to small perturbations of trees.


title: Maps with no a priori bounds

abstract: The modulus of a polynomial-like (PL) map is an important invariant that controls distortion of the straightening map and, hence, geometry of the corresponding PL Julia set. Lower bounds on the modulus, called complex a priori bounds, are known in a great variety of contexts. For any rational function we complement this by an upper bound for moduli of PL maps in the satellite case that depends only on the relative period and the degree of the PL map. This rules out a priori bounds in the satellite case with unbounded relative periods. We also apply our tools to obtain lower bounds for hyperbolic lengths of geodesics in the infinitely renormalizable case, and to show that moduli of annuli must converge to 0 for a sequence of arbitrary renormalizations, under several conditions all of which are shown to be necessary.


title: Tuning the dynamics of chiral domain walls of ferrimagnetic films with the magneto-ionic effect

abstract: The manipulation of magnetism with a gate voltage is expected to lead the way towards the realization of energy-efficient spintronics devices and high-performance magnetic memories. Exploiting magneto-ionic effects under micro-patterned electrodes in solid-state devices adds the possibility to modify magnetic properties locally, in a non-volatile and reversible way. Tuning magnetic anisotropy, magnetization and Dzyaloshinskii-Moriya interaction allows modifying at will the dynamics of non trivial magnetic textures such as skyrmions and chiral domain walls in magnetic race tracks. In this work, we illustrate efficient magneto-ionic effects in a ferrimagnetic Pt/Co/Tb stack using a ZrO2 thin layer as a solid state ionic conductor. When a thin layer of terbium is deposited on top of cobalt, it acquires a magnetic moment that aligns antiparallel to that of cobalt, reducing the effective magnetization. Below the micro-patterned electrodes, the voltage-driven migration of oxygen ions in a ZrO2 towards the ferrimagnetic stack partially oxidizes the Tb layer, leading to the local variation not only of the spontaneous magnetization, but also of the effective magnetic anisotropy and of the Dzyaloshinskii-Moriya interaction. This leads to a huge increase of the domain wall velocity, which varies from 10 m/s in the pristine state to 250 m/s after gating. This non-volatile and reversible tuning of the domain wall dynamics may lead to applications to reprogrammable magnetic memories or other spintronic devices.


title: Wetzel: Formalisation of an Undecidable Problem Linked to the Continuum Hypothesis

abstract: In 1964, Paul Erd\H{o}s published a paper settling a question about function spaces that he had seen in a problem book. Erd\H{o}s proved that the answer was yes if and only if the continuum hypothesis was false: an innocent-looking question turned out to be undecidable in the axioms of ZFC. The formalisation of these proofs in Isabelle/HOL demonstrate the combined use of complex analysis and set theory, and in particular how the Isabelle/HOL library for ZFC integrates set theory with higher-order logic.


title: ViSearch: Weak Consistency Measurement for Replicated Data Types

abstract: Large-scale replicated data type stores often resort to eventual consistency to guarantee low latency and high availability. It is widely accepted that programming over eventually consistent data stores is challenging, since arbitrary divergence among replicas is allowed. Moreover, pragmatic protocols actually achieve consistency guarantees stronger than eventual consistency, which can be and need to be utilized to facilitate the reasoning of and programming over replicated data types. Toward the challenges above, we propose the ViSearch framework for precise measurement of eventual consistency semantics. ViSearch employs the visibility-arbitration specification methodology in concurrent programming, which extends the linearizability-based specification methodology with a dynamic visibility relation among operations, in addition to the standard dynamic happen-before and linearization relations. The consistency measurement using ViSearch is NP-hard in general. To enable practical and efficient consistency measurement in replicated data type stores, the ViSearch framework refactors the existing brute-force checking algorithm to a generic algorithm skeleton, which further enables efficient pruning of the search space and effective parallelization. We employ the ViSearch framework for consistency measurement in two replicated data type stores Riak and CRDT-Redis. The experimental evaluation shows the usefulness and cost-effectiveness of consistency measurement based on the ViSearch framework in realistic scenarios.


title: A note on a generalisation of a definite integral involving the Bessel function of the first kind

abstract: We consider a generalisation of a definite integral involving the Bessel function of the first kind. It is shown that this integral can be expressed in terms of the Fox-Wright function ${}_p\Psi_q(z)$ of one variable. Some consequences of this representation are explored by suitable choice of parameters. In addition, two closed-form evaluations of infinite series of the Fox-Wright function are deduced.


title: Geodesics, Non-linearities and the Archive of Novelty Search

abstract: The Novelty Search (NS) algorithm was proposed more than a decade ago. However, the mechanisms behind its empirical success are still not well formalized/understood. This short note focuses on the effects of the archive on exploration. Experimental evidence from a few application domains suggests that archive-based NS performs in general better than when Novelty is solely computed with respect to the population. An argument that is often encountered in the literature is that the archive prevents exploration from backtracking or cycling, i.e. from revisiting previously encountered areas in the behavior space. We argue that this is not a complete or accurate explanation as backtracking - beside often being desirable - can actually be enabled by the archive. Through low-dimensional/analytical examples, we show that a key effect of the archive is that it counterbalances the exploration biases that result, among other factors, from the use of inadequate behavior metrics and the non-linearities of the behavior mapping. Our observations seem to hint that attributing a more active role to the archive in sampling can be beneficial.


title: Origin of eclipsing time variations in Post-Common-Envelope binaries: role of the centrifugal force

abstract: Eclipsing time variations (ETVs) in post-common-envelope binaries (PCEBs) were proposed to be due to the time-varying component of the stellar gravitational quadrupole moment. This is suggested to be produced by changes in the stellar structure due to an internal redistribution of angular momentum and the effect of the centrifugal force. We examined this hypothesis and present 3D simulations of compressible magnetohydrodynamics (MHD) performed with the {\sc Pencil Code}. We modeled the stellar dynamo for a solar-mass star with angular velocities of 20 and 30 times solar. We included and varied the strength of the centrifugal force and compared the results with reference simulations without the centrifugal force and with a simulation in which its effect is enhanced. The centrifugal force causes perturbations in the evolution of the numerical model, so that the outcome in the details becomes different as a result of nonlinear evolution. While the average density profile is unaffected by the centrifugal force, a relative change in the density difference between high latitudes and the equator of $\sim10^{-4}$ is found. The power spectrum of the convective velocity is found to be more sensitive to the angular velocity than to the strength of the centrifugal force. The quadrupole moment of the stars includes a fluctuating and a time-independent component, which vary with the rotation rate. As very similar behavior is produced in absence of the centrifugal force, we conclude that it is not the main ingredient for producing the time-averaged and fluctuating quadrupole moment of the star. In a real physical system, we thus expect contributions from both components, that is, from the time-dependent gravitational force from the variation in the quadrupole term and from the spin-orbit coupling that is due to the persistent part of the quadrupole.


title: Matter effects on flavor transitions of high-energy astrophysical neutrinos based on different decoherence schemes

abstract: The progress of neutrino astronomy makes the precise measurement of the flavor ratio of high energy astronomical neutrinos (HANs) possible in the near future. Then matter effects and new physics effects on the flavor transition of HANs could be tested by the next-generation neutrino telescopes. In this paper we study matter effects in gas around the sources of HANs. The matter effects are dependent on both the decoherence schemes and the sources of neutrinos. We examine the predictions on the flavor ratio at Earth for typical sources with five decoherence schemes. For the adiabatic schemes, the matter effect is notable and may be identified in the special range of the electron density, irrespective of the production sources of HANs. Hence, the precise measurement of the flavor ratio would provide constrains on the propagation schemes and the matter parameter.


title: Exploring the structural and optoelectronic properties of natural insulating phlogopite in van der Waals heterostructures

abstract: Naturally occurring van der Waals crystals have brought unprecedented interest to nanomaterial researchers in recent years. So far, more than 1800 layered materials (LMs) have been identified but only a few insulating and naturally occurring LMs were deeply investigated. Phyllosilicate minerals, which are a class of natural and abundant LMs, have been recently considered as a low-cost source of insulating nanomaterials. Within this family an almost barely explored material emerges: phlogopite [KMg3(AlSi3)O10(OH)2]. Here we carry out a high throughput characterization of this LM by employing several experimental techniques, corroborating the major findings with first-principles calculations. We show that monolayers (1L) and few-layers of this material are air and temperature stable, as well as easily obtained by the standard mechanical exfoliation technique, have an atomically flat surface, and lower bandgap than its bulk counterpart, an unusual trend in LMs. We also systematically study the basic properties of ultrathin phlogopite and demonstrate that natural phlogopite presents iron impurities in its crystal lattice, which decreases its bandgap from about 7 eV to 3.6 eV. Finally, we combine phlogopite crystals with 1L-WS2 in ultrathin van der Waals heterostructures and present a photoluminescence study, revealing a significant enhancement on the 1L-WS2 optical quality (i.e., higher recombination efficiency through neutral excitons) similarly to that obtained on 1L-WS2/hBN heterostructures. Our proof-of-concept study shows that phlogopite should be regarded as a good and promising candidate for LM-based applications as a low-cost layered nanomaterial.


title: Scale setting for large-$N$ SUSY Yang-Mills on the lattice

abstract: In this paper we study the large $N$ limit of four-dimensional Supersymmetric Yang-Mills on the lattice using twisted reduced models. We have generated configurations with dynamical massive gluinos and various lattice 't Hooft couplings, and verified that the Pfaffian remains positive. We have determined the lattice spacing in terms of various observables obtaining compatible results. Extrapolating to the massless gluino limit we obtain the lattice spacing dependence on the bare couplings for the supersymmetric theory. The observed dependence goes along the expected behaviour predicted by perturbation theory.


title: Absence of principal eigenvalues for higher rank locally symmetric spaces

abstract: Given a geometrically finite hyperbolic surface of infinite volume it is a classical result of Patterson that the positive Laplace-Beltrami operator has no $L^2$-eigenvalues $\geq 1/4$. In this article we prove a generalization of this result for the joint $L^2$-eigenvalues of the algebra of commuting differential operators on Riemannian locally symmetric spaces $\Gamma\backslash G/K$ of higher rank. We derive dynamical assumptions on the $\Gamma$-action on the geodesic and the Satake compactifications which imply the absence of the corresponding principal eigenvalues. A large class of examples fulfilling these assumptions are the non-compact quotients by Anosov subgroups.


title: Defending against Reconstruction Attacks through Differentially Private Federated Learning for Classification of Heterogeneous Chest X-Ray Data

abstract: Privacy regulations and the physical distribution of heterogeneous data are often primary concerns for the development of deep learning models in a medical context. This paper evaluates the feasibility of differentially private federated learning for chest X-ray classification as a defense against data privacy attacks. To the best of our knowledge, we are the first to directly compare the impact of differentially private training on two different neural network architectures, DenseNet121 and ResNet50. Extending the federated learning environments previously analyzed in terms of privacy, we simulated a heterogeneous and imbalanced federated setting by distributing images from the public CheXpert and Mendeley chest X-ray datasets unevenly among 36 clients. Both non-private baseline models achieved an area under the receiver operating characteristic curve (AUC) of $0.94$ on the binary classification task of detecting the presence of a medical finding. We demonstrate that both model architectures are vulnerable to privacy violation by applying image reconstruction attacks to local model updates from individual clients. The attack was particularly successful during later training stages. To mitigate the risk of privacy breach, we integrated R\'enyi differential privacy with a Gaussian noise mechanism into local model training. We evaluate model performance and attack vulnerability for privacy budgets $\epsilon \in$ {1, 3, 6, 10}. The DenseNet121 achieved the best utility-privacy trade-off with an AUC of $0.94$ for $\epsilon$ = 6. Model performance deteriorated slightly for individual clients compared to the non-private baseline. The ResNet50 only reached an AUC of $0.76$ in the same privacy setting. Its performance was inferior to that of the DenseNet121 for all considered privacy constraints, suggesting that the DenseNet121 architecture is more robust to differentially private training.


title: The NT-Xent loss upper bound

abstract: Self-supervised learning is a growing paradigm in deep representation learning, showing great generalization capabilities and competitive performance in low-labeled data regimes. The SimCLR framework proposes the NT-Xent loss for contrastive representation learning. The objective of the loss function is to maximize agreement, similarity, between sampled positive pairs. This short paper derives and proposes an upper bound for the loss and average similarity. An analysis of the implications is however not provided, but we strongly encourage anyone in the field to conduct this.


title: Event Concealment and Concealability Enforcement in Discrete Event Systems Under Partial Observation

abstract: Inspired by privacy problems where the behavior of a system should not be revealed to an external curious observer, we investigate event concealment and concealability enforcement in discrete event systems modeled as non-deterministic finite automata under partial observation. Given a subset of secret events in a given system, concealability holds if the occurrence of all secret events remains hidden to a curious observer (an eavesdropper). A secret event is said to be (at least under some executions) unconcealable (inferable) if its occurrence can be indirectly determined with certainty after a finite number of observations. When concealability of a system does not hold (i.e., one or more secret events are unconcealable), we analyze how a defender, placed at the interface of the system with the eavesdropper, can be used to enforce concealability. The defender takes as input each observed event of the system and outputs a carefully modified event sequence (seen by the eavesdropper) using event deletion, insertion, or replacement. The defender is said to be C-enforceable if, following the occurrence of the secret events and regardless of subsequent activity generated by the system, it can always deploy a strategy to manipulate observations and conceal the events perpetually. We discuss systematic procedures to detect the presence of unconcealable secret events and verify C-Enforceability using techniques from state estimation and event diagnosis. We also propose a polynomial complexity construction for obtaining one necessary and one sufficient condition for C-Enforceability.


title: Horizontal motions in sunspot penubrae

abstract: High-resolution observations of horizontal motions in the penumbra are needed to complement the concept of penumbrae obtained from spectropolarimetry. Time series of intensity images of a large sunspot in AR 10634 acquired with the Swedish Solar Telescope in the G band and red continuum are analysed. The two simultaneous time series last six hours and five minutes. Horizontal motions of penumbral grains (PGs), structures in dark bodies of filaments, the outer penumbral border, and G-band bright points are measured in time slices that cover the whole width of the penumbra and the neighbouring granulation. The spatial and temporal resolutions are 90 km and 20.1 s, respectively. In the inner penumbra, PGs move toward the umbra (inwards) with a mean speed of -0.7 km s-1. The direction of motion changes from inwards to outwards at approximately 60% of the penumbral width and the mean speed increases gradually in the outer penumbra, approaching 0.5 km/s. This speed is also typical of an expansion of the penumbra-granulation border during periods that typically last one hour and are followed by a fast contraction. The majority of the G-band bright points moves away from the sunspot, with a typical speed of 0.6 km/s. High outward speeds, 3.6 km/s on average, are observed in dark bodies of penumbral filaments. According to the model of penumbral filaments, it is suggested that the speeds detected in the dark bodies of filaments are associated with the Evershed flow and that the opposite directions of PG motions in the inner and outer penumbrae may be explained by the interaction of rising plasma in filament heads with a surrounding, differently inclined magnetic field.


title: Mapping the energy-time landscape of spins with helical X-rays

abstract: Unveiling the key mechanisms that determine optically driven spin dynamics is essential both to probe the fundamental nature of ultrafast light-matter interactions, but also to drive future technologies of smaller, faster, and more energy efficient devices. Essential to this task is the ability to use experimental spectroscopic tools to evidence the underlying energy- and spin-resolved dynamics of non-equilibrium electron occupations. In this joint theory and experimental work, we demonstrate that ultrafast helicity-dependent soft X-ray absorption spectroscopy (HXAS) allows access to spin-, time- and energy specific state occupation after optical excitation. We apply this method to the prototype transition metal ferromagnet cobalt and find convincing agreement between theory and experiment. The richly structured energy-resolved spin dynamics unveil the subtle interplay and characteristic time scales of optical excitation and spin-orbit induced spin-flip transitions in this material: the spin moment integrated in an energy window below the Fermi level first exhibits an ultrafast increase as minority carriers are excited by the laser pulse, before it is reduced as spin-flip process in highly localized, low energy states start to dominate. The results of this study demonstrate the power of element specific transient HXAS, placing it as a potential new tool for identifying and determining the role of fundamental processes in optically driven spin dynamics in magnetic materials.


title: Comparison of continuity equation and Gaussian mixture model for long-term density propagation using semi-analytical methods

abstract: This paper compares the continuum evolution for density equation modelling and the Gaussian mixture model on the 2D phase space long-term density propagation problem in the context of high-altitude and high area-to-mass ratio satellite long-term propagation. The density evolution equation, a pure numerical and pointwise method for the density propagation, is formulated under the influence of solar radiation pressure and Earth's oblateness using semi-analytical methods. Different from the density evolution equation and Monte Carlo techniques, for the Gaussian mixture model, the analytical calculation of the density is accessible from the first two statistical moments (i.e., the mean and the covariance matrix) corresponding to each sub-Gaussian distribution for an initial Gaussian density distribution. An insight is given into the phase space long-term density propagation problem subject to nonlinear dynamics. The efficiency and validity of the density propagation are demonstrated and compared between the density evolution equation and the Gaussian mixture model with respect to standard Monte Carlo techniques.


title: Analysis of Multiple Overlapping Paths algorithms for Secure Key Exchange in Large-Scale Quantum Networks

abstract: Quantum networks open the way to an unprecedented level of communication security. However, due to physical limitations on the distances of quantum links, current implementations of quantum networks are unavoidably equipped with trusted nodes. As a consequence, the quantum key distribution can be performed only on the links. Due to this, some new authentication and key exchange schemes must be considered to fully benefit from the unconditional security of links. One such approach uses Multiple Non-Overlapping Paths (MNOPs) for key exchange to mitigate the risk of an attack on a trusted node. The scope of the article is to perform a security analysis of this scheme for the case of both uncorrelated attacks and correlated attacks with finite resources. Furthermore, our analysis is extended to the case of Multiple Overlapping Paths (MOPs). We prove that introducing overlapping paths allows one to increase the security of the protocol, compared to the non-overlapping case with the same number of additional links added. This result may find application in optimising architectures of large-scale (hybrid) quantum networks.


title: Rigorous scaling laws for internally heated convection at infinite Prandtl number

abstract: New bounds are proven on the mean vertical convective heat transport, $\overline{\langle wT \rangle}$, for uniform internally heated (IH) convection in the limit of infinite Prandtl number. For fluid in a horizontally-periodic layer between isothermal boundaries, we show that $\overline{\langle wT \rangle} \leq \frac12 - c R^{-2}$, where $R$ is a nondimensional `flux' Rayleigh number quantifying the strength of internal heating and $c = 216$. Then, $\overline{\langle wT \rangle} = 0$ corresponds to vertical heat transport by conduction alone, while $\overline{\langle wT \rangle} > 0$ represents the enhancement of vertical heat transport upwards due to convective motion. If, instead, the lower boundary is a thermal insulator, then we obtain $\overline{\langle wT \rangle} \leq \frac12 - c R^{-4}$, with $c\approx 0.0107$. This result implies that the Nusselt number $Nu$, defined as the ratio of the total-to-conductive heat transport, satisfies $Nu \lesssim R^{4}$. Both bounds are obtained by combining the background method with a minimum principle for the fluid's temperature and with Hardy--Rellich inequalities to exploit the link between the vertical velocity and temperature. In both cases, power-law dependence on $R$ improves the previously best-known bounds, which, although valid at both infinite and finite Prandtl numbers, approach the uniform bound exponentially with $R$.


title: Controlling quantum effects in enhanced strong-field ionisation with machine-learning techniques

abstract: We study non-classical pathways and quantum interference in enhanced ionisation of diatomic molecules in strong laser fields using machine learning techniques. Quantum interference provides a bridge, which facilitates intramolecular population transfer. Its frequency is higher than that of the field, intrinsic to the system and depends on several factors, for instance the state of the initial wavepacket or the internuclear separation. Using dimensionality reduction techniques, namely t-distributed stochastic neighbour embedding (t-SNE) and principal component analysis (PCA), we investigate the effect of multiple parameters at once and find optimal conditions for enhanced ionisation in static fields, and controlled ionisation release for two-colour driving fields. This controlled ionisation manifests itself as a step-like behaviour in the time-dependent autocorrelation function. We explain the features encountered with phase-space arguments, and also establish a hierarchy of parameters for controlling ionisation via phase-space Wigner quasiprobability flows, such as specific coherent superpositions of states, electron localisation and internuclear-distance ranges.


title: Equations of state for hot neutron stars -- II. The role of exotic particle degrees of freedom

abstract: Explosive astrophysical systems - such as supernovae or compact star binary mergers - provide conditions where exotic degrees of freedom can be populated. Within the covariant density functional theory of nuclear matter we build several general purpose equations of state which, in addition to the baryonic octet, account for $\Delta(1232)$ resonance states. The thermodynamic stability of $\Delta$-admixed nuclear matter is investigated in the limiting case of vanishing temperature for charge fractions $Y_Q=0.01$ and $Y_Q=0.5$ and wide ranges of the coupling constants to the scalar and vector mesonic fields. General purpose equation of state models with exotica presently available on the \textsc{CompOSE} database are further reviewed; for a selection of them we then investigate thermal properties for thermodynamic conditions relevant for core-collapse supernovae and binary neutron star mergers. Modifications induced by hyperons, $\Delta(1232)$, $K^-$, pions and quarks are discussed.


title: Anisotropic carrier dynamics in a laser-excited Fe$_{1}$/(MgO)$_{3}$(001) heterostructure from real-time time-dependent DFT

abstract: The interaction of a femtosecond optical pulse with a Fe$_{1}$/(MgO)$_{3}$(001) metal/oxide heterostructure is investigated using time-dependent density functional theory (TDDFT) calculations in the real-time domain. We systematically study electronic excitations as a function of laser frequency, peak power density and polarization direction. While spin-orbit coupling is found to result in only a small time-dependent reduction of magnetization (less than 10%), we find a marked anisotropy in the response to in-plane and out-of-plane polarized light, which changes its character qualitatively depending on the excitation energy: the Fe-layer is efficiently addressed at low frequencies by in-plane polarized light, whereas for frequencies higher than the MgO band gap, we find a particularly strong response of the central MgO-layer for cross-plane polarized light. For laser excitations between the charge transfer gap and the MgO band gap, the interface plays the most important role, as it mediates concerted transitions from the valence band of MgO into the $3d$ states of Fe closely above the Fermi level and from the Fe-states below the Fermi level into the conduction band of MgO. As these transitions can occur simultaneously altering charge balance of the layers, they could potentially lead to an efficient transfer of excited carriers into the MgO bulk, where the corresponding electron and hole states can be separated by an energy which is significantly larger than the photon energy.


title: Long-time Asymptotic Behavior of the coupled dispersive AB system in Low Regularity Spaces

abstract: In this paper, we mainly investigate the long-time asymptotic behavior of the solution for the coupled dispersive AB system with weighted Sobolev initial data, which allows soliton solutions via the Dbar steepest descent method.Based on the spectral analysis of Lax pair, the Cauchy problem of the coupled dispersive AB system is transformed into a Riemann-Hilbert problem, and its existence and uniqueness of the solution is proved by the vanishing lemma. The stationary phase points play an important role in the long-time asymptotic behavior. We demonstrate that in any fixed time cone $\mathcal{C}\left(x_{1}, x_{2}, v_{1}, v_{2}\right)=\left\{(x, t) \in \mathbb{R}^{2} \mid x=x_{0}+v t, x_{0} \in\left[x_{1}, x_{2}\right], v \in\left[v_{1}, v_{2}\right]\right\}$, the long-time asymptotic behavior of the solution for the coupled dispersive AB system can be expressed by $N(\mathcal{I})$ solitons on the discrete spectrum, the leading order term $\mathcal{O}(t^{-1 / 2})$ on the continuous spectrum and the allowable residual $\mathcal{O}(t^{-3 / 4})$.


title: On the characterization of Eulerian $es$-splitting $p$-matroids

abstract: The $es$-splitting operation on binary bridge-less matroids never produces an Eulerian matroid. But for matroids representable over $GF(p),(p>2),$ called $p$-matroids, the $es$-splitting operation may yield Eulerian matroids. In this work, we introduce the $es$-splitting operation for $p$-matroids and characterize a class of $p$-matroids yielding Eulerian matroids after the $es$-splitting operation. Characterization of circuits, and bases of the resulting matroid, after the $es$-splitting operation, in terms of circuits, and bases of the original matroid, respectively, are discussed. We also proved that the $es$-splitting operation on $p$-matroids preserves connectivity and 3-connectedness. Sufficient condition to obtain Hamiltonian $p$-matroid from Hamiltonian $p$-matroid under $es$-splitting operation is also provided.


title: Understanding Quantum Software Engineering Challenges An Empirical Study on Stack Exchange Forums and GitHub Issues

abstract: With the advance in quantum computing, quantum software becomes critical for exploring the full potential of quantum computing systems. Recently, quantum software engineering (QSE) becomes an emerging area attracting more and more attention. However, it is not clear what are the challenges and opportunities of quantum computing facing the software engineering community. This work aims to understand the QSE-related challenges perceived by developers. We perform an empirical study on Stack Exchange forums where developers post-QSE-related questions & answers and Github issue reports where developers raise QSE-related issues in practical quantum computing projects. Based on an existing taxonomy of question types on Stack Overflow, we first perform a qualitative analysis of the types of QSE-related questions asked on Stack Exchange forums. We then use automated topic modeling to uncover the topics in QSE-related Stack Exchange posts and GitHub issue reports. Our study highlights some particularly challenging areas of QSE that are different from that of traditional software engineering, such as explaining the theory behind quantum computing code, interpreting quantum program outputs, and bridging the knowledge gap between quantum computing and classical computing, as well as their associated opportunities.


title: Intelligent Reflection Enabling Technologies for Integrated and Green Internet-of-Everything Beyond 5G: Communication, Sensing, and Security

abstract: Internet-of-Everything (IoE) has gradually been recognized as an integral part of future wireless networks. In IoE, there can be an ultra-massive number of smart devices of various types to be served, imposing multi-dimensional requirements on wireless communication, sensing, and security. In this article, we provide a tutorial overview of the promising intelligent reflection communication (IRC) technologies, including reconfigurable intelligent surface (RIS) and ambient backscatter communication (AmBC), to support the requirements of IoE applications beyond the fifth-generation (5G) wireless communication network. Specifically, we elaborate on the benefits of IRC-assisted IoE in the context of the space-air-ground integrated communications and green communications, which are regarded as key features of supporting future IoE application from society and industries. Furthermore, we envision that the IRC-assisted communication and sensing can mutually benefit each other and articulate multiple ways of enhancing the security in IoE by the IRC. Numerical results help illustrate the importance of the IRC in unfavorable secrecy environments. Finally, open research issues and challenges about the IRC-assisted IoE are presented.


title: Visual Data Analysis with Task-based Recommendations

abstract: General visualization recommendation systems typically make design decisions for the dataset automatically. However, most of them can only prune meaningless visualizations but fail to recommend targeted results. This paper contributes TaskVis, a task-oriented visualization recommendation system that allows users to select their tasks precisely on the interface. We first summarize a task base with 18 classical analytic tasks by a survey both in academia and industry. On this basis, we maintain a rule base, which extends empirical wisdom with our targeted modeling of the analytic tasks. Then, our rule-based approach enumerates all the candidate visualizations through answer set programming. After that, the generated charts can be ranked by four ranking schemes. Furthermore, we introduce a task-based combination recommendation strategy, leveraging a set of visualizations to give a brief view of the dataset collaboratively. Finally, we evaluate TaskVis through a series of use cases and a user study.


title: Green Accelerated Hoeffding Tree

abstract: State-of-the-art machine learning solutions mainly focus on creating highly accurate models without constraints on hardware resources. Stream mining algorithms are designed to run on resource-constrained devices, thus a focus on low power and energy and memory-efficient is essential. The Hoeffding tree algorithm is able to create energy-efficient models, but at the cost of less accurate trees in comparison to their ensembles counterpart. Ensembles of Hoeffding trees, on the other hand, create a highly accurate forest of trees but consume five times more energy on average. An extension that tried to obtain similar results to ensembles of Hoeffding trees was the Extremely Fast Decision Tree (EFDT). This paper presents the Green Accelerated Hoeffding Tree (GAHT) algorithm, an extension of the EFDT algorithm with a lower energy and memory footprint and the same (or higher for some datasets) accuracy levels. GAHT grows the tree setting individual splitting criteria for each node, based on the distribution of the number of instances over each particular leaf. The results show that GAHT is able to achieve the same competitive accuracy results compared to EFDT and ensembles of Hoeffding trees while reducing the energy consumption up to 70%.


title: On boundary conditions parametrized by analytic functions

abstract: Computer algebra can answer various questions about partial differential equations using symbolic algorithms. However, the inclusion of data into equations is rare in computer algebra. Therefore, recently, computer algebra models have been combined with Gaussian processes, a regression model in machine learning, to describe the behavior of certain differential equations under data. While it was possible to describe polynomial boundary conditions in this context, we extend these models to analytic boundary conditions. Additionally, we describe the necessary algorithms for Gr\"obner and Janet bases of Weyl algebras with certain analytic coefficients. Using these algorithms, we provide examples of divergence-free flow in domains bounded by analytic functions and adapted to observations.


title: Semantics-Guided Moving Object Segmentation with 3D LiDAR

abstract: Moving object segmentation (MOS) is a task to distinguish moving objects, e.g., moving vehicles and pedestrians, from the surrounding static environment. The segmentation accuracy of MOS can have an influence on odometry, map construction, and planning tasks. In this paper, we propose a semantics-guided convolutional neural network for moving object segmentation. The network takes sequential LiDAR range images as inputs. Instead of segmenting the moving objects directly, the network conducts single-scan-based semantic segmentation and multiple-scan-based moving object segmentation in turn. The semantic segmentation module provides semantic priors for the MOS module, where we propose an adjacent scan association (ASA) module to convert the semantic features of adjacent scans into the same coordinate system to fully exploit the cross-scan semantic features. Finally, by analyzing the difference between the transformed features, reliable MOS result can be obtained quickly. Experimental results on the SemanticKITTI MOS dataset proves the effectiveness of our work.


title: Scrutinizing the 95-100 GeV di-tau excess in the top associated process

abstract: Recently, the CMS collaboration has reported a di-tau excess with a local significance of 2.6-3.1$\sigma$ where the invariant mass is $m_{\tau\tau}=$95-100 GeV. This excess can be interpreted as a light scalar boson that couples to the third generation fermions, particularly top and $\tau$. Based on the simplest model that can account for the CMS di-tau excess, we evaluate experimental sensitivities to the additional light resonance, using the results reported by the ATLAS collaboration. We see that a search for the top-quark associated production of the SM Higgs boson that decays into $\tau\bar\tau$ sets a strong model-independent limit. We also find that the CP-even scalar interpretation of the light resonance is excluded by the ATLAS results, while the CP-odd interpretation is not.


title: A Cyclic Analogue of Stanley's Shuffle Theorem

abstract: We introduce the cyclic major index of a cycle permutation and give a bivariate analogue of enumerative formula for the cyclic shuffles with a given cyclic descent numbers due to Adin, Gessel, Reiner and Roichman, which can be viewed as a cyclic analogue of Stanley's Shuffle Theorem. This gives an answer to a question of Adin, Gessel, Reiner and Roichman, which has been posed by Domagalski, Liang, Minnich, Sagan, Schmidt and Sietsema again.


title: Optimal Bandwidth Allocation for Multicast-Cache-Aided on-Demand Streaming in Wireless Networks

abstract: We consider a hybrid delivery scheme for streaming content, combining cache-enabled Orthogonal Multipoint Multicast (OMPMC) and on-demand Single-Point Unicast (SPUC) transmissions for heterogeneous networks. The OMPMC service transmits cached files through the whole network to interested users, and users not being satisfied by this service are assigned to the SPUC service to be individually served. The SPUC fetches the requested files from the core network and unicasts them to UEs using cellular beamforming transmissions. We optimize the delivery scheme to minimize the average resource consumption in the network. We formulate a constrained optimization problem over the cache placement and resource allocation of the OMPMC component, as well as the multi-user beamforming scheme of the SPUC component. We apply a path-following method to find the optimal traffic offloading solution. The solutions portray a contrast between the total amount of consumed resources and service outage probability. Simulation results show that the hybrid scheme provides a better tradeoff between the amount of network-wide consumed resources and the service outage probability, as compared to schemes from the literature.


title: Imperceptible Backdoor Attack: From Input Space to Feature Representation

abstract: Backdoor attacks are rapidly emerging threats to deep neural networks (DNNs). In the backdoor attack scenario, attackers usually implant the backdoor into the target model by manipulating the training dataset or training process. Then, the compromised model behaves normally for benign input yet makes mistakes when the pre-defined trigger appears. In this paper, we analyze the drawbacks of existing attack approaches and propose a novel imperceptible backdoor attack. We treat the trigger pattern as a special kind of noise following a multinomial distribution. A U-net-based network is employed to generate concrete parameters of multinomial distribution for each benign input. This elaborated trigger ensures that our approach is invisible to both humans and statistical detection. Besides the design of the trigger, we also consider the robustness of our approach against model diagnose-based defences. We force the feature representation of malicious input stamped with the trigger to be entangled with the benign one. We demonstrate the effectiveness and robustness against multiple state-of-the-art defences through extensive datasets and networks. Our trigger only modifies less than 1\% pixels of a benign image while the modification magnitude is 1. Our source code is available at https://github.com/Ekko-zn/IJCAI2022-Backdoor.


title: Distribution of 3-regular and 5-regular partitions

abstract: In this paper we study the function $b_3(n)$ and $b_5(n)$, which denote the number of $3$-regular partitions and $5$-regular partitions of $n$ respectively. Using the theory of modular forms, we prove several arithmetic properties of $b_3(n)$ and $b_5(n)$ modulo primes greater than $3$.


title: Controlling Robot Swarm Aggregation through a Minority of Informed Robots

abstract: Self-organized aggregation is a well studied behavior in swarm robotics as it is the pre-condition for the development of more advanced group-level responses. In this paper, we investigate the design of decentralized algorithms for a swarm of heterogeneous robots that self-aggregate over distinct target sites. A previous study has shown that including as part of the swarm a number of informed robots can steer the dynamic of the aggregation process to a desirable distribution of the swarm between the available aggregation sites. We have replicated the results of the previous study using a simplified approach: we removed constraints related to the communication protocol of the robots and simplified the control mechanisms regulating the transitions between states of the probabilistic controller. The results show that the performances obtained with the previous, more complex, controller can be replicated with our simplified approach which offers clear advantages in terms of portability to the physical robots and in terms of flexibility. That is, our simplified approach can generate self-organized aggregation responses in a larger set of operating conditions than what can be achieved with the complex controller.


title: Probability density functions of quantum mechanical observable uncertainties

abstract: We study the uncertainties of quantum mechanical observables, quantified by the standard deviation (square root of variance) in Haar-distributed random pure states. We derive analytically the probability density functions (PDFs) of the uncertainties of arbitrary qubit observables. Based on these PDFs, the uncertainty regions of the observables are characterized by the supports of the PDFs. The state-independent uncertainty relations are then transformed into the optimization problems over uncertainty regions, which opens a new vista for studying state independent uncertainty relations. Our results may be generalized to multiple observable case in higher dimensional spaces.


title: Scalable computation of prediction intervals for neural networks via matrix sketching

abstract: Accounting for the uncertainty in the predictions of modern neural networks is a challenging and important task in many domains. Existing algorithms for uncertainty estimation require modifying the model architecture and training procedure (e.g., Bayesian neural networks) or dramatically increase the computational cost of predictions such as approaches based on ensembling. This work proposes a new algorithm that can be applied to a given trained neural network and produces approximate prediction intervals. The method is based on the classical delta method in statistics but achieves computational efficiency by using matrix sketching to approximate the Jacobian matrix. The resulting algorithm is competitive with state-of-the-art approaches for constructing predictive intervals on various regression datasets from the UCI repository.