title: Generalized covariant prescriptions for averaging cosmological observables

abstract: We present two new covariant and general prescriptions for averaging scalar observables on spatial regions typical of the observed sources and intersecting the past light-cone of a given observer. One of these prescriptions is adapted to sources exactly located on a given space-like hypersurface, the other applies instead to situations where the physical location of the sources is characterized by the experimental "spread" of a given observational variable. The geometrical and physical differences between the two procedures are illustrated by computing the averaged energy flux received by distant sources located on (or between) constant redshift surfaces, and by working in the context of a perturbed $\Lambda$CDM geometry. We find significant numerical differences (of about ten percent or more, in a large range of redshift) even limiting our model to scalar metric perturbations, and stopping our computations to the leading non-trivial perturbative order.


title: Verifiable Hybrid Secret Sharing With Few Qubits

abstract: We consider the task of sharing a secret quantum state in a quantum network in a verifiable way. We propose a protocol that achieves this task, while reducing the number of required qubits, as compared to the existing protocols. To achieve this, we combine classical encryption of the quantum secret with an existing verifiable quantum secret sharing scheme based on Calderbank-Shor-Steane quantum error correcting codes. In this way we obtain a verifiable hybrid secret sharing scheme for sharing qubits, which combines the benefits of quantum and classical schemes. Our scheme does not reveal any information to any group of less than half of the $n$ nodes participating in the protocol. Moreover, for sharing a one-qubit state each node needs a quantum memory to store $n$ single-qubit shares, and requires a workspace of at most $3n$ qubits in total to verify the quantum secret. Importantly, in our scheme an individual share is encoded in a single qubit, as opposed to previous schemes requiring $\Omega(\log n)$ qubits per share. Furthermore, we define a ramp verifiable hybrid scheme. We give explicit examples of various verifiable hybrid schemes based on existing quantum error correcting codes.


title: TrueLearn: A Family of Bayesian Algorithms to Match Lifelong Learners to Open Educational Resources

abstract: The recent advances in computer-assisted learning systems and the availability of open educational resources today promise a pathway to providing cost-efficient, high-quality education to large masses of learners. One of the most ambitious use cases of computer-assisted learning is to build a lifelong learning recommendation system. Unlike short-term courses, lifelong learning presents unique challenges, requiring sophisticated recommendation models that account for a wide range of factors such as background knowledge of learners or novelty of the material while effectively maintaining knowledge states of masses of learners for significantly longer periods of time (ideally, a lifetime). This work presents the foundations towards building a dynamic, scalable and transparent recommendation system for education, modelling learner's knowledge from implicit data in the form of engagement with open educational resources. We i) use a text ontology based on Wikipedia to automatically extract knowledge components of educational resources and, ii) propose a set of online Bayesian strategies inspired by the well-known areas of item response theory and knowledge tracing. Our proposal, TrueLearn, focuses on recommendations for which the learner has enough background knowledge (so they are able to understand and learn from the material), and the material has enough novelty that would help the learner improve their knowledge about the subject and keep them engaged. We further construct a large open educational video lectures dataset and test the performance of the proposed algorithms, which show clear promise towards building an effective educational recommendation system.


title: Kaon CP violation and neutron EDM in the minimal left-right symmetric model

abstract: Within the minimal Left-Right (LR) symmetric model we revisit the predictions for the kaon CP violating observables $\varepsilon$ and $\varepsilon'$ in correlation with the neutron electric dipole moment. We perform a complete study of the cross constraints on the model parameters, phases and the $M_{W_R}$ scale, considering the two cases of extended parity or charge conjugation as LR discrete symmetries, together with the possible presence of a Peccei-Quinn symmetry. We discuss in particular two scenarios: whether the Standard Model saturates the experimental value of $\varepsilon'/\varepsilon$ or whether new physics is needed, still an open issue after the recent lattice results on the QCD penguin matrix elements. Within the first scenario, we find no constraints on the LR scale in the charge-conjugation case while in the parity case we show that $M_{W_R}$ can be as low as 13 TeV. On the other side, the request that new physics contributes dominantly to $\varepsilon'$ implies strong correlations among the model parameters, with an upper bound of $M_{W_R}< 8-100$ TeV depending on $\tan\beta$ in the case of charge conjugation and a range of $M_{W_R}\simeq 7-45$ TeV in the parity setup. Both scenarios may be probed directly at future colliders and only indirectly at the LHC.


title: Recursive enumerability and elementary frame definability in predicate modal logic

abstract: We investigate the relationship between recursive enumerability and elementary frame definability in first-order predicate modal logic. On the one hand, it is well-known that every first-order predicate modal logic complete with respect to an elementary class of Kripke frames, i.e., a class of frames definable by a classical first-order formula, is recursively enumerable. On the other, numerous examples are known of predicate modal logics, based on `natural' propositional modal logics with essentially second-order Kripke semantics, that are either not recursively enumerable or Kripke incomplete. This raises the question of whether every Kripke complete, recursively enumerable predicate modal logic can be characterized by an elementary class of Kripke frames. We answer this question in the negative, by constructing a normal predicate modal logic which is Kripke complete, recursively enumerable, but not complete with respect to an elementary class of frames. We also present an example of a normal predicate modal logic that is recursively enumerable, Kripke complete, and not complete with respect to an elementary class of rooted frames, but is complete with respect to an elementary class of frames that are not rooted.


title: Boardman-Vogt resolutions and bar/cobar constructions of (co)operadic (co)bimodules

abstract: We develop the combinatorics of leveled trees in order to construct explicit resolutions of (co)operads and (co)operadic (co)bimodules. We build explicit cofibrant resolutions of operads and operadic bimodules in spectra analogous to the ordinary Boardman--Vogt resolutions and we express them as cobar constructions of indecomposable elements. Dually, in the context of CDGAs, we perform similar constructions, and we obtain fibrant resolutions of Hopf cooperads and Hopf cooperadic cobimodules. We also express them as bar constructions of primitive elements.


title: Reactive Dynamics and Spectroscopy of Hydrogen Transfer from Neural Network-Based Reactive Potential Energy Surfaces

abstract: The in silico exploration of chemical, physical and biological systems requires accurate and efficient energy functions to follow their nuclear dynamics at a molecular and atomistic level. Recently, machine learning tools gained a lot of attention in the field of molecular sciences and simulations and are increasingly used to investigate the dynamics of such systems. Among the various approaches, artificial neural networks (NNs) are one promising tool to learn a representation of potential energy surfaces. This is done by formulating the problem as a mapping from a set of atomic positions $\mathbf{x}$ and nuclear charges $Z_i$ to a potential energy $V(\mathbf{x})$. Here, a fully-dimensional, reactive neural network representation for malonaldehyde (MA), acetoacetaldehyde (AAA) and acetylacetone (AcAc) is learned. It is used to run finite-temperature molecular dynamics simulations, and to determine the infrared spectra and the hydrogen transfer rates for the three molecules. The finite-temperature infrared spectrum for MA based on the NN learned on MP2 reference data provides a realistic representation of the low-frequency modes and the H-transfer band whereas the CH vibrations are somewhat too high in frequency. For AAA it is demonstrated that the IR spectroscopy is sensitive to the position of the transferring hydrogen at either the OCH- or OCCH$_3$ end of the molecule. For the hydrogen transfer rates it is demonstrated that the O-O vibration is a gating mode and largely determines the rate at which the hydrogen is transferred between the donor and acceptor. Finally, possibilities to further improve such NN-based potential energy surfaces are explored. They include the transferability of an NN-learned energy function across chemical species (here methylation) and transfer learning from a lower level of reference data (MP2) to a higher level of theory (pair natural orbital-LCCSD(T)).


title: Incremental Learning of Motion Primitives for Pedestrian Trajectory Prediction at Intersections

abstract: This paper presents a novel incremental learning algorithm for pedestrian motion prediction, with the ability to improve the learned model over time when data is incrementally available. In this setup, trajectories are modeled as simple segments called motion primitives. Transitions between motion primitives are modeled as Gaussian Processes. When new data is available, the motion primitives learned from the new data are compared with the previous ones by measuring the inner product of the motion primitive vectors. Similar motion primitives and transitions are fused and novel motion primitives are added to capture newly observed behaviors. The proposed approach is tested and compared with other baselines in intersection scenarios where the data is incrementally available either from a single intersection or from multiple intersections with different geometries. In both cases, our method incrementally learns motion patterns and outperforms the offline learning approach in terms of prediction errors. The results also show that the model size in our algorithm grows at a much lower rate than standard incremental learning, where newly learned motion primitives and transitions are simply accumulated over time.


title: Equality and equivalence, intuitionistically

abstract: We show that the intuitionistic first-order theory of equality has continuum many complete extensions. We also study the Vitali equivalence relation and show there are many intuitionistically precise versions of it.


title: What Do You Mean `Why?': Resolving Sluices in Conversations

abstract: In conversation, we often ask one-word questions such as `Why?' or `Who?'. Such questions are typically easy for humans to answer, but can be hard for computers, because their resolution requires retrieving both the right semantic frames and the right arguments from context. This paper introduces the novel ellipsis resolution task of resolving such one-word questions, referred to as sluices in linguistics. We present a crowd-sourced dataset containing annotations of sluices from over 4,000 dialogues collected from conversational QA datasets, as well as a series of strong baseline architectures.


title: Contour integral solutions of linear differential equations which include a generalization of the Airy integral

abstract: The Airy integral is a well-known contour integral solution of Airy's equation which has several applications and which has been used for mathematical illustrations due to its interesting properties. We present and derive properties of two families of contour integral solutions of linear differential equations, where one family includes the Airy integral and Airy's equation, such that the family generalizes known properties of the Airy integral which include exponential decay growth in a certain sector. The second family includes a known example and contains a subfamily with interesting properties where a separate analysis of three pairwise linearly independent contour integral solutions of a particular equation is given.


title: Notes on the Chernoff Product Formula

