title: Analytical aspects of matrix interpolation problems and its applications

abstract: In this paper, the $mn$-dimensional space of tensor-product polynomials of two variables, of degree at most $(m-1)+(n-1)$, is considered. A theory of two-variate polynomials is developed by establishing the algebra and basic algebraic properties with respect to the usual addition, scalar multiplication, and a newly defined algebraic operation in the considered space. Further, the existence of the considered space is established with respect to the matrix interpolation problem (MIP), $P(i,j)=a_{ij}$ for all $1 \leq i \leq m$, $1 \leq j \leq n$, corresponds to a given matrix $(a_{ij})_{m \times n}$ in the space of $m \times n$ order real matrices. The poisedness of the MIP is proved and three formulae are presented to construct the respective polynomial in the considered space. After that, using construction formulae, a polynomial map from the space of $m \times n$ order real matrices to the considered space is defined. Some properties of the polynomial map are investigated and some isomorphic structures between the spaces are installed. It is proved that the considered space is isomorphic to the space of $m \times n$ order real matrices with respect to the algebra structure. The polynomials in the considered space with respect to the MIP's for the given matrices also preserve the geometric properties of the matrices such as transpose, symmetry, and skew-symmetry. Some examples are included to demonstrate and verify the results.


title: Learning to Customize Network Security Rules

abstract: Security is a major concern for organizations who wish to leverage cloud computing. In order to reduce security vulnerabilities, public cloud providers offer firewall functionalities. When properly configured, a firewall protects cloud networks from cyber-attacks. However, proper firewall configuration requires intimate knowledge of the protected system, high expertise and on-going maintenance. As a result, many organizations do not use firewalls effectively, leaving their cloud resources vulnerable. In this paper, we present a novel supervised learning method, and prototype, which compute recommendations for firewall rules. Recommendations are based on sampled network traffic meta-data (NetFlow) collected from a public cloud provider. Labels are extracted from firewall configurations deemed to be authored by experts. NetFlow is collected from network routers, avoiding expensive collection from cloud VMs, as well as relieving privacy concerns. The proposed method captures network routines and dependencies between resources and firewall configuration. The method predicts IPs to be allowed by the firewall. A grouping algorithm is subsequently used to generate a manageable number of IP ranges. Each range is a parameter for a firewall rule. We present results of experiments on real data, showing ROC AUC of 0.92, compared to 0.58 for an unsupervised baseline. The results prove the hypothesis that firewall rules can be automatically generated based on router data, and that an automated method can be effective in blocking a high percentage of malicious traffic.


title: Pseudo asymptotically periodic solutions for fractional integro-differential neutral equations

abstract: In this paper, we study the existence and uniqueness of pseudo $S$-asymptotically $\omega$-periodic mild solutions of class $r$ for fractional integro-differential neutral equations. An example is presented to illustrate the application of the abstract results.


title: Automated Refactoring of Nested-IF Formulae in Spreadsheets

abstract: Spreadsheets are the most popular end-user programming software, where formulae act like programs and also have smells. One well recognized common smell of spreadsheet formulae is nest-IF expressions, which have low readability and high cognitive cost for users, and are error-prone during reuse or maintenance. However, end users usually lack essential programming language knowledge and skills to tackle or even realize the problem. The previous research work has made very initial attempts in this aspect, while no effective and automated approach is currently available. This paper firstly proposes an AST-based automated approach to systematically refactoring nest-IF formulae. The general idea is two-fold. First, we detect and remove logic redundancy on the AST. Second, we identify higher-level semantics that have been fragmented and scattered, and reassemble the syntax using concise built-in functions. A comprehensive evaluation has been conducted against a real-world spreadsheet corpus, which is collected in a leading IT company for research purpose. The results with over 68,000 spreadsheets with 27 million nest-IF formulae reveal that our approach is able to relieve the smell of over 99\% of nest-IF formulae. Over 50% of the refactorings have reduced nesting levels of the nest-IFs by more than a half. In addition, a survey involving 49 participants indicates that for most cases the participants prefer the refactored formulae, and agree on that such automated refactoring approach is necessary and helpful.


title: Trading inverses for an irrep in the Solovay-Kitaev theorem

abstract: The Solovay-Kitaev theorem states that universal quantum gate sets can be exchanged with low overhead. More specifically, any gate on a fixed number of qudits can be simulated with error $\epsilon$ using merely $\mathrm{polylog}(1/\epsilon)$ gates from any finite universal quantum gate set $\mathcal{G}$. One drawback to the theorem is that it requires the gate set $\mathcal{G}$ to be closed under inversion. Here we show that this restriction can be traded for the assumption that $\mathcal{G}$ contains an irreducible representation of any finite group $G$. This extends recent work of Sardharwalla et al. [arXiv:1602.07963], and applies also to gates from the special linear group. Our work can be seen as partial progress towards the long-standing open problem of proving an inverse-free Solovay-Kitaev theorem [arXiv:quant-ph/0505030, arXiv:0908.0512].


title: On well-posedness of Ericksen-Leslie's parabolic-hyperbolic liquid crystal model in compressible flow

abstract: We study the Ericksen-Leslie's parabolic-hyperbolic liquid crystal model in compressible flow. Inspired by our study for incompressible case \cite{Jiang-Luo-arXiv-2017} and some techniques from compressible Navier-Stokes equations, we prove the local-in-time existence of the classical solution to the system with finite initial energy, under some constraints on the Leslie coefficients which ensure the basic energy law is dissipative. Furthermore, with an additional assumption on the coefficients which provides a damping effect, and the smallness of the initial energy, the global classical solution can be established.


title: Sasakian and parabolic Higgs bundles

abstract: Let $M$ be a quasi-regular compact connected Sasakian manifold, and let $N = M/S^1$ be the base projective variety. We establish an equivalence between the class of Sasakian $G$-Higgs bundles over $M$ and the class of parabolic (or equivalently, ramified) $G$-Higgs bundles over the base $N$.


title: Topological magnon bands in the zigzag and stripy phases of antiferromagnetic honeycomb lattice

abstract: We investigated the topological property of magnon bands in the collinear magnetic orders of zigzag and stripy phases for the antiferromagnetic honeycomb lattice and identified Berry curvature and symmetry constraints on the magnon band structure. Different symmetries of both zigzag and stripy phases lead to different topological properties, in particular, the magnon bands of the stripy phase being disentangled with a finite Dzyaloshinskii-Moriya (DM) term with non-zero spin Chern number. This is corroborated by calculating the spin Nernst effect. Our study establishes the existence of the non-trivial magnon band topology for all observed collinear antiferromagnetic honeycomb lattice in the presence of the DM term.


title: Search for $tZ$ Flavour Changing Neutral Currents in top-quark decays with the ATLAS detector

abstract: A search for flavour-changing neutral current (FCNC) processes in top-quark decays is presented. Data collected from proton-proton collisions at the LHC at a centre-of-mass energy of $\sqrt{s}=13$ TeV corresponding to an integrated luminosity of 36 fb$^{-1}$, are analysed. A search is performed for top-quark pair-production events, with one top-quark decaying through the $t\to qZ$ ($q=u,c$) FCNC channel, and the other through the dominant Standard Model mode $t\to bW$. Only the decays of the $Z$ boson to charged leptons and leptonic $W$ boson decays are considered as signal. No evidence for a signal is found. The observed and expected upper limits on the branching ratio of $t\to uZ$ and $t\to cZ$ are set at 95\% confidence level and are about a factor 3 better than the ones obtained with the Run 1 data of the ATLAS detector.


title: An Innovative Approach to Achieve Compositionality Efficiently using Multi-Version Object Based Transactional Systems

abstract: In the modern era of multicore processors, utilizing cores is a tedious job. Synchronization and communication among processors involve high cost. Software transaction memory systems (STMs) addresses this issues and provide better concurrency in which programmer need not have to worry about consistency issues. Another advantage of STMs is that they facilitate compositionality of concurrent programs with great ease. Different concurrent operations that need to be composed to form a single atomic unit is achieved by encapsulating them in a single transaction. In this paper, we introduce a new STM system as multi-version object based STM (MVOSTM) which is the combination of both of these ideas for harnessing greater concurrency in STMs. As the name suggests MVOSTM, works on a higher level and maintains multiple versions corresponding to each key. We have developed MVOSTM with the unlimited number of versions corresponding to each key. In addition to that, we have developed garbage collection for MVOSTM (MVOSTM-GC) to delete unwanted versions corresponding to the keys to reduce traversal overhead. MVOSTM provides greater concurrency while reducing the number of aborts and it ensures compositionality by making the transactions atomic. Here, we have used MVOSTM for the list and hash-table data structure as list-MVOSTM and HT- MVOSTM. Experimental results of list-MVOSTM outperform almost two to twenty fold speedup than existing state-of-the-art list based STMs (Trans-list, Boosting-list, NOrec-list, list-MVTO, and list-OSTM). HT-MVOSTM shows a significant performance gain of almost two to nineteen times better than existing state-of-the-art hash-table based STMs (ESTM, RWSTMs, HT-MVTO, and HT-OSTM). MVOSTM with list and hash-table shows the least number of aborts among all the existing STM algorithms. MVOSTM satisfies correctness-criteria as opacity.


title: A Global ILC Approach in Pixel Space over Large Angular Scales of the Sky using CMB Covariance Matrix

abstract: We propose a new internal linear combination (ILC) method in the pixel space, applicable on large angular scales of the sky, to estimate a foreground minimized Cosmic Microwave Background (CMB) temperature anisotropy map by incorporating prior knowledge about the theoretical CMB covariance matrix. Usual ILC method in pixel space, on the contrary, does not use any information about the underlying CMB covariance matrix. The new approach complements the usual pixel space ILC technique specifically at low multipole region, using global information available from theoretical CMB covariance matrix as well as from the data. Since we apply our method over the large scale on the sky containing low multipoles we perform foreground minimization globally. We apply our methods on low resolution Planck and WMAP foreground contaminated CMB maps and validate the methodology by performing detailed Monte-Carlo simulations. Our cleaned CMB map and its power spectrum have significantly less error than those obtained following usual ILC technique at low resolution that does not use CMB covariance information. Another very important advantage of our method is that the cleaned power spectrum does not have any negative bias at the low multipoles because of effective suppression of CMB-foreground chance correlations on large angular scales of the sky. Our cleaned CMB map and its power spectrum match well with those estimated by other research groups.


