title: On the chordality of polynomial sets in triangular decomposition in top-down style

abstract: In this paper the chordal graph structures of polynomial sets appearing in triangular decomposition in top-down style are studied when the input polynomial set to decompose has a chordal associated graph. In particular, we prove that the associated graph of one specific triangular set computed in any algorithm for triangular decomposition in top-down style is a subgraph of the chordal graph of the input polynomial set and that all the polynomial sets including all the computed triangular sets appearing in one specific simply-structured algorithm for triangular decomposition in top-down style (Wang's method) have associated graphs which are subgraphs of the the chordal graph of the input polynomial set. These subgraph structures in triangular decomposition in top-down style are multivariate generalization of existing results for Gaussian elimination and may lead to specialized efficient algorithms and refined complexity analyses for triangular decomposition of chordal polynomial sets.


title: Random products of maps synchronizing on average

abstract: We present a necessary and sufficient condition for a random product of maps on a compact metric space to be (strongly) synchronizing on average.


title: How to select the best set of ads: Can we do better than Greedy Algorithm?

abstract: Selecting the best set of ads is critical for advertisers for a given set of keywords, which involves the composition of ads from millions of candidates. While click through rates (CTRs) are important, there could be high correlation among different ads, therefore the set of ads with top CTRs does not necessarily maximize the number of clicks. Greedy algorithm has been a standard and straightforward way to find out a decent enough solution, however, it is not guaranteed to be the global optimum. In fact, it proves not to be the global optimum more than 70% of the time across all our simulations, implying that it's very likely to be trapped at a local optimum. In this paper, we propose a Greedy-Power Algorithm to find out the best set of creatives, that is starting with the solution from the conventional Greedy Algorithm, one can perform another Greedy Algorithm search on top of it, with the option of a few or even infinite rounds. The Greedy-Power algorithm is guaranteed to be not worse, as it only moves in the direction to increase the goal function. We show that Greedy-Power Algorithm's performance is consistently better, and reach the conclusion that it is able to perform better than the Greedy Algorithm systematically.


title: Dynamic Spatial Panel Models: Networks, Common Shocks, and Sequential Exogeneity

abstract: This paper considers a class of GMM estimators for general dynamic panel models, allowing for weakly exogenous covariates and cross sectional dependence due to spatial lags, unspecified common shocks and time-varying interactive effects. We significantly expand the scope of the existing literature by allowing for endogenous spatial weight matrices without imposing any restrictions on how the weights are generated. An important area of application is in social interaction and network models where our specification can accommodate data dependent network formation. We consider an exemplary social interaction model and show how identification of the interaction parameters is achieved through a combination of linear and quadratic moment conditions. For the general setup we develop an orthogonal forward differencing transformation to aid in the estimation of factor components while maintaining orthogonality of moment conditions. This is an important ingredient to a tractable asymptotic distribution of our estimators. In general, the asymptotic distribution of our estimators is found to be mixed normal due to random norming. However, the asymptotic distribution of our test statistics is still chi-square.


title: Highly accurate model for prediction of lung nodule malignancy with CT scans

abstract: Computed tomography (CT) examinations are commonly used to predict lung nodule malignancy in patients, which are shown to improve noninvasive early diagnosis of lung cancer. It remains challenging for computational approaches to achieve performance comparable to experienced radiologists. Here we present NoduleX, a systematic approach to predict lung nodule malignancy from CT data, based on deep learning convolutional neural networks (CNN). For training and validation, we analyze >1000 lung nodules in images from the LIDC/IDRI cohort. All nodules were identified and classified by four experienced thoracic radiologists who participated in the LIDC project. NoduleX achieves high accuracy for nodule malignancy classification, with an AUC of ~0.99. This is commensurate with the analysis of the dataset by experienced radiologists. Our approach, NoduleX, provides an effective framework for highly accurate nodule malignancy prediction with the model trained on a large patient population. Our results are replicable with software available at http://bioinformatics.astate.edu/NoduleX.


title: Topological symmetries of simply-connected four-manifolds and actions of automorphism groups of free groups

abstract: Let $M$ be a simply connected closed $4$-manifold. It is proved that any (possibly finite) compact Lie group acting effectively and homologically trivially on $M$ by homeomorphisms is an abelian group of rank at most two. As applications, let $\mathrm{Aut}(F_{n})$ be the automorphism group of the free group of rank $n.$ We prove that any group action of $\mathrm{Aut}% (F_{n})$ $(n\geq 4)$ on $M\neq S^{4}$ by homologically trivial homeomorphisms factors through $\mathbb{Z}/2.$ Moreover, any action of $% \mathrm{SL}_{n}(\mathbb{Q})$ $(n\geq 4)$ on $M\neq S^{4}$ by homeomorphisms is trivial.


title: Selective Near Perfect Light Absorbtion by Graphene Monolayer Using Aperiodic Multilayer Microstructures

abstract: We investigate 1D aperiodic multilayer microstructures in order to achieve near total absorption in preselected wavelengths in a graphene monolayer. Our structures are designed by a genetic optimization algorithm coupled to a transfer matrix code. Coupled mode theory (CMT) analysis, in accordance with transfer matrix method (TMM) results, indicates the existence of a critical coupling in a graphene monolayer for perfect absorptions. Our findings show that the near-total-absorption peaks are highly tunable and can be controlled simultaneously or independently in wide range of wavelengths in the near-infrared and visible. Our proposed approach is metal free and does not require surface texturing or patterning, and can be applied for other two dimensional (2D) materials.


title: Global Bifurcation of Dynamical Systems and Nonlinear Evolution Equations

abstract: We establish new global bifurcation theorems for dynamical systems in terms of local semiflows on complete metric spaces. These theorems are applied to the nonlinear evolution equation $u_t+A u=f_\lambda(u)$ in a Banach space $X$, where $A$ is a sectorial operator with compact resolvent. Assume that $0$ is always a trivial stationary solution of the equation. We show that the global dynamic bifurcation branch $\Gamma$ of a bifurcation point $(0,\lambda_0)$ either meets another bifurcation point $(0,\lambda_1)$, or is unbounded, completely extending the well-known Rabinowitz Global Bifurcation Theorem on operator equations to nonlinear evolution equations without any restrictions on the crossing number. In the case where $f_\lambda(u)=\lambda u+f(u)$, due to the {\em nonnegativity} of the Conley index we can even prove a stronger conclusion asserting that only one possibility occurs for $\Gamma$, that is, $\Gamma$ is necessarily unbounded. This result can be expected to help us have a deeper understanding of the dynamics of nonlinear evolution equations. As another example of applications of the abstract bifurcation theorems, we also discuss the bifurcation and the existence of nontrivial solutions of the elliptic equation $-\Delta u=f_\lambda(u)$ on a bounded domain in $\mathbb{R}^n$ ($n\geq 3$) associated with the homogenous Dirichlet boundary condition. Some new results with global features are obtained.


title: Motion and collision of particles in rotating linear dilaton black hole

abstract: We study the motion of particles in the background of a four-dimensional linear dilaton black hole. We solve analytically the equations of motion of the test particles and we describe their motion. We show that the dilaton black hole acts as a particle accelerator by analyzing the energy in the center of mass (CM) frame of two colliding particles in the vicinity of its horizon. In particular we find that there is a critical value of the angular momentum, which depends on the string coupling, and a particle with this critical angular momentum can reach the inner horizon with an arbitrarily high CM energy. This is known as the Ba\~nados, Silk and West (BSW) process. We also show that the motion and collisions of particles have a similar behavior to the three-dimensional BTZ black hole. In fact, the photons can plunge into the horizon or escape to infinity, and they can not be deflected, while for massive particles there are no confined orbits of first kind, like planetary or circular orbits.


title: Nonequilibrium theory of the conversion-efficiency limit of solar cells including thermalization and extraction of carriers

abstract: The ideal solar cell conversion efficiency limit known as the Shockley-Queisser (SQ) limit, which is based on a detailed balance between absorption and radiation, has long been a target for solar cell researchers. While the theory for this limit uses several assumptions, the requirements in real devices have not been discussed fully. Given the current situation in which research-level cell efficiencies are approaching the SQ limit, a quantitative argument with regard to these requirements is worthwhile in terms of understanding of the remaining loss mechanisms in current devices and the device characteristics of solar cells that are operating outside the detailed balance conditions. Here we examine two basic assumptions: (1) that the photo-generated carriers lose their kinetic energy via phonon emission in a moment (fast thermalization), and (2) that the photo-generated carriers are extracted into carrier reservoirs in a moment (fast extraction). Using a model that accounts for the carrier relaxation and extraction dynamics, we reformulate the nonequilibrium theory for solar cells in a manner that covers both the equilibrium and nonequilibrium regimes. Using a simple planar solar cell as an example, we address the parameter regime in terms of the carrier extraction time and then consider where the conventional SQ theory applies and what could happen outside the applicable range.


title: Low-lying zeros of cubic Dirichlet $L$-functions and the Ratios Conjecture

abstract: We compute the one-level density for the family of cubic Dirichlet $L$-functions when the support of the Fourier transform of a test function is in $(-1,1)$. We also establish the Ratios conjecture prediction for the one-level density for this family, and confirm that it agrees with the one-level density we obtain.


title: Simple networks on complex cellular automata: From de Bruijn diagrams to jump-graphs

abstract: We overview networks which characterise dynamics in cellular automata. These networks are derived from one-dimensional cellular automaton rules and global states of the automaton evolution: de Bruijn diagrams, subsystem diagrams, basins of attraction, and jump-graphs. These networks are used to understand properties of spatially-extended dynamical systems: emergence of non-trivial patterns, self-organisation, reversibility and chaos. Particular attention is paid to networks determined by travelling self-localisations, or gliders.


title: Simple zeros of automorphic $L$-functions

abstract: We prove that the complete $L$-function associated to any cuspidal automorphic representation of $GL_2(\mathbb{A}_{\mathbb Q})$ has infinitely many simple zeros.


title: Training Generative Adversarial Networks via Primal-Dual Subgradient Methods: A Lagrangian Perspective on GAN

abstract: We relate the minimax game of generative adversarial networks (GANs) to finding the saddle points of the Lagrangian function for a convex optimization problem, where the discriminator outputs and the distribution of generator outputs play the roles of primal variables and dual variables, respectively. This formulation shows the connection between the standard GAN training process and the primal-dual subgradient methods for convex optimization. The inherent connection does not only provide a theoretical convergence proof for training GANs in the function space, but also inspires a novel objective function for training. The modified objective function forces the distribution of generator outputs to be updated along the direction according to the primal-dual subgradient methods. A toy example shows that the proposed method is able to resolve mode collapse, which in this case cannot be avoided by the standard GAN or Wasserstein GAN. Experiments on both Gaussian mixture synthetic data and real-world image datasets demonstrate the performance of the proposed method on generating diverse samples.


title: Question-Answer Selection in User to User Marketplace Conversations

abstract: Sellers in user to user marketplaces can be inundated with questions from potential buyers. Answers are often already available in the product description. We collected a dataset of around 590K such questions and answers from conversations in an online marketplace. We propose a question answering system that selects a sentence from the product description using a neural-network ranking model. We explore multiple encoding strategies, with recurrent neural networks and feed-forward attention layers yielding good results. This paper presents a demo to interactively pose buyer questions and visualize the ranking scores of product description sentences from live online listings.


title: Pseudomonads and Descent, PhD Thesis (Chapter 1)

abstract: This is the introductory chapter of my PhD Thesis. This thesis consists of one introductory chapter and four single-authored papers written during my PhD studies at the University of Coimbra under supervision of Maria Manuel Clementino. In this first chapter, we give a glance of the scope of our work and briefly describe elements of the original contributions of each paper, including some connections between them. We also give a brief exposition of our main setting, which is $2$-dimensional category theory. In this direction: (1) we give an exposition on the doctrinal adjunction, focusing on the Beck-Chevalley condition as used in Chapter "Pseudo-Kan Extensions and Descent" (arXiv: 1606.04999), (2) we apply the results of "On lifting of biadjoints and lax algebras" (arXiv: 1607.03087) in a generalized setting of the formal theory of monads and (3) we apply the biadjoint triangle theorem of "On biadjoint triangles" (aXiv: 1606.05009) to study (pseudo)exponentiable pseudocoalgebras.


title: Weak factorization of the Hardy space $H^p$ for small values of $p$, in the multilinear setting

abstract: We give a weak factorization proof of the Hardy space $H^{p}(\mathbb{R}^{n})$ in the multilinear setting, for $\frac{n}{n+1} < p <1$. As a consequence, we obtain a characterization of the boundedness of the commutator $[b,T]$ from $L^{r_{1}}(\mathbb R^n) \text{~x ... x~} L^{r_{m}} (\mathbb R^n) \text{ to } L^{q^\prime} (\mathbb R^n)$, where $b \in \text{Lip}_\alpha (\mathbb R^n)$, and $\frac{\alpha}{n} = \sum_{i=1}^{m} \frac{1}{r_{i}} +\frac{1}{q} - 1$.


title: Corrections to $R_{D}$ and $R_{D^{*}}$ in the BLMSSM

abstract: The deviation of the measurement of $R_{D}$ ($R_{D^{*}}$) from the Standard Model (SM) expectation is $2.3\sigma$ ($3.1\sigma$). $R_{D}$ ($R_{D^{*}}$) is the ratio of the branching fraction of $\overline{B} \rightarrow D\tau\overline{\nu}_{\tau}$ ($\overline{B} \rightarrow D^{*}\tau\overline{\nu}_{\tau}$) to that of $\overline{B} \rightarrow Dl\overline{\nu}_{l}$ ($\overline{B} \rightarrow D^{*}l\overline{\nu}_{l}$), where $l = e$ or $\mu$. This anomaly may imply the existence of new physics (NP). In this paper, we restudy this problem in the supersymmetric extension of the Standard Model with local gauged baryon and lepton numbers (BLMSSM), and give one-loop corrections to $R_{D}$ ($R_{D^{*}}$).


title: Scale-recurrent Network for Deep Image Deblurring

abstract: In single image deblurring, the "coarse-to-fine" scheme, i.e. gradually restoring the sharp image on different resolutions in a pyramid, is very successful in both traditional optimization-based methods and recent neural-network-based approaches. In this paper, we investigate this strategy and propose a Scale-recurrent Network (SRN-DeblurNet) for this deblurring task. Compared with the many recent learning-based approaches in [25], it has a simpler network structure, a smaller number of parameters and is easier to train. We evaluate our method on large-scale deblurring datasets with complex motion. Results show that our method can produce better quality results than state-of-the-arts, both quantitatively and qualitatively.


title: Symplectic no-core configuration interaction framework for ab initio nuclear structure

abstract: We introduce a symplectic no-core configuration interaction (SpNCCI) framework for ab initio nuclear structure calculations, in a correlated many-body basis which encodes an approximate Sp(3,R) symmetry of the nucleus. Such a scheme potentially provides a means of restricting the many-body space to include only those highly-excited configurations which dominantly contribute to the nuclear wave function. We examine the symplectic symmetry structure arising in an illustrative ab initio SpNCCI calculation for 6Li. We observe both the dominance of symplectic symmetry in individual wave functions and the emergence of families of states related by symplectic symmetry.


title: Decomposition Methods with Deep Corrections for Reinforcement Learning

abstract: Decomposition methods have been proposed to approximate solutions to large sequential decision making problems. In contexts where an agent interacts with multiple entities, utility decomposition can be used to separate the global objective into local tasks considering each individual entity independently. An arbitrator is then responsible for combining the individual utilities and selecting an action in real time to solve the global problem. Although these techniques can perform well empirically, they rely on strong assumptions of independence between the local tasks and sacrifice the optimality of the global solution. This paper proposes an approach that improves upon such approximate solutions by learning a correction term represented by a neural network. We demonstrate this approach on a fisheries management problem where multiple boats must coordinate to maximize their catch over time as well as on a pedestrian avoidance problem for autonomous driving. In each problem, decomposition methods can scale to multiple boats or pedestrians by using strategies involving one entity. We verify empirically that the proposed correction method significantly improves the decomposition method and outperforms a policy trained on the full scale problem without utility decomposition.


title: Feynman diagrams, ribbon graphs, and topological recursion of Eynard-Orantin

abstract: We consider two seemingly unrelated problems, the calculation of the WKB expansion of the harmonic oscillator wave functions and the counting the number of Feynman diagrams in QED or in many-body physics and show that their solutions are both encoded in a single enumerative problem, the calculation of the number of certain types of ribbon graphs. In turn, the numbers of such ribbon graphs as a function of the number of their vertices and edges can be determined recursively through the application of the topological recursion of Eynard-Orantin to the algebraic curve encoded in the Schr\"odinger equation of the harmonic oscillator. We show how the numbers of these ribbon graphs can be written down in closed form for any given number of vertices and edges. We use these numbers to obtain a formula for the number of N-rooted ribbon graphs with e edges, which is the same as the number of Feynman diagrams for 2N-point function with e+1-N loops.


title: Local theta correspondence and nilpotent invariants

abstract: We consider two types of nilpotent invariants associated to smooth representations, namely generalized Whittaker models, and associated characters (in the case of a real reductive group). We survey some recent results on the behavior of these nilpotent invariants under local theta correspondence, and highlight the special role of a certain double fiberation of moment maps.


title: Multi-cavity ultra-stable laser towards 10-18

abstract: In this letter, we demonstrate a technique of making an ultrastable laser referenced to a multi-cavity, corresponding to a lower thermal noise limit due to the larger equivalent beam size. The multi-cavity consists of several pairs of mirrors and a common spacer. We can stabilize the laser frequencies on these cavities, and average the laser frequencies with synthesizing technique. In comparison with a single cavity system, relative frequency instability of the synthesized laser can be improved by a factor of the squire root of the cavity number (n). In addition, we perform an experiment to simulate a two-cavity system. Experimental results show that frequency instability of the synthesized laser is improved by a factor of 1.4, and discrimination of the laser frequency instability, introduced by the process of lasers synthesizing, is negligible, and can reach a floor at low level 10-18 limited by noise of currently used signal generators. This technique is comparable with other techniques; thus, it can gain a factor of the squre root of n on the frequency instability of an ultrastable laser to an unprecedented level.


title: The Brauer Group of a Surface over a Finite Field

abstract: This is an English translation of the author's 1989 note in Russian, published in a collection "Arithmetic and Geometry of Varieties" (V.E. Voskresenski, ed.), Kuibyshev State University, Kuibyshev, 1989, pp. 57--67. Let $X$ be be an absolutely irreducible smooth projective surface over a finite field $k$ of odd characteristic, let $Br(X)$ be the (commutative periodic) Brauer group of $X$ and $DIV Br(X)$ the subgroup of its divisible elements. We write $Br(X)_{DIV}$ for the quotient $Br(X)/DIV Br(X)$ and $Br(X)_{DIV}(2)$ for its (finite) $2$-primary component. We prove that the order of $Br(X)_{DIV}(2)$ is a full square under the following additional assumptions on $\bar{X}=X\times \bar{k}$ where $ \bar{k}$ is an algebraic closure of $k$. There is no 2-torsion in the N\'eron-Severi group of $\bar{X}$. The surface $\bar{X}$ admits a lifting to characteristic 0. The proof is based on constructions of author's paper (Math. USSR Izv. 20 (1983), 203-234) and Wu's Theorem that relates Stiefel-Whitney classes and Steenrod squares.


title: Brute-Force Facial Landmark Analysis With A 140,000-Way Classifier

abstract: We propose a simple approach to visual alignment, focusing on the illustrative task of facial landmark estimation. While most prior work treats this as a regression problem, we instead formulate it as a discrete $K$-way classification task, where a classifier is trained to return one of $K$ discrete alignments. One crucial benefit of a classifier is the ability to report back a (softmax) distribution over putative alignments. We demonstrate that this distribution is a rich representation that can be marginalized (to generate uncertainty estimates over groups of landmarks) and conditioned on (to incorporate top-down context, provided by temporal constraints in a video stream or an interactive human user). Such capabilities are difficult to integrate into classic regression-based approaches. We study performance as a function of the number of classes $K$, including the extreme "exemplar class" setting where $K$ is equal to the number of training examples (140K in our setting). Perhaps surprisingly, we show that classifiers can still be learned in this setting. When compared to prior work in classification, our $K$ is unprecedentedly large, including many "fine-grained" classes that are very similar. We address these issues by using a multi-label loss function that allows for training examples to be non-uniformly shared across discrete classes. We perform a comprehensive experimental analysis of our method on standard benchmarks, demonstrating state-of-the-art results for facial alignment in videos.


title: Solar Imaging using Low Frequency Arrays

abstract: Low frequency imaging radio arrays such as MWA, LWA and LOFAR have been recently commissioned, and significantly more advanced and flexible arrays are planned for the near term. These powerful instruments offer new opportunities for direct solar imaging at high time and frequency resolution. They can also probe large volumes of the heliosphere simultaneously, by virtue of very large fields of view. They allow highly detailed, spatially resolved study of solar and heliospheric radio bursts, which are complemented by heliospheric propagation studies using both background astronomical radio emissions as well as the bursts themselves. In this paper, the state of the art in such wide field solar and heliospheric radio studies is summarized, including recent results from the Murchison Widefield Array (MWA). The prospects for major advances in observational capabilities in the near future are reviewed, with particular emphasis on the RAPID system developed at Haystack Observatory


title: Isotropic Subspaces of Schur Modules

abstract: It is a well-known fact that over the complex numbers and for a fixed $k$ and $n$, a generic $s$ in $Sym^2V^*$ vanishes on some $k$-dimensional subspace of $V$ if and only if $n\geq 2k$. Tevelev found exact conditions for the extension of this statement for general symmetric and skew-symmetric multilinear forms, and we extend his work to all possible symmetric types, which corresponds to Schur modules for a general partition.


title: Goal Inference Improves Objective and Perceived Performance in Human-Robot Collaboration

abstract: The study of human-robot interaction is fundamental to the design and use of robotics in real-world applications. Robots will need to predict and adapt to the actions of human collaborators in order to achieve good performance and improve safety and end-user adoption. This paper evaluates a human-robot collaboration scheme that combines the task allocation and motion levels of reasoning: the robotic agent uses Bayesian inference to predict the next goal of its human partner from his or her ongoing motion, and re-plans its own actions in real time. This anticipative adaptation is desirable in many practical scenarios, where humans are unable or unwilling to take on the cognitive overhead required to explicitly communicate their intent to the robot. A behavioral experiment indicates that the combination of goal inference and dynamic task planning significantly improves both objective and perceived performance of the human-robot team. Participants were highly sensitive to the differences between robot behaviors, preferring to work with a robot that adapted to their actions over one that did not.


title: A parallel Voronoi-based approach for mesoscale simulations of cell aggregate electropermeabilization

abstract: We introduce a numerical framework that enables unprecedented direct numerical studies of the electropermeabilization effects of a cell aggregate at the meso-scale. Our simulations qualitatively replicate the shadowing effect observed in experiments and reproduce the time evolution of the impedance of the cell sample in agreement with the trends observed in experiments. This approach sets the scene for performing homogenization studies for understanding the effect of tissue environment on the efficiency of electropermeabilization. We employ a forest of Octree grids along with a Voronoi mesh in a parallel environment that exhibits excellent scalability. We exploit the electric interactions between the cells through a nonlinear phenomenological model that is generalized to account for the permeability of the cell membranes. We use the Voronoi Interface Method (VIM) to accurately capture the sharp jump in the electric potential on the cell boundaries. The case study simulation covers a volume of $(1\ mm)^3$ with more than $27,000$ well-resolved cells with a heterogeneous mix of morphologies that are randomly distributed throughout a spheroid region.


title: Anisotropic diffraction induced by orbital angular momentum during propagations of optical beams

abstract: It is demonstrated that the orbital angular momentum (OAM) carried by the elliptic beam without the phase-singularity can induce the anisotropic diffraction (AD). The quantitative relation between the OAM and its induced AD is analytically obtained by a comparison of two different kinds of (1+2)-dimensional beam propagations: the linear propagations of the elliptic beam without the OAM in an anisotropic medium and that with the OAM in an isotropic one. In the former case, the optical beam evolves as the fundamental mode of the eigenmodes when its ellipticity is the square root of the anisotropic parameter defined in the paper; while in the latter case, the fundamental mode exists only when the OAM carried by the optical beam equals a specific one called a critical OAM. The OAM always enhances the beam-expanding in the major-axis direction and weakens that in the minor-axis direction no matter the sign of the OAM, and the larger the OAM, the stronger the AD induced by it. Besides, the OAM can also make the elliptic beam rotate, and the absolute value of the rotation angle is no larger than $\pi/2$ during the propagation.


title: Large Synoptic Survey Telescope Solar System Science Roadmap

abstract: The Large Synoptic Survey Telescope (LSST) is uniquely equipped to search for Solar System bodies due to its unprecedented combination of depth and wide field coverage. Over a ten-year period starting in 2022, LSST will generate the largest catalog of Solar System objects to date. The main goal of the LSST Solar System Science Collaboration (SSSC) is to facilitate the efforts of the planetary community to study the planets and small body populations residing within our Solar System using LSST data. To prepare for future survey cadence decisions and ensure that interesting and novel Solar System science is achievable with LSST, the SSSC has identified and prioritized key Solar System research areas for investigation with LSST in this roadmap. The ranked science priorities highlighted in this living document will inform LSST survey cadence decisions and aid in identifying software tools and pipelines needed to be developed by the planetary community as added value products and resources before the planned start of LSST science operations.


title: Giant electrocaloric response in the prototypical Pb(Mg,Nb)O$_{3}$ relaxor ferroelectric from atomistic simulations

abstract: An atomistic effective Hamiltonian is used to investigate electrocaloric (EC) effects of Pb(Mg$_{1/3}$Nb$_{2/3}$)O$_{3}$ (PMN) relaxor ferroelectrics in its ergodic regime, and subject to electric fields applied along the pseudocubic [111] direction. Such Hamiltonian qualitatively reproduces (i) the electric field-versus-temperature phase diagram, including the existence of a critical point where first-order and second-order transitions meet each other; and (ii) a giant EC response near such critical point. It also reveals that such giant response around this critical point is microscopically induced by field-induced percolation of polar nanoregions. Moreover, it is also found that, for any temperature above the critical point, the EC coefficient-versus-electric field curve adopts a maximum (and thus larger electrocaloric response too), that can be well described by the general Landau-like model proposed in [Jiang et al, Phys. Rev. B 96, 014114 (2017)] and that is further correlated with specific microscopic features related to dipoles lying along different rhombohedral directions. Furthermore, for temperatures being at least 40 K higher than the critical temperature, the (electric field, temperature) line associated with this maximal EC coefficient is below both the Widom line and the line representing percolation of polar nanoregions.


title: Stability of strong solutions to the Navier-Stokes-Fourier system

abstract: We identify a large class of objects - dissipative measure-valued (DMV) solutions to the Navier-Stokes-Fourier system - in which the strong solutions are stable. More precisely, a DMV solution coincides with the strong solution emanating from the same initial data as long as the latter exists. The DMV solutions are represented by parameterized families of measures satisfying certain compatibility conditions. They can be seen as an analogue to the dissipative measure-valued solutions introduced earlier in the context of the (inviscid) Euler system.


title: Mining Public Opinion about Economic Issues: Twitter and the U.S. Presidential Election

abstract: Opinion polls have been the bridge between public opinion and politicians in elections. However, developing surveys to disclose people's feedback with respect to economic issues is limited, expensive, and time-consuming. In recent years, social media such as Twitter has enabled people to share their opinions regarding elections. Social media has provided a platform for collecting a large amount of social media data. This paper proposes a computational public opinion mining approach to explore the discussion of economic issues in social media during an election. Current related studies use text mining methods independently for election analysis and election prediction; this research combines two text mining methods: sentiment analysis and topic modeling. The proposed approach has effectively been deployed on millions of tweets to analyze economic concerns of people during the 2012 US presidential election.


title: A Distributed Hybrid Hardware-In-the-Loop Simulation framework for Infrastructure Enabled Autonomy

abstract: Infrastructure Enabled Autonomy (IEA) is a new paradigm that employs a distributed intelligence architecture for connected autonomous vehicles by offloading core functionalities to the infrastructure. In this paper, we develop a simulation framework that can be used to study the concept. A key challenge for such a simulation is the rapid increase in the scale of the computations with the size of the infrastructure to be considered. Our simulation framework is designed to be distributed and scales proportionally with the infrastructure. By integrally using both the hardware controllers and communication devices as part of the simulation framework, we achieve an optimal balance between modeling of the dynamics and sensors, and reusing real hardware for simulation of proprietary or complex communication methods. Multiple cameras on the infrastructure are simulated. The simulation of the camera image processing is done in distributed hardware and the resultant position information is transmitted wirelessly to the computer simulating the autonomous vehicle. We demonstrate closed loop control of a single vehicle following given waypoints using information from multiple cameras located on Road-Side-Units.


title: Aggregate Graph Statistics

abstract: Collecting statistic from graph-based data is an increasingly studied topic in the data mining community. We argue that these statistics have great value as well in dynamic IoT contexts: they can support complex computational activities involving distributed coordination and provision of situation recognition. We show that the HyperANF algorithm for calculating the neighbourhood function of vertices of a graph naturally allows for a fully distributed and asynchronous implementation, thanks to a mapping to the field calculus, a distribution model proposed for collective adaptive systems. This mapping gives evidence that the field calculus framework is well-suited to accommodate massively parallel computations over graphs. Furthermore, it provides a new "self-stabilising" building block which can be used in aggregate computing in several contexts, there including improved leader election or network vulnerabilities detection.


title: Resilient Blocks for Summarising Distributed Data

abstract: Summarising distributed data is a central routine for parallel programming, lying at the core of widely used frameworks such as the map/reduce paradigm. In the IoT context it is even more crucial, being a privileged mean to allow long-range interactions: in fact, summarising is needed to avoid data explosion in each computational unit. We introduce a new algorithm for dynamic summarising of distributed data, weighted multi-path, improving over the state-of-the-art multi-path algorithm. We validate the new algorithm in an archetypal scenario, taking into account sources of volatility of many sorts and comparing it to other existing implementations. We thus show that weighted multi-path retains adequate accuracy even in high-variability scenarios where the other algorithms are diverging significantly from the correct values.


title: Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things

abstract: In the last years Node.js has emerged as a framework particularly suitable for implementing lightweight IoT applications, thanks to its underlying asynchronous event-driven, non blocking I/O model. However, verifying the correctness of programs with asynchronous nested callbacks is quite difficult, and, hence, runtime monitoring can be a valuable support to tackle such a complex task. Runtime monitoring is a useful software verification technique that complements static analysis and testing, but has not been yet fully explored in the context of Internet of Things (IoT) systems. Trace expressions have been successfully employed for runtime monitoring in widespread multiagent system platforms. Recently, their expressive power has been extended to allow parametric specifications on data that can be captured and monitored only at runtime. Furthermore, they can be language and system agnostic, through the notion of event domain and type. This paper investigates the use of parametric trace expressions as a first step towards runtime monitoring of programs developed in Node.js and Node-RED, a flow-based IoT programming tool built on top of Node.js. Runtime verification of such systems is a task that mostly seems to have been overlooked so far in the literature. A prototype implementing the proposed system for Node.js, in order to dynamically check with trace expressions the correct usage of API functions, is presented. The tool exploits the dynamic analysis framework Jalangi for monitoring Node.js programs and allows detection of errors that would be difficult to catch with other techniques. Furthermore, it offers a simple REST interface which can be exploited for runtime verification of Node-RED components, and, more generally, IoT devices.


title: Formalising Sensor Topologies for Target Counting

abstract: We present a formal model developed to reason about topologies created by sensor ranges. This model is used to formalise the topological aspects of an existing counting algorithm to estimate the number of targets in the area covered by the sensors. To that end, we present a first-order logic tailored to specify relations between parts of the space with respect to sensor coverage. The logic serves as a specification language for Hoare-style proofs of correctness of the topological computations of the algorithm, which uncovers ambiguities in their results. Subsequently, we extend the formal model as a step towards improving the estimation of the algorithm. Finally, we sketch how the model can be extended to take mobile sensors and temporal aspects into account.


title: A relation between Mirkovi\'c-Vilonen cycles and modules over preprojective algebra of Dynkin quiver of type ADE

abstract: The irreducible components of the variety of all modules over the preprojective algebra and MV cycles both index bases of the universal enveloping algebra of the positive part of a semisimple Lie algebra canonically. To relate these two objects Baumann and Kamnitzer associate a cycle in the affine Grassmannian for a given module. It is conjectured that the ring of functions of the T-fixed point subscheme of the associated cycle is isomorphic to the cohomology ring of the quiver Grassmannian of the module. I give a proof of part of this conjecture. Given this conjecture, I give a proof of the reduceness conjecture.


title: On a family of sequences related to Chebyshev polynomials

abstract: The appearance of primes in a family of linear recurrence sequences labelled by a positive integer $n$ is considered. The terms of each sequence correspond to a particular class of Lehmer numbers, or (viewing them as polynomials in $n$) dilated versions of the so-called Chebyshev polynomials of the fourth kind, also known as airfoil polynomials. It is proved that when the value of $n$ is given by a dilated Chebyshev polynomial of the first kind evaluated at a suitable integer, either the sequence contains a single prime, or no term is prime. For all other values of $n$, it is conjectured that the sequence contains infinitely many primes, whose distribution has analogous properties to the distribution of Mersenne primes among the Mersenne numbers. Similar results are obtained for the sequences associated with negative integers $n$, which correspond to Chebyshev polynomials of the third kind, and to another family of Lehmer numbers.


title: Nadel-Nakano vanishing theorems of vector bundles with singular Hermitian metrics

abstract: We study a singular Hermitian metric of a vector bundle. First, we prove the sheaf of locally square integrable holomorphic sections of a vector bundle with a singular Hermitian metric, which is a higher rank analogy of a multiplier ideal sheaf, is coherent under some assumptions. Second, we prove a Nadel-Nakano type vanishing theorem of a vector bundle with a singular Hermitian metric. We do not use an approximation technique of a singular Hermitian metric. We apply these theorems to a singular Hermitian metric induced by holomorphic sections and a big vector bundle, and we obtain a generalization of Griffiths' vanishing theorem. Finally, we show a generalization of Ohsawa's vanishing theorem.


title: A Lean formalization of Matiyasevi\v{c}'s Theorem

abstract: In this paper, we present a formalization of Matiyasevi\v{c}'s theorem, which states that the power function is Diophantine, forming the last and hardest piece of the MRDP theorem of the unsolvability of Hilbert's 10th problem. The formalization is performed within the Lean theorem prover, and necessitated the development of a small number theory library, including in particular the solution to Pell's equation and properties of the Pell $x,y$ sequences.


title: The regularity of a semilinear elliptic system with quadratic growth of gradient

abstract: In this paper, we study semilinear elliptic systems with critical nonlinearity of the form \begin{equation}\label{sys01} \Delta u=Q(x, u, \nabla u), \end{equation} for $u: \mathbb{R}^n\rightarrow \mathbb{R}^K$, $Q$ has quadratic growth in $\nabla u$. Our work is motivated by elliptic systems for harmonic map and biharmonic map. When $n=2$, such a system does not have smooth regularity in general for $W^{1, 2}$ weak solutions, by a well-known example of J. Frehse. Classical results of harmonic map, proved by F. H\'elein (for $n=2$) and F. B\'ethuel (for $n\geq 3$), assert that a $W^{1, n}$ weak solution of harmonic map is always smooth. We extend B\'ethuel's result to above general system, that a $W^{1, n}$ weak solution of above system is smooth for $n\geq 3$. For a fourth order semilinear elliptic system with critical nonlinearity which extends biharmonic map, we prove a similar result, that a $W^{2, n/2}$ weak solution of such system is always smooth, for $n\geq 5$. We also construct various examples, and these examples show that our regularity results are optimal in various sense.


title: Continuous Production of Rovibronic Ground State RbCs Molecules via Short-Range Photoassociation to the $b^3\Pi_{1}-c^3\Sigma^+_{1}-B^1\Pi_1$ States

abstract: We have investigated rovibronic levels of the strongly mixed $b^3\Pi_1-c^3\Sigma^+_1-B^1\Pi_1$ states [the 2(1), 3(1), and 4(1) states in Hund's case (c) notation] of $^{85}$Rb$^{133}$Cs in the energy range of 13950$-$14200 cm$^{-1}$ using short-range photoassociation (PA). For selected PA states, vibrational and rotational branching in the $X^1\Sigma^+$ state have been investigated using resonance-enhanced multiphoton ionization and depletion spectroscopy. Efficient production of $^{85}$Rb$^{133}$Cs molecules in the rovibronic ground state $X^1\Sigma^+ (v=0, J=0)$, at up to $\sim$1$\times 10^4$ molecules/s, has been achieved.


title: Flux Rope Breaking and Formation of a Rotating Blowout Jet

abstract: We analyzed a small flux rope eruption converted into a helical blowout jet in a fan-spine configuration using multi-wavelength observations taken by SDO, which occurred near the limb on 2016 January 9. In our study, first, we estimated the fan-spine magnetic configuration with the potential field calculation and found a sinistral small filament inside it. The filament along with the flux rope erupted upward and interacted with the surrounding fan- spine magnetic configuration, where the flux rope breaks in the middle section. We observed compact brightening, flare ribbons and post-flare loops underneath the erupting filament. The northern section of the flux rope reconnected with the surrounding positive polarity, while the southern section straightened. Next, we observed the untwisting motion of the southern leg, which was transformed into a rotating helical blowout jet. The sign of the helicity of the mini-filament matches the one of the rotating jet. This is consistent with the jet models presented by Adams et al. (2014) and Sterling et al. (2015). We focused on the fine thread structure of the rotating jet and traced three blobs with the speed of 60-120 km/s, while the radial speed of the jet is approx 400 km/s. The untwisting motion of the jet accelerated plasma upward along the collimated outer spine field lines, and it finally evolved into a narrow coronal mass ejection at the height of approx 9 Rsun . On the basis of the detailed analysis, we discussed clear evidence of the scenario of the breaking of the flux rope and the formation of the helical blowout jet in the fan-spine magnetic configuration.


title: Optimal Scheduling across Heterogeneous Air Interfaces of LTE/WiFi Aggregation

abstract: LTE/WiFi Aggregation (LWA) provides a promising approach to relieve data traffic congestion in licensed bands by leveraging unlicensed bands. Critical challenges arise from provisioning quality-of-service (QoS) through heterogenous interfaces of licensed and unlicensed bands. In this paper, we minimize the required licensed spectrum without degrading the QoS in the presence of multiple users. Specifically, the aggregated effective capacity of LWA is firstly derived by developing a new semi-Markov model. Multi-band resource allocation with the QoS guarantee between the licensed and unlicensed bands is formulated to minimize the licensed bandwidth, convexified by exploiting Block Coordinate Descent (BCD) and difference of two convex functions (DC) programming, and solved efficiently with a new iterative algorithm. Simulation results demonstrate significant performance gain of the proposed approach over heuristic alternatives.


title: Euclidean Triangles Have No Hot Spots

abstract: We show that a second Neumann eigenfunction u of a Euclidean triangle has no critical points in the interior of the triangle.


title: Anisotropic neutron stars in $R^2$ gravity

abstract: We consider static neutron stars within the framework of $R^2$ gravity. The neutron fluid is described by three different types of realistic equations of state (soft, moderately stiff, and stiff). Using the observational data on the neutron star mass-radius relation, it is demonstrated that the characteristics of the objects supported by the isotropic fluid agree with the observations only if one uses the soft equation of state. We show that the inclusion of the fluid anisotropy enables one also to employ more stiff equations of state to model configurations that will satisfy the observational constraints sufficiently. Also, using the standard thin accretion disk model, we demonstrate potentially observable differences, which allow us to distinguish the neutron stars constructed within the modified gravity framework from those described in Einstein's general relativity.


title: Interlocking mechanism between molecular gears attached to surfaces

abstract: While molecular machines play an increasingly significant role in nanoscience research and applications, there remains a shortage of investigations and understanding of the molecular gear (cogwheel), which is an indispensable and fundamental component to drive a larger correlated molecular machine system. Employing ab initio calculations, we investigate model systems consisting of molecules adsorbed on metal or graphene surfaces, ranging from very simple triple-arm gears such as PF3 and NH3 to larger multi-arm gears based on carbon rings. We explore in detail the transmission of slow rotational motion from one gear to the next by these relatively simple molecules, so as to isolate and reveal the mechanisms of the relevant intermolecular interactions. Several characteristics of molecular gears are discussed, in particular the flexibility of the arms and the slipping and skipping between interlocking arms of adjacent gears, which differ from familiar macroscopic rigid gears. The underlying theoretical concepts suggest strongly that other analogous structures may also exhibit similar behavior which may inspire future exploration in designing large correlated molecular machines.


title: Energy-aware Adaptive Spectrum Access and Power Allocation in LAA Networks via Lyapunov Optimization

abstract: To relieve the traffic burden and improve the system capacity, licensed-assisted access (LAA) has been becoming a promising technology to the supplementary utilization of the unlicensed spectrum. However, due to the densification of small base stations (SBSs) and the dynamic variety of the number of Wi-Fi nodes in the overlapping areas, the licensed channel interference and the unlicensed channel collision could seriously influence the Quality of Service (QoS) and the energy consumption. In this paper, jointly considering time-variant wireless channel conditions, dynamic traffic loads, and random numbers of Wi-Fi nodes, we address an adaptive spectrum access and power allocation problem that enables minimizing the system power consumption under a certain queue stability constraint in the LAA-enabled SBSs and Wi-Fi networks. The complex stochastic optimization problem is rewritten as the difference of two convex (D.C.) program in the framework of Lyapunov optimization, thus developing an online energy-aware optimal algorithm. We also characterize the performance bounds of the proposed algorithm with a tradeoff of [O(1=V ); O(V )] between power consumption and delay theoretically. The numerical results verify the tradeoff and show that our scheme can reduce the power consumption over the existing scheme by up to 72.1% under the same traffic delay.


title: Neutron Lifetime and Axial Coupling Connection

abstract: Experimental studies of neutron decay, $n\to pe\bar\nu$, exhibit two anomalies. The first is a 8.6(2.1)s, roughly $4\sigma$ difference between the average beam measured neutron lifetime, $\tau_n^\text{beam}=888.0(2.0)$s, and the more precise average trapped ultra cold neutron determination, $\tau_n^\text{trap}=879.4(6)$s. The second is a $5\sigma$ difference between the pre2002 average axial coupling, $g_A$, as measured in neutron decay asymmetries $g_A^\text{pre2002}=1.2637(21)$, and the more recent, post2002, average $g_A^\text{post2002}=1.2755(11)$, where, following the UCNA collaboration division, experiments are classified by the date of their most recent result. In this study, we correlate those $\tau_n$ and $g_A$ values using a (slightly) updated relation $\tau_n(1+3g_A^2)=5172.0(1.1)$s. Consistency with that relation and better precision suggest $\tau_n^\text{favored}=879.4(6)$s and $g_A^\text{favored}=1.2755(11)$ as preferred values for those parameters. Comparisons of $g_A^\text{favored}$ with recent lattice QCD and muonic hydrogen capture results are made. A general constraint on exotic neutron decay branching ratios, $<0.27\%$, is discussed and applied to a recently proposed solution to the neutron lifetime puzzle.


title: The second lightest CP-even Higgs boson signals in the NMSSM at the LHC

abstract: We study the signal rates of the second lightest CP-even Higgs boson, $h_2$, of the NMSSM produced in gluon fusion, in association with bottom quarks and in association with top quarks, which is not the SM-like Higgs boson, at the LHC. We evaluate the production rates of the $h_2$ in the SM fermionic and bosonic final states in addition to $a_1a_1$, $h_1h_1$ and $Za_1$ final states. It is observed that the size of the signal rates in some regions of the NMSSM parameter space is quite large and that could help extracting the $h_2$ signals at the LHC through a variety of decay channels.


title: Detection of persistent signals and its relation to coherent feedforward loops

abstract: Many studies have shown that cells use temporal dynamics of signalling molecules to encode information. One particular class of temporal dynamics is persistent and transient signals, i.e. signals of long and short durations respectively. It has been shown that the coherent type-1 feedforward loop with an AND logic at the output (or C1-FFL for short) can be used to discriminate a persistent input signal from a transient one. This has been done by modelling the C1-FFL, and then use the model to show that persistent and transient input signals give, respectively, a non-zero and zero output. Instead of assuming the structure of C1-FFL, this paper shows that it is possible to deduce the C1-FFL model from the requirement of discriminating a persistent signal. We do this by first formulating a statistical detection problem of distinguishing persistent signals from transient ones. The solution of the detection problem is to compute the log-likelihood ratio of observing a persistent signal to a transient signal. We show that, if this log-likelihood ratio is positive, which happens when the signal is likely to be persistent, then it can be approximately computed by a C1-FFL. Although the capability of C1-FFL to discriminate persistent signals is known, this paper adds an information processing interpretation on how a C1-FFL works as a detector of persistent signals.


title: Channel Diagonalization for Cloud Radio Access

abstract: The diagonalization of a conventional multiple-input multiple-output (MIMO) channel into parallel and independent subchannels via singular value decomposition (SVD) is a fundamental strategy that allows the MIMO channel capacity to be achieved using scalar channel codes. This letter establishes a similar channel diagonalization result for the uplink and the downlink of a cloud radio access network (C-RAN), in which a central processor (CP) is connected to a remote radio head (RRH) serving a single user via rate-limit digital fronthaul carrying the compressed baseband signal. Specifically, we show that the diagonalization of the MIMO channel between the RRH and the user via SVD and the subsequent independent and parallel quantization of scalar signals and channel coding in each of the subchannels is optimal. This letter establishes this fact using the majorization theory. Further, an uplink-downlink duality for the multiple-antenna C-RAN is identified for this single-user case.


title: Mixed Link Networks

abstract: Basing on the analysis by revealing the equivalence of modern networks, we find that both ResNet and DenseNet are essentially derived from the same "dense topology", yet they only differ in the form of connection -- addition (dubbed "inner link") vs. concatenation (dubbed "outer link"). However, both two forms of connections have the superiority and insufficiency. To combine their advantages and avoid certain limitations on representation learning, we present a highly efficient and modularized Mixed Link Network (MixNet) which is equipped with flexible inner link and outer link modules. Consequently, ResNet, DenseNet and Dual Path Network (DPN) can be regarded as a special case of MixNet, respectively. Furthermore, we demonstrate that MixNets can achieve superior efficiency in parameter over the state-of-the-art architectures on many competitive datasets like CIFAR-10/100, SVHN and ImageNet.


title: Suspension splittings and self-maps of flag manifolds

abstract: If $G$ is a compact connected Lie group and $T$ is a maximal torus, we give a wedge decomposition of $\Sigma G/T$ by identifying families of idempotents in cohomology. This is used to give new information on the self-maps of $G/T$.


title: Polynomial Invariants for Affine Programs

abstract: We exhibit an algorithm to compute the strongest polynomial (or algebraic) invariants that hold at each location of a given affine program (i.e., a program having only non-deterministic (as opposed to conditional) branching and all of whose assignments are given by affine expressions). Our main tool is an algebraic result of independent interest: given a finite set of rational square matrices of the same dimension, we show how to compute the Zariski closure of the semigroup that they generate.


title: Topological light-trapping on a dislocation

abstract: Topology has been revealed to play a fundamental role in physics in the past decades. Topological insulators have unconventional gapless edge states where disorder-induced back-scattering is suppressed. In photonics, such edge states lead to unidirectional waveguides which are useful for integrated photonic chips. Cavity modes, another type of fundamental components in photonic chips, however, are not protected by band topology because of their lower dimensions. Here we demonstrate that concurrent wavevector-space and real-space topology, dubbed as the "dual-topology", can lead to light-trapping in lower-dimensions. The resultant photonic bound state emerges as a Jackiw-Rebbi soliton mode localized on a dislocation in a two-dimensional (2D) photonic crystal, as predicted theoretically and discovered experimentally. Such a strongly-confined 0D localized mode, which is solely due to the topological mechanism, is found to be robust against perturbations. Our study unveils a new mechanism for topological light-trapping in lower-dimensions, which is valuable for fundamental physics and a variety of applications in photonics.


title: Decoding-History-Based Adaptive Control of Attention for Neural Machine Translation

abstract: Attention-based sequence-to-sequence model has proved successful in Neural Machine Translation (NMT). However, the attention without consideration of decoding history, which includes the past information in the decoder and the attention mechanism, often causes much repetition. To address this problem, we propose the decoding-history-based Adaptive Control of Attention (ACA) for the NMT model. ACA learns to control the attention by keeping track of the decoding history and the current information with a memory vector, so that the model can take the translated contents and the current information into consideration. Experiments on Chinese-English translation and the English-Vietnamese translation have demonstrated that our model significantly outperforms the strong baselines. The analysis shows that our model is capable of generating translation with less repetition and higher accuracy. The code will be available at https://github.com/lancopku


title: Eigenvalues of the linearized 2D Euler equations via Birman-Schwinger and Lin's operators

abstract: We study spectral instability of steady states to the linearized 2D Euler equations on the torus written in vorticity form via certain Birman-Schwinger type operators $K_{\lambda}(\mu)$ and their associated 2-modified perturbation determinants $\mathcal D(\lambda,\mu)$. Our main result characterizes the existence of an unstable eigenvalue to the linearized vorticity operator $L_{\rm vor}$ in terms of zeros of the 2-modified Fredholm determinant $\mathcal D(\lambda,0)=\det_{2}(I-K_{\lambda}(0))$ associated with the Hilbert Schmidt operator $K_{\lambda}(\mu)$ for $\mu=0$. As a consequence, we are also able to provide an alternative proof to an instability theorem first proved by Zhiwu Lin which relates existence of an unstable eigenvalue for $L_{\rm vor}$ to the number of negative eigenvalues of a limiting elliptic dispersion operator $A_{0}$.


title: Non-weight modules over algebras related to the Virasoro algebra

abstract: In this paper, we study a class of non-weight modules over two kinds of algebras related to the Virasoro algebra, i.e., the loop-Virasoro algebras $\mathfrak{L}$ and a class of Block type Lie algebras $\mathfrak{B(q)}$, where $q$ is a nonzero complex number. We determine those modules whose restriction to the Cartan subalgebra (modulo center) are free of rank one. We also provide a sufficient and necessary condition for such modules to be simple, and determine their isomorphism classes. Moreover, we obtain the simplicity of modules over loop-Virasoro algebras by taking tensor products of some irreducible modules mentioned above with irreducible highest weight modules or Whittaker modules.


title: Effects of Jamming Attacks on Wireless Networked Control Systems Under Disturbance

abstract: Jamming attacks on wireless networked control systems are investigated for the scenarios where the system dynamics face exogenous disturbance. In particular, the control input packets are assumed to be transmitted from a controller to a remotely located linear plant over an insecure wireless communication channel that is subject to jamming attacks. The time-varying likelihood of transmission failures on this channel depends on the power of the jamming interference signal emitted by an attacker. We show that jamming attacks can prevent stability when the system faces disturbance, even if the attacked system without disturbance is stable. We also show that stability under jamming and disturbance can be achieved if the average jamming interference power is restricted in a certain way that we characterize in the paper. We illustrate our results on an example networked control system with a fading wireless channel, where the outage probability is affected by jamming attacks.


title: Strong photon antibunching in weakly nonlinear two-dimensional exciton-polaritons

abstract: A deterministic and scalable array of single photon nonlinearities in the solid state holds great potential for both fundamental physics and technological applications, but its realization has proved extremely challenging. Despite significant advances, leading candidates such as quantum dots and group III-V quantum wells have yet to overcome their respective bottlenecks in random positioning and weak nonlinearity. Here we consider a hybrid light-matter platform, marrying an atomically thin two-dimensional material to a photonic crystal cavity, and analyze its second-order coherence function. We identify several mechanisms for photon antibunching under different system parameters, including one characterized by large dissipation and weak nonlinearity. Finally, we show that by patterning the two-dimensional material into different sizes, we can drive our system dynamics from a coherent state into a regime of strong antibunching with $g^{(2)}(0) \sim 10^{-3}$, opening a possible route to building scalable, on-chip quantum simulators.


title: Byte-Level Recursive Convolutional Auto-Encoder for Text

abstract: This article proposes to auto-encode text at byte-level using convolutional networks with a recursive architecture. The motivation is to explore whether it is possible to have scalable and homogeneous text generation at byte-level in a non-sequential fashion through the simple task of auto-encoding. We show that non-sequential text generation from a fixed-length representation is not only possible, but also achieved much better auto-encoding results than recurrent networks. The proposed model is a multi-stage deep convolutional encoder-decoder framework using residual connections, containing up to 160 parameterized layers. Each encoder or decoder contains a shared group of modules that consists of either pooling or upsampling layers, making the network recursive in terms of abstraction levels in representation. Results for 6 large-scale paragraph datasets are reported, in 3 languages including Arabic, Chinese and English. Analyses are conducted to study several properties of the proposed model.


title: Fog Computing in IoT Aided Smart Grid Transition- Requirements, Prospects, Status Quos and Challenges

abstract: Due to unfolded developments in both the IT sectors viz. Intelligent Transportation and Information Technology contemporary Smart Grid (SG) systems are leveraged with smart devices and entities. Such infrastructures when bestowed with the Internet of Things (IoT) and sensor network make a universe of objects active and online. The traditional cloud deployment succumbs to meet the analytics and computational exigencies decentralized, dynamic cum resource-time critical SG ecosystems. This paper synoptically inspects to what extent the cloud computing utilities can satisfy the mission-critical requirements of SG ecosystems and which subdomains and services call for fog based computing archetypes. The objective of this work is to comprehend the applicability of fog computing algorithms to interplay with the core centered cloud computing support, thus enabling to come up with a new breed of real-time and latency free SG services. The work also highlights the opportunities brought by fog based SG deployments. Correspondingly, we also highlight the challenges and research thrusts elucidated towards the viability of fog computing for successful SG Transition.


title: SDSS-IV MaNGA: Global stellar population and gradients for about 2000 early-type and spiral galaxies on the mass-size plane

abstract: We perform full spectrum fitting stellar population analysis and Jeans Anisotropic modelling (JAM) of the stellar kinematics for about 2000 early-type galaxies (ETGs) and spiral galaxies from the MaNGA DR14 sample. Galaxies with different morphologies are found to be located on a remarkably tight mass plane which is close to the prediction of the virial theorem, extending previous results for ETGs. By examining an inclined projection (`the mass-size' plane), we find that spiral and early-type galaxies occupy different regions on the plane, and their stellar population properties (i.e. age, metallicity and stellar mass-to-light ratio) vary systematically along roughly the direction of velocity dispersion, which is a proxy for the bulge fraction. Galaxies with higher velocity dispersions have typically older ages, larger stellar mass-to-light ratios and are more metal rich, which indicates that galaxies increase their bulge fractions as their stellar populations age and become enriched chemically. The age and stellar mass-to-light ratio gradients for low-mass galaxies in our sample tend to be positive ($\rm centre<outer$), while the gradients for most massive galaxies are negative. The metallicity gradients show a clear peak around velocity dispersion $\log_{10} \sigma_{\rm e}\approx 2.0$, which corresponds to the critical mass $\sim 3\times 10^{10}M_{\odot}$ of the break in the mass-size relation. Spiral galaxies with large mass and size have the steepest gradients, while the most massive ETGs, especially above the critical mass $M_{\rm crit}\ge 2\times 10^{11} M_{\odot}$, where slow rotator ETGs start dominating, have much flatter gradients. This may be due to differences in their evolution histories, e.g. mergers.


title: Fuzzification of Strongly Compact and Locally Strongly Compact Spaces

abstract: In this paper, we study some characterizations of fuzzifying strong compactness including nets and pre-subbases properties. We also introduve new characterizations of locally strong compactness in fuzzifying topology and mappings.


title: Rollable Latent Space for Azimuth Invariant SAR Target Recognition

abstract: This paper proposes rollable latent space (RLS) for an azimuth invariant synthetic aperture radar (SAR) target recognition. Scarce labeled data and limited viewing direction are critical issues in SAR target recognition.The RLS is a designed space in which rolling of latent features corresponds to 3D rotation of an object. Thus latent features of an arbitrary view can be inferred using those of different views. This characteristic further enables us to augment data from limited viewing in RLS. RLS-based classifiers with and without data augmentation and a conventional classifier trained with target front shots are evaluated over untrained target back shots. Results show that the RLS-based classifier with augmentation improves an accuracy by 30% compared to the conventional classifier.


title: Geometry-Contrastive GAN for Facial Expression Transfer

abstract: In this paper, we propose a Geometry-Contrastive Generative Adversarial Network (GC-GAN) for transferring continuous emotions across different subjects. Given an input face with certain emotion and a target facial expression from another subject, GC-GAN can generate an identity-preserving face with the target expression. Geometry information is introduced into cGANs as continuous conditions to guide the generation of facial expressions. In order to handle the misalignment across different subjects or emotions, contrastive learning is used to transform geometry manifold into an embedded semantic manifold of facial expressions. Therefore, the embedded geometry is injected into the latent space of GANs and control the emotion generation effectively. Experimental results demonstrate that our proposed method can be applied in facial expression transfer even there exist big differences in facial shapes and expressions between different subjects.


title: A Physical Light Transport Model for Non-Line-of-Sight Imaging Applications

abstract: Non-line-of-sight (NLOS) imaging has recently attracted a lot of interest from the scientific community. The goal of this paper is to provide the basis for a comprehensive mathematical framework for NLOS imaging that is directly derived from physical concepts. We introduce the irradiance phasor field (P-field) as an abstract quantity for irradiance fluctuations, akin to the complex envelope of the Electrical field (E-field) that is used to describe propagation of electromagnetic energy. We demonstrate that the P-field propagator is analogous to the Huygens-Fresnel propagator that describes the propagation of other waves and show that NLOS light transport can be described with the processing methods that are available for LOS imaging. We perform simulations to demonstrate the accuracy and validity of the P-field formulation and provide experimental results to demonstrate a Huygens-like P-field summation behavior.


title: On the limitations of statistical absorption studies with the Sloan Digital Sky Surveys I--III

abstract: We investigate the limitations of statistical absorption measurements with the SDSS optical spectroscopic surveys. We show that changes in the data reduction strategy throughout different data releases have led to a better accuracy at long wavelengths, in particular for sky line subtraction, but a degradation at short wavelengths with the emergence of systematic spectral features with an amplitude of about one percent. We show that these features originate from inaccuracy in the fitting of modeled F-star spectra used for flux calibration. The best-fit models for those stars are found to systematically over-estimate the strength of metal lines and under-estimate that of Lithium. We also identify the existence of artifacts due to masking and interpolation procedures at the wavelengths of the hydrogen Balmer series leading to the existence of artificial Balmer $\alpha$ absorption in all SDSS optical spectra. All these effects occur in the rest-frame of the standard stars and therefore present Galactic longitude variations due to the rotation of the Galaxy. We demonstrate that the detection of certain weak absorption lines reported in the literature are solely due to calibration effects. Finally, we discuss new strategies to mitigate these issues.


title: Transversals in Uniform Linear Hypergraphs

abstract: The transversal number $\tau(H)$ of a hypergraph $H$ is the minimum number of vertices that intersect every edge of $H$. A linear hypergraph is one in which every two distinct edges intersect in at most one vertex. A $k$-uniform hypergraph has all edges of size $k$. It is known that $\tau(H) \le (n + m)/(k+1)$ holds for all $k$-uniform, linear hypergraphs $H$ when $k \in \{2,3\}$ or when $k \ge 4$ and the maximum degree of $H$ is at most two. It has been conjectured that $\tau(H) \le (n+m)/(k+1)$ holds for all $k$-uniform, linear hypergraphs $H$. We disprove the conjecture for large $k$, and show that the best possible constant $c_k$ in the bound $\tau(H) \le c_k (n+m)$ has order $\ln(k)/k$ for both linear (which we show in this paper) and non-linear hypergraphs. We show that for those $k$ where the conjecture holds, it is tight for a large number of densities if there exists an affine plane $AG(2,k)$ of order $k \ge 2$. We raise the problem to find the smallest value, $k_{\min}$, of $k$ for which the conjecture fails. We prove a general result, which when applied to a projective plane of order $331$ shows that $k_{\min} \le 166$. Even though the conjecture fails for large $k$, our main result is that it still holds for $k=4$, implying that $k_{\min} \ge 5$. The case $k=4$ is much more difficult than the cases $k \in \{2,3\}$, as the conjecture does not hold for general (non-linear) hypergraphs when $k=4$. Key to our proof is the completely new technique of the deficiency of a hypergraph introduced in this paper.


title: Switchable Virtual, Augmented, and Mixed Reality through Optical Cloaking

abstract: A switchable virtual reality (VR), augmented reality (AR), and mixed reality (MR) system is proposed using digital optical cloaking. Optical cloaking allows completely opaque VR devices to be "cloaked," switching to AR or MR while providing correct three-dimensional (3D) parallax and perspective of the real world, without the need for transparent optics. On the other hand, 3D capture and display devices with non-zero thicknesses, require optical cloaking to properly display captured reality. A simplified stereoscopic system with two cameras and existing VR systems can be an approximation for limited VR, AR, or MR. To provide true 3D visual effects, multiple input cameras, a 3D display, and a simple linear calculation amounting to cloaking can be used. Since the display size requirements for VR, AR, and MR are usually small, with increasing computing power and pixel densities, the framework presented here can provide a widely deployable VR, AR, MR design.


title: Coalgebroids in monoidal bicategories and their comodules

abstract: Quantum categories have been recently studied because of their relation to bialgebroids, small categories, and skew monoidales. This is the first of a series of papers based on the author's PhD thesis in which we examine the theory of quantum categories developed by Day, Lack, and Street. A quantum category is an opmonoidal monad on the monoidale associated to a biduality $R\dashv R^{\circ}$, or enveloping monoidale, in a monoidal bicategory of modules $\mathsf{Mod}(\mathcal{V})$ for a monoidal category $\mathcal{V}$. Lack and Street proved that quantum categories are in equivalence with right skew monoidales whose unit has a right adjoint in $\mathsf{Mod}(\mathcal{V})$. Our first important result is similar to that of Lack and Street. It is a characterisation of opmonoidal \emph{arrows} on enveloping monoidales in terms of a new structure named \emph{oplax action}. We then provide three different notions of comodule for an opmonoidal arrow, and using a similar technique we prove that they are equivalent. Finally, when the opmonoidal arrow is an opmonoidal monad, we are able to provide the category of comodules for a quantum category with a monoidal structure such that the forgetful functor is monoidal.


title: Weighted composition operators on the class of subordinate functions

abstract: In this article, we study the weighted composition operators preserving the class $\mathcal{P}_{\alpha}$ of analytic functions subordinate to $\frac{1+\alpha z}{1-z}$ for $|\alpha|\leq 1, \alpha \neq -1$. Some of its consequences and examples for some special cases are presented. Furthermore, we discuss about the fixed points of weighted composition operators.


title: Average Case $(s, t)$-weak tractability of non-homogenous tensor product problems

abstract: We study $d$-variate problem in the average case setting with respect to a zero-mean Gaussian measure. The covariance kernel of this Gaussian measure is a product of univariate kernels and satisfies some special properties. We study $(s, t)$-weak tractability of this multivariate problem, and obtain a necessary and sufficient condition for $s>0$ and $t\in(0,1)$. Our result can apply to the problems with covariance kernels corresponding to Euler and Wiener integrated processes, Korobov kernels, and analytic Korobov kernels.


title: A Neurobiologically Motivated Analysis of Distributional Semantic Models

abstract: The pervasive use of distributional semantic models or word embeddings in a variety of research fields is due to their remarkable ability to represent the meanings of words for both practical application and cognitive modeling. However, little has been known about what kind of information is encoded in text-based word vectors. This lack of understanding is particularly problematic when word vectors are regarded as a model of semantic representation for abstract concepts. This paper attempts to reveal the internal information of distributional word vectors by the analysis using Binder et al.'s (2016) brain-based vectors, explicitly structured conceptual representations based on neurobiologically motivated attributes. In the analysis, the mapping from text-based vectors to brain-based vectors is trained and prediction performance is evaluated by comparing the estimated and original brain-based vectors. The analysis demonstrates that social and cognitive information is better encoded in text-based word vectors, but emotional information is not. This result is discussed in terms of embodied theories for abstract concepts.


title: Estimate for norm of a composition operator on the Hardy-Dirichlet space

abstract: By using the Schur test, we give some upper and lower estimates on the norm of a composition operator on $\mathcal{H}^2$, the space of Dirichlet series with square summable coefficients, for the inducing symbol $\varphi(s)=c_1+c_{q}q^{-s}$ where $q\geq 2$ is a fixed integer. We also give an estimate on the approximation numbers of such an operator.


title: Chiral density wave versus pion condensation at finite density

abstract: The quark-meson model is often used as an effective low-energy model for QCD to study the chiral transition at finite temperature $T$, baryon chemical potential $\mu_B$, and isospin chemical potential $\mu_I$. The parameters of the model are determined by matching the meson and quark masses, as well as the pion decay constant to their physical values using the on-shell and modified minimal subtraction schemes. In this paper, we study the possibility of different phases at zero temperature. In particular, we investigate the competition between an inhomogeneous chiral condensate and a pion condensate. For the inhomogeneity, we use a chiral-density wave ansatz. For a sigma mass of $600$ MeV, we find that an inhomogeneous chiral condensate exist only for pion masses below approximately 37 MeV. We also show that due to our parameter fixing, the onset of pion condensation takes place exactly at $\mu_I={1\over2}m_{\pi}$ in accordance with exact results.


title: How far can neural correlations reduce uncertainty? Comparison of Information Transmission Rates for Markov and Bernoulli processes

abstract: The nature of neural codes is central to neuroscience. Do neurons encode information through relatively slow changes in the emission rates of individual spikes (rate code), or by the precise timing of every spike (temporal codes)? Here we compare the loss of information due to correlations for these two possible neural codes. The essence of Shannon's definition of information is to combine information with uncertainty: the higher the uncertainty of a given event, the more information is conveyed by that event. Correlations can reduce uncertainty or the amount of information, but by how much? In this paper we address this question by a direct comparison of the information per symbol conveyed by the words coming from a binary Markov source (temporal codes) with the information per symbol coming from the corresponding Bernoulli source (uncorrelated, rate code source). In a previous paper we found that a crucial role in the relation between Information Transmission Rates (ITR) and Firing Rates is played by a parameter s, which is the sum of transitions probabilities from the no-spike-state to the spike-state and vice versa. It turned out that also in this case a crucial role is played by the same parameter s. We found bounds of the quotient of ITRs for these sources, i.e. this quotient's minimal and maximal values. Next, making use of the entropy grouping axiom, we determined the loss of information in a Markov source in relation to its corresponding Bernoulli source for a given length of word. Our results show that in practical situations in the case of correlated signals the loss of information is relatively small, thus temporal codes, which are more energetically efficient, can replace the rate code effectively. These phenomena were confirmed by experiments.


title: The Labyrinth of Quantum Logic

abstract: Quantum mechanics predicts many surprising phenomena, including the two-slit interference of electrons. It has often been claimed that these phenomena cannot be understood in classical terms. But the meaning of "classical" is often not precisely specified. One might, for example, interpret it as "classical physics" or "classical logic" or "classical probability theory". Quantum mechanics also suffers from a conceptual difficulty known as the measurement problem. Early in his career, Hilary Putnam believed that modifications of classical logic could both solve the measurement problem and account for the two-slit phenomena. Over 40 years later he had abandoned quantum logic in favor of the investigation of various theories--using classical logic and probability theory--that can accomplish these tasks. The trajectory from Putnam's earlier views to his later views illustrates the difficulty trying to solve physical problems with alterations of logic or mathematics.


title: Quantum Zeno dynamics of a matter-wave bright soliton

abstract: The quantum measurement problem, namely how the deterministic quantum evolution leads to probabilistic measurement outcomes, remains a profound question to be answered. In the present work, we propose a spectacular demonstration and test of the subtle and peculiar character of the quantum measurement process. We show that a bright soliton supported by a Bose-Einstein condensate can be reflected as a whole by an electron beam, with neither attraction nor repulsion between the condensate's neutral atoms and the beam's electrons. This macroscopic reflection is purely due to the quantum Zeno dynamics induced by the frequent position measurement of the condensate's atoms by the electron beam. As an example of application, just as a soccer player would stop a coming ball, an electron beam moving backward with half the velocity of the bright soliton can precisely stop the soliton. This offers an entirely new and useful tool for manipulating bright solitons.


title: Slopes and signatures of links

abstract: We define the slope of a colored link in an integral homology sphere, associated to admissible characters on the link group. Away from a certain singular locus, the slope is a rational function which can be regarded as a multivariate generalization of the Kojima--Yamasaki $\eta$-function. It is the ratio of two Conway potentials, provided that the latter makes sense; otherwise, it is a new invariant. The slope is responsible for an extra correction term in the signature formula for the splice of two links, in the previously open exceptional case where both characters are admissible. Using a similar construction for a special class of tangles, we formulate generalized skein relations for the signature.


title: Space-homogeneous quantum walks on Z from the viewpoint of complex analysis

abstract: The subject of this paper is quantum walks, which are expected to simulate several kinds of quantum dynamical systems. In this paper, we define analyticity for quantum walks on Z. Almost all the quantum walks on $\mathbb{Z}$ which have been already studied are analytic. In the framework of analytic quantum walks, we can enlarge the theory of quantum walks. We obtain not only several generalizations of known results, but also new types of theorems. It is proved that every analytic space-homogeneous quantum walk on Z is essentially a composite of shift operators and continuous-time analytic space-homogeneous quantum walks. We also prove existence of the weak limit distribution for analytic space-homogeneous quantum walks on Z.


title: Real Tropical Singularities and Bergman Fans

abstract: In this paper, we classify singular real plane tropical curves by means of subdivisions of Newton polytopes. First, we introduce signed Bergman fans (generalizing positive Bergman fans from [AKW06]) that describe real tropicalizations of real linear spaces ([Tab15]). Then, we establish a duality of real plane tropical curves and signed regular subdivisions of the Newton polytope and explore the combinatorics. We define a signed secondary fan that parametrizes real tropical Laurent polynomials and study the subset providing singular real plane tropical curves. A cone of the signed secondary fan is of maximal dimensional type if its corresponding subdivision contains only marked points ([MMS12a]). These cones parametrize real plane tropical curves. We classify singular real plane tropical curves of maximal dimensional type.


title: Atlas for the properties of elemental 2D metals

abstract: Common two-dimensional (2D) materials have a layered 3D structure with covalently bonded, atomically thin layers held together by weak van der Waals forces. However, in a recent transmission electron microscopy experiment, atomically thin 2D patches of iron were discovered inside a graphene nanopore. Motivated by this discovery, we perform a systematic density-functional study on atomically thin elemental 2D metal films, using 45 metals in three lattice structures. Cohesive energies, equilibrium distances, and bulk moduli in 2D are found to be linearly correlated to the corresponding 3D bulk properties, enabling the quick estimation of these values for a given 2D metal and lattice structure. In-plane elastic constants show that most 2D metals are stable in hexagonal and honeycomb, but unstable in square 2D structures. Many 2D metals are surprisingly stable against bending.


title: Search for a Structure in the $B^0_s \pi^\pm$ Invariant Mass Spectrum with the ATLAS Experiment

abstract: A search for the narrow structure, $X(5568)$, reported by the D0 Collaboration in the decay sequence $X \to B^0_s \pi^\pm$, $B^0_s \to J/\psi\phi$, is presented. The analysis is based on a data sample recorded with the ATLAS detector at the LHC corresponding to 4.9 fb$^{-1}$ of $pp$ collisions at 7 TeV and 19.5 fb$^{-1}$ at 8 TeV. No significant signal was found. Upper limits on the number of signal events, with properties corresponding to those reported by D0, and on the $X$ production rate relative to $B^0_s$ mesons, $\rho_X$, were determined at 95% confidence level. The results are $N(X) < 382$ and $\rho_X < 0.015$ for $B^0_s$ mesons with transverse momenta above 10 GeV, and $N(X) < 356$ and $\rho_X < 0.016$ for transverse momenta above 15 GeV. Limits are also set for potential $B^0_s \pi^\pm$ resonances in the mass range 5550 MeV to 5700 MeV.


title: Quantifying dependencies for sensitivity analysis with multivariate input sample data

abstract: We present a novel method for quantifying dependencies in multivariate datasets, based on estimating the R\'{e}nyi entropy by minimum spanning trees (MSTs). The length of the MSTs can be used to order pairs of variables from strongly to weakly dependent, making it a useful tool for sensitivity analysis with dependent input variables. It is well-suited for cases where the input distribution is unknown and only a sample of the inputs is available. We introduce an estimator to quantify dependency based on the MST length, and investigate its properties with several numerical examples. To reduce the computational cost of constructing the exact MST for large datasets, we explore methods to compute approximations to the exact MST, and find the multilevel approach introduced recently by Zhong et al. (2015) to be the most accurate. We apply our proposed method to an artificial testcase based on the Ishigami function, as well as to a real-world testcase involving sediment transport in the North Sea. The results are consistent with prior knowledge and heuristic understanding, as well as with variance-based analysis using Sobol indices in the case where these indices can be computed.


title: Rational RBF-based partition of unity method for efficiently and accurately approximating 3D objects

abstract: We consider the problem of reconstructing 3D objects via meshfree interpolation methods. In this framework, we usually deal with large data sets and thus we develop an efficient local scheme via the well-known Partition of Unity (PU) method. The main contribution in this paper consists in constructing the local interpolants for the implicit interpolation by means of Rational Radial Basis Functions (RRBFs). Numerical evidence confirms that the proposed method is particularly performing when 3D objects, or more in general implicit functions defined by scattered data, need to be approximated.


title: Double Collins effect in $e^+ e^-\to\Lambda \bar\Lambda X$ process in a diquark spectator model

abstract: We study the Collins function $H^\perp_{1}$ of the $\Lambda$ hyperon, which describes the fragmentation of a transversely polarized quark into an unpolarized $\Lambda$ hyperon. We calculate $H^\perp_{1}$ for light quarks of the $\Lambda$ hyperon, in the diquark spectator model with a Gaussian form factor for the hyperon-quark-diquark vertex. The model calculation includes contributions from both the scalar diquark and vector diquark spectators. Using the model result, we estimate the weighted $\cos2\phi_0$ asymmetry in the process $e^+e^- \to \Lambda\bar{\Lambda}X$ contributed by the coupling of two Collins functions. The QCD evolution effects for the first $k_T$-moment of the Collins function and the unpolarized fragmentation function $D_1(z)$ are also included. The results show that asymmetry is sizable and measurable at the kinematical configurations of Belle and BaBar experiments. We also find that the evolution effects play an important role in the phenomenological analysis.


title: Spin transport in multilayer systems with fully epitaxial NiO thin films

abstract: We report on the generation and transport of thermal spin currents in fully epitaxial {\gamma}-Fe$_2$O$_3$/NiO(001)/Pt and Fe$_3$O$_4$/NiO(001)/Pt trilayers. A thermal gradient, perpendicular to the plane of the sample, generates a magnonic spin current in the ferrimagnetic maghemite ({\gamma}-Fe$_2$O$_3$) and magnetite (Fe$_3$O$_4$) thin films by means of the spin Seebeck effect. The spin current propagates across the epitaxial, antiferromagnetic insulating NiO layer, before being detected in the Pt layer by the inverse spin Hall effect. The transport of the spin signal is studied as a function of the NiO thickness, temperature and ferrimagnetic material where the spin current is generated. In epitaxial NiO grown on maghemite, the spin Seebeck signal decays exponentially as a function of the NiO thickness, with a spin-diffusion length for thermally-generated magnons of {\lambda}$_{MSDL}$ = $1.6 \pm 0.2$ nm, largely independent on temperature. We see no enhancement of the spin current signal as previously reported for certain temperatures and thicknesses of the NiO. In epitaxial NiO grown on magnetite, the temperature-averaged spin diffusion length is {\lambda}$_{MSDL}$ = $3.8 \pm 0.3$ nm, and we observe an enhancement of the spin signal when the NiO thickness is 0.8 nm, demonstrating that the growth conditions dramatically affect the spin transport properties of the NiO even for full epitaxial growth. In contrast to theoretical predictions for coherent spin transport, we do not see vastly different spin diffusion lengths between epitaxial and polycrystalline NiO layers.


title: Failure of the integral Hodge conjecture for threefolds of Kodaira dimension zero

abstract: We prove that the product of an Enriques surface and a very general curve of genus at least 1 does not satisfy the integral Hodge conjecture for 1-cycles. This provides the first examples of smooth projective complex threefolds of Kodaira dimension zero for which the integral Hodge conjecture fails, and the first examples of non-algebraic torsion cohomology classes of degree 4 on smooth projective complex threefolds.


title: Thermal conductivity of thin insulating films determined by tunnel magneto-Seebeck effect measurements and finite-element modeling

abstract: In general, it is difficult to access the thermal conductivity of thin insulating films experimentally just by electrical means. Here, we present a new approach utilizing the tunnel magneto-Seebeck effect (TMS) in combination with finite-element modeling (FEM). We detect the laser-induced TMS and the absolute thermovoltage of laser-heated magnetic tunnel junctions with 2.6 nm thin barriers of MgAl$_2$O$_4$ (MAO) and MgO, respectively. A second measurement of the absolute thermovoltage after a dielectric breakdown of the barrier grants insight into the remaining thermovoltage of the stack. Thus, the pure TMS without any parasitic Nernst contributions from the leads can be identified. In combination with FEM via COMSOL, we are able to extract values for the thermal conductivity of MAO ($0.7$ W/(K$\cdot$m)) and MgO ($5.8$ W/(K$\cdot$m)), which are in very good agreement with theoretical predictions. Our method provides a new promising way to extract the experimentally challenging parameter of the thermal conductivity of thin insulating films.


title: A large deviation approach to super-critical bootstrap percolation on the random graph $G_{n,p}$

abstract: We consider the Erd\"{o}s--R\'{e}nyi random graph $G_{n,p}$ and we analyze the simple irreversible epidemic process on the graph, known in the literature as bootstrap percolation. We give a quantitative version of some results by Janson et al. (2012), providing a fine asymptotic analysis of the final size $A_n^*$ of active nodes, under a suitable super-critical regime. More specifically, we establish large deviation principles for the sequence of random variables $\{\frac{n- A_n^*}{f(n)}\}_{n\geq 1}$ with explicit rate functions and allowing the scaling function $f$ to vary in the widest possible range.


title: On quiver Grassmannians and orbit closures for gen-finite modules

abstract: We show that endomorphism rings of cogenerators in the module category of a finite-dimensional algebra A admit a canonical tilting module, whose tilted algebra B is related to A by a recollement. Let M be a gen-finite A-module, meaning there are only finitely many indecomposable modules generated by M. Using the canonical tilts of endomorphism algebras of suitable cogenerators associated to M, and the resulting recollements, we construct desingularisations of the orbit closure and quiver Grassmannians of M, thus generalising all results from previous work of Crawley-Boevey and the second author in 2017. We provide dual versions of the key results, in order to also treat cogen-finite modules.


title: Breakdown of Ehrenfest theorem for free particle constrained on a hypersurface

abstract: There is a belief that the Ehrenfest theorem holds true universally. We demonstrate that for a classically nonrelativistic particle constrained on an $N-1$ ($N\geq 2$) curved hypersurface embedded in $N$ flat space, the theorem breaks down.