Source author record

Maryam Sharifzadeh

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

ResearcherUnclaimed source record

math.CO math.NT

Catalog footprint

Research overview

8works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Characterization of quasirandom permutations by a pattern sum

It is known that a sequence Pi_i of permutations is quasirandom if and only if the pattern density of every 4-point permutation in Pi_i converges to 1/24. We show that there is a set S of 4-point permutations such that the sum of the pattern densities of the permutations from S in the permutations Pi_i converges to |S|/24 if and only if the sequence is quasirandom. Moreover, we are able to completely characterize the sets S with this property. In particular, there are exactly ten such sets, the smallest of which has cardinality eight.

preprint2016arXiv

Local conditions for exponentially many subdivisions

Given a graph $F$ , let $s_t(F)$ be the number of subdivisions of $F$ , each with a different vertex set, which one can guarantee in a graph $G$ in which every edge lies in at least $t$ copies of $F$ . In 1990, Tuza asked for which graphs $F$ and large $t$ , one has that $s_t(F)$ is exponential in a power of $t$ . We show that, somewhat surprisingly, the only such $F$ are complete graphs, and for every $F$ which is not complete, $s_t(F)$ is polynomial in $t$ . Further, for a natural strengthening of the local condition above, we also characterise those $F$ for which $s_t(F)$ is exponential in a power of $t$ .

preprint2016arXiv

The number of subsets of integers with no $k$ -term arithmetic progression

Addressing a question of Cameron and Erd\Ho s, we show that, for infinitely many values of $n$ , the number of subsets of $\{1,2,\ldots, n\}$ that do not contain a $k$ -term arithmetic progression is at most $2^{O(r_k(n))}$ , where $r_k(n)$ is the maximum cardinality of a subset of $\{1,2,\ldots, n\}$ without a $k$ -term arithmetic progression. This bound is optimal up to a constant factor in the exponent. For all values of $n$ , we prove a weaker bound, which is nevertheless sufficient to transfer the current best upper bound on $r_k(n)$ to the sparse random setting. To achieve these bounds, we establish a new supersaturation result, which roughly states that sets of size $Θ(r_k(n))$ contain superlinearly many $k$ -term arithmetic progressions. For integers $r$ and $k$ , Erd\Ho s asked whether there is a set of integers $S$ with no $(k+1)$ -term arithmetic progression, but such that any $r$ -coloring of $S$ yields a monochromatic $k$ -term arithmetic progression. Nešetřil and Rödl, and independently Spencer, answered this question affirmatively. We show the following density version: for every $k\ge 3$ and $δ>0$ , there exists a reasonably dense subset of primes $S$ with no $(k+1)$ -term arithmetic progression, yet every $U\subseteq S$ of size $|U|\geδ|S|$ contains a $k$ -term arithmetic progression. Our proof uses the hypergraph container method, which has proven to be a very powerful tool in extremal combinatorics. The idea behind the container method is to have a small certificate set to describe a large independent set. We give two further applications in the appendix using this idea.

preprint2015arXiv

Intersecting families of discrete structures are typically trivial

The study of intersecting structures is central to extremal combinatorics. A family of permutations $\mathcal{F} \subset S_n$ is \emph{ $t$ -intersecting} if any two permutations in $\mathcal{F}$ agree on some $t$ indices, and is \emph{trivial} if all permutations in $\mathcal{F}$ agree on the same $t$ indices. A $k$ -uniform hypergraph is \emph{ $t$ -intersecting} if any two of its edges have $t$ vertices in common, and \emph{trivial} if all its edges share the same $t$ vertices. The fundamental problem is to determine how large an intersecting family can be. Ellis, Friedgut and Pilpel proved that for $n$ sufficiently large with respect to $t$ , the largest $t$ -intersecting families in $S_n$ are the trivial ones. The classic Erdős--Ko--Rado theorem shows that the largest $t$ -intersecting $k$ -uniform hypergraphs are also trivial when $n$ is large. We determine the \emph{typical} structure of $t$ -intersecting families, extending these results to show that almost all intersecting families are trivial. We also obtain sparse analogues of these extremal results, showing that they hold in random settings. Our proofs use the Bollobás set-pairs inequality to bound the number of maximal intersecting families, which can then be combined with known stability theorems. We also obtain similar results for vector spaces.

