title: Preference-based Multiobjective Virtual Machine Placement: A Ceteris Paribus Approach

abstract: This work adopts the notion of Ceteris Paribus (CP) as an interpretation of the Decision Maker (DM) preferences and incorporates it in a constrained multiobjective problem known as virtual machine placement (VMP). VMP is an essential multiobjective problem in the design and operation of cloud data centers concerned about placing each virtual machine to a physical machine (a server) in the data center. We analyze the effectiveness of CP interpretation on VMP problems and propose an NSGA-II variant with which preferred solutions are returned at almost no extra time cost.


title: An energy-conserving and asymptotic-preserving charged-particle orbit implicit time integrator for arbitrary electromagnetic fields

abstract: We present a new implicit asymptotic preserving time integration scheme for charged-particle orbit computation in arbitrary electromagnetic fields. The scheme is built on the Crank-Nicolson integrator and continues to recover full-orbit motion in the small time-step limit, but also recovers all the first-order guiding center drifts as well as the correct gyroradius when stepping over the gyration time-scale. In contrast to previous efforts in this direction, the new scheme also features exact energy conservation. In the derivation of the scheme, we find that a new numerical time-scale is introduced. This scale is analyzed and the resulting restrictions on time-step are derived. Based on this analysis, we develop an adaptive time-stepping strategy the respects these constraints while stepping over the gyration scale when physically justified. It is shown through numerical tests on single-particle motion that the scheme's energy conservation property results in tremendous improvements in accuracy, and that the scheme is able to transition smoothly between magnetized and unmagnetized regimes as a result of the adaptive time-stepping.


title: Opportunities for lattice QCD in quark and lepton flavor physics

abstract: This document is one of a series of whitepapers from the USQCD collaboration. Here, we discuss opportunities for lattice QCD in quark and lepton flavor physics. New data generated at Belle II, LHCb, BES III, NA62, KOTO, and Fermilab E989, combined with precise calculations of the relevant hadronic physics, may reveal what lies beyond the Standard Model. We outline a path toward improvements of the precision of existing lattice-QCD calculations and discuss groundbreaking new methods that allow lattice QCD to access new observables.


title: Partial Correlations in Compositional Data Analysis

abstract: Partial correlations quantify linear association between two variables adjusting for the influence of the remaining variables. They form the backbone for graphical models and are readily obtained from the inverse of the covariance matrix. For compositional data, the covariance structure is specified from log ratios of variables, so unless we try to "open" the data via a normalization, this implies changes in the definition and interpretation of partial correlations. In the present work, we elucidate how results derived by Aitchison (1986) lead to a natural definition of partial correlation that has a number of advantages over current measures of association. For this, we show that the residuals of log-ratios between a variable with a reference, when adjusting for all remaining variables including the reference, are reference-independent. Since the reference itself can be controlled for, correlations between residuals are defined for the variables directly without the necessity to recur to ratios except when specifying which variables are partialled out. Thus, perhaps surprisingly, partial correlations do not have the problems commonly found with measures of pairwise association on compositional data. They are well-defined between two variables, are properly scaled, and allow for negative association. By design, they are subcompositionally incoherent, but they share this property with conventional partial correlations (where results change when adjusting for the influence of fewer variables). We discuss the equivalence with normalization-based approaches whenever the normalizing variables are controlled for. We also discuss the partial variances and correlations we obtain from a previously studied data set of Roman glass cups.


title: An Improved Algorithm for hypot(a,b)

abstract: We develop a fast and accurate algorithm for evaluating $\sqrt{a^2+b^2}$ for two floating point numbers $a$ and $b$. Library functions that perform this computation are generally named {\tt hypot(a,b)}. We will compare four approaches that we will develop in this paper to the current resident library function that is delivered with Julia 1.1 and to the code that has been distributed with the C math library for decades. We will demonstrate the performance of our algorithms by simulation.


title: Improving Multi-Task Deep Neural Networks via Knowledge Distillation for Natural Language Understanding

