title: Jackknife Empirical Likelihood Methods for Gini Correlations and their Equality Testing

abstract: The Gini correlation plays an important role in measuring dependence of random variables with heavy tailed distributions, whose properties are a mixture of Pearson's and Spearman's correlations. Due to the structure of this dependence measure, there are two Gini correlations between each pair of random variables, which are not equal in general. Both the Gini correlation and the equality of the two Gini correlations play important roles in Economics. In the literature, there are limited papers focusing on the inference of the Gini correlations and their equality testing. In this paper, we develop the jackknife empirical likelihood (JEL) approach for the single Gini correlation, for testing the equality of the two Gini correlations, and for the Gini correlations' differences of two independent samples. The standard limiting chi-square distributions of those jackknife empirical likelihood ratio statistics are established and used to construct confidence intervals, rejection regions, and to calculate $p$-values of the tests. Simulation studies show that our methods are competitive to existing methods in terms of coverage accuracy and shortness of confidence intervals, as well as in terms of power of the tests. The proposed methods are illustrated in an application on a real data set from UCI Machine Learning Repository.


title: Transfer Topic Labeling with Domain-Specific Knowledge Base: An Analysis of UK House of Commons Speeches 1935-2014

abstract: Topic models are widely used in natural language processing, allowing researchers to estimate the underlying themes in a collection of documents. Most topic models use unsupervised methods and hence require the additional step of attaching meaningful labels to estimated topics. This process of manual labeling is not scalable and suffers from human bias. We present a semi-automatic transfer topic labeling method that seeks to remedy these problems. Domain-specific codebooks form the knowledge-base for automated topic labeling. We demonstrate our approach with a dynamic topic model analysis of the complete corpus of UK House of Commons speeches 1935-2014, using the coding instructions of the Comparative Agendas Project to label topics. We show that our method works well for a majority of the topics we estimate; but we also find that institution-specific topics, in particular on subnational governance, require manual input. We validate our results using human expert coding.


title: The First-principles Study on the Mechanics, Optical and Phonon Properties of Carbon Chains

abstract: The two kinds of carbyne, i.e., cumulene and polyyne, are investigated by the first principles, where the mechanical properties, electronic structure, optical and phonon properties of the two carbynes are calculated. The results on the crystal binding energy and the formation energy show that polyyne is more stable and harder than cumulene, and both are difficult to be synthesized from diamond or graphite. The tensile stiffness, bond stiffness and Young's modulus of cumulene are 94.669 eV/{\AA}, 90.334GPa and 60.62GPa, respectively; while the corresponding values of polyyne are 94.939eV/{\AA}, 101.42GPa and 60.06GPa, respectively. The supercell calculation shows that carbyne is the most stable at N=5, where N is the supercell number. It indicates that the carbon chain with 10 atoms is the most stable. The calculation on the electronic band structure shows that cumulene is conductor, while polyyne is semiconductor with a band gap as 0.37eV. The dielectric function of carbynes varies in different direction, consistent with the one dimensional nature of the carbon chains. In the phonon dispersion of cumulene there are imaginary frequencies with the lowest value down to -3.817THz, which indicates that cumulene could be unstable at room temperature and normal pressure.


abstract: In this paper, we classify 3-dimensional complete gradient Yamabe solitons with divergence-free Cotton tensor. We also give some classifications of complete gradient Yamabe solitons with nonpositively curved Ricci curvature in the direction of the gradient of the potential function.


title: Semileptonic decays of $B_c$ meson to $P$-wave charmonium states

abstract: Inspired by a series of unexpected measurements of semileptonic decays mediated via $b\rightarrow c $ charged current interactions, we explore semileptonic $B_c$ decays to the four lightest $P$-wave charmonium states, $\chi_{c0}, \chi_{c1}, \chi_{c2}, h_c$, by the recently developed improved perturbative QCD formalism, in which the charm quark mass effect is included both in the Sudakov factor and the hard kernels. We first directly evaluate the concerned transition form factors with vector and axial-vector currents in the region of small momentum transfer squared, and then recast them to the full kinematical region by adopting the exponential parametrization. The obtained form factors are used to evaluate the semileptonic decay branching ratios, which can reach the order of $10^{-3}$, letting the corresponding measurement appear feasible. For a better analysis, a comparison of our results with the predictions of other models is provided. We also present the ratios between the tau and light lepton branching ratios and the polarization contributions in the relevant processes, which still need experimental tests in the ongoing and forthcoming experiments. Any significant deviations from the Standard Model results may provide some hints of new physics effects.


title: Echo state networks are universal

abstract: This paper shows that echo state networks are universal uniform approximants in the context of discrete-time fading memory filters with uniformly bounded inputs defined on negative infinite times. This result guarantees that any fading memory input/output system in discrete time can be realized as a simple finite-dimensional neural network-type state-space model with a static linear readout map. This approximation is valid for infinite time intervals. The proof of this statement is based on fundamental results, also presented in this work, about the topological nature of the fading memory property and about reservoir computing systems generated by continuous reservoir maps.


title: Two-dimensional optomechanics formed by the graphene sheet and photonic crystal cavity

abstract: We theoretically study photon transmission and mechanical ground state cooling in a two-dimensional optomechanical system that is formed of a suspended graphene sheet on an one-dimensional optomechanical crystal. When the frequencies of graphene resonator and nanobeam resonator(phononic mode of optomechanical crystal) are approximately the same, the $\Lambda$-type degenerate four-level system of two-dimensional optomechanics shows two-color optomechanically-induced transparency , and the transparency window could be switched among probe signal's absorption, transparency, and amplification. According to our calculations, the graphene resonator could also effectively assist the ground state cooling of large damping nanobeam resonator in two-dimensional optomechanics.


title: Identification of Conduit Countries and Community Structures in the Withholding Tax Networks

abstract: Due to economic globalization, each country's economic law, including tax laws and tax treaties, has been forced to work as a single network. However, each jurisdiction (country or region) has not made its economic law under the assumption that its law functions as an element of one network, so it has brought unexpected results. We thought that the results are exactly international tax avoidance. To contribute to the solution of international tax avoidance, we tried to investigate which part of the network is vulnerable. Specifically, focusing on treaty shopping, which is one of international tax avoidance methods, we attempt to identified which jurisdiction are likely to be used for treaty shopping from tax liabilities and the relationship between jurisdictions which are likely to be used for treaty shopping and others. For that purpose, based on withholding tax rates imposed on dividends, interest, and royalties by jurisdictions, we produced weighted multiple directed graphs, computed the centralities and detected the communities. As a result, we clarified the jurisdictions that are likely to be used for treaty shopping and pointed out that there are community structures. The results of this study suggested that fewer jurisdictions need to introduce more regulations for prevention of treaty abuse worldwide.


title: ProFlow: Learning to Predict Optical Flow

abstract: Temporal coherence is a valuable source of information in the context of optical flow estimation. However, finding a suitable motion model to leverage this information is a non-trivial task. In this paper we propose an unsupervised online learning approach based on a convolutional neural network (CNN) that estimates such a motion model individually for each frame. By relating forward and backward motion these learned models not only allow to infer valuable motion information based on the backward flow, they also help to improve the performance at occlusions, where a reliable prediction is particularly useful. Moreover, our learned models are spatially variant and hence allow to estimate non-rigid motion per construction. This, in turns, allows to overcome the major limitation of recent rigidity-based approaches that seek to improve the estimation by incorporating additional stereo/SfM constraints. Experiments demonstrate the usefulness of our new approach. They not only show a consistent improvement of up to 27% for all major benchmarks (KITTI 2012, KITTI 2015, MPI Sintel) compared to a baseline without prediction, they also show top results for the MPI Sintel benchmark -- the one of the three benchmarks that contains the largest amount of non-rigid motion.


title: AID++: An Updated Version of AID on Scene Classification

abstract: Aerial image scene classification is a fundamental problem for understanding high-resolution remote sensing images and has become an active research task in the field of remote sensing due to its important role in a wide range of applications. However, the limitations of existing datasets for scene classification, such as the small scale and low-diversity, severely hamper the potential usage of the new generation deep convolutional neural networks (CNNs). Although huge efforts have been made in building large-scale datasets very recently, e.g., the Aerial Image Dataset (AID) which contains 10,000 image samples, they are still far from sufficient to fully train a high-capacity deep CNN model. To this end, we present a larger-scale dataset in this paper, named as AID++, for aerial scene classification based on the AID dataset. The proposed AID++ consists of more than 400,000 image samples that are semi-automatically annotated by using the existing the geographical data. We evaluate several prevalent CNN models on the proposed dataset, and the results show that our dataset can be used as a promising benchmark for scene classification.


title: MaestROB: A Robotics Framework for Integrated Orchestration of Low-Level Control and High-Level Reasoning

abstract: This paper describes a framework called MaestROB. It is designed to make the robots perform complex tasks with high precision by simple high-level instructions given by natural language or demonstration. To realize this, it handles a hierarchical structure by using the knowledge stored in the forms of ontology and rules for bridging among different levels of instructions. Accordingly, the framework has multiple layers of processing components; perception and actuation control at the low level, symbolic planner and Watson APIs for cognitive capabilities and semantic understanding, and orchestration of these components by a new open source robot middleware called Project Intu at its core. We show how this framework can be used in a complex scenario where multiple actors (human, a communication robot, and an industrial robot) collaborate to perform a common industrial task. Human teaches an assembly task to Pepper (a humanoid robot from SoftBank Robotics) using natural language conversation and demonstration. Our framework helps Pepper perceive the human demonstration and generate a sequence of actions for UR5 (collaborative robot arm from Universal Robots), which ultimately performs the assembly (e.g. insertion) task.


title: From Claringbullite to a new spin liquid candidate Cu$_3$Zn(OH)$_6$FCl

