Showing 1–50 of 132 results for author: Shankar, N

CHSER: A Dataset and Case Study on Generative Speech Error Correction for Child ASR

Authors: Natarajan Balaji Shankar, Zilai Wang, Kaiyuan Zhang, Mohan Shi, Abeer Alwan

Abstract: Automatic Speech Recognition (ASR) systems struggle with child speech due to its distinct acoustic and linguistic variability and limited availability of child speech datasets, leading to high transcription error rates. While ASR error correction (AEC) methods have improved adult speech transcription, their effectiveness on child speech remains largely unexplored. To address this, we introduce CHS… ▽ More Automatic Speech Recognition (ASR) systems struggle with child speech due to its distinct acoustic and linguistic variability and limited availability of child speech datasets, leading to high transcription error rates. While ASR error correction (AEC) methods have improved adult speech transcription, their effectiveness on child speech remains largely unexplored. To address this, we introduce CHSER, a Generative Speech Error Correction (GenSEC) dataset for child speech, comprising 200K hypothesis-transcription pairs spanning diverse age groups and speaking styles. Results demonstrate that fine-tuning on the CHSER dataset achieves up to a 28.5% relative WER reduction in a zero-shot setting and a 13.3% reduction when applied to fine-tuned ASR systems. Additionally, our error analysis reveals that while GenSEC improves substitution and deletion errors, it struggles with insertions and child-specific disfluencies. These findings highlight the potential of GenSEC for improving child ASR. △ Less

Submitted 23 May, 2025; originally announced May 2025.

Comments: Accepted in Interspeech 2025

A characteristic p analogue of the André--Pink--Zannier conjecture

Authors: Yeuk Hay Joshua Lam, Ananth N. Shankar

Abstract: We investigate the analogue of the André--Pink--Zannier conjecture in characteristic $p$. Precisely, we prove it for ordinary function field-valued points with big monodromy, in Shimura varieties of Hodge type. We also prove an algebraic characteristic $p$ analogue of Hecke-equidistribution (as formulated by Mazur) for Shimura varieties of Hodge type. We prove our main results by a global and loca… ▽ More We investigate the analogue of the André--Pink--Zannier conjecture in characteristic $p$. Precisely, we prove it for ordinary function field-valued points with big monodromy, in Shimura varieties of Hodge type. We also prove an algebraic characteristic $p$ analogue of Hecke-equidistribution (as formulated by Mazur) for Shimura varieties of Hodge type. We prove our main results by a global and local analysis of prime-to-$p$ Hecke correspondences, and by showing that Weyl special points are abundant in positive characterstic. △ Less

Submitted 18 May, 2025; originally announced May 2025.

Comments: 23 pages, comments welcome!

Selective Attention Merging for low resource tasks: A case study of Child ASR

Authors: Natarajan Balaji Shankar, Zilai Wang, Eray Eren, Abeer Alwan

Abstract: While Speech Foundation Models (SFMs) excel in various speech tasks, their performance for low-resource tasks such as child Automatic Speech Recognition (ASR) is hampered by limited pretraining data. To address this, we explore different model merging techniques to leverage knowledge from models trained on larger, more diverse speech corpora. This paper also introduces Selective Attention (SA) Mer… ▽ More While Speech Foundation Models (SFMs) excel in various speech tasks, their performance for low-resource tasks such as child Automatic Speech Recognition (ASR) is hampered by limited pretraining data. To address this, we explore different model merging techniques to leverage knowledge from models trained on larger, more diverse speech corpora. This paper also introduces Selective Attention (SA) Merge, a novel method that selectively merges task vectors from attention matrices to enhance SFM performance on low-resource tasks. Experiments on the MyST database show significant reductions in relative word error rate of up to 14%, outperforming existing model merging and data augmentation techniques. By combining data augmentation techniques with SA Merge, we achieve a new state-of-the-art WER of 8.69 on the MyST database for the Whisper-small model, highlighting the potential of SA Merge for improving low-resource ASR. △ Less

Submitted 14 January, 2025; originally announced January 2025.

Comments: To appear in ICASSP 2025

Golden Ratio Search: A Low-Power Adversarial Attack for Deep Learning based Modulation Classification

Authors: Deepsayan Sadhukhan, Nitin Priyadarshini Shankar, Sheetal Kalyani

Abstract: We propose a minimal power white box adversarial attack for Deep Learning based Automatic Modulation Classification (AMC). The proposed attack uses the Golden Ratio Search (GRS) method to find powerful attacks with minimal power. We evaluate the efficacy of the proposed method by comparing it with existing adversarial attack approaches. Additionally, we test the robustness of the proposed attack a… ▽ More We propose a minimal power white box adversarial attack for Deep Learning based Automatic Modulation Classification (AMC). The proposed attack uses the Golden Ratio Search (GRS) method to find powerful attacks with minimal power. We evaluate the efficacy of the proposed method by comparing it with existing adversarial attack approaches. Additionally, we test the robustness of the proposed attack against various state-of-the-art architectures, including defense mechanisms such as adversarial training, binarization, and ensemble methods. Experimental results demonstrate that the proposed attack is powerful, requires minimal power, and can be generated in less time, significantly challenging the resilience of current AMC methods. △ Less

Submitted 17 September, 2024; originally announced September 2024.

Comments: 5 pages, 1 figure, 3 tables

SOA: Reducing Domain Mismatch in SSL Pipeline by Speech Only Adaptation for Low Resource ASR

Authors: Natarajan Balaji Shankar, Ruchao Fan, Abeer Alwan

Abstract: Recently, speech foundation models have gained popularity due to their superiority in finetuning downstream ASR tasks. However, models finetuned on certain domains, such as LibriSpeech (adult read speech), behave poorly on other domains (child or noisy speech). One solution could be collecting as much labeled and diverse data as possible for joint finetuning on various domains. However, collecting… ▽ More Recently, speech foundation models have gained popularity due to their superiority in finetuning downstream ASR tasks. However, models finetuned on certain domains, such as LibriSpeech (adult read speech), behave poorly on other domains (child or noisy speech). One solution could be collecting as much labeled and diverse data as possible for joint finetuning on various domains. However, collecting target domain speech-text paired data and retraining the model is often costly and computationally expensive. In this paper, we introduce a simple yet effective method, speech only adaptation (SOA), based on speech foundation models (Wav2vec 2.0), which requires only speech input data from the target domain. Specifically, the Wav2vec 2.0 feature encoder is continually pretrained with the Wav2vec 2.0 loss on both the source and target domain data for domain adaptation, while the contextual encoder is frozen. Compared to a source domain finetuned model with the feature encoder being frozen during training, we find that replacing the frozen feature encoder with the adapted one provides significant WER improvements to the target domain while preserving the performance of the source domain. The effectiveness of SOA is examined on various low resource or domain mismatched ASR settings, including adult-child and clean-noisy speech. △ Less

Submitted 15 June, 2024; originally announced June 2024.

Comments: Accepted to ICASSP 2024 SASB Workshop

Benchmarking Children's ASR with Supervised and Self-supervised Speech Foundation Models

Authors: Ruchao Fan, Natarajan Balaji Shankar, Abeer Alwan

Abstract: Speech foundation models (SFMs) have achieved state-of-the-art results for various speech tasks in supervised (e.g. Whisper) or self-supervised systems (e.g. WavLM). However, the performance of SFMs for child ASR has not been systematically studied. In addition, there is no benchmark for child ASR with standard evaluations, making the comparisons of novel ideas difficult. In this paper, we initiat… ▽ More Speech foundation models (SFMs) have achieved state-of-the-art results for various speech tasks in supervised (e.g. Whisper) or self-supervised systems (e.g. WavLM). However, the performance of SFMs for child ASR has not been systematically studied. In addition, there is no benchmark for child ASR with standard evaluations, making the comparisons of novel ideas difficult. In this paper, we initiate and present a comprehensive benchmark on several child speech databases based on various SFMs (Whisper, Wav2vec2.0, HuBERT, and WavLM). Moreover, we investigate finetuning strategies by comparing various data augmentation and parameter-efficient finetuning (PEFT) methods. We observe that the behaviors of these methods are different when the model size increases. For example, PEFT matches the performance of full finetuning for large models but worse for small models. To stabilize finetuning using augmented data, we propose a perturbation invariant finetuning (PIF) loss as a regularization. △ Less

Submitted 15 June, 2024; originally announced June 2024.

Comments: To appear in Interspeech 2024

Integral canonical models of exceptional Shimura varieties

Authors: Benjamin Bakker, Ananth N Shankar, Jacob Tsimerman

Abstract: We prove that Shimura varieties admit integral canonical models for sufficiently large primes. In the case of abelian-type Shimura varieties, this recovers work of Kisin-Kottwitz for sufficiently large primes. We also prove the existence of integral canonical models for images of period maps corresponding to geometric families. We deduce several consequences from this, including an unramified rigi… ▽ More We prove that Shimura varieties admit integral canonical models for sufficiently large primes. In the case of abelian-type Shimura varieties, this recovers work of Kisin-Kottwitz for sufficiently large primes. We also prove the existence of integral canonical models for images of period maps corresponding to geometric families. We deduce several consequences from this, including an unramified rigid analogue of Borel's extension theorem, a version of Tate semisimplicity, CM lifting theorems, and a weakened version of Tate's isogeny theorem for ordinary points. △ Less

Submitted 25 February, 2025; v1 submitted 20 May, 2024; originally announced May 2024.

Comments: 37 pages. We have corrected an error in the proof of the main theorem, which did not account for multiple fibers. We now use extension results of Fontaine-Lafaille modules. Notably, we use Falting's theory of Fontaine-Lafaille modules over ramified rings of integers. The results are unchanged, except we can no longer prove the (unramified) Borel extension result. Comments welcome!

$p$-adic hyperbolicity for moduli spaces of abelian motives

