More Like this

1. Semi-Algebraic Off-Line Range Searching and Biclique Partitions in the Plane

   https://doi.org/10.4230/LIPICS.SOCG.2024.4  

   Agarwal, Pankaj K; Ezra, Esther; Sharir, Micha (January 2024, Schloss Dagstuhl – Leibniz-Zentrum für Informatik)

   Mulzer, Wolfgang; Phillips, Jeff M (Ed.)

   Let P be a set of m points in ℝ², let Σ be a set of n semi-algebraic sets of constant complexity in ℝ², let (S,+) be a semigroup, and let w: P → S be a weight function on the points of P. We describe a randomized algorithm for computing w(P∩σ) for every σ ∈ Σ in overall expected time O^*(m^{2s/(5s-4)}n^{(5s-6)/(5s-4)} + m^{2/3}n^{2/3} + m + n), where s > 0 is a constant that bounds the maximum complexity of the regions of Σ, and where the O^*(⋅) notation hides subpolynomial factors. For s ≥ 3, surprisingly, this bound is smaller than the best-known bound for answering m such queries in an on-line manner. The latter takes O^*(m^{s/(2s-1)}n^{(2s-2)/(2s-1)} + m + n) time. Let Φ: Σ × P → {0,1} be the Boolean predicate (of constant complexity) such that Φ(σ,p) = 1 if p ∈ σ and 0 otherwise, and let Σ_Φ P = {(σ,p) ∈ Σ× P ∣ Φ(σ,p) = 1}. Our algorithm actually computes a partition ℬ_Φ of Σ_Φ P into bipartite cliques (bicliques) of size (i.e., sum of the sizes of the vertex sets of its bicliques) O^*(m^{2s/(5s-4)}n^{(5s-6)/(5s-4)} + m^{2/3}n^{2/3} + m + n). It is straightforward to compute w(P∩σ) for all σ ∈ Σ from ℬ_Φ. Similarly, if η: Σ → S is a weight function on the regions of Σ, ∑_{σ ∈ Σ: p ∈ σ} η(σ), for every point p ∈ P, can be computed from ℬ_Φ in a straightforward manner. We also mention a few other applications of computing ℬ_Φ. 

   more » « less
2. Some sharp inequalities of Mizohata–Takeuchi-type

   https://doi.org/10.4171/RMI/1463  

   Carbery, Anthony; Iliopoulou, Marina; Wang, Hong (June 2024, Revista Matemática Iberoamericana)

   Let\Sigmabe a strictly convex, compact patch of aC^{2}hypersurface in\mathbb{R}^{n}, with non-vanishing Gaussian curvature and surface measured\sigmainduced by the Lebesgue measure in\mathbb{R}^{n}. The Mizohata–Takeuchi conjecture states that \int |\widehat{g d\sigma}|^{2} w \leq C \|Xw\|_{\infty} \int |g|^{2} for allg\in L^{2}(\Sigma)and all weightsw \colon \mathbb{R}^{n}\rightarrow [0,+\infty), whereXdenotes theX-ray transform. As partial progress towards the conjecture, we show, as a straightforward consequence of recently-established decoupling inequalities, that for every\varepsilon>0, there exists a positive constantC_{\varepsilon}, which depends only on\Sigmaand\varepsilon, such that for allR \geq 1and all weightsw \colon \mathbb{R}^{n}\rightarrow [0,+\infty), we have \int_{B_R}|\widehat{g d\sigma}|^{2} w \leq C_{\varepsilon} R^{\varepsilon} \sup_{T} \Big(\int_{T} w^{(n+1)/2}\Big)^{2/(n+1)}\int |g|^{2}, whereTranges over the family of tubes in\mathbb{R}^{n}of dimensionsR^{1/2}\times \cdots \times R^{1/2}\times R. From this we deduce the Mizohata–Takeuchi conjecture with anR^{(n-1)/(n+1)}-loss; i.e., that \int_{B_R}|\widehat{g d\sigma}|^{2} w \leq C_{\varepsilon} R^{\frac{n-1}{n+1}+ \varepsilon}\|Xw\|_{\infty} \int |g|^{2} for any ballB_{R}of radiusRand any\varepsilon>0. The power(n-1)/(n+1)here cannot be replaced by anything smaller unless properties of\widehat{g d\sigma}beyond ‘decoupling axioms’ are exploited. We also provide estimates which improve this inequality under various conditions on the weight, and discuss some new cases where the conjecture holds. 

   more » « less
