title: Tests for price indices in a dynamic item universe

abstract: There is generally a need to deal with quality change and new goods in the consumer price index due to the underlying dynamic item universe. Traditionally axiomatic tests are defined for a fixed universe. We propose five tests explicitly formulated for a dynamic item universe, and motivate them both from the perspectives of a cost-of-goods index and a cost-of-living index. None of the indices satisfies all the tests at the same time, which are currently available for making use of scanner data that comprises the whole item universe. The set of tests provides a rigorous diagnostic for whether an index is completely appropriate in a dynamic item universe, as well as pointing towards the directions of possible remedies. We thus outline a large index family that potentially can satisfy all the tests.


title: A Size Condition for Diameter Two Orientable Graphs

abstract: It was conjectured by Koh and Tay [Graphs Combin. 18(4) (2002), 745--756] that for $n\geq 5$ every simple graph of order $n$ and size at least $\binom{n}{2}-n+5$ has an orientation of diameter two. We prove this conjecture and hence determine for every $n\geq 5$ the minimum value of $m$ such that every graph of order $n$ and size $m$ has an orientation of diameter two.


title: Origins and diagnostics of the nonequilibrium character of active systems

abstract: We present in detail a Langevin formalism for constructing stochastic dynamical equations for active-matter systems coupled to a thermal bath. We apply the formalism to clarify issues of principle regarding the sources and signatures of nonequilibrium behaviour in a variety of polar and apolar single-particle systems and polar flocks. We show that distance from thermal equilibrium depends on how time-reversal is implemented and hence on the reference equilibrium state. We predict characteristic forms for the frequency-resolved entropy production for an active polar particle in a harmonic potential, which should be testable in experiments.


title: On Geometric Objects, the Non-Existence of a Gravitational Stress-Energy Tensor, and the Uniqueness of the Einstein Field Equation

abstract: The question of the existence of gravitational stress-energy in general relativity has exercised investigators in the field since the inception of the theory. Folklore has it that no adequate definition of a localized gravitational stress-energetic quantity can be given. Most arguments to that effect invoke one version or another of the Principle of Equivalence. I argue that not only are such arguments of necessity vague and hand-waving but, worse, are beside the point and do not address the heart of the issue. Based on a novel analysis of what it may mean for one tensor to depend in the proper way on another, which, \emph{en passant}, provides a precise characterization of the idea of a `geometric object', I prove that, under certain natural conditions, there can be no tensor whose interpretation could be that it represents gravitational stress-energy in general relativity. It follows that gravitational energy, such as it is in general relativity, is necessarily non-local. Along the way, I prove a result of some interest in own right about the structure of the associated jet bundles of the bundle of Lorentz metrics over spacetime. I conclude by showing that my results also imply that, under a few natural conditions, the Einstein field equation is the unique equation relating gravitational phenomena to spatiotemporal structure, and discuss how this relates to the non-localizability of gravitational stress-energy. The main theorem proven underlying all the arguments is considerably stronger than the standard result in the literature used for the same purposes (Lovelock's theorem of 1972): it holds in all dimensions (not only in four); it does not require an assumption about the differential order of the desired concomitant of the metric; and it has a more natural physical interpretation.


title: Harnessing Historical Corrections to build Test Collections for Named Entity Disambiguation

abstract: Matching mentions of persons to the actual persons (the name disambiguation problem) is central for several digital library applications. Scientists have been working on algorithms to create this matching for decades without finding a universal solution. One problem is that test collections for this problem are often small and specific to a certain collection. In this work, we present an approach that can create large test collections from historical metadata with minimal extra cost. We apply this approach to the DBLP collection to generate two freely available test collections. One collection focuses on the properties of defects and one on the evaluation of disambiguation algorithms.


title: Stability of stealth magnetic field in de Sitter spacetime

abstract: A detailed stability analysis is presented for the de Sitter solution with a homogeneous magnetic field that was recently found in the context of a $U(1)$ gauge theory nonminimally coupled to scalar-tensor gravity. The magnetic field is `stealth' in the sense that the corresponding stress-energy tensor is of the form of an effective cosmological constant and thus is isotropic despite the fact that the magnetic field has a preferred spatial direction. We study the stability of the solution against linear perturbations in the subhorizon and superhorizon limits. We then present some explicit examples that satisfy all stability conditions. The stable de Sitter solution with a homogeneous magnetic field opens up a new possibility for inflationary magnetogenesis, in which magnetic fields in the Universe at all scales may originate from a classical, homogeneous magnetic field sustained during inflation.


title: COFGA: Classification Of Fine-Grained Features In Aerial Images

abstract: Classification between thousands of classes in high-resolution images is one of the heavily studied problems in deep learning over the last decade. However, the challenge of fine-grained multi-class classification of objects in aerial images, especially in low resource cases, is still challenging and an active area of research in the literature. Solving this problem can give rise to various applications in the field of scene understanding and classification and re-identification of specific objects from aerial images. In this paper, we provide a description of our dataset - COFGA of multi-class annotated objects in aerial images. We examine the results of existing state-of-the-art models and modified deep neural networks. Finally, we explain in detail the first published competition for solving this task.


title: Evolving optical polarisation of the black hole X-ray binary MAXI J1820+070

abstract: Aims. The optical emission of black hole transients increases by several magnitudes during the X-ray outbursts. Whether the extra light arises from the X-ray heated outer disc, from the inner hot accretion flow, or from the jet is currently debated. Optical polarisation measurements are able to distinguish the relative contributions of these components. Methods. We present the results of BVR polarisation measurements of the black hole X-ray binary MAXI J1820+070 during the period of March-April 2018. Results. We detect small, $\sim$0.7%, but statistically significant polarisation, part of which is of interstellar origin. Depending on the interstellar polarisation estimate, the intrinsic polarisation degree of the source is between $\sim$0.3% and 0.7%, and the polarisation position angle is between $\sim10\deg-30\deg$. We show that the polarisation increases after MJD 58222 (2018 April 14). The change is of the order of 0.1% and is most pronounced in the R band. The change of the source Stokes parameters occurs simultaneously with the drop of the observed V-band flux and a slow softening of the X-ray spectrum. The Stokes vectors of intrinsic polarisation before and after the drop are parallel, at least in the V and R filters. Conclusions. We suggest that the increased polarisation is due to the decreasing contribution of the non-polarized component, which we associate with the the hot flow or jet emission. The low polarisation can result from the tangled geometry of the magnetic field or from the Faraday rotation in the dense, ionised, and magnetised medium close to the black hole. The polarized optical emission is likely produced by the irradiated disc or by scattering of its radiation in the optically thin outflow.


title: Congenial Algebras: Extensions and Examples

abstract: We study the congeniality property of algebras, as defined by Bao, He, and Zhang, in order to establish a version of Auslander's theorem for various families of filtered algebras. It is shown that the property is preserved under homomorphic images and tensor products under some mild conditions. Examples of congenial algebras in this paper include enveloping algebras of Lie superalgebras, iterated differential operator rings, quantized Weyl algebras, down-up algebras, and symplectic reflection algebras.


title: Downstream Effects of Affirmative Action

abstract: We study a two-stage model, in which students are 1) admitted to college on the basis of an entrance exam which is a noisy signal about their qualifications (type), and then 2) those students who were admitted to college can be hired by an employer as a function of their college grades, which are an independently drawn noisy signal of their type. Students are drawn from one of two populations, which might have different type distributions. We assume that the employer at the end of the pipeline is rational, in the sense that it computes a posterior distribution on student type conditional on all information that it has available (college admissions, grades, and group membership), and makes a decision based on posterior expectation. We then study what kinds of fairness goals can be achieved by the college by setting its admissions rule and grading policy. For example, the college might have the goal of guaranteeing equal opportunity across populations: that the probability of passing through the pipeline and being hired by the employer should be independent of group membership, conditioned on type. Alternately, the college might have the goal of incentivizing the employer to have a group blind hiring rule. We show that both goals can be achieved when the college does not report grades. On the other hand, we show that under reasonable conditions, these goals are impossible to achieve even in isolation when the college uses an (even minimally) informative grading policy.


title: Modeling and Simulation of Spark Streaming

abstract: As more and more devices connect to Internet of Things, unbounded streams of data will be generated, which have to be processed "on the fly" in order to trigger automated actions and deliver real-time services. Spark Streaming is a popular realtime stream processing framework. To make efficient use of Spark Streaming and achieve stable stream processing, it requires a careful interplay between different parameter configurations. Mistakes may lead to significant resource overprovisioning and bad performance. To alleviate such issues, this paper develops an executable and configurable model named SSP (stands for Spark Streaming Processing) to model and simulate Spark Streaming. SSP is written in ABS, which is a formal, executable, and object-oriented language for modeling distributed systems by means of concurrent object groups. SSP allows users to rapidly evaluate and compare different parameter configurations without deploying their applications on a cluster/cloud. The simulation results show that SSP is able to mimic Spark Streaming in different scenarios.


title: Back-Translation Sampling by Targeting Difficult Words in Neural Machine Translation

abstract: Neural Machine Translation has achieved state-of-the-art performance for several language pairs using a combination of parallel and synthetic data. Synthetic data is often generated by back-translating sentences randomly sampled from monolingual data using a reverse translation model. While back-translation has been shown to be very effective in many cases, it is not entirely clear why. In this work, we explore different aspects of back-translation, and show that words with high prediction loss during training benefit most from the addition of synthetic data. We introduce several variations of sampling strategies targeting difficult-to-predict words using prediction losses and frequencies of words. In addition, we also target the contexts of difficult words and sample sentences that are similar in context. Experimental results for the WMT news translation task show that our method improves translation quality by up to 1.7 and 1.2 Bleu points over back-translation using random sampling for German-English and English-German, respectively.


title: Canonical basis twists of ideal lattices from real quadratic number fields