abstract: Reggeon cuts in QCD amplitudes with negative signature are discussed. These cuts appear in the next-to-next-to-leading logarithmic approximation (NNLLA) and greatly complicate the derivation of the BFKL equation. Feynman diagrams responsible for appearance of these cuts are indicated and the cut contributions are calculated in the two- and three-loop approximation.


title: VO$_2$ as a natural optical metamaterial

abstract: VO$_2$ is a unique phase change material with strongly anisotropic electronic properties. Recently, samples have been prepared that present a co-existence of phases and thus form metal-insulator junctions of the same chemical compound. Using first principles calculations, the optical properties of metallic and semiconducting VO$_2$ are here discussed to design self-contained natural optical metamaterials, avoiding coupling with other dielectric media. The analysis of the optical properties complements the experiments in the description of the vast change in reflectance and metallicity for both disordered and planar compounds. The present results also predict the possibility to realize ordered VO$_2$ junctions operating as efficient hyperbolic metamaterials in the THz-visible range, by simply adjusting the ratio between metallic and insulating VO$_2$ content. The possibility to excite propagating {\em volume plasmom polariton} across the metamaterial is finally discussed.


title: Control theory for the Burgers equation: Agrachev-Sarychev approach

abstract: This paper is devoted to a description of a general approach introduced by Agrachev and Sarychev in 2005 for studying some control problems for Navier-Stokes equations. The example of a 1D Burgers equation is used to illustrate the main ideas. We begin with a short discussion of the Cauchy problem and establish a continuity property for the resolving operator. We next turn to the property of approximate controllability and prove that it can be achieved by a two-dimensional external force. Finally, we investigate a stronger property, when the approximate controllability and the exact controllability of finite-dimensional functionals are proved simultaneously.


title: Kato square root problem with unbounded leading coefficients

abstract: We prove the Kato conjecture for elliptic operators, $L=-\nabla\cdot\left((\mathbf A+\mathbf D)\nabla\ \right)$, with $\mathbf A$ a complex measurable bounded coercive matrix and $\mathbf D$ a measurable real-valued skew-symmetric matrix in $\mathbb{R}^n$ with entries in $BMO(\mathbb{R}^n)$;\, i.e., the domain of $\sqrt{L}\,$ is the Sobolev space $\dot H^1(\mathbb{R}^n)$ in any dimension, with the estimate $\|\sqrt{L}\, f\|_2\lesssim \| \nabla f\|_2$.


title: A Multi-Scale and Multi-Depth Convolutional Neural Network for Remote Sensing Imagery Pan-Sharpening

abstract: Pan-sharpening is a fundamental and significant task in the field of remote sensing imagery processing, in which high-resolution spatial details from panchromatic images are employed to enhance the spatial resolution of multi-spectral (MS) images. As the transformation from low spatial resolution MS image to high-resolution MS image is complex and highly non-linear, inspired by the powerful representation for non-linear relationships of deep neural networks, we introduce multi-scale feature extraction and residual learning into the basic convolutional neural network (CNN) architecture and propose the multi-scale and multi-depth convolutional neural network (MSDCNN) for the pan-sharpening of remote sensing imagery. Both the quantitative assessment results and the visual assessment confirm that the proposed network yields high-resolution MS images that are superior to the images produced by the compared state-of-the-art methods.


title: Observational Properties of SNe Ia Progenitors Close to the Explosion

abstract: We determine the expected signal in various observational bands of Supernovae Ia progenitors just before the explosion by assuming the rotating Double Degenerate scenario. Our results are valid also for all the evolutionary scenarios invoking rotation as the driving mechanism of the accretion process as well as the evolution up to the explosion. We find that the observational properties depend mainly on the mass of the exploding object, even if the angular momentum evolution after the end of the mass accretion phase and before the onset of C-burning plays a non-negligible role. Just before the explosion the magnitude M_V ranges between 9 and 11 mag, while the colour (F225W-F555W) is about -1.64 mag. The photometric properties remain constant for a few decades before the explosion. During the last few months the luminosity decreases very rapidly. The corresponding decline in the optical bands varies from few hundredths up to one magnitude, the exact value depending on both the WD total mass and the braking efficiency at the end of the mass transfer. This feature is related to the exponentially increasing energy production which drives the formation of a convective core rapidly extending over a large part of the exploding object. Also a drop in the angular velocity occurs. We find that observations in the soft X band (0.5 -2 keV) may be used to check if the SNe Ia progenitors evolution up to explosion is driven by rotation and, hence, to discriminate among different progenitor scenarios.


title: Lie point symmetries and ODEs passing the Painlev\'e test

abstract: The Lie point symmetries of ordinary differential equations (ODEs) that are candidates for having the Painlev\'e property are explored for ODEs of order $n =2, \dots ,5$. Among the 6 ODEs identifying the Painlev\'e transcendents only $P_{III}$, $P_V$ and $P_{VI}$ have nontrivial symmetry algebras and that only for very special values of the parameters. In those cases the transcendents can be expressed in terms of simpler functions, i.e. elementary functions, solutions of linear equations, elliptic functions or Painlev\'e transcendents occurring at lower order. For higher order or higher degree ODEs that pass the Painlev\'e test only very partial classifications have been published. We consider many examples that exist in the literature and show how their symmetry groups help to identify those that may define genuinely new transcendents.


title: Kappa-deformed Dirac oscillator in an external magnetic field

abstract: We study the solutions of the (2+1)-dimensional kappa-deformed Dirac oscillator in the presence of a constant transverse magnetic field. We demonstrate how the deformation parameter affects the energy eigenvalues of the system and the corresponding eigenfunctions. Our findings suggest that this system could be used to detect experimentally the effect of the deformation. We also show that the hidden supersymmetry of the non-deformed system reduces to a hidden pseudo-supersymmetry having the same algebraic structure as a result of the k-deformation.


title: Accurate Bayesian Data Classification without Hyperparameter Cross-validation

abstract: We extend the standard Bayesian multivariate Gaussian generative data classifier by considering a generalization of the conjugate, normal-Wishart prior distribution and by deriving the hyperparameters analytically via evidence maximization. The behaviour of the optimal hyperparameters is explored in the high-dimensional data regime. The classification accuracy of the resulting generalized model is competitive with state-of-the art Bayesian discriminant analysis methods, but without the usual computational burden of cross-validation.


title: Electroweak production of two jets in association with a Z boson in proton-proton collisions at $\sqrt{s}= $ 13 TeV

abstract: A measurement of the electroweak (EW) production of two jets in association with a Z boson in proton-proton collisions at $\sqrt{s} = $ 13 TeV is presented, based on data recorded in 2016 by the CMS experiment at the LHC corresponding to an integrated luminosity of 35.9 fb$^{-1}$. The measurement is performed in the $\ell\ell\mathrm{jj}$ final state with $\ell$ including electrons and muons, and the jets j corresponding to the quarks produced in the hard interaction. The measured cross section in a kinematic region defined by invariant masses $m_{\ell\ell} > $ 50 GeV, $m_{\mathrm{jj}} > $ 120 GeV, and transverse momenta $p_{\mathrm{T j}} > $ 25 GeV is $\sigma_\mathrm{EW}(\ell\ell\mathrm{jj})= $ 534 $\pm$ 20 (stat) $\pm$ 57 (syst) fb, in agreement with leading-order standard model predictions. The final state is also used to perform a search for anomalous trilinear gauge couplings. No evidence is found and limits on anomalous trilinear gauge couplings associated with dimension-six operators are given in the framework of an effective field theory. The corresponding 95% confidence level intervals are $-2.6 < c_{WWW}/\Lambda^2 < 2.6 $ TeV$^{-2}$ and $-8.4 < c_{W}/\Lambda^2 < 10.1 $ TeV$^{-2}$. The additional jet activity of events in a signal-enriched region is also studied, and the measurements are in agreement with predictions.


title: On log motives

abstract: We define the categories of log motives and log mixed motives. The latter gives a new formulation for the category of mixed motives. We prove that the former is a semisimple abelian category if and only if the numerical equivalence and homological equivalence coincide, and that it is also equivalent to that the latter is a Tannakian category. We discuss various realizations, formulate Tate and Hodge conjectures, and verify them in curve case.


title: Extremal Behavior of Aggregated Data with an Application to Downscaling

abstract: The distribution of spatially aggregated data from a stochastic process $X$ may exhibit a different tail behavior than its marginal distributions. For a large class of aggregating functionals $\ell$ we introduce the $\ell$-extremal coefficient that quantifies this difference as a function of the extremal spatial dependence in $X$. We also obtain the joint extremal dependence for multiple aggregation functionals applied to the same process. Explicit formulas for the $\ell$-extremal coefficients and multivariate dependence structures are derived in important special cases. The results provide a theoretical link between the extremal distribution of the aggregated data and the corresponding underlying process, which we exploit to develop a method for statistical downscaling. We apply our framework to downscale daily temperature maxima in the south of France from a gridded data set and use our model to generate high resolution maps of the warmest day during the 2003 heatwave.


title: Quantum-to-Quantum Bernoulli Factory

abstract: Given a coin with unknown bias $p\in [0,1]$, can we exactly simulate another coin with bias $f(p)$? The exact set of simulable functions has been well characterized 20 years ago. In this paper, we ask the quantum counterpart of this question: Given the quantum coin $|p\rangle=\sqrt{p}|0\rangle+\sqrt{1-p}|1\rangle$, can we exactly simulate another quantum coin $|f(p)\rangle=\sqrt{f(p)}|0\rangle+\sqrt{1-f(p)}|1\rangle$? We give the full characterization of simulable quantum state $k_0(p)|0\rangle+k_1(p)|1\rangle$ from quantum coin $|p\rangle=\sqrt{p}|0\rangle+\sqrt{1-p}|1\rangle$, and present an algorithm to transform it. Surprisingly, we show that simulable sets in the quantum-to-quantum case and classical-to-classical case have no inclusion relationship with each other.


title: Automated Formal Equivalence Verification of Pipelined Nested Loops in Datapath Designs