abstract: The search for quantum spin liquid (QSL) materials has attracted significant attention in the field of condensed matter physics in recent years, but until now only a handful of them are considered as candidates hosting QSL ground state. Owning to their geometrically frustrated structure, Kagome materials are ideal system to realize QSL. In this study, we synthesized the kagome structured material Claringbullite (Cu$_4$(OH)$_6$FCl) and then performed Zn doping to form Cu$_3$Zn(OH)$_6$FCl. Comprehensive measurements reveal that doping Zn$^{2+}$ ions transforms magnetically ordered Cu$_4$(OH)$_6$FCl into a non-magnetic QSL candidate Cu$_3$Zn(OH)$_6$FCl. Therefore, the successful syntheses of Cu$_4$(OH)$_6$FCl and Cu$_3$Zn(OH)$_6$FCl not only provide a new platform for the study of QSL but also a novel pathway of investigating the transition between QSL and magnetically ordered systems.


title: NAM: Non-Adversarial Unsupervised Domain Mapping

abstract: Several methods were recently proposed for the task of translating images between domains without prior knowledge in the form of correspondences. The existing methods apply adversarial learning to ensure that the distribution of the mapped source domain is indistinguishable from the target domain, which suffers from known stability issues. In addition, most methods rely heavily on `cycle' relationships between the domains, which enforce a one-to-one mapping. In this work, we introduce an alternative method: Non-Adversarial Mapping (NAM), which separates the task of target domain generative modeling from the cross-domain mapping task. NAM relies on a pre-trained generative model of the target domain, and aligns each source image with an image synthesized from the target domain, while jointly optimizing the domain mapping function. It has several key advantages: higher quality and resolution image translations, simpler and more stable training and reusable target models. Extensive experiments are presented validating the advantages of our method.


title: Admissible Abstractions for Near-optimal Task and Motion Planning

abstract: We define an admissibility condition for abstractions expressed using angelic semantics and show that these conditions allow us to accelerate planning while preserving the ability to find the optimal motion plan. We then derive admissible abstractions for two motion planning domains with continuous state. We extract upper and lower bounds on the cost of concrete motion plans using local metric and topological properties of the problem domain. These bounds guide the search for a plan while maintaining performance guarantees. We show that abstraction can dramatically reduce the complexity of search relative to a direct motion planner. Using our abstractions, we find near-optimal motion plans in planning problems involving $10^{13}$ states without using a separate task planner.


title: k-Space Deep Learning for Parallel MRI: Application to Time-Resolved MR Angiography

abstract: Time-resolved angiography with interleaved stochastic trajectories (TWIST) has been widely used for dynamic contrast enhanced MRI (DCE-MRI). To achieve highly accelerated acquisitions, TWIST combines the periphery of the k-space data from several adjacent frames to reconstruct one temporal frame. However, this view-sharing scheme limits the true temporal resolution of TWIST. Moreover, the k-space sampling patterns have been specially designed for a specific generalized autocalibrating partial parallel acquisition (GRAPPA) factor so that it is not possible to reduce the number of view-sharing once the k-data is acquired. To address these issues, this paper proposes a novel k-space deep learning approach for parallel MRI. In particular, we have designed our neural network so that accurate k-space interpolations are performed simultaneously for multiple coils by exploiting the redundancies along the coils and images. Reconstruction results using in vivo TWIST data set confirm that the proposed method can immediately generate high-quality reconstruction results with various choices of view- sharing, allowing us to exploit the trade-off between spatial and temporal resolution in time-resolved MR angiography.


title: Learning Semantic Sentence Embeddings using Sequential Pair-wise Discriminator

abstract: In this paper, we propose a method for obtaining sentence-level embeddings. While the problem of securing word-level embeddings is very well studied, we propose a novel method for obtaining sentence-level embeddings. This is obtained by a simple method in the context of solving the paraphrase generation task. If we use a sequential encoder-decoder model for generating paraphrase, we would like the generated paraphrase to be semantically close to the original sentence. One way to ensure this is by adding constraints for true paraphrase embeddings to be close and unrelated paraphrase candidate sentence embeddings to be far. This is ensured by using a sequential pair-wise discriminator that shares weights with the encoder that is trained with a suitable loss function. Our loss function penalizes paraphrase sentence embedding distances from being too large. This loss is used in combination with a sequential encoder-decoder network. We also validated our method by evaluating the obtained embeddings for a sentiment analysis task. The proposed method results in semantic embeddings and outperforms the state-of-the-art on the paraphrase generation and sentiment analysis task on standard datasets. These results are also shown to be statistically significant.


title: Euclidean versus Minkowski short distance

abstract: In this note we reexamine the possibility of extracting parton distribution functions from lattice simulations. We discuss the case of quasi-parton distribution functions, the possibility of using the reduced Ioffe-time distributions and the more recent proposal of directly making reference to the computation of the current-current $T$-product. We show that in all cases the process of renormalization hindered by lattice momenta limitation represents an obstruction to a direct Euclidean calculation of the parton distribution function.


title: Microlocal analysis of forced waves

abstract: We use radial estimates for pseudodifferential operators to describe long time evolution of solutions to $ i u_t - P u = f $ where $ P $ is a self-adjoint 0th order pseudodifferential operator satisfying hyperbolic dynamical assumptions and where $ f $ is smooth. This is motivated by recent results of Colin de Verdi\`ere and Saint-Raymond [arXiv:1801.05582] concerning a microlocal model of internal waves in stratified fluids.


title: A New Style of Proof for Mathematics Organized as a Network of Axiomatic Theories

abstract: A theory graph is a network of axiomatic theories connected with meaning-preserving mappings called theory morphisms. Theory graphs are well suited for organizing large bodies of mathematical knowledge. Traditional and formal proofs do not adequately fulfill all the purposes that mathematical proofs have, and they do not exploit the structure inherent in a theory graph. We propose a new style of proof that fulfills the principal purposes of a mathematical proof as well as capitalizes on the connections provided by the theory morphisms in a theory graph. This new style of proof combines the strengths of traditional proofs with the strengths of formal proofs.


title: Causal Inference with Noisy and Missing Covariates via Matrix Factorization

abstract: Valid causal inference in observational studies often requires controlling for confounders. However, in practice measurements of confounders may be noisy, and can lead to biased estimates of causal effects. We show that we can reduce the bias caused by measurement noise using a large number of noisy measurements of the underlying confounders. We propose the use of matrix factorization to infer the confounders from noisy covariates, a flexible and principled framework that adapts to missing values, accommodates a wide variety of data types, and can augment many causal inference methods. We bound the error for the induced average treatment effect estimator and show it is consistent in a linear regression setting, using Exponential Family Matrix Completion preprocessing. We demonstrate the effectiveness of the proposed procedure in numerical experiments with both synthetic data and real clinical data.


title: A Framework for Speechreading Acquisition Tools

abstract: At least 360 million people worldwide have disabling hearing loss that frequently causes difficulties in day-to-day conversations. Hearing aids often fail to offer enough benefits and have low adoption rates. However, people with hearing loss find that speechreading can improve their understanding during conversation. Speechreading (often called lipreading) refers to using visual information about the movements of a speaker's lips, teeth, and tongue to help understand what they are saying. Speechreading is commonly used by people with all severities of hearing loss to understand speech, and people with typical hearing also speechread (albeit subconsciously) to help them understand others. However, speechreading is a skill that takes considerable practice to acquire. Publicly-funded speechreading classes are sometimes provided, and have been shown to improve speechreading acquisition. However, classes are only provided in a handful of countries around the world and students can only practice effectively when attending class. Existing tools have been designed to help improve speechreading acquisition, but are often not effective because they have not been designed within the context of contemporary speechreading lessons or practice. To address this, in this thesis I present a novel speechreading acquisition framework that can be used to design Speechreading Acquisition Tools (SATs) - a new type of technology to improve speechreading acquisition.


title: Wideband Massive MIMO Channel Estimation via Sequential Atomic Norm Minimization

abstract: The recently introduced atomic norm minimization (ANM) framework for parameter estimation is a promising candidate towards low overhead channel estimation in wireless communications. However, previous works on ANM-based channel estimation evaluated performance on channels with artificially imposed channel path separability, which cannot be guaranteed in practice. In addition, direct application of the ANM framework for massive MIMO channel estimation is computationally infeasible due to the large dimensions. In this paper, a low-complexity ANM-based channel estimator for wideband massive MIMO is proposed, consisting of two sequential steps, the first estimating the channel over the spatial and the second over the frequency dimension. Its mean squared error performance is analytically characterized in terms of tight lower bounds. It is shown that the proposed algorithm achieves excellent performance that is close to the best that can be achieved by any unbiased channel estimator in the regime of low to moderate number of channel paths, without any restrictions on their separability.


title: Minmax Regret 1-Sink for Aggregate Evacuation Time on Path Networks

abstract: Evacuation in emergency situations can be modeled by a dynamic flow network. Two criteria have been used before: one is the evacuation completion time and the other is the aggregate evacuation time of individual evacuees. The aim of this paper is to optimize the aggregate evacuation time in the simplest case, where the network is a path and only one evacuation center (called a sink) is to be introduced. The evacuees are initially located at the vertices, but their precise numbers are unknown, and are given by upper and lower bounds. Under this assumption, we compute the sink location that minimizes the maximum "regret." We present an $O(n^2\log n)$ time algorithm to solve this problem, improving upon the previously fastest $O(n^3)$ time algorithm, where $n$ is the number of vertices.


title: Low-Overhead Hierarchically-Sparse Channel Estimation for Multiuser Wideband Massive MIMO

abstract: The problem of excessive pilot overhead required for uplink massive MIMO channel estimation is well known, let alone when it is considered along with wideband (OFDM) transmissions. Towards channel estimators that are both efficient and require low-training overhead, compressive sensing (CS) approaches have been increasingly popular, exploiting the sparse nature of the physical channel. However, no analytical insights regarding the overhead required for reliable channel estimation in wideband massive MIMO are available. By observing that the wideband massive MIMO channel can be represented by a vector that is not simply sparse but has well defined structural properties, referred to as hierarchical sparsity, we propose low complexity channel estimators for the multiuser scenario that take this property into account. By employing the framework of the hierarchical restricted isometry property, rigorous performance guarantees for these algorithms are provided suggesting concrete design goals for the user pilot sequences. For a specific design, we analytically characterize the scaling of the required pilot overhead with increasing number of antennas and bandwidth, revealing that, as long as the number of antennas is sufficiently large, it is independent of the per user channel sparsity level as well as the number of active users. Hence, surprisingly, in contrast to the classical setting, pilot overhead can be shifted into spatial dimensions not affecting crucial bandwidth constraints thereby increasing the overall system capacity. These analytical insights are verified by simulation results demonstrating also the superiority of the proposed algorithm over conventional CS algorithms that ignore the hierarchical sparsity property.


title: Unruh-DeWitt detectors as mirrors: Dynamical reflectivity and Casimir effect

abstract: We demonstrate that the Unruh-DeWitt harmonic-oscillator detectors in (1+1) dimensions derivative-coupled with a massless scalar field can mimic the atom mirrors in free space. Without introducing the Dirichlet boundary condition to the field, the reflectivity of our detector/atom mirror is dynamically determined by the interaction of the detector's internal oscillator and the field. When the oscillator-field coupling is strong, a broad frequency range of the quantum field can be mostly reflected by the detector mirror at late times. Constructing a cavity model with two such detector mirrors, we can see how the quantum field inside the cavity evolves from a continuous to a quasi-discrete spectrum which gives a negative Casimir energy density at late times. In our numerical calculations, the Casimir energy density in the cavity does not converge until the UV cutoff is sufficiently large, with which the two internal oscillators are always separable.


title: Convergence to the Mean Field Game Limit: A Case Study

abstract: We study the convergence of Nash equilibria in a game of optimal stopping. If the associated mean field game has a unique equilibrium, any sequence of $n$-player equilibria converges to it as $n\to\infty$. However, both the finite and infinite player versions of the game often admit multiple equilibria. We show that mean field equilibria satisfying a transversality condition are limit points of $n$-player equilibria, but we also exhibit a remarkable class of mean field equilibria that are not limits, thus questioning their interpretation as "large $n$" equilibria.


title: A classification theorem for static vacuum black holes. Part I: the study of the lapse

abstract: The celebrated uniqueness's theorem of the Schwarzschild solution by Israel, Robinson et al, and Bunting/Masood-ul-Alam, asserts that the only asymptotically flat static solution of the vacuum Einstein equations with compact but non-necessarily connected horizon is Schwarzschild. Between this article and its sequel we extend this result by proving a classification theorem for all (metrically complete) solutions of the static vacuum Einstein equations with compact but non-necessarily connected horizon without making any further assumption on the topology or the asymptotic. It is shown that any such solution is either: (i) a Boost, (ii) a Schwarzschild black hole, or (iii) is of Myers/Korotkin-Nicolai type, that is, it has the same topology and Kasner asymptotic as the Myers/Korotkin-Nicolai black holes. In a broad sense, the theorem classifies all the static vacuum black holes in 3+1-dimensions. In this Part I we use introduce techniques in conformal geometry and comparison geometry \'a la Bakry-\'Emery to prove that vacuum static black holes have only one end, and, furthermore, that the lapse is bounded away from zero at infinity. The techniques have interest in themselves and could be applied in other contexts as well, for instance to study higher-dimensional static black holes.


title: A classification theorem for static vacuum black holes. Part II: the study of the asymptotic

abstract: This is the second article of a series or two, proving a generalisation of the uniqueness theorem of the Schwarzschild solution. The theorem to be shown classifies all (metrically complete) solutions of the static vacuum Einstein equations with compact but non-necessarily connected horizon without any further assumption on the topology or the asymptotic. Specifically, it is shown that any such solution is either: (i) a Boost, (ii) a Schwarzschild black hole, or (iii) is of Myers/Korotkin-Nicolai type, that is, it has the same topology and Kasner asymptotic as the Myers/Korotkin-Nicolai black holes. In this Part II we show that the only end of a static black hole data set is either asymptotically flat or asymptotically Kasner. This proves the third and last step required in the proof of the classification theorem, as was explained in Part I. The analysis requires a thorough study of static data sets with a free $S^{1}$-symmetry and a delicate investigation of the geometry of static black hole ends with sub-cubic volume growth. Many of the conclusions of this article are hitherto unknown and have their own interest.


title: The super tree property at the successor of a singular

abstract: For an inaccessible cardinal $\kappa$, the super tree property (ITP) at $\kappa$ holds if and only if $\kappa$ is supercomact. However, just like the tree property, it can hold at successor cardinals. We show that ITP holds at the successor of the limit of $\omega$ many supercompact cardinals. Then we show that it can consistently hold at $\aleph_{\omega+1}$. We also consider a stronger principle, ISP, and certain weaker variations of it. We determine which level of ISP can hold at a successor of a singular. These results fit in the broad program of testing how much compactness can exist in the universe, and obtaining large cardinal-type properties at smaller cardinals.


title: Finite-size estimates of Kirkwood-Buff and similar integrals

abstract: Recently, Kr\"uger and Vlugt [Phys. Rev. E 97, 051301(R) (2018)] have proposed a method to approximate an improper integral $\int_0^\infty \text{d}r\, F(r)$, where $F(r)$ is a given oscillatory function, by a finite-range integral $\int_0^L \text{d}r\, F(r) W(r/L)$ with an appropriate weight function $W(x)$. The method is extended here to an arbitrary (embedding) dimensionality $d$. A study of three-dimensional Kirkwood-Buff integrals, where $F(r)=4\pi r^2h(r)$, and static structure factors, where $F(r)=(4\pi/q) r\sin(qr) h(r)$, $h(r)$ being the pair correlation function, shows that, in general, a choice $d\neq 3$ (e.g., $d=7$) for the embedding dimensionality may significantly reduce the error of the approximation $\int_0^\infty \text{d}r\, F(r)\simeq \int_0^L \text{d}r\, F(r) W(r/L)$.


title: Petit Algebras and their Automorphisms

abstract: In this thesis, we study the properties of a nonassociative algebra construction from skew polynomial rings. This construction was introduced by Petit in the 1960s but largely ignored until recently. In particular, the automorphism groups of these algebras are studied, paying particular attention to the case when the construction yields a finite semifield. The thesis is concluded by revisiting a result on associative solvable crossed product algebras by both Petit and Albert. We show a crossed product algebra is solvable if and only if it can be written as a chain of Petit algebras satisfying certain conditions.


title: Vogel-Fulcher-Tamman criticality of 3D superinsulators

abstract: It has been believed that the superinsulating state which is the low-temperature charge Berezinskii-Kosterlitz- Thouless (BKT) phase can exist only in two dimensions. We develop a general gauge description of the su- perinsulating state and the related deconfinement transition of Cooper pairs and predict the existence of the superinsulating state in three dimensions (3d). We find that 3d superinsulators exhibit Vogel-Fulcher-Tammann (VFT) critical behavior at the phase transition. This is the 3d string analogue of the Berezinski-Kosterlitz- Thouless (BKT) criticality for logarithmically and linearly interacting point particles in 2d. Our results show that singular exponential scaling behaviors of the BKT type are generic for phase transitions associated with the condensation of topological excitations.


title: Universal Current Correlations Induced by the Majorana and Fermionic Andreev Bound States

abstract: Due to their nonlocality, Majorana bound states have been proposed to induce current-current correlations (CCCs) that are completely different from those induced by low-energy fermionic Andreev bound states. Such characteristics can be used as a signature to detect Majorana bound states. Herein, we studied the Majorana and fermionic Andreev bound states in a two-dimensional topological insulator system. We found that nonlocality occurs for both types of bound states and that their coupling strengths depend on system parameters in the same pattern. Majorana and fermionic Andreev bound states show the same differential CCCs characteristics, thereby indicating a universal behavior for both types of bound states. The maximal cross differential CCCs are robust to the structural asymmetry of the system.


title: Short rainbow cycles in graphs and matroids

abstract: Let $G$ be a simple $n$-vertex graph and $c$ be a colouring of $E(G)$ with $n$ colours, where each colour class has size at least $2$. We prove that $(G,c)$ contains a rainbow cycle of length at most $\lceil \frac{n}{2} \rceil$, which is best possible. Our result settles a special case of a strengthening of the Caccetta-H\"aggkvist conjecture, due to Aharoni. We also show that the matroid generalization of our main result also holds for cographic matroids, but fails for binary matroids.


title: Analysis of regularized Nystr\"om subsampling for regression functions of low smoothness

abstract: This paper studies a Nystr\"om type subsampling approach to large kernel learning methods in the misspecified case, where the target function is not assumed to belong to the reproducing kernel Hilbert space generated by the underlying kernel. This case is less understood, in spite of its practical importance. To model such a case, the smoothness of target functions is described in terms of general source conditions. It is surprising that almost for the whole range of the source conditions, describing the misspecified case, the corresponding learning rate bounds can be achieved with just one value of the regularization parameter. This observation allows a formulation of mild conditions under which the plain Nystr\"om subsampling can be realized with subquadratic cost maintaining the guaranteed learning rates.


title: Some more amplituhedra are contractible

abstract: The amplituhedra arise as images of the totally nonnegative Grassmannians by projections that are induced by linear maps. They were introduced in Physics by Arkani-Hamed \& Trnka (Journal of High Energy Physics, 2014) as model spaces that should provide a better understanding of the scattering amplitudes of quantum field theories. The topology of the amplituhedra has been known only in a few special cases, where they turned out to be homeomorphic to balls. The amplituhedra are special cases of Grassmann polytopes introduced by Lam (Current Developments in Mathematics 2014, Int.\ Press). In this paper we show that that some further amplituhedra are homeomorphic to balls, and that some more Grassmann polytopes and amplituhedra are contractible.


title: Generative Adversarial Networks for Model Order Reduction in Seismic Full-Waveform Inversion

abstract: I train a Generative Adversarial Network to produce realistic seismic wave speed models. I integrate the generator network into seismic Full-Waveform Inversion to reduce the number of model parameters and restrict the inverted models to only those that are plausible. Applying the method to a 2D section of the SEAM model, I demonstrate that it can produce more plausible results than conventional Full-Waveform Inversion.


title: Machine learning of quantum phase transitions

abstract: Machine learning algorithms provide a new perspective on the study of physical phenomena. In this paper, we explore the nature of quantum phase transitions using multi-color convolutional neural-network (CNN) in combination with quantum Monte Carlo simulations. We propose a method that compresses $d+1$ dimensional space-time configurations to a manageable size and then use them as the input for a CNN. We test our approach on two models and show that both continuous and discontinuous quantum phase transitions can be well detected and characterized. Moreover we show that intermediate phases, which were not trained, can also be identified using our approach.


title: Studying Politically Vulnerable Communities Online: Ethical Dilemmas, Questions, and Solutions

abstract: This short article introduces the concept of political vulnerability for social media researchers. How are traditional notions of harm challenged by research subjects in politically vulnerable communities? Through a selection of case studies, we explore some of the trade-offs, challenges, and questions raised by research that seeks be robust and transparent while also preserving anonymity and privacy, especially in high-stakes, politically fraught contexts.


title: A Column Generation Algorithm for Vehicle Scheduling and Routing Problems

abstract: During natural or anthropogenic disasters, humanitarian organizations face a series of time-sensitive tasks. One of the tasks involves picking up critical resources (e.g., first aid kits, blankets, water) from warehouses and delivering them to the affected people. To successfully deliver these items to the people in need, the organization needs to make decisions that range from the quick acquisition of vehicles from the local market, to the preparation of pickup and delivery schedules and vehicle routes. During crises, the supply of vehicles is often limited, their acquisition cost is steep, and special rental periods are imposed. At the same time, the affected area needs the aid materials as fast as possible, and deliveries must be made within due time. Therefore, it is imperative that the decisions of acquiring, scheduling, and routing of vehicles are made optimally and quickly. In this paper, we consider a variant of a truckload open vehicle routing problem with time windows, which is suitable for modeling vehicle routing operations during a humanitarian crisis. We present two integer linear programming models to formulate the problem, with the first one being an arc-based mixed integer linear programming model. The second model is a path-based integer linear programming model, for which we design two fast path generation algorithms. The first model is solved exactly using the commercial solver, while we propose to solve the second model within a column generation framework. Finally, we perform numerical experiments and compare the results obtained from the two models. We show that the path-based model, when solved with our column generation algorithm, outperforms the arc-based model in terms of solution time without sacrificing the solution quality.


title: Large-time behavior of one-phase Stefan-type problems with anisotropic diffusion in periodic media

abstract: We study the large-time behavior of solutions of a one-phase Stefan-type problem with anisotropic diffusion in periodic media on an exterior domain in a dimension $n \geq 3$. By a rescaling transformation that matches the expansion of the free boundary, we deduce the homogenization of the free boundary velocity together with the homogenization of the anisotropic operator. Moreover, we obtain the convergence of the rescaled solution to the solution of the homogenized Hele-Shaw-type problem with a point source and the convergence of the rescaled free boundary to a self-similar profile with respect to the Hausdorff distance.


title: On the potential for reconstructing the moisture field using commercial microwave network data

abstract: The atmospheric greenhouse effect and the hydrological cycle of Earth are key components enabling the planet to support life. Water vapor is a central element in both of these, accounting for approximately half of the present day greenhouse effect, and comprising the most important gaseous source of atmospheric infrared opacity. Specifically, it functions as the fuel for the development of convective storm clouds. This parameter, however, is considered one of the least studied due to the limitations of conventional monitoring instruments. The current predominate monitoring tools are humidity gauges and satellites which suffer from a lack of spatial representativeness and difficulties in measuring at ground level altitudes, respectively. This study demonstrates for the first time the potential to reconstruct the 2-Dimensional humidity field using commercial microwave links which form the infrastructure for data transmission in cellular networks. Water vapor attenuates the waves transmitted by the system and thus these microwave links can potentially form as a virtual network for monitoring the humidity field. The results show a correlation of between 0.6 and 0.92 with root mean square differences ranging from 1.9 to 4.15 gr/m^3 between conventional humidity gauges and the humidity estimates calculated for the same points in space by the proposed technology. The results obtained are the first to point out the improved performance of humidity measurements when using data from multiple microwave links. These results indicate the tremendous potential of this novel approach for improving the initialization of meteorological forecasting models thus potentially improving the ability to cope with the dangers associated with extreme weather.


title: Garbage Collection in Concurrent Sets

abstract: Garbage Collection in concurrent data structures, especially lock-free ones, pose multiple design and consistency challenges. In this instance, we consider the case of concurrent sets. A set is a collection of elements, where the elements are ordered and distinct. These two invariants are always maintained at every point in time. Currently, multiple implementations of concurrent sets already exist. LazyList, Hand-over-hand List and Harris List are some of the well-known implementations. However none of these implementations employ, or are concerned with garbage collection of deleted nodes. Instead each implementation ignores deleted nodes or depends on the garbage collector of the language to handle them. Additionally, Garbage collection in concurrent lists, that use optimistic traversals or that are lock-free, is not trivial. For example, in LazyList and Harris List, they allow a thread to traverse a node or a sequence of nodes after these nodes have already been removed from the list, and hence possibly deleted. If deleted nodes are to be reused, this will potentially lead to the ABA problem. Moreover, some languages like C++ do not have an inbuilt garbage collector. Some constructs like Shared Pointers provide a limited garbage collection facility, but it degrades performance by a large scale. Integrating Shared Pointers into a concurrent code is also not a trivial task. In this paper, we propose a new representation of a concurrent set, GCList, which employs inbuilt garbage collection. We propose a novel garbage collection scheme that implements in-built memory reclamation whereby it reuses deleted nodes from the list. We propose both lock-based and lock-free implementations of GCList. The garbage collection scheme works in parallel with the Set operations.


title: Study of the theta dependence of the vacuum energy density in chiral effective Lagrangian models at zero temperature

abstract: We perform a systematic study of the modifications to the QCD vacuum energy density $\epsilon_{vac}$ in the zero-temperature case ($T=0$) caused by a small, but non-zero, value of the parameter $\theta$, using different effective Lagrangian models which include the flavour-singlet meson field and implement the $U(1)$ axial anomaly of the fundamental theory. In particular, we derive the expressions for the topological susceptibility $\chi$ and for the second cumulant $c_4$ starting from the $\theta$ dependence of $\epsilon_{vac}(\theta)$ in the various models that we have considered. Moreover, we evaluate numerically our results, so as to compare them with each other, with the predictions of the Chiral Effective Lagrangian, and, finally, also with the available lattice data.


title: A two-stage method for spectral-spatial classification of hyperspectral images

abstract: This paper proposes a novel two-stage method for the classification of hyperspectral images. Pixel-wise classifiers, such as the classical support vector machine (SVM), consider spectral information only; therefore they would generate noisy classification results as spatial information is not utilized. Many existing methods, such as morphological profiles, superpixel segmentation, and composite kernels, exploit the spatial information too. In this paper, we propose a two-stage approach to incorporate the spatial information. In the first stage, an SVM is used to estimate the class probability for each pixel. The resulting probability map for each class will be noisy. In the second stage, a variational denoising method is used to restore these noisy probability maps to get a good classification map. Our proposed method effectively utilizes both spectral and spatial information of the hyperspectral data sets. Experimental results on three widely used real hyperspectral data sets indicate that our method is very competitive when compared with current state-of-the-art methods, especially when the inter-class spectra are similar or the percentage of the training pixels is high.


title: Wide Angle Dynamically Tunable Enhanced Infrared Absorption on Large Area Nanopatterned Graphene

abstract: Enhancing light-matter interaction by exciting Dirac plasmons on nanopatterned monolayer graphene is an efficient route to achieve high infrared absorption. Here, we designed and fabricated the hexagonal planar arrays of nanohole and nanodisk with and without optical cavity to excite Dirac plasmons on the patterned graphene and investigated the role of plasmon lifetime, extinction cross-section, incident light polarization, the angle of incident of light and pattern dimensions on the light absorption spectra.


title: A Robust Narrow-Line Magneto-Optical Trap using Adiabatic Transfer

abstract: We characterize the properties of a new form of magneto-optical trap (MOT) that relies on non-equilibrium population dynamics associated with narrow-linewidth optical transitions. We demonstrate this mechanism using the 7.5 kHz linewidth transition in both bosonic and fermionic strontium isotopes. In contrast to standard narrow-line MOTs based on imbalances in equilibrium scattering rates, our system benefits from a less complex laser system, a larger capture fraction from higher temperature samples, robustness against experimental perturbations and the ability to operate in the presence of large inhomogeneous broadening of the atomic transition frequency.


title: Study and development of a Computer-Aided Diagnosis system for classification of chest x-ray images using convolutional neural networks pre-trained for ImageNet and data augmentation

abstract: Convolutional neural networks (ConvNets) are the actual standard for image recognizement and classification. On the present work we develop a Computer Aided-Diagnosis (CAD) system using ConvNets to classify a x-rays chest images dataset in two groups: Normal and Pneumonia. The study uses ConvNets models available on the PyTorch platform: AlexNet, SqueezeNet, ResNet and Inception. We initially use three training styles: complete from scratch using random initialization, using a pre-trained ImageNet model training only the last layer adapted to our problem (transfer learning) and a pre-trained model modified training all the classifying layers of the model (fine tuning). The last strategy of training used is with data augmentation techniques that avoid over fitting problems on ConvNets yielding the better results on this study


title: Latent Tree Learning with Differentiable Parsers: Shift-Reduce Parsing and Chart Parsing

abstract: Latent tree learning models represent sentences by composing their words according to an induced parse tree, all based on a downstream task. These models often outperform baselines which use (externally provided) syntax trees to drive the composition order. This work contributes (a) a new latent tree learning model based on shift-reduce parsing, with competitive downstream performance and non-trivial induced trees, and (b) an analysis of the trees learned by our shift-reduce model and by a chart-based model.


title: A new proof of the dimension gap for the Gauss map

abstract: Kifer, Peres and Weiss showed that the Bernoulli measures for the Gauss map $T(x)= \frac{1}{x} \mod 1$ satisfy a `dimension gap' meaning that for some $c>0$, $\sup_{\mathbf{p}} \dim \mu_{\mathbf{p}} <1-c$, where $\mu_{\mathbf{p}}$ denotes the (pushforward) Bernoulli measure for the countable probability vector $\mathbf{p}$. In this paper we propose a new proof of the dimension gap. By using tools from thermodynamic formalism we show that the problem reduces to obtaining uniform lower bounds on the asymptotic variance of a class of potentials.


