title: Low Rank and Structured Modeling of High-dimensional Vector Autoregressions

abstract: Network modeling of high-dimensional time series data is a key learning task due to its widespread use in a number of application areas, including macroeconomics, finance and neuroscience. While the problem of sparse modeling based on vector autoregressive models (VAR) has been investigated in depth in the literature, more complex network structures that involve low rank and group sparse components have received considerably less attention, despite their presence in data. Failure to account for low-rank structures results in spurious connectivity among the observed time series, which may lead practitioners to draw incorrect conclusions about pertinent scientific or policy questions. In order to accurately estimate a network of Granger causal interactions after accounting for latent effects, we introduce a novel approach for estimating low-rank and structured sparse high-dimensional VAR models. We introduce a regularized framework involving a combination of nuclear norm and lasso (or group lasso) penalty. Further, and subsequently establish non-asymptotic upper bounds on the estimation error rates of the low-rank and the structured sparse components. We also introduce a fast estimation algorithm and finally demonstrate the performance of the proposed modeling framework over standard sparse VAR estimates through numerical experiments on synthetic and real data.


title: A combinatorial interpretation of Gaussian blur

abstract: Gaussian blur is a commonly-used method to filter image data. This paper introduces the collapsing sum, a new operator on matrices that provides a combinatorial interpretation of Gaussian blur. We study the combinatorial properties of this operator and prove the explicit relation between Gaussian blur and the collapsing sum.


title: Learning Style Compatibility for Furniture

abstract: When judging style, a key question that often arises is whether or not a pair of objects are compatible with each other. In this paper we investigate how Siamese networks can be used efficiently for assessing the style compatibility between images of furniture items. We show that the middle layers of pretrained CNNs can capture essential information about furniture style, which allows for efficient applications of such networks for this task. We also use a joint image-text embedding method that allows for the querying of stylistically compatible furniture items, along with additional attribute constraints based on text. To evaluate our methods, we collect and present a large scale dataset of images of furniture of different style categories accompanied by text attributes.


title: Practical Optional Types for Clojure

abstract: Typed Clojure is an optional type system for Clojure, a dynamic language in the Lisp family that targets the JVM. Typed Clojure enables Clojure programmers to gain greater confidence in the correctness of their code via static type checking while remaining in the Clojure world, and has acquired significant adoption in the Clojure community. Typed Clojure repurposes Typed Racket's occurrence typing, an approach to statically reasoning about predicate tests, and also includes several new type system features to handle existing Clojure idioms. In this paper, we describe Typed Clojure and present these type system extensions, focusing on three features widely used in Clojure. First, multimethods provide extensible operations, and their Clojure semantics turns out to have a surprising synergy with the underlying occurrence typing framework. Second, Java interoperability is central to Clojure's mission but introduces challenges such as ubiquitous null; Typed Clojure handles Java interoperability while ensuring the absence of null-pointer exceptions in typed programs. Third, Clojure programmers idiomatically use immutable dictionaries for data structures; Typed Clojure handles this with multiple forms of heterogeneous dictionary types. We provide a formal model of the Typed Clojure type system incorporating these and other features, with a proof of soundness. Additionally, Typed Clojure is now in use by numerous corporations and developers working with Clojure, and we present a quantitative analysis on the use of type system features in two substantial code bases.


title: Rounding semidefinite programs for large-domain problems via Brownian motion

abstract: We present a new simple method for rounding a semidefinite programming relaxation of a constraint satisfaction problem. We apply it to the problem of approximate angular synchronization. Specifically, we are given directed distances on a circle (i.e., directed angles) between pairs of elements and our goal is to assign the elements to positions on a circle so as to preserve these distances as much as possible. The feasibility of our rounding scheme is based on properties of the well-known stochastic process called Brownian motion. Based on computational and other evidence, we conjecture that this rounding scheme yields an approximation guarantee that is very close to the best-possible guarantee (assuming the Unique-Games Conjecture).


title: Isovector and flavor diagonal charges of the nucleon from 2+1+1 flavor QCD

abstract: We present high-statistics results for the isovector and flavor diagonal charges of the proton using 11 ensembles of 2+1+1 flavor HISQ fermions. In the isospin symmetric limit, results for the neutron are given by the $u \leftrightarrow d$ interchange. A chiral-continuum fit with leading order corrections was made to extract the connected and disconnected contributions in the continuum limit and at $M_\pi=135$ MeV. All results are given in the $\overline{MS}$ scheme at 2 GeV. The isovector charges, $g_A^{u-d} = 1.218(25)(30)$, $g_S^{u-d} = 1.022(80)(60) $ and $g_T^{u-d} = 0.989(32)(10)$, are used to obtain low-energy constraints on novel scalar and tensor interactions, $\epsilon_{S}$ and $\epsilon_{T}$, at the TeV scale. The flavor diagonal axial charges are: $g_A^u \equiv \Delta u \equiv \langle 1 \rangle_{\Delta u^+} = 0.777(25)(30)$, $g_A^d \equiv \Delta d \equiv \langle 1 \rangle_{\Delta d^+} = -0.438(18)(30)$, and $g_A^s \equiv \Delta s \equiv \langle 1 \rangle_{\Delta s^+} = -0.053(8)$. Their sum gives the total quark contribution to the proton spin, $\sum_{q=u,d,s} (\frac{1}{2} \Delta q) = 0.143(31)(36)$. This result is in good agreement with the recent COMPASS analysis $0.13 < \frac{1}{2} \Delta \Sigma < 0.18$. Implications of results for the flavor diagonal tensor charges, $g_T^u = 0.784(28)(10)$, $g_T^d = -0.204(11)(10)$ and $g_T^s = -0.0027(16)$ for constraining the quark electric dipole moments and their contributions to the neutron electric dipole moment are discussed. These flavor diagonal charges also give the strength of the interaction of dark matter with nucleons via axial and tensor mediators.


title: Constraining the charge of the Galactic centre black hole

abstract: In this contribution, we summarize our results concerning the observational constraints on the electric charge associated with the Galactic centre black hole - Sgr A*. According to the no-hair theorem, every astrophysical black hole, including supermassive black holes, is characterized by at most three classical, externally observable parameters - mass, spin, and the electric charge. While the mass and the spin have routinely been measured by several methods, the electric charge has usually been neglected, based on the arguments of efficient discharge in astrophysical plasmas. From a theoretical point of view, the black hole can attain charge due to the mass imbalance between protons and electrons in fully ionized plasmas, which yields about $\sim 10^8\,{\rm C}$ for Sgr A*. The second, induction mechanism concerns rotating Kerr black holes embedded in an external magnetic field, which leads to electric field generation due to the twisting of magnetic field lines. This electric field can be associated with the induced Wald charge, for which we calculate the upper limit of $\sim 10^{15}\,{\rm C}$ for Sgr A*. Although the maximum theoretical limit of $\sim 10^{15}\,{\rm C}$ is still 12 orders of magnitude smaller than the extremal charge of Sgr A*, we analyse a few astrophysical consequences of having a black hole with a small charge in the Galactic centre. Two most prominent ones are the effect on the X-ray bremsstrahlung profile and the effect on the position of the innermost stable circular orbit.


title: Wideband 67-116 GHz cryogenic receiver development for ALMA Band 2

abstract: The Atacama Large Millimeter/sub-millimeter Array (ALMA) is already revolutionising our understanding of the Universe. However, ALMA is not yet equipped with all of its originally planned receiver bands, which will allow it to observe over the full range of frequencies from 35-950 GHz accessible through the Earth's atmosphere. In particular Band 2 (67-90 GHz) has not yet been approved for construction. Recent technological developments in cryogenic monolithic microwave integrated circuit (MMIC) high electron mobility transistor (HEMT) amplifier and orthomode transducer (OMT) design provide an opportunity to extend the originally planned on-sky bandwidth, combining ALMA Bands 2 and 3 into one receiver cartridge covering 67-116 GHz. The IF band definition for the ALMA project took place two decades ago, when 8 GHz of on-sky bandwidth per polarisation channel was an ambitious goal. The new receiver design we present here allows the opportunity to expand ALMA's wideband capabilities, anticipating future upgrades across the entire observatory. Expanding ALMA's instantaneous bandwidth is a high priority, and provides a number of observational advantages, including lower noise in continuum observations, the ability to probe larger portions of an astronomical spectrum for, e.g., widely spaced molecular transitions, and the ability to scan efficiently in frequency space to perform surveys where the redshift or chemical complexity of the object is not known a priori. Wider IF bandwidth also reduces uncertainties in calibration and continuum subtraction that might otherwise compromise science objectives. Here we provide an overview of the component development and overall design for this wideband 67-116 GHz cryogenic receiver cartridge, designed to operate from the Band 2 receiver cartridge slot in the current ALMA front end receiver cryostat.


title: The existence of non-thin subalgebras of $K[x]/x^n$ and related numerical monoids

abstract: We find the minimal dimension for a truncated polynomial algebra over an arbitrary field for which there exists a "non-thin" subalgebra. Moreover, we discuss examples of subalgebras, and count them in low dimensions.


title: Dimensions of automorphism group schemes of finite level truncations of $F$-cyclic $F$-crystals

abstract: Let $\mathcal{M}_{\pi}$ be an $F$-cyclic $F$-crystal $\mathcal{M}_{\pi}$ over an algebraically closed field defined by a permutation $\pi$ and a set of prescribed Hodge slopes. We prove combinatorial formulas for the dimension $\gamma_{\mathcal{M}_{\pi}}(m)$ of the automorphism group scheme of $\mathcal{M}_{\pi}$ at finite level $m$ and the number of connected components of the endomorphism group scheme of $\mathcal{M}_{\pi}$ at finite level $m$. As an application, we show that if $\mathcal{M}_{\pi}$ is a nonordinary Dieudonn\'e module defined by a cycle $\pi$, then $\gamma_{\mathcal{M}_{\pi}}(m+1) - \gamma_{\mathcal{M}_{\pi}}(m) < \gamma_{\mathcal{M}_{\pi}}(m) - \gamma_{\mathcal{M}_{\pi}}(m-1)$ for all $1 \leq m \leq n_{\mathcal{M}_{\pi}}$, where $n_{\mathcal{M}_{\pi}}$ is the isomorphism number of $\mathcal{M}_{\pi}$.


