title: Proximate ferromagnetic state in the Kitaev model material $\alpha$-RuCl$_{3}$

abstract: $\alpha$-RuCl$_{3}$ is a major candidate for the realization of the Kitaev quantum spin liquid, but its zigzag antiferromagnetic order at low temperatures indicates deviations from the Kitaev model. We have quantified the spin Hamiltonian of $\alpha$-RuCl$_{3}$ by a resonant inelastic x-ray scattering study at the Ru $L_{3}$ absorption edge. In the paramagnetic state, the quasi-elastic intensity of magnetic excitations has a broad maximum around the zone center without any local maxima at the zigzag magnetic Bragg wavevectors. This finding implies that the zigzag order is fragile and readily destabilized by competing ferromagnetic correlations. The classical ground state of the experimentally determined Hamiltonian is actually ferromagnetic. The zigzag state is stabilized via a quantum "order by disorder" mechanism, leaving ferromagnetism -- along with the Kitaev spin liquid -- as energetically proximate metastable states. The three closely competing states and their collective excitations hold the key to the theoretical understanding of the unusual properties of $\alpha$-RuCl$_{3}$ in magnetic fields.


title: Towards Metric Temporal Answer Set Programming

abstract: We elaborate upon the theoretical foundations of a metric temporal extension of Answer Set Programming. In analogy to previous extensions of ASP with constructs from Linear Temporal and Dynamic Logic, we accomplish this in the setting of the logic of Here-and-There and its non-monotonic extension, called Equilibrium Logic. More precisely, we develop our logic on the same semantic underpinnings as its predecessors and thus use a simple time domain of bounded time steps. This allows us to compare all variants in a uniform framework and ultimately combine them in a common implementation.


title: Light neutral meson production in the era of precision physics at the LHC

abstract: The production of light neutral mesons in different collision systems is interesting for a variety of reasons: In nucleus-nucleus (AA) collisions the measurements provide important information on the energy loss of partons traversing the Quark-Gluon Plasma (QGP) which is formed in heavy-ion collisions at the LHC. In proton--proton (pp) collisions, neutral mesons allow us to test with high precision the predictions of perturbative QCD and other model calculations, and also serve as a reference for pA and AA collisions. In pA collisions, cold nuclear matter effects are studied. In the ALICE experiment, which is dedicated to the study of the QGP, neutral mesons can be detected via their decay to two photons. The latter can be reconstructed using the two calorimeters EMCal and PHOS or via conversions in the detector material. Combining state-of-the-art reconstruction techniques with the large data sample delivered by the LHC in Run 2 gives us the opportunity to enhance the precision of our measurements. In these proceedings, an overview of neutral meson production in pp, p--Pb and Pb--Pb collisions at LHC energies, as measured with the ALICE detector is presented.


title: Observing off-resonance motion of nanomechanical resonators as modal superposition

abstract: Observation of resonance modes is the most straightforward way of studying mechanical oscillations because these modes have maximum response to stimuli. However, a deeper understanding of mechanical motion could be obtained by also looking at modal responses at frequencies in between resonances. A common way to do this is to force a mechanical object into oscillations and study its off-resonance behaviour. In this paper, we present visualisation of the modal response shapes for a mechanical drum driven off resonance. By using the frequency modal analysis, we describe these shapes as a superposition of resonance modes. We find that the spatial distribution of the oscillating component of the driving force affects the modal weight or participation. Moreover, we are able to infer the asymmetry of the drum by studying the dependence of the resonance modes shapes on the frequency of the driving force. Our results highlight that dynamic responses of any mechanical system are mixtures of their resonance modes with various modal weights, further giving credence to the universality of this phenomenon.


title: Geometry of anonymous binary social choices that are strategy-proof

abstract: Let $V$ be society whose members express preferences about two alternatives, indifference included. Identifying anonymous binary social choice functions with binary functions $f=f(k,m)$ defined over the integer triangular grid $G=\{(k,m)\in \mathbb{N}_0\times\mathbb{N}_0 : k+m\le |V|\} $, we show that every strategy-proof, anonymous social choice function can be described geometrically by listing, in a sequential manner, groups of segments of G, of equal (maximum possible) length, alternately horizontal and vertical, representative of preference profiles that determine the collective choice of one of the two alternatives. Indeed, we show that every function which is anonymous and strategy-proof can be described in terms of a sequence of nonnegative integers $(q_1, q_2, \cdots, q_s)$ corresponding to the cardinalities of the mentioned groups of segments. We also analyze the connections between our present representation with another of our earlier representations involving sequences of majority quotas. A Python code is available with the authors for the implementation of any such social choice function.


title: Pose-based Modular Network for Human-Object Interaction Detection

