title: Training Detection-Range-Frugal Cooperative Collision Avoidance Models for Quadcopters via Neuroevolution

abstract: Cooperative autonomous approaches to avoiding collisions among small Unmanned Aerial Vehicles (UAVs) is central to safe integration of UAVs within the civilian airspace. One potential online cooperative approach is the concept of reciprocal actions, where both UAVs take pre-trained mutually coherent actions that do not require active online coordination (thereby avoiding the computational burden and risk associated with it). This paper presents a learning based approach to train such reciprocal maneuvers. Neuroevolution, which uses evolutionary algorithms to simultaneously optimize the topology and weights of neural networks, is used as the learning method -- which operates over a set of sample approach scenarios. Unlike most existing work (that minimize travel distance, energy or risk), the training process here focuses on the objective of minimizing the required detection range; this has important practical implications w.r.t. alleviating the dependency on sophisticated sensing and their reliability under various environments. A specialized design of experiments and line search is used to identify the minimum detection range for each sample scenarios. In order to allow an efficient training process, a classifier is used to discard actions (without simulating them) where the controller would fail. The model obtained via neuroevolution is observed to generalize well to (i.e., successful collision avoidance over) unseen approach scenarios.


title: Spectral Efficiency Analysis in Dense Massive MIMO Networks

abstract: This work considers the uplink of a Massive MIMO network wherein the base stations (BSs) are randomly deployed according to a homogenous Poisson point process of intensity $\lambda$. Each BS is equipped with $M$ antennas and serves $K$ user equipments. A rigorous stochastic geometry framework with a multi-slope path loss model and pilot-based channel estimation is used to analyze the impact of $\lambda$ on channel estimation accuracy and spectral efficiency. Both maximum ratio and zero-forcing combiners are considered. Interesting analytical insights are provided into the interplay of network parameters such as $\lambda$, antenna-UE ratio $M/K$, and pilot reuse factor. The relative strength of pilot contamination and (inter- and intra-cell) interference is analytically and numerically evaluated, as a function of $\lambda$. It turns out that pilot contamination becomes relevant only for impractical values of $M/K\ge 100$.


title: Large-area Si(Li) detectors for X-ray spectrometry and particle tracking in the GAPS experiment

abstract: The first lithium-drifted silicon (Si(Li)) detectors to satisfy the unique geometric, performance, and cost requirements of the General Antiparticle Spectrometer (GAPS) experiment have been produced by Shimadzu Corporation. The GAPS Si(Li) detectors will form the first large-area, relatively high-temperature Si(Li) detector system with sensitivity to X-rays to operate at high altitude. These 10 cm-diameter, 2.5 mm-thick, 4- or 8-strip detectors provide the active area, X-ray absorption efficiency, energy resolution, and particle tracking capability necessary for the GAPS exotic-atom particle identification technique. In this paper, the detector performance is validated on the bases of X-ray energy resolution and reconstruction of cosmic minimum ionizing particle (MIP) signals. We use the established noise model for semiconductor detectors to distinguish sources of noise due to the detector from those due to signal processing electronics. We demonstrate that detectors with either 4 strips or 8 strips can provide the required $\lesssim$4 keV (FWHM) X-ray energy resolution at flight temperatures of $-35$ to $-45^{\circ}$C, given the proper choice of signal processing electronics. Approximately 1000 8-strip detectors will be used for the first GAPS Antarctic balloon flight, scheduled for late 2021.


title: A modified version of the IEEE 3-area RTS '96 Test Case for time series analysis

abstract: This report describes a modified version of the IEEE 3-area RTS '96 Test Case for time series analysis. This test case was originally developed to investigate the impact of the introduction of losses in the market clearing, thus the main application of this system is DC Optimal Power Flow (OPF) studies. A fourth area is included in the system. In each snapshot, wind power production and load consumption are modified. This allows for different import-export situations among zones, varying the prices in each zone. Moreover, several High-Voltage Direct-Current (HVDC) lines are included in the system.


title: Iterative X-ray Spectroscopic Ptychography

abstract: Spectroscopic ptychography is a powerful technique to determine the chemical composition of a sample with high spatial resolution. In spectro-ptychography, a sample is rastered through a focused x-ray beam with varying photon energy so that a series of phaseless diffraction data are recorded. Each chemical component in the material under investigation has a characteristic absorption and phase contrast as a function of photon energy. Using a dictionary formed by the set of contrast functions of each energy for each chemical component, it is possible to obtain the chemical composition of the material from high resolution multi-spectral images. This paper presents SPA (Spectroscopic Ptychography with ADMM), a novel algorithm to iteratively solve the spectroscopic blind ptychography problem. We design first a nonlinear spectro-ptychography model based on Poisson maximum likelihood, and construct then the proposed method based on fast iterative splitting operators. SPA can be used to retrieve spectral contrast when considering both a known or an incomplete (partially known) dictionary of reference spectra. By coupling the redundancy across different spectral measurements, the proposed algorithm can achieve higher reconstruction quality when compared to standard state-of-the-art two-step methods. We demonstrate how SPA can recover accurate chemical maps from Poisson-noised measurements, and also show its enhanced robustness when reconstructing reduced redundancy ptychography data using large scanning stepsizes.


title: Combination of CMS searches for heavy resonances decaying to pairs of bosons or leptons

abstract: A statistical combination of searches for heavy resonances decaying to pairs of bosons or leptons is presented. The data correspond to an integrated luminosity of 35.9 fb$^{-1}$ collected during 2016 by the CMS experiment at the LHC in proton-proton collisions at a center-of-mass energy of 13 TeV. The data are found to be consistent with expectations from the standard model background. Exclusion limits are set in the context of models of spin-1 heavy vector triplets and of spin-2 bulk gravitons. For mass-degenerate W' and Z' resonances that predominantly couple to the standard model gauge bosons, the mass exclusion at 95% confidence level of heavy vector bosons is extended to 4.5 TeV as compared to 3.8 TeV determined from the best individual channel. This excluded mass increases to 5.0 TeV if the resonances couple predominantly to fermions.


title: Evaluating Memento Service Optimizations

abstract: Services and applications based on the Memento Aggregator can suffer from slow response times due to the federated search across web archives performed by the Memento infrastructure. In an effort to decrease the response times, we established a cache system and experimented with machine learning models to predict archival holdings. We reported on the experimental results in previous work and can now, after these optimizations have been in production for two years, evaluate their efficiency, based on long-term log data. During our investigation we find that the cache is very effective with a 70-80% cache hit rate for human-driven services. The machine learning prediction operates at an acceptable average recall level of 0.727 but our results also show that a more frequent retraining of the models is needed to further improve prediction accuracy.


title: Sentiment-Driven Stochastic Volatility Model: A High-Frequency Textual Tool for Economists

abstract: We propose how to quantify high-frequency market sentiment using high-frequency news from NASDAQ news platform and support vector machine classifiers. News arrive at markets randomly and the resulting news sentiment behaves like a stochastic process. To characterize the joint evolution of sentiment, price, and volatility, we introduce a unified continuous-time sentiment-driven stochastic volatility model. We provide closed-form formulas for moments of the volatility and news sentiment processes and study the news impact. Further, we implement a simulation-based method to calibrate the parameters. Empirically, we document that news sentiment raises the threshold of volatility reversion, sustaining high market volatility.


title: The Mass Density Profile and Star Formation History of Gaussian and Non-Gaussian Clusters

abstract: This paper is the third of a series in which we investigate the discrimination between Gaussian (G) and Non-Gaussian (NG) clusters, based on the velocity distribution of the member galaxies. We study a sample of 177 groups from the Yang catalog in the redshift interval of 0.03 $\le$ z $\le$ 0.1 and masses $\ge$ 10$^{14} \rm M_{\odot}$. Examining the projected stellar mass density distributions of G and NG groups we find strong evidence of a higher infall rate in the outskirts of NG groups over the G ones. There is a 61\% excess of faint galaxies in NGs when contrasted with G groups, when integrating $\rm from ~ 0.8 ~to~ 2.0R/R_{200}$. The study of the Star Formation History (SFH) of ellipticals and spirals in the three main regions of the Projected Phase Space (PPS) reveals also that the star formation in faint spirals of NG groups is significantly different from their counterpart in the G groups. The assembled mass for Faint spirals varies from 59\% at 12.7 Gyr to 75\% at 8.0 Gyr, while in G systems this variation is from 82\% to 91\%. This finding may also be interpreted as a higher infall rate of gas rich systems in NG groups. This accretion process through the filaments, disturbing the velocity distribution and modifying not only the stellar population of the incoming galaxies but also their SFH, should be seriously considered in modelling galaxy evolution.


title: Dynamics near a first order phase transition

abstract: We study various dynamical aspects of systems possessing a first order phase transition in their phase diagram. We isolate three qualitatively distinct types of theories depending on the structure of instabilities and the nature of the low temperature phase. The non-equilibrium dynamics is modeled by a dual gravitational theory in 3+1 dimension which is coupled to massive scalar field with self interacting potential. By numerically solving the Einstein-matter equations of motion with various initial configurations, we investigate the structure of the final state arising through coalescence of phase domains. We find that static phase domains, even quite narrow are very long lived and we find a phenomenological equation for their lifetime. Within our framework we also analyze moving phase domains and their collision as well as the effects of spinodal instability and dynamical instability on an expanding boost invariant plasma.


title: Traversable wormhole magnetic monopoles from Dymnikova Metric

abstract: We study a traversable wormhole originated by a transformation over the 4D Dymnikova metric which describes analytic Black-Holes (BH). By using a transformation of coordinates which is adapted from the used in the Einstein-Rosen bridge, we study a specific family of geodesics in which a test particle with non-zero electric charge induces an effective magnetic monopole, that is perceived by observers outside the wormhole. Because the Riemannian geometry cannot explain the presence of magnetic monopoles, then we propose a torsional geometry in order to explore the possibility that magnetic monopoles can be geometrically induced. We obtain an expression that relates torsion and magnetic fields jointly with a Dirac-like expression for magnetic and electric charges, such that torsion makes possible define a fundamental length that provides a magnetic field and a spacetime discretization.


