title: A characterization of trace zero bisymmetric nonnegative $5 \times 5$ matrices

abstract: Let $\lambda_1 \geq \lambda_2 \geq \lambda_3 \geq \lambda_4 \geq \lambda_5 \geq -\lambda_1$ be real numbers such that $\sum_{i=1}^5 \lambda_i =0$. In \cite{oren}, O. Spector prove that a necessary and sufficient condition for $\lambda_1, \lambda_2, \lambda_3, \lambda_4, \lambda_5$ to be the eigenvalues of a symmetric nonnegative $5 \times 5$ matrix is "$\lambda_2+\lambda_5<0$ and $\sum_{i=1}^5 \lambda_{i}^{3} \geq 0"$. In this article, we show that this condition is also a necessary and sufficient condition for $\lambda_1, \lambda_2, \lambda_3, \lambda_4, \lambda_5$ to be the spectrum of a traceless bisymmetric nonnegative $5 \times 5$ matrix.


title: On the Radio Emitting Particles of the Crab Nebula: Stochastic Acceleration Model

abstract: The broadband emission of Pulsar Wind Nebulae (PWNe) is well described by non-thermal emissions from accelerated electrons and positrons. However, the standard shock acceleration model of PWNe does not account for the hard spectrum in radio wavelengths. The origin of the radio-emitting particles is also important to determine the pair production efficiency in the pulsar magnetosphere. Here, we propose a possible resolution for the particle energy distribution in PWNe; the radio-emitting particles are not accelerated at the pulsar wind termination shock but are stochastically accelerated by turbulence inside PWNe. We upgrade our past one-zone spectral evolution model including the energy diffusion, i.e., the stochastic acceleration, and apply to the Crab Nebula. A fairly simple form of the energy diffusion coefficient is assumed for this demonstrative study. For a particle injection to the stochastic acceleration process, we consider the continuous injection from the supernova ejecta or the impulsive injection associated with supernova explosion. The observed broadband spectrum and the decay of the radio flux are reproduced by tuning the amount of the particle injected to the stochastic acceleration process. The acceleration time-scale and the duration of the acceleration are required to be a few decades and a few hundred years, respectively. Our results imply that some unveiled mechanisms, such as back reaction to the turbulence, are required to make the energies of stochastically and shock accelerated particles comparable.


title: Statistical mechanics of a polymer chain attached to the interface of a cone-shaped channel

abstract: A polymer chain confined in nano-scale geometry has been used to investigate the underlying mechanism of Nuclear Pore Complex (NPC), where transport of cargoes is directional. It was shown here that depending on the solvent quality (good or poor) across the channel, a polymer chain can be either inside or outside the channel or both. Exact results based on the short chain revealed that a slight variation in the solvent quality can drag polymer chain inside the pore and {\it vice versa} similar to one seen in NPC. Furthermore, we also report the absence of crystalline (highly dense) state when the pore-size is less than the certain value, which may have potential application in packaging of DNA inside the preformed viral proheads.


title: Quasi-two-dimensional Bose-Einstein condensation of lattice bosons in spin-1/2 XXZ ferromagnet K$_2$CuF$_4$

abstract: K$_2$CuF$_4$ is magnetically described as a spin-1/2, quasi-two-dimensional (2D), square-lattice XXZ ferromagnet with weak easy-plane anisotropy. The magnetic ordering for an applied magnetic field $H$ parallel to the $c$ axis is equivalent to the Bose\,--\,Einstein condensation (BEC) of lattice bosons, as discussed by Matsubara and Matsuda [Prog. Theor. Phys. \textbf{16}, 569 (1956)]. Magnetization and specific heat measurements were performed to obtain the temperature vs magnetic field phase diagram for $H\,{\parallel}\,c$. The phase boundary between polarized and ordered phases was found to be expressed by the power law $H_{\rm c}(T)\,{-}\,H_{\rm c}(0)\,{\propto}\,T^\phi$ with exponent $\phi\,{\approx}\,1.0$ in a wide temperature range, in agreement with the theory of quasi-2D BEC.


title: Proactive Edge Computing in Latency-Constrained Fog Networks

abstract: In this paper, the fundamental problem of distribution and proactive caching of computing tasks in fog networks is studied under latency and reliability constraints. In the proposed scenario, computing can be executed either locally at the user device or offloaded to an edge cloudlet. Moreover, cloudlets exploit both their computing and storage capabilities by proactively caching popular task computation results to minimize computing latency. To this end, a clustering method to group spatially proximate user devices with mutual task popularity interests and their serving cloudlets is proposed. Then, cloudlets can proactively cache the popular tasks' computations of their cluster members to minimize computing latency. Additionally, the problem of distributing tasks to cloudlets is formulated as a matching game in which a cost function of computing delay is minimized under latency and reliability constraints. Simulation results show that the proposed scheme guarantees reliable computations with bounded latency and achieves up to 91% decrease in computing latency as compared to baseline schemes.


title: The finite density scaling laws of condensation phase transition in zero range processes on scale-free networks

abstract: The dynamics of zero-range processes on complex networks is expected to be influenced by the topological structure of underlying networks. A real space complete condensation phase transition in the stationary state may occur. We have studied the finite density effects of the condensation transition in both the stationary and dynamical zero-range process on scale-free networks. By means of grand canonical ensemble method, we predict analytically the scaling laws of the average occupation number with respect to the finite density for the steady state. We further explore the relaxation dynamics of the condensation phase transition. By applying the hierarchical evolution and scaling ansatz, a scaling law for the relaxation dynamics is predicted. Monte Carlo simulations are performed and the predicted density scaling laws are nicely validated.


title: Be discs in coplanar circular binaries: Phase-locked variations of emission lines

abstract: The first results of radiative transfer calculations on decretion discs of binary Be stars are presented. A smoothed particle hydrodynamics code computes the structure of Be discs in coplanar circular binary systems for a range of orbital and disc parameters. The resulting disc configuration consists of two spiral arms, and can be given as input into a Monte Carlo code, which calculates the radiative transfer along the line of sight for various observational coordinates. Making use of the property of steady disc structure in coplanar circular binaries, observables are computed as functions of the orbital phase. Orbital-phase series of line profiles are given for selected parameter sets under various viewing angles, to allow comparison with observations. Flat-topped profiles with and without superimposed multiple structures are reproduced, showing, for example, that triple-peaked profiles do not have to be necessarily associated with warped discs and misaligned binaries. It is demonstrated that binary tidal effects give rise to phase-locked variability of the violet-to-red (V/R) ratio of hydrogen emission lines. The V/R ratio exhibits two maxima per cycle; in certain cases those maxima are equal, leading to a clear new V/R cycle every half orbital period. This study opens a way in identifying binaries and in constraining the parameters of binary systems that exhibit phase-locked variations induced by tidal interaction with a companion star.


title: ScaleNet: Guiding Object Proposal Generation in Supermarkets and Beyond

abstract: Motivated by product detection in supermarkets, this paper studies the problem of object proposal generation in supermarket images and other natural images. We argue that estimation of object scales in images is helpful for generating object proposals, especially for supermarket images where object scales are usually within a small range. Therefore, we propose to estimate object scales of images before generating object proposals. The proposed method for predicting object scales is called ScaleNet. To validate the effectiveness of ScaleNet, we build three supermarket datasets, two of which are real-world datasets used for testing and the other one is a synthetic dataset used for training. In short, we extend the previous state-of-the-art object proposal methods by adding a scale prediction phase. The resulted method outperforms the previous state-of-the-art on the supermarket datasets by a large margin. We also show that the approach works for object proposal on other natural images and it outperforms the previous state-of-the-art object proposal methods on the MS COCO dataset. The supermarket datasets, the virtual supermarkets, and the tools for creating more synthetic datasets will be made public.


title: Functional Covering Numbers

abstract: We define covering and separation numbers for functions. We investigate their properties, and show that for some classes of functions there is exact equality of separation and covering. We provide analogues for various geometric inequalities on covering numbers, such as volume bounds, bounds connected with Hadwiger's conjecture, and inequalities about M-positions for geometric log-concave functions. In particular, we obtain strong versions of M-positions for geometric log-concave functions.


title: Connected and Disconnected Contractions in Pion-Pion Scattering

abstract: We show that the interplay of chiral effective field theory and lattice QCD can be used in the evaluation of so-called disconnected diagrams, which appear in the study of the isoscalar and isovector channels of pion-pion scattering and have long been a major challenge for the lattice community. By means of partially-quenched chiral perturbation theory, we distinguish and analyze the effects from different types of contraction diagrams to the pion-pion scattering amplitude, including its scattering lengths and the energy-dependence of its imaginary part. Our results may be used to test the current degree of accuracy of lattice calculation in the handling of disconnected diagrams, as well as to set criteria for the future improvement of relevant lattice computational techniques that may play a critical role in the study of other interesting QCD matrix elements.


title: Controllability of Linear Positive Systems: An Alternative Formulation

abstract: An alternative formulation for the controllability problem of single input linear positive systems is presented. Driven by many industrial applications, this formulations focuses on the case where the region of interest is only a subset of positive orthant rather than the entire positive orthant. To this end, we discuss the geometry of controllable subsets and develop numerically verifiable conditions for polyhedrality of controllable subsets. Finally, we provide a method to check for controllability of a target set based on our approach.


title: Convolutional Neural Networks for Facial Expression Recognition

abstract: We have developed convolutional neural networks (CNN) for a facial expression recognition task. The goal is to classify each facial image into one of the seven facial emotion categories considered in this study. We trained CNN models with different depth using gray-scale images. We developed our models in Torch and exploited Graphics Processing Unit (GPU) computation in order to expedite the training process. In addition to the networks performing based on raw pixel data, we employed a hybrid feature strategy by which we trained a novel CNN model with the combination of raw pixel data and Histogram of Oriented Gradients (HOG) features. To reduce the overfitting of the models, we utilized different techniques including dropout and batch normalization in addition to L2 regularization. We applied cross validation to determine the optimal hyper-parameters and evaluated the performance of the developed models by looking at their training histories. We also present the visualization of different layers of a network to show what features of a face can be learned by CNN models.


title: Generalized feedback vertex set problems on bounded-treewidth graphs: chordality is the key to single-exponential parameterized algorithms

