arXiv Science⌕ Search

arXiv subjects

Juyoung Lee

Publications and source records attributed to Juyoung Lee.

17 recordsLinked to original sources
arXiv2026

Two-parameter variational estimates for averages over tori

One-parameter variational inequalities are well developed, whereas their multi-parameter counterparts remain much less understood. We explore two-parameter variational inequalities for averages over tori in $\mathbb{R}^3$. To capture the underlying two-parameter structure, we introduce a local two-parameter $r$-variation norm that combines rectangular increments with variations along the boundary. The resulting variation operator pointwise dominates the corresponding two-parameter local maximal function and, unlike the maximal function, also captures oscillation across the two parameters. We establish sharp $L^p$--$L^q$ bounds for this variation operator up to endpoints. For comparison, we also obtain sharp $L^p$ bounds up to endpoints for the corresponding local one-parameter variation operator, revealing a genuine difference between the one- and two-parameter boundedness regions. The proof combines square function estimates for two-parameter propagators with local smoothing estimates through mixed-norm interpolation.

math.CA↗
arXiv2026

Beyond "Made with AI": Visualizing Provenance Density to Mitigate the Transparency Penalty

As generative AI makes polished prose cheap to produce, users can no longer rely on fluency as a proxy for truth. We call this failure mode the Fluency Trap: users trust fluent hallucinations while also discounting accurate content once it is disclosed as AI-generated. Binary ``Made with AI'' labels respond with authorship disclosure, but they do not show what supports a claim. We propose Provenance Density, an evidence-visualization interface that shows the density of verified claims in a text. In a user study with 81 participants, an idealized Provenance Density interface produced a large discernment gap between truth and fabrication ($+4.15$ points, $d=1.82$), whereas participants given no signal showed no detectable discrimination. A technical audit with 200 samples shows that retrieval density alone is insufficient; unexpectedly, the Consistency Veto carries most of the discriminative signal on dynamic queries. As AI-generated content becomes indistinguishable from human writing, effective transparency must move from authorship disclosure toward evidence visualization.

cs.AI↗
arXiv2026

Directional maximal operators in the plane

This monograph investigates the Lebesgue boundedness of planar directional maximal operators $D_Ω$. These are maximal averages of functions over line segments in $\mathbb R^2$ whose slopes lie in a specified set $Ω\subseteq\mathbb R$. A large body of work has identified a geometric property of $Ω$, called finite-order lacunarity, as a key factor in ensuring that $D_Ω$ is Lebesgue bounded. While several variations of this notion exist, they all centre on the distribution of gaps in $Ω$. Building on earlier work, an article of Bateman(2009) asserted a dichotomy for such operators. Namely, $D_Ω$ is bounded on $L^p$ for all $p\in (1,\infty)$ precisely when the slope set $Ω$ is finite-order lacunary, or equivalently, when $Ω$ does not admit Kakeya-type sets. Conversely, sublacunary direction sets $Ω$ admit Kakeya-like phenomena, implying that $D_Ω$ is unbounded on $L^p$ for all $p\in [1,\infty)$. Recent work of Hagelstein, Radillo-Murguia, and Stokolos(2024) identified a gap in the proof of this assertion and produced counterexamples for which the separation mechanism underlying that proof fails, demonstrating the need for a corrected framework. We establish the corrected characterization by introducing a new notion of admissible finite-order lacunarity that faithfully reflects the combinatorial structure of the direction set. This leads to a tree-theoretic characterization in terms of finite splitting number and provides the foundation for new geometric and probabilistic constructions establishing the equivalence between finite-order lacunarity, the absence of Kakeya-type sets, and the boundedness of directional maximal operators. The resulting framework not only resolves the gap in the earlier proof, but also identifies admissible finite-order lacunarity as the structural invariant governing these phenomena.

math.CA↗
arXiv2026

Maximal averages and non-transversality

We investigate the $L^p$ mapping properties of maximal functions associated with analytic hypersurfaces in $\mathbb R^d$, with a particular emphasis on the role of transversality. Around points that are not transversal, we show that the associated maximal function is bounded on $L^p(\mathbb R^d)$ for all $p>2$, regardless of the decay of the Fourier transform of surface measures. In contrast, away from non-transversal points, we prove that $L^p$ bounds for the maximal operator imply that the Fourier transform of the surface measure decays at rate $1/q$ for $q>p$. Combining these two regimes, we demonstrate that the conjecture of Stein and Iosevich-Sawyer on maximal functions could be re-formulated, in the analytic setting, by restricting attention to transversal points. Moreover, our result completely settles the refined form of the conjecture for certain cases.

