Showing 1–50 of 79 results for author: K, H

Narrow Transformer: Starcoder-Based Java-LM For Desktop

Authors: Kamalkumar Rathinasamy, Balaji A J, Ankush Kumar, Gagan Gayari, Harshini K, Rajab Ali Mondal, Sreenivasa Raghavan K S, Swayam Singh

Abstract: This paper presents NT-Java-1.1B, an open-source specialized code language model built on StarCoderBase-1.1B, designed for coding tasks in Java programming. NT-Java-1.1B achieves state-of-the-art performance, surpassing its base model and majority of other models of similar size on MultiPL-E Java code benchmark. While there have been studies on extending large, generic pre-trained models to improv… ▽ More This paper presents NT-Java-1.1B, an open-source specialized code language model built on StarCoderBase-1.1B, designed for coding tasks in Java programming. NT-Java-1.1B achieves state-of-the-art performance, surpassing its base model and majority of other models of similar size on MultiPL-E Java code benchmark. While there have been studies on extending large, generic pre-trained models to improve proficiency in specific programming languages like Python, similar investigations on small code models for other programming languages are lacking. Large code models require specialized hardware like GPUs for inference, highlighting the need for research into building small code models that can be deployed on developer desktops. This paper addresses this research gap by focusing on the development of a small Java code model, NT-Java-1.1B, and its quantized versions, which performs comparably to open models around 1.1B on MultiPL-E Java code benchmarks, making them ideal for desktop deployment. This paper establishes the foundation for specialized models across languages and sizes for a family of NT Models. △ Less

Submitted 4 July, 2024; originally announced July 2024.

ACM Class: I.2.7

EnterpriseEM: Fine-tuned Embeddings for Enterprise Semantic Search

Authors: Kamalkumar Rathinasamy, Jayarama Nettar, Amit Kumar, Vishal Manchanda, Arun Vijayakumar, Ayush Kataria, Venkateshprasanna Manjunath, Chidambaram GS, Jaskirat Singh Sodhi, Shoeb Shaikh, Wasim Akhtar Khan, Prashant Singh, Tanishq Dattatray Ige, Vipin Tiwari, Rajab Ali Mondal, Harshini K, S Reka, Chetana Amancharla, Faiz ur Rahman, Harikrishnan P A, Indraneel Saha, Bhavya Tiwary, Navin Shankar Patel, Pradeep T S, Balaji A J , et al. (2 additional authors not shown)

Abstract: Enterprises grapple with the significant challenge of managing proprietary unstructured data, hindering efficient information retrieval. This has led to the emergence of AI-driven information retrieval solutions, designed to adeptly extract relevant insights to address employee inquiries. These solutions often leverage pre-trained embedding models and generative models as foundational components.… ▽ More Enterprises grapple with the significant challenge of managing proprietary unstructured data, hindering efficient information retrieval. This has led to the emergence of AI-driven information retrieval solutions, designed to adeptly extract relevant insights to address employee inquiries. These solutions often leverage pre-trained embedding models and generative models as foundational components. While pre-trained embeddings may exhibit proximity or disparity based on their original training objectives, they might not fully align with the unique characteristics of enterprise-specific data, leading to suboptimal alignment with the retrieval goals of enterprise environments. In this paper, we propose a methodology to fine-tune pre-trained embedding models specifically for enterprise environments. By adapting the embeddings to better suit the retrieval tasks prevalent in enterprises, we aim to enhance the performance of information retrieval solutions. We discuss the process of fine-tuning, its effect on retrieval accuracy, and the potential benefits for enterprise information management. Our findings demonstrate the efficacy of fine-tuned embedding models in improving the precision and relevance of search results in enterprise settings. △ Less

Submitted 18 May, 2024; originally announced June 2024.

ACM Class: I.2.7

CHC-COMP 2023: Competition Report

Authors: Emanuele De Angelis, Hari Govind V K

Abstract: CHC-COMP 2023 is the sixth edition of the Competition of Solvers for Constrained Horn Clauses. The competition was run in April 2023 and the results were presented at the 10th Workshop on Horn Clauses for Verification and Synthesis held in Paris, France, on April 23, 2023. This edition featured seven solvers (six competing and one hors concours) and six tracks, each of which dealing with a class o… ▽ More CHC-COMP 2023 is the sixth edition of the Competition of Solvers for Constrained Horn Clauses. The competition was run in April 2023 and the results were presented at the 10th Workshop on Horn Clauses for Verification and Synthesis held in Paris, France, on April 23, 2023. This edition featured seven solvers (six competing and one hors concours) and six tracks, each of which dealing with a class of clauses. This report describes the organization of CHC-COMP 2023 and presents its results. △ Less

Submitted 23 April, 2024; originally announced April 2024.

Comments: In Proceedings LSFA/HCVS 2023, arXiv:2404.13672

Journal ref: EPTCS 402, 2024, pp. 83-104

Optimized Denial-of-Service Threats on the Scalability of LT Coded Blockchains

Authors: Harikrishnan K., J. Harshan, Anwitaman Datta

Abstract: Coded blockchains have acquired prominence in the recent past as a promising approach to slash the storage costs as well as to facilitate scalability. Within this class, Luby Transform (LT) coded blockchains are an appealing choice for scalability in heterogeneous networks owing to the availability of a wide range of low-complexity LT decoders. While these architectures have been studied from the… ▽ More Coded blockchains have acquired prominence in the recent past as a promising approach to slash the storage costs as well as to facilitate scalability. Within this class, Luby Transform (LT) coded blockchains are an appealing choice for scalability in heterogeneous networks owing to the availability of a wide range of low-complexity LT decoders. While these architectures have been studied from the aspects of storage savings and scalability, not much is known in terms of their security vulnerabilities. Pointing at this research gap, in this work, we present novel denial-of-service (DoS) threats on LT coded blockchains that target nodes with specific decoding capabilities, thereby preventing them from joining the network. Our proposed threats are non-oblivious in nature, wherein adversaries gain access to the archived blocks, and choose to execute their threat on a subset of them based on underlying coding scheme. We show that our optimized threats can achieve the same level of damage as that of blind attacks, however, with limited amount of resources. This is the first work of its kind that opens up new questions on designing coded blockchains to jointly provide storage savings, scalability and resilience to optimized threats. △ Less

Submitted 8 February, 2024; originally announced February 2024.

Comments: To be presented in IEEE International Conference on Communications 2024

Universal role of curvature in vacuum entanglement

Authors: Hari K, Subhajit Barman, Dawood Kothawala

Abstract: We highlight some universal features concerning the role of spacetime curvature in the entanglement induced between quantum probes coupled to a quantum field in a suitable vacuum state. The probes are initially causally disconnected and non-entangled. We explore the parameter space $\{ω, d_0, \boldsymbol{v}_0\}$ spanned by the energy gap $ω$ of the detectors, and the initial values of separation d… ▽ More We highlight some universal features concerning the role of spacetime curvature in the entanglement induced between quantum probes coupled to a quantum field in a suitable vacuum state. The probes are initially causally disconnected and non-entangled. We explore the parameter space $\{ω, d_0, \boldsymbol{v}_0\}$ spanned by the energy gap $ω$ of the detectors, and the initial values of separation distance $d_0$ and relative velocity $\boldsymbol{v}_0$, both covariantly defined in arbitrary curved spacetime. We also obtain numerical results in de Sitter spacetimes and use these to explore strong curvature regime, while also corroborating our perturbative results in arbitrary curved spacetime. Our analysis shows that curvature can induce entanglement features in certain regions of the above parameter space, in a manner which facilitates using entanglement as a probe of spacetime curvature. △ Less

Submitted 19 March, 2024; v1 submitted 25 November, 2023; originally announced November 2023.

Comments: Published in PRD, 28 pages and 15 figures

Journal ref: Phys. Rev. D 109 (2024) 6, 065017

Rotating detectors in dS/AdS spacetimes

Authors: Hari. K, Dawood Kothawala

Abstract: We analyse several aspects of detectors with uniform acceleration $a$ and uniform rotation $Ω$ in de Sitter ($Λ>0$) and anti-de Sitter ($Λ<0$) spacetimes, focusing particularly on the periodicity, in (Euclidean) proper time $τ_{\rm traj}$, of geodesic interval $τ_{\rm geod}$ between two events on the trajectory. For $Λ<0$, $τ_{\rm geod}$ is periodic in ${\rm i} τ_{\rm traj}$ for specific values of… ▽ More We analyse several aspects of detectors with uniform acceleration $a$ and uniform rotation $Ω$ in de Sitter ($Λ>0$) and anti-de Sitter ($Λ<0$) spacetimes, focusing particularly on the periodicity, in (Euclidean) proper time $τ_{\rm traj}$, of geodesic interval $τ_{\rm geod}$ between two events on the trajectory. For $Λ<0$, $τ_{\rm geod}$ is periodic in ${\rm i} τ_{\rm traj}$ for specific values of $a$ and $Ω$. These results are used to obtain numerical plots for the response rate $\dot{\mathcal{F}}$ of Unruh-de Witt detectors, which display non-trivial combined effects of rotation and curvature through the dimensionless parameter $Λc^2/Ω^2$. In particular, periodicity does not imply thermality due to additional poles in the Wightman function away from the imaginary axis. We then present some results for stationary rotational motion in arbitrary curved spacetime, as a perturbative expansion in curvature. △ Less

Submitted 25 May, 2024; v1 submitted 31 July, 2023; originally announced July 2023.

Comments: 10 pages, 3 figures, matches published version in PRD

Journal ref: Phys. Rev. D 109, 104073 (2024)

Distance Matrices for Conjugate Skew Gain Graphs

Authors: Shahul Hameed K, Ramakrishnan K O, Biju K

Abstract: A conjugate skew gain graph is a skew gain graph with the labels (also called, the conjugate skew gains) from the field of complex numbes on the oriented edges such that they get conjugated when we reverse the orientation. In this paper we introduce distance matrices for conjugate skew gain graphs and characterize balanced conjugate skew gain graphs using these matrices. We provide explicit formul… ▽ More A conjugate skew gain graph is a skew gain graph with the labels (also called, the conjugate skew gains) from the field of complex numbes on the oriented edges such that they get conjugated when we reverse the orientation. In this paper we introduce distance matrices for conjugate skew gain graphs and characterize balanced conjugate skew gain graphs using these matrices. We provide explicit formulae for the distance spectra of certain conjugate skew gain graphs. △ Less

Submitted 11 July, 2023; originally announced July 2023.

Speculative SAT Modulo SAT

Authors: Hari Govind V K, Isabel Garcia-Contreras, Sharon Shoham, Arie Gurfinkel