title: BPjs --- a framework for modeling reactive systems using a scripting language and BP

abstract: We describe some progress towards a new common framework for model driven engineering, based on behavioral programming. The tool we have developed unifies almost all of the work done in behavioral programming so far, under a common set of interfaces. Its architecture supports pluggable event selection strategies, which can make models more intuitive and compact. Program state space can be traversed using various algorithms, such as DFS and A*. Furthermore, program state is represented in a way that enables scanning a state space using parallel and distributed algorithms. Executable models created with this tool can be directly embedded in Java applications, enabling a model-first approach to system engineering, where initially a model is created and verified, and then a working application is gradually built around the model. The model itself consists of a collection of small scripts written in JavaScript (hence "BPjs"). Using a variety of case-studies, this paper shows how the combination of a lenient programming language with formal model analysis tools creates an efficient way of developing robust complex systems. Additionally, as we learned from an experimental course we ran, the usage of JavaScript make practitioners more amenable to using this system and, thus, model checking and model driven engineering. In addition to providing infrastructure for development and case-studies in behavioral programming, the tool is designed to serve as a common platform for research and innovation in behavioral programming and in model driven engineering in general.


title: Search for narrow and broad dijet resonances in proton-proton collisions at $\sqrt{s}=$ 13 TeV and constraints on dark matter mediators and other new particles