math.CA↗
arXiv2025

Fair Generation without Unfair Distortions: Debiasing Text-to-Image Generation with Entanglement-Free Attention

Recent advancements in diffusion-based text-to-image (T2I) models have enabled the generation of high-quality and photorealistic images from text. However, they often exhibit societal biases related to gender, race, and socioeconomic status, thereby potentially reinforcing harmful stereotypes and shaping public perception in unintended ways. While existing bias mitigation methods demonstrate effectiveness, they often encounter attribute entanglement, where adjustments to attributes relevant to the bias (i.e., target attributes) unintentionally alter attributes unassociated with the bias (i.e., non-target attributes), causing undesirable distribution shifts. To address this challenge, we introduce Entanglement-Free Attention (EFA), a method that accurately incorporates target attributes (e.g., White, Black, and Asian) while preserving non-target attributes (e.g., background) during bias mitigation. At inference time, EFA randomly samples a target attribute with equal probability and adjusts the cross-attention in selected layers to incorporate the sampled attribute, achieving a fair distribution of target attributes. Extensive experiments demonstrate that EFA outperforms existing methods in mitigating bias while preserving non-target attributes, thereby maintaining the original model's output distribution and generative capacity.

cs.CV↗
arXiv2024

The elliptic maximal function

We study the elliptic maximal functions defined by averages over ellipses and rotated ellipses which are multi-parametric variants of the circular maximal function. We prove that those maximal functions are bounded on $L^p$ for some $p\neq \infty$. For this purpose, we obtain some sharp multi-parameter local smoothing estimates.

math.CA↗
arXiv2024

Enhancing Intrinsic Features for Debiasing via Investigating Class-Discerning Common Attributes in Bias-Contrastive Pair

In the image classification task, deep neural networks frequently rely on bias attributes that are spuriously correlated with a target class in the presence of dataset bias, resulting in degraded performance when applied to data without bias attributes. The task of debiasing aims to compel classifiers to learn intrinsic attributes that inherently define a target class rather than focusing on bias attributes. While recent approaches mainly focus on emphasizing the learning of data samples without bias attributes (i.e., bias-conflicting samples) compared to samples with bias attributes (i.e., bias-aligned samples), they fall short of directly guiding models where to focus for learning intrinsic features. To address this limitation, this paper proposes a method that provides the model with explicit spatial guidance that indicates the region of intrinsic features. We first identify the intrinsic features by investigating the class-discerning common features between a bias-aligned (BA) sample and a bias-conflicting (BC) sample (i.e., bias-contrastive pair). Next, we enhance the intrinsic features in the BA sample that are relatively under-exploited for prediction compared to the BC sample. To construct the bias-contrastive pair without using bias information, we introduce a bias-negative score that distinguishes BC samples from BA samples employing a biased model. The experiments demonstrate that our method achieves state-of-the-art performance on synthetic and real-world datasets with various levels of bias severity.

cs.CV↗
arXiv2023

The critical weighted inequalities of the spherical maximal function

Weighted inequality on the Hardy-Littlewood maximal function is completely understood while it is not well understood for the spherical maximal function. For the power weight $|x|^α$, it is known that the spherical maximal operator on $\mathbb{R}^d$ is bounded on $L^p(|x|^α)$ only if $1-d\leq α<(d-1)(p-1)-d$ and under this condition, it is known to be bounded except $α=1-d$. In this paper, we prove the case of the critical order, $α=1-d$.

math.CA↗
arXiv2023

Improving Evaluation of Debiasing in Image Classification

