# Techmath - Math Seminars in Israel

*Abstract:*

All known algorithms for solving NP-complete problems require exponential time in the worst case; however, these algorithms nevertheless solve many problems of practical importance astoundingly quickly, and are hence relied upon in a broad range of applications. This talk is built around the observation that "Empirical Hardness Models" - statistical models that predict algorithm runtime on novel instances from a given distribution - work surprisingly well. These models can serve as powerful tools for algorithm design, specifically by facilitating automated methods for algorithm design and for constructing algorithm portfolios. They also offer a statistical alternative to beyond-worst-case analysis and a starting point for theoretical investigations. bio at http://www.cs.ubc.ca/~kevinlb/bio.html

*Abstract:*

The evens and odds form a partition of the integers into arithmetic progressions. It is natural to try to describe in general how the integers can be partitioned into arithmetic progressions. For example, a classic result from the 1950's shows that if a set of arithmetic progressions partitions the integers, there must be two arithmetic progressions with the same difference. Another direction is to try to determine when such a partition is a proper refinements of another non-trivial partition.

In my talk I will give some of the more interesting results on this subject, report some (relatively) new results and present two generalizations of partitioning the integers by arithmetic progressions, namely:

1. Partitions of the integers by Beatty sequences (will be defined).

2. Coset partition of a group.

The main conjecture in thefirst topic is due to A. Fraenkel and describes all the partitionshaving distinct moduli. The main conjecture in the second topic, dueto M. Herzog and J. Schonheim, claims that in every coset partition of a group there must be two cosets of the same index.

Again, we will briefly discuss the history of these conjectures, recall some of the main results and report some new results.

Based on joint projects with Y. Ginosar, L. Margolis and J. Simpson.

*Abstract:*

Announcement We are happy to announce the Conference "Perspectives in Modern Analysis" to be held on May 28-31, 2018, at the Holon Institute of Technology. The event will honor the distinguished Israeli analysts Dov Aharonov, Samuel Krushkal, Simeon Reich, and Lawrence Zalcman. The meeting will provide a forum for discussions and exchange of new ideas, perspectives and recent developments in the broad field of Modern Analysis. The topics to be addressed include (but are not restricted to) * Complex Analysis * Operator Theory and Nonlinear Analysis * Harmonic Analysis and PDE * Quasiconformal Mappings and Geometry The following institutions have contributed to the organization of this conference: Bar-Ilan University, Holon Institute of Technology, Israel Mathematical Union, ORT Braude College of Engineering and the Technion -- Israel Institute of Technology.

*Abstract:*

The celebrated Gan-Gross-Prasad conjectures aim to describe the branching behavior of representations of classical groups, i.e., the decomposition of irreducible representations when restricted to a lower rank subgroup. These conjectures, whose global/automorphic version bear significance in number theory, have thus far been formulated and resolved for the generic case. In this talk, I will present a newly formulated rule in the p-adic setting (again conjectured by G-G-P) for restriction of representations in non-generic Arthur packets of GL_n. Progress towards the proof of the new rule takes the problem into the rapidly developing subject of quantum affine algebras. These techniques use a version of the Schur-Weyl duality for affine Hecke algebras, combined with new combinatorial information on parabolic induction extracted by Lapid-Minguez.

*Abstract:*

Let P be a second-order, symmetric, and nonnegative elliptic operator with real coefficients defined on noncompact Riemannian manifold M, and let V be a real valued function which belongs to the class of small perturbation potentials with respect to the heat kernel of P in M. We prove that under some further assumptions (satisfying by a large classes of P and M) the positive minimal heat kernels of P −V and of P on M are equivalent. If time permits we shall show that the parabolic Martin boundary is stable under such perturbations. This is a joint work with Prof. Yehuda Pinchover.

*Abstract:*

See attached file.

*Abstract:*

**Advisor: **Roy Meshulam

**Abstract**: Attached

*Abstract:*

This will be the fourth talk in Adam's lecture series.

*Abstract:*

I will talk about the critical exponent associated to an invariant random subgroup of a rank one simple Lie group G. We show that this critical exponent is greater than 1/2(dim(G/K)-1), and moreover the critical exponent is precisely dim(G/K)-1 if the IRS is almost surely of divergence type. This can be viewed as a generalization of Kesten's theorem for IRS in G. Whenever G has Kazhdan's property (T) it follows that an ergodic IRS of divergence type is a lattice. Most of our results hold true more generally for IRS in the isometry group of any Gromov hyperbolic metric space.This is a joint work with Ilya Gehktman."

*Abstract:*

A K\"ahler group is a group that can be realized as fundamental group of a compact K\"ahler manifold. I shall start by explaining why the question which groups are K\"ahler groups is non-trivial. Then we will address the question which functions can be realized as Dehn functions of K\"ahler groups. After explaining why K\"ahler groups can have linear, quadratic and exponential Dehn function, we show that there is a K\"ahler group with Dehn function bounded below by $n^3$ and bounded above by $n^6$. This is joint work with Romain Tessera.