abstract: Searches for resonances decaying into pairs of jets are performed using proton-proton collision data collected at $\sqrt{s} =$ 13 TeV corresponding to an integrated luminosity of up to 36 fb$^{-1}$. A low-mass search, for resonances with masses between 0.6 and 1.6 TeV, is performed based on events with dijets reconstructed at the trigger level from calorimeter information. A high-mass search, for resonances with masses above 1.6 TeV, is performed using dijets reconstructed offline with a particle-flow algorithm. The dijet mass spectrum is well described by a smooth parameterization and no evidence for the production of new particles is observed. Upper limits at 95% confidence level are reported on the production cross section for narrow resonances with masses above 0.6 TeV. In the context of specific models, the limits exclude string resonances with masses below 7.7 TeV, scalar diquarks below 7.2 TeV, axigluons and colorons below 6.1 TeV, excited quarks below 6.0 TeV, color-octet scalars below 3.4 TeV, W' bosons below 3.3 TeV, Z' bosons below 2.7 TeV, Randall-Sundrum gravitons below 1.8 TeV and in the range 1.9 to 2.5 TeV, and dark matter mediators below 2.6 TeV. The limits on both vector and axial-vector mediators, in a simplified model of interactions between quarks and dark matter particles, are presented as functions of dark matter particle mass and coupling to quarks. Searches are also presented for broad resonances, including for the first time spin-1 resonances with intrinsic widths as large as 30% of the resonance mass. The broad resonance search improves and extends the exclusions of a dark matter mediator to larger values of its mass and coupling to quarks.


