arXiv subjects

Shahriar Shahriari

Publications and source records attributed to Shahriar Shahriari.

6 recordsLinked to original sources

arXiv2024

$3$-cluster-free families of subspaces

Three $k$-dimensional subspaces $A$, $B$, and $C$ of an $n$-dimensional vector space $V$ over a finite field are called a $3$-cluster if $A \cap B \cap C = \{\mathbf{0}_V\}$ and yet $\dim(A+B+C) \leq 2k$. A special kind of $3$-cluster, which we call a covering triple, consists of subspaces $A,B,C$ such that $A = (A \cap B )\oplus (A \cap C)$. We prove that, for $2 \leq k \le n/2$, the largest size of a covering triple-free family of $k$-dimensional subspaces is the same as the size of the largest such star (a family of subspaces all containing a designated non-zero vector). Moreover, we show that if $k < n/2$, then stars are the only families achieving this largest size. This in turn implies the same result for $3$-clusters, which gives the vector space-analogue of a theorem of Mubayi for set systems.

math.CO↗

arXiv2022

Community, Collaboration, and Climate

The Department of Mathematics & Statistics at Pomona College has long worked to create an inclusive and welcoming space for all individuals to study mathematics. Many years ago, our approach to the lack of diversity we saw in our majors was remediation through programming which sought to ameliorate student deficits. More recently, however, we have taken an anti-deficit approach with focus on changes to the department itself. The programs we have implemented are described below as enhancing community, collaboration, and climate within our department.

math.HO↗

arXiv2018

Avoiding Brooms, Forks, and Butterflies in the Linear Lattices

Let $n$ be a positive integer, $q$ a power of a prime, and $\mathcal{L}_n(q)$ the poset of subspaces of an $n$-dimensional vector space over a field with $q$ elements. This poset is a normalized matching poset and the set of subspaces of dimension $\left\lfloor n/2 \right\rfloor$ or those of dimension $\left\lceil n/2 \right\rceil$ are the only maximum-sized anti-chains in this poset. Strengthening this well-known and celebrated result, we show that, except in the case of $\mathcal{L}_3(2)$, these same collections of subspaces are the only maximum-sized families in $\mathcal{L}_n(q)$ that avoid both a $\wedge$ and a $\vee$ as a subposet. We generalize some of the results to brooms and forks, and we also show that the union of the set of subspaces of dimension $k$ and $k+1$, for $k = \left\lfloor n/2 \right\rfloor$ or $k = \left\lceil n/2 \right\rceil-1$, are the only maximum-sized families in $\mathcal{L}_n(q)$ that avoid a butterfly (definitions below).

math.CO↗

arXiv2015

On Uniform f-vectors of Cutsets in the Truncated Boolean Lattice

Let $[n] = \{1, 2, \ldots, n\}$ and let $2^{[n]}$ be the collection of all subsets of $[n]$ ordered by inclusion. ${\cal C} \subseteq 2^{[n]}$ is a {\em cutset} if it meets every maximal chain in $2^{[n]}$, and the {\em width} of ${\cal C} \subseteq 2^{[n]}$ is the minimum number of chains in a chain decomposition of ${\cal C}$. Fix $0 \leq m \leq l \leq n$. What is the smallest value of $k$ such that there exists a cutset that consists only of subsets of sizes between $m$ and $l$, and such that it contains exactly $k$ subsets of size $i$ for each $m \leq i \leq l$? The answer, which we denote by $g_n(m,l)$, gives a lower estimate for the width of a cutset between levels $m$ and $l$ in $2^{[n]}$. After using the Kruskal-Katona Theorem to give a general characterization of cutsets in terms of the number and sizes of their elements, we find lower and upper bounds (as well as some exact values) for $g_n(m,l)$.

math.CO↗

arXiv2014

The Manickam-Miklós-Singhi Conjectures for Sets and Vector Spaces

More than twenty-five years ago, Manickam, Miklós, and Singhi conjectured that for positive integers $n,k$ with $n \geq 4k$, every set of $n$ real numbers with nonnegative sum has at least $\binom{n-1}{k-1}$ $k$-element subsets whose sum is also nonnegative. We verify this conjecture when $n \geq 8k^{2}$, which simultaneously improves and simplifies a bound of Alon, Huang, and Sudakov and also a bound of Pokrovskiy when $k < 10^{45}$. Moreover, our arguments resolve the vector space analogue of this conjecture. Let $V$ be an $n$-dimensional vector space over a finite field. Assign a real-valued weight to each $1$-dimensional subspace in $V$ so that the sum of all weights is zero. Define the weight of a subspace $S \subset V$ to be the sum of the weights of all the $1$-dimensional subspaces it contains. We prove that if $n \geq 3k$, then the number of $k$-dimensional subspaces in $V$ with nonnegative weight is at least the number of $k$-dimensional subspaces in $V$ that contain a fixed $1$-dimensional subspace. This result verifies a conjecture of Manickam and Singhi from 1988.

math.CO↗

arXiv2014

A New Quadratic Bound for the Manickam-Miklós-Singhi Conjecture

More than twenty-five years ago, Manickam, Miklos, and Singhi conjectured that for positive integers $n,k$ with $n \geq 4k$, every set of $n$ real numbers with nonnegative sum has at least $\binom{n-1}{k-1}$ $k$-element subsets whose sum is also nonnegative. We verify this conjecture when $n \geq 8k^2$, which simultaneously improves and simplifies a bound of Alon, Huang, and Sudakov and also a bound of Pokrovskiy when $k < 10^{45}$.

math.CO↗