title: Extremal Dependence-Based Specification Testing of Time Series

abstract: We propose a specification test for conditional location--scale models based on extremal dependence properties of the standardized residuals. We do so comparing the left-over serial extremal dependence -- as measured by the pre-asymptotic tail copula -- with that arising under serial independence at different lags. Our main theoretical results show that the proposed Portmanteau-type test statistics have nuisance parameter-free asymptotic limits. The test statistics are easy to compute, as they only depend on the standardized residuals, and critical values are likewise easily obtained from the limiting distributions. This contrasts with extant tests (based, e.g., on autocorrelations of squared residuals), where test statistics depend on the parameter estimator of the model and critical values may need to be bootstrapped. We show that our test performs well in simulations. An empirical application to S&P 500 constituents illustrates that our test can uncover violations of residual serial independence that are not picked up by standard autocorrelation-based specification tests, yet are relevant when the model is used for, e.g., risk forecasting.


title: Predicting another doubly charmed molecular resonance $T_{cc}^{\prime+}(3876)$

abstract: The isospin breaking effect plays an essential role in generating hadronic molecular states with a very tiny binding energy. Very recently, the LHCb Collaboration observed a very narrow doubly charmed tetraquark $T_{cc}^+$ in the $D^0D^0\pi$ mass spectrum, which lies just below the $D^0D^{*+}$ threshold around 273 keV. In this work, we study the $D^0D^{*+}/D^+D^{*0}$ interactions with the one-boson-exchange effective potentials and consider the isospin breaking effect carefully. We not only reproduce the mass of the newly observed $T_{cc}^+$ very well in the doubly charmed molecular tetraquark scenario, but also predict the other doubly charmed partner resonance $T_{cc}^{\prime+}$ with $m=3876~\text{MeV}$, and $\Gamma= 412~\text{keV}$. The prime decay modes of the $T_{cc}^{\prime+}$ are $D^0D^+\gamma$ and $D^+D^0\pi^0$. The peculiar characteristic mass spectrum of the $D^0D^{*+}/D^+D^{*0}$ molecular systems can be applied to identify the doubly charmed molecular states.


title: Internal Video Inpainting by Implicit Long-range Propagation

abstract: We propose a novel framework for video inpainting by adopting an internal learning strategy. Unlike previous methods that use optical flow for cross-frame context propagation to inpaint unknown regions, we show that this can be achieved implicitly by fitting a convolutional neural network to known regions. Moreover, to handle challenging sequences with ambiguous backgrounds or long-term occlusion, we design two regularization terms to preserve high-frequency details and long-term temporal consistency. Extensive experiments on the DAVIS dataset demonstrate that the proposed method achieves state-of-the-art inpainting quality quantitatively and qualitatively. We further extend the proposed method to another challenging task: learning to remove an object from a video giving a single object mask in only one frame in a 4K video.


title: Secure and Privacy-Preserving Federated Learning via Co-Utility

abstract: The decentralized nature of federated learning, that often leverages the power of edge devices, makes it vulnerable to attacks against privacy and security. The privacy risk for a peer is that the model update she computes on her private data may, when sent to the model manager, leak information on those private data. Even more obvious are security attacks, whereby one or several malicious peers return wrong model updates in order to disrupt the learning process and lead to a wrong model being learned. In this paper we build a federated learning framework that offers privacy to the participating peers as well as security against Byzantine and poisoning attacks. Our framework consists of several protocols that provide strong privacy to the participating peers via unlinkable anonymity and that are rationally sustainable based on the co-utility property. In other words, no rational party is interested in deviating from the proposed protocols. We leverage the notion of co-utility to build a decentralized co-utile reputation management system that provides incentives for parties to adhere to the protocols. Unlike privacy protection via differential privacy, our approach preserves the values of model updates and hence the accuracy of plain federated learning; unlike privacy protection via update aggregation, our approach preserves the ability to detect bad model updates while substantially reducing the computational overhead compared to methods based on homomorphic encryption.


title: An Operator-Splitting Method for the Gaussian Curvature Regularization Model with Applications to Surface Smoothing and Imaging

abstract: Gaussian curvature is an important geometric property of surfaces, which has been used broadly in mathematical modeling. Due to the full nonlinearity of the Gaussian curvature, efficient numerical methods for models based on it are uncommon in literature. In this article, we propose an operator-splitting method for a general Gaussian curvature model. In our method, we decouple the full nonlinearity of Gaussian curvature from differential operators by introducing two matrix- and vector-valued functions. The optimization problem is then converted into the search for the steady state solution of a time dependent PDE system. The above PDE system is well-suited to time discretization by operator splitting, the sub-problems encountered at each fractional step having either a closed form solution or being solvable by efficient algorithms. The proposed method is not sensitive to the choice of parameters, its efficiency and performances being demonstrated via systematic experiments on surface smoothing and image denoising.


title: An analytical study of content and contexts of keywords on physics

abstract: This paper analysed author-assigned and title keywords into constituent words collected from 769 articles published in the journal Low Temperature Physics since the year 2006 to 2010. The total number of distinct keywords over the said time span has been found as 1155, which have been analyzed into 869 numbers of single words having total frequency of occurrence of 2287. The single words obtained from keywords have been categorized in four broad classes, viz. eponymous word, form word, acronym and semantic word. A semantic word bears several contexts and thus may be considered as relevant in several other subject areas. These probable relevant subject areas have been found with the aid of two popular online reference tools. The semantic words are further categorized in twelve classes according to their contexts. Some parameters have been defined on the basis of associations among the words and formation of keywords in consequence, i.e. Word Association Density, Word Association Coefficient and Keyword Formation Density. The values of these parameters have been observed for different word categories. The statistics of word association tending keyword formation would be known from this study. The allied subject domains also become predictable from this study.


title: Free-free background radiation from accreting primordial black holes

abstract: Baryonic gas falling onto a primordial black hole (PBH) emits photons via the free-free process. These photons can contribute the diffuse free-free background radiation in the frequency range of the cosmic microwave background radiation (CMB). We show that the intensity of the free-free background radiation from PBHs depends on the mass and abundance of PBHs. In particular, considering the growth of a dark matter (DM) halo around a PBH by non-PBH DM particles strongly enhances the free-free background radiation. Large PBH fraction increase the signal of the free-free emission. However, large PBH fraction also can heat the IGM gas and, accordingly, suppresses the accretion rate. As a result, the free-free emission decreases when the PBH fraction is larger than 0.1. We find that the free-free emission from PBHs in the CMB and radio frequency is much lower than the CMB blackbody spectrum and the observed free-free emission component in the background radiation. Therefore, it is difficult to obtain the constraint from the free-free emission observation. However further theoretical understanding and observation on the free-free emission from cosmological origin is helpful to study the PBH abundance with the stellar mass.


title: Giant white-light flares on fully convective stars occur at high latitudes

abstract: White-light flares are magnetically driven localized brightenings on the surfaces of stars. Their temporal, spectral, and statistical properties present a treasury of physical information about stellar magnetic fields. The spatial distributions of magnetic spots and associated flaring regions help constrain dynamo theories. Moreover, flares are thought to crucially affect the habitability of exoplanets that orbit these stars. Measuring the location of flares on stars other than the Sun is challenging due to the lack of spatial resolution. Here we present four fully convective stars observed with the Transiting Exoplanet Survey Satellite (TESS) that displayed large, long-duration flares in white-light which were modulated in brightness by the stars' fast rotation. This allowed us to determine the loci of these flares directly from the light curves. All four flares occurred at latitudes between 55 deg and 81 deg, far higher than typical solar flare latitudes. Our findings are evidence that strong magnetic fields tend to emerge close to the stellar rotational poles for fully convective stars, and suggest that the impact of flares on the habitability of exoplanets around small stars could be weaker than previously thought.


title: Fundamental Theorem of Projective Geometry over Semirings

abstract: We state the fundamental theorem of projective geometry for semimodules over semirings, which is facilitated by recent work in the study of bases in semimodules defined over semirings. In the process we explore in detail the linear algebra setup over semirings. We also provide more explicit results to understand the implications of our main theorem on maps between tropical lines in the tropical plane. Along with this we also look at geometrical connections to the rich theory of tropical geometry


title: When to Preprocess? Keeping Information Fresh for Computing Enable Internet of Things

abstract: Age of information (AoI), a notion that measures the information freshness, is an essential performance measure for time-critical applications in Internet of Things (IoT). With the surge of computing resources at the IoT devices, it is possible to preprocess the information packets that contain the status update before sending them to the destination so as to alleviate the transmission burden. However, the additional time and energy expenditure induced by computing also make the optimal updating a non-trivial problem. In this paper, we consider a time-critical IoT system, where the IoT device is capable of preprocessing the status update before the transmission. Particularly, we aim to jointly design the preprocessing and transmission so that the weighted sum of the average AoI of the destination and the energy consumption of the IoT device is minimized. Due to the heterogeneity in transmission and computation capacities, the durations of distinct actions of the IoT device are non-uniform. Therefore, we formulate the status updating problem as an infinite horizon average cost semi-Markov decision process (SMDP) and then transform it into a discrete-time Markov decision process. We demonstrate that the optimal policy is of threshold type with respect to the AoI. Equipped with this, a structure-aware relative policy iteration algorithm is proposed to obtain the optimal policy of the SMDP. Our analysis shows that preprocessing is more beneficial in regimes of high AoIs, given it can reduce the time required for updates. We further prove the switching structure of the optimal policy in a special scenario, where the status updates are transmitted over a reliable channel, and derive the optimal threshold. Finally, simulation results demonstrate the efficacy of preprocessing and show that the proposed policy outperforms two baseline policies.


title: Commissioning of the camera of the first Large Size Telescope of the Cherenkov Telescope Array

