title: SEEK: Segmented Embedding of Knowledge Graphs

abstract: In recent years, knowledge graph embedding becomes a pretty hot research topic of artificial intelligence and plays increasingly vital roles in various downstream applications, such as recommendation and question answering. However, existing methods for knowledge graph embedding can not make a proper trade-off between the model complexity and the model expressiveness, which makes them still far from satisfactory. To mitigate this problem, we propose a lightweight modeling framework that can achieve highly competitive relational expressiveness without increasing the model complexity. Our framework focuses on the design of scoring functions and highlights two critical characteristics: 1) facilitating sufficient feature interactions; 2) preserving both symmetry and antisymmetry properties of relations. It is noteworthy that owing to the general and elegant design of scoring functions, our framework can incorporate many famous existing methods as special cases. Moreover, extensive experiments on public benchmarks demonstrate the efficiency and effectiveness of our framework. Source codes and data can be found at \url{https://github.com/Wentao-Xu/SEEK}.


title: Unsteady Wave Drag on a Disturbance Moving Along an Arbitrary Trajectory

abstract: We derive analytical formulas for the wake and wave drag of a disturbance moving arbitrarily at the air-water interface. We show that, provided a constant velocity is reached in finite time, the unsteady surface displacement converges to its well-known steady counterpart as given by Havelock's famous formula. Finally we assess, in a specific situation, to which extent one can rightfully use Havelock's steady wave drag formula for non-uniform motion (quasi-static). Such an approach can be used to legitimize or discredit a number of studies which used steady wave drag formulas in unsteady situations.


title: Minimum Cuts in Geometric Intersection Graphs

abstract: Let $\mathcal{D}$ be a set of $n$ disks in the plane. The disk graph $G_\mathcal{D}$ for $\mathcal{D}$ is the undirected graph with vertex set $\mathcal{D}$ in which two disks are joined by an edge if and only if they intersect. The directed transmission graph $G^{\rightarrow}_\mathcal{D}$ for $\mathcal{D}$ is the directed graph with vertex set $\mathcal{D}$ in which there is an edge from a disk $D_1 \in \mathcal{D}$ to a disk $D_2 \in \mathcal{D}$ if and only if $D_1$ contains the center of $D_2$. Given $\mathcal{D}$ and two non-intersecting disks $s, t \in \mathcal{D}$, we show that a minimum $s$-$t$ vertex cut in $G_\mathcal{D}$ or in $G^{\rightarrow}_\mathcal{D}$ can be found in $O(n^{3/2}\text{polylog} n)$ expected time. To obtain our result, we combine an algorithm for the maximum flow problem in general graphs with dynamic geometric data structures to manipulate the disks. As an application, we consider the barrier resilience problem in a rectangular domain. In this problem, we have a vertical strip $S$ bounded by two vertical lines, $L_\ell$ and $L_r$, and a collection $\mathcal{D}$ of disks. Let $a$ be a point in $S$ above all disks of $\mathcal{D}$, and let $b$ a point in $S$ below all disks of $\mathcal{D}$. The task is to find a curve from $a$ to $b$ that lies in $S$ and that intersects as few disks of $\mathcal{D}$ as possible. Using our improved algorithm for minimum cuts in disk graphs, we can solve the barrier resilience problem in $O(n^{3/2}\text{polylog} n)$ expected time.


title: From EPR, Schr\"odinger paradox to nonlocality based on perfect correlation

abstract: We give a conceptually simple proof of nonlocality using only the perfect correlations between results of measurements on distant systems discussed by Einstein, Podolsky and Rosen---correlations that EPR thought proved the incompleteness of quantum mechanics. Our argument relies on an extension of EPR by Schr\"odinger.


title: Minimum depth of double cross product extensions

abstract: In this paper we explore minimum odd and minimum even depth sub algebra pairs in the context of double cross products of finite dimensional Hopf algebras. We start by defining factorization algebras and outline how subring depth in this context relates with the module depth of the regular left module representation of the given subalgebra. Next we study minimum odd depth for double cross product Hopf subalgebras and determine their value in terms of their related module depth, we conclude that minimum odd depth of Drinfeld double Hopf subalgebras is 3. Finaly we produce a necessary and sufficient condition for depth 2 in double cross product Hopf subalgebra extensions. This sufficient condition is then used to prove results regarding minimum depth 2 in Drinfeld double Hopf subalgebras, particularly in the case of finite Group Hopf algebras. Lastly we provide formulas for the centralizer of a normal Hopf subalgebra in a double cross product scenario.


title: The big sibling of AU Mic: a cold dust-rich debris disk around CP-72 2713 in the $\beta$ Pic moving group

abstract: Analyzing Spitzer and Herschel archival measurements we identified a debris disk around the young K7/M0 star CP-72 2713. The system belongs to the 24Myr old $\beta$ Pic moving group. Our new 1.33mm continuum observation, obtained with the ALMA 7-m array, revealed an extended dust disk with a peak radius of 140au, probably tracing the location of the planetesimal belt in the system. The disk is outstandingly large compared to known spatially resolved debris disks and also to protoplanetary disks around stars of comparable masses. The dynamical excitation of the belt at this radius is found to be reconcilable with planetary stirring, while self-stirring by large planetesimals embedded in the belt can work only if these bodies form very rapidly, e.g. via pebble concentration. By analyzing the spectral energy distribution we derived a characteristic dust temperature of 43K and a fractional luminosity of 1.1$\times$10$^{-3}$. The latter value is prominently high, we know only four other similarly dust-rich Kuiper-belt analogs within 40pc of the Sun.


title: Who Needs Trust for 5G?

abstract: There has been much recent discussion of the criticality of the 5G infrastructure, and whether certain vendors should be able to supply 5G equipment. The key issue appears to be about trust, namely to what degree the security and reliability properties of 5G equipment and systems need to be trusted, and by whom, and how the necessary level of trust might be obtained. In this paper, by considering existing examples such as the Internet, the possible need for trust is examined in a systematic way, and possible routes to gaining trust are described. The issues that arise when a security and/or reliability failure actually occurs are also discussed. The paper concludes with a discussion of possible future ways of enabling all parties to gain the assurances they need in a cost-effective and harmonised way.


title: Type-2 fuzzy reliability redundancy allocation problem and its solution using particle swarm optimization algorithm

abstract: In this paper, the fuzzy multi-objective reliability redundancy allocation problem (FMORRAP) is proposed, which maximizes the system reliability while simultaneously minimizing the system cost under the type 2 fuzzy uncertainty. In the proposed formulation, the higher order uncertainties (such as parametric, manufacturing, environmental, and designers uncertainty) associated with the system are modeled with interval type 2 fuzzy sets (IT2 FS). The footprint of uncertainty of the interval type 2 membership functions (IT2 MFs) accommodates these uncertainties by capturing the multiple opinions from several system experts. We consider IT2 MFs to represent the subsystem reliability and cost, which are to be further aggregated using extension principle to evaluate the total system reliability and cost according to their configurations, i.e., series parallel and parallel series. We proposed a particle swarm optimization (PSO) based novel solution approach to solve the FMORRAP. To demonstrate the applicability of two formulations, namely, series parallel FMORRAP and parallel series FMORRAP, we performed experimental simulations on various numerical data sets. The decision makers/system experts assign different importance to the objectives (system reliability and cost), and these preferences are represented by sets of weights. The optimal results are obtained from our solution approach, and the Pareto optimal front is established using these different weight sets. The genetic algorithm (GA) was implemented to compare the results obtained from our proposed solution approach. A statistical analysis was conducted between PSO and GA, and it was found that the PSO based Pareto solution outperforms the GA.


title: Nonlinear analysis of charge-pump phase-locked loop: the hold-in and pull-in ranges

abstract: In this paper a fairly complete mathematical model of CP-PLL, which reliable enough to serve as a tool for credible analysis of dynamical properties of these circuits, is studied. We refine relevant mathematical definitions of the hold-in and pull-in ranges related to the local and global stability. Stability analysis of the steady state for the charge-pump phase locked loop is non-trivial: straight-forward linearization of available CP-PLL models may lead to incorrect conclusions, because the system is not smooth near the steady state and may experience overload. In this work necessary details for local stability analysis are presented and the hold-in range is computed. An upper estimate of the pull-in range is obtained via the analysis of limit cycles. The study provided an answer to Gardner's conjecture on the similarity of transient responses of CP-PLL and equivalent classical PLL and to conjectures on the infinite pull-in range of CP-PLL with proportionally-integrating filter.


title: Neural Differential Equations for Single Image Super-resolution

abstract: Although Neural Differential Equations have shown promise on toy problems such as MNIST, they have yet to be successfully applied to more challenging tasks. Inspired by variational methods for image restoration relying on partial differential equations, we choose to benchmark several forms of Neural DEs and backpropagation methods on single image super-resolution. The adjoint method previously proposed for gradient estimation has no theoretical stability guarantees; we find a practical case where this makes it unusable, and show that discrete sensitivity analysis has better stability. In our experiments, differential models match the performance of a state-of-the art super-resolution model.


title: Minerva: A Portable Machine Learning Microservice Framework for Traditional Enterprise SaaS Applications

abstract: In traditional SaaS enterprise applications, microservices are an essential ingredient to deploy machine learning (ML) models successfully. In general, microservices result in efficiencies in software service design, development, and delivery. As they become ubiquitous in the redesign of monolithic software, with the addition of machine learning, the traditional applications are also becoming increasingly intelligent. Here, we propose a portable ML microservice framework Minerva (microservices container for applied ML) as an efficient way to modularize and deploy intelligent microservices in traditional legacy SaaS applications suite, especially in the enterprise domain. We identify and discuss the needs, challenges and architecture to incorporate ML microservices in such applications. Minervas design for optimal integration with legacy applications using microservices architecture leveraging lightweight infrastructure accelerates deploying ML models in such applications.


title: Corrections to Yukawa couplings from higher dimensional operators in a natural SUSY $\mathsf{SO(10)}$ and HL-LHC implications

abstract: We consider a class of unified models based on the gauge group $\mathsf{SO(10)}$ which with appropriate choice of Higgs representations generate in a natural way a pair of light Higgs doublets needed to accomplish electroweak symmetry breaking. In this class of models higher dimensional operators of the form matter-matter-Higgs-Higgs in the superpotential after spontaneous breaking of the GUT symmetry generate contributions to Yukawa couplings which are comparable to the ones from cubic interactions. Specifically we consider an $\mathsf{SO(10)}$ model with a sector consisting of $\mathsf{126+\overline{126} + 210}$ of heavy Higgs which breaks the GUT symmetry down to the standard model gauge group and a sector consisting of $2\times \mathsf{10+120}$ of light Higgs fields. In this model we compute the corrections from the quartic interactions to the Yukawa couplings for the top and the bottom quarks and for the tau lepton. It is then shown that inclusion of these corrections to the GUT scale Yukawas allows for consistency of the top, bottom and tau masses with experiment for low $\tan\beta$ with a value as low as $\tan\beta$ of 5$-$10. We compute the sparticle spectrum for a set of benchmarks and find that satisfaction of the relic density is achieved via a compressed spectrum and coannihilation and three sets of coannihilations appear: chargino-neutralino, stop-neutralino and stau-neutralino. We investigate the chargino-neutralino coannihilation in detail for the possibility of observation of the light chargino at the high luminosity LHC (HL-LHC) and at the high energy LHC (HE-LHC) which is a possible future 27 TeV hadron collider. It is shown that all benchmark models but one can be discovered at HL-LHC and all would be discoverable at HE-LHC. The ones discoverable at both machines require a much shorter time scale and a lower integrated luminosity at HE-LHC.


title: Computing With Words for Student Strategy Evaluation in an Examination

abstract: In the framework of Granular Computing (GC), Interval type 2 Fuzzy Sets (IT2 FSs) play a prominent role by facilitating a better representation of uncertain linguistic information. Perceptual Computing (Per C), a well known computing with words (CWW) approach, and its various applications have nicely exploited this advantage. This paper reports a novel Per C based approach for student strategy evaluation. Examinations are generally oriented to test the subject knowledge of students. The number of questions that they are able to solve accurately judges success rates of students in the examinations. However, we feel that not only the solutions of questions, but also the strategy adopted for finding those solutions are equally important. More marks should be awarded to a student, who solves a question with a better strategy compared to a student, whose strategy is relatively not that good. Furthermore, the students strategy can be taken as a measure of his or her learning outcome as perceived by a faculty member. This can help to identify students, whose learning outcomes are not good, and, thus, can be provided with any relevant help, for improvement. The main contribution of this paper is to illustrate the use of CWW for student strategy evaluation and present a comparison of the recommendations generated by different CWW approaches. CWW provides us with two major advantages. First, it generates a numeric score for the overall evaluation of strategy adopted by a student in the examination. This enables comparison and ranking of the students based on their performances. Second, a linguistic evaluation describing the student strategy is also obtained from the system. Both these numeric score and linguistic recommendation are together used to assess the quality of a students strategy. We found that Per-C generates unique recommendations in all cases and outperforms other CWW approaches.


title: Logistic Knowledge Tracing: A Constrained Framework for Learner Modeling

abstract: Adaptive learning technology solutions often use a learner model to trace learning and make pedagogical decisions. The present research introduces a formalized methodology for specifying learner models, Logistic Knowledge Tracing (LKT), that consolidates many extant learner modeling methods. The strength of LKT is the specification of a symbolic notation system for alternative logistic regression models that is powerful enough to specify many extant models in the literature and many new models. To demonstrate the generality of LKT, we fit 12 models, some variants of well-known models and some newly devised, to 6 learning technology datasets. The results indicated that no single learner model was best in all cases, further justifying a broad approach that considers multiple learner model features and the learning context. The models presented here avoid student-level fixed parameters to increase generalizability. We also introduce features to stand in for these intercepts. We argue that to be maximally applicable, a learner model needs to adapt to student differences, rather than needing to be pre-parameterized with the level of each student's ability.


title: Predicting Performance for Natural Language Processing Tasks

abstract: Given the complexity of combinations of tasks, languages, and domains in natural language processing (NLP) research, it is computationally prohibitive to exhaustively test newly proposed models on each possible experimental setting. In this work, we attempt to explore the possibility of gaining plausible judgments of how well an NLP model can perform under an experimental setting, without actually training or testing the model. To do so, we build regression models to predict the evaluation score of an NLP experiment given the experimental settings as input. Experimenting on 9 different NLP tasks, we find that our predictors can produce meaningful predictions over unseen languages and different modeling architectures, outperforming reasonable baselines as well as human experts. Going further, we outline how our predictor can be used to find a small subset of representative experiments that should be run in order to obtain plausible predictions for all other experimental settings.


title: Optically driven ultrafast magnetic order transitions in two-dimensional ferrimagnets

abstract: Laser-induced switching and manipulation of the spins in magnetic materials are of great interest to revolutionize future magnetic storage technology and spintronics with fastest speed and least power dissipative. Inspired by the recent discovery of intrinsic two-dimensional (2D) magnets, which provide unique platform to explore the new phenomenon for light-control magnetism in the 2D limit, we propose to realize light can efficiently tune magnetic properties of 2D ferrimagnets in early time. Here, using the 2D ferrimagnetic MXenes as prototype systems, our real-time density functional theory (TDDFT) simulation show that laser pulses can directly induce ultrafast spin-selective charge transfer between two magnetic sublattices on a few femtoseconds, and further generate dramatic changes in the magnetic structure of these MXenes, including a magnetic order transition from ferrimagnetic (FiM) to transient ferromagnetic (FM). The microscopic mechanism underpinning this ultrafast switching of magnetic order in MXenes is governed by optically induced inter-site spin transfer (OISTR) effect, which theoretically enables the ultrafast direct optical manipulation of the magnetic state in MXenes-based materials. Our results open new opportunities to optically manipulate the spin in 2D magnets.


title: How deep the machine learning can be

abstract: Today we live in the age of artificial intelligence and machine learning; from small startups to HW or SW giants, everyone wants to build machine intelligence chips, applications. The task, however, is hard: not only because of the size of the problem: the technology one can utilize (and the paradigm it is based upon) strongly degrades the chances to succeed efficiently. Today the single-processor performance practically reached the limits the laws of nature enable. The only feasible way to achieve the needed high computing performance seems to be parallelizing many sequentially working units. The laws of the (massively) parallelized computing, however, are different from those experienced in connection with assembling and utilizing systems comprising just-a-few single processors. As machine learning is mostly based on the conventional computing (processors), we scrutinize the (known, but somewhat faded) laws of the parallel computing, concerning AI. This paper attempts to review some of the caveats, especially concerning scaling the computing performance of the AI solutions.


title: Magnetotransport of dirty-limit van Hove singularity quasiparticles

abstract: Tuning of electronic density-of-states singularities is a common route to unconventional metal physics. Conceptually, van Hove singularities are realized only in clean two-dimensional systems. Little attention has therefore been given to the disordered (dirty) limit. Here, we provide a magnetotransport study of the dirty metamagnetic system calcium-doped strontium ruthenate. Fermi liquid properties persist across the metamagnetic transition, but with an unusually strong variation of the Kadowaki-Woods ratio. This is revealed by a strong decoupling of inelastic electron scattering and electronic mass inferred from density-of-state probes. We discuss this Fermi liquid behavior in terms of a magnetic field tunable van Hove singularity in the presence of disorder. More generally, we show how dimensionality and disorder control the fate of transport properties across metamagnetic transitions.


title: Hessenberg varieties and Poisson slices

abstract: This work pursues a circle of Lie-theoretic ideas involving Hessenberg varieties, Poisson geometry, and wonderful compactifications. In more detail, one may associate a symplectic Hamiltonian $G$-variety $\mu:G\times\mathcal{S}\longrightarrow\mathfrak{g}$ to each complex semisimple Lie algebra $\mathfrak{g}$ with adjoint group $G$ and fixed Kostant section $\mathcal{S}\subseteq\mathfrak{g}$. This variety is one of Bielawski's hyperk\"ahler slices, and it is central to Moore and Tachikawa's work on topological quantum field theories. It also bears a close relation to two log symplectic Hamiltonian $G$-varieties $\overline{\mu}_{\mathcal{S}}:\overline{G\times\mathcal{S}}\longrightarrow\mathfrak{g}$ and $\nu:\mathrm{Hess}\longrightarrow\mathfrak{g}$. The former is a Poisson transversal in the log cotangent bundle of the wonderful compactification $\overline{G}$, while the latter is the standard family of Hessenberg varieties. Each of $\overline{\mu}$ and $\nu$ is known to be a fibrewise compactification of $\mu$. We exploit the theory of Poisson slices to relate the fibrewise compactifications mentioned above. Our main result is a canonical $G$-equivariant bimeromorphism $\mathrm{Hess}\cong\overline{G\times\mathcal{S}}$ of varieties over $\mathfrak{g}$. This bimeromorphism is shown to be a Hamiltonian $G$-variety isomorphism in codimension one, and to be compatible with a Poisson isomorphism obtained by B\u{a}libanu. We also show our bimeromorphism to be a biholomorphism if $\mathfrak{g}=\mathfrak{sl}_2$, and we conjecture that this is the case for arbitrary $\mathfrak{g}$. We conclude by discussing the implications of our conjecture for Hessenberg varieties.


title: Deterministic Treasure Hunt in the Plane with Angular Hints

abstract: A mobile agent equipped with a compass and a measure of length has to find an inert treasure in the Euclidean plane. Both the agent and the treasure are modeled as points. In the beginning, the agent is at a distance at most $D>0$ from the treasure, but knows neither the distance nor any bound on it. Finding the treasure means getting at distance at most 1 from it. The agent makes a series of moves. Each of them consists in moving straight in a chosen direction at a chosen distance. In the beginning and after each move the agent gets a hint consisting of a positive angle smaller than $2\pi$ whose vertex is at the current position of the agent and within which the treasure is contained. We investigate the problem of how these hints permit the agent to lower the cost of finding the treasure, using a deterministic algorithm, where the cost is the worst-case total length of the agent's trajectory. It is well known that without any hint the optimal (worst case) cost is $\Theta(D^2)$. We show that if all angles given as hints are at most $\pi$, then the cost can be lowered to $O(D)$, which is optimal. If all angles are at most $\beta$, where $\beta<2\pi$ is a constant unknown to the agent, then the cost is at most $O(D^{2-\epsilon})$, for some $\epsilon>0$. For both these positive results we present deterministic algorithms achieving the above costs. Finally, if angles given as hints can be arbitrary, smaller than $2\pi$, then we show that cost $\Theta(D^2)$ cannot be beaten.


title: Conditional R\'enyi entropy and the relationships between R\'enyi capacities

abstract: The analogues of Arimoto's definition of conditional R\'enyi entropy and R\'enyi mutual information are explored for abstract alphabets. These quantities, although dependent on the reference measure, have some useful properties similar to those known in the discrete setting. In addition to laying out some such basic properties and the relations to R\'enyi divergences, the relationships between the families of mutual informations defined by Sibson, Augustin-Csisz\'ar, and Lapidoth-Pfister, as well as the corresponding capacities, are explored.


title: Energy Efficient Neural Network Embedding in IoT over Passive Optical Networks

abstract: In the near future, IoT based application services are anticipated to collect massive amounts of data on which complex and diverse tasks are expected to be performed. Machine learning algorithms such as Artificial Neural Networks (ANN) are increasingly used in smart environments to predict the output for a given problem based on a set of tuning parameters as the input. To this end, we present an energy efficient neural network (EE-NN) service embedding framework for IoT based smart homes. The developed framework considers the idea of Service Oriented Architecture (SOA) to provide service abstraction for multiple complex modules of a NN which can be used by a higher application layer. We utilize Mixed Integer Linear Programming (MILP) to formulate the embedding problem to minimize the total power consumption of networking and processing simultaneously. The results of the MILP model show that our optimized NN can save up to 86% by embedding processing modules in IoT devices and up to 72% in fog nodes due to the limited capacity of IoT devices.


title: Addressing Missing Labels in Large-Scale Sound Event Recognition Using a Teacher-Student Framework With Loss Masking

abstract: The study of label noise in sound event recognition has recently gained attention with the advent of larger and noisier datasets. This work addresses the problem of missing labels, one of the big weaknesses of large audio datasets, and one of the most conspicuous issues for AudioSet. We propose a simple and model-agnostic method based on a teacher-student framework with loss masking to first identify the most critical missing label candidates, and then ignore their contribution during the learning process. We find that a simple optimisation of the training label set improves recognition performance without additional computation. We discover that most of the improvement comes from ignoring a critical tiny portion of the missing labels. We also show that the damage done by missing labels is larger as the training set gets smaller, yet it can still be observed even when training with massive amounts of audio. We believe these insights can generalize to other large-scale datasets.


title: Single Model Ensemble using Pseudo-Tags and Distinct Vectors

abstract: Model ensemble techniques often increase task performance in neural networks; however, they require increased time, memory, and management effort. In this study, we propose a novel method that replicates the effects of a model ensemble with a single model. Our approach creates K-virtual models within a single parameter space using K-distinct pseudo-tags and K-distinct vectors. Experiments on text classification and sequence labeling tasks on several datasets demonstrate that our method emulates or outperforms a traditional model ensemble with 1/K-times fewer parameters.


title: Almost Universal Anonymous Rendezvous in the Plane

abstract: Two mobile agents represented by points freely moving in the plane and starting at two distinct positions, have to meet. The meeting, called rendezvous, occurs when agents are at distance at most $r$ of each other and never move after this time, where $r$ is a positive real unknown to them, called the visibility radius. Agents are anonymous and execute the same deterministic algorithm. Each agent has a set of private attributes, some or all of which can differ between agents. These attributes are: the initial position of the agent, its system of coordinates (orientation and chirality), the rate of its clock, its speed when it moves, and the time of its wake-up. If all attributes (except the initial positions) are identical and agents start at distance larger than $r$ then they can never meet. However, differences between attributes make it sometimes possible to break the symmetry and accomplish rendezvous. Such instances of the rendezvous problem (formalized as lists of attributes), are called feasible. Our contribution is three-fold. We first give an exact characterization of feasible instances. Thus it is natural to ask whether there exists a single algorithm that guarantees rendezvous for all these instances. We give a strong negative answer to this question: we show two sets $S_1$ and $S_2$ of feasible instances such that none of them admits a single rendezvous algorithm valid for all instances of the set. On the other hand, we construct a single algorithm that guarantees rendezvous for all feasible instances outside of sets $S_1$ and $S_2$. We observe that these exception sets $S_1$ and $S_2$ are geometrically very small, compared to the set of all feasible instances: they are included in low-dimension subspaces of the latter. Thus, our rendezvous algorithm handling all feasible instances other than these small sets of exceptions can be justly called almost universal.


title: Recipes for bolometric corrections and Gaia luminosities of B-type stars: Application to an asteroseismic sample

abstract: We provide three statistical model prescriptions for the bolometric corrections appropriate for B-type stars as a function of: 1) T_eff, 2) T_eff, log g, and 3) T_eff, log g, [M/H]. These statistical models have been calculated for 27 different filters, including those of the Gaia space mission, and were derived based on two different grids of bolometric corrections assuming LTE and LTE+NLTE, respectively. Previous such work has mainly been limited to a single photometric passband without taking into account NLTE effects on the bolometric corrections. Using these statistical models, we calculate the luminosities of 34 slowly pulsating B-type (SPB) stars with available spectroscopic parameters, to place them in the Hertzsprung-Russell diagram and compare their position to the theoretical SPB instability strip. We find that excluding NLTE effects has no significant impact on the derived luminosities for the temperature range 11500-21000 K. We conclude that spectroscopic parameters are needed in order to achieve meaningful luminosities of B-type stars. The three prescriptions for the bolometric corrections are valid for any galactic B-type star with effective temperatures and surface gravities in the ranges 10000-30000 K and 2.5-4.5 dex, respectively, covering regimes below the Eddington limit.