title: Where was past low-entropy?

abstract: I identify where precisely is low-entropy located in the early universe, arguing that some common answers overplay the role of gravity. I discuss the available interpretations of the "improbability" of this early low-entropy.


title: On the Generalized Degrees of Freedom of Noncoherent Interference Channel

abstract: We study the generalized degrees of freedom (gDoF) of the block-fading noncoherent 2-user interference channel (IC) with a coherence time of T symbol durations and symmetric fading statistics. We demonstrate that a natural training-based scheme for the noncoherent IC, is suboptimal in several regimes. We study and analyze several alternate schemes: the first is a new noncoherent scheme using rate-splitting. We also consider a scheme that treats interference-as-noise (TIN) and a time division multiplexing (TDM) scheme. We show that a standard training-based scheme for the noncoherent IC is outperformed by one of these schemes in several regimes: our results demonstrate that in the very weak interference regime, the TIN scheme is the best; in the strong interference regime, the TDM scheme and the noncoherent rate-splitting scheme give better performance; in other cases either of the TIN, TDM or noncoherent rate-splitting scheme could be preferred. We also study the noncoherent IC with feedback and propose another noncoherent rate-splitting scheme. Again for the feedback case, our results demonstrate that a natural training-based scheme can be outperformed by other schemes.


title: Closed-form Inference and Prediction in Gaussian Process State-Space Models

abstract: We examine an analytic variational inference scheme for the Gaussian Process State Space Model (GPSSM) - a probabilistic model for system identification and time-series modelling. Our approach performs variational inference over both the system states and the transition function. We exploit Markov structure in the true posterior, as well as an inducing point approximation to achieve linear time complexity in the length of the time series. Contrary to previous approaches, no Monte Carlo sampling is required: inference is cast as a deterministic optimisation problem. In a number of experiments, we demonstrate the ability to model non-linear dynamics in the presence of both process and observation noise as well as to impute missing information (e.g. velocities from raw positions through time), to de-noise, and to estimate the underlying dimensionality of the system. Finally, we also introduce a closed-form method for multi-step prediction, and a novel criterion for assessing the quality of our approximate posterior.


title: Flemish Strings of Magnetic Solitons and a Non-Thermal Fixed Point in a One-Dimensional Antiferromagnetic Spin-1 Bose Gas

abstract: Thermalization in a quenched one-dimensional antiferromagnetic spin-1 Bose gas is shown to proceed via a non-thermal fixed point through annihilation of Flemish-string bound states of magnetic solitons. A possible experimental situation is discussed.


title: Optimal cube factors of Fibonacci and matchable Lucas cubes

abstract: The optimal cube factor of a graph, a special kind of component factor, is first introduced. Furthermore, the optimal cube factors of Fibonacci and matchable Lucas cubes are studied; and some results on the Padovan sequence and binomial coefficients are obtained.


title: Homotopy limits in the category of dg-categories in terms of $\mathrm{A}_{\infty}$-comodules

abstract: In this paper, we apply an explicit construction of a simplicial powering in dg-categories, due to Holstein (2016) and Arkhipov and Poliakova (2018), as well as our own results on homotopy ends (Arkhipov and {\O}rsted 2018), to obtain an explicit model for the homotopy limit of a cosimplicial system of dg-categories. We apply this to obtain a model for homotopy descent in terms of $\mathrm{A}_{\infty}$-comodules, proving a conjecture by Block, Holstein, and Wei (2017) in the process.


title: q-means: A quantum algorithm for unsupervised machine learning

abstract: Quantum machine learning is one of the most promising applications of a full-scale quantum computer. Over the past few years, many quantum machine learning algorithms have been proposed that can potentially offer considerable speedups over the corresponding classical algorithms. In this paper, we introduce q-means, a new quantum algorithm for clustering which is a canonical problem in unsupervised machine learning. The $q$-means algorithm has convergence and precision guarantees similar to $k$-means, and it outputs with high probability a good approximation of the $k$ cluster centroids like the classical algorithm. Given a dataset of $N$ $d$-dimensional vectors $v_i$ (seen as a matrix $V \in \mathbb{R}^{N \times d})$ stored in QRAM, the running time of q-means is $\widetilde{O}\left( k d \frac{\eta}{\delta^2}\kappa(V)(\mu(V) + k \frac{\eta}{\delta}) + k^2 \frac{\eta^{1.5}}{\delta^2} \kappa(V)\mu(V) \right)$ per iteration, where $\kappa(V)$ is the condition number, $\mu(V)$ is a parameter that appears in quantum linear algebra procedures and $\eta = \max_{i} ||v_{i}||^{2}$. For a natural notion of well-clusterable datasets, the running time becomes $\widetilde{O}\left( k^2 d \frac{\eta^{2.5}}{\delta^3} + k^{2.5} \frac{\eta^2}{\delta^3} \right)$ per iteration, which is linear in the number of features $d$, and polynomial in the rank $k$, the maximum square norm $\eta$ and the error parameter $\delta$. Both running times are only polylogarithmic in the number of datapoints $N$. Our algorithm provides substantial savings compared to the classical $k$-means algorithm that runs in time $O(kdN)$ per iteration, particularly for the case of large datasets.


title: On some products of commutators in an associative ring

abstract: Let $A$ be a unital associative ring and let $T^{(k)}$ be the two-sided ideal of $A$ generated by all commutators $[a_1, a_2, \dots , a_k]$ $(a_i \in A)$ where $[a_1, a_2] = a_1 a_2 - a_2 a_1$, $[a_1, \dots , a_{k-1}, a_k] = \bigl[ [a_1, \dots , a_{k-1}], a_k \bigr]$ $(k >2)$. It has been known that, if either $m$ or $n$ is odd then \[ 6 \, [a_1, a_2, \dots , a_m] [b_1, b_2, \dots , b_n] \in T^{(m+n-1)} \] for all $a_i, b_j \in A$. This was proved by Sharma and Srivastava in 1990 and independently rediscovered later (with different proofs) by various authors. The aim of our note is to give a simple proof of the following result: if at least one of the integers $m,n$ is odd then, for all $a_i, b_j \in A$, \[ 3 \, [a_1, a_2, \dots , a_m] [b_1, b_2, \dots , b_n] \in T^{(m+n-1)}. \] Since it has been known that, in general, \[ [a_1, a_2, a_3] [b_1, b_2] \notin T^{(4)}, \] our result cannot be improved further for all $m, n$ such that at least one of them is odd.


title: Symmetric Decomposition of the Associated Graded Algebra of an Artinian Gorenstein Algebra

abstract: We study the symmetric subquotient decomposition of the associated graded algebras $A^*$ of a non-homogeneous commutative Artinian Gorenstein (AG) algebra $A$. This decomposition arises from the stratification of $A^*$ by a sequence of ideals $A^*=C_A(0)\supset C_A(1)\supset\cdots$ whose successive quotients $Q(a)=C(a)/C(a+1)$ are reflexive $A^*$ modules. These were introduced by the first author, and have been used more recently by several groups, especially those interested in short Gorenstein algebras, and in the scheme length (cactus rank) of forms. For us a Gorenstein sequence is an integer sequence $H$ occurring as the Hilbert function for an AG algebra $A$, that is not necessarily homogeneous. Such a Hilbert function $H(A)$ is the sum of symmetric non-negative sequences $H_A(a)=H(Q_A(a))$, each having center of symmetry $(j-a)/2$ where $j$ is the socle degree of $A$: we call these the symmetry conditions, and the decomposition $\mathcal{D}(A)=(H_A(0),H_A(1),\ldots)$ the symmetric decomposition of $H(A)$. We here study which sequences may occur as the summands $H_A(a)$: in particular we construct in a systematic way examples of AG algebras $A$ for which $H_A(a)$ can have interior zeroes, as $H_A(a)=(0,s,0,\ldots,0,s,0)$. We also study the symmetric decomposition sets $\mathcal{D}(A)$, and in particular determine which sequences $H_A(a)$ can be non-zero when the dual generator is linear in a subset of the variables. Several groups have studied "exotic summands" of the Macaulay dual generator $F$. Studying these, we recall a normal form for the Macaulay dual generator of an AG algebra that has no "exotic" summands. We apply this to Gorenstein algebras that are connected sums. We give throughout many examples and counterexamples, and conclude with some open questions about symmetric decomposition.


title: Hopf-like boundary equilibrium bifurcations involving two foci in Filippov systems

abstract: This paper concerns two-dimensional Filippov systems --- ordinary differential equations that are discontinuous on one-dimensional switching manifolds. In the situation that a stable focus transitions to an unstable focus by colliding with a switching manifold as parameters are varied, a simple sufficient condition for a unique local limit cycle to be created is established. If this condition is violated, three nested limit cycles may be created simultaneously. The result is achieved by constructing a Poincar\'e map and generalising analytical arguments that have been employed for continuous systems. Necessary and sufficient conditions for the existence of pseudo-equilibria (equilibria of sliding motion on the switching manifold) are also determined. For simplicity only piecewise-linear systems are considered.


title: Study of Puncturing Techniques for Polar Codes in 5G Cellular and IoT Networks

abstract: This paper presents a puncturing technique based on the channel polarization index for the design of rate-compatible polar codes in the fifth generation (5G) of wireless systems. The proposed strategy consists of two steps: we first generate the codeword message; and then we reduce the length of the codeword based on the channel polarization index where channels with the smallest channel polarization indices are punctured. We consider the proposed punctured polar codes with the successive cancellation (SC) decoder and the Cyclic Redundancy Check (CRC) aided SC list (CA-SCL) decoder and punctured bits known to both the encoder and the decoder. The Polar Spectra (PS) are then used to performance analysis the puncturing technique. Simulations for 5G scenarios show that the proposed polar codes perform comparable to Low-Density Parity-Check (LDPC) codes.


title: Towards quantification of incompleteness in the pairwise comparisons method