abstract: Human-object interaction(HOI) detection is a critical task in scene understanding. The goal is to infer the triplet <subject, predicate, object> in a scene. In this work, we note that the human pose itself as well as the relative spatial information of the human pose with respect to the target object can provide informative cues for HOI detection. We contribute a Pose-based Modular Network (PMN) which explores the absolute pose features and relative spatial pose features to improve HOI detection and is fully compatible with existing networks. Our module consists of a branch that first processes the relative spatial pose features of each joint independently. Another branch updates the absolute pose features via fully connected graph structures. The processed pose features are then fed into an action classifier. To evaluate our proposed method, we combine the module with the state-of-the-art model named VS-GATs and obtain significant improvement on two public benchmarks: V-COCO and HICO-DET, which shows its efficacy and flexibility. Code is available at \url{https://github.com/birlrobotics/PMN}.


title: Learning Boost by Exploiting the Auxiliary Task in Multi-task Domain

abstract: Learning two tasks in a single shared function has some benefits. Firstly by acquiring information from the second task, the shared function leverages useful information that could have been neglected or underestimated in the first task. Secondly, it helps to generalize the function that can be learned using generally applicable information for both tasks. To fully enjoy these benefits, Multi-task Learning (MTL) has long been researched in various domains such as computer vision, language understanding, and speech synthesis. While MTL benefits from the positive transfer of information from multiple tasks, in a real environment, tasks inevitably have a conflict between them during the learning phase, called negative transfer. The negative transfer hampers function from achieving the optimality and degrades the performance. To solve the problem of the task conflict, previous works only suggested partial solutions that are not fundamental, but ad-hoc. A common approach is using a weighted sum of losses. The weights are adjusted to induce positive transfer. Paradoxically, this kind of solution acknowledges the problem of negative transfer and cannot remove it unless the weight of the task is set to zero. Therefore, these previous methods had limited success. In this paper, we introduce a novel approach that can drive positive transfer and suppress negative transfer by leveraging class-wise weights in the learning process. The weights act as an arbitrator of the fundamental unit of information to determine its positive or negative status to the main task.


title: Quantum dynamics in low-dimensional topological systems

abstract: The discovery of topological matter has revolutionized the field of condensed matter physics giving rise to many interesting phenomena, and fostering the development of new quantum technologies. In this thesis we study the quantum dynamics that take place in low dimensional topological systems, specifically 1D and 2D lattices that are instances of topological insulators. First, we study the dynamics of doublons, bound states of two fermions that appear in systems with strong Hubbard-like interactions. We also include the effect of periodic drivings and investigate how the interplay between interaction and driving produces novel phenomena. Prominent among these are the disappearance of topological edge states in the SSH-Hubbard model, the sublattice confinement of doublons in certain 2D lattices, and the long-range transfer of doublons between the edges of any finite lattice. Then, we apply our insights about topological insulators to a rather different setup: quantum emitters coupled to the photonic analogue of the SSH model. In this setup we compute the dynamics of the emitters, regarding the photonic SSH model as a collective structured bath. We find that the topological nature of the bath reflects itself in the photon bound states and the effective dipolar interactions between the emitters. Also, the topology of the bath affects the single-photon scattering properties. Finally, we peek into the possibility of using these kind of setups for the simulation of spin Hamiltonians and discuss the different ground states that the system supports.


title: The rotor Jackiw-Rebbi model: a cold-atom approach to chiral symmetry restoration and quark confinement

abstract: Understanding the nature of confinement, as well as its relation with the spontaneous breaking of chiral symmetry, remains one of the long-standing questions in high-energy physics. The difficulty of this task stems from the limitations of current analytical and numerical techniques to address non-perturbative phenomena in non-Abelian gauge theories. In this work, we show how similar phenomena emerge in simpler models, and how these can be further investigated using state-of-the-art cold-atom quantum simulators. More specifically, we introduce the rotor Jackiw-Rebbi model, a (1+1)-dimensional quantum field theory where interactions between Dirac fermions are mediated by quantum rotors. Starting from a mixture of ultracold atoms in an optical lattice, we show how this quantum field theory emerges in the long-wavelength limit. For a wide and experimentally-relevant parameter regime, the Dirac fermions acquire a dynamical mass via the spontaneous breakdown of chiral symmetry. Moreover, we study the effect of both quantum and thermal fluctuations, which lead to the phenomenon of chiral symmetry restoration. Finally, we uncover a confinement-deconfinement quantum phase transition, where meson-like fermions fractionalise into quark-like quasi-particles bound to topological solitons of the rotor field. The proliferation of these solitons at finite chemical potentials again serves to restore the chiral symmetry, yielding a clear analogy with the quark-gluon plasma in quantum chromodynamics, where this symmetry coexists with the deconfined fractional charges. Our results show how the interplay between these phenomena could be analyse in realistic atomic experiments.

categories: cond-mat.quant-gas cond-mat.str-el hep-lat hep-th


title: Outlier detection in non-elliptical data by kernel MRCD

abstract: The minimum regularized covariance determinant method (MRCD) is a robust estimator for multivariate location and scatter, which detects outliers by fitting a robust covariance matrix to the data. Its regularization ensures that the covariance matrix is well-conditioned in any dimension. The MRCD assumes that the non-outlying observations are roughly elliptically distributed, but many datasets are not of that form. Moreover, the computation time of MRCD increases substantially when the number of variables goes up, and nowadays datasets with many variables are common. The proposed Kernel Minimum Regularized Covariance Determinant (KMRCD) estimator addresses both issues. It is not restricted to elliptical data because it implicitly computes the MRCD estimates in a kernel induced feature space. A fast algorithm is constructed that starts from kernel-based initial estimates and exploits the kernel trick to speed up the subsequent computations. Based on the KMRCD estimates, a rule is proposed to flag outliers. The KMRCD algorithm performs well in simulations, and is illustrated on real-life data.


title: Multiple Texts as a Limiting Factor in Online Learning: Quantifying (Dis-)similarities of Knowledge Networks across Languages

abstract: We test the hypothesis that the extent to which one obtains information on a given topic through Wikipedia depends on the language in which it is consulted. Controlling the size factor, we investigate this hypothesis for a number of 25 subject areas. Since Wikipedia is a central part of the web-based information landscape, this indicates a language-related, linguistic bias. The article therefore deals with the question of whether Wikipedia exhibits this kind of linguistic relativity or not. From the perspective of educational science, the article develops a computational model of the information landscape from which multiple texts are drawn as typical input of web-based reading. For this purpose, it develops a hybrid model of intra- and intertextual similarity of different parts of the information landscape and tests this model on the example of 35 languages and corresponding Wikipedias. In this way the article builds a bridge between reading research, educational science, Wikipedia research and computational linguistics.


title: On the sum of ordered spacings

abstract: We provide the analytic forms of the distributions for the sum of ordered spacings. We do this both for the case where the boundaries are included in the calculation of the spacings and the case where they are excluded. Both the probability densities as well as their cumulatives are provided. These results will have useful applications in the physical sciences and possibly elsewhere.


title: Semileptonic and nonleptonic decays of the axial-vector tetraquark $T_{bb;\overline{u} \overline{d}}^{-}$

abstract: The semileptonic and nonleptonic decays of the double-beauty axial-vector tetraquark $T_{bb;\overline{u} \overline{d}}^{-}$ to a state $\widetilde{T}_{bc; \overline{u}\overline{d}}^{0}$ (hereafter $T_{bb}^{-}$ and $\widetilde{T} _{bc}^{0}$, respectively) are investigated in the context of the QCD sum rule method. The final-state tetraquark $\widetilde{T}_{bc}^{0}$ is treated as an axial-vector particle built of a heavy axial-vector diquark $ b^{T}\gamma _{\mu }Cc$ and light scalar antidiquark $\overline{u}C\gamma_{5} \overline{d}^{T}$. Its spectroscopic parameters are calculated using the two-points sum rules by taking into account contributions of quark, gluon and mixed condensates up to dimension $10$. We study the dominant semileptonic $T_{bb}^{-} \to \widetilde{T}_{bc}^{0}l\overline{\nu }_{l}$ and nonleptonic decays $T_{bb}^{-} \to \widetilde{T}_{bc}^{0}M$, where $M$ is one of the pseudoscalar mesons $\pi^{-}, K^{-}, D^{-}$ and $D_s^{-}$. The partial widths of these processes are computed in terms of weak form factors $G_{i}(q^2),\ i=1,2,3,4$, extracted by employing the QCD three-point sum rule approach. Predictions obtained for partial widths of considered decays are used to improve accuracy of theoretical predictions for full width and lifetime of the tetraquark $T_{bb}^{-}$, which are important for experimental exploration of this exotic meson.


title: Simultaneous two initial clock states preparation for thulium optical clock

abstract: Due to the low sensitivity of the thulium optical clock to black-body radiation and good accuracy and stability estimations, it appears to be one of the most promising transportable optical clocks. One of the leading systematic effects for Tm clock transition, namely the second-order Zeeman effect, can be canceled by probing two clock transitions between different hyperfine levels of ground and metastable states during the clock operation. We prepare the atoms in $m_F=0$ state of both ground hyperfine levels simultaneously and excite alternately two clock transitions. Here we demonstrate efficient optical pumping into both target states via single-frequency radiation at 418.8 nm. The resulting population of $m_F=0$ states of ground hyperfine levels is 36% and 3.8% of the initial number of atoms with less than 4% and 0.4% on non-zero magnetic sublevels, correspondingly. We performed numerical simulations of the optical pumping process which is able to explain experimental results reasonably well.


title: Backward Simulation for Sets of Trajectories

abstract: This paper presents a solution for recovering full trajectory information, via the calculation of the posterior of the set of trajectories, from a sequence of multitarget (unlabelled) filtering densities and the multitarget dynamic model. Importantly, the proposed solution opens an avenue of trajectory estimation possibilities for multitarget filters that do not explicitly estimate trajectories. In this paper, we first derive a general multitrajectory forward-backward smoothing equation based on sets of trajectories and the random finite set framework. Then we show how to sample sets of trajectories using backward simulation when the multitarget filtering densities are multi-Bernoulli processes. The proposed approach is demonstrated in a simulation study.


title: Numerical simulation of non-isothermal viscoelastic flows at high Weissenberg numbers using a finite volume method on general unstructured meshes

abstract: In this numerical study, an original approach to simulate non-isothermal viscoelastic fluid flows at high Weissenberg numbers is presented. Stable computations over a wide range of Weissenberg numbers are assured by using the root conformation approach in a finite volume framework on general unstructured meshes. The numerical stabilization framework is extended to consider thermo-rheological properties in Oldroyd-B type viscoelastic fluids. The temperature dependence of the viscoelastic fluid is modeled with the time-temperature superposition principle. Both Arrhenius and WLF shift factors can be chosen, depending on the flow characteristics. The internal energy balance takes into account both energy and entropy elasticity. Partitioning is achieved by a constant split factor. An analytical solution of the balance equations in planar channel flow is derived to verify the results of the main field variables and to estimate the numerical error. The more complex entry flow of a polyisobutylene-based polymer solution in an axisymmetric 4:1 contraction is studied and compared to experimental data from the literature. We demonstrate the stability of the method in the experimentally relevant range of high Weissenberg numbers. The results at different imposed wall temperatures, as well as Weissenberg numbers, are found to be in good agreement with experimental data. Furthermore, the division between energy and entropy elasticity is investigated in detail with regard to the experimental setup.


title: hv2-concept breaks the photon-count limit of RIXS instrumentation

abstract: Upon progressive refinement of energy resolution, the conventional RIXS instrumentation reaches the limit where the bandwidth of incident photons becomes insufficient to deliver an acceptable photon-count rate. We show that the RIXS spectra as a function of energy loss are essentially invariant to their integration over incident energies within the core-hole lifetime. This fact permits the RIXS instrumentation based on the hv2-concept to utilize incident synchrotron radiation over the whole core-hole lifetime window without any compromise on the energy-loss resolution, thereby breaking the photon-count limit.


title: Methodology for measuring gluon jet fraction and characteristics of quark and gluon jets for hadron-hadron collisions

abstract: The discriminators of quark-gluon jets developed for $pp$ collisions at the LHC can be used to measure the gluon jet fraction in a jet sample. It allows to measure various characteristics of the quark and gluon jets. The methodology of such measurements for modern hadron colliders is discussed.


title: A Portable In-Ear Pulse Wave Measurement System

abstract: The measurement of the pulse wave has proven to be a vital tool in medical diagnosis. Whereby most pulse wave measurements are carried out at extremities, this work proposes a system for measuring the pulse wave and the Pulse Arrival Time (PAT) in the interior of the ear. The developed measurement device is based on a battery powered microcontroller system. The measurement device simultaneously acquires an Einthoven Lead II Electrocardiogram (ECG), a dual wavelength Photoplethysmogram (PPG), the pressure in both ears, the temperature inside the ear canal, as well as the subject's motion. The acquired measurement data can either be saved on a micro SD-card or can be transmitted wireless via Bluetooth or wired via USB to a host PC for further analysis. Battery powered the device can operate up to 8 hours. In addition to the system description, first measurements carried out with the system will be presented.


title: Non-Associated Flow Rule-Based Elasto-Viscoplastic Model for Clay

abstract: We develop a non-associated flow rule (NAFR) based elasto-viscoplastic (EVP) model for isotropic clays. For the model formulation, we introduce the critical state soil mechanics theory (CSSMT), the bounding surface theory and Perzyna's overstress theory. The NAFR based EVP model comprises three surfaces: the potential surface, the reference surface and the loading surface. Additionally, in the model formulation, assuming the potential surface and the reference surface are identical, we obtain the associated flow rule-based EVP model. Both EVP models require seven parameters and five of them are identical to the Modified Cam Clay model. The other two parameters are the surface shape parameter and the secondary compression index. Moreover, we introduce the shape parameter in the model formulation to control the surface shape and to account for the overconsolidation state of clay. Additionally, we incorporate the secondary compression index to introduce the viscosity of clay. Also, we validate the EVP model performances for the Shanghai clay,the San Francisco Bay Mud (SFBM) clay and the Kaolin clay. Furthermore, we use the EVP models to predict the long-term field monitoring measurement of the Nerang Broadbeach roadway embankment in Australia. From the comparison of model predictions, we find that the non-associated flow rule EVP model captures well a wide range of experimental results and field monitoring embankment data. Furthermore, we also observe that the natural clay exhibits the flow rule effect more compared to the reconstituted clay.


title: The Cluster-in-Molecule Local Correlation Method with an Accurate Distant Pair Correction for Large Systems

abstract: The cluster-in-molecule (CIM) local correlation approach with an accurate distant pair correlation energy correction is presented. For large systems, the inclusion of distant pair correlation energies is essential for the accurate predictions of absolute correlation energies and relative energies. Here we propose a simple and efficient scheme for evaluating the distant pair correlation energy correction. The corrections can be readily extracted from electron correlation calculations of clusters with almost no additional effort. Benchmark calculations show that the improved CIM approach can recover more than 99.97% of the conventional correlation energy. By combining the CIM approach with the domain based local pair natural orbital (DLPNO) local correlation approach, we have provided accurate binding energies at the CIM-DLPNO-CCSD(T) level for a test set consisting of eight weakly bound complexes ranging in size from 200 to 1027 atoms. With these results as the reference data, the accuracy and applicability of other electron correlation methods and a few density functional methods for large systems have been assessed.


title: Index Theorem for Domain Walls

abstract: The paper is devoted to the discussion of index theorem for domain walls condition. We give an extension of the theorem to the case, when not only Yang-Mills connection components have a jump on some surface of co-dimension 1, but also components of a Riemannian connection, while a metric remains continuous.


title: Singular extinction profiles of solutions to some fast diffusion equations

abstract: We study extinction profiles of solutions to fast diffusion equations with some initial data in the Marcinkiewicz space. The extinction profiles will be the singular solutions of their stationary equations.


title: A Note on a Recent Algorithm for Minimum Cut

abstract: Given an undirected edge-weighted graph $G=(V,E)$ with $m$ edges and $n$ vertices, the minimum cut problem asks to find a subset of vertices $S$ such that the total weight of all edges between $S$ and $V \setminus S$ is minimized. Karger's longstanding $O(m \log^3 n)$ time randomized algorithm for this problem was very recently improved in two independent works to $O(m \log^2 n)$ [ICALP'20] and to $O(m \log^2 n + n\log^5 n)$ [STOC'20]. These two algorithms use different approaches and techniques. In particular, while the former is faster, the latter has the advantage that it can be used to obtain efficient algorithms in the cut-query and in the streaming models of computation. In this paper, we show how to simplify and improve the algorithm of [STOC'20] to $O(m \log^2 n + n\log^3 n)$. We obtain this by replacing a randomized algorithm that, given a spanning tree $T$ of $G$, finds in $O(m \log n+n\log^4 n)$ time a minimum cut of $G$ that 2-respects (cuts two edges of) $T$ with a simple $O(m \log n+n\log^2 n)$ time deterministic algorithm for the same problem.