abstract: In this paper, we present an efficient formal approach to check the equivalence of synthesized RTL against the high-level specification in the presence of pipelining transformations. To increase the scalability of our proposed method, we dynamically divide the designs into several smaller parts called segments by introducing cut-points. Then we employ Modular Horner Expansion Diagram (M-HED) to check whether the specification and implementation are equivalent or not. In an iterative manner, the equivalence checking for each segment is performed. At each step, the equivalent nodes and those nodes which have an impact on them are removed until the whole design is covered. Our proposed method enables us to deal with the equivalence checking problem for behaviorally synthesized designs even in the presence of pipelines for nested loops. The empirical results demonstrate the efficiency and scalability of our proposed method in terms of run-time and memory usage for several large designs synthesized by a commercial behavioral synthesis tool. Average improvements in terms of the memory usage and run time in comparison with SMT- and SAT-based equivalence checking are 16.7x and 111.9x, respectively.


title: Geometrical Proof of Generalized Mirror Transformation of Projective Hypersurfaces

abstract: In this paper, we propose a geometrical proof of the generalized mirror transformation of genus 0 Gromov-Witten invariants of degree k hypersurface in CP^{N-1}.


title: Some new results on functions in $C(X)$ having their support on ideals of closed sets

abstract: For any ideal $\mathcal{P}$ of closed sets in $X$, let $C_\mathcal{P}(X)$ be the family of those functions in $C(X)$ whose support lie on $\mathcal{P}$. Further let $C^\mathcal{P}_\infty(X)$ contain precisely those functions $f$ in $C(X)$ for which for each $\epsilon >0, \{x\in X: \lvert f(x)\rvert\geq \epsilon\}$ is a member of $\mathcal{P}$. Let $\upsilon_{C_{\mathcal{P}}}X$ stand for the set of all those points $p$ in $\beta X$ at which the stone extension $f^*$ for each $f$ in $C_\mathcal{P}(X)$ is real valued. We show that each realcompact space lying between $X$ and $\beta X$ is of the form $\upsilon_{C_\mathcal{P}}X$ if and only if $X$ is pseudocompact. We find out conditions under which an arbitrary product of spaces of the form locally-$\mathcal{P}/$ almost locally-$\mathcal{P}$, becomes a space of the same form. We further show that $C_\mathcal{P}(X)$ is a free ideal ( essential ideal ) of $C(X)$ if and only if $C^\mathcal{P}_\infty(X)$ is a free ideal ( respectively essential ideal ) of $C^*(X)+C^\mathcal{P}_\infty(X)$ when and only when $X$ is locally-$\mathcal{P}$ ( almost locally-$\mathcal{P}$). We address the problem, when does $C_\mathcal{P}(X)/C^\mathcal{P}_{\infty}(X)$ become identical to the socle of the ring $C(X)$. Finally we observe that the ideals of the form $C_\mathcal{P}(X)$ of $C(X)$ are no other than the $z^\circ$-ideals of $C(X)$.


title: An adaptive $hp$-refinement strategy with computable guaranteed bound on the error reduction factor

abstract: We propose a new practical adaptive refinement strategy for $hp$-finite element approximations of elliptic problems. Following recent theoretical developments in polynomial-degree-robust a posteriori error analysis, we solve two types of discrete local problems on vertex-based patches. The first type involves the solution on each patch of a mixed finite element problem with homogeneous Neumann boundary conditions, which leads to an ${\mathbf H}(\mathrm{div},\Omega)$-conforming equilibrated flux. This, in turn, yields a guaranteed upper bound on the error and serves to mark mesh vertices for refinement via D\"orfler's bulk-chasing criterion. The second type of local problems involves the solution, on patches associated with marked vertices only, of two separate primal finite element problems with homogeneous Dirichlet boundary conditions, which serve to decide between $h$-, $p$-, or $hp$-refinement. Altogether, we show that these ingredients lead to a computable guaranteed bound on the ratio of the errors between successive refinements (error reduction factor). In a series of numerical experiments featuring smooth and singular solutions, we study the performance of the proposed $hp$-adaptive strategy and observe exponential convergence rates. We also investigate the accuracy of our bound on the reduction factor by evaluating the ratio of the predicted reduction factor relative to the true error reduction, and we find that this ratio is in general quite close to the optimal value of one.


title: On intrinsic quadrics

abstract: An intrinsic quadric is a normal projective variety with a Cox ring defined by a single quadratic relation. We provide explicit descriptions of these varieties in the smooth case for small Picard numbers. As applications, we figure out in this setting the Fano examples and (affirmatively) test Fujita's base point free conjecture.


title: Conformal Quantum Mechanics and Sine-Square Deformation

abstract: We revisit conformal quantum mechanics (CQM) from the perspective of sine-square deformation (SSD) and the entanglement Hamiltonian. The operators that correspond to SSD and the entanglement Hamiltonian are identified. Thus, the nature of SSD and entanglement can be discussed in a much simpler CQM setting than higher-dimensional field theories.


title: $K \to \pi$ matrix elements of the chromomagnetic operator on the lattice

abstract: We present the results of the first lattice QCD calculation of the $K \to \pi$ matrix elements of the chromomagnetic operator $O_{CM} = g\, \bar s\, \sigma_{\mu\nu} G_{\mu\nu} d$, which appears in the effective Hamiltonian describing $\Delta S = 1$ transitions in and beyond the Standard Model. Having dimension 5, the chromomagnetic operator is characterized by a rich pattern of mixing with operators of equal and lower dimensionality. The multiplicative renormalization factor as well as the mixing coefficients with the operators of equal dimension have been computed at one loop in perturbation theory. The power divergent coefficients controlling the mixing with operators of lower dimension have been determined non-perturbatively, by imposing suitable subtraction conditions. The numerical simulations have been carried out using the gauge field configurations produced by the European Twisted Mass Collaboration with $N_f = 2+1+1$ dynamical quarks at three values of the lattice spacing. Our result for the B-parameter of the chromomagnetic operator at the physical pion and kaon point is $B_{CMO}^{K \pi} = 0.273 ~ (70)$, while in the SU(3) chiral limit we obtain $B_{CMO} = 0.072 ~ (22)$. Our findings are significantly smaller than the model-dependent estimate $B_{CMO} \sim 1 - 4$, currently used in phenomenological analyses, and improve the uncertainty on this important phenomenological quantity.


title: On the statistical properties of turbulent energy transfer rate in the inner Heliosphere

abstract: The transfer of energy from large to small scales in solar wind turbulence is an important ingredient of the longstanding question about the mechanism of the interplanetary plasma heating. Previous studies have shown that magnetohydrodynamic (MHD) turbulence is statistically compatible with the observed solar wind heating as it expands in the heliosphere. However, in order to understand which processes contribute to the plasma heating, it is necessary to have a local description of the energy flux across scales. To this aim, it is customary to use indicators such as the magnetic field partial variance of increments (PVI), which is associated with the local, relative, scale-dependent magnetic energy. A more complete evaluation of the energy transfer should also include other terms, related to velocity and cross-helicity. This is achieved here by introducing a proxy for the local, scale dependent turbulent energy transfer rate epsilon_Dt(t), based on the third-order moment scaling law for MHD turbulence. Data from Helios 2 are used to determine the statistical properties of such a proxy in comparison with the magnetic and velocity fields PVI, and the correlation with local solar wind heating is computed. PVI and epsilon_Dt(t) are generally well correlated, however epsilon_Dt(t) is a very sensitive proxy that can exhibit large amplitude values, both positive and negative, even for low amplitude peaks in the PVI. Furthermore, epsilon_Dt(t) is very well correlated with local increases of temperature when large amplitude bursts of energy transfer are localized, thus suggesting an important role played by this proxy in the study of plasma energy dissipation.

categories: physics.space-ph astro-ph.SR physics.flu-dyn physics.plasm-ph


title: Holographic Complexity of Einstein-Maxwell-Dilaton Gravity

abstract: We study the holographic complexity of Einstein-Maxwell-Dilaton gravity using the recently proposed "complexity = volume" and "complexity = action" dualities. The model we consider has a ground state that is represented in the bulk via a so-called hyperscaling violating geometry. We calculate the action growth of the Wheeler-DeWitt patch of the corresponding black hole solution at non-zero temperature and find that, in the presence of violations of hyperscaling, there is a parametric enhancement of the action growth rate. We partially match this behavior to simple tensor network models which can capture aspects of hyperscaling violation. We also exhibit the switchback effect in complexity growth using shockwave geometries and comment on a subtlety of our action calculations when the metric is discontinuous at a null surface.


title: A Syntactic Approach to Domain-Specific Automatic Question Generation

abstract: Factoid questions are questions that require short fact-based answers. Automatic generation (AQG) of factoid questions from a given text can contribute to educational activities, interactive question answering systems, search engines, and other applications. The goal of our research is to generate factoid source-question-answer triplets based on a specific domain. We propose a four-component pipeline, which obtains as input a training corpus of domain-specific documents, along with a set of declarative sentences from the same domain, and generates as output a set of factoid questions that refer to the source sentences but are slightly different from them, so that a question-answering system or a person can be asked a question that requires a deeper understanding and knowledge than a simple word-matching. Contrary to existing domain-specific AQG systems that utilize the template-based approach to question generation, we propose to transform each source sentence into a set of questions by applying a series of domain-independent rules (a syntactic-based approach). Our pipeline was evaluated in the domain of cyber security using a series of experiments on each component of the pipeline separately and on the end-to-end system. The proposed approach generated a higher percentage of acceptable questions than a prior state-of-the-art AQG system.


title: Extension Theorems for differential forms on low-dimensional good quotients

abstract: In this paper we will show that the pull-back of any regular differential form defined on the smooth locus of a good quotient of dimension three and four to any resolution yields a regular differential form.


title: A Probabilistic Analysis on a Lattice Attack against DSA