abstract: Alongside consistency, completeness of information is one of the key factors influencing data quality. The objective of this paper is to define ways of treating missing entries in pairwise comparisons (PC) method with respect to inconsistency and sensitivity. Two important factors related to the incompleteness of PC matrices have been identified, namely the number of missing pairwise comparisons and their arrangements. Accordingly, four incompleteness indices have been developed, simple to calculate, each of them take into account both: the total number of missing data and their distribution in the PC matrix. A numerical study of the properties of these indices has been also conducted using a series of Montecarlo experiments. It demonstrated that both incompleteness and inconsistency of data equally contribute to the sensitivity of the PC matrix. Although incompleteness is only just one of the factors influencing sensitivity, a relative simplicity of the proposed indices may help decision makers to quickly estimate the impact of missing comparisons on the quality of final result.


title: Approximation by $O$-minimal sets in power-bounded $T$-convex valued fields

abstract: We show that, for a certain large class of power-bounded $o$-minimal $\mathcal{L}_T$-theories $T$ whose field of exponents is infinite-dimensional as a vector space over the rationals, any definable set in a $T$-convex valued field $(\mathcal{R}, \mathfrak{O})$ is in a precise sense the limit of a family of $\mathcal{L}_T$-definable sets indexed over the residue field. Alternatively, in the mainstream model-theoretic language, this says that if $(\mathcal{R}', \mathfrak{O}')$ is an elementary substructure of $(\mathcal{R}, \mathfrak{O})$ and if the residue field of $\mathfrak{O}$ contains an element that is infinitesimal relative to the residue field of $\mathfrak{O}'$ then any set $A \subseteq (\mathcal{R}')^m$ definable in $(\mathcal{R}', \mathfrak{O}')$ is the trace of a set definable in $\mathcal{R}$.


title: Projectively equivalent 2-dimensional superintegrable systems with projective symmetries

abstract: This paper combines two classical theories, namely metric projective differential geometry and superintegrability. We study superintegrable systems on 2-dimensional geometries that share the same geodesics, viewed as unparametrized curves. We give a definition of projective equivalence of such systems, which may be considered the projective analog of (conformal) St\"ackel equivalence (coupling constant metamorphosis). Then, we discuss the transformation behavior for projectively equivalent superintegrable systems and find that the potential on a projectively equivalent geometry can be reconstructed from a characteristic vector field. Moreover, potentials of projectively equivalent Hamiltonians follow a linear superimposition rule. The techniques are applied to several examples. In particular, we use them to classify, up to St\"ackel equivalence, the superintegrable systems on geometries with one, non-trivial projective symmetry.


title: Toward a General Theory of Motion Planning Complexity: Characterizing Which Gadgets Make Games Hard

abstract: We build a general theory for characterizing the computational complexity of motion planning of robot(s) through a graph of "gadgets", where each gadget has its own state defining a set of allowed traversals which in turn modify the gadget's state. We study two families of such gadgets, one which naturally leads to motion planning problems with polynomially bounded solutions, and another which leads to polynomially unbounded (potentially exponential) solutions. We also study a range of competitive game-theoretic scenarios, from one player controlling one robot to teams of players each controlling their own robot and racing to achieve their team's goal. Under small restrictions on these gadgets, we fully characterize the complexity of bounded 1-player motion planning (NL vs. NP-complete), unbounded 1-player motion planning (NL vs. PSPACE-complete), and bounded 2-player motion planning (P vs. PSPACE-complete), and we partially characterize the complexity of unbounded 2-player motion planning (P vs. EXPTIME-complete), bounded 2-team motion planning (P vs. NEXPTIME-complete), and unbounded 2-team motion planning (P vs. undecidable). These results can be seen as an alternative to Constraint Logic (which has already proved useful as a basis for hardness reductions), providing a wide variety of agent-based gadgets, any one of which suffices to prove a problem hard.


title: SDNet: Contextualized Attention-based Deep Network for Conversational Question Answering

abstract: Conversational question answering (CQA) is a novel QA task that requires understanding of dialogue context. Different from traditional single-turn machine reading comprehension (MRC) tasks, CQA includes passage comprehension, coreference resolution, and contextual understanding. In this paper, we propose an innovated contextualized attention-based deep neural network, SDNet, to fuse context into traditional MRC models. Our model leverages both inter-attention and self-attention to comprehend conversation context and extract relevant information from passage. Furthermore, we demonstrated a novel method to integrate the latest BERT contextual model. Empirical results show the effectiveness of our model, which sets the new state of the art result in CoQA leaderboard, outperforming the previous best model by 1.6% F1. Our ensemble model further improves the result by 2.7% F1.


title: New Perfect Nonlinear Functions over Finite Fields

abstract: In this paper we present a new class of perfect nonlinear %Dembowski-Ostrom polynomials over $\mathbb{F}_{p^{2k}}$ for any odd prime $p$. In addition, we show that the new perfect nonlinear functions are CCZ-inequivalent to all the previously known perfect nonlinear functions in general.


title: PoseFix: Model-agnostic General Human Pose Refinement Network

abstract: Multi-person pose estimation from a 2D image is an essential technique for human behavior understanding. In this paper, we propose a human pose refinement network that estimates a refined pose from a tuple of an input image and input pose. The pose refinement was performed mainly through an end-to-end trainable multi-stage architecture in previous methods. However, they are highly dependent on pose estimation models and require careful model design. By contrast, we propose a model-agnostic pose refinement method. According to a recent study, state-of-the-art 2D human pose estimation methods have similar error distributions. We use this error statistics as prior information to generate synthetic poses and use the synthesized poses to train our model. In the testing stage, pose estimation results of any other methods can be input to the proposed method. Moreover, the proposed model does not require code or knowledge about other methods, which allows it to be easily used in the post-processing step. We show that the proposed approach achieves better performance than the conventional multi-stage refinement models and consistently improves the performance of various state-of-the-art pose estimation methods on the commonly used benchmark. The code is available in this https URL\footnote{\url{https://github.com/mks0601/PoseFix_RELEASE}}.


title: Task-Free Continual Learning

abstract: Methods proposed in the literature towards continual deep learning typically operate in a task-based sequential learning setup. A sequence of tasks is learned, one at a time, with all data of current task available but not of previous or future tasks. Task boundaries and identities are known at all times. This setup, however, is rarely encountered in practical applications. Therefore we investigate how to transform continual learning to an online setup. We develop a system that keeps on learning over time in a streaming fashion, with data distributions gradually changing and without the notion of separate tasks. To this end, we build on the work on Memory Aware Synapses, and show how this method can be made online by providing a protocol to decide i) when to update the importance weights, ii) which data to use to update them, and iii) how to accumulate the importance weights at each update step. Experimental results show the validity of the approach in the context of two applications: (self-)supervised learning of a face recognition model by watching soap series and learning a robot to avoid collisions.


title: Archimedean Non-vanishing, Cohomological Test Vectors, and Standard $L$-functions of $\mathrm{GL}_{2n}$: Real Case

abstract: The standard $L$-functions of $\mathrm{GL}_{2n}$ expressed in terms of the Friedberg-Jacquet global zeta integrals have better structure for arithmetic applications, due to the relation of the linear periods with the modular symbols. The most technical obstacles towards such arithmetic applications are (1) non-vanishing of modular symbols at infinity and (2) the existance or construction of uniform cohomological test vectors. Problem (1) is also called the non-vanishing hypothesis at infinity, which was proved by Binyong Sun, by establishing the existence of certain cohomological test vectors. In this paper, we explicitly construct an archimedean local integral that produces a new type of a twisted linear functional $\Lambda_{s,\chi}$, which, when evaluated with our explicitly constructed cohomological vector, is equal to the local twisted standard $L$-function $L(s,\pi\otimes\chi)$ as a meromorphic function of $s\in \mathbb{C}$. With the relations between linear models and Shalika models, we establish (1) with an explicitly constructed cohomological vector, and hence recovers a non-vanishing result of Binyong Sun via a completely different method. Our main result indicates a complete solution to (2), which will be presented in a paper of Dihua Jiang, Binyong Sun and Fangyang Tian with full details and with applications to the global period relations for the twisted standard $L$-functions at critical places.


title: SmartOTPs: An Air-Gapped 2-Factor Authentication for Smart-Contract Wallets (Extended Version)

abstract: With the recent rise of cryptocurrencies' popularity, the security and management of crypto-tokens have become critical. We have witnessed many attacks on users and providers, which have resulted in significant financial losses. To remedy these issues, several wallet solutions have been proposed. However, these solutions often lack either essential security features, usability, or do not allow users to customize their spending rules. In this paper, we propose SmartOTPs, a smart-contract wallet framework that gives a flexible, usable, and secure way of managing crypto-tokens in a self-sovereign fashion. The proposed framework consists of four components (i.e., an authenticator, a client, a hardware wallet, and a smart contract), and it provides 2-factor authentication (2FA) performed in two stages of interaction with the blockchain. To the best of our knowledge, our framework is the first one that utilizes one-time passwords (OTPs) in the setting of the public blockchain. In SmartOTPs, the OTPs are aggregated by a Merkle tree and hash chains whereby for each authentication only a short OTP (e.g., 16B-long) is transferred from the authenticator to the client. Such a novel setting enables us to make a fully air-gapped authenticator by utilizing small QR codes or a few mnemonic words, while additionally offering resilience against quantum cryptanalysis. We have made a proof-of-concept based on the Ethereum platform. Our cost analysis shows that the average cost of a transfer operation is comparable to existing 2FA solutions using smart contracts with multi-signatures.


title: Fast convergence rates of deep neural networks for classification

abstract: We derive the fast convergence rates of a deep neural network (DNN) classifier with the rectified linear unit (ReLU) activation function learned using the hinge loss. We consider three cases for a true model: (1) a smooth decision boundary, (2) smooth conditional class probability, and (3) the margin condition (i.e., the probability of inputs near the decision boundary is small). We show that the DNN classifier learned using the hinge loss achieves fast rate convergences for all three cases provided that the architecture (i.e., the number of layers, number of nodes and sparsity). is carefully selected. An important implication is that DNN architectures are very flexible for use in various cases without much modification. In addition, we consider a DNN classifier learned by minimizing the cross-entropy, and show that the DNN classifier achieves a fast convergence rate under the condition that the conditional class probabilities of most data are sufficiently close to either 1 or zero. This assumption is not unusual for image recognition because human beings are extremely good at recognizing most images. To confirm our theoretical explanation, we present the results of a small numerical study conducted to compare the hinge loss and cross-entropy.


