A short history of equilibrium computation. The computation of economic equilibrium is making a spectacular comeback in economics, mathematics and computer science. The availability of massive real-time datasets and the affordability of computing power, including parallel computation, has made it possible to implement and build on an effort that had been stalled since the end of the 1970s. But even more than the new technical possibilities, it is the novel applications to online platforms and market design tools that led to the surge of interest in computation. Pricing engines like Uber’s, matchmakers like OkCupid, allocation mechanisms like those that are used by public school districts – all need to compute an equilibrium problem.

While the problem of equilibrium computation is hard in general, a particular instance of the problem, namely the gross substitutes property, makes it analytically tractable and computable in practice, while able to cover a large number of... (more)

In the last decade, there have been several important breakthroughs in Number Theory, where progress on long-standing open problems has been achieved by utilizing ideas originated in the theory of dynamical systems on homogeneous spaces, and their application to lattice point counting and distribution.

The aim of this workshop is to expose young researchers to these fields and provide them with the necessary background from dynamics, number theory, and geometry to allow them to appreciate some of the recent advancements, and prepare them to make new original contributions.

The workshop will include four mini-courses on the topics

1) Dynamics and lattice point counting 2) Thermodynamic formalism 3) Diophantine approximation 4) Fine-scale statistics in number theory and dynamics

In addition, there will be a number of research and expository talks. The talks will emphasize the role that computation and experiment have thus far played in stating key conjectures and establishing key... (more)

This workshop brings together two distinct streams of mathematics - on the one hand, the classical rigidity theory of bar-joint frameworks in combinatorics and discrete geometry, and on the other the theory of generalized circle packings that arose from the study of 3-manifolds in geometric topology.

Combinatorial and Geometric rigidity theory is concerned with the local and global uniqueness of congruence classes of frameworks as solutions to their underlying geometric constraint system.

The focal point of circle packing theory is the Koebe-Andre'ev-Thurston Theorem that gives conditions that guarantee the existence and rigidity of circle packings on closed surfaces in the pattern of a given triangulation of the surface.

A scattering of results in recent years has started to forge connections between these research areas. The main aim of the workshop is to develop a cross-fertilization of such ideas, with particular emphasis on the rigidity of inversive distance packings. As well... (more)

Experimental geometry labs create an environment ripe for students and faculty to treat mathematics as a laboratory science. Visualization and computational pattern discovery help guide research, formulate conjectures and develop ideas in proofs. In addition to research, experimental geometry labs foster community engagement via grassroots outreach activities in local schools, libraries, and museums. These activities spread the wonder and excitement of mathematics to people both within and outside the academy.

This workshop is partially supported by the Department of Mathematical Sciences and the College of Science at George Mason University.

For this workshop, ICERM welcomes applications from undergraduates, graduates, postdocs, and faculty who wish to participate. Undergraduate students and graduate students who apply should ask their advisor to submit a statement of support by July 3. We will ask students to present their work.

(more)

The Women in Algebraic Geometry Collaborative Research Workshop will bring together researchers in algebraic geometry to work in groups of 4-6, each led by one or two senior mathematicians. The goals of this workshop are: to advance the frontiers of modern algebraic geometry, including through explicit computations and experimentation, and to strengthen the community of women and non-binary mathematicians working in algebraic geometry. This workshop capitalizes on momentum from a series of recent events for women in algebraic geometry, starting in 2015 with the IAS Program for Women in Mathematics on algebraic geometry.

Successful applicants will be assigned to a group based on their research interests. The groups will work on open-ended projects in diverse areas of current interest, including moduli spaces and combinatorics, degenerations, and birational geometry. Several of the proposed projects extensively involve experimentation and computation, which will increase the likelihood... (more)

The structure of free resolutions plays an important role in analyzing singularities of varieties of low codimension. Codimension 2 Cohen-Macaulay varieties (resp. codimension 3 Gorenstein varieties) come from rank conditions on an n x (n+1) matrix (resp. a skew-symmetric (2n+1) x (2n+1) matrix).

This workshop seeks to push such results to Cohen-Macaulay varieties of codimension 3 and Gorenstein varieties of codimension 4.

This problem turns out to be related to the classification of semi-simple Lie algebras. These new methods allow one to create a ‘map’ of free resolutions of a given format. The calculations that arise are very demanding and require new computational methods involving both commutative algebra and representation theory.

