title: Out-of-Vocabulary Entities in Link Prediction

abstract: Knowledge graph embedding techniques are key to making knowledge graphs amenable to the plethora of machine learning approaches based on vector representations. Link prediction is often used as a proxy to evaluate the quality of these embeddings. Given that the creation of benchmarks for link prediction is a time-consuming endeavor, most work on the subject matter uses only a few benchmarks. As benchmarks are crucial for the fair comparison of algorithms, ensuring their quality is tantamount to providing a solid ground for developing better solutions to link prediction and ipso facto embedding knowledge graphs. First studies of benchmarks pointed to limitations pertaining to information leaking from the development to the test fragments of some benchmark datasets. We spotted a further common limitation of three of the benchmarks commonly used for evaluating link prediction approaches: out-of-vocabulary entities in the test and validation sets. We provide an implementation of an approach for spotting and removing such entities and provide corrected versions of the datasets WN18RR, FB15K-237, and YAGO3-10. Our experiments on the corrected versions of WN18RR, FB15K-237, and YAGO3-10 suggest that the measured performance of state-of-the-art approaches is altered significantly with p-values <1%, <1.4%, and <1%, respectively. Overall, state-of-the-art approaches gain on average absolute $3.29 \pm 0.24\%$ in all metrics on WN18RR. This means that some of the conclusions achieved in previous works might need to be revisited. We provide an open-source implementation of our experiments and corrected datasets at at https://github.com/dice-group/OOV-In-Link-Prediction.


title: Time Complexity Analysis of Randomized Search Heuristics for the Dynamic Graph Coloring Problem

abstract: We contribute to the theoretical understanding of randomized search heuristics for dynamic problems. We consider the classical vertex coloring problem on graphs and investigate the dynamic setting where edges are added to the current graph. We then analyze the expected time for randomized search heuristics to recompute high quality solutions. The (1+1)~Evolutionary Algorithm and RLS operate in a setting where the number of colors is bounded and we are minimizing the number of conflicts. Iterated local search algorithms use an unbounded color palette and aim to use the smallest colors and, consequently, the smallest number of colors. We identify classes of bipartite graphs where reoptimization is as hard as or even harder than optimization from scratch, i.e., starting with a random initialization. Even adding a single edge can lead to hard symmetry problems. However, graph classes that are hard for one algorithm turn out to be easy for others. In most cases our bounds show that reoptimization is faster than optimizing from scratch. We further show that tailoring mutation operators to parts of the graph where changes have occurred can significantly reduce the expected reoptimization time. In most settings the expected reoptimization time for such tailored algorithms is linear in the number of added edges. However, tailored algorithms cannot prevent exponential times in settings where the original algorithm is inefficient.


title: Exploring the characteristics of a vehicle-based temperature dataset for convection-permitting numerical weather prediction

abstract: Crowdsourced vehicle-based observations have the potential to improve forecast skill in convection-permitting numerical weather prediction (NWP). The aim of this paper is to explore the characteristics of vehicle-based observations of air temperature. We describe a novel low-precision vehicle-based observation dataset obtained from a Met Office proof-of-concept trial. In this trial, observations of air temperature were obtained from built-in vehicle air-temperature sensors, broadcast to an application on the participant's smartphone and uploaded, with relevant metadata, to the Met Office servers. We discuss the instrument and representation uncertainties associated with vehicle-based observations and present a new quality-control procedure. It is shown that, for some observations, location metadata may be inaccurate due to unsuitable smartphone application settings. The characteristics of the data that passed quality-control are examined through comparison with United Kingdom variable-resolution model data, roadside weather information station observations, and Met Office integrated data archive system observations. Our results show that the uncertainty associated with vehicle-based observation-minus-model comparisons is likely to be weather-dependent and possibly vehicle-dependent. Despite the low precision of the data, vehicle-based observations of air temperature could be a useful source of spatially-dense and temporally-frequent observations for NWP.


title: Dimensioning of V2X Services in 5G Networks through Forecast-based Scaling

abstract: With the increasing adoption of intelligent transportation systems and the upcoming era of autonomous vehicles, vehicular services (such as, remote driving, cooperative awareness, and hazard warning) will face an ever changing and dynamic environment. Traffic flows on the roads is a critical condition for these services and, therefore, it is of paramount importance to forecast how they will evolve over time. By knowing future events (such as, traffic jams), vehicular services can be dimensioned in an on-demand fashion in order to minimize Service Level Agreements (SLAs) violations, thus reducing the chances of car accidents. This research departs from an evaluation of traditional time-series techniques with recent Machine Learning (ML)-based solutions to forecast traffic flows in the roads of Torino (Italy). Given the accuracy of the selected forecasting techniques, a forecast-based scaling algorithm is proposed and evaluated over a set of dimensioning experiments of three distinct vehicular services with strict latency requirements. Results show that the proposed scaling algorithm enables resource savings of up to a 5% at the cost of incurring in an increase of less than 0.4% of latency violations.


title: Landau-Fermi liquids in disguise

abstract: In periodic systems of interacting electrons, Fermi and Luttinger surfaces refer to the locations within the Brillouin zone of poles and zeros, respectively, of the single-particle Green's function at zero energy and temperature. Such difference in analytic properties underlies the emergence of well-defined quasiparticles close to a Fermi surface, in contrast to their supposed non-existence close to a Luttinger surface, where the single-particle density-of-states vanishes at zero energy. We here show that, contrary to such common belief, coherent `quasiparticles' do exist also approaching a Luttinger surface in compressible interacting electron systems. Thermodynamic and dynamic properties of such 'quasiparticles' are just those of conventional ones. For instance, they yield well defined quantum oscillations in Luttinger's surface and linear in temperature specific heat, which is striking given the vanishing density of states of physical electrons, but actually not uncommon in strongly correlated materials.


title: Mott-Anderson Metal-Insulator Transitions from Entanglement

abstract: A metal can be driven to an insulating phase through distinct mechanisms. A possible way is via the Coulomb interaction, which then defines the Mott metal-insulator transition (MIT). Another possibility is the MIT driven by disorder, the so-called Anderson MIT. Here we analyze interacting particles in disordered Hubbard chains $-$ thus comprising the Mott-Anderson physics $-$ by investigating the ground-state entanglement with density functional theory. The localization signature on entanglement is found to be a local minimum at a certain critical density. Individually, the Mott (Anderson) MIT has a single critical density whose minimum entanglement decreases as the interaction (disorder) enhances. While in the Mott MIT entanglement saturates at finite values, characterizing partial localization, in the Anderson MIT the system reaches full localization, with zero entanglement, for sufficiently strong disorder. In the combined Mott-Anderson MIT, we find three critical densities referring to local minima on entanglement. One of them is the same as for the Anderson MIT, but now the presence of interaction requires a stronger disorder potential to induce localization. A second critical density is related to the Mott MIT, but due to disorder it is displaced by a factor proportional to the concentration of impurities. The third local minimum on entanglement is unique to the concomitant presence of disorder and interaction, found to be related to an effective density phenomenon, thus referred to as a Mott-like MIT. Since entanglement has been intrinsically connected to the magnetic susceptibility $-$ a quantity promptly available in cold atoms experiments $-$ our detailed numerical description might be useful for the experimental investigation of Mott-Anderson MIT.

categories: cond-mat.str-el cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.quant-gas quant-ph


title: Deception detection in text and its relation to the cultural dimension of individualism/collectivism

abstract: Deception detection is a task with many applications both in direct physical and in computer-mediated communication. Our focus is on automatic deception detection in text across cultures. We view culture through the prism of the individualism/collectivism dimension and we approximate culture by using country as a proxy. Having as a starting point recent conclusions drawn from the social psychology discipline, we explore if differences in the usage of specific linguistic features of deception across cultures can be confirmed and attributed to norms in respect to the individualism/collectivism divide. We also investigate if a universal feature set for cross-cultural text deception detection tasks exists. We evaluate the predictive power of different feature sets and approaches. We create culture/language-aware classifiers by experimenting with a wide range of n-gram features based on phonology, morphology and syntax, other linguistic cues like word and phoneme counts, pronouns use, etc., and token embeddings. We conducted our experiments over 11 datasets from 5 languages i.e., English, Dutch, Russian, Spanish and Romanian, from six countries (US, Belgium, India, Russia, Mexico and Romania), and we applied two classification methods i.e, logistic regression and fine-tuned BERT models. The results showed that our task is fairly complex and demanding. There are indications that some linguistic cues of deception have cultural origins, and are consistent in the context of diverse domains and dataset settings for the same language. This is more evident for the usage of pronouns and the expression of sentiment in deceptive language. The results of this work show that the automatic deception detection across cultures and languages cannot be handled in a unified manner, and that such approaches should be augmented with knowledge about cultural differences and the domains of interest.


title: High-speed programmable photonic circuits in a cryogenically compatible, visible-NIR 200 mm CMOS architecture

abstract: Recent advances in photonic integrated circuits (PICs) have enabled a new generation of "programmable many-mode interferometers" (PMMIs) realized by cascaded Mach Zehnder Interferometers (MZIs) capable of universal linear-optical transformations on N input-output optical modes. PMMIs serve critical functions in photonic quantum information processing, quantum-enhanced sensor networks, machine learning and other applications. However, PMMI implementations reported to date rely on thermo-optic phase shifters, which limit applications due to slow response times and high power consumption. Here, we introduce a large-scale PMMI platform, based on a 200 mm CMOS process, that uses aluminum nitride (AlN) piezo-optomechanical actuators coupled to silicon nitride (SiN) waveguides, enabling low-loss propagation with phase modulation at greater than 100 MHz in the visible to near-infrared wavelengths. Moreover, the vanishingly low holding-power consumption of the piezo-actuators enables these PICs to operate at cryogenic temperatures, paving the way for a fully integrated device architecture for a range of quantum applications.


title: Unsupervised Video Summarization via Multi-source Features

