Differences

This shows you the differences between two versions of the page.

--- start [2025/05/29 16:45] – 139.124.146.3
+++ start [2025/06/09 16:53] (current) – 139.124.146.3
@@ Line 23: / Line 23: @@
-**June 3 2025: [[https://www.curtisbright.com/|Curtis Bright]]** //Mathematical Problems with SATisfying Solutions//
+**June 17 2025: [[https://sites.google.com/view/noysofferaranov/bio|Noy Soffer Aranov]]** //Escape of Mass of Sequences//
+One way to study the distribution of nested quadratic number fields satisfying fixed arithmetic relationships is through the evolution of continued fraction expansions. In the function field setting, it was shown by de Mathan and Teullie that given a quadratic irrational $\Theta$, the degrees of the periodic part of the continued fraction of $t^n\Theta$ are unbounded. Paulin and Shapira improved this by proving that quadratic irrationals exhibit partial escape of mass. Moreover, they conjectured that they must exhibit full escape of mass. We construct counterexamples to their conjecture in every characteristic. In this talk we shall discuss the technique of proof as well as the connection between escape of mass in continued fractions, Hecke trees, and number walls. This is part of joint works with Erez Nesharim and Uri Shapira and with Steven Robertson.
-Automated reasoning tools have been effectively used to solve a variety of problems in discrete mathematics.  In this talk, I will introduce satisfiability (SAT) solvers and highlight a variety of problems in discrete mathematics that have been tackled with a SAT solver.  As a case study, I will demonstrate how a SAT solver can be used to make progress on a question arising in combinatorics on words involving North-East lattice paths.
-**June 17 2025: [[https://sites.google.com/view/noysofferaranov/bio|Noy Soffer Aranov]]**
 **July 15 2025: [[https://apacz.matinf.uj.edu.pl/users/1719-elzbieta-krawczyk|Elżbieta Krawczyk]]**  //Quasi-fixed points of substitutions and substitutive systems//
@@ Line 36: / Line 36: @@
 ==== Past talks 2025 ====
+**June 3 2025: [[https://www.curtisbright.com/|Curtis Bright]]** //Mathematical Problems with SATisfying Solutions//
+Automated reasoning tools have been effectively used to solve a variety of problems in discrete mathematics.  In this talk, I will introduce satisfiability (SAT) solvers and highlight a variety of problems in discrete mathematics that have been tackled with a SAT solver.  As a case study, I will demonstrate how a SAT solver can be used to make progress on a question arising in combinatorics on words involving North-East lattice paths.
+{{ seminar2025:20250603bright.pdf |slides}}
+{{ seminar2025:20250603bright.mp4 |video of the talk}}