title: Potential Games Design Using Local Information

abstract: Consider a multiplayer game, and assume a system level objective function, which the system wants to optimize, is given. This paper aims at accomplishing this goal via potential game theory when players can only get part of other players' information. The technique is designing a set of local information based utility functions, which guarantee that the designed game is potential, with the system level objective function its potential function. First, the existence of local information based utility functions can be verified by checking whether the corresponding linear equations have a solution. Then an algorithm is proposed to calculate the local information based utility functions when the utility design equations have solutions. Finally, consensus problem of multiagent system is considered to demonstrate the effectiveness of the proposed design procedure.


title: Mileage-responsive Wind Power Smoothing

abstract: This paper proposes a novel wind power smoothing control paradigm in context of performance-based regulation service. Conventional methods aim at adjusting wind power output using hard-coded filtering algorithms that can result in visually smoothed power output with unmeasurable impacts on system generation-demand balance. Distinguished from conventional methods, the newly proposed control method smooths wind power output from a power system perspective by using the regulation mileage as a key performance indicator. To simultaneously address the system needs and maximize wind energy harvesting, a mileage-responsive framework is developed to enable wind farms to optimally generate smoothing power. The effectiveness of the proposed method is well demonstrated through case studies, of which the simulation results shows a great potential for practical applications.


title: Improving Safety of the Continual Reassessment Method via a Modified Allocation Rule

abstract: This paper proposes a novel criterion for the allocation of patients in Phase~I dose-escalation clinical trials aiming to find the maximum tolerated dose (MTD). Conventionally, using a model-based approach the next patient is allocated to the dose with the toxicity estimate closest (in terms of the absolute or squared distance) to the maximum acceptable toxicity. This approach, however, ignores the uncertainty in point estimates and ethical concerns of assigning a lot of patients to overly toxic doses. Motivated by recent discussions in the theory of estimation in restricted parameter spaces, we propose a criterion which accounts for both of these issues. The criterion requires a specification of one additional parameter only which has a simple and intuitive interpretation. We incorporate the proposed criterion into the one-parameter Bayesian continual reassessment method (CRM) and show, using simulations, that it results in the same proportion of correct selections on average as the original design, but in fewer mean number of toxic responses. A comparison to other model-based dose-escalation designs demonstrates that the proposed design can result in either the same mean accuracy as alternatives but fewer number of toxic responses, or in a higher mean accuracy but the same number of toxic responses. We conclude that the new criterion makes the existing model-based designs more ethical without losing efficiency in the context of Phase I clinical trials.


title: Determining the Optimal Random-padding Size for Rabin Cryptosystems

abstract: Rabin encryption and a secure ownership transfer protocol based on the difficulty of factorization of a public key use a small public exponent. Such encryption requires random number padding. The Coppersmith's shortpad attack works effectively on short padding, thereby allowing an adversary to extract the secret message. However, the criteria for determining the appropriate padding size remains unclear. In this paper, we derived the processing-time formula for the shortpad attack and determined the optimal random-padding size in order to achieve the desired security.


title: Defining the $p$-wave scattering volume in the presence of dipolar interactions

abstract: The definition of the scattering volume for $p$-wave collisions needs to be generalized in the presence of dipolar interactions for which the potential decreases with the interparticle separation as $1/R^3$. Here, we propose a generalized definition of the scattering volume characterizing the short-range interactions in odd-parity waves, obtained from an analysis of the $p$-wave component of the two-body threshold wave function. Our approach uses an asymptotic model and introduces explicitly the anisotropic dipole-dipole interaction, which governs the ultracold collision dynamics at long-range. The short-range interactions, which are essential to describe threshold resonances, are taken into account by a single parameter which is determined by the field-free $s$-wave scattering length.


title: Modelling mid-infrared molecular emission lines from T Tauri stars

abstract: We introduce a new modelling framework called FLiTs to simulate infrared line emission spectra from protoplanetary discs. This paper focuses on the mid-IR spectral region between 9.7 um to 40 um for T Tauri stars. The generated spectra contain several tens of thousands of molecular emission lines of H2O, OH, CO, CO2, HCN, C2H2, H2 and a few other molecules, as well as the forbidden atomic emission lines of SI, SII, SIII, SiII, FeII, NeII, NeIII, ArII and ArIII. In contrast to previously published works, we do not treat the abundances of the molecules nor the temperature in the disc as free parameters, but use the complex results of detailed 2D ProDiMo disc models concerning gas and dust temperature structure, and molecular concentrations. FLiTs computes the line emission spectra by ray tracing in an efficient, fast and reliable way. The results are broadly consistent with R=600 Spitzer/IRS observational data of T Tauri stars concerning line strengths, colour, and line ratios. In order to achieve that agreement, however, we need to assume either a high gas/dust mass ratio of order 1000, or the presence of illuminated disc walls at distances of a few au. The molecules in these walls cannot be photo-dissociated easily by UV because of the large densities in the walls which favour their re-formation. Most observable molecular emission lines are found to be optically thick, rendering a standard analysis with column densities difficult. We find that the difference between gas and dust temperatures in the disc surface is important for the line formation. We briefly discuss the effects of C/O ratio and choice of chemical rate network on these results. Our analysis offers new ways to infer the chemical and temperature structure of T Tauri discs from future JWST/MIRI observations, and to possibly detect secondary illuminated disc walls based on their specific mid-IR molecular signature.


title: Investigating the sterile neutrino parameters with QLC in 3 + 1 scenario

abstract: In the scenario with four generation quarks and leptons and using a 3 + 1 neutrino model having one sterile and the three standard active neutrinos with a $4 \times 4$ unitary transformation matrix, $U_{PMNS_{4}}$, we perform a model-based analysis using the latest global data and determine bounds on the sterile neutrino parameters i.e. the neutrino mixing angles. Motivated by our previous results, where, in a quark-lepton complementarity (QLC) model we predicted the values of $\theta_{13}^{PMNS}=(9_{-2}^{+1})^{\circ}$ and $\theta_{23}^{PMNS}=(40.60_{-0.3}^{+0.1})^{\circ}$. In the QLC model the non-trivial correlation between $CKM_4$ and $PMNS_4$ mixing matrix is given by the correlation matrix $V_{c_{4}}$. Monte Carlo simulations are performed to estimate the texture of $V_{c4}$ followed by the calculation of $PMNS_4$ using the equation, $U_{PMNS_{4}}= (U_{CKM_{4}} . \psi_{4})^{-1}.V_{c_{4}}$, where $\psi_{4}$ is a diagonal phase matrix. The sterile neutrino mixing angles, $\theta_{14}^{PMNS}$, $\theta_{24}^{PMNS}$ and $\theta_{34}^{PMNS}$ are assumed to be freely varying between $(0-\pi/4)$ and obtained results which are consistent with the data available from various experiments, like No$\nu$A, MINOS, SuperK, Ice Cube-DeepCore. In further investigation, we analytically obtain approximately similar ranges for various neutrino mixing parameters $\mid{ U_{\mu 4}}\mid ^2$ and $\mid{ U_{\tau 4}}\mid ^2$.


title: MIDV-500: A Dataset for Identity Documents Analysis and Recognition on Mobile Devices in Video Stream