abstract: Video summarization aims at generating a compact yet representative visual summary that conveys the essence of the original video. The advantage of unsupervised approaches is that they do not require human annotations to learn the summarization capability and generalize to a wider range of domains. Previous work relies on the same type of deep features, typically based on a model pre-trained on ImageNet data. Therefore, we propose the incorporation of multiple feature sources with chunk and stride fusion to provide more information about the visual content. For a comprehensive evaluation on the two benchmarks TVSum and SumMe, we compare our method with four state-of-the-art approaches. Two of these approaches were implemented by ourselves to reproduce the reported results. Our evaluation shows that we obtain state-of-the-art results on both datasets, while also highlighting the shortcomings of previous work with regard to the evaluation methodology. Finally, we perform error analysis on videos for the two benchmark datasets to summarize and spot the factors that lead to misclassifications.


title: Curvatures and austere property of orbits of path group actions induced by Hermann actions

abstract: It is known that an isometric action of a Lie group on a compact symmetric space gives rise to a proper Fredholm action of a path group on a path space via the gauge transformations. In this paper, supposing that the isometric action is a Hermann action (i.e. an isometric action of a symmetric subgroup of the isometry group) we give an explicit formula for the principal curvatures of orbits of the path group action and study the condition for those orbits to be austere, that is, the set of principal curvatures in the direction of each normal vector is invariant under the multiplication by minus one. To prove the results we essentially use the facts that Hermann actions are hyperpolar and all orbits of Hermann actions are curvature-adapted submanifolds. The results greatly extend the author's previous result in the case of the standard sphere and show that there exist a larger number of infinite dimensional austere submanifolds in Hilbert spaces.


title: On the structure of computable reducibility on equivalence relations of natural numbers

abstract: We examine the degree structure $\mathbf{ER}$ of equivalence relations on $\omega$ under computable reducibility. We examine when pairs of degrees have a join. In particular, we show that sufficiently incomparable pairs of degrees do not have a join but that some incomparable degrees do, and we characterize the degrees which have a join with every finite equivalence relation. We show that the natural classes of finite, light, and dark degrees are definable in $\mathbf{ER}$. We show that every equivalence relation has continuum many self-full strong minimal covers, and that $\mathbf{d}\oplus \mathbf{Id_1}$ needn't be a strong minimal cover of a self-full degree $\mathbf{d}$. Finally, we show that the theory of the degree structure $\mathbf{ER}$ as well as the theories of the substructures of light degrees and of dark degrees are each computably isomorphic with second order arithmetic.


title: The Schwarzschild Mass in General Relativity

