title: Morrey-Campanato estimates for the moments of stochastic integral operators and its application to SPDEs

abstract: In this paper, we are concerned with the estimates for the moments of stochastic convolution integrals. We first deal with the stochastic singular integral operators and we aim to derive the Morrey-Campanato estimates for the $p$-moments (for $p\ge1$). Then, by utilising the embedding theory between the Campanato space and H\"older space, we establish the norm of $C^{\theta,\theta/2}(\bar D)$, where $\theta\ge0, \bar D=\bar G\times[0,T]$ for arbitrarily fixed $T\in(0,\infty)$ and $G\subset\mathbb{R}^d$. As an application, we consider the following stochastic (fractional) heat equations with additive noises \bess du_t(x)=\Delta^\alpha u_t(x)dt+g(t,x)d\eta_t,\ \ \ u_0=0,\ 0\leq t\leq T, x\in G, \eess where $\Delta^\alpha=-(-\Delta)^\alpha$ with $0<\alpha\leq1$ (the fractional Laplacian), $g:[0,T]\times G\times\Omega\to\mathbb{R}$ is a joint measurable coefficient, and $\eta_t, t\in[0,T]$, is either the Brownian motion or a L\'evy process on a given filtered probability space $(\Omega,\mathcal{F},P;\{\mathcal{F}_t\}_{t\in[0,T]})$. The Schauder estimate for the $p$-moments of the solution of the above equation is obtained. The novelty of the present paper is that we obtain the Schauder estimate for parabolic stochastic partial differential equations with L\'evy noise.


title: An Extended Goodwin Model with Horizontal Trade: A Sheaf Theoretic Approach

abstract: The Goodwin model of endogenous growth looks to study the dynamic interaction between employment rate and worker's share of national income in an economy. The model is simplistically and elegantly described by a set of differential equations that predicts cyclic behavior between the two variables in an economy. While this model is simplistic, and most likely does not accurately represent reality, the mathematical modeling of cyclic behavior is attractive to economists. Cycles are at the heart of many macroeconomic theories and a mathematical model allows for future predictions to be made. Thus, over the years, it has been updated and extended. Ishiyama (2001) takes one such approach at updating the Goodwin model. He considers two countries engaged in horizontal trade. Through the lens of sheaf theory, this paper describes Ishiyama's complex model through various dependency diagrams. Sheaves allow us to encode all information reflected in the equations of the model into a dependency diagram, yielding a visual representation of the variable relationship structure. These dependency diagrams are powerful, and much of the analysis typically done on equations can be done on the diagrams themselves. Further, these dependency diagrams allow for a new way to consider complex models, such as Ishiyama's model. More specifically, it also allows us to analyze his system in a way not previously done. New questions regarding local sections of this sheaf and their possible extensions to global sections are considered. These questions lend themselves to unique analysis about the system. They also provide a practical way to check the accuracy of Ishiyama's model, which has many obvious benefits. It is meaningful to conduct this approach to a system of equations given its novelty, its applicability, and its importance for modeling.


title: Schauder estimates for stochastic transport-diffusion equations with L\'{e}vy processes

abstract: We consider a transport-diffusion equation with L\'{e}vy noises and H\"{o}lder continuous coefficients. By using the heat kernel estimates, we derive the Schauder estimates for the mild solutions. Moreover, when the transport term vanishes and $p=2$, we show that the H\"{o}lder index in space variable is optimal.


title: Analogue of double-$\Lambda$-type atomic medium and vector dromions in a plasmonic metamaterial

abstract: We consider an array of the meta-atom consisting of two cut-wires and a split-ring resonator interacting with an electromagnetic field with two polarization components. We prove that such metamaterial system can be taken as a classical analogue of an atomic medium with a double- $\Lambda$-type four-level configuration coupled with four laser fields, exhibits an effect of plasmon induced transparency (PIT), and displays a similar behavior of atomic four-wave mixing (FWM). We demonstrate that when nonlinear varactors are mounted onto the gaps of the split-ring resonators the system can acquire giant second- and third-order Kerr nonlinearities via the PIT and a longwave-shortwave interaction. We also demonstrate that the system supports high-dimensional vector plasmonic dromions [i.e. (2+1)-dimensional plasmonic solitons with two polarization components, each of which has a coupling between a longwave and a shortwave], which have very low generation power and are robust during propagation. Our work gives not only a plasmonic analogue of the FWM in coherent atomic systems but also provides the possibility for obtaining new type of nonlinear polaritons in plasmonic metamaterials.


title: Naturalness, dark matter, and the muon anomalous magnetic moment in supersymmetric extensions of the standard model with a pseudo-Dirac gluino

abstract: We study the naturalness, dark matter, and muon anomalous magnetic moment in the Supersymmetric Standard Models (SSMs) with a pseudo-Dirac gluino (PDGSSMs) from hybrid $F-$ and $D-$term supersymmetry (SUSY) breakings. To obtain the observed dark matter relic density and explain the muon anomalous magnetic moment, we find that the low energy fine-tuning measures are larger than about 30 due to strong constraints from the LUX and PANDAX experiments. Thus, to study the natural PDGSSMs, we consider multi-component dark matter and then the relic density of the lighest supersymmetric particle (LSP) neutralino is smaller than the correct value. We classify our models into six kinds: (i) Case A is a general case, which has small low energy fine-tuning measure and can explain the anomalous magnetic moment of the muon; (ii) Case B with the LSP neutralino and light stau coannihilation; (iii) Case C with Higgs funnel; (iv) Case D with Higgsino LSP; (v) Case E with light stau coannihilation and Higgsino LSP; (vi) Case F with Higgs funnel and Higgsino LSP. We study these Cases in details, and show that our models can be natural and consistent with the LUX and PANDAX experiments, as well as explain the muon anomalous magnetic moment. In particular, all these cases except the stau coannihilation can even have low energy fine-tuning measures around 10.


title: Automated Sized-Type Inference and Complexity Analysis

abstract: This paper introduces a new methodology for the complexity analysis of higher-order functional programs, which is based on three components: a powerful type system for size analysis and a sound type inference procedure for it, a ticking monadic transformation and a concrete tool for constraint solving. Noticeably, the presented methodology can be fully automated, and is able to analyse a series of examples which cannot be handled by most competitor methodologies. This is possible due to various key ingredients, and in particular an abstract index language and index polymorphism at higher ranks. A prototype implementation is available.


title: GUBS Upper Bound Solver (Extended Abstract)

abstract: In this extended abstract we present the GUBS Upper Bound Solver. GUBS is a dedicated constraint solver over the naturals for inequalities formed over uninterpreted function symbols and standard arithmetic operations. GUBS now forms the backbone of HoSA, a tool for analysing space and time complexity of higher-order functional programs automatically. We give insights about the implemen- tation and report different case studies.


title: Computability in the Lattice of Equivalence Relations

abstract: We investigate computability in the lattice of equivalence relations on the natural numbers. We mostly investigate whether the subsets of appropriately defined subrecursive equivalence relations -for example the set of all polynomial-time decidable equivalence relations- form sublattices of the lattice.


title: Learning to Fly by Crashing

abstract: How do you learn to navigate an Unmanned Aerial Vehicle (UAV) and avoid obstacles? One approach is to use a small dataset collected by human experts: however, high capacity learning algorithms tend to overfit when trained with little data. An alternative is to use simulation. But the gap between simulation and real world remains large especially for perception problems. The reason most research avoids using large-scale real data is the fear of crashes! In this paper, we propose to bite the bullet and collect a dataset of crashes itself! We build a drone whose sole purpose is to crash into objects: it samples naive trajectories and crashes into random objects. We crash our drone 11,500 times to create one of the biggest UAV crash dataset. This dataset captures the different ways in which a UAV can crash. We use all this negative flying data in conjunction with positive data sampled from the same trajectories to learn a simple yet powerful policy for UAV navigation. We show that this simple self-supervised model is quite effective in navigating the UAV even in extremely cluttered environments with dynamic obstacles including humans. For supplementary video see: https://youtu.be/u151hJaGKUo


title: Loop Quasi-Invariant Chunk Motion by peeling with statement composition

abstract: Several techniques for analysis and transformations are used in compilers. Among them, the peeling of loops for hoisting quasi-invariants can be used to optimize generated code, or simply ease developers' lives. In this paper, we introduce a new concept of dependency analysis borrowed from the field of Implicit Computational Complexity (ICC), allowing to work with composed statements called Chunks to detect more quasi-invariants. Based on an optimization idea given on a WHILE language, we provide a transformation method - reusing ICC concepts and techniques - to compilers. This new analysis computes an invariance degree for each statement or chunks of statements by building a new kind of dependency graph, finds the maximum or worst dependency graph for loops, and recognizes if an entire block is Quasi-Invariant or not. This block could be an inner loop, and in that case the computational complexity of the overall program can be decreased. We already implemented a proof of concept on a toy C parser 1 analysing and transforming the AST representation. In this paper, we introduce the theory around this concept and present a prototype analysis pass implemented on LLVM. In a very near future, we will implement the corresponding transformation and provide benchmarks comparisons.


title: Proactive Eavesdropping in Relaying Systems

abstract: This paper investigates the performance of a legitimate surveillance system, where a legitimate monitor aims to eavesdrop on a dubious decode-and-forward relaying communication link. In order to maximize the effective eavesdropping rate, two strategies are proposed, where the legitimate monitor adaptively acts as an eavesdropper, a jammer or a helper. In addition, the corresponding optimal jamming beamformer and jamming power are presented. Numerical results demonstrate that the proposed strategies attain better performance compared with intuitive benchmark schemes. Moreover, it is revealed that the position of the legitimate monitor plays an important role on the eavesdropping performance for the two strategies.


title: OCRAPOSE II: An OCR-based indoor positioning system using mobile phone images

abstract: In this paper, we propose an OCR (optical character recognition)-based localization system called OCRAPOSE II, which is applicable in a number of indoor scenarios including office buildings, parkings, airports, grocery stores, etc. In these scenarios, characters (i.e. texts or numbers) can be used as suitable distinctive landmarks for localization. The proposed system takes advantage of OCR to read these characters in the query still images and provides a rough location estimate using a floor plan. Then, it finds depth and angle-of-view of the query using the information provided by the OCR engine in order to refine the location estimate. We derive novel formulas for the query angle-of-view and depth estimation using image line segments and the OCR box information. We demonstrate the applicability and effectiveness of the proposed system through experiments in indoor scenarios. It is shown that our system demonstrates better performance compared to the state-of-the-art benchmarks in terms of location recognition rate and average localization error specially under sparse database condition.