abstract: A lot of research has been devoted to identity documents analysis and recognition on mobile devices. However, no publicly available datasets designed for this particular problem currently exist. There are a few datasets which are useful for associated subtasks but in order to facilitate a more comprehensive scientific and technical approach to identity document recognition more specialized datasets are required. In this paper we present a Mobile Identity Document Video dataset (MIDV-500) consisting of 500 video clips for 50 different identity document types with ground truth which allows to perform research in a wide scope of document analysis problems. The paper presents characteristics of the dataset and evaluation results for existing methods of face detection, text line recognition, and document fields data extraction. Since an important feature of identity documents is their sensitiveness as they contain personal data, all source document images used in MIDV-500 are either in public domain or distributed under public copyright licenses. The main goal of this paper is to present a dataset. However, in addition and as a baseline, we present evaluation results for existing methods for face detection, text line recognition, and document data extraction, using the presented dataset. (The dataset is available for download at ftp://smartengines.com/midv-500/.)


title: Controlling ultracold $p$-wave collisions with non-resonant light: Predictions of an asymptotic model for the generalized scattering volume

abstract: Interactions in a spin-polarized ultracold Fermi gas are governed by $p$-wave collisions and can be characterized by the $p$-wave scattering volume. Control of these collisions by Feshbach resonances is hampered by huge inelastic losses. Here, we suggest non-resonant light control of $p$-wave collisions, exploiting the anisotropic coupling of non-resonant light to the polarizability of the atoms. The $p$-wave scattering volume can be controlled by strong non-resonant light, in close analogy to the $s$-wave scattering length. For collision partners that are tightly trapped, the non-resonant light induces an energy shift directly related to the generalized scattering volume. This effect could be used to climb the ladder of the trap. We also show that controlling the generalized scattering volume implies control, at least roughly, over the orientation of the interparticle axis relative to the polarization direction of the light at short interatomic distances. Our proposal is based on an asymptotic model that explicitly accounts for the anisotropic dipole-dipole interaction which governs the ultracold collision dynamics at long-range.


title: Anomalous wave transport in one-dimensional systems with Levy disorder

abstract: We use random matrix theory to study the statistics of wave transport in one-dimensional random media with Levy disorder, in which waves perform Levy flights.


title: Reviewing, indicating, and counting books for modern research evaluation systems

abstract: In this chapter, we focus on the specialists who have helped to improve the conditions for book assessments in research evaluation exercises, with empirically based data and insights supporting their greater integration. Our review highlights the research carried out by four types of expert communities, referred to as the monitors, the subject classifiers, the indexers and the indicator constructionists. Many challenges lie ahead for scholars affiliated with these communities, particularly the latter three. By acknowledging their unique, yet interrelated roles, we show where the greatest potential is for both quantitative and qualitative indicator advancements in book-inclusive evaluation systems.


title: Kac-Rice fixed point analysis for single- and multi-layered complex systems

abstract: We present a null model for single- and multi-layered complex systems constructed using homogeneous and isotropic random Gaussian maps. By means of a Kac-Rice formalism, we show that the mean number of fixed points can be calculated as the expectation of the absolute value of the characteristic polynomial for a product of independent Gaussian (Ginibre) matrices. Furthermore, using techniques from Random Matrix Theory, we show that the high-dimensional limit of our system has a third-order phase transition between a phase with a single fixed point and a phase with exponentially many fixed points. This is result is universal in the sense that it does not depend on finer details of the correlations for the random maps.

categories: math-ph cond-mat.dis-nn cond-mat.stat-mech math.MP math.PR


title: Structure, dynamics and reconnection of vortices in a nonlocal model of superfluids

abstract: We study the reconnection of vortices in a quantum fluid with a roton minimum, by numerically solving the Gross-Pitaevskii (GP) equations. A non-local interaction potential is introduced to mimic the experimental dispersion relation of superfluid $^4\mathrm{He}$. We begin by choosing a functional shape of the interaction potential that allows to reproduce in an approximative way the so-called roton minimum observed in experiments, without leading to spurious local crystallization events. We then follow and track the phenomenon of reconnection starting from a set of two perpendicular vortices. A precise and quantitative study of various quantities characterizing the evolution of this phenomenon is proposed: this includes the evolution of statistics of several hydrodynamical quantities of interest, and the geometrical description of a observed helical wave packet that propagates along the vortex cores. Those geometrical properties are systematically compared to the predictions of the Local Induction Approximation (LIA), showing similarities and differences. The introduction of the roton minimum in the model does not change the macroscopic properties of the reconnection event but the microscopic structure of the vortices differs. Structures are generated at the roton scale and helical waves are evidenced along the vortices. However, contrary to what is expected in classical viscous or inviscid incompressible flows, the numerical simulations do not evidence the generation of structures at smaller or larger scales than the typical atomic size.


title: Existence of Peregrine Solitons in fractional reaction-diffusion equations

abstract: In this article, we will analyze the existence of Peregrine type solutions for the fractional diffusion reaction equation by applying Splitting-type methods. These functions that have two main characteristics, they are direct sum of functions of periodic type and functions that tend to zero at infinity. Global existence results are obtained for each particular characteristic, for then finally combining both results.


title: Choice of the Parameters in A Primal-Dual Algorithm for Bregman Iterated Variational Regularization

abstract: Focus of this work is solving a non-smooth constraint minimization problem by a primal-dual splitting algorithm involving proximity operators. The problem is penalized by the Bregman divergence associated with the non-smooth total variation (TV) functional. We analyse two aspects: Firstly, the convergence of the regularized solution of the minimization problem to the minimum norm solution. Second, the convergence of the iteratively regularized minimizer to the minimum norm solution by a primal-dual algorithm. For both aspects, we use the assumption of a variational source condition (VSC). This work emphasizes the impact of the choice of the parameters in stabilization of a primal-dual algorithm. Rates of convergence are obtained in terms of some concave, positive definite index function. The algorithm is applied to a simple two dimensional image processing problem. Sufficient error analysis profiles are provided based on the size of the forward operator and the noise level in the measurement.


title: Riordan Pseudo-Involutions, Continued Fractions and Somos $4$ Sequences

abstract: We define a three parameter family of Bell pseudo-involutions in the Riordan group. The defining sequences have generating functions that are expressible as continued fractions. We indicate that the Hankel transforms of the defining sequences, and of the $A$ sequences of the corresponding Riordan arrays, can be associated with Somos $4$ sequence. We give examples where these sequences can be associated with elliptic curves, and we exhibit instances where elliptic curves can give rise to associated Riordan pseudo-involutions. In the case of a particular one parameter family of elliptic curves, we show how we can associate to each such curve a unique Bell pseudo-involution.


title: A Photon-Photon Quantum Gate Based on Rydberg Interactions

abstract: The interaction between Rydberg states of neutral atoms is strong and long-range, making it appealing to put it to use in the context of quantum technologies. Recently, first applications of this idea have been reported in the fields of quantum computation and quantum simulation. Furthermore, electromagnetically induced transparency allows to map these Rydberg interactions to light. Here we exploit this mapping and the resulting interaction between photons to realize a photon-photon quantum gate, demonstrating the potential of Rydberg systems as a platform also for quantum communication and quantum networking. We measure a controlled-NOT truth table with a fidelity of 70(8)% and an entangling-gate fidelity of 63.7(4.5)%, both post-selected upon detection of a control and a target photon. The level of control reached here is an encouraging step towards exploring novel many-body states of photons or for future applications in quantum communication and quantum networking.


title: A Petrov-Galerkin multilayer discretization to second order elliptic boundary value problems

abstract: We study in this paper a multilayer discretization of second order elliptic problems, aimed at providing reliable multilayer discretizations of shallow fluid flow problems with diffusive effects. This discretization is based upon the formulation by transposition of the equations. It is a Petrov-Galerkin discretization in which the trial functions are piecewise constant per horizontal layers, while the trial functions are continuous piecewise linear, on a vertically shifted grid. We prove the well posedness and optimal error order estimates for this discretization in natural norms, based upon specific inf-sup conditions. We present some numerical tests with parallel computing of the solution based upon the multilayer structure of the discretization, for academic problems with smooth solutions, with results in full agreement with the theory developed.


title: The EcoLexicon English Corpus as an open corpus in Sketch Engine

abstract: The EcoLexicon English Corpus (EEC) is a 23.1-million-word corpus of contemporary environmental texts. It was compiled by the LexiCon research group for the development of EcoLexicon (Faber, Leon-Arauz & Reimerink 2016; San Martin et al. 2017), a terminological knowledge base on the environment. It is available as an open corpus in the well-known corpus query system Sketch Engine (Kilgarriff et al. 2014), which means that any user, even without a subscription, can freely access and query the corpus. In this paper, the EEC is introduced by de- scribing how it was built and compiled and how it can be queried and exploited, based both on the functionalities provided by Sketch Engine and on the parameters in which the texts in the EEC are classified.


title: Repeatability Corner Cases in Document Ranking: The Impact of Score Ties

abstract: Document ranking experiments should be repeatable. However, the interaction between multi-threaded indexing and score ties during retrieval may yield non-deterministic rankings, making repeatability not as trivial as one might imagine. In the context of the open-source Lucene search engine, score ties are broken by internal document ids, which are assigned at index time. Due to multi-threaded indexing, which makes experimentation with large modern document collections practical, internal document ids are not assigned consistently between different index instances of the same collection, and thus score ties are broken unpredictably. This short paper examines the effectiveness impact of such score ties, quantifying the variability that can be attributed to this phenomenon. The obvious solution to this non-determinism and to ensure repeatable document ranking is to break score ties using external collection document ids. This approach, however, comes with measurable efficiency costs due to the necessity of consulting external identifiers during query evaluation.


title: Spatial-Temporal Synergic Residual Learning for Video Person Re-Identification

abstract: We tackle the problem of person re-identification in video setting in this paper, which has been viewed as a crucial task in many applications. Meanwhile, it is very challenging since the task requires learning effective representations from video sequences with heterogeneous spatial-temporal information. We present a novel method - Spatial-Temporal Synergic Residual Network (STSRN) for this problem. STSRN contains a spatial residual extractor, a temporal residual processor and a spatial-temporal smooth module. The smoother can alleviate sample noises along the spatial-temporal dimensions thus enable STSRN extracts more robust spatial-temporal features of consecutive frames. Extensive experiments are conducted on several challenging datasets including iLIDS-VID, PRID2011 and MARS. The results demonstrate that the proposed method achieves consistently superior performance over most of state-of-the-art methods.


title: Deep Generative Model using Unregularized Score for Anomaly Detection with Heterogeneous Complexity

abstract: Accurate and automated detection of anomalous samples in a natural image dataset can be accomplished with a probabilistic model for end-to-end modeling of images. Such images have heterogeneous complexity, however, and a probabilistic model overlooks simply shaped objects with small anomalies. This is because the probabilistic model assigns undesirably lower likelihoods to complexly shaped objects that are nevertheless consistent with set standards. To overcome this difficulty, we propose an unregularized score for deep generative models (DGMs), which are generative models leveraging deep neural networks. We found that the regularization terms of the DGMs considerably influence the anomaly score depending on the complexity of the samples. By removing these terms, we obtain an unregularized score, which we evaluated on a toy dataset and real-world manufacturing datasets. Empirical results demonstrate that the unregularized score is robust to the inherent complexity of samples and can be used to better detect anomalies.


title: Weak dependence and GMM estimation of supOU and mixed moving average processes

abstract: We consider a mixed moving average (MMA) process X driven by a L\'evy basis and prove that it is weakly dependent with rates computable in terms of the moving average kernel and the characteristic quadruple of the L\'evy basis. Using this property, we show conditions ensuring that sample mean and autocovariances of X have a limiting normal distribution. We extend these results to stochastic volatility models and then investigate a Generalized Method of Moments estimator for the supOU process and the supOU stochastic volatility model after choosing a suitable distribution for the mean reversion parameter. For these estimators, we analyze the asymptotic behavior in detail.


title: Infrared variability of radio-loud narrow-line Seyfert 1 galaxies

abstract: Most of the radio-loud narrow-line Seyfert 1 (NLS1) galaxies resemble compact steep-spectrum sources. However, the extremely radio-loud ones show blazar-like characteristics, like flat radio spectra, compact radio cores, substantial variability and high brightness temperatures. These objects are thought to be similar to blazars as they possess relativistic jets seen at small angle to the line of sight. This claim has been further supported by the Fermi satellite discovery of gamma-ray emission from a handful of these sources. Using the Wide-Field Infrared Survey Explorer (WISE) data, we analyzed the mid-infrared variability characteristics of $42$ radio-loud NLS1 at $3.4$ and $4.6\,\mu$m. We found that $27$ out of the studied $42$ sources showed variability in at least one of the two infrared bands. In some cases, significant changes in the infrared colors can alter the location of the source in the WISE color-color diagram which might lead to different classification. More than $60$% of the variable sources also showed variability within a $1-1.5$ day interval. Such short time scales argue for a compact emission region like those associated with the jets. This connection is further strengthened by the fact that the brightest $\gamma$-ray emitters of the sample ($6$ sources), all showed short time scale infrared variability.


title: Faster Algorithms for All-Pairs Bounded Min-Cuts

abstract: The All-Pairs Min-Cut problem (aka All-Pairs Max-Flow) asks to compute a minimum $s$-$t$ cut (or just its value) for all pairs of vertices $s,t$. We study this problem in directed graphs with unit edge/vertex capacities (corresponding to edge/vertex connectivity). Our focus is on the $k$-bounded case, where the algorithm has to find all pairs with min-cut value less than $k$, and report only those. The most basic case $k=1$ is the Transitive Closure (TC) problem, which can be solved in graphs with $n$ vertices and $m$ edges in time $O(mn)$ combinatorially, and in time $O(n^{\omega})$ where $\omega<2.38$ is the matrix-multiplication exponent. These time bounds are conjectured to be optimal. We present new algorithms and conditional lower bounds that advance the frontier for larger $k$, as follows: (i) A randomized algorithm for vertex capacities that runs in time $O((nk)^{\omega})$. (ii) Two deterministic algorithms for edge capacities (which is more general) that work in DAGs and further reports a minimum cut for each pair. The first algorithm is combinatorial (does not involve matrix multiplication) and runs in time $O(2^{O(k^2)}\cdot mn)$. The second algorithm can be faster on dense DAGs and runs in time $O((k\log n)^{4^k+o(k)} n^{\omega})$. (iii) The first super-cubic lower bound of $n^{\omega-1-o(1)} k^2$ time under the $4$-Clique conjecture, which holds even in the simplest case of DAGs with unit vertex capacities. It improves on the previous (SETH-based) lower bounds even in the unbounded setting $k=n$. For combinatorial algorithms, our reduction implies an $n^{2-o(1)} k^2$ conditional lower bound. Thus, we identify new settings where the complexity of the problem is (conditionally) higher than that of TC.


title: Sup-norm and nodal domains of dihedral Maass forms

abstract: In this paper, we improve the sup-norm bound and the lower bound of the number of nodal domains for dihedral Maass forms, which are a distinguished sequence of Laplacian eigenfunctions on an arithmetic hyperbolic surface. More specifically, let $\phi$ be a dihedral Maass form with spectral parameter $t_\phi$, then we prove that $\|\phi\|_\infty \ll t_\phi^{3/8+\varepsilon} \|\phi\|_2$, which is an improvement over the bound $t_\phi^{5/12+\varepsilon} \|\phi\|_2$ given by Iwaniec and Sarnak. As a consequence, we get a better lower bound for the number of nodal domains intersecting a fixed geodesic segment under the Lindel\"{o}f Hypothesis. Unconditionally, we prove that the number of nodal domains grows faster than $t_\phi^{1/8-\varepsilon}$ for any $\varepsilon>0$ for almost all dihedral Maass forms.


title: BitSurfing: Wireless Communications with Outsourced Symbol Generation

abstract: Nano-IoT enables a wide range of ground-breaking technologies, but face implementation challenges due to the extremity of the scale. Space restrictions pose severe power supply considerations, to the point where just a few packet transmissions are sufficient to deplete state-of-the-art supplies. In turn, this translates to difficulties in developing efficient protocols even for basic operations, such as addressing and routing. The present work proposes a new network adapter architecture that can address these challenges. The BitSurfing adapter does not generate packets and, hence, abolishes the need for the corresponding transmission circuitry and power consumption. Instead, it relies on an external symbol generator. The BitSurfing adapter reads incoming symbols, waiting for intended messages to appear in the symbol stream. A short (1-bit), low-energy pulse is then emitted to notify neighboring nodes. BitSurfing adapters are shown to exhibit perpetual (and even battery-less) operation, ability to operate without medium access control, while being completely transparent to applications. Moreover, their operation is event-driven, allowing for clock-less implementations. The new adapters are evaluated in a simulated multi-hop nano-IoT network and are shown to offer nearly-perfect packet delivery rates and practically no collisions, under any congestion level.


title: Adapting the Predator-Prey Game Theoretic Environment to Army Tactical Edge Scenarios with Computational Multiagent Systems

abstract: The historical origins of the game theoretic predator-prey pursuit problem can be traced back to Benda, et al., 1985 [1]. Their work adapted the predator-prey ecology problem into a pursuit environment which focused on the dynamics of cooperative behavior between predator agents. Modifications to the predator-prey ecology problem [2] have been implemented to understand how variations to predator [3] and prey [3-5] attributes, including communication [6], can modify dynamic interactions between entities that emerge within that environment [7-9]. Furthermore, the predator-prey pursuit environment has become a testbed for simulation experiments with computational multiagent systems [10-12]. This article extends the theoretical contributions of previous work by providing 1) additional variations to predator and prey attributes for simulated multiagent systems in the pursuit problem, and 2) military-relevant predator-prey environments simulating highly dynamic, tactical edge scenarios that Soldiers might encounter on future battlefields. Through this exploration of simulated tactical edge scenarios with computational multiagent systems, Soldiers will have a greater chance to achieve overmatch on the battlefields of tomorrow.