Abstract: State-of-the-art model-checking algorithms like IC3/PDR are based on uni-directional modular SAT solving for finding and/or blocking counterexamples. Modular SAT solvers divide a SAT-query into multiple sub-queries, each solved by a separate SAT solver (called a module), and propagate information (lemmas, proof obligations, blocked clauses, etc.) between modules. While modular solving is key to IC… ▽ More State-of-the-art model-checking algorithms like IC3/PDR are based on uni-directional modular SAT solving for finding and/or blocking counterexamples. Modular SAT solvers divide a SAT-query into multiple sub-queries, each solved by a separate SAT solver (called a module), and propagate information (lemmas, proof obligations, blocked clauses, etc.) between modules. While modular solving is key to IC3/PDR, it is obviously not as effective as monolithic solving, especially when individual sub-queries are harder to solve than the combined query. This is partially addressed in SAT modulo SAT (SMS) by propagating unit literals back and forth between the modules and using information from one module to simplify the sub-query in another module as soon as possible (i.e., before the satisfiability of any sub-query is established). However, bi-directionality of SMS is limited because of the strict order between decisions and propagation -- only one module is allowed to make decisions, until its sub-query is SAT. In this paper, we propose a generalization of SMS, called SPEC SMS, that speculates decisions between modules. This makes it bi-directional -- decisions are made in multiple modules, and learned clauses are exchanged in both directions. We further extend DRUP proofs and interpolation, these are useful in model checking, to SPEC SMS. We have implemented SPEC SMS in Z3 and show that it performs exponentially better on a series of benchmarks that are provably hard for SMS. △ Less

Submitted 30 June, 2023; originally announced June 2023.

Fast Approximations of Quantifier Elimination

Authors: Isabel Garcia-Contreras, Hari Govind V K, Sharon Shoham, Arie Gurfinkel

Abstract: Quantifier elimination (qelim) is used in many automated reasoning tasks including program synthesis, exist-forall solving, quantified SMT, Model Checking, and solving Constrained Horn Clauses (CHCs). Exact qelim is computationally expensive. Hence, it is often approximated. For example, Z3 uses "light" pre-processing to reduce the number of quantified variables. CHC-solver Spacer uses model-based… ▽ More Quantifier elimination (qelim) is used in many automated reasoning tasks including program synthesis, exist-forall solving, quantified SMT, Model Checking, and solving Constrained Horn Clauses (CHCs). Exact qelim is computationally expensive. Hence, it is often approximated. For example, Z3 uses "light" pre-processing to reduce the number of quantified variables. CHC-solver Spacer uses model-based projection (MBP) to under-approximate qelim relative to a given model, and over-approximations of qelim can be used as abstractions. In this paper, we present the QEL framework for fast approximations of qelim. QEL provides a uniform interface for both quantifier reduction and model-based projection. QEL builds on the egraph data structure -- the core of the EUF decision procedure in SMT -- by casting quantifier reduction as a problem of choosing ground (i.e., variable-free) representatives for equivalence classes. We have used QEL to implement MBP for the theories of Arrays and Algebraic Data Types (ADTs). We integrated QEL and our new MBP in Z3 and evaluated it within several tasks that rely on quantifier approximations, outperforming state-of-the-art. △ Less

Submitted 16 June, 2023; originally announced June 2023.

Comments: Published at CAV 2023

Micro-Actuators and Implementation

Authors: Pavan B Garadi, Sai Bhargav M, Harishesh J K, Mamatha A S

Abstract: Miniaturization of devices inculcates the need for small-sized actuators. Actuators in the size of a few centimeters are not uncommon but miniature devices need ones that are less than a few centimeters in dimension. Market for such actuators is rather small and information pertaining to their implementation is limited. This paper talks about various actuators and their actuation mechanism for the… ▽ More Miniaturization of devices inculcates the need for small-sized actuators. Actuators in the size of a few centimeters are not uncommon but miniature devices need ones that are less than a few centimeters in dimension. Market for such actuators is rather small and information pertaining to their implementation is limited. This paper talks about various actuators and their actuation mechanism for the design of small-scale electronic devices. Not only are the small-sized actuators used for designing miniature devices, but also used for precise movements in the range of a few millimeters. We have included a procedure-wise description on how to implement these actuators. An in-depth analysis of their mechanical, electrical and chemical characteristics is elaborated in this paper. △ Less

Submitted 6 November, 2022; originally announced December 2022.

CHC-COMP 2022: Competition Report

Authors: Emanuele De Angelis, Hari Govind V K

Abstract: CHC-COMP 2022 is the fifth edition of the competition of solvers for Constrained Horn Clauses. The competition was run in March 2022; the results were presented at the 9th Workshop on Horn Clauses for Verification and Synthesis held in Munich, Germany, on April 3, 2022. This edition featured six solvers, and eight tracks consisting of sets of linear and nonlinear clauses with constraints over line… ▽ More CHC-COMP 2022 is the fifth edition of the competition of solvers for Constrained Horn Clauses. The competition was run in March 2022; the results were presented at the 9th Workshop on Horn Clauses for Verification and Synthesis held in Munich, Germany, on April 3, 2022. This edition featured six solvers, and eight tracks consisting of sets of linear and nonlinear clauses with constraints over linear integer arithmetic, linear real arithmetic, arrays, and algebraic data types. This report provides an overview of the organization behind the competition runs: it includes the technical details of the competition setup as well as presenting the results of the 2022 edition. △ Less

Submitted 22 November, 2022; originally announced November 2022.

Comments: In Proceedings HCVS/VPT 2022, arXiv:2211.10675. arXiv admin note: text overlap with arXiv:2109.04635, arXiv:2008.02939 by other authors

ACM Class: F.3.1

Journal ref: EPTCS 373, 2022, pp. 44-62

An Indirect Measurement of $^6$Li(n,$γ$) Cross Sections

Authors: Midhun C. V, M. M Musthafa, S. V Suryanarayana, Gokuldas H, Shaima A, Hajara. K, Antony Joseph, T. Santhosh, A. Baishya, A Pal, P. C Rout, S Santra, P. T. M Shan, Satheesh B, B. V. John, K. C Jagadeesan, S. Ganesan

