title: Time-domain response of nabla discrete fractional order systems

abstract: This paper investigates the time--domain response of nabla discrete fractional order systems by exploring several useful properties of the nabla discrete Laplace transform and the discrete Mittag--Leffler function. In particular, we establish two fundamental properties of a nabla discrete fractional order system with nonzero initial instant: i) the existence and uniqueness of the system time--domain response; and ii) the dynamic behavior of the zero input response. Finally, one numerical example is provided to show the validity of the theoretical results.


title: StarAlgo: A Squad Movement Planning Library for StarCraft using Monte Carlo Tree Search and Negamax

abstract: Real-Time Strategy (RTS) games have recently become a popular testbed for artificial intelligence research. They represent a complex adversarial domain providing a number of interesting AI challenges. There exists a wide variety of research-supporting software tools, libraries and frameworks for one RTS game in particular -- StarCraft: Brood War. These tools are designed to address various specific sub-problems, such as resource allocation or opponent modelling so that researchers can focus exclusively on the tasks relevant to them. We present one such tool -- a library called StarAlgo that produces plans for the coordinated movement of squads (groups of combat units) within the game world. StarAlgo library can solve the squad movement planning problem using one of two algorithms: Monte Carlo Tree Search Considering Durations (MCTSCD) and a slightly modified version of Negamax. We evaluate both the algorithms, compare them, and demonstrate their usage. The library is implemented as a static C++ library that can be easily plugged into most StarCraft AI bots.


title: Three body radiative decay $B_s\to \phi \bar K^0 \gamma$ in the PQCD approach

abstract: We study the three body radiative decay $B_s\to \phi \bar K^0 \gamma$ by introducing the $\phi K$ pair distribution amplitudes (DAs) in the perturbative QCD approach. This nonperturbative inputs, the two meson DAs, is very important to simplify the calculations. Besides the dominant electromagnetic penguin operator $O_{7\gamma}$, the subleading contributions from chromomagnetic penguin operator $O_{8g}$, quark-loop corrections and annihilation type amplitudes are also considered. We find that the branching ratio for the decay $B_s\to \phi \bar K^0 \gamma$ is about $(9.26^{+1.79+3.12+0.64}_{-1.61-3.86-0.49})\times10^{-8}$, which is much smaller compared with that for the decay $B^0\to \phi K^0\gamma$. It is mainly because that the former decay induces by $b\to d\gamma$ with small CKM matrix element being proportional to $\lambda^3$. The prediction for the direct CP asymmetry is $A^{dir}_{CP}(B_s\to \phi \bar K^0 \gamma)=(-4.1^{+0.4+1.7+0.2}_{-0.6-1.2-0.1})\%$, which is well consistent with the result from the U-spin symmetry approach. we also predict the $B_s \to\phi \bar K^0\gamma$ decay spectrum, which exhibits a maximu at the $\phi K$ invariant masss around 1.95 GeV.


title: Global rigid inner forms vs isocrystals

abstract: We compare the cohomology of the global Galois gerbes constructed in [Kot] and [Kal18a], respectively, and give applications to the theory of endoscopy.


title: Mean Field Games with state constraints: from mild to pointwise solutions of the PDE system

abstract: Mean Field Games with state constraints are differential games with infinitely many agents, each agent facing a constraint on his state. The aim of this paper is to provide a meaning of the PDE system associated with these games, the so-called Mean Field Game system with state constraints. For this, we show a global semiconvavity property of the value function associated with optimal control problems with state constraints.


title: Primitive Element Theorem for Fields with Commuting Derivations and Automorphisms

abstract: We establish a Primitive Element Theorem for fields equipped with several commuting operators such that each of the operators is either a derivation or an automorphism. More precisely, we show that for every extension $F \subset E$ of such fields of zero characteristic such that $\bullet$ $E$ is generated over $F$ by finitely many elements using the field operations and the operators, $\bullet$ every element of $E$ satisfies a nontrivial equation with coefficient in $F$ involving the field operations and the operators, $\bullet$ the action of the operators on $E$ is irredundant there exists an element $a \in E$ such that $E$ is generated over $F$ by $a$ using the field operations and the operators. This result generalizes the Primitive Element Theorems by Kolchin and Cohn in two directions simultaneously: we allow any numbers of derivations and automorphisms and do not impose any restrictions on the base field $F$.


title: On the Malle conjecture and the Grunwald problem

abstract: We contribute to the Malle conjecture on the number N (K, G, y) of finite Galois extensions E of some number field K of finite group G and of discriminant of norm |N K/Q (d E)| $\le$ y. We prove the lower bound part of the conjecture for every group G and every number field K containing a certain number field K 0 depending on G : N (K, G, y) $\ge$ y $\alpha$(G) for y 1 and some specific exponent $\alpha$(G) depending on G. To achieve this goal, we start from a regular Galois extension F/K(T) that we specialize. We prove a strong version of the Hilbert Irreducibility Theorem which counts the number of specialized extensions F t0 /K and not only the specialization points t 0 , and which provides some control of |N K/Q (d Ft 0)|. We can also prescribe the local behaviour of the specialized extensions at some primes. Consequently, we deduce new results on the local-global Grunwald problem, in particular for some non-solvable groups G.


title: Hessian-Aware Zeroth-Order Optimization for Black-Box Adversarial Attack

abstract: Zeroth-order optimization is an important research topic in machine learning. In recent years, it has become a key tool in black-box adversarial attack to neural network based image classifiers. However, existing zeroth-order optimization algorithms rarely extract second-order information of the model function. In this paper, we utilize the second-order information of the objective function and propose a novel \textit{Hessian-aware zeroth-order algorithm} called \texttt{ZO-HessAware}. Our theoretical result shows that \texttt{ZO-HessAware} has an improved zeroth-order convergence rate and query complexity under structured Hessian approximation, where we propose a few approximation methods for estimating Hessian. Our empirical studies on the black-box adversarial attack problem validate that our algorithm can achieve improved success rates with a lower query complexity.


title: Moduli spaces of conformal structures on Heisenberg vertex algebras

abstract: This paper is a continuation to understand Heisenberg vertex algebras in terms of moduli spaces of their conformal structures. We study the moduli space of the conformal structures on a Heisenberg vertex algebra that have the standard fixed conformal gradation. As we know in Proposition 3.1 in Sect.3, conformal vectors of the Heisenberg vertex algebra $V_{\hat{\eta}}(1,0)$ that have the standard fixed conformal gradation is parameterized by a complex vector $h$ of its weight-one subspace. First, we classify all such conformal structures of the Heisenberg vertex algebra $V_{\hat{\eta}}(1,0)$ by describing the automorphism group of the Heisenberg vertex algebra $V_{\hat{\eta}}(1,0)$ and then we describe moduli spaces of their conformal structures that have the standard fixed conformal gradation. Moreover, we study the moduli spaces of semi-conformal vertex operator subalgebras of each of such conformal structures of the Heisenberg vertex algebra $V_{\hat{\eta}}(1,0)$. In such cases, we describe their semi-conformal vectors as pairs consisting of regular subspaces and the projections of $h$ in these regular subspaces. Then by automorphism groups $G$ of Heisenberg vertex operator algebras, we get all $G$-orbits of varieties consisting of semi-conformal vectors of these vertex operator algebras. Finally, using properties of these varieties, we give two characterizations of Heisenberg vertex operator algebras.


title: Rotational Dimensional Reduction

abstract: Rotational energy dissipation in the solar system confines the planets to the ecliptic, this can be thought of as a dimensional reduction from three dimensions to two. It is argued that the same mechanism restricts five dimensional matter to four dimensional spacetime. The result is sensitive to geometric configuration but not to force law. Although the mechanism provides a qualitative description it as yet makes no quantitative prediction.


title: Generic separating sets for 3D elasticity tensors

abstract: We define what is a generic separating set of invariant functions (a.k.a. a weak functional basis) for tensors. We produce then two generic separating sets of polynomial invariants for 3D elasticity tensors, one made of 19 polynomials and one made of 21 polynomials (but easier to compute) and a generic separating set of 18 rational invariants. As a byproduct, a new integrity basis for the fourth-order harmonic tensor is provided.


title: Doubly Feller property of Brownian motions with Robin boundary condition

abstract: In this paper, we consider first order Sobolev spaces with Robin boundary condition on unbounded Lipschitz domains. Hunt processes are associated with these spaces. We prove that the semigroup of these processes are doubly Feller. As a corollary, we provide a condition for semigroups generated by these processes being compact.


title: Stochastic differential equations driven by fractional Brownian motion with locally Lipschitiz drift and their Euler approximation

abstract: In this paper, we study a class of one-dimensional stochastic differential equations driven by fractional Brownian motion with Hurst parameter $H>\ff 1 2$. The drift term of the equation is locally Lipschitz and unbounded in the neighborhood of $0$. We show the existence, uniqueness and positivity of the solutions. The estimations of moments, including the negative power moments, are given. Based on these estimations, strong convergence of the positivity preserving drift-implicit Euler-type scheme is proved, and optimal convergence rate is obtained. By using Lamperti transformation, we show that our results can be applied to interest rate models such as mean-reverting stochastic volatility model and strongly nonlinear A\"it-Sahalia type model.


title: Feature Preserving and Uniformity-controllable Point Cloud Simplification on Graph

abstract: With the development of 3D sensing technologies, point clouds have attracted increasing attention in a variety of applications for 3D object representation, such as autonomous driving, 3D immersive tele-presence and heritage reconstruction. However, it is challenging to process large-scale point clouds in terms of both computation time and storage due to the tremendous amounts of data. Hence, we propose a point cloud simplification algorithm, aiming to strike a balance between preserving sharp features and keeping uniform density during resampling. In particular, leveraging on graph spectral processing, we represent irregular point clouds naturally on graphs, and propose concise formulations of feature preservation and density uniformity based on graph filters. The problem of point cloud simplification is finally formulated as a trade-off between the two factors and efficiently solved by our proposed algorithm. Experimental results demonstrate the superiority of our method, as well as its efficient application in point cloud registration.


title: Precise spatial scaling in the early fly embryo

