Showing 1–50 of 94 results for author: Christ, M

Perverse schobers, stability conditions and quadratic differentials II: relative graded Brauer graph algebras

Authors: Merlin Christ, Fabian Haiden, Yu Qiu

Abstract: We introduce a class of dg-algebras which generalize the classical Brauer graph algebras. They are constructed from mixed-angulations of surfaces and often admit a (relative) Calabi--Yau structure. We discovered these algebras through two very distinct routes, one involving perverse schobers whose stalks are cyclic quotients of the derived categories of relative Ginzburg algebras, and another invo… ▽ More We introduce a class of dg-algebras which generalize the classical Brauer graph algebras. They are constructed from mixed-angulations of surfaces and often admit a (relative) Calabi--Yau structure. We discovered these algebras through two very distinct routes, one involving perverse schobers whose stalks are cyclic quotients of the derived categories of relative Ginzburg algebras, and another involving deformations of partially wrapped Fukaya categories of surfaces. Applying the results of our previous work arXiv:2303.18249, we describe the spaces of stability conditions on the derived categories of these algebras in terms of spaces of quadratic differentials. △ Less

Submitted 28 June, 2024; originally announced July 2024.

Comments: 43 pages. This is the second part split from arXiv:2303.18249

The EUSO-SPB2 Fluorescence Telescope for the Detection of Ultra-High Energy Cosmic Rays

Authors: James H. Adams Jr., Denis Allard, Phillip Alldredge, Luis Anchordoqui, Anna Anzalone, Matteo Battisti, Alexander A. Belov, Mario Bertaina, Peter F. Bertone, Sylvie Blin-Bondil, Julia Burton, Francesco S. Cafagna, Marco Casolino, Karel Černý, Mark J. Christ, Roberta Colalillo, Hank J. Crawford, Alexandre Creusot, Austin Cummings, Rebecca Diesing, Alessandro Di Nola, Toshikazu Ebisuzaki, Johannes Eser, Silvia Ferrarese, George Filippatos , et al. (57 additional authors not shown)

Abstract: The Extreme Universe Space Observatory on a Super Pressure Balloon 2 (EUSO-SPB2) flew on May 13$^{\text{th}}$ and 14$^{\text{th}}$ of 2023. Consisting of two novel optical telescopes, the payload utilized next-generation instrumentation for the observations of extensive air showers from near space. One instrument, the fluorescence telescope (FT) searched for Ultra-High Energy Cosmic Rays (UHECRs)… ▽ More The Extreme Universe Space Observatory on a Super Pressure Balloon 2 (EUSO-SPB2) flew on May 13$^{\text{th}}$ and 14$^{\text{th}}$ of 2023. Consisting of two novel optical telescopes, the payload utilized next-generation instrumentation for the observations of extensive air showers from near space. One instrument, the fluorescence telescope (FT) searched for Ultra-High Energy Cosmic Rays (UHECRs) by recording the atmosphere below the balloon in the near-UV with a 1~$μ$s time resolution using 108 multi-anode photomultiplier tubes with a total of 6,912 channels. Validated by pre-flight measurements during a field campaign, the energy threshold was estimated around 2~EeV with an expected event rate of approximately 1 event per 10 hours of observation. Based on the limited time afloat, the expected number of UHECR observations throughout the flight is between 0 and 2. Consistent with this expectation, no UHECR candidate events have been found. The majority of events appear to be detector artifacts that were not rejected properly due to a shortened commissioning phase. Despite the earlier-than-expected termination of the flight, data were recorded which provide insights into the detectors stability in the near-space environment as well as the diffuse ultraviolet emissivity of the atmosphere, both of which are impactful to future experiments. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Lax Additivity

Authors: Merlin Christ, Tobias Dyckerhoff, Tashi Walde

Abstract: We introduce notions of lax semiadditive and lax additive $(\infty,2)$-categories, categorifying the classical notions of semiadditive and additive 1-categories. To establish a well-behaved axiomatic framework, we develop a calculus of lax matrices and use it to prove that in locally cocomplete $(\infty,2)$-categories lax limits and lax colimits agree and are absolute. In the lax additive setting,… ▽ More We introduce notions of lax semiadditive and lax additive $(\infty,2)$-categories, categorifying the classical notions of semiadditive and additive 1-categories. To establish a well-behaved axiomatic framework, we develop a calculus of lax matrices and use it to prove that in locally cocomplete $(\infty,2)$-categories lax limits and lax colimits agree and are absolute. In the lax additive setting, we categorify fundamental constructions from homological algebra such as map** complexes and map** cones and establish their basic properties. △ Less

Submitted 19 February, 2024; originally announced February 2024.

Comments: 57 pages. Companion paper to arXiv:2301.02606v2 with some text-overlap in the introduction. These two papers used to be the single paper arXiv:2301.02606v1

MSC Class: 18N65; 18E05; 18N25; 18G35

Additively manufactured ceramics for compact quantum technologies

Authors: Marc Christ, Conrad Zimmermann, Sascha Neinert, Bastian Leykauf, Klaus Döringshoff, Markus Krutzik

Abstract: Quantum technologies are advancing from fundamental research in specialized laboratories to practical applications in the field, driving the demand for robust, scalable, and reproducible system integration techniques. Ceramic components can be pivotal thanks to high stiffness, low thermal expansion, and excellent dimensional stability under thermal stress. We explore lithography-based additive man… ▽ More Quantum technologies are advancing from fundamental research in specialized laboratories to practical applications in the field, driving the demand for robust, scalable, and reproducible system integration techniques. Ceramic components can be pivotal thanks to high stiffness, low thermal expansion, and excellent dimensional stability under thermal stress. We explore lithography-based additive manufacturing of technical ceramics especially for miniaturized physics packages and electro-optical systems. This approach enables functional systems with precisely manufactured, intricate structures and high mechanical stability while minimizing size and weight. It facilitates rapid prototy**, simplifies fabrication and leads to highly integrated, reliable devices. As an electrical insulator with low outgassing and high temperature stability, printed technical ceramics such as Al2O3 and AlN bridge a technology gap in quantum technology and offer advantages over other printable materials. We demonstrate this potential with CerAMRef, a micro-integrated rubidium D2 line optical frequency reference on a printed Al2O3 micro-optical bench and housing. The frequency instability of the reference is comparable to laboratory setups while the volume of the integrated spectroscopy setup is only 6 ml. We identify potential for future applications in compact atomic magnetometers, miniaturized optical atom traps, and vacuum system integration. △ Less

Submitted 22 March, 2024; v1 submitted 15 February, 2024; originally announced February 2024.

Pseudorandom Error-Correcting Codes

Authors: Miranda Christ, Sam Gunn

Abstract: We construct pseudorandom error-correcting codes (or simply pseudorandom codes), which are error-correcting codes with the property that any polynomial number of codewords are pseudorandom to any computationally-bounded adversary. Efficient decoding of corrupted codewords is possible with the help of a decoding key. We build pseudorandom codes that are robust to substitution and deletion errors,… ▽ More We construct pseudorandom error-correcting codes (or simply pseudorandom codes), which are error-correcting codes with the property that any polynomial number of codewords are pseudorandom to any computationally-bounded adversary. Efficient decoding of corrupted codewords is possible with the help of a decoding key. We build pseudorandom codes that are robust to substitution and deletion errors, where pseudorandomness rests on standard cryptographic assumptions. Specifically, pseudorandomness is based on either $2^{O(\sqrt{n})}$-hardness of LPN, or polynomial hardness of LPN and the planted XOR problem at low density. As our primary application of pseudorandom codes, we present an undetectable watermarking scheme for outputs of language models that is robust to crop** and a constant rate of random substitutions and deletions. The watermark is undetectable in the sense that any number of samples of watermarked text are computationally indistinguishable from text output by the original model. This is the first undetectable watermarking scheme that can tolerate a constant rate of errors. Our second application is to steganography, where a secret message is hidden in innocent-looking content. We present a constant-rate stateless steganography scheme with robustness to a constant rate of substitutions. Ours is the first stateless steganography scheme with provable steganographic security and any robustness to errors. △ Less