Authors: Abhishek Oswal, Ananth N. Shankar, Xinwen Zhu, Anand Patel

Abstract: We prove that Shimura varieties of abelian type satisfy a $p$-adic Borel-extension property over discretely valued fields. More precisely, let $\mathsf{D}$ denote the rigid-analytic closed unit disc and $\mathsf{D}^{\times} = \mathsf{D} \setminus \{0\}$, let $X$ be a smooth rigid-analytic variety, and let $S(G,\mathcal{H})_{\mathsf{K}}$ denote a Shimura variety of abelian type with torsion-free le… ▽ More We prove that Shimura varieties of abelian type satisfy a $p$-adic Borel-extension property over discretely valued fields. More precisely, let $\mathsf{D}$ denote the rigid-analytic closed unit disc and $\mathsf{D}^{\times} = \mathsf{D} \setminus \{0\}$, let $X$ be a smooth rigid-analytic variety, and let $S(G,\mathcal{H})_{\mathsf{K}}$ denote a Shimura variety of abelian type with torsion-free level structure. We prove every rigid-analytic map defined over a discretely valued $p$-adic field $\mathsf{D}^{\times} \times X \rightarrow S(G,\mathcal{H})_{\mathsf{K}}^{\textrm{an}}$ extends to an analytic map $\mathsf{D} \times X \rightarrow (S(G,\mathcal{H})_{\mathsf{K}}^{\textrm{BB}})^{\textrm{an}}$, where $S(G,\mathcal{H})_{\mathsf{K}}^{\textrm{BB}}$ is the Baily-Borel compactification of $S(G,\mathcal{H})_{\mathsf{K}}$. We also deduce various applications to algebraicity of analytic maps, degenerations of families of abeloids, and to $p$-adic notions of hyperbolicity. Along the way, we also prove an extension result for Rapoport-Zink spaces. △ Less

Submitted 8 October, 2024; v1 submitted 9 October, 2023; originally announced October 2023.

CoProver: A Recommender System for Proof Construction

Authors: Eric Yeh, Briland Hitaj, Sam Owre, Maena Quemener, Natarajan Shankar

Abstract: Interactive Theorem Provers (ITPs) are an indispensable tool in the arsenal of formal method experts as a platform for construction and (formal) verification of proofs. The complexity of the proofs in conjunction with the level of expertise typically required for the process to succeed can often hinder the adoption of ITPs. A recent strain of work has investigated methods to incorporate machine le… ▽ More Interactive Theorem Provers (ITPs) are an indispensable tool in the arsenal of formal method experts as a platform for construction and (formal) verification of proofs. The complexity of the proofs in conjunction with the level of expertise typically required for the process to succeed can often hinder the adoption of ITPs. A recent strain of work has investigated methods to incorporate machine learning models trained on ITP user activity traces as a viable path towards full automation. While a valuable line of investigation, many problems still require human supervision to be completed fully, thus applying learning methods to assist the user with useful recommendations can prove more fruitful. Following the vein of user assistance, we introduce CoProver, a proof recommender system based on transformers, capable of learning from past actions during proof construction, all while exploring knowledge stored in the ITP concerning previous proofs. CoProver employs a neurally learnt sequence-based encoding of sequents, capturing long distance relationships between terms and hidden cues therein. We couple CoProver with the Prototype Verification System (PVS) and evaluate its performance on two key areas, namely: (1) Next Proof Action Recommendation, and (2) Relevant Lemma Retrieval given a library of theories. We evaluate CoProver on a series of well-established metrics originating from the recommender system and information retrieval communities, respectively. We show that CoProver successfully outperforms prior state of the art applied to recommendation in the domain. We conclude by discussing future directions viable for CoProver (and similar approaches) such as argument prediction, proof summarization, and more. △ Less

Submitted 1 March, 2023; originally announced April 2023.

Comments: 18 pages, 5 figures, 3 tables

Evidential Transactions with Cyberlogic

Authors: Harald Ruess, Natarajan Shankar

Abstract: Cyberlogic is an enabling logical foundation for building and analyzing digital transactions that involve the exchange of digital forms of evidence. It is based on an extension of (first-order) intuitionistic predicate logic with an attestation and a knowledge modality. The key ideas underlying Cyberlogic are extremely simple, as (1) public keys correspond to authorizations, (2) transactions are s… ▽ More Cyberlogic is an enabling logical foundation for building and analyzing digital transactions that involve the exchange of digital forms of evidence. It is based on an extension of (first-order) intuitionistic predicate logic with an attestation and a knowledge modality. The key ideas underlying Cyberlogic are extremely simple, as (1) public keys correspond to authorizations, (2) transactions are specified as distributed logic programs, and (3) verifiable evidence is collected by means of distributed proof search. Verifiable evidence, in particular, are constructed from extra-logical elements such as signed documents and cryptographic signatures. Despite this conceptual simplicity of Cyberlogic, central features of authorization policies including trust, delegation, and revocation of authority are definable. An expressive temporal-epistemic logic for specifying distributed authorization policies and protocols is therefore definable in Cyberlogic using a trusted time source. We describe the distributed execution of Cyberlogic programs based on the hereditary Harrop fragment in terms of distributed proof search, and we illustrate some fundamental issues in the distributed construction of certificates. The main principles of encoding and executing cryptographic protocols in Cyberlogic are demonstrated. Finally, a functional encryption scheme is proposed for checking certificates of evidential transactions when policies are kept private. △ Less

Submitted 20 March, 2023; originally announced April 2023.

Comments: 41 pages

Report number: SRI International, CSL Technical Report SRI-CSL-2023-01 MSC Class: 68M11

Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning

Authors: John Hester, Briland Hitaj, Grant Passmore, Sam Owre, Natarajan Shankar, Eric Yeh

Abstract: Cylindrical Algebraic Decomposition (CAD) is a key proof technique for formal verification of cyber-physical systems. CAD is computationally expensive, with worst-case doubly-exponential complexity. Selecting an optimal variable ordering is paramount to efficient use of CAD. Prior work has demonstrated that machine learning can be useful in determining efficient variable orderings. Much of this wo… ▽ More Cylindrical Algebraic Decomposition (CAD) is a key proof technique for formal verification of cyber-physical systems. CAD is computationally expensive, with worst-case doubly-exponential complexity. Selecting an optimal variable ordering is paramount to efficient use of CAD. Prior work has demonstrated that machine learning can be useful in determining efficient variable orderings. Much of this work has been driven by CAD problems extracted from applications of the MetiTarski theorem prover. In this paper, we revisit this prior work and consider issues of bias in existing training and test data. We observe that the classical MetiTarski benchmarks are heavily biased towards particular variable orderings. To address this, we apply symmetries to create a new dataset containing more than 41K MetiTarski challenges designed to remove bias. Furthermore, we evaluate issues of information leakage, and test the generalizability of our models on the new dataset. △ Less

Submitted 27 February, 2023; originally announced February 2023.

Comments: 7 pages, 1 figure, 2 tables

Just-likely intersections on Hilbert modular surfaces

Authors: Asvin G., Qiao He, Ananth N. Shankar

Abstract: In this paper, we prove an intersection-theoretic result pertaining to curves in certain Hilbert modular surfaces in positive characteristic. Specifically, we show that given two appropriate curves C,D parameterizing abelian surfaces with real multiplication, the set of points (x,y) in the product CxD with surfaces parameterized by x and y isogenous to each other is Zariski dense in C x D, thereby… ▽ More In this paper, we prove an intersection-theoretic result pertaining to curves in certain Hilbert modular surfaces in positive characteristic. Specifically, we show that given two appropriate curves C,D parameterizing abelian surfaces with real multiplication, the set of points (x,y) in the product CxD with surfaces parameterized by x and y isogenous to each other is Zariski dense in C x D, thereby proving a case of a just-likely intersection conjecture. We also compute the change in Faltings height under appropriate p-power isogenies of abelian surfaces with real multiplication over characteristic p global fields. △ Less

Submitted 16 January, 2024; v1 submitted 6 September, 2022; originally announced September 2022.

Comments: Accepted version

SuMe: A Dataset Towards Summarizing Biomedical Mechanisms

Authors: Mohaddeseh Bastan, Nishant Shankar, Mihai Surdeanu, Niranjan Balasubramanian

Abstract: Can language models read biomedical texts and explain the biomedical mechanisms discussed? In this work we introduce a biomedical mechanism summarization task. Biomedical studies often investigate the mechanisms behind how one entity (e.g., a protein or a chemical) affects another in a biological context. The abstracts of these publications often include a focused set of sentences that present rel… ▽ More Can language models read biomedical texts and explain the biomedical mechanisms discussed? In this work we introduce a biomedical mechanism summarization task. Biomedical studies often investigate the mechanisms behind how one entity (e.g., a protein or a chemical) affects another in a biological context. The abstracts of these publications often include a focused set of sentences that present relevant supporting statements regarding such relationships, associated experimental evidence, and a concluding sentence that summarizes the mechanism underlying the relationship. We leverage this structure and create a summarization task, where the input is a collection of sentences and the main entities in an abstract, and the output includes the relationship and a sentence that summarizes the mechanism. Using a small amount of manually labeled mechanism sentences, we train a mechanism sentence classifier to filter a large biomedical abstract collection and create a summarization dataset with 22k instances. We also introduce conclusion sentence generation as a pretraining task with 611k instances. We benchmark the performance of large bio-domain language models. We find that while the pretraining task help improves performance, the best model produces acceptable mechanism outputs in only 32% of the instances, which shows the task presents significant challenges in biomedical language understanding and summarization. △ Less

Submitted 9 May, 2022; originally announced May 2022.

Comments: Accepter at LREC2022

DesCert: Design for Certification

Authors: Natarajan Shankar, Devesh Bhatt, Michael Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren

Abstract: The goal of the DARPA Automated Rapid Certification Of Software (ARCOS) program is to "automate the evaluation of software assurance evidence to enable certifiers to determine rapidly that system risk is acceptable." As part of this program, the DesCert project focuses on the assurance-driven development of new software. The DesCert team consists of SRI International, Honeywell Research, and the U… ▽ More The goal of the DARPA Automated Rapid Certification Of Software (ARCOS) program is to "automate the evaluation of software assurance evidence to enable certifiers to determine rapidly that system risk is acceptable." As part of this program, the DesCert project focuses on the assurance-driven development of new software. The DesCert team consists of SRI International, Honeywell Research, and the University of Washington. We have adopted a formal, tool-based approach to the construction of software artifacts that are supported by rigorous evidence. The DesCert workflow integrates evidence generation into a design process that goes from requirements capture and analysis to the decomposition of the high-level software requirements into architecture properties and software components with assertional contracts, and on to software that can be analyzed both dynamically and statically. The generated evidence is organized by means of an assurance ontology and integrated into the RACK knowledge base. △ Less

Submitted 28 March, 2022; originally announced March 2022.

Comments: 142 pages, 63 figures

Report number: SRI-CSL-2022-1 MSC Class: 68N30 ACM Class: D.2.1; D.2.2; D.2.3; D.2.4; D.2.10; D.2.11

On the detection of a cosmic dawn signal in the radio background

Authors: Saurabh Singh, Jishnu Nambissan T., Ravi Subrahmanyan, N. Udaya Shankar, B. S. Girish, A. Raghunathan, R. Somashekar, K. S. Srivani, Mayuri Sathyanarayana Rao

Abstract: The astrophysics of cosmic dawn, when star formation commenced in the first collapsed objects, is predicted to be revealed as spectral and spatial signatures in the cosmic radio background at long wavelengths. The sky-averaged redshifted 21-cm absorption line of neutral hydrogen is a probe of cosmic dawn. The line profile is determined by the evolving thermal state of the gas, radiation background… ▽ More The astrophysics of cosmic dawn, when star formation commenced in the first collapsed objects, is predicted to be revealed as spectral and spatial signatures in the cosmic radio background at long wavelengths. The sky-averaged redshifted 21-cm absorption line of neutral hydrogen is a probe of cosmic dawn. The line profile is determined by the evolving thermal state of the gas, radiation background, Lyman-$α$ radiation from stars scattering off cold primordial gas and the relative populations of the hyperfine spin levels in neutral hydrogen atoms. We report a radiometer measurement of the spectrum of the radio sky in the 55--85~MHz band, which shows that the profile found by Bowman et al. in data taken with the Experiment to Detect the Global Epoch of Reionization Signature (EDGES) low-band instrument is not of astrophysical origin; their best-fitting profile is rejected with 95.3\% confidence. The profile was interpreted to be a signature of cosmic dawn; however, its amplitude was substantially higher than that predicted by standard cosmological models. Explanations for the amplitude of the profile included non-standard cosmology, additional mechanisms for cooling the baryons, perhaps via interactions with millicharged dark matter and an excess radio background at redshifts beyond 17. Our non-detection bears out earlier concerns and suggests that the profile found by Bowman et al. is not evidence for new astrophysics or non-standard cosmology. △ Less

Submitted 13 December, 2021; originally announced December 2021.

Comments: Accepted in principle

Binarized ResNet: Enabling Robust Automatic Modulation Classification at the resource-constrained Edge

Authors: Deepsayan Sadhukhan, Nitin Priyadarshini Shankar, Nancy Nayak, Thulasi Tholeti, Sheetal Kalyani

Abstract: Recently, deep neural networks (DNNs) have been used extensively for automatic modulation classification (AMC), and the results have been quite promising. However, DNNs have high memory and computation requirements making them impractical for edge networks where the devices are resource-constrained. They are also vulnerable to adversarial attacks, which is a significant security concern. This work… ▽ More Recently, deep neural networks (DNNs) have been used extensively for automatic modulation classification (AMC), and the results have been quite promising. However, DNNs have high memory and computation requirements making them impractical for edge networks where the devices are resource-constrained. They are also vulnerable to adversarial attacks, which is a significant security concern. This work proposes a rotated binary large ResNet (RBLResNet) for AMC that can be deployed at the edge network because of low memory and computational complexity. The performance gap between the RBLResNet and existing architectures with floating-point weights and activations can be closed by two proposed ensemble methods: (i) multilevel classification (MC), and (ii) bagging multiple RBLResNets while retaining low memory and computational power. The MC method achieves an accuracy of $93.39\%$ at $10$dB over all the $24$ modulation classes of the Deepsig dataset. This performance is comparable to state-of-the-art (SOTA) performances, with $4.75$ times lower memory and $1214$ times lower computation. Furthermore, RBLResNet also has high adversarial robustness compared to existing DNN models. The proposed MC method with RBLResNets has an adversarial accuracy of $87.25\%$ over a wide range of SNRs, surpassing the robustness of all existing SOTA methods to the best of our knowledge. Properties such as low memory, low computation, and the highest adversarial robustness make it a better choice for robust AMC in low-power edge devices. △ Less

Submitted 17 April, 2023; v1 submitted 27 October, 2021; originally announced October 2021.

Comments: This version has a total of 8 figures and 3 tables. It has extra content on the adversarial robustness of the proposed method that was not present in the previous submission. Also one more ensemble method called RBLResNet-MCK is proposed to improve the performance further

Comparing Human and Machine Bias in Face Recognition

Authors: Samuel Dooley, Ryan Downing, George Wei, Nathan Shankar, Bradon Thymes, Gudrun Thorkelsdottir, Tiye Kurtz-Miott, Rachel Mattson, Olufemi Obiwumi, Valeriia Cherepanova, Micah Goldblum, John P Dickerson, Tom Goldstein

Abstract: Much recent research has uncovered and discussed serious concerns of bias in facial analysis technologies, finding performance disparities between groups of people based on perceived gender, skin type, lighting condition, etc. These audits are immensely important and successful at measuring algorithmic bias but have two major challenges: the audits (1) use facial recognition datasets which lack qu… ▽ More Much recent research has uncovered and discussed serious concerns of bias in facial analysis technologies, finding performance disparities between groups of people based on perceived gender, skin type, lighting condition, etc. These audits are immensely important and successful at measuring algorithmic bias but have two major challenges: the audits (1) use facial recognition datasets which lack quality metadata, like LFW and CelebA, and (2) do not compare their observed algorithmic bias to the biases of their human alternatives. In this paper, we release improvements to the LFW and CelebA datasets which will enable future researchers to obtain measurements of algorithmic bias that are not tainted by major flaws in the dataset (e.g. identical images appearing in both the gallery and test set). We also use these new data to develop a series of challenging facial identification and verification questions that we administered to various algorithms and a large, balanced sample of human reviewers. We find that both computer models and human survey participants perform significantly better at the verification task, generally obtain lower accuracy rates on dark-skinned or female subjects for both tasks, and obtain higher accuracy rates when their demographics match that of the question. Computer models are observed to achieve a higher level of accuracy than the survey participants on both tasks and exhibit bias to similar degrees as the human survey participants. △ Less

Submitted 25 October, 2021; v1 submitted 15 October, 2021; originally announced October 2021.

Canonical Heights on Shimura Varieties and the André-Oort Conjecture

Authors: Jonathan Pila, Ananth N. Shankar, Jacob Tsimerman, Hélène Esnault, Michael Groechenig

Abstract: The main purpose of this work is to prove the André-Oort conjecture in full generality. The main purpose of this work is to prove the André-Oort conjecture in full generality. △ Less

Submitted 17 December, 2024; v1 submitted 17 September, 2021; originally announced September 2021.

Comments: The argument has been substantially rewritten to make it clearer, including introduced the notion of a "Solid Height Function" on CM points to make precise what properties are essential

Finiteness of reductions of Hecke orbits

Authors: Mark Kisin, Yeuk Hay Joshua Lam, Ananth N. Shankar, Padmavathi Srinivasan

Abstract: We prove two finiteness results for reductions of Hecke orbits of abelian varieties over local fields: one in the case of supersingular reduction and one in the case of reductive monodromy. As an application, we show that only finitely many abelian varieties on a fixed isogeny leaf admit CM lifts, which in particular implies that in each fixed dimension $g$ only finitely many supersingular abelian… ▽ More We prove two finiteness results for reductions of Hecke orbits of abelian varieties over local fields: one in the case of supersingular reduction and one in the case of reductive monodromy. As an application, we show that only finitely many abelian varieties on a fixed isogeny leaf admit CM lifts, which in particular implies that in each fixed dimension $g$ only finitely many supersingular abelian varieties admit CM lifts. Combining this with the Kuga-Satake construction, we also show that only finitely many supersingular $K3$-surfaces admit CM lifts. Our tools include $p$-adic Hodge theory and group theoretic techniques. △ Less

Submitted 10 September, 2021; originally announced September 2021.

Comments: 15 pages

MSC Class: Primary 11G15; 14K10; 14K22

AutoLay: Benchmarking amodal layout estimation for autonomous driving

Authors: Kaustubh Mani, N. Sai Shankar, Krishna Murthy Jatavallabhula, K. Madhava Krishna

Abstract: Given an image or a video captured from a monocular camera, amodal layout estimation is the task of predicting semantics and occupancy in bird's eye view. The term amodal implies we also reason about entities in the scene that are occluded or truncated in image space. While several recent efforts have tackled this problem, there is a lack of standardization in task specification, datasets, and eva… ▽ More Given an image or a video captured from a monocular camera, amodal layout estimation is the task of predicting semantics and occupancy in bird's eye view. The term amodal implies we also reason about entities in the scene that are occluded or truncated in image space. While several recent efforts have tackled this problem, there is a lack of standardization in task specification, datasets, and evaluation protocols. We address these gaps with AutoLay, a dataset and benchmark for amodal layout estimation from monocular images. AutoLay encompasses driving imagery from two popular datasets: KITTI and Argoverse. In addition to fine-grained attributes such as lanes, sidewalks, and vehicles, we also provide semantically annotated 3D point clouds. We implement several baselines and bleeding edge approaches, and release our data and code. △ Less

