Showing 1–50 of 74 results for author: Govindarajan, S

Do they mean 'us'? Interpreting Referring Expressions in Intergroup Bias

Authors: Venkata S Govindarajan, Matianyu Zang, Kyle Mahowald, David Beaver, Junyi Jessy Li

Abstract: The variations between in-group and out-group speech (intergroup bias) are subtle and could underlie many social phenomena like stereotype perpetuation and implicit bias. In this paper, we model the intergroup bias as a tagging task on English sports comments from forums dedicated to fandom for NFL teams. We curate a unique dataset of over 6 million game-time comments from opposing perspectives (t… ▽ More The variations between in-group and out-group speech (intergroup bias) are subtle and could underlie many social phenomena like stereotype perpetuation and implicit bias. In this paper, we model the intergroup bias as a tagging task on English sports comments from forums dedicated to fandom for NFL teams. We curate a unique dataset of over 6 million game-time comments from opposing perspectives (the teams in the game), each comment grounded in a non-linguistic description of the events that precipitated these comments (live win probabilities for each team). Expert and crowd annotations justify modeling the bias through tagging of implicit and explicit referring expressions and reveal the rich, contextual understanding of language and the world required for this task. For large-scale analysis of intergroup variation, we use LLMs for automated tagging, and discover that some LLMs perform best when prompted with linguistic descriptions of the win probability at the time of the comment, rather than numerical probability. Further, large-scale tagging of comments using LLMs uncovers linear variations in the form of referent across win probabilities that distinguish in-group and out-group utterances. Code and data are available at https://github.com/venkatasg/intergroup-nfl . △ Less

Submitted 25 June, 2024; originally announced June 2024.

Stereo-Knowledge Distillation from dpMV to Dual Pixels for Light Field Video Reconstruction

Authors: Aryan Garg, Raghav Mallampali, Akshat Joshi, Shrisudhan Govindarajan, Kaushik Mitra

Abstract: Dual pixels contain disparity cues arising from the defocus blur. This disparity information is useful for many vision tasks ranging from autonomous driving to 3D creative realism. However, directly estimating disparity from dual pixels is less accurate. This work hypothesizes that distilling high-precision dark stereo knowledge, implicitly or explicitly, to efficient dual-pixel student networks e… ▽ More Dual pixels contain disparity cues arising from the defocus blur. This disparity information is useful for many vision tasks ranging from autonomous driving to 3D creative realism. However, directly estimating disparity from dual pixels is less accurate. This work hypothesizes that distilling high-precision dark stereo knowledge, implicitly or explicitly, to efficient dual-pixel student networks enables faithful reconstructions. This dark knowledge distillation should also alleviate stereo-synchronization setup and calibration costs while dramatically increasing parameter and inference time efficiency. We collect the first and largest 3-view dual-pixel video dataset, dpMV, to validate our explicit dark knowledge distillation hypothesis. We show that these methods outperform purely monocular solutions, especially in challenging foreground-background separation regions using faithful guidance from dual pixels. Finally, we demonstrate an unconventional use case unlocked by dpMV and implicit dark knowledge distillation from an ensemble of teachers for Light Field (LF) video reconstruction. Our LF video reconstruction method is the fastest and most temporally consistent to date. It remains competitive in reconstruction fidelity while offering many other essential properties like high parameter efficiency, implicit disocclusion handling, zero-shot cross-dataset transfer, geometrically consistent inference on higher spatial-angular resolutions, and adaptive baseline control. All source code is available at the anonymous repository https://github.com/Aryan-Garg. △ Less

Submitted 20 May, 2024; originally announced May 2024.

Comments: International Conference of Computational Photography (ICCP 2024), 11 pages and 12 figures

BANF: Band-limited Neural Fields for Levels of Detail Reconstruction

Authors: Ahan Shabanov, Shrisudhan Govindarajan, Cody Reading, Lily Goli, Daniel Rebain, Kwang Moo Yi, Andrea Tagliasacchi

Abstract: Largely due to their implicit nature, neural fields lack a direct mechanism for filtering, as Fourier analysis from discrete signal processing is not directly applicable to these representations. Effective filtering of neural fields is critical to enable level-of-detail processing in downstream applications, and support operations that involve sampling the field on regular grids (e.g. marching cub… ▽ More Largely due to their implicit nature, neural fields lack a direct mechanism for filtering, as Fourier analysis from discrete signal processing is not directly applicable to these representations. Effective filtering of neural fields is critical to enable level-of-detail processing in downstream applications, and support operations that involve sampling the field on regular grids (e.g. marching cubes). Existing methods that attempt to decompose neural fields in the frequency domain either resort to heuristics or require extensive modifications to the neural field architecture. We show that via a simple modification, one can obtain neural fields that are low-pass filtered, and in turn show how this can be exploited to obtain a frequency decomposition of the entire signal. We demonstrate the validity of our technique by investigating level-of-detail reconstruction, and showing how coarser representations can be computed effectively. △ Less

Submitted 10 July, 2024; v1 submitted 19 April, 2024; originally announced April 2024.

Comments: Project Page: https://theialab.github.io/banf

Improved Algorithms for Minimum-Membership Geometric Set Cover

Authors: Sathish Govindarajan, Siddhartha Sarkar

Abstract: Bandyapadhyay et al. introduced the generalized minimum-membership geometric set cover (GMMGSC) problem [SoCG, 2023], which is defined as follows. We are given two sets $P$ and $P'$ of points in $\mathbb{R}^{2}$, $n=\max(|P|, |P'|)$, and a set $\mathcal{S}$ of $m$ axis-parallel unit squares. The goal is to find a subset $\mathcal{S}^{*}\subseteq \mathcal{S}$ that covers all the points in $P$ while… ▽ More Bandyapadhyay et al. introduced the generalized minimum-membership geometric set cover (GMMGSC) problem [SoCG, 2023], which is defined as follows. We are given two sets $P$ and $P'$ of points in $\mathbb{R}^{2}$, $n=\max(|P|, |P'|)$, and a set $\mathcal{S}$ of $m$ axis-parallel unit squares. The goal is to find a subset $\mathcal{S}^{*}\subseteq \mathcal{S}$ that covers all the points in $P$ while minimizing $\mathsf{memb}(P', \mathcal{S}^{*})$, where $\mathsf{memb}(P', \mathcal{S}^{*})=\max_{p\in P'}|\{s\in \mathcal{S}^{*}: p\in s\}|$. We study GMMGSC problem and give a $16$-approximation algorithm that runs in $O(m^2\log m + m^2n)$ time. Our result is a significant improvement to the $144$-approximation given by Bandyapadhyay et al. that runs in $\tilde{O}(nm)$ time. GMMGSC problem is a generalization of another well-studied problem called Minimum Ply Geometric Set Cover (MPGSC), in which the goal is to minimize the ply of $\mathcal{S}^{*}$, where the ply is the maximum cardinality of a subset of the unit squares that have a non-empty intersection. The best-known result for the MPGSC problem is an $8$-approximation algorithm by Durocher et al. that runs in $O(n + m^{8}k^{4}\log k + m^{8}\log m\log k)$ time, where $k$ is the optimal ply value [WALCOM, 2023]. △ Less

Submitted 5 December, 2023; originally announced December 2023.

Comments: To appear in CALDAM 2024

Counterfactually Probing Language Identity in Multilingual Models

Authors: Anirudh Srinivasan, Venkata S Govindarajan, Kyle Mahowald

Abstract: Techniques in causal analysis of language models illuminate how linguistic information is organized in LLMs. We use one such technique, AlterRep, a method of counterfactual probing, to explore the internal structure of multilingual models (mBERT and XLM-R). We train a linear classifier on a binary language identity task, to classify tokens between Language X and Language Y. Applying a counterfactu… ▽ More Techniques in causal analysis of language models illuminate how linguistic information is organized in LLMs. We use one such technique, AlterRep, a method of counterfactual probing, to explore the internal structure of multilingual models (mBERT and XLM-R). We train a linear classifier on a binary language identity task, to classify tokens between Language X and Language Y. Applying a counterfactual probing procedure, we use the classifier weights to project the embeddings into the null space and push the resulting embeddings either in the direction of Language X or Language Y. Then we evaluate on a masked language modeling task. We find that, given a template in Language X, pushing towards Language Y systematically increases the probability of Language Y words, above and beyond a third-party control language. But it does not specifically push the model towards translation-equivalent words in Language Y. Pushing towards Language X (the same direction as the template) has a minimal effect, but somewhat degrades these models. Overall, we take these results as further evidence of the rich structure of massive multilingual language models, which include both a language-specific and language-general component. And we show that counterfactual probing can be fruitfully applied to multilingual models. △ Less

Submitted 28 October, 2023; originally announced October 2023.

Comments: 12 pages, 5 figures, MRL Workshop @ EMNLP 2023

Lil-Bevo: Explorations of Strategies for Training Language Models in More Humanlike Ways

Authors: Venkata S Govindarajan, Juan Diego Rodriguez, Kaj Bostrom, Kyle Mahowald

Abstract: We present Lil-Bevo, our submission to the BabyLM Challenge. We pretrained our masked language models with three ingredients: an initial pretraining with music data, training on shorter sequences before training on longer ones, and masking specific tokens to target some of the BLiMP subtasks. Overall, our baseline models performed above chance, but far below the performance levels of larger LLMs t… ▽ More We present Lil-Bevo, our submission to the BabyLM Challenge. We pretrained our masked language models with three ingredients: an initial pretraining with music data, training on shorter sequences before training on longer ones, and masking specific tokens to target some of the BLiMP subtasks. Overall, our baseline models performed above chance, but far below the performance levels of larger LLMs trained on more data. We found that training on short sequences performed better than training on longer sequences.Pretraining on music may help performance marginally, but, if so, the effect seems small. Our targeted Masked Language Modeling augmentation did not seem to improve model performance in general, but did seem to help on some of the specific BLiMP tasks that we were targeting (e.g., Negative Polarity Items). Training performant LLMs on small amounts of data is a difficult but potentially informative task. While some of our techniques showed some promise, more work is needed to explore whether they can improve performance more than the modest gains here. Our code is available at https://github.com/venkatasg/Lil-Bevo and out models at https://huggingface.co/collections/venkatasg/babylm-653591cdb66f4bf68922873a △ Less

Submitted 26 October, 2023; originally announced October 2023.

Comments: Proceedings of the BabyLM Challenge

Advancement on Security Applications of Private Intersection Sum Protocol

Authors: Yuvaray Athur Raghuvir, Senthil Govindarajan, Sanjeevi Vijayakumar, Pradeep Yadlapalli, Fabio Di Troia

Abstract: Secure computation protocols combine inputs from involved parties to generate an output while kee** their inputs private. Private Set Intersection (PSI) is a secure computation protocol that allows two parties, who each hold a set of items, to learn the intersection of their sets without revealing anything else about the items. Private Intersection Sum (PIS) extends PSI when the two parties want… ▽ More Secure computation protocols combine inputs from involved parties to generate an output while kee** their inputs private. Private Set Intersection (PSI) is a secure computation protocol that allows two parties, who each hold a set of items, to learn the intersection of their sets without revealing anything else about the items. Private Intersection Sum (PIS) extends PSI when the two parties want to learn the cardinality of the intersection, as well as the sum of the associated integer values for each identifier in the intersection, but nothing more. Finally, Private Join and Compute (PJC) is a scalable extension of PIS protocol to help organizations work together with confidential data sets. The extensions proposed in this paper include: (a) extending PJC protocol to additional data columns and applying columnar aggregation based on supported homomorphic operations, (b) exploring Ring Learning with Errors (RLWE) homomorphic encryption schemes to apply arithmetic operations such as sum and sum of squares, (c) ensuring stronger security using mutual authentication of communicating parties using certificates, and (d) develo** a Website to operationalize such a service offering. We applied our results to develop a Proof-of-Concept solution called **gBing, a voter list validation service that allows different states to register, acquire secure communication modules, install it, and then conduct authenticated peer-to-peer communication. We conclude our paper with directions for future research to make such a solution scalable for practical real-life scenarios. △ Less

Submitted 28 August, 2023; originally announced August 2023.

Comments: 15 pages, 2 figures, conference proceeding

Journal ref: Proceedings of the Future Technologies Conference (FTC) 2021, Volume 3. Springer International Publishing, 2022

Counterfactual Probing for the Influence of Affect and Specificity on Intergroup Bias

Authors: Venkata S Govindarajan, Kyle Mahowald, David I. Beaver, Junyi Jessy Li

Abstract: While existing work on studying bias in NLP focues on negative or pejorative language use, Govindarajan et al. (2023) offer a revised framing of bias in terms of intergroup social context, and its effects on language behavior. In this paper, we investigate if two pragmatic features (specificity and affect) systematically vary in different intergroup contexts -- thus connecting this new framing of… ▽ More While existing work on studying bias in NLP focues on negative or pejorative language use, Govindarajan et al. (2023) offer a revised framing of bias in terms of intergroup social context, and its effects on language behavior. In this paper, we investigate if two pragmatic features (specificity and affect) systematically vary in different intergroup contexts -- thus connecting this new framing of bias to language output. Preliminary analysis finds modest correlations between specificity and affect of tweets with supervised intergroup relationship (IGR) labels. Counterfactual probing further reveals that while neural models finetuned for predicting IGR labels reliably use affect in classification, the model's usage of specificity is inconclusive. Code and data can be found at: https://github.com/venkatasg/intergroup-probing △ Less

Submitted 2 June, 2023; v1 submitted 25 May, 2023; originally announced May 2023.

Comments: To appear in Findings of ACL 2023

Gene-SGAN: a method for discovering disease subtypes with imaging and genetic signatures via multi-view weakly-supervised deep clustering

Authors: Zhijian Yang, Junhao Wen, Ahmed Abdulkadir, Yuhan Cui, Guray Erus, Elizabeth Mamourian, Randa Melhem, Dhivya Srinivasan, Sindhuja T. Govindarajan, Jiong Chen, Mohamad Habes, Colin L. Masters, Paul Maruff, Jurgen Fripp, Luigi Ferrucci, Marilyn S. Albert, Sterling C. Johnson, John C. Morris, Pamela LaMontagne, Daniel S. Marcus, Tammie L. S. Benzinger, David A. Wolk, Li Shen, **gxuan Bao, Susan M. Resnick , et al. (3 additional authors not shown)

Abstract: Disease heterogeneity has been a critical challenge for precision diagnosis and treatment, especially in neurologic and neuropsychiatric diseases. Many diseases can display multiple distinct brain phenotypes across individuals, potentially reflecting disease subtypes that can be captured using MRI and machine learning methods. However, biological interpretability and treatment relevance are limite… ▽ More Disease heterogeneity has been a critical challenge for precision diagnosis and treatment, especially in neurologic and neuropsychiatric diseases. Many diseases can display multiple distinct brain phenotypes across individuals, potentially reflecting disease subtypes that can be captured using MRI and machine learning methods. However, biological interpretability and treatment relevance are limited if the derived subtypes are not associated with genetic drivers or susceptibility factors. Herein, we describe Gene-SGAN - a multi-view, weakly-supervised deep clustering method - which dissects disease heterogeneity by jointly considering phenotypic and genetic data, thereby conferring genetic correlations to the disease subtypes and associated endophenotypic signatures. We first validate the generalizability, interpretability, and robustness of Gene-SGAN in semi-synthetic experiments. We then demonstrate its application to real multi-site datasets from 28,858 individuals, deriving subtypes of Alzheimer's disease and brain endophenotypes associated with hypertension, from MRI and SNP data. Derived brain phenotypes displayed significant differences in neuroanatomical patterns, genetic determinants, biological and clinical biomarkers, indicating potentially distinct underlying neuropathologic processes, genetic drivers, and susceptibility factors. Overall, Gene-SGAN is broadly applicable to disease subty** and endophenotype discovery, and is herein tested on disease-related, genetically-driven neuroimaging phenotypes. △ Less

Submitted 25 January, 2023; originally announced January 2023.

How people talk about each other: Modeling Generalized Intergroup Bias and Emotion

Authors: Venkata S Govindarajan, Katherine Atwell, Barea Sinno, Malihe Alikhani, David I. Beaver, Junyi Jessy Li

Abstract: Current studies of bias in NLP rely mainly on identifying (unwanted or negative) bias towards a specific demographic group. While this has led to progress recognizing and mitigating negative bias, and having a clear notion of the targeted group is necessary, it is not always practical. In this work we extrapolate to a broader notion of bias, rooted in social science and psychology literature. We m… ▽ More Current studies of bias in NLP rely mainly on identifying (unwanted or negative) bias towards a specific demographic group. While this has led to progress recognizing and mitigating negative bias, and having a clear notion of the targeted group is necessary, it is not always practical. In this work we extrapolate to a broader notion of bias, rooted in social science and psychology literature. We move towards predicting interpersonal group relationship (IGR) - modeling the relationship between the speaker and the target in an utterance - using fine-grained interpersonal emotions as an anchor. We build and release a dataset of English tweets by US Congress members annotated for interpersonal emotion -- the first of its kind, and 'found supervision' for IGR labels; our analyses show that subtle emotional signals are indicative of different biases. While humans can perform better than chance at identifying IGR given an utterance, we show that neural models perform much better; furthermore, a shared encoding between IGR and interpersonal perceived emotion enabled performance gains in both tasks. Data and code for this paper are available at https://github.com/venkatasg/interpersonal-bias △ Less

Submitted 13 February, 2023; v1 submitted 14 September, 2022; originally announced September 2022.

Comments: To be presented at EACL 2023

$\widehat{sl(2)}$ decomposition of denominator formulae of some BKM Lie superalgebras -- II

Authors: Suresh Govindarajan, Mohammad Shabbir

Abstract: The square-root of Siegel modular forms of CHL Z_N orbifolds of type II compactifications are denominator formulae for some Borcherds-Kac-Moody Lie superalgebras for N=1,2,3,4. We study the decomposition of these Siegel modular forms in terms of characters of two sub-algebras: one is a $\widehat{sl(2)}$ and the second is a Borcherds extension of the $\widehat{sl(2)}$. This is a continuation of our… ▽ More The square-root of Siegel modular forms of CHL Z_N orbifolds of type II compactifications are denominator formulae for some Borcherds-Kac-Moody Lie superalgebras for N=1,2,3,4. We study the decomposition of these Siegel modular forms in terms of characters of two sub-algebras: one is a $\widehat{sl(2)}$ and the second is a Borcherds extension of the $\widehat{sl(2)}$. This is a continuation of our previous work where we studied the case of Siegel modular forms appearing in the context of Umbral moonshine. This situation is more intricate and provides us with a new example (for N=5) that did not appear in that case. We restrict our analysis to the first N terms in the expansion as a first attempt at deconstructing the Siegel modular forms and unravelling the structure of potentially new Lie algebras that occur for N=5,6. △ Less

Submitted 9 August, 2022; v1 submitted 21 July, 2022; originally announced July 2022.

Comments: 26 pages (v2) Some results added and typos fixed

Synthesizing Light Field Video from Monocular Video

Authors: Shrisudhan Govindarajan, Prasan Shedligeri, Sarah, Kaushik Mitra

Abstract: The hardware challenges associated with light-field(LF) imaging has made it difficult for consumers to access its benefits like applications in post-capture focus and aperture control. Learning-based techniques which solve the ill-posed problem of LF reconstruction from sparse (1, 2 or 4) views have significantly reduced the requirement for complex hardware. LF video reconstruction from sparse vie… ▽ More The hardware challenges associated with light-field(LF) imaging has made it difficult for consumers to access its benefits like applications in post-capture focus and aperture control. Learning-based techniques which solve the ill-posed problem of LF reconstruction from sparse (1, 2 or 4) views have significantly reduced the requirement for complex hardware. LF video reconstruction from sparse views poses a special challenge as acquiring ground-truth for training these models is hard. Hence, we propose a self-supervised learning-based algorithm for LF video reconstruction from monocular videos. We use self-supervised geometric, photometric and temporal consistency constraints inspired from a recent self-supervised technique for LF video reconstruction from stereo video. Additionally, we propose three key techniques that are relevant to our monocular video input. We propose an explicit disocclusion handling technique that encourages the network to inpaint disoccluded regions in a LF frame, using information from adjacent input temporal frames. This is crucial for a self-supervised technique as a single input frame does not contain any information about the disoccluded regions. We also propose an adaptive low-rank representation that provides a significant boost in performance by tailoring the representation to each input scene. Finally, we also propose a novel refinement block that is able to exploit the available LF image data using supervised learning to further refine the reconstruction quality. Our qualitative and quantitative analysis demonstrates the significance of each of the proposed building blocks and also the superior results compared to previous state-of-the-art monocular LF reconstruction techniques. We further validate our algorithm by reconstructing LF videos from monocular videos acquired using a commercial GoPro camera. △ Less

Submitted 21 July, 2022; originally announced July 2022.

Comments: To be published at ECCV 2022; Code is available at https://github.com/ShrisudhanG/Synthesizing-Light-Field-Video-from-Monocular-Video

longhorns at DADC 2022: How many linguists does it take to fool a Question Answering model? A systematic approach to adversarial attacks

Authors: Venelin Kovatchev, Trina Chatterjee, Venkata S Govindarajan, Jifan Chen, Eunsol Choi, Gabriella Chronis, Anubrata Das, Katrin Erk, Matthew Lease, Junyi Jessy Li, Yating Wu, Kyle Mahowald

Abstract: Develo** methods to adversarially challenge NLP systems is a promising avenue for improving both model performance and interpretability. Here, we describe the approach of the team "longhorns" on Task 1 of the The First Workshop on Dynamic Adversarial Data Collection (DADC), which asked teams to manually fool a model on an Extractive Question Answering task. Our team finished first, with a model… ▽ More Develo** methods to adversarially challenge NLP systems is a promising avenue for improving both model performance and interpretability. Here, we describe the approach of the team "longhorns" on Task 1 of the The First Workshop on Dynamic Adversarial Data Collection (DADC), which asked teams to manually fool a model on an Extractive Question Answering task. Our team finished first, with a model error rate of 62%. We advocate for a systematic, linguistically informed approach to formulating adversarial questions, and we describe the results of our pilot experiments, as well as our official submission. △ Less

Submitted 29 June, 2022; originally announced June 2022.

Comments: Accepted at DADC2022

Positivity of discrete information for CHL black holes

Authors: Suresh Govindarajan, Sutapa Samanta, P Shanmugapriya, Amitabh Virmani

Abstract: Black holes carry more information about the microstates than just the total degeneracy. As a concrete example, the Z(N)-twined helicity trace indices for 1/4-BPS black holes of the CHL models allow extracting information about the distribution of the Z(N) charges among the black hole microstates. The number of black hole microstates carrying a definite eigenvalue under the generator of the Z(N) t… ▽ More Black holes carry more information about the microstates than just the total degeneracy. As a concrete example, the Z(N)-twined helicity trace indices for 1/4-BPS black holes of the CHL models allow extracting information about the distribution of the Z(N) charges among the black hole microstates. The number of black hole microstates carrying a definite eigenvalue under the generator of the Z(N) twining group must be positive. This leads to a specific prediction for the signs of certain linear combinations of Fourier coefficients of Siegel modular forms. We explicitly test these predictions for low charges. In the D1-D5-P duality frame, we compute the appropriate hair removed partition functions and show the positivity of the appropriate Fourier coefficients for low charges. We present various consistency checks on our computations. △ Less

Submitted 2 February, 2024; v1 submitted 18 May, 2022; originally announced May 2022.

Comments: 36 pages, many tables; v2: clarifications added, version to appear in Nuclear Physics B; v3: two typos corrected, one in the sentence after eq. (4.27) and one in the sentence after eq. (5.4), no other changes

$\widehat{sl(2)}$ decomposition of denominator formulae of some BKM Lie superalgebras

Authors: Suresh Govindarajan, Mohammad Shabbir, Sankaran Viswanath

Abstract: We study a family of Siegel modular forms that are constructed using Jacobi forms that arise in Umbral moonshine. All but one of them arise as the Weyl-Kac-Borcherds denominator formula of some Borcherds-Kac-Moody (BKM) Lie superalgebras. These Lie superalgebras have a $\widehat{sl(2)}$ subalgebra which we use to study the Siegel modular forms. We show that the expansion of the Umbral Jacobi forms… ▽ More We study a family of Siegel modular forms that are constructed using Jacobi forms that arise in Umbral moonshine. All but one of them arise as the Weyl-Kac-Borcherds denominator formula of some Borcherds-Kac-Moody (BKM) Lie superalgebras. These Lie superalgebras have a $\widehat{sl(2)}$ subalgebra which we use to study the Siegel modular forms. We show that the expansion of the Umbral Jacobi forms in terms of $\widehat{sl(2)}$ characters leads to vector-valued modular forms. We obtain closed formulae for these vector-valued modular forms. In the Lie algebraic context, the Fourier coefficients of these vector-valued modular forms are related to multiplicities of roots appearing on the sum side of the Weyl-Kac-Borcherds denominator formulae. △ Less

Submitted 3 June, 2021; originally announced June 2021.

Comments: 37 pages

Mathieu Moonshine and Siegel Modular Forms

Authors: Suresh Govindarajan, Sutapa Samanta

Abstract: A second-quantized version of Mathieu moonshine leads to product formulae for functions that are potentially genus-two Siegel Modular Forms analogous to the Igusa Cusp Form. The modularity of these functions do not follow in an obvious manner. For some conjugacy classes, but not all, they match known modular forms. In this paper, we express the product formulae for all conjugacy classes of… ▽ More A second-quantized version of Mathieu moonshine leads to product formulae for functions that are potentially genus-two Siegel Modular Forms analogous to the Igusa Cusp Form. The modularity of these functions do not follow in an obvious manner. For some conjugacy classes, but not all, they match known modular forms. In this paper, we express the product formulae for all conjugacy classes of $M_{24}$ in terms of products of standard modular forms. This provides a new proof of their modularity. △ Less

Submitted 22 January, 2021; v1 submitted 16 November, 2020; originally announced November 2020.

Comments: 35 pages; v2: Main proposition has been corrected leading to a single formula; referencing has been improved v3: Improved presentation (final version)

Journal ref: JHEP 03 (2021) 050

Help! Need Advice on Identifying Advice

Authors: Venkata Subrahmanyan Govindarajan, Benjamin T Chen, Rebecca Warholic, Katrin Erk, Junyi Jessy Li

Abstract: Humans use language to accomplish a wide variety of tasks - asking for and giving advice being one of them. In online advice forums, advice is mixed in with non-advice, like emotional support, and is sometimes stated explicitly, sometimes implicitly. Understanding the language of advice would equip systems with a better grasp of language pragmatics; practically, the ability to identify advice woul… ▽ More Humans use language to accomplish a wide variety of tasks - asking for and giving advice being one of them. In online advice forums, advice is mixed in with non-advice, like emotional support, and is sometimes stated explicitly, sometimes implicitly. Understanding the language of advice would equip systems with a better grasp of language pragmatics; practically, the ability to identify advice would drastically increase the efficiency of advice-seeking online, as well as advice-giving in natural language generation systems. We present a dataset in English from two Reddit advice forums - r/AskParents and r/needadvice - annotated for whether sentences in posts contain advice or not. Our analysis reveals rich linguistic phenomena in advice discourse. We present preliminary models showing that while pre-trained language models are able to capture advice better than rule-based systems, advice identification is challenging, and we identify directions for future research. Comments: To be presented at EMNLP 2020. △ Less

Submitted 6 October, 2020; originally announced October 2020.

Comments: EMNLP 2020

Black Hole Hair Removal For N=4 CHL Models

Authors: Subhroneel Chakrabarti, Suresh Govindarajan, P Shanmugapriya, Yogesh K. Srivastava, Amitabh Virmani

Abstract: Although BMPV black holes in flat space and in Taub-NUT space have identical near-horizon geometries, they have different indices from the microscopic analysis. For K3 compactification of type IIB theory, Sen et al in a series of papers identified that the key to resolving this puzzle is the black hole hair modes: smooth, normalisable, bosonic and fermionic degrees of freedom living outside the ho… ▽ More Although BMPV black holes in flat space and in Taub-NUT space have identical near-horizon geometries, they have different indices from the microscopic analysis. For K3 compactification of type IIB theory, Sen et al in a series of papers identified that the key to resolving this puzzle is the black hole hair modes: smooth, normalisable, bosonic and fermionic degrees of freedom living outside the horizon. In this paper, we extend their study to N = 4 CHL orbifold models. For these models, the puzzle is more challenging due to the presence of the twisted sectors. We identify hair modes in the untwisted as well as twisted sectors. We show that after removing the contributions of the hair modes from the microscopic partition functions, the 4d and 5d horizon partition functions agree. Special care is taken to present details on the smoothness analysis of hair modes for rotating black holes, thereby filling an essential gap in the literature. △ Less

Submitted 25 April, 2022; v1 submitted 5 October, 2020; originally announced October 2020.

Comments: 64 pages, no figures, 4 tables; v2: typos corrected + ref and note added + discussions added/improved in section 7, version to appear in JHEP; v3: typos corrected + refs added; v4: table 3 + two paragraphs in section 7.1 corrected, footnote 8 added, supersedes published version

Journal ref: JHEP02 (2021) 125

The Brylinski filtration for affine Kac-Moody algebras and representations of $\mathcal{W}$-algebras

Authors: Suresh Govindarajan, Sachin S. Sharma, Sankaran Viswanath

Abstract: We study the Brylinski filtration induced by a principal Heisenberg subalgebra of an affine Kac-Moody algebra $\mathfrak{g}$, a notion first introduced by Slofstra. The associated graded space of this filtration on dominant weight spaces of integrable highest weight modules of $\mathfrak{g}$ has Hilbert series coinciding with Lusztig's $t$-analogue of weight multiplicities. For the level 1 vacuum… ▽ More We study the Brylinski filtration induced by a principal Heisenberg subalgebra of an affine Kac-Moody algebra $\mathfrak{g}$, a notion first introduced by Slofstra. The associated graded space of this filtration on dominant weight spaces of integrable highest weight modules of $\mathfrak{g}$ has Hilbert series coinciding with Lusztig's $t$-analogue of weight multiplicities. For the level 1 vacuum module $L(Λ_0)$ of affine Kac-Moody algebras of type $A$, we show that the Brylinski filtration may be most naturally understood in terms of (vertex algebra) representations of the corresponding $\mathcal{W}$-algebra. We show that the dominant weight spaces together form an irreducible Verma module of $\mathcal{W}$ and that the natural PBW basis of this module is compatible with the Brylinski filtration, thereby determining explicitly the subspaces of the filtration. Our basis is the analogue for the principal vertex operator realization of $L(Λ_0)$, of Feigin-Frenkel's basis of $\mathcal{W}$. △ Less

Submitted 4 October, 2021; v1 submitted 31 December, 2019; originally announced December 2019.

Comments: 18 pages. Version 3 contains minor revisions

MSC Class: 17B67; 17B69

BKM Lie superalgebras from counting twisted CHL dyons -- II

Authors: Suresh Govindarajan, Sutapa Samanta

Abstract: We revisit our earlier work which lead to a periodic table of Borcherds-Kac-Moody algebras that appeared in the context of the refined generating function of quarter-BPS (dyons) in $\mathcal{N}=4$ supersymmetric four-dimensional string theory. We make new additions to the periodic table by making use of connections with generalized Mathieu moonshine as well as umbral moonshine. We show the modular… ▽ More We revisit our earlier work which lead to a periodic table of Borcherds-Kac-Moody algebras that appeared in the context of the refined generating function of quarter-BPS (dyons) in $\mathcal{N}=4$ supersymmetric four-dimensional string theory. We make new additions to the periodic table by making use of connections with generalized Mathieu moonshine as well as umbral moonshine. We show the modularity of some Siegel modular forms that appear in umbral moonshine associated with Niemeier lattices constructed from A-type root systems and further show that the same Siegel modular forms appear for generalized Mathieu moonshine in some cases. We argue for the existence of a new kind of BKM Lie superalgebras that arise from the dyon generating functions for the $\mathbb{Z}_5$ and $\mathbb{Z}_6$ CHL orbifolds. △ Less

Submitted 19 November, 2019; v1 submitted 15 May, 2019; originally announced May 2019.

Comments: 36 pages; (v2) 39 pages, Matches published version and presentation has been improved

Journal ref: Nuclear Physics B 948, Nov 2019, 114770

Decomposing Generalization: Models of Generic, Habitual, and Episodic Statements

Authors: Venkata Subrahmanyan Govindarajan, Benjamin Van Durme, Aaron Steven White

Abstract: We present a novel semantic framework for modeling linguistic expressions of generalization---generic, habitual, and episodic statements---as combinations of simple, real-valued referential properties of predicates and their arguments. We use this framework to construct a dataset covering the entirety of the Universal Dependencies English Web Treebank. We use this dataset to probe the efficacy of… ▽ More We present a novel semantic framework for modeling linguistic expressions of generalization---generic, habitual, and episodic statements---as combinations of simple, real-valued referential properties of predicates and their arguments. We use this framework to construct a dataset covering the entirety of the Universal Dependencies English Web Treebank. We use this dataset to probe the efficacy of type-level and token-level information---including hand-engineered features and static (GloVe) and contextual (ELMo) word embeddings---for predicting expressions of generalization. Data and code are available at decomp.io. △ Less

Submitted 25 June, 2019; v1 submitted 31 January, 2019; originally announced January 2019.

Two moonshines for $L_2(11)$ but none for $M_{12}$

Authors: Suresh Govindarajan, Sutapa Samanta

Abstract: In this paper, we revisit an earlier conjecture by one of us that related conjugacy classes of $M_{12}$ to Jacobi forms of weight one and index zero. We construct Jacobi forms for all conjugacy classes of $M_{12}$ that are consistent with constraints from group theory as well as modularity. However, we obtain 1427 solutions that satisfy these constraints (to the order that we checked) and are unab… ▽ More In this paper, we revisit an earlier conjecture by one of us that related conjugacy classes of $M_{12}$ to Jacobi forms of weight one and index zero. We construct Jacobi forms for all conjugacy classes of $M_{12}$ that are consistent with constraints from group theory as well as modularity. However, we obtain 1427 solutions that satisfy these constraints (to the order that we checked) and are unable to provide a unique Jacobi form. Nevertheless, as a consequence, we are able to provide a group theoretic proof of the evenness of the coefficients of all EOT Jacobi forms associated with conjugacy classes of $M_{12}:2 \subset M_{24}$. We show that there exists no solution where the Jacobi forms (for order 4/8 elements of $M_{12}$) transform with phases under the appropriate level. In the absence of a moonshine for $M_{12}$, we show that there exist moonshines for two distinct $L_2(11)$ sub-groups of the $M_{12}$. We construct Siegel modular forms for all $L_2(11)$ conjugacy classes and show that each of them arises as the denominator formula for a distinct Borcherds-Kac-Moody Lie superalgebra. △ Less

Submitted 8 January, 2019; v1 submitted 18 April, 2018; originally announced April 2018.

Comments: 22 pages (v2) Minor changes; (v3) 41 pages, Major revision includes new results; (v4) Final version

On a square-ice analogue of plane partitions

Authors: Suresh Govindarajan, Anthony J. Guttmann, Varsha Subramanyan

Abstract: We study a one-parameter family ($\ell=1,2,3,\ldots$) of configurations that are square-ice analogues of plane partitions. Using an algorithm due to Bratley and McKay, we carry out exact enumerations in order to study their asymptotic behaviour and establish, via Monte Carlo simulations as well as explicit bounds, that the asymptotic behaviour is similar to that of plane partitions. We finally car… ▽ More We study a one-parameter family ($\ell=1,2,3,\ldots$) of configurations that are square-ice analogues of plane partitions. Using an algorithm due to Bratley and McKay, we carry out exact enumerations in order to study their asymptotic behaviour and establish, via Monte Carlo simulations as well as explicit bounds, that the asymptotic behaviour is similar to that of plane partitions. We finally carry out a series analysis and provide independent estimates for the asymptotic behaviour. △ Less

Submitted 7 July, 2016; originally announced July 2016.

Comments: 27 pages, several figures and tables

Journal ref: Ann. Inst. Henri Poincaré Comb. Phys. Interact. 6 (2019), 123-154

The Runaway Rectangle Escape Problem

Authors: Aniket Basu Roy, Anil Maheshwari, Sathish Govindarajan, Neeldhara Misra, Subhas C Nandy, Shreyas Shetty

Abstract: Motivated by the applications of routing in PCB buses, the Rectangle Escape Problem was recently introduced and studied. In this problem, we are given a set of rectangles $\mathcal{S}$ in a rectangular region $R$, and we would like to extend these rectangles to one of the four sides of $R$. Define the density of a point $p$ in $R$ as the number of extended rectangles that contain $p$. The question… ▽ More Motivated by the applications of routing in PCB buses, the Rectangle Escape Problem was recently introduced and studied. In this problem, we are given a set of rectangles $\mathcal{S}$ in a rectangular region $R$, and we would like to extend these rectangles to one of the four sides of $R$. Define the density of a point $p$ in $R$ as the number of extended rectangles that contain $p$. The question is then to find an extension with the smallest maximum density. We consider the problem of maximizing the number of rectangles that can be extended when the maximum density allowed is at most $d$. It is known that this problem is polynomially solvable for $d = 1$, and NP-hard for any $d \geq 2$. We consider approximation and exact algorithms for fixed values of $d$. We also show that a very special case of this problem, when all the rectangles are unit squares from a grid, continues to be NP-hard for $d = 2$. △ Less

Submitted 15 March, 2016; v1 submitted 14 March, 2016; originally announced March 2016.

Comments: 26 pages, 7 figures, A preliminary version appeared in the Proceedings of the 26th Canadian Conference on Computational Geometry, 2014

A variant of the Hadwiger-Debrunner (p,q)-problem in the plane

Authors: Sathish Govindarajan, Gabriel Nivasch

Abstract: Let $X$ be a convex curve in the plane (say, the unit circle), and let $\mathcal S$ be a family of planar convex bodies, such that every two of them meet at a point of $X$. Then $\mathcal S$ has a transversal $N\subset\mathbb R^2$ of size at most $1.75\cdot 10^9$. Suppose instead that $\mathcal S$ only satisfies the following "$(p,2)$-condition": Among every $p$ elements of $\mathcal S$ there ar… ▽ More Let $X$ be a convex curve in the plane (say, the unit circle), and let $\mathcal S$ be a family of planar convex bodies, such that every two of them meet at a point of $X$. Then $\mathcal S$ has a transversal $N\subset\mathbb R^2$ of size at most $1.75\cdot 10^9$. Suppose instead that $\mathcal S$ only satisfies the following "$(p,2)$-condition": Among every $p$ elements of $\mathcal S$ there are two that meet at a common point of $X$. Then $\mathcal S$ has a transversal of size $O(p^8)$. For comparison, the best known bound for the Hadwiger--Debrunner $(p, q)$-problem in the plane, with $q=3$, is $O(p^6)$. Our result generalizes appropriately for $\mathbb R^d$ if $X\subset \mathbb R^d$ is, for example, the moment curve. △ Less

Submitted 3 September, 2014; originally announced September 2014.

Comments: 10 pages, 1 figure

MSC Class: 68U05; 52C99

Journal ref: Discrete Comput. Geom. 54:637-646, 2015

Estimating the asymptotics of solid partitions

Authors: Nicolas Destainville, Suresh Govindarajan

Abstract: We study the asymptotic behavior of solid partitions using transition matrix Monte Carlo simulations. If $p_3(n)$ denotes the number of solid partitions of an integer $n$, we show that $\lim_{n\rightarrow\infty} n^{-3/4} \log p_3(n)\sim 1.822\pm 0.001$. This shows clear deviation from the value $1.7898$, attained by MacMahon numbers $m_3(n)$, that was conjectured to hold for solid partitions as we… ▽ More We study the asymptotic behavior of solid partitions using transition matrix Monte Carlo simulations. If $p_3(n)$ denotes the number of solid partitions of an integer $n$, we show that $\lim_{n\rightarrow\infty} n^{-3/4} \log p_3(n)\sim 1.822\pm 0.001$. This shows clear deviation from the value $1.7898$, attained by MacMahon numbers $m_3(n)$, that was conjectured to hold for solid partitions as well. In addition, we find estimates for other sub-leading terms in $\log p_3(n)$. In a pattern deviating from the asymptotics of line and plane partitions, we need to add an oscillatory term in addition to the obvious sub-leading terms. The period of the oscillatory term is proportional to $n^{1/4}$, the natural scale in the problem. This new oscillatory term might shed some insight into why partitions in dimensions greater than two do not admit a simple generating function. △ Less

Submitted 21 June, 2014; originally announced June 2014.

Comments: 21 pages, 8 figures

Journal ref: J Stat Phys 158 (2015) 950-967

Vertex Cover Gets Faster and Harder on Low Degree Graphs

Authors: Akanksha Agrawal, Sathish Govindarajan, Neeldhara Misra

Abstract: The problem of finding an optimal vertex cover in a graph is a classic NP-complete problem, and is a special case of the hitting set question. On the other hand, the hitting set problem, when asked in the context of induced geometric objects, often turns out to be exactly the vertex cover problem on restricted classes of graphs. In this work we explore a particular instance of such a phenomenon. W… ▽ More The problem of finding an optimal vertex cover in a graph is a classic NP-complete problem, and is a special case of the hitting set question. On the other hand, the hitting set problem, when asked in the context of induced geometric objects, often turns out to be exactly the vertex cover problem on restricted classes of graphs. In this work we explore a particular instance of such a phenomenon. We consider the problem of hitting all axis-parallel slabs induced by a point set P, and show that it is equivalent to the problem of finding a vertex cover on a graph whose edge set is the union of two Hamiltonian Paths. We show the latter problem to be NP-complete, and we also give an algorithm to find a vertex cover of size at most k, on graphs of maximum degree four, whose running time is 1.2637^k n^O(1). △ Less

Submitted 23 April, 2014; v1 submitted 21 April, 2014; originally announced April 2014.

Selection Lemmas for various geometric objects

Authors: Pradeesha Ashok, Ninad Rajgopal, Sathish Govindarajan

Abstract: Selection lemmas are classical results in discrete geometry that have been well studied and have applications in many geometric problems like weak epsilon nets and slimming Delaunay triangulations. Selection lemma type results typically show that there exists a point that is contained in many objects that are induced (spanned) by an underlying point set. In the first selection lemma, we consider… ▽ More Selection lemmas are classical results in discrete geometry that have been well studied and have applications in many geometric problems like weak epsilon nets and slimming Delaunay triangulations. Selection lemma type results typically show that there exists a point that is contained in many objects that are induced (spanned) by an underlying point set. In the first selection lemma, we consider the set of all the objects induced (spanned) by a point set $P$. This question has been widely explored for simplices in $\mathbb{R}^d$, with tight bounds in $\mathbb{R}^2$. In our paper, we prove first selection lemma for other classes of geometric objects. We also consider the strong variant of this problem where we add the constraint that the piercing point comes from $P$. We prove an exact result on the strong and the weak variant of the first selection lemma for axis-parallel rectangles, special subclasses of axis-parallel rectangles like quadrants and slabs, disks (for centrally symmetric point sets). We also show non-trivial bounds on the first selection lemma for axis-parallel boxes and hyperspheres in $\mathbb{R}^d$. In the second selection lemma, we consider an arbitrary $m$ sized subset of the set of all objects induced by $P$. We study this problem for axis-parallel rectangles and show that there exists an point in the plane that is contained in $\frac{m^3}{24n^4}$ rectangles. This is an improvement over the previous bound by Smorodinsky and Sharir when $m$ is almost quadratic. △ Less

Submitted 2 January, 2014; originally announced January 2014.

On Strong Centerpoints

Authors: Pradeesha Ashok, Sathish Govindarajan

Abstract: Let $P$ be a set of $n$ points in $\mathbb{R}^d$ and $\mathcal{F}$ be a family of geometric objects. We call a point $x \in P$ a strong centerpoint of $P$ w.r.t $\mathcal{F}$ if $x$ is contained in all $F \in \mathcal{F}$ that contains more than $cn$ points from $P$, where $c$ is a fixed constant. A strong centerpoint does not exist even when $\mathcal{F}$ is the family of halfspaces in the plane.… ▽ More Let $P$ be a set of $n$ points in $\mathbb{R}^d$ and $\mathcal{F}$ be a family of geometric objects. We call a point $x \in P$ a strong centerpoint of $P$ w.r.t $\mathcal{F}$ if $x$ is contained in all $F \in \mathcal{F}$ that contains more than $cn$ points from $P$, where $c$ is a fixed constant. A strong centerpoint does not exist even when $\mathcal{F}$ is the family of halfspaces in the plane. We prove the existence of strong centerpoints with exact constants for convex polytopes defined by a fixed set of orientations. We also prove the existence of strong centerpoints for abstract set systems with bounded intersection. △ Less

Submitted 26 February, 2015; v1 submitted 2 December, 2013; originally announced December 2013.

A superasymptotic formula for the number of plane partitions

Authors: Suresh Govindarajan, Naveen S. Prabhakar

Abstract: We revisit a formula for the number of plane partitions due to Almkvist. Using the circle method, we provide modifications to his formula along with estimates of the errors. We show that the improved formula continues to be an asymptotic series. Nevertheless, an optimal truncation (i.e., superasymptotic) of the formula provides exact numbers of plane partitions for all positive integers n <6400 an… ▽ More We revisit a formula for the number of plane partitions due to Almkvist. Using the circle method, we provide modifications to his formula along with estimates of the errors. We show that the improved formula continues to be an asymptotic series. Nevertheless, an optimal truncation (i.e., superasymptotic) of the formula provides exact numbers of plane partitions for all positive integers n <6400 and numbers with estimated errors for larger values. For instance, the formula correctly reproduces 305 of the 316 digits of the numbers of plane partitions of 6999 as predicted by the estimated error. We believe that an hyperasymptotic truncation might lead to exact numbers for positive integers up to 50000. △ Less

Submitted 28 July, 2014; v1 submitted 28 November, 2013; originally announced November 2013.

Comments: v1: 1+46 pages v2: 1+55 pages, 12 figures, A conjectured bound on a certain generalised Dedekind sum in v1 has been proved

Report number: IITM/PH/TH/2013/7 MSC Class: 11P82; 05A17

Small Strong Epsilon Nets

Authors: Pradeesha Ashok, Umair Azmi, Sathish Govindarajan

Abstract: Let P be a set of n points in $\mathbb{R}^d$. A point x is said to be a centerpoint of P if x is contained in every convex object that contains more than $dn\over d+1$ points of P. We call a point x a strong centerpoint for a family of objects $\mathcal{C}$ if $x \in P$ is contained in every object $C \in \mathcal{C}$ that contains more than a constant fraction of points of P. A strong centerpoint… ▽ More Let P be a set of n points in $\mathbb{R}^d$. A point x is said to be a centerpoint of P if x is contained in every convex object that contains more than $dn\over d+1$ points of P. We call a point x a strong centerpoint for a family of objects $\mathcal{C}$ if $x \in P$ is contained in every object $C \in \mathcal{C}$ that contains more than a constant fraction of points of P. A strong centerpoint does not exist even for halfspaces in $\mathbb{R}^2$. We prove that a strong centerpoint exists for axis-parallel boxes in $\mathbb{R}^d$ and give exact bounds. We then extend this to small strong $ε$-nets in the plane and prove upper and lower bounds for $ε_i^\mathcal{S}$ where $\mathcal{S}$ is the family of axis-parallel rectangles, halfspaces and disks. Here $ε_i^\mathcal{S}$ represents the smallest real number in $[0,1]$ such that there exists an $ε_i^\mathcal{S}$-net of size i with respect to $\mathcal{S}$. △ Less

Submitted 14 August, 2012; originally announced August 2012.

Comments: 19 pages, 12 figures

Two player game variant of the Erdos-Szekeres problem

Authors: Parikshit Kolipaka, Sathish Govindarajan

Abstract: The classical Erdos-Szekeres theorem states that a convex $k$-gon exists in every sufficiently large point set. This problem has been well studied and finding tight asymptotic bounds is considered a challenging open problem. Several variants of the Erdos-Szekeres problem have been posed and studied in the last two decades. The well studied variants include the empty convex $k$-gon problem, convex… ▽ More The classical Erdos-Szekeres theorem states that a convex $k$-gon exists in every sufficiently large point set. This problem has been well studied and finding tight asymptotic bounds is considered a challenging open problem. Several variants of the Erdos-Szekeres problem have been posed and studied in the last two decades. The well studied variants include the empty convex $k$-gon problem, convex $k$-gon with specified number of interior points and the chromatic variant. In this paper, we introduce the following two player game variant of the Erdos-Szekeres problem: Consider a two player game where each player playing in alternate turns, place points in the plane. The objective of the game is to avoid the formation of the convex k-gon among the placed points. The game ends when a convex k-gon is formed and the player who placed the last point loses the game. In our paper we show a winning strategy for the player who plays second in the convex 5-gon game and the empty convex 5-gon game by considering convex layer configurations at each step. We prove that the game always ends in the 9th step by showing that the game reaches a specific set of configurations. △ Less

Submitted 29 July, 2012; originally announced July 2012.

On Locally Gabriel Geometric Graphs

Authors: Sathish Govindarajan, Abhijeet Khopkar

Abstract: Let $P$ be a set of $n$ points in the plane. A geometric graph $G$ on $P$ is said to be {\it locally Gabriel} if for every edge $(u,v)$ in $G$, the disk with $u$ and $v$ as diameter does not contain any points of $P$ that are neighbors of $u$ or $v$ in $G$. A locally Gabriel graph is a generalization of Gabriel graph and is motivated by applications in wireless networks. Unlike a Gabriel graph, th… ▽ More Let $P$ be a set of $n$ points in the plane. A geometric graph $G$ on $P$ is said to be {\it locally Gabriel} if for every edge $(u,v)$ in $G$, the disk with $u$ and $v$ as diameter does not contain any points of $P$ that are neighbors of $u$ or $v$ in $G$. A locally Gabriel graph is a generalization of Gabriel graph and is motivated by applications in wireless networks. Unlike a Gabriel graph, there is no unique locally Gabriel graph on a given point set since no edge in a locally Gabriel graph is necessarily included or excluded. Thus the edge set of the graph can be customized to optimize certain network parameters depending on the application. In this paper, we show the following combinatorial bounds on edge complexity and independent sets of locally Gabriel graphs: (i) For any $n$, there exists locally Gabriel graphs with $Ω(n^{5/4})$ edges. This improves upon the previous best bound of $Ω(n^{1+\frac{1}{\log \log n}})$. (ii) For various subclasses of convex point sets, we show tight linear bounds on the maximum edge complexity of locally Gabriel graphs. (iii) For any locally Gabriel graph on any $n$ point set, there exists an independent set of size $Ω(\sqrt{n}\log n)$. △ Less

Submitted 17 July, 2012; originally announced July 2012.

Comments: 16 pages, 7 figures

Notes on higher-dimensional partitions

Authors: Suresh Govindarajan

Abstract: We show the existence of a series of transforms that capture several structures that underlie higher-dimensional partitions. These transforms lead to a sequence of triangles whose entries are given combinatorial interpretations as the number of particular types of skew Ferrers diagrams. The end result of our analysis is the existence of a triangle, that we denote by F, which implies that the data… ▽ More We show the existence of a series of transforms that capture several structures that underlie higher-dimensional partitions. These transforms lead to a sequence of triangles whose entries are given combinatorial interpretations as the number of particular types of skew Ferrers diagrams. The end result of our analysis is the existence of a triangle, that we denote by F, which implies that the data needed to compute the number of partitions of a given positive integer is reduced by a factor of half. The number of spanning rooted forests appears intriguingly in a family of entries in the triangle F. Using modifications of an algorithm due to Bratley-McKay, we are able to directly enumerate entries in some of the triangles. As a result, we have been able to compute numbers of partitions of positive integers <= 25 in any dimension. △ Less

Submitted 20 March, 2012; originally announced March 2012.

Comments: 36 pages; Mathematica file attached; See http://www.physics.iitm.ac.in/~suresh/partitions.html to generate numbers of partitions

Report number: IITM/PH/TH/2011/7

Journal ref: J. Comb. Theory, Ser. A 120 (2013) 600-622

A non-commuting twist in the partition function

Authors: Suresh Govindarajan, Karthik Inbasekar

Abstract: We compute a twisted index for an orbifold theory when the twist generating group does not commute with the orbifold group. The twisted index requires the theory to be defined on moduli spaces that are compatible with the twist. This is carried out for CHL models at special points in the moduli space where they admit dihedral symmetries. The commutator subgroup of the dihedral groups are cyclic gr… ▽ More We compute a twisted index for an orbifold theory when the twist generating group does not commute with the orbifold group. The twisted index requires the theory to be defined on moduli spaces that are compatible with the twist. This is carried out for CHL models at special points in the moduli space where they admit dihedral symmetries. The commutator subgroup of the dihedral groups are cyclic groups that are used to construct the CHL orbifolds. The residual reflection symmetry is chosen to act as a `twist' on the partition function. The reflection symmetries do not commute with the orbifolding group and hence we refer to this as a non-commuting twist. We count the degeneracy of half-BPS states using the twisted partition function and find that the contribution comes mainly from the untwisted sector. We show that the generating function for these twisted BPS states are related to the Mathieu group M_{24}. △ Less

Submitted 8 January, 2012; originally announced January 2012.

Comments: 22 pages, LaTeX

Report number: IITM/PH/TH/2012/1

On Computing Optimal Locally Gabriel Graphs

Authors: Abhijeet Khopkar, Sathish Govindarajan

Abstract: Delaunay and Gabriel graphs are widely studied geometric proximity structures. Motivated by applications in wireless routing, relaxed versions of these graphs known as \emph{Locally Delaunay Graphs} ($LDGs$) and \emph{Locally Gabriel Graphs} ($LGGs$) were proposed. We propose another generalization of $LGGs$ called \emph{Generalized Locally Gabriel Graphs} ($GLGGs$) in the context when certain edg… ▽ More Delaunay and Gabriel graphs are widely studied geometric proximity structures. Motivated by applications in wireless routing, relaxed versions of these graphs known as \emph{Locally Delaunay Graphs} ($LDGs$) and \emph{Locally Gabriel Graphs} ($LGGs$) were proposed. We propose another generalization of $LGGs$ called \emph{Generalized Locally Gabriel Graphs} ($GLGGs$) in the context when certain edges are forbidden in the graph. Unlike a Gabriel Graph, there is no unique $LGG$ or $GLGG$ for a given point set because no edge is necessarily included or excluded. This property allows us to choose an $LGG/GLGG$ that optimizes a parameter of interest in the graph. We show that computing an edge maximum $GLGG$ for a given problem instance is NP-hard and also APX-hard. We also show that computing an $LGG$ on a given point set with dilation $\le k$ is NP-hard. Finally, we give an algorithm to verify whether a given geometric graph $G=(V,E)$ is a valid $LGG$. △ Less

Submitted 2 July, 2012; v1 submitted 6 October, 2011; originally announced October 2011.

Unravelling Mathieu Moonshine

Authors: Suresh Govindarajan

Abstract: The D1-D5-KK-p system naturally provides an infinite dimensional module graded by the dyonic charges whose dimensions are counted by the Igusa cusp form, Phi_{10}(Z)$. We show that the Mathieu group, M_{24}, acts on this module by recovering the Siegel modular forms that count twisted dyons as a trace over this module. This is done by recovering Borcherds product formulae for these modular forms u… ▽ More The D1-D5-KK-p system naturally provides an infinite dimensional module graded by the dyonic charges whose dimensions are counted by the Igusa cusp form, Phi_{10}(Z)$. We show that the Mathieu group, M_{24}, acts on this module by recovering the Siegel modular forms that count twisted dyons as a trace over this module. This is done by recovering Borcherds product formulae for these modular forms using the M_{24} action. This establishes the correspondence (`moonshine') proposed in arXiv:0907.1410 that relates conjugacy classes of M_{24} to Siegel modular forms. This also, in a sense that we make precise, subsumes existing moonshines for M_{24} that relates its conjugacy classes to eta-products and Jacobi forms. △ Less

Submitted 29 October, 2018; v1 submitted 28 June, 2011; originally announced June 2011.

Comments: 20 pages; v2: New subsection on non-symplectic cases added v3: Some typos (a couple of sign errors) fixed

Report number: IITM/PH/TH/2011/3

Journal ref: Nucl.Phys. B864 (2012) 823-839

BKM superalgebras from counting dyons in N=4 supersymmetric type II compactifications

Authors: Suresh Govindarajan, Dileep P. Jatkar, K. Gopala Krishna

Abstract: We study the degeneracy of quarter BPS dyons in N =4 type II compactifications of string theory. We find that the genus-two Siegel modular forms generating the degeneracies of the quarter BPS dyons in the type II theories can be expressed in terms of the genus-two Siegel modular forms generating the degeneracies of quarter BPS dyons in the CHL theories and the heterotic string. This helps us in un… ▽ More We study the degeneracy of quarter BPS dyons in N =4 type II compactifications of string theory. We find that the genus-two Siegel modular forms generating the degeneracies of the quarter BPS dyons in the type II theories can be expressed in terms of the genus-two Siegel modular forms generating the degeneracies of quarter BPS dyons in the CHL theories and the heterotic string. This helps us in understanding the algebra structure underlying the degeneracy of the quarter BPS states. The Conway group, Co_1, plays a role similar to Mathieu group, M_{24}, in the CHL models with eta quotients appearing in the place of eta products. We construct BKM Lie superalgebra structures corresponding to Z_N (for N=2,3,4) orbifolds of the type II string compactified on a six-torus. △ Less

Submitted 7 June, 2011; originally announced June 2011.

Comments: 21 pages

Report number: IITM/PH/TH/2009/4

Journal ref: Nucl.Phys. B859 (2012) 143-158

On the asymptotics of higher-dimensional partitions

Authors: Srivatsan Balakrishnan, Suresh Govindarajan, Naveen S. Prabhakar

Abstract: We conjecture that the asymptotic behavior of the numbers of solid (three-dimensional) partitions is identical to the asymptotics of the three-dimensional MacMahon numbers. Evidence is provided by an exact enumeration of solid partitions of all integers <=68 whose numbers are reproduced with surprising accuracy using the asymptotic formula (with one free parameter) and better accuracy on increasin… ▽ More We conjecture that the asymptotic behavior of the numbers of solid (three-dimensional) partitions is identical to the asymptotics of the three-dimensional MacMahon numbers. Evidence is provided by an exact enumeration of solid partitions of all integers <=68 whose numbers are reproduced with surprising accuracy using the asymptotic formula (with one free parameter) and better accuracy on increasing the number of free parameters. We also conjecture that similar behavior holds for higher-dimensional partitions and provide some preliminary evidence for four and five-dimensional partitions. △ Less

Submitted 9 December, 2011; v1 submitted 31 May, 2011; originally announced May 2011.

Comments: 30 pages, 8 tables, 4 figures (v2) New data (63-68) for solid partitions added; (v3) published version, new subsection providing an unbiased estimate of the leading for the leading coefficient added, some tables deleted

Report number: IITM/PH/TH/2011/5

Journal ref: J.Phys.A A45 (2012) 055001

Brewing moonshine for Mathieu

Authors: Suresh Govindarajan

Abstract: We propose a moonshine for the sporadic Mathieu group M_12 that relates its conjugacy classes to various modular forms and Borcherds Kac-Moody Lie superalgebras. We propose a moonshine for the sporadic Mathieu group M_12 that relates its conjugacy classes to various modular forms and Borcherds Kac-Moody Lie superalgebras. △ Less

Submitted 28 December, 2010; originally announced December 2010.

Comments: 21 pages; LaTeX; no figures

Report number: IITM/PH/TH/2010/8, AEI-2010-171

BKM Lie superalgebras from counting twisted CHL dyons

Authors: Suresh Govindarajan

Abstract: Following Sen[arXiv:0911.1563], we study the counting of (`twisted') BPS states that contribute to twisted helicity trace indices in four-dimensional CHL models with N=4 supersymmetry. The generating functions of half-BPS states, twisted as well as untwisted, are given in terms of multiplicative eta products with the Mathieu group, M_{24}, playing an important role. These multiplicative eta produc… ▽ More Following Sen[arXiv:0911.1563], we study the counting of (`twisted') BPS states that contribute to twisted helicity trace indices in four-dimensional CHL models with N=4 supersymmetry. The generating functions of half-BPS states, twisted as well as untwisted, are given in terms of multiplicative eta products with the Mathieu group, M_{24}, playing an important role. These multiplicative eta products enable us to construct Siegel modular forms that count twisted quarter-BPS states. The square-roots of these Siegel modular forms turn out be precisely a special class of Siegel modular forms, the dd-modular forms, that have been classified by Clery and Gritsenko[arXiv:0812.3962]. We show that each one of these dd-modular forms arise as the Weyl-Kac-Borcherds denominator formula of a rank-three Borcherds-Kac-Moody Lie superalgebra. The walls of the Weyl chamber are in one-to-one correspondence with the walls of marginal stability in the corresponding CHL model for twisted dyons as well as untwisted ones. This leads to a periodic table of BKM Lie superalgebras with properties that are consistent with physical expectations. △ Less

Submitted 2 June, 2011; v1 submitted 17 June, 2010; originally announced June 2010.

Comments: LaTeX, 32 pages; (v2) matches published version

Report number: IITM/PH/TH/2010/5

Journal ref: JHEP 1105:089,2011

BKM Lie superalgebras from dyon spectra in Z_N-CHL orbifolds for composite N

Authors: Suresh Govindarajan, K. Gopala Krishna

Abstract: We show that the generating function of electrically charged 1/2-BPS states in N=4 supersymmetric Z_N-CHL orbifolds of the heterotic string on T^6 are given by multiplicative eta-products. The eta-products are determined by the cycle shape of the corresponding symplectic involution in the dual type II picture. This enables us to complete the construction of the genus-two Siegel modular forms due… ▽ More We show that the generating function of electrically charged 1/2-BPS states in N=4 supersymmetric Z_N-CHL orbifolds of the heterotic string on T^6 are given by multiplicative eta-products. The eta-products are determined by the cycle shape of the corresponding symplectic involution in the dual type II picture. This enables us to complete the construction of the genus-two Siegel modular forms due to David, Jatkar and Sen [arXiv:hep-th/0609109] for Z_N orbifolds when N is non-prime. We study the Z_4 CHL orbifold in detail and show that the associated Siegel modular forms, Φ_3(Z) and \widetildeΦ_3(Z), are given by the square of the product of three even genus-two theta constants. Extending work by us[arXiv:0807.4451] as well as Cheng and Dabholkar[arXiv:0809.4258], we show that their `square roots' appear as the denominator formulae of two distinct Borcherds-Kac-Moody (BKM) Lie superalgebras. The BKM Lie superalgebra associated with the generating function of 1/4-BPS states, i.e., \widetildeΦ_3(Z) has a parabolic root system with a light-like Weyl vector and the walls of its fundamental Weyl chamber are mapped to the walls of marginal stability of the 1/4-BPS states. △ Less

Submitted 23 December, 2009; v1 submitted 9 July, 2009; originally announced July 2009.

Comments: LaTeX, 44 pages, 2 figures (v2)Physical interpretation for a family of BKM Lie superalgebras provided; typos corrected

Report number: IITM/PH/TH/2009/3, IMsc-2009-04-06

Journal ref: JHEP 1005:014,2010

Generalized Kac-Moody Algebras from CHL dyons

Authors: Suresh Govindarajan, K Gopala Krishna

Abstract: We provide evidence for the existence of a family of generalized Kac-Moody(GKM) superalgebras, G_N, whose Weyl-Kac-Borcherds denominator formula gives rise to a genus-two modular form at level N, Delta_{k/2}(Z), for (N,k)=(1,10), (2,6), (3,4), and possibly (5,2). The square of the automorphic form is the modular transform of the generating function of the degeneracy of CHL dyons in asymmetric Z_… ▽ More We provide evidence for the existence of a family of generalized Kac-Moody(GKM) superalgebras, G_N, whose Weyl-Kac-Borcherds denominator formula gives rise to a genus-two modular form at level N, Delta_{k/2}(Z), for (N,k)=(1,10), (2,6), (3,4), and possibly (5,2). The square of the automorphic form is the modular transform of the generating function of the degeneracy of CHL dyons in asymmetric Z_N-orbifolds of the heterotic string compactified on T^6. The new generalized Kac-Moody superalgebras all arise as different `automorphic corrections' of the same Lie algebra and are closely related to a generalized Kac-Moody superalgebra constructed by Gritsenko and Nikulin. The automorphic forms, Delta_{k/2}(Z), arise as additive lifts of Jacobi forms of (integral) weight k/2 and index 1/2. We note that the orbifolding acts on the imaginary simple roots of the unorbifolded GKM superalgebra, G_1 leaving the real simple roots untouched. We anticipate that these superalgebras will play a role in understanding the `algebra of BPS states' in CHL compactifications. △ Less

Submitted 17 March, 2009; v1 submitted 28 July, 2008; originally announced July 2008.

Comments: LaTeX, 35 pages; v2: improved referencing and discussion; typos corrected; v3 [substantial revision] 44 pages, modularity of additive lift proved, product representation of the forms also given; further references added

Report number: IITM/PH/TH/2008/2, IMSc-2008-07-13

Journal ref: JHEP 0904:032,2009

A note on perturbative aspects of Leigh-Strassler deformed N=4 SYM theory

Authors: Kallingalthodi Madhu, Suresh Govindarajan

Abstract: We carry out a perturbative study of the Leigh-Strassler deformed N=4 SYM theory in order to verify that the trihedral Delta(27) symmetry holds in the quantum theory. We show that the Delta(27) symmetry is preserved to two loops (at finite N) by explicitly computing the superpotential. The perturbative superpotential is not holomorphic in the couplings due to finite contributions. However, there… ▽ More We carry out a perturbative study of the Leigh-Strassler deformed N=4 SYM theory in order to verify that the trihedral Delta(27) symmetry holds in the quantum theory. We show that the Delta(27) symmetry is preserved to two loops (at finite N) by explicitly computing the superpotential. The perturbative superpotential is not holomorphic in the couplings due to finite contributions. However, there exist coupling constant redefinitions that restore holomorphy. Interestingly, the same redefinitions appear (in the work of Jack, Jones and North[hep-ph/9603386]) if one requires the three-loop anomalous dimension to vanish in a theory where the one-loop anomalous dimension vanishes. However, the two field redefinitions seem to differ by a factor of two. △ Less

Submitted 30 October, 2007; originally announced October 2007.

Comments: LaTeX, 22 pages, 3 figures

Report number: IITM/PH/TH/2007/1

Symplectic potentials and resolved Ricci-flat ACG metrics

Authors: Aswin K. Balasubramanian, Suresh Govindarajan, Chethan N. Gowdigere

Abstract: We pursue the symplectic description of toric Kahler manifolds. There exists a general local classification of metrics on toric Kahler manifolds equipped with Hamiltonian two-forms due to Apostolov, Calderbank and Gauduchon(ACG). We derive the symplectic potential for these metrics. Using a method due to Abreu, we relate the symplectic potential to the canonical potential written by Guillemin. T… ▽ More We pursue the symplectic description of toric Kahler manifolds. There exists a general local classification of metrics on toric Kahler manifolds equipped with Hamiltonian two-forms due to Apostolov, Calderbank and Gauduchon(ACG). We derive the symplectic potential for these metrics. Using a method due to Abreu, we relate the symplectic potential to the canonical potential written by Guillemin. This enables us to recover the moment polytope associated with metrics and we thus obtain global information about the metric. We illustrate these general considerations by focusing on six-dimensional Ricci flat metrics and obtain Ricci flat metrics associated with real cones over L^{pqr} and Y^{pq} manifolds. The metrics associated with cones over Y^{pq} manifolds turn out to be partially resolved with two blowup parameters taking special (non-zero)values. For a fixed Y^{pq} manifold, we find explicit metrics for several inequivalent blow-ups parametrised by a natural number k in the range 0<k<p. We also show that all known examples of resolved metrics such as the resolved conifold and the resolution of C^3/Z_3 also fit the ACG classification. △ Less

Submitted 3 December, 2007; v1 submitted 30 July, 2007; originally announced July 2007.

Comments: LaTeX, 34 pages, 4 figures (v2)presentation improved, typos corrected and references added (v3)matches published version

Report number: IITM/PH/TH/2007/8, IC/2007/059

Journal ref: Class.Quant.Grav.24:6393-6416,2007

Chiral primaries in the Leigh-Strassler deformed N=4 SYM -- a perturbative study

Authors: Kallingalthodi Madhu, Suresh Govindarajan

Abstract: We look for chiral primaries in the general Leigh-Strassler deformed N=4 super Yang-Mills theory by systematically computing the planar one-loop anomalous dimension for single trace operators up to dimension six. The operators are organised into representations of the trihedral group, Δ(27), which is a symmetry of the Lagrangian. We find an interesting relationship between the U(1)_R-charge of c… ▽ More We look for chiral primaries in the general Leigh-Strassler deformed N=4 super Yang-Mills theory by systematically computing the planar one-loop anomalous dimension for single trace operators up to dimension six. The operators are organised into representations of the trihedral group, Δ(27), which is a symmetry of the Lagrangian. We find an interesting relationship between the U(1)_R-charge of chiral primaries and the representation of Δ(27) to which the operator belongs. Up to scaling dimension Δ_0=6 (and conjecturally to all dimensions) the following holds: The planar one-loop anomalous dimension vanishes only for operators that are in the singlet or three dimensional representations of Δ(27). For other operators, the vanishing of the one-loop anomalous dimension occurs only in a sub-locus in the space of couplings. △ Less

Submitted 8 May, 2007; v1 submitted 2 March, 2007; originally announced March 2007.

Comments: 41 pages, 6 figures; (v2) references added, minor typos removed; (v3) more references added, incorrect statement and typos removed

Report number: IITM/PH/TH/2006/17

Journal ref: JHEP 0705:038,2007

Toric Kahler metrics and AdS_5 in ring-like co-ordinates

Authors: Bobby S. Acharya, Suresh Govindarajan, Chethan N. Gowdigere

Abstract: Stationary, supersymmetric supergravity solutions in five dimensions have Kahler metrics on the four-manifold orthogonal to the orbits of a time-like Killing vector. We show that an explicit class of toric Kahler metrics provide a unified framework in which to describe both the asymptotically flat and asymptotically AdS solutions. The Darboux co-ordinates used for the local description turn out… ▽ More Stationary, supersymmetric supergravity solutions in five dimensions have Kahler metrics on the four-manifold orthogonal to the orbits of a time-like Killing vector. We show that an explicit class of toric Kahler metrics provide a unified framework in which to describe both the asymptotically flat and asymptotically AdS solutions. The Darboux co-ordinates used for the local description turn out to be ''ring-like.'' We conclude with an Ansatz for studying the existence of supersymmetric black rings in AdS. △ Less

Submitted 31 October, 2007; v1 submitted 29 December, 2006; originally announced December 2006.

Comments: A new appendix derives the explicit co-ordinate transformation between the ``ring-like'' co-ordinates and the polar co-ordinates of global AdS. Also, references added

Report number: IITM/PH/TH/2006/16

Journal ref: JHEP 0711:060,2007

Effective superpotentials for B-branes in Landau-Ginzburg models

Authors: Suresh Govindarajan, Hans Jockers

Abstract: We compute the partition function for the topological Landau-Ginzburg B-model on the disk. This is done by treating the worldsheet superpotential perturbatively. We argue that this partition function as a function of bulk and boundary perturbations may be identified with the effective D-brane superpotential in the target spacetime. We point out the relationship of this approach to matrix factori… ▽ More We compute the partition function for the topological Landau-Ginzburg B-model on the disk. This is done by treating the worldsheet superpotential perturbatively. We argue that this partition function as a function of bulk and boundary perturbations may be identified with the effective D-brane superpotential in the target spacetime. We point out the relationship of this approach to matrix factorizations. Using these methods, we prove a conjecture for the effective superpotential of Herbst, Lazaroiu and Lerche for the A-type minimal models. We also consider the Landau-Ginzburg theory of the cubic torus where we show that the effective superpotential, given by the partition function, is consistent with the one obtained by summing up disk instantons in the mirror A-model. This is done by explicitly constructing the open-string mirror map. △ Less

Submitted 3 August, 2006; originally announced August 2006.

Comments: 57p, 7 figs, harvmac

Report number: CERN-PH-TH/2006-157

Journal ref: JHEP 0610:060,2006

Fractional two-branes, toric orbifolds and the quantum McKay correspondence

Authors: Bobby Ezhuthachan, Suresh Govindarajan, T. Jayaraman

Abstract: We systematically study and obtain the large-volume analogues of fractional two-branes on resolutions of orbifolds C^3/Z_n. We study a generalisation of the McKay correspondence proposed in hep-th/0504164 called the quantum McKay correspondence by constructing duals to the fractional two-branes. Details are explicitly worked out for two examples -- the crepant resolutions of C^3/Z_3 and C^3/Z_5. We systematically study and obtain the large-volume analogues of fractional two-branes on resolutions of orbifolds C^3/Z_n. We study a generalisation of the McKay correspondence proposed in hep-th/0504164 called the quantum McKay correspondence by constructing duals to the fractional two-branes. Details are explicitly worked out for two examples -- the crepant resolutions of C^3/Z_3 and C^3/Z_5. △ Less

Submitted 16 September, 2006; v1 submitted 16 June, 2006; originally announced June 2006.

Comments: 34 pages, 2 figures, LaTeX (JHEP3 style); (v2) typos corrected; (v3) sec 3 reorganised

Report number: IITM/PH/TH/2006/1, TIFR/TH/06-13

Journal ref: JHEP0610:032,2006

Tachyon Condensation on the Elliptic Curve

Authors: S. Govindarajan, H. Jockers, W. Lerche, N. Warner

Abstract: We use the framework of matrix factorizations to study topological B-type D-branes on the cubic curve. Specifically, we elucidate how the brane RR charges are encoded in the matrix factors, by analyzing their structure in terms of sections of vector bundles in conjunction with equivariant R-symmetry. One particular advantage of matrix factorizations is that explicit moduli dependence is built in… ▽ More We use the framework of matrix factorizations to study topological B-type D-branes on the cubic curve. Specifically, we elucidate how the brane RR charges are encoded in the matrix factors, by analyzing their structure in terms of sections of vector bundles in conjunction with equivariant R-symmetry. One particular advantage of matrix factorizations is that explicit moduli dependence is built in, thus giving us full control over the open-string moduli space. It allows one to study phenomena like discontinuous jumps of the cohomology over the moduli space, as well as formation of bound states at threshold. One interesting aspect is that certain gauge symmetries inherent to the matrix formulation lead to a non-trivial global structure of the moduli space. We also investigate topological tachyon condensation, which enables us to construct, in a systematic fashion, higher-dimensional matrix factorizations out of smaller ones; this amounts to obtaining branes with higher RR charges as composites of ones with minimal charges. As an application, we explicitly construct all rank-two matrix factorizations. △ Less

Submitted 27 April, 2006; v1 submitted 16 December, 2005; originally announced December 2005.

Comments: 69p, 6 figs, harvmac; v2: minor changes

Report number: CERN PH-TH/2005-259

Journal ref: Nucl.Phys.B765:240-286,2007