abstract: It has long been known that Feedback Vertex Set can be solved in time $2^{\mathcal{O}(w\log w)}n^{\mathcal{O}(1)}$ on $n$-vertex graphs of treewidth $w$, but it was only recently that this running time was improved to $2^{\mathcal{O}(w)}n^{\mathcal{O}(1)}$, that is, to single-exponential parameterized by treewidth. We investigate which generalizations of Feedback Vertex Set can be solved in a similar running time. Formally, for a class $\mathcal{P}$ of graphs, the Bounded $\mathcal{P}$-Block Vertex Deletion problem asks, given a graph~$G$ on $n$ vertices and positive integers~$k$ and~$d$, whether $G$ contains a set~$S$ of at most $k$ vertices such that each block of $G-S$ has at most $d$ vertices and is in $\mathcal{P}$. Assuming that $\mathcal{P}$ is recognizable in polynomial time and satisfies a certain natural hereditary condition, we give a sharp characterization of when single-exponential parameterized algorithms are possible for fixed values of $d$: if $\mathcal{P}$ consists only of chordal graphs, then the problem can be solved in time $2^{\mathcal{O}(wd^2)} n^{\mathcal{O}(1)}$, and if $\mathcal{P}$ contains a graph with an induced cycle of length $\ell\ge 4$, then the problem is not solvable in time $2^{o(w\log w)} n^{\mathcal{O}(1)}$ even for fixed $d=\ell$, unless the ETH fails. We also study a similar problem, called Bounded $\mathcal{P}$-Component Vertex Deletion, where the target graphs have connected components of small size rather than blocks of small size, and we present analogous results. For this problem, we also show that if $d$ is part of the input and $\mathcal{P}$ contains all chordal graphs, then it cannot be solved in time $f(w)n^{o(w)}$ for some function $f$, unless the ETH fails.


title: Poincar\'e square series for the Weil representation

abstract: We calculate the Jacobi Eisenstein series of weight $k \ge 3$ for a certain representation of the Jacobi group, and evaluate these at $z = 0$ to give coefficient formulas for a family of modular forms $Q_{k,m,\beta}$ of weight $k \ge 5/2$ for the (dual) Weil representation on an even lattice. The forms we construct always contain all cusp forms within their span. We explain how to compute the representation numbers in the coefficient formulas for $Q_{k,m,\beta}$ and the Eisenstein series of Bruinier and Kuss $p$-adically to get an efficient algorithm. The main application is in constructing automorphic products.


title: Vinen turbulence via the decay of multicharged vortices in trapped atomic Bose-Einstein condensates

abstract: We investigate a procedure to generate turbulence in a trapped Bose-Einstein condensate which takes advantage of the decay of multicharged vortices. We show that the resulting singly-charged vortices twist around each other, intertwined in the shape of helical Kelvin waves, which collide and undergo vortex reconnections, creating a disordered vortex state. By examining the velocity statistics, the energy spectrum, the correlation functions and the temporal decay, and comparing these properties with the properties of ordinary turbulence and observations in superfluid helium, we conclude that this disordered vortex state can be identified with the `Vinen' regime of turbulence which has been discovered in the context of superfluid helium.


title: Formation of Facets for an Effective Model of Crystal Growth

abstract: We study an effective model of microscopic facet formation for low temperature three dimensional microscopic Wulff crystals above the droplet condensation threshold. The model we consider is a 2+1 solid on solid surface coupled with high and low density bulk Bernoulli fields. At equilibrium the surface stays flat. Imposing a canonical constraint on excess number of particles forces the surface to "grow" through the sequence of spontaneous creations of macroscopic size monolayers. We prove that at all sufficiently low temperatures, as the excess particle constraint is tuned, the model undergoes an infinite sequence of first order transitions, which traces an infinite sequence of first order transitions in the underlying variational problem. Away from transition values of canonical constraint we prove sharp concentration results for the rescaled level lines around solutions of the limiting variational problem.


title: Content-Based Video-Music Retrieval Using Soft Intra-Modal Structure Constraint

abstract: Up to now, only limited research has been conducted on cross-modal retrieval of suitable music for a specified video or vice versa. Moreover, much of the existing research relies on metadata such as keywords, tags, or associated description that must be individually produced and attached posterior. This paper introduces a new content-based, cross-modal retrieval method for video and music that is implemented through deep neural networks. We train the network via inter-modal ranking loss such that videos and music with similar semantics end up close together in the embedding space. However, if only the inter-modal ranking constraint is used for embedding, modality-specific characteristics can be lost. To address this problem, we propose a novel soft intra-modal structure loss that leverages the relative distance relationship between intra-modal samples before embedding. We also introduce reasonable quantitative and qualitative experimental protocols to solve the lack of standard protocols for less-mature video-music related tasks. Finally, we construct a large-scale 200K video-music pair benchmark. All the datasets and source code can be found in our online repository (https://github.com/csehong/VM-NET).


title: Multiplicative models for frequency data, estimation and testing

abstract: This paper is about models for a vector of probabilities whose elements must have a multiplicative structure and sum to 1 at the same time; in certain applications, as basket analysis, these models may be seen as a constrained version of quasi-independence. After reviewing the basic properties of these models, their geometric features as a curved exponential family are investigated. A new algorithm for computing maximum likelihood estimates is presented and new insights are provided on the underlying geometry. The asymptotic distribution of three statistics for hypothesis testing are derived and a small simulation study is presented to investigate the accuracy of asymptotic approximations.


title: The analysis of the charmonium-like states $X^{*}(3860)$,$X(3872)$, $X(3915)$, $X(3930)$ and $X(3940)$ according to its strong decay behaviors

abstract: Inspired by the newly observed state $X^{*}(3860)$, we analyze the strong decay behaviors of some charmonium-like states $X^{*}(3860)$,$X(3872)$, $X(3915)$, $X(3930)$ and $X(3940)$ by the $^{3}P_{0}$ model. We carry out our work based on the hypothesis that these states are all being the charmonium systems. Our analysis indicates that $0^{++}$ charmonium state can be a good candidate for $X^{*}(3860)$ and $1^{++}$ state is the possible assignment for $X(3872)$. Considering as the $3^{1}S_{0}$ state, the decay behavior of $X(3940)$ is inconsistent with the experimental data. So, we can not assign $X(3940)$ as the $3^{1}S_{0}$ charmonium state by present work. Besides, our analysis imply that it is reasonable to assign $X(3915)$ and $X(3930)$ to be the same state, $2^{++}$. However, combining our analysis with that of Zhou~\cite{ZhouZY}, we speculate that $X(3915)$/$X(3930)$ might not be a pure $c\overline{c}$ systems.


title: Multiuser Millimeter Wave MIMO Channel Estimation with Hybrid Beamforming

abstract: This paper focuses on multiuser MIMO channel estimation and data transmission at millimeter wave (mmWave) frequencies. The proposed approach relies on the time-division-duplex (TDD) protocol and is based on two distinct phases. First of all, the Base Station (BS) sends a suitable probing signal so that all the Mobile Stations (MSs), using a subspace tracking algorithm, can estimate the dominant left singular vectors of their BS-to-MS propagation channel. Then, each MS, using the estimated dominant left singular vectors as pre-coding beamformers, sends a suitable pilot sequence so that the BS can estimate the corresponding right dominant channel singular vectors and the corresponding eigenvalues. The low-complexity projection approximation subspace tracking with deflation (PASTd) algorithm is used at the MSs for dominant subspace estimation, while pilot-matched (PM) and zero-forcing (ZF) reception is used at the BS. The proposed algorithms can be used in conjuction with an analog RF beamformer and are shown to exhibit very good performance.


title: Subspace Tracking Algorithms for Millimeter Wave MIMO Channel Estimation with Hybrid Beamforming

abstract: This paper proposes the use of subspace tracking algorithms for performing MIMO channel estimation at millimeter wave (mmWave) frequencies. Using a subspace approach, we develop a protocol enabling the estimation of the right (resp. left) singular vectors at the transmitter (resp. receiver) side; then, we adapt the projection approximation subspace tracking with deflation (PASTd) and the orthogonal Oja (OOJA) algorithms to our framework and obtain two channel estimation algorithms. The hybrid analog/digital nature of the beamformer is also explicitly taken into account at the algorithm design stage. Numerical results show that the proposed estimation algorithms are effective, and that they perform better than two relevant competing alternatives available in the open literature.


title: Local-in-time Well-posedness of Boundary Layer System for the Full Incompressible MHD Equations by Energy Methods

abstract: In this paper, we investigate the well-posedness theory for the MHD boundary layer system in two-dimensional space. The boundary layer equations are governed by the Prandtl type equations that are derived from the full incompressible MHD system with non-slip boundary condition on the velocity, perfectly conducting condition on the magnetic field, and Dirichlet boundary condition on the temperature when the viscosity coefficient depends on the temperature. To derive the Prandtl type boundary layer system, we require all the hydrodynamic Reynolds numbers, magnetic Reynolds numbers and Nusselt numbers tend to infinity at the same rate. Under the assumption that the initial tangential magnetic field is not zero, one applies the energy methods to establish the local-in-time existence and uniqueness of solution for the MHD boundary layer equations without the necessity of monotonicity condition.


title: Convex Formulation of Multiple Instance Learning from Positive and Unlabeled Bags

abstract: Multiple instance learning (MIL) is a variation of traditional supervised learning problems where data (referred to as bags) are composed of sub-elements (referred to as instances) and only bag labels are available. MIL has a variety of applications such as content-based image retrieval, text categorization and medical diagnosis. Most of the previous work for MIL assume that the training bags are fully labeled. However, it is often difficult to obtain an enough number of labeled bags in practical situations, while many unlabeled bags are available. A learning framework called PU learning (positive and unlabeled learning) can address this problem. In this paper, we propose a convex PU learning method to solve an MIL problem. We experimentally show that the proposed method achieves better performance with significantly lower computational costs than an existing method for PU-MIL.


title: On Poisson approximations for the Ewens sampling formula when the mutation parameter grows with the sample size

abstract: The Ewens sampling formula was firstly introduced in the context of population genetics by Warren John Ewens in 1972, and has appeared in a lot of other scientific fields. There are abundant approximation results associated with the Ewens sampling formula especially when one of the parameters, the sample size $n$ or the mutation parameter $\theta$ which denotes the scaled mutation rate, tends to infinity while the other is fixed. By contrast, the case that $\theta$ grows with $n$ has been considered in a relatively small number of works, although this asymptotic setup is also natural. In this paper, when $\theta$ grows with $n$, we advance the study concerning the asymptotic properties of the total number of alleles and of the counts of components in the allelic partition assuming the Ewens sampling formula from the viewpoint of Poisson approximations.


title: Role of chiral quantum Hall edge states in nuclear spin polarization

abstract: Resistively detected NMR (RDNMR) based on dynamic nuclear polarization (DNP) in a quantum Hall ferromagnet (QHF) is a highly-sensitive method for the discovery of fascinating quantum Hall phases; however, the mechanism of this DNP and in particular the role of quantum Hall edge states in it are unclear. Here we demonstrate the important but previously unrecognized effect of chiral edge modes on the nuclear spin polarization. A side-by-side comparison of the RDNMR signals from Hall bar and Corbino disk configurations allows us to distinguish the contributions of bulk and edge states to DNP in QHF. The unidirectional current flow along chiral edge states makes the polarization robust to thermal fluctuations at high temperatures and makes it possible to observe a reciprocity principle of the RDNMR response. These findings help us better understand complex NMR responses in QHF, which has important implications for the development of RDNMR techniques.


title: Sensitivity analysis for optimal control problems governed by nonlinear evolution inclusions

abstract: We consider a nonlinear optimal control problem governed by a nonlinear evolution inclusion and depending on a parameter $\lambda$. First we examine the dynamics of the problem and establish the nonemptiness of the solution set and produce continuous selections of the solution multifunction $\xi\mapsto S(\xi)$ ($\xi$ being the initial condition). These results are proved in a very general framework and are of independent interest as results about evolution inclusions. Then we use them to study the sensitivity properties of the optimal control problem. We show that we have Hadamard well-posedness (continuity of the value function) and we establish the continuity properties of the optimal multifunction. Finally we present an application on a nonlinear parabolic distributed parameter system.


title: Polaron dynamics with off-diagonal coupling: beyond the Ehrenfest approximation

abstract: Treated traditionally by the Ehrenfest approximation, dynamics of a one-dimensional molecular crystal model with off-diagonal exciton-phonon coupling is investigated in this work using the Dirac-Frenkel time-dependent variational principle with the multi-D$_2$ {\it Ansatz}. It is shown that the Ehrenfest method is equivalent to our variational method with the single D$_2$ {\it Ansatz}, and with the multi-D$_2$ {\it Ansatz}, the accuracy of our simulated dynamics is significantly enhanced in comparison with the semi-classical Ehrenfest dynamics. The multi-D$_2$ {\it Ansatz} is able to capture numerically accurate exciton momentum probability and help clarify the relation between the exciton momentum redistribution and the exciton energy relaxation. The results demonstrate that the exciton momentum distributions in the steady state are determined by a combination of the transfer integral and the off-diagonal coupling strength, independent of the excitonic initial conditions. We also probe the effect of the transfer integral and the off-diagonal coupling on exciton transport in both real and reciprocal space representations. Finally, the variational method with importance sampling is employed to investigate temperature effects on exciton transport using the multi-$\rm D_2$ {\it Ansatz}, and it is demonstrated that the variational approach is valid in both low and high temperature regimes.


title: Three-body correlations in a two-dimensional SU(3) Fermi gas

abstract: We consider a three-component Fermi gas that has SU(3) symmetry and is confined to two dimensions (2D). For realistic cold atomic gas experiments, we show that the phase diagram of the quasi-2D system can be characterized using two 2D scattering parameters: the scattering length and the effective range. Unlike the case in 3D, we argue that three-body bound states (trimers) in the quasi-2D system can be stable against three-body losses. Using a low-density expansion coupled with a variational approach, we investigate the fate of such trimers in the many-body system as the attractive interactions are decreased (or, conversely, as the density of particles is increased). We find that remnants of trimers can persist in the form of strong three-body correlations in the weak-coupling (high-density) limit.


title: Reaching to a small target: entropic barriers and rates of specific binding of polymer to substrate

abstract: This paper considers a broadly biologically relevant question of a chain (such as a protein) binding to a sequence of receptors with matching multiple ligands distributed along the chain. This binding is critical in cell adhesion events, and in protein self-assembly. Using a mean field approximation of polymer dynamics, we first calculate the characteristic binding time for a tethered ligand reaching for a specific binding site on the surface. This time is determined by two separate entropic effects: an entropic barrier for the chain to be stretched sufficiently to reach the distant target, and a restriction on chain conformations near the surface. We then derive the characteristic time for a sequence of single binding events, and find that it is determined by the `zipper effect', optimizing the sequence of single and multiple binding steps.