title: Tikhonov regularization in Hilbert scales under conditional stability assumptions

abstract: Conditional stability estimates allow us to characterize the degree of ill-posedness of many inverse problems, but without further assumptions they are not sufficient for the stable solution in the presence of data perturbations. We here consider the stable solution of nonlinear inverse problems satisfying a conditional stability estimate by Tikhonov regularization in Hilbert scales. Order optimal convergence rates are established for a-priori and a-posteriori parameter choice strategies. The role of a hidden source condition is investigated and the relation to previous results for regularization in Hilbert scales is elaborated. The applicability of the results is discussed for some model problems, and the theoretical results are illustrated by numerical tests.


title: Pluricomplex Green's functions and Fano manifolds

abstract: We show that if a Fano manifold does not admit Kahler-Einstein metrics then the Kahler potentials along the continuity method subconverge to a function with analytic singularities along a subvariety which solves the homogeneous complex Monge-Ampere equation on its complement, confirming an expectation of Tian-Yau.


title: The effect of magnetism and temperature on the stability of Cr, V, Al carbide MAX phases

abstract: The stability of Cr, V, Al carbide MAX phases, materials of interest for a variety of magnetic as well as high temperature applications, has been studied using density-functional-theory first-principles calculations. The enthalpy of mixing predicts these alloys to be unstable towards unmixing at 0 K. The calculations also predict, however, that these phases would be thermally stabilised by configurational entropy at temperatures well below the values used for synthesis. The temperature Ts below which they become unstable is found to be quite sensitive to the presence of magnetic moments on Cr ions, as well as to the material's magnetic order, in addition to chemical order and composition. Allowing for magnetism, the value of Ts for helf V and half Cr with chemically disordered Cr and V atoms, is estimated to be between 516 K and 645 K depending on the level of theory, while, if constrained to spin-paired, Ts drops to 142 K. Antiferromagnetic spin arrangements are found to be favoured at low temperatures, but they are most likely lost at synthesis temperatures, and probably at room temperature as well. However, the combination of antiferromagnetic frustration and configurational disorder should give rise to interesting spin textures at low temperatures.


title: Union Averaged Operators with Applications to Proximal Algorithms for Min-Convex Functions

abstract: In this paper we introduce and study a class of structured set-valued operators which we call union averaged nonexpansive. At each point in their domain, the value of such an operator can be expressed as a finite union of single-valued averaged nonexpansive operators. We investigate various structural properties of the class and show, in particular, that is closed under taking unions, convex combinations, and compositions, and that their fixed point iterations are locally convergent around strong fixed points. We then systematically apply our results to analyze proximal algorithms in situations where union averaged nonexpansive operators naturally arise. In particular, we consider the problem of minimizing the sum two functions where the first is convex and the second can be expressed as the minimum of finitely many convex functions.


title: Strictly hyperbolic Cauchy problems with coefficients low-regular in time and space

abstract: We consider the strictly hyperbolic Cauchy problem \begin{align*} &D_t^m u - \sum\limits_{j = 0}^{m-1} \sum\limits_{|\gamma|+j = m} a_{m-j,\,\gamma}(t,\,x) D_x^\gamma D_t^j u = 0, \newline &D_t^{k-1}u(0,\,x) = g_k(x),\,k = 1,\,\ldots,\,m, \end{align*} for $(t,\,x) \in [0,\,T]\times \mathbb{R}^n$ with coefficients belonging to the Zygmund class $C^s_\ast$ in $x$ and having a modulus of continuity below Lipschitz in $t$. Imposing additional conditions to control oscillations, we obtain a global (on $[0,\,T]$) $L^2$ energy estimate without loss of derivatives for $s \geq \{1+\varepsilon,\,\frac{2m_0}{2-m_0}\}$, where $m_0$ is linked to the modulus of continuity of the coefficients in time.


title: Automatic acoustic detection of birds through deep learning: the first Bird Audio Detection challenge

