title: OpenDust: A fast GPU-accelerated code for calculation forces, acting on microparticles in a plasma flow

abstract: We present the first open-source, GPU-based code for complex plasmas. The code, OpenDust, aims to provide researchers both experimenters and theorists user-friendly and high-performance tool for self-consistent calculation forces, acting on microparticles, and microparticles' charges in a plasma flow. OpenDust performance originates from highly-optimized Cuda back-end and allows to perform self-consistent calculation of plasma flow around microparticles in seconds. This code outperforms all available codes for self-consistent complex plasma simulation. Moreover, OpenDust can also be used for simulation of larger systems of dust microparticles, that was unavailable before. OpenDust interface is written in Python, which provides ease-of-use and simple installation from Conda repository.


title: Balanced Allocations: The Heavily Loaded Case with Deletions

abstract: In the 2-choice allocation problem, $m$ balls are placed into $n$ bins, and each ball must choose between two random bins $i, j \in [n]$ that it has been assigned to. It has been known for more than two decades, that if each ball follows the Greedy strategy (i.e., always pick the less-full bin), then the maximum load will be $m/n + O(\log \log n)$ with high probability in $n$ (and $m / n + O(\log m)$ with high probability in $m$). It has remained open whether the same bounds hold in the dynamic version of the same game, where balls are inserted/deleted with up to $m$ balls present at a time. We show that these bounds do not hold in the dynamic setting: already on $4$ bins, there exists a sequence of insertions/deletions that cause {Greedy} to incur a maximum load of $m/4 + \Omega(\sqrt{m})$ with probability $\Omega(1)$ -- this is the same bound as if each ball is simply assigned to a random bin! This raises the question of whether any 2-choice allocation strategy can offer a strong bound in the dynamic setting. Our second result answers this question in the affirmative: we present a new strategy, called ModulatedGreedy, that guarantees a maximum load of $m / n + O(\log m)$, at any given moment, with high probability in $m$. Generalizing ModulatedGreedy, we obtain dynamic guarantees for the $(1 + \beta)$-choice setting, and for the setting of balls-and-bins on a graph. Finally, we consider a setting in which balls can be reinserted after they are deleted, and where the pair $i, j$ that a given ball uses is consistent across insertions. This seemingly small modification renders tight load balancing impossible: on 4 bins, any strategy that is oblivious to the specific identities of balls must allow for a maximum load of $m/4 + poly(m)$ at some point in the first $poly(m)$ insertions/deletions, with high probability in $m$.


title: From octonions to composition superalgebras via tensor categories

abstract: The nontrivial unital composition superalgebras, of dimension 3 and 6, which exist only in characteristic 3, are obtained from the split Cayley algebra and its order 3 automorphisms, by means of the process of semisimplification of the symmetric tensor category of representations of the cyclic group of order 3. Connections with the extended Freudenthal Magic Square in characteristic 3, that contains some exceptional Lie superalgebras specific of this characteristic are discussed too. In the process, precise recipes to go from (nonassociative) algebras in this tensor category to the corresponding superalgebras are given.


title: Kronecker Decomposition for Knowledge Graph Embeddings

