title: Supersymmetric Schr\"odinger Operators with Applications to Morse Theory

abstract: In 1981 Edward Witten proved a remarkable result where he derived the classical Morse Inequalities using ideas from Supersymmetric (SUSY) Quantum Mechanics. In this regard, one has an example where a Physical Theory has something to say about the underlying Mathematical Structure. The objective of this essay is to understand this classical result from the perspective of Schr\"{o}dinger Operators. The essay will be divided in four parts. The first part will revisit the classical theory of Morse and recall some of its fundamental results. In the second part, we consider the underlying physical motivations by considering Quantum Mechanics and 0-Dimensional SUSY. The third part will focus on Schr\"{o}dinger Operators and highlight some of their basic properties. Finally in the last section we will put everything together and present Witten's proof of the Morse Inequalities. Even here we must be completely honest and say that we only follow Witten in proving the Weak Morse Inequalities. The Strong Morse Inequalities are derived using related ideas from Supersymmetry, but mention is made of the techniques used by Witten to get at the Strong Morse Inequalities.


title: Topological surfaces as gridded surfaces in geometrical spaces

abstract: In this paper we study topological surfaces as gridded surfaces in the 2-dimensional scaffolding of cubic honeycombs in Euclidean and hyperbolic spaces.


title: The Calabi Conjecture

abstract: In this essay we aim to explore the Geometric aspects of the Calabi Conjecture and highlight the techniques of nonlinear Elliptic PDE theory used by S.T. Yau [SY] in obtaining a solution to the problem. Yau proves the existence of a Geometric structure using differential equations, giving importance to the idea that deep insights into geometry can be obtained by studying solutions of such equations. Yau's proof of the existence of a specific class of metrics have found a natural interpretation in recent developments in Theoretical Physics most notably in the formulation of String Theory. We will also attempt to explore the importance of a special case of Yau's solution known as Calabi-Yau Manifolds in the context of holonomy.


title: SCALPEL: Extracting Neurons from Calcium Imaging Data

abstract: In the past few years, new technologies in the field of neuroscience have made it possible to simultaneously image activity in large populations of neurons at cellular resolution in behaving animals. In mid-2016, a huge repository of this so-called "calcium imaging" data was made publicly-available. The availability of this large-scale data resource opens the door to a host of scientific questions, for which new statistical methods must be developed. In this paper, we consider the first step in the analysis of calcium imaging data: namely, identifying the neurons in a calcium imaging video. We propose a dictionary learning approach for this task. First, we perform image segmentation to develop a dictionary containing a huge number of candidate neurons. Next, we refine the dictionary using clustering. Finally, we apply the dictionary in order to select neurons and estimate their corresponding activity over time, using a sparse group lasso optimization problem. We apply our proposal to three calcium imaging data sets. Our proposed approach is implemented in the R package scalpel, which is available on CRAN.


title: The Star Blended with the MOA-2008-BLG-310 Source Is Not the Exoplanet Host Star

abstract: High resolution Hubble Space Telescope (HST) image analysis of the MOA-2008-BLG-310 microlens system indicates that the excess flux at the location of the source found in the discovery paper cannot primarily be due to the lens star because it does not match the lens-source relative proper motion, $\mu_{\rm rel}$, predicted by the microlens models. This excess flux is most likely to be due to an unrelated star that happens to be located in close proximity to the source star. Two epochs of HST observations indicate proper motion for this blend star that is typical of a random bulge star, but is not consistent with a companion to the source or lens stars if the flux is dominated by only one star, aside from the lens. We consider models in which the excess flux is due to a combination of an unrelated star and the lens star, and this yields 95\% confidence level upper limit on the lens star brightness of $I_L > 22.44$ and $V_L >23.62$. A Bayesian analysis using a standard Galactic model and these magnitude limits yields a host star mass $M_h = 0.21 ^{+0.21}_{-0.09}~ M_\odot$, a planet mass of $m_p = 23.4 ^{+23.9}_{-9.9}~M_\oplus$ at a projected separation of $a_\perp = 1.12^{+0.16}_{-0.17},$AU. This result illustrates excess flux in a high resolution image of a microlens-source system need not be due to the lens. It is important to check that the lens-source relative proper motion is consistent with the microlensing prediction. The high resolution image analysis techniques developed in this paper can be used to verify the WFIRST exoplanet microlensing survey mass measurements.


title: NGC 1980 is not a foreground population of Orion: Spectroscopic survey of young stars with low extinction in Orion A

abstract: We perform a spectroscopic survey of the foreground population in Orion A with MMT/Hectospec. We use these data, along with archival spectroscopic data and photometric data, to derive spectral types, extinction values, and masses for 691 stars. Using the Spitzer Space Telescope data, we characterize the disk properties of these sources. We identify 37 new transition disk (TD) objects, one globally depleted disk candidate, and 7 probable young debris disks. We discover an object with a mass less than 0.018-0.030 M$_{\odot}$, which harbors a flaring disk. Using the H$\alpha$ emission line, we characterize the accretion activity of the sources with disks, and confirm that fraction of accreting TDs is lower than that of optically thick disks (46$\pm$7% versus 73$\pm$9%, respectively). Using kinematic data from the Sloan Digital Sky Survey and APOGEE INfrared Spectroscopy of Young Nebulous Clusters program (IN-SYNC), we confirm that the foreground population shows similar kinematics to their local molecular clouds and other young stars in the same regions. Using the isochronal ages, we find that the foreground population has a median age around 1-2 Myr, which is similar to the one of other young stars in Orion A. Therefore, our results argue against the presence of a large and old foreground cluster in front of Orion A.


title: On Leighton's Comparison Theorem

