title: Formation Redshift of the Massive Black Holes Detected by LIGO

abstract: We compare the event rate density detected by LIGO to the comoving number density of isolated stellar progenitors and find a range for their formation redshift. Our limit depends on the threshold mass for making the black holes (BHs) but only weakly on the metallicity of their progenitor. If $10 \%$ of all BHs are in coalescing binaries, then enough progenitors have formed by $ 2< z_f < 9 $.


title: Solid-Liquid Phase Transition in the Octadecanoic Acid Film Adsorbed on the Toluene-Water Interface

abstract: The structure of the soluble protonated (pH=2) octadecanoic acid film adsorbed on the saturated hydrocarbon (n-hexane) - water and aromatic hydrocarbon (toluene)-water interfaces is studied by X-ray reflectometry using synchrotron radiation. The experimental data demonstrate that a solid phase of a Gibbs monolayer (26 +/- 1) Angstrom thick, in which aliphatic tails are perpendicular to the surface and the area per molecule is A=(18 +/- 2) Angstrom^2, forms in the film at the n-hexane - water interface. The solid monolayer on the toluene - water interface in the adsorbed film melts when temperature increases, and this transition is caused by disordering the hydrocarbon tails of the acid. During the solid - liquid transition, the Gibbs monolayer thickness remains almost the same, (22 +/- 1) Angstrom. In the solid phase, we have A=(20+/- 2) Angstrom^2 and the angle of deviation of the molecular tails from the normal to the surface is about ~ 30 deg. The density of the liquid monolayer phase with A=(24 +/- 2) Angstrom^2 corresponds to liquid n-octadecane.


title: Nonlinear and Nonlocal Elasticity in Coarse-Grained Differential-Tension Models of Epithelia

abstract: The shapes of epithelial tissues result from a complex interplay of contractile forces in the cytoskeleta of the cells in the tissue, and adhesion forces between them. A host of discrete, cell-based models describe these forces by assigning different surface tensions to the apical, basal, and lateral sides of the cells. These differential-tension models have been used to describe the deformations of epithelia in different living systems, but the underlying continuum mechanics at the scale of the epithelium are still unclear. Here, we derive a continuum theory for a simple differential-tension model of a two-dimensional epithelium and study the buckling of this epithelium under imposed compression. The analysis reveals how the cell-level properties encoded in the differential-tension model lead to linear, nonlinear as well as nonlocal elastic behavior at the continuum level.


title: In-medium properties of the low-lying strange, charm, and bottom baryons in the quark-meson coupling model

abstract: In-medium properties of the low-lying strange, charm, and bottom baryons in symmetric nuclear matter are studied in the quark-meson coupling (QMC) model. Results for the Lorentz-scalar effective masses, mean field potentials felt by the light quarks in the baryons, in-medium bag radii, and the lowest mode bag eigenvalues are presented for those calculated using the updated data. This study completes the in-medium properties of the low-lying baryons in symmetric nuclear matter in the QMC model, for the strange, charm and bottom baryons which contain one or two strange, one charm or one bottom quarks, as well as at least one light quark. Highlight is the prediction of the bottom baryon Lorentz-scalar effective masses, namely, the Lorentz-scalar effective mass of $\Sigma_b$ becomes smaller than that of $\Xi_b$ at moderate nuclear matter density, $m^*_{\Sigma_b} < m^*_{\Xi_b}$, although in vacuum $m_{\Sigma_b} > m_{\Xi_b}$. We study further the effects of the repulsive Lorentz-vector potentials on the excitation (total) energies of these bottom baryons.


title: Infinite Factorial Finite State Machine for Blind Multiuser Channel Estimation

abstract: New communication standards need to deal with machine-to-machine communications, in which users may start or stop transmitting at any time in an asynchronous manner. Thus, the number of users is an unknown and time-varying parameter that needs to be accurately estimated in order to properly recover the symbols transmitted by all users in the system. In this paper, we address the problem of joint channel parameter and data estimation in a multiuser communication channel in which the number of transmitters is not known. For that purpose, we develop the infinite factorial finite state machine model, a Bayesian nonparametric model based on the Markov Indian buffet that allows for an unbounded number of transmitters with arbitrary channel length. We propose an inference algorithm that makes use of slice sampling and particle Gibbs with ancestor sampling. Our approach is fully blind as it does not require a prior channel estimation step, prior knowledge of the number of transmitters, or any signaling information. Our experimental results, loosely based on the LTE random access channel, show that the proposed approach can effectively recover the data-generating process for a wide range of scenarios, with varying number of transmitters, number of receivers, constellation order, channel length, and signal-to-noise ratio.


title: The Price equation program: simple invariances unify population dynamics, thermodynamics, probability, information and inference

abstract: The fundamental equations of various disciplines often seem to share the same basic structure. Natural selection increases information in the same way that Bayesian updating increases information. Thermodynamics and the forms of common probability distributions express maximum increase in entropy, which appears mathematically as loss of information. Physical mechanics follows paths of change that maximize Fisher information. The information expressions typically have analogous interpretations as the Newtonian balance between force and acceleration, representing a partition between direct causes of change and opposing changes in the frame of reference. This web of vague analogies hints at a deeper common mathematical structure. I suggest that the Price equation expresses that underlying universal structure. The abstract Price equation describes dynamics as the change between two sets. One component of dynamics expresses the change in the frequency of things, holding constant the values associated with things. The other component of dynamics expresses the change in the values of things, holding constant the frequency of things. The separation of frequency from value generalizes Shannon's separation of the frequency of symbols from the meaning of symbols in information theory. The Price equation's generalized separation of frequency and value reveals a few simple invariances that define universal geometric aspects of change. For example, the conservation of total frequency, although a trivial invariance by itself, creates a powerful constraint on the geometry of change. That constraint plus a few others seem to explain the common structural forms of the equations in different disciplines. From that abstract perspective, interpretations such as selection, information, entropy, force, acceleration, and physical work arise from the same underlying geometry expressed by the Price equation.

categories: q-bio.PE cond-mat.stat-mech cs.IT math.IT


title: Improving Annotation for 3D Pose Dataset of Fine-Grained Object Categories

abstract: Existing 3D pose datasets of object categories are limited to generic object types and lack of fine-grained information. In this work, we introduce a new large-scale dataset that consists of 409 fine-grained categories and 31,881 images with accurate 3D pose annotation. Specifically, we augment three existing fine-grained object recognition datasets (StanfordCars, CompCars and FGVC-Aircraft) by finding a specific 3D model for each sub-category from ShapeNet and manually annotating each 2D image by adjusting a full set of 7 continuous perspective parameters. Since the fine-grained shapes allow 3D models to better fit the images, we further improve the annotation quality by initializing from the human annotation and conducting local search of the pose parameters with the objective of maximizing the IoUs between the projected mask and the segmentation reference estimated from state-of-the-art deep Convolutional Neural Networks (CNNs). We provide full statistics of the annotations with qualitative and quantitative comparisons suggesting that our dataset can be a complementary source for studying 3D pose estimation. The dataset can be downloaded at http://users.umiacs.umd.edu/~wym/3dpose.html.


title: Dynamics of a quantum oscillator coupled with a three-level Lambda-type emitter

abstract: We investigate the quantum dynamics of a quantum oscillator coupled with the most upper state of a three-level $\Lambda-$ type system. The two transitions of the three-level emitter, possessing orthogonal dipole moments, are coherently pumped with a single or two electromagnetic field sources, respectively. We have found ranges for flexible lasing or cooling phenomena referring to the quantum oscillator's degrees of freedom. This is due to asymmetrical decay rates and quantum interference effects leading to population transfer among the relevant dressed states of the emitter's subsystem with which the quantum oscillator is coupled. As an appropriate system can be considered a nanomechanical resonator coupled with the most excited state of the three-level emitter fixed on it. Alternatively, if the upper state of the $\Lambda-$type system possesses a permanent dipole then it can couple with a cavity electromagnetic field mode which can be in the terahertz domain, for instance. In the latter case, we demonstrate an effective electromagnetic field source of terahertz photons.


title: Pion electromagnetic form factor at high precision with implications to $a_\mu^{\pi\pi}$ and the onset of perturbative QCD

abstract: We extend recently developed methods used for determining the electromagnetic charge radius and $a_\mu^{\pi\pi}$ to obtain a determination of the electromagnetic form factor of the pion, $F_\pi^V(t)$, in several significant kinematical regions, using a parametrization-free formalism based on analyticity and unitarity, and with the inclusion of precise inputs from both timelike and spacelike regions. On the unitarity cut, below the first inelastic threshold we use the precisely known phase of the form factor, known from $\pi\pi$ elastic scattering via the Fermi-Watson theorem, and above the inelastic threshold a conservative integral condition on the modulus. We also use as input the experimental values of the modulus at several energies in the elastic region, where the data from $e^+e^-\to \pi^+\pi^-$ and $\tau$ hadronic decays are mutually consistent, as well as the most recent measurements at spacelike momenta. The experimental uncertainties are implemented by Monte Carlo simulations. At spacelike values $Q^2=-t>0$ near the origin, our predictions are consistent and significantly more precise than the recent QCD lattice calculations. The determinations at larger $Q^2$ confirm the late onset of perturbative QCD for exclusive quantities. From the predictions of $|F_\pi^V(t)|^2$ on the timelike axis below 0.63 GeV, we obtain the hadronic vacuum polarization (HPV) contribution to the muon anomaly, $a_\mu^{\pi\pi}|_{\leq 0.63\gev} = (132.97\pm 0.70)\times 10^{-10}$, using input from both $e^+e^-$ annihilation and $\tau$ decay, and $a_\mu^{\pi\pi}|_{\leq 0.63 \gev} = (132.91\pm 0.76)\times 10^{-10}$ using only $e^+e^-$ input. Our determinations can be readily extended to obtain such contributions in any interval of interest lying between $2 m_\pi$ and 0.63 GeV.


title: Rate of Growth of Distributionally Chaotic Functions

