L4

In recent years it has been discovered that also non-linear, degenerate equations like the $p$-Poisson equation $$ -\mathrm{div}(A(\nabla u))= - \mathrm{div} (|\nabla u|^{{p-2}}\nabla u)= -{\rm div} F$$ allow for optimal regularity. This equation has similarities to the one of power-law fluids. In particular, the non-linear mapping $F \mapsto A(\nabla u)$ satisfies surprisingly the linear, optimal estimate $\|A(\nabla u)\|_X \le c\, \|F\|_X$ for several choices of spaces $X$. In particular, this estimate holds for Lebesgue spaces $L^q$ (with $q \geq p'$), spaces of bounded mean oscillations and Holder spaces$C^{0,\alpha}$ (for some $\alpha>0$).

In this talk we show that we can extend this theory to Sobolev and Besov spaces of (almost) one derivative. Our result are restricted to the case of the plane, since we use complex analysis in our proof. Moreover, we are restricted to the super-linear case $p \geq 2$, since the result fails $p < 2$. Joint work with Anna Kh. Balci, Markus Weimar.

Combining work of Galkin, Christopherson-Ilten, and Coates-Corti-Galkin-Golyshev-Kasprzyk we see that all smooth Fano threefolds admit a toric degeneration. We can use this fact to uniformly construct all Fano threefolds: given a choice of a fan we classify reflexive polytopes which break into unimodular pieces along this fan. We can then construct closed torus invariant embeddings of the corresponding toric variety using a technique - Laurent inversion - developed with Coates and Kaspzryk. The corresponding binomial ideal is controlled by the chosen fan, and in low enough codimension we can explicitly test deformations of this toric ideal. We relate the constructions we obtain to known constructions. We study the simplest case of the above construction, closely related to work of Abouzaid-Auroux-Katzarkov, in arbitrary dimension and use it to produce a tropical interpretation of the mirror superpotential via broken lines. We expect the computation to be the tropical analogue of a Floer theory calculation.

Progress in developing a consistent theory that describes physical phenomena
at scales where quantum and general relativistic effects are large is
hindered by the lack of experiments. In this talk, we present a proposal
that would overcome this experimental obstacle by using a Bose-Einstein
condensate (BEC) to test for possible conflicts between quantum theory and
general relativity. Recent developments in large BEC systems allows us to
verify if gravitationally-induced wave function collapse occurs at the
timescales predicted by Roger Penrose. BECs with high particle numbers
(N>10^9) can also be used to demonstrate quantum field theory in curved
spacetime by observing how changes in the spacetime affect the phononic
quantum field of a BEC. These effects will enable the development of a new
generation of instruments that will be able to probe scales where new
physics might emerge, with applications including gravitational wave
detectors, gravimeters, gradiometers and dark energy probes.

One occasionally encounters computational problems that work just fine on ill-posed inputs, even though they should not. One example is polynomial eigenvalue problems, where standard algorithms such as QZ can find a desired solution to instances with infinite condition number to machine precision, while being completely oblivious to the ill-conditioning of the problem. One explanation is that, intuitively, adversarial perturbations are extremely unlikely, and "for all practical purposes'' the problem might not be ill-conditioned at all. We analyse perturbations of singular polynomial eigenvalue problems and derive methods to bound the likelihood of adversarial perturbations for any given input in different stochastic models.

Joint work with Vanni Noferini
 

Authors:

Anne Balter and Antoon Pelsser

Models can be wrong and recognising their limitations is important in financial and economic decision making under uncertainty. Robust strategies, which are least sensitive to perturbations of the underlying model, take uncertainty into account. Interpreting

the explicit set of alternative models surrounding the baseline model has been difficult so far. We specify alternative models by a stochastic change of probability measure and derive a quantitative bound on the uncertainty set. We find an explicit ex ante relation

between the choice parameter k, which is the radius of the uncertainty set, and the Type I and II error probabilities on the statistical test that is hypothetically performed to investigate whether the model specification could be rejected at the future test horizon.

The hypothetical test is constructed to obtain all alternative models that cannot be distinguished from the baseline model with sufficient power. Moreover, we also link the ambiguity bound, which is now a function of interpretable variables, to numerical

values on several divergence measures. Finally, we illustrate the methodology on a robust investment problem and identify how the robustness multiplier can be numerically interpreted by ascribing meaning to the amount of ambiguity.

In this talk, we will present results regarding the regularity and

rigidity of solutions to the Monge-Ampere equation, inspired by the role

played by this equation in the context of prestrained elasticity. We will

show how the Nash-Kuiper convex integration can be applied here to achieve

flexibility of Holder solutions, and how other techniques from fluid

dynamics (the commutator estimate, yielding the degree formula in the

present context) find their parallels in proving the rigidity. We will indicate

possible avenues for the future related research.

I will discuss results relating different partially wrapped Fukaya categories.  These include a K\"unneth formula, a `stop removal' result relating partially wrapped Fukaya categories relative to different stops, and a gluing formula for wrapped Fukaya categories.  The techniques also lead to generation results for Weinstein manifolds and for Lefschetz fibrations.  The methods are mainly geometric, and the key underlying Floer theoretic fact is an exact triangle in the Fukaya category associated to Lagrangian surgery along a short Reeb chord at infinity.  This is joint work with Sheel Ganatra and Vivek Shende.

The goal of the talk will be to introduce a class of functions that answer a question in topology, can be computed via analytic methods more common in the theory of dynamical systems, and in the end turn out to enjoy beautiful modular properties of the type first observed by Ramanujan. If time permits, we will discuss connections with vertex algebras and physics of BPS states which play an important role, but will be hidden "under the hood" in much of the talk.

Pseudorandom functions (PRFs) are one of the fundamental building blocks in cryptography. Traditionally, there have been two main approaches for PRF design: the ``practitioner's approach'' of building concretely-efficient constructions based on known heuristics and prior experience, and the ``theoretician's approach'' of proposing constructions and reducing their security to a previously-studied hardness assumption. While both approaches have their merits, the resulting PRF candidates vary greatly in terms of concrete efficiency and design complexity. In this work, we depart from these traditional approaches by exploring a new space of plausible PRF candidates. Our guiding principle is to maximize simplicity while optimizing complexity measures that are relevant to cryptographic applications. Our primary focus is on weak PRFs computable by very simple circuits (depth-2 ACC^0 circuits). Concretely, our main weak PRF candidate is a ``piecewise-linear'' function that first applies a secret mod-2 linear mapping to the input, and then a public mod-3 linear mapping to the result. We also put forward a similar depth-3 strong PRF candidate.  
The advantage of our approach is twofold. On the theoretical side, the simplicity of our candidates enables us to draw many natural connections between their hardness and questions in complexity theory or learning theory (e.g., learnability of depth-2 ACC^0 circuits and width-3 branching programs, interpolation and property testing for sparse polynomials, and natural proof barriers for showing super-linear circuit lower bounds). On the applied side, the piecewise-linear structure of our candidates lends itself nicely to applications in secure multiparty computation (MPC). Using our PRF candidates, we construct protocols for distributed PRF evaluation that achieve better round complexity and/or communication complexity (often both) compared to protocols obtained by combining standard MPC protocols with PRFs like AES, LowMC, or Rasta (the latter two are specialized MPC-friendly PRFs).
Finally, we introduce a new primitive we call an encoded-input PRF, which can be viewed as an interpolation between weak PRFs and standard (strong) PRFs. As we demonstrate, an encoded-input PRF can often be used as a drop-in replacement for a strong PRF, combining the efficiency benefits of weak PRFs and the security benefits of strong PRFs. We conclude by showing that our main weak PRF candidate can plausibly be boosted to an encoded-input PRF by leveraging standard error-correcting codes.
Joint work with Dan Boneh, Yuval Ishai, Amit Sahai, and David J. Wu.

We provide lattice-based protocols allowing to prove relations among committed integers. While the most general zero-knowledge proof techniques can handle arithmetic circuits in the lattice setting, adapting them to prove statements over the integers is non-trivial, at least if we want to handle exponentially large integers while working with a polynomial-size modulus qq. For a polynomial L, we provide zero-knowledge arguments allowing a prover to convince a verifier that committed L-bit bitstrings x, y and z are the binary representations of integers X, Y and Z satisfying Z=X+Y over the integers. The complexity of our arguments is only linear in L. Using them, we construct arguments allowing to prove inequalities X <Z among committed integers, as well as arguments showing that a committed X belongs to a public interval [α,β], where α and β can be arbitrarily large. Our range arguments have logarithmic cost (i.e., linear in L) in the maximal range magnitude. Using these tools, we obtain zero-knowledge arguments showing that a committed element X does not belong to a public set S using soft-O(n⋅log|S|) bits of communication, where n is the security parameter. We finally give a protocol allowing to argue that committed L-bit integers X, Y and Z satisfy multiplicative relations Z=XY over the integers, with communication cost subquadratic in L. To this end, we use our protocol for integer addition to prove the correct recursive execution of Karatsuba's multiplication algorithm. The security of our protocols relies on standard lattice assumptions with polynomial modulus and polynomial approximation factor.