abstract: The early fly embryo offers a relatively pure version of the problem of spatial scaling in biological pattern formation. Within three hours, a "blueprint" for the final segmented body plan of the animal is visible in striped patterns of gene expression. We measure the positions of these stripes in an ensemble of 100+ embryos from a laboratory strain of Drosophila melanogaster, under controlled conditions. These embryos vary in length by only 4% (rms), yet stripes are positioned with 1% accuracy; precision and scaling of the pattern are intertwined. We can see directly the variation of absolute stripe positions with length, and the precision is so high as to exclude alternatives, such as combinations of unscaled signals from the two ends of the embryo.


title: Excited state band mapping and momentum-resolved ultrafast population dynamics in In/Si(111) nanowires investigated with XUV based time- and angle-resolved photoemission spectroscopy

abstract: We investigate the excited state electronic structure of the model phase transition system In/Si(111) using femtosecond time- and angle-resolved photoemission spectroscopy (trARPES) with an XUV laser source at 500 kHz . Excited state band mapping is used to characterize the normally unoccupied electronic structure above the Fermi level in both structural phases of indium nanowires on Si(111): the metallic (4x1) and the gapped (8x2) phases. The extracted band positions are compared with the band structure calculated using density functional theory (DFT) within both the LDA and GW approximations. While good overall agreement is found between the GW calculated band structure and experiment, deviations in specific momentum regions may indicate the importance of excitonic effects not accounted for at this level of approximation. To probe the dynamics of these excited states, their momentum-resolved transient population dynamics are extracted. The transient intensities are then simulated by a spectral function determined by a state population employing a transient elevated electronic temperature as determined experimentally. This allows the momentum-resolved population dynamics to be quantitatively reproduced, revealing important insights into the transfer of energy from the electronic system to the lattice. In particular, a comparison between the magnitude and relaxation time of the transient electronic temperature observed by trARPES with those of the lattice as probed in previous ultrafast electron diffraction studies imply a highly non-thermal phonon distribution at the surface following photo-excitation. This suggests the energy from the excited electronic system is initially transferred to high energy optical phonon modes followed by cooling and thermalization of the photo-excited system by much slower phonon-phonon coupling.


title: A General Uncertainty Principle for Partial Differential Equations

abstract: We consider the coupled equations \begin{equation*} \begin{pmatrix}r_t\\ -q_t\end{pmatrix}+2A_0(L^+)\begin{pmatrix}r\\ q\end{pmatrix}=0, \end{equation*} where $L^+$ is the integro-differential operator \begin{equation*} L^+=\frac{1}{2\I}\begin{pmatrix}\partial_x-2r\int_{-\infty}^xdyq& 2r\int_{-\infty}^xdyr\\ -2q\int_{-\infty}^xdyq& -\partial_x+2q\int_{-\infty}^xdyr.\end{pmatrix} \end{equation*} and $A_0(z)$ is an arbitratry ratio of entire functions. We study two main cases: the first one when the potentials $|q|,|r|\to 0$ as $|x|\to\infty$ and the second one when $r=-1$ and $|q|\to0$ as $|x|\to\infty$. In such conditions we prove that there cannot exist a solution different from zero if at two different times the potentials have a strong decay. This decay is of exponential rate: $\exp(-x^{1+\delta})$, $x\geq 0$ and $\delta>0$ is a constant. As particular cases we will cover the Korteweg-de Vries equation, the modified Korteweg-de Vries equation and the nonlinear Schr\"odinger equation.


title: Extremal Khovanov homology of Turaev genus one links

abstract: The Turaev genus of a link can be thought of as a way of measuring how non-alternating a link is. A link is Turaev genus zero if and only if it is alternating, and in this viewpoint, links with large Turaev genus are very non-alternating. In this paper, we study Turaev genus one links, a class of links which includes almost alternating links. We prove that the Khovanov homology of a Turaev genus one link is isomorphic to $\mathbb{Z}$ in at least one of its extremal quantum gradings. As an application, we compute or nearly compute the maximal Thurston Bennequin number of a Turaev genus one link.


title: Differential signatures of algebraic curves

abstract: In this paper, we adapt the differential signature construction to the equivalence problem for complex plane algebraic curves under the actions of the projective group and its subgroups. Given an action of a group $G$, a signature map assigns to a plane algebraic curve another plane algebraic curve (a signature curve) in such a way that two generic curves have the same signatures if and only if they are $G$-equivalent. We prove that for any $G$-action, there exists a pair of rational differential invariants, called classifying invariants, that can be used to construct signatures. We derive a formula for the degree of a signature curve in terms of the degree of the original curve, the size of its symmetry group and some quantities depending on a choice of classifying invariants. For the full projective group, as well as for its affine, special affine and special Euclidean subgroups, we give explicit sets of rational classifying invariants and derive a formula for the degree of the signature curve of a generic curve as a quadratic function of the degree of the original curve. We show that this generic degree is the sharp upper bound.


title: Coordinates on the augmented moduli space of convex RP^2 structures

abstract: Let S be an orientable, finite type surface with negative Euler characteristic. The augmented moduli space of convex real projective structures on S was first defined and topologized by the first author. In this article, we give an explicit description of this topology using explicit coordinates. More precisely, given every point in this augmented moduli space, we find explicit continuous coordinates on the quotient of a suitable open neighborhood about this point by a suitable subgroup of the mapping class group of S. Using this, we give a simpler proof of the fact that the augmented moduli space of convex real projective structures on S is homeomorphic to the orbifold vector bundle of regular cubic differentials over the Deligne-Mumford compactification of the moduli space of Riemann surfaces homeomorphic to S.


title: Elimination of unknowns for systems of algebraic differential-difference equations

abstract: We establish effective elimination theorems for differential-difference equations. Specifically, we find a computable function $B(r,s)$ of the natural number parameters $r$ and $s$ so that for any system of algebraic differential-difference equations in the variables $\mathbf{x} = x_1, \ldots, x_q$ and $\mathbf{y} = y_1, \ldots, y_r$ each of which has order and degree in $\mathbf{y}$ bounded by $s$ over a differential-difference field, there is a non-trivial consequence of this system involving just the $\mathbf{x}$ variables if and only if such a consequence may be constructed algebraically by applying no more than $B(r,s)$ iterations of the basic difference and derivation operators to the equations in the system. We relate this finiteness theorem to the problem of finding solutions to such systems of differential-difference equations in rings of functions showing that a system of differential-difference equations over $\mathbb{C}$ is algebraically consistent if and only if it has solutions in a certain ring of germs of meromorphic functions.


title: SLIM LSTMs

abstract: Long Short-Term Memory (LSTM) Recurrent Neural networks (RNNs) rely on gating signals, each driven by a function of a weighted sum of at least 3 components: (i) one of an adaptive weight matrix multiplied by the incoming external input vector sequence, (ii) one adaptive weight matrix multiplied by the previous memory/state vector, and (iii) one adaptive bias vector. In effect, they augment the simple Recurrent Neural Networks (sRNNs) structure with the addition of a "memory cell" and the incorporation of at most 3 gating signals. The standard LSTM structure and components encompass redundancy and overly increased parameterization. In this paper, we systemically introduce variants of the LSTM RNNs, referred to as SLIM LSTMs. These variants express aggressively reduced parameterizations to achieve computational saving and/or speedup in (training) performance---while necessarily retaining (validation accuracy) performance comparable to the standard LSTM RNN.


title: A different approach to endpoint weak-type estimates for Calder\'on-Zygmund operators

abstract: We present a new proof of the classical weak-type $(1,1)$ estimate for Calder\'on-Zygmund operators. This proof is inspired by ideas of Nazarov, Treil, and Volberg that address the non-doubling setting. An application to a weighted weak-type inequality is also given.


title: Talon: An Automated Framework for Cross-Device Tracking Detection

abstract: Although digital advertising fuels much of today's free Web, it typically does so at the cost of online users' privacy, due to the continuous tracking and leakage of users' personal data. In search for new ways to optimize the effectiveness of ads, advertisers have introduced new advanced paradigms such as cross-device tracking (CDT), to monitor users' browsing on multiple devices and screens, and deliver (re)targeted ads in the most appropriate screen.Unfortunately, this practice leads to greater privacy concerns for the end-user. Going beyond the state-of-the-art, we propose a novel methodology for detecting CDT and measuring the factors affecting its performance, in a repeatable and systematic way. This new methodology is based on emulating realistic browsing activity of end-users, from different devices, and thus triggering and detecting cross-device targeted ads. We design and build Talon a CDT measurement framework that implements our methodology and allows experimentation with multiple parallel devices, experimental setups and settings. By employing Talon, we perform several critical experiments, and we are able to not only detect and measure CDT with average AUC score of 0.78-0.96, but also to provide significant insights about the behavior of CDT entities and the impact on users' privacy. In the hands of privacy researchers, policy makers and end-users, Talon can be an invaluable tool for raising awareness and increasing transparency on tracking practices used by the ad-ecosystem.


title: Bending to kinetic energy transfer in adhesive peel front micro-instability

abstract: We report an extensive experimental study of a detachment front dynamics instability, appearing at microscopic scales during the peeling of adhesive tapes. The amplitude of this instability scales with its period as $A_{\text{mss}} \propto T_{\text{mss}}^{1/3}$, with a pre-factor evolving slightly with the peel angle $\theta$, and increasing systematically with the bending modulus $B$ of the tape backing. Establishing a local energy budget of the detachment process during one period of this micro-instability, our theoretical model shows that the elastic bending energy stored in the portion of tape to be peeled is converted into kinetic energy, providing a quantitative description of the experimental scaling law.


title: Hamiltonian Systems with L\'evy Noise: Symplecticity, Hamilton's Principle and Averaging Principle

abstract: This work focuses on topics related to Hamiltonian stochastic differential equations with L\'{e}vy noise. We first show that the phase flow of the stochastic system preserves symplectic structure, and propose a stochastic version of Hamilton's principle by the corresponding formulation of the stochastic action integral and the Euler-Lagrange equation. Based on these properties, we further investigate the effective behaviour of a small transversal perturbation to a completely integrable stochastic Hamiltonian system with L\'{e}vy noise. We establish an averaging principle in the sense that the action component of solution converges to the solution of a stochastic differential equation when the scale parameter goes to zero. Furthermore, we obtain the estimation for the rate of this convergence. Finally, we present an example to illustrate these results.