title: Quantum algorithm for tree size estimation, with applications to backtracking and 2-player games

abstract: We study quantum algorithms on search trees of unknown structure, in a model where the tree can be discovered by local exploration. That is, we are given the root of the tree and access to a black box which, given a vertex $v$, outputs the children of $v$. We construct a quantum algorithm which, given such access to a search tree of depth at most $n$, estimates the size of the tree $T$ within a factor of $1\pm \delta$ in $\tilde{O}(\sqrt{nT})$ steps. More generally, the same algorithm can be used to estimate size of directed acyclic graphs (DAGs) in a similar model. We then show two applications of this result: a) We show how to transform a classical backtracking search algorithm which examines $T$ nodes of a search tree into an $\tilde{O}(\sqrt{T}n^{3/2})$ time quantum algorithm, improving over an earlier quantum backtracking algorithm of Montanaro (arXiv:1509.02374). b) We give a quantum algorithm for evaluating AND-OR formulas in a model where the formula can be discovered by local exploration (modeling position trees in 2-player games). We show that, in this setting, formulas of size $T$ and depth $T^{o(1)}$ can be evaluated in quantum time $O(T^{1/2+o(1)})$. Thus, the quantum speedup is essentially the same as in the case when the formula is known in advance.


title: On actions on cubic stochastic matrices

abstract: We consider the set of ($n\times n\times n$) cubic stochastic matrices of type (1,2) together with different multiplication rules that not only retain their stochastic properties but also endow this set with an associative semigroup structure. Then we introduce different actions of the semigroup of nonnegative column stochastic $n\times n$ matrices on the set of cubic stochastic matrices of type (1,2) and study how these actions translate to the cubic matrix slices and marginal distributions. Actions introduced here provide an algebraic framework where considering different changes affecting the transition probabilities ruling certain biological populations.


title: Polarization selectivity of charge localization induced by 7-fs nearly single-cycle light-field in an organic metal

abstract: Polarization selectivity of light-field-induced charge localization was investigated in an organic metal alpha-(BEDT-TTF)2I3 with a triangular lattice. Dependences of transient reflectivity spectra on polarizations of the 7-fs pump and probe lights indicate that a short-range charge order (CO) is efficiently induced from the metallic phase for the pump polarization perpendicular to the 1010-type CO axis. Numerical solution of a time-dependent Schrodinger equation clarified that the 1010-CO is induced by field-induced re-distribution of charges cooperating with competing inter-site Coulomb repulsions in the triangular lattice.


title: Joint Computation and Communication Cooperation for Mobile Edge Computing

abstract: This paper proposes a novel joint computation and communication cooperation approach in mobile edge computing (MEC) systems, which enables user cooperation in both computation and communication for improving the MEC performance. In particular, we consider a basic three-node MEC system that consists of a user node, a helper node, and an access point (AP) node attached with an MEC server. We focus on the user's latency-constrained computation over a finite block, and develop a four-slot protocol for implementing the joint computation and communication cooperation. Under this setup, we jointly optimize the computation and communication resource allocation at both the user and the helper, so as to minimize their total energy consumption subject to the user's computation latency constraint. We provide the optimal solution to this problem. Numerical results show that the proposed joint cooperation approach significantly improves the computation capacity and the energy efficiency at the user and helper nodes, as compared to other benchmark schemes without such a joint design.


title: Effects of mode mixing and avoided crossings on the transverse spin in a metal-dielectic-metal sphere

abstract: We study transverse spin in a sub-wavelength metal-dielectric-metal (MDM) sphere when the MDM sphere exhibits avoided crossing due to hybridization of the surface plasmon with the Mie localized plasmon. We show that the change in the absorptive and dipersive character near the crossing can have significant effect on the transverse spin. An enhancement in the transverse spin is shown to be possible associated with the transparency (suppression of extinction) of the MDM sphere. The effect is attributed to the highly structured field emerging as a consequence of competition of the electric and magnetic modes.


title: Lexical Features in Coreference Resolution: To be Used With Caution

abstract: Lexical features are a major source of information in state-of-the-art coreference resolvers. Lexical features implicitly model some of the linguistic phenomena at a fine granularity level. They are especially useful for representing the context of mentions. In this paper we investigate a drawback of using many lexical features in state-of-the-art coreference resolvers. We show that if coreference resolvers mainly rely on lexical features, they can hardly generalize to unseen domains. Furthermore, we show that the current coreference resolution evaluation is clearly flawed by only evaluating on a specific split of a specific dataset in which there is a notable overlap between the training, development and test sets.


title: Inverse Problems for Ultrahyperbolic Schr\"odinger Equations

abstract: In this paper, we establish a global Carleman estimate for an Ultrahyperbolic Schr\"odinger equation. Moreover, we prove H\"older stability for the inverse problem of determining a coefficient or a source term in the Ultrahyperbolic Schr\"odinger equation by some lateral boundary data.


title: Homotopy Type Theory in Lean

abstract: We discuss the homotopy type theory library in the Lean proof assistant. The library is especially geared toward synthetic homotopy theory. Of particular interest is the use of just a few primitive notions of higher inductive types, namely quotients and truncations, and the use of cubical methods.


title: The non-existence of common models for some classes of higher-dimensional hereditarily indecomposable continua