abstract: Assessing the presence and abundance of birds is important for monitoring specific species as well as overall ecosystem health. Many birds are most readily detected by their sounds, and thus passive acoustic monitoring is highly appropriate. Yet acoustic monitoring is often held back by practical limitations such as the need for manual configuration, reliance on example sound libraries, low accuracy, low robustness, and limited ability to generalise to novel acoustic conditions. Here we report outcomes from a collaborative data challenge showing that with modern machine learning including deep learning, general-purpose acoustic bird detection can achieve very high retrieval rates in remote monitoring data --- with no manual recalibration, and no pre-training of the detector for the target species or the acoustic conditions in the target environment. Multiple methods were able to attain performance of around 88% AUC (area under the ROC curve), much higher performance than previous general-purpose methods. We present new acoustic monitoring datasets, summarise the machine learning techniques proposed by challenge teams, conduct detailed performance evaluation, and discuss how such approaches to detection can be integrated into remote monitoring projects.


title: Subjective and objective experiments on the influence of speaker's gender on the unvoiced segments

abstract: Subjective and objective experiments are conducted to understand the extent to which a speaker's gender influences the acoustics of unvoiced (U) sounds. U segments of utterances are replaced by the corresponding segments of a speaker of opposite gender to prepare modified utterances. Humans are asked to judge if the modified utterance is spoken by one or two speakers. The experiments show that human subjects are unable to distinguish the modified from the original. Thus, listeners are able to identify the U segments irrespective of the gender, which may be based on some speaker-independent invariant acoustic cues. To test if this finding is purely a perceptual phenomenon, objective experiments are also conducted. Gender specific HMM based phoneme recognition systems are trained using the TIMIT training set and tested on (a) utterances spoken by the same gender (b) utterances spoken by the opposite gender and (c) the modified utterances of the test set. As expected, the performance is the highest for case (a) and the lowest for case (b). The performance degrades only slightly for case (c). This result shows that the speaker's gender does not as strongly influence the acoustics of U sounds as they do the voiced sounds.


title: Robust parity-mixed superconductivity in disordered monolayer transition metal dichalcogenides

abstract: Monolayer NbSe$_2$ is a nodal topological Ising superconductor at magnetic in-plane fields exceeding the Pauli limit, with nodal points strictly on high symmetry lines in the Brillouin zone. Here, we use a combined numerical and group-theoretical approach in real-space to characterize the unconventional superconducting state in monolayer transition metal dichalcogenides. Even with a conventional pairing interaction, the superconducting state is intrinsically parity-mixed and robust against on-site disorder. The interplay between the Zeeman magnetic field, strong spin-orbit interaction, and electronic orbital content confer the unique superconducting and topological properties. The discussion also extends to strongly hole-doped MoS$_2$ and its relatives.


title: Astrophysical S-factor for the deep sub-barrier fusion reactions of light nuclei

abstract: The cross sections for the deep sub-barrier fusion reaction of light nuclei are calculated within the theoretical framework of the selective resonant tunneling model. In this model, assumption of a complex square-well nuclear potential is invoked to describe the absorption inside the nuclear well. The theoretical estimates for these cross sections agree well with the experimentally measured values. The features of the astrophysical S-factor are derived in terms of this model. Present formalism appears to be particularly useful for the low energy resonant reactions between two charged nuclei.


title: Landau level quantization of Dirac electrons on the sphere

abstract: Interactions in Landau levels can stabilize new phases of matter, such as fractionally quantized Hall states. Numerical studies of these systems mostly require compact manifolds like the sphere or a torus. For massive dispersions, a formalism for the lowest Landau level on the sphere was introduced by Haldane [F.D.M. Haldane, PRL 51, 605 (1983)]. Graphene and surfaces of 3D topological insulators, however, display massless (Dirac) dispersions, and hence require a different description. We generalize a formalism previously developed for Dirac electrons on the sphere in zero field to include the effect of an external, uniform magnetic field.


title: Envelopes with Prescribed Singularities

abstract: We prove that quasi-plurisubharmonic envelopes with prescribed analytic singularities in suitable big cohomology classes on compact K\"ahler manifolds have the optimal $C^{1,1}$ regularity on a Zariski open set. This also proves regularity of certain pluricomplex Green's functions on K\"ahler manifolds. We then go on to prove the same regularity for envelopes when the manifold is assumed to have boundary. As an application, we answer affirmatively a question of Ross--Witt-Nystr\"om concerning the Hele-Shaw flow on an arbitrary Reimann surface.


title: Full Coupled-Cluster Reduction for Accurate Description of Strong Electron Correlation

abstract: A full coupled-cluster expansion suitable for sparse algebraic operations is developed by expanding the commutators of the Baker-Campbell-Hausdorff series explicitly for cluster operators in binary representations. A full coupled-cluster reduction that is capable of providing very accurate solutions of the many-body Schr\"odinger equation is then initiated employing screenings to the projection manifold and commutator operations. The projection manifold is iteratively updated through the single commutators $\left\langle \kappa \right| [\hat H,\hat T]\left| 0 \right\rangle$ comprised of the primary clusters $\hat T_{\lambda}$ with substantial contribution to the connectivity. The operation of the commutators is further reduced by introducing a correction, taking into account the so-called exclusion principle violating terms, that provides fast and near-variational convergence in many cases.


title: Bayes factor testing of equality and order constraints on measures of association in social research

