title: Networked Microgrids for Improving Economics and Resiliency

abstract: In this paper, we propose networked microgrids to facilitate the integration of variable renewable generation and improve the economics and resiliency of electricity supply in microgrids. A new concept, probability of successful islanding (PSI) is used to quantify the islanding capability of a microgrid considering the uncertainty of renewable energy resources and load as well as exchanged power at PCC. With the goal of minimizing the total operating cost while preserving user specified PSI, a chance-constrained optimization problem is formulated for the optimal scheduling of both individual microgrid and networked microgrids. Numerical simulation results show significant saving in electricity cost can be achieved by proposed networked microgrids without compromising the resiliency. The impact of correlation coefficients among the renewable generation and load of adjacent microgrids has been studied as well.


title: Triangular Architecture for Rare Language Translation

abstract: Neural Machine Translation (NMT) performs poor on the low-resource language pair $(X,Z)$, especially when $Z$ is a rare language. By introducing another rich language $Y$, we propose a novel triangular training architecture (TA-NMT) to leverage bilingual data $(Y,Z)$ (may be small) and $(X,Y)$ (can be rich) to improve the translation performance of low-resource pairs. In this triangular architecture, $Z$ is taken as the intermediate latent variable, and translation models of $Z$ are jointly optimized with a unified bidirectional EM algorithm under the goal of maximizing the translation likelihood of $(X,Y)$. Empirical results demonstrate that our method significantly improves the translation quality of rare languages on MultiUN and IWSLT2012 datasets, and achieves even better performance combining back-translation methods.


title: What Current Flows Through a Resistor?

abstract: Our digital technology depends on mathematics to compute current flow and design its devices. Mathematics describes current flow by an idealization, Kirchhoff's current law. All the electrons that flow into a node flow out. This idealization describes real circuits only when stray capacitances are included in the circuit design. Motivated by Maxwell's equations, we propose that current in Kirchhoff's law be defined as \[{\varepsilon }_{\mathrm{0\ \ }}\frac{\mathrm{\partial }\boldsymbol{\mathrm{E}}}{\mathrm{\partial }t}\ \mathrm{+}\mathrm{\ }\mathrm{\ }\widetilde{\boldsymbol{\mathrm{J}}},\] the sum of (1) displacement current (2) the flux of charge associated with mass. The flux of charge associated with mass $\widetilde{\boldsymbol{\mathrm{J}}}$ includes, for example, the polarization of dielectrics as well as the movement of electrons. Kirchhoff's law becomes exact and universal when current is defined this way. This current is the source of the magnetic field; it is the source of $\boldsymbol{\mathrm{curl}}\boldsymbol{\mathrm{\ }}\boldsymbol{\mathrm{B}}$ in Maxwell's equations. Kirchoff's laws and Maxwell's equations can use the same definition of current.


title: Optimal Allocation of Series FACTS Devices Under High Penetration of Wind Power Within a Market Environment

abstract: Series FACTS devices are one of the key enablers for very high penetration of renewables due to their capabilities in continuously controlling power flows on transmission lines. This paper proposes a bilevel optimization model to optimally locate variable series reactor (VSR) and phase shifting transformer (PST) in the transmission network considering high penetration of wind power. The upper level problem seeks to minimize the \textcolor{black}{investment cost} on series FACTS, the cost of wind power curtailment and possible load shedding. The lower level problems capture the market clearing under different operating scenarios. Due to the poor scalability of $B\theta$ formulation, the \textsl{shift factor} structure of FACTS allocation is derived. A customized reformulation and decomposition algorithm is designed and implemented to solve the proposed bilevel model with binary variables in both upper and lower levels. Detailed numerical results based on 118-bus system demonstrate the efficient performance of the proposed planning model and the important role of series FACTS for facilitating the integration of wind power.


title: An Overview of Science Results Obtained From Kodaikanal Digitized White-Light Data Archive: 1921-2011

abstract: In this proceeding, we present a summary of the recent scientific results that have been derived using the newly digitized whit-light (WL) data obtained from the Kodaikanal Solar Observatory.


title: Reply to the claim by van Dokkum et al. for a galaxy not containing dark matter

abstract: The following is a short comment on the recent claim made by van Dokkum and collaborators about the existence of a low surface brightness galaxy, NGC1052-DF2, not containing dark matter. A discovery used by the authors to both reject proposals of a failure of Newtonian dynamics in the low acceleration regime (e.g., MOND), and prove the dark matter hypothesis is correct. It is shown here that the claim in untenable.


title: Computation of the general relativistic perihelion precession and of light deflection via the Laplace-Adomian Decomposition Method

abstract: We study the equations of motion of the massive and massless particles in the Schwarzschild geometry of general relativity by using the Laplace-Adomian Decomposition Method, which proved to be extremely successful in obtaining series solutions to a wide range of strongly nonlinear differential and integral equations. After introducing a general formalism for the derivation of the equations of motion in arbitrary spherically symmetric static geometries, and of the general mathematical formalism of the Laplace-Adomian Decomposition Method, we obtain the series solution of the geodesics equation in the Schwarzschild geometry. The truncated series solution, containing only five terms, can reproduce the exact numerical solution with a high precision. In the first order of approximation we reobtain the standard expression for the perihelion precession. We study in detail the bending angle of light by compact objects in several orders of approximation. The extension of this approach to more general geometries than the Schwarzschild one is also briefly discussed.


title: Fast and Scalable Group Mutual Exclusion

abstract: The group mutual exclusion (GME) problem is a generalization of the classical mutual exclusion problem in which every critical section is associated with a type or session. Critical sections belonging to the same session can execute concurrently, whereas critical sections belonging to different sessions must be executed serially. The well-known read-write mutual exclusion problem is a special case of the group mutual exclusion problem. In this work, we present a novel GME algorithm for an asynchronous shared-memory system that, in addition to satisfying lockout freedom, bounded exit and concurrent entering properties, has O(1) step-complexity when the system contains no conflicting requests as well as O(1) space-complexity per GME object when the system contains sufficient number of GME objects. To the best of our knowledge, no existing GME algorithm has O(1) step-complexity for concurrent entering. Moreover, most existing GME algorithms have {\Omega}(n) space complexity per GME object, where n denotes the number of processes in the system. We also show that our GME algorithm can be easily modified to use bounded space variables.


title: Closed-form expression for finite predictor coefficients of multivariate ARMA processes

abstract: We derive a closed-form expression for the finite predictor coefficients of multivariate ARMA (autoregressive moving-average) processes. The expression is given in terms of several explicit matrices that are of fixed sizes independent of the number of observations. The significance of the expression is that it provides us with a linear-time algorithm to compute the finite predictor coefficients. In the proof of the expression, a correspondence result between two relevant matrix-valued outer functions plays a key role. We apply the expression to determine the asymptotic behavior of a sum that appears in the autoregressive model fitting and the autoregressive sieve bootstrap. The results are new even for univariate ARMA processes.


title: Long-term variability of the solar cycle in the Babcock-Leighton dynamo framework

abstract: We explore the cause of the solar cycle variabilities using a novel 3D Babcock--Leighton dynamo model. In this model, based on the toroidal flux at the base of the convection zone, bipolar magnetic regions (BMRs) are produced with statistical properties obtained from observed distributions. We find that a little quenching in BMR tilt is sufficient to stabilize the dynamo growth. The randomness and nonlinearity in the BMR emergences make the poloidal field unequal and cause some variability in the solar cycle. However, when observed scatter of BMR tilts around Joy's law with a standard deviation of $15^\circ$, is considered, our model produces a variation in the solar cycle, including north-south asymmetry comparable to the observations. The morphology of magnetic fields closely resembles observations, in particular the surface radial field possesses a more mixed polarity field. Observed scatter also produces grand minima. In 11,650 years of simulation, 17 grand minima are detected and $11\%$ of its time the model remained in these grand minima. When we double the tilt scatter, the model produces correct statistics of grand minima. Importantly, the dynamo continues even during grand minima with only a few BMRs, without requiring any additional alpha effect. The reason for this is the downward magnetic pumping which suppresses the diffusion of the magnetic flux across the surface. The magnetic pumping also helps to achieve 11-year magnetic cycle using the observed BMR flux distribution, even at the high diffusivity.


title: Tur\'an-Er\H{o}d type converse Markov inequalities on general convex domains of the plane in $\boldsymbol{L^q}$

abstract: In 1939 P. Tur\'an started to derive lower estimations on the norm of the derivatives of polynomials of (maximum) norm 1 on $I:=[-1,1]$ (interval) and $D:=\{z\in\mathbb{C}~:~|z|\le 1\}$ (disk), under the normalization condition that the zeroes of the polynomial in question all lie in $I$ or $D$, respectively. For the maximum norm he found that with $n:=\mathop{\mathrm{deg}} p$ tending to infinity, the precise growth order of the minimal possible derivative norm is $\sqrt{n}$ for $I$ and $n$ for $D$. J. Er\H{o}d continued the work of Tur\'an considering other domains. Finally, a decade ago the growth of the minimal possible $\infty$-norm of the derivative was proved to be of order $n$ for all compact convex domains. Although Tur\'an himself gave comments about the above oscillation question in $L^q$ norms, till recently results were known only for $D$ and $I$. Recently, we have found order $n$ lower estimations for several general classes of compact convex domains, and conjectured that even for arbitrary convex domains the growth order of this quantity should be $n$. Now we prove that in $L^q$ norm the oscillation order is at least $n/\log n$ for all compact convex domains.


title: The geometry of ${\cal N}=3$ AdS$_4$ in massive IIA

abstract: The geometry of the ${\cal N} = 3$, SO(4)--invariant, AdS$_4$ solution of massive type IIA supergravity that uplifts from the ${\cal N} = 3 $ vacuum of $D=4$ ${\cal N} = 8$ dyonic ISO(7) supergravity is investigated. Firstly, a $D=4$, SO(4)--invariant restricted duality hierarchy is constructed and used to uplift the entire, dynamical SO(4)--invariant sector to massive type IIA. The resulting consistent uplift formulae are used to obtain a new local expression for the ${\cal N} = 3 $ AdS$_4$ solution in massive IIA and analyse its geometry. Locally, the internal $S^6$ geometry corresponds to a warped fibration of $S^2$ and a hemisphere of $S^4$. This can be regarded as a warped generalisation of the usual twistor fibration geometry. Finally, the triplet of Killing spinors corresponding to the ${\cal N}=3$ solution are constructed and shown to obey the massive type IIA Killing spinor equations.