title: Testing Docker Performance for HPC Applications

abstract: The main goal for this article is to compare performance penalties when using KVM virtualization and Docker containers for creating isolated environments for HPC applications. The article provides both data obtained using commonly accepted synthetic tests (High Performance Linpack) and real life applications (OpenFOAM). The article highlights the influence on resulting application performance of major infrastructure configuration options: CPU type presented to VM, networking connection type used.


title: Quantum simulation of quantum channels in nuclear magnetic resonance

abstract: We propose and experimentally demonstrate an efficient framework for the quantum simulation of quantum channels in NMR. Our approach relies on the suitable decomposition of non-unitary operators in a linear combination of $d$ unitary ones, which can be then experimentally implemented with the assistance of a number of ancillary qubits that grows logarithmically in $d$. As a proof-of-principle demonstration, we realize the quantum simulation of three quantum channels for a single-qubit: phase damping (PD), amplitude damping (AD), and depolarizing (DEP) channels. For these paradigmatic cases, we measure key features, such as the fidelity of the initial state and the associated von Neuman entropy for a qubit evolving through these channels. Our experiments are carried out using nuclear spins in a liquid sample and NMR control techniques.


title: DATeS: A Highly-Extensible Data Assimilation Testing Suite v1.0

abstract: A flexible and highly-extensible data assimilation testing suite, named DATeS, is described in this paper. DATeS aims to offer a unified testing environment that allows researchers to compare different data assimilation methodologies and understand their performance in various settings. The core of DATeS is implemented in Python and takes advantage of its object-oriented capabilities. The main components of the package (the numerical models, the data assimilation algorithms, the linear algebra solvers, and the time discretization routines) are independent of each other, which offers great flexibility to configure data assimilation applications. DATeS can interface easily with large third-party numerical models written in Fortran or in C, and with a plethora of external solvers.


title: Combinatorial Sums and Identities Involving Generalized Sum-of-Divisors Functions with Bounded Divisors

abstract: The class of Lambert series generating functions (LGFs) denoted by $L_{\alpha}(q)$ formally enumerate the generalized sum-of-divisors functions, $\sigma_{\alpha}(n) = \sum_{d|n} d^{\alpha}$, for all integers $n \geq 1$ and fixed real-valued parameters $\alpha \geq 0$. We prove new formulas expanding the higher-order derivatives of these LGFs. The results we obtain are combined to express new identities expanding the generalized sum-of-divisors functions. These new identities are expanded in the form of sums of polynomially scaled multiples of a related class of divisor sums depending on $n$ and $\alpha$.


title: Insensitive Stochastic Gradient Twin Support Vector Machine for Large Scale Problems

abstract: Stochastic gradient descent algorithm has been successfully applied on support vector machines (called PEGASOS) for many classification problems. In this paper, stochastic gradient descent algorithm is investigated to twin support vector machines for classification. Compared with PEGASOS, the proposed stochastic gradient twin support vector machines (SGTSVM) is insensitive on stochastic sampling for stochastic gradient descent algorithm. In theory, we prove the convergence of SGTSVM instead of almost sure convergence of PEGASOS. For uniformly sampling, the approximation between SGTSVM and twin support vector machines is also given, while PEGASOS only has an opportunity to obtain an approximation of support vector machines. In addition, the nonlinear SGTSVM is derived directly from its linear case. Experimental results on both artificial datasets and large scale problems show the stable performance of SGTSVM with a fast learning speed.


title: Evolving understanding of Antarctic ice-sheet physics and ambiguity in probabilistic sea-level projections

abstract: Mechanisms such as ice-shelf hydrofracturing and ice-cliff collapse may rapidly increase discharge from marine-based ice sheets. Here, we link a probabilistic framework for sea-level projections to a small ensemble of Antarctic ice-sheet (AIS) simulations incorporating these physical processes to explore their influence on global-mean sea-level (GMSL) and relative sea-level (RSL). We compare the new projections to past results using expert assessment and structured expert elicitation about AIS changes. Under high greenhouse gas emissions (Representative Concentration Pathway [RCP] 8.5), median projected 21st century GMSL rise increases from 79 to 146 cm. Without protective measures, revised median RSL projections would by 2100 submerge land currently home to 153 million people, an increase of 44 million. The use of a physical model, rather than simple parameterizations assuming constant acceleration of ice loss, increases forcing sensitivity: overlap between the central 90% of simulations for 2100 for RCP 8.5 (93-243 cm) and RCP 2.6 (26-98 cm) is minimal. By 2300, the gap between median GMSL estimates for RCP 8.5 and RCP 2.6 reaches >10 m, with median RSL projections for RCP 8.5 jeopardizing land now occupied by 950 million people (vs. 167 million for RCP 2.6). The minimal correlation between the contribution of AIS to GMSL by 2050 and that in 2100 and beyond implies current sea-level observations cannot exclude future extreme outcomes. The sensitivity of post-2050 projections to deeply uncertain physics highlights the need for robust decision and adaptive management frameworks.


title: Inverse problems for advection diffusion equations in admissible geometries

abstract: We study inverse boundary problems for the advection diffusion equation on an admissible manifold, i.e. a compact Riemannian manifold with boundary of dimension $\ge 3$, which is conformally embedded in a product of the Euclidean real line and a simple manifold. We prove the unique identifiability of the advection term of class $H^1\cap L^\infty$ and of class $H^{2/3}\cap C^{0,1/3}$ from the knowledge of the associated Dirichlet-to-Neumann map on the boundary of the manifold. This seems to be the first global identifiability result for possibly discontinuous advection terms.


title: Construction of rational solutions of the real modified Korteweg-de Vries equation from its periodic solutions

abstract: In this paper, we consider the real modified Korteweg-de Vries (mKdV) equation and construct a special kind of breather solution, which can be obtained by taking the limit $\lambda_{j}$ $\rightarrow$ $\lambda_{1}$ of the Lax pair eigenvalues used in the $n$-fold Darboux transformation that generates the order-$n$ periodic solution from a constant seed solution. Further, this special kind of breather solution of order $n$ can be used to generate the order-$n$ rational solution by taking the limit $\lambda_{1}$ $\rightarrow$ $\lambda_{0}$, where $\lambda_{0}$ is a special eigenvalue associated to the eigenfunction $\phi$ of the Lax pair of the mKdV equation. This eigenvalue $\lambda_0$, for which $\phi(\lambda_0)=0$, corresponds to the limit of infinite period of the periodic solution. %This second limit of double eigenvalue degeneration might be realized approximately in optical fibers, in which an injected %initial ideal pulse is created by a comb system and a programmable optical filter according to the profile of the analytical %form of the b-positon at a certain spatial position $x_{0}$. Therefore, we suggest a new way to observe the higher-order %rational solutions in optical fibers, namely, to measure the wave patterns at the central region of the higher order b-positon %generated by ideal initial pulses when the eigenvalue $\lambda_{1}$ is approaching $\lambda_{0}$. Our analytical and numerical results show the effective mechanism of generation of higher-order rational solutions of the mKdV equation from the double eigenvalue degeneration process of multi-periodic solutions.


title: TrustShadow: Secure Execution of Unmodified Applications with ARM TrustZone

abstract: The rapid evolution of Internet-of-Things (IoT) technologies has led to an emerging need to make it smarter. A variety of applications now run simultaneously on an ARM-based processor. For example, devices on the edge of the Internet are provided with higher horsepower to be entrusted with storing, processing and analyzing data collected from IoT devices. This significantly improves efficiency and reduces the amount of data that needs to be transported to the cloud for data processing, analysis and storage. However, commodity OSes are prone to compromise. Once they are exploited, attackers can access the data on these devices. Since the data stored and processed on the devices can be sensitive, left untackled, this is particularly disconcerting. In this paper, we propose a new system, TrustShadow that shields legacy applications from untrusted OSes. TrustShadow takes advantage of ARM TrustZone technology and partitions resources into the secure and normal worlds. In the secure world, TrustShadow constructs a trusted execution environment for security-critical applications. This trusted environment is maintained by a lightweight runtime system that coordinates the communication between applications and the ordinary OS running in the normal world. The runtime system does not provide system services itself. Rather, it forwards requests for system services to the ordinary OS, and verifies the correctness of the responses. To demonstrate the efficiency of this design, we prototyped TrustShadow on a real chip board with ARM TrustZone support, and evaluated its performance using both microbenchmarks and real-world applications. We showed TrustShadow introduces only negligible overhead to real-world applications.


title: On the $h$-vectors of the powers of graded ideals

abstract: Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over the field $K$, and let $I\subset S$ be a graded ideal. It is shown that for $k \gg0$ the postulation number of $I^k$ is bounded by a linear function of $k$, and it is a linear function of $k$, if $I$ is generated in a single degree. By using the relationship of the $h$-vector with the higher iterated Hilbert coefficients of $I^k$ it is shown that the Hilbert coefficients $e_i(I^k)$ of $I^k$ are polynomials for $k \gg 0$, whenever $I$ is generated in a single degree.


title: Partial regularity for type two doubly nonlinear parabolic systems

abstract: We study weak solutions ${\bf v}:U\times (0,T)\rightarrow \mathbb{R}^m$ of the nonlinear parabolic system $$ D\psi({\bf v}_t)=\text{div}DF(D{\bf v}), $$ where $\psi$ and $F$ are convex functions. This is a prototype for more general doubly nonlinear evolutions which arise in the study of structural properties of materials. Under the assumption that the second derivatives of $F$ are H\"older continuous, we show that $D^2{\bf v}$ and ${\bf v}_t$ are locally H\"older continuous except for possibly on a lower dimensional subset of $U\times (0,T)$. Our approach relies on two integral identities, decay of the local space-time energy of solutions, and fractional time derivative estimates for $D^2{\bf v}$ and ${\bf v}_t$.


title: Synthesis of Borophene Nanoribbons on Ag(110) Surface

