title: Sgoldstino signature in $hh$, $W^+W^-$ and $ZZ$ spectra at the LHC

abstract: In a supersymmetric extension of the Standard Model of particle physics (SM) with low scale of supersymmetry breaking, sgoldstino of (sub)TeV mass can be observed at the Large Hadron Collider (LHC) as a peak in diboson mass spectra. Moreover, as a singlet with respect to the SM gauge group, scalar sgoldstino can mix with the SM-like Higgs boson and interfere in all neutral channels providing with the promising signatures of new physics if superpartners are heavy. Sgoldstino couplings to the SM particles are determined by the pattern of soft supersymmetry breaking parameters. Here we concentrate on the cases with a noticeable sgoldstino contribution to di-Higgs channel. Having found a phenomenologically viable region in the model parameter space where scalar sgoldstino, produced at the LHC in gluon fusion, decays into a pair of the lightest Higgs boson we give predictions for corresponding cross section. Using the results of the LHC searches for scalar resonances we place bounds on the supersymmetry breaking scale $\sqrt{F}$ in this region of parameter space. Remarkably, in this region sgoldstino may also be observed in $W^+W^-$ and $ZZ$ channels, yielding independent signatures, since their signal strengths are related to that of di-Higgs channel.


title: On $\mathsf{G}$-isoshtukas over function fields

abstract: In this paper we classify isogeny classes of global $\mathsf{G}$-shtukas over a smooth projective curve $C/\mathbb{F}_q$ (or equivalently $\sigma$-conjugacy classes in $\mathsf{G}(\mathsf{F} \otimes_{\mathbb{F}_q} \overline{\mathbb{F}_q})$ where $\mathsf{F}$ is the field of rational functions of $C$) by two invariants $\bar\kappa,\bar\nu$ extending previous works of Kottwitz. This result can be applied to study points of moduli spaces of $\mathsf{G}$-shtukas and thus is helpful to calculate their cohomology.


title: Facing the problems on the determination of stellar temperatures and gravities: Galactic globular clusters

abstract: We analysed red giant branch stars in 16 Galactic globular clusters, computing their atmospheric parameters both from the photometry and from excitation and ionisation balances. The spectroscopic parameters are lower than the photometric ones and this discrepancy increases decreasing the metallicity, reaching, at [Fe/H]~-2.5 dex, differences of ~350 K in effective temperature and ~1 dex in surface gravity. We demonstrate that the spectroscopic parameters are inconsistent with the position of the stars in the colour-magnitude diagram, providing too low temperatures and gravities, and predicting that the stars are up to about 2.5 magnitudes brighter than the observed magnitudes. The parameter discrepancy is likely due to the inadequacies of the adopted physics, in particular the assumption of 1-dimensional geometry can be the origin of the observed slope between iron abundances and excitation potential that leads to low temperatures. However, the current modelling of 3D/NLTE radiative transfer for giant stars seems to be not able to totally erase this slope. We conclude that the spectroscopic parameters are wrong for metallicity lower than -1.5 dex and for these red giant stars photometric temperatures and gravities should be adopted. We provide a simple relation to correct the spectroscopic temperatures in order to put them onto a photometric scale.


title: From affine Poincar\'e inequalities to affine spectral inequalities

abstract: Given a bounded open subset $\Omega$ of $\mathbb R^n$, we establish the weak closure of the affine ball $B^{\mathcal A}_p(\Omega) = \{f \in W^{1,p}_0(\Omega):\ \mathcal E_p f \leq 1\}$ with respect to the affine functional $\mathcal E_pf$ introduced by Lutwak, Yang and Zhang in [43] as well as its compactness in $L^p(\Omega)$ for any $p \geq 1$. These points use strongly the celebrated Blaschke-Santal\'{o} inequality. As counterpart, we develop the basic theory of $p$-Rayleigh quotients in bounded domains, in the affine case, for $p\geq 1$. More specifically, we establish $p$-affine versions of the Poincar\'e inequality and some of their consequences. We introduce the affine invariant $p$-Laplace operator $\Delta_p^{\mathcal A} f$ defining the Euler-Lagrange equation of the minimization problem of the $p$-affine Rayleigh quotient. We also study its first eigenvalue $\lambda^{\mathcal A}_{1,p}(\Omega)$ which satisfies the corresponding affine Faber-Krahn inequality, this is that $\lambda^{\mathcal A}_{1,p}(\Omega)$ is minimized (among sets of equal volume) only when $\Omega$ is an ellipsoid. This point depends fundamentally on PDEs regularity analysis aimed at the operator $\Delta_p^{\mathcal A} f$. We also present some comparisons between affine and classical eigenvalues, including a result of rigidity through the characterization of equality cases for $p \geq 1$. All affine inequalities obtained are stronger and directly imply the classical ones.


title: Leibniz algebras with derivations

abstract: In this paper, we consider Leibniz algebras with derivations. A pair consisting of a Leibniz algebra and a distinguished derivation is called a LeibDer pair. We define a cohomology theory for LeibDer pair with coefficients in a representation. We study central extensions and abelian extensions of a LeibDer pair. In the next, we generalize the formal deformation theory to LeibDer pairs in which we deform both the Leibniz bracket and the distinguished derivation. It is governed by the cohomology of LeibDer pair with coefficients in itself. Finally, we consider homotopy derivations on sh Leibniz algebras and $2$-derivations on Leibniz $2$-algebras. The category of $2$-term sh Leibniz algebras with homotopy derivations is equivalent to the category of Leibniz $2$-algebras with $2$-derivations.


title: TensorFlow Audio Models in Essentia

abstract: Essentia is a reference open-source C++/Python library for audio and music analysis. In this work, we present a set of algorithms that employ TensorFlow in Essentia, allow predictions with pre-trained deep learning models, and are designed to offer flexibility of use, easy extensibility, and real-time inference. To show the potential of this new interface with TensorFlow, we provide a number of pre-trained state-of-the-art music tagging and classification CNN models. We run an extensive evaluation of the developed models. In particular, we assess the generalization capabilities in a cross-collection evaluation utilizing both external tag datasets as well as manual annotations tailored to the taxonomies of our models.


title: A Bayesian brain model of adaptive behavior: An application to the Wisconsin Card Sorting Task

abstract: Adaptive behavior emerges through a dynamic interaction between cognitive agents and changing environmental demands. The investigation of information processing underlying adaptive behavior relies on controlled experimental settings in which individuals are asked to accomplish demanding tasks whereby a hidden state or an abstract rule has to be learned dynamically. Although performance in such tasks is regularly considered as a proxy for measuring high-level cognitive processes, the standard approach consists in summarizing response patterns by simple heuristic scoring measures. With this work, we propose and validate a new computational Bayesian model accounting for individual performance in the established Wisconsin Card Sorting Test. We embed the new model within the mathematical framework of Bayesian Brain Theory, according to which beliefs about the hidden environmental states are dynamically updated following the logic of Bayesian inference. Our computational model maps distinct cognitive processes into separable, neurobiologically plausible, information-theoretic constructs underlying observed response patterns. We assess model identification and expressiveness in accounting for meaningful human performance through extensive simulation studies. We further apply the model to real behavioral data in order to highlight the utility of the proposed model in recovering cognitive dynamics at an individual level. Practical and theoretical implications of our computational modeling approach for clinical and cognitive neuroscience research are finally discussed, as well as potential future improvements.


title: Adapting Persistent Data Structures for Concurrency and Speculation

abstract: This work unifies insights from the systems and functional programming communities, in order to enable compositional reasoning about software which is nonetheless efficiently realizable in hardware. It exploits a correspondence between design goals for efficient concurrent data structures and efficient immutable persistent data structures, to produce novel implementations of mutable concurrent trees with low contention and an efficient snapshot operation to support speculative execution models. It also exploits commutativity to characterize a design space for integrating traditional high-performance concurrent data structures into Software Transactional Memory (STM) runtimes, and extends this technique to yield a novel algorithm for concurrent execution of so-called ``smart contracts'' (specialized programs which manipulate the state of blockchain ledgers).


title: System to Identify and Elide Superfluous JavaScript Code for Faster Webpage Loads

abstract: Many websites import large JavaScript (JS) libraries to customize and enhance user experiences. Our data shows that many JS libraries are only partially utilized during a page load, and therefore, contain superfluous code that is never executed. Many top-ranked websites contain up to hundreds of kilobytes of compressed superfluous code and a JS resource on a median page contains 31% superfluous code. Superfluous JS code inflates the page weight, and thereby, the time to download, parse, and compile a JS resource. It is therefore important to monitor the usage and optimize the payload of JS resources to improve Web performance. However, given that the webpage design and functionality could depend on a user's preferences or device, among many other factors, actively loading webpages in controlled environments cannot cover all possible conditions in which webpage content and functionality changes. In this paper, we show that passive measurement techniques, such as real user monitoring systems (RUM), that monitor the performance of real user page loads under different conditions can be leveraged to identify superfluous code. Using a custom man-in-the-middle proxy (similar to a content delivery network's proxy server), we designed a systematic approach for website developers that relies on pages loaded by real users to passively identify superfluous code on JS resources. We then elide any superfluous code from JS resources before subsequent page load requests. Our data shows that eliding superfluous JS code improves the median page load time by 5% and by at least 10% for pages in the long tail. Through results presented in this paper, we motivate for the need for rigorous monitoring of the usage of JS resources under different real world conditions, with the goal to improve Web performance.


title: Exploiting an Adversary's Intentions in Graphical Coordination Games

abstract: How does information regarding an adversary's intentions affect optimal system design? This paper addresses this question in the context of graphical coordination games where an adversary can indirectly influence the behavior of agents by modifying their payoffs. We study a situation in which a system operator must select a graph topology in anticipation of the action of an unknown adversary. The designer can limit her worst-case losses by playing a security strategy, effectively planning for an adversary which intends maximum harm. However, fine-grained information regarding the adversary's intention may help the system operator to fine-tune the defenses and obtain better system performance. In a simple model of adversarial behavior, this paper asks how much a system operator can gain by fine-tuning a defense for known adversarial intent. We find that if the adversary is weak, a security strategy is approximately optimal for any adversary type; however, for moderately-strong adversaries, security strategies are far from optimal.