Submitted 17 June, 2024; v1 submitted 14 February, 2024; originally announced February 2024.

Relative Calabi-Yau structures and perverse schobers on surfaces

Authors: Merlin Christ

Abstract: We give a treatment of relative Calabi--Yau structures on functors between $R$-linear stable $\infty$-categories, with $R$ any $\mathbb{E}_\infty$-ring spectrum, generalizing previous treatments in the setting of dg-categories. Using their gluing properties, we further construct relative Calabi--Yau structures on the global sections of perverse schobers, i.e. categorified perverse sheaves, on surf… ▽ More We give a treatment of relative Calabi--Yau structures on functors between $R$-linear stable $\infty$-categories, with $R$ any $\mathbb{E}_\infty$-ring spectrum, generalizing previous treatments in the setting of dg-categories. Using their gluing properties, we further construct relative Calabi--Yau structures on the global sections of perverse schobers, i.e. categorified perverse sheaves, on surfaces with boundary. We treat examples related to Fukaya categories and representation theory. In a related direction, we define the monodromy of a perverse schober parametrized by a ribbon graph on a framed surface and show that it forms a local system of stable $\infty$-categories. △ Less

Submitted 12 April, 2024; v1 submitted 28 November, 2023; originally announced November 2023.

Comments: 59 pages, v2) corrected and extended section 4.3 on monodromy. Swapped order of sections 5.2, 5.3

MSC Class: 18N60

The Impact of De-Identification on Single-Year-of-Age Counts in the U.S. Census

Authors: Sarah Radway, Miranda Christ

Abstract: In 2020, the U.S. Census Bureau transitioned from data swap** to differential privacy (DP) in its approach to de-identifying decennial census data. This decision has faced considerable criticism from data users, particularly due to concerns about the accuracy of DP. We compare the relative impacts of swap** and DP on census data, focusing on the use case of school planning, where single-year-o… ▽ More In 2020, the U.S. Census Bureau transitioned from data swap** to differential privacy (DP) in its approach to de-identifying decennial census data. This decision has faced considerable criticism from data users, particularly due to concerns about the accuracy of DP. We compare the relative impacts of swap** and DP on census data, focusing on the use case of school planning, where single-year-of-age population counts (i.e., the number of four-year-olds in the district) are used to estimate the number of incoming students and make resulting decisions surrounding faculty, classrooms, and funding requests. We examine these impacts for school districts of varying population sizes and age distributions. Our findings support the use of DP over swap** for single-year-of-age counts; in particular, concerning behaviors associated with DP (namely, poor behavior for smaller districts) occur with swap** mechanisms as well. For the school planning use cases we investigate, DP provides comparable, if not improved, accuracy over swap**, while offering other benefits such as improved transparency. △ Less

Submitted 24 August, 2023; originally announced August 2023.

Undetectable Watermarks for Language Models

Authors: Miranda Christ, Sam Gunn, Or Zamir

Abstract: Recent advances in the capabilities of large language models such as GPT-4 have spurred increasing concern about our ability to detect AI-generated text. Prior works have suggested methods of embedding watermarks in model outputs, by noticeably altering the output distribution. We ask: Is it possible to introduce a watermark without incurring any detectable change to the output distribution? To… ▽ More Recent advances in the capabilities of large language models such as GPT-4 have spurred increasing concern about our ability to detect AI-generated text. Prior works have suggested methods of embedding watermarks in model outputs, by noticeably altering the output distribution. We ask: Is it possible to introduce a watermark without incurring any detectable change to the output distribution? To this end we introduce a cryptographically-inspired notion of undetectable watermarks for language models. That is, watermarks can be detected only with the knowledge of a secret key; without the secret key, it is computationally intractable to distinguish watermarked outputs from those of the original model. In particular, it is impossible for a user to observe any degradation in the quality of the text. Crucially, watermarks should remain undetectable even when the user is allowed to adaptively query the model with arbitrarily chosen prompts. We construct undetectable watermarks based on the existence of one-way functions, a standard assumption in cryptography. △ Less

Submitted 24 May, 2023; originally announced June 2023.

Perverse schobers, stability conditions and quadratic differentials

Authors: Merlin Christ, Fabian Haiden, Yu Qiu

Abstract: We develop a unified approach for identifying spaces of stability conditions of triangulated categories arising from weighted marked surfaces with moduli spaces of quadratic differentials. This approach is based on the notion of a perverse schober (perverse sheaf of triangulated categories) and their triangulated categories of global sections. Under suitable conditions on the perverse schober, we… ▽ More We develop a unified approach for identifying spaces of stability conditions of triangulated categories arising from weighted marked surfaces with moduli spaces of quadratic differentials. This approach is based on the notion of a perverse schober (perverse sheaf of triangulated categories) and their triangulated categories of global sections. Under suitable conditions on the perverse schober, we identify mixed-angulations and their flips with finite-length hearts and their tilts, which then leads to the identification of moduli spaces. As an application we obtain a generalization of the results of Bridgeland--Smith to quadratic differentials with arbitrary singularity type (zero/pole/exponential). △ Less

Submitted 25 June, 2024; v1 submitted 31 March, 2023; originally announced March 2023.

Comments: v5: The paper has been split into two parts, with the first focusing on tilting, arc system kits, and stability conditions, and the second focusing on relative graded Brauer graph algebras

Complexes of stable $\infty$-categories

Authors: Merlin Christ, Tobias Dyckerhoff, Tashi Walde

Abstract: We study complexes of stable $\infty$-categories, referred to as categorical complexes. As we demonstrate, examples of such complexes arise in a variety of subjects including representation theory, algebraic geometry, symplectic geometry, and differential topology. One of the key techniques we introduce is a totalization construction for categorical cubes which is particularly well-behaved in the… ▽ More We study complexes of stable $\infty$-categories, referred to as categorical complexes. As we demonstrate, examples of such complexes arise in a variety of subjects including representation theory, algebraic geometry, symplectic geometry, and differential topology. One of the key techniques we introduce is a totalization construction for categorical cubes which is particularly well-behaved in the presence of Beck-Chevalley conditions. As a direct application we establish a categorical Koszul duality result which generalizes previously known derived Morita equivalences among higher Auslander algebras and puts them into a conceptual context. We explain how spherical categorical complexes can be interpreted as higher-dimensional perverse schobers, and introduce Calabi-Yau structures on categorical complexes to capture noncommutative orientation data. A variant of homological mirror symmetry for categorical complexes is proposed and verified for $\mathbb{C}\mathrm{P}^2$. △ Less

Submitted 15 February, 2024; v1 submitted 6 January, 2023; originally announced January 2023.

Comments: 87 pages. v2: The article has been split into two parts: this version retains the first part; the second part forms the separate paper "Lax Additivity"

MSC Class: 18N60; 18E05; 18N25; 53D37; 18G35

The Smoothed Complexity of Policy Iteration for Markov Decision Processes

Authors: Miranda Christ, Mihalis Yannakakis