abstract: The first Large Size Telescope (LST-1) of the Cherenkov Telescope Array has been operational since October 2018 at La Palma, Spain. We report on the results obtained during the camera commissioning. The noise level of the readout is determined as a 0.2 p.e. level. The gain of PMTs are well equalized within 2\% variation, using the calibration flash system. The effect of the night sky background on the signal readout noise as well as the PMT gain estimation are also well evaluated. Trigger thresholds are optimized for the lowest possible gamma-ray energy threshold and the trigger distribution synchronization has been achieved within 1~ns precision. Automatic rate control realizes the stable observation with 1.5\% rate variation over 3 hours. The performance of the novel DAQ system demonstrates a less than 10\% dead time for 15 kHz trigger rate even with sophisticated online data correction.


title: TextCNN with Attention for Text Classification

abstract: The vast majority of textual content is unstructured, making automated classification an important task for many applications. The goal of text classification is to automatically classify text documents into one or more predefined categories. Recently proposed simple architectures for text classification such as Convolutional Neural Networks for Sentence Classification by Kim, Yoon showed promising results. In this paper, we propose incorporating an attention mechanism into the network to boost its performance, we also propose WordRank for vocabulary selection to reduce the network embedding parameters and speed up training with minimum accuracy loss. By adopting the proposed ideas TextCNN accuracy on 20News increased from 94.79 to 96.88, moreover, the number of parameters for the embedding layer can be reduced substantially with little accuracy loss by using WordRank. By using WordRank for vocabulary selection we can reduce the number of parameters by more than 5x from 7.9M to 1.5M, and the accuracy will only decrease by 1.2%.


title: UniGPS: A Unified Programming Framework for Distributed Graph Processing

abstract: The industry and academia have proposed many distributed graph processing systems. However, the existing systems are not friendly enough for users like data analysts and algorithm engineers. On the one hand, the programing models and interfaces differ a lot in the existing systems, leading to high learning costs and program migration costs. On the other hand, these graph processing systems are tightly bound to the underlying distributed computing platforms, requiring users to be familiar with distributed computing. To improve the usability of distributed graph processing, we propose a unified distributed graph programming framework UniGPS. Firstly, we propose a unified cross-platform graph programming model VCProg for UniGPS. VCProg hides details of distributed computing from users. It is compatible with the popular graph programming models Pregel, GAS, and Push-Pull. VCProg programs can be executed by compatible distributed graph processing systems without modification, reducing the learning overheads of users. Secondly, UniGPS supports Python as the programming language. We propose an interprocess-communication-based execution environment isolation mechanism to enable Java/C++-based systems to call user-defined methods written in Python. The experimental results show that UniGPS enables users to process big graphs beyond the memory capacity of a single machine without sacrificing usability. UniGPS shows near-linear data scalability and machine scalability.


title: Exploring Interactions Between Trust, Anthropomorphism, and Relationship Development in Voice Assistants

abstract: Modern conversational agents such as Alexa and Google Assistant represent significant progress in speech recognition, natural language processing, and speech synthesis. But as these agents have grown more realistic, concerns have been raised over how their social nature might unconsciously shape our interactions with them. Through a survey of 500 voice assistant users, we explore whether users' relationships with their voice assistants can be quantified using the same metrics as social, interpersonal relationships; as well as if this correlates with how much they trust their devices and the extent to which they anthropomorphise them. Using Knapp's staircase model of human relationships, we find that not only can human-device interactions be modelled in this way, but also that relationship development with voice assistants correlates with increased trust and anthropomorphism.


title: The reductive Borel-Serre compactification as a model for unstable algebraic K-theory

abstract: Let $A$ be an associative ring and $M$ a finitely generated projective $A$-module. We introduce a category $\operatorname{RBS}(M)$ and prove several theorems which show that its geometric realisation functions as a well-behaved unstable algebraic K-theory space. These categories $\operatorname{RBS}(M)$ naturally arise as generalisations of the exit path $\infty$-category of the reductive Borel-Serre compactification of a locally symmetric space, and one of our main techniques is to find purely categorical analogues of some familiar structures in these compactifications.


title: On support $\tau$-tilting graphs of gentle algebras

abstract: Let $A$ be a finite-dimensional gentle algebra over an algebraically closed field. We investigate the combinatorial properties of support $\tau$-tilting graph of $A$. In particular, it is proved that the support $\tau$-tilting graph of $A$ is connected and has the so-called reachable-in-face property. This property was conjectured by Fomin and Zelevinsky for exchange graphs of cluster algebras which was recently confirmed by Cao and Li.


title: Cosmology behind the mask: Constraining the parameters of $\Lambda$CDM with the unmasked galaxy density field from VIPERS

abstract: Galaxy redshift surveys are designed to map cosmic structures in three dimensions for large-scale structure studies. Nevertheless, limitations due to sampling and the survey window are unavoidable and degrade the cosmological constraints. We present an analysis of the VIMOS Public Extragalactic Redshift Survey (VIPERS) over the redshift range $0.6 < z < 1$ that is optimised to extract the cosmological parameters while fully accounting for the complex survey geometry. We employ the Gibbs sampling algorithm to iteratively draw samples of the galaxy density field in redshift space, the galaxy bias, the matter density, baryon fraction and growth-rate parameter $f\sigma_8$ based on a multivariate Gaussian likelihood and prior on the density field. Despite the high number of degrees of freedom, the samples converge to the joint posterior distribution and give self-consistent constraints on the model parameters. We validate the approach using VIPERS mock galaxy catalogues. Although the uncertainty is underestimated by the Gaussian likelihood on the scales that we consider by 50 %, the dispersion of the results from the mock catalogues gives a robust error estimate. We find that the precision of the results matches those of the traditional analyses applied to the VIPERS data that use more constrained models. By relaxing the model assumptions, we confirm that the data deliver consistent constraints on the $\Lambda$CDM model. This work provides a case-study for the application of maximum-likelihood analyses for the next generation of galaxy redshift surveys.


title: Progress in deep Markov State Modeling: Coarse graining and experimental data restraints

abstract: Recent advances in deep learning frameworks have established valuable tools for analyzing the long-timescale behavior of complex systems such as proteins. Especially the inclusion of physical constraints, e.g. time-reversibility, was a crucial step to make the methods applicable to biophysical systems. Furthermore, we advance the method by incorporating experimental observables into the model estimation showing that biases in simulation data can be compensated for. We further develop a new neural network layer in order to build an hierarchical model allowing for different level of details to be studied. Finally, we propose an attention mechanism which highlights important residues for the classification into different states. We demonstrate the new methodology on an ultralong molecular dynamics simulation of the Villin headpiece miniprotein.


title: How to Query Language Models?

abstract: Large pre-trained language models (LMs) are capable of not only recovering linguistic but also factual and commonsense knowledge. To access the knowledge stored in mask-based LMs, we can use cloze-style questions and let the model fill in the blank. The flexibility advantage over structured knowledge bases comes with the drawback of finding the right query for a certain information need. Inspired by human behavior to disambiguate a question, we propose to query LMs by example. To clarify the ambivalent question "Who does Neuer play for?", a successful strategy is to demonstrate the relation using another subject, e.g., "Ronaldo plays for Portugal. Who does Neuer play for?". We apply this approach of querying by example to the LAMA probe and obtain substantial improvements of up to 37.8% for BERT-large on the T-REx data when providing only 10 demonstrations--even outperforming a baseline that queries the model with up to 40 paraphrases of the question. The examples are provided through the model's context and thus require neither fine-tuning nor an additional forward pass. This suggests that LMs contain more factual and commonsense knowledge than previously assumed--if we query the model in the right way.


title: Estimation of radiative half-life of $^{229m}$Th by half-life measurement of other nuclear excited states in $^{229}$Th

abstract: We perform coincidence measurements between $\alpha$ particles and $\gamma$ rays from a $^{233}$U source to determine the half-lives of the excited state in a $^{229}$Th nucleus. We first prove that the half-lives of 42.43- and 164.53-keV states are consistent with literature values, whereas that of the 97.14-keV state (93(7) ps) deviates from a previously measured value (147(12) ps). The half-lives of 71.83- and 163.25-keV states are determined for the first time. Based on the obtained half-lives and the Alaga rule, we estimate the radiative half-life of the low-energy isomeric state ($^{229m}$Th) to be $5.0(11)\times10^{3}$ s, which is one of the key parameters for the frequency standard based on $^{229}$Th.


title: Reservoir-assisted symmetry breaking and coalesced zero-energy modes in an open PT-symmetric Su-Schrieffer-Heeger model

abstract: We study a model consisting of a central $\mathcal{PT}$-symmetric trimer with non-Hermitian strength parameter $\gamma$ coupled to two semi-infinite Su-Schrieffer-Heeger (SSH) leads. We show the existence of two zero-energy modes, one of which is localized while the other is anti-localized. For the remaining eigenvalues, we demonstrate two qualitatively distinct types of $\mathcal{PT}$-symmetry breaking. Within a subset of the parameter space corresponding to the topologically non-trivial phase of the SSH chains, a gap opens within the broken $\mathcal{PT}$ regime of the discrete eigenvalue spectrum. For relatively smaller values of $\gamma$, the eigenvalues are embedded in the two SSH bands and hence become destabilized primarily due to the resonance interaction with the continuum. We refer to this as reservoir-assisted $\mathcal{PT}$-symmetry breaking. As the value of $\gamma$ is increased, the eigenvalues exit the SSH bands and the discrete eigenstates become more strongly localized in the central trimer region. This approximate decoupling results in the discrete spectrum behaving more like the independent trimer, including both a region in which the $\mathcal{PT}$ symmetry is restored (the gap) and a second region in which it is broken again. At the exceptional point (EP) marking the boundary between the gap and the second $\mathcal{PT}$-broken region, two of the eigenstates coalesce with the localized zero-energy mode, resulting in a third-order exceptional point (EP3). At the other boundaries of the parameter space at which the gap vanishes, similar higher-order EPs can form as pairs of the discrete eigenstates coalesce with either of the two zero-energy states. The EPs of order $N$ formed of the localized zero-energy state give rise to a characteristic $\sim t^{2N-2}$ evolution in the survival probability dynamics, which we propose to measure in a photonic lattice experiment.