3. Weighted estimates for one-sided martingale transforms

   https://doi.org/10.1090/proc/14665  

   Chen, Wei; Han, Rui; Lacey, Michael T. (October 2019, Proceedings of the American Mathematical Society)

   Let $$ Tf =\sum _{I} \varepsilon _I \langle f,h_{I^+}\rangle h_{I^-}$$. Here, $$ \lvert \varepsilon _I\rvert =1 $$, and $$ h_J$$ is the Haar function defined on dyadic interval $ J$. We show that, for instance, $$\displaystyle \lVert T \rVert _{L ^{2} (w) \to L ^{2} (w)} \lesssim [w] _{A_2 ^{+}} .$$ Above, we use the one-sided $$ A_2$$ characteristic for the weight $ w$. This is an instance of a one-sided $$ A_2$$ conjecture. Our proof of this fact is difficult, as the very quick known proofs of the $$ A_2$$ theorem do not seem to apply in the one-sided setting. 

   more » « less
4. Analytic genericity of diffusing orbits in a priori unstable Hamiltonian systems

   https://doi.org/10.1088/1361-6544/ac50bb  

   Chen, Qinbo; de la Llave, Rafael (March 2022, Nonlinearity)

   Abstract The genericity of Arnold diffusion in the analytic category is an open problem. In this paper, we study this problem in the following a priori unstable Hamiltonian system with a time-periodic perturbation H ε ( p , q , I , φ , t ) = h ( I ) + ∑ i = 1 n ± 1 2 p i 2 + V i ( q i ) + ε H 1 ( p , q , I , φ , t ) , where ( p , q ) ∈ R n × T n , ( I , φ ) ∈ R d × T d with n , d ⩾ 1, V i are Morse potentials, and ɛ is a small non-zero parameter. The unperturbed Hamiltonian is not necessarily convex, and the induced inner dynamics does not need to satisfy a twist condition. Using geometric methods we prove that Arnold diffusion occurs for generic analytic perturbations H 1 . Indeed, the set of admissible H 1 is C ω dense and C 3 open ( a fortiori , C ω open). Our perturbative technique for the genericity is valid in the C k topology for all k ∈ [3, ∞) ∪ {∞, ω }. 

   more » « less
5. Duality for Optimal Couplings in Free Probability

   https://doi.org/10.1007/s00220-022-04480-0  

   Gangbo, Wilfrid; Jekel, David; Nam, Kyeongsik; Shlyakhtenko, Dimitri (December 2022, Communications in Mathematical Physics)

   Abstract We study the free probabilistic analog of optimal couplings for the quadratic cost, where classical probability spaces are replaced by tracial von Neumann algebras, and probability measures on $${\mathbb {R}}^m$$ R m are replaced by non-commutative laws of m -tuples. We prove an analog of the Monge–Kantorovich duality which characterizes optimal couplings of non-commutative laws with respect to Biane and Voiculescu’s non-commutative $$L^2$$ L 2 -Wasserstein distance using a new type of convex functions. As a consequence, we show that if ( X ,  Y ) is a pair of optimally coupled m -tuples of non-commutative random variables in a tracial $$\mathrm {W}^*$$ W ∗ -algebra $$\mathcal {A}$$ A , then $$\mathrm {W}^*((1 - t)X + tY) = \mathrm {W}^*(X,Y)$$ W ∗ ( ( 1 - t ) X + t Y ) = W ∗ ( X , Y ) for all $$t \in (0,1)$$ t ∈ ( 0 , 1 ) . Finally, we illustrate the subtleties of non-commutative optimal couplings through connections with results in quantum information theory and operator algebras. For instance, two non-commutative laws that can be realized in finite-dimensional algebras may still require an infinite-dimensional algebra to optimally couple. Moreover, the space of non-commutative laws of m -tuples is not separable with respect to the Wasserstein distance for $$m > 1$$ m > 1 . 

   more » « less