abstract: Ideal lattices in the plane coming from real quadratic number fields have been investigated by several authors in the recent years. In particular, it has been proved that every such ideal has a basis that can be twisted by the action of the diagonal group into a Minkowski reduced basis for a well-rounded lattice. We explicitly study such twists on the canonical bases of ideals, which are especially important in arithmetic theory of quadratic number fields and binary quadratic forms. Specifically, we prove that every fixed real quadratic field has only finitely many ideals whose canonical basis can be twisted into a well-rounded or a stable lattice in the plane. We demonstrate some explicit examples of such twists. We also briefly discuss the relation between stable and well-rounded twists of arbitrary ideal bases.


title: It's Like Python But: Towards Supporting Transfer of Programming Language Knowledge

abstract: Expertise in programming traditionally assumes a binary novice-expert divide. Learning resources typically target programmers who are learning programming for the first time, or expert programmers for that language. An underrepresented, yet important group of programmers are those that are experienced in one programming language, but desire to author code in a different language. For this scenario, we postulate that an effective form of feedback is presented as a transfer from concepts in the first language to the second. Current programming environments do not support this form of feedback. In this study, we apply the theory of learning transfer to teach a language that programmers are less familiar with--such as R--in terms of a programming language they already know--such as Python. We investigate learning transfer using a new tool called Transfer Tutor that presents explanations for R code in terms of the equivalent Python code. Our study found that participants leveraged learning transfer as a cognitive strategy, even when unprompted. Participants found Transfer Tutor to be useful across a number of affordances like stepping through and highlighting facts that may have been missed or misunderstood. However, participants were reluctant to accept facts without code execution or sometimes had difficulty reading explanations that are verbose or complex. These results provide guidance for future designs and research directions that can support learning transfer when learning new programming languages.


title: New Methods for Finding Activity-Sensitive Spectral Lines: Combined Visual Identification and an Automated Pipeline Find a Set of 40 Activity Indicators

abstract: Starspots, plages, and activity cycles cause radial velocity variations that can either mimic planets or hide their existence. To verify the authenticity of newly discovered planets, observers may search for periodicity in spectroscopic activity indices such as Ca H & K and H$\alpha$, then mask out any Doppler signals that match the activity period or its harmonics. However, not every spectrograph includes Ca H & K, and redder activity indicators are needed for planet searches around low-mass stars. Here we show how new activity indicators can be identified by correlating spectral line depths with a well-known activity index. We apply our correlation methods to archival HARPS spectra of $\epsilon$ Eri and $\alpha$ Cen B and use the results from both stars to generate a master list of activity-sensitive lines whose core fluxes are periodic at the star's rotation period. Our newly discovered activity indicators can in turn be used as benchmarks to extend the list of known activity-sensitive lines toward the infrared or UV. With recent improvements in spectrograph illumination stabilization, wavelength calibration, and telluric correction, stellar activity is now the biggest noise source in planet searches. Our suite of $> 40$ activity-sensitive lines is a first step toward allowing planet hunters to access all the information about spots, plages, and activity cycles contained in each spectrum.


title: Small-$x$ Helicity Evolution: an Operator Treatment

abstract: We rederive the small-$x$ evolution equations governing quark helicity distribution in a proton using solely an operator-based approach. In our previous works on the subject, the evolution equations were derived using a mix of diagrammatic and operator-based methods. In this work, we re-derive the double-logarithmic small-$x$ evolution equations for quark helicity in terms of the "polarized Wilson lines", the operators consisting of light-cone Wilson lines with one or two non-eikonal local operator insertions which bring in helicity dependence. For the first time we give explicit and complete expressions for the quark and gluon polarized Wilson line operators, including insertions of both the gluon and quark sub-eikonal operators. We show that the double-logarithmic small-$x$ evolution of the "polarized dipole amplitude" operators, made out of regular light-cone Wilson lines along with the polarized ones constructed here, reproduces the equations derived in our earlier works. The method we present here can be used as a template for determining the small-$x$ asymptotics of any transverse momentum-dependent (TMD) quark (or gluon) parton distribution functions (PDFs), and is not limited to helicity.


title: Cauchy combination test: a powerful test with analytic p-value calculation under arbitrary dependency structures

abstract: Combining individual p-values to aggregate multiple small effects has a long-standing interest in statistics, dating back to the classic Fisher's combination test. In modern large-scale data analysis, correlation and sparsity are common features and efficient computation is a necessary requirement for dealing with massive data. To overcome these challenges, we propose a new test that takes advantage of the Cauchy distribution. Our test statistic has a very simple form and is defined as a weighted sum of Cauchy transformation of individual p-values. We prove a non-asymptotic result that the tail of the null distribution of our proposed test statistic can be well approximated by a Cauchy distribution under arbitrary dependency structures. Based on this theoretical result, the p-value calculation of our proposed test is not only accurate, but also as simple as the classic z-test or t-test, making our test well suited for analyzing massive data. We further show that the power of the proposed test is asymptotically optimal in a strong sparsity setting. Extensive simulations demonstrate that the proposed test has both strong power against sparse alternatives and a good accuracy with respect to p-value calculations, especially for very small p-values. The proposed test has also been applied to a genome-wide association study of Crohn's disease and compared with several existing tests.


title: Natural Language Generation with Neural Variational Models

abstract: In this thesis, we explore the use of deep neural networks for generation of natural language. Specifically, we implement two sequence-to-sequence neural variational models - variational autoencoders (VAE) and variational encoder-decoders (VED). VAEs for text generation are difficult to train due to issues associated with the Kullback-Leibler (KL) divergence term of the loss function vanishing to zero. We successfully train VAEs by implementing optimization heuristics such as KL weight annealing and word dropout. We also demonstrate the effectiveness of this continuous latent space through experiments such as random sampling, linear interpolation and sampling from the neighborhood of the input. We argue that if VAEs are not designed appropriately, it may lead to bypassing connections which results in the latent space being ignored during training. We show experimentally with the example of decoder hidden state initialization that such bypassing connections degrade the VAE into a deterministic model, thereby reducing the diversity of generated sentences. We discover that the traditional attention mechanism used in sequence-to-sequence VED models serves as a bypassing connection, thereby deteriorating the model's latent space. In order to circumvent this issue, we propose the variational attention mechanism where the attention context vector is modeled as a random variable that can be sampled from a distribution. We show empirically using automatic evaluation metrics, namely entropy and distinct measures, that our variational attention model generates more diverse output sentences than the deterministic attention model. A qualitative analysis with human evaluation study proves that our model simultaneously produces sentences that are of high quality and equally fluent as the ones generated by the deterministic attention counterpart.


title: Magnetostriction in Antiferromagnets

abstract: We consider magnetostriction in magnetic materials. Starting from a microscopic lattice model of the magneto-elastic coupling, we derive the continuum magnetostriction Hamiltonian in cubic ferromagnets and antiferromagnets. In ferromagnets, our results agree with established results. In antiferromagnets, we find a new central contribution which reflects the spin ordering. The additional term is essential in certain antiferromagnets where magnetic moments order in antiparallel ferromagnetic planes characterized by a normal axis. In such antiferromagnets, we predict that the magnetostrictive strain depends on the direction of the normal axis. Our findings are relevant for materials such as NiO and CoO, where there is a new spin-structure dependent strain, but not in RbMnF$_3$. We propose an experimental procedure to verify the importance of our findings in NiO that can be readily generalized to other materials. We also generalize the theory to include long-wavelength magnetoelastic coupling. We expect that the spin-structure dependent term critically affects the magnon-phonon coupling.


title: Associated production of a top quark with a photon via anomalous couplings

abstract: We discuss the associated production of a top quark with a photon via anomalous $t$-$q$-$\gamma$ couplings, and present higher-order corrections from soft-gluon emission for the processes $gq \rightarrow t\gamma$ at LHC energies. We perform soft-gluon resummation at next-to-leading-logarithm accuracy and derive approximate next-to-next-to-leading order (aNNLO) double-differential cross sections. We calculate at aNNLO the total $t\gamma$ production cross sections and the top-quark transverse-momentum and rapidity distributions for various LHC energies, and show that the soft-gluon corrections are large and dominant in these processes.


title: Recent Progress in Fighting Ghosts in Quantum Gravity

abstract: We review some of the recent results which can be useful for better understanding of the problem of stability of vacuum and in general classical solutions in higher derivative quantum gravity. The fourth derivative terms in the purely gravitational vacuum sector are requested by renormalizability already in both semiclassical and complete quantum gravity theories. However, because of these terms the spectrum of the theory has unphysical ghost states which jeopardize the stability of classical solutions. At the quantum level ghosts violate unitarity, and and thus ghosts look incompatible with the consistency of the theory. The `dominating' or `standard' approach is to treat higher derivative terms as small perturbations at low energies. Such an effective theory is supposed to glue with an unknown fundamental theory in the high energy limit. We argue that the perspectives for such a scenario are not clear, to say the least. On the other hand, recently there was certain progress in understanding physical conditions which can make ghosts not offensive. We survey these results and discuss the properties of the unknown fundamental theory which can provide these conditions satisfied.


title: Review Helpfulness Assessment based on Convolutional Neural Network

abstract: In this paper we describe the implementation of a convolutional neural network (CNN) used to assess online review helpfulness. To our knowledge, this is the first use of this architecture to address this problem. We explore the impact of two related factors impacting CNN performance: different word embedding initializations and different input review lengths. We also propose an approach to combining rating star information with review text to further improve prediction accuracy. We demonstrate that this can improve the overall accuracy by 2%. Finally, we evaluate the method on a benchmark dataset and show an improvement in accuracy relative to published results for traditional methods of 2.5% for a model trained using only review text and 4.24% for a model trained on a combination of rating star information and review text.


title: The Lieb-Thirring inequality revisited

abstract: We provide new estimates on the best constant of the Lieb-Thirring inequality for the sum of the negative eigenvalues of Schr\"odinger operators, which significantly improve the so far existing bounds.


