**ISU
D****ISCRETE**
**M****ATHEMATICS**
**S****EMINAR**

**2016-2017**

Time: 2:10-3:00pm Tuesdays
Place: 401 Carver

The Discrete Mathematics Seminar at Iowa State University is an eclectic mix of topics, including graph theory, combinatorics, linear algebra and abstract algebra. Presentations vary with the speaker and include the speaker's research, related research by others, and expository talks. Many of the expository talks (typically labeled as "Introduction to") are suitable for interested faculty and graduate students who are not specialists in the area.

For more information, link to recodrings, or to get on the mailing list, please contact

Bernard Lidicky
(lidicky AT iastate DOT edu)

Some talks are recorded and available to public on Youtube

**Jan 10, 2017.** Organizing meeting

**Jan 17, 2017.** Zhanar Berikkyzy, "Antimagic Labelings of Weighted and Oriented Graphs"

A graph $G$ is $k$--weighted--list--antimagic if for any vertex weighting $\omega\colon V(G)\to\mathbb{R}$ and any list assignment $L\colon E(G)\to2^{\mathbb{R}}$ with $|L(e)|\geq |E(G)|+k$ there exists an edge labeling $f$ such that $f(e)\in L(e)$ for all $e\in E(G)$, labels of edges are pairwise distinct, and the sum of the labels on edges incident to a vertex plus the weight of that vertex is distinct from the sum at every other vertex. In this work we show that every graph on $n$ vertices having no $K_1$ or $K_2$ component is $\left\lfloor{\frac{4n}{3}}\right\rfloor$--weighted--list--antimagic.

An oriented graph $G$ is $k$--oriented--antimagic if there exists an injective edge labeling from $E(G)$ into $\{1,\dotsc,|E(G)|+k\}$ such that the sum of the labels on edges incident to and oriented toward a vertex minus the sum of the labels on edges incident to and oriented away from that vertex is distinct from the difference of sums at every other vertex. We show that every graph on $n$ vertices with no $K_1$ component admits an orientation that is $\left\lfloor{\frac{2n}{3}}\right\rfloor$--oriented--antimagic.

This is joint work with Axel Brandt, Sogol Jahanbekam, Victor Larsen, and Danny Rorabaugh.

**Jan 24, 2017.** ---

**Jan 31, 2017.** ---

**Feb 7, 2017.** Michael Dairyko "Ore and Chvatal-type Degree Conditions for Bootstrap Percolation from Small Sets"

Bootstrap percolation is a deterministic cellular automaton in which vertices of a graph~$G$ begin in one of two states, ``dormant'' or ``active''. Given a fixed integer $r$, a dormant vertex becomes active if at any stage it has at least $r$ active neighbors, and it remains active for the duration of the process. Given an initial set of active vertices $A$, we say that $G$ $r$-percolates (from $A$) if every vertex in $G$ becomes active after some number of steps. Let $m(G,r)$ denote the minimum size of a set $A$ such that $G$ $r$-percolates from $A$.

Bootstrap percolation has been studied in a number of settings, and has applications to both statistical physics and discrete epidemiology. Here, we are concerned with degree-based density conditions that ensure $m(G,2)=2$. In particular, we give an Ore-type degree sum result that states that if a graph $G$ satisfies $\sigma_2(G)\ge n-2$, then either $m(G,2)=2$ or $G$ is in one of a small number of classes of exceptional graphs. We also give a Chv\'{a}tal-type degree condition: If $G$ is a graph with degree sequence $d_1\le d_2\le\dots\le d_n$ such that $d_i \geq i+1$ or $d_{n-i} \geq n-i-1$ for all $1 \leq i < \frac{n}{2}$, then $m(G,2)=2$ or $G$ falls into one of several specific exceptional classes of graphs. Both of these results are inspired by, and extend, an Ore-type result in [D. Freund, M. Poloczek, and D. Reichman, Contagious sets in dense graphs, to appear in {\it European J. Combin.}] (Recieved September 12, 2016)

**Feb 7, 2017.** Juergen Kritschgau, "The rainbow numbers of graphs with respect to 2-matchings and 3-matchings"

Let $G$ and $H$ be graphs. Then the rainbow number of $G$ with respect to $H$ is the smallest positive integer $r$ such that if $G$ is exactly colored with $r$ colors, then there exists a rainbow subgraph $H$. This is denoted by $rb(G,H)=r$. Our results focus on the rainbow numbers of the various graphs with respect to $2K_2$ and $3K_2$. We find the rainbow numbers for all graphs with respect to $2K_2$. The number of troublesome cases increases for rainbow numbers with respect to $3K_2$. We prove that the rainbow numbers of trees with a diameter of 6 or greater have $rb(T,3K_2)=\Delta +2$. We extend this result to all graphs with diameter 6 or greater.