title: TernausNetV2: Fully Convolutional Network for Instance Segmentation

abstract: The most common approaches to instance segmentation are complex and use two-stage networks with object proposals, conditional random-fields, template matching or recurrent neural networks. In this work we present TernausNetV2 - a simple fully convolutional network that allows extracting objects from a high-resolution satellite imagery on an instance level. The network has popular encoder-decoder type of architecture with skip connections but has a few essential modifications that allows using for semantic as well as for instance segmentation tasks. This approach is universal and allows to extend any network that has been successfully applied for semantic segmentation to perform instance segmentation task. In addition, we generalize network encoder that was pre-trained for RGB images to use additional input channels. It makes possible to use transfer learning from visual to a wider spectral range. For DeepGlobe-CVPR 2018 building detection sub-challenge, based on public leaderboard score, our approach shows superior performance in comparison to other methods. The source code corresponding pre-trained weights are publicly available at https://github.com/ternaus/TernausNetV2


title: Gravitational radiation in Infinite Derivative Gravity and connections to Effective Quantum Gravity

abstract: The Hulse-Taylor binary provides possibly the best test of GR to date. We find the modified quadrupole formula for Infinite Derivative Gravity (IDG). We extend the backreaction formula for propagation of gravitational waves, found previously for Effective Quantum Gravity (EQG) for a flat background and extend this calculation to a de Sitter background for both EQG and IDG. We put tighter constraints on EQG using new LIGO data. We also find the power emitted by a binary system within the IDG framework for both circular and elliptical orbits and use the example of the Hulse-Taylor binary. IDG predicts a slightly lower power than GR, which is exactly the observed result. We also find a lower bound on our mass scale of $M>4.0$ keV, which is $10^6$ larger than the previous result.


title: A bivariate generating function for zeta values and related supercongruences

abstract: By using the Wilf-Zeilberger method, we prove a novel finite combinatorial identity related to a bivariate generating function for $\zeta(2+r+2s)$ (an extension of a Bailey-Borwein-Bradley Apery-like formula for even zeta values). Such identity is then applied to show several supercongruences.


title: Influence of hydrogen on electron-phonon coupling and intrinsic electrical resistivity in zirconium: a first-principles study

abstract: The paper presents the first-principle calculation of the electron-phonon coupling and the temperature dependence of the intrinsic electrical resistivity of the zirconium-hydrogen system with various hydrogen concentrations. The nature of the anomalous decrease in the electrical resistivity of the Zr-H system with the increase of hydrogen concentration (at the high concentrations of H/Zr$>$1.5) was studied. It was found that the hydrogen concentration, where the resistivity starts to decrease, is very close to the critical concentration of the $\delta-\varepsilon$ phase transition. It was shown that the tetragonal lattice distortion due to the $\delta-\varepsilon$ phase transition of the Zr-H system eliminates imaginary phonon frequencies and the strong electron-phonon coupling of the $\delta$ phase and, as a result, leads to the reduction of the electrical resistivity of the Zr-H system at a high hydrogen concentration.


title: Learning graphs from data: A signal representation perspective

abstract: The construction of a meaningful graph topology plays a crucial role in the effective representation, processing, analysis and visualization of structured data. When a natural choice of the graph is not readily available from the data sets, it is thus desirable to infer or learn a graph topology from the data. In this tutorial overview, we survey solutions to the problem of graph learning, including classical viewpoints from statistics and physics, and more recent approaches that adopt a graph signal processing (GSP) perspective. We further emphasize the conceptual similarities and differences between classical and GSP-based graph inference methods, and highlight the potential advantage of the latter in a number of theoretical and practical scenarios. We conclude with several open issues and challenges that are keys to the design of future signal processing and machine learning algorithms for learning graphs from data.


title: On estimation for Brownian motion governed by telegraph process with multiple off states

abstract: Brownian motion whose infinitesimal variance changes according to a three-state continuous time Markov Chain is studied. This Markov Chain can be viewed as a telegraph process with one on state and two off states. We first derive the distribution of occupation time of the on state. Then the result is used to develop a likelihood estimation procedure when the stochastic process at hand is observed at discrete, possibly irregularly spaced time points. The likelihood function is evaluated with the forward algorithm in the general framework of hidden Markov models. The analytic results are confirmed with simulation studies. The estimation procedure is applied to analyze the position data from a mountain lion.


title: Probing the inflationary particle content: extra spin-2 field

abstract: We study how inflationary observables associated with primordial tensor modes are affected by coupling the minimal field content with an extra spin-2 particle during inflation. We work with a model that is ghost-free at the fully non-linear level and show how the new degrees of freedom modify standard consistency relations for the tensor bispectrum. The extra interacting spin-2 field is necessarily massive and unitarity dictates its mass be in the $m \gtrsim H$ range. Despite the fact that this bound selects a decaying solution for the corresponding tensor mode, cosmological correlators still carry the imprints of such "fossil" fields. Remarkably, fossil(s) of spin $\geq 1$ generate distinctive anisotropies in observables such as the tensor power spectrum. We show how this plays out in our set-up.


title: An Aggressive Genetic Programming Approach for Searching Neural Network Structure Under Computational Constraints

abstract: Recently, there emerged revived interests of designing automatic programs (e.g., using genetic/evolutionary algorithms) to optimize the structure of Convolutional Neural Networks (CNNs) for a specific task. The challenge in designing such programs lies in how to balance between large search space of the network structures and high computational costs. Existing works either impose strong restrictions on the search space or use enormous computing resources. In this paper, we study how to design a genetic programming approach for optimizing the structure of a CNN for a given task under limited computational resources yet without imposing strong restrictions on the search space. To reduce the computational costs, we propose two general strategies that are observed to be helpful: (i) aggressively selecting strongest individuals for survival and reproduction, and killing weaker individuals at a very early age; (ii) increasing mutation frequency to encourage diversity and faster evolution. The combined strategy with additional optimization techniques allows us to explore a large search space but with affordable computational costs. Our results on standard benchmark datasets (MNIST, SVHN, CIFAR-10, CIFAR-100) are competitive to similar approaches with significantly reduced computational costs.


title: On the Importance of Attention in Meta-Learning for Few-Shot Text Classification