abstract: We revise the strong convergent Chernoff product formula and extend it, in a Hilbert space, to convergence in the operator-norm topology. Main results deal with the self-adjoint Chernoff product formula. The nonself-adjoint case concerns the quasi-sectorial contractions.


title: Unraveling the 4f electronic structures of cerium monopnictides

abstract: In order to unveil the 4f electronic structures in cerium monopnictides (CeX, where X = N, P, As, Sb, and Bi), we employed a state-of-the-art first-principles many-body approach, namely the density functional theory in combination with the single-site dynamical mean-field theory, to make detailed calculations. We find that the 4f electrons in CeN are highly itinerant and mixed-valence, showing a prominent quasi-particle peak near the Fermi level. On the contrary, they become well localized and display weak valence fluctuation in CeBi. It means that a 4f itinerant-localized crossover could emerge upon changing the X atom from N to Bi. Moreover, according to the low-energy behaviors of 4f self-energy functions, we could conclude that the 4f electrons in CeX also demonstrate interesting orbital-selective electronic correlations, which are similar to the other cerium-based heavy fermion compounds.


title: The Scott correction in Dirac-Fock theory

abstract: We give the first derivation of the Scott correction in the large-$Z$ expansion of the energy of an atom in Dirac-Fock theory without projections.


title: MUSE: Parallel Multi-Scale Attention for Sequence to Sequence Learning

abstract: In sequence to sequence learning, the self-attention mechanism proves to be highly effective, and achieves significant improvements in many tasks. However, the self-attention mechanism is not without its own flaws. Although self-attention can model extremely long dependencies, the attention in deep layers tends to overconcentrate on a single token, leading to insufficient use of local information and difficultly in representing long sequences. In this work, we explore parallel multi-scale representation learning on sequence data, striving to capture both long-range and short-range language structures. To this end, we propose the Parallel MUlti-Scale attEntion (MUSE) and MUSE-simple. MUSE-simple contains the basic idea of parallel multi-scale sequence representation learning, and it encodes the sequence in parallel, in terms of different scales with the help from self-attention, and pointwise transformation. MUSE builds on MUSE-simple and explores combining convolution and self-attention for learning sequence representations from more different scales. We focus on machine translation and the proposed approach achieves substantial performance improvements over Transformer, especially on long sequences. More importantly, we find that although conceptually simple, its success in practice requires intricate considerations, and the multi-scale attention must build on unified semantic space. Under common setting, the proposed model achieves substantial performance and outperforms all previous models on three main machine translation tasks. In addition, MUSE has potential for accelerating inference due to its parallelism. Code will be available at https://github.com/lancopku/MUSE


title: Analysing Time-Stamped Co-Editing Networks in Software Development Teams using git2net

abstract: Data from software repositories have become an important foundation for the empirical study of software engineering processes. A recurring theme in the repository mining literature is the inference of developer networks capturing e.g. collaboration, coordination, or communication from the commit history of projects. Most of the studied networks are based on the co-authorship of software artefacts. Because this neglects detailed information on code changes and code ownership we introduce git2net, a scalable python software that facilitates the extraction of fine-grained co-editing networks in large git repositories. It uses text mining techniques to analyse the detailed history of textual modifications within files. We apply our tool in two case studies using GitHub repositories of multiple Open Source as well as a commercial software project. Specifically, we use data on more than 1.2 million commits and more than 25'000 developers to test a hypothesis on the relation between developer productivity and co-editing patterns in software teams. We argue that git2net opens up a massive new source of high-resolution data on human collaboration patterns that can be used to advance theory in empirical software engineering, computational social science, and organisational studies.


title: Resolving photon numbers using a superconducting tapered nanowire detector

abstract: Time- and number-resolved photon detection is crucial for photonic quantum information processing. Existing photon-number-resolving (PNR) detectors usually have limited timing and dark-count performance or require complex fabrication and operation. Here we demonstrate a PNR detector at telecommunication wavelengths based on a single superconducting nanowire with an integrated impedance-matching taper. The prototyping device was able to resolve up to five absorbed photons and had 16.1 ps timing jitter, <2 c.p.s. device dark count rate, $\sim$86 ns reset time, and 5.6% system detection efficiency (without cavity) at 1550 nm. Its exceptional distinction between single- and two-photon responses is ideal for coincidence counting and allowed us to directly observe bunching of photon pairs from a single output port of a Hong-Ou-Mandel interferometer. This detector architecture may provide a practical solution to applications that require high timing resolution and few-photon discrimination.


title: Alg\'ebricit\'e modulo p, s\'eries hyperg\'eom\'etriques et structures de Frobenius forte

abstract: This work is devoted to study of algebraicty modulo p of Siegel's G-functions. Our goal is to emphasize the relevance of the notion of strong Frobenius structure, clasically studied in the theory of the p-adic diffenrential equations, for the study of a Adamczewski-Delaygue's conjecture concerning of the degree of algebraicity modulo p of G-functions. For this, we first make a Christol's result explicit by showing that if $f$ is a G-function that is solution of a differential operator $L$ in $ \mathbb{Q}(z)[d/dz]$ of order $n$ endowed of a strong Frobenius structure of period $h$ for the prime number $p$ and that $f(z)$ belongs to $\mathbb{Z}_{(p)}[[z]]$, then the reduction of $f$ modulo $ p $ is algebraic over $\mathbb F_p(z)$ and its algebraicity degree is bounded by $p^{n^2h}$. By generalizing an approach introduced by Salinier, we show that if $L$ is a Fuchsian operator with coefficients in $\mathbb{Q}(z)$, whose monodromy group is rigid and whose exponents are rational numbers, then $L$ has for almost every prime number $p$ a strong Frobenius structure of period $h$, where $h$ is explicitly bounded and does not depend on $p$. A slightly different version of this result has been recently demonstrated by Crew following a different approach based on the $p$ -adic cohomology. We use these two results to solve the mentioned conjecture in the case of generalized hypergeometric series.


title: Chemical-protein Interaction Extraction via Gaussian Probability Distribution and External Biomedical Knowledge

abstract: Motivation: The biomedical literature contains a wealth of chemical-protein interactions (CPIs). Automatically extracting CPIs described in biomedical literature is essential for drug discovery, precision medicine, as well as basic biomedical research. Most existing methods focus only on the sentence sequence to identify these CPIs. However, the local structure of sentences and external biomedical knowledge also contain valuable information. Effective use of such information may improve the performance of CPI extraction. Results: In this paper, we propose a novel neural network-based approach to improve CPI extraction. Specifically, the approach first employs BERT to generate high-quality contextual representations of the title sequence, instance sequence, and knowledge sequence. Then, the Gaussian probability distribution is introduced to capture the local structure of the instance. Meanwhile, the attention mechanism is applied to fuse the title information and biomedical knowledge, respectively. Finally, the related representations are concatenated and fed into the softmax function to extract CPIs. We evaluate our proposed model on the CHEMPROT corpus. Our proposed model is superior in performance as compared with other state-of-the-art models. The experimental results show that the Gaussian probability distribution and external knowledge are complementary to each other. Integrating them can effectively improve the CPI extraction performance. Furthermore, the Gaussian probability distribution can effectively improve the extraction performance of sentences with overlapping relations in biomedical relation extraction tasks. Availability: Data and code are available at https://github.com/CongSun-dlut/CPI_extraction. Contact: yangzh@dlut.edu.cn, wangleibihami@gmail.com Supplementary information: Supplementary data are available at Bioinformatics online.


title: Online Fair Division: A Survey

abstract: We survey a burgeoning and promising new research area that considers the online nature of many practical fair division problems. We identify wide variety of such online fair division problems, as well as discuss new mechanisms and normative properties that apply to this online setting. The online nature of such fair division problems provides both opportunities and challenges such as the possibility to develop new online mechanisms as well as the difficulty of dealing with an uncertain future.


title: Systematic literature review protocol. Learning-outcomes and teaching-learning process: a Bloom's taxonomy perspective

abstract: Context: The importance of defining learning outcomes and the planning stage for a systematic literature review. Objective: A protocol for carrying out a systematic literature review about the evidence for the tool support for the learning outcomes and the teaching-learning process using Bloom's taxonomy to address it. Method: The definition of a protocol to conduct a systematic literature review according to the guidelines of B. Kitchenham. Results: A validated protocol to conduct a systematic literature review. Conclusions: A proposal for the protocol definition of a systematic literature review about the tool support for the learning outcomes, the teaching-learning process using Bloom's taxonomy was built. Initials results show that a more detailed review of the learning outcomes and their alignment with the levels of curricular progress, training cycles, and Bloom's Taxonomy should be carried out.


title: Continuous coexistency preservers on effect algebras

abstract: Let $H$ be a finite-dimensional Hilbert space, $\dim H \ge 2$. We prove that every continuous coexistency preserving map on the effect algebra $E(H)$ is either a standard automorphism of $E(H)$, or a standard automorphism of $E(H)$ composed with the orthocomplementation. We present examples showing the optimality of the result.


title: Local Limits of Connected Subgroups of $SL_3(\mathbb{R})$

abstract: In this paper we describe the local limits under conjugation of all closed connected subgroups of $SL_3(\mathbb{R})$ in the Chabauty topology.


title: Remarks on an interpolation between Wilson's theorem and Giuga's conjecture

abstract: A family of congruences interpolating between those of Wilson and Giuga is constructed. Several elementary results are established, in order to present a possible approach to establishing Giuga's conjecture.


title: Dielectric Modeling of Oil-paper Insulation Systems at High DC Voltage Stress Using a Charge-carrier-based Approach

