title: On the Convex Geometry of Weighted Nuclear Norm Minimization

abstract: Low-rank matrix approximation, which aims to construct a low-rank matrix from an observation, has received much attention recently. An efficient method to solve this problem is to convert the problem of rank minimization into a nuclear norm minimization problem. However, soft-thresholding of singular values leads to the elimination of important information about the sensed matrix. Weighted nuclear norm minimization (WNNM) has been proposed, where the singular values are assigned different weights, in order to treat singular values differently. In this paper the solution for WNNM is analyzed under a particular weighting condition using the connection between convex geometry and compressed sensing algorithms. It is shown that the WNNM is convex where the weights are in non-descending order and there is a unique global minimizer for the minimization problem.


title: On the invariance of the total Monge-Ampere volume of Hermitian metrics

abstract: In this note, we describe the Hermitian metrics that leave the total Monge-Ampere volume invariant. In particular, we give several characterizations of the Hermitian metrics which satisfy the comparison principle for the complex Monge-Ampere operator


title: Generic Multilinear Multipliers Associated to Degenerate Simplexes

abstract: For each $1 \leq p \leq \infty$, let $W_{p}(\mathbb{R}) = \left\{ f \in L^p(\mathbb{R}): \hat{f} \in L^{p^\prime}(\mathbb{R}) \right\}$ with norm $||f||_{W_{p}(\mathbb{R})} = ||\hat{f}||_{L^{p^\prime}(\mathbb{R})}$. Moreover, let $ \Gamma = \left\{ \xi_1 + \xi_2 =0\right\} \subset \mathbb{R}^2$ and $a_1,a_2 : \mathbb{R}^2 \rightarrow \mathbb{C}$ satisfy the H\"{o}rmander-Mikhlin condition \begin{eqnarray*} \left| \partial^{\vec{\alpha}} a_j \left(\vec{\xi}\right) \right| \lesssim_{\vec{\alpha}} \frac{1}{dist(\vec{\xi}, \Gamma)^{|\vec{\alpha}|}}~~~\forall \vec{\xi} \in \mathbb{R}^2, j \in \{1, 2\} \end{eqnarray*} for sufficiently many multi-indices $\vec{\alpha} \in (\mathbb{N} \bigcup \{0\})^2$. Our main result is that the generic degenerate trilinear simplex multiplier defined on $ \mathcal{S}^3(\mathbb{R})$ by \begin{eqnarray*} B[a_1, a_2] : (f_1, f_2, f_3) \rightarrow \int_{\mathbb{R}^3} a_1(\xi_1, \xi_2) a_2(\xi_2, \xi_3) \left[ \prod_{j=1}^3 \hat{f_j} (\xi_j) e^{2 \pi ix \xi_j} \right] d\xi_1 d\xi_2 d\xi_3 \end{eqnarray*} extends to a map $L^{p_1}(\mathbb{R}) \times W_{p_2}(\mathbb{R}) \times L^{p_3}(\mathbb{R}) \rightarrow L^{\frac{1}{\frac{1}{p_1} + \frac{1}{p _2} +\frac{1}{p_3}}}(\mathbb{R})$ provided \begin{eqnarray*} 1 < p_1, p_3 \leq \infty, \frac{1}{p_1} + \frac{1}{p_2} <1, \frac{1}{p_2} + \frac{1}{p_3} <1, 2 < p_2 <\infty. \end{eqnarray*}


title: Investigation of Dependence between Time-zero and Time-dependent Variability in High-k NMOS Transistors

abstract: Bias Temperature Instability (BTI) is a major reliability concern in CMOS technology, especially with High dielectric constant (High-\k{appa}/HK) metal gate (MG) transistors. In addition, the time independent process induced variation has also increased because of the aggressive scaling down of devices. As a result, the faster devices at the lower threshold voltage distribution tail experience higher stress, leading to additional skewness in the BTI degradation. Since time dependent dielectric breakdown (TDDB) and stress-induced leakage current (SILC) in NMOS devices are correlated to BTI, it is necessary to investigate the effect of time zero variability on all these effects simultaneously. To that effect, we propose a simulation framework to model and analyze the impact of time-zero variability (in particular, random dopant fluctuations) on different aging effects. For small area devices (~1000 nm2) in 30nm technology, we observe significant effect of Random Dopant Fluctuation (RDF) on BTI induced variability ({\sigma}{\Delta}Vth). In addition, the circuit analysis reveals similar trend on the performance degradation. However, both TDDB and SILC show weak dependence on RDF. We conclude that the effect of RDF on Vth degradation cannot be disregarded in scaled technology and needs to be considered for variation tolerant circuit design.


title: A non grid-based interpolation scheme for the eigenvalue problem

abstract: We propose a non grid-based interpolation scheme based on the information from the data collected from the vicinity of the query point. As a non-grid-based interpolation, the data points can be distributed randomly in a small region, and the interpolation is constructed so that it naturally makes use of the information not only on the function value but also on its higher order derivatives. The main advantage of the present approach is that the precision of the interpolation can be adjusted in accordance to the quantity of the data, in other words, a balance between the precision and the computational cost can be achieved by properly choosing the size of the neighborhood where the data points are collected. The method is applicable to univariate as well as multivariate functions. We show that the proposed scheme is efficient and precise. The present approach is then employed to study the eigenvalue problem.


title: Composite-boson approach to molecular Bose-Einstein condensates in mixtures of ultracold Fermi gases

abstract: We show that an ansatz based on independent composite bosons [Phys. Rep. 463, 215 (2008)] accurately describes the condensate fraction of molecular Bose-Einstein condensates in ultracold Fermi gases. The entanglement between the fermionic constituents of a single Feshbach molecule then governs the many-particle statistics of the condensate, from the limit of strong interaction to close to unitarity. This result strengthens the role of entanglement as the indispensable driver of composite-boson behavior. The condensate fraction of fermion pairs at zero temperature that we compute matches excellently previous results obtained by means of fixed-node diffusion Monte Carlo methods and the Bogoliubov depletion approximation. This paves the way towards the exploration of the BEC-BCS crossover physics in mixtures of cold Fermi gases with an arbitrary number of fermion pairs as well as the implementation of Hong-Ou-Mandel-like interference experiments proposed within coboson theory.


title: Arithmetic Properties of Integers in Chains and Reflections of $g$-ary Expansions

abstract: Recently, there has been a sharp rise of interest in properties of digits primes. Here we study yet another question of this kind. Namely, we fix an integer base $g \ge 2$ and then for every infinite sequence $${\mathcal D} = \{d_i\}_{i=0}^\infty \in \{0, \ldots, g-1\}^\infty $$ of $g$-ary digits we consider the counting function $\varpi_{{\mathcal D},g}(N)$ of integers $n \le N$ for which $\sum_{i=0}^{n-1} d_i g^i$ is prime. We construct sequences ${\mathcal D}$ for which $\varpi_{{\mathcal D},g}(N)$ grows fast enough, and show that for some constant $\vartheta_g< g$ there are at most $O(\vartheta_g^N)$ initial elements $(d_0, \ldots, d_{N-1})$ of ${\mathcal D}$ for which $\varpi_{{\mathcal D},g}(N)=N+O(1)$. We also discuss joint arithmetic properties of integers and mirror reflections of their $g$-ary expansions.


title: Ramsey growth in some NIP structures

abstract: We investigate bounds in Ramsey's theorem for relations definable in NIP structures. Applying model-theoretic methods to finitary combinatorics, we generalize a theorem of Bukh and Matousek [B. Bukh, J. Matou\v{s}ek. "Erd\H{o}s-Szekeres-type statements: Ramsey function and decidability in dimension $1$", Duke Mathematical Journal 163.12 (2014): 2243-2270] from the semialgebraic case to arbitrary polynomially bounded $o$-minimal expansions of $\mathbb{R}$, and show that it doesn't hold in $\mathbb{R}_{\exp}$. This provides a new combinatorial characterization of polynomial boundedness for $o$-minimal structures. We also prove an analog for relations definable in $P$-minimal structures, in particular for the field of the $p$-adics. Generalizing [D. Conlon, J. Fox, J. Pach, B. Sudakov, A. Suk "Ramsey-type results for semi-algebraic relations", Transactions of the American Mathematical Society 366.9 (2014): 5043-5065], we show that in distal structures the upper bound for $k$-ary definable relations is given by the exponential tower of height $k-1$.


title: Window Parity Games: An Alternative Approach Toward Parity Games with Time Bounds (Full Version)

abstract: Classical objectives in two-player zero-sum games played on graphs often deal with limit behaviors of infinite plays: e.g., mean-payoff and total-payoff in the quantitative setting, or parity in the qualitative one (a canonical way to encode omega-regular properties). Those objectives offer powerful abstraction mechanisms and often yield nice properties such as memoryless determinacy. However, their very nature provides no guarantee on time bounds within which something good can be witnessed. In this work, we consider two approaches toward inclusion of time bounds in parity games. The first one, parity-response games, is based on the notion of finitary parity games [CHH09] and parity games with costs [FZ14,WZ16]. The second one, window parity games, is inspired by window mean-payoff games [CDRR15]. We compare the two approaches and show that while they prove to be equivalent in some contexts, window parity games offer a more tractable alternative when the time bound is given as a parameter (P-c. vs. PSPACE-C.). In particular, it provides a conservative approximation of parity games computable in polynomial time. Furthermore, we extend both approaches to the multi-dimension setting. We give the full picture for both types of games with regard to complexity and memory bounds. [CHH09] K. Chatterjee, T.A. Henzinger, F. Horn (2009): Finitary winning in omega-regular games. ACM Trans. Comput. Log. 11(1). [FZ14] N. Fijalkow, M. Zimmermann (2014): Parity and Streett Games with Costs. LMCS 10(2). [WZ16] A. Weinert, M. Zimmermann (2016): Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs. Proc. of CSL, LIPIcs 62, pp. 31:1-31:17, Schloss Dagstuhl - LZI. [CDRR15] K. Chatterjee, L. Doyen, M. Randour, J.-F. Raskin (2015): Looking at mean-payoff and total-payoff through windows. Information and Computation 242, pp. 25-52.


title: Superconductivity and spin-orbit coupling in non-centrosymmetric materials: a review

