Researcher profile

Ishan Bansal

Ishan Bansal contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Data Structures and Algorithms Discrete Mathematics Information Theory math.IT

Trust snapshot

Quick read

Trust 17 - UnverifiedVerification L1Unclaimed author

4works

0followers

4topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

preprint2025arXiv

Symmetric Submodular Functions, Uncrossable Functions, and Structural Submodularity

Diestel, et al. (see Order 35 (2017), JCT-A 167 (2019), arXiv:1805.01439) introduced the notion of abstract separation systems that satisfy a submodularity property, and they call this structural submodularity. Williamson, Goemans, Mihail, and Vazirani (Combinatorica 15 (1995)) call a family of sets $\mathcal{F}$ uncrossable if the following holds: for any pair of sets $A,B\in\mathcal{F}$, both $A\cap{B},A\cup{B}$ are in $\mathcal{F}$, or both $A-B,B-A$ are in $\mathcal{F}$. Bansal, Cheriyan, Grout, and Ibrahimpur (Algorithmica 86 (2024), arXiv:2209.11209) call a family of sets $\mathcal{F}$ pliable if the following holds: for any pair of sets $A,B\in\mathcal{F}$, at least two of the sets $A\cap{B},A\cup{B},A-B,B-A$ are in $\mathcal{F}$. We say that a pliable family of sets $\mathcal{F}$ satisfies structural submodularity if the following holds: for any pair of crossing sets $A,B\in\mathcal{F}$, at least one of the sets $A\cap{B},A\cup{B}$ is in $\mathcal{F}$, and at least one of the sets $A-B,B-A$ is in $\mathcal{F}$. For any positive integer $d\geq2$, we construct a pliable family of sets $\mathcal{F}$ that satisfies structural submodularity such that (a) there do not exist a symmetric submodular function $g$ and $λ\in{\mathbb Q}$ such that $\mathcal{F} = \{ S \,:\, g(S)<λ\}$, and (b) $\mathcal{F}$ cannot be partitioned into $d$ (or fewer) uncrossable families.

preprint2024arXiv

Improved Approximation Algorithms by Generalizing the Primal-Dual Method Beyond Uncrossable Functions

We address long-standing open questions raised by Williamson, Goemans, Vazirani and Mihail pertaining to the design of approximation algorithms for problems in network design via the primal-dual method (Combinatorica 15(3):435-454, 1995). Williamson et al. prove an approximation guarantee of two for connectivity augmentation problems where the connectivity requirements can be specified by so-called uncrossable functions. They state: ``Extending our algorithm to handle non-uncrossable functions remains a challenging open problem. The key feature of uncrossable functions is that there exists an optimal dual solution which is laminar. This property characterizes uncrossable functions\dots\ A larger open issue is to explore further the power of the primal-dual approach for obtaining approximation algorithms for other combinatorial optimization problems.'' Our main result proves that the primal-dual algorithm of Williamson et al. achieves an approximation ratio of 16 for a class of functions that generalizes the notion of an uncrossable function. There exist instances that can be handled by our methods where none of the optimal dual solutions has a laminar support. We present three applications of our main result. (1) A 16-approximation algorithm for augmenting a family of small cuts of a graph $G$. (2) A $16 \cdot {\lceil k/u_{min} \rceil}$-approximation algorithm for the Cap-$k$-ECSS problem which is as follows: Given an undirected graph $G = (V,E)$ with edge costs $c \in \mathbb{Q}_{\geq 0}^E$ and edge capacities $u \in \mathbb{Z}_{\geq 0}^E$, find a minimum-cost subset of the edges $F\subseteq E$ such that the capacity of any cut in $(V,F)$ is at least $k$; we use $u_{min}$ to denote the minimum capacity of an edge in $E$. (3) An $O(1)$-approximation algorithm for the model of $(p,2)$-Flexible Graph Connectivity.

preprint2022arXiv

Algorithms for 2-connected network design and flexible Steiner trees with a constant number of terminals

The $k$-Steiner-2NCS problem is as follows: Given a constant $k$, and an undirected connected graph $G = (V,E)$, non-negative costs $c$ on $E$, and a partition $(T, V-T)$ of $V$ into a set of terminals, $T$, and a set of non-terminals (or, Steiner nodes), where $|T|=k$, find a minimum-cost two-node connected subgraph that contains the terminals. We present a randomized polynomial-time algorithm for the unweighted problem, and a randomized PTAS for the weighted problem. We obtain similar results for the $k$-Steiner-2ECS problem, where the input is the same, and the algorithmic goal is to find a minimum-cost two-edge connected subgraph that contains the terminals. Our methods build on results by Björklund, Husfeldt, and Taslaman (ACM-SIAM SODA 2012) that give a randomized polynomial-time algorithm for the unweighted $k$-Steiner-cycle problem; this problem has the same inputs as the unweighted $k$-Steiner-2NCS problem, and the algorithmic goal is to find a minimum-size simple cycle $C$ that contains the terminals ($C$ may contain any number of Steiner nodes).

preprint2020arXiv

On the Polarizing Behavior and Scaling Exponent of Polar Codes with Product Kernels

Polar codes, introduced by Arikan, achieve the capacity of arbitrary binary-input discrete memoryless channel $W$ under successive cancellation decoding. Any such channel having capacity $I(W)$ and for any coding scheme allowing transmission at rate $R$, scaling exponent is a parameter which characterizes how fast gap to capacity decreases as a function of code length $N$ for a fixed probability of error. The relation between them is given by $N\geqslant α/(I(W)-R)^μ$. Scaling exponent for kernels of small size up to $L=8$ have been exhaustively found. In this paper, we consider product kernels $T_{L}$ obtained by taking Kronecker product of component kernels. We derive the properties of polarizing product kernels relating to number of product kernels, self duality and partial distances in terms of the respective properties of the smaller component kernels. Subsequently, polarization behavior of component kernel $T_{l}$ is used to calculate scaling exponent of $T_{L}=T_{2}\otimes T_{l}$. Using this method, we show that $μ(T_{2}\otimes T_{5})=3.942.$ Further, we employ a heuristic approach to construct good kernel of $L=14$ from kernel having size $l=8$ having best $μ$ and find $μ(T_{2}\otimes T_{7})=3.485.$

Ishan Bansal

Quick read

Decide how to stay connected

How to connect with this researcher

Open a focused conversation when the fit is right

See the researcher in context

Building this graph slice

4 published item(s)

Symmetric Submodular Functions, Uncrossable Functions, and Structural Submodularity

Improved Approximation Algorithms by Generalizing the Primal-Dual Method Beyond Uncrossable Functions

Algorithms for 2-connected network design and flexible Steiner trees with a constant number of terminals

On the Polarizing Behavior and Scaling Exponent of Polar Codes with Product Kernels