title: Improving Truthfulness of Headline Generation

abstract: Most studies on abstractive summarization report ROUGE scores between system and reference summaries. However, we have a concern about the truthfulness of generated summaries: whether all facts of a generated summary are mentioned in the source text. This paper explores improving the truthfulness in headline generation on two popular datasets. Analyzing headlines generated by the state-of-the-art encoder-decoder model, we show that the model sometimes generates untruthful headlines. We conjecture that one of the reasons lies in untruthful supervision data used for training the model. In order to quantify the truthfulness of article-headline pairs, we consider the textual entailment of whether an article entails its headline. After confirming quite a few untruthful instances in the datasets, this study hypothesizes that removing untruthful instances from the supervision data may remedy the problem of the untruthful behaviors of the model. Building a binary classifier that predicts an entailment relation between an article and its headline, we filter out untruthful instances from the supervision data. Experimental results demonstrate that the headline generation model trained on filtered supervision data shows no clear difference in ROUGE scores but remarkable improvements in automatic and manual evaluations of the generated headlines.


title: Manifestly Gauge-Invariant Cosmological Perturbation Theory from Full Loop Quantum Gravity

abstract: We apply the full theory of Loop Quantum Gravity (LQG) to cosmology and present a top-down derivation of gauge-invariant cosmological perturbation theory from quantum gravity. The derivation employs the reduced phase space formulation of LQG and the new discrete path integral formulation defined in arXiv:1910.03763. We demonstrate that in the semiclassical approximation and continuum limit, the result coincides with the existing formulation of gauge-invariant cosmological perturbation theory in e.g. arXiv:0711.0117. Time evolution of cosmological perturbations is computed numerically from the new cosmological perturbation theory of LQG, and various power spectrums are studied for scalar mode and tensor mode perturbations. Comparing these power spectrums with predictions from the classical theory demonstrate corrections in the ultra-long wavelength regime. These corrections are results from the lattice discretization in LQG. In addition, tensor mode perturbations at late time demonstrate the emergence of spin-2 gravitons as low energy excitations from LQG. The graviton has a modified dispersion relation and reduces to the standard graviton in the long wavelength limit.