abstract: In non-centrosymmetric superconductors, where the crystal structure lacks a centre of inversion, parity is no longer a good quantum number and an electronic antisymmetric spin-orbit coupling (ASOC) is allowed to exist by symmetry. If this ASOC is sufficiently large, it has profound consequences on the superconducting state. For example, it generally leads to a superconducting pairing state which is a mixture of spin-singlet and spin-triplet components. The possibility of such novel pairing states, as well as the potential for observing a variety of unusual behaviours, led to intensive theoretical and experimental investigations. Here we review the experimental and theoretical results for superconducting systems lacking inversion symmetry. Firstly we give a conceptual overview of the key theoretical results. We then review the experimental properties of both strongly and weakly correlated bulk materials, as well as two dimensional systems. Here the focus is on evaluating the effect of ASOC on the superconducting properties and the extent to which there is evidence for singlet-triplet mixing. This is followed by a more detailed overview of theoretical aspects of non-centrosymmetric superconductivity. This includes the effects of the ASOC on the pairing symmetry and the superconducting magnetic response, magneto-electric effects, superconducting finite momentum pairing states, and the potential of non-centrosymmetric superconductors to display topological superconductivity.


title: Unboundedness Theorems for Symbols Adapted to Large Subspaces

abstract: For every integer $n \geq 3$, we prove that the n-sublinear generalization of the Bi-Carleson operator of Muscalu, Tao, and Thiele given by nC^{\vec{\alpha}} :(f_1,..., f_n) \mapsto \sup_{M} \left| \int_{\vec{\xi} \cdot \vec{\alpha} >0, \xi_n < M} \left[\prod_{j=1}^n \hat{f}_j(\xi_j) e^{2 \pi i x \xi_j }\right]d\vec{\xi} ~\right|satisfies no $L^p$ estimates provided $\vec{\alpha} \in \mathbb{Q}^n$ with distinct, non-zero entries. Furthermore, if $n \geq 5$ and $\vec{\alpha} \in \mathbb{Q}^n$ has distinct, non-zero entries, it is shown that there is a symbol $m:\mathbb{R}^n \rightarrow \mathbb{C}$ adapted to the hyperplane $\Gamma^{\vec{a}}=\left\{ \vec{\xi} \in \mathbb{R}^n: \sum_{j=1}^n \xi_j \cdot a_j =0 \right\} $ and supported in $\left\{ \vec{\xi} : dist(\vec{\xi}, \Gamma^{\vec{\alpha}}) \lesssim 1 \right\}$ for which the associated $n$-linear multiplier also satisfies no $L^p$ estimates. Next, we construct a H\"{o}rmander-Marcinkiewicz symbol $\Pi: \mathbb{R}^2 \rightarrow \mathbb{C}$, which is a paraproduct of $(\phi, \psi)$ type, such that the trilinear operator $T_m$ whose symbol $m$ is $ sgn(\xi_1 + \xi_2) \Pi(\xi_2, \xi_3)$ satisfies no $L^p$ estimates. Finally, we state a converse to a theorem of Muscalu, Tao, and Thiele using Riesz kernels in the spirit of Muscalu's recent work: for every pair of integers $(\mathfrak{d},n) $ s.t. $ \frac{n}{2}+\frac{3}{2} \leq \mathfrak{d}<n$ there is an explicit collection $\mathfrak{C}$ of uncountably many $\mathfrak{d}$-dimensional non-degenerate subspaces of $\mathbb{R}^n$ such that for each $\Gamma \in \mathcal{C}$ there is an associated symbol $m_\Gamma$ adapted to $\Gamma$ in the Mikhlin-H\"{o}rmander sense and supported in $\left\{ \vec{\xi} : dist(\vec{\xi}, \Gamma) \lesssim 1 \right\}$ for which the associated multilinear multiplier $T_{m_\Gamma}$ is unbounded.


title: Ground states of a Bose-Einstein Condensate in a one-dimensional laser-assisted optical lattice

abstract: We study the ground-state behavior of a Bose-Einstein Condensate (BEC) in a Raman-laser-assisted one-dimensional (1D) optical lattice potential forming a multilayer system. We find that, such system can be described by an effective model with spin-orbit coupling (SOC) of pseudospin $(N-1)/2$, where $N$ is the number of layers. Due to the intricate interplay between atomic interactions, SOC and laser-assisted tunnelings, the ground-state phase diagrams generally consist of three phases -- a stripe, a plane wave and a normal phase with zero-momentum, touching at a quantum tricritical point. More important, even though the single-particle states only minimize at zero-momentum for odd $N$, the many-body ground states may still develop finite momenta. The underlying mechanisms are elucidated. Our results provide an alternative way to realize an effective spin-orbit coupling of Bose gas with the Raman-laser-assisted optical lattice, and would also be beneficial to the studies on SOC effects in spinor Bose systems with large spin.


title: Mixed Motives and Geometric Representation Theory in Equal Characteristic

abstract: Let $\mathbb{k}$ be a field of characteristic $p$. We introduce a formalism of mixed sheaves with coefficients in $\mathbb{k}$ and showcase its use in representation theory. More precisely, we construct for all quasi-projective schemes $X$ over an algebraic closure of $\mathbb{F}_p$ a $\mathbb{k}$-linear triangulated category of motives on $X$. Using work of Ayoub (2007), Cisinski-Deglise (2012) and Geisser-Levine (2000), we show that this system of categories has a six functors formalism and computes higher Chow groups. Indeed, it behaves similarly to other categories of sheaves that one is used to. We attempt to make its construction also accessible to non-experts. We then consider the subcategory of stratified mixed Tate motives defined for affinely stratified varieties $X$, discuss perverse and parity motives and prove formality results. As an example, we combine these results and Soergel (2000) to construct a geometric and graded version of Soergel's modular category $\mathscr O(G)$, consisting of rational representations of a split semisimple group $G/\mathbb{k}$, and thereby equip it with a full six functor formalism (see Riche-Soergel-Williamson (2014) and Achar-Riche (2016) for other approaches). The main idea of using motives in geometric representation theory in this way as well as many results about stratified mixed Tate motives are directly borrowed from Soergel and Wendt, who tell the story in characteristic zero.


title: Leggett-Garg test of superconducting qubit addressing the clumsiness loophole

abstract: The Leggett-Garg inequality holds for any macrorealistic system that is being measured noninvasively. A violation of the inequality can signal that a system does not conform to our primal intuition about the physical world. Alternatively, a violation can simply indicate that "clumsy" experimental technique led to invasive measurements. Here, we consider a recent Leggett-Garg test designed to try to rule out the mundane second possibility. We tailor this Leggett-Garg test to the IBM 5Q Quantum Experience system and find compelling evidence that qubit $Q_2$ of the system cannot be described by noninvasive macrorealism.


title: Rational curves on complete intersections in positive characteristic

abstract: We study properties of rational curves on complete intersections in positive characteristic. It has long been known that in characteristic 0, smooth Calabi-Yau and general type varieties are not uniruled. In positive characteristic, however, there are well-known counterexamples to this statement. We will show that nevertheless, a \emph{general} Calabi-Yau or general type complete intersection in projective space is not uniruled. We will also show that the space of complete intersections of degree $(d_1, \cdots, d_k)$ containing a rational curve has codimension at least $\sum_{i=1}^k d_i - 2n + 2$ in the moduli space of all complete intersections of given multidegree and dimension.


title: Conformalized Kernel Ridge Regression

abstract: General predictive models do not provide a measure of confidence in predictions without Bayesian assumptions. A way to circumvent potential restrictions is to use conformal methods for constructing non-parametric confidence regions, that offer guarantees regarding validity. In this paper we provide a detailed description of a computationally efficient conformal procedure for Kernel Ridge Regression (KRR), and conduct a comparative numerical study to see how well conformal regions perform against the Bayesian confidence sets. The results suggest that conformalized KRR can yield predictive confidence regions with specified coverage rate, which is essential in constructing anomaly detection systems based on predictive models.


title: Incremental Sampling-based Motion Planners Using Policy Iteration Methods