Abstract: We show subexponential lower bounds (i.e., $2^{Ω(n^c)}$) on the smoothed complexity of the classical Howard's Policy Iteration algorithm for Markov Decision Processes. The bounds hold for the total reward and the average reward criteria. The constructions are robust in the sense that the subexponential bound holds not only on the average for independent random perturbations of the MDP parameters (… ▽ More We show subexponential lower bounds (i.e., $2^{Ω(n^c)}$) on the smoothed complexity of the classical Howard's Policy Iteration algorithm for Markov Decision Processes. The bounds hold for the total reward and the average reward criteria. The constructions are robust in the sense that the subexponential bound holds not only on the average for independent random perturbations of the MDP parameters (transition probabilities and rewards), but for all arbitrary perturbations within an inverse polynomial range. We show also an exponential lower bound on the worst-case complexity for the simple reachability objective. △ Less

Submitted 30 November, 2022; originally announced December 2022.

Cluster theory of topological Fukaya categories

Authors: Merlin Christ

Abstract: We establish a novel relation between the cluster categories associated with marked surfaces and the topological Fukaya categories of the surfaces. We consider a generalization of the triangulated cluster category of the surface by a $2$-Calabi-Yau extriangulated/exact $\infty$-category, which arises via Amiot's construction from the relative Ginzburg algebra of the triangulated surface. This cate… ▽ More We establish a novel relation between the cluster categories associated with marked surfaces and the topological Fukaya categories of the surfaces. We consider a generalization of the triangulated cluster category of the surface by a $2$-Calabi-Yau extriangulated/exact $\infty$-category, which arises via Amiot's construction from the relative Ginzburg algebra of the triangulated surface. This category is shown to be equivalent to the $1$-periodic version of the topological Fukaya category of the marked surface, as well as to Wu's Higgs category. We classify the cluster tilting objects in this extriangulated cluster category and describe a cluster character to the upper cluster algebra of the marked surface with coefficients in the boundary arcs. We furthermore give a general construction of $2$-Calabi-Yau Frobenius extriangulated structures/exact $\infty$-structures on stable $\infty$-categories equipped with a relative right $2$-Calabi-Yau structure in the sense of Brav-Dyckerhoff, that may be of independent interest. △ Less

Submitted 14 February, 2024; v1 submitted 14 September, 2022; originally announced September 2022.

Comments: 55 pages, v2) revised version

MSC Class: 18N25 (Primary); 18G80; 18N60 (Secondary)

Examples of Hölder-stable Phase Retrieval

Authors: Michael Christ, Ben Pineau, Mitchell A. Taylor

Abstract: Examples are constructed of infinite-dimensional subspaces $V\subset L^2(μ)$ with the property that for any $f,g\in V$, if $|f|$ is approximately equal to $|g|$ with respect to the $L^2$ norm, then there exists a unimodular scalar $z$ such that $f$ is approximately equal to $zg$. Examples are constructed of infinite-dimensional subspaces $V\subset L^2(μ)$ with the property that for any $f,g\in V$, if $|f|$ is approximately equal to $|g|$ with respect to the $L^2$ norm, then there exists a unimodular scalar $z$ such that $f$ is approximately equal to $zg$. △ Less

Submitted 18 March, 2023; v1 submitted 30 April, 2022; originally announced May 2022.

A three term sublevel set inequality

Authors: Michael Christ

Abstract: Let $B$ be a ball in ${\mathbb R}^2$. For $j=1,2,3$ let $\varphi_j:B\to{\mathbb R}^1$ be real analytic submersions, and let $a_j$ be real analytic coefficient functions. To any $\varepsilon>0$ and any Lebesgue measurable functions $f_j:{\mathbb R}^1\to {\mathbb C}$ associate the sublevel set $S = S(f_1,f_2,f_3,\varepsilon) = \{x\in B: |\sum_{j=1}^3 a_j(x)(f_j\circ\varphi_j)(x)|<\varepsilon\}$. Let… ▽ More Let $B$ be a ball in ${\mathbb R}^2$. For $j=1,2,3$ let $\varphi_j:B\to{\mathbb R}^1$ be real analytic submersions, and let $a_j$ be real analytic coefficient functions. To any $\varepsilon>0$ and any Lebesgue measurable functions $f_j:{\mathbb R}^1\to {\mathbb C}$ associate the sublevel set $S = S(f_1,f_2,f_3,\varepsilon) = \{x\in B: |\sum_{j=1}^3 a_j(x)(f_j\circ\varphi_j)(x)|<\varepsilon\}$. Let $S' = \{x\in S: \max_j|f_j\circ\varphi_j(x)|\ge 1\}$. Our main result is an upper bound, under certain hypotheses on the data $\varphi_j,a_j$ for the Lebesgue measure of $S'$ of the form $|S'| \le c\varepsilon^γ$ for some constants $c,γ>0$ that depend on the data $a_j,\varphi_j$ but not on the functions $f_j$ or parameter $\varepsilon$. The main hypothesis is that in any connected open subset of $B$, the only real analytic solution $(f_1,f_2,f_3)$ of $\sum_j a_j(x)(f_j\circ\varphi_j)(x)\equiv 0$ is the trivial solution $f_k=0\ \forall\,k$. Certain auxiliary hypotheses, which hold for generic $\varphi_j,a_j$, are also imposed. The case in which all coefficients $a_j$ are constant was previously known. This result is a principal ingredient in an analysis, in a companion paper, of related implicitly oscillatory integrals with four factors $f_j$. Certain related results are also discussed. In particular, a generalization to arbitrarily many summands f_j is obtained for the special case in which all map**s $\varphi_j$ are linear. △ Less

Submitted 8 April, 2022; originally announced April 2022.

MSC Class: 42B20; 05D99

On implicitly oscillatory quadrilinear integrals

Authors: Michael Christ

Abstract: For quadrilinear functionals $\int_B \prod_{j=1}^4 (f_j\circ\varphi_j)$, where $B\subset{\mathbb R}^2$ is a ball, $\varphi_j:B\to{\mathbb R}^1$ are real analytic submersions, and $f_j\in L^\infty({\mathbb R}^1)$ are bounded and measurable, we seek a majorization of the integral by a product of negative order Sobolev norms of the factors $f_j$. An obvious necessary condition is that any smooth solu… ▽ More For quadrilinear functionals $\int_B \prod_{j=1}^4 (f_j\circ\varphi_j)$, where $B\subset{\mathbb R}^2$ is a ball, $\varphi_j:B\to{\mathbb R}^1$ are real analytic submersions, and $f_j\in L^\infty({\mathbb R}^1)$ are bounded and measurable, we seek a majorization of the integral by a product of negative order Sobolev norms of the factors $f_j$. An obvious necessary condition is that any smooth solution of $\sum_j (g_j\circ\varphi_j)\equiv 0$, in any connected open set, must be constant. Assuming this condition and certain auxiliary hypotheses, we establish an upper bound of the desired type. The proof relies in part on a three term sublevel set inequality established in a companion paper. △ Less

Submitted 7 April, 2022; originally announced April 2022.

MSC Class: 42B20

A class of singular bilinear maximal functions

Authors: Michael Christ, Zirui Zhou

Abstract: Lebesgue space bounds $L^{p_1}({\mathbb R}^1) \times L^{p_2}(^1) \to L^q({\mathbb R}^1)$ are established for certain maximal bilinear operators. The proof combines a trilinear smoothing inequality with Calderón-Zygmund theory. A reference to overlap** work of other authors on one observation has been added. Lebesgue space bounds $L^{p_1}({\mathbb R}^1) \times L^{p_2}(^1) \to L^q({\mathbb R}^1)$ are established for certain maximal bilinear operators. The proof combines a trilinear smoothing inequality with Calderón-Zygmund theory. A reference to overlap** work of other authors on one observation has been added. △ Less

Submitted 6 April, 2022; v1 submitted 30 March, 2022; originally announced March 2022.

MSC Class: 42B25

Geometric models for the derived categories of Ginzburg algebras of n-angulated surfaces via local-to-global principles

Authors: Merlin Christ

