Source author record

Meghal Gupta

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Data Structures and Algorithms Information Theory math.IT Computational Complexity Discrete Mathematics math.CO

Catalog footprint

Research overview

4works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

An Optimal Algorithm for Certifying Monotone Functions

Given query access to a monotone function $f\colon\{0,1\}^n\to\{0,1\}$ with certificate complexity $C(f)$ and an input $x^{\star}$ , we design an algorithm that outputs a size- $C(f)$ subset of $x^{\star}$ certifying the value of $f(x^{\star})$ . Our algorithm makes $O(C(f) \cdot \log n)$ queries to $f$ , which matches the information-theoretic lower bound for this problem and resolves the concrete open question posed in the STOC '22 paper of Blanc, Koch, Lange, and Tan [BKLT22]. We extend this result to an algorithm that finds a size- $2C(f)$ certificate for a real-valued monotone function with $O(C(f) \cdot \log n)$ queries. We also complement our algorithms with a hardness result, in which we show that finding the shortest possible certificate in $x^{\star}$ may require $Ω\left(\binom{n}{C(f)}\right)$ queries in the worst case.

preprint2022arXiv

Efficient Interactive Coding Achieving Optimal Error Resilience Over the Binary Channel

Given a noiseless protocol $π_0$ computing a function $f(x, y)$ of Alice and Bob's private inputs $x, y$ , the goal of interactive coding is to construct an error-resilient protocol $π$ computing $f$ such that even if some fraction of the communication is adversarially corrupted, both parties still learn $f(x, y)$ . Ideally, the resulting scheme $π$ should be positive rate, computationally efficient, and achieve optimal error resilience. While interactive coding over large alphabets is well understood, the situation over the binary alphabet has remained evasive. At the present moment, the known schemes over the binary alphabet that achieve a higher error resilience than a trivial adaptation of large alphabet schemes are either still suboptimally error resilient [EKS20], or optimally error resilient with exponential communication complexity [GZ22]. In this work, we construct a scheme achieving optimality in all three parameters: our protocol is positive rate, computationally efficient, and resilient to the optimal $\frac16 - ε$ adversarial errors. Our protocol employs a new type of code that we call a layered code, which may be of independent interest. Like a tree code, a layered code allows the coder to encode a message in an online fashion, but is defined on a graph instead of a tree.

preprint2022arXiv

Positive Rate Binary Interactive Error Correcting Codes Resilient to $>\frac12$ Adversarial Erasures

An interactive error correcting code ( $\mathsf{iECC}$ ) is an interactive protocol with the guarantee that the receiver can correctly determine the sender's message, even in the presence of noise. This generalizes the concept of an error correcting code ( $\mathsf{ECC}$ ), which is a non-interactive $\mathsf{iECC}$ that is known to have erasure resilience capped at $\frac12$ . The work of \cite{GuptaTZ21} constructed the first $\mathsf{iECC}$ resilient to $> \frac12$ adversarial erasures. However, their $\mathsf{iECC}$ has communication complexity quadratic in the message size. In our work, we construct the first positive rate $\mathsf{iECC}$ resilient to $> \frac12$ adversarial erasures. For any $ε> 0$ , our $\mathsf{iECC}$ is resilient to $\frac6{11} - ε$ adversarial erasures and has size $O_ε(n)$ .

preprint2016arXiv

Bounding extremal functions of forbidden $0-1$ matrices using $(r,s)$ -formations

First, we prove tight bounds of $n 2^{\frac{1}{(t-2)!}α(n)^{t-2} \pm O(α(n)^{t-3})}$ on the extremal function of the forbidden pair of ordered sequences $(1 2 3 \ldots k)^t$ and $(k \ldots 3 2 1)^t$ using bounds on a class of sequences called $(r,s)$ -formations. Then, we show how an analogous method can be used to derive similar bounds on the extremal functions of forbidden pairs of $0-1$ matrices consisting of horizontal concatenations of identical identity matrices and their horizontal reflections.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Meghal Gupta

Research overview

Is this your work?

4 publications

An Optimal Algorithm for Certifying Monotone Functions

Efficient Interactive Coding Achieving Optimal Error Resilience Over the Binary Channel

Positive Rate Binary Interactive Error Correcting Codes Resilient to $>\frac12$ Adversarial Erasures

Bounding extremal functions of forbidden $0-1$ matrices using $(r,s)$ -formations

See the researcher in context

Building this map preview

Meghal Gupta

Research overview

Is this your work?

4 publications

An Optimal Algorithm for Certifying Monotone Functions

Efficient Interactive Coding Achieving Optimal Error Resilience Over the Binary Channel

Positive Rate Binary Interactive Error Correcting Codes Resilient to >12>\frac12>21​ Adversarial Erasures

Bounding extremal functions of forbidden 0−10-10−1 matrices using (r,s)(r,s)(r,s)-formations

See the researcher in context

Building this map preview

Positive Rate Binary Interactive Error Correcting Codes Resilient to $>\frac12$ Adversarial Erasures

Bounding extremal functions of forbidden $0-1$ matrices using $(r,s)$ -formations