Submitted 20 August, 2021; originally announced August 2021.

Comments: published in 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

Abelian varieties not isogenous to Jacobians over global fields

Authors: Ananth N. Shankar, Jacob Tsimerman

Abstract: We prove the existence of abelian varieties not isogenous to Jacobians over characterstic $p$ function fields. Our methods involve studying the action of degree $p$ Hecke operators on hypersymmetric points, as well as their effect on the formal neighborhoods using Serre Tate co-ordinates. We moreover use our methods to provide another proof over number fields, as well as proving a version of this… ▽ More We prove the existence of abelian varieties not isogenous to Jacobians over characterstic $p$ function fields. Our methods involve studying the action of degree $p$ Hecke operators on hypersymmetric points, as well as their effect on the formal neighborhoods using Serre Tate co-ordinates. We moreover use our methods to provide another proof over number fields, as well as proving a version of this result over finite fields. △ Less

Submitted 5 March, 2025; v1 submitted 6 May, 2021; originally announced May 2021.

Comments: Final version. To appear in Duke Mathematical Journal

A Floating Octave Bandwidth Cone-Disc Antenna for Detection of Cosmic Dawn

Authors: Agaram Raghunathan, Ravi Subrahmanyan, N. Udaya Shankar, Saurabh Singh, Jishnu Nambissan, K. Kavitha, Nivedita Mahesh, R. Somashekar, Gaddam Sindhu, B. S. Girish, K. S. Srivani, Mayuri S. Rao

Abstract: The critical component of radio astronomy radiometers built to detect redshifted 21-cm signals from Cosmic Dawn is the antenna element. We describe the design and performance of an octave bandwidth cone disc antenna built to detect this signal in the band 40 to 90 MHz. The Cosmic Dawn signal is predicted to be a wideband spectral feature orders of magnitude weaker than sky and ground radio brightn… ▽ More The critical component of radio astronomy radiometers built to detect redshifted 21-cm signals from Cosmic Dawn is the antenna element. We describe the design and performance of an octave bandwidth cone disc antenna built to detect this signal in the band 40 to 90 MHz. The Cosmic Dawn signal is predicted to be a wideband spectral feature orders of magnitude weaker than sky and ground radio brightness. Thus, the engineering challenge is to design an antenna at low frequencies that is able to provide with high fidelity the faint cosmological signal, along with foreground sky, to the receiver. The antenna characteristics must not compromise detection by imprinting any confusing spectral features on the celestial radiation, ground emission or receiver noise. An innovation in the present design is making the antenna electrically smaller than half wavelength and operating it on the surface of a sufficiently large water body. The homogeneous and high permittivity medium beneath the small cone-disc antenna results in an achromatic beam pattern, high radiation efficiency and minimum unwanted confusing spectral features. The antenna design was optimized in WIPL-D and FEKO. A prototype was constructed and deployed on a lake to validate its performance with field measurements. Index Terms: Antenna measurements, radio astronomy, reflector antennas. △ Less

Submitted 8 April, 2021; originally announced April 2021.

Comments: 16 pages, 19 figures, This is a pre-print of the article to be published in the IEEE transactions on antenna and propagation

SARAS 3 CD/EoR Radiometer: Design and Performance of the Receiver

Authors: Jishnu Nambissan T., Ravi Subrahmanyan, R. Somashekar, N. Udaya Shankar, Saurabh Singh, A. Raghunathan, B. S. Girish, K. S. Srivani, Mayuri Sathyanarayana Rao

Abstract: SARAS is an ongoing experiment aiming to detect the redshifted global 21-cm signal expected from Cosmic Dawn (CD) and the Epoch of Reionization (EoR). Standard cosmological models predict the signal to be present in the redshift range $z \sim $6--35, corresponding to a frequency range 40--200~MHz, as a spectral distortion of amplitude 20--200~mK in the 3~K cosmic microwave background. Since the si… ▽ More SARAS is an ongoing experiment aiming to detect the redshifted global 21-cm signal expected from Cosmic Dawn (CD) and the Epoch of Reionization (EoR). Standard cosmological models predict the signal to be present in the redshift range $z \sim $6--35, corresponding to a frequency range 40--200~MHz, as a spectral distortion of amplitude 20--200~mK in the 3~K cosmic microwave background. Since the signal might span multiple octaves in frequency, and this frequency range is dominated by strong terrestrial Radio Frequency Interference (RFI) and astrophysical foregrounds of Galactic and Extragalactic origin that are several orders of magnitude greater in brightness temperature, design of a radiometer for measurement of this faint signal is a challenging task. It is critical that the instrumental systematics do not result in additive or multiplicative confusing spectral structures in the measured sky spectrum and thus preclude detection of the weak 21-cm signal. Here we present the system design of the SARAS~3 version of the receiver. New features in the evolved design include Dicke switching, double differencing and optical isolation for improved accuracy in calibration and rejection of additive and multiplicative systematics. We derive and present the measurement equations for the SARAS~3 receiver configuration and calibration scheme, and provide results of laboratory tests performed using various precision terminations that qualify the performance of the radiometer receiver for the science goal. △ Less

Submitted 4 April, 2021; originally announced April 2021.

Comments: This is a pre-print of an article published in Experimental Astronomy. The final authenticated version is available online at: https://doi.org/10.1007/s10686-020-09697-2

Journal ref: Experimental Astronomy (2021)

SARAS CD/EoR Radiometer: Design and performance of the Digital Correlation Spectrometer

Authors: B. S. Girish, K. S. Srivani, Ravi Subrahmanyan, N. Udaya Shankar, Saurabh Singh, T. Jishnu Nambissan, Mayuri Sathyanarayana Rao, R. Somashekar, A. Raghunathan

Abstract: In the currently accepted model for cosmic baryon evolution, Cosmic Dawn and the Epoch of Reionization are significant times when first light from the first luminous objects emerged, transformed and subsequently ionized the primordial gas. The 21 cm hyperfine transition of neutral hydrogen, redshifted from these cosmic times to a frequency range of 40 to 200 MHz, has been recognized as an importan… ▽ More In the currently accepted model for cosmic baryon evolution, Cosmic Dawn and the Epoch of Reionization are significant times when first light from the first luminous objects emerged, transformed and subsequently ionized the primordial gas. The 21 cm hyperfine transition of neutral hydrogen, redshifted from these cosmic times to a frequency range of 40 to 200 MHz, has been recognized as an important probe of the physics of CD/EoR. The global 21-cm signal is predicted to be a spectral distortion of a few 10's to a few 100's of mK, which is expected to be present in the cosmic radio background as a trace additive component. SARAS, Shaped Antenna measurement of the background RAdio Spectrum, is a spectral radiometer purpose designed to detect the weak 21-cm signal from CD/EoR. An important subsystem of the radiometer, the digital correlation spectrometer, is developed around a high speed digital signal processing platform called pSPEC. pSPEC is built around two quad 10 bit analog-to-digital converters and a Virtex 6 field programmable gate array, with provision for multiple Gigabit Ethernet and 4.5 Gbps fibre optic interfaces. Here we describe the system design of the digital spectrometer, the pSPEC board, and the adaptation of pSPEC to implement a high spectral resolution of about 61 kHz, high dynamic range correlation spectrometer covering the entire CD/EoR band. As the SARAS radiometer is required to be deployed in remote locations where terrestrial radio frequency interference is a minimum, the spectrometer is designed to be compact, portable and operating off internal batteries. The paper includes an evaluation of the spectrometer's susceptibility to radio frequency interference and capability to detect signals from CD/EoR. △ Less

Submitted 1 April, 2021; originally announced April 2021.

Comments: 16 pages, 8 figures

Journal ref: Journal of Astronomical Instrumentation Vol. 09, No. 02, 2050006 (2020)

Monocular Multi-Layer Layout Estimation for Warehouse Racks

Authors: Meher Shashwat Nigam, Avinash Prabhu, Anurag Sahu, Puru Gupta, Tanvi Karandikar, N. Sai Shankar, Ravi Kiran Sarvadevabhatla, K. Madhava Krishna

Abstract: Given a monocular colour image of a warehouse rack, we aim to predict the bird's-eye view layout for each shelf in the rack, which we term as multi-layer layout prediction. To this end, we present RackLay, a deep neural network for real-time shelf layout estimation from a single image. Unlike previous layout estimation methods, which provide a single layout for the dominant ground plane alone, Rac… ▽ More Given a monocular colour image of a warehouse rack, we aim to predict the bird's-eye view layout for each shelf in the rack, which we term as multi-layer layout prediction. To this end, we present RackLay, a deep neural network for real-time shelf layout estimation from a single image. Unlike previous layout estimation methods, which provide a single layout for the dominant ground plane alone, RackLay estimates the top-view and front-view layout for each shelf in the considered rack populated with objects. RackLay's architecture and its variants are versatile and estimate accurate layouts for diverse scenes characterized by varying number of visible shelves in an image, large range in shelf occupancy factor and varied background clutter. Given the extreme paucity of datasets in this space and the difficulty involved in acquiring real data from warehouses, we additionally release a flexible synthetic dataset generation pipeline WareSynth which allows users to control the generation process and tailor the dataset according to contingent application. The ablations across architectural variants and comparison with strong prior baselines vindicate the efficacy of RackLay as an apt architecture for the novel problem of multi-layered layout estimation. We also show that fusing the top-view and front-view enables 3D reasoning applications such as metric free space estimation for the considered rack. △ Less