abstract: We present the successful synthesis of single-atom-thick borophene nanoribbons (BNRs) by self-assembly of boron on Ag(110) surface. The scanning tunneling microscopy (STM) studies reveal high quality BNRs: all the ribbons are along the [-110] direction of Ag(110), and can run across the steps on the surface. The width of ribbons is distributed in a narrow range around 10.3 nm. High resolution STM images revealed four ordered surface structures in BNRs. Combined with DFT calculations, we found that all the four structures of boron nanoribbons consist of the boron chains with different width, separated by hexagonal hole arrays. The successful synthesis of BNRs enriches the low dimensional allotrope of boron and may promote further applications of borophene


title: Quasi-Frobenius-splitting and lifting of Calabi-Yau varieties in characteristic $p$

abstract: Extending the notion of Frobenius-splitting, we prove that every finite height Calabi-Yau variety defined over an algebraically closed field of positive characteristic can be lifted to the ring of Witt vectors of length two.


title: Topical Review: optics of exciton-plasmon nanomaterials

abstract: This review provides a brief introduction to the physics of coupled exciton-plasmon systems, the theoretical description and experimental manifestation of such phenomena, followed by an account of the state-of-the-art methodology for the numerical simulations of such phenomena and supplemented by a number of FORTRAN codes, by which the interested reader can introduce himself/herself to the practice of such simulations. Applications to CW light scattering as well as transient response and relaxation are described. Particular attention is given to so-called strong coupling limit, where the hybrid exciton-plasmon nature of the system response is strongly expressed. While traditional descriptions of such phenomena usually rely on analysis of the electromagnetic response of inhomogeneous dielectric environments that individually support plasmon and exciton excitations, here we explore also the consequences of a more detailed description of the molecular environment in terms of its quantum density matrix (applied in a mean field approximation level). Such a description makes it possible to account for characteristics that cannot be described by the dielectric response model: the effects of dephasing on the molecular response on one hand, and nonlinear response on the other. It also highlights the still missing important ingredients in the numerical approach, in particular its limitation to a classical description of the radiation field and its reliance on a mean field description of the many-body molecular system. We end our review with an outlook to the near future, where these limitations will be addressed and new novel applications of the numerical approach will be pursued.


title: A Primal-Dual Weak Galerkin Finite Element Method for Fokker-Planck Type Equations

abstract: This paper presents a primal-dual weak Galerkin (PD-WG) finite element method for a class of second order elliptic equations of Fokker-Planck type. The method is based on a variational form where all the derivatives are applied to the test functions so that no regularity is necessary for the exact solution of the model equation. The numerical scheme is designed by using locally constructed weak second order partial derivatives and the weak gradient commonly used in the weak Galerkin context. Optimal order of convergence is derived for the resulting numerical solutions. Numerical results are reported to demonstrate the performance of the numerical scheme.


title: Theoretical Evaluation of Intermolecular and Intramolecular Isotope Fractionations in Fragmentation

abstract: Revelation of the effects of isotope fractionation during fragmentation in electron ionization mass spectrometry (EI-MS) on compound-specific isotope analysis of chlorine and bromine (CSIA-Cl/Br) may be of crucial significance, yet a theoretical basis for elucidating the effects is absent. This study provides a solid theoretical deduction regarding the isotope fractionation taking place during fragmentation in EI-MS. Both intermolecular and intramolecular isotope fractionations present in dehalogenation processes, influencing the isotope ratios of detected ions. In general, intermolecular isotope fractionation positively affects the isotope ratios of precursor ions but inversely impacts those of the corresponding product ions. Molecular ions are normally affected by one type of intermolecular isotope fractionation only during the dehalogenation from parent ions to their product ions. While product ions can be impacted by two types of intermolecular isotope fractionations, namely, the inverse intermolecular isotope fractionation from parent ions to their product ions and the normal intermolecular isotope fractionation from the product ions to their further dehalogenated product ions. For a compound having position-distinct isotope ratios, if dehalogenation reacts on only one position, the intermolecular isotope fractionation taking palace in this reaction is normal for the detected precursor ion, but ineffective to the product ion isotope ratio in comparison with that of the total precursor ions. On the other hand, intramolecular isotope fractionation positively affects the isotope ratios of product ions only. The chlorine isotopologues of the observed precursor ions are deduced to never obey binomial distribution, regardless of what modes of the initial isotopologue distributions of the total precursor ions are.


title: Antiferromagnetic Topological Nodal Line Semimetals

abstract: We study three-dimensional nodal line semimetals (NLSMs) with magnetic ordering and strong spin-orbit interaction. Two distinct classes of magnetic NLSMs are proposed. The first class is band-inversion NLSM where the accidental line node is induced by band inversion and locally protected by glide mirror plane and the combined time-reversal and inversion symmetries. This can be viewed as a trivial stacking of the two-dimensional antiferromagnetic Dirac semimetals. The second class is essential NLSM where the nodal features are filling-enforced by specific magnetic symmetry group. We further provide two concrete tight-binding models for magnetic NLSMs which belong to these two different classes, respectively. We conclude with a brief discussion on the possible material venues and the experimental implications for such phases.


title: Coexistences of lamellar phases in ternary surfactant solutions

abstract: We theoretically investigate the coexistences of lamellar phases both in binary and ternary surfactant solutions. The previous free energy of a lamellar stack is extended to take into account the translational entropy of membrane segments. The obtained phase diagram for binary surfactant solutions (surfactant/water mixtures) shows a phase separation between two lamellar phases and also exhibits a critical point. For lamellar phases in ternary surfactant solutions (surfactant/surfactant/water mixtures), we explore possible phase behaviors and show that the phase diagrams exhibit various three-phase regions as well as two-phase regions in which different lamellar phases coexist. We also find that finite surface tension suppresses undulation fluctuations of membranes and leads to a wider three-phase and two-phase coexistence regions.


title: Fast dose optimization for rotating shield brachytherapy

abstract: Purpose: To provide a fast computational method, based on the proximal graph solver (POGS) - a convex optimization solver using the alternating direction method of multipliers (ADMM), for calculating an optimal treatment plan in rotating shield brachytherapy (RSBT). RSBT treatment planning has more degrees of freedom than conventional high-dose-rate brachytherapy (HDR-BT) due to the addition of emission direction, and this necessitates a fast optimization technique to enable clinical usage. // Methods: The multi-helix RSBT (H-RSBT) delivery technique was considered with five representative cervical cancer patients. Treatment plans were generated for all patients using the POGS method and the previously considered commercial solver IBM CPLEX. The rectum, bladder, sigmoid, high-risk clinical target volume (HR-CTV), and HR-CTV boundary were the structures considered in our optimization problem, called the asymmetric dose-volume optimization with smoothness control. Dose calculation resolution was 1x1x3 mm^3 for all cases. The H-RSBT applicator has 6 helices, with 33.3 mm of translation along the applicator per helical rotation and 1.7 mm spacing between dwell positions, yielding 17.5 degree emission angle spacing per 5 mm along the applicator.// Results: For each patient, HR-CTV D90, HR-CTV D100, rectum D2cc, sigmoid D2cc, and bladder D2cc matched within 1% for CPLEX and POGS. Also, we obtained similar EQD2 figures between CPLEX and POGS. POGS was around 18 times faster than CPLEX. Over all patients, total optimization times were 32.1-65.4 seconds for CPLEX and 2.1-3.9 seconds for POGS. // Conclusions: POGS substantially reduced treatment plan optimization time around 18 times for RSBT with similar HR-CTV D90, OAR D2cc values, and EQD2 figure relative to CPLEX, which is significant progress toward clinical translation of RSBT. POGS is also applicable to conventional HDR-BT.


title: Dependency resolution and semantic mining using Tree Adjoining Grammars for Tamil Language

abstract: Tree adjoining grammars (TAGs) provide an ample tool to capture syntax of many Indian languages. Tamil represents a special challenge to computational formalisms as it has extensive agglutinative morphology and a comparatively difficult argument structure. Modelling Tamil syntax and morphology using TAG is an interesting problem which has not been in focus even though TAGs are over 4 decades old, since its inception. Our research with Tamil TAGs have shown us that we can not only represent syntax of the language, but to an extent mine out semantics through dependency resolution of the sentence. But in order to demonstrate this phenomenal property, we need to parse Tamil language sentences using TAGs we have built and through parsing obtain a derivation we could use to resolve dependencies, thus proving the semantic property. We use an in-house developed pseudo lexical TAG chart parser; algorithm given by Schabes and Joshi (1988), for generating derivations of sentences. We do not use any statistics to rank out ambiguous derivations but rather use all of them to understand the mentioned semantic relation with in TAGs for Tamil. We shall also present a brief parser analysis for the completeness of our discussions.


title: Superconductor-Insulator Transition in disordered Josephson junction chains

abstract: We study the superconductor-insulator quantum phase transition in disordered Josephson junction chains. To this end, we derive the field theory from the lattice model that describes a chain of superconducting islands with a capacitive coupling to the ground ($C_0$) as well as between the islands ($C_1$). We analyze the theory in the short-range ($C_1 \ll C_0$) and in the long-range ($C_1 \gg C_0$) limits. The transition to the insulating state is driven by the proliferation of quantum phase slips. The most important source of disorder originates from trapped charges in the substrate that suppress the coherence of phase slips, thus favoring superconducting correlations. Using the renormalization-group approach, we determine the phase diagram and evaluate the temperature dependence of the dc conductivity and system-size dependence of the resistance around the superconductor-insulator transition. These dependences have in general strongly non-monotonic character, with several distinct regimes reflecting an intricate interplay of superconductivity and disorder.


title: Cooling quasiparticles in A$_3$C$_{60}$ fullerides by excitonic mid-infrared absorption

abstract: Long after its discovery superconductivity in alkali fullerides A$_3$C$_{60}$ still challenges conventional wisdom. The freshest inroad in such ever-surprising physics is the behaviour under intense infrared (IR) excitation. Signatures attributable to a transient superconducting state extending up to temperatures ten times higher than the equilibrium $T_c\sim$ 20 K have been discovered in K$_3$C$_{60}$ after ultra-short pulsed IR irradiation -- an effect which still appears as remarkable as mysterious. Motivated by the observation that the phenomenon is observed in a broad pumping frequency range that coincides with the mid-infrared electronic absorption peak still of unclear origin, rather than to TO phonons as has been proposed, we advance here a radically new mechanism. First, we argue that this broad absorption peak represents a "super-exciton" involving the promotion of one electron from the $t_{1u}$ half-filled state to a higher-energy empty $t_{1g}$ state, dramatically lowered in energy by the large dipole-dipole interaction acting in conjunction with Jahn Teller effect within the enormously degenerate manifold of $\big(t_{1u}\big)^2\big(t_{1g}\big)^1$ states. Both long-lived and entropy-rich because they are triplets, the IR-induced excitons act as a sort of cooling mechanism that permits transient superconductive signals to persist up to much larger temperatures.