abstract: A continuum $K$ is a common model for the family ${\mathcal K}$ of continua if every member of ${\mathcal K}$ is a continuous image of $K$. We show that none of the following classes of spaces has a common model: 1) the class of strongly chaotic hereditarily indecomposable $n$-dimensional Cantor manifolds, for any given natural number $n$, 2) the class of strongly chaotic hereditarily indecomposable hereditarily strongly infinite-dimensional Cantor manifolds, 3) the class of strongly chaotic hereditarily indecomposable continua with transfinite dimension (small or large) equal to $\alpha$, for any given ordinal number $\alpha < \omega_{1}$.


title: Quasiperiodic ordering in thick Sn layer on $i$-Al-Pd-Mn: A possible quasicrystalline clathrate

abstract: Realization of an elemental solid-state quasicrystal has remained a distant dream so far in spite of extensive work in this direction for almost two decades. Here, we report the discovery of quasiperiodic ordering in a thick layer of elemental Sn grown on icosahedral ($i$)-Al-Pd-Mn. The STM images and the LEED patterns of the Sn layer show specific structural signatures that portray quasiperiodicity but are distinct from the substrate. Photoemission spectroscopy reveals the existence of the pseudogap around the Fermi energy up to the maximal Sn thickness. The structure of the Sn layer is modeled as a novel form of quasicrystalline clathrate on the basis of the following: Firstly, from ab-initio theory, the energy of bulk Sn clathrate quasicrystal is lower than the high temperature metallic $\beta$-Sn phase, but higher than the low temperature $\alpha$-Sn phase. A comparative study of the free slab energetics shows that surface energy favors clathrate over $\alpha$-Sn up to about 4 nm layer thickness, and matches $\beta$-Sn for narrow window of slab thickness of 2-3 nm. Secondly, the bulk clathrate exhibits gap opening near Fermi energy, while the free slab form exhibits a pronouced pseudogap, which explains the pseudogap observed in photoemission. Thirdly, the STM images exhibit good agreement with clathrate model. We establish the adlayer-substrate compatibility based on very similar (within 1%) the cage-cage separation in the Sn clathrate and the pseudo-Mackay cluster-cluster separation on the $i$-Al-Pd-Mn surface. Furthermore, the nucleation centers of the Sn adlayer on the substrate are identified and these are shown to be a valid part of the Sn clathrate structure. Thus, based on both experiment and theory, we propose that 4 nm thick Sn adlayer deposited on 5-fold surface of $i$-Al-Pd-Mn substrate is in fact a metastable realization of elemental, clathrate family quasicrystal.


title: Testing general relativity using gravitational wave signals from the inspiral, merger and ringdown of binary black holes

abstract: Advanced LIGO's recent observations of gravitational waves (GWs) from merging binary black holes have opened up a unique laboratory to test general relativity (GR) in the highly relativistic regime. One of the tests used to establish the consistency of the first LIGO event with a binary black hole merger predicted by GR was the inspiral-merger-ringdown consistency test. This involves inferring the mass and spin of the remnant black hole from the inspiral (low-frequency) part of the observed signal and checking for the consistency of the inferred parameters with the same estimated from the post-inspiral (high-frequency) part of the signal. Based on the observed rate of binary black hole mergers, we expect the advanced GW observatories to observe hundreds of binary black hole mergers every year when operating at their design sensitivities, most of them with modest signal to noise ratios (SNRs). Anticipating such observations, this paper shows how constraints from a large number of events with modest SNRs can be combined to produce strong constraints on deviations from GR. Using kludge modified GR waveforms, we demonstrate how this test could identify certain types of deviations from GR if such deviations are present in the signal waveforms. We also study the robustness of this test against reasonable variations of a variety of different analysis parameters.


title: A general private information retrieval scheme for MDS coded databases with colluding servers

abstract: The problem of private information retrieval gets renewed attentions in recent years due to its information-theoretic reformulation and applications in distributed storage systems. PIR capacity is the maximal number of bits privately retrieved per one bit of downloaded bit. The capacity has been fully solved for some degenerating cases. For a general case where the database is both coded and colluded, the exact capacity remains unknown. We build a general private information retrieval scheme for MDS coded databases with colluding servers. Our scheme achieves the rate $(1+R+R^2+\cdots+R^{M-1})$, where $R=1-\frac{{{N-T}\choose K}}{{N\choose K}}$. Compared to existing PIR schemes, our scheme performs better for a certain range of parameters and is suitable for any underlying MDS code used in the distributed storage system.


title: Efficiency of thermal relaxation by radiative processes in protoplanetary discs: constraints on hydrodynamic turbulence

abstract: Hydrodynamic, non-magnetic instabilities can provide turbulent stress in the regions of protoplanetary discs, where the MRI can not develop. The induced motions influence the grain growth, from which formation of planetesimals begins. Thermal relaxation of the gas constrains origins of the identified hydrodynamic sources of turbulence in discs. We estimate the radiative relaxation timescale of temperature perturbations and study the dependence of this timescale on the perturbation wavelength, the location within the disc, the disc mass, and the dust-to-gas mass ratio. We then apply thermal relaxation criteria to localise modes of the convective overstability, the vertical shear instability, and the zombie vortex instability. Our calculations employed the latest tabulated dust and gas mean opacities and we account for the collisional coupling to the emitting species. The relaxation criterion defines the bulk of a typical T Tauri disc as unstable to the development of linear hydrodynamic instabilities. The midplane is unstable to the convective overstability from at most $2\mbox{ au}$ and up to $40\mbox{ au}$, as well as beyond $140\mbox{ au}$. The vertical shear instability can develop between $15\mbox{ au}$ and $180\mbox{ au}$. The successive generation of (zombie) vortices from a seeded noise can work within the inner $0{.}8\mbox{ au}$. Dynamic disc modelling with the evolution of dust and gas opacities is required to clearly localise the hydrodynamic turbulence, and especially its non-linear phase.


title: A new simple and powerful normality test for progressively Type-II censored data

abstract: In this paper, a new goodness-of-fit test for a location-scale family based on progressively Type-II censored order statistics is proposed. Using Monte Carlo simulation studies, the present researchers have observed that the proposed test for normality is consistent and quite powerful in comparison with existing goodness-of-fit tests based on progressively Type-II censored data. Also, the new test statistic for a real data set is used and the results show that our new test statistic performs well.


title: Observation of Spin Nernst effect in Platinum

abstract: Central focus of spintronics is concentrated on generation of pure spin current and associated spin torque. Pure spin current can be generated by spin Hall effect in heavy metals by passing charge current. By spin Seebeck effect pure spin current can also be generated in ferromagnet. In this work we experimentally demonstrate that if heavy metals like Platinum with high spin orbit coupling carry heat current it can convert it into spin current due to relativistic spin orbit interaction. This conversion of heat current into spin current in non magnet is equivalent of thermally driven spin Hall effect or it is known as spin Nernst effect. We observed spin Nernst effect in Ni/Pt bi-layer experimentally and we confirm that when Pt is replaced by low spin orbit material like Al spin Nernst effect significantly reduces. So we have detected spin Nernst effect unambiguously and compare its strength with electrical spin Hall effect.


title: Density of the spectrum of Jacobi matrices with power asymptotics

abstract: We consider Jacobi matrices $J$ whose parameters have the power asymptotics $\rho_n=n^{\beta_1} \left( x_0 + \frac{x_1}{n} + {\rm O}(n^{-1-\epsilon})\right)$ and $q_n=n^{\beta_2} \left( y_0 + \frac{y_1}{n} + {\rm O}(n^{-1-\epsilon})\right)$ for the off-diagonal and diagonal, respectively. We show that for $\beta_1 > \beta_2$, or $\beta_1=\beta_2$ and $2x_0 > |y_0|$, the matrix $J$ is in the limit circle case and the convergence exponent of its spectrum is $1/\beta_1$. Moreover, we obtain upper and lower bounds for the upper density of the spectrum. When the parameters of the matrix $J$ have a power asymptotic with one more term, we characterise the occurrence of the limit circle case completely (including the exceptional case $\lim_{n\to \infty} |q_n|\big/ \rho_n = 2$) and determine the convergence exponent in almost all cases.


title: Threshold behavior of free electron lasers without inversion

abstract: The interaction between noncolinear laser and relativistic electron beams in static magnetic undulator has been studied within the framework of dispersion equations. For a free-electron laser without inversion (FELWI), the threshold parameters are found. The large-amplification regime should be used to bring an FELWI above the threshold laser power.


title: The effect of heterogeneity on financial contagion due to overlapping portfolios

abstract: We consider a model of financial contagion in a bipartite network of assets and banks recently introduced in the literature, and we study the effect of power law distributions of degree and balance-sheet size on the stability of the system. Relative to the benchmark case of banks with homogeneous degrees and balance-sheet sizes, we find that if banks have a power-law degree distribution the system becomes less robust with respect to the initial failure of a random bank, and that targeted shocks to the most specialised banks (i.e. banks with low degrees) or biggest banks increases the probability of observing a cascade of defaults. In contrast, we find that a power-law degree distribution for assets increases stability with respect to random shocks, but not with respect to targeted shocks. We also study how allocations of capital buffers between banks affects the system's stability, and we find that assigning capital to banks in relation to their level of diversification reduces the probability of observing cascades of defaults relative to size based allocations. Finally, we propose a non-capital based policy that improves the resilience of the system by introducing disassortative mixing between banks and assets.


title: Rational and semi-rational solutions of the nonlocal Davey-Stewartson equations

abstract: In this paper, the partially party-time ($PT$) symmetric nonlocal Davey-Stewartson (DS) equations with respect to $x$ is called $x$-nonlocal DS equations, while a fully $PT$ symmetric nonlocal DSII equation is called nonlocal DSII equation. Three kinds of solutions, namely breather, rational and semi-rational solutions for these nonlocal DS equations are derived by employing the bilinear method. For the $x$-nonlocal DS equations, the usual ($2+1$)-dimensional breathers are periodic in $x$ direction and localized in $y$ direction. Nonsingular rational solutions are lumps, and semi-rational solutions are composed of lumps, breathers and periodic line waves. For the nonlocal DSII equation, line breathers are periodic in both $x$ and $y$ directions with parallels in profile, but localized in time. Nonsingular rational solutions are ($2+1$)-dimensional line rogue waves, which arise from a constant background and disappear into the same constant background, and this process only lasts for a short period of time. Semi-rational solutions describe interactions of line rogue waves and periodic line waves.