abstract: Measures of association play a central role in the social sciences to quantify the strength of a linear relationship between the variables of interest. In many applications researchers can translate scientific expectations to hypotheses with equality and/or order constraints on these measures of association. In this paper a Bayes factor test is proposed for testing multiple hypotheses with constraints on the measures of association between ordinal and/or continuous variables, possibly after correcting for certain covariates. This test can be used to obtain a direct answer to the research question how much evidence there is in the data for a social science theory relative to competing theories. The accompanying software package `BCT' allows users to apply the methodology in an easy manner. An empirical application from leisure studies about the associations between life, leisure and relationship satisfaction and an application about the differences about egalitarian justice beliefs across countries are used to illustrate the methodology.


title: Enumerative Galois theory for cubics and quartics

abstract: We show that there are $O_\varepsilon(H^{1.5+\varepsilon})$ monic, cubic polynomials with integer coefficients bounded by $H$ in absolute value whose Galois group is $A_3$. We also show that the order of magnitude for $D_4$ quartics is $H^2 (\log H)^2$, and that the respective counts for $A_4$, $V_4$, $C_4$ are $O(H^{2.91})$, $O(H^2 \log H)$, $O(H^2 \log H)$. Our work establishes that irreducible non-$S_3$ cubic polynomials are less numerous than reducible ones, and similarly in the quartic setting: these are the first two solved cases of a 1936 conjecture made by van der Waerden.


title: Example of a finite game with no Berge equilibria at all

abstract: The problem of the existence of Berge equilibria in the sense of Zhukovskii in normal form finite games in pure and in mixed strategies is studied. The example of a three-player game that has Berge equilibrium neither in pure nor in mixed strategies is given.


title: KMS states on Nica-Toeplitz C*-algebras

abstract: Given a quasi-lattice ordered group $(G,P)$ and a compactly aligned product system $X$ of essential C$^*$-correspondences over the monoid $P$, we show that there is a bijection between the gauge-invariant KMS$_\beta$-states on the Nica-Toeplitz algebra $\mathcal{NT}(X)$ of $X$ with respect to a gauge-type dynamics, on one side, and the tracial states on the coefficient algebra $A$ satisfying a system (in general infinite) of inequalities, on the other. This strengthens and generalizes a number of results in the literature in several directions: we do not make any extra assumptions on $P$ and $X$, and our result can, in principle, be used to study KMS-states at any finite inverse temperature $\beta$. Under fairly general additional assumptions we show that there is a critical inverse temperature $\beta_c$ such that for $\beta>\beta_c$ all KMS$_\beta$-states are of Gibbs type, hence gauge-invariant, in which case we have a complete classification of KMS$_\beta$-states in terms of tracial states on $A$, while at $\beta=\beta_c$ we have a phase transition manifesting itself in the appearance of KMS$_\beta$-states that are not of Gibbs type. In the case of right-angled Artin monoids we show also that our system of inequalities for traces on $A$ can be reduced to a much smaller system, a finite one when the monoid is finitely generated. Most of our results generalize to arbitrary quasi-free dynamics on $\mathcal{NT}(X)$.


title: CD16: a MATLAB-based application for estimating radiation doses from x-ray guided cardiac catheterizations in children

abstract: CD16 is a MATLAB-based dosimetry system designed for rapid estimation of organ doses for x-ray guided cardiac catheterization procedures. CD16 is principally designed for epidemiological studies in which dose estimates are required for thousands of cohort members, often based on limited exposure information. The minimum data required for dose estimates are (1) total examination kerma area product (PKA), (2) patient size (age or mass), (3) x-ray spectrum represented by half value layer (HVL, in mm Al) and (4) examination type. These data can be inputted using an Excel spreadsheet. Organ dose estimates are outputted into the same spreadsheet. Doses are estimated using lookup tables of k-factors relating PKA to organ doses for a wide range of beam angles, six patient sizes and two field sizes. These K-factors were calculated using the Monte Carlo code PCXMC V2.0. CD16 initially calculates organ doses for a beam energy represented by a HVL of 4.8 mm Al, then adjusts to other beam energies if specified. Beam angles can be specified if known, otherwise CD16 assigns beam angles based on examination type. CD16 is the final version of this dosimetry system to utilise PCXMC. Future versions will use the general purpose Monte Carlo code MCNP and hybrid phantoms.


title: A Hilbert space approach to difference equations

abstract: We consider general difference equations $u_{n+1} = F(u)_n$ for $n \in \mathbb{Z}$ on exponentially weighted $\ell_2$ spaces of two-sided Hilbert space valued sequences $u$ and discuss initial value problems. As an application of the Hilbert space approach, we characterize exponential stability of linear equations and prove a stable manifold theorem for causal nonlinear difference equations.


title: Revisiting the connection between magnetic activity, rotation period, and convective turnover time for main-sequence stars

abstract: The connection between stellar rotation, stellar activity, and convective turnover time is revisited with a focus on the sole contribution of magnetic activity to the Ca II H&K emission, the so-called excess flux, and its dimensionless indicator R$^{+}_{\rm{HK}}$ in relation to other stellar parameters and activity indicators. Our study is based on a sample of 169 main-sequence stars with directly measured Mount Wilson S-indices and rotation periods. The R$^{+}_{\rm{HK}}$ values are derived from the respective S-indices and related to the rotation periods in various $B-V$-colour intervals. First, we show that stars with vanishing magnetic activity, i.e. stars whose excess flux index R$^{+}_{\rm{HK}}$ approaches zero, have a well-defined, colour-dependent rotation period distribution; we also show that this rotation period distribution applies to large samples of cool stars for which rotation periods have recently become available. Second, we use empirical arguments to equate this rotation period distribution with the global convective turnover time, which is an approach that allows us to obtain clear relations between the magnetic activity related excess flux index R$^{+}_{\rm{HK}}$, rotation periods, and Rossby numbers. Third, we show that the activity versus Rossby number relations are very similar in the different activity indicators. As a consequence of our study, we emphasize that our Rossby number based on the global convective turnover time approaches but does not exceed unity even for entirely inactive stars. Furthermore, the rotation-activity relations might be universal for different activity indicators once the proper scalings are used.


title: Multi-agents features on Android platforms

abstract: The current paper shows the multi-agents capabilities to make a valid and flexible application when using a framework. Agent-based functions were used within JADE framework to make an Android messenger application with all requirements included. In the paper are described the architecture, the main functions and the databases integration of the user friendly agent-based application. There are included existing and possible multi-agents characteristics to provide integration with mobile platforms and storage challenges to improve the user experience through data mining.


title: Remember and Forget for Experience Replay

abstract: Experience replay (ER) is a fundamental component of off-policy deep reinforcement learning (RL). ER recalls experiences from past iterations to compute gradient estimates for the current policy, increasing data-efficiency. However, the accuracy of such updates may deteriorate when the policy diverges from past behaviors and can undermine the performance of ER. Many algorithms mitigate this issue by tuning hyper-parameters to slow down policy changes. An alternative is to actively enforce the similarity between policy and the experiences in the replay memory. We introduce Remember and Forget Experience Replay (ReF-ER), a novel method that can enhance RL algorithms with parameterized policies. ReF-ER (1) skips gradients computed from experiences that are too unlikely with the current policy and (2) regulates policy changes within a trust region of the replayed behaviors. We couple ReF-ER with Q-learning, deterministic policy gradient and off-policy gradient methods. We find that ReF-ER consistently improves the performance of continuous-action, off-policy RL on fully observable benchmarks and partially observable flow control problems.


title: Dielectric slab reflection/transmission as a self-consistent radiation phenomenon

abstract: We revisit the electromagnetic problem of wave incidence upon a uniform, dissipative dielectric slab of finite thickness. While this problem is easily solved via interface field continuity, we treat it under the viewpoint of radiative self-consistency, with interior current sources gauged by ohmic/polarization comparisons against those of the exterior medium. Radiative self-consistency yields an integral equation over the slab field giving a fully constructive buildup of the reflected/transmitted contributions, without any need for implicit determination via boundary conditions. Solution steps lead to an exact cancellation of the interior field, and bring in still other contributions of a reference medium variety, required to balance the incoming excitation. Such balancing provides the linear conditions for slab field determination. This two-step solution provides evidence of Ewald-Oseen extinction, even though the analytic framework here differs from the proofs available. We solve the balancing equations by vector manipulation without determinants, and then offer a boundary value confirmation in the special case of perpendicular incidence. In an appendix, we allow the the upper/lower half spaces to differ, the upper serving as reference and remote launch site of the incoming excitation. Effective currents now exist both within the slab and throughout an entire half space, necessitating a provision for cross-talk between slab and the radiating half space. The appendix provides an accelerated presentation of these generalized features, but stops short of an explicit field solution by reason of algebraic inflation. All logical details are however displayed in plain view. The self-consistency program is far more elegant and physically far more satisfying than the prevailing method of scattered fields guessed as to their structure and then fixed by boundary conditions.


title: A Remark on Fourier Transform

abstract: In this note, we describe an interpretation of the (continuous) Fourier transform from the perspective of the Chinese Remainder Theorem. Some related issues, including a new derivation of Poisson summation formula, are discussed.


title: Exergy in meteorology: Definition and properties of moist-air available enthalpy

abstract: The exergy of the dry atmosphere can be considered as another aspect of the meteorological theories of available energies. The local and global properties of the dry available enthalpy function, also called flow exergy, were investigated in a previous paper (Marquet, Q. J. R. Meteorol. Soc., Vol 117, p.449-475, 1991). The concept of exergy is well defined in thermodynamics, and several generalizations to chemically reacting systems have already been made. Similarly, the concept of moist available enthalpy is presented in this paper in order to generalize the dry available enthalpy to the case of a moist atmosphere. It is a local exergy-like function which possesses a simple analytical expression where only two unknown constants are to be determined, a reference temperature and a reference pressure. The moist available enthalpy, $a_m$, is defined in terms of a moist potential change in total entropy. The local function $a_m$ can be separated into temperature, pressure and latent components. The latent component is a new component that is not present in the dry case. The moist terms have been estimated using a representative cumulus vertical profile. It appears that the modifications brought by the moist formulation are important in comparison with the dry case. Other local and global properties are also investigated and comparisons are made with some other available energy functions used in thermodynamics and meteorology.


title: Subgradients of Marginal Functions in Parametric Control Problems of Partial Differential Equations

abstract: The paper studies generalized differentiability properties of the marginal function of parametric optimal control problems of semilinear elliptic partial differential equations. We establish upper estimates for the regular and the limiting subgradients of the marginal function. With some additional assumptions, we show that the solution map of the perturbed optimal control problems has local upper H\"{o}lderian selections. This leads to a lower estimate for the regular subdifferential of the marginal function.


title: Manifold Adversarial Learning

abstract: Recently proposed adversarial training methods show the robustness to both adversarial and original examples and achieve state-of-the-art results in supervised and semi-supervised learning. All the existing adversarial training methods consider only how the worst perturbed examples (i.e., adversarial examples) could affect the model output. Despite their success, we argue that such setting may be in lack of generalization, since the output space (or label space) is apparently less informative.In this paper, we propose a novel method, called Manifold Adversarial Training (MAT). MAT manages to build an adversarial framework based on how the worst perturbation could affect the distributional manifold rather than the output space. Particularly, a latent data space with the Gaussian Mixture Model (GMM) will be first derived.On one hand, MAT tries to perturb the input samples in the way that would rough the distributional manifold the worst. On the other hand, the deep learning model is trained trying to promote in the latent space the manifold smoothness, measured by the variation of Gaussian mixtures (given the local perturbation around the data point). Importantly, since the latent space is more informative than the output space, the proposed MAT can learn better a robust and compact data representation, leading to further performance improvement. The proposed MAT is important in that it can be considered as a superset of one recently-proposed discriminative feature learning approach called center loss. We conducted a series of experiments in both supervised and semi-supervised learning on three benchmark data sets, showing that the proposed MAT can achieve remarkable performance, much better than those of the state-of-the-art adversarial approaches. We also present a series of visualization which could generate further understanding or explanation on adversarial examples.


title: Heyting Algebra and G\"odel Algebra vs. various Topological Systems and Esakia Space: a Category Theoretic Study

abstract: In this paper intuitionistic topological system and its properties have been introduced. Categorical interrelationships among Heyting algebra, G\"odel algebra, Esakia space and proposed intuitionistic topological systems have also been studied in details.


title: A Statistical Approach to Inferring Business Locations Based on Purchase Behavior

abstract: Transaction data obtained by Personal Financial Management (PFM) services from financial institutes such as banks and credit card companies contain a description string from which the merchant, and an encoded store identifier may be parsed. However, the physical location of the purchase is absent from this description. In this paper we present a method designed to recover this valuable spatial information and map merchant and identifier tuples to physical map locations. We begin by constructing a graph of customer sharing between businesses, and based on a small set of known "seed" locations we formulate this task as a maximum likelihood problem based on a model of customer sharing between nearby businesses. We test our method extensively on real world data and provide statistics on the displacement error in many cities.


title: The double-soft integral for an arbitrary angle between hard radiators

abstract: We consider the double-soft limit of a generic QCD process involving massless partons and integrate analytically the double-soft eikonal functions over the phase-space of soft partons (gluons or quarks) allowing for an arbitrary relative angle between the three-momenta of two hard massless radiators. This result provides one of the missing ingredients for a fully analytic formulation of the nested soft-collinear subtraction scheme recently proposed by some of us.


title: Forecasting market states

abstract: We propose a novel methodology to define, analyze and forecast market states. In our approach market states are identified by a reference sparse precision matrix and a vector of expectation values. In our procedure, each multivariate observation is associated with a given market state accordingly to a minimization of a penalized Mahalanobis distance. The procedure is made computationally very efficient and can be used with a large number of assets. We demonstrate that this procedure is successful at clustering different states of the markets in an unsupervised manner. In particular, we describe an experiment with one hundred log-returns and two states in which the methodology automatically associates states prevalently to pre- and post- crisis periods with one state gathering periods with average positive returns and the other state periods with average negative returns, therefore discovering spontaneously the common classification of `bull' and `bear' markets. In another experiment, with again one hundred log-returns and two states, we demonstrate that this procedure can be efficiently used to forecast off-sample future market states with significant prediction accuracy. This methodology opens the way to a range of applications in risk management and trading strategies in the context where the correlation structure plays a central role.


title: Methods of nonlinear dynamics and the construction of cryptocurrency crisis phenomena precursors

