Talks in 2014

Vortrag im Seminar Diskrete Mathematik und Optimierung

Title: Correlation decay in the random graph coloring problem
Speaker: Amin Coja-Oghlan (Goethe-Universität Frankfurt)
Date: Donnerstag 18.12.2014, 10:15
Room: Hörsaal AE01, Steyrergasse 30, Erdgeschoß

Based on non-rigorous but sophisticated considerations, physicists have put forward predictions on the probabilistic nature of classical problem in combinatorics such as the random graph coloring problem. The key object of interest from the physics point of view is the Boltzmann distribution. In the case of random graph coloring, this is just the uniform distribution on the set of all $k$-colorings of the graph. In this talk I will investigate the spatial mixing properties of the Boltzmann distribution of the random graph $G(n,d/n)$.

Zahlentheoretisches Kolloquium

Title: Weakly admissible lattices and discrepancy results
Speaker: Dr. Martin Widmer (Royal Holloway, University of London)
Date: Mittwoch, 17. 12. 2014, 10:00 Uhr
Room: Seminarraum C 208, 2. Stock, Steyrergasse 30, TU Graz

A lattice in $\mathbb R^n$ is called admissible if there exists a positive constant $c$ such that for every non-zero lattice point
the modulus of the product
of the coordinates is at least $c$. Generalising results of Hardy and Littlewood for $n=2$
Skriganov has shown that the lattice points of an admissible
lattice are extremely uniform distributed in aligned boxes. However, the set of admissible lattices in $SL_n(\mathbb R)/SL_n(\mathbb Z)$ is a
null set. We generalise the notion of admissibility and introduce a quantity to measure its failure. We then
shall discuss recent discrepancy results for ``weakly admissible'' lattices.


Title: Tractable special cases of hard combinatorial optimization problems (Day 2)
Speaker: ()
Date: 16.12. 2014, 9:00-16:00
Room: Seminarraum C208, Steyrergasse 30, 2. Stock

Program for Tuesday, December 16, 2014

9:00-10:00 Vladimir Deineko (Warwick Business School, UK)
Special structures in polynomially solvable cases: Is there
much in common?


10:00-10:30 Coffee Break


10:30-11:30 Martin Milanič (University of Primorska, Slovenia)
Vector connectivity in graphs

11:35-12:05 Nina Chiarelli (University of Primorska, Slovenia)
Linear separation of variants of dominating sets in graphs


12:05-14:15 Lunch


14:15-14:45 Joachim Schauer (University of Graz)
The knapsack problem on weakly chordal conflict graphs

14:50-15:45 Open problem session


Title: Tractable special cases of hard combinatorial optimization problems (Day 1)
Speaker: ()
Date: 15.12. 2014, 8:30-17:30
Room: Seminarraum C208, Steyrergasse 30, 2. Stock

Program for Monday, December 15, 2014

8:30 Registration

8:50-9:00 Opening


9:00-10:00 Gerhard J. Woeginger (Eindhoven University of Technology, NL)
Tractable special cases through linear algebra


10:00-10:30 Coffee Break


10:30-11:30 Frits Spieksma (KU Leuven, Belgium)
Multi-index assignment problems: an overview

11:35-12:05 Matteo Seminaroti (CWI Amsterdam, NL)
The quadratic assignment problem is easy for Robinsonian matrices


12:05-14:15 Lunch


14:15-14:45 Ante Ćustić (University of Zagreb, Croatia)
The planar 3-dimensional assignment problem with Monge-like cost arrays

14:50-15:20 Marie MacCaig (University of Birmingham, UK)
The integer image problem in the max algebra

15:25-15:55 Rostislav Stanek (University of Graz)
A polynomial solvable case of the data arrangement problem on binary trees


15:55-16:25 Coffee Break


16:25-17:15 Open problem session

Zahlentheoretisches Kolloquium

Title: Linear relations on families of powers of elliptic curves
Speaker: Dr.Fabrizio Barroero (Scuola Normale Superiore di Pisa)
Date: Freitag, 12. 12. 2014, 15.15 Uhr
Room: Seminarraum C 208, 2. Stock, Steyrergasse 30, TU Graz

In a recent work Masser and Zannier showed that there are at most
finitely many complex numbers $\lambda \neq 0,1$ such that the points
$(2, \sqrt{2(2-\lambda)})$ and $(3, \sqrt{6(3-\lambda)})$ are
simultaneously torsion on the Legendre elliptic curve $E_\lambda$ of
equation $y^2=x(x-1)(x-\lambda)$. This is a special case of
conjectures about Unlikely Intersections on families of abelian
varieties, proved later in the two dimensional case by the same
authors. As a natural higher dimensional extension, we considered the
case of three points $(2, \sqrt{2(2-\lambda)})$, $(3,
\sqrt{6(3-\lambda)})$ and $(5, \sqrt{20(5-\lambda)})$ and proved that
there are at most finitely many $\lambda \neq 0,1$ such that these
three points satisfy two independent linear relations on $E_\lambda$.
This is a special case of a more general result in the framework of
the conjectures mentioned above.
This is joint work with L. Capuano.

Zahlentheoretisches Kolloquium

Title: The class number one problem for certain real quadratic fields
Speaker: Dr.Kostadinka Lapkova (Universität Wien)
Date: Freitag, 12. 12. 2014, 14 Uhr, c.t.
Room: Seminarraum C 208, 2. Stock, Steyrergasse 30, TU Graz

Let us consider the 2-parameter family of real quadratic fields with square-free discriminant $D=(AN)^2+4A$ for positive odd integers $A$ and $N$. The class number one problem for this family is analogous to the class number one problem for imaginary quadratic fields but up to now the only known solution used the generalized Riemann hypothesis. Still there were unconditional results about certain subfamilies. In this talk the author would show how combining methods of Biró, a result from her PhD thesis and computer calculations we solve the class number one problem for this family. This is a joint work with A. Biró.

Title: Seminar of the Doctoral School
Speaker: ()
Date: 12.12.2014, 10:30 - 13:00
Room: Seminarraum 2, Institut f. Geometrie,

10:30 J. Cuno

11:00 B. Phuenaree

11:30 Doctoral School Awards

11:35 Break

12:00 R. Rissner

12:30 M. Kanitsar


Title: The planar Cayley graphs are effectively enumerable.
Speaker: Dr. Agelos Georgakopoulos (University of Warwick)
Date: Donnerstag, 11.12., 11 Uhr c.t.
Room: SR C307, Steyrergasse 30/3

The discrete groups acting nicely on the plane, called planar discontinous groups, are a classical topic, closely related to e.g. surface groups. Planar discontinous groups have Cayley graphs that can be embedded in the plane without accumulation points of vertices, like for example the familiar tessellations of the hyperbolic plain, or Escher's tilings. There are however planar Cayley graphs all embeddings of which must have accumulation points of vertices. These graphs, and their groups, were far less well understood, and an open question due to Droms et. al. was whether they can be effectively enumerated.

We settle this question in the affirmative. The main part of our proof is to show that such groups admit nice presentations where the planarity 'can be seen' in an automatic way.


Title: Estimating the Number of Almost Connected Components by Random Walks
Speaker: Dr. Florian Sobieczky (University of Denver)
Date: Dienstag, 9.12.2014, 13 Uhr c.t.
Room: SR 2 Geometrie, Kopernikusgasse 24/4