abstract: Analyzing the security of cryptosystems under attacks based on the malicious modification of memory registers is a research topic of high importance. This type of attacks may affect the randomness of the secret parameters by forcing a limited number of bits to a certain value which can be unknown to the attacker. In this context, we revisit the attack on DSA presented by Faug\`ere, Goyet and Renault during the conference SAC 2012: we simplify their method and we provide a probabilistic approach in opposition to the heuristic proposed in the former to measure the limits of the attack. More precisely, the main problem is formulated as the search for a closest vector to a lattice, then we study the distribution of the vectors with bounded norms in a this family of lattices and we apply the result to predict the behavior of the attack. We validated this approach by computational experiments.


title: Rigorous results in space-periodic two-dimensional turbulence

abstract: We survey the recent advance in the rigorous qualitative theory of the 2d stochastic Navier-Stokes system that are relevant to the description of turbulence in two-dimensional fluids. After discussing briefly the initial-boundary value problem and the associated Markov process, we formulate results on the existence, uniqueness and mixing of a stationary measure. We next turn to various consequences of these properties: strong law of large numbers, central limit theorem, and random attractors related to a unique stationary measure. We also discuss the Donsker-Varadhan and Freidlin-Wentzell type large deviations, as well as the inviscid limit and asymptotic results in 3d thin domains. We conclude with some open problems.

categories: math-ph math.AP math.MP math.PR physics.flu-dyn


title: Quantum-secured data transmission in urban fibre-optic communication lines

abstract: Quantum key distribution (QKD) provides theoretic information security in communications based on the laws of quantum physics. In this work, we report an implementation of quantum-secured data transmission in the infrastructure of Sberbank of Russia in standard communication lines in Moscow. The experiment is realized on the basis of already deployed urban fiber-optics communication channels with significant losses. We realize the decoy-state BB84 QKD protocol using the one-way scheme with polarization encoding for generating keys. Quantum-generated keys are then used for continuous key renewal in the hardware devices for establishing a quantum-secured VPN Tunnel between two offices of Sberbank. The hybrid approach used offers possibilities for long-term protection of the transmitted data; it is promising for integrating into the already existing information security infrastructure.


title: An Adiabatic Decomposition of the Hodge Cohomology of Manifolds Fibred over Graphs

abstract: In this article we use the combinatorial and geometric structure of manifolds with embedded cylinders in order to develop an adiabatic decomposition of the Hodge cohomology of these manifolds. We will on the one hand describe the adiabatic behaviour of spaces of harmonic forms by means of a certain \v{C}ech-de Rham complex and on the other hand generalise the Cappell-Lee-Miller splicing map to the case of a finite number of edges, thus combining the topological and the analytic viewpoint. In parts, this work is a generalisation of works of Cappell, Lee and Miller in which a single-edged graph is considered, but it is more specific since only the Gauss-Bonnet operator is studied.


title: Full Asymptotics and Laurent Series of Layer Potentials for Laplace's Equation on the Half-Space

abstract: We probe the application of the calculus of conormal distributions, in particular the Pull-Back and Push-Forward Theorems, to the method of layer potentials to solve the Dirichlet and Neumann problems on half-spaces. We obtain full asymptotic expansions for the solutions (provided these exist for the boundary data) and a new proof of the classical jump relations as well as Siegel and Talvila's growth estimates, using techniques that can be generalised to geometrically more complex settings. This is intended to be a first step to understanding the method of layer potentials in the setting of certain non-Lipschitz singularities and to applying a matching asymptotics ansatz to singular perturbations of related problems.


title: Formation of adsorbate structures induced by external electric field in plasma-condensate systems

abstract: We present a new model of plasma-condensate system, by taking into account an anisotropy of transference reactions of adatoms between neighbor layers of multi-layer system, caused by the strength of the electric field near substrate. We discuss an influence of the strength of the electric field onto first-order phase transitions and conditions for adsorbate patterning in plasma-condensate systems. It is shown that separated pyramidal-like multi-layer adsorbate islands can be formed in the plasma-condensate system if the strength of the electric field near substrate becomes larger tan the critical value, which depends on the interaction energy of adsorbate and adsorption coefficient.


title: Connecting Software Metrics across Versions to Predict Defects

abstract: Accurate software defect prediction could help software practitioners allocate test resources to defect-prone modules effectively and efficiently. In the last decades, much effort has been devoted to build accurate defect prediction models, including developing quality defect predictors and modeling techniques. However, current widely used defect predictors such as code metrics and process metrics could not well describe how software modules change over the project evolution, which we believe is important for defect prediction. In order to deal with this problem, in this paper, we propose to use the Historical Version Sequence of Metrics (HVSM) in continuous software versions as defect predictors. Furthermore, we leverage Recurrent Neural Network (RNN), a popular modeling technique, to take HVSM as the input to build software prediction models. The experimental results show that, in most cases, the proposed HVSM-based RNN model has a significantly better effort-aware ranking effectiveness than the commonly used baseline models.


title: Development of high vorticity structures and geometrical properties of the vortex line representation

abstract: The incompressible three-dimensional Euler equations develop very thin pancake-like regions of increasing vorticity. These regions evolve with the scaling $\omega_{max}\sim\ell^{-2/3}$ between the vorticity maximum and the pancake thickness, as was observed in the recent numerical experiments [D.S. Agafontsev et al, Phys. Fluids 27, 085102 (2015)]. We study the process of pancakes' development in terms of the vortex line representation (VLR), which represents a partial integration of the Euler equations with respect to conservation of the Cauchy invariants and describes compressible dynamics of continuously distributed vortex lines. We present, for the first time, the numerical simulations of the VLR equations with high accuracy, which we perform in adaptive anisotropic grids of up to $1536^3$ nodes. With these simulations, we show that the vorticity growth is connected with the compressibility of the vortex lines and find geometric properties responsible for the observed scaling $\omega_{max}\sim\ell^{-2/3}$.


title: Revisiting Hyperbolicity of Relativistic Fluids

abstract: Motivated by the desire for highly accurate numerical computations of compact binary spacetimes in the era of gravitational wave astronomy, we reexamine hyperbolicity and well-posedness of the initial value problem for popular models of general relativistic fluids. Our analysis relies heavily on the dual-frame formalism, which allows us to work in the Lagrangian frame, where computation is relatively easy, before transforming to the desired Eulerian form. This general strategy allows for the construction of compact expressions for the characteristic variables in a highly economical manner. General relativistic hydrodynamics (GRHD), ideal magnetohydrodynamics (GRMHD) and resistive magnetohydrodynamics (RGRMHD) are considered in turn. In the first case we obtain a simplified form of earlier expressions. In the second we show that the flux-balance law formulation used in typical numerical applications is only weakly hyperbolic and thus does not have a well-posed initial value problem. Newtonian ideal MHD is found to suffer from the same problem when written in flux-balance law form. An alternative formulation, closely related to that of Anile and Pennisi, is instead shown to be strongly hyperbolic. In the final case we find that the standard forms of RGRMHD, relying upon a particular choice of `generalized Ohm's law', are only weakly hyperbolic. The latter problem may be rectified by adjusting the choice of Ohm's law, but we do not do so here. Along the way weak hyperbolicity of the field equations for dust and charged dust is also observed. More sophisticated systems, such as multi-fluid and elastic models are also expected to be amenable to our treatment.


title: Cosmic evolution of AGN with moderate-to-high radiative luminosity in the COSMOS field

abstract: We study the moderate-to-high radiative luminosity active galactic nuclei (HLAGN) within the VLA-COSMOS 3 GHz Large Project. The survey covers 2.6 square degrees centered on the COSMOS field with a 1$\sigma$ sensitivity of 2.3 $\mathrm{\mu Jy}$/beam across the field. This provides the simultaneously largest and deepest radio continuum survey available to date with exquisite multi-wavelength coverage. The survey yields 10,830 radio sources with signal-to-noise ratios $\geq$5. A subsample of 1,604 HLAGN is analyzed here. These were selected via a combination of X-ray luminosity and mid-infrared colors. We derive luminosity functions for these AGN and constrain their cosmic evolution out to a redshift of $z\sim6$, for the first time decomposing the star formation and AGN contributions to the radio continuum emission in the AGN. We study the evolution of number density and luminosity density finding a peak at $z\sim1.5$ followed by a decrease out to a redshift $z\sim6$.


title: Maximally Supersymmetric AdS Solutions in Gauged Supergravity

abstract: In this thesis we study maximally supersymmetric solutions of gauged supergravity theories, with special focus on anti-de Sitter solutions. The latter are relevant in the context of the AdS/CFT correspondence. In the first part we classify all maximally supersymmetric solutions of all gauged or deformed supergravity theories in $D \geq 3$ space-time dimensions. In the second part we exclusively study maximally supersymmetric AdS$_D$ solutions of gauged supergravities in dimensions $D \geq 4$. We discuss the structure of the allowed gauge groups as well as possible supersymmetry preserving deformations, which correspond to the conformal manifold of the dual SCFTs.


title: Theoretical calculation of transport properties of oxide material using narrow band model

abstract: We report about the results of theoretical calculations of temperature dependence of resistivity ($\rho$) and Seebeck coefficient ($S$) for thermoelectric (TE) and superconductivity (SC) phases by arithmetic equations based on narrow band model with oxygen deficient structure, as the functions of band-filling degree ($F$), and band width ratio of electron and spin states ($W$\sigma/$W$D). The phase diagrams of TE and SC states, and boundary were imaged to the properties of $\rho$ and $S$ as a function of $F$ and $W$\sigma/$W$D.


title: Resurrecting Quartic and Quadratic inflaton potentials in two-field inflationary model

abstract: After the release of the PLANCK data, it is evident that inflationary paradigm has stood the test of time. Even though, it is difficult to realise inflationary paradigm in a particle physics model as the present observations have ruled out the simplest quartic and quadratic inflationary potentials, which generically arise in particle physics. We would show that such simplest inflationary potentials can evade discrepancies with observations, if the inflaton field is assisted by another scalar during inflation. Moreover, unlike other multifield models, our model yields no isocurvature perturbations and negligible non-Gaussianity, making it more compatible with the present data. Above all, our model can also be realised in the framework of SUGRA.


title: Impact parameter smearing effects on isospin sensitive observables in heavy ion collisions

abstract: The validity of impact parameter estimation from the multiplicity of charged particles at low-intermediate energies is checked within the framework of ImQMD model. The simulations show that the multiplicity of charged particles cannot estimate the impact parameter of heavy ion collisions very well, especially for central collisions at the beam energies lower than $\sim$70 MeV/u due to the large fluctuations of the multiplicity of charged particles. The simulation results for the central collisions defined by the charged particle multiplicity are compared to those by using impact parameter b=2 fm and it shows that the charge distribution for $^{112}$Sn +$^{112}$Sn at 50 MeV/u is different evidently for two cases; and the chosen isospin sensitive observable, the coalescence invariant single neutron to proton yield ratio, reduces less than 15\% for neutron-rich systems $^{124,132}$Sn +$^{124}$Sn at $E_{beam}$=50 MeV/u, while the coalescence invariant double neutron to proton yield ratio does not have obvious difference. The sensitivity of the chosen isospin sensitive observables to effective mass splitting is studied for central collisions defined by the multiplicity of charged particles. Our results show that the sensitivity is enhanced for $^{132}$Sn+$^{124}$Sn relative to that for $^{124}$Sn+$^{124}$Sn, and this reaction system should be measured in future experiments to study the effective mass splitting by heavy ion collisions.