abstract: The central (surface) energy-density, $E_0 (E_R)$, which appears in the expression of total static and spherical mass, $M$ (corresponding to the total radius $R$) is defined as the density measured only by one observer located at the centre (surface) in the Momentarily Co-moving Reference Frame (MCRF). Since the mass, $M$, depends only on the central (surface) density for most of the equations of state (EOSs) and/or exact analytic solutions of Einstein's field equations available in the literature, the central (surface) density measured in the preferred frame (that is, in the MCRF) appears to be not in agreement with the coordinate invariant form of the field equations that result for the source mass, $M$. In order to overcome the use of any preferred coordinate system (the MCRF) defined for the central (surface) density in the literature, we argue for the first time that the said density may be defined in the coordinate invariant form, that is, in the form of the average density ($3M/4\pi R^3)$ of the the configuration which turns out to be independent of the radial coordinate $`r'$ and depends only on the central (surface) density of the configuration. In this connection, we further argue that the central (surface) density of the structure should be {\em independent} of the density measured on the other boundary (surface/central) because there exists no a priori relation between the radial coordinate $`r'$ and the proper distance from the centre of the sphere to its surface \cite{Ref1}. In the light of this reasoning, the various EOSs and analytic solutions of Einstein's field equations in which the central and the surface density are {\em interdependent} can not fulfill the definition of central (surface) density measured only by one observer located in the MCRF at the centre (surface) of the configuration.


title: Exploiting Temporal Dependencies for Cross-Modal Music Piece Identification

abstract: This paper addresses the problem of cross-modal musical piece identification and retrieval: finding the appropriate recording(s) from a database given a sheet music query, and vice versa, working directly with audio and scanned sheet music images. The fundamental approach to this is to learn a cross-modal embedding space with a suitable similarity structure for audio and sheet image snippets, using a deep neural network, and identifying candidate pieces by cross-modal near neighbour search in this space. However, this method is oblivious of temporal aspects of music. In this paper, we introduce two strategies that address this shortcoming. First, we present a strategy that aligns sequences of embeddings learned from sheet music scans and audio snippets. A series of experiments on whole piece and fragment-level retrieval on 24 hours worth of classical piano recordings demonstrates significant improvement. Second, we show that the retrieval can be further improved by introducing an attention mechanism to the embedding learning model that reduces the effects of tempo variations in music. To conclude, we assess the scalability of our method and discuss potential measures to make it suitable for truly large-scale applications.


title: Networks of climate change: Connecting causes and consequences

abstract: Understanding the causes and consequences of, and devising countermeasures to, global warming is a profoundly complex problem. Network representations are sometimes the only way forward, and sometimes able to reduce the complexity of the original problem. Networks are both necessary and natural elements of climate science. Furthermore, networks form a mathematical foundation for a multitude of computational and analytical techniques. We are only beginning to see the benefits of this connection between the sciences of climate change and network science. In this review, we cover the wide spectrum of network applications in the climate-change literature -- what they represent, how they are analyzed, and what insights they bring. We also discuss network data, tools, and problems yet to be explored.

categories: physics.soc-ph cs.SI physics.ao-ph q-bio.PE


title: Understanding the Role of Digital Technology in the Transitions of Refugee Families with Young Children into A New Culture: A Case Study of Scotland

abstract: The worldwide refugee crisis is a major current challenge, affecting the health and education of millions of families with children due to displacement. Despite the various challenges and risks of migration practices, numerous refugee families have access to interactive technologies during these processes. The aim of this ongoing study is to explore the role of technologies in the transitions of refugee families in Scotland. Based on Tudge's ecocultural theory, a qualitative case-study approach has been adopted. Semi-structured interviews have been conducted with volunteers who work with refugee families in a big city in Scotland, and proxy observations of young children were facilitated remotely by their refugee parents. A preliminary overview of the participants' insights of the use and role of technology for transitioning into a new culture is provided here.


title: L\'evy processes conditioned to stay in a half-space with applications to directional extremes

abstract: This paper provides a multivariate extension of Bertoin's pathwise construction of a L\'evy process conditioned to stay positive/negative. Thus obtained processes conditioned to stay in half-spaces are closely related to the original process on a compact time interval seen from its directional extremal points. In the case of a correlated Brownian motion the law of the conditioned process is obtained by a linear transformation of a standard Brownian motion and an independent Bessel-3 process. Further motivation is provided by a limit theorem corresponding to zooming in on a L\'evy process with a Brownian part at the point of its directional infimum. Applications to zooming in at the point furthest from the origin are envisaged.


title: Finite-Sample Analysis of Off-Policy Natural Actor-Critic with Linear Function Approximation

abstract: In this paper, we develop a novel variant of off-policy natural actor-critic algorithm with linear function approximation and we establish a sample complexity of $\mathcal{O}(\epsilon^{-3})$, outperforming all the previously known convergence bounds of such algorithms. In order to overcome the divergence due to deadly triad in off-policy policy evaluation under function approximation, we develop a critic that employs $n$-step TD-learning algorithm with a properly chosen $n$. We present finite-sample convergence bounds on this critic under both constant and diminishing step sizes, which are of independent interest. Furthermore, we develop a variant of natural policy gradient under function approximation, with an improved convergence rate of $\mathcal{O}(1/T)$ after $T$ iterations. Combining the finite sample error bounds of actor and the critic, we obtain the $\mathcal{O}(\epsilon^{-3})$ sample complexity. We derive our sample complexity bounds solely based on the assumption that the behavior policy sufficiently explores all the states and actions, which is a much lighter assumption compared to the related literature.


title: Second moments of work and heat for a single particle stochastic heat engine in a breathing harmonic potential

abstract: We consider a simple model of a stochastic heat engine, which consists of a single Brownian particle moving in a one-dimensional periodically breathing harmonic potential. Overdamped limit is assumed. Expressions of second moments (variances and covariances ) of heat and work are obtained in the form of integrals, whose integrands contain functions satisfying certain differential equations. The results in the quasi-static limit are simple functions of temperatures of hot and cold thermal baths. The coefficient of variation of the work is suggested to give an approximate probability for the work to exceeds a certain threshold. During derivation, we get the expression of the cumulant-generating function.


title: A conforming sliding mesh technique for an embedded-hybridized discontinuous Galerkin discretization for fluid-rigid body interaction

abstract: In (J. Comput. Phys., 417, 109577, 2020) we introduced a space-time embedded-hybridizable discontinuous Galerkin method for the solution of the incompressible Navier-Stokes equations on time-dependent domains of which the motion of the domain is prescribed. This discretization is exactly mass conserving, locally momentum conserving, and energy-stable. In this manuscript we extend this discretization to fluid-rigid body interaction problems in which the motion of the fluid domain is not known a priori. To account for large rotational motion of the rigid body, we present a novel conforming space-time sliding mesh technique. We demonstrate the performance of the discretization on various numerical examples.


title: Enhanced Sensitivity for Quantifying Disease Markers via Raman and Machine-Learning of Circulating Biofluids in Optofluidic Chips

abstract: We demonstrate novel instrumentation for spontaneous Raman spectroscopy in biofluids, enabling development of a portable, automated, reliable diagnostics technique requiring minimal operator expertise to quantify disease markers. Label-free Raman analysis of biofluids at physiologically-relevant sensitivities is achieved using a microfluidic-embedded liquid-core-waveguide augmented with a unique circulation approach: thermal damage and spectrum variance is minimized, eliminating conventional limits on integration time for excellent signal-to-noise ratio and temporal stability. Machine-learning then optimizes spectrum processing, yielding quantitative results independent of end-user proficiency. Sub-mM accuracy is achieved in solutions of both high and low turbidity, surpassing the sensitivity of previous techniques for analytes with a small scattering cross-section, such as glucose. We attain a new record for label-free glucose measurements in an artificial whole-blood, achieving an accuracy up to 0.14 mM, well-exceeding the 0.78 mM accuracy required for diabetic monitoring, establishing our technique's potential to significantly facilitate portable Raman for complex biofluid analysis.


title: Language Model as an Annotator: Exploring DialoGPT for Dialogue Summarization

abstract: Current dialogue summarization systems usually encode the text with a number of general semantic features (e.g., keywords and topics) to gain more powerful dialogue modeling capabilities. However, these features are obtained via open-domain toolkits that are dialog-agnostic or heavily relied on human annotations. In this paper, we show how DialoGPT, a pre-trained model for conversational response generation, can be developed as an unsupervised dialogue annotator, which takes advantage of dialogue background knowledge encoded in DialoGPT. We apply DialoGPT to label three types of features on two dialogue summarization datasets, SAMSum and AMI, and employ pre-trained and non pre-trained models as our summarizes. Experimental results show that our proposed method can obtain remarkable improvements on both datasets and achieves new state-of-the-art performance on the SAMSum dataset.


title: Successive Convex Approximation Based Off-Policy Optimization for Constrained Reinforcement Learning

abstract: We propose a successive convex approximation based off-policy optimization (SCAOPO) algorithm to solve the general constrained reinforcement learning problem, which is formulated as a constrained Markov decision process (CMDP) in the context of average cost. The SCAOPO is based on solving a sequence of convex objective/feasibility optimization problems obtained by replacing the objective and constraint functions in the original problems with convex surrogate functions. At each iteration, the convex surrogate problem can be efficiently solved by Lagrange dual method even the policy is parameterized by a high-dimensional function. Moreover, the SCAOPO enables to reuse old experiences from previous updates, thereby significantly reducing the implementation cost when deployed in the real-world engineering systems that need to online learn the environment. In spite of the time-varying state distribution and the stochastic bias incurred by the off-policy learning, the SCAOPO with a feasible initial point can still provably converge to a Karush-Kuhn-Tucker (KKT) point of the original problem almost surely.


title: A general notion of uniform ellipticity and the regularity of the stress field for elliptic equations in divergence form

abstract: For solutions of ${\rm div}\,(DF(Du))=f$ we show that the quasiconformality of $z\mapsto DF(z)$ is the key property leading to the Sobolev regularity of the stress field $DF(Du)$, in relation with the summability of $f$. This class of nonlinearities encodes in a general way the notion of uniform ellipticity and encompasses all known instances where the stress field is known to be Sobolev regular. We provide examples showing the optimality of this assumption and present three applications: the study of the strong locality of the operator ${\rm div}\,(DF(Du))$, a nonlinear Cordes condition for equations in divergence form, and some partial results on the $C^{p'}$-conjecture.


title: Prime numbers and random walks in a square grid

abstract: In recent years, computer simulations are playing a fundamental role in unveiling some of the most intriguing features of prime numbers. In this work, we define an algorithm for a deterministic walk through a two-dimensional grid that we refer to as Prime Walk. The walk is constructed from a sequence of steps dictated by and dependent on the sequence of last digits of the primes. Despite the apparent randomness of this generating sequence, the resulting structure -- both in 2d and 3d -- created by the algorithm presents remarkable properties and regularities in its pattern that we proceed to analyze in detail.


title: Collective stimulated Brillouin scattering modes of two crossing laser beams with shared ion acoustic wave

abstract: The overlapping of multiple beams is common in inertial confinement fusion (ICF), making the collective stimulated Brillouin scattering (SBS) with shared ion acoustic wave (IAW) potentially important because of the effectively larger laser intensities to drive the instability. In this work, based on a linear kinetic model, an exact analytic solution for the convective amplification of SBS with the shared IAW modes stimulated by two overlapped beams is presented. From this solution, effects of the wavelength difference, crossing angle, polarization states, and finite beam overlapping volume of the two laser beams on the shared IAW modes are studied. It is found that a wavelength difference of several nanometers between the laser beams has negligible effects, except for a very small crossing angle about one degree. However, the crossing angle, beam polarization states, and finite beam overlapping volume can have significant influences on the shared IAW modes. Furthermore, the out-of-plane modes, in which the wavevectors of daughter waves lie in the different planes from the two overlapped beams, are found to be important for certain polarization states and crossing angles of the laser beams with the finite beam overlapping volume. This work is helpful to comprehend and estimate the collective SBS with shared IAW in ICF experiments.


title: KLIEP-based Density Ratio Estimation for Semantically Consistent Synthetic to Real Images Adaptation in Urban Traffic Scenes

abstract: Synthetic data has been applied in many deep learning based computer vision tasks. Limited performance of algorithms trained solely on synthetic data has been approached with domain adaptation techniques such as the ones based on generative adversarial framework. We demonstrate how adversarial training alone can introduce semantic inconsistencies in translated images. To tackle this issue we propose density prematching strategy using KLIEP-based density ratio estimation procedure. Finally, we show that aforementioned strategy improves quality of translated images of underlying method and their usability for the semantic segmentation task in the context of autonomous driving.


title: Commuting probability in algebraic groups

abstract: We introduce the notion of commuting probability, $p(G)$, for an algebraic group $G$. This notion is inspired by the corresponding notions in finite groups and compact groups. The computation of $p(G)$ for reductive groups is readily done using the notion of $z$-classes. We introduce two generalisations of this relation, $iz$-equivalence and $dz$-equivalence. These notions lead us naturally to the notion of a regular element in $G$. Finally, with the help of this notion of regular elements, we compute $p(G)$ for a connected, linear algebraic group $G$. We also compute the set of limit points of the numbers $p(G)$ as $G$ varies over the classes of reductive groups, solvable groups and nilpotent groups.


title: Weak*-continuity of invariant means on spaces of matrix coefficients

abstract: With every locally compact group $G$, one can associate several interesting bi-invariant subspaces $X(G)$ of the weakly almost periodic functions $\mathrm{WAP}(G)$ on $G$, each of which captures parts of the representation theory of $G$. Under certain natural assumptions, such a space $X(G)$ carries a unique invariant mean and has a natural predual, and we view the weak$^*$-continuity of this mean as a rigidity property of $G$. Important examples of such spaces $X(G)$, which we study explicitly, are the algebra $M_{\mathrm{cb}}A_p(G)$ of $p$-completely bounded multipliers of the Fig\`a-Talamanca-Herz algebra $A_p(G)$ and the $p$-Fourier-Stieltjes algebra $B_p(G)$. In the setting of connected Lie groups $G$, we relate the weak$^*$-continuity of the mean on these spaces to structural properties of $G$. Our results generalise results of Bekka, Kaniuth, Lau and Schlichting.


title: Incomplete MaxSAT Approaches for Combinatorial Testing

abstract: We present a Satisfiability (SAT)-based approach for building Mixed Covering Arrays with Constraints of minimum length, referred to as the Covering Array Number problem. This problem is central in Combinatorial Testing for the detection of system failures. In particular, we show how to apply Maximum Satisfiability (MaxSAT) technology by describing efficient encodings for different classes of complete and incomplete MaxSAT solvers to compute optimal and suboptimal solutions, respectively. Similarly, we show how to solve through MaxSAT technology a closely related problem, the Tuple Number problem, which we extend to incorporate constraints. For this problem, we additionally provide a new MaxSAT-based incomplete algorithm. The extensive experimental evaluation we carry out on the available Mixed Covering Arrays with Constraints benchmarks and the comparison with state-of-the-art tools confirm the good performance of our approaches.


title: Highlights of Discoveries for $\delta$ Scuti Variable Stars From the Kepler Era

abstract: The NASA Kepler and follow-on K2 missions (2009-2018) left a legacy of data and discoveries, finding thousands of exoplanets, and also obtaining high-precision long time-series data for hundreds of thousands of stars, including many types of pulsating variables. Here we highlight a few of the ongoing discoveries from Kepler data on $\delta$ Scuti pulsating variables, which are core hydrogen-burning stars of about twice the mass of the Sun. We discuss many unsolved problems surrounding the properties of the variability in these stars, and the progress enabled by Kepler data in using pulsations to infer their interior structure, a field of research known as asteroseismology.


title: Beating the Lyth bound by parametric resonance during inflation

abstract: We propose a novel mechanism for enhancing the primordial gravitational waves without significantly affecting the curvature perturbations produced during inflation. This is achieved due to non-linear sourcing of resonantly amplified scalar field fluctuations. Our result is an explicit scale-dependent counter-example of the famous Lyth bound, which opens up a promising perspective of producing detectable inflationary tensor modes with low-scale inflation and a sub-Planckian field excursion. We explicitly demonstrate the testability of our mechanism with upcoming Cosmic Microwave Background B-mode observations.


title: Context-aware Cross-level Fusion Network for Camouflaged Object Detection

abstract: Camouflaged object detection (COD) is a challenging task due to the low boundary contrast between the object and its surroundings. In addition, the appearance of camouflaged objects varies significantly, e.g., object size and shape, aggravating the difficulties of accurate COD. In this paper, we propose a novel Context-aware Cross-level Fusion Network (C2F-Net) to address the challenging COD task. Specifically, we propose an Attention-induced Cross-level Fusion Module (ACFM) to integrate the multi-level features with informative attention coefficients. The fused features are then fed to the proposed Dual-branch Global Context Module (DGCM), which yields multi-scale feature representations for exploiting rich global context information. In C2F-Net, the two modules are conducted on high-level features using a cascaded manner. Extensive experiments on three widely used benchmark datasets demonstrate that our C2F-Net is an effective COD model and outperforms state-of-the-art models remarkably. Our code is publicly available at: https://github.com/thograce/C2FNet.


title: The Rotationally Resolved Infrared Spectrum of TiO and Its Isotopologues

abstract: In this study, we present the ro-vibrationally resolved gas-phase spectrum of the diatomic molecule TiO around 1000\,cm$^{-1}$. Molecules were produced in a laser ablation source by vaporizing a pure titanium sample in the atmosphere of gaseous nitrous oxide. Adiabatically expanded gas, containing TiO, formed a supersonic jet and was probed perpendicularly to its propagation by infrared radiation from quantum cascade lasers. Fundamental bands of $^{46-50}$TiO and vibrational hotbands of $^{48}$TiO are identified and analyzed. In a mass-independent fitting procedure combining the new infrared data with pure rotational and electronic transitions from the literature, a Dunham-like parameterization is obtained. From the present data set, the multi-isotopic analysis allows to determine the spin-rotation coupling constant $\gamma$ and the Born-Oppenheimer correction coefficient $\Delta_{\rm U_{10}}^{\mathrm{Ti}}$ for the first time. The parameter set enables to calculate the Born-Oppenheimer correction coefficients $\Delta_{\rm U_{02}}^{\mathrm{Ti}}$ and $\Delta_{\rm U_{02}}^{\mathrm{O}}$. In addition, the vibrational transition moments for the observed vibrational transitions are reported.


title: From the strong differential to Italian domination in graphs

abstract: Given a graph $G$ and a subset of vertices $D\subseteq V(G)$, the external neighbourhood of $D$ is defined as $N_e(D)=\{u\in V(G)\setminus D:\, N(u)\cap D\ne \varnothing\}$, where $N(u)$ denotes the open neighbourhood of $u$. Now, given a subset $D\subseteq V(G)$ and a vertex $v\in D$, the external private neighbourhood of $v$ with respect to $D$ is defined to be $epn(v,D)=\{u\in V(G)\setminus D: N(u)\cap D=\{v\}\}.$ The strong differential of a set $D\subseteq V(G)$ is defined as $\partial_s(D)=|N_e(D)|-|D_w|,$ where $D_w=\{v\in D: epn(v,D)\neq \varnothing\}$. In this paper we focus on the study of the strong differential of a graph, which is defined as $$\partial_s(G)=\max \{\partial_s(D): D\subseteq V(G)\}.$$ Among other results, we obtain general bounds on $\partial_s(G)$ and we prove a Gallai-type theorem, which states that $\partial_s(G)+\gamma_{I}(G)=n(G)$, where $\gamma_{I}G)$ denotes the Italian domination number of $G$. Therefore, we can see the theory of strong differential in graphs as a new approach to the theory of Italian domination. One of the advantages of this approach is that it allows us to study the Italian domination number without the use of functions. As we can expect, we derive new results on the Italian domination number of a graph.


title: AI for Calcium Scoring

abstract: Calcium scoring, a process in which arterial calcifications are detected and quantified in CT, is valuable in estimating the risk of cardiovascular disease events. Especially when used to quantify the extent of calcification in the coronary arteries, it is a strong and independent predictor of coronary heart disease events. Advances in artificial intelligence (AI)-based image analysis have produced a multitude of automatic calcium scoring methods. While most early methods closely follow standard calcium scoring accepted in clinic, recent approaches extend this procedure to enable faster or more reproducible calcium scoring. This chapter provides an introduction to AI for calcium scoring, and an overview of the developed methods and their applications. We conclude with a discussion on AI methods in calcium scoring and propose potential directions for future research.


title: Cosmic Meteorology

abstract: Mike Lockwood and Mathew Owens discuss how eclipse observations are aiding the development of a climatology of near-Earth space


title: Thermal tuning of a fiber-integrated Fabry-P\'erot cavity

abstract: Here, we present the thermal tuning capability of an alignment-free fiber-integrated Fabry-P\'erot cavity.The two mirrors are made of fiber Bragg gratings that can be individually temperature stabilized and tuned. We show the temperature tuning of the resonance wavelength of the cavity without any degradation of the finesse and the tuning of the individual stop bands of the fiber Bragg gratings. This not only permits for the cavity's finesse to be optimized post-fabrication but also makes this cavity applicable as a narrowband filter with a FWHM spectral width of 0.07 (0.02) pm and a suppression of more than -15 dB that can be wavelength tuned. Further, in the field of quantum optics, where strong light-matter interactions are desirable, quantum emitters can be coupled to such a cavity and the cavity effect can be reversibly omitted and re-established. This is particularly useful when working with solid-state quantum emitters where such a reference measurement is often not possible once an emitter has been permanently deposited inside a cavity.


title: Modularity and Heights of CM cycles on Kuga-Sato varieties

abstract: We prove a higher weight general Gross--Zagier formula for CM cycles on Kuga--Sato varieties over modular curves of arbitrary levels. To formulate and prove this result, we prove several results on the modularity of CM cycles, in the sense that the Hecke modules they generate are semisimple modules whose irreducible components are associated to higher weight holomorphic cuspidal automorphic representations. These two types of results provide evidence toward two conjectures of Beilinson--Bloch. The higher weight general Gross--Zagier formula is proved using arithmetic relative trace formulas. The proof of the modularity of CM cycles is inspired by arithmetic theta lifting.


title: Improved Constraints for the XUV Luminosity Evolution of Trappist-1

abstract: We re-examine the XUV luminosity evolution of TRAPPIST-1 utilizing new observational constraints (XUV and bolometric luminosity) from multi-epoch X-ray/UV photometry. Following the formalism presented in Fleming et al. (2020), we infer that TRAPPIST-1 maintained a saturated XUV luminosity, relative to the bolometric luminosity, of $\log_{10}$(L$_{\rm XUV}$/L$_{\rm bol}$) $= -3.03_{-0.23}^{+0.25}$ at early times for a period of $t_{sat} = 3.14_{-1.46}^{+2.22}$ Gyr. After the saturation phase, we find L$_{\rm XUV}$ decayed over time by an exponential rate of $\beta_{\rm XUV} = -1.17_{-0.28}^{+0.27}$. Compared to our inferred age of the system, ${\rm age} = 7.96_{-1.87}^{+1.78}$ Gyr, our result for $t_{sat}$ suggests that there is only a $\sim4\%$~chance that TRAPPIST-1 still remains in the saturated phase today, which is significantly lower than the previous estimate of 40\%. Despite this reduction in $t_{sat}$, our results remain consistent in the conclusion that the TRAPPIST-1 planets likely received an extreme amount XUV energy -- an estimated integrated XUV energy of $\sim10^{30}-10^{32}$ erg over the star's lifetime.


title: Qubitization of Bosons

abstract: A binary mapping from Fock space of bosonic state to qubits is given. Based on the binary mapping, we construte an algorithm of qubitization of bosons with complexity O(log(N)). As an example, the algorithm of qubitization of bosons in matrix product state to simulate real time dynamics of Yukawa coupling is realized. The calculation error bar is estimated by random sampling method. This proposal may be achieved in superconductivity noisy intermediate--scale quantum computer not far future.


title: Predicting invasive ductal carcinoma using a Reinforcement Sample Learning Strategy using Deep Learning

abstract: Invasive ductal carcinoma is a prevalent, potentially deadly disease associated with a high rate of morbidity and mortality. Its malignancy is the second leading cause of death from cancer in women. The mammogram is an extremely useful resource for mass detection and invasive ductal carcinoma diagnosis. We are proposing a method for Invasive ductal carcinoma that will use convolutional neural networks (CNN) on mammograms to assist radiologists in diagnosing the disease. Due to the varying image clarity and structure of certain mammograms, it is difficult to observe major cancer characteristics such as microcalcification and mass, and it is often difficult to interpret and diagnose these attributes. The aim of this study is to establish a novel method for fully automated feature extraction and classification in invasive ductal carcinoma computer-aided diagnosis (CAD) systems. This article presents a tumor classification algorithm that makes novel use of convolutional neural networks on breast mammogram images to increase feature extraction and training speed. The algorithm makes two contributions.


title: The Average Size of a Connected Vertex Set of a $k$-connected Graph

abstract: The topic is the average order $A(G)$ of a connected induced subgraph of a graph $G$. This generalizes, to graphs in general, the average order of a subtree of a tree. In 1984, Jamison proved that the average order, over all trees of order $n$, is minimized by the path $P_n$, the average being $A(P_n)=(n+2)/3$. In 2018, Kroeker, Mol, and Oellermann conjectured that $P_n$ minimizes the average order over all connected graphs $G$ - a conjecture that was recently proved. In this short note we show that this lower bound can be improved if the connectivity of $G$ is known. If $G$ is $k$-connected, then \[A(G) \geq \frac{n}2 \Bigg (1- \frac{1}{2^k+1} \Bigg ).\]


title: Gibbs Paradox in the View of Information Entropy

abstract: This paper introduces the basic concepts of information theory. Based on these concepts, we regard the states in the state space and the types of ideal gases as the symbols in a symbol set to calculate the mixing entropy of ideal gas involved in Gibbs Paradox. The discussion above reveals that the non-need for distinguishing can resolve the contradiction of Gibbs Paradox, implying the introduction of indistinguishability is not necessary. Further analysis shows that the information entropy of gas molecular types does not directly correlate to the energy of a gas system, so it should not be used for calculating thermodynamic and statistical dynamic entropies. Therefore, the mixing entropy of the ideal gas is independent of the molecular types and is much smaller than the value commonly thought.


title: Effect of fast scale factor fluctuations on cosmological evolution

abstract: In this paper we study the corrections to the Friedmann equations due to fast fluctuations of the universe scale factor. Such fast quantum fluctuations were recently proposed as a potential solution of the cosmological constant problem. They also induce strong changes to the current sign and magnitude of the average cosmological force, thus making it one of the potential probable causes for the modification of Newtonian dynamics in galaxy-scale systems. It appears that quantum fluctuations of the scale factor also modify the Friedmann equations, leading to considerable modification of cosmological evolution. In particular, they give rise to late-time accelerated expansion of the universe, and they may also considerably modify the effective universe potential.


title: Power Anisotropy, Dispersion Signature and Turbulence Diffusion Region in the 3D Wavenumber Domain of Space Plasma Turbulence

abstract: We explore the multi-faceted important features of turbulence (e.g., anisotropy, dispersion, diffusion) in the three-dimensional (3D) wavenumber domain ($k_\parallel$, $k_{\perp,1}$, $k_{\perp,2}$), by employing the k-filtering technique to the high-quality measurements of fields and particles from the MMS multi-spacecraft constellation. We compute the 3D power spectral densities (PSDs) of magnetic and electric fluctuations (marked as $\rm{PSD}(\delta \mathbf{B}(\mathbf{k}))$ and $\rm{PSD}(\delta \mathbf{E}'_{\langle\mathbf{v}_\mathrm{i}\rangle}(\mathbf{k}))$), both of which show a prominent spectral anisotropy in the sub-ion range. We give the first 3D image of the bifurcation between power spectra of the electric and magnetic fluctuations, by calculating the ratio between $\rm{PSD}(\delta \mathbf{E}'_{ \langle\mathbf{v}_\mathrm{i}\rangle}(\mathbf{k}))$ and $\rm{PSD}(\delta \mathbf{B}(\mathbf{k}))$, the distribution of which is related to the non-linear dispersion relation. We also compute the ratio between electric spectra in different reference frames defined by the ion bulk velocity, that is $\mathrm{PSD}(\delta{\mathbf{E}'_{\mathrm{local}\ \mathbf{v}_\mathrm{i}}})/\mathrm{PSD}(\delta{\mathbf{E}'_{ \langle\mathbf{v}_\mathrm{i}\rangle}})$, to visualize the turbulence ion diffusion region (T-IDR) in wavenumber space. The T-IDR has an anisotropy and a preferential direction of wavevectors, which is generally consistent with the plasma wave theory prediction based on the dominance of kinetic Alfv\'en waves (KAW). This work manifests the worth of the k-filtering technique in diagnosing turbulence comprehensively, especially when the electric field is involved.


title: Finch-Skea star model in f(R, T ) theory of gravity

abstract: The present work discusses about the existence of compact star model in the context of $f(R,T)$ gravity with $R$ as the Ricci scalar and $T$ as the trace of energy-momentum tensor $T_{\mu \nu}$. The model has been developed by considering the spherically symmetric spacetime consisting of isotropic fluid with $f(R,T)=R+2 \beta T$ with $\beta$ be the coupling parameter. The corresponding field equations are solved by choosing well known Finch-Skea {\em ansatz} [Finch, M.R., Skea, J.E.F.:{\it Class. Quantum Gravity} {\bf 6}, 467 (1989)]. For spacetime continuity we elaborate the boundary conditions by considering the exterior region as Schwarzschild metric. The unknown constants appearing in the solution are evaluated for the compact star PSR~J 1614-2230 for different values of coupling constant. The physical properties of the model, e.g., matter density, pressure, stability etc. have been discussed both analytically and graphically. This analysis showed that the geometry and matter are compatible with each other as well as the model is in stable equilibrium in the context of $f(R,\,T)$ modified gravity.


title: On the finiteness of $\mathfrak{P}$-adic continued fractions for number fields

abstract: For a prime ideal $\mathfrak{P}$ of the ring of integers of a number field $K$, we give a general definition of $\mathfrak{P}$-adic continued fraction, which also includes classical definitions of continued fractions in the field of $p$--adic numbers. We give some necessary and sufficient conditions on $K$ ensuring that every $\alpha\in K$ admits a finite $\mathfrak{P}$-adic continued fraction expansion for all but finitely many $\mathfrak{P}$, addressing a similar problem posed by Rosen in the archimedean setting.


title: Gaussian Process and Levy Walk under Stochastic Non-instantaneous Resetting and Stochastic Rest

abstract: A stochastic process with movement, return, and rest phases is considered in this paper. For the movement phase, the particles move following the dynamics of Gaussian process or ballistic type of L\'evy walk, and the time of each movement is random. For the return phase, the particles will move back to the origin with a constant velocity or acceleration or under the action of a harmonic force after each movement, so that this phase can also be treated as a non-instantaneous resetting. After each return, a rest with a random time at the origin follows. The asymptotic behaviors of the mean squared displacements with different kinds of movement dynamics, random resting time, and returning are discussed. The stationary distributions are also considered when the process is localized. Besides, the mean first passage time is considered when the dynamic of movement phase is Brownian motion.


title: Charged strange star in $f(R,T)$ gravity with linear equation of state

abstract: Our present study involves the strange stars model in the framework of $f(R,T)$ theory of gravitation. We have taken a linear function of the Ricci scalar $R$ and the trace $T$ of the stress-energy tensor $T_{\mu \nu}$ for the expression of $f(R,T)$, i.e., $f(R,T)=R+ 2 \gamma T $ to obtain the proposed model, where $\gamma$ is a coupling constant. Moreover, to solve the hydrostatic equilibrium equations, we consider a linear equation of state between the radial pressure $p_r$ and matter density $\rho$ as $p_r=\alpha \rho-\beta$, where $\alpha$ and $\beta$ are some positive constants, Both $\alpha,\,\beta$ depend on coupling constant $\gamma$ which have been also depicted in this paper. By employing the Krori-Barua {\em ansatz} already reported in the literature [J. Phys. A, Math. Gen. 8:508, 1975] we have found the solutions of the field equations in $f (R, T )$ gravity. The effect of coupling constant $\gamma$ have been studied on the model parameters like density, pressures, anisotropic factor, compactness, surface redshift, etc. both numerically and graphically. A suitable range for $\gamma$ is also obtained. The physical acceptability and stability of the stellar system have been tested by different physical tests, e.g., the causality condition, Herrera cracking concept, relativistic adiabatic index, energy conditions, etc. One can regain the solutions in Einstein gravity when $\gamma\rightarrow 0$


title: Geometry of multi-particle systems with a relativistic deformed kinematics and the relative locality principle

abstract: There is a vast literature showing the connection between a deformed relativistic kinematics and a curved momentum space, and, in particular, how the former can be obtained from the geometrical properties of the latter. However, there is not any mention about the geometry of a multi-particle system making manifest a possible modification in the metric of one particle due to the presence of others. In this work we explore how a curved momentum metric depending on the particles involved in an interaction arises when considering a process. We also show that the principle of relative locality obtained in doubly special relativity from an action is achieved in this geometrical framework in a direct fashion. Moreover, this formalism allows us to generalize this principle when a curvature of spacetime is present in a natural way. Furthermore this geometrical setup allows us to define a new momentum dependent space-time coordinates for a multi-particle system in which locality of interactions is recovered.


title: Iterative method for fast estimation of convective drying characteristics of biomass

abstract: Convective drying of biomass is an important technological solution required to increase the quality of biomass for efficient biomass conversion in heat and power generation sector. We propose a fully predictive method based on iteratively solving heat power conservation equation, which evaluates the convective drying rate for deep fixed porous material bed containing any type of evaporating liquid during a constant-rate drying period with given inlet air parameters. The analysis of the heat power conservation equation during the constant-rate period showed that the drying rate of deep fixed moist porous material bed is a linear function of the inlet air mass flow rate and is independent of the initial masses of water and dry material inside the bed when inlet air absolute humidity is constant. Furthermore, the proposed method estimates the theoretical maximum possible drying rate for a drying system with given inlet air conditions and; therefore, it can be used as an important tool for designing industrial equipment and verifying the correctness of drying experiments.


title: On the value set of $1$-forms for plane branches

abstract: The value semigroup $\Gamma$ and the value set $\Lambda$ of $1$-forms are, respectively, a topological and an analytical invariant of a plane branch. Giving a plane branch $\mathcal{C}$ with semigroup $\Gamma$ there are a finitely number of distinct possible sets $\Lambda_i$ according to the analytic class of $\mathcal{C}$. In this work we show that the value set of $1$-forms $\Lambda$ determines the semigroup $\Gamma$ and we present an effective method to recover $\Gamma$ by $\Lambda$. In particular, this allows us to decide if a subset of $\mathbb{N}$ is a value set of $1$-forms for a plane branch.


title: Bond-Peierls polaron: Moderate mass enhancement and current-carrying ground state

abstract: We study polarons in the one-dimensional Bond-Peierls electron-phonon model, in which phonons on bonds of a lattice modulate the hopping of electrons between lattice sites, and contrast the results to those known for the Breathing-Mode Peierls problem. By inspecting the atomic limit, we show that polaronic dressing and mass enhancement of Bond-Peierls polarons depend on the momentum dependence of the phonons. For dispersionless phonons, Bond-Peierls polarons are perfectly localized in the atomic limit, unlike their Breathing-mode counterparts, because the carrier creates a string of phonon excitations that can only be annihilated via processes that retrace the carrier to its original site. However, inclusion of phonon dispersion leads to a non-divergent polaron mass even in the atomic limit and depending on the form of the phonon dispersion may lead to a transition to a non-zero-momentum ground state akin to that found in the Breathing-mode Peierls model.


title: Gravitational corrections to two-loop beta function in quantum electrodynamics

abstract: In this work, we use the framework of effective field theory to couple Einstein's gravity to quantum electrodynamics (QED) and determine the gravitational corrections to the two-loop beta function of the electric charge in arbitrary electrodynamics (Lorentz-like) and arbitrary (de Donder like) gravitational gauges. Our results indicate that gravitational corrections do not alter the running behavior of the electric charge; on the contrary, we observe that it gives a positive contribution to the beta function, making the electric charge grow even faster.


title: Harvesting quantum coherence from axion dark matter

abstract: Quantum coherence is one of the most striking features of quantum mechanics rooted in the superposition principle. Recently it has been demonstrated that it is possible to harvest the quantum coherence from a coherent scalar field. In order to explore a new method of detecting axion dark matter, we consider a point-like Unruh-DeWitt detector coupled to the axion field and quantify a coherent measure of the detector. We show that the detector can harvest the quantum coherence from the axion dark matter. To be more precise, we consider a two-level of electron system in an atom as the detector. In this case, we obtain the coherence measure $C=2.2\times 10^{-6}\gamma\, \left(T/1{\rm s}\right)$ where $T$ and $\gamma$ are an observation time and the Lorentz factor. At the same time, the axion mass $m_a$ we can probe is determined by the energy gap of the detector.


title: On symmetries of a matrix and its isospectral reduction

abstract: The analysis of diagonalizable matrices in terms of their so-called isospectral reduction represents a versatile approach to the underlying eigenvalue problem. Starting from a symmetry of the isospectral reduction, we show in the present work that it is possible to construct a corresponding symmetry of the original matrix.


title: Gravitational partition function modified by super-light brane world perturbative modes

abstract: In this paper, we will analyze the effects of super-light brane world perturbative modes on clustering of galaxies. In present manuscript, we use the Boltzmann and Tsallis statistical approaches to study the large distance modification of gravity in the brane world. The impact of modified potential on clustering of galaxies is analyzed in both the approaches. The infinities associated with Newtonian point mass approximation of gravity models is removed using the analytical extensions. The regularized and finite partition function is obtained for the system of galaxies in the brane world model and is used to evaluate the regularized thermodynamic properties of the system in the form of equations of state. Hence, we study thermodynamic quantities and discuss about the thermodynamic stability of the model. We find that large number of galaxies may lead to the thermodynamic instability.


title: Securing Serverless Computing: Challenges, Solutions, and Opportunities

abstract: Serverless computing is a new cloud service model that reduces both cloud providers' and consumers' costs through extremely agile development, operation, and charging mechanisms and has been widely applied since its emergence. Nevertheless, some characteristics of serverless computing, such as fragmented application boundaries, have raised new security challenges. Considerable literature work has been committed to addressing these challenges. Commercial and open-source serverless platforms implement many security measures to enhance serverless environments. This paper presents the first survey of serverless security that considers both literature work and industrial security measures. We summarize the primary security challenges, analyze corresponding solutions from the literature and industry, and identify potential research opportunities. Then, we conduct a gap analysis of the academic and industrial solutions as well as commercial and open-source serverless platforms' security capabilities, and finally, we present a complete picture of current serverless security research.


title: Modified Gravity and Cosmology: An Update by the CANTATA Network

abstract: General Relativity and the $\Lambda$CDM framework are currently the standard lore and constitute the concordance paradigm. Nevertheless, long-standing open theoretical issues, as well as possible new observational ones arising from the explosive development of cosmology the last two decades, offer the motivation and lead a large amount of research to be devoted in constructing various extensions and modifications. All extended theories and scenarios are first examined under the light of theoretical consistency, and then are applied to various geometrical backgrounds, such as the cosmological and the spherical symmetric ones. Their predictions at both the background and perturbation levels, and concerning cosmology at early, intermediate and late times, are then confronted with the huge amount of observational data that astrophysics and cosmology are able to offer recently. Theories, scenarios and models that successfully and efficiently pass the above steps are classified as viable and are candidates for the description of Nature. This work is a Review of the recent developments in the fields of gravity and cosmology, presenting the state of the art, high-lighting the open problems, and outlining the directions of future research. Its realization was performed in the framework of the COST European Action ``Cosmology and Astrophysics Network for Theoretical Advances and Training Actions''.


title: A package TESTAS for checking some kinds of testability

abstract: We implement a set of procedures for deciding whether or not a language given by its minimal automaton or by its syntactic semigroup is locally testable, right or left locally testable, threshold locally testable, strictly locally testable, or piecewise testable. The bounds on order of local testability of transition graph and order of local testability of transition semigroup are also found. For given k, the k-testability of transition graph is verified. Some new effective polynomial time algorithms are used. These algorithms have been implemented as a C/C++ package.


title: A Comprehensive Survey on Community Detection with Deep Learning

abstract: A community reveals the features and connections of its members that are different from those in other communities in a network. Detecting communities is of great significance in network analysis. Despite the classical spectral clustering and statistical inference methods, we notice a significant development of deep learning techniques for community detection in recent years with their advantages in handling high dimensional network data. Hence, a comprehensive overview of community detection's latest progress through deep learning is timely to academics and practitioners. This survey devises and proposes a new taxonomy covering different state-of-the-art methods, including deep learning-based models upon deep neural networks, deep nonnegative matrix factorization and deep sparse filtering. The main category, i.e., deep neural networks, is further divided into convolutional networks, graph attention networks, generative adversarial networks and autoencoders. The survey also summarizes the popular benchmark data sets, evaluation metrics, and open-source implementations to address experimentation settings. We then discuss the practical applications of community detection in various domains and point to implementation scenarios. Finally, we outline future directions by suggesting challenging topics in this fast-growing deep learning field.


title: Automatic Construction of Sememe Knowledge Bases via Dictionaries

abstract: A sememe is defined as the minimum semantic unit in linguistics. Sememe knowledge bases (SKBs), which comprise words annotated with sememes, enable sememes to be applied to natural language processing. So far a large body of research has showcased the unique advantages and effectiveness of SKBs in various tasks. However, most languages have no SKBs, and manual construction of SKBs is time-consuming and labor-intensive. To tackle this challenge, we propose a simple and fully automatic method of building an SKB via an existing dictionary. We use this method to build an English SKB and a French SKB, and conduct comprehensive evaluations from both intrinsic and extrinsic perspectives. Experimental results demonstrate that the automatically built English SKB is even superior to HowNet, the most widely used SKB that takes decades to build manually. And both the English and French SKBs can bring obvious performance enhancement in multiple downstream tasks. All the code and data of this paper (except the copyrighted dictionaries) can be obtained at https://github.com/thunlp/DictSKB.


title: TIC 454140642: A Compact, Coplanar, Quadruple-lined Quadruple Star System Consisting of Two Eclipsing Binaries

abstract: We report the discovery of a compact, coplanar, quadruply-lined, eclipsing quadruple star system from TESS data, TIC 454140642, also known as TYC 0074-01254-1. The target was first detected in Sector 5 with 30-min cadence in Full-Frame Images and then observed in Sector 32 with 2-min cadence. The light curve exhibits two sets of primary and secondary eclipses with periods of PA = 13.624 days (binary A) and PB = 10.393 days (binary B). Analysis of archival and follow-up data shows clear eclipse-timing variations and divergent radial velocities, indicating dynamical interactions between the two binaries and confirming that they form a gravitationally-bound quadruple system with a 2+2 hierarchy. The Aa+Ab binary, Ba+Bb binary, and A-B system are aligned with respect to each other within a fraction of a degree: the respective mutual orbital inclinations are 0.25 degrees (A vs B), 0.37 degrees (A vs A-B), and 0.47 degrees (B vs A-B). The A-B system has an orbital period of 432 days - the second shortest amongst confirmed quadruple systems - and an orbital eccentricity of 0.3.


title: Photoinduced coherent modulation of an excitonic resonance via coupling with coherent optical phonons

abstract: The coupling of excitons with atomic vibrations plays a pivotal role on the nonequilibrium optical properties of layered semiconductors. However, addressing the dynamical interaction between excitons and phonons represents a hard task both experimentally and theoretically. By means of time-resolved broadband optical reflectivity combined with state-of-the-art ab-initio calculations of a bismuth triiodide single crystal, we unravel the universal spectral fingerprints of exciton--phonon coupling in layered semiconductors. Furthermore, we microscopically relate a photoinduced coherent energy modulation of the excitonic resonance to coherent optical phonons, thereby tracking the extent of the photoinduced atomic displacement in real-space. Our findings represent a step forward on the road to coherent manipulation of the excitonic properties on ultrafast timescales.


title: TEMPEST -- Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments

abstract: We present Tempest, a synthesis tool to automatically create correct-by-construction reactive systems and shields from qualitative or quantitative specifications in probabilistic environments. A shield is a special type of reactive system used for run-time enforcement; i.e., a shield enforces a given qualitative or quantitative specification of a running system while interfering with its operation as little as possible. Shields that enforce a qualitative or quantitative specification are called safety-shields or optimal-shields, respectively. Safety-shields can be implemented as pre-shields or as post-shields, optimal-shields are implemented as post-shields. Pre-shields are placed before the system and restrict the choices of the system. Post-shields are implemented after the system and are able to overwrite the system's output. Tempest is based on the probabilistic model checker Storm, adding model checking algorithms for stochastic games with safety and mean-payoff objectives. To the best of our knowledge, Tempest is the only synthesis tool able to solve 2-1/2-player games with mean-payoff objectives without restrictions on the state space. Furthermore, Tempest adds the functionality to synthesize safe and optimal strategies that implement reactive systems and shields


title: Compressed Sensing Measurement of Long-Range Correlated Noise

abstract: Long-range correlated errors can severely impact the performance of NISQ (noisy intermediate-scale quantum) devices, and fault-tolerant quantum computation. Characterizing these errors is important for improving the performance of these devices, via calibration and error correction, and to ensure correct interpretation of the results. We propose a compressed sensing method for detecting two-qubit correlated dephasing errors, assuming only that the correlations are sparse (i.e., at most s pairs of qubits have correlated errors, where s << n(n-1)/2, and n is the total number of qubits). In particular, our method can detect long-range correlations between any two qubits in the system (i.e., the correlations are not restricted to be geometrically local). Our method is highly scalable: it requires as few as m = O(s log n) measurement settings, and efficient classical postprocessing based on convex optimization. In addition, when m = O(s log^4(n)), our method is highly robust to noise, and has sample complexity O(max(n,s)^2 log^4(n)), which can be compared to conventional methods that have sample complexity O(n^3). Thus, our method is advantageous when the correlations are sufficiently sparse, that is, when s < O(n^(3/2) / log^2(n)). Our method also performs well in numerical simulations on small system sizes, and has some resistance to state-preparation-and-measurement (SPAM) errors. The key ingredient in our method is a new type of compressed sensing measurement, which works by preparing entangled Greenberger-Horne-Zeilinger states (GHZ states) on random subsets of qubits, and measuring their decay rates with high precision.


title: On convergence of intrinsic volumes of Riemannian manifolds

abstract: In 1939 H. Weyl has introduced the so called intrinsic volumes $V_i(M^n), i=0,\dots,n$, (known also as Lipschitz-Killing curvatures) for any closed smooth Riemannian manifold $M^n$. Given a Riemmanian submersion of compact smooth Riemannian manifolds $M\to B$, $B$ is connected. For $\varepsilon >0$ let us define a new Riemannian metric on $M$ by multiplying the original one by $\varepsilon$ along the vertical directions and keeping it the same along the (orthogonal) horizontal directions. Denote the corresponding Riemannian manifold by $M_\varepsilon$. The main result says that $\lim_{\varepsilon\to +0} V_i(M_\varepsilon)=\chi(Z) V_i(B)$, where $\chi(Z)$ is the Euler characteristic of a fiber of the submersion. This result is consistent with more general open conjectures on convergence of intrinsic volumes formulated previously by the author.


title: Pseudocoherent and Perfect Complexes and Vector Bundles on Analytic Adic Spaces

abstract: Using the new approach to analytic geometry developed by Clausen and Scholze by means of condensed mathematics, we prove that for every affinoid analytic adic space $X$, pseudocoherent complexes, perfect complexes, and finite projective modules over $\mathcal{O}_X(X)$ form a stack with respect to the analytic topology on $X$; in particular, we prove that the category of vector bundles on $X$ is equivalent to the category of finite projective modules over $\mathcal{O}_X(X)$. To that end, we construct a fully faithful functor from the category of complete Huber pairs to the category of analytic rings in the sense of Clausen and Scholze and study its basic properties. Specifically, we give an explicit description of the functor of measures of the analytic ring associated to a complete Huber pair. We also introduce, following the ideas of Kedlaya-Liu, notions of \textit{pseudocoherent module} and \textit{pseudocoherent sheaf} in the context of adic spaces (where the latter can be regarded as an analogue of the notion of coherent sheaf in algebraic geometry) and show that there is a similar equivalence of the corresponding categories.


title: Perspective -- On the thermodynamics of perfect unconditional security

abstract: A secure key distribution (exchange) scheme is unconditionally secure if it is unbreakable against arbitrary technological improvements of computing power and/or any development of new algorithms. There are only two families of experimentally realized and tested unconditionally secure key distribution technologies: Quantum Key Distribution (QKD), the base of quantum cryptography, which utilizes quantum physical photonic features; and the Kirchhoff-Law-Johnson-Noise (KLJN) system that is based on classical statistical physics (fluctuation-dissipation theorem). The focus topic of this paper is the thermodynamical situation of the KLJN system. In all the original works, the proposed KLJN schemes required thermal equilibrium between the devices of the communicating parties to achieve perfect security. However, Vadai, et al, in (Nature) Science Reports 5 (2015) 13653 shows a modified scheme, where there is a non-zero thermal noise energy flow between the parties, yet the system seems to resist all the known attack types. We introduce a new attack type against their system. The new attack utilizes coincidence events between the line current and voltages. We show that there is non-zero information leak toward the Eavesdropper, even under idealized conditions. As soon as the thermal equilibrium is restored, the system becomes perfectly secure again. In conclusion, perfect unconditional security requires thermal equilibrium.


title: Exponential Formulas, Normal Ordering and the Weyl-Heisenberg Algebra

abstract: We consider a class of exponentials in the Weyl-Heisenberg algebra with exponents of type at most linear in coordinates and arbitrary functions of momenta. They are expressed in terms of normal ordering where coordinates stand to the left from momenta. Exponents appearing in normal ordered form satisfy differential equations with boundary conditions that could be solved perturbatively order by order. Two propositions are presented for the Weyl-Heisenberg algebra in 2 dimensions and their generalizations in higher dimensions. These results can be applied to arbitrary noncommutative spaces for construction of star products, coproducts of momenta and twist operators. They can also be related to the BCH formula.


title: Averaging over moduli in deformed WZW models

abstract: WZW models live on a moduli space parameterized by current-current deformations. The moduli space defines an ensemble of conformal field theories, which generically have $N$ abelian conserved currents and central charge $c > N$. We calculate the average partition function and show that it can be interpreted as a sum over 3-manifolds. This suggests that the ensemble-averaged theory has a holographic dual, generalizing recent results on Narain CFTs. The bulk theory, at the perturbative level, is identified as $U(1)^{2N}$ Chern-Simons theory coupled to additional matter fields. From a mathematical perspective, our principal result is a Siegel-Weil formula for the characters of an affine Lie algebra.


title: Automated Repair of Unrealisable LTL Specifications Guided by Model Counting

abstract: The reactive synthesis problem consists of automatically producing correct-by-construction operational models of systems from high-level formal specifications of their behaviours. However, specifications are often unrealisable, meaning that no system can be synthesised from the specification. To deal with this problem, we present AuRUS, a search-based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications. AuRUS aims at generating solutions that are similar to the original specifications by using the notions of syntactic and semantic similarities. Intuitively, the syntactic similarity measures the text similarity between the specifications, while the semantic similarity measures the number of behaviours preserved/removed by the candidate repair. We propose a new heuristic based on model counting to approximate semantic similarity. We empirically assess AuRUS on many unrealisable specifications taken from different benchmarks and show that it can successfully repair all of them. Also, compared to related techniques, AuRUS can produce many unique solutions while showing more scalability.


title: Global existence of solutions to Keller-Segel chemotaxis system with heterogeneous logistic source and nonlinear secretion

abstract: We study the following Keller-Segel chemotaxis system with logistic source and nonlinear secretion: \begin{align*} u_t=\Delta u- \nabla\cdot(u\nabla v)+\kappa(|x|)u-\mu(|x|)u^p\quad\text{and}\quad 0=\Delta v-v+u^\gamma, \end{align*} where $\kappa(\cdot),~\mu(\cdot):[0,R]\rightarrow [0,\infty)$, $\gamma\in (1,\infty)$, $p\in(\gamma+1,\infty)$ and $\Omega \subset \mathbb{R}^n, n\geq 2$. For this system, we prove the global existence of solutions under suitable assumptions on the initial condition and the functions $\kappa(\cdot)$ and $\mu(\cdot).$


title: Distributed Zeroth-Order Stochastic Optimization in Time-varying Networks

abstract: We consider a distributed convex optimization problem in a network which is time-varying and not always strongly connected. The local cost function of each node is affected by some stochastic process. All nodes of the network collaborate to minimize the average of their local cost functions. The major challenge of our work is that the gradient of cost functions is supposed to be unavailable and has to be estimated only based on the numerical observation of cost functions. Such problem is known as zeroth-order stochastic convex optimization (ZOSCO). In this paper we take a first step towards the distributed optimization problem with a ZOSCO setting. The proposed algorithm contains two basic steps at each iteration: i) each unit updates a local variable according to a random perturbation based single point gradient estimator of its own local cost function; ii) each unit exchange its local variable with its direct neighbors and then perform a weighted average. In the situation where the cost function is smooth and strongly convex, our attainable optimization error is $O(T^{-1/2})$ after $T$ iterations. This result is interesting as $O(T^{-1/2})$ is the optimal convergence rate in the ZOSCO problem. We have also investigate the optimization error with the general Lipschitz convex function, the result is $O(T^{-1/4})$.


title: Local, global and scale-dependent node roles

abstract: This paper re-examines the concept of node equivalences like structural equivalence or automorphic equivalence, which have originally emerged in social network analysis to characterize the role an actor plays within a social system, but have since then been of independent interest for graph-based learning tasks. Traditionally, such exact node equivalences have been defined either in terms of the one hop neighborhood of a node, or in terms of the global graph structure. Here we formalize exact node roles with a scale-parameter, describing up to what distance the ego network of a node should be considered when assigning node roles - motivated by the idea that there can be local roles of a node that should not be determined by nodes arbitrarily far away in the network. We present numerical experiments that show how already "shallow" roles of depth 3 or 4 carry sufficient information to perform node classification tasks with high accuracy. These findings corroborate the success of recent graph-learning approaches that compute approximate node roles in terms of embeddings, by nonlinearly aggregating node features in an (un)supervised manner over relatively small neighborhood sizes. Indeed, based on our ideas we can construct a shallow classifier achieving on par results with recent graph neural network architectures.


title: Spectral shape corrections for SDSS BOSS quasars

abstract: Modifications were made to the Sloan Digital Sky Survey's Baryonic Oscillations Spectroscopic Survey (SDSS/BOSS) optical fibres assigned to quasar targets in order to improve the signal-to-noise ratio in the Lyman-alpha forest. However, the penalty for these modifications is that quasars observed in this way require additional flux correction procedures in order to recover the correct spectral shapes. In this paper we describe such a procedure, based on the geometry of the problem and other observational parameters. Applying several correction methods to four SDSS quasars with multiple observations permits a detailed check on the relative performances of the different flux correction procedures. We contrast our method (which takes into account a wavelength dependent seeing profile) with the BOSS pipeline approach (which does not). Our results provide independent confirmation that the geometric approach employed in the SDSS pipeline works well, although with room for improvement. By separating the contributions from four effects we are able to quantify their relative importance. Most importantly, we demonstrate that wavelength dependence has a significant impact on the derived spectral shapes and thus should not be ignored.


title: Analysis of Selected Runaway Stars in the Orion Nebula Based on Data from the Gaia EDR3 Catalogue

abstract: We have performed Monte Carlo simulations of the trajectories of several runaway stars using their parallaxes and proper motions from the Gaia EDR3 catalogue. We have confirmed the hypothesis that the stars AE Aur and $\mu$Col are a product of the multiple system breakup $\sim$2.5 Myr ago and the Orion Trapezium may be the parent cluster for this pair of stars. We show that the data from the Gaia EDR3 catalogue for the star $\iota$Ori, mainly the parallax, do not allow us to talk about the breakup of the multiple system of AE Aur, $\mu$Col, and $\iota$Ori. The existence of close pair encounters between the stars HD 30112 and HD 43112 $\sim$1 Myr ago has been confirmed. Close triple encounters confirm the hypothesis that the stars HD 30112 and HD 43112 escaped from the parent cluster Col 69. We show that the stars HIP 28133 and TYC 5368-1541-1 have a nonzero probability of escape from the region within 10 pc of the center of the Orion Trapezium cluster and a fairly high probability (about 8\%) that they were both at distances less than 20 pc from the center of the Orion Trapezium $\sim$2.5 Myr ago. It has been established for the first time that the stars Gaia EDR3 3021115184676332288 and Gaia EDR3 2983790269606043648 have a probability of about 0.5\% that they broke up as a binary system $\sim$1.1 Myr ago. The star Gaia EDR3 3021115184676332288 has a probability of about 16\% that it escaped from the region within 10 pc of the center of the Orion Trapezium cluster $\sim$1 Myr ago.


title: Twisted quadratic foldings of root systems and liftings of Schubert classes

abstract: Given a finite crystallographic root system $\Phi$ whose Dynkin diagram has a non-trivial automorphism, it yields a new root system $\Phi_{\tau}$ by a so-called classical folding. On the other hand, Lusztig's folding (1983) folds the root system of type $E_8$ to $H_4$ starting from an automorphism of the root lattice of type $E_8.$ The notion of a twisted quadratic folding of a root system was introduced by Lanini-Zainoulline (2018) to describe both the classical foldings and Lusztig's folding on the same footing. The structure algebra $\mathcal{Z}(\mathcal{G})$ of the moment graph $\mathcal{G}$ associated with a finite root system and its reflection group $W$ is an algebra over a certain polynomial ring $\mathcal{S},$ whose underlying module is free with a distinguished basis $\{\sigma^{(w)} \mid w \in W\}$ called combinatorial Schubert classes. By Lanini-Zainoulline (2018), a twisted quadratic folding $\Phi \rightsquigarrow \Phi_{\tau}$ induces an embedding of the respective Coxeter groups $\varepsilon: W_{\tau} \hookrightarrow W$ and a ring homomorphism $\varepsilon^*: \mathcal{Z}(\mathcal{G}) \rightarrow \mathcal{Z}(\mathcal{G}_{\tau})$ between the corresponding structure algebras. This paper studies the $\varepsilon^*$-preimage of Schubert classes and provides a combinatorial criterion for a Schubert class $\sigma^{(u)}_{\tau}$ of $\mathcal{Z}(\mathcal{G}_{\tau})$ to admit a Schubert class $\sigma^{(w)}$ of $\mathcal{Z}(\mathcal{G})$ such that the relation $\varepsilon^*(\sigma^{(w)}) = c \cdot \sigma^{(u)}_{\tau}$ holds for some nonzero scalar $c.$


title: Identification of Two Regimes of Carrier Thermalization in PbS Nanocrystal Assemblies

abstract: We bring fresh insight into the ensemble properties of PbS colloidal quantum dots with a critical review of the literature on semiconductors followed by systematic comparisons between steady-state photocurrent and photoluminescence measurements. Our experiments, performed with sufficiently low powers to neglect nonlinear effects, indicate that the photoluminescence spectra have no other noticeable contribution beside the radiative recombination of thermalized photocarriers (i.e. photocarriers in thermodynamic quasi-equilibrium). A phenomenological model based on the local Kirchhoff law is proposed that makes it possible to identify the nature of the thermalized photocarriers and to extract their temperatures from the measurements. Two regimes are observed: for highly compact assemblies of PbS quantum dots stripped from organic ligands, the thermalization concerns photocarriers distributed over a wide energy range. With PbS quantum dots cross-linked with 1,2-ethanedithiol or longer organic ligand chains, the thermalization concerns solely the fundamental exciton and can quantitatively explain all the observations, including the precise Stokes shift between the absorbance and luminescence maxima.


title: Adaptive Monte Carlo augmented with normalizing flows

abstract: Many problems in the physical sciences, machine learning, and statistical inference necessitate sampling from a high-dimensional, multi-modal probability distribution. Markov Chain Monte Carlo (MCMC) algorithms, the ubiquitous tool for this task, typically rely on random local updates to propagate configurations of a given system in a way that ensures that generated configurations will be distributed according to a target probability distribution asymptotically. In high-dimensional settings with multiple relevant metastable basins, local approaches require either immense computational effort or intricately designed importance sampling strategies to capture information about, for example, the relative populations of such basins. Here we analyze an adaptive MCMC which augments MCMC sampling with nonlocal transition kernels parameterized with generative models known as normalizing flows. We focus on a setting where there is no preexisting data, as is commonly the case for problems in which MCMC is used. Our method uses: (i) a MCMC strategy that blends local moves obtained from any standard transition kernel with those from a generative model to accelerate the sampling and (ii) the data generated this way to adapt the generative model and improve its efficacy in the MCMC algorithm. We provide a theoretical analysis of the convergence properties of this algorithm, and investigate numerically its efficiency, in particular in terms of its propensity to equilibrate fast between metastable modes whose rough location is known \textit{a~priori} but respective probability weight is not. We show that our algorithm can sample effectively across large free energy barriers, providing dramatic accelerations relative to traditional MCMC algorithms.


title: Pro-\'etale uniformisation of abelian varieties

abstract: For an abelian variety $A$ over an algebraically closed non-archimedean field $K$ of residue characteristic $p$, we show that the isomorphism class of the pro-\'etale perfectoid cover $\widetilde A=\varprojlim_{[p]}A$ is locally constant as $A$ varies $p$-adically in the moduli space. This gives rise to a pro-\'etale uniformisation of abelian varieties as diamonds \[A^\diamond=\widetilde A/T_pA\] that works uniformly for all $A$ without any assumptions on the reduction of $A$. More generally, we determine all morphisms between pro-finite-\'etale covers of abeloid varieties. For example, over $\mathbb C_p$, all abeloids can be uniformised in terms of universal covers that only depend on the isogeny class of the semi-stable reduction over $\bar{\mathbb F}_p$.


title: Convergence of a Lagrangian discretization for barotropic fluids and porous media flow

abstract: When expressed in Lagrangian variables, the equations of motion for compressible (barotropic) fluids have the structure of a classical Hamiltonian system in which the potential energy is given by the internal energy of the fluid. The dissipative counterpart of such a system coincides with the porous medium equation, which can be cast in the form of a gradient flow for the same internal energy. Motivated by these related variational structures, we propose a particle method for both problems in which the internal energy is replaced by its Moreau-Yosida regularization in the L2 sense, which can be efficiently computed as a semi-discrete optimal transport problem. Using a modulated energy argument which exploits the convexity of the problem in Eulerian variables, we prove quantitative convergence estimates towards smooth solutions. We verify such estimates by means of several numerical tests.


title: Self-consistent density-based basis-set correction: How much do we lower total energies and improve dipole moments?

abstract: This work provides a self-consistent extension of the recently proposed density-based basis-set correction method for wave-function electronic-structure calculations [J. Chem. Phys. 149, 194301 (2018)]. In contrast to the previously used approximation where the basis-set correction density functional was a posteriori added to the energy from a wave-function calculation, here the energy minimization is performed including the basis-set correction. Compared to the non-self-consistent approximation, this allows one to lower the total energy and change the wave function under the effect of the basis-set correction. This work addresses two main questions: i) What is the change in total energy compared to the non-self-consistent approximation, and ii) can we obtain better properties, namely dipole moments, with the basis-set corrected wave functions? We implement the present formalism with two different basis-set correction functionals and test it on different molecular systems. The main results of the study are that i) the total energy lowering obtained by the self-consistent approach is extremely small, which justifies the use of the non-self-consistent approximation, and ii) the dipole moments obtained from the basis-set corrected wave functions are improved, being already close to their complete-basis-set values with triple-zeta basis sets. Thus, the present study further confirms the soundness of the density-based basis-set correction scheme.


title: Stability of Poincar{\'e} constant

abstract: We study stability of the sharp Poincar{\'e} constant of the invariant probability measure of a reversible diffusion process satisfying some natural conditions. The proof is based on the spectral interpretation of Poincar{\'e} inequalities and Stein's method. In particular, these results are applied to the gamma distributions and to strictly log-concave measures in dimension one, giving stability for Brascamp-Lieb inequalities.


title: Inferring power system dynamics from synchrophasor data using Gaussian processes

abstract: Synchrophasor data provide unprecedented opportunities for inferring power system dynamics, such as estimating voltage angles, frequencies, and accelerations along with power injection at all buses. Aligned to this goal, this work puts forth a novel framework for learning dynamics after small-signal disturbances by leveraging Gaussian processes (GPs). We extend results on learning of a linear time-invariant system using GPs to the multi-input multi-output setup. This is accomplished by decomposing power system swing dynamics into a set of single-input single-output linear systems with narrow frequency pass bands. The proposed learning technique captures time derivatives in continuous time, accommodates data streams sampled at different rates, and can cope with missing data and heterogeneous levels of accuracy. While Kalman filter-based approaches require knowing all system inputs, the proposed framework handles readings of system inputs, outputs, their derivatives, and combinations thereof collected from an arbitrary subset of buses. Relying on minimal system information, it further provides uncertainty quantification in addition to point estimates of system dynamics. Numerical tests verify that this technique can infer dynamics at non-metered buses, impute and predict synchrophasors, and locate faults under linear and non-linear system models under ambient and fault disturbances.


title: Does the multiresolution lattice Boltzmann method allow to deal with waves passing through mesh jumps?

abstract: We consider an adaptive multiresolution-based lattice Boltzmann scheme, which we have recently introduced and studied from the perspective of the error control and the theory of the equivalent equations. This numerical strategy leads to high compression rates, error control and its high accuracy has been explained on uniform and dynamically adaptive grids. However, one key issue with non-uniform meshes within the framework of lattice Boltzmann schemes is to properly handle acoustic waves passing through a level jump of the grid. It usually yields spurious effects, in particular reflected waves. In this paper, we propose a simple mono-dimensional test-case for the linear wave equation with a fixed adapted mesh characterized by a potentially large level jump. We investigate this configuration with our original strategy and prove that we can handle and control the amplitude of the reflected wave, which is of fourth order in the space step of the finest mesh. Numerical illustrations show that the proposed strategy outperforms the existing methods in the literature and allow to assess the ability of the method to handle the mesh jump properly.


title: POD: A Smartphone That Flies

abstract: We present POD, a smartphone that flies, as a new way to achieve hands-free, eyes-up mobile computing. Unlike existing drone-carried user interfaces, POD features a smartphone-sized display and the computing and sensing power of a modern smartphone. We share our experience in building a prototype of POD, discuss the technical challenges facing it, and describe early results toward addressing them.


title: Monostable pulled fronts and logarithmic drifts

abstract: In this work we investigate the issue of logarithmic drifts in the position of the level sets of solutions of monostable reaction-diusion equations, with respect to the traveling front with minimal speed. On the one hand, it is a celebrated result of Bramson that such a logarithmic drift occurs when the reaction is of the KPP (or sublinear) type. On the other hand, it is also known that this drift phenomenon disappears when the minimal front speed is nonlinearly determined. However, some monostable reaction-diusion equations fall in neither of those cases and our aim is to fill that gap. We prove that a logarithmic drift always occurs when the speed is linearly determined, but surprisingly we find that the factor in front of the logarithmic term may be different from the KPP case.