title: Train performance analysis using heterogeneous statistical models

abstract: This study investigated the effect of harsh winter climate on the performance of high speed passenger trains in northern Sweden. Novel approaches based on heterogeneous statistical models were introduced to analyse the train performance in order to take the time-varying risks of train delays into consideration. Specifically, stratified Cox model and heterogeneous Markov chain model were used for modelling primary delays and arrival delays, respectively. Our results showed that the weather variables including temperature, humidity, snow depth, and ice/snow precipitation have significant impact on the train performance.


title: Spin Seebeck coefficient and spin-thermal diffusion in the two-dimensional Hubbard model

abstract: We investigate the spin Seebeck coefficient $S_s$ in the square lattice Hubbard model at high temperatures of relevance to cold-atom measurements. We solve the model with the finite-temperature Lanczos and with the dynamical mean-field theory methods and find they give similar results in the considered regime. $S_s$ exceeds the atomic 'Heikes' estimates and the Kelvin entropic estimates drastically. We analyze the behavior in terms of a mapping onto the problem of a doped attractive model and derive an approximate expression that allows relating the enhancement of $S_s$ to distinct scattering of the spin-majority and the spin-minority excitations. Our analysis reveals the limitations of entropic interpretations of Seebeck coefficient even in the high-temperature regime. Large values of $S_s$ could be observed on optical lattices. We also calculate the full diffusion matrix. We quantify the spin-thermal diffusion, that is, the extent of the mixing between the spin and the thermal diffusion and discuss the results in the context of recent measurements of the spin-diffusion constant in cold atoms.


title: Moir\'e-localized interlayer exciton wavefunctions captured by imaging its electron and hole constituents

abstract: Interlayer excitons (ILXs) - electron-hole pairs bound across two atomically thin layered semiconductors - have emerged as attractive platforms to study exciton condensation, single-photon emission and other quantum-information applications. Yet, despite extensive optical spectroscopic investigations, critical information about their size, valley configuration and the influence of the moir\'e potential remains unknown. Here, we captured images of the time- and momentum-resolved distribution of both the electron and the hole that bind to form the ILX in a WSe2/MoS2 heterostructure. We thereby obtain a direct measurement of the interlayer exciton diameter of ~5.4 nm, comparable to the moir\'e unit-cell length of 6.1 nm. Surprisingly, this large ILX is well localized within the moir\'e cell to a region of only 1.8 nm - smaller than the size of the exciton itself. This high degree of localization of the interlayer exciton is backed by Bethe-Salpeter equation calculations and demonstrates that the ILX can be localized within small moir\'e unit cells. Unlike large moir\'e cells, these are uniform over large regions, thus allowing the formation of extended arrays of localized excitations for quantum technology.

categories: physics.optics cond-mat.mtrl-sci physics.app-ph physics.chem-ph


title: Theoretical insights into electronic nematic order, bond-charge orders, and plasmons in cuprate superconductors

abstract: In this article, we focus on the charge degree of freedom in cuprate superconductors and review theoretical insights into the electronic nematic order, bond-charge orders, and plasmons. The low-energy charge dynamics is controlled by the spin-spin interaction J, which generates various bond-charge ordering tendencies including the electronic nematic order. The nematic order is driven by a d-wave Pomeranchuk instability and is pronounced in the underdoped region as well as around van Hove filling in the hole-doped case; the nematic tendency is weak in the electron-doped region. Nematicity consistent with the d-wave Pomeranchuk instability was reported for hole-doped cuprates in various experiments. Although the t-J and Hubbard models correctly predicted the proximity to the nematic instability in cuprates far before the experimental indications were obtained, full understanding of the charge ordering tendencies in hole-doped cuprates still requires further theoretical studies. In electron-doped cuprates, on the other hand, the d-wave bond-charge excitations around momentum q=(0.5pi,0) explain the resonant x-ray scattering data very well. Plasmon excitations are also present and the agreement between the large-N theory of the t-J model and resonant inelastic x-ray scattering measurements is nearly quantitative in both hole- and electron-doped cuprates. Theoretically the charge dynamics in cuprates is summarized as a dual structure in energy space: the low-energy region scaled by J, where the nematic and various bond-charge orders are relevant, and the high-energy region typically larger than J, where plasmons are predominant.


title: Cuprate Superconductors in the Vicinity of a Pomeranchuk Instability

abstract: We propose that cuprate superconductors are in the vicinity of a spontaneous d-wave type Fermi surface symmetry breaking, often called a d-wave Pomeranchuk instability. This idea is explored by means of a comprehensive study of magnetic excitations within the slave-boson mean-field theory of the t-J model. We can naturally understand the pronounced xy anisotropy of magnetic excitations in untwinned YBa_{2}Cu_{3}O_{y} and the sizable change of incommensurability of magnetic excitations at the transition temperature to the low-temperature tetragonal lattice structure in La_{2-x}Ba_{x}CuO_{4}. In addition, the present theoretical framework allows the understanding of the similarities and differences of magnetic excitations in Y-based and La-based cuprates.


title: Cosmic ray Transport in Magnetohydrodynamic turbulence

abstract: This paper studies cosmic ray (CR) transport in magneto hydrodynamic (MHD) turbulence. CR transport is strongly dependent on the properties of the magnetic turbulence. We perform test particle simulations to study the interactions of CR with both total MHD turbulence and decomposed MHD modes. The spatial diffusion coefficients and the pitch angle scattering diffusion coefficients are calculated from the test particle trajectories in turbulence. Our results confirm that the fast modes dominate the CR propagation, whereas Alfv\'en and slow modes are much less efficient and have shown similar pitch angle scattering rates. We investigate the cross field transport on large and small scales. On large/global scales, normal diffusion is observed and the diffusion coefficient is suppressed by $M_A^\zeta$ compared to the parallel diffusion coefficients, with $\zeta$ closer to 4 in Alfv\'en modes than that in total turbulence as theoretically expected. For the CR transport on scales smaller than the turbulence injection scale, both the local and global magnetic reference frames are adopted. Super diffusion is observed on such small scales in all the cases. Particularly, CR transport in Alfv\'en modes show clear Richardson diffusion in the local reference frame. Our results have broad applications to CRs in various astrophysical environments.


title: A note on invariant description of $SU(2)$-structures in dimension 5

abstract: We develop an invariant approach to $SU(2)$--structures on spin $5$--manifolds. We characterize (via spinor approach) the subspaces in the spinor bundle which induce the same group isomorphic to $SU(2)$. Moreover, we show how to induce quaternionic structure on the contact distribution of considered $SU(2)$--structure. We conclude with the invariance of certain components of the covariant derivative $\nabla\varphi$, where $\varphi$ is any spinor field defining considered $SU(2)$--structure. This shows, what expected, that (at least some of) the intrinsic torsion modules, can be derived invariantly with the spinorial approach.


title: PDE-GCN: Novel Architectures for Graph Neural Networks Motivated by Partial Differential Equations

abstract: Graph neural networks are increasingly becoming the go-to approach in various fields such as computer vision, computational biology and chemistry, where data are naturally explained by graphs. However, unlike traditional convolutional neural networks, deep graph networks do not necessarily yield better performance than shallow graph networks. This behavior usually stems from the over-smoothing phenomenon. In this work, we propose a family of architectures to control this behavior by design. Our networks are motivated by numerical methods for solving Partial Differential Equations (PDEs) on manifolds, and as such, their behavior can be explained by similar analysis. Moreover, as we demonstrate using an extensive set of experiments, our PDE-motivated networks can generalize and be effective for various types of problems from different fields. Our architectures obtain better or on par with the current state-of-the-art results for problems that are typically approached using different architectures.


title: The Devil in the (Implicit) Details. On the AMPS Paradox and its Resolution

abstract: The black hole information loss paradox has long been one of the most studied and fascinating aspects of black hole physics. In its latest incarnation, it takes the form of the firewall paradox. In this paper, we first give a conceptually oriented presentation of the paradox, based on the notion of causal structure. We then suggest a possible strategy for its resolutions and see that the core idea behind it is that there are connections that are non-local for semiclassical physics, which have to be taken into account when studying black holes. We see how to concretely implement this strategy in some physical models connected to the ER=EPR conjecture.


title: Online Group Dynamics Reveal New Gel Science

abstract: A better understanding of how support evolves online for undesirable behaviors such as extremism and hate, could help mitigate future harms. Here we show how the highly irregular growth curves of groups supporting two high-profile extremism movements, can be accurately described if we generalize existing gelation models to account for the facts that the number of potential recruits is time-dependent and humans are heterogeneous. This leads to a novel generalized Burgers equation that describes these groups' temporal evolution, and predicts a critical influx rate for potential recruits beyond which such groups will not form. Our findings offer a new approach to managing undesirable groups online -- and more broadly, managing the sudden appearance and growth of large macroscopic aggregates in a complex system -- by manipulating their onset and engineering their growth curves.


title: Automatic cerebral hemisphere segmentation in rat MRI with lesions via attention-based convolutional neural networks

