Résumé IA · arXiv: 2611.08455v1 · math.CO

Tusnády's problem and online two-sample thinning

Yuhao Lei
Article original Soumis à arXiv le 05 Nov. 2026 40 pages, 5 figures Licence : non indiquée (tous droits réservés) Aussi en : en

Comment lire ce résumé ? Guide illustré

L’essentiel

L’article établit des ordres optimaux de discrépance pour le problème de Tusnády et la sélection en ligne de deux échantillons, avec des résultats distincts pour les préfixes et les résultats terminaux.

D’après l’abstract uniquement : vérifiez les détails dans l’article original.

Question

Quels sont les ordres asymptotiques optimaux de la discrépance pour les boîtes parallèles aux axes, et pour l’amincissement en ligne de deux échantillons issus d’une même loi inconnue? Comment ces ordres varient-ils selon que l’on mesure la discrépance des préfixes ou celle au terme de la procédure?

Méthode

L’article détermine la discrépance combinatoire maximale de N points de ℝ^d pour les boîtes parallèles aux axes, en dimension fixe d ≥ 2, et étudie aussi la robustesse de la borne inférieure après suppression d’une petite fraction d’un échantillon uniforme. Pour deux échantillons indépendants de taille n, il analyse la discrépance minimax espérée sur les orthants inférieurs sous un budget espéré de suppression ρn, avec 0 < ρ < 2; les bornes inférieures reposent sur des estimations gaussiennes de petites boules et les bornes supérieures sur un amincissement de Metropolis stationnaire, complété en dimension un par une procédure d’annulation terminale.

Résultats

  • Résultat En dimension fixe d ≥ 2, la discrépance combinatoire maximale est d’ordre Θ_d((log N)^{d−1/2}).
    Voir le passage dans l’article
    The largest combinatorial discrepancy of $N$ points in $\mathbb{R}^d$ with respect to axis-parallel boxes is $Θ_d((\log N)^{d-1/2})$
  • Résultat Avec forte probabilité, la borne inférieure de discrépance subsiste simultanément pour tous les sous-ensembles obtenus en supprimant au plus une petite fraction fixe d’un échantillon uniforme.
    Voir le passage dans l’article
    More strongly, with high probability, this lower bound holds simultaneously for every subset obtained by deleting at most a sufficiently small fixed fraction of a uniform $N$-point sample.
  • Résultat Pour tout k ≥ 1 fixé et 0 < ρ < 2, la discrépance minimax espérée des préfixes est Θ_{k,ρ}((log n)^{k+1/2}).
    Voir le passage dans l’article
    For every fixed dimension $k\ge 1$ and expected deletion budget $ρn$, with $0<ρ<2$, we prove that the minimax expected prefix discrepancy over lower orthants is $Θ_{k,ρ}((\log n)^{k+1/2})$.
  • Résultat En dimension un, la discrépance terminale optimale est d’ordre Θ_ρ((log log n)^{3/2}), ce qui établit une séparation nette entre les objectifs portant sur les préfixes et ceux portant sur le résultat terminal.
    Voir le passage dans l’article
    In dimension one, the optimal terminal discrepancy is instead $Θ_ρ((\log\log n)^{3/2})$, giving a sharp separation between the prefix and terminal objectives.
  • Résultat Pour k ≥ 2, les bornes terminales établies ne coïncident pas et diffèrent d’un facteur log n.
    Voir le passage dans l’article
    For $k\ge 2$, we obtain terminal bounds differing by a factor of $\log n$.

Limites

  • Pour k ≥ 2, l’article ne détermine pas un ordre terminal exact : les bornes obtenues restent séparées par un facteur log n.
    Voir le passage dans l’article
    For $k\ge 2$, we obtain terminal bounds differing by a factor of $\log n$.
  • Le résultat sur Tusnády est circonscrit aux dimensions fixes d ≥ 2; l’abstract ne donne pas de conclusion correspondante pour d = 1.
    Voir le passage dans l’article
    We determine the sharp order of discrepancy in Tusnády's problem in every fixed dimension $d\ge 2$.

Portée

Les résultats établissent l’ordre exact du problème de Tusnády dans chaque dimension fixe d ≥ 2 et relient cette géométrie à l’amincissement en ligne de deux échantillons. Les auteurs mettent aussi en évidence une séparation entre discrépance des préfixes et discrépance terminale en dimension un, tandis qu’en dimensions supérieures la borne terminale reste à préciser.

Rédigé par une IA à partir de l’article. Les passages cités sont vérifiés mot pour mot dans le texte analysé ; le reste peut contenir des erreurs.