title: Faster and Non-ergodic O(1/K) Stochastic Alternating Direction Method of Multipliers

abstract: We study stochastic convex optimization subjected to linear equality constraints. Traditional Stochastic Alternating Direction Method of Multipliers and its Nesterov's acceleration scheme can only achieve ergodic O(1/\sqrt{K}) convergence rates, where K is the number of iteration. By introducing Variance Reduction (VR) techniques, the convergence rates improve to ergodic O(1/K). In this paper, we propose a new stochastic ADMM which elaborately integrates Nesterov's extrapolation and VR techniques. We prove that our algorithm can achieve a non-ergodic O(1/K) convergence rate which is optimal for separable linearly constrained non-smooth convex problems, while the convergence rates of VR based ADMM methods are actually tight O(1/\sqrt{K}) in non-ergodic sense. To the best of our knowledge, this is the first work that achieves a truly accelerated, stochastic convergence rate for constrained convex problems. The experimental results demonstrate that our algorithm is significantly faster than the existing state-of-the-art stochastic ADMM methods.


title: Numerical Evaluation of Cloud-Side Shuffling Defenses against DDoS Attacks on Proxied Multiserver Systems

abstract: We consider a cloud based multiserver system, that may be cloud based, consisting of a set of replica application servers behind a set of proxy (indirection) servers which interact directly with clients over the Internet. We address cloud-side proactive and reactive defenses to combat DDoS attacks that may target this system. DDoS attacks are endemic with some notable attacks occurring just this past fall. Volumetric attacks may target proxies while "low volume" attacks may target replicas. After reviewing existing and proposed defenses, such as changing proxy IP addresses (a "moving target" technique to combat the reconnaissance phase of the botnet) and fission of overloaded servers, we focus on evaluation of defenses based on shuffling client-to-server assignments that can be both proactive and reactive to a DDoS attack. Our evaluations are based on a binomial distribution model that well agrees with simulations and preliminary experiments on a prototype that is also described.


title: Spectral Dirac graphs

abstract: We address the problem of identifying families of discrete models naturally flowing in continuum limit to relativistic quantum field theories. We call them Dirac graphs. In this work, we require the graphs to obey spectrality property, which implies that the adjacency matrix can be represented by a continuous function defined on the spectral space. We also consider deformations of such graphs away from the spectrality. We show that deformations with regular continuum limit result in background gauge field and gravity. Interestingly, gauge interactions appear due to contribution microscopic deformations while the standard gravity can only be a result of macroscopic (adiabatic) deformations.


title: Nonexistence of compressible irrotational inviscid flows along infinite protruding corners

abstract: We consider inviscid flow with isentropic coefficient greater than one. For flow along smooth infinite protruding corners we attempt to impose a nonzero limit for velocity at infinity at the upstream wall. We prove that the problem does not have any irrotational uniformly subsonic solutions, whereas rotational flows do exist. This can be considered a case of a slip-condition solid "generating" vorticity in inviscid flow.


title: Dark Energy Induced Anisotropy in Cosmic Expansion

abstract: In order to understand the nature of the accelerating expansion of the late-time universe, it is important to experimentally determine whether dark energy is a cosmological constant or dynamical in nature. If dark energy already exists prior to inflation, which is a reasonable assumption, then one expects that a dynamical dark energy would leave some footprint in the anisotropy of the late-time accelerated expansion. To demonstrate the viability of this notion, we invoke the quintessence field with the exponential potential as one of the simplest dynamical dark energy models allowed by observations. We investigate the effects of its quantum fluctuations (the physical origin of the perturbation being isocurvature) generated during inflation and having fully positive correlation with the primordial curvature perturbations, and estimate the anisotropy of the cosmic expansion so induced. We show that the primordial amplitude of quantum fluctuations of quintessence field {\delta\phi}_P can be related to the tensor-to-scalar ratio r, and we calculate the perturbed luminosity distance to first order and the associated luminosity distance power spectrum, which is an estimator of anisotropicity of late-time accelerated expansion. We find that the gravitational potential at large scales and late times is less decayed in QCDM compared to that in {\Lambda}CDM so that the smaller the redshift and multipole, the more relative deficit of power in QCDM. Our results of luminosity distance power spectrum also show the similar conclusions of suppression as that of the previous investigation regarding the effect of quantum fluctuations of quintessence field on the CMB temperature anisotropies.


title: Isoparameteric hypersurfaces in a Randers sphere of constant flag curvature

abstract: In this paper, I study the isoparametric hypersurfaces in a Randers sphere $(S^n,F)$ of constant flag curvature, with the navigation datum $(h,W)$. I prove that an isoparametric hypersurface $M$ for the standard round sphere $(S^n,h)$ which is tangent to $W$ remains isoparametric for $(S^n,F)$ after the navigation process. This observation provides a special class of isoparametric hypersurfaces in $(S^n,F)$, which can be equivalently described as the regular level sets of isoparametric functions $f$ satisfying $-f$ is transnormal. I provide a classification for these special isoparametric hypersurfaces $M$, together with their ambient metric $F$ on $S^n$, except the case that $M$ is of the OT-FKM type with the multiplicities $(m_1,m_2)=(8,7)$. I also give a complete classificatoin for all homogeneous hypersurfaces in $(S^n,F)$. They all belong to these special isoparametric hypersurfaces. Because of the extra $W$, the number of distinct principal curvature can only be 1,2 or 4, i.e. there are less homogeneous hypersurfaces for $(S^n,F)$ than those for $(S^n,h)$.


title: Renormalization of SU(2) Yang-Mills theory with Flow Equations

abstract: We give a proof of perturbative renormalizability of SU(2) Yang--Mills theory in four-dimensional Euclidean space which is based on the Flow Equations of the renormalization group. The main motivation is to present a proof which does not make appear mathematically undefined objects (as for example dimensionally regularized generating functionals), which permits to parametrize the theory in terms of {\it physical} renormalization conditions, and which allows to control the singularities of the correlation functions of the theory in the infrared domain. Thus a large part of the proof is dedicated to bounds on massless correlation functions.


title: Derivation relations and duality for the sum of multiple zeta values

abstract: We show that the duality relation for the sum of multiple zeta values with fixed weight, depth and $k_1$ is deduced from the derivation relations, which was first conjectured by N. Kawasaki and T. Tanaka.


title: Efficient Analysis of Metasurfaces in Terms of Spectral-Domain GSTC Integral Equations

abstract: We present a spectral-domain (SD) technique for the efficient analysis of metasurfaces. The metasurface is modeled by generalized sheet transition conditions (GSTCs) as a zero-thickness sheet creating a discontinuity in the electromagnetic field. The SD expression of these GSTCs for a specified incident field leads to a system of four surface integral equations for the reflected and transmitted fields, which are solved using the method of moments in the spectral domain. Compared to the finite-difference and finite-element techniques that require meshing the entire computational domain, the proposed technique reduces the problem to the surface of the metasurface, hence eliminating one dimension and providing substantial benefits in terms of memory and speed. A monochromatic generalized-refractive metasurface and a polychromatic focusing metasurface are presented as illustrative examples.


title: Bike Renting Data Analysis: The Case of Dublin City

abstract: Public bike renting is more and more popular in cities to incentivise a reduction in car journeys and to boost the use of green transportation alternatives. One of the challenges of this application is to effectively plan the resources usage. This paper presents some analysis of Dublin bike renting scheme based on statistics and data mining. It provides available bike patterns at the most interesting bike stations, that is, the busiest and the quietest stations. Consistency checking with new data reinforces confidence in the patterns obtained. Identifying available bike patterns helps to better address user needs such as organising the rebalancing of the bike numbers between stations in advance of demand.


title: Geometric Matrix Completion with Recurrent Multi-Graph Neural Networks

abstract: Matrix completion models are among the most common formulations of recommender systems. Recent works have showed a boost of performance of these techniques when introducing the pairwise relationships between users/items in the form of graphs, and imposing smoothness priors on these graphs. However, such techniques do not fully exploit the local stationarity structures of user/item graphs, and the number of parameters to learn is linear w.r.t. the number of users and items. We propose a novel approach to overcome these limitations by using geometric deep learning on graphs. Our matrix completion architecture combines graph convolutional neural networks and recurrent neural networks to learn meaningful statistical graph-structured patterns and the non-linear diffusion process that generates the known ratings. This neural network system requires a constant number of parameters independent of the matrix size. We apply our method on both synthetic and real datasets, showing that it outperforms state-of-the-art techniques.


title: Search for Composite Fermions at Filling Factor 5/2: Role of Landau Level and Subband Index

abstract: The pairing of composite fermions (CFs), electron-flux quasi-particles, is commonly proposed to explain the even-denominator fractional quantum Hall state observed at $\nu=5/2$ in the first excited ($N=1$) Landau level (LL) of a two-dimensional electron system (2DES). While well-established to exist in the lowest ($N=0$) LL, much is unknown about CFs in the $N=1$ LL. Here we carry out geometric resonance measurements to detect CFs at $\nu=5/2$ by subjecting the 2DES to a one-dimensional density modulation. Our data, taken at a temperature of 0.3 K, reveal no geometric resonances for CFs in the $N=1$ LL. In stark contrast, we observe clear signatures of such resonances when $\nu=5/2$ is placed in the $N=0$ LL of the anti-symmetric subband by varying the 2DES width. This finding implies that the CFs' mean-free-path is significantly smaller in the $N=1$ LL compared to the $N=0$ LL. Our additional data as a function of in-plane magnetic field highlight the role of subband index and establish that CFs at $\nu=5/2$ in the $N=0$ LL are more anisotropic in the symmetric subband than in the anti-symmetric subband.


title: Creating better superconductors by periodic nanopatterning