title: Hyperonic Neutron Star Matter in Light of GW170817

abstract: Since 2013 the mass of pulsar PSR J0348+0432 ($M = 2.01\,M_{\odot}$) has provided a tight constraint on neutron star equation of state. However, a number of different analyses of the recently detected BNS merger (GW170817) point to a maximum neutron star mass around $2.16\,M_{\odot}$. In addition, a recent study determined the mass of the millisecond pulsar PSR J2215+5135 to be $2.27^{+0.17}_{-0.15}\,M_{\odot}$. In this work we investigate the presence of hyperons in neutron star matter in light of these new mass measurements using equations of state calculated in the relativistic mean-field approximation. Particular attention is paid to the use of the available empirical data from the study of hypernuclei and that of the SU(3) symmetry relations in fixing the meson-hyperon coupling constants. We find that hyperonic equations of state with reasonable choices for the meson-hyperon coupling constants can satisfy these new mass constraints, with hyperons potentially accounting for more than 10% of the baryons in the core of a neutron star.


title: A recipe for black box functors

abstract: The task of constructing compositional semantics for network-style diagrammatic languages, such as electrical circuits or chemical reaction networks, has been dubbed the black boxing problem, as it gives semantics that describes the properties of each network that can be observed externally, by composition, while discarding the internal structure. One way to solve these problems is to formalise the diagrams and their semantics using hypergraph categories, with semantic interpretation a hypergraph functor, called the black box functor, between them. Reviewing a principled method for constructing hypergraph categories and functors, known as decorated corelations, in this paper we construct a category of \emph{decorating data}, and show that the decorated corelations method is itself functorial, with a universal property characterised by a left Kan extension. We then argue that the category of decorating data is a good setting in which to construct any hypergraph functor, giving a new construction of Baez and Pollard's black box functor for reaction networks as an example.


title: On asymptotically periodic solution of a stochastic differential equation

abstract: In this paper, we first introduce the concept and properties of {\omega}- periodic limit process. Then we apply specific criteria obtained to investigate asymptotically {\omega}-periodic mild solutions of a Stochastic Differential Equation driven by a Brownian motion. Finally, we give an example to show usefulness of the theoritical results that we obtain in the paper.


title: Massive poles in Lee-Wick quantum field theory

abstract: Most discussions of propagators in Lee-Wick theories focus on the presence of two massive complex conjugate poles in the propagator. We show that there is in fact only one pole near the physical region, or in another representation three pole-like structures with compensating extra poles. The latter modified Lehmann representation is useful caculationally and conceptually only if one includes the resonance structure in the spectral integral.


title: Quasinormal modes of scalarized black holes in the Einstein-Maxwell-Scalar theory

abstract: We perform the stability analysis on scalarized charged black holes in the Einstein-Maxwell-Scalar (EMS) theory by computing quasinormal mode spectrum. It is noted that the appearance of these black holes with scalar hair is closely related to the instability of Reissner-Nordstr\"om black holes without scalar hair in the EMS theory. The scalarized black hole solutions are classified by the node number of $n=0,1,2,\cdots$, where $n=0$ is called the fundamental branch and $n=1,2,\cdots$ denote the $n$ excited branches. Here, we show that the $n=1,2$ excited black holes are unstable against against the $s(l=0)$-mode scalar perturbation, while the $n=0$ fundamental black hole is stable against all scalar-vector-tensor perturbations. This is consistent with other scalarized black holes without charge found in the Einstein-Scalar-Gauss-Bonnet theory.


title: New variable stars in NGC 6652 and its background Sagittarius stream

abstract: We conducted a variable star search on the metal-rich Galactic globular cluster NGC 6652 using archival Gemini-S/GMOS data. We report the discovery of nine new variable stars in the NGC 6652 field, of which we classify six as eclipsing binaries and one as SX Phoenicis stars, leaving two variables without classification. Using proper motions from Gaia DR2 and HST, albeit with some uncertainties, we find that the cluster, the field, and the background Sagittarius stream, have 3 of these variables each. We also reassess the membership of known variables based on the Gaia proper motions, confirming the existence of one RR Lyrae star in the cluster.


title: A factorisation theorem for the coinvariant algebra of a unitary reflection group

