Talks

In this talk I will explain a Connection between Commutative Algebra and Linear and Integer Programming. In the first part, it is explained how one can translate the Problem of bounding the index of stability of the Castelnuovo-Mumford regularities of ...

We propose a new method for localization of polynomial ideals, which we call `Local Primary Algorithm.' For an ideal I and a prime ideal P, our method computes a P-primary component of I after checking if P is associated ...

In many applications, where geometric constructions appear, parametrizations of the geometric objects are used. In practice, when the geometric entities are algebraic, the varieties are assumed to be rational, and hence representable by means of rational functions. This is a ...

The recent work of George Andrews and Mircea Merca on the truncated version of Euler’s pentagonal number theorem has opened up a new study on truncated theta series. Since then several papers on the topic have followed. In collaboration with ...

Combinatorics on polynomial equations: do they describe nice varieties? Joachim von zur Gathen Abstract: We consider natural combinatorial questions about systems of multivariate polynomials over a finite field and the variety V that they define over an algebraic closure. Fixing ...

Chain Partition Analysis Matthias Beck Abstract: We introduce and study a hybrid of (restricted) partition functions from combinatorial number theory and zeta polynomials from the theory of partially ordered sets (posets), giving rise to a concept that in a sense ...

Integer matrices are often characterized by the lattice of combinations of their rows or columns. This is captured nicely by the Smith canonical form, a diagonal matrix of invariant factors, to which any integer matrix can be transformed through left ...

Ramanujan's Lost Notebook in Five Volumes__Reflections George E. Andrews Abstract: Bruce Berndt and I have recently completed the fifth and final volume on Ramanujan's Lost Notebook. All of Ramanujan's assertions (with perhaps one of two exceptions) have been proved or, ...

Some Hankel determinants with nice evaluations Johann Cigler Abstract: We give some results and conjectures about Hankel determinants with nice evaluations: Hankel determinants of convolution powers of Catalan numbers Cn, different approaches to Hankel determinants of sequences such as (1, ...

A new finite source queueing model is introduced in order to calculate the most important system performance characteristics (e.g. mean waiting time, mean number of requests waiting for transmission). The sensors are classified according to their working purposes: The ...

In this talk we will see some basic facts about Ehrhart polynomials after introducing the necessary notions from polyhedral geometry. The Vector Partition Function, which can be thought of as a generalization of Ehrhart polynomials, will be then explored from ...

AIMS is the main African research institute for Mathematics. The research area of the chairman Professor Foupouagniagni is computational mathematics, in particular symbolic computation and mathematical software. He will speak about the structure and the far-reaching goals of AIMS for ...

In the spring of 1976, George Andrews discovered Ramanujan's "Lost Notebook" in the library of Trinity College, Cambridge. The "Lost Notebook" is not a notebook, but a sheaf of over 100 handwritten pages made by Ramanujan during the last year ...

Generally regarded as India's greatest mathematician, Srinivasa Ramanujan was born in the southern Indian town of Kumbakonam on December 22, 1887 and died in Madras at the age of 32 in 1920. Before going to England in 1914 at the ...

In the recent years, the nature of the generating series of the walks in the quarter plane have attracted the attention of many authors. The main questions are: are they algebraic, holonomic (solutions of linear differential equations) or at least ...

In 1887, Hölder proved that the Gamma function, defined by the difference equation y(x+1) = x y(x), satisfies no nonzero polynomial differential equation with complex coefficients. In this talk I will describe a Galois theory that allows one to reprove ...

TALK ANNOUNCEMENT: Special RISC Algorithmic Combinatorics Seminar Abstract: This talk is devoted to discussing the implications of a very elementary technique for proving mod 4 congruences in the theory of partitions. It starts with a tribute to the late Hans ...

*RISC Colloquium Announcement with corrected date* Abstract: In the spring of last year, the motion picture, The Man Who Knew Infinity, was released. It is now available on DVD. The movie tells the life story of the Indian genius, Ramanujan. ...

The semantics of programs written in some languages is concerned with the interpretation in various types of models. We present a new approach to semantics: behavior of programs, i.e. changes of states is modeled in the category of states. ...

I will show in brief how one can compute the GCD of a pair of multivariate polynomials by finding a syzygy. I will then show how we can weaken this and create an "approximate syzygy" to find an approximate GCD. ...

Most algebraists believe they know Linear Algebra. The purpose of this talk is to indicate that this is not necessarily true. We show a substantial amount of "new" Linear Algebra and its connection to Algebraic Geometry, in particular to the ...

Title: A new companion to Göllnitz' (Big) partition theorem Speaker: Professor Krishnaswami Alladi University of Florida, USA Time and Location: Tuesday, March 3, 2016 Seminar room castle, RISC, Hagenberg Abstract: One of the deepest results in the theory of partitions ...

Note: This is a (blackboard) talk for a general audience. Abstract: The first systematic study of the number of prime factors was due to Hardy and Ramanujan in 1917. This eventually gave rise to probabilistic number theory with the work ...

ABSTRACT: By studying partitions with non-repeating odd parts using representations in terms of 2-modular graphs, we first derive a Lebesgue type q-series identity and use this to give a unified treatment of several fundamental identities in the theory of q-hypergeometric ...

Note: This is a talk for a general audience and for students. Abstract: Paul Erdoes (1913-1996) was one of the most influential mathematicians of the twentieth century. 2013 was his 100-th birthday year. A Hungarian by birth, Erdoes had no ...

Title: Twisting the quantum Speaker: Prof. Charles W. Clark Joint Quantum Institute, National Institute of Standards and Technology and University of Maryland College Park, Maryland, USA Time and Location: Thursday, March 3, 2016 2:00 pm, Seminar room pond, RISC, ...

The year 2016 marks 20 years since the publication of the paper "On the Lambert W function". As will be pointed out, the function was studied before 1996, but this publication has proved to be the most cited reference. The ...

I will discuss open problems in enumeration, including partitions, and special functions. This will include the Rogers-Ramanujan identities, Gessel paths, the Omega operator, generalized super Catalan numbers, very well poised series, finite difference calculus, finite fields, and homology questions. ...

A well studied (q,t)-analogue of symmetric functions are the Macdonald polynomials. In this talk I will survey another (q,t)-analogue, where q is a prime power from a finite field and t is an indeterminate. Analogues of facts about ...

The Fishburn numbers, originally considered by Peter C. Fishburn, have been shown to enumerate a variety of combinatorial objects. These include unlabelled interval orders on n elements, (2+2)--avoiding posets with n elements, upper triangular matrices with nonnegative integer entries and ...

The extension of Buchberger Theory and Algorithm from the classical case of polynomial rings over a field[1, 2, 3] to the case of (non necessarily commutative) monoid rings over a (non necessarily free) monoid and a principal ideal ring was ...

First I report on new results on the classification of isolated hypersurface singularities in positive characteristic. The corresponding classification over the real and complex numbers was achieved by V.I. Arnold in his pioneering work in the mid sixties. A ...

The author in his PhD thesis and in the talk in the Theroma Seminar last year showed how exact explicit formulas for low degree extremal polynomials can be given with aid of quantifier elimination. In the first part of the ...

This presentation proposes a new finite-source retrial queueing model to consider spectrum renting in mobile cellular networks, in which service providers may rent each other’s unutilized frequency bands. We present a novel way to take into account the renting fee, ...

We propose a novel method to model real online social networks where our growing scale-free networks have tunable clustering coefficient. Models which based on purely preferential attachment are not able to describe high clustering coefficient of social networks. Beside the ...

Refinements of the celebrated tangent and secant numbers give rise to bivariate statistical distributions that can be expressed, either by a finite difference equation system, or by a three-variate exponential generating function. The underlying combinatorial sets, counted by tangent and ...

In the first part of this talk, we give examples from the theories of short random walks, binomial congruences, positivity of rational functions and series for $1/\pi$, in which modular forms and Apery-like numbers appear naturally (though not necessarily obviously). ...

The boundary of the convex hull of a compact algebraic curve in real 3-space defines a real algebraic surface. For general curves, that boundary surface is reducible, consisting of tritangent planes and stationary bisecants. We express the degree of this ...

The gulf between many computer science students and rigorous proofs is well known and much lamented. Teachers are frequently confronted with student ``proofs'' that look more like LSD trips than coherent chains of logic. In this talk I will present ...

In his 1984 AMS Memoir, George Andrews defined two families of generalized Frobenius partition functions which he denoted $\phi_k(n)$ and $c\phi_k(n)$ where $k\geq 1.$ Both of these functions "naturally" generalize the unrestricted partition function $p(n)$ since $p(n) = \phi_1(n) ...

The first of the famous Rogers-Ramanujan identities states that the number of partitions of a positive integer n into distinct non-consecutive parts equals the number of partitions of n into parts that are 1 or 4 mod 5. Gordon later ...

The Ehrhart function of a set X in Euclidean space counts the number of integer points in the k-th dilate of X. If X is a polytope with integral vertices, the Ehrhart function of X coincides with a polynomial at ...

ROGUE WAVES: A LINEAR APPROXIMATION Sergei K. Suslov School of Mathematical and Statistical Sciences, Arizona State University Abstract We elaborate on the phenomenon of Giant, Freak, or Rogue Waves in the ocean. A simplest possible explanation, in a linear approximation, ...

In joint work with Amanda Folsom, we resolve a question of Kac, and explain the automorphic properties of certain characters due to Kac and Wakimoto. We prove that they are essentially holomorphic parts of certain generalizations of harmonic weak Maass ...

The talk will informally describe some relatively recent improvements and extensions to cylindrical algebraic decomposition (CAD) based quantifier elimination (QE). The improvements include improved projection operators and the use of equational constraints (where present) to further reduce the size of ...

For a prime number l, the classical modular polynomial Phi_l (sometimes called the modular equation of level l) is a polynomial with integer coefficients such that Phi_l(j(t),j(lt))=0 where j(t) is the j-invariant well known from the theory of elliptic ...

For a subclass of matchings, set partitions, and permutations, we describe a direct bijection involving only arc annotated diagrams that not only interchanges maximum nesting and crossing numbers, but also all refinements of crossing and nesting numbers. Furthermore, we show ...

At the beginning mathematics enabled a systematic approach to popular games giving advantage to the perceptive player, however nowadays it is also common to reformulate conjectures and theorems in term of games, in a way that if one were able ...

The design of critical embedded systems necessitates a thorough quality assurance process to guarantee that the target software meets all its requirements for safe operation. Therefore, development and verification tools used for designing such systems also need to undergo a ...

In this talk we treat a modification of the performance model of Proxy Cache Servers to a more powerful case when the inter-arrival times and the service times are generally distributed. First we describe the original Proxy Cache Server model ...

Temporal model checking is an algorithmic and formal approach for automatically verifying whether a finite-state concurrent system such as a sequential circuit design functions correctly. Typically, computation is carried over Boolean algebras using binary decision diagrams (BDDs) or satisfiability (SAT) ...

Some basic properties of the symmetric functions known as Schur functions will be presented including the ubiquitous Cauchy identity. The expansions of Schur functions as sums of monomials define Kostka coefficients, The evaluation of outer and inner products of Schur ...

The study of partitions and compositions (i.e., ordered partitions) of integers goes back centuries and has applications in various areas within and outside of mathematics. Partition analysis is full of beautiful--and sometimes surprising--identities, starting with Euler's classic theorem ...

The study of partitions and compositions (i.e., ordered partitions) of integers goes back centuries and has applications in various areas within and outside of mathematics. Partition analysis is full of beautiful--and sometimes surprising--identities, starting with Euler's classic theorem ...

We use generating functions and complex-analytic methods to count integer lattice points in polytopes with rational vertices. More precisely, we study the number of lattice points as the polytope gets dilated by an integer factor. This expression is known as ...

The precise definition of functions such as inverse sine is generally thought of as a tedious business, settled by Abramowitz and Stegun. However, the concept of branch cuts, and more generally the fact that functions such as sine do not ...