*Abstract:*

Polynomial functors were introduced in an algebraic setting by Eilenberg and Mac Lane around 1954 (but implicitly were present already in the work of Schur circa 1900). Since the advent of the calculus of functors (Tom Goodwillie in the 1990-ies), polynomial functors became applicable in topology, and beyond that in the general setting of “abstract homotopy theory”. They have been applied with considerable success to problems in algebraic K-theory, homotopy theory and geometric topology. They remain an object of active research, both for their own sake and as a tool for solving problems. In this talk I will introduce the notion of a polynomial functor and will illustrate its usefulness via some examples from topology and algebra.

*Abstract:*

The fisherman caught a quantum fish. "Fisherman, please let me go", begged the fish, "and I will grant you three wishes". The fisherman agreed. The fish gave the fisherman a quantum computer, three quantum signing tokens and his classical public key. The fish explained: "to sign your three wishes, use the tokenized signature scheme on this quantum computer, then show your valid signature to the king, who owes me a favor". The fisherman used one of the signing tokens to sign the document "give me a castle!" and rushed to the palace. The king executed the classical verification algorithm using the fish's public key, and since it was valid, the king complied. The fisherman's wife wanted to sign ten wishes using their two remaining signing tokens. The fisherman did not want to cheat, and secretly sailed to meet the fish. "Fish, my wife wants to sign ten more wishes". But the fish was not worried: "I have learned quantum cryptography following the previous story (The Fisherman and His Wife by the brothers Grimm). The quantum tokens are consumed during the signing. Your polynomial wife cannot even sign four wishes using the three signing tokens I gave you". "How does it work?" wondered the fisherman. "Have you heard of quantum money? These are quantum states which can be easily verified but are hard to copy. This tokenized quantum signature scheme extends Aaronson and Christiano's quantum money scheme, and a variant by Zhandry, which is why the signing tokens cannot be copied". "Does your scheme have additional fancy properties?" the fisherman asked. "Yes, the scheme has other security guarantees: revocability, testability and everlasting security. Furthermore, if you're at sea and your quantum phone has only classical reception, you can use this scheme to transfer the value of the quantum money to shore", said the fish, and swam away. Joint work with Shalev Ben-David. https://arxiv.org/abs/1609.09047

*Abstract:*

T.B.A.

*Abstract:*

Schedule: 10:30-10:45. Coffee and refreshments. 10:45-11:40. Tamar Ziegler (Hebrew University): "Extending polynomial functions from high rank varieties" 11:40-11:55. Coffee break. 11:55-12:50. Ben Williams (University of British Columbia): "Azumaya algebras and topology" 12:50-14:20. Lunch. 14:20-15:15. Olivier Wittenberg (Ecole Normale Superieure): "Zero-cycles on homogeneous spaces of linear groups" For more details: http://math.haifa.ac.il/ufirst/Events/ANT7.html

*Abstract:*

NOTE THE SPECIAL TIME AND PLACE.

This is not a mathematics or a physics talk but it is a talk about mathematicians for mathematicians and physicists. Too often, we think of historical mathematicians as only names assigned to theorems. With vignettes and anecdotes, I'll convince you they were also human beings and that, as the Chinese say, "May you live in interesting times" really is a curse. Among the mathematicians with vignettes are Riemann, Newton, Poincare, von Neumann, Kato, Loewner, Krein and Noether.

*Abstract:*

TBA

*Abstract:*

This talk will be devoted to probabilistic constructions appearing in statistics and geometry. I will introduce the classical notion of VC dimension and discuss how it arises naturally in several problems. One of the questions will be the so-called epsilon-approximation problem. That is, how well what you see in a small random sample approximates the real structure. In the last part of the talk, I will explain how a clever deterministic choice of points may improve standard guarantees provided by the random sampling.

*Abstract:*

I will describe joint work with Stan Alama, Lia Bronsard, Andres Contreras and Jiri Dadok giving criteria for existence and for non-existence of certain isoperimetric planar curves minimizing length with respect to a metric having conformal factor that is degenerate at two points, such that the curve encloses a specified amount of Euclidean area. These curves, appropriately parametrized, emerge as traveling waves for a bi-stable Hamiltonian system that can be viewed as a conservative model for phase transitions.

*Abstract:*

Handwriting comparison and identification, e.g. in the setting of forensics, has been widely addressed over the years. However, even in the case of modern documents, the proposed computerized solutions are quite unsatisfactory. For historical documents, such problems are worsened, due to the inscriptions’ preservation conditions. In the following lecture, we will present an attempt at addressing such a problem in the setting of First Temple Period inscriptions, stemming from the isolated military outpost of Arad (ca. 600 BCE). The solution we propose comprises: (A) Acquiring better imagery of the inscriptions using multispectral techniques; (B) Restoring characters via approximation of their composing strokes, represented as a spline-based structure, and estimated by an optimization procedure; (C) Feature extraction and distance calculation - creation of feature vectors describing various aspects of a specific character based upon its deviation from all other characters; (D) Conducting an experiment to test a null hypothesis that two given inscriptions were written by the same author. Applying this approach to the Arad corpus of inscriptions resulted in: (i) The discovery of a brand new inscription on the back side of a well known inscription (half a century after being unearthed); (ii) Empirical evidence regarding the literacy rates in the Kingdom of Judah on the eve of its destruction by Nebuchadnezzar the Babylonian king.