The organizers have shared two sets of notes for attendees to review before the workshop. These are downloadable here:

• Notes on... (more)

Real algebraic (and semi-algebraic) geometry studies subsets of R^n defined by a finite number of polynomial equalities and inequalities. Such sets occur ubiquitously in practice both inside and outside of mathematics. While being easy to define, semi-algebraic sets can be complicated topologically, which restricts the application of many algorithms. In recent years, there has been progress in proving much stronger results – both quantitative and algorithmic -- when the problem under consideration involves the invariance under some group action.

In this workshop, we plan to focus on two situations where this phenomenon happens.

The first one is the statistical study of the topology of random real algebraic varieties as well as semi-algebraic sets, where the polynomials defining these objects are picked from a distribution invariant under the action of a certain group (usually the orthogonal group) acting on the space of variables. The behavior of the set of zeros (or more... (more)

The primary mission of the Underrepresented Students in Topology and Algebra Research Symposium (USTARS) is to showcase the excellent research conducted by underrepresented students studying topology and algebra. Dedicated to furthering the success of underrepresented students, USTARS seeks to broaden participation in the mathematical sciences by cultivating research and mentoring networks. USTARS is open to all people interested in the topological and algebraic fields.

A note from the organizing committee:

Applicants, for those wanting to give a talk at the conference there is an application deadline of February 26 at 11:59 pm for speakers in order to make a timely decision. We have funding from the NSA for some per diem for both days of the conference, which will also be decided from applicants who apply by the deadline. If you do receive funding, you are required to attend the entire conference.

In the field of hyperbolic conservation laws, theory, computation, and applications are deeply connected, with each one providing to the other two technical support as well as insights. Major progress has been achieved, over the past 40 years, on the theory and computation of solutions in one space dimension. By contrast, the multi-space dimensional case is still covered by mist, which is now gradually lifting, revealing new vistas. For instance, in two space dimensions, significant progress has been achieved in the study of transonic gas flow, of central importance to aerodynamics. Parallel progress has been reported on the numerical side, with the design of high-order accurate discontinuous Galerkin and finite volume computational schemes, even for multidimensional systems. Finally, we are witnessing an explosion in the applications, not only on the traditional turf of fluid dynamics but also in new directions, in materials science, biology, traffic theory, etc.

Nevertheless, the... (more)

This workshop is at the interface of algebra, geometry, and computer science. The major theme deals with a novel domain of computational algebra: the design, implementation, and application of algorithms based on matrix representations of groups and their geometric properties. The setting of linear Lie groups is amenable to calculation and modeling transformations, thus providing a bridge between algebra and its applications.

The main goal of the proposed workshop is to synergize and synthesize the independent strands in the area of computational aspects of discrete subgroups of Lie groups. We aim to facilitate solutions of theoretical problems by means of recent advances in computational algebra and additionally stimulate development of computational algebra oriented to other mathematical disciplines and applications.

Rough path theory emerged as a branch of stochastic analysis to give an improved approach to dealing with the interactions of complex random systems. In that context, it continues to resolve important questions, but its broader theoretical footprint has been substantial. Most notable is its contribution to Hairer’s Fields-Medal-winning work on regularity structures. At the core of rough path theory is the so-called signature transform which, while being simple to define, has rich mathematical properties bringing in aspects of analysis, geometry, and algebra. Hambly and Lyons (Annals of Math, 2010) built upon earlier work of Chen, showing how the signature represents the path uniquely up to generalized reparameterizations. This turns out to have practical implications allowing one to summarise the space of functions on unparameterized paths and data streams in a very economical way.

Over the past five years, a significant strand of applied work has been undertaken to exploit the... (more)

The Women in Algebraic Combinatorics Research Community will bring together researchers at all stages of their careers in algebraic combinatorics, from both research and teaching-focused institutions, to work in groups of 4-6, each directed by a leading mathematician. The goals of this program are: to advance the frontiers of cutting-edge algebraic combinatorics, including through explicit computations and experimentation, and to strengthen the community of women working in algebraic combinatorics.

Successful applicants will be assigned to a group based on their research interests. The groups will work on open problems in algebraic combinatorics and closely related areas, including representation theory, special functions, and discrete geometry. Several of the proposed projects will extensively involve experimentation and computation, which will increase the likelihood that concrete progress is made over the course of the initial workshop and following 6 months, and provide useful... (more)