abstract: It is state-of-the-art to describe the dielectric behavior of an insulation material by its permittivity and its specific electric conductivity in order to estimate the dielectric stress of an insulation system. Thus, the electric field at DC voltage stress is determined according to the stationary electrical conduction field with the electric conductivity of the insulation materials. However, at oil-insulated arrangements a higher field strength in front of bare metal electrodes at high DC voltage stress occurs, which is not explainable with this model. Therefore, a charge carrier-based approach is presented to describe the dielectric behavior of the oil-paper insulation. It describes the movement of charge carriers and their effect on the electric field strength. Their drift leads to an accumulation of charge carriers in front of electrodes which results in a higher field strength in these areas, which can be calculated numerically using the Poisson-Nernst-Planck equation system. Compared to the conductivity-based model fundamental differences can be shown. Breakdown experiments qualitatively confirm the expectations according to the charge carrier-based approach. The results show that the charge carrier-based field distribution has to be considered for modelling the electrical field strength distribution at high DC voltage stress. They also show, that the dielectric behavior of these arrangements cannot be explained according to the state-of-the-art model.


abstract: Dispersive effects during long wave run-up on a plane beach are studied. We take an advantage of experimental data collection of different wave types (single pulses, sinusoidal waves, bi-harmonic waves, and frequency modulated wave trains) and simulate their run-up using two models: (i) non-dispersive nonlinear shallow water theory and (ii) dispersive Boussinesq type model based on the modified Peregrine system. It is shown, that for long positive pulses, dispersive effects are not so important and nonlinear shallow water theory can be used. However, for periodic sinusoidal and bi-harmonic pulses of the same period, the dispersive effects result in significant wave transformation during its propagation, but do not have a strong impact on its maximal run-up height. Overall, for maximum wave run-up height, we could not find a preference of dispersive model against the nondispersive one, and, therefore, suggest using nonlinear shallow water model for long wave run-up height estimation.

categories: physics.ao-ph nlin.PS physics.flu-dyn physics.geo-ph


title: On the use of near-neutral Backward Lyapunov Vectors to get reliable ensemble forecasts in coupled ocean-atmosphere systems

abstract: The use of coupled Backward Lyapunov Vectors (BLV) for ensemble forecast is demonstrated in a coupled ocean-atmosphere system of reduced order, the Modular Arbitrary Order Ocean-Atmosphere Model (MAOOAM). It is found that overall the best set of BLVs to initialize a (multiscale) coupled ocean-atmosphere forecasting system are the ones associated with near-neutral or slightly negative Lyapunov exponents. This unexpected result is related to the fact that these sets display larger projections on the ocean variables than the others, leading to an appropriate spread for the ocean, and at the same time a rapid transfer of these errors toward the most unstable BLVs affecting predominantly the atmosphere is experienced. The latter dynamics is a natural property of any generic perturbation in nonlinear chaotic dynamical systems, allowing for a reliable spread with the atmosphere too. Furthermore, this specific choice becomes even more crucial when the goal is the forecasting of low-frequency variability at annual and decadal time scales. The implications of these results for operational ensemble forecasts in coupled ocean-atmosphere systems are briefly discussed.


title: The PHQMD model for the formation of nuclear clusters and hypernuclei in heavy-ion collisions

abstract: Modeling of the process of the formation of nuclear clusters in the hot nuclear matter is a challenging task. We present the novel n-body dynamical transport approach - PHQMD (Parton-Hadron-Quantum-Molecular Dynamics) [1] for the description of heavy-ion collisions as well as clusters and hpernuclei formation. The PHQMD extends well established PHSD (Parton-Hadron-String Dynamics) approach - which incorporates explicit partonic degrees-of-freedom (quarks and gluons), an equation-of-state from lattice QCD, as well as dynamical hadronization and hadronic elastic and inelastic collisions in the final reaction phase, by n-body quantum molecular dynamic propagation of hadrons which allows choosing of the equation of state with different compression modulus. The formation of clusters, including hypernuclei, is realized by incorporation the Simulated Annealing Clusterization Algorithm (SACA). We present first results from PHQMD on the study of the production rates of strange hadrons, nuclear clusters and hypernuclei in e1elementary and heavy-ion collisions at NICA energies. In particular, sensitivity on the "hard" and "soft" equation of state within the PHQMD model was investigated for "bulk" observables.


title: Symbolic summation methods and hypergeometric supercongruences

abstract: In this paper, we establish the following two congruences: \begin{gather*} \sum_{k=0}^{(p+1)/2}(3k-1)\frac{\left(-\frac{1}{2}\right)_k^2\left(\frac{1}{2}\right)_k4^k}{k!^3}\equiv p-6p^3\left(\frac{-1}{p}\right)+2p^3\left(\frac{-1}{p}\right)E_{p-3}\pmod{p^4},\\ \sum_{k=0}^{p-1}(3k-1)\frac{\left(-\frac{1}{2}\right)_k^2\left(\frac{1}{2}\right)_k4^k}{k!^3}\equiv p-2p^3\pmod{p^4}, \end{gather*} where $p>3$ is a prime, $E_{p-3}$ is the $(p-3)$-th Euler number and $\left(-\right)$ is the Legendre symbol. The first congruence modulo $p^3$ was conjectured by Guo and Schlosser recently.


title: Navigating Planar Topologies in Near-Optimal Space and Time

abstract: We show that any embedding of a planar graph can be encoded succinctly while efficiently answering a number of topological queries near-optimally. More precisely, we build on a succinct representation that encodes an embedding of $m$ edges within $4m$ bits, which is close to the information-theoretic lower bound of about $3.58m$. With $4m+o(m)$ bits of space, we show how to answer a number of topological queries relating nodes, edges, and faces, most of them in any time in $\omega(1)$. Further, we show that with $O(m)$ bits of space we can solve all those operations in $O(1)$ time.


title: Collective olfactory search in a turbulent environment

abstract: Finding the distant source of an odor dispersed by a turbulent flow is a vital task for many organisms, either for foraging or for mating purposes. At the level of individual search, animals like moths have developed effective strategies to solve this very difficult navigation problem based on the noisy detection of odor concentration and wind velocity alone. When many individuals concurrently perform the same olfactory search task, without any centralized control, sharing information about the decisions made by the members of the group can potentially increase the performance. But how much of this information is actually valuable and exploitable for the collective task ? Here we show that, in a model of a swarm of agents inspired by moth behavior, there is an optimal way to blend the private information about odor and wind detections with the publicly available information about other agents' heading direction. At optimality, the time required for the first agent to reach the source is essentially the shortest flight time from the departure point to the target. Conversely, agents who discard public information are several fold slower and groups that do not put enough weight on private information perform even worse. Our results then suggest an efficient multi-agent olfactory search algorithm that could prove useful in robotics, for instance in the identification of sources of harmful volatile compounds.


title: Approximating regions of attraction of a sparse polynomial differential system *

abstract: Motivated by stability analysis of large scale power systems, we describe how the Lasserre (moment-sums of squares, SOS) hierarchy can be used to generate outer approximations of the region of attraction (ROA) of sparse polynomial differential systems, at the price of solving linear matrix inequalities (LMI) of increasing size. We identify specific sparsity structures for which we can provide numerically certified outer approximations of the region of attraction in high dimension. For this purpose, we combine previous results on non-sparse ROA approximations with sparse semi-algebraic set volume computation.


title: Safe Linear Stochastic Bandits

abstract: We introduce the safe linear stochastic bandit framework---a generalization of linear stochastic bandits---where, in each stage, the learner is required to select an arm with an expected reward that is no less than a predetermined (safe) threshold with high probability. We assume that the learner initially has knowledge of an arm that is known to be safe, but not necessarily optimal. Leveraging on this assumption, we introduce a learning algorithm that systematically combines known safe arms with exploratory arms to safely expand the set of safe arms over time, while facilitating safe greedy exploitation in subsequent stages. In addition to ensuring the satisfaction of the safety constraint at every stage of play, the proposed algorithm is shown to exhibit an expected regret that is no more than $O(\sqrt{T}\log (T))$ after $T$ stages of play.


title: Quantum potential and wave packet spreading

abstract: The effects of the de Broglie-Bohm quantum potential on a test particle of mass $m$ are investigated in a conformally-flat geometry. A real, nonlinear, scalar field $\Psi$ is introduced and related directly to the conformal factor and to the effective mass $M(r,t)$ of the particle. The radial acceleration of a static observer in the conformally-flat metric is negative (the field is repulsive), and the corresponding proper acceleration resembles that one of the "peak radius" where the radial probability density has a global maximum during the wave packet spreading phenomenon. The timelike radial geodesics are computed in the conformally-flat spacetime in double-null coordinates and proves to be hyperbolae in the region $r>t$.


title: The Ambiguity in the Definition and Behavior of the Gravitational and Cosmological `Coupling Constants' in the Theory of Induced Gravity

abstract: This work is the extension of author`s research, where the modified theory of induced gravity (MTIG) is proposed. The theory describes two systems (stages): Einstein (ES) and "restructuring" (RS). We consider equations with quadratic potential that are symmetric with respect to scale transformations. The solutions of the equations obtained for the case of spaces defined by the Friedman-Robertson-Walker metric, as well as for a centrally symmetric space are investigated. In our model arise effective gravitational and cosmological "constants", which are defined by the "mean square" of the scalar fields. In obtained solutions the values of such parameters as "Hubble parameter", gravitational and cosmological "constants" in the RS stage fluctuate near monotonically evolving mean values. These parameters are matched with observational data, described as phenomena of dark energy and dark matter. The MTIG equations for the case of a centrally symmetric gravitational field, in addition to the Schwarzschild-de Sitter solutions, contain solutions that lead to the new physical effects at large distances from the center. The Schwarzschild-Sitter solution becomes unstable and enters the oscillatory regime. For distances greater than a certain critical value, the following effects can appear: deviation from General relativity and Newton's law of gravitational interaction, antigravity.


title: Comprehensive Control of Metamagnetic Transition of Antiferromagnetic Mott Insulator Sr2IrO4 by in-situ Anisotropic Strain