title: Variable selection with multiply-imputed datasets: choosing between stacked and grouped methods

abstract: Penalized regression methods, such as lasso and elastic net, are used in many biomedical applications when simultaneous regression coefficient estimation and variable selection is desired. However, missing data complicates the implementation of these methods, particularly when missingness is handled using multiple imputation. Applying a variable selection algorithm on each imputed dataset will likely lead to different sets of selected predictors, making it difficult to ascertain a final active set without resorting to ad hoc combination rules. In this paper we consider a general class of penalized objective functions which, by construction, force selection of the same variables across multiply-imputed datasets. By pooling objective functions across imputations, optimization is then performed jointly over all imputed datasets rather than separately for each dataset. We consider two objective function formulations that exist in the literature, which we will refer to as "stacked" and "grouped" objective functions. Building on existing work, we (a) derive and implement efficient cyclic coordinate descent and majorization-minimization optimization algorithms for both continuous and binary outcome data, (b) incorporate adaptive shrinkage penalties, (c) compare these methods through simulation, and (d) develop an R package miselect for easy implementation. Simulations demonstrate that the "stacked" objective function approaches tend to be more computationally efficient and have better estimation and selection properties. We apply these methods to data from the University of Michigan ALS Patients Repository (UMAPR) which aims to identify the association between persistent organic pollutants and ALS risk.


title: Unsupervised machine learning of quantum phase transitions using diffusion maps

abstract: Experimental quantum simulators have become large and complex enough that discovering new physics from the huge amount of measurement data can be quite challenging, especially when little theoretical understanding of the simulated model is available. Unsupervised machine learning methods are particularly promising in overcoming this challenge. For the specific task of learning quantum phase transitions, unsupervised machine learning methods have primarily been developed for phase transitions characterized by simple order parameters, typically linear in the measured observables. However, such methods often fail for more complicated phase transitions, such as those involving incommensurate phases, valence-bond solids, topological order, and many-body localization. We show that the diffusion map method, which performs nonlinear dimensionality reduction and spectral clustering of the measurement data, has significant potential for learning such complex phase transitions unsupervised. This method works for measurements of local observables in a single basis and is thus readily applicable to many experimental quantum simulators as a versatile tool for learning various quantum phases and phase transitions.


title: Impressive Electronic Transport in Be$_2$C Monolayer

abstract: We present thermoelectric properties of Be$_2$C monolayer based on density functional theory and semi-classical Boltzmann transport theory. Electronic structure calculations predict this material as a semiconductor with a direct bandgap of 2.0 eV computed using Gaussian-attenuating Perdew-Burke-Ernzerhof (Gau-PBE) hybrid functional. The Gau-PBE band structure is used to compute transport properties by solving the Boltzmann transport equation under the constant relaxation time approximation. In this work, we have explicitly determined the relaxation time by studying the electron-phonon interactions in the system to estimate absolute transport coefficients. Our results show that the monolayer possesses a high power factor ($\sim$ 3.44 mW/mK$^2$ @300K), similar to the commercial TE materials doped-Bi$_2$Te$_3$ and PbTe, suggesting that Be$_2$C monolayer is a promising thermoelectric material.


title: Systematic Convergence of Nonlinear Stochastic Estimators on the Special Orthogonal Group SO(3)

abstract: This paper introduces two novel nonlinear stochastic attitude estimators developed on the Special Orthogonal Group \mathbb{SO}\left(3\right) with the tracking error of the normalized Euclidean distance meeting predefined transient and steady-state characteristics. The tracking error is confined to initially start within a predetermined large set such that the transient performance is guaranteed to obey dynamically reducing boundaries and decrease smoothly and asymptotically to the origin in probability from almost any initial condition. The proposed estimators produce accurate attitude estimates with remarkable convergence properties using measurements obtained from low-cost inertial measurement units. Unit-quaternion representation of the proposed filters are presented. The estimators proposed in continuous form are complemented by their discrete versions for the implementation purposes. The simulation results illustrate the effectiveness and robustness of the proposed estimators against uncertain measurements and large initialization error, whether in continuous or discrete form. Keywods: Attitude estimates, transient, steady-state error, nonlinear filter, special orthogonal group, SO(3), stochastic system, stochastic differential equations, Ito, Stratonovich, asymptotic stability, Wong-Zakai, inertial measurment unit, IMU, prescribed performance function, Euler Angles, roll, bitch, yaw, color noise, white noise, Nonlinear attitude filter, Nonlinear attitude observer, Orientation, nonlinear stochastic attitude filter on SO(3), unit-quaternion based nonlinear stochastic attitude filter, discrete stochastic attitude filter.


title: $(GL_k\times S_n)$-Modules of Multivariate Diagonal Harmonics

abstract: This is the first in a series of papers in which we describe explicit structural properties of spaces of diagonal rectangular harmonic polynomials in $k$ sets of $n$ variables, both as $GL_k$-modules and $S_n$-modules, as well as some of there relations to areas such as Algebraic Combinatorics, Representation Theory, Algebraic Geometry, Knot Theory, and Theoretical Physics. Our global aim is to develop a unifying point of view for several areas of research of the last two decades having to do with Macdonald Polynomials Operator Theory, Diagonal Coinvariant Spaces, Rectangular-Catalan Combinatorics, the Delta-Conjecture, Hilbert Scheme of Points in the Plane, Khovanov-Rozansky Homology of $(m,n)$-Torus links, etc.


title: Evaluation of some non-elementary integrals involving the generalized hypergeometric function with some applications

abstract: The indefinite integral $$ \int x^\alpha e^{\eta x^\beta}\,_pF_q (a_1, a_2, \cdot\cdot\cdot a_p; b_1, b_2, \cdot\cdot\cdot, b_q; \lambda x^{\gamma})dx, $$ where $\alpha, \eta, \beta, \lambda, \gamma\ne0$ are real or complex constants and $_pF_q$ is the generalized hypergeometric function, is evaluated in terms of an infinite series involving the generalized hypergeometric function. Related integrals in which the exponential function $e^{\eta x^\beta}$ is either replaced by the hyperbolic function $\cosh\left(\eta x^\beta\right)$ or $\sinh\left(\eta x^\beta\right)$, or the sinusoidal function $\cos\left(\eta x^\beta\right)$ or $\sin\left(\eta x^\beta\right)$, are also evaluated in terms of infinite series involving the generalized hypergeometric function $_pF_q$. Some application examples from applied analysis, in which some new Fourier and Laplace integrals (or transforms) are evaluated, are given. The analytical solution of the Orr-Sommerfeld equation (with a linear mean flow background) in the short-wave limit is expressed in terms of some infinite series involving the hypergeometric series $_2F_3$. Making use of the hyperbolic and Euler identities, some interesting series identities involving exponential, hyperbolic, trigonometric functions and the generalized hypergeometric function are also derived.


title: A Bayesian Nonparametric Latent Space Approach to Modeling Evolving Communities in Dynamic Networks

abstract: The evolution of communities in dynamic (time-varying) network data is a prominent topic of interest. A popular approach to understanding these dynamic networks is to embed the dyadic relations into a latent metric space. While methods for clustering with this approach exist for dynamic networks, they all assume a static community structure. This paper presents a Bayesian nonparametric model for dynamic networks that can model networks with evolving community structures. Our model extends existing latent space approaches by explicitly modeling the additions, deletions, splits, and mergers of groups with a hierarchical Dirichlet process hidden Markov model. Our proposed approach, the hierarchical Dirichlet process latent position clustering model (HDP-LPCM), incorporates transitivity, models both individual and group level aspects of the data, and avoids the computationally expensive selection of the number of groups required by most popular methods. We provide a Markov chain Monte Carlo estimation algorithm and apply our method to synthetic and real-world networks to demonstrate its performance.


title: Mediated Remote Synchronization of Kuramoto-Sakaguchi Oscillators: the Number of Mediators Matters

abstract: Cortical regions without direct neuronal connections have been observed to exhibit synchronized dynamics. A recent empirical study has further revealed that such regions that share more common neighbors are more likely to behave coherently. To analytically investigate the underlying mechanisms, we consider that a set of n oscillators, which have no direct connections, are linked through m intermediate oscillators (called mediators), forming a complete bipartite network structure. Modeling the oscillators by the Kuramoto-Sakaguchi model, we rigorously prove that mediated remote synchronization, i.e., synchronization between those n oscillators that are not directly connected, becomes more robust as the number of mediators increases. Simulations are also carried out to show that our theoretical findings can be applied to other general and complex networks.


title: Neighborhood-based Pooling for Population-level Label Distribution Learning

abstract: Supervised machine learning often requires human-annotated data. While annotator disagreement is typically interpreted as evidence of noise, population-level label distribution learning (PLDL) treats the collection of annotations for each data item as a sample of the opinions of a population of human annotators, among whom disagreement may be proper and expected, even with no noise present. From this perspective, a typical training set may contain a large number of very small-sized samples, one for each data item, none of which, by itself, is large enough to be considered representative of the underlying population's beliefs about that item. We propose an algorithmic framework and new statistical tests for PLDL that account for sampling size. We apply them to previously proposed methods for sharing labels across similar data items. We also propose new approaches for label sharing, which we call neighborhood-based pooling.


title: Nonlinear Stochastic Estimators on the Special Euclidean Group SE(3) using Uncertain IMU and Vision Measurements