abstract: We present MedicDeepLabv3+, a convolutional neural network that is the first completely automatic method to segment cerebral hemispheres in magnetic resonance (MR) volumes of rats with lesions. MedicDeepLabv3+ improves the state-of-the-art DeepLabv3+ with an advanced decoder, incorporating spatial attention layers and additional skip connections that, as we show in our experiments, lead to more precise segmentations. MedicDeepLabv3+ requires no MR image preprocessing, such as bias-field correction or registration to a template, produces segmentations in less than a second, and its GPU memory requirements can be adjusted based on the available resources. We optimized MedicDeepLabv3+ and six other state-of-the-art convolutional neural networks (DeepLabv3+, UNet, HighRes3DNet, V-Net, VoxResNet, Demon) on a heterogeneous training set comprised by MR volumes from 11 cohorts acquired at different lesion stages. Then, we evaluated the trained models and two approaches specifically designed for rodent MRI skull stripping (RATS and RBET) on a large dataset of 655 MR rat brain volumes. In our experiments, MedicDeepLabv3+ outperformed the other methods, yielding an average Dice coefficient of 0.952 and 0.944 in the brain and contralateral hemisphere regions. Additionally, we show that despite limiting the GPU memory and the training data, our MedicDeepLabv3+ also provided satisfactory segmentations. In conclusion, our method, publicly available at https://github.com/jmlipman/MedicDeepLabv3Plus, yielded excellent results in multiple scenarios, demonstrating its capability to reduce human workload in rat neuroimaging studies.


title: Theory of quantum entanglement and the structure of two-mode squeezed antiferromagnetic magnon vacuum

abstract: Recent investigations of the quantum properties of an antiferromagnet in the spin wave approximation have identified the eigenstates as two-mode squeezed sublattice states. The uniform squeezed vacuum and one-magnon states were shown to display a massive sublattice entanglement. Here we expand this investigation and study the squeezing properties of all sublattice Fock states throughout the magnetic Brillouin zone. We derive the full statistics of the sublattice magnon number with wave number $\vec k$ in the ground state and show that magnons are created in pairs with opposite wavevectors, hence, resulting in entanglement of both modes. To quantify the degree of entanglement we apply the Duan-Giedke-Cirac-Zoller inequality and show that it can be violated for all modes. The degree of entanglement decrease towards the corners of the Brillouin zone. We relate the entanglement to measurable correlations of components of the N\'eel and the magnetization vectors, thus, allowing to experimentally test the quantum nature of the squeezed vacuum. The distinct $\vec k$-space structure of the probabilites shows that the squeezed vacuum has a nonuniform shape that is revealed through the $\vec k$-dependent correlators for the magnetization and the N\'eel vectors.


title: Classical and quantum controllability of a rotating asymmetric molecule

abstract: We study both the classical and quantum rotational dynamics of an asymmetric top molecule, controlled through three orthogonal electric fields that interact with its dipole moment. The main difficulties in studying the controllability of these infinite-dimensional quantum systems are the presence of severe spectral degeneracies in the drift Hamiltonian and the nonsolvability of the stationary free Schr\"odinger equation, which lead us to apply a perturbative Lie algebraic approach. In this paper we show that, while the classical equations given by the Hamiltonian system on ${\rm SO}(3)\times \mathbb{R}^3$ are controllable for all values of the rotational constants and all dipole configurations, the Sch\"odinger equation for the quantum evolution on $L^2({\rm SO}(3))$ is approximately controllable for almost all values of the rotational constants if and only if the dipole is not parallel to any of the principal axes of inertia of the asymmetric rigid body.


title: Subnucleon fluctuations in coherent and incoherent ultra-peripheral AA collisions at LHC and RHIC with the Sartre event generator

abstract: Sartre has been extensively used for describing photon-nuclei processes at the electron-ion collider (EIC) as well as ultra-peripheral collisions (UPC) at LHC and RHIC. Sartre is an event generator which implements the dipole model for DIS, and models the transverse geometry of the target nucleus or proton in coordinate space. It uses the Good-Walker mechanism for simulating fluctuations which contribute to the incoherent cross section for which the target breaks up after the interaction. With improved precision of UPC measurements in the last years, a detailed test of the dipole model has become possible, and Sartre's model was found lacking. In these proceedings we add subnucleon fluctuations to the nucleus and show that this is sufficient for describing the vast majority of the present measurements. We also find that for larger momentum transfers in the nucleus, which probes gluon fluctuations at higher resolution, the current complexity of the model may not suffice. Future measurements at the LHC, RHIC and especially the EIC has the potential to reveal these gluon vacuum fluctuations and glean novel insights into the self-interacting quantum field of QCD.


title: System Modelling of Very Low Earth Orbit Satellites for Earth Observation

abstract: The operation of satellites in very low Earth orbit (VLEO) has been linked to a variety of benefits to both the spacecraft platform and mission design. Critically, for Earth observation (EO) missions a reduction in altitude can enable smaller and less powerful payloads to achieve the same performance as larger instruments or sensors at higher altitude, with significant benefits to the spacecraft design. As a result, renewed interest in the exploitation of these orbits has spurred the development of new technologies that have the potential to enable sustainable operations in this lower altitude range. In this paper, system models are developed for (i) novel materials that improve aerodynamic performance enabling reduced drag or increased lift production and resistance to atomic oxygen erosion and (ii) atmosphere-breathing electric propulsion (ABEP) for sustained drag compensation or mitigation in VLEO. Attitude and orbit control methods that can take advantage of the aerodynamic forces and torques in VLEO are also discussed. These system models are integrated into a framework for concept-level satellite design and this approach is used to explore the system-level trade-offs for future EO spacecraft enabled by these new technologies. A case-study presented for an optical very-high resolution spacecraft demonstrates the significant potential of reducing orbital altitude using these technologies and indicates possible savings of up to 75% in system mass and over 50% in development and manufacturing costs in comparison to current state-of-the-art missions. For a synthetic aperture radar (SAR) satellite, the reduction in mass and cost with altitude were shown to be smaller, though it was noted that currently available cost models do not capture recent commercial advancements in this segment...


title: Controllable entangled state distribution in a dual-rail reconfigurable optical network

abstract: Reconfigurable distribution of entangled states is essential for operation of quantum networks connecting multiple devices such as quantum memories and quantum computers. We introduce new quantum distribution network architecture enabling control of the entangled state propagation direction using linear-optical devices and phase shifters and offering reconfigurable connections between multiple quantum nodes. The basic two-photon entanglement distribution scheme is first introduced to illustrate the principle of operation. The scheme is then extended to a network structure with increased number of spatial modes connecting potential end-users. We present several examples of controllable network configuration modifications using time-dependent phase shifters.


title: On one-dimensional G-dynamics and non-Hermitian Hamiltonian operators

abstract: Focusing on the algebraical analysis of two various kinds of one-dimensional G-dynamics ${{\hat{w}}^{\left( cl \right)}}$ and ${{\hat{w}}^{\left( ri\right)}}$ separately induced by different Hamiltonian operators $\hat{H} $ are the keypoints. In this work, it's evidently proved that an identity ${{\hat{w}}^{\left( cl \right)}}{{u}^{-1/2}}\equiv0$ always holds for any $u>0$ based on the formula of one-dimensional G-dynamics ${{\hat{w}}^{\left( cl \right)}}$. We prove that the G-dynamics ${{\hat{w}}^{\left( cl \right)}}$ and ${{\hat{w}}^{\left( ri\right)}}$ obey Leibniz identity if and only if ${{\hat{w}}^{\left( cl \right)}}1=0$ and ${{\hat{w}}^{\left( ri\right)}}1=0$, respectively. \par In accordance with the G-dynamics ${{\hat{w}}^{\left( cl \right)}}$, we investigate the unique eigenvalues equation ${{\hat{w}}^{\left( cl \right)}}L\left( u,t,\lambda \right)=-\sqrt{-1}\lambda L\left( u,t,\lambda \right)$ of the G-dynamics with a precise geometric eigenfunction $L\left( u,t,\lambda \right)={{u}^{-1/2}}{{e}^{{{\lambda }}t}},~u>0$ as time $t\in \left[ 0,T \right]$ develops and the equation of energy spectrum is then induced. The non-Hermitian Hamiltonian operators are studied as well, we obtain a series of ODE with their special solutions, and we prove multiplicative property of the geometric eigenfunction. The coordinate derivative and time evolution of the G-dynamics are respectively considered. Seeking the invariance of G-dynamics ${{\hat{w}}^{\left( cl \right)}}$ under coordinate transformation is considered, so that we think of one-dimensional G-dynamics ${{\hat{w}}^{\left( cl \right)}}$ on coordinate transformation, it gives the rule of conversion between two coordinate systems. As a application, some examples are given for such rule of conversion. Meanwhile, we search the conditions that quantum geometric bracket vanishes and a specific case follows.


title: High energy radiation from luminous and magnetized stars

abstract: A part of early type stars is characterised by strong dipole magnetic field that is modified by the outflow of dense wind from the stellar surface. At some distance from the surface (above the Alfven radius), the wind drives the magnetic field into the reconnection in the equatorial region of the dipole magnetic field. We propose that electrons accelerated in these reconnection regions can be responsible for efficient comptonization of stellar radiation producing gamma-ray emission. We investigate the propagation of electrons in the equatorial region of the magnetosphere by including their advection with the equatorial wind. The synchrotron and IC spectra are calculated assuming that a significant part of the wind energy is transferred to relativistic electrons. As an example, the parameters of luminous, strongly magnetized star HD 37022 ($\Theta^1$ Ori C) are considered. The IC gamma-ray emission is predicted to be detected either in the GeV energy range by the Fermi-LAT telescope or in the sub-TeV energies by the Cherenkov Telescope Array. However, since the stellar winds are often time variable and the magnetic axis can be inclined to the rotational axis of the star, the gamma-ray emission is expected to show variability with the rotational period of the star and, on a longer time scale, with the stellar circle of the magnetic activity. Those features might serve as tests of the proposed scenario for gamma-ray emission from single, luminous stars.


title: Using Interaction Data to Predict Engagement with Interactive Media