Mots clés générés par l'IA : discrepancy problème de Tusnády échantillonnage en ligne amincissement petites boules gaussiennes

Pour aller plus loin

  • Résumé Complet
  • Résumé vulgarisé
  • Article de blog
  • Abstract original
L’article de Yuhao Lei étudie deux problèmes liés à la discrepancy, qui mesure l’écart entre la répartition observée de points et leur répartition attendue dans des régions géométriques. Le premier est le problème de Tusnády : pour un ensemble de \(N\) points dans l’espace, quelle est la plus grande discrepancy combinatoire obtenue en coloriant les points, lorsque les régions considérées sont des boîtes à côtés parallèles ? Le second porte sur l’échantillonnage en ligne : étant donné deux échantillons indépendants de taille \(n\) issus d’une même distribution inconnue, comment conserver ou supprimer les observations au fur et à mesure de leur arrivée afin de limiter les écarts entre les échantillons ? Pour le problème de Tusnády, l’article établit, dans toute dimension fixe \(d \geq 2\), un ordre optimal de \(\Theta_d((\log N)^{d-1/2})\). Ce résultat prolonge celui de Wei en dimension deux et rejoint la borne supérieure de Nikolov. L’auteur établit également une version robuste de la borne inférieure : avec une probabilité élevée, celle-ci vaut simultanément pour tous les sous-ensembles obtenus en supprimant au plus une petite fraction fixe des points d’un échantillon uniforme de taille \(N\). Ainsi, la suppression d’une quantité limitée de points ne suffit pas à faire disparaître le phénomène de discrepancy décrit par cette borne. Le second problème concerne l’amincissement en ligne de deux échantillons. Les observations doivent être conservées ou rejetées dès leur arrivée, et le nombre moyen de suppressions est limité à \(\rho n\), où \(0 \leq \rho \leq 2\). L’objectif est de contrôler la discrepancy des préfixes, mesurée sur les orthants inférieurs. Pour toute dimension fixe \(k \geq 1\), la discrepancy minimax attendue des préfixes est de l’ordre de \(\Theta_{k,\rho}((\log n)^{k+1/2})\). Les conclusions diffèrent lorsqu’on ne considère que les échantillons finaux. En dimension un, l’article montre que la discrepancy terminale optimale est \(\Theta_\rho((\log\log n)^{3/2})\), une valeur bien inférieure à celle associée au contrôle des préfixes. Ce résultat met en évidence une séparation nette entre les objectifs consistant à contrôler chaque préfixe et à contrôler uniquement le résultat final. En dimension \(k \geq 2\), les bornes terminales annoncées ne coïncident pas et diffèrent d’un facteur \(\log n\). Le résumé ne précise ni leurs constantes ni leurs expressions détaillées. Selon le résumé, les bornes inférieures reposent sur des estimations de petites boules gaussiennes appliquées à des matrices d’incidence de boîtes. Les bornes supérieures s’appuient sur une procédure d’amincissement stationnaire de type Metropolis. En dimension un, une procédure supplémentaire d’annulation terminale permet d’obtenir le résultat plus fin sur la discrepancy finale. Ces méthodes relient ainsi un problème géométrique de coloration à un problème séquentiel d’échantillonnage. La portée de ces conclusions reste toutefois limitée par les informations disponibles : seul le titre et le résumé de l’article sont accessibles, et non son texte intégral. Il est donc impossible de préciser les hypothèses, les constructions, les preuves, les constantes ou la forme exacte des bornes terminales en dimension au moins deux.

Cette synthèse vous a-t-elle été utile ?

Note : 0

Pourquoi avons-nous besoin de votes ?

Les votes sont utilisés pour déterminer si nous devons réexécuter nos outils de synthèse. Si le compte atteint -10, nos outils peuvent être redémarrés.

Posez des questions sur cet article à notre assistant IA

Comment discuter avec cet article ? Guide illustré

Comparer avec le PDF

Vous pouvez aussi discutez avec plusieurs papiers à la fois ici.

⚠La licence de l'article ne nous permet pas de nous appuyer sur son contenu et l'assistant IA ne peut se servir que des métadonnées de l'article plutôt que de l'article complet.

Figures et graphiques

Posez une question sur une figure en indiquant son numéro ou en utilisant son bouton de question pour demander une analyse visuelle. Au maximum deux figures et quatre panneaux par question. Les valeurs lues sur les graphiques sont approximatives ; vérifiez les données originales.

Instructions pour utiliser l'assistant IA ?

Outils pour cet article

Expliquer autrement 1 réécriture gratuite restante aujourd'hui
Enregistrer dans une collection Regroupez des articles en collections pour les comparer, les interroger et les exporter. Continuer avec Google Créer un compte gratuit Se connecter