abstract: This paper explores the use of knowledge distillation to improve a Multi-Task Deep Neural Network (MT-DNN) (Liu et al., 2019) for learning text representations across multiple natural language understanding tasks. Although ensemble learning can improve model performance, serving an ensemble of large DNNs such as MT-DNN can be prohibitively expensive. Here we apply the knowledge distillation method (Hinton et al., 2015) in the multi-task learning setting. For each task, we train an ensemble of different MT-DNNs (teacher) that outperforms any single model, and then train a single MT-DNN (student) via multi-task learning to \emph{distill} knowledge from these ensemble teachers. We show that the distilled MT-DNN significantly outperforms the original MT-DNN on 7 out of 9 GLUE tasks, pushing the GLUE benchmark (single model) to 83.7\% (1.5\% absolute improvement\footnote{ Based on the GLUE leaderboard at https://gluebenchmark.com/leaderboard as of April 1, 2019.}). The code and pre-trained models will be made publicly available at https://github.com/namisan/mt-dnn.


title: CleanML: A Study for Evaluating the Impact of Data Cleaning on ML Classification Tasks

abstract: Data quality affects machine learning (ML) model performances, and data scientists spend considerable amount of time on data cleaning before model training. However, to date, there does not exist a rigorous study on how exactly cleaning affects ML -- ML community usually focuses on developing ML algorithms that are robust to some particular noise types of certain distributions, while database (DB) community has been mostly studying the problem of data cleaning alone without considering how data is consumed by downstream ML analytics. We propose a CleanML study that systematically investigates the impact of data cleaning on ML classification tasks. The open-source and extensible CleanML study currently includes 14 real-world datasets with real errors, five common error types, seven different ML models, and multiple cleaning algorithms for each error type (including both commonly used algorithms in practice as well as state-of-the-art solutions in academic literature). We control the randomness in ML experiments using statistical hypothesis testing, and we also control false discovery rate in our experiments using the Benjamini-Yekutieli (BY) procedure. We analyze the results in a systematic way to derive many interesting and nontrivial observations. We also put forward multiple research directions for researchers.


title: Visualizing the Effect of an Electrostatic Gate with Angle-Resolved Photoemission Spectroscopy

abstract: Electrostatic gating is pervasive in materials science, yet its effects on the electronic band structure of materials has never been revealed directly by angle-resolved photoemission spectroscopy (ARPES), the technique of choice to non-invasively probe the electronic band structure of a material. By means of a state-of-the-art ARPES setup with sub-micron spatial resolution, we have investigated a heterostructure composed of Bernal-stacked bilayer graphene (BLG) on hexagonal boron nitride and deposited on a graphite flake. By voltage biasing the latter, the electric field effect is directly visualized on the valence band as well as on the carbon 1s core level of BLG. The band gap opening of BLG submitted to a transverse electric field is discussed and the importance of intralayer screening is put forward. Our results pave the way for new studies that will use momentum-resolved electronic structure information to gain insight on the physics of materials submitted to the electric field effect.


title: Conformational Heterogeneity in Human Interphase Chromosome Organization Reconciles the FISH and Hi-C Paradox

abstract: Hi-C experiments are used to infer the contact probabilities between loci separated by varying genome lengths. Contact probability should decrease as the spatial distance between two loci increases. However, studies comparing Hi-C and FISH data show that in some cases the distance between one pair of loci, with larger Hi-C readout, is paradoxically larger compared to another pair with a smaller value of the contact probability. Here, we show that the FISH-Hi-C paradox can be resolved using a theory based on a Generalized Rouse Model for Chromosomes (GRMC). The FISH-Hi-C paradox arises because the cell population is highly heterogeneous, which means that a given contact is present in only a fraction of cells. Insights from the GRMC is used to construct a theory, without any adjustable parameters, to extract the distribution of subpopulations from the FISH data, which quantitatively reproduces the Hi-C data. Our results show that heterogeneity is pervasive in genome organization at all length scales, reflecting large cell-to-cell variations.


title: Dividing lines in unstable theories and subclasses of Baire 1 functions

abstract: We give a new characterization of $SOP$ (the strict order property) in terms of the behaviour of formulas in any model of the theory as opposed to having to look at the behaviour of indiscernible sequences inside saturated ones. We refine a theorem of Shelah, namely a theory has $OP$ (the order property) if and only if it has $IP$ (the independence property) or $SOP$, in several ways by characterizing various notions in functional analytic style. We point out some connections between dividing lines in first order theories and subclasses of Baire 1 functions, and give new characterizations of some classes and new classes of first order theories.


title: Linear codes over signed graphs

abstract: We give formulas, in terms of graph theoretical invariants, for the minimum distance and the generalized Hamming weights of the linear code generated by the rows of the incidence matrix of a signed graph over a finite field, and for those of its dual code. Then we determine the regularity of the ideals of circuits and cocircuits of a signed graph, and prove an algebraic formula in terms of the multiplicity for the frustration index of an unbalanced signed graph.


title: Exact solutions of the sextic oscillator from the bi-confluent Heun equation

abstract: The sextic oscillator is discussed as a potential obtained from the bi-confluent Heun equation after a suitable variable transformation. Following earlier results, the solutions of this differential equation are expressed as a series expansion of Hermite functions with shifted and scaled arguments. The expansion coefficients are obtained from a three-term recurrence relation. It is shown that this construction leads to the known quasi-exactly solvable form of the sextic oscillator when some parameters are chosen in a specific way. By forcing the termination of the recurrence relation, the Hermite functions turn into Hermite polynomials with shifted arguments, and, at the same time, a polynomial expression is obtained for one of the parameters, the roots of which supply the energy eigenvalues. With the $\delta=0$ choice the quartic potential term is cancelled, leading to the {\it reduced} sextic oscillator. It was found that the expressions for the energy eigenvalues and the corresponding wave functions of this potential agree with those obtained from the quasi-exactly solvable formalism. Possible generalizations of the method are also presented.


title: Compression and Localization in Reinforcement Learning for ATARI Games

abstract: Deep neural networks have become commonplace in the domain of reinforcement learning, but are often expensive in terms of the number of parameters needed. While compressing deep neural networks has of late assumed great importance to overcome this drawback, little work has been done to address this problem in the context of reinforcement learning agents. This work aims at making first steps towards model compression in an RL agent. In particular, we compress networks to drastically reduce the number of parameters in them (to sizes less than 3% of their original size), further facilitated by applying a global max pool after the final convolution layer, and propose using Actor-Mimic in the context of compression. Finally, we show that this global max-pool allows for weakly supervised object localization, improving the ability to identify the agent's points of focus.


title: Non-realizability of the Torelli group as area-preserving homeomorphisms

abstract: Nielsen realization problem for the mapping class group $\text{Mod}(S_g)$ asks whether the natural projection $p_g: \text{Homeo}_+(S_g)\to \text{Mod}(S_g)$ has a section. While all the previous results use torsion elements in an essential way, in this paper, we focus on the much more difficult problem of realization of torsion-free subgroups of $\text{Mod}(S_g)$. The main result of this paper is that the Torelli group has no realization inside the area-preserving homeomorphisms.


title: Energy-based Self-attentive Learning of Abstractive Communities for Spoken Language Understanding

abstract: Abstractive community detection is an important spoken language understanding task, whose goal is to group utterances in a conversation according to whether they can be jointly summarized by a common abstractive sentence. This paper provides a novel approach to this task. We first introduce a neural contextual utterance encoder featuring three types of self-attention mechanisms. We then train it using the siamese and triplet energy-based meta-architectures. Experiments on the AMI corpus show that our system outperforms multiple energy-based and non-energy based baselines from the state-of-the-art. Code and data are publicly available.


title: Alexandroff Topology of Algebras over an Integral Domain

abstract: Let $S$ be an integral domain with field of fractions $F$ and let $A$ be an $F$-algebra. An $S$-subalgebra $R$ of $A$ is called $S$-nice if $R$ is lying over $S$ and the localization of $R$ with respect to $S \setminus \{ 0 \}$ is $A$. Let $\mathbb S$ be the set of all $S$-nice subalgebras of $A$. We define a notion of open sets on $\mathbb S$ which makes this set a $T_0$ Alexandroff space. This enables us to study the algebraic structure of $\mathbb S$ from the point of view of topology. We prove that an irreducible subset of $\mathbb S$ has a supremum with respect to the specialization order. We present equivalent conditions for an open set of $\mathbb S$ to be irreducible, and characterize the irreducible components of $\mathbb S$


title: Acceleration of the Power Method with Dynamic Mode Decomposition

abstract: Presented is an algorithm based on dynamic mode decomposition (DMD) for acceleration of the power method (PM). The power method is a simple technique for determining the dominant eigenmode of an operator $\mathbf{A}$, and variants of the power method are widely used in reactor analysis. Dynamic mode decomposition is an algorithm for decomposing a time-series of spatially-dependent data and producing an explicit-in-time reconstruction for that data. By viewing successive power-method iterates as snapshots of a time-varying system tending toward a steady state, DMD can be used to predict that steady state using (a sometime surprisingly small) $n$ iterates. The process of generating snapshots with the power method and extrapolating forward with DMD can be repeated. The resulting restarted, DMD-accelerated power method (or DMD-PM($n$)) was applied to the two-dimensional IAEA diffusion benchmark and compared to the unaccelerated power method and Arnoldi's method. Results indicate that DMD-PM($n$) can reduce the number of power iterations required by approximately a factor of 5. However, Arnoldi's method always outperformed DMD-PM($n$) for an equivalent number of matrix-vector products $\mathbf{Av}$. In other words, DMD-PM($n$) cannot compete with leading eigensolvers if one is not limited to snapshots produced by the power method. Contrarily, DMD-PM($n$) can be readily applied as a post process to existing power-method applications for which Arnoldi and similar methods are not directly applicable. A slight variation of the method was also found to produce reasonable approximations to the first and second harmonics without substantially affecting convergence of the dominant mode.


title: Phenomenology of Higgs bosons in inverse seesaw model with Type-X two Higgs doublet at the LHC

abstract: Type-X two Higgs doublet model is known to explain the muon $g-2$ anomaly with a relatively light charged Higgs boson at large $\tan\beta$. The light charged Higgs boson has been searched in the main $\tau \nu$ mode at the colliders. Invoking a scenario of inverse seesaw as the origin of neutrino masses and mixing, the charged Higgs boson can decay additionally to right-handed neutrinos which leads to interesting phenomenology. Considering generic lepton flavour violating signatures at the final states, a $5\sigma$ discovery can be achieved with the early data of LHC, at 14 TeV, for relatively large inverse seesaw Yukawa coupling $Y_N$. The very light pseudoscalar and charged Higgs boson mass reconstruction are performed using the new modes and the results look promising. The inverse seesaw Yukawa coupling is shown to be probed down to $Y_N \sim 0.2$ at HL LHC with 3000 fb$^{-1}$.


title: Development of routing algorithms in networks-on-chip based on ring circulant topologies

abstract: This work is devoted to the study of communication subsystem of networks-onchip (NoCs) development with an emphasis on their topologies. The main characteristics of NoC topologies and the routing problem in NoCs with various topologies are considered. It is proposed to use two-dimensional circulant topologies for NoC design, since they have significantly better characteristics than most common mesh and torus topologies, and, in contrast to many other approaches to improving topologies, have a regular structure. The emphasis is on using ring circulants which although in some cases have somewhat worse characteristics than the optimal circulants, compensate by one-length first generatrix in such graphs that greatly facilitate routing in them. The paper considers three different approaches to routing in NoCs with ring circulant topology: Table routing, Clockwise routing, and Adaptive routing. The algorithms of routing are proposed, the results of synthesis of routers, based on them, are presented, and the cost of chip resources for the implementation of such communication subsystems in NoCs is estimated.


title: Optimal Load Allocation for Coded Distributed Computation in Heterogeneous Clusters

abstract: Recently, coding has been a useful technique to mitigate the effect of stragglers in distributed computing. However, coding in this context has been mainly explored under the assumption of homogeneous workers, although the real-world computing clusters can be often composed of heterogeneous workers that have different computing capabilities. The uniform load allocation without the awareness of heterogeneity possibly causes a significant loss in latency. In this paper, we suggest the optimal load allocation for coded distributed computing with heterogeneous workers. Specifically, we focus on the scenario that there exist workers having the same computing capability, which can be regarded as a group for analysis. We rely on the lower bound on the expected latency and obtain the optimal load allocation by showing that our proposed load allocation achieves the minimum of the lower bound for a sufficiently large number of workers. From numerical simulations, when assuming the group heterogeneity, our load allocation reduces the expected latency by orders of magnitude over the existing load allocation scheme.


title: Interplay between Defects, Disorder and Flexibility in Metal-Organic Frameworks

abstract: Metal-organic frameworks are a novel family of chemically diverse materials, which are of interest across engineering, physics, chemistry, biology, and medicine-based disciplines. Since the development of the field in its current form more than two decades ago, priority has been placed on the synthesis of new structures. However, more recently, a clear trend has emerged in shifting the emphasis from material design to exploring the chemical and physical properties of those already known. In particular --- while such nanoporous materials were traditionally seen as rigid crystalline structures --- there is growing evidence that large-scale flexibility, the presence of defects and long-range disorder, are not the exception, but rather the norm, in metal-organic frameworks. Here we offer some perspective into how these concepts are perhaps inescapably intertwined, highlight recent advances in our understanding, and discuss how a consideration of the interfaces between them may lead to enhancements of the materials' functionalities.


title: Gravitational shockwave on the Kerr-AdS horizon

abstract: I generalize the Dray-'t Hooft gravitational shockwave to the Kerr-AdS background.


title: Total number of $J$ levels for identical particles in a single-$j$ shell using coefficients of fractional parentage

abstract: Analytical expressions of the total number of $J$ levels for three and four fermions in a nuclear $j^n$ shell are provided. The formulas were derived using a combination of sum rules for coefficients of fractional parentage, and "unusual" identities, i.e. which do not contain the weighting factor $(2J + 1)$ involving $6j$ and $9j$ symbols.


title: Auditable Blockchain Randomization Tool

abstract: Randomization is an integral part of well-designed statistical trials, and is also a required procedure in legal systems, see Marcondes et al. (2019) This paper presents an easy to implement randomization protocol that assures, in a formal mathematical setting, a statistically sound, computationally efficient, cryptographically secure, traceable and auditable randomization procedure that is also resistant to collusion and manipulation by participating agents.


title: A new sum rule for Clebsch-Gordan coefficients using generalized characters of irreducible representations of the rotation group

abstract: We present a new sum rule for Clebsch-Gordan coefficients using generalized characters of irreducible representations of the rotation group. The identity is obtained from an integral involving Gegenbauer ultraspherical polynomials. A similar procedure can be applied for other types of integrals of such polynomials, and may therefore lead to the derivation of further new relations.


title: On Weighted Hardy-Type Inequalities

abstract: We revisit weighted Hardy-type inequalities employing an elementary ad hoc approach that yields explicit constants. We also discuss the infinite sequence of power weighted Birman-Hardy-Rellich-type inequalities and derive an operator-valued version thereof.


title: Model-free Deep Reinforcement Learning for Urban Autonomous Driving

abstract: Urban autonomous driving decision making is challenging due to complex road geometry and multi-agent interactions. Current decision making methods are mostly manually designing the driving policy, which might result in sub-optimal solutions and is expensive to develop, generalize and maintain at scale. On the other hand, with reinforcement learning (RL), a policy can be learned and improved automatically without any manual designs. However, current RL methods generally do not work well on complex urban scenarios. In this paper, we propose a framework to enable model-free deep reinforcement learning in challenging urban autonomous driving scenarios. We design a specific input representation and use visual encoding to capture the low-dimensional latent states. Several state-of-the-art model-free deep RL algorithms are implemented into our framework, with several tricks to improve their performance. We evaluate our method in a challenging roundabout task with dense surrounding vehicles in a high-definition driving simulator. The result shows that our method can solve the task well and is significantly better than the baseline.


title: Functional brain network architecture supporting the learning of social networks in humans

abstract: Most humans have the good fortune to live their lives embedded in richly structured social groups. Yet, it remains unclear how humans acquire knowledge about these social structures to successfully navigate social relationships. Here we address this knowledge gap with an interdisciplinary neuroimaging study drawing on recent advances in network science and statistical learning. Specifically, we collected BOLD MRI data while participants learned the community structure of both social and non-social networks, in order to examine whether the learning of these two types of networks was differentially associated with functional brain network topology. From the behavioral data in both tasks, we found that learners were sensitive to the community structure of the networks, as evidenced by a slower reaction time on trials transitioning between clusters than on trials transitioning within a cluster. From the neuroimaging data collected during the social network learning task, we observed that the functional connectivity of the hippocampus and temporoparietal junction was significantly greater when transitioning between clusters than when transitioning within a cluster. Furthermore, temporoparietal regions of the default mode were more strongly connected to hippocampus, somatomotor, and visual regions during the social task than during the non-social task. Collectively, our results identify neurophysiological underpinnings of social versus non-social network learning, extending our knowledge about the impact of social context on learning processes. More broadly, this work offers an empirical approach to study the learning of social network structures, which could be fruitfully extended to other participant populations, various graph architectures, and a diversity of social contexts in future studies.


title: Prediction of flexibility of metal-organic frameworks CAU-13 and NOTT-300 by first principles molecular simulations

abstract: Based on first principles calculations, we predict and characterize the flexibility of two aluminium-based Metal-Organic Frameworks (MOFs), CAU-13 and NOTT-300. Both materials have a wine rack topology similar to that of MIL-53(Al), the archetypal breathing MOF, yet their flexibility has not been demonstrated so far.


title: Continuous-variable ramp quantum secret sharing with Gaussian states and operations

abstract: Our aim is to formulate continuous-variable quantum secret sharing as a continuous-variable ramp quantum secret sharing protocol, provide a certification procedure for it and explain the criteria for the certification. Here we introduce a technique for certifying continuous-variable ramp quantum secret-sharing schemes in the framework of quantum interactive-proof systems. We devise pseudocodes in order to represent the sequence of steps taken to solve the certification problem. Furthermore, we derive the expression for quantum mutual information between the quantum secret extracted by any multi-player structure and the share held by the referee corresponding to the Tyc-Rowe-Sanders continuous-variable quantum secret-sharing scheme. We solve by converting the Tyc-Rowe-Sanders position representation for the state into a Wigner function from which the covariance matrix can be found, then insert the covariance matrix into the standard formula for continuous-variable quantum mutual information to obtain quantum mutual information in terms of squeezing. Our quantum mutual information result quantifies the leakage of the ramp quantum secret-sharing schemes.


title: Social Ways: Learning Multi-Modal Distributions of Pedestrian Trajectories with GANs

abstract: This paper proposes a novel approach for predicting the motion of pedestrians interacting with others. It uses a Generative Adversarial Network (GAN) to sample plausible predictions for any agent in the scene. As GANs are very susceptible to mode collapsing and dropping, we show that the recently proposed Info-GAN allows dramatic improvements in multi-modal pedestrian trajectory prediction to avoid these issues. We also left out L2-loss in training the generator, unlike some previous works, because it causes serious mode collapsing though faster convergence. We show through experiments on real and synthetic data that the proposed method leads to generate more diverse samples and to preserve the modes of the predictive distribution. In particular, to prove this claim, we have designed a toy example dataset of trajectories that can be used to assess the performance of different methods in preserving the predictive distribution modes.


title: What makes zeolitic imidazolate frameworks hydrophobic or hydrophilic? The impact of geometry and functionalization on water adsorption

abstract: We demonstrate, by means of Grand Canonical Monte Carlo simulation on different members of the ZIF family, how topology, geometry, and linker functionalization drastically affect the water adsorption properties of these materials, tweaking the ZIF materials from hydrophobic to hydrophilic. We show that adequate functionalization of the linkers allows one to tune the host-guest interactions, even featuring dual amphiphilic materials whose pore space features both hydrophobic and hydrophilic regions. Starting from an initially hydrophobic material (ZIF-8), various degrees of hydrophilicity could be obtained, with a gradual evolution from a type V adsorption isotherm in the liquid phase to a type I isotherm in the gas phase. This behavior is similar to what was described earlier in families of hydrophobic all-silica zeolites, with hydrophilic "defects" of various strength, such as silanol nests or the presence of extra-framework cations.


title: Quasinormal modes of dS and AdS Black Holes: Feedforward neural network method

abstract: In this paper, we show how the quasinormal modes (QNMs) arise from the perturbations of massive scalar fields propagating in the curved background by using the artificial neural networks. To this end, we architect a special algorithm for the feedforward neural network method (FNNM) to compute the QNMs complying with the certain types of boundary conditions. To test the reliability of the method, we consider two black hole spacetimes whose QNMs are well-known: $4D$ pure de Sitter (dS) and five-dimensional Schwarzschild anti-de Sitter (AdS) black holes. Using the FNNM, the QNMs of are computed numerically. It is shown that the obtained QNMs via the FNNM are in good agreement with their former QNM results resulting from the other methods. Therefore, our method of finding the QNMs can be used for other curved spacetimes that obey the same boundary conditions.


title: Bound electron pairs formed by the spin-orbit interaction in 2D gated structures

abstract: We explore the bound electron pairs (BEPs) arising due to the pair spin-orbit interaction (PSOI) in two-dimensional structures with a gate that can allow the BEPs to be manipulated. The gate breaks the in-plane reflection symmetry of the pair Coulomb field and creates a one-particle Rashba spin-orbit interaction. We find that the normal component of the electric field substantially affects the BEPs but the key role in forming the BEPs belongs to the in-plane component. The ground state of a BEP with zero total momentum, which is doubly degenerate in the absence of the gate, splits into two states. One of them is tunable by varying the gate voltage whereas the other is on the contrary robust. The tunable BEP has a higher binding energy which grows as the gate voltage increases, with its orbital and spin structure changing continuously. At the large negative voltage the tunable BEP decays. The orbital and spin structure of the robust BEP does not depend on the gate voltage. Its energy level crosses the conduction band bottom at high gate voltage of any polarity, but the robust BEP remains bound and localized even when in continuum.


title: The Elliptic Drinfeld Center of a Premodular Category

abstract: Given a tensor category C, one constructs its Drinfeld center Z(C) which is a braided tensor category, having as objects pairs (X, lambda), where X in Obj(C) and lambda is a half-braiding. For a premodular category C, we construct a new category Zel(C) which we call the Elliptic Drinfeld Center, which has objects (X, lambda1, lambda2), where the lambda i's are half-braidings that satisfy some compatibility conditions. We discuss an SL2(Z)-action on Zel(C) that is related to the anomaly appearing in Reshetikhin-Turaev theory. This construction is motivated from the study of the extended Crane-Yetter TQFT, in particular the category associated to the once punctured torus.


title: Hadrons and Nuclei

abstract: This document is one of a series of whitepapers from the USQCD collaboration. Here, we discuss opportunities for lattice QCD calculations related to the structure and spectroscopy of hadrons and nuclei. An overview of recent lattice calculations of the structure of the proton and other hadrons is presented along with prospects for future extensions. Progress and prospects of hadronic spectroscopy and the study of resonances in the light, strange and heavy quark sectors is summarized. Finally, recent advances in the study of light nuclei from lattice QCD are addressed, and the scope of future investigations that are currently envisioned is outlined.


title: On Modification of an Adaptive Stochastic Mirror Descent Algorithm for Convex Optimization Problems with Functional Constraints

abstract: This paper is devoted to a new modification of a recently proposed adaptive stochastic mirror descent algorithm for constrained convex optimization problems in the case of several convex functional constraints. Algorithms, standard and its proposed modification, are considered for the type of problems with non-smooth Lipschitz-continuous convex objective function and convex functional constraints. Both algorithms, with an accuracy $\varepsilon$ of the approximate solution to the problem, are optimal in the terms of lower bounds of estimates and have the complexity $O\left( \varepsilon^{-2} \right)$. In both algorithms, the precise first-order information, which connected with (sub)gradient of the objective function and functional constraints, is replaced with its unbiased stochastic estimates. This means that in each iteration, we can still use the value of the objective function and functional constraints at the research point, but instead of their (sub)gradient, we calculate their stochastic (sub)gradient. Due to the consideration of not all functional constraints on non-productive steps, the proposed modification allows saving the running time of the algorithm. Estimates for the rate of convergence of the proposed modified algorithm is obtained. The results of numerical experiments demonstrating the advantages and the efficient of the proposed modification for some examples are also given.


title: High Dimensional Process Monitoring Using Robust Sparse Probabilistic Principal Component Analysis

abstract: High dimensional data has introduced challenges that are difficult to address when attempting to implement classical approaches of statistical process control. This has made it a topic of interest for research due in recent years. However, in many cases, data sets have underlying structures, such as in advanced manufacturing systems. If extracted correctly, efficient methods for process control can be developed. This paper proposes a robust sparse dimensionality reduction approach for correlated high-dimensional process monitoring to address the aforementioned issues. The developed monitoring technique uses robust sparse probabilistic PCA to reduce the dimensionality of the data stream while retaining interpretability. The proposed methodology utilizes Bayesian variational inference to obtain the estimates of a probabilistic representation of PCA. Simulation studies were conducted to verify the efficacy of the proposed methodology. Furthermore, we conducted a case study for change detection for in-line Raman spectroscopy to validate the efficiency of our proposed method in a practical scenario.


title: Abundance of arithmetic progressions in some combiantorially large sets

abstract: Furstenberg and Glasner proved that for an arbitrary k in N, any piecewise syndetic set contains k length arithmetic progression and such collection is also piecewise syndetic in Z: They used algebraic structure of beta N. The above result was extended for arbitrary semigroups by Bergelson and Hindman, again using the structure of Stone-Cech compactification of general semigroup. However they provided the abundances for various types of large sets. But the abundances in in many large sets is still unknown. In this work we will provide the abundance in Quasi Central sets, J-sets and C-sets.


title: EOP: An Encryption-Obfuscation Solution for Protecting PCBs Against Tampering and Reverse Engineering

abstract: PCBs are the core components for the devices ranging from the consumer electronics to military applications. Due to the accessibility of the PCBs, they are vulnerable to the attacks such as probing, eavesdropping, and reverse engineering. In this paper, a solution named EOP is proposed to migrate these threats. EOP encrypts the inter-chip communications with the stream cipher. The encryption and decryption are driven by the dedicated clock modules. These modules guarantee the stream cipher is correctly synchronized and free from tampering. Additionally, EOP also incorporates the PCB-level obfuscation for protection against reverse engineering. EOP is designated to be accomplished by utilizing the COTS components. For the validation, EOP is implemented in a Zynq SoC based system. Both the normal operation and tampering detection performance are verified. The results show that EOP can deliver the data from one chip to another without any errors. It is proved to be sensitive to any active tampering attacks.


title: The Trace Formula and the Proof of the Global Jacquet-Langlands Correspondence

abstract: This is a survey of the proof of the global Jacquet-Langlands correspondence between GL_n and general inner forms, in characteristic zero. The proof is given after a long introduction recalling in some detail the objects and results involved. The paper is based on the notes of the lectures I gave at the doctoral school in CIRM 2016 (Jean-Morlet Chair) organized by Dipendra Prasad, Volker Heiermann and Fiona Murnaghan. It appeared in 2018 in the volume Relative Aspects in Representation Theory, Langlands Functoriality and Automorphic Forms (LNM 2221).


title: One mask to rule them all: Writing arbitrary distributions of radiant exposure by scanning a single illuminated spatially-random screen

abstract: Arbitrary distributions of radiant exposure may be written by transversely scanning a single known spatially-random screen that is normally illuminated by spatially but not necessarily temporally uniform radiation or matter wave fields. The arbitrariness, of the written pattern of radiant exposure, holds up to both (i) a spatial resolution that is dictated by the characteristic transverse length scale of the illuminated spatially random screen, and (ii) a background term that grows linearly with the number of random-illumination patterns. Two classes of the method are developed. The former assumes the distance between the illuminated random mask and the target plane to be sufficiently small that the effects of diffraction may be neglected. The latter accounts for the effects of Fresnel diffraction in the regime of large Fresnel number. Numerical simulations are provided for both variants of the method. Contrast and signal-to-noise ratio are also considered. The method may be parallelized, and is suited to both magnifying and de-magnifying geometries. Possible applications include spatial light modulators and intensity projectors for those matter and radiation wave fields for which such devices do not exist, printing or micro-fabrication in both two and three spatial dimensions, and lithography.


title: Multiple equilibria in fingering double diffusive convection turbulence

abstract: We report here some intriguing properties of fingering double diffusive convection turbulence, i.e. convection flow driven simultaneously by an unstable salinity gradient and a stable temperature gradient. Multiple equilibria can be established in such flow for the same control parameters, either by setting different initial scalar distribution or different evolution history. Transition between a single finger layer and multi-layer staircase can be abrupt and hysteresis. Unlike a deep finger layer, a model widely used in literature, finger interfaces within staircases show totally different transport behaviors and seem to obey the Stern number constrain. All these findings provide important new insights to fingering double diffusive convection, and to general convection turbulence.


title: Generation and detection of spin-orbit coupled neutron beams

abstract: Spin-orbit coupling of light has come to the fore in nano-optics and plasmonics, and is a key ingredient of topological photonics and chiral quantum optics. We demonstrate a basic tool for incorporating analogous effects into neutron optics: the generation and detection of neutron beams with coupled spin and orbital angular momentum. $^3$He neutron spin-filters are used in conjunction with specifically oriented triangular coils to prepare neutron beams with lattices of spin-orbit correlations, as demonstrated by their spin-dependant intensity profiles. These correlations can be tailored to particular applications, such as neutron studies of topological materials.


title: Few-Shot NLG with Pre-Trained Language Model

abstract: Neural-based end-to-end approaches to natural language generation (NLG) from structured data or knowledge are data-hungry, making their adoption for real-world applications difficult with limited data. In this work, we propose the new task of \textit{few-shot natural language generation}. Motivated by how humans tend to summarize tabular data, we propose a simple yet effective approach and show that it not only demonstrates strong performance but also provides good generalization across domains. The design of the model architecture is based on two aspects: content selection from input data and language modeling to compose coherent sentences, which can be acquired from prior knowledge. With just 200 training examples, across multiple domains, we show that our approach achieves very reasonable performances and outperforms the strongest baseline by an average of over 8.0 BLEU points improvement. Our code and data can be found at \url{https://github.com/czyssrs/Few-Shot-NLG}


title: Ordinary deformations are unobstructed in the cyclotomic limit

abstract: The deformation theory of ordinary representations of the absolute Galois groups of totally real number fields (over a finite field $k$) has been studied for a long time, starting with the work of Hida, Mazur and Tilouine, and continued by Wiles and others. Hida has studied the behaviour of these deformations when one considers the $p$-cyclotomic tower of extensions of the field. In the limit, one obtains a deformation ring $R_\infty$ classifying the ordinary deformations of the (Galois group of) the $p$-cyclotomic extension. We show that if $R_\infty$ is Noetherian and certain adjoint $\mu$-invariants vanish (as is often expected), then $R_\infty$ is free over the ring of Witt vectors of $k$.


title: Neural Architecture Search for Deep Face Recognition

abstract: By the widespread popularity of electronic devices, the emergence of biometric technology has brought significant convenience to user authentication compared with the traditional password and mode unlocking. Among many biological characteristics, the face is a universal and irreplaceable feature that does not need too much cooperation and can significantly improve the user's experience at the same time. Face recognition is one of the main functions of electronic equipment propaganda. Hence it's virtually worth researching in computer vision. Previous work in this field has focused on two directions: converting loss function to improve recognition accuracy in traditional deep convolution neural networks (Resnet); combining the latest loss function with the lightweight system (MobileNet) to reduce network size at the minimal expense of accuracy. But none of these has changed the network structure. With the development of AutoML, neural architecture search (NAS) has shown excellent performance in the benchmark of image classification. In this paper, we integrate NAS technology into face recognition to customize a more suitable network. We quote the framework of neural architecture search which trains child and controller network alternately. At the same time, we mutate NAS by incorporating evaluation latency into rewards of reinforcement learning and utilize policy gradient algorithm to search the architecture automatically with the most classical cross-entropy loss. The network architectures we searched out have got state-of-the-art accuracy in the large-scale face dataset, which achieves 98.77% top-1 in MS-Celeb-1M and 99.89% in LFW with relatively small network size. To the best of our knowledge, this proposal is the first attempt to use NAS to solve the problem of Deep Face Recognition and achieve the best results in this domain.


title: Metric Learning for Image Registration

abstract: Image registration is a key technique in medical image analysis to estimate deformations between image pairs. A good deformation model is important for high-quality estimates. However, most existing approaches use ad-hoc deformation models chosen for mathematical convenience rather than to capture observed data variation. Recent deep learning approaches learn deformation models directly from data. However, they provide limited control over the spatial regularity of transformations. Instead of learning the entire registration approach, we learn a spatially-adaptive regularizer within a registration model. This allows controlling the desired level of regularity and preserving structural properties of a registration model. For example, diffeomorphic transformations can be attained. Our approach is a radical departure from existing deep learning approaches to image registration by embedding a deep learning model in an optimization-based registration algorithm to parameterize and data-adapt the registration model itself.


title: Recovery of the fetal electrocardiogram for morphological analysis from two trans-abdominal channels via optimal shrinkage

abstract: We propose a novel algorithm to recover fetal electrocardiogram (ECG) for both the fetal heart rate analysis and morphological analysis of its waveform from two or three trans-abdominal maternal ECG channels. We design an algorithm based on the optimal-shrinkage and the nonlocal Euclidean median under the wave-shape manifold model. For the fetal heart rate analysis, the algorithm is evaluated on publicly available database, 2013 PhyioNet/Computing in Cardiology Challenge, set A. For the morphological analysis, we propose to simulate semi-real databases by mixing the MIT-BIH Normal Sinus Rhythm Database and MITDB Arrhythmia Database. For the fetal R peak detection, the proposed algorithm outperforms all algorithms under comparison. For the morphological analysis, the algorithm provides an encouraging result in recovery of the fetal ECG waveform, including PR, QT and ST intervals, even when the fetus has arrhythmia. To the best of our knowledge, this is the first work focusing on recovering the fetal ECG for morphological analysis from two or three channels with an algorithm potentially applicable for continuous fetal electrocardiographic monitoring, which creates the potential for long term monitoring purpose.


title: Constructive Polynomial Partitioning for Algebraic Curves in $\mathbb{R}^3$ with Applications

abstract: In 2015, Guth proved that for any set of $k$-dimensional bounded complexity varieties in $\mathbb{R}^d$ and for any positive integer $D$, there exists a polynomial of degree at most $D$ whose zero set divides $\mathbb{R}^d$ into open connected sets, so that only a small fraction of the given varieties intersect each of these sets. Guth's result generalized an earlier result of Guth and Katz for points. Guth's proof relies on a variant of the Borsuk-Ulam theorem, and for $k>0$, it is unknown how to obtain an explicit representation of such a partitioning polynomial and how to construct it efficiently. In particular, it is unknown how to effectively construct such a polynomial for bounded-degree algebraic curves (or even lines) in $\mathbb{R}^3$. We present an efficient algorithmic construction for this setting. Given a set of $n$ input algebraic curves and a positive integer $D$, we efficiently construct a decomposition of space into $O(D^3\log^3{D})$ open "cells," each of which meets $O(n/D^2)$ curves from the input. The construction time is $O(n^2)$. For the case of lines in $3$-space we present an improved implementation, whose running time is $O(n^{4/3} \log^{O(1)} n)$. The constant of proportionality in both time bounds depends on $D$ and the maximum degree of the polynomials defining the input curves. As an application, we revisit the problem of eliminating depth cycles among non-vertical lines in $3$-space, recently studied by Aronov and Sharir (2018), and show an algorithm that cuts $n$ such lines into $O(n^{3/2+\epsilon})$ pieces that are depth-cycle free, for any $\epsilon > 0$. The algorithm runs in $O(n^{3/2+\epsilon})$ time, which is a considerable improvement over the previously known algorithms.


title: Automatic Temporally Coherent Video Colorization

abstract: Greyscale image colorization for applications in image restoration has seen significant improvements in recent years. Many of these techniques that use learning-based methods struggle to effectively colorize sparse inputs. With the consistent growth of the anime industry, the ability to colorize sparse input such as line art can reduce significant cost and redundant work for production studios by eliminating the in-between frame colorization process. Simply using existing methods yields inconsistent colors between related frames resulting in a flicker effect in the final video. In order to successfully automate key areas of large-scale anime production, the colorization of line arts must be temporally consistent between frames. This paper proposes a method to colorize line art frames in an adversarial setting, to create temporally coherent video of large anime by improving existing image to image translation methods. We show that by adding an extra condition to the generator and discriminator, we can effectively create temporally consistent video sequences from anime line arts. Code and models available at: https://github.com/Harry-Thasarathan/TCVC


title: Regularized Stokes Immersed Boundary Problems in Two Dimensions: Well-posedness, Singular Limit, and Error Estimates

abstract: Inspired by the numerical immersed boundary method, we introduce regularized Stokes immersed boundary problems in two dimensions to describe regularized motion of a 1-D closed elastic string in a 2-D Stokes flow, in which a regularized $\delta$-function is used to mollify the flow field and singular forcing. We establish global well-posedness of the regularized problems, and prove that as the regularization parameter diminishes, string dynamics in the regularized problems converge to that in the Stokes immersed boundary problem with no regularization. Viewing the un-regularized problem as a benchmark, we derive error estimates under various norms for the string dynamics. Our rigorous analysis shows that the regularized problems achieve improved accuracy if the regularized $\delta$-function is suitably chosen. This may imply potential improvement in the numerical method, which is worth further investigation.


title: User interface design for military AR applications

abstract: Designing a user interface for military situation awareness presents challenges for managing information in a useful and usable manner. We present an integrated set of functions for the presentation of and interaction with information for a mobile augmented reality application for military applications. Our research has concentrated on four areas. We filter information based on relevance to the user (in turn based on location), evaluate methods for presenting information that represents entities occluded from the user's view, enable interaction through a top-down map view metaphor akin to current techniques used in the military, and facilitate collaboration with other mobile users and/or a command center. In addition, we refined the user interface architecture to conform to requirements from subject matter experts. We discuss the lessons learned in our work and directions for future research.


title: Snaxels on a Plane

abstract: While many algorithms exist for tracing various contours for illustrating a meshed object, few algorithms organize these contours into region-bounding closed loops. Tracing closed-loop boundaries on a mesh can be problematic due to switchbacks caused by subtle surface variation, and the organization of these regions into a planar map can lead to many small region components due to imprecision and noise. This paper adapts "snaxels," an energy minimizing active contour method designed for robust mesh processing, and repurposes it to generate visual, shadow and shading contours, and a simplified visual-surface planar map, useful for stylized vector art illustration of the mesh. The snaxel active contours can also track contours as the mesh animates, and frame-to-frame correspondences between snaxels lead to a new method to convert the moving contours on a 3-D animated mesh into 2-D SVG curve animations for efficient embedding in Flash, PowerPoint and other dynamic vector art platforms.


title: Global classical solutions to an evolutionary model for magnetoelasticity

abstract: In this paper, we first prove the local-in-time existence of the evolutionary model for magnetoelasticity with finite initial energy by employing the nonlinear iterative approach given in \cite{Jiang-Luo-2019-SIAM} to deal with the geometric constraint $M \in \mathbb{S}^{d-1}$ in the Landau-Lifshitz-Gilbert (LLG) equation. Inspired by \cite{Lin-Liu-Zhang-CPAM2005, Lin-Zhang-2008-CPAM}, we reformulate the evolutionary model for magnetoelasticity with vanishing external magnetic field $H_{ext}$, so that a further dissipative term will be sought from the elastic stress. We thereby justify the global well-posedness to the evolutionary model for magnetoelasticity with zero external magnetic field under small size of initial data.


title: Optimal Adaptivity of Signed-Polygon Statistics for Network Testing

abstract: Given a symmetric social network, we are interested in testing whether it has only one community or multiple communities. The desired tests should (a) accommodate severe degree heterogeneity, (b) accommodate mixed-memberships, (c) have a tractable null distribution, and (d) adapt automatically to different levels of sparsity, and achieve the optimal phase diagram. How to find such a test is a challenging problem. We propose the Signed Polygon as a class of new tests. Fixing $m \geq 3$, for each $m$-gon in the network, define a score using the centered adjacency matrix. The sum of such scores is then the $m$-th order Signed Polygon statistic. The Signed Triangle (SgnT) and the Signed Quadrilateral (SgnQ) are special examples of the Signed Polygon. We show that both the SgnT and SgnQ tests satisfy (a)-(d), and especially, they work well for both very sparse and less sparse networks. Our proposed tests compare favorably with the existing tests. For example, the EZ and GC tests behave unsatisfactorily in the less sparse case and do not achieve the optimal phase diagram. Also, many existing tests do not allow for severe heterogeneity or mixed-memberships, and they behave unsatisfactorily in our settings. The analysis of the SgnT and SgnQ tests is delicate and extremely tedious, and the main reason is that we need a unified proof that covers a wide range of sparsity levels and a wide range of degree heterogeneity. For lower bound theory, we use a phase transition framework, which includes the standard minimax argument, but is more informative. The proof uses classical theorems on matrix scaling.


title: GAN-based Generation and Automatic Selection of Explanations for Neural Networks

abstract: One way to interpret trained deep neural networks (DNNs) is by inspecting characteristics that neurons in the model respond to, such as by iteratively optimising the model input (e.g., an image) to maximally activate specific neurons. However, this requires a careful selection of hyper-parameters to generate interpretable examples for each neuron of interest, and current methods rely on a manual, qualitative evaluation of each setting, which is prohibitively slow. We introduce a new metric that uses Fr\'echet Inception Distance (FID) to encourage similarity between model activations for real and generated data. This provides an efficient way to evaluate a set of generated examples for each setting of hyper-parameters. We also propose a novel GAN-based method for generating explanations that enables an efficient search through the input space and imposes a strong prior favouring realistic outputs. We apply our approach to a classification model trained to predict whether a music audio recording contains singing voice. Our results suggest that this proposed metric successfully selects hyper-parameters leading to interpretable examples, avoiding the need for manual evaluation. Moreover, we see that examples synthesised to maximise or minimise the predicted probability of singing voice presence exhibit vocal or non-vocal characteristics, respectively, suggesting that our approach is able to generate suitable explanations for understanding concepts learned by a neural network.


title: Asymptotic analysis of synchrosqueezing transform -- toward statistical inference with nonlinear-type time-frequency analysis

abstract: We provide a statistical analysis of a tool in nonlinear-type time-frequency analysis, the synchrosqueezing transform (SST), for both the null and non-null cases. The intricate nonlinear interaction of different quantities in SST is quantified by carefully analyzing relevant multivariate complex Gaussian random variables. Specifically, we provide the quotient distribution of dependent and improper complex Gaussian random variables. Then, a central limit theorem result for SST is established. {As an example}, we provide a block bootstrap scheme based on the established SST theory to test if a given time series contains oscillatory components.


title: NeuronBlocks: Building Your NLP DNN Models Like Playing Lego

abstract: Deep Neural Networks (DNN) have been widely employed in industry to address various Natural Language Processing (NLP) tasks. However, many engineers find it a big overhead when they have to choose from multiple frameworks, compare different types of models, and understand various optimization mechanisms. An NLP toolkit for DNN models with both generality and flexibility can greatly improve the productivity of engineers by saving their learning cost and guiding them to find optimal solutions to their tasks. In this paper, we introduce NeuronBlocks\footnote{Code: \url{https://github.com/Microsoft/NeuronBlocks}} \footnote{Demo: \url{https://youtu.be/x6cOpVSZcdo}}, a toolkit encapsulating a suite of neural network modules as building blocks to construct various DNN models with complex architecture. This toolkit empowers engineers to build, train, and test various NLP models through simple configuration of JSON files. The experiments on several NLP datasets such as GLUE, WikiQA and CoNLL-2003 demonstrate the effectiveness of NeuronBlocks.


title: On matrix product ansatz for Asymmetric Simple Exclusion Process with open boundary in the singular case

abstract: We study a substitute for the matrix product ansatz for Asymmetric Simple Exclusion Process with open boundary in the ``singular case'' $\alpha\beta=q^N\gamma\delta$, when the standard form of the matrix product ansatz of Derrida, Evans, Hakim and Pasquier does not apply. In our approach, the matrix product ansatz is replaced with a pair of linear functionals on an abstract algebra. One of the functionals, $\varphi_1$, is defined on the entire algebra, and determines stationary probabilities for large systems on $L\geq N+1$ sites. The other functional, $\varphi_0$, is defined only on a finite-dimensional linear subspace of the algebra, and determines stationary probabilities for small systems on $L< N+1$ sites. Functional $\varphi_0$ vanishes on non-constant Askey-Wilson polynomials and in non-singular case becomes an orthogonality functional for the Askey-Wilson polynomials.


title: PullNet: Open Domain Question Answering with Iterative Retrieval on Knowledge Bases and Text

abstract: We consider open-domain queston answering (QA) where answers are drawn from either a corpus, a knowledge base (KB), or a combination of both of these. We focus on a setting in which a corpus is supplemented with a large but incomplete KB, and on questions that require non-trivial (e.g., ``multi-hop'') reasoning. We describe PullNet, an integrated framework for (1) learning what to retrieve (from the KB and/or corpus) and (2) reasoning with this heterogeneous information to find the best answer. PullNet uses an {iterative} process to construct a question-specific subgraph that contains information relevant to the question. In each iteration, a graph convolutional network (graph CNN) is used to identify subgraph nodes that should be expanded using retrieval (or ``pull'') operations on the corpus and/or KB. After the subgraph is complete, a similar graph CNN is used to extract the answer from the subgraph. This retrieve-and-reason process allows us to answer multi-hop questions using large KBs and corpora. PullNet is weakly supervised, requiring question-answer pairs but not gold inference paths. Experimentally PullNet improves over the prior state-of-the art, and in the setting where a corpus is used with incomplete KB these improvements are often dramatic. PullNet is also often superior to prior systems in a KB-only setting or a text-only setting.


title: A mechanism for balancing accuracy and scope in cross-machine black-box GPU performance modeling

abstract: The ability to model, analyze, and predict execution time of computations is an important building block supporting numerous efforts, such as load balancing, performance optimization, and automated performance tuning for high performance, parallel applications. In today's increasingly heterogeneous computing environment, this task must be accomplished efficiently across multiple architectures, including massively parallel coprocessors like GPUs. To address this challenge, we present an approach for constructing customizable, cross-machine performance models for GPU kernels, including a mechanism to automatically and symbolically gather performance-relevant kernel operation counts, a tool for formulating mathematical models using these counts, and a customizable parameterized collection of benchmark kernels used to calibrate models to GPUs in a black-box fashion. Our approach empowers a user to manage trade-offs between model accuracy, evaluation speed, and generalizability. A user can define a model and customize the calibration process, making it as simple or complex as desired, and as application-targeted or general as desired. To evaluate our approach, we demonstrate both linear and nonlinear models; each example models execution times for multiple variants of a particular computation: two matrix multiplication variants, four Discontinuous Galerkin (DG) differentiation operation variants, and two 2-D five-point finite difference stencil variants. For each variant, we present accuracy results on GPUs from multiple vendors and hardware generations. We view this customizable approach as a response to a central question in GPU performance modeling: how can we model GPU performance in a cost-explanatory fashion while maintaining accuracy, evaluation speed, portability, and ease of use, an attribute we believe precludes manual collection of kernel or hardware statistics.


title: In-network Collaboration for CDMA-based Reliable Underwater Acoustic Communications

abstract: Achieving high throughput and reliability in underwater acoustic networks for transmitting distributed and large volume of data is a challenging task due to the bandwidth-limited and unpredictable nature of the acoustic channel. In a multi-node network, such as in the Internet of Underwater Things (IoUT), communication link efficiency varies dynamically: if the channel is not in good condition, e.g., when in deep fade, channel coding techniques may fail to deliver the information even with multiple retransmissions. Hence, an efficient and agile collaborative strategy is required to allocate appropriate resources to the communication links based on their status. The proposed solution adjusts the physical and link-layer parameters collaboratively for a Code Division Multiple Access (CDMA)-based underwater network. An adaptive Hybrid Automatic Repeat Request (HARQ) solution is employed to guarantee reliable communications against errors in poor links. Results were validated using data collected from the LOON testbed-hosted at the NATO STO Centre for Maritime Research and Experimentation (CMRE) in La Spezia, Italy-and from the REP18-Atlantic sea trial conducted in Sept'18 in Portuguese water.


title: Fact Discovery from Knowledge Base via Facet Decomposition

abstract: During the past few decades, knowledge bases (KBs) have experienced rapid growth. Nevertheless, most KBs still suffer from serious incompletion. Researchers proposed many tasks such as knowledge base completion and relation prediction to help build the representation of KBs. However, there are some issues unsettled towards enriching the KBs. Knowledge base completion and relation prediction assume that we know two elements of the fact triples and we are going to predict the missing one. This assumption is too restricted in practice and prevents it from discovering new facts directly. To address this issue, we propose a new task, namely, fact discovery from knowledge base. This task only requires that we know the head entity and the goal is to discover facts associated with the head entity. To tackle this new problem, we propose a novel framework that decomposes the discovery problem into several facet discovery components. We also propose a novel auto-encoder based facet component to estimate some facets of the fact. Besides, we propose a feedback learning component to share the information between each facet. We evaluate our framework using a benchmark dataset and the experimental results show that our framework achieves promising results. We also conduct extensive analysis of our framework in discovering different kinds of facts. The source code of this paper can be obtained from https://github.com/thunlp/FFD.


title: Infinite nonabelian corks

abstract: We construct $G$-corks for any extension $G$ of $\mathbb Z^m$ by any finite subgroup of $\mathrm{SO}(4)$ and weakly equivariant $G$-corks for any extension $G$ of $\mathbb Z^m$ by any finite solvable group. In particular, this is the first example of $G$-corks for an infinite nonabelian group $G$ and answers a question by Tange. The construction is a combination of previous results by Auckly-Kim-Melvin-Ruberman, Gompf, and Tange. Using Gompf's results about exotic $\mathbb R^4$'s, we give an application to construct exotic $\mathbb R^4$'s whose diffeotopy group contains all poly-cyclic groups.


title: The weak n-inner product space

abstract: In this article we study a generalization of the n-inner product which we name weak n-inner product. As particular case we consider the n-iterated 2-inner product and we give its representation in terms of the standard k-inner products, k<= n, using the Dodgson's identity for determinants. Finally, we present several applications, including a brief characterization of a linear regression model for the random variables in discrete case and a generalization of the Chebyshev functional using the n-iterated 2-inner product.


title: On Detection of Critical Events in a Finite Forest using Randomly Deployed Wireless Sensors

abstract: Ecosystem of a forest suffers from many adverse events such as wild-fire which can occur randomly anywhere in the forest and grows in size with time. This paper aims to analyze performance of a network of randomly deployed wireless sensors for the early detection of these time-critical and time-evolving events in a forest. We consider that the forest lies in a confined space (e.g. a circular region) and the wireless sensors, with fixed sensing range, are deployed within the boundary of forest itself. The sensing area of the network is modeled as a finite Boolean-Poisson model. In this model, the locations of sensors are modeled as a finite homogeneous Poisson Point Process (PPP) and the sensing area of each sensor is assumed to be a finite set. This paper aims to answer questions about the proximity of a typical sensor from a randomly occurred event and the total sensing area covered by sensors. We first derive the distribution of contact distance of a FHPPP and the expression of the capacity functional of a finite Boolean-Poisson model. Using these, we then derive the probability of sensing the event at time t, termed event-sensing probability.


title: 3G structure for image caption generation

abstract: It is a big challenge of computer vision to make machine automatically describe the content of an image with a natural language sentence. Previous works have made great progress on this task, but they only use the global or local image feature, which may lose some important subtle or global information of an image. In this paper, we propose a model with 3-gated model which fuses the global and local image features together for the task of image caption generation. The model mainly has three gated structures. 1) Gate for the global image feature, which can adaptively decide when and how much the global image feature should be imported into the sentence generator. 2) The gated recurrent neural network (RNN) is used as the sentence generator. 3) The gated feedback method for stacking RNN is employed to increase the capability of nonlinearity fitting. More specially, the global and local image features are combined together in this paper, which makes full use of the image information. The global image feature is controlled by the first gate and the local image feature is selected by the attention mechanism. With the latter two gates, the relationship between image and text can be well explored, which improves the performance of the language part as well as the multi-modal embedding part. Experimental results show that our proposed method outperforms the state-of-the-art for image caption generation.


title: Good-Enough Compositional Data Augmentation

abstract: We propose a simple data augmentation protocol aimed at providing a compositional inductive bias in conditional and unconditional sequence models. Under this protocol, synthetic training examples are constructed by taking real training examples and replacing (possibly discontinuous) fragments with other fragments that appear in at least one similar environment. The protocol is model-agnostic and useful for a variety of tasks. Applied to neural sequence-to-sequence models, it reduces error rate by as much as 87% on diagnostic tasks from the SCAN dataset and 16% on a semantic parsing task. Applied to n-gram language models, it reduces perplexity by roughly 1% on small corpora in several languages.


title: DeepCaps: Going Deeper with Capsule Networks

abstract: Capsule Network is a promising concept in deep learning, yet its true potential is not fully realized thus far, providing sub-par performance on several key benchmark datasets with complex data. Drawing intuition from the success achieved by Convolutional Neural Networks (CNNs) by going deeper, we introduce DeepCaps1, a deep capsule network architecture which uses a novel 3D convolution based dynamic routing algorithm. With DeepCaps, we surpass the state-of-the-art results in the capsule network domain on CIFAR10, SVHN and Fashion MNIST, while achieving a 68% reduction in the number of parameters. Further, we propose a class-independent decoder network, which strengthens the use of reconstruction loss as a regularization term. This leads to an interesting property of the decoder, which allows us to identify and control the physical attributes of the images represented by the instantiation parameters.


title: Measure-theoretic equicontinuity and rigidity

abstract: Let $(X,T)$ be a topological dynamical system and $\mu$ be a invariant measure, we show that $(X,\mathcal{B},\mu,T)$ is rigid if and only if there exists some subsequence $A$ of $\mathbb N$ such that $(X,T)$ is $\mu$-$A$-equicontinuous if and only if there exists some IP-set $A$ such that $(X,T)$ is $\mu$-$A$-equicontinuous. We show that if there exists a subsequence $A$ of $\mathbb N$ with positive upper density such that $(X,T)$ is $\mu$-$A$-mean-equicontinuous, then $(X,\mathcal{B},\mu,T)$ is rigid. We also give results with respect to functions.


title: Joule-Thomson expansion of the Bardeen-AdS black holes

abstract: The Joule-Thomson expansion process is studied for Bardeen-AdS black holes in the extended phase space. Firstly, we get Joule-Thomson coefficient and find that the divergent point of Joule-Thomson coefficient coincides with the zero point of temperature. The inversion curves are also obtained from the zero point of Joule-Thomson coefficient. Then the minimum inversion temperature and the corresponding mass are obtained. In addition, the ratio between minimum inversion and critical temperature for Bardeen-AdS black holes is also calculated. We obtain the isenthalpic curve in $T$-$P$ graph and demonstrate the cooling-heating region by the inversion curve. An interesting phenomenon we get is that black hole is always in heating process. The same phenomenon can be also obtained from the charged AdS black holes.


title: $I=2$ $\pi\pi$ potential in the HAL QCD method with all-to-all propagators

abstract: In this paper, we perform the first application of the hybrid method (exact low modes plus stochastically estimated high modes) for all-to-all propagators to the HAL QCD method. We calculate the HAL QCD potentials in the $I=2$ $\pi\pi$ scattering in order to see how statistical fluctuations of the potential behave under the hybrid method. All of the calculations are performed with the 2+1 flavor gauge configurations on $16^3 \times 32$ lattice at the lattice spacing $a \approx 0.12$ fm and $m_{\pi} \approx 870$ MeV. It is revealed that statistical errors for the potential are enhanced by stochastic noises introduced by the hybrid method, which, however, are shown to be reduced by increasing the level of dilutions, in particular, that of space dilutions. From systematic studies, we obtain a guiding principle for a choice of dilution types/levels and a number of eigenvectors to reduce noise contaminations to the potential while keeping numerical costs reasonable. We also confirm that we can obtain the scattering phase shifts for the $I=2$ $\pi\pi$ system by the hybrid method within a reasonable numerical cost, which are consistent with the result obtained with the conventional method. The knowledge we obtain in this study will become useful to investigate hadron resonances which require quark annihilation diagrams such as the $\rho$ meson by the HAL QCD potential with the hybrid method.


title: A Multipolar Effective One Body Model for Non-Spinning Black Hole Binaries

abstract: We introduce \TEOBiResumSM{}, a nonspinning inspiral-merger-ringdown waveform model built within the effective one body (EOB) framework that includes gravitational waveform modes beyond the dominant quadrupole $(\ell,|m|) = (2,2)$. The model incorporates: (i) an improved Pad\'e resummation of the factorized waveform amplitudes $\rho_{\ell m}^{\rm orb}$ entering the EOB-resummed waveform where the 3PN, mass-ratio dependent, terms are hybridized with test-mass limit terms up to 6PN relative order for most of the multipoles up to $\ell=6$ included; (ii) an improved determination of the effective 5PN function $a_6^c(\nu)$ entering the EOB interaction potential done using the most recent, error-controlled, nonspinning numerical relativity (NR) waveforms from the Simulating eXtreme Spacetimes (SXS) collaboration; and (iii) a NR-informed phenomenological description of the multipolar ringdown. Such representation stems from 19 NR waveforms with mass ratios up to $m_1/m_2=18$ as well as test-mass waveform data, although it does not incorporate mode-mixing effects. The NR-completed higher modes through merger and ringdown considered here are: $(\ell,|m|) = \lbrace (2,1), (3,3), (3,2),(3,1),(4,4), (4,3),(4,2), (4,1),(5,5)\rbrace$. For simplicity, the other subdominant modes, up to $\ell=8$, are approximated by the corresponding, purely analytical, factorized and resummed EOB waveform. To attempt an estimate of (some of) the underlying analytic uncertainties of the model, we also contrast the effect of the 6PN-hybrid Pad\'e-resummed $\rho_{\ell m}$'s with the standard $3^{+2}$PN, Taylor-expanded, ones used in previous EOB works. The maximum unfaithfulness $\bar{F}$ against the SXS waveforms including all NR-completed modes up to $\ell=m=5$ is always $\lesssim 2\%$ for binaries with total mass $M$ as $50 M_{\odot} \leq M \lesssim 200 M_{\odot}$.


title: The Bi-Fundamental Gauge Theory in 3+1 Dimensions: The Vacuum Structure and a Cascade

abstract: We study the phases of the SU(N1)X SU(N2) gauge theory with a bi-fundamental fermion in 3+1 dimensions. We show that the discrete anomalies and Berry phases associated to the one-form symmetry of the theory allow for several topologically distinct phase diagrams. We identify several limits of the theory where the phase diagram can be determined using various controlled approximations. When the two ranks are equal N1=N2, these limits all lead to the same topology for the phase diagram and provide a consistent global understanding of the phases of the theory. When the ranks are different, different limits lead to distinct topologies of the phase diagram. This necessarily implies non-trivial physics at some intermediate regimes of parameter space. In the large N1,N2 limit, we argue that the topological transitions are accounted for by a (non-supersymmetric) duality cascade as one varies the parameters of the theory.


title: Understanding the Stability of Medical Concept Embeddings

abstract: Frequency is one of the major factors for training quality word embeddings. Several work has recently discussed the stability of word embeddings in general domain and suggested factors influencing the stability. In this work, we conduct a detailed analysis on the stability of concept embeddings in medical domain, particularly the relation with concept frequency. The analysis reveals the surprising high stability of low-frequency concepts: low-frequency (<100) concepts have the same high stability as high-frequency (>1000) concepts. To develop a deeper understanding of this finding, we propose a new factor, the noisiness of context words, which influences the stability of medical concept embeddings, regardless of frequency. We evaluate the proposed factor by showing the linear correlation with the stability of medical concept embeddings. The correlations are clear and consistent with various groups of medical concepts. Based on the linear relations, we make suggestions on ways to adjust the noisiness of context words for the improvement of stability. Finally, we demonstrate that the proposed factor extends to the word embedding stability in general domain.


title: Brillouin-Mandelstam Spectroscopy of Stress-Modulated Spatially Confined Spin Waves in Ni Thin Films on Piezoelectric Heterostructures

abstract: We report results of micro-Brillouin-Mandelstam light scattering spectroscopy of thermal magnons in the two-phase synthetic multiferroic structure consisting of a piezoelectric (PMN-PT) substrate and a Ni thin film with the thickness of 64 nm. The experimental data reveal the first two modes of the perpendicular standing spin waves (PSSW) spatially confined across the Ni thin film. A theoretical analysis of the frequency dependence of the PSSW peaks on the external magnetic field reveals the asymmetric boundary condition, i.e. pinning, for variable magnetization at different surfaces of the Ni thin film. The strain field induced by applying DC voltage to PMN-PT substrate leads to a down shift of PSSW mode frequency owing to the magneto-elastic effect in Ni, and corresponding changes in the spin wave resonance conditions. The observed non-monotonic dependence of the PSSW frequency on DC voltage is related to an abrupt change of the pinning parameter at certain values of the voltage. The obtained results are important for understanding the thermal magnon spectrum in ferromagnetic films and development of the low-power spin-wave devices.


title: A Parallel Bitstream Generator for Stochastic Computing

abstract: Stochastic computing (SC) presents high error tolerance and low hardware cost, and has great potential in applications such as neural networks and image processing. However, the bitstream generator, which converts a binary number to bitstreams, occupies a large area and energy consumption, thus weakening the superiority of SC. In this paper, we propose a novel technique for generating bitstreams in parallel, which needs only one clock for conversion and significantly reduces the hardware cost. Synthesis results demonstrate that the proposed parallel bitstream generator improves 2.5x area and 712x energy consumption.


title: Rotationally symmetric Ricci flow on $\mathbb{R}^{n+1}$

abstract: We study the Ricci flow on $\mathbb{R}^{n+1}$, with $n\geq 2$, starting at some complete bounded curvature rotationally symmetric metric $g_{0}$. We first focus on the case where $(\mathbb{R}^{n+1},g_{0})$ does not contain minimal hyperspheres; we prove that if $g_{0}$ is asymptotic to a cylinder then the solution develops a Type-II singularity and converges to the Bryant soliton, while if the curvature of $g_{0}$ decays at infinity, then the solution is immortal. As a corollary, we prove a conjecture by Chow and Tian about Perelman's standard solutions. We then consider a class of asymptotically flat initial data $(\mathbb{R}^{n+1},g_{0})$ containing a neck and we prove that if the neck is sufficiently pinched, in a precise way, the Ricci flow encounters a Type-I singularity.


title: Photoelectron holographic interferometry to probe the longitudinal momentum offset at the tunnel exit

abstract: Laser-induced electron tunneling underlies numerous emerging spectroscopic techniques to probe attosecond electron dynamics in atoms and molecules. The improvement of those techniques requires an accurate knowledge of the exit momentum for the tunneling wave packet. Here we demonstrate a photoelectron interferometric scheme to probe the electron momentum longitudinal to the tunnel direction at the tunnel exit by measuring the photoelectron holographic pattern in an orthogonally polarized two-color laser pulse. In this scheme, we use a perturbative 400-nm laser field to modulate the photoelectron holographic fringes generated by a strong 800-nm pulse. The fringe shift offers a direct experimental access to the intermediate canonical momentum of the rescattering electron, allowing us to reconstruct the momentum offset at the tunnel exit with high accuracy. Our result unambiguously proves the existence of nonzero initial longitudinal momentum at the tunnel exit and provides fundamental insights into the non-quasi-static nature of the strong-field tunneling.


title: A Study on Agreement in PICO Span Annotations

abstract: In evidence-based medicine, relevance of medical literature is determined by predefined relevance conditions. The conditions are defined based on PICO elements, namely, Patient, Intervention, Comparator, and Outcome. Hence, PICO annotations in medical literature are essential for automatic relevant document filtering. However, defining boundaries of text spans for PICO elements is not straightforward. In this paper, we study the agreement of PICO annotations made by multiple human annotators, including both experts and non-experts. Agreements are estimated by a standard span agreement (i.e., matching both labels and boundaries of text spans), and two types of relaxed span agreement (i.e., matching labels without guaranteeing matching boundaries of spans). Based on the analysis, we report two observations: (i) Boundaries of PICO span annotations by individual human annotators are very diverse. (ii) Despite the disagreement in span boundaries, general areas of the span annotations are broadly agreed by annotators. Our results suggest that applying a standard agreement alone may undermine the agreement of PICO spans, and adopting both a standard and a relaxed agreements is more suitable for PICO span evaluation.


title: Quasi-5.5PN TaylorF2 approximant for compact binaries: point-mass phasing and impact on the tidal polarizability inference

abstract: We derive a point-mass (nonspinning) frequency-domain TaylorF2 phasing approximant at quasi-5.5 post-Newtonian (PN) accuracy for the gravitational wave from coalescing compact binaries. The new approximant is obtained by Taylor-expanding the effective-one-body (EOB) resummed energy and and angular momentum flux along circular orbits with all the known test-particle information up to 5.5PN. The -- yet uncalculated -- terms at 4PN order and beyond entering both the energy flux and the energy are taken into account as free parameters and then set to zero. We compare the quasi-5.5PN and 3.5PN approximants against full EOB waveforms using gauge-invariant phasing diagnostics $Q_\omega=\hat\omega^2/\dot{\hat\omega}$, where $\hat\omega$ is the dimensionless gravitational-wave frequency. The quasi-5.5PN phasing is found to be systematically closer to the EOB one than the 3.5PN one. Notably, the quasi-5.5PN (3.5PN) approximant accumulates a EOB$-$PN dephasing of $\Delta\Psi^{\rm EOBPN}\sim10^{-3}$rad ($0.13$rad) up to frequency $\hat\omega \simeq 0.06$, 6 orbits to merger, ($\hat\omega \simeq 0.086$, 2 orbits to merger) for a fiducial binary neutron star system. We explore the performance of the quasi-5.5PN approximant on the measurement of the tidal polarizability parameter $\tilde\Lambda$ using injections of EOB waveforms hybridized with numerical relativity merger waveforms. We prove that the quasi-5.5PN point-mass approximant augmented with 6PN-accurate tidal terms allows one to reduce (and in many cases even eliminate) the biases in the measurement of $\tilde\Lambda$ that are instead found when the standard 3.5PN point-mass baseline is used. Methodologically, we demonstrate that the combined use of $Q_\omega$ analysis and of the Bayesian parameter estimation offers a new tool to investigate the impact of systematics on gravitational-wave inference.


title: Linear Multiple Low-Rank Kernel Based Stationary Gaussian Processes Regression for Time Series

abstract: Gaussian processes (GP) for machine learning have been studied systematically over the past two decades and they are by now widely used in a number of diverse applications. However, GP kernel design and the associated hyper-parameter optimization are still hard and to a large extend open problems. In this paper, we consider the task of GP regression for time series modeling and analysis. The underlying stationary kernel can be approximated arbitrarily close by a new proposed grid spectral mixture (GSM) kernel, which turns out to be a linear combination of low-rank sub-kernels. In the case where a large number of the sub-kernels are used, either the Nystr\"{o}m or the random Fourier feature approximations can be adopted to deal efficiently with the computational demands. The unknown GP hyper-parameters consist of the non-negative weights of all sub-kernels as well as the noise variance; their estimation is performed via the maximum-likelihood (ML) estimation framework. Two efficient numerical optimization methods for solving the unknown hyper-parameters are derived, including a sequential majorization-minimization (MM) method and a non-linearly constrained alternating direction of multiplier method (ADMM). The MM matches perfectly with the proven low-rank property of the proposed GSM sub-kernels and turns out to be a part of efficiency, stable, and efficient solver, while the ADMM has the potential to generate better local minimum in terms of the test MSE. Experimental results, based on various classic time series data sets, corroborate that the proposed GSM kernel-based GP regression model outperforms several salient competitors of similar kind in terms of prediction mean-squared-error and numerical stability.


title: On the size of subsets of $\mathbb{F}_p^{n}$ without $p$ distinct elements summing to zero

abstract: Let us fix a prime $p$. The Erd\H{o}s-Ginzburg-Ziv problem asks for the minimum integer $s$ such that any collection of $s$ points in the lattice $\mathbb{Z}^n$ contains $p$ points whose centroid is also a lattice point in $\mathbb{Z}^n$. For large $n$, this is essentially equivalent to asking for the maximum size of a subset of $\mathbb{F}_p^n$ without $p$ distinct elements summing to zero. In this paper, we give a new upper bound for this problem for any fixed prime $p\geq 5$ and large $n$. In particular, we prove that any subset of $\mathbb{F}_p^n$ without $p$ distinct elements summing to zero has size at most $C_p\cdot \left(2\sqrt{p}\right)^n$, where $C_p$ is a constant only depending on $p$. For $p$ and $n$ going to infinity, our bound is of the form $p^{(1/2)\cdot (1+o(1))n}$, whereas all previously known upper bounds were of the form $p^{(1-o(1))n}$ (with $p^n$ being a trivial bound). Our proof uses the so-called multi-colored sum-free theorem which is a consequence of the Croot-Lev-Pach polynomial method. This method and its consequences were already applied by Naslund as well as by Fox and the author to prove bounds for the problem studied in this paper. However, using some key new ideas, we significantly improve their bounds.


title: Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems

abstract: This volume contains a final and revised selection of papers presented at Twelfth Workshop on Developments in Computational Models (DCM 2018) and the Ninth Workshop on Intersection Types and Related Systems (ITRS 2018), held on July 8, 2018 in Oxford, in affiliation with FLOC 2018.


title: An Improved FPTAS for 0-1 Knapsack

abstract: The 0-1 knapsack problem is an important NP-hard problem that admits fully polynomial-time approximation schemes (FPTASs). Previously the fastest FPTAS by Chan (2018) with approximation factor $1+\varepsilon$ runs in $\tilde O(n + (1/\varepsilon)^{12/5})$ time, where $\tilde O$ hides polylogarithmic factors. In this paper we present an improved algorithm in $\tilde O(n+(1/\varepsilon)^{9/4})$ time, with only a $(1/\varepsilon)^{1/4}$ gap from the quadratic conditional lower bound based on $(\min,+)$-convolution. Our improvement comes from a multi-level extension of Chan's number-theoretic construction, and a greedy lemma that reduces unnecessary computation spent on cheap items.


title: Communication for Generating Correlation: A Unifying Survey

abstract: The task of manipulating correlated random variables in a distributed setting has received attention in the fields of both Information Theory and Computer Science. Often shared correlations can be converted, using a little amount of communication, into perfectly shared uniform random variables. Such perfect shared randomness, in turn, enables the solutions of many tasks. Even the reverse conversion of perfectly shared uniform randomness into variables with a desired form of correlation turns out to be insightful and technically useful. In this survey article, we describe progress-to-date on such problems and lay out pertinent measures, achievability results, limits of performance, and point to new directions.


title: Contribution of the acoustic waves to near-field heat transfer

abstract: Calculations of the radiative and phonon heat transfer between metals in an extreme near field in presence of electrostatic potential difference are given. Potential difference leads to a coupling between the radiation field and acoustic waves in solid, as a result of which the heat flux between two gold plates associated with p -polarized electromagnetic waves increases by many orders of magnitude as the potential difference varies from 0 to 10V. The radiative heat transfer is compared with the phonon heat transfer associated with the electrostatic and van der Waals interactions between the surface displacements. For large potential difference and small distances the radiative heat transfer is reduced to the electrostatic phonon heat transfer. A particular case of surface acoustic waves - Rayleigh waves is studied in details. Conditions are obtained for the existence of surface phonon polaritons associated with the interaction of Rayleigh waves with an electromagnetic field. The surface Rayleigh and bulk acoustic waves can give contributions of the same order. The obtained results can be used to control heat fluxes at the nanoscale using the potential difference and to create coherent radiation sources based on the properties of the Rayleigh waves


title: Quantitative inequalities for the expected lifetime of Brownian motion

abstract: The isoperimetric inequalities for the expected lifetime of Brownian motion state that the $L^p$-norms of the expected lifetime in a bounded domain for $1\leq p\leq \infty$ are maximized when the region is a ball with the same volume. In this paper, we prove quantitative improvements of the inequalities. Since the isoperimetric properties hold for a wide class of L\'evy processes, many questions arise from these improvements.


title: Reformulation of the Cosmological Constant Problem

abstract: The standard formulation of the cosmological constant problem is based on one critical assumption---the spacetime is homogeneous and isotropic, which is true only on cosmological scales. However, this problem is caused by extremely small scale (Planck scale) quantum fluctuations and at that scale, the spacetime is highly inhomogeneous and anisotropic. The homogeneous Friedmann-Lema\^{i}tre-Robertson-Walker metric used in the standard formulation is inadequate to describe such small scale dynamics of the spacetime. In this Letter, we reformulate the cosmological constant problem by using a general inhomogeneous metric. The fine-tuning problem does not arise in the reformulation since the large gravitational effect of the quantum vacuum is hidden by small scale spacetime fluctuations. The stress energy tensor fluctuations of the quantum fields vacuum could serve as "dark energy" to drive the accelerating expansion of the Universe through a weak parametric resonance effect.


title: Variational generalized rotating-wave approximation in the two-qubit quantum Rabi model

abstract: We present an analytical method for the two-qubit quantum Rabi model. While still operating in the frame of the generalized rotating-wave approximation (GRWA), our method further embraces the idea of introducing variational parameters. The optimal value of the variational parameter is determined by minimizing the energy function of the ground state. Comparing with numerical exact results, we show that our method evidently improves the accuracy of the conventional GRWA in calculating fundamental physical quantities, such as energy spectra, mean photon number, and dynamics. Interestingly, the accuracy of our method allows us to reproduce the asymptotic behavior of mean photon number in large frequency ratio for the ground state and investigate the quasi-periodical structure of the time evolution, which are incapable of being predicted by the GRWA. The applicable parameter ranges cover the ultrastrong coupling regime, which will be helpful to recent experiments.


title: Complete Scene Reconstruction by Merging Images and Laser Scans

abstract: Image based modeling and laser scanning are two commonly used approaches in large-scale architectural scene reconstruction nowadays. In order to generate a complete scene reconstruction, an effective way is to completely cover the scene using ground and aerial images, supplemented by laser scanning on certain regions with low texture and complicated structure. Thus, the key issue is to accurately calibrate cameras and register laser scans in a unified framework. To this end, we proposed a three-step pipeline for complete scene reconstruction by merging images and laser scans. First, images are captured around the architecture in a multi-view and multi-scale way and are feed into a structure-from-motion (SfM) pipeline to generate SfM points. Then, based on the SfM result, the laser scanning locations are automatically planned by considering textural richness, structural complexity of the scene and spatial layout of the laser scans. Finally, the images and laser scans are accurately merged in a coarse-to-fine manner. Experimental evaluations on two ancient Chinese architecture datasets demonstrate the effectiveness of our proposed complete scene reconstruction pipeline.