title: Constraining values of bag constant for strange star candidates

abstract: We provide a strange star model under the framework of general relativity by using a general linear equation of state (EOS). The solution set thus obtained is employed on altogether 20 compact star candidates to constraint values of MIT bag model. No specific value of the bag constant ($B$) a-priori is assumed rather possible range of values for bag constant is determined from observational data of the said set of compact stars. To do so the Tolman-Oppenheimer-Volkoff (TOV) equation is solved by homotopy perturbation method (HPM) and hence we get a mass function for the stellar system. The solution to the Einstein field equations represents a non-singular, causal and stable stellar structure which can be related to strange stars. Eventually we get an interesting result on the range of the bag constant as 41.58~MeV~fm$^{-3}< B <$319.31~MeV~fm$^{-3}$. We have found the maximum surface redshift $Z^{max}_{s}=0.63$ and shown that the central redshift ($Z_c$) can not have value larger than $2k$, where $k=2.010789 \pm 0.073203$. Also we provide a possible value of bag constant for neutron star (NS) with quark core using hadronic as well as quark EOS.


title: Supermassive Black Hole Demographics: Evading $M - {\sigma}$

abstract: We consider black hole - galaxy coevolution using simple analytic arguments. We focus on the fact that several supermassive black holes are known with masses significantly larger than suggested by the $M - {\sigma}$ relation, sometimes also with rather small stellar masses. We show that these are likely to have descended from extremely compact `blue nugget' galaxies born at high redshift, whose very high velocity dispersions allowed the black holes to reach unusually large masses. Subsequent interactions reduce the velocity dispersion, so the black holes lie above the usual $M - {\sigma}$ relation and expel a large fraction of the bulge gas (as in WISE J104222.11+164115.3) that would otherwise make stars, before ending at low redshift as very massive holes in galaxies with relatively low stellar masses, such as NGC 4889 and NGC 1600. We further suggest the possible existence of two new types of galaxy: low-mass dwarfs whose central black holes lie below the $M - {\sigma}$ relation at low redshift, and galaxies consisting of very massive ($\gtrsim 10^{11}$M$_{\odot}$) black holes with extremely small stellar masses. This second group would be very difficult to detect electromagnetically, but potentially offer targets of considerable interest for LISA.


title: Properties of the Umbral Filament Observed in Active Region NOAA 12529

abstract: Recent observations of the solar photosphere revealed the presence of elongated filamentary bright structures inside sunspot umbrae, called umbral filaments (UFs). These features differ in morphology, magnetic configuration, and evolution from light bridges that are usually observed to intrude in sunspots. To characterize an UF observed in the umbra of the giant leading sunspot of active region NOAA 12529, we analyze high-resolution observations taken in the photosphere with the spectropolarimeter aboard the Hinode satellite and in the upper chromosphere and transition region with the IRIS telescope. The results of this analysis definitely rule out the hypothesis that the UF might be a kind of light bridge. In fact, we find no field-free or low-field strength region cospatial to the UF. Conversely, we recognize the presence of a strong horizontal field larger than 2500 G, a significant portion of the UF with opposite polarity with respect to the surroundings, and filaments in the upper atmospheric layers corresponding to the UF in the photosphere. These findings suggest that this structure is the photospheric manifestation of a flux rope hanging above the sunspot and forming penumbral-like filaments within the umbra via magneto-convection. This reinforces a previously proposed scenario.


title: Optimized Score Transformation for Consistent Fair Classification

abstract: This paper considers fair probabilistic binary classification where the outputs of primary interest are predicted probabilities, commonly referred to as scores. We formulate the problem of transforming scores to satisfy fairness constraints that are linear in conditional means of scores while minimizing a cross-entropy objective. The formulation can be applied directly to post-process classifier outputs and we also explore a pre-processing extension, thus allowing maximum freedom in selecting a classification algorithm. We derive a closed-form expression for the optimal transformed scores and a convex optimization problem for the transformation parameters. In the population limit, the transformed score function is the fairness-constrained minimizer of cross-entropy with respect to the true conditional probability of the outcome. In the finite sample setting, we propose a method called FairScoreTransformer to approach this solution using a combination of standard probabilistic classifiers and ADMM. We provide several consistency and finite-sample guarantees for FairScoreTransformer, relating to the transformation parameters and transformed score function that it obtains. Comprehensive experiments comparing to 10 existing methods show that FairScoreTransformer has advantages for score-based metrics such as Brier score and AUC while remaining competitive for binary label-based metrics such as accuracy.


title: OK-VQA: A Visual Question Answering Benchmark Requiring External Knowledge

abstract: Visual Question Answering (VQA) in its ideal form lets us study reasoning in the joint space of vision and language and serves as a proxy for the AI task of scene understanding. However, most VQA benchmarks to date are focused on questions such as simple counting, visual attributes, and object detection that do not require reasoning or knowledge beyond what is in the image. In this paper, we address the task of knowledge-based visual question answering and provide a benchmark, called OK-VQA, where the image content is not sufficient to answer the questions, encouraging methods that rely on external knowledge resources. Our new dataset includes more than 14,000 questions that require external knowledge to answer. We show that the performance of the state-of-the-art VQA models degrades drastically in this new setting. Our analysis shows that our knowledge-based VQA task is diverse, difficult, and large compared to previous knowledge-based VQA datasets. We hope that this dataset enables researchers to open up new avenues for research in this domain. See http://okvqa.allenai.org to download and browse the dataset.


title: A Novel Method for Drawing a Circle Tangent to Three Circles Lying on a Plane by Straightedge,Compass,and Inversion Circles

abstract: In this paper, we present a novel method to draw a circle tangent to three given circles lying on a plane. Using the analytic geometry and inversion (reflection) theorems, the center and radius of the inversion circle are obtained. Inside any one of the three given circles, a circle of the similar radius and concentric with its own corresponding original circle is drawn.The tangent circle to these three similar circles is obtained. Then the inverted circles of the three similar circles and the tangent circle regarding an obtainable point and a computable power of inversion (reflection) constant are obtained. These circles (three inverted circles and an inverted tangent circle)will be tangent together.Just,we obtain another reflection point and power of inversion so that those three reflected circles (inversions of three similar circles) can be reflections of three original circles, respectively. In such a case,the reflected circle tangent to three reflected circles regarding same new inversion system will be tangent to the three original ones. This circle is our desirable circle. A drawing algorithm is also given for drawing desirable circle by straightedge and compass. A survey of conformal mapping theory and inversion in higher dimensions is also accomplished. Although, Laguerre transformation might be used for solution of this problem, but we do not make use of this method. Our novelty is just for drawing a circle tangent to three given circles applying a tangent circle to three identical circles concentric with three given ones and then inverting them as original ones by compass and straightedge not any thing else.


title: Farrell-Jones Conjecture for free-by-cyclic groups

abstract: We prove the Farrell-Jones conjecture for free-by-cyclic groups. The proof uses recently developed geometric methods for establishing the Farrell-Jones Conjecture.


title: Sensitivity of the Power Spectra of Magnetization Fluctuations in Low Barrier Nanomagnets to Barrier Height Modulation and Defects

abstract: Nanomagnets with small shape anisotropy energy barriers on the order of the thermal energy have unstable magnetization that fluctuates randomly in time. They have recently emerged as promising hardware platforms for stochastic computing and machine learning because the random magnetization states can be harnessed for probabilistic bits. Here, we have studied how the statistics of the magnetization fluctuations (e.g. the power spectral density) is affected by (i) moderate variations in the barrier height of the nanomagnet and (ii) the presence of structural defects, in order to assess how robust the computing platform is. We found that the power spectral density is relatively insensitive to moderate barrier height change and also relatively insensitive to the presence of small localized defects. However, extended (delocalized) defects, such as thickness variations over a significant fraction of the nanomagnet, affect the power spectral density very noticeably. As a result, small variations in the shape (causing small variations in the barrier height), or small localized defects, are relatively innocuous and tolerable, but significant variation of the nanomagnet thickness is not. Consequently, tight control over the nanomagnet thickness must be maintained for stochastic computing applications.


title: Dimensional interpolation and the Selberg integral

abstract: We show that a version of dimensional interpolation for the Riemann--Roch--Hirzebruch formalism in the case of a grassmannian leads to an expression for the Euler characteristic of line bundles in terms of a Selberg integral. We propose a way to interpolate higher Bessel equations, their wedge powers, and monodromies thereof to non--integer orders, and link the result with the dimensional interpolation of the RRH formalism in the spirit of the gamma conjectures.


title: Improving the Similarity Measure of Determinantal Point Processes for Extractive Multi-Document Summarization

abstract: The most important obstacles facing multi-document summarization include excessive redundancy in source descriptions and the looming shortage of training data. These obstacles prevent encoder-decoder models from being used directly, but optimization-based methods such as determinantal point processes (DPPs) are known to handle them well. In this paper we seek to strengthen a DPP-based method for extractive multi-document summarization by presenting a novel similarity measure inspired by capsule networks. The approach measures redundancy between a pair of sentences based on surface form and semantic information. We show that our DPP system with improved similarity measure performs competitively, outperforming strong summarization baselines on benchmark datasets. Our findings are particularly meaningful for summarizing documents created by multiple authors containing redundant yet lexically diverse expressions.


title: $\beta$-Packing Sets in Graphs

abstract: A set $S\subseteq V$ is $\alpha$-dominating if for all $v\in V-S$, $|N(v) \cap S | \geq \alpha |N(v)|.$ The $\alpha$-domination number of $G$ equals the minimum cardinality of an $\alpha$-dominating set $S$ in $G$. Since being introduced by Dunbar, et al. in 2000, $\alpha$-domination has been studied for various graphs and a variety of bounds have been developed. In this paper, we propose a new parameter derived by flipping the inequality in the definition of $\alpha$-domination. We say a set $S \subset V$ is a $\beta$-packing set of a graph $G$ if $S$ is a proper, maximal set having the property that for all vertices $v \in V-S$, $|N(v) \cap S| \leq \beta |N(v)|$ for some $0 < \beta \leq 1.$ The $\beta$-packing number of $G$ ($\beta$-pack($G$)) equals the maximum cardinality of a $\beta$-packing set in $G$. In this research, we determine $\beta$-pack($G$) for several classes of graphs, and we explore some properties of $\beta$-packing sets. Keywords: $\beta$-packing, $\alpha$-domination, graph theory, graph parameters


title: Balancing spreads of influence in a social network

abstract: The personalization of our news consumption on social media has a tendency to reinforce our pre-existing beliefs instead of balancing our opinions. This finding is a concern for the health of our democracies which rely on an access to information providing diverse viewpoints. To tackle this issue from a computational perspective, Garimella et al. (NIPS'17) modeled the spread of these viewpoints, also called campaigns, using the well-known independent cascade model and studied an optimization problem that aims at balancing information exposure in a social network when two opposing campaigns propagate in the network. The objective in their $NP$-hard optimization problem is to maximize the number of people that are exposed to either both or none of the viewpoints. For two different settings, one corresponding to a model where campaigns spread in a correlated manner, and a second one, where the two campaigns spread in a heterogeneous manner, they provide constant ratio approximation algorithms. In this paper, we investigate a more general formulation of this problem. That is, we assume that $\mu$ different campaigns propagate in a social network and we aim to maximize the number of people that are exposed to either $\nu$ or none of the campaigns, where $\mu\ge\nu\ge2$. We provide dedicated approximation algorithms for both the correlated and heterogeneous settings. Interestingly, for the heterogeneous setting with $\nu\ge 3$, we give a reduction leading to several approximation hardness results. Maybe most importantly, we obtain that the problem cannot be approximated within a factor of $n^{-g(n)}$ for any $g(n)=o(1)$ assuming Gap-ETH, denoting with $n$ the number of nodes in the social network. For $\nu \ge 4$, there is no $n^{-\epsilon}$-approximation algorithm if a certain class of one-way functions exists, where $\epsilon > 0$ is a given constant which depends on $\nu$.


title: Effects of Radiation Pressure on the Evaporative Wind of HD 209458b

abstract: The role of radiation pressure in shaping exoplanet photoevaporation remains a topic of contention. Radiation pressure from the exoplanet's host star has been proposed as a mechanism to drive the escaping atmosphere into a "cometary" tail and explain the high velocities observed in systems where mass loss is occurring. In this paper we present results from high-resolution 3-D hydrodynamic simulations of a planet similar to HD 209458b. We self-consistently launch a wind flowing outward from the planet by calculating the ionization and heating resulting from incident high-energy radiation, and account for radiation pressure. We first present a simplified calculation, setting a limit on the Lyman-$\alpha$ flux required to drive the photo-evaporated planetary material to larger radii and line-of-sight velocities. We then present the results of our simulations, which confirm the limits determined by our analytic calculation. We thus demonstrate that, within the limits of our hydrodynamic simulation and for the Lyman-$\alpha$ fluxes expected for HD 209458, radiation pressure is unlikely to significantly affect photoevaporative winds or to explain the high velocities at which wind material is observed, though further possibilities remain to be investigated.


title: IoT Network Security from the Perspective of Adversarial Deep Learning

abstract: Machine learning finds rich applications in Internet of Things (IoT) networks such as information retrieval, traffic management, spectrum sensing, and signal authentication. While there is a surge of interest to understand the security issues of machine learning, their implications have not been understood yet for wireless applications such as those in IoT systems that are susceptible to various attacks due the open and broadcast nature of wireless communications. To support IoT systems with heterogeneous devices of different priorities, we present new techniques built upon adversarial machine learning and apply them to three types of over-the-air (OTA) wireless attacks, namely jamming, spectrum poisoning, and priority violation attacks. By observing the spectrum, the adversary starts with an exploratory attack to infer the channel access algorithm of an IoT transmitter by building a deep neural network classifier that predicts the transmission outcomes. Based on these prediction results, the wireless attack continues to either jam data transmissions or manipulate sensing results over the air (by transmitting during the sensing phase) to fool the transmitter into making wrong transmit decisions in the test phase (corresponding to an evasion attack). When the IoT transmitter collects sensing results as training data to retrain its channel access algorithm, the adversary launches a causative attack to manipulate the input data to the transmitter over the air. We show that these attacks with different levels of energy consumption and stealthiness lead to significant loss in throughput and success ratio in wireless communications for IoT systems. Then we introduce a defense mechanism that systematically increases the uncertainty of the adversary at the inference stage and improves the performance. Results provide new insights on how to attack and defend IoT networks using deep learning.


title: Scoring Sentence Singletons and Pairs for Abstractive Summarization

abstract: When writing a summary, humans tend to choose content from one or two sentences and merge them into a single summary sentence. However, the mechanisms behind the selection of one or multiple source sentences remain poorly understood. Sentence fusion assumes multi-sentence input; yet sentence selection methods only work with single sentences and not combinations of them. There is thus a crucial gap between sentence selection and fusion to support summarizing by both compressing single sentences and fusing pairs. This paper attempts to bridge the gap by ranking sentence singletons and pairs together in a unified space. Our proposed framework attempts to model human methodology by selecting either a single sentence or a pair of sentences, then compressing or fusing the sentence(s) to produce a summary sentence. We conduct extensive experiments on both single- and multi-document summarization datasets and report findings on sentence selection and abstraction.


title: Augmenting C. elegans Microscopic Dataset for Accelerated Pattern Recognition

abstract: The detection of cell shape changes in 3D time-lapse images of complex tissues is an important task. However, it is a challenging and tedious task to establish a comprehensive dataset to improve the performance of deep learning models. In the paper, we present a deep learning approach to augment 3D live images of the Caenorhabditis elegans embryo, so that we can further speed up the specific structural pattern recognition. We use an unsupervised training over unlabeled images to generate supplementary datasets for further pattern recognition. Technically, we used Alex-style neural networks in a generative adversarial network framework to generate new datasets that have common features of the C. elegans membrane structure. We also made the dataset available for a broad scientific community.


title: Transversals, duality, and irrational rotation

abstract: An early result of Noncommutative Geometry was Connes' observation in the 1980's that the Dirac-Dolbeault cycle for the $2$-torus $\mathbb{T}^2$, which induces a Poincar\'e self-duality for $\mathbb{T}^2$, can be 'quantized' to give a spectral triple and a K-homology class in $KK_0(A_\theta\otimes A_\theta, \mathbb{C})$ providing the co-unit for a Poincar\'e self-duality for the irrational rotation algebra $A_\theta$ for any $\theta\in \mathbb{R}\setminus \mathbb{Q}$. This spectral triple has been extensively studied since. Connes' proof, however, relied on a K-theory computation and does not supply a representative cycle for the unit of this duality. Since such representatives are vital in applications of duality, we supply such a cycle in unbounded form in this article. Our approach is to construct, for any non-trivial element $g$ of the modular group, a finitely generated projective module $\mathcal{L}_g$ over $A_\theta \otimes A_\theta$ by using a reduction-to-a-transversal argument of Muhly, Renault, and Williams, applied to a pair of Kronecker foliations along lines of slope $\theta$ and $g(\theta)$, using the fact that these flows are transverse to each other. We then compute Connes' dual of $[\mathcal{L}_g]$ for $g$ upper triangular, and prove that we obtain an invertible in $KK_0(A_\theta, A_\theta)$, represented by what one might regard as a noncommutative bundle of Dirac-Schr\"odinger operators. An application of $\mathbb{Z}$-equivariant Bott Periodicity proves that twisting the module by the family gives the requisite spectral cycle for the unit, thus proving self-duality for $A_\theta$ with both unit and co-unit represented by spectral cycles.


title: Gmail Smart Compose: Real-Time Assisted Writing

abstract: In this paper, we present Smart Compose, a novel system for generating interactive, real-time suggestions in Gmail that assists users in writing mails by reducing repetitive typing. In the design and deployment of such a large-scale and complicated system, we faced several challenges including model selection, performance evaluation, serving and other practical issues. At the core of Smart Compose is a large-scale neural language model. We leveraged state-of-the-art machine learning techniques for language model training which enabled high-quality suggestion prediction, and constructed novel serving infrastructure for high-throughput and real-time inference. Experimental results show the effectiveness of our proposed system design and deployment approach. This system is currently being served in Gmail.


title: Realistic sub-Rayleigh imaging with phase-sensitive measurements

abstract: As the separation between two emitters is decreased below the Rayleigh limit, the information that can be gained about their separation using traditional imaging techniques, photon counting in the image plane, reduces to nil. Assuming the sources are of equal intensity, Rayleigh's "curse" can be alleviated by making phase-sensitive measurements in the image plane. However, with unequal and unknown intensities the curse returns regardless of the measurement, though the ideal scheme would still outperform image plane counting (IPC), i.e., recording intensities on a screen. We analyze the limits of the SPLICE phase measurement scheme as the intensity imbalance between the emitters grows. We find that SPLICE still outperforms IPC for moderately disparate intensities. For larger intensity imbalances we propose a hybrid of IPC and SPLICE, which we call "adapted SPLICE", requiring only simple modifications. Using Monte Carlo simulation, we identify regions (emitter brightness, separation, intensity imbalance) where it is advantageous to use SPLICE over IPC, and when to switch to the adapted SPLICE measurement. We find that adapted SPLICE can outperform IPC for large intensity imbalances, e.g., 10,000:1, with the advantage growing with greater disparity between the two intensities. Finally, we also propose additional phase measurements for estimating the statistical moments of more complex source distributions. Our results are promising for implementing phase measurements in sub-Rayleigh imaging tasks such as exoplanet detection.


title: A counter-example to the equivariance structure on semi-universal deformation

abstract: If $X$ is a projective variety and $G$ is an algebraic group acting algebraically on $X$, we provide a counter-example to the existence of a $G$-equivariant extension on the formal semi-universal deformation of $X$.


title: Unique continuation properties for abstract Schroedinger equations and applications

abstract: In this paper, Hardy's uncertainty principle and unique continuation properties of Schrodinger equations with operator potentials in Hilbert space-valued classes are obtained. Since the Hilbert space H and linear operators are arbitrary, by choosing the appropriate spaces and operators we obtain numerous classes of Schrodinger type equations and its finite and infinite many systems which occur in a wide variety of physical systems.


title: Detection Prospects of Core-Collapse Supernovae with Supernova-Optimized Third-Generation Gravitational-wave Detectors

abstract: We optimize the third-generation gravitational-wave detector to maximize the range to detect core-collapse supernovae. Based on three-dimensional simulations for core-collapse and the corresponding gravitational-wave waveform emitted, the corresponding detection range for these waveforms is limited to within our galaxy even in the era of third-generation detectors. The corresponding event rate is two per century. We find from the waveforms that to detect core-collapse supernovae with an event rate of one per year, the gravitational-wave detectors need a strain sensitivity of 3$\times10^{-27}~$Hz$^{-1/2}$ in a frequency range from 100~Hz to 1500~Hz. We also explore detector configurations technologically beyond the scope of third-generation detectors. We find with these improvements, the event rate for gravitational-wave observations from CCSN is still low, but is improved to one in twenty years.

categories: gr-qc astro-ph.HE astro-ph.IM physics.ins-det


title: Unique continuation properties for Schroedinger operators in Hilbert spaces

abstract: Here, the Morgan type uncertainty principle and unique continuation properties of abstract Schredinger equations with time dependent potentials are obtained in Hilbert space valued function classes. The equations include linear operator in abstract Hilbert spaces H dependent on space variables. So, by selecting appropriate spaces H and operators, we derive unique continuation properties for numerous classes of Schr\"odinger type equations and its systems, which occur in a wide variety of physical systems.


title: Non-Relativistic Gravity Theory based on an Enlargement of the Extended Bargmann Algebra

abstract: In this work we study a non-relativistic three dimensional Chern-Simons gravity theory based on an enlargement of the Extended Bargmann algebra. A finite non-relativistic Chern-Simons gravity action is obtained through the non-relativistic contraction of a particular $U(1)$ enlargement of the so-called AdS-Lorentz algebra. We show that the non-relativistic gravity theory introduced here reproduces the Maxwellian Exotic Bargmann gravity theory when a flat limit $\ell \rightarrow \infty$ is applied. We also present an alternative procedure to obtain the non-relativistic versions of the AdS-Lorentz and Maxwell algebras through the semigroup expansion method.


title: Electrical Studies of Barkhausen Switching Noise in Ferroelectric lead zirconate titanate (PZT) and BaTiO3: Critical Exponents and Temperature-dependence

abstract: Previous studies of Barkhausen noise in PZT have been limited to the energy spectrum (slew rate response voltages versus time), showing agreement with avalanche models; in barium titanate other exponents have been measured acoustically, but only at ambient temperatures. In the present study we report the Omori exponent (-0.95$\pm$0.03) for aftershocks in PZT and extend the barium titanate studies to a wider range of temperature.


title: Diversity-Inducing Policy Gradient: Using Maximum Mean Discrepancy to Find a Set of Diverse Policies

abstract: Standard reinforcement learning methods aim to master one way of solving a task whereas there may exist multiple near-optimal policies. Being able to identify this collection of near-optimal policies can allow a domain expert to efficiently explore the space of reasonable solutions. Unfortunately, existing approaches that quantify uncertainty over policies are not ultimately relevant to finding policies with qualitatively distinct behaviors. In this work, we formalize the difference between policies as a difference between the distribution of trajectories induced by each policy, which encourages diversity with respect to both state visitation and action choices. We derive a gradient-based optimization technique that can be combined with existing policy gradient methods to now identify diverse collections of well-performing policies. We demonstrate our approach on benchmarks and a healthcare task.


title: A bijective proof and generalization of Siladi\'c's Theorem

abstract: In a recent paper, Dousse introduced a refinement of Siladi\'c's theorem on partitions, where parts occur in two primary and three secondary colors. Her proof used the method of weighted words and $q$-difference equations. The purpose of this paper is to give a bijective proof of a generalization of Dousse's theorem from two primary colors to an arbitrary number of primary colors.


title: Coupled transport in a linear-stochastic Schr\"odinger Equation

abstract: I study heat and norm transport in a one-dimensional lattice of linear Schr\"odinger oscillators with conservative stochastic perturbations. Its equilibrium properties are the same of the Discrete Nonlinear Schr\"odinger equation in the limit of vanishing nonlinearity. When attached to external classical reservoirs that impose nonequilibrium conditions, the chain displays diffusive transport, with finite Onsager coefficients in the thermodynamic limit and a finite Seebeck coefficient.


title: Deep Learning Recommendation Model for Personalization and Recommendation Systems

abstract: With the advent of deep learning, neural network-based recommendation models have emerged as an important tool for tackling personalization and recommendation tasks. These networks differ significantly from other deep learning networks due to their need to handle categorical features and are not well studied or understood. In this paper, we develop a state-of-the-art deep learning recommendation model (DLRM) and provide its implementation in both PyTorch and Caffe2 frameworks. In addition, we design a specialized parallelization scheme utilizing model parallelism on the embedding tables to mitigate memory constraints while exploiting data parallelism to scale-out compute from the fully-connected layers. We compare DLRM against existing recommendation models and characterize its performance on the Big Basin AI platform, demonstrating its usefulness as a benchmark for future algorithmic experimentation and system co-design.


title: Signal Coding and Perfect Reconstruction using Spike Trains

abstract: In many animal sensory pathways, the transformation from external stimuli to spike trains is essentially deterministic. In this context, a new mathematical framework for coding and reconstruction, based on a biologically plausible model of the spiking neuron, is presented. The framework considers encoding of a signal through spike trains generated by an ensemble of neurons via a standard convolve-then-threshold mechanism. Neurons are distinguished by their convolution kernels and threshold values. Reconstruction is posited as a convex optimization minimizing energy. Formal conditions under which perfect reconstruction of the signal from the spike trains is possible are then identified in this setup. Finally, a stochastic gradient descent mechanism is proposed to achieve these conditions. Simulation experiments are presented to demonstrate the strength and efficacy of the framework


title: Driver Behavior Analysis Using Lane Departure Detection Under Challenging Conditions

abstract: In this paper, we present a novel model to detect lane regions and extract lane departure events (changes and incursions) from challenging, lower-resolution videos recorded with mobile cameras. Our algorithm used a Mask-RCNN based lane detection model as pre-processor. Recently, deep learning-based models provide state-of-the-art technology for object detection combined with segmentation. Among the several deep learning architectures, convolutional neural networks (CNNs) outperformed other machine learning models, especially for region proposal and object detection tasks. Recent development in object detection has been driven by the success of region proposal methods and region-based CNNs (R-CNNs). Our algorithm utilizes lane segmentation mask for detection and Fix-lag Kalman filter for tracking, rather than the usual approach of detecting lane lines from single video frames. The algorithm permits detection of driver lane departures into left or right lanes from continuous lane detections. Preliminary results show promise for robust detection of lane departure events. The overall sensitivity for lane departure events on our custom test dataset is 81.81%.


title: Prediction and optimization of mechanical properties of composites using convolutional neural networks

abstract: In this paper, we develop a convolutional neural network model to predict the mechanical properties of a two-dimensional checkerboard composite quantitatively. The checkerboard composite possesses two phases, one phase is soft and ductile while the other is stiff and brittle. The ground-truth data used in the training process are obtained from finite element analyses under the assumption of plane stress. Monte Carlo simulations and central limit theorem are used to find the size of the dataset needed. Once the training process is completed, the developed model is validated using data unseen during training. The developed neural network model captures the stiffness, strength, and toughness of checkerboard composites with high accuracy. Also, we integrate the developed model with a genetic algorithm (GA) optimizer to identify the optimal microstructural designs. The genetic algorithm optimizer adopted here has several operators, selection, crossover, mutation, and elitism. The optimizer converges to configurations with highly enhanced properties. For the case of the modulus and starting from randomly-initialized generation, the GA optimizer converges to the global maximum which involves no soft elements. Also, the GA optimizers, when used to maximize strength and toughness, tend towards having soft elements in the region next to the crack tip.


title: The Pupil Has Become the Master: Teacher-Student Model-Based Word Embedding Distillation with Ensemble Learning

abstract: Recent advances in deep learning have facilitated the demand of neural models for real applications. In practice, these applications often need to be deployed with limited resources while keeping high accuracy. This paper touches the core of neural models in NLP, word embeddings, and presents a new embedding distillation framework that remarkably reduces the dimension of word embeddings without compromising accuracy. A novel distillation ensemble approach is also proposed that trains a high-efficient student model using multiple teacher models. In our approach, the teacher models play roles only during training such that the student model operates on its own without getting supports from the teacher models during decoding, which makes it eighty times faster and lighter than other typical ensemble methods. All models are evaluated on seven document classification datasets and show a significant advantage over the teacher models for most cases. Our analysis depicts insightful transformation of word embeddings from distillation and suggests a future direction to ensemble approaches using neural models.


title: Generic invariant measures for iterated systems of interval homeomorphisms

abstract: It is known that Iterated Function Systems generated by orientation preserving homeomorphisms of the unit interval admit a unique invariant measure on $(0,1)$. The setup for this result is the positivity of Lyapunov exponents at both fixed points and the minimality of the induced action. With the additional requirement of continuous differentiability of maps on a fixed neighborhood of $\{0,1\}$, we present a metric in the space of such systems, which renders it complete. Using then a classical argument (and an alternative uniqueness proof), we show that almost singular invariant measures are admitted by systems lying densely in the space. This allows us to construct a residual set of systems with unique singular stationary distribution. Dichotomy between singular and absolutely continuous unique measures, is assured by taking a subspace of systems with absolutely continuous maps; the closure of this subspace is where the residual set is found. The article is dedicated to the memory of Professor J\'ozef Myjak.


title: Modular Universal Reparameterization: Deep Multi-task Learning Across Diverse Domains

abstract: As deep learning applications continue to become more diverse, an interesting question arises: Can general problem solving arise from jointly learning several such diverse tasks? To approach this question, deep multi-task learning is extended in this paper to the setting where there is no obvious overlap between task architectures. The idea is that any set of (architecture,task) pairs can be decomposed into a set of potentially related subproblems, whose sharing is optimized by an efficient stochastic algorithm. The approach is first validated in a classic synthetic multi-task learning benchmark, and then applied to sharing across disparate architectures for vision, NLP, and genomics tasks. It discovers regularities across these domains, encodes them into sharable modules, and combines these modules systematically to improve performance in the individual tasks. The results confirm that sharing learned functionality across diverse domains and architectures is indeed beneficial, thus establishing a key ingredient for general problem solving in the future.


title: Spectral Perturbation Meets Incomplete Multi-view Data

abstract: Beyond existing multi-view clustering, this paper studies a more realistic clustering scenario, referred to as incomplete multi-view clustering, where a number of data instances are missing in certain views. To tackle this problem, we explore spectral perturbation theory. In this work, we show a strong link between perturbation risk bounds and incomplete multi-view clustering. That is, as the similarity matrix fed into spectral clustering is a quantity bounded in magnitude O(1), we transfer the missing problem from data to similarity and tailor a matrix completion method for incomplete similarity matrix. Moreover, we show that the minimization of perturbation risk bounds among different views maximizes the final fusion result across all views. This provides a solid fusion criteria for multi-view data. We motivate and propose a Perturbation-oriented Incomplete multi-view Clustering (PIC) method. Experimental results demonstrate the effectiveness of the proposed method.


title: On the space of initial values strictly satisfying the dominant energy condition

abstract: The dominant energy condition imposes a restriction on initial value pairs found on a spacelike hypersurface of a Lorentzian manifold. In this article, we study the space of initial values that satisfy this condition strictly. To this aim, we introduce an index difference for initial value pairs and compare it to its classical counterpart for Riemannian metrics. Recent non-triviality results for the latter will then imply that this space has non-trivial homotopy groups.


title: Random sequential adsorption of particles with tetrahedral symmetry

abstract: We study random sequential adsorption (RSA) of a class of solids that can be obtained from a cube by specific cutting of its vertices, in order to find out how the transition from tetrahedral to octahedral symmetry affects the densities of the resulting jammed packings. We find that in general solids of octahedral symmetry form less dense packing, however, the lowest density was obtained for the packing build of tetrahedra. The densest packing is formed by a solid close to a tetrahedron but with vertices and edges slightly cut. Its density is $\theta_{max} = 0.41278 \pm 0.00059$ and is higher than the mean packing fraction of spheres or cuboids but is lower than one for the densest RSA packings built of ellipsoids or spherocylinders. The density autocorrelation function of the studied packings is typical as for random media and vanishes very fast with distance.


title: Testing that a Local Optimum of the Likelihood is Globally Optimum using Reparameterized Embeddings

abstract: Many mathematical imaging problems are posed as non-convex optimization problems. When numerically tractable global optimization procedures are not available, one is often interested in testing ex post facto whether or not a locally convergent algorithm has found the globally optimal solution. When the problem is formulated in terms of maximizing the likelihood function under a statistical model for the measurements, one can construct a statistical test that a local maximum is in fact the global maximum. A one-sided test is proposed for the case that the statistical model is a member of the generalized location family of probability distributions, a condition often satisfied in imaging and other inverse problems. We propose a general method for improving the accuracy of the test by reparameterizing the likelihood function to embed its domain into a higher dimensional parameter space. We show that the proposed global maximum testing method results in improved accuracy and reduced computation for a physically-motivated joint-inverse problem arising in camera-blur estimation.


title: A Multi-Resolution 3D-DenseNet for Chemical Shift Prediction in NMR Crystallography

abstract: We have developed a deep learning algorithm for chemical shift prediction for atoms in molecular crystals that utilizes an atom-centered Gaussian density model for the 3D data representation of a molecule. We define multiple channels that describe different spatial resolutions for each atom type that utilizes cropping, pooling, and concatenation to create a multi-resolution 3D-DenseNet architecture (MR-3D-DenseNet). Because the training and testing time scale linearly with the number of samples, the MR-3D-DenseNet can exploit data augmentation that takes into account the property of rotational invariance of the chemical shifts, thereby also increasing the size of the training dataset by an order of magnitude without additional cost. We obtain very good agreement for 13C, 15N, and 17O chemical shifts, with the highest accuracy found for 1H chemical shifts that is equivalent to the best predictions using ab initio quantum chemistry methods.


title: Hankel Continued fractions and Hankel determinants of the Euler numbers

abstract: The Euler numbers occur in the Taylor expansion of $\tan(x)+\sec(x)$. Since Stieltjes, continued fractions and Hankel determinants of the even Euler numbers, on the one hand, of the odd Euler numbers, on the other hand, have been widely studied separately. However, no Hankel determinants of the (mixed) Euler numbers have been obtained and explicitly calculated. The reason for that is that some Hankel determinants of the Euler numbers are null. This implies that the Jacobi continued fraction of the Euler numbers does not exist. In the present paper, this obstacle is bypassed by using the Hankel continued fraction, instead of the $J$-fraction. Consequently, an explicit formula for the Hankel determinants of the Euler numbers is being derived, as well as a full list of Hankel continued fractions and Hankel determinants involving Euler numbers. Finally, a new $q$-analog of the Euler numbers $E_n(q)$ based on our continued fraction is proposed. We obtain an explicit formula for $E_n(-1)$ and prove a conjecture by R. J. Mathar on these numbers.


title: Ultranarrow linewidth photonic-atomic laser

abstract: Lasers with high spectral purity can enable a diverse application space, including precision spectroscopy, coherent high-speed communications, physical sensing, and manipulation of quantum systems. Already, meticulous design and construction of bench Fabry-Perot cavities has made possible dramatic achievements in active laser-linewidth reduction, predominantly for optical-atomic clocks. Yet there is increasing demand for miniaturized laser systems operating with high performance in ambient environments. Here, we report a compact and robust photonic-atomic laser comprising a 2.5 cm long, 20,000 finesse, monolithic Fabry-Perot cavity integrated with a micromachined rubidium vapor cell. By leveraging the short-time frequency stability of the cavity and the long-time frequency stability of atoms, we realize an ultranarrow-linewidth laser that enables integration for extended measurements. Specifically, our laser supports a fractional-frequency stability of $1\times 10^{-13}$ at an averaging time of 20 ms, $7 \times 10^{-13}$ at 300 s, an integrated linewidth of 25 Hz that results from thermal noise, a Lorentzian linewidth as low as 0.06 Hz$^2$/Hz, and a passive vibration immunity as low as $10^{-10}$/g. Our work explores hybrid laser systems with monolithic photonic and atomic packages based on physical design.


title: A Lipschitz Matrix for Parameter Reduction in Computational Science

abstract: We introduce the Lipschitz matrix: a generalization of the scalar Lipschitz constant for functions with many inputs. Among the Lipschitz matrices compatible a particular function, we choose the smallest such matrix in the Frobenius norm to encode the structure of this function. The Lipschitz matrix then provides a function-dependent metric on the input space. Altering this metric to reflect a particular function improves the performance of many tasks in computational science. Compared to the Lipschitz constant, the Lipschitz matrix reduces the worst-case cost of approximation, integration, and optimization; if the Lipschitz matrix is low-rank, this cost no longer depends on the dimension of the input, but instead on the rank of the Lipschitz matrix defeating the curse of dimensionality. Both the Lipschitz constant and matrix define uncertainty away from point queries of the function and by using the Lipschitz matrix we can reduce uncertainty. If we build a minimax space-filling design of experiments in the Lipschitz matrix metric, we can further reduce this uncertainty. When the Lipschitz matrix is approximately low-rank, we can perform parameter reduction by constructing a ridge approximation whose active subspace is the span of the dominant eigenvectors of the Lipschitz matrix. In summary, the Lipschitz matrix provides a new tool for analyzing and performing parameter reduction in complex models arising in computational science.


title: Frieze varieties are invariant under Coxeter mutation

abstract: We define a generalized version of the frieze variety introduced by Lee, Li, Mills, Seceleanu and the second author. The generalized frieze variety is an algebraic variety determined by an acyclic quiver and a generic specialization of cluster variables in the cluster algebra for this quiver. The original frieze variety is obtained when this specialization is (1, . . . , 1). The main result is that a generalized frieze variety is determined by any generic element of any component of that variety. We also show that the "Coxeter mutation" cyclically permutes these components. In particular, this shows that the frieze variety is invariant under the Coxeter mutation at a generic point. The paper contains many examples which are generated using a new technique which we call an invariant Laurent polynomial. We show that a symmetry of a mutation of a quiver gives such an invariant rational function.


title: Out of Sight But Not Out of Mind: An Answer Set Programming Based Online Abduction Framework for Visual Sensemaking in Autonomous Driving

abstract: We demonstrate the need and potential of systematically integrated vision and semantics} solutions for visual sensemaking (in the backdrop of autonomous driving). A general method for online visual sensemaking using answer set programming is systematically formalised and fully implemented. The method integrates state of the art in (deep learning based) visual computing, and is developed as a modular framework usable within hybrid architectures for perception & control. We evaluate and demo with community established benchmarks KITTIMOD and MOT. As use-case, we focus on the significance of human-centred visual sensemaking ---e.g., semantic representation and explainability, question-answering, commonsense interpolation--- in safety-critical autonomous driving situations.


title: ActiveHARNet: Towards On-Device Deep Bayesian Active Learning for Human Activity Recognition

abstract: Various health-care applications such as assisted living, fall detection etc., require modeling of user behavior through Human Activity Recognition (HAR). HAR using mobile- and wearable-based deep learning algorithms have been on the rise owing to the advancements in pervasive computing. However, there are two other challenges that need to be addressed: first, the deep learning model should support on-device incremental training (model updation) from real-time incoming data points to learn user behavior over time, while also being resource-friendly; second, a suitable ground truthing technique (like Active Learning) should help establish labels on-the-fly while also selecting only the most informative data points to query from an oracle. Hence, in this paper, we propose ActiveHARNet, a resource-efficient deep ensembled model which supports on-device Incremental Learning and inference, with capabilities to represent model uncertainties through approximations in Bayesian Neural Networks using dropout. This is combined with suitable acquisition functions for active learning. Empirical results on two publicly available wrist-worn HAR and fall detection datasets indicate that ActiveHARNet achieves considerable efficiency boost during inference across different users, with a substantially low number of acquired pool points (at least 60% reduction) during incremental learning on both datasets experimented with various acquisition functions, thus demonstrating deployment and Incremental Learning feasibility.


title: Clustering of entanglement points in highly strained polymer melts

abstract: Polymer melts undergoing large deformation by uniaxial elongation are studied by molecular dynamics simulations of bead-spring chains in melts. Applying a primitive path analysis to strongly deformed polymer melts, the role of topological constrains in highly entangled polymer melts is investigated and quantified. We show that the over-all, large scale conformations of the primitive paths (PPs) of stretched chains follow affine deformation while the number and the distribution of entanglement points along the PPs do not. Right after deformation, PPs of chains retract in both directions parallel and perpendicular to the elongation. Upon further relaxation we observe a long-lived clustering of entanglement points. Together with the delayed relaxation time this leads to a metastable inhomogeneous distribution of topological constraints in the melts.


title: The Evolutionary Price of Anarchy: Locally Bounded Agents in a Dynamic Virus Game

abstract: The Price of Anarchy (PoA) is a well-established game-theoretic concept to shed light on coordination issues arising in open distributed systems. Leaving agents to selfishly optimize comes with the risk of ending up in sub-optimal states (in terms of performance and/or costs), compared to a centralized system design. However, the PoA relies on strong assumptions about agents' rationality (e.g., resources and information) and interactions, whereas in many distributed systems agents interact locally with bounded resources. They do so repeatedly over time (in contrast to "one-shot games"), and their strategies may evolve. Using a more realistic evolutionary game model, this paper introduces a realized evolutionary Price of Anarchy (ePoA). The ePoA allows an exploration of equilibrium selection in dynamic distributed systems with multiple equilibria, based on local interactions of simple memoryless agents. Considering a fundamental game related to virus propagation on networks, we present analytical bounds on the ePoA in basic network topologies and for different strategy update dynamics. In particular, deriving stationary distributions of the stochastic evolutionary process, we find that the Nash equilibria are not always the most abundant states, and that different processes can feature significant off-equilibrium behavior, leading to a significantly higher ePoA compared to the PoA studied traditionally in the literature.


title: Constraint of the MINERvA Medium Energy Neutrino Flux using Neutrino-Electron Elastic Scattering

abstract: Elastic neutrino scattering on electrons is a precisely-known purely leptonic process that provides a standard candle for measuring neutrino flux in conventional neutrino beams. Using a total sample of 810 neutino-electron scatters after background subtraction, the measurement reduces the normalization uncertainty on the muon neutrino NuMI flux between 2 and 20 GeV from 7.5% to 3.9%. This is the most precise measurement of neutrino-electron scattering to date, will reduce uncertainties on MINERvA's absolute cross section measurements, and demonstrates a technique that can be used in future neutrino beams such as LBNF.


title: Emotional Embeddings: Refining Word Embeddings to Capture Emotional Content of Words

abstract: Word embeddings are one of the most useful tools in any modern natural language processing expert's toolkit. They contain various types of information about each word which makes them the best way to represent the terms in any NLP task. But there are some types of information that cannot be learned by these models. Emotional information of words are one of those. In this paper, we present an approach to incorporate emotional information of words into these models. We accomplish this by adding a secondary training stage which uses an emotional lexicon and a psychological model of basic emotions. We show that fitting an emotional model into pre-trained word vectors can increase the performance of these models in emotional similarity metrics. Retrained models perform better than their original counterparts from 13% improvement for Word2Vec model, to 29% for GloVe vectors. This is the first such model presented in the literature, and although preliminary, these emotion sensitive models can open the way to increase performance in variety of emotion detection techniques.


title: Runaways and shells around the CMa OB1 association

abstract: The origin of the arc-shaped Sh2-296 nebula is still unclear. Mainly due to its morphology, the nebula has been suggested to be a 0.5 Myr-old supernova remnant (SNR) that could be inducing star formation in the CMa OB1 association. We aim to show, for the first time, that the nebula is part of a large, shell-like structure, which we have designated the ``CMa shell'', enclosing a bubble created by successive supernova (SN) explosions. We identified three runaway stars, associated with bow-shock structures, in the direction of the CMa shell and we investigate the possibility that they have originated in the center of the shell. By analyzing images of the CMa OB1 association at several wavelengths, we clearly see that the Sh2-296 nebula is in fact part of a large structure, which can be approximated by a large (with a diameter of ~60 pc) elliptical shell. Using the recent Gaia-DR2 astrometric data, we trace back the path of the three runaway stars, in order to find their original position in the past, with relation to the CMa shell. We also revise the heating and ionization of the Sh2-296 nebula, by comparing the photon budget provided by the O stars in the region with results from radio observations. We find that the runaway stars have likely been ejected from a Trapezium-like progenitor cluster on three successive SN explosions having taken place ~6, ~2 and ~1 Myr ago. We also show that the few late-type O stars in the region cannot explain the ionization of the Sh~2-296 nebula and other mechanisms need to be at work. We argue that, though we now have evidence for several SNe events in the CMa OB1 association, the SNe probably played a minor role in triggering star formation in these clouds. In contrast, the CMa OB1 association, as it is now, likely testifies to the last stages of a star-forming region.


title: Examining Structure of Word Embeddings with PCA

abstract: In this paper we compare structure of Czech word embeddings for English-Czech neural machine translation (NMT), word2vec and sentiment analysis. We show that although it is possible to successfully predict part of speech (POS) tags from word embeddings of word2vec and various translation models, not all of the embedding spaces show the same structure. The information about POS is present in word2vec embeddings, but the high degree of organization by POS in the NMT decoder suggests that this information is more important for machine translation and therefore the NMT model represents it in more direct way. Our method is based on correlation of principal component analysis (PCA) dimensions with categorical linguistic data. We also show that further examining histograms of classes along the principal component is important to understand the structure of representation of information in embeddings.


title: Leveraging Electron-Phonon Interaction to Enhance Thermoelectric Power Factor in Graphene-Like Semimetals

abstract: Electron-phonon interaction (EPI) is presumably detrimental for thermoelectric performance in semiconductors because it limits carrier mobility. Here we show that enhanced EPI with strong energy dependence offers an intrinsic pathway to significant increase in the Seebeck coefficient and the thermoelectric power factor, particularly in the context of two-dimensional (2D) graphene-like Dirac bands. The increase is realized by enabling electron energy filtering through preferential scattering of electron/hole carriers. We prove this concept by implementing state-of-the-art first-principles computational methods with explicit treatment of EPI for a 2D gapless MoS$_{2}$ allotrope, which has both massless Dirac bands and a heavy-fermion state that acts as the filter. We determine that the optimal location of the heavy state and hence the onset of the filtering process is at the Dirac point. Our study opens a new avenue for attaining ultrahigh power factors via engineering the EPI in graphene-like semimetals or identifying new compounds that intrinsically possess the featured electronic structure.


title: Kernel Mean Embedding Based Hypothesis Tests for Comparing Spatial Point Patterns

abstract: This paper introduces an approach for detecting differences in the first-order structures of spatial point patterns. The proposed approach leverages the kernel mean embedding in a novel way by introducing its approximate version tailored to spatial point processes. While the original embedding is infinite-dimensional and implicit, our approximate embedding is finite-dimensional and comes with explicit closed-form formulas. With its help we reduce the pattern comparison problem to the comparison of means in the Euclidean space. Hypothesis testing is based on conducting t-tests on each dimension of the embedding and combining the resulting p-values using one of the recently introduced p-value combination techniques. If desired, corresponding Bayes factors can be computed and averaged over all tests to quantify the evidence against the null. The main advantages of the proposed approach are that it can be applied to both single and replicated pattern comparisons and that neither bootstrap nor permutation procedures are needed to obtain or calibrate the p-values. Our experiments show that the resulting tests are powerful and the p-values are well-calibrated; two applications to real world data are presented.


title: Model Agnostic Contrastive Explanations for Structured Data

abstract: Recently, a method [7] was proposed to generate contrastive explanations for differentiable models such as deep neural networks, where one has complete access to the model. In this work, we propose a method, Model Agnostic Contrastive Explanations Method (MACEM), to generate contrastive explanations for \emph{any} classification model where one is able to \emph{only} query the class probabilities for a desired input. This allows us to generate contrastive explanations for not only neural networks, but models such as random forests, boosted trees and even arbitrary ensembles that are still amongst the state-of-the-art when learning on structured data [13]. Moreover, to obtain meaningful explanations we propose a principled approach to handle real and categorical features leading to novel formulations for computing pertinent positives and negatives that form the essence of a contrastive explanation. A detailed treatment of the different data types of this nature was not performed in the previous work, which assumed all features to be positive real valued with zero being indicative of the least interesting value. We part with this strong implicit assumption and generalize these methods so as to be applicable across a much wider range of problem settings. We quantitatively and qualitatively validate our approach over 5 public datasets covering diverse domains.


title: A Universal HKR Theorem

abstract: In this work we study the failure of the HKR theorem over rings of positive and mixed characteristic. For this we construct a filtered circle interpolating between the usual topological circle and a formal version of it. By mapping to schemes we produce this way an interpolation, realized in practice by the existence of a natural filtration, from Hochschild and (a filtered version of) cyclic homology to derived de Rham cohomology. In particular, we show that this recovers the filtration of Antieau and Bhatt-Morrow-Scholze. The construction of our filtered circle is based on the theory of affine stacks and affinization introduced by the third author, together with some facts about schemes of Witt vectors.


title: Gluing vertex algebras

abstract: We relate commutative algebras in braided tensor categories to braid-reversed tensor equivalences, motivated by vertex algebra representation theory. First, for $\mathcal{C}$ a braided tensor category, we give a detailed construction of the canonical algebra in $\mathcal{C}\boxtimes\mathcal{C}^\text{rev}$: if $\mathcal{C}$ is semisimple but not necessarily finite or rigid, then $\bigoplus_{X\in\text{Irr}(\mathcal{C})}X'\boxtimes X$ is a commutative algebra, with $X'$ a representing object for $\text{Hom}_\mathcal{C}(\bullet\otimes_\mathcal{C}X,\mathbf{1}_{\mathcal{C}})$. Conversely, let $A=\bigoplus_{i\in I}U_i\boxtimes V_i$ be a simple commutative algebra in $\mathcal{U}\boxtimes\mathcal{V}$ with $\mathcal{U}$ semisimple and rigid but not necessarily finite, and $\mathcal{V}$ rigid but not necessarily semisimple. If the unit objects of $\mathcal{U}$ and $\mathcal{V}$ form a commuting pair in $A$, we show there is a braid-reversed equivalence between subcategories of $\mathcal{U}$ and $\mathcal{V}$ sending $U_i$ to $V_i^*$. When $\mathcal{U}$ and $\mathcal{V}$ are module categories for simple vertex operator algebras $U$ and $V$, we glue $U$ and $V$ along $\mathcal{U}\boxtimes\mathcal{V}$ via a map $\tau:\text{Irr}(\mathcal{U})\rightarrow\text{Obj}(\mathcal{V})$ such that $\tau(U)=V$ to create $A=\bigoplus_{X\in\text{Irr}(\mathcal{U})}X'\otimes\tau(X)$. Thus under certain conditions, $\tau$ extends to a braid-reversed equivalence between $\mathcal{U}$ and $\mathcal{V}$ if and only if $A$ is a simple conformal vertex algebra extending $U\otimes V$. As examples, we glue Kazhdan-Lusztig categories at generic levels to obtain new vertex algebras extending the tensor product of two affine vertex algebras, and we prove braid-reversed equivalences between certain module categories for affine vertex algebras and $W$-algebras at admissible levels.


title: Consensus Clustering: An Embedding Perspective, Extension and Beyond

abstract: Consensus clustering fuses diverse basic partitions (i.e., clustering results obtained from conventional clustering methods) into an integrated one, which has attracted increasing attention in both academic and industrial areas due to its robust and effective performance. Tremendous research efforts have been made to thrive this domain in terms of algorithms and applications. Although there are some survey papers to summarize the existing literature, they neglect to explore the underlying connection among different categories. Differently, in this paper we aim to provide an embedding prospective to illustrate the consensus mechanism, which transfers categorical basic partitions to other representations (e.g., binary coding, spectral embedding, etc) for the clustering purpose. To this end, we not only unify two major categories of consensus clustering, but also build an intuitive connection between consensus clustering and graph embedding. Moreover, we elaborate several extensions of classical consensus clustering from different settings and problems. Beyond this, we demonstrate how to leverage consensus clustering to address other tasks, such as constrained clustering, domain adaptation, feature selection, and outlier detection. Finally, we conclude this survey with future work in terms of interpretability, learnability and theoretical analysis.


title: Graph WaveNet for Deep Spatial-Temporal Graph Modeling

abstract: Spatial-temporal graph modeling is an important task to analyze the spatial relations and temporal trends of components in a system. Existing approaches mostly capture the spatial dependency on a fixed graph structure, assuming that the underlying relation between entities is pre-determined. However, the explicit graph structure (relation) does not necessarily reflect the true dependency and genuine relation may be missing due to the incomplete connections in the data. Furthermore, existing methods are ineffective to capture the temporal trends as the RNNs or CNNs employed in these methods cannot capture long-range temporal sequences. To overcome these limitations, we propose in this paper a novel graph neural network architecture, Graph WaveNet, for spatial-temporal graph modeling. By developing a novel adaptive dependency matrix and learn it through node embedding, our model can precisely capture the hidden spatial dependency in the data. With a stacked dilated 1D convolution component whose receptive field grows exponentially as the number of layers increases, Graph WaveNet is able to handle very long sequences. These two components are integrated seamlessly in a unified framework and the whole framework is learned in an end-to-end manner. Experimental results on two public traffic network datasets, METR-LA and PEMS-BAY, demonstrate the superior performance of our algorithm.


title: Generalising the Wallis Product

abstract: In 1655, John Wallis whilst at the University of Oxford discovered the famous and beautiful formula for pi, now known as Wallis' Product. Since then, several analogous formulae have been discovered generalising the original. One more modern proof of the Wallis Product and its relatives directly uses the Gamma Function. This short paper will use similar techniques to understand certain related classes of infinite products. Almost all results within this paper are new findings made by myself; when I should be revising or completing assignment work I find myself always going back to this.


title: Realization of nonlinear optical nonreciprocity on a few-photon level based on atoms strongly coupled to an asymmetric cavity

abstract: Optical nonreciprocity is important in photonic information processing to route the optical signal or prevent the reverse flow of noise. By adopting the strong nonlinearity associated with a few atoms in a strongly coupled cavity QED system and an asymmetric cavity configuration, we experimentally demonstrate the nonreciprocal transmission between two counterpropagating light fields with extremely low power. This nonreciprocity can even occur on a few-photon level due to the high optical nonlinearity of the system. The working power can be flexibly tuned by changing the effective number of atoms strongly coupled to the cavity. The idea and result can be applied to optical chips as optical diodes by using fiber-based cavity QED systems. Our work opens up new perspectives for realizing optical nonreciprocity on a few-photon level based on the nonlinearities of atoms strongly coupled to an optical cavity.


title: Learning Patterns in Sample Distributions for Monte Carlo Variance Reduction

abstract: This paper investigates a novel a-posteriori variance reduction approach in Monte Carlo image synthesis. Unlike most established methods based on lateral filtering in the image space, our proposition is to produce the best possible estimate for each pixel separately, from all the samples drawn for it. To enable this, we systematically study the per-pixel sample distributions for diverse scene configurations. Noting that these are too complex to be characterized by standard statistical distributions (e.g. Gaussians), we identify patterns recurring in them and exploit those for training a variance-reduction model based on neural nets. In result, we obtain numerically better estimates compared to simple averaging of samples. This method is compatible with existing image-space denoising methods, as the improved estimates of our model can be used for further processing. We conclude by discussing how the proposed model could in future be extended for fully progressive rendering with constant memory footprint and scene-sensitive output.


title: Making Birth-Death Processes from Backward Fokker-Planck Equations for Computing Expectations in Langevin Systems

abstract: A method to direct evaluation of expectations for Langevin systems (stochastic differential equations) is proposed. The method is based on a birth-death process which is derived using combinations of dummy variables and It{\^o} formula. As a pedagogical example, a double-well system and expectations for sigmoid-type functions are used. It is shown that the proposed method has some merits from computational point of view; only one time-integration for the birth-death process gives expectations for various initial conditions in the original Langevin systems. Furthermore, the same time-integration result is available for computing various center positions of the sigmoid-type functions.


title: Estimation of distributions via multilevel Monte Carlo with stratified sampling

abstract: We design and implement a novel algorithm for computing a multilevel Monte Carlo (MLMC) estimator of the cumulative distribution function of a quantity of interest in problems with random input parameters or initial conditions. Our approach combines a standard MLMC method with stratified sampling by replacing standard Monte Carlo at each level with stratified Monte Carlo with proportional allocation. We show that the resulting stratified MLMC algorithm is more efficient than its standard MLMC counterpart, due to the reduction in variance at each level provided by the stratification of the random parameter's domain. A smoothing approximation for the indicator function based on kernel density estimation yields a more efficient algorithm compared to the typically used polynomial smoothing. The difference in computational cost between the smoothing methods depends on the required error tolerance.


title: Multi-objective Bayesian Optimization using Pareto-frontier Entropy

abstract: This paper studies an entropy-based multi-objective Bayesian optimization (MBO). The entropy search is successful approach to Bayesian optimization. However, for MBO, existing entropy-based methods ignore trade-off among objectives or introduce unreliable approximations. We propose a novel entropy-based MBO called Pareto-frontier entropy search (PFES) by considering the entropy of Pareto-frontier, which is an essential notion of the optimality of the multi-objective problem. Our entropy can incorporate the trade-off relation of the optimal values, and further, we derive an analytical formula without introducing additional approximations or simplifications to the standard entropy search setting. We also show that our entropy computation is practically feasible by using a recursive decomposition technique which has been known in studies of the Pareto hyper-volume computation. Besides the usual MBO setting, in which all the objectives are simultaneously observed, we also consider the "decoupled" setting, in which the objective functions can be observed separately. PFES can easily adapt to the decoupled setting by considering the entropy of the marginal density for each output dimension. This approach incorporates dependency among objectives conditioned on Pareto-frontier, which is ignored by the existing method. Our numerical experiments show effectiveness of PFES through several benchmark datasets.


title: Achieving Fairness in Determining Medicaid Eligibility through Fairgroup Construction

abstract: Effective complements to human judgment, artificial intelligence techniques have started to aid human decisions in complicated social problems across the world. In the context of United States for instance, automated ML/DL classification models offer complements to human decisions in determining Medicaid eligibility. However, given the limitations in ML/DL model design, these algorithms may fail to leverage various factors for decision making, resulting in improper decisions that allocate resources to individuals who may not be in the most need. In view of such an issue, we propose in this paper the method of \textit{fairgroup construction}, based on the legal doctrine of \textit{disparate impact}, to improve the fairness of regressive classifiers. Experiments on American Community Survey dataset demonstrate that our method could be easily adapted to a variety of regressive classification models to boost their fairness in deciding Medicaid Eligibility, while maintaining high levels of classification accuracy.


title: Encouraging Equitable Bikeshare: Implications of Docked and Dockless Models for Spatial Equity

abstract: The last decade has seen a rapid rise in the number of bikeshare programs, where bikes are made available throughout a community on an as-needed basis. Given that many of these programs are at least partially publicly funded, a central concern of operators and investors is whether these systems operate equitably. Though spatial equity has been well-studied under the docked model, where bikes are picked up and dropped off at prespecified docking stations, there has been little work examining that of the increasingly popular dockless model, where bikes can be picked up and dropped off from anywhere within an operating area. We explore comparative equity in spatial access to bikeshare services under these two models by collecting spatial data on 45,935 bikes from 73 bikeshare systems using a novel querying approach (with generalizable and freely available source code), and joining this data with newly-available sociodemographic data at the census tract level. Using Poisson count regression, we perform the first comparative analysis of the two docking approaches, finding that dockless systems operate more equitably than docked systems by education, but do not differ in spatial access by socioeconomic class.


title: Learning the optimally coordinated routes from the statistical mechanics of polymers

abstract: Many major cities suffer from severe traffic congestion. Road expansion in the cites is usually infeasible, and an alternative way to alleviate traffic congestion is to coordinate the route of vehicles. Various path selection and planning algorithms are thus proposed, but most existing methods only plan paths separately and provide un-coordinated solutions. Recently, an analogy between the coordination of vehicular routes and the interaction of polymers is drawn; the spin glass theory in statistical physics is employed to optimally coordinate transportation routes. To further examine the advantages brought by path coordination, we incorporate the link congestion function developed by the Bureau of Public Roads (BPR) into the polymer routing algorithm. We then estimate in simulations the traveling time of all users saved by the polymer-BPR algorithm in randomly generated networks and real transportation networks in major cities including London, New York and Beijing. We found that a large amount of traveling time is saved in all studied networks, suggesting that the approach inspired by polymer physics is effective in minimizing the traveling time via path coordination, which is a promising tool for alleviating traffic congestions.


title: Decision-Making in Reinforcement Learning

abstract: In this research work, probabilistic decision-making approaches are studied, e.g. Bayesian and Boltzmann strategies, along with various deterministic exploration strategies, e.g. greedy, epsilon-Greedy and random approaches. In this research work, a comparative study has been done between probabilistic and deterministic decision-making approaches, the experiments are performed in OpenAI gym environment, solving Cart Pole problem. This research work discusses about the Bayesian approach to decision-making in deep reinforcement learning, and about dropout, how it can reduce the computational cost. All the exploration approaches are compared. It also discusses about the importance of exploration in deep reinforcement learning, and how improving exploration strategies may help in science and technology. This research work shows how probabilistic decision-making approaches are better in the long run as compared to the deterministic approaches. When there is uncertainty, Bayesian dropout approach proved to be better than all other approaches in this research work.


title: Lower Bounds for Small Ramsey Numbers on Hypergraphs

abstract: The Ramsey number $r_k(p, q)$ is the smallest integer $N$ that satisfies for every red-blue coloring on $k$-subsets of $[N]$, there exist $p$ integers such that any $k$-subset of them is red, or $q$ integers such that any $k$-subset of them is blue. In this paper, we study the lower bounds for small Ramsey numbers on hypergraphs by constructing counter-examples and recurrence relations. We present a new algorithm to prove lower bounds for $r_k(k+1, k+1)$. In particular, our algorithm is able to prove $r_5(6,6) \ge 72$, where there is only trivial lower bound on $5$-hypergraphs before this work. We also provide several recurrence relations to calculate lower bounds based on lower bound values on smaller $p$ and $q$. Combining both of them, we achieve new lower bounds for $r_k(p, q)$ on arbitrary $p$, $q$, and $k \ge 4$.


title: ArcticNet: A Deep Learning Solution to Classify Arctic Wetlands

abstract: Arctic environments are rapidly changing under the warming climate. Of particular interest are wetlands, a type of ecosystem that constitutes the most effective terrestrial long-term carbon store. As permafrost thaws, the carbon that was locked in these wetland soils for millennia becomes available for aerobic and anaerobic decomposition, which releases CO2 and CH4, respectively, back to the atmosphere.As CO2 and CH4 are potent greenhouse gases, this transfer of carbon from the land to the atmosphere further contributes to global warming, thereby increasing the rate of permafrost degradation in a positive feedback loop. Therefore, monitoring Arctic wetland health and dynamics is a key scientific task that is also of importance for policy. However, the identification and delineation of these important wetland ecosystems, remain incomplete and often inaccurate. Mapping the extent of Arctic wetlands remains a challenge for the scientific community. Conventional, coarser remote sensing methods are inadequate at distinguishing the diverse and micro-topographically complex non-vascular vegetation that characterize Arctic wetlands, presenting the need for better identification methods. To tackle this challenging problem, we constructed and annotated the first-of-its-kind Arctic Wetland Dataset (AWD). Based on that, we present ArcticNet, a deep neural network that exploits the multi-spectral, high-resolution imagery captured from nanosatellites (Planet Dove CubeSats) with additional DEM from the ArcticDEM project, to semantically label a Arctic study area into six types, in which three Arctic wetland functional types are included. We present multi-fold efforts to handle the arising challenges, including class imbalance, and the choice of fusion strategies. Preliminary results endorse the high promise of ArcticNet, achieving 93.12% in labelling a hold-out set of regions in our Arctic study area.


title: Three-Dimensional Mirror Self-Symmetry of the Cotangent Bundle of the Full Flag Variety

abstract: Let $X$ be a holomorphic symplectic variety with a torus $\mathsf{T}$ action and a finite fixed point set of cardinality $k$. We assume that elliptic stable envelope exists for $X$. Let $A_{I,J}= \operatorname{Stab}(J)|_{I}$ be the $k\times k$ matrix of restrictions of the elliptic stable envelopes of $X$ to the fixed points. The entries of this matrix are theta-functions of two groups of variables: the K\"ahler parameters and equivariant parameters of $X$. We say that two such varieties $X$ and $X'$ are related by the 3d mirror symmetry if the fixed point sets of $X$ and $X'$ have the same cardinality and can be identified so that the restriction matrix of $X$ becomes equal to the restriction matrix of $X'$ after transposition and interchanging the equivariant and K\"ahler parameters of $X$, respectively, with the K\"ahler and equivariant parameters of $X'$. The first examples of pairs of 3d symmetric varieties were constructed in [Rim\'anyi R., Smirnov A., Varchenko A., Zhou Z., arXiv:1902.03677], where the cotangent bundle $T^*\operatorname{Gr}(k,n)$ to a Grassmannian is proved to be a 3d mirror to a Nakajima quiver variety of $A_{n-1}$-type. In this paper we prove that the cotangent bundle of the full flag variety is 3d mirror self-symmetric. That statement in particular leads to nontrivial theta-function identities.


title: Properties of Partial Dominating Sets of Graphs

abstract: A set $S\subseteq V$ is a dominating set of $G$ if every vertex in $V - S$ is adjacent to at least one vertex in $S$. The domination number $\gamma(G)$ of $G$ equals the minimum cardinality of a dominating set $S$ in $G$; we say that such a set $S$ is a $\gamma$-set. A generalization of this is partial domination which was introduced in 2017 by Case, Hedetniemi, Laskar, and Lipman [3,2] . In partial domination a set $S$ is a $p$-dominating set if it dominates a proportion $p$ of the vertices in $V$. The p-domination number $\gamma_{p}(G)$ is the minimum cardinality of a $p$-dominating set in $G$. In this paper, we investigate further properties of partial dominating sets, particularly ones related to graph products and locating partial dominating sets. We also introduce the concept of a $p$-influencing set as the union of all $p$-dominating sets for a fixed $p$ and investigate some of its properties.


title: Analysis of Obstacle based Probabilistic RoadMap Method using Geometric Probability

abstract: Sampling based planners have been successful in robot motion planning, with many degrees of freedom, but still remain ineffective in the presence of narrow passages within the configuration space. There exist several heuristics, which generate samples in the critical regions and improve the efficiency of probabilistic roadmap planners. In this paper, we present an evaluation of success probability of one such heuristic method, called obstacle based probabilistic roadmap planners or OBPRM, using geometric probability theory. The result indicates that the probability of success of generating free sample points around the surface of the $n$ dimensional configuration space obstacle is directly proportional to the surface area of the obstacles.


title: Knowledge Hypergraphs: Prediction Beyond Binary Relations

abstract: Knowledge graphs store facts using relations between two entities. In this work, we address the question of link prediction in knowledge hypergraphs where relations are defined on any number of entities. While techniques exist (such as reification) that convert non-binary relations into binary ones, we show that current embedding-based methods for knowledge graph completion do not work well out of the box for knowledge graphs obtained through these techniques. To overcome this, we introduce HSimplE and HypE, two embedding-based methods that work directly with knowledge hypergraphs. In both models, the prediction is a function of the relation embedding, the entity embeddings and their corresponding positions in the relation. We also develop public datasets, benchmarks and baselines for hypergraph prediction and show experimentally that the proposed models are more effective than the baselines.