title: Localization of $U(1)$ gauge vector field on flat branes with five-dimension (asymptotic) AdS$_{5}$ spacetime

abstract: In order to localize $U(1)$ gauge vector field on Randall-Sundrum-like braneworld model with infinite extra dimension, we propose a new kind of non-minimal coupling between the $U(1)$ gauge field and the gravity. We propose three kinds of coupling methods and they all support the localization of zero mode. In addition, one of them can support the localization of massive modes. Moreover, the massive tachyonic modes can be excluded. And our method can be used not only in the thin braneword models but also in the thick ones.


title: Wheeler-DeWitt Quantization of Gravity Models of Unified Dark Energy and Dark Matter

abstract: First, we describe the construction of a new type of gravity-matter models based on the formalism of non-Riemannian space-time volume forms - alternative generally covariant integration measure densities (volume elements) defined in terms of auxiliary antisymmetric tensor gauge fields. Here gravity couples in a non-conventional way to two distinct scalar fields providing a unified Lagrangian action principle description of: (i) the evolution of both "early" and "late" Universe - by the "inflaton" scalar field; (ii) dark energy and dark matter as a unified manifestation of a single material entity - the "darkon" scalar field. A physically very interesting phenomenon occurs when including in addition interactions with the electro-weak model bosonic sector - we obtain a gravity-assisted dynamical generation of electro-weak spontaneous gauge symmetry breaking in the post-inflationary "late" Universe, while the Higgs-like scalar remains massless in the "early" Universe. Next, we proceed to the Wheeler-DeWitt minisuperspace quantization of the above models. The "darkon" field plays here the role of cosmological "time". In particular, we show the absence of cosmological space-time singularities.


title: Century of $\Lambda$

abstract: The cosmological constant was proposed 100 years ago in order to make the model of static Universe, imagined then by most scientists, possible. Today it is the main candidate for the physical essence causing the observed accelerated expansion of our Universe. But, as well as a hundred years ago, its nature is unknown. This paper is devoted to the story of invention of $\Lambda$ by Albert Einstein in 1917, rejection of it by him in 1931 and returning of it into the science by other scientists during the century.


title: Rating Protocol Design for Extortion and Cooperation in the Crowdsourcing Contest Dilemma

abstract: Crowdsourcing has emerged as a paradigm for leveraging human intelligence and activity to solve a wide range of tasks. However, strategic workers will find enticement in their self-interest to free-ride and attack in a crowdsourcing contest dilemma game. Hence, incentive mechanisms are of great importance to overcome the inefficiency of the socially undesirable equilibrium. Existing incentive mechanisms are not effective in providing incentives for cooperation in crowdsourcing competitions due to the following features: heterogeneous workers compete against each other in a crowdsourcing platform with imperfect monitoring. In this paper, we take these features into consideration, and develop a novel game-theoretic design of rating protocols, which integrates binary rating labels with differential pricing to maximize the requester's utility, by extorting selfish workers and enforcing cooperation among them. By quantifying necessary and sufficient conditions for the sustainable social norm, we formulate the problem of maximizing the revenue of the requester among all sustainable rating protocols, provide design guidelines for optimal rating protocols, and design a low-complexity algorithm to select optimal design parameters which are related to differential punishments and pricing schemes. Simulation results demonstrate how intrinsic parameters impact on design parameters, as well as the performance gain of the proposed rating protocol.


title: Multi-particle instability in a spin-imbalanced Fermi gas

abstract: Weak attractive interactions in a spin-imbalanced Fermi gas induce a multi-particle instability, binding multiple fermions together. The maximum binding energy per particle is achieved when the ratio of the number of up- and down-spin particles in the instability is equal to the ratio of the up- and down-spin densities of states in momentum at the Fermi surfaces, to utilize the variational freedom of all available momentum states. We derive this result using an analytical approach, and verify it using exact diagonalization. The multi-particle instability extends the Cooper pairing instability of balanced Fermi gases to the imbalanced case, and could form the basis of a many-body state, analogously to the construction of the Bardeen-Cooper-Schrieffer theory of superconductivity out of Cooper pairs.


title: Game-Theoretic Design of Optimal Two-Sided Rating Protocols for Service Exchange Dilemma in Crowdsourcing

abstract: Despite the increasing popularity and successful examples of crowdsourcing, it is stripped of aureole when collective efforts are derailed or severely hindered by elaborate sabotage. A service exchange dilemma arises when non-cooperation among self-interested users, and zero social welfare is obtained at myopic equilibrium. Traditional rating protocols are not effective to overcome the inefficiency of the socially undesirable equilibrium due to specific features of crowdsourcing: a large number of anonymous users having asymmetric service requirements, different service capabilities, and dynamically joining/leaving a crowdsourcing platform with imperfect monitoring. In this paper, we develop the first game-theoretic design of the two-sided rating protocol to stimulate cooperation among self-interested users, which consists of a recommended strategy and a rating update rule. The recommended strategy recommends a desirable behavior from three predefined plans according to intrinsic parameters, while the rating update rule involves the update of ratings of both users, and uses differential punishments that punish users with different ratings differently. By quantifying necessary and sufficient conditions for a sustainable social norm, we formulate the problem of designing an optimal two-sided rating protocol that maximizes the social welfare among all sustainable protocols, provide design guidelines for optimal two-sided rating protocols and a low-complexity algorithm to select optimal design parameters in an alternate manner. Finally, evaluation results show the validity and effectiveness of our protocol designed for service exchange dilemma in crowdsourcing.


title: Search for magnetic monopoles with the MoEDAL forward trapping detector in 2.11 fb$^{-1}$ of 13 TeV proton-proton collisions at the LHC

abstract: We update our previous search for trapped magnetic monopoles in LHC Run 2 using nearly six times more integrated luminosity and including additional models for the interpretation of the data. The MoEDAL forward trapping detector, comprising 222~kg of aluminium samples, was exposed to 2.11~fb$^{-1}$ of 13 TeV proton-proton collisions near the LHCb interaction point and analysed by searching for induced persistent currents after passage through a superconducting magnetometer. Magnetic charges equal to the Dirac charge or above are excluded in all samples. The results are interpreted in Drell-Yan production models for monopoles with spins 0, 1/2 and 1: in addition to standard point-like couplings, we also consider couplings with momentum-dependent form factors. The search provides the best current laboratory constraints for monopoles with magnetic charges ranging from two to five times the Dirac charge.


title: On Pareto Joint Inversion of guided waves

abstract: We use the Pareto Joint Inversion, together with the Particle Swarm Optimization, to invert the Love and quasi-Rayleigh surface-wave speeds, obtained from dispersion curves, in order to infer the elasticity parameters, mass densities and layer thickness of the model for which these curves are generated. For both waves, we use the dispersion relations derived by Dalton et al. (2017). Numerical results are presented for three angular frequencies, 15 Hz, 60 Hz and 100 Hz, and for two, five and seven modes, respectively. Comparisons of the model parameters with the values inverted with error-free input indicate an accurate process. If, however, we introduce a 5% error to the input, the results become significantly less accurate, which indicates that the inverse operation, even though stable, is error-sensitive. Correlations between the inverted elasticity parameters indicate that the layer parameters are more sensitive to input errors than the halfspace parameters. In agreement with Dalton et al. (2017), the fundamental mode is mainly sensitive to the layer parameters whereas higher modes are sensitive to both the layer and halfspace properties; for the second mode, the results are more accurate for low frequencies.


title: Lp-estimates for the square root of elliptic systems with mixed boundary conditions

abstract: This article focuses on Lp-estimates for the square root of elliptic systems of second order in divergence form on a bounded domain. We treat complex bounded measurable coefficients and allow for mixed Dirichlet/Neumann boundary conditions on domains beyond the Lipschitz class. If there is an associated bounded semigroup on Lp0 , then we prove that the square root extends for all p $\in$ (p0, 2) to an isomorphism between a closed subspace of W1p carrying the boundary conditions and Lp. This result is sharp and extrapolates to exponents slightly above 2. As a byproduct, we obtain an optimal p-interval for the bounded H$\infty$-calculus on Lp. Estimates depend holomorphically on the coefficients, thereby making them applicable to questions of non-autonomous maximal regularity and optimal control. For completeness we also provide a short summary on the Kato square root problem in L2 for systems with lower order terms in our setting.


title: Exact Solutions to Non-Linear Symmetron Theory: One and Two Mirror Systems

abstract: We derive the exact analytical solutions to the symmetron field theory equations in the presence of a one or two mirror system. The one dimensional equations of motion are integrated exactly for both systems and their solutions can be expressed in terms of Jacobi elliptic functions. Surprisingly, in the case of two parallel mirrors the equations of motion generically provide not a unique solution but a discrete set of solutions with increasing number of nodes and energies. The solutions obtained herein can be applied to qBOUNCE experiments, neutron interferometry and for the calculation of the symmetron field induced "Casimir force" in the CANNEX experiment.


title: A Partially Supervised Bayesian Image Classification Model with Applications in Diagnosis of Sentinel Lymph Node Metastases in Breast Cancer

abstract: A method has been developed for the analysis of images of sentinel lymph nodes generated by a spectral scanning device. The aim is to classify the nodes, excised during surgery for breast cancer, as normal or metastatic. The data from one node constitute spectra at 86 wavelengths for each pixel of a 20*20 grid. For the analysis, the spectra are reduced to scores on two factors, one derived externally from a linear discriminant analysis using spectra taken manually from known normal and metastatic tissue, and one derived from the node under investigation to capture variability orthogonal to the external factor. Then a three-group mixture model (normal, metastatic, non-nodal background) using multivariate t distributions is fitted to the scores, with external data being used to specify informative prior distributions for the parameters of the three distributions. A Markov random field prior imposes smoothness on the image generated by the model. Finally, the node is classified as metastatic if any one pixel in this smoothed image is classified as metastatic. The model parameters were tuned on a training set of nodes, and then the tuned model was tested on a separate validation set of nodes, achieving satisfactory sensitivity and specificity. The aim in developing the analysis was to allow flexibility in the way each node is modelled whilst still using external information. The Bayesian framework employed is ideal for this.