Submitted 28 October, 2021; v1 submitted 16 March, 2021; originally announced March 2021.

Comments: Visit our project repository at https://github.com/Avinash2468/RackLay

Global Results for the Inhomogeneous Muskat Problem

Authors: Neel Patel, Nikhil Shankar

Abstract: The inhomogeneous Muskat problem models the dynamics of an interface between two fluids of differing characteristics inside a non-uniform porous medium. We consider the case of a porous media with a permeability jump across a horizontal boundary away from an interface between two fluids of different viscosities and densities. For initial data of explicit medium size, depending on the characteristi… ▽ More The inhomogeneous Muskat problem models the dynamics of an interface between two fluids of differing characteristics inside a non-uniform porous medium. We consider the case of a porous media with a permeability jump across a horizontal boundary away from an interface between two fluids of different viscosities and densities. For initial data of explicit medium size, depending on the characteristics of the fluids and porous media, we will prove the global existence and uniqueness of a solution which is instantly analytic and decays in time to the flat interface. △ Less

Submitted 2 October, 2021; v1 submitted 15 February, 2021; originally announced February 2021.

Picard ranks of K3 surfaces over function fields and the Hecke orbit conjecture

Authors: Davesh Maulik, Ananth N. Shankar, Yunqing Tang

Abstract: Let $\mathscr{X} \rightarrow C$ be a non-isotrivial and generically ordinary family of K3 surfaces over a proper curve $C$ in characteristic $p \geq 5$. We prove that the geometric Picard rank jumps at infinitely many closed points of $C$. More generally, suppose that we are given the canonical model of a Shimura variety $\mathcal{S}$ of orthogonal type, associated to a lattice of signature… ▽ More Let $\mathscr{X} \rightarrow C$ be a non-isotrivial and generically ordinary family of K3 surfaces over a proper curve $C$ in characteristic $p \geq 5$. We prove that the geometric Picard rank jumps at infinitely many closed points of $C$. More generally, suppose that we are given the canonical model of a Shimura variety $\mathcal{S}$ of orthogonal type, associated to a lattice of signature $(b,2)$ that is self-dual at $p$. We prove that any generically ordinary proper curve $C$ in $\mathcal{S}_{\overline{\mathbb{F}}_p}$ intersects special divisors of $\mathcal{S}_{\overline{\mathbb{F}}_p}$ at infinitely many points. As an application, we prove the ordinary Hecke orbit conjecture of Chai--Oort in this setting; that is, we show that ordinary points in $\mathcal{S}_{\overline{\mathbb{F}}_p}$ have Zariski-dense Hecke orbits. We also deduce the ordinary Hecke orbit conjecture for certain families of unitary Shimura varieties. △ Less

Submitted 17 November, 2020; originally announced November 2020.

Comments: 39 pages

MonoLayout: Amodal scene layout from a single image

Authors: Kaustubh Mani, Swapnil Daga, Shubhika Garg, N. Sai Shankar, Krishna Murthy Jatavallabhula, K. Madhava Krishna

Abstract: In this paper, we address the novel, highly challenging problem of estimating the layout of a complex urban driving scenario. Given a single color image captured from a driving platform, we aim to predict the bird's-eye view layout of the road and other traffic participants. The estimated layout should reason beyond what is visible in the image, and compensate for the loss of 3D information due to… ▽ More In this paper, we address the novel, highly challenging problem of estimating the layout of a complex urban driving scenario. Given a single color image captured from a driving platform, we aim to predict the bird's-eye view layout of the road and other traffic participants. The estimated layout should reason beyond what is visible in the image, and compensate for the loss of 3D information due to projection. We dub this problem amodal scene layout estimation, which involves "hallucinating" scene layout for even parts of the world that are occluded in the image. To this end, we present MonoLayout, a deep neural network for real-time amodal scene layout estimation from a single image. We represent scene layout as a multi-channel semantic occupancy grid, and leverage adversarial feature learning to hallucinate plausible completions for occluded image parts. Due to the lack of fair baseline methods, we extend several state-of-the-art approaches for road-layout estimation and vehicle occupancy estimation in bird's-eye view to the amodal setup for rigorous evaluation. By leveraging temporal sensor fusion to generate training labels, we significantly outperform current art over a number of datasets. On the KITTI and Argoverse datasets, we outperform all baselines by a significant margin. We also make all our annotations, and code publicly available. A video abstract of this paper is available https://www.youtube.com/watch?v=HcroGyo6yRQ . △ Less

Submitted 19 February, 2020; originally announced February 2020.

Comments: To be presented at WACV 2020 Video: https://www.youtube.com/watch?v=HcroGyo6yRQ Project page: https://hbutsuak95.github.io/monolayout

Noise dependent Super Gaussian-Coherence based dual microphone Speech Enhancement for hearing aid application using smartphone

Authors: Nikhil Shankar, Gautam S Bhat, Chandan K A Reddy, Issa Panahi

Abstract: In this paper, the coherence between speech and noise signals is used to obtain a Speech Enhancement (SE) gain function, in combination with a Super Gaussian Joint Maximum a Posteriori (SGJMAP) single microphone SE gain function. The proposed SE method can be implemented on a smartphone that works as an assistive device to hearing aids. Although coherence SE gain function suppresses the background… ▽ More In this paper, the coherence between speech and noise signals is used to obtain a Speech Enhancement (SE) gain function, in combination with a Super Gaussian Joint Maximum a Posteriori (SGJMAP) single microphone SE gain function. The proposed SE method can be implemented on a smartphone that works as an assistive device to hearing aids. Although coherence SE gain function suppresses the background noise well, it distorts the speech. In contrary, SE using SGJMAP improves speech quality with additional musical noise, which we contain by using a post filter. The weighted union of these two gain functions strikes a balance between noise suppression and speech distortion. A 'weighting' parameter is introduced in the derived gain function to allow the smartphone user to control the weighting factor based on different background noise and their comfort level of hearing. Objective and subjective measures of the proposed method show effective improvement in comparison to standard techniques considered in this paper for several noisy conditions at signal to noise ratio levels of -5 dB, 0 dB and 5 dB. △ Less

Submitted 26 January, 2020; originally announced January 2020.

Comments: 4 pages, 3 figures

A Verified Packrat Parser Interpreter for Parsing Expression Grammars

Authors: Clement Blaudeau, Natarajan Shankar

Abstract: Parsing expression grammars (PEGs) offer a natural opportunity for building verified parser interpreters based on higher-order parsing combinators. PEGs are expressive, unambiguous, and efficient to parse in a top-down recursive descent style. We use the rich type system of the PVS specification language and verification system to formalize the metatheory of PEGs and define a reference implementat… ▽ More Parsing expression grammars (PEGs) offer a natural opportunity for building verified parser interpreters based on higher-order parsing combinators. PEGs are expressive, unambiguous, and efficient to parse in a top-down recursive descent style. We use the rich type system of the PVS specification language and verification system to formalize the metatheory of PEGs and define a reference implementation of a recursive parser interpreter for PEGs. In order to ensure termination of parsing, we define a notion of a well-formed grammar. Rather than relying on an inductive definition of parsing, we use abstract syntax trees that represent the computational trace of the parser to provide an effective proof certificate for correct parsing and ensure that parsing properties including soundness and completeness are maintained. The correctness properties are embedded in the types of the operations so that the proofs can be easily constructed from local proof obligations. Building on the reference parser interpreter, we define a packrat parser interpreter as well as an extension that is capable of semantic interpretation. Both these parser interpreters are proved equivalent to the reference one. All of the parsers are executable. The proofs are formalized in mathematical terms so that similar parser interpreters can be defined in any specification language with a type system similar to PVS. △ Less

Submitted 13 January, 2020; originally announced January 2020.

Comments: 15 pages, 15 figures, Certified Proofs and Programs

Exceptional jumps of Picard ranks of reductions of K3 surfaces over number fields

Authors: Ananth N. Shankar, Arul Shankar, Yunqing Tang, Salim Tayou

Abstract: Given a K3 surface $X$ over a number field $K$ with potentially good reduction everywhere, we prove that the set of primes of $K$ where the geometric Picard rank jumps is infinite. As a corollary, we prove that either $X_{\overline{K}}$ has infinitely many rational curves or $X$ has infinitely many unirational specializations. Our result on Picard ranks is a special case of more general results on… ▽ More Given a K3 surface $X$ over a number field $K$ with potentially good reduction everywhere, we prove that the set of primes of $K$ where the geometric Picard rank jumps is infinite. As a corollary, we prove that either $X_{\overline{K}}$ has infinitely many rational curves or $X$ has infinitely many unirational specializations. Our result on Picard ranks is a special case of more general results on exceptional classes for K3 type motives associated to GSpin Shimura varieties. These general results have several other applications. For instance, we prove that an abelian surface over a number field $K$ with potentially good reduction everywhere is isogenous to a product of elliptic curves modulo infinitely many primes of $K$. △ Less

Submitted 29 August, 2022; v1 submitted 16 September, 2019; originally announced September 2019.

Comments: Final version. To appear in Forum of Mathematics, Pi

MSC Class: 11G18; 14J28; 11G10

Improving the Epoch of Reionization Power Spectrum Results from Murchison Widefield Array Season 1 Observations

Authors: N. Barry, M. Wilensky, C. M. Trott, B. Pindor, A. P. Beardsley, B. J. Hazelton, I. S. Sullivan, M. F. Morales, J. C. Pober, J. Line, B. Greig, R. Byrne, A. Lanman, W. Li, C. H. Jordan, R. C. Joseph, B. McKinley, M. Rahimi, S. Yoshiura, J. D. Bowman, B. M. Gaensler, J. N. Hewitt, D. C. Jacobs, D. A. Mitchell, N. Udaya Shankar , et al. (5 additional authors not shown)