title: Linear gradient structures and discrete gradient methods for conservative/dissipative differential-algebraic equations

abstract: In this paper, we consider the use of discrete gradients for differential-algebraic equations (DAEs) with a conservation/dissipation law. As one of the most popular numerical methods for conservative/dissipative ordinary differential equations, the framework of discrete gradient methods has been intensively developed over recent decades. Although discrete gradients have been applied to several specific conservative/dissipative DAEs, no unified framework for DAEs has yet been constructed. In this paper, we move toward the establishment of such a framework, and introduce concepts including an appropriate linear gradient structure for DAEs. Then, we reveal that the simple use of discrete gradients does not imply the discrete conservation/dissipation laws. Fortunately, however, we can successfully construct a new discrete gradient method for the case of index-1 DAEs. We believe this first attempt provides an indispensable basis for constructing a unified framework of discrete gradient methods for DAEs.


title: Deep Learning in Software Engineering

abstract: Recent years, deep learning is increasingly prevalent in the field of Software Engineering (SE). However, many open issues still remain to be investigated. How do researchers integrate deep learning into SE problems? Which SE phases are facilitated by deep learning? Do practitioners benefit from deep learning? The answers help practitioners and researchers develop practical deep learning models for SE tasks. To answer these questions, we conduct a bibliography analysis on 98 research papers in SE that use deep learning techniques. We find that 41 SE tasks in all SE phases have been facilitated by deep learning integrated solutions. In which, 84.7% papers only use standard deep learning models and their variants to solve SE problems. The practicability becomes a concern in utilizing deep learning techniques. How to improve the effectiveness, efficiency, understandability, and testability of deep learning based solutions may attract more SE researchers in the future.


title: Pendulum Leptogenesis

abstract: We propose a new non-thermal Leptogenesis mechanism that takes place during the reheating epoch, and utilizes the Ratchet mechanism. The interplay between the oscillation of the inflaton during reheating and a scalar lepton leads to a dynamical system that emulates the well-known forced pendulum. This is found to produce driven motion in the phase of the scalar lepton which leads to the generation of a non-zero lepton number density that is later redistributed to baryon number via sphaleron processes. This model successfully reproduces the observed baryon asymmetry, while simultaneously providing an origin for neutrino masses via the seesaw mechanism.


title: An attention-based Bi-GRU-CapsNet model for hypernymy detection between compound entities

abstract: Named entities are usually composable and extensible. Typical examples are names of symptoms and diseases in medical areas. To distinguish these entities from general entities, we name them \textit{compound entities}. In this paper, we present an attention-based Bi-GRU-CapsNet model to detect hypernymy relationship between compound entities. Our model consists of several important components. To avoid the out-of-vocabulary problem, English words or Chinese characters in compound entities are fed into the bidirectional gated recurrent units. An attention mechanism is designed to focus on the differences between the two compound entities. Since there are some different cases in hypernymy relationship between compound entities, capsule network is finally employed to decide whether the hypernymy relationship exists or not. Experimental results demonstrate


title: Enhanced Signal Recovery via Sparsity Inducing Image Priors

abstract: Parsimony in signal representation is a topic of active research. Sparse signal processing and representation is the outcome of this line of research which has many applications in information processing and has shown significant improvement in real-world applications such as recovery, classification, clustering, super resolution, etc. This vast influence of sparse signal processing in real-world problems raises a significant need in developing novel sparse signal representation algorithms to obtain more robust systems. In such algorithms, a few open challenges remain in (a) efficiently posing sparsity on signals that can capture the structure of underlying signal and (b) the design of tractable algorithms that can recover signals under aforementioned sparse models.


title: Spatial Uncertainty Sampling for End-to-End Control

abstract: End-to-end trained neural networks (NNs) are a compelling approach to autonomous vehicle control because of their ability to learn complex tasks without manual engineering of rule-based decisions. However, challenging road conditions, ambiguous navigation situations, and safety considerations require reliable uncertainty estimation for the eventual adoption of full-scale autonomous vehicles. Bayesian deep learning approaches provide a way to estimate uncertainty by approximating the posterior distribution of weights given a set of training data. Dropout training in deep NNs approximates Bayesian inference in a deep Gaussian process and can thus be used to estimate model uncertainty. In this paper, we propose a Bayesian NN for end-to-end control that estimates uncertainty by exploiting feature map correlation during training. This approach achieves improved model fits, as well as tighter uncertainty estimates, than traditional element-wise dropout. We evaluate our algorithms on a challenging dataset collected over many different road types, times of day, and weather conditions, and demonstrate how uncertainties can be used in conjunction with a human controller in a parallel autonomous setting.


title: Hybrid Dark Matter

abstract: Dark matter can be produced in the early universe via the freeze-in or freeze-out mechanisms. Both scenarios were investigated in references, but the production of dark matters via the combination of these two mechanisms are not addressed. In this paper we propose a hybrid dark matter model where dark matters have two components with one component produced thermally and the other one produced non-thermally. We present for the first time the analytical calculation for the relic abundance of the Higgs portal hybrid dark matter, then we investigate constraints on the parameter space of the model from dark matter direct and indirect detection experiments.


title: Formation of Large Scale Coronal Loops Interconnecting Two Active Regions Through Gradual Magnetic Reconnection and Associated Heating Process