abstract: Two novel robust nonlinear stochastic full pose (i.e, attitude and position) estimators on the Special Euclidean Group SE(3) are proposed using the available uncertain measurements. The resulting estimators utilize the basic structure of the deterministic pose estimators adopting it to the stochastic sense. The proposed estimators for six degrees of freedom (DOF) pose estimations consider the group velocity vectors to be contaminated with constant bias and Gaussian random noise, unlike nonlinear deterministic pose estimators which disregard the noise component in the estimator derivations. The proposed estimators ensure that the closed loop error signals are semi-globally uniformly ultimately bounded in mean square. The efficiency and robustness of the proposed estimators are demonstrated by the numerical results which test the estimators against high levels of noise and bias associated with the group velocity and body-frame measurements and large initialization error. Keywords: Nonlinear stochastic pose filter, pose observer, position, attitude, Ito, stochastic differential equations, Brownian motion process, adaptive estimate, feature, inertial measurement unit, inertial vision system, 6 DOF, IMU, SE(3), SO(3), orientation, landmark, Gaussian, noise.


title: Probabilities with Gaps and Gluts

abstract: Belnap-Dunn logic (BD), sometimes also known as First Degree Entailment, is a four-valued propositional logic that complements the classical truth values of True and False with two non-classical truth values Neither and Both. The latter two are to account for the possibility of the available information being incomplete or providing contradictory evidence. In this paper, we present a probabilistic extension of BD that permits agents to have probabilistic beliefs about the truth and falsity of a proposition. We provide a sound and complete axiomatization for the framework defined and also identify policies for conditionalization and aggregation. Concretely, we introduce four-valued equivalents of Bayes' and Jeffrey updating and also suggest mechanisms for aggregating information from different sources.


title: Fingerprints of binary black hole formation channels encoded in the mass and spin of merger remnants

abstract: Binary black holes (BBHs) are thought to form in different environments, including the galactic field and (globular, nuclear, young and open) star clusters. Here, we propose a method to estimate the fingerprints of the main BBH formation channels associated with these different environments. We show that the metallicity distribution of galaxies in the local Universe along with the relative amount of mergers forming in the field or in star clusters determine the main properties of the BBH population. Our fiducial model predicts that the heaviest merger to date, GW170729, originated from a progenitor that underwent 2--3 merger events in a dense star cluster, possibly a galactic nucleus. The model predicts that at least one merger remnant out of 100 BBH mergers in the local Universe has mass $90 < M_{\rm rem}/ {\rm ~M}_\odot \leq{} 110$, and one in a thousand can reach a mass as large as $M_{\rm rem} \gtrsim 250$ M$_\odot$. Such massive black holes would bridge the gap between stellar-mass and intermediate-mass black holes. The relative number of low- and high-mass BBHs can help us unravelling the fingerprints of different formation channels. Based on the assumptions of our model, we expect that isolated binaries are the main channel of BBH merger formation if $\sim 70\%$ of the whole BBH population has remnants masses $<50$ M$_\odot$, whereas $\gtrsim{}6$\% of remnants with masses $>75$ M$_\odot$ point to a significant sub-population of dynamically formed BBH binaries.


title: Unifying Theorems for Subspace Identification and Dynamic Mode Decomposition

abstract: This paper presents unifying results for subspace identification (SID) and dynamic mode decomposition (DMD) for autonomous dynamical systems. We observe that SID seeks to solve an optimization problem to estimate an extended observability matrix and a state sequence that minimizes the prediction error for the state-space model. Moreover, we observe that DMD seeks to solve a rank-constrained matrix regression problem that minimizes the prediction error of an extended autoregressive model. We prove that existence conditions for perfect (error-free) state-space and low-rank extended autoregressive models are equivalent and that the SID and DMD optimization problems are equivalent. We exploit these results to propose a SID-DMD algorithm that delivers a provably optimal model and that is easy to implement. We demonstrate our developments using a case study that aims to build dynamical models directly from video data.


title: Indeterminism, causality and information: Has physics ever been deterministic?

abstract: A tradition handed down among physicists maintains that classical physics is a perfectly deterministic theory capable of predicting the future with absolute certainty, independently of any interpretations. It also tells that it was quantum mechanics that introduced fundamental indeterminacy into physics. We show that there exist alternative stories to be told in which classical mechanics, too, can be interpreted as a fundamentally indeterministic theory. On the one hand, this leaves room for the many possibilities of an open future, yet, on the other, it brings into classical physics some of the conceptual issues typical of quantum mechanics, such as the measurement problem. We discuss here some of the issues of an alternative, indeterministic classical physics and their relation to the theory of information and the notion of causality.


title: Drop Impact on Hot Plates: Contact times, Lift-off and the Lamella Rupture

abstract: When a liquid drop impacts on a heated substrate, it can remain deposited, or violently boil in contact, or lift off with or without ever touching the surface. The latter is known as the Leidenfrost effect. The duration and area of the liquid--substrate contact is highly relevant for the heat transfer, as well as other effects such as corrosion. However, most experimental studies rely on side view imaging to determine contact times, and those are often mixed with the time until the drop lifts off from the substrate. Here, we develop and validate a reliable method of contact time determination using high-speed X-ray and Total Internal Reflection measurements. We exemplarily compare contact and lift-off times on flat silicon and sapphire substrates. We show that drops can rebound even without formation of a complete vapor layer, with a wide range of lift-off times. On sapphire, we find a local minimum of lift-off times much shorter than by capillary rebound in the comparatively low-temperature regime of transition boiling / thermal atomization. We elucidate the underlying mechanism related to spontaneous rupture of the lamella and receding of the contact area.


title: An arithmetic enrichment of B\'ezout's Theorem

abstract: The classical version of B\'ezout's Theorem gives an integer-valued count of the intersection points of hypersurfaces in projective space over an algebraically closed field. Using work of Kass and Wickelgren, we prove a version of B\'ezout's Theorem over any perfect field by giving a bilinear form-valued count of the intersection points of hypersurfaces in projective space. Over non-algebraically closed fields, this enriched B\'ezout's Theorem imposes a relation on the gradients of the hypersurfaces at their intersection points. As corollaries, we obtain arithmetic-geometric versions of B\'ezout's Theorem over the reals, rationals, and finite fields of odd characteristic.


title: Ultraperipheral nuclear interactions

abstract: Large-distance ultraperipheral collisions of two relativistic ions are considered. The clouds of photons surrounding the ions are responsible for their distant electromagnetic interaction. The perturbative approach and the method of equivalent photons are described. It is shown that the total cross section of these collisions increases rapidly with increasing energy and is especially large for heavy ions. Some experimental data and their comparison with theoretical approaches are described. Further proposals are discussed.


title: ActiLabel: A Combinatorial Transfer Learning Framework for Activity Recognition

abstract: Sensor-based human activity recognition has become a critical component of many emerging applications ranging from behavioral medicine to gaming. However, an unprecedented increase in the diversity of sensor devices in the Internet-of-Things era has limited the adoption of activity recognition models for use across different domains. We propose ActiLabel a combinatorial framework that learns structural similarities among the events in an arbitrary domain and those of a different domain. The structural similarities are captured through a graph model, referred to as the it dependency graph, which abstracts details of activity patterns in low-level signal and feature space. The activity labels are then autonomously learned by finding an optimal tiered mapping between the dependency graphs. Extensive experiments based on three public datasets demonstrate the superiority of ActiLabel over state-of-the-art transfer learning and deep learning methods.


title: The regularity and $h$-polynomial of Cameron-Walker graphs

abstract: Fix an integer $n \geq 1$, and consider the set of all connected finite simple graphs on $n$ vertices. For each $G$ in this set, let $I(G)$ denote the edge ideal of $G$ in the polynomial ring $R = K[x_1,\ldots,x_n]$. We initiate a study of the set $\mathcal{RD}(n) \subseteq \mathbb{N}^2$ consisting of all the pairs $(r,d)$ where $r = {\rm reg}(R/I(G))$, the Castelnuovo-Mumford regularity, and $d = {\rm deg} h_{R/I(G)}(t)$, the degree of the $h$-polynomial, as we vary over all the connected graphs on $n$ vertices. In particular, we identify sets $A(n)$ and $B(n)$ such that $A(n) \subseteq \mathcal{RD}(n) \subseteq B(n)$. When we restrict to the family of Cameron-Walker graphs on $n$ vertices, we can completely characterize all the possible $(r,d)$.


title: Improving Performance in Reinforcement Learning by Breaking Generalization in Neural Networks

abstract: Reinforcement learning systems require good representations to work well. For decades practical success in reinforcement learning was limited to small domains. Deep reinforcement learning systems, on the other hand, are scalable, not dependent on domain specific prior knowledge and have been successfully used to play Atari, in 3D navigation from pixels, and to control high degree of freedom robots. Unfortunately, the performance of deep reinforcement learning systems is sensitive to hyper-parameter settings and architecture choices. Even well tuned systems exhibit significant instability both within a trial and across experiment replications. In practice, significant expertise and trial and error are usually required to achieve good performance. One potential source of the problem is known as catastrophic interference: when later training decreases performance by overriding previous learning. Interestingly, the powerful generalization that makes Neural Networks (NN) so effective in batch supervised learning might explain the challenges when applying them in reinforcement learning tasks. In this paper, we explore how online NN training and interference interact in reinforcement learning. We find that simply re-mapping the input observations to a high-dimensional space improves learning speed and parameter sensitivity. We also show this preprocessing reduces interference in prediction tasks. More practically, we provide a simple approach to NN training that is easy to implement, and requires little additional computation. We demonstrate that our approach improves performance in both prediction and control with an extensive batch of experiments in classic control domains.


title: Relativistic photoeffect for $s$ states in a central field

abstract: We study the photoionization of the $s$ states in the systems bound by sufficiently weak central fields $V(r)$ for the large photon energies corresponding to the relativistic photoelectrons. We demonstrate that the energy dependence of the photoionization cross section can be obtained without solving the wave equation. We show that the shape of the energy dependence of the cross section is determined by analytical properties of the binding potential $V(r)$. We find the cross sections for the potentials $V(r)$ which have singularities in the origin, on the real axis and in the complex plane.


title: Polynomial scaling of QAOA for ground-state preparation of the fully-connected p-spin ferromagnet