abstract: This article demonstrates the possibility of constructing indicators of critical and crisis phenomena in the volatile market of cryptocurrency. For this purpose, the methods of the theory of complex systems such as recurrent analysis of dynamic systems and the calculation of permutation entropy are used. It is shown that it is possible to construct dynamic measures of complexity, both recurrent and entropy, which behave in a proper way during actual pre-crisis periods. This fact is used to build predictors of crisis phenomena on the example of the main five crises recorded in the time series of the key cryptocurrency bitcoin, the effectiveness of the proposed indicators-precursors of crises has been identified.


title: Assessing fish abundance from underwater video using deep neural networks

abstract: Uses of underwater videos to assess diversity and abundance of fish are being rapidly adopted by marine biologists. Manual processing of videos for quantification by human analysts is time and labour intensive. Automatic processing of videos can be employed to achieve the objectives in a cost and time-efficient way. The aim is to build an accurate and reliable fish detection and recognition system, which is important for an autonomous robotic platform. However, there are many challenges involved in this task (e.g. complex background, deformation, low resolution and light propagation). Recent advancement in the deep neural network has led to the development of object detection and recognition in real time scenarios. An end-to-end deep learning-based architecture is introduced which outperformed the state of the art methods and first of its kind on fish assessment task. A Region Proposal Network (RPN) introduced by an object detector termed as Faster R-CNN was combined with three classification networks for detection and recognition of fish species obtained from Remote Underwater Video Stations (RUVS). An accuracy of 82.4% (mAP) obtained from the experiments are much higher than previously proposed methods.


title: Four-Majorana qubit with charge readout: dynamics and decoherence

abstract: We present a theoretical analysis of a Majorana-based qubit consisting of two topological superconducting islands connected via a Josephson junction. The qubit is operated by electrostatic gates which control the coupling of two of the four Majorana zero modes. At the end of the operation, readout is performed in the charge basis. Even though the operations are not topologically protected, the proposed experiment can potentially shed light on the coherence of the parity degree of freedom in Majorana devices and serve as a first step towards topological Majorana qubits. We discuss in detail the charge-stability diagram and its use for characterizing the parameters of the devices, including the overlap of the Majorana edge states. We describe the multi-level spectral properties of the system and present a detailed study of its controlled coherent oscillations, as well as decoherence resulting from coupling to a non-Markovian environment. In particular, we study a gate-controlled protocol where conversion between Coulomb-blockade and transmon regimes generates coherent oscillations of the qubit state due to the overlap of Majorana modes. We show that, in addition to fluctuations of the Majorana coupling, considerable measurement errors may be accumulated during the conversion intervals when electrostatic fluctuations in the superconducting islands are present. These results are also relevant for several proposed implementations of topological qubits which rely on readout based on charge detection.


title: Interfacial charge density and its connection to adhesion and frictional forces

abstract: We derive a connection between the intrinsic tribological properties and the electronic properties of a solid interface. In particular, we show that the adhesion and frictional forces are dictated by the electronic charge redistribution occurring due to the relative displacements of the two surfaces in contact. We define a figure of merit to quantify such charge redistribution and show that simple functional relations hold for a wide series of interactions including metallic, covalent and physical bonds. This suggests unconventional ways of measuring friction by recording the evolution of the interfacial electronic charge during sliding. Finally, we explain that the key mechanism to reduce adhesive friction is to inhibit the charge flow at the interface and provide examples of this mechanism in common lubricant additives.


title: Global well-posedness for the defocusing Hartree equation with radial data in $\mathbb R^4$

abstract: By $I$-method, the interaction Morawetz estimate, long time Strichartz estimate and local smoothing effect of Schr\"odinger operator, we show global well-posedness and scattering for the defocusing Hartree equation $$\left\{ \begin{array}{ll} iu_t + \Delta u &=F(u), \quad (t,x) \in \mathbb{R} \times \mathbb{R}^4 u(0) \\ &=u_0(x)\in H^s(\mathbb{R}^4), \end{array} \right. $$ where $F(u)= (V* |u|^2) u$, and $V(x)=|x|^{-\gamma}$, $3< \gamma<4$, with radial data in $H^{s}(\mathbb{R}^4)$ for $s>s_c:=\gamma/2-1$. It is a sharp global result except of the critical case $s=s_c$, which is a very difficult open problem.


title: Total Colourings of Direct Product Graphs

abstract: A graph is k-total colourable if there is an assignment of k different colours to the vertices and edges of the graph such that no two adjacent nor incident elements receive the same colour. The total chromatic number of some direct product graphs are determined. In particular, a sufficient condition is given for direct products of bipartite graphs to have total chromatic number equal to its maximum degree plus one. Partial results towards the total chromatic number of the direct product of complete graphs are also established.


title: oo7: Low-overhead Defense against Spectre Attacks via Program Analysis

abstract: The Spectre vulnerability in modern processors has been widely reported. The key insight in this vulnerability is that speculative execution in processors can be misused to access the secrets. Subsequently, even though the speculatively executed instructions are squashed, the secret may linger in micro-architectural states such as cache, and can potentially be accessed by an attacker via side channels. In this paper, we propose oo7, a static analysis approach that can mitigate Spectre attacks by detecting potentially vulnerable code snippets in program binaries and protecting them against the attack by patching them. Our key contribution is to balance the concerns of effectiveness, analysis time and run-time overheads. We employ control flow extraction, taint analysis, and address analysis to detect tainted conditional branches and speculative memory accesses. oo7 can detect all fifteen purpose-built Spectre-vulnerable code patterns, whereas Microsoft compiler with Spectre mitigation option can only detect two of them. We also report the results of a large-scale study on applying oo7 to over 500 program binaries (average binary size 261 KB) from different real-world projects. We protect programs against Spectre attack by selectively inserting fences only at vulnerable conditional branches to prevent speculative execution. Our approach is experimentally observed to incur around 5.9% performance overheads on SPECint benchmarks.


title: Complex Brunn-Minkowski theory and positivity of vector bundles

abstract: This is a survey of results on positivity of vector bundles, inspired by the Brunn-Minkowski and Pr\'ekopa theorems. Applications to complex analysis, K\"ahler geometry and algebraic geometry are also discussed.


title: Charm decays

abstract: The importance of charm decays in the context of flavor is motivated. A theory overview on recent developments in leptonic and semileptonic decays, hadronic two-body decays, and rare decays is presented. Standard Model (SM) predictions as well as tests of the SM are pointed out, {\it e.g.}~how to discover direct CP violation in charm decays and how to search for physics beyond the SM. Differences between rare charm and beauty decays are discussed.


title: Statistical inference methods for cumulative incidence function curves at a fixed point in time

abstract: Competing risks data arise frequently in clinical trials. When the proportional subdistribution hazard assumption is violated or two cumulative incidence function (CIF) curves cross, rather than comparing the overall treatment effects, researchers may be interested in focusing on a comparison of clinical utility at some fixed time points. This paper extend a series of tests that are constructed based on a pseudo-value regression technique or different transformation functions for CIFs and their variances based on Gaynor's or Aalen's work, and the differences among CIFs at a given time point are compared.


title: Long-range order, "tower" of states, and symmetry breaking in lattice quantum systems

abstract: In a quantum many-body system where the Hamiltonian and the order operator do not commute, it often happens that the unique ground state of a finite system exhibits long-range order (LRO) but does not show spontaneous symmetry breaking (SSB). Typical examples include antiferromagnetic quantum spin systems with Neel order, and lattice boson systems which exhibit Bose-Einstein condensation. By extending and improving previous results by Horsch and von der Linden and by Koma and Tasaki, we here develop a fully rigorous and almost complete theory about the relation between LRO and SSB in the ground state of a finite system with continuous symmetry. We show that a ground state with LRO but without SSB is inevitably accompanied by a series of energy eigenstates, known as the "tower" of states, which have extremely low excitation energies. More importantly, we also prove that one gets a physically realistic "ground state" by taking a superposition of these low energy excited states. The present paper is written in a self-contained manner, and does not require any knowledge about the previous works on the subject.


title: K-method of calculating the mutual influence of nodes in a directed weight complex networks

abstract: A new characteristic of paired nodes in a directed weight complex network is considered. A method (named as K-method) of the characteristics calculation for complex networks is proposed. The method is based on transforming the initial network with the subsequent application of the Kirchhoff rules. The scope of the method for sparse complex networks is proposed. The nodes of these complex networks are concepts of the real world, and the connections have a cause-effect character of the so-called "cognitive maps". Two new characteristics of concept nodes having a semantic interpretation are proposed, namely "pressure" and "influence" taking into account the influence of all nodes on each other.


title: Neural Chinese Word Segmentation with Dictionary Knowledge

abstract: Chinese word segmentation (CWS) is an important task for Chinese NLP. Recently, many neural network based methods have been proposed for CWS. However, these methods require a large number of labeled sentences for model training, and usually cannot utilize the useful information in Chinese dictionary. In this paper, we propose two methods to exploit the dictionary information for CWS. The first one is based on pseudo labeled data generation, and the second one is based on multi-task learning. The experimental results on two benchmark datasets validate that our approach can effectively improve the performance of Chinese word segmentation, especially when training data is insufficient.


title: Dramatic enhancement of spin-spin coupling and quenching of magnetic dimensionality in compressed silver difluoride

abstract: Meta-GGA calculations of the ambient and high-pressure polymorphs of silver difluoride indicate that the compression-induced structural changes lead to a 3.5-fold increase in the strength of antiferomagnetic spin-spin interactions resulting in coupling constant values higher than those found for record-holding oxocuprates(II).


title: Transition time asymptotics of queue-based activation protocols in random-access networks

abstract: We consider networks where each node represents a server with a queue. An active node deactivates at unit rate. An inactive node activates at a rate that depends on its queue length, provided none of its neighbors is active. For complete bipartite networks, in the limit as the queues become large, we compute the average transition time between the two states where one half of the network is active and the other half is inactive. We show that the law of the transition time divided by its mean exhibits a trichotomy, depending on the activation rate functions.


title: Machine Learning with Membership Privacy using Adversarial Regularization