title: No arbitrage and lead-lag relationships

abstract: The existence of time-lagged cross-correlations between the returns of a pair of assets, which is known as the lead-lag relationship, is a well-known stylized fact in financial econometrics. Recently some continuous-time models have been proposed to take account of the lead-lag relationship. Such a model does not follow a semimartingale as long as the lead-lag relationship is present, so it admits an arbitrage without market frictions. In this paper we show that they are free of arbitrage if we take account of market frictions such as the presence of minimal waiting time on subsequent transactions or transaction costs.


title: Beyond-Planarity: Density Results for Bipartite Graphs

abstract: Beyond-planarity focuses on the study of geometric and topological graphs that are in some sense nearly-planar. Here, planarity is relaxed by allowing edge crossings, but only with respect to some local forbidden crossing configurations. Early research dates back to the 1960s (e.g., Avital and Hanani 1966) for extremal problems on geometric graphs, but is also related to graph drawing problems where visual clutter by edge crossings should be minimized (e.g., Huang et al. 2008) that could negatively affect the readability of the drawing. Different types of forbidden crossing configurations give rise to different families of nearly-planar graphs. Most of the literature focuses on Tur\'an-type problems, which ask for the maximum number of edges a nearly-planar graph can have. Here, we study this problem for bipartite topological graphs, considering several types of nearly-planar graphs, i.e., 1-planar, 2-planar, fan-planar, and RAC graphs. We prove bounds on the number of edges that are tight up to small additive constants; some of them are surprising and not along the lines of the known results for non-bipartite graphs. Our findings lead to an improvement of the leading constant of the well-known Crossing Lemma for bipartite graphs, as well as to a number of interesting research questions on topological graphs.


title: Tight Bounds for Maximal Identifiability of Failure Nodes in Boolean Network Tomography

abstract: We study maximal identifiability, a measure recently introduced in Boolean Network Tomography to characterize networks' capability to localize failure nodes in end-to-end path measurements. We prove tight upper and lower bounds on the maximal identifiability of failure nodes for specific classes of network topologies, such as trees and $d$-dimensional grids, in both directed and undirected cases. We prove that directed $d$-dimensional grids with support $n$ have maximal identifiability $d$ using $2d(n-1)+2$ monitors; and in the undirected case we show that $2d$ monitors suffice to get identifiability of $d-1$. We then study identifiability under embeddings: we establish relations between maximal identifiability, embeddability and graph dimension when network topologies are model as DAGs. Our results suggest the design of networks over $N$ nodes with maximal identifiability $\Omega(\log N)$ using $O(\log N)$ monitors and a heuristic to boost maximal identifiability on a given network by simulating $d$-dimensional grids. We provide positive evidence of this heuristic through data extracted by exact computation of maximal identifiability on examples of small real networks.


title: Galaxy Evolution in the Cluster Abell 85: New Insights from the Dwarf Population

abstract: We present the first results of a new spectroscopic survey of the cluster Abell 85 targeting 1466 candidate cluster members within the central $\sim$1 deg$^2$ of the cluster and having magnitudes $m_r < 20.5$ using VIMOS/VLT and HYDRA/WIYN. A total of 520 galaxies are confirmed as either relaxed cluster members or part of an infalling population. A significant fraction are low mass; the median stellar mass of the sample is $10^{9.6} M_{\odot} $, and 25% have stellar masses below $10^9 M_{\odot}$ (i.e. 133 dwarf galaxies). We also identify seven active galactic nuclei (AGN), four of which reside in dwarf host galaxies. We probe the evolution of star formation rates, based on H$\alpha$ emission and continuum modeling, as a function of both mass and environment. We find that more star forming galaxies are observed at larger clustercentric distances, while infalling galaxies show evidence for recently enhanced star forming activity. Main sequence galaxies, defined by their continuum star formation rates, show different evolutionary behavior based on their mass. At the low mass end, the galaxies have had their star formation recently quenched, while more massive galaxies show no significant change. The timescales probed here favor fast quenching mechanisms, such as ram-pressure stripping. Galaxies within the green valley, defined similarly, do not show evidence of quenching. Instead, the low mass galaxies maintain their levels of star forming activity, while the more massive galaxies have experienced a recent burst.


title: Prolongations vs. Tulczyjew triples in Geometric Mechanics

abstract: In the scientific literature there are basically two schools of formulating Lagrangian (or Hamiltonian) mechanics in the (Lie) algebroid setting: in terms of prolongations and in terms of Tulczyjew triples. Despite the fact that in both approaches we describe the same phenomena, so far no comparison between prolongations and Tulczyjew triples was made. In this note we aim to fill this gap. More precisely, we will strip the prolongation approach to uncover the Tulczyjew triple reality hidden inside, thus proving that the latter approach is a more basic one.


title: A Secure and Authenticated Key Management Protocol (SA-KMP) for Vehicular Networks

abstract: Public key infrastructure (PKI) is the most widely used security mechanism for securing communications over the network. However, there are known performance issues, making it unsuitable for use in vehicular networks. In this paper, we propose a secure and authenticated key management protocol (SA-KMP) to overcome the shortcomings of the PKI. The SA-KMP scheme distributes repository containing the bindings of the en-tity's identity and its corresponding public key to each vehicle and road side unit. By doing so, certificate exchanges and certificate revocation lists are eliminated. Furthermore, the SA-KMP scheme uses symmetric keys derived based on a 3-D-matrix-based key agreement scheme to reduce the high computational costs of using asymmetric cryptography. We demonstrate the efficiency of the SA-KMP through performance evaluations in terms of transmission and storage overhead, network latency, and key generation time. Analytical results show that the SA-KMP is more scalable and outperforms the certificate-based PKI. Simulation results indicate that the key generation time of the SA-KMP scheme is less than that of the existing Elliptic Curve Diffie--Hellman and Diffie--Hellman protocols. In addition, we use Proverif to prove that the SA-KMP scheme is secure against an active attacker under the Dolev and Yao model and further show that the SA-KMP scheme is secure against denial of service, collusion attacks, and a wide range of other malicious attacks.


title: The cyclic-homology Chern-Weil homomorphism for principal coactions

abstract: We view the space of cotraces in the structural coalgebra of a principal coaction as a noncommutative counterpart of the classical Cartan model. Then we define the cyclic-homology Chern-Weil homomorphism by extending the Chern-Galois character from the characters of finite-dimensional comodules to arbitrary cotraces. To reduce the cyclic-homology Chern-Weil homomorphism to a tautological natural transformation, we replace the unital coaction-invariant subalgebra by its certain natural H-unital nilpotent extension (row extension), and prove that their cyclic-homology groups are isomorphic. In the proof, we use a chain homotopy invariance of complexes computing Hochschild, and hence cyclic homology, for arbitrary row extensions. In the context of the cyclic-homology Chern-Weil homomorphism, a row extension is provided by the Ehresmann-Schauenburg quantum groupoid with a nonstandard multiplication.


title: Variations of the Primitive Normal Basis Theorem

abstract: The celebrated Primitive Normal Basis Theorem states that for any $n\ge 2$ and any finite field $\mathbb F_q$, there exists an element $\alpha\in \mathbb F_{q^n}$ that is simultaneously primitive and normal over $\mathbb F_q$. In this paper, we prove some variations of this result, completing the proof of a conjecture proposed by Anderson and Mullen (2014). Our results also imply the existence of elements of $\mathbb F_{q^n}$ with multiplicative order $(q^n-1)/2$ and prescribed trace over $\mathbb F_q$.


title: A non-biased trust model for wireless mesh networks

abstract: Trust models that rely on recommendation trusts are vulnerable to badmouthing and ballot-stuffing attacks. To cope with these attacks, existing trust models use different trust aggregation techniques to process the recommendation trusts and combine them with the direct trust values to form a combined trust value. However, these trust models are biased as recommendation trusts that deviate too much from one's own opinion are discarded. In this paper, we propose a non-biased trust model that considers every recommendation trusts available regardless they are good or bad. Our trust model is based on a combination of 2 techniques: the dissimilarity test and the Dempster-Shafer Theory. The dissimilarity test determines the amount of conflict between 2 trust records, whereas the Dempster-Shafer Theory assigns belief functions based on the results of the dissimilarity test. Numerical results show that our trust model is robust against reputation-based attacks when compared to trust aggregation techniques such as the linear opinion pooling, subjective logic model, entropy-based probability model, and regression analysis. In addition, our model has been extensively tested using network simulator NS-3 in an Infrastructure-based wireless mesh networks and a Hybrid-based wireless mesh networks to demonstrate that it can mitigate blackhole and grayhole attacks.


title: Functional Renormalization Analytically Continued

abstract: We discuss a method to analytically continue functional renormalization group equations from imaginary Matsubara frequencies to the real frequency axis. In this formalism, we investigate the analytic structure of the flowing action and the propagator for a theory of scalar fields with $O(N)$ symmetry. We go on to show how it is possible to derive and solve flow equations for real-time properties such as particle decay widths. Our treatment is fully Lorentz-invariant and enables an improved, self-consistent derivative expansion in Minkowski space.


title: TEDS: A Trusted Entropy and Dempster Shafer Mechanism for Routing in Wireless Mesh Networks

abstract: Wireless Mesh Networks (WMNs) have emerged as a key technology for the next generation of wireless networking due to its self-forming, self-organizing and self-healing properties. However, due to the multi-hop nature of communications in WMN, we cannot assume that all nodes in the network are cooperative. Nodes may drop all of the data packets they received to mount a Denial of Service (DoS) attack. In this paper, we proposed a lightweight trust detection mechanism called Trusted Entropy and Dempster Shafer (TEDS) to mitigate the effects of blackhole attacks. This novel idea combines entropy function and Dempster Shafer belief theory to derive a trust rating for a node. If the trust rating of a node is less than a threshold, it will be blacklisted and isolated from the network. In this way, the network can be assured of a secure end to end path free of malicious nodes for data forwarding. Our proposed idea has been extensively tested in simulation using network simulator NS-3 and simulation results show that we are able to improve the packet delivery ratio with slight increase in normalized routing overhead.