abstract: We show that the quantum approximate optimization algorithm (QAOA) can construct with polynomially scaling resources the ground state of the fully-connected p-spin Ising ferromagnet, a problem that notoriously poses severe difficulties to a Quantum Annealing (QA) approach, due to the exponentially small gaps encountered at first-order phase transition for ${\rm p} \ge 3$. For a target ground state at arbitrary transverse field, we find that an appropriate QAOA parameter initialization is necessary to achieve a good performance of the algorithm when the number of variational parameters $2{\rm P}$ is much smaller than the system size ${\rm N}$, because of the large number of sub-optimal local minima. Instead, when ${\rm P}$ exceeds a critical value ${\rm P}^*_{\rm N} \propto {\rm N}$, the structure of the parameter space simplifies, as all minima become degenerate. This allows to achieve the ground state with perfect fidelity with a number of parameters scaling extensively with ${\rm N}$, and with resources scaling polynomially with ${\rm N}$.


title: A cryogenic-helium pipe flow facility with unique double-line molecular tagging velocimetry capability

abstract: Cryogenic helium-4 has extremely small kinetic viscosity, which makes it a promising material for high Reynolds ($Re$) number turbulence research in compact laboratory apparatuses. In its superfluid phase (He II), helium has an extraordinary heat transfer capability and has been utilized in various scientific and engineering applications. In order to unlock the full potential of helium in turbulence research and to improve our understanding of the heat transfer mechanism in He II, a flow facility that allows quantitative study of helium heat-and-mass transfer processes is needed. Here we report our work in assembling and testing a unique helium pipe flow facility that incorporates a novel double-line molecular tracking velocimetry (DL-MTV) system. This flow facility allows us to generate turbulent pipe flows with $Re$ above $10^7$, and it can also be adapted to produce heat-induced counterflow in He II. The DL-MTV system, which is based on the generation and tracking of two parallel thin He$^*_2$ molecular tracer lines with an adjustable separation distance, allows us to measure not only the velocity profile but also both the transverse and longitudinal spatial velocity structure functions. We have also installed a deferential pressure sensor to the flow pipe for pressure drop measurement. The testing results of the flow facility and the measurement devices are presented. We discuss how this facility will allow us to solve some outstanding problems in the helium heat-and-mass transfer topic area.


title: Formal Methods Analysis of the Secure Remote Password Protocol

abstract: We analyze the Secure Remote Password (SRP) protocol for structural weaknesses using the Cryptographic Protocol Shapes Analyzer (CPSA) in the first formal analysis of SRP (specifically, Version 3). SRP is a widely deployed Password Authenticated Key Exchange (PAKE) protocol used in 1Password, iCloud Keychain, and other products. As with many PAKE protocols, two participants use knowledge of a pre-shared password to authenticate each other and establish a session key. SRP aims to resist dictionary attacks, not store plaintext-equivalent passwords on the server, avoid patent infringement, and avoid export controls by not using encryption. Formal analysis of SRP is challenging in part because existing tools provide no simple way to reason about its use of the mathematical expression $v + g^b \mod q$. Modeling $v + g^b$ as encryption, we complete an exhaustive study of all possible execution sequences of SRP. Ignoring possible algebraic attacks, this analysis detects no major structural weakness, and in particular no leakage of any secrets. We do uncover one notable weakness of SRP, which follows from its design constraints. It is possible for a malicious server to fake an authentication session with a client, without the client's participation. This action might facilitate an escalation of privilege attack, if the client has higher privileges than does the server. We conceived of this attack before we used CPSA and confirmed it by generating corresponding execution shapes using CPSA.


title: Weak and Strong Gradient Directions: Explaining Memorization, Generalization, and Hardness of Examples at Scale

abstract: Coherent Gradients (CGH) is a recently proposed hypothesis to explain why over-parameterized neural networks trained with gradient descent generalize well even though they have sufficient capacity to memorize the training set. The key insight of CGH is that, since the overall gradient for a single step of SGD is the sum of the per-example gradients, it is strongest in directions that reduce the loss on multiple examples if such directions exist. In this paper, we validate CGH on ResNet, Inception, and VGG models on ImageNet. Since the techniques presented in the original paper do not scale beyond toy models and datasets, we propose new methods. By posing the problem of suppressing weak gradient directions as a problem of robust mean estimation, we develop a coordinate-based median of means approach. We present two versions of this algorithm, M3, which partitions a mini-batch into 3 groups and computes the median, and a more efficient version RM3, which reuses gradients from previous two time steps to compute the median. Since they suppress weak gradient directions without requiring per-example gradients, they can be used to train models at scale. Experimentally, we find that they indeed greatly reduce overfitting (and memorization) and thus provide the first convincing evidence that CGH holds at scale. We also propose a new test of CGH that does not depend on adding noise to training labels or on suppressing weak gradient directions. Using the intuition behind CGH, we posit that the examples learned early in the training process (i.e., "easy" examples) are precisely those that have more in common with other training examples. Therefore, as per CGH, the easy examples should generalize better amongst themselves than the hard examples amongst themselves. We validate this hypothesis with detailed experiments, and believe that it provides further orthogonal evidence for CGH.


title: Exploring molecular complexity with ALMA (EMoCA): Complex isocyanides in Sgr B2(N)

abstract: We used the EMoCA survey data to search for isocyanides in Sgr B2(N2) and their corresponding cyanide analogs. We then used the coupled three-phase chemical kinetics code MAGICKAL to simulate their chemistry. Several new species, and over 100 new reactions have been added to the network. In addition, a new single-stage simultaneous collapse/warm-up model has been implemented, thus eliminating the need for the previous two-stage models. A variable, visual extinction-dependent $\zeta$ was also incorporated into the model and tested. We report the tentative detection of CH$_3$NC and HCCNC in Sgr B2(N2), which represents the first detection of both species in a hot core of Sgr B2. Our updated chemical models can reproduce most observed NC:CN ratios reasonably well depending on the physical parameters chosen. The model that performs best has an extinction-dependent cosmic-ray ionization rate that varies from ~2 $\times$ 10$^{-15}$ s$^{-1}$ at the edge of the cloud to ~1 $\times$ 10$^{-16}$ s$^{-1}$ in the center. Models with higher extinction-dependent $\zeta$ than this model generally do not agree as well, nor do models with a constant $\zeta$ greater than the canonical value of 1.3 $\times$ 10$^{-17}$ s$^{-1}$ throughout the source. Radiative transfer models are run using results of the best-fit chemical model. Column densities produced by the radiative transfer models are significantly lower than those determined observationally. Inaccuracy in the observationally determined density and temperature profiles is a possible explanation. Excitation temperatures are well reproduced for the true ``hot core'' molecules, but are more variable for other molecules such as HC$_3$N, for which fewer lines exist in ALMA Band 3.


title: Parallel sequence tagging for concept recognition

abstract: Background: Named Entity Recognition (NER) and Normalisation (NEN) are core components of any text-mining system for biomedical texts. In a traditional concept-recognition pipeline, these tasks are combined in a serial way, which is inherently prone to error propagation from NER to NEN. We propose a parallel architecture, where both NER and NEN are modeled as a sequence-labeling task, operating directly on the source text. We examine different harmonisation strategies for merging the predictions of the two classifiers into a single output sequence. Results: We test our approach on the recent Version 4 of the CRAFT corpus. In all 20 annotation sets of the concept-annotation task, our system outperforms the pipeline system reported as a baseline in the CRAFT shared task 2019. Conclusions: Our analysis shows that the strengths of the two classifiers can be combined in a fruitful way. However, prediction harmonisation requires individual calibration on a development set for each annotation set. This allows achieving a good trade-off between established knowledge (training set) and novel information (unseen concepts). Availability and Implementation: Source code freely available for download at https://github.com/OntoGene/craft-st. Supplementary data are available at arXiv online.


title: Towards Transparent Robotic Planning via Contrastive Explanations

abstract: Providing explanations of chosen robotic actions can help to increase the transparency of robotic planning and improve users' trust. Social sciences suggest that the best explanations are contrastive, explaining not just why one action is taken, but why one action is taken instead of another. We formalize the notion of contrastive explanations for robotic planning policies based on Markov decision processes, drawing on insights from the social sciences. We present methods for the automated generation of contrastive explanations with three key factors: selectiveness, constrictiveness, and responsibility. The results of a user study with 100 participants on the Amazon Mechanical Turk platform show that our generated contrastive explanations can help to increase users' understanding and trust of robotic planning policies while reducing users' cognitive burden.


title: Brown representability for directed graphs

abstract: We prove that any contravariant functor from the homotopy category of finite directed graphs to abelian groups satisfying the additivity axiom and the Mayer-Vietoris axiom is representable.


title: Beyond Alice and Bob: Improved Inapproximability for Maximum Independent Set in CONGEST

abstract: By far the most fruitful technique for showing lower bounds for the CONGEST model is reductions to two-party communication complexity. This technique has yielded nearly tight results for various fundamental problems such as distance computations, minimum spanning tree, minimum vertex cover, and more. In this work, we take this technique a step further, and we introduce a framework of reductions to $t$-party communication complexity, for every $t\geq 2$. Our framework enables us to show improved hardness results for maximum independent set. Recently, Bachrach et al.[PODC 2019] used the two-party framework to show hardness of approximation for maximum independent set. They show that finding a $(5/6+\epsilon)$-approximation requires $\Omega(n/\log^6 n)$ rounds, and finding a $(7/8+\epsilon)$-approximation requires $\Omega(n^2/\log^7 n)$ rounds, in the CONGEST model where $n$ in the number of nodes in the network. We improve the results of Bachrach et al. by using reductions to multi-party communication complexity. Our results: (1) Any algorithm that finds a $(1/2+\epsilon)$-approximation for maximum independent set in the CONGEST model requires $\Omega(n/\log^3 n)$ rounds. (2) Any algorithm that finds a $(3/4+\epsilon)$-approximation for maximum independent set in the CONGEST model requires $\Omega(n^2/\log^3 n)$ rounds.


title: Developing a Multilingual Annotated Corpus of Misogyny and Aggression