title: A Novel Receiver Design with Joint Coherent and Non-Coherent Processing

abstract: In this paper, we propose a novel splitting receiver, which involves joint processing of coherently and non-coherently received signals. Using a passive RF power splitter, the received signal at each receiver antenna is split into two streams which are then processed by a conventional coherent detection (CD) circuit and a power-detection (PD) circuit, respectively. The streams of the signals from all the receiver antennas are then jointly used for information detection. We show that the splitting receiver creates a three-dimensional received signal space, due to the joint coherent and non-coherent processing. We analyze the achievable rate of a splitting receiver, which shows that the splitting receiver provides a rate gain of $3/2$ compared to either the conventional (CD-based) coherent receiver or the PD-based non-coherent receiver in the high SNR regime. We also analyze the symbol error rate (SER) for practical modulation schemes, which shows that the splitting receiver achieves asymptotic SER reduction by a factor of at least $\sqrt{M}-1$ for $M$-QAM compared to either the conventional (CD-based) coherent receiver or the PD-based non-coherent receiver.


title: Gravitomagnetic bending angle of light with finite-distance corrections in stationary axisymmetric spacetimes

abstract: By using the Gauss-Bonnet theorem, the bending angle of light in a static, spherically symmetric and asymptotically flat spacetime has been recently discussed, especially by taking account of the finite distance from a lens object to a light source and a receiver [Ishihara, Suzuki, Ono, Asada, Phys. Rev. D 95, 044017 (2017)]. We discuss a possible extension of the method of calculating the bending angle of light to stationary, axisymmetric and asymptotically flat spacetimes. For this purpose, we consider the light rays on the equatorial plane in the axisymmetric spacetime. We introduce a spatial metric to define the bending angle of light in the finite-distance situation. We show that the proposed bending angle of light is coordinate-invariant by using the Gauss-Bonnet theorem. The non-vanishing geodesic curvature of the photon orbit with the spatial metric is caused in gravitomagnetism, even though the light ray in the four-dimensional spacetime follows the null geodesic. Finally, we consider Kerr spacetime as an example in order to examine how the bending angle of light is computed by the present method. The finite-distance correction to the gravitomagnetic deflection angle due to the Sun's spin is around a pico-arcsecond level. The finite-distance corrections for Sgr A$^{\ast}$ also are estimated to be very small. Therefore, the gravitomagnetic finite-distance corrections for these objects are unlikely to be observed with present technology.


title: Ergodic Maximizing Measures of Non-Generic, Yet Dense Continuous Functions

abstract: Ergodic optimization aims to single out dynamically invariant Borel probability measures which maximize the integral of a given "performance" function. For a continuous self-map of a compact metric space and a dense set of continuous performance functions, we show that the existence of uncountably many ergodic maximizing measures. We also show that, for a topologically mixing subshift of finite type and a dense set of continuous functions there exist uncountably many ergodic maximizing measures which are fully supported and have positive entropy.


title: Deduplication in a massive clinical note dataset

abstract: Duplication, whether exact or partial, is a common issue in many datasets. In clinical notes data, duplication (and near duplication) can arise for many reasons, such as the pervasive use of templates, copy-pasting, or notes being generated by automated procedures. A key challenge in removing such near duplicates is the size of such datasets; our own dataset consists of more than 10 million notes. To detect and correct such duplicates requires algorithms that both accurate and highly scalable. We describe a solution based on Minhashing with Locality Sensitive Hashing. In this paper, we present the theory behind this method and present a database-inspired approach to make the method scalable. We also present a clustering technique using disjoint sets to produce dense clusters, which speeds up our algorithm.


title: Relative efficiency of polariton emission in two-dimensional materials

abstract: We investigated emission and propagation of polaritons in a two dimensional van der Waals material hexagonal boron nitride (hBN). Our specific emphasis in this work is on hyperbolic phonon polariton emission that we investigated by means of scattering-type scanning near-field optical microscopy. Real-space nano-images detail how the polaritons are launched in several common arrangements including: light scattering by the edges of the crystal, metallic nanostructures deposited on the surface of hBN crystals, as well as random defects and impurities. Notably, the scanned tip of the near-field microscope is itself an efficient polariton launcher. Our analysis reveals that the scanning tips are superior to other types of emitters we have investigated. Furthermore, the study of polariton emission and emission efficiency may provide insights for development of polaritonic devices and for fundamental studies of collective modes in other van der Waals materials.


title: Manifestly Local Formulation of Nonlocal Approach to the Cosmological Constant Problem

abstract: We present a manifestly local and general coordinate invariant formulation of a nonlocal approach to the cosmological constant problem which has been recently proposed by Carroll and Remmen. To do that, we need to introduce a topological term involving a new 3-form gauge field. The equations of motion for this new 3-form gauge field lead to a constant Lagrange multiplier parameter and the resulting action becomes equivalent to that of Carroll and Remmen. In our formulation, nonlocal informations are encoded via the procedure of taking the space-time average at the stage of the equations of motion. Consequently, our theory evades a no-go theorem by Weinberg and provides a new solution to the cosmological constant problem in almost exactly the same way as the original proposal by Carroll et al.


title: Oxygen vacancies in strained SrTiO$_{3}$ thin films: formation enthalpy and manipulation

abstract: We report the enthalpy of oxygen vacancy formation in thin films of electron-doped SrTiO$_{3}$, under different degrees of epitaxial stress. We demonstrate that both compressive and tensile strain decrease this energy at a very similar rate, and promote the formation of stable doubly ionized oxygen vacancies. Moreover, we also show that unintentional cationic vacancies introduced under typical growth conditions, produce a characteristic rotation pattern of TiO$_6$ octahedra. The local concentration of oxygen vacancies can be modulated by an electric field with an AFM tip, changing not only the local electrical potential, but also producing a non-volatile mechanical response whose sign (up/down) can be reversed by the electric field.


title: Proof of Chapoton's conjecture on Newton polygons of $q$-Ehrhart polynomials

abstract: Recently, Chapoton found a $q$-analog of Ehrhart polynomials, which are polynomials in $x$ whose coefficients are rational functions in $q$. Chapoton conjectured the shape of the Newton polygon of the numerator of the $q$-Ehrhart polynomial of an order polytope. In this paper, we prove Chapoton's conjecture.


title: Bottomonium Continuous Production from Unequilibrium Bottom Quarks in Ultrarelativistic Heavy Ion Collisions

abstract: We employ the Langevin equation and Wigner function to describe the bottom equark dynamical evolutions and their formation into a bound state in the expanding Quark Gluon Plasma (QGP). The additional suppressions from parton inelastic scatterings are supplemented in the regenerated bottomonium. Hot medium modifications on $\Upsilon(1S)$ properties are studied consistently by taking the bottomonium potential to be the color-screened potential from Lattice results, which affects both $\Upsilon(1S)$ regeneration and dissociation rates. Finally, we calculated the $\Upsilon(1S)$ nuclear modification factor $R_{AA}^{\rm rege}$ from bottom quark combination with different diffusion coefficients in Langevin equation, representing different thermalization of bottom quarks. In the central Pb-Pb collisions (b=0) at $\sqrt{s_{NN}}=5.02$ TeV, we find a non-negligible $\Upsilon(1S)$ regeneration, and it is small in the minimum bias centrality. The connections between bottomonium regeneration and bottom quark energy loss in the heavy ion collisions are also discussed.


title: Maximum Likelihood Detection for Cooperative Molecular Communication

abstract: In this paper, symbol-by-symbol maximum likelihood (ML) detection is proposed for a cooperative diffusion-based molecular communication (MC) system. In this system, a fusion center (FC) chooses the transmitter's symbol that is more likely, given the likelihood of the observations from multiple receivers (RXs). We propose three different ML detection variants according to different constraints on the information available to the FC, which enables us to demonstrate trade-offs in their performance versus the information available. The system error probability for one variant is derived in closed form. Numerical and simulation results show that the ML detection variants provide lower bounds on the error performance of the simpler cooperative variants and demonstrate that majority rule detection has performance comparable to ML detection when the reporting is noisy.


title: FSITM: A Feature Similarity Index For Tone-Mapped Images

abstract: In this work, based on the local phase information of images, an objective index, called the feature similarity index for tone-mapped images (FSITM), is proposed. To evaluate a tone mapping operator (TMO), the proposed index compares the locally weighted mean phase angle map of an original high dynamic range (HDR) to that of its associated tone-mapped image calculated using the output of the TMO method. In experiments on two standard databases, it is shown that the proposed FSITM method outperforms the state-of-the-art index, the tone mapped quality index (TMQI). In addition, a higher performance is obtained by combining the FSITM and TMQI indices. The MATLAB source code of the proposed metric(s) is available at https://www.mathworks.com/matlabcentral/fileexchange/59814.


title: Dynamics of viscous cosmologies in the full Israel-Stewart formalism

abstract: It is performed a detailed dynamical analysis for a bulk viscosity model in the full Israel-Stewart formalism for a spatially flat Friedmann-Robertson-Walker Universe. In our study we have considered the total cosmic fluid constituted by radiation, dark matter and dark energy. The dark matter fluid is treated as an imperfect fluid which has a bulk viscosity that depends on its energy density in the usual form $\xi(\rho_{m})=\xi_{0} \rho_{m}^{1/2}$, whereas the other components are assumed to behave as perfect fluids with constant EoS parameter. We show that the thermal history of the Universe is reproduced provided that the viscous coefficient satisfies the condition $\xi_{0}\ll 1$, either for a zero or a suitable nonzero coupling between dark energy and viscous dark matter. In this case, the final attractor is a dark-energy-dominated, accelerating Universe, with effective EoS parameter in the quintessence-like, cosmological constant-like or phantom-like regime, in agreement with observations. As our main result, we show that in order to obtain a viable cosmological evolution and at the same time alleviating the cosmological coincidence problem via the mechanism of scaling solution, an explicit interaction between dark energy and viscous dark matter seems inevitable. This result is consistent with the well-known fact that models where dark matter and dark energy interact with each other have been proposed to solve the coincidence problem. Furthermore, by insisting in above, we show that in the present context a phantom nature of this interacting dark energy fluid is also favored.