**Feb 9, 2017.** Xavier Pérez Giménez, "Perfect matchings and Hamilton cycles in the preferential attachment model"

In this talk we will discuss recent results concerning the existence of perfect matchings and Hamilton cycles in the preferential attachment model. This model was proposed by Barab\'asi and Albert in 1999 to describe the growth of the World Wide Web, and it is one of the best-known models for complex networks. In the preferential attachment model, vertices are added to the graph one by one, and each time a new vertex is created it establishes a connection with $m$ random vertices selected with probabilities proportional to their current degrees. We prove that if $m\ge 1{,}260$, then asymptotically almost surely there exists a perfect matching. Moreover, we show that there exists a Hamilton cycle asymptotically almost surely, provided that $m\ge 29{,}500$. (This is joint work with Alan Frieze, Pawe{\l} Pra{\l}at and Benjamin Reiniger.)

**Feb 14, 2017.** Alex Schulte, "Anti-van der Waerden number of $3$-term arithmetic progressions"

A set is \emph{rainbow} if each element of the set is a different color. A coloring is \emph{unitary} if at least one color is used exactly once. The \emph{anti-van der Waerden number} of the integers from $1$ to $n$, denoted by $\aw([n],3)$, is the least positive integer $r$ such that every exact $r$-coloring of $[n]$ contains a rainbow $3$-term arithmetic progression. The \emph{unitary anti-van der Waerden number} of the integers from $1$ to $n$, denoted by $\awu([n],3)$, is the least positive integer $r$ such that every exact unitary $r$-coloring of $[n]$ contains a rainbow $3$-term arithmetic progression. The \emph{anti-van der Waerden number} of a graph $G$, denoted by $\aw(G,3)$, is the least positive integer $r$ such that every exact $r$-coloring of $G$ contains a rainbow $3$-term arithmetic progression. Bounds for the anti-van der Waerden number and the unitary anti-van der Waerden number on the integers have been established. The exact value of the unitary anti-van der Waerden number of the integers is equal to the anti-van der Waerden number of the integers and these are given by $\aw([n],3) = \awu([n],3) = \lceil\log_3 n \rceil + 2$.

**Feb 14, 2017.** Kevin Moss, "Packing Coloring on Infinite Lattices"

A packing coloring of a graph is a coloring such that the distance between each pair of vertices in a color class is greater than that of the number assigned to the class. The packing chromatic number of a graph is the smallest k such that the graph has a packing coloring with colors 1 through k. We explore packing colorings on infinite graphs and look to find their packing chromatic number, if they have one at all.

**Feb 21, 2017.** Matthew Yancey, "Counting walks in a digraph"

Understanding the asymptotics of the number of walks of length $m$ from one vertex set $S$ to another vertex set $T$ in some given graph as $m \rightarrow \infty$ has been applied to understanding quasi-random graphs, community detection, and the mixing times of Markov chains. Fortunately, the problem of counting walks in a graph was solved a century ago and is known as Perron-Frobenius theory. Half a century ago Rothblum generalized Perron-Frobenius theory to directed graphs. We will survey Rothblum's sequence of papers, provide new and shorter proofs to several key results, and present stronger versions of others.

**Feb 28, 2017.** Andrew Suk, "On the Erdos-Szekeres convex polygon problem"

The classic 1935 paper of Erdos and Szekeres entitled "A combinatorial problem in geometry" was a starting point of a very rich discipline within combinatorics: Ramsey theory. In that paper, Erdos and Szekeres studied the following geometric problem. For every integer $n \geq 3$, determine the smallest integer $ES(n)$ such that any set of $ES(n)$ points in the plane in general position contains $n$ members in convex position, that is, $n$ points that form the vertex set of a convex polygon. Their main result showed that $ES(n) \leq {2n - 4\choose n-2} + 1 = 4^{n -o(n)}$. In 1960, they showed that $ES(n) \geq 2^{n-2} + 1$ and conjectured this to be optimal. Despite the efforts of many researchers, no improvement in the order of magnitude has been made on the upper bound over the last 81 years. In this talk, we will sketch a proof showing that $ES(n) =2^{n +o(n)}$.

**Mar 3, 2017.** Jeremy Alm, "From Ramsey Theory to Relation Algebra: graph coloring, algorithms, projective geometry, Fourier analysis, the universe, and more!"

Relation algebra is a source of edge-coloring problems. Some such problems are related to Ramsey numbers, and solutions to these problems have drawn from diverse subfields of mathematics. In this talk we will survey some old results, and consider some recent developments that make use of both Fourier analysis and additive number theory. Solutions to several open special cases of the flexible atom conjecture will be given.

**Mar 7, 2017.** Matt Beck, "Partially Magic Labelings and the Antimagic Graph Conjecture"