Abstract: The $^6$Li(n,$γ$)$^7$Li cross sections in the neutron energy range of 0.6 to 4 MeV have been measured by the experimental implementation of the direct capture formalism. This was done by measuring the $γ$ transition probability experimentally and accounting for the spin factor by theoretical calculation. The electromagnetic transition probabilities from $^7$Li$^*$ analogous to the initial neutron… ▽ More The $^6$Li(n,$γ$)$^7$Li cross sections in the neutron energy range of 0.6 to 4 MeV have been measured by the experimental implementation of the direct capture formalism. This was done by measuring the $γ$ transition probability experimentally and accounting for the spin factor by theoretical calculation. The electromagnetic transition probabilities from $^7$Li$^*$ analogous to the initial neutron capture states of $^6$Li$+n$ were measured by populating the J$_i$ states of $^7$Li through $^7$Li($p,p'$)$^7$Li$^*$ reaction. The impact of coupling of resonant states, above neutron separation threshold of $^7$Li, in the neutron capture, is observed from the capture $γ$ spectrum. The measured cross sections were reproduced through {\sc fresco} and Talys-1.95 Direct Capture Calculations. △ Less

Submitted 25 September, 2022; originally announced September 2022.

Vector Valued Switching in Signed Graphs

Authors: Shahul Hameed K, Albin Mathew, Germina K A, Thomas Zaslavsky

Abstract: A signed graph is a graph with edges marked positive and negative; it is unbalanced if some cycle has negative sign product. We introduce the concept of vector valued switching function in signed graphs, which extends the concept of switching to higher dimensions. Using this concept, we define balancing dimension and strong balancing dimension for a signed graph, which can be used for a new classi… ▽ More A signed graph is a graph with edges marked positive and negative; it is unbalanced if some cycle has negative sign product. We introduce the concept of vector valued switching function in signed graphs, which extends the concept of switching to higher dimensions. Using this concept, we define balancing dimension and strong balancing dimension for a signed graph, which can be used for a new classification of degree of imbalance of unbalanced signed graphs. We provide bounds for the balancing and strong balancing dimensions, and calculate these dimensions for some classes of signed graphs. △ Less

Submitted 19 May, 2023; v1 submitted 30 July, 2022; originally announced August 2022.

Comments: 15 pp., 5 figs. V2 12 pp., 4 figs., more data, slightly shorter. V3 typos fixed

MSC Class: 05C22

On the role of spectral properties of viscous flux discretization for flow simulations on marginally resolved grids

Authors: Amareshwara Sainadh Chamarthi, Hemanth Chandra Vamsi K, Natan Hoffmann, Sean Bokor, Steven H. Frankel

Abstract: In this note, the importance of spectral properties of viscous flux discretization in solving compressible Navier-Stokes equations for turbulent flow simulations is discussed. We studied six different methods, divided into two different classes, with poor and better representation of spectral properties at high wavenumbers. Both theoretical and numerical results have revealed that the method with… ▽ More In this note, the importance of spectral properties of viscous flux discretization in solving compressible Navier-Stokes equations for turbulent flow simulations is discussed. We studied six different methods, divided into two different classes, with poor and better representation of spectral properties at high wavenumbers. Both theoretical and numerical results have revealed that the method with better properties at high wavenumbers, denoted as $α$-dam** type discretization, produced superior solutions compared to the other class of methods. The proposed compact $α$-dam** method converged towards the direct numerical simulation (DNS) solution at lower grid resolution compared with the other class of methods and is, therefore, a better candidate for high fidelity large-eddy simulations (LES) and DNS studies. △ Less

Submitted 29 November, 2022; v1 submitted 29 June, 2022; originally announced June 2022.

Comments: 14

Hydrodynamic studies of aqueous two-phase systems in millichannels

Authors: Vamsi Vikram Gande, Hima Nandini K, Jagadeesh Korukonda, S Pushpavanam

Abstract: Liquid-liquid segmented flows in microchannels have been extensively investigated in the context of nanoparticle synthesis. The enhanced mixing in the slugs results in monodispersed particles. Earlier studies have focused on Organic-Aqueous Systems (OAS). The nanoparticles synthesized in the presence of organic solutions have limited applications. An alternative green route for the synthesis can b… ▽ More Liquid-liquid segmented flows in microchannels have been extensively investigated in the context of nanoparticle synthesis. The enhanced mixing in the slugs results in monodispersed particles. Earlier studies have focused on Organic-Aqueous Systems (OAS). The nanoparticles synthesized in the presence of organic solutions have limited applications. An alternative green route for the synthesis can be developed using an Aqueous Two-Phase System (ATPS). These systems are characterized by interfacial tensions, which are two orders of magnitude lower than typical organic aqueous systems. In this work, flow patterns and hydrodynamics of ATPS are investigated as a first step. Polyethylene glycol -trisodium citrate system was chosen as ATPS. The objective of this work is to see if any new physics arises in an ATPS system. The low interfacial tension results in high Capillary numbers (Ca >> 3) in a microfluidic system. Consequently, the flow observed here is parallel or core-annular. However, in a millichannel, the capillary number becomes lower (Ca << 1) for an ATPS system. In this work, experiments were carried out in a millichannel to span different flow patterns. The pattern formation was analyzed and classified into three categories, i.e., slug flow (interfacial tension dominated), transition flow, and core annular flow (inertia dominated). Flow regime maps based on the Reynolds number, Capillary number, and Weber number of each phase were found to be qualitatively similar to those of OAS. Simulations were performed for various interfacial tension values. An interfacial tension value of 1.25x10-4 N/m was found to yield slug sizes which fitted well with the experimental data. Film thickness was measured experimentally and with simulations compared favorably with the correlations available in the literature for OAS. △ Less

Submitted 26 June, 2022; originally announced June 2022.

Implementing a Real-Time, YOLOv5 based Social Distancing Measuring System for Covid-19

Authors: Narayana Darapaneni, Shrawan Kumar, Selvarangan Krishnan, Hemalatha K, Arunkumar Rajagopal, Nagendra, Anwesh Reddy Paduri

Abstract: The purpose of this work is, to provide a YOLOv5 deep learning-based social distance monitoring framework using an overhead view perspective. In addition, we have developed a custom defined model YOLOv5 modified CSP (Cross Stage Partial Network) and assessed the performance on COCO and Visdrone dataset with and without transfer learning. Our findings show that the developed model successfully iden… ▽ More The purpose of this work is, to provide a YOLOv5 deep learning-based social distance monitoring framework using an overhead view perspective. In addition, we have developed a custom defined model YOLOv5 modified CSP (Cross Stage Partial Network) and assessed the performance on COCO and Visdrone dataset with and without transfer learning. Our findings show that the developed model successfully identifies the individual who violates the social distances. The accuracy of 81.7% for the modified bottleneck CSP without transfer learning is observed on COCO dataset after training the model for 300 epochs whereas for the same epochs, the default YOLOv5 model is attaining 80.1% accuracy with transfer learning. This shows an improvement in accuracy by our modified bottleneck CSP model. For the Visdrone dataset, we are able to achieve an accuracy of upto 56.5% for certain classes and especially an accuracy of 40% for people and pedestrians with transfer learning using the default YOLOv5s model for 30 epochs. While the modified bottleneck CSP is able to perform slightly better than the default model with an accuracy score of upto 58.1% for certain classes and an accuracy of ~40.4% for people and pedestrians. △ Less

Submitted 7 April, 2022; originally announced April 2022.

Scheduling Policies for Stability and Optimal Server Running Cost in Cloud Computing Platforms

Authors: Haritha K, Chandramani Singh

Abstract: We propose throughput and cost optimal job scheduling algorithms in cloud computing platforms offering Infrastructure as a Service. We first consider online migration and propose job scheduling algorithms to minimize job migration and server running costs. We consider algorithms that assume knowledge of job-size on arrival of jobs. We characterize the optimal cost subject to system stability. We d… ▽ More We propose throughput and cost optimal job scheduling algorithms in cloud computing platforms offering Infrastructure as a Service. We first consider online migration and propose job scheduling algorithms to minimize job migration and server running costs. We consider algorithms that assume knowledge of job-size on arrival of jobs. We characterize the optimal cost subject to system stability. We develop a drift-plus-penalty framework based algorithm that can achieve optimal cost arbitrarily closely. Specifically this algorithm yields a trade-off between delay and costs. We then relax the job-size knowledge assumption and give an algorithm that uses readily offered service to the jobs. We show that this algorithm gives order-wise identical cost as the job size based algorithm. Later, we consider offline job migration that incurs migration delays. We again present throughput optimal algorithms that minimize server running cost. We illustrate the performance of the proposed algorithms and compare these to the existing algorithms via simulation. △ Less

Submitted 5 June, 2022; v1 submitted 22 January, 2022; originally announced January 2022.

Slotted ALOHA and CSMA Protocols for FMCW Radar Networks

Authors: Haritha K, Vineeth Bala Sukumaran, Chandramani Singh

Abstract: We study medium access in FMCW radar networks. We assume that all the radars use same parameters, e.g., chirp duration, chirp slope, cutoff frequency, number of chirps per packet, etc, and propose and analyze slotted ALOHA and CSMA protocols to mitigate narrowband interference. We define a notion of throughput to quantify the performance of the proposed protocols. In the case of ALOHA, we analyze… ▽ More We study medium access in FMCW radar networks. We assume that all the radars use same parameters, e.g., chirp duration, chirp slope, cutoff frequency, number of chirps per packet, etc, and propose and analyze slotted ALOHA and CSMA protocols to mitigate narrowband interference. We define a notion of throughput to quantify the performance of the proposed protocols. In the case of ALOHA, we analyze interference probability and throughput as functions of the system parameters. We observe that interference probability and throughput may behave differently than in wireless communication networks. For instance, if the number of chirps per packet is larger than one, the interference probabilities may be smaller for higher transmission rates. We define a medium sensing procedure, referred to as clear channel assessment (CCA), as a part of the proposed CSMA, and also define CCA success and failure events. In CSMA, the radars transmit only after a successful CCA. We study, CCA success probability, interference probability and throughput as functions of the system parameters. We observe that, unlike wireless communication networks, using the highest possible attempt rates may maximize throughput in few network scenarios. We perform an extensive simulation to verify our analytical results and to compare slotted ALOHA and CSMA. We observe that CSMA outperforms ALOHA in all realistic scenarios. △ Less

Submitted 25 January, 2022; v1 submitted 22 January, 2022; originally announced January 2022.

Current status of PAPYRUS : the pyramid based adaptive optics system at LAM/OHP

Authors: Muslimov E., Levraud N., Chambouleyron V., Boudjema I., Lau A., Caillat A., Pedreros F., Otten G., El Hadi K., Joaquina K., Lopez M., El Morsy M., Beltramo Martin O., Fetick R., Ke Z., Sauvage J-F., Neichel B., Fusco T., Schmitt J., Le Van Suu A., Charton J., Schimpf A., Martin B., Dintrono F., Esposito S. , et al. (1 additional authors not shown)

Abstract: The Provence Adaptive optics Pyramid Run System (PAPYRUS) is a pyramid-based Adaptive Optics (AO) system that will be installed at the Coude focus of the 1.52m telescope (T152) at the Observatoire de Haute Provence (OHP). The project is being developed by PhD students and Postdocs across France with support from staff members consolidating the existing expertise and hardware into an R&D testbed. T… ▽ More The Provence Adaptive optics Pyramid Run System (PAPYRUS) is a pyramid-based Adaptive Optics (AO) system that will be installed at the Coude focus of the 1.52m telescope (T152) at the Observatoire de Haute Provence (OHP). The project is being developed by PhD students and Postdocs across France with support from staff members consolidating the existing expertise and hardware into an R&D testbed. This testbed allows us to run various pyramid wavefront sensing (WFS) control algorithms on-sky and experiment on new concepts for wavefront control with additional benefit from the high number of available nights at this telescope. It will also function as a teaching tool for students during the planned AO summer school at OHP. To our knowledge, this is one of the first pedagogic pyramid-based AO systems on-sky. The key components of PAPYRUS are a 17x17 actuators Alpao deformable mirror with a Alpao RTC, a very low noise camera OCAM2k, and a 4-faces glass pyramid. PAPYRUS is designed in order to be a simple and modular system to explore wavefront control with a pyramid WFS on sky. We present an overview of PAPYRUS, a description of the opto-mechanical design and the current status of the project. △ Less

Submitted 19 October, 2021; originally announced October 2021.

Comments: 19 pages, 11 figures

Journal ref: Proc. SPIE 11876, Optical Instrument Science, Technology, and Applications II, 118760H (24 September 2021);

Impact of $^7$Be breakup on $^7$Li(p,n) Neutron Spectrum

Authors: Midhun C. V, M. M Musthafa, S. V Suryanarayana, T. Santhosh, A. Baishya, P. Patil, A Pal, P. C Rout, S Santra, R. Kujur, Antony Joseph, Shaima A, Hajara. K, P. T. M Shan, Satheesh B, Y. Sawant, B. V. John, E. T Mirgule, K. C Jagadeesan, S. Ganesan

Abstract: The formation of continuum neutron distribution in $^7$Li(p,n) has been identified as due to the coupling of the $^7$Be breakup levels to the final state of the reaction. The continuum neutron spectra produced by $^7$Li(p,n) reaction has been estimated by measuring the double differential cross sections for continuum and resonant breakup of $^7$Be, through $^7$Li(p,n)$^7$Be$^*$ reaction at 21 MeV… ▽ More The formation of continuum neutron distribution in $^7$Li(p,n) has been identified as due to the coupling of the $^7$Be breakup levels to the final state of the reaction. The continuum neutron spectra produced by $^7$Li(p,n) reaction has been estimated by measuring the double differential cross sections for continuum and resonant breakup of $^7$Be, through $^7$Li(p,n)$^7$Be$^*$ reaction at 21 MeV of proton energy. The breakup contributions from continuum and $5/2^-$, $7/2^-$ states of $^7$Be have been identified. The measured double differential cross sections have been reproduced through CDCC-CRC calculations. The cross sections were projected to neutron spectrum using Monte-Carlo approach and validated using experimentally measured $^3$He gated neutron spectra. $^7$Li(p,n) neutron spectrum at 20 MeV incident proton energy measured by McNaughton. et al. has been reproduced by adapting estimated model parameters for the reaction. △ Less

Submitted 3 August, 2021; originally announced August 2021.

Logical Characterization of Coherent Uninterpreted Programs

Authors: Hari Govind V K, Sharon Shoham, Arie Gurfinkel

Abstract: An uninterpreted program (UP) is a program whose semantics is defined over the theory of uninterpreted functions. This is a common abstraction used in equivalence checking, compiler optimization, and program verification. While simple, the model is sufficiently powerful to encode counter automata, and, hence, undecidable. Recently, a class of UP programs, called coherent, has been proposed and sho… ▽ More An uninterpreted program (UP) is a program whose semantics is defined over the theory of uninterpreted functions. This is a common abstraction used in equivalence checking, compiler optimization, and program verification. While simple, the model is sufficiently powerful to encode counter automata, and, hence, undecidable. Recently, a class of UP programs, called coherent, has been proposed and shown to be decidable. We provide an alternative, logical characterization, of this result. Specifically, we show that every coherent program is bisimilar to a finite state system. Moreover, an inductive invariant of a coherent program is representable by a formula whose terms are of depth at most 1. We also show that the original proof, via automata, only applies to programs over unary uninterpreted functions. While this work is purely theoretical, it suggests a novel abstraction that is complete for coherent programs but can be soundly used on arbitrary uninterpreted (and partially interpreted) programs. △ Less

Submitted 25 July, 2021; originally announced July 2021.

Comments: Accepted at FMCAD 2021

Effect of tidal curvature on dynamics of accelerated probes

Authors: Hari K, Dawood Kothawala

Abstract: We obtain a remarkable semi-analytic expression concerning the role of purely tidal curvature on accelerated probes, revealing some novel insights into the role of absolute vs. tidal acceleration in the response of such probes. The key quantity we evaluate is the relation between geodesic ($τ_{\rm geod}$) and proper time ($τ_{\rm acc}$) intervals between events on the probe trajectory. This is o… ▽ More We obtain a remarkable semi-analytic expression concerning the role of purely tidal curvature on accelerated probes, revealing some novel insights into the role of absolute vs. tidal acceleration in the response of such probes. The key quantity we evaluate is the relation between geodesic ($τ_{\rm geod}$) and proper time ($τ_{\rm acc}$) intervals between events on the probe trajectory. This is obtained as a covariant power series in curvature using a combination of analytical and numerical tools. A serendipitous observation then reveals that one can $exactly$ sum all terms involving the $purely\;tidal$ component ${\mathscr E}_n= R_{abcd} \varepsilon^{ab} \varepsilon^{cd}$ of curvature, with $\varepsilon^{ab}$ the bi-normal to the plane of motion: $$ τ_{\rm geod} = \frac{2}{\sqrt{{-\mathscr E}_n}} \sinh ^{-1}\Biggl[\sqrt{\frac{-{\mathscr E}_n}{a^2-{\mathscr E}_n}} \sinh \left(\frac{1}{2} \sqrt{a^2-{\mathscr E}_n} \; τ_{\rm acc} \right) \Biggl] $$ For classical clocks, the above result represents an interesting closed form contribution of tidal curvature to the differential ageing of twins in the classic $Twin\;paradox$. For quantum probes, it gives a thermal contribution to the $detector\;response$ with a modified $Unruh\;temperature$ $$ [k_{\rm B} T]_{{\mathscr E}_n} = \frac{\hbar \sqrt{a^2- {\mathscr E}_n }}{2 π} $$ As an operational tool, the computational framework we present and the corresponding results should find applications to a wide range of physical problems that involve measurements and observations by use of accelerated probes in curved spacetimes. △ Less

Submitted 21 October, 2021; v1 submitted 28 June, 2021; originally announced June 2021.

Comments: 11 pages, 3 figures

Journal ref: Phys. Rev. D 104, 064032 (2021)

On the Metric Dimension of Signed Graphs

Authors: Shahul Hameed K, Remna K P, Divya T2, Biju K, Rajeevan P, Santhosh G O2, Ramakrishnan K O

Abstract: A signed graph $Σ$ is a pair $(G,σ)$, where $G=(V,E)$ is the underlying graph in which each edge is assigned $+1$ or $-1$ by the signature function $σ:E\rightarrow\{-1,+1\}$. In this paper, we extend the extensively applied concepts of metric dimension and resolving sets for unsigned graphs to signed graphs. We analyze the metric dimension of some well known classes of signed graphs including a sp… ▽ More A signed graph $Σ$ is a pair $(G,σ)$, where $G=(V,E)$ is the underlying graph in which each edge is assigned $+1$ or $-1$ by the signature function $σ:E\rightarrow\{-1,+1\}$. In this paper, we extend the extensively applied concepts of metric dimension and resolving sets for unsigned graphs to signed graphs. We analyze the metric dimension of some well known classes of signed graphs including a special case of signed trees. Among other things, we establish that the metric dimension of a signed graph is invariant under negation. △ Less

Submitted 23 June, 2021; originally announced June 2021.

Exploiting timing capabilities of the CHEOPS mission with warm-Jupiter planets

Authors: Borsato L, Piotto G, Gandolfi D, Nascimbeni V, Lacedelli G, Marzari F, Billot N, Maxted P, Sousa S G, Cameron A C, Bonfanti A, Wilson T, Serrano L, Garai Z, Alibert Y, Alonso R, Asquier J, Bárczy T, Bandy T, Barrado D, Barros S C, Baumjohann W, Beck M, Beck T, Benz W , et al. (53 additional authors not shown)

Abstract: We present 17 transit light curves of seven known warm-Jupiters observed with the CHaracterising ExOPlanet Satellite (CHEOPS). The light curves have been collected as part of the CHEOPS Guaranteed Time Observation (GTO) program that searches for transit-timing variation (TTV) of warm-Jupiters induced by a possible external perturber to shed light on the evolution path of such planetary systems. We… ▽ More We present 17 transit light curves of seven known warm-Jupiters observed with the CHaracterising ExOPlanet Satellite (CHEOPS). The light curves have been collected as part of the CHEOPS Guaranteed Time Observation (GTO) program that searches for transit-timing variation (TTV) of warm-Jupiters induced by a possible external perturber to shed light on the evolution path of such planetary systems. We describe the CHEOPS observation process, from the planning to the data analysis. In this work we focused on the timing performance of CHEOPS, the impact of the sampling of the transit phases, and the improvement we can obtain combining multiple transits together. We reached the highest precision on the transit time of about 13-16 s for the brightest target (WASP-38, G = 9.2) in our sample. From the combined analysis of multiple transits of fainter targets with G >= 11 we obtained a timing precision of about 2 min. Additional observations with CHEOPS, covering a longer temporal baseline, will further improve the precision on the transit times and will allow us to detect possible TTV signals induced by an external perturber. △ Less

Submitted 21 June, 2021; originally announced June 2021.

Comments: 23 pages, 19 figures, 8 tables. Accepted for publication in MNRAS

A fast and precise methodology to search for and analyse strongly lensed gravitational-wave events

Authors: Justin Janquart, Otto A. Hannuksela, Haris K., Chris Van Den Broeck

Abstract: Gravitational waves, like light, can be gravitationally lensed by massive astrophysical objects such as galaxies and galaxy clusters. Strong gravitational-wave lensing, forecasted at a reasonable rate in ground-based gravitational-wave detectors such as Advanced LIGO, Advanced Virgo, and KAGRA, produces multiple images separated in time by minutes to months. These images appear as repeated events… ▽ More Gravitational waves, like light, can be gravitationally lensed by massive astrophysical objects such as galaxies and galaxy clusters. Strong gravitational-wave lensing, forecasted at a reasonable rate in ground-based gravitational-wave detectors such as Advanced LIGO, Advanced Virgo, and KAGRA, produces multiple images separated in time by minutes to months. These images appear as repeated events in the detectors: gravitational-wave pairs, triplets, or quadruplets with identical frequency evolution originating from the same sky location. To search for these images, we need to, in principle, analyze all viable combinations of individual events present in the gravitational-wave catalogs. An increasingly pressing problem is that the number of candidate pairs that we need to analyse grows rapidly with the increasing number of single-event detections. At design sensitivity, one may have as many as $\mathcal O(10^5)$ event pairs to consider. To meet the ever-increasing computational requirements, we develop a fast and precise Bayesian methodology to analyse strongly lensed event pairs, enabling future searches. The methodology works by replacing the prior used in the analysis of one strongly lensed gravitational-wave image by the posterior of another image; the computation is then further sped up by a pre-computed lookup table. We demonstrate how the methodology can be applied to any number of lensed images, enabling fast studies of strongly lensed quadruplets. △ Less

Submitted 9 July, 2021; v1 submitted 10 May, 2021; originally announced May 2021.

Comments: 10 pages, 6 figures

On Two Laplacian Matrices for Skew Gain Graphs

Authors: Roshni T Roy, Shahul Hameed K, Germina K A

Abstract: Let $G=(V,\overrightarrow{E})$ be a graph with some prescribed orientation for the edges and $Γ$ be an arbitrary group. If $f\in \mathrm{Inv}(Γ)$ be an anti-involution then the skew gain graph $Φ_f=(G,Γ,\varphi,f)$ is such that the skew gain function $\varphi:\overrightarrow{E}\rightarrow Γ$ satisfies $\varphi(\overrightarrow{vu})=f(\varphi(\overrightarrow{uv}))$. In this paper, we study two diffe… ▽ More Let $G=(V,\overrightarrow{E})$ be a graph with some prescribed orientation for the edges and $Γ$ be an arbitrary group. If $f\in \mathrm{Inv}(Γ)$ be an anti-involution then the skew gain graph $Φ_f=(G,Γ,\varphi,f)$ is such that the skew gain function $\varphi:\overrightarrow{E}\rightarrow Γ$ satisfies $\varphi(\overrightarrow{vu})=f(\varphi(\overrightarrow{uv}))$. In this paper, we study two different types, Laplacian and $g$-Laplacian matrices for a skew gain graph where the skew gains are taken from the multiplicative group $F^\times$ of a field $F$ of characteristic zero. Defining incidence matrix, we also prove the matrix tree theorem for skew gain graphs in the case of the $g$-Laplacian matrix. △ Less

Submitted 22 September, 2020; originally announced September 2020.

Comments: 15 pages

MSC Class: 05C22; 05C50; 05C76

On the Powers of Signed Graphs

Authors: Shi** T V, Germina K A, Shahul Hameed K

Abstract: A signed graph is an ordered pair $Σ=(G,σ),$ where $G=(V,E)$ is the underlying graph of $Σ$ with a signature function $σ:E\rightarrow \{1,-1\}$. In this article, we define $n^{th}$ power of a signed graph and discuss some properties of these powers of signed graphs. As we can define two types of signed graphs as the power of a signed graph, necessary and sufficient conditions are given for an… ▽ More A signed graph is an ordered pair $Σ=(G,σ),$ where $G=(V,E)$ is the underlying graph of $Σ$ with a signature function $σ:E\rightarrow \{1,-1\}$. In this article, we define $n^{th}$ power of a signed graph and discuss some properties of these powers of signed graphs. As we can define two types of signed graphs as the power of a signed graph, necessary and sufficient conditions are given for an $n^{th}$ power of a signed graph to be unique. Also, we characterize balanced power signed graphs. △ Less

Submitted 22 September, 2020; originally announced September 2020.

Comments: 10 pages, 1 figure

MSC Class: 05C12; 05C22; 05C50

Global Guidance for Local Generalization in Model Checking

Authors: Hari Govind V K, YuTing Chen, Sharon Shoham, Arie Gurfinkel

Abstract: SMT-based model checkers, especially IC3-style ones, are currently the most effective techniques for verification of infinite state systems. They infer global inductive invariants via local reasoning about a single step of the transition relation of a system, while employing SMT-based procedures, such as interpolation, to mitigate the limitations of local reasoning and allow for better generalizat… ▽ More SMT-based model checkers, especially IC3-style ones, are currently the most effective techniques for verification of infinite state systems. They infer global inductive invariants via local reasoning about a single step of the transition relation of a system, while employing SMT-based procedures, such as interpolation, to mitigate the limitations of local reasoning and allow for better generalization. Unfortunately, these mitigations intertwine model checking with heuristics of the underlying SMT-solver, negatively affecting stability of model checking. In this paper, we propose to tackle the limitations of locality in a systematic manner. We introduce explicit global guidance into the local reasoning performed by IC3-style algorithms. To this end, we extend the SMT-IC3 paradigm with three novel rules, designed to mitigate fundamental sources of failure that stem from locality. We instantiate these rules for the theory of Linear Integer Arithmetic and implement them on top of SPACER solver in Z3. Our empirical results show that GSPACER, SPACER extended with global guidance, is significantly more effective than both SPACER and sole global reasoning, and, furthermore, is insensitive to interpolation. △ Less

Submitted 27 May, 2020; originally announced May 2020.

Comments: Published in CAV 2020

Signed Distance in Signed Graphs

Authors: Shahul Hameed K, Shi** T V, Soorya P, Germina K A, Thomas Zaslavsky

Abstract: Signed graphs have their edges labeled either as positive or negative. Here we introduce two types of signed distance matrix for signed graphs. We characterize balance in signed graphs using these matrices and we obtain explicit formulae for the distance spectrum of some unbalanced signed graphs. We also introduce the notion of distance-compatible signed graphs and partially characterize it. Signed graphs have their edges labeled either as positive or negative. Here we introduce two types of signed distance matrix for signed graphs. We characterize balance in signed graphs using these matrices and we obtain explicit formulae for the distance spectrum of some unbalanced signed graphs. We also introduce the notion of distance-compatible signed graphs and partially characterize it. △ Less

Submitted 19 August, 2020; v1 submitted 13 May, 2020; originally announced May 2020.

Comments: v1: 11 pp. v2: 16 pp with more eigenvalue results and 2 figures

MSC Class: Primary 05C12; Secondary 05C22; 05C50; 05C75

Journal ref: Linear Algebra and its Applications 608 (2021), 236--247

Formal Modelling and Verification of Software Defined Network

Authors: Jnanamurthy H K, Vijay Varadharajan

Abstract: In cloud computing, software-defined network (SDN) gaining more attention due to its advantages in network configuration to improve network performance and network monitoring. SDN addresses an issue of static architecture in traditional networks by allowing centralised control of a network system. SDN contains centralised network intelligence module which separates a process of forwarding packets… ▽ More In cloud computing, software-defined network (SDN) gaining more attention due to its advantages in network configuration to improve network performance and network monitoring. SDN addresses an issue of static architecture in traditional networks by allowing centralised control of a network system. SDN contains centralised network intelligence module which separates a process of forwarding packets (data plane) from packet routing process (control plane). It is essential to ensure the correctness of SDN due to secure data transmitting in it. In this paper. Model-checking is chosen to verify an SDN network. The Computation Tree Logic (CTL) and Linear Temporal Logic (LTL) used as a specification to express properties of an SDN. Then complete SDN structure is defined formally along with its Kripke structure. Finally, temporal properties are analysed against the SDN Kripke model to assure the properties of SDN is correct. △ Less

Submitted 9 April, 2020; originally announced April 2020.

Normal coordinates based on curved tangent space

Authors: Hari K, Dawood Kothawala

Abstract: Riemann normal coordinates (RNC) at a regular event $p_0$ of a spacetime manifold $\mathcal{M}$ are constructed by imposing: (i) $g_{\textsf{ab}}|_{p_0}=η_{ab}$, and (ii) $Γ^\textsf{a}_{\phantom{\textsf a}\textsf{bc}}|_{p_0}=0$. There is, however, a third, $independent$, assumption in the definition of RNC which essentially fixes the $density$ $of$ $geodesics$ emanating from $p_0$ to its value in… ▽ More Riemann normal coordinates (RNC) at a regular event $p_0$ of a spacetime manifold $\mathcal{M}$ are constructed by imposing: (i) $g_{\textsf{ab}}|_{p_0}=η_{ab}$, and (ii) $Γ^\textsf{a}_{\phantom{\textsf a}\textsf{bc}}|_{p_0}=0$. There is, however, a third, $independent$, assumption in the definition of RNC which essentially fixes the $density$ $of$ $geodesics$ emanating from $p_0$ to its value in flat spacetime, viz.: (iii) the tangent space $\mathcal{T}_{p_0}(\mathcal{M})$ is $flat$. We relax (iii) and obtain the normal coordinates, along with the metric $g_{\textsf{ab}}$, when $\mathcal{T}_{p_0}(\mathcal{M})$ is a maximally symmetric manifold $\widetilde{\mathcal M}_Λ$ with curvature length $|Λ|^{-1/2}$. In general, the "rest" frame defined by these coordinates is non-inertial with an additional acceleration $\boldsymbol a = - (Λ/3) \, \boldsymbol x$ depending on the curvature of tangent space. Our geometric set-up provides a convenient probe of local physics in a universe with a cosmological constant $Λ$, now embedded into the local structure of spacetime as a fundamental constant associated with a curved tangent space. We discuss classical and quantum implications of the same. △ Less

Submitted 8 June, 2020; v1 submitted 23 March, 2020; originally announced March 2020.

Comments: 13 pages, 4 figures, comments added and typos fixed, matches version accepted in Phys. Rev. D

Journal ref: Phys. Rev. D 101, 124066 (2020)

Supervised Negative Binomial Classifier for Probabilistic Record Linkage

Authors: Harish Kashyap K, Kiran Byadarhaly, Saumya Shah

Abstract: Motivated by the need of the linking records across various databases, we propose a novel graphical model based classifier that uses a mixture of Poisson distributions with latent variables. The idea is to derive insight into each pair of hypothesis records that match by inferring its underlying latent rate of error using Bayesian Modeling techniques. The novel approach of using gamma priors for l… ▽ More Motivated by the need of the linking records across various databases, we propose a novel graphical model based classifier that uses a mixture of Poisson distributions with latent variables. The idea is to derive insight into each pair of hypothesis records that match by inferring its underlying latent rate of error using Bayesian Modeling techniques. The novel approach of using gamma priors for learning the latent variables along with supervised labels is unique and allows for active learning. The naive assumption is made deliberately as to the independence of the fields to propose a generalized theory for this class of problems and not to undermine the hierarchical dependencies that could be present in different scenarios. This classifier is able to work with sparse and streaming data. The application to record linkage is able to meet several challenges of sparsity, data streams and varying nature of the data-sets. △ Less

Submitted 10 August, 2019; originally announced August 2019.

Report number: 03a

Interpolating Strong Induction

Authors: Hari Govind V K, Yakir Vizel, Vijay Ganesh, Arie Gurfinkel

Abstract: The principle of strong induction, also known as k-induction is one of the first techniques for unbounded SAT-based Model Checking (SMC). While elegant and simple to apply, properties as such are rarely k-inductive and when they can be strengthened, there is no effective strategy to guess the depth of induction. It has been mostly displaced by techniques that compute inductive strengthenings based… ▽ More The principle of strong induction, also known as k-induction is one of the first techniques for unbounded SAT-based Model Checking (SMC). While elegant and simple to apply, properties as such are rarely k-inductive and when they can be strengthened, there is no effective strategy to guess the depth of induction. It has been mostly displaced by techniques that compute inductive strengthenings based on interpolation and property directed reachability (Pdr). In this paper, we present kAvy, an SMC algorithm that effectively uses k-induction to guide interpolation and Pdr-style inductive generalization. Unlike pure k-induction, kAvy uses Pdr-style generalization to compute and strengthen an inductive trace. Unlike pure Pdr, kAvy uses relative k-induction to construct an inductive invariant. The depth of induction is adjusted dynamically by minimizing a proof of unsatisfiability. We have implemented kAvy within the Avy Model Checker and evaluated it on HWMCC instances. Our results show that kAvy is more effective than both Avy and Pdr, and that using k-induction leads to faster running time and solving more instances. Further, on a class of benchmarks, called shift, kAvy is orders of magnitude faster than Avy, Pdr and k-induction. △ Less

Submitted 4 June, 2019; originally announced June 2019.

Comments: Accepted to CAV 19

Considerations for a PAP Smear Image Analysis System with CNN Features

Authors: Srishti Gautam, Harinarayan K. K., Nirmal Jith, Anil K. Sao, Arnav Bhavsar, Adarsh Natarajan

Abstract: It has been shown that for automated PAP-smear image classification, nucleus features can be very informative. Therefore, the primary step for automated screening can be cell-nuclei detection followed by segmentation of nuclei in the resulting single cell PAP-smear images. We propose a patch based approach using CNN for segmentation of nuclei in single cell images. We then pose the question of ion… ▽ More It has been shown that for automated PAP-smear image classification, nucleus features can be very informative. Therefore, the primary step for automated screening can be cell-nuclei detection followed by segmentation of nuclei in the resulting single cell PAP-smear images. We propose a patch based approach using CNN for segmentation of nuclei in single cell images. We then pose the question of ion of segmentation for classification using representation learning with CNN, and whether low-level CNN features may be useful for classification. We suggest a CNN-based feature level analysis and a transfer learning based approach for classification using both segmented as well full single cell images. We also propose a decision-tree based approach for classification. Experimental results demonstrate the effectiveness of the proposed algorithms individually (with low-level CNN features), and simultaneously proving the sufficiency of cell-nuclei detection (rather than accurate segmentation) for classification. Thus, we propose a system for analysis of multi-cell PAP-smear images consisting of a simple nuclei detection algorithm followed by classification using transfer learning. △ Less

Submitted 23 June, 2018; originally announced June 2018.

Some Information Inequalities for Statistical Inference

Authors: Harsha K V, Alladi Subramanyam

Abstract: In this paper, we first describe the generalized notion of Cramer-Rao lower bound obtained by Naudts (2004) using two families of probability density functions, the original model and an escort model. We reinterpret the results in Naudts (2004) from a statistical point of view and obtain some interesting examples in which this bound is attained. Further we obtain information inequalities which gen… ▽ More In this paper, we first describe the generalized notion of Cramer-Rao lower bound obtained by Naudts (2004) using two families of probability density functions, the original model and an escort model. We reinterpret the results in Naudts (2004) from a statistical point of view and obtain some interesting examples in which this bound is attained. Further we obtain information inequalities which generalize the classical Bhattacharyya bounds in both regular and non-regular cases. △ Less

Submitted 13 February, 2018; originally announced February 2018.

Comments: Some of the contents of this paper is accepted for a contributed talk in The Ninth International Conference on Guided Self-Organisation (GSO-2018: Information Geometry and Statistical Physics to be held in Max Planck Institute for Mathematics in the Sciences,Leipzig, Germany during March 26 - 28, 2018

Effects of Data Quality Vetoes on a Search for Compact Binary Coalescences in Advanced LIGO's First Observing Run

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, B. P. Abbott, R. Abbott, T. D. Abbott, M. R. Abernathy, F. Acernese, K. Ackley, C. Adams, T. Adams, P. Addesso, R. X. Adhikari, V. B. Adya, C. Affeldt, M. Agathos, K. Agatsuma, N. Aggarwal, O. D. Aguiar, L. Aiello, A. Ain, B. Allen, A. Allocca, P. A. Altin, S. B. Anderson, W. G. Anderson , et al. (935 additional authors not shown)

Abstract: The first observing run of Advanced LIGO spanned 4 months, from September 12, 2015 to January 19, 2016, during which gravitational waves were directly detected from two binary black hole systems, namely GW150914 and GW151226. Confident detection of gravitational waves requires an understanding of instrumental transients and artifacts that can reduce the sensitivity of a search. Studies of the qual… ▽ More The first observing run of Advanced LIGO spanned 4 months, from September 12, 2015 to January 19, 2016, during which gravitational waves were directly detected from two binary black hole systems, namely GW150914 and GW151226. Confident detection of gravitational waves requires an understanding of instrumental transients and artifacts that can reduce the sensitivity of a search. Studies of the quality of the detector data yield insights into the cause of instrumental artifacts and data quality vetoes specific to a search are produced to mitigate the effects of problematic data. In this paper, the systematic removal of noisy data from analysis time is shown to improve the sensitivity of searches for compact binary coalescences. The output of the PyCBC pipeline, which is a python-based code package used to search for gravitational wave signals from compact binary coalescences, is used as a metric for improvement. GW150914 was a loud enough signal that removing noisy data did not improve its significance. However, the removal of data with excess noise decreased the false alarm rate of GW151226 by more than two orders of magnitude, from 1 in 770 years to less than 1 in 186000 years. △ Less

Submitted 8 October, 2019; v1 submitted 5 October, 2017; originally announced October 2017.

Comments: 27 pages, 13 figures, published version

Journal ref: Class. Quantum Grav. 35 065010 (2018)

The basic physics of the binary black hole merger GW150914

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, B. P. Abbott, R. Abbott, T. D. Abbott, M. R. Abernathy, F. Acernese, K. Ackley, C. Adams, T. Adams, P. Addesso, R. X. Adhikari, V. B. Adya, C. Affeldt, M. Agathos, K. Agatsuma, N. Aggarwal, O. D. Aguiar, L. Aiello, A. Ain, P. Ajith, B. Allen, A. Allocca, P. A. Altin, S. B. Anderson , et al. (931 additional authors not shown)

Abstract: The first direct gravitational-wave detection was made by the Advanced Laser Interferometer Gravitational Wave Observatory on September 14, 2015. The GW150914 signal was strong enough to be apparent, without using any waveform model, in the filtered detector strain data. Here, features of the signal visible in the data are analyzed using concepts from Newtonian physics and general relativity, acce… ▽ More The first direct gravitational-wave detection was made by the Advanced Laser Interferometer Gravitational Wave Observatory on September 14, 2015. The GW150914 signal was strong enough to be apparent, without using any waveform model, in the filtered detector strain data. Here, features of the signal visible in the data are analyzed using concepts from Newtonian physics and general relativity, accessible to anyone with a general physics background. The simple analysis presented here is consistent with the fully general-relativistic analyses published elsewhere,in showing that the signal was produced by the inspiral and subsequent merger of two black holes. The black holes were each of approximately 35 Msun, still orbited each other as close as ~350 km apart, and subsequently merged to form a single black hole. Similar reasoning, directly from the data, is used to roughly estimate how far these black holes were from the Earth, and the energy that they radiated in gravitational waves. △ Less

Submitted 24 February, 2017; v1 submitted 5 August, 2016; originally announced August 2016.

Comments: updated to match published version

Journal ref: LIGO Scientific and Virgo Collaborations, Annalen der Physik, Volume 529, Issue 1-2, January 2017, 1600209

Exploring the Sensitivity of Next Generation Gravitational Wave Detectors

Authors: B. P. Abbott, R. Abbott, T. D. Abbott, M. R. Abernathy, K. Ackley, C. Adams, P. Addesso, R. X. Adhikari, V. B. Adya, C. Affeldt, N. Aggarwal, O. D. Aguiar, A. Ain, P. Ajith, B. Allen, P. A. Altin, S. B. Anderson, W. G. Anderson, K. Arai, M. C. Araya, C. C. Arceneaux, J. S. Areeda, K. G. Arun, G. Ashton, M. Ast , et al. (698 additional authors not shown)

Abstract: The second-generation of gravitational-wave detectors are just starting operation, and have already yielding their first detections. Research is now concentrated on how to maximize the scientific potential of gravitational-wave astronomy. To support this effort, we present here design targets for a new generation of detectors, which will be capable of observing compact binary sources with high sig… ▽ More The second-generation of gravitational-wave detectors are just starting operation, and have already yielding their first detections. Research is now concentrated on how to maximize the scientific potential of gravitational-wave astronomy. To support this effort, we present here design targets for a new generation of detectors, which will be capable of observing compact binary sources with high signal-to-noise ratio throughout the Universe. △ Less

Submitted 11 September, 2016; v1 submitted 29 July, 2016; originally announced July 2016.

Report number: LIGO-P1600143

Upper limits on the rates of binary neutron star and neutron-star--black-hole mergers from Advanced LIGO's first observing run

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, B. P. Abbott, R. Abbott, T. D. Abbott, M. R. Abernathy, F. Acernese, K. Ackley, C. Adams, T. Adams, P. Addesso, R. X. Adhikari, V. B. Adya, C. Affeldt, M. Agathos, K. Agatsuma, N. Aggarwal, O. D. Aguiar, L. Aiello, A. Ain, P. Ajith, B. Allen, A. Allocca, P. A. Altin, S. B. Anderson , et al. (936 additional authors not shown)

Abstract: We report here the non-detection of gravitational waves from the merger of binary neutron star systems and neutron-star--black-hole systems during the first observing run of Advanced LIGO. In particular we searched for gravitational wave signals from binary neutron star systems with component masses $\in [1,3] M_{\odot}$ and component dimensionless spins $< 0.05$. We also searched for neutron-star… ▽ More We report here the non-detection of gravitational waves from the merger of binary neutron star systems and neutron-star--black-hole systems during the first observing run of Advanced LIGO. In particular we searched for gravitational wave signals from binary neutron star systems with component masses $\in [1,3] M_{\odot}$ and component dimensionless spins $< 0.05$. We also searched for neutron-star--black-hole systems with the same neutron star parameters, black hole mass $\in [2,99] M_{\odot}$ and no restriction on the black hole spin magnitude. We assess the sensitivity of the two LIGO detectors to these systems, and find that they could have detected the merger of binary neutron star systems with component mass distributions of $1.35\pm0.13 M_{\odot}$ at a volume-weighted average distance of $\sim$ 70Mpc, and for neutron-star--black-hole systems with neutron star masses of $1.4M_\odot$ and black hole masses of at least $5M_\odot$, a volume-weighted average distance of at least $\sim$ 110Mpc. From this we constrain with 90% confidence the merger rate to be less than 12,600 Gpc$^{-3}$yr$^{-1}$ for binary-neutron star systems and less than 3,600 Gpc$^{-3}$yr$^{-1}$ for neutron-star--black-hole systems. We find that if no detection of neutron-star binary mergers is made in the next two Advanced LIGO and Advanced Virgo observing runs we would place significant constraints on the merger rates. Finally, assuming a rate of $10^{+20}_{-7}$Gpc$^{-3}$yr$^{-1}$ short gamma ray bursts beamed towards the Earth and assuming that all short gamma-ray bursts have binary-neutron-star (neutron-star--black-hole) progenitors we can use our 90% confidence rate upper limits to constrain the beaming angle of the gamma-ray burst to be greater than ${2.3^{+1.7}_{-1.1}}^{\circ}$ (${4.3^{+3.1}_{-1.9}}^{\circ}$). △ Less

Submitted 25 July, 2016; originally announced July 2016.

Comments: 17 pages, 8 figures

Search for continuous gravitational waves from neutron stars in globular cluster NGC 6544

Authors: B. P. Abbott, R. Abbott, T. D. Abbott, M. R. Abernathy, F. Acernese, K. Ackley, C. Adams, T. Adams, P. Addesso, R. X. Adhikari, V. B. Adya, C. Affeldt, M. Agathos, K. Agatsuma, N. Aggarwal, O. D. Aguiar, L. Aiello, A. Ain, B. Allen, A. Allocca, P. A. Altin, S. B. Anderson, W. G. Anderson, K. Arai, M. C. Araya , et al. (931 additional authors not shown)

Abstract: We describe a directed search for continuous gravitational waves in data from the sixth LIGO science run. The target was the nearby globular cluster NGC 6544 at a distance of 2.7 kpc. The search covered a broad band of frequencies along with first and second frequency derivatives for a fixed sky position. The search coherently integrated data from the two LIGO interferometers over a time span of 9… ▽ More We describe a directed search for continuous gravitational waves in data from the sixth LIGO science run. The target was the nearby globular cluster NGC 6544 at a distance of 2.7 kpc. The search covered a broad band of frequencies along with first and second frequency derivatives for a fixed sky position. The search coherently integrated data from the two LIGO interferometers over a time span of 9.2 days using the matched-filtering F-statistic. We found no gravitational-wave signals and set 95% confidence upper limits as stringent as 6.0 X 10^{-25} on intrinsic strain and 8.5 X 10^{-6} on fiducial ellipticity. These values beat the indirect limits from energy conservation for stars with characteristic spindown ages older than 300 years and are within the range of theoretical predictions for possible neutron-star ellipticities. An important feature of this search was use of a barycentric resampling algorithm which substantially reduced computational cost; this method will be used extensively in searches of Advanced LIGO and Virgo detector data. △ Less

Submitted 7 July, 2016; originally announced July 2016.

Comments: 15 pages, 4 figures

Report number: LIGO-P1500225

Journal ref: Phys. Rev. D 95, 082005 (2017)

Binary Black Hole Mergers in the first Advanced LIGO Observing Run

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, B. P. Abbott, R. Abbott, T. D. Abbott, M. R. Abernathy, F. Acernese, K. Ackley, C. Adams, T. Adams, P. Addesso, R. X. Adhikari, V. B. Adya, C. Affeldt, M. Agathos, K. Agatsuma, N. Aggarwal, O. D. Aguiar, L. Aiello, A. Ain, P. Ajith, B. Allen, A. Allocca, P. A. Altin, S. B. Anderson , et al. (950 additional authors not shown)

Abstract: The first observational run of the Advanced LIGO detectors, from September 12, 2015 to January 19, 2016, saw the first detections of gravitational waves from binary black hole mergers. In this paper we present full results from a search for binary black hole merger signals with total masses up to $100 M_\odot$ and detailed implications from our observations of these systems. Our search, based on g… ▽ More The first observational run of the Advanced LIGO detectors, from September 12, 2015 to January 19, 2016, saw the first detections of gravitational waves from binary black hole mergers. In this paper we present full results from a search for binary black hole merger signals with total masses up to $100 M_\odot$ and detailed implications from our observations of these systems. Our search, based on general-relativistic models of gravitational wave signals from binary black hole systems, unambiguously identified two signals, GW150914 and GW151226, with a significance of greater than $5σ$ over the observing period. It also identified a third possible signal, LVT151012, with substantially lower significance, and with an 87% probability of being of astrophysical origin. We provide detailed estimates of the parameters of the observed systems. Both GW150914 and GW151226 provide an unprecedented opportunity to study the two-body motion of a compact-object binary in the large velocity, highly nonlinear regime. We do not observe any deviations from general relativity, and place improved empirical bounds on several high-order post-Newtonian coefficients. From our observations we infer stellar-mass binary black hole merger rates lying in the range $9-240 \mathrm{Gpc}^{-3} \mathrm{yr}^{-1}$. These observations are beginning to inform astrophysical predictions of binary black hole formation rates, and indicate that future observing runs of the Advanced detector network will yield many more gravitational wave detections. △ Less

Submitted 23 October, 2018; v1 submitted 15 June, 2016; originally announced June 2016.

Comments: 36 pages + 4 appendices, 14 figures; updated author list and references, final journal version, with appended Erratum for figures 7 and 8

Report number: LIGO-P1600088

Journal ref: Phys. Rev. X 6, 041015 (2016)

Supplement: The Rate of Binary Black Hole Mergers Inferred from Advanced LIGO Observations Surrounding GW150914

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, B. P. Abbott, R. Abbott, T. D. Abbott, M. R. Abernathy, F. Acernese, K. Ackley, C. Adams, T. Adams, P. Addesso, R. X. Adhikari, V. B. Adya, C. Affeldt, M. Agathos, K. Agatsuma, N. Aggarwal, O. D. Aguiar, L. Aiello, A. Ain, P. Ajith, B. Allen, A. Allocca, P. A. Altin, S. B. Anderson , et al. (942 additional authors not shown)

Abstract: Supplemental information for a Letter reporting the rate of binary black hole (BBH) coalescences inferred from 16 days of coincident Advanced LIGO observations surrounding the transient gravitational wave signal GW150914. In that work we reported various rate estimates whose 90\% credible intervals fell in the range $2$--$600 \, \mathrm{Gpc}^{-3} \mathrm{yr}^{-1}$. Here we give details of our meth… ▽ More Supplemental information for a Letter reporting the rate of binary black hole (BBH) coalescences inferred from 16 days of coincident Advanced LIGO observations surrounding the transient gravitational wave signal GW150914. In that work we reported various rate estimates whose 90\% credible intervals fell in the range $2$--$600 \, \mathrm{Gpc}^{-3} \mathrm{yr}^{-1}$. Here we give details of our method and computations, including information about our search pipelines, a derivation of our likelihood function for the analysis, a description of the astrophysical search trigger distribution expected from merging BBHs, details on our computational methods, a description of the effects and our model for calibration uncertainty, and an analytic method of estimating our detector sensitivity that is calibrated to our measurements. △ Less

Submitted 20 September, 2016; v1 submitted 13 June, 2016; originally announced June 2016.

Comments: 14 pages, 7 figures, as accepted by ApJS (see also associated Letter)

Report number: LIGO-P1500217

Journal ref: ApJS, 227, 14, 2016

Directly comparing GW150914 with numerical solutions of Einstein's equations for binary black hole coalescence

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, B. P. Abbott, R. Abbott, T. D. Abbott, M. R. Abernathy, F. Acernese, K. Ackley, C. Adams, T. Adams, P. Addesso, R. X. Adhikari, V. B. Adya, C. Affeldt, M. Agathos, K. Agatsuma, N. Aggarwal, O. D. Aguiar, L. Aiello, A. Ain, P. Ajith, B. Allen, A. Allocca, P. A. Altin, S. B. Anderson , et al. (957 additional authors not shown)

Abstract: We compare GW150914 directly to simulations of coalescing binary black holes in full general relativity, accounting for all the spin-weighted quadrupolar modes, and separately accounting for all the quadrupolar and octopolar modes. Consistent with the posterior distributions reported in LVC_PE[1] (at 90% confidence), we find the data are compatible with a wide range of nonprecessing and precessing… ▽ More We compare GW150914 directly to simulations of coalescing binary black holes in full general relativity, accounting for all the spin-weighted quadrupolar modes, and separately accounting for all the quadrupolar and octopolar modes. Consistent with the posterior distributions reported in LVC_PE[1] (at 90% confidence), we find the data are compatible with a wide range of nonprecessing and precessing simulations. Followup simulations performed using previously-estimated binary parameters most resemble the data. Comparisons including only the quadrupolar modes constrain the total redshifted mass Mz \in [64 - 82M_\odot], mass ratio q = m2/m1 \in [0.6,1], and effective aligned spin χ_eff \in [-0.3, 0.2], where χ_{eff} = (S1/m1 + S2/m2) \cdot\hat{L} /M. Including both quadrupolar and octopolar modes, we find the mass ratio is even more tightly constrained. Simulations with extreme mass ratios and effective spins are highly inconsistent with the data, at any mass. Several nonprecessing and precessing simulations with similar mass ratio and χ_{eff} are consistent with the data. Though correlated, the components' spins (both in magnitude and directions) are not significantly constrained by the data. For nonprecessing binaries, interpolating between simulations, we reconstruct a posterior distribution consistent with previous results. The final black hole's redshifted mass is consistent with Mf,z between 64.0 - 73.5M_\odot and the final black hole's dimensionless spin parameter is consistent with af = 0.62 - 0.73. As our approach invokes no intermediate approximations to general relativity and can strongly reject binaries whose radiation is inconsistent with the data, our analysis provides a valuable complement to LVC_PE[1]. △ Less

Submitted 3 June, 2016; originally announced June 2016.

Comments: 29 pages. Full version of tables available electronically with this submission

Report number: LIGO P1500263

Journal ref: Phys. Rev. D 94, 064035 (2016)

An improved analysis of GW150914 using a fully spin-precessing waveform model

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, B. P. Abbott, R. Abbott, T. D. Abbott, M. R. Abernathy, F. Acernese, K. Ackley, C. Adams, T. Adams, P. Addesso, R. X. Adhikari, V. B. Adya, C. Affeldt, M. Agathos, K. Agatsuma, N. Aggarwal, O. D. Aguiar, L. Aiello, A. Ain, P. Ajith, B. Allen, A. Allocca, P. A. Altin, S. B. Anderson , et al. (951 additional authors not shown)

Abstract: This paper presents updated estimates of source parameters for GW150914, a binary black-hole coalescence event detected by the Laser Interferometer Gravitational-wave Observatory (LIGO) on September 14, 2015 [1]. Reference presented parameter estimation [2] of the source using a 13-dimensional, phenomenological precessing-spin model (precessing IMRPhenom) and a 11-dimensional nonprecessing effecti… ▽ More This paper presents updated estimates of source parameters for GW150914, a binary black-hole coalescence event detected by the Laser Interferometer Gravitational-wave Observatory (LIGO) on September 14, 2015 [1]. Reference presented parameter estimation [2] of the source using a 13-dimensional, phenomenological precessing-spin model (precessing IMRPhenom) and a 11-dimensional nonprecessing effective-one-body (EOB) model calibrated to numerical-relativity simulations, which forces spin alignment (nonprecessing EOBNR). Here we present new results that include a 15-dimensional precessing-spin waveform model (precessing EOBNR) developed within the EOB formalism. We find good agreement with the parameters estimated previously [2], and we quote updated component masses of $35^{+5}_{-3}\mathrm{M}_\odot$ and $30^{+3}_{-4}\mathrm{M}_\odot$ (where errors correspond to 90% symmetric credible intervals). We also present slightly tighter constraints on the dimensionless spin magnitudes of the two black holes, with a primary spin estimate $0.65$ and a secondary spin estimate $0.75$ at 90% probability. Reference [2] estimated the systematic parameter-extraction errors due to waveform-model uncertainty by combining the posterior probability densities of precessing IMRPhenom and nonprecessing EOBNR. Here we find that the two precessing-spin models are in closer agreement, suggesting that these systematic errors are smaller than previously quoted. △ Less

Submitted 3 June, 2016; originally announced June 2016.

Comments: 18 pages, 9 figures

Report number: LIGO-P1600048

Journal ref: Phys. Rev. X 6, 041014 (2016)

Comprehensive All-sky Search for Periodic Gravitational Waves in the Sixth Science Run LIGO Data

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, B. P. Abbott, R. Abbott, T. D. Abbott, M. R. Abernathy, F. Acernese, K. Ackley, C. Adams, T. Adams, P. Addesso, R. X. Adhikari, V. B. Adya, C. Affeldt, M. Agathos, K. Agatsuma, N. Aggarwal, O. D. Aguiar, L. Aiello, A. Ain, P. Ajith, B. Allen, A. Allocca, P. A. Altin, S. B. Anderson , et al. (937 additional authors not shown)

Abstract: We report on a comprehensive all-sky search for periodic gravitational waves in the frequency band 100-1500 Hz and with a frequency time derivative in the range of $[-1.18, +1.00]\times 10^{-8}$ Hz/s. Such a signal could be produced by a nearby spinning and slightly non-axisymmetric isolated neutron star in our galaxy. This search uses the data from the Initial LIGO sixth science run and covers a… ▽ More We report on a comprehensive all-sky search for periodic gravitational waves in the frequency band 100-1500 Hz and with a frequency time derivative in the range of $[-1.18, +1.00]\times 10^{-8}$ Hz/s. Such a signal could be produced by a nearby spinning and slightly non-axisymmetric isolated neutron star in our galaxy. This search uses the data from the Initial LIGO sixth science run and covers a larger parameter space with respect to any past search. A Loosely Coherent detection pipeline was applied to follow up weak outliers in both Gaussian (95% recovery rate) and non-Gaussian (75% recovery rate) bands. No gravitational wave signals were observed, and upper limits were placed on their strength. Our smallest upper limit on worst-case (linearly polarized) strain amplitude $h_0$ is ${9.7}\times 10^{-25}$ near 169 Hz, while at the high end of our frequency range we achieve a worst-case upper limit of ${5.5}\times 10^{-24}$. Both cases refer to all sky locations and entire range of frequency derivative values. △ Less

Submitted 9 July, 2016; v1 submitted 10 May, 2016; originally announced May 2016.

Journal ref: Phys. Rev. D 94, 042002 (2016)

A First Targeted Search for Gravitational-Wave Bursts from Core-Collapse Supernovae in Data of First-Generation Laser Interferometer Detectors

Authors: B. P. Abbott, R. Abbott, T. D. Abbott, M. R. Abernathy, F. Acernese, K. Ackley, C. Adams, T. Adams, P. Addesso, R. X. Adhikari, V. B. Adya, C. Affeldt, M. Agathos, K. Agatsuma, N. Aggarwal, O. D. Aguiar, L. Aiello, A. Ain, P. Ajith, B. Allen, A. Allocca, P. A. Altin, S. B. Anderson, W. G. Anderson, K. Arai , et al. (942 additional authors not shown)

Abstract: We present results from a search for gravitational-wave bursts coincident with a set of two core-collapse supernovae observed between 2007 and 2011. We employ data from the Laser Interferometer Gravitational-wave Observatory (LIGO), the Virgo gravitational-wave observatory, and the GEO 600 gravitational-wave observatory. The targeted core-collapse supernovae were selected on the basis of (1) proxi… ▽ More We present results from a search for gravitational-wave bursts coincident with a set of two core-collapse supernovae observed between 2007 and 2011. We employ data from the Laser Interferometer Gravitational-wave Observatory (LIGO), the Virgo gravitational-wave observatory, and the GEO 600 gravitational-wave observatory. The targeted core-collapse supernovae were selected on the basis of (1) proximity (within approximately 15 Mpc), (2) tightness of observational constraints on the time of core collapse that defines the gravitational-wave search window, and (3) coincident operation of at least two interferometers at the time of core collapse. We find no plausible gravitational-wave candidates. We present the probability of detecting signals from both astrophysically well-motivated and more speculative gravitational-wave emission mechanisms as a function of distance from Earth, and discuss the implications for the detection of gravitational waves from core-collapse supernovae by the upgraded Advanced LIGO and Virgo detectors. △ Less

Submitted 19 May, 2016; v1 submitted 5 May, 2016; originally announced May 2016.

Report number: LIGO-P1400208

Journal ref: Phys. Rev. D 94, 102001 (2016)

Search for transient gravitational waves in coincidence with short duration radio transients during 2007-2013

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, others, :, B. P. Abbott, R. Abbott, T. D. Abbott, M. R. Abernathy, F. Acernese, K. Ackley, C. Adams, T. Adams, P. Addesso, R. X. Adhikari, V. B. Adya, C. Affeldt, M. Agathos, K. Agatsuma, N. Aggarwal, O. D. Aguiar, L. Aiello, A. Ain, P. Ajith, B. Allen, A. Allocca , et al. (977 additional authors not shown)

Abstract: We present an archival search for transient gravitational-wave bursts in coincidence with 27 single pulse triggers from Green Bank Telescope pulsar surveys, using the LIGO, Virgo and GEO interferometer network. We also discuss a check for gravitational-wave signals in coincidence with Parkes Fast Radio Bursts using similar methods. Data analyzed in these searches were collected between 2007 and 20… ▽ More We present an archival search for transient gravitational-wave bursts in coincidence with 27 single pulse triggers from Green Bank Telescope pulsar surveys, using the LIGO, Virgo and GEO interferometer network. We also discuss a check for gravitational-wave signals in coincidence with Parkes Fast Radio Bursts using similar methods. Data analyzed in these searches were collected between 2007 and 2013. Possible sources of emission of both short-duration radio signals and transient gravitational-wave emission include starquakes on neutron stars, binary coalescence of neutron stars, and cosmic string cusps. While no evidence for gravitational-wave emission in coincidence with these radio transients was found, the current analysis serves as a prototype for similar future searches using more sensitive second-generation interferometers. △ Less

Submitted 21 June, 2016; v1 submitted 5 May, 2016; originally announced May 2016.

Report number: LIGO-P1400154

Journal ref: Phys. Rev. D 93, 122008 (2016)

High-energy Neutrino follow-up search of Gravitational Wave Event GW150914 with ANTARES and IceCube

Authors: S. Adrián-Martínez, A. Albert, M. André, G. Anton, M. Ardid, J. -J. Aubert, T. Avgitas, B. Baret, J. Barrios-Martí, S. Basa, V. Bertin, S. Biagi, R. Bormuth, M. C. Bouwhuis, R. Bruijn, J. Brunner, J. Busto, A. Capone, L. Caramete, J. Carr, S. Celli, T. Chiarusi, M. Circella, A. Coleiro, R. Coniglione , et al. (1369 additional authors not shown)

Abstract: We present the high-energy-neutrino follow-up observations of the first gravitational wave transient GW150914 observed by the Advanced LIGO detectors on Sept. 14th, 2015. We search for coincident neutrino candidates within the data recorded by the IceCube and ANTARES neutrino detectors. A possible joint detection could be used in targeted electromagnetic follow-up observations, given the significa… ▽ More We present the high-energy-neutrino follow-up observations of the first gravitational wave transient GW150914 observed by the Advanced LIGO detectors on Sept. 14th, 2015. We search for coincident neutrino candidates within the data recorded by the IceCube and ANTARES neutrino detectors. A possible joint detection could be used in targeted electromagnetic follow-up observations, given the significantly better angular resolution of neutrino events compared to gravitational waves. We find no neutrino candidates in both temporal and spatial coincidence with the gravitational wave event. Within 500 s of the gravitational wave event, the number of neutrino candidates detected by IceCube and ANTARES were three and zero, respectively. This is consistent with the expected atmospheric background, and none of the neutrino candidates were directionally coincident with GW150914. We use this non-detection to constrain neutrino emission from the gravitational-wave event. △ Less

Submitted 22 April, 2016; v1 submitted 17 February, 2016; originally announced February 2016.

Comments: 16 pages, 2 figures

Journal ref: Phys. Rev. D 93, 122010 (2016)

Calibration of the Advanced LIGO detectors for the discovery of the binary black-hole merger GW150914

Authors: The LIGO Scientific Collaboration, B. P. Abbott, R. Abbott, T. D. Abbott, M. R. Abernathy, K. Ackley, C. Adams, P. Addesso, R. X. Adhikari, V. B. Adya, C. Affeldt, N. Aggarwal, O. D. Aguiar, A. Ain, P. Ajith, B. Allen, P. A. Altin, D. V. Amariutei, S. B. Anderson, W. G. Anderson, K. Arai, M. C. Araya, C. C. Arceneaux, J. S. Areeda, K. G. Arun , et al. (702 additional authors not shown)

Abstract: In Advanced LIGO, detection and astrophysical source parameter estimation of the binary black hole merger GW150914 requires a calibrated estimate of the gravitational-wave strain sensed by the detectors. Producing an estimate from each detector's differential arm length control loop readout signals requires applying time domain filters, which are designed from a frequency domain model of the detec… ▽ More In Advanced LIGO, detection and astrophysical source parameter estimation of the binary black hole merger GW150914 requires a calibrated estimate of the gravitational-wave strain sensed by the detectors. Producing an estimate from each detector's differential arm length control loop readout signals requires applying time domain filters, which are designed from a frequency domain model of the detector's gravitational-wave response. The gravitational-wave response model is determined by the detector's opto-mechanical response and the properties of its feedback control system. The measurements used to validate the model and characterize its uncertainty are derived primarily from a dedicated photon radiation pressure actuator, with cross-checks provided by optical and radio frequency references. We describe how the gravitational-wave readout signal is calibrated into equivalent gravitational-wave-induced strain and how the statistical uncertainties and systematic errors are assessed. Detector data collected over 38 calendar days, from September 12 to October 20, 2015, contain the event GW150914 and approximately 16 of coincident data used to estimate the event false alarm probability. The calibration uncertainty is less than 10% in magnitude and 10 degrees in phase across the relevant frequency band 20 Hz to 1 kHz. △ Less

Submitted 28 February, 2017; v1 submitted 11 February, 2016; originally announced February 2016.

Comments: 15 pages, 10 figures

Journal ref: Phys. Rev. D 95, 062003 (2017)

The Rate of Binary Black Hole Mergers Inferred from Advanced LIGO Observations Surrounding GW150914

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, B. P. Abbott, R. Abbott, T. D. Abbott, M. R. Abernathy, F. Acernese, K. Ackley, C. Adams, T. Adams, P. Addesso, R. X. Adhikari, V. B. Adya, C. Affeldt, M. Agathos, K. Agatsuma, N. Aggarwal, O. D. Aguiar, L. Aiello, A. Ain, P. Ajith, B. Allen, A. Allocca, P. A. Altin, S. B. Anderson , et al. (942 additional authors not shown)

Abstract: A transient gravitational-wave signal, GW150914, was identified in the twin Advanced LIGO detectors on September 14, 2015 at 09:50:45 UTC. To assess the implications of this discovery, the detectors remained in operation with unchanged configurations over a period of 39 d around the time of the signal. At the detection statistic threshold corresponding to that observed for GW150914, our search of… ▽ More A transient gravitational-wave signal, GW150914, was identified in the twin Advanced LIGO detectors on September 14, 2015 at 09:50:45 UTC. To assess the implications of this discovery, the detectors remained in operation with unchanged configurations over a period of 39 d around the time of the signal. At the detection statistic threshold corresponding to that observed for GW150914, our search of the 16 days of simultaneous two-detector observational data is estimated to have a false alarm rate (FAR) of $< 4.9 \times 10^{-6} \, \mathrm{yr}^{-1}$, yielding a $p$-value for GW150914 of $< 2 \times 10^{-7}$. Parameter estimation followup on this trigger identifies its source as a binary black hole (BBH) merger with component masses $(m_1, m_2) = \left(36^{+5}_{-4},29^{+4}_{-4}\right) \, M_\odot$ at redshift $z = 0.09^{+0.03}_{-0.04}$ (median and 90\% credible range). Here we report on the constraints these observations place on the rate of BBH coalescences. Considering only GW150914, assuming that all BBHs in the Universe have the same masses and spins as this event, imposing a search FAR threshold of 1 per 100 years, and assuming that the BBH merger rate is constant in the comoving frame, we infer a 90% credible range of merger rates between $2$--$53 \, \mathrm{Gpc}^{-3} \mathrm{yr}^{-1}$ (comoving frame). Incorporating all search triggers that pass a much lower threshold while accounting for the uncertainty in the astrophysical origin of each trigger, we estimate a higher rate, ranging from $13$--$600 \, \mathrm{Gpc}^{-3} \mathrm{yr}^{-1}$ depending on assumptions about the BBH mass distribution. All together, our various rate estimates fall in the conservative range $2$--$600 \, \mathrm{Gpc}^{-3} \mathrm{yr}^{-1}$. △ Less

Submitted 20 September, 2016; v1 submitted 11 February, 2016; originally announced February 2016.

Comments: 15 pages, 3 figures, as accepted by ApJL (see also associated Supplement)

Report number: LIGO-P1500217

Journal ref: ApJL, 833, 1, 2016; for supplement see ApJS, 227, 14, 2016, arXiv:1606.03939