title: Stress-Induced Intercalation Instability

abstract: We present a linear stability analysis to demonstrate that a flat coherent phase boundary formed by the (de)intercalation of solutes into a compound is unstable against perturbations with wavelengths larger than a critical wavelength. This critical wavelength is controlled by the competition between the interface energy and the elastic strain energy caused by the misfit between the solute-rich and solute-poor phases. It increases with the distance between the phase boundary and free surface of the compound, and so the instability is most pronounced when the boundary is close to the surface at the early stage of the (de)intercalation process. Numerical calculations show that such instability leads to non-uniform intercalation behavior. We find that uniform intercalation cannot be achieved unless the phase boundary moves at a speed greater than a critical velocity. Estimate of the magnitude of this velocity suggests that the stress-induced intercalation instability is generally operative in intercalation compounds used for battery applications.


title: Reversed Cherenkov-transition radiation in a waveguide partly filled with an anisotropic dispersive medium

abstract: We analyze the electromagnetic field of a bunch that moves uniformly in a circular metal waveguide and crosses a boundary between a vacuum area and an area filled with an anisotropic dispersive nonmagnetic medium. The medium is characterized by the diagonal dielectric permittivity tensor with components possessing frequency dispersion of plasma types. The investigation of the waveguide mode components is performed with the methods of the complex variable function theory. It is shown that in compliance with the parameters of the medium, Cherenkov radiation (CR) generated in the filled area of the waveguide can have reversed direction in relation to the bunch motion. CR can penetrate into the vacuum area of the waveguide, that is, the intensive reversed Cherenkov-transition radiation (RCTR) can be generated. The main properties of this radiation are described, and essential differences from the RCTR in the case of isotropic left-handed medium are revealed.