title: Perfect Half Space Games

abstract: We introduce perfect half space games, in which the goal of Player 2 is to make the sums of encountered multi-dimensional weights diverge in a direction which is consistent with a chosen sequence of perfect half spaces (chosen dynamically by Player 2). We establish that the bounding games of Jurdzi\'nski et al. (ICALP 2015) can be reduced to perfect half space games, which in turn can be translated to the lexicographic energy games of Colcombet and Niwi\'nski, and are positionally determined in a strong sense (Player 2 can play without knowing the current perfect half space). We finally show how perfect half space games and bounding games can be employed to solve multi-dimensional energy parity games in pseudo-polynomial time when both the numbers of energy dimensions and of priorities are fixed, regardless of whether the initial credit is given as part of the input or existentially quantified. This also yields an optimal 2-EXPTIME complexity with given initial credit, where the best known upper bound was non-elementary.


title: Continuous Inference for Aggregated Point Process Data

abstract: This article introduces new methods for inference with count data registered on a set of aggregation units. Such data are omnipresent in epidemiology due to confidentiality issues: it is much more common to know the county in which an individual resides, say, than know their exact location in space. Inference for aggregated data has traditionally made use of models for discrete spatial variation, for example conditional autoregressive models (CAR). We argue that such discrete models can be improved from both a scientific and inferential perspective by using spatiotemporally continuous models to directly model the aggregated counts. We introduce methods for delivering (limiting) continuous inference with spatitemporal aggregated count data in which the aggregation units might change over time and are subject to uncertainty. We illustrate our methods using two examples: from epidemiology, spatial prediction malaria incidence in Namibia; and from politics, forecasting voting under the proposed changes to parlimentary boundaries in the United Kingdom.


title: Reduction for stochastic biochemical reaction networks with multiscale conservations

abstract: Biochemical reaction networks frequently consist of species evolving on multiple timescales. Stochastic simulations of such networks are often computationally challenging and therefore various methods have been developed to obtain sensible stochastic approximations on the timescale of interest. One of the rigorous and popular approaches is the multiscale approximation method for continuous time Markov processes. In this approach, by scaling species abundances and reaction rates, a family of processes parameterized by a scaling parameter is defined. The limiting process of this family is then used to approximate the original process. However, we find that such approximations become inaccurate when combinations of species with disparate abundances either constitute conservation laws or form virtual slow auxiliary species. To obtain more accurate approximation in such cases, we propose here an appropriate modification of the original method.


title: ConvNet-Based Localization of Anatomical Structures in 3D Medical Images

abstract: Localization of anatomical structures is a prerequisite for many tasks in medical image analysis. We propose a method for automatic localization of one or more anatomical structures in 3D medical images through detection of their presence in 2D image slices using a convolutional neural network (ConvNet). A single ConvNet is trained to detect presence of the anatomical structure of interest in axial, coronal, and sagittal slices extracted from a 3D image. To allow the ConvNet to analyze slices of different sizes, spatial pyramid pooling is applied. After detection, 3D bounding boxes are created by combining the output of the ConvNet in all slices. In the experiments 200 chest CT, 100 cardiac CT angiography (CTA), and 100 abdomen CT scans were used. The heart, ascending aorta, aortic arch, and descending aorta were localized in chest CT scans, the left cardiac ventricle in cardiac CTA scans, and the liver in abdomen CT scans. Localization was evaluated using the distances between automatically and manually defined reference bounding box centroids and walls. The best results were achieved in localization of structures with clearly defined boundaries (e.g. aortic arch) and the worst when the structure boundary was not clearly visible (e.g. liver). The method was more robust and accurate in localization multiple structures.


title: Classical and bayesian componentwise predictors for non-compact correlated ARH(1) processes

abstract: A special class of standard Gaussian Autoregressive Hilbertian processes of order one (Gaussian ARH(1) processes), with bounded linear autocorrelation operator, which does not satisfy the usual Hilbert-Schmidt assumption, is considered. To compensate the slow decay of the diagonal coefficients of the autocorrelation operator, a faster decay velocity of the eigenvalues of the trace autocovariance operator of the innovation process is assumed. As usual, the eigenvectors of the autocovariance operator of the ARH(1) process are considered for projection, since, here, they are assumed to be known. Diagonal componentwise classical and bayesian estimation of the autocorrelation operator is studied for prediction. The asymptotic efficiency and equivalence of both estimators is proved, as well as of their associated componentwise ARH(1) plugin predictors. A simulation study is undertaken to illustrate the theoretical results derived.


title: Dislocation-free axial InAs-on-GaAs nanowires on silicon

abstract: We report on the growth of axial InAs-on-GaAs nanowire heterostructures on silicon by molecular beam epitaxy using 20 nm diameter Au catalysts. First, the growth parameters of the GaAs nanowire segment were optimized to achieve a pure wurtzite crystal structure. Then, we developed a two-step growth procedure to enhance the yield of vertical InAs-on-GaAs nanowires. We achieved 90% of straight InAs-on-GaAs nanowires by further optimizing the growth parameters. We investigated the composition change at the interface by energy dispersive X-ray spectroscopy and the nanowire crystal structure by transmission electron microscopy. The nominal composition of the InAs segment is found to be In$_{x}$Ga$_{1-x}$As with $x$=0.85 and corresponds to 6% of lattice mismatch with GaAs. Strain mapping performed by the geometrical phase analysis of high-resolution images revealed a dislocation-free GaAs/InAs interface. In conclusion, we successfully fabricated highly mismatched heterostructures, confirming the prediction that axial GaAs/InAs interfaces are pseudomorphic in nanowires below 40 nm diameter.


title: New Exact Solutions for a Chiral Cosmological Model in 5D EGB Gravity

abstract: We consider a chiral cosmological model in the framework of Einstein-Gauss-Bonnet cosmology. Using a decomposition of the latter equations in such a way that the first chiral field is responsible for the Einstein part of the model, while the second field together with the kinetic interaction is connected with the Gauss--Bonnet part of the theory, we find new exact solutions for the 2-component chiral cosmological model with and without the kinetic interaction between fields.


title: Substrate Effect on Plasmonic Cube Dimers: Reversal of Optical Binding Force Induced by Strong Fano Resonance

abstract: The behavior of Fano resonance and the reversal of near field optical binding force of dimers over different substrates have not been studied so far. In this work, we observe that if the closely located plasmonic cube homodimers over glass or high permittivity dielectric substrate are illuminated with plane wave polarized parallel to dimer axis, no reversal of optical binding force occurs. But if we apply the same set-up over a plasmonic substrate, stable Fano resonance occurs along with the reversal of near field binding force. It is observed that during such Fano resonance stronger coupling occurs between the dimers and plasmonic substrate along with the strong enhancement of the substrate current. Such near field binding force reversals of plasmonic cube dimers have been explained based on the observed unusual behavior of optical Lorentz force during the induced stronger Fano resonance and the dipole-dipole resonance. Although previously reported reversals of near field optical binding forces were highly sensitive to particle size/shape (i.e. for heterodimers) and inter-particle distance, our configuration provides much relaxation of those parameters and hence should be verified experimentally with simpler experimental set-ups.


title: Analytical solutions for the radial Scarf II potential

abstract: The real Scarf II potential is discussed as a radial problem. This potential has been studied extensively as a one-dimensional problem, and now these results are used to construct its bound and resonance solutions for $l=0$ by setting the origin at some arbitrary value of the coordinate. The solutions with appropriate boundary conditions are composed as the linear combination of the two independent solutions of the Schr\"odinger equation. The asymptotic expression of these solutions is used to construct the $S_0(k)$ s-wave $S$-matrix, the poles of which supply the $k$ values corresponding to the bound, resonance and anti-bound solutions. The location of the discrete energy eigenvalues is analyzed, and the relation of the solutions of the radial and one-dimensional Scarf II potentials is discussed. It is shown that the generalized Woods--Saxon potential can be generated from the Rosen--Morse II potential in the same way as the radial Scarf II potential is obtained from its one-dimensional correspondent. Based on this analogy, possible applications are also pointed out.


title: Linearity of the edge states energy spectrum in the 2D topological insulator

abstract: Linearity of the topological insulator edge state spectrum plays the crucial role for various transport phenomena. The previous studies found that this linearity exists near the spectrum crossing point, but did not determine how perfect the linearity is. The purpose of the present study is to answer this question in various edge states models. We examine Volkov and Pankratov (VP) model [1] for the Dirac Hamiltonian and the model of [2,3] (BHZ1) for the Bernevig, Hughes and Zhang (BHZ) Hamiltonian [4] with zero boundary conditions. It is found that both models yield ideally linear edge states. In the BHZ1 model the linearity is conserved up to the spectrum ending points corresponding to the tangency of the edge spectrum with the boundary of 2D states. In contrast, the model of[5] (BHZ2) with mixed boundary conditions for BHZ Hamiltonian and the 2D tight-binding (TB) model from [4] yield weak non-linearity.


title: Multinomial Sum Formulas of Multiple Zeta Values

abstract: For a pair of positive integers $n,k$ with $n\geq 2$, in this paper we prove that $$ \sum_{r=1}^k\sum_{|\bf\alpha|=k}{k\choose\bf\alpha} \zeta(n\bf\alpha)=\zeta(n)^k =\sum^k_{r=1}\sum_{|\bf\alpha|=k} {k\choose\bf\alpha}(-1)^{k-r}\zeta^\star(n\bf\alpha), $$ where $\bf\alpha=(\alpha_1,\alpha_2,\ldots,\alpha_r)$ is a $r$-tuple of positive integers. Moreover, we give an application to combinatorics and get the following identity: $$ \sum^{2k}_{r=1}r!{2k\brace r}=\sum^k_{p=1}\sum^k_{q=1}{k\brace p}{k\brace q} p!q!D(p,q), $$ where ${k\brace p}$ is the Stirling numbers of the second kind and $D(p,q)$ is the Delannoy number.


title: Entanglement verification of noisy N00N states