title: Periodic orbits of the two fixed centers problem with a variational gravitational field

abstract: We prove the existence of periodic orbits of the two fixed centers problem bifurcating from the Kepler problem. We provide the analytical expressions of these periodic orbits when the mass parameter of the system is sufficiently small.


title: Spinors in cylindrically symmetric space-time

abstract: We studied the behavior of nonlinear spinor field within the scope of a static cylindrically symmetric space-time. It is found that the energy-momentum tensor (EMT) of the spinor field in this case possesses nontrivial non-diagonal components. The presence of non-diagonal components of the EMT imposes three-way restrictions wither on the space-time geometry or on the components of the spinor field or on both. It should be noted that analogical situation occurs in cosmology when nonlinear spinor field is exploited as a source of gravitational field given by Bianchi type-I cosmological model.


title: Compact Graph Architecture for Speech Emotion Recognition

abstract: We propose a deep graph approach to address the task of speech emotion recognition. A compact, efficient and scalable way to represent data is in the form of graphs. Following the theory of graph signal processing, we propose to model speech signal as a cycle graph or a line graph. Such graph structure enables us to construct a Graph Convolution Network (GCN)-based architecture that can perform an accurate graph convolution in contrast to the approximate convolution used in standard GCNs. We evaluated the performance of our model for speech emotion recognition on the popular IEMOCAP and MSP-IMPROV databases. Our model outperforms standard GCN and other relevant deep graph architectures indicating the effectiveness of our approach. When compared with existing speech emotion recognition methods, our model achieves comparable performance to the state-of-the-art with significantly fewer learnable parameters (~30K) indicating its applicability in resource-constrained devices.


title: An In-Ear Pulse Wave Velocity Measurement System Using Heart Sounds as Time Reference

abstract: Pulse wave measurements provide vital information in medical diagnosis. For this reason, a measurement system is developed for determining the transient time of the pulse wave between the heart and the ear. To detect pressure variations in the sealed ear canal, caused by the arriving pulse wave, an in-ear sensor is developed which uses heart sounds as time reference. Furthermore, for extracting the heart sounds from the pressure measurements and calculating the pulse wave transient time, a MATLAB-based algorithm is described. An embedded microcontroller based measurement board is presented, which realizes an interface between the sensor and the computer for signal processing.


title: Existence of viscosity solutions with the optimal regularity of a two-peakon Hamilton--Jacobi equation

abstract: This work is devoted to the studies of a Hamilton--Jacobi equation with a quadratic and degenerate Hamiltonian, which comes from the dynamics of a multipeakon in the Camassa--Holm equation. It is given by a quadratic form with a singular positive semi-definite matrix. We increase the regularity of the value function considered in our previous paper, which is known to be the viscosity solution. We prove that for a two-peakon Hamiltonian such solutions are actually $1/2$-H\"{o}lder continuous in space and time-Lipschitz continuous. The time-Lipschitz regularity is proven in any dimension $N\geq 1$. Such a regularity is already known in the one-dimensional simplifications, moreover it is the best possible, as was shown in our previous papers.


title: Follow the Object: Curriculum Learning for Manipulation Tasks with Imagined Goals

abstract: Learning robot manipulation through deep reinforcement learning in environments with sparse rewards is a challenging task. In this paper we address this problem by introducing a notion of imaginary object goals. For a given manipulation task, the object of interest is first trained to reach a desired target position on its own, without being manipulated, through physically realistic simulations. The object policy is then leveraged to build a predictive model of plausible object trajectories providing the robot with a curriculum of incrementally more difficult object goals to reach during training. The proposed algorithm, Follow the Object (FO), has been evaluated on 7 MuJoCo environments requiring increasing degree of exploration, and has achieved higher success rates compared to alternative algorithms. In particularly challenging learning scenarios, e.g. where the object's initial and target positions are far apart, our approach can still learn a policy whereas competing methods currently fail.


title: Parallel, Self Organizing, Consensus Neural Networks

abstract: A new neural network architecture (PSCNN) is developed to improve performance and speed of such networks. The architecture has all the advantages of the previous models such as self-organization and possesses some other superior characteristics such as input parallelism and decision making based on consensus. Due to the properties of this network, it was studied with respect to implementation on a Parallel Processor (Ncube Machine) as well as a regular sequential machine. The architecture self organizes its own modules in a way to maximize performance. Since it is completely parallel, both recall and learning procedures are very fast. The performance of the network was compared to the Backpropagation networks in problems of language perception, remote sensing and binary logic (Exclusive-Or). PSCNN showed superior performance in all cases studied.


title: COVID-19 in the United States: Trajectories and second surge behavior

abstract: This paper introduces a mathematical framework for determining second surge behavior of COVID-19 cases in the United States. Within this framework, a flexible algorithmic approach selects a set of turning points for each state, computes distances between them, and determines whether each state is in (or over) a first or second surge. Then, appropriate distances between normalized time series are used to further analyze the relationships between case trajectories on a month-by-month basis. Our algorithm shows that 31 states are experiencing second surges, while 4 of the 10 largest states are still in their first surge, with case counts that have never decreased. This analysis can aid in highlighting the most and least successful state responses to COVID-19.

categories: physics.soc-ph physics.data-an q-bio.PE q-bio.QM


title: Data Cleansing with Contrastive Learning for Vocal Note Event Annotations

abstract: Data cleansing is a well studied strategy for cleaning erroneous labels in datasets, which has not yet been widely adopted in Music Information Retrieval. Previously proposed data cleansing models do not consider structured (e.g. time varying) labels, such as those common to music data. We propose a novel data cleansing model for time-varying, structured labels which exploits the local structure of the labels, and demonstrate its usefulness for vocal note event annotations in music. %Our model is trained in a contrastive learning manner by automatically creating local deformations of likely correct labels. Our model is trained in a contrastive learning manner by automatically contrasting likely correct labels pairs against local deformations of them. We demonstrate that the accuracy of a transcription model improves greatly when trained using our proposed strategy compared with the accuracy when trained using the original dataset. Additionally we use our model to estimate the annotation error rates in the DALI dataset, and highlight other potential uses for this type of model.


title: Content based singing voice source separation via strong conditioning using aligned phonemes

abstract: Informed source separation has recently gained renewed interest with the introduction of neural networks and the availability of large multitrack datasets containing both the mixture and the separated sources. These approaches use prior information about the target source to improve separation. Historically, Music Information Retrieval researchers have focused primarily on score-informed source separation, but more recent approaches explore lyrics-informed source separation. However, because of the lack of multitrack datasets with time-aligned lyrics, models use weak conditioning with non-aligned lyrics. In this paper, we present a multimodal multitrack dataset with lyrics aligned in time at the word level with phonetic information as well as explore strong conditioning using the aligned phonemes. Our model follows a U-Net architecture and takes as input both the magnitude spectrogram of a musical mixture and a matrix with aligned phonetic information. The phoneme matrix is embedded to obtain the parameters that control Feature-wise Linear Modulation (FiLM) layers. These layers condition the U-Net feature maps to adapt the separation process to the presence of different phonemes via affine transformations. We show that phoneme conditioning can be successfully applied to improve singing voice source separation.


title: Persistent Homology in $\ell_{\infty}$ Metric

abstract: Proximity complexes and filtrations are central constructions in topological data analysis. Built using distance functions, or more generally metrics, they are often used to infer connectivity information from point clouds. Here we investigate proximity complexes and filtrations built over the Chebyshev metric, also known as the maximum metric or $\ell_{\infty}$ metric, rather than the classical Euclidean metric. Somewhat surprisingly, the $\ell_{\infty}$ case has not been investigated thoroughly. In this paper, we examine a number of classical complexes under this metric, including the \v{C}ech, Vietoris-Rips, and Alpha complexes. We define two new families of flag complexes, which we call the Alpha flag and Minibox complexes, and prove their equivalence to \v{C}ech complexes in homological degrees zero and one. Moreover, we provide algorithms for finding Minibox edges of two, three, and higher-dimensional points. Finally, we present computational experiments on random points, which shows that Minibox filtrations can often be used to speed up persistent homology computations in homological degrees zero and one by reducing the number of simplices in the filtration.


title: A Comparative study of Artificial Neural Networks Using Reinforcement learning and Multidimensional Bayesian Classification Using Parzen Density Estimation for Identification of GC-EIMS Spectra of Partially Methylated Alditol Acetates