title: Sl-EDGE: Network Slicing at the Edge

abstract: Network slicing of multi-access edge computing (MEC) resources is expected to be a pivotal technology to the success of 5G networks and beyond. The key challenge that sets MEC slicing apart from traditional resource allocation problems is that edge nodes depend on tightly-intertwined and strictly-constrained networking, computation and storage resources. Therefore, instantiating MEC slices without incurring in resource over-provisioning is hardly addressable with existing slicing algorithms. The main innovation of this paper is Sl-EDGE, a unified MEC slicing framework that allows network operators to instantiate heterogeneous slice services (e.g., video streaming, caching, 5G network access) on edge devices. We first describe the architecture and operations of Sl-EDGE, and then show that the problem of optimally instantiating joint network-MEC slices is NP-hard. Thus, we propose near-optimal algorithms that leverage key similarities among edge nodes and resource virtualization to instantiate heterogeneous slices 7.5x faster and within 0.25 of the optimum. We first assess the performance of our algorithms through extensive numerical analysis, and show that Sl-EDGE instantiates slices 6x more efficiently then state-of-the-art MEC slicing algorithms. Furthermore, experimental results on a 24-radio testbed with 9 smartphones demonstrate that Sl-EDGE provides at once highly-efficient slicing of joint LTE connectivity, video streaming over WiFi, and ffmpeg video transcoding.


title: wisardpkg -- A library for WiSARD-based models

abstract: In order to facilitate the production of codes using WiSARD-based models, LabZero developed an ML library C++/Python called wisardpkg. This library is an MIT-licensed open-source package hosted on GitHub under the license.


title: Differentially Large Fields

abstract: We introduce the notion of differential largeness for fields equipped with several commuting derivations (as an analogue to largeness of fields). We lay out the foundations of this new class of "tame" differential fields. We state several characterizations and exhibit plenty of examples and applications. Our results strongly indicate that differentially large fields will play a key role in differential field arithmetic. For instance, we characterise differential largeness in terms of being existentially closed in their power series field (furnished with natural derivations), we give explicit constructions of differentially large fields in terms of iterated powers series, we prove that the class of differentially large fields is elementary, and we show that differential largeness is preserved under algebraic extensions, therefore showing that their algebraic closure is differentially closed.


title: Rationalizing Medical Relation Prediction from Corpus-level Statistics

abstract: Nowadays, the interpretability of machine learning models is becoming increasingly important, especially in the medical domain. Aiming to shed some light on how to rationalize medical relation prediction, we present a new interpretable framework inspired by existing theories on how human memory works, e.g., theories of recall and recognition. Given the corpus-level statistics, i.e., a global co-occurrence graph of a clinical text corpus, to predict the relations between two entities, we first recall rich contexts associated with the target entities, and then recognize relational interactions between these contexts to form model rationales, which will contribute to the final prediction. We conduct experiments on a real-world public clinical dataset and show that our framework can not only achieve competitive predictive performance against a comprehensive list of neural baseline models, but also present rationales to justify its prediction. We further collaborate with medical experts deeply to verify the usefulness of our model rationales for clinical decision making.


title: BeCAPTCHA-Mouse: Synthetic Mouse Trajectories and Improved Bot Detection

abstract: We first study the suitability of behavioral biometrics to distinguish between computers and humans, commonly named as bot detection. We then present BeCAPTCHA-Mouse, a bot detector based on: i) a neuromotor model of mouse dynamics to obtain a novel feature set for the classification of human and bot samples; and ii) a learning framework involving real and synthetically generated mouse trajectories. We propose two new mouse trajectory synthesis methods for generating realistic data: a) a function-based method based on heuristic functions, and b) a data-driven method based on Generative Adversarial Networks (GANs) in which a Generator synthesizes human-like trajectories from a Gaussian noise input. Experiments are conducted on a new testbed also introduced here and available in GitHub: BeCAPTCHA-Mouse Benchmark; useful for research in bot detection and other mouse-based HCI applications. Our benchmark data consists of 15,000 mouse trajectories including real data from 58 users and bot data with various levels of realism. Our experiments show that BeCAPTCHA-Mouse is able to detect bot trajectories of high realism with 93% of accuracy in average using only one mouse trajectory. When our approach is fused with state-of-the-art mouse dynamic features, the bot detection accuracy increases relatively by more than 36%, proving that mouse-based bot detection is a fast, easy, and reliable tool to complement traditional CAPTCHA systems.


title: Zero-Shot Transfer Learning with Synthesized Data for Multi-Domain Dialogue State Tracking

abstract: Zero-shot transfer learning for multi-domain dialogue state tracking can allow us to handle new domains without incurring the high cost of data acquisition. This paper proposes new zero-short transfer learning technique for dialogue state tracking where the in-domain training data are all synthesized from an abstract dialogue model and the ontology of the domain. We show that data augmentation through synthesized data can improve the accuracy of zero-shot learning for both the TRADE model and the BERT-based SUMBT model on the MultiWOZ 2.1 dataset. We show training with only synthesized in-domain data on the SUMBT model can reach about 2/3 of the accuracy obtained with the full training dataset. We improve the zero-shot learning state of the art on average across domains by 21%.


title: On mass distribution of coalescing black holes

abstract: Available data on the chirp mass distribution of the coalescing black hole binaries in O1-O3 LIGO/Virgo runs are analyzed and compared statistically with the distribution calculated under the assumption that these black holes are primordial with a log-normal mass spectrum. The theoretically calculated chirp mass distribution with the inferred best acceptable mass spectrum parameters, $M_0=17 M_\odot$ and $\gamma=0.9$, perfectly describes the data. The value of $M_0$ very well agrees with the theoretically expected one. On the opposite, the chirp mass distribution of black hole binaries originated from massive binary star evolution requires additional model adjustments to reproduce the observed chirp mass distribution


title: Maximum tilings with the minimal tile property

abstract: A tiling of the unit square is an MTP tiling if the smallest tile can tile all the other tiles. We look at the function $f(n)=\max \sum s_i$, where $s_i$ is the side length of the $i$th tile and the sum is taken over all MTP tilings with $n$ tiles. If $n=k^2+3$, it was conjectured that $f(k^2+3)=k+1/k$. We show that any tiling that violates the conjecture must consist of at least three tile sizes and has exactly one minimal tile.


title: TMDC Resonators for Second Harmonic Signal Enhancement

abstract: In addition to their strong nonlinear optical response, transition metal dichalcogenides (TMDCs) possess a high refractive index in the visible and infrared regime. Therefore, by patterning those TMDCs into dielectric nanoresonators, one can generate highly confined electromagnetic modes. Controlled fabrication of TMDC nanoresonators does not only enhance the material's intrinsic nonlinear response, but also allows for spatially shaping the emission via nanoresonator arrays. Here we fabricate patterned WS2 disks that support a high internal resonant electric field and show strong enhancement of second harmonic (SH) generation in the visible regime. In addition, we assemble the WS2 disks in arrays to spatially direct the coherent SH emission, in analogy to phased array antennas. Finally, we investigate and discuss drastic differences in the areal emission origin and intensity of the measured SH signals, which we find to depend on material variations of the used bulk WS2.


title: Context-based smart contracts for appendable-block blockchains

abstract: Currently, blockchain proposals are being adopted to solve security issues, such as data integrity, resilience, and non-repudiation. To improve certain aspects, e.g., energy consumption and latency, of traditional blockchains, different architectures, algorithms, and data management methods have been recently proposed. For example, appendable-block blockchain uses a different data structure designed to reduce latency in block and transaction insertion. It is especially applicable in domains such as Internet of Things (IoT), where both latency and energy are key concerns. However, the lack of some features available to other blockchains, such as Smart Contracts, limits the application of this model. To solve this, in this work, we propose the use of Smart Contracts in appendable-block blockchain through a new model called context-based appendable-block blockchain. This model also allows the execution of multiple smart contracts in parallel, featuring high performance in parallel computing scenarios. Furthermore, we present an implementation for the context-based appendable-block blockchain using an Ethereum Virtual Machine (EVM). Finally, we execute this implementation in four different testbed. The results demonstrated a performance improvement for parallel processing of smart contracts when using the proposed model.


title: A $p$-adic $L$-function with canonical motivic periods for Hida families

abstract: In 2006, Fukaya and Kato formulated a general conjecture about $p$-adic $L$-functions for a large class of motives and derived a precise conjectural interpolation formula from the ETNC. We study this conjectural $p$-adic $L$-function in the setting of Hida families and compare it to the $p$-adic $L$-function constructed by Kitagawa. A priori it is not clear whether the interpolation formulas coincide, mainly because of the rather inexplicit definition of periods (via comparison isomorphisms) that appear in the general formula. Using $p$-adic Eichler-Shimura isomorphisms and their interpolation in Hida families, we compare these periods to the expressions in Kitagawa's formula coming from modular symbols. This allows in certain cases to modify Kitagawa's construction such that it produces a $p$-adic $L$-function compatible with Fukaya's and Kato's conjecture.


title: Cryogenic microwave-to-optical conversion using a triply-resonant lithium niobate on sapphire transducer

abstract: Quantum networks are likely to have a profound impact on the way we compute and communicate in the future. In order to wire together superconducting quantum processors over kilometer-scale distances, we need transducers that can generate entanglement between the microwave and optical domains with high fidelity. We present an integrated electro-optic transducer that combines low-loss lithium niobate photonics with superconducting microwave resonators on a sapphire substrate. Our triply-resonant device operates in a dilution refrigerator and converts microwave photons to optical photons with an on-chip efficiency of $6.6\times 10^{-6}$ and a conversion bandwidth of 20 MHz. We discuss design trade-offs in this device, including strategies to manage acoustic loss, and outline ways to increase the conversion efficiency in the future.


title: A Neutron Scattering Perspective on the Structure, Softness and Dynamics of the Ligand Shell of PbS Nanocrystals in Solution