abstract: Current deep learning based text classification methods are limited by their ability to achieve fast learning and generalization when the data is scarce. We address this problem by integrating a meta-learning procedure that uses the knowledge learned across many tasks as an inductive bias towards better natural language understanding. Based on the Model-Agnostic Meta-Learning framework (MAML), we introduce the Attentive Task-Agnostic Meta-Learning (ATAML) algorithm for text classification. The essential difference between MAML and ATAML is in the separation of task-agnostic representation learning and task-specific attentive adaptation. The proposed ATAML is designed to encourage task-agnostic representation learning by way of task-agnostic parameterization and facilitate task-specific adaptation via attention mechanisms. We provide evidence to show that the attention mechanism in ATAML has a synergistic effect on learning performance. In comparisons with models trained from random initialization, pretrained models and meta trained MAML, our proposed ATAML method generalizes better on single-label and multi-label classification tasks in miniRCV1 and miniReuters-21578 datasets.


title: A Mean Field Platform for Excited State Quantum Chemistry

abstract: We present a mean field theory for excited states that is broadly analogous to ground state Hartree-Fock theory. Like Hartree-Fock, our approach is deterministic, state-specific, applies a variational principle to a minimally correlated ansatz, produces energy stationary points, relaxes the orbital basis, has a Fock-build cost-scaling, and can serve as the foundation for correlation methods such as perturbation theory and coupled cluster theory. To emphasize this last point, we pair our mean field approach with an excited state analogue of second order Moller-Plesset theory and demonstrate that in water, formaldehyde, neon, and stretched lithium fluoride, the resulting accuracy far exceeds that of configuration interaction singles and rivals that of equation of motion coupled cluster.


title: A Note on Semi-Infinite Non-Commutative Hodge Theory and LG-Models

abstract: We study some semi-infinite invariants associated to Landau-Ginzburg models. These specialize classically to the usual twisted de Rham package and in the case of vanishing potential to the chiral de Rham complex of Malikov, Schechtman and Vaintrob, \cite{MSV}. Further we offer some small evidence that these semi-infinite invariants can be associated to dg- categories more generally, so that in the classical limit they reproduce the usual non-commutative Hodge theory associated to the category.


title: Field evolution of magnons in $\alpha$-RuCl$_3$ by high-resolution polarized terahertz spectroscopy

abstract: The Kitaev quantum spin liquid (KSL) is a theoretically predicted state of matter whose fractionalized quasiparticles are distinct from bosonic magnons, the fundamental excitation in ordered magnets. The layered honeycomb antiferromagnet $\alpha$-RuCl$_3$ is a KSL candidate material, as it can be driven to a magnetically disordered phase by application of an in-plane magnetic field, with $H_c \sim 7$ T. Here we report a detailed characterization of the magnetic excitation spectrum of this material by high-resolution time-domain terahertz (THz) spectroscopy. We observe two sharp magnon resonances whose frequencies and amplitudes exhibit a discontinuity as a function of applied magnetic field, as well as two broader peaks at higher energy. Below the N\'eel temperature, we find that linear spin wave theory can account for all of these essential features of the spectra when a $C_3$-breaking distortion of the honeycomb lattice and the presence of structural domains are taken into account.


title: Torsion of a finite base locus

abstract: We interpret geometrically the torsion of the symmetric algebra of the ideal sheaf of a zero-dimensional scheme Z defined by $n+1$ equations in an $n$-dimensional variety. This leads us to generalise a formula of A.Dimca and S.Papadima in positive characteristic for a rational transformation with finite base locus. Among other applications, we construct an explicit example of a homaloidal curve of degree $5$ in characteristic $3$, answering negatively a question of A.V.D\'oria, S.H.Hassanzadeh and A.Simis.


title: On the Flip Side: Identifying Counterexamples in Visual Question Answering

abstract: Visual question answering (VQA) models respond to open-ended natural language questions about images. While VQA is an increasingly popular area of research, it is unclear to what extent current VQA architectures learn key semantic distinctions between visually-similar images. To investigate this question, we explore a reformulation of the VQA task that challenges models to identify counterexamples: images that result in a different answer to the original question. We introduce two methods for evaluating existing VQA models against a supervised counterexample prediction task, VQA-CX. While our models surpass existing benchmarks on VQA-CX, we find that the multimodal representations learned by an existing state-of-the-art VQA model do not meaningfully contribute to performance on this task. These results call into question the assumption that successful performance on the VQA benchmark is indicative of general visual-semantic reasoning abilities.


title: Electron Acceleration and Jet-Facilitated Escape in an M Class Solar Flare on 2002 August 19

abstract: Sudden jets of collimated plasma arise from many locations on the Sun, including active regions. The magnetic field along which a jet emerges is often open to interplanetary space, offering a clear "escape route" for any flare-accelerated electrons and making jets lucrative targets for studying particle acceleration and the solar sources of transient heliospheric events. Bremsstrahlung hard X-rays (HXRs) could, in principle, trace the accelerated electrons that escape along the paths of the jets, but measurements of the escaping electron beams are customarily difficult due to the low densities of the corona. In this work, we augment HXR observations with gyrosynchrotron emission observed in microwaves, as well as extreme ultraviolet (EUV) emission and modeling to investigate flare-accelerated electrons in a coronal jet. HXR and microwave data from RHESSI and OVSA, respectively, give complementary insight into electron spectra and locations, including the presence of accelerated electrons in the jet itself. High-time-resolution HXR data from the Konus-Wind instrument suggest electron acceleration timescales on the order of 1 second or shorter. We model the energetic electron distributions in the GX Simulator framework using SoHO/MDI, RHESSI, TRACE, and OVSA data as constraints. The result is a modeled distribution, informed and constrained by measurements, of accelerated electrons as they escape the Sun. Combining the detection of microwave gyrosynchrotron emission from an open, rather than closed, magnetic configuration, with realistic 3D modeling constrained by magnetograms, EUV, and X-ray emission, we obtain the most stringent constraints to date on the accelerated electrons within a solar jet.


title: The Topology of Meromorphic Loop Spaces of Smooth Curves

abstract: We study the topology of the complex points of the algebraic loop space of a smooth curve.


title: Optimizing weighted ensemble sampling of steady states

abstract: We propose parameter optimization techniques for weighted ensemble sampling of Markov chains in the steady-state regime. Weighted ensemble consists of replicas of a Markov chain, each carrying a weight, that are periodically resampled according to their weights inside of each of a number of bins that partition state space. We derive, from first principles, strategies for optimizing the choices of weighted ensemble parameters, in particular the choice of bins and the number of replicas to maintain in each bin. In a simple numerical example, we compare our new strategies with more traditional ones and with direct Monte Carlo.


title: Baryon decays to purely baryonic final states

abstract: The LHCb collaboration has presented first experimental evidence that spin-carrying matter and antimatter differ. The study looked at four-body decays of the $\Lambda_b^0$ baryon. Differences in the behaviour of matter and antimatter are associated with the non-invariance of fundamental interactions under the combined charge-conjugation and parity transformations, known as $C\!P$ violation. We discuss purely baryonic decay processes, i.e. decay processes involving only spin-carrying particles. They are yet unexplored elementary processes. Their study opens a new chapter of flavour physics in the route towards a better understanding of $C\!P$ violation. It may help us to understand the observed matter and antimatter asymmetry of the Universe.


title: Granular beads in a vibrating, quasi two-dimensional cell: The true shape of the effective pair potential

abstract: Steady-state pair correlations between inelastic granular beads in a vertically shaken, quasi two-dimensional cell can be mapped onto the particle correlations in a truly two-dimensional reference fluid in thermodynamic equilibrium. Using Granular Dynamics simulations and Iterative Ornstein--Zernike Inversion, we demonstrate that this mapping applies in a wide range of particle packing fractions and restitution coefficients, and that the conservative reference particle interactions are simpler than it has been reported earlier. The effective potential appears to be a smooth, concave function of the particle distance $r$. At low packing fraction, the shape of the effective potential is compatible with a one-parametric fit function proportional to $r^{-2}$.


title: Measurement of the weak mixing angle using the forward-backward asymmetry of Drell-Yan events in pp collisions at 8 TeV

abstract: A measurement is presented of the effective leptonic weak mixing angle ($\sin^2\theta^{\ell}_{\text{eff}}$) using the forward-backward asymmetry of Drell-Yan lepton pairs ($\mu\mu$ and ee) produced in proton-proton collisions at $\sqrt{s}=$ 8 TeV at the CMS experiment of the LHC. The data correspond to integrated luminosities of 18.8 and 19.6 fb$^{-1}$ in the dimuon and dielectron channels, respectively, containing 8.2 million dimuon and 4.9 million dielectron events. With more events and new analysis techniques, including constraints obtained on the parton distribution functions from the measured forward-backward asymmetry, the statistical and systematic uncertainties are significantly reduced relative to previous CMS measurements. The extracted value of $\sin^2\theta^{\ell}_{\text{eff}}$ from the combined dilepton data is $\sin^2\theta^{\ell}_{\text{eff}} =$ 0.23101 $\pm$ 0.00036 (stat) $\pm$ 0.00018 (syst) $\pm$ 0.00016 (theo) $\pm$ 0.00031 (parton distributions in proton) = 0.23101 $\pm$ 0.00053.


title: Hyperspectral Unmixing by Nuclear Norm Difference Maximization based Dictionary Pruning

abstract: Dictionary pruning methods perform unmixing by identifying a smaller subset of active spectral library elements that can represent the image efficiently as a linear combination. This paper presents a new nuclear norm difference based approach for dictionary pruning utilizing the low rank property of hyperspectral data. The proposed workflow calculates the nuclear norm of abundance of the original data assuming the whole spectral library as endmembers. In the next step, the algorithm calculates nuclear norm of abundance after appending a spectral library element with the data. The spectral library elements having the maximum difference in the nuclear norm of the obtained abundance matrices are suitable candidates for being image endmember. The proposed workflow is verified with a large number of synthetic data generated by varying condition as well as some real images.


title: On Distribution of Superconductivity in Metal Hydrides