abstract: The quest to create superconductors with higher transition temperatures is as old as superconductivity itself. One strategy, popular after the realization that (conventional) superconductivity is mediated by phonons, is to chemically combine different elements within the crystalline unit cell to maximize the electron-phonon coupling. This led to the discovery of NbTi and Nb3Sn, to name just the most technologically relevant examples. Here, we propose a radically different approach to transform a `pristine' material into a better (meta-) superconductor by making use of modern fabrication techniques: designing and engineering the electronic properties of thin films via periodic patterning on the nanoscale. We present a model calculation to explore the key effects of different supercells that could be fabricated using nanofabrication or deliberate lattice mismatch, and demonstrate that specific pattern will enhance the coupling and the transition temperature. We also discuss how numerical methods could predict the correct design parameters to improve superconductivity in materials including Al, NbTi, and MgB2


title: Bifurcation of heteroclinic orbits via an index theory

abstract: Heteroclinic orbits for one-parameter families of nonautonomous vectorfields appear in a very natural way in many physical applications. Inspired by some recent bifurcation results for homoclinic trajectories of nonautonomous vectorfield, we define a new $\mathbf Z_2$-index and we construct a index theory for heteroclinic orbits of nonautonomous vectorfield. We prove an index theorem, by showing that, under some standard transversality assumptions, the $\mathbf Z_2$-index is equal to the parity, a homotopy invariant for paths of Fredholm operators of index 0. As a direct consequence of the index theory developed in this paper, we get a new bifurcation result for heteroclinic orbits.


title: Simulation Theorems via Pseudorandom Properties

abstract: We generalize the deterministic simulation theorem of Raz and McKenzie [RM99], to any gadget which satisfies certain hitting property. We prove that inner-product and gap-Hamming satisfy this property, and as a corollary we obtain deterministic simulation theorem for these gadgets, where the gadget's input-size is logarithmic in the input-size of the outer function. This answers an open question posed by G\"{o}\"{o}s, Pitassi and Watson [GPW15]. Our result also implies the previous results for the Indexing gadget, with better parameters than was previously known. A preliminary version of the results obtained in this work appeared in [CKL+17].


title: On the Henstock-Kurzweil Integral for Riesz-space-valued Functions on Time Scales

abstract: We introduce and investigate the Henstock-Kurzweil (HK) integral for Riesz-space-valued functions on time scales. Some basic properties of the HK delta integral for Riesz-space-valued functions are proved. Further, we prove uniform and monotone convergence theorems.


title: Emergence of magnetic long-range order in kagome quantum antiferromagnets

abstract: The existence of a spin-liquid ground state of the $s=1/2$ Heisenberg kagome antiferromagnet (KAFM) is well established. Meanwhile, also for the $s=1$ Heisenberg KAFM evidence for the absence of magnetic long-range order (LRO) was found. Magnetic LRO in Heisenberg KAFMs can emerge by increasing the spin quantum number $s$ to $s>1$ and for $s=1$ by an easy-plane anisotropy. In the present paper we discuss the route to magnetic order in $s=1/2$ KAFMs by including an isotropic interlayer coupling (ILC) $J_\perp$ as well as an easy-plane anisotropy in the kagome layers by using the coupled-cluster method to high orders of approximation. We consider ferro- as well as antiferromagnetic $J_\perp$. To discuss the general question for the crossover from a purely two-dimensional (2D) to a quasi-2D and finally to a three-dimensional system we consider the simplest model of stacked (unshifted) kagome layers. Although the ILC of real kagome compounds is often more sophisticated, such a geometry of the ILC can be relevant for barlowite. We find that the spin-liquid ground state present for the strictly 2D $s=1/2$ $XXZ$ KAFM survives a finite ILC, where the spin-liquid region shrinks monotonously with increasing anisotropy. If the ILC becomes large enough (about 15\% of intralayer coupling for the isotropic Heisenberg case and about 4\% for the $XY$ limit) magnetic LRO can be established, where the $q=0$ symmetry is favorable if $J_\perp$ is of moderate strength. If the strength of the ILC further increases, $\sqrt{3}\times \sqrt{3}$ LRO can become favorable against $q=0$ LRO.


title: Structures of Nichols (braided) Lie algebras of diagonal type

abstract: Let $V$ be a braided vector space of diagonal type. Let $\mathfrak B(V)$, $\mathfrak L^-(V)$ and $\mathfrak L(V)$ be the Nichols algebra, Nichols Lie algebra and Nichols braided Lie algebra over $V$, respectively. We show that a monomial belongs to $\mathfrak L(V)$ if and only if that this monomial is connected. We obtain the basis for $\mathfrak L(V)$ of arithmetic root systems and the dimension for $\mathfrak L(V)$ of finite Cartan type. We give the sufficient and necessary conditions for $\mathfrak B(V) = F\oplus \mathfrak L^-(V)$ and $\mathfrak L^-(V)= \mathfrak L(V)$. We obtain an explicit basis of $\mathfrak L^ - (V)$ over quantum linear space $V$ with $\dim V=2$.


title: Scalar Fields in Numerical General Relativity

abstract: Einstein's field equation of General Relativity (GR) has been known for over 100 years, yet it remains challenging to solve analytically in strongly relativistic regimes, particularly where there is a lack of a priori symmetry. Numerical Relativity (NR) - the evolution of the Einstein Equations using a computer - is now a relatively mature tool which enables such cases to be explored. In this thesis, a description is given of the development and application of a new Numerical Relativity code, GRChombo. GRChombo uses the standard BSSN formalism, incorporating full adaptive mesh refinement (AMR) and massive parallelism via the Message Passing Interface (MPI). The AMR capability permits the study of physics which has previously been computationally infeasible in a full 3+1 setting. The functionality of the code is described, its performance characteristics are demonstrated, and it is shown that it can stably and accurately evolve standard spacetimes such as black hole mergers. We use GRChombo to study the effects of inhomogeneous initial conditions on the robustness of small and large field inflationary models. and investigate the critical behaviour which occurs in the collapse of both spherically symmetric and asymmetric scalar field bubbles.


title: A Constructive Examination of a Russell-style Ramified Type Theory

abstract: In this paper we examine the natural interpretation of a ramified type hierarchy into Martin-L\"of type theory with an infinite sequence of universes. It is shown that under this predicative interpretation some useful special cases of Russell's reducibility axiom are valid, namely functional reducibility. This is sufficient to make the type hierarchy usable for development of constructive mathematics. We present a ramified type theory suitable for this purpose. One may regard the results of this paper as an alternative solution to the problems of Russell's theory, which avoids impredicativity, but instead imposes constructive logic. The intuitionistic ramified type theory introduced here, also suggests that there is a natural associated notion of predicative elementary topos.


title: The thermal phase curve offset on tidally- and non-tidally-locked exoplanets: A shallow water model

abstract: Using a shallow water model with time-dependent forcing we show that the peak of an exoplanet thermal phase curve is, in general, offset from secondary eclipse when the planet is rotating. That is, the planetary hot-spot is offset from the point of maximal heating (the substellar point) and may lead or lag the forcing; the extent and sign of the offset is a function of both the rotation rate and orbital period of the planet. We also find that the system reaches a steady-state in the reference frame of the moving forcing. The model is an extension of the well studied Matsuno-Gill model into a full spherical geometry and with a planetary-scale translating forcing representing the insolation received on an exoplanet from a host star. The speed of the gravity waves in the model is shown to be a key metric in evaluating the phase curve offset. If the velocity of the substellar point (relative to the planet's surface) exceeds that of the gravity waves then the hotspot will lag the substellar point, as might be expected by consideration of forced gravity wave dynamics. However, when the substellar point is moving slower than the internal wavespeed of the system the hottest point can lead the passage of the forcing. We provide an interpretation of this result by consideration of the Rossby and Kelvin wave dynamics as well as, in the very slowly rotating case, a one-dimensional model that yields an analytic solution. Finally, we consider the inverse problem of constraining planetary rotation rate from an observed phase curve.


title: Hyper-track selector nuclear emulsion readout system aimed at scanning an area of one thousand square meters

abstract: Automatic nuclear emulsion readout systems have seen remarkable progress since the original idea was developed almost 40 years ago. After the success of its full application to a large-scale neutrino experiment, OPERA, a much faster readout system, the hyper-track selector (HTS), has been developed. HTS, which has an extremely wide-field objective lens, reached a scanning speed of 4700 cm$^2$/h, which is nearly 100 times faster than the previous system and therefore strongly promotes many new experimental projects. We will describe the concept, specifications, system structure, and achieved performance in this paper.


title: Giant electrostrain of 0.57% in a periodically orthogonal poled lead titanate zirconate ceramic via reversible domain switching

abstract: The widely used ferroelectric ceramics based actuators always suffer from small output strains (typically ~0.1-0.15%). Non-180{\deg} domain switching can generate large strain in ferroelectrics but it is usually irreversible. In this work, we tailored the domain structures in a soft lead titanate zirconate (PZT) ceramic by periodically orthogonal poling. The non-180{\deg} switching in this domain-engineered PZT ceramics turns to be reversible, resulting in giant electrostrains up to 0.57% under a field of 2kV/mm (dynamic d33*(=S/E) of 2850pm/V). The large electrostrain keeps quite stable and even slightly increases after 10000 cycles of loading, which is very promising for next-generation large-strain actuators.


title: Existence results and numerical solution for the Dirichlet problem for fully fourth order nonlinear equation

abstract: In this paper we study the existence and uniqueness of a solution and propose an iterative method for solving a beam problem which is described by the fully fourth order equation $$u^{(4)}(x)=f(x,u(x),u'(x),u'''(x),u'''(x)), \quad 0 < x < 1$$ associated with the Dirichlet boundary conditions. This problem was studied by several authors. Here we propose a novel approach by the reduction of the problem to an operator equation for the triplet of the nonlinear term $\varphi (x)=f(x,u(x),u'(x),u''(x),u'''(x))$ and the unknown values $u''(0), u''(1).$ Under some easily verified conditions on the function $f$ in a specified bounded domain, we prove the contraction of the operator. This guarantees the existence and uniqueness of a solution and the convergence of an iterative method for finding it. Many examples demonstrate the applicability of the theoretical results and the efficiency of the iterative method. The advantages of the obtained results over those of Agarwal are shown on some examples.


title: COCrIP: Compliant OmniCrawler In-pipeline Robot

abstract: This paper presents a modular in-pipeline climbing robot with a novel compliant foldable OmniCrawler mechanism. The circular cross-section of the OmniCrawler module enables a holonomic motion to facilitate the alignment of the robot in the direction of bends. Additionally, the crawler mechanism provides a fair amount of traction, even on slippery surfaces. These advantages of crawler modules have been further supplemented by incorporating active compliance in the module itself which helps to negotiate sharp bends in small diameter pipes. The robot has a series of 3 such compliant foldable modules interconnected by the links via passive joints. For the desirable pipe diameter and curvature of the bends, the spring stiffness value for each passive joint is determined by formulating a constrained optimization problem using the quasi-static model of the robot. Moreover, a minimum friction coefficient value between the module-pipe surface which can be vertically climbed by the robot without slipping is estimated. The numerical simulation results have further been validated by experiments on real robot prototype.


title: Adaptive Cuckoo Filters

abstract: We introduce the adaptive cuckoo filter (ACF), a data structure for approximate set membership that extends cuckoo filters by reacting to false positives, removing them for future queries. As an example application, in packet processing queries may correspond to flow identifiers, so a search for an element is likely to be followed by repeated searches for that element. Removing false positives can therefore significantly lower the false positive rate. The ACF, like the cuckoo filter, uses a cuckoo hash table to store fingerprints. We allow fingerprint entries to be changed in response to a false positive in a manner designed to minimize the effect on the performance of the filter. We show that the ACF is able to significantly reduce the false positive rate by presenting both a theoretical model for the false positive rate and simulations using both synthetic data sets and real packet traces.


title: DNA Electromagnetic Properties and Interactions

abstract: DNA is an essential molecule central to the survival and propagation of life, it was imperative to investigate possible electromagnetic properties inherent to it, such as the existence of any non-trivial interactions of this molecule with electromagnetic fields (beyond the usual dielectric response and damage by ionizing gamma radiations). Extensive investigations were carried out with both prokaryotic and eukaryotic purified DNA samples utilizing some of the most sensitive and precision instrumentation and methods available, while scanning the whole spectral region from 1Hz to 100KHz (in the low frequencies) and all the way to the high-frequency region of 100MHz (including investigations on the effects of 100MHz high-frequency fields as well as 2.4GHz microwave fields on the DNA). We were unable to detect any electromagnetism of any kind intrinsic to the DNA or its coupling to external noise sources, whether concentrated or diluted in water, as compared to control samples (H2O or empty chambers), neither existence of any possible spontaneous or stimulated/induced electromagnetic fields or waves emanated from both the eukaryotic and prokaryotic genetic material. Based on our measurements, we conclude that either there is no intrinsic electromagnetic activity or fields present in the DNA material, in both concentrated or diluted form, or any such activity is extremely weak in its intensity and beyond the measurement limits of current scientific methods.


title: Geometry of Projective Perfectoid and Integer Partitions

abstract: Line bundles of rational degree are defined using Perfectoid spaces, and their co-homology computed via standard \v{C}ech complex along with Kunneth formula. A new concept of `braided dimension' is introduced, which helps convert the curse of infinite dimensionality into a boon, which is then used to do Bezout type computations, define euler characters, describe ampleness and link integer partitions with geometry. This new concept of 'Braided dimension' gives a space within a space within a space an infinite tower of spaces, all intricately braided into each other. Finally, the concept of Blow Up over perfectoid space is introduced.