abstract: Small-angle neutron and X-ray scattering, neutron backscattering and neutron time-of-flight spectroscopy are applied to reveal the structure of the ligand shell, the temperature-dependent diffusion properties and the phonon spectrum of PbS nanocrystals functionalized with oleic acid in deuterated hexane. The nanocrystals decorated with oleic acid as well as the desorbed ligand molecules exhibit simple Brownian diffusion with a Stokes-Einstein temperature-dependence and inhibited freezing. Ligand molecules desorbed from the surface show strong spatial confinement. The phonon spectrum of oleic acid adsorbed to the nanocrystal surface exhibits hybrid modes with a predominant Pb-character. Low-energy surface modes of the NCs are prominent and indicate a large mechanical softness in solution. This work provides comprehensive insights into the ligand-particle interaction of colloidal nanocrystals in solution and highlights its effect on the diffusion and vibrational properties as well as their mechanical softness.


title: On Yang-Mills Stability and Plaquette Field Generating Functional

abstract: We consider the pure Yang-Mills relativistic quantum field theory in an imaginary time functional integral formulation. The gauge group is taken to be $\mathcal G = \mathrm U(N)$. We use a lattice ultraviolet regularization, starting with the model defined on a finite hypercubic lattice $\Lambda\subset a\mathbb Z^d$, $d = 2,3,4$, with lattice spacing $a\in (0,1]$ and $L\in\mathbb N$ sites on a side. The Wilson partition function is used where the action is a sum over four lattice bond variables of gauge-invariant plaquette (lattice minimal squares) actions with a prefactor $a^{d-4}/g^2$, where we take the gauge coupling $g\in(0,g_0^2]$, $0<g_0<\infty$. In a recent paper, for free boundary conditions, we proved that a normalized model partition function satisfies thermodynamic and ultraviolet stable stability bounds. Here, we extend the stability bounds to the Yang-Mills model with periodic boundary conditions, with constants which are also independent of $L$, $a$, $g$. Furthermore, we also consider a normalized generating functional for the correlations of $r\in\mathbb N$ gauge-invariant plaquette fields. Using periodic boundary conditions and the multireflection method, we then prove that this generating functional is bounded, with a bound that is independent of $L$, $a$, $g$ and the location and orientation of the $r$ plaquette fields. The bounds factorize and each factor is a single-bond variable, single-plaquette partition function. The number of factors is, up to boundary corrections, the number of non-temporal lattice bonds, such as $(d-1)L^d$. A new global quadratic upper bound in the gluon fields is proved for the Wilson plaquette action.


title: Markovian Switching of Mutation Rates in Evolutionary Network Dynamics

abstract: The replicator-mutator dynamic was originally derived to model the evolution of language, and since the model was derived in such a general manner, it has been applied to the dynamics of social behavior and decision making in multi-agent networks. For the two type population, a bifurcation point of the mutation rate is derived, displaying different long-run behaviors above and below this point. The long-run behavior would naturally be subjected to noise from the environment, however, to date there does not exist a model that dynamically accounts for the effects of the environment. To account for the environmental impacts on the evolution of the populace, mutation rates above and below this bifurcation point are switched according to a continuous-time Markov chain. The long-run behaviors of this model are derived, showing a counterintuitive result that the majority of initial conditions will favor the dominated type.


title: Metasurface Modeling by a Thin Slab

abstract: We investigate the possibility to model a metasurface, defined as a zero-thickness sheet of surface polarization currents, by a thin slab, characterized by a subwavelength thickness and usual voluminal medium parameters. First, we elaborate a general equivalence relation between the metasurface and the slab in terms of average electromagnetic fields. Then, we derive exact relations between the metasurface and slab susceptibilities and validate them by full-wave simulations. Finally, we discuss the simple and insightful Average Field Approximation (AFA) formula, illustrate its inappropriate for strong metasurface field transformations, and establish its range of validity. All of these developments are restricted to the simplest case of a uniform isotropic metasurface under normal plane wave incidence. We conclude from the complexity of the equivalence for this case, that a metasurface is generally best modeled in terms of Generalized Sheet Transition Conditions (GSTCs).


title: Free vector lattices and free vector lattice algebras

abstract: We show how the existence of various free vector lattices and free vector lattice algebras can be derived from a theorem on equational classes in universal algebra. A discussion about free $f$-algebras over non-empty sets is given, where the main issues appear to be open. It is indicated how the existence results for free vector lattices and vector lattice algebras can be used for easy proofs of existence results for free Banach lattices and free Banach lattice algebras. A detailed exposition of the necessary material from universal algebra is included.


title: Detection of CH$^{+}$, CH and H$_2$ molecules in the Young Planetary Nebula IC 4997

abstract: We have detected CH$^{+}$ and CH molecular absorption lines from the young compact planetary nebula IC 4997 from high resolution optical spectra. A high-resolution infra-red (H and K bands) spectrum provides detection of H$_2$ emission lines amongst many other lines. The H$_2$ lines provide an excitation temperature of 2100 K which may result from UV fluorescence in the envelope or from shocks formed at the interface between an expanding outflow of ionized gas and the neutral envelope ejected when the star was on the AGB. It is suggested that the CH$^+$ may result from the endothermic reaction C + H$_2$ $\rightarrow$ CH$^+$ + H. Intriguingly, CH$^{+}$ and also CH show a higher expansion velocity than H$_{\rm 2}$ emission suggesting they may be part of the post-shocked gas.


title: The ILASP system for Inductive Learning of Answer Set Programs

abstract: The goal of Inductive Logic Programming (ILP) is to learn a program that explains a set of examples in the context of some pre-existing background knowledge. Until recently, most research on ILP targeted learning Prolog programs. Our own ILASP system instead learns Answer Set Programs, including normal rules, choice rules and hard and weak constraints. Learning such expressive programs widens the applicability of ILP considerably; for example, enabling preference learning, learning common-sense knowledge, including defaults and exceptions, and learning non-deterministic theories. In this paper, we first give a general overview of ILASP's learning framework and its capabilities. This is followed by a comprehensive summary of the evolution of the ILASP system, presenting the strengths and weaknesses of each version, with a particular emphasis on scalability.


title: An efficient and accurate approximation to the distribution of quadratic forms of Gaussian variables

abstract: In computational and applied statistics, it is of great interest to get fast and accurate calculation for the distributions of the quadratic forms of Gaussian random variables. This paper presents a novel approximation strategy that contains two developments. First, we propose a faster numerical procedure in computing the moments of the quadratic forms. Second, we establish a general moment-matching framework for distribution approximation, which covers existing approximation methods for the distributions of the quadratic forms of Gaussian variables. Under this framework, a novel moment-ratio method (MR) is proposed to match the ratio of skewness and kurtosis based on the gamma distribution. Our extensive simulations show that 1) MR is almost as accurate as the exact distribution calculation and is much more efficient; 2) comparing with existing approximation methods, MR significantly improves the accuracy of approximating far right tail probabilities. The proposed method has wide applications. For example, it is a better choice than existing methods for facilitating hypothesis testing in big data analysis, where efficient and accurate calculation of very small $p$-values is desired. An R package Qapprox that implements related methods is available on CRAN.


title: Analyzing course programmes using complex networks

abstract: We analyze the curriculum of the early common-years of engineering in our institute using tools of statistical physics of complex networks. Naturally, a course programme is structured in a networked form (temporal dependency and prerequisites). In this approach, each topic within each programme is associated with a node, which in turn is joined by links representing the dependence of a topic for the understanding of another in a different discipline. As a course programme is a time-dependent structure, we propose a simple model to assign links between nodes, taking into account only two ingredients of the teaching-learning process: recursiveness and accumulation of knowledge. Since we already know the programmes, our objective is to verify if the proposed model is able to capture their particularities and to identify implications of different sequencing on the student learning in the early years of engineering degrees. Our model can be used as a systematic tool assisting the construction of a more interdisciplinary curriculum, articulating between disciplines of the undergraduate early-years in exact sciences.


title: Volumetric based mass flow estimation on sugarcane harvesters

abstract: Yield monitors on harvesters are a key component of precision agriculture. Mass flow estimation is the critical factor to measure, and having this allows for field productivity analysis, adjustments to machine efficiency, and cost minimization by ensuring trucks are filled maximally without exceeding weight limits. Several common technologies used on grain harvesters, including impact plate sensors, are accurate enough on combines to be valuable but suffer from issues such as drift. Sugarcane is composed of a mixture of billets and trash, which is a very dispersed material with much less consistency than grains. In this study, a 3d point cloud approach is used to estimate volume, from which a calibration factor is derived [density] to translate to mass. The system was proved in concept in a controlled environment using bamboo, achieving an R2 of 97.4% when fitting average volume flow per test against average mass flow after correcting for bulk density changes with volume. The system was also tested on field data, which was collected from nearly 1700 wagon loads from the southern U.S. and Brazil over the course of 3 seasons in both green and burnt cane. Results indicated that the concept is very robust with good accuracy, having seasonal CVs for density values ranging from 6.9% to 16.2%. The camera concept proves relatively robust to environmental conditions. The same approach could be used in sugar beets, potatoes or other sparse/non-flowing crops with highly varying material properties, where traditional mass flow sensors do not work.


title: Clue: Cross-modal Coherence Modeling for Caption Generation

abstract: We use coherence relations inspired by computational models of discourse to study the information needs and goals of image captioning. Using an annotation protocol specifically devised for capturing image--caption coherence relations, we annotate 10,000 instances from publicly-available image--caption pairs. We introduce a new task for learning inferences in imagery and text, coherence relation prediction, and show that these coherence annotations can be exploited to learn relation classifiers as an intermediary step, and also train coherence-aware, controllable image captioning models. The results show a dramatic improvement in the consistency and quality of the generated captions with respect to information needs specified via coherence relations.


title: Analysis of the electrostratic field generated by a charge distribution on a dielectric layer loading a rectangular waveguide