abstract: This study reports the development of a pattern recognition search engine for a World Wide Web-based database of gas chromatography-electron impact mass spectra (GC-EIMS) of partially methylated Alditol Acetates (PMAAs). Here, we also report comparative results for two pattern recognition techniques that were employed for this study. The first technique is a statistical technique using Bayesian classifiers and Parzen density estimators. The second technique involves an artificial neural network module trained with reinforcement learning. We demonstrate here that both systems perform well in identifying spectra with small amounts of noise. Both system's performance degrades with degrading signal-to-noise ratio (SNR). When dealing with partial spectra (missing data), the artificial neural network system performs better. The developed system is implemented on the world wide web, and is intended to identify PMAAs using submitted spectra of these molecules recorded on any GC-EIMS instrument. The system, therefore, is insensitive to instrument and column dependent variations in GC-EIMS spectra.


title: On singularly perturbed linear cocyles over irrational rotations

abstract: We study a linear cocycle over irrational rotation $\sigma_{\omega}(x) = x + \omega$ of a circle $\mathbb{T}^{1}$. It is supposed the cocycle is generated by a $C^{1}$-map $A_{\varepsilon}: \mathbb{T}^{1} \to SL(2, \mathbb{R})$ which depends on a small parameter $\varepsilon\ll 1$ and has the form of the Poincar\'e map corresponding to a singularly perturbed Schr\"odinger equation. Under assumption the eigenvalues of $A_{\varepsilon}(x)$ to be of the form $\exp(\pm \lambda(x)/\varepsilon)$, where $\lambda(x)$ is a positive function, we examine the property of the cocycle to possess an exponential dichotomy (ED) with respect to the parameter $\varepsilon$. We show that in the limit $\varepsilon\to 0$ the cocycle "typically" exhibits ED only if it is exponentially close to a constant cocycle. In contrary, if the cocycle is not close to a constant one it does not posesses ED, whereas the Lyapunov exponent is "typically" large.


title: A Generative Machine Learning-Based Approach for Inverse Design of Multilayer Metasurfaces

abstract: The synthesis of a metasurface exhibiting a specific set of desired scattering properties is a time-consuming and resource-demanding process, which conventionally relies on many cycles of full-wave simulations. It requires an experienced designer to choose the number of the metallic layers, the scatterer shapes and dimensions, and the type and the thickness of the separating substrates. Here, we propose a generative machine learning (ML)-based approach to solve this one-to-many mapping and automate the inverse design of dual- and triple-layer metasurfaces. Using this approach, it is possible to solve multiobjective optimization problems by synthesizing thin structures composed of potentially brand-new scatterer designs, in cases where the inter-layer coupling between the layers is non-negligible and synthesis by traditional methods becomes cumbersome. Various examples to provide specific magnitude and phase responses of $x$- and $y$-polarized scattering coefficients across a frequency range as well as mask-based responses for different metasurface applications are presented to verify the practicality of the proposed method.


title: Exact Harmonic Metric for a Moving Reissner-Nordstr\"om Black Hole

abstract: The exact harmonic metric for a moving Reissner-Nordstr\"om black hole with an arbitrary constant speed is presented. As an application, the post-Newtonian dynamics of a non-relativistic particle in this field is calculated.


title: Attacking and Defending Machine Learning Applications of Public Cloud

abstract: Adversarial attack breaks the boundaries of traditional security defense. For adversarial attack and the characteristics of cloud services, we propose Security Development Lifecycle for Machine Learning applications, e.g., SDL for ML. The SDL for ML helps developers build more secure software by reducing the number and severity of vulnerabilities in ML-as-a-service, while reducing development cost.


title: Settling the genus of the $n$-prism

abstract: In a 1977 paper, Ringel conjectured a formula for the genus of the $n$-prism $K_n\times K_2$ and verified its correctness for about five-sixths of all values $n$. We complete this calculation by showing that, with the exception of $n = 9$, Ringel's conjecture is true for $n \equiv 5, 9\pmod{12}$.


title: A Novel Method for Scalable VLSI Implementation of Hyperbolic Tangent Function

abstract: Hyperbolic tangent and Sigmoid functions are used as non-linear activation units in the artificial and deep neural networks. Since, these networks are computationally expensive, customized accelerators are designed for achieving the required performance at lower cost and power. The activation function and MAC units are the key building blocks of these neural networks. A low complexity and accurate hardware implementation of the activation function is required to meet the performance and area targets of such neural network accelerators. Moreover, a scalable implementation is required as the recent studies show that the DNNs may use different precision in different layers. This paper presents a novel method based on trigonometric expansion properties of the hyperbolic function for hardware implementation which can be easily tuned for different accuracy and precision requirements.


title: Extremely short electromagnetic field pulse in supersymmetric electrodynamics