title: On Checking Null Rank Conditions of Rational Matrices

abstract: In this paper we discuss possible numerical approaches to reliably check the rank condition rank $G(\lambda) = 0$ for a given rational matrix $G(\lambda)$ in terms of its descriptor system realization. For test purposes we employ functions available in the Control System Toolbox of MATLAB and the Descriptor System Tools (DSTOOLS) collection.


title: On the Possibility of Generating Harmonics of the Electron Plasma Frequency in the Solar Atmosphere due to Explosive Instability in a System of Interpenetrating Electron and Ion Flows

abstract: An alternative mechanism is proposed for the generation of harmonics of the electron plasma frequency due to the development of explosive instability in a system of interpenetrating electron and proton flows in the solar atmosphere. The efficiency of the new mechanism in comparison with the earlier discussed mechanisms involving multistage processes of nonlinear interaction of waves in plasma is determined. It is shown that the development of explosive instability can lead to the excitation of the second and third harmonics of the plasma frequency with comparable amplitudes.


title: A microscopic perspective on heterogeneous catalysis

abstract: A general formalism is presented to describe the turnover frequency (TOF) during heterogeneous catalysis beyond a mean field treatment. For every elementary reaction we define its multiplicity as the number of times the reaction can be performed in the current configuration of the catalyst surface, divided by the number of active sites. It is shown that any change in the multiplicity with temperature can be directly understood as a modification in configurational entropy. Based on this, we determine the probability of observing any particular elementary reaction, leading to a procedure for identifying any Rate Controlling Step (RCS) as well as the Rate Determining Step (RDS), if it exists. Furthermore, it is shown that such probabilities provide a thorough description of the overall catalytic activity, enabling a deep understanding of the relative importance of every elementary reaction. Most importantly, we formulate a simple expression to describe accurately the apparent activation energy of the TOF, valid even when adsorbate-adsorbate interactions are included, and compare it to previous, approximate expressions, including the traditional Temkin formula for typical reaction mechanisms (Langmuir-Hinshelwood, Eley-Rideal, etc...). To illustrate the validity of our formalism beyond the mean field domain we present Kinetic Monte Carlo simulations for two widely-studied and industrially-relevant catalytic reactions, namely, the oxidation of CO on RuO$_2$(110) and the selective oxidation of NH$_{3}$ on the same catalyst.


title: Heat kernel for higher-order differential operators in Euclidean space

abstract: We consider heat kernel for higher-order operators with constant coefficients in $d$-dimensio\-nal Euclidean space and its asymptotic behavior. For arbitrary operators which are invariant with respect to $O(d)$-rotations we obtain exact analytical expressions for the heat kernel and Green functions in the form of infinite series in Fox--Wright psi functions and Fox $H$-functions. We investigate integro-differential relations and the asymptotic behavior of the functions $ \mathcal{E}_{\nu, \alpha}(z)$, in terms of which the heat kernel of $O(d)$-invariant operators are expressed. It is shown that the obtained expressions are well defined for non-integer values of space dimension $d$, as well as for operators of non-integer order. Possible applications of the obtained results in quantum field theory and the connection with fractional calculus are discussed.


title: Nonvanishing Betti Numbers of Weakly Chordal Graphs

abstract: We show that Kimura's necessary and sufficient condition for the non-vanishingness of multigraded Betti numbers of chordal graphs can be extended to the wider class of weakly chordal graphs.


title: Gaussian sharp-edge diffraction: a paraxial revisitation of Miyamoto-Wolf's theory

abstract: A "genuinely" paraxial version of Miyamoto-Wolf's theory aimed at dealing with sharp-edge diffraction under Gaussian beam illumination is presented. The theoretical analysis is carried out in such a way the well known Young-Maggi-Rubinowicz boundary diffraction wave theory can be extended to deal with Gaussian beams in an apparently straightforward way. The key for achieving such an extension is the introduction of suitable "complex angles" within the integral representations of the geometrical and BDW components of the total diffracted wavefield. Surprisingly enough, such a simple (although not rigorously justified) mathematical generalization seems to work well within the complex Gaussian realm. The resulting integrals provide meaningful quantities that, once suitably combined, give rise to predictions which are in perfect agreement with results already obtained in the past. An interesting and still open theoretical question about how to evaluate "Gaussian geometrical shadows" for arbitrarily shaped apertures is also discussed.


title: A wide-area photometric and astrometric (Gaia DR2) study of the young cluster NGC 6530

abstract: (abridged) NGC6530 is a young cluster with a complex morphology and star-formation history. We present a statistical study of its global properties using a new large list of candidate members down to masses of 0.2-0.4 Msun and Gaia DR2 astrometry. We consider a wider sky region compared to previous studies, to investigate the whole cluster and its neighborhood. We study the distribution of extinction and age across the different regions, and obtain constraints on the star-formation history. Cluster membership is determined on the basis of X-ray data, H-alpha emission, near-IR and UV excesses from VPHAS+, UKIDSS and other surveys, and Gaia DR2 astrometry; we also use a novel method for photometric selection of M-type pre-main-sequence cluster members. The list of candidates includes nearly 3700 stars, of which we estimate ~2700 genuine NGC6530 members. Using Gaia parallaxes, the cluster distance is found to be 1325 pc, with errors of 0.5% (statistical) and 8.5% (systematic), in agreement with previous determinations. The cluster morphology and boundaries are established with great confidence, from members selected using different criteria. There is no diffuse population of members around the cluster, but there are minor member subgroups (associated with the stars 7 Sgr (F2II-III) and HD 164536 (O7.5V)) in addition to the two main groups in the cluster core and in the Hourglass nebula. We find a pattern of sequential star formation, between ages of <0.5 Myr and ~5 Myr. Extinction is spatially non-uniform, with part of the population still obscured by thick dust. The precise Gaia proper motion data indicate that the NGC6530 parent cloud collided with the Galactic plane ~4 Myr ago, and we suggest that event as the trigger of the bulk of star formation in NGC6530. The internal cluster dynamics is also partially resolved by the Gaia data, indicating expansion of the main cluster population.


title: Conservative and entropy stable solid wall boundary conditions for the compressible Navier-Stokes equations: Adiabatic wall and heat entropy transfer

abstract: We present a novel technique for the imposition of non-linear entropy conservative and entropy stable solid wall boundary conditions for the compressible Navier-Stokes equations in the presence of an adiabatic wall, or a wall with a prescribed heat entropy flow. The procedure relies on the formalism and mimetic properties of diagonal-norm, summation-by-parts, and simultaneous-approximation-term operators, and is a generalization of previous works on discontinuous interface coupling [1] and solid wall boundary conditions [2]. Using the method of lines, a semi-discrete entropy estimate for the entire domain is obtained when the proposed numerical imposition of boundary conditions are coupled with an entropy-conservative or entropy-stable discrete interior operator. The resulting estimate mimics the global entropy estimate obtained at the continuous level. The boundary data at the wall are weakly imposed using a penalty flux approach and a simultaneous-approximation-term technique for both the conservative variables and the gradient of the entropy variables. Discontinuous spectral collocation operators (mass lumped nodal discontinuous Galerkin operators), on high-order unstructured grids, are used for the purpose of demonstrating the robustness and efficacy of the new procedure for weakly enforcing boundary conditions. Numerical simulations confirm the non-linear stability of the proposed technique, with applications to three-dimensional subsonic and supersonic flows. The procedure described is compatible with any diagonal-norm summation-by-parts spatial operator, including finite element, finite difference, finite volume, discontinuous Galerkin, and flux reconstruction schemes.


title: Severity Level of Permissions in Role-Based Access Control

abstract: The analysis of hidden channels of information leakage with respect to role-based access control includes monitoring of excessive permissions among users. It is not always possible to completely eliminate redundancy. The problem of ranking permissions arises in order to identify the most significant, for which redundancy is most not desirable. A numerical characteristic that reflects the value or importance of permissions is called the "severity level". A number of heuristic assumptions have been formulated that make it possible to establish the dependence of the severity level of permissions on the structure of the role hierarchy. A methodology for solving the problem is proposed, using analytic hierarchy process and taking into account these assumptions. The main idea is that the decision tree of the process will be the role graph.


title: Tropical Abstraction of Biochemical Reaction Networks with Guarantees

abstract: Biochemical molecules interact through modification and binding reactions, giving raise to a combinatorial number of possible biochemical species. The time-dependent evolution of concentrations of the species is commonly described by a system of coupled ordinary differential equations (ODEs). However, the analysis of such high-dimensional, non-linear system of equations is often computationally expensive and even prohibitive in practice. The major challenge towards reducing such models is providing the guarantees as to how the solution of the reduced model relates to that of the original model, while avoiding to solve the original model. In this paper, we have designed and tested an approximation method for ODE models of biochemical reaction systems, in which the guarantees are our major requirement. Borrowing from tropical analysis techniques, dominance relations among terms of each species' ODE are exploited to simplify the original model, by neglecting the dominated terms. As the dominant subsystems can change during the system's dynamics, depending on which species dominate the others, several possible modes exist. Thus, simpler models consisting of only the dominant subsystems can be assembled into hybrid, piecewise smooth models, which approximate the behavior of the initial system. By combining the detection of dominated terms with symbolic bounds propagation, we show how to approximate the original model by an assembly of simpler models, consisting in ordinary differential equations that provide time-dependent lower and upper bounds for the concentrations of the initial models species. Our method provides sound interval bounds for the concentrations of the chemical species, and hence can serve to evaluate the faithfulness of tropicalization-based reduction heuristics for ODE models of biochemical reduction systems. The method is tested on several case studies.


title: Some Recent and New Techniques for Superfast (Sublinear Cost) Low Rank Approximation

abstract: We review and extend our recent superfast (sublinear cost) algorithms for accurate computation of low rank approximation of a matrix.


title: Freezing phase transition in a fractal potential