abstract: The goal of this paper is to study the electrostatic field due to an arbitrary charge distribution on a dielectric layer in a dielectric-loaded rectangular waveguide. In order to obtain this electrostatic field, the potential due to a point charge on the dielectric layer is solved in advance. The high computational complexity of this problem requires the use of different numerical integration techniques (e.g. Filon, Gauss-Kronrod, Lobatto, ...) and interpolation methods. Using the principle of superposition, the potential due to an arbitrary charge distribution on a dielectric layer is obtained by adding the individual contribution of each point charge. Finally, a numerical differentiation of the potential is carried out to obtain the electrostatic field in the waveguide. The results of this electrostatic problem are going to be extended to model the multipactor effect, which is a problem of great interest in the space industry.


title: pygiftgenerator: A python module designed to prepare Moodle-based quizzes

abstract: We present pygiftgenerator, a python module for systematically preparing a large number of numerical and multiple-choice questions for Moodle-based quizzes oriented to students' formative evaluation. The use of the module is illustrated by means of examples provided with the code and they cover topics from Mechanics, Electromagnetism, Thermodynamics and Modern Physics. The fact that pygiftgenerator relies on a well-established computer language which allows to combine and reuse functions in order to solve complex problems, makes it a very robust tool. Simply by changing the input parameters, a large question bank with solutions even to complex physical problems can be generated. Thus, it is a powerful alternative to the calculated and multiple choice questions which can be written directly in the Moodle platform. The module writes the questions to be imported into Moodle in a simple and human-readable ASCII output using the GIFT format, which enables html definitions for URLs for importing figures, or for simple text formatting (sub/superindices or Greek letters) for equations and units. This format also admits LaTeX typing for complex equations.


title: A note on additive characters of finite fields

abstract: Let $\mathbb F_q$ be the finite field with $q$ elements, where $q$ is a prime power and, for each integer $n\ge 1$, let $\mathbb F_{q^n}$ be the unique $n$-degree extension of $\mathbb F_q$. The $\mathbb F_q$-orders of an element in $\mathbb F_{q^n}$ and an additive character over $\mathbb F_{q^n}$ have been extensively used in the proof of existence results over finite fields (e.g., the Primitive Normal Basis Theorem). In this note we provide an interesting relation between these two objects.


title: Examining Citations of Natural Language Processing Literature

abstract: We extracted information from the ACL Anthology (AA) and Google Scholar (GS) to examine trends in citations of NLP papers. We explore questions such as: how well cited are papers of different types (journal articles, conference papers, demo papers, etc.)? how well cited are papers from different areas of within NLP? etc. Notably, we show that only about 56\% of the papers in AA are cited ten or more times. CL Journal has the most cited papers, but its citation dominance has lessened in recent years. On average, long papers get almost three times as many citations as short papers; and papers on sentiment classification, anaphora resolution, and entity recognition have the highest median citations. The analyses presented here, and the associated dataset of NLP papers mapped to citations, have a number of uses including: understanding how the field is growing and quantifying the impact of different types of papers.


title: Square Root Laws in Structured Fisheries

abstract: We introduce the term net-proliferation in the context of fisheries and establish relations between the proliferation and net-proliferation that are economically and sustainably favored. The resulting square root laws are analytically derived for species following the Beverton-Holt recurrence but, we show, can also serve as reference points for other models. The practical relevance of these analytically derived square root laws is tested on the the Barramundi fishery in the Southern Gulf of Carpentaria, Australia. A Beverton-Holt model, including stochasticity to account for model uncertainty, is fitted to a time series of catch and abundance index for this fishery. Simulations show, that despite the stochasticity, the population levels remain sustainable under the square root law. The application, with its inherited model uncertainty, sparks a risk sensitivity analysis regarding the probability of populations falling below an unsustainable threshold. Characterization of such sensitivity helps in the understanding of both dangers of overfishing and potential remedies.


title: Structure, magnetic and thermodynamic properties of heterometallic ludwigites: Cu2GaBO5 and Cu2AlBO5

abstract: We present an extensive study of the structural, magnetic and thermodynamic properties of high-quality monocrystals of the two heterometallic oxyborates from the ludwigite family: Cu$_2$GaBO$_5$ and Cu$_2$AlBO$_5$ in the temperature range above 2 K. The distinctive feature of the investigated structures is the selective distribution of Cu and Ga/Al cations. The unit cell of Cu$_2$GaBO$_5$ and Cu$_2$AlBO$_5$ contains four nonequivalent crystallographic sites of metal ions. Two sites in the structure from four nonequivalent crystallographic sites of metal ions of Cu$_2$GaBO$_5$ are fully occupied by Cu atoms which form the quasi one-dimensional chains along the a-axis. For Cu$_2$AlBO$_5$ all sites are partially occupied by Al and Cu atoms. The joint analysis of low-temperature data on magnetic susceptibility and magnetic contribution to the specific heat showed that Cu$_2$AlBO$_5$ and Cu$_2$GaBO$_5$ exhibit an antiferromagnetic transition at $T_{\rm N} \approx 3$ and 4 K, respectively. The magnetic contributions to the specific heat for both compounds were obtained after subtracting the phonon contribution. It is shown that the external magnetic field above 2.5 T leads to a broadening of the magnetic phase transition indicating suppression of the long-range antiferromagnetic order.


title: Security Aspects of Internet of Things aided Smart Grids: a Bibliometric Survey

abstract: The integration of sensors and communication technology in power systems, known as the smart grid, is an emerging topic in science and technology. One of the critical issues in the smart grid is its increased vulnerability to cyber threats. As such, various types of threats and defense mechanisms are proposed in literature. This paper offers a bibliometric survey of research papers focused on the security aspects of Internet of Things (IoT) aided smart grids. To the best of the authors' knowledge, this is the very first bibliometric survey paper in this specific field. A bibliometric analysis of all journal articles is performed and the findings are sorted by dates, authorship, and key concepts. Furthermore, this paper also summarizes the types of cyber threats facing the smart grid, the various security mechanisms proposed in literature, as well as the research gaps in the field of smart grid security.


title: Acousto-optic modulation in lithium niobate on sapphire

abstract: We demonstrate acousto-optic phase modulators in X-cut lithium niobate films on sapphire, detailing the dependence of the piezoelectric and optomechanical coupling coefficients on the crystal orientation. This new platform supports highly confined, strongly piezoelectric mechanical waves without suspensions, making it a promising candidate for broadband and efficient integrated acousto-optic devices, circuits, and systems.


title: Numerical Modeling and Experimental Demonstration of Pulsed Charge Control for the Space Inertial Sensor used in LISA

abstract: Electrostatic charge control of isolated free-falling test masses is a key enabling technology for space-based gravitational missions. Contact-free electrostatic charge control can be achieved using photoelectron emission from metal surfaces under illumination with deep UV light. A contact-free method minimizes force disturbances that can perturb measurements or interrupt science operations. In this paper we present charge control experiments using a gravitational reference sensor geometry relevant to the Laser Interferometer Space Antenna (LISA) gravitational wave observatory in a torsion pendulum apparatus. We use a UV LED light source to control the test mass potential, taking advantage of their high bandwidth to phase-lock the light output to 100kHz electric fields used for capacitive position sensing of the test mass. We demonstrate charge-rate and test mass potential control by adjustment of the phase of the light with respect to the electric field. We present a simple physics-based model of the discharging process which explains our experimental results in terms of the UV light distribution in the sensor, surface work functions and quantum yields. A robust fitting method is used to determine the best-fit physical parameters of the model that describe the system


title: Langevin Simulations of the Half-Filled Cubic Holstein Model

abstract: Over the past several years, reliable Quantum Monte Carlo results for the charge density wave transition temperature $T_{cdw}$ of the half-filled two dimensional Holstein model in square and honeycomb lattices have become available for the first time. Exploiting the further development of numerical methodology, here we present results in three dimensions, which are made possible through the use of Langevin evolution of the quantum phonon degrees of freedom. In addition to determining $T_{cdw}$ from the scaling of the charge correlations, we also examine the nature of charge order at general wave vectors for different temperatures, couplings, and phonon frequencies, and the behavior of the spectral function and specific heat.


title: Compressed-Sensing based Beam Detection in 5G NR Initial Access

abstract: To support millimeter wave (mmWave) frequency bands in cellular communications, both the base station and the mobile platform utilize large antenna arrays to steer narrow beams towards each other to compensate the path loss and improve communication performance. The time-frequency resource allocated for initial access, however, is limited, which gives rise to need for efficient approaches for beam detection. For hybrid analog-digital beamforming (HB) architectures, which are used to reduce power consumption, we propose a compressed sensing (CS) based approach for 5G initial access beam detection that is for a HB architecture and that is compliant with the 3GPP standard. The CS-based approach is compared with the exhaustive search in terms of beam detection accuracy and by simulation is shown to outperform. Up to 256 antennas are considered, and the importance of a careful codebook design is reaffirmed.


title: Discontinuous Galerkin methods for a dispersive wave hydro-morphodynamic model with bed-load transport

abstract: A dispersive wave hydro-morphodynamic model coupling the Green-Naghdi equations (the hydrodynamic part) with the sediment continuity Exner equation (the morphodynamic part) is presented. Numerical solution algorithms based on discontinuous Galerkin finite element discretizations of the model are proposed. The algorithms include both coupled and decoupled approaches for solving the hydrodynamic and morphodynamic parts simultaneously and separately from each other, respectively. The Strang operator splitting technique is employed to treat the dispersive terms separately, and it provides the ability to ignore the dispersive terms in specified regions, such as surf zones. Algorithms that can handle wetting-drying and detect wave breaking are presented. The numerical solution algorithms are validated with numerical experiments to demonstrate the ability of the algorithms to accurately resolve hydrodynamics of solitary and regular waves, and morphodynamic changes induced by such waves. The results indicate that the model has the potential to be used in studies of coastal morphodynamics driven by dispersive water waves, given that the hydrodynamic part resolves the water motion and dispersive wave effects with sufficient accuracy up to swash zones, and the morphodynamic model can capture the major features of bed erosion and deposition.