abstract: We investigate the permissible growth rates of functions that are distributionally chaotic with respect to differentiation operators. We improve on the known growth estimates for $D$-distributionally chaotic entire functions, where growth is in terms of average $L^p$-norms on spheres of radius $r>0$ as $r \to \infty$, for $1 \leq p \leq \infty$. We compute growth estimates of $\partial/ \partial x_k$-distributionally chaotic harmonic functions in terms of the average $L^2$-norm on spheres of radius $r>0$ as $r \to \infty$. We also calculate sup-norm growth estimates of distributionally chaotic harmonic functions in the case of the partial differentiation operators $D^\alpha$.


title: Experimental investigation of water jets under gravity

abstract: The Plateau-Rayleigh theory essentially explains the breakup of liquid jets as due to growing perturbations along the length of the jet. The essential idea is supported by several experiments carried out in the past. Recently, the existence of a feedback mechanism in the form of recoil capillary waves was proposed to enhance the effect of the perturbations. We experimentally verify the existence of such recoil capillary waves. Using our experimental setup we further show that the wavy nature of the jet surface appears almost right after the emergence of the jet from the nozzle irrespective of the recoil capillary wave feedback. Moreover, our experimental results indicate existence of a sharp boundary, along the length of the continuous jet, beyond which gravitational effect dominates over the surface tension.


title: Spacecraft Telecommunications

abstract: There is a long history of radio telescopes being used to augment the radio antennas regularly used to conduct telemetry, tracking, and command of deep space spacecraft. Radio telescopes are particularly valuable during short-duration mission critical events, such as planetary landings, or when a mission lifetime itself is short, such as a probe into a giant planet's atmosphere. By virtue of its high sensitivity and frequency coverage, the next-generation Very Large Array would be a powerful addition to regular spacecraft ground systems. Further, the science focus of many of these deep-space missions provides a "ground truth" in the solar system that complements other aspects of the ngVLA's science case, such as the formation of planets in proto-planetary disks.


title: General Relativistic Aberration Equation and Measurable Angle of Light Ray in Kerr--de Sitter Spacetime

abstract: As an extension of our previous paper, instead of the total deflection angle $\alpha$, we will mainly focus on discussing the measurable angle of the light ray $\psi$ at the position of the observer in Kerr--de Sitter spacetime which includes the cosmological constant $\Lambda$. We will investigate the contributions of the radial and transverse motions of the observer which are connected with the radial velocity $v^r$ and transverse velocity $bv^{\phi}$ ($b$ is the impact parameter) as well as the spin parameter $a$ of the central object which induces the gravitomagnetic field or frame dragging and the cosmological constant $\Lambda$. The general relativistic aberration equation is employed to take into account the influence of the motion of the observer on the measurable angle $\psi$. The measurable angle $\psi$ derived in this paper can be applied to the observer placed within the curved and finite-distance region in the spacetime. The equation of the light trajectory will be obtained in such a way that the background is de Sitter spacetime instead of Minkowski spacetime. If we assume that the lens object is the typical galaxy, the static terms ${\cal O}(\Lambda bm, \Lambda ba)$ are basically comparable with the second order deflection term ${\cal O}(m^2)$, and they are almost one order smaller that of the Kerr deflection $-4ma/b^2$. The velocity-dependent terms ${\cal O}(\Lambda bm v^r, \Lambda bav^r)$ for radial motion and ${\cal O}(\Lambda b^2mv^{\phi}, \Lambda b^2av^{\phi})$ for transverse motion are at most two orders of magnitude smaller than the second order deflection ${\cal O}(m^2)$. We also find that even when the radial and transverse velocities have the same sign, their asymptotic behavior as $\phi$ approaches $0$ is differs, and each diverges to the opposite infinity.


title: A Model Parallel Proximal Stochastic Gradient Algorithm for Partially Asynchronous Systems

abstract: Large models are prevalent in modern machine learning scenarios, including deep learning, recommender systems, etc., which can have millions or even billions of parameters. Parallel algorithms have become an essential solution technique to many large-scale machine learning jobs. In this paper, we propose a model parallel proximal stochastic gradient algorithm, AsyB-ProxSGD, to deal with large models using model parallel blockwise updates while in the meantime handling a large amount of training data using proximal stochastic gradient descent (ProxSGD). In our algorithm, worker nodes communicate with the parameter servers asynchronously, and each worker performs proximal stochastic gradient for only one block of model parameters during each iteration. Our proposed algorithm generalizes ProxSGD to the asynchronous and model parallel setting. We prove that AsyB-ProxSGD achieves a convergence rate of $O(1/\sqrt{K})$ to stationary points for nonconvex problems under \emph{constant} minibatch sizes, where $K$ is the total number of block updates. This rate matches the best-known rates of convergence for a wide range of gradient-like algorithms. Furthermore, we show that when the number of workers is bounded by $O(K^{1/4})$, we can expect AsyB-ProxSGD to achieve linear speedup as the number of workers increases. We implement the proposed algorithm on MXNet and demonstrate its convergence behavior and near-linear speedup on a real-world dataset involving both a large model size and large amounts of data.


title: Lorentz-Morrey global bounds for singular quasilinear elliptic equations with measure data

abstract: The aim of this paper is to present the global estimate for gradient of renormalized solutions to the following quasilinear elliptic problem: \begin{align*} \begin{cases} -div(A(x,\nabla u)) &= \mu \quad \text{in} \ \ \Omega, \\ u &=0 \quad \text{on} \ \ \partial \Omega, \end{cases} \end{align*} in Lorentz-Morrey spaces, where $\Omega \subset \mathbb{R}^n$ ($n \ge 2$), $\mu$ is a finite Radon measure, $A$ is a monotone Carath\'eodory vector valued function defined on $W^{1,p}_0(\Omega)$ and the $p$-capacity uniform thickness condition is imposed on the complement of our domain $\Omega$. It is remarkable that the local gradient estimates has been proved firstly by G. Mingione in \cite{Mi3} at least for the case $2 \le p \le n$, where the idea for extending such result to global ones was also proposed in the same paper. Later, the global Lorentz-Morrey and Morrey regularities were obtained by N.C.Phuc in \cite{55Ph1} for regular case $p>2 - \frac{1}{n}$. Here in this study, we particularly restrict ourselves to the singular case $\frac{3n-2}{2n-1}<p\le 2-\frac{1}{n}$. The results are central to generalize our technique of good-$\lambda$ type bounds in previous work \cite{MP2018}, where the local gradient estimates of solution to this type of equation was obtained in the Lorentz spaces. Moreover, the proofs of most results in this paper are formulated globally up to the boundary results.


title: Challenges in Network Management of Encrypted Traffic

abstract: This paper summarizes the challenges identified at the MAMI Management and Measurement Summit (M3S) for network management with the increased deployment of encrypted traffic based on a set of use cases and deployed techniques (for network monitoring, performance enhancing proxies, firewalling as well as network-supported DDoS protection and migration), and provides recommendations for future use cases and the development of new protocols and mechanisms. In summary, network architecture and protocol design efforts should 1) provide for independent measurability when observations may be contested, 2) support different security associations at different layers, and 3) replace transparent middleboxes with middlebox transparency in order to increase visibility, rebalance control and enable cooperation.


title: Automatic acoustic identification of individual animals: Improving generalisation across species and recording conditions

abstract: Many animals emit vocal sounds which, independently from the sounds' function, embed some individually-distinctive signature. Thus the automatic recognition of individuals by sound is a potentially powerful tool for zoology and ecology research and practical monitoring. Here we present a general automatic identification method, that can work across multiple animal species with various levels of complexity in their communication systems. We further introduce new analysis techniques based on dataset manipulations that can evaluate the robustness and generality of a classifier. By using these techniques we confirmed the presence of experimental confounds in situations resembling those from past studies. We introduce data manipulations that can reduce the impact of these confounds, compatible with any classifier. We suggest that assessment of confounds should become a standard part of future studies to ensure they do not report over-optimistic results. We provide annotated recordings used for analyses along with this study and we call for dataset sharing to be a common practice to enhance development of methods and comparisons of results.


title: From Hard to Soft: Understanding Deep Network Nonlinearities via Vector Quantization and Statistical Inference

abstract: Nonlinearity is crucial to the performance of a deep (neural) network (DN). To date there has been little progress understanding the menagerie of available nonlinearities, but recently progress has been made on understanding the r\^ole played by piecewise affine and convex nonlinearities like the ReLU and absolute value activation functions and max-pooling. In particular, DN layers constructed from these operations can be interpreted as {\em max-affine spline operators} (MASOs) that have an elegant link to vector quantization (VQ) and $K$-means. While this is good theoretical progress, the entire MASO approach is predicated on the requirement that the nonlinearities be piecewise affine and convex, which precludes important activation functions like the sigmoid, hyperbolic tangent, and softmax. {\em This paper extends the MASO framework to these and an infinitely large class of new nonlinearities by linking deterministic MASOs with probabilistic Gaussian Mixture Models (GMMs).} We show that, under a GMM, piecewise affine, convex nonlinearities like ReLU, absolute value, and max-pooling can be interpreted as solutions to certain natural "hard" VQ inference problems, while sigmoid, hyperbolic tangent, and softmax can be interpreted as solutions to corresponding "soft" VQ inference problems. We further extend the framework by hybridizing the hard and soft VQ optimizations to create a $\beta$-VQ inference that interpolates between hard, soft, and linear VQ inference. A prime example of a $\beta$-VQ DN nonlinearity is the {\em swish} nonlinearity, which offers state-of-the-art performance in a range of computer vision tasks but was developed ad hoc by experimentation. Finally, we validate with experiments an important assertion of our theory, namely that DN performance can be significantly improved by enforcing orthogonality in its linear filters.


title: Construction of ball spaces and the notion of continuity

abstract: Spherically complete ball spaces provide a framework for the proof of generic fixed point theorems. For the purpose of their application it is important to have methods for the construction of new spherically complete ball spaces from given ones. Given various ball spaces on the same underlying set, we discuss the construction of new ball spaces through set theoretic operations on the balls. A definition of continuity for functions on ball spaces leads to the notion of quotient spaces. Further, we show the existence of products and coproducts and use this to derive a topological category associated with ball spaces.


title: Chiral symmetry breaking, color superconductivity, and the equation of state for magnetized strange quark matter