abstract: Media is evolving from traditional linear narratives to personalised experiences, where control over information (or how it is presented) is given to individual audience members. Measuring and understanding audience engagement with this media is important in at least two ways: (1) a post-hoc understanding of how engaged audiences are with the content will help production teams learn from experience and improve future productions; (2), this type of media has potential for real-time measures of engagement to be used to enhance the user experience by adapting content on-the-fly. Engagement is typically measured by asking samples of users to self-report, which is time consuming and expensive. In some domains, however, interaction data have been used to infer engagement. Fortuitously, the nature of interactive media facilitates a much richer set of interaction data than traditional media; our research aims to understand if these data can be used to infer audience engagement. In this paper, we report a study using data captured from audience interactions with an interactive TV show to model and predict engagement. We find that temporal metrics, including overall time spent on the experience and the interval between events, are predictive of engagement. The results demonstrate that interaction data can be used to infer users' engagement during and after an experience, and the proposed techniques are relevant to better understand audience preference and responses.


title: On origami-like quasi-mechanisms with an antiprismatic skeleton

abstract: We study snapping and shaky polyhedra which consist of antiprismatic skeletons covered by polyhedral belts composed of triangular faces only. In detail, we generalize Wunderlich's trisymmetric sandglass polyhedron in analogy to the generalizsation of the Jessen orthogonal icosahedron to Milka's extreme birosette structures, with the additional feature that the belt is developable into the plane as the Kresling pattern. Within the resulting 2-dimensional family of origami-like sandglasses we study the 1-parametric sets of quasi-mechanisms which are either shaky or have an extremal snap, i.e. one realization is on the boundary of self-intersection. Moreover, we evaluate the capability of these snapping/shaky quasi-mechanisms to flex on base of the snappability index and the novel shakeability index, respectively.


title: Modeling the Remnants of Core-collapse Supernovae from Luminous Blue Variable stars

abstract: LBVs are massive evolved stars that suffer sporadic and violent mass-loss events. They have been proposed as the progenitors of some core-collapse SNe, but this idea is still debated due to the lack of direct evidence. Since SNRs can carry in their morphology the fingerprints of the progenitor stars as well as of the inhomogeneous CSM sculpted by the progenitors, the study of SNRs from LBVs could help to place core-collapse SNe in context with the evolution of massive stars. We investigate the physical, chemical and morphological properties of the remnants of SNe originating from LBVs, in order to search for signatures, revealing the nature of the progenitors, in the ejecta distribution and morphology of the remnants. As a template of LBVs, we considered the actual LBV candidate Gal 026.47+0.02. We selected a grid of models, which describe the evolution of a massive star with properties consistent with those of Gal 026.47+0.02 and its final fate as core-collapse SN. We developed a 3D HD model that follows the post-explosion evolution of the ejecta from the breakout of the shock wave at the stellar surface to the interaction of the SNR with a CSM characterized by two dense nested toroidal shells, parametrized in agreement with multi-wavelength observations of Gal 026.47+0.02. Our models show a strong interaction of the blast wave with the CSM which determines an important slowdown of the expansion of the ejecta in the equatorial plane where the two shells lay, determining a high degree of asymmetry in the remnant. After 10000 years of evolution the ejecta show an elongated shape forming a broad jet-like structure caused by the interaction with the shells and oriented along the axis of the toroidal shells.


title: MRCpy: A Library for Minimax Risk Classifiers

abstract: Libraries for supervised classification have enabled the wide-spread usage of machine learning methods. Existing libraries, such as scikit-learn, caret, and mlpack, implement techniques based on the classical empirical risk minimization (ERM) approach. We present a Python library, MRCpy, that implements minimax risk classifiers (MRCs) based on the robust risk minimization (RRM) approach. The library offers multiple variants of MRCs that can provide performance guarantees, enable efficient learning in high dimensions, and adapt to distribution shifts. MRCpy follows an object-oriented approach and adheres to the standards of popular Python libraries, such as scikit-learn, facilitating readability and easy usage together with a seamless integration with other libraries. The source code is available under the GPL-3.0 license at https://github.com/MachineLearningBCAM/MRCpy.


title: Schr\"odinger operators on Lie groups with purely discrete spectrum

abstract: On a Lie group $G$, we investigate the discreteness of the spectrum of Schr\"odinger operators of the form $\mathcal{L} +V$, where $\mathcal{L}$ is a subelliptic sub-Laplacian on $G$ and the potential $V$ is a locally integrable function which is bounded from below. We prove general necessary and sufficient conditions for arbitrary potentials, and we obtain explicit characterizations when $V$ is a polynomial on $G$ or belongs to a local Muckenhoupt class. We finally discuss how to transfer our results to weighted sub-Laplacians on $G$.


title: Tilings with nonflat squares: a characterization

abstract: Inspired by the modelization of 2D materials systems, we characterize arrangements of identical nonflat squares in 3D. We prove that the fine geometry of such arrangements is completely characterized in terms of patterns of mutual orientations of the squares and that these patterns are periodic and one-dimensional. In contrast to the flat case, the nonflatness of the tiles gives rise to nontrivial geometries, with configurations bending, wrinkling, or even rolling up in one direction.


title: Log-based Anomaly Detection Without Log Parsing

abstract: Software systems often record important runtime information in system logs for troubleshooting purposes. There have been many studies that use log data to construct machine learning models for detecting system anomalies. Through our empirical study, we find that existing log-based anomaly detection approaches are significantly affected by log parsing errors that are introduced by 1) OOV (out-of-vocabulary) words, and 2) semantic misunderstandings. The log parsing errors could cause the loss of important information for anomaly detection. To address the limitations of existing methods, we propose NeuralLog, a novel log-based anomaly detection approach that does not require log parsing. NeuralLog extracts the semantic meaning of raw log messages and represents them as semantic vectors. These representation vectors are then used to detect anomalies through a Transformer-based classification model, which can capture the contextual information from log sequences. Our experimental results show that the proposed approach can effectively understand the semantic meaning of log messages and achieve accurate anomaly detection results. Overall, NeuralLog achieves F1-scores greater than 0.95 on four public datasets, outperforming the existing approaches.


title: Recurrence of multiples of composition operators on weighted Dirichlet spaces

abstract: A bounded linear operator $T$ acting on a Hilbert space $\mathcal{H}$ is said to be recurrent if for every non-empty open subset $U\subset \mathcal{H}$ there is an integer $n$ such that $T^n (U)\cap U\neq\emptyset$. In this paper, we completely characterize the recurrence of scalar multiples of composition operators, induced by linear fractional self maps of the unit disk, acting on weighted Dirichlet spaces $S_\nu$; in particular on the Bergman space, the Hardy space, and the Dirichlet space. Consequently, we complete a previous work of Costakis et al. \cite{costakis} on recurrence of linear fractional composition operators on Hardy space. In this manner, we determine the triples $(\lambda,\nu,\phi)\in \mathbb{C}\times \mathbb{R}\times LFM(\mathbb{D})$ for which the scalar multiple of composition operator $\lambda C_\phi$ acting on $S_\nu$ fails to be recurrent.


title: Quantum phases in f-Electron Systems

abstract: Quantum fluctuations and related phase transitions are of current interest from the viewpoint of fundamental physics and technological applications. Quantum phase implies a region where the quantum fluctuations of energy scale $\hbar\omega$ dominates over the thermal energy $k_B$T. Presence of quantum phase leads to unconventional and unexpected physical phenomena like Kondo effect, non-Fermi liquids, ordered magnetic state, and Fermi liquids, etc. In this framework, Ce-based metallic compounds, exhibiting correlated electron phenomena, emerged as prototypical systems to study the various quantum phases. In these systems considerable efforts have been made, both experimentally and theoretically, to overcome the problems related to the comprehensive understanding of correlated quantum phases. In this article, various aspects related to quantum phases in CeNiGe2, CeGe and CeAlGe are summarized, mainly focusing on the structural and physical properties.


title: Learning Compatible Embeddings

abstract: Achieving backward compatibility when rolling out new models can highly reduce costs or even bypass feature re-encoding of existing gallery images for in-production visual retrieval systems. Previous related works usually leverage losses used in knowledge distillation which can cause performance degradations or not guarantee compatibility. To address these issues, we propose a general framework called Learning Compatible Embeddings (LCE) which is applicable for both cross model compatibility and compatible training in direct/forward/backward manners. Our compatibility is achieved by aligning class centers between models directly or via a transformation, and restricting more compact intra-class distributions for the new model. Experiments are conducted in extensive scenarios such as changes of training dataset, loss functions, network architectures as well as feature dimensions, and demonstrate that LCE efficiently enables model compatibility with marginal sacrifices of accuracies. The code will be available at https://github.com/IrvingMeng/LCE.


title: Skeleton Cloud Colorization for Unsupervised 3D Action Representation Learning

abstract: Skeleton-based human action recognition has attracted increasing attention in recent years. However, most of the existing works focus on supervised learning which requiring a large number of annotated action sequences that are often expensive to collect. We investigate unsupervised representation learning for skeleton action recognition, and design a novel skeleton cloud colorization technique that is capable of learning skeleton representations from unlabeled skeleton sequence data. Specifically, we represent a skeleton action sequence as a 3D skeleton cloud and colorize each point in the cloud according to its temporal and spatial orders in the original (unannotated) skeleton sequence. Leveraging the colorized skeleton point cloud, we design an auto-encoder framework that can learn spatial-temporal features from the artificial color labels of skeleton joints effectively. We evaluate our skeleton cloud colorization approach with action classifiers trained under different configurations, including unsupervised, semi-supervised and fully-supervised settings. Extensive experiments on NTU RGB+D and NW-UCLA datasets show that the proposed method outperforms existing unsupervised and semi-supervised 3D action recognition methods by large margins, and it achieves competitive performance in supervised 3D action recognition as well.


title: Inverse design of artificial two-level systems with M\"ossbauer nuclei in thin-film cavities