abstract: We obtain the Maxwell`s equations used the supersymmetric action based on the actions for the scalar and spinor fields, which are built on the invariants of the electromagnetic field. We analyze the pulse instability in the framework of nonlinear electrodynamics without the approximation of slowly varying amplitudes and phases. We observe the collapse of an extremely short pulse. Within the framework of the Schwinger mechanism, the creation of scalar and spin particles is estimated.


title: Normalization of the Ground State of the Supersymmetric Harmonic Oscillator

abstract: Supersymmetry plays a main role in all current thinking about superstring theory. Indeed, many remarkable properties of string theory have been explained using supersymmetry as a tool. So far, there has been no unbroken supersymmetry observed in nature, and if nature is described by supersymmetry, it must be broken. Supersymmetry may be broken spontaneously at any order of perturbation theory or dynamically due to nonperturbative effects. To examine the methods of supersymmetry breaking, special attention is given to discuss the normalization of the ground state of the supersymmetric harmonic oscillator. This study explains that perturbation theory gives incorrect results for both the ground-state wave function and the energy spectrum and it fails to give an explanation to the supersymmetry breaking.


title: Thinning Energy Effect on the Fluctuations of Charged Particles Lateral Distribution Produced in Extensive Air Showers

abstract: In this work, the effects of the extensive air showers (EAS) were described by estimating the lateral distribution function (LDF) at very high energies of various cosmic ray particles. LDF was simulated for charged particles such as the electron and positron pair production, gamma, muons and all charged particles at very high energies 10^16, 10^18 and 10^19 eV. The simulation was performed using air shower simulator system (AIRES) version 2.6.0. The effect of primary particles, energies, thinning energy and zenith angle on the charged LDF particles produced in the EAS was taken into account. The comparison of the estimated LDF of charged particles such as the electron and positron pair production and muons with the simulated results by Sciutto and experimental results by Yakutsk EAS observatory gives a good acceptance at the energy 10^19 eV for 0 and 10 zenith angles.


title: Testing a new model of local wind erosion and dust deposition on field campaign data in Morocco. Adaptation of the model for Mars

abstract: Global and mesoscale models represent the background (slowly varying) winds on Mars, but short timescale wind variability is not explicitly represented. The local wind erosion and dust deposition model can be useful for more accurate local wind friction, wind friction threshold, horizontal sand flux and vertical dust flux modeling on Mars. Such a model based on the model of Zender \cite{Zender} is proposed in this article. It includes different methods of threshold wind friction estimation and takes into account the influence of atmospheric electric fields on sand and dust elevation processes. The model parameterized for the Earth was tested on data acquired in Morocco field campaign 2013-2014 (Esposito et al.,) \cite{Esposito}, \cite{Esposito2}. Wind friction, wind friction threshold, horizontal sand flux and vertical dust flux were simulated by using the following inputs measured in the field: wind speed, wind direction, air temperature, air pressure, air humidity, solar irradiation and surface roughness length. The same inputs are supposed to be measured by DREAMs equipment on Mars (except for the surface roughness length which can be estimated for Mars according the method of Hebrard \cite{Hebrard}). Simulated and experimental values have shown a good agreement. The model was adapted to Martian conditions and applied to the data of Viking lander. The local wind erosion and dust deposition model parameterized for Mars may serve 1) to analyze local lander/rovers data, 2) a source of local parameters/inputs (like threshold wind friction velocity, sand and dust fluxes) for the MGCM (Mars Global Circulation Model).


title: Framework for a Decentralized Web

abstract: Over the past decade, we have witnessed the Internet becoming increasingly centralized in the hands of a small number of giant technology firms, that control many of the most popular applications and the content they host on their platforms. In addition, in the majority of instances today, access to the Internet is usually provided through local internet service providers (ISPs) in each country. Governments in different jurisdictions can exert pressure on these technology firms and ISPs to enforce restrictions on Internet usage by their citizens, such as the blocking access to certain sites and/or content. In this paper, we present a promising new approach to circumventing some of these issues. Our decentralized web (DWeb) proposal makes use of a mesh network to connect community based routers. In addition, objects on the DWeb are indexed using Bblockchain technology, which allows for secure storage of immutable object references, and integrity checking of the data being served to users. Our DWeb design is also capable of operating during network partitions, and is able to quickly re-synchronize with the larger network once connectivity has been restored.


title: On the Adsorption Mechanism of Caffeine on MAPbI3 Perovskite Surfaces: A Combined UMC--DFT Study

abstract: Recently, it was experimentally shown that the performance and thermal stability of the perovskite MAPbI$_3$ were improved upon the adsorption of a molecular layer of caffeine. In this work, we used a hybrid methodology that combines Uncoupled Monte Carlo (UMC) and Density Functional Theory (DFT) simulations to carry out a detailed and comprehensive study of the adsorption mechanism of a caffeine molecule on the surface of MAPbI$_3$. Our results showed that the adsorption distance and energy of a caffeine molecule on the MAPbI$_3$ surface are 2.0 \r{A} and -0.3 eV, respectively. The caffeine/MAPbI$_3$ complex presents a direct bandgap of 2.38 eV with two flat intragap bands distanced 1.15 and 2.18 eV from the top of valence bands. Although the energy band levels are not significantly shifted by the presence of caffeine, the interaction MAPbI$_3$/perovskite is enough to affect the bands' dispersion, particularly the conduction bands.


title: The three-dimensional statistical characterization of plain grinding surfaces

abstract: In tribology, it is of importance to properly characterize the topography of rough surfaces. In this work, the three-dimensional topographies of plain grinding surfaces are measured through a white light interferometer, and their geometrical statistical features are analyzed. It is noticed that only when the total measured area is larger than a threshold value, is the statistical characterization reasonable and stable, which should be kept in mind in actual measurements. For various plain grinding surfaces, the height of asperity-summit obeys a Gaussian distribution, and the equivalent curvature radius follows a modified F-distribution. These statistical characteristics are helpful to analyze the contact and friction behaviors of rough surfaces.


title: Self-supervised learning using consistency regularization of spatio-temporal data augmentation for action recognition

abstract: Self-supervised learning has shown great potentials in improving the deep learning model in an unsupervised manner by constructing surrogate supervision signals directly from the unlabeled data. Different from existing works, we present a novel way to obtain the surrogate supervision signal based on high-level feature maps under consistency regularization. In this paper, we propose a Spatio-Temporal Consistency Regularization between different output features generated from a siamese network including a clean path fed with original video and a noise path fed with the corresponding augmented video. Based on the Spatio-Temporal characteristics of video, we develop two video-based data augmentation methods, i.e., Spatio-Temporal Transformation and Intra-Video Mixup. Consistency of the former one is proposed to model transformation consistency of features, while the latter one aims at retaining spatial invariance to extract action-related features. Extensive experiments demonstrate that our method achieves substantial improvements compared with state-of-the-art self-supervised learning methods for action recognition. When using our method as an additional regularization term and combine with current surrogate supervision signals, we achieve 22% relative improvement over the previous state-of-the-art on HMDB51 and 7% on UCF101.


title: PriceAggregator: An Intelligent System for Hotel Price Fetching

abstract: This paper describes the hotel price aggregation system - PriceAggregator, deployed at Agoda, a global online travel agency for hotels, vacation rentals, flights and airport transfer. Agoda aggregates non-direct suppliers' hotel rooms to ensure that Agoda's customers always have the widest selection of hotels, room types and packages. As of today, Agoda aggregates millions of hotels. The major challenge is that each supplier only allows Agoda to fetch for the hotel price with a limited amount of Queries Per Second (QPS). Due to the sheer volume of Agoda's user search traffic, this limited amount of QPS is never enough to cover all user searches. Inevitably, many user searches have to be ignored. Hence, booking lost. To overcome the challenge, we built PriceAggregator. PriceAggregator intelligently determines when, how and what to send to the suppliers to fetch for price. In this paper, we not only prove PriceAggregator is optimal theoretically but also demonstrate that PriceAggregator performs well in practice. PriceAggregator has been deployed in Agoda. Extensive online A/B experimentation have shown that PriceAggregator increases Agoda's bookings significantly.


title: Higher regularity and finite time blow-up to nonlocal pseudo-parabolic equation with conical degeneration

abstract: This paper deals with the initial-boundary value problem to a nonlocal semilinear pseudo-parabolic equation with conical degeneration, which has been studied in [Global well-posedness for a nonlocal semilinear pseudo-parabolic equation with conical degeneration, J. Differential Equations, 2020, 269(5): 4566--4597]. We first improve the regularity of the weak solution, and then study finite time blow-up phenomenon for the problem. Our initial condition for blow-up only depends on Nehari functional and the conservative integral, which suggests that the assumption of initial energy functional in the original paper can be removed.


title: Translational and rotational dynamics of a self-propelled Janus probe in crowded environments

abstract: We computationally investigate the dynamics of a self-propelled Janus probe in crowded environments. The crowding is caused by the presence of viscoelastic polymers or non-viscoelastic disconnected monomers. Our simulations show that the translational, as well as rotational mean square displacements, have a distinctive three-step growth for fixed values of self-propulsion force, and steadily increase with self-propulsion, irrespective of the nature of the crowder. On the other hand, in the absence of crowders, the rotational dynamics of the Janus probe is independent of self-propulsion force. On replacing the repulsive polymers with sticky ones, translational and rotational mean square displacements of the Janus probe show a sharp drop. Since different faces of a Janus particle interact differently with the environment, we show that the direction of self-propulsion also affects its dynamics. The ratio of long-time translational and rotational diffusivities of the self-propelled probe with a fixed self-propulsion, when plotted against the area fraction of the crowders, passes through a minima and at higher area fraction merges to its value in the absence of the crowder. This points towards the decoupling of translational and rotational dynamics of the self-propelled probe at intermediate area fraction of the crowders. However, such translational-rotational decoupling is absent for passive probes.


title: A solution to some problems of Conway and Guy on monostable polyhedra

abstract: A convex polyhedron is called monostable if it can rest in stable position only on one of its faces. The aim of this paper is to investigate three questions of Conway, regarding monostable polyhedra, which first appeared in a 1969 paper of Goldberg and Guy (M. Goldberg and R.K. Guy, Stability of polyhedra (J.H. Conway and R.K. Guy), SIAM Rev. 11 (1969), 78-82). In this note we answer two of these problems and make a conjecture about the third one. The main tool of our proof is a general theorem describing approximations of smooth convex bodies by convex polyhedra in terms of their static equilibrium points. As another application of this theorem, we prove the existence of a convex polyhedron with only one stable and one unstable point.


title: Quality assessment of MEG-to-MRI coregistrations

abstract: For high precision in source reconstruction of magnetoencephalography (MEG) or electroencephalography data, high accuracy of the coregistration of sources and sensors is mandatory. Usually, the source space is derived from magnetic resonance imaging (MRI). In most cases, however, no quality assessment is reported for sensor-to-MRI coregistrations. If any, typically root mean squares (RMS) of point residuals are provided. It has been shown, however, that RMS of residuals do not correlate with coregistration errors. We suggest using target registration error (TRE) as criterion for the quality of sensor-to-MRI coregistrations. TRE measures the effect of uncertainty in coregistrations at all points of interest. In total, 5544 data sets with sensor-to-head and 128 head-to-MRI coregistrations, from a single MEG laboratory, were analyzed. An adaptive Metropolis algorithm was used to estimate the optimal coregistration and to sample the coregistration parameters (rotation and translation). We found an average TRE between 1.3 and 2.3mm at the head surface. Further, we observed a mean absolute difference in coregistration parameters between the Metropolis and iterative closest point algorithm of (1.9 $\pm$ 1.5){\deg} and (1.1 $\pm$ 0.9)mm. A paired sample t-test indicated a significant improvement in goal function minimization by using the Metropolis algorithm. The sampled parameters allowed computation of TRE on the entire grid of the MRI volume. Hence, we recommend the Metropolis algorithm for head-to-MRI coregistrations.


title: Analysis of the TiO isotopologues in stellar optical spectra

abstract: This study is based on the use of the new ExoMol TiO rovibronic line lists to identify and model TiO isotopologue features in spectra of M-dwarfs. We aim to investigate problems involving the computation of electronic bands for different isotopologues of TiO by modelling optical spectra of late-type stars and to determine their Ti isotopic abundances, to compare the TiO isotopologues spectra computed using line lists by different authors. We fit theoretical synthetic spectra to the observed stellar molecular bands of TiO. We model spectra of two M-dwarfs: GJ 15A (M1V) and GJ 15B (M3 V) to determine Ti isotopic ratios in their atmospheres. We demonstrate the accuracy of the ExoMol {\sc Toto} line list for differentisotopologues of TiO and the possibility of determining accurate Ti isotope abundances in a numberof spectral ranges. The 7580--7594 \AA\ spectral range seems particularly useful, with two atomic linesof Fe I and molecular band heads of $^{50}Ti$O, $^{49}Ti$O, $^{48}Ti$O, $^{47}Ti$O clearly observable in our two M-dwarf spectra. We determine non-solar Ti isotopic ratios of $^{46}Ti$ : $^{47}Ti$ : $^{48}Ti$ : $^{49}Ti$ : $^{50}Ti$ = 7.9 : 5.2 : 72.8 : 7.9 :6.2 for GJ 15A and 7.4 : 4.2 : 76.6 : 5.8 : 6.0 for GJ 15B with accuracy of order $\pm$ 0.2. [Ti] = 0.040 and 0.199 within accuracy $\pm$ 0.10 were also determined for GJ 15A and GJ 15B, respectively. We find that the ExoMol {\sc Toto} TiO line list: a) describes the fine details in line position and intensities of the M-dwarf spectra better than other available TiO line lists; b) correctly reproduces the positions and intensities of the TiO isotopologue band heads observed in M-dwarf spectra; c) can be used to determine Ti isotope abundances in atmospheres of M-stars.


title: Point Proposal Network: Accelerating Point Source Detection Through Deep Learning

abstract: Point source detection techniques are used to identify and localise point sources in radio astronomical surveys. With the development of the Square Kilometre Array (SKA) telescope, survey images will see a massive increase in size from Gigapixels to Terapixels. Point source detection has already proven to be a challenge in recent surveys performed by SKA pathfinder telescopes. This paper proposes the Point Proposal Network (PPN): a point source detector that utilises deep convolutional neural networks for fast source detection. Results measured on simulated MeerKAT images show that, although less precise when compared to leading alternative approaches, PPN performs source detection faster and is able to scale to large images, unlike the alternative approaches.


title: Approximate controllability of semi-linear heat equation with Non-instantaneous impulses, memory and delay

abstract: The semilinear heat equation with non-instantaneous impulses \textbf{(NII)}, memory, and delay is considered and its approximate controllability is obtained. This is done by employing a technique that avoids fixed point theorems and pulls back the control solution to a fixed curve in a short time interval. We demonstrate, once again, that the controllability of the system is robust under the influence of non-instantaneous impulses, memory, and delays. Finally, we present some open problems and a possible general framework to study the controllability of non-instantaneous impulses semilinear systems.


title: Neutrino mixing and Leptogenesis with modular $S_3$ symmetry in the framework of type III seesaw

abstract: Discrete symmetries being preferred to explain the neutrino phenomenology, we chose the simplest $S_3$ group and explore the implication of its modular form on neutrino masses and mixing. Non-trivial transformations of Yukawa couplings under this symmetry, make the model phenomenologically interesting by reducing the requirement of multiple scalar fields. This symmetry imposes a specific flavor structure to the neutrino mass matrix within the framework of less frequented type III seesaw mechanism and helps to explore the neutrino mixing consistent with the current observation. Apart, we also explain the preferred scenario of leptogenesis to explain the baryon asymmetry of the universe by generating the lepton asymmetry from the decay of heavy fermion triplet at TeV scale.


title: Computational linguistic assessment of textbook and online learning media by means of threshold concepts in business education

abstract: Threshold concepts are key terms in domain-based knowledge acquisition. They are regarded as building blocks of the conceptual development of domain knowledge within particular learners. From a linguistic perspective, however, threshold concepts are instances of specialized vocabularies, exhibiting particular linguistic features. Threshold concepts are typically used in specialized texts such as textbooks -- that is, within a formal learning environment. However, they also occur in informal learning environments like newspapers. In this article, a first approach is taken to combine both lines into an overarching research program - that is, to provide a computational linguistic assessment of different resources, including in particular online resources, by means of threshold concepts. To this end, the distributive profiles of 63 threshold concepts from business education (which have been collected from threshold concept research) has been investigated in three kinds of (German) resources, namely textbooks, newspapers, and Wikipedia. Wikipedia is (one of) the largest and most widely used online resources. We looked at the threshold concepts' frequency distribution, their compound distribution, and their network structure within the three kind of resources. The two main findings can be summarized as follows: Firstly, the three kinds of resources can indeed be distinguished in terms of their threshold concepts' profiles. Secondly, Wikipedia definitely appears to be a formal learning resource.


title: Comparison of Source Coding Techniques for the Vehicle to Vehicle Communication

abstract: Autonomous driving is gaining its importance due to the advancements in technology. With the intention of safety during human driving and with the longer-term aim to act as a communication enabler for autonomous driving, vehicle to vehicle communication is gaining its importance. In this paper, we discuss and compare various source coding techniques that can be used for vehicle to vehicle communication. We propose abbreviation-based and probability-based source coding methods for the vehicle to vehicle communication. We compare the proposed application-specific source coding methods with other techniques like Huffman, Arithmetic, and Lempel-Ziv-Welch coding. Experimental results show that the proposed probability-based source coding has better values of the compression ratio to the time required for all the messages considered.


title: Speaker dependent acoustic-to-articulatory inversion using real-time MRI of the vocal tract

abstract: Acoustic-to-articulatory inversion (AAI) methods estimate articulatory movements from the acoustic speech signal, which can be useful in several tasks such as speech recognition, synthesis, talking heads and language tutoring. Most earlier inversion studies are based on point-tracking articulatory techniques (e.g. EMA or XRMB). The advantage of rtMRI is that it provides dynamic information about the full midsagittal plane of the upper airway, with a high 'relative' spatial resolution. In this work, we estimated midsagittal rtMRI images of the vocal tract for speaker dependent AAI, using MGC-LSP spectral features as input. We applied FC-DNNs, CNNs and recurrent neural networks, and have shown that LSTMs are the most suitable for this task. As objective evaluation we measured normalized MSE, Structural Similarity Index (SSIM) and its complex wavelet version (CW-SSIM). The results indicate that the combination of FC-DNNs and LSTMs can achieve smooth generated MR images of the vocal tract, which are similar to the original MRI recordings (average CW-SSIM: 0.94).


title: On Decidability of 2-process Affine Models

abstract: An affine model of computation is defined as a subset of iterated immediate-snapshot runs, capturing a wide variety of shared-memory systems, such as wait-freedom, t-resilience, k-concurrency, and fair shared-memory adversaries. The question of whether a given task is solvable in a given affine model is, in general, undecidable. In this paper, we focus on affine models defined for a system of two processes. We show that the task computability of 2-process affine models is decidable and presents a complete hierarchy of the five equivalence classes of 2-process affine models.


title: Underlay Radar-Massive MIMO Spectrum Sharing: Modeling Fundamentals and Performance Analysis

abstract: In this work, we study underlay radar-massive MIMO cellular coexistence in LoS/near-LoS channels, where both systems have 3D beamforming capabilities. Using mathematical tools from stochastic geometry, we derive an upper bound on the average interference power at the radar due to the 3D massive MIMO cellular downlink under the worst-case `cell-edge beamforming' conditions. To overcome the technical challenges imposed by asymmetric and arbitrarily large cells, we devise a novel construction in which each Poisson Voronoi (PV) cell is bounded by its circumcircle to bound the effect of the random cell shapes on average interference. Since this model is intractable for further analysis due to the correlation between adjacent PV cells' shapes and sizes, we propose a tractable nominal interference model, where we model each PV cell as a circular disk with an area equal to the average area of the typical cell. We quantify the gap in the average interference power between these two models and show that the upper bound is tight for realistic deployment parameters. We also compare them with a more practical but intractable MU-MIMO scheduling model to show that our worst-case interference models show the same trends and do not deviate significantly from realistic scheduler models. Under the nominal interference model, we characterize the interference distribution using the dominant interferer approximation by deriving the equi-interference contour expression when the typical receiver uses 3D beamforming. Finally, we use tractable expressions for the interference distribution to characterize radar's spatial probability of false alarm/detection in a quasi-static target tracking scenario. Our results reveal useful trends in the average interference as a function of the deployment parameters (BS density, exclusion zone radius, antenna height, transmit power of each BS, etc.).