Bounds for the return probability of random walks on invariant percolations by random discs on amenable transitive graphs are derived which enable estimating the number of connected components per vertex. The scheme allows for a robustness against `noise' which the traditional union find algorithms (such as the Hoshen-Kopelman method) don't have.

Advanced Topics in Discrete Mathematics

Title: Differential operators and generalized trigonometric functions on fractal subsets of the real line
Speaker: Prof. Dr. Uta Freiberg (Univ. Stuttgart)
Date: Freitag, 5.12.2014, 10:30 (Kaffee ab 10 Uhr)
Room: SR 2 Geometrie, Kopernikusgasse 24/4

Spectral asymptotics of second order differential operators of the form d/dm d/dx on the real line are well known if m is a self similar measure with compact support. We extend the results to some more general cases such as random fractal measures. Moreover, we give a representation of the eigenfunctions as generalized trigonometric functions.

The results were obtained in collaboration with Peter Arzt.


Title: Asymptotic properties of subordinated random walks
Speaker: Dr. Wojciech Cygan (Univ. Wroclaw)
Date: Dienstag, 2.12.2014,12:55 Uhr (s.t.)
Room: SR C307, Steyrerg. 30/3

We consider a random walk obtained by subordinating the simple random walk on the d-dimensional integer lattice according to the procedure of discrete subordination introduced by A. Bendikov and L. Saloff-Coste. The corresponding Laplace exponent is a Bernstein function $\psi$ which is assumed to vary regularly at zero of index $0<\alpha <2$.

We investigate the asymptotic behaviour of the potential kernel of the associated discrete subordinator in two cases:

1. For $1<\alpha <2$ we use the celebrated renewal theorem of Garsia and

2. For $0<\alpha <2$ we additionally assume that $\psi$ is a
special Bernstein function.

As an application of the asymptotics of the potential kernel we obtain the asymptotic behaviour (at infinity) of the Green function of the subordinated random walk.

Joint work with A. Bendikov

Discrete Mathematics Seminar

Title: Henneberg moves on mechanisms
Speaker: Brigitte Servatius (Worcester Polytecnic Institute)
Date: Freitag 21.11.2014, 10:30
Room: Seminarraum 2, Kopernikusgasse 24, 8010 Graz

A bar-and-joint framework in the plane with degree of freedom 1 is called a mechanism. It is well-known that the operations of 0-extension and 1-extension, the so called Henneberg moves, can always be performed on a framework so that its degree of freedom is preserved. It was conjectured that for a mechanism in generic position these operations can be performed without restricting its motion. We provide a counterexample (This is joint work with B. Jackson, T. Jordan, H. Servatius)

Zahlentheoretisches Kolloquium

Title: Functional-differential equations of Briot-Bouquet type
Speaker: Prof. Dr. Jörg Tomaschek (Karl-Franzens-Universität Graz)
Date: Freitag, 21. 11. 2014, 14 Uhr, c.t.
Room: Seminarraum C 208, 2. Stock, Steyrergasse 30, TU Graz

Let the functional-differential equation


be given, where $\varphi(z)=kz + d_2 z^2+ \ldots$ with $|k| >1$ and $a(z)=a_0
+ a_1 z + \ldots, a_0 \neq 0$, are given local analytic functions.
Then we show that all formal solutions $f, f(z)=c_1z+ c_2 z^2+ \ldots$
with $f(0)=0$ and $f$ not zero everywhere are local analytic.
Furthermore we are interested in normal forms of this equation.


Title: Disagreement percolation for point processes The hard sphere case
Speaker: Dr. Christoph Temmel (Vrije Universiteit Amsterdam)
Date: Donnerstag, 20.11.2014, 11 Uhr c.t.
Room: RAUMÄNDERUNG: SR 2 Geometrie, Kopernikusgasse 24/4

Markov point processes are a spatial generalisation of the memoryless property of Markov chains. They play a key role in statistical mechanics and spatial probability theory. A Markov random field is specified by a consistent family of conditional distributions on finite volume regions with boundary conditions. In the infinite volume limit, such a specification gives rise to one or more Gibbs measures. The existence of only a unique or several Gibbs measures lies
behind the phase transitions in statistical mechanics. Disagreement percolation for lattice models by Maes and van den Berg is a technique to compare the competing influence of different boundary conditions with a product field. In other words, it relates the question of uniqueness of the Gibbs measure to percolation type problems. We generalise the technique to point processes and demonstrate the best possible improvement in the case of the hard-sphere model.

Gemeinsames Seminar

Title: Laplace Operators on semi-discrete spaces
Speaker: Jussi Behrndt, Wolfgang Carl, Wolfgang Woess ()
Date: Mittwoch, 19.11.2014, 14:00 c.t-17.00
Room: Seminarraum 1 für Geometrie, Kopernikusg. 24/4. Stock

Seminar zwecks Austausch über Arbeit mit verschiedenen Laplace-Operatoren auf diskret-kontinuierlichen Strukturen an den beteiligten Instituten.
Vorträge 30-40 min, Zeit für Diskussion, Kaffeepause.

Wolfgang Carl: Variational Laplacians on smooth, discrete, and semi-discrete surfaces

The Laplace-Beltrami operator on a Riemannian manifold can be defined by variation of the Dirichlet energy functional. This fact is basic to the generalization of the Laplacian to discrete surfaces and leads to the well established cotangent formula on triangle meshes. We will use this variational approach to derive a Laplace operator on semi-discrete surfaces, which are represented by mappings into n-dimensional Euclidean space depending on one discrete and one smooth variable.

Jussi Behrndt: Selfadjoint realizations of the Laplacian on finite and infinite graphs

We define a family of Laplacians on a metric graph and discuss possible
vertex conditions for the functions in the domain of the operators such that the corresponding operator becomes self-adjoint in the L2-space on the graph. For finite graphs and infinite graphs with positive lower bound on the edge length this is well understood; for infinite graphs with edge lengths tending to zero many questions remain open.

Wolfgang Woess: Laplacians on strip complexes

A strip complex is an extension of the concept of metric graphs. It carries the topological structure of the product of a metric graph with a manifold (e.g. ine) and is equipped with additional Riemannian structure in the interior of
the 'strips'. The rigorous construction of Laplacians on such structures is due to Bendikov and Saloof-Coste in collaboration with M. Salvatori and W. Woess. In the talk, the basic concepts along with a key example are presented.

Vortrag im Seminar Diskrete Mathematik und Optimierung

Title: A generalization of the quadrangulation relation to constellations and hypermaps
Speaker: Wenjie Fang (Universit\'e Paris Diderot)
Date: Dienstag 18.11.2014, 14:15
Room: Seminarraum C208, Steyrergasse 30, 2. Stock

Constellations and hypermaps generalize combinatorial maps, i.e., embeddings of graphs in a surface, in terms of factorizations of permutations. In this talk, we extend a result of Jackson and Visentin (1990) stating an enumerative relation between quadrangulations and bipartite quadrangulations. We show a similar relation between hypermaps and constellations by using a result of Littlewood on factorization of characters. A combinatorial proof of Littlewood's result is also given. Furthermore, we show that the coefficients in our relation are all positive integers, hinting at the possibility of a combinatorial interpretation. Using this enumerative relation, we recover a result on the asymptotic behavior of hypermaps obtained by Chapuy (2009).

Zahlentheoretisches Kolloquium

Title: Forms of differing degrees over number fields
Speaker: Dr.Christopher Frei (Leibniz Universität Hannover)
Date: Donnerstag, 13. 11. 2014, ACHTUNG - NEUE BEGINNZEIT: {\bf 10:00 Uhr s.t.}
Room: Seminarraum C 208, 2. Stock, Steyrergasse 30, TU Graz

Abstract: Consider a system of m forms of degree d in n variables over the integers. A classical result by Birch uses the circle method to provide an asymptotic formula for the number of integer solutions to this system in a homogeneously expanding box, as long as n is large compared to m and d. An analogous result over arbitrary number fields was proved by Skinner. In joint work with M. Madritsch, we extend Skinner's techniques to a recent generalization of Birch's theorem by Browning and Heath-Brown, where they allow the forms to have differing degrees.

We discuss the main ingredients of the proof, as well as consequences of this result to the Hasse principle, weak approximation, and Manin's conjecture.

Vortrag im Seminar Diskrete Mathematik und Optimierung

Title: Finding Needles in Exponential Haystacks
Speaker: Joel Spencer (Courant Institute, New York University)
Date: Donnerstag 13.11.2014, 11:15
Room: Seminarraum C307, Steyrergasse 30, 3. Stock

We discuss two recent methods in which an object with a certain property is sought. In both, using a straightforward random object would succeed with only exponentially small probability. The new randomized algorithms run efficiently and also give new proofs of the existence of the desired object. In both cases there is a potentially broad use of the methodology.

(i) Consider an instance of k-SAT in which each clause overlaps (has a variable in common, regardless of the negation symbol) with at most d others. Lovasz showed for certain d,k (regardless of the number of variables) the conjunction of the clauses was satisfiable. The new approach due to Moser is to start with a random true-false assignment. In a WHILE loop, if any clause is not satisfied we "fix it" by a random reassignment. The analysis (due, basically, to Don Knuth) of the algorithm is unusual, connecting the running of the algorithm with certain Tetris patterns, and leading to some algebraic combinatorics.
[These results apply in a quite general setting with underlying independent ``coin flips'' and bad events (the clause not being satisfied) that depend on only a few of the coin flips.]

(ii) No Outliers. Given n vectors n-space with all coefficients between -1 and +1 one wants a vector x with all coordinates -1 or +1 so that its dot products with all the n vectors are at most K times the square root of n in absolute value, K an absolute constant. A random x would make the dot product Gaussian but there would be outliers. The existence of such an x was first shown by the speaker. The first algorithm was found by Nikhil Bansal. The approach here, due to Lovett and Meka, is to begin with x the all zero vector and let it float in a kind of restricted Brownian Motion until all the coordinates hit
the boundary.


Title: Matrix-valued distributions of the circular operator and complex Gaussian random matrices
Speaker: Carlos Vargas Obieta (Universität Saarbrücken)
Date: Dienstag, 11.11.2014, 14 Uhr (c.t.)
Room: SR C208, Steyrerg. 30/II

Certain models from random matrix theory built-up from performing a linear transformation on the entries of complex Gaussian random matrices exhibit a nice asymptotic behavior.

For some of these models, it is not possible in principle to express them as polynomials on Gaussian Matrices and deterministic matrices and hence the usual asymptotic freeness results do not apply in general. However, we observe that as the dimension grows, the models get closer to the model which one would obtain by replacing the independent complex Gaussians by free circulars.

This motivates us to do a more detailed study of the (operator-valued) convergence of complex Gaussian matrices to the circular operator. Motivated by the shape of the matrix models in question, we look first at strictly alternating moments.

The order of the contributions of each partition is given by the number of connected components and the first crossing contribution is given by the partition {{1,4}{2,5}{3,6}}. This differs from the self-adjoint situation where the partition {1,3}{2,4} is the first to contribute. We study some first consequences and generalizations of this phenomenon.

Vortrag für Bachelor- und Masterstudenten

Title: Asymptopia
Speaker: Joel Spencer (Courant Institute, New York University)
Date: Montag 10.11.2014, 16:15
Room: Hörsaal BE01, Steyrergasse 30, Erdgeschoß

Günter Ziegler described our recent book as ``a
lovely little travel guide to a country you might not even
have heard about -- full of wonders, mysteries, small and
large discoveries.'' We'll sample some gems, including:

1. Stirling's Formula. How do the two great constants $e$ and $\pi$
appear in the asymptotic formula for $n!$. The key: asymptotic

2. Primes. You know that there are an infinite number of primes.
You probably have not seen the proof given in Asymptopia. Even
more, the sum of the reciprocals of the primes diverges.

3. Counting Unicyclic Graphs. In the asymptotic formula,
$\pi$ mysteriously appears.


Title: Interactive Design with Nonlinear Constraints
Speaker: Chengcheng Tang (King Abdullah University of Science and Technology)
Date: 6.11.2014, 8:30
Room: Seminarraum 2, Institut für Geometrie, Kopernikusgasse 24/IV

Industrial and architectural design processes must respect both performance
requirements and fabrication limitations, but have to offer the maximum
possible creative freedom. In our work we model this situation as
interactive exploration of constraint spaces guided by fairness energies,
and implement it by an iterative Newton method made feasible by conversion
of polynomial constraints to linear or quadratic ones.

We demonstrate different applications to computational design problems which
could not be solved before, such as meshes which obey side-conditions
originating in both geometry and statics. Another instance is developable
surfaces, including curved-crease origami, and sketch-based design.

{\it References:} C. Tang et al, {\it Form-finding with polyhedral meshes
made simple}. SIGGRAPH 2014.


Title: Who is afraid of Noncommutative Probability?
Speaker: Konrad Schrempf (TU Graz)
Date: Donnerstag 30.10.2014, 11 Uhr c.t.
Room: Seminarraum C307

An invitation by examples:
Starting from classical probability, a random
variable can be viewed as an element of a
commutative algebra equipped with a linear
functional to compute the expected value.
Once using $C^*$- and von~Neumann-algebras
as a general framework, one could drop
commutative} and replace the concept of
(classical) independence by free independence}.
Ending up in Free Probability}...

Vortrag im Seminar Diskrete Mathematik und Optimierung

Title: Bootstrap percolation on $k$-uniform random Hypergraphs
Speaker: Tamas Makai (TU Graz)
Date: Dienstag 28.10.2014, 14:15
Room: Seminarraum C208, Steyrergasse 30, 2. Stock

A bootstrap percolation process on a hypergraph $H = H(V;E)$ with activation threshold an integer $r \geq 1$ is a deterministic process which evolves in rounds. Every vertex is in one of two possible states: it is either infected or uninfected.
The set of initially infected vertices is given by $\mathcal{A}(0)$. In each round of the process every uninfected vertex $v$ which has at least $r$ infected neighbours becomes infected. Once a vertex has become infected it remains infected forever. The process stops once no more vertices become infected.

We consider the case when the hypergraph $H$ is a random $k$-uniform hypergraph and $\mathcal{A}(0)$ consists of a given number of vertices chosen uniformly at random.

We generalize results by Janson, {\L}uczak, Turova and Vallier for bootstrap percolation on the binomial random graph. In particular we determine the critical threshold $a_c$ such that if $|\mathcal{A}(0)|\rightarrow (1+\delta)a_c$ then with high probability almost every vertex becomes infected, while if $|\mathcal{A}(0)|\rightarrow (1-\delta)a_c$ then with high probability only a ``few'' additional vertices become infected.

Mathematisches Kolloquium

Title: The Riemann zeta function and automorphic forms?
Speaker: Jürg Kramer (Institut für Mathematik, HU Berlin)
Date: 24.10. 2014, 16:00 (Kaffee 15:30)
Room: Hörsaal BE01, Steyrergasse 30, Parterre

In our talk we will start from the definition of the Riemann zeta function
and recall its basic relationship to the prime numbers. Via the Mellin
transform the Riemann zeta function is related to the classical theta
function, a holomorphic modular of half-integral weight. The theta
inversion formula then provides a tool to meromorphically continue the
Riemann zeta function to the whole complex plane. In the second part
of the talk we will discuss joint work with J. Jorgenson, in which we
establish sup-norm bounds for Maass wave forms, i.e. certain smooth
automorphic forms. These bounds turn out to be related to the
well-known Lindelöf hypothesis.

Seminar TM

Title: Asymptotic zero distribution of polynomial solutions to the Heun differential equation
Speaker: Prof. Dr. Milos Tater (Rez, Czech Republic)
Date: 6.11.2014, 14:00
Room: C307

\noindent We study polynomial solutions to $T f = \lambda f$, where
$T = \sum_{j=1}^k Q_j D^j$, $D:=d/dz$, and the $Q_j$ are complex
polynomials in a complex variable. We consider two particular cases.

The first is the exactly solvable operator \ie \,when $\deg Q_j \le
j$ with equality for at least one $j$. Every exactly solvable
operator has an eigenpolynomial of any sufficiently large degree. In
the degenerate case, \ie \,if $\deg Q_k < k$, the root of maximal
modulus of the $n$th degree eigenpolynomial $f_n$ tends to infinity
when $n \rightarrow \infty$. It has been conjectured that the root
of maximal modulus $z_n^{max}$ grows as a rational power of $n$, \ie
\,$\lim_{n \rightarrow \infty} z_n^{max} = c_T n^d, c_T > 0$. The
value of $d$ is determined by a particular form of $T$, it depends
on $\deg Q_j, j=1,\ldots,k$. Studying the generic case we are able
to derive explicit expressions for $d$ and $c_T$, formerly only

The second case is the non-degenerate Heun operator \ie \,when $T =
Q_2 D^2 + Q_1 D + Q_0$ and $\deg Q_2 = 3, \deg Q_1 \le 2, \deg Q_0
\le 1$. We prove convergence of zero-counting measures
(corresponding to $f_n$ as $n \rightarrow \infty$) to a limiting
measure and show properties of it and its support.

Strukturtheorie Seminar

Title: Asymptotic Entropy of Random Walks on Regular Languages
Speaker: Lorenz A. Gilch (TU Graz)
Date: 23.10.2014, 11 Uhr c.t.
Room: Seminarraum C307

In this talk I will present results about asymptotic entropy of random walks on regular languages over a finite alphabet. In particular, this setting applies to the case of random walks on virtually free groups. I will discuss the ideas and techniques which are used to prove existence of the asymptotic entropy and which lead to a formula. Moreover, I will discuss how to extend the proof in order to show that the entropy varies analytically in terms of probability measures of constant support. The focus of this talk lies on the discussion of the techniques and the assumptions made at the beginning.


Title: Function spaces of exponential growth on a half-plane, zero-sets, and applications
Speaker: Prof. Dr. Maura Salvatori (Universita' di Milano )
Date: Freitag, 17.10.2014, 15 Uhr (c.t.)
Room: SR C307, Steyrerg. 30/3

We introduce a new class of holomorphic functions of mixed Hardy-Bergman type on a half-plane. We study some functional properties of these spaces, and obtain some results concerning their zero-sets. We apply these results to the
Müntz-Szasz problem for the Bergman space. We also discuss the question of
describing invariant subspaces, in analogy with the classical theorems of Buerling and Lax in Hardy spaces.

(Joint work in progress with M. Peloso.)


Title: Random walks on symmetric groups
Speaker: Andrzej Zuk (Universite Paris 7)
Date: Montag, 13.10.2014, 11 Uhr (c.t.)
Room: SR C307, Steyrerg. 30/III

Kolloquium aus Anlass des 60. Geburtstages von Wolfgang Woess

Title: Kolloquium aus Anlass des 60. Geburtstages von Wolfgang Woess
Speaker: ()
Date: Freitag, 10. Oktober 2014, ab 14:00 s.t.
Room: Hörsaal BE01, Steyrergasse 30, EG

14:00 Tullio G.~Ceccherini-Silberstein} (Università degli Studi Roma Tre):
\phantom{14:00}\textsl{Multipass automata and group word problems}

14:45 Coffee break

15:30 Wilfried Imrich} (Montanuniversität Leoben):
\phantom{14:00}\textsl{Graph products and symmetry breaking in graphs}

16:30 Balint Virag} (University of Toronto):
\phantom{14:00}\textsl{Dyson's spike and the spectral measure of groups}


\textsl{Multipass automata and group word problems}

Generalizing pushdown automata, we introduce the notion of multipass automata and study the classes of languages accepted by such machines. The class of languages accepted by deterministic multipass automata is exactly the Boolean closure of the class of deterministic context-free languages while the class of languages accepted by nondeterministic multipass automata is exactly the class of poly-context-free languages, that is, languages which are the intersection of finitely many context-free languages. We illustrate the use of these machines by studying groups whose word problems are accepted by multipass automata. This is a joint work with M.~Coornaert, F.~Fiorenzi and P.E.~Schupp.



\textsl{Graph products and symmetry breaking in graphs}

A coloring of the vertices of a graph $G$ is said to break the symmetries of $G$ if it is only preserved by the trivial automorphism. The minimum number of colors of such a coloring is the distinguishing number of $G$. Despite the fact that the structure of the automorphism group of graph products is well known, there are still open problems about their distinguishing numbers. Many of them pertain to weak products of infinitely many factors. We address such problems for the Cartesian, the strong, and the direct product. On the way we investigate properties of weak products and describe their role in the characterization of median graphs with non-exponential growth and in the game of cops and robbers. Then we turn to countable graphs $G$ with distinguishing 2-colorings where one color class is finite. The minimum number of elements in the finite class of all such colorings is the cost of 2-distinguishing $G$. We characterize such graphs and give bounds on the cost of 2-distinguishing $G$. The best bounds are for two-ended graphs and depend on their product-like properties. This is joint work with Debra Boutin and Ehsan Estaji.

\textsl{Dyson's spike and the spectral measure of groups}

In 1953, Dyson discovered that certain 1-dimensional random Schroedinger operators with gamma potentials have a spike in their spectral measure. We generalize Dyson's results to arbitrary potentials satisfying the central limit theorem. It follows that the switch or walk lamplighter graph on $\mathbb{Z}$, as well as some finitely presented groups, the spectral measure of $(0,x)$ blows up like $1/\log^2(x)$, disproving a conjecture of Lott and Lück. This is joint work with Marcin Kotowski.


Title: Tractability of Quasi-Monte Carlo integration in high dimensions
Speaker: Dr. Christoph Aistleitner (TU Graz/JKU Linz)
Date: 10.10.2014, 10:30 Uhr
Room: TU Graz, Kopernikusgasse 24, 4. OG, Seminarraum 2 (Geometrie) (NT04064)

The Quasi-Monte Carlo method is a classical method for numerical integration of a function on the multidimensional unit cube. Its basic justification is the
Koksma-Hlawka inequality, which states that the deviation between the integral of a function and the average value of the function, evaluated at a certain set of sampling points, can be estimated in terms of the variation of the function and the so-called discrepancy of the set of sampling points. Consequently, low-discrepancy point sets can be used for numerical integration of ultivariate functions. For several decades, the dimension of the problem was assumed to be fixed, and the cardinality of the point set was allowed to tend to infinity. Recently, special attention has been paid to the case when the dimension is large, and the cardinality of the point set has to remain moderate (in comparison with the dimension). We present some of the known results for this problem together with important proof techniques, which connect the problem with the theory of empirical processes indexed by sets and with metric entropy theory.


Title: Tractability of Quasi-Monte Carlo integration in high dimensions
Speaker: Dr. Christoph Aistleitner (TU Graz/JKU Linz)
Date: Freitag, 10.10.2014, 10:30 Uhr
Room: Seminarraum 2 (Geometrie), TU Graz, Kopernikusgasse 24, 4. Obergeschoß

The Quasi-Monte Carlo method is a classical method for numerical integration of a function on the multidimensional unit cube. Its basic justification is the
Koksma-Hlawka inequality, which states that the deviation between the integral of a function and the average value of the function, evaluated at a certain set
of sampling points, can be estimated in terms of the variation of the function and the so-called discrepancy of the set of sampling points. Consequently,
low-discrepancy point sets can be used for numerical integration of multivariate functions. For several decades, the dimension of the problem was assumed to be fixed, and the cardinality of the point set was allowed to tend to infinity. Recently, special attention has been paid to the case when the dimension is large, and the cardinality of the point set has to remain moderate (in comparison with the dimension). We present some of the known results for this problem together with important proof techniques, which connect the problem with the theory of empirical processes indexed by sets and with metric entropy theory.

Title: Mathematisches Kolloquium
Speaker: Philipp Grohs --- Gisbert Wüstholz (ETH Zürich und TU Graz)
Date: 8.10.2014, 15:00--17:30 (16:00 Kaffeepause)
Room: Seminaraum Statistik, Kopernikusgasse 23, 3. OG

{\bf 15:00 P. Grohs: Anisotropic Structures in Numerics and Signal Processing}

In many applications in numerics and signal processing, data is governed by an\-iso\-tropic structures such as edges in images or shock fronts in hyperbolic PDEs. Due to the complexity of such anisotropic phenomena, their efficient approximation and resolution is challenging and, in particular, standard methods such as finite elements or wavelets fail at this task. In this talk I will present recent constructions from the world of Computational Harmonic Analysis which are capable of approximating curved singularities at an optimal rate. I will illustrate these results with applications in image processing and the numerical solution of transport PDEs.

{\bf 16:30 G. Wüstholz: The triaxial ellipsoid --- curvature and transcendence}

There exists a canonical symmetric endomorphism $S_p$, the so called shape operator, of the tangent plane of the ellipsoid $\mathbb E$ in $\mafthbb R^3$ at $p\in \mathbb E$ which has as eigenvectors the direction of largest and of smallest curvature on $\mathbb E$. The families of eigenvectors define on $\mathbb E$ two vector fields $X_1$ and $X_2$ which can be integrated and give the so-called curvature lines $K_1$ and $K_2$. They are closed curves on the ellipsoid. For $\alpha\in [0, 2\pi)$ we define a new vector field $X_\alpha= X_1\sin \alpha + X_2\cosin \alpha$ which can be integrated to give a curvature line $K_\alpha$ on the ellipsoid. One can now ask the question for which angles $\alpha$ the curvature line $K_\alpha$ is dense in $\mathbb E$. We give an answer to this question by determining the dimension of the vector space over $\overline{\mathbb Q}$ generated by the periods of elliptic integrals of the first, second and third kind. The latter turns out to solve an extension of a problem of Th. Schneider.


Title: Optimal A Priori Discretization Error Bounds for Geodesic Finite Elements
Speaker: Philipp Grohs (ETH Zürich)
Date: 7.10.2014, 15:00 Uhr
Room: Seminarraum 2, Kopernikusgasse 24

We prove optimal bounds for the discretization error of geodesic finite elements for variational partial differential equations for functions that map into a nonlinear space. For this we first generalize the well-known Cea lemma to nonlinear function spaces. In a second step we prove optimal interpolation error estimates for pointwise interpolation by geodesic finite elements of arbitrary order. These two results are both of independent interest. Together they yield optimal a priori error estimates for a large class of manifold-valued variational problems. We measure the discretization error both intrinsically using an $H^1$-type Finsler norm, and with the $H^1$-norm using embeddings of the codomain in a linear space. To measure the regularity of the solution we propose a nonstandard smoothness descriptor for manifold-valued functions, which bounds additional terms not captured by Sobolev norms. As an application we obtain optimal a priori error estimates for discretizations of smooth harmonic maps using geodesic finite elements, yielding the first high order scheme for this problem. {\it (This is joint work with H. Hardering and O. Sander)}


Title: Finite automata, groups and graphs
Speaker: Prof Ievgen Bondarenko (Kiev University )
Date: Montag, 6.10.2014 UND Donnerstag 9.10.2014, 11-12 Uhr
Room: SR 2 Geometrie, Kopernikusgasse 24/4 (6.10.) - SR C307, Steyrergasse 30/3 (9.10.)

Monday, 6.10.: Introductory lecture

Automata groups and automorphisms of trees

Thursday, 9.10: Seminar talk

Action graphs of finite automata

Every finite automaton naturally produces a sequence of finite regular graphs, which correspond to the action of automaton on input words of fixed length. These graphs have very interesting asymptotic and
combinatorial properties, and connect automata to diverse areas of
mathematics. We will discuss some relations which exist between automaton
action graphs and such objects as Gromov hyperbolic spaces, fractal spaces,
zig-zag and replacement graph products, expanding graphs etc.


Title: An inverse problem for the Laplacian on a metric graph
Speaker: Dipl.-Math. Dr. Jonathan ROHLEDER (TU Graz, Institut für Numerische Mathematik)
Date: Mittwoch, 1.10.2014, 13:00 Uhr
Room: TU Graz, Steyrergasse 30, 2. Stock, Seminarraum C208

Abstract: The Titchmarsh-Weyl function for the Laplacian on a metric
graph determines the spectrum of the Laplacian subject to standard
(Kirchhoff) vertex conditions uniquely, provided that the edge lengths
of the graph are rationally independent. We discuss how this property
behaves under small perturbations of the edge lengths.

Gemeinsames Kolloquium

Title: Infinite graphs with strong compactness properties
Speaker: Univ.-Prof. Dr. Daniel LENZ (Universität Jena, Deutschland)
Date: Montag, 29.9.2014, 11:00 Uhr
Room: TU Graz, Steyrergasse 30, 3. Stock, Seminarraum C307


We single out a special class of infinite graphs with strong compactness type properties. We show that the associated heat semigroup consists of trace class operators and that the associated Dirichlet problem on the Royden boundary of the graph has a unique solution. (Based on joint work with Agelos Georgakopoulos, Matthias Keller, Sebastian Haeseler, Radek Wojciechowski).

Zahlentheoretisches Kolloquium

Title: Rational points on cubic surfaces
Speaker: Dr.Christopher Frei (Leibniz Universität Hannover)
Date: Dienstag, 19.August, 10:00, s.t.
Room: Seminarraum C 208, 2. Stock, Steyrergasse 30, TU Graz

Abstract: Only very little is known about the asymptotic
distribution of rational points on smooth cubic surfaces. In
1998, Slater and Swinnerton-Dyer proved lower bounds of
the (conjecturally) correct order of magnitude for rational
points of bounded height on cubic surfaces that contain two skew
rational lines.

We discuss a new straightforward proof of this result that relies
on a fibration of the surface into conics. Our proof has the
additional advantage of working over arbitrary number fields.

This is joint work with Efthymios Sofos (Bristol).

Title: Geometrie-Kolloquium
Speaker: ()
Date: 10.7.2014, 15:00
Room: Hörsaal D, Kopernikusgasse 24, 3. Stock

Das Institut für Geometrie der Technischen Universität Graz lädt aus Anlass des 60. Geburtstags von Univ-.Prof. Otto Röschel herzlich ein zu einem Geometrie-Kolloquium mit dem folgenden Programm:

15:00 {\bf Hellmuth Stachel} (TU Wien): Ist ein Polyeder durch sein Netz festgelegt?

16:00 Kaffeepause

16:30 {\bf Hans-Peter Schröcker} (Univ. Innsbruck): Neue Resultate zu rationalen Bewegungsvorgängen

Title: Minicolloquium on Graphs and Games
Speaker: ()
Date: 4.7.2014
Room: Seminarraum 2, Inst. f. Geometrie

\vskip 2cm

10:30 {\bf Florian Lehner} (TU Graz): Symmetry Breaking on Graphs and Groups (Ph.D. defense).

12:00 Lunch break

13:00 {\bf Wilfried Imrich} (Univ. Leoben): On the Game of Cops and Robbers

14:00 Coffee Break

14:30 {\bf Sandi Klav{\v z}ar} (Univ. Ljubljana): Domination Game

Zahlentheoretisches Kolloquium

Title: Construction of normal numbers with respect to an arbitrary shift-invariant measure
Speaker: Dr. Manfred Madritsch (Université de Lorraine, Nancy, Frankreich)
Date: Freitag, 4.Juli 2014, 16:00 Uhr, s.t.
Room: Seminarraum C 208, 2. Stock, Steyrergasse 30, TU Graz

In the present talk we want to construct normal numbers with respect
to a given shift invariant measure.

Let $A$ be an (finite or infinite) alphabet and let $T\colon
A^{\mathbb{N}}\to A^{\mathbb{N}}$ be the shift
map defined by $T((a_n)_{n\geq1}=(a_{n+1})_{n\geq1}$. We call
\[[c_1,\ldots,c_k]=\left\{(a_n)_{n\geq1}\in A^{\mathbb{N}}\colon
a_1=c_1,\ldots,a_k=c_k\right\}\] the cylinder set of all infinite
words starting with the letters $c_1,\ldots,c_k$. Given an invariant
probability measure $\mu$ we call $\omega\in A^{\mathbb{N}}$ normal
(generic) with respect to $\mu$ provided that for each cylinder set $C$
where $\mathbbm{1}_C$ denotes the indicator function of $C$.

The aim of the present talk is to provide a Champernowne type
construction which yields (under some mild conditions) a normal word
with respect to any given shift invariant measure.


Title: On a logarithm in non-commutative probability
Speaker: Octavio Arizmendi Echegaray (CIMAT, Guanajuato)
Date: 2.7.2014, 15:00 c.t.
Room: SR AE01, Steyrergasse 30, Erdgeschoß

Vortrag im Seminar Diskrete Mathematik und Optimierung

Title: Efficient algorithms for the maximum s-t-flow problem in planar graphs
Speaker: Stefan Lendl (TU Graz)
Date: Dienstag 01.07.2014, 15:00
Room: Seminarraum C208, Steyrergasse 30, 2. Stock

We will discuss an algorithm for the single source single sink maximum flow problem in planar graphs with running time $O(n \log n)$ based on the work of Glencora Borradaile and Philipp N. Klein [2009]. The algorithm uses a shortest path tree in the dual planar graph and the corresponding interdigitating tree in the primal graph. Updates in these trees are handled by a dynamic tree data structure to obtain the mentioned running time.

The analysis of the algorithm presented in this talk will be based on a simplified version by Jeff Erickson [2010]. It uses observations of changing crossing numbers during the iterations of the algorithm to bound the number of iterations.

We will also see an overview of some new results by Mozes, Nussbaum and Weimann [2014] which can be used to improve the running time to $O(n \log p)$, where $p$ is the minimum number of edges on any path form the source to the sink.

Vortrag im Seminar Diskrete Mathematik und Optimierung

Title: Working on Mathematica Online at Wolfram Research
Speaker: Jan Pöschko (Kernel Developer, Wolfram Research)
Date: Dienstag 01.07.2014, 14:15
Room: Seminarraum C208, Steyrergasse 30, 2. Stock

In this informal talk, I will speak about my job at Wolfram Research, how I got there, and what I am currently doing. I will give a brief introduction to Mathematica and the Wolfram Language, what I think is great about it, and highlight some recent developments. The project I am mostly working on is the Wolfram Cloud, with a web-based version of Mathematica at its core, offering interesting new ways to share documents and deploy software. I will give a quick demo and discuss some of the challenges and lessons learnt. I will also say a few words about working and living in the USA in general.

VORSTELLUNGSVORTRAG: Finanz- und Versicherungsmathematik - Assistentenstelle

Title: Optimal consumption in a deterministic framework
Speaker: Dr.Stefan Thonhauser (Université de Lausanne, Schweiz)
Date: Dienstag, 1.Juli 2014, 16.30 Uhr
Room: Seminarraum A306, TU Graz, Steyrerg.30, 3.Stock, Geodäsie

We consider an economic individual endowed with an initial wealth, having
an income and consuming goods and services. The wealth development rate
is assumed to be a deterministic continuous function of time. The objective
is to maximize the accumulated discounted consumption over a finite time
horizon. The development rate function can take positive as well as negative
values and does not need to obey any monotonic behaviour. This feature
is in contrast to existing results in the mathematical finance and insurance
literature, which generally model the drift rate as a positive function
of the
state variable. The optimization problem can be examined in a purely
way which allows for a numerical treatment. But, one can do better,
it is possible to derive an algorithm for explicit calculation of the
value function
and optimal strategy by balancing future prospects and immediate
It turns out that the value function is in general not continuous.
Finally the
method is illustrated by two examples.

Gemeinsames Kolloquium: Mathematische Methoden in den Natur- und Ingenieurwissenschaften

Title: Fast high-order algorithms for uncertainty Quantification in a class of stochastic configurations
Speaker: Univ.-Prof. Dr. Mahadevan GANESH (Colorado School of Mines, USA)
Date: Freitag, 27.6.2014, 11:00 Uhr
Room: TU Graz, Steyrergasse 30, EG, Seminarraum AE01

Seminar of the Doctoral School Mathematik and Scientific Computing

Title: Doctoral Day
Speaker: ()
Date: 27.6.2014, 10:30--13:00
Room: Seminarraum 2, Inst. f. Geometrie

Vortrag im Seminar Diskrete Mathematik und Optimierung

Title: Bootstrap percolation processes on inhomogeneous random structures
Speaker: Nikolaos Fountoulakis (University of Birmingham)
Date: Dienstag 24.06.2014, 14:15
Room: Seminarraum C208, Steyrergasse 30, 2. Stock

Bootstrap percolation processes were considered for the first time in the late 1970s by Chalupa, Leath and Reich. This is a family of discrete time dissemination processes which evolve in rounds. Given a graph $G$, a natural number $r$ and a subset of vertices of $G$ which we consider as the set of initially infected vertices, in each round a vertex which has at least r infected neighbours becomes infected and remains so for ever. We analyse this process for the case where $G$ is an inhomogeneous random graph (having a rank-1 kernel) and the initial set is uniformly random. We obtain a law of large numbers for the size of the final set. We also consider a special case of the above class of random graphs where the degree sequence follows a power law with exponent between 2 and 3. In this case, we determine a critical function $a_c(n)$ which grows sub-linearly such that if the size of the initial set is $a(n) \gg a_c(n)$, then the final set has linear size, which we determine, but if $a(n) \ll a_c(n)$, then the process does not evolve at all. We also show analogous results for another family of inhomogeneous random graphs, namely random graphs which are created through the preferential attachment model.

The above results are joint work with M. Abdullah (Birmingham), H. Amini (EPFL, Lausanne) and K. Panagiotou (LMU, Munich).


Title: New characterization of two-state normal distribution
Speaker: Wiktor Ejsmont (TU Graz)
Date: Montag, 16. Juni 2014, 15:00 Uhr
Room: Seminarraum C307

I will speak about a purely noncommutative criterion for the characterization of two-state normal distribution. I prove that families of two-state normal distribution can be described by relations, which is similar to the conditional expectation in free probability, but has no classical analogue. I also show a generalization of Bozejko, Leinert, and Speicher's formula (relating moments and noncommutative cumulants).


Title: What is Mathematics? What is Computer Science? ---  Descriptions, Images, Panoramas
Speaker: Günter M. Ziegler (FU Berlin)
Date: Freitag 6.6.2014, 14:45 Uhr (anschliessend Kaffeepause)
Room: Aula, Rechbauerstr. 12, im Rahmen des Informatiktags.

Günter M. Ziegler hält für die Mitglieder im Field of Expertise ``Information, Communcation and Computing'' einen Vortrag, der sich thematisch um sein neues Buch ``Mathematik -- das ist doch keine Kunst'' dreht. Dieser Vortrag ist auch in den am 6. Juni 2014 stattfindenden Informatiktag eingebettet,für dessen Programm auf {\tt} verwiesen wird.


Title: Ends of branching random walks on planar hyperbolic groups
Speaker: Sebastian Müller (Université Aix-Marseille und TU Graz)
Date: Montag, 26. Mai 2014, 15:00 Uhr
Room: Seminarraum C307

The trace of branching random walk (BRW) shares several properties of infinite clusters of invariant percolation processes. In particular, the law of the trace of BRW on free groups (or regular trees) is the law of an infinite cluster of some particular invariant percolation. However, the situation is not as clear for other, especially one-ended, Cayley graphs and many interesting and natural problems remain open.

After a short introduction in the topic we focus on geometric properties of the trace and prove that the trace of a transient branching random walk on a planar hyperbolic group has a.s.~continuum many ends and no isolated end. This property is conjectured (by I. Benjamini) to hold for all nonamenable groups. Our proof is the first for one-ended Cayley graphs and uses crucially the planarity and hyperbolicity of the underlying graph.

The talk is based on joint work with L. Gilch

Title: Workshop ``On Diophantine Problems''
Speaker: ()
Date: 19. – 20. Mai 2014
Room: AE01, A306, C208

Monday, May 19 2014 (HS AE01 = Steyrergasse 30/EG, SR A306 = Steyrergasse 30/III)

Eröffnung durch O. Univ.-Prof. Dr. Robert Tichy

11.00, HS AE01: Andrej Dujella (Univ. Zagreb) – Root separation for integer polynomials.

11.45, HS AE01: Clemens Fuchs (Univ. Salzburg) – Siegel's theorem after Siegel's proof.

Lunch break

14.00, SR A306: Dijana Kreso (TU Graz) – Invariants of rational function decomposition.

14.30, SR A306: Daniel Krenn (TU Graz) – Partitions and Compositions into Powers of b.

Coffee break

15.30, SR A306: Davide Lombardo (Univ. Paris Sud) – An explicit
form of Serre's open image theorem.

16.30, SR A306: Poj Lertchoosakul (Polish Acad. Sci.) – On the metric Diophantine approximation in positive characteristic.

18.30: Dinner

Tuesday, May 20 2014 (SR C208 = Steyrergasse 30/II)

10.00, SR C208: Oriol Serra (Univ. Barcelona) – Algebraic Removal Lemma.

11.00, SR C208: Volker Ziegler (RICAM Linz) – On the corner avoidance of Halton sequences.

11.45, SR C208: Attila Bérczes (Univ. Debrecen) – Effective results for Diophantine equation over finitely generated domains.

12.30: Lunch break

14.00, SR C208: Roland Paulin (Univ. Salzburg) – An explicit Andre-Oort type result for P1(C)xGm(C).

14.30, SR C208: Mingxi Wang (Univ. Salzburg) – Integral points on algebraic varieties attached to coverings.

15.00: Coffee break

15.30, SR C208: Francesco Veneziano (TU Graz) – Bounds for the greatest common divisor between values of certain exponential sequences.

Votrag mit mit Klavierdarbietung

Title: Musik und Mathematik ?
Speaker: Prof. Dr. Christian Krattenthaler (Universität Wien)
Date: 17 Uhr
Room: 16.5.2014, 17:00, Meerscheinschlössl, Mozartgasse 3


der Vortrag mit Klavierdarbietung

Musik UND Mathematik ?

Persönliche Ansichten zu einer schwierigen Beziehung

findet heute Nachmittag statt.

Krattenthaler ist international renommierter Mathematiker, Wittgensteinpreisträger, und ausgebildeter Konzertpianist.

Der Vortrag wird von den Mathematik-Instituten der TU und KFU Graz und dem Institut für Musikwissenschaft der KFU veranstaltet, Sponsoring: FWF und Österreichische Mathematische Gesellschaft

Er findet im Rahmen und als Höhepunkt des jährlichen Discrete Mathematics Day des FWF-Doktoratskollegs Discrete Mathematics statt.

Ort: Festsaal des Meerscheinschlössls, Mozartgasse 3, Graz

Vortrag im Seminar Diskrete Mathematik und Optimierung

Title: The Recoverable Robust Facility Location Problem
Speaker: Ivana Ljubic (ISOR, Universität Wien)
Date: Dienstag 13.05.2014, 14:15
Room: Seminarraum C208, Steyrergasse 30, 2. Stock

In many real-world applications, when modeling network and transportation planning problems, one looks for solutions that should be robust for many different scenarios. For instance, when planning the location of medical service facilities and the corresponding allocation of urban areas to them, decision makers should make decisions before knowing with complete certainty potential location of facilities, or complete demographic characteristics of the surrounding areas. Such kind of uncertainty might arise in dynamic systems subject to geopolitical changes, natural disasters or economical crashes.

This work deals with a facility location problem in which location and allocation policy is defined in two stages such that a first-stage solution should be robust against the possible realizations (scenarios) of the input data that can only be revealed in a second stage. This solution should be robust enough so that it can be recovered} promptly and at low cost in the second stage. In contrast to some related modeling approaches from the literature, this new recoverable robust model is more general in terms of the considered data uncertainty; it can address situations in which uncertainty may be present in any of the following four categories: ``provider-side'' uncertainty, ``receiver-side'' uncertainty, uncertainty ``in-between'', and uncertainty with respect to the cost parameters.

For this novel problem, a sophisticated algorithmic framework based on a Benders decomposition approach is designed and complemented by several non-trivial enhancements, including dual lifting, branching priorities, matheuristics and zero-half cuts. Two large sets of realistic instances that incorporate spatial and demographic information of countries such as Germany and US (in the context of transportation) and Bangladesh and the Philippines (in the context of disaster management) are introduced. They are used to analyze in detail the characteristics of the proposed model and the obtained solutions as well as the effectiveness, behavior and limitations of the designed algorithm.

Joint work with Eduardo Álvarez-Miranda, University of Bologna and Elena Fernández, UPC Barcelona


Title: Free Groups and the Hanna Neumann Conjecture
Speaker: Johannes Cuno (TU Graz)
Date: Montag, 12. Mai 2014, 15:00 Uhr
Room: Seminarraum C307

Let $G$ be a group and let $A$ and $B$ be finitely generated subgroups of $G$. In general, the intersection $A\cap B$ need not be finitely generated any more. But, if $G$ is a free group, it is. Here the question arises whether the rank of $A\cap B$ can be bounded in terms of the ranks of $A$ and $B$. In 1956/1957, Hanna Neumann gave such a bound and conjectured that it can be improved by removing the factor 2. This problem became known as the Hanna Neumann Conjecture and it remained unsolved for more than 50 years. Recently, Joel Friedman and Igor Mineyev independently gave proofs of the so called Strengthened Hanna Neumann Conjecture, which implies the classical one.

In this talk, I will give an introduction to free groups and illustrate some important theorems. Then, I will focus on the classical Hanna Neumann Conjecture and give a surprisingly elementary proof developed by Igor Mineyev and Warren Dicks. The talk is designed to address a broad mathematical audience. But, let me underline: It is not about my own research! It is about a brilliant idea that nails an old problem, and deserves to be communicated.


Title: Boundaries of negatively curved groups and representation theory
Speaker: Christophe Pittet (Aix-Marseille University, France)
Date: 19.5.2014, 13:00-14:00 and 15:00-16:00; 21.5.2014, 10:00-11:00
Room: SR C307, Steyrergasse 30/III

The aim of the mini-course is to explain some links established by U. Bader and R. Muchnik between dynamics and representation theory of some Gromov hyperbolic groups.

Title: SFB-Seminar
Speaker: ()
Date: 8.5.2014, 17:00--18:30 9.5.2014, 15:00--16:00
Room: Seminarraum C208, Steyrergasse 30/II

8. Mai 2014:}
17:00--17:30 Wöden Kusner} (University of Pittsburgh): Packing density bounds via slicing}
17:30--18:00 Romanos Malikiosis} (Nanyang Technological University, Singapore): Full spark Gabor frames in finite dimensions}
18:00--18:30 Hao Chen} (Freie Universität Berlin): ``Uniformly distributed'' points on hyperboloids}[2cm]

9. Mai 2014:}
15:00--15:30 Jolanda Modic} (University of Ljubljana): On Euclidean distance matrices}
15:30--16:00 Ngoc Ai Van Nguyen} (University of Ottawa): Some problems in Diophantine approximation} cancelled!}

Vortrag im Seminar Diskrete Mathematik und Optimierung

Title: Symmetries of triangulations
Speaker: Philipp Sprüssel (TU Graz)
Date: Dienstag 06.05.2014, 14:15
Room: Seminarraum C208, Steyrergasse 30, 2. Stock

Random planar graphs have attained considerable attention in the recent years. Amongst well studied properties of random planar graphs are connectedness, degree distribution and maximum degree, and the containment of subgraphs.

However, like for the Erd\H{o}s-R\'enyi random graph all the results are for labelled} planar graphs. For unlabelled planar graphs, not even their asymptotic number on a given number of vertices is known. While this number is known for labelled planar graphs, it is not possible to derive the number of unlabelled planar graphs since an unlabelled planar graph can correspond to different numbers of labelled planar graphs due to symmetries of the graph.

Triangulations are the most basic class of planar graphs---by describing their symmetries and the number of triangulations having these kinds of symmetries, we can derive all the information needed to describe symmetries of unlabelled planar graphs and eventually determine their asymptotic number.

Zahlentheoretisches Kolloquium

Title: Periodic expansions in quadratic Pisot base
Speaker: Prof.Dr.Wolfgang Steiner (LIAFA, Université Paris Diderot - Paris 7)
Date: Dienstag, 6.Mai 2014, 16.15 Uhr
Room: Seminarraum A306, TU Graz, Steyrerg.30, 3.Stock, Geodäsie

It is well known that the real numbers with (purely) periodic decimal expansion are the rationals with denominator coprime to 10. We consider (greedy)
$\beta$-expansions of rational numbers, with $\beta$ being a quadratic Pisot number. Since no rational number has periodic $\beta$-expansion when $\beta$ has a
Galois conjugate in $(0,1)$, we assume that $\beta^2 = a \beta + b$, with $a \ge b \ge 1$. For $b = 1$, Klaus Schmidt (1980) proved that each rational number in
$[0,1)$ has periodic $\beta$-expansion. Shigeki Akiyama introduced the quantity $\gamma(\beta)$, which is the supremum of the numbers $c$ such that each rational
number in the interval $[0,c]$ with denominator coprime to $b$ has periodic $\beta$-expansion. With Milton Minervino, we determined the value of $\gamma(\beta)$
when $a$ and $b$ are coprime, by using a natural extension of the $\beta$-transformation in $\mathbb{R}^2 \times K$, where $K$ is a product of $p$-adic spaces.
Here, we have $\gamma(\beta) = 1$ if and only if $b = 1$. In this talk, we consider the case that $b$ divides $a$. Surprisingly, it is possible here to have
$\gamma(\beta) = 1$ for $b > 1$, namely precisely when $a \ge b^2$ or $b = 6$, $a = 24$ or $a = 30$. For $a < b^2$, the value of \gamma(\beta)$ can be calculated
efficiently with arbitrary precision.
(joint work with Tomáš Hejda)


Title: Freeness in automata groups
Speaker: Daniele D'Angeli (TU Graz)
Date: Montag, 5. Mai 2014, 11:00 Uhr
Room: Seminarraum 2 (Geometrie), Kopernikusgasse 24/IV

It is an interesting question whether or not one can generate an automaton group which is free. In this talk, I discuss some examples, conjectures, and possible new strategies, developed in collaboration with E. Rodaro (Porto University), to obtain freeness in automata groups.

Kolloquium: Mathematische Methoden in den Natur- und Ingenieurwissenschaften

Title: hp-Finite Elemente-Methoden für Variationsungleichungen
Speaker: Prof. Dr. Andreas Schröder (Universität Salzburg)
Date: Donnerstag, 8.5.2014, 10:00 Uhr
Room: TU Graz, Steyrergasse 30, 3. Stock, Seminarraum C307


Title: Discrete Mathematics Day 2014
Speaker: Several DK talks and 2 plenary talks ()
Date: 16.05.2014
Room: Karl Franzens University, Lecture Hall HS 11.02, Heinrichstraße 36 and Meerscheinschlössl Graz

Program of the Discrete Mathematics day 2014:

13:15-13: 25 Opening

13:25-13:50 DK Talk: Milton Minervino (MU Leoben).
Title: Rauzy fractals and tilings.

13:50-14:15 DK Talk: Hannah Vogel (KFU Graz).
Title: Asymptotic triangulations, Dehn twists, and coxeter transformations.

14:15-14:25 Short break.

14:25-15:10 Plenary Talk: Clemens Heuberger (Alpen-Adria Universität Klagenfurt).
Title: Digit expansions and Transducer Automata.

15:10-15:40 Coffee break.

15: 40-16:05 DK Talk: Ante Ćustić (TU Graz).
On the constant objective value property for combinatorial optimization problems.

16:05-16:30 Christoph Koch (TU Graz).
Title: The size of the largest component in random hypergraphs.

17:00-18:00 Christian Krattenthaler (Universität Wien).
Meerscheinschlössl Festsaal, Institut für Musikwissenschaft.
Title: Musik und Mathematik.


Title: Industrial Shape Optimization
Speaker: ()
Date: Mittwoch, 16.4.2014, 13:30 - 17:30 Uhr
Room: TU Graz, Steyrergasse 30, 3. Stock, Seminarraum C307

13.30–14.30 Andreas Blaszczyk (ABB Baden, Switzerland)
Shape optimization of high voltage power devices

14.30–15.30 Fehmi Cirak (University of Cambridge, United Kingdom)
Multiresolution shape and topology optimisation of shells and solids

15.30–16.00 Coffee Break

16.00–17.00 Jan Zapletal (TU Ostrava, Czech Republic)
BEM4I - Parallel BEM Library

17.00–17.30 Olaf Steinbach (TU Graz, Austria)
Open problems and challenges from a numerical point of view

Fehmi Cirak (University of Cambridge, United Kingdom)
Multiresolution shape and topology optimisation of shells and solids
The widespread availability of computational engineering software and recent advances in fabrication are enabling the design of optimised structures with ever increasing geometric complexity.
This talk will review our recent work on structural optimisation using multiresolution shape editing and immersed finite element techniques. The geometry of the to be optimised structure is represented with a sequence of increasingly finer surface meshes that can capture geometric details at various resolutions. Using an immersed finite element technique the structure is
analysed without the burden and cost of creating high-quality conforming meshes. Relative to traditional approaches, the fine-grained geometry control provided by multiresolution optimisation results in finding much better performing designs. Moreover, the b-splines employed in multiresolution editing can readily be utilised in computer aided design software for downstream

Jan Zapletal, Michal Merta (TU Ostrava, Czech Republic)
BEM4I - Parallel BEM Library
In the talk we present a newly developed parallel library based on the boundary element method. The aim of the library is to utilize modern techniques of programming with the main focus on deployment on HPC architectures. To effectively exploit the vector instructions (SSE, AVX) of nowadays CPUs we use explicit vectorization of analytical and numerical evaluation of the boundary integral operators and the representation formula. To speed up the assembly of
Galerkin matrices and to reduce memory consumption we employ the fast multipole method. OpenMP shared memory parallelism is used to assemble both admissible and non-admissible blocks efficiently on multicore CPUs. The distributed memory parallelism by MPI is to be added in the near future. The possible applications of the library include shape optimization problems, where BEM has clear advantages over the finite element method, or sound scattering problems modelled both by the Helmholtz equation and the evolutionary wave equation discretized by the time-domain BEM.


Title: Harmonic, subharmonic functions, and convexity
Speaker: Tetiana Boiko (TU Graz)
Date: Montag, 7. April 2014, 15:00 Uhr
Room: Seminarraum C307

Consider an arbitrary homogeneous tree and a subharmonic function on its vertices. We explore the relationship between convex and subharmonic functions on the homogeneous tree. In this talk we investigate several questions concerning the behavior of functions at the boundary and its relation to the behavior of these functions on the set of vertices of the tree.

Mathematisches Kolloquium

Title: On discrete tomography
Speaker: Peter Gritzmann (TU München)
Date: 4.4.2014, 11:15-12:15 (10:45-11:15 Kaffee)
Room: Hörsaal BE01 (Kaffee: Foyer), Steyrergasse 30, Parterre

Discrete tomography deals with the reconstruction of finite sets from
knowledge about their interaction with certain query sets. The most
prominent example is that of the reconstruction of a finite subset $F$ of
$\mathbb{Z}^d$ from its X-rays (i.e., line sums) in a small positive
integer number $m$ of directions.
Applications of discrete tomography include quality control in
semiconductor industry, plasma particle tracking, image processing,
scheduling, and statistical data security.

The talk will survey some fundamental results in the field and indicate
current lines of research.

Zahlentheoretisches Kolloquium

Title: Minimum Energy on the Sphere and Applications
Speaker: Dr. Johann Brauchart (Univ. of New South Wales, Sydney, Australia)
Date: Freitag, 4. 4. 2014, 14:15 Uhr
Room: Seminarraum C 208, 2. Stock, Steyrergasse 30, TU Graz

Zahlentheoretisches Kolloquium

Title: Squares and difference sets in finite fields
Speaker: Mate Matolcsi (Renyi Institute, Budapest)
Date: Montag, 31. 3. 2014, 15:15 Uhr
Room: Seminarraum A306, TU Graz, Steyrerg.30, 3.Stock, Geodäsie

For infinitely many primes
$p = 4k + 1$ we give a slightly improved upper bound for the maximal
cardinality of a set B in the cyclic group
$Z_p$ such that the difference set
$B - B$ contains only quadrati cresidues. Namely, instead of the
“trivial” bound
$|B| < \sqrt{p}$ we prove
$|B| <\sqrt{p} - 1$ for approximately three equarters of the primes
$p = 4k + 1$.

(Joint work with C. Bachoc and I. Z. Ruzsa).

Vortrag im Seminar Diskrete Mathematik und Optimierung

Title: A Hierarchy of Subgraph Projection-Based Semidefinite Relaxations for some NP-Hard Graph Optimization Problems
Speaker: Angelika Wiegele (Universität Klagenfurt)
Date: 25.3.2014, 14:15
Room: Seminarraum C208

Many important NP-hard combinatorial problems can be efficiently
approximated using semidefinite programming relaxations. We propose a new
hierarchy of semidefinite relaxations for classes of such problems that
are based on graphs and for which the projection of the problem onto a subgraph
shares the same structure as the original problem. In particular, we will
focus on the well-studied max-cut problem.

Each level $k$ of the proposed hierarchy consists of the basic semidefinite
relaxation of the problem augmented by the constraints enforcing the
structural projection condition on every $k$-node subgraph of the problem.
This hierarchy has the distinguishing feature that all the relaxations are
formulated in the space of the original semidefinite relaxation.

Preliminary computational results show that the proposed hierarchy yields
improved bounds when compared to the initial relaxation for benchmark
instances of the max-cut and stable-set problems, and that the improved
bounds result in significantly smaller enumeration trees when the relaxation
is used in a branch-and-bound scheme.

Zahlentheoretisches Kolloquium

Title: High rank elliptic curves and related Diophantine problems
Speaker: Prof. Dr. Andrej Dujella (Univ. Zagreb)
Date: Freitag, 21. 3. 2014, 14:15 Uhr
Room: Seminarraum C 208, 2. Stock, Steyrergasse 30, TU Graz

We will describe some connections and applications of high rank curves in
families of elliptic curves to several Diophantine problems. This will
include Diophantine m-tuples, i.e. sets of nonzero rationals with the
property that the product of any two of their distinct elements increased
by 1 is a perfect square,
long arithmetic progressions consisting of integers which are solutions of
a Pellian equation, and congruent and theta-congruent numbers.

Vortrag im Seminar Diskrete Mathematik und Optimierung

Title: Approximation of the Quadratic Knapsack Problem
Speaker: Joachim Schauer (Institut für Statistik und Operations Research, Universität Graz)
Date: 18.3. 2014, 14:15
Room: Seminarraum C208, Steyrergasse 30, 2. Stock

We study the approximability of the classical quadratic knapsack problem (QKP)
on special graph classes. In this case the quadratic terms of the objective function are not given for each pair of knapsack items. Instead an edge weighted graph $G = (V,E)$ whose vertices represent the knapsack items induces a quadratic profit $p_{ij}$ for the items $i$ and $j$ whenever they are adjacent in $G$ (i.e $(i,j)\in E$).

We show
that the problem permits an FPTAS on graphs of bounded treewidth and a PTAS
on planar graphs and more generally on $H$-minor free graphs. This result is shown by adopting a technique of Demaine et al. (2005). We also show strong NP-hardness
of QKP on graphs that are 3-book embeddable, a natural graph class that is related to planar graphs.

(Joint work with Ulrich Pferschy)

Kolloquium Finanz- und Versicherungsmathematik

Speaker: ()
Date: Freitag, 14. 3. 2014, 10:15 - 16:00
Room: Seminarraum A206, Steyrerg.30, 2.Stock, Geodäsie

10.15 Uhr Eröffnung durch Univ.-Prof. Dr. Robert Tichy

10.30 Uhr Dr. Stefan Thonhauser (Université de Lausanne)
Maximale Dividendenzahlungen und eine spezielle
stochastische Differentialgleichung

11.15 Uhr Pause

11.30 Uhr Dr. Dominik Kortschak (Joanneum Research)
Ruin problems for processes in a changing environment

12.15 Uhr Mittagspause

14.15 Uhr Dr. Peter Kritzer (JKU Linz)
Hybride (Quasi-) Monte Carlo Methoden

15.00 Uhr Pause

15.15 Uhr Dr. Markus Hofer (ING, Amsterdam)
Der FX Markt und volatility smiles

16.00 Uhr Ende

VERSCHIEBUNG ! - Strukturtheorie-Seminar

Title: Two applications of bridged graphs
Speaker: Tanja Gologranc (Univ. Maribor)
Date: Mittwoch, 12.3.2014, 11:00 s.t.!!!
Room: Seminarraum des Instituts f. Statistik, Kopernikusgasse 24/III

Bridged graphs are one of the very well investigated graph classes which are applicable also outside graph theory. In this talk different problems connected
with bridged graphs and their generalizations will be presented. I will concentrate on the study of certain complexes, so called bucolic complexes. Their underlying graphs  are bucolic graphs, which are a generalization of bridged graphs. I will present some characterizations of bucolic graphs and bucolic complexes and present two properties (contractibility and fixed prism property) of locally finite bucolic complexes.

I will concentrate also on another use of bridged graphs where the relation
between bridged graphs and 3-Steiner convexity will be presented. Within this part I will focus on local convexities and characterize graphs with 3-Steiner convex balls around vertices.


Zahlentheoretisches Kolloquium

Title: Numeration and Distinct unit generated fields
Speaker: Univ.-Doz.Dr.Volker Ziegler (RICAM, Linz)
Date: Mittwoch, 12.3.2014, 16.30 Uhr
Room: Seminarraum A306, TU Graz, Steyrerg.30, 3.Stock, Geodäsie

Abstract: We consider the problem of characterizing all number fields
$K$ such that all algebraic integers $\alpha \in K$ can be written as
the sum of distinct units of K. In particular totally complex quartic
fields are of special interest in this talk. One aim of this talk is to
present our methods which come mainly from numeration, beside methods
from algebraic number theory and combinatorics.

Vortrag im Seminar Diskrete Mathematik und Optimierung

Title: Cops and robbers on infinite graphs
Speaker: Florian Lehner (TU Graz)
Date: Dienstag 11.03.2014, 14:15
Room: Seminarraum C208, Steyrergasse 30, 2. Stock

Pursuit-evasion based searching, also known as the game of cops and robbers is a game on a graph between two players, $c$ (the cop) and $r$ (the robber). Originally inspired by the problem of searching for a spelunker lost in a cave, the game has a wide range of potential applications from fire fighting to network security.

The rules are as follows: In the first round both $c$ and $r$ choose a starting vertex, in each consecutive round they are allowed to move to a neighboring vertex. The cop wins the game, if after some finite number of steps $c$ and $r$ occupy the same vertex, otherwise the robber wins.

The most basic question related to this game is to characterize the class of cop-win graphs, that is, graphs for which the cop has a winning strategy. For finite graphs this question has been answered by Nowakowski and Winkler who showed that the cop-win graphs are exactly the dismantlable graphs. We present a minor modification to the game due to Chastand et al. which might give a similar characterization for infinite graphs.

Vortrag im Rahmen der LV Seminar TM (Angewandte Analysis und Numerische Mathematik)

Title: Elastic Incompressibility and Large Deformations - Numerical Simulation with adaptive mixed FEM
Speaker: Dipl.-Math. Martina WEISE (TU Chemnitz)
Date: Montag, 17.2.2014, 10:00 Uhr
Room: TU Graz, Steyrergasse 30, 3. Stock, Seminarraum C307

Mathematisches Seminar

Title: Symmetries in Rauzy fractals
Speaker: Prof. Victor F. Sirvent (Universidad Simón Bolívar/Venezuela und Universität für Bodenkultur/Wien)
Date: 28.02.2014, 11:15
Room: HS Fördertechnik

Vortrag im Seminar Diskrete Mathematik und Optimierung

Title: Edge Intersection Graphs of Paths on a Grid
Speaker: Elisabeth Gaar (TU Graz)
Date: Dienstag 11.02.2014, 14:15
Room: Seminarraum C208, Steyrergasse 30, 2. Stock

This talk is based on an article of Martin Charles Golumbic, Marina Lipshteyn and Michal Stern.

Let $\mathcal{P}$ be a collection of paths on a grid $\mathcal{G}$. Then the edge intersection graph} $\mathit{EPG}(\mathcal{P})$ is a graph, in which the vertices correspond to the paths in $\mathcal{P}$ and there is an edge between two vertices, if the corresponding paths share an edge in the grid $\mathcal{G}$. An undirected graph $G$ is an edge intersection graph of paths on a grid} (EPG), if there exist a grid $\mathcal{G}$ and a collection of paths $\mathcal{P}$ such that $G = \mathit{EPG}(\mathcal{P})$. We call $\langle \mathcal{P},\mathcal{G} \rangle$ an EPG representation} of $G$.

We will see that every graph is EPG. Then we will consider special cases of EPG representations, namely B$_{1}$-EPG representations, in which every path of $\mathcal{P}$ is only allowed to have one single bend, i.e.\ one single turn in the grid. Some of the main results of the paper are that every tree has a B$_{1}$-EPG representation and that there are graphs that do not have a B$_{1}$-EPG representation.


Title: Unimodality for freely selfdecomposable laws
Speaker: Takahiro Hasebe (Université de Franche-Comté, Besançon )
Date: 5.2.2014, 11:00 c.t.
Room: SR C307, Steyrergasse 30, 3. Stock

Classical Yamazato's theorem says that any selfdecomposable law is unimodal. I ill talk about a recent result with Steen Thorbj\o{}rnsen: any freely selfdecomposable law is unimodal.

Vortrag im Seminar Diskrete Mathematik und Optimierung

Title: Discrete Mathematics in the real World, Applications in the production of Textiles
Speaker: Gerhard Ertl (Graz)
Date: Dienstag 04.02.2014, 14:15
Room: Seminarraum C208, Steyrergasse 30, 2. Stock

Modern textile production is done using computer controlled machines. The
actions of such machines are subject to mechanical constraints that limit
the possible movements the parts of the machine can execute at a given time.
During the development of a control program for a textile machine, this
limits must be taken into account. For complex patterns it can be non
trivial to find a schedule of movements that resolves the mechanical
constraints and allows the production of the pattern.

In this talk some examples of mechanical problems arising during textile
production will be presented. For some of problems mathematical models will
be presented. In most cases the models lead to NP-complete mathematical
formulations. In some cases the NP-complete problems are solvable for
practical cases due to their relatively small size. Algorithms for solving
practical relevant NP-complete problems will be presented.

Vortrag im Seminar Diskrete Mathematik und Optimierung

Title: Empty triangles in good drawings of the complete graph
Speaker: Birgit Vogtenhuber (TU Graz)
Date: Dienstag 28.1.2014, 14:15
Room: Seminarraum C208, Steyrergasse 30, 2. Stock

A good drawing of a simple graph is a drawing on the sphere or, equivalently, in the plane in which vertices are drawn as distinct points, edges are drawn as Jordan arcs connecting their end vertices, and any pair of edges intersects at most once. In any good drawing, the edges of three pairwise connected vertices form a Jordan curve which we call a triangle. We say that a triangle is empty if one of the two connected components it induces does not contain any of the remaining vertices of the drawing of the graph. We show that the number of empty triangles in any good drawing of the complete graph $K_n$ with $n$ vertices is at least $n$.

Zahlentheoretisches Kolloquium

Title: Additive tree parameters
Speaker: Prof. Dr. Stephan Wagner (Univ. of Stellenbosch, dzt. TU Graz)
Date: Donnerstag, 23. 1. 2014, 17.15 Uhr
Room: Seminarraum C307, 3. Stock, Steyrerg.30, TU Graz


A tree parameter is called additive if it can be determined recursively as the sum of the parameter values of all branches, plus a certain toll function. Typical examples include the number of leaves, the number of occurrences of a certain subtree, the total distance of all vertices to the root (the so-called path length), and so on.
We show that such parameters follow a Gaussian limiting distribution for very general additive parameters, provided that the toll functions are bounded and small on average. This applies to different families of trees as well: specifically, simply generated families (binary trees, plane trees, ...), Pólya trees, recursive trees and binary search trees. The results are illustrated by several examples of parameters for which we prove normal or log-normal limit laws.
A typical application is the number of subtrees of a random tree, for which a log-normal law is proven.


Title: Vortrag abgesagt: Approximation of the Quadratic Knapsack Problem
Speaker: Joachim Schauer (KFU Graz)
Date: Dienstag 21.1.2014, 14:15
Room: Seminarraum C208, Steyrergasse 30, 2. Stock

Leider muss der Vortrag von Herrn Schauer aufgrund Erkrankung abgesagt werden. Ein neuer Termin wird im Laufe der Zeit bekannt gegeben.

Gemeinsames Kolloquium: Mathematische Methoden in den Natur- und Ingenieurwissenschaften

Title: Computing modes of open periodic waveguides
Speaker: Prof. Dr. Johannes Tausch (Southern Methodist University, Dallas, Texas, USA)
Date: Donnerstag, 16.1.2014, 14:30 Uhr
Room: TU Graz, Steyrergasse 30, 3. Stock, Seminarraum C307

The propagation of electromagnetic waves in periodic media is usually
described using Floquet-Bloch theory. This talk will concentrate on a
stack of dielectric slabs which contain a small periodic grating. Such
structures find applications in many integrated optics devices, such
as semi-conductor lasers, waveguide couplers or leaky-wave antennas.

The modes are determined from the spectrum of the Helmholtz operator
on an infinite strip with quasiperiodic boundary conditions, which can
consist of guided modes, radiation modes and leaky modes. To motivate
the periodic case a great deal of attention will be devoted to planar
waveguides which share some of the important features of the periodic

To compute the eigenmodes and the associated propagation constants
numerically, a symmetric boundary integral formulation will be used.
The discretized problem is a nonlinear eigenvalue problem, which is
solved by numerical continuation. The talk concludes with numerical
results for single- and double periodic structures.

Vortrag im Seminar Diskrete Mathematik und Optimierung

Title: Threshold phenomena in $k$-dominant skylines of random samples
Speaker: Hsien-Kuei Hwang (Academia Sinica, Taipei)
Date: Dienstag 14.01.2014, 14:15
Room: Seminarraum C208, Steyrergasse 30, 2. Stock

Skylines emerged as a useful notion in database queries for
selecting representative groups in multivariate data samples for
further decision making, multi-objective optimization or data
processing, and the k-dominant skylines were naturally introduced
to resolve the abundance of skylines when the dimensionality grows
or when the coordinates are negatively correlated. In this talk
we show that the expected number of k-dominant skylines is
asymptotically zero for large samples when $0<k<d$ under two
reasonable (continuous) probability assumptions of the input points,
d being the (finite) dimensionality, in contrast to the asymptotic
unboundedness when k=d. In addition to such an asymptotic
zero-infinity property, a sharp threshold phenomenon is also
presented for the expected (d-1)-dominant skylines when the
dimensionality is allowed to grow with n. (This talk is based on
joint work with W.-M. Chen and T.-H. Tsai, which is available

Zahlentheoretisches Kolloquium

Speaker: Dr.habil. Victor A. Kovtunenko (Institute for Statistics, TU Graz and Lavrentyev Institute of Hydrodynamics, Novosibirsk, Russia)
Date: Freitag, 10. 1. 2014, 14:15 Uhr
Room: Seminarraum C 208, 2. Stock, Steyrergasse 30, TU Graz

Within numerical optimization, we provide generalized Newton methods for
solution of constrained minimization problems. There is our success to
treat minimization problems which are simultaneously nonconvex and
nonsmooth within the semismooth strategy of primal-dual active sets. In
particular, hemivariational inequalities related to contact with
cohesion phenomena are considered.

In the framework of topology optimization problems we focus on singular
geometric objects. For geometry dependent energy functionals we bridge
from regular perturbations of shape to singular perturbations of
topology by extending the velocity method to nonsmooth velocities. We
refer to topology changes represented by bifurcation phenomena of crack
kinking in fracture.

The problem of identification of unknown geometric objects under
nondestructive testing with acoustic, elastic, electromagnetic waves
belongs to the fields of inverse problems. We endow it with optimization
context. Combining variational techniques and singular perturbations,
for the inverse Helmholtz problem we provide high precision methods of
the object identification.

Optimization methods suitable for the system of nonlinear
Poisson-Nernst-Planck equations are certainly a challenging mathematical
task. We are developing proper variational methods of constrained
minimization, homogenization, and singular perturbation techniques in
nonlinear models related to electrokinetic phenomena in biomolecular,
electrochemical, and photovoltaic systems.