abstract: Metamagnetism in antiferromagnets exhibits distinct critical behaviors and dynamics when invoking spin reversal and rotation. Here we show a 0.05% anisotropic strain suffices to in-situ modulate the metamagnetic critical field of the Mott insulator Sr2IrO4 by over 50%, enabling electrical switching of the transition. Resonant x-ray scattering and model simulation reveal that the transition is completely tuned from the spin-flop to spin-flip type as the strain introduces C4-symmetry-breaking magnetic anisotropy. Simultaneous transport study indicates the metamagnetic responses are reflected in the large elasto- and magnetoconductance, highlighting the active charge degree of freedom in the spin-orbit-coupled Mott state and its potential for spin-electronics.


title: Hamiltonian Carleman approximation and the density property for coadjoint orbits

abstract: For a complex Lie group $G$ with a real form $G_0\subset G$, we prove that any Hamiltionian automorphism $\phi$ of a coadjoint orbit $\mathcal O_0$ of $G_0$ whose connected components are simply connected, may be approximated by holomorphic $\mathcal O_0$-invariant symplectic automorphism of the corresponding coadjoint orbit of $G$ in the sense of Carleman, provided that $\mathcal O$ is closed. In the course of the proof, we establish the Hamiltonian density property for closed coadjoint orbits of all complex Lie groups.


title: Group Theoretical Description of Mendeleev Periodic System

abstract: The group theoretical description of the periodic system of elements in the framework of the Rumer-Fet model is considered. We introduce the concept of a single quantum system, the generating core of which is an abstract $C^\ast$-algebra. It is shown that various concrete implementations of the operator algebra depend on the structure of generators of the fundamental symmetry group attached to the energy operator. In the case of generators of the complex shell of a group algebra of a conformal group, the spectrum of states of a single quantum system is given in the framework of the basic representation of the Rumer-Fet group, which leads to a group-theoretic interpretation of the Mendeleev's periodic system of elements. A mass formula is introduced that allows to give the termwise mass splitting for the main multiplet of the Rumer-Fet group. The masses of elements of the Seaborg table (eight-periodic extension of the Mendeleev table) are calculated starting from the atomic number $Z=121$ to $Z=220$. The continuation of Seaborg homology between lanthanides and actinides is established to the group of superactinides. A 10-periodic extension of the periodic table is introduced in the framework of the group-theoretic approach. The multiplet structure of the extended table periods is considered in detail. It is shown that the period lengths of the system of elements are determined by the structure of the basic representation of the Rumer-Fet group. The theoretical masses of the elements of 10th and 11th periods are calculated starting from $Z=221$ to $Z=364$. The concept of hypertwistor is introduced.


title: Contributions of a Modified Electrodynamics to the Molecular Biochirality

abstract: In this paper, we investigate the physical basis behind the molecular biochirality from the computation of a parity violation energy difference (PVED) in enantiomers of organic molecules (e.g., amino acids, which occur as levogyrous-type in nature), by considering the influence of fundamental interactions beyond the standard model of elementary particles and interactions. Particularly, we study the role of a 4-D Chern-Simons theory at the origin of this PVED, the Carroll-Field-Jackiw electrodynamics, which violates both Lorentz and parity symmetries. Then, we consider terrestrial and Jovian scenarios where the influence of a modified (effective) magnetic field generated by the planets on the molecules is taken into account in the calculation of PVED. Besides this quantity, we also calculate the relative quantity excess of an enantiomer over the other in a thermal bath. Finally, we compare the obtained results with those ones from other models based on fundamental interactions.


title: Automatic Driver Identification from In-Vehicle Network Logs

abstract: Data generated by cars is growing at an unprecedented scale. As cars gradually become part of the Internet of Things (IoT) ecosystem, several stakeholders discover the value of in-vehicle network logs containing the measurements of the multitude of sensors deployed within the car. This wealth of data is also expected to be exploitable by third parties for the purpose of profiling drivers in order to provide personalized, valueadded services. Although several prior works have successfully demonstrated the feasibility of driver re-identification using the in-vehicle network data captured on the vehicle's CAN (Controller Area Network) bus, they inferred the identity of the driver only from known sensor signals (such as the vehicle's speed, brake pedal position, steering wheel angle, etc.) extracted from the CAN messages. However, car manufacturers intentionally do not reveal exact signal location and semantics within CAN logs. We show that the inference of driver identity is possible even with off-the-shelf machine learning techniques without reverse-engineering the CAN protocol. We demonstrate our approach on a dataset of 33 drivers and show that a driver can be re-identified and distinguished from other drivers with an accuracy of 75-85%.


title: Deep Representations for Cross-spectral Ocular Biometrics

abstract: One of the major challenges in ocular biometrics is the cross-spectral scenario, i.e., how to match images acquired in different wavelengths (typically visible (VIS) against near-infrared (NIR)). This article designs and extensively evaluates cross-spectral ocular verification methods, for both the closed and open-world settings, using well known deep learning representations based on the iris and periocular regions. Using as inputs the bounding boxes of non-normalized iris/periocular regions, we fine-tune Convolutional Neural Network(CNN) models (based either on VGG16 or ResNet-50 architectures), originally trained for face recognition. Based on the experiments carried out in two publicly available cross-spectral ocular databases, we report results for intra-spectral and cross-spectral scenarios, with the best performance being observed when fusing ResNet-50 deep representations from both the periocular and iris regions. When compared to the state-of-the-art, we observed that the proposed solution consistently reduces the Equal Error Rate(EER) values by 90% / 93% / 96% and 61% / 77% / 83% on the cross-spectral scenario and in the PolyU Bi-spectral and Cross-eye-cross-spectral datasets. Lastly, we evaluate the effect that the "deepness" factor of feature representations has in recognition effectiveness, and - based on a subjective analysis of the most problematic pairwise comparisons - we point out further directions for this field of research.


title: The first digestive movements in the embryo are mediated by mechanosensitive smooth muscle calcium waves

abstract: Peristalsis enables transport of the food bolus in the gut. Here, I show by dynamic ex-vivo intra-cellular calcium imaging on living embryonic gut transverse sections that the most primitive form of peristalsis that occurs in the embryo is the result of inter-cellular, gap-junction dependent calcium waves that propagate in the circular smooth muscle layer. I show that the embryonic gut is an intrinsically mechanosensitive organ, as the slightest externally applied mechanical stimulus triggers contractile waves. This dynamic response is an embryonic precursor of the "law of the intestine (peristaltic reflex). I show how characteristic features of early peristalsis such as counter-propagating wave annihilation, mechanosensitivity and nucleation after wounding all result from known properties of calcium waves. I finally demonstrate that inter-cellular mechanical tension does not play a role in the propagation mechanism of gut contractile waves, unlike what has been recently shown for the embryonic heartbeat. Calcium waves are an ubiquitous dynamic signaling mechanism in biology: here I show that they are the foundation of digestive movements in the developing embryo.


title: A Practical Introduction to Regression Discontinuity Designs: Foundations

abstract: In this Element and its accompanying Element, Matias D. Cattaneo, Nicolas Idrobo, and Rocio Titiunik provide an accessible and practical guide for the analysis and interpretation of Regression Discontinuity (RD) designs that encourages the use of a common set of practices and facilitates the accumulation of RD-based empirical evidence. In this Element, the authors discuss the foundations of the canonical Sharp RD design, which has the following features: (i) the score is continuously distributed and has only one dimension, (ii) there is only one cutoff, and (iii) compliance with the treatment assignment is perfect. In the accompanying Element, the authors discuss practical and conceptual extensions to the basic RD setup.


title: A Comparative Analysis of Forecasting Financial Time Series Using ARIMA, LSTM, and BiLSTM

abstract: Machine and deep learning-based algorithms are the emerging approaches in addressing prediction problems in time series. These techniques have been shown to produce more accurate results than conventional regression-based modeling. It has been reported that artificial Recurrent Neural Networks (RNN) with memory, such as Long Short-Term Memory (LSTM), are superior compared to Autoregressive Integrated Moving Average (ARIMA) with a large margin. The LSTM-based models incorporate additional "gates" for the purpose of memorizing longer sequences of input data. The major question is that whether the gates incorporated in the LSTM architecture already offers a good prediction and whether additional training of data would be necessary to further improve the prediction. Bidirectional LSTMs (BiLSTMs) enable additional training by traversing the input data twice (i.e., 1) left-to-right, and 2) right-to-left). The research question of interest is then whether BiLSTM, with additional training capability, outperforms regular unidirectional LSTM. This paper reports a behavioral analysis and comparison of BiLSTM and LSTM models. The objective is to explore to what extend additional layers of training of data would be beneficial to tune the involved parameters. The results show that additional training of data and thus BiLSTM-based modeling offers better predictions than regular LSTM-based models. More specifically, it was observed that BiLSTM models provide better predictions compared to ARIMA and LSTM models. It was also observed that BiLSTM models reach the equilibrium much slower than LSTM-based models.


title: Vortex nucleation barrier in superconductors beyond the Bean-Livingston approximation: A numerical approach for the sphaleron problem in a gauge theory

abstract: The knowledge of vortex nucleation barriers is crucial for applications of superconductors, such as single-photon detectors and superconductor-based qubits. Contrarily to the problem of finding energy minima and critical fields, there are no controllable methods to explore the energy landscape, identify saddle points, and compute associated barriers. Similar problems exist in high-energy physics where the saddle-point configurations are called sphalerons. Here, we present a generalization of the string method to gauge field theories, which allows the calculation of energy barriers in superconductors. We solve the problem of vortex nucleation, assessing the effects of the nonlinearity of the model, complicated geometry, surface roughness, and pinning.