abstract: Coronal loops interconnecting two active regions, called as interconnecting loops (ILs), are prominent large-scale structures in the solar atmosphere. They carry a significant amount of magnetic flux, therefore are considered to be an important element of the solar dynamo process. Earlier observations show that eruptions of ILs are an important source of CMEs. It is generally believed that ILs are formed through magnetic reconnection in the high corona (>150-200"), and several scenarios have been proposed to explain their brightening in soft X-rays (SXRs). Yet, the detailed IL formation process has not been fully explored and the associated energy release in the corona still remains unresolved. Here we report the complete formation process of a set of ILs connecting two nearby active regions, with successive observations by STEREO-A on the far side of the Sun and SDO and Hinode on the Earth side. We conclude that ILs are formed by gradual reconnection high in the corona, in line with earlier postulations. In addition, we show evidence supporting that ILs become brightened in SXRs and EUVs through heating at or close to the reconnection site in the corona (i.e., through direct heating process of reconnection), a process that has been largely overlooked in earlier studies on ILs


title: Exact size counting in uniform population protocols in nearly logarithmic time

abstract: We study population protocols: networks of anonymous agents that interact under a scheduler that picks pairs of agents uniformly at random. The _size counting problem_ is that of calculating the exact number $n$ of agents in the population, assuming no leader (each agent starts in the same state). We give the first protocol that solves this problem in sublinear time. The protocol converges in $O(\log n \log \log n)$ time and uses $O(n^{60})$ states ($O(1) + 60 \log n$ bits of memory per agent) with probability $1-O(\frac{\log \log n}{n})$. The time complexity is also $O(\log n \log \log n)$ in expectation. The time to converge is also $O(\log n \log \log n)$ in expectation. Crucially, unlike most published protocols with $\omega(1)$ states, our protocol is _uniform_: it uses the same transition algorithm for any population size, so does not need an estimate of the population size to be embedded into the algorithm. A sub-protocol is the first uniform sublinear-time leader election population protocol, taking $O(\log n \log \log n)$ time and $O(n^{18})$ states. The state complexity of both the counting and leader election protocols can be reduced to $O(n^{30})$ and $O(n^{9})$ respectively, while increasing the time to $O(\log^2 n)$.


title: Hierarchical Neural Story Generation

abstract: We explore story generation: creative systems that can build coherent and fluent passages of text about a topic. We collect a large dataset of 300K human-written stories paired with writing prompts from an online forum. Our dataset enables hierarchical story generation, where the model first generates a premise, and then transforms it into a passage of text. We gain further improvements with a novel form of model fusion that improves the relevance of the story to the prompt, and adding a new gated multi-scale self-attention mechanism to model long-range context. Experiments show large improvements over strong baselines on both automated and human evaluations. Human judges prefer stories generated by our approach to those from a strong non-hierarchical model by a factor of two to one.


title: Approximations of Mappings

abstract: We consider mappings, which are structure consisting of a single function (and possibly some number of unary relations) and address the problem of approximating a continuous mapping by a finite mapping. This problem is the inverse problem of the construction of a continuous limit for first-order convergent sequences of finite mappings. We solve the approximation problem and, consequently, the full characterization of limit objects for mappings for first-order (i.e. ${\rm FO}$) convergence and local (i.e. ${\rm FO}^{\rm local}$) convergence. This work can be seen both as a first step in the resolution of inverse problems (like Aldous-Lyons conjecture) and a strengthening of the classical decidability result for finite satisfiability in Rabin class (which consists of first-order logic with equality, one unary function, and an arbitrary number of monadic predicates). The proof involves model theory and analytic techniques.


title: Relating the structure factors of two-dimensional materials in planar and spherical geometries

abstract: Scattering structure factors provide essential insight into material properties and are routinely obtained in experiments, computer simulations, and theoretical analyses. Different approaches favor different geometries of the material. In case of lipid bilayers, scattering experiments can be performed on spherical vesicles, while simulations and theory often consider planar membrane patches. We derive an approximate relationship between the structure functions of such a material in planar and spherical geometries. We illustrate the usefulness of this relationship in a case study of a Gaussian material that supports both homogeneous and microemulsion phases. Within its range of applicability, this relationship enables a model-free comparison of structure factors of the same material in different geometries.


title: Building Language Models for Text with Named Entities

abstract: Text in many domains involves a significant amount of named entities. Predict- ing the entity names is often challenging for a language model as they appear less frequent on the training corpus. In this paper, we propose a novel and effective approach to building a discriminative language model which can learn the entity names by leveraging their entity type information. We also introduce two benchmark datasets based on recipes and Java programming codes, on which we evalu- ate the proposed model. Experimental re- sults show that our model achieves 52.2% better perplexity in recipe generation and 22.06% on code generation than the state-of-the-art language models.


title: Video Processing on the Edge for Multimedia IoT Systems

abstract: In this article, we first survey the current situation of video processing on the edge for multimedia Internet-of-Things (M-IoT) systems in three typical scenarios, i.e., smart cities, satellite networks, and Internet-of-Vehicles. By summarizing a general model of the edge video processing, the importance of developing an edge computing platform is highlighted. Then, we give a method of implementing cooperative video processing on an edge computing platform based on light-weighted virtualization technologies. Performance evaluation is conducted and some insightful observations can be obtained. Moreover, we summarize challenges and opportunities of realizing effective edge video processing for M-IoT systems.


title: Deterministic Blind Radio Networks

abstract: Ad-hoc radio networks and multiple access channels are classical and well-studied models of distributed systems, with a large body of literature on deterministic algorithms for fundamental communications primitives such as broadcasting and wake-up. However, almost all of these algorithms assume knowledge of the number of participating nodes and the range of possible IDs, and often make the further assumption that the latter is linear in the former. These are very strong assumptions for models which were designed to capture networks of weak devices organized in an ad-hoc manner. It was believed that without this knowledge, deterministic algorithms must necessarily be much less efficient. In this paper we address this fundamental question and show that this is not the case. We present \emph{deterministic} algorithms for \emph{blind} networks (in which nodes know only their own IDs), which match or nearly match the running times of the fastest algorithms which assume network knowledge (and even surpass the previous fastest algorithms which assume parameter knowledge but not small labels). Specifically, in multiple access channels with $k$ participating nodes and IDs up to $L$, we give a wake-up algorithm requiring $O(\frac{k\log L \log k }{\log\log k})$ time, improving dramatically over the $O(L^3 \log^3 L)$ time algorithm of De Marco et al. (2007), and a broadcasting algorithm requiring \sloppy{$O(k\log L \log\log k)$ }time, improving over the $O(L)$ time algorithm of Gasieniec et al. (2001) in most circumstances. Furthermore, we show how these same algorithms apply directly to multi-hop radio networks, achieving even larger running time improvements.


title: Continuum limits of homogeneous binary trees and the Thompson group

abstract: Tree tensor network descriptions of critical quantum spin chains are empirically known to reproduce correlation functions matching CFT predictions in the continuum limit. It is natural to seek a more complete correspondence, additionally incorporating dynamics. On the CFT side, this is determined by a representation of the diffeomorphism group of the circle. In a remarkable series of papers, Jones outlined a research program where the Thompson group T takes the role of the latter in the discrete setting, and representations of T are constructed from certain elements of a subfactor planar algebra. He also showed that for a particular example of such a construction, this approach only yields - in the continuum limit - a representation which is highly discontinuous and hence unphysical. Here we show that the same issue arises generically when considering tree tensor networks: the set of coarse-graining maps yielding discontinuous representations has full measure in the set of all isometries. This extends Jones' no-go example to typical elements of the so-called tensor planar algebra. We also identify an easily verified necessary condition for a continuous limit to exist. This singles out a particular class of tree tensor networks. Our considerations apply to recent approaches for introducing dynamics in holographic codes.


title: An Almost Tight RMR Lower Bound for Abortable Test-And-Set

abstract: We prove a lower bound of Omega(log n/loglog n) for the remote memory reference (RMR) complexity of abortable test-and-set (leader election) in the cache-coherent (CC) and the distributed shared memory (DSM) model. This separates the complexities of abortable and non-abortable test-and-set, as the latter has constant RMR complexity (Golab, Hendler, Woelfel, SIAM Journal of Computing Vol. 39, 2010). Golab, Hendler, Hadzilacos and Woelfel (Distributed Computing Vol. 25, 2012) showed that compare-and-swap can be implemented from registers and TAS objects with constant RMR complexity. We observe that a small modification to that implementation is abortable, provided that the used TAS objects are abortable.


title: On Wolf's regularity criterion of suitable weak solutions to the Navier-Stokes equations

abstract: In this paper, we consider the local regularity of suitable weak solutions to the 3D incompressible Navier-Stokes equations. By means of the local pressure projection introduced by Wolf in [15,16], we present a $\varepsilon$-regularity criterion below of suitable weak solutions $$ \iint_{Q(1)}|u|^{20/7}dxdt\leq \varepsilon, $$ which gives an improvement of previous corresponding results obtained in Chae and Wolf [3, Arch. Ration. Mech. Anal., 225: 549-572, 2017], in Guevara and Phuc [6, Calc. Var., 56:68, 2017] and in Wolf [16, Ann. Univ. Ferrara, 61: 149-171, 2015].


title: Randomized Communication Without Network Knowledge

abstract: Radio networks are a long-studied model for distributed system of devices which communicate wirelessly. When these devices are mobile or have limited capabilities, the system is often best modeled by the ad-hoc variant, in which the devices do not know the structure of the network. A large body of work has been devoted to designing algorithms for the ad-hoc model, particularly for fundamental communications tasks such as broadcasting. Most of these algorithms, however, assume that devices have some network knowledge (usually bounds on the number of nodes in the network $n$, and the diameter $D$), which may not always be realistic in systems with weak devices or gradual deployment. Very little is known about what can be done when this information is not available. This is the issue we address in this work, by presenting the first \emph{randomized} broadcasting algorithms for \emph{blind} networks in which nodes have no prior knowledge whatsoever. We demonstrate that lack of parameter knowledge can be overcome at only a small increase in running time. Specifically, we show that in networks without collision detection, broadcast can be achieved in $O(D\log\frac nD\log^2\log\frac nD + \log^2 n)$ time, almost reaching the $\Omega(D\log\frac nD + \log^2 n)$ lower bound. We also give an algorithm for directed networks with collision detection, which requires only $O(D\log\frac nD\log\log\log\frac nD + \log^2 n)$ time.


title: Learning to Ask Questions in Open-domain Conversational Systems with Typed Decoders

abstract: Asking good questions in large-scale, open-domain conversational systems is quite significant yet rather untouched. This task, substantially different from traditional question generation, requires to question not only with various patterns but also on diverse and relevant topics. We observe that a good question is a natural composition of {\it interrogatives}, {\it topic words}, and {\it ordinary words}. Interrogatives lexicalize the pattern of questioning, topic words address the key information for topic transition in dialogue, and ordinary words play syntactical and grammatical roles in making a natural sentence. We devise two typed decoders (\textit{soft typed decoder} and \textit{hard typed decoder}) in which a type distribution over the three types is estimated and used to modulate the final generation distribution. Extensive experiments show that the typed decoders outperform state-of-the-art baselines and can generate more meaningful questions.


title: An interface-unfitted finite element method for elliptic interface optimal control problem

abstract: This paper develops and analyses numerical approximation for linear-quadratic optimal control problem governed by elliptic interface equations. We adopt variational discretization concept to discretize optimal control problem, and apply an interface-unfitted finite element method due to [A. Hansbo and P. Hansbo. An unfitted finite element method, based on Nitsche's method, for elliptic interface problems. Comput. Methods Appl. Mech. Engrg., 191(47-48): 5537-5552, 2002] to discretize corresponding state and adjoint equations, where piecewise cut basis functions around interface are enriched into standard conforming finite element space. Optimal error estimates in both $L^2$ norm and a mesh-dependent norm are derived for optimal state, co-state and control under different regularity assumptions. Numerical results verify the theoretical results.


title: Possible white dwarf progenitors of type Ia supernovae

abstract: We examine catalogs of white dwarfs (WDs) and find that there are sufficient number of massive WDs, M_WD > 1.35Mo, that might potentially explode as type Ia supernovae (SNe Ia) in the frame of the core degenerate scenario. In the core degenerate scenario a WD merges with the carbon-oxygen core of a giant star, and they form a massive WD that might explode with a time delay of years to billions of years. If the core degenerate scenario accounts for all SNe Ia, then we calculate that about 0.2 per cent of the present WDs in the Galaxy are massive. Furthermore, we find from the catalogs that the fraction of massive WDs relative to all WDs is about 1-3 per cent, with large uncertainties. Namely, five to ten times the required number. If there are many SNe Ia that result from lower mass WDs, M_WD < 1.3Mo, for which another scenario is responsible for, and the core degenerate scenario accounts only for the SNe Ia that explode as massive WDs, then the ratio of observed massive WDs to required is larger even. Our finding leaves the core degenerate scenario as a viable and promising SN Ia scenario.


title: The SL(1,D)-distinction problem

abstract: We use the local theta correspondences between the quaternionic Hermitian groups and the quaternionic skew-Hermitian groups to understand the distinction problem for the symmetric pair SL(2,E)/SL(1,D), where E is a quadratic field extension of a nonarchimedean local field extension F and D is a 4-dimensional division quaternion algebra over F


title: First global QCD analysis of charged hadron fragmentation functions and their uncertainties at next-to-next-to-leading order

abstract: In this paper, we present ${\tt SGK18}$ FFs, a first global QCD analysis of parton-to-{\it unidentified} charged hadrons fragmentation functions (FFs) at next-to-next-to-leading order (NNLO) accuracy in perturbative QCD. This analysis is based on single-inclusive charged hadron production in electron-positron ($e^-e^+$) annihilation. The uncertainties in the extraction of ${\tt SGK18}$ FFs as well as the corresponding observables are estimated using the "Hessian" technique. We study the quality of the {\tt SGK18} FFs determined in this analysis by comparing with the recent results in literature. We also show how {\tt SGK18} FFs results describe the available data for single-inclusive unidentified charged hadron production in $e^-e^+$ annihilation. We demonstrate that the theoretical uncertainties due to the variation of the renormalization and factorization scales improve when NNLO QCD corrections are considered. We find that the resulting {\tt SGK18} FFs are in good agreement with all data analyzed and the inclusion of NNLO corrections tends to improve the data description with somewhat smaller uncertainty.


title: Energy accumulation mechanism in pulsar magnetospheric plasma eigen-waves and formation of Giant Radio Pulses

abstract: In the present work we consider energy accumulation mechanism in relativistic electron-positron plasma in the magnetosphere of pulsars. Waves propagating almost across the magnetic field lines are generated that accumulate the energy of plasma particles, as the waves stay significantly long in the resonance region. The accumulated energy is transmitted in the parallel direction of the magnetic field lines as soon as the non-linear plasma processes start to operate. It is suggested that exit of the accumulated energy via waves propagating along the magnetic field lines matching the viewing angle of the observer produces giant pulses. It is shown that these waves come in the radio domain, explaining the Giant Radio Pulse phenomenon.


title: Testbeam studies of a TORCH prototype detector

abstract: TORCH is a novel time-of-flight detector that has been developed to provide charged-particle identification between 2 and 10 GeV/c momentum. TORCH combines arrival times from multiple Cherenkov photons produced within a 10 mm-thick quartz radiator plate, to achieve a 15 ps time-of-flight resolution per incident particle. A customised Micro-Channel Plate photomultiplier tube (MCP-PMT) and associated readout system utilises an innovative charge-sharing technique between adjacent pixels to obtain the necessary 70 ps time resolution of each Cherenkov photon. A five-year R\&D programme has been undertaken, culminating in the construction of a small-scale prototype TORCH module. In testbeams at CERN, this prototype operated successfully with customised electronics and readout system. A full analysis chain has been developed to reconstruct the data and to calibrate the detector. Results are compared to those using a commercial Planacon MCP-PMT, and single photon resolutions approaching 80 ps have been achieved. The photon counting efficiency was found to be in reasonable agreement with a GEANT4 Monte Carlo simulation of the detector. The small-scale demonstrator is a precursor to a full-scale TORCH module (with a radiator plate of $660\times1250\times10~{\rm mm^3}$), which is currently under construction.


title: Shattered Trust: When Replacement Smartphone Components Attack

abstract: Phone touchscreens, and other similar hardware components such as orientation sensors, wireless charging controllers, and NFC readers, are often produced by third-party manufacturers and not by the phone vendors themselves. Third-party driver source code to support these components is integrated into the vendor's source code. In contrast to 'pluggable' drivers, such as USB or network drivers, the component driver's source code implicitly assumes that the component hardware is authentic and trustworthy. As a result of this trust, very few integrity checks are performed on the communications between the component and the device's main processor. In this paper, we call this trust into question, considering the fact that touchscreens are often shattered and then replaced with aftermarket components of questionable origin. We analyze the operation of a commonly used touchscreen controller. We construct two standalone attacks, based on malicious touchscreen hardware, that function as building blocks toward a full attack: a series of touch injection attacks that allow the touchscreen to impersonate the user and exfiltrate data, and a buffer overflow attack that lets the attacker execute privileged operations. Combining the two building blocks, we present and evaluate a series of end-to-end attacks that can severely compromise a stock Android phone with standard firmware. Our results make the case for a hardware-based physical countermeasure.


title: Evolution of individual quantum Hall edge states in the presence of disorder

abstract: Employing the Bloch eigenmode matching approach, we numerically study the evolution of individual quantum Hall edge states with respect to disorder. As shown by the two-parameter renormalization group flow of the Hall and Thouless conductances, quantum Hall edge states with high Chern number n are completely different from that of n=1 case. Two categories of individual edge modes are evaluated in a quantum Hall system with high Chern number. Edge states from the lowest Landau level have similar eigenfunctions which are well localized at the system edge and independent of the Fermi energy. On the other hand, at fixed Fermi energy, the edge state from higher Landau levels has larger expansion, which leads to less stable quantum Hall states at high Fermi energies. By presenting the local current density distribution, the influence of disorder on eigenmode-resolved edge states is vividly demonstrated.


title: Hypersequents and Systems of Rules: Embeddings and Applications

abstract: We define a bi-directional embedding between hypersequent calculi and a subclass of systems of rules (2-systems). In addition to showing that the two proof frameworks have the same expressive power, the embedding allows for the recovery of the benefits of locality for 2-systems, analyticity results for a large class of such systems, and a rewriting of hypersequent rules as natural deduction rules.


title: Vertical square functions and other operators associated with an elliptic operator

abstract: We study the vertical and conical square functions defined via elliptic operators in divergence form. In general, vertical and conical square functions are equivalent operators just in $L^2$. But when this square functions are defined through the heat or Poisson semigroup that arise from an elliptic operator, we are able to find open intervals containing $2$ where the equivalence holds. The intervals in question depend ultimately on the range where the semigroup is uniformly bounded or has off-diagonal estimates. As a consequence we obtain new boundedness results for some square functions. Besides, we consider a non-tangential maximal function associated with the Poisson semigroup and extend the known range where that operator is bounded. Our methods are based on the use of extrapolation for Muckenhoupt weights and change of angle estimates. All our results are obtained in the general setting of a degenerate elliptic operator, where the degeneracy is given by an $A_2$ weight, in weighted Lebesgue spaces. Of course they are valid in the unweighted and/or non-degenerate situations, which can be seen as special cases, and provide new results even in those particular settings. We also consider the square root of a degenerate elliptic operator in divergence form $L_w$ and improve the lower bound of the interval where this operator is known to be bounded on $L^p(vdw)$. To finish we give unweighted boundedness results for the degenerate operators under consideration.


title: Astrometric and photometric accuracies in high contrast imaging: The SPHERE speckle calibration tool (SpeCal)

abstract: The consortium of the Spectro-Polarimetric High-contrast Exoplanet REsearch installed at the Very Large Telescope (SPHERE/VLT) has been operating its guaranteed observation time (260 nights over five years) since February 2015. The main part of this time (200 nights) is dedicated to the detection and characterization of young and giant exoplanets on wide orbits. The large amount of data must be uniformly processed so that accurate and homogeneous measurements of photometry and astrometry can be obtained for any source in the field. To complement the European Southern Observatory pipeline, the SPHERE consortium developed a dedicated piece of software to process the data. First, the software corrects for instrumental artifacts. Then, it uses the speckle calibration tool (SpeCal) to minimize the stellar light halo that prevents us from detecting faint sources like exoplanets or circumstellar disks. SpeCal is meant to extract the astrometry and photometry of detected point-like sources (exoplanets, brown dwarfs, or background sources). SpeCal was intensively tested to ensure the consistency of all reduced images (cADI, Loci, TLoci, PCA, and others) for any SPHERE observing strategy (ADI, SDI, ASDI as well as the accuracy of the astrometry and photometry of detected point-like sources. SpeCal is robust, user friendly, and efficient at detecting and characterizing point-like sources in high contrast images. It is used to process all SPHERE data systematically, and its outputs have been used for most of the SPHERE consortium papers to date. SpeCal is also a useful framework to compare different algorithms using various sets of data (different observing modes and conditions). Finally, our tests show that the extracted astrometry and photometry are accurate and not biased.


title: Covariance Pooling For Facial Expression Recognition

abstract: Classifying facial expressions into different categories requires capturing regional distortions of facial landmarks. We believe that second-order statistics such as covariance is better able to capture such distortions in regional facial fea- tures. In this work, we explore the benefits of using a man- ifold network structure for covariance pooling to improve facial expression recognition. In particular, we first employ such kind of manifold networks in conjunction with tradi- tional convolutional networks for spatial pooling within in- dividual image feature maps in an end-to-end deep learning manner. By doing so, we are able to achieve a recognition accuracy of 58.14% on the validation set of Static Facial Expressions in the Wild (SFEW 2.0) and 87.0% on the vali- dation set of Real-World Affective Faces (RAF) Database. Both of these results are the best results we are aware of. Besides, we leverage covariance pooling to capture the tem- poral evolution of per-frame features for video-based facial expression recognition. Our reported results demonstrate the advantage of pooling image-set features temporally by stacking the designed manifold network of covariance pool-ing on top of convolutional network layers.


title: Comments on the adiabatic theorem

abstract: We consider the simplest example of a nonstationary quantum system which is quantum mechanical oscillator with varying frequency and $\lambda \phi^4$ self-interaction. We calculate loop corrections to the Keldysh, retarded/advanced propagators and vertices using Schwinger--Keldysh diagrammatic technique and show that there is no physical secular growth of the loop corrections in the cases of constant and adiabatically varying frequency. This fact corresponds to the well-known adiabatic theorem in quantum mechanics. However, in the case of non-adiabatically varying frequency we obtain strong IR corrections to the Keldysh propagator which come from the `sunset' diagrams, grow with time indefinetely and indicate energy pumping into the system. It reveals itself via the change in time of the level population and of the anomalous quantum average.


title: Stability of Energy Stable Flux Reconstruction for the Diffusion Problem using the Interior Penalty and Bassi and Rebay II Numerical Fluxes for Linear Triangular Elements

abstract: The flux reconstruction (FR) method has gained popularity within the research community. The approach has been demonstrated to recover high-order methods such as the discontinuous Galerkin (DG) method. Stability analyses have been conducted for a linear advection problem leading to the energy stable flux reconstruction (ESFR) methods also named Vincent-Castonguay-Jameson-Huynh (VCJH) methods. ESFR schemes can be viewed as DG schemes with modally filtered correction fields. Using this class of methods, the linear advection diffusion problem has been shown to be stable using the local discontinuous Galerkin scheme (LDG) to compute the viscous numerical flux. This stability proof has been extended for linear triangular and tetrahedra elements. Although the LDG scheme is commonly used, it requires, on particular meshes, a wide stencil, which raises the computational cost. As a consequence, many prefer the compact interior penalty (IP) or the Bassi and Rebay II (BR2) numerical fluxes. This article, for the first time, derives, for both schemes, a condition on the penalty term to ensure stability. Moreover the article establishes that for both the IP and BR2 numerical fluxes, the stability of the ESFR scheme is independent of the auxiliary correction field. A von Neumann analysis is conducted to study the maximal time step of various ESFR methods.


title: Superfluid density reduction and spin-imbalanced pairing in a fermionic superfluid due to dynamical boson exchange

abstract: We explore novel features of a nonrelativistic fermionic superfluid in which the pairing interaction includes a contribution from the exchange of a dynamical bosonic mode. We show that the dynamical boson exchange (DBE), which causes a retarded pairing interaction and thus violates the Galilean invariance of the fermion sector, generically leads to a quantum reduction of the superfluid density and hence a nonzero normal fraction even at zero temperature. For spin-singlet pairing, the DBE also leads to a nonvanishing spin susceptibility at zero temperature, providing a mechanism for the coexistence of pairing and magnetization. While these effects are negligible for weak pairing, they become sizable at strong pairing. For the double superfluidity in ultracold Fermi-Bose mixtures, the superfluid density reduction for the fermion sector induced by the DBE just gives rise to the Andreev-Bashkin drag effect, indicating a strong entrainment between the two superfluid components. The DBE may also provide a new source for the superfluid fraction reduction of neutron matter, which is crucial for models of neutron star glitches based on neutron superfluidity.


title: Motion transduction with thermo-mechanically squeezed graphene resonator modes

abstract: There is a recent surge of interest in amplification and detection of tiny motion in the growing field of opto and electro mechanics. Here, we demonstrate widely tunable, broad bandwidth and high gain all-mechanical motion amplifiers based on graphene/Silicon Nitride (SiNx) hybrids. In these devices, a tiny motion of a large-area SiNx membrane is transduced to a much larger motion in a graphene drum resonator coupled to SiNx. Furthermore, the thermal noise of graphene is reduced (squeezed) through parametric tension modulation. The parameters of the amplifier are measured by photothermally actuating SiNx and interferometrically detecting graphene displacement. We obtain displacement power gain of 38 dB and demonstrate 4.7 dB of squeezing resulting in a detection sensitivity of 3.8 fm per square root Hz, close to the thermal noise limit of SiNx.


title: Baryogenesis via Leptogenesis from Asymmetric Dark Matter and radiatively generated Neutrino mass

abstract: We propose an extension of the standard model (SM) by including a dark sector comprising of three generations of heavy right-handed neutrinos, a singlet scalar and a singlet Dirac fermion, where the latter two particles are stable and are viable candidates of dark matter (DM). In the early Universe, the CP-violating out-of-equilibrium decay of heavy right-handed neutrinos to singlet Dirac fermion and scalar in the dark sector generates a net DM asymmetry. The latter is then transported to the visible sector via a dimension eight operator which conserves $B-L$ symmetry and is in thermal equilibrium above the sphaleron decoupling temperature. An additional light singlet scalar is introduced which mixes with the SM Higgs and pave a path for annihilating the symmetric components of the DM candidates. Then we discuss the constraints on singlet-doublet Higgs mixing from invisible Higgs decay, signal strength at LHC and direct search of DM at terrestrial laboratories. At tree level the neutrinos are shown to be massless since the symmetry of dark sector forbids the interaction of right-handed neutrinos with the SM particles. However, at one loop level the neutrinos acquire sub-eV masses as required by the oscillation experiments.


title: On the throttling process of the Kerr-Newman-anti-de Sitter black holes in the extended phase space

abstract: The throttling process of the Kerr-Newman-anti-de Sitter (KN-AdS) black holes is systematically studied in the extended phase space. In this framework, the cosmological constant is interpreted as a varying thermodynamic pressure, and the black hole mass is identified with enthalpy. The throttling process is essentially an isenthalpic (i.e., constant-mass) process for the KN-AdS black holes. The Joule-Thomson coefficient, inversion temperature, inversion curve, and isenthalpic curve are investigated in order, with both analytical and numerical methods. It is found that there are no maximum inversion temperatures, but only minimum ones that are around one half of the critical temperatures of the KN-AdS black holes. Two characteristic masses are also discussed to show the detailed features in the throttling behaviors of the KN-AdS black holes.


title: Giant peak of the Inverse Faraday effect in the band gap of magnetophotonic crystal

abstract: Optical impact on the spin system in a magnetically ordered medium provides a unique possibility for local manipulation of magnetization at subpicosecond time scales that is very promising for magnetic data processing and other magnonics applications. One of the mechanisms of the optical manipulation is related to the inverse Faraday effect (IFE). Usually the IFE is observed in crystals and magnetic films on a substrate. Here we demonstrate the IFE induced by fs-laser pulses in the magnetic film inside the magnetophotonic crystal. Spectral dependence of the IFE on the laser pulse wavelength in the band gap of the magnetophotonic crystal has a sharp peak leading to a significant enhancement of the IFE. This phenomenon is explained by strong confinement of the electromagnetic energy and angular momentum within the magnetic film. Calculated near field distribution of the IFE effective magnetic field indicates its subwavelength localization within 30 nm along the film thickness. These excited volumes can be shifted along the sample depth via e.g. changing frequency of the laser pulses. The obtained results open a way for the new applications in the areas of ultrafast spintronics and quantum information processing.


title: A Global, Continuous, and Exponentially Convergent Observer for Gyro Bias and Attitude of a Rigid Body

abstract: We propose a 12-dimensional, global, continuous, and exponentially convergent observer for gyro bias and attitude of a rigid body. Any attitude observer developed on the special orthogonal group suffers from the topological restriction that prohibits global attractivity in continuous flow. In this paper, the observer is designed in the set of 3 by 3 real matrices, thus making the topological obstruction on the special orthogonal group irrelevant. The efficacy of the proposed approach against other attitude observers is illustrated by an indoor experiment utilizing visual landmarks.


title: SPAIDS and OAMS Models in Wireless Ad Hoc Networks

abstract: In this paper, we present two randomized distributed algorithms in wireless ad hoc networks. We consider that the network is structured into pairs of nodes (sender, receiver) in a decay space. We take into account the following: Each node has its own power assignment and the distance between them does not follow the symmetry property. Then, we consider a non-uniform network or a realistic wireless network, which is beyond the geometry. Our model is based on the Signal to Interference plus Noise Ratio (SINR) model. In this work, the main problem is to solve the scheduling task aiming the successful transmission of messages in a realistic environment. Therefore, we propose the first randomized scheduling and power selection algorithm in a decay space and is called as SPAIDS. In order to solve the problem in this non-uniform network, we introduce a new way to study the affectance (the interference) among the links, which is defined as Weighted Average Affectance (WAFF). Moreover, we study the online broadcast problem in a metric space, in which the nodes are activated in case that they receive packets. We propose an online algorithm in a metric space which is denoted as OAMS. Our aim is to obtain the maximum subset of nodes that receive the message from a sender node with enough energy supplies. Finally, we compare the performance of OAMS to the optimal.


title: Search for an exotic decay of the Higgs boson to a pair of light pseudoscalars in the final state of two muons and two $\tau$ leptons in proton-proton collisions at $\sqrt{s}=$ 13 TeV

abstract: A search for exotic Higgs boson decays to light pseudoscalars in the final state of two muons and two $\tau$ leptons is performed using proton-proton collision data recorded by the CMS experiment at the LHC at a center-of-mass energy of 13 TeV in 2016, corresponding to an integrated luminosity of 35.9 fb$^{-1}$. Masses of the pseudoscalar boson between 15.0 and 62.5 GeV are probed, and no significant excess of data is observed above the prediction of the standard model. Upper limits are set on the branching fraction of the Higgs boson to two light pseudoscalar bosons in different types of two-Higgs-doublet models extended with a complex scalar singlet.


title: Remarks on one-component inner functions

abstract: A one-component inner function $\Theta$ is an inner function whose level set $$\Omega_{\Theta}(\varepsilon)=\{z\in \mathbb{D}:|\Theta(z)|<\varepsilon\}$$ is connected for some $\varepsilon\in (0,1)$. We give a sufficient condition for a Blaschke product with zeros in a Stolz domain to be a one-component inner function. Moreover, a sufficient condition is obtained in the case of atomic singular inner functions. We study also derivatives of one-component inner functions in the Hardy and Bergman spaces. For instance, it is shown that, for $0<p<\infty$, the derivative of a one-component inner function $\Theta$ is a member of the Hardy space $H^p$ if and only if $\Theta''$ belongs to the Bergman space $A_{p-1}^p$, or equivalently $\Theta'\in A_{p-1}^{2p}$.


title: Strategy-Proof Incentives for Predictions

abstract: Our aim is to design mechanisms that motivate all agents to reveal their predictions truthfully and promptly. For myopic agents, proper scoring rules induce truthfulness. However, as has been described in the literature, when agents take into account long-term effects of their actions, deception and reticence may appear. No simple rules exist to distinguish between the truthful and the untruthful situations, and a determination has been done in isolated cases only. This is of relevance to prediction markets, where the market value is a common prediction, and more generally in informal public prediction forums, such as stock-market estimates by analysts. We describe three mechanisms that are strategy-proof with non-myopic considerations, and show that one of them meets all our requirements from a mechanism in almost all prediction settings. We formulate rules to distinguish truthful from untruthful settings, and use them to extensively classify prediction settings with continuous outcomes. We show how our proposed mechanism restores prompt truthfulness where incumbent mechanisms fail, and offer guidelines to implementing it in a prediction market.


title: Asymptotic properties of the Hitchin-Witten connection

abstract: We explore extensions to $\operatorname{SL}(n,\mathbb{C})$-Chern-Simons theory of some results obtained for $\operatorname{SU}(n)$-Chern-Simons theory via the asymptotic properties of the Hitchin connection and its relation to Toeplitz operators developed previously by the first named author. We define a formal Hitchin-Witten connection for the imaginary part $s$ of the quantum parameter $t = k+is$ and investigate the existence of a formal trivialisation. After reducing the problem to a recursive system of differential equations, we identify a cohomological obstruction to the existence of a solution. We explicitly find one for the first step, in the specific case of an operator of order $0$, and show in general the vanishing of a weakened version of the obstruction. We also find a solution of the whole recursion in the case of a surface of genus $1$.


title: Autoencoder as Assistant Supervisor: Improving Text Representation for Chinese Social Media Text Summarization

abstract: Most of the current abstractive text summarization models are based on the sequence-to-sequence model (Seq2Seq). The source content of social media is long and noisy, so it is difficult for Seq2Seq to learn an accurate semantic representation. Compared with the source content, the annotated summary is short and well written. Moreover, it shares the same meaning as the source content. In this work, we supervise the learning of the representation of the source content with that of the summary. In implementation, we regard a summary autoencoder as an assistant supervisor of Seq2Seq. Following previous work, we evaluate our model on a popular Chinese social media dataset. Experimental results show that our model achieves the state-of-the-art performances on the benchmark dataset.


title: Resonant $pp\to W^+ Zjj$ events at the LHC from a unitarized study of the EChL

abstract: We present a study of the production of vector resonances at the LHC via $W^+Z$ vector boson scattering and explore the sensitivities to these resonances for expected LHC luminosities. We work in the framework of the electroweak chiral Lagrangian, where these resonances can be generated dynamically by unitarizing the scattering amplitudes. We implement all these features into a model adapted for MonteCarlo, the IAM-MC, that allows us to give predictions for the sensitivity to these resonances and to the relevant parameters involved for $pp \to W^+Zjj$, $pp\to \ell_1^+\ell_1^-\ell_2^+\nu jj$, and $pp \to JJjj$.


title: Bag-of-Words as Target for Neural Machine Translation

abstract: A sentence can be translated into more than one correct sentences. However, most of the existing neural machine translation models only use one of the correct translations as the targets, and the other correct sentences are punished as the incorrect sentences in the training stage. Since most of the correct translations for one sentence share the similar bag-of-words, it is possible to distinguish the correct translations from the incorrect ones by the bag-of-words. In this paper, we propose an approach that uses both the sentences and the bag-of-words as targets in the training stage, in order to encourage the model to generate the potentially correct sentences that are not appeared in the training set. We evaluate our model on a Chinese-English translation dataset, and experiments show our model outperforms the strong baselines by the BLEU score of 4.55.


title: Kolmogorov-Sinai entropy and dissipation in driven classical Hamiltonian systems

abstract: A central concept in the connection between physics and information theory is entropy, which represents the amount of information extracted from the system by the observer performing measurements in an experiment. Indeed, Jaynes' principle of maximum entropy allows to establish the connection between entropy in statistical mechanics and information entropy. In this sense, the dissipated energy in a classical Hamiltonian process, known as the thermodynamic entropy production, is connected to the relative entropy between the forward and backward probability densities. Recently, it was revealed that energetic inefficiency and model inefficiency, defined as the difference in mutual information that the system state shares with the future and past environmental variables, are equivalent concepts in Markovian processes. As a consequence, the question about a possible connection between model unpredictability and energetic inefficiency in the framework of classical physics emerges. Here, we address this question by connecting the concepts of random behavior of a classical Hamiltonian system, the Kolmogorov-Sinai entropy, with its energetic inefficiency, the dissipated work. This approach allows us to provide meaningful interpretations of information concepts in terms of thermodynamic quantities.


title: Possible existence of a dibaryon candidate $N\Delta$ ($D_{21}$)

abstract: Inspired by the experimental report by WASA-at-COSY Collaboration, we investigate the possibile existence of the dibaryon candidate $N\Delta$ with quantum numbers $IJ^P=21^+$ ($D_{21}$). The dynamical calculation shows that we cannot obtain the bound $D_{21}$ state in the models which can obtain the experimental $d^{*}$. %although the $D_{21}$ state can bound in the range of parameters in quark models. The low-energy scattering phase shifts of the $N-\Delta$ scattering give the same conclusion. Besides, the mass calculation by using the Gursey-Radicati mass formula and the analysis of the matrix elements of the color magnetic interaction show that the mass of $D_{21}$ is larger than that of $D_{12}$ ($N\Delta$ with $IJ^P=12^+$), which indicate that it is less possible for the $D_{21}$ than the $D_{12}$ to form bound state.


title: GAN Q-learning

abstract: Distributional reinforcement learning (distributional RL) has seen empirical success in complex Markov Decision Processes (MDPs) in the setting of nonlinear function approximation. However, there are many different ways in which one can leverage the distributional approach to reinforcement learning. In this paper, we propose GAN Q-learning, a novel distributional RL method based on generative adversarial networks (GANs) and analyze its performance in simple tabular environments, as well as OpenAI Gym. We empirically show that our algorithm leverages the flexibility and blackbox approach of deep learning models while providing a viable alternative to traditional methods.


title: On-the-fly Table Generation

abstract: Many information needs revolve around entities, which would be better answered by summarizing results in a tabular format, rather than presenting them as a ranked list. Unlike previous work, which is limited to retrieving existing tables, we aim to answer queries by automatically compiling a table in response to a query. We introduce and address the task of on-the-fly table generation: given a query, generate a relational table that contains relevant entities (as rows) along with their key properties (as columns). This problem is decomposed into three specific subtasks: (i) core column entity ranking, (ii) schema determination, and (iii) value lookup. We employ a feature-based approach for entity ranking and schema determination, combining deep semantic features with task-specific signals. We further show that these two subtasks are not independent of each other and can assist each other in an iterative manner. For value lookup, we combine information from existing tables and a knowledge base. Using two sets of entity-oriented queries, we evaluate our approach both on the component level and on the end-to-end table generation task.


title: UnibucKernel Reloaded: First Place in Arabic Dialect Identification for the Second Year in a Row

abstract: We present a machine learning approach that ranked on the first place in the Arabic Dialect Identification (ADI) Closed Shared Tasks of the 2018 VarDial Evaluation Campaign. The proposed approach combines several kernels using multiple kernel learning. While most of our kernels are based on character p-grams (also known as n-grams) extracted from speech or phonetic transcripts, we also use a kernel based on dialectal embeddings generated from audio recordings by the organizers. In the learning stage, we independently employ Kernel Discriminant Analysis (KDA) and Kernel Ridge Regression (KRR). Preliminary experiments indicate that KRR provides better classification results. Our approach is shallow and simple, but the empirical results obtained in the 2018 ADI Closed Shared Task prove that it achieves the best performance. Furthermore, our top macro-F1 score (58.92%) is significantly better than the second best score (57.59%) in the 2018 ADI Shared Task, according to the statistical significance test performed by the organizers. Nevertheless, we obtain even better post-competition results (a macro-F1 score of 62.28%) using the audio embeddings released by the organizers after the competition. With a very similar approach (that did not include phonetic features), we also ranked first in the ADI Closed Shared Tasks of the 2017 VarDial Evaluation Campaign, surpassing the second best method by 4.62%. We therefore conclude that our multiple kernel learning method is the best approach to date for Arabic dialect identification.


title: Limits in Modified Categories of Interest

abstract: We firstly prove the completeness of the category of crossed modules in a modified category of interest. Afterwards, we define pullback crossed modules and pullback cat$^1$-objects that are both obtained by pullback diagrams with extra structures on certain arrows. These constructions unify many corresponding results for the cases of groups, commutative algebras and can also be adapted to various algebraic structures.


title: Homotopy of gauge groups over non-simply-connected five dimensional manifolds

abstract: Both the gauge groups and $5$-manifolds are important in physics and mathematics. In this paper, we combine them together to study the homotopy aspects of gauge groups over $5$-manifolds. For principal bundles over non-simply connected oriented closed $5$-manifolds of certain type, we prove various homotopy decompositions of their gauge groups according to different geometric structures on the manifolds, and give partial solution to the classification of the gauge groups. As applications, we estimate the homotopy exponents of their gauge groups, and show periodicity results of the homotopy groups of gauge groups analogous to Bott periodicity. Our treatments here are also very effective for rational gauge groups in general context, and applicable for higher dimensional manifolds.


title: Homotopy types of gauge groups over high dimensional manifolds

abstract: The homotopy theory of gauge groups has received considerable attention in recent decades. In this work, we study the homotopy theory of gauge groups over some high dimensional manifolds. To be more specific, we study gauge groups of bundles over $(n-1)$-connected closed $2n$-manifolds, the classification of which was determined by Wall and Freedman in the combinatorial category. We also investigate the gauge groups of the total manifolds of sphere bundles based on the classical work of James and Whitehead. Furthermore, other types of $2n$-manifolds are also considered. In all the cases, we show various homotopy decompositions of gauge groups. The methods are combinations of manifold topology and various techniques in homotopy theory.


title: Lighting the Way to a Smart World: Lattice-Based Cryptography for Internet of Things

abstract: The Ukraine power grid cyberattacks remind us that the smart Internet of Things (IoT) can help us control our light-bulbs, but if under attacks it might also take us into darkness. Nowadays, many literatures have tried to address the concerns on IoT security, but few of them take into consideration the sever threats to IoT coming from the advances of quantum computing. As a promising candidate for the future post-quantum cryptography standard, lattice-based cryptography enjoys the advantages of strong security guarantees and high efficiency, which make it extremely suitable for IoT applications. In this paper, we summarize the advantages of lattice-based cryptography and the state of art of their implementations for IoT devices.


title: On the combinatorics of circular codes

abstract: The present paper is devoted to the study of the combinatorics of 216 maximal $C^3$ circular codes --- a particular type of structure arising in the analysis of genomic sequences. Their circularity property is believed to be intimately connected to the protection against the reading frame shift in the process of RNA translation. We present some new observations concerning the internal structure of circular codes, which give a way to construct all of them in a relatively simple manner.


title: Interdisciplinary collaboration in research networks: Empirical analysis of energy-related research in Greece

abstract: Technological innovation is intimately related to knowledge creation and recombination. In this work we introduce a combined statistical and network-based approach to study collaboration in scientific authorship. We apply it to characterize recent research efforts in renewable energy technology and its intersections with the domains of nanoscience and nanotechnology with focus on materials, and electrical engineering and computer science in Greece and its broader European and international environment as a case study. Using our methods we attempt to illuminate the processes which underlie knowledge creation and diversification in these research networks: a (positive) relationship between expenditure on research and development and the extent and diversity of team-based research at the intersections of the three domains is established. Our specific findings collectively provide insights into the collaboration structure and evolution of energy-related research activity in Greece, while our methodology can be used for evidence-based design, monitoring, and evaluation of interdisciplinary research programs.


title: Why the anti-nodal quasiparticle dispersion is so flat in the superconducting cuprates?

abstract: The emergence of the coherent quasiparticle peak and the development of the peak-dip-hump structure in the anti-nodal region below $T_{c}$ is the most prominent non-BCS signature of the underdoped high-$T_{c}$ cuprates, in which no coherent quasiparticle can be defined in the anti-nodal region above $T_{c}$. The peak-dip-hump structure has been commonly interpreted as the result of the coupling of the electron to some Bosonic mode. However, such an electron-Boson coupling picture does not answer the question of \textit{why the quasiparticle dispersion is so flat in the anti-nodal region}, a behavior totally unexpected for Bogoliubov quasiparticle in a d-wave BCS superconductor. Here we show that the sharp quasiparticle peak in the anti-nodal region should be understood as a new pole in the electron Green's function generated by the strong coupling of the electron to diffusive spin fluctuation around the antiferromagnetic wave vector $\mathbf{Q}=(\pi,\pi)$, rather than a nearly free Bogoliubov quasiparticle in a d-wave BCS superconductor. More specifically, we find that the normal self-energy of the electron from the scattering with the diffusive spin fluctuation manifests itself mainly as a level repulsion effect and is responsible for the reduction of both the quasiparticle dispersion and the quasiparticle dissipation rate in the anti-nodal region. We argue that the peak-dip separation in the anti-nodal spectrum should not be interpreted as the energy of the pairing glue.


title: Explicit Central Elements of $U_q(\mathfrak{gl}(N+1))$

abstract: By using Drinfeld's central element construction and fusion of $R$-matrices, we construct central elements of the quantum group $U_q(\mathfrak{gl}(N+1))$. These elements are explicitly written in terms of the generators.


title: Tidal Evolution of Kepler lower-mass Planets

abstract: The planets with a radius $<$ 4 $R$$_\oplus$ observed by the Kepler mission exhibit a unique feature, and propose a challenge for current planetary formation models. The tidal effect between a planet and its host star plays an essential role in reconfiguring the final orbits of the short-period planets. In this work, based on various initial Rayleigh distributions of the orbital elements, the final semi-major axis distributions of the planets with a radius $<$ 4 $R_\oplus$ after suffering tidal evolutions are investigated. Our simulations have qualitatively revealed some statistical properties: the semi-major axis and its peak value all increase with the increase of the initial semi-major axis and eccentricity. For the case that the initial mean semi-major axis is less than 0.1 au and the mean eccentricity is larger than 0.25, the results of numerical simulation are approximately consistent with the observation. In addition, the effects of other parameters, such as the tidal dissipation coefficient, stellar mass and planetary mass, etc., on the final semi-major axis distribution after tidal evolution are all relatively small. Based on the simulation results, we have tried to find some clues for the formation mechanism of low-mass planets. We speculate that these low-mass planets probably form in the far place of protoplanetary disk with a moderate eccentricity via the type I migration, and it is also possible to form in situ.


title: Building Near-Real-Time Processing Pipelines with the Spark-MPI Platform

abstract: Advances in detectors and computational technologies provide new opportunities for applied research and the fundamental sciences. Concurrently, dramatic increases in the three Vs (Volume, Velocity, and Variety) of experimental data and the scale of computational tasks produced the demand for new real-time processing systems at experimental facilities. Recently, this demand was addressed by the Spark-MPI approach connecting the Spark data-intensive platform with the MPI high-performance framework. In contrast with existing data management and analytics systems, Spark introduced a new middleware based on resilient distributed datasets (RDDs), which decoupled various data sources from high-level processing algorithms. The RDD middleware significantly advanced the scope of data-intensive applications, spreading from SQL queries to machine learning to graph processing. Spark-MPI further extended the Spark ecosystem with the MPI applications using the Process Management Interface. The paper explores this integrated platform within the context of online ptychographic and tomographic reconstruction pipelines.


title: 1- and 3-photon dynamical Casimir effects using nonstationary cyclic qutrit

abstract: We consider the nonstationary circuit QED setup in which a 3-level artificial atom in the $\Delta$-configuration interacts with a single-mode cavity field of natural frequency $\omega $. It is demonstrated that when some atomic energy level(s) undergoes a weak harmonic modulation, photons can be generated from vacuum via effective 1- and 3-photon transitions, while the atom remains approximately in the ground state. These phenomena occur in the dispersive regime when the modulation frequency is accurately tuned near $\omega $ and $3\omega $, respectively, and the generated field states exhibit strikingly different statistics from the squeezed vacuum state attained in standard cavity dynamical Casimir effect.


title: On local antimagic chromatic number of cycle-related join graphs

abstract: An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $\chi_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, several sufficient conditions for $\chi_{la}(H)\le \chi_{la}(G)$ are obtained, where $H$ is obtained from $G$ with a certain edge deleted or added. We then determined the exact value of the local antimagic chromatic number of many cycle related join graphs.


title: Regularity Properties of the Stochastic Flow of a Skew Fractional Brownian Motion

abstract: In this paper we prove, for small Hurst parameters, the higher order differentiability of a stochastic flow associated with a stochastic differential equation driven by an additive multi-dimensional fractional Brownian noise, where the bounded variation part is given by the local time of the unknown solution process. The proof of this result relies on Fourier analysis based variational calculus techniques and on intrinsic properties of the fractional Brownian motion.


title: Cartesian Magicness of 3-Dimensional Boards

abstract: A $(p,q,r)$-board that has $pq+pr+qr$ squares consists of a $(p,q)$-, a $(p,r)$-, and a $(q,r)$-rectangle. Let $S$ be the set of the squares. Consider a bijection $f : S \to [1,pq+pr+qr]$. Firstly, for $1 \le i \le p$, let $x_i$ be the sum of all the $q+r$ integers in the $i$-th row of the $(p,q+r)$-rectangle. Secondly, for $1 \le j \le q$, let $y_j$ be the sum of all the $p+r$ integers in the $j$-th row of the $(q,p+r)$-rectangle. Finally, for $1\le k\le r$, let $z_k$ be the the sum of all the $p+q$ integers in the $k$-th row of the $(r,p+q)$-rectangle. Such an assignment is called a $(p,q,r)$-design if $\{x_i : 1\le i\le p\}=\{c_1\}$ for some constant $c_1$, $\{y_j : 1\le j\le q\}=\{c_2\}$ for some constant $c_2$, and $\{z_k : 1\le k\le r\}=\{c_3\}$ for some constant $c_3$. A $(p,q,r)$-board that admits a $(p,q,r)$-design is called (1) Cartesian tri-magic if $c_1$, $c_2$ and $c_3$ are all distinct; (2) Cartesian bi-magic if $c_1$, $c_2$ and $c_3$ assume exactly 2 distinct values; (3) Cartesian magic if $c_1 = c_2 = c_3$ (which is equivalent to supermagic labeling of $K(p,q,r)$). Thus, Cartesian magicness is a generalization of magic rectangles into 3-dimensional space. In this paper, we study the Cartesian magicness of various $(p,q,r)$-board by matrix approach involving magic squares or rectangles. In Section~2, we obtained various sufficient conditions for $(p,q,r)$-boards to admit a Cartesian tri-magic design. In Sections~3 and~4, we obtained many necessary and (or) sufficient conditions for various $(p,q,r)$-boards to admit (or not admit) a Cartesian bi-magic and magic design. In particular, it is known that $K(p,p,p)$ is supermagic and thus every $(p,p,p)$-board is Cartesian magic. We gave a short and simpler proof that every $(p,p,p)$-board is Cartesian magic.


title: The estimate of $\chi^2$ distance between binomial and generalized binomial distributions

abstract: We obtain the estimate of difference between binomial and generalized binomial distributions in $\chi^2$ metric and in several other related metrics


title: Subconvexity bound for $GL(2)$ L-functions: \lowercase{t}-aspect

abstract: Let $f $ be a holomorphic Hecke eigenform or a Hecke-Maass cusp form for the full modular group $ SL(2, \mathbb{Z})$. In this paper we shall use circle method to prove the Weyl exponent for $GL(2)$ $L$-functions. We shall prove that \[ L \left( \frac{1}{2} + it, f \right) \ll_{f, \epsilon} \left( 2 + |t|\right)^{1/3 + \epsilon}, \] for any $\epsilon > 0.$


title: Neural Coreference Resolution with Deep Biaffine Attention by Joint Mention Detection and Mention Clustering

abstract: Coreference resolution aims to identify in a text all mentions that refer to the same real-world entity. The state-of-the-art end-to-end neural coreference model considers all text spans in a document as potential mentions and learns to link an antecedent for each possible mention. In this paper, we propose to improve the end-to-end coreference resolution system by (1) using a biaffine attention model to get antecedent scores for each possible mention, and (2) jointly optimizing the mention detection accuracy and the mention clustering log-likelihood given the mention cluster labels. Our model achieves the state-of-the-art performance on the CoNLL-2012 Shared Task English test set.


title: Open Gromov-Witten Theory of $K_{\mathbb P^2}, K_{{\mathbb P^1}\times {\mathbb P^1}}, K_{W\mathbb P[1,1,2]}, K_{\mathbb F_1}$ and Jacobi Forms

abstract: It was known through the efforts of many works that the generating functions in the closed Gromov-Witten theory of $K_{\mathbb P^2}$ are meromorphic quasi-modular forms basing on the B-model predictions. In this article, we extend the modularity phenomenon to $K_{{\mathbb P^1}\times {\mathbb P^1}}, K_{W\mathbb P[1,1,2]}, K_{\mathbb F_1}$. More importantly, we generalize it to the generating functions in the open Gromov-Witten theory using the theory of Jacobi forms where the open Gromov-Witten parameters are transformed into elliptic variables.


title: Distributional stability and deterministic equilibrium selection under heterogeneous evolutionary dynamics

abstract: In the presence of persistent payoff heterogeneity, the evolution of the aggregate strategy hugely depends on the underlying strategy composition under many evolutionary dynamics, while the aggregate dynamic under the standard BRD reduces to a homogenized smooth BRD, where persistent payoff heterogeneity averages to homogeneous transitory payoff shocks. In this paper, we consider deterministic evolutionary dynamics in heterogeneous population and develop the stronger concept of local stability by imposing robustness to persistent payoff heterogeneity. It is known that nonaggregability holds generically if the switching rate in a given evolutionary dynamic correlates with the payoff gain from a switch. To parameterize the payoff sensitivity of an evolutionary dynamic, we propose to use tempered best response dynamics with bounded support of switching costs.


title: Commuting homogeneous locally nilpotent derivations

abstract: Let $X$ be an affine algebraic variety endowed with an action of complexity one of an algebraic torus $\mathbb{T}$. It is well known that homogeneous locally nilpotent derivations on the algebra of regular functions $\mathbb{K}[X]$ can be described in terms of proper polyhedral divisors corresponding to $\mathbb{T}$-variety $X$. We prove that homogeneous locally nilpotent derivations commute if an only if some combinatorial criterion holds. These results are used to describe actions of unipotent groups of dimension two on affine $\mathbb{T}$-varieties.


title: Evolutionary dynamics in heterogeneous populations: a general framework for an arbitrary type distribution

abstract: A general framework of evolutionary dynamics under heterogeneous populations is presented. The framework allows continuously many types of heterogeneous agents, heterogeneity both in payoff functions and in revision protocols and the entire joint distribution of strategies and types to influence the payoffs of agents. We clarify regularity conditions for the unique existence of a solution trajectory and for the existence of equilibrium. We confirm that equilibrium stationarity in general and equilibrium stability in potential games are extended from the homogeneous setting to the heterogeneous setting. In particular, a wide class of admissible dynamics share the same set of locally stable equilibria in a potential game through local maximization of the potential.


title: Net gains in evolutionary dynamics: A unifying and intuitive approach to dynamic stability

abstract: Static stability in economic models means negative incentives for deviation from equilibrium strategies, which we expect to assure a return to equilibrium, i.e., dynamic stability, as long as agents respond to incentives. There have been many attempts to prove this link, especially in evolutionary game theory, yielding both negative and positive results. This paper presents a universal and intuitive approach to this link. We prove that static stability assures dynamic stability if agents' choices of switching strategies are rationalizable by introducing costs and constraints in those switching decisions. This idea guides us to define \textit{net }gains from switches as the payoff improvement after deducting the costs. Under rationalizable dynamics, an agent maximizes the expected net gain subject to the constraints. We prove that the aggregate maximized expected net gain works as a Lyapunov function. It also explains reasons behind the known negative results. While our analysis here is confined to myopic evolutionary dynamics in population games, our approach is applicable to more complex situations.


title: Causal Inference in high dimensions: A marriage between Bayesian modeling and good frequentist properties

abstract: We introduce a framework for estimating causal effects of binary and continuous treatments in high dimensions. We show how posterior distributions of treatment and outcome models can be used together with doubly robust estimators. We propose an approach to uncertainty quantification for the doubly robust estimator which utilizes posterior distributions of model parameters and (1) results in good frequentist properties in small samples, (2) is based on a single MCMC, and (3) improves over frequentist measures of uncertainty which rely on asymptotic properties. We show that our proposed variance estimation strategy is consistent when both models are correctly specified and that it is conservative in finite samples or when one or both models are misspecified. We consider a flexible framework for modeling the treatment and outcome processes within the Bayesian paradigm that reduces model dependence, accommodates nonlinearity, and achieves dimension reduction of the covariate space. We illustrate the ability of the proposed approach to flexibly estimate causal effects in high dimensions and appropriately quantify uncertainty, and show that it performs well relative to existing approaches. Finally, we estimate the effect of continuous environmental exposures on cholesterol and triglyceride levels. An R package is available at github.com/jantonelli111/DoublyRobustHD.


title: Coalescence of Kerr Black Holes: Binary Systems from GW150914 to GW170814

abstract: We investigate the energy of the gravitational wave from a binary black hole merger by the coalescence of two Kerr black holes with an orbital angular momentum. The coalescence is constructed to be consistent with particle absorption in the limit in which the primary black hole is sufficiently large compared with the secondary black hole. In this limit, we analytically obtain an effective gravitational spin--orbit interaction dependent on the alignments of the angular momenta. Then, binary systems with various parameters including equal masses are numerically analyzed. According to the numerical analysis, the energy of the gravitational wave still depends on the effective interactions, as expected from the analytical form. In particular, we ensure that the final black hole obtains a large portion of its spin angular momentum from the orbital angular momentum of the initial binary black hole. To estimate the angular momentum released by the gravitational wave in the actual binary black hole, we apply our results to observations at the Laser Interferometer Gravitational-Wave Observatory: GW150914, GW151226, GW170104, GW170608, and GW170814.


title: Correlation energies for many-electron atoms with explicitly correlated Slater functions

abstract: In this work we propose a novel composite method for accurate calculation of the energies of many-electron atoms. The dominant contribution to the energy (pair energies) are calculated by using explicitly correlated factorisable coupled cluster theory. Instead of the usual Gaussian-type geminals for the expansion of the pair functions, we employ two-electron Hylleraas basis set. This eliminates the need for massive optimisation of nonlinear parameters and the required three-electron integrals can now be calculated relatively easily. The remaining contributions to the energy are calculated within the algebraic approximation by using large one-electron basis sets composed of Slater-type orbitals. The method is tested for the beryllium atom where the accuracy better than $1\,$cm$^{-1}$ is obtained. We discuss in details possible sources of the error and estimate the uncertainty in each energy component. Finally, we consider possible strategies to improve the accuracy of the method by one to two orders of magnitude. The most important advantage of the method is that is does not suffer from an exponential growth of the computational costs with increasing number of electrons in the system and thus can be applied to heavier atoms preserving a similar level of accuracy.


title: LMNet: Real-time Multiclass Object Detection on CPU using 3D LiDAR

abstract: This paper describes an optimized single-stage deep convolutional neural network to detect objects in urban environments, using nothing more than point cloud data. This feature enables our method to work regardless the time of the day and the lighting conditions.The proposed network structure employs dilated convolutions to gradually increase the perceptive field as depth increases, this helps to reduce the computation time by about 30%. The network input consists of five perspective representations of the unorganized point cloud data. The network outputs an objectness map and the bounding box offset values for each point. Our experiments showed that using reflection, range, and the position on each of the three axes helped to improve the location and orientation of the output bounding box. We carried out quantitative evaluations with the help of the KITTI dataset evaluation server. It achieved the fastest processing speed among the other contenders, making it suitable for real-time applications. We implemented and tested it on a real vehicle with a Velodyne HDL-64 mounted on top of it. We achieved execution times as fast as 50 FPS using desktop GPUs, and up to 10 FPS on a single Intel Core i5 CPU. The deploy implementation is open-sourced and it can be found as a feature branch inside the autonomous driving framework Autoware. Code is available at: https://github.com/CPFL/Autoware/tree/feature/cnn_lidar_detection


title: Fractional Diffusion limit of a kinetic equation with Diffusive boundary conditions in the upper-half space

abstract: We investigate the fractional diffusion approximation of a kinetic equation in the upper-half plane with diffusive reflection conditions at the boundary. In an appropriate singular limit corresponding to small Knudsen number and long time asymptotic, we derive a fractional diffusion equation with a nonlocal Neumann boundary condition for the density of particles. Interestingly, this asymptotic equation is different from the one derived by L. Cesbron in [7] in the case of specular reflection conditions at the boundary and does not seem to have receive a lot of attention previously.


title: High quality magnetotransport in graphene using the edge-free Corbino geometry

abstract: We report fabrication of graphene devices in a Corbino geometry consisting of concentric circular electrodes with no physical edge connecting the inner and outer electrodes. High device mobility is realized using boron nitride encapsulation together with a dual-graphite gate structure. Bulk conductance measurement in the quantum Hall effect (QHE) regime outperforms previously reported Hall bar measurements, with improved resolution observed for both the integer and fractional QHE states. We identify apparent phase transitions in the fractional sequence in both the lowest and first excited Landau levels (LLs) and observed features consistent with electron solid phases in higher LLs.


title: Comprehensive Supersense Disambiguation of English Prepositions and Possessives

abstract: Semantic relations are often signaled with prepositional or possessive marking--but extreme polysemy bedevils their analysis and automatic interpretation. We introduce a new annotation scheme, corpus, and task for the disambiguation of prepositions and possessives in English. Unlike previous approaches, our annotations are comprehensive with respect to types and tokens of these markers; use broadly applicable supersense classes rather than fine-grained dictionary definitions; unite prepositions and possessives under the same class inventory; and distinguish between a marker's lexical contribution and the role it marks in the context of a predicate or scene. Strong interannotator agreement rates, as well as encouraging disambiguation results with established supervised methods, speak to the viability of the scheme and task.


title: The connection between combinatorics and cohomology of elliptic arrangements

abstract: We prove that the cohomology algebra of elliptic arrangements depends only on the poset of layers. In the particular case of braid elliptic arrangements, we study the cohomology as representation and we compute some Hodge numbers. Finally, we discuss 1-formality for graphic elliptic arrangements.


title: A Computational Framework for Modelling and Analyzing Ice Storms

abstract: Ice storms are extreme weather events that can have devastating implications for the sustainability of natural ecosystems as well as man made infrastructure. Ice storms are caused by a complex mix of atmospheric conditions and are among the least understood of severe weather events. Our ability to model ice storms and characterize storm features will go a long way towards both enabling support systems that offset storm impacts and increasing our understanding of ice storms. In this paper, we present a holistic computational framework to answer key questions of interest about ice storms. We model ice storms as a function of relevant surface and atmospheric variables. We learn these models by adapting and applying supervised and unsupervised machine learning algorithms on data with missing or incorrect labels. We also include a knowledge representation module that reasons with domain knowledge to revise the output of the learned models. Our models are trained using reanalysis data and historical records of storm events. We evaluate these models on reanalyis data as well as Global Climate Model (GCM) data for historical and future climate change scenarios. Furthermore, we discuss the use of appropriate bias correction approaches to run such modeling frameworks with GCM data.