Abstract: We consider a class of relative $n$-Calabi--Yau dg-algebras, referred to as relative Ginzburg algebras, associated with marked surfaces equipped with a decomposition into $n$-gons ($n$-angulation). We relate their derived categories to the geometry of the surface. Results include the description of a subset of the objects in the derived categories in terms of curves in the surfaces and their Homs… ▽ More We consider a class of relative $n$-Calabi--Yau dg-algebras, referred to as relative Ginzburg algebras, associated with marked surfaces equipped with a decomposition into $n$-gons ($n$-angulation). We relate their derived categories to the geometry of the surface. Results include the description of a subset of the objects in the derived categories in terms of curves in the surfaces and their Homs in terms of intersections. The description of these derived categories as the global sections of perverse schobers greatly facilitates the construction of these geometric models, as the construction reduces to gluing local data. This approach may be considered as a generalized, algebraic analogue of matching sphere constructions appearing in the symplectic geometry of Lefschetz fibrations. Most results also hold for the perverse schobers defined over any commutative ring spectrum. As an application of the geometric model in the case $n=3$, we match certain Ext-groups in the derived categories of these relative Ginzburg algebras and the extended mutation matrices of a class of cluster algebras with coefficients, associated to multi-laminated marked surfaces by Fomin-Thurston. △ Less

Submitted 21 July, 2023; v1 submitted 21 July, 2021; originally announced July 2021.

Comments: 60 pages

MSC Class: 18N60 (primary) 18G80; 16E45 (secondary)

Ginzburg algebras of triangulated surfaces and perverse schobers

Authors: Merlin Christ

Abstract: Ginzburg algebras associated to triangulated surfaces provide a means to categorify the cluster algebras of these surfaces. As shown by Ivan Smith, the finite derived category of such a Ginzburg algebra can be embedded into the Fukaya category of the total space of a Lefschetz fibration over the surface. Inspired by this perspective, we provide a description of the full derived category in terms o… ▽ More Ginzburg algebras associated to triangulated surfaces provide a means to categorify the cluster algebras of these surfaces. As shown by Ivan Smith, the finite derived category of such a Ginzburg algebra can be embedded into the Fukaya category of the total space of a Lefschetz fibration over the surface. Inspired by this perspective, we provide a description of the full derived category in terms of a perverse schober. The main novelty is a gluing formalism describing the Ginzburg algebra as a colimit of certain local Ginzburg algebras associated to discs. As a first application, we give a new proof of the derived invariance of these Ginzburg algebras under flips of an edge of the triangulation. Finally, we note that the perverse schober as well as the resulting gluing construction can also be defined over the sphere spectrum. △ Less

Submitted 20 February, 2022; v1 submitted 6 January, 2021; originally announced January 2021.

Comments: 72 pages. v2) Simplified version. Filled a gap in the proof of Prop. 5.9 v3) Published version

MSC Class: 18G80 (Primary) 18N25; 18N60 (Secondary)

Journal ref: Forum of Mathematics, Sigma 10 (2022) e8

Pointwise convergence of certain continuous-time double ergodic averages

Authors: Michael Christ, Polona Durcik, Vjekoslav Kovač, Joris Roos

Abstract: We prove a.e. convergence of continuous-time quadratic averages with respect to two commuting $\mathbb{R}$-actions, coming from a single jointly measurable measure-preserving $\mathbb{R}^2$-action on a probability space. The key ingredient of the proof comes from recent work on multilinear singular integrals; more specifically, from the study of a curved model for the triangular Hilbert transform. We prove a.e. convergence of continuous-time quadratic averages with respect to two commuting $\mathbb{R}$-actions, coming from a single jointly measurable measure-preserving $\mathbb{R}^2$-action on a probability space. The key ingredient of the proof comes from recent work on multilinear singular integrals; more specifically, from the study of a curved model for the triangular Hilbert transform. △ Less

Submitted 23 November, 2020; v1 submitted 12 November, 2020; originally announced November 2020.

Comments: 9 pages, v2 incorporates a minor fix/simplification in the proof

Journal ref: Ergodic Theory Dynam. Systems 42 (2022), No. 7, 2270-2280

Spherical monadic adjunctions of stable infinity categories

Authors: Merlin Christ

Abstract: This paper concerns spherical adjunctions of stable $\infty$-categories and their relation to monadic adjunctions. We begin with a proof of the 2/4 property of spherical adjunctions in the setting of stable $\infty$-categories. The proof is based on the description of spherical adjunctions as 4-periodic semiorthogonal decompositions given by Halpern-Leistner, Shipman and by Dyckerhoff, Kapranov, S… ▽ More This paper concerns spherical adjunctions of stable $\infty$-categories and their relation to monadic adjunctions. We begin with a proof of the 2/4 property of spherical adjunctions in the setting of stable $\infty$-categories. The proof is based on the description of spherical adjunctions as 4-periodic semiorthogonal decompositions given by Halpern-Leistner, Shipman and by Dyckerhoff, Kapranov, Schechtman, Soibelman. We then describe a class of examples of spherical adjunctions arising from local systems on spheres. The main result of this paper is a characterization of the sphericalness of a monadic adjunctions in terms of properties of the monad. Namely, a monadic adjunction is spherical if and only if the twist functor is an equivalence and commutes with the unit map of the monad. This characterization is inspired by work of Ed Segal. △ Less

Submitted 1 August, 2022; v1 submitted 11 October, 2020; originally announced October 2020.

Comments: 43 pages, final version

Journal ref: International Mathematics Research Notices, 2022, rnac187

Trilinear smoothing inequalities and a variant of the triangular Hilbert transform

Authors: Michael Christ, Polona Durcik, Joris Roos

Abstract: Lebesgue space inequalities are proved for a variant of the triangular Hilbert transform involving curvature. The analysis relies on a crucial trilinear smoothing inequality developed herein, and on bounds for an anisotropic variant of the twisted paraproduct. The trilinear smoothing inequality also leads to Lebesgue space bounds for a corresponding maximal function and a quantitative nonlinear Ro… ▽ More Lebesgue space inequalities are proved for a variant of the triangular Hilbert transform involving curvature. The analysis relies on a crucial trilinear smoothing inequality developed herein, and on bounds for an anisotropic variant of the twisted paraproduct. The trilinear smoothing inequality also leads to Lebesgue space bounds for a corresponding maximal function and a quantitative nonlinear Roth-type theorem concerning patterns in the Euclidean plane. △ Less

Submitted 13 November, 2020; v1 submitted 23 August, 2020; originally announced August 2020.

Comments: 41 pages. Expanded introduction, changed title

MSC Class: 42B15; 42B20; 42B25; 05D10

Journal ref: Adv. Math. 390 (2021), 107863

On Trilinear Oscillatory Integral Inequalities and Related Topics

Authors: Michael Christ

Abstract: Inequalities are established for certain trilinear scalar-valued functionals. These functionals act on measurable functions of one real variable, are defined by integration over two- or three-dimensional spaces, and are controlled in terms of Lebesgue space norms of the functions, and of negative powers of large parameters describing a degree of oscillation. Related sublevel set inequalities are a… ▽ More Inequalities are established for certain trilinear scalar-valued functionals. These functionals act on measurable functions of one real variable, are defined by integration over two- or three-dimensional spaces, and are controlled in terms of Lebesgue space norms of the functions, and of negative powers of large parameters describing a degree of oscillation. Related sublevel set inequalities are a central element of the analysis. The main results and the main lines of their proofs are largely unchanged in this draft, but some details have been corrected. The analysis has already been extended in work of the author, Durcik, and Roos. △ Less

Submitted 30 March, 2022; v1 submitted 24 July, 2020; originally announced July 2020.

MSC Class: 42B20; 26D15