abstract: Approaches to continual learning aim to successfully learn a set of related tasks that arrive in an online manner. Recently, several frameworks have been developed which enable deep learning to be deployed in this learning scenario. A key modelling decision is to what extent the architecture should be shared across tasks. On the one hand, separately modelling each task avoids catastrophic forgetting but it does not support transfer learning and leads to large models. On the other hand, rigidly specifying a shared component and a task-specific part enables task transfer and limits the model size, but it is vulnerable to catastrophic forgetting and restricts the form of task-transfer that can occur. Ideally, the network should adaptively identify which parts of the network to share in a data driven way. Here we introduce such an approach called Continual Learning with Adaptive Weights (CLAW), which is based on probabilistic modelling and variational inference. Experiments show that CLAW achieves state-of-the-art performance on six benchmarks in terms of overall continual learning performance, as measured by classification accuracy, and in terms of addressing catastrophic forgetting.


title: An analysis of observation length requirements for machine understanding of human behaviors from spoken language

abstract: The task of quantifying human behavior by observing interaction cues is an important and useful one across a range of domains in psychological research and practice. Machine learning-based approaches typically perform this task by first estimating behavior based on cues within an observation window, such as a fixed number of words, and then aggregating the behavior over all the windows in that interaction. The length of this window directly impacts the accuracy of estimation by controlling the amount of information being used. The exact link between window length and accuracy, however, has not been well studied, especially in spoken language. In this paper, we investigate this link and present an analysis framework that determines appropriate window lengths for the task of behavior estimation. Our proposed framework utilizes a two-pronged evaluation approach: (a) extrinsic similarity between machine predictions and human expert annotations, and (b) intrinsic consistency between intra-machine and intra-human behavior relations. We apply our analysis to real-life conversations that are annotated for a large and diverse set of behavior codes and examine the relation between the nature of a behavior and how long it should be observed. We find that behaviors describing negative and positive affect can be accurately estimated from short to medium-length expressions whereas behaviors related to problem-solving and dysphoria require much longer observations and are difficult to quantify from language alone. These findings are found to be generally consistent across different behavior modeling approaches.


title: Learning Spatial Fusion for Single-Shot Object Detection

abstract: Pyramidal feature representation is the common practice to address the challenge of scale variation in object detection. However, the inconsistency across different feature scales is a primary limitation for the single-shot detectors based on feature pyramid. In this work, we propose a novel and data driven strategy for pyramidal feature fusion, referred to as adaptively spatial feature fusion (ASFF). It learns the way to spatially filter conflictive information to suppress the inconsistency, thus improving the scale-invariance of features, and introduces nearly free inference overhead. With the ASFF strategy and a solid baseline of YOLOv3, we achieve the best speed-accuracy trade-off on the MS COCO dataset, reporting 38.1% AP at 60 FPS, 42.4% AP at 45 FPS and 43.9% AP at 29 FPS. The code is available at https://github.com/ruinmessi/ASFF


title: On the number of linearly independent rapid solutions to linear differential and linear difference equations

abstract: Assuming that $A_0,\ldots,A_{n-1}$ are entire functions and that $p\in \{0,\ldots,n-1\}$ is the smallest index such that $A_p$ is transcendental, then, by a classical theorem of Frei, each solution base of the differential equation $f^{(n)}+A_{n-1}f^{(n-1)}+\cdots +A_{1}f'+A_{0}f=0$ contains at least $n-p$ entire functions of infinite order. Here, the transcendental coefficient $A_p$ dominates the growth of the polynomial coefficients $A_{p+1},\ldots,A_{n-1}$. By expressing the dominance of $A_p$ in different ways, and allowing the coefficients $A_{p+1},\ldots,A_{n-1}$ to be transcendental, we show that the conclusion of Frei's theorem still holds along with an additional estimation on the asymptotic lower bound for the growth of solutions. At times these new refined results give a larger number of linearly independent solutions of infinite order than the original theorem of Frei. For such solutions, we show that $0$ is the only possible finite deficient value. Previously this property has been known to hold for so-called admissible solutions and is commonly cited as Wittich's theorem. Analogous results are discussed for linear differential equations in the unit disc, as well as for complex difference and complex $q$-difference equations.


title: Video Segment Copy Detection Using Memory Constrained Hierarchical Batch-Normalized LSTM Autoencoder

abstract: In this report, we introduce a video hashing method for scalable video segment copy detection. The objective of video segment copy detection is to find the video (s) present in a large database, one of whose segments (cropped in time) is a (transformed) copy of the given query video. This transformation may be temporal (for example frame dropping, change in frame rate) or spatial (brightness and contrast change, addition of noise etc.) in nature although the primary focus of this report is detecting temporal attacks. The video hashing method proposed by us uses a deep learning neural network to learn variable length binary hash codes for the entire video considering both temporal and spatial features into account. This is in contrast to most existing video hashing methods, as they use conventional image hashing techniques to obtain hash codes for a video after extracting features for every frame or certain key frames, in which case the temporal information present in the video is not exploited. Our hashing method is specifically resilient to time cropping making it extremely useful in video segment copy detection. Experimental results obtained on the large augmented dataset consisting of around 25,000 videos with segment copies demonstrate the efficacy of our proposed video hashing method.


title: Viscous Fluid Holographic Bounce

abstract: We investigate bounce cosmological models in the presence of a viscous fluid, making use of generalized holographic cutoffs introduced by Nojiri and Odintsov (2017). We consider both an exponential, a power-law, and a double exponential form for the scale factor. By use of these models we calculate expressions for infrared cutoffs analytically, such that they correspond to the particle horizon at the bounce. Finally we derive the energy conservation equation, from the holographic point of view. In that way the relationship between the viscous fluid bounce and the holographic bounce is demonstrated.


title: Variable $G$ and $\Lambda$ gravity theory and analytical Cosmological Solutions using Noether symmetry approach

abstract: The present work deals with scalar field cosmology in the framework of a quantum gravity modified Einstein-Hilbert Lagrangian with variable $G$ and $\Lambda$. Using Renormalization group, variable $G$ behaves as a minimally coupled filed (not the scalar-tensor theory) and variable $\Lambda$ can be interpreted as a potential function. The point Lagrangian for this model in the background of homogeneous and isotropic flat FLRW space-time model experiences point-like Noether symmetry and equivalent potential function $\Lambda(G)$ is determined. Using a point transformation in the $3D$ augmented space is found that one of the variable become cyclic and as a consequence there is considerable simplification to the physical system. Lastly, the constants of motion can be written in compact form and it is possible to have analytic cosmological solutions in the present context.


title: Schottky barrier lowering due to interface states in 2D heterophase devices

abstract: The Schottky barrier of a metal-semiconductor junction is one of the key quantities affecting the charge transport in a transistor. The Schottky barrier height depends on several factors, such as work function difference, local atomic configuration in the interface, and impurity doping. We show that also the presence of interface states at 2D metal-semiconductor junctions can give rise to a large renormalization of the effective Schottky barrier determined from the temperature dependence of the current. We investigate the charge transport in n- and p-doped monolayer MoTe$_2$ 1T'-1H junctions using ab-initio quantum transport calculations. The Schottky barriers are extracted both from the projected density of states and the transmission spectrum, and by simulating the IT-characteristic and applying the thermionic emission model. We find interface states originating from the metallic 1T' phase rather than the semiconducting 1H phase in contrast to the phenomenon of Fermi level pinning. Furthermore, we find that these interface states mediate large tunneling currents which dominates the charge transport and can lower the effective barrier to a value of only 55 meV.


title: Miniature Probe for Optomechanical Focus-adjustable Optical-resolution Photoacoustic Endoscopy

abstract: Photoacoustic microscopy (PAM) is a promising imaging modality because it is able to reveal optical absorption contrast in high resolution on the order of a micrometer. It can be applied in an endoscopic approach by implementing PAM into a miniature probe, termed as photoacoustic endoscopy (PAE). Here we develop a miniature focus-adjustable PAE (FA-PAE) probe characterized by both high resolution (in micrometers) and large depth of focus (DOF) via a novel optomechanical design for focus adjustment. To realize high resolution and large DOF in a miniature probe, a 2-mm plano-convex lens is specially adopted, and the mechanical translation of a single-mode fiber is meticulously designed to allow the use of multi-focus image fusion (MIF) for extended DOF. Compared with existing PAE probes, our FA-PAE probe achieves high resolution of 3-5 {\mu}m within unprecedentedly large DOF of >3.2 mm, more than 27 times the DOF of the probe without performing focus adjustment for MIF. The superior performance is demonstrated by imaging both phantoms and animals including mice and zebrafishes in vivo. Our work opens new perspectives for PAE biomedical applications.


title: Breakdown of the mean field for dark solitons of dipolar bosons in a one-dimensional harmonic trap

abstract: We directly compare the mean-field and the many-body approach in a one-dimensional Bose system in a harmonic trap. Both contact and dipolar interactions are considered. We propose a multi-atom version of the phase imprinting method to generate dark solitons in the system. We begin with a general analysis of system dynamics and observe the emergence of a dark soliton and a shock wave. Center of mass and soliton motion become decoupled because the shock wave oscillates with the trap frequency and soliton does not. A detailed investigation of frequencies reveals significant differences between results obtained in the mean-field and the many-body pictures.


title: Active Brownian motion with orientation-dependent motility: theory and experiments

abstract: Combining experiments on active colloids, whose propulsion velocity can be controlled via a feedback loop, and theory of active Brownian motion, we explore the dynamics of an overdamped active particle with a motility that depends explicitly on the particle orientation. In this case, the active particle moves faster when oriented along one direction and slower when oriented along another, leading to an anisotropic translational dynamics which is coupled to the particle's rotational diffusion. We propose a basic model of active Brownian motion for orientation-dependent motility. Based on this model, we obtain analytic results for the mean trajectories, averaged over the Brownian noise for various initial configurations, and for the mean-square displacements including their anisotropic non-Gaussian behavior. The theoretical results are found to be in good agreement with the experimental data. Our findings establish a methodology to engineer complex anisotropic motilities of active Brownian particles, with potential impact in the study of the swimming behavior of microorganisms subjected to anisotropic driving fields.


title: Flooding simulation due to Hurricane Florence in North Carolina with HEC RAS