abstract: We prove the following theorem. Let $G$ be a finite group generated by unitary reflections in a complex Hermitian space $V=\mathbb{C}^\ell$ and let $G'$ be any reflection subgroup of $G$. Let $\mathcal{H}(G)$ be the space of $G$-harmonic polynomials on $V$. There is a degree preserving isomorphism $\xi:\mathcal{H}(G')\otimes\mathcal{H}(G)^{G'}\overset{\sim}{\longrightarrow}\mathcal{H}$ of graded $\mathcal{N}$-modules, where $\mathcal{N}:=N_{\rm{GL}(V)}(G)\cap N_{\rm{GL}(V)}(G')$ and $\mathcal{H}^{G'}$ is the space of $G'$-fixed points of $\mathcal{H}$. This generalises a result of Douglass and Dyer for parabolic subgroups of real reflection groups.


title: Minimal Effective Gibbs Ansatz (MEGA): A simple protocol for extracting an accurate thermal representation for quantum simulation

abstract: Quantum Gibbs state sampling algorithms generally suffer from either scaling exponentially with system size or requiring specific knowledge of spectral properties \textit{a priori}. Also, these algorithms require a large overhead of bath or scratch/ancilla qubits. We propose a method, termed the minimal effective Gibbs ansatz (MEGA), which uses a quantum computer to determine a minimal ensemble of pure states that accurately reproduce thermal averages of typical observables. This technique employs properties of correlation functions that can be split into a lesser and greater part; here, we primarily focus on single-particle Green's functions. When properly measured, these correlation functions provide a simple test to indicate how close a given pure state or ensemble of pure states are to providing accurate thermal expectation values. Further, we show that when properties such as the eigenstate thermalization hypothesis hold, this approach leads to accurate results with a sparse ensemble of pure states; sometimes only one suffices. We illustrate the ansatz using exact diagonalization simulations on small clusters for the Fermi-Hubbard and Hubbard-like models. Even if MEGA becomes as computationally complex as other Gibbs state samplers, it still gains an advantage due to its ease of implementation without any \textit{a priori} information about the Hamiltonian and in the efficient allocation of available qubits by eliminating bath qubits and using a minimal number of ancilla.


title: Reliable Identification of Redundant Kernels for Convolutional Neural Network Compression

abstract: To compress deep convolutional neural networks (CNNs) with large memory footprint and long inference time, this paper proposes a novel pruning criterion using layer-wised Ln-norm of feature maps. Different from existing pruning criteria, which are mainly based on L1-norm of convolution kernels, the proposed method utilizes Ln-norm of output feature maps after non-linear activations, where n is a variable, increasing from 1 at the first convolution layer to inf at the last convolution layer. With the ability of accurately identifying unimportant convolution kernels, the proposed method achieves a good balance between model size and inference accuracy. The experiments on ImageNet and the successful application in railway surveillance system show that the proposed method outperforms existing kernel-norm-based methods and is generally applicable to any deep neural network with convolution operations.


title: Role of NMDA conductance in average firing rate shifts caused by external periodic forcing

abstract: A widely accepted view of computations in the brain relies on population coding, where the neural ensemble firing rate is modulated in a stable manner to transmit information and perform various cognitive tasks. At the same time, oscillatory neural activity is specifically modulated in frequency, coherence and power during cognitive performance. How the firing rate and oscillations interact remains a salient question. In this paper, we develop a theory for the interactions between oscillatory signals and the firing rate of neural populations based on activity of non-linear voltage-dependent NMDA synapses. Notably, we show under which conditions oscillatory inputs can control the mean firing rate without loss of stability. Using mathematical analysis and simulations of mean-field models, we demonstrate that presence of NMDA synapses on both the excitatory and the inhibitory neurons is critical for sinusoidal oscillations to significantly and stably increase the firing rate. We characterize the oscillation-induced mean firing rate shift as a function of the fast and slow synaptic weights and demonstrate the parameter region, in which the effect under investigation is mostly pronounced. Results of our work may help identify the properties of neural circuits that allow for constructive control of the firing rate codes by large-scale neural oscillations.


title: Path Independence of Additive Functionals for SDEs under G-framework

abstract: The path independence of additive functionals for SDEs driven by the G-Brownian motion is characterized by nonlinear PDEs. The main result generalizes the existing ones for SDEs driven by the standard Brownian motion.


title: Noncollinearity effects on magnetocrystalline anisotropy for $R_2$Fe$_{14}$B magnets

abstract: We present a theoretical investigation of the magnetocrystalline anisotropy (MA) in $R_2$Fe$_{14}$B ($R$ is a rare-earth element) magnets in consideration of the non-collinearity effect (NCE) between the $R$ and Fe magnetization directions. In particular, the temperature dependence of the MA of Dy$_2$Fe$_{14}$B magnets is detailed in terms of the $n$th-order MA constant (MAC) $K_n(T)$ at a temperature $T$. The features of this constant are as follows: $K_1(T)$ has a broad plateau in the low-temperature range and $K_2(T)$ persistently survives in the high-temperature range. The present theory explains these features in terms of the NCE on the MA by using numerical calculations for the entire temperature range, and further, by using a high-temperature expansion. The high-temperature expansion for $K_n(T)$ is expressed in the form of $K_n(T)=\kappa_1(T)\left[1+\delta(T)\right][-\delta(T)]^{n-1}$, where $\kappa_1(T)$ is the part without the NCE and $\delta(T)$ is a correction factor for the NCE introduced in this study. We also provide a convenient expression to evaluate $K_n(T)$, which can be determined only by a second-order crystalline electric field coefficient and an effective exchange field.


title: Circadian rhythm of dune-field activity

abstract: Wind-blown sand dunes are both a consequence and a driver of climate dynamics; they arise under persistently dry and windy conditions, and are sometimes a source for airborne dust. Dune fields experience extreme daily changes in temperature, yet the role of atmospheric stability in driving sand transport and dust emission has not been established. Here we report on an unprecedented multi-scale field experiment at the White Sands Dune Field (New Mexico, USA), where we demonstrate that a daily rhythm of sand and dust transport arises from non-equilibrium atmospheric boundary layer convection. A global analysis of 45 dune fields confirms the connection between surface wind speed and diurnal temperature cycles, revealing an unrecognized climate feedback that may contribute to the growth of deserts on Earth and dune activity on Mars.


title: Higher-order accurate diffuse-domain methods for partial differential equations with Dirichlet boundary conditions in complex, evolving geometries

abstract: The diffuse-domain, or smoothed boundary, method is an attractive approach for solving partial differential equations in complex geometries because of its simplicity and flexibility. In this method the complex geometry is embedded into a larger, regular domain. The original PDE is reformulated using a smoothed characteristic function of the complex domain and source terms are introduced to approximate the boundary conditions. The reformulated equation, which is independent of the dimension and domain geometry, can be solved by standard numerical methods and the same solver can be used for any domain geometry. A challenge is making the method higher-order accurate. For Dirichlet boundary conditions, which we focus on here, current implementations demonstrate a wide range in their accuracy but generally the methods yield at best first order accuracy in $\epsilon$, the parameter that characterizes the width of the region over which the characteristic function is smoothed. Typically, $\epsilon\propto h$, the grid size. Here, we analyze the diffuse-domain PDEs using matched asymptotic expansions and explain the observed behaviors. Our analysis also identifies simple modifications to the diffuse-domain PDEs that yield higher-order accuracy in $\epsilon$, e.g., $O(\epsilon^2)$ in the $L^2$ norm and $O(\epsilon^p)$ with $1.5\le p\le 2$ in the $L^{\infty}$ norm. Our analytic results are confirmed numerically in stationary and moving domains where the level set method is used to capture the dynamics of the domain boundary and to construct the smoothed characteristic function.


title: Lie groupoids and semi-local models of Singular Riemannian foliations

abstract: We describe a local model for any Singular Riemannian Foliation in a neighbourhood of a closed saturated submanifold of a regular stratum. Moreover we construct a Lie groupoid which controls the transverse geometry of the linear approximation of the Singular Riemannian Foliation around these submanifolds. We also discuss the closure of this Lie groupoid and its Lie algebroid.


title: Near-optimal Smooth Path Planning for Multisection Continuum Arms

abstract: We study the path planning problem for continuum-arm robots, in which we are given a starting and an end point, and we need to compute a path for the tip of the continuum arm between the two points. We consider both cases where obstacles are present and where they are not. We demonstrate how to leverage the continuum arm features to introduce a new model that enables a path planning approach based on the configurations graph, for a continuum arm consisting of three sections, each consisting of three muscle actuators. The algorithm we apply to the configurations graph allows us to exploit parallelism in the computation to obtain efficient implementation. We conducted extensive tests, and the obtained results show the completeness of the proposed algorithm under the considered discretizations, in both cases where obstacles are present and where they are not. We compared our approach to the standard inverse kinematics approach. While the inverse kinematics approach is much faster when successful, our algorithm always succeeds in finding a path or reporting that no path exists, compared to a roughly 70% success rate of the inverse kinematics approach (when a path exists).


title: A Unified Framework for One-shot Achievability via the Poisson Matching Lemma

abstract: We introduce a fundamental lemma called the Poisson matching lemma, and apply it to prove one-shot achievability results for various settings, namely channels with state information at the encoder, lossy source coding with side information at the decoder, joint source-channel coding, broadcast channels, distributed lossy source coding, multiple access channels, channel resolvability and wiretap channels. Our one-shot bounds improve upon the best known one-shot bounds in most of the aforementioned settings (except multiple access channels, channel resolvability and wiretap channels, where we recover bounds comparable to the best known bounds), with shorter proofs in some settings even when compared to the conventional asymptotic approach using typicality. The Poisson matching lemma replaces both the packing and covering lemmas, greatly simplifying the error analysis. This paper extends the work of Li and El Gamal on Poisson functional representation, which mainly considered variable-length source coding settings, whereas this paper studies fixed-length settings, and is not limited to source coding, showing that the Poisson functional representation is a viable alternative to typicality for most problems in network information theory.


title: Singular limits of sign-changing weighted eigenproblems

abstract: Consider the eigenvalue problem generated by a fixed differential operator with a sign-changing weight on the eigenvalue term. We prove that as the negative part of the weight is rescaled towards negative infinity on some subregion, the spectrum converges to that of the original problem restricted to the complementary region. On the interface between the regions the limiting problem acquires Dirichlet-type boundary conditions. Our main theorem concerns eigenvalue problems for sign-changing bilinear forms on Hilbert spaces. We apply our results to a wide range of PDEs: second and fourth order equations with both Dirichlet and Neumann-type boundary conditions, and a problem where the eigenvalue appears in both the equation and the boundary condition.


title: Exact solution of the $sp(4)$ integrable spin chain with generic boundaries

abstract: The off-diagonal Bethe ansatz method is generalized to the integrable model associated with the $sp(4)$ (or $C_2$) Lie algebra. By using the fusion technique, we obtain the complete operator product identities among the fused transfer matrices. These relations, together with some asymptotic behaviors and values of the transfer matrices at certain points, enable us to determine the eigenvalues of the transfer matrices completely. For the periodic boundary condition case, we recover the same $T-Q$ relations obtained via conventional Bethe ansatz methods previously, while for the off-diagonal boundary condition case, the eigenvalues are given in terms of inhomogeneous $T-Q$ relations, which could not be obtained by the conventional Bethe ansatz methods. The method developed in this paper can be directly generalized to generic $sp(2n)$ (i.e., $C_n$) integrable model.

categories: math-ph cond-mat.stat-mech hep-th math.MP


title: A Weil-etale version of the Birch and Swinnerton-Dyer formula over function fields

abstract: We give a reformulation of the Birch and Swinnerton-Dyer conjecture over global function fields in terms of Weil-etale cohomology of the curve with coefficients in the Neron model, and show that it holds under the assumption of finiteness of the Tate-Shafarevich group.


title: Does the Web of Science Accurately Represent Chinese Scientific Performance?

abstract: The purpose of this study is to compare Web of Science (WoS) with a Chinese bibliometric database in terms of authors and their performance, demonstrate the extent of the overlap between the two groups of Chinese most productive authors in both international and Chinese bibliometric databases, and determine how different disciplines may affect this overlap. The results of this study indicate that Chinese bibliometric databases, or a combination of WoS and Chinese bibliometric databases, should be used to evaluate Chinese research performance except in few disciplines in which Chinese research performance could be assessed using WoS only.


title: Learning Non-Uniform Hypergraph for Multi-Object Tracking

abstract: The majority of Multi-Object Tracking (MOT) algorithms based on the tracking-by-detection scheme do not use higher order dependencies among objects or tracklets, which makes them less effective in handling complex scenarios. In this work, we present a new near-online MOT algorithm based on non-uniform hypergraph, which can model different degrees of dependencies among tracklets in a unified objective. The nodes in the hypergraph correspond to the tracklets and the hyperedges with different degrees encode various kinds of dependencies among them. Specifically, instead of setting the weights of hyperedges with different degrees empirically, they are learned automatically using the structural support vector machine algorithm (SSVM). Several experiments are carried out on various challenging datasets (i.e., PETS09, ParkingLot sequence, SubwayFace, and MOT16 benchmark), to demonstrate that our method achieves favorable performance against the state-of-the-art MOT methods.


title: 3D Scene Parsing via Class-Wise Adaptation

abstract: We propose the method that uses only computer graphics datasets to parse the real world 3D scenes. 3D scene parsing based on semantic segmentation is required to implement the categorical interaction in the virtual world. Convolutional Neural Networks (CNNs) have recently shown state-of-theart performance on computer vision tasks including semantic segmentation. However, collecting and annotating a huge amount of data are needed to train CNNs. Especially in the case of semantic segmentation, annotating pixel by pixel takes a significant amount of time and often makes mistakes. In contrast, computer graphics can generate a lot of accurate annotated data and easily scale up by changing camera positions, textures and lights. Despite these advantages, models trained on computer graphics datasets cannot perform well on real data, which is known as the domain shift. To address this issue, we first present that depth modal and synthetic noise are effective to reduce the domain shift. Then, we develop the class-wise adaptation which obtains domain invariant features of CNNs. To reduce the domain shift, we create computer graphics rooms with a lot of props, and provide photo-realistic rendered images.We also demonstrate the application which is combined semantic segmentation with Simultaneous Localization and Mapping (SLAM). Our application performs accurate 3D scene parsing in real-time on an actual room.


title: Model Independent Expansion History from Supernovae: Cosmology versus Systematics

abstract: We examine the Pantheon supernovae distance data compilation in a model independent analysis to test the validity of cosmic history reconstructions beyond the concordance $\Lambda$CDM cosmology. Strong deviations are allowed by the data at $z\gtrsim1$ in the reconstructed Hubble parameter, $Om$ diagnostic, and dark energy equation of state. We explore three interpretations: 1) possibility of the true cosmology being far from $\Lambda$CDM, 2) supernovae property evolution, and 3) survey selection effects. The strong (and theoretically problematic) deviations at $z\gtrsim1$ vanish and good consistency with $\Lambda$CDM is found with a simple Malmquist-like linear correction. The adjusted data is robust against the model independent iterative smoothing reconstruction. However, we caution that while by eye the original deviation from $\Lambda$CDM is striking, $\chi^2$ tests do not show the extra linear correction parameter is statistically significant, and a model-independent Gaussian Process regression does not find significant evidence for the need for correction at high-redshifts.


title: Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic

