-
Modular and fractional L-intersecting families of vector spaces
Authors:
Rogers Mathew,
Tapas Kumar Mishra,
Ritabrata Ray,
Shashank Srivastava
Abstract:
In the first part of this paper, we prove a theorem which is the $q$-analogue of a generalized modular Ray-Chaudhuri-Wilson Theorem shown in [Alon, Babai, Suzuki, J. Combin. Theory Series A, 1991]. It is also a generalization of the main theorem in [Frankl and Graham, European J. Combin. 1985] under certain circumstances.
In the second part of this paper, we prove $q$-analogues of results on a r…
▽ More
In the first part of this paper, we prove a theorem which is the $q$-analogue of a generalized modular Ray-Chaudhuri-Wilson Theorem shown in [Alon, Babai, Suzuki, J. Combin. Theory Series A, 1991]. It is also a generalization of the main theorem in [Frankl and Graham, European J. Combin. 1985] under certain circumstances.
In the second part of this paper, we prove $q$-analogues of results on a recent notion called \emph{fractional $L$-intersecting family} for families of subspaces of a given vector space. We use the above theorem to obtain a general upper bound to the cardinality of such families. We give an improvement to this general upper bound in certain special cases.
△ Less
Submitted 4 June, 2020; v1 submitted 10 April, 2020;
originally announced April 2020.
-
A combinatorial proof of Fisher's Inequality
Authors:
Rogers Mathew,
Tapas Kumar Mishra
Abstract:
In this note, we give a simple, counting based proof of Fisher's Inequality that does not use any tools from linear algebra.
In this note, we give a simple, counting based proof of Fisher's Inequality that does not use any tools from linear algebra.
△ Less
Submitted 4 June, 2020; v1 submitted 12 March, 2020;
originally announced March 2020.
-
$r$-wise fractional $L$-intersecting family
Authors:
Tapas Kumar Mishra
Abstract:
Let $L = \{\frac{a_1}{b_1}, \ldots , \frac{a_s}{b_s}\}$, where for every $i \in [s]$, $\frac{a_i}{b_i} \in [0,1)$ is an irreducible fraction. Let $\mathcal{F} = \{A_1, \ldots , A_m\}$ be a family of subsets of $[n]$. We say $\mathcal{F}$ is a \emph{r-wise fractional $L$-intersecting family} if for every distinct $i_1,i_2, \ldots,i_r \in [m]$, there exists an $\frac{a}{b} \in L$ such that…
▽ More
Let $L = \{\frac{a_1}{b_1}, \ldots , \frac{a_s}{b_s}\}$, where for every $i \in [s]$, $\frac{a_i}{b_i} \in [0,1)$ is an irreducible fraction. Let $\mathcal{F} = \{A_1, \ldots , A_m\}$ be a family of subsets of $[n]$. We say $\mathcal{F}$ is a \emph{r-wise fractional $L$-intersecting family} if for every distinct $i_1,i_2, \ldots,i_r \in [m]$, there exists an $\frac{a}{b} \in L$ such that $|A_{i_1} \cap A_{i_2} \cap \ldots \cap A_{i_r}| \in \{ \frac{a}{b}|A_{i_1}|, \frac{a}{b} |A_{i_2}|,\ldots, \frac{a}{b} |A_{i_r}| \}$. In this paper, we introduce and study the notion of r-wise fractional $L$-intersecting families. This is a generalization of notion of fractional $L$-intersecting families studied in [Niranjan et.al, Fractional $L$-intersecting families, The Electronic Journal of Combinatorics, 2019].
△ Less
Submitted 11 August, 2021; v1 submitted 29 September, 2019;
originally announced September 2019.
-
Fractional L-intersecting families
Authors:
Niranjan Balachandran,
Rogers Mathew,
Tapas Kumar Mishra
Abstract:
Let $L = \{\frac{a_1}{b_1}, \ldots , \frac{a_s}{b_s}\}$, where for every $i \in [s]$, $\frac{a_i}{b_i} \in [0,1)$ is an irreducible fraction. Let $\mathcal{F} = \{A_1, \ldots , A_m\}$ be a family of subsets of $[n]$. We say $\mathcal{F}$ is a \emph{fractional $L$-intersecting family} if for every distinct $i,j \in [m]$, there exists an $\frac{a}{b} \in L$ such that…
▽ More
Let $L = \{\frac{a_1}{b_1}, \ldots , \frac{a_s}{b_s}\}$, where for every $i \in [s]$, $\frac{a_i}{b_i} \in [0,1)$ is an irreducible fraction. Let $\mathcal{F} = \{A_1, \ldots , A_m\}$ be a family of subsets of $[n]$. We say $\mathcal{F}$ is a \emph{fractional $L$-intersecting family} if for every distinct $i,j \in [m]$, there exists an $\frac{a}{b} \in L$ such that $|A_i \cap A_j| \in \{ \frac{a}{b}|A_i|, \frac{a}{b} |A_j|\}$. In this paper, we introduce and study the notion of fractional $L$-intersecting families.
△ Less
Submitted 13 March, 2018; v1 submitted 11 March, 2018;
originally announced March 2018.
-
System of unbiased representatives for a collection of bicolorings
Authors:
Niranjan Balachandran,
Rogers Mathew,
Tapas Kumar Mishra,
Sudebkumar Prasant Pal
Abstract:
Let $\mathcal{B}$ denote a set of bicolorings of $[n]$, where each bicoloring is a map** of the points in $[n]$ to $\{-1,+1\}$.
For each $B \in \mathcal{B}$, let $Y_B=(B(1),\ldots,B(n))$.
For each $A \subseteq [n]$, let $X_A \in \{0,1\}^n$ denote the incidence vector of $A$.
A non-empty set $A$ is said to be an `unbiased representative' for a bicoloring $B \in \mathcal{B}$ if…
▽ More
Let $\mathcal{B}$ denote a set of bicolorings of $[n]$, where each bicoloring is a map** of the points in $[n]$ to $\{-1,+1\}$.
For each $B \in \mathcal{B}$, let $Y_B=(B(1),\ldots,B(n))$.
For each $A \subseteq [n]$, let $X_A \in \{0,1\}^n$ denote the incidence vector of $A$.
A non-empty set $A$ is said to be an `unbiased representative' for a bicoloring $B \in \mathcal{B}$ if $\left\langle X_A,Y_B\right\rangle =0$.
Given a set $\mathcal{B}$ of bicolorings, we study the minimum cardinality of a family $\mathcal{A}$ consisting of subsets of $[n]$ such that every bicoloring in $\mathcal{B}$ has an unbiased representative in $\mathcal{A}$.
△ Less
Submitted 25 April, 2017;
originally announced April 2017.
-
Induced bisecting families for hypergraphs
Authors:
Niranjan Balachandran,
Rogers Mathew,
Tapas Kumar Mishra,
Sudebkumar Prasant Pal
Abstract:
Two $n$-dimensional vectors $A$ and $B$, $A,B \in \mathbb{R}^n$, are said to be \emph{trivially orthogonal} if in every coordinate $i \in [n]$, at least one of $A(i)$ or $B(i)$ is zero. Given the $n$-dimensional Hamming cube $\{0,1\}^n$, we study the minimum cardinality of a set $\mathcal{V}$ of $n$-dimensional $\{-1,0,1\}$ vectors, each containing exactly $d$ non-zero entries, such that every `po…
▽ More
Two $n$-dimensional vectors $A$ and $B$, $A,B \in \mathbb{R}^n$, are said to be \emph{trivially orthogonal} if in every coordinate $i \in [n]$, at least one of $A(i)$ or $B(i)$ is zero. Given the $n$-dimensional Hamming cube $\{0,1\}^n$, we study the minimum cardinality of a set $\mathcal{V}$ of $n$-dimensional $\{-1,0,1\}$ vectors, each containing exactly $d$ non-zero entries, such that every `possible' point $A \in \{0,1\}^n$ in the Hamming cube has some $V \in \mathcal{V}$ which is orthogonal, but not trivially orthogonal, to $A$. We give asymptotically tight lower and (constructive) upper bounds for such a set $\mathcal{V}$ except for the even values of $d \in Ω(n^{0.5+ε})$, for any $ε$, $0< ε\leq 0.5$.
△ Less
Submitted 12 January, 2017; v1 submitted 1 October, 2016;
originally announced October 2016.
-
Bisecting and D-secting families for set systems
Authors:
Niranjan Balachandran,
Rogers Mathew,
Tapas Kumar Mishra,
Sudebkumar Prasant Pal
Abstract:
Let $n$ be any positive integer and $\mathcal{F}$ be a family of subsets of $[n]$.
A family $\mathcal{F}'$ is said to be $D$-\emph{secting} for $\mathcal{F}$ if for every $A \in \mathcal{F}$, there exists a subset $A' \in \mathcal{F}'$ such that $|A \cap A'| - |A \cap ([n] \setminus A')|=i$, where $i \in D$, $D \subseteq \{-n,-n+1,\ldots,0,\ldots,n\}$.
A $D$-\emph{secting} family…
▽ More
Let $n$ be any positive integer and $\mathcal{F}$ be a family of subsets of $[n]$.
A family $\mathcal{F}'$ is said to be $D$-\emph{secting} for $\mathcal{F}$ if for every $A \in \mathcal{F}$, there exists a subset $A' \in \mathcal{F}'$ such that $|A \cap A'| - |A \cap ([n] \setminus A')|=i$, where $i \in D$, $D \subseteq \{-n,-n+1,\ldots,0,\ldots,n\}$.
A $D$-\emph{secting} family $\mathcal{F}'$ of $\mathcal{F}$, where $D=\{-1,0,1\}$, is a \emph{bisecting} family ensuring the existence of a subset $A' \in \mathcal{F}'$ such that $|A \cap A'| \in \{\lceil \frac{|A|}{2}\rceil,\lfloor \frac{|A|}{2}\rfloor\}$, for each $A \in \mathcal{F}$.
In this paper, we study $D$-secting families for $\mathcal{F}$ with restrictions on $D$, and the cardinalities of $\mathcal{F}$ and the subsets of $\mathcal{F}$.
△ Less
Submitted 20 February, 2019; v1 submitted 6 April, 2016;
originally announced April 2016.
-
Strong $(r,p)$ Cover for Hypergraphs
Authors:
Tapas Kumar Mishra,
Sudebkumar Prasant Pal
Abstract:
We introduce the notion of the { \it strong $(r,p)$ cover} number $χ^c(G,k,r,p)$ for $k$-uniform hypergraphs $G(V,E)$, where $χ^c(G,k,r,p)$ denotes the minimum number of $r$-colorings of vertices in $V$ such that each hyperedge in $E$ contains at least $min(p,k)$ vertices of distinct colors in at least one of the $χ^c(G,k,r,p)$ $r$-colorings. We derive the exact values of $χ^c(K_n^k,k,r,p)$ for sm…
▽ More
We introduce the notion of the { \it strong $(r,p)$ cover} number $χ^c(G,k,r,p)$ for $k$-uniform hypergraphs $G(V,E)$, where $χ^c(G,k,r,p)$ denotes the minimum number of $r$-colorings of vertices in $V$ such that each hyperedge in $E$ contains at least $min(p,k)$ vertices of distinct colors in at least one of the $χ^c(G,k,r,p)$ $r$-colorings. We derive the exact values of $χ^c(K_n^k,k,r,p)$ for small values of $n$, $k$, $r$ and $p$, where $K_n^k$ denotes the complete $k$-uniform hypergraph of $n$ vertices. We study the variation of $χ^c(G,k,r,p)$ with respect to changes in $k$, $r$, $p$ and $n$; we show that $χ^c(G,k,r,p)$ is at least (i) $χ^c(G,k,r-1,p-1)$, and, (ii) $χ^c(G',k-1,r,p-1)$, where $G'$ is any $(n-1)$-vertex induced sub-hypergraph of $G$. We establish a general upper bound for $χ^c(K_n^k,k,r,p)$ for complete $k$-uniform hypergraphs using a divide-and-conquer strategy for arbitrary values of $k$, $r$ and $p$. We also relate $χ^c(G,k,r,p)$ to the number $|E|$ of hyperedges, and the maximum {\it hyperedge degree (dependency)} $d(G)$, as follows. We show that $χ^c(G,k,r,p)\leq x$ for integer $x>0$, if $|E|\leq \frac{1}{2}({\frac{r^k}{(t-1)^k \binom{r}{t-1}}})^x $, for any $k$-uniform hypergraph. We prove that a { \it strong $(r,p)$ cover} of size $x$ can be computed in randomized polynomial time if $d(G)\leq \frac{1}{e}({\frac{r^k}{(p-1)^k \binom{r}{p-1}}})^x-1$.
△ Less
Submitted 11 July, 2015;
originally announced July 2015.
-
Bicoloring covers for graphs and hypergraphs
Authors:
Tapas Kumar Mishra,
Sudebkumar Prasant Pal
Abstract:
Let the {\it bicoloring cover number $χ^c(G)$} for a hypergraph $G(V,E)$ be the minimum number of bicolorings of vertices of $G$ such that every hyperedge $e\in E$ of $G$ is properly bicolored in at least one of the $χ^c(G)$ bicolorings. We investigate the relationship between $χ^c(G)$, matchings, hitting sets, $α(G)$(independence number) and $χ(G)$ (chromatic number). We design a factor…
▽ More
Let the {\it bicoloring cover number $χ^c(G)$} for a hypergraph $G(V,E)$ be the minimum number of bicolorings of vertices of $G$ such that every hyperedge $e\in E$ of $G$ is properly bicolored in at least one of the $χ^c(G)$ bicolorings. We investigate the relationship between $χ^c(G)$, matchings, hitting sets, $α(G)$(independence number) and $χ(G)$ (chromatic number). We design a factor $O(\frac{\log n}{\log \log n-\log \log \log n})$ approximation algorithm for computing a bicoloring cover. We define a new parameter for hypergraphs - "cover independence number $γ(G)$" and prove that $\log \frac{|V|}{γ(G)}$ and $\frac{|V|}{2γ(G)}$ are lower bounds for $χ^c(G)$ and $χ(G)$, respectively. We show that $χ^c(G)$ can be approximated by a polynomial time algorithm achieving approximation ratio $\frac{1}{1-t}$, if $γ(G)=n^t$, where $t<1$. We also construct a particular class of hypergraphs $G(V,E)$ called {\it cover friendly} hypergraphs where the ratio of $α(G)$ to $γ(G)$ can be arbitrarily large.We prove that for any $t\geq 1$, there exists a $k$-uniform hypergraph $G$ such that the {\it clique number} $ω(G)=k$ and $χ^c(G) > t$. Let $m(k,x)$ denote the minimum number of hyperedges %in a $k$-uniform hypergraph $G$ such that some $k$-uniform hypergraph $G$ with $m(k,x)$ hyperedges does not have a bicoloring cover of size $x$. We show that $ 2^{(k-1)x-1} < m(k,x) \leq x \cdot k^2 \cdot 2^{(k+1)x+2}$. Let the {\it dependency $d(G)$} of $G$ be the maximum number of hyperedge neighbors of any hyperedge in $G$. We propose an algorithm for computing a bicoloring cover of size $x$ for $G$ if $d(G) \leq(\frac{2^{x(k-1)}}{e}-1)$ using $nx+kx\frac{m}{d}$ random bits.
△ Less
Submitted 5 March, 2016; v1 submitted 1 January, 2015;
originally announced January 2015.