title: On the Fundamental Limit of Private Information Retrieval for Coded Distributed Storage

abstract: We consider private information retrieval (PIR) for distributed storage systems (DSSs) with noncolluding nodes where data is stored using a non maximum distance separable (MDS) linear code. It was recently shown that if data is stored using a particular class of non-MDS linear codes, the MDS-PIR capacity, i.e., the maximum possible PIR rate for MDS-coded DSSs, can be achieved. For this class of codes, we prove that the PIR capacity is indeed equal to the MDS-PIR capacity, giving the first family of non-MDS codes for which the PIR capacity is known. For other codes, we provide asymmetric PIR protocols that achieve a strictly larger PIR rate compared to existing symmetric PIR protocols.


title: Detecting Optical Channel Non-Reciprocity with Non-Local Quantum Geometric Phase

abstract: Non-reciprocal devices are of increasing interest in quantum information technologies. This paper examines whether the presence of a non-reciprocal device in an optical channel is detectable by the communicating parties. We find that a non-reciprocal device such as a Faraday Rotator results in a measurable geometric phase for the light propagating through the channel and that, when using entangled photon pairs, the resulting phase is non-local and robust against malicious manipulation.


title: Faint Satellite Population of the NGC-3175 Group - a Local Group Analogue

abstract: In this paper we identify and study the properties of low mass dwarf satellites of a nearby Local Group analogue - the NGC-3175 galaxy group with the goal of investigating the nature of the lowest mass galaxies and the `Missing Satellites' problem. Deep imaging of nearby groups such as NGC-3175 are one of the only ways to probe these low mass galaxies which are important for problems in cosmology, dark matter and galaxy formation. We discover 553 candidate dwarf galaxies in the group, the vast majority of which have never been studied before. We obtained R and B band imaging, with the ESO 2.2m, around the central $\sim$500kpc region of NGC-3175, allowing us to detect galaxies down to $\sim$23 mag (M$_{B} \sim$-7.7 mag) in the B band. In the absence of spectroscopic information, dwarf members and likely background galaxies are separated using colour, morphology and surface brightness criteria. We compare the observed size, surface brightness and mass scaling relations to literature data. The luminosity function with a faint end slope of $\alpha$ = -1.31, is steeper than that observed in the Local Group. In comparison with simulations, we find that our observations are between a pure $\Lambda$CDM model and one involving baryonic effects, removing the apparent problem of finding too few satellites as seen around the Milky Way.


title: Reduced Whitehead groups of prime exponent algebras over p-adic curves

abstract: Let F be the function field of a curve over a p-adic field. Let D/F be a central division algebra of prime exponent $\ell$ which is different from p. Assume that F contains a primitive ${\ell}^2$-th root of unity. Then the group $SK_1(D):=SL_1(D)/[D^*, D^*]$ is trivial.


title: Canards Existence in Memristor's Circuits

abstract: The aim of this work is to propose an alternative method for determining the condition of existence of "canard solutions" for three and four-dimensional singularly perturbed systems with only one fast variable in the folded saddle case. This method enables to state a unique generic condition for the existence of "canard solutions" for such three and four-dimensional singularly perturbed systems which is based on the stability of folded singularities of the normalized slow dynamics deduced from a well-known property of linear algebra. This unique generic condition is perfectly identical to that provided in previous works. Application of this method to the famous three and four-dimensional memristor canonical Chua's circuits for which the classical piecewise-linear characteristic curve has been replaced by a smooth cubic nonlinear function according to the least squares method enables to show the existence of "canard solutions" in such Memristor Based Chaotic Circuits.


title: Real-time Pedestrian Detection Approach with an Efficient Data Communication Bandwidth Strategy

abstract: Vehicle-to-Pedestrian (V2P) communication can significantly improve pedestrian safety at a signalized intersection. It is unlikely that pedestrians will carry a low latency communication enabled device and activate a pedestrian safety application in their hand-held device all the time. Because of this limitation, multiple traffic cameras at the signalized intersection can be used to accurately detect and locate pedestrians using deep learning and broadcast safety alerts related to pedestrians to warn connected and automated vehicles around a signalized intersection. However, unavailability of high-performance computing infrastructure at the roadside and limited network bandwidth between traffic cameras and the computing infrastructure limits the ability of real-time data streaming and processing for pedestrian detection. In this paper, we develop an edge computing based real-time pedestrian detection strategy combining pedestrian detection algorithm using deep learning and an efficient data communication approach to reduce bandwidth requirements while maintaining a high object detection accuracy. We utilize a lossy compression technique on traffic camera data to determine the tradeoff between the reduction of the communication bandwidth requirements and a defined object detection accuracy. The performance of the pedestrian-detection strategy is measured in terms of pedestrian classification accuracy with varying peak signal-to-noise ratios. The analyses reveal that we detect pedestrians by maintaining a defined detection accuracy with a peak signal-to-noise ratio (PSNR) 43 dB while reducing the communication bandwidth from 9.82 Mbits/sec to 0.31 Mbits/sec, a 31x reduction.


title: Optimal Grid Drawings of Complete Multipartite Graphs and an Integer Variant of the Algebraic Connectivity

abstract: How to draw the vertices of a complete multipartite graph $G$ on different points of a bounded $d$-dimensional integer grid, such that the sum of squared distances between vertices of $G$ is (i) minimized or (ii) maximized? For both problems we provide a characterization of the solutions. For the particular case $d=1$, our solution for (i) also settles the minimum-2-sum problem for complete bipartite graphs; the minimum-2-sum problem was defined by Juvan and Mohar in 1992. Weighted centroidal Voronoi tessellations are the solution for (ii). Such drawings are related with Laplacian eigenvalues of graphs. This motivates us to study which properties of the algebraic connectivity of graphs carry over to the restricted setting of drawings of graphs with integer coordinates.


title: Wavefront shaping in complex media at 350 KHz with a 1D-to-2D transform

abstract: Controlling the propagation and interaction of light in complex media has sparked major interest in the last few years. Unfortunately, spatial light modulation devices suffer from limited speed that precludes real-time applications such as imaging in live tissue. To address this critical problem we introduce a phase-control technique to characterize complex media based on the use of fast 1D spatial light modulators and a 1D-to-2D transformation performed by the same medium being analyzed. We implement the concept using a micro-electro-mechanical grating light valve (GLV) with 1088 degrees of freedom modulated at 350 KHz, enabling unprecedented high-speed wavefront measurements. We continuously measure the transmission matrix, calculate the optimal wavefront and project a focus through various dynamic scattering samples in real-time, all within 2.4 ms per cycle. These results improve prior wavefront shaping modulation speed by more than an order of magnitude and open new opportunities for optical processing using 1D-to-2D transformations.


title: A Floer homology invariant for $3$-orbifolds via bordered Floer theory

abstract: Using bordered Floer theory, we construct an invariant $\widehat{\mathit{HFO}}(Y^{\text{orb}})$ for $3$-orbifolds $Y^{\text{orb}}$ with singular set a knot that generalizes the hat flavor $\widehat{\mathit{HF}}(Y)$ of Heegaard Floer homology for closed $3$-manifolds $Y$. We show that for a large class of $3$-orbifolds, $\widehat{\mathit{HFO}}$ behaves like $\widehat{\mathit{HF}}$ in that $\widehat{\mathit{HFO}}$, together with a relative $\mathbb{Z}_2$-grading, categorifies the order of $H_1^{\text{orb}}$. When $Y^{\text{orb}}$ arises as Dehn surgery on an integer-framed knot in $S^3$, we use the $\{-1,0,1\}$-valued knot invariant $\varepsilon$ to determine the relationship between $\widehat{\mathit{HFO}}(Y^{\text{orb}})$ and $\widehat{\mathit{HF}}(Y)$ of the $3$-manifold $Y$ underlying $Y^{\text{orb}}$.


title: SD-WAN Internet Census

abstract: The concept of software defined wide area network (SD-WAN or SDWAN) is central to modern computer networking, particularly in enterprise networks. By definition, these systems form network perimeter and connect Internet, WAN, extranet, and branches that makes them crucial from cybersecurity point of view. The goal of this paper is to provide the results of passive and active fingerprinting for SD-WAN systems using a common threat intelligence approach. We explore Internet-based and cloud-based publicly available SD-WAN systems using well-known Shodan and Censys search engines and custom developed automation tools and show that most of the SD-WAN systems have known vulnerabilities related to outdated software and insecure configuration.


title: Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free (full version)

abstract: Linear Temporal Logic (LTL) is the standard specification language for reactive systems and is successfully applied in industrial settings. However, many shortcomings of LTL have been identified in the literature, among them the limited expressiveness, the lack of quantitative features, and the inability to express robustness. There is work on overcoming these shortcomings, but each of these is typically addressed in isolation. This is insufficient for applications where all shortcomings manifest themselves simultaneously. Here, we tackle this issue by introducing logics that address more than one shortcoming. To this end, we combine the logics Linear Dynamic Logic, Prompt-LTL, and robust LTL, each addressing one aspect, to new logics. For all combinations of two aspects, the resulting logic has the same desirable algorithmic properties as plain LTL. In particular, the highly efficient algorithmic backends that have been developed for LTL are also applicable to these new logics. Finally, we discuss how to address all three aspects simultaneously.


title: Pyramidal Recurrent Unit for Language Modeling

abstract: LSTMs are powerful tools for modeling contextual information, as evidenced by their success at the task of language modeling. However, modeling contexts in very high dimensional space can lead to poor generalizability. We introduce the Pyramidal Recurrent Unit (PRU), which enables learning representations in high dimensional space with more generalization power and fewer parameters. PRUs replace the linear transformation in LSTMs with more sophisticated interactions including pyramidal and grouped linear transformations. This architecture gives strong results on word-level language modeling while reducing the number of parameters significantly. In particular, PRU improves the perplexity of a recent state-of-the-art language model Merity et al. (2018) by up to 1.3 points while learning 15-20% fewer parameters. For similar number of model parameters, PRU outperforms all previous RNN models that exploit different gating mechanisms and transformations. We provide a detailed examination of the PRU and its behavior on the language modeling tasks. Our code is open-source and available at https://sacmehta.github.io/PRU/


title: Predicted decay ideal

abstract: For arbitrary positive integers $q_1 \ge q_2 \ge q_3 \ge \cdots$ we construct a family of monomial ideals such that for each positive integer $e$ and for each ideal $I$ in the family, the number of associated primes of $I^e$ is the $q_e$. We present the associated primes explicitly.


title: Targeted Syntactic Evaluation of Language Models

abstract: We present a dataset for evaluating the grammaticality of the predictions of a language model. We automatically construct a large number of minimally different pairs of English sentences, each consisting of a grammatical and an ungrammatical sentence. The sentence pairs represent different variations of structure-sensitive phenomena: subject-verb agreement, reflexive anaphora and negative polarity items. We expect a language model to assign a higher probability to the grammatical sentence than the ungrammatical one. In an experiment using this data set, an LSTM language model performed poorly on many of the constructions. Multi-task training with a syntactic objective (CCG supertagging) improved the LSTM's accuracy, but a large gap remained between its performance and the accuracy of human participants recruited online. This suggests that there is considerable room for improvement over LSTMs in capturing syntax in a language model.


title: An upper bound on the number of self-avoiding polygons via joining

abstract: For $d \geq 2$ and $n \in \mathbb{N}$ even, let $p_n = p_n(d)$ denote the number of length $n$ self-avoiding polygons in $\mathbb{Z}^d$ up to translation. The polygon cardinality grows exponentially, and the growth rate $\lim_{n \in 2\mathbb{N}} p_n^{1/n} \in (0,\infty)$ is called the connective constant and denoted by $\mu$. Madras [J. Statist. Phys. 78 (1995) no. 3--4, 681--699] has shown that $p_n \mu^{-n} \leq C n^{-1/2}$ in dimension $d=2$. Here we establish that $p_n \mu^{-n} \leq n^{-3/2 + o(1)}$ for a set of even $n$ of full density when $d=2$. We also consider a certain variant of self-avoiding walk and argue that, when $d \geq 3$, an upper bound of $n^{-2 + d^{-1} + o(1)}$ holds on a full density set for the counterpart in this variant model of this normalized polygon cardinality.


title: The spin Drude weight of the XXZ chain and generalized hydrodynamics

abstract: Based on a generalized free energy we derive exact thermodynamic Bethe ansatz formulas for the expectation value of the spin current, the spin current-charge, charge-charge correlators, and consequently the Drude weight. These formulas agree with recent conjectures within the generalized hydrodynamics formalism. They follow, however, directly from a proper treatment of the operator expression of the spin current. The result for the Drude weight is identical to the one obtained 20 years ago based on the Kohn formula and TBA. We numerically evaluate the Drude weight for anisotropies $\Delta=\cos(\gamma)$ with $\gamma = n\pi/m$, $n\leq m$ integer and coprime. We prove, furthermore, that the high-temperature asymptotics for general $\gamma=\pi n/m$---obtained by analysis of the quantum transfer matrix eigenvalues---agrees with the bound which has been obtained by the construction of quasi-local charges.

categories: cond-mat.stat-mech cond-mat.str-el math-ph math.MP


title: Importance Weighting and Variational Inference

abstract: Recent work used importance sampling ideas for better variational bounds on likelihoods. We clarify the applicability of these ideas to pure probabilistic inference, by showing the resulting Importance Weighted Variational Inference (IWVI) technique is an instance of augmented variational inference, thus identifying the looseness in previous work. Experiments confirm IWVI's practicality for probabilistic inference. As a second contribution, we investigate inference with elliptical distributions, which improves accuracy in low dimensions, and convergence in high dimensions.


title: On completion of graded D-modules

abstract: Let $R = k[x_1, \ldots, x_n]$ be a polynomial ring over a field $k$ of characteristic zero and $\cR$ be the formal power series ring $k[[x_1, \ldots, x_n]]$. If $M$ is a $\D$-module over $R$, then $\cR \otimes_R M$ is naturally a $\D$-module over $\cR$. Hartshorne and Polini asked whether the natural maps $H^i_{\dR}(M)\to H^i_{\dR}(\cR \otimes_R M)$ (induced by $M\to \cR \otimes_R M$) are isomorphisms whenever $M$ is graded and holonomic. We give a positive answer to their question, as a corollary of the following stronger result. Let $M$ be a finitely generated graded $\D$-module: for each integer $i$ such that $\dim_kH^i_{\dR}(M)<\infty$, the natural map $H^i_{\dR}(M)\to H^i_{\dR}(\cR \otimes_R M)$ (induced by $M\to \cR \otimes_R M$) is an isomorphism.


title: ParsRec: Meta-Learning Recommendations for Bibliographic Reference Parsing

abstract: Bibliographic reference parsers extract metadata (e.g. author names, title, year) from bibliographic reference strings. No reference parser consistently gives the best results in every scenario. For instance, one tool may be best in extracting titles, and another tool in extracting author names. In this paper, we address the problem of reference parsing from a recommender-systems perspective. We propose ParsRec, a meta-learning approach that recommends the potentially best parser(s) for a given reference string. We evaluate ParsRec on 105k references from chemistry. We propose two approaches to meta-learning recommendations. The first approach learns the best parser for an entire reference string. The second approach learns the best parser for each field of a reference string. The second approach achieved a 2.6% increase in F1 (0.909 vs. 0.886, p < 0.001) over the best single parser (GROBID), reducing the false positive rate by 20.2% (0.075 vs. 0.094), and the false negative rate by 18.9% (0.107 vs. 0.132).


title: Measuring the Volatility of the Political agenda in Public Opinion and News Media

abstract: Recent election surprises, regime changes, and political shocks indicate that political agendas have become more fast-moving and volatile. The ability to measure the complex dynamics of agenda change and capture the nature and extent of volatility in political systems is therefore more crucial than ever before. This study proposes a definition and operationalization of volatility that combines insights from political science, communications, information theory, and computational techniques. The proposed measures of fractionalization and agenda change encompass the shifting salience of issues in the agenda as a whole and allow the study of agendas across different domains. We evaluate these metrics and compare them to other measures such as issue-level survival rates and the Pedersen Index, which uses public-opinion poll data to measure public agendas, as well as traditional media content to measure media agendas in the UK and Germany. We show how these measures complement existing approaches and could be employed in future agenda-setting research.

categories: cs.CY cs.CL cs.IT math.IT physics.soc-ph


title: Distributionally Robust Distribution Network Configuration Under Random Contingency

abstract: Topology design is a critical task for the reliability, economic operation, and resilience of distribution systems. This paper proposes a distributionally robust optimization (DRO) model for designing the topology of a new distribution system facing random contingencies (e.g., imposed by natural disasters). The proposed DRO model optimally configures the network topology and integrates distributed generation to effectively meet the loads. Moreover, we take into account the uncertainty of contingency. Using the moment information of distribution line failures, we construct an ambiguity set of the contingency probability distribution, and minimize the expected amount of load shedding with regard to the worst-case distribution within the ambiguity set. As compared with a classical robust optimization model, the DRO model explicitly considers the contingency uncertainty and so provides a less conservative configuration, yielding a better out-of-sample performance. We recast the proposed model to facilitate the column-and-constraint generation algorithm. We demonstrate the out-of-sample performance of the proposed approach in numerical case studies.


title: Total integrals of Ablowitz-Segur solutions for the inhomogeneous Painlev\'e II equation

abstract: In this paper, we establish a formula determining the value of the Cauchy integrals of the real and purely imaginary Ablowitz-Segur solutions for the inhomogeneous second Painlev\'e equation. Our approach relies on the analysis of the corresponding Riemann-Hilbert problem and the construction of an appropriate parametrix in a neighborhood of the origin. Obtained integral formulas are consistent with already known analogous results for Ablowitz-Segur solutions of homogeneous Painlev\'e II equation.


title: One-Shot Relational Learning for Knowledge Graphs

abstract: Knowledge graphs (KGs) are the key components of various natural language processing applications. To further expand KGs' coverage, previous studies on knowledge graph completion usually require a large number of training instances for each relation. However, we observe that long-tail relations are actually more common in KGs and those newly added relations often do not have many known triples for training. In this work, we aim at predicting new facts under a challenging setting where only one training instance is available. We propose a one-shot relational learning framework, which utilizes the knowledge extracted by embedding models and learns a matching metric by considering both the learned embeddings and one-hop graph structures. Empirically, our model yields considerable performance improvements over existing embedding models, and also eliminates the need of re-training the embedding models when dealing with newly added relations.


title: Measurement of the form factors of charged kaon semileptonic decays

abstract: A measurement of the form factors of charged kaon semileptonic decays is presented, based on $4.4 \times 10^6$ $K^\pm \to \pi^0 e^\pm \nu_e$ ($K^\pm_{e3}$) and $2.3 \times 10^6$ $K^\pm \to \pi^0 \mu^\pm \nu_{\mu}$ ($K^\pm_{\mu3}$) decays collected in 2004 by the NA48/2 experiment. The results are obtained with improved precision as compared to earlier measurements. The combination of measurements in the $K^\pm_{e3}$ and $K^\pm_{\mu3}$ modes is also presented.


title: Adversarial Decomposition of Text Representation

abstract: In this paper, we present a method for adversarial decomposition of text representation. This method can be used to decompose a representation of an input sentence into several independent vectors, each of them responsible for a specific aspect of the input sentence. We evaluate the proposed method on two case studies: the conversion between different social registers and diachronic language change. We show that the proposed method is capable of fine-grained controlled change of these aspects of the input sentence. It is also learning a continuous (rather than categorical) representation of the style of the sentence, which is more linguistically realistic. The model uses adversarial-motivational training and includes a special motivational loss, which acts opposite to the discriminator and encourages a better decomposition. Furthermore, we evaluate the obtained meaning embeddings on a downstream task of paraphrase detection and show that they significantly outperform the embeddings of a regular autoencoder.


title: Detecting Kondo Entanglement by Electron Conductance

abstract: Quantum entanglement between an impurity spin and electrons nearby is a key property of the single-channel Kondo effects. We show that the entanglement can be detected by measuring electron conductance through a double quantum dot in an orbital Kondo regime. We derive a relation between the entanglement and the conductance, when the SU(2) spin symmetry of the regime is weakly broken. The relation reflects the universal form of many-body states near the Kondo fixed point. Using it, the spatial distribution of the entanglement, hence, the Kondo cloud, can be detected, with breaking the symmetry spatially nonuniformly by electrical means.


title: Single Shot Scene Text Retrieval

abstract: Textual information found in scene images provides high level semantic information about the image and its context and it can be leveraged for better scene understanding. In this paper we address the problem of scene text retrieval: given a text query, the system must return all images containing the queried text. The novelty of the proposed model consists in the usage of a single shot CNN architecture that predicts at the same time bounding boxes and a compact text representation of the words in them. In this way, the text based image retrieval task can be casted as a simple nearest neighbor search of the query text representation over the outputs of the CNN over the entire image database. Our experiments demonstrate that the proposed architecture outperforms previous state-of-the-art while it offers a significant increase in processing speed.


title: On Morita weak equivalences of simplicial algebraic theories and operads

abstract: Generalizing a result of Dwyer and Kan for simplicial categories, we characterize the morphisms of multi-sorted simplicial algebraic theories and simplicial coloured operads which induce a Quillen equivalence between the corresponding categories of algebras.


title: Microarcsecond VLBI pulsar astrometry with PSR$\pi$ II. parallax distances for 57 pulsars

abstract: We present the results of PSR$\pi$, a large astrometric project targeting radio pulsars using the Very Long Baseline Array (VLBA). From our astrometric database of 60 pulsars, we have obtained parallax-based distance measurements for all but 3, with a parallax precision of typically 40 $\mu$as and approaching 10 $\mu$as in the best cases. Our full sample doubles the number of radio pulsars with a reliable ($\gtrsim$5$\sigma$) model-independent distance constraint. Importantly, many of the newly measured pulsars are well outside the solar neighbourhood, and so PSR$\pi$ brings a near-tenfold increase in the number of pulsars with a reliable model-independent distance at $d>2$ kpc. Using our sample along with previously published results, we show that even the most recent models of the Galactic electron density distribution model contain significant shortcomings, particularly at high Galactic latitudes. When comparing our results to pulsar timing, two of the four millisecond pulsars in our sample exhibit significant discrepancies in the estimates of proper motion obtained by at least one pulsar timing array. With additional VLBI observations to improve the absolute positional accuracy of our reference sources and an expansion of the number of millisecond pulsars, we will be able to extend the comparison of proper motion discrepancies to a larger sample of pulsar reference positions, which will provide a much more sensitive test of the applicability of the solar system ephemerides used for pulsar timing. Finally, we use our large sample to estimate the typical accuracy attainable for differential astrometry with the VLBA when observing pulsars, showing that for sufficiently bright targets observed 8 times over 18 months, a parallax uncertainty of 4 $\mu$as per arcminute of separation between the pulsar and calibrator can be expected.


title: A Hybrid Scan Gibbs Sampler for Bayesian Models with Latent Variables

abstract: Gibbs sampling is a widely popular Markov chain Monte Carlo algorithm that can be used to analyze intractable posterior distributions associated with Bayesian hierarchical models. There are two standard versions of the Gibbs sampler: The systematic scan (SS) version, where all variables are updated at each iteration, and the random scan (RS) version, where a single, randomly selected variable is updated at each iteration. The literature comparing the theoretical properties of SS and RS Gibbs samplers is reviewed, and an alternative hybrid scan Gibbs sampler is introduced, which is particularly well suited to Bayesian models with latent variables. The word "hybrid" reflects the fact that the scan used within this algorithm has both systematic and random elements. Indeed, at each iteration, one updates the entire set of latent variables, along with a randomly chosen block of the remaining variables. The hybrid scan (HS) Gibbs sampler has important advantages over the two standard scan Gibbs samplers. Firstly, the HS algorithm is often easier to analyze from a theoretical standpoint. In particular, it can be much easier to establish the geometric ergodicity of a HS Gibbs Markov chain than to do the same for the corresponding SS and RS versions. Secondly, the sandwich methodology developed in Hobert and Marchev (2008), which is also reviewed, can be applied to the HS Gibbs algorithm (but not to the standard scan Gibbs samplers). It is shown that, under weak regularity conditions, adding sandwich steps to the HS Gibbs sampler always results in a theoretically superior algorithm. Three specific Bayesian hierarchical models of varying complexity are used to illustrate the results. One is a simple location-scale model for data from the Student's $t$ distribution, which is used as a pedagogical tool. The other two are sophisticated, yet practical Bayesian regression models.


title: A bootstrapping approach to jump inequalities and their applications

abstract: The aim of this paper is to present an abstract and general approach to jump inequalities in harmonic analysis. Our principal conclusion is the refinement of $r$-variational estimates, previously known for $r>2$, to end-point results for the jump quasi-seminorm corresponding to $r=2$. This is applied to the dimension-free results recently obtained by the first two authors in collaboration with Bourgain and Wr\'obel (arXiv:1708.04639 and arXiv:1804.07679), and also to operators of Radon type treated by Jones, Seeger, and Wright.


title: A neighbor Search Code for Galaxies - Preliminary Results

abstract: We present preliminary results of applying a neighbour search code to a large sample of galaxies drawn from the Sloan Digitial Sky Survey (SDSS). We draw our sample of target galaxies from the spectroscopic catalogue of the SDSS, which has redshift measurements for all its $\sim8\times10^5$ galaxies. We count the neighbours from the photometric catalogue of the SDSS, which is a flux-limited catalogue that has a photometric redshift estimation for all its $\sim2\times10^8$ galaxies. The code counts the number (N) of galaxies within a given 3D-distance from the target galaxy, using a database manager and a simple decision tree. The 3D-distance is composed of a 2D projected distance on the sky and a radial component, which is the difference between the spectroscopic target redshift and the photometric redshift of the "neighbour" galaxies. As we keep the search volume constant throughout the sample, N is a proxy for the number density of galaxies around the target galaxies. We also present an analysis of the preliminary results, showing the relation between N, the inferred morphology and the dominant activity type of the target galaxies, as well as the relation between N and the star formation history of the target galaxies.


title: Adversarial Feature Learning of Online Monitoring Data for Operational Risk Assessment in Distribution Networks

abstract: With the deployment of online monitoring systems in distribution networks, massive amounts of data collected through them contains rich information on the operating states of the networks. By leveraging the data, an unsupervised approach based on bidirectional generative adversarial networks (BiGANs) is proposed for operational risk assessment in distribution networks in this paper. The approach includes two stages: (1) adversarial feature learning. The most representative features are extracted from the online monitoring data and a statistical index $\mathcal{N}_{\phi}$ is calculated for the features, during which we make no assumptions or simplifications on the real data. (2) operational risk assessment. The confidence level $1-\alpha$ for the population mean of the standardized $\mathcal{N}_{\phi}$ is combined with the operational risk levels which are divided into emergency, high risk, preventive and normal, and the p value for each data point is calculated and compared with $\frac{\alpha}{2}$ to determine the risk levels. The proposed approach is capable of discovering the latent structure of the real data and providing more accurate assessment result. The synthetic data is employed to illustrate the selection of parameters involved in the proposed approach. Case studies on the real-world online monitoring data validate the effectiveness and advantages of the proposed approach in risk assessment.


title: Experimental realization of ultracold Yb-$^{7}{\rm Li}$ mixtures in mixed dimensions

abstract: We report on the experimental realization of ultracold $^{174}{\rm Yb}$-$^{7}{\rm Li}$ (Boson-Boson) and $^{173}{\rm Yb}$-$^{7}{\rm Li}$ (Fermion-Boson) mixtures. They are loaded into three dimensional (3D) or one dimensional (1D) optical lattices that are species-selectively deep for the heavy Ytterbium (Yb) and shallow for the light bosonic Lithium (Li) component, realizing novel mixed dimensional systems. In the 1D optical lattice the band structure of $^{173}{\rm Yb}$ is reconstructed in the presence of $^{7}{\rm Li}$. Spectroscopic measurements of the $^{174}{\rm Yb}$-$^{7}{\rm Li}$ mixture in the 3D lattice give access to the $^{174}{\rm Yb}$ Mott-insulator structure. Ground state inter-species scattering lengths are determined to be $|a_{\rm bg}(^{174}{\rm Yb}$-$^{7}{\rm Li})|=(1.11 \pm 0.17)~{\rm nm}$ and $|a_{\rm bg}(^{173}{\rm Yb}$-$^{7}{\rm Li})|=(1.16 \pm 0.18)~{\rm nm}$. The formation and characterization of an ultracold $^{173}{\rm Yb}$-$^{7}{\rm Li}$ mixture is a first step towards a possible realization of a topological $p_x + i\,p_y$ superfluid in this system.


title: In vitro and sensory tests to design easy-to-swallow multi-particulate formulations

abstract: Flexible dosing and ease of swallowing are key factors when designing oral drug delivery systems for paediatric and geriatric populations. Multi-particulate oral dosage forms can offer significant benefits over conventional capsules and tablets. This study proposes the use of an in vitro model to quantitatively investigate the swallowing dynamics in presence of multi-particulates. In vitro results were compared against sensory tests that considered the attributes of ease of swallowing and post-swallow residues. Water and hydrocolloids were considered as suspending vehicles, while the suspended phase consisted of cellulose pellets of two different average sizes. Both in vivo and in vitro tests reported easier swallow for smaller multi-particulates. Besides, water thin liquids appeared not optimal for complete oral clearance of the solids. The sensory study did not highlight significant differences between the levels of thickness of the hydrocolloids. Conversely, more discriminant results were obtained from in vitro tests, suggesting that a minimum critical viscosity is necessary to enable a smooth swallow, but increasing too much the carrier concentration affects swallowing negatively. These results highlight the important interplay of particle size and suspending vehicle rheology and the meaningful contribution that in vitro methods can provide to pre-screening multi-particulate oral drug delivery systems before sensory evaluation.


title: Hybrid Processing Design for Multipair Massive MIMO Relaying with Channel Spatial Correlation

abstract: Massive multiple-input multiple-output (MIMO) avails of simple transceiver design which can tackle many drawbacks of relay systems in terms of complicated signal processing, latency, and noise amplification. However, the cost and circuit complexity of having one radio frequency (RF) chain dedicated to each antenna element are prohibitive in practice. In this paper, we address this critical issue in amplify-and-forward (AF) relay systems using a hybrid analog and digital (A/D) transceiver structure. More specifically, leveraging the channel long-term properties, we design the analog beamformer which aims to minimize the channel estimation error and remain invariant over a long timescale. Then, the beamforming is completed by simple digital signal processing, i.e., maximum ratio combining/maximum ratio transmission (MRC/MRT) or zero-forcing (ZF) in the baseband domain. We present analytical bounds on the achievable spectral efficiency taking into account the spatial correlation and imperfect channel state information at the relay station. Our analytical results reveal that the hybrid A/D structure with ZF digital processor exploits spatial correlation and offers a higher spectral efficiency compared to the hybrid A/D structure with MRC/MRT scheme. Our numerical results showcase that the hybrid A/D beamforming design captures nearly 95% of the spectral efficiency of a fully digital AF relaying topology even by removing half of the RF chains. It is also shown that the hybrid A/D structure is robust to coarse quantization, and even with 2-bit resolution, the system can achieve more than 93% of the spectral efficiency offered by the same hybrid A/D topology with infinite resolution phase shifters.


title: Measurements of gluon-gluon fusion and vector-boson fusion Higgs boson production cross-sections in the $H \to WW^{\ast} \to e\nu\mu\nu$ decay channel in $pp$ collisions at $\sqrt{s}=13$ TeV with the ATLAS detector

abstract: Higgs boson production cross-sections in proton-proton collisions are measured in the $H \to WW^{\ast} \to e\nu\mu\nu$ decay channel. The proton-proton collision data were produced at the Large Hadron Collider at a centre-of-mass energy of 13 TeV and recorded by the ATLAS detector in 2015 and 2016, corresponding to an integrated luminosity of 36.1 fb$^{-1}$. The product of the $H \to WW^{\ast}$ branching fraction times the gluon-gluon fusion and vector-boson fusion cross-sections are measured to be $11.4 ^{+1.2}_{-1.1} (\mathrm{stat.}) ^{+1.8}_{-1.7}(\mathrm{syst.})$ $\mathrm{pb}$ and $0.50 ^{+0.24}_{-0.22} (\mathrm{stat.}) \pm 0.17(\mathrm{syst.})$ $\mathrm{pb}$, respectively, in agreement with the Standard Model predictions.


title: Parameter sharing between dependency parsers for related languages

abstract: Previous work has suggested that parameter sharing between transition-based neural dependency parsers for related languages can lead to better performance, but there is no consensus on what parameters to share. We present an evaluation of 27 different parameter sharing strategies across 10 languages, representing five pairs of related languages, each pair from a different language family. We find that sharing transition classifier parameters always helps, whereas the usefulness of sharing word and/or character LSTM parameters varies. Based on this result, we propose an architecture where the transition classifier is shared, and the sharing of word and character parameters is controlled by a parameter that can be tuned on validation data. This model is linguistically motivated and obtains significant improvements over a monolingually trained baseline. We also find that sharing transition classifier parameters helps when training a parser on unrelated language pairs, but we find that, in the case of unrelated languages, sharing too many parameters does not help.


title: On the existence of large antichains for definable quasi-orders

abstract: We generalize Harrington-Marker-Shelah's Dilworth-style characterization of the existence of non-empty perfect antichains to co-analytic quasi-orders, establish the analogous theorem at the next definable cardinal, and consider generalizations beyond the first level of the projective hierarchy.


title: Loss Functions, Axioms, and Peer Review

abstract: It is common to see a handful of reviewers reject a highly novel paper, because they view, say, extensive experiments as far more important than novelty, whereas the community as a whole would have embraced the paper. More generally, the disparate mapping of criteria scores to final recommendations by different reviewers is a major source of inconsistency in peer review. In this paper we present a framework inspired by empirical risk minimization (ERM) for learning the community's aggregate mapping. The key challenge that arises is the specification of a loss function for ERM. We consider the class of $L(p,q)$ loss functions, which is a matrix-extension of the standard class of $L_p$ losses on vectors; here the choice of the loss function amounts to choosing the hyperparameters $p, q \in [1,\infty]$. To deal with the absence of ground truth in our problem, we instead draw on computational social choice to identify desirable values of the hyperparameters $p$ and $q$. Specifically, we characterize $p=q=1$ as the only choice of these hyperparameters that satisfies three natural axiomatic properties. Finally, we implement and apply our approach to reviews from IJCAI 2017.


title: Quantum enhanced cross-validation for near-optimal neural networks architecture selection

abstract: This paper proposes a quantum-classical algorithm to evaluate and select classical artificial neural networks architectures. The proposed algorithm is based on a probabilistic quantum memory and the possibility to train artificial neural networks in superposition. We obtain an exponential quantum speedup in the evaluation of neural networks. We also verify experimentally through a reduced experimental analysis that the proposed algorithm can be used to select near-optimal neural networks.


title: Computing Weakly Reversible Deficiency Zero Network Translations Using Elementary Flux Modes

abstract: We present a computational method for performing structural translation, which has been studied recently in the context of analyzing the steady states and dynamical behavior of mass-action systems derived from biochemical reaction networks. Our procedure involves solving a binary linear programming problem where the decision variables correspond to interactions between the reactions of the original network. We call the resulting network a reaction-to-reaction graph and formalize how such a construction relates to the original reaction network and the structural translation. We demonstrate the efficacy and efficiency of the algorithm by running it on 508 networks from the European Bioinformatics Institutes' BioModels database. We also summarize how this work can be incorporated into recently proposed algorithms for establishing mono and multistationarity in biochemical reaction systems.


title: An Investigation of the Interactions Between Pre-Trained Word Embeddings, Character Models and POS Tags in Dependency Parsing

abstract: We provide a comprehensive analysis of the interactions between pre-trained word embeddings, character models and POS tags in a transition-based dependency parser. While previous studies have shown POS information to be less important in the presence of character models, we show that in fact there are complex interactions between all three techniques. In isolation each produces large improvements over a baseline system using randomly initialised word embeddings only, but combining them quickly leads to diminishing returns. We categorise words by frequency, POS tag and language in order to systematically investigate how each of the techniques affects parsing quality. For many word categories, applying any two of the three techniques is almost as good as the full combined system. Character models tend to be more important for low-frequency open-class words, especially in morphologically rich languages, while POS tags can help disambiguate high-frequency function words. We also show that large character embedding sizes help even for languages with small character sets, especially in morphologically rich languages.


title: Potentially stably rational del Pezzo surfaces over nonclosed fields

abstract: We classify Galois actions on Picard lattices of del Pezzo surfaces of degrees 1,2, and 3 giving rise to minimal surfaces with no cohomological obstructions to stable rationality.


title: Cognitive Consistency Routing Algorithm of Capsule-network

abstract: Artificial Neural Networks (ANNs) are computational models inspired by the central nervous system (especially the brain) of animals and are used to estimate or generate unknown approximation functions relied on large amounts of inputs. Capsule Neural Network (Sabour S, et al.[2017]) is a novel structure of Convolutional Neural Networks which simulates the visual processing system of human brain. In this paper, we introduce psychological theories which called Cognitive Consistency to optimize the routing algorithm of Capsnet to make it more close to the work pattern of human brain. It has been shown in the experiment that a progress had been made compared with the baseline.


title: Greedy Rectilinear Drawings

abstract: A drawing of a graph is greedy if for each ordered pair of vertices u and v, there is a path from u to v such that the Euclidean distance to v decreases monotonically at every vertex of the path. The existence of greedy drawings has been widely studied under different topological and geometric constraints, such as planarity, face convexity, and drawing succinctness. We introduce greedy rectilinear drawings, in which each edge is either a horizontal or a vertical segment. These drawings have several properties that improve human readability and support network routing. We address the problem of testing whether a planar rectilinear representation, i.e., a plane graph with specified vertex angles, admits vertex coordinates that define a greedy drawing. We provide a characterization, a linear-time testing algorithm, and a full generative scheme for universal greedy rectilinear representations, i.e., those for which every drawing is greedy. For general greedy rectilinear representations, we give a combinatorial characterization and, based on it, a polynomial-time testing and drawing algorithm for a meaningful subset of instances.


title: Solution Bounds, Stability and Attractors Estimates of Some Nonlinear Time-Varying Systems

abstract: Estimation of solution norms and stability for time-dependent nonlinear systems is ubiquitous in numerous applied and control problems. Yet, practically valuable results are rare in this area. This paper develops a novel approach, which bounds the solution norms, derives the corresponding stability criteria, and estimates the trapping/stability regions for a broad class of the corresponding systems. Our inferences rest on deriving a scalar differential inequality for the norms of solutions to the initial systems. Utility of the Lipschitz inequality linearizes the associated auxiliary differential equation and yields both the upper bounds for the norms of solutions and the relevant stability criteria. To refine these inferences, we introduce a nonlinear extension of the Lipschitz inequality, which improves the developed bounds and estimates the stability basins and trapping regions for the corresponding systems. Finally, we conform the theoretical results in representative simulations.


title: Symmetric (not Complete Intersection) Numerical Semigroups Generated by Six Elements

abstract: We consider symmetric (not complete intersection) numerical semigroups S_6, generated by a set of six positive integers {d_1,...,d_6}, gcd(d_1,...,d_6)=1, and derive inequalities for degrees of syzygies of such semigroups and find the lower bound for their Frobenius numbers. We show that this bound may be strengthened if S_6 satisfies the Watanabe lemma.


title: Uncertainty quantification in large Bayesian linear inverse problems using Krylov subspace methods

abstract: For linear inverse problems with a large number of unknown parameters, uncertainty quantification remains a challenging task. In this work, we use Krylov subspace methods to approximate the posterior covariance matrix and describe efficient methods for exploring the posterior distribution. Assuming that Krylov methods (e.g., based on the generalized Golub-Kahan bidiagonalization) have been used to compute an estimate of the solution, we get an approximation of the posterior covariance matrix for `free.' We provide theoretical results that quantify the accuracy of the approximation and of the resulting posterior distribution. Then, we describe efficient methods that use the approximation to compute measures of uncertainty, including the Kullback-Liebler divergence. We present two methods that use preconditioned Lanczos methods to efficiently generate samples from the posterior distribution. Numerical examples from tomography demonstrate the effectiveness of the described approaches.