abstract: Using the data on the superconducting critical temperature ($T_{C}$) for a number of metal hydrides, we found a rule that makes it possible to predict the maximum $T_{C}$ based only on the information about the electronic structure of metal atoms. Using this guiding principle, we explored the hydride systems for which no reliable information existed, predicted new higher hydrides in the K-H, Zr-H, Hf-H, Ti-H, Mg-H, Sr-H, Ba-H, Cs-H, and Rb-H systems at high pressures, and calculated their $T_{C}$. Results of the study of actinides and lanthanides show that they form highly symmetric superhydrides $XH_{7-9}$. However, actinide hydrides do not exhibit high-temperature superconductivity (except Th-H system) and might not be considered as promising materials for experimental studies, as well as all $d^m$-elements with m > 4, including metal hydrides of the noble elements. Designed neural network allowing the prediction of $T_{C}$ of various hydrides shows good accuracy and was used to estimate upper limit for $T_{C}$ of the materials with absence of the data. The developed rule, based on regular behavior of the maximum achievable critical temperature as a function of number of $d+f$ electrons, enables targeted predictions about the existence of new high-$T_{C}$ superconductors.


title: Dynamical off-equilibrium scaling across magnetic first-order phase transitions

abstract: We investigate the off-equilibrium dynamics of a classical spin system with $O(n)$ symmetry in $2< D <4$ spatial dimensions and in the limit $n\to \infty$. The system is set up in an ordered equilibrium state is and subsequently driven out of equilibrium by slowly varying the external magnetic field $h$ across the transition line $h_c=0$ at fixed temperature $T\leq T_c$. We distinguish the cases $T = T_c$ where the magnetic transition is continuous and $T<T_c$ where the transition is discontinuous. In the former case, we apply a standard Kibble-Zurek approach to describe the non-equilibrium scaling and formally compute the correlation functions and scaling relations. For the discontinuous transition we develop a scaling theory which builds on the coherence length rather than the correlation length since the latter remains finite for all times. Finally, we derive the off-equilibrium scaling relations for the hysteresis loop area during a round-trip protocol that takes the system across its phase transition and back. Remarkably, our results are valid beyond the large-$n$ limit.


title: Relative crystalline representations and weakly admissible modules

abstract: Let $k$ be a perfect field of characteristic $p > 2$, and let $K$ be a finite totally ramified extension over $W(k)[\frac{1}{p}]$. Let $R_0$ be an unramified relative base ring over $W(k)\langle X_1^{\pm 1}, \ldots, X_d^{\pm 1}\rangle$, and let $R = R_0\otimes_{W(k)}\mathcal{O}_K$. We define relative $B$-pairs and study their relations to weakly admissible $R_0[\frac{1}{p}]$-modules and $\mathbf{Q}_p$-representations. As an application, when $R = \mathcal{O}_K[\![Y]\!]$ with $k = \overline{k}$, we show that every rank $2$ horizontal crystalline representation with Hodge-Tate weights in $[0, 1]$ whose associated isocrystal over $W(k)[\frac{1}{p}]$ is reducible arises from a $p$-divisible group over $R$. Furthermore, we give an example of a $B$-pair which arises from a weakly admissible $R_0[\frac{1}{p}]$-module but does not arise from a $\mathbf{Q}_p$-representation.


title: A Comprehensive Comparison between Neural Style Transfer and Universal Style Transfer

abstract: Style transfer aims to transfer arbitrary visual styles to content images. We explore algorithms adapted from two papers that try to solve the problem of style transfer while generalizing on unseen styles or compromised visual quality. Majority of the improvements made focus on optimizing the algorithm for real-time style transfer while adapting to new styles with considerably less resources and constraints. We compare these strategies and compare how they measure up to produce visually appealing images. We explore two approaches to style transfer: neural style transfer with improvements and universal style transfer. We also make a comparison between the different images produced and how they can be qualitatively measured.


title: Symmetry and Degeneracy of Phonon Modes for Periodic Structures with Glide Symmetry

abstract: A large class of phononic crystals and mechanical metamaterials exhibit glide symmetry that dictates their functionality or exceptional performance. The glide symmetry gives rise to a number of intriguing phenomena like sticking-bands and degeneracy in the phononic band structures. Fully understanding of these phenomena demands analysis of the phonon modes' symmetry property, which is, however, a challenging task since it involves nonsymmorphic space group analysis and special treatment to the Brillouin zone boundary. Therefore, this work introduces a systematic group-theoretical procedure determining the symmetry of phonon modes for periodic structures with glide symmetry. By taking the p4g group as an example, the symmetry of phonon modes is discussed by deriving the small representations for high symmetry k-points, and different types of degeneracies are elucidated. This work provides insight into the role of glide symmetry on phononic band structures and guides the symmetry analysis to periodic structures of other types.


title: On Construction of Upper and Lower Bounds for the HOMO-LUMO Spectral Gap

abstract: In this paper we study spectral properties of graphs which are constructed from two given invertible graphs by bridging them over a bipartite graph. We analyze the so-called HOMO-LUMO spectral gap which is the difference between the smallest positive and largest negative eigenvalue of the adjacency matrix of a graph. We investigate its dependence on the bridging bipartite graph and we construct a mixed integer semidefinite program for maximization of the HOMO-LUMO gap with respect to the bridging bipartite graph. We also derive upper and lower bounds for the optimal HOMO-LUMO spectral graph by means of semidefinite relaxation techniques. Several computational examples are also presented in this paper.


title: A Framework for Aggregating Private and Public Web Archives

abstract: Personal and private Web archives are proliferating due to the increase in the tools to create them and the realization that Internet Archive and other public Web archives are unable to capture personalized (e.g., Facebook) and private (e.g., banking) Web pages. We introduce a framework to mitigate issues of aggregation in private, personal, and public Web archives without compromising potential sensitive information contained in private captures. We amend Memento syntax and semantics to allow TimeMap enrichment to account for additional attributes to be expressed inclusive of the requirements for dereferencing private Web archive captures. We provide a method to involve the user further in the negotiation of archival captures in dimensions beyond time. We introduce a model for archival querying precedence and short-circuiting, as needed when aggregating private and personal Web archive captures with those from public Web archives through Memento. Negotiation of this sort is novel to Web archiving and allows for the more seamless aggregation of various types of Web archives to convey a more accurate picture of the past Web.


title: Characterizing nilpotent Lie algebras rely on the dimension of their $2$-nilpotent multipliers

abstract: There are some results on nilpotent Lie algebras $ L $ investigate the structure of $ L $ rely on the study of its $2$-nilpotent multiplier. It is showed that the dimension of the $2$-nilpotent multiplier of $ L $ is equal to $ \frac{1}{3} n(n-2)(n-1)+3-s_2(L).$ Characterizing the structure of all nilpotent Lie algebras has been obtained for the case $ s_2(L)=0.$ This paper is devoted to the characterization of all nilpotent Lie algebras when $ 0\leq s_2(L)\leq 6.$ Moreover, we show that which of them are $2$-capable.


title: Ising Models with Holes: Crossover Behavior

abstract: In order to investigate the effects of connectivity and proximity in the specific heat, a special class of exactly solvable planar layered Ising models has been studied in the thermodynamic limit. The Ising models consist of repeated uniform horizontal strips of width $m$ connected by sequences of vertical strings of length $n$ mutually separated by distance $N$, with $N=1,2$ and $3$. We find that the critical temperature $T_c(N,m,n)$, arising from the collective effects, decreases as $n$ and $N$ increase, and increases as $m$ increases, as it should be. The amplitude $A(N,m,n)$ of the logarithmic divergence at the bulk critical temperature $T_c(N,m,n)$ becomes smaller as $n$ and $m$ increase. A rounded peak, with size of order $\ln m$ and signifying the one-dimensional behavior of strips of finite width $m$, appears when $n$ is large enough. The appearance of these rounded peaks does not depend on $m$ as much, but depends rather more on $N$ and $n$, which is rather perplexing. Moreover, for fixed $m$ and $n$, the specific heats are not much different for different $N$. This is a most surprising result. For $N=1$, the spin-spin correlation in the center row of each strip can be written as a Toeplitz determinant with a generating function which is much more complicated than in Onsager's Ising model. The spontaneous magnetization in that row can be calculated numerically and the spin-spin correlation is shown to have two-dimensional Ising behavior.


title: Patch-Based Image Hallucination for Super Resolution with Detail Reconstruction from Similar Sample Images

abstract: Image hallucination and super-resolution have been studied for decades, and many approaches have been proposed to upsample low-resolution images using information from the images themselves, multiple example images, or large image databases. However, most of this work has focused exclusively on small magnification levels because the algorithms simply sharpen the blurry edges in the upsampled images - no actual new detail is typically reconstructed in the final result. In this paper, we present a patch-based algorithm for image hallucination which, for the first time, properly synthesizes novel high frequency detail. To do this, we pose the synthesis problem as a patch-based optimization which inserts coherent, high-frequency detail from contextually-similar images of the same physical scene/subject provided from either a personal image collection or a large online database. The resulting image is visually plausible and contains coherent high frequency information. We demonstrate the robustness of our algorithm by testing it on a large number of images and show that its performance is considerably superior to all state-of-the-art approaches, a result that is verified to be statistically significant through a randomized user study.


title: Deploying Customized Data Representation and Approximate Computing in Machine Learning Applications

