\documentclass[oneside,final,12pt]{book}

\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{xunicode}

\usepackage{hyperref}
\usepackage{xstring}
\def\rooturl{https://www.math.bgu.ac.il/}
\hyperbaseurl{\rooturl}
\let\hhref\href
\providecommand{\extrahref}[2][]{\LTRfootnote{\LR{\IfBeginWith*{#2}{http}{\nolinkurl{#2}}{\nolinkurl{\rooturl#2}}}}}
\renewcommand{\href}[2]{\IfBeginWith*{#1}{http}{\hhref{#1}{#2}}{\hhref{\rooturl#1}{#2}}\extrahref{#1}}

\usepackage{polyglossia}
\usepackage{longtable}
%% even in English, we sometimes have Hebrew (as in course hours), and we
%% can't add it in :preamble, since it comes after hyperref
%%\usepackage{bidi}
\setdefaultlanguage{english}
\setotherlanguage{hebrew}
%%\setmainfont[Ligatures=TeX]{Libertinus Serif}
\setmainfont[Script=Hebrew,Ligatures=TeX]{LibertinusSerif}[
  UprightFont = *-Regular,
  BoldFont = *-Bold,
  ItalicFont = *-Italic,
  BoldItalicFont = *-BoldItalic,
  Extension = .otf]

\SepMark{‭.}
\robustify\hebrewnumeral
\robustify\Hebrewnumeral
\robustify\Hebrewnumeralfinal

% vim: ft=eruby.tex:



\begin{document}
\pagestyle{empty}
\pagenumbering{gobble}

\begin{center}
\vspace*{\baselineskip}

{\Large Department of Mathematics, BGU}

\vspace*{\baselineskip}

\rule{\textwidth}{1.6pt}\vspace*{-\baselineskip}\vspace*{2pt}
\rule{\textwidth}{0.4pt}\\[\baselineskip]

{\Huge Operator Algebras and Operator Theory}\\[0.2\baselineskip]

\rule{\textwidth}{0.4pt}\vspace*{-\baselineskip}\vspace{3.2pt}
\rule{\textwidth}{1.6pt}\\[\baselineskip]

\textbf{On} \emph{Monday, January  8, 2018}
\bigskip

\textbf{At} \emph{16:00 -- 17:00}
\bigskip

\textbf{In} \emph{-101}

\vspace*{2\baselineskip}

{\large\scshape Jurij Volcic  
  %
  (BGU)
}
\bigskip

will talk about
\bigskip

{\Large\bfseries Regular and positive noncommutative rational functions\par}
\bigskip

\end{center}
\vfill

\textsc{Abstract:}
Hilbert's 17th problem asked whether a multivariate polynomial, which is positive on all tuples of real numbers, can be written as a sum of squares of rational functions. The positive answer was given by Artin, and the proof techniques presented a cornerstone for real algebra and real algebraic geometry. At the beginning of the millennium, Helton and McCullough solved a free version of H17: if a noncommutative polynomial is positive semidefinite on all tuples of symmetric matrices, then it can be written as a sum of hermitian squares of noncommutative polynomials.

In this talk we shall address the variation of this problem for noncommutative rational functions. By assuming that a rational function is positive semidefinite on all symmetric tuples, one quietly asserts that the function is defined on all symmetric tuples. Such functions are called regular. We will present a characterization of regular noncommutative rational functions in terms of their realizations (from control theory) that can be algorithmically checked. Then we will discuss the proof of the rational version of Helton-McCullough theorem, and its reliance on a ``truncated'{}' GNS construction.








% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