title: An Epidemic Model SIPHERD and its application for prediction of the spread of COVID-19 infection for India and USA

abstract: We propose an epidemic model SIPHERD in which three categories of infection carriers Symptomatic, Purely Asymptomatic, and Exposed are considered with different rates of transmission of infection that are taken dependent on the lockdown and social distancing. The rate of detection of the infected carriers is taken dependent on the tests done per day. The model is applied for the COVID outbreak in Germany and South Korea to validate its predictive capabilities and then applied to India and the United States for the prediction of its spread with different lockdown situations and testing in the coming months.


title: SAMP: Shape and Motion Priors for 4D Vehicle Reconstruction

abstract: Inferring the pose and shape of vehicles in 3D from a movable platform still remains a challenging task due to the projective sensing principle of cameras, difficult surface properties e.g. reflections or transparency, and illumination changes between images. In this paper, we propose to use 3D shape and motion priors to regularize the estimation of the trajectory and the shape of vehicles in sequences of stereo images. We represent shapes by 3D signed distance functions and embed them in a low-dimensional manifold. Our optimization method allows for imposing a common shape across all image observations along an object track. We employ a motion model to regularize the trajectory to plausible object motions. We evaluate our method on the KITTI dataset and show state-of-the-art results in terms of shape reconstruction and pose estimation accuracy.


title: Electrically-Tunable Stochasticity for Spin-based Neuromorphic Circuits: Self-Adjusting to Variation

abstract: Energy-efficient methods are addressed for leveraging low energy barrier nanomagnetic devices within neuromorphic architectures. Using a Magnetoresistive Random Access Memory (MRAM) probabilistic device (p-bit) as the basis of neuronal structures in Deep Belief Networks (DBNs), the impact of reducing the Magnetic Tunnel Junction's (MTJ's) energy barrier is assessed and optimized for the resulting stochasticity present in the learning system. This can mitigate the process variation sensitivity of stochastic DBNs which encounter a sharp drop-off when energy barriers exceed near-zero kT. As evaluated for the MNIST dataset for energy barriers at near-zero kT to 2.0 kT in increments of 0.5 kT, it is shown that the stability factor changes by 5 orders of magnitude. The self-compensating circuit developed herein provides a compact, and low complexity approach to mitigating process variation impacts towards practical implementation and fabrication.


title: The Bosonic-Fermionic Diagonal Coinvariant Modules Conjecture

abstract: We describe a general conjecture on how one may derive from the generic bosonic case all structural properties of multivariate diagonal coinvariant modules in $k$ sets of $n$ commuting variables (bosons), and $j$ sets of $n$ anticommuting variables (fermions).


title: Multi-Modality Generative Adversarial Networks with Tumor Consistency Loss for Brain MR Image Synthesis

abstract: Magnetic Resonance (MR) images of different modalities can provide complementary information for clinical diagnosis, but whole modalities are often costly to access. Most existing methods only focus on synthesizing missing images between two modalities, which limits their robustness and efficiency when multiple modalities are missing. To address this problem, we propose a multi-modality generative adversarial network (MGAN) to synthesize three high-quality MR modalities (FLAIR, T1 and T1ce) from one MR modality T2 simultaneously. The experimental results show that the quality of the synthesized images by our proposed methods is better than the one synthesized by the baseline model, pix2pix. Besides, for MR brain image synthesis, it is important to preserve the critical tumor information in the generated modalities, so we further introduce a multi-modality tumor consistency loss to MGAN, called TC-MGAN. We use the synthesized modalities by TC-MGAN to boost the tumor segmentation accuracy, and the results demonstrate its effectiveness.


title: Pattern-Based Analysis of Time Series: Estimation

abstract: While Internet of Things (IoT) devices and sensors create continuous streams of information, Big Data infrastructures are deemed to handle the influx of data in real-time. One type of such a continuous stream of information is time series data. Due to the richness of information in time series and inadequacy of summary statistics to encapsulate structures and patterns in such data, development of new approaches to learn time series is of interest. In this paper, we propose a novel method, called pattern tree, to learn patterns in the times-series using a binary-structured tree. While a pattern tree can be used for many purposes such as lossless compression, prediction and anomaly detection, in this paper we focus on its application in time series estimation and forecasting. In comparison to other methods, our proposed pattern tree method improves the mean squared error of estimation.


title: Frequency-doubled femtosecond Er-doped fiber laser for two-photon excited fluorescence imaging

abstract: A femtosecond frequency-doubled Erbium-doped fiber laser with adjustable pulse repetition rate is developed and applied in two-photon excited fluorescence microscopy. The all-fiber laser system provides the fundamental pulse at 1560 nm wavelength with 22 fs duration for the second harmonic generation, resulting in 1.35 nJ, 60 fs pulses at 780 nm. The repetition rate is adjusted by a pulse picker unit built-in within the amplifier chain, directly providing transform-limited pulses for any chosen repetition rate between 1 and 12 MHz. We employed the laser source to drive a scanning two-photon excited fluorescence microscope for ex vivo rat skin and other samples imaging at various pulse repetition rates. Due to compactness, ease of operation, and suitable pulse characteristics the laser source can be considered as an attractive alternative for Ti:sapphire laser in biomedical imaging.


title: Quantifying Attention Flow in Transformers

abstract: In the Transformer model, "self-attention" combines information from attended embeddings into the representation of the focal embedding in the next layer. Thus, across layers of the Transformer, information originating from different tokens gets increasingly mixed. This makes attention weights unreliable as explanations probes. In this paper, we consider the problem of quantifying this flow of information through self-attention. We propose two methods for approximating the attention to input tokens given attention weights, attention rollout and attention flow, as post hoc methods when we use attention weights as the relative relevance of the input tokens. We show that these methods give complementary views on the flow of information, and compared to raw attention, both yield higher correlations with importance scores of input tokens obtained using an ablation method and input gradients.


title: BAlN for III-nitride UV light emitting diodes: undoped electron blocking layer

abstract: The undoped BAlN electron-blocking layer (EBL) is investigated to replace the conventional AlGaN EBL in light-emitting diodes (LEDs). Numerical studies of the impact of variously doped EBLs on the output characteristics of LEDs demonstrate that the LED performance shows heavy dependence on the p-doping level in the case of the AlGaN EBL, while it shows less dependence on the p-doping level for the BAlN EBL. As a result, we propose an undoped BAlN EBL for LEDs to avoid the p-doping issues, which a major technical challenge in the AlGaN EBL. Without doping, the proposed BAlN EBL structure still possesses a superior capacity in blocking electrons and improving hole injection compared with the AlGaN EBL having high doping. This study provides a feasible route to addressing electron leakage and insufficient hole injection issues when designing UV LED structures.


title: Complete complementarity relations for multipartite pure states

abstract: Complementarity relations for wave-particle duality are saturated only for pure, single-quanton, quantum states. For a completely incoherent state, it is known that wave and particle quantifiers can reach zero, and hence no information about the wave and particle aspects of the system can be obtained. This means that the information is being shared with another systems, and quantum correlations can be seen as responsible for the loss of purity of the quanton, provided that the quanton is part of a multipartite pure quantum system. In this paper, by exploring the purity of bi- and tri-partite pure quantum states, we show that it is possible to obtain complete complementarity relations. This procedure allows us to create a general framework for obtaining complete complementarity relations for a subsystem that belongs to an arbitrary multi-partite quantum system in a pure state. Besides, by some simple examples, we show that if the predictability measure is changed then the correlation measure must also be changed in order to obtain complete complementarity relations for pure cases.


title: portes: An R Package for Portmanteau Tests in Time Series Models

abstract: In this article, we introduce the R package portes with extensive illustrative applications. The asymptotic distributions and the Monte Carlo procedures of the most popular univariate and multivariate portmanteau test statistics, including a new generalized variance statistic, for time series models using the powerful parallel computing framework facility, are implemented in this package. The proposed package has a general mechanism where the user can compute the test statistic for the diagnostic checking of any time series models. This package is also useful for simulating univariate and multivariate seasonal and nonseasonal ARIMA/VARIMA time series with finite and infinite variances, testing for stationarity and invertibility, and estimating parameters from stable distributions.


title: Improving Non-autoregressive Neural Machine Translation with Monolingual Data

abstract: Non-autoregressive (NAR) neural machine translation is usually done via knowledge distillation from an autoregressive (AR) model. Under this framework, we leverage large monolingual corpora to improve the NAR model's performance, with the goal of transferring the AR model's generalization ability while preventing overfitting. On top of a strong NAR baseline, our experimental results on the WMT14 En-De and WMT16 En-Ro news translation tasks confirm that monolingual data augmentation consistently improves the performance of the NAR model to approach the teacher AR model's performance, yields comparable or better results than the best non-iterative NAR methods in the literature and helps reduce overfitting in the training process.


title: On the geometry of physical measurements: topological and algebraic aspects

abstract: We study the mathematical structure of the notion of measurement space, which extends aspects of noncommutative topology that are based on quantale theory. This yields a geometric model of physical measurements that provides a realist picture, yet also operational, such that measurements and classical information arise interdependently as primitive concepts. A derived notion of classical observer caters for a mathematical formulation of Bohr's classical/quantum divide. Two important classes of measurement spaces are obtained, respectively from C*-algebras and from second-countable locally compact open sober topological groupoids. The latter yield measurements of classical type and relate to Schwinger's notion of selective measurement. We show that the measurement space associated to the reduced C*-algebra of any second-countable locally compact Hausdorff \'etale groupoid is canonically equipped with a classical observer, and we establish a correspondence between properties of the observer and properties of the groupoid.

categories: math-ph math.CT math.MP math.OA quant-ph


title: Inference for nonstationary time series of counts with application to change-point problems