abstract: We develop a linear logical framework within the Hybrid system and use it to reason about the type system of a quantum lambda calculus. In particular, we consider a practical version of the calculus called Proto-Quipper, which contains the core of Quipper. Quipper is a new quantum programming language under active development and recently has gained much popularity among the quantum computing communities. Hybrid is a system that is designed to support the use of higher-order abstract syntax (HOAS) for representing and reasoning about formal systems implemented in the Coq Proof Assistant. In this work, we extend the system with a linear specification logic (SL) in order to reason about the linear type system of Quipper. To this end, we formalize the semantics of Proto-Quipper by encoding the typing and evaluation rules in the SL, and prove type soundness.


title: A context-based geoprocessing framework for optimizing meetup location of multiple moving objects along road networks

abstract: Given different types of constraints on human life, people must make decisions that satisfy social activity needs. Minimizing costs (i.e., distance, time, or money) associated with travel plays an important role in perceived and realized social quality of life. Identifying optimal interaction locations on road networks when there are multiple moving objects (MMO) with space-time constraints remains a challenge. In this research, we formalize the problem of finding dynamic ideal interaction locations for MMO as a spatial optimization model and introduce a context-based geoprocessing heuristic framework to address this problem. As a proof of concept, a case study involving identification of a meetup location for multiple people under traffic conditions is used to validate the proposed geoprocessing framework. Five heuristic methods with regard to efficient shortest-path search space have been tested. We find that the R* tree-based algorithm performs the best with high quality solutions and low computation time. This framework is implemented in a GIS environment to facilitate integration with external geographic contextual information, e.g., temporary road barriers, points of interest (POI), and real-time traffic information, when dynamically searching for ideal meetup sites. The proposed method can be applied in trip planning, carpooling services, collaborative interaction, and logistics management.


title: EDF: Ensemble, Distill, and Fuse for Easy Video Labeling

abstract: We present a way to rapidly bootstrap object detection on unseen videos using minimal human annotations. We accomplish this by combining two complementary sources of knowledge (one generic and the other specific) using bounding box merging and model distillation. The first (generic) knowledge source is obtained from ensembling pre-trained object detectors using a novel bounding box merging and confidence reweighting scheme. We make the observation that model distillation with data augmentation can train a specialized detector that outperforms the noisy labels it was trained on, and train a Student Network on the ensemble detections that obtains higher mAP than the ensemble itself. The second (specialized) knowledge source comes from training a detector (which we call the Supervised Labeler) on a labeled subset of the video to generate detections on the unlabeled portion. We demonstrate on two popular vehicular datasets that these techniques work to emit bounding boxes for all vehicles in the frame with higher mean average precision (mAP) than any of the reference networks used, and that the combination of ensembled and human-labeled data produces object detections that outperform either alone.


title: Central Limit theorem and cohomological equation on homogeneous spaces

abstract: The dynamics of one parameter diagonal group actions on finite volume homogeneous spaces has a partially hyperbolic feature. In this paper we extend the Liv\v{s}ic type result to these possibly noncompact and nonaccessible systems. We also prove a central limit theorem for the Birkhoff averages of points on a horospherical orbit. The Liv\v{s}ic type result allows us to show that the variance of the central limit theorem is nonzero provided that the test function has nonzero mean with respect to an invariant probability measure.


title: H$_2$/HD molecular data for analysis of quasar spectra in search of varying constants

abstract: Absorption lines of H$_2$ and HD molecules observed at high redshift in the line of sight towards quasars are a test ground to search for variation of the proton-to-electron mass ratio $\mu$. For this purpose, results from astronomical observations are compared with a compilation of molecular data of the highest accuracy, obtained in laboratory studies as well as in first-principles calculations. Aims: A comprehensive line list is compiled for H$_2$ and HD absorption lines in the Lyman ($B^1\Sigma_u^+$ - $X^1\Sigma_g^+$) and Werner ($C^1\Pi_u$ - $X^1\Sigma_g^+$) band systems up to the Lyman cutoff at 912 Angstroms. Molecular parameters listed for each line $i$ are the transition wavelength $\lambda_i$, the line oscillator strength $f_i$, the radiative damping parameter of the excited state $\Gamma_i$, and the sensitivity coefficient $K_i$ for a variation of the proton-to-electron mass ratio. Methods: The transition wavelengths $\lambda_i$ for the H$_2$ and HD molecules are determined by a variety of advanced high-precision spectroscopic experiments involving narrowband vacuum ultraviolet lasers, Fourier-transform spectrometers, and synchrotron radiation sources. Results for the line oscillator strengths $f_i$, damping parameters $\Gamma_i$, and sensitivity coefficients $K_i$ are obtained in theoretical quantum chemical calculations. Results: A new list of molecular data is compiled for future analyses of cold clouds of hydrogen absorbers, specifically for studies of $\mu$-variation from quasar data. The list is applied in a refit of quasar absorption spectra of B0642$-$5038 and J1237$+$0647 yielding constraints on a variation of the proton-to-electron mass ratio $\Delta\mu/\mu$ consistent with previous analyses.


title: Double-Sequence Frequency Synchronization for Wideband Millimeter-Wave Systems with Few-Bit ADCs

abstract: In this paper, we propose and evaluate two novel double-sequence low-resolution frequency synchronization methods in millimeter-wave (mmWave) systems. In our system model, the base station uses analog beams to send the synchronization signal with infinite-resolution digital-to-analog converters. The user equipment employs a fully digital front end to detect the synchronization signal with low-resolution analog-to-digital converters (ADCs). The key ingredient of the proposed methods is the custom designed synchronization sequence pairs, from which there exists an invertible function (a ratio metric) of the carrier frequency offset (CFO) to be estimated. We use numerical examples to show that the ratio metric is robust to the quantization distortion. Further, we analytically characterize the CFO estimation performances of our proposed designs assuming a single user. To implement our proposed methods in a multi-user scenario, we propose to optimize the double-sequence design parameters such that: (i) for each individual user, the impact of the quantization distortion on the CFO estimation accuracy is minimized, and (ii) the resulting frequency range of estimation can capture as many users' CFOs as possible. Numerical results reveal that our proposed algorithms provide a flexible means to estimate CFO in a variety of low-resolution settings.


title: Franz-Keldysh effect in strong-field QED

abstract: We studied a QED analog of the Franz-Keldysh effect, and the interplay between the non-perturbative (the Schwinger mechanism) and the perturbative particle production mechanism from the vacuum in the presence of a strong slow field superimposed by a weak field. We found that the Franz-Keldysh effect significantly affects the particle production: (i) the perturbative particle production occurs even below the threshold energy; (ii) the perturbative production becomes the most efficient just above the threshold energy; and (iii) an oscillating behavior appears in the production number above the threshold energy. These non-trivial changes are suppressed only weakly by powers of the critical field strength of QED. A relation to the dynamically assisted Schwinger mechanism and implications to experiments are also discussed.

categories: hep-ph hep-th nucl-th physics.plasm-ph quant-ph


title: Spatial Knowledge Distillation to aid Visual Reasoning

abstract: For tasks involving language and vision, the current state-of-the-art methods tend not to leverage any additional information that might be present to gather relevant (commonsense) knowledge. A representative task is Visual Question Answering where large diagnostic datasets have been proposed to test a system's capability of answering questions about images. The training data is often accompanied by annotations of individual object properties and spatial locations. In this work, we take a step towards integrating this additional privileged information in the form of spatial knowledge to aid in visual reasoning. We propose a framework that combines recent advances in knowledge distillation (teacher-student framework), relational reasoning and probabilistic logical languages to incorporate such knowledge in existing neural networks for the task of Visual Question Answering. Specifically, for a question posed against an image, we use a probabilistic logical language to encode the spatial knowledge and the spatial understanding about the question in the form of a mask that is directly provided to the teacher network. The student network learns from the ground-truth information as well as the teachers prediction via distillation. We also demonstrate the impact of predicting such a mask inside the teachers network using attention. Empirically, we show that both the methods improve the test accuracy over a state-of-the-art approach on a publicly available dataset.


title: Statement networks: a power structure narrative as depicted by newspapers

abstract: We report a data mining pipeline and subsequent analysis to understand the core periphery power structure created in three national newspapers in Bangladesh, as depicted by statements made by people appearing in news. Statements made by one actor about another actor can be considered a form of public conversation. Named entity recognition techniques can be used to create a temporal actor network from such conversations, which shows some unique structure, and reveals much room for improvement in news reporting and also the top actors' conversation preferences. Our results indicate there is a presence of cliquishness between powerful political leaders when it comes to their appearance in news. We also show how these cohesive cores form through the news articles, and how, over a decade, news cycles change the actors belonging in these groups.


title: Efficient Training Management for Mobile Crowd-Machine Learning: A Deep Reinforcement Learning Approach

abstract: In this letter, we consider the concept of Mobile Crowd-Machine Learning (MCML) for a federated learning model. The MCML enables mobile devices in a mobile network to collaboratively train neural network models required by a server while keeping data on the mobile devices. The MCML thus addresses data privacy issues of traditional machine learning. However, the mobile devices are constrained by energy, CPU, and wireless bandwidth. Thus, to minimize the energy consumption, training time and communication cost, the server needs to determine proper amounts of data and energy that the mobile devices use for training. However, under the dynamics and uncertainty of the mobile environment, it is challenging for the server to determine the optimal decisions on mobile device resource management. In this letter, we propose to adopt a deep- Q learning algorithm that allows the server to learn and find optimal decisions without any a priori knowledge of network dynamics. Simulation results show that the proposed algorithm outperforms the static algorithms in terms of energy consumption and training latency.


title: Investigating Sterile Neutrino Flux in the Solar Neutrino Data