title: Structure Preserving Stain Normalization of Histopathology Images Using Self-Supervised Semantic Guidance

abstract: Although generative adversarial network (GAN) based style transfer is state of the art in histopathology color-stain normalization, they do not explicitly integrate structural information of tissues. We propose a self-supervised approach to incorporate semantic guidance into a GAN based stain normalization framework and preserve detailed structural information. Our method does not require manual segmentation maps which is a significant advantage over existing methods. We integrate semantic information at different layers between a pre-trained semantic network and the stain color normalization network. The proposed scheme outperforms other color normalization methods leading to better classification and segmentation performance.


title: Quantum amplitude estimation algorithms on IBM quantum devices

abstract: Since the publication of the Quantum Amplitude Estimation (QAE) algorithm by Brassard et al., 2002, several variations have been proposed, such as Aaronson et al., 2019, Grinko et al., 2019, and Suzuki et al., 2020. The main difference between the original and the variants is the exclusion of Quantum Phase Estimation (QPE) by the latter. This difference is notable given that QPE is the key component of original QAE, but is composed of many operations considered expensive for the current NISQ era devices. We compare two recently proposed variants (Grinko et al., 2019 and Suzuki et al., 2020) by implementing them on the IBM Quantum device using Qiskit, an open source framework for quantum computing. We analyze and discuss advantages of each algorithm from the point of view of their implementation and performance on a quantum computer.


title: Modeling and simulation of adaptive cruise control system

abstract: In this report, linear quadratic regulator is used to design adaptive cruise control system. In the regulator, Q and R parameters vary with time according to current traffic situations. Phase-plant method is used to give constraints on Q and R parameters, and coefficient descent method is applied to solve for the constrained optimization problem. Meanwhile, data based controller design method is also introduced in this paper, where the time vary vehicle dynamic parameters are no longer considered. Q-function, which consists of Markovian state and action penalty, is introduced to indicate the cost function. According to current traffic states, Q-function is generalized and minimized by directly using least error method, whose stability is ensured by nonlinear regression theory. Simulation is conducted and results show the advantages of using time varying parameter linear quadratic regulator over other controller discussed in this paper. Vehicle tests are also conducted to ensure the feasibility and efficiency of the controller.


title: Stabilization of Complementarity Systems via Contact-Aware Controllers

abstract: We propose a control framework which can utilize tactile information by exploiting the complementarity structure of contact dynamics. Since many robotic tasks, like manipulation and locomotion, are fundamentally based in making and breaking contact with the environment, state-of-the-art control policies struggle to deal with the hybrid nature of multi-contact motion. Such controllers often rely heavily upon heuristics or, due to the combinatorial structure in the dynamics, are unsuitable for real-time control. Principled deployment of tactile sensors offers a promising mechanism for stable and robust control, but modern approaches often use this data in an ad hoc manner, for instance to guide guarded moves. This framework can close the loop on tactile sensors and it is non-combinatorial, enabling optimization algorithms to automatically synthesize provably stable control policies. We demonstrate this approach on multiple numerical examples, including quasi-static friction problems and a high dimensional problem with ten contacts. We also validate our results on an experimental setup and show the effectiveness of the proposed method on an underactuated multi-contact system.


title: PIC methods in astrophysics: Simulations of relativistic jets and kinetic physics in astrophysical systems

abstract: The Particle-In-Cell (PIC) method has been developed by Oscar Buneman, Charles Birdsall, Roger W. Hockney, and John Dawson in the 1950s and, with the advances of computing power, has been further developed for several fields such as astrophysical, magnetospheric as well as solar plasmas and recently also for atmospheric and laser-plasma physics. Currently more than 15 semi-public PIC codes are available which we discuss in this review. Its applications have grown extensively with increasing computing power available on high performance computing facilities around the world. These systems allow the study of various topics of astrophysical plasmas, such as magnetic reconnection, pulsars and black hole magnetosphere, non-relativistic and relativistic shocks, relativistic jets, and laser-plasma physics. We review a plethora of astrophysical phenomena such as relativistic jets, instabilities, magnetic reconnection, pulsars, as well as PIC simulations of laser-plasma physics (until 2021) emphasizing the physics involved in the simulations. Finally, we give an outlook of the future simulations of jets associated to neutron stars, black holes and their merging and discuss the future of PIC simulations in the light of petascale and exascale computing.


title: Macroscopic QED for quantum nanophotonics: Emitter-centered modes as a minimal basis for multi-emitter problems