abstract: Recent progress in randomized motion planners has led to the development of a new class of sampling-based algorithms that provide asymptotic optimality guarantees, notably the RRT* and the PRM* algorithms. Careful analysis reveals that the so-called "rewiring" step in these algorithms can be interpreted as a local policy iteration (PI) step (i.e., a local policy evaluation step followed by a local policy improvement step) so that asymptotically, as the number of samples tend to infinity, both algorithms converge to the optimal path almost surely (with probability 1). Policy iteration, along with value iteration (VI) are common methods for solving dynamic programming (DP) problems. Based on this observation, recently, the RRT$^{\#}$ algorithm has been proposed, which performs, during each iteration, Bellman updates (aka "backups") on those vertices of the graph that have the potential of being part of the optimal path (i.e., the "promising" vertices). The RRT$^{\#}$ algorithm thus utilizes dynamic programming ideas and implements them incrementally on randomly generated graphs to obtain high quality solutions. In this work, and based on this key insight, we explore a different class of dynamic programming algorithms for solving shortest-path problems on random graphs generated by iterative sampling methods. These class of algorithms utilize policy iteration instead of value iteration, and thus are better suited for massive parallelization. Contrary to the RRT* algorithm, the policy improvement during the rewiring step is not performed only locally but rather on a set of vertices that are classified as "promising" during the current iteration. This tends to speed-up the whole process. The resulting algorithm, aptly named Policy Iteration-RRT$^{\#}$ (PI-RRT$^{\#}$) is the first of a new class of DP-inspired algorithms for randomized motion planning that utilize PI methods.


title: Optical trimer: A theoretical physics approach to waveguide couplers

abstract: We study electromagnetic field propagation through an ideal, passive, triangular three-waveguide coupler using a symmetry based approach to take advantage of the underlying $SU(3)$ symmetry. The planar version of this platform has proven valuable in photonic circuit design providing optical sampling, filtering, modulating, multiplexing, and switching. We show that a group-theory approach can readily provide a starting point for design optimization of the triangular version. Our analysis is presented as a practical tutorial on the use of group theory to study photonic lattices for those not familiar with abstract algebra methods. In particular, we study the equilateral trimer to show the relation of pearl-necklace arrays with the Discrete Fourier Transform due to their cyclic group symmetry, and the isosceles trimer to show its relation with the golden ratio and its ability to provide stable output at a single waveguide. We also study the propagation dependent case of an equilateral trimer that linearly increases or decreases its effective coupling with the propagation distance. For the sake of completeness, we go beyond the standard optical-quantum analogy to show that it is possible to derive coupled-mode equations for intensity and phase, and that it is also possible to calculate envelopes for the propagation of all possible inputs belonging to an energy class, as well as individual input field amplitudes, without the need of point-to-point propagation.


title: Katz Centrality of Markovian Temporal Networks: Analysis and Optimization

abstract: Identifying important nodes in complex networks is a fundamental problem in network analysis. Although a plethora of measures has been proposed to identify important nodes in static (i.e., time-invariant) networks, there is a lack of tools in the context of temporal networks (i.e., networks whose connectivity dynamically changes over time). The aim of this paper is to propose a system-theoretic approach for identifying important nodes in temporal networks. In this direction, we first propose a generalization of the popular Katz centrality measure to the family of Markovian temporal networks using tools from the theory of Markov jump linear systems. We then show that Katz centrality in Markovian temporal networks can be efficiently computed using linear programming. Finally, we propose a convex program for optimizing the Katz centrality of a given node by tuning the weights of the temporal network in a cost-efficient manner. Numerical simulations illustrate the effectiveness of the obtained results.


title: Scalar Quasinormal Modes of Anti-de Sitter Static Spacetime in Horava-Lifshitz Gravity with $U(1)$ Symmetry

abstract: In this paper, we investigate the scalar quasinormal modes of Ho\v{r}ava-Lifshitz theory with $U(1)$ symmetry in static Anti-de Sitter spacetime. The static planar and spherical black hole solutions in lower energy limit are derived in non-projectable Ho\v{r}ava-Lifshitz gravity. The equation of motion of a scalar field is obtained, and is utilized to study the quasinormal modes of massless scalar particles. We find that the effect of Ho\v{r}ava-Lifshitz correction is to increase the quasinormal period as well as to slow down the decay of the oscillation magnitude. Besides, the scalar field could be unstable when the correction becomes too large.


title: L^p Estimates for Semi-Degenerate Simplex Multipliers

abstract: Muscalu, Tao, and Thiele prove $L^p$ estimates for the "Biest" operator defined on Schwartz functions by the map \begin{align*} \hspace{5mm} C^{1,1,1}:& (f_1, f_2, f_3) \mapsto \int_{\xi_1 < \xi_2< \xi_3} \left[ \prod_{j=1}^3 \hat{f}_j (\xi_j) e^{2 \pi i x \xi_j } \right] d \vec{\xi} \end{align*} via a time-frequency argument that produces bounds for all multipliers with non-degenerate trilinear simplex symbols. In this article we prove $L^p$ estimates for a pair of simplex multipliers for which the non-degeneracy condition fails and which are defined on Schwartz functions by the maps \begin{align*} C^{1,1,-2}:& (f_1, f_2, f_3) \mapsto \int_{\xi_1 <\xi_2 < -\frac{\xi_3}{2}}\left[ \prod_{j=1}^3 \hat{f}_j (\xi_j) e^{2 \pi i x \xi_j } \right] d \vec{\xi} \end{align*} \begin{align*} C^{1,1,1,-2}:& (f_1, f_2, f_3, f_4) \mapsto \int_{\xi_1 <\xi_2 < \xi_3< -\frac{\xi_4}{2}} \left[\prod_{j=1}^4 \hat{f}_j (\xi_j) e^{2 \pi i x \xi_j} \right] d \vec{\xi}. \end{align*} Our argument combines the standard $\ell^2$-based energy with an $\ell^1$-based energy in order to enable summability over various size parameters. As a consequence, we obtain that $C^{1,1,-2}$ maps into $L^p$ for all $1/2< p < \infty$ and $C^{1,1,1,-2}$ maps into $L^p$ for all $1/3 < p < \infty$. Both target $L^p$ ranges are shown to be sharp.


title: Dynamic behavior of the roots of the Taylor polynomials of the Riemann xi function with growing degree

abstract: We establish a uniform approximation result for the Taylor polynomials of the xi function of Riemann which is valid in the entire complex plane as the degree grows. In particular, we identify a domain growing with the degree of the polynomials on which they converge to Riemann's xi function. Using this approximation we obtain an estimate of the number of "spurious zeros" of the Taylor polynomial which are outside of the critical strip, which leads to a Riemann - von Mangoldt type of formula for the number of zeros of the Taylor polynomials within the critical strip. Super-exponential convergence of Hurwitz zeros of the Taylor polynomials to bounded zeros of the xi function are established along the way, and finally we explain how our approximation techniques can be extended to a collection of analytic L-functions.


title: Extracting Flexibility of Heterogeneous Deferrable Loads via Polytopic Projection Approximation

abstract: Aggregation of a large number of responsive loads presents great power flexibility for demand response. An effective control and coordination scheme of flexible loads requires an accurate and tractable model that captures their aggregate flexibility. This paper proposes a novel approach to extract the aggregate flexibility of deferrable loads with heterogeneous parameters using polytopic projection approximation. First, an exact characterization of their aggregate flexibility is derived analytically, which in general contains exponentially many inequality constraints with respect to the number of loads. In order to have a tractable solution, we develop a numerical algorithm that gives a sufficient approximation of the exact aggregate flexibility. Geometrically, the flexibility of each individual load is a polytope, and their aggregation is the Minkowski sum of these polytopes. Our method originates from an alternative interpretation of the Minkowski sum as projection. The aggregate flexibility can be viewed as the projection of a high-dimensional polytope onto the subspace representing the aggregate power. We formulate a robust optimization problem to optimally approximate the polytopic projection with respect to the homothet of a given polytope. To enable efficient and parallel computation of the aggregate flexibility for a large number of loads, a muti-stage aggregation strategy is proposed. The scheduling policy for individual loads is also derived. Finally, an energy arbitrage problem is solved to demonstrate the effectiveness of the proposed method.


title: It\^o's formula, the stochastic exponential and change of measure on general time scales

abstract: We provide an It\^{o}'s formula for stochastic dynamical equation on general time scales. Based on this It\^{o}'s formula we give a closed form expression for stochastic exponential on general time scales. We then demonstrate a Girsanov's change of measure formula in the case of general time scales. Our result is being applied to a Brownian motion on the quantum time scale (q-time scale).


title: Chemical abundances of damped Lyman alpha systems in the XQ-100 survey

abstract: The XQ-100 survey has provided high signal-noise spectra of 100 redshift 3-4.5 quasars with the X-Shooter spectrograph. The metal abundances for 13 elements in the 41 damped Lyman alpha systems (DLAs) identified in the XQ-100 sample are presented, and an investigation into abundances of a variety of DLA classes is conducted. The XQ-100 DLA sample contains five DLAs within 5000 km/s of their host quasar (proximate DLAs; PDLAs) as well as three sightlines which contain two DLAs within 10,000 km/s of each other along the same line-of-sight (multiple DLAs; MDLAs). Combined with previous observations in the literature, we demonstrate that PDLAs with logN(HI)<21.0 show lower [S/H] and [Fe/H] (relative to intervening systems with similar redshift and N(HI)), whilst higher [S/H] and [Si/H] are seen in PDLAs with logN(HI)>21.0. These abundance discrepancies are independent of their line-of-sight velocity separation from the host quasar, and the velocity width of the metal lines (v90). Contrary to previous studies, MDLAs show no difference in [alpha/Fe] relative to single DLAs matched in metallicity and redshift. In addition, we present follow-up UVES data of J0034+1639, a sightline containing three DLAs, including a metal-poor DLA with [Fe/H]=-2.82 (the third lowest [Fe/H] in DLAs identified to date) at z=4.25. Lastly we study the dust-corrected [Zn/Fe], emphasizing that near-IR coverage of X-Shooter provides unprecedented access to MgII, CaII and TiII lines (at redshifts 3-4) to provide additional evidence for subsolar [Zn/Fe] ratio in DLAs.


title: The reproductive number of Zika in municipalities of Antioquia, Colombia: stratifying the potential transmission of an ongoing epidemic

abstract: Introduction: Zika epidemic in America was declared a public health emergency of international concern after the rapid spread in the region. Stratification of the potential transmission of the disease is needed to address the efforts surveillance and disease control. The goal of this research is to compare the basic reproductive number of Zika in different municipalities, from an SIR model with implicit vector dynamics, based on the daily case reporting data of Antioquia, Colombia, the second most affected country after Brazil. Methods: An simple SIR model with implicit vector dynamics was derived and used. The approximate solution of the model in terms of individuals recovered in each time unit, allowed to obtain estimate of the model parameters including the basic reproduction number (Ro) and its 95% confidence intervals. These parameters were estimated via fitting the solution of the model to the daily reported cumulative cases data from the regional surveillance system. Results: Ro was estimated for 20 municipalities, all located at less than 2200 meters above sea level. From January to April 2016, between 17 and 347 cases were reported from these municipalities. Of these, 15 municipalities had a high potential for transmission (Ro>1) and 5 had less potential (Ro<1), although in 3 of these, transmission was later possible because its upper confidence interval of Ro was greater than one. Conclusion: Surveillance and control of Zika should be directed primarily to municipalities with Ro>1. Furthermore, strategies that will strengthen the detection and management of cases in the remaining municipalities should be beneficial to the whole Antioquia region.


title: Many-body topological invariants in fermionic symmetry protected topological phases: Cases of point group symmetries

abstract: We propose the definitions of many-body topological invariants to detect symmetry-protected topological phases protected by point group symmetry, using partial point group transformations on a given short-range entangled quantum ground state. Partial point group transformations $g_D$ are defined by point group transformations restricted to a spatial subregion $D$, which is closed under the point group transformations and sufficiently larger than the bulk correlation length $\xi$. By analytical and numerical calculations,we find that the ground state expectation value of the partial point group transformations behaves generically as $\langle GS | g_D | GS \rangle \sim \exp \Big[ i \theta+ \gamma - \alpha \frac{{\rm Area}(\partial D)}{\xi^{d-1}} \Big]$. Here, ${\rm Area}(\partial D)$ is the area of the boundary of the subregion $D$, and $\alpha$ is a dimensionless constant. The complex phase of the expectation value $\theta$ is quantized and serves as the topological invariant, and $\gamma$ is a scale-independent topological contribution to the amplitude. The examples we consider include the $\mathbb{Z}_8$ and $\mathbb{Z}_{16}$ invariants of topological superconductors protected by inversion symmetry in $(1+1)$ and $(3+1)$ dimensions, respectively, and the lens space topological invariants in $(2+1)$-dimensional fermionic topological phases. Connections to topological quantum field theories and cobordism classification of symmetry-protected topological phases are discussed.


title: A Multiband OFDMA Heterogeneous Network for Millimeter Wave 5G Wireless Applications

abstract: Emerging fifth generation (5G) wireless networks require massive bandwidth in higher frequency bands, extreme network densities, and flexibility of supporting multiple wireless technologies in order to provide higher data rates and seamless coverage. It is expected that utilization of the large bandwidth in the millimeter-wave (mmWave) band and deployment of heterogeneous networks (HetNets) will help address the data rate requirements of 5G networks. However, high pathloss and shadowing in the mmWave frequency band, strong interference in the HetNets due to massive network densification, and coor- dination of various air interfaces are challenges that must be addressed. In this paper, we consider a relay-based multiband orthogonal frequency division multiple access (OFDMA) HetNet in which mmWave small cells are deployed within the service area of macro cells. Specifically, we attempt to exploit the distinct propagation characteristics of mmWave bands (i.e., 60 GHz- the V-band - and 70-80 GHz -the E-band-) and the Long Term Evolution (LTE) band to maximize overall data rate of the network via efficient resource allocation. The problem is solved using a modified dual decomposition approach and then a low complexity greedy solution based on iterative activity selection algorithm is presented. Simulation results show that the proposed approach outperforms conventional schemes.


title: Robust Gaussian Teleportation with Attenuations and Non-unity Gain

abstract: The average fidelity of the teleportation of a coherent state is calculated for general Gaussian bipartite systems shared by the partners of the protocol, Alice and Bob. It is considered that the shared Gaussian bipartite modes suffer independent attenuations before the processing of Alice and Bob. Moreover the classical communication between the partners can be controlled by a gain not necessarily unitary. Comparing with the classical fidelity threshold of measure-and-prepare methods, we establish several genuinely quantum teleportation conditions which depend on the gain and the local attenuations. Considering that the gain can be tuned to maximize the bipartite state set able to genuinely quantum teleportation, a condition for teleportation robust to local attenuations is found. This condition is demonstrated to be essentially equivalent to the condition of robust Gaussian bipartite entanglement, obtained in previous articles, showing that the attenuation robustness is an entanglement property relevant for characterization and application of bipartite systems. For the derivation of the robust teleportation conditions, the Gaussian operations onto the bipartite system are thoroughly studied, so that the transformations that maintain the fidelity invariant are found. Some scenarios for different Gaussian bipartite states are presented and discussed.


title: The Million Optical - Radio/X-ray Associations (MORX) Catalogue

abstract: This automated catalogue combines all the largest published optical, radio and X-ray sky catalogues to find probable radio/X-ray associations to optical objects, plus double radio lobes, using uniform processing against all input data. The total count is 1002855 optical objects so presented. Each object is displayed with J2000 astrometry, optical and radio/X-ray identifiers, red and blue photometry, and calculated probabilities and optical field solutions of the associations. This is the third and final edition of this method.


title: Phase transition for the SIR model with random transition rates on complete graphs

abstract: In this paper we are concerned with the Susceptible-Infective-Removed model with random transition rates on complete graphs $C_n$ with $n$ vertices. We assign i. i. d. copies of a positive random variable $\xi$ on each vertex as the recovery rates and i. i. d copies of a positive random variable $\rho$ on each edge as the edge infection weights. We assume that a susceptible vertex is infected by an infective one at rate proportional to the edge weight on the edge connecting these two vertices while an infective vertex becomes removed with rate equals the recovery rate on it, then we show that the model performs the following phase transition when at $t=0$ one vertex is infective and others are susceptible. When $\lambda<\lambda_c$, the proportion of vertices which have ever been infective converges to $0$ weakly as $n\rightarrow+\infty$ while when $\lambda>\lambda_c$, there exist $c(\lambda)>0$ and $b(\lambda)>0$ such that for each $n\geq 1$ with probability at least $b(\lambda)$ the proportion of vertices which have ever been infective is at least $c(\lambda)$. Furthermore, we prove that $\lambda_c$ is the inverse of the production of the mean of $\rho$ and the mean of the inverse of $\xi$.


title: The chain-level intersection pairing for PL pseudomanifolds revisited

abstract: We generalize the PL intersection product for chains on PL manifolds and for intersection chains on PL stratified pseudomanifolds to products of locally finite chains on non-compact spaces that are natural with respect to restriction to open sets. This is necessary to sheafify the intersection product, an essential step in proving duality between the Goresky-MacPherson intersection homology product and the intersection cohomology cup product pairing recently defined by the author and McClure. We also provide a correction to the Goresky-MacPherson proof of a version of Poincar\'e duality on pseudomanifolds that is used in the construction of the intersection product.


title: Tangled Closure Algebras

abstract: The tangled closure of a collection of subsets of a topological space is the largest subset in which each member of the collection is dense. This operation models a logical `tangle modality' connective, of significance in finite model theory. Here we study an abstract equational algebraic formulation of the operation which generalises the McKinsey-Tarski theory of closure algebras. We show that any dissectable tangled closure algebra, such as the algebra of subsets of any metric space without isolated points, contains copies of every finite tangled closure algebra. We then exhibit an example of a tangled closure algebra that cannot be embedded into any complete tangled closure algebra, so it has no MacNeille completion and no spatial representation.


title: On the role of $\rm CD8^+$ T cells in determining recovery time from influenza virus infection

abstract: Myriad experiments have identified an important role for $\rm CD8^+$ T cell response mechanisms in determining recovery from influenza A virus infection. Animal models of influenza infection further implicate multiple elements of the immune response in defining the dynamical characteristics of viral infection. To date, influenza virus models, while capturing particular aspects of the natural infection history, have been unable to reproduce the full gamut of observed viral kinetic behaviour in a single coherent framework. Here, we introduce a mathematical model of influenza viral dynamics incorporating all major immune components (innate, humoral and cellular) and explore its properties with a particular emphasis on the role of cellular immunity. Calibrated against a range of murine data, our model is capable of recapitulating observed viral kinetics from a multitude of experiments. Importantly, the model predicts a robust exponential relationship between the level of effector $\rm CD8^+$ T cells and recovery time, whereby recovery time rapidly decreases to a fixed minimum recovery time with an increasing level of effector $\rm CD8^+$ T cells. We find support for this relationship in recent clinical data from influenza A(H7N9) hospitalised patients. The exponential relationship implies that people with a lower level of naive $\rm CD8^+$ T cells may receive significantly more benefit from induction of additional effector $\rm CD8^+$ T cells arising from immunological memory, itself established through either previous viral infection or T cell-based vaccines.


title: FAST-PT II: an algorithm to calculate convolution integrals of general tensor quantities in cosmological perturbation theory

abstract: Cosmological perturbation theory is a powerful tool to predict the statistics of large-scale structure in the weakly non-linear regime, but even at 1-loop order it results in computationally expensive mode-coupling integrals. Here we present a fast algorithm for computing 1-loop power spectra of quantities that depend on the observer's orientation, thereby generalizing the FAST-PT framework (McEwen et al., 2016) that was originally developed for scalars such as the matter density. This algorithm works for an arbitrary input power spectrum and substantially reduces the time required for numerical evaluation. We apply the algorithm to four examples: intrinsic alignments of galaxies in the tidal torque model; the Ostriker-Vishniac effect; the secondary CMB polarization due to baryon flows; and the 1-loop matter power spectrum in redshift space. Code implementing this algorithm and these applications is publicly available at https://github.com/JoeMcEwen/FAST-PT .


title: Evanescent single-molecule biosensing with quantum limited precision

abstract: Sensors that are able to detect and track single unlabelled biomolecules are an important tool both to understand biomolecular dynamics and interactions at nanoscale, and for medical diagnostics operating at their ultimate detection limits. Recently, exceptional sensitivity has been achieved using the strongly enhanced evanescent fields provided by optical microcavities and nano-sized plasmonic resonators. However, at high field intensities photodamage to the biological specimen becomes increasingly problematic. Here, we introduce an optical nanofibre based evanescent biosensor that operates at the fundamental precision limit introduced by quantisation of light. This allows a four order-of-magnitude reduction in optical intensity whilst maintaining state-of-the-art sensitivity. It enable quantum noise limited tracking of single biomolecules as small as 3.5 nm, and surface-molecule interactions to be monitored over extended periods. By achieving quantum noise limited precision, our approach provides a pathway towards quantum-enhanced single-molecule biosensors.


title: Nonlinear inhomogeneous Fokker-Planck equations: entropy and free-energy time evolution

abstract: We extend a recently introduced free-energy formalism for homogeneous Fokker-Planck equations to a wide, and physically appealing, class of inhomogeneous nonlinear Fokker-Planck equations. In our approach, the free-energy functional is expressed in terms of an entropic functional and an auxiliary potential, both derived from the coefficients of the equation. With reference to the introduced entropic functional, we discuss the entropy production in a relaxation process towards equilibrium. The properties of the stationary solutions of the considered Fokker-Planck equations are also discussed.


title: Unfolding of acyclic sign-skew-symmetric cluster algebras and applications to positivity and $F$-polynomials

abstract: In this paper, we build the unfolding approach from acyclic sign-skew-symmetric matrices of finite rank to skew-symmetric matrices of infinite rank, which can be regard as an improvement of that in the skew-symmetrizable case. Using this approach, we give a positive answer to the problem by Berenstein, Fomin and Zelevinsky in \cite{fz3} which asks whether an acyclic sign-skew-symmetric matrix is always totally sign-skew-symmetric. As applications, the positivity for cluster algebras in acyclic sign-skew-symmetric case is given; further, the $F$-polynomials of cluster algebras are proved to have constant term 1 in acyclic sign-skew-symmetric case.


title: The Kalman Decomposition for Linear Quantum Stochastic Systems

abstract: The Kalman decomposition for Linear Quantum Stochastic Systems in the real quadrature operator representation, that was derived indirectly in [1] by the authors, is derived here directly, using the "one-sided symplectic" SVD-like factorization of [2] on the observability matrix of the system.


title: A Stochastic Model of Optimal Debt Management and Bankruptcy

abstract: A problem of optimal debt management is modeled as a noncooperative game between a borrower and a pool of lenders, in infinite time horizon with exponential discount. The yearly income of the borrower is governed by a stochastic process. When the debt-to-income ratio $x(t)$ reaches a given size $x^*$, bankruptcy instantly occurs. The interest rate charged by the risk-neutral lenders is precisely determined in order to compensate for this possible loss of their investment. For a given bankruptcy threshold $x^*$, existence and properties of optimal feedback strategies for the borrower are studied, in a stochastic framework as well as in a limit deterministic setting. The paper also analyzes how the expected total cost to the borrower changes, depending on different values of $x^*$, changes, depending on different values of $x^*$?.


title: List approximation for increasing Kolmogorov complexity

abstract: It is impossible to effectively modify a string in order to increase its Kolmogorov complexity. But is it possible to construct a few strings, not longer than the input string, so that most of them have larger complexity? We show that the answer is yes. We present an algorithm that on input a string $x$ of length $n$ returns a list with $O(n^2)$ many strings, all of length $n$, such that 99\% of them are more complex than $x$, provided the complexity of $x$ is less than $n - \log \log n - O(1)$. We obtain similar results for other parameters, including a polynomial-time construction.


title: A Note on Local Unitary Equivalence of Isotropic-like States

abstract: We consider the local unitary equivalence of a class of quantum states in bipartite case and multipartite case. The necessary and sufficient condition is presented. As special cases, the local unitary equivalent classes of isotropic state and werner state are provided. Then we study the local unitary similar equivalence of this class of quantum states and analyze the necessary and sufficient condition.


title: Intrinsic sound of anti-de Sitter manifolds

abstract: As is well-known for compact Riemann surfaces, eigenvalues of the Laplacianbare distributed discretely and most of eigenvalues vary viewed as functions on the Teichmuller space. We discuss a new feature in the Lorentzian geometry, or more generally, in pseudo-Riemannian geometry. One of the distinguished features is that $L^2$-eigenvalues of the Laplacian may be distributed densely in R in pseudo-Riemannian geometry. For three-dimensional anti-de Sitter manifolds, we also explain another feature proved in joint with F. Kassel [Adv. Math. 2016] that there exist countably many $L^2$-eigenvalues of the Laplacian that are stable under any small deformation of anti-de Sitter structure.


title: Criterion for SLOCC Equivalence of Multipartite Quantum States

abstract: We study the stochastic local operation and classical communication (SLOCC) equivalence for arbitrary dimensional multipartite quantum states. For multipartite pure states, we present a necessary and sufficient criterion in terms of their coefficient matrices. This condition can be used to classify some SLOCC equivalent quantum states with coefficient matrices having the same rank. For multipartite mixed state, we provide a necessary and sufficient condition by means of the realignment of matrix. Some detailed examples are given to identify the SLOCC equivalence of multipartite quantum states.


title: Lagrange Inversion

abstract: We give a survey of the Lagrange inversion formula, including different versions and proofs, with applications to combinatorial and formal power series identities.


title: Macro-optimization of email recommendation response rates harnessing individual activity levels and group affinity trends

abstract: Recommendation emails are among the best ways to re-engage with customers after they have left a website. While on-site recommendation systems focus on finding the most relevant items for a user at the moment (right item), email recommendations add two critical additional dimensions: who to send recommendations to (right person) and when to send them (right time). It is critical that a recommendation email system not send too many emails to too many users in too short of a time-window, as users may unsubscribe from future emails or become desensitized and ignore future emails if they receive too many. Also, email service providers may mark such emails as spam if too many of their users are contacted in a short time-window. Optimizing email recommendation systems such that they can yield a maximum response rate for a minimum number of email sends is thus critical for the long-term performance of such a system. In this paper, we present a novel recommendation email system that not only generates recommendations, but which also leverages a combination of individual user activity data, as well as the behavior of the group to which they belong, in order to determine each user's likelihood to respond to any given set of recommendations within a given time period. In doing this, we have effectively created a meta-recommendation system which recommends sets of recommendations in order to optimize the aggregate response rate of the entire system. The proposed technique has been applied successfully within CareerBuilder's job recommendation email system to generate a 50\% increase in total conversions while also decreasing sent emails by 72%


title: Gaussian Learning-Without-Recall in a Dynamic Social Network

abstract: We analyze the dynamics of the Learning-Without-Recall model with Gaussian priors in a dynamic social network. Agents seeking to learn the state of the world, the "truth", exchange signals about their current beliefs across a changing network and update them accordingly. The agents are assumed memoryless and rational, meaning that they Bayes-update their beliefs based on current states and signals, with no other information from the past. The other assumption is that each agent hears a noisy signal from the truth at a frequency bounded away from zero. Under these conditions, we show that the system reaches truthful consensus almost surely with a convergence rate that is polynomial in expectation. Somewhat paradoxically, high outdegree can slow down the learning process. The lower-bound assumption on the truth-hearing frequency is necessary: even infinitely frequent access to the truth offers no guarantee of truthful consensus in the limit.


title: Interstellar Pickup Ion Production in the Global Heliosphere and Heliosheath

abstract: Interstellar Pickup ions (PUIs) play a significant part in mediating the solar wind (SW) interaction with the interstellar medium. In this paper, we examine the details of spatial variation of the PUI velocity distribution function (VDF) in the SW by solving the PUI transport equation. We assume the PUI distribution is isotropic resulting from strong pitch-angle scattering by wave-particle interaction. A three-dimensional model combining the MHD treatment of the background SW and neutrals with a kinetic treatment of PUIs throughout the heliosphere and the surrounding local interstellar medium (LISM) has been developed. The model generates PUI power law tails via second-order Fermi process. We analyze how PUIs transform across the heliospheric termination shock (TS) and obtain the PUI phase space distribution in the inner heliosheath including continuing velocity diffusion. Our simulated PUI spectra are compared with observations made by New Horizons, Ulysses, Voyager 1, 2 and Cassini, and a satisfactory agreement is demonstrated. Some specific features in the observations, for example, a cutoff of PUI VDF at $v = V_{SW}$ and a $f \propto v^{-5}$ tail in the reference frame of the SW, are well represented by the model.


title: Construction of Maximally Localized Wannier Functions

abstract: We present a general method of constructing maximally localized Wannier functions. It consists of three steps: (1) picking a localized trial wave function, (2) performing a full band projection, and (3) orthonormalizing with the Lowdin method. Our method is capable of producing maximally localized Wannier functions without further minimization, and it can be applied straightforwardly to random potentials without using supercells. The effectiveness of our method is demonstrated for both simple bands and composite bands.


title: Reducing Drift in Visual Odometry by Inferring Sun Direction Using a Bayesian Convolutional Neural Network

abstract: We present a method to incorporate global orientation information from the sun into a visual odometry pipeline using only the existing image stream, where the sun is typically not visible. We leverage recent advances in Bayesian Convolutional Neural Networks to train and implement a sun detection model that infers a three-dimensional sun direction vector from a single RGB image. Crucially, our method also computes a principled uncertainty associated with each prediction, using a Monte Carlo dropout scheme. We incorporate this uncertainty into a sliding window stereo visual odometry pipeline where accurate uncertainty estimates are critical for optimal data fusion. Our Bayesian sun detection model achieves a median error of approximately 12 degrees on the KITTI odometry benchmark training set, and yields improvements of up to 42% in translational ARMSE and 32% in rotational ARMSE compared to standard VO. An open source implementation of our Bayesian CNN sun estimator (Sun-BCNN) using Caffe is available at https://github. com/utiasSTARS/sun-bcnn-vo


title: Very Magnetized White Dwarfs with Axisymmetric Magnetic Field and the Importance of the Electron Capture and Pycnonuclear Fusion Reactions for their Stability

abstract: In this work, we study the properties of magnetized white dwarfs taking into account possible instabilities due to electron capture and pycnonuclear fusion reactions in the cores of such objects. The structure of white dwarfs is obtained by solving the Einstein-Maxwell equations with a poloidal magnetic field in a fully general relativistic approach. The stellar interior is composed of a regular crystal lattice made of carbon ions immersed in a degenerate relativistic electron gas. The onsets of electron capture reactions and pycnonuclear reactions are determined with and without magnetic fields. We find that magnetized white dwarfs violate the standard Chandrasekhar mass limit significantly, even when electron capture and pycnonuclear fusion reactions are present in the stellar interior. We obtain a maximum white dwarf mass of around $2.14\,M_{\odot}$ for a central magnetic field of $\sim 3.85\times 10^{14}$~G, which indicates that magnetized white dwarfs may play a role for the interpretation of superluminous type Ia supernovae. Furthermore, we show that the critical density for pycnonuclear fusion reactions limits the central white dwarf density to $9.35\times 10^9$ g/cm$^3$. As a result, equatorial radii of white dwarfs cannot be smaller than $\sim 1100$~km. Another interesting feature concerns the relationship between the central stellar density and the strength of the magnetic field at the core of a magnetized white dwarf. For high magnetic fields, we find that the central density increases (stellar radius decrease) with magnetic field strength, which makes ultramagnetized white dwarfs more compact. The opposite is the case, however, if the central magnetic field is less than $\sim 10^{13}$~G. In the latter case, the central density decreases (stellar radius increases) with central magnetic field strengths.


title: Addressing Graph Products and Distance-Regular Graphs

abstract: Graham and Pollak showed that the vertices of any connected graph $G$ can be assigned $t$-tuples with entries in $\{0, a, b\}$, called addresses, such that the distance in $G$ between any two vertices equals the number of positions in their addresses where one of the addresses equals $a$ and the other equals $b$. In this paper, we are interested in determining the minimum value of such $t$ for various families of graphs. We develop two ways to obtain this value for the Hamming graphs and present a lower bound for the triangular graphs.


title: The Pitchfork Bifurcation

abstract: We give development of a new theory of the Pitchfork bifurcation, which removes the perspective of the third derivative and a requirement of symmetry.


title: Phosphorene Edge Reconstruction by Self-Rolling

abstract: Edge atomic configuration often plays an important role in dictating the properties of finite-sized two-dimensional (2D) materials. By performing ab initio calculations, we identify a highly stable zigzag edge of phosphorene, which is the most stable one among all the considered edges. Surprisingly, this highly stable edge exhibits a novel nanotube-like structure, which is topologically distinctively different from any previously reported edge reconstruction. We further show that this new edge type can form easily, with an energy barrier of only 0.234 eV. It may be the dominant edge type at room temperature in vacuum condition or even under low hydrogen gas pressure. The calculated band structure reveals that the reconstructed edge possesses a bandgap of 1.23 eV. It is expected that this newly found edge structure may stimulate more studies in uncovering other novel edge types and further exploring their practical applications.


title: Duality and Geodesics for Probabilistic Frames

abstract: Probabilistic frames are a generalization of finite frames into the Wasserstein space of probability measures with finite second moment. We introduce new probabilistic definitions of duality, analysis, and synthesis and investigate their properties. In particular, we formulate a theory of transport duals for probabilistic frames and prove certain properties of this class. We also investigate paths of probabilistic frames, identifying conditions under which geodesic paths between two such measures are themselves probabilistic frames. In the discrete case, this is related to ranks of convex combinations of matrices, while, in the continuous case, this is related to the continuity of the optimal transport plan.


title: Eigenvalue Sums of Combinatorial Magnetic Laplacians on Finite Graphs

abstract: We give a construction of a class of magnetic Laplacian operators on finite directed graphs. We study some general combinatorial and algebraic properties of operators in this class before applying the Harrell-Stubbe Averaged Variational Principle to derive several sharp bounds on sums of eigenvalues of such operators. In particular, among other inequalities, we show that if $G$ is a directed graph on $n$ vertices arising from orienting a connected subgraph of $d$-regular loopless graph on $n$ vertices, then if $\Delta_\theta$ is any magnetic Laplacian on $G$, of which the standard combinatorial Laplacian is a special case, and $\lambda_0\leq \lambda_1\leq ...\leq\lambda_{n-1}$ are the eigenvalues of $\Delta_{\theta},$ then for $k\leq \frac{n}{2},$ we have \[\frac{1}{k}\sum_{j=0}^{k-1}\lambda_j \leq d-1.\]


title: Levelized Cost of Energy for PV and Grid Scale Energy Storage Systems

abstract: With the increasing penetration of renewable energy sources and energy storage devices in the power system, it is important to evaluate the cost of the system by using Levelized Cost of Energy (LCOE). In this paper a new metric, Levelized Cost of Delivery (LCOD) is proposed to calculate the LCOE for the energy storage. The recent definitions in LCOE for renewable energy system has been reviewed. From fundamental principles, it is demonstrated that there is a need to introduce a new method to evaluate LCOE of the system as the conventional LCOE is not applicable for renewable energy storage systems. Three years of solar irradiance data in Africa collected from Johannesburg and the national load data from Kenya are obtained for case studies. The proposed cost calculation methods are evaluated for two types of storage technologies (Vanadium Redox Battery (VRB) and Lithium-ion) with real-life data. It shows that the marginal LCOE and LCOD indices can be used to assist policymakers to consider the discount rate and the type of storage technology for a cost effective renewable storage energy system.


title: On Optimal Exact Simulation of Max-Stable and Related Random Fields

abstract: We consider the random field M(t)=\sup_{n\geq 1}\big\{-\log A_{n}+X_{n}(t)\big\}\,,\qquad t\in T\, for a set $T\subset \mathbb{R}^{m}$, where $(X_{n})$ is an iid sequence of centered Gaussian random fields on $T$ and $0<A_{1}<A_{2}<\cdots $ are the arrivals of a general renewal process on $(0,\infty )$, independent of $(X_{n})$. In particular, a large class of max-stable random fields with Gumbel marginals have such a representation. Assume that one needs $c\left( d\right) =c(\{t_{1},\ldots,t_{d}\})$ function evaluations to sample $X_{n}$ at $d$ locations $t_{1},\ldots ,t_{d}\in T$. We provide an algorithm which, for any $\epsilon >0$, samples $M(t_{1}),\ldots ,M(t_{d})$ with complexity $o(c(d)\,d^{\epsilon })$. Moreover, if $X_{n}$ has an a.s. converging series representation, then $M$ can be a.s. approximated with error $\delta $ uniformly over $T$ and with complexity $O(1/(\delta \log (1/\delta ))^{1/\alpha })$, where $\alpha $ relates to the H\"{o}lder continuity exponent of the process $X_{n}$ (so, if $X_{n}$ is Brownian motion, $\alpha =1/2$).


title: On the local well-posedness and a Prodi-Serrin type regularity criterion of the three-dimensional MHD-Boussinesq system without thermal diffusion

abstract: We prove a Prodi-Serrin-type global regularity condition for the three-dimensional Magnetohydrodynamic-Boussinesq system (3D MHD-Boussinesq) without thermal diffusion, in terms of only two velocity and two magnetic components. This is the first Prodi-Serrin-type criterion for a hydrodynamic system which is not fully dissipative, and indicates that such an approach may be successful on other systems. In addition, we provide a constructive proof of the local well-posedness of solutions to the fully dissipative 3D MHD-Boussinesq system, and also the fully inviscid, irresistive, non-diffusive MHD-Boussinesq equations. We note that, as a special case, these results include the 3D non-diffusive Boussinesq system and the 3D MHD equations. Moreover, they can be extended without difficulty to include the case of a Coriolis rotational term.


title: Mild mixing of certain interval exchange transformations

abstract: We prove that irreducible, linearly recurrent, type W interval exchange transformations are always mild mixing. For every irreducible permutation the set of linearly recurrent interval exchange transformations has full Hausdorff dimension.


title: A Large-scale Analysis of the Marketplace Characteristics in Fiverr

abstract: Crowdsourcing platforms have become quite popular due to the increasing demand of human computation-based tasks. Though the crowdsourcing systems are primarily demand-driven like MTurk, supply-driven marketplaces are becoming increasingly popular. Fiverr is a fast growing supply-driven marketplace where the sellers post micro-tasks (gigs) and users purchase them for prices as low as $5. In this paper, we study the Fiverr platform as a unique marketplace and characterize the sellers, buyers and the interactions among them. We find that sellers are more appeasing in their interactions and try to woo their buyers into buying their gigs. There are many small tightly-knit communities existing in the seller-seller network who support each other. We also study Fiverr as a seller-driven marketplace in terms of sales, churn rates, competitiveness among various sub-categories etc. and observe that while there are certain similarities with common marketplaces there are also many differences.


title: Universal friction law at granular solid-gas transition explains scaling of sediment transport load with excess fluid shear stress

abstract: A key interest in geomorphology is to predict how the shear stress $\tau$ exerted by a turbulent flow of air or liquid onto an erodible sediment bed affects the transport load $M\tilde g$ (i.e., the submerged weight of transported nonsuspended sediment per unit area) and its average velocity when exceeding the sediment transport threshold $\tau_t$. Most transport rate predictions in the literature are based on the scaling $M\tilde g\propto\tau-\tau_t$, the physical origin of which, however, has remained controversial. Here we test the universality and study the origin of this scaling law using particle-scale simulations of nonsuspended sediment transport driven by a large range of Newtonian fluids. We find that the scaling coefficient is a universal approximate constant and can be understood as an inverse granular friction coefficient (i.e., the ratio between granular shear stress and normal-bed pressure) evaluated at the base of the transport layer (i.e., the effective elevation of energetic particle-bed rebounds). Usually, the granular flow at this base is gaslike and rapidly turns into the solidlike granular bed underneath: a liquidlike regime does not necessarily exist, which is accentuated by a nonlocal granular flow rheology in both the transport layer and bed. Hence, this transition fundamentally differs from the solid-liquid transition (i.e., yielding) in dense granular flows even though both transitions are described by a friction law. Combining this result with recent insights into the nature of $\tau_t$, we conclude that the transport load scaling is a signature of a steady rebound state and unrelated to entrainment of bed sediment.


title: Synchronization, Consensus of Complex Networks and their relationships

abstract: In this paper, we focus on the topic Synchronization and consensus of Complex Networks and their relationships. It is revealed that two topics are closely relating to each other and all results given in \cite{Li} can be obtained by the results in \cite{Lu2006}.


title: Evidence of asymmetries in the Aldebaran photosphere from multi-wavelength lunar occultations

abstract: We have recorded three lunar occultations of Aldebaran (AlfTau) at different telescopes and using various band-passes, from the ultraviolet to the far red. The data have been analyzed using both model-dependent and model-independent methods. The derived uniform-disc angular diameter values have been converted to limb-darkened values using model atmosphere relations, and are found in broad agreement among themselves and with previous literature values. The limb-darkened diameter is about 20.3 milliarcseconds on average . However, we have found indications that the photospheric brightness profile of Aldebaran may have not been symmetric, a finding already reported by other authors for this and for similar late-type stars. At the sampling scale of our brightness profile, between one and two milliarcsecond, the uniform and limb-darkened disc models may not be a good description for Aldebaran. The asymmetries appear to differ with wavelength and over the 137 days time span of our measurements. Surface spots appear as a likely explanation for the differences between observations and the models.


title: A Hunt for Massive Starless Cores

abstract: We carry out an ALMA $\rm N_2D^+$(3-2) and 1.3~mm continuum survey towards 32 high mass surface density regions in seven Infrared Dark Clouds with the aim of finding massive starless cores, which may be the initial conditions for the formation of massive stars. Cores showing strong $\rm N_2D^+$(3-2) emission are expected to be highly deuterated and indicative of early, potentially pre-stellar stages of star formation. We also present maps of these regions in ancillary line tracers, including C$^{18}$O(2-1), DCN(3-2) and DCO$^+$(3-2). Over 100 $\rm N_2D^+$ cores are identified with our newly developed core-finding algorithm based on connected structures in position-velocity space. The most massive core has $\sim70\:M_\odot$ (potentially $\sim170\:M_\odot$) and so may be representative of the initial conditions for massive star formation. The existence and dynamical properties of such cores constrain massive star formation theories. We measure the line widths and thus velocity dispersion of six of the cores with strongest $\rm N_2D^+$(3-2) line emission, finding results that are generally consistent with virial equilibrium of pressure confined cores.


title: Competitive effects of nuclear deformation and density dependence of $\Lambda\!N$ interaction

abstract: Competitive effects of nuclear deformation and density dependence of $\Lambda\!N$-interaction in $\Lambda$ binding energies $B_\Lambda$ of hypernuclei are studied systematically on the basis of the baryon-baryon interaction model ESC including many-body effects. By using the $\Lambda\!N$ G-matrix interaction derived from ESC, we perform microscopic calculations of $B_\Lambda$ in $\Lambda$ hypernuclei within the framework of the antisymmetrized molecular dynamics under the averaged-density approximation. The calculated values of $B_\Lambda$ reproduce experimental data within a few hundred keV in the wide mass regions from 9 to 51. It is found that competitive effects of nuclear deformation and density dependence of $\Lambda\!N$-interaction work decisively for fine tuning of $B_\Lambda$ values.


title: Planar Graphs have Independence Ratio at least 3/13

abstract: The 4 Color Theorem (4CT) implies that every $n$-vertex planar graph has an independent set of size at least $\frac{n}4$; this is best possible, as shown by the disjoint union of many copies of $K_4$. In 1968, Erd\H{o}s asked whether this bound on independence number could be proved more easily than the full 4CT. In 1976 Albertson showed (independently of the 4CT) that every $n$-vertex planar graph has an independent set of size at least $\frac{2n}9$. Until now, this remained the best bound independent of the 4CT. Our main result improves this bound to $\frac{3n}{13}$.


title: Autonomous Rotor Heat Engine

abstract: The triumph of heat engines is their ability to convert the disordered energy of thermal sources into useful mechanical motion. In recent years, much effort has been devoted to generalizing thermodynamic notions to the quantum regime, partly motivated by the promise of surpassing classical heat engines. Here, we instead adopt a bottom-up approach: we propose a realistic autonomous heat engine that can serve as a testbed for quantum effects in the context of thermodynamics. Our model draws inspiration from actual piston engines and is built from closed-system Hamiltonians and weak bath coupling terms. We analytically derive the performance of the engine in the classical regime via a set of nonlinear Langevin equations. In the quantum case, we perform numerical simulations of the master equation. Finally, we perform a dynamic and thermodynamic analysis of the engine's behaviour for several parameter regimes in both the classical and quantum case, and find that the latter exhibits a consistently lower efficiency due to additional noise.


title: A Novel Approach to Implement Message Level Security in RESTful Web Services

abstract: The world is rapidly adopting RESTful web services for most of its tasks. The once popular SOAP-based web services are fast losing ground owing to this. RESTful web services are light weight services without strict message formats. RESTful web services, unlike SOAP, are capable of message transfer in any format be it XML, JSON, plain text. However, in spite of these positives, ensuring message level security in REST is a challenge. Security in RESTful web services is still largely dependent upon transport layer security. There has been some work recently towards message level security in such environments wherein the transfer of message level security metadata is done through utilising new HTTP headers. We feel, however, that any method that compromises the generality of the HTTP protocol should be avoided. In this paper, therefore, we propose two new ways of encryption that promise to ensure message level security in RESTful web services without the need for special HTTP headers. This approach works seamlessly on most famous content-types of RESTful web services: XML, JSON, HTML, plain-text and various ASCII printable content types. Further, the proposed approach removes the need for content negotiation in cases where the content comprises XML, JSON, HTML, plain-text, and ASCII printable content types and also removes the need for XML or JSON canonicalization.


title: Multiphysics Analysis of the 2.5 MeV BNCT RFQ Accelerator

abstract: Boron Neutron Capture Therapy (BNCT), is an advanced cancer therapy that destroys the cancer tumors using the well-known Li(p,n)Be . Because of the highly selectively reaction between a boron and a neutron, BNCT is effective for rapidly spreading cancer, invasive carcinoma, such as head and neck cancer, melanoma, malignant brain tumors and so on. The PKU RFQ group proposes an RFQ based neutron source for BNCT application. The 162.5 MHz four-vane RFQ will accelerate 20-mA H+ from 35.0 keV to 2.50 MeV in CW mode, and delivers a neutron yield of 1.73*10^13 n/sec/cm^2. The thermal management will become the most important issues. The detailed multiphysics analysis of the BNCT RFQ will be studied, and the RFQ frequency shift during nominal operating condition is also predicted. The multiphysics analysis is performed by using the CST Multiphysics Model and verified with ANSYS Multiphysics.


title: The Lauricella Functions and Exact String Scattering Amplitudes

abstract: We discover that the 26D open bosonic string scattering amplitudes (SSA) of three tachyons and one arbitrary string state can be expressed in terms of the D-type Lauricella functions with associated SL(K+3,C) symmetry. As a result, SSA and symmetries or relations among SSA of different string states at various limits calculated previously can be rederived. These include the linear relations first conjectured by Gross [1-3] and later corrected and proved in [4-9] in the hard scattering limit, the recurrence relations in the Regge scattering limit with associated SL(5,C) symmetry [19-21] and the extended recurrence relations in the nonrelativistic scattering limit with associated SL(4,C) symmetry [24] discovered recently. Finally, as an application, we calculate a new recurrence relation of SSA which is valid for all energies.


title: Terahertz and Far-Infrared Windows Opened at Dome A, Antarctica

abstract: The terahertz and far-infrared (FIR) band, from approximately 0.3 THz to 15 THz (1 mm to 20 micron), is important for astrophysics as the thermal radiation of much of the universe peaks at these wavelengths and many spectral lines that trace the cycle of interstellar matter also lie within this band. However, water vapor renders the terrestrial atmosphere opaque to this frequency band over nearly all of the Earth's surface. Early radiometric measurements below 1 THz at Dome A, the highest point of the cold and dry Antarctic ice sheet, suggest that it may offer the best possible access for ground-based astronomical observations in the terahertz and FIR band. To address uncertainty in radiative transfer modelling, we carried out measurements of atmospheric radiation from Dome A spanning the entire water vapor pure rotation band from 20 micron to 350 micron wavelength by a Fourier transform spectrometer. Our measurements expose atmospheric windows having significant transmission throughout this band. Furthermore, by combining our broadband spectra with auxiliary data on the atmospheric state over Dome A, we set new constraints on the spectral absorption of water vapor at upper tropospheric temperatures important for accurately modeling the terrestrial climate. In particular, we find that current spectral models significantly underestimate the H2O continuum absorption.


title: General Viscosity Implicit Midpoint Rule For Nonexpansive Mapping

abstract: In this work, we suggest a general viscosity implicit midpoint rule for nonexpansive mapping in the framework of Hilbert space. Further, under the certain conditions imposed on the sequence of parameters, strong convergence theorem is proved by the sequence generated by the proposed iterative scheme, which, in addition, is the unique solution of the variational inequality problem. Furthermore, we provide some applications to variational inequalities, Fredholm integral equations, and nonlinear evolution equations. The results presented in this work may be treated as an improvement, extension and refinement of some corresponding ones in the literature.


title: New Alkali-Metal- and 2-Phenethylamine-Intercalated Superconductors $A_x$(C$_8$H$_{11}$N)$_y$Fe$_{1-z}$Se ($A$ = Li, Na) with the Largest Interlayer Spacings and $T_\mathrm{c}$ $\sim$ 40 K

abstract: New FeSe-based intercalation superconductors, $A_x$(C$_8$H$_{11}$N)$_y$Fe$_{1-z}$Se ($A$ = Li, Na), with $T_\mathrm{c}$ = 39-44 K have been successfully synthesized via the intercalation of alkali metals and 2-phenethylamine into FeSe. The interlayer spacings, namely, the distances between neighboring Fe layers, $d$, of $A_x$(C$_8$H$_{11}$N)$_y$Fe$_{1-z}$Se ($A$ = Li, Na) are 19.04(6) and 18.0(1) {\AA}, respectively. These $d$ values are the largest among those of the FeSe-based intercalation compounds and are understood to be due to the intercalation of two molecules of 2-phenethylamine in series perpendicular to the FeSe layers. It appears that the relationship between $T_\mathrm{c}$ and $d$ in the FeSe-based intercalation superconductors is not domic but $T_\mathrm{c}$ is saturated at ~ 45 K, which is comparable to the $T_\mathrm{c}$ values of single-layer FeSe films, for $d$ $\geq$ 9 {\AA}.


title: Deep CTR Prediction in Display Advertising

abstract: Click through rate (CTR) prediction of image ads is the core task of online display advertising systems, and logistic regression (LR) has been frequently applied as the prediction model. However, LR model lacks the ability of extracting complex and intrinsic nonlinear features from handcrafted high-dimensional image features, which limits its effectiveness. To solve this issue, in this paper, we introduce a novel deep neural network (DNN) based model that directly predicts the CTR of an image ad based on raw image pixels and other basic features in one step. The DNN model employs convolution layers to automatically extract representative visual features from images, and nonlinear CTR features are then learned from visual features and other contextual features by using fully-connected layers. Empirical evaluations on a real world dataset with over 50 million records demonstrate the effectiveness and efficiency of this method.


title: Active Integrity Constraints for Multi-Context Systems

abstract: We introduce a formalism to couple integrity constraints over general-purpose knowledge bases with actions that can be executed to restore consistency. This formalism generalizes active integrity constraints over databases. In the more general setting of multi-context systems, adding repair suggestions to integrity constraints allows defining simple iterative algorithms to find all possible grounded repairs - repairs for the global system that follow the suggestions given by the actions in the individual rules. We apply our methodology to ontologies, and show that it can express most relevant types of integrity constraints in this domain.


title: Proposal of fault-tolerant tomographic image reconstruction

abstract: This paper deals with tomographic image reconstruction under the situation where some of projection data bins are contaminated with abnormal data. Such situations occur in various instances of tomography. We propose a new reconstruction algorithm called the Fault-Tolerant reconstruction outlined as follows. The least-squares (L2-norm) error function ||Ax-b||_2^2 used in ordinary iterative reconstructions is sensitive to the existence of abnormal data. The proposed algorithm utilizes the L1-norm error function ||Ax-b||_1^1 instead of the L2-norm, and we develop a row-action-type iterative algorithm using the proximal splitting framework in convex optimization fields. We also propose an improved version of the L1-norm reconstruction called the L1-TV reconstruction, in which a weak Total Variation (TV) penalty is added to the cost function. Simulation results demonstrate that reconstructed images with the L2-norm were severely damaged by the effect of abnormal bins, whereas images with the L1-norm and L1-TV reconstructions were robust to the existence of abnormal bins.


title: How to distinguish conformational selection and induced fit based on chemical relaxation rates

abstract: Protein binding often involves conformational changes. Important questions are whether a conformational change occurs prior to a binding event ('conformational selection') or after a binding event ('induced fit'), and how conformational transition rates can be obtained from experiments. In this article, we present general results for the chemical relaxation rates of conformational-selection and induced-fit binding processes that hold for all concentrations of proteins and ligands and, thus, go beyond the standard pseudo-first-order approximation of large ligand concentration. These results allow to distinguish conformational-selection from induced-fit processes - also in cases in which such a distinction is not possible under pseudo-first-order conditions - and to extract conformational transition rates of proteins from chemical relaxation data.


title: Spectral properties of the Cayley Graphs of split metacyclic groups

abstract: Let $\Gamma(G,S)$ denote the Cayley graph of a group $G$ with respect to a set $S \subset G$. In this paper, we analyze the spectral properties of the Cayley graphs $\mathcal{T}_{m,n,k} = \Gamma(\mathbb{Z}_m \ltimes_k \mathbb{Z}_n, \{(\pm 1,0),(0,\pm 1)\})$, where $m,n \geq 3$ and $k^m \equiv 1 \pmod{n}$. We show that the adjacency matrix of $\mathcal{T}_{m,n,k}$, upto relabeling, is a block circulant matrix, and we also obtain an explicit description of these blocks. By extending a result due to Walker-Mieghem to Hermitian matrices, we show that $\mathcal{T}_{m,n,k}$ is not Ramanujan, when either $m > 8$, or $n \geq 400$.


title: Asymptotics of Pattern Avoidance in the Permutation-Tuple and Klazar Set Partition Settings

abstract: We consider asymptotics of set partition pattern avoidance in the sense of Klazar. One of the results of this paper extends work of Alweiss, and finds a classification for set partitions $\pi$ such that the number of set partitions of $[n]$ avoiding $\pi$ grows more slowly than $n^{cn}$ for all $c>0$. Several conjectures are proposed, and the related question of asymptotics of parallel ($k$-tuple) permutation pattern avoidance is considered and solved completely to within an exponential factor, generalizing Marcus and Tardos's 2004 proof of the Stanley-Wilf Conjecture.


title: Contextual Relationship-based Activity Segmentation on an Event Stream in the IoT Environment with Multi-user Activities

abstract: The human activity recognition in the IoT environment plays the central role in the ambient assisted living, where the human activities can be represented as a concatenated event stream generated from various smart objects. From the concatenated event stream, each activity should be distinguished separately for the human activity recognition to provide services that users may need. In this regard, accurately segmenting the entire stream at the precise boundary of each activity is indispensable high priority task to realize the activity recognition. Multiple human activities in an IoT environment generate varying event stream patterns, and the unpredictability of these patterns makes them include redundant or missing events. In dealing with this complex segmentation problem, we figured out that the dynamic and confusing patterns cause major problems due to: inclusive event stream, redundant events, and shared events. To address these problems, we exploited the contextual relationships associated with the activity status about either ongoing or terminated/started. To discover the intrinsic relationships between the events in a stream, we utilized the LSTM model by rendering it for the activity segmentation. Then, the inferred boundaries were revised by our validation algorithm for a bit shifted boundaries. Our experiments show the surprising result of high accuracy above 95%, on our own testbed with various smart objects. This is superior to the prior works that even do not assume the environment with multi-user activities, where their accuracies are slightly above 80% in their test environment. It proves that our work is feasible enough to be applied in the IoT environment.


title: On irreducible components of real exponential hypersurfaces

abstract: Fix any algebraic extension $\mathbb K$ of the field $\mathbb Q$ of rationals. In this article we study exponential sets $V\subset \mathbb R^n$. Such sets are described by the vanishing of so called exponential polynomials, i.e., polynomials with coefficients from $\mathbb K$, in $n$ variables, and in $n$ exponential functions. The complements of all exponential sets in $\mathbb R^n$ form a Noethrian topology on $\mathbb R^n$, which we will call Zariski topology. Let $P \in {\mathbb K}[X_1, \ldots ,X_n,U_1, \ldots ,U_n]$ be a polynomial such that $$V=\{ \mathbf{x}=(x_1, \ldots , x_n) \in \mathbb R^n| P(\mathbf{x}, e^{x_1}, \ldots ,e^{x_n})=0 \}.$$ The main result of this paper states that, under Schanuel's conjecture over the reals, an exponential set $V$ of codimension 1, for which the real algebraic set $\rm Zer(P)$ is irreducible over $\mathbb K$, either is irreducible (with respect to the Zariski topology) or every of its irreducible components of codimension 1 is a rational hyperplane through the origin. The family of all possible hyperplanes is determined by monomials of $P$. In the case of a single exponential (i.e., when $P$ is independent of $U_2, \ldots , U_n$) stronger statements are shown which are independent of Schanuel's conjecture.


title: An Approach for Self-Training Audio Event Detectors Using Web Data

abstract: Audio Event Detection (AED) aims to recognize sounds within audio and video recordings. AED employs machine learning algorithms commonly trained and tested on annotated datasets. However, available datasets are limited in number of samples and hence it is difficult to model acoustic diversity. Therefore, we propose combining labeled audio from a dataset and unlabeled audio from the web to improve the sound models. The audio event detectors are trained on the labeled audio and ran on the unlabeled audio downloaded from YouTube. Whenever the detectors recognized any of the known sounds with high confidence, the unlabeled audio was use to re-train the detectors. The performance of the re-trained detectors is compared to the one from the original detectors using the annotated test set. Results showed an improvement of the AED, and uncovered challenges of using web audio from videos.


title: Power-Delay Tradeoff in Multi-User Mobile-Edge Computing Systems

abstract: Mobile-edge computing (MEC) has recently emerged as a promising paradigm to liberate mobile devices from increasingly intensive computation workloads, as well as to improve the quality of computation experience. In this paper, we investigate the tradeoff between two critical but conflicting objectives in multi-user MEC systems, namely, the power consumption of mobile devices and the execution delay of computation tasks. A power consumption minimization problem with task buffer stability constraints is formulated to investigate the tradeoff, and an online algorithm that decides the local execution and computation offloading policy is developed based on Lyapunov optimization. Specifically, at each time slot, the optimal frequencies of the local CPUs are obtained in closed forms, while the optimal transmit power and bandwidth allocation for computation offloading are determined with the Gauss-Seidel method. Performance analysis is conducted for the proposed algorithm, which indicates that the power consumption and execution delay obeys an [O (1/V); O (V)] tradeoff with V as a control parameter. Simulation results are provided to validate the theoretical analysis and demonstrate the impacts of various parameters to the system performance.


title: Quantifying the mesoscopic quantum coherence of approximate NOON states and spin-squeezed two-mode Bose-Einstein condensates

abstract: We examine how to signify and quantify the mesoscopic quantum coherence of approximate two-mode NOON states and spin-squeezed two-mode Bose-Einstein condensates (BEC). We identify two criteria that verify a nonzero quantum coherence between states with quantum number different by $n$. These criteria negate certain mixtures of quantum states, thereby signifying a generalised $n$-scopic Schrodinger cat-type paradox. The first criterion is the correlation $\langle\hat{a}^{\dagger n}\hat{b}^{n}\rangle\neq0$ (here $\hat{a}$ and $\hat{b}$ are the boson operators for each mode). The correlation manifests as interference fringes in $n$-particle detection probabilities and is also measurable via quadrature phase amplitude and spin squeezing measurements. Measurement of $\langle\hat{a}^{\dagger n}\hat{b}^{n}\rangle$ enables a quantification of the overall $n$-th order quantum coherence, thus providing an avenue for high efficiency verification of a high-fidelity photonic NOON states. The second criterion is based on a quantification of the measurable spin-squeezing parameter $\xi_{N}$. We apply the criteria to theoretical models of NOON states in lossy interferometers and double-well trapped BECs. By analysing existing BEC experiments, we demonstrate generalised atomic "kitten" states and atomic quantum coherence with $n\gtrapprox10$ atoms.


title: Sieve Bootstrap for Functional Time Series

abstract: A bootstrap procedure for functional time series is proposed which exploits a general vector autoregressive representation of the time series of Fourier coefficients appearing in the Karhunen-Lo\`eve expansion of the functional process. A double sieve-type bootstrap method is developed which avoids the estimation of process operators and generates functional pseudo-time series that appropriately mimic the dependence structure of the functional time series at hand. The method uses a finite set of functional principal components to capture the essential driving parts of the infinite dimensional process and a finite order vector autoregressive process to imitate the temporal dependence structure of the corresponding vector time series of Fourier coefficients. By allowing the number of functional principal components as well as the autoregressive order used to increase to infinity (at some appropriate rate) as the sample size increases, a basic bootstrap central limit theorem is established which shows validity of the bootstrap procedure proposed for functional finite Fourier transforms. Some numerical examples illustrate the good finite sample performance of the new bootstrap method proposed.


title: Generation of Anisotropic Massless Dirac Fermions and Asymmetric Klein Tunneling in Few-Layer Black Phosphorus Superlattices

abstract: Artificial lattices have been employed in many two-dimensional systems, including those of electrons, atoms and photons, in a quest for massless Dirac particles with flexibility and controllability. Periodically patterned molecule assembly and electrostatic gating as well as moir\'e pattern induced by substrate, have produced electronic states with linear dispersions from isotropic two-dimensional electron gas (2DEG). Here we demonstrate that massless Dirac fermions with tunable anisotropic characteristics can, in general, be generated in highly anisotropic 2DEG under slowly varying external periodic potentials. For patterned few-layer black phosphorus superlattices, the new chiral quasiparticles exist exclusively in an isolated energy window and inherit the strong anisotropic properties of pristine black phosphorus. These states exhibit asymmetric Klein tunneling with the direction of incidence for wave packet with perfect transmission deviating from normal incidence by more than 50{\deg} under an appropriate barrier orientation.


title: Bayesian Variable Selection Under High-dimensional Settings With Grouped Covariates

abstract: Consider the normal linear regression setup when the number of covariates p is much larger than the sample size n, and the covariates form correlated groups. The response variable y is not related to an entire group of covariates in all or none basis, rather the sparsity assumption persists within and between groups. We extend the traditional g-prior setup to this framework. Variable selection consistency of the proposed method is shown under fairly general conditions, assuming the covariates to be random and allowing the true model to grow with both n and p. For the purpose of implementation of the proposed g-prior method to high-dimensional setup, we propose two procedures. First, a group screening procedure, termed as group SIS (GSIS), and secondly, a novel stochastic search variable selection algorithm, termed as group informed variable selection algorithm (GiVSA), which uses the known group structure efficiently to explore the model space without discarding any covariate based on an initial screening. Screening consistency of GSIS, and theoretical mixing time of GiVSA are studied using the canonical path ensemble approach of Yang et al. (2016). Performance of the proposed prior with implementation of GSIS as well as GiVSA are validated using various simulated examples and a real data related to residential buildings.


title: Reflection and Transmission Coefficients of the symmetric barrier-type shifted Deng-Fan potential

abstract: By applying continuity and boundary conditions, the reflection and transmission coefficients of one-dimensional time-independent Schr\"odinger equation with a symmetric barrier-type shifted Deng-Fan potential are obtained and discussed. The numerical and graphical results are very accurate and consistent with the quantum transmission-reflection principle.


title: Mappings of preserving $n$-distance one in $n$-normed spaces

abstract: We give a positive answer to the Aleksandrov problem in $n$-normed spaces under the surjectivity assumption. Namely, we show that every surjective mapping preserving $n$-distance one is affine, and thus is an $n$-isometry. This is the first time to solve the Aleksandrov problem in $n$-normed spaces with only surjective assumption even in the usual case $n=2$. Finally, when the target space is $n$-strictly convex, we prove that every mapping preserving two $n$-distances with an integer ratio is an affine $n$-isometry.


title: Propagation in Polymer Parameterised Field Theory

abstract: The Hamiltonian constraint operator in Loop Quantum Gravity acts ultralocally. Smolin has argued that this ultralocality seems incompatible with the existence of a quantum dynamics which propagates perturbations between macroscopically seperated regions of quantum geometry. We present evidence to the contrary within an LQG type `polymer' quantization of two dimensional Parameterised Field Theory (PFT). PFT is a generally covariant reformulation of free field propagation on flat spacetime. We show explicitly that while, as in LQG, the Hamiltonian constraint operator in PFT acts ultralocally, states in the joint kernel of the Hamiltonian and diffeomorphism constraints of PFT necessarily describe propagation effects. The particular structure of the finite triangulation Hamiltonian constraint operator plays a crucial role, as does the necessity of imposing (the continuum limit of) its kinematic adjoint as a constraint. Propagation is seen as a property encoded by physical states in the kernel of the constraints rather than that of repeated actions of the finite triangulation Hamiltonian constraint on kinematic states. The analysis yields robust structural lessons for putative constructions of the Hamiltonian constraint in LQG for which ultralocal action co-exists with a description of propagation effects by physical states.