abstract: Machine learning models leak information about the datasets on which they are trained. An adversary can build an algorithm to trace the individual members of a model's training dataset. As a fundamental inference attack, he aims to distinguish between data points that were part of the model's training set and any other data points from the same distribution. This is known as the tracing (and also membership inference) attack. In this paper, we focus on such attacks against black-box models, where the adversary can only observe the output of the model, but not its parameters. This is the current setting of machine learning as a service in the Internet. We introduce a privacy mechanism to train machine learning models that provably achieve membership privacy: the model's predictions on its training data are indistinguishable from its predictions on other data points from the same distribution. We design a strategic mechanism where the privacy mechanism anticipates the membership inference attacks. The objective is to train a model such that not only does it have the minimum prediction error (high utility), but also it is the most robust model against its corresponding strongest inference attack (high privacy). We formalize this as a min-max game optimization problem, and design an adversarial training algorithm that minimizes the classification loss of the model as well as the maximum gain of the membership inference attack against it. This strategy, which guarantees membership privacy (as prediction indistinguishability), acts also as a strong regularizer and significantly generalizes the model. We evaluate our privacy mechanism on deep neural networks using different benchmark datasets. We show that our min-max strategy can mitigate the risk of membership inference attacks (close to the random guess) with a negligible cost in terms of the classification error.


title: A Distributed Collaborative Filtering Algorithm Using Multiple Data Sources

abstract: Collaborative Filtering (CF) is one of the most commonly used recommendation methods. CF consists in predicting whether, or how much, a user will like (or dislike) an item by leveraging the knowledge of the user's preferences as well as that of other users. In practice, users interact and express their opinion on only a small subset of items, which makes the corresponding user-item rating matrix very sparse. Such data sparsity yields two main problems for recommender systems: (1) the lack of data to effectively model users' preferences, and (2) the lack of data to effectively model item characteristics. However, there are often many other data sources that are available to a recommender system provider, which can describe user interests and item characteristics (e.g., users' social network, tags associated to items, etc.). These valuable data sources may supply useful information to enhance a recommendation system in modeling users' preferences and item characteristics more accurately and thus, hopefully, to make recommenders more precise. For various reasons, these data sources may be managed by clusters of different data centers, thus requiring the development of distributed solutions. In this paper, we propose a new distributed collaborative filtering algorithm, which exploits and combines multiple and diverse data sources to improve recommendation quality. Our experimental evaluation using real datasets shows the effectiveness of our algorithm compared to state-of-the-art recommendation algorithms.


title: Assessment of electrical and infrastructure recovery in Puerto Rico following hurricane Maria using a multisource time series of satellite imagery

abstract: Puerto Rico suffered severe damage from the category 5 hurricane (Maria) in September 2017. Total monetary damages are estimated to be ~92 billion USD, the third most costly tropical cyclone in US history. The response to this damage has been tempered and slow moving, with recent estimates placing 45% of the population without power three months after the storm. Consequently, we developed a unique data-fusion mapping approach called the Urban Development Index (UDI) and new open source tool, Comet Time Series (CometTS), to analyze the recovery of electricity and infrastructure in Puerto Rico. Our approach incorporates a combination of time series visualizations and change detection mapping to create depictions of power or infrastructure loss. It also provides a unique independent assessment of areas that are still struggling to recover. For this workflow, our time series approach combines nighttime imagery from the Suomi National Polar-orbiting Partnership Visible Infrared Imaging Radiometer Suite (NPP VIIRS), multispectral imagery from two Landsat satellites, US Census data, and crowd-sourced building footprint labels. Based upon our approach we can identify and evaluate: 1) the recovery of electrical power compared to pre-storm levels, 2) the location of potentially damaged infrastructure that has yet to recover from the storm, and 3) the number of persons without power over time. As of May 31, 2018, declined levels of observed brightness across the island indicate that 13.9% +/- ~5.6% of persons still lack power and/or that 13.2% +/- ~5.3% of infrastructure has been lost. In comparison, the Puerto Rico Electric Power Authority states that less than 1% of their customers still are without power.


title: A Fast-Converged Acoustic Modeling for Korean Speech Recognition: A Preliminary Study on Time Delay Neural Network

abstract: In this paper, a time delay neural network (TDNN) based acoustic model is proposed to implement a fast-converged acoustic modeling for Korean speech recognition. The TDNN has an advantage in fast-convergence where the amount of training data is limited, due to subsampling which excludes duplicated weights. The TDNN showed an absolute improvement of 2.12% in terms of character error rate compared to feed forward neural network (FFNN) based modelling for Korean speech corpora. The proposed model converged 1.67 times faster than a FFNN-based model did.


title: Proton Radiation Damage Experiment on a Hybrid CMOS Detector

abstract: We report on the initial results of an experiment to determine the effects of proton radiation damage on an X-ray hybrid CMOS detector (HCD). The device was irradiated at the Edwards Accelerator Lab at Ohio University with 8 MeV protons, up to a total absorbed dose of 3 krad(Si) (4.5 $\times$ 10$^9$ protons/cm$^2$). The effects of this radiation on read noise, dark current, gain, and energy resolution are then analyzed. This exposure is the first of several which will be used for characterizing detector performance at absorbed dose levels that are relevant for imaging devices operating in a deep-space environment.


title: Object Relation Detection Based on One-shot Learning

abstract: Detecting the relations among objects, such as "cat on sofa" and "person ride horse", is a crucial task in image understanding, and beneficial to bridging the semantic gap between images and natural language. Despite the remarkable progress of deep learning in detection and recognition of individual objects, it is still a challenging task to localize and recognize the relations between objects due to the complex combinatorial nature of various kinds of object relations. Inspired by the recent advances in one-shot learning, we propose a simple yet effective Semantics Induced Learner (SIL) model for solving this challenging task. Learning in one-shot manner can enable a detection model to adapt to a huge number of object relations with diverse appearance effectively and robustly. In addition, the SIL combines bottom-up and top-down attention mech- anisms, therefore enabling attention at the level of vision and semantics favorably. Within our proposed model, the bottom-up mechanism, which is based on Faster R-CNN, proposes objects regions, and the top-down mechanism selects and integrates visual features according to semantic information. Experiments demonstrate the effectiveness of our framework over other state-of-the-art methods on two large-scale data sets for object relation detection.


title: Machine Learning Approaches to Hybrid Music Recommender Systems

abstract: Music recommender systems have become a key technology supporting the access to increasingly larger music catalogs in on-line music streaming services, on-line music shops, and private collections. The interaction of users with large music catalogs is a complex phenomenon researched from different disciplines. We survey our works investigating the machine learning and data mining aspects of hybrid music recommender systems (i.e., systems that integrate different recommendation techniques). We proposed hybrid music recommender systems based solely on data and robust to the so-called "cold-start problem" for new music items, favoring the discovery of relevant but non-popular music. We thoroughly studied the specific task of music playlist continuation, by analyzing fundamental playlist characteristics, song feature representations, and the relationship between playlists and the songs therein.


title: Interplay between adsorbates and polarons: CO on rutile TiO$_2$(110)

abstract: Polaron formation plays a major role in determining the structural, electrical and chemical properties of ionic crystals. Using a combination of first principles calculations and scanning tunneling microscpoy/atomic force microscopy (STM/AFM), we analyze the interaction of polarons with CO molecules adsorbed on the rutile TiO$_2$(110) surface. Adsorbed CO shows attractive coupling with polarons in the surface layer, and repulsive interaction with polarons in the subsurface layer. As a result, CO adsorption depends on the reduction state of the sample. For slightly reduced surfaces, many adsorption configurations with comparable adsorption energies exist and polarons reside in the subsurface layer. At strongly reduced surfaces, two adsorption configurations dominante: either inside an oxygen vacancy, or at surface Ti$_{5c}$ sites, coupled with a surface polaron.


title: A trapped ultracold atom force sensor with a $\mu$m-scale spatial resolution

abstract: We report on the use of an ultracold ensemble of $^{87}$Rb atoms trapped in a vertical lattice as a source for a quantum force sensor based on a Ramsey-Raman type interferometer. We reach spatial resolution in the low micrometer range in the vertical direction thanks to evaporative cooling down to ultracold temperatures in a crossed optical dipole trap. In this configuration, the coherence time of the atomic ensemble is degraded by inhomogeneous dephasing arising from atomic interactions. By weakening the confinement in the transverse direction only, we dilute the cloud and drastically reduce the strength of these interactions, without affecting the vertical resolution. This allows to maintain an excellent relative sensitivity on the Bloch frequency, which is related to the local gravitational force, of $5\times10^{-6}$ at 1\,s which integrates down to $8\times10^{-8}$ after one hour averaging time.


title: Locality and Computational Reliability of Linear Response Calculations for Molecular Systems

abstract: By performing a critical analysis of the fundamental equations of linear-response (LR) formalism in molecules, we explore the interplay between locality of the response density operator and numerical convergence of LR-related quantities. We show that for frequencies below the first ionization potential (IP) of the system, it is possible to express the response density by employing localized states only. Above this threshold energy, such a locality property cannot be achieved. Such considerations may be transposed in terms of the molecule's excited states. We show that not all the system's excitations can be considered on equal footing. There is a discrete sector of excitations -- which may also extend above IP -- that can be parametrized by observable, localized states, which can be computationally expressed with high precision, provided an adequate level of completeness. We present indicators that can help to quantify such potential observable properties of an excitation, that can be evaluated in any discretization scheme. The remaining excitation modes belong to a continuum spectrum that, on the contrary, is not directly associated to observable properties and can only be effectively represented in a given computational setup. Such considerations are important not only for reproducibility of the results among different computer codes employing diverse formalisms, but also in view of providing a deeper understanding on the impact of models' approximations on the scientific outcomes of the simulation.


title: Nash Flows over Time with Spillback and Kinematic Waves

