Showing 1–8 of 8 results for author: Sankarnarayanan, B

Bounded fractional intersecting families are linear in size

Authors: Niranjan Balachandran, Shagnik Das, Brahadeesh Sankarnarayanan

Abstract: Using the sunflower method, we show that if $θ\in (0,1) \cap \mathbb{Q}$ and $\mathcal{F}$ is a $O(n^{1/3})$-bounded $θ$-intersecting family over $[n]$, then $\lvert \mathcal{F} \rvert = O(n)$, and that if $\mathcal{F}$ is $o(n^{1/3})$-bounded, then $\lvert \mathcal{F} \rvert \leq (\frac{3}{2} + o(1))n$. This partially solves a conjecture raised in (Balachandran et al., Electron J. Combin. 26 (201… ▽ More Using the sunflower method, we show that if $θ\in (0,1) \cap \mathbb{Q}$ and $\mathcal{F}$ is a $O(n^{1/3})$-bounded $θ$-intersecting family over $[n]$, then $\lvert \mathcal{F} \rvert = O(n)$, and that if $\mathcal{F}$ is $o(n^{1/3})$-bounded, then $\lvert \mathcal{F} \rvert \leq (\frac{3}{2} + o(1))n$. This partially solves a conjecture raised in (Balachandran et al., Electron J. Combin. 26 (2019), #P2.40) that any $θ$-intersecting family over $[n]$ has size at most linear in $n$, in the regime where we have no very large sets. △ Less

Submitted 22 February, 2024; originally announced February 2024.

Comments: 7 pages

MSC Class: 05D05 (Primary) 03E05 (Secondary)

Low-rank matrices, tournaments, and symmetric designs

Authors: Niranjan Balachandran, Brahadeesh Sankarnarayanan

Abstract: Let $\mathbf{a} = (a_{i})_{i \geq 1}$ be a sequence in a field $\mathbb{F}$, and $f \colon \mathbb{F} \times \mathbb{F} \to \mathbb{F}$ be a function such that $f(a_{i},a_{i}) \neq 0$ for all $i \geq 1$. For any tournament $T$ over $[n]$, consider the $n \times n$ symmetric matrix $M_{T}$ with zero diagonal whose $(i,j)$th entry (for $i < j$) is $f(a_{i},a_{j})$ if $i \to j$ in $T$, and… ▽ More Let $\mathbf{a} = (a_{i})_{i \geq 1}$ be a sequence in a field $\mathbb{F}$, and $f \colon \mathbb{F} \times \mathbb{F} \to \mathbb{F}$ be a function such that $f(a_{i},a_{i}) \neq 0$ for all $i \geq 1$. For any tournament $T$ over $[n]$, consider the $n \times n$ symmetric matrix $M_{T}$ with zero diagonal whose $(i,j)$th entry (for $i < j$) is $f(a_{i},a_{j})$ if $i \to j$ in $T$, and $f(a_{j},a_{i})$ if $j \to i$ in $T$. It is known (cf. Balachandran et al., Linear Algebra Appl. 658 (2023), 310-318) that if $T$ is a uniformly random tournament over $[n]$, then $\operatorname{rank}(M_{T}) \geq (\frac{1}{2}-o(1))n$ with high probability when $\operatorname{char}(\mathbb{F}) \neq 2$ and $f$ is a linear function. In this paper, we investigate the other extremal question: how low can the ranks of such matrices be? We work with sequences $\mathbf{a}$ that take only two distinct values, so the rank of any such $n \times n$ matrix is at least $n/2$. First, we show that the rank of any such matrix depends on whether an associated bipartite graph has certain eigenvalues of high multiplicity. Using this, we show that if $f$ is linear, then there are real matrices $M_{T}(f;\mathbf{a})$ of rank at most $\frac{n}{2} + O(1)$. For rational matrices, we show that for each $\varepsilon > 0$ we can find a sequence $\mathbf{a}(\varepsilon)$ for which there are matrices $M_{T}(f;\mathbf{a})$ of rank at most $(\frac{1}{2} + \varepsilon)n + O(1)$. These matrices are constructed from symmetric designs, and we also use them to produce bisection-closed families of size greater than $\lfloor 3n/2 \rfloor - 2$ for $n \leq 15$, which improves the previously best known bound (cf. Balachandran et al., Electron J. Combin. 26 (2019), #P2.40). △ Less

Submitted 29 April, 2024; v1 submitted 25 January, 2024; originally announced January 2024.

Comments: 10 pages, 0 figures; updated Section 4.4 and references

MSC Class: 05C50 (Primary) 05B20; 05C20; 05B30; 05D05 (Secondary)

Journal ref: Linear Algebra Appl. 694 (2024) 136-147

On hierarchically closed fractional intersecting families

Authors: Niranjan Balachandran, Srimanta Bhattacharya, Krishn Vishwas Kher, Rogers Mathew, Brahadeesh Sankarnarayanan

Abstract: For a set $L$ of positive proper fractions and a positive integer $r \geq 2$, a fractional $r$-closed $L$-intersecting family is a collection $\mathcal{F} \subset \mathcal{P}([n])$ with the property that for any $2 \leq t \leq r$ and $A_1, \dotsc, A_t \in \mathcal{F}$ there exists $θ\in L$ such that $\lvert A_1 \cap \dotsb \cap A_t \rvert \in \{ θ\lvert A_1 \rvert, \dotsc, θ\lvert A_t \rvert\}$. I… ▽ More For a set $L$ of positive proper fractions and a positive integer $r \geq 2$, a fractional $r$-closed $L$-intersecting family is a collection $\mathcal{F} \subset \mathcal{P}([n])$ with the property that for any $2 \leq t \leq r$ and $A_1, \dotsc, A_t \in \mathcal{F}$ there exists $θ\in L$ such that $\lvert A_1 \cap \dotsb \cap A_t \rvert \in \{ θ\lvert A_1 \rvert, \dotsc, θ\lvert A_t \rvert\}$. In this paper we show that for $r \geq 3$ and $L = \{θ\}$ any fractional $r$-closed $θ$-intersecting family has size at most linear in $n$, and this is best possible up to a constant factor. We also show that in the case $θ= 1/2$ we have a tight upper bound of $\lfloor \frac{3n}{2} \rfloor - 2$ and that a maximal $r$-closed $(1/2)$-intersecting family is determined uniquely up to isomorphism. △ Less

Submitted 11 April, 2024; v1 submitted 4 November, 2022; originally announced November 2022.

Comments: 20 pages, 0 figures. Included addendum

MSC Class: Primary 05D05; Secondary 05B99; 03E05

Journal ref: Electron. J. Combin. 30(4) (2023), #P4.37

The Young matroid: A multiset extension of the Catalan matroid to arbitrary Young diagrams

Authors: Hiranya Kishore Dey, Brahadeesh Sankarnarayanan, S. Venkitesh

Abstract: Introduced by Ardila (J. Combin. Theory Ser. A, 2003), the Catalan matroid is obtained by defining the bases of the matroid using Dyck paths from $(0,0)$ to $(n,n)$. Further research has gone into the topic, with variants like lattice path matroids (introduced by Bonin, de Mier, and Noy (J. Combin. Theory Ser. A, 2003)) and shifted matroids (introduced independently by Klivans (2003), and Ardila)… ▽ More Introduced by Ardila (J. Combin. Theory Ser. A, 2003), the Catalan matroid is obtained by defining the bases of the matroid using Dyck paths from $(0,0)$ to $(n,n)$. Further research has gone into the topic, with variants like lattice path matroids (introduced by Bonin, de Mier, and Noy (J. Combin. Theory Ser. A, 2003)) and shifted matroids (introduced independently by Klivans (2003), and Ardila) being studied intensively. In this short note, we introduce the Young matroid, an extension of the Catalan matroid, where the bases are defined using the standard Young tableaux of a fixed shape. This extension necessarily involves the consideration of independent multisets and multiset bases. △ Less

Submitted 26 September, 2022; v1 submitted 22 November, 2021; originally announced November 2021.

Comments: Section 2 has outlines of all proofs, and not complete proofs. While completing the proof of Theorem 1.2, an error was found which cannot be fixed. In fact, The claim of Theorem 1.2 was later found to be incorrect: a counterexample was found which was an integer polytope but not a matroid basis polytope

An ensemble of high rank matrices arising from tournaments

Authors: Niranjan Balachandran, Srimanta Bhattacharya, Brahadeesh Sankarnarayanan

Abstract: Suppose $\mathbb{F}$ is a field and let $\mathbf{a} := (a_1, a_2, \dotsc)$ be a sequence of non-zero elements in $\mathbb{F}$. For $\mathbf{a}_n := (a_1, \dotsc, a_n)$, we consider the family $\mathcal{M}_n(\mathbf{a})$ of $n \times n$ symmetric matrices $M$ over $\mathbb{F}$ with all diagonal entries zero and the $(i, j)$th element of $M$ either $a_i$ or $a_j$ for $i < j$. In this short paper, we… ▽ More Suppose $\mathbb{F}$ is a field and let $\mathbf{a} := (a_1, a_2, \dotsc)$ be a sequence of non-zero elements in $\mathbb{F}$. For $\mathbf{a}_n := (a_1, \dotsc, a_n)$, we consider the family $\mathcal{M}_n(\mathbf{a})$ of $n \times n$ symmetric matrices $M$ over $\mathbb{F}$ with all diagonal entries zero and the $(i, j)$th element of $M$ either $a_i$ or $a_j$ for $i < j$. In this short paper, we show that all matrices in a certain subclass of $\mathcal{M}_n(\mathbf{a})$ -- which can be naturally associated with transitive tournaments -- have rank at least $\lfloor 2n/3 \rfloor - 1$. We also show that if $\operatorname{char}(\mathbb{F}) \neq 2$ and $M$ is a matrix chosen uniformly at random from $\mathcal{M}_n(\mathbf{a})$, then with high probability $\operatorname{rank}(M) \geq \bigl(\frac{1}{2} - o(1)\bigr)n$. △ Less

Submitted 15 July, 2023; v1 submitted 24 August, 2021; originally announced August 2021.

Comments: 12 pages; addendum added

MSC Class: 15B52 (Primary) 05D99; 05C20; 15A03 (Secondary)

Journal ref: Linear Algebra Appl. 658 (2023), 310-318

$5$-list-coloring toroidal $6$-regular triangulations in linear time

Authors: Niranjan Balachandran, Brahadeesh Sankarnarayanan

Abstract: We give an explicit procedure for $5$-list-coloring a large class of toroidal $6$-regular triangulations in linear time. We also show that these graphs are not $3$-choosable. We give an explicit procedure for $5$-list-coloring a large class of toroidal $6$-regular triangulations in linear time. We also show that these graphs are not $3$-choosable. △ Less

Submitted 9 October, 2022; v1 submitted 3 June, 2021; originally announced June 2021.

Comments: 39 pages, 15 figures

MSC Class: 05C15 (Primary) 05C85; 05C10; 05C75 (Secondary)

Note on $4$-coloring $6$-regular triangulations on the torus

Authors: Brahadeesh Sankarnarayanan

Abstract: In 1973, Altshuler characterized the $6$-regular triangulations on the torus to be precisely those that are obtained from a regular triangulation of the $r \times s$ toroidal grid where the vertices in the first and last column are connected by a shift of $t$ vertices. Such a graph is denoted $T(r, s, t)$. In 1999, Collins and Hutchinson classified the $4$-colorable graphs $T(r, s, t)$ with… ▽ More In 1973, Altshuler characterized the $6$-regular triangulations on the torus to be precisely those that are obtained from a regular triangulation of the $r \times s$ toroidal grid where the vertices in the first and last column are connected by a shift of $t$ vertices. Such a graph is denoted $T(r, s, t)$. In 1999, Collins and Hutchinson classified the $4$-colorable graphs $T(r, s, t)$ with $r, s \geq 3$. In this paper, we point out a gap in their classification and show how it can be fixed. Combined with the classification of the $4$-colorable graphs $T(1, s, t)$ by Yeh and Zhu in 2003, this completes the characterization of the colorability of all the $6$-regular triangulations on the torus. △ Less

Submitted 9 October, 2022; v1 submitted 2 June, 2021; originally announced June 2021.

Comments: 9 pages, 1 figure

MSC Class: 05C15 (Primary) 05C10; 05C75 (Secondary)

Journal ref: Ann. Comb. 26 (2022), no. 3, 559-569

The choice number versus the chromatic number for graphs embeddable on orientable surfaces

Authors: Niranjan Balachandran, Brahadeesh Sankarnarayanan

Abstract: We show that for loopless $6$-regular triangulations on the torus the gap between the choice number and chromatic number is at most $2$. We also show that the largest gap for graphs embeddable in an orientable surface of genus $g$ is of the order $Θ(\sqrt{g})$, and moreover for graphs with chromatic number of the order $o(\sqrt{g}/\log_{2}(g))$ the largest gap is of the order $o(\sqrt{g})$. We show that for loopless $6$-regular triangulations on the torus the gap between the choice number and chromatic number is at most $2$. We also show that the largest gap for graphs embeddable in an orientable surface of genus $g$ is of the order $Θ(\sqrt{g})$, and moreover for graphs with chromatic number of the order $o(\sqrt{g}/\log_{2}(g))$ the largest gap is of the order $o(\sqrt{g})$. △ Less

Submitted 7 June, 2021; v1 submitted 13 February, 2021; originally announced February 2021.

Comments: 17 pages, 6 figures; changed notation of the triangulations to T(r, s, t) from T(s, r, t), added a reference in the last section, corrected typos

MSC Class: 05C15 (Primary) 05C10; 05C35; 05C75 (Secondary)

Journal ref: Electron. J. Combin. 28(4) (2021), #P4.50