abstract: We investigate the vacuum structure of dense quark matter in strong magnetic fields at finite temperature and densities in a 3 flavor Nambu Jona Lasinio (NJL) model including the Kobayashi-Maskawa-t'Hooft (KMT) determinant term using a variational method. The method uses an explicit structure for the `ground' state in terms of quark-antiquark condensates as well as diquark condensates. The mass gap equations and the superconducting gap equations are solved self consistently and are used to compute the thermodynamic potential along with the charge neutrality conditions. We also derive the equation of state for the charge neutral strange quark matter in the presence of strong magnetic fields which could be relevant for neutron stars.


title: High-energy eigenfunctions of the Laplacian on the torus and the sphere with nodal sets of complicated topology

abstract: Let $\Sigma$ be an oriented compact hypersurface in the round sphere $\mathbb{S}^n$ or in the flat torus $\mathbb{T}^n$, $n\geq 3$. In the case of the torus, $\Sigma$ is further assumed to be contained in a contractible subset of $\mathbb{T}^n$. We show that for any sufficiently large enough odd integer $N$ there exists an eigenfunctions $\psi$ of the Laplacian on $\mathbb{S}^n$ or $\mathbb{T}^n$ satisfying $\Delta \psi=-\lambda \psi$ (with $\lambda=N(N+n-1)$ or $N^2$ on $\mathbb{S}^n$ or $\mathbb{T}^n$, respectively), and with a connected component of the nodal set of $\psi$ given by~$\Sigma$, up to an ambient diffeomorphism.


title: Coalition Resilient Outcomes in Max k-Cut Games

abstract: We investigate strong Nash equilibria in the \emph{max $k$-cut game}, where we are given an undirected edge-weighted graph together with a set $\{1,\ldots, k\}$ of $k$ colors. Nodes represent players and edges capture their mutual interests. The strategy set of each player $v$ consists of the $k$ colors. When players select a color they induce a $k$-coloring or simply a coloring. Given a coloring, the \emph{utility} (or \emph{payoff}) of a player $u$ is the sum of the weights of the edges $\{u,v\}$ incident to $u$, such that the color chosen by $u$ is different from the one chosen by $v$. Such games form some of the basic payoff structures in game theory, model lots of real-world scenarios with selfish agents and extend or are related to several fundamental classes of games. Very little is known about the existence of strong equilibria in max $k$-cut games. In this paper we make some steps forward in the comprehension of it. We first show that improving deviations performed by minimal coalitions can cycle, and thus answering negatively the open problem proposed in \cite{DBLP:conf/tamc/GourvesM10}. Next, we turn our attention to unweighted graphs. We first show that any optimal coloring is a 5-SE in this case. Then, we introduce $x$-local strong equilibria, namely colorings that are resilient to deviations by coalitions such that the maximum distance between every pair of nodes in the coalition is at most $x$. We prove that $1$-local strong equilibria always exist. Finally, we show the existence of strong Nash equilibria in several interesting specific scenarios.


title: Status of the vertex detector program of the CBM experiment at FAIR

abstract: The Compressed Baryonic Matter Experiment (CBM) is one of the core experiments of the future FAIR facility (Darmstadt/Germany). The fixed-target experiment will explore the phase diagram of strongly interacting matter in the regime of high net baryon densities with numerous rare probes. The Micro Vertex Detector (MVD) will determine the secondary decay vertex of open charm particles with $\sim 50~\rm \mu m$ precision, contribute to the background rejection in dielectron spectroscopy, and help to reconstruct neutral decay products of strange particles by means of missing mass identification. The MVD comprises four stations with 0.3 and $0.5\%~x/X_0$, which are placed between $5$ and $20~\rm cm$ downstream the target and inside vacuum. It will host highly-granular, next-generation Monolithic Active Pixel Sensors, with a spatial precision of $5\rm~\mu m$, a time resolution of $5 ~\rm \mu s$, and a peak rate capability of $\sim 700~\rm kHz/mm^2$. Moreover, a tolerance to $3\cdot10^{13}~\rm n_{eq}/cm^{2}$ and $\gtrsim 3~\rm Mrad$ are required. In this document, we summarize the status of sensor development, station prototyping, and the detector slow control.


title: On Lie algebras responsible for integrability of (1+1)-dimensional scalar evolution PDEs

abstract: Zero-curvature representations (ZCRs) are one of the main tools in the theory of integrable PDEs. In particular, Lax pairs for (1+1)-dimensional PDEs can be interpreted as ZCRs. In [arXiv:1303.3575], for any (1+1)-dimensional scalar evolution equation $E$, we defined a family of Lie algebras $F(E)$ which are responsible for all ZCRs of $E$ in the following sense. Representations of the algebras $F(E)$ classify all ZCRs of the equation $E$ up to local gauge transformations. In [arXiv:1804.04652] we showed that, using these algebras, one obtains necessary conditions for existence of a B\"acklund transformation between two given equations. The algebras $F(E)$ are defined in terms of generators and relations. In this paper we show that, using the algebras $F(E)$, one obtains some necessary conditions for integrability of (1+1)-dimensional scalar evolution PDEs, where integrability is understood in the sense of soliton theory. Using these conditions, we prove non-integrability for some scalar evolution PDEs of order $5$. Also, we prove a result announced in [arXiv:1303.3575] on the structure of the algebras $F(E)$ for certain classes of equations of orders $3$, $5$, $7$, which include KdV, mKdV, Kaup-Kupershmidt, Sawada-Kotera type equations. Among the obtained algebras for equations considered in this paper and in [arXiv:1804.04652], one finds infinite-dimensional Lie algebras of certain polynomial matrix-valued functions on affine algebraic curves of genus $1$ and $0$. In this approach, ZCRs may depend on partial derivatives of arbitrary order, which may be higher than the order of the equation $E$. The algebras $F(E)$ generalize Wahlquist-Estabrook prolongation algebras, which are responsible for a much smaller class of ZCRs.


title: Concentrating solutions for a fractional Kirchhoff equation with critical growth