abstract: We consider an integer-valued time series $Y=(Y_t)_{t\in\Z}$ where the models after a time $k^*$ is Poisson autoregressive with the conditional mean that depends on a parameter $\theta^*\in\Theta\subset\R^d$. The structure of the process before $k^*$ is unknown;? it could be any other integer-valued time series, that is, the process $Y$ could be nonstationary.? It is established that the maximum likelihood estimator of $\theta^*$ computed on the nonstationary observations is consistent and asymptotically normal. Next, we carry out the sequential change-point detection in a large class of Poisson autoregressive models. We propose a monitoring scheme for detecting change in the model. The procedure is based on an updated estimator which is computed without the historical observations. The asymptotic behavior of the detector is studied, in particular, the above result on the inference in a nonstationary setting are applied to prove that the proposed procedure is consistent. A simulation study as well as a real data application are provided.


title: Deep Reinforcement Learning for Intelligent Transportation Systems: A Survey

abstract: Latest technological improvements increased the quality of transportation. New data-driven approaches bring out a new research direction for all control-based systems, e.g., in transportation, robotics, IoT and power systems. Combining data-driven applications with transportation systems plays a key role in recent transportation applications. In this paper, the latest deep reinforcement learning (RL) based traffic control applications are surveyed. Specifically, traffic signal control (TSC) applications based on (deep) RL, which have been studied extensively in the literature, are discussed in detail. Different problem formulations, RL parameters, and simulation environments for TSC are discussed comprehensively. In the literature, there are also several autonomous driving applications studied with deep RL models. Our survey extensively summarizes existing works in this field by categorizing them with respect to application types, control models and studied algorithms. In the end, we discuss the challenges and open questions regarding deep RL-based transportation applications.

categories: cs.LG cs.MA cs.SY eess.SP eess.SY stat.ML


title: An Ensemble Deep Learning-based Cyber-Attack Detection in Industrial Control System

abstract: The integration of communication networks and the Internet of Things (IoT) in Industrial Control Systems (ICSs) increases their vulnerability towards cyber-attacks, causing devastating outcomes. Traditional Intrusion Detection Systems (IDSs), which are mainly developed to support Information Technology (IT) systems, count vastly on predefined models and are trained mostly on specific cyber-attacks. Besides, most IDSs do not consider the imbalanced nature of ICS datasets, thereby suffering from low accuracy and high false positive on real datasets. In this paper, we propose a deep representation learning model to construct new balanced representations of the imbalanced dataset. The new representations are fed into an ensemble deep learning attack detection model specifically designed for an ICS environment. The proposed attack detection model leverages Deep Neural Network (DNN) and Decision Tree (DT) classifiers to detect cyber-attacks from the new representations. The performance of the proposed model is evaluated based on 10-fold cross-validation on two real ICS datasets. The results show that the proposed method outperforms conventional classifiers, including Random Forest (RF), DNN, and AdaBoost, as well as recent existing models in the literature. The proposed approach is a generalized technique, which can be implemented in existing ICS infrastructures with minimum changes.


title: Simultaneous Visibility Representations of Undirected Pairs of Graphs

abstract: We consider the problem of determining if a pair of undirected graphs $\langle G_\mathsf{V}, G_\mathsf{H} \rangle$, which share the same vertex set, has a representation using opaque geometric shapes for vertices, and vertical/horizontal visibility between shapes to determine the edges of $G_\mathsf{V}$/$G_\mathsf{H}$. While such a simultaneous visibility representation of two graphs can be determined efficiently if the direction of the required visibility for each edge is provided (and the vertex shapes are sufficiently simple), it was unclear if edge direction is critical for efficiency. We show that the problem is $\mathsf{NP}$-complete without that information, even for graphs that are only slightly more complex than paths. In addition, we characterize which pairs of paths have simultaneous visibility representations using fixed orientation L-shapes. This narrows the range of possible graph families for which determining simultaneous visibility representation is non-trivial yet not $\mathsf{NP}$-hard.


title: Reconfigurable Intelligent Surfaces for Wireless Communications: Principles, Challenges, and Opportunities

abstract: Recently there has been a flurry of research on the use of reconfigurable intelligent surfaces (RIS) in wireless networks to create smart radio environments. In a smart radio environment, surfaces are capable of manipulating the propagation of incident electromagnetic waves in a programmable manner to actively alter the channel realization, which turns the wireless channel into a controllable system block that can be optimized to improve overall system performance. In this article, we provide a tutorial overview of reconfigurable intelligent surfaces (RIS) for wireless communications. We describe the working principles of reconfigurable intelligent surfaces (RIS) and elaborate on different candidate implementations using metasurfaces and reflectarrays. We discuss the channel models suitable for both implementations and examine the feasibility of obtaining accurate channel estimates. Furthermore, we discuss the aspects that differentiate RIS optimization from precoding for traditional MIMO arrays highlighting both the arising challenges and the potential opportunities associated with this emerging technology. Finally, we present numerical results to illustrate the power of an RIS in shaping the key properties of a MIMO channel.


title: Cavity electro-optics in thin-film lithium niobate for efficient microwave-to-optical transduction

abstract: Linking superconducting quantum devices to optical fibers via microwave-optical quantum transducers may enable large scale quantum networks. For this application, transducers based on the Pockels electro-optic (EO) effect are promising for their direct conversion mechanism, high bandwidth, and potential for low-noise operation. However, previously demonstrated EO transducers require large optical pump power to overcome weak EO coupling and reach high efficiency. Here, we create an EO transducer in thin-film lithium niobate, leveraging the low optical loss and strong EO coupling in this platform. We demonstrate a transduction efficiency of up to $2.7\times10^{-5}$, and a pump-power normalized efficiency of $1.9\times10^{-6}/\mathrm{\mu W}$. The transduction efficiency can be improved by further reducing the microwave resonator's piezoelectric coupling to acoustic modes, increasing the optical resonator quality factor to previously demonstrated levels, and changing the electrode geometry for enhanced EO coupling. We expect that with further development, EO transducers in thin-film lithium niobate can achieve near-unity efficiency with low optical pump power.


title: Differential dissipativity analysis of reaction-diffusion systems

abstract: This note shows how classical tools from linear control theory can be leveraged to provide a global analysis of nonlinear reaction-diffusion models. The approach is differential in nature. It proceeds from classical tools of contraction analysis and recent extensions to differential dissipativity.


title: Combinations of $L$-functions and Their Non-coincident Zeros for $\sigma>1$

abstract: The purpose of this note is to build upon work of Booker--Thorne and Righetti concerning zeros of algebraic combinations of $L$-functions. Namely, we show that two generic combinations of functions from a wide class of Euler products have non-coincident zeros in the half-plane $\sigma>1$.


title: Alignment-free Genomic Analysis via a Big Data Spark Platform

abstract: Motivation: Alignment-free distance and similarity functions (AF functions, for short) are a well established alternative to two and multiple sequence alignments for many genomic, metagenomic and epigenomic tasks. Due to data-intensive applications, the computation of AF functions is a Big Data problem, with the recent Literature indicating that the development of fast and scalable algorithms computing AF functions is a high-priority task. Somewhat surprisingly, despite the increasing popularity of Big Data technologies in Computational Biology, the development of a Big Data platform for those tasks has not been pursued, possibly due to its complexity. Results: We fill this important gap by introducing FADE, the first extensible, efficient and scalable Spark platform for Alignment-free genomic analysis. It supports natively eighteen of the best performing AF functions coming out of a recent hallmark benchmarking study. FADE development and potential impact comprises novel aspects of interest. Namely, (a) a considerable effort of distributed algorithms, the most tangible result being a much faster execution time of reference methods like MASH and FSWM; (b) a software design that makes FADE user-friendly and easily extendable by Spark non-specialists; (c) its ability to support data- and compute-intensive tasks. About this, we provide a novel and much needed analysis of how informative and robust AF functions are, in terms of the statistical significance of their output. Our findings naturally extend the ones of the highly regarded benchmarking study, since the functions that can really be used are reduced to a handful of the eighteen included in FADE.


title: Stable Calculation of Optical Properties of Large Non-Periodic Dissipative Multilayered Systems

abstract: The calculation of the transfer matrix for a large non-periodic multilayered system may become unstable in the presence of absorption. We discuss the origin of this instability and we explore two methods to overcome it: the use of a total matrix to solve for all the fields at all the interfaces simultaneously and an expansion in the Bloch-like modes of a periodic artificially repeated system. We apply both methods to obtain the reflectance spectra of multilayered chirped structures composed of nanostructured porous silicon (PS). Both methods yield reliable and numerically stable results. The former allows an analysis of the field within all layers while the latter is much more efficient computationally, allowing the design of novel structures and the optimization of their parameters. We compare numerical and experimental results across a wide spectral range from the infrared to the ultraviolet.


title: Understanding and Improving Information Transfer in Multi-Task Learning

abstract: We investigate multi-task learning approaches that use a shared feature representation for all tasks. To better understand the transfer of task information, we study an architecture with a shared module for all tasks and a separate output module for each task. We study the theory of this setting on linear and ReLU-activated models. Our key observation is that whether or not tasks' data are well-aligned can significantly affect the performance of multi-task learning. We show that misalignment between task data can cause negative transfer (or hurt performance) and provide sufficient conditions for positive transfer. Inspired by the theoretical insights, we show that aligning tasks' embedding layers leads to performance gains for multi-task training and transfer learning on the GLUE benchmark and sentiment analysis tasks; for example, we obtain a 2.35% GLUE score average improvement on 5 GLUE tasks over BERT-LARGE using our alignment method. We also design an SVD-based task reweighting scheme and show that it improves the robustness of multi-task training on a multi-label image dataset.


title: Tensor optimal transport, distance between sets of measures and tensor scaling

abstract: We study the optimal transport problem for $d>2$ discrete measures. This is a linear programming problem on $d$-tensors. It gives a way to compute a "distance" between two sets of discrete measures. We introduce an entropic regularization term, which gives rise to a scaling of tensors. We give a variation of the celebrated Sinkhorn scaling algorithm. We show that this algorithm can be viewed as a partial minimization algorithm of a strictly convex function. Under appropriate conditions the rate of convergence is geometric and we estimate the rate. Our results are generalizations of known results for the classical case of two discrete measures.