title: Deep Learning based Isolated Arabic Scene Character Recognition

abstract: The technological advancement and sophistication in cameras and gadgets prompt researchers to have focus on image analysis and text understanding. The deep learning techniques demonstrated well to assess the potential for classifying text from natural scene images as reported in recent years. There are variety of deep learning approaches that prospects the detection and recognition of text, effectively from images. In this work, we presented Arabic scene text recognition using Convolutional Neural Networks (ConvNets) as a deep learning classifier. As the scene text data is slanted and skewed, thus to deal with maximum variations, we employ five orientations with respect to single occurrence of a character. The training is formulated by keeping filter size 3 x 3 and 5 x 5 with stride value as 1 and 2. During text classification phase, we trained network with distinct learning rates. Our approach reported encouraging results on recognition of Arabic characters from segmented Arabic scene images.


title: The role of cooperation in spatially explicit economical systems

abstract: This paper is concerned with a model in econophysics, the subfield of statistical physics that applies concepts from traditional physics to economics. In our model, economical agents are represented by the vertices of a connected graph and are characterized by the number of coins they possess. Agents independently spend one coin at rate one for their basic need, earn one coin at a rate chosen independently from a fixed distribution $\phi$ and exchange money at rate $\mu$ with one of their nearest neighbors, with the richest neighbor giving one coin to the other neighbor. If an agent needs to spend one coin when her fortune is at zero, she dies, i.e., the corresponding vertex is removed from the graph. Our first results focus on the two extreme cases of lack of cooperation $\mu = 0$ and perfect cooperation $\mu = \infty$ for finite connected graphs. These results suggest that, when overall the agents earn more than they spend, cooperation is beneficial for the survival of the population, whereas when overall the agents earn less than they spend, cooperation becomes detrimental. The infinite one-dimensional system is also studied. In this case, when the agents earn less than they spend in average, the density of agents that die eventually is bounded from below by a positive constant that does not depend on the initial number of coins per agent or the level of cooperation.


title: Efficient Approximations for the Online Dispersion Problem

abstract: The dispersion problem has been widely studied in computational geometry and facility location, and is closely related to the packing problem. The goal is to locate n points (e.g., facilities or persons) in a k-dimensional polytope, so that they are far away from each other and from the boundary of the polytope. In many real-world scenarios however, the points arrive and depart at different times, and decisions must be made without knowing future events. Therefore we study, for the first time in the literature, the online dispersion problem in Euclidean space. There are two natural objectives when time is involved: the all-time worst-case (ATWC) problem tries to maximize the minimum distance that ever appears at any time; and the cumulative distance (CD) problem tries to maximize the integral of the minimum distance throughout the whole time interval. Interestingly, the online problems are highly non-trivial even on a segment. For cumulative distance, this remains the case even when the problem is time-dependent but offline, with all the arriving and departure times given in advance. For the online ATWC problem on a segment, we construct a deterministic polynomial-time algorithm which is (2ln2+epsilon)-competitive, where epsilon>0 can be arbitrarily small and the algorithm's running time is polynomial in 1/epsilon. We show this algorithm is actually optimal. For the same problem in a square, we provide a 1.591-competitive algorithm and a 1.183 lower-bound. Furthermore, for arbitrary k-dimensional polytopes with k>=2, we provide a 2/(1-epsilon)-competitive algorithm and a 7/6 lower-bound. Interestingly, for the offline CD problem in arbitrary k-dimensional polytopes, we provide a polynomial-time black-box reduction to the online ATWC problem, and the resulting competitive ratio increases by a factor of at most 2.


title: Diffraction of electromagnetic waves in the gravitational field of the Sun

abstract: We consider the propagation of electromagnetic (EM) waves in the gravitational field of the Sun within the first post-Newtonian approximation of the general theory of relativity. We solve Maxwell's equations for the EM field propagating on the background of a static mass monopole and find an exact closed form solution for the Debye potentials, which, in turn, yield a solution to the problem of diffraction of EM waves in the gravitational field of the Sun. The solution is given in terms of the confluent hypergeometric function and, as such, it is valid for all distances and angles. Using this solution, we develop a wave-theoretical description of the solar gravitational lens (SGL) and derive expressions for the EM field and energy flux in the immediate vicinity of the focal line of the SGL. Aiming at the potential practical applications of the SGL, we study its optical properties and discuss its suitability for direct high-resolution imaging of a distant exoplanet.


title: Deep Learning for Medical Image Processing: Overview, Challenges and Future

abstract: Healthcare sector is totally different from other industry. It is on high priority sector and people expect highest level of care and services regardless of cost. It did not achieve social expectation even though it consume huge percentage of budget. Mostly the interpretations of medical data is being done by medical expert. In terms of image interpretation by human expert, it is quite limited due to its subjectivity, the complexity of the image, extensive variations exist across different interpreters, and fatigue. After the success of deep learning in other real world application, it is also providing exciting solutions with good accuracy for medical imaging and is seen as a key method for future applications in health secotr. In this chapter, we discussed state of the art deep learning architecture and its optimization used for medical image segmentation and classification. In the last section, we have discussed the challenges deep learning based methods for medical imaging and open research issue.


title: Miscibility in coupled dipolar and non-dipolar Bose-Einstein condensates

abstract: We perform a full three-dimensional study on miscible-immiscible conditions for coupled dipolar and non-dipolar Bose-Einstein condensates (BEC), confined within anisotropic traps. Without loosing general miscibility aspects that can occur for two-component mixtures, our main focus was on the atomic erbium-dysprosium ($^{168}$Er-$^{164}$Dy) and dysprosium-dysprosium ($^{164}$Dy-$^{162}$Dy) mixtures. Our analysis for pure-dipolar BEC was limited to coupled systems confined in pancake-type traps, after considering a study on the stability regime of such systems. In case of non-dipolar systems with repulsive contact intneeractions we are able to extend the miscibility analysis to coupled systems with cigar-type symmetries. For a coupled condensate with repulsive inter- and intra-species two-body interactions, confined by an external harmonic trap, the transition from a miscible to an immiscible phase is verified to be much softer than in the case the system is confined by a symmetric hard-wall potential. Our results, presented by density plots, are pointing out the main role of the trap symmetry and inter-species interaction for the miscibility. A relevant parameter to measure the overlap between the two densities was defined and found appropriate to quantify the miscibility of a coupled system.


title: A tail cone version of the Halpern-L\"auchli theorem at a large cardinal

abstract: The classical Halpern-L\"auchli theorem states that for any finite coloring of a finite product of finitely branching perfect trees of height $\omega$, there exist strong subtrees sharing the same level set such that tuples consisting of elements lying on the same level get the same color. Relative to large cardinals, we establish the consistency of a tail cone version of the Halpern-L\"auchli theorem at large cardinal, which, roughly speaking, deals with many colorings simultaneously and diagonally. Among other applications, we generalize a polarized partition relation on rational numbers due to Laver and Galvin to one on linear orders of larger saturation.


title: The Value of Sharing Intermittent Spectrum