Global endpoint Strichartz estimates for Schrödinger equations on the cylinder $\mathbb{R}\times\mathbb{T}$

Authors: Alex Barron, Michael Christ, Benoit Pausader

Abstract: We prove a sharp, global-in-time Strichartz estimate for the Schrödinger equation on the cylinder $\mathbb{R}\times\mathbb{T}$. We prove a sharp, global-in-time Strichartz estimate for the Schrödinger equation on the cylinder $\mathbb{R}\times\mathbb{T}$. △ Less

Submitted 1 February, 2021; v1 submitted 26 June, 2020; originally announced June 2020.

MSC Class: 35B10

A symmetrization inequality shorn of symmetry

Authors: Michael Christ, Dominique Maldague

Abstract: An inequality of Brascamp-Lieb-Luttinger and of Rogers states that among subsets of Euclidean space $\mathbb{R}^d$ of specified Lebesgue measures, balls centered at the origin are maximizers of certain functionals defined by multidimensional integrals. For $d>1$, this inequality only applies to functionals invariant under a diagonal action of $\text{Sl}(d)$. We investigate functionals of this type… ▽ More An inequality of Brascamp-Lieb-Luttinger and of Rogers states that among subsets of Euclidean space $\mathbb{R}^d$ of specified Lebesgue measures, balls centered at the origin are maximizers of certain functionals defined by multidimensional integrals. For $d>1$, this inequality only applies to functionals invariant under a diagonal action of $\text{Sl}(d)$. We investigate functionals of this type, and their maximizers, in perhaps the simplest situation in which $\text{Sl}(d)$ invariance does not hold. Assuming a more limited symmetry involving dilations but not rotations, we show under natural hypotheses that maximizers exist, and moreover, that there exist distinguished maximizers whose structure reflects this limited symmetry. For small perturbations of the $\text{Sl}(d)$--invariant framework we show that these distinguished maximizers are strongly convex sets with infinitely differentiable boundaries. It is shown that maximizers fail to exist for certain arbitrarily small perturbations of $\text{Sl}(d)$--invariant structures. △ Less

Submitted 14 October, 2018; originally announced October 2018.

Inequalities of Riesz-Sobolev type for compact connected Abelian groups

Authors: Michael Christ, Marina Iliopoulou

Abstract: A version of the Riesz-Sobolev convolution inequality is formulated and proved for arbitrary compact connected Abelian groups. Maximizers are characterized and a quantitative stability theorem is proved, under natural hypotheses. A corresponding stability theorem for sets whose sumset has nearly minimal measure is also proved, sharpening recent results of other authors. For the special case of the… ▽ More A version of the Riesz-Sobolev convolution inequality is formulated and proved for arbitrary compact connected Abelian groups. Maximizers are characterized and a quantitative stability theorem is proved, under natural hypotheses. A corresponding stability theorem for sets whose sumset has nearly minimal measure is also proved, sharpening recent results of other authors. For the special case of the group $\mathbb{R}/\mathbb{Z}$, a continuous deformation of sets is developed, under which an appropriately scaled Riesz-Sobolev functional is shown to be nondecreasing. △ Less

Submitted 17 August, 2019; v1 submitted 25 August, 2018; originally announced August 2018.

Comments: Minor corrections and edits have been made, and a small gap in one proof has been closed

Maximizers of Rogers-Brascamp-Lieb-Luttinger functionals in higher dimensions

Authors: Michael Christ, Kevin O'Neill

Abstract: A symmetrization inequality of Rogers and of Brascamp-Lieb-Luttinger states that for a certain class of multilinear integral expressions, among tuples of sets of prescribed Lebesgue measures, tuples of balls centered at the origin are among the maximizers. Under natural hypotheses, we characterize all maximizing tuples for these inequalities for dimensions strictly greater than 1. We establish a s… ▽ More A symmetrization inequality of Rogers and of Brascamp-Lieb-Luttinger states that for a certain class of multilinear integral expressions, among tuples of sets of prescribed Lebesgue measures, tuples of balls centered at the origin are among the maximizers. Under natural hypotheses, we characterize all maximizing tuples for these inequalities for dimensions strictly greater than 1. We establish a sharpened form of the inequality. △ Less

Submitted 30 November, 2017; originally announced December 2017.

Endpoint Lebesgue estimates for weighted averages on polynomial curves

Authors: Michael Christ, Spyridon Dendrinos, Betsy Stovall, Brian Street

Abstract: We establish optimal Lebesgue estimates for a class of generalized Radon transforms defined by averaging functions along polynomial-like curves. The presence of an essentially optimal weight allows us to prove uniform estimates, wherein the Lebesgue exponents are completely independent of the curves and the operator norms depend only on the polynomial degree. Moreover, our weighted estimates posse… ▽ More We establish optimal Lebesgue estimates for a class of generalized Radon transforms defined by averaging functions along polynomial-like curves. The presence of an essentially optimal weight allows us to prove uniform estimates, wherein the Lebesgue exponents are completely independent of the curves and the operator norms depend only on the polynomial degree. Moreover, our weighted estimates possess rather strong diffeomorphism invariance properties, allowing us to obtain uniform bounds for averages on curves satisfying a natural nilpotency hypothesis. △ Less

Submitted 30 September, 2019; v1 submitted 20 October, 2017; originally announced October 2017.

Comments: 56 pages; this version was significantly revised from the previous version

Equality in Brascamp-Lieb-Luttinger Inequalities

Authors: Michael Christ

Abstract: An inequality of Brascamp-Lieb-Luttinger generalizes the Riesz-Sobolev inequality, stating that certain multilinear functionals, acting on nonnegative functions of one real variable with prescribed distribution functions, are maximized when these functions are symmetrized. It is shown that under certain hypotheses, when the functions are indicator functions of sets of prescribed measures, then up… ▽ More An inequality of Brascamp-Lieb-Luttinger generalizes the Riesz-Sobolev inequality, stating that certain multilinear functionals, acting on nonnegative functions of one real variable with prescribed distribution functions, are maximized when these functions are symmetrized. It is shown that under certain hypotheses, when the functions are indicator functions of sets of prescribed measures, then up to the natural translation symmetries of the inequality, the maximum is attained only by intervals centered at the origin. Moreover, a quantitative form of this uniqueness is established, sharpening the inequality. The hypotheses include an auxiliary genericity assumption which may not be necessary. △ Less

Submitted 8 June, 2017; originally announced June 2017.

A sharpened Riesz-Sobolev inequality

Authors: Michael Christ

Abstract: The Riesz-Sobolev inequality provides an upper bound, in integral form, for the convolution of indicator functions of subsets of Euclidean space. We formulate and prove a sharper form of the inequality. This can be equivalently phrased as a stability result, quantifying an inverse theorem of Burchard that characterizes cases of equality. The Riesz-Sobolev inequality provides an upper bound, in integral form, for the convolution of indicator functions of subsets of Euclidean space. We formulate and prove a sharper form of the inequality. This can be equivalently phrased as a stability result, quantifying an inverse theorem of Burchard that characterizes cases of equality. △ Less

Submitted 6 June, 2017; originally announced June 2017.

On Young's inequality for Heisenberg groups

Authors: Michael Christ

Abstract: Young's convolution inequality provides an upper bound for the convolution of functions in terms of $L^p$ norms. It is known that for certain groups, including Heisenberg groups, the optimal constant in this inequality is equal to that for Euclidean space of the same topological dimension, yet no extremizing functions exist. For Heisenberg groups we characterize ordered triples of functions that n… ▽ More Young's convolution inequality provides an upper bound for the convolution of functions in terms of $L^p$ norms. It is known that for certain groups, including Heisenberg groups, the optimal constant in this inequality is equal to that for Euclidean space of the same topological dimension, yet no extremizing functions exist. For Heisenberg groups we characterize ordered triples of functions that nearly extremize the inequality. The analysis relies on a characterization of approximate solutions of a certain class of functional equations. A result of this type is developed for a class of such equations. △ Less