abstract: Knowledge graph embedding research has mainly focused on learning continuous representations of entities and relations tailored towards the link prediction problem. Recent results indicate an ever increasing predictive ability of current approaches on benchmark datasets. However, this effectiveness often comes with the cost of over-parameterization and increased computationally complexity. The former induces extensive hyperparameter optimization to mitigate malicious overfitting. The latter magnifies the importance of winning the hardware lottery. Here, we investigate a remedy for the first problem. We propose a technique based on Kronecker decomposition to reduce the number of parameters in a knowledge graph embedding model, while retaining its expressiveness. Through Kronecker decomposition, large embedding matrices are split into smaller embedding matrices during the training process. Hence, embeddings of knowledge graphs are not plainly retrieved but reconstructed on the fly. The decomposition ensures that elementwise interactions between three embedding vectors are extended with interactions within each embedding vector. This implicitly reduces redundancy in embedding vectors and encourages feature reuse. To quantify the impact of applying Kronecker decomposition on embedding matrices, we conduct a series of experiments on benchmark datasets. Our experiments suggest that applying Kronecker decomposition on embedding matrices leads to an improved parameter efficiency on all benchmark datasets. Moreover, empirical evidence suggests that reconstructed embeddings entail robustness against noise in the input knowledge graph. To foster reproducible research, we provide an open-source implementation of our approach, including training and evaluation scripts as well as pre-trained models in our knowledge graph embedding framework (https://github.com/dice-group/dice-embeddings).


title: Cosmological Constant and Vacuum Zero Point Energy in Black Hole Backgrounds

abstract: We study the quantum vacuum zero point energy in the Schwarzschild black hole as well as in the Nariai limit of the dS-Schwarzschild backgrounds. We show that the regularized vacuum energy density near the black hole and also in the Nariai setup match exactly with the corresponding value in the flat background, scaling with the fourth power of the mass of the quantum field. The horizon radius of the dS space created from the vacuum zero point energy introduces a new length scale which should be compared with the black hole horizon radius. There is an upper limiting mass for the black hole immersed in the vacuum zero point energy which is determined by the mass of the Nariai metric associated to the dS background constructed from zero point energy. We calculate the variance in the distribution of the vacuum zero point energy and the density contrast and show that it develops strong inhomogeneities on sub-horizon scales.


title: A graph-based probabilistic geometric deep learning framework with online enforcement of physical constraints to predict the criticality of defects in porous materials

abstract: Stress prediction in porous materials and structures is challenging due to the high computational cost associated with direct numerical simulations. Convolutional Neural Network (CNN) based architectures have recently been proposed as surrogates to approximate and extrapolate the solution of such multiscale simulations. These methodologies are usually limited to 2D problems due to the high computational cost of 3D voxel based CNNs. We propose a novel geometric learning approach based on a Graph Neural Network (GNN) that efficiently deals with three-dimensional problems by performing convolutions over 2D surfaces only. Following our previous developments using pixel-based CNN, we train the GNN to automatically add local fine-scale stress corrections to an inexpensively computed coarse stress prediction in the porous structure of interest. Our method is Bayesian and generates densities of stress fields, from which credible intervals may be extracted. As a second scientific contribution, we propose to improve the extrapolation ability of our network by deploying a strategy of online physics-based corrections. Specifically, we condition the posterior predictions of our probabilistic predictions to satisfy partial equilibrium at the microscale, at the inference stage. This is done using an Ensemble Kalman algorithm, to ensure tractability of the Bayesian conditioning operation. We show that this innovative methodology allows us to alleviate the effect of undesirable biases observed in the outputs of the uncorrected GNN, and improves the accuracy of the predictions in general.


title: Isotropic orbital magnetic moments in magnetically anisotropic SrRuO3 films

abstract: Epitaxially strained SrRuO3 films have been a model system for understanding the magnetic anisotropy in metallic oxides. In this paper, we investigate the anisotropy of the Ru 4d and O 2p electronic structure and magnetic properties using high-quality epitaxially strained (compressive and tensile) SrRuO3 films grown by machine-learning-assisted molecular beam epitaxy. The element-specific magnetic properties and the hybridization between the Ru 4d and O 2p orbitals were characterized by Ru M2,3-edge and O K-edge soft X-ray absorption spectroscopy and X-ray magnetic circular dichroism measurements. The magnetization curves for the Ru 4d and O 2p magnetic moments are identical, irrespective of the strain type, indicating the strong magnetic coupling between the Ru and O ions. The electronic structure and the orbital magnetic moment relative to the spin magnetic moment are isotropic despite the perpendicular and in-plane magnetic anisotropy in the compressive-strained and tensile-strained SrRuO3 films; i.e., the orbital magnetic moments have a negligibly small contribution to the magnetic anisotropy. This result contradicts Bruno model, where magnetic anisotropy arises from the difference in the orbital magnetic moment between the perpendicular and in-plane directions. Contributions of strain-induced electric quadrupole moments to the magnetic anisotropy are discussed, too.


title: An Ethical Black Box for Social Robots: a draft Open Standard

abstract: This paper introduces a draft open standard for the robot equivalent of an aircraft flight data recorder, which we call an ethical black box. This is a device, or software module, capable of securely recording operational data (sensor, actuator and control decisions) for a social robot, in order to support the investigation of accidents or near-miss incidents. The open standard, presented as an annex to this paper, is offered as a first draft for discussion within the robot ethics community. Our intention is to publish further drafts following feedback, in the hope that the standard will become a useful reference for social robot designers, operators and robot accident/incident investigators.


title: Random cluster model on regular graphs

abstract: For a graph $G=(V,E)$ with $v(G)$ vertices the partition function of the random cluster model is defined by $$Z_G(q,w)=\sum_{A\subseteq E(G)}q^{k(A)}w^{|A|},$$ where $k(A)$ denotes the number of connected components of the graph $(V,A)$. Furthermore, let $g(G)$ denote the girth of the graph $G$, that is, the length of the shortest cycle. In this paper we show that if $(G_n)_n$ is a sequence of $d$-regular graphs such that the girth $g(G_n)\to \infty$, then the limit $$\lim_{n\to \infty} \frac{1}{v(G_n)}\ln Z_{G_n}(q,w)=\ln \Phi_{d,q,w}$$ exists if $q\geq 2$ and $w\geq 0$. The quantity $\Phi_{d,q,w}$ can be computed as follows. Let $$\Phi_{d,q,w}(t):=\left(\sqrt{1+\frac{w}{q}}\cos(t)+\sqrt{\frac{(q-1)w}{q}}\sin(t)\right)^{d}+(q-1)\left(\sqrt{1+\frac{w}{q}}\cos(t)-\sqrt{\frac{w}{q(q-1)}}\sin(t)\right)^{d},$$ then $$\Phi_{d,q,w}:=\max_{t\in [-\pi,\pi]}\Phi_{d,q,w}(t),$$ The same conclusion holds true for a sequence of random $d$-regular graphs with probability one. Our result extends the work of Dembo, Montanari, Sly and Sun for the Potts model (integer $q$), and we prove a conjecture of Helmuth, Jenssen and Perkins about the phase transition of the random cluster model with fixed $q$.


title: Statistics of diffusive encounters with a small target: Three complementary approaches

abstract: Diffusive search for a static target is a common problem in statistical physics with numerous applications in chemistry and biology. We look at this problem from a different perspective and investigate the statistics of encounters between the diffusing particle and the target. While an exact solution of this problem was recently derived in the form of a spectral expansion over the eigenbasis of the Dirichlet-to-Neumann operator, the latter is generally difficult to access for an arbitrary target. In this paper, we present three complementary approaches to approximate the probability density of the rescaled number of encounters with a small target in a bounded confining domain. In particular, we derive a simple fully explicit approximation, which depends only on a few geometric characteristics such as the surface area and the harmonic capacity of the target, and the volume of the confining domain. We discuss the advantages and limitations of three approaches and check their accuracy. We also deduce an explicit approximation for the distribution of the first-crossing time, at which the number of encounters exceeds a prescribed threshold. Its relations to common first-passage time problems are discussed.


title: Millimeter-Wave Automotive Radar Spoofing

abstract: Millimeter-wave radar systems are one of the core components of the safety-critical Advanced Driver Assistant System (ADAS) of a modern vehicle. Due to their ability to operate efficiently despite bad weather conditions and poor visibility, they are often the only reliable sensor a car has to detect and evaluate potential dangers in the surrounding environment. In this paper, we propose several attacks against automotive radars for the purposes of assessing their reliability in real-world scenarios. Using COTS hardware, we are able to successfully interfere with automotive-grade FMCW radars operating in the commonly used 77GHz frequency band, deployed in real-world, truly wireless environments. Our strongest type of interference is able to trick the victim into detecting virtual (moving) objects. We also extend this attack with a novel method that leverages noise to remove real-world objects, thus complementing the aforementioned object spoofing attack. We evaluate the viability of our attacks in two ways. First, we establish a baseline by implementing and evaluating an unrealistically powerful adversary which requires synchronization to the victim in a limited setup that uses wire-based chirp synchronization. Later, we implement, for the first time, a truly wireless attack that evaluates a weaker but realistic adversary which is non-synchronized and does not require any adjustment feedback from the victim. Finally, we provide theoretical fundamentals for our findings, and discuss the efficiency of potential countermeasures against the proposed attacks. We plan to release our software as open-source.


title: Self-Supervised Masking for Unsupervised Anomaly Detection and Localization

abstract: Recently, anomaly detection and localization in multimedia data have received significant attention among the machine learning community. In real-world applications such as medical diagnosis and industrial defect detection, anomalies only present in a fraction of the images. To extend the reconstruction-based anomaly detection architecture to the localized anomalies, we propose a self-supervised learning approach through random masking and then restoring, named Self-Supervised Masking (SSM) for unsupervised anomaly detection and localization. SSM not only enhances the training of the inpainting network but also leads to great improvement in the efficiency of mask prediction at inference. Through random masking, each image is augmented into a diverse set of training triplets, thus enabling the autoencoder to learn to reconstruct with masks of various sizes and shapes during training. To improve the efficiency and effectiveness of anomaly detection and localization at inference, we propose a novel progressive mask refinement approach that progressively uncovers the normal regions and finally locates the anomalous regions. The proposed SSM method outperforms several state-of-the-arts for both anomaly detection and anomaly localization, achieving 98.3% AUC on Retinal-OCT and 93.9% AUC on MVTec AD, respectively.


title: The Morphology of the HD 163296 jet as a window on its planetary system

abstract: HD163296 is a Herbig Ae star which drives a bipolar knotty jet with a total length of ~6000au. Strong evidence exists that the disk of HD163296 harbors planets. Studies have shown that the presence of companions around jet-driving stars could affect the morphology of the jets. This includes a `wiggling' of the jet axis and a periodicity in the positions of the jet knots. In this study we investigate the morphology (including the jet width and axis position) and proper motions of the HD163296 jets, and use our results to better understand the whole system.This study is based on optical integral-field spectroscopy observations obtained with VLT/MUSE in 2017. Using spectro-images and position velocity diagrams extracted from the MUSE data cube, we investigated the number and positions of the jet knots. A comparison was made to X-Shooter data collected in 2012 and the knot proper motions were estimated. The jet width and jet axis position with distance from the star were studied from the extracted spectro-images. We observe the merging of knots and identify two previously undetected knots. Measurements of the jet axis position reveal a similar pattern of deviation in all forbidden emission lines along the first 20 arc seconds of the jets. This result is interpreted as being due to asymmetric shocks and not due to a wiggling of the jet axis. The number of new knots detected and their positions challenge the 16-year knot ejection periodicity proposed in prior studies, arguing for a more complicated jet system than was previously assumed. We use the non-detection of a jet axis wiggling to rule out companions with a mass $>$0.1~\Msun\ and orbits between 1~au and 35~au. Any object inferred at these distances using other methods must be a brown dwarf or planet, otherwise it would have impacted the jet axis position. Both the precession and orbital motion scenarios are considered.


title: Convergence of Deep Neural Networks with General Activation Functions and Pooling

abstract: Deep neural networks, as a powerful system to represent high dimensional complex functions, play a key role in deep learning. Convergence of deep neural networks is a fundamental issue in building the mathematical foundation for deep learning. We investigated the convergence of deep ReLU networks and deep convolutional neural networks in two recent researches (arXiv:2107.12530, 2109.13542). Only the Rectified Linear Unit (ReLU) activation was studied therein, and the important pooling strategy was not considered. In this current work, we study the convergence of deep neural networks as the depth tends to infinity for two other important activation functions: the leaky ReLU and the sigmoid function. Pooling will also be studied. As a result, we prove that the sufficient condition established in arXiv:2107.12530, 2109.13542 is still sufficient for the leaky ReLU networks. For contractive activation functions such as the sigmoid function, we establish a weaker sufficient condition for uniform convergence of deep neural networks.


title: Convergence Analysis of Deep Residual Networks

abstract: Various powerful deep neural network architectures have made great contribution to the exciting successes of deep learning in the past two decades. Among them, deep Residual Networks (ResNets) are of particular importance because they demonstrated great usefulness in computer vision by winning the first place in many deep learning competitions. Also, ResNets were the first class of neural networks in the development history of deep learning that are really deep. It is of mathematical interest and practical meaning to understand the convergence of deep ResNets. We aim at characterizing the convergence of deep ResNets as the depth tends to infinity in terms of the parameters of the networks. Toward this purpose, we first give a matrix-vector description of general deep neural networks with shortcut connections and formulate an explicit expression for the networks by using the notions of activation domains and activation matrices. The convergence is then reduced to the convergence of two series involving infinite products of non-square matrices. By studying the two series, we establish a sufficient condition for pointwise convergence of ResNets. Our result is able to give justification for the design of ResNets. We also conduct experiments on benchmark machine learning data to verify our results.


title: Dynamic Stochastic Inventory Management in E-Grocery Retailing

abstract: E-grocery retailing enables ordering products online to be delivered at a future time slot chosen by the customer. This emerging field of business provides retailers with large and comprehensive new data sets, yet creates several challenges for the inventory management process. For example, the risk of a single item's stock-out leading to a complete cancellation of the shopping process is higher in e-grocery than in traditional store retailing. As a consequence, retailers aim at very high service level targets to provide satisfactory customer service and to ensure long-term business growth. When determining replenishment order quantities, it is of crucial importance to precisely account for the full uncertainty in the inventory process. This requires predictive and prescriptive analytics to (1) estimate suitable underlying probability distributions to represent the uncertainty caused by non-stationary customer demand, shelf lives, and supply, and to (2) integrate those forecasts into a comprehensive multi-period optimisation framework. In this paper, we model this stochastic dynamic problem by a sequential decision process that allows us to avoid simplifying assumptions commonly made in the literature, such as the focus on a single demand period. As the resulting problem will typically be analytically intractable, we propose a stochastic lookahead policy incorporating Monte Carlo techniques to fully propagate the associated uncertainties in order to derive replenishment order quantities. This policy naturally integrates probabilistic forecasts and allows us to explicitly derive the value of accounting for probabilistic information compared to myopic or deterministic approaches in a simulation-based setting. In addition, we evaluate our policy in a case study based on real-world data where underlying probability distributions are estimated from historical data and explanatory variables.


title: Knowledge Graph Question Answering Datasets and Their Generalizability: Are They Enough for Future Research?

abstract: Existing approaches on Question Answering over Knowledge Graphs (KGQA) have weak generalizability. That is often due to the standard i.i.d. assumption on the underlying dataset. Recently, three levels of generalization for KGQA were defined, namely i.i.d., compositional, zero-shot. We analyze 25 well-known KGQA datasets for 5 different Knowledge Graphs (KGs). We show that according to this definition many existing and online available KGQA datasets are either not suited to train a generalizable KGQA system or that the datasets are based on discontinued and out-dated KGs. Generating new datasets is a costly process and, thus, is not an alternative to smaller research groups and companies. In this work, we propose a mitigation method for re-splitting available KGQA datasets to enable their applicability to evaluate generalization, without any cost and manual effort. We test our hypothesis on three KGQA datasets, i.e., LC-QuAD, LC-QuAD 2.0 and QALD-9). Experiments on re-splitted KGQA datasets demonstrate its effectiveness towards generalizability. The code and a unified way to access 18 available datasets is online at https://github.com/semantic-systems/KGQA-datasets as well as https://github.com/semantic-systems/KGQA-datasets-generalization.


title: Goldstone states as non-local hidden variables

abstract: We consider the theory of spinor fields in polar form where the spinorial true degrees of freedom are isolated from their Goldstone states, and we show that these carry information about the frames which is not related to gravitation so that their propagation is not restricted to be either causal or local: we use them to build a model of entangled spins where a singlet possesses a uniform rotation that can be made to collapse for both states simultaneously regardless their spatial distance. Models of entangled polarizations with similar properties are also sketched. An analogy with the double-slit experiment is also presented. General comments on features of Goldstone states are given.


title: Experimental and numerical investigation of bubble migration in shear flow: deformability-driven chaining and repulsion

abstract: We study the interaction-induced migration of bubbles in shear flow and observe that bubbles suspended in elastoviscoplastic emulsions organise into chains aligned in the flow direction, similarly to particles in viscoelastic fluids. To investigate the driving mechanism, we perform experiments and simulations on bubble pairs, using suspending fluids with different rheological properties. First, we notice that, for all fluids, the interaction type depends on the relative position of the bubbles. If they are aligned in the vorticity direction, they repel, if not, they attract each other. The simulations show a similar behavior in Newtonian fluids as in viscoelastic and elastoviscoplastic fluids, as long as the capillary number is sufficiently large. This shows that the interaction-related migration of the bubbles is strongly affected by the bubble deformation. We suggest that the cause of migration is the interaction between the heterogeneous pressure fields around the deformed bubbles, due to capillary pressure.


title: Distribution-Aware Graph Representation Learning for Transient Stability Assessment of Power System

abstract: The real-time transient stability assessment (TSA) plays a critical role in the secure operation of the power system. Although the classic numerical integration method, \textit{i.e.} time-domain simulation (TDS), has been widely used in industry practice, it is inevitably trapped in a high computational complexity due to the high latitude sophistication of the power system. In this work, a data-driven power system estimation method is proposed to quickly predict the stability of the power system before TDS reaches the end of simulating time windows, which can reduce the average simulation time of stability assessment without loss of accuracy. As the topology of the power system is in the form of graph structure, graph neural network based representation learning is naturally suitable for learning the status of the power system. Motivated by observing the distribution information of crucial active power and reactive power on the power system's bus nodes, we thus propose a distribution-aware learning~(DAL) module to explore an informative graph representation vector for describing the status of a power system. Then, TSA is re-defined as a binary classification task, and the stability of the system is determined directly from the resulting graph representation without numerical integration. Finally, we apply our method to the online TSA task. The case studies on the IEEE 39-bus system and Polish 2383-bus system demonstrate the effectiveness of our proposed method.


title: Eigenmode analysis of perurbations in the primordial medium at and before recombination

abstract: Anisotropies of the cosmic microwave background are thought to be due to perturbations of the primordial medium, which, post recombination, lead to the formation of galaxy clusters and galaxies. Aims: We analyse the perturbation wave modes of the primordial medium at and before recombination, consisting of a fully ionized baryonic plasma, a strong black body radiation field, and cold dark matter. Methods: We use the linear perturbation theory of the relativistic equations of motion, utilising a strict thermodynamic equilibrium model that relates the radiation energy density to the plasma temperature. Results: It is shown that a wave mode corresponding to the postulated baryon acoustic waves exists with a phase velocity close to the speed of light, but the participation of the dark matter in this mode is very small. Instead, the dark matter has its own dominant mode in the form of gravitational collapse, with very little participation by the baryonic plasma. Conclusions: In view of this very weak coupling between baryons and dark matter, the initial conditions postulated for computer simulations of large-scale structure and galaxy formation, which assume that after recombination, when galaxy formation is getting underway, baryon and dark matter density perturbations are spatially coincident in terms of fractional amplitude, may be unjustified. In addition the possible non-coincidence of baryon and dark matter perturbations at the last scattering surface has implications for the analysis of cosmic microwave background anisotropies.


title: Football Group Draw Probabilities and Corrections

abstract: This paper considers the challenge of designing football group draw mechanisms which have the uniform distribution over all valid draw assignments, but are also entertaining, practical, and transparent. We explain how to simulate the FIFA Sequential Draw method, to compute the non-uniformity of its draws by comparison to a uniform Rejection Sampler. We then propose two practical methods of achieving the uniform distribution while still using balls and bowls in a way which is suitable for a televised draw. The solutions can also be tried interactively.


title: Fast scanning nitrogen-vacancy magnetometry by spectrum demodulation

abstract: We demonstrate a spectrum demodulation technique for greatly speeding up the data acquisition rate in scanning nitrogen-vacancy center magnetometry. Our method relies on a periodic excitation of the electron spin resonance by fast, wide-band frequency sweeps combined with a phase-locked detection of the photo-luminescence signal. The method can be extended by a frequency feedback to realize real-time tracking of the spin resonance. Fast scanning magnetometry is especially useful for samples where the signal dynamic range is large, of order millitesla, like for ferro- or ferrimagnets. We demonstrate our method by mapping stray fields above the model antiferromagnet $\alpha$-Fe$_2$O$_3$ (hematite) at pixel rates of up to 100\,Hz and an image resolution exceeding one megapixel.


title: Detecting Rumours with Latency Guarantees using Massive Streaming Data

abstract: Today's social networks continuously generate massive streams of data, which provide a valuable starting point for the detection of rumours as soon as they start to propagate. However, rumour detection faces tight latency bounds, which cannot be met by contemporary algorithms, given the sheer volume of high-velocity streaming data emitted by social networks. Hence, in this paper, we argue for best-effort rumour detection that detects most rumours quickly rather than all rumours with a high delay. To this end, we combine techniques for efficient, graph-based matching of rumour patterns with effective load shedding that discards some of the input data while minimising the loss in accuracy. Experiments with large-scale real-world datasets illustrate the robustness of our approach in terms of runtime performance and detection accuracy under diverse streaming conditions.


title: Numerical analysis of beam self-cleaning in multimode fiber amplifiers

abstract: Recent experimental results have reported the observation of beam self-cleaning or, more generally, nonlinear beam reshaping in active multimode fibers. In this work we present a numerical analysis of these processes, by considering the ideal case of a diode-pumped signal amplifier made of a graded-index multimode fiber with uniform Yb doping. Simulations confirm that beam cleaning of the signal may take place even in amplifying fibers, that is the absence of beam energy conservation. Moreover, we show how the local signal intensity maxima, which are periodically generated by the self-imaging process, may influence the population inversion of the doping atoms, and locally saturate the amplifier gain.


title: Lieb-Thirring type bounds for perturbed Schr\"odinger operators with single-well potentials

abstract: We prove an upper bound on the sum of the distances between the eigenvalues of a perturbed Schr\"odinger operator $H_0-V$ and the lowest eigenvalue of $H_0$. Our results hold for operators $H_0=-\Delta-V_0$ in one dimension with single-well potentials. We rely on a variation of the well-known commutation method. In the P\"oschl-Teller and Coulomb cases we are able to use the explicit factorisations to establish improved bounds.


title: The Value of Information in Stopping Problems

abstract: We consider stopping problems in which a decision maker (DM) faces an unknown state of nature and decides sequentially whether to stop and take an irreversible action; pay a fee and obtain additional information; or wait without acquiring information. We discuss the value and quality of information. The former is the maximal discounted expected revenue the DM can generate. We show that among all history-dependent fee schemes, the upfront scheme (as opposed, for instance, to pay-for-use) is optimal: it generates the highest possible value of information. The effects on the optimal strategy of obtaining information from a more accurate source and of having a higher discount factor are distinct, as far as expected stopping time and its distribution are concerned. However, these factors have a similar effect in that they both enlarge the set of cases in which the optimal strategy prescribes waiting.


title: A Hoare Logic with Regular Behavioral Specifications

abstract: We present a Hoare logic that extends program specifications with regular expressions that capture behaviors in terms of sequences of events that arise during the execution. The idea is similar to session types or process-like behavioral contracts, two currently popular research directions. The approach presented here strikes a particular balance between expressiveness and proof automation, notably, it can capture interesting sequential behavior across multiple iterations of loops. The approach is modular and integrates well with autoactive deductive verification tools. We describe and demonstrate our prototype implementation in SecC using two case studies: A matcher for E-Mail addresses and a specification of the game steps in the VerifyThis Casino challenge.


title: Double Hawking temperature: from black hole to de Sitter

abstract: The double Hawking temperature $T=2T_H$ appears in some approaches to the Hawking radiation, when the radiation is considered in terms of the quantum tunneling. We consider the origin of such temperature for the black hole horizon and also for the cosmological horizon in de Sitter spacetime. In case the black hole horizon, there are two contributions to the tunneling process of radiation, each being governed by the temperature $T=2T_H$. These processes are coherently combined to produce the radiation with the Hawking temperature $T_H$. This can be traditionally interpreted as the pair creation of two entangled particles, of which one goes towards the centre of the black hole, while the other one escapes from the black hole. In case of the cosmological horizon, the temperature $T=2T_H$ is physical. While the creation of the entangled pair is described by the Hawking temperature, the de Sitter spacetime allows for the another process, in which only single (non-entangled) particle inside the cosmological horizon is created. This process is characterized by the local temperature $T=2T_H$. Such single particle process takes place also outside the black hole horizon, but it is exponentially suppressed.


title: Inverse design in nuclear quantum optics: From artificial x-ray multi-level schemes to spectral observables

abstract: Ensembles of M\"ossbauer nuclei embedded in thin-film cavities form a promising platform for x-ray quantum optics. A key feature is that the joint nuclei-cavity system can be considered as an artificial x-ray multi-level scheme in the low-excitation regime. Using the cavity environment, the structure and parameters of such level schemes can be tailored beyond those offered by the bare nuclei. However, so far, the direct determination of a cavity structure providing a desired quantum optical functionality has remained an open challenge. Here, we address this challenge using an inverse design methodology. As a first qualitative result, we show that the established fitting approach based on scattering observables in general is not unique, since the analysis may lead to different multi-level systems for the same cavity if based on observables in different scattering channels. Motivated by this, we distinguish between scattering signatures and the microscopic level scheme as separate design objectives, with the latter being uniquely determined by an \textit{ab initio} approach. We find that both design objectives are of practical relevance and that they complement each other regarding potential applications. We demonstrate the inverse design for both objectives using example tasks, such as realising electromagnetically induced transparency. Our results pave the way for new applications in nuclear quantum optics involving more complex x-ray cavity designs.


title: A dynamic approach to heterogeneous elastic wires

abstract: We consider closed planar curves with fixed length and arbitrary winding number whose elastic energy depends on an additional density variable and a spontaneous curvature. Working with the inclination angle, the associated $L^2$-gradient flow is a nonlocal quasilinear coupled parabolic system of second order. We show local well-posedness, global existence of solutions, and full convergence of the flow for initial data in a weak regularity class.


title: Energy bounds of sign-changing solutions to Yamabe equations on manifolds with boundary

abstract: We study the Yamabe equation in the Euclidean half-space. We prove that any sign-changing solution has at least twice the energy of a standard bubble. Moreover, a sharper energy lower bound of the sign-changing solution set is also established via the method of moving planes. This bound increases the energy range for which Palais-Smale sequences of related variational problem has a non-trivial weak limit.


title: Discrete density comonads and graph parameters

abstract: Game comonads have brought forth a new approach to studying finite model theory categorically. By representing model comparison games semantically as comonads, they allow important logical and combinatorial properties to be exressed in terms of their Eilenberg-Moore coalgebras. As a result, a number of results from finite model theory, such as preservation theorems and homomorphism counting theorems, have been formalised and parameterised by comonads, giving rise to new results simply by varying the comonad. In this paper we study the limits of the comonadic approach in the combinatorial and homomorphism-counting aspect of the theory, regardless of whether any model comparison games are involved. We show that any standard graph parameter has a corresponding comonad, classifying the same class. This comonad is constructed via a simple Kan extension formula, making it the initial solution to this problem and, furthermore, automatically admitting a homomorphism-counting theorem.


title: Scalable SAT Solving in the Cloud

abstract: Previous efforts on making Satisfiability (SAT) solving fit for high performance computing (HPC) have lead to super-linear speedups on particular formulae, but for most inputs cannot make efficient use of a large number of processors. Moreover, long latencies (minutes to days) of job scheduling make large-scale SAT solving on demand impractical for most applications. We address both issues with Mallob, a framework for job scheduling in the context of SAT solving which exploits malleability, i.e., the ability to add or remove processing power from a job during its computation. Mallob includes a massively parallel, distributed, and malleable SAT solving engine based on Hordesat with a more succinct and communication-efficient approach to clause sharing and numerous further improvements over its precursor. For example, Mallob on 640 cores outperforms an updated and improved configuration of Hordesat on 2560 cores. Moreover, Mallob can also solve many formulae in parallel while dynamically adapting the assigned resources, and jobs arriving in the system are usually initiated within a fraction of a second.


title: Notes on the experimental observation of the Unruh effect

abstract: The incorporation of classical general relativity into quantum field theory yields a surprising result -- thermodynamic particle production. One such phenomenon, known as the Unruh effect, causes empty space to effervesce a thermal bath of particles when viewed by an observer undergoing uniformly accelerated motion. These systems will have a Rindler horizon which produces this Unruh radiation at the Fulling-Davies-Unruh temperature. For accelerated charges, the emission and absorption of this radiation will imprint the FDU temperature on photons emitted in the laboratory. Each of these photons will also change the Rindler horizon in accordance with the Bekenstein-Hawking area-entropy law. In this essay, we will discuss these aspects of acceleration-induced thermality which have been experimentally observed in a high energy channeling experiment carried out by CERN-NA63.


title: An Earthquake Can Be Predicted

abstract: The paper represents the VLF/LF electromagnetic radiation as the earthquake's true precursor. It is shown that this parameter is capable of describing the fault formative process in the focal area. Besides, VLF/LF electromagnetic radiation frequency analysis gives the possibility simultaneously to determine all three characteristic parameters necessary for incoming earthquake prediction (magnitude, epicenter, and time of occurring). It is shown that the prediction of moderate and strong earthquakes is possible with great precision.


title: Urysohn and Hammerstein operators on H"older spaces

abstract: We present an application-oriented approach to Urysohn and Hammerstein integral operators acting between spaces of H"older continuous functions over compact metric spaces. These nonlinear mappings are formulated by means of an abstract measure theoretical integral involving a finite measure. This flexible setting creates a common framework to tackle both such operators based on the Lebesgue integral like frequently met in applications, as well as e.g.\ their spatial discretization using stable quadrature/cubature rules (Nystr"om methods). Under suitable Carath{\'e}odory conditions on the kernel functions, properties like well-definedness, boundedness, (complete) continuity and continuous differentiability are established. Furthermore, the special case of Hammerstein operators is understood as composition of Fredholm and Nemytskii operators. While our differentiability results for Urysohn operators appear to be new, the section on Nemytskii operators has a survey character. Finally, an appendix provides a rather comprehensive account summarizing the required preliminaries for H\"older continuous functions defined on metric spaces.


title: Stability of the tetragonal phase of BaZrO3 under high pressure

abstract: In this paper, we revisit the high-pressure behavior of BaZrO3 by a combination of first-principle calculations, Raman spectroscopy, and x-ray diffraction under high pressure. We confirm experimentally the cubic-to-tetragonal transition at 10 GPa and find no evidence for any other phase transition up to 45 GPa, the highest pressures investigated, at variance with past reports. We re-investigate phase stability with density functional theory considering not only the known tetragonal (I4/mcm) phase but also other potential antiferrodistortive candidates. This shows that the tetragonal phase becomes progressively more stable upon increasing pressure as compared to phases with more complex tilt systems. The possibility for a second transition to another tilted phase at higher pressures, and in particular to the very common orthorhombic Pnma structure, is therefore ruled out.


title: Upside-Down Reinforcement Learning Can Diverge in Stochastic Environments With Episodic Resets

abstract: Upside-Down Reinforcement Learning (UDRL) is an approach for solving RL problems that does not require value functions and uses only supervised learning, where the targets for given inputs in a dataset do not change over time. Ghosh et al. proved that Goal-Conditional Supervised Learning (GCSL) -- which can be viewed as a simplified version of UDRL -- optimizes a lower bound on goal-reaching performance. This raises expectations that such algorithms may enjoy guaranteed convergence to the optimal policy in arbitrary environments, similar to certain well-known traditional RL algorithms. Here we show that for a specific episodic UDRL algorithm (eUDRL, including GCSL), this is not the case, and give the causes of this limitation. To do so, we first introduce a helpful rewrite of eUDRL as a recursive policy update. This formulation helps to disprove its convergence to the optimal policy for a wide class of stochastic environments. Finally, we provide a concrete example of a very simple environment where eUDRL diverges. Since the primary aim of this paper is to present a negative result, and the best counterexamples are the simplest ones, we restrict all discussions to finite (discrete) environments, ignoring issues of function approximation and limited sample size.


title: A Graded Metamaterial for Broadband and High-capability Piezoelectric Energy Harvesting

abstract: This work studies a broadband graded metamaterial, which integrates the piezoelectric energy harvesting function targeting low-frequency structural vibrations, lying below 100 Hz. The device combines a graded metamaterial with beam-like resonators, piezoelectric patches and a self-powered piezoelectric interface circuit for energy harvesting. Based on the mechanical and electrical lumped parameters, an integrated model is proposed to investigate the power performance of the proposed design. Thorough numerical simulations were conducted to analyse the spatial frequency separation capacity and the slow-wave phenomenon of the graded metamaterial for broadband and high-capability piezoelectric energy harvesting. Experiments with realistic vibration sources show that the harvested power of the proposed design yields a five-fold increase with respect to conventional harvesting solutions based on single cantilever harvesters. Our results reveal the significant potential on exploitation of graded metamaterials for energy-efficient vibration-powered devices.


title: Blind Image Inpainting with Sparse Directional Filter Dictionaries for Lightweight CNNs

abstract: Blind inpainting algorithms based on deep learning architectures have shown a remarkable performance in recent years, typically outperforming model-based methods both in terms of image quality and run time. However, neural network strategies typically lack a theoretical explanation, which contrasts with the well-understood theory underlying model-based methods. In this work, we leverage the advantages of both approaches by integrating theoretically founded concepts from transform domain methods and sparse approximations into a CNN-based approach for blind image inpainting. To this end, we present a novel strategy to learn convolutional kernels that applies a specifically designed filter dictionary whose elements are linearly combined with trainable weights. Numerical experiments demonstrate the competitiveness of this approach. Our results show not only an improved inpainting quality compared to conventional CNNs but also significantly faster network convergence within a lightweight network design.


title: Chester supersolid of spatially indirect excitons in double-layer semiconductor heterostructures

abstract: A supersolid, a counter-intuitive quantum state in which a rigid lattice of particles flows without resistance, has to date not been unambiguously realised. Here we reveal a supersolid ground state of excitons in a double-layer semiconductor heterostructure over a wide range of layer separations outside the focus of recent experiments. This supersolid conforms to the original Chester supersolid with one exciton per supersolid site, as distinct from the alternative version reported in cold-atom systems of a periodic modulation of the superfluid density. We provide the phase diagram augmented by the supersolid. This new phase appears at layer separations much smaller than the predicted exciton normal solid, and it persists up to a solid--solid transition where the quantum phase coherence collapses. The ranges of layer separations and exciton densities in our phase diagram are well within reach of the current experimental capabilities.


title: Analytic Computer Generated Hologram Design

abstract: For a given asphere the grating equation is used to derive the design for a Computer Generated Hologram (CGH), sometimes referred to as a diffractive null corrector. The CGH converts a spherical wavefront to the shape appropriate for the given asphere as required for interferometric metrology. The derivation is effectively analytic but may require numerical implementation in certain cases depending on the complexity of the shape of the asphere and the accuracy required.


title: The Curious Case of the "Heartworm" Nebula

abstract: The curious Galactic features near G357.2$-$0.2 were observed with the MeerKAT radio interferometer array in the UHF and L bands (0.56--1.68 GHz). There are two possibly related features: a newly identified faint heart-shaped partial shell (the "Heart"), and a series of previously known but now much better imaged narrow, curved features (the "Worm") interior to the heart. Polarized emission suggests that much of the emission is nonthermal and is embedded in a dense plasma. The filaments of the worm appear to be magnetic structures powered by embedded knots that are sites of particle acceleration. The morphology of the worm broadly resembles some known pulsar wind nebulae (PWNe) but there is no known pulsar or PWN which could be powering this structure. We also present eROSITA observations of the field; no part of the nebula is detected in X-rays, but the current limits do not preclude the existence of a pulsar/PWN of intermediate spin-down luminosity.


title: Exact Factorization Adventures: A Promising Approach for Non-bound States

abstract: Modeling the dynamics of non-bound states in molecules requires an accurate description of how electronic motion affects nuclear motion and vice-versa. The exact factorization (XF) approach offers a unique perspective, in that it provides potentials that act on the nuclear subsystem or electronic subsystem, which contain the effects of the coupling to the other subsystem in an exact way. We briefly review the various applications of the XF idea in different realms, and how features of these potentials aid in the interpretation of two different laser-driven dissociation mechanisms. We present a detailed study of the different ways the coupling terms in recently-developed XF-based mixed quantum-classical approximations are evaluated, where either truly coupled trajectories, or auxiliary trajectories that mimic the coupling are used, and discuss their effect in both a surface-hopping framework as well as the rigorously-derived coupled-trajectory mixed quantum-classical approach.

categories: physics.chem-ph cond-mat.other physics.atom-ph quant-ph


title: On varieties with Ulrich twisted normal bundles

abstract: We characterize smooth irreducible varieties with Ulrich twisted normal bundle.


title: Improving Contextual Representation with Gloss Regularized Pre-training

abstract: Though achieving impressive results on many NLP tasks, the BERT-like masked language models (MLM) encounter the discrepancy between pre-training and inference. In light of this gap, we investigate the contextual representation of pre-training and inference from the perspective of word probability distribution. We discover that BERT risks neglecting the contextual word similarity in pre-training. To tackle this issue, we propose an auxiliary gloss regularizer module to BERT pre-training (GR-BERT), to enhance word semantic similarity. By predicting masked words and aligning contextual embeddings to corresponding glosses simultaneously, the word similarity can be explicitly modeled. We design two architectures for GR-BERT and evaluate our model in downstream tasks. Experimental results show that the gloss regularizer benefits BERT in word-level and sentence-level semantic representation. The GR-BERT achieves new state-of-the-art in lexical substitution task and greatly promotes BERT sentence representation in both unsupervised and supervised STS tasks.


title: Weakly Supervised Text Classification using Supervision Signals from a Language Model

abstract: Solving text classification in a weakly supervised manner is important for real-world applications where human annotations are scarce. In this paper, we propose to query a masked language model with cloze style prompts to obtain supervision signals. We design a prompt which combines the document itself and "this article is talking about [MASK]." A masked language model can generate words for the [MASK] token. The generated words which summarize the content of a document can be utilized as supervision signals. We propose a latent variable model to learn a word distribution learner which associates generated words to pre-defined categories and a document classifier simultaneously without using any annotated data. Evaluation on three datasets, AGNews, 20Newsgroups, and UCINews, shows that our method can outperform baselines by 2%, 4%, and 3%.


title: $\times a$ and $\times b$ empirical measures, the irregular set and entropy

abstract: For integers $a$ and $b\geq 2$, let $T_a$ and $T_b$ be multiplication by $a$ and $b$ on $\mathbb{T}=\mathbb{R}/\mathbb{Z}$. The action on $\mathbb{T}$ by $T_a$ and $T_b$ is called $\times a,\times b$ action and it is known that, if $a$ and $b$ are multiplicatively independent, then the only $\times a,\times b$ invariant and ergodic measure with positive entropy of $T_a$ or $T_b$ is the Lebesgue measure. However, whether there exists a nontrivial $\times a,\times b$ invariant and ergodic measure is not known. In this paper, we study the empirical measures of $x\in\mathbb{T}$ with respect to the $\times a,\times b$ action and show that the set of $x$ such that the empirical measures of $x$ do not converge to any measure has Hausdorff dimension $1$ and the set of $x$ such that the empirical measures can approach a nontrivial $\times a,\times b$ invariant measure has Hausdorff dimension zero. Furthermore, we obtain some equidistribution result about the $\times a,\times b$ orbit of $x$ in the complement of a set of Hausdorff dimension zero.


title: The geometric link between Hardy and Clauser-Horne-Shimony-Holt

abstract: We show that the Hardy nonlocality condition is equivalent to the violation of the CHSH inequality with additional constraints. We adapt the geometrical optimization of the violation of the CHSH inequality to these additional constraints and show that the Hardy condition is equivalent to optimizing the length difference of two sides in a triangle. Furthermore, we discuss the effects of the different constraints.


title: Ejecta distribution from impact craters on Ryugu: possible origin of the bluer units

abstract: Asteroid (162173) Ryugu was the first spinning-top-shaped asteroid to be closely approached by a probe, the Hayabusa2 spacecraft, which sent numerous high-resolution images of Ryugu to the Earth and revealed the nature of this type of asteroid. One of the notable features of Ryugu is the equatorial ridge, which is considered the result of rapid spin in the past. Despite the advanced age of the ridge, indicated by the presence of numerous craters, the ridge exhibits a bluish color, indicating that it is covered with fresh material. In addition to Ryugu, many other asteroids have similar blue areas, which are considered the result of ejecta emplacement. We examined the distribution of ejecta blankets from actual craters on Ryugu to assess ejecta emplacement as a possible origin of Ryugu's bluer units. We determined that when Ryugu's rotation was fast, ejecta from craters formed at lower latitudes accumulated along the equator, which may explain the bluish color of the equatorial ridge. On the other hand, ejecta emplacement does not fully explain the bluish color of Tokoyo Fossa, although we attempted to find the corresponding ejecta blankets.


title: Advanced Thermostats for Molecular Dynamics

abstract: Advanced thermostats for molecular dynamics are proposed on the base of the rigorous Langevin dynamics. Because the latter accounts for the subsystem-bath interactions in details, the bath anisotropy and nonuniformity are described via the relevant friction tensor. The developed model reflects properly the relativistic dynamics of the subsystem evolution as well as the nonlinear friction, which can occur for fast particles with large momenta at elevated temperature.


title: Set-up for observation thermal voltage noise and determination of absolute temperature and Boltzmann constant

abstract: We describe a set-up for measurement of the absolute zero by Johnson-Nyquist thermal noise which can be performed within a week in every high-school or university. Necessary electronic components and technical guidelines for the construction of this noise thermometer are given. The operating temperature used is in the tea cup range from ice to boiling water and in this sense the set-up can be given in the hands of every high school and university physics student. The measurement requires a standard multi-meter with thermocouple and voltage probe and gives excellent for education purposes percent accuracy. The explanation is oriented to university level but due to the simplicity of the explanation motivated high-school students can follow the explanation derivation of the used formulas for determination of the absolute zero and the Boltzmann constant. As a by-product our set-up gives a new method for the determination of the spectral density of the voltage $e_\mathrm{N}$ and current noise $i_\mathrm{N}$ of operational amplifiers.


title: Electron-phonon interaction and point contact enhanced superconductivity in trigonal PtBi2

abstract: PtBi2 is a Weyl semimetal, which demonstrates superconductivity with low critical temperature Tc ~ 0.6 K in the bulk. Here, we report our study of electron-phonon interaction (EPI) in trigonal PtBi2 by the Yanson point contact (PC) spectroscopy and presenting the observation of PC enhanced superconductivity. We show, that the Yansons PC spectra display a broad maximum around 15 meV, indicating, apparently, EPI mechanism of Cooper pairing in PtBi2. Moreover, we discovered a substantial increase of Tc up to ~ 3.5 K in PCs. The observed Tc is sufficiently higher than the bulk value, as well as detected at hydrostatic pressure. We calculated the phonon density of states and Eliashberg EPI function in PtBi2 within the framework of the density functional theory. A comparison of experimental data with theoretical calculations showed acceptable agreement. The theoretical Tc is 3.5 K, which corresponds to the experimental value.


title: StyLandGAN: A StyleGAN based Landscape Image Synthesis using Depth-map

abstract: Despite recent success in conditional image synthesis, prevalent input conditions such as semantics and edges are not clear enough to express `Linear (Ridges)' and `Planar (Scale)' representations. To address this problem, we propose a novel framework StyLandGAN, which synthesizes desired landscape images using a depth map which has higher expressive power. Our StyleLandGAN is extended from the unconditional generation model to accept input conditions. We also propose a '2-phase inference' pipeline which generates diverse depth maps and shifts local parts so that it can easily reflect user's intend. As a comparison, we modified the existing semantic image synthesis models to accept a depth map as well. Experimental results show that our method is superior to existing methods in quality, diversity, and depth-accuracy.


title: Event-Based Control for Synchronization of Stochastic Linear Systems with Application to Distributed Estimation

abstract: This paper studies the synchronization of stochastic linear systems which are subject to a general class of noises, in the sense that the noises are bounded in covariance but might be correlated with the states of agents and among each other. We propose an event-based control protocol for achieving the synchronization among agents in the mean square sense and theoretically analyze the performance of it by using a stochastic Lyapunov function, where the stability of $c$-martingales is particularly developed to handle the challenges brought by the general model of noises and the event-triggering mechanism. The proposed event-based synchronization algorithm is then applied to solve the problem of distributed estimation in sensor network. Specifically, by losslessly decomposing the optimal Kalman filter, it is shown that the problem of distributed estimation can be resolved by using the algorithms designed for achieving the synchronization of stochastic linear systems. As such, an event-based distributed estimation algorithm is developed, where each sensor performs local filtering solely using its own measurement, together with the proposed event-based synchronization algorithm to fuse the local estimates of neighboring nodes. With the reduced communication frequency, the designed estimator is proved to be stable under the minimal requirements of network connectivity and collective system observability.


title: Smooth $l$-Fano weighted complete intersections

abstract: In this paper we prove that for $n$-dimensional smooth $l$-Fano well formed weighted complete intersections, which is not isomorphic to a usual projective space, the upper bound for $l$ is equal to $\lceil \log_2(n+2) \rceil-1 .$ We also prove that the only $l$-Fano of dimension $n$ among such manifolds with inequalities $ \lceil \log_3(n+2) \rceil \leqslant l \leqslant \lceil \log_2(n+2) \rceil -1 $ is a complete intersection of quadrics in a usual projective space.


title: Quantum gravity effects in the infra-red: a theoretical derivation of the low energy fine structure constant and mass ratios of elementary particles

abstract: We have recently proposed a pre-quantum, pre-space-time theory as a matrix-valued Lagrangian dynamics on an octonionic space-time. This theory offers the prospect of unifying internal symmetries of the standard model with pre-gravitation. We explain why such a quantum gravitational dynamics is in principle essential even at energies much smaller than Planck scale. The dynamics can also predict the values of free parameters of the low energy standard model: these parameters arising in the Lagrangian are related to the algebra of the octonions which define the underlying non-commutative space-time on which the dynamical degrees of freedom evolve. These free parameters are related to the exceptional Jordan algebra $J_3(8)$ which describes the three fermion generations. We use the octonionic representation of fermions to compute the eigenvalues of the characteristic equation of this algebra, and compare the resulting eigenvalues with known mass ratios for quarks and leptons. We show that the ratios of the eigenvalues correctly reproduce the [square root of the] known mass ratios. In conjunction with the trace dynamics Lagrangian, these eigenvalues also yield a theoretical derivation of the low energy fine structure constant.


title: Fine Selmer groups of modular forms

abstract: We compare the Iwasawa invariants of fine Selmer groups of $p$-adic Galois representations over admissible $p$-adic Lie extensions of a number field $K$ to the Iwasawa invariants of ideal class groups along these Lie extensions. More precisely, let $K$ be a number field, let $V$ be a $p$-adic representation of the absolute Galois group $G_K$ of $K$, and choose a $G_K$-invariant lattice ${T \subseteq V}$. We study the fine Selmer groups of ${A = V/T}$ over suitable $p$-adic Lie extensions $K_\infty/K$, comparing their corank and $\mu$-invariant to the corank and the $\mu$-invariant of the Iwasawa module of ideal class groups in $K_\infty/K$. In the second part of the article, we compare the Iwasawa $\mu$- and $l_0$-invariants of the fine Selmer groups of CM modular forms on the one hand and the Iwasawa invariants of ideal class groups on the other hand over trivialising multiple $\mathbb{Z}_p$-extensions of $K$.


title: High-order harmonic generations in tilted Weyl semimetals

abstract: We investigate high-order harmonic generations (HHGs) under the comparison of Weyl cones in two types. Due to the hyperboloidal electron pocket structure, strong noncentrosymmetrical generations in high orders are observed around a single type-II Weyl point, especially at frequency zero. Such remarkable DC signal is proved to have attributions from the intraband transition after spectral decomposition. Under weak pulse electric field , the linear optical response of a non-tilted Weyl cone is consistent with the Kubo theory. With more numerical simulations, we conclude the non-zero chemical potential can enhance the even-order generations, from the slightly tilted system to the over-tilted systems. In consideration of dynamical symmetries, type-I and -II Weyl cones also show different selective responses under the circularly polarized light. Finally, using a more realistic model containing two pairs of Weyl points, we demonstrate the paired Weyl points with opposite chirality could suppress the overall even-order generations.


title: Existence of real algebraic hypersurfaces with many prescribed components

abstract: Given a real algebraic variety $X$ of dimension $n$, a very ample divisor $D$ on $X$ and a smooth closed hypersurface $\Sigma$ of $\mathbf{R}^n$, we construct real algebraic hypersurfaces in the linear system $|mD|$ whose real locus contains many connected components diffeomorphic to $\Sigma$. As a consequence, we show the existence of real algebraic hypersurfaces in the linear system $|mD|$ whose Betti numbers grow by the maximal order, as $m$ goes to infinity. As another application, we recover a result by D. Gayet on the existence of many disjoint lagrangians with prescribed topology in any smooth complex hypersurface of $\mathbf{C}\mathbf{P}^n$. The results in the paper are proved more generally for complete intersections. The proof of our main result uses probabilistic tools.


title: The Devil is in the Details: On the Pitfalls of Vocabulary Selection in Neural Machine Translation

abstract: Vocabulary selection, or lexical shortlisting, is a well-known technique to improve latency of Neural Machine Translation models by constraining the set of allowed output words during inference. The chosen set is typically determined by separately trained alignment model parameters, independent of the source-sentence context at inference time. While vocabulary selection appears competitive with respect to automatic quality metrics in prior work, we show that it can fail to select the right set of output words, particularly for semantically non-compositional linguistic phenomena such as idiomatic expressions, leading to reduced translation quality as perceived by humans. Trading off latency for quality by increasing the size of the allowed set is often not an option in real-world scenarios. We propose a model of vocabulary selection, integrated into the neural translation model, that predicts the set of allowed output words from contextualized encoder representations. This restores translation quality of an unconstrained system, as measured by human evaluations on WMT newstest2020 and idiomatic expressions, at an inference latency competitive with alignment-based selection using aggressive thresholds, thereby removing the dependency on separately trained alignment models.


title: FastSTMF: Efficient tropical matrix factorization algorithm for sparse data

abstract: Matrix factorization, one of the most popular methods in machine learning, has recently benefited from introducing non-linearity in prediction tasks using tropical semiring. The non-linearity enables a better fit to extreme values and distributions, thus discovering high-variance patterns that differ from those found by standard linear algebra. However, the optimization process of various tropical matrix factorization methods is slow. In our work, we propose a new method FastSTMF based on Sparse Tropical Matrix Factorization (STMF), which introduces a novel strategy for updating factor matrices that results in efficient computational performance. We evaluated the efficiency of FastSTMF on synthetic and real gene expression data from the TCGA database, and the results show that FastSTMF outperforms STMF in both accuracy and running time. Compared to NMF, we show that FastSTMF performs better on some datasets and is not prone to overfitting as NMF. This work sets the basis for developing other matrix factorization techniques based on many other semirings using a new proposed optimization process.


title: Photoinduced prethermal order parameter dynamics in the two-dimensional large-$N$ Hubbard-Heisenberg model

abstract: We study the microscopic dynamics of competing ordered phases in a two-dimensional correlated electron model, which is driven with a pulsed electric field of finite duration. In order to go beyond a mean-field treatment of the electronic interactions we adopt a large-$N$ generalization of the Hubbard model and combine it with the semiclassical fermionic truncated Wigner approximation as a time evolution method. This allows us to calculate dephasing corrections to the mean-field dynamics and to obtain stationary states, which we interpret as prethermal order. We use this framework to simulate the light-induced transition between two competing phases (bond density wave and staggered flux) and find that the post-pulse stationary state order parameter values are not determined alone by the amount of absorbed energy but depend explicitly on the driving frequency and field direction. While the transition between the two prethermal phases takes place at similar total energies in the low- and high-frequency regimes, we identify an intermediate frequency regime for which it occurs with minimal heating.


title: Analyzing Hate Speech Data along Racial, Gender and Intersectional Axes

abstract: To tackle the rising phenomenon of hate speech, efforts have been made towards data curation and analysis. When it comes to analysis of bias, previous work has focused predominantly on race. In our work, we further investigate bias in hate speech datasets along racial, gender and intersectional axes. We identify strong bias against African American English (AAE), masculine and AAE+Masculine tweets, which are annotated as disproportionately more hateful and offensive than from other demographics. We provide evidence that BERT-based models propagate this bias and show that balancing the training data for these protected attributes can lead to fairer models with regards to gender, but not race.


title: What Makes You Hold on to That Old Car? Joint Insights from Machine Learning and Multinomial Logit on Vehicle-level Transaction Decisions

abstract: What makes you hold on that old car? While the vast majority of the household vehicles are still powered by conventional internal combustion engines, the progress of adopting emerging vehicle technologies will critically depend on how soon the existing vehicles are transacted out of the household fleet. Leveraging a nationally representative longitudinal data set, the Panel Study of Income Dynamics, this study examines how household decisions to dispose of or replace a given vehicle are: (1) influenced by the vehicle's attributes, (2) mediated by households' concurrent socio-demographic and economic attributes, and (3) triggered by key life cycle events. Coupled with a newly developed machine learning interpretation tool, TreeExplainer, we demonstrate an innovative use of machine learning models to augment traditional logit modeling to both generate behavioral insights and improve model performance. We find the two gradient-boosting-based methods, CatBoost and LightGBM, are the best performing machine learning models for this problem. The multinomial logistic model can achieve similar performance levels after its model specification is informed by TreeExplainer. Both machine learning and multinomial logit models suggest that while older vehicles are more likely to be disposed of or replaced than newer ones, such probability decreases as the vehicles serve the family longer. We find that married families, families with higher education levels, homeowners, and older families tend to keep their vehicles longer. Life events such as childbirth, residential relocation, and change of household composition and income are found to increase vehicle disposal and/or replacement. We provide additional insights on the timing of vehicle replacement or disposal, in particular, the presence of children and childbirth events are more strongly associated with vehicle replacement among younger parents.


title: Driving Force and Nonequilibrium Vibronic Dynamics in Charge Separation of Strongly Bound Electron-Hole Pairs

abstract: Electron-hole pairs in organic photovoltaics dissociate efficiently despite their Coulomb-binding energy exceeding thermal energy at room temperature. The electronic states involved in charge separation couple to structured vibrational environments containing multiple underdamped modes. The non-perturbative simulations of such large, spatially extended electronic-vibrational (vibronic) systems remains an outstanding challenge. Current methods bypass this difficulty by considering effective one-dimensional Coulomb potentials or unstructured environments. Here we extend and apply a recently developed method for the non-perturbative simulation of open quantum systems to the dynamics of charge separation in one, two and three-dimensional donor-acceptor networks. This allows us to identify the precise conditions in which underdamped vibrational motion induces efficient long-range charge separation. Our analysis provides a comprehensive picture of ultrafast charge separation by showing how different mechanisms driven either by electronic or vibronic couplings are well differentiated for a wide range of driving forces and how entropic effects become apparent in large vibronic systems. These results allow us to quantify the relative importance of electronic and vibronic contributions in organic photovoltaics and provide a toolbox for the design of efficient charge separation pathways in artificial nanostructures.


title: The more things change the more they stay the same: Minimum lengths with unmodified uncertainty principle and dispersion relation

abstract: Broad arguments indicate that quantum gravity should have a minimal length scale. In this essay we construct a minimum length model by generalizing the time-position and energy-momentum operators while keeping much of the structure of quantum mechanics and relativity intact: the standard position-momentum commutator, the special relativistic time-position, and energy-momentum relationships all remain the same. Since the time-position and energy-momentum relationships for the modified operators remains the same, we retain a form of Lorentz symmetry. This avoids the constraints on these theories coming from lack of photon dispersion while holding the potential to address the Greisen-Zatsepin-Kuzmin (GZK) puzzle of ultra high energy cosmic rays.


title: The probability of random trees being isomorphic

abstract: We study the fundamental question of how likely it is that two randomly chosen trees are isomorphic to each other for different models of random trees. We show that the probability decays exponentially for rooted labeled trees as well as for Galton--Watson trees with bounded degrees but that this is not true for plane trees, thus providing a counterexample in the general case of Galton--Watson trees without degree restrictions. We also derive limiting distributions for some related parameters: the number of vertices of given degrees in pairs of labeled trees conditioned on being isomorphic, thus showing that they have a different shape than usual labeled trees, as well as the number of labelings and plane representations of P\'olya trees. The results rely on both probabilistic and analytic tools.


title: Pressure-induced superconductivity in weak topological insulator BiSe

abstract: Quasi-two-dimensional layered BiSe, a natural super-lattice with Bi2Se3-Bi2-Bi2Se3 units, has recently been predicted to be a dual topological insulator, simultaneously weak topological insulator as well as topological crystalline insulator. Here using structural, transport, spectroscopic measurements and density functional theory calculations, we show that BiSe exhibits rich phase diagram with the emergence of superconductivity with Tc ~8K under pressure. Sequential structural transitions into SnSe-type energetically tangled orthorhombic and CsCl-type cubic structures having distinct superconducting properties are identified at 8 GPa and 13 GPa respectively. Our observation of weak-antilocalization in magneto-conductivity suggests that spin-orbit coupling (SOC) plays a significant role in retaining non-trivial band topology in the trigonal phase with possible realization of 2D topological superconductivity. Theoretical analysis reveals that SOC significantly enhances superconducting Tc of the high-pressure cubic phase through an increase in electron-phonon coupling strength. Simultaneous emergence of Dirac-like surface states suggests cubic BiSe as a suitable candidate for the 3D-topological superconductor.


title: Modelling stellar activity with Gaussian process regression networks

abstract: Stellar photospheric activity is known to limit the detection and characterisation of extra-solar planets. In particular, the study of Earth-like planets around Sun-like stars requires data analysis methods that can accurately model the stellar activity phenomena affecting radial velocity (RV) measurements. Gaussian Process Regression Networks (GPRNs) offer a principled approach to the analysis of simultaneous time-series, combining the structural properties of Bayesian neural networks with the non-parametric flexibility of Gaussian Processes. Using HARPS-N solar spectroscopic observations encompassing three years, we demonstrate that this framework is capable of jointly modelling RV data and traditional stellar activity indicators. Although we consider only the simplest GPRN configuration, we are able to describe the behaviour of solar RV data at least as accurately as previously published methods. We confirm the correlation between the RV and stellar activity time series reaches a maximum at separations of a few days, and find evidence of non-stationary behaviour in the time series, associated with an approaching solar activity minimum.


title: Algorithms for spanning trees of unweighted networks

abstract: Spanning tree of a network or a graph is a subgraph connecting all the nodes with the minimum number of edges. Spanning tree retains the connectivity of a network and possibly other structural properties, and is one of the simplest techniques for network simplification or sampling, and for revealing its backbone or skeleton. The Prim's algorithm and the Kruskal's algorithm are well known algorithms for computing a spanning tree of a weighted network. In this paper, we study the performance of these algorithms on unweighted networks, and compare them to different priority-first search algorithms. We show that the distances between the nodes and the diameter of a network are best preserved by an algorithm based on the breadth-first search node traversal. The algorithm computes a spanning tree with properties of a balanced tree and a power-law node degree distribution. We support our results by experiments on synthetic graphs and more than a thousand real networks, and demonstrate different practical applications of computed spanning trees. We conclude that, if a spanning tree is supposed to retain the distances between the nodes or the diameter of an unweighted network, then the breadth-first search algorithm should be the preferred choice.


title: The disguised toric locus and affine equivalence of reaction networks

abstract: Under the assumption of mass-action kinetics, a dynamical system may be induced by several different reaction networks and/or parameters. It is therefore possible for a mass-action system to exhibit complex-balancing dynamics without being weakly reversible or satisfying toric constraints on the rate constants; such systems are called disguised toric dynamical systems. We show that the parameters that give rise to such systems are preserved under invertible affine transformations of the network. We also consider the dynamics of arbitrary mass-action systems under affine transformations, and show that there is a bijection between their sets of positive steady states, although their qualitative dynamics can differ substantially.


title: Controlled continuous $\ast$-$g$-Frames in Hilbert $C^{\ast}$-Modules

abstract: The frame theory is dynamic and exciting with various pure and applied mathematics applications. In this paper, we introduce and study the concept of Controlled Continuous $\ast$-$g$-Frames in Hilbert $C^{\ast}$-Modules, which is a generalization of discrete controlled $\ast$-$g$-Frames in Hilbert $C^{\ast}$-Modules. Also, we give some properties.


title: A Polar Subcode Approach to Belief Propagation List Decoding

abstract: Permutation decoding gained recent interest as it can exploit the symmetries of a code in a parallel fashion. Moreover, it has been shown that by viewing permuted polar codes as polar subcodes, the set of usable permutations in permutation decoding can be increased. We extend this idea to pre-transformed polar codes, such as cyclic redundancy check (CRC)-aided polar codes, which previously could not be decoded using permutations due to their lack of automorphisms. Using belief propagation (BP)-based subdecoders, we showcase a performance close to CRC-aided SCL (CA-SCL) decoding. The proposed algorithm outperforms the previously best performing iterative CRC-aided belief propagation list (CA-BPL) decoder both in error-rate performance and decoding latency.


title: The art of compensation: how hybrid teams solve collective risk dilemmas

abstract: It is widely known how the human ability to cooperate has influenced the thriving of our species. However, as we move towards a hybrid human-machine future, it is still unclear how the introduction of AI agents in our social interactions will affect this cooperative capacity. Within the context of the one-shot collective risk dilemma, where enough members of a group must cooperate in order to avoid a collective disaster, we study the evolutionary dynamics of cooperation in a hybrid population made of both adaptive and fixed-behavior agents. Specifically, we show how the first learn to adapt their behavior to compensate for the behavior of the latter. The less the (artificially) fixed agents cooperate, the more the adaptive population is motivated to cooperate, and vice-versa, especially when the risk is higher. By pinpointing how adaptive agents avoid their share of costly cooperation if the fixed-behavior agents implement a cooperative policy, our work hints towards an unbalanced hybrid world. On one hand, this means that introducing cooperative AI agents within our society might unburden human efforts. Nevertheless, it is important to note that costless artificial cooperation might not be realistic, and more than deploying AI systems that carry the cooperative effort, we must focus on mechanisms that nudge shared cooperation among all members in the hybrid system.


title: Entanglement distillation toward minimal bond cut surface in tensor networks

abstract: In tensor networks, a geometric operation of pushing a bond cut surface toward a minimal surface corresponds to entanglement distillation. Cutting bonds defines a reduced transition matrix on the bond cut surface and the associated quantum state naturally emerges from it. We justify this picture quantitatively by evaluating the trace distance between the maximally entangled states and the states on bond cut surfaces in the multi-scale entanglement renormalization ansatz (MERA) and matrix product states in a canonical form. Our numerical result for the random MERA is in a reasonable agreement with our proposal. The result sheds new light on a deeper understanding of the Ryu-Takayanagi formula for entanglement entropy in holography and the emergence of geometry from the entanglement structure.


title: Scattered linear sets in a finite projective line and translation planes

abstract: Lunardon and Polverino construct a translation plane starting from a scattered linear set of pseudoregulus type in $\mathrm{PG}(1,q^t)$. In this paper a similar construction of a translation plane $\mathcal A_f$ obtained from any scattered linearized polynomial $f(x)$ in $\mathbb F_{q^t}[x]$ is described and investigated. A class of quasifields giving rise to such planes is defined. Denote by $U_f$ the $\mathbb F_q$-subspace of $\mathbb F_{q^t}^2$ associated with $f(x)$. If $f(x)$ and $f'(x)$ are scattered, then $\mathcal A_f$ and $\mathcal A_{f'}$ are isomorphic if and only if $U_f$ and $U_{f'}$ belong to the same orbit under the action of $\Gamma\mathrm L(2,q^t)$. This gives rise to as many distinct translation planes as there are inequivalent scattered linearized polynomials. In particular, for any scattered linear set $L$ of maximum rank in $\mathrm{PG}(1,q^t)$ there are $c_\Gamma(L)$ pairwise non-isomorphic translation planes, where $c_\Gamma(L)$ denotes the $\Gamma\mathrm L$-class of $L$, as defined by Csajb\'ok, Marino and Polverino. A result by Jha and Johnson allows to describe the automorphism groups of the planes obtained from the linear sets not of pseudoregulus type defined by Lunardon and Polverino.


title: Vorticity-induced flow-focusing leads to bubble entrainment in an inkjet printhead: synchrotron X-ray and volume-of-fluid visualizations

abstract: The oscillatory flows present in an inkjet printhead can lead to strong deformations of the air-liquid interface at the nozzle exit. Such deformations may lead to an inward directed air jet with bubble pinch-off and the subsequent entrainment of an air bubble, which is highly detrimental to the stability of inkjet printing. Understanding the mechanisms of bubble entrainment is therefore crucial in improving print stability. In the present work, we use ultrafast X-ray phase-contrast imaging and direct numerical simulations based on the Volume-of-Fluid method to study the mechanisms underlying the bubble entrainment in a piezo-acoustic printhead. We first demonstrate good agreement between experiments and numerics. We then show the different classes of bubble pinch-off obtained in experiments, and that those were also captured numerically. The numerical results are then used to show that the baroclinic torque, which is generated at the gas-liquid interface due to the misalignment of density and pressure gradients, results in a flow-focusing effect that drives the formation of the air jet from which a bubble can pinch-off.


title: Robust Fundamental Lemma for Data-driven Control

abstract: The fundamental lemma by Willems and coauthors facilitates a parameterization of all trajectories of a linear time-invariant system in terms of a single, measured one. This result plays an important role in data-driven simulation and control. Under the hood, the fundamental lemma works by applying a persistently exciting input to the system. This ensures that the Hankel matrix of resulting input/output data has the "right" rank, meaning that its columns span the entire subspace of trajectories. However, such binary rank conditions are known to be fragile in the sense that a small additive noise could already cause the Hankel matrix to have full rank. Therefore, in this extended abstract we present a robust version of the fundamental lemma. The idea behind the approach is to guarantee certain lower bounds on the singular values of the data Hankel matrix, rather than mere rank conditions. This is achieved by designing the inputs of the experiment such that the minimum singular value of a deeper input Hankel matrix is sufficiently large. This inspires a new quantitative and robust notion of persistency of excitation. The relevance of the result for data-driven control will also be highlighted through comparing the predictive control performance for varying degrees of persistently exciting data.


title: Energy-Delay Minimization of Task Migration Based on Game Theory in MEC-assisted Vehicular Networks

abstract: Roadside units (RSUs), which have strong computing capability and are close to vehicle nodes, have been widely used to process delay- and computation-intensive tasks of vehicle nodes. However, due to their high mobility, vehicles may drive out of the coverage of RSUs before receiving the task processing results. In this paper, we propose a mobile edge computing-assisted vehicular network, where vehicles can offload their tasks to a nearby vehicle via a vehicle-to-vehicle (V2V) link or a nearby RSU via a vehicle-to-infrastructure link. These tasks are also migrated by a V2V link or an infrastructure-to-infrastructure (I2I) link to avoid the scenario where the vehicles cannot receive the processed task from the RSUs. Considering mutual interference from the same link of offloading tasks and migrating tasks, we construct a vehicle offloading decision-based game to minimize the computation overhead. We prove that the game can always achieve Nash equilibrium and convergence by exploiting the finite improvement property. We then propose a task migration (TM) algorithm that includes three task-processing methods and two task-migration methods. Based on the TM algorithm, computation overhead minimization offloading (COMO) algorithm is presented. Extensive simulation results show that the proposed TM and COMO algorithms reduce the computation overhead and increase the success rate of task processing.


title: An \textit{ab initio} study of shock-compressed copper

abstract: We investigate shock-compressed copper in the warm dense matter regime by means of density functional theory molecular dynamics simulations. We use neural-network-driven interatomic potentials to increase the size of the simulation box and extract thermodynamic properties in the hydrodynamic limit. We show the agreement of our simulation results with experimental data for solid copper at ambient conditions and liquid copper near the melting point under ambient pressure. Furthermore, a thorough analysis of the dynamic ion-ion structure factor in shock-compressed copper is performed and the adiabatic speed of sound is extracted and compared with experimental data.


title: Selective evaporation at the nozzle exit in piezoacoustic inkjet printing

abstract: In practical applications of inkjet printing the nozzles in a printhead have intermittent idle periods, during which ink can evaporate from the nozzle exit. Inks are usually multicomponent where each component has its own characteristic evaporation rate resulting in concentration gradients within the ink. These gradients may directly and indirectly (via Marangoni flows) alter the jetting process and thereby its reproducibility and the resulting print quality. In the present work, we study selective evaporation from an inkjet nozzle for water-glycerol mixtures. Through experiments, analytical modeling, and numerical simulations, we investigate changes in mixture composition with drying time. By monitoring the acoustics within the printhead, and subsequently modeling the system as a mass-spring-damper system, the composition of the mixture can be obtained as a function of drying time. The results from the analytical model are validated using numerical simulations of the full fluid mechanical equations governing the printhead flows and pressure fields. Furthermore, the numerical simulations reveal that the time independent concentration gradient we observe in the experiments is due to the steady state of water flux through the printhead. Finally, we measure the number of drop formation events required in this system before the mixture concentration within the nozzle attains the initial (pre-drying) value, and find a stronger than exponential trend in the number of drop formations required. These results shed light on the complex physiochemical hydrodynamics associated with the drying of ink at a printhead nozzle, and help in increasing the stability and reproducibility of inkjet printing.


title: Lash 1.0 (System Description)

abstract: Lash is a higher-order automated theorem prover created as a fork of the theorem prover Satallax. The basic underlying calculus of Satallax is a ground tableau calculus whose rules only use shallow information about the terms and formulas taking part in the rule. Lash uses new, efficient C representations of vital structures and operations. Most importantly, Lash uses a C representation of (normal) terms with perfect sharing along with a C implementation of normalizing substitutions. We describe the ways in which Lash differs from Satallax and the performance improvement of Lash over Satallax when used with analogous flag settings. With a 10s timeout Lash outperforms Satallax on a collection TH0 problems from the TPTP. We conclude with ideas for continuing the development of Lash.


title: Privacy Preserving Release of Mobile Sensor Data

abstract: Sensors embedded in mobile smart devices can monitor users' activity with high accuracy to provide a variety of services to end-users ranging from precise geolocation, health monitoring, and handwritten word recognition. However, this involves the risk of accessing and potentially disclosing sensitive information of individuals to the apps that may lead to privacy breaches. In this paper, we aim to minimize privacy leakages that may lead to user identification on mobile devices through user tracking and distinguishability while preserving the functionality of apps and services. We propose a privacy-preserving mechanism that effectively handles the sensor data fluctuations (e.g., inconsistent sensor readings while walking, sitting, and running at different times) by formulating the data as time-series modeling and forecasting. The proposed mechanism also uses the notion of correlated noise-series against noise filtering attacks from an adversary, which aims to filter out the noise from the perturbed data to re-identify the original data. Unlike existing solutions, our mechanism keeps running in isolation without the interaction of a user or a service provider. We perform rigorous experiments on benchmark datasets and show that our proposed mechanism limits user tracking and distinguishability threats to a significant extent compared to the original data while maintaining a reasonable level of utility of functionalities. In general, we show that our obfuscation mechanism reduces the user trackability threat by 60\% across all the datasets while maintaining the utility loss below 0.5 Mean Absolute Error (MAE). We also observe that our mechanism is more effective in large datasets. For example, with the Swipes dataset, the distinguishability risk is reduced by 60\% on average while the utility loss is below 0.5 MAE.


title: Coherent pion production in neutrino (anti-neutrino)-nucleus interaction

abstract: We present a study of coherent pion production in neutrino-nucleus interactions using the formalism based on partially conserved axial current theorem which connects the neutrino-nucleus cross section to the pion-nucleus elastic scattering cross section. Pion-nucleus elastic scattering cross section is calculated using Glauber model which takes three inputs, nuclear densities, pion-nucleon cross section and $\alpha_{\pi N}$ which is the ratio of real to imaginary part of $\pi N$ forward scattering amplitude, for which the parametrizations are obtained from measured data. We calculate the differential and integrated cross sections for charge and neutral current coherent pion production in neutrino (anti-neutrino)-nucleus scattering for a range of nuclear targets from light to heavy materials such as lithium, carbon, hydrocarbon, oxygen, silicon, argon, iron and lead. The results of these cross section calculations are compared with the measured data and with the calculations from the Berger-Sehgal model and GENIE package. There is an excellent agreement between the calculated and measured cross sections with Glauber model. While GENIE and Berger-Sehgal model give a good description of the data in the lower energy range the present calculations describe the data in all energy ranges. Predictions are also made for upcoming experiments like INO and DUNE in the coherent region of neutrino cross section.