abstract: Thin-film cavities containing layers of M\"ossbauer nuclei have been demonstrated to be a rich platform for x-ray quantum optics. At low excitation, these systems can be described by effective few-level schemes, thereby providing tunable artificial quantum systems at hard x-ray energies. With the recent advent of an ab initio theory, a numerically efficient description of these systems is now possible. On this basis, we introduce the inverse design and develop a comprehensive optimization for an archetype system with a single resonant layer, corresponding to an artificial two-level scheme. We discover a number of qualitative insights into x-ray photonic environments for nuclei that will likely impact the design of future x-ray cavities and thereby improve their performance. The presented methods readily generalize beyond the two-level case and thus provide a clear perspective towards the inverse design of more advanced tunable x-ray quantum optical level schemes.


title: Heat transport in nonlinear lattices free from the Umklapp process

abstract: We construct one-dimensional nonlinear lattices having the special property such that the Umklapp process vanishes and only the normal processes are included in the potential functions. These lattices have long-range quartic nonlinear and nearest neighbor harmonic interactions with/without harmonic on-site potential. We study heat transport in two cases of the lattices with and without harmonic on-site potential by non-equilibrium molecular dynamics simulation. It is shown that the ballistic heat transport occurs in both cases, i.e., the scaling law $\kappa\propto N$ holds between the thermal conductivity $\kappa$ and the lattice size $N$. This result directly validates Peierls's hypothesis that only the Umklapp processes can cause the thermal resistance while the normal one do not.


title: Maximal $L^p$-regularity and $H^{\infty}$-calculus for block operator matrices and applications

abstract: Many coupled evolution equations can be described via $2\times2$-block operator matrices of the form $\mathcal{A}=\begin{bmatrix} A & B \\ C & D \end{bmatrix}$ in a product space $X=X_1\times X_2$ with possibly unbounded entries. Here, the case of diagonally dominant block operator matrices is considered, that is, the case where the full operator $\mathcal{A}$ can be seen as a relatively bounded perturbation of its diagonal part with $\mathsf{D}(\mathcal{A})=\mathsf{D}(A)\times \mathsf{D}(D)$ though with possibly large relative bound. For such operators the properties of sectoriality, $\mathcal{R}$-sectoriality and the boundedness of the $H^\infty$-calculus are studied, and for these properties perturbation results for possibly large but structured perturbations are derived. Thereby, the time dependent parabolic problem associated with $\mathcal{A}$ can be analyzed in maximal $L^p_t$-regularity spaces, and this is applied to a wide range of problems such as different theories for liquid crystals, an artificial Stokes system, strongly damped wave and plate equations, and a Keller-Segel model.


title: Deterministic Logarithmic Completeness in the Distributed Sleeping Model

abstract: We provide a deterministic scheme for solving any decidable problem in the distributed {sleeping model}. The sleeping model is a generalization of the standard message-passing model, with an additional capability of network nodes to enter a sleeping state occasionally. As long as a vertex is in the awake state, it is similar to the standard message-passing setting. However, when a vertex is asleep it cannot receive or send messages in the network nor can it perform internal computations. On the other hand, sleeping rounds do not count towards {\awake complexity.} Awake complexity is the main complexity measurement in this setting, which is the number of awake rounds a vertex spends during an execution. In this paper we devise algorithms with worst-case guarantees on the awake complexity. We devise a deterministic scheme with awake complexity of $O(\log n)$ for solving any decidable problem in this model by constructing a structure we call { Distributed Layered Tree}. This structure turns out to be very powerful in the sleeping model, since it allows one to collect the entire graph information within a constant number of awake rounds. Moreover, we prove that our general technique cannot be improved in this model, by showing that the construction of distributed layered trees itself requires $\Omega(\log n)$ awake rounds. Another result we obtain in this work is a deterministic scheme for solving any problem from a class of problems, denoted O-LOCAL, in $O(\log \Delta + \log^*n)$ awake rounds. This class contains various well-studied problems, such as MIS and $(\Delta+1)$-vertex-coloring.


title: A Systematic Assessment on Android Third-party Library Detection Tools

abstract: Third-party libraries (TPLs) have become a significant part of the Android ecosystem. Developers can employ various TPLs to facilitate their app development. Unfortunately, the popularity of TPLs also brings new security issues. For example, TPLs may carry malicious or vulnerable code, which can infect popular apps to pose threats to mobile users. Furthermore, TPL detection is essential for downstream tasks, such as vulnerabilities and malware detection. Thus, various tools have been developed to identify TPLs. However, no existing work has studied these TPL detection tools in detail, and different tools focus on different applications and techniques with performance differences. A comprehensive understanding of these tools will help us make better use of them. To this end, we conduct a comprehensive empirical study to fill the gap by evaluating and comparing all publicly available TPL detection tools based on six criteria: accuracy of TPL construction, effectiveness, efficiency, accuracy of version identification, resiliency to code obfuscation, and ease of use. Besides, we enhance these open-source tools by fixing their limitations, to improve their detection ability. Finally, we build an extensible framework that integrates all existing available TPL detection tools, providing an online service for the research community. We release the evaluation dataset and enhanced tools. According to our study, we also present the essential findings and discuss promising implications to the community. We believe our work provides a clear picture of existing TPL detection techniques and also gives a roadmap for future research.


title: Graph Attention Network For Microwave Imaging of Brain Anomaly

abstract: So far, numerous learned models have been pressed to use in microwave imaging problems. These models however, are oblivious to the imaging geometry. It has always been hard to bake the physical setup of the imaging array into the structure of the network, resulting in a data-intensive models that are not practical. This work put forward a graph formulation of the microwave imaging array. The architectures proposed is made cognizant of the physical setup, allowing it to incorporate the symmetries, resulting in a less data requirements. Graph convolution and attention mechanism is deployed to handle the cases of fully-connected graphs corresponding to multi-static arrays. The graph-treatment of the problem is evaluated on experimental setup in context of brain anomaly localization with microwave imaging.


title: Self annihilation of confined positronium

abstract: The effect of confinement on the self-annihilation rate of positronium is studied in three levels of approximation. Artificial restriction of the electron-positron separation leads to an increase in the annihilation rate over its vacuum value; this increase is found to diminish exponentially as the maximum separation is increased. Confinement in a hard-wall spherical cavity with the center of mass free to move throughout the cavity also increases the annihilation rate over its vacuum value; the increase depends weakly on the position of the center of mass, being larger when the center of mass is near the cavity wall. Finally, to model confinement in a pore of a microporous material, the hard wall is replaced by physically motivated electron- and positron-wall potentials; it is found that the annihilation rate is larger than its vacuum value, in contradiction to calculations of Marlotti Tanzi et al. [Phys. Rev. Lett. 116, 033401 (2016)] that assumed hard-wall confinement for the electrons, and experimental data.


title: Conditional Quantile Analysis for Realized GARCH Models

abstract: This paper introduces a novel quantile approach to harness the high-frequency information and improve the daily conditional quantile estimation. Specifically, we model the conditional standard deviation as a realized GARCH model and employ conditional standard deviation, realized volatility, realized quantile, and absolute overnight return as innovations in the proposed dynamic quantile models. We devise a two-step estimation procedure to estimate the conditional quantile parameters. The first step applies a quasi-maximum likelihood estimation procedure, with the realized volatility as a proxy for the volatility proxy, to estimate the conditional standard deviation parameters. The second step utilizes a quantile regression estimation procedure with the estimated conditional standard deviation in the first step. Asymptotic theory is established for the proposed estimation methods, and a simulation study is conducted to check their finite-sample performance. Finally, we apply the proposed methodology to calculate the value at risk (VaR) of 20 individual assets and compare its performance with existing competitors.


title: Electric field-induced edge state oscillations in GaSb/InAs quantum wells

abstract: Inverted-gap GaSb/InAs quantum wells have long been predicted to show quantum spin Hall insulator (QSHI) behavior. The experimental characterization of the QSHI phase in these systems has relied on the presence of quantized edge transport near charge neutrality. However, experimental data showing the presence of edge conductance in the \emph{trivial} regime suggest that additional experimental signatures are needed to characterize the QSHI phase. Here we show that electric field- induced gap oscillations can be used as an indicator of the presence of helical edge states in system. By studying a realistic low-energy model GaSb/InAs quantum wells derived from $k \cdot p$ band theory, we show that such oscillations are bound to appear in narrow samples as the system is driven to the the the topological phase by the electric field. Our results can serve as a guide for the search of additional experimental signatures of the presence of topologically-protected helical edge states in GaSb/InAs systems.


title: Gap theorems for ends of smooth metric measure spaces

abstract: In this paper, we establish two gap theorems for ends of smooth metric measure space $(M^n, g,e^{-f}dv)$ with the Bakry-\'Emery Ricci tensor $\mathrm{Ric}_f\ge-(n-1)$ in a geodesic ball $B_o(R)$ with radius $R$ and center $o\in M^n$. When $\mathrm{Ric}_f\ge 0$ and $f$ has some degeneration outside $B_o(R)$, we show that there exists an $\epsilon=\epsilon(n,\sup_{B_o(1)}|f|)$ such that such a space has at most two ends if $R\le\epsilon$. When $\mathrm{Ric}_f\ge\frac 12$ and $f(x)\le\frac 14d^2(x,B_o(R))+c$ for some constant $c>0$ outside $B_o(R)$, we can also get the same gap conclusion.


title: Quantum Cosmology in $f(Q)$ theory