abstract: Entangled quantum states, such as N00N states, are of major importance for quantum technologies due to their quantum-enhanced performance. At the same time, their quantum correlations are relatively vulnerable when they are subjected to imperfections. Therefore, it is crucial to determine under which circumstances their distinct quantum features can be exploited. In this paper, we study the entanglement property of noisy N00N states. This class of states is a generalization of N00N states including various attenuation effects, such as mixing, constant or fluctuating losses, and dephasing. To verify their entanglement, we pursue two strategies: detection-based entanglement witnesses and entanglement quasiprobabilities. Both methods result from our solution of so-called separability eigenvalue equations. In particular, the entanglement quasiprobabilities allow for a full entanglement characterization. As examples of our general treatment, the cases of N00N states subjected to Gaussian dephasing and fluctuating atmospheric losses are explicitly studied. In any correlated fluctuating loss channel, entanglement is found to survive for non-zero transmissivity. In addition, an extension of our approach to multipartite systems is given, and the relation to the quantum-optical nonclassicality in phase-space is discussed.


title: Higher order energy-corrected finite element methods

abstract: The regularity of the solution of elliptic partial differential equa- tions in a polygonal domain with re-entrant corners is, in general, reduced compared to the one on a smooth convex domain. This results in a best approximation property for standard norms which depend on the re-entrant corner but does not increase with the polynomial degree. Standard Galerkin approximations are moreover affected by a global pollution effect. Even in the far field no optimal error reduction can be observed. Here, we generalize the energy-correction method for higher order finite elements. It is based on a parameter-dependent local modification of the stiffness matrix. We will show firstly that for such modified finite element approximation the pollution effect does not occur and thus optimal order estimates in weighted L2-norms can be obtained. Two different modification techniques are introduced and illustrated numerically. Secondly we propose a simple post-processing step such that even with respect to the standard L2-norm optimal order convergence can be recovered.


title: Conformal geodesics in spherically symmetric vacuum spacetimes with Cosmological constant

abstract: An analysis of conformal geodesics in the Schwarzschild-de Sitter and Schwarzschild-anti de Sitter families of spacetimes is given. For both families of spacetimes we show that initial data on a spacelike hypersurface can be given such that the congruence of conformal geodesics arising from this data cover the whole maximal extension of canonical conformal representations of the spacetimes without forming caustic points. For the Schwarzschild-de Sitter family, the resulting congruence can be used to obtain global conformal Gaussian systems of coordinates of the conformal representation. In the case of the Schwarzschild-anti de Sitter family, the natural parameter of the curves only covers a restricted time span so that these global conformal Gaussian systems do not exist.


title: Thermal entanglement in a spin-1/2 Ising-XYZ distorted diamond chain with the second-neighbor interaction between nodal Ising spins

abstract: We consider a spin-1/2 Ising-XYZ distorted diamond chain with the XYZ interaction between the interstitial Heisenberg dimers, the nearest-neighbor Ising coupling between the nodal and interstitial spins, respectively, and the second-neighbor Ising coupling between the nodal spins. The ground-state phase diagram of the spin-1/2 Ising-XYZ distorted diamond chain exhibits several intriguing phases due to the XY anisotropy and the second-neighbor interaction, whereas the model can be exactly solved using the transfer-matrix technique. The quantum entanglement within the Heisenberg spin dimers is studied through a bipartite measure concurrence, which is calculated from a relevant reduced density operator. The concurrence may either show a standard thermal dependence with a monotonous decline with increasing temperature or a more peculiar thermal dependence accompanied with reentrant behavior of the concurrence. It is conjectured that the bipartite entanglement between the interstitial Heisenberg spin pairs in the natural mineral azurite is quite insensitive to the applied magnetic field and it persists up to approximately 30 Kelvins.


title: A Technical Report on PLS-Completeness of Single-Swap for Unweighted Metric Facility Location and $K$-Means

abstract: Recently, [Bra17] showed that the single-swap heuristic for weighted metric uncapacitated facility location and $K$-Means is tightly PLS-complete. We build upon this work and present a stronger reduction, which proves tight PLS-completeness for the unweighted version of both problems.


title: Solving General Joint Block Diagonalization Problem via Linearly Independent Eigenvectors of a Matrix Polynomial

abstract: In this paper, we consider the exact/approximate general joint block diagonalization (GJBD) problem of a matrix set $\{A_i\}_{i=0}^p$ ($p\ge 1$), where a nonsingular matrix $W$ (often referred to as diagonalizer) needs to be found such that the matrices $W^{H}A_iW$'s are all exactly/approximately block diagonal matrices with as many diagonal blocks as possible. We show that the diagonalizer of the exact GJBD problem can be given by $W=[x_1, x_2, \dots, x_n]\Pi$, where $\Pi$ is a permutation matrix, $x_i$'s are eigenvectors of the matrix polynomial $P(\lambda)=\sum_{i=0}^p\lambda^i A_i$, satisfying that $[x_1, x_2, \dots, x_n]$ is nonsingular, and the geometric multiplicity of each $\lambda_i$ corresponding with $x_i$ equals one. And the equivalence of all solutions to the exact GJBD problem is established. Moreover, theoretical proof is given to show why the approximate GJBD problem can be solved similarly to the exact GJBD problem. Based on the theoretical results, a three-stage method is proposed and numerical results show the merits of the method.


title: Skeleton Boxes: Solving skeleton based action detection with a single deep convolutional neural network

abstract: Action recognition from well-segmented 3D skeleton video has been intensively studied. However, due to the difficulty in representing the 3D skeleton video and the lack of training data, action detection from streaming 3D skeleton video still lags far behind its recognition counterpart and image based object detection. In this paper, we propose a novel approach for this problem, which leverages both effective skeleton video encoding and deep regression based object detection from images. Our framework consists of two parts: skeleton-based video image mapping, which encodes a skeleton video to a color image in a temporal preserving way, and an end-to-end trainable fast skeleton action detector (Skeleton Boxes) based on image detection. Experimental results on the latest and largest PKU-MMD benchmark dataset demonstrate that our method outperforms the state-of-the-art methods with a large margin. We believe our idea would inspire and benefit future research in this important area.


title: Stability of Piecewise Deterministic Markovian Metapopulation Processes on Networks

abstract: The purpose of this paper is to study a Markovian metapopulation model on a directed graph with edge-supported transfers and deterministic intra-nodal population dynamics. We first state tractable stability conditions for two typical frameworks motivated by applications: constant jump rates with multiplicative transfer amplitudes, and coercive jump rates with unitary transfers. More general criteria for boundedness, petiteness and ergodicity are then given.


title: Skeleton based action recognition using translation-scale invariant image mapping and multi-scale deep cnn

abstract: This paper presents an image classification based approach for skeleton-based video action recognition problem. Firstly, A dataset independent translation-scale invariant image mapping method is proposed, which transformes the skeleton videos to colour images, named skeleton-images. Secondly, A multi-scale deep convolutional neural network (CNN) architecture is proposed which could be built and fine-tuned on the powerful pre-trained CNNs, e.g., AlexNet, VGGNet, ResNet etal.. Even though the skeleton-images are very different from natural images, the fine-tune strategy still works well. At last, we prove that our method could also work well on 2D skeleton video data. We achieve the state-of-the-art results on the popular benchmard datasets e.g. NTU RGB+D, UTD-MHAD, MSRC-12, and G3D. Especially on the largest and challenge NTU RGB+D, UTD-MHAD, and MSRC-12 dataset, our method outperforms other methods by a large margion, which proves the efficacy of the proposed method.


title: Effects of the optimisation of the margin distribution on generalisation in deep architectures

abstract: Despite being so vital to success of Support Vector Machines, the principle of separating margin maximisation is not used in deep learning. We show that minimisation of margin variance and not maximisation of the margin is more suitable for improving generalisation in deep architectures. We propose the Halfway loss function that minimises the Normalised Margin Variance (NMV) at the output of a deep learning models and evaluate its performance against the Softmax Cross-Entropy loss on the MNIST, smallNORB and CIFAR-10 datasets.


title: Remote Document Encryption - encrypting data for e-passport holders

abstract: We show how any party can encrypt data for an e-passport holder such that only with physical possession of the e-passport decryption is possible. The same is possible for electronic identity cards and driver licenses. We also indicate possible applications. Dutch passports allow for 160 bit security, theoretically giving sufficient security beyond the year 2079, exceeding current good practice of 128 bit security. We also introduce the notion of RDE Extraction PIN which effectively provides the same security as a regular PIN. Our results ironically suggest that carrying a passport when traveling abroad might violate export or import laws on strong cryptography.


title: Global existence and stabilization in a degenerate chemotaxis-Stokes system with mildly strong diffusion enhancement