abstract: There are compelling evidences for the existence of a fourth degree of freedom of neutrinos i.e. sterile neutrino. In the recent studies the role of sterile component of neutrinos has been found to be crucial, not only in particle physics, but also in astrophysics and cosmology. This has been proposed to be one of the potential candidates of dark matter. In this work we investigate the updated solar neutrino data available from all the relevant experiments including Borexino and KamLAND solar phase in a model independent way, and obtain bounds on the sterile neutrino component present in the solar neutrino flux. The mystery of the missing neutrinos is further deepening as subsequent experiments are coming up with their results. The energy spectrum of solar neutrinos, as predicted by Standard Solar Models (SSM), is seen by neutrino experiments at different parts as they are sensitive to various neutrino energy ranges. It is interesting to note that more than $98\%$ of the calculated standard model solar neutrino flux lies below $1MeV$. Therefore, the study of low energy neutrinos can give us better understanding and the possibility to know about the presence of antineutrino and sterile neutrino components in solar neutrino flux. As such, this work becomes interesting as we include the data from medium energy ($\sim 1MeV$) experiments i.e. Borexino and KamLAND solar phase. In our study we retrieve the bounds existing in literature, and rather provide more stringent limits on sterile neutrino($\nu_{s}$) flux available in solar neutrino data.


title: Quantum Statistical Mechanics in Classical Phase Space. III. Mean Field Approximation Benchmarked for Interacting Lennard-Jones Particles

abstract: A Monte Carlo computer simulation algorithm in classical phase space is given for the treatment of quantum systems. The non-commutativity of position and momentum is accounted for by a mean field approach and instantaneous effective harmonic oscillators. Wave function symmetrization is included at the dimer and double dimer level. Quantitative tests are performed against benchmarks given by Hernando and Van\'i\v{c}ek (2013) for spinless neon--parahydrogen, modeled as interacting Lennard-Jones particles in a one dimensional harmonic trap. The mean field approach is shown to be quantitatively accurate for high to moderate temperatures $\beta \hbar \omega_\mathrm{LJ} < 7$, and moderate densities, $\rho \sigma \approx 1$. Results for helium show that at the lowest temperature studied, the average energy is about 4\% lower for bosons than for fermions. It is argued that the mean field algorithm will perform better in three dimensions than in one, and that it will scale sub-linearly with system size.

categories: quant-ph cond-mat.quant-gas cond-mat.stat-mech physics.chem-ph


title: Recent Developments in Topological String Theory

abstract: This review summarizes the recent developments in topological string theory from the author's perspective, mostly focused on aspects of research in which the author is involved. After a brief overview of the theory, we discuss two aspects of these developments. First, we discuss the computational progress in the topological string partition functions on a class of elliptic Calabi-Yau manifolds. We propose to use Jacobi forms as an ansatz for the partition function. For non-compact models, the techniques often provide complete solutions, while for compact models, though it is still not completely solvable, we compute to higher genus than previous works. Second, we explore a remarkable connection of refined topological strings on a class of non-compact toric Calabi-Yau threefolds with non-perturbative effects in quantum-mechanical systems. The connections provide rarely available exact quantization conditions for quantum systems and new insights on non-perturbative formulations of topological string theory.


title: Digital-Analog Quantum Computation

abstract: Digital quantum computing paradigm offers highly-desirable features such as universality, scalability, and quantum error correction. However, physical resource requirements to implement useful error-corrected quantum algorithms are prohibitive in the current era of NISQ devices. As an alternative path to performing universal quantum computation, within the NISQ era limitations, we propose to merge digital single-qubit operations with analog multi-qubit entangling blocks in an approach we call digital-analog quantum computing (DAQC). Along these lines, although the techniques may be extended to any resource, we propose to use unitaries generated by the ubiquitous Ising Hamiltonian for the analog entangling block and we prove its universal character. We construct explicit DAQC protocols for efficient simulations of arbitrary inhomogeneous Ising, two-body, and $M$-body spin Hamiltonian dynamics by means of single-qubit gates and a fixed homogeneous Ising Hamiltonian. Additionally, we compare a sequential approach where the interactions are switched on and off (stepwise~DAQC) with an always-on multi-qubit interaction interspersed by fast single-qubit pulses (banged DAQC). Finally, we perform numerical tests comparing purely digital schemes with DAQC protocols, showing a remarkably better performance of the latter. The proposed DAQC approach combines the robustness of analog quantum computing with the flexibility of digital methods.


title: Shock propagation following an intense explosion: comparison between hydrodynamics and simulations

abstract: The solution for the radial distribution of pressure, density, temperature and flow velocity fields in a blast wave propagating through a medium at rest, following an intense explosion, starting from hydrodynamic equations, is one of the classic problems in gas dynamics. However, there is very little direct verification of the theory and its assumptions from simulations of microscopic models. In this paper, we compare the results and assumptions of the hydrodynamic theory with results from large scale event driven molecular dynamics simulations of a hard sphere gas in three dimensions. We find that the predictions for the radial distribution of the thermodynamic quantities do not match well with the numerical data. We improve the theory by replacing the ideal gas law with a more realistic virial equation of state for the hard sphere gas. While this improves the theoretical predictions, we show that they still fail to describe the data well. To understand the reasons for this discrepancy, the different assumptions of the hydrodynamic theory are tested within the simulations. A key assumption of the theory is the existence of a local equation of state. We validate this assumption by showing that the local pressure, temperature and density obey the equation of state for a hard sphere gas. However, the probability distribution of the velocity fluctuations has non-gaussian tails, especially away from the shock front, showing that the assumption of local equilibrium is violated. This, along with neglect of heat conduction, could be the possible reasons for the mismatch between theory and simulations.


title: Crossfire Attack Detection using Deep Learning in Software Defined ITS Networks

abstract: Recent developments in intelligent transport systems (ITS) based on smart mobility significantly improves safety and security over roads and highways. ITS networks are comprised of the Internet-connected vehicles (mobile nodes), roadside units (RSU), cellular base stations and conventional core network routers to create a complete data transmission platform that provides real-time traffic information and enable prediction of future traffic conditions. However, the heterogeneity and complexity of the underlying ITS networks raise new challenges in intrusion prevention of mobile network nodes and detection of security attacks due to such highly vulnerable mobile nodes. In this paper, we consider a new type of security attack referred to as crossfire attack, which involves a large number of compromised nodes that generate low-intensity traffic in a temporally coordinated fashion such that target links or hosts (victims) are disconnected from the rest of the network. Detection of such attacks is challenging since the attacking traffic flows are indistinguishable from the legitimate flows. With the support of software-defined networking that enables dynamic network monitoring and traffic characteristic extraction, we develop a machine learning model that can learn the temporal correlation among traffic flows traversing in the ITS network, thus differentiating legitimate flows from coordinated attacking flows. We use different deep learning algorithms to train the model and study the performance using Mininet-WiFi emulation platform. The results show that our approach achieves a detection accuracy of at least 80%.


title: Deep Learning Power Allocation in Massive MIMO

abstract: This work advocates the use of deep learning to perform max-min and max-prod power allocation in the downlink of Massive MIMO networks. More precisely, a deep neural network is trained to learn the map between the positions of user equipments (UEs) and the optimal power allocation policies, and then used to predict the power allocation profiles for a new set of UEs' positions. The use of deep learning significantly improves the complexity-performance trade-off of power allocation, compared to traditional optimization-oriented methods. Particularly, the proposed approach does not require the computation of any statistical average, which would be instead necessary by using standard methods, and is able to guarantee near-optimal performance.


title: On existence of normal p-complement of finite groups with restrictions on the conjugacy class sizes

abstract: The greatest power of a prime $p$ dividing the natural number $n$ will be denoted by $n_p$. Let $Ind_G(g)=|G:C_G(g)|$. Suppose that $G$ is a finite group and $p$ is a prime. We prove that if there exists an integer $\alpha>0$ such that $Ind_G(a)_p\in \{1,p^{\alpha}\}$ for every $a$ of $G$ and a $p$-element $x\in G$ such that $Ind_G(x)_p>1$, then $G$ includes a normal $p$-complement.


title: Solutions of the Yamabe Equation By Lyapunov-Schmidt Reduction

abstract: Given any closed Riemannian manifold $(M,g)$ we use the Lyapunov-Schmidt finite-dimensional reduction method and the classical Morse and Lusternick-Schnirelmann theories to prove multiplicity results for positive solutions of a subcritical Yamabe type equation on $(M,g)$. If $(N,h)$ is a closed Riemannian manifold of constant positive scalar curvature we obtain multiplicity results for the Yamabe equation on the Riemannian product $(M\times N , g + \ve^2 h )$, for $\ve >0$ small. For example, if $M$ is a closed Riemann surface of genus ${\bf g}$ and $(N,h) = (S^2 , g_0)$ is the round 2-sphere, we prove that for $\ve >0$ small enough and a generic metric $g$ on $M$, the Yamabe equation on $(M\times S^2 , g + \ve^2 g_0 )$ has at least $2 + 2 {\bf g}$ solutions.


title: Increasing trend of scientists to switch between topics

abstract: We analyze the publication records of individual scientists, aiming to quantify the topic switching dynamics of scientists and its influence. For each scientist, the relations among her publications are characterized via shared references. We find that the co-citing network of the papers of a scientist exhibits a clear community structure where each major community represents a research topic. Our analysis suggests that scientists tend to have a narrow distribution of the number of topics. However, researchers nowadays switch more frequently between topics than those in the early days. We also find that high switching probability in early career (<12y) is associated with low overall productivity, while it is correlated with high overall productivity in latter career. Interestingly, the average citation per paper, however, is in all career stages negatively correlated with the switching probability. We propose a model with exploitation and exploration mechanisms that can explain the main observed features.


title: Post-Selection Inference for Changepoint Detection Algorithms with Application to Copy Number Variation Data

abstract: Changepoint detection methods are used in many areas of science and engineering, e.g., in the analysis of copy number variation data, to detect abnormalities in copy numbers along the genome. Despite the broad array of available tools, methodology for quantifying our uncertainty in the strength (or presence) of given changepoints, post-detection, are lacking. Post-selection inference offers a framework to fill this gap, but the most straightforward application of these methods results in low-powered tests and leaves open several important questions about practical usability. In this work, we carefully tailor post-selection inference methods towards changepoint detection, focusing as our main scientific application on copy number variation data. As for changepoint algorithms, we study binary segmentation, and two of its most popular variants, wild and circular, and the fused lasso. We implement some of the latest developments in post-selection inference theory: we use auxiliary randomization to improve power, which requires implementations of MCMC algorithms (importance sampling and hit-and-run sampling) to carry out our tests. We also provide recommendations for improving practical useability, detailed simulations, and an example analysis on array comparative genomic hybridization (CGH) data.