abstract: We use Dirac's method for the quantization of constrained systems in order to quantize a spatially flat Friedmann-Lema\^{i}tre-Robertson-Walker spacetime in the context of $f(Q)$ cosmology. When the coincident gauge is considered, the resulting minisuperspace system possesses second class constraints. This distinguishes the quantization process from the typical Wheeler-DeWitt quantization, which is applied for cosmological models where only first class constraints are present (e.g. for models in General Relativity or in $f(R)$ gravity). We introduce the Dirac brackets, find appropriate canonical coordinates and then apply the canonical quantization procedure. We perform this method both in vacuum and in the presence of matter: a minimally coupled scalar field and a perfect fluid with a linear equation of state. We demonstrate that the matter content changes significantly the quantization procedure, with the perfect fluid even requiring to put in use the theory of fractional Quantum Mechanics in which the power of the momentum in the Hamiltonian is associated with the fractal dimension of a L\'evy flight. The results of this analysis can be applied in $f(T)$ teleparallel cosmology, since $f(Q)$ and $f(T)$ theories have the same degrees of freedom and same dynamical constraints in cosmological studies.


title: Cross-modality Discrepant Interaction Network for RGB-D Salient Object Detection

abstract: The popularity and promotion of depth maps have brought new vigor and vitality into salient object detection (SOD), and a mass of RGB-D SOD algorithms have been proposed, mainly concentrating on how to better integrate cross-modality features from RGB image and depth map. For the cross-modality interaction in feature encoder, existing methods either indiscriminately treat RGB and depth modalities, or only habitually utilize depth cues as auxiliary information of the RGB branch. Different from them, we reconsider the status of two modalities and propose a novel Cross-modality Discrepant Interaction Network (CDINet) for RGB-D SOD, which differentially models the dependence of two modalities according to the feature representations of different layers. To this end, two components are designed to implement the effective cross-modality interaction: 1) the RGB-induced Detail Enhancement (RDE) module leverages RGB modality to enhance the details of the depth features in low-level encoder stage. 2) the Depth-induced Semantic Enhancement (DSE) module transfers the object positioning and internal consistency of depth features to the RGB branch in high-level encoder stage. Furthermore, we also design a Dense Decoding Reconstruction (DDR) structure, which constructs a semantic block by combining multi-level encoder features to upgrade the skip connection in the feature decoding. Extensive experiments on five benchmark datasets demonstrate that our network outperforms $15$ state-of-the-art methods both quantitatively and qualitatively. Our code is publicly available at: https://rmcong.github.io/proj_CDINet.html.


title: Magnetic properties of ruthenium dioxide (RuO2) and charge-magnetic interference in Bragg diffraction of circularly polarized x-rays

abstract: Rutile-type RuO2 likely supports a simple antiferromagnetic structure which can be verified by x-ray Bragg diffraction. Three magnetic motifs that do not break translation symmetry are explored in calculations of amplitudes suitable for diffraction enhanced by tuning the primary x-ray energy to a ruthenium atomic resonance. Coupling to x-ray helicity through a charge-magnetic interference is common to all motifs, together with magnetic and charge intensities in quadrature in the rotated channel of polarization. Necessary conditions for these diffraction phenomena are a centrosymmetric crystal structure, null magnetic propagation vector, and absence of a linear magnetoelectric effect. Published x-ray diffraction data for RuO2 was analysed by the authors against a magnetic motif that does not satisfy the conditions. A polarized neutron study of antiferromagnetic domains can be achieved with a sample that meets the stated crystal and magnetic symmetries.


title: Therapeutic Interfering Particles Exploiting Viral Replication and Assembly Mechanisms Show Promising Performance: A Modelling Study

abstract: Defective interfering particles arise spontaneously during a viral infection as mutants lacking essential parts of the viral genome. Their ability to replicate in the presence of the wild-type (WT) virus (at the expense of viable viral particles) is mimicked and exploited by therapeutic interfering particles. We propose a strategy for the design of therapeutic interfering RNAs (tiRNAs) against positive-sense single-stranded RNA viruses that assemble via packaging signal-mediated assembly. These tiRNAs contain both an optimised version of the virus assembly manual that is encoded by multiple dispersed RNA packaging signals and a replication signal for viral polymerase, but lack any protein coding information. We use an intracellular model for hepatitis C viral (HCV) infection that captures key aspects of the competition dynamics between tiRNAs and viral genomes for virally produced capsid protein and polymerase. We show that only a small increase in the assembly and replication efficiency of the tiRNAs compared with WT virus is required in order to achieve a treatment efficacy greater than 99%. This demonstrates that the proposed tiRNA design could be a promising treatment option for RNA viral infections.


title: Melting process of twisted DNA in a thermal bath

abstract: We investigate melting transition of DNA sequences embedded in a Langevin fluctuation-dissipation thermal bath. Torsional effects are considered by a twist angle $\varphi$ between neighboring base pairs stacked along the molecule backbone. Our simulation results show that the increase of twist angle translates linearly the melting temperature with a positive slope. After the so called equilibrium angle $\varphi_\mathrm{eq}$, the DNA chain becomes very rigid against opening and accordingly very high temperatures are required to initiate the melting process. In such cases however, the biofunctionality of DNA is destroyed before so that the observed in our model melting process becomes biologically irrelevant. We believe that the outcome of this survey would deeper understanding of the interplay between DNA twisting and melting transition for precise control of DNA behavior.


title: Deep Anomaly Discovery From Unlabeled Videos via Normality Advantage and Self-Paced Refinement

abstract: While classic video anomaly detection (VAD) requires labeled normal videos for training, emerging unsupervised VAD (UVAD) aims to discover anomalies directly from fully unlabeled videos. However, existing UVAD methods still rely on shallow models to perform detection or initialization, and they are evidently inferior to classic VAD methods. This paper proposes a full deep neural network (DNN) based solution that can realize highly effective UVAD. First, we, for the first time, point out that deep reconstruction can be surprisingly effective for UVAD, which inspires us to unveil a property named "normality advantage", i.e., normal events will enjoy lower reconstruction loss when DNN learns to reconstruct unlabeled videos. With this property, we propose Localization based Reconstruction (LBR) as a strong UVAD baseline and a solid foundation of our solution. Second, we propose a novel self-paced refinement (SPR) scheme, which is synthesized into LBR to conduct UVAD. Unlike ordinary self-paced learning that injects more samples in an easy-to-hard manner, the proposed SPR scheme gradually drops samples so that suspicious anomalies can be removed from the learning process. In this way, SPR consolidates normality advantage and enables better UVAD in a more proactive way. Finally, we further design a variant solution that explicitly takes the motion cues into account. The solution evidently enhances the UVAD performance, and it sometimes even surpasses the best classic VAD methods. Experiments show that our solution not only significantly outperforms existing UVAD methods by a wide margin (5% to 9% AUROC), but also enables UVAD to catch up with the mainstream performance of classic VAD.


title: A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation

abstract: This paper presents a way of formalising definite descriptions with a binary quantifier $\iota$, where $\iota x[F, G]$ is read as `The $F$ is $G$'. Introduction and elimination rules for $\iota$ in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form $\iota x[F, G]$ are given, and it is shown that deductions in the system can be brought into normal form.


title: Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic

abstract: Sentences containing definite descriptions, expressions of the form `The $F$', can be formalised using a binary quantifier $\iota$ that forms a formula out of two predicates, where $\iota x[F, G]$ is read as `The $F$ is $G$'. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system $\mathbf{INF}^\iota$ of intuitionist negative free logic extended by such a quantifier, which was presented in \citep{kurbisiotaI}, $\mathbf{INF}^\iota$ is first compared to a system of Tennant's and an axiomatic treatment of a term forming $\iota$ operator within intuitionist negative free logic. Both systems are shown to be equivalent to the subsystem of $\mathbf{INF}^\iota$ in which the $G$ of $\iota x[F, G]$ is restricted to identity. $\mathbf{INF}^\iota$ is then compared to an intuitionist version of a system of Lambert's which in addition to the term forming operator has an operator for predicate abstraction for indicating scope distinctions. The two systems will be shown to be equivalent through a translation between their respective languages. Advantages of the present approach over the alternatives are indicated in the discussion.


title: Definite Descriptions in Intuitionist Positive Free Logic

abstract: This paper presents rules of inference for a binary quantifier $I$ for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. $I$ binds one variable and forms a formula from two formulas. $Ix[F, G]$ means `The $F$ is $G$'. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended here and the more usual approach that uses a term-forming operator $\iota$, where $\iota xF$ means `the F'.


title: An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors

abstract: Hardware (HW) security issues have been emerging at an alarming rate in recent years. Transient execution attacks, in particular, pose a genuine threat to the security of modern computing systems. Despite recent advances, understanding the intricate implications of microarchitectural design decisions on processor security remains a great challenge and has caused a number of update cycles in the past. number of update cycles in the past. This papers addresses the need for a new approach to HW sign-off verification which guarantees the security of processors at the Register Transfer Level (RTL). To this end, we introduce a formal definition of security with respect to transient execution attacks, formulated as a HW property. We present a formal proof methodology based on Unique Program Execution Checking (UPEC) which can be used to systematically detect all vulnerabilities to transient execution attacks in RTL designs. UPEC does not exploit any a priori knowledge on known attacks and can therefore detect also vulnerabilities based on new, so far unknown, types of channels. This is demonstrated by two new attack scenarios discovered in our experiments with UPEC. UPEC scales to a wide range of HW designs, including in-order processors (RocketChip), pipelines with out-of-order writeback (Ariane), and processors with deep out-of-order speculative execution (BOOM). To the best of our knowledge, UPEC is the first RTL verification technique that exhaustively covers transient execution side channels in processors of realistic complexity.


title: Self-Supervised Learning of Depth and Ego-Motion from Video by Alternative Training and Geometric Constraints from 3D to 2D