preprint2015arXiv

The typical structure of graphs with no large cliques

In 1987, Kolaitis, Prömel and Rothschild proved that, for every fixed $r \in \mathbb{N}$ , almost every $n$ -vertex $K_{r+1}$ -free graph is $r$ -partite. In this paper we extend this result to all functions $r = r(n)$ with $r \leqslant (\log n)^{1/4}$ . The proof combines a new (close to sharp) supersaturation version of the Erdős-Simonovits stability theorem, the hypergraph container method, and a counting technique developed by Balogh, Bollobás and Simonovits.

preprint2015arXiv

The typical structure of maximal triangle-free graphs

Recently, settling a question of Erdős, Balogh and Petříčková showed that there are at most $2^{n^2/8+o(n^2)}$ $n$ -vertex maximal triangle-free graphs, matching the previously known lower bound. Here we characterize the typical structure of maximal triangle-free graphs. We show that almost every maximal triangle-free graph $G$ admits a vertex partition $X\cup Y$ such that $G[X]$ is a perfect matching and $Y$ is an independent set. Our proof uses the Ruzsa-Szemerédi removal lemma, the Erdős-Simonovits stability theorem, and recent results of Balogh-Morris-Samotij and Saxton-Thomason on characterization of the structure of independent sets in hypergraphs. The proof also relies on a new bound on the number of maximal independent sets in triangle-free graphs with many vertex-disjoint $P_3$ 's, which is of independent interest.

preprint2014arXiv

Subdivisions of a large clique in $C_6$ -free graphs

Mader conjectured that every $C_4$ -free graph has a subdivision of a clique of order linear in its average degree. We show that every $C_6$ -free graph has such a subdivision of a large clique. We also prove the dense case of Mader's conjecture in a stronger sense, i.e. for every $c$ , there is a $c'$ such that every $C_4$ -free graph with average degree $cn^{1/2}$ has a subdivision of a clique $K_\ell$ with $\ell=\lfloor c'n^{1/2}\rfloor$ where every edge is subdivided exactly $3$ times.

preprint2014arXiv

The number of maximal sum-free subsets of integers

Cameron and Erdős raised the question of how many maximal sum-free sets there are in $\{1, \dots , n\}$ , giving a lower bound of $2^{\lfloor n/4 \rfloor }$ . In this paper we prove that there are in fact at most $2^{(1/4+o(1))n}$ maximal sum-free sets in $\{1, \dots , n\}$ . Our proof makes use of container and removal lemmas of Green as well as a result of Deshouillers, Freiman, Sós and Temkin on the structure of sum-free sets.

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.

Maryam Sharifzadeh

Research overview

Is this your work?

8 publications

Characterization of quasirandom permutations by a pattern sum

Local conditions for exponentially many subdivisions

The number of subsets of integers with no $k$ -term arithmetic progression

Intersecting families of discrete structures are typically trivial

The typical structure of graphs with no large cliques

The typical structure of maximal triangle-free graphs

Subdivisions of a large clique in $C_6$ -free graphs

The number of maximal sum-free subsets of integers

See the researcher in context

Building this map preview

Maryam Sharifzadeh

Research overview

Is this your work?

8 publications

Characterization of quasirandom permutations by a pattern sum

Local conditions for exponentially many subdivisions

The number of subsets of integers with no kkk-term arithmetic progression

Intersecting families of discrete structures are typically trivial

The typical structure of graphs with no large cliques

The typical structure of maximal triangle-free graphs

Subdivisions of a large clique in C6C_6C6​-free graphs

The number of maximal sum-free subsets of integers

See the researcher in context

Building this map preview

The number of subsets of integers with no $k$ -term arithmetic progression

Subdivisions of a large clique in $C_6$ -free graphs