The Antimagic Graph Conjecture asserts that every connected graph $G = (V, E)$ except $K_2$ admits an edge labeling such that each label $1, 2, ..., |E|$ is used exactly once and the sums of the labels on all edges incident to a given vertex are distinct. On the other extreme, an edge labeling is magic if the sums of the labels on all edges incident to each vertex are the same. In this paper we approach antimagic labelings by introducing partially magic labelings, where "magic occurs'" just in a subset of $V$. We generalize Stanley's theorem about the magic graph labeling counting function to the associated counting function of partially magic labelings and prove that it is a quasi-polynomial of period at most 2. This allows us to introduce weak antimagic labelings (for which repetition is allowed), and we show that every bipartite graph satisfies a weakened version of the Antimagic Graph Conjecture.

This is joint work with Maryam Farahmand.

**Mar 21, 2017.** Adam Blumenthal, "A Bound on the Secure Domination Quotient of r-connected Graphs"

We say that a set of vertices, $S$, in a graph is secure if and only if $N[X]\cap S \geq N(X)\setminus S$ for all $X \subseteq S$. A set is secure-dominating if it is both secure and dominating. The secure domination quotient of a graph is $min(\frac{S}{|V(G)|})$ for all $S$ secure-dominating sets. In this talk, we will give a lower bound for the secure domination quotient for $r$-connected graphs, $\frac{\frac{r}{2}+1}{2\frac{r}{2}+1}$ which is proven to be best possible for $r=1$ and is the best known for $r>1$.

**Mar 21, 2017.** Bernard Lidicky, "Decomposing Random d-regular Graphs Into Stars"

In 2006 Barat and Thomassen conjectured that every planar 4-regular 4-edge-connected graph has an edge decomposition into claws; shortly after, Lai constructed a counterexample. Recently, Delcourt and Postle showed that a random 4-regular graph has an edge decompo- sition into claws a.a.s.. We generalize the result to decomposition of r-regular graphs into stars. We use the small subgraph conditioning method of Robinson and Wormald. This is joint work with Delcourt and Postle.

**Mar 28, 2017.** Cory Palmer, "Rainbow Turán problems for paths and forests of stars"

For a fixed graph $F$, we would like to determine the maximum number of edges in a properly edge-colored graph on $n$ vertices which does not contain a rainbow copy of $F$, that is, a copy of $F$ all of whose edges receive a different color. This maximum, denoted by $\ex^*(n,F)$, is the rainbow Turán number of $F$, and its systematic study was initiated by Keevash, Mubayi, Sudakov and Verstraete [Combinatorics, Probability and Computing 16 (2007)]. We determine $\ex^*(n,F)$ exactly when $F$ is a forest of stars, and give bounds on $\ex^*(n,F)$ when $F$ is a path with $l$ edges, disproving a conjecture in the aforementioned paper for $l=4$.

**Mar 30, 2017.** Heather Smith, "Sampling and Counting Genome Rearrangement Scenarios"

Genome rearrangement is a common mode of molecular evolution. Representing genomes with edge-labelled, directed graphs, we explore three models for genome rearrangement - reversal, single cut-or-join (SCJ), and double cut-and-join (DCJ). Even for moderate size genomes and regardless of the model, there are a tremendous number of optimal rearrangement scenarios. When hypothesizing, giving one optimal solution might be misleading and cannot be used for statistical inference. With a focus on the SCJ model, we summarize the state-of-the-art in computational complexity and uniform sampling questions surrounding optimal scenarios and phylogenetic trees.

**Apr 4, 2017.** , "TBA"

**Apr 11, 2017.** EGR, "TBA"

**Apr 18, 2017.** EGR, "TBA"

**Apr 20, 2017.** Jan Volec?, "TBA"

**Apr 25, 2017.** EGR, "TBA"

**Selected conferences in 2016-2017:**

- Jan 4-7, Atlanta, GA, 2017 Joint Mathematics Meetings
- Mar 6-10, Florida Atlantic University, Boca Raton, FL, 48th Southeastern International Conference on Combinatorics, Graph Theory, and Computing
- Apr 1-2, AMS Sectional meeting Indiana University, Bloomington, IN (Spring Central Sectional Meeting)
- Apr 7-9, Graduate student combinatorics conference, Kansas, KS
- Apr 15-16, Western Michigan University, Kalamazoo, MI, 4th Lake Michigan Workshop on Combinatorics and Graph Theory
- Jun 12-16, CanaDAM 2017, Toronto, ON
- Jun 12-16, CanaDAM 2017, Toronto, ON
- Jul 9-22, GRWC, Denver, CO
- Jul 24-28, Iowa State University, Ames, Iowa, 2017 Meeting of the International Linear Algebra Society