abstract: A class of chemotaxis-Stokes systems generalizing the prototype \[\left\{ \begin{array}{rcl} n_t + u\cdot\nabla n &=& \nabla \cdot \big(n^{m-1}\nabla n\big) - \nabla \cdot \big(n\nabla c\big), c_t + u\cdot\nabla c &=& \Delta c-nc, u_t +\nabla P &=& \Delta u + n \nabla \phi, \qquad \nabla\cdot u =0, \end{array} \right. \] is considered in bounded convex three-dimensional domains, where $\phi\in W^{2,\infty}(\Omega)$ is given. The paper develops an analytical approach which consists in a combination of energy-based arguments and maximal Sobolev regularity theory, and which allows for the construction of global bounded weak solutions to an associated initial-boundary value problem under the assumption that \[ m>\frac{9}{8}. \qquad (\star) \] Moreover, the obtained solutions are shown to approach the spatially homogeneous steady state $(\frac{1}{|\Omega|} \int_\Omega n_0,0,0)$ in the large time limit. This extends previous results which either relied on different and apparently less significant energy-type structures, or on completely alternative approaches, and thereby exclusively achieved comparable results under hypotheses stronger than ($\star$).


title: Toroidal, compressive, and $E1$ properties of low-energy dipole modes in $^{10}$Be

abstract: We studied dipole excitations in $^{10}$Be based on an extended version of the antisymmetrized molecular dynamics, which can describe 1p-1h excitations and large amplitude cluster modes. Toroidal and compressive dipole operators are found to be good proves to separate the low-energy and high-energy parts of the isoscalar dipole excitations, respectively. Two low-energy $1^-$ states, the toroidal dominant $1^-_1$ state at $E\sim 8$ MeV and the $E1$ dominant $1^-_2$ state at $E\sim 16$ MeV, were obtained. By analysis of transition current densities, the $1^-_1$ states is understood as a toroidal dipole mode with exotic toroidal neutron flow caused by rotation of a deformed $^6\textrm{He}$ cluster, whereas the $1^-_2$ state is regarded as a neutron-skin oscillation mode, which are characterized by surface neutron flow with inner isoscalar flow caused by the surface neutron oscillation against the $2\alpha$ core.


title: The role of the roughness spectral breadth in elastic contact of rough surfaces

abstract: We study frictionless and non-adhesive contact between elastic half-spaces with self-affine surfaces. Using a recently suggested corrective technique, we ensure an unprecedented accuracy in computation of the true contact area evolution under increasing pressure. This accuracy enables us to draw conclusions on the role of the surface's spectrum breadth (Nayak parameter) in the contact area evolution. We show that for a given normalized pressure, the contact area decreases logarithmically with the Nayak parameter. By linking the Nayak parameter with the Hurst exponent (or fractal dimension), we show the effect of the latter on the true contact area. This effect, undetectable for surfaces with poor spectral content, is quite strong for surfaces with rich spectra. Numerical results are compared with analytical models and other available numerical results. A phenomenological equation for the contact area growth is suggested with coefficients depending on the Nayak parameter. Using this equation, the pressure-dependent friction coefficient is deduced based on the adhesive theory of friction. Some observations on Persson's model of rough contact, whose prediction does not depend on Nayak parameter, are reported. Overall, the paper provides a unifying picture of rough elastic contact and clarifies discrepancies between preceding results.


title: The critical semilinear elliptic equation with isolated boundary singularities

abstract: We establish quantitative asymptotic behaviors for nonnegative solutions of the critical semilinear equation $-\Delta u=u^{\frac{n+2}{n-2}}$ with isolated boundary singularities, where $n\ge 3$ is the dimension.


title: Toeplitz Quantization on Fock Space

abstract: For Toeplitz operators $T_f^{(t)}$ acting on the weighted Fock space $H_t^2$, we consider the semi-commutator $T_f^{(t)}T_g^{(t)}-T_{fg}^{(t)}$, where $t>0$ is a certain weight parameter that may be interpreted as Planck's constant $\hbar$ in Rieffel's deformation quantization. In particular, we are interested in the semi-classical limit \tag{$*$}\lim\limits_{t\to 0}\|T_f^{(t)}T_g^{(t)}-T_{fg}^{(t)}\|_t. It is well-known that $\|T_f^{(t)}T_g^{(t)}-T_{fg}^{(t)}\|_t$ tends to $0$ under certain smoothness assumptions imposed on $f$ and $g$. This result was extended to $f,g \in \mathrm{BUC}(\mathbb{C}^n)$ in a recent paper by Bauer and Coburn. We now further generalize this result to (not necessarily bounded) uniformly continuous functions and symbols in the algebra $\mathrm{VMO} \cap L^{\infty}$ of bounded functions having vanishing mean oscillation on $\mathbb{C}^n$. Our approach is based on the algebraic identity $T_f^{(t)}T_g^{(t)}-T_{fg}^{(t)}=-(H_{\bar{f}}^{(t)})^*H_g^{(t)}$, where $H_g^{(t)}$ denotes the Hankel operator corresponding to the symbol $g$, and norm estimates in terms of the (weighted) heat transform. As a consequence, only $f$ (or likewise only $g$) has to be contained in one of the above classes for $(*)$ to vanish. For $g$ we only have to impose $\limsup_{t \to 0}\|H_g^{(t)}\|_t<\infty$, e.g. $g \in L^{\infty}(\mathbb{C}^n)$. We prove that the set of all symbols $f\in L^{\infty}(\mathbb{C}^n)$ with the property that $\lim_{t \rightarrow 0}\|T^{(t)}_fT^{(t)}_g-T^{(t)}_{fg}\|_t=\lim_{t\to 0}\|T_g^{(t)}T_f^{(t)}-T_{gf}^{(t)}\|_t=0$ for all $g\in L^{\infty}(\mathbb{C}^n)$ coincides with $\mathrm{VMO}\cap L^{\infty}$. Additionally, we show that $\lim_{t\to 0}\|T_f^{(t)}\|_t=\|f\|_{\infty}$ holds for all $f\in L^{\infty}(\mathbb{C}^n)$. Finally, we present new examples, including bounded smooth functions, where $(*)$ does not vanish.


title: Nash Equilibrium Approximation under Communication and Computation Constraints in Large-Scale Non-cooperative Games

abstract: This paper studies the problem of Nash equilibrium approximation in large-scale heterogeneous mean-field games under communication and computation constraints. A deterministic mean-field game is considered in which the non-linear utility function of each agent depends on its action, the average of other agents' actions (called the mean variable of that agent) and a deterministic parameter. It is shown that the equilibrium mean variables of all agents converge uniformly to a constant, called asymptotic equilibrium mean (AEM), as the number of agents tends to infinity. The AEM, which depends on the limit of empirical distribution of agents' parameters, determines the asymptotic equilibrium behavior of agents. Next, the problem of approximating the AEM at a processing center under communication and computation constraints is studied. Three approximation methods are proposed to substantially reduce the communication and computation costs of approximating AEM at the processing center. The accuracy of the proposed approximation methods is analyzed and illustrated through numerical examples.


title: Stabilization of slow-fast systems at fold points

abstract: In this document, we deal with the stabilization problem of slow-fast systems (or singularly perturbed Ordinary Differential Equations) at a non-hyperbolic point. The class of systems studied here have the following properties: 1) they have one fast variable and an arbitrary number of slow variables, 2) they have a non-hyperbolic singularity of the fold type at the origin. The presence of the aforementioned singularity complicates the analysis and the controller design of such systems. In particular, the classical theory of singular perturbations cannot be used. We show a novel design process based on geometric desingularization, which allows the stabilization of a fold point of singularly perturbed control systems. Our results are exemplified on an electric circuit.


title: Characterizations and algorithms for generalized Cops and Robbers games

abstract: We propose a definition of generalized Cops and Robbers games where there are two players, the Pursuer and the Evader, who each move via prescribed rules. If the Pursuer can ensure that the game enters into a fixed set of final positions, then the Pursuer wins; otherwise, the Evader wins. A relational characterization of the games where the Pursuer wins is provided. A precise formula is given for the length of the game, along with an algorithm for computing if the Pursuer has a winning strategy whose complexity is a function of the parameters of the game. For games where the position of one player does not affect the available moves of he other, a vertex elimination ordering characterization, analogous to a cop-win ordering, is given for when the Pursuer has a winning strategy.


title: Generalised least squares estimation of regularly varying space-time processes based on flexible observation schemes