title: Comparing galaxy morphology in hydrodynamical simulation and in semi-analytic model

abstract: We compare galaxy morphology predicted by the Illustris hydrodynamical simulation and a semi-analytic model (SAM) grafted in the halo merger trees from the Illustris-Dark matter simulation. Morphology is classified according to the luminous profile and the kinematic bulge-to-total ratio for Illustris galaxy, and the bulge-to-total stellar mass ratio for SAM galaxy. For late-type galaxies in the Illustris catalogue, most of their counterparts in the SAM model have the same type, and the consistency between two models is higher for lower mass galaxies. For early-type (ET) galaxies in Illustris, the consistency is quite low for the counterparts except for most massive galaxies. By comparing in detail the growth histories of some matched galaxy pairs of Milky Way mass in Illustris and the SAM model, we notice two aspects of differences in determining galaxy morphology between the two galaxy formation implementations. First, in the SAM, major merger and frequent minor mergers result in the growth of bulges and turn the galaxy into ET, while bulge formation is not connected to mergers as tightly as in SAM for the Illustris galaxies. In addition, the satellite stellar mass can decrease significantly due to tidal stripping before merging into the central galaxy in Illustris, while it does not decrease in the SAM model. This results in less mergers with large (stellar) mass ratios in the Illustris simulation, and less effect of mergers on shaping galaxy morphology.


title: Quasiparticle Bound States around Fractional Vortices in s-wave Superconductor

abstract: Since the experimental formation of a vortex with a fractional quantized magnetic flux in a thin superconducting $s$-wave bi-layer was recently reported, we calculate the local density of states (LDOS) around two half quantum vortices in a $s$-wave superconductor on the basis of the quasiclassical Eilenberger theory to investigate the effect of the phase discontinuity. We show that the LDOS pattern around fractional vortices is qualitatively different from that around conventional vortex. We find that the novel bow-tie-shaped bound states appear in the high energy region, which can be an evidence for the fractional vortices through scanning tunneling microscopy/spectroscopy. We also show that the system with $n$ fractional vortices with the vorticity $1/n$ has a similarity to the Josephson junctions.


title: Factored Pose Estimation of Articulated Objects using Efficient Nonparametric Belief Propagation

abstract: Robots working in human environments often encounter a wide range of articulated objects, such as tools, cabinets, and other jointed objects. Such articulated objects can take an infinite number of possible poses, as a point in a potentially high-dimensional continuous space. A robot must perceive this continuous pose to manipulate the object to a desired pose. This problem of perception and manipulation of articulated objects remains a challenge due to its high dimensionality and multi-modal uncertainty. In this paper, we propose a factored approach to estimate the poses of articulated objects using an efficient nonparametric belief propagation algorithm. We consider inputs as geometrical models with articulation constraints, and observed RGBD sensor data. The proposed framework produces object-part pose beliefs iteratively. The problem is formulated as a pairwise Markov Random Field (MRF) where each hidden node (continuous pose variable) is an observed object-part's pose and the edges denote the articulation constraints between the parts. We propose articulated pose estimation by Pull Message Passing algorithm for Nonparametric Belief Propagation (PMPNBP) and evaluate its convergence properties over scenes with articulated objects.


title: Variational Nonparametric Discriminant Analysis

abstract: Variable selection and classification are common objectives in the analysis of high-dimensional data. Most such methods make distributional assumptions that may not be compatible with the diverse families of distributions data can take. A novel Bayesian nonparametric discriminant analysis model that performs both variable selection and classification within a seamless framework is proposed. P{\'o}lya tree priors are assigned to the unknown group-conditional distributions to account for their uncertainty, and allow prior beliefs about the distributions to be incorporated simply as hyperparameters. The adoption of collapsed variational Bayes inference in combination with a chain of functional approximations led to an algorithm with low computational cost. The resultant decision rules carry heuristic interpretations and are related to an existing two-sample Bayesian nonparametric hypothesis test. By an application to some simulated and publicly available real datasets, the proposed method exhibits good performance when compared to current state-of-the-art approaches.


title: Generalized fractional maximal and integral operators on Orlicz and generalized Orlicz--Morrey spaces of the third kind

abstract: In the present paper, we will characterize the boundedness of the generalized fractional integral operators $I_{\rho}$ and the generalized fractional maximal operators $M_{\rho}$ on Orlicz spaces, respectively. Moreover, we will give a characterization for the Spanne-type boundedness and the Adams-type boundedness of the operators $M_{\rho}$ and $I_{\rho}$ on generalized Orlicz--Morrey spaces, respectively. Also we give criteria for the weak versions of the Spanne-type boundedness and the Adams-type boundedness of the operators $M_{\rho}$ and $I_{\rho}$ on generalized Orlicz--Morrey spaces.


title: Machine Learning-based Link Fault Identification and Localization in Complex Networks

abstract: With the proliferation of network devices and rapid development in information technology, networks such as Internet of Things are increasing in size and becoming more complex with heterogeneous wired and wireless links. In such networks, link faults may result in a link disconnection without immediate replacement or a link reconnection, e.g., a wireless node changes its access point. Identifying whether a link disconnection or a link reconnection has occurred and localizing the failed link become a challenging problem. An active probing approach requires a long time to probe the network by sending signaling messages on different paths, thus incurring significant communication delay and overhead. In this paper, we adopt a passive approach and develop a three-stage machine learning-based technique, namely ML-LFIL that identifies and localizes link faults by analyzing the measurements captured from the normal traffic flows, including aggregate flow rate, end-to-end delay and packet loss. ML-LFIL learns the traffic behavior in normal working conditions and different link fault scenarios. We train the learning model using support vector machine, multi-layer perceptron and random forest. We implement ML-LFIL and carry out extensive experiments using Mininet platform. Performance studies show that ML-LFIL achieves high accuracy while requiring much lower fault localization time compared to the active probing approach.


title: Serverless Computing: One Step Forward, Two Steps Back

abstract: Serverless computing offers the potential to program the cloud in an autoscaling, pay-as-you go manner. In this paper we address critical gaps in first-generation serverless computing, which place its autoscaling potential at odds with dominant trends in modern computing: notably data-centric and distributed computing, but also open source and custom hardware. Put together, these gaps make current serverless offerings a bad fit for cloud innovation and particularly bad for data systems innovation. In addition to pinpointing some of the main shortfalls of current serverless architectures, we raise a set of challenges we believe must be met to unlock the radical potential that the cloud---with its exabytes of storage and millions of cores---should offer to innovative developers.


title: On posterior concentration rates for Bayesian quantile regression based on the misspecified asymmetric Laplace likelihood

abstract: The asymmetric Laplace density (ALD) is used as a working likelihood for Bayesian quantile regression. Sriram et al.(2013) derived posterior consistency for Bayesian linear quantile regression based on the misspecified ALD. While their paper also argued for $\sqrt{n}-$consistency, Sriram and Ramamoorthi (2017) highlighted that the argument was only valid for a rate less than $\sqrt{n}$. So, the question of $\sqrt{n}-$rate has remained unaddressed, but is necessary to carry out meaningful Bayesian inference based on the ALD. In this paper, we derive results to obtain posterior consistency rates for Bayesian quantile regression based on the misspecified ALD. We derive our results in a slightly general setting where the quantile function can possibly be non-linear. In particular, we give sufficient conditions for $\sqrt{n}-$consistency for the Bayesian linear quantile regression using ALD. We also provide examples of Bayesian non-linear quantile regression.


title: Analysis of the error in constitutive equation approach for time-harmonic elasticity imaging

abstract: We consider the identification of heterogeneous linear elastic moduli in the context of time-harmonic elastodynamics. This inverse problem is formulated as the minimization of the modified error in constitutive equation (MECE), an energy-based cost functional defined as an weighted additive combination $\mathcal{E}+\kappa\mathcal{D}$ of the error in constitutive equation (ECE) $\mathcal{E}$, expressed using an energy seminorm, and a quadratic error term $\mathcal{D}$ incorporating the kinematical measurements. MECE-based identification are known from existing computational evidence to enjoy attractive properties such as improved convexity, robustness to resonant frequencies, and tolerance to incompletely specified boundary conditions (BCs). The main goal of this work is to develop theoretical foundations, in a continuous setting, allowing to explain and justify some of the aforementioned beneficial properties, in particular addressing the general case where BCs may be underspecified. A specific feature of MECE formulations is that forward and adjoint solutions are governed by a fully coupled system, whose mathematical properties play a fundamental role in the qualitative and computational aspects of MECE minimization. We prove that this system has a unique and stable solution at any frequency, provided data is abundant enough (in a sense made precise therein) to at least compensate for any missing information on BCs. As a result, our formulation leads in such situations to a well-defined solution even though the relevant forward problem is not \emph{a priori} clearly defined. This result has practical implications such as applicability of MECE to partial interior data (with important practical applications including ultrasound elastography), convergence of finite element discretizations and differentiability of the reduced MECE functional. In addition, we establish that usual least squares and pure ECE formulations are limiting cases of MECE formulations for small and large values of $\kappa$, respectively. For the latter case, which corresponds to exact enforcement of kinematic data, we furthermore show that the reduced MECE Hessian is asymptotically positive for any parameter perturbation supported on the measurement region, thereby corroborating existing computational evidence on convexity improvement brought by MECE functionals. Finally, numerical studies that support and illustrate our theoretical findings, including a parameter reconstruction example using interior data, are presented.


title: Computational Multiscale Methods for Linear Poroelasticity with High Contrast

abstract: In this work, we employ the Constraint Energy Minimizing Generalized Multiscale Finite Element Method (CEM-GMsFEM) to solve the problem of linear heterogeneous poroelasticity with coefficients of high contrast. The proposed method makes use of the idea of energy minimization with suitable constraints in order to generate efficient basis functions for the displacement and the pressure. These basis functions are constructed by solving a class of local auxiliary optimization problems based on eigenfunctions containing local information on the heterogeneity. Techniques of oversampling are adapted to enhance the computational performance. Convergence of first order is shown and illustrated by a number of numerical tests.