title: The physicist's guide to one of biotechnology's hottest new topics: CRISPR-Cas

abstract: Clustered regularly interspaced short palindromic repeats (CRISPR) and CRISPR-associated proteins (Cas) constitute a multi-functional, constantly evolving immune system in bacteria and archaea cells. A heritable, molecular memory is generated of phage, plasmids, or other mobile genetic elements that attempt to attack the cell. This memory is used to recognize and interfere with subsequent invasions from the same genetic elements. This versatile prokaryotic tool has also been used to advance applications in biotechnology. Here we review a large body of CRISPR-Cas research to explore themes of evolution and selection, population dynamics, horizontal gene transfer, specific and cross-reactive interactions, cost and regulation, non-immunological CRISPR functions that boost host cell robustness, as well as applicable mechanisms for efficient and specific genetic engineering. We offer future directions that can be addressed by the physics community. Physical understanding of the CRISPR-Cas system will advance uses in biotechnology, such as developing cell lines and animal models, cell labeling and information storage, combatting antibiotic resistance, and human therapeutics.


title: Magnetospheric Multiscale Dayside Reconnection Electron Diffusion Region Events

abstract: We have used the high-resolution data of the Magnetospheric Multiscale (MMS) mission dayside phase to identify twenty-one previously unreported encounters with the electron diffusion region (EDR), as evidenced by electron agyrotropy, ion jet reversals, and j dot E greater than 0. Three of the new EDR encounters, which occurred within a one-minute-long interval on November 23rd, 2016, are analyzed in detail. These events, which resulted from a relatively low and oscillating magnetopause velocity, contained large electric fields (several tens to hundreds of milliVolts per meter), crescent-shaped electron velocity phase space densities, large currents (greater than 2 microAmperes per square meter), and Ohmic heating of the plasma (near or exceeding 10 nanoWatts per cubic meter). Because of the slow in-and-out motion of the magnetopause, two of these events show the unprecedented mixture of perpendicular and parallel crescents, indicating the first breaking and reconnecting of solar wind and magnetospheric field lines. An extended list of thirty-two EDR or near-EDR events is also included, and demonstrates a wide variety of observed plasma behavior inside and surrounding the reconnection site.


title: Future Frame Prediction for Anomaly Detection -- A New Baseline

abstract: Anomaly detection in videos refers to the identification of events that do not conform to expected behavior. However, almost all existing methods tackle the problem by minimizing the reconstruction errors of training data, which cannot guarantee a larger reconstruction error for an abnormal event. In this paper, we propose to tackle the anomaly detection problem within a video prediction framework. To the best of our knowledge, this is the first work that leverages the difference between a predicted future frame and its ground truth to detect an abnormal event. To predict a future frame with higher quality for normal events, other than the commonly used appearance (spatial) constraints on intensity and gradient, we also introduce a motion (temporal) constraint in video prediction by enforcing the optical flow between predicted frames and ground truth frames to be consistent, and this is the first work that introduces a temporal constraint into the video prediction task. Such spatial and motion constraints facilitate the future frame prediction for normal events, and consequently facilitate to identify those abnormal events that do not conform the expectation. Extensive experiments on both a toy dataset and some publicly available datasets validate the effectiveness of our method in terms of robustness to the uncertainty in normal events and the sensitivity to abnormal events.


title: Aspects of electron scattering, the elastic, and the inelastic

abstract: A electron of mass $m$, when electrically scatters of nucleus, of mass $M$, transfers momentum $q$ to the nucleus. The energy lost by electron is more than the energy gained by the nucleus. The resulting energy goes in exciting the atom to a higher energy state as in Frank Hertz experiment and sodium, neon, mercury vapor lamps, or ionization of atom as in bubble and cloud chamber experiments, or just production of X-rays as in Bremsstraulung. In this paper, we study these phenomenon. These experiments are inelastic scattering experiments. We remark, why neutrinos donot scatter and can penetrate earth, why muons travel further than electrons in materials and why a material like lead plate can slow down electrons and positrons efficiently. We look at the elastic scattering of electrons as in electron diffraction and electron microscopes. We look at scattering of electrons in the condensed matter, these phenomenon range from scattering of electrons of periodic potential, to give Bloch waves, scattering of electrons of phonons and impurities to give resistance, scattering of electrons of lattice to give cooper pairs and superconductivity. We study electron scattering from exchange potential as in Fermi liquid theory and resulting $T^2$ resistance at low temperatures. Electron scattering of exchange potential resulting in chemical reactions. We turn our attention to electron-proton scattering both eleastic and inelastic, as in deep inelastic scattering experiments and understand the independence of ineleastic cross-section of with respect to transferred momentum. We see, why we can just say that there are three quarks in proton from elastic cross-section. Our main contribution in this article is we are detailed at places, we find literature terse.


title: Tensor network states in time-bin quantum optics

abstract: The current shift in the quantum optics community towards large-size experiments -- with many modes and photons -- necessitates new classical simulation techniques that go beyond the usual phase space formulation of quantum mechanics. To address this pressing demand we formulate linear quantum optics in the language of tensor network states. As a toy model, we extensively analyze the quantum and classical correlations of time-bin interference in a single fiber loop. We then generalize our results to more complex time-bin quantum setups and identify different classes of architectures for high-complexity and low-overhead boson sampling experiments.


title: Indirect Inference for L\'evy-driven continuous-time GARCH models

abstract: We advocate the use of an Indirect Inference method to estimate the parameter of a COGARCH(1,1) process for equally spaced observations. This requires that the true model can be simulated and a reasonable estimation method for an approximate auxiliary model. We follow previous approaches and use linear projections leading to an auxiliary autoregressive model for the squared COGARCH returns. The asymptotic theory of the Indirect Inference estimator relies {on a uniform SLLN and asymptotic normality of the parameter estimates of the auxiliary model, which require continuity and differentiability of the COGARCH process} with respect to its parameter and which we prove via Kolmogorov's continuity criterion. This leads to consistent and asymptotically normal Indirect Inference estimates under moment conditions on the driving L\'evy process. A simulation study shows that the method yields a substantial finite sample bias reduction compared to previous estimators.


title: Coherence orders, decoherence and quantum metrology

abstract: Since the dawn of quantum theory, coherence was attributed as a key to understand the weirdness of fundamental concepts like the wave-particle duality and the Stern-Gerlach experiment. Recently, based on a resource theory approach, the notion of quantum coherence was revisited and a plethora of coherence quantifiers were proposed. In this work, we address this issue using the language of coherence orders, developed by the NMR community. This allowed us to investigate the role played by different subspaces of the Hilbert-Schmidt space into physical processes and quantum protocols. We found some links between decoherence and each coherence order. Moreover, we propose a sufficient and straightforward criterion to testify the usefulness of a given state for quantum enhanced phase estimation, relying on a minimal set of elements belonging to the density matrix.


title: Handwritten Bangla Character Recognition Using The State-of-Art Deep Convolutional Neural Networks

abstract: In spite of advances in object recognition technology, Handwritten Bangla Character Recognition (HBCR) remains largely unsolved due to the presence of many ambiguous handwritten characters and excessively cursive Bangla handwritings. Even the best existing recognizers do not lead to satisfactory performance for practical applications related to Bangla character recognition and have much lower performance than those developed for English alpha-numeric characters. To improve the performance of HBCR, we herein present the application of the state-of-the-art Deep Convolutional Neural Networks (DCNN) including VGG Network, All Convolution Network (All-Conv Net), Network in Network (NiN), Residual Network, FractalNet, and DenseNet for HBCR. The deep learning approaches have the advantage of extracting and using feature information, improving the recognition of 2D shapes with a high degree of invariance to translation, scaling and other distortions. We systematically evaluated the performance of DCNN models on publicly available Bangla handwritten character dataset called CMATERdb and achieved the superior recognition accuracy when using DCNN models. This improvement would help in building an automatic HBCR system for practical applications.


title: Higgs Portals for Thermal Dark Matter - EFT Perspectives and the NMSSM -

abstract: We analyze a low energy effective model of Dark Matter in which the thermal relic density is provided by a singlet Majorana fermion which interacts with the Higgs fields via higher dimensional operators. Direct detection signatures may be reduced if blind spot solutions exist, which naturally appear in models with extended Higgs sectors. Explicit mass terms for the Majorana fermion can be forbidden by a $Z_3$ symmetry, which in addition leads to a reduction of the number of higher dimensional operators. Moreover, a weak scale mass for the Majorana fermion is naturally obtained from the vacuum expectation value of a scalar singlet field. The proper relic density may be obtained by the $s$-channel interchange of Higgs and gauge bosons, with the longitudinal mode of the $Z$ boson (the neutral Goldstone mode) playing a relevant role in the annihilation process. This model shares many properties with the Next-to-Minimal Supersymmetric extension of the Standard Model (NMSSM) with light singlinos and heavy scalar and gauge superpartners. In order to test the validity of the low energy effective field theory, we compare its predictions with those of the ultraviolet complete NMSSM. Extending our framework to include $Z_3$ neutral Majorana fermions, analogous to the bino in the NMSSM, we find the appearance of a new bino-singlino well tempered Dark Matter region.


title: Two-dimensional simulation of quantum reflection

abstract: A propagation method for the scattering of a quantum wave packet from a potential surface is presented. It is used to model the quantum reflection of single atoms from a corrugated (metallic) surface. Our numerical procedure works well in two spatial dimensions requiring only reasonable amounts of memory and computing time. The effects of the surface corrugation on the reflectivity are investigated via simulations with a paradigm potential. These indicate that our approach should allow for future tests of realistic, effective potentials obtained from theory in a quantitative comparison to experimental data.


title: Ergodicity of the zigzag process

abstract: The zigzag process is a Piecewise Deterministic Markov Process which can be used in a MCMC framework to sample from a given target distribution. We prove the convergence of this process to its target under very weak assumptions, and establish a central limit theorem for empirical averages under stronger assumptions on the decay of the target measure. We use the classical "Meyn-Tweedie" approach. The main difficulty turns out to be the proof that the process can indeed reach all the points in the space, even if we consider the minimal switching rates.


title: Reliable Messaging to Millions of Users with MigratoryData

