Source author record

Arindam Biswas

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

11works
8topics
4close collaborators

Published work

11 publications

preprint2022arXiv

Logarithmic girth expander graphs of SLn(Fp)SL_n(\mathbb F_p)

We provide an explicit construction of finite 4-regular graphs (Γk)k∈N(Γ_k)_{k\in \mathbb N} with girthΓk→∞{girth Γ_k\to\infty} as k→∞k\to\infty and diamΓkgirthΓk⩽D\frac{diam Γ_k}{girth Γ_k}\leqslant D for some D>0D>0 and all k∈Nk\in\mathbb{N}. For each fixed dimension n⩾2,n\geqslant 2, we find a pair of matrices in SLn(Z)SL_{n}(\mathbb{Z}) such that (i) they generate a free subgroup, (ii)~their reductions  mod  p\bmod\, p generate SLn(Fp)SL_{n}(\mathbb{F}_{p}) for all sufficiently large primes pp, (iii) the corresponding Cayley graphs of SLn(Fp)SL_{n}(\mathbb{F}_{p}) have girth at least cnlog⁡pc_n\log p for some cn>0c_n>0. Relying on growth results (with no use of expansion properties of the involved graphs), we observe that the diameter of those Cayley graphs is at most O(log⁡p)O(\log p). This gives infinite sequences of finite 44-regular Cayley graphs of SLn(Fp)SL_n(\mathbb F_p) as p→∞p\to\infty with large girth and bounded diameter-by-girth ratio. These are the first explicit examples in all dimensions n⩾2n\geqslant 2 (all prior examples were in n=2n=2). Moreover, they happen to be expanders. Together with Margulis' and Lubotzky-Phillips-Sarnak's classical constructions, these new graphs are the only known explicit logarithmic girth Cayley graph expanders.

preprint2021arXiv

Approximation in (Poly-) Logarithmic Space

We develop new approximation algorithms for classical graph and set problems in the RAM model under space constraints. As one of our main results, we devise an algorithm for d-Hitting Set that runs in time n^{O(d^2 + d/ε})}, uses O((d^2 + d/ε) log n) bits of space, and achieves an approximation ratio of O((d/ε) n^ε) for any positive ε\leq 1 and any natural number d. In particular, this yields a factor-O(log n) approximation algorithm which runs in time n^{O(log n)} and uses O(log^2 n) bits of space (for constant d). As a corollary, we obtain similar bounds for Vertex Cover and several graph deletion problems. For bounded-multiplicity problem instances, one can do better. We devise a factor-2 approximation algorithm for Vertex Cover on graphs with maximum degree Δ, and an algorithm for computing maximal independent sets which both run in time n^{O(Δ)} and use O(Δlog n) bits of space. For the more general d-Hitting Set problem, we devise a factor-d approximation algorithm which runs in time n^{O(d δ^2)} and uses O(d δ^2 log n) bits of space on set families where each element appears in at most δsets. For Independent Set restricted to graphs with average degree d, we give a factor-(2d) approximation algorithm which runs in polynomial time and uses O(log n) bits of space. We also devise a factor-O(d^2) approximation algorithm for Dominating Set on d-degenerate graphs which runs in time n^{O(log n)} and uses O(log^2 n) bits of space. For d-regular graphs, we show how a known randomized factor-O(log d) approximation algorithm can be derandomized to run in time n^{O(1)} and use O(log n) bits of space. Our results use a combination of ideas from the theory of kernelization, distributed algorithms and randomized algorithms.

preprint2021arXiv

Expansion in Cayley graphs, Cayley sum graphs and their twists

The Cayley graphs of finite groups are known to provide several examples of families of expanders, and some of them are Ramanujan graphs. Babai studied isospectral non-isomorphic Cayley graphs of the dihedral groups. Lubotzky, Samuels and Vishne proved that there are isospectral non-isomorphic Cayley graphs of PSLd(Fq)\mathrm{PSL}_d(\mathbb F_q) for every d≥5d\geq 5 (d≠6d \neq 6) and prime power q>2q> 2. In this article, we focus on three variants of Cayley graphs, viz., the Cayley sum graphs, the twisted Cayley graphs, and the twisted Cayley sum graphs. We prove the existence of non-isomorphic expander families of bounded degree, whose spectra are related by the values of certain characters. We also provide several new examples of expander families, and examples of non-expanders and Ramanujan graphs formed by these three variants.