abstract: In this paper we consider the following class of fractional Kirchhoff equations with critical growth: \begin{equation*} \left\{ \begin{array}{ll} \left(\varepsilon^{2s}a+\varepsilon^{4s-3}b\int_{\mathbb{R}^{3}}|(-\Delta)^{\frac{s}{2}}u|^{2}dx\right)(-\Delta)^{s}u+V(x)u=f(u)+|u|^{2^{*}_{s}-2}u \quad &\mbox{ in } \mathbb{R}^{3}, \\ u\in H^{s}(\mathbb{R}^{3}), \quad u>0 &\mbox{ in } \mathbb{R}^{3}, \end{array} \right. \end{equation*} where $\varepsilon>0$ is a small parameter, $a, b>0$ are constants, $s\in (\frac{3}{4}, 1)$, $2^{*}_{s}=\frac{6}{3-2s}$ is the fractional critical exponent, $(-\Delta)^{s}$ is the fractional Laplacian operator, $V$ is a positive continuous potential and $f$ is a superlinear continuous function with subcritical growth. Using penalization techniques and variational methods, we prove the existence of a family of positive solutions $u_{\varepsilon}$ which concentrates around a local minimum of $V$ as $\varepsilon\rightarrow 0$.


title: Progress and prospects of lattice supersymmetry

abstract: Supersymmetry plays prominent roles in the study of quantum field theory and in many proposals for potential new physics beyond the standard model, while lattice field theory provides a non-perturbative regularization suitable for strongly interacting systems. Lattice investigations of supersymmetric field theories are currently making significant progress, though many challenges remain to be overcome. In this brief overview I discuss particularly notable progress in three areas: supersymmetric Yang--Mills (SYM) theories in fewer than four dimensions, as well as both minimal N=1 SYM and maximal N=4 SYM in four dimensions. I also highlight super-QCD and sign problems as prominent challenges that will be important to address in future work.


title: On the non-diffusive Magneto-Geostrophic equation

abstract: Motivated by an equation arising in magnetohydrodynamics, we address the well-posedness theroy for the non-diffusive magneto-geostrophic equation. Namely, an active scalar equation in which the divergence-free drift velocity is one derivative more singular that the active scalar. In \cite{Friedlander-Vicol_3}, the authors prove that the non-diffusive equation is ill-posed in the sense of Hadamard in Sobolev spaces, but locally well posed in spaces of analytic functions. Here, we give an example of a steady state that is nonlinearly stable for periodic perturbations with initial data localized in frequency straight lines crossing the origin. For such well-prepared data, the local existence and uniqueness of solutions can be obtained in Sobolev spaces and the global existence holds under a size condition over the $H^{5/2^{+}}(\mathbb{T}^3)$ norm of the perturbation.


title: Gradient target propagation

abstract: We report a learning rule for neural networks that computes how much each neuron should contribute to minimize a giving cost function via the estimation of its target value. By theoretical analysis, we show that this learning rule contains backpropagation, Hebian learning, and additional terms. We also give a general technique for weights initialization. Our results are at least as good as those obtained with backpropagation. The neural networks are trained and tested in three problems: MNIST, MNIST-Fashion, and CIFAR-10 datasets. The associated code is available at https://github.com/tiago939/target.


title: Non-central limit theorems for functionals of random fields on hypersurfaces

abstract: This paper derives non-central asymptotic results for non-linear integral functionals of homogeneous isotropic Gaussian random fields defined on hypersurfaces in $\mathbb{R}^d$. We obtain the rate of convergence for these functionals. The results extend recent findings for solid figures. We apply the obtained results to the case of sojourn measures and demonstrate different limit situations.


title: On the Blok-Esakia theorem for universal classes

abstract: The Blok-Esakia theorem states that there is an isomorphism from the lattice of intermediate logics onto the lattice of normal extensions of Grzegorczyk modal logic. The extension for multi-conclusion consequence relations was obtained by Emil Je\v{r}\'abek as an application of canonical rules. We show that Je\v{r}\'abek's result follows already from Blok's algebraic proof. We also prove that the properties of strong structural completeness and strong universal completeness are preserved and reflects by the aforementioned isomorphism. These properties coincide with structural completeness and universal completeness respectively for single-conclusion consequence relations and, in particular, for logics.


title: The complexity of separation for levels in concatenation hierarchies

abstract: We investigate the complexity of the separation problem associated to classes of regular languages. For a class C, C-separation takes two regular languages as input and asks whether there exists a third language in C which includes the first and is disjoint from the second. First, in contrast with the situation for the classical membership problem, we prove that for most classes C, the complexity of C-separation does not depend on how the input languages are represented: it is the same for nondeterministic finite automata and monoid morphisms. Then, we investigate specific classes belonging to finitely based concatenation hierarchies. It was recently proved that the problem is always decidable for levels 1/2 and 1 of any such hierarchy (with inefficient algorithms). Here, we build on these results to show that when the alphabet is fixed, there are polynomial time algorithms for both levels. Finally, we investigate levels 3/2 and 2 of the famous Straubing-Th\'erien hierarchy. We show that separation is PSPACE-complete for level 3/2 and between PSPACE-hard and EXPTIME for level 2.


title: The post-Newtonian gravitomagnetic spin-octupole moment of an oblate rotating body and its effects on an orbiting test particle; are they measurable in the Solar System?

abstract: We analytically work out the orbital effects induced by the gravitomagnetic spin-octupole moment of an extended spheroidal rotating body endowed with angular momentum $\boldsymbol{S}$ and quadrupole mass moment $J_2$. Our results, proportional to $S J_2 c^{-2}$, hold for an arbitrary orientation of the body's symmetry axis $\boldsymbol{\hat{S}}$ and a generic orbital configuration of the test particle. Such effects may be measurable, in principle, with a dedicated spacecraft-based mission to Jupiter. For a moderately eccentric and fast path, the gravitomagnetic precessions of the node and the pericenter of a dedicated orbiter could be as large as $400~\textrm{milliarcseconds~per~year}$ or even $1,600-4,000~\textrm{milliarcseconds~per~year}$ depending on the orientation of its orbital plane in space. Numerical simulations of the Earth-probe range-rate signal confirm such expectations since its magnitude reaches the $\simeq 0.03-0.3~\textrm{millimeter~per~second}$ level after just 1 day. The precision of the current two-way Ka-band Doppler measurements of the spacecraft Juno, presently orbiting Jupiter, amounts to $\simeq 0.003~\textrm{millimeter~per~second}$ after $1,000$ seconds. Also other general relativistic effects could be measurable, including also those proportional to $GMJ_2c^{-2}$, never put to the test so far. Most of the competing Newtonian signals due to the classical multipoles of the planet's gravity field have quite different temporal signatures with respect to the post-Newtonian ones, making, thus, potentially easier disentangling them.


title: Data-driven optimization of processes with degrading equipment

abstract: In chemical and manufacturing processes, unit failures due to equipment degradation can lead to process downtime and significant costs. In this context, finding an optimal maintenance strategy to ensure good unit health while avoiding excessive expensive maintenance activities is highly relevant. We propose a practical approach for the integrated optimization of production and maintenance capable of incorporating uncertain sensor data regarding equipment degradation. To this end, we integrate data-driven stochastic degradation models from Condition-based Maintenance into a process level mixed-integer optimization problem using Robust Optimization. We reduce computational expense by utilizing both analytical and data-based approximations and optimize the Robust optimization parameters using Bayesian Optimization. We apply our framework to five instances of the State-Task-Network and demonstrate that it can efficiently compromise between equipment availability and cost of maintenance.


title: Ensemble Kalman Filters for reliability estimation in perfusion inference

abstract: We consider the solution of inverse problems in dynamic contrast-enhanced imaging by means of Ensemble Kalman Filters. Our quantity of interest is blood perfusion, i.e. blood flow rates in tissue. While existing approaches to compute blood perfusion parameters for given time series of radiological measurements mainly rely on deterministic, deconvolution-based methods, we aim at recovering probabilistic solution information for given noisy measurements. To this end, we model radiological image capturing as sequential data assimilation process and solve it by an Ensemble Kalman Filter. Thereby, we recover deterministic results as ensemble-based mean and are able to compute reliability information such as probabilities for the perfusion to be in a given range. Our target application is the inference of blood perfusion parameters in the human brain. A numerical study shows promising results for artificial measurements generated by a Digital Perfusion Phantom.


title: Robust Particle Filtering via Bayesian Nonparametric Outlier Modeling

abstract: This paper is concerned with the online estimation of a nonlinear dynamic system from a series of noisy measurements. The focus is on cases wherein outliers are present in-between normal noises. We assume that the outliers follow an unknown generating mechanism which deviates from that of normal noises, and then model the outliers using a Bayesian nonparametric model called Dirichlet process mixture (DPM). A sequential particle-based algorithm is derived for posterior inference for the outlier model as well as the state of the system to be estimated. The resulting algorithm is termed DPM based robust PF (DPM-RPF). The nonparametric feature makes this algorithm allow the data to "speak for itself" to determine the complexity and structure of the outlier model. Simulation results show that it performs remarkably better than two state-of-the-art methods especially when outliers appear frequently along time.


title: Optimal distributed control of a stochastic Cahn-Hilliard equation

abstract: We study an optimal distributed control problem associated to a stochastic Cahn-Hilliard equation with a classical double-well potential and Wiener multiplicative noise, where the control is represented by a source-term in the definition of the chemical potential. By means of probabilistic and analytical compactness arguments, existence of an optimal control is proved. Then the linearized system and the corresponding backward adjoint system are analysed through monotonicity and compactness arguments, and first-order necessary conditions for optimality are proved.


title: Symmetric Liapunov center theorem for orbit with nontrivial isotropy group

abstract: In this article we prove two versions of the Liapunov center theorem for symmetric potentials. We consider a~second order autonomous system $\ddot q(t)=-\nabla U(q(t))$ in the presence of symmetries of a compact Lie group $\Gamma$ acting linearly on $\mathbb{R}^n.$ We look for non-stationary periodic solutions of this system in a~neighborhood of an orbit of critical points of the potential $U.$


title: The Multi-Scale Impact of the Alzheimer's Disease in the Topology Diversity of Astrocytes Molecular Communications Nanonetworks

abstract: The Internet of Bio-Nano-Things is a new paradigm that can bring novel remotely controlled actuation and sensing techniques inside the human body. Towards precise bionano sensing techniques in the brain, we investigate the challenges of modelling spatial distribution of astrocyte networks in developing a mathematical framework that lay the groundwork for future early-detection techniques of neurodegenerative disease. In this paper, we investigate the effect of the $\beta$-amyloid plaques in astrocytes with the Alzheimer's disease. We developed a computation model of healthy and Alzheimer's diseases astrocytes networks from the state of the art models and results that account for the intracellular pathways, IP$_3$ dynamics, gap junctions, voltage-gated calcium channels and astrocytes volumes. We also implemented different types of astrocytes network topologies including shortcut networks, regular degree networks, Erd\"os R\'enyi networks and link radius networks. A proposed multi-scale stochastic computational model captures the relationship between the intracellular and intercellular scales. Lastly, we designed and evaluated a single-hop communication system with frequency modulation using metrics such as propagation extend, molecular delay and channel gain. The results show that the more unstable but at the same time lower level oscillations of Alzheimer's astrocyte networks can create a multi-scale effect on communication between astrocytes with increased molecular delay and lower channel gain compared to healthy astrocytes, with an elevated impact on Erd\"os R\'enyi networks and link radius networks topologies.


title: Building a Casimir Metrology Platform with a Commercial MEMS Accelerometer

abstract: The Casimir Effect is a physical manifestation of quantum fluctuations of the electromagnetic vacuum. When two metal plates are placed closely together, typically much less than a micron, the long wavelength modes between them are frozen out, giving rise to a net attractive force between the plates, scaling as d^-4 (or d^-3 for a spherical-planar geometry) even when they are not electrically charged. In this paper we observe the Casimir Effect in ambient conditions using a modified capacitive MEMS accelerometer. Using a feedback assisted pick-and-place assembly process we are able to attach various micro-structures onto the post-release MEMS, converting it from an inertial force sensor to a direct force measurement platform with pN resolution. With this system we are able to directly measure the Casimir force between a silver-coated microsphere and gold-coated silicon plate. This device is a step towards leveraging the Casimir Effect for cheap, sensitive, room temperature quantum metrology.


title: The missing mass conundrum of post-common-envelope planetary nebulae

abstract: Most planetary nebulae (PNe) show beautiful, axisymmetric morphologies despite their progenitor stars being essentially spherical. Angular momentum provided by a close binary companion is widely invoked as the main agent that would help eject an axisymmetric nebula, after a brief phase of engulfment of the secondary within the envelope of the Asymptotic Giant Branch (AGB) star, known as a common envelope (CE). The evolution of the AGB would be thus interrupted abruptly, its (still quite) massive envelope fully ejected to form the PN, which should be more massive than a PN coming from the same star were it single. We test this hypothesis by deriving the ionised+molecular masses of a pilot sample of post-CE PNe and comparing them to a regular PNe sample. We find the mass of post-CE PNe to be actually lower, on average, than their regular counterparts, raising some doubts on our understanding of these intriguing objects.


title: Constrained correlated-Gaussians for hyperspherical calculations

abstract: We formulate a hyperspherical approach within standard configuration interaction calculations aiming at a description of large-scale dynamics of $N$-particle system. The channel wave function and the adiabatic channel energy are determined by solving a hyperradius-constrained eigenvalue problem of the adiabatic Hamiltonian. The needed matrix elements are analytically evaluated using correlated Gaussians with good orbital angular momentum and parity. The feasibility of the approach is tested in three-$\alpha$ system. A spectrum of the adiabatic channel energies is determined depending on the degree of localization of the basis functions.


title: Sparse constrained projection approximation subspace tracking

abstract: In this paper we revisit the well-known constrained projection approximation subspace tracking algorithm (CPAST) and derive, for the first time, non-asymptotic error bounds. Furthermore, we introduce a novel sparse modification of CPAST which is able to exploit sparsity in the underlying covariance structure. We present a non-asymptotic analysis of the proposed algorithm and study its empirical performance on simulated and real data.


title: Axisymmetric lattice Boltzmann model for multiphase flows with large density ratio

abstract: In this paper, a novel lattice Boltzmann (LB) model based on the Allen-Cahn phase-field theory is proposed for simulating axisymmetric multiphase flows. The most striking feature of the model is that it enables to handle multiphase flows with large density ratio, which are unavailable in all previous axisymmetric LB models. The present model utilizes two LB evolution equations, one of which is used to solve fluid interface, and another is adopted to solve hydrodynamic properties. To simulate axisymmetric multiphase flows effectively, the appropriate source term and equilibrium distribution function are introduced into the LB equation for interface tracking, and simultaneously, a simple and efficient forcing distribution function is also delicately designed in the LB equation for hydrodynamic properties. Unlike many existing LB models, the source and forcing terms of the model arising from the axisymmetric effect include no additional gradients, and consequently, the present model contains only one non-local phase field variable, which in this regard is much simpler. We further conducted the Chapman-Enskog analysis to demonstrate the consistencies of our present MRT-LB model with the axisymmetric Allen-Cahn equation and hydrodynamic equations. A series of numerical examples, including static droplet, oscillation of a viscous droplet, breakup of a liquid thread, and bubble rising in a continuous phase, are used to test the performance of the proposed model. It is found that the present model can generate relatively small spurious velocities and can capture interfacial dynamics with higher accuracy than the previously improved axisymmetric LB model. Besides, it is also found that our present numerical results show excellent agreement with analytical solutions or available experimental data for a wide range of density ratios, which highlights the strengths of the proposed model.


title: RCanopus: Making Canopus Resilient to Failures and Byzantine Faults

abstract: Distributed consensus is a key enabler for many distributed systems including distributed databases and blockchains. Canopus is a scalable distributed consensus protocol that ensures that live nodes in a system agree on an ordered sequence of operations (called transactions). Unlike most prior consensus protocols, Canopus does not rely on a single leader. Instead, it uses a virtual tree overlay for message dissemination to limit network traffic across oversubscribed links. It leverages hardware redundancies, both within a rack and inside the network fabric, to reduce both protocol complexity and communication overhead. These design decisions enable Canopus to support large deployments without significant performance degradation. The existing Canopus protocol is resilient in the face of node and communication failures, but its focus is primarily on performance, so does not respond well to other types of failures. For example, the failure of a single rack of servers causes all live nodes to stall. The protocol is also open to attack by Byzantine nodes, which can cause different live nodes to conclude the protocol with different transaction orders. In this paper, we describe RCanopus (`resilent Canopus') which extends Canopus to add liveness, that is, allowing live nodes to make progress, when possible, despite many types of failures. This requires RCanopus to accurately detect and recover from failure despite using unreliable failure detectors, and tolerance of Byzantine attacks. Second, RCanopus guarantees safety, that is, agreement amongst live nodes of transaction order, in the presence of Byzantine attacks and network partitioning.


title: Bayesian analysis of the hardening in AMS-02 nuclei spectra

abstract: Based on the precise nuclei data released by AMS-02, we study the spectra hardening of both the primary (proton, helium, carbon, oxygen, and the primary component of nitrogen) and the secondary (anti-proton, lithium, beryllium, boron and the secondary component of nitrogen) cosmic ray (CR) nuclei. With the diffusion-reacceleration model, we consider two schemes to reproduce the hardening in the spectra: (i) A high-rigidity break in primary source injection; (ii) A high-rigidity break in diffusion coefficient. The global fitting results show that both schemes could reproduce the spectra hardening in current status. More precise multi-TV data (especially the data of secondary CR species) is needed if one wants to distinguish these two schemes. In our global fitting, each of the nuclei species is allocated an independent solar modulation potential and a re-scale factor (which accounts for the isotopic abundance for primary nuclei species and uncertainties of production cross section or inhomogeneity of CR sources and propagation for secondary nuclei species). The fitting values of these two parameter classes show us some hints on some new directions in CR physics. All the fitted re-scale factors of primary nuclei species have values that systematically smaller than 1.0, while that of secondary nuclei species are systematically larger than 1.0. Moreover, both the re-scale factor and solar modulation potential of beryllium have values which are obviously different from other species. This might indicate that beryllium has the specificity not only on its propagation in the heliosphere, but also on its production cross section. All these new results should be seriously studied in the future.


title: BioSentVec: creating sentence embeddings for biomedical texts

abstract: Sentence embeddings have become an essential part of today's natural language processing (NLP) systems, especially together advanced deep learning methods. Although pre-trained sentence encoders are available in the general domain, none exists for biomedical texts to date. In this work, we introduce BioSentVec: the first open set of sentence embeddings trained with over 30 million documents from both scholarly articles in PubMed and clinical notes in the MIMIC-III Clinical Database. We evaluate BioSentVec embeddings in two sentence pair similarity tasks in different text genres. Our benchmarking results demonstrate that the BioSentVec embeddings can better capture sentence semantics compared to the other competitive alternatives and achieve state-of-the-art performance in both tasks. We expect BioSentVec to facilitate the research and development in biomedical text mining and to complement the existing resources in biomedical word embeddings. BioSentVec is publicly available at https://github.com/ncbi-nlp/BioSentVec


title: Bloom type upper bounds in the product BMO setting

abstract: For a bounded singular integral $T_n$ in $\mathbb{R}^n$ and a bounded singular integral $T_m$ in $\mathbb{R}^m$ we prove that $$ \| [T_n^1, [b, T_m^2]] \|_{L^p(\mu) \to L^p(\lambda)} \lesssim_{[\mu]_{A_p}, [\lambda]_{A_p}} \|b\|_{\operatorname{BMO}_{\textrm{prod}}(\nu)}, $$ where $p \in (1,\infty)$, $\mu, \lambda \in A_p$ and $\nu := \mu^{1/p}\lambda^{-1/p}$. Here $T_n^1$ is $T_n$ acting on the first variable, $T_m^2$ is $T_m$ acting on the second variable, $A_p$ stands for the bi-parameter weights of $\mathbb{R}^n \times \mathbb{R}^m$ and $\operatorname{BMO}_{\textrm{prod}}(\nu)$ is a weighted product BMO space.


title: On the k-Boundedness for Existential Rules

abstract: The chase is a fundamental tool for existential rules. Several chase variants are known, which differ on how they handle redundancies possibly caused by the introduction of nulls. Given a chase variant, the halting problem takes as input a set of existential rules and asks if this set of rules ensures the termination of the chase for any factbase. It is well-known that this problem is undecidable for all known chase variants. The related problem of boundedness asks if a given set of existential rules is bounded, i.e., whether there is a predefined upper bound on the number of (breadth-first) steps of the chase, independently from any factbase. This problem is already undecidable in the specific case of datalog rules. However, knowing that a set of rules is bounded for some chase variant does not help much in practice if the bound is unknown. Hence, in this paper, we investigate the decidability of the k-boundedness problem, which asks whether a given set of rules is bounded by an integer k. We prove that k-boundedness is decidable for three chase variants, namely the oblivious, semi-oblivious and restricted chase.


title: WikiHow: A Large Scale Text Summarization Dataset

abstract: Sequence-to-sequence models have recently gained the state of the art performance in summarization. However, not too many large-scale high-quality datasets are available and almost all the available ones are mainly news articles with specific writing style. Moreover, abstractive human-style systems involving description of the content at a deeper level require data with higher levels of abstraction. In this paper, we present WikiHow, a dataset of more than 230,000 article and summary pairs extracted and constructed from an online knowledge base written by different human authors. The articles span a wide range of topics and therefore represent high diversity styles. We evaluate the performance of the existing methods on WikiHow to present its challenges and set some baselines to further improve it.


title: Constraining Quantum Fields using Modular Theory

abstract: Tomita-Takesaki modular theory provides a set of algebraic tools in quantum field theory that is suitable for the study of the information-theoretic properties of states. For every open set in spacetime and choice of two states, the modular theory defines a positive operator known as the relative modular operator that decreases monotonically under restriction to subregions. We study the consequences of this operator monotonicity inequality for correlation functions in quantum field theory. We do so by constructing a one-parameter Renyi family of information-theoretic measures from the relative modular operator that inherit monotonicity by construction and reduce to correlation functions in special cases. In the case of finite quantum systems, this Renyi family is the sandwiched Renyi divergence and we obtain a new simple proof of its monotonicity. Its monotonicity implies a class of constraints on correlation functions in quantum field theory, only a small set of which were known to us. We explore these inequalities for free fields and conformal field theory. We conjecture that the second null derivative of Renyi divergence is non-negative which is a generalization of the quantum null energy condition to the Renyi family.


title: Ranks of monoids of endomorphisms of a finite undirected path

abstract: In this paper we study the widely considered endomorphisms and weak endomorphisms of a finite undirected path from monoid generators perspective. Our main aim is to determine the ranks of the monoids $wEnd P_n$ and $End P_n$ of all weak endomorphisms and all endomorphisms of the undirected path $P_n$ with $n$ vertices. We also consider strong and strong weak endomorphisms of $P_n$.


title: On the existence of closed $C^{1,1}$ curves of constant curvature

abstract: We show that on any Riemannian surface for each $0<c<\infty$ there exists an immersed $C^{1,1}$ curve that is smooth and with curvature equal to $\pm c$ away from a point. We give examples showing that, in general, the regularity of the curve obtained by our procedure cannot be improved.


title: Real-time Neural-based Input Method

abstract: The input method is an essential service on every mobile and desktop devices that provides text suggestions. It converts sequential keyboard inputs to the characters in its target language, which is indispensable for Japanese and Chinese users. Due to critical resource constraints and limited network bandwidth of the target devices, applying neural models to input method is not well explored. In this work, we apply a LSTM-based language model to input method and evaluate its performance for both prediction and conversion tasks with Japanese BCCWJ corpus. We articulate the bottleneck to be the slow softmax computation during conversion. To solve the issue, we propose incremental softmax approximation approach, which computes softmax with a selected subset vocabulary and fix the stale probabilities when the vocabulary is updated in future steps. We refer to this method as incremental selective softmax. The results show a two order speedup for the softmax computation when converting Japanese input sequences with a large vocabulary, reaching real-time speed on commodity CPU. We also exploit the model compressing potential to achieve a 92% model size reduction without losing accuracy.


title: Addressing the acoustic tachocline anomaly and the lithium depletion problem at the same time

abstract: Current standard solar models neither account properly for the photospheric lithium abundance nor reproduce the inferred solar sound speed profile. Diffusive overshooting at the base of the solar convective envelope has previously been shown to solve either of these model inadequacies. In this paper, we present an analysis of solar models with four different parametrizations of diffusive overshooting. We find that these models are able to recover the correct lithium depletion, regardless of the parametrization, if overshooting is suppressed, during the early evolutionary stages. Further, parametrizations of diffusive overshooting have been shown to improve the inferred sound speed profile. However, none of the presented models are able to simultaneously solve both model inadequacies, showing that diffusive overshooting on its own is deficient to account for observations.


title: Revisiting Distributional Correspondence Indexing: A Python Reimplementation and New Experiments

abstract: This paper introduces PyDCI, a new implementation of Distributional Correspondence Indexing (DCI) written in Python. DCI is a transfer learning method for cross-domain and cross-lingual text classification for which we had provided an implementation (here called JaDCI) built on top of JaTeCS, a Java framework for text classification. PyDCI is a stand-alone version of DCI that exploits scikit-learn and the SciPy stack. We here report on new experiments that we have carried out in order to test PyDCI, and in which we use as baselines new high-performing methods that have appeared after DCI was originally proposed. These experiments show that, thanks to a few subtle ways in which we have improved DCI, PyDCI outperforms both JaDCI and the above-mentioned high-performing methods, and delivers the best known results on the two popular benchmarks on which we had tested DCI, i.e., MultiDomainSentiment (a.k.a. MDS -- for cross-domain adaptation) and Webis-CLS-10 (for cross-lingual adaptation). PyDCI, together with the code allowing to replicate our experiments, is available at https://github.com/AlexMoreo/pydci .


title: Analyzing and Interpreting Convolutional Neural Networks in NLP

abstract: Convolutional neural networks have been successfully applied to various NLP tasks. However, it is not obvious whether they model different linguistic patterns such as negation, intensification, and clause compositionality to help the decision-making process. In this paper, we apply visualization techniques to observe how the model can capture different linguistic features and how these features can affect the performance of the model. Later on, we try to identify the model errors and their sources. We believe that interpreting CNNs is the first step to understand the underlying semantic features which can raise awareness to further improve the performance and explainability of CNN models.


title: Geometric inequalities for critical metrics of the volume functional

abstract: In this article, we investigate the geometry of critical metrics of the volume functional on an $n$-dimensional compact manifold with (possibly disconnected) boundary. We establish sharp estimates to the mean curvature and area of the boundary components of critical metrics of the volume functional on a compact manifold. In addition, localized version estimates to the mean curvature and area of the boundary of critical metrics are also obtained.


title: A new spectroscopically-determined potential energy surface and \emph{ab initio} dipole moment surface for high accuracy HCN intensity calculations

abstract: Calculations of transition intensities for small molecules like H$_2$O, CO, CO$_2$ based on s high-quality potential energy surface (PES) and dipole moment surface (DMS) can nowadays reach sub-percent accuracy. An extension of this treatment to a system with more complicated internal structure -- HCN/HNC (hydrogen cyanide/hydrogen isocyanide) is presented. A highly accurate spectroscopically-determined PES is built based on a recent \aipes\ of the HCN/HNC isomerizing system. 588 levels of HCN with $J$~=~(0,~2,~5,~9,~10) are reproduced with a standard deviation from the experimental values of $\sigma=0.0373$ \cm\ and 101 HNC levels with $J$~=~(0,~2) are reproduced with $\sigma=0.37$ \cm. The dependence of the HCN rovibrational transition intensities on the PES is tested for the wavenumbers below 7200 \cm. Intensities are computed using wavefunctions generated from an \ai\ and our optimized PES. These intensities differ from each other by more than 1\%\ for about 11\% of the transitions tested, showing the need to use an optimized PES to obtain wavefunctions for high-accuracy predictions of transition intensities. An \ai\ DMS is computed for HCN geometries lying below 11~200 \cm. Intensities for HCN transitions are calculated using a new fitted PES and newly calculated DMS. The resulting intensities compare much better with experiment than previous calculations. In particular, intensities of the H--C stretching and bending fundamental transitions are predicted with the subpercent accuracy.


title: Topological and metric recurrence for general Markov chains

abstract: Using ideas borrowed from topological dynamics and ergodic theory we introduce topological and metric versions of the recurrence property for general Markov chains. The main question of interest here is how large is the set of recurrent points. We show that under some mild technical assumptions the set of non recurrent points is of zero reference measure. Necessary and sufficient conditions for a reference measure $m$ (which needs not to be dynamically invariant) to satisfy this property are obtained. These results are new even in the purely deterministic setting.


title: The Exact Amplitudes of Six Polarization Modes for Gravitational Waves

abstract: The formalism of the exact six polarization modes of gravitational waves is constructed in terms of both the small metric perturbations and the Newman-Penrose scalars. The obtained formulae are applicable to any metric-compatible gravity theories whose gravitational waves propagate along either the null or non-null geodesics. Once a gravity theory, specifically its linearized wave equation, is written, comparison to the observed data of the laser interferometer experiments is direct.


title: Assessing the Impact of Gamification on Self-Directed Learning in Medical Students

abstract: Gamification refers to the process of adding game elements to a task. Of late, this process has been introduced in pedagogical settings to capture the attention and interest of students. In our study, we apply the process to Anatomy students and assess the impact on their learning behaviour. We apply a novel path analysis to assess the change in their learning behaviour after a semester of games-enhanced small group sessions. We find that too much games could reduce their enjoyment of the underlying learning. However, we also find that students appreciate a change in the traditional model of instruction - they embraced peer-to-peer learning in the classroom.


title: Green Peas in X-rays

abstract: Green Peas represent a population of compact, highly star-forming dwarf galaxies at redshifts z ~ 0.2-0.3 that have recently been found to show signatures of ultraviolet ionizing radiation leakage. They are being considered as analogs to high-redshift star-forming galaxies, possibly responsible for the cosmic reionization. Despite the intensive studies of Green Peas in the ultraviolet and optical domains, their X-ray properties have only so far been probed by nearby analogs. In this paper, we present the first measurements of Green Peas in the X-ray domain to constrain their spectral properties and fluxes at high energies. We analyzed XMM-Newton observations of three Green Pea sources. For two of them, we found an X-ray luminosity exceeding by a half-order of magnitude its predicted value, derived from the star formation rate and metallicity. Only an upper limit of the X-ray luminosity was derived for the third studied galaxy. Our results thus indicate that at least some Green Peas produce copious amounts of highly energetic photons, larger than detected in other star-forming galaxies. We discuss possible physical scenarios for the measured X-ray excess, including the presence of a hidden active galactic nucleus, a larger population of X-ray binaries, or ultra-luminous X-ray sources. Future spatially resolved X-ray images will discriminate between the models. Larger Green Pea samples will provide a possible link between the X-ray properties and the leaking ultraviolet radiation.


title: Slingshot prominences: nature's wind gauges

abstract: Mass loss rates for the tenuous, hot winds of cool stars are extremely difficult to measure, yet they are a crucial ingredient in the stars' rotational evolution. We present a new method for measuring these mass loss rates in young, rapidly-rotating stars. These stars are known to support systems of "slingshot prominences" fed by hot wind material flowing up from the stellar surface into the summits of closed magnetic loop structures. The material gathers and cools near the co-rotation radius until its density becomes large enough that it is visible as a transient absorption feature in the hydrogen Balmer lines and strong resonance lines such as Ca II H \&\ K. Here we present the key insight that the sonic point usually lies well below the condensation region. The flow at the wind base is therefore unaffected by the presence of an overlying prominence, so we can use the observed masses and recurrence times of the condensations to estimate the mass flux in the wind. These measurements extend the relationship between mass loss rate per unit surface area and X-ray flux to span 5 orders of magnitude. They demonstrate no evidence of the suspected weakening of stellar mass loss rates at high X-ray flux levels.


title: Genesis and impulsive evolution of the 2017 September 10 coronal mass ejection

abstract: The X8.2 event of 10 September 2017 provides unique observations to study the genesis, magnetic morphology and impulsive dynamics of a very fast CME. Combining GOES-16/SUVI and SDO/AIA EUV imagery, we identify a hot ($T\approx 10-15$ MK) bright rim around a quickly expanding cavity, embedded inside a much larger CME shell ($T\approx 1-2$ MK). The CME shell develops from a dense set of large AR loops ($\gtrsim$0.5 $R_s$), and seamlessly evolves into the CME front observed in LASCO C2. The strong lateral overexpansion of the CME shell acts as a piston initiating the fast EUV wave. The hot cavity rim is demonstrated to be a manifestation of the dominantly poloidal flux and frozen-in plasma added to the rising flux rope by magnetic reconnection in the current sheet beneath. The same structure is later observed as the core of the white light CME, challenging the traditional interpretation of the CME three-part morphology. The large amount of added magnetic flux suggested by these observations explains the extreme accelerations of the radial and lateral expansion of the CME shell and cavity, all reaching values of $5 - 10$ km s$^{-2}$. The acceleration peaks occur simultaneously with the first RHESSI $100-300$ keV hard X-ray burst of the associated flare, further underlining the importance of the reconnection process for the impulsive CME evolution. Finally, the much higher radial propagation speed of the flux rope in relation to the CME shell causes a distinct deformation of the white light CME front and shock.


title: The population of hot subdwarf stars studied with Gaia II. The Gaia DR2 catalogue of hot subluminous stars

abstract: Based on data from the ESA Gaia Data Release 2 (DR2) and several ground-based, multi-band photometry surveys we compiled an all-sky catalogue of $39\,800$ hot subluminous star candidates selected in Gaia DR2 by means of colour, absolute magnitude and reduced proper motion cuts. We expect the majority of the candidates to be hot subdwarf stars of spectral type B and O, followed by blue horizontal branch stars of late B-type (HBB), hot post-AGB stars, and central stars of planetary nebulae. The contamination by cooler stars should be about $10\%$. The catalogue is magnitude limited to Gaia $G<19\,{\rm mag}$ and covers the whole sky. Except within the Galactic plane and LMC/SMC regions, we expect the catalogue to be almost complete up to about $1.5\,{\rm kpc}$. The main purpose of this catalogue is to serve as input target list for the large-scale photometric and spectroscopic surveys which are ongoing or scheduled to start in the coming years. In the long run, securing a statistically significant sample of spectroscopically confirmed hot subluminous stars is key to advance towards a more detailed understanding of the latest stages of stellar evolution for single and binary stars.


title: On the Topological Nature of the Hawking Temperature of Black Holes

abstract: In this work we determine that the Hawking temperature of black holes possesses a purely topological nature. We find a very simple but powerful formula, based on a topological invariant known as the Euler characteristic, which is able to provide the exact Hawking temperature of any two-dimensional black hole -- and in fact of any metric that can be dimensionally reduced to two dimensions -- in any given coordinate system, introducing a covariant way to determine the temperature only using virtually trivial computations. We apply the topological temperature formula to several known black hole systems as well as to the Hawking emission of solitons of integrable equations.


title: Circuits through prescribed edges

abstract: We prove that a connected graph contains a circuit---a closed walk that repeats no edges---through any $k$ prescribed edges if and only if it contains no odd cut of size at most $k$.


title: GONG p-mode parameters through two solar cycles

abstract: We investigate the parameters of global solar p-mode oscillations, namely damping width $\Gamma$, amplitude $A$, mean squared velocity $\langle v^2\rangle$, energy $E$, and energy supply rate $\mathrm{d}E/\mathrm{d} t$, derived from two solar cycles' worth (1996 - 2018) of Global Oscillation Network Group (GONG) time series for harmonic degrees $l=0 - 150$. We correct for the effect of fill factor, apparent solar radius, and spurious jumps in the mode amplitudes. We find that the amplitude of the activity related changes of $\Gamma$ and $A$ depends on both frequency and harmonic degree of the modes, with the largest variations of $\Gamma$ for modes with $2400\,\mu\text{Hz}\le \nu \le 3300\,\mu\text{Hz}$ and $31\le l \le 60$ with a min-to-max variation of $26.6\pm0.3\%$ and of $A$ for modes with $2400\,\mu\text{Hz}\le\nu\le 3300\,\mu\text{Hz}$ and $61\le l \le 100$ with a min-to-max variation of $27.4\pm0.4\%$. The level of correlation between the solar radio flux $F_{10.7}$ and mode parameters also depends on mode frequency and harmonic degree. As a function of mode frequency, the mode amplitudes are found to follow an asymmetric Voigt profile with $\nu_{\text{max}}=3073.59\pm0.18\,\mu\text{Hz}$. From the mode parameters, we calculate physical mode quantities and average them over specific mode frequency ranges. This way, we find that the mean squared velocities $\langle v^2\rangle$ and energies $E$ of p modes are anti-correlated with the level of activity, varying by $14.7\pm0.3\%$ and $18.4\pm0.3\%$, respectively, and that the mode energy supply rates show no significant correlation with activity. With this study we expand previously published results on the temporal variation of solar p-mode parameters. Our results will be helpful to future studies of the excitation and damping of p modes, i.e., the interplay between convection, magnetic field, and resonant acoustic oscillations.


title: On the number of limit cycles in asymmetric neural networks

abstract: The comprehension of the mechanisms at the basis of the functioning of complexly interconnected networks represents one of the main goals of neuroscience. In this work, we investigate how the structure of recurrent connectivity influences the ability of a network to have storable patterns and in particular limit cycles, by modeling a recurrent neural network with McCulloch-Pitts neurons as a content-addressable memory system. A key role in such models is played by the connectivity matrix, which, for neural networks, corresponds to a schematic representation of the "connectome": the set of chemical synapses and electrical junctions among neurons. The shape of the recurrent connectivity matrix plays a crucial role in the process of storing memories. This relation has already been exposed by the work of Tanaka and Edwards, which presents a theoretical approach to evaluate the mean number of fixed points in a fully connected model at thermodynamic limit. Interestingly, further studies on the same kind of model but with a finite number of nodes have shown how the symmetry parameter influences the types of attractors featured in the system. Our study extends the work of Tanaka and Edwards by providing a theoretical evaluation of the mean number of attractors of any given length $L$ for different degrees of symmetry in the connectivity matrices.


title: Young-measure solutions for multidimensional systems of conservation laws

abstract: We explore Young measure solutions of systems of conservation laws through an alternative variational method that introduces a suitable, non-negative error functional to measure departure of feasible fields from being a weak solution. Young measure solutions are then understood as being generated by minimizing sequences for such functional much in the same way as in non-convex, vector variational problems. We establish an existence result for such generalized solutions based on an appropriate structural condition on the system. We finally discuss how the classic concept of a Young measure solution can be improved, and support our arguments by considering a scalar, single equation in dimension one.


title: Hyperfine induced transitions 1S0 - 3D1 in Yb

abstract: Parity violation experiment in Yb is made on the strongly forbidden M1 transition 6s^2 1S0 \to 5d6s 3D1. The hyperfine mixing of the 5d6s 3D1 and 5d6s 3D2 levels opens E2 channel, whose amplitude differs for F-sublevels of the 3D1 level. This effect may be important for the experimental search for the nuclear-spin-dependent parity violation effects predominantly caused by the nuclear anapole moment.


title: Ground state for the relativistic one electron atom

abstract: We study the Dirac-Maxwell system coupled with an external potential of Coulomb type. We use the Foldy--Wouthuysen (unitary) transformation of the Dirac operator and its realization as an elliptic problem in the 4-dim half space $\mathbb{R}^4_{+}$ with Neumann boundary condition. Using this approach we study the existence of a "ground state" solution.


title: Dust levitation in an inverse sheath

abstract: The results of an analysis of the physics of levitation of negatively charged dust particles over a surface (wall) in an inverse sheath are reported. It is shown that under suitable parameter regime, the ion-drag force may balance the combined electrostatic and gravitational force on the dust particles owing to its hollow profile as one moves away from the surface. Our analysis shows that the parameter regimes in which such a situation may result is realizable in laboratory and space plasma environments, particularly the near-surface dayside lunar plasma. The lunar surface and dust grains are electrostatically charged due to the interaction with the solar wind plasma environment and the photoemission of electrons due to solar UV radiation. This results in a process that charges the surface positively and generates a near-surface photoelectron inverse plasma sheath. The potential structure changes from a monotonic classical sheath to an inverse sheath as the emitted electron density becomes larger than the plasma electron density. In a relatively newer, recently developed charging model, called the Patched Charge Model, it has shown both theoretically and experimentally that even in photoelectron-rich environment, dust particles lying on a regolith surface can attain large negative potential due to formation of micro cavities. This negative potential may reach such values so that dust mobilization and lofting may become possible. In our work, we have assumed the existence of such negatively charged dust particles in a photoelectron-rich environment and argue that once the dust lofting is effected, the levitation can be sustained through the ion-drag force. The conditions of levitation are investigated for these dust particles and the levitation distances from the lunar surface are calculated.


title: Double-precision FPUs in High-Performance Computing: an Embarrassment of Riches?

abstract: Among the (uncontended) common wisdom in High-Performance Computing (HPC) is the applications' need for large amount of double-precision support in hardware. Hardware manufacturers, the TOP500 list, and (rarely revisited) legacy software have without doubt followed and contributed to this view. In this paper, we challenge that wisdom, and we do so by exhaustively comparing a large number of HPC proxy application on two processors: Intel's Knights Landing (KNL) and Knights Mill (KNM). Although similar, the KNM and KNL architecturally deviate at one important point: the silicon area devoted to double-precision arithmetic's. This fortunate discrepancy allows us to empirically quantify the performance impact in reducing the amount of hardware double-precision arithmetic. Our analysis shows that this common wisdom might not always be right. We find that the investigated HPC proxy applications do allow for a (significant) reduction in double-precision with little-to-no performance implications. With the advent of a failing of Moore's law, our results partially reinforce the view taken by modern industry (e.g. upcoming Fujitsu ARM64FX) to integrate hybrid-precision hardware units.


title: Optimal estimation of entanglement and discord in two-qubit states

abstract: Recently, the fast development of quantum technologies led to the need for tools allowing the characterization of quantum resources. In particular, the ability to estimate non-classical aspects, e.g. entanglement and quantum discord, in two-qubit systems, is relevant to optimise the performance of quantum information processes. Here we present an experiment in which the amount of entanglement and discord are measured exploiting different estimators. Among them, some will prove to be optimal, i.e., able to reach the ultimate precision bound allowed by quantum mechanics. These estimation techniques have been tested with a specific family of states ranging from nearly pure Bell states to completely mixed states. This work represents a significant step in the development of reliable metrological tools for quantum technologies.


title: Statistical investigations of flow structures in different regimes of the stable boundary layer

abstract: A combination of methods originating from non-stationary timeseries analysis is applied to two datasets of near surface turbulence in order to gain insights on the non-stationary enhancement mechanism of intermittent turbulence in the stable atmospheric boundary layer (SBL). We identify regimes of SBL turbulence for which the range of timescales of turbulence and submeso motions, and hence their scale separation (or lack of separation) differs. Ubiquitous flow structures, or events, are extracted from the turbulence data in each flow regime. We relate flow regimes characterised by very stable stratification but different scales activity to a signature of flow structures thought to be submeso motions.


title: Defining Subrings in Finitely Generated Fields of All Characteristics

abstract: We give a construction of a large first-order definable family of subrings of finitely generated fields $K$ of any characteristic. We deduce that for any such $K$ there exists a first-order sentence $\varphi_K$ characterising $K$ in the class of finitely generated fields, i.e. such that for any finitely generated field $L$ we have $L \models \varphi_K$ if and only if $L \cong K$. This answers a question considered by Pop and others. In characteristic two, our results depend on resolution of singularities, whereas they are unconditional in all other characteristics.


title: Model of vibrones in quantum photosynthesis as an analog of model of laser

abstract: Mechanism of vibronic amplification of transport of excitons was discussed in relation to quantum photosynthesis. Vibrones (some modes of vibrations of molecules) are observed experimentally in photosynthetic systems. In the present paper we discuss a model of vibronic amplification of quantum transfer where generation of vibrones as a coherent vibrational mode is described by an analog of semiclassical theory of laser. We consider two models --- a model of nonequilibrium three level system with vibronic mode, and some variant of a model of laser without inversion. We conjecture that dark states discussed in relation to quantum photosynthesis might be related to mechanism of vibronic "laser" without inversion which amplifies the transfer of excitons. We prove that in presence of vibronic mode transfer rate of excitons increases and compute dependence of the transfer rate on parameters of the model.


title: Residuated Relational Systems

abstract: The aim of the present paper is to generalize the concept of residuated poset, by replacing the usual partial ordering by a generic binary relation, giving rise to relational systems which are residuated. In particular, we modify the definition of adjointness in such a way that the ordering relation can be harmlessly replaced by a binary relation. By enriching such binary relation with additional properties we get interesting properties of residuated relational systems which are analogical to those of residuated posets and lattices.


title: Universality of defect-skyrmion interaction profiles

abstract: Magnetic skyrmions are prime candidates for future spintronic devices. However, incorporating them as an entity for information technology hinges on their interaction with defects ubiquitous to any device. Here we map from first-principles, the energy-profile of single skyrmions interacting with single-atom impurities, establishing a generic shape as function of the defect's electron filling. Depending on their chemical nature, foreign 3d and 4d transition metal adatoms or surface-implanted defects can either repel or pin skyrmions in PdFe/Ir(111) thin films, which we relate to the degree of filling of bonding and anti-bonding electronic states inherent to the proximity of the non-collinear magnetic structure. Similarities with key concepts of bond theories in catalysis and surface sciences imbue the universality of the shape of the interaction profile and the potential of predicting its interaction. The resulting fundamental understanding may give guidance for the design of devices with surface-implanted defects to generate and control skyrmions.


title: Recovering Robustness in Model-Free Reinforcement learning

abstract: Reinforcement learning (RL) is used to directly design a control policy using data collected from the system. This paper considers the robustness of controllers trained via model-free RL. The discussion focuses on the standard model-based linear quadratic Gaussian (LQG) problem as a special instance of RL. A simple example, originally formulated for LQG problems, is used to demonstrate that RL with partial observations can lead to poor robustness margins. It is proposed to recover robustness by introducing random perturbations at the system input during the RL training. The perturbation magnitude can be used to trade off performance for robustness. Two simple examples are presented to demonstrate the proposed method for enhancing robustness during RL training.


title: On Comon's and Strassen's conjectures

abstract: Comon's conjecture on the equality of the rank and the symmetric rank of a symmetric tensor, and Strassen's conjecture on the additivity of the rank of tensors are two of the most challenging and guiding problems in the area of tensor decomposition. We survey the main known results on these conjectures, and, under suitable bounds on the rank, we prove them, building on classical techniques used in the case of symmetric tensors, for mixed tensors. Finally, we improve the bound for Comon's conjecture given by flattenings by producing new equations for secant varieties of Veronese and Segre varieties.


title: Propagation of singularities for gravity-capillary water waves

abstract: We obtain two results of propagation for solutions to the gravity-capillary water wave system. First we show how oscillations and the spatial decay propagate at infinity; then we show a microlocal smoothing effect under the non-trapping condition of the initial free surface. These results extends the works of Craig, Kappeler and Strauss, Wunsch and Nakamura to quasilinear dispersive equations. We also prove the existence of gravity-capillary water waves in weighted Sobolev spaces. Such solutions have asymptotically Euclidean free surfaces. To obtain these results, we generalize the paradifferential calculus of Bony to weighted Sobolev spaces and develop a semiclassical paradifferential calculus. We also introduce a new family of wavefront sets -- the quasi-homogeneous wavefront sets, which is a generalization, at least in the Euclidean geometry, the wavefront sets of H\"{o}rmander, the scattering wavefront sets of Melrose, the quadratic scattering wavefront sets of Wunsch and the homogeneous wavefront sets of Nakamura.


title: Resolvent-based modelling of coherent wavepackets in a turbulent jet

abstract: Coherent turbulent wave-packet structures in a jet at Reynolds number 460000 and Mach number 0.4 are extracted from experimental measurements and are modeled as linear fluctuations around the mean flow. The linear model is based on harmonic optimal forcing structures and their associated flow response at individual Strouhal numbers, obtained from analysis of the global linear resolvent operator. These forcing-response wave packets ("resolvent modes") are first discussed with regard to relevant physical mechanisms that provide energy gain of flow perturbations in the jet. Modal shear instability and the nonmodal Orr mechanism are identified as dominant elements, cleanly separated between the optimal and suboptimal forcing-response pairs. A theoretical development in the framework of spectral covariance dynamics then explicates the link between linear harmonic forcing-response structures and the cross-spectral density (CSD) of stochastic turbulent fluctuations. A low-rank model of the CSD at given Strouhal number is formulated from a truncated set of linear resolvent modes. Corresponding experimental CSD matrices are constructed from extensive two-point velocity measurements. Their eigenmodes (spectral proper orthogonal or SPOD modes) represent coherent wave-packet structures, and these are compared to their counterparts obtained from the linear model. Close agreement is demonstrated in the range of "preferred mode" Strouhal numbers, around a value of 0.4, between the leading coherent wave-packet structures as educed from the experiment and from the linear resolvent-based model.


title: Orthogonal relational systems

abstract: In this paper we discuss the concept of relational system with involution. This system is called orthogonal if, for every pair of non-zero orthogonal elements, there exists a supremal element in their upper cone and the upper cone of orthogonal elements $x,\,x'$ is a singleton (i.e. $x,\,x'$ are complements each other). To every orthogonal relational system can be assigned a groupoid with involution. The conditions under which a groupoid is assigned to an orthogonal relational systems are investigated. We will see that many properties of the relational system can be captured by the associated groupoid. Moreover, these structures enjoy several desirable algebraic features such as, e.g., a direct decomposition representation and the strong amalgamation property.


title: Quantum Annealing Learning Search for solving QUBO problems

abstract: In this paper we present a novel strategy to solve optimization problems within a hybrid quantum-classical scheme based on quantum annealing, with a particular focus on QUBO problems. The proposed algorithm is based on an iterative structure where the representation of an objective function into the annealer architecture is learned and already visited solutions are penalized by a tabu-inspired search. The result is a heuristic search equipped with a learning mechanism to improve the encoding of the problem into the quantum architecture. We prove the convergence of the algorithm to a global optimum in the case of general QUBO problems. Our technique is an alternative to the direct reduction of a given optimization problem into the sparse annealer graph.


title: Baseline Detection in Historical Documents using Convolutional U-Nets

abstract: Baseline detection is still a challenging task for heterogeneous collections of historical documents. We present a novel approach to baseline extraction in such settings, turning out the winning entry to the ICDAR 2017 Competition on Baseline detection (cBAD). It utilizes deep convolutional nets (CNNs) for both, the actual extraction of baselines, as well as for a simple form of layout analysis in a pre-processing step. To the best of our knowledge it is the first CNN-based system for baseline extraction applying a U-net architecture and sliding window detection, profiting from a high local accuracy of the candidate lines extracted. Final baseline post-processing complements our approach, compensating for inaccuracies mainly due to missing context information during sliding window detection. We experimentally evaluate the components of our system individually on the cBAD dataset. Moreover, we investigate how it generalizes to different data by means of the dataset used for the baseline extraction task of the ICDAR 2017 Competition on Layout Analysis for Challenging Medieval Manuscripts (HisDoc). A comparison with the results reported for HisDoc shows that it also outperforms the contestants of the latter.


title: Reduced Basis Greedy Selection Using Random Training Sets

abstract: Reduced bases have been introduced for the approximation of parametrized PDEs in applications where many online queries are required. Their numerical efficiency for such problems has been theoretically confirmed in \cite{BCDDPW,DPW}, where it is shown that the reduced basis space $V_n$ of dimension $n$, constructed by a certain greedy strategy, has approximation error similar to that of the optimal space associated to the Kolmogorov $n$-width of the solution manifold. The greedy construction of the reduced basis space is performed in an offline stage which requires at each step a maximization of the current error over the parameter space. For the purpose of numerical computation, this maximization is performed over a finite {\em training set} obtained through a discretization. of the parameter domain. To guarantee a final approximation error $\varepsilon$ for the space generated by the greedy algorithm requires in principle that the snapshots associated to this training set constitute an approximation net for the solution manifold with accuracy or order $\varepsilon$. Hence, the size of the training set is the $\varepsilon$ covering number for $\mathcal{M}$ and this covering number typically behaves like $\exp(C\varepsilon^{-1/s})$ for some $C>0$ when the solution manifold has $n$-width decay $O(n^{-s})$. Thus, the shear size of the training set prohibits implementation of the algorithm when $\varepsilon$ is small. The main result of this paper shows that, if one is willing to accept results which hold with high probability, rather than with certainty, then for a large class of relevant problems one may replace the fine discretization by a random training set of size polynomial in $\varepsilon^{-1}$. Our proof of this fact is established by using inverse inequalities for polynomials in high dimensions.


title: Representing quantum structures as near semirings

abstract: In this paper we introduce the notion of near semiring with involution. Generalizing the theory of semirings we aim at represent quantum structures, such as basic algebras and orthomodular lattices, in terms of near semirings with involution. In particular, after discussing several properties of near semirings, we introduce the so-called \L ukasiewicz near semirings, as a particular case of near semirings, and we show that every basic algebra is representable as (precisely, it is term equivalent to) a near semiring. In the particular case in which a \L ukasiewicz near semiring is also a semiring, we obtain as a corollary a representation of MV-algebras as semirings. Analogously, by introducing a particular subclass of \L ukasiewicz near semirings, that we termed orthomodular near semirings, we obtain a representation of orthomodular lattices. In the second part of the paper, we discuss several universal algebraic properties of \L ukasiewicz near semirings and we show that the variety of involutive integral near semirings is a Church variety. This yields a neat equational characterization of central elements of this variety. As a byproduct of such, we obtain several direct decomposition theorems for this class of algebras.


title: Adversarial Online Learning with noise

abstract: We present and study models of adversarial online learning where the feedback observed by the learner is noisy, and the feedback is either full information feedback or bandit feedback. Specifically, we consider binary losses xored with the noise, which is a Bernoulli random variable. We consider both a constant noise rate and a variable noise rate. Our main results are tight regret bounds for learning with noise in the adversarial online learning model.