abstract: Regularly varying stochastic processes model extreme dependence between process values at different locations and/or time points. For such processes we propose a two-step parameter estimation of the extremogram, when some part of the domain of interest is fixed and another increasing. We provide conditions for consistency and asymptotic normality of the empirical extremogram centred by a pre-asymptotic version for such observation schemes. For max-stable processes with Fr{\'e}chet margins we provide conditions, such that the empirical extremogram (or a bias-corrected version) centred by its true version is asymptotically normal. In a second step, for a parametric extremogram model, we fit the parameters by generalised least squares estimation and prove consistency and asymptotic normality of the estimates. We propose subsampling procedures to obtain asymptotically correct confidence intervals. Finally, we apply our results to a variety of Brown-Resnick processes. A simulation study shows that the procedure works well also for moderate sample sizes.


title: On different type of fixed point theorem for multivalued mappings via measure of noncompactness

abstract: In this paper by using the measure of noncompactness concept, we present new fixed point theorems for multivalued maps. In further we introduce a new class of mappings which are general than Meir-Keeler mappings. Finally, we use these results to investigate the existence of weak solutions to an Evolution differential inclusion with a lack of compactness.


title: Common adversaries form alliances: modelling complex networks via anti-transitivity

abstract: Anti-transitivity captures the notion that enemies of enemies are friends, and arises naturally in the study of adversaries in social networks and in the study of conflicting nation states or organizations. We present a simplified, evolutionary model for anti-transitivity influencing link formation in complex networks, and analyze the model's network dynamics. The Iterated Local Anti-Transitivity (or ILAT) model creates anti-clone nodes in each time-step, and joins anti-clones to the parent node's non-neighbor set. The graphs generated by ILAT exhibit familiar properties of complex networks such as densification, short distances (bounded by absolute constants), and bad spectral expansion. We determine the cop and domination number for graphs generated by ILAT, and finish with an analysis of their clustering coefficients. We interpret these results within the context of real-world complex networks and present open problems.


title: Hindered nematic alignment of hematite spindles in viscoelastic matrices

abstract: The viscoelastic behavior of composites consisting of spindle-shaped hematite particles in poly-N-isopropylacrylamide hydrogels is investigated both, by means of rheological oscillatory shear experiments, and the field-induced alignment of these mesoscale, anisotropic particles in external magnetic fields. Due to their magnetic moment and magnetic anisotropy hematite spindles align with their long axis perpendicular to the direction of an external magnetic field. The field induced torque acting on the magnetic particles leads to an elastic deformation of the hydrogel matrix. Thus, the field-dependent orientational distribution functions of anisotropic particles acting as microrheological probes depend on the elastic modulus of the hydrogel matrix. The orientational distribution functions are determined by means of Small Angle X-ray Scattering experiments in presence of external magnetic fields. With increasing elasticity of the hydrogels, tuned via the polymer volume fraction and the crosslinking density, the field-induced alignment of these anisotropic, magnetic particles is progressively hindered. The microrheological results are in accordance to macrorheological experiments indicating increasing elasticity with increasing flux density of an external field.


title: Alphabet-dependent Parallel Algorithm for Suffix Tree Construction for Pattern Searching

abstract: Suffix trees have recently become very successful data structures in handling large data sequences such as DNA or Protein sequences. Consequently parallel architectures have become ubiquitous. We present a novel alphabet-dependent parallel algorithm which attempts to take advantage of the perverseness of the multicore architecture. Microsatellites are important for their biological relevance hence our algorithm is based on time efficient construction for identification of such. We experimentally achieved up to 15x speedup over the sequential algorithm on different input sizes of biological sequences.


title: Francesco Fontana and his "astronomical" Telescope

abstract: In the late 1620s the Neapolitan telescope maker Francesco Fontana was the first to observe the sky using a telescope with two convex lenses, which he had manufactured himself. Fontana succeeded in drawing the most accurate maps of the Moon's surface of his time, which were to become popular through a number of publications spread all over Europe but without acknowledging the author. At the end of 1645, in a state of declining health and pressed by the need to defend his authorship, Fontana carried out an intense observational campaign, whose results he hurriedly collected in his Novae Coelestium Terrestriumque rerum Observationis (1646), the only book he left to posterity. Fontana observed the Moon's main craters, as the crater Tycho which he named Fons Major, their radial patterns and the change in their positions due to the Moon's motions. He observed the gibbosity of Mars at quadrature and, together with the Jesuit G.B. Zupus, he described the phases of Mercury. Fontana observed the two - and occasionally three - major bands of Jupiter, and inferred the rotation movement of the major planets Mars, Jupiter and Saturn, arguing that they could not be attached to an Aristotelian sky. He came close to revealing the ring structure of Saturn. He also suggested the presence of additional moons around Jupiter, Venus and Saturn, which prompted a debate that lasted more than a hundred years. In several places of his book Fontana repeatedly claimed to have conceived the first positive eyepiece in 1608, providing a declaration by Zupus to have used his telescope since 1614. This declaration is still the oldest record mentioning such a device. We finally suggest that the telescopes depicted in the two Allegory of Sight by J. Brueghel the Elder belonging to Albert VII might have been made by Fontana, and that he might have inspired the Sight by Jusepe Ribera (c. 1616).


title: Multimodel Approach to the Optical Properties of Molecular Dyes in Solution

abstract: We introduce a multimodel approach to the simulation of the optical properties of molecular dyes in solution, whereby the effects of thermal fluctuations and of dielectric screening on the absorption spectra are accounted for by explicit and implicit solvation models, respectively. Thermal effects are treated by averaging the spectra of molecular configurations generated by an ab initio molecular-dynamics simulation where solvent molecules are treated explicitly. Dielectric effects are then dealt with implicitly by computing the spectra upon removal of the solvent molecules and their replacement with an effective medium, in the spirit of a continuum solvation model. Our multimodel approach is validated by comparing its predictions with those of a fully explicit-solvation simulation for cyanidin-3-glucoside (cyanin) chromophore in water. While multimodel and fully explicit-solvent spectra may differ considerably for individual configurations along the trajectory, their time averages are remarkably similar, thus providing a solid benchmark of the former and allowing us to save considerably on the computer resources needed to predict accurate absorption spectra. The power of the proposed methodology is finally demonstrated by the excellent agreement between its predictions and the absorption spectra of cyanin measured at strong and intermediate acidity conditions.


title: Transit Timing Variations in the system Kepler-410Ab

abstract: We present a new analysis of the transit timing variations displayed by the extrasolar planet Kepler-410Ab. We obtained and improved orbital and physical parameters for the planet and analysed 70 transit times obtained by the Kepler satellite. In our analysis of the O-C diagram (Observed-Calculated), we assumed that the observed changes in the transit times are probably caused by the gravitational influence of another body in the system. To determine the mass of the perturbing body, we have considered the light-time effect and an analytical approximation of the perturbation model. The solutions resulting from both methods give comparable results, with an orbital period $P_3\sim$970 days and a slightly eccentric orbit of the third body. We also showed that this orbit is nearly coplanar with the orbit of the Neptune-like planet Kepler-410Ab (orbital period 17.8 days). We propose two possible models for the perturbing body orbiting a common barycentre with Kepler-410A: (i) a single star with mass at least 0.906 M$_{\odot}$, (ii) a binary star with the total mass of its components of at least 2.15 M$_{\odot}$. In both cases the star Kepler-410B is on a long orbit (period more than 2200 years). Small amplitude variations ($\sim$ 5-8 minutes) detected in O-C residuals can be explained by the stellar activity of the host star (spots and pulsations), which affects the shape of the light curve during the transit. The presence of single or binary companion of mentioned masses heavily affects the total observed flux from the system. After removing of the flux contamination from Kepler-410A light curve we found that radius of the transiting planet Kepler-410Ab should be in the range from about 3.7 to 4.2 R$_{\oplus}$.


title: Estimations of the seismic pressure noise on Mars determined from Large Eddy Simulations and demonstration of pressure decorrelation techniques for the InSight mission

abstract: The atmospheric pressure fluctuations on Mars induce an elastic response in the ground that creates a ground tilt, detectable as a seismic signal on the InSight seismometer SEIS. The seismic pressure noise is modeled using Large Eddy Simulations of the wind and surface pressure at the InSight landing site and a Green's function ground deformation approach that is subsequently validated via a detailed comparison with two other methods based on Sorrells' theory (Sorrels 1971; Sorrels et al. 1971). The horizontal acceleration as a result of the ground tilt due to the LES turbulence-induced pressure fluctuations are found to be typically ~2 - 40 nm/s^2 in amplitude, whereas the direct horizontal acceleration is two orders of magnitude smaller and is thus negligible in comparison. The vertical accelerations are found to be ~0.1 - 6 nm/s^2 in amplitude. We show that under calm conditions, a single-pressure measurement is representative of the large-scale pressure field (to a distance of several kilometers), particularly in the prevailing wind direction. However, during windy conditions, small-scale turbulence results in a reduced correlation between the pressure signals, and the single-pressure measurement becomes less representative of the pressure field. Nonetheless, the correlation between the seismic signal and the pressure signal is found to be higher for the windiest period because the seismic pressure noise reflects the atmospheric structure close to the seismometer. In the same way that we reduce the atmospheric seismic signal by making use of a pressure sensor that is part of the InSight APSS (Auxiliary Payload Sensor Suite), we also the use the synthetic noise data obtained from the LES pressure field to demonstrate a decorrelation strategy.


title: CNN based music emotion classification

abstract: Music emotion recognition (MER) is usually regarded as a multi-label tagging task, and each segment of music can inspire specific emotion tags. Most researchers extract acoustic features from music and explore the relations between these features and their corresponding emotion tags. Considering the inconsistency of emotions inspired by the same music segment for human beings, seeking for the key acoustic features that really affect on emotions is really a challenging task. In this paper, we propose a novel MER method by using deep convolutional neural network (CNN) on the music spectrograms that contains both the original time and frequency domain information. By the proposed method, no additional effort on extracting specific features required, which is left to the training procedure of the CNN model. Experiments are conducted on the standard CAL500 and CAL500exp dataset. Results show that, for both datasets, the proposed method outperforms state-of-the-art methods.


title: On deformations of the dispersionless Hirota equation

abstract: The hyper-CR Einstein-Weyl structures on $\R^3$ can be described in terms of the solutions to the dispersionless Hirota equation. In the present paper we show that simple geometric constructions on the associated twistor space lead to deformations of the Hirota equation that have been introduced recently by B. Kruglikov and A. Panasyuk. Our method produces also the hyper-CR equation and can be applied to other geometric structures related to different twistor constructions.


title: On the quantum Teichm\"uller invariants of fibred cusped 3-manifolds

abstract: We show that the reduced quantum hyperbolic invariants of pseudo-Anosov diffeomorphisms of punctured surfaces are intertwiners of local representations of the quantum Teichm\"uller spaces. We characterize them as the only intertwiners that satisfy certain natural cut-and-paste operations of topological quantum field theories and such that their traces define invariants of mapping tori.


title: Discrete approximation by first-degree splines with free knots

abstract: This paper deals with the approximation of discrete real-valued functions by first-degree splines (broken lines) with free knots for arbitrary $L_p$-norms ($1 \leq p \leq \infty)$. We prove the existence of best approximations und derive statements on the position of the (free) knots of a best approximation. Building on this, elsewhere we develop an algorithm to determine a (global) best approximation in the $L_2$-norm.


title: Critical role of the exchange interaction for the electronic structure and charge-density-wave formation in TiSe2

abstract: We show that the inclusion of screened exchange via hybrid functionals provides a unified description of the electronic and vibrational properties of TiSe2. In contrast to local approximations in density functional theory, the explicit inclusion of exact, non-local exchange captures the effects of the electron-electron interaction needed to both separate the Ti-d states from the Se-p states and stabilize the charge-density-wave (CDW) (or low-T) phase through the formation of a p-d hybridized state. We further show that this leads to an enhanced electron-phonon coupling that can drive the transition even if a small gap opens in the high-T phase. Finally, we demonstrate that the hybrid functionals can generate a CDW phase where the electronic bands, the geometry, and the phonon frequencies are in agreement with experiments.


title: Computing best discrete least-squares approximations by first-degree splines with free knots

abstract: We present an algorithm to compute best least-squares approximations of discrete real-valued functions by first-degree splines (broken lines) with free knots. We demonstrate that the algorithm delivers after a finite number of steps a (global) best approximation. The analysis is complemented by remarks on programming and by a number of numerical examples including applications from medicine (MBC, MIC).


title: Acylindrical Actions on Trees and the Farrell-Jones Conjecture

abstract: We show that for groups acting acylindrically on simplicial trees the $K$- and $L$-theoretic Farrell-Jones Conjecture relative to the family of subgroups consisting of virtually cyclic subgroups and all subconjugates of vertex stabilisers holds. As an application, for amalgamated free products acting acylindrically on their Bass-Serre trees we obtain an identification of the associated Waldhausen Nil-groups with a direct sum of Nil-groups associated to certain virtually cyclic groups. This identification generalizes a result by Lafont and Ortiz. For a regular ring and a strictly acylindrical action these Nil-groups vanish. In particular, all our results apply to amalgamated free products over malnormal subgroups.


title: Gauge-invariant implications of the LHCb measurements on Lepton-Flavour Non-Universality

abstract: We study the implications of the recent measurements of $R_K$ and $R_{K^*}$ by the LHCb collaboration. We do that by adopting a model-independent approach based on the Standard Model Effective Field Theory (SMEFT), in which the dominant new physics effects are encoded in the coefficients of dimension-six operators respecting the full Standard Model (SM) gauge symmetry. After providing simplified expressions for $R_K$ and $R_{K^\ast}$, we determine the implications of the recent LHCb results for these observables on the coefficients of the SMEFT operators at low and high energies. We also take into account all $b\to s \ell\ell$ data, which combined lead to effective New Physics (NP) scenarios with SM pulls in excess of 5~$\sigma$. Thus the operators discussed in this paper would be the first dimension-six terms in the SM Lagrangian to be detected experimentally. Indirect constraints on these operators are also discussed. The results of this paper transcend the singularity of the present situation, and set a standard for future analyses in $b\to s$ transitions when the NP is assumed to lie above the electroweak scale.