abstract: Major advancements in building general-purpose and customized hardware have been one of the key enablers of versatility and pervasiveness of machine learning models such as deep neural networks. To sustain this ubiquitous deployment of machine learning models and cope with their computational and storage complexity, several solutions such as low-precision representation of model parameters using fixed-point representation and deploying approximate arithmetic operations have been employed. Studying the potency of such solutions in different applications requires integrating them into existing machine learning frameworks for high-level simulations as well as implementing them in hardware to analyze their effects on power/energy dissipation, throughput, and chip area. Lop is a library for design space exploration that bridges the gap between machine learning and efficient hardware realization. It comprises a Python module, which can be integrated with some of the existing machine learning frameworks and implements various customizable data representations including fixed-point and floating-point as well as approximate arithmetic operations.Furthermore, it includes a highly-parameterized Scala module, which allows synthesizing hardware based on the said data representations and arithmetic operations. Lop allows researchers and designers to quickly compare quality of their models using various data representations and arithmetic operations in Python and contrast the hardware cost of viable representations by synthesizing them on their target platforms (e.g., FPGA or ASIC). To the best of our knowledge, Lop is the first library that allows both software simulation and hardware realization using customized data representations and approximate computing techniques.


title: A modular-invariant modified Weierstrass sigma-function as a building block for lowest-Landau-level wavefunctions on the torus

abstract: A "modified" variant of the Weierstrass sigma, zeta, and elliptic functions is proposed whereby the zeta function is redefined by $\zeta(z)$ $\mapsto$ $\tilde \zeta(z)$ $\equiv$ $\zeta(z) - \gamma_2z$, where $\gamma_2$ is a lattice invariant related to the almost-holomorphic modular invariant of the quasi-modular-invariant weight-2 Eisenstein series. If $\omega_i$ is a primitive half-period, $\tilde\zeta(\omega_i)$ = $\pi \omega_i^*/A$, where $A$ is the area of the primitive cell of the lattice. The quasiperiodicity of the modified sigma function is much simpler than that of the original, and it becomes the building block for the modular-invariant formulation of lowest-Landau-level wavefunctions on the torus. It is suggested that the "modified" sigma function is more natural than the original Weierstrass form, which was formulated before quasi-modular forms were understood. For the high-symmetry (square and hexagonal) lattices, the modified and original sigma functions coincide.


title: Multi-Agent Reinforcement Learning via Double Averaging Primal-Dual Optimization

abstract: Despite the success of single-agent reinforcement learning, multi-agent reinforcement learning (MARL) remains challenging due to complex interactions between agents. Motivated by decentralized applications such as sensor networks, swarm robotics, and power grids, we study policy evaluation in MARL, where agents with jointly observed state-action pairs and private local rewards collaborate to learn the value of a given policy. In this paper, we propose a double averaging scheme, where each agent iteratively performs averaging over both space and time to incorporate neighboring gradient information and local reward information, respectively. We prove that the proposed algorithm converges to the optimal solution at a global geometric rate. In particular, such an algorithm is built upon a primal-dual reformulation of the mean squared projected Bellman error minimization problem, which gives rise to a decentralized convex-concave saddle-point problem. To the best of our knowledge, the proposed double averaging primal-dual optimization algorithm is the first to achieve fast finite-time convergence on decentralized convex-concave saddle-point problems.


title: Formulae of $\imath$-divided powers in ${\bf U}_q(\mathfrak{sl}_2)$, II

abstract: The coideal subalgebra of the quantum $\mathfrak{sl}_2$ is a polynomial algebra in a generator $t$ which depends on a parameter $\kappa$. The existence of the $\imath$-canonical basis (also known as the $\imath$-divided powers) for the coideal subalgebra of the quantum $\mathfrak{sl}_2$ were established by Bao and Wang. We establish closed formulae for the $\imath$-divided powers as polynomials in $t$ and also in terms of Chevalley generators of the quantum $\mathfrak{sl}_2$ when the parameter $\kappa$ is an arbitrary $q$-integer. The formulae were known earlier when $\kappa=0,1$.


title: SUPG stabilization for the nonconforming virtual element method for advection-diffusion-reaction equations

abstract: We present the design, convergence analysis and numerical investigations of the nonconforming virtual element method with Streamline Upwind/Petrov-Galerkin (VEM-SUPG) stabilization for the numerical resolution of convection-diffusion-reaction problems in the convective-dominated regime. According to the virtual discretization approach, the bilinear form is split as the sum of a consistency and a stability term. The consistency term is given by substituting the functions of the virtual space and their gradients with their polynomial projection in each term of the bilinear form (including the SUPG stabilization term). Polynomial projections can be computed exactly from the degrees of freedom. The stability term is also built from the degrees of freedom by ensuring the correct scalability properties with respect to the mesh size and the equation coefficients. The nonconforming formulation relaxes the continuity conditions at cell interfaces and a weaker regularity condition is considered involving polynomial moments of the solution jumps at cell interface. Optimal convergence properties of the method are proved in a suitable norm, which includes a contribution from the advective stabilization terms. Experimental results confirm the theoretical convergence rates.


title: Disconnected Manifold Learning for Generative Adversarial Networks

abstract: Natural images may lie on a union of disjoint manifolds rather than one globally connected manifold, and this can cause several difficulties for the training of common Generative Adversarial Networks (GANs). In this work, we first show that single generator GANs are unable to correctly model a distribution supported on a disconnected manifold, and investigate how sample quality, mode dropping and local convergence are affected by this. Next, we show how using a collection of generators can address this problem, providing new insights into the success of such multi-generator GANs. Finally, we explain the serious issues caused by considering a fixed prior over the collection of generators and propose a novel approach for learning the prior and inferring the necessary number of generators without any supervision. Our proposed modifications can be applied on top of any other GAN model to enable learning of distributions supported on disconnected manifolds. We conduct several experiments to illustrate the aforementioned shortcoming of GANs, its consequences in practice, and the effectiveness of our proposed modifications in alleviating these issues.


title: Measuring Influence on Instagram: a Network-oblivious Approach

abstract: This paper focuses on the problem of scoring and ranking influential users of Instagram, a visual content sharing online social network (OSN). Instagram is the second largest OSN in the world with 700 million active Instagram accounts, 32% of all worldwide Internet users. Among the millions of users, photos shared by more influential users are viewed by more users than posts shared by less influential counterparts. This raises the question of how to identify those influential Instagram users. In our work, we present and discuss the lack of relevant tools and insufficient metrics for influence measurement, focusing on a network oblivious approach and show that the graph-based approach used in other OSNs is a poor fit for Instagram. In our study, we consider user statistics, some of which are more intuitive than others, and several regression models to measure users' influence.


title: Structural Learning of Multivariate Regression Chain Graphs via Decomposition

abstract: We extend the decomposition approach for learning Bayesian networks (BNs) proposed by (Xie et. al.) to learning multivariate regression chain graphs (MVR CGs), which include BNs as a special case. The same advantages of this decomposition approach hold in the more general setting: reduced complexity and increased power of computational independence tests. Moreover, latent (hidden) variables can be represented in MVR CGs by using bidirected edges, and our algorithm correctly recovers any independence structure that is faithful to an MVR CG, thus greatly extending the range of applications of decomposition-based model selection techniques. Simulations under a variety of settings demonstrate the competitive performance of our method in comparison with the PC-like algorithm (Sonntag and Pena). In fact, the decomposition-based algorithm usually outperforms the PC-like algorithm except in running time. The performance of both algorithms is much better when the underlying graph is sparse.


title: The (he)art of gluing

abstract: We introduce a notion of gluability for poset-indexed Bridgeland slicings on triangulated categories and show how a gluing abelian slicing on the heart of a bounded $t$-structure naturally induces a family of perverse $t$-structures. Our setup generalises the one of Collins and Polishchuk. As a corollary we recover several constructions from the theory of $t$-structures on triangulated categories. In particular we rediscover Levine's theorem: the Beilinson-Soul\'e vanishing conjecture implies the existence of Tate motives.


title: Topological invariants of parabolic $G$-Higgs bundles

abstract: For a semisimple real Lie group $G$, we study topological properties of moduli spaces of polystable parabolic $G$-Higgs bundles over a Riemann surface with a divisor of finitely many distinct points. For a split real form of a complex simple Lie group, we compute the dimension of apparent parabolic Teichm{\"u}ller components. In the case of isometry groups of classical Hermitian symmetric spaces of tube type, we provide new topological invariants for maximal parabolic $G$-Higgs bundles arising from a correspondence to orbifold Higgs bundles. Using orbifold cohomology we count the least number of connected components of moduli spaces of such objects. We further exhibit an alternative explanation of fundamental results on counting components in the absence of a parabolic structure.


title: Elasticizing Linux via Joint Disaggregation of Memory and Computation

abstract: In this paper, we propose a set of operating system primitives which provides a scaling abstraction to cloud applications in which they can transparently be enabled to support scaled execution across multiple physical nodes as resource needs go beyond that available on a single machine. These primitives include stretch, to extend the address space of an application to a new node, push and pull, to move pages between nodes as needed for execution and optimization, and jump, to transfer execution in a very lightweight manner between nodes. This joint disaggregation of memory and computing allows for transparent elasticity, improving an application's performance by capitalizing on the underlying dynamic infrastructure without needing an application re-write. We have implemented these primitives in a Linux 2.6 kernel, collectively calling the extended operating system, ElasticOS. Our evaluation across a variety of algorithms shows up to 10x improvement in performance over standard network swap.


title: Discovery of the kinematic alignment of early-type galaxies in the Virgo cluster

abstract: Using the kinematic position angles (PA_kin), an accurate indicator for the spin axis of a galaxy, obtained from the ATLAS3D integral-field-unit (IFU) spectroscopic data, we discovered that 57 Virgo early-type galaxies tend to prefer the specific PA_kin values of 20 degree and 100 degree, suggesting that they are kinematically aligned with each other. These kinematic alignment angles are further associated with the directions of the two distinct axes of the Virgo cluster extending east-west and north-south, strongly suggesting that the two distinct axes are the filamentary structures within the cluster as a trace of infall patterns of galaxies. Given that the spin axis of a massive early-type galaxy does not change easily even in clusters from the hydrodynamic simulations, Virgo early-type galaxies are likely to fall into the cluster along the filamentary structures while maintaining their angular momentum. This implies that many early-type galaxies in clusters are formed in filaments via major mergers before subsequently falling into the cluster. Investigating the kinematic alignment in other clusters will allow us to understand the formation of galaxy clusters and early-type galaxies.