BEGIN:VCALENDAR
VERSION:2.0
PRODID:-// - ECPv5.3.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://aarms.math.ca
X-WR-CALDESC:Events for 
BEGIN:VTIMEZONE
TZID:UTC
BEGIN:STANDARD
TZOFFSETFROM:+0000
TZOFFSETTO:+0000
TZNAME:UTC
DTSTART:20240101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=UTC:20241023T153000
DTEND;TZID=UTC:20241023T163000
DTSTAMP:20260505T173326
CREATED:20241018T101206Z
LAST-MODIFIED:20241018T101259Z
UID:7744-1729697400-1729701000@aarms.math.ca
SUMMARY:Atlantic Graph Theory Seminar
DESCRIPTION:Speaker #1: Peter Collier\, Dalhousie University\nTitle #1: Zero Forcing on Twisted Hypercubes\n\nAbstract #1:\nThe hypercube stands out as a compelling and versatile structure that extends the geometric notion of a cube into higher dimensions. We study the twisted hypercube variant in an attempt to optimize processes on similarly degree-regular\, highly connected graphs. The particular process we optimize is zero forcing\, a graph infection process in which a particular colour change rule is iteratively applied to the graph and an initial set of vertices. We use the alternative framing  of forcing arc sets to construct a family of twisted hypercubes of dimension k$\geq3$ with zero forcing sets of size $2^{k-1}-2^{k-3}+1$.\n\n\nSpeaker #2: Alexander Clow\, Simon Fraser University\nTitle #2: Cornering Robots and Synchronizing Automata\n\n\nAbstract #2:\nA deterministic finite automata (DFA) is a model for any deterministic computational system with a finite number of states. In this talk\, we describe a DFA as a finite directed multigraph G = (V\, E)\, possibly with loops\, along with an edge labelling ψ : E → Ψ. Here the vertices of the graph are the states the system might be in\, the edge labels are possible inputs to the system\, and the edges represent the transitions between states. Words σ generated from the alphabet Ψ act on vertices\, v\, as if v is the initial state of the system\, and σ(v) is the state of the system after input σ is given. A word σ is synchronizing if for all u\, v ∈ V \, σ(u) = σ(v).\nIn this talk\, we define a general strategy for constructing synchronizing words\, which we call the cornering strategy. We then show that a DFA is synchronizable if and only if the cornering strategy can be successfully applied. As a demonstration of the strategy\, we will discuss how all DFAs arising from movement in Rd can be synchronized. This is joint work with Peter Bradshaw (University of Illinois Urbana-Champaign) and Ladislav Stacho (Simon Fraser University).\n\n\nZoom link:\nhttps://us02web.zoom.us/j/86861499971?pwd=rTDAaju0TCu24asnaBGvkuNlT11KZ1.1\n\nMeeting ID: 868 6149 9971\nPasscode: 325258
URL:https://aarms.math.ca/event/atlantic-graph-theory-seminar-18/
LOCATION:Online via Zoom
CATEGORIES:AARMS Atlantic Graph Theory Seminar
ORGANIZER;CN="jeannette%20Janssen":MAILTO:jeannette.janssen@dal.ca
END:VEVENT
END:VCALENDAR