title: Truncated Local Uniformization of Formal Integrable Differential Forms

abstract: We prove the existence of Local Uniformization for rational codimension one foliations along rational rank one valuations, in any ambient dimension. This result is consequence of the Truncated Local Uniformization of integrable formal differential $1$-forms, that we also state and prove in the paper. Thanks to the truncated approach, we perform a classical inductive procedure, based both in the control of the Newton Polygon and in the possibility of avoiding accumulations of values, given by the existence of suitable Tschirnhausen transformations.


title: WeSeer: Visual Analysis for Better Information Cascade Prediction of WeChat Articles

abstract: Social media, such as Facebook and WeChat, empowers millions of users to create, consume, and disseminate online information on an unprecedented scale. The abundant information on social media intensifies the competition of WeChat Public Official Articles (i.e., posts) for gaining user attention due to the zero-sum nature of attention. Therefore, only a small portion of information tends to become extremely popular while the rest remains unnoticed or quickly disappears. Such a typical `long-tail' phenomenon is very common in social media. Thus, recent years have witnessed a growing interest in predicting the future trend in the popularity of social media posts and understanding the factors that influence the popularity of the posts. Nevertheless, existing predictive models either rely on cumbersome feature engineering or sophisticated parameter tuning, which are difficult to understand and improve. In this paper, we study and enhance a point process-based model by incorporating visual reasoning to support communication between the users and the predictive model for a better prediction result. The proposed system supports users to uncover the working mechanism behind the model and improve the prediction accuracy accordingly based on the insights gained. We use realistic WeChat articles to demonstrate the effectiveness of the system and verify the improved model on a large scale of WeChat articles. We also elicit and summarize the feedback from WeChat domain experts.


title: Joint distribution of Busemann functions in the exactly solvable corner growth model

abstract: The 1+1 dimensional corner growth model with exponential weights is a centrally important exactly solvable model in the Kardar-Parisi-Zhang class of statistical mechanical models. While significant progress has been made on the fluctuations of the growing random shape, understanding of the optimal paths, or geodesics, is less developed. The Busemann function is a useful analytical tool for studying geodesics. This paper describes the joint distribution of the Busemann functions, simultaneously in all directions of growth. As applications of this description we derive a marked point process representation for the Busemann function across a single lattice edge and calculate some marginal distributions of Busemann functions and semi-infinite geodesics.


title: Openness of uniform K-stability in families of $\mathbb{Q}$-Fano varieties

abstract: We show that uniform K-stability is a Zariski open condition in Q-Gorenstein families of Q-Fano varieties. To prove this result, we consider the behavior of the stability threshold in families. The stability threshold (also known as the delta-invariant) is a recently introduced invariant that is known to detect the K-semistability and uniform K-stability of a Q-Fano variety. We show that the stability threshold is lower semicontinuous in families and provide an interpretation of the invariant in terms of the K-stability of log pairs.


title: Closed-Form Word Error Rate Analysis for Successive Interference Cancellation Decoders

abstract: We consider the estimation of an integer vector $\hbx\in \mathbb{Z}^n$ from the linear observation $\y=\A\hbx+\v$, where $\A\in\mathbb{R}^{m\times n}$ is a random matrix with independent and identically distributed (i.i.d.) standard Gaussian $\mathcal{N}(0,1)$ entries, and $\v\in \mathbb{R}^m$ is a noise vector with i.i.d. $\mathcal{N}(0,\sigma^2 )$ entries with given $\sigma$. In digital communications, $\hbx$ is typically uniformly distributed over an $n$-dimensional box $\mathcal{B}$. For this estimation problem, successive interference cancellation (SIC) decoders are popular due to their low complexity, and a detailed analysis of their word error rates (WERs) is highly useful. In this paper, we derive closed-form WER expressions for two cases: (1) $\hbx\in \mathbb{Z}^n$ is fixed and (2) $\hbx$ is uniformly distributed over $\mathcal{B}$. We also investigate some of their properties in detail and show that they agree closely with simulated word error probabilities.


title: Holographic Spacetimes as Quantum Circuits of Path-Integrations

abstract: We propose that holographic spacetimes can be regarded as collections of quantum circuits based on path-integrals. We relate a codimension one surface in a gravity dual to a quantum circuit given by a path-integration on that surface with an appropriate UV cut off. Our proposal naturally generalizes the conjectured duality between the AdS/CFT and tensor networks. This largely strengthens the surface/state duality and also provides a holographic explanation of path-integral optimizations. For static gravity duals, our new framework provides a derivation of the holographic complexity formula given by the gravity action on the WDW patch. We also propose a new formula which relates numbers of quantum gates to surface areas, even including time-like surfaces, as a generalization of the holographic entanglement entropy formula. We argue the time component of the metric in AdS emerges from the density of unitary quantum gates in the dual CFT. Our proposal also provides a heuristic understanding how the gravitational force emerges from quantum circuits.


title: A note on the local weak limit of a sequence of expander graphs

abstract: We show that the local weak limit of a sequence of finite expander graphs with uniformly bounded degree is an ergodic (or extremal) unimodular random graph. In particular, the critical probability of percolation of the limiting random graph is constant almost surely. As a corollary, we obtain an improvement to a theorem by Benjamini-Nachmias-Peres (2011) on locality of percolation probability for finite expander graphs with uniformly bounded degree where we can drop the assumption that the limit is a single rooted graph.


title: EmbeddingVis: A Visual Analytics Approach to Comparative Network Embedding Inspection

abstract: Constructing latent vector representation for nodes in a network through embedding models has shown its practicality in many graph analysis applications, such as node classification, clustering, and link prediction. However, despite the high efficiency and accuracy of learning an embedding model, people have little clue of what information about the original network is preserved in the embedding vectors. The abstractness of low-dimensional vector representation, stochastic nature of the construction process, and non-transparent hyper-parameters all obscure understanding of network embedding results. Visualization techniques have been introduced to facilitate embedding vector inspection, usually by projecting the embedding space to a two-dimensional display. Although the existing visualization methods allow simple examination of the structure of embedding space, they cannot support in-depth exploration of the embedding vectors. In this paper, we design an exploratory visual analytics system that supports the comparative visual interpretation of embedding vectors at the cluster, instance, and structural levels. To be more specific, it facilitates comparison of what and how node metrics are preserved across different embedding models and investigation of relationships between node metrics and selected embedding vectors. Several case studies confirm the efficacy of our system. Experts' feedback suggests that our approach indeed helps them better embrace the understanding of network embedding models.


title: Evaluating the Utility of Hand-crafted Features in Sequence Labelling

abstract: Conventional wisdom is that hand-crafted features are redundant for deep learning models, as they already learn adequate representations of text automatically from corpora. In this work, we test this claim by proposing a new method for exploiting handcrafted features as part of a novel hybrid learning approach, incorporating a feature auto-encoder loss component. We evaluate on the task of named entity recognition (NER), where we show that including manual features for part-of-speech, word shapes and gazetteers can improve the performance of a neural CRF model. We obtain a $F_1$ of 91.89 for the CoNLL-2003 English shared task, which significantly outperforms a collection of highly competitive baseline models. We also present an ablation study showing the importance of auto-encoding, over using features as either inputs or outputs alone, and moreover, show including the autoencoder components reduces training requirements to 60\%, while retaining the same predictive accuracy.


title: Production and Backreaction of Spin-2 Particles of $SU(2)$ Gauge Field during Inflation

abstract: Primordial SU(2) gauge fields with an isotropic background lead to the production of spin-2 particles during inflation. We provide a unified formalism to compute this effect in all of the inflation models with isotropic SU(2) gauge fields such as Gauge-flation and Chromo-Natural inflation with and without spectator axion fields or the mass of the gauge field from the Higgs mechanism. First, we calculate the number and energy densities of the spin-2 particles. We then obtain exact analytical formulae for their backreaction on the background equations of motion of SU(2) and axion fields in (quasi) de Sitter expansion, which were calculated only numerically for one particular model in the literature. We show that the backreaction is directly related to the number density of the spin-2 field. Second, we relate the number density of the spin-2 particles to the power spectrum and the energy density of the gravitational waves sourced by them. Finally, we use the size of the backreaction to constrain the parameter space of the models. We find that the tensor-to-scalar ratio of the sourced gravitational waves can at most be on the order of that of the vacuum contribution to avoid a large backreaction on slow-roll dynamics of the gauge and axion fields in quasi-de Sitter expansion.


title: On Properties of Geodesic Semilocal E-Preinvex Functions

abstract: The authors define a class of functions on Riemannian manifolds, which is called geodesic semilocal E-preinvex functions, as a generalization of geodesic semilocal E-convex and geodesic semi E-preinvex functions and some of its properties are established. Furthermore, a nonlinear fractional multiobjective programming is considered, where the functions involved are geodesic E-$ \eta $-semidifferentiability, sufficient optimality conditions are obtained. A dual is formulated and duality results are proved using concepts of geodesic semilocal E-preinvex functions, geodesic pseudo-semilocal E-prinvex functions and geodesic quasi-semilocal E-preinvex functions.


title: A Universal Bijection for Catalan Structures

abstract: A Catalan magma is a unique factorisation normed magma with only one irreducible element. The \val partitions the base set into subsets enumerated by Catalan numbers. The primary theorem characterises the conditions which a set a with product map must satisfy in order to be a free magma generated by the irreducible elements. This theorem can be used to prove a set of objects (with a product map) is a Catalan magma. The isomorphism between Catalan magmas gives a "universal" bijection -- essentially one bijection algorithm for all pairs of families. The morphism property ensures the bijection is recursive. The universal bijection allows us to give some rigour to the idea of an "embedding" bijection between Catalan objects which, in many cases, shows how to embed an element of one Catalan family into one of a different family. Multiplication on the right (respectively left) by the generator gives rise to the right (respectively left) Narayana statistic. The statistic is invariant under the universal bijection and hence allows us to determine what structures of any Catalan family are associated with this refinement. We discuss the relation between the symbolic method for Catalan families and the magma structure on the base set defined by the symbolic method. This shows which "atomic" elements are also irreducible. The appendix gives the magma structure for 14 Catalan families.


title: A Framework for Complementary Companion Character Behavior in Video Games

abstract: We propose a game development framework capable of governing the behavior of complementary companions in a video game. A "complementary" action is contrasted with a mimicking action and is defined as any action by a friendly non-player character that furthers the player's strategy. This is determined through a combination of both player action and game state prediction processes while allowing the AI companion to experiment. We determine the location of interest for companion actions based on a dynamic set of regions customized to the individual player. A user study shows promising results; a majority of participants familiar with game design react positively to the companion behavior, stating that they would consider using the frame-work in future games themselves.


title: An improved belief propagation algorithm for detecting meso-scale structure in complex networks

abstract: The framework of statistical inference has been successfully used to detect the meso-scale structures in complex networks, such as community structure, core-periphery (CP) structure. The main principle is that the stochastic block model (SBM) is used to fit the observed network and the learnt parameters indicate the group assignment, in which the parameters of model are often calculated via an expectation-maximization (EM) algorithm and a belief propagation (BP) algorithm is implemented to calculate the decomposition itself. In the derivation process of the BP algorithm, some approximations were made by omitting the effects of node's neighbors, the approximations do not hold if networks are dense or some nodes holding large degrees. As a result, for example, the BP algorithm cannot well detect CP structure in networks and even yields wrong detection because the nodal degrees in core group are very large. In doing so, we propose an improved BP algorithm to solve the problem in the original BP algorithm without increasing any computational complexity. By comparing the improved BP algorithm with the original BP algorithm on community detection and CP detection, we find that the two algorithms yield the same performance on the community detection when the network is sparse, for the community structure in dense networks or CP structure in networks, our improved BP algorithm is much better and more stable. The improved BP algorithm may help us correctly partition different types of meso-scale structures in networks.


title: The definition of mass in asymptotically de Sitter space-times

abstract: An invariant definition of mass in asymptotically de-Sitter space-times is given that relies on the existence of a time-like Killing vector on a sphere surrounding the mass but does not require going to an asymptotic region. In particular the mass can be calculated exactly on a sphere inside the cosmological horizon. The formalism requires varying the background metric solution by a perturbation that satisfies the linearized equations of motion but need not share the Killing symmetry of the solution and is therefore ideally suited to calculating masses in stationary space-times perturbed by a gravitational wave without going beyond the cosmological horizon.


title: Revised Distances to 21 Supernova Remnants

abstract: We carry out a comprehensive study of HI 21 cm line observations and $^{13}$CO line observations of 21 supernova remnants (SNRs). The aim of the study is to search for HI absorption features to obtain kinematic distances in a consistent manner. The 21 SNRs are in the region of sky covered by the Very Large Array Galactic Plane Survey (HI 21 cm observations) and Galactic Ring Survey ($^{13}$CO line observations). We obtain revised distances for 10 SNRs based on new evidence in the HI and $^{13}$CO observations. We revise distances for the other 11 SNRs based on an updated rotation curve and new error analysis. The mean change in distance for the 21 SNRs is $\simeq25\%$, i.e. change of 1.5 kpc compared to a mean distance for the sample of 6.4 kpc. This has a significant impact on interpretation of the physical state of these SNRs. For example, using a Sedov model, age and explosion energy scale as the square of distance, and inferred ISM density scales as distance.


title: Negative photoconductivity and hot-carrier bolometric detection of terahertz radiation in graphene-phosphorene hybrid structures

abstract: We consider the effect of terahertz (THz) radiation on the conductivity of the ungated and gated graphene (G)-phosphorene (P) hybrid structures and propose and evaluated the hot-carrier uncooled bolometric photodetectors based on the GP-lateral diodes (GP-LDs) and GP-field-effect transistors (GP-FETs) with the GP channel. The operation of the GP-LDs and GP-FET photodetectors is associated with the carrier heating by the incident radiation absorbed in the G-layer due to the intraband transitions. The carrier heating leads to the relocation of a significant fraction of the carriers into the P-layer. Due to a relatively low mobility of the carriers in the P-layer, their main role is associated with a substantial reinforcement of the scattering of the carriers. The GP-FET bolometric photodetector characteristics are effectively controlled by the gate voltage. A strong negative conductivity of the GP-channel can provide much higher responsivity of the THz hot-carriers GP-LD and GP-FET bolometric photodetectors in comparison with the bolometers with solely the G-channels.


title: Formula for The IDS of Periodic Jacobi Matrices

abstract: We prove that on the spectrum the integrated density of states (IDS for short) of periodic Jacobi matrices is related to the discriminant. The method is to count the number of generalized zeros of Bloch wave solutions.


title: Activated Layered Magnetism from Bulk TiN

abstract: The novel properties of a uniaxially-expanded TiN bulk arising from increasing the layer spacing from equilibrium are explored using a first-principles approach. We reveal a novel nonmagnetic-magnetic transition from a TiN bulk to its monolayer. We also investigate the electronic and magnetic structures of a few TiN atomic layers. We find that the bilayer and trilayer, like the TiN bulk, are nonmagnetic poor metals. On the other hand, the monolayer TiN is found to carry a magnetic moment on its Ti atoms, and likely be a semiconductor. The unpaired electron giving rise to magnetism on Ti is primarily in the orbital perpendicular to the layers, and we find it is freed to give rise to magnetism when the layers are slightly separated. We find two different antiferromagnetic states possible on the monolayer, as well as one ferromagnetic, with one of the antiferromagnetic being the lowest energy. The exchange couplings between Ti atoms in such a monolayer are calculated to be antiferromagnetic for both the nearest-neighbor and next-nearest-neighbor sites. We also analyze the binding nature of both the monolayer and bilayer TiN by searching for the predominant binding orbitals.


title: On the inverse problem of the discrete calculus of variations

abstract: In this paper we present an algorithm to find the discrete Lagrangian for an autonomous recurrence relation of arbitrary even order $2k$ with $k>1$. The method is based on the existence of a set of differential operators called annihilation operators which can be used to convert a functional equation into a system of linear partial differential equations. This completely solves the inverse problem of the calculus of variations in this setting.


title: TRINITY: Coordinated Performance, Energy and Temperature Management in 3D Processor-Memory Stacks

abstract: The consistent demand for better performance has lead to innovations at hardware and microarchitectural levels. 3D stacking of memory and logic dies delivers an order of magnitude improvement in available memory bandwidth. The price paid however is, tight thermal constraints. In this paper, we study the complex multiphysics interactions between performance, energy and temperature. Using a cache coherent multicore processor cycle level simulator coupled with power and thermal estimation tools, we investigate the interactions between (a) thermal behaviors (b) compute and memory microarchitecture and (c) application workloads. The key insights from this exploration reveal the need to manage performance, energy and temperature in a coordinated fashion. Furthermore, we identify the concept of "effective heat capacity" i.e. the heat generated beyond which no further gains in performance is observed with increases in voltage-frequency of the compute logic. Subsequently, a real-time, numerical optimization based, application agnostic controller (TRINITY) is developed which intelligently manages the three parameters of interest. We observe up to $30\%$ improvement in Energy Delay$^2$ Product and up to $8$ Kelvin lower core temperatures as compared to fixed frequencies. Compared to the \texttt{ondemand} Linux CPU DVFS governor, for similar energy efficiency, TRINITY keeps the cores cooler by $6$ Kelvin which increases the lifetime reliability by up to 59\%.


title: Combinatorics of Borel Ideals

abstract: In this work, I investigate several combinatorial properties of Borel (or co-analytic) ideals on countable sets. I extend a theorem presented in M. Hru\v{s}\'{a}k, D. Meza-Alc\'antara, E. Th\"ummel, and C. Uzc\'ategui, \emph{Ramsey Type Properties of Ideals}, and also find an $F_\sigma$ tall ideal in which player II has a winning strategy in the Cut and Choose Game, which was a question posed by J. Zapletal. In the second section, I present some Ramsey properties of ideals, such as the previously known fact that the random graph ideal is critical for the Ramsey property (for subsets of size two and colorings with two colors) and construct a critical ideal for every Ramsey property. The third section includes comments on the Solecki ideal, and in the fourth section, I discover an $F_\sigma$ tall $K$-uniform ideal that is not equivalent to $\mathcal{ ED }_{fin}$, which is a question from Michael Hru\v{s}\'ak's.