Image classifiers often rely overly on peripheral attributes that have a strong correlation with the target class (i.e., dataset bias) when making predictions. Due to the dataset bias, the model correctly classifies data samples including bias attributes (i.e., bias-aligned samples) while failing to correctly predict those without bias attributes (i.e., bias-conflicting samples). Recently, a myriad of studies focus on mitigating such dataset bias, the task of which is referred to as debiasing. However, our comprehensive study indicates several issues need to be improved when conducting evaluation of debiasing in image classification. First, most of the previous studies do not specify how they select their hyper-parameters and model checkpoints (i.e., tuning criterion). Second, the debiasing studies until now evaluated their proposed methods on datasets with excessively high bias-severities, showing degraded performance on datasets with low bias severity. Third, the debiasing studies do not share consistent experimental settings (e.g., datasets and neural networks) which need to be standardized for fair comparisons. Based on such issues, this paper 1) proposes an evaluation metric `Align-Conflict (AC) score' for the tuning criterion, 2) includes experimental settings with low bias severity and shows that they are yet to be explored, and 3) unifies the standardized experimental settings to promote fair comparisons between debiasing methods. We believe that our findings and lessons inspire future researchers in debiasing to further push state-of-the-art performances with fair comparisons.

cs.CV↗
arXiv2022

Revisiting the Importance of Amplifying Bias for Debiasing

In image classification, "debiasing" aims to train a classifier to be less susceptible to dataset bias, the strong correlation between peripheral attributes of data samples and a target class. For example, even if the frog class in the dataset mainly consists of frog images with a swamp background (i.e., bias-aligned samples), a debiased classifier should be able to correctly classify a frog at a beach (i.e., bias-conflicting samples). Recent debiasing approaches commonly use two components for debiasing, a biased model $f_B$ and a debiased model $f_D$. $f_B$ is trained to focus on bias-aligned samples (i.e., overfitted to the bias) while $f_D$ is mainly trained with bias-conflicting samples by concentrating on samples which $f_B$ fails to learn, leading $f_D$ to be less susceptible to the dataset bias. While the state-of-the-art debiasing techniques have aimed to better train $f_D$, we focus on training $f_B$, an overlooked component until now. Our empirical analysis reveals that removing the bias-conflicting samples from the training set for $f_B$ is important for improving the debiasing performance of $f_D$. This is due to the fact that the bias-conflicting samples work as noisy samples for amplifying the bias for $f_B$ since those samples do not include the bias attribute. To this end, we propose a simple yet effective data sample selection method which removes the bias-conflicting samples to construct a bias-amplified dataset for training $f_B$. Our data sample selection method can be directly applied to existing reweighting-based debiasing approaches, obtaining consistent performance boost and achieving the state-of-the-art performance on both synthetic and real-world datasets.

cs.CV↗
arXiv2022

$L^p$ maximal bound and Sobolev regularity of two-parameter averages over tori

We investigate $L^p$ boundedness of the maximal function defined by the averaging operator $f\to \mathcal{A}_t^s f$ over the two-parameter family of tori $\mathbb{T}_t^{s}:=\{ ( (t+s\cosθ)\cosϕ,\,(t+s\cosθ)\sinϕ,\, s\sinθ): θ, ϕ\in [0,2π) \}$ with $c_0t>s>0$ for some $c_0\in (0,1)$. We prove that the associated (two-parameter) maximal function is bounded on $L^p$ if and only if $p>2$. We also obtain $L^p$--$L^q$ estimates for the local maximal operator on a sharp range of $p,q$. Furthermore, the sharp smoothing estimates are proved including the sharp local smoothing estimates for the operators $f\to \mathcal A_t^s f$ and $f\to \mathcal A_t^{c_0t} f$. For the purpose, we make use of Bourgain--Demeter's decoupling inequality for the cone and Guth--Wang--Zhang's local smoothing estimates for the $2$ dimensional wave operator.

math.CA↗
arXiv2021

Learning Debiased Representation via Disentangled Feature Augmentation

Image classification models tend to make decisions based on peripheral attributes of data items that have strong correlation with a target variable (i.e., dataset bias). These biased models suffer from the poor generalization capability when evaluated on unbiased datasets. Existing approaches for debiasing often identify and emphasize those samples with no such correlation (i.e., bias-conflicting) without defining the bias type in advance. However, such bias-conflicting samples are significantly scarce in biased datasets, limiting the debiasing capability of these approaches. This paper first presents an empirical analysis revealing that training with "diverse" bias-conflicting samples beyond a given training set is crucial for debiasing as well as the generalization capability. Based on this observation, we propose a novel feature-level data augmentation technique in order to synthesize diverse bias-conflicting samples. To this end, our method learns the disentangled representation of (1) the intrinsic attributes (i.e., those inherently defining a certain class) and (2) bias attributes (i.e., peripheral attributes causing the bias), from a large number of bias-aligned samples, the bias attributes of which have strong correlation with the target variable. Using the disentangled representation, we synthesize bias-conflicting samples that contain the diverse intrinsic attributes of bias-aligned samples by swapping their latent features. By utilizing these diversified bias-conflicting features during the training, our approach achieves superior classification accuracy and debiasing results against the existing baselines on synthetic and real-world datasets.

cs.LG↗
arXiv2021

$L^p-L^q$ estimates for the circular maximal operators on Heisenberg radial functions

$L^p$ boundedness of the circular maximal function $\mathcal M_{\mathbb{H}^1}$ on the Heisenberg group $\mathbb{H}^1$ has received considerable attentions. While the problem still remains open, $L^p$ boundedness of $\mathcal M_{\mathbb{H}^1}$ on Heisenberg radial functions was recently shown for $p>2$ by Beltran, Guo, Hickman, and Seeger [2]. In this paper we extend their result considering the local maximal operator $M_{\mathbb{H}^1}$ which is defined by taking supremum over $1<t<2$. We prove $L^p-L^q$ estimates for $M_{\mathbb{H}^1}$ on Heisenberg radial functions on the optimal range of $p,q$ modulo the borderline cases. Our argument also provides a simpler proof of the aforementioned result due to Beltran et al.

math.CA↗
arXiv2019

k-Space Deep Learning for Reference-free EPI Ghost Correction

Nyquist ghost artifacts in EPI are originated from phase mismatch between the even and odd echoes. However, conventional correction methods using reference scans often produce erroneous results especially in high-field MRI due to the non-linear and time-varying local magnetic field changes. Recently, it was shown that the problem of ghost correction can be reformulated as k-space interpolation problem that can be solved using structured low-rank Hankel matrix approaches. Another recent work showed that data driven Hankel matrix decomposition can be reformulated to exhibit similar structures as deep convolutional neural network. By synergistically combining these findings, we propose a k-space deep learning approach that immediately corrects the phase mismatch without a reference scan in both accelerated and non-accelerated EPI acquisitions. To take advantage of the even and odd-phase directional redundancy, the k-space data is divided into two channels configured with even and odd phase encodings. The redundancies between coils are also exploited by stacking the multi-coil k-space data into additional input channels. Then, our k-space ghost correction network is trained to learn the interpolation kernel to estimate the missing virtual k-space data. For the accelerated EPI data, the same neural network is trained to directly estimate the interpolation kernels for missing k-space data from both ghost and subsampling. Reconstruction results using 3T and 7T in-vivo data showed that the proposed method outperformed the image quality compared to the existing methods, and the computing time is much faster.The proposed k-space deep learning for EPI ghost correction is highly robust and fast, and can be combined with acceleration, so that it can be used as a promising correction tool for high-field MRI without changing the current acquisition protocol.

cs.CV↗
arXiv2019

Restriction estimates to complex hypersurfaces

The restriction problem is better understood for hypersurfaces and recent progresses have been made by bilinear and multilinear approaches and most recently polynomial partitioning method which is combined with those estimates. However, for surfaces with codimension bigger than 1, bilinear and multilinear generalization of restriction estimates are more involved and effectiveness of these multilinear estimates is not so well understood yet. Regarding the restriction problem for the surfaces with codimensions bigger than 1, the current state of the art is still at the level of $TT^*$ method which is known to be useful for obtaining $L^q$--$L^2$ restriction estimates. In this paper, we consider a special type of codimension 2 surfaces which are given by graphs of complex analytic functions and attempt to make progress beyond the $L^2$ restriction estimates.

math.CA↗
arXiv2017

Finite subgraphs of an extension graph

Let $Γ$ be a finite graph and let $Γ^{\mathrm{e}}$ be its extension graph. We inductively define a sequence $\{Γ_i\}$ of finite induced subgraphs of $Γ^{\mathrm{e}}$ through successive applications of an operation called "doubling along a star". Then we show that every finite induced subgraph of $Γ^{\mathrm{e}}$ is isomorphic to an induced subgraph of some $Γ_i$.

math.GR↗