*Abstract:*

Abstract: Caprace and De Medts discovered that Thompson's V can be written as a group of tree almost automorphisms, allowing to embed it densely into a totally disconnected, locally compact (t.d.l.c.) group. Matui discovered that it can be written as the topological full group of the groupoid associated to a one-sided shift. Combining these, we find countably many different t.d.l.c. groups containing a dense copy of V.

*Abstract:*

Dear colleagues, This is to announce the conference Algebra, Geometry, Dynamics, and Applications that will honor the memory of Prof. Friedrich Hirzebruch, on the anniversary of his 90th birthday. Prof. Friedrich Hirzebruch was the first Chair of the Beirat (Advisory Council) of the Emmy Noether Institute. This festive event is organized by the Emmy Noether Institute and Bar-Ilan University, and will take place at Bar-Ilan University on June 17-22, 2018. Twenty five years after the HIRZ65 conference was held at Bar-Ilan University in 1993, we hope to shed light on new developments in algebraic geometry related to the work of Prof. Hirzebruch, as well as on different aspects of group theory, geometry and dynamics. The conference is not intended to focus on a narrow set of problems, but rather to present a broad look at recent progress in the field, highlighting new techniques and ideas. The main topics of the conference are: 1. Geometry of complex projective varieties 2. Geometry and dynamics of group actions 3. Ergodic theory and stochastic processes 4. Algebraic geometry and model theory The conference is supported by the Israel Science Foundation, the Emmy Noether Research Institute for Mathematics, the Gelbart Research Institute for the Mathematical Sciences, and the Mathematics Department of Bar-Ilan University. For details and registration please visit the conference website in the following link: http://u.math.biu.ac.il/~kunyav/HIRZ90/index.html With warm regards, on behalf of the organizers, Boris Kunyavskii

*Abstract:*

In 2003, Welschinger defined invariants of real symplectic manifolds of complex dimensions 2 and 3, which are related to counts of pseudo-holomorphic disks with boundary and interior point constraints (Solomon, 2006). The problem of extending the definition to higher dimensions remained open until recently (Georgieva, 2013, and Solomon-Tukachinsky, 2016-17).

In the talk I will give some background on the problem, and describe a generalization of Welschinger's invariants to higher dimensions, with boundary and interior constraints, a.k.a. open Gromov-Witten invariants. This generalization is constructed in the language of $A_\infty$-algebras and bounding chains, where bounding chains play the role of boundary point constraints. If time permits, we will describe equations, a version of the open WDVV equations, which the resulting invariants satisfy. These equations give rise to recursive formulae that allow the computation of all invariants of $\mathbb{C}P^n$ for odd $n$.

This is joint work with Jake Solomon.

No previous knowledge of any of the objects mentioned above will be assumed.

*Abstract:*

NOTE THE SPECIAL TIME.

TheElisha Netanyahu Memorial Lectures

*Abstract:*

* Abstract: *Given n uniform points on the surface of a two-dimensional sphere, how can we partition the sphere fairly among them?

It turns out that if the given points apply a two-dimensional gravity force to the rest of the sphere, then the basins of attraction for the resulting flow yield such a partition—with exactly equal areas, no matter how the points are distributed. (See http://www.ams.org/publications/journals/notices/201705/rnoti-cvr1.pdf) Our main result is that this partition minimizes, up to a bounded factor, the average distance between points in the same cell. This has an application to almost optimal matching of n uniform blue points to n uniform red points on the sphere. I will also describe open problems regarding greedy and electrostatic matching (Joint work with Nina Holden and Alex Zhai) Another topic where local and global optimization sharply differ appears starts from the classical overhang problem: Given n blocks supported on a table, how far can they be arranged to extend beyond the edge of the table without falling off? With Paterson, Thorup, Winkler and Zwick we showed ten years ago that an overhang of order cube root of n is the best possible; a crucial element in the proof involves an optimal control problem for diffusion on a line segment and I will describe generalizations of this problem to higher dimensions (with Florescu and Racz).

*Announcement:*

**TBA....**

For further information please click the link below:

http://cms-math.net.technion.ac.il/summer-school-the-complex-math-of-the-real-world/

*Announcement:*

**SUMMER PROJECTS IN MATHEMATICS AT THE TECHNION**

**Sunday-Friday, September 2-7, 2018**

**PLEASE CLICK HERE FOR FURTHER DETAILS**

**Organizers: Ram Band, Tali Pinsky, Ron Rosenthal**