abstract: In this paper, we discuss the development of a multilingual annotated corpus of misogyny and aggression in Indian English, Hindi, and Indian Bangla as part of a project on studying and automatically identifying misogyny and communalism on social media (the ComMA Project). The dataset is collected from comments on YouTube videos and currently contains a total of over 20,000 comments. The comments are annotated at two levels - aggression (overtly aggressive, covertly aggressive, and non-aggressive) and misogyny (gendered and non-gendered). We describe the process of data collection, the tagset used for annotation, and issues and challenges faced during the process of annotation. Finally, we discuss the results of the baseline experiments conducted to develop a classifier for misogyny in the three languages.


title: Context-dependent self-exciting point processes: models, methods, and risk bounds in high dimensions

abstract: High-dimensional autoregressive point processes model how current events trigger or inhibit future events, such as activity by one member of a social network can affect the future activity of his or her neighbors. While past work has focused on estimating the underlying network structure based solely on the times at which events occur on each node of the network, this paper examines the more nuanced problem of estimating context-dependent networks that reflect how features associated with an event (such as the content of a social media post) modulate the strength of influences among nodes. Specifically, we leverage ideas from compositional time series and regularization methods in machine learning to conduct network estimation for high-dimensional marked point processes. Two models and corresponding estimators are considered in detail: an autoregressive multinomial model suited to categorical marks and a logistic-normal model suited to marks with mixed membership in different categories. Importantly, the logistic-normal model leads to a convex negative log-likelihood objective and captures dependence across categories. We provide theoretical guarantees for both estimators, which we validate by simulations and a synthetic data-generating model. We further validate our methods through two real data examples and demonstrate the advantages and disadvantages of both approaches.


title: Spin to pseudo-spin conversion in graphene-like systems: A Kubo formalism including vertex corrections

abstract: Spin to pseudo-spin conversion by which spin population imbalance converts to non-equilibrium pseudo-spin density in Dirac systems has been investigated particularly for graphene and insulator phase of silicene. Calculations have been performed within the Kubo approach and by taking into account the vertex correction. Results indicate that spin converts to pseudo-spin in either graphene or silicene that identified to come from the spin-orbit interactions. The response function of spin to pseudo-spin conversion is weakened several orders of magnitude by vertex correction of impurities in graphene, however, this conversion is strengthened in insulator silicene. In addition, in the case of silicene, results are indicative of an obvious change in the mentioned response function as a result of the change in band-topology which can be observed by manipulation of external electric field, vertically applied to the system surface. At the critical electric field in which the topological phase transition for silicene nano-ribbon has been observed, response function changes abruptly. Interconversion between the quantum numbers could provide a field for information and data processing technologies.


title: Inflationary equilibrium configurations of scalar-tensor theories of gravity

abstract: In this paper we investigate the asymptotic dynamics of inflationary cosmological models that are based in scalar-tensor theories of gravity. Our main aim is to explore the global structure of the phase space in the framework of single-field inflation models. For this purpose we make emphasis in the adequate choice of the variables of the phase space. Our results indicate that, although single-field inflation is generic in the sense that the corresponding critical point in the phase space exists for a wide class of potentials, along given phase space orbits -- representing potential cosmic histories -- the occurrence of the inflationary stage is rather dependent on the initial conditions. We have been able to give quantitative estimates of the relative probability (RP) for initial conditions leading to slow-roll inflation. For the non-minimal coupling model with the $\phi^2$-potential our rough estimates yield to an almost vanishing relative probability: $10^{-13}\,\%\lesssim RP\ll 10^{-8}\,\%$. These bonds are greatly improved in the scalar-tensor models, including the Brans-Dicke theory, where the relative probability $1\,\%\lesssim RP\leq 100\,\%$. Hence slow-roll inflation is indeed a natural stage of the cosmic expansion in Brans-Dicke models of inflation. It is confirmed as well that the dynamics of vacuum Brans-Dicke theories with arbitrary potentials are non-chaotic.


title: Hihooi: A Database Replication Middleware for Scaling Transactional Databases Consistently

abstract: With the advent of the Internet and Internet-connected devices, modern business applications can experience rapid increases as well as variability in transactional workloads. Database replication has been employed to scale performance and improve availability of relational databases but past approaches have suffered from various issues including limited scalability, performance versus consistency tradeoffs, and requirements for database or application modifications. This paper presents Hihooi, a replication-based middleware system that is able to achieve workload scalability, strong consistency guarantees, and elasticity for existing transactional databases at a low cost. A novel replication algorithm enables Hihooi to propagate database modifications asynchronously to all replicas at high speeds, while ensuring that all replicas are consistent. At the same time, a fine-grained routing algorithm is used to load balance incoming transactions to available replicas in a consistent way. Our thorough experimental evaluation with several well-established benchmarks shows how Hihooi is able to achieve almost linear workload scalability for transactional databases.


title: LAXARY: A Trustworthy Explainable Twitter Analysis Model for Post-Traumatic Stress Disorder Assessment

abstract: Veteran mental health is a significant national problem as large number of veterans are returning from the recent war in Iraq and continued military presence in Afghanistan. While significant existing works have investigated twitter posts-based Post Traumatic Stress Disorder (PTSD) assessment using blackbox machine learning techniques, these frameworks cannot be trusted by the clinicians due to the lack of clinical explainability. To obtain the trust of clinicians, we explore the big question, can twitter posts provide enough information to fill up clinical PTSD assessment surveys that have been traditionally trusted by clinicians? To answer the above question, we propose, LAXARY (Linguistic Analysis-based Exaplainable Inquiry) model, a novel Explainable Artificial Intelligent (XAI) model to detect and represent PTSD assessment of twitter users using a modified Linguistic Inquiry and Word Count (LIWC) analysis. First, we employ clinically validated survey tools for collecting clinical PTSD assessment data from real twitter users and develop a PTSD Linguistic Dictionary using the PTSD assessment survey results. Then, we use the PTSD Linguistic Dictionary along with machine learning model to fill up the survey tools towards detecting PTSD status and its intensity of corresponding twitter users. Our experimental evaluation on 210 clinically validated veteran twitter users provides promising accuracies of both PTSD classification and its intensity estimation. We also evaluate our developed PTSD Linguistic Dictionary's reliability and validity.


title: A Novel AI-enabled Framework to Diagnose Coronavirus COVID 19 using Smartphone Embedded Sensors: Design Study

abstract: Coronaviruses are a famous family of viruses that cause illness in both humans and animals. The new type of coronavirus COVID-19 was firstly discovered in Wuhan, China. However, recently, the virus has widely spread in most of the world and causing a pandemic according to the World Health Organization (WHO). Further, nowadays, all the world countries are striving to control the COVID-19. There are many mechanisms to detect coronavirus including clinical analysis of chest CT scan images and blood test results. The confirmed COVID-19 patient manifests as fever, tiredness, and dry cough. Particularly, several techniques can be used to detect the initial results of the virus such as medical detection Kits. However, such devices are incurring huge cost, taking time to install them and use. Therefore, in this paper, a new framework is proposed to detect COVID-19 using built-in smartphone sensors. The proposal provides a low-cost solution, since most of radiologists have already held smartphones for different daily-purposes. Not only that but also ordinary people can use the framework on their smartphones for the virus detection purposes. Nowadays Smartphones are powerful with existing computation-rich processors, memory space, and large number of sensors including cameras, microphone, temperature sensor, inertial sensors, proximity, colour-sensor, humidity-sensor, and wireless chipsets/sensors. The designed Artificial Intelligence (AI) enabled framework reads the smartphone sensors signal measurements to predict the grade of severity of the pneumonia as well as predicting the result of the disease.


title: Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities

abstract: Vyper has been proposed as a new high-level language for Ethereum smart contract development due to numerous security vulnerabilities and attacks witnessed on contracts written in Solidity since the system's inception. Vyper aims to address these vulnerabilities by providing a language that focuses on simplicity, auditability and security. We present a survey where we study how well-known and commonly-encountered vulnerabilities in Solidity feature in Vyper's development environment. We analyze all such vulnerabilities individually and classify them into five groups based on their status in Vyper. To the best of our knowledge, our survey is the first attempt to study security vulnerabilities in Vyper.


title: Landauer Principle and General Relativity

abstract: We endeavour to illustrate the physical relevance of the Landauer principle applying it to different important issues concerning the theory of gravitation. We shall first analyze, in the context of general relativity, the consequences derived from the fact, implied by Landauer principle, that information has mass. Next, we shall analyze the role played by the Landauer principle in order to understand why different congruences of observers provide very different physical descriptions of the same space--time. Finally, we shall apply the Landauer principle to the problem of gravitational radiation. We shall see that the fact that gravitational radiation is an irreversible process entailing dissipation, is a straightforward consequence of the Landauer principle and of the fact that gravitational radiation conveys information. An expression measuring the part of radiated energy that corresponds to the radiated information and an expression defining the total number of bits erased in that process, shall be obtained, as well as an explicit expression linking the latter to the Bondi news function.


title: Inverse Faraday effect in graphene and Weyl semimetals

abstract: We report systematic theoretical studies of the inverse Faraday effect in materials with massless Dirac fermions, both in two dimensions such as graphene and surface states in topological insulators, and in three dimensions such as Dirac and Weyl semimetals. Both semiclassical and quantum theories are presented, with dissipation and finite size effects included. We find that the magnitude of the effect can be much stronger in Dirac materials as compared to conventional semiconductors. Analytic expressions for the optically induced magnetization in the low temperature limit are obtained. Strong inverse Faraday effect in Dirac materials can be used for the optical control of magnetization, all-optical modulation, and optical isolation.


title: Duoquest: A Dual-Specification System for Expressive SQL Queries