Outils avancés Premium

Pour suivre un domaine de près : alertes de citations, diapositives de journal club, comparaison des versions et envoi vers Zotero. Découvrir Premium

Zotero
Alertes de citation Guide des alertes de citations
Lettre hebdomadaire Présenté dans « Mathématiques et statistiques cette semaine » du 9 novembre 2026. Mathématiques et statistiques cette semaine : des désordres qui deviennent prévisibles

Les articles autour de celui-ci

Les voir sur une carte

Classés selon la proximité de leur titre et de leur résumé avec ceux de cet article. Sélectionnez-en pour les lire ensemble.

Les articles les plus proches

  1. Très proche Même question
    Resolving Tusn\'ady's Problem
    Nicola Wengiel · 2026 · Pas encore résumé

    Resolving Tusndy's Problem établit l'ordre optimal de la discrépance des boîtes ancrées, également déterminé ici pour les boîtes parallèles aux axes.

    Résumé scientifique

    We prove a lower bound of $\Omega_d((\log N)^{d-1/2})$ for the worst-case combinatorial discrepancy of $N$-point sets with respect to anchored boxes in every fixed dimension $d\ge3$. Together with Nikolov's upper bound of the same order and Wei's planar lower bound, this settles Tusn\'ady's problem: the discrepancy of axis-parallel boxes is $\Theta_d((\log N)^{d-1/2})$ in every fixed dimension $d\ge2$. The proof combines smoothed product test functions, sampling discretization, and an entropy argument for conditioned Gaussian vectors.

  2. Très proche Base de cet article Cité par cet article Utilisé en profondeur par cet article
    Thinning to Improve Two‐Sample Discrepancy
    Gleb Smirnov, Roman Vershynin · 2025 · Random Structures &amp; Algorithms · cité 4 fois · Pas encore résumé

    Thinning to Improve Two-Sample Discrepancy propose un algorithme en ligne qui réduit la discrépance de deux échantillons en supprimant des points, problème approfondi ici.

    Résumé scientifique

    The discrepancy between two independent samples X1,…,Xn$$ {X}_1,\dots, {X}_n $$ and Y1,…,Yn$$ {Y}_1,\dots, {Y}_n $$ drawn from the same distribution on ℝd$$ {\mathbb{R}}^d $$ typically has order O(n)$$ O\left(\sqrt{n}\right) $$ even in one dimension. We give a simple online algorithm that reduces the discrepancy to O(log2dn)$$ O\left({\log}^{2d}n\right) $$ by discarding a small fraction of the points.

  3. Très proche Même méthode, autre problème Cité par cet article
    The power of online thinning in reducing discrepancy
    Raaz Dwivedi, O. Feldheim, O. Gurel-Gurevich et al. · 2016 · Probability theory and related fields · cité 28 fois · Pas encore résumé

    The power of online thinning in reducing discrepancy étudie l'amincissement en ligne de points uniformes pour contrôler la discrépance, avec une règle de conservation des points.

    Résumé scientifique

    Consider an infinite sequence of independent, uniformly chosen points from [0,1]d\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$[0,1]^d$$\end{document}. After looking at each point in the sequence, an overseer is allowed to either keep it or reject it, and this choice may depend on the locations of all previously kept points. However, the overseer must keep at least one of every two consecutive points. We call a sequence generated in this fashion a two-thinning sequence. Here, the purpose of the overseer is to c…

  4. Proche Contexte plus large Cité par cet article
    Optimal Online Discrepancy Minimization
    Janardhan Kulkarni, Victor Reis, T. Rothvoss · 2023 · Symposium on the Theory of Computing · cité 31 fois · Pas encore résumé

    Optimal Online Discrepancy Minimization équilibre en ligne des sommes préfixes de vecteurs, tandis que cet article contrôle la discrépance préfixe par amincissement de deux échantillons.

    Résumé scientifique

    We prove that there exists an online algorithm that for any sequence of vectors v1,…,vT ∈ ℝn with ||vi||2 ≤ 1, arriving one at a time, decides random signs x1,…,xT ∈ { −1,1} so that for every t ≤ T, the prefix sum ∑i=1t xivi is 10-subgaussian. This improves over the work of Alweiss, Liu and Sawhney who kept prefix sums O(√log(nT))-subgaussian, and gives a O(√logT) bound on the discrepancy maxt ∈ T ||∑i=1t xi vi||∞. Our proof combines a generalization of Banaszczyk’s prefix balancing result to trees with a cloning argument to find distributions rather than single colorings. We also show a matching Ω(√logT) strategy for an oblivious adversary.

  5. Proche Base de cet article Cité par cet article Utilisé en profondeur par cet article
    Tight Bounds for Tusn\'ady's Problem in the Plane
    Zhe-Wei Wei · 2026 · cité 2 fois · Pas encore résumé

    Tight Bounds for Tusndy's Problem in the Plane prouve la borne inférieure en dimension deux que l'article étend à toute dimension fixe.

    Résumé scientifique

    We show that the worst-case combinatorial discrepancy of $n$ points in the plane with respect to axis-parallel rectangles is $\Theta(\log^{3/2}n)$. The known bounds were $\Omega(\log n)$ and $O(\log^{3/2}n)$; we prove the matching lower bound. It holds for random point sets: for every $A>0$, there is a constant $c_A>0$ such that, with probability at least $1-e^{-An}$, every coloring of $n$ independent uniform points in the unit square has an anchored rectangle with imbalance at least $c_A(\log_2n)^{3/2}$. The proof is surprisingly simple and elementary. It reveals one coordinate digit by digit. With overwhelming probability over the points, the conditional gains of an oscillation potential a…

  6. Proche Contexte plus large Cité par cet article
    Tusnády's problem, the transference principle, and non-uniform QMC sampling
    C. Aistleitner, D. Bilyk, Aleksandar Nikolov · 2016 · arXiv.org · preprint, non relu par les pairs · cité 27 fois · Pas encore résumé

    Tusndy's problem, the transference principle, and non-uniform QMC sampling traite de discrépance de points pour des mesures générales, plutôt que d'amincissement en ligne.

    Résumé scientifique

    It is well-known that for every \(N \ge 1\) and \(d \ge 1\) there exist point sets \(x_1, \dots , x_N \in [0,1]^d\) whose discrepancy with respect to the Lebesgue measure is of order at most \((\log N)^{d-1} N^{-1}\). In a more general setting, the first author proved together with Josef Dick that for any normalized measure \(\mu \) on \([0,1]^d\) there exist points \(x_1, \dots , x_N\) whose discrepancy with respect to \(\mu \) is of order at most \((\log N)^{(3d+1)/2} N^{-1}\). The proof used methods from combinatorial mathematics, and in particular a result of Banaszczyk on balancings of vectors. In the present note we use a version of the so-called transference principle together with re…

  7. Proche Contexte plus large
    Discrepancy theory, Tverberg's theorem, and regression depth
    A. Lopez, Pablo Soberón · 2026 · Pas encore résumé

    Discrepancy theory, Tverberg's theorem, and regression depth relie la discrépance à des partitions robustes et à la profondeur de régression, non aux boîtes ni à l'amincissement.

    Résumé scientifique

    We prove new bounds for Tverberg's theorem with tolerance. We show that $N = rt+\Theta_{d,r}(t^{1/2-1/(2d)})$, where $N$ is the smallest number such that any set of $N$ points in $\mathbb{R}^d$ has a partition into $r$ parts such that the convex hulls of the parts intersect even if we remove any $t$ of the points. We extend Tverberg's theorem with tolerance to families of hyperplanes in $\mathbb{R}^d$, and show that for any set of $rt + O_{d,r}(t^{1/2-1/(2d)}\sqrt{\log (t+1)})$ hyperplanes in $\mathbb{R}^d$ there exists a partition of them into $r$ parts such that the regression hulls of the parts intersect even if any $t$ hyperplanes are removed. Our bounds follow from establishing a connec…

  8. Proche Contexte plus large Cité par cet article
    Tighter Bounds for the Discrepancy of Boxes and Polytopes
    Aleksandar Nikolov · 2017 · arXiv.org · preprint, non relu par les pairs · cité 32 fois · Pas encore résumé

    Tighter Bounds for the Discrepancy of Boxes and Polytopes étudie la minimisation combinatoire de discrépance pour des boîtes et des polytopes.

    Résumé scientifique

    Combinatorial discrepancy is a complexity measure of a collection of sets which quantifies how well the sets in the collection can be simultaneously balanced. More precisely, we are given an n-point set $P$, and a collection $\mathcal{F} = \{F_1, ..., F_m\}$ of subsets of $P$, and our goal is color $P$ with two colors, red and blue, so that the largest absolute difference between the number of red elements and the number of blue elements (i.e. the discrepancy) in any $F_i$ is minimized. Combinatorial discrepancy has many applications in mathematics and computer science, including constructions of uniformly distributed point sets, and lower bounds for data structures and private data analysis…