abstract: In this work we propose a simple example of a one-dimensional thermodynamic system where non-interacting particles are allowed to move over the $[0,1]$ interval, which are influenced by a potential with a fractal structure. We prove that the system exhibits a phase transition at a finte temperature, which is characterized by the fact that the Gibbs-Boltzmann probability measure passes from being absolutely continuous with respect to Lebesgue (at high temperature) to being singular continuous (at low temperatures). We prove that below the critical temperature (when the Gibbs-Boltzmann probability measure is singular continuous) the probability measure is supported on the middle-third Cantor set and that further lowering the temperature, the probability measure does not change anymore. This means that, in some sense, the system reaches the ground-state before the zero temperature, indicating that the system "freezes" at a positive temperature.


title: Basal slip of a screw dislocations in hexagonal titanium

abstract: Basal slip of a screw dislocations in hexagonal closed-packed titanium is investigated with ab initio calculations. We show that a basal dissociation is highly unstable and reconfigures to other structures dissociated in a first order pyramidal plane. The obtained mechanism for basal slip corresponds to the migration of the partial dislocations and of the associated stacking fault ribbon in a direction perpendicular to the dissocia-tion plane. Presented results indicate that both basal and pyramidal slip will operate through the Peierls mechanism of double-kink nucleation and will be equally active at high enough temperature.


title: Imputation and low-rank estimation with Missing Not At Random data

abstract: Missing values challenge data analysis because many supervised and unsupervised learning methods cannot be applied directly to incomplete data. Matrix completion based on low-rank assumptions are very powerful solution for dealing with missing values. However, existing methods do not consider the case of informative missing values which are widely encountered in practice. This paper proposes matrix completion methods to recover Missing Not At Random (MNAR) data. Our first contribution is to suggest a model-based estimation strategy by modelling the missing mechanism distribution. An EM algorithm is then implemented, involving a Fast Iterative Soft-Thresholding Algorithm (FISTA). Our second contribution is to suggest a computationally efficient surrogate estimation by implicitly taking into account the joint distribution of the data and the missing mechanism: the data matrix is concatenated with the mask coding for the missing values; a low-rank structure for exponential family is assumed on this new matrix, in order to encode links between variables and missing mechanisms. The methodology that has the great advantage of handling different missing value mechanisms is robust to model specification errors.The performances of our methods are assessed on the real data collected from a trauma registry (TraumaBase ) containing clinical information about over twenty thousand severely traumatized patients in France. The aim is then to predict if the doctors should administrate tranexomic acid to patients with traumatic brain injury, that would limit excessive bleeding.


title: The effect of adiabatic losses on spectra of stationary jets and the origin of soft radio spectra of accreting black-hole sources

abstract: It has been suggested that adiabatic energy losses are not effective in stationary jets, where the jet expansion is not associated with net work. Here, we study jet solutions without them, assuming that adiabatic losses are balanced by electron reacceleration. The absence of effective adiabatic losses makes electron advection along the jet an important process, and we solve the electron kinetic equation including that process. We find analytical solutions for the case of conical jets with advection and synchrotron losses. We show that accounting for adiabatic losses in the case of sources showing soft partially self-absorbed spectra with the spectral index of $\alpha<0$ in the radio-to-IR regime requires deposition of large amounts of energy at large distances in the jet. On the other hand, such spectra can be accounted for by advection of electrons in the jet. We compare our results to the quiescent spectrum of the blazar Mrk 421. We find its soft radio-IR spectrum can be fitted either by a model without adiabatic losses and advection of electrons or by one with adiabatic losses, but the latter requires injection of a very large power at large distances.


title: Trotter-Kato product formulae in Dixmier ideal