abstract: Self-supervised learning of depth and ego-motion from unlabeled monocular video has acquired promising results and drawn extensive attention. Most existing methods jointly train the depth and pose networks by photometric consistency of adjacent frames based on the principle of structure-from-motion (SFM). However, the coupling relationship of the depth and pose networks seriously influences the learning performance, and the re-projection relations is sensitive to scale ambiguity, especially for pose learning. In this paper, we aim to improve the depth-pose learning performance without the auxiliary tasks and address the above issues by alternative training each task and incorporating the epipolar geometric constraints into the Iterative Closest Point (ICP) based point clouds match process. Distinct from jointly training the depth and pose networks, our key idea is to better utilize the mutual dependency of these two tasks by alternatively training each network with respective losses while fixing the other. We also design a log-scale 3D structural consistency loss to put more emphasis on the smaller depth values during training. To makes the optimization easier, we further incorporate the epipolar geometry into the ICP based learning process for pose learning. Extensive experiments on various benchmarks datasets indicate the superiority of our algorithm over the state-of-the-art self-supervised methods.


title: Fall of Quantum Particle to the Center: Exact results

abstract: The fall of a particle to the center of a singular potential U(r) is one of a few fundamental problems of quantum mechanics. Nonetheless, its solution is not complete yet. The known results just indicate that if U(r) decays fast enough at r tends to zero, the spectrum of the Schrodinger equation is not bounded from below. However, the wave functions of the problem are singular at r = 0 and do not admit the limiting transition to the wave function of the ground state. Therefore, the unboundedness of the spectrum is only the necessary condition. To prove that a quantum particle indeed can fall to the center, a wave function describing the fall should be obtained explicitly. This is done in the present paper. Specifically, an exact solution of the time-dependent Schrodinger equation describing the fall to the center is obtained and analyzed. The law describing the collapse to a single point of the region of the wave function localization is obtained explicitly, as well as the temporal dependences of the average kinetic and potential energy of the falling particle and its momentum. It is shown that the known necessary conditions for the particle to fall simultaneously are sufficient.


title: An age-structured model of hepatitis B viral infection highlights the potential of different therapeutic strategies

abstract: Hepatitis B virus is a global health threat, and its elimination by 2030 has been prioritised by the World Health Organisation. Here we present an age-structured model for the immune response to an HBV infection, which takes into account contributions from both cell-mediated and humoral immunity. The model has been validated using published patient data recorded during acute infection. It has been adapted to the scenarios of chronic infection, clearance of infection, and flare-ups via variation of the immune response parameters. The impacts of immune response exhaustion and non-infectious subviral particles on the immune response dynamics are analysed. A comparison of different treatment options in the context of this model reveals that drugs targeting aspects of the viral life cycle are more effective than exhaustion therapy, a form of therapy mitigating immune response exhaustion. Our results suggest that antiviral treatment is best started when viral load is declining rather than in a flare-up. The model suggests that a fast antibody production rate always lead to viral clearance, highlighting the promise of antibody therapies currently in clinical trials.


title: A simplified Newton method to generate snapshots for POD models of semilinear optimal control problems

abstract: In PDE-constrained optimization, proper orthogonal decomposition (POD) provides a surrogate model of a (potentially expensive) PDE discretization, on which optimization iterations are executed. Because POD models usually provide good approximation quality only locally, they have to be updated during optimization. Updating the POD model is usually expensive, however, and therefore often impossible in a model-predictive control (MPC) context. Thus, reduced models of mediocre quality might be accepted. We take the view of a simplified Newton method for solving semilinear evolution equations to derive an algorithm that can serve as an offline phase to produce a POD model. Approaches that build the POD model with impulse response snapshots can be regarded as the first Newton step in this context. In particular, POD models that are based on impulse response snapshots are extended by adding a second simplified Newton step. This procedure improves the approximation quality of the POD model significantly by introducing a moderate amount of extra computational costs during optimization or the MPC loop. We illustrate our findings with an example satisfying our assumptions.


title: Geometric Control of a Robot's Tool

abstract: The goal of this paper is to present a rigorous and intrinsic formulation of a Riemannian PD-regulator of the robot's tool, The first one is based upon the Lasalle's invariance principle, we use it to control the tool's position in the workspace under the assumption of absence of singularities in configuration space, The second method deals with geometrical constraints on the trajectory of the robot's tool with the same assumption, we construct a unique orthogonal force that is viewed as a gravitational force that keeps the tool constrained, We also present a variation of the first method in the case of double pendulum based on the Lyapunov stability theorem. With this modification, we control the tool and the difference between the two angles, we did simulations on a two-link manipulator that shows the efficiency of the presented methods.


title: From Textual to Verbal Communication: Towards Applying Sentiment Analysis to a Software Project Meeting

abstract: Sentiment analysis gets increasing attention in software engineering with new tools emerging from new insights provided by researchers. Existing use cases and tools are meant to be used for textual communication such as comments on collaborative version control systems. While this can already provide useful feedback for development teams, a lot of communication takes place in meetings and is not suited for present tool designs and concepts. In this paper, we present a concept that is capable of processing live meeting audio and classifying transcribed statements into sentiment polarity classes. We combine the latest advances in open source speech recognition with previous research in sentiment analysis. We tested our approach on a student software project meeting to gain proof of concept, showing moderate agreement between the classifications of our tool and a human observer on the meeting audio. Despite the preliminary character of our study, we see promising results motivating future research in sentiment analysis on meetings. For example, the polarity classification can be extended to detect destructive behaviour that can endanger project success.


title: Induced coactions along a homomorphism of locally compact quantum groups

abstract: We consider induced coactions on C*-algebras along a homomorphism of locally compact quantum groups which need not give a closed quantum subgroup. Our approach generalizes the induced coactions constructed by Vaes, and also includes certain fixed point algebras. We focus on the case when the homomorphism satisfies a quantum analogue of properness. Induced coactions along such a homomorphism still admit the natural formulations of various properties known in the case of a closed quantum subgroup, such as imprimitivity and adjointness with restriction. Also, we show a relationship of induced coactions and restriction which is analogous to base change formula for modules over algebras. As an application, we give an example that shows several kinds of 1-categories of coactions with forgetful functors cannot recover the original quantum group.


title: Core-Stable Committees under Restricted Domains

abstract: We study the setting of committee elections, where a group of individuals needs to collectively select a given size subset of available objects. This model is relevant for a number of real-life scenarios including political elections, participatory budgeting, and facility-location. We focus on the core -- the classic notion of proportionality, stability and fairness. We show that for a number of restricted domains including voter-interval, candidate-interval, single-peaked, and single-crossing preferences the core is non-empty and can be found in polynomial time. We show that the core might be empty for strict top-monotonic preferences, yet we introduce a relaxation of this class, which guarantees non-emptiness of the core. Our algorithms work both in the randomized and discrete models. We also show that the classic known proportional rules do not return committees from the core even for the most restrictive domains among those we consider (in particular for 1D-Euclidean preferences). We additionally prove a number of structural results that give better insights into the nature of some of the restricted domains, and which in particular give a better intuitive understanding of the class of top-monotonic preferences.


title: Sparse Continuous Distributions and Fenchel-Young Losses

abstract: Exponential families are widely used in machine learning, including many distributions in continuous and discrete domains (e.g., Gaussian, Dirichlet, Poisson, and categorical distributions via the softmax transformation). Distributions in each of these families have fixed support. In contrast, for finite domains, recent work on sparse alternatives to softmax (e.g., sparsemax, $\alpha$-entmax, and fusedmax), has led to distributions with varying support. This paper develops sparse alternatives to continuous distributions, based on several technical contributions: First, we define $\Omega$-regularized prediction maps and Fenchel-Young losses for arbitrary domains (possibly countably infinite or continuous). For linearly parametrized families, we show that minimization of Fenchel-Young losses is equivalent to moment matching of the statistics, generalizing a fundamental property of exponential families. When $\Omega$ is a Tsallis negentropy with parameter $\alpha$, we obtain ``deformed exponential families,'' which include $\alpha$-entmax and sparsemax ($\alpha=2$) as particular cases. For quadratic energy functions, the resulting densities are $\beta$-Gaussians, an instance of elliptical distributions that contain as particular cases the Gaussian, biweight, triweight, and Epanechnikov densities, and for which we derive closed-form expressions for the variance, Tsallis entropy, and Fenchel-Young loss. When $\Omega$ is a total variation or Sobolev regularizer, we obtain a continuous version of the fusedmax. Finally, we introduce continuous-domain attention mechanisms, deriving efficient gradient backpropagation algorithms for $\alpha \in \{1, 4/3, 3/2, 2\}$. Using these algorithms, we demonstrate our sparse continuous distributions for attention-based audio classification and visual question answering, showing that they allow attending to time intervals and compact regions.


title: On Extending Brandt's Speedup Theorem from LOCAL to Round-Based Full-Information Models

abstract: Given any task $\Pi$, Brandt's speedup theorem (PODC 2019) provides a mechanical way to design another task~$\Pi'$ on the same input-set as $\Pi$ such that, for any $t\geq 1$, $\Pi$ is solvable in $t$ rounds if and only if $\Pi'$ is solvable in $t-1$ rounds. The theorem applies to the anonymous variant of the LOCAL model, in graphs with sufficiently large girth, and to locally checkable labeling (LCL) tasks. In this paper, using combinatorial topology applied to distributed computing, we dissect the construction in Brandt's speedup theorem for expressing it in the broader framework of round-based models supporting full information protocols, which includes models as different as wait-free shared-memory computing with iterated immediate snapshots, and synchronous failure-free network computing. In particular, we provide general definitions for notions such as local checkability and local independence, in our broader framework. In this way, we are able to identify the hypotheses on the computing model, and on the tasks, that are sufficient for Brandt's speedup theorem to apply. More precisely, we identify which hypotheses are sufficient for the each direction of the if-and-only-if condition. Interestingly, these hypotheses are of different natures. Our general approach enables to extend Brandt's speedup theorem from LOCAL to directed networks, to hypergraphs, to dynamic networks, and even to graphs including short cyclic dependencies between processes (i.e., the large girth condition is, to some extend, not necessary). The theorem can even be extended to shared-memory wait-free computing. In particular, we provide new impossibility proofs for consensus and perfect renaming in 2-process systems.