abstract: Flooding due to Hurricane Florence led to billions of dollars in damage and nearly a hundred deaths in North Carolina. These damages and fatalities can be avoided with proper prevention and preparation. Modelling such flooding events can provide insight and precaution based on principles of fluid dynamics and GIS technology. Using topography and other geographic data from USGS, HEC-RAS can solve the Shallow Water Equations over flooding areas to assist the study of inundation patterns. Simulation results from HEC-RAS agree with observations from NOAA in the flooding area studied. Modeled results from specific locations affected by Hurricane Florence near Neuse River, NC are compared with observations. While overall pattern of inundation is agreeable between model results and observations, there are also differences at very specific locations. Higher resolution topography data and precipitation data over the flooding area may improve the simulation result and reduce the differences.

categories: physics.ao-ph physics.comp-ph physics.flu-dyn physics.geo-ph


title: A family of permutation trinomials in $\mathbb{F}_{q^2}$

abstract: Let $p>3$ and consider a prime power $q=p^h$. We completely characterize permutation polynomials of $\mathbb{F}_{q^2}$ of the type $f_{a,b}(X) = X(1 + aX^{q(q-1)} + bX^{2(q-1)}) \in \mathbb{F}_{q^2}[X]$. In particular, using connections with algebraic curves over finite fields, we show that the already known sufficient conditions are also necessary.


title: Instability of rational and polynomial convexity

abstract: It is shown that rational and polynomial convexity of totally real submanifolds is in general unstable under perturbations that are $C^\alpha$-small for any H\"older exponent $\alpha<1$. This complements the result of L{\o}w and Wold that these properties are $C^1$-stable.


title: Kinematic surprises in twisted particle collisions

abstract: "Twisted particles" refer to non-plane-wave states of photons, electrons, hadrons, or any other particle which carry non-zero, adjustable orbital angular momentum with respect to their average propagation direction. Twisted photons and electrons have already been experimentally demonstrated, and one can expect creation of twisted states of other particles in future. Such states can be brought in collisions, offering a completely new degree of freedom in collider experiments and, especially, a novel tool for hadronic physics. We recently showed that $2 \to 1$ processes with two twisted particles such as resonance production in twisted $e^+e^-$ annihilation give access to observables which are difficult or impossible to probe in the usual plane-wave collisions. In this paper, we discuss in detail surprising kinematic features of this process, focusing on spinless particle annihilation. They include (1) a new dimension in the final momentum space available in twisted annihilation, (2) interference fringes emerging in the cross section as a function of the total energy, and (3) the built-in mass spectrometric capability of this process, that is, simultaneous production and automatic angular separation of several resonances with different masses in monochromatic twisted particle annihilation experiment running at fixed energy. All these features cannot be obtained in the usual plane wave collision setting.


title: Convolutional Neural Network-based Optical Camera Communication System for Internet of Vehicles

abstract: The evolution of internet of vehicles (IoV) and the growing use of mobile devices with the development of the Internet of Things, demand has grown for alternative wireless communication technologies. As a promising alternative, optical-camera communication (OCC) has emerged that uses light-emitting diode (LED) and camera as transmitter and receiver respectively. Since LEDs and cameras are exploring in traffic lights, vehicles, and public lightings, OCC has the potential to handle the transport systems intelligently. Though some technologies have been proposed or developed, these are not mature enough to uphold the huge requirements of IoV. However, most of the OCC applications are limited to single vehicle and there has been limited focus on the use of multiple vehicles detection (spatial) or fast processing (temporal) systems. Also, there has no system to challenge with the bad weather condition. In this research, a vision camera and high-speed camera has been proposed to provide multiple vehicle detection and fast data processing. Here, a convolutional neural network (CNN) based vehicular OCC system has been introduced to guarantee communication to maintain communication at the adverse condition and near-infrared is proposed in addition to visible lights to provide long range and secure communication. To support IoV communication, software-defined networking (SDN) has been proposed. Finally, the results represent the required conditions for vehicular OCC system analysis and improved performance demonstration using the proposed intelligent system.


title: A problem of Stanislaw Saks

abstract: A solution of Problem 184 from the Scottish Book is presented.


title: Towards FAIR protocols and workflows: The OpenPREDICT case study

abstract: It is essential for the advancement of science that scientists and researchers share, reuse and reproduce workflows and protocols used by others. The FAIR principles are a set of guidelines that aim to maximize the value and usefulness of research data, and emphasize a number of important points regarding the means by which digital objects are found and reused by others. The question of how to apply these principles not just to the static input and output data but also to the dynamic workflows and protocols that consume and produce them is still under debate and poses a number of challenges. In this paper we describe our inclusive and overarching approach to apply the FAIR principles to workflows and protocols and demonstrate its benefits. We apply and evaluate our approach on a case study that consists of making the PREDICT workflow, a highly cited drug repurposing workflow, open and FAIR. This includes FAIRification of the involved datasets, as well as applying semantic technologies to represent and store data about the detailed versions of the general protocol, of the concrete workflow instructions, and of their execution traces. A semantic model was proposed to better address these specific requirements and were evaluated by answering competency questions. This semantic model consists of classes and relations from a number of existing ontologies, including Workflow4ever, PROV, EDAM, and BPMN. This allowed us then to formulate and answer new kinds of competency questions. Our evaluation shows the high degree to which our FAIRified OpenPREDICT workflow now adheres to the FAIR principles and the practicality and usefulness of being able to answer our new competency questions.


title: A Cluster Ranking Model for Full Anaphora Resolution

abstract: Anaphora resolution (coreference) systems designed for the CONLL 2012 dataset typically cannot handle key aspects of the full anaphora resolution task such as the identification of singletons and of certain types of non-referring expressions (e.g., expletives), as these aspects are not annotated in that corpus. However, the recently released dataset for the CRAC 2018 Shared Task can now be used for that purpose. In this paper, we introduce an architecture to simultaneously identify non-referring expressions (including expletives, predicative s, and other types) and build coreference chains, including singletons. Our cluster-ranking system uses an attention mechanism to determine the relative importance of the mentions in the same cluster. Additional classifiers are used to identify singletons and non-referring markables. Our contributions are as follows. First all, we report the first result on the CRAC data using system mentions; our result is 5.8% better than the shared task baseline system, which used gold mentions. Second, we demonstrate that the availability of singleton clusters and non-referring expressions can lead to substantially improved performance on non-singleton clusters as well. Third, we show that despite our model not being designed specifically for the CONLL data, it achieves a score equivalent to that of the state-of-the-art system by Kantor and Globerson (2019) on that dataset.


title: Uniform chain decompositions and applications

abstract: The Boolean lattice $2^{[n]}$ is the family of all subsets of $[n]=\{1,\dots,n\}$ ordered by inclusion, and a chain is a family of pairwise comparable elements of $2^{[n]}$. Let $s=2^{n}/\binom{n}{\lfloor n/2\rfloor}$, which is the average size of a chain in a minimal chain decomposition of $2^{[n]}$. We prove that $2^{[n]}$ can be partitioned into $\binom{n}{\lfloor n/2\rfloor}$ chains such that all but at most $o(1)$ proportion of the chains have size $s(1+o(1))$. This asymptotically proves a conjecture of F\"uredi from 1985. Our proof is based on probabilistic arguments. To analyze our random partition we develop a weighted variant of the graph container method. Using this result, we also answer a Kalai-type question raised recently by Das, Lamaison and Tran. What is the minimum number of forbidden comparable pairs forcing that the largest subfamily of $2^{[n]}$ not containing any of them has size at most $\binom{n}{\lfloor n/2\rfloor}$? We show that the answer is $(\sqrt{\frac{\pi}{8}}+o(1))2^{n}\sqrt{n}$. Finally, we discuss how these uniform chain decompositions can be used to optimize and simplify various results in extremal set theory.


title: Active Re-identification Attacks on Periodically Released Dynamic Social Graphs

abstract: Active re-identification attacks pose a serious threat to privacy-preserving social graph publication. Active attackers create fake accounts to build structural patterns in social graphs which can be used to re-identify legitimate users on published anonymised graphs, even without additional background knowledge. So far, this type of attacks has only been studied in the scenario where the inherently dynamic social graph is published once. In this paper, we present the first active re-identification attack in the more realistic scenario where a dynamic social graph is periodically published. The new attack leverages tempo-structural patterns for strengthening the adversary. Through a comprehensive set of experiments on real-life and synthetic dynamic social graphs, we show that our new attack substantially outperforms the most effective static active attack in the literature by increasing the success probability of re-identification by more than two times and efficiency by almost 10 times. Moreover, unlike the static attack, our new attack is able to remain at the same level of effectiveness and efficiency as the publication process advances. We conduct a study on the factors that may thwart our new attack, which can help design graph anonymising methods with a better balance between privacy and utility.


title: Agent Probing Interaction Policies

abstract: Reinforcement learning in a multi agent system is difficult because these systems are inherently non-stationary in nature. In such a case, identifying the type of the opposite agent is crucial and can help us address this non-stationary environment. We have investigated if we can employ some probing policies which help us better identify the type of the other agent in the environment. We've made a simplifying assumption that the other agent has a stationary policy that our probing policy is trying to approximate. Our work extends Environmental Probing Interaction Policy framework to handle multi agent environments.


title: Collective Dynamics of Dark Web Marketplaces

abstract: Dark markets are commercial websites that use Bitcoin to sell or broker transactions involving drugs, weapons, and other illicit goods. Being illegal, they do not offer any user protection, and several police raids and scams have caused large losses to both customers and vendors over the past years. However, this uncertainty has not prevented a steady growth of the dark market phenomenon and a proliferation of new markets. The origin of this resilience have remained unclear so far, also due to the difficulty of identifying relevant Bitcoin transaction data. Here, we investigate how the dark market ecosystem re-organises following the disappearance of a market, due to factors including raids and scams. To do so, we analyse 24 episodes of unexpected market closure through a novel datasets of 133 million Bitcoin transactions involving 31 dark markets and their users, totalling 4 billion USD. We show that coordinated user migration from the closed market to coexisting markets guarantees overall systemic resilience beyond the intrinsic fragility of individual markets. The migration is swift, efficient and common to all market closures. We find that migrants are on average more active users in comparison to non-migrants and move preferentially towards the coexisting market with the highest trading volume. Our findings shed light on the resilience of the dark market ecosystem and we anticipate that they may inform future research on the self-organisation of emerging online markets.


