Scientific

A categorical invariant of flow equivalence of shifts

Author: 
Alfredo Costa
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

A categorical invariant of flow equivalence of shifts

Class: 
Subject: 

Markov Random Fields and the Pivot Property

Author: 
Nishant Chandgotia
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

Markov Random Fields and the Pivot Property

Class: 
Subject: 

Markov diagrams for some non-Markovian systems

Author: 
Kathleen Carroll
Karl Petersen
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

Markov diagrams for some non-Markovian systems

Class: 
Subject: 

Pisot numeration systems and beyond

Author: 
V. Berthé
W. Steiner
J. Thuswaldner
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

Pisot numeration systems and beyond

Class: 
Subject: 

A maximal entropy stochastic process for a timed automaton

Author: 
Nicolas Basset
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

Theoretical problem statement
Lift the Shannon/Parry Markov chain of a strongly connected
finite graph to the timed automata settings.
(aka MME of an irreducible SFT)
Practical problem statement
Generate quickly and as uniformly as possible runs of a timed
automaton.
◮ quickly: Step by step simulation as with a finite state Markov
Chain → Stochastic Process Over Runs (SPOR)
◮ ≈ uniformly → SPOR of maximal entropy + asymptotic
equipartition property.

Class: 
Subject: 

Characterizing some limit sets of Cellular Automata

Author: 
Alexis Ballier
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

Characterizing some limit sets of Cellular Automata

Class: 
Subject: 

Multidimensional Effective Subshifts

Author: 
Nathalie Aubrun
Mathieu Sablik
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

Multidimensional SFT and effective subshifts
Projective subdynamics
Implementation of Turing machines inside SFT
Substitutive subshifts

Class: 
Subject: 

Timed automata: models, languages, dynamics

Author: 
Eugene Asarin
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

Timed automata
• A model for verification of real-time systems
• Invented by Alur and Dill in early 1990s
• Precursors: time Petri nets (Bethomieu)
• Now: an efficient model for verification, supported by
tools (Uppaal)
• A popular researh topic (¿8000 citation for papers by Alur
and Dill)
• modeling and verification
• decidability and algorithmics
• automata and language theory
• very recent: dynamics
• Inspired by TA: hybrid automata, data automata,
automata on nominal sets

Class: 
Subject: 

Strong Oracle Optimality of Folded Concave Penalized Estimation

Speaker: 
Jianqing Fan
Date: 
Thu, May 23, 2013
Location: 
PIMS, University of British Columbia
Conference: 
International Workshop on the Perspectives on High Dimensional Data Analysis III
Abstract: 

Folded concave penalization methods have been shown to enjoy the strong oracle property for high-dimensional sparse estimation.
However, a folded concave penalization problem usually has multiple local solutions and the oracle property is established only for one of the unknown local solutions. A challenging fundamental issue still remains that it is not clear whether the local optimal solution computed by a given optimization algorithm possesses those nice theoretical properties. To close this important theoretical gap in over a decade, we provide a unified theory to show explicitly how to obtain the oracle solution using the local linear approximation algorithm. For a folded concave penalized estimation problem, we show that as long as the problem is localizable and the oracle estimator is well behaved, we can obtain the oracle estimator by using the one-step local linear approximation. In addition, once the oracle estimator is obtained, the local linear approximation algorithm converges, namely produces the same estimator in the next iteration. We show that the LASSO is a good initial estimator, which produces the oracle estimator using the one-step LLA algorithm for folded concave penalization methods. This is demonstrated by using three classical sparse estimation problems, namely, the sparse linear regression, the sparse logistic regression and the sparse precision matrix estimation, and illustrates the power of combining the LASSO and SCAD to solve sparse inartistical estimation problem.
(joint work with Lingzhou Xue and Hui Zou)

Class: 

Fluids and optimal transport: from Euler to Kantorovich

Speaker: 
Yann Brenier
Date: 
Mon, May 27, 2013
Location: 
PIMS, University of British Columbia
Conference: 
2013 Niven Lecture
Abstract: 

In 1757, Euler presented to the Berlin Academy of Sciences the basic equations of fluid mechanics. As pointed out by V.I. Arnold in 1966, the Euler equations for incompressible fluids have a very simple geometric interpretation that combines the concept of geodesics and the concept of volume preserving maps. The later concept is very simple and nothing but a continuous version of the discrete and more elementary concept of permutation. Conversely, the Euler equations have a natural discrete counterpart in terms of permutation and combinatorial optimization, which establishes a direct link with the mathematical theory of "optimal transport". This theory, that goes back to Monge 1781 and has been renewed by Kantorovich since 1942, is nowadays a flourishing field with many applications, in natural sciences, economics, differential geometry and analysis.

Class: 
Subject: 

Pages