preprint2021arXiv

Space-Efficient FPT Algorithms

We prove algorithmic results showing that a number of natural parameterized problems are in the restricted-space parameterized classes Para-L and FPT+XL. The first class comprises problems solvable in f(k) n^{O(1)} time using g(k) + O(log n)) bits of space (k is the parameter and n is the input size; f and g are computable functions). The second class comprises problems solvable under the same time bound, but using g(k) log n bits of space instead. Earlier work on these classes has focused largely on their structural aspects and their relationships with various other classes. We complement this with Para-L and FPT+XL algorithms for a restriction of Hitting Set, some graph deletion problems where the target class has an infinite forbidden set characterization, a number of problems parameterized by vertex cover number, and Feedback Vertex Set.

preprint2020arXiv

Asymptotic behaviour of minimal complements

The notion of minimal complements was introduced by Nathanson in 2011 as a natural group-theoretic analogue of the metric concept of nets. Given two non-empty subsets W,W′W,W' in a group GG, the set W′W' is said to be a complement to WW if W⋅W′=GW\cdot W'=G and it is minimal if no proper subset of W′W' is a complement to WW. The inverse problem asks which sets may or not occur as minimal complements. We show some new results on the inverse problem and investigate how the study of the inverse problem naturally gives rise to questions about the asymptotic behaviour of these sets, providing partial answers to some of them.

preprint2020arXiv

Spectrum of twists of Cayley and Cayley sum graphs

Let GG be a finite group with ∣G∣≥4|G|\geq 4 and SS be a subset of GG. Given an automorphism σσ of GG, the twisted Cayley graph C(G,S)σC(G, S)^σ (resp. the twisted Cayley sum graph CΣ(G,S)σC_Σ(G, S)^σ) is defined as the graph having GG as its set of vertices and the adjacent vertices of a vertex g∈Gg\in G are of the form σ(gs)σ(gs) (resp. σ(g−1s)σ(g^{-1} s)) for some s∈Ss\in S. If the twisted Cayley graph C(G,S)σC(G, S)^σ is undirected and connected, then we prove that the nontrivial spectrum of its normalised adjacency operator is bounded away from −1-1 and this bound depends only on its degree, the order of σσ and the vertex Cheeger constant of C(G,S)σC(G, S)^σ. Moreover, if the twisted Cayley sum graph CΣ(G,S)σC_Σ(G, S)^σ is undirected and connected, then we prove that the nontrivial spectrum of its normalised adjacency operator is bounded away from −1-1 and this bound depends only on its degree and the vertex Cheeger constant of CΣ(G,S)σC_Σ(G, S)^σ. We also study these twisted graphs with respect to anti-automorphisms, and obtain similar results. Further, we prove an analogous result for the Schreier graphs satisfying certain conditions.

preprint2019arXiv

Minimal additive complements in finitely generated abelian groups

Given two non-empty subsets W,W′⊆GW,W'\subseteq G in an arbitrary abelian group GG, W′W' is said to be an additive complement to WW if W+W′=GW + W'=G and it is minimal if no proper subset of W′W' is a complement to WW. The notion was introduced by Nathanson and previous work by him, Chen--Yang, Kiss--Sàndor--Yang etc. focussed on G=ZG =\mathbb{Z}. In the higher rank case, recent work by the authors treated a class of subsets, namely the eventually periodic sets. However, for infinite subsets, not of the above type, the question of existence or inexistence of minimal complements is open. In this article, we study subsets which are not eventually periodic. We introduce the notion of "spiked subsets" and give necessary and sufficient conditions for the existence of minimal complements for them. This provides a partial answer to a problem of Nathanson.

preprint2016arXiv

A Simple Condition for the Existence of Transversals

Hall's Theorem is a basic result in Combinatorics which states that the obvious necesssary condition for a finite family of sets to have a transversal is also sufficient. We present a sufficient (but not necessary) condition on the sizes of the sets in the family and the sizes of their intersections so that a transversal exists. Using this, we prove that in a bipartite graph GG (bipartition {A,B}\{A, B\}), without 4-cycles, if °(v)≥2e∣A∣°(v) \geq \sqrt{2e|A|} for all v∈Av \in A, then GG has a matching of size ∣A∣|A|.

Research graph

See the researcher in context

Open full explorer

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.