Les travaux antérieurs sur lesquels il s’appuie

  1. Apparenté* Base de cet article Utilisé en profondeur par cet article
    Surveys in Combinatorics, 1989: On the method of bounded differences
    C. McDiarmid · 1989 · cité 2 247 fois · Pas encore résumé

    Surveys in Combinatorics, 1989: On the method of bounded differences est cité comme fondement méthodologique, mais son résumé ne précise pas davantage son objet.

  2. Apparenté Contexte plus large
    Discrepancy minimization via a self-balancing walk
    Ryan Alweiss, Yang P. Liu, Mehtaab Sawhney · 2020 · Symposium on the Theory of Computing · cité 87 fois · Pas encore résumé

    Discrepancy minimization via a self-balancing walk analyse l'équilibrage de vecteurs en ligne par un processus aléatoire, sans comparer deux échantillons.

    Résumé scientifique

    We study discrepancy minimization for vectors in ℝn under various settings. The main result is the analysis of a new simple random process in high dimensions through a comparison argument. As corollaries, we obtain bounds which are tight up to logarithmic factors for online vector balancing against oblivious adversaries, resolving several questions posed by Bansal, Jiang, Singla, and Sinha (STOC 2020), as well as a linear time algorithm for logarithmic bounds for the Komlós conjecture.

  3. Apparenté Contexte plus large Utilisé en profondeur par cet article
    Discrepancy and Fisher information
    Gleb Smirnov, Roman Vershynin · 2026 · cité 6 fois · Pas encore résumé

    Discrepancy and Fisher information garde une marche aléatoire dans un corps convexe en supprimant des pas, plutôt que des observations de deux échantillons.

    Résumé scientifique

    We give an online algorithm that keeps a symmetric random walk inside a convex body by discarding some of its steps. The expected number of discarded steps is controlled by a Fisher-information-type quantity associated with the body. For the cube, this gives a dimension-free bound: a walk with unit Euclidean steps can be kept bounded in all coordinates while discarding only a small constant fraction of the steps on average.

  4. Apparenté Même question
    Regularizing Random Points by Deleting a Few
    D. Bilyk, Stefan Steinerberger · 2025 · Journal of Geometric Analysis · cité 4 fois · Pas encore résumé

    Regularizing Random Points by Deleting a Few étudie la réduction de la discrépance de points uniformes unidimensionnels par suppression d'une partie des points.

    Résumé scientifique

    It is well understood that if one is given a set X⊂[0,1]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$X \subset [0,1]$$\end{document} of n independent uniformly distributed random variables, then sup0≤x≤1#X∩[0,x]#X-x≲lognnwithhighprobability.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} \sup _{0 \le x \le 1} \left|…

  5. Apparenté Base de cet article Utilisé en profondeur par cet article
    A Gaussian small deviation inequality for convex functions
    G. Paouris, P. Valettas · 2016 · arXiv: Probability · preprint, non relu par les pairs · cité 42 fois · Pas encore résumé

    A Gaussian small deviation inequality for convex functions établit des bornes de petites déviations gaussiennes, outil utilisé ici pour les bornes inférieures.

    Résumé scientifique

    Let $Z$ be an $n$-dimensional Gaussian vector and let $f: \mathbb R^n \to \mathbb R$ be a convex function. We show that: $$\mathbb P \left( f(Z) \leq \mathbb E f(Z) -t\sqrt{ {\rm Var} f(Z)} \right) \leq \exp(-ct^2),$$ for all $t>1$, where $c>0$ is an absolute constant. As an application we derive variance-sensitive small ball probabilities for Gaussian processes.

Comment ces articles sont-ils trouvés ?

Nous comparons le titre et le résumé de cet article avec ceux de tous les articles résumés sur ce site, et avec les articles que Semantic Scholar recommande, ceux qu’il cite et ceux qui le citent (pour un article très cité, ses citations les plus récentes et, depuis OpenAlex, les plus citées). Parmi les travaux antérieurs et les suites, les articles qui s’utilisent en profondeur, une méthode qu’il utilise et les suites très citées remontent un peu. Les niveaux (très proche, proche, apparenté) viennent de la similarité des textes, pas d’un jugement de qualité ; * signale un article sans résumé, comparé par son titre. La phrase sous un article est écrite par une IA à partir des deux résumés : vérifiez-la dans les articles. Un article jugé hors sujet par trois lecteurs quitte la liste.

Mis à jour le 9 novembre 2026.

Avertissement : Notre outil de synthèse basé sur l'IA et l'assistant virtuel fournis sur ce site Web peuvent ne pas toujours fournir des résumés complets ou des réponses exactes. Nous vous encourageons à examiner attentivement et à évaluer le contenu généré pour vous assurer de sa qualité et de sa pertinence par rapport à vos besoins.