title: Neural Network Memorization Dissection

abstract: Deep neural networks (DNNs) can easily fit a random labeling of the training data with zero training error. What is the difference between DNNs trained with random labels and the ones trained with true labels? Our paper answers this question with two contributions. First, we study the memorization properties of DNNs. Our empirical experiments shed light on how DNNs prioritize the learning of simple input patterns. In the second part, we propose to measure the similarity between what different DNNs have learned and memorized. With the proposed approach, we analyze and compare DNNs trained on data with true labels and random labels. The analysis shows that DNNs have \textit{One way to Learn} and \textit{N ways to Memorize}. We also use gradient information to gain an understanding of the analysis results.


title: Quantum $D = 3$ Euclidean and Poincar\'{e} symmetries from contraction limits

abstract: Following the recently obtained complete classification of quantum-deformed $\mathfrak{o}(4)$, $\mathfrak{o}(3,1)$ and $\mathfrak{o}(2,2)$ algebras, characterized by classical $r$-matrices, we study their inhomogeneous $D = 3$ quantum IW contractions (i.e. the limit of vanishing cosmological constant), with Euclidean or Lorentzian signature. Subsequently, we compare our results with the complete list of $D = 3$ inhomogeneous Euclidean and $D = 3$ Poincar\'{e} quantum deformations obtained by P.~Stachura. It turns out that the IW contractions allow us to recover all Stachura deformations. We further discuss the applicability of our results in the models of 3D quantum gravity in the Chern-Simons formulation (both with and without the cosmological constant), where it is known that the relevant quantum deformations should satisfy the Fock-Rosly conditions. The latter deformations in part of the cases are associated with the Drinfeld double structures, which also have been recently investigated in detail.


title: Neural Large Neighborhood Search for the Capacitated Vehicle Routing Problem

abstract: Learning how to automatically solve optimization problems has the potential to provide the next big leap in optimization technology. The performance of automatically learned heuristics on routing problems has been steadily improving in recent years, but approaches based purely on machine learning are still outperformed by state-of-the-art optimization methods. To close this performance gap, we propose a novel large neighborhood search (LNS) framework for vehicle routing that integrates learned heuristics for generating new solutions. The learning mechanism is based on a deep neural network with an attention mechanism and has been especially designed to be integrated into an LNS search setting. We evaluate our approach on the capacitated vehicle routing problem (CVRP) and the split delivery vehicle routing problem (SDVRP). On CVRP instances with up to 297 customers, our approach significantly outperforms an LNS that uses only handcrafted heuristics and a well-known heuristic from the literature. Furthermore, we show for the CVRP and the SDVRP that our approach surpasses the performance of existing machine learning approaches and comes close to the performance of state-of-the-art optimization approaches.


title: Dirac-vortex topological cavity

abstract: Cavity design is crucial for single-mode semiconductor lasers such as the distributed feedback (DFB) and vertical-cavity surface-emitting lasers (VCSEL). By recognizing that both optical resonators feature a single mid-gap mode localized at the topological defect in a one-dimensional (1D) lattice, we generalize the topological cavity design into 2D using a honeycomb photonic crystal with a vortex Dirac mass -- the analog of Jackiw-Rossi zero modes. We theoretically predict and experimentally demonstrate that such a Dirac-vortex cavity can have a tunable mode area across a few orders of magnitudes, arbitrary mode degeneracy, robustly large free-spectral-range, vector-beam output of low divergence, and compatibility with high-index substrates. This topological cavity could enable photonic crystal surface-emitting lasers (PCSEL) with stabler single-mode operation.


title: Confronting Grand Challenges in Environmental Fluid Mechanics

abstract: Environmental fluid mechanics underlies a wealth of natural, industrial and, by extension, societal challenges. In the coming decades, as we strive towards a more sustainable planet, there are a wide range of grand challenge problems that need to be tackled, ranging from fundamental advances in understanding and modeling of stratified turbulence and consequent mixing, to applied studies of pollution transport in the ocean, atmosphere and urban environments. A workshop was organized in the Les Houches School of Physics in France in January 2019 with the objective of gathering leading figures in the field to produce a road map for the scientific community. Five subject areas were addressed: multiphase flow, stratified flow, ocean transport, atmospheric and urban transport, and weather and climate prediction. This article summarizes the discussions and outcomes of the meeting, with the intent of providing a resource for the community going forward.


title: Tuning martensitic transformations via coherent second phases in nanolaminates using free energy landscape engineering

abstract: We explore the possibilities and limitations of using a coherent second phase to engineer the thermo-mechanical properties of a martensitic alloy by modifying the underlying free energy landscape that controls the transformation. We use molecular dynamics simulations of a model atomistic system where the properties of a coherent, nanoscale second phase can be varied systematically. With a base martensitic material that undergoes a temperature-induced transformation from a cubic austenite to a monoclinic martensite, the simulations show a significant ability to engineer the transformation temperatures, from a ~50% reduction to a ~200% increase, with 50 at. % of the cubic second phase. We establish correlations between the properties of the second phase and the transformation characteristics and microstructure, via the free energy landscape of the two-phase systems. Coherency stresses have a strong influence on the martensitic variants observed and can even cause the non-martensitic second phase to undergo a transformation. Reducing the stiffness of second phase increases the transformation strain and modifies the martensitic microstructure, increasing the volume fraction of the transformed material. This increase in transformation strain is accompanied by a significant increase in the Af and thermal hysteresis, while the Ms remains unaltered. Our findings on the tunability of martensitic transformations can be used for informed searches of second phases to achieve desired material properties, such as achieving room temperature, lightweight shape memory alloys.


title: Weak convergence rates for an explicit full-discretization of stochastic Allen-Cahn equation with additive noise

abstract: We discretize the stochastic Allen-Cahn equation with additive noise by means of a spectral Galerkin method in space and a tamed version of the exponential Euler method in time. The resulting error bounds are analyzed for the spatio-temporal full discretization in both strong and weak senses. Different from existing works, we develop a new and direct approach for the weak error analysis, which does not rely on the use of the associated Kolmogorov equation or It\^{o}'s formula and is therefore non-Markovian in nature. Such an approach thus has a potential to be applied to non-Markovian equations such as stochastic Volterra equations or other types of fractional SPDEs, which suffer from the lack of Kolmogorov equations. It turns out that the obtained weak convergence rates are, in both spatial and temporal direction, essentially twice as high as the strong convergence rates. Also, it is revealed how the weak convergence rates depend on the regularity of the noise. Numerical experiments are finally reported to confirm the theoretical conclusion.


title: Wilson-line geometries and the relation between IR singularities of form factors and the large-x limit of DGLAP splitting functions

abstract: We discuss the relation between the infrared singularities of on-shell partonic form factors and parton distribution functions (PDFs) near the elastic limit, through their factorisation in terms of Wilson-line correlators. Ultimately we identify the difference between the anomalous dimensions controlling single poles of these two quantities to all loops in terms of the closed parallelogram Wilson loop. To arrive at this result we first use the common hard-collinear behaviour of the two to derive a relation between their respective soft singularities, and then show that the latter is manifested in terms of differing Wilson-line geometries. We perform explicit diagrammatic calculations in configuration space through two loops to verify the relation. More generally, the emerging picture allows us to classify collinear singularities in eikonal quantities depending on whether they are associated with finite (closed) Wilson-line segments or infinite (open) ones.


title: Time-domain terahertz compressive imaging

abstract: We present an implementation of the single-pixel imaging approach into a terahertz (THz) time-domain spectroscopy (TDS) system. We demonstrate the indirect coherent reconstruction of THz temporal waveforms at each spatial position of an object, without the need of mechanical raster-scanning. First, we exploit such temporal information to realize (far-field) time-of-flight images. In addition, as a proof of concept, we apply a typical compressive sensing algorithm to demonstrate image reconstruction with less than 50% of the total required measurements. Finally, the access to frequency domain is also demonstrated by reconstructing spectral images of an object featuring an absorption line in the THz range. The combination of single-pixel imaging with compressive sensing algorithms allows to reduce both complexity and acquisition time of current THz-TDS imaging systems.


title: Analytical model of dark energy stars

abstract: In this article we study the structure and stability of compact astrophysical objects which are ruled by the dark energy equation of state (EoS). The existence of dark energy is important for explaining the current accelerated expansion of the universe. Exact solutions to Einstein field equations (EFE) have been found by considering particularized metric potential, Finch and Skea ansatz \cite{Finch}. The obtained solutions are relevant to the explanation of compact fluid sphere. Further, we have observed at the junction interface, the interior solution is matched with the Schwarzschild's exterior vacuum solution. Based on that, we have noticed the obtained solutions are well in agreement with the observed maximum mass bound of $\approx$ 2$M_{\bigodot}$, namely, PSR J1416-2230, Vela X-1, 4U 1608-52, Her X-1 and PSR J1903+327, whose predictable masses and radii are not compatible with the standard neutron star models. Also, the stability of the stellar configuration has been discussed briefly, by considering the energy conditions, surface redshift, compactness, mass-radius relation in terms of the state parameter ($\omega$). Finally, we demonstrate that the features so obtained are physically acceptable and consistent with the observed/reported data \citep{Gondek-Rosinska,Glendenning}. Thus, the present dark energy equation of state appears talented regarding the presence of several exotic astrophysical matters.


title: The Chromatic Polynomial of a Digraph