abstract: Querying a relational database is difficult because it requires users to know both the SQL language and be familiar with the schema. On the other hand, many users possess enough domain familiarity or expertise to describe their desired queries by alternative means. For such users, two major alternatives to writing SQL are natural language interfaces (NLIs) and programming-by-example (PBE). Both of these alternatives face certain pitfalls: natural language queries (NLQs) are often ambiguous, even for human interpreters, while current PBE approaches require either low-complexity queries, user schema knowledge, exact example tuples from the user, or a closed-world assumption to be tractable. Consequently, we propose dual-specification query synthesis, which consumes both a NLQ and an optional PBE-like table sketch query that enables users to express varied levels of domain-specific knowledge. We introduce the novel dual-specification Duoquest system, which leverages guided partial query enumeration to efficiently explore the space of possible queries. We present results from user studies in which Duoquest demonstrates a 62.5% absolute increase in query construction accuracy over a state-of-the-art NLI and comparable accuracy to a PBE system on a more limited workload supported by the PBE system. In a simulation study on the prominent Spider benchmark, Duoquest demonstrates a >2x increase in top-1 accuracy over both NLI and PBE.


title: A Dixmier theorem for Poisson enveloping algebras

abstract: We consider a skew-symmetric $n$-ary bracket on the polynomial algebra $K[x_1,\ldots,x_n,x_{n+1}]$ ($n\geq 2$) over a field $K$ of characteristic zero defined by $\{a_1,\ldots,a_n\}=J(a_1,\ldots,a_n,C)$, where $C$ is a fixed element of $K[x_1,\ldots,x_n,x_{n+1}]$ and $J$ is the Jacobian. If $n=2$ then this bracket is a Poisson bracket and if $n\geq 3$ then it is an $n$-Lie-Poisson bracket on $K[x_1,\ldots,x_n,x_{n+1}]$. We describe the center of the corresponding $n$-Lie-Poisson algebra and show that the quotient algebra $K[x_1,\ldots,x_n,x_{n+1}]/(C-\lambda)$, where $(C-\lambda)$ is the ideal generated by $C-\lambda$, $0\neq \lambda \in K$, is a simple central $n$-Lie-Poisson algebra if $C$ is a homogeneous polynomial that is not a proper power of any nonzero polynomial. This construction includes the quotients $P(\mathrm{sl}_2(K))/(C-\lambda)$ of the Poisson enveloping algebra $P(\mathrm{sl}_2(K))$ of the simple Lie algebra $\mathrm{sl}_2(K)$, where $C$ is the standard Casimir element of $\mathrm{sl}_2(K)$ in $P(\mathrm{sl}_2(K))$. It is also proven that the quotients $P(\mathbb{M})/(C-\lambda)$ of the Poisson enveloping algebra $P(\mathbb{M})$ of the exceptional simple seven dimensional Malcev algebra $\mathbb{M}$ are central simple.


title: Physical Time-Varying Transfer Functions as Generic Low-Overhead Power-SCA Countermeasure

abstract: Mathematically-secure cryptographic algorithms leak significant side channel information through their power supplies when implemented on a physical platform. These side channel leakages can be exploited by an attacker to extract the secret key of an embedded device. The existing state-of-the-art countermeasures mainly focus on the power balancing, gate-level masking, or signal-to-noise (SNR) reduction using noise injection and signature attenuation, all of which suffer either from the limitations of high power/area overheads, performance degradation or are not synthesizable. In this article, we propose a generic low-overhead digital-friendly power SCA countermeasure utilizing physical Time-Varying Transfer Functions (TVTF) by randomly shuffling distributed switched capacitors to significantly obfuscate the traces in the time domain. System-level simulation results of the TVTF-AES implemented in TSMC 65nm CMOS technology show > 4000x MTD improvement over the unprotected implementation with nearly 1.25x power and 1.2x area overheads, and without any performance degradation.


title: Pretraining Image Encoders without Reconstruction via Feature Prediction Loss

abstract: This work investigates three methods for calculating loss for autoencoder-based pretraining of image encoders: The commonly used reconstruction loss, the more recently introduced deep perceptual similarity loss, and a feature prediction loss proposed here; the latter turning out to be the most efficient choice. Standard auto-encoder pretraining for deep learning tasks is done by comparing the input image and the reconstructed image. Recent work shows that predictions based on embeddings generated by image autoencoders can be improved by training with perceptual loss, i.e., by adding a loss network after the decoding step. So far the autoencoders trained with loss networks implemented an explicit comparison of the original and reconstructed images using the loss network. However, given such a loss network we show that there is no need for the time-consuming task of decoding the entire image. Instead, we propose to decode the features of the loss network, hence the name "feature prediction loss". To evaluate this method we perform experiments on three standard publicly available datasets (LunarLander-v2, STL-10, and SVHN) and compare six different procedures for training image encoders (pixel-wise, perceptual similarity, and feature prediction losses; combined with two variations of image and feature encoding/decoding). The embedding-based prediction results show that encoders trained with feature prediction loss is as good or better than those trained with the other two losses. Additionally, the encoder is significantly faster to train using feature prediction loss in comparison to the other losses. The method implementation used in this work is available online: https://github.com/guspih/Perceptual-Autoencoders


title: Real Time Multi-Class Object Detection and Recognition Using Vision Augmentation Algorithm

abstract: The aim of this research is to detect small objects with low resolution and noise. The existing real time object detection algorithm is based on the deep neural network of convolution need to perform multilevel convolution and pooling operations on the entire image to extract a deep semantic characteristic of the image. The detection models perform better for large objects. The features of existing models do not fully represent the essential features of small objects after repeated convolution operations. We have introduced a novel real time detection algorithm which employs upsampling and skip connection to extract multiscale features at different convolution levels in a learning task resulting a remarkable performance in detecting small objects. The detection precision of the model is shown to be higher and faster than that of the state-of-the-art models.


title: Learnergy: Energy-based Machine Learners

abstract: Throughout the last years, machine learning techniques have been broadly encouraged in the context of deep learning architectures. An exciting algorithm denoted as Restricted Boltzmann Machine relies on energy- and probabilistic-based nature to tackle the most diverse applications, such as classification, reconstruction, and generation of images and signals. Nevertheless, one can see they are not adequately renowned compared to other well-known deep learning techniques, e.g., Convolutional Neural Networks. Such behavior promotes the lack of researches and implementations around the literature, coping with the challenge of sufficiently comprehending these energy-based systems. Therefore, in this paper, we propose a Python-inspired framework in the context of energy-based architectures, denoted as Learnergy. Essentially, Learnergy is built upon PyTorch to provide a more friendly environment and a faster prototyping workspace and possibly the usage of CUDA computations, speeding up their computational time.


title: A Label Proportions Estimation Technique for Adversarial Domain Adaptation in Text Classification

abstract: Many text classification tasks are domain-dependent, and various domain adaptation approaches have been proposed to predict unlabeled data in a new domain. Domain-adversarial neural networks (DANN) and their variants have been used widely recently and have achieved promising results for this problem. However, most of these approaches assume that the label proportions of the source and target domains are similar, which rarely holds in most real-world scenarios. Sometimes the label shift can be large and the DANN fails to learn domain-invariant features. In this study, we focus on unsupervised domain adaptation of text classification with label shift and introduce a domain adversarial network with label proportions estimation (DAN-LPE) framework. The DAN-LPE simultaneously trains a domain adversarial net and processes label proportions estimation by the confusion of the source domain and the predictions of the target domain. Experiments show the DAN-LPE achieves a good estimate of the target label distributions and reduces the label shift to improve the classification performance.


title: A Numerical Transform of Random Forest Regressors corrects Systematically-Biased Predictions

abstract: Over the past decade, random forest models have become widely used as a robust method for high-dimensional data regression tasks. In part, the popularity of these models arises from the fact that they require little hyperparameter tuning and are not very susceptible to overfitting. Random forest regression models are comprised of an ensemble of decision trees that independently predict the value of a (continuous) dependent variable; predictions from each of the trees are ultimately averaged to yield an overall predicted value from the forest. Using a suite of representative real-world datasets, we find a systematic bias in predictions from random forest models. We find that this bias is recapitulated in simple synthetic datasets, regardless of whether or not they include irreducible error (noise) in the data, but that models employing boosting do not exhibit this bias. Here we demonstrate the basis for this problem, and we use the training data to define a numerical transformation that fully corrects it. Application of this transformation yields improved predictions in every one of the real-world and synthetic datasets evaluated in our study.


title: The Low Earth Orbit Satellite Population and Impacts of the SpaceX Starlink Constellation