abstract: Recent initiatives by regulatory agencies to increase spectrum resources available for broadband access include rules for sharing spectrum with high-priority incumbents. We study a model in which wireless Service Providers (SPs) charge for access to their own exclusive-use (licensed) band along with access to an additional shared band. The total, or delivered price in each band is the announced price plus a congestion cost, which depends on the load, or total users normalized by the bandwidth. The shared band is intermittently available with some probability, due to incumbent activity, and when unavailable, any traffic carried on that band must be shifted to licensed bands. The SPs then compete for quantity of users. We show that the value of the shared band depends on the relative sizes of the SPs: large SPs with more bandwidth are better able to absorb the variability caused by intermittency than smaller SPs. However, as the amount of shared spectrum increases, the large SPs may not make use of it. In that scenario shared spectrum creates more value than splitting it among the SPs for exclusive use. We also show that fixing the average amount of available shared bandwidth, increasing the reliability of the band is preferable to increasing the bandwidth.


title: Extreme-Scale Block-Structured Adaptive Mesh Refinement

abstract: In this article, we present a novel approach for block-structured adaptive mesh refinement (AMR) that is suitable for extreme-scale parallelism. All data structures are designed such that the size of the meta data in each distributed processor memory remains bounded independent of the processor number. In all stages of the AMR process, we use only distributed algorithms. No central resources such as a master process or replicated data are employed, so that an unlimited scalability can be achieved. For the dynamic load balancing in particular, we propose to exploit the hierarchical nature of the block-structured domain partitioning by creating a lightweight, temporary copy of the core data structure. This copy acts as a local and fully distributed proxy data structure. It does not contain simulation data, but only provides topological information about the domain partitioning into blocks. Ultimately, this approach enables an inexpensive, local, diffusion-based dynamic load balancing scheme. We demonstrate the excellent performance and the full scalability of our new AMR implementation for two architecturally different petascale supercomputers. Benchmarks on an IBM Blue Gene/Q system with a mesh containing 3.7 trillion unknowns distributed to 458,752 processes confirm the applicability for future extreme-scale parallel machines. The algorithms proposed in this article operate on blocks that result from the domain partitioning. This concept and its realization support the storage of arbitrary data. In consequence, the software framework can be used for different simulation methods, including mesh based and meshless methods. In this article, we demonstrate fluid simulations based on the lattice Boltzmann method.


title: A reliable numerical method for solving a certain class of singular initial value problems using reproducing kernel algorithm

abstract: The aim of this study is to present a good modernistic strategy for solving some well-known classes of Lane-Emden type singular differential equations. The proposed approach is based on the reproducing kernel Hilbert space (RKHS) and introducing the reproducing kernel properties in which the initial conditions of the problem are satisfied. The analytical solution that obtained involves in the form of a convergent series with easily computable terms in its reproducing kernel space. The approximation solution is expressed by n-term summation of reproducing kernel functions and it is converge to the analytical solution. Our investigations indicate that there is excellent agreement between the numerical results and the RKHS method, which is applied to some examples to illustrate the accuracy, efficiency, and applicability of the method. The present work shows the potential of the RKHS technique in solving such nonlinear singular initial value problems.


title: Species tree estimation using ASTRAL: how many genes are enough?

abstract: Species tree reconstruction from genomic data is increasingly performed using methods that account for sources of gene tree discordance such as incomplete lineage sorting. One popular method for reconstructing species trees from unrooted gene tree topologies is ASTRAL. In this paper, we derive theoretical sample complexity results for the number of genes required by ASTRAL to guarantee reconstruction of the correct species tree with high probability. We also validate those theoretical bounds in a simulation study. Our results indicate that ASTRAL requires $\mathcal{O}(f^{-2} \log n)$ gene trees to reconstruct the species tree correctly with high probability where n is the number of species and f is the length of the shortest branch in the species tree. Our simulations, which are the first to test ASTRAL explicitly under the anomaly zone, show trends consistent with the theoretical bounds and also provide some practical insights on the conditions where ASTRAL works well.


title: Bounds on complex polarizabilities and a new perspective on scattering by a lossy inclusion

abstract: Here we obtain explicit formulae for bounds on the complex electrical polarizability at a given frequency of an inclusion with known volume that follow directly from the quasistatic bounds of Bergman and Milton on the effective complex dielectric constant of a two-phase medium. We also describe how analogous bounds on the orientationally averaged bulk and shear polarizabilities at a given frequency can be obtained from bounds on the effective complex bulk and shear moduli of a two-phase medium obtained by Milton, Gibiansky and Berryman, using the quasistatic variational principles of Cherkaev and Gibiansky. We also show how the polarizability problem and the acoustic scattering problem can both be reformulated in an abstract setting as "Y -problems". In the acoustic scattering context, to avoid explicit introduction of the Sommerfeld radiation condition, we introduce auxilliary fields at infinity and an appropriate "constitutive law" there, which forces the Sommerfeld radiation condition to hold. As a consequence we obtain minimization variational principles for acoustic scattering that can be used to obtain bounds on the complex backwards scattering amplitude. Some explicit elementary bounds are given.


title: Limited range multilinear extrapolation with applications to the bilinear Hilbert transform

abstract: We prove a limited range, off-diagonal extrapolation theorem that generalizes a number of results in the theory of Rubio de Francia extrapolation, and use this to prove a limited range, multilinear extrapolation theorem. We give two applications of this result to the bilinear Hilbert transform. First, we give sufficient conditions on a pair of weights $w_1,\,w_2$ for the bilinear Hilbert transform to satisfy weighted norm inequalities of the form \[ BH : L^{p_1}(w_1^{p_1}) \times L^{p_2}(w_2^{p_2}) \longrightarrow L^p(w^p), \] where $w=w_1w_2$ and $\frac{1}{p}=\frac{1}{p_1}+\frac{1}{p_2}<\frac{3}{2}$. This improves the recent results of Culiuc et al. by increasing the families of weights for which this inequality holds and by pushing the lower bound on $p$ from $1$ down to $\frac{2}{3}$, the critical index from the unweighted theory of the bilinear Hilbert transform. Second, as an easy consequence of our method we obtain that the bilinear Hilbert transform satisfies some vector-valued inequalities with Muckenhoupt weights. This reproves and generalizes some of the vector-valued estimates obtained by Benea and Muscalu in the unweighted case. We also generalize recent results of Carando, et al. on Marcinkiewicz-Zygmund estimates for multilinear Calder\'on-Zygmund operators.


title: On (in)stabilities of perturbations in mimetic models with higher derivatives

abstract: Usually when applying the mimetic model to the early universe, higher derivative terms are needed to promote the mimetic field to be dynamical. However such models suffer from the ghost and/or the gradient instabilities and simple extensions cannot cure this pathology. We point out in this paper that it is possible to overcome this difficulty by considering the direct couplings of the higher derivatives of the mimetic field to the curvature of the spacetime.


title: Reversible Jump Metropolis Light Transport using Inverse Mappings

abstract: We study Markov Chain Monte Carlo (MCMC) methods operating in primary sample space and their interactions with multiple sampling techniques. We observe that incorporating the sampling technique into the state of the Markov Chain, as done in Multiplexed Metropolis Light Transport (MMLT), impedes the ability of the chain to properly explore the path space, as transitions between sampling techniques lead to disruptive alterations of path samples. To address this issue, we reformulate Multiplexed MLT in the Reversible Jump MCMC framework (RJMCMC) and introduce inverse sampling techniques that turn light paths into the random numbers that would produce them. This allows us to formulate a novel perturbation that can locally transition between sampling techniques without changing the geometry of the path, and we derive the correct acceptance probability using RJMCMC. We investigate how to generalize this concept to non-invertible sampling techniques commonly found in practice, and introduce probabilistic inverses that extend our perturbation to cover most sampling methods found in light transport simulations. Our theory reconciles the inverses with RJMCMC yielding an unbiased algorithm, which we call Reversible Jump MLT (RJMLT). We verify the correctness of our implementation in canonical and practical scenarios and demonstrate improved temporal coherence, decrease in structured artifacts, and faster convergence on a wide variety of scenes.


title: Sarcasm SIGN: Interpreting Sarcasm with Sentiment Based Monolingual Machine Translation

abstract: Sarcasm is a form of speech in which speakers say the opposite of what they truly mean in order to convey a strong sentiment. In other words, "Sarcasm is the giant chasm between what I say, and the person who doesn't get it.". In this paper we present the novel task of sarcasm interpretation, defined as the generation of a non-sarcastic utterance conveying the same message as the original sarcastic one. We introduce a novel dataset of 3000 sarcastic tweets, each interpreted by five human judges. Addressing the task as monolingual machine translation (MT), we experiment with MT algorithms and evaluation measures. We then present SIGN: an MT based sarcasm interpretation algorithm that targets sentiment words, a defining element of textual sarcasm. We show that while the scores of n-gram based automatic measures are similar for all interpretation models, SIGN's interpretations are scored higher by humans for adequacy and sentiment polarity. We conclude with a discussion on future research directions for our new task.


title: Single-molecule techniques in biophysics: a review of the progress in methods and applications

abstract: Single-molecule biophysics has transformed our understanding of the fundamental molecular processes involved in living biological systems, but also of the fascinating physics of life. Far more exotic than a collection of exemplars of soft matter behaviour, active biological matter lives far from thermal equilibrium, and typically covers multiple length scales from the nanometre level of single molecules up several orders of magnitude to longer length scales in emergent structures of cells, tissues and organisms. Biological molecules are often characterized by an underlying instability, in that multiple metastable free energy states exist which are separated by energy levels of typically just a few multiples of the thermal energy scale of kBT, where kB is the Boltzmann constant and T the absolute temperature, implying complex, dynamic inter-conversion kinetics across this bumpy free energy landscape in the relatively hot, wet environment of real, living biological matter. The key utility of single-molecule biophysics lies in its ability to probe the underlying heterogeneity of free energy states across a population of molecules, which in general is too challenging for conventional ensemble level approaches which measure mean average properties. Parallel developments in both experimental and theoretical techniques have been key to the latest insights and are enabling the development of highly-multiplexed, correlative techniques to tackle previously intractable biological problems. Experimentally, technological developments in the sensitivity and speed of biomolecular detectors, the stability and efficiency of light sources, probes and microfluidics, have enabled and driven the study of heterogeneous behaviours both in vitro and in vivo that were previously undetectable by ensemble methods...