abstract: An acyclic coloring of a digraph as defined by Neumann-Lara is a vertex-coloring such that no monochromatic directed cycles occur. Counting the number of such colorings with $k$ colors can be done by counting so-called Neumann-Lara-coflows (NL-coflows), which build a polynomial in $k$. We will present a representation of this polynomial using totally cyclic subdigraphs, which form a graded poset $Q$. Furthermore we will decompose our NL-coflow polynomial, which becomes the chromatic polynomial of a digraph by multiplication with the number of colors to the number of components, examining the special structure of the poset of totally cyclic subdigraphs with fixed underlying undirected graph. This decomposition will confirm the equality of our chromatic polynomial of a digraph and the chromatic polynomial of the underlying undirected graph in the case of symmetric digraphs.


title: A parallel space-time multigrid method for the eddy-current equation

abstract: We expand the applicabilities and capabilities of an already existing space-time parallel method based on a block Jacobi smoother. First we formulate a more detailed criterion for spatial coarsening, which enables the method to deal with unstructured meshes and varying material parameters. Further we investigate the application to the eddy-current equation, where the non-trivial kernel of the curl operator causes severe problems. This is remedied with a new nodal auxiliary space correction. We proceed to identify convergence rates by local Fourier analysis and numerical experiments. Finally, we present a numerical experiment which demonstrates its excellent scaling properties.


title: Learning to Invert Pseudo-Spectral Data for Seismic Waveform Inversion

abstract: Full-waveform inversion (FWI) is a widely used technique in seismic processing to produce high resolution Earth models that fully explain the recorded seismic data. FWI is a local optimisation problem which aims to minimise in a least-squares sense the misfit between recorded and modelled data. The inversion process begins with a best-guess initial model which is iteratively improved using a sequence of linearised local inversions to solve a fully non-linear problem. Deep learning has gained widespread popularity in the new millennium. At the core of these tools are Neural Networks (NN), in particular Deep Neural Networks (DNN) are variants of these original NN algorithms with significantly more hidden layers, resulting in efficient learning of a non-linear functional between input and output pairs. The learning process within DNN involves iteratively updating network neuron weights to best approximate input-to-output mappings. There is clearly similarity between FWI and DNN. Both approaches attempt to solve for a non-linear mapping in an iterative sense, however they are fundamentally different in that the former is knowledge-driven whereas the latter is data-driven. This article proposes a novel approach which learns pseudo-spectral data-driven FWI. We test this methodology by training a DNN on 1D multi-layer, horizontally-isotropic data and then apply this to previously unseen data to infer the surface velocity. Results are compared against a synthetic model and successfulness and failures of this approach are hence identified.


title: All You Need Is Boundary: Toward Arbitrary-Shaped Text Spotting

abstract: Recently, end-to-end text spotting that aims to detect and recognize text from cluttered images simultaneously has received particularly growing interest in computer vision. Different from the existing approaches that formulate text detection as bounding box extraction or instance segmentation, we localize a set of points on the boundary of each text instance. With the representation of such boundary points, we establish a simple yet effective scheme for end-to-end text spotting, which can read the text of arbitrary shapes. Experiments on three challenging datasets, including ICDAR2015, TotalText and COCO-Text demonstrate that the proposed method consistently surpasses the state-of-the-art in both scene text detection and end-to-end text recognition tasks.


title: $SU(3)_C\times SU(3)_L\times U(1)_X$ model from $SU(6)$

abstract: We propose the $SU(3)_C\times SU(3)_L\times U(1)_X$ model arising from $SU(6)$ breaking. One family of the Standard Model (SM) fermions arises from two $\bar{6}$ representations and one $15$ representation of $SU(6)$ gauge symmetry. To break the $SU(3)_C\times SU(3)_L\times U(1)_X$ gauge symmetry down to the SM, we introduce three $SU(3)_L$ triplet Higgs fields, where two of them come from the $\bar{6}$ representation while the other one from the $15$ representation. We study the gauge boson masses and Higgs boson mass in detail, and find that the vacuum expectation value (VEV) of the Higgs field for $SU(3)_L\times U(1)_X$ gauge symmetry breaking is around 10 TeV. The neutrino masses and mixing can be generated via the littlest inverse seesaw mechanism. In particular, we have normal hierarchy for neutrino masses and the lightest active neutrino is massless. Also, we consider constraints from the charged lepton flavor changing decays as well. Furthermore, introducing two $SU(3)_L$ adjoint fermions, one $SU(3)_C$ adjoint scalar, and one $SU(3)_L$ triplet scalar, we can achieve gauge coupling unification within 1\%. These extra particles can provide a dark matter candidate as well.


title: Gapless ground state in the archetypal quantum kagome antiferromagnet ZnCu$_3$(OH)$_6$Cl$_2$

abstract: Spin liquids are exotic phases of quantum matter challenging Landau's paradigm of symmetry-breaking phase transitions. Despite strong exchange interactions, spins do not order or freeze down to zero temperature. While well-established for 1D quantum antiferromagnets, in higher dimension where quantum fluctuations are less acute, realizing and understanding such states represent major issues, both theoretical and experimental. In this respect the simplest nearest-neighbor Heisenberg antiferromagnet Hamiltonian on the highly frustrated kagome lattice has proven to be a fascinating and inspiring model. The exact nature of its ground state remains elusive and the existence of a spin-gap is the first key-issue to be addressed to discriminate between the various classes of proposed spin liquids. Here, through low-temperature Nuclear Magnetic Resonance (NMR) contrast experiments on high quality single crystals, we single out the kagome susceptibility and the corresponding dynamics in the kagome archetype, the mineral herbertsmithite, ZnCu$_3$(OH)$_6$Cl$_2$. We firmly conclude that this material does not harbor any spin-gap, which restores a convergence with recent numerical results promoting a gapless Dirac spin liquid as the ground state of the Heisenberg kagome antiferromagnet.


title: Kooplex: collaborative data analytics portal for advancing sciences

abstract: Research collaborations are continuously emerging catalyzed by online platforms, where people can share their codes, calculations, data and results. These virtual research platforms are innovative, community oriented, flexible and secure as required by modern scientific approaches. A wide range of open source and commercial solutions are available in this field emphasizing the relevant aspects of such a platform differently. In this paper we present our open source and modular platform, KOOPLEX, which combines the key concepts of dynamic collaboration, customizable research environment, data sharing, access to datahubs, reproducible research and reporting. It is easily deployable and scalable to serve more users or access large computational resources.


title: Discrete and Continuous Deep Residual Learning Over Graphs

abstract: In this paper we propose the use of continuous residual modules for graph kernels in Graph Neural Networks. We show how both discrete and continuous residual layers allow for more robust training, being that continuous residual layers are those which are applied by integrating through an Ordinary Differential Equation (ODE) solver to produce their output. We experimentally show that these residuals achieve better results than the ones with non-residual modules when multiple layers are used, mitigating the low-pass filtering effect of GCN-based models. Finally, we apply and analyse the behaviour of these techniques and give pointers to how this technique can be useful in other domains by allowing more predictable behaviour under dynamic times of computation.


title: A Case Study of the May 30th, 2017 Italian Fireball

abstract: On May 30th, 2017 at about 21h 09m 17s UTC a green bright fireball crossed the sky of north-eastern Italy. The fireball path was observed from some all-sky cameras starting from a mean altitude of $81.1 \pm 0.2$ km (Lat. $44.369^{\circ} \pm 0.002^{\circ}$ N; Long. $11.859^{\circ} \pm 0.002^{\circ}$ E) and extinct at $23.3 \pm 0.2$ km (Lat. $45.246^{\circ} \pm 0.002^{\circ}$ N; Long. $12.046^{\circ} \pm 0.002^{\circ}$ E), between the Italian cities of Venice and Padua. In this paper, on the basis of simple physical models, we will compute the atmospheric trajectory, analize the meteoroid atmospheric dynamics, the dark flight phase (with the strewn field) and compute the best heliocentric orbit of the progenitor body. Search for meteorites on the ground has not produced any results so far.


title: An accelerometer-only algorithm for determining the acceleration field of a rigid body, with application in studying the mechanics of mild Traumatic Brain Injury

abstract: We present an algorithm for determining the acceleration field of a rigid body using measurements from four tri-axial accelerometers. The acceleration field is an important quantity in bio-mechanics problems, especially in the study of mild Traumatic Brain Injury (mTBI). The in vivo strains in the brain, which are hypothesized to closely correlate with brain injury, are generally not directly accessible outside of a laboratory setting. However, they can be estimated on knowing the head's acceleration field. In contrast to other techniques, the proposed algorithm uses data exclusively from accelerometers, rather than from a combination of accelerometers and gyroscopes. For that reason, the proposed accelerometer only (AO) algorithm does not involve any numerical differentiation of data, which is known to greatly amplify measurement noise. For applications where only the magnitude of the acceleration vector is of interest, the algorithm is straightforward, computationally efficient and does not require computation of angular velocity or orientation. When both the magnitude and direction of acceleration are of interest, the proposed algorithm involves the calculation of the angular velocity and orientation as intermediate steps. In addition to helping understand the mechanics of mTBI, the AO-algorithm may find widespread use in several bio-mechanical applications, gyroscope-free inertial navigation units, ballistic platform guidance, and platform control.


title: Complex solutions and stationary scattering for the nonlinear Helmholtz equation

abstract: We study a stationary scattering problem related to the nonlinear Helmholtz equation $-\Delta u - k^2 u = f(x,u) \ \ \text{in $\mathbb{R}^N$,}$ where $N \ge 3$ and $k>0$. For a given incident free wave $\varphi \in L^\infty(\mathbb{R}^N)$, we prove the existence of complex-valued solutions of the form $u=\varphi+u_{\text{sc}}$, where $u_{\text{sc}}$ satisfies the Sommerfeld outgoing radiation condition. Since neither a variational framework nor maximum principles are available for this problem, we use topological fixed point theory and global bifurcation theory to solve an associated integral equation involving the Helmholtz resolvent operator. The key step of this approach is the proof of suitable a priori bounds.