USF Home > College of Arts and Sciences > Department of Mathematics & Statistics

Mathematics & Statistics

(Leader:

**Title**

**Speaker**

**Time**

**Place**

TBA

Daniel Cruz

2:00pm-2:50pm

CMC 108

**Abstract**

TBA

**Title**

**Speaker**

**Time**

**Place**

TBA

Daviel Leyva

2:00pm-2:50pm

CMC 108

**Abstract**

TBA

**Title**

**Speaker**

**Time**

**Place**

Group of intermediate growth, aperiodic order, and Schröedinger operators

Rostislav Grigorchuk

Texas A&M University

2:00pm-2:50pm

CMC 108

**Abstract**

I will explain how seemingly unrelated objects: the group \(G\) of intermediate growth constructed by the speaker in 1980, the aperioidc order, and the theory of (random) Schröedinger operators can meet together. The main result, to be discussed, is based on a joint work with D. Lenz and T. Nagnibeda. It shows that a random Markov operator on a family of Schreier graphs of \(G\) associated with the action on the boundary of a binary rooted tree has a Cantor spectrum of the Lebesgue measure zero. This will be used to gain some information about the spectrum of the Cayley graph. The main tool of investigation is given by a substitution, that, on the one hand, gives a presentation of \(G\) in terms of generators and relations, and, on the other hand, defines a minimal substitutional dynamical system which leads to the use of the theory of random Shröedinger operators.

No special knowledge is assumed, and the talk is supposed to be easily accessible for the audience.

**Note:** This is a joint Discrete Mathematics Seminar/Colloquium talk.

**Title**

**Speaker**

**Time**

**Place**

TBA

Zoran Šunić

Hofstra University

2:00pm-2:50pm

CMC 108

**Abstract**

TBA

**Title**

**Speaker**

**Time**

**Place**

TBA

Shinnosuke Seki

University of Electro-Communications

Tokyo, Japan

2:00pm-2:50pm

CMC 108

**Abstract**

TBA

**Title**

**Speaker**

**Time**

**Place**

TBA

TBA

2:00pm-2:50pm

CMC 108

**Abstract**

TBA

**Title**

**Speaker**

**Time**

**Place**

Developing a Model to Predict Prevalence of Compulsive Behavior in Individuals with OCD

Lindsay Fields

2:00pm-2:50pm

CMC 108

**Abstract**

Obsessive-Compulsive Disorder (OCD) is a mental disorder which affects approximately 2.3% of people worldwide at some point in their lives. Although it is commonly accepted by mental health experts that obsessions and compulsions are self-perpetuating, there is little research to support this theory. As such, this research proposes that continued ritualistic behavior, as opposed to calming the OCD sufferer, actually serves to amplify anxiety, which in turn incites further rituals.

We have designed a model which simulates OCD behavior consistent with this theory for individuals with moderate to severe OCD. The model predicts, given a set of environmental parameters, the probability of an individual with OCD performing compulsive behavior and the prevalence of such behavior. By applying a simple signaling game to the neural system known as the worry circuit, a program was composed and simulations run which suggest that the likelihood of compulsive behavior can be predicted using a function of the number of compulsions performed previously. These results may be considered preliminary, given the sample size of the case study and the primitive nature of the model.

Spring Break — no seminar this week.

**Title**

**Speaker**

**Time**

**Place**

A singular trip through the world of algebraic curves over finite fields

Annamaria Iezzi

2:00pm-2:50pm

CMC 108

**Abstract**

For an algebraic curve defined over a finite field Fq, the number of rational points, i.e., of points of the curve with coordinates in Fq, is always finite. Due to this discrete aspect, algebraic curves over finite fields have found, in the last 40 years, several applications in cryptography and coding theory.

In this talk, we will explore this problem of counting points, by showing the fundamental tools and results that appear in this theory. In particular, we will see how the case of smooth curves generalizes to the case of singular ones and we will present a construction of singular curves with many rational points.

**Title**

**Speaker**

**Time**

**Place**

Design strategies for DNA tile assembly

Margherita Maria Ferrari

2:00pm-2:50pm

CMC 108

**Abstract**

New laboratory techniques have been developed using the Watson-Crick complementarity properties of DNA strands to achieve the self-assembly of nanostructures, particularly polyhedra. For all of these methods, an essential step is designing the component molecular building blocks. We present a mathematical model that captures the geometric constraints of rigid tiles, that are star-shaped molecules used as building blocks for tile-based DNA self-assembly. We illustrate the functionality of the model by providing DNA self-assembly strategies to effciently construct Platonic and Archimedean 3-regular polyhedral skeletons.

No seminar this week.

**Title**

**Speaker**

**Time**

**Place**

Platform Color Designs for Interactive Molecular Arrangements

Jasper Braun

2:00pm-2:50pm

CMC 108

**Abstract**

It has been shown that alternating attachments of two types (species) of floating molecular (DNA based) tiles on a predesigned array that consists of communicating neighboring DNA tiles complementary to the floating tiles can dynamically simulate some types of cellular automata (CA). We address the question of which design of the platform array provides communication across the whole plane. We show that for square tiles only the checkerboard arrangement of the two species can provide communication between any two tiles of the plane. On the other hand, there are an uncountable number of arrangements of two colors of hexagonal tiles on the plane which provide communication between any two tiles.

No seminar this week.

**Title**

**Speaker**

**Time**

**Place**

Too Many Periodic Graphs

Greg McColm

2:00pm-2:50pm

CMC 108

**Abstract**

A *periodic graph* is a graph embedded in Euclidean space, whose vertex set is discrete, and whose symmetry group has a free abelian subgroup of translations spanning the space. Our project is to catalog — or otherwise make accessible — all periodic graphs. We classify periodic graphs using syntactic graphs of linear forms, and for each graph of forms, we obtain a parametrization of the Euclidean graphs that are *realizations* of that graph of forms. The two primary cataloguing problems are: (1) even restricting our attention to very simple periodic graphs — say, edge transitive periodic graphs — there are a lot of graphs of linear forms, and worse, (2) some graphs of linear forms have infinitely many isomorphism classes of realizations. We describe one approach for finessing the latter nuisance.

**Title**

**Speaker**

**Time**

**Place**

On Logic Definition and Comparison Games and First-Order Logic

Daviel Leyva

2:00pm-2:50pm

CMC 108

**Abstract**

During the Twentieth century, Leon Henkin, Jaakko Hintikka, and others connected game theory and logic. In this talk, we shall introduce the basic ideas connecting these two branches of mathematics as well as a method to obtain semantics from syntax via games developed by Hintikka. We shall also see how we can tell if two structures are “indistinguishable” (in a given logic) from one another as prescribed by Roland Fraïssé and Andrzej Ehrenfeucht.