abstract: We present an overview of the framework of macroscopic quantum electrodynamics from a quantum nanophotonics perspective. Particularly, we focus our attention on three aspects of the theory which are crucial for the description of quantum optical phenomena in nanophotonic structures. First, we review the light-matter interaction Hamiltonian itself, with special emphasis on its gauge independence and the minimal and multipolar coupling schemes. Second, we discuss the treatment of the external pumping of quantum-optical systems by classical electromagnetic fields. Third, we introduce an exact, complete and minimal basis for the field quantization in multi-emitter configurations, which is based on the so-called emitter-centered modes. Finally, we illustrate this quantization approach in a particular hybrid metallodielectric geometry: two quantum emitters placed in the vicinity of a dimer of Ag nanospheres embedded in a SiN microdisk.


title: Duality Diagram Similarity: a generic framework for initialization selection in task transfer learning

abstract: In this paper, we tackle an open research question in transfer learning, which is selecting a model initialization to achieve high performance on a new task, given several pre-trained models. We propose a new highly efficient and accurate approach based on duality diagram similarity (DDS) between deep neural networks (DNNs). DDS is a generic framework to represent and compare data of different feature dimensions. We validate our approach on the Taskonomy dataset by measuring the correspondence between actual transfer learning performance rankings on 17 taskonomy tasks and predicted rankings. Computing DDS based ranking for $17\times17$ transfers requires less than 2 minutes and shows a high correlation ($0.86$) with actual transfer learning rankings, outperforming state-of-the-art methods by a large margin ($10\%$) on the Taskonomy benchmark. We also demonstrate the robustness of our model selection approach to a new task, namely Pascal VOC semantic segmentation. Additionally, we show that our method can be applied to select the best layer locations within a DNN for transfer learning on 2D, 3D and semantic tasks on NYUv2 and Pascal VOC datasets.


title: Identifying the $k$ Best Targets for an Advertisement Campaign via Online Social Networks

abstract: We propose a novel approach for the recommendation of possible customers (users) to advertisers (e.g., brands) based on two main aspects: (i) the comparison between On-line Social Network profiles, and (ii) neighborhood analysis on the On-line Social Network. Profile matching between users and brands is considered based on bag-of-words representation of textual contents coming from the social media, and measures such as the Term Frequency-Inverse Document Frequency are used in order to characterize the importance of words in the comparison. The approach has been implemented relying on Big Data Technologies, allowing this way the efficient analysis of very large Online Social Networks. Results on real datasets show that the combination of profile matching and neighborhood analysis is successful in identifying the most suitable set of users to be used as target for a given advertisement campaign.


title: Improvement on the blow-up of the wave equation with the scale-invariant damping and combined nonlinearities

abstract: We consider in this article the damped wave equation, in the \textit{scale-invariant case} with combined two nonlinearities, which reads as follows: \begin{displaymath} \d (E) \hspace{1cm} u_{tt}-\Delta u+\frac{\mu}{1+t}u_t=|u_t|^p+|u|^q, \quad \mbox{in}\ \R^N\times[0,\infty), \end{displaymath} with small initial data.\\ Compared to our previous work \cite{Our}, we show in this article that the first hypothesis on the damping coefficient $\mu$, namely $\mu < \frac{N(q-1)}{2}$, can be removed, and the second one can be extended from $(0, \mu_*/2)$ to $(0, \mu_*)$ where $\mu_*>0$ is solution of $(q-1)\left((N+\mu_*-1)p-2\right) = 4$. Indeed, owing to a better understanding of the influence of the damping term in the global dynamics of the solution, we think that this new interval for $\mu$ describe better the threshold between the blow-up and the global existence regions. Moreover, taking advantage of the techniques employed in the problem $(E)$, we also improve the result in \cite{LT2,Palmieri} in relationship with the Glassey conjecture for the solution of $(E)$ but without the nonlinear term $|u|^q$. More precisely, we extend the blow-up region from $p \in (1, p_G(N+\sigma)]$, where $\sigma$ is given by \eqref{sigma} below, to $p \in (1, p_G(N+\mu)]$ giving thus a better estimate of the lifespan in this case.


title: Neutrinos: Majorana or Dirac?

abstract: Are neutrinos with definite masses Majorana or Dirac particles? This is one of the most fundamental problem of the modern neutrino physics. The solution of this problem could be crucial for understanding of the origin of small neutrino masses. We will review here basic arguments in favor of the Majorana nature of massive neutrinos. The phenomenological theory of $0\nu\beta\beta$-decay is briefly discussed and recent experimental data and sensitivity of future experiments are presented.


title: An adaptive central-upwind scheme on quadtree grids for variable density shallow water equations

abstract: Minimizing computational cost is one of the major challenges in the modelling and numerical analysis of hydrodynamics, and one of the ways to achieve this is by the use of quadtree grids. In this paper, we present an adaptive scheme on quadtree grids for variable density shallow water equations. A scheme for the coupled system is developed based on the well-balanced positivity-preserving central-upwind scheme proposed in [18]. The scheme is capable of exactly preserving "lake-at-rest" steady states. A continuous piecewise bi-linear interpolation of the bottom topography function is used to achieve higher-order in space in order to preserve the positivity of water depth for the point values of each computational cell. Necessary conditions are checked to be able to preserve the positivity of water depth and density, and to ensure the achievement of a stable numerical scheme. At each timestep, local gradients are examined to find new seeding points to locally refine/coarsen the computational grid.


title: Hamiltonian and Lagrangian BRST quantization in Riemann Manifold II

abstract: We have previously developed the BRST quantization on the hypersurface $V_{N-1}$ embedded in N dimensional Euclidean space $R_N$ in both Hamiltonian and Lagrangian formulation. We generalize the formalism in the case of L dimensional manifold $V_L$ embedded in $R_N$ with $1\leq L < N$. The result is essentially the same as the previous one. We have also verified the results obtained here using a simple example of particle motion on a torus knot.


title: Position-Dependent Mass Quantum systems and ADM formalism

abstract: The classical Einstein-Hilbert (EH) action for general relativity (GR) is shown to be formally analogous to the classical system with position-dependent mass (PDM) models. The analogy is developed and used to build the covariant classical Hamiltonian as well as defining an alternative phase portrait for GR. The set of associated Hamilton's equations in the phase space is presented as a first-order system dual to the Einstein field equations. Following the principles of quantum mechanics, I build a canonical theory for the classical general. A fully consistent quantum Hamiltonian for GR is constructed based on adopting a high dimensional phase space. It is observed that the functional wave equation is timeless. As a direct application, I present an alternative wave equation for quantum cosmology. In comparison to the standard Arnowitt-Deser-Misner(ADM) decomposition and quantum gravity proposals, I extended my analysis beyond the covariant regime when the metric is decomposed into the $3+1$ dimensional ADM decomposition. I showed that an equal dimensional phase space can be obtained if one applies ADM decomposed metric.


title: 'A Modern Up-To-Date Laptop' -- Vagueness in Natural Language Queries for Product Search

abstract: With the rise of voice assistants and an increase in mobile search usage, natural language has become an important query language. So far, most of the current systems are not able to process these queries because of the vagueness and ambiguity in natural language. Users have adapted their query formulation to what they think the search engine is capable of, which adds to their cognitive burden. With our research, we contribute to the design of interactive search systems by investigating the genuine information need in a product search scenario. In a crowd-sourcing experiment, we collected 132 information needs in natural language. We examine the vagueness of the formulations and their match to retailer-generated content and user-generated product reviews. Our findings reveal high variance on the level of vagueness and the potential of user reviews as a source for supporting users with rather vague search intents.


title: Optimal Routing Strategies for Autonomous Underwater Vehicles in Time-Varying Environment

abstract: This paper presents a mission system and the therein implemented algorithms for path planning in a time-varying environment based on graph methods. The basic task of the introduced path planning algorithms is to find a time-optimal path from a defined start position to a goal position with consideration of the time-varying ocean current for an autonomous underwater vehicle (AUV). Building on this, additional practice-oriented considerations in planning are discussed in this paper. Such points are the discussion of possible methods to accelerate the algorithms and the determination of the optimal departure time. The solutions and algorithms presented in this paper are focused on path planning requirements for the AUV ``SLOCUM Glider''. These algorithms are equally applicable to other AUVs or aerial mobile autonomous systems.


title: Quality and Diversity in Evolutionary Modular Robotics

abstract: In Evolutionary Robotics a population of solutions is evolved to optimize robots that solve a given task. However, in traditional Evolutionary Algorithms, the population of solutions tends to converge to local optima when the problem is complex or the search space is large, a problem known as premature convergence. Quality Diversity algorithms try to overcome premature convergence by introducing additional measures that reward solutions for being different while not necessarily performing better. In this paper we compare a single objective Evolutionary Algorithm with two diversity promoting search algorithms; a Multi-Objective Evolutionary Algorithm and MAP-Elites a Quality Diversity algorithm, for the difficult problem of evolving control and morphology in modular robotics. We compare their ability to produce high performing solutions, in addition to analyze the evolved morphological diversity. The results show that all three search algorithms are capable of evolving high performing individuals. However, the Quality Diversity algorithm is better adept at filling all niches with high-performing solutions. This confirms that Quality Diversity algorithms are well suited for evolving modular robots and can be an important means of generating repertoires of high performing solutions that can be exploited both at design- and runtime.


title: Mining Google and Apple mobility data: Temporal Anatomy for COVID-19 Social Distancing

abstract: We employ the Google and Apple mobility data to identify, quantify and classify different degrees of social distancing and characterise their imprint on the first wave of the COVID-19 pandemic in Europe and in the United States. We identify the period of enacted social distancing via Google and Apple data, independently from the political decisions. Interestingly we observe a general decrease in the infection rate occurring two to five weeks after the onset of mobility reduction for the European countries and the American states.


title: Visualization by optical fluorescence of two-phase flow in a three-dimensional porous medium