Abstract: Measurements of 21 cm Epoch of Reionization (EoR) structure are subject to systematics originating from both the analysis and the observation conditions. Using 2013 data from the Murchison Widefield Array (MWA), we show the importance of mitigating both sources of contamination. A direct comparison between results from Beardsley et al. 2016 and our updated analysis demonstrates new precision techn… ▽ More Measurements of 21 cm Epoch of Reionization (EoR) structure are subject to systematics originating from both the analysis and the observation conditions. Using 2013 data from the Murchison Widefield Array (MWA), we show the importance of mitigating both sources of contamination. A direct comparison between results from Beardsley et al. 2016 and our updated analysis demonstrates new precision techniques, lowering analysis systematics by a factor of 2.8 in power. We then further lower systematics by excising observations contaminated by ultra-faint RFI, reducing by an additional factor of 3.8 in power for the zenith pointing. With this enhanced analysis precision and newly developed RFI mitigation, we calculate a noise-dominated upper limit on the EoR structure of $Δ^2 \leq 3.9 \times 10^3$ mK$^2$ at $k=0.20$ $\textit{h}$ Mpc$^{-1}$ and $z=7$ using 21 hr of data, improving previous MWA limits by almost an order of magnitude. △ Less

Submitted 8 October, 2019; v1 submitted 2 September, 2019; originally announced September 2019.

Comments: 21 pages, 10 figures, published in ApJ, updated title and text

Families of elliptic curves ordered by conductor

Authors: Ananth N. Shankar, Arul Shankar, Xiaoheng Wang

Abstract: In this article, we study the family of elliptic curves $E/\mathbb{Q}$, having good reduction at $2$ and $3$, and whose $j$-invariants are small. Within this set of elliptic curves, we consider the following two subfamilies: first, the set of elliptic curves $E$ such that the ratio $Δ(E)/C(E)$ is squarefree; and second, the set of elliptic curves $E$ such that $Δ(E)/C(E)$ is bounded by a small pow… ▽ More In this article, we study the family of elliptic curves $E/\mathbb{Q}$, having good reduction at $2$ and $3$, and whose $j$-invariants are small. Within this set of elliptic curves, we consider the following two subfamilies: first, the set of elliptic curves $E$ such that the ratio $Δ(E)/C(E)$ is squarefree; and second, the set of elliptic curves $E$ such that $Δ(E)/C(E)$ is bounded by a small power $(<3/4)$ of $C(E)$. Both these families are conjectured to contain a positive proportion of elliptic curves, when ordered by conductor. Our main results determine asymptotics for both these families, when ordered by conductor. Moreover, we prove that the average size of the $2$-Selmer groups of elliptic curves in the first family, again when these curves are ordered by their conductors, is $3$. This implies that the average rank of these elliptic curves is finite, and bounded by $1.5$. △ Less

Submitted 30 April, 2019; originally announced April 2019.

MSC Class: 11G05; 11R29; 11R45; 11E76

Almost ordinary abelian varieties over finite fields

Authors: Abhishek Oswal, Ananth N. Shankar

Abstract: We provide a characterization of almost ordinary abelian varieties over finite fields, and use this characterization to provide lower bounds for the sizes of some almost ordinary isogeny classes. We provide a characterization of almost ordinary abelian varieties over finite fields, and use this characterization to provide lower bounds for the sizes of some almost ordinary isogeny classes. △ Less

Submitted 6 January, 2019; originally announced January 2019.

Reductions of abelian surfaces over global function fields

Authors: Davesh Maulik, Ananth N. Shankar, Yunqing Tang

Abstract: Let $A$ be a non-isotrivial ordinary abelian surface over a global function field with good reduction everywhere. Suppose that $A$ does not have real multiplication by any real quadratic field with discriminant a multiple of $p$. We prove that there are infinitely many places modulo which $A$ is isogenous to the product of two elliptic curves. Let $A$ be a non-isotrivial ordinary abelian surface over a global function field with good reduction everywhere. Suppose that $A$ does not have real multiplication by any real quadratic field with discriminant a multiple of $p$. We prove that there are infinitely many places modulo which $A$ is isogenous to the product of two elliptic curves. △ Less

Submitted 10 August, 2020; v1 submitted 30 December, 2018; originally announced December 2018.

Comments: The sections have been reorganized and some details have been added in order to improve the clarity of the exposition

An individualized super Gaussian single microphone Speech Enhancement for hearing aid users with smartphone as an assistive device

Authors: Chandan K A Reddy, Nikhil Shankar, Gautam Bhat, Ram Charan, Issa Panahi

Abstract: In this letter, we derive a new super Gaussian Joint Maximum a Posteriori based single microphone speech enhancement gain function. The developed Speech Enhancement method is implemented on a smartphone, and this arrangement functions as an assistive device to hearing aids. We introduce a tradeoff parameter in the derived gain function that allows the smartphone user to customize their listening p… ▽ More In this letter, we derive a new super Gaussian Joint Maximum a Posteriori based single microphone speech enhancement gain function. The developed Speech Enhancement method is implemented on a smartphone, and this arrangement functions as an assistive device to hearing aids. We introduce a tradeoff parameter in the derived gain function that allows the smartphone user to customize their listening preference, by controlling the amount of noise suppression and speech distortion in real-time based on their level of hearing comfort perceived in noisy real world acoustic environment. Objective quality and intelligibility measures show the effectiveness of the proposed method in comparison to benchmark techniques considered in this paper. Subjective results reflect the usefulness of the developed Speech Enhancement application in real-world noisy conditions at signal to noise ratio levels of 0 dB and 5 dB. △ Less

Submitted 10 December, 2018; originally announced December 2018.

Comments: 5 pages

A Computationally Efficient and Practically Feasible Two Microphones Blind Speech Separation Method

Authors: Chandan K A Reddy, Gautam Bhat, Nikhil Shankar, Issa Panahi

Abstract: Traditionally, Blind Speech Separation techniques are computationally expensive as they update the demixing matrix at every time frame index, making them impractical to use in many Real-Time applications. In this paper, a robust data-driven two-microphone sound source localization method is used as a criterion to reduce the computational complexity of the Independent Vector Analysis (IVA) Blind Sp… ▽ More Traditionally, Blind Speech Separation techniques are computationally expensive as they update the demixing matrix at every time frame index, making them impractical to use in many Real-Time applications. In this paper, a robust data-driven two-microphone sound source localization method is used as a criterion to reduce the computational complexity of the Independent Vector Analysis (IVA) Blind Speech Separation (BSS) method. IVA is used to separate convolutedly mixed speech and noise sources. The practical feasibility of the proposed method is proved by implementing it on a smartphone device to separate speech and noise in Real-World scenarios for Hearing-Aid applications. The experimental results with objective and subjective tests reveal the practical usability of the developed method in many real-world applications. △ Less

Submitted 10 December, 2018; originally announced December 2018.

Comments: 5 pages

Face Verification and Forgery Detection for Ophthalmic Surgery Images

Authors: Kaushal Bhogale, Nishant Shankar, Adheesh Juvekar, Asutosh Padhi

Abstract: Although modern face verification systems are accessible and accurate, they are not always robust to pose variance and occlusions. Moreover, accurate models require a large amount of data to train. We structure our experiments to operate on small amounts of data obtained from an NGO that funds ophthalmic surgeries. We set up our face verification task as that of verifying pre-operation and post-op… ▽ More Although modern face verification systems are accessible and accurate, they are not always robust to pose variance and occlusions. Moreover, accurate models require a large amount of data to train. We structure our experiments to operate on small amounts of data obtained from an NGO that funds ophthalmic surgeries. We set up our face verification task as that of verifying pre-operation and post-operation images of a patient that undergoes ophthalmic surgery, and as such the post-operation images have occlusions like an eye patch. In this paper, we present a system that performs the face verification task using one-shot learning. To this end, our paper uses deep convolutional networks and compares different model architectures and loss functions. Our best model achieves 85% test accuracy. During inference time, we also attempt to detect image forgeries in addition to performing face verification. To achieve this, we use Error Level Analysis. Finally, we propose an inference pipeline that demonstrates how these techniques can be used to implement an automated face verification and forgery detection system. △ Less

Submitted 15 November, 2018; originally announced November 2018.

The rank two $p$-curvature conjecture on generic curves

Authors: Anand Patel, Ananth N. Shankar, Junho Peter Whang

Abstract: We prove the $p$-curvature conjecture for rank two vector bundles with connection on generic curves, by combining deformation techniques for families of varieties and topological arguments. We prove the $p$-curvature conjecture for rank two vector bundles with connection on generic curves, by combining deformation techniques for families of varieties and topological arguments. △ Less

Submitted 31 May, 2019; v1 submitted 11 November, 2018; originally announced November 2018.

Comments: Improved main result to cover all generic curves. 2 figures. Comments are welcome!

MSC Class: 14G17; 14G22

The Murchison Widefield Array Transients Survey (MWATS). A search for low frequency variability in a bright Southern hemisphere sample

Authors: M. E. Bell, Tara Murphy, P. J. Hancock, J. R. Callingham, S. Johnston, D. L. Kaplan, R. W. Hunstead, E. M. Sadler, S. Croft, S. V. White, N. Hurley-Walker, R. Chhetri, J. S. Morgan, P. G. Edwards, A. Rowlinson, A. R. Offringa, G. Bernardi, J. D. Bowman, F. Briggs, R. J. Cappallo, A. A. Deshpande, B. M. Gaensler, L. J. Greenhill, B. J. Hazelton, M. Johnston-Hollitt , et al. (16 additional authors not shown)