abstract: We give a simple proof of a fairly flexible comparison theorem for equations of the type $-(p(u'+su))'+rp(u'+su)+qu=0$ on a finite interval where $1/p$, $r$, $s$, and $q$ are real and integrable. Flexibility is provided by two functions which may be chosen freely (within limits) according to the situation at hand. We illustrate this by presenting some examples and special cases which include Schr\"odinger equations with distributional potentials as well as Jacobi difference equations.


title: Solitary states for coupled oscillators

abstract: We demonstrate that solitary states can be widely observed for networks of coupled oscillators with local, non-local and global couplings, and they preserve in both thermodynamic and Hamiltonian limits. We show that depending on units' and network's parameters, different types of solitary states occur, characterized by the number of isolated oscillators and the disposition in space. The creation of solitary states through the homoclinic bifurcation is described and the regions of co-existence of obtained states and typical examples of dynamics have been identified. Our analysis suggests that solitary states can be observed in a wide class of networks relevant to various real-world systems.


abstract: We derive some Positivstellensatz\"e for noncommutative rational expressions from the Positivstellensatz\"e for noncommutative polynomials. Specifically, we show that if a noncommutative rational expression is positive on a polynomially convex set, then there is an algebraic certificate witnessing that fact. As in the case of noncommutative polynomials, our results are nicer when we additionally assume positivity on a convex set-- that is, we obtain a so-called "perfect Positivstellensatz" on convex sets.


title: The number of fiberings of a surface bundle over a surface

abstract: For a closed manifold $M$, let Fib$(M)$ be the number of distinct fiberings of $M$ as a fiber bundle with fiber a closed surface. In this paper we give the first computation of Fib$(M)$ where $1<\text{Fib}(M)<\infty$ but $M$ is not a product. In particular, we prove Fib$(M)=2$ for the Atiyah-Kodaira manifold and any finite cover of a trivial surface bundle. We also give an example where Fib$(M)=4$.


title: Multi-style Generative Network for Real-time Transfer

abstract: Despite the rapid progress in style transfer, existing approaches using feed-forward generative network for multi-style or arbitrary-style transfer are usually compromised of image quality and model flexibility. We find it is fundamentally difficult to achieve comprehensive style modeling using 1-dimensional style embedding. Motivated by this, we introduce CoMatch Layer that learns to match the second order feature statistics with the target styles. With the CoMatch Layer, we build a Multi-style Generative Network (MSG-Net), which achieves real-time performance. We also employ an specific strategy of upsampled convolution which avoids checkerboard artifacts caused by fractionally-strided convolution. Our method has achieved superior image quality comparing to state-of-the-art approaches. The proposed MSG-Net as a general approach for real-time style transfer is compatible with most existing techniques including content-style interpolation, color-preserving, spatial control and brush stroke size control. MSG-Net is the first to achieve real-time brush-size control in a purely feed-forward manner for style transfer. Our implementations and pre-trained models for Torch, PyTorch and MXNet frameworks will be publicly available.


title: The Effects of Ram Pressure on the Cold Clouds in the Centers of Galaxy Clusters

abstract: We discuss the effect of ram pressure on the cold clouds in the centers of cool-core galaxy clusters, and in particular, how it reduces cloud velocity and sometimes causes an offset between the cold gas and young stars. The velocities of the molecular gas in both observations and our simulations fall in the range of $100-400$ km/s, much lower than expected if they fall from a few tens of kpc ballistically. If the intra-cluster medium (ICM) is at rest, the ram pressure of the ICM only slightly reduces the velocity of the clouds. When we assume that the clouds are actually "fluffier" because they are co-moving with a warm-hot layer, the velocity becomes smaller. If we also consider the AGN wind in the cluster center by adding a wind profile measured from the simulation, the clouds are further slowed down at small radii, and the resulting velocities are in general agreement with the observations and simulations. Because ram pressure only affects gas but not stars, it can cause a separation between a filament and young stars that formed in the filament as they move through the ICM together. This separation has been observed in Perseus and also exists in our simulations. We show that the star-filament offset combined with line-of-sight velocity measurements can help determine the true motion of the cold gas, and thus distinguish between inflows and outflows.


title: The Genus-One Global Mirror Theorem for the Quintic Threefold

abstract: We prove the genus-one restriction of the all-genus Landau-Ginzburg/Calabi-Yau conjecture of Chiodo and Ruan, stated in terms of the geometric quantization of an explicit symplectomorphism determined by genus-zero invariants. This provides the first evidence supporting the higher-genus Landau-Ginzburg/Calabi-Yau correspondence for the quintic threefold, and exhibits the first instance of the "genus zero controls higher genus" principle, in the sense of Givental's quantization formalism, for non-semisimple cohomological field theories.


title: Decentralized Optimal Control for Connected Automated Vehicles at Intersections Including Left and Right Turns

abstract: In prior work, we addressed the problem of optimally controlling on line connected and automated vehicles crossing two adjacent intersections in an urban area to minimize fuel consumption while achieving maximal throughput without any explicit traffic signaling and without considering left and right turns. In this paper, we extend the solution of this problem to account for left and right turns under hard safety constraints. Furthermore, we formulate and solve another optimization problem to minimize a measure of passenger discomfort while the vehicle turns at the intersection and we investigate the associated tradeoff between minimizing fuel consumption and passenger discomfort.


title: Sample size re-estimation incorporating prior information on a nuisance parameter

abstract: Prior information is often incorporated informally when planning a clinical trial. Here, we present an approach on how to incorporate prior information, such as data from historical clinical trials, into the nuisance parameter based sample size re-estimation in a design with an internal pilot study. We focus on trials with continuous endpoints in which the outcome variance is the nuisance parameter. For planning and analyzing the trial frequentist methods are considered. Moreover, the external information on the variance is summarized by the Bayesian meta-analytic-predictive (MAP) approach. To incorporate external information into the sample size re-estimation, we propose to update the MAP prior based on the results of the internal pilot study and to re-estimate the sample size using an estimator from the posterior. By means of a simulation study, we compare the operating characteristics such as power and sample size distribution of the proposed procedure with the traditional sample size re-estimation approach which uses the pooled variance estimator. The simulation study shows that, if no prior-data conflict is present, incorporating external information into the sample size re-estimation improves the operating characteristics compared to the traditional approach. In the case of a prior-data conflict, that is when the variance of the ongoing clinical trial is unequal to the prior location, the performance of the traditional sample size re-estimation procedure is in general superior, even when the prior information is robustified. When considering to include prior information in sample size re-estimation, the potential gains should be balanced against the risks.


title: Disentanglement via entanglement: A unified method for Wannier localization

abstract: The Wannier localization problem in quantum physics is mathematically analogous to finding a localized representation of a subspace corresponding to a nonlinear eigenvalue problem. While Wannier localization is well understood for insulating materials with isolated eigenvalues, less is known for metallic systems with entangled eigenvalues. Currently, the most widely used method for treating systems with entangled eigenvalues is to first obtain a reduced subspace (often referred to as disentanglement) and then to solve the Wannier localization problem by treating the reduced subspace as an isolated system. This is a multi-objective nonconvex optimization procedure and its solution can depend sensitively on the initial guess. We propose a new method to solve the Wannier localization problem, avoiding the explicit use of an an optimization procedure. Our method is robust, efficient, relies on few tunable parameters, and provides a unified framework for addressing problems with isolated and entangled eigenvalues.


title: CSI: A Hybrid Deep Model for Fake News Detection

abstract: The topic of fake news has drawn attention both from the public and the academic communities. Such misinformation has the potential of affecting public opinion, providing an opportunity for malicious parties to manipulate the outcomes of public events such as elections. Because such high stakes are at play, automatically detecting fake news is an important, yet challenging problem that is not yet well understood. Nevertheless, there are three generally agreed upon characteristics of fake news: the text of an article, the user response it receives, and the source users promoting it. Existing work has largely focused on tailoring solutions to one particular characteristic which has limited their success and generality. In this work, we propose a model that combines all three characteristics for a more accurate and automated prediction. Specifically, we incorporate the behavior of both parties, users and articles, and the group behavior of users who propagate fake news. Motivated by the three characteristics, we propose a model called CSI which is composed of three modules: Capture, Score, and Integrate. The first module is based on the response and text; it uses a Recurrent Neural Network to capture the temporal pattern of user activity on a given article. The second module learns the source characteristic based on the behavior of users, and the two are integrated with the third module to classify an article as fake or not. Experimental analysis on real-world data demonstrates that CSI achieves higher accuracy than existing models, and extracts meaningful latent representations of both users and articles.


title: On the dimension of downsets of integer partitions and compositions

abstract: We characterize the downsets of integer partitions (ordered by containment of Ferrers diagrams) and compositions (ordered by the generalized subword order) which have finite dimension in the sense of Dushnik and Miller. In the case of partitions, while the set of all partitions has infinite dimension, we show that every proper downset of partitions has finite dimension. For compositions we identify four minimal downsets of infinite dimension and establish that every downset which does not contain one of these four has finite dimension.


title: Prospects and Results from the AFP Detector in ATLAS

abstract: In 2016 one arm of the AFP detector was installed and first data have been taken. In parallel with integration of the AFP subdetector into the ATLAS TDAQ and DCS systems, beam tests and preparations for the installation of the 2$^{\textrm{nd}}$ arm are performed. In this report, a status of the AFP project in the ATLAS experiment is discussed.


title: The Neumann problem for higher order elliptic equations with symmetric coefficients

abstract: In this paper we establish well posedness of the Neumann problem with boundary data in $L^2$ or the Sobolev space $\dot W^2_{-1}$, in the half space, for linear elliptic differential operators with coefficients that are constant in the vertical direction and in addition are self adjoint. This generalizes the well known well-posedness result of the second order case and is based on a higher order and one sided version of the classic Rellich identity, and is the first known well posedness result for a higher order operator with rough variable coefficients and boundary data in a Lebesgue or Sobolev space.


title: Dirichlet and Neumann boundary values of solutions to higher order elliptic equations

abstract: We show that if $u$ is a solution to a linear elliptic differential equation of order $2m\geq 2$ in the half-space with $t$-independent coefficients, and if $u$ satisfies certain area integral estimates, then the Dirichlet and Neumann boundary values of $u$ exist and lie in a Lebesgue space $L^p(\mathbb{R}^n)$ or Sobolev space $\dot W^p_{\pm 1}(\mathbb{R}^n)$. Even in the case where $u$ is a solution to a second order equation, our results are new for certain values of~$p$.


title: Electric field control of emergent electrodynamics in quantum spin ice

abstract: We study the coupling between conventional (Maxwell) and emergent electrodynamics in quantum spin ice, a 3+1-dimensional $U(1)$ quantum spin liquid. We find that a uniform electric field can be used to tune the properties of both the ground state and excitations of the spin liquid. In particular, it induces emergent birefringence, rendering the speed of the emergent light anisotropic and polarization-dependent. A sufficiently strong electric field triggers a quantum phase transition into new $U(1)$ quantum spin liquid phases which trap emergent electric $\pi$-fluxes. The flux patterns of these new phases depend on the direction of the electric field. Strikingly, some of the canonical pinch points in the spin structure factor, characteristic of classical spin ice, emerge near the phase transition, while they are absent in the quantum spin liquid phases. Estimating the electric field strength required, we find that this transition is potentially accessible experimentally. Finally, we propose a minimal mechanism by which an oscillating electric field can generate emergent radiation inside a quantum spin ice material with non-Kramers spin doublets.

categories: cond-mat.str-el cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.stat-mech


title: Exponential sums over finite fields and the large sieve

abstract: By using a variant of Kowalski's large sieve for Frobenius in compatible systems, we obtain zero-density estimates for arguments of $\ell$-adic trace functions over finite fields with values in some algebraic subsets of the cyclotomic integers, when the monodromy groups are known. This applies in particular to hyper-Kloosterman sums and general exponential sums considered by Katz.


title: Correction scheme for point-particle two-way coupling applied to nonlinear drag law

abstract: Drag laws for particles in fluids are often expressed in terms of the undisturbed fluid velocity, defined as the fluid velocity a particle sees before the disturbance develops in the fluid. In two-way coupled point-particle simulations the information from the undisturbed state is not available and must be approximated using the disturbed velocity field. Horwitz and Mani (2016) recently developed a procedure to estimate the undisturbed velocity for particles moving at low Reynolds number and obeying the Stokes drag law. Using our correction, we demonstrated convergence of numerical simulations to expected physical behavior for a range of canonical settings. In this paper we further extend and examine that correction scheme for particles moving at finite Reynolds number, by considering the Schiller-Nauman drag law. Tests of particle settling in an otherwise quiescent fluid show reasonable predictions of settling velocity history for particle Reynolds numbers up to ten. The correction scheme is shown to lead to $\geq 70\%$ reduction in particle velocity errors, compared to standard trilinear interpolation of disturbed velocities. We also discuss the modelling of unsteady effects and their relation to Stokes number and density ratio. Finally, we propose a regime diagram to guide scheme selection for point-particle modelling.


title: Workload Engineering: Optimising WAN and DC Resources Through RL-Based Workload Placement

abstract: With the rise in data centre virtualization, there are increasing choices as to where to place workloads, be it in web applications, Enterprise IT or in Network Function Virtualisation. Workload placement approaches available today primarily focus on optimising the use of data centre resources. Given the significant forecasts for network traffic growth to/from data centres, effective management of both data centre resources and of the wide area networks resources that provide access to those data centres will become increasingly important. In this paper, we present an architecture for workload placement, which uniquely employs a logically centralised controller that is both network and data centre aware, which aims to place workloads to optimise the use of both data centre and wide area network resources. We call this approach workload engineering. We present the results of a simulation study, where we use a reinforcement-learning based placement algorithm on the controller. Results of the study show this algorithm was able to place workloads to make more efficient use of network and data centre resources and placed ~5-8% more workloads than other heuristic placement algorithms considered, for the same installed capacity.


title: Daily monitoring of TeV gamma-ray emission from Mrk 421, Mrk 501, and the Crab Nebula with HAWC

abstract: We present results from daily monitoring of gamma rays in the energy range $\sim0.5$ to $\sim100$ TeV with the first 17 months of data from the High Altitude Water Cherenkov (HAWC) Observatory. Its wide field of view of 2 steradians and duty cycle of $>95$% are unique features compared to other TeV observatories that allow us to observe every source that transits over HAWC for up to $\sim6$ hours each sidereal day. This regular sampling yields unprecedented light curves from unbiased measurements that are independent of seasons or weather conditions. For the Crab Nebula as a reference source we find no variability in the TeV band. Our main focus is the study of the TeV blazars Markarian (Mrk) 421 and Mrk 501. A spectral fit for Mrk 421 yields a power law index $\Gamma=2.21 \pm0.14_{\mathrm{stat}}\pm0.20_{\mathrm{sys}}$ and an exponential cut-off $E_0=5.4 \pm 1.1_{\mathrm{stat}}\pm 1.0_{\mathrm{sys}}$ TeV. For Mrk 501, we find an index $\Gamma=1.60\pm 0.30_{\mathrm{stat}} \pm 0.20_{\mathrm{sys}}$ and exponential cut-off $E_0=5.7\pm 1.6_{\mathrm{stat}} \pm 1.0_{\mathrm{sys}}$ TeV. The light curves for both sources show clear variability and a Bayesian analysis is applied to identify changes between flux states. The highest per-transit fluxes observed from Mrk 421 exceed the Crab Nebula flux by a factor of approximately five. For Mrk 501, several transits show fluxes in excess of three times the Crab Nebula flux. In a comparison to lower energy gamma-ray and X-ray monitoring data with comparable sampling we cannot identify clear counterparts for the most significant flaring features observed by HAWC.


title: Optimal Portfolio under Fractional Stochastic Environment

abstract: Rough stochastic volatility models have attracted a lot of attentions recently, in particular for the linear option pricing problem. In this paper, starting with power utilities, we propose to use a martingale distortion representation of the optimal value function for the nonlinear asset allocation problem in a (non-Markovian) fractional stochastic environment (for all Hurst index $H \in (0,1)$). We rigorously establish a first order approximation of the optimal value, where the return and volatility of the underlying asset are functions of a stationary slowly varying fractional Ornstein-Uhlenbeck process. We prove that this approximation can be also generated by a fixed zeroth order trading strategy providing an explicit strategy which is asymptotically optimal in all admissible controls. Furthermore, we extend the discussion to general utility functions, and obtain the asymptotic optimality of this fixed strategy in a specific family of admissible strategies.


title: SU(3) Landau-Zener interferometry with a transverse periodic drive

abstract: Quantum triangles can work as interferometers. Depending on their geometric size and interactions between paths, "beats" {\it and/or} "steps" patterns are observed. We show that when inter-level distances between level positions in quantum triangles periodically change with time, formation of beats {\it and/or} steps no longer depends only on the geometric size of the triangles but also on the characteristic frequency of the transverse signal. For large-size triangles, we observe the coexistence of beats {\it and} steps when the frequency of the signal matches that of non-adiabatic oscillations and for large frequencies, a maximum of four steps instead of two as in the case with constant interactions is observed. Small-size triangles also revealed counter-intuitive interesting dynamics for large frequencies of the field: unexpected two-step patterns are observed. When the frequency is large and tuned such that it matches the uniaxial anisotropy, three-step patterns are observed. We have equally observed that when the transverse signal possesses a static part, steps maximize to six. These effects are semi-classically explained in terms of Fresnel integrals and quantum mechanically in terms of quantized fields with a photon-induced tunneling process. Our expressions for populations are in excellent agreement with the gross temporal profiles of exact numerical solutions. We compare the semi-classical and quantum dynamics in the triangle and establish the conditions for their equivalence.


title: Active Decision Boundary Annotation with Deep Generative Models

abstract: This paper is on active learning where the goal is to reduce the data annotation burden by interacting with a (human) oracle during training. Standard active learning methods ask the oracle to annotate data samples. Instead, we take a profoundly different approach: we ask for annotations of the decision boundary. We achieve this using a deep generative model to create novel instances along a 1d line. A point on the decision boundary is revealed where the instances change class. Experimentally we show on three data sets that our method can be plugged-in to other active learning schemes, that human oracles can effectively annotate points on the decision boundary, that our method is robust to annotation noise, and that decision boundary annotations improve over annotating data samples.


title: Laser undulator by laser ponderomotive force

abstract: The laser-plasma accelerator has attracted great interest for constituting an alternative in the production of the relativistic electron beams of high peak current. But the generated electron beam has poor monochrome and emittance, which make it difficult to produce high brightness radiation. Here we propose a compact flexible laser undulator based on ponderomotive force to constitute a millimeter-sized synchrotron radiation source of X-ray. We demonstrate that it can produce bright radiation with tens of keV energies. This opens a new path to compact synchrotron source with high power laser.


title: Subconvex bounds for Hecke-Maass forms on compact arithmetic quotients of semisimple Lie groups

abstract: Let $H$ be a semisimple algebraic group, $K$ a maximal compact subgroup of $G:=H(\mathbb{R})$, and $\Gamma\subset H(\mathbb{Q})$ a congruence arithmetic subgroup. In this paper, we generalize existing subconvex bounds for Hecke-Maass forms on the locally symmetric space $\Gamma \backslash G/K$ to corresponding bounds on the arithmetic quotient $\Gamma \backslash G$ for cocompact lattices using the spectral function of an elliptic operator. The bounds obtained extend known subconvex bounds for automorphic forms to non-trivial $K$-types, yielding subconvex bounds for new classes of automorphic representations, and constitute subconvex bounds for eigenfunctions on compact manifolds with both positive and negative sectional curvature. We also obtain new subconvex bounds for holomorphic modular forms in the weight aspect.


title: A finer Tate duality theorem for local Galois symbols

abstract: Let $K$ be a finite extension of $\mathbb{Q}_p$. Let $A$, $B$ be abelian varieties over $K$ of good reduction. For any integer $m\geq 1$, we consider the Galois symbol $K(K;A,B)/m\rightarrow H^2(K,A[m]\otimes B[m])$, where $K(K;A,B)$ is the Somekawa $K$-group attached to $A,B$. This map is a generalization of the Galois symbol $K_2^M(K)/m\rightarrow H^2(K,\mu_m^{\otimes 2})$ of the Bloch-Kato conjecture, where $K_2^M(K)$ is the Milnor $K$-group of $K$. In this paper we give a geometric description of the image of this generalized Galois symbol by looking at the Tate duality pairing $H^{2}(K,A[m]\otimes B[m])\times\mathrm{Hom}_{G_{K}}(A[m],B^{\star}[m])\rightarrow\mathbb{Z}/m,$ where $B^\star$ is the dual abelian variety of $B$. Under this perfect pairing we compute the exact annihilator of the image of the Galois symbol in terms of an object of integral $p$-adic Hodge theory.


title: Learning to Generate Samples from Noise through Infusion Training

abstract: In this work, we investigate a novel training procedure to learn a generative model as the transition operator of a Markov chain, such that, when applied repeatedly on an unstructured random noise sample, it will denoise it into a sample that matches the target distribution from the training set. The novel training procedure to learn this progressive denoising operation involves sampling from a slightly different chain than the model chain used for generation in the absence of a denoising target. In the training chain we infuse information from the training target example that we would like the chains to reach with a high probability. The thus learned transition operator is able to produce quality and varied samples in a small number of steps. Experiments show competitive results compared to the samples generated with a basic Generative Adversarial Net


title: The dual Orlicz-Minkowski problem

abstract: In this paper, the dual Orlicz curvature measure is proposed and its basic properties are provided. A variational formula for the dual Orlicz-quermassintegral is established in order to give a geometric interpretation of the dual Orlicz curvature measure. Based on the established variational formula, a solution to the dual Orlicz-Minkowski problem regarding the dual Orlicz curvature measure is provided.


title: Integral Chow motives of threefolds with $K$-motives of unit type

abstract: We prove that if a smooth projective algebraic variety of dimension less or equal to three has a unit type integral $K$-motive, then its integral Chow motive is of Lefschetz type. As a consequence, the integral Chow motive is of Lefschetz type for a smooth projective variety of dimension less or equal to three that admits a full exceptional collection.


title: A Conditional Density Estimation Partition Model Using Logistic Gaussian Processes

abstract: Conditional density estimation (density regression) estimates the distribution of a response variable y conditional on covariates x. Utilizing a partition model framework, a conditional density estimation method is proposed using logistic Gaussian processes. The partition is created using a Voronoi tessellation and is learned from the data using a reversible jump Markov chain Monte Carlo algorithm. The Markov chain Monte Carlo algorithm is made possible through a Laplace approximation on the latent variables of the logistic Gaussian process model. This approximation marginalizes the parameters in each partition element, allowing an efficient search of the posterior distribution of the tessellation. The method has desirable consistency properties. In simulation and applications, the model successfully estimates the partition structure and conditional distribution of y.


title: Difference sets disjoint from a subgroup

abstract: We study finite groups $G$ having a subgroup $H$ and $D \subset G \setminus H$ such that the multiset $\{ xy^{-1}:x,y \in D\}$ has every non-identity element occur the same number of times (such a $D$ is called a {\it difference set}). We show that $H$ has to be normal, that $|G|=|H|^2$, and that $|D \cap Hg|=|H|/2$ for all $g \notin H$. We show that $H$ is contained in every normal subgroup of prime index, and other properties. We give a $2$-parameter family of examples of such groups. We show that such groups have Schur rings with four principal sets.


title: Enhancement factors for positron annihilation on valence and core orbitals of noble-gas atoms

abstract: Annihilation momentum densities and correlation enhancement factors for low-energy positron annihilation on valence and core electrons of noble-gas atoms are calculated using many-body theory. s, p and d-wave positrons of momenta up to the positronium-formation threshold of the atom are considered. The enhancement factors parametrize the effects of short-range electron-positron correlations which increase the annihilation probability beyond the independent-particle approximation. For all positron partial waves and electron subshells, the enhancement factors are found to be relatively insensitive to the positron momentum. The enhancement factors for the core electron orbitals are also independent of the positron angular momentum. The largest enhancement factor ($\sim 15$) is found for the 5p orbital in Xe, while the values for the core orbitals are typically $\sim 1.5$.


title: Generalized self-energy embedding theory

abstract: Ab initio quantum chemistry calculations for systems with large active spaces are notoriously difficult and cannot be successfully tackled by standard methods. In this letter, we generalize a Green's function QM/QM embedding method called self-energy embedding theory (SEET) that has the potential to be successfully employed to treat large active spaces. In generalized SEET, active orbitals are grouped into intersecting groups of few orbitals allowing us to perform multiple parallel calculations yielding results comparable to the full active space treatment. We examine generalized SEET on a series of examples and discuss a hierarchy of systematically improvable approximations.


title: Exclusive $\eta$ electroproduction at $W>2$ GeV with CLAS and transversity generalized parton distributions

abstract: The cross section of the exclusive $\eta$ electroproduction reaction $ep\to e^\prime p^\prime \eta$ was measured at Jefferson Lab with a 5.75-GeV electron beam and the CLAS detector. Differential cross sections $d^4\sigma/dtdQ^2dx_Bd\phi_\eta$ and structure functions $\sigma_U = \sigma_T+\epsilon\sigma_L, \sigma_{TT}$ and $\sigma_{LT}$, as functions of $t$ were obtained over a wide range of $Q^2$ and $x_B$. The $\eta$ structure functions are compared with those previously measured for $\pi^0$ at the same kinematics. At low $t$, both $\pi^0$ and $\eta$ are described reasonably well by generalized parton distributions (GPDs) in which chiral-odd transversity GPDs are dominant. The $\pi^0$ and $\eta$ data, when taken together, can facilitate the flavor decomposition of the transversity GPDs.


title: Collapsibility to a subcomplex of a given dimension is NP-complete

abstract: In this paper we extend the works of Tancer and of Malgouyres and Franc\'es, showing that $(d,k)$-collapsibility is NP-complete for $d\geq k+2$ except $(2,0)$. By $(d,k)$-collapsibility we mean the following problem: determine whether a given $d$-dimensional simplicial complex can be collapsed to some $k$-dimensional subcomplex. The question of establishing the complexity status of $(d,k)$-collapsibility was asked by Tancer, who proved NP-completeness of $(d,0)$ and $(d,1)$-collapsibility (for $d\geq 3$). Our extended result, together with the known polynomial-time algorithms for $(2,0)$ and $d=k+1$, answers the question completely.


title: Giant ultrafast Kerr effect in type-II superconductors

abstract: We study the ultrafast Kerr effect and high-harmonic generation in type-II superconductors by formulating a new model for a time-varying electromagnetic pulse normally incident on a thin-film superconductor. It is found that type-II superconductors exhibit exceptionally large $\chi^{(3)}$ due to the progressive destruction of Cooper pairs, and display high-harmonic generation at low incident intensities, and the highest nonlinear susceptibility of all known materials in the THz regime. Our theory opens up new avenues for accessible analytical and numerical studies of the ultrafast dynamics of superconductors.


title: Evidence of the Poisson/Gaudin-Mehta phase transition for banded matrices on global scales

abstract: We prove that the Poisson/Gaudin--Mehta phase transition conjectured to occur when the bandwidth of an $N \times N$ symmetric banded matrix grows like $\sqrt N$ is observable as a critical point in the fourth moment of the level density for a wide class of symmetric banded matrices. A second critical point when the bandwidth grows like ${2 \over 5} N$ leads to a new conjectured phase transition in the eigenvalue localization, whose existence we demonstrate in numerical experiments.


title: CacheZoom: How SGX Amplifies The Power of Cache Attacks

abstract: In modern computing environments, hardware resources are commonly shared, and parallel computation is widely used. Parallel tasks can cause privacy and security problems if proper isolation is not enforced. Intel proposed SGX to create a trusted execution environment within the processor. SGX relies on the hardware, and claims runtime protection even if the OS and other software components are malicious. However, SGX disregards side-channel attacks. We introduce a powerful cache side-channel attack that provides system adversaries a high resolution channel. Our attack tool named CacheZoom is able to virtually track all memory accesses of SGX enclaves with high spatial and temporal precision. As proof of concept, we demonstrate AES key recovery attacks on commonly used implementations including those that were believed to be resistant in previous scenarios. Our results show that SGX cannot protect critical data sensitive computations, and efficient AES key recovery is possible in a practical environment. In contrast to previous works which require hundreds of measurements, this is the first cache side-channel attack on a real system that can recover AES keys with a minimal number of measurements. We can successfully recover AES keys from T-Table based implementations with as few as ten measurements.


title: Compressed sensing approaches for polynomial approximation of high-dimensional functions

abstract: In recent years, the use of sparse recovery techniques in the approximation of high-dimensional functions has garnered increasing interest. In this work we present a survey of recent progress in this emerging topic. Our main focus is on the computation of polynomial approximations of high-dimensional functions on $d$-dimensional hypercubes. We show that smooth, multivariate functions possess expansions in orthogonal polynomial bases that are not only approximately sparse, but possess a particular type of structured sparsity defined by so-called lower sets. This structure can be exploited via the use of weighted $\ell^1$ minimization techniques, and, as we demonstrate, doing so leads to sample complexity estimates that are at most logarithmically dependent on the dimension $d$. Hence the curse of dimensionality - the bane of high-dimensional approximation - is mitigated to a significant extent. We also discuss several practical issues, including unknown noise (due to truncation or numerical error), and highlight a number of open problems and challenges.


title: The Fake News Spreading Plague: Was it Preventable?

abstract: In 2010, a paper entitled "From Obscurity to Prominence in Minutes: Political Speech and Real-time search" won the Best Paper Prize of the Web Science 2010 Conference. Among its findings were the discovery and documentation of what was termed a "Twitter-bomb", an organized effort to spread misinformation about the democratic candidate Martha Coakley through anonymous Twitter accounts. In this paper, after summarizing the details of that event, we outline the recipe of how social networks are used to spread misinformation. One of the most important steps in such a recipe is the "infiltration" of a community of users who are already engaged in conversations about a topic, to use them as organic spreaders of misinformation in their extended subnetworks. Then, we take this misinformation spreading recipe and indicate how it was successfully used to spread fake news during the 2016 U.S. Presidential Election. The main differences between the scenarios are the use of Facebook instead of Twitter, and the respective motivations (in 2010: political influence; in 2016: financial benefit through online advertising). After situating these events in the broader context of exploiting the Web, we seize this opportunity to address limitations of the reach of research findings and to start a conversation about how communities of researchers can increase their impact on real-world societal issues.


title: Magnetic skyrmions and skyrmion clusters in the helical phase of Cu$_2$OSeO$_3$

abstract: Skyrmions are nanometric spin whirls that can be stabilized in magnets lacking inversion symmetry. The properties of isolated skyrmions embedded in a ferromagnetic background have been intensively studied. We show that single skyrmions and clusters of skyrmions can also form in the helical phase and investigate theoretically their energetics and dynamics. The helical background provides natural one-dimensional channels along which a skyrmion can move rapidly. In contrast to skyrmions in ferromagnets, the skymion-skyrmion interaction has a strong attractive component and thus skyrmions tend to form clusters with characteristic shapes. These clusters are directly observed in transmission electron microscopy measurements in thin films of Cu$_2$OSeO$_3$. Topological quantization, high mobility and the confinement of skyrmions in channels provided by the helical background may be useful for future spintronics devices.


title: Metalearning for Feature Selection

abstract: A general formulation of optimization problems in which various candidate solutions may use different feature-sets is presented, encompassing supervised classification, automated program learning and other cases. A novel characterization of the concept of a "good quality feature" for such an optimization problem is provided; and a proposal regarding the integration of quality based feature selection into metalearning is suggested, wherein the quality of a feature for a problem is estimated using knowledge about related features in the context of related problems. Results are presented regarding extensive testing of this "feature metalearning" approach on supervised text classification problems; it is demonstrated that, in this context, feature metalearning can provide significant and sometimes dramatic speedup over standard feature selection heuristics.


title: Electron spin contrast of Purcell-enhanced nitrogen-vacancy ensembles in nanodiamonds

abstract: Nitrogen-vacancy centers in diamond allow for coherent spin state manipulation at room temperature, which could bring dramatic advances to nanoscale sensing and quantum information technology. We introduce a novel method for the optical measurement of the spin contrast in dense nitrogen-vacancy (NV) ensembles. This method brings a new insight into the interplay between the spin contrast and fluorescence lifetime. We show that for improving the spin readout sensitivity in NV ensembles, one should aim at modifying the far field radiation pattern rather than enhancing the emission rate.


title: A Framework and Comparative Analysis of Control Plane Security of SDN and Conventional Networks

abstract: Software defined networking implements the network control plane in an external entity, rather than in each individual device as in conventional networks. This architectural difference implies a different design for control functions necessary for essential network properties, e.g., loop prevention and link redundancy. We explore how such differences redefine the security weaknesses in the SDN control plane and provide a framework for comparative analysis which focuses on essential network properties required by typical production networks. This enables analysis of how these properties are delivered by the control planes of SDN and conventional networks, and to compare security risks and mitigations. Despite the architectural difference, we find similar, but not identical, exposures in control plane security if both network paradigms provide the same network properties and are analyzed under the same threat model. However, defenses vary; SDN cannot depend on edge based filtering to protect its control plane, while this is arguably the primary defense in conventional networks. Our concrete security analysis suggests that a distributed SDN architecture that supports fault tolerance and consistency checks is important for SDN control plane security. Our analysis methodology may be of independent interest for future security analysis of SDN and conventional networks.


title: SORT: Second-Order Response Transform for Visual Recognition

abstract: In this paper, we reveal the importance and benefits of introducing second-order operations into deep neural networks. We propose a novel approach named Second-Order Response Transform (SORT), which appends element-wise product transform to the linear sum of a two-branch network module. A direct advantage of SORT is to facilitate cross-branch response propagation, so that each branch can update its weights based on the current status of the other branch. Moreover, SORT augments the family of transform operations and increases the nonlinearity of the network, making it possible to learn flexible functions to fit the complicated distribution of feature space. SORT can be applied to a wide range of network architectures, including a branched variant of a chain-styled network and a residual network, with very light-weighted modifications. We observe consistent accuracy gain on both small (CIFAR10, CIFAR100 and SVHN) and big (ILSVRC2012) datasets. In addition, SORT is very efficient, as the extra computation overhead is less than 5%.


title: Combination of D0 measurements of the top quark mass

abstract: We present a combination of measurements of the top quark mass by the D0 experiment in the lepton+jets and dilepton channels. We use all the data collected in Run I (1992--1996) at $\sqrt s=1.8$ TeV and Run II (2001--2011) at $\sqrt s=1.96$ TeV of the Tevatron $p \bar{p}$ collider, corresponding to integrated luminosities of 0.1 fb$^{-1}$ and 9.7 fb$^{-1}$, respectively. The combined result is: $m_t = 174.95 \pm0.40\,{\rm(stat)} \pm 0.64\,{\rm(syst)}\,{\rm{GeV}}=174.95 \pm 0.75 \, {\rm{GeV}}$.


title: Spatio-Temporal Facial Expression Recognition Using Convolutional Neural Networks and Conditional Random Fields

abstract: Automated Facial Expression Recognition (FER) has been a challenging task for decades. Many of the existing works use hand-crafted features such as LBP, HOG, LPQ, and Histogram of Optical Flow (HOF) combined with classifiers such as Support Vector Machines for expression recognition. These methods often require rigorous hyperparameter tuning to achieve good results. Recently Deep Neural Networks (DNN) have shown to outperform traditional methods in visual object recognition. In this paper, we propose a two-part network consisting of a DNN-based architecture followed by a Conditional Random Field (CRF) module for facial expression recognition in videos. The first part captures the spatial relation within facial images using convolutional layers followed by three Inception-ResNet modules and two fully-connected layers. To capture the temporal relation between the image frames, we use linear chain CRF in the second part of our network. We evaluate our proposed network on three publicly available databases, viz. CK+, MMI, and FERA. Experiments are performed in subject-independent and cross-database manners. Our experimental results show that cascading the deep network architecture with the CRF module considerably increases the recognition of facial expressions in videos and in particular it outperforms the state-of-the-art methods in the cross-database experiments and yields comparable results in the subject-independent experiments.


title: Modeling Bloch Oscillations in Nanoscale Josephson Junctions

abstract: Bloch oscillations in nanoscale Josephson junctions with a Coulomb charging energy comparable to the Josephson coupling energy are explored within the context of a model previously considered by Geigenm\"uller and Sch\"on that includes Zener tunneling and treats quasiparticle tunneling as an explicit shot-noise process. The dynamics of the junction quasicharge are investigated numerically using both Monte Carlo and ensemble approaches to calculate voltage--current characteristics in the presence of microwaves. We examine in detail the origin of harmonic and subharmonic Bloch steps at dc biases $I=(n/m)2ef$ induced by microwaves of frequency $f$ and consider the optimum parameters for the observation of harmonic ($m=1$) steps. We also demonstrate that the GS model allows a detailed semi-quantitative fit to experimental voltage--current characteristics previously obtained at the Chalmers University of Technology, confirming and strengthening the interpretation of the observed microwave-induced steps in terms of Bloch oscillations.


title: A search of reactivated comets

abstract: Dormant or near-dormant short-period comets can unexpectedly regain ability to eject dust. In many known cases, the resurrection is short-lived and lasts less than one orbit. However, it is possible that some resurrected comets can remain active in latter perihelion passages. We search the archival images of various facilities to look for these "reactivated" comets. We identify two candidates, 297P/Beshore and 332P/Ikeya-Murakami, both of which were found to be inactive or weakly active in the previous orbit before their discovery. We derive a reactivation rate of $\sim0.007~\mathrm{comet}^{-1}~\mathrm{orbit}^{-1}$, which implies that typical short-period comets only become temporary dormant for less than a few times. Smaller comets are prone to rotational instability and may undergo temporary dormancy more frequently. Next generation high-cadence surveys may find more reactivation events of these comets.


title: Layer potentials for general linear elliptic systems

abstract: In this paper we construct layer potentials for elliptic differential operators using the Lax-Milgram theorem, without recourse to the fundamental solution; this allows layer potentials to be constructed in very general settings. We then generalize several well known properties of layer potentials for harmonic and second order equations, in particular the Green's formula, jump relations, adjoint relations, and Verchota's equivalence between well-posedness of boundary value problems and invertibility of layer potentials.


title: libvdwxc: A library for exchange-correlation functionals in the vdW-DF family

abstract: We present libvdwxc, a general library for evaluating the energy and potential for the family of vdW-DF exchange--correlation functionals. libvdwxc provides an efficient implementation of the vdW-DF method and can be interfaced with various general-purpose DFT codes. Currently, the GPAW and Octopus codes implement interfaces to libvdwxc. The present implementation emphasizes scalability and parallel performance, and thereby enables \textit{ab initio} calculations of nanometer-scale complexes. The numerical accuracy is benchmarked on the S22 test set whereas parallel performance is benchmarked on ligand-protected gold nanoparticles ($\text{Au}_{144}(\text{SC}_{11}\text{NH}_{25})_{60}$) up to 9696 atoms.


title: Non-universal velocity probability densities in two-dimensional turbulence: the effect of large-scale dissipation

abstract: We show that some statistical properties of forced two-dimensional turbulence have an important sensitivity to the form of large-scale dissipation which is required to damp the inverse cascade. We consider three models of large-scale dissipation: linear "Ekman" drag, non-linear quadratic drag, and scale selective hypo-drag that damps only low-wavenumber modes. In all cases, the statistically steady vorticity field is dominated by almost axisymmetric vortices, and the probability density function of vorticity is non-Gaussian. However, in the case of linear and quadratic drag, we find that the velocity statistics is close to Gaussian, with non-negligible contribution coming from the background turbulent flow. On the other hand, with hypo-drag, the probability density function of velocity is non-Gaussian and is predominantly determined by the properties of the vortices. With hypo-drag, the relative positions of the vortices and the exponential distribution of the vortex extremum are important factors responsible for the non-Gaussian velocity statistics.


title: Recovery of the starting times of delayed signals

abstract: We present a new method to locate the starting points in time of an arbitrary number of (damped) delayed signals. For a finite data sequence, the method permits to first locate the starting point of the component with the longest delay, and then --by iteration-- all the preceding ones. Numerical examples are given and noise sensitivity is tested for weak noise.


title: Imaging the Real Space Structure of the Spin Fluctuations in an Iron-based superconductor

abstract: Spin fluctuations are a leading candidate for the pairing mechanism in high temperature superconductors, supported by the common appearance of a distinct resonance in the spin susceptibility across the cuprates, iron-based superconductors and many heavy fermion materials. The information we have about the spin resonance comes almost exclusively from neutron scattering. Here we demonstrate that by using low-temperature scanning tunnelling microscopy and spectroscopy we can characterize the spin resonance in real space. We show that inelastic tunnelling leads to the characteristic dip-hump feature seen in tunnelling spectra in high temperature superconductors and that this feature arises from excitations of the spin fluctuations. Spatial mapping of this feature near defects allows us to probe non-local properties of the spin susceptibility and to image its real space structure.


title: Semistability and CAT(0) Geometry

abstract: We explain why semistability of a one-ended proper CAT(0) space can be determined by the geodesic rays. This is applied to boundaries of CAT(0) groups.


title: The Use of Autoencoders for Discovering Patient Phenotypes

abstract: We use autoencoders to create low-dimensional embeddings of underlying patient phenotypes that we hypothesize are a governing factor in determining how different patients will react to different interventions. We compare the performance of autoencoders that take fixed length sequences of concatenated timesteps as input with a recurrent sequence-to-sequence autoencoder. We evaluate our methods on around 35,500 patients from the latest MIMIC III dataset from Beth Israel Deaconess Hospital.


title: Super-Eddington accretion onto a magnetized neutron star

abstract: Most of ultraluminous X-ray sources are thought to be objects accreting above their Eddington limits. In the recently identified class of ultraluminous X-ray pulsars, accretor is a neutron star and thus has a fairly small mass with a small Eddington limit. The accretion disc structure around such an object affects important observables such as equilibrium period, period derivative and the size of the magnetosphere. We propose a model of a nearly-standard accretion disc interacting with the magnetosphere only in a thin layer near the inner disc rim. Our calculations show that the size of the magnetosphere may be represented as the classical Alfv\'en radius times a dimensionless factor $\xi$ which depends on the disc thickness only. In the case of radiation-pressure-dominated disc, the size of the magnetosphere does not depend on the mass accretion rate. In general, increasing the disc thickness leads to a larger magnetosphere size in units of the Alfv\'en radius. For large enough mass accretion rates and magnetic moments, it is important to take into account not only the pressure of the magnetic field and the radiation pressure inside the disc, but also the pressure of the radiation produced close to the surface of the neutron star in accretion column. The magnetospheric size may increase by up to factor of two as a result of the effects related to the disc thickness and the irradiation from the central source. Accounting for these effects reduces the estimate of the neutron star magnetic moment by a factor of several.


title: The ALMA Early Science View of FUor/EXor objects. III. The Slow and Wide Outflow of V883 Ori

abstract: We present Atacama Large Millimeter/ sub-millimeter Array (ALMA) observations of V883 Ori, an FU Ori object. We describe the molecular outflow and envelope of the system based on the $^{12}$CO and $^{13}$CO emissions, which together trace a bipolar molecular outflow. The C$^{18}$O emission traces the rotational motion of the circumstellar disk. From the $^{12}$CO blue-shifted emission, we estimate a wide opening angle of $\sim$ 150$^{^{\circ}}$ for the outflow cavities. Also, we find that the outflow is very slow (characteristic velocity of only 0.65 km~s$^{-1}$), which is unique for an FU Ori object. We calculate the kinematic properties of the outflow in the standard manner using the $^{12}$CO and $^{13}$CO emissions. In addition, we present a P Cygni profile observed in the high-resolution optical spectrum, evidence of a wind driven by the accretion and being the cause for the particular morphology of the outflows. We discuss the implications of our findings and the rise of these slow outflows during and/or after the formation of a rotationally supported disk.


title: Tetrahedral mesh improvement using moving mesh smoothing, lazy searching flips, and RBF surface reconstruction

abstract: Given a tetrahedral mesh and objective functionals measuring the mesh quality which take into account the shape, size, and orientation of the mesh elements, our aim is to improve the mesh quality as much as possible. In this paper, we combine the moving mesh smoothing, based on the integration of an ordinary differential equation coming from a given functional, with the lazy flip technique, a reversible edge removal algorithm to modify the mesh connectivity. Moreover, we utilize radial basis function (RBF) surface reconstruction to improve tetrahedral meshes with curved boundary surfaces. Numerical tests show that the combination of these techniques into a mesh improvement framework achieves results which are comparable and even better than the previously reported ones.


title: Colouring exact distance graphs of chordal graphs

abstract: For a graph $G=(V,E)$ and positive integer $p$, the exact distance-$p$ graph $G^{[\natural p]}$ is the graph with vertex set $V$ and with an edge between vertices $x$ and $y$ if and only if $x$ and $y$ have distance $p$. Recently, there has been an effort to obtain bounds on the chromatic number $\chi(G^{[\natural p]})$ of exact distance-$p$ graphs for $G$ from certain classes of graphs. In particular, if a graph $G$ has tree-width $t$, it has been shown that $\chi(G^{[\natural p]}) \in \mathcal{O}(p^{t-1})$ for odd $p$, and $\chi(G^{[\natural p]}) \in \mathcal{O}(p^{t}\Delta(G))$ for even $p$. We show that if $G$ is chordal and has tree-width $t$, then $\chi(G^{[\natural p]}) \in \mathcal{O}(p\, t^2)$ for odd $p$, and $\chi(G^{[\natural p]}) \in \mathcal{O}(p\, t^2 \Delta(G))$ for even $p$. If we could show that for every graph $H$ of tree-width $t$ there is a chordal graph $G$ of tree-width $t$ which contains $H$ as an isometric subgraph (i.e., a distance preserving subgraph), then our results would extend to all graphs of tree-width $t$. While we cannot do this, we show that for every graph $H$ of genus $g$ there is a graph $G$ which is a triangulation of genus $g$ and contains $H$ as an isometric subgraph.


title: New reconstruction and data processing methods for regression and interpolation analysis of multidimensional big data

abstract: The problems of computational data processing involving regression, interpolation, reconstruction and imputation for multidimensional big datasets are becoming more important these days, because of the availability of data and their widely spread usage in business, technological, scientific and other applications. The existing methods often have limitations, which either do not allow, or make it difficult to accomplish many data processing tasks. The problems usually relate to algorithm accuracy, applicability, performance (computational and algorithmic), demands for computational resources, both in terms of power and memory, and difficulty working with high dimensions. Here, we propose a new concept and introduce two methods, which use local area predictors (input data) for finding outcomes. One method uses the gradient based approach, while the second one employs an introduced family of smooth approximating functions. The new methods are free from many drawbacks of existing approaches. They are practical, have very wide range of applicability, provide high accuracy, excellent computational performance, fit for parallel computing, and very well suited for processing high dimension big data. The methods also provide multidimensional outcome, when needed. We present numerical examples of up to one hundred dimensions, and report in detail performance characteristics and various properties of new methods.


title: On Frobenius and Fibers of Arithmetic Jet Spaces

abstract: In this article, given a scheme $X$ we show the existence of canonical lifts of Frobenius maps in an inverse system of schemes obtained from the fiber product of the canonical prolongation sequence of arithmetic jet spaces $J^*X$ and a prolongation sequence $S^*$ over the scheme $X$. As a consequence, for any smooth group scheme $E$, if $N^n$ denote the kernel of the canonical projection map of the $n$-th jet space $J^nE \rightarrow E$, then the inverse system $\{N^n\}_n$ is a prolongation sequence.


title: Asymptotic continuous orbit equivalence of Smale spaces and Ruelle algebras

abstract: In the first part of the paper, we introduce notions of asymptotic continuous orbit equivalence and asymptotic conjugacy in Smale spaces and characterize them in terms of their asymptotic Ruelle algebras with their dual actions. In the second part, we introduce a groupoid $C^*$-algebra which is an extended version of the asymptotic Ruelle algebra from a Smale space and study the extended Ruelle algebras from the view points of Cuntz--Krieger algebras. As a result, the asymptotic Ruelle algebra is realized as a fixed point algebra of the extended Ruelle algebra under certain circle action.


title: Measuring, Predicting and Visualizing Short-Term Change in Word Representation and Usage in VKontakte Social Network

abstract: Language in social media is extremely dynamic: new words emerge, trend and disappear, while the meaning of existing words can fluctuate over time. Such dynamics are especially notable during a period of crisis. This work addresses several important tasks of measuring, visualizing and predicting short term text representation shift, i.e. the change in a word's contextual semantics, and contrasting such shift with surface level word dynamics, or concept drift, observed in social media streams. Unlike previous approaches on learning word representations from text, we study the relationship between short-term concept drift and representation shift on a large social media corpus - VKontakte posts in Russian collected during the Russia-Ukraine crisis in 2014-2015. Our novel contributions include quantitative and qualitative approaches to (1) measure short-term representation shift and contrast it with surface level concept drift; (2) build predictive models to forecast short-term shifts in meaning from previous meaning as well as from concept drift; and (3) visualize short-term representation shift for example keywords to demonstrate the practical use of our approach to discover and track meaning of newly emerging terms in social media. We show that short-term representation shift can be accurately predicted up to several weeks in advance. Our unique approach to modeling and visualizing word representation shifts in social media can be used to explore and characterize specific aspects of the streaming corpus during crisis events and potentially improve other downstream classification tasks including real-time event detection.


title: The ellipse law: Kirchhoff meets dislocations

abstract: In this paper we consider a nonlocal energy $I_\alpha$ whose kernel is obtained by adding to the Coulomb potential an anisotropic term weighted by a parameter $\alpha\in \R$. The case $\alpha=0$ corresponds to purely logarithmic interactions, minimised by the celebrated circle law for a quadratic confinement; $\alpha=1$ corresponds to the energy of interacting dislocations, minimised by the semi-circle law. We show that for $\alpha\in (0,1)$ the minimiser can be computed explicitly and is the normalised characteristic function of the domain enclosed by an \emph{ellipse}. To prove our result we borrow techniques from fluid dynamics, in particular those related to Kirchhoff's celebrated result that domains enclosed by ellipses are rotating vortex patches, called \emph{Kirchhoff ellipses}. Therefore we show a surprising connection between vortices and dislocations.


title: Enhanced light emission from plasmonic nanostructures by molecules

abstract: Interaction between plasmonic nanostructures and molecules is modeled based on the concept of quantized optical cavity for surface enhanced Raman scattering process. We have found that the background emission from plasmonic nanostructures is not constant as speculated ordinarily, it is enhanced accompanying with the molecules Raman scattering. The plasmonic nanostructures not only scatter elastically the energy coupling from the molecules excited states, but also radiate it inelastically as surface plasmon emission partly resulting an enhanced background. According to single nanoparticle experiments, the model reveals that the background fluctuations is mainly due to the induced field of the molecules, which increases the local field felt by the nanostructures that was often overlooked in the past. These findings suggest considering the plasmonic nanostructures and molecules as a hybrid entity to analyze and optimize the surface enhanced spectroscopy.


title: Modeling Long- and Short-Term Temporal Patterns with Deep Neural Networks

abstract: Multivariate time series forecasting is an important machine learning problem across many domains, including predictions of solar plant energy output, electricity consumption, and traffic jam situation. Temporal data arise in these real-world applications often involves a mixture of long-term and short-term patterns, for which traditional approaches such as Autoregressive models and Gaussian Process may fail. In this paper, we proposed a novel deep learning framework, namely Long- and Short-term Time-series network (LSTNet), to address this open challenge. LSTNet uses the Convolution Neural Network (CNN) and the Recurrent Neural Network (RNN) to extract short-term local dependency patterns among variables and to discover long-term patterns for time series trends. Furthermore, we leverage traditional autoregressive model to tackle the scale insensitive problem of the neural network model. In our evaluation on real-world data with complex mixtures of repetitive patterns, LSTNet achieved significant performance improvements over that of several state-of-the-art baseline methods. All the data and experiment codes are available online.


title: Bohr sets and multiplicative diophantine approximation

abstract: In two dimensions, Gallagher's theorem is a strengthening of the Littlewood conjecture that holds for almost all pairs of real numbers. We prove an inhomogeneous fibre version of Gallagher's theorem, sharpening and making unconditional a result recently obtained conditionally by Beresnevich, Haynes and Velani. The idea is to find large generalised arithmetic progressions within inhomogeneous Bohr sets, extending a construction given by Tao. This precise structure enables us to verify the hypotheses of the Duffin--Schaeffer theorem for the problem at hand, via the geometry of numbers.


title: Toolboxes and handing students a hammer: The effects of cueing and instruction on getting students to think critically

abstract: Developing critical thinking skills is a common goal of an undergraduate physics curriculum. How do students make sense of evidence and what do they do with it? In this study, we evaluated students' critical thinking behaviors through their written notebooks in an introductory physics laboratory course. We compared student behaviors in the Structured Quantitative Inquiry Labs (SQILabs) curriculum to a control group and evaluated the fragility of these behaviors through procedural cueing. We found that the SQILabs were generally effective at improving the quality of students' reasoning about data and making decisions from data. These improvements in reasoning and sensemaking were thwarted, however, by a procedural cue. We describe these changes in behavior through the lens of epistemological frames and task orientation, invoked by the instructional moves.


title: Kinetic Monte Carlo Simulations of the Effect of the Exchange Control Layer Thickness in CoPtCrB/CoPtCrSiO Granular Media

abstract: A hybrid kMC/LLG algorithm is used to simulate experimental MH hysteresis loops for dual layer ECC media. The calculation of the rate coefficients and difficulties arising from low energy barriers, a fundamental problem of the kMC method, are discussed and the methodology used to treat them in the present work is described. The results from simulations are compared with experimental data on dual layer ECC CoPtCrB/CoPtCrSiO media. A quantitative relationship between the thickness of the exchange control layer and the effective exchange constant between the layers is demonstrated.


title: Continuous Integration, Delivery and Deployment: A Systematic Review on Approaches, Tools, Challenges and Practices

abstract: Context: Continuous practices, i.e., continuous integration, delivery, and deployment, are the software development industry practices that enable organizations to frequently and reliably release new features and products. With the increasing interest in and literature on continuous practices, it is important to systematically review and synthesize the approaches, tools, challenges, and practices reported for adopting and implementing continuous practices. Objective: This research aimed at systematically reviewing the state of the art of continuous practices to classify approaches and tools, identify challenges and practices in this regard, and identify the gaps for future research. Method: We used systematic literature review (SLR) method for reviewing the peer-reviewed papers on continuous practices published between 2004 and 1st June 2016. We applied thematic analysis method for analysing the data extracted from reviewing 69 papers selected using predefined criteria. Results: We have identified thirty approaches and associated tools, which facilitate the implementation of continuous practices in the following ways: (1) "reducing build and test time in continuous integration (CI)"; (2) "increasing visibility and awareness on build and test results in CI"; (3) "supporting (semi-) automated continuous testing"; (4) "detecting violations, flaws and faults in CI"; (5) "addressing security and scalability issues in deployment pipeline", and (6) "improving dependability and reliability of deployment process". We have also determined a list of critical factors such as "testing (effort and time)", "team awareness and transparency", "good design principles", "customer", "highly skilled and motivated team", "application domain", and "appropriate infrastructure" that should be carefully considered when introducing continuous practices in a given organization.


title: Low-Complexity Message Passing Based Massive MIMO Channel Estimation by Exploiting Unknown Sparse Common Support with Dirichlet Process

abstract: This paper investigates the problem of estimating sparse channels in massive MIMO systems. Most wireless channels are sparse with large delay spread, while some channels can be observed having sparse common support (SCS) within a certain area of the antenna array, i.e., the antenna array can be grouped into several clusters according to the sparse supports of channels. The SCS property is attractive when it comes to the estimation of large number of channels in massive MIMO systems. Using the SCS of channels, one expects better performance, but the number of clusters and the elements for each cluster are always unknown in the receiver. In this paper, {the Dirichlet process} is exploited to model such sparse channels where those in each cluster have SCS. We proposed a low complexity message passing based sparse Bayesian learning to perform channel estimation in massive MIMO systems by using combined BP with MF on a factor graph. Simulation results demonstrate that the proposed massive MIMO sparse channel estimation outperforms the state-of-the-art algorithms. Especially, it even shows better performance than the variational Bayesian method applied for massive MIMO channel estimation.


title: Regularity of Schroedinger's functional equation and mean field PDEs for h-path processes

abstract: E. Schroedinger proposed the equation to find the statistical property of a quantum particle on a finite time interval. It is called "Schroedinger's functional equation". Given probability distributions of a particle at initial and terminal times, it determines the joint distribution of a quantum particle at initial and terminal times so that a particle is Markovian. S. Bernstein generalized Schroedinger's idea and introduced the so-called Bernstein processes which are also called reciprocal processes or one-dimensional Markov random fields. The theory of stochastic differential equation for Schroedinger's functional equation was given by B. Jamison. The solution is Doob's h-path process with given two end point marginals. We show that the solution of Schroedinger's functional equation is measurable in space, kernel and marginals. As an application, we show that the drift vector of the h-path process with given two end point marginals is a measurable function of space, time and marginal at each time. In particular, we show that the marginals satisfy a class of mean field PDE systems of which the coefficients are measurable function of space, time and marginal. We also show that Schroedinger's functional equation is the Euler equation of a stochastic optimal transportation problem.


title: Recurrent Topic-Transition GAN for Visual Paragraph Generation

abstract: A natural image usually conveys rich semantic content and can be viewed from different angles. Existing image description methods are largely restricted by small sets of biased visual paragraph annotations, and fail to cover rich underlying semantics. In this paper, we investigate a semi-supervised paragraph generative framework that is able to synthesize diverse and semantically coherent paragraph descriptions by reasoning over local semantic regions and exploiting linguistic knowledge. The proposed Recurrent Topic-Transition Generative Adversarial Network (RTT-GAN) builds an adversarial framework between a structured paragraph generator and multi-level paragraph discriminators. The paragraph generator generates sentences recurrently by incorporating region-based visual and language attention mechanisms at each step. The quality of generated paragraph sentences is assessed by multi-level adversarial discriminators from two aspects, namely, plausibility at sentence level and topic-transition coherence at paragraph level. The joint adversarial training of RTT-GAN drives the model to generate realistic paragraphs with smooth logical transition between sentence topics. Extensive quantitative experiments on image and video paragraph datasets demonstrate the effectiveness of our RTT-GAN in both supervised and semi-supervised settings. Qualitative results on telling diverse stories for an image also verify the interpretability of RTT-GAN.


title: Encouraging LSTMs to Anticipate Actions Very Early

abstract: In contrast to the widely studied problem of recognizing an action given a complete sequence, action anticipation aims to identify the action from only partially available videos. As such, it is therefore key to the success of computer vision applications requiring to react as early as possible, such as autonomous navigation. In this paper, we propose a new action anticipation method that achieves high prediction accuracy even in the presence of a very small percentage of a video sequence. To this end, we develop a multi-stage LSTM architecture that leverages context-aware and action-aware features, and introduce a novel loss function that encourages the model to predict the correct class as early as possible. Our experiments on standard benchmark datasets evidence the benefits of our approach; We outperform the state-of-the-art action anticipation methods for early prediction by a relative increase in accuracy of 22.0% on JHMDB-21, 14.0% on UT-Interaction and 49.9% on UCF-101.


title: Optical/UV-to-X-Ray Echoes from the Tidal Disruption Flare ASASSN-14li

abstract: We carried out the first multi-wavelength (optical/UV and X-ray) photometric reverberation mapping of a tidal disruption flare (TDF) ASASSN-14li. We find that its X-ray variations are correlated with and lag the optical/UV fluctuations by 32$\pm$4 days. Based on the direction and the magnitude of the X-ray time lag, we rule out X-ray reprocessing and direct emission from a standard circular thin disk as the dominant source of its optical/UV emission. The lag magnitude also rules out an AGN disk-driven instability as the origin of ASASSN-14li and thus strongly supports the tidal disruption picture for this event and similar objects. We suggest that the majority of the optical/UV emission likely originates from debris stream self-interactions. Perturbations at the self-interaction sites produce optical/UV variability and travel down to the black hole where they modulate the X-rays. The time lag between the optical/UV and the X-rays variations thus correspond to the time taken by these fluctuations to travel from the self-interaction site to close to the black hole. We further discuss these time lags within the context of the three variants of the self-interaction model. High-cadence monitoring observations of future TDFs will be sensitive enough to detect these echoes and would allow us to establish the origin of optical/UV emission in TDFs in general.


title: Predictive Control of Autonomous Kites in Tow Test Experiments

abstract: In this paper we present a model-based control approach for autonomous flight of kites for wind power generation. Predictive models are considered to compensate for delay in the kite dynamics. We apply Model Predictive Control (MPC), with the objective of guiding the kite to follow a figure-of-eight trajectory, in the outer loop of a two level control cascade. The tracking capabilities of the inner-loop controller depend on the operating conditions and are assessed via a frequency domain robustness analysis. We take the limitations of the inner tracking controller into account by encoding them as optimisation constraints in the outer MPC. The method is validated on a kite system in tow test experiments.


abstract: DNN-based cross-modal retrieval has become a research hotspot, by which users can search results across various modalities like image and text. However, existing methods mainly focus on the pairwise correlation and reconstruction error of labeled data. They ignore the semantically similar and dissimilar constraints between different modalities, and cannot take advantage of unlabeled data. This paper proposes Cross-modal Deep Metric Learning with Multi-task Regularization (CDMLMR), which integrates quadruplet ranking loss and semi-supervised contrastive loss for modeling cross-modal semantic similarity in a unified multi-task learning architecture. The quadruplet ranking loss can model the semantically similar and dissimilar constraints to preserve cross-modal relative similarity ranking information. The semi-supervised contrastive loss is able to maximize the semantic similarity on both labeled and unlabeled data. Compared to the existing methods, CDMLMR exploits not only the similarity ranking information but also unlabeled cross-modal data, and thus boosts cross-modal retrieval accuracy.


title: Nonparametric Variational Auto-encoders for Hierarchical Representation Learning

abstract: The recently developed variational autoencoders (VAEs) have proved to be an effective confluence of the rich representational power of neural networks with Bayesian methods. However, most work on VAEs use a rather simple prior over the latent variables such as standard normal distribution, thereby restricting its applications to relatively simple phenomena. In this work, we propose hierarchical nonparametric variational autoencoders, which combines tree-structured Bayesian nonparametric priors with VAEs, to enable infinite flexibility of the latent representation space. Both the neural parameters and Bayesian priors are learned jointly using tailored variational inference. The resulting model induces a hierarchical structure of latent semantic concepts underlying the data corpus, and infers accurate representations of data instances. We apply our model in video representation learning. Our method is able to discover highly interpretable activity hierarchies, and obtain improved clustering accuracy and generalization capacity based on the learned rich representations.


title: Epistemic Modeling with Justifications

abstract: Existing logical models do not fairly represent epistemic situations with fallible justifications, e.g., Russell's Prime Minister example, though such scenarios have long been at the center of epistemic studies. We introduce justification epistemic models, JEM, which can handle such scenarios. JEM makes justifications prime objects and draws a distinction between accepted and knowledge-producing justifications; belief and knowledge become derived notions. Furthermore, Kripke models can be viewed as special cases of JEMs with additional assumptions of evidence insensitivity and common knowledge of the model. We argue that JEM can be applied to a range of epistemic scenarios in CS, AI, Game Theory, etc.


title: Fibers in the NGC1333 proto-cluster

abstract: Are the initial conditions for clustered star formation the same as for non-clustered star formation? To investigate the initial gas properties in young proto-clusters we carried out a comprehensive and high-sensitivity study of the internal structure, density, temperature, and kinematics of the dense gas content of the NGC1333 region in Perseus, one of the nearest and best studied embedded clusters. The analysis of the gas velocities in the Position-Position-Velocity space reveals an intricate underlying gas organization both in space and velocity. We identified a total of 14 velocity-coherent, (tran-)sonic structures within NGC1333, with similar physical and kinematic properties than those quiescent, star-forming (aka fertile) fibers previously identified in low-mass star-forming clouds. These fibers are arranged in a complex spatial network, build-up the observed total column density, and contain the dense cores and protostars in this cloud. Our results demonstrate that the presence of fibers is not restricted to low-mass clouds but can be extended to regions of increasing mass and complexity. We propose that the observational dichotomy between clustered and non-clustered star-forming regions might be naturally explained by the distinct spatial density of fertile fibers in these environments.


title: An Investigation of Three-point Shooting through an Analysis of NBA Player Tracking Data

abstract: I address the difficult challenge of measuring the relative influence of competing basketball game strategies, and I apply my analysis to plays resulting in three-point shots. I use a glut of SportVU player tracking data from over 600 NBA games to derive custom position-based features that capture tangible game strategies from game-play data, such as teamwork, player matchups, and on-ball defender distances. Then, I demonstrate statistical methods for measuring the relative importance of any given basketball strategy. In doing so, I highlight the high importance of teamwork based strategies in affecting three-point shot success. By coupling SportVU data with an advanced variable importance algorithm I am able to extract meaningful results that would have been impossible to achieve even 3 years ago. Further, I demonstrate how player-tracking based features can be used to measure the three- point shooting propensity of players, and I show how this measurement can identify effective shooters that are either highly-utilized or under-utilized. Altogether, my findings provide a substantial body of work for influencing basketball strategy, and for measuring the effectiveness of basketball players.


title: Rotation of Late-Type Stars in Praesepe with K2

abstract: We have Fourier analyzed 941 K2 light curves of likely members of Praesepe, measuring periods for 86% and increasing the number of rotation periods (P) by nearly a factor of four. The distribution of P vs. (V-K), a mass proxy, has three different regimes: (V-K)<1.3, where the rotation rate rapidly slows as mass decreases; 1.3<(V-K)<4.5, where the rotation rate slows more gradually as mass decreases; and (V-K)>4.5, where the rotation rate rapidly increases as mass decreases. In this last regime, there is a bimodal distribution of periods, with few between $\sim$2 and $\sim$10 days. We interpret this to mean that once M stars start to slow down, they do so rapidly. The K2 period-color distribution in Praesepe ($\sim$790 Myr) is much different than in the Pleiades ($\sim$125 Myr) for late F, G, K, and early-M stars; the overall distribution moves to longer periods, and is better described by 2 line segments. For mid-M stars, the relationship has similarly broad scatter, and is steeper in Praesepe. The diversity of lightcurves and of periodogram types is similar in the two clusters; about a quarter of the periodic stars in both clusters have multiple significant periods. Multi-periodic stars dominate among the higher masses, starting at a bluer color in Praesepe ((V-K)$\sim$1.5) than in the Pleiades ((V-K)$\sim$2.6). In Praesepe, there are relatively more light curves that have two widely separated periods, $\Delta P >$6 days. Some of these could be examples of M star binaries where one star has spun down but the other has not.


title: Tunable Metamaterials Fabricated by Fiber Drawing

abstract: We demonstrate a practical scalable approach to the fabrication of tunable metamaterials. Designed for THz wavelengths, the metamaterial is comprised of polyurethane filled with an array of indium wires using the well-established fiber drawing technique. Modification of the dimensions of the metamaterial provides tunability: by compressing the metamaterial we demonstrated a 50% plasma frequency shift using THz time domain spectroscopy. Releasing the compression allowed the metamaterial to return to its original dimensions and plasma frequency, demonstrating dynamic reversible tunability.


title: Verifying Patterns of Dynamic Architectures using Model Checking

abstract: Architecture patterns capture architectural design experience and provide abstract solutions to recurring architectural design problems. They consist of a description of component types and restrict component connection and activation. Therefore, they guarantee some desired properties for architectures employing the pattern. Unfortunately, most documented patterns do not provide a formal guarantee of whether their specification indeed leads to the desired guarantee. Failure in doing so, however, might lead to wrong architectures, i.e., architectures wrongly supposed to show certain desired properties. Since architectures, in general, have a high impact on the quality of the resulting system and architectural flaws are only difficult, if not to say impossible, to repair, this may lead to badly reparable quality issues in the resulting system. To address this problem, we propose an approach based on model checking to verify pattern specifications w.r.t. their guarantees. In the following we apply the approach to three well-known patterns for dynamic architectures: the Singleton, the Model-View-Controller, and the Broker pattern. Thereby, we discovered ambiguities and missing constraints for all three specifications. Thus, we conclude that verifying patterns of dynamic architectures using model checking is feasible and useful to discover ambiguities and flaws in pattern specifications.


title: Model-based Testing of the Java Network API

abstract: Testing networked systems is challenging. The client or server side cannot be tested by itself. We present a solution using tool "Modbat" that generates test cases for Java's network library java.nio, where we test both blocking and non-blocking network functions. Our test model can dynamically simulate actions in multiple worker and client threads, thanks to a carefully orchestrated design that covers non-determinism while ensuring progress.


title: Pattern Division Multiple Access with Large-scale Antenna Array

abstract: In this paper, pattern division multiple access with large-scale antenna array (LSA-PDMA) is proposed as a novel non-orthogonal multiple access (NOMA) scheme. In the proposed scheme, pattern is designed in both beam domain and power domain in a joint manner. At the transmitter, pattern mapping utilizes power allocation to improve the system sum rate and beam allocation to enhance the access connectivity and realize the integration of LSA into multiple access spontaneously. At the receiver, hybrid detection of spatial filter (SF) and successive interference cancellation (SIC) is employed to separate the superposed multiple-domain signals. Furthermore, we formulate the sum rate maximization problem to obtain the optimal pattern mapping policy, and the optimization problem is proved to be convex through proper mathematical manipulations. Simulation results show that the proposed LSA-PDMA scheme achieves significant performance gain on system sum rate compared to both the orthogonal multiple access scheme and the power-domain NOMA scheme.


title: Checking Properties along Multiple Reconfiguration Paths for Component-Based Systems

abstract: Reconfiguration paths express sequences of successive reconfiguration operations within a component-based approach allowing dynamic reconfigurations. We use constructs from regular expressions-pin particular, alternatives-to introduce multiple reconfiguration paths. We show how to put into action procedures allowing architectural, event, and temporal properties to be proved. Our method, related to finite state automata and using marking techniques, generalises what we did within previous work, where the regular expressions we processed were more restricted. But we can only deal with a subset of first-order logic formulas.


title: Modelling System of Systems Interface Contract Behaviour

abstract: A key challenge in System of Systems (SoS) engineering is the analysis and maintenance of global properties under SoS evolution, and the integration of new constituent elements. There is a need to model the constituent systems composing a SoS in order to allow the analysis of emergent behaviours at the SoS boundary. The Contract pattern allows the engineer to specify constrained behaviours to which constituent systems are required to conform in order to be a part of the SoS. However, the Contract pattern faces some limitations in terms of its accessibility and suitability for verifying contract compatibility. To address these deficiencies, we propose the enrichment of the Contract pattern, which hitherto has been defined using SysML and the COMPASS Modelling Language (CML), by utilising SysML and Object Constraint Language (OCL). In addition, we examine the potential of interface automata, a notation for improving loose coupling between interfaces of constituent systems defined according to the contract, as a means of enabling the verification of contract compatibility. The approach is demonstrated using a case study in audio/video content streaming.


title: Transition in a numerical model of contact line dynamics and forced dewetting

abstract: We investigate the transition to a Landau-Levich-Derjaguin film in forced dewetting using a quadtree adaptive solution to the Navier-Stokes equations with surface tension. We use a discretization of the capillary forces near the receding contact line that yields an equilibrium for a specified contact angle $\theta_\Delta$ called the numerical contact angle. Despite the well-known contact line singularity, dynamic simulations can proceed without any explicit additional numerical procedure. We investigate angles from $15^\circ$ to $110^\circ$ and capillary numbers from $0.00085$ to $0.2$ where the mesh size $\Delta$ is varied in the range of $0.0035$ to $0.06$ of the capillary length $l_c$. To interpret the results, we use Cox's theory which involves a microscopic distance $r_m$ and a microscopic angle $\theta_e$. In the numerical case, the equivalent of $\theta_e$ is the angle $\theta_\Delta$ and we find that Cox's theory also applies. We introduce the scaling factor or gauge function $\phi$ so that $r_m = \Delta/\phi$ and estimate this gauge function by comparing our numerics to Cox's theory. The comparison provides a direct assessment of the agreement of the numerics with Cox's theory and reveals a critical feature of the numerical treatment of contact line dynamics: agreement is poor at small angles while it is better at large angles. This scaling factor is shown to depend only on $\theta_\Delta$ and the viscosity ratio $q$. In the case of small $\theta_e$, we use the prediction by Eggers [Phys. Rev. Lett., vol. 93, pp 094502, 2004] of the critical capillary number for the Landau-Levich-Derjaguin forced dewetting transition. We generalize this prediction to large $\theta_e$ and arbitrary $q$ and express the critical capillary number as a function of $\theta_e$ and $r_m$. An analogy can be drawn between $r_m$ and the numerical slip length.