abstract: I discuss the current low Earth orbit artificial satellite population and show that the proposed `megaconstellation' of circa 12,000 Starlink internet satellites would dominate the lower part of Earth orbit, below 600 km, with a latitude-dependent areal number density of between 0.005 and 0.01 objects per square degree at airmass < 2. Such large, low altitude satellites appear visually bright to ground observers, and the initial Starlinks are naked eye objects. I model the expected number of illuminated satellites as a function of latitude, time of year, and time of night and summarize the range of possible consequences for ground-based astronomy. In winter at lower latitudes typical of major observatories, the satellites will not be illuminated for six hours in the middle of the night. However, at low elevations near twilight at intermediate latitudes (45-55 deg, e.g. much of Europe) hundreds of satellites may be visible at once to naked-eye observers at dark sites.


title: Cryogenic-specific reddish coloration by cryoplasma: New explanation to color diversity of outer solar system objects

abstract: Reddish coloration and color diversity among icy bodies in the outer solar system are one of the significant clues for understanding the status and history of the solar system. However, the origin of color distribution remains debatable. Here, we demonstrate reddish coloration that is stable only at cryogenic temperatures in a laboratory experiment. The reddish coloration was produced on methanol- and water-containing ice irradiated with nitrogen-containing cryoplasma at 85 K. The reddish color visually faded and disappeared at 120-150 K as the ice was heated, unlike well-known refractory organic tholins that are stable even when heated to room temperature. This temperature dependence of reddish coloration under cryogenic conditions could provide a new possible explanation for the absence of ultra-red coloration closer to the Sun in the outer solar system. Our result implies that a reddish material specific to cryogenic environments is useful for the investigation of color diversity and formation mechanism of the outer solar system.


title: A Bispinor Formalism for Spinning Witten Diagrams

abstract: We develop a new embedding-space formalism for AdS$_4$ and CFT$_3$ that is useful for evaluating Witten diagrams for operators with spin. The basic variables are Killing spinors for the bulk AdS$_4$ and conformal Killing spinors for the boundary CFT$_3$. The more conventional embedding space coordinates $X^I$ for the bulk and $P^I$ for the boundary are bilinears in these new variables. We write a simple compact form for the general bulk-boundary propagator, and, for boundary operators of spin $\ell \geq 1$, we determine its conservation properties at the unitarity bound. In our CFT$_3$ formalism, we identify an $\mathfrak{so}(5,5)$ Lie algebra of differential operators that includes the basic weight-shifting operators. These operators, together with a set of differential operators in AdS$_4$, can be used to relate Witten diagrams with spinning external legs to Witten diagrams with only scalar external legs. We provide several applications that include Compton scattering and the evaluation of an $R^4$ contact interaction in AdS$_4$. Finally, we derive bispinor formulas for the bulk-to-bulk propagators of massive spinor and vector gauge fields and evaluate a diagram with spinor exchange.


title: Object-Centric Image Generation from Layouts

abstract: Despite recent impressive results on single-object and single-domain image generation, the generation of complex scenes with multiple objects remains challenging. In this paper, we start with the idea that a model must be able to understand individual objects and relationships between objects in order to generate complex scenes well. Our layout-to-image-generation method, which we call Object-Centric Generative Adversarial Network (or OC-GAN), relies on a novel Scene-Graph Similarity Module (SGSM). The SGSM learns representations of the spatial relationships between objects in the scene, which lead to our model's improved layout-fidelity. We also propose changes to the conditioning mechanism of the generator that enhance its object instance-awareness. Apart from improving image quality, our contributions mitigate two failure modes in previous approaches: (1) spurious objects being generated without corresponding bounding boxes in the layout, and (2) overlapping bounding boxes in the layout leading to merged objects in images. Extensive quantitative evaluation and ablation studies demonstrate the impact of our contributions, with our model outperforming previous state-of-the-art approaches on both the COCO-Stuff and Visual Genome datasets. Finally, we address an important limitation of evaluation metrics used in previous works by introducing SceneFID -- an object-centric adaptation of the popular Fr{\'e}chet Inception Distance metric, that is better suited for multi-object images.


title: Spectral Graph Attention Network with Fast Eigen-approximation

abstract: Variants of Graph Neural Networks (GNNs) for representation learning have been proposed recently and achieved fruitful results in various fields. Among them, Graph Attention Network (GAT) first employs a self-attention strategy to learn attention weights for each edge in the spatial domain. However, learning the attentions over edges can only focus on the local information of graphs and greatly increases the computational costs. In this paper, we first introduce the attention mechanism in the spectral domain of graphs and present Spectral Graph Attention Network (SpGAT) that learns representations for different frequency components regarding weighted filters and graph wavelets bases. In this way, SpGAT can better capture global patterns of graphs in an efficient manner with much fewer learned parameters than that of GAT. Further, to reduce the computational cost of SpGAT brought by the eigen-decomposition, we propose a fast approximation variant SpGAT-Cheby. We thoroughly evaluate the performance of SpGAT and SpGAT-Cheby in semi-supervised node classification tasks and verify the effectiveness of the learned attentions in the spectral domain.


title: Physical Resurgent Extrapolation

abstract: Expansions of physical functions are controlled by their singularities, which have special structure because they themselves are physical, corresponding to instantons, caustics or saddle configurations. Resurgent asymptotics formalizes this idea mathematically, and leads to significantly more powerful extrapolation methods to extract physical information from a finite number of terms of an expansion, including precise decoding of non-perturbative effects.


title: There are no exotic actions of diffeomorphism groups on 1-manifolds

abstract: Let $M$ be a manifold, $N$ a 1-dimensional manifold. Assuming $r \neq \dim(M)+1$, we show that any nontrivial homomorphism $\rho: \text{Diff}^r_c(M)\to \text{Homeo}(N)$ has a standard form: necessarily $M$ is $1$-dimensional, and there are countably many embeddings $\phi_i: M\to N$ with disjoint images such that the action of $\rho$ is conjugate (via the product of the $\phi_i$) to the diagonal action of $\text{Diff}^r_c(M)$ on $M \times M \times ...$ on $\bigcup_i \phi_i(M)$, and trivial elsewhere. This solves a conjecture of Matsumoto. We also show that the groups $\text{Diff}^r_c(M)$ have no countable index subgroups.


title: Predictive power of transverse-momentum-dependent distributions

abstract: We investigate the predictive power of transverse-momentum-dependent (TMD) distributions as a function of the light-cone momentum fraction $x$ and the hard scale $Q$ defined by the process. We apply the saddle point approximation to the unpolarized quark and gluon transverse momentum distributions and evaluate the position of the saddle point as a function of the kinematics. We determine quantitatively that the predictive power for an unpolarized transverse momentum distribution is maximal in the large-$Q$ and small-$x$ region. For cross sections the predictive power of the TMD factorization formalism is generally enhanced by considering the convolution of two distributions, and we explicitly consider the case of $Z$ and $H^0$ boson production. In the kinematic regions where the predictive power is not maximal, the distributions are sensitive to the non-perturbative hadron structure. Thus, these regions are critical for investigating hadron tomography in a three-dimensional momentum space.


title: On characterizing the Quantum Geometry underlying Asymptotic Safety

abstract: The asymptotic safety program builds on a high-energy completion of gravity based on the Reuter fixed point, a non-trivial fixed point of the gravitational renormalization group flow. At this fixed point the canonical mass-dimension of coupling constants is balanced by anomalous dimensions induced by quantum fluctuations such that the theory enjoys quantum scale invariance in the ultraviolet. The crucial role played by the quantum fluctuations suggests that the geometry associated with the fixed point exhibits non-manifold like properties. In this work, we continue the characterization of this geometry employing the composite operator formalism based on the effective average action. Explicitly, we give a relation between the anomalous dimensions of geometric operators on a background $d$-sphere and the stability matrix encoding the linearized renormalization group flow in the vicinity of the fixed point. The eigenvalue spectrum of the stability matrix is analyzed in detail and we identify a "perturbative regime" where the spectral properties are governed by canonical power counting. Our results recover the feature that quantum gravity fluctuations turn the (classically marginal) $R^2$-operator into a relevant one. Moreover, we find strong indications that higher-order curvature terms present in the two-point function play a crucial role in guaranteeing the predictive power of the Reuter fixed point.


title: Relations among structural parameters in barred galaxies with a direct measurement of bar pattern speed

abstract: We investigate the relations between the properties of bars and their host galaxies in a sample of 77 nearby barred galaxies, spanning a wide range of morphological types and luminosities, with 34 SB0-SBa and 43 SBab-SBc galaxies. The sample includes all the galaxies with reliable direct measurement of their bar pattern speed based on long-slit or integral-field stellar spectroscopy using the Tremaine-Weinberg method. We limited our analysis to the galaxies with a relatively small relative error on the bar pattern speed (smaller than 50 per cent) and not hosting an ultrafast bar. For each galaxy, we collected the radius, strength, pattern speed, corotation radius, and rotation rate for the bar and we also collected the Hubble type and absolute SDSS r-band magnitude. We also used literature bulge-to-total luminosity ratio for a subsample of 53 galaxies with an available photometric decomposition. We confirmed earlier observational findings that longer bars rotate with lower bar pattern speeds, shorter bars are weaker, and bars with a small bar rotation rate rotate with higher bar pattern speeds and have smaller corotation radii. In addition, we found that stronger bars rotate with lower bar pattern speeds, as predicted from the interchange of angular momentum during bar evolution, which in turn may depend on different galaxy properties. Moreover, we report that brighter galaxies host longer bars, which rotate with lower bar pattern speeds and have larger corotation radii. This result is in agreement with a scenario of downsizing in bar formation, if more massive galaxies formed earlier and had sufficient time to slow down, grow in length, and push corotation outwards.


title: HELFI: a Hebrew-Greek-Finnish Parallel Bible Corpus with Cross-Lingual Morpheme Alignment

abstract: Twenty-five years ago, morphologically aligned Hebrew-Finnish and Greek-Finnish bitexts (texts accompanied by a translation) were constructed manually in order to create an analytical concordance (Luoto et al., 1997) for a Finnish Bible translation. The creators of the bitexts recently secured the publisher's permission to release its fine-grained alignment, but the alignment was still dependent on proprietary, third-party resources such as a copyrighted text edition and proprietary morphological analyses of the source texts. In this paper, we describe a nontrivial editorial process starting from the creation of the original one-purpose database and ending with its reconstruction using only freely available text editions and annotations. This process produced an openly available dataset that contains (i) the source texts and their translations, (ii) the morphological analyses, (iii) the cross-lingual morpheme alignments.


title: Implications of Stahl's Theorems to Holomorphic Embedding Pt. 2: Numerical Convergence

abstract: What has become known as Stahl's Theorem in power-engineering circles has been used to justify a convergence guarantee of the Holomorphic Embedding Method (HEM) as it applies to the power-flow problem. In this, the second part of a two-part paper, we examine implications to numerical convergence of HEM and the numerical properties of a Pad\'e approximant algorithm. We show that even if the convergence domain is identical to the function's domain, numerical convergence of the sequence of Pad\'e approximants computed with finite precision is not guaranteed. We also show that the study of convergence properties of the Pad\'e approximant is the study of the location of branch-points of the function, which dictate branch-cut topology and capacity and, therefore, convergence rate. We show how poorly chosen embeddings can prevent numerical convergence.


title: Dimensional crossovers and Casimir forces for the Bose gas in anisotropic optical lattices

abstract: We consider the Bose gas on a $d$-dimensional anisotropic lattice employing the imperfect (mean-field) gas as a prototype example. We study the dimensional crossover arising as a result of varying the dispersion relation at finite temperature $T$. We analyze in particular situations where one of the relevant effective dimensionalities is located at or below the lower critical dimension, so that the Bose-Einstein condensate becomes expelled from the system by anisotropically modifying the lattice parameters controlling the kinetic term in the Hamiltonian. We clarify the mechanism governing this phenomenon. Subsequently we study the thermodynamic Casimir effect occurring in this system. We compute the exact profile of the scaling function for the Casimir energy. As an effect of strongly anisotropic scale invariance, the Casimir force below or at the critical temperature $T_c$ may be repulsive even for periodic boundary conditions. The corresponding Casimir amplitude is universal only in a restricted sense, and the power law governing the decay of the Casimir interaction becomes modified. We also demonstrate that, under certain circumstances, the scaling function is constant for suffciently large values of the scaling variable, and in consequence is not an analytical function. At $T > T_c$ the Casimir-like interactions reflect the structure of the correlation function, and, for certain orientations of the confining walls, show exponentially damped oscillatory behavior so that the corresponding force is attractive or repulsive depending on the distance.


title: Offensive Language Identification in Greek

abstract: As offensive language has become a rising issue for online communities and social media platforms, researchers have been investigating ways of coping with abusive content and developing systems to detect its different types: cyberbullying, hate speech, aggression, etc. With a few notable exceptions, most research on this topic so far has dealt with English. This is mostly due to the availability of language resources for English. To address this shortcoming, this paper presents the first Greek annotated dataset for offensive language identification: the Offensive Greek Tweet Dataset (OGTD). OGTD is a manually annotated dataset containing 4,779 posts from Twitter annotated as offensive and not offensive. Along with a detailed description of the dataset, we evaluate several computational models trained and tested on this data.


title: u-net CNN based fourier ptychography

abstract: Fourier ptychography is a recently explored imaging method for overcoming the diffraction limit of conventional cameras with applications in microscopy and yielding high-resolution images. In order to splice together low-resolution images taken under different illumination angles of coherent light source, an iterative phase retrieval algorithm is adopted. However, the reconstruction procedure is slow and needs a good many of overlap in the Fourier domain for the continuous recorded low-resolution images and is also worse under system aberrations such as noise or random update sequence. In this paper, we propose a new retrieval algorithm that is based on convolutional neural networks. Once well trained, our model can perform high-quality reconstruction rapidly by using the graphics processing unit. The experiments demonstrate that our model achieves better reconstruction results and is more robust under system aberrations.


title: Identifying Notable News Stories

abstract: The volume of news content has increased significantly in recent years and systems to process and deliver this information in an automated fashion at scale are becoming increasingly prevalent. One critical component that is required in such systems is a method to automatically determine how notable a certain news story is, in order to prioritize these stories during delivery. One way to do so is to compare each story in a stream of news stories to a notable event. In other words, the problem of detecting notable news can be defined as a ranking task; given a trusted source of notable events and a stream of candidate news stories, we aim to answer the question: "Which of the candidate news stories is most similar to the notable one?". We employ different combinations of features and learning to rank (LTR) models and gather relevance labels using crowdsourcing. In our approach, we use structured representations of candidate news stories (triples) and we link them to corresponding entities. Our evaluation shows that the features in our proposed method outperform standard ranking methods, and that the trained model generalizes well to unseen news stories.


title: The Structure of Molten FLiNaK

abstract: The structure of the molten salt (LiF)$_{0.465}$(NaF)$_{0.115}$(KF)$_{0.42}$ (FLiNaK), a potential coolant for molten salt nuclear reactors, has been studied by ab initio molecular dynamics simulations and neutron total scattering experiments. We find that the salt retains well-defined short-range structural correlations out to approximately 9 Angstroms at typical reactor operating temperatures. The experimentally determined pair distribution function can be described with quantitative accuracy by the molecular dynamics simulations. These results indicate that the essential ionic interactions are properly captured by the simulations, providing a launching point for future studies of FLiNaK and other molten salts for nuclear reactor applications.


title: Cosmological bounces, cyclic universes, and effective cosmological constant in Einstein-Cartan-Dirac-Maxwell theory

abstract: Einstein-Cartan theory is an extension of the standard formulation of General Relativity characterized by a non-vanishing torsion. The latter is sourced by the matter fields via the spin tensor, and its effects are expected to be important at very high spin densities. In this work we analyze in detail the physics of Einstein-Cartan theory with Dirac and Maxwell fields minimally coupled to the spacetime torsion. This breaks the $U(1)$ gauge symmetry, which is suggested by the possibility of a torsion-induced phase transition in the early Universe. The resulting Dirac-like and Maxwell-like equations are non-linear with self-interactions as well as having fermion-boson non-minimal couplings. We discuss several cosmological aspects of this theory, including bounces, acceleration phases and matter-antimatter asymmetry in the torsion era, as well as late-time effects such as the generation of an effective cosmological constant, dark energy, and future bounces within cyclic solutions.


title: Physics and Metaphysics of Wigner's Friends: Even performed pre-measurements have no results

abstract: "The unambiguous account of proper quantum phenomena must, in principle, include a description of all relevant features of experimental arrangement" (Bohr). The measurement process is composed of pre-measurement (quantum correlation of the system with the pointer variable), and an irreversible decoherence via interaction with an environment. The system ends up in a probabilistic mixture of the eigenstates of the measured observable. For the pre-measurement stage, any attempt to introduce an 'outcome' leads, as we show, to a logical contradiction, $1=i$. This nullifies claims that a modified concept of Wigner's Friend, who just pre-measures, can lead to valid results concerning quantum theory.


title: System identification of a hysteresis-controlled pump system using SINDy

abstract: Hysteresis-controlled devices are widely used in industrial applications. For example, cooling devices usually contain a two-point controller, resulting in a nonlinear hybrid system with two discrete states. Dynamic models of systems are essential for optimizing such industrial supply technology. However, conventional system identification approaches can hardly handle hysteresis-controlled devices. Thus, the new identification method Sparse Identification of Nonlinear Dynamics (SINDy) is extended to consider hybrid systems. SINDy composes models from basis functions out of a customized library in a data-driven manner. For modeling systems that behave dependent on their own past as in the case of natural hysteresis, Ferenc Preisach introduced the relay hysteron as an elementary mathematical description. In this new method (SINDyHybrid), tailored basis functions in form of relay hysterons are added to the library which is used by SINDy. Experiments with a hysteresis controlled water basin show that this approach correctly identifies state transitions of hybrid systems and also succeeds in modeling the dynamics of the discrete system states. A novel proximity hysteron achieves the robustness of this method. The impacts of the sampling rate and the signal noise ratio of the measurement data are examined accordingly.


title: Shapes of rotating normal fluid 3He versus superfluid 4He droplets in molecular beams

abstract: Previous single-pulse extreme ultraviolet and X-ray coherent diffraction studies revealed that superfluid 4He droplets obtained in free jet expansion acquire sizable angular momentum, resulting in significant centrifugal distortion. Similar experiments with normal fluid 3He droplets may help elucidating the origin of the of the large degree of rotational excitation and highlight similarities and differences of dynamics in normal and superfluid droplets. Here, we present the first comparison of the shapes of isolated 3He and 4He droplets following expansion of the corresponding fluids in vacuum at temperatures as low as ~ 2 K. Large 3He and 4He droplets with average radii of ~160 nm and ~350 nm, respectively, were produced. We find that the majority of the 3He droplets in the beam correspond to rotating oblate spheroids with reduced average angular momentum ($\Lambda$) and reduced angular velocities ($\Omega$) similar to that of 4He droplets. Given the different physical nature of 3He and 4He, this similarity in $\Lambda$ and $\Omega$ may be surprising and suggest that similar mechanisms induce rotation regardless of the isotope. We hypothesized that the observed distribution of droplet sizes and angular momenta stem from processes in the dense region close to the nozzle. In this region, the significant velocity spread and collisions between the droplets induce excessive rotation followed by droplet fission. The process may repeat itself several times before the droplets enter the collision-fee high vacuum region further downstream.


title: Resource Allocation for IRS-assisted Full-Duplex Cognitive Radio Systems

abstract: In this paper, we investigate the resource allocation design for intelligent reflecting surface (IRS)-assisted full-duplex (FD) cognitive radio systems. In particular, a secondary network employs an FD base station (BS) for serving multiple half-duplex downlink (DL) and uplink (UL) users simultaneously. An IRS is deployed to enhance the performance of the secondary network while helping to mitigate the interference caused to the primary users (PUs). The DL transmit beamforming vectors and the UL receive beamforming vectors at the FD BS, the transmit power of the UL users, and the phase shift matrix at the IRS are jointly optimized for maximization of the total sum rate of the secondary system. The design task is formulated as a non-convex optimization problem taking into account the imperfect knowledge of the PUs' channel state information (CSI) and their maximum interference tolerance. Since the maximum interference tolerance constraint is intractable, we apply a safe approximation to transform it into a convex constraint. To efficiently handle the resulting approximated optimization problem, which is still non-convex, we develop an iterative block coordinate descent (BCD)-based algorithm. This algorithm exploits semidefinite relaxation, a penalty method, and successive convex approximation and is guaranteed to converge to a stationary point of the approximated optimization problem. Our simulation results do not only reveal that the proposed scheme yields a substantially higher system sum rate for the secondary system than several baseline schemes, but also confirm its robustness against CSI uncertainty. Besides, our results illustrate the tremendous potential of IRS for managing the various types of interference arising in FD cognitive radio networks.


title: Implications of the Quantum Noise Target for the Einstein Telescope Infrastructure Design

abstract: The design of a complex instrument such as Einstein Telescope (ET) is based on a target sensitivity derived from an elaborate case for scientific exploration. At the same time it incorporates many trade-off decisions to maximise the scientific value by balancing the performance of the various subsystems against the cost of the installation and operation. In this paper we discuss the impact of a long signal recycling cavity (SRC) on the quantum noise performance. We show the reduction in sensitivity due to a long SRC for an ET high-frequency interferometer, provide details on possible compensations schemes and suggest a reduction of the SRC length. We also recall details of the trade-off between the length and optical losses for filter cavities, and show the strict requirements for an ET low-frequency interferometer. Finally, we present an alternative filter cavity design for an ET low-frequency interferometer making use of a coupled cavity, and discuss the advantages of the design in this context.