Abstract: We report on a search for low-frequency radio variability in 944 bright (> 4Jy at 154 MHz) unresolved, extragalactic radio sources monitored monthly for several years with the Murchison Widefield Array. In the majority of sources we find very low levels of variability with typical modulation indices < 5%. We detect 15 candidate low frequency variables that show significant long term variability (>… ▽ More We report on a search for low-frequency radio variability in 944 bright (> 4Jy at 154 MHz) unresolved, extragalactic radio sources monitored monthly for several years with the Murchison Widefield Array. In the majority of sources we find very low levels of variability with typical modulation indices < 5%. We detect 15 candidate low frequency variables that show significant long term variability (>2.8 years) with time-averaged modulation indices M = 3.1 - 7.1%. With 7/15 of these variable sources having peaked spectral energy distributions, and only 5.7% of the overall sample having peaked spectra, we find an increase in the prevalence of variability in this spectral class. We conclude that the variability seen in this survey is most probably a consequence of refractive interstellar scintillation and that these objects must have the majority of their flux density contained within angular diameters less than 50 milli-arcsec (which we support with multi-wavelength data). At 154 MHz we demonstrate that interstellar scintillation time-scales become long (~decades) and have low modulation indices, whilst synchrotron driven variability can only produce dynamic changes on time-scales of hundreds of years, with flux density changes less than one milli-jansky (without relativistic boosting). From this work we infer that the low frequency extra-galactic southern sky, as seen by SKA-Low, will be non-variable on time-scales shorter than one year. △ Less

Submitted 23 October, 2018; originally announced October 2018.

Comments: 19 pages, 11 figures

Magneto-dielectric and Magneto-resistive in the Mixed Spinel MgFe2O4

Authors: B. Santhosh Kumar, N. Praveen Shankar, N. Aparna devi, C. Venkateswaran

Abstract: The mixed spinel, MgFe2O4 has been synthesized by ball-milling assisted sintering method. X-ray diffraction study confirms formation of cubic MgFe2O4 and the lattice parameter values calculated are a = b = c = 8.369(3) Å. Vibrating sample magnetometer measurements at room temperature shows a soft ferrimagnetic nature. Magneto-Dielectric and Magneto-Restive plots confirm coupling at room temperatur… ▽ More The mixed spinel, MgFe2O4 has been synthesized by ball-milling assisted sintering method. X-ray diffraction study confirms formation of cubic MgFe2O4 and the lattice parameter values calculated are a = b = c = 8.369(3) Å. Vibrating sample magnetometer measurements at room temperature shows a soft ferrimagnetic nature. Magneto-Dielectric and Magneto-Restive plots confirm coupling at room temperature in the prepared MgFe2O4. The peak at 500 Oe in the MD plot is due to the canting of Fe3+ ions distributed in octahedral and tetrahedral sites. △ Less

Submitted 28 September, 2018; originally announced September 2018.

Comments: 3 pages 4 figure

Journal ref: AIP Conference Proceedings 2017

SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems

Authors: Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari

Abstract: The recent drive towards achieving greater autonomy and intelligence in robotics has led to high levels of complexity. Autonomous robots increasingly depend on third party off-the-shelf components and complex machine-learning techniques. This trend makes it challenging to provide strong design-time certification of correct operation. To address these challenges, we present SOTER, a robotics prog… ▽ More The recent drive towards achieving greater autonomy and intelligence in robotics has led to high levels of complexity. Autonomous robots increasingly depend on third party off-the-shelf components and complex machine-learning techniques. This trend makes it challenging to provide strong design-time certification of correct operation. To address these challenges, we present SOTER, a robotics programming framework with two key components: (1) a programming language for implementing and testing high-level reactive robotics software and (2) an integrated runtime assurance (RTA) system that helps enable the use of uncertified components, while still providing safety guarantees. SOTER provides language primitives to declaratively construct a RTA module consisting of an advanced, high-performance controller (uncertified), a safe, lower-performance controller (certified), and the desired safety specification. The framework provides a formal guarantee that a well-formed RTA module always satisfies the safety specification, without completely sacrificing performance by using higher performance uncertified components whenever safe. SOTER allows the complex robotics software stack to be constructed as a composition of RTA modules, where each uncertified component is protected using a RTA module. To demonstrate the efficacy of our framework, we consider a real-world case-study of building a safe drone surveillance system. Our experiments both in simulation and on actual drones show that the SOTER-enabled RTA ensures the safety of the system, including when untrusted third-party components have bugs or deviate from the desired behavior. △ Less

Submitted 19 April, 2019; v1 submitted 23 August, 2018; originally announced August 2018.

Comparing Redundant and Sky Model Based Interferometric Calibration: A First Look with Phase II of the MWA

Authors: W. Li, J. C. Pober, B. J. Hazelton, N. Barry, M. F. Morales, I. Sullivan, A. R. Parsons, Z. S. Ali, J. S. Dillon, A. P. Beardsley, J. D. Bowman, F. Briggs, R. Byrne, P. Carroll, B. Crosse, D. Emrich, A. Ewall-Wice, L. Feng, T. M. O. Franzen, J. N. Hewitt, L. Horsley, D. C. Jacobs, M. Johnston-Hollitt, C. Jordan, R. C. Joseph , et al. (31 additional authors not shown)

Abstract: Interferometric arrays seeking to measure the 21 cm signal from the Epoch of Reionization must contend with overwhelmingly bright emission from foreground sources. Accurate recovery of the 21 cm signal will require precise calibration of the array, and several new avenues for calibration have been pursued in recent years, including methods using redundancy in the antenna configuration. The newly u… ▽ More Interferometric arrays seeking to measure the 21 cm signal from the Epoch of Reionization must contend with overwhelmingly bright emission from foreground sources. Accurate recovery of the 21 cm signal will require precise calibration of the array, and several new avenues for calibration have been pursued in recent years, including methods using redundancy in the antenna configuration. The newly upgraded Phase II of Murchison Widefield Array (MWA) is the first interferometer that has large numbers of redundant baselines while retaining good instantaneous UV-coverage. This array therefore provides a unique opportunity to compare redundant calibration with sky-model based algorithms. In this paper, we present the first results from comparing both calibration approaches with MWA Phase II observations. For redundant calibration, we use the package OMNICAL, and produce sky-based calibration solutions with the analysis package Fast Holographic Deconvolution (FHD). There are three principal results. (1) We report the success of OMNICAL on observations of ORBComm satellites, showing substantial agreement between redundant visibility measurements after calibration. (2) We directly compare OMNICAL calibration solutions with those from FHD, and demonstrate these two different calibration schemes give extremely similar results. (3) We explore improved calibration by combining OMNICAL and FHD. We evaluate these combined methods using power spectrum techniques developed for EoR analysis and find evidence for marginal improvements mitigating artifacts in the power spectrum. These results are likely limited by signal-to-noise in the six hours of data used, but suggest future directions for combining these two calibration schemes. △ Less

Submitted 13 July, 2018; originally announced July 2018.

Comments: 20 pages, 11 figures. Accepted to ApJ

SARAS 2 constraints on global 21-cm signals from the Epoch of Reionization

Authors: Saurabh Singh, Ravi Subrahmanyan, N. Udaya Shankar, Mayuri Sathyanarayana Rao, Anastasia Fialkov, Aviad Cohen, Rennan Barkana, B. S. Girish, A. Raghunathan, R. Somashekar, K. S. Srivani

Abstract: Spectral distortions in the cosmic microwave background over the 40--200~MHz band are imprinted by neutral hydrogen in the intergalactic medium prior to the end of reionization. This signal, produced in the redshift range $z = 6-34$ at the rest frame wavelength of 21 cm, has not been detected yet; and poor understanding of high redshift astrophysics results in a large uncertainty in the expected s… ▽ More Spectral distortions in the cosmic microwave background over the 40--200~MHz band are imprinted by neutral hydrogen in the intergalactic medium prior to the end of reionization. This signal, produced in the redshift range $z = 6-34$ at the rest frame wavelength of 21 cm, has not been detected yet; and poor understanding of high redshift astrophysics results in a large uncertainty in the expected spectrum. The SARAS~2 radiometer was purposely designed to detect the sky-averaged 21-cm signal. The instrument, deployed at the Timbaktu Collective (Southern India) in April--June 2017, collected 63~hr of science data, which were examined for the presence of the cosmological 21-cm signal. In our previous work the first-light data from SARAS~2 radiometer were analyzed with Bayesian likelihood-ratio tests using $264$ plausible astrophysical scenarios. In this paper we re-examine the data using an improved analysis based on the frequentist approach and forward modeling. We show that SARAS~2 data rejects 27 models, out of which 25 are rejected at a significance $>5σ$. All the rejected models share the scenario of inefficient heating of the primordial gas by the first population of X-ray sources along with rapid reionization. △ Less

Submitted 30 November, 2017; originally announced November 2017.

Comments: 7 pages, 3 figures, 1 table; submitted to ApJ. Comments and suggestions are welcome

SARAS 2: A Spectral Radiometer for probing Cosmic Dawn and the Epoch of Reionization through detection of the global 21 cm signal

Authors: Saurabh Singh, Ravi Subrahmanyan, N. Udaya Shankar, Mayuri Sathyanarayana Rao, B. S. Girish, A. Raghunathan, R. Somashekar, K. S. Srivani

Abstract: The global 21 cm signal from Cosmic Dawn (CD) and the Epoch of Reionization (EoR), at redshifts $z \sim 6-30$, probes the nature of first sources of radiation as well as physics of the Inter-Galactic Medium (IGM). Given that the signal is predicted to be extremely weak, of wide fractional bandwidth, and lies in a frequency range that is dominated by Galactic and Extragalactic foregrounds as well a… ▽ More The global 21 cm signal from Cosmic Dawn (CD) and the Epoch of Reionization (EoR), at redshifts $z \sim 6-30$, probes the nature of first sources of radiation as well as physics of the Inter-Galactic Medium (IGM). Given that the signal is predicted to be extremely weak, of wide fractional bandwidth, and lies in a frequency range that is dominated by Galactic and Extragalactic foregrounds as well as Radio Frequency Interference, detection of the signal is a daunting task. Critical to the experiment is the manner in which the sky signal is represented through the instrument. It is of utmost importance to design a system whose spectral bandpass and additive spurious can be well calibrated and any calibration residual does not mimic the signal. SARAS is an ongoing experiment that aims to detect the global 21 cm signal. Here we present the design philosophy of the SARAS 2 system and discuss its performance and limitations based on laboratory and field measurements. Laboratory tests with the antenna replaced with a variety of terminations, including a network model for the antenna impedance, show that the gain calibration and modeling of internal additives leave no residuals with Fourier amplitudes exceeding 2~mK, or residual Gaussians of 25 MHz width with amplitudes exceeding 2~mK. Thus, even accounting for reflection and radiation efficiency losses in the antenna, the SARAS~2 system is capable of detection of complex 21-cm profiles at the level predicted by currently favoured models for thermal baryon evolution. △ Less

Submitted 3 October, 2017; originally announced October 2017.

Comments: 44 pages, 17 figures; comments and suggestions are welcome

Exceptional splitting of reductions of abelian surfaces

Authors: Ananth N. Shankar, Yunqing Tang

Abstract: Heuristics based on the Sato--Tate conjecture suggest that an abelian surface defined over a number field has infinitely many places of split reduction. We prove this result for abelian surfaces having real multiplication. Similar to Charles' theorem on exceptional isogeny of reductions of a given pair of elliptic curves and Elkies' theorem on supersingular reductions of a given elliptic curve, ou… ▽ More Heuristics based on the Sato--Tate conjecture suggest that an abelian surface defined over a number field has infinitely many places of split reduction. We prove this result for abelian surfaces having real multiplication. Similar to Charles' theorem on exceptional isogeny of reductions of a given pair of elliptic curves and Elkies' theorem on supersingular reductions of a given elliptic curve, our theorem shows that a density-zero set of primes pertaining to the reduction of abelian varieties is infinite. The proof relies on the Arakelov intersection theory on Hilbert modular surfaces. △ Less

Submitted 21 November, 2017; v1 submitted 25 June, 2017; originally announced June 2017.

Comments: 18 pages. We generalize the main result in v1 (only for abelian surfaces over the field of rationals) to the case of abelian surfaces with real multiplication over any number fields. This improvement is due to the new treatment of finite contribution in arithmetic intersection number in section 3

Journal ref: Duke Math. J. 169, no. 3 (2020), 397-434

First results on the Epoch of Reionization from First Light with SARAS 2

Authors: Saurabh Singh, Ravi Subrahmanyan, N. Udaya Shankar, Mayuri Sathyanarayana Rao, Anastasia Fialkov, Aviad Cohen, Rennan Barkana, B. S. Girish, A. Raghunathan, R. Somashekar, K. S. Srivani

Abstract: Long wavelength spectral distortions in the Cosmic Microwave Background arising from the 21-cm transition in neutral Hydrogen are a key probe of Cosmic Dawn and the Epoch of Reionization. These features may reveal the nature of the first stars and ultra-faint galaxies that transformed the spin temperature and ionization state of the primordial gas. SARAS~2 is a spectral radiometer purposely design… ▽ More Long wavelength spectral distortions in the Cosmic Microwave Background arising from the 21-cm transition in neutral Hydrogen are a key probe of Cosmic Dawn and the Epoch of Reionization. These features may reveal the nature of the first stars and ultra-faint galaxies that transformed the spin temperature and ionization state of the primordial gas. SARAS~2 is a spectral radiometer purposely designed for precision measurement of these monopole or all-sky global 21-cm spectral distortions. We use 63~hr night time observing of the radio background in the frequency band 110-200~MHz with the radiometer deployed at the Timbaktu Collective in Southern India to derive likelihoods for plausible redshifted 21-cm signals predicted by theoretical models. First light with SARAS 2 disfavors the class of models that feature weak X-ray heating (with $f_X \leq 0.1$) and rapid reionization (with peak $\frac{dT_b}{dz} \geq 120~\textrm{mK per unit redshift interval}$ ). △ Less

Submitted 1 August, 2017; v1 submitted 20 March, 2017; originally announced March 2017.

Comments: 6 pages, 5 figures, accepted for publication in ApJ Letters

Spectral energy distribution and radio halo of NGC 253 at low radio frequencies

Authors: A. D. Kapinska, L. Staveley-Smith, R. Crocker, G. R. Meurer, S. Bhandari, N. Hurley-Walker, A. R. Offringa, D. J. Hanish, N. Seymour, R. D. Ekers, M. E. Bell, J. R. Callingham, K. S. Dwarakanath, B. -Q. For, B. M. Gaensler, P. J. Hancock, L. Hindson, M. Johnston-Hollitt, E. Lenc, B. McKinley, J. Morgan, P. Procopio, R. B. Wayth, C. Wu, Q. Zheng , et al. (45 additional authors not shown)

Abstract: We present new radio continuum observations of NGC253 from the Murchison Widefield Array at frequencies between 76 and 227 MHz. We model the broadband radio spectral energy distribution for the total flux density of NGC253 between 76 MHz and 11 GHz. The spectrum is best described as a sum of central starburst and extended emission. The central component, corresponding to the inner 500pc of the sta… ▽ More We present new radio continuum observations of NGC253 from the Murchison Widefield Array at frequencies between 76 and 227 MHz. We model the broadband radio spectral energy distribution for the total flux density of NGC253 between 76 MHz and 11 GHz. The spectrum is best described as a sum of central starburst and extended emission. The central component, corresponding to the inner 500pc of the starburst region of the galaxy, is best modelled as an internally free-free absorbed synchrotron plasma, with a turnover frequency around 230 MHz. The extended emission component of the NGC253 spectrum is best described as a synchrotron emission flattening at low radio frequencies. We find that 34% of the extended emission (outside the central starburst region) at 1 GHz becomes partially absorbed at low radio frequencies. Most of this flattening occurs in the western region of the SE halo, and may be indicative of synchrotron self-absorption of shock re-accelerated electrons or an intrinsic low-energy cut off of the electron distribution. Furthermore, we detect the large-scale synchrotron radio halo of NGC253 in our radio images. At 154 - 231 MHz the halo displays the well known X-shaped/horn-like structure, and extends out to ~8kpc in z-direction (from major axis). △ Less

Submitted 19 February, 2017; v1 submitted 8 February, 2017; originally announced February 2017.

Comments: Accepted for publication in Astrophysical Journal on 06 February 2017

A Matched Filter Technique For Slow Radio Transient Detection And First Demonstration With The Murchison Widefield Array

Authors: L. Feng, R. Vaulin, J. N. Hewitt, R. Remillard, D. L. Kaplan, Tara Murphy, N. Kudryavtseva, P. Hancock, G. Bernardi, J. D. Bowman, F. Briggs, R. J. Cappallo, A. A. Deshpande, B. M. Gaensler, L. J. Greenhill, B. J. Hazelton, M. Johnston-Hollitt, C. J. Lonsdale, S. R. McWhirter, D. A. Mitchell, M. F. Morales, E. Morgan, D. Oberoi, S. M. Ord, T. Prabu , et al. (8 additional authors not shown)

Abstract: Many astronomical sources produce transient phenomena at radio frequencies, but the transient sky at low frequencies (<300 MHz) remains relatively unexplored. Blind surveys with new widefield radio instruments are setting increasingly stringent limits on the transient surface density on various timescales. Although many of these instruments are limited by classical confusion noise from an ensemble… ▽ More Many astronomical sources produce transient phenomena at radio frequencies, but the transient sky at low frequencies (<300 MHz) remains relatively unexplored. Blind surveys with new widefield radio instruments are setting increasingly stringent limits on the transient surface density on various timescales. Although many of these instruments are limited by classical confusion noise from an ensemble of faint, unresolved sources, one can in principle detect transients below the classical confusion limit to the extent that the classical confusion noise is independent of time. We develop a technique for detecting radio transients that is based on temporal matched filters applied directly to time series of images rather than relying on source-finding algorithms applied to individual images. This technique has well-defined statistical properties and is applicable to variable and transient searches for both confusion-limited and non-confusion-limited instruments. Using the Murchison Widefield Array as an example, we demonstrate that the technique works well on real data despite the presence of classical confusion noise, sidelobe confusion noise, and other systematic errors. We searched for transients lasting between 2 minutes and 3 months. We found no transients and set improved upper limits on the transient surface density at 182 MHz for flux densities between ~20--200 mJy, providing the best limits to date for hour- and month-long transients. △ Less

Submitted 12 January, 2017; originally announced January 2017.

Comments: 16 pages, 14 figures, accepted to AJ

Serre-Tate theory for Shimura varieties of Hodge type

Authors: Ananth N. Shankar, Rong Zhou

Abstract: We study the formal neighbourhood of a point in $μ$-ordinary locus of an integral model of a Hodge type Shimura variety. We show that this formal neighbourhood has a structure of a shifted cascade. Moreover we show that the CM points on the formal neighbourhood are dense and that the identity section of the shifted cascade corresponds to a lift of the abelian variety which has a characterization i… ▽ More We study the formal neighbourhood of a point in $μ$-ordinary locus of an integral model of a Hodge type Shimura variety. We show that this formal neighbourhood has a structure of a shifted cascade. Moreover we show that the CM points on the formal neighbourhood are dense and that the identity section of the shifted cascade corresponds to a lift of the abelian variety which has a characterization in terms of its endomorphisms in analogy with the Serre-Tate canonical lift of an ordinary abelian variety. △ Less

Submitted 28 July, 2020; v1 submitted 19 December, 2016; originally announced December 2016.

Comments: Some more details added. Appendix moved to main body of text as section 5