Submitted 6 June, 2017; originally announced June 2017.

Distributed and parallel time series feature extraction for industrial big data applications

Authors: Maximilian Christ, Andreas W. Kempa-Liehr, Michael Feindt

Abstract: The all-relevant problem of feature selection is the identification of all strongly and weakly relevant attributes. This problem is especially hard to solve for time series classification and regression in industrial applications such as predictive maintenance or production line optimization, for which each label or regression target is associated with several time series and meta-information simu… ▽ More The all-relevant problem of feature selection is the identification of all strongly and weakly relevant attributes. This problem is especially hard to solve for time series classification and regression in industrial applications such as predictive maintenance or production line optimization, for which each label or regression target is associated with several time series and meta-information simultaneously. Here, we are proposing an efficient, scalable feature extraction algorithm for time series, which filters the available features in an early stage of the machine learning pipeline with respect to their significance for the classification or regression task, while controlling the expected percentage of selected but irrelevant features. The proposed algorithm combines established feature extraction methods with a feature importance filter. It has a low computational complexity, allows to start on a problem with only limited domain knowledge available, can be trivially parallelized, is highly scalable and based on well studied non-parametric hypothesis tests. We benchmark our proposed algorithm on all binary classification problems of the UCR time series classification archive as well as time series from a production line optimization project and simulated stochastic processes with underlying qualitative change of dynamics. △ Less

Submitted 19 May, 2017; v1 submitted 24 October, 2016; originally announced October 2016.

MSC Class: 62M10 ACM Class: I.2.11

Subsets of Euclidean space with nearly maximal Gowers norms

Authors: Michael Christ

Abstract: A set subset of Euclidean space whose indicator function has maximal Gowers norm, among all sets of equal measure, is an ellipsoid up to Lebesgue null sets. If the indicator function has nearly maximal Gowers norm then the set nearly coincides with an ellipsoid. A set subset of Euclidean space whose indicator function has maximal Gowers norm, among all sets of equal measure, is an ellipsoid up to Lebesgue null sets. If the indicator function has nearly maximal Gowers norm then the set nearly coincides with an ellipsoid. △ Less

Submitted 10 December, 2015; originally announced December 2015.

MSC Class: 26D15; 42A85; 11B30

On an apparently bilinear inequality for the Fourier transform

Authors: Michael Christ

Abstract: A bilinear inequality of Geba, Greenleaf, Iosevich, Palsson, and Sawyer for the Fourier transform is shown to be equivalent to a simpler linear inequality, and the range of exponents is extended. Related mixed-norm inequalities are discussed. A bilinear inequality of Geba, Greenleaf, Iosevich, Palsson, and Sawyer for the Fourier transform is shown to be equivalent to a simpler linear inequality, and the range of exponents is extended. Related mixed-norm inequalities are discussed. △ Less

Submitted 10 December, 2015; originally announced December 2015.

MSC Class: 42B10

On Holder-Brascamp-Lieb inequalities for torsion-free discrete Abelian groups

Authors: Michael Christ, James Demmel, Nicholas Knight, Thomas Scanlon, Katherine Yelick

Abstract: Hölder-Brascamp-Lieb inequalities provide upper bounds for a class of multilinear expressions, in terms of $L^p$ norms of the functions involved. They have been extensively studied for functions defined on Euclidean spaces. Bennett-Carbery-Christ-Tao have initiated the study of these inequalities for discrete Abelian groups and, in terms of suitable data, have characterized the set of all tuples o… ▽ More Hölder-Brascamp-Lieb inequalities provide upper bounds for a class of multilinear expressions, in terms of $L^p$ norms of the functions involved. They have been extensively studied for functions defined on Euclidean spaces. Bennett-Carbery-Christ-Tao have initiated the study of these inequalities for discrete Abelian groups and, in terms of suitable data, have characterized the set of all tuples of exponents for which such an inequality holds for specified data, as the convex polyhedron defined by a particular finite set of affine inequalities. In this paper we advance the theory of such inequalities for torsion-free discrete Abelian groups in three respects. The optimal constant in any such inequality is shown to equal $1$ whenever it is finite. An algorithm that computes the admissible polyhedron of exponents is developed. It is shown that nonetheless, existence of an algorithm that computes the full list of inequalities in the Bennett-Carbery-Christ-Tao description of the admissible polyhedron for all data, is equivalent to an affirmative solution of Hilbert's Tenth Problem over the rationals. That problem remains open. Applications to computer science will be explored in a forthcoming companion paper. △ Less

Submitted 14 October, 2015; originally announced October 2015.

Comments: arXiv admin note: substantial text overlap with arXiv:1308.0068

MSC Class: 26D15; 11U05

Nilpotent group C*-algebras as compact quantum metric spaces

Authors: Michael Christ, Marc A. Rieffel

Abstract: Let $L$ be a length function on a group $G$, and let $M_L$ denote the operator of pointwise multiplication by $L$ on $\ell^2(G)$. Following Connes, $M_L$ can be used as a "Dirac" operator for the reduced group C*-algebra $C_r^*(G)$. It defines a Lipschitz seminorm on $C_r^*(G)$, which defines a metric on the state space of $C_r^*(G)$. We show that for any length function of a strong form of polyno… ▽ More Let $L$ be a length function on a group $G$, and let $M_L$ denote the operator of pointwise multiplication by $L$ on $\ell^2(G)$. Following Connes, $M_L$ can be used as a "Dirac" operator for the reduced group C*-algebra $C_r^*(G)$. It defines a Lipschitz seminorm on $C_r^*(G)$, which defines a metric on the state space of $C_r^*(G)$. We show that for any length function of a strong form of polynomial growth on a discrete group, the topology from this metric coincides with the weak-$*$ topology (a key property for the definition of a "compact quantum metric space"). In particular, this holds for all word-length functions on finitely generated nilpotent-by-finite groups. △ Less

Submitted 5 August, 2015; originally announced August 2015.

MSC Class: 46L87

Journal ref: Can. Math. Bull. 60 (2017) 77-94

Near equality in the Riesz-Sobolev inequality in higher dimensions

Authors: Michael Christ

Abstract: The Riesz-Sobolev inequality provides an upper bound for a trilinear expression involving convolution of indicator functions of sets. It is known that equality holds only for homothetic ordered triples of appropriately situated ellipsoids. We characterize ordered triples of subsets of Euclidean space $R^d$ that nearly realize equality, for arbitrary dimensions $d$, extending a result already known… ▽ More The Riesz-Sobolev inequality provides an upper bound for a trilinear expression involving convolution of indicator functions of sets. It is known that equality holds only for homothetic ordered triples of appropriately situated ellipsoids. We characterize ordered triples of subsets of Euclidean space $R^d$ that nearly realize equality, for arbitrary dimensions $d$, extending a result already known for $d=1$. △ Less

Submitted 30 May, 2015; originally announced June 2015.

MSC Class: 26D15

On nearly radial product functions

Authors: Michael Christ

Abstract: If $f\in L^2(R^d)$ and if the function $f(x)f(y)$ is close in $L^2(R^{2d})$ norm to a radially symmetric function of $(x,y)$ then $f$ is close in $L^2$ norm to a centered Gaussian function. This is proved in a quantitative form with the optimal exponent measuring closeness. If $f\in L^2(R^d)$ and if the function $f(x)f(y)$ is close in $L^2(R^{2d})$ norm to a radially symmetric function of $(x,y)$ then $f$ is close in $L^2$ norm to a centered Gaussian function. This is proved in a quantitative form with the optimal exponent measuring closeness. △ Less