abstract: Web-based notification services are used by a large range of businesses to selectively distribute live updates to customers, following the publish/subscribe (pub/sub) model. Typical deployments can involve millions of subscribers expecting ordering and delivery guarantees together with low latencies. Notification services must be vertically and horizontally scalable, and adopt replication to provide a reliable service. We report our experience building and operating MigratoryData, a highly-scalable notification service. We discuss the typical requirements of MigratoryData customers, and describe the architecture and design of the service, focusing on scalability and fault tolerance. Our evaluation demonstrates the ability of MigratoryData to handle millions of concurrent connections and support a reliable notification service despite server failures and network disconnections.


title: Liouville type results for a nonlocal obstacle problem

abstract: This paper is concerned with qualitative properties of solutions to nonlocal reaction-diffusion equations of the form$$ \int\_{\mathbb{R}^N\setminus K} J(x-y)\,\big( u(y)-u(x) \big)\,\D y+f(u(x))=0, \quad x\in\R^N\setminus K,$$set in a perforated open set $\mathbb{R}^N\setminus K$, where $K\subset\mathbb{R}^N$ is a bounded compact "obstacle" and $f$ is a bistable nonlinearity. When $K$ is convex, we prove some Liouville-type results for solutions satisfying some asymptotic limiting conditions at infinity. We also establish a robustness result, assuming slightly relaxed conditions on $K$.


title: Gauge invariant canonical cosmological perturbation theory with geometrical clocks in extended phase space - a review and applications

abstract: The theory of cosmological perturbations is a well elaborated field. To deal with the diffeomorphism invariance of general relativity one generally introduces combinations of the metric and matter perturbations which are gauge invariant up to the considered order in the perturbations. For linear cosmological perturbations one works with the so-called Bardeen potentials widely used in this context. However, there exists no common procedure to construct gauge invariant quantities also for higher order perturbations. Usually, one has to find new gauge invariant quantities independently for each order in perturbation theory. With the relational formalism introduced by Rovelli and further developed by Dittrich and Thiemann, it is in principle possible to calculate manifestly gauge invariant quantities, that is quantities that are gauge invariant up to arbitrary order once one has chosen a set of so-called reference fields, often also called clock fields. This article contains a review of the relational formalism and its application to canonical general relativity following the work of Garcia, Pons, Sundermeyer and Salisbury. As the starting point for our application of this formalism to cosmological perturbation theory, we also review the Hamiltonian formulation of the linearized theory for perturbations around FLRW spacetimes. The main aim of our work will be to identify clock fields in the context of the relational formalism that can be used to reconstruct quantities like the Bardeen potential as well as the Mukhanov-Sasaki variable. This requires a careful analysis of the canonical formulation in the extended ADM-phase space where lapse and shift are treated as dynamical variables. The actual construction of such observables and further investigations thereof will be carried out in our companion paper.


title: Emergence of Spatial Order in Highly Interacting Rydberg Gases

abstract: We describe the emergence of strong spatial correlations, akin to liquid-like behavior and crystallization effects, in low (one and two) dimensional gases of cold Rydberg atoms. The presence of an external electric field permanently polarizes the atoms, which became highly correlated due to the long-range dipole-dipole interaction. We describe a theoretical approach particularly suited for strongly coupled systems and numerically obtain both the two-particle distribution function and the static structure factor. The experimental implementation of such highly interacting systems is discussed, including detailed calculations of the interaction strength for different Rydberg states. The results provide new insights into many-body effects associated with strongly interacting Rydberg atoms, including the possibility of observing novel highly ordered phases.


title: The Fourier transform on 2-step Lie groups

abstract: In this paper, we investigate the behavior of the Fourier transform on finite dimensional 2-step Lie groups and develop a general theory akin to that of the whole space or the torus. We provide a familiar framework in which computations are made sensibly easier than with the usual representation-theoretic Fourier transform. In addition, we study the 'singular frequencies' of the group, at which the canonical bilinear antisymmetric form degenerates. We also exhibit a specific example for which partial degeneracy of the canonical form occurs, as opposed to the full degeneracy at the origin. We thus extend the results from [1].


title: On the rate of convergence for the length of the longest common subsequences in hidden Markov models

abstract: Let $(X, Y) = (X_n, Y_n)_{n \geq 1}$ be the output process generated by a hidden chain $Z = (Z_n)_{n \geq 1}$, where $Z$ is a finite state, aperiodic, time homogeneous, and irreducible Markov chain. Let $LC_n$ be the length of the longest common subsequences of $X_1, \ldots, X_n$ and $Y_1, \ldots, Y_n$. Under a mixing hypothesis, a rate of convergence result is obtained for $\mathbb{E}[LC_n]/n$.


title: A survey of TiO{\lambda}567 nm absorption in solar-type stars

abstract: Molecular absorption bands are estimators of stellar activity and spot cycles on magnetically active stars. We have previously introduced a new color index that compare absorption strength of the titanium oxide (TiO) at 567 nm with nearby continuum. In this paper we implement this index to measure long-term activity variations and the statistical properties of the index in a sample of 302 solar-type stars from the HARPS planet search program. The results indicate a pattern of change in star's activity, covers a range of periods from 2 years up to 17 years.


title: Thermal expansion of boron subnitrides

abstract: The lattice parameters of two boron subnitrides, B13N2 and B50N2, have been measured as a function of temperature between 298 and 1273 K, and the corresponding thermal expansion coefficients have been determined. Thermal expansion of both boron subnitrides was found to be quasi-linear, and the volume thermal expansion coefficients of B50N2 (15.7(2) 10-6 K-1) and B13N2 (21.3(2) 10-6 K-1) are of the same order of magnitude as those of boron-rich compounds with structure related to {\alpha}-rhombohedral boron. For both boron subnitrides no temperature-induced phase transitions have been observed in the temperature range under study.


title: Regularity of push-forward of Monge-Amp{\`e}re measures

abstract: We prove that the image under any dominant meromorphic map of the Monge-Amp{\`e}re measure of a H{\"o}lder continuous quasi-psh function still possesses a H{\"o}lder potential. We also discuss the case of lower regularity.


title: Models for a multimode bosonic tunneling junction

abstract: We discuss the relaxation dynamics for a bosonic tunneling junction with two modes in the central potential well. We use a master equation description for ultracold bosons tunneling in the presence of noise and incoherent coupling processes into the two central modes. Whilst we cannot quantitatively reproduce the experimental data of the setup reported in [Phys. Rev. Lett. {\bf 115}, 050601 (2015)], we find a reasonable qualitative agreement of the refilling process of the initially depleted central site. Our results may pave the way for the control of bosonic tunneling junctions by the simultaneous presence of decoherence processes and atom-atom interaction.


title: Quasar -- CIV forest cross-correlation with SDSS DR12

abstract: We present a new determination of the large-scale clustering of the CIV forest (i.e., the absorption due to all CIV absorbers) using its cross-correlation with quasars in the Sloan Digital Sky Survey (SDSS) Data Release 12 (DR12). We fit a linear bias model to the measured cross-correlation. We find that the transmission bias of the CIV forest, $b_{Fc}$, at a mean redshift of $z=2.3$, obeys the relation $(1+\beta_c)b_{F c} = -0.024 \pm 0.003$. Here, $\beta_{c}$ is the linear redshift space distortion parameter of the CIV absorption, which can only be poorly determined at $\beta_c=1.1\pm 0.6$ from our data. This transmission bias is related to the bias of CIV absorbers and their host halos through the effective mean optical depth of the CIV forest, $\bar\tau_c$. Estimating a value $\bar \tau_c(z) \simeq 0.01$ from previous studies of the CIV equivalent width distribution, our measurement implies a CIV absorber bias near unity, with a large error due to uncertainties in both $\beta_c$ and $\bar\tau_c$. This makes it compatible with the higher DLA bias $b_{\rm DLA}\simeq 2$ measured previously from the cross-correlation of DLAs and the Lyman-$\alpha$ forest. We discuss the implications of the CIV absorber bias for the mass distribution of their host halos. More accurate determinations of $\bar \tau_c(z)$ and $\beta_c$ are necessary to obtain a more robust measurement of this CIV absorber bias.


title: On the positivity of the logarithmic cotangent bundle

abstract: The aim of this work is to construct examples of pairs whose logarithmic cotangent bundles have strong positivity properties. These examples are constructed from any smooth n-dimensional complex projective varieties by considering the sum of at least n general sufficiently ample hypersurfaces.


title: Improved Inception-Residual Convolutional Neural Network for Object Recognition

abstract: Machine learning and computer vision have driven many of the greatest advances in the modeling of Deep Convolutional Neural Networks (DCNNs). Nowadays, most of the research has been focused on improving recognition accuracy with better DCNN models and learning approaches. The recurrent convolutional approach is not applied very much, other than in a few DCNN architectures. On the other hand, Inception-v4 and Residual networks have promptly become popular among computer the vision community. In this paper, we introduce a new DCNN model called the Inception Recurrent Residual Convolutional Neural Network (IRRCNN), which utilizes the power of the Recurrent Convolutional Neural Network (RCNN), the Inception network, and the Residual network. This approach improves the recognition accuracy of the Inception-residual network with same number of network parameters. In addition, this proposed architecture generalizes the Inception network, the RCNN, and the Residual network with significantly improved training accuracy. We have empirically evaluated the performance of the IRRCNN model on different benchmarks including CIFAR-10, CIFAR-100, TinyImageNet-200, and CU3D-100. The experimental results show higher recognition accuracy against most of the popular DCNN models including the RCNN. We have also investigated the performance of the IRRCNN approach against the Equivalent Inception Network (EIN) and the Equivalent Inception Residual Network (EIRN) counterpart on the CIFAR-100 dataset. We report around 4.53%, 4.49% and 3.56% improvement in classification accuracy compared with the RCNN, EIN, and EIRN on the CIFAR-100 dataset respectively. Furthermore, the experiment has been conducted on the TinyImageNet-200 and CU3D-100 datasets where the IRRCNN provides better testing accuracy compared to the Inception Recurrent CNN (IRCNN), the EIN, and the EIRN.


title: The Heavy Quark Form Factors at Two Loops

abstract: We compute the two-loop QCD corrections to the heavy quark form factors in case of the vector, axial-vector, scalar and pseudo-scalar currents up to second order in the dimensional parameter $\epsilon = (4-D)/2$. These terms are required in the renormalization of the higher order corrections to these form factors.