abstract: Modeling traffic in road networks is a widely studied but challenging problem, especially under the assumption that drivers act selfishly. A common approach is the deterministic queuing model, for which the structure of dynamic equilibria has been studied extensively in the last couple of years. The basic idea is to model traffic by a continuous flow that travels over time through a network, in which the arcs are endowed with transit times and capacities. Whenever the flow rate exceeds the capacity the flow particles build up a queue. So far it was not possible to represent spillback or kinematic waves in this model. By introducing a storage capacity arcs can become full, and thus, might block preceding arcs, i.e., spillback occurs. Furthermore, we model kinematic waves by upstream moving flows over time representing the gaps between vehicles. We carry over the main results of the original model to our generalization, i.e., we characterize Nash flows over time by sequences of particular static flows, so-called spillback thin flows. Furthermore, we give a constructive proof for the existence of dynamic equilibria, which suggests an algorithm for their computation. This solves an open problem stated by [13].


title: Morse-Bott functions on orthogonal groups

abstract: We make a detailed study of various (quadratic and linear) Morse-Bott trace functions on the orthogonal groups $O(n)$. We describe the critical loci of the quadratic trace function Tr$(AXBX^T)$ and determine their indices via perfect fillings of tables associated with the multiplicities of the eigenvalues of $A$ and $B$. We give a simplified treatment of T. Frankel's analysis of the linear trace function on $SO(n)$, as well as a combinatorial explanation of the relationship between the mod $2$ Betti numbers of $SO(n)$ and those of the Grassmannians $\mathbb{G}(2k,n)$ obtained from this analysis. We review the basic notions of Morse-Bott cohomology in a simple case where the set of critical points has two connected components. We then use these results to give a new Morse-theoretic computation of the mod $2$ Betti numbers of $SO(n)$.


title: Revisiting the black hole entropy and the information paradox

abstract: The black hole information paradox and the black hole entropy are currently extensively researched. The consensus about the solution of the information paradox is not yet reached, and it is not yet clear what can we learn about quantum gravity from these and the related research. It seems that the apparently irreducible paradoxes force us to give up on at least one well-established principle or another. Since we are talking about a choice between the principle of equivalence from general relativity, and some essential principles from quantum theory, both being the most reliable theories we have, it is recommended to proceed with caution and search more conservative solutions. These paradoxes are revisited here, as well as the black hole complementarity and the firewall proposals, with an emphasis on the less obvious assumptions. Some arguments from the literature are reviewed, and new counterarguments are presented. Some less considered less radical possibilities are discussed, and a conservative solution, which is more consistent with both the principle of equivalence from general relativity and the unitarity from quantum theory, is discussed.


title: K2-295 b and K2-237 b: two transiting hot Jupiters

abstract: We report the discovery from K2 of two transiting hot Jupiter systems. K2-295 (observed in Campaign 8) is a K5 dwarf which hosts a planet slightly smaller than Jupiter, orbiting with a period of 4.0 d. We have made an independent discovery of K2-237 b (Campaign 11), which orbits an F6 dwarf every 2.2 d and has an inflated radius 50 - 60 per cent larger than that of Jupiter. We use high-precision radial velocity measurements, obtained using the HARPS and FIES spectrographs, to measure the planetary masses. We find that K2-295 b has a similar mass to Saturn, while K2-237 b is a little more massive than Jupiter.


title: Correlated gluonic hot spots meet symmetric cumulants data at LHC energies

abstract: We present a systematic study on the influence of spatial correlations between the proton constituents, in our case gluonic hot spots, their size and their number on the symmetric cumulant SC(2,3), at the eccentricity level, within a Monte Carlo Glauber framework [1]. When modeling the proton as composed by 3 gluonic hot spots, the most common assumption in the literature, we find that the inclusion of spatial correlations is indispensable to reproduce the negative sign of SC(2,3) in the highest centrality bins as dictated by data. Further, the subtle interplay between the different scales of the problem is discussed. To conclude, the possibility of feeding a 2+1D viscous hydrodynamic simulation with our entropy profiles is exposed.


title: Regularity properties of the solution to a stochastic heat equation driven by a fractional Gaussian noise on ${\mathbb{S}}^2$

abstract: We study the stochastic heat equation driven by an additive infinite dimensional fractional Brownian noise on the unit sphere $\mathbb{S}^{2}$. The existence and uniqueness of its solution in certain Sobolev space is investigated and sample path regularity properties are established. In particular, the exact uniform modulus of continuity of the solution in time/spatial variable is derived.


title: Measure-theoretic mean equicontinuity and bounded complexity

abstract: Let $(X,\mathcal{B},\mu,T)$ be a measure preserving system. We say that a function $f\in L^2(X,\mu)$ is $\mu$-mean equicontinuous if for any $\epsilon>0$ there is $k\in \mathbb{N}$ and measurable sets ${A_1,A_2,\cdots,A_k}$ with $\mu\left(\bigcup\limits_{i=1}^k A_i\right)>1-\epsilon$ such that whenever $x,y\in A_i$ for some $1\leq i\leq k$, one has \[ \limsup_{n\to\infty}\frac{1}{n}\sum_{j=0}^{n-1}|f(T^jx)-f(T^jy)|<\epsilon. \] Measure complexity with respect to $f$ is also introduced. It is shown that $f$ is an almost periodic function if and only if $f$ is $\mu$-mean equicontinuous if and only if $\mu$ has bounded complexity with respect to $f$. Ferenczi studied measure-theoretic complexity using $\alpha$-names of a partition and the Hamming distance. He proved that if a measure preserving system is ergodic, then the complexity function is bounded if and only if the system has discrete spectrum. We show that this result holds without the assumption of ergodicity.


title: Free extensions and Lefschetz properties, with an application to rings of relative coinvariants

abstract: Graded Artinian algebras can be regarded as algebraic analogues of cohomology rings (in even degrees) of compact topological manifolds. In this analogy, a free extension of a base ring with a fiber ring corresponds to a fiber bundle over a manifold. For rings, as with manifolds, it is a natural question to ask: to what extent do properties of the base and the fiber carry over to the extension? For example, if the base and fiber both satisfy a strong Lefschetz property, can we conclude the same for the extension? Or, more generally, can one determine the generic Jordan type for the extension given the generic Jordan types of the base and fiber? We address these questions using the relative coinvariant rings as prototypical models. We show that if $V$ is a vector space and if the subgroup $W$ of the general linear group Gl(V), is a non-modular finite reflection group and $K\subset W$ is a non parabolic reflection subgroup, then the relative coinvariant ring $R^K_W$ cannot have a linear element of strong Lefschetz Jordan type. However, we give examples where these rings $R^K_W$, some with non-unimodal Hilbert functions, nevertheless have (non-homogeneous) elements of strong Lefschetz Jordan type. Some of these examples give rise to open questions concerning Lefschetz properties of certain algebras $A(m,n)$, related to combinatorial questions proposed and partially answered by G. Almqvist.


title: FPGA implementation of a DCDS processor

abstract: An experimental digital correlated double sampler (DCDS) video processor has been implemented in a Xilinx Artix FPGA. It uses an Opal Kelly XEM7010-A50 module that comes with an integrated USB2 interface for easy interfac-ing to a data acquisition PC. The FPGA has been coupled to a dual 16-bit 20Msps ADC and video preamplifiers. A synthetic CCD video waveform was provided by a high speed DAC also under FPGA control. VHDL-defined hardware implemented the differential averager algorithm which has been shown to give the optimal signal to noise ratio over a wide range of readout speeds. Hardware developed in this project is intended for eventual integration into a Xilinx Zynq-based system that combines the functionality of both a CCD controller and Linux-based data acquisition system.


title: Fermionic Tachyons as a Source of Dark Energy

abstract: A model for the universe on the basis of a self interacting fermionic tachyon field is investigated here. It is shown that, devising a self interaction potential of a proper form, the fermionic tachyon field is capable of producing an accelerating expansion that at late time tends to a constant value which is in consistence with the cosmological constant. This way the introduced fermionic tachyon field can be interpreted as the source of dark energy.


title: Solar Irradiance Forecasting Using Triple Exponential Smoothing

abstract: Owing to the growing concern of global warming and over-dependence on fossil fuels, there has been a huge interest in last years in the deployment of Photovoltaic (PV) systems for generating electricity. The output power of a PV array greatly depends, among other parameters, on solar irradiation. However, solar irradiation has an intermittent nature and suffers from rapid fluctuations. This creates challenges when integrating PV systems in the electricity grid and calls for accurate forecasting methods of solar irradiance. In this paper, we propose a triple exponential-smoothing based forecasting methodology for intra-hour forecasting of the solar irradiance at future lead times. We use time-series data of measured solar irradiance, together with clear-sky solar irradiance, to forecast solar irradiance up-to a period of 20 minutes. The numerical evaluation is performed using 1 year of weather data, collected by a PV outdoor test facility on the roof of an office building in Utrecht University, Utrecht, The Netherlands. We benchmark our proposed approach with two other common forecasting approaches: persistence forecasting and average forecasting. Results show that the TES method has a better forecasting performance as it can capture the rapid fluctuations of solar irradiance with a fair degree of accuracy.


title: PBW property for associative universal enveloping algebras over an operad

abstract: Given a symmetric operad $\mathcal{P}$ and a $\mathcal{P}$-algebra $V$, the associative universal enveloping algebra ${\mathsf{U}_{\mathcal{P}}}$ is an associative algebra whose category of modules is isomorphic to the abelian category of $V$-modules. We study the notion of PBW property for universal enveloping algebras over an operad. In case $\mathcal{P}$ is Koszul a criterion for the PBW property is found. A necessary condition on the Hilbert series for $\mathcal{P}$ is discovered. Moreover, given any symmetric operad $\mathcal{P}$, together with a Gr\"obner basis $G$, a condition is given in terms of the structure of the underlying trees associated with leading monomials of $G$, sufficient for the PBW property to hold. Examples are provided.