abstract: Slow flow of a single fluid through a porous medium is well understood on a macroscopic level through Darcy's law, a linear relation between flow rate and a combination of pressure differences, viscosity, and gravitational forces. Two-phase flow is complicated by the interface separating the fluids, but understanding of two-dimensional, two-phase flow has been obtained from experiments using transparent cells. In most three-dimensional media, however, visual observation is difficult. Here, we present preliminary results of experiments on a model medium consisting of randomly packed glass spheres, in which one fluorescent liquid invades another. By refractive index matching and scanning with a sheet-shaped laser beam, we obtain slices of the flow patterns, which we combine into three-dimensional pictures. We observe a compact region of invading fluid, surrounded by finger-like protrusions. The compact region becomes more dominant with increasing invader flow rate. The patterns are theoretically analyzed in terms of the interplay between gravitational, viscous, and capillary forces.


title: Entire sign-changing solutions to the fractional critical Schr{\"o}dinger equation

abstract: We consider the fractional critical Schr{\"o}dinger equation (FCSE) \begin{align*} \slaplace{u}-\abs{u}^{2^{\ast}_{s}-2}u=0, \end{align*} where $u \in \dot H^s( \R^N)$, $N\geq 2$, $0<s<1$ and $2^{\ast}_{s}=\frac{2N}{N-2s}$. By virtue of the mini-max theory and the concentration compactness principle with the equivariant group action, we obtain the new type of non-radial, sign-changing solutions of (FCSE) in the energy space $\dot H^s(\R^N)$. The key component is that we use the equivariant group to partion $\dot H^s(\R^N)$ into several connected components, then combine the concentration compactness argument to show the compactness property of Palais-Smale sequences in each component and obtain many solutions of (FCSE) in $\dot H^s(\R^N)$. Both the solutions and the argument here are different from those by Garrido, Musso in \cite{GM2016pjm} and by Abreu, Barbosa and Ramirez in \cite{ABR2019arxiv}.


title: Limiting behavior of large correlated Wishart matrices with chaotic entries

abstract: We study the fluctuations, as $d,n\to \infty$, of the Wishart matrix $\mathcal{W}_{n,d}= \frac{1}{d} \mathcal{X}_{n,d} \mathcal{X}_{n,d}^{T} $ associated to a $n\times d$ random matrix $\mathcal{X}_{n,d}$ with non-Gaussian entries. We analyze the limiting behavior in distribution of $\mathcal{W}_{n,d}$ in two situations: when the entries of $\mathcal{X}_{n,d}$ are independent elements of a Wiener chaos of arbitrary order and when the entries are partially correlated and belong to the second Wiener chaos. In the first case, we show that the (suitably normalized) Wishart matrix converges in distribution to a Gaussian matrix while in the correlated case, we obtain its convergence in law to a diagonal non-Gaussian matrix. In both cases, we derive the rate of convergence in the Wasserstein distance via Malliavin calculus and analysis on Wiener space.


title: The Halo Spin Transition as a Probe of Dark Energy

abstract: We present a numerical evidence supporting the claim that the mass-dependent transitions of the halo spin orientations from the intermediate to the minor principal directions of the local tidal fields can in principle be a useful discriminator of dark energy models. We first define a spin transition zone as the mass range of the halos, $\Delta m_{t}$, for which the intrinsic spin alignments with the minor tidal principal directions become as strong as that with the intermediate principal directions. Then, utilizing the halo samples from the DEUS simulations performed separately for the WMAP7 $\Lambda$CDM, phantom DE and quintessence models, we investigate if and how the three different dark energy models differ in $\Delta m_{t}$. It is shown that the differences in $\Delta m_{t}$ among the three dark energy models are significant enough to discriminate the models from one another and robust against the variations of the smoothing scale of the tidal field and redshift. Noting that a narrower spin transition zone is more powerful as a probe of dark energy, we also show that the spin transition zones become narrower at higher redshifts, in the filamentary environments and for the case that the tidal fields are smoothed on the smaller scales. Our result is consistent with the scenario that $\Delta m_{t}$ is mainly determined by how fast the nonlinear evolution of the tidal field proceeds, which in turn sensitively depends on the background cosmology.


title: TPG-DNN: A Method for User Intent Prediction Based on Total Probability Formula and GRU Loss with Multi-task Learning

abstract: The E-commerce platform has become the principal battleground where people search, browse and pay for whatever they want. Critical as is to improve the online shopping experience for customers and merchants, how to find a proper approach for user intent prediction are paid great attention in both industry and academia. In this paper, we propose a novel user intent prediction model, TPG-DNN, to complete the challenging task, which is based on adaptive gated recurrent unit (GRU) loss function with multi-task learning. We creatively use the GRU structure and total probability formula as the loss function to model the users' whole online purchase process. Besides, the multi-task weight adjustment mechanism can make the final loss function dynamically adjust the importance between different tasks through data variance. According to the test result of experiments conducted on Taobao daily and promotion data sets, the proposed model performs much better than existing click through rate (CTR) models. At present, the proposed user intent prediction model has been widely used for the coupon allocation, advertisement and recommendation on Taobao platform, which greatly improve the user experience and shopping efficiency, and benefit the gross merchandise volume (GMV) promotion as well.


title: Extensional equality preservation and verified generic programming

abstract: In verified generic programming, one cannot exploit the structure of concrete data types but has to rely on well chosen sets of specifications or abstract data types (ADTs). Functors and monads are at the core of many applications of functional programming. This raises the question of what useful ADTs for verified functors and monads could look like. The functorial map of many important monads preserves extensional equality. For instance, if $f, g : A \rightarrow B$ are extensionally equal, that is, $\forall x \in A, \ f \ x = g \ x$, then $map \ f : List \ A \rightarrow List \ B$ and $map \ g$ are also extensionally equal. This suggests that preservation of extensional equality could be a useful principle in verified generic programming. We explore this possibility with a minimalist approach: we deal with (the lack of) extensional equality in Martin-L\"of's intensional type theories without extending the theories or using full-fledged setoids. Perhaps surprisingly, this minimal approach turns out to be extremely useful. It allows one to derive simple generic proofs of monadic laws but also verified, generic results in dynamical systems and control theory. In turn, these results avoid tedious code duplication and ad-hoc proofs. Thus, our work is a contribution towards pragmatic, verified generic programming.


title: A complete hierarchy for the pure state marginal problem in quantum mechanics

abstract: Clarifying the relation between the whole and its parts is crucial for many problems in science. In quantum mechanics, this question manifests itself in the quantum marginal problem, which asks whether there is a global pure quantum state for some given marginals. This problem arises in many contexts, ranging from quantum chemistry to entanglement theory and quantum error correcting codes. In this paper, we prove a correspondence of the marginal problem to the separability problem. Based on this, we describe a sequence of semidefinite programs which can decide whether some given marginals are compatible with some pure global quantum state. As an application, we prove that the existence of multiparticle absolutely maximally entangled states for a given dimension is equivalent to the separability of an explicitly given two-party quantum state. Finally, we show that the existence of quantum codes with given parameters can also be interpreted as a marginal problem, hence, our complete hierarchy can also be used.


title: Multiscale matrix pencils for separable reconstruction problems

abstract: The nonlinear inverse problem of exponential data fitting is separable since the fitting function is a linear combination of parameterized exponential functions, thus allowing to solve for the linear coefficients separately from the nonlinear parameters. The matrix pencil method, which reformulates the problem statement into a generalized eigenvalue problem for the nonlinear parameters and a structured linear system for the linear parameters, is generally considered as the more stable method to solve the problem computationally. In Section 2 the matrix pencil associated with the classical complex exponential fitting or sparse interpolation problem is summarized and the concepts of dilation and translation are introduced to obtain matrix pencils at different scales. Exponential analysis was earlier generalized to the use of several polynomial basis functions and some operator eigenfunctions. However, in most generalizations a computational scheme in terms of an eigenvalue problem is lacking. In the subsequent Sections 3--6 the matrix pencil formulation, including the dilation and translation paradigm, is generalized to more functions. Each of these periodic, polynomial or special function classes needs a tailored approach, where optimal use is made of the properties of the parameterized elementary or special function used in the sparse interpolation problem under consideration. With each generalization a structured linear matrix pencil is associated, immediately leading to a computational scheme for the nonlinear and linear parameters, respectively from a generalized eigenvalue problem and one or more structured linear systems. Finally, in Section 7 we illustrate the new methods.


title: Split extensions and actions of bialgebras and Hopf algebras

abstract: We introduce a notion of split extension of (non-associative) bialgebras which generalizes the notion of split extension of magmas introduced by M. Gran, G. Janelidze and M. Sobral. We show that this definition is equivalent to the notion of action of (non-associative) bialgebras. We particularize this equivalence to (non-associative) Hopf algebras by defining split extensions of (non-associative) Hopf algebras and proving that they are equivalent to actions of (non-associative) Hopf algebras. Moreover, we prove the validity of the Split Short Five Lemma for these kinds of split extensions, and we examine some examples.


title: Constraining the contribution of Gamma-Ray Bursts to the high-energy diffuse neutrino flux with 10 years of ANTARES data

abstract: Addressing the origin of the astrophysical neutrino flux observed by IceCube is of paramount importance. Gamma-Ray Bursts (GRBs) are among the few astrophysical sources capable of achieving the required energy to contribute to such neutrino flux through p$\gamma$ interactions. In this work, ANTARES data have been used to search for upward going muon neutrinos in spatial and temporal coincidence with 784 GRBs occurred from 2007 to 2017. For each GRB, the expected neutrino flux has been calculated in the framework of the internal shock model and the impact of the lack of knowledge on the majority of source redshifts and on other intrinsic parameters of the emission mechanism has been quantified. It is found that the model parameters that set the radial distance where shock collisions occur have the largest impact on neutrino flux expectations. In particular, the bulk Lorentz factor of the source ejecta and the minimum variability timescale are found to contribute significantly to the GRB-neutrino flux uncertainty. For the selected sources, ANTARES data have been analysed, by maximising the discovery probability of the stacking sample through an extended maximum-likelihood strategy. Since no neutrino event passed the quality cuts set by the optimisation procedure, 90\% confidence level upper limits (with their uncertainty) on the total expected diffuse neutrino flux have been derived, according to the model. The GRB contribution to the observed diffuse astrophysical neutrino flux around 100 TeV is constrained to be less than 10\%.