Submitted 30 May, 2015; originally announced June 2015.

MSC Class: 42B99; 26D20

On an extremization problem concerning Fourier coefficients

Authors: Michael Christ

Abstract: Among subsets of Euclidean space with prescribed measure, for which sets is the $L^q$ norm of the Fourier transform of the indicator function maximized? Various partial results concerning this question are established, including the existence of maximizers and the identification of maximizers as ellipsoids for exponents sufficiently close to even integers, for various combinations of dimensions an… ▽ More Among subsets of Euclidean space with prescribed measure, for which sets is the $L^q$ norm of the Fourier transform of the indicator function maximized? Various partial results concerning this question are established, including the existence of maximizers and the identification of maximizers as ellipsoids for exponents sufficiently close to even integers, for various combinations of dimensions and exponents. This revision improves on the original draft by treating exponents close to arbitrary even integers greater than $2$, in arbitrary dimensions. △ Less

Submitted 6 June, 2017; v1 submitted 30 May, 2015; originally announced June 2015.

MSC Class: 42A16; 42B10

Online Multi-Coloring with Advice

Authors: Marie G. Christ, Lene M. Favrholdt, Kim S. Larsen

Abstract: We consider the problem of online graph multi-coloring with advice. Multi-coloring is often used to model frequency allocation in cellular networks. We give several nearly tight upper and lower bounds for the most standard topologies of cellular networks, paths and hexagonal graphs. For the path, negative results trivially carry over to bipartite graphs, and our positive results are also valid for… ▽ More We consider the problem of online graph multi-coloring with advice. Multi-coloring is often used to model frequency allocation in cellular networks. We give several nearly tight upper and lower bounds for the most standard topologies of cellular networks, paths and hexagonal graphs. For the path, negative results trivially carry over to bipartite graphs, and our positive results are also valid for bipartite graphs. The advice given represents information that is likely to be available, studying for instance the data from earlier similar periods of time. △ Less

Submitted 5 September, 2014; originally announced September 2014.

Comments: IMADA-preprint-cs

Sharp Hardy-Littlewood-Sobolev Inequalities on Octonionic Heisenberg Group

Authors: Michael Christ, He** Liu, An Zhang

Abstract: This paper is a second one following our work [CLZ13] in series, considering sharp Hardy- Littlewood-Sobolev inequalities on groups of Heisenberg type. The first important breakthrough was made by Frank and Lieb in [FL12]. In this paper, analogous results are obtained for octonionic Heisenberg group. This paper is a second one following our work [CLZ13] in series, considering sharp Hardy- Littlewood-Sobolev inequalities on groups of Heisenberg type. The first important breakthrough was made by Frank and Lieb in [FL12]. In this paper, analogous results are obtained for octonionic Heisenberg group. △ Less

Submitted 12 July, 2014; originally announced July 2014.

Comments: 14 pages

MSC Class: 26D10; 35A23; 35R03; 42B37; 53C17

Sharp Hardy-Littlewood-Sobolev Inequalities on Quaternionic Heisenberg Groups

Authors: Michael Christ, He** Liu, An Zhang

Abstract: In this paper, we got several sharp Hardy-Littlewood-Sobolev-type inequalities on quaternionic Heisenberg groups (a general form due to Folland and Stein [FS74]), using the symmetrization-free method in a paper of Frank and Lieb [FL12], where they considered the analogues on classical Heisenberg group. First, we give the sharp Hardy-Littlewood-Sobolev inequalities, both on quaternionic Heisenberg… ▽ More In this paper, we got several sharp Hardy-Littlewood-Sobolev-type inequalities on quaternionic Heisenberg groups (a general form due to Folland and Stein [FS74]), using the symmetrization-free method in a paper of Frank and Lieb [FL12], where they considered the analogues on classical Heisenberg group. First, we give the sharp Hardy-Littlewood-Sobolev inequalities, both on quaternionic Heisenberg group and its equivalent on quaternionic sphere for exponent bigger than 4. The extremizer, as we guess, is almost uniquely constant function on sphere. Then their dual form, sharp conformally-invariant Sobolev inequalities and the right endpoint limit case, Log-Sobolev inequality, are also obtained. For small exponent less 4, constant function is only proved to be a local extremizer. The conformal symmetry of the inequalities and zero center-mass technique play a critical role in the argument. △ Less

Submitted 12 July, 2014; originally announced July 2014.

Comments: 26 pages

MSC Class: 26D10; 35A23; 35R03; 42B37; 53C17

A sharpened Hausdorff-Young inequality

Authors: Michael Christ

Abstract: The Hausdorff-Young inequality for Euclidean space, in its sharp form due to Beckner, gives an upper bound for the Fourier transform in terms of Lebesgue space norms, with an optimal constant. The extremizers have been identified by Lieb to be the Gaussians. We establish an improved upper bound, for functions that nearly extremize the inequality, with a negative second term roughly proportional to… ▽ More The Hausdorff-Young inequality for Euclidean space, in its sharp form due to Beckner, gives an upper bound for the Fourier transform in terms of Lebesgue space norms, with an optimal constant. The extremizers have been identified by Lieb to be the Gaussians. We establish an improved upper bound, for functions that nearly extremize the inequality, with a negative second term roughly proportional to the square of the distance to the set of extremizers. One formulation of this term comes with its own sharp constant. The main step is to show that any extremizing sequence is precompact, modulo the action of the group of natural symmetries of the inequality. This step relies on inverse theorems of additive combinatorial nature. △ Less

Submitted 4 June, 2014; originally announced June 2014.

MSC Class: 42A38; 42B10

Online Bin Covering: Expectations vs. Guarantees

Authors: Marie G. Christ, Lene M. Favrholdt, Kim S. Larsen

Abstract: Bin covering is a dual version of classic bin packing. Thus, the goal is to cover as many bins as possible, where covering a bin means packing items of total size at least one in the bin. For online bin covering, competitive analysis fails to distinguish between most algorithms of interest; all "reasonable" algorithms have a competitive ratio of 1/2. Thus, in order to get a better understanding… ▽ More Bin covering is a dual version of classic bin packing. Thus, the goal is to cover as many bins as possible, where covering a bin means packing items of total size at least one in the bin. For online bin covering, competitive analysis fails to distinguish between most algorithms of interest; all "reasonable" algorithms have a competitive ratio of 1/2. Thus, in order to get a better understanding of the combinatorial difficulties in solving this problem, we turn to other performance measures, namely relative worst order, random order, and max/max analysis, as well as analyzing input with restricted or uniformly distributed item sizes. In this way, our study also supplements the ongoing systematic studies of the relative strengths of various performance measures. Two classic algorithms for online bin packing that have natural dual versions are Harmonic and Next-Fit. Even though the algorithms are quite different in nature, the dual versions are not separated by competitive analysis. We make the case that when guarantees are needed, even under restricted input sequences, dual Harmonic is preferable. In addition, we establish quite robust theoretical results showing that if items come from a uniform distribution or even if just the ordering of items is uniformly random, then dual Next-Fit is the right choice. △ Less

Submitted 27 February, 2014; v1 submitted 25 September, 2013; originally announced September 2013.

Comments: IMADA-preprint-cs

Near equality in the Riesz-Sobolev inequality

Authors: Michael Christ

Abstract: The Riesz-Sobolev inequality provides a sharp upper bound for a trilinear expression involving convolution of indicator functions of sets. Equality is known to hold only for indicator functions of appropriately situated intervals. We characterize ordered triples of subsets of the real line that nearly realize equality, with quantitative bounds of power law form with the optimal exponent. This im… ▽ More The Riesz-Sobolev inequality provides a sharp upper bound for a trilinear expression involving convolution of indicator functions of sets. Equality is known to hold only for indicator functions of appropriately situated intervals. We characterize ordered triples of subsets of the real line that nearly realize equality, with quantitative bounds of power law form with the optimal exponent. This improves on an earlier manuscript by the author in at least two respects. An excessively strong hypothesis has been replaced by the natural assumption, and the conclusion has been strengthened from a "little o(1)" statement to an explicit bound of the optimal form, up to a constant factor. △ Less