abstract: It is shown that for a certain class of the Kato functions the Trotter-Kato product formulae converge in Dixmier ideal C 1,$\infty$ in topology, which is defined by the $\times$ 1,$\infty$-norm. Moreover, the rate of convergence in this topology inherits the error-bound estimate for the corresponding operator-norm convergence. 1 since [24], [14]. Note that a subtle point of this program is the question about the rate of convergence in the corresponding topology. Since the limit of the Trotter-Kato product formula is a strongly continuous semigroup, for the von Neumann-Schatten ideals this topology is the trace-norm $\times$ 1 on the trace-class ideal C 1 (H). In this case the limit is a Gibbs semigroup [25]. For self-adjoint Gibbs semigroups the rate of convergence was estimated for the first time in [7] and [9]. The authors considered the case of the Gibbs-Schr{\"o}dinger semigroups. They scrutinised in these papers a dependence of the rate of convergence for the (exponential) Trotter formula on the smoothness of the potential in the Schr{\"o}dinger generator. The first abstract result in this direction was due to [19]. In this paper a general scheme of lifting the operator-norm rate convergence for the Trotter-Kato product formulae was proposed and advocated for estimation the rate of the trace-norm


title: On generalized principal eigenvalues of nonlocal operators with a drift *

abstract: This article is concerned with the following spectral problem: to find a positive function $\Phi$ $\in$ C 1 ($\Omega$) and $\lambda$ $\in$ R such that q(x)$\Phi$ (x) + ^ $\Omega$ J(x, y)$\Phi$(y) dy + a(x)$\Phi$(x) + $\lambda$$\Phi$(x) = 0 for x $\in$ $\Omega$, where $\Omega$ $\subset$ R is a non-empty domain (open interval), possibly unbounded, J is a positive continuous kernel, and a and q are continuous coefficients. Such a spectral problem naturally arises in the study of nonlocal population dynamics models defined in a space-time varying environment encoding the influence of a climate change through a spatial shift of the coefficient. In such models, working directly in a moving frame that matches the spatial shift leads to consider a problem where the dispersal of the population is modeled by a nonlocal operator with a drift term. Assuming that the drift q is a positive function, for rather general assumptions on J and a, we prove the existence of a principal eigenpair ($\lambda$ p , $\Phi$ p) and derive some of its main properties. In particular, we prove that $\lambda$ p ($\Omega$) = lim R$\rightarrow$+$\infty$ $\lambda$ p ($\Omega$ R), where $\Omega$ R = $\Omega$ $\cap$ (--R, R) and $\lambda$ p ($\Omega$ R) corresponds to the principal eigenvalue of the truncation operator defined in $\Omega$ R. The proofs especially rely on the derivation of a new Harnack type inequality for positive solutions of such problems.


title: Boosting Fronthaul Capacity: Global Optimization of Power Sharing for Centralized Radio Access Network

abstract: The limited fronthaul capacity imposes a challenge on the uplink of centralized radio access network (C-RAN). We propose to boost the fronthaul capacity of massive multiple-input multiple-output (MIMO) aided C-RAN by globally optimizing the power sharing between channel estimation and data transmission both for the user devices (UDs) and the remote radio units (RRUs). Intuitively, allocating more power to the channel estimation will result in more accurate channel estimates, which increases the achievable throughput. However, increasing the power allocated to the pilot training will reduce the power assigned to data transmission, which reduces the achievable throughput. In order to optimize the powers allocated to the pilot training and to the data transmission of both the UDs and the RRUs, we assign an individual power sharing factor to each of them and derive an asymptotic closed-form expression of the signal-to-interference-plus-noise for the massive MIMO aided C-RAN consisting of both the UD-to-RRU links and the RRU-to-baseband unit (BBU) links. We then exploit the C-RAN architecture's central computing and control capability for jointly optimizing the UDs' power sharing factors and the RRUs' power sharing factors aiming for maximizing the fronthaul capacity. Our simulation results show that the fronthaul capacity is significantly boosted by the proposed global optimization of the power allocation between channel estimation and data transmission both for the UDs and for their host RRUs. As a specific example of 32 receive antennas (RAs) deployed by RRU and 128 RAs deployed by BBU, the sum-rate of 10 UDs achieved with the optimal power sharing factors improves 33\% compared with the one attained without optimizing power sharing factors.


title: Rational normal forms and stability of small solutions to nonlinear Schr\"odinger equations

abstract: We consider general classes of nonlinear Schr\"odinger equations on the circle with nontrivial cubic part and without external parameters. We construct a new type of normal forms, namely rational normal forms, on open sets surrounding the origin in high Sobolev regularity. With this new tool we prove that, given a large constant $M$ and a sufficiently small parameter $\varepsilon$, for generic initial data of size $\varepsilon$, the flow is conjugated to an integrable flow up to an arbitrary small remainder of order $\varepsilon^{M+1}$. This implies that for such initial data $u(0)$ we control the Sobolev norm of the solution $u(t)$ for time of order $\varepsilon^{-M}$. Furthermore this property is locally stable: if $v(0)$ is sufficiently close to $u(0)$ (of order $\varepsilon^{3/2}$) then the solution $v(t)$ is also controled for time of order $\varepsilon^{-M}$.


title: Quantum key distribution with dissipative Kerr soliton generated by on-chip microresonators

abstract: Quantum key distribution (QKD) can distribute symmetric key bits between remote legitimate users with the guarantee of quantum mechanics principles. For practical applications, the compact and robust photonic components for QKD are essential, and there are increasing attention to integrate the source, detector and modulators on a photonic chip. However, the massive and parallel QKD based on wavelength multiplexing are still challenge, due to the limited coherent light sources on the chip. Here, we introduce the Kerr dissipative soliton in a microresonator, which provides the locked coherent frequency comb with 49GHz frequency spacing, for QKD. We demonstrate the parallel QKD by demulplexing the coherent comb lines form the soliton, and showing the potential of Gbps secret key rate if the hundreds of channels covering C and L bands are fully exploited. The demonstrated soliton based QKD architecture are compatible with the efforts of quantum photonic integrated circuits, which are compact, robust and low-cost, and provides a competitive platform of practical QKD chip.


title: Null controllability for a degenerate population model in divergence form via Carleman estimates

abstract: In this paper we consider a degenerate population equation in divergence form depending on time, on age and on space and we prove a related null controllability result via Carleman estimates.


title: Thought Viruses and Asset Prices

abstract: We use insights from epidemiology, namely the SIR model, to study how agents infect each other with "investment ideas." Once an investment idea "goes viral," equilibrium prices exhibit the typical "fever peak," which is characteristic for speculative excesses. Using our model, we identify a time line of symptoms that indicate whether a boom is in its early or later stages. Regarding the market's top, we find that prices start to decline while the number of infected agents, who buy the asset, is still rising. Moreover, the presence of fully rational agents (i) accelerates booms (ii) lowers peak prices and (iii) produces broad, drawn-out, market tops.


title: Boosting Assisted Annihilation for a Cosmologically Safe MeV Scale Dark Matter

abstract: Assisted annihilation generates thermal sub-GeV dark matter through a novel annihilation between a pair of dark matter and standard-model-like states, called the "assister". We show that, depending on the mass hierarchy between the assister and dark matter, there can be either a suppression or a boost of the effective cross section. This augmentation enables the possibility of $\mathcal{O}(100)$ MeV scale dark matter with perturbative coupling that saturates the relic density estimates while being relatively insulated from cosmological constraints like big bang nucleosynthesis and cosmic microwave background.


title: Capacitary differentiability of potentials of finite Radon measures

abstract: We study differentiability properties of a potential of the type $K\star \mu$, where $\mu$ is a finite Radon measure in $\mathbb{R}^N$ and the kernel $K$ satisfies $|\nabla^j K(x)| \le C\, |x|^{-(N-1+j)}, \quad j=0,1,2.$ We introduce a notion of differentiability in the capacity sense, where capacity is classical capacity in the de la Vall\'ee Poussin sense associated with the kernel $|x|^{-(N-1)}.$ We require that the first order remainder at a point is small when measured by means of a normalized weak capacity "norm" in balls of small radii centered at the point. This implies weak $L^{N/(N-1)}$ differentiability and thus $L^{p}$ differentiability in the Calder\'on--Zygmund sense for $1\le p < N/(N-1)$. We show that $K\star \mu$ is a.e. differentiable in the capacity sense, thus strengthening a recent result by Ambrosio, Ponce and Rodiac. We also present an alternative proof of a quantitative theorem of the authors just mentioned, giving pointwise Lipschitz estimates for $K\star \mu.$ As an application, we study level sets of newtonian potentials of finite Radon measures.


title: Selling Wind

abstract: We offer a parsimonious model to investigate how strategic wind producers sell energy under stochastic production constraints, where the extent of heterogeneity of wind energy availability varies according to wind farm locations. The main insight of our analysis is that increasing heterogeneity in resource availability improves social welfare, as a function of its effects both on improving diversification and on reducing withholding by firms. We show that this insight is quite robust for any concave and downward-sloping inverse demand function. The model is also used to analyze the effect of heterogeneity on firm profits and opportunities for collusion. Finally, we analyze the impacts of improving public information and weather forecasting; enhanced public forecasting increases welfare, but it is not always in the best interests of strategic producers.


title: Kosniowski's conjecture and weights

abstract: The conjecture of Kosniowski asserts that if the circle acts on a compact unitary manifold $M$ with a non-empty fixed point set and $M$ does not bound a unitary manifold equivariantly, then the dimension of the manifold is bounded above by a linear function on the number of fixed points. We confirm the conjecture for almost complex manifolds under an assumption on weights. For instance, we confirm the conjecture if there is one type $\pm a$ of weights, or there are two types $\pm a$, $\pm b$ of weights.


title: Loss Aversion in Recommender Systems: Utilizing Negative User Preference to Improve Recommendation Quality

abstract: Negative user preference is an important context that is not sufficiently utilized by many existing recommender systems. This context is especially useful in scenarios where the cost of negative items is high for the users. In this work, we describe a new recommender algorithm that explicitly models negative user preferences in order to recommend more positive items at the top of recommendation-lists. We build upon existing machine-learning model to incorporate the contextual information provided by negative user preference. With experimental evaluations on two openly available datasets, we show that our method is able to improve recommendation quality: by improving accuracy and at the same time reducing the number of negative items at the top of recommendation-lists. Our work demonstrates the value of the contextual information provided by negative feedback, and can also be extended to signed social networks and link prediction in other networks.


title: EMMA: An Emotion-Aware Wellbeing Chatbot

abstract: The delivery of mental health interventions via ubiquitous devices has shown much promise. A conversational chatbot is a promising oracle for delivering appropriate just-in-time interventions. However, designing emotionally-aware agents, specially in this context, is under-explored. Furthermore, the feasibility of automating the delivery of just-in-time mHealth interventions via such an agent has not been fully studied. In this paper, we present the design and evaluation of EMMA (EMotion-Aware mHealth Agent) through a two-week long human-subject experiment with N=39 participants. EMMA provides emotionally appropriate micro-activities in an empathetic manner. We show that the system can be extended to detect a user's mood purely from smartphone sensor data. Our results show that our personalized machine learning model was perceived as likable via self-reports of emotion from users. Finally, we provide a set of guidelines for the design of emotion-aware bots for mHealth.


title: Training dynamically balanced excitatory-inhibitory networks

abstract: The construction of biologically plausible models of neural circuits is crucial for understanding the computational properties of the nervous system. Constructing functional networks composed of separate excitatory and inhibitory neurons obeying Dale's law presents a number of challenges. We show how a target-based approach, when combined with a fast online constrained optimization technique, is capable of building functional models of rate and spiking recurrent neural networks in which excitation and inhibition are balanced. Balanced networks can be trained to produce complicated temporal patterns and to solve input-output tasks while retaining biologically desirable features such as Dale's law and response variability.


title: 2+1-dimensional gravity coupled to a dust shell: quantization in terms of global phase space variables

abstract: We perform canonical analysis of a model in which gravity is coupled to a spherically symmetric dust shell in 2+1 spacetime dimensions. The result is a reduced action depending on a finite number of degrees of freedom. The emphasis is made on finding canonical variables providing the global chart for the entire phase space of the model. It turns out that all the distinct pieces of momentum space could be assembled into a single manifold which has ADS^{2}-geometry, and the global chart for it is provided by the Euler angles. This results in both non-commutativity and discreteness in coordinate space, which allows to resolve the central singularity. We also find the map between ADS^{2} momentum space obtained here and momentum space in Kuchar variables, which could be helpful in extending the present results to 3+1 dimensions.


title: Performance and Moli`ere radius measurements using a compact prototype of LumiCal in an electron test beam

abstract: A new design of a detector plane of sub-millimetre thickness for an electromagnetic sampling calorimeter is presented. It is intended to be used in the luminometers LumiCal and BeamCal in future linear $e^+e^-$ collider experiments. The detector planes were produced utilising novel connectivity scheme technologies. They were installed in a compact prototype of the calorimeter and tested at DESY with an electron beam of energy 1-5 GeV. The performance of a prototype of a compact LumiCal comprising eight detector planes was studied. The effective Moli`ere radius at 5 GeV was determined to be (8.1 +/- 0.1 (stat) +/- 0.3 (syst)) mm, a value well reproduced by the Monte Carlo (MC) simulation (8.4 +/- 0.1) mm. The dependence of the effective Moli`ere radius on the electron energy in the range 1-5 GeV was also studied. Good agreement was obtained between data and MC simulation.


title: Microplasticity and yielding in crystals with heterogeneous dislocation distribution

abstract: In this study, we use discrete dislocation dynamics (DDD) simulation to investigate the effect of heterogeneous dislocation density on the transition between quasi-elastic deformation and plastic flow in face-centered cubic single crystals. By analyzing the stress-strain curves of samples with an initial, axial dislocation density gradient, we arrive at the following conclusions: (i) in the regime of quasi-elastic deformation before the onset of plastic flow, the effective elastic modulus of the simulated samples falls significantly below the value for a dislocation-free crystal. This modulus reduction increases with decreasing dislocation density gradient: crystals with homogeneous dislocation distribution are thus weakest in the quasi-elastic regime; (ii) the transition towards plastic flow occurs first in regions of reduced dislocation density. Therefore, the overall yield stress decreases with increasing dislocation density gradient; (iii) crystals with dislocation density gradient exhibit a more pronounced hardening stage during which stress is re-distributed onto stronger regions with higher dislocation density until the sample flows at a constant flow stress that is approximately independent on dislocation density gradient. We interpret these findings in terms of a continuum dislocation dynamics inspired model of dislocation density evolution that accounts for inversive dislocation motions. The transition between quasi-elastic and plastic deformation is interpreted as a transition from inversive to non-inversive dislocation motion, and the initial differences in elastic modulus are related to a density dependent polarizability of the dislocation system. The subsequent plastic flow behavior is analyzed in terms of a modified version of Mughrabi's composite model.


title: Regularity of solutions to a class of variable-exponent fully nonlinear elliptic equations

abstract: In the present paper, we propose the investigation of variable-exponent, degenerate/singular elliptic equations in non-divergence form. This current endeavor parallels the by now well established theory of functionals satisfying nonstandard growth condition, which in particular encompasses problems ruled by the $p(x)$-laplacian operator. Under rather general conditions, we prove viscosity solutions to variable exponent fully nonlinear elliptic equations are locally of class $C^{1,\kappa}$ for a universal constant $0< \kappa < 1$. A key feature of our estimates is that they do not depend on the modulus of continuity of exponent coefficients, and thus may be employed to investigate a variety of problems whose ellipticity degenerates and/or blows-up in a discontinuous fashion.


title: Modeling, Simulating and Configuring Programmable Wireless Environments for Multi-User Multi-Objective Networking

abstract: Programmable wireless environments enable the software-defined propagation of waves within them, yielding exceptional performance potential. Several building-block technologies have been implemented and evaluated at the physical layer. The present work contributes a network-layer scheme to configure such environments for multiple users and objectives, and for any physical-layer technology. Supported objectives include any combination of Quality of Service and power transfer optimization, eavesdropping and Doppler effect mitigation, in multi-cast or uni-cast settings. Additionally, a graph-based model of programmable environments is proposed, which incorporates core physical observations and efficiently separates physical and networking concerns. Evaluation takes place in a specially developed, free simulation tool, and in a variety of environments. Performance gains over regular propagation are highlighted, reaching important insights on the user capacity of programmable environments.


title: Applying Text Mining to Protest Stories as Voice against Media Censorship

abstract: Data driven activism attempts to collect, analyze and visualize data to foster social change. However, during media censorship it is often impossible to collect such data. Here we demonstrate that data from personal stories can also help us to gain insights about protests and activism which can work as a voice for the activists. We analyze protest story data by extracting location network from the stories and perform emotion mining to get insight about the protest.


title: Issues for Using Semantic Modeling to Represent Mechanisms

abstract: Mechanisms are a fundamental concept in many areas of science. Nonetheless, there has been little effort to develop structures to represent mechanisms. We explore the issues in developing a basic semantic modeling framework for describing some types of mechanisms. We draw together threads from a number of different approaches and then consider two examples. From this survey, we propose a rich Semantic Modeling Framework (SMF) based on Transitionals and hierarchies of Aggregates and Mechanisms, which could be implemented with the XFO programming environment. Potentially, the framework will be useful for developing direct-representation scientific research reports and community models.


title: Condensation of SiC Stardust in CO Nova Outbursts

abstract: This study on presolar grains compares high-precision isotopic compositions of individual SiC grains with low 12C/13C ratios, low 14N/15N ratios, large 30Si excesses and high 26Al/27Al ratios, available in the presolar grain database, to new CO nova models with white dwarf (WD) masses from 0.6-1.35M_sol. The models were designed to match the Large Binocular Telescope (LBT) high dispersion spectra acquired for nova V5668 Sgr (Starrfield et al. 2018). These CO nova models provide elemental abundances up to calcium and include mixing of WD material into the accreted material in a binary star system under several scenarios, including one where mixing occurs only after temperatures >7x10^7K are achieved during a thermonuclear runaway (TNR). The 0.8-1.35M_sol simulations where 25% of the WD core matter mixes with 75% of the accreted material (assumed solar) from its binary companion after the TNR has begun, provide the best fits to the measured isotopic data in four presolar grains. One grain matches the 50% accreted 50% solar 1.35M_sol simulation. For these five presolar grains, less than 25% of solar system material is required to be mixed with the CO nova ejecta to account for the grains' compositions. Thus, our study reports evidence of pure CO nova ejecta material in meteorites. Finally, we speculate that SiC grains can form in the winds of cool and dense CO novae, where the criterion C>O may not be locally imposed, and thus nova winds can be chemically inhomogeneous.


title: On the Construction of Knockoffs in Case-Control Studies

abstract: Consider a case-control study in which we have a random sample, constructed in such a way that the proportion of cases in our sample is different from that in the general population---for instance, the sample is constructed to achieve a fixed ratio of cases to controls. Imagine that we wish to determine which of the potentially many covariates under study truly influence the response by applying the new model-X knockoffs approach. This paper demonstrates that it suffices to design knockoff variables using data that may have a different ratio of cases to controls. For example, the knockoff variables can be constructed using the distribution of the original variables under any of the following scenarios: (1) a population of controls only; (2) a population of cases only; (3) a population of cases and controls mixed in an arbitrary proportion (irrespective of the fraction of cases in the sample at hand). The consequence is that knockoff variables may be constructed using unlabeled data, which is often available more easily than labeled data, while maintaining Type-I error guarantees.


title: Examining MAVEN NGIMS Neutral Data Response to Solar Wind Drivers

abstract: The Martian upper atmosphere is known to vary diurnally and seasonally due to changing amounts of solar radiation. However, in the upper thermosphere and exosphere, the neutrals are also subject to ion precipitation. This can increase the temperature in the region of precipitation, resulting in density changes that might be seen in in situ data (Fang et al. 2013). Therefore, we examine neutral density data from the MAVEN Neutral Gas and Ion Mass Spectrometer (NGIMS) in Mars-Solar-Electric (MSE) coordinates, where location is determined by the direction of the solar wind convective electric field, resulting in a hemispherical asymmetry in the ion precipitation. By examining densities in MSE coordinates (Hara et al. 2013) we are able to look for a detectable effect in the region where ion precipitation is more likely. Using the NGIMS neutral data and Key Parameters in situ solar wind data from February 2015 to August 2017 we look for asymmetries by constructing average density maps in Mars-Solar-Orbital (MSO) and MSE coordinates near the exobase. The NGIMS densities for O, Ar, and CO2 from 180-220 km altitude for each orbit are averaged and then binned by location in MSO coordinates and transformed to MSE coordinates. The resulting MSE map exhibits a small density increase in the southern hemisphere, where one would expect to see enhanced precipitation. Although suggestive, the change is not statistically significant, so that the effect of ion precipitation, thought to be an important driver in the evolution of Mars' atmosphere remains elusive.


title: On the magnetisation and the radiative efficiency of BL Lac jets

abstract: Theoretical modelling and observations of AGN jets suggest that the non-thermal electrons emitting the observed radiation should (i) carry an amount of energy comparable to the magnetic fields ($U_e\sim U_B$), which is likely the case if the magnetic fields play a dynamically important role in the jet's acceleration process; (ii) cool efficiently in a dynamical time ($t_{\rm cool}\lesssim t_{\rm dyn}$), which is suggested by the fact that a large fraction of the jet's kinetic energy is promptly converted into radiation. These expectations are at odds with the results of the simplest one-zone Self-Synchro-Compton (SSC) model for the Spectral Energy Distribution (SED) of BL Lacs. Indeed, the model predicts $U_e\gg U_B$ and $t_{\rm cool}\gg t_{\rm dyn}$ for most of the objects. Here we closely investigate one of the key assumptions of this model, namely that the momentum distribution of the non-thermal electrons is isotropic. We find that this assumption may be an oversimplification. If the magnetic energy is dissipated via a turbulent MHD cascade, the highest energy electrons may instead retain a small pitch angle. Since the synchrotron emissivity is suppressed when the pitch angle is small, this effect may importantly affect the modelling of the SED. As an illustrative example, we present an anisotropic model for the electron momentum distribution such that $U_e\sim U_B$ and $t_{\rm cool}\lesssim t_{\rm dyn}$ at the same time. Our model manages to simultaneously solve the two problems with one only more free parameter with respect to the usual isotropic one-zone SSC model.


title: Single-layer tensor network study of the Heisenberg model with chiral interactions on a kagome lattice

abstract: We study the antiferromagnetic kagome Heisenberg model with additional scalar-chiral interaction by using the infinite projected entangled-pair state (iPEPS) ansatz. We discuss in detail the implementation of optimization algorithm in the framework of the single-layer tensor network based on the corner-transfer matrix technique. Our benchmark based on the full-update algorithm shows that the single-layer algorithm is stable, which leads to the same level of accuracy as the double-layer ansatz but with much less computation time. We further apply this algorithm to study the nature of the kagome Heisenberg model with a scalar-chiral interaction by computing the bond dimension scaling of magnetization, bond energy difference, chiral order parameter and correlation length. In particular, we find that for strong chiral coupling the correlation length, which is extracted from the transfer matrix, saturates to a finite value for large bond dimension, representing a gapped spin-liquid state. Further comparison with density matrix renormalization group results supports that our iPEPS faithfully represents the time-reversal symmetry breaking chiral state. Our iPEPS simulation results shed new light on constructing PEPS for describing gapped chiral topological states.


title: Divisibility of qubit channels and dynamical maps

abstract: The concept of divisibility of dynamical maps is used to introduce an analogous concept for quantum channels by analyzing the \textit{simulability} of channels by means of dynamical maps. In particular, this is addressed for Lindblad divisible, completely positive divisible and positive divisible dynamical maps. The corresponding L-divisible, CP-divisible and P-divisible subsets of channels are characterized (exploiting the results by Wolf et al., Comm. Math. Phys., 279(1):147-168, 2008) and visualized for the case of qubit channels. We discuss the general inclusions among divisibility sets and show several equivalences for qubit channels. To this end we study the conditions of L-divisibility for finite dimensional channels, especially the cases with negative eigenvalues, extending and completing the results of Phys. Rev. Lett., 101(15):150402, 2008. Furthermore we show that transitions between every two of the defined divisibility sets are allowed. We explore particular examples of dynamical maps to compare these concepts. Finally, we show that every divisible but not infinitesimal divisible qubit channel (in positive maps) is entanglement breaking, and open the question if something similar occurs for higher dimensions.


title: Modeling and simulation of gas networks coupled to power grids

abstract: In this paper, a mathematical framework for the coupling of gas networks to electric grids is presented to describe in particular the transition from gas to power. The dynamics of the gas flow are given by the isentropic Euler equations, while the power flow equations are used to model the power grid. We derive pressure laws for the gas flow that allow for the well-posedness of the coupling and a rigorous treatment of solutions. For simulation purposes, we apply appropriate numerical methods and show in a experimental study how gas-to-power might influence the dynamics of the gas and power network, respectively.


title: A Comprehensive Analysis of Swarming-based Live Streaming to Leverage Client Heterogeneity

abstract: Due to missing IP multicast support on an Internet scale, over-the-top media streams are delivered with the help of overlays as used by content delivery networks and their peer-to-peer (P2P) extensions. In this context, mesh/pull-based swarming plays an important role either as pure streaming approach or in combination with tree/push mechanisms. However, the impact of realistic client populations with heterogeneous resources is not yet fully understood. In this technical report, we contribute to closing this gap by mathematically analysing the most basic scheduling mechanisms latest deadline first (LDF) and earliest deadline first (EDF) in a continuous time Markov chain framework and combining them into a simple, yet powerful, mixed strategy to leverage inherent differences in client resources. The main contributions are twofold: (1) a mathematical framework for swarming on random graphs is proposed with a focus on LDF and EDF strategies in heterogeneous scenarios; (2) a mixed strategy, named SchedMix, is proposed that leverages peer heterogeneity. The proposed strategy, SchedMix is shown to outperform the other two strategies using different abstractions: a mean-field theoretic analysis of buffer probabilities, simulations of a stochastic model on random graphs, and a full-stack implementation of a P2P streaming system.


title: Brain MRI super-resolution using 3D generative adversarial networks

abstract: In this work we propose an adversarial learning approach to generate high resolution MRI scans from low resolution images. The architecture, based on the SRGAN model, adopts 3D convolutions to exploit volumetric information. For the discriminator, the adversarial loss uses least squares in order to stabilize the training. For the generator, the loss function is a combination of a least squares adversarial loss and a content term based on mean square error and image gradients in order to improve the quality of the generated images. We explore different solutions for the upsampling phase. We present promising results that improve classical interpolation, showing the potential of the approach for 3D medical imaging super-resolution. Source code available at https://github.com/imatge-upc/3D-GAN-superresolution


title: Nuclear quantum memory and time sequencing of a single $\gamma$ photon

abstract: A $\gamma$-ray-nuclear quantum interface is suggested as a new platform for quantum information processing, motivated by remarkable progresses in $\gamma$-ray quantum optics. The main advantages of a $\gamma$ photon over an optical photon lie in its almost perfect detectability and much tighter, potentially sub-angstrom, focusability. Nuclear ensembles hold important advantages over atomic ensembles in a unique combination of high nuclear density in bulk solids with narrow, lifetime-broadening M\"ossbauer transitions even at room temperature. This may lead to the densest long-lived quantum memories and the smallest size photon processors. Here we propose a technique for $\gamma$ photon quantum memory through a Doppler frequency comb, produced by a set of resonantly absorbing nuclear targets that move with different velocities. It provides a reliable storage, an on-demand generation, and a time sequencing of a single $\gamma$ photon. This scheme presents the first $\gamma$-photon-nuclear-ensemble interface opening a new direction of research in quantum information science.


title: A Mayer-Vietoris Spectral Sequence for C*-Algebras and Coarse Geometry

abstract: Let $A$ be a C*-algebra that is the norm closure $A = \overline{\sum_{\beta \in \alpha} I_\beta}$ of an arbitrary sum of C*-ideals $I_\beta \subseteq A$. We construct a homological spectral sequence that takes as input the K-theory of $\bigcap_{j \in J} I_j$ for all finite nonempty index sets $J \subseteq \alpha$ and converges strongly to the K-theory of $A$. For a coarse space $X$, the Roe algebra $\mathfrak C^* X$ encodes large-scale properties. Given a coarsely excisive cover $\{X_\beta\}_{\beta \in \alpha}$ of $X$, we reshape $\mathfrak C^* X_\beta$ as input for the spectral sequence. From the K-theory of $\mathfrak C^*X \big( \bigcap_{j \in J} X_j \big)$ for finite nonempty index sets $J \subseteq \alpha$, we compute the K-theory of $\mathfrak C^* X$ if $\alpha$ is finite, or of a direct limit C*-ideal of $\mathfrak C^* X$ if $\alpha$ is infinite. Analogous spectral sequences exist for the algebra $\mathfrak D^* X$ of pseudocompact finite-propagation operators that contains the Roe algebra as a C*-ideal, and for $\mathfrak Q^* X = \mathfrak D^* X / \mathfrak C^* X$.


title: $\mathcal{P}\mathcal{T}$-Symmetric Coherent Perfect Absorber with Graphene

abstract: We investigate $\mathcal{PT}$-symmetric coherent perfect absorbers (CPAs) in the TE mode solution of a linear homogeneous optical system surrounded by graphene sheets. It is revealed that presence of graphene sheets contributes the enhancement of absorption in a coherent perfect absorber. We derive exact analytic expressions, and work through their possible impacts on lasing threshold and CPA conditions. We point out roles of each parameter governing optical system with graphene and show that optimal conditions of these parameters give rise to enhancement and possible experimental realization of a CPA laser. Presence of graphene leads the required gain amount to reduce considerably based on its chemical potential and temperature. We obtain that relation between system parameters decides the measure of CPA condition. We find out that graphene features contributing to resonance effect in graphene sheets are rather preferable to build a better coherent perfect absorber.


title: Multivariate Arrival Times with Recurrent Neural Networks for Personalized Demand Forecasting

abstract: Access to a large variety of data across a massive population has made it possible to predict customer purchase patterns and responses to marketing campaigns. In particular, accurate demand forecasts for popular products with frequent repeat purchases are essential since these products are one of the main drivers of profits. However, buyer purchase patterns are extremely diverse and sparse on a per-product level due to population heterogeneity as well as dependence in purchase patterns across product categories. Traditional methods in survival analysis have proven effective in dealing with censored data by assuming parametric distributions on inter-arrival times. Distributional parameters are then fitted, typically in a regression framework. On the other hand, neural-network based models take a non-parametric approach to learn relations from a larger functional class. However, the lack of distributional assumptions make it difficult to model partially observed data. In this paper, we model directly the inter-arrival times as well as the partially observed information at each time step in a survival-based approach using Recurrent Neural Networks (RNN) to model purchase times jointly over several products. Instead of predicting a point estimate for inter-arrival times, the RNN outputs parameters that define a distributional estimate. The loss function is the negative log-likelihood of these parameters given partially observed data. This approach allows one to leverage both fully observed data as well as partial information. By externalizing the censoring problem through a log-likelihood loss function, we show that substantial improvements over state-of-the-art machine learning methods can be achieved. We present experimental results based on two open datasets as well as a study on a real dataset from a large retailer.


title: Calibration of Heterogeneous Sensor Systems

abstract: Environment perception is a key component of any autonomous system and is often based on a heterogeneous set of sensors and fusion thereof for which sensor sensor calibration plays fundamental role. It can be divided to intrinsic and extrinsic sensor calibration. Former seeks for internal parameters of each individual sensor, while latter provides coordinate frame transformation between sensors. Calibration techniques require correspondence registration in the measurements which is one of the main challenges in the extrinsic calibration of heterogeneous sensors, since generally, each sensor can operate on a different physical principle. Measurement correspondences can originate from a designated calibration target or from features in the environment. Additionally, environment features can be used to estimate motion of individual sensors and the calibration is found by aligning these estimates. Motion-based calibration is the most common approach in the online calibration since it is more practical than the target-based methods, although it can lack in accuracy. Furthermore, online calibration is beneficial for system robustness as it can detect and adjust recalibration of the system in runtime, which can be seen as a prerequisite for long-term autonomy.


title: Greedy Layerwise Learning Can Scale to ImageNet

abstract: Shallow supervised 1-hidden layer neural networks have a number of favorable properties that make them easier to interpret, analyze, and optimize than their deep counterparts, but lack their representational power. Here we use 1-hidden layer learning problems to sequentially build deep networks layer by layer, which can inherit properties from shallow networks. Contrary to previous approaches using shallow networks, we focus on problems where deep learning is reported as critical for success. We thus study CNNs on image classification tasks using the large-scale ImageNet dataset and the CIFAR-10 dataset. Using a simple set of ideas for architecture and training we find that solving sequential 1-hidden-layer auxiliary problems lead to a CNN that exceeds AlexNet performance on ImageNet. Extending this training methodology to construct individual layers by solving 2-and-3-hidden layer auxiliary problems, we obtain an 11-layer network that exceeds several members of the VGG model family on ImageNet, and can train a VGG-11 model to the same accuracy as end-to-end learning. To our knowledge, this is the first competitive alternative to end-to-end training of CNNs that can scale to ImageNet. We illustrate several interesting properties of these models theoretically and conduct a range of experiments to study the properties this training induces on the intermediate layers.


title: Symphony on Strong Field Approximation

abstract: This paper has been prepared by the Symphony collaboration (University of Warsaw, Uniwersytet Jagiello\'nski, DESY/CNR and ICFO) on the occasion of the 25th anniversary of the "simple man's models" which underlie most of the phenomena that occur when intense ultrashort laser pulses interact with matter. The phenomena in question include High-Harmonic Generation, Above-Threshold Ionization, and Non-Sequential Multielectron Ionization. "Simple man's models" provide, both an intuitive basis for understanding the numerical solutions of the time-dependent Schr\"odinger equation, and the motivation for the powerful analytic approximations generally known as the Strong Field Approximation (SFA). In this paper we first review the SFA in the form developed by us in the last 25 years. In this approach SFA is a method to solve the TDSE using a systematic perturbation theory in a part of the Hamiltonian describing continuum-continuum transitions in the presence of the laser field. In this review we focus on recent applications of SFA to HHG, ATI and NSMI from multi-electron atoms and from multi-atom. The main novel part of the presented theory concerns generalizations of SFA to: (i) time-dependent treatment of two-electron atoms, allowing for studies of an interplay between Electron Impact Ionization (EII) and Resonant Excitation with Subsequent Ionization (RESI); (ii) time-dependent treatment in the single active electron (SAE) approximation of "large" molecules and targets which are themselves undergoing dynamics during the HHG or ATI process. In particular, we formulate the general expressions for the case of arbitrary molecules, combining input from quantum chemistry and quantum dynamics. We formulate also theory of time-dependent separable molecular potentials to model analytically the dynamics of realistic electronic wave packets for molecules in strong laser fields.


title: Removing Malicious Nodes from Networks

abstract: A fundamental challenge in networked systems is detection and removal of suspected malicious nodes. In reality, detection is always imperfect, and the decision about which potentially malicious nodes to remove must trade off false positives (erroneously removing benign nodes) and false negatives (mistakenly failing to remove malicious nodes). However, in network settings this conventional tradeoff must now account for node connectivity. In particular, malicious nodes may exert malicious influence, so that mistakenly leaving some of these in the network may cause damage to spread. On the other hand, removing benign nodes causes direct harm to these, and indirect harm to their benign neighbors who would wish to communicate with them. We formalize the problem of removing potentially malicious nodes from a network under uncertainty through an objective that takes connectivity into account. We show that optimally solving the resulting problem is NP-Hard. We then propose a tractable solution approach based on a convex relaxation of the objective. Finally, we experimentally demonstrate that our approach significantly outperforms both a simple baseline that ignores network structure, as well as a state-of-the-art approach for a related problem, on both synthetic and real-world datasets.


title: Effective New Methods for Automated Parameter Selection in Regularized Inverse Problems

abstract: The choice of the parameter value for regularized inverse problems is critical to the results and remains a topic of interest. This article explores a criterion for selecting a good parameter value by maximizing the probability of the data, {{with no prior knowledge of the noise variance}}. These concepts are developed for $\ell_2$ and consequently $\ell_1$ regularization models by way of their Bayesian interpretations. Based on these concepts, an iterative scheme is proposed and demonstrated to converge accurately, and analytical convergence results are provided that substantiate these empirical observations. For some of the most common inverse problems, including MRI, SAR, denoising, and deconvolution, an extremely efficient algorithm is derived, making the iterative scheme very attractive for real case use. The computational concerns associated with the general case for any inverse problem are also carefully addressed. A robust set of 1D and 2D numerical simulations confirm the effectiveness of the proposed approach.


title: Spin-Spacetime Censorship

abstract: Quantum entanglement and relativistic causality are key concepts in theoretical works seeking to unify quantum mechanics and gravity. In this article, we show that the interplay between relativity theory and quantum entanglement has intriguing consequences for the spacetime surrounding elementary particles with spin. Classical and quantum gravity theories predict that a spin-generated magnetic dipole field causes a (slight) bending to the spacetime around particles, breaking its spherical symmetry. Motivated by the apparent break of spherical symmetry, we propose a very general gedanken experiment that does not rely on any specific theory of classical or quantum gravity, and analyze this gedanken experiment in the context of quantum information. We show that any spin-related deviation from spherical symmetry would violate relativistic causality. To avoid the violation of causality, the measurable spacetime around the particle's rest frame must remain spherically symmetric, potentially as a back-action by the act of measurement. This way, our gedanken experiment proves that there must be a censorship mechanism preventing the possibility of spacetime-based spin detection, which sheds new light on the interface between quantum mechanics and gravity. We emphasize that our proposed gedanken experiment is independent of any theory and by allowing spacetime to be quantized its purpose is to be used for testing present and future candidate theories of quantum gravity.


title: General class of optimal Sobolev inequalities and nonlinear scalar field equations

abstract: We find a class of optimal Sobolev inequalities $$\Big(\int_{\mathbb{R}^N}|\nabla u|^2\, dx\Big)^{\frac{N}{N-2}}\geq C_{N,G}\int_{\mathbb{R}^N}G(u)\, dx, \quad u\in\mathcal{D}^{1,2}(\mathbb{R}^N), N\geq 3,$$ where the nonlinear function $G:\mathbb{R}\to\mathbb{R}$ of class $\mathcal{C}^1$ satisfies general growth assumptions in the spirit of the fundamental works of Berestycki and Lions. We admit, however, a wider class of problems involving zero, positive and infinite mass cases as well as $G$ need not be even. We show that any minimizer is radial up to a translation, moreover, up to a dilation, it is a least energy solution of the nonlinear scalar field equation $$-\Delta u = g(u)\quad \hbox{in }\mathbb{R}^N,\quad\hbox{with }g=G'.$$ In particular, if $G(u)=u^2\log |u|$, then the sharp constant is $C_{N,G}:=2^*(\frac{N}{2})^{2^*}e^{\frac{2(N-1)}{N-2}}(\pi)^{\frac{N}{N-2}}$ and $u_\lambda(x)=e^{\frac{N-1}{2}-\frac{\lambda^2}{2}|x|^2}$ with $\lambda>0$ constitutes the whole family of minimizers up to translations. The optimal inequality provides a new proof of the classical logarithmic Sobolev inequality based on a Pohozaev manifold approach. Moreover, if $N\geq 4$, then there is at least one nonradial solution and if, in addition, $N\neq 5$, then there are infinitely many nonradial solutions of the nonlinear scalar field equation. The energy functional associated with the problem may be infinite on $\mathcal{D}^{1,2}(\mathbb{R}^N)$ and is not Fr\'echet differentiable in its domain. We present a variational approach to this problem based on a new variant of Lions' lemma in $\mathcal{D}^{1,2}(\mathbb{R}^N)$.


title: Coordination and Control of Multiple Climbing Robots in Transport of Heavy Loads through Extreme Terrain

abstract: The discovery of ice deposits in the permanently shadowed craters of the lunar North and South Pole Moon presents an important opportunity for In-Situ Resource Utilization. These ice deposits maybe the source for sustaining a lunar base or for enabling an interplanetary refueling station. These ice deposits also preserve a unique record of the geology and environment of their hosts, both in terms of impact history and the supply of volatile compounds, and so are of immense scientific interest. To date, these ice deposits have been studied indirectly and by remote active radar, but they need to be analyzed in-situ by robotic systems that can study the depths of the deposits, their purity and composition. However, these shadowed craters never see sunlight and are one of the coldest places in the solar system. NASA JPL proposed use of solar reflectors mounted on crater rims to project sunlight into the crater depths for use by ground robots. The solar reflectors would heat the crater base and vehicles positioned at the base sufficiently to survive the cold-temperatures. Our approach analyzes part of the logistics of the approach, with teams of robots climbing up and down to the crater to access the ice deposits. The mission will require robots to climb down extreme environments and carry large structures, including instruments and communication devices.


title: Comment on "Individual external dose monitoring of all citizens of Date City by passive dosimeter 5 to 51 months after the Fukushima NPP accident (series): II"

abstract: This Letter to the Editor points out several inconsistencies found in the paper written by Makoto Miyazaki and Ryugo Hayano published as J. Radiol. Prot. 37(2017) 623-634. This Letter to the Editor had been in the stage of "is ready to accept" from November 17, 2018 to March 23, 2020 when it has been accepted for publication. Onto this Letter to the Editor, an additional Letter to the Editor on the same paper has been added. The added Letter to the Editor has been provisionally accepted on April 7, 2020.


title: A Nonlinear Moment Model for Radiative Transfer Equation in Slab Geometry

abstract: This paper is concerned with the approximation of the radiative transfer equation for a grey medium in the slab geometry by the moment method. We develop a novel moment model inspired by the classical $P_N$ model and $M_N$ model. The new model takes the ansatz of the $M_1$ model as the weight function and follows the primary idea of the $P_N$ model to approximate the specific intensity by expanding it around the weight function in terms of orthogonal polynomials. The weight function uses the information of the first two moments, which brings the new model the capability to approximate an anisotropic distribution. Mathematical properties of the moment model are investigated, and particularly the hyperbolicity and the characteristic structure of the Riemann problem of the model with three moments are studied in detail. Some numerical simulations demonstrate its numerical efficiency and show its superior in comparison to the $P_N$ model.


title: High-performance Decoder for Convolutional Code with Deep Neural Network

abstract: The use of deep neural network for decoding error control code will encounter two problems, namely, the high-precision requirements of the error control code and the complexity of the neural network due to the long code. In this paper, a deep neural network decoder is proposed to solve the decoding problem of long code by using the nature of convolutional code window decoding. A deep neural network decoder is utilized as a weak classifier, and an integrated decoder is proposed to improve the decoding performance greatly. The Viterbi decoder is improved by approximately 2 db at a bit error rate of level 5. Both decoder methods proposed in this paper can be decoded in parallel and are suitable for high-bit-rate applications. This study reveals that the accuracy of neural networks can reach level 8 more.


title: Stability of a retrovirus dymanic model

abstract: A retrovirus dynamic model is proposed. We pay attention to the case when viral pathogenicity is low and the infected cells are able to reproduce. Using Lyapunov function method we study stability properties of an inner equilibrium of the model. The equilibrium represents a chronic disease steady state.


title: Electron Density Measurement with Hairpin Resonator in Low Pressure Plasma

abstract: Hairpin probes measure electron density in plasmas where other techniques are unsuitable. Previous hairpins were constructed as a quarter-wave resonant structure typically made from a folded piece of wire. The present work conducts the hairpin measurement in high electron density, up to approximately 10^12 / cm3, corresponding to a plasma frequency of about 9 GHz. A series of four probes is described, together with an easily reproducible implementation of the associated microwave electronics using commercial off the shelf components that are inexpensive compared to the network analyzer that is typically required. Measuring higher densities requires increasing the resonant frequency, but we were unable to accurately fabricate the required quarter wavelength structure on the scale of 4 mm. Toward this end we explore operating a larger quarter-wavelength structure at its 3d harmonic (3/4 resonator). Correction coefficients are described for both the plasma sheath effect and the wire coating. Measurements are taken in Argon at pressures below 20 mTorr. Results are compared with Langmuir probe measurements.


title: Coupling-controlled Dual ITO Layer Electro-Optic Modulator in Silicon Photonics

abstract: Electro-optic signal modulation provides a key functionality in modern technology and information networks. Photonic integration has enabled not only miniaturizing photonic components, but also provided performance improvements due to co-design addressing both electrical and optical device rules. However the millimeter-to-centimeter large footprint of many foundry-ready photonic electro-optic modulators significantly limits scaling density. Furthermore, modulators bear a fundamental a frequency-response to energy-sensitive trade-off, a limitation that can be overcome with coupling-based modulators where the temporal response speed is decoupled from the optical cavity photo lifetime. Thus, the coupling effect to the resonator is modulated rather then tuning the index of the resonator itself. However, the weak electro-optic response of silicon limits such coupling modulator performance, since the micrometer-short overlap region of the waveguide-bus and a microring resonator is insufficient to induce signal modulation. To address these limitations, here we demonstrate a coupling-controlled electro-optic modulator by heterogeneously integrating a dual-gated indium-tin-oxide (ITO) phase shifter placed at the silicon microring-bus coupler region. Our experimental modulator shows about 4 dB extinction ratio on resonance, and a about 1.5 dB off resonance with a low insertion loss of 0.15 dB for a just 4 {\mu}m short device demonstrating a compact high 10:1 modulation-to-loss ratio. In conclusion we demonstrate a coupling modulator using strongly index-changeable materials enabling compact and high-performing modulators using semiconductor foundry-near materials.


title: A neural joint model for Vietnamese word segmentation, POS tagging and dependency parsing

abstract: We propose the first multi-task learning model for joint Vietnamese word segmentation, part-of-speech (POS) tagging and dependency parsing. In particular, our model extends the BIST graph-based dependency parser (Kiperwasser and Goldberg, 2016) with BiLSTM-CRF-based neural layers (Huang et al., 2015) for word segmentation and POS tagging. On Vietnamese benchmark datasets, experimental results show that our joint model obtains state-of-the-art or competitive performances.