Submitted 23 September, 2013; originally announced September 2013.

MSC Class: 26D15; 11B25; 11P70

Off-diagonal decay of Bergman kernels: On a conjecture of Zelditch

Authors: Michael Christ

Abstract: Consider a complex line bundle over a compact complex manifold equipped with an infinitely differentiable metric with strictly positive curvature form. Assign to positive tensor powers of this bundle the associated product metrics and Bergman projection operators. Zelditch has conjectured that if the Bergman kernels, away from the diagonal, decay exponentially fast to zero as the power tends to in… ▽ More Consider a complex line bundle over a compact complex manifold equipped with an infinitely differentiable metric with strictly positive curvature form. Assign to positive tensor powers of this bundle the associated product metrics and Bergman projection operators. Zelditch has conjectured that if the Bergman kernels, away from the diagonal, decay exponentially fast to zero as the power tends to infinity, then the metric must be real analytic. Moreover, this is conjectured even if exponential decay is assumed to hold merely for some arbitrarily sparse subsequence of powers tending to infinity. Previously the author has constructed examples in which the metric is infinitely differentiable, but exponential decay does not hold. These examples are within a framework in which a certain degree of symmetry is present. In the present paper we prove the conjecture for all structures within this framework, thus providing evidence in favor of the conjecture. The analysis is carried out for base manifolds of arbitrary dimensions, rather than only for dimension one as in the author's previous work. △ Less

Submitted 26 August, 2013; originally announced August 2013.

MSC Class: 32W05; 58J37

Communication lower bounds and optimal algorithms for programs that reference arrays -- Part 1

Authors: Michael Christ, James Demmel, Nicholas Knight, Thomas Scanlon, Katherine Yelick

Abstract: The movement of data (communication) between levels of a memory hierarchy, or between parallel processors on a network, can greatly dominate the cost of computation, so algorithms that minimize communication are of interest. Motivated by this, attainable lower bounds for the amount of communication required by algorithms were established by several groups for a variety of algorithms, including mat… ▽ More The movement of data (communication) between levels of a memory hierarchy, or between parallel processors on a network, can greatly dominate the cost of computation, so algorithms that minimize communication are of interest. Motivated by this, attainable lower bounds for the amount of communication required by algorithms were established by several groups for a variety of algorithms, including matrix computations. Prior work of Ballard-Demmel-Holtz-Schwartz relied on a geometric inequality of Loomis and Whitney for this purpose. In this paper the general theory of discrete multilinear Holder-Brascamp-Lieb (HBL) inequalities is used to establish communication lower bounds for a much wider class of algorithms. In some cases, algorithms are presented which attain these lower bounds. Several contributions are made to the theory of HBL inequalities proper. The optimal constant in such an inequality for torsion-free Abelian groups is shown to equal one whenever it is finite. Bennett-Carbery-Christ-Tao had characterized the tuples of exponents for which such an inequality is valid as the convex polyhedron defined by a certain finite list of inequalities. The problem of constructing an algorithm to decide whether a given inequality is on this list, is shown to be equivalent to Hilbert's Tenth Problem over the rationals, which remains open. Nonetheless, an algorithm which computes the polyhedron itself is constructed. △ Less

Submitted 31 July, 2013; originally announced August 2013.

MSC Class: 68W40; 26D15

Upper bounds for Bergman kernels associated to positive line bundles with smooth Hermitian metrics

Authors: Michael Christ

Abstract: Off-diagonal upper bounds are established away from the diagonal for the Bergman kernels associated to high powers of holomorphic line bundles over compact complex manifolds, asymptotically as the power tends to infinity. The line bundle is assumed to be equipped with a Hermitian metric with positive curvature form, which is infinitely differentiable but not necessarily real analytic. The bounds o… ▽ More Off-diagonal upper bounds are established away from the diagonal for the Bergman kernels associated to high powers of holomorphic line bundles over compact complex manifolds, asymptotically as the power tends to infinity. The line bundle is assumed to be equipped with a Hermitian metric with positive curvature form, which is infinitely differentiable but not necessarily real analytic. The bounds obtained are the best possible for this class of metrics. △ Less

Submitted 31 July, 2013; originally announced August 2013.

MSC Class: 32W05; 58J37

The optimal constants in Holder-Brascamp-Lieb inequalities for discrete Abelian groups

Authors: Michael Christ

Abstract: The optimal constants are found for Lebesgue norm multilinear inequalities of Holder-Brascamp-Lieb type for arbitrary discrete Abelian groups. Previously a criterion for finiteness of the constants had been established for finitely generated Abelian groups, and the optimal constant had been found in the torsion-free case. The main step here is the analysis of finite groups. The optimal constants are found for Lebesgue norm multilinear inequalities of Holder-Brascamp-Lieb type for arbitrary discrete Abelian groups. Previously a criterion for finiteness of the constants had been established for finitely generated Abelian groups, and the optimal constant had been found in the torsion-free case. The main step here is the analysis of finite groups. △ Less

Submitted 31 July, 2013; originally announced July 2013.

MSC Class: 26D15; 52A40

Cases of equality in certain multilinear inequalities of Hardy-Riesz-Brascamp-Lieb-Luttinger type

Authors: Michael Christ, Taryn C. Flock

Abstract: Certain rearrangement inequalities of a type considered by Hardy, Riesz, and Brascamp-Lieb-Luttinger are studied. Subsets of the real line that extremize these inequalities are characterized. Our results apply only to special cases, and complement earlier results by Burchard treating other cases. This draft incorporates minor corrections and clarifications. Certain rearrangement inequalities of a type considered by Hardy, Riesz, and Brascamp-Lieb-Luttinger are studied. Subsets of the real line that extremize these inequalities are characterized. Our results apply only to special cases, and complement earlier results by Burchard treating other cases. This draft incorporates minor corrections and clarifications. △ Less

Submitted 26 August, 2013; v1 submitted 31 July, 2013; originally announced July 2013.

MSC Class: 52A40; 26D15

Low regularity bounds for mKdV

Authors: Michael Christ, Justin Holmer, Daniel Tataru

Abstract: We study the local well-posedness in the Sobolev space H^s for the modified Korteweg-de Vries (mKdV) equation on the real line. Kenig-Ponce-Vega \cite{KPV2} and Christ-Colliander-Tao established that the data-to-solution map fails to be uniformly continuous on a fixed ball in H^s when s<1/4. In spite of this, we establish that for -1/8 < s < 1/4, the solution satisfies global in time H^s(R) bounds… ▽ More We study the local well-posedness in the Sobolev space H^s for the modified Korteweg-de Vries (mKdV) equation on the real line. Kenig-Ponce-Vega \cite{KPV2} and Christ-Colliander-Tao established that the data-to-solution map fails to be uniformly continuous on a fixed ball in H^s when s<1/4. In spite of this, we establish that for -1/8 < s < 1/4, the solution satisfies global in time H^s(R) bounds which depend only on the time and on the H^s(R) norm of the initial data. This result is weaker than global well-posedness, as we have no control on differences of solutions. Our proof is modeled on recent work by Christ-Colliander-Tao and Koch-Tataru employing a version of Bourgain's Fourier restriction spaces adapted to time intervals whose length depends on the spatial frequency. △ Less

Submitted 28 July, 2012; originally announced July 2012.

Comments: 22 pages

MSC Class: 35Q53