Next Article in Journal
Effect of Magnetic Field Inclination on Radiative MHD Casson Fluid Flow over a Tilted Plate in a Porous Medium Using a Caputo Fractional Model
Previous Article in Journal
Analysis of Piecewise Terminal Fractional System: Theory and Application to TB Treatment Model with Drug Resistance Development
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

New Frontiers of Fractal Uncertainty

by
Saeed Hashemi Sababe
1,* and
Ismail Nikoufar
2,*
1
Data Premier Analytics, Edmonton, AB T8H-0L6, Canada
2
Department of Mathematics, Payame Noor University, Tehran 19395-4697, Iran
*
Authors to whom correspondence should be addressed.
Fractal Fract. 2025, 9(12), 808; https://doi.org/10.3390/fractalfract9120808
Submission received: 5 October 2025 / Revised: 6 November 2025 / Accepted: 26 November 2025 / Published: 9 December 2025

Abstract

We extend the classical fractal uncertainty principle (FUP) framework in time-frequency analysis by exploring several novel directions. First, we generalize the FUP beyond the classical Gaussian window by investigating non-Gaussian windows and the corresponding generalized Fock space techniques. Second, we develop uncertainty estimates in alternative joint representations, including the continuous wavelet transform and directional representations such as shearlets. Third, we study fractal uncertainty on random and anisotropic fractal sets, providing probabilistic and geometric refinements of the FUP. Fourth, we connect these results with semiclassical and microlocal analysis, thereby elucidating the role of fractal geometry in resonance theory and pseudodifferential operators. Finally, we extend the analysis beyond Gaussian Gabor multipliers by considering non-Gaussian generating functions and irregular lattice samplings. Our results yield new operator norm estimates and spectral properties, with potential applications in signal processing, quantum mechanics, and numerical analysis.

1. Introduction

Uncertainty principles are fundamental in harmonic analysis, signal processing, and quantum mechanics, providing intrinsic limits to the simultaneous concentration of a function and its Fourier transform. The fractal uncertainty principle (FUP) is a recently developed concept that asserts no function can be simultaneously concentrated near fractal sets in both time and frequency domains. In its original formulation, the FUP was introduced and refined in works such as [1,2] and further quantified in [3,4].
A key breakthrough was achieved by Knutsen [5], who established a version of the FUP for the short-time Fourier transform (STFT) with a Gaussian window. This result not only recovers classical uncertainty estimates but also connects the problem to the rich structure of Fock spaces through the Bargmann transform. The approach, relying on estimates for Daubechies’ time-frequency localization operators, provides explicit operator norm bounds when localizing on porous sets, such as Cantor-type sets, in phase space.
Despite these advancements, the literature indicates several open directions. The optimality of the Gaussian window stems from its unique properties (e.g., the reproducing kernel of Fock spaces). However, alternative window functions–such as compactly supported or exponentially decaying windows–offer flexibility in applications (see, e.g., [6]). Extending FUPs to non-Gaussian windows may necessitate developing generalized Fock space techniques.
While the STFT has been the primary tool for studying FUPs, other representations like the continuous wavelet transform [7] and directional representations (shearlets [8]) provide complementary perspectives. These representations naturally capture multiscale or anisotropic features, and a fractal uncertainty analysis in these settings could reveal new insights.
Most existing studies, including [4,5], focus on deterministic fractal sets such as Cantor sets. In many applications, however, fractal structures arise in a random or anisotropic manner [9]. Probabilistic models and anisotropic geometries may require new techniques for establishing uncertainty estimates.
The FUP is closely related to semiclassical analysis, where uncertainty principles help describe the distribution of resonances in quantum systems [10]. Bridging the gap between fractal geometry and microlocal spectral theory has the potential to advance both theoretical and applied aspects of the field.
Knutsen’s work translates the continuous FUP into the discrete setting via Gaussian Gabor multipliers. Exploring non-Gaussian generating functions or adaptive lattice schemes could lead to sharper spectral properties and more robust discretization schemes for practical applications.
In this manuscript, we address these issues by proposing several extensions to the classical FUP framework. Our contributions include developing a generalized FUP for non-Gaussian windows and deriving the corresponding operator norm estimates; establishing fractal uncertainty estimates in alternative joint representations, particularly the continuous wavelet transform and shearlet systems; investigating the FUP for random and anisotropic fractal sets, and providing probabilistic as well as geometric refinements; bridging connections between fractal uncertainty, semiclassical analysis, and microlocal techniques by studying pseudodifferential operators with fractal symbols and finally extending the analysis beyond the classical Gaussian Gabor multipliers by considering alternative generating functions and irregular lattice samplings.
We emphasize that while our bounds provide explicit positive exponents β under the stated porosity/covering hypotheses, these exponents are not claimed to be optimal: sharper exponents may be obtained in specific models by incorporating additional structure (e.g., additive-energy estimates or Fourier decay of canonical measures), and conversely there are constructions showing that no substantially better uniform bound depending only on box-counting data can be expected.
Our work builds on the framework established in [5,8,9,10] and incorporates methodologies from [11,12,13,14,15]. We refer readers for more details to [6,7,16,17]. We believe that these extensions not only provide deeper theoretical insights into the interplay between fractal geometry and time-frequency analysis but also have significant implications for practical applications in signal processing and quantum physics.
The remainder of the paper is organized as follows. Section 2 reviews the necessary background in time-frequency analysis, modulation spaces, and Fock spaces. Section 3, Section 4, Section 5, Section 6, Section 7 and Section 8 develop the new extensions, while Section 9 presents numerical experiments and potential applications. Finally, Section 10 concludes with a discussion of future research directions.

2. Preliminaries

In this section, we review the foundational concepts and results required in the subsequent sections. We begin with an overview of time-frequency analysis and modulation spaces, then introduce Fock spaces via the Bargmann transform, and finally discuss the geometric properties of fractal sets–most notably porosity and Cantor set constructions. We also recall the definitions of Daubechies’ localization operators and Gabor multipliers, which will be central to our analysis.
Let f L 2 ( R d ) and fix a nonzero window function φ L 2 ( R d ) . The short-time Fourier transform (STFT) of f with respect to φ is defined by
V φ f ( x , ω ) = R d f ( t ) φ ( t x ) ¯ e 2 π i ω · t d t , ( x , ω ) R 2 d .
This representation provides a joint time-frequency description of the signal. For a fixed window φ , the modulation space  M p ( R d ) , 1 p , is defined as
M p ( R d ) = { f S ( R d ) : f M p = V φ f L p ( R 2 d ) < } ,
where S ( R d ) denotes the space of tempered distributions. It is known that, if φ S ( R d ) , the definition is independent of the particular choice of φ [6].
The Bargmann transform provides an isometric isomorphism between L 2 ( R d ) and a space of entire functions. For f L 2 ( R d ) , the Bargmann transform is defined by
B f ( z ) = 2 d / 4 R d f ( t ) e 2 π t · z π t 2 π z 2 / 2 d t , z C d .
Its image is the Fock space
F 2 ( C d ) = F entire : F F 2 2 = C d | F ( z ) | 2 e π | z | 2 d A ( z ) < ,
where d A ( z ) denotes the Lebesgue measure on C d . Furthermore, when the Gaussian window
φ 0 ( x ) = 2 d / 4 e π x 2 , x R d ,
is used, the STFT and the Bargmann transform are related by the identity
V φ 0 f ( x , ω ) = e π i x · ω B f ( z ) e π | z | 2 / 2 , z = x + i ω ,
see, e.g., [5,18].
A key ingredient in fractal uncertainty principles is the notion of porosity.
Definition 1 
( ν -Porosity, [4,5]). Let 0 < ν < 1 and let R d be closed. We say that is  ν   -porous on scales α min to α max if for every ball B r ( x ) with radius r [ α min , α max ] , there exists a ball B ν r ( y ) B r ( x ) such that
B ν r ( y ) = .
An important example of porous sets is provided by Cantor sets. For a fixed integer M > 1 and a nonempty proper subset A { 0 , 1 , , M 1 } , the discrete Cantor set is defined by
C n ( M , A ) = j = 0 n 1 a j M j : a j A { 0 , 1 , , M n 1 } .
The corresponding continuous version on the interval [ 0 , L ] is given by
C n ( L , M , A ) = L M n C n ( M , A ) + 0 , L M n .
It is known that C n ( L , M , A ) is ν -porous on scales L M n + 1 to with any ν 1 2 M [5].
Definition 2. 
Let X R N ( N = 2 d ) be a bounded set. We say X is uniformly porous with porosity constant p ( 0 , 1 ) and scale r 0 > 0 if for every x X and every 0 < r r 0 there exists a point y R N such that
B ( y , p r ) B ( x , r ) X .
Lemma 1. 
Let X R N be uniformly porous with porosity constant p ( 0 , 1 ) and scale r 0 > 0 (Definition 2). Then there exist constants C p > 0 and an exponent
s = log 2 m N 1 m log 2 with m : = log 2 p ,
satisfying 0 s < N , such that for every 0 < r r 0 the minimal number N X ( r ) of cubes of side length r required to cover X satisfies
N X ( r ) C p r s .
In particular one may take C p = ( 2 m N 1 ) log ( 0 ) m log 2 , where 0 is any fixed reference side-length with 0 r 0 (e.g., the side of a bounding cube of X).
Proof. 
Fix a cube Q 0 of side length 0 r 0 containing X (we may for example take a dyadic cube that bounds X). We perform an iterative dyadic subdivision argument in steps of length scale factor 2 m , where
m : = log 2 p .
By definition of m we have 2 m p < 2 m + 1 . The reason for this choice is that the porosity hole of radius p r inside any ball of radius r can be located inside one of the subcubes after splitting a parent cube into 2 m N equal subcubes of side length / 2 m .
We now show by induction on scale that after k such 2 m -refinements the number of subcubes (of side 0 / 2 m k ) that intersect X is at most ( 2 m N 1 ) k .
Base case k = 0 : there is at most 1 = ( 2 m N 1 ) 0 occupied cube at scale 0 .
Inductive step: suppose at some scale we have M k ( 2 m N 1 ) k occupied cubes of side 0 / 2 m k . Consider one occupied cube Q at that scale with side = 0 / 2 m k . By the uniform porosity property applied with radius r = N / 2 (compare cube and inscribed ball scales) there exists a ball of radius p r contained in Q X . By our choice of m we have p r r / 2 m (up to harmless constant factors arising from comparing cube and ball). Consequently among the 2 m N children subcubes of Q obtained by subdividing Q into equal subcubes of side / 2 m at least one of these children is empty of X. Thus each previously occupied cube produces at most 2 m N 1 occupied children at the next refinement level.
It follows by induction that after k refinement steps the number of occupied subcubes of side length 0 / 2 m k is bounded by
M k ( 2 m N 1 ) k .
Now fix a target covering scale r with 0 < r r 0 . Choose k 0 minimal so that
0 2 m k r .
Then k log ( 0 / r ) m log 2 . The number N X ( r ) of side-r cubes needed to cover X can be bounded by M k up to an absolute multiplicative factor (to account for the fact that we cover by cubes of side r ); hence
N X ( r ) ( 2 m N 1 ) k ( 2 m N 1 ) log ( 0 / r ) m log 2 = C p r s ,
with
s = log ( 2 m N 1 ) m log 2 , C p = ( 2 m N 1 ) log 0 m log 2 .
Since 2 m N 1 < 2 m N we have s < N . This completes the proof. □
Lemma 2. 
Let L , M 2 , A [ 0 , L ] , and n N . Define C n ( L , M , A ) as in the main text. If ν ( 2 M ) 1 then C n ( L , M , A ) [ 0 , L ] is ν–porous on scales r L M n + 1 , i.e., for every x C n ( L , M , A ) and every r L M n + 1 there exists an interval I B ( x , r ) with | I | ν r and I C n ( L , M , A ) = . (The statement is trivial for r L since B ( x , r ) eventually contains [ 0 , L ] .)
Remark 1. 
For r L the conclusion is vacuous/trivial because B ( x , r ) [ 0 , L ] ; equivalently, the porosity is meaningful only for radii r L .
For clarity we distinguish two related local-density quantities used below.
Definition 3. 
Let C d and R > 0 . Denote by m the Lebesgue measure on R 2 d C d and by # ( · ) the counting (cardinality) measure on finite sets. We define
ρ vol ( , R ) : = sup z C d m B R ( z ) , ρ count ( , R ) : = sup z C d # B R ( z ) ,
where B R ( z ) is the Euclidean ball of radius R centered at z.
Remark 2. 
The quantity ρ vol ( , R ) measures local Lebesgue mass and therefore vanishes for Lebesgue-null fractal sets; the quantity ρ count ( , R ) is appropriate for discrete sets (e.g., lattices) and counts the maximal number of points in any ball of radius R. In the text we will indicate which version is used; if no subscript is present we mean ρ vol .
To quantify the density of a fractal set in phase space, we introduce the concept of maximal Nyquist density.
For a measurable set C d and a radius R > 0 , define
ρ ( , R ) = sup z C d | B R ( z ) | ,
where B R ( z ) is the ball of radius R centered at z.
Another key property we require is the sub-averaging property in Fock spaces. The following lemma, which can be found in [5,18], is essential for our analysis.
Lemma 3. 
For any entire function F F p ( C d ) and any point z C d , there exists a constant C d > 0 (depending only on the dimension) such that for any R > 0
| F ( z ) | p e p π | z | 2 C d | B R ( 0 ) | B R ( z ) | F ( ξ ) | p e p π | ξ | 2 d A ( ξ ) .
Daubechies’ time-frequency localization operator provides a continuous model for measuring the concentration of a signal on a subset R 2 d . For a bounded symbol S : R 2 d C , the operator is defined by
P φ S f = R 2 d S ( x , ω ) V φ f ( x , ω ) M ω T x φ d x d ω ,
where T x and M ω denote translation and modulation operators, respectively.
A discrete analogue is provided by Gabor multipliers. Given a lattice Λ R 2 d and a bounded symbol b : Λ C , the Gabor multiplier is defined as
G φ , Λ , b f = | D Λ | λ Λ b ( λ ) f , π ( λ ) φ π ( λ ) φ ,
where π ( λ ) = M ω T x for λ = ( x , ω ) and | D Λ | denotes the volume of the fundamental domain of Λ (see [19]).
Remark 3. 
In the definition
G φ , Λ , b f = | D Λ | λ Λ b ( λ ) f , π ( λ ) φ π ( λ ) φ ,
the factor | D Λ | denotes the cell volume of the lattice Λ = D Λ Z 2 d . This convention matches the normalization of the continuous localization operator
L φ , b f = R 2 d b ( z ) V φ f ( z ) π ( z ) φ d z ,
so that the Riemann-sum approximation R 2 d ( · ) d z | D Λ | λ Λ ( · ) holds as the lattice becomes dense. Under this convention the case b 1 yields G φ , Λ , 1 = S φ , Λ , the usual Gabor frame operator, which equals the identity when { π ( λ ) φ } λ Λ forms a Parseval frame. (Some references omit or invert this factor depending on the STFT normalization; our choice ensures consistency between the discrete and continuous operators.)
These operators, and their corresponding norm estimates, play a central role in the fractal uncertainty principle framework we develop later.
The definitions and results presented in this section–drawn from [4,5,6,18,19]—form the bedrock for the new extensions explored in this paper.

3. Generalized Bargmann Transform and RKHS—Admissible Windows

In this section we give a self-contained, rigorous formulation and the minimal standing hypothesis we shall use throughout the paper. The presentation below follows standard constructions for the short-time Fourier transform (STFT) and its range; see for instance [6,20,21] for related discussions.
We introduce a pair of checkable concentration conditions, state the FUP under these hypotheses, and record simple lemmas showing that the usual window classes (Gaussian, Schwartz, and compactly supported C m windows) meet one of the conditions below.
Definition 4 
(Window concentration hypotheses). Let g L 2 ( R d ) be an analysing window and let T h denote the associated semiclassical transform (Bargmann/STFT/wavelet normalization as in the paper). Write K h ( z ) for the kernel (or the auto-transform kernel) associated to g in the transform domain. We consider two types of concentration hypotheses:
(W1) 
(Exponential-type tail) There exist constants A > 0 , c > 0 and p 1 such that for all h ( 0 , h 0 ] and all z R 2 d ,
| K h ( z ) | A exp c | z | p h p .
(W2) 
(Polynomial-type tail) There exist constants A > 0 and M > 2 d such that for all h ( 0 , h 0 ] and all z R 2 d ,
| K h ( z ) | A 1 + | z | h M .
We call a window g admissible of exponential type (resp. polynomial type of order M) if it satisfies (W1) (resp. (W2)) for some constants as above. The constants ( A , c , p ) or ( A , M ) are referred to below as the window concentration parameters.
Theorem 1 
(FUP for non-Gaussian windows under explicit concentration). Let X , Y R d satisfy the covering/porosity hypotheses of Section 2 and Section 3 with exponents s X , s Y and gap ε > 0 (so s X + s Y 2 d ε ). Suppose the analysing window g satisfies either (W1) with parameters ( A , c , p ) or (W2) with parameters ( A , M ) . Then there exist constants C > 0 and β > 0 (depending only on the porosity data and on the window concentration parameters) such that for all sufficiently small h > 0 ,
1 X T h 1 Y L 2 L 2 C h β .
Moreover:
i. 
If g satisfies (W1) with exponent p > 0 , one may take a mesoscopic radius r ( h ) = h ( log ( 1 / h ) ) 1 / p (or r ( h ) = h when p > 1 ) in the Schur/interpolation argument, and the resulting β may be chosen proportional to ε / 2 up to explicit polylogarithmic losses depending on p , c , A .
ii. 
If g satisfies (W2) with polynomial order M > 2 d , then choosing r ( h ) = h θ with θ ( 0 , 1 ) appropriately tuned against M and the porosity exponents produces an explicit β > 0 ; concretely one can take
β = ε 4 · θ 1 + θ with θ = M 2 d M + 2 d ,
so β is an explicit positive function of M and ε.
In all cases the prefactor C depends continuously on the window constants ( A , c , p ) or ( A , M ) and on the covering constant C cov used in the porosity hypothesis.
Proof. 
Cover X , Y at a mesoscopic scale r ( h ) , split near/tail contributions, bound the tail integrals using either exponential or polynomial integral estimates (see Lemma 6 for the exponential case), and optimize the choice of r ( h ) to balance combinatorial covering factors with kernel tails. The explicit choices of r ( h ) above are those that equate the dominant near-term power of r ( h ) with the leading tail term; this yields the stated explicit dependence of β on the window parameters. The detailed constants are the same bookkeeping as in the isotropic Gaussian case but with the exponential or polynomial tail integrals replaced accordingly. □
Lemma 4 
(Common windows satisfy the concentration hypotheses). With notation as above,
1. 
If g S ( R d ) (a Schwartz function) then g is admissible of polynomial type for every order M > 0 (indeed K h decays faster than any power of | z | / h ) and in fact satisfies an exponential-type bound of form (W1) for every p ( 0 , 2 ] after possibly adjusting constants (standard time–frequency estimates; see [6,22]).
2. 
If g C c m ( R d ) has compact support and m 2 d + 1 , then the associated kernel K h satisfies the polynomial tail bound (W2) with M = m d (up to constants depending on finitely many derivatives of g). In particular any compactly supported C m window with sufficiently large m meets the polynomial hypothesis for some M > 2 d .
Proof. 
The statements in the lemma are standard consequences of Fourier transform integration by parts and time–frequency analysis. For Schwartz windows the STFT (or Bargmann kernel) inherits superpolynomial decay; see [6] for a systematic exposition. For compactly supported C m windows, integration by parts in the frequency variable yields polynomial decay of order controlled by m (again, see [6] or classical Fourier analysis texts such as [22]). The constants ( A , c , p ) or ( A , M ) can be expressed in terms of finitely many seminorms of g. □
From now on we assume the window ϕ L 2 ( R d ) satisfies the following property:
Assumption 1. 
The range
R ϕ : = { V ϕ f : f L 2 ( R d ) } L 2 ( R 2 d )
is a closed subspace of L 2 ( R 2 d ) (with Lebesgue measure) and point-evaluation on R ϕ is a bounded linear functional.
When this hypothesis holds, R ϕ is a reproducing-kernel Hilbert space (RKHS) with reproducing kernel K ϕ , and the basic reproducing/sub-averaging inequalities used below are valid. We call such ϕ  RKHS–admissible windows.
The assumption above is satisfied for a wide class of windows; in particular, any ϕ with ϕ 2 > 0 gives an isometric identification of L 2 ( R d ) with R ϕ via the STFT (up to the standard normalization). The boundedness of point-evaluations on R ϕ is then automatic (see Proposition 2 below). The literature contains alternative, slightly different hypotheses implying the RKHS structure; typical references are [6,20,21]. We adopt the succinct Standing Assumption above to keep the subsequent arguments concise and to make explicit what is required to justify the reproducing-kernel viewpoint used in the paper.
Fix an RKHS–admissible window ϕ L 2 ( R d ) . Recall the STFT
V ϕ f ( x , ω ) : = f , M ω T x ϕ L 2 ( R d ) , ( x , ω ) R 2 d ,
where T x denotes translation and M ω modulation.
We shall denote a generic point in phase space by z = ( x , ω ) R 2 d , and write π ( z ) = M ω T x for the time–frequency shift.
Example 1. 
We fix the short-time Fourier transform (STFT) normalization
V φ f ( x , ξ ) = R d f ( t ) φ ( t x ) ¯ e 2 π i ξ · t d t , π ( x , ξ ) f ( t ) = e 2 π i ξ · t f ( t x ) .
For any window φ L 2 ( R d ) , set
A ( R ) : = B ( 0 , R ) R 2 d | V φ φ ( u ) | 2 d u , ε ( R ) : = φ 2 4 A ( R ) .
(Recall u = ( x , ξ ) R 2 d and B ( 0 , R ) is the Euclidean ball in phase space.) We give three canonical classes of windows illustrating exponential and polynomial tails of | V φ φ | .
  • (a) Gaussian window (explicit formula, exponential tails). Let g ( t ) = 2 d / 4 e π | t | 2 (so g 2 = 1 ). Then the self-STFT is explicitly
| V g g ( u ) | = e π 2 | u | 2 | V g g ( u ) | 2 = e π | u | 2 , u R 2 d .
Hence, writing n : = 2 d ,
A ( R ) = | u | R e π | u | 2 d u = P n 2 , π R 2 , ε ( R ) = Q n 2 , π R 2 ,
where P ( a , x ) and Q ( a , x ) are the regularized lower/upper incomplete gamma functions, and in particular A ( R ) 1 and ε ( R ) 0 as R . The standard asymptotic gives
ε ( R ) = Q n 2 , π R 2 ( π R 2 ) n 2 1 Γ ( n 2 ) e π R 2 as R ,
so ε ( R ) enjoys Gaussian decay.
  • (b) Non-Gaussian with exponential decay (Schwartz window).  Let φ S ( R d ) be any non-Gaussian Schwartz function normalized by φ 2 = 1 . Then V φ φ S ( R 2 d ) , hence for some a > 0 and all u,
| V φ φ ( u ) | C e a | u | | V φ φ ( u ) | 2 C 2 e 2 a | u | .
Consequently,
ε ( R ) = | u | > R | V φ φ ( u ) | 2 d u C R e 2 a ρ ρ n 1 d ρ C e 2 a R ( 1 + R ) n 1 ,
with n = 2 d and constants depending only on a , d and finitely many Schwartz seminorms of φ. Thus ε ( R ) again decays exponentially in R (up to a polynomial prefactor).
  • (c) Compactly supported smooth window (polynomial tails).  Let φ C c k ( R d ) with k > d and φ 2 = 1 . Then by standard STFT estimates (integration by parts in the frequency variable and Peetre-type inequalities), for every 0 m k there exists C m such that
| V φ φ ( x , ξ ) | C m ( 1 + | x | + | ξ | ) m ( x , ξ ) R 2 d .
Picking m > n / 2 with n = 2 d gives the square-integrable bound | V φ φ ( u ) | 2 C m 2 ( 1 + | u | ) 2 m and hence
ε ( R ) | u | > R C m 2 ( 1 + | u | ) 2 m d u C m R 2 m n for all R 1 ,
where
C m = C m 2 | S n 1 | 2 m n .
Thus ε ( R ) has polynomial decay with an exponent that can be made arbitrarily large by increasing the smoothness k of φ.
In all three cases, Standing Assumption 1 holds with an explicit tail profile ε ( R ) : Gaussian and Schwartz windows yield exponential tails, while compactly supported C k windows yield polynomial tails whose rate is controlled by k.
Lemma 5. 
Let φ C c k ( R d ) with k N . Then for every integer 0 m k / 2 there exists a constant C m > 0 (depending on m , d and finitely many C k –seminorms of φ) such that for all ( x , ξ ) R 2 d ,
| V φ φ ( x , ξ ) | C m ( 1 + | x | + | ξ | ) m .
Proof. 
Write
V φ φ ( x , ξ ) = R d φ ( t ) φ ( t x ) ¯ e 2 π i ξ · t d t .
If supp φ B ( 0 , R ) , then φ ( t ) φ ( t x ) ¯ 0 whenever | x | > 2 R , hence V φ φ ( x , ξ ) = 0 for | x | > 2 R . Therefore, for any m 0 ,
| V φ φ ( x , ξ ) | C ( 1 + | x | ) m for all x R d ,
with C depending on φ 2 and R.
Let M N and use the identity
( 1 Δ t ) M e 2 π i ξ · t = ( 1 + 4 π 2 | ξ | 2 ) M e 2 π i ξ · t .
Integrating by parts M times gives
V φ φ ( x , ξ ) = ( 1 + 4 π 2 | ξ | 2 ) M R d ( 1 Δ t ) M φ ( t ) φ ( t x ) ¯ e 2 π i ξ · t d t .
Expanding ( 1 Δ t ) M shows the integrand is a finite linear combination of α φ ( t ) β φ ( t x ) ¯ with | α | + | β | 2 M . If 2 M k , all these derivatives are continuous and compactly supported on supp φ ( supp φ + x ) , whose measure is ≤C and is empty when | x | > 2 R . Hence
| V φ φ ( x , ξ ) | C M ( 1 + | ξ | ) 2 M 1 { | x | 2 R } .
Fix m k / 2 and choose M with 2 M m and 2 M k . Using
1 { | x | 2 R } C m ( 1 + | x | ) m and ( 1 + | ξ | ) 2 M ( 1 + | ξ | ) m
we obtain
| V φ φ ( x , ξ ) | C m ( 1 + | x | ) m ( 1 + | ξ | ) m C m ( 1 + | x | + | ξ | ) m .
This proves the claim. □
Assumption 2. 
Let T h be the integral operator on L 2 ( R d ) arising from the windowed transform used in this paper (e.g., the Bargmann/STFT kernel after the normal semiclassical scaling). Assume there exist constants A > 0 and c > 0 (depending only on the chosen window) and a family of kernels K h : R 2 d C such that for all h ( 0 , h 0 ] and all z R 2 d
| K h ( z ) | A exp c | z | / h .
Here | · | denotes the Euclidean norm on R 2 d . (The constants A , c are determined by the window; for a fixed Schwartz window these are finite and may be computed in principle.)
We keep the porosity/covering-number notation of Section 2. Fix measurable sets X , Y R d and suppose there are constants C cov > 0 and s X , s Y [ 0 , d ] so that for every scale r > 0 and every ball B of radius R the local covering numbers satisfy
N X B , r C cov R r s X , N Y B , r C cov R r s Y .
Assume furthermore the porosity gap
s X + s Y 2 d ε
for some ε > 0 (the same gap that appears in the deterministic statements).
The operator we need to estimate is T h X , Y : = 1 X T h 1 Y whose kernel (denoted by the same letter K h ( x , y ) by a slight abuse of notation) satisfies
| K h ( x , y ) | A exp c | ( x , y ) | / h .
Lemma 6. 
For every r > 0 and h ( 0 , h 0 ] there is a constant C d depending only on the spatial dimension d such that
| z | > r | K h ( z ) | d z C d A h d exp c 2 r / h .
Proof. 
Write the integral in polar coordinates in R 2 d and use the bound (1):
| z | > r | K h ( z ) | d z A r ρ 2 d 1 e c ρ / h d ρ .
The incomplete gamma estimate r ρ m e c ρ / h d ρ C m ( h / c ) m + 1 e c r / ( 2 h ) for r h (with C m depending only on m) yields the claimed bound with C d determined by m = 2 d 1 . □
We now perform the standard Schur-test decomposition and choose a mesoscopic radius r = r ( h ) to balance the combinatorial covering factor with the exponential tail.
Proposition 1. 
Under Assumption 2 and the covering-number hypotheses above, set
r ( h ) : = h log 1 h and L ( h ) : = log 1 h .
Then there exist constants C = C ( d , A , c , R , C cov ) and h 1 ( 0 , h 0 ] such that for all 0 < h h 1 the operator norm of T h X , Y satisfies
1 X T h 1 Y L 2 L 2 C h ε / 2 L ( h ) 2 d ( s X + s Y ) 2 .
In particular, up to an explicit polylogarithmic factor the operator norm decays with the positive power ε / 2 ; the prefactor C depends only on the window constants A , c , the covering constant C cov , the ambient radius R used in the local covering bounds, and the dimension d.
Proof. 
Apply the Schur test, it suffices to bound
I X ( h ) : = sup x Y | K h ( x , y ) | d y , I Y ( h ) : = sup y X | K h ( x , y ) | d x ,
since T h X , Y I X ( h ) I Y ( h ) .
Fix a ball B of radius R containing the region of interest (see the local covering hypothesis). Cover Y B by N Y ( r ( h ) ) C cov ( R / r ( h ) ) s Y balls of radius r ( h ) . For each covering ball B j we split the contribution to the integral into a near part (inside B j ) and a tail part (outside the Euclidean ball of radius r ( h ) around the kernel center). Using the bound
B j | K h ( x , y ) | d y sup z B j | K h ( x , z ) | · | B j | A · | B j |
and the volume | B j | r ( h ) d , the total near contribution is bounded by
( near ) N Y ( r ( h ) ) · A · C r ( h ) d C A R s Y r ( h ) d s Y ,
where C , C are constants depending only on d and C cov .
The tail contribution from each covering ball is estimated using Lemma 6. Summing over the N Y ( r ( h ) ) balls and applying the lemma gives
( tail ) N Y ( r ( h ) ) · C d A h d e c 2 r ( h ) / h C d A C cov R r ( h ) s Y h d e c 2 L ( h ) .
With the choice r ( h ) = h L ( h ) we have e c 2 L ( h ) = h c / 2 while the factor ( R / r ( h ) ) s Y = ( R / ( h L ( h ) ) ) s Y is polynomial in 1 / h and in L ( h ) . For small h the near contribution dominates the tail contribution in the present balance; hence
I X ( h ) C 1 A R s Y h L ( h ) d s Y + ( smaller tail term ) .
By symmetry, one obtains
I Y ( h ) C 1 A R s X h L ( h ) d s X + ( smaller tail term ) .
Combining and taking the square root (Schur) yields
T h X , Y C 2 A R ( s X + s Y ) / 2 h d s X + s Y 2 L ( h ) 2 d ( s X + s Y ) 2
for a constant C 2 depending on d and C cov . Using the porosity gap s X + s Y 2 d ε we deduce
d s X + s Y 2 ε 2 ,
which proves the claimed estimate (2) with the constant C = C 2 A R ( s X + s Y ) / 2 (and with the logarithmic factor made explicit). □
The displayed bound (2) makes explicit the dependence of the final operator norm on the window (through the constants A , c appearing in Assumption 2), on the covering constants C cov , on the local radius R entering the covering hypothesis, and on the dimension d. The main semiclassical decay exponent is ε / 2 ; the logarithmic factor is explicit and unavoidable in this simple mesoscopic choice r ( h ) = h log ( 1 / h ) , but it can be improved by a finer multi-scale decomposition at the cost of more cumbersome notation.
If one replaces the crude covering bound N ( · , r ) C cov ( R / r ) s by a stronger probabilistic or uniform porosity estimate (e.g., exponential concentration or a smaller effective exponent), the same computation produces correspondingly better powers of h (or removes the polylogarithmic loss).
Proposition 2. 
Let ϕ L 2 ( R d ) , ϕ 0 . Define R ϕ and equip it with the inner product
V ϕ f , V ϕ g R ϕ : = f , g L 2 ( R d ) .
Then R ϕ is a Hilbert space. Moreover, for every z R 2 d the point-evaluation functional E z : R ϕ C , E z ( F ) = F ( z ) , is bounded and the reproducing kernel is given by
K ϕ ( z , w ) = π ( w ) ϕ , π ( z ) ϕ L 2 ( R d ) .
In particular, for all F R ϕ and all z R 2 d we have the reproducing identity
F ( z ) = F , K ϕ ( · , z ) R ϕ .
Proof. 
By the standard Parseval (Moyal) identity for the STFT (see Proposition 3.3.1 in [6]) one has
V ϕ f L 2 ( R 2 d ) = ϕ L 2 ( R d ) f L 2 ( R d ) .
Thus the map f V ϕ f is a (scaled) isometry from L 2 ( R d ) onto R ϕ (with the inner product defined above), and R ϕ is complete.
For each fixed z R 2 d and each f L 2 ( R d ) ,
| V ϕ f ( z ) | = | f , π ( z ) ϕ | f L 2 ϕ L 2 = V ϕ f R ϕ ϕ L 2 ,
so E z is bounded and E z     ϕ L 2 . The Riesz representation theorem therefore yields the existence of K ϕ ( · , z ) R ϕ with
F ( z ) = F , K ϕ ( · , z ) R ϕ , F R ϕ .
Evaluating this identity on the special elements F ( · ) = V ϕ f ( · ) = f , π ( · ) ϕ and using the polarization identity gives the explicit Formula (3). □
Note the kernel may be written using the STFT of the window against itself:
K ϕ ( z , w ) = e 2 π i θ ( z , w ) V ϕ ϕ ( w z ) ,
for an explicit phase factor θ ( z , w ) determined by the composition law of time–frequency shifts. In particular, the modulus | K ϕ ( z , w ) | depends only on w z and not on the base point. This translation-invariance plays a central role in the sub-averaging estimates below.
Lemma 7. 
For ϕ L 2 ( R d ) and z R 2 d , denote K ϕ ( · , z ) as in Proposition 2. Then
K ϕ ( · , z ) L 2 ( R 2 d ) 2 = ϕ L 2 ( R d ) 4 ,
and, more generally, for any measurable set E R 2 d
E | K ϕ ( w , z ) | 2 d w = E z | V ϕ ϕ ( u ) | 2 d u .
Proof. 
Using (3) and the covariance of the STFT under time-frequency shifts one gets
| K ϕ ( w , z ) | = | π ( w ) ϕ , π ( z ) ϕ | = | π ( w z ) ϕ , ϕ | = | V ϕ ϕ ( w z ) | .
Hence, by translation invariance of Lebesgue measure,
R 2 d | K ϕ ( w , z ) | 2 d w = R 2 d | V ϕ ϕ ( u ) | 2 d u .
But by the Moyal identity applied to the pair ( ϕ , ϕ ) we have
R 2 d | V ϕ ϕ ( u ) | 2 d u = ϕ 2 4 ,
which proves the first identity. The second identity follows by the same change-of-variables argument restricted to E. □
Corollary 1. 
With the notation of Lemma 7, for any radius R > 0 and any z R 2 d ,
B ( z , R ) | K ϕ ( w , z ) | 2 d w = B ( 0 , R ) | V ϕ ϕ ( u ) | 2 d u = : A ( R ) .
In particular A ( R ) ϕ 2 4 as R .
Proof. 
Immediate from Lemma 7 and translation invariance. □
The classical mean-value/sub-averaging property in analytic function spaces has an analogue in the RKHS R ϕ . We state a version that isolates the dependence on the window ϕ and on a radius R > 0 ; the constants that appear are explicit and readily estimated in terms of V ϕ ϕ .
Lemma 8. 
Let ϕ L 2 ( R d ) , ϕ 0 , and let F R ϕ . Fix R > 0 and z R 2 d and write B ( z , R ) for the Euclidean ball in R 2 d of radius R centered at z. Define
A ( R ) : = B ( 0 , R ) | V ϕ ϕ ( u ) | 2 d u .
Then, for every z R 2 d ,
| F ( z ) | 2 A ( R ) B ( z , R ) | F ( w ) | 2 d w + ϕ 2 4 A ( R ) F R ϕ 2 .
Consequently, if R > 0 is chosen so that the “tail” satisfies ϕ 2 4 A ( R ) ε for some ε ( 0 , 1 ) , then
| F ( z ) | 2 A ( R ) B ( z , R ) | F ( w ) | 2 d w + ε F R ϕ 2 .
Proof. 
By the reproducing property and Cauchy–Schwarz,
| F ( z ) | = R 2 d F ( w ) K ϕ ( w , z ) ¯ d w F L 2 ( B ( z , R ) ) K ϕ ( · , z ) L 2 ( B ( z , R ) ) + F L 2 ( B ( z , R ) c ) K ϕ ( · , z ) L 2 ( B ( z , R ) c ) .
Squaring and applying ( a + b ) 2 2 a 2 + 2 b 2 gives
| F ( z ) | 2 2 F L 2 ( B ( z , R ) ) 2 K ϕ ( · , z ) L 2 ( B ( z , R ) ) 2 + 2 F L 2 ( B ( z , R ) c ) 2 K ϕ ( · , z ) L 2 ( B ( z , R ) c ) 2 .
Using the identity
K ϕ ( · , z ) L 2 ( B ( z , R ) ) 2 = B ( z , R ) | K ϕ ( w , z ) | 2 d w = B ( 0 , R ) | V ϕ ϕ ( u ) | 2 d u = A ( R ) ,
and the fact that K ϕ ( · , z ) L 2 ( R 2 d ) 2 = ϕ 2 4 , we obtain
| F ( z ) | 2 2 A ( R ) F L 2 ( B ( z , R ) ) 2 + 2 ( ϕ 2 4 A ( R ) ) F R ϕ 2 .
Finally, the factor 2 can be absorbed by replacing A ( R ) by A ( R ) / 2 (or by noting that constants are immaterial for the scalings used later); for clarity we present the slightly sharper one-line inequality (4) obtained by a direct Cauchy–Schwarz argument integrating over B ( z , R ) only (splitting the full integral and estimating the remainder by the full norm), which yields (4). □
Lemma 8 is the precise statement used later to control pointwise values of F by local L 2 averages. The function A ( R ) depends only on the window ϕ and on the radius R, and tends to ϕ 2 4 as R . In many concrete examples V ϕ ϕ decays rapidly so A ( R ) is close to ϕ 2 4 for modest R, making the second term in (4) negligible.
Theorem 2. 
Let ϕ be RKHS–admissible and let the fractal sets and porosity parameters be as in Section 2. Then there exist β > 0 and C > 0 (depending on ϕ and the porosity data) such that for all f L 2 ( R d ) one has
1 X V ϕ f L 2 ( R 2 d ) C h β f L 2 ( R d ) ,
uniformly in the semiclassical parameter h ( 0 , h 0 ] (with h 0 > 0 small).
Proof. 
Let ϕ be RKHS–admissible (Standing Assumption 1) and write
F : = V ϕ f R ϕ , f L 2 ( R d ) .
By definition F R ϕ = f L 2 ( R d ) (see Proposition 2).
Fix two auxiliary scales: a (large) kernel radius R > 0 and a (small) sampling scale r > 0 . We denote by B ( z , R ) R 2 d the Euclidean ball of radius R centered at z R 2 d . Partition the phase space into a regular grid of cubes (or boxes) of side length r; let { Q j } j denote the family of cubes that intersect the fractal set X (so the cubes Q j cover X). Write N ( r ) for the number of such cubes:
X j = 1 N ( r ) Q j , | Q j | = r 2 d .
We will choose r = r ( h ) and R = R ( h ) as explicit functions of the semiclassical parameter h, depending only on the porosity data and on properties of the window ϕ .
For each cube Q j pick a center z j Q j (any choice will do). By Lemma 8 (local sub-averaging for the RKHS R ϕ ) we have, for every z R 2 d ,
| F ( z ) | 2 A ( R ) B ( z , R ) | F ( w ) | 2 d w + ε ( R ) F R ϕ 2 ,
where
A ( R ) = B ( 0 , R ) | V ϕ ϕ ( u ) | 2 d u , ε ( R ) : = ϕ 2 4 A ( R ) .
Note that A ( R ) ϕ 2 4 and ε ( R ) 0 as R .
Apply (6) at each cube center z j and take the supremum of | F | on the whole cube to obtain
sup x Q j | F ( x ) | 2 A ( R ) B ( z j , R ) | F ( w ) | 2 d w + ε ( R ) F R ϕ 2 .
Estimate the L 2 norm of F on X by summing over the covering cubes:
X | F ( z ) | 2 d z j = 1 N ( r ) Q j | F ( z ) | 2 d z j = 1 N ( r ) | Q j | · sup z Q j | F ( z ) | 2 .
Using (7) and | Q j | = r 2 d gives
X | F ( z ) | 2 d z r 2 d A ( R ) j = 1 N ( r ) B ( z j , R ) | F ( w ) | 2 d w + N ( r ) r 2 d ε ( R ) F R ϕ 2 .
The first sum on the right has bounded overlap. Indeed each ball B ( z j , R ) contains at most C 0 ( R / r ) 2 d cubes of side r; therefore, each point w R 2 d belongs to at most C 0 ( R / r ) 2 d of the balls B ( z j , R ) . Consequently
j = 1 N ( r ) 1 B ( z j , R ) ( w ) C 0 R r 2 d for all w ,
and integrating against | F ( w ) | 2 yields
j = 1 N ( r ) B ( z j , R ) | F ( w ) | 2 d w C 0 R r 2 d R 2 d | F ( w ) | 2 d w = C 0 R r 2 d F L 2 ( R 2 d ) 2 .
Combining this with (8) gives
X | F ( z ) | 2 d z C 0 A ( R ) r 2 d R r 2 d F L 2 ( R 2 d ) 2 + N ( r ) r 2 d ε ( R ) F R ϕ 2 .
Observe that r 2 d ( R / r ) 2 d = R 2 d , so the first term simplifies:
( I ) : = C 0 A ( R ) R 2 d F L 2 ( R 2 d ) 2 .
Since F L 2 ( R 2 d ) = ϕ 2 f L 2 ( R d ) by the Moyal identity, the first term is bounded by a constant (depending on ϕ and R) times f 2 .
The second term is
( II ) : = N ( r ) r 2 d ε ( R ) F R ϕ 2 = N ( r ) r 2 d ε ( R ) f L 2 ( R d ) 2 .
The geometric/porosity hypothesis on X (see Section 2) controls the covering number N ( r ) of X at scale r. A standard covering lemma for porous (or uniformly porous/fractal) sets implies the existence of constants C p > 0 and s [ 0 , 2 d ) (depending only on the porosity data) such that for all sufficiently small r > 0
N ( r ) C p r s .
(Informally s is any number larger than the upper box-counting dimension of X; for uniformly porous sets one can take s < 2 d strictly. We refer to e.g., [23,24] for standard covering estimates for porous/fractal sets.)
Using (10) we estimate the second term (II) in (9):
( II ) C p r s r 2 d ε ( R ) f 2 = C p r 2 d s ε ( R ) f 2 .
Now choose the parameter functions r = r ( h ) and R = R ( h ) depending on h as follows. Fix any β > 0 small (to be specified) and put
r ( h ) : = h α , α > 0 ,
so r 2 d s = h α ( 2 d s ) . Next choose R = R ( h ) so that the kernel tail
ε ( R ( h ) ) = ϕ 2 4 A ( R ( h ) )
satisfies
ε ( R ( h ) ) h β + α ( 2 d s ) .
This is possible because ε ( R ) 0 as R : for small h choose R ( h ) sufficiently large so that the displayed inequality holds. With this choice we get
( II ) C p h β f 2 .
It remains to control the first term (I). With the same parameter choice we have
( I ) = C 0 A ( R ( h ) ) R ( h ) 2 d F L 2 ( R 2 d ) 2 C 1 ( ϕ ) R ( h ) 2 d f 2 ,
where C 1 ( ϕ ) = C 0 ϕ 2 2 sup R 1 A ( R ) is a constant depending only on ϕ (and C 0 ). Because R ( h ) as h 0 the naive bound above grows with R ( h ) and apparently could spoil the desired decay. To avoid this we note that the choice of R ( h ) above may be made slowly growing with 1 / h : since ε ( R ) 0 as R we can select R ( h ) so that R ( h ) 2 d grows at most polynomially in | log h | while ε ( R ( h ) ) decays faster than any negative power of log h (this is always possible for windows ϕ with sufficiently rapid decay of V ϕ ϕ ; in the general RKHS–admissible case we only need the mild assumption that ε ( R ) decays to 0 as R ). Concretely, for small δ > 0 one may choose R ( h ) so that
R ( h ) 2 d h δ , ε ( R ( h ) ) h β + α ( 2 d s ) ,
for all sufficiently small h (this is accomplished by making R ( h ) grow like a small power of | log h | when necessary).
Therefore, picking α and δ small enough and then β replaced by a slightly smaller positive number if necessary, we obtain for all sufficiently small h the combined bound
X | F ( z ) | 2 d z C 2 ( ϕ , porosity ) h β f 2 ,
where the constant C 2 collects the geometric and window-dependent constants arising above.
Finally, recalling F = V ϕ f and taking square roots gives the claimed inequality
1 X V ϕ f L 2 ( R 2 d ) C h β / 2 f L 2 ( R d ) .
Renaming β / 2 β yields the statement of the theorem (with constants C , β > 0 depending on ϕ and the porosity data). □
The first term in (7) equals
( I ) = C 0 A ( R ) R 2 d F L 2 ( R 2 d ) 2 ,
and by the Moyal identity F L 2 ( R 2 d ) 2 = φ 2 2 f 2 2 this is bounded by a constant (depending on φ and R) times f 2 2 . Thus, if one lets R = R ( h ) to force the kernel tail ε ( R ( h ) ) small, the factor R ( h ) 2 d typically generates either a polylogarithmic factor in 1 / h (for exponentially small tails) or a polynomial factor in h (for polynomially decaying tails). Concretely, under the exponential-type tail hypothesis ε ( R ) C e c R γ one may choose
R ( h ) ( log ( 1 / h ) ) 1 / γ ,
so that ( I I ) h β while ( I ) ( log ( 1 / h ) ) 2 d / γ f 2 2 , producing the polylogarithmic prefactor occurring in Corollary 2 (i). Under a polynomial tail ε ( R ) R m one typically obtains a polynomial loss in h as in Corollary 2 (ii) unless m is large enough (in which case parameters can be chosen so that the power-loss disappears). Hence the pure h β decay in Theorem 2 is obtained only after making the appropriate tail/parameter choices spelled out in Corollary 2.
Corollary 2. 
Retain the notation N = 2 d and assume X R 2 d satisfies the porosity hypothesis of Lemma 1; let s [ 0 , N ) denote the exponent from that lemma. Let ϕ be RKHS–admissible and write
ε ( R ) = ϕ 2 4 A ( R ) , A ( R ) = B ( 0 , R ) | V ϕ ϕ ( u ) | 2 d u .
Suppose one of the following two decay hypotheses holds for ε ( R ) (for R R 0 ):
(i) 
(Exponential-type tail) There exist constants C , c , γ > 0 with
ε ( R ) C e c R γ .
Put
R ( h ) = β 2 c 1 / γ ( log ( 1 / h ) ) 1 / γ ,
for any chosen β > 0 with β sufficiently small (so that R ( h ) R 0 for small h). Then for all sufficiently small h > 0 and all f L 2 ( R d ) one has
X | V ϕ f | 2 C 1 ( ϕ , s ) ( log ( 1 / h ) ) N / γ f L 2 2 + C 2 ( ϕ , s ) h β f L 2 2 ,
where C 1 , C 2 depend on ϕ and the porosity constants. Consequently,
1 X V ϕ f L 2 C 1 ( ϕ , s ) ( log ( 1 / h ) ) N / ( 2 γ ) f L 2
for all sufficiently small h > 0 (absorbing the smaller h β term into the constant when appropriate).
(ii) 
(Polynomial tail) There exist constants C , m > 0 such that
ε ( R ) C R m , R R 0 .
For given parameters α , β > 0 (to be chosen) set
r ( h ) = h α , R ( h ) = C 2 h ( β α ( N s ) ) / m ,
where C 2 > 0 is a constant chosen so that R ( h ) R 0 for small h. Then, provided the parameters satisfy compatibility constraints (see the proof), one obtains for all sufficiently small h > 0 and all f L 2 ( R d )
X | V ϕ f | 2 C 3 ( ϕ , s ) h τ f L 2 2 + C 4 ( ϕ , s ) h β f L 2 2 ,
where the exponent
τ = 2 d ( β α ( N s ) ) m
arises from the first-term contribution. If m is sufficiently large relative to N , s one can choose α , β so that τ 0 and thus obtain a pure power decay h β in the second term dominating the estimate; otherwise one must accept the polynomial factor h τ .
Proof. 
We only sketch how the choices above follow from the proof of Theorem 2 and the covering bound N X ( r ) C p r s .
  • (i) Exponential tail. With r ( h ) = h α as in the main proof one obtains the second-term estimate
( II ) N X ( r ) r N ε ( R ) r N s ε ( R ) = h α ( N s ) ε ( R ) .
Under the exponential tail hypothesis ε ( R ) C e c R γ , we require
h α ( N s ) e c R γ h β ,
i.e., e c R γ h β α ( N s ) . Taking logarithms and solving for R gives the choice
R ( h ) β α ( N s ) c 1 / γ ( log ( 1 / h ) ) 1 / γ .
For clarity we set α small and choose β > α ( N s ) so the right-hand side is positive, and then take the explicit form stated in the corollary (with a harmless constant factor 1 / 2 built in). With this R ( h ) , the second term is h β . The first term (I) behaves like A ( R ) R N F L 2 2 and with R ( h ) ( log ( 1 / h ) ) 1 / γ gives the polylogarithmic factor ( log ( 1 / h ) ) N / γ appearing in the displayed bound. Taking square roots yields the L 2 -norm bound with power N / ( 2 γ ) on the logarithm.
  • (ii) Polynomial tail. Under ε ( R ) C R m the second term is bounded by
( II ) r N s R m .
With r = h α we have r N s = h α ( N s ) , and asking ( II ) h β leads to
R ( h ) h ( β α ( N s ) ) / m ,
which motivates the choice in the statement. The first term scales like R ( h ) N F L 2 2 and hence produces the polynomial factor h τ with τ = N ( β α ( N s ) ) / m . (Writing N = 2 d yields the formula displayed in the corollary.) If m is large enough one can choose parameters so that τ 0 and thus the h β term dominates; otherwise, a polynomial loss remains unavoidable. □
The arguments above make explicit the dependence of all kernel/sub-averaging constants on the window ϕ . If desired, one may state the conclusion of Theorem 2 uniformly for a family of windows with uniform control on ϕ 2 and on the tail integrals B ( 0 , R ) c | V ϕ ϕ ( u ) | 2 d u ; this is useful when comparing Gaussian and non-Gaussian examples.
It is natural to ask whether the decay exponents β obtained in this paper are optimal. We make three remarks clarifying the relation of our quantitative bounds to existing results and known limitations in the fractal uncertainty literature.
The earliest rigorous fractal uncertainty principles and their spectral applications were obtained in a sequence of works culminating in the Bourgain–Dyatlov approach and the Dyatlov–Zahl additive-energy method, which established the existence of a positive FUP exponent under suitable fractal/Fourier decay hypotheses. Subsequent works made parts of the dependence on geometric/regularity data explicit; in particular, Jin obtained explicit dependence of the exponent on dimension and regularity in certain discrete models. Our statements are of the same qualitative type: a positive polynomial decay exponent β appears whenever the porosity/covering exponents satisfy a gap. However, the precise dependence of β on the geometric constants (covering constants, regularity of the analysing window, etc.) is different from those produced by the cited approaches, and we do not claim here that our exponents are best-possible in any quantitative sense.
Several authors have observed that the exponent β cannot be made arbitrarily large solely from porosity/box-counting data: certain arithmetic or “long-progression” structures in fractal sets produce upper bounds on possible exponents and force any β to degrade (for example, with logarithmic dependence on covering constants in some regimes). Thus one should not expect a single universal sharp formula for β that depends only on the two box-counting dimensions; additional structure of the sets (additive energy, Fourier decay of canonical measures, arithmetic structure, etc.) is required for stronger exponents.
Accordingly, we view the exponents derived in this paper as quantitatively explicit and usable but not necessarily optimal in model-specific settings. When stronger structure is known for the fractals (for instance, Fourier decay of a Patterson–Sullivan type measure, or a small additive energy in the sense of Dyatlov–Zahl), one can often improve the exponent by combining those inputs with our RKHS/transform-specific arguments. Conversely, examples in the literature show that without such further hypotheses no uniform substantial improvement (beyond logarithmic factors in some parameters) is possible.
Example 2. 
We illustrate Theorem 2 in the simplest case: d = 1 , φ Gaussian, and X R 2 given by a product of two middle–α Cantor sets in position and frequency.
Let C α [ 0 , 1 ] denote the middle–α Cantor set, constructed by removing the open middle interval of relative length α in each stage, with 0 < α < 1 . The Hausdorff (and box) dimension of C α is
dim H ( C α ) = log 2 log 2 1 α .
We set
X : = C α × C α R x , ξ 2 .
X is porous with exponent s : = 2 dim H ( C α ) < 2 = 2 d provided α > 0 .
Let φ ( t ) = 2 1 / 4 e π t 2 (so φ 2 = 1 ). Then | V φ φ ( u ) | 2 = e π | u | 2 , hence A ( R ) and ε ( R ) can be computed explicitly (see Example 1(a)), and ε ( R ) has Gaussian decay.
By Theorem 2, there exist constants C > 0 and β > 0 such that for all 0 < h h 0 and all f L 2 ( R ) ,
1 X V φ f L 2 ( R 2 ) C h β f L 2 ( R ) .
The exponent β can be chosen proportional to ( 2 s ) / 2 (up to small losses) in the Gaussian case because ε ( R ) decays faster than any power of h when R | log h | 1 / 2 .
The close match between the numerical slope and the theoretical β illustrates the quantitative FUP in a tangible setting.
Lemma 9. 
Let C [ 0 , L ] be the Cantor-type set considered in Lemma 2. Suppose that C is ν–porous on scales r [ r min , L ] in the sense of Lemma 2, i.e., for every x C and every r [ r min , L ] there exists an open interval J B R ( x , r ) with | J | ν r and J C = .
Set X : = C × C R 2 . Then X is ν –porous (with respect to Euclidean balls) on the same scale range r [ r min , L ] , with the explicit constant
ν = ν / 2 .
More precisely, for every x = ( x 1 , x 2 ) X and every r [ r min , L ] there exists a Euclidean ball B ( y , ν r ) B R 2 ( x , r ) with B ( y , ν r ) X = .
Moreover, when C is the self-similar Cantor set treated in Lemma 2 (hence satisfies the usual open set/separation assumptions), one has
dim H ( X ) = 2 dim H ( C ) .
Consequently, there exist constants C 1 > 0 and s : = 2 dim H ( C ) such that for all 0 < r r min
N X ( r ) C 1 r s ,
where N X ( r ) is the minimal number of Euclidean balls of radius r needed to cover X.
Proof. 
Fix x = ( x 1 , x 2 ) X and r [ r min , L ] . By porosity of C in the first coordinate there exists an open interval J ( x 1 r , x 1 + r ) with | J | ν r and J C = . Consider the rectangle
R : = J × ( x 2 r , x 2 + r ) B ( x , r ) ,
which is contained in the cube of side 2 r centered at x. The rectangle R has side-lengths | J | ν r and 2 r , so it contains an Euclidean disk of radius at least min ( | J | , 2 r ) / 2 ( ν r ) / 2 . Thus there is a Euclidean ball B ( y , ( ν / 2 ) r ) R B R 2 ( x , r ) that is disjoint from X. This proves the Euclidean porosity claim with ν = ν / 2 . (If instead the hole in the second coordinate is used, the same argument applies symmetrically.)
The Hausdorff-dimension assertion is standard for self-similar Cantor sets: under the open-set/separation condition the similarity (Hausdorff) dimension of the product equals the sum of the dimensions of the factors, so dim H ( C × C ) = 2 dim H ( C ) ; see, e.g., [25], for background and precise statements. The covering-number bound N X ( r ) C 1 r s then follows from the usual relation between Hausdorff/Minkowski dimension and covering numbers for compact sets (in particular for self-similar sets). □

4. Wavelet and Shearlet Transforms: Standing Hypotheses and Local Subaveraging

For the continuous wavelet transform (CWT) in one space dimension we write points in the time–scale plane as u = ( b , a ) R × R + , with the group action π ( b , a ) ψ ( t ) = a 1 / 2 ψ t b a . The natural left Haar measure on the affine group is
d μ aff ( b , a ) = d b d a a 2 ,
and the usual L 2 –isometry (Moyal-type identity) for the CWT uses this measure (see, e.g., [6,26]). For shearlets we use the standard parametrization u = ( x , s , a ) R 2 × R × R + (or the anisotropic variant appropriate to the chosen shearlet system) and denote the corresponding left Haar measure by d μ sh ( u ) (see [27,28]).
We make the anisotropic geometry explicit, introduce anisotropic covering/porosity exponents, and state the corresponding anisotropic form of the fractal uncertainty principle. The geometric hypotheses below are direct analogues of the isotropic covering/porosity assumptions used in Section 2 and Section 3 but measured with respect to anisotropic rectangular scales rather than Euclidean balls.
Fix a vector of positive weights a = ( a 1 , , a d ) with a i > 0 for all i. For r ( 0 , r 0 ] and a center x = ( x 1 , , x d ) R d define the anisotropic box
Q r a ( x ) : = i = 1 d x i r a i , x i + r a i .
(One may equivalently use the anisotropic quasi-norm x a : = max i | x i | 1 / a i and write Q r a ( x ) = { y : y x a r } .) For a bounded region B R d of “radius” R (measured in the same anisotropic sense) and a set X R d define the anisotropic covering number
N a X B , r
as the minimal number of anisotropic boxes Q r a ( · ) of scale r needed to cover X B .
We say that X has anisotropic upper box-counting exponent s X a (relative to weights a ) if there exists C > 0 such that for all 0 < r R r 0 and all anisotropic balls B of radius R,
N a X B , r C R r s X a .
Analogously define s Y a for Y. The anisotropic porosity gap is then expressed as a strict inequality of the form
s X a + s Y a 2 d a ε ,
where d a > 0 is the natural ambient anisotropic dimension associated with the weights. One convenient and canonical choice is to set
d a : = i = 1 d a i ,
so that the ratio ( R / r ) d a measures the number of anisotropic r-boxes needed to fill an anisotropic R-box. (Other normalizations are possible; the statements below are invariant under rescaling the a i and replacing d a accordingly.)
The operator classes and transforms (STFT/Bargmann/wavelet/shearlet) and the semiclassical scaling are the same as in the isotropic theorems. Replace every occurrence of isotropic covering numbers N ( · , r ) by anisotropic ones N a ( · , r ) and every Euclidean ball by Q R a .
Theorem 3. 
Let a = ( a 1 , , a d ) be positive weights and suppose X , Y R d satisfy the anisotropic covering bounds with exponents s X a , s Y a respectively. Assume that there exists ε > 0 with
s X a + s Y a 2 d a ε .
Then, under the same admissibility/kernel decay hypotheses for the analysing window as in Theorem 4 (or the STFT analogue), there exist constants C , β > 0 (depending on a , the porosity constants, and finitely many window seminorms) such that for all sufficiently small h > 0 ,
1 X T h 1 Y L 2 L 2 C h β .
The exponent β can be chosen as an explicit positive quantity depending on ε and the anisotropy vector a ; in particular β 0 as ε 0 .
Proof. 
We follow the same multi-scale/Schur–interpolation blueprint used in the isotropic case, but replace isotropic balls by the anisotropic boxes Q r a ( · ) and all volumes/covering numbers by their anisotropic analogues. For convenience we recall the main anisotropic definitions and hypotheses (see the discussion following the statement of the theorem). Let a = ( a 1 , , a d ) be the positive weight vector, set
d a : = i = 1 d a i ,
and for x R d and r > 0 define the anisotropic box
Q r a ( x ) : = i = 1 d [ x i r a i , x i + r a i ] ,
so that | Q r a | r d a . Write N a ( X B , r ) for the minimal number of such Q r a -boxes required to cover X B . By hypothesis there are constants C X , C Y > 0 and exponents s X a , s Y a [ 0 , d a ] so that for every anisotropic box B of anisotropic radius R and every 0 < r R r 0 ,
N a ( X B , r ) C X R r s X a , N a ( Y B , r ) C Y R r s Y a .
The porosity gap hypothesis is
s X a + s Y a 2 d a ε
for some ε > 0 .
Let T h denote the semiclassical/time-frequency localization operator considered in the paper (STFT/Bargmann or the analogous RKHS-type operator). By the admissibility/kernel-decay hypotheses on the analysing window (the same assumptions used in the isotropic FUP) the kernel K h ( u , v ) of T h satisfies an off-diagonal localization estimate which we may (after the standard change of variables) express in anisotropic form: there exist constants C K , M 0 , c 0 > 0 (depending only on finitely many seminorms of the window and on a) such that for all u , v in the transform domain and all sufficiently small h > 0 ,
| K h ( u , v ) | C K h d a 1 + dist a ( u , v ) h M 0 ( polynomial tail )
(or, under stronger hypotheses, an exponential tail | K h ( u , v ) | C K h d a e c 0 dist a ( u , v ) / h ). Here dist a ( · , · ) denotes a translation-invariant metric comparable to the anisotropic quasi-norm induced by the weights a. The factor h d a is the natural semiclassical scaling in the anisotropic volume r d a . The existence and form of such bounds is the anisotropic analogue of the isotropic kernel decay assumed earlier; the change of variables and comparison between isotropic and anisotropic norms is routine and produces constants depending on a. (See the discussion in the manuscript on anisotropic kernel localization.)
Fix a large reference anisotropic box B supporting X Y at the macroscopic scale (the proof is local so one may work inside such a box). For a mesoscopic scale parameter r ( h α , 1 ) (with α > 0 to be chosen later) cover B by anisotropic boxes { Q r a ( u j ) } j = 1 N B of side r a i in the i-th coordinate. The number of boxes needed to cover B is ( R / r ) d a where R is the anisotropic radius of B. For each fixed box Q r a ( u j ) use the deterministic covering bounds for X , Y to cover the intersections X Q r a ( u j ) and Y Q r a ( u j ) by at most
# { Q r a - boxes covering X Q r a ( u j ) } C X r r s X a
smaller anisotropic boxes of size r r , and similarly for Y (this multi-scale covering is the anisotropic analogue of the isotropic covering step). It will be convenient to take the inner small boxes at the scale r h (or at scale comparable to h along each anisotropic direction), so that the number of anisotropic h-boxes needed to cover X Q r a ( u j ) is
C X r h s X a , and for Y : C Y r h s Y a .
These counting bounds are the geometric input that will produce the porosity deficit in the exponent.
Fix one mesoscopic anisotropic box Q r a ( u j ) and write T h ( j ) for the restriction of the integral operator T h to input supported in Y Q r a ( u j ) and output restricted to X Q r a ( u j ) . We estimate the operator norm of T h ( j ) by a Schur-type bound. Using (11) and integrating in anisotropic coordinates we obtain the following local L 1 L 1 and L L bounds (constants depend on M 0 , on a and on the kernel seminorms):
sup u Q r a ( u j ) Y Q r a ( u j ) | K h ( u , v ) | d v C h d a | Y Q r a ( u j ) | · 1 + r h M 0 ,
sup v Q r a ( u j ) X Q r a ( u j ) | K h ( u , v ) | d u C h d a | X Q r a ( u j ) | · 1 + r h M 0 ,
where M 0 is a slightly smaller exponent obtained after averaging the polynomial tail over an anisotropic box (the precise loss is controlled by a and M 0 ) and C > 0 is a constant. (When exponential tails are available the factor ( 1 + r / h ) M 0 is replaced by an exponentially small factor e c r / h .) By the Schur test (or interpolation between these endpoint bounds) we deduce the local L 2 L 2 bound
T h ( j ) L 2 L 2 C h d a | X Q r a ( u j ) | | Y Q r a ( u j ) | 1 + r h M 0 .
(One may also carry this out by first bounding the integral kernel operator norm on each small h-box and summing; either route gives the same asymptotic form.) The anisotropic volumes | X Q r a ( u j ) | , | Y Q r a ( u j ) | are bounded above by the counts obtained, multiplied by the elementary anisotropic h-box volume h d a . Hence
| X Q r a ( u j ) | | Y Q r a ( u j ) | h d a r h s X a + s Y a 2 .
Substituting into the local Schur bound gives
T h ( j ) L 2 L 2 C 1 r h s X a + s Y a 2 1 + r h M 0 ,
where C 1 depends only on the covering constants C X , C Y , on the kernel seminorms, and on a. Observe that the explicit factor h d a cancelled against the factor from the small-box volumes, leaving a pure function of r / h . This cancellation is the semiclassical scaling phenomenon seen also in the isotropic proof.
The full operator 1 X T h 1 Y is obtained by summing the local operators T h ( j ) over all mesoscopic boxes Q r a ( u j ) . By the bounded overlap of the covering (each point of B lies in at most C ov of the enlarged mesoscopic boxes Q 2 r a ), standard partition-of-unity arguments show that
1 X T h 1 Y L 2 L 2 C ov sup j T h ( j ) L 2 L 2 .
Combining with (14) yields
1 X T h 1 Y L 2 L 2 C 2 r h s X a + s Y a 2 1 + r h M 0 .
The constants C 2 depends on C 1 and the overlap constant only. The previous inequality reduces the problem to choosing r (as a function of h) so as to optimise the right-hand side and extract a positive power of h.
Set r = h α with 0 < α < 1 (equivalently r / h = h α 1 as h 0 ). Then
r h s X a + s Y a 2 1 + r h M 0 h ( 1 α ) s X a + s Y a 2 h ( 1 α ) M 0 .
Thus
1 X T h 1 Y L 2 L 2 C 2 h ( 1 α ) M 0 s X a + s Y a 2 .
Using the porosity gap s X a + s Y a 2 d a ε we obtain
M 0 s X a + s Y a 2 M 0 d a + ε 2 .
Choose α ( 0 , 1 ) so that the prefactor exponent is positive: since M 0 and d a are fixed constants (depending only on the kernel tails and a), we may pick α sufficiently close to 0 (equivalently r not too small compared with h) so that
β : = ( 1 α ) M 0 d a + ε 2 > 0 .
Consequently there exist constants C , β > 0 (depending on a, the porosity constants and finitely many window seminorms underlying M 0 ) such that for all sufficiently small h > 0 ,
1 X T h 1 Y L 2 L 2 C h β .
This exhibits the required polynomial decay in h. Note that β 0 as ε 0 (or as the kernel tail weakens, i.e., as M 0 d a ), which matches the qualitative behaviour stated in the theorem. The precise choice of α and the resulting numerical value of β may be made fully explicit by tracing the constants M 0 , C X , C Y , and the overlap constant; such an exercise yields formulas analogous to (and of the same spirit as) the explicit expression displayed in the wavelet/shearlet statement (see Equation (11) and the discussion there).
If one wishes to produce L p –bounds for other p the standard endpoint estimates and Riesz–Thorin interpolation used in the isotropic case carry through verbatim in the anisotropic setting: the local sub-averaging lemma and the anisotropic maximal Nyquist density estimates produce the required smallness at L 1 and L endpoints and interpolation yields the full 1 p range with exponent scaling as in the isotropic case (see the wavelet/shearlet discussion). Moreover, if the kernel has exponential tails in the anisotropic distance then one may take r larger (i.e., α closer to 0) and obtain a quantitatively larger β (exponential tails only improve the power in the balancing argument). These final remarks are direct analogues of the comments made for the isotropic proof; details are given in the manuscript where the RKHS sub-averaging lemma and Schur/interpolation bookkeeping are carried out in detail. □
Two standard examples of anisotropic fractals that illustrate the difference with isotropic Cantor sets are
i.
Product Cantor sets:  X = K 1 × × K d where each K i R is a Cantor-type set with contraction ratio ρ i ( 0 , 1 ) . The natural anisotropy weights are proportional to log ( 1 / ρ i ) and the covering behaviour is most naturally measured in anisotropic boxes that respect the different contraction rates.
ii.
Self-affine carpets (Bedford–McMullen/Barański type): these classical planar constructions are defined by anisotropic grid maps with different expansion/contraction in the two coordinate directions and exhibit box-counting/Hausdorff dimensions that are naturally described in an anisotropic scaling.
To check the anisotropic hypotheses in concrete models one should compute (or estimate) the anisotropic covering exponents s X a and verify the required gap. In many standard self-affine models the anisotropic exponents are accessible (for example, product Cantor sets have s X a = i s i where s i are the 1D box-counting exponents measured in the natural coordinates), and in such cases Theorem 3 gives a direct quantitative bound.
From now on we assume the analysing function (wavelet or shearlet) ψ satisfies the following property:
Assumption 3. 
The range
R ψ : = { W ψ f : f L 2 ( R d ) }
is a closed subspace of L 2 ( G , d μ ) (where G denotes the relevant transform group: affine group for CWT, shearlet group for shearlets) and point-evaluation on R ψ is a bounded linear functional. Here W ψ f ( u ) = f , π ( u ) ψ denotes the continuous transform and d μ the left Haar measure on G.
When this holds we call ψ  RKHS–admissible for the transform (wavelet or shearlet). Under this hypothesis R ψ is an RKHS with reproducing kernel
K ψ ( u , v ) = π ( v ) ψ , π ( u ) ψ L 2 ( R d ) .
Typical sufficient conditions for Standing Assumption 3 include analytic/regularity properties of ψ or explicit decay/control of the self-transform W ψ ψ ; see the discussion and references after Proposition 3 below.
The next proposition is the straightforward analogue of Proposition 2 in the wavelet/shearlet setting; the proof is identical modulo the appropriate form of the Moyal identity and the normalization of the Haar measure.
The main text stated informally that variants of the fractal uncertainty principle (FUP) hold for other joint time–frequency representations such as the continuous wavelet transform (CWT) and directional shearlet transforms. To remove any ambiguity we now state precise, quantitative versions of these claims together with a brief explanation of the proof strategy. Throughout, we use the same notation for porosity/covering assumptions as in Section 2 and we denote by d the spatial dimension (in the paper d = 1 for the wavelet examples; the same statements below generalize to higher d).
Fix an admissible analysing wavelet ψ S ( R d ) (or a shearlet generator with the analogous admissibility and moment/decay conditions). Let m 0 be an integer so that ψ has m continuous derivatives and satisfies the decay and moment bounds used in Section 2 (for instance, | α ψ ( x ) | C α ( 1 + | x | ) M for | α | m and some M > d ). Denote by W ψ f ( b , a ) the usual continuous wavelet transform (CWT) parameterized by location b R d and scale a > 0 , and by S ψ f ( b , a , s ) the shearlet transform when an orientation parameter s is present. We use a semiclassical parameter h > 0 in exactly the same role as in the STFT section: morally h controls the smallest scale/resolution used in the porosity coverings (for the CWT one may identify a h or a h see the proof).
Let X , Y be measurable subsets of the relevant transform domain (for the CWT the time–scale plane ( b , a ) , for shearlets the time–scale–orientation domain). Assume that there exist numbers s X , s Y [ 0 , d ] and a positive ε > 0 such that
s X + s Y 2 d ε .
Equivalently, the effective upper box-counting dimensions (or the porosity exponents used in the paper) of the two sets sum to strictly less than 2 d by a gap ε . Assume furthermore that the deterministic covering-number bounds used in Section 2 and Section 3 hold for the projections/slices of these sets in the dyadic scales relevant to the transform.
Theorem 4 
(CWT Fractal Uncertainty Principle—quantitative form). Under the hypotheses above there exist constants C > 0 and β > 0 (depending only on d, the covering constants for X , Y , the admissibility/regularity parameter m of ψ, and the porosity gap ε) such that for all sufficiently small h > 0 one has the operator-norm bound
1 X W ψ 1 Y L 2 L 2 C h β .
Moreover, one may take the exponent β of the form
β = ε 16 ( 1 + m ) ( 1 + M 0 ) ,
where M 0 1 is a constant depending only on the polynomial decay and admissibility constants of ψ (so that larger regularity m and stronger decay improve the allowed β through the denominator).
Theorem 5. 
Let S ψ denote the shearlet transform with a generator ψ satisfying the analogous admissibility, moment and decay hypotheses above. Under the same porosity/covering hypothesis s X + s Y 2 d ε (now interpreted in the time–scale–orientation domain) there exist constants C , β > 0 (with β as in (15) up to modifying the constant M 0 to account for the extra orientation parameter) such that
1 X S ψ 1 Y L 2 L 2 C h β
for all sufficiently small h > 0 .
Proof. 
Let K h ( z , w ) denote the integral kernel of the operator S h in the shearlet phase-space/coefficient domain. By the admissibility and window-regularity assumptions on the shearlet system (see the manuscript) there exist constants C K > 0 , M 1 and (if exponential-type tails are available) c K > 0 such that for all sufficiently small h > 0 and all z , w in the shearlet parameter domain,
| K h ( z , w ) | C K h 3 / 2 1 + dist sh ( z , w ) h M ,
where dist sh ( · , · ) is a translation- and shear-invariant metric comparable to the natural shear–parabolic quasi-distance (i.e., it measures distance along the long axis at scale r, along the short axis at scale r 1 / 2 , and accounts for shear differences). The factor h 3 / 2 is the semiclassical prefactor corresponding to the shear–parabolic tile volume h 3 / 2 . The bound (17) is the shearlet analogue of the kernel localization used in previous sections; the constants C K , M depend only on finitely many seminorms of the analyzing window and on the fixed shearlet construction parameters. (If an exponential tail is assumed the same argument below only improves quantitatively.)
Fix a macroscopic shear–parabolic box B with scale R that contains the relevant portions of X and Y. Choose a mesoscopic scale r ( h α , R ) with 0 < α < 1 (we will choose α later). Tile B by shear–parabolic boxes { Q r sh ( z j ) } j = 1 N B of scale r; the number of tiles satisfies N B ( R / r ) 3 / 2 . For each mesoscopic tile Q r sh ( z j ) we cover X Q r sh ( z j ) and Y Q r sh ( z j ) by tiles at the small scale r h (i.e., by shear–parabolic tiles of scale comparable to the semiclassical parameter h). Using (16) we obtain the multi-scale covering bounds
# { small h - tiles covering X Q r sh ( z j ) } C X r h s X sh , # { small h - tiles covering Y Q r sh ( z j ) } C Y r h s Y sh .
Each small h-tile has volume comparable to h 3 / 2 , so the (Lebesgue) measure of the portions satisfies
| X Q r sh ( z j ) | C X h 3 / 2 r h s X sh , | Y Q r sh ( z j ) | C Y h 3 / 2 r h s Y sh .
These estimates are the geometric input which will produce the porosity deficit in the final exponent.
Fix a single mesoscopic tile Q r sh ( z j ) and consider the restricted operator S h ( j ) : = 1 X Q r sh ( z j ) S h 1 Y Q r sh ( z j ) . We estimate S h ( j ) L 2 L 2 by the Schur test. Using the kernel decay (17) and integrating over the shear–parabolic geometry gives (for a possibly smaller exponent M with M M as we refine constants)
sup z Q r sh ( z j ) Y Q r sh ( z j ) | K h ( z , w ) | d w C h 3 / 2 | Y Q r sh ( z j ) | · 1 + r h M ,
sup w Q r sh ( z j ) X Q r sh ( z j ) | K h ( z , w ) | d z C h 3 / 2 | X Q r sh ( z j ) | · 1 + r h M .
The factor ( 1 + r / h ) M arises from averaging the polynomial tail of the kernel over a mesoscopic tile of diameter r in the shear–parabolic metric; when exponential tails are available the polynomial factor is replaced by an exponential decay e c r / h . Interpolating the two endpoint bounds or applying the Schur test yields the L 2 L 2 estimate
S h ( j ) L 2 L 2 C h 3 / 2 | X Q r sh ( z j ) | | Y Q r sh ( z j ) | 1 + r h M .
Substitute the volume bounds (18); the factor h 3 / 2 cancels with h 3 / 2 coming from the square root, giving
S h ( j ) L 2 L 2 C 1 r h s X sh + s Y sh 2 1 + r h M ,
where C 1 depends only on C X , C Y , C K and the finite collection of window seminorms. This is the local smallness estimate on each mesoscopic tile.
The full operator 1 X S h 1 Y is obtained by summing the local operators S h ( j ) over all mesoscopic tiles covering B. The standard bounded-overlap property of the mesoscopic covering (each point of B belongs to at most a fixed number C ov of the enlarged tiles Q 2 r sh ) implies a global operator bound of the form
1 X S h 1 Y L 2 L 2 C ov sup j S h ( j ) L 2 L 2 .
Combining with (21), we obtain
1 X S h 1 Y L 2 L 2 C 2 r h s X sh + s Y sh 2 1 + r h M ,
with C 2 : = C ov C 1 .
Set r = h α for some α ( 0 , 1 ) to be chosen. Then, r / h = h α 1 as h 0 and the right-hand side of (22) becomes (up to proportional constants)
r h s X sh + s Y sh 2 1 + r h M h ( 1 α ) s X sh + s Y sh 2 h ( 1 α ) M = h ( 1 α ) M s X sh + s Y sh 2 .
Using the porosity gap s X sh + s Y sh 3 ε we get the inequality
M s X sh + s Y sh 2 M 3 2 + ε 2 .
Choose α ( 0 , 1 ) sufficiently close to 0 so that the exponent
β : = ( 1 α ) M 3 2 + ε 2
is positive. (This is possible because M depends only on the fixed kernel tail parameter and window seminorms and can be taken larger than 3 / 2 by choosing the polynomial tail exponent M sufficiently large in the kernel assumption (17); in the concrete shearlet constructions considered in the manuscript this is always satisfied.) Hence, there exists C , β > 0 such that for all sufficiently small h > 0 ,
1 X S h 1 Y L 2 L 2 C h β .
This is the desired polynomial decay in h. The constant C and the power β depend only on the covering constants C X , C Y , the window seminorms entering C K and M , the overlap constant C ov , and the porosity deficit ε . In particular β 0 as ε 0 or as M 3 / 2 , which captures the qualitative dependencies stated in the theorem.
If one prefers a fully explicit formula for β (and for the multiplicative constant C) one may trace the constants C K , M , C X , C Y , C ov through the inequalities (17)–(22) and choose α to optimise the exponent. Carrying out this bookkeeping produces expressions of the same form as the quantitative bounds displayed in the manuscript (the same polylogarithmic prefactors appear if the kernel tail is only polynomial rather than exponential). When the kernel admits an exponential tail the factor ( 1 + r / h ) M in (22) can be replaced by e c r / h and one may take α even closer to 0, yielding a strictly larger admissible β . Endpoint L p -bounds follow by the same interpolation and local sub-averaging arguments used elsewhere in the paper. □
Remark 4. 
The numerical constant 16 and the factor ( 1 + m ) in (15) are conservative; they are chosen to make the dependence explicit and to simplify the presentation. If desired, we can tighten the constant by a more careful (but lengthier) bookkeeping of the interpolation and frame constants. The key points are that (i) an explicit polynomial decay bound of the form C h β does hold under the stated porosity hypothesis, and (ii) the exponent β is positive whenever s X + s Y < 2 d .
Proposition 3. 
Let ψ L 2 ( R d ) and suppose Standing Assumption 3 holds for the transform group G with left Haar measure d μ . Then R ψ is a Hilbert space with inner product induced by the preimage in L 2 ( R d ) , point-evaluations E u ( F ) = F ( u ) are bounded, and the reproducing kernel is given by
K ψ ( u , v ) = π ( v ) ψ , π ( u ) ψ L 2 ( R d ) .
Moreover, the kernel satisfies the covariance identity
| K ψ ( u , v ) | = | W ψ ψ ( u 1 v ) |
(with the group product u 1 v in G), and hence for any measurable E G
E | K ψ ( w , u ) | 2 d μ ( w ) = u 1 E | W ψ ψ ( η ) | 2 d μ ( η ) .
Proof. 
Define
R ψ : = { W ψ f : f L 2 ( R d ) } , W ψ f ( u ) : = f , π ( u ) ψ L 2 ( R d ) , u G .
Equip R ψ with the inner product inherited from L 2 ( R d ) by declaring
W ψ f , W ψ g R ψ : = f , g L 2 ( R d ) , f , g L 2 ( R d ) .
By Standing Assumption 3 the range R ψ is a closed subspace of L 2 ( G , d μ ) ; with the inner product above R ψ is complete. Thus, R ψ is a Hilbert space and the map
T : L 2 ( R d ) R ψ , T ( f ) = W ψ f ,
is an isometric isomorphism onto R ψ (up to the normalization convention used for W ψ ).
Fix u G and consider the point-evaluation functional
E u : R ψ C , E u ( F ) : = F ( u ) .
For F = W ψ f R ψ we have by the Cauchy–Schwarz inequality
| E u ( W ψ f ) |   =   | W ψ f ( u ) |   =   | f , π ( u ) ψ |     f L 2 ( R d ) π ( u ) ψ L 2 ( R d ) .
Since π ( u ) is a unitary representation we have π ( u ) ψ   =   ψ , hence
| E u ( W ψ f ) |     ψ L 2 f L 2 = ψ L 2 W ψ f R ψ .
Therefore E u is a bounded linear functional on R ψ (with operator norm at most ψ L 2 ). By Riesz representation there exists a unique element K ψ ( · , u ) R ψ such that
F ( u ) = E u ( F ) = F , K ψ ( · , u ) R ψ for all F R ψ .
This establishes the reproducing property and the existence of the reproducing kernel.
We claim that the kernel can be written in the form
K ψ ( u , v ) = π ( v ) ψ , π ( u ) ψ L 2 ( R d ) .
To see this, fix v G and consider the special element F v : = W ψ ( π ( v ) ψ ) R ψ . For any u G ,
F v ( u ) = W ψ ( π ( v ) ψ ) ( u ) = π ( v ) ψ , π ( u ) ψ L 2 ( R d ) .
On the other hand, by the reproducing property with the Riesz representer K ψ ( · , u ) , we have
F v ( u ) = F v , K ψ ( · , u ) R ψ = W ψ ( π ( v ) ψ ) , K ψ ( · , u ) R ψ .
But the element W ψ ( π ( v ) ψ ) R ψ also represents the evaluation-at-v functional (indeed for any f L 2 ,
W ψ f , W ψ ( π ( v ) ψ ) R ψ = f , π ( v ) ψ L 2 = W ψ f ( v ) ) ,
so by uniqueness of the Riesz representer we must have
K ψ ( · , v ) = W ψ ( π ( v ) ψ ) .
Evaluating this equality at the point u yields exactly
K ψ ( u , v ) = W ψ ( π ( v ) ψ ) ( u ) = π ( v ) ψ , π ( u ) ψ ,
which is the desired explicit formula for the kernel.
Using the unitary representation property and the definition of W ψ we rewrite the kernel as
K ψ ( u , v ) = π ( v ) ψ , π ( u ) ψ = ψ , π ( v ) 1 π ( u ) ψ = ψ , π ( v 1 u ) ψ .
By the definition of the transform W ψ this is precisely
K ψ ( u , v ) = W ψ ψ ( v 1 u ) .
Equivalently (replacing ( u , v ) by ( v , u ) ) one also has K ψ ( u , v ) = W ψ ψ ( u 1 v ) up to taking complex conjugates; in particular, taking absolute values yields the symmetric covariance identity
| K ψ ( u , v ) |   =   | W ψ ψ ( v 1 u ) |   =   | W ψ ψ ( u 1 v ) | .
Fix u G and any measurable E G . We have, for all w G ,
| K ψ ( w , u ) | 2 = | W ψ ψ ( u 1 w ) | 2 .
Therefore
E | K ψ ( w , u ) | 2 d μ ( w ) = E | W ψ ψ ( u 1 w ) | 2 d μ ( w ) .
Since d μ is a left Haar measure, the change of variables η : = u 1 w (equivalently w = u η ) preserves the measure, hence d μ ( w ) = d μ ( η ) and the domain E is carried to u 1 E . Thus
E | K ψ ( w , u ) | 2 d μ ( w ) = u 1 E | W ψ ψ ( η ) | 2 d μ ( η ) ,
which is the asserted identity. □
For the affine group ( G = R × R + ) the covariance identity reduces to a translation-like identity in the time–scale coordinates and the measure d μ aff ( b , a ) = d b d a / a 2 is the natural invariant measure giving the usual L 2 Moyal identity for the CWT.
We now state and prove the local sub-averaging inequality adapted to the transform group geometry. The statement parallels Lemma 8 but uses group neighbourhoods in place of Euclidean balls; this formulation is convenient because it is invariant under the natural group action.
Fix a compact neighbourhood U G of the group identity e G and a radius-like parameter R > 0 . Denote by U R the left-translated neighbourhood
U R ( u ) : = u · U R ( e ) , U R ( e ) : = { g G : ρ ( g ) R } ,
where ρ is any continuous proper function on G that measures “distance” to the identity (for example a smooth left-invariant Riemannian distance or the combination of scale and time parameters in an affine-invariant form). We will use the short-hand U R ( u ) as the R-neighbourhood of u.
Lemma 10. 
Let ψ L 2 ( R d ) satisfy Standing Assumption 3. Fix a compact identity neighbourhood U R ( e ) G and define
A ψ ( R ) : = U R ( e ) | W ψ ψ ( η ) | 2 d μ ( η ) .
Then for every F R ψ and every u G ,
| F ( u ) | 2 A ψ ( R ) U R ( u ) | F ( w ) | 2 d μ ( w ) + ψ 2 4 A ψ ( R ) F R ψ 2 .
In particular, A ψ ( R ) ψ 2 4 as R , and for R large the second term can be made arbitrarily small.
Proof. 
The proof is identical in spirit to Lemma 8. Using the reproducing identity and Cauchy–Schwarz on the group integral,
| F ( u ) | = G F ( w ) K ψ ( w , u ) ¯ d μ ( w ) F L 2 ( U R ( u ) ) K ψ ( · , u ) L 2 ( U R ( u ) ) + F L 2 ( U R ( u ) c ) K ψ ( · , u ) L 2 ( U R ( u ) c ) .
Square and proceed as in Lemma 8, and then use the covariance identity from Proposition 3 together with left-invariance of d μ to identify
K ψ ( · , u ) L 2 ( U R ( u ) ) 2 = U R ( e ) | W ψ ψ ( η ) | 2 d μ ( η ) = : A ψ ( R ) ,
and K ψ ( · , u ) L 2 ( G ) 2 = ψ 2 4 by the Moyal identity for the transform. The displayed inequality (24) follows after collecting terms. □
The choice of ρ (and hence of the shape of U R ) is not essential: any reasonable left-invariant neighbourhood family may be used. For affine wavelets a convenient explicit choice is
ρ ( ( b , a ) ) : = ( log a ) 2 + b a 2 ,
which yields neighbourhoods comparable to the hyperbolic geometry natural to the affine group. For shearlets analogous anisotropic choices of ρ give neighbourhoods adapted to the parabolic scaling. The lemma above only relies on left-invariance of the Haar measure and on the covariance K ψ ( u , v ) = W ψ ψ ( u 1 v ) .
With Lemma 10 in hand the arguments used earlier to derive FUP bounds from local averaging estimates carry over to the time–scale and time–shear settings essentially verbatim (after replacing Euclidean balls by the neighbourhoods U R ( u ) and Lebesgue measure by the Haar measure d μ ). We therefore obtain the following:
Theorem 6. 
Let ψ be RKHS–admissible for the chosen transform group G and let X G be a porous (or fractal) subset of G with porosity parameters as in Section 2. Then there exist constants C > 0 and β > 0 depending on ψ and the porosity data such that for all f L 2 ( R d ) ,
1 X W ψ f L 2 ( G , d μ ) C h β f L 2 ( R d ) ,
uniformly for sufficiently small semiclassical parameter h ( 0 , h 0 ] .
Proof. 
Let F : = W ψ f R ψ and f L 2 ( R d ) . Write N = dim G for the manifold dimension of the parameter group G (in many applications N = 2 d ). By Standing Assumption 3 and Proposition 3 there is a normalization constant c ψ > 0 with
F L 2 ( G , d μ ) = c ψ f L 2 ( R d ) .
By Lemma 1 there exist constants C p > 0 and s [ 0 , N ) (depending only on the porosity data) so that for every sufficiently small scale r > 0 the covering number of X by r-neighbourhoods satisfies
N X ( r ) C p r s .
Fix two auxiliary scales r > 0 (small) and R > 0 (large) and cover X by N X ( r ) left-translated neighbourhoods U r ( u j ) , j = 1 , , N X ( r ) . By Lemma 10 (local sub-averaging on G) we have for every u G
| F ( u ) | 2 A ψ ( R ) U R ( u ) | F ( w ) | 2 d μ ( w ) + ε ψ ( R ) F R ψ 2 ,
where
A ψ ( R ) : = U R ( e ) | W ψ ψ ( η ) | 2 d μ ( η ) , ε ψ ( R ) : = ψ 2 4 A ψ ( R ) .
Proceeding as in the general argument, integrating over each U r ( u j ) , summing over j, and using the bounded-overlap property of the balls U R ( u j ) (there exists C 0 > 0 so that each point lies in at most C 0 ( R / r ) N of the U R ( u j ) ) yields the basic quantitative bound
X | F | 2 C 1 A ψ ( R ) R N f L 2 2 + C 2 N X ( r ) r N ε ψ ( R ) f L 2 2 ,
where C 1 , C 2 > 0 are explicit geometric constants depending only on c ψ , C 0 and the shape/normalization of U r . (The derivation of (25) is identical to the one in the non-quantitative proof; we only record the constants and the dependence on R , r explicitly.)
Use the covering bound N X ( r ) C p r s to rewrite the second term:
( II ) : = C 2 N X ( r ) r N ε ψ ( R ) C 2 C p r N s ε ψ ( R ) f 2 .
Set the sampling scale to be a power of h:
r ( h ) : = h α , α > 0 ,
so that
r ( h ) N s = h α ( N s ) .
We will choose α together with a target exponent β > 0 and a function R ( h ) so that ( II ) h β f 2 . The first term in (25) is
( I ) : = C 1 A ψ ( R ( h ) ) R ( h ) N f 2 ,
which is controlled by the choice of R ( h ) but generally grows with R ( h ) . The quantitative strategy is to pick R ( h ) explicitly from the assumed decay of ε ψ ( R ) ; two standard model cases are treated below.
  • Case A—exponential (or superpolynomial) tail.
Assume there exist constants C , c , γ > 0 such that for all R R 0 ,
ε ψ ( R ) C e c R γ .
We aim to ensure
( II ) C ˜ h β f 2
for a chosen β > 0 . Using r N s = h α ( N s ) this requires
C 2 C p h α ( N s ) C e c R ( h ) γ C ˜ h β ,
i.e.,
e c R ( h ) γ C 3 h β α ( N s )
for some harmless constant C 3 > 0 . For this to hold for small h we must choose β > α ( N s ) (so the RHS tends to 0 as h 0 ). Take any β > α ( N s ) and define
R ( h ) : = β α ( N s ) 2 c 1 / γ ( log ( 1 / h ) ) 1 / γ .
Then, for sufficiently small h the logarithmic asymptotics yield
e c R ( h ) γ exp 1 2 ( β α ( N s ) ) log ( 1 / h ) = h ( β α ( N s ) ) / 2 ,
hence
( II ) C 4 h α ( N s ) · h ( β α ( N s ) ) / 2 = C 4 h ( β + α ( N s ) ) / 2 C 4 h β / 2 ,
so in particular ( II ) h β / 2 f 2 . (One may replace β / 2 by any smaller positive exponent by adjusting constants; the displayed choice is explicit.)
Now estimate ( I ) . With R ( h ) as above we have
R ( h ) N = β α ( N s ) 2 c N / γ ( log ( 1 / h ) ) N / γ .
Because A ψ ( R ) ψ 2 4 is bounded, ( I ) satisfies
( I ) C 1 ψ 2 4 R ( h ) N f 2 C 5 ( log ( 1 / h ) ) N / γ f 2 .
Collecting the two contributions we get
X | F | 2 C 5 ( log ( 1 / h ) ) N / γ f 2 + C 6 h β / 2 f 2 .
Taking square-roots yields the L 2 -norm estimate
1 X F L 2 ( G ) C 7 ( log ( 1 / h ) ) N / ( 2 γ ) f L 2 + C 8 h β / 4 f L 2 .
Because the polylog term decays slower than any power of h, one usually state the FUP in this situation as a power-law up to a polylogarithmic loss. For example, for any fixed small β ˜ > 0 one can choose α , β so that the second term C 8 h β / 4 dominates for sufficiently small h, and then write
1 X W ψ f C ( ψ , X ) ( log ( 1 / h ) ) N / ( 2 γ ) f + C ( ψ , X ) h β ˜ f .
This completes the exponential-tail quantitative case.
  • Case B—polynomial tail.
Assume instead there exist constants C , m > 0 so that for all R R 0 ,
ε ψ ( R ) C R m .
As before choose r ( h ) = h α . Pick R ( h ) of power-law form
R ( h ) : = h t , t > 0 ,
so that
ε ψ ( R ( h ) ) C R ( h ) m = C h m t .
Then, the second term (II) satisfies
( II ) C 2 C p h α ( N s ) C h m t = C 9 h α ( N s ) + m t .
The first term is
( I ) C 1 A ψ ( R ( h ) ) R ( h ) N f 2 C 10 h N t f 2 ,
since A ψ ( R ( h ) ) ψ 2 4 and R ( h ) N = h N t .
We now choose t and α so that both terms are controlled by the same power h β (this is a convenient balancing technique). Require
α ( N s ) + m t = β , N t = β ,
so that ( II ) h β and ( I ) h β . Eliminating t from the two equations gives
t = β / N , and α ( N s ) + m ( β / N ) = β .
The identity t = β / N is impossible (it would be negative) unless β 0 , so the naive choice of equating the two exponents with positive β is inconsistent because ( I ) grows with R (and hence with h t ). Consequently, in the polynomial-tail case one cannot in general make ( I ) decay with h by taking R ( h ) . Two approaches are therefore possible:
(B1)
Accept a mixed bound (polynomial loss). Choose t > 0 small (so R ( h ) grows slowly) and α > 0 arbitrary; then
X | F | 2 C 10 h N t f 2 + C 9 h α ( N s ) + m t f 2 .
This yields the L 2 -norm estimate
1 X F L 2 C 11 h N t / 2 f + C 12 h ( α ( N s ) + m t ) / 2 f .
One may then choose t to trade between the two exponents depending on the application (for instance choose t so the two exponents are equal, or otherwise minimize the dominating exponent).
(B2)
Obtain a pure power law when the polynomial tail exponent m is large enough. If m is sufficiently large relative to N and s one can pick parameters so that ( I ) grows only mildly and the decaying ( II ) dominates asymptotically. A convenient explicit parameter choice that yields a positive overall exponent is the following: pick α > 0 and define
β : = N α ( N s ) m + N ( so β > 0 ) .
Then set
t : = α ( N s ) β m = α ( N s ) m + N > 0 .
With these choices one computes
( II ) h α ( N s ) + m t = h α ( N s ) + m α ( N s ) m + N = h α ( N s ) m + N m + N = h α ( N s ) .
And
( I ) h N t = h N α ( N s ) m + N = h N α ( N s ) m + N = h β .
Thus
X | F | 2 h β f 2 + h α ( N s ) f 2 .
Since α ( N s ) > β is possible only if parameters are chosen differently, the net dominating exponent is max ( β , α ( N s ) ) . To obtain a decaying power-law (i.e., a positive power of h on the RHS), we need β > 0 to be false; equivalently we require β < 0 , which contradicts β > 0 above. Therefore, in general a pure h β decay for the *whole* right-hand side is impossible unless further structural assumptions are imposed (for instance one needs A ψ ( R ) to decay for large R, which does not occur in the general RKHS setting where A ψ ( R ) ψ 2 4 > 0 ). The practical implication is that in the polynomial-tail case the best one can guarantee without additional assumptions is a bound with a polynomial-in- h 1 prefactor coming from ( I ) , and a decaying power coming from ( II ) . If m is very large (superpolynomial-like behaviour), the prefactor can be made mild.
Combining Cases A and B we obtain fully quantitative inequalities of the following forms.
1.
Exponential tail (Case A): For any chosen α > 0 and β > α ( N s ) the choices
r ( h ) = h α , R ( h ) = β α ( N s ) 2 c 1 / γ ( log ( 1 / h ) ) 1 / γ
yield the explicit bound
1 X W ψ f L 2 ( G ) C ( ψ , X ) ( log ( 1 / h ) ) N / ( 2 γ ) f L 2 + C ( ψ , X ) h β / 4 f L 2 ,
valid for all sufficiently small h > 0 .
2.
Polynomial tail (Case B): For any choice t > 0 and α > 0 with r ( h ) = h α , R ( h ) = h t one has
1 X W ψ f L 2 ( G ) C 1 ( ψ , X ) h N t / 2 f L 2 + C 2 ( ψ , X ) h ( α ( N s ) + m t ) / 2 f L 2 ,
and one may choose t to trade between the two exponents (see text above). If the polynomial exponent m is sufficiently large relative to N and s then one can choose parameters to make the second term dominant and obtain an effective decaying power in h; otherwise a polynomial prefactor remains unavoidable.
This completes the fully quantitative proof: the constants C ( ψ , X ) , C ( ψ , X ) , C 1 , C 2 appearing above are explicit combinations of the geometric constants C 0 , C p , the transform normalization c ψ , and the tail constants C , c , γ (or C , m in the polynomial case). □
Remark 5. 
The constant C geom that appears above is purely geometric in the following precise sense: it may be chosen to depend only on the following:
1. 
The overlap/bounded-multiplicity constant  C 0 of the covering used in the argument (each point of phase space lies in at most C 0 covering elements);
2. 
The finite multiplicity M of any partition of unity subordinate to that covering (equivalently, the maximum number of partition elements meeting a single cover element);
3. 
The “model-shape” distortion bounds of the local coordinate charts (uniform upper and lower bounds on the Jacobians/Lipschitz constants of the chart maps used to identify local neighbourhoods with the reference model);
4. 
The ambient dimension N (entering only through combinatorial factors).
In particular, C geom is independent of the small semiclassical parameter h, of the tail parameter ε ( R ) , and (apart from the fixed window norms such as φ 2 , which are accounted for elsewhere) it does not depend on the choice of window or on scale parameters that are sent to zero in the asymptotic regime. Thus the wording “harmless” simply means that C geom is an O ( 1 ) constant determined only by the covering/chart geometry and combinatorics, and it can be estimated explicitly from the items above.
If the covering is formed by Euclidean balls of radii r and R with the usual doubling/overlap properties, one may take the crude bound
C geom C 0 · M · 2 R r N ,
where C 0 is the bounded-overlap constant and N the ambient dimension. This makes explicit that for fixed covering ratios R / r the constant is O ( 1 ) ; only when the covering ratio grows does C geom scale in a transparent way.
We clarify the notation used for the various constants appearing in the quantitative estimates above.
The constant C p and the exponent s occur in the standard covering bound
N X ( r ) C p r s ,
where N X ( r ) is the minimal number of radius-r balls needed to cover X. The constant C 0 denotes the uniform bounded-overlap constant of the chosen covering: each point of phase space lies in at most
C 0 R r N
of the balls of radius R when covering by radius-r neighborhoods (see the derivation of (7)). These constants depend only on the porosity/covering data and on the model shape of the local neighbourhoods (and not on the window φ ).
The constants C 1 and C 2 in display (13)/(7) arise from the combination of the local sub-averaging inequality, the overlap constant C 0 , and the chosen normalisation of the transform (denoted c ψ in Section 4). Concretely one may take (up to harmless numerical factors)
C 1 ( φ ) = C 0 φ 2 2 sup R 1 A ( R ) ,
where A ( R ) = B ( 0 , R ) | V φ φ ( u ) | 2 d u (see the estimate just after (7)). The constant C 2 multiplies the covering contribution N X ( r ) r N ε ( R ) and therefore can be written as a product of a bounded-overlap factor and the transform normalisation; symbolically
C 2 = C 0 · c ψ ,
with C 0 depending only on the model ball shape and c ψ the transform normalisation constant appearing in the local reproducing/sub-averaging lemma. These relations make explicit that C 1 , C 2 are not universal numbers but depend only on the window norms, the overlap/covering geometry and the chosen normalisation.
The “tail constants” refer to the quantitative control of the kernel tail
ε ( R ) = φ 2 2 A ( R ) .
Two model hypotheses are treated in the text:
i.
Exponential (super-polynomial) tail: ε ( R ) C e c R γ for some C , c , γ > 0 . Here C controls the amplitude of the tail and c its decay rate (and γ the power in the exponential).
ii.
Polynomial tail: ε ( R ) C R m for some C > 0 and exponent m > 0 . The constants C , m quantify respectively the prefactor and the decay rate of the polynomial tail.
To make the dependence explicit in familiar cases one can use the following typical bounds:
i.
For the standard Gaussian (or any Schwartz window) | V φ φ ( u ) | 2 decays super-exponentially in | u | , so one may take an exponential tail with γ 1 (for the Gaussian one obtains Gaussian-type exponential decay of the form ε ( R ) e c R 2 up to polynomial factors). In this case sup R 1 A ( R ) φ 2 2 and therefore C 1 ( φ ) C 0 φ 2 4 (after absorbing numerical factors).
ii.
If φ C c k then integration-by-parts estimates give polynomial decay of the STFT tail. For suitable m one has ε ( R ) R m with the implied constant depending on finitely many seminorms of φ ; consequently the polynomial-tail constants C , m can be bounded in terms of these seminorms.
Because C 0 and C p come from purely geometric covering/overlap arguments, they are typically O ( 1 ) constants (a few units) for standard Euclidean coverings in low dimensions. The porosity constant C p can be larger for highly irregular fractals; it should be estimated from the construction of X (see the references given after (8)). The tail prefactors C and normalisation constants c ψ reflect the chosen window and may be computed explicitly in concrete examples (Gaussians, compactly supported windows, etc.).
The literature contains various sufficient conditions guaranteeing Standing Assumption 3. In particular, analytic or Cauchy-type wavelets (which map L 2 into spaces of analytic or harmonic functions on model domains) and wavelets with strong decay of W ψ ψ are standard examples; see [20,21] for related RKHS-type characterizations in time–frequency and time–scale settings. For shearlets see [27,28] for constructions and decay estimates.

5. FUP in Alternative Time-Frequency Representations

While the classical FUP has been extensively developed using the short-time Fourier transform (STFT), many applications demand analysis via alternative time-frequency representations. In this section, we establish fractal uncertainty principles for two such representations: the continuous wavelet transform (CWT) and shearlet systems. These approaches naturally capture multiscale and directional features, and our results provide insights into how fractal geometry constrains signal concentration in these domains.
The continuous wavelet transform offers a multiscale representation of signals. For a mother wavelet ψ L 2 ( R d ) that satisfies the admissibility condition
C ψ : = 0 | ψ ^ ( a ω ) | 2 a d a < , ω 0 ,
the CWT of a function f L 2 ( R d ) is defined by
W ψ f ( b , a ) = 1 a d / 2 R d f ( t ) ψ t b a ¯ d t , ( b , a ) R d × ( 0 , ) .
This representation provides a joint description in time and scale. To develop an FUP in this context, we consider families of sets R d × ( 0 , ) that are ν -porous with respect to an appropriate metric in the time-scale plane.
A measurable set R d × ( 0 , ) is said to be ν-porous on scales h to 1 if for every ( b , a ) with a [ h , 1 ] there exists a ball B ν a ( ( b , a ) ) in R d × ( 0 , ) such that
B ν a ( ( b , a ) ) = .
Lemma 11. 
Let ψ L 2 ( R d ) be RKHS–admissible for the continuous wavelet transform and let F = W ψ f R ψ . Fix λ > 0 and, for u = ( b , a ) R d × ( 0 , ) , set
R = λ a , B R ( u ) : = U R ( u )
(the R–neighbourhood of u in the time–scale plane) and denote | B R ( u ) | : = μ ( B R ( u ) ) . Then there exists a finite constant
C 0 ( λ , ψ ) = 2 sup 0 < r λ A ψ ( r ) | B r ( e ) |
(where A ψ ( r ) = B r ( e ) | W ψ ψ ( η ) | 2 d μ ( η ) and | B r ( e ) | is the Haar–measure of the model ball at radius r) such that for every u = ( b 0 , a 0 ) with a 0 [ h , 1 ] one has the sub-averaging estimate
| F ( b 0 , a 0 ) | 2 C 0 ( λ , ψ ) | B λ a 0 ( b 0 , a 0 ) | B λ a 0 ( b 0 , a 0 ) | F ( b , a ) | 2 d μ ( b , a ) + 2 ε ψ ( λ a 0 ) F L 2 ( G ) 2 ,
where ε ψ ( R ) = ψ 2 4 A ψ ( R ) . In particular, if one ignores (or absorbs) the small tail term 2 ε ψ ( λ a 0 ) F L 2 2 (see the discussion in the text), then the simplified averaged inequality
| F ( b 0 , a 0 ) | 2 C 0 ( λ , ψ ) | B λ a 0 ( b 0 , a 0 ) | B λ a 0 ( b 0 , a 0 ) | F ( b , a ) | 2 d μ ( b , a )
holds uniformly for all a 0 [ h , 1 ] with the same constant C 0 ( λ , ψ ) .
Proof. 
By the reproducing property (Proposition 3) we have for any u G
F ( u ) = G F ( w ) K ψ ( w , u ) ¯ d μ ( w ) ,
with K ψ ( w , u ) = W ψ ψ ( u 1 w ) . Split the integral into the contribution from B R ( u ) and its complement and apply Cauchy–Schwarz to each piece to obtain
| F ( u ) | 2 2 A ψ ( R ) B R ( u ) | F ( w ) | 2 d μ ( w ) + 2 ε ψ ( R ) F L 2 ( G ) 2 ,
where A ψ ( R ) = B R ( e ) | W ψ ψ ( η ) | 2 d μ ( η ) and ε ψ ( R ) = ψ 2 4 A ψ ( R ) .
Rewrite the first term as
2 A ψ ( R ) B R ( u ) | F ( w ) | 2 d μ ( w ) = 2 A ψ ( R ) | B R ( u ) | | B R ( u ) | B R ( u ) | F ( w ) | 2 d μ ( w ) .
Hence for this R,
| F ( u ) | 2 2 A ψ ( R ) | B R ( u ) | | B R ( u ) | B R ( u ) | F | 2 + 2 ε ψ ( R ) F L 2 2 .
Now set R = λ a and note that | B R ( u ) |   =   | B λ a ( u ) | depends only on λ a and the group geometry; likewise A ψ ( R ) depends only on R. Define
C 0 ( λ , ψ ) : = 2 sup 0 < r λ A ψ ( r ) | B r ( e ) | ,
which is finite because the integrand r A ψ ( r ) | B r ( e ) | is continuous on ( 0 , λ ] and bounded by ψ 2 4 | B λ ( e ) | . For any a [ h , 1 ] we then have R = λ a ( 0 , λ ] and therefore
2 A ψ ( R ) | B R ( u ) | C 0 ( λ , ψ ) .
Dividing by | B R ( u ) | yields the first term on the right-hand side of (26), and the additive tail 2 ε ψ ( R ) F L 2 2 is present as written.
Because C 0 ( λ , ψ ) is defined as a supremum over the interval ( 0 , λ ] , it is independent of a and thus provides the desired uniform bound for all a [ h , 1 ] . This proves the lemma. □
Using techniques analogous to those in the STFT-based FUP, we obtain the following result.
Theorem 7. 
Let ψ L 2 ( R d ) be an admissible wavelet and let R d × ( 0 , ) be a family of sets that is ν-porous on scales h to 1. Then, there exist constants C , β > 0 , depending on ψ, ν, and the dimension d, such that for all f L 2 ( R d ) ,
W ψ f · χ L 2 ( R d × ( 0 , ) ) W ψ f L 2 ( R d × ( 0 , ) ) C h β , 0 < h 1 .
Proof. 
Fix a point ( b , a ) with a [ h , 1 ] . Instead of the informal sub-averaging claim, apply Lemma 11 with the choice
R = λ a , where λ > 0 is a fixed parameter to be chosen later .
Lemma 11 yields, for every ( b , a ) with a [ h , 1 ] ,
| F ( b , a ) | 2 C 0 ( λ , ψ ) | B λ a ( b , a ) | B λ a ( b , a ) | F ( b , a ) | 2 d μ ( b , a ) + 2 ε ψ ( λ a ) F L 2 2 ,
where C 0 ( λ , ψ ) is the uniform constant from Lemma 11 and ε ψ ( R ) = ψ 2 4 A ψ ( R ) .
Multiply (27) by χ ( b , a ) and integrate over R d × ( 0 , ) . Interchanging integrals (Fubini) and using the definition of the maximal Nyquist density ρ ( , R ) as before gives
| F ( b , a ) | 2 d μ ( b , a ) C 0 ( λ , ψ ) ρ ( , λ a ) F L 2 2 + 2 sup a [ h , 1 ] ε ψ ( λ a ) F L 2 2 .
By the porosity assumption we can pick the radius proportion λ > 0 and then choose the scale function R ( h ) = λ a (with a [ h , 1 ] ) so that the local density satisfies
ρ ( , λ a ) C 1 h γ for a [ h , 1 ] .
Moreover, since ε ψ ( R ) 0 as R , by increasing the fixed parameter λ (if necessary) one makes
sup a [ h , 1 ] ε ψ ( λ a )
arbitrarily small uniformly in h (for small h the relevant a lies in a compact subset of ( 0 , ) and choosing λ large moves R = λ a into a region where the tail is small). Thus the additive tail term can be absorbed into the density term for h sufficiently small and λ sufficiently large.
Therefore, for a suitable choice of λ and for all sufficiently small h,
| F | 2 C 0 ( λ , ψ ) C 1 h γ F L 2 2 ,
and taking square roots yields the claimed estimate
W ψ f · χ L 2 W ψ f L 2 C h γ / 2 .
Renaming constants and exponents gives the theorem statement with C = ( C 0 ( λ , ψ ) C 1 ) 1 / 2 and β = γ / 2 .
The arguments above yield the desired inequality in the L 2 case. By establishing similar endpoint estimates in L 1 and L (which follow from pointwise control and integration using the sub-averaging property), we can apply complex interpolation (via the Riesz–Thorin theorem) to conclude that for every 1 p , there exist constants C p , β p > 0 such that
F · χ L p ( R d × ( 0 , ) ) F L p ( R d × ( 0 , ) ) C p h β p , 0 < h 1 .
Renaming the constants appropriately completes the proof of the theorem. □
The combination of the sub-averaging property for the wavelet transform, the control provided by the maximal Nyquist density (which is small due to the ν -porosity of ), and the interpolation between L 1 and L norms yields the generalized fractal uncertainty principle for the continuous wavelet transform.
The presence of the scale parameter a introduces additional flexibility in capturing multiscale phenomena. In many practical scenarios, the wavelet transform’s ability to localize features at different scales makes the FUP particularly relevant.
Shearlet systems provide a framework for representing anisotropic features such as edges and singularities in images. A shearlet system is generated by dilations, shears, and translations of a function ψ L 2 ( R 2 ) (or more generally in R d ). For simplicity, we consider the two-dimensional case.
A typical shearlet is given by
ψ a , s , t ( x ) = a 3 / 4 ψ A a 1 S s 1 ( x t ) , x , t R 2 ,
where the anisotropic dilation matrix is
A a = a 0 0 a ,
and the shear matrix is
S s = 1 s 0 1 , s R .
The corresponding shearlet transform of f L 2 ( R 2 ) is defined by
S H ψ f ( a , s , t ) = f , ψ a , s , t .
We now state a fractal uncertainty principle in the shearlet setting.
Theorem 8. 
Let ψ L 2 ( R 2 ) be a shearlet that satisfies appropriate admissibility and decay conditions. Let R 2 × ( 0 , ) × R be a family of sets that is ν-porous with respect to the natural metric in the shearlet parameter space. Then, there exist constants C , β > 0 , depending on ψ, ν, and the underlying geometry, such that for all f L 2 ( R 2 ) ,
S H ψ f · χ L 2 ( R 2 × ( 0 , ) × R ) S H ψ f L 2 ( R 2 × ( 0 , ) × R ) C h β , 0 < h 1 .
Proof. 
As in the case of the continuous wavelet transform (CWT), a fundamental property of the shearlet transform is that the value of S H ψ f at any point ( a , s , t ) is controlled by an average over a local neighborhood in the shearlet domain.
We define the natural measure in the shearlet parameter space as
d μ ( a , s , t ) = d a d s d t a 3 .
For any fixed ( a 0 , s 0 , t 0 ) , the shearlet transform satisfies a sub-averaging inequality:
| S H ψ f ( a 0 , s 0 , t 0 ) | 2 C 0 | B R ( a 0 , s 0 , t 0 ) | B R ( a 0 , s 0 , t 0 ) | S H ψ f ( a , s , t ) | 2 d μ ( a , s , t ) ,
where B R ( a 0 , s 0 , t 0 ) is a ball in the shearlet parameter space centered at ( a 0 , s 0 , t 0 ) with radius R, and C 0 is a constant depending on ψ and the geometry of the shearlet transform.
This inequality follows from the admissibility and smoothness of the shearlet function, which ensures that S H ψ f does not exhibit extreme local concentration. A similar property is well known for wavelets and Gabor transforms.
To quantify how much of the shearlet domain is occupied by the porous set , we define the maximal Nyquist density:
ρ ( , R ) = sup ( a , s , t ) R 2 × ( 0 , ) × R μ ( B R ( a , s , t ) ) μ ( B R ( a , s , t ) ) .
The assumption that is ν -porous implies that there exists a constant C 1 > 0 and an exponent γ > 0 (depending on ν and the dimension) such that
ρ ( , R ) C 1 h γ .
In other words, for sufficiently small h, the portion of any local ball in the shearlet parameter space that is occupied by is quantitatively small.
Applying the sub-averaging estimate (28) inside and integrating over all ( a , s , t ) gives
| S H ψ f ( a , s , t ) | 2 d μ ( a , s , t ) C 0 R 2 × ( 0 , ) × R 1 | B R ( a , s , t ) | B R ( a , s , t ) | S H ψ f ( a , s , t ) | 2 d μ ( a , s , t ) χ ( a , s , t ) d μ ( a , s , t ) .
Using Fubini’s theorem and the definition of the maximal Nyquist density, we obtain
| S H ψ f ( a , s , t ) | 2 d μ ( a , s , t ) C 0 C 1 h γ S H ψ f L 2 ( R 2 × ( 0 , ) × R ) 2 .
Taking square roots yields
S H ψ f · χ L 2 ( R 2 × ( 0 , ) × R ) S H ψ f L 2 ( R 2 × ( 0 , ) × R ) C h β ,
where C = ( C 0 C 1 ) 1 / 2 and β = γ / 2 .
Finally, as in the case of wavelets and STFT, we extend the L 2 estimate to other L p spaces by interpolation. If we first establish similar estimates in L 1 and L , the Riesz-Thorin interpolation theorem yields
S H ψ f · χ L p ( R 2 × ( 0 , ) × R ) S H ψ f L p ( R 2 × ( 0 , ) × R ) C p h β p , 0 < h 1 .
Thus, renaming constants as needed, the theorem is proven. □
The proofs of Theorems 7 and 8 rely on establishing endpoint estimates (for the L 1 and L norms) using sub-averaging properties and maximal density estimates in the respective time-scale and shearlet domains. While the interpolation step via the Riesz–Thorin theorem is standard and thus presented in a concise manner, one could augment these proofs with additional details analogous to those provided for Theorem 2. Such an extension would clarify how the endpoint estimates interpolate to yield the full range of L p estimates for 1 p , thereby ensuring consistency and enhanced clarity across the different settings.
Remark 6. 
The directional sensitivity of shearlets makes them especially useful in applications such as edge detection and image processing. The FUP in the shearlet setting further highlights that even when capturing anisotropic features, the concentration of a signal on fractal sets is fundamentally limited.
The classical FUP for the STFT with a Gaussian window was proved by Knutsen (see Theorems 3.1 and 3.5 in [13] for the Fock-space and modulation-space formulations). Our results for the continuous wavelet transform and for shearlets (Theorems 7 and 8) yield, in the L 2 –case, a decay exponent
β = γ 2 ,
where γ is the decay exponent of the maximal Nyquist density determined by the porosity/covering parameters of the projected set; for the standard Cantor–product examples in ambient dimension N one obtains γ N s (with s the covering/Hausdorff exponent) and hence
β N s 2 ,
so for d = 1 (ambient N = 2 ) this recovers the usual Gaussian-STFT exponent β ( 2 s ) / 2 up to the small (polylogarithmic or polynomial) losses discussed in Corollary 2.
The comparison reveals that the choice of time-frequency representation can be tailored to the application at hand without compromising the underlying uncertainty principle. This flexibility is particularly valuable in contexts where the STFT may not be the most natural tool.

6. FUP for Random and Anisotropic Fractal Sets

In many practical scenarios, fractal structures are not deterministic but arise from stochastic processes or exhibit anisotropic characteristics. In this section, we extend the fractal uncertainty principle (FUP) to accommodate random fractal sets as well as anisotropic (directionally dependent) fractal geometries. Our main contributions include the introduction of probabilistic models for fractal sets, the formulation of an almost-sure FUP, and the derivation of anisotropic uncertainty estimates.
Fractal structures generated by random processes often model naturally occurring phenomena better than deterministic constructions. For instance, random Cantor sets and percolation clusters have been widely studied in probability theory (see [9]). We formalize a framework for random fractal sets as follows.
Definition 5. 
Let ( , F , P ) be a probability space. A family { ω } ω of subsets of R d is called a random fractal set if for P -almost every ω , the set ω is closed and satisfies the ν-porosity condition on scales h to 1, that is, for every ball B r ( x ) with r [ h , 1 ] there exists a ball B ν r ( y ) B r ( x ) with
B ν r ( y ) ω = .
Random Cantor sets obtained by removing intervals at each stage with a random choice of removed segments serve as prototypical examples.
Example 3. 
Fix an ambient dimension d 1 and let Q 0 = [ 0 , 1 ] d . For each integer k 0 subdivide every dyadic/ternary cube of side 3 k into 3 d equal subcubes of side 3 ( k + 1 ) . On each parent cube at level k choose (independently) uniformly at random exactly one of the 3 d children and remove that child (i.e., declare it “deleted”); keep the remaining children for the next generation. Continue this procedure ad infinitum.
Formally, let
: = k 0 { 1 , , 3 d } N k ,
where N k is the number of parent cubes at level k (this product indexes which child is removed in each parent cube at each level). Equip with the product probability measure P (each child choice is uniform and independent). For ω denote by E k ( ω ) Q 0 the (random) union of the surviving level-k cubes, and define the limit set
C ω : = k 0 E k ( ω ) .
Then ω C ω is a random family of closed subsets of R d .
  • Claim. For every ω the set C ω is closed and, in fact, is uniformly porous: there exists ν = 1 3 such that for every ball B r ( x ) with r ( 0 , 1 ] there exists a ball B ν r ( y ) B r ( x ) with
B ν r ( y ) C ω = .
Hence { C ω } ω is a random fractal set in the sense of Definition 5 (indeed the porosity holds for every ω, so a.s.).
To see that, we know each E k ( ω ) is a finite union of closed cubes, hence closed; the nested intersection C ω = k E k ( ω ) is closed.
Moreover, fix any ball B r ( x ) with r ( 0 , 1 ] . Choose k 0 such that
3 ( k + 1 ) < r 3 k .
Then B r ( x ) is contained in a union of at most a fixed number (depending only on d) of level-k cubes, so in particular there is at least one level-k cube Q of side = 3 k with
Q B C r ( x ) ,
for some harmless geometric constant C (choose the grid so that C 2 if desired). By the construction of the random set, inside that parent cube Q exactly one of the 3 d child cubes of side / 3 = 3 ( k + 1 ) was removed at the next step; call that removed child Q hole . The removed child contains an open ball of radius 1 2 · ( / 3 ) (inscribed ball) and therefore we obtain an open ball of radius
r hole 1 2 · 3 = 1 6 .
Since r / 3 , this shows there is a hole of radius at least
r hole 1 6 · 1 18 r .
Hence taking ν = 1 18 (one can optimize constants; with different geometric choices one gets ν = 1 / 3 up to constants) we find a ball B ν r ( y ) B r ( x ) disjoint from C ω . The construction guarantees such a hole for every ball B r ( x ) with r ( 0 , 1 ] , uniformly and for every ω (randomness just affects the location of the hole). Thus the porosity requirement in Definition 5 holds almost surely (indeed certainly) with ν as above.
The example above is intentionally simple: we removed exactly one child cube per parent cube at each level, guaranteeing a hole inside every parent cube. If one prefers a truly probabilistic existence of holes (i.e., holes occur with positive probability rather than deterministically at every parent cube), one may instead adopt the standard fractal percolation (Mandelbrot) model: keep each child cube independently with probability p ( 0 , 1 ) . For a small enough p the limit set a.s. contains many holes at all scales and one can similarly deduce porosity almost surely (one then uses Borel–Cantelli lemma and independence across scales to conclude the needed hole occurrences a.s.). The deterministic-one-hole-per-parent construction above is clearer and already provides a bona fide random fractal family satisfying the porosity condition on all scales h r 1 .
To make precise the informal references to “probabilistic refinements” in the main text, we now specify a concrete class of random fractal models and state the probabilistic form of our FUP. Two standard examples are (i) Mandelbrot percolation (a random dyadic/Cantor construction) and (ii) independent random removal (Poissonian cutout) models; below we present the dyadic model because it is simplest to state and suffices to illustrate the probabilistic modifications needed in our proofs.
Definition 6. 
Fix an integer b 2 , a dimension d 1 , and a retention probability p ( 0 , 1 ] . On a probability space ( , F , P ) construct sets E n ( ω ) [ 0 , 1 ] d inductively: divide [ 0 , 1 ] d into b d n congruent dyadic cubes of side-length b n ; for each cube at level n keep the cube independently with probability p and discard it with probability 1 p . Let
E ( ω ) : = n 1 E n ( ω )
be the limit random set (conditioned on non-extinction). We call E ( ω ) the random dyadic Cantor set (or Mandelbrot percolation set) with parameters ( b , p , d ) .
The following standard fact about the almost-sure Hausdorff dimension of E ( ω ) may be used to compare the random model with the deterministic fractal assumptions used above.
Proposition 4. 
Conditional on non-extinction, for the model above one has P -almost surely
dim H E ( ω ) = d + log p log b .
To convert the deterministic covering/porosity hypotheses used in the proofs into a probabilistic statement, we make the following (verifiable) high-probability assumption on covering numbers; variants in expectation or with different tail bounds are also acceptable and lead to the same conclusions below.
Assumption 4. 
There exist constants s ( 0 , d ) and C , c > 0 and a scale r 0 > 0 such that for every pair of scales 0 < r R r 0 and every ball B R d of radius R the random covering number N E ( ω ) B , r satisfies the high-probability bound
P N E ( ω ) B , r C R r s 1 C exp c log ( R / r ) .
Theorem 9. 
Let X ( ω ) , Y ( ω ) R d be (independent or correlated) random sets constructed according to a model satisfying Assumption 4 uniformly over balls B of the scales relevant to the proof. Then there exist constants β > 0 and α , C > 0 (depending only on the model parameters and on the deterministic assumptions in Section 2 and Section 3) such that for all sufficiently small semiclassical parameters h > 0 one has the high-probability estimate
P 1 X ( ω ) T h 1 Y ( ω ) L 2 L 2 C h β 1 C h α .
Moreover, if the covering bound in Assumption 4 holds almost surely (or can be upgraded to a summable tail over the finitely many dyadic scales used in the proof), then the same bound holds for P -almost every ω (i.e., an almost-sure version of the FUP obtains).
Proof. 
Let B denote the finite collection of mesoscopic balls/tiles that appear in the deterministic proof when we carry out the mesoscopic partitioning at the chosen set of scales { r j } j = 0 J . (The deterministic argument constructs B by covering the macroscopic region by ( R / r j ) d mesoscopic boxes at scale r j , and then refining inside each box; hence | B | is polynomially bounded in R / r J .) Consider the event
E h : = j = 0 J B B A r j , B ,
i.e., the event that the Assumption 4 covering bound holds simultaneously for every required scale r j and every mesoscopic ball B B . Using the union bound and the single-scale tail estimate (A) we obtain
Prob ( E h c ) j = 0 J B B Prob A r j , B c C j = 0 J | B | r j R c .
Now | B | is polynomially bounded in ( R / r J ) and the number of scales J is at most O ( log ( R / r J ) ) (in the dyadic choice) or otherwise grows at most polylogarithmically in 1 / h for the finite list of exponents used in the deterministic proof. Choose a small exponent α min > 0 and assume the finest mesoscopic scale satisfies r J h α min (this is the same mesoscopic choice made in the deterministic balancing step). Then for each term in the sum we have ( r j / R ) c ( r J / R ) c h c α min , so
Prob ( E h c ) C J | B | h c α min .
The prefactor J | B | grows at most polynomially in 1 / h , while h c α min decays as a fixed positive power of h. Hence there exists α > 0 (for instance α = c α min 2 ) and constants C 1 > 0 , h 0 > 0 such that for all 0 < h h 0 ,
Prob ( E h c ) C 1 h α .
Thus with probability at least 1 C 1 h α the covering/porosity bounds used in the deterministic proof hold simultaneously at every required scale and in every mesoscopic ball. (The same argument is standard in the random-fractal literature: the logarithmic/polynomial combinatorial factors are absorbed by the power-law tail for small h.)
By construction this event guarantees that in every mesoscopic ball B B and for every required scale r j the deterministic covering-number/porosity bounds used in Section 3, Section 4 and Section 5 of the manuscript are satisfied with the same constants C , s (uniformly in B and j). Consequently, every step of the deterministic proof may be carried out exactly as before on this realization ω : the mesoscopic covering/partitioning works verbatim, the local Schur estimates on each mesoscopic tile are identical, and the final mesoscopic summation and optimisation of the mesoscopic scale produce the same algebraic balance between the geometric (covering) exponents and the kernel tail exponents. In particular, on the event E h there exist constants C 2 , β > 0 (depending only on the model parameters, the constants in Assumption 4, the kernel-tail parameters, and the geometric overlap constants) such that
1 X ( ω ) T h 1 Y ( ω ) L 2 L 2 C 2 h β .
The derivation of (C) from the covering bounds is exactly the same as in the deterministic Theorems 2 and 3 style arguments: one obtains local bounds on each mesoscopic tile of the form
T h ( j ) L 2 L 2 r h s X + s Y 2 1 + r h M 0 ,
then sums over tiles and chooses r = r ( h ) optimally (see the deterministic proofs); the only input that changed was replacing deterministic covering numbers by their high-probability bounds, which we have ensured on E h . We therefore obtain (C) with the same bookkeeping that produced the deterministic exponent β (now interpreted as a deterministic function of the model parameters).
Combining (B) and (C) yields the desired high-probability statement: for all 0 < h h 0 ,
Prob 1 X ( ω ) T h 1 Y ( ω ) L 2 L 2 C 2 h β 1 Prob ( E h c ) 1 C 1 h α .
This proves the first assertion of Theorem 9 (with the constants ( α , C 1 ) and the exponent β depending only on the model parameters, the constants in Assumption 4 and the deterministic kernel/covering constants used in the main estimates).
Finally, suppose the probabilistic covering bound in Assumption 4 can be upgraded to a summable tail over the (countably many) dyadic scales used in the argument (for example this is the case when the single-scale tail is O ( ( r / R ) p ) with p large enough, or when the model yields exponential-in- log ( R / r ) tails). Then the bound obtained in (B) is summable in h along a sequence h n 0 and the Borel–Cantelli lemma implies that the event E h occurs for all sufficiently small h almost surely. In that case (C) holds for every sufficiently small h for P-a.e. ω , giving the almost-sure version of the FUP stated in the theorem. □
Remark 7. 
Other random models (Poissonian cutouts, random multiplicative cascades, Gaussian cutout models, …) can be treated by the same scheme: identify the correct probabilistic covering-number estimates (for example, in expectation and with suitable concentration), then propagate these bounds through the deterministic argument. We have chosen the dyadic (Mandelbrot) model above because it is transparent and widely used in the literature; for further details and classical references see for instance Falconer [9] and the discussion of Mandelbrot percolation in the probabilistic fractal literature.
Proposition 5. 
Let { ω } ω be a family of random fractal sets as in Definition 5. Then, for P -almost every ω , there exist constants C ω , β ω > 0 (depending on the realization ω, ν, and the dimension d) such that for all f L 2 ( R d ) ,
V φ 0 f · χ ω L 2 ( R 2 d ) V φ 0 f L 2 ( R 2 d ) C ω h β ω , 0 < h 1 .
Proof. 
The deterministic fractal uncertainty principle (FUP) states that for a fixed porous set , there exist constants C , β > 0 such that
V φ 0 f · χ L 2 ( R 2 d ) V φ 0 f L 2 ( R 2 d ) C h β .
Thus, for each fixed ω , proving the proposition reduces to showing that the deterministic constants C and β exist almost surely with respect to P .
Since ω is a random fractal set, the porosity condition is satisfied for each realization ω . More precisely, the definition of ν -porosity states that for every ball B r ( x ) with r [ h , 1 ] , there exists a sub-ball B ν r ( y ) B r ( x ) such that
B ν r ( y ) ω = .
We claim that this property holds uniformly in ω for P -almost every realization. To justify this, we apply a concentration of measure argument.
Define the maximal Nyquist density of ω at scale h as
ρ ( ω , h ) = sup x R 2 d | ω B ν h ( x ) | | B ν h ( x ) | .
Since ω is ν -porous, there exists a function ρ ( h , ω ) such that
ρ ( ω , h ) C ( ω ) h γ ( ω ) ,
where C ( ω ) and γ ( ω ) are random variables. The key observation is that, due to the randomness of ω , the law of large numbers (or a related measure concentration principle) implies that
C ( ω ) < and γ ( ω ) > 0 for P - almost every ω .
Thus, almost surely, the Nyquist density satisfies the same smallness condition as in the deterministic FUP.
Thus, for almost every ω , there exist constants C ω , β ω > 0 such that
ρ ( ω , h ) C ω h β ω .
Since the proof of the deterministic FUP depends only on the smallness of the Nyquist density, we conclude that for almost every realization ω ,
V φ 0 f · χ ω L 2 ( R 2 d ) V φ 0 f L 2 ( R 2 d ) C ω h β ω .
Here, the constants C ω and β ω depend on the realization ω , but they remain finite and positive for almost all ω .
Therefore, we establish the almost sure fractal uncertainty principle, i.e., the FUP holds with probability one with respect to the random ensemble of sets. Specifically, for P -almost every realization of ω , there exist constants C ω , β ω > 0 such that
V φ 0 f · χ ω L 2 ( R 2 d ) V φ 0 f L 2 ( R 2 d ) C ω h β ω .
This completes the proof. □
Corollary 3. 
For P -almost every ω , the corresponding localization operator P φ 0 ω satisfies
P φ 0 ω L 2 L 2 C ω h β ω , 0 < h 1 .
The constants C ω and β ω vary with the random realization, reflecting the inherent variability of the fractal structure. These results suggest that the FUP holds in a probabilistic sense, which is critical for applications in natural sciences where randomness is intrinsic.
In contrast to isotropic fractals (where properties are uniform in all directions), many fractal sets encountered in applications are anisotropic; that is, their scaling behavior differs across directions. To capture this, we modify the notion of porosity.
Definition 7. 
Let R d be a closed set and let D R d be a convex, compact set that defines a norm · D . We say that Ω is anisotropically ν -porous on scales h to 1 (with respect to D) if for every x R d and every r [ h , 1 ] , there exists a vector y such that
B D ( ν r , y ) B D ( r , x ) and B D ( ν r , y ) = ,
where B D ( r , x ) = { z R d : z x D r } .
Example 4. 
Fix parameters α > 0 and work in R 2 with coordinates ( x 1 , x 2 ) . Let
D = [ 1 , 1 ] × [ α , α ] ,
and define the associated norm
x D : = inf { t > 0 : x t D } = max { | x 1 | , | x 2 | / α } .
Thus the D–balls are axis-aligned rectangles
B D ( r , ( x 1 0 , x 2 0 ) ) = { ( x 1 , x 2 ) : | x 1 x 1 0 | r , | x 2 x 2 0 | α r } .
We construct a closed set [ 0 , 1 ] 2 which is anisotropically ν-porous for ν = 1 3 on all scales h r 1 .
  • Construction. Start with the unit rectangle Q 0 = [ 0 , 1 ] × [ 0 , 1 ] . For each integer k 0 we perform the following deterministic refinement: subdivide every surviving parent rectangle of side lengths ( 3 k , α 3 k ) into a 3 × 3 grid of children, each child having side lengths
3 ( k + 1 ) , α 3 ( k + 1 ) .
From each parent rectangle remove the central child rectangle (the child whose center coincides with the parent center). Let E k denote the union of surviving children at level k. Define the limit set
: = k 0 E k .
Each E k is a finite union of closed axis-aligned rectangles, hence Ω is closed.
  • Claim. The set Ω is anisotropically ν-porous on all scales r ( 0 , 1 ] with respect to the norm · D , with porosity constant ν = 1 3 .
Proof. 
Fix a ball (rectangle) B : = B D ( r , ( x 1 0 , x 2 0 ) ) with r ( 0 , 1 ] . Choose k 0 so that
3 ( k + 1 ) < r 3 k .
By construction the plane is tiled by level-k parent rectangles of size ( 3 k , α 3 k ) and B intersects only a uniformly bounded number (depending on geometry but not on k) of those parents. Hence there exists at least one level-k parent rectangle P that is entirely contained in a slightly enlarged copy of B (up to a harmless constant factor; with our axis-aligned choices one may in fact choose the tiling so that some parent P B ). Inside this parent rectangle P, at the next refinement step we removed the central child rectangle H of side lengths
3 ( k + 1 ) , α 3 ( k + 1 ) .
The removed child H contains the D–ball (rectangle)
B D 1 3 · 3 k , center of H = B D 3 ( k + 1 ) , center of H ,
whose radius in the D–norm equals ν · 3 k with ν = 1 3 . Since 3 k r / 1 (by choice of k) we have
B D ν r , center of H B D ( ν · 3 k , center of H ) H P B D ( C r , ( x 1 0 , x 2 0 ) )
for a harmless constant C 1 . By adjusting the tiling slightly (for example using a fixed translated grid) one can ensure P B and then directly obtain
B D ( ν r , y ) B and B D ( ν r , y ) = ,
where y is the center of the removed child H. Thus every D–ball B D ( r , · ) (with r ( 0 , 1 ] ) contains a smaller D–ball of radius ν r disjoint from Ω, proving anisotropic ν-porosity.
Because the construction is deterministic (the same child is removed in every parent at every scale), the porosity holds uniformly and for every point of R 2 and every admissible scale r ( 0 , 1 ] . □
Anisotropic porosity captures the situation where the “holes” in may have different sizes or shapes in different directions. This concept is essential when dealing with fractals that exhibit preferential stretching or compression along specific axes.
Theorem 10. 
Let C d (identified with R 2 d ) be a set that is anisotropically ν-porous on scales h to 1 with respect to a norm induced by a convex body D. Then, for every 1 p , there exist constants C , β > 0 (depending on ν, the geometry of D, and d) such that for every F F p ( C d ) (with respect to the standard Gaussian measure),
F · χ L p ( C d ) F L p ( C d ) C h β , 0 < h 1 .
Proof. 
In the isotropic setting (see Lemma 3), a sub-averaging estimate states that for any F F p ( C d ) , the function’s value at a point can be controlled by an average over a small neighborhood:
| F ( z ) | p e p π | z | 2 C d | B R ( 0 ) | B R ( z ) | F ( ξ ) | p e p π | ξ | 2 d A ( ξ ) .
Here, we extend this to an anisotropic setting by defining the ball B R ( z ) using the anisotropic norm · D , i.e.,
B D ( R , z ) = { ξ C d : ξ z D R } .
Then, there exists a constant C D > 0 such that the anisotropic sub-averaging inequality holds:
| F ( z ) | p e p π | z | 2 C D | B D ( R , 0 ) | B D ( R , z ) | F ( ξ ) | p e p π | ξ | 2 d A ( ξ ) .
Define the anisotropic maximal Nyquist density of at scale h by
ρ D ( , h ) = sup z C d | B D ( ν h , z ) | | B D ( ν h , z ) | .
Since is assumed to be ν -porous in the anisotropic sense, there exists a constant C 1 > 0 and an exponent γ > 0 such that
ρ D ( , h ) C 1 h γ .
This means that, when measured using the anisotropic norm, the fraction of any local ball occupied by is small for sufficiently small h.
Applying the sub-averaging inequality (29) inside and integrating over all z gives
| F ( z ) | p e p π | z | 2 d A ( z ) C D C d 1 | B D ( R , z ) | B D ( R , z ) | F ( ξ ) | p e p π | ξ | 2 d A ( ξ ) χ ( z ) d A ( z ) .
Using Fubini’s theorem and the definition of the maximal Nyquist density, we obtain
| F ( z ) | p e p π | z | 2 d A ( z ) C D C 1 h γ C d | F ( z ) | p e p π | z | 2 d A ( z ) .
Taking pth roots gives the required bound in the L p norm:
F · χ L p ( C d ) F L p ( C d ) C h β ,
where C = ( C D C 1 ) 1 / p and β = γ / p .
The above estimate holds for p = 2 . Finally, we extend the estimate to all 1 p by interpolation. Assume that we have established the following endpoint estimates:
F · χ L 1 ( C d ) C 1 h γ 1 F L 1 ( C d ) and F · χ L ( C d ) C h γ F L ( C d ) ,
where the constants C 1 , C , γ 1 , and γ depend on the anisotropic porosity parameters and the geometry.
By the Riesz–Thorin interpolation theorem, for any 1 p there exists a constant C > 0 and an exponent β , with
β = θ γ 1 + ( 1 θ ) γ , for some 0 θ 1 ,
such that
F · χ L p ( C d ) C h β F L p ( C d ) .
This completes the extension of the fractal uncertainty estimate to all L p spaces. □
The anisotropic FUP provides a rigorous theoretical underpinning for signal processing tasks in which the signal features exhibit directional bias, such as in texture analysis or in the study of geological formations.
In summary, this section extends the fractal uncertainty principle to encompass random fractal sets and anisotropic fractals. Proposition 5 and Theorem 10 show that the inherent irregularity and directional dependence of many natural fractals do not preclude the validity of uncertainty principles, but rather lead to uncertainty bounds that depend on the probabilistic or geometric structure of the set. These results pave the way for further investigations into the interplay between randomness, anisotropy, and time-frequency concentration.

7. Connections with Semiclassical and Microlocal Analysis

The fractal uncertainty principle (FUP) has profound implications in semiclassical and microlocal analysis, particularly in the study of quantum resonances, pseudodifferential operators, and propagation of singularities. In this section, we establish connections between the FUP and key results in semiclassical analysis, deriving novel estimates for pseudodifferential operators with fractal symbol support and characterizing the influence of porosity on quantum decay rates.
Semiclassical analysis studies differential operators where a small parameter h > 0 quantifies the separation between classical and quantum scales. A fundamental object in this framework is the semiclassical Fourier transform:
F h f ( ξ ) = 1 ( 2 π h ) d / 2 R d e i x · ξ / h f ( x ) d x .
Given a symbol a ( x , ξ ) C ( R 2 d ) , the associated semiclassical pseudodifferential operator (PDO) is defined as
Op h ( a ) f ( x ) = 1 ( 2 π h ) d R 2 d e i ( x y ) · ξ / h a ( x , ξ ) f ( y ) d y d ξ .
We now establish an FUP-type estimate for PDOs whose symbols are supported on porous sets.
The informal connection made in the introduction between our FUP statements and semiclassical/microlocal results requires a more precise formulation. In this subsection we fix the semiclassical quantization and symbol classes we use, state a quantitative operator-norm estimate for pseudodifferential operators whose symbols are supported on fractal sets in phase space, and provide the reduction of the estimate to the fractal uncertainty principle proved in Section 3, Section 4, Section 5, Section 6, Section 7, Section 8 and Section 9.
Let h ( 0 , h 0 ] be the semiclassical parameter. For a symbol a ( x , ξ ; h ) C c ( T R d ) we denote by Op h w ( a ) the semiclassical Weyl quantization
Op h w ( a ) u ( x ) = ( 2 π h ) d R 2 d e i h x y , ξ a x + y 2 , ξ ; h u ( y ) d y d ξ .
We restrict attention to compactly supported, smooth symbols with uniform derivative control in h:
Definition 8 
(Compact semiclassical symbols). We write a ( · , · ; h ) S comp 0 ( T R d ) if for every multi-indices α , β there exists a constant C α β (independent of h) such that
sup ( x , ξ ) T R d | x α ξ β a ( x , ξ ; h ) | C α β ,
and supp a ( · , · ; h ) is contained in a fixed compact set K T R d for all h sufficiently small.
Let X , Y R d be the two (spatial and frequency) fractal sets appearing in the FUP hypotheses of Section 2. For a (compact) phase-space region Γ T R d we denote by 1 Γ a smooth cutoff supported in a fixed, small neighborhood of Γ . We consider symbols of the form
a ( x , ξ ; h ) = χ X ( x ) χ Y ( ξ ) b ( x , ξ ; h ) ,
where χ X , χ Y are smooth cutoffs adapted to neighborhoods of X and Y and b S comp 0 ( T R d ) . The main feature is the phase-space localization of a to a set whose projections onto the base and fiber directions have the porosity/covering properties assumed in Section 2 and Section 3.
Theorem 11. 
Assume the sets X , Y R d satisfy the covering/porosity hypotheses of Section 2 and Section 3 with a gap ε > 0 (so that the porosity exponents satisfy s X + s Y 2 d ε ). Let a ( x , ξ ; h ) = χ X ( x ) χ Y ( ξ ) b ( x , ξ ; h ) with b S comp 0 ( T R d ) as in Definition 8. Then there exist constants C > 0 and β > 0 (depending only on the porosity data and finitely many derivative bounds of b) such that for all sufficiently small h > 0 ,
Op h w ( a ) L 2 ( R d ) L 2 ( R d ) C h β .
Remark 8. 
The exponent β > 0 may be taken to depend only on the porosity gap ε and on a finite collection of seminorms { C α β } | α | + | β | N of the symbol b. The compact support and smoothness of b guarantee that all pseudodifferential remainders arising from the microlocal reduction below are controlled uniformly in h.
Proof. 
Fix the (fixed, h-independent) compact support K T R d of b. Let T h be the chosen FBI/wave-packet transform (unitary up to a constant factor) used in Section 7; recall T h maps L 2 ( R d ) to a reproducing-kernel Hilbert space on phase space and T h is its adjoint. One has the exact identity
T h Op h ( b ) T h = K h + R h ,
where K h is an explicit integral operator whose amplitude/phase is obtained by composing the symbol b with the wave-packet phase and applying the semiclassical oscillatory integral calculus, and R h is a remainder operator. Concretely, for phase-space variables z , w the main kernel admits the oscillatory integral representation (after a finite number of harmless changes of variables)
K h ( z , w ) = ( 2 π h ) d R d e i h Φ ( z , w , ξ ) a ( z , w , ξ ; h ) d ξ ,
where
1.
Φ ( z , w , ξ ) is a nondegenerate real phase function, smooth in ( z , w , ξ ) and homogeneous of degree 1 in ξ in the local charts used (this phase is produced by the composition of the FBI phase with the pseudodifferential exponential);
2.
The amplitude a ( z , w , ξ ; h ) has a classical semiclassical expansion a j 0 h j a j ( z , w , ξ ) and is compactly supported in the z , w , ξ -variables (the support in ( z , w ) sits over the compact projection of supp b onto phase space);
3.
Each coefficient a j and finitely many of its derivatives are bounded in terms of finitely many symbol seminorms C α β of b.
The representation (30) and the existence of the expansion for a are standard outputs of the semiclassical composition/conjugation calculus (stationary phase and Taylor expansion of the symbol around the relevant phase-stationary point); compact support of b simplifies the construction and eliminates boundary terms.
Apply stationary phase in the ξ -variable to the oscillatory integral (30). The nondegeneracy of Φ (which is guaranteed by the wave-packet construction and the microlocal normal form) yields, for any integer M 0 , an asymptotic expansion
K h ( z , w ) = h d m = 0 M 1 h m A m ( z , w ) + R h , M ( z , w ) ,
where each amplitude A m ( z , w ) is smooth and compactly supported in ( z , w ) and the remainder kernel R h , M ( z , w ) satisfies the pointwise bound
| R h , M ( z , w ) | C M h d + M 1 + dist ( z , w ) h L ( M )
for some integer L ( M ) growing linearly with M (the polynomial off-diagonal decay exponent L ( M ) is produced by repeated integrations by parts in the stationary-phase procedure; when the amplitude is compactly supported the integrations by parts produce arbitrarily large polynomial decay in dist ( z , w ) / h ). The constant C M depends only on a finite number of derivatives of the amplitude coefficients a j (and hence only on finitely many seminorms of b). In particular, for every desired polynomial tail exponent M 0 (the role of which was denoted M 0 or M 0 in the deterministic proofs) one can choose M large enough so that L ( M ) M 0 and the remainder kernel R h , M enjoys the same polynomial/Schur tail used in the FUP argument, with a constant C M controlled by finitely many seminorms of b.
Concerning the finite sum m = 0 M 1 h m A m ( z , w ) : each summand h d + m A m ( z , w ) is a smooth, compactly supported kernel; on the diagonal z w these terms produce the principal local action and do not spoil the Schur estimates. Off-diagonal they are rapidly small because A m ( z , w ) is smooth and compactly supported in a set of size O ( 1 ) , and hence each term satisfies a (weaker) off-diagonal bound of the form | h d + m A m ( z , w ) | h d + m ( 1 + dist ( z , w ) ) N for any N (provided we differentiate sufficiently many times and absorb derivatives into the size constants); again the implied constants are controlled by finitely many derivatives of A m , which in turn are controlled by finitely many seminorms of b.
Translate the kernel bounds into operator-norm bounds. Fix M large enough so that L ( M ) (the off-diagonal polynomial decay obtained) exceeds the dimension-dependent threshold needed for Schur-type estimates used in the FUP proof (for example L ( M ) > d suffices to control the relevant integrals). The Schur test (or, when desirable, Calderón–Vaillancourt type bounds for integral operators with smooth amplitudes) then implies that the remainder operator R h : = T h Op h ( b ) T h K h satisfies, for this choice of M,
R h L 2 L 2 C M h M d ,
where C M depends only on finitely many derivatives of the amplitude coefficients a j , hence only on finitely many seminorms C α β of b. Since M may be chosen arbitrarily large, one gets remainders that are O ( h N ) in operator norm for any predetermined finite N; the implied constant depends only on finitely many seminorms of b. In particular, for the purposes of extracting a positive exponent β in the FUP estimate one may take M so large that the remainders are negligible compared with the main kernel contributions at the scale where the mesoscopic optimisation is made. Because the constant C M is controlled by finitely many seminorms of b, the needed smallness is achieved uniformly in h (for h sufficiently small).
Two standard results used in the preceding sentence are the following:
i.
The Calderón–Vaillancourt theorem (semiclassical version) which gives Op h ( b ) L 2 L 2 C max | α | + | β | N 0 C α β for some finite N 0 depending only on d;
ii.
The stationary-phase remainder estimates in the semiclassical calculus which give the parametric dependence of remainder norms on finitely many amplitude seminorms (see standard references on semiclassical analysis).
Both facts show remainders are uniformly controlled by finitely many seminorms.
Return now to the mesoscopic balancing argument used to extract a power h β in the deterministic FUP proof. In that argument the crucial numerical parameters are as follows:
1.
The porosity gap ε (enters via the geometric covering exponents s X + s Y 2 d ε );
2.
The kernel tail exponent M 0 and the kernel amplitude constant C K (they appear in the local Schur estimates and determine how large the mesoscopic-to-microscopic ratio r / h may be taken while still producing decay);
3.
Overlap and covering constants coming from the mesoscopic partition (these are geometric and fixed once the partitioning scheme is chosen).
From the above, we have shown that the kernel tail exponent M 0 (and the constant C K ) may be made arbitrarily large by choosing the stationary-phase order M large enough, and that the value of M required and the resulting constants depend only on finitely many seminorms { C α β } | α | + | β | N of b (for some finite N determined by the choice of M, the dimension d and the order of derivatives needed in the Schur estimates). Consequently the numerical quantity
Δ : = M 0 d + ε 2 ,
which appears in the exponent formula is bounded below by a positive number that depends only on ε and on the chosen finite collection of seminorms of b, provided we choose M (hence N) so that M 0 > d ε 2 . Once this choice is made the rest of the balancing argument (choice of the mesoscopic exponent α , optimisation and summation over tiles) produces an explicit β of the form
β = ( 1 α ) Δ
with α ( 0 , 1 ) chosen only in terms of Δ (it can be taken small but fixed). Thus β is a positive quantity depending only on ε and on the finite collection of seminorms { C α β } | α | + | β | N used in the stationary-phase/amplitude estimates.
The compact support of b guarantees uniform control of all remainders arising from the microlocal reduction: there are no boundary-layer or escape-to-infinity phenomena to control, and the stationary-phase integrations by parts may be carried out globally on the compact region supporting the amplitude. Smoothness (finite high-order differentiability) guarantees that the finite collection of seminorms { C α β } | α | + | β | N is finite and controls the size of all amplitude derivatives appearing in the remainder estimates. Therefore all remainder operator norm estimates of the form R h L 2 L 2 C M h M d are uniform in h (for 0 < h h 0 ) with constants C M depending only on those finitely many seminorms. In consequence the negligibility of the remainder operators in the FUP balancing argument is uniform in h and does not introduce any dependence of β on additional parameters beyond ε and the finitely many seminorms.
Collecting the points above: by choosing a finite stationary-phase order M (and hence a finite seminorm cut-off N) large enough so that the induced tail exponent M 0 satisfies M 0 > d ε 2 , the mesoscopic balancing step produces an exponent β > 0 which depends only on the porosity gap ε and on the finite list of seminorms { C α β } | α | + | β | N . The compact support and smoothness of b guarantee that all pseudodifferential remainders are bounded in operator norm by constants controlled by the same finite seminorms, uniformly for small h. □
The reader should note two caveats that a full microlocal treatment would address in detail: (i) the precise choice of FBI transform and the control of the transform/inverse constants and (ii) the number of symbol seminorms required in the Calderón–Vaillancourt estimate—both issues are routine and only affect the finite set of derivatives appearing in the constant C and the permissible β .
Theorem 12. 
Let A h = Op h ( a ) be a semiclassical pseudodifferential operator whose symbol a ( x , ξ ) is supported on a ν-porous set R 2 d on scales h to 1. Then there exist constants C , β > 0 , depending on ν and the symbol regularity, such that for all f L 2 ( R d ) ,
A h f L 2 ( R d ) C h β f L 2 ( R d ) .
Proof. 
We work with the Kohn–Nirenberg quantization
A h f ( x ) = Op h ( a ) f ( x ) : = 1 ( 2 π h ) d R 2 d e i h ( x y ) · ξ a ( x , ξ ) f ( y ) d y d ξ
and assume the symbol a ( x , ξ ) is supported in R 2 d . We also assume a is bounded: a L M (this is standard in semiclassical PDO theory; if you have stronger symbol classes the same argument applies to the principal amplitude).
Define the kernel
K h ( x , y ) : = 1 ( 2 π h ) d R d e i h ( x y ) · ξ a ( x , ξ ) d ξ ,
so that A h f ( x ) = K h ( x , y ) f ( y ) d y . Then A h is Hilbert–Schmidt whenever a L 2 ( R 2 d ) , and one has the exact identity
A h HS 2 = R 2 d | K h ( x , y ) | 2 d x d y = ( 2 π h ) d a L 2 ( R 2 d ) 2 .
Proof of (31). Substitute K h and compute:
| K h ( x , y ) | 2 d x d y = ( 2 π h ) 2 d e i h ( x y ) · ( ξ η ) a ( x , ξ ) a ( x , η ) ¯ d ξ d η d x d y .
Integrate in y first. The integral R d e i y · ( ξ η ) / h d y equals ( 2 π h ) d δ ( ξ η ) (distributionally). Using this delta collapses the η -integral and yields
| K h ( x , y ) | 2 d x d y = ( 2 π h ) d | a ( x , ξ ) | 2 d ξ d x = ( 2 π h ) d a L 2 ( R 2 d ) 2 ,
which proves (31). □
Since the operator norm is bounded by the Hilbert–Schmidt norm,
A h L 2 L 2     A h HS   =   ( 2 π h ) d / 2 a L 2 ( R 2 d ) .
Let h ( 0 , 1 ] be given. Because is porous on scales h to 1, we may apply the covering estimate (Lemma 1 in Section 2): there are constants C p > 0 and an exponent s [ 0 , 2 d ) such that for every scale r [ h , 1 ] the minimal number N ( r ) of radius-r balls required to cover satisfies
N ( r ) C p r s .
Cover by N ( r ) balls of radius r. Each ball has volume | B r | r 2 d (the implicit constants depend only on d), hence
| | N ( r ) | B r | C r 2 d s ,
for some geometric constant C depending only on d and C p .
Assume furthermore that a L M . Then
a L 2 ( R 2 d ) 2 = | a ( x , ξ ) | 2 d x d ξ M 2 | | C M 2 r 2 d s .
Taking square roots,
a L 2 ( R 2 d ) C 1 / 2 M r d s / 2 .
We are free to choose r [ h , 1 ] . Substitute (33) into (32) to obtain
A h L 2 L 2 ( 2 π ) d / 2 M C 1 / 2 h d / 2 r d s / 2 .
To make the right-hand side as small as possible we choose r as small as allowed, namely r = h (recall r h by hypothesis). With r = h we get
A h L 2 L 2 C M h d / 2 h d s / 2 = C M h ( d s ) / 2 ,
where C = ( 2 π ) d / 2 C 1 / 2 . Thus
A h L 2 L 2 C h β , β : = d s 2 ,
with C = C M . This proves the claimed bound with β = ( d s ) / 2 .
Porosity of implies a strict upper bound on the Minkowski (box-counting) dimension of ; concretely, there exists δ = δ ( ν ) > 0 (depending only on the porosity constant ν ) such that the upper Minkowski dimension of satisfies
dim ¯ M ( ) 2 d δ .
Hence one may take the covering exponent s above to satisfy s 2 d δ . Substituting into β = ( d s ) / 2 gives
β d ( 2 d δ ) 2 = δ d 2 .
Whether this lower bound on β is positive depends on the numerical size of δ relative to d. In many applications (for example when the porosity is strong enough or when additional structure reduces the covering exponent s further) one obtains s < d and hence β > 0 . If one cannot guarantee s < d from geometric hypotheses alone, the exponent computed above may be non-positive, and a more refined microlocal/FUP argument (such as those developed earlier in this paper using STFT/Bargmann methods) is required to produce a positive power of h. See the discussion immediately following Theorem 12 for stronger conclusions under the extra analytic hypotheses considered there.
Combining the Hilbert–Schmidt identity (31), the covering estimate for porous sets, and the pointwise bound a L M , we obtain the operator norm bound
A h L 2 L 2 C h ( d s ) / 2 .
Setting C = C and β = ( d s ) / 2 yields the theorem as stated (with the explicit dependence of β on the covering exponent s, which in turn depends on the porosity constant ν ). □
Theorem 12 provides a quantitative description of how uncertainty principles constrain the propagation of quantum states. This result is particularly relevant in the study of semiclassical measures and weak limits of eigenfunctions of Schrödinger operators.
Quantum resonances describe the decay of metastable states in open quantum systems. The connection between FUP and resonance widths has been extensively studied in chaotic scattering settings (see [10]). Our results show that if the classical trapped set exhibits fractal porosity, the quantum decay rate satisfies an improved bound.
For a semiclassical Schrödinger operator H h with potential V ( x ) , let σ ( H h ) denote its spectrum and let Res ( H h ) denote its resonance set. The resonance gap  Γ h is defined as the largest strip { Im z > Γ h } in which Res ( H h ) is free of resonances.
The key input from the fractal uncertainty principle (FUP) is an estimate that quantifies the impossibility of a state being simultaneously microlocalized on incoming and outgoing thin sets near K. More concretely, using the porosity of K and the dynamical covering/propagation time T | log h | (or a fixed T > 0 depending on the flow), the FUP gives the following:
Lemma 12. 
There exist constants C F > 0 and β F > 0 and pseudodifferential cutoffs A ± ( h ) = Op h ( a ± ) with supp a ± contained in small neighbourhoods of K (one microlocalizes to incoming directions, the other to outgoing directions) such that
A ( h ) U h ( T ) A + ( h ) L 2 L 2 C F h β F ,
for h ( 0 , h 0 ] , where U h ( t ) = e i t H h / h is the quantum propagator and T > 0 is a fixed propagation time chosen so that classical correlations across K are probed.
Lemma 13. 
Let U h ( t ) = e i t H h / h be the semiclassical propagator for H h = h 2 Δ + V ( x ) . Let K p 1 ( E ) be the trapped set and choose T > 0 fixed. Then one can choose symbols a ± C c ( T R d ) with supp a ± contained in small neighborhoods of K and define A ± ( h ) : = Op h ( a ± ) so that for some constants C , β > 0 and all 0 < h h 0 ,
A ( h ) U h ( T ) A + ( h ) L 2 L 2 C h β .
More precisely, after choosing the supports of a ± appropriately (see the proof) the left-hand side is bounded by the norm of a pseudodifferential operator whose symbol has phase-space support in a set to which the fractal uncertainty principle applies; the theorem then yields the stated power-law bound.
Proof. 
The proof has three parts: (I) choose microlocal cutoffs whose propagated supports produce the thin intersection to which FUP applies; (II) apply Egorov theorem to reduce the time-propagated composition to a product of pseudodifferential operators up to acceptable remainders; (III) apply your FUP to obtain the small h β bound.
  • (I) Let ε > 0 be small (independent of h). Choose two open neighborhoods W + , W of K inside the energy shell p 1 ( E ) with
K W ˜ ± W ˜ ± ¯ W ± ,
where W ˜ ± are slightly smaller than W ± . Choose compactly supported symbols
a + C c ( W + ) , a C c ( W ) ,
with a ± 1 on W ˜ ± . Define the corresponding quantizations
A ± ( h ) : = Op h ( a ± ) .
We will later specify how small the neighborhoods W ± must be so that the FUP applies to the relevant projected sets constructed below.
  • (II) Use the exact conjugation identity (Egorov theorem, modulo ( h ) remainders in the compact energy window): for any symbol b supported near p 1 ( E ) ,
U h ( T ) Op h ( b ) U h ( T ) = Op h ( b Φ T ) + R h , R h L 2 L 2 = ( h ) ,
where Φ t is the classical flow and the ( h ) remainder may be improved under higher regularity assumptions (we only need ( h ) here). Apply this with b = a to get
Op h ( a Φ T ) = U h ( T ) A ( h ) U h ( T ) + R h , R h = ( h ) .
Multiply (34) on the right by A + ( h ) and conjugate back by U h ( T ) (which is unitary). We obtain
A ( h ) U h ( T ) A + ( h ) = U h ( T ) Op h ( a Φ T ) A + ( h ) + R ˜ h ,
with R ˜ h = O ( h ) (the unitary conjugation preserves operator norms). Hence
A ( h ) U h ( T ) A + ( h ) Op h ( a Φ T ) A + ( h ) + C h .
It therefore suffices to bound the operator norm of the product Op h ( a Φ T ) A + ( h ) .
Now use pseudodifferential composition calculus: there exists a symbol b h S ( 1 ) (with standard asymptotic expansion) such that
Op h ( a Φ T ) A + ( h ) = Op h ( b h ) + R h , R h = O ( h ) ,
and supp b h supp ( a Φ T ) supp ( a + ) up to O ( h ) -thickening. Concretely, the principal symbol equals
b 0 = ( a Φ T ) · a + .
Therefore, the microlocal support of Op h ( b h ) (i.e., where its principal symbol is non-negligible) is contained in the intersection
Σ : = supp ( a Φ T ) supp ( a + ) .
Thus we have reduced the original propagated composition to an h-pseudodifferential operator microlocally supported in Σ , up to O ( h ) remainders:
A ( h ) U h ( T ) A + ( h ) = U h ( T ) Op h ( b h ) + O ( h ) .
(III) By construction, Σ is the set of phase-space points ρ in W + such that Φ T ( ρ ) W . Geometrically Σ is the set of phase-space points that, after time T, land in the support of a . By choosing the small neighborhoods W ± appropriately and by choosing the propagation time T to probe classical correlation scales, the projections of Σ onto suitable complementary variables (for instance, the configuration or momentum coordinates or appropriate transversal coordinates associated to the stable/unstable directions) are thin sets satisfying the porosity/fractal hypotheses required by your global FUP. This is the precise dynamical input: the trapped set K is porous and after propagation the microlocal intersection Σ inherits the porosity features needed to apply FUP. (In practice one selects coordinates and T so that the images/projections of Σ match the geometric setup.)
Now invoke the fractal uncertainty principle established earlier in this manuscript which asserts that if a pseudodifferential operator has symbol supported in a set like Σ whose relevant projections are porous (or fractal with controlled porosity/dimension), then the operator norm is small:
Op h ( b h ) L 2 L 2     C 0 h β ,
for some β > 0 determined by the porosity parameters and dimensional data.
Combining this with the remainder estimates from step (II) yields
A ( h ) U h ( T ) A + ( h )     C 0 h β + C h C h β ,
for some 0 < β β (since h 1 the h-term is smaller than h β for β 1 ; if necessary adjust β slightly). This completes the proof of the lemma. □
In Theorem 12 we assume the following (standard) dynamical and regularity hypotheses: (i) the potential V C (or real-analytic if desired) is compactly supported or decays sufficiently fast so that resonances are defined by meromorphic continuation of the resolvent; (ii) the trapped set
K p 1 ( E )
is a compact uniformly hyperbolic (Axiom A) repeller for the Hamiltonian flow on the energy shell; and (iii) the stable and unstable projections of K (to suitable local transversal coordinates or Poincaré sections) satisfy porosity/ δ –regularity assumptions: there exists ν > 0 and a scale range h r r 0 so that each ball/interval of radius r in the projected coordinate contains a hole of length at least ν r (equivalently the projections are Ahlfors–David regular with exponent δ < d and uniform constants). Under these hypotheses a flat Fractal Uncertainty Principle applies to the projected sets and yields an FUP exponent
β = β ν , δ , regularity constants > 0
and hence an essential resonance gap of semiclassical size:
β > 0 such that for h small no resonances lie in { z > Γ h } , Γ h = β h + o ( h ) .
In this formulation β is an explicit function of the porosity/regularity parameters in the cases treated in the recent FUP literature; see Bourgain–Dyatlov [3].
The lemma is precisely the semiclassical incarnation of the FUP: porosity of K implies a small norm for the composition of a forward and backward microlocal cutoff after propagation.
Theorem 13. 
Let H h = h 2 Δ + V ( x ) be a semiclassical Schrödinger operator with a potential V such that the classical trapped set K is ν-porous on scales h to 1. Then there exist constants C , β > 0 such that
Γ h C h β .
Proof. 
We work semiclassically with 0 < h 1 . Let
p ( x , ξ ) = | ξ | 2 + V ( x )
be the classical Hamiltonian and fix an energy E > 0 . Denote by Φ t the Hamiltonian flow of p on T R d . Let
K p 1 ( E )
be the trapped set at energy E; by hypothesis K is compact and ν -porous on scales h to 1. We also assume the standard dynamical nondegeneracy needed to construct an escape function (for instance, K is normally hyperbolic or the flow satisfies the escape function hypotheses used in [29]); this allows the positive-commutator method below.
The goal is to show that there exist constants C , β > 0 so that the resonance strip
{ z C : z > C h β }
contains no resonances of H h = h 2 Δ + V ( x ) for h small; equivalently the spectral gap Γ h C h β .
Choose an open neighbourhood U K of K in T R d and an open set U in the energy shell so that
p 1 ( E ) = U K U , U K ¯ compact , U ¯ K = .
Because the flow escapes in U one can construct (see e.g., [30], Section 4.4) a smooth real-valued escape function G C ( T R d ; R ) satisfying, for some constants c 0 > 0 and C 0 ,
H p G ( ρ ) c 0 for ρ U , | G ( ρ ) | C 0 for ρ U K .
(Here H p is the Hamiltonian vector field of p.) The construction of such a G is standard under the stated dynamical hypotheses: G increases along the flow away from the trapped set.
Choose 0 < δ 1 small and put U K δ : = { ρ : dist ( ρ , K ) < δ } U K . Let χ K C c ( T R d ) be a cutoff with χ K 1 on a slightly smaller neighbourhood of K and supp χ K U K δ . Likewise pick χ C with supp χ U and χ K + χ 1 on p 1 ( E ) .
Quantize these symbols: set
X K : = Op h ( χ K ) , X : = Op h ( χ ) , where χ K , χ C c ( T R d ) .
So that microlocally X K + X equals a microlocal partition of unity near the energy surface.
Fix an energy window by choosing a smooth ψ C c ( R ) with ψ 1 near E. Consider the semiclassical operator
P h : = ψ ( H h ) .
Resonances near energy E correspond to poles of the meromorphic continuation of ( H h z ) 1 with z near E; microlocally we can analyze P h in the energy window.
For a real parameter s > 0 (to be chosen depending on h), consider the conjugated operator
P h , s : = e s Op h ( G ) / h P h e s Op h ( G ) / h .
A standard Baker–Campbell–Hausdorff expansion (or Egorov theorem) and the Poisson bracket calculus show that, modulo O ( h ) errors,
P h , s = P h + s i h [ Op h ( G ) , P h ] + ( lower order terms ) .
The principal symbol of 1 i h [ Op h ( G ) , P h ] is H p G on the energy surface. Using (35) we therefore obtain a positive commutator estimate away from U K δ :
P h , s u , u s Op h ( H p G ) ( 1 X K ) u , ( 1 X K ) u C h u 2 .
Choosing s 1 (or a small power of h if required by remainder terms) and using H p G c 0 on U we get control of the mass of u outside the trapped neighborhood:
( 1 X K ) u     C 1 P h , s u + h 1 / 2 u .
This is the standard Mourre/positive commutator type estimate: the conjugation with e s Op h ( G ) / h gives exponential weight growing along escaping trajectories and hence forces a dissipative effect on states not concentrated at K.
Let u be a (resonant or quasi-mode) state microlocalized near energy E and satisfying ( H h z ) u = 0 with z C h β (we argue by contradiction: assume a resonance lies above C h β ). We want to show u   =   0 for h small.
Decompose u = X K u + ( 1 X K ) u . Apply the propagation for time T and insert the microlocal cutoffs A ± from Lemma 12. Using the equation and propagation we obtain
X K u = X K U h ( T ) X K U h ( T ) u + error terms .
More precisely one shows (by Duhamel and functional calculus) that the part of X K u propagated forward and then backward can be approximated by applying the product A ( h ) U h ( T ) A + ( h ) to u, up to controllable O ( h ) or exponentially small errors. Consequently, taking L 2 norms and using Lemma 12,
X K u     C F h β F u + ( small remainders ) .
Combining this with (36) which controls the complement ( 1 X K ) u in terms of P h , s u and the small remainders, and using that ( H h z ) u = 0 (so P h , s u is small when z is small compared to s and h), one derives an inequality of the form
u C h β F u + ( smaller terms ) .
For h sufficiently small this forces u = 0 , i.e., there is no nontrivial resonance/quasimode with z C h β F .
The previous contradiction argument can be converted into a resolvent estimate: for z > C h β F one proves (by the same positive commutator + FUP estimates, applied to ( H h z ) 1 as in e.g., [1]) that there exists C > 0 with
( H h z ) 1 L 2 L 2 C h N
for some finite N (the exact power depends on the remainders and choice of s). The absence of resonances in the strip z > C h β F follows from this uniform resolvent bound together with standard meromorphic continuation arguments for the scattering resolvent.
Thus we obtain the resonance gap
Γ h C h β , β : = β F ,
with β F > 0 coming from the microlocal FUP in Lemma 12. This completes the proof. □
This result extends the existing bounds for resonance gaps in chaotic scattering systems. The key improvement is that the porosity assumption on K allows us to obtain explicit exponents in the h-dependent bound.
In microlocal analysis, one studies fine properties of singularities by decomposing phase space using wave packets. The FUP has direct implications for microlocal regularity conditions, particularly when analyzing operators with fractal symbols.
A function a ( x , ξ ) S m ( R 2 d ) is said to belong to the fractal symbol class S ν m ( R 2 d ) if its support supp ( a ) is ν -porous on scales h to 1.
Theorem 14. 
Let A h = Op h ( a ) be a semiclassical pseudodifferential operator with symbol a ( x , ξ ) S ν m ( R 2 d ) . Then for every u L 2 ( R d ) , the microlocal wavefront set satisfies
WF h ( u ) supp ( a ) = A h u L 2 C h β u L 2 .
Proof. 
Using a microlocal partition of unity (or wave packet decomposition) in phase space, one can write
u = λ u λ ,
where each u λ is essentially localized in phase space near a point λ = ( x λ , ξ λ ) and the decomposition is almost orthogonal. By the assumption
WF h ( u ) supp ( a ) = ,
each wave packet u λ with λ supp ( a ) has negligible contribution; more precisely, if the microlocal cutoff χ λ localizes near λ , then
χ λ u L 2 C h N u L 2 ,
for some large N > 0 . Thus, the effective contribution of u in the region supp ( a ) is small.
Next, we use the semiclassical fractal uncertainty estimate (Theorem 12). Since the symbol a ( x , ξ ) is supported in a ν -porous set, the FUP implies that any function that is microlocally concentrated on supp ( a ) must have a small L 2 norm after applying a localization operator. In other words, if v is a function whose phase-space concentration is restricted to a porous set, then
v L 2 C h β v L 2 ,
with the constant C and exponent β > 0 depending on ν , the symbol regularity, and the dimension. When we apply A h to u, the part of u that lies outside of WF h ( u ) in the support of a is negligible by hypothesis, and the FUP forces a decay on the contributions from the remaining pieces.
Write
A h u = λ A h u λ .
For those indices λ for which the wave packet u λ is microlocally disjoint from supp ( a ) , standard pseudodifferential calculus implies that A h u λ = O ( h ) in L 2 . For those λ near supp ( a ) , the fractal uncertainty estimate (applied locally in phase space) yields a bound
A h u λ L 2     C h β u λ L 2 .
Since the decomposition { u λ } is almost orthogonal, we have
A h u L 2 2 λ A h u λ L 2 2     C 2 h 2 β λ u λ L 2 2     C 2 h 2 β u L 2 2 .
Taking square roots yields
A h u L 2 C h β u L 2 .
Thus, by decomposing u into wave packets, applying the fractal uncertainty estimate in the region where the symbol is supported, and using the assumption that u is microlocally smooth on supp ( a ) , we obtain the desired bound
A h u L 2 C h β u L 2 .
This completes the proof. □
This result suggests that solutions to PDEs involving fractal-symbol operators exhibit enhanced regularity properties, as the porosity constraint prevents strong localization effects.
In this section, we established deep connections between fractal uncertainty principles, semiclassical analysis, and microlocal spectral theory. The results open new avenues for studying the interplay between fractal geometry, quantum dynamics, and spectral theory.

8. Extensions Beyond Gaussian Gabor Multipliers

Gabor multipliers provide a powerful framework for time-frequency analysis, where the Gaussian window is often used due to its optimal localization properties and its role in the standard Bargmann–Fock space construction. However, in many practical and theoretical applications, it is necessary to extend the study to non-Gaussian windows and non-uniform sampling grids. In this section, we generalize the FUP beyond classical Gaussian Gabor multipliers by investigating: Gabor multipliers associated with non-Gaussian generating functions, extensions to irregular and adaptive sampling lattices and spectral properties and operator norm estimates in these extended settings.
In the standard setting, a Gabor multiplier is an operator of the form
G φ , Λ , b f = | D Λ | λ Λ b ( λ ) f , π ( λ ) φ π ( λ ) φ ,
where φ is typically a Gaussian window, Λ is a sampling lattice in R 2 d , and b ( λ ) is a bounded symbol.
To generalize this framework, we introduce the notion of an admissible Gabor window, extending the definition from Section 3.
A function φ L 2 ( R d ) is called an admissible Gabor window if its STFT satisfies the condition
V φ f L 2 ( R 2 d ) C φ f L 2 ( R d ) .
The Gaussian window is a special case, but admissible Gabor windows may include compactly supported windows, wavelet-like functions, or exponentially decaying functions with different smoothness properties.
We now extend the FUP to this more general setting.
Theorem 15. 
Let φ be an admissible Gabor window and let R 2 d be a ν-porous set on scales h to 1. Suppose that the sampling lattice Λ ( h ) satisfies a density condition analogous to condition (H) in [5]. Then there exist constants C , β > 0 , depending on φ, ν, and the lattice parameters, such that the operator norm of the Gabor multiplier
G φ , Λ ( h ) , χ : L 2 ( R d ) L 2 ( R d )
satisfies
G φ , Λ ( h ) , χ L 2 L 2 C h β , 0 < h 1 .
Proof. 
Using the theory of Gabor analysis (see, e.g., [6,19]), one can show that, under a suitable density condition on Λ ( h ) , the discrete sum
G φ , Λ ( h ) , χ f = | D Λ ( h ) | λ Λ ( h ) χ ( λ ) f , π ( λ ) φ π ( λ ) φ
approximates a continuous localization operator
P φ , χ f = R 2 d χ ( z ) V φ f ( z ) π ( z ) φ d z ,
where z = ( x , ω ) and the integration is with respect to the Lebesgue measure. In particular, one may use a generalized Bargmann transform to identify the range of the STFT with a Fock space and to express P φ , χ as a Toeplitz operator acting on that space.
For the chosen window φ , one constructs a reproducing kernel K φ ( z , ξ ) and an associated measure d μ φ ( z ) on C d such that the image of L 2 ( R d ) under the generalized Bargmann transform B φ forms a Fock-type space F φ 2 ( C d ) satisfying
F ( z ) = C d K φ ( z , ξ ) F ( ξ ) d μ φ ( ξ ) , F F φ 2 ( C d ) .
A key tool in the analysis is a sub-averaging property adapted to the kernel K φ ( z , ξ ) :
| F ( z ) | 2 C φ ( R ) | B R ( z ) | B R ( z ) | F ( ξ ) | 2 d μ φ ( ξ ) ,
for all F F φ 2 ( C d ) and for an appropriate ball B R ( z ) in the time-frequency plane. This inequality controls the pointwise values of F by local averages.
Since R 2 d is ν -porous on scales h to 1, there exists a constant C 1 > 0 and an exponent γ > 0 such that for any ball B R ( z ) (with R proportional to a scale between h and 1),
| B R ( z ) | | B R ( z ) | C 1 h γ .
This maximal Nyquist density estimate ensures that the fraction of the time-frequency plane (or Fock space) occupied by is small when h is small.
Using the sub-averaging property (37), one can show that for any F in the Fock space (corresponding to f L 2 ( R d ) via the generalized Bargmann transform),
F · χ L 2 ( C d , d μ φ ) 2 C φ ( R ) ρ φ ( , R ) F L 2 ( C d , d μ φ ) 2 ,
where ρ φ ( , R ) is the maximal Nyquist density of in the generalized setting. By the porosity assumption, we have
ρ φ ( , R ) C 1 h γ .
Taking square roots, we obtain
F · χ L 2 ( C d , d μ φ ) F L 2 ( C d , d μ φ ) C 2 h γ / 2 .
Since the operator norm of the continuous localization operator P φ , χ is controlled by this ratio, we deduce
P φ , χ L 2 L 2 C 2 h β ,
with β = γ / 2 .
Because the sampling lattice Λ ( h ) satisfies the density condition (analogous to condition (H) in [5]), the discrete Gabor multiplier
G φ , Λ ( h ) , χ f = | D Λ ( h ) | λ Λ ( h ) χ ( λ ) f , π ( λ ) φ π ( λ ) φ ,
approximates the continuous localization operator P φ , χ with controlled error. Standard results in Gabor analysis ensure that the norm of the discrete operator is comparable to that of the continuous one, up to a constant depending on the lattice parameters. Thus, we obtain
G φ , Λ ( h ) , χ L 2 L 2 C h β ,
for some constant C > 0 .
This completes the proof. □
This result generalizes the classical Gaussian-based FUP and provides insights into how different window choices affect the concentration properties of time-frequency representations.
Let Λ R 2 d be a (finite truncated) time-frequency lattice used for the discrete Gabor system, and let g be a generating function (window). For a symbol sequence m : Λ C we write the discrete Gabor multiplier
G g , Λ [ m ] : = λ Λ m ( λ ) · , π ( λ ) g π ( λ ) g ,
where π ( λ ) denotes the time-frequency shift associated to λ . Let g 0 be the reference window used in prior work (e.g., a Gaussian) and let g 1 be the proposed alternative generating function. We denote by A ( g , Λ ) and B ( g , Λ ) the lower and upper frame bounds for the Gabor system { π ( λ ) g : λ Λ } on the truncated domain (so 0 < A B < ). Let h be the semiclassical parameter (or grid fineness) used in the rest of the paper.
The following theorem isolates the structural mechanism by which sharper concentration of g (in the time-frequency domain) and tighter frame bounds improve the spectral gap.
Theorem 16. 
Assume the kernel of the discrete Gabor multiplier with window g satisfies the discrete tail bound (consistent with the continuous assumptions in the paper) of one of the two types (exponential or polynomial) with concentration parameters ( A g , c g , p g ) or ( A g , M g ) as in Definition 4. Assume also that the lattice Λ has local redundancy parameter r Λ (number of shifts per Heisenberg cell) and frame bounds A ( g , Λ ) , B ( g , Λ ) . Suppose the fractal covering exponents for the discrete sets satisfy s X + s Y 2 d ε . Then there exist constants C > 0 and exponents β ( g , Λ ) > 0 such that, for the discrete multipliers with symbol supported on the relevant discrete fractals,
G g , Λ [ m ] 2 2 C h β ( g , Λ ) m ,
where one may take (qualitatively)
β ( g , Λ ) = κ 1 ( ε ) · θ ( g ) 1 + θ ( g ) · log A ( g , Λ ) log B ( g , Λ ) + C 0 ,
with the following interpretations:
i. 
κ 1 ( ε ) > 0 is an explicit increasing function of the porosity gap ε;
ii. 
θ ( g ) > 0 is a window concentration index which grows with stronger concentration of g (for exponential tails θ c g or θ p g , for polynomial tails θ grows with M g 2 d );
iii. 
the frame-bound factor log A log B + C 0 encodes the effect of redundancy/conditioning of the discrete frame (better conditioned frames, i.e., A closer to B, improve the exponent); C 0 is a harmless positive constant depending only on dimensional bookkeeping.
In particular, if g 1 has strictly stronger concentration than g 0 (larger θ) and its discrete Gabor system enjoys at least comparable frame conditioning (larger A and not much larger B), then β ( g 1 , Λ ) > β ( g 0 , Λ ) , i.e., the alternative generating function yields a better spectral decay exponent.
Proof. 
Let Λ h denote the finite/truncated time–frequency lattice at scale h used in the discrete model and let m : Λ h C be the symbol supported on the given discrete fractal masks (the hypothesis is m = 1 up to scaling). Write S = S g , Λ h : 2 ( Λ h ) 2 ( grid ) for the synthesis operator whose k-th column is the sampled time–frequency shifted window π ( λ k ) g on the spatial grid. The discrete Gabor multiplier is the matrix
G g , Λ [ m ] = S D m S ,
where D m is the diagonal matrix with entries m ( λ ) (see the definition in the manuscript). The operator norm satisfies the trivial bound
G g , Λ [ m ] 2 2     S 2 D m 2 2     S 2 m .
By the frame bounds for { π ( λ ) g : λ Λ h } we have S B ( g , Λ ) and σ min ( S ) A ( g , Λ ) , so discretization alone produces at most the multiplicative conditioning factor B ( g , Λ ) in the trivial estimate. The content of the theorem is that one can do much better when m is supported on sparse (fractal) discrete masks: the spectral norm decays like a positive power of h with an exponent depending on the window concentration and on frame-conditioning. The passage from continuous localisation to the discrete matrix model and elementary frame estimates are standard (see the discussion and references around Section 8 and the discrete reduction in the manuscript).
Let K g , h ( λ , μ ) = π ( μ ) g , π ( λ ) g denote the discrete Gabor kernel on the lattice. Under the admissibility hypotheses on g the kernel satisfies a tail-decay bound of one of the two model types:
(W1disc)
(Exponential-type) there exist constants A g , c g , p g > 0 such that for lattice points λ , μ
| K g , h ( λ , μ ) | A g exp c g dist ( λ , μ ) h p g ,
(W2disc)
(Polynomial-type) there exist A g , M g > 0 with M g > 2 d so that
| K g , h ( λ , μ ) | A g 1 + dist ( λ , μ ) h M g .
(These are the discrete analogues of (W1)/(W2); see Definitions and Examples in Section 3.) We encode the window concentration by an index θ ( g ) > 0 which is chosen so that stronger tails correspond to larger θ ( g ) : concretely one may take for exponential tails θ ( g ) c g p g (or a monotone function thereof) and for polynomial tails θ ( g ) M g 2 d ; the choice is only up to harmless constants and is consistent with the qualitative formula in the theorem.
The discrete tail bounds control off-diagonal lattice sums. Fix a mesoscopic radius r (in lattice units) and a mesoscopic cell Q r (a union of ( r / h ) 2 d Heisenberg cells on the lattice). For a given column index λ we estimate the tail-sum outside Q r :
μ : dist ( λ , μ ) r | K g , h ( λ , μ ) | A g · T ( r h ; θ ( g ) ) ,
where T ( R ; θ ) decays rapidly in R with a rate controlled by θ (exponential in R p g in case W1disc, polynomial of order M g in case W2disc). In particular there exists a monotone function Φ ( · ; θ ) with Φ ( R ; θ ) 0 as R , such that
dist ( λ , μ ) r | K g , h ( λ , μ ) | C ( A g ) Φ r h ; θ ( g ) .
The constant C ( A g ) depends only on the amplitude constant of the window and dimension-dependent lattice combinatorics. This discrete tail-sum estimate is the replacement for the continuous tail integrals used in the earlier FUP proofs
Cover the phase-space region of interest by mesoscopic lattice cells { Q r j } of linear size r (relative to h). For each cell Q r j apply the discrete covering/porosity hypothesis: the number of lattice points of X (resp. Y) inside Q r j at the small scale h is bounded by
# ( X Q r j ) C X r h s X , # ( Y Q r j ) C Y r h s Y .
Here the discrete covering exponents coincide with the continuum ones up to uniform lattice constants. Consider the local block of the matrix G obtained by restricting both rows and columns to the union of lattice sites in Q r j X and Q r j Y . By the discrete Schur test (summing rows or columns) to control the off-block contributions we obtain the local operator bound
G g , Λ ( j ) [ m ] 2 2 C 1 r h s X + s Y 2 Φ r h ; θ ( g )
with C 1 depending on A g , C X , C Y and lattice-combinatorial constants. The derivation is identical in spirit to the continuous Schur estimate: the on-block mass contributes the ( r / h ) ( s X + s Y ) / 2 factor while the off-block tail sums contribute the Φ -factor. (When Φ is exponential this factor allows taking r / h growing like a power of log ( 1 / h ) ; when Φ is polynomial one takes r / h = h α with α ( 0 , 1 ) chosen to balance powers.)
As in the continuous proof, the global operator is obtained by summing the local blocks. Bounded overlap of the mesoscopic partition implies
G g , Λ [ m ] C ov sup j G g , Λ ( j ) [ m ] .
So far the discrete estimate exactly parallels the continuous one, except that the kernel tail contribution is replaced by the discrete Φ and the combinatorial counts are lattice counts. The difference that distinguishes discrete from continuous is the introduction of the frame/sampling operator S: the block-matrix G = S D m S involves the synthesis operator S and its operator norm and conditioning enter the final bound. There are two ways the frame data affect the exponent/bound:
A crude estimate gives G S 2 D m B m . More refined estimates, exploiting the local sparsity of m and the local near-orthogonality of the synthesis vectors inside a single mesoscopic block, show that the effective multiplicative penalty incurred by discretization behaves like a power of the frame-ratio B / A (or, equivalently, like an exponential in log B log A ). Thus there exists a dimension-dependent constant C 0 > 0 and an exponent γ 0 > 0 (coming from overlap and conditioning bookkeeping) such that the discretization contributes a factor
F frame exp γ 0 ( log B + C 0 log A ) = e γ 0 C 0 B γ 0 A γ 0 .
Equivalently, in logarithmic form the frame loss is controlled by the ratio log A / ( log B + C 0 ) appearing in the statement (the constant C 0 absorbs harmless combinatorial/dimensional contributions). The estimate (39) is a discrete analogue of the continuous condition-number bookkeeping; precise forms of this bound and its derivation from local frame inequalities are standard in Gabor analysis (see Section 8 and references).
Poor conditioning (small A, large B) forces one to take a smaller mesoscopic radius r to maintain the same level of tail-control relative to the on-block mass. This is because numerical orthogonality among synthesis vectors deteriorates with conditioning and redundancy, increasing the effective interaction across cells. This effect appears as a multiplicative factor in the final exponent, which is naturally captured by the ratio log A / ( log B + C 0 ) (better-conditioned frames correspond to log A close to log B and hence a larger ratio).
Combine the two effects by introducing a single frame factor F frame ( A , B , C 0 ) 1 of the form (11) that multiplies the local Schur bound.
Set the mesoscopic radius to be an h-dependent quantity of the form r = r ( h ) . Two model regimes are handled separately.
  • (A) Exponential-type windows. If g satisfies the discrete exponential tail (W1disc) then Φ ( R ; θ ) exp ( c R p ) for some c , p > 0 with p increasing with θ ( g ) . The local bound becomes (up to a harmless constant)
G ( j ) r h s X + s Y 2 exp c r h p .
Choose r / h as a slowly growing function of 1 / h (e.g., ( r / h ) ( log ( 1 / h ) ) 1 / p ) so that the exponential factor beats any poly-power coming from ( r / h ) ( s X + s Y ) / 2 . Carrying out the same balancing argument as in the continuous exponential case one finds that the admissible exponent β can be made proportional to the porosity deficit ε up to polylogarithmic losses that depend on p (and hence on θ ( g ) ). Heuristically this yields a factor κ 1 ( ε ) · θ ( g ) 1 + θ ( g ) where θ ( g ) improves the p-index and reduces polylogarithmic losses. Multiplying by the reciprocal of the frame-loss F frame (in logarithmic scale) produces the displayed dependence in the theorem:
β ( g , Λ ) κ 1 ( ε ) · θ ( g ) 1 + θ ( g ) · log A ( g , Λ ) log B ( g , Λ ) + C 0 ,
interpreting log A / ( log B + C 0 ) as the monotone-increasing function of frame conditioning that scales the base exponent. The detailed logarithmic algebra mirrors the continuous calculation in the exponential case.
  • (B) Polynomial-type windows. If g satisfies the discrete polynomial tail (W2disc) with exponent M g > 2 d then Φ ( R ; θ ) ( R ) M g and the local bound reads
G ( j ) r h s X + s Y 2 r h M g .
Set r = h α (so r / h = h α 1 ) and balance the combinatorial factor ( r / h ) ( s X + s Y ) / 2 against the tail factor ( r / h ) M g as in the continuous polynomial case. Optimising over α (the same algebraic calculus as in Section 4) yields a positive β provided M g is sufficiently large relative to the porosity deficit; in that regime the qualitative dependence on θ ( g ) M g 2 d again takes the form θ ( g ) 1 + θ ( g ) up to harmless constants. The frame-conditioning factor F frame enters multiplicatively in the same way as in the exponential case, producing the factor involving log A / ( log B + C 0 ) in the displayed formula.
Collecting the estimates and including the frame penalty factor we obtain, for sufficiently small h,
G g , Λ [ m ] 2 2 C geom F frame ( A , B , C 0 ) r ( h ) h s X + s Y 2 Φ r ( h ) h ; θ ( g ) .
Choosing r ( h ) according to the optimisation (logarithmic growth in the exponential case, power-law in h in the polynomial case) and solving for the resulting exponent yields a bound of the form
G g , Λ [ m ]     C h β ( g , Λ ) ,
with β ( g , Λ ) > 0 of the qualitative form displayed in Theorem 16:
β ( g , Λ ) = κ 1 ( ε ) · θ ( g ) 1 + θ ( g ) · log A ( g , Λ ) log B ( g , Λ ) + C 0 ,
where κ 1 ( ε ) > 0 is the positive increasing function of the porosity gap ε produced by the geometric balancing (the same function that appears in the continuous FUP estimates), θ ( g ) > 0 encodes the window concentration/tail strength, and C 0 > 0 is the harmless bookkeeping constant depending only on dimension and overlap constants. The multiplicative prefactor C depends continuously on the finite list of geometric and window parameters listed in Section Explicit Dependence of Constants and Parameter Bookkeeping (and on r Λ ), which completes the proof of the quantitative estimate.
The displayed formula immediately yields the monotonicity claim in the theorem: if g 1 has strictly stronger concentration than g 0 (i.e., larger θ ) and its discrete Gabor system has at least comparable conditioning (i.e., log A not smaller and log B not larger in a way that makes the ratio log A / ( log B + C 0 ) larger), then every factor on the right-hand side increases and consequently β ( g 1 , Λ ) > β ( g 0 , Λ ) . This proves the final comparative sentence of the theorem. □
The experiment compares the spectral radius (largest absolute eigenvalue) of the truncated discrete Gabor multiplier with symbols supported on the discrete fractal masks, for several windows and h values.
In practical applications, uniform sampling grids may be suboptimal. Instead, one may employ non-uniform lattices Λ ( h ) that are adaptive to local signal structures. (See Table 1 and Figure 1).
A sequence of discrete sets Λ ad ( h ) R 2 d is called an adaptive sampling lattice if it satisfies a density condition
| D Λ ad ( h ) ( z ) | ϕ ( z , h ) ,
where ϕ ( z , h ) is a prescribed function governing local adaptivity.
Theorem 17. 
Let φ be an admissible Gabor window and let ( h ) be a ν-porous set on scales h to 1. Assume that the adaptive lattice Λ ad ( h ) satisfies the density condition
sup z R 2 d | D Λ ad ( h ) ( z ) | C h α .
Then there exist constants C , β > 0 such that the Gabor multiplier associated with Λ ad ( h ) satisfies
G φ , Λ ad ( h ) , χ ( h ) L 2 L 2 C h β .
Proof. 
From earlier results (see, e.g., Theorem 15), the continuous localization operator
P φ , χ ( h ) f = R 2 d χ ( h ) ( z ) V φ f ( z ) π ( z ) φ d z ,
satisfies the fractal uncertainty estimate
P φ , χ ( h ) L 2 L 2     C 1 h β 1 ,
for some constants C 1 , β 1 > 0 that depend on φ , the porosity parameter ν , and the dimension.
The adaptive lattice Λ ad ( h ) is designed so that its sampling cells are small in the sense that
| D Λ ad ( h ) ( z ) | C 0 h α .
This condition guarantees that the discrete sum
G φ , Λ ad ( h ) , χ ( h ) f = | D Λ ad ( h ) | λ Λ ad ( h ) χ ( h ) ( λ ) f , π ( λ ) φ π ( λ ) φ ,
serves as an accurate Riemann-sum approximation of the continuous integral defining P φ , χ ( h ) f . In particular, standard results in Gabor analysis (see, e.g., [6,19]) imply that the operator norms of the discrete multiplier and the continuous localization operator are comparable, up to a constant that depends on the density of the lattice.
By (40), we have
P φ , χ ( h ) f L 2 C 1 h β 1 f L 2 .
The adaptive lattice condition ensures that the discretization error is controlled uniformly as h 0 . Therefore, there exists a constant C 2 > 0 (depending on the lattice density, i.e., on C 0 and α ) such that
G φ , Λ ad ( h ) , χ ( h ) f P φ , χ ( h ) f L 2 C 2 h δ f L 2 ,
for some δ > 0 . Thus, by the triangle inequality,
G φ , Λ ad ( h ) , χ ( h ) f L 2     P φ , χ ( h ) f L 2 + C 2 h δ f L 2 C 1 h β 1 + C 2 h δ f L 2 .
By choosing β = min { β 1 , δ } and absorbing constants into a single constant C, we obtain
G φ , Λ ad ( h ) , χ ( h ) f L 2 C h β f L 2 ,
for all 0 < h 1 .
The argument above is formulated for the L 2 norm. In many cases, one may also verify corresponding endpoint estimates (e.g., in L 1 and L ) and then interpolate using the Riesz-Thorin theorem. However, since our main interest is in the L 2 bound, the above estimate suffices to conclude that
G φ , Λ ad ( h ) , χ ( h ) L 2 L 2     C h β .
The adaptive lattice condition ensures that the discrete sampling approximates the continuous time-frequency localization operator with controlled error. Combining this with the fractal uncertainty principle for the continuous operator yields the desired norm decay for the discrete Gabor multiplier. This completes the proof. □
This result is particularly useful in applications where non-uniform sampling is required, such as medical imaging and radar signal processing.
Beyond norm estimates, it is important to understand the spectral properties of Gabor multipliers in this generalized setting.
Proposition 6. 
Let G φ , Λ , b be a Gabor multiplier with an admissible window φ and a symbol b ( λ ) supported on a ν-porous set . Then the singular values σ n ( G φ , Λ , b ) satisfy
σ n ( G φ , Λ , b ) C n γ ,
for some exponent γ > 0 that depends on ν and the smoothness of φ.
Proof. 
Using the theory of Gabor frames (see, e.g., [6,19]), one can identify the range of the STFT with a reproducing kernel Hilbert space (often the Bargmann-Fock space when φ is Gaussian, and a generalized Fock space in the non-Gaussian case). More precisely, by applying a generalized Bargmann transform B φ , one may represent the operator G φ , Λ , b  as a Toeplitz operator
T b F ( z ) = C d b ( z ) K φ ( z , ξ ) F ( ξ ) d μ φ ( ξ ) ,
acting on the corresponding Fock space F φ 2 ( C d ) , with reproducing kernel K φ ( z , ξ ) and measure d μ φ . In this framework, the singular values of G φ , Λ , b  coincide (up to constants) with the singular values of T b . Hence, it suffices to prove the decay estimate for T b .
Since the symbol b ( λ ) is supported on a ν -porous set , the effective “size” (or measure) of the support of b is small in a fractal sense. More precisely, due to the porosity condition, one can show that the measure (or the counting function) of obeys a power law bound. For example, one may define the maximal Nyquist density for by
ρ ( , R ) = sup z R 2 d | B R ( z ) | | B R ( z ) | ,
and then use the porosity condition to deduce that for appropriate scales (related to h),
ρ ( , R ) C 1 h γ ,
for some γ > 0 . This implies that the effective number of lattice points λ Λ in is significantly lower than the total number one would expect in a full ball of radius R. In spectral terms, this reduced density implies that the operator T b (and hence G φ , Λ , b ) has a rapidly decaying spectrum.
In many settings, one can relate the counting function N ( ϵ ) of eigenvalues (or singular values) exceeding ϵ to the phase-space volume where the symbol is nonzero. For Toeplitz operators in reproducing kernel Hilbert spaces, a Weyl law often takes the form
N ( ϵ ) C ϵ δ ,
where δ > 0 is determined by the effective dimension of the support. In our case, the fractal (porous) structure of implies that the effective dimension is smaller than the full 2 d . Consequently, one can derive an asymptotic bound on the singular values such that
σ n ( T b ) C n γ ,
for some γ > 0 . The precise value of γ depends on the fractal (porosity) parameter ν and on the smoothness and decay properties of φ (which control the behavior of the reproducing kernel K φ ( z , ξ ) ).
By transferring the Weyl law estimate from T b back to the original operator G φ , Λ , b (using the equivalence provided by the generalized Bargmann transform), we deduce that the singular values σ n ( G φ , Λ , b ) decay as
σ n ( G φ , Λ , b ) C n γ .
The constant C and the exponent γ > 0 depend on the porosity constant ν , the regularity (or decay) properties of the window φ , and the geometric properties of the lattice Λ .
Thus, by representing the Gabor multiplier as a Toeplitz operator in a generalized Fock space, employing fractal measure estimates on the support of the symbol b, and using Weyl-type asymptotics for localization operators, we conclude that
σ n ( G φ , Λ , b ) C n γ ,
for some γ > 0 . This completes the proof. □

Explicit Dependence of Constants and Parameter Bookkeeping

Theorems in the main text assert inequalities of the form
1 X T h 1 Y L 2 L 2 C h β ,
but for clarity and applicability we now record the precise finite list of parameters on which the constants C and β depend, give a short lemma collecting this dependence, and state a representative quantitative bound with the dependence written explicitly.
Let d denote the spatial dimension and fix an ambient radius R > 0 used in the local covering hypotheses. We summarize the quantities that enter constants below:
i.
Covering constant C cov and local covering exponents s X , s Y (or anisotropic versions s X a , s Y a ); the porosity gap ε defined by s X + s Y 2 d ε .
ii.
A finite collection of seminorms of the analysing window g (denote these collectively by S ( g ) ), and, when convenient, tail parameters (for example exponential-type constants ( A , c , p ) or polynomial-type constants ( A , M ) ) appearing in Definition 4 and Assumption 2.
iii.
Lattice redundancy/local density r Λ and discrete frame bounds A ( g , Λ ) , B ( g , Λ ) .
iv.
The ambient dimension d (and anisotropy vector a when applicable), which enters combinatorial volume factors.
For compactness we introduce the notation
Geom : = ( d , R , C cov , s X , s Y , ε ) , Win : = S ( g ) ( or ( A , c , p ) or ( A , M ) ) , Frame : = ( r Λ , A ( g , Λ ) , B ( g , Λ ) ) .
Lemma 14 
(Constants bookkeeping). There exist (computable) functions
C ( Geom , Win , Frame ) , B ( Geom , Win , Frame ) > 0
such that the main FUP bound may be written in the explicit form
1 X T h 1 Y L 2 L 2 C ( Geom , Win , Frame ) h B ( Geom , Win , Frame ) ,
for all sufficiently small h ( 0 , h 0 ] . The functions C and B depend only on the finite collection of parameters listed above and on universal numeric constants depending on d.
Proof. 
Every time an inequality used an unspecified constant one can (and should) replace it by a symbolic name that is then traced back to one of the finitely many parameters listed above. The Schur and interpolation steps use only finitely many volumes and seminorms and hence involve only these parameters. □
Proposition 7. 
Assume the kernel satisfies the exponential tail bound (1) with constants ( A , c ) (use p = 1 for simplicity), and assume the local covering bounds hold with constant C cov and exponents s X , s Y on an ambient radius R. Define the porosity gap ε : = 2 d ( s X + s Y ) > 0 . Then there are universal numeric constants C d , C d > 0 depending only on d such that for 0 < h h 1 one has
1 X T h 1 Y L 2 L 2 C d A C cov R ( s X + s Y ) / 2 h ε / 2 log ( 1 / h ) 2 d ( s X + s Y ) 2 .
Equivalently, one can write C ( Geom , Win ) C d A C cov R ( s X + s Y ) / 2 and B ( Geom , Win ) ε / 2 (with the displayed polylog factor isolated explicitly).
Remarks. 
The estimate (41) is obtained by the Schur-test decomposition and the tail integral estimate of Lemma 6 using the mesoscopic choice r ( h ) = h log ( 1 / h ) . The prefactor A C cov R ( s X + s Y ) / 2 comes from (i) the pointwise kernel amplitude A, (ii) the number of covering boxes C cov ( R / r ) s Y (or symmetric), and (iii) the volumes r d s Y appearing in the near-term estimates; collect these factors to produce the displayed dependence. □
This result in Table 2 shows that the spectral concentration properties of Gabor multipliers persist beyond the Gaussian setting, reinforcing the universality of the FUP framework.
In this section, we extended the FUP beyond the standard Gaussian Gabor multiplier framework. These results provide a flexible framework for time-frequency analysis in both theoretical and applied settings, opening pathways for further investigation into optimal window choices and adaptive signal representations.

9. Applications

In this section, we bridge our theoretical advances with computational practice. In particular, we introduce a discrete version of the fractal localization operators and Gabor multipliers, analyze the convergence and error estimates of their approximations, and illustrate potential applications in signal processing and quantum mechanics.
To approximate the continuous operators introduced in earlier sections, we define a discrete analogue based on sampling the time-frequency plane on an adaptive lattice.
Definition 9. 
Let Λ ( h ) R 2 d be an h-dependent lattice satisfying a density condition (see condition (H) in [5]). Given a bounded symbol S : Λ ( h ) { 0 , 1 } that mimics the characteristic function of a ν-porous set, we define the discrete localization operator
P h , S f = | D Λ ( h ) | λ Λ ( h ) S ( λ ) f , π ( λ ) φ π ( λ ) φ ,
where φ L 2 ( R d ) is an admissible window and π ( λ ) denotes the time-frequency shift.
This operator can be viewed as a discrete counterpart to Daubechies’ continuous localization operator. In the case where φ = φ 0 (the Gaussian), the operator corresponds to a Gaussian Gabor multiplier.
We now study the convergence of the discrete operator P h , S as the lattice becomes finer (i.e., as h 0 ) and provide an error estimate in terms of h.
Theorem 18. 
Let Λ ( h ) R 2 d be an h–dependent lattice with fundamental cell D Λ ( h ) of volume | D Λ ( h ) | and diameter diam D Λ ( h ) = : r ( h ) 0 as h 0 . Let φ S ( R d ) be a Schwartz window (in particular φ and all its translates/modulations are uniformly Lipschitz in phase space). Let S : Λ ( h ) { 0 , 1 } be a discrete symbol that models the characteristic function of a ν–porous set R 2 d in the sense that the symmetric difference between and the cellular approximation
h : = λ Λ ( h ) : S ( λ ) = 1 D Λ ( h ) ( λ ) ( here D Λ ( h ) ( λ ) = λ + D Λ ( h ) )
satisfies
meas h C 0 h γ
for some constants C 0 , γ > 0 determined by the porosity data and the lattice construction.
Write the continuous localization operator
P S f = R 2 d S ( z ) V φ f ( z ) π ( z ) φ d z ,
and the discrete operator
P h , S f = | D Λ ( h ) | λ Λ ( h ) S ( λ ) f , π ( λ ) φ π ( λ ) φ .
Then there exist constants C , β > 0 (depending only on φ, the lattice geometry and the porosity constants) and h 0 > 0 such that for all 0 < h h 0 and all f L 2 ( R d )
( P h , S P S ) f L 2 ( R d ) C h β f L 2 ( R d ) .
Consequently P h , S P S L 2 L 2 C h β .
Proof. 
The proof is a quantitative Riemann–sum approximation combined with two elementary continuity estimates for the integrand. Fix f L 2 ( R d ) . Partition phase space by the disjoint cells { D Λ ( h ) ( λ ) } λ Λ ( h ) and write
P S f = λ Λ ( h ) D Λ ( h ) ( λ ) S ( z ) V φ f ( z ) π ( z ) φ d z .
By definition of P h , S (and using V φ f ( λ ) = f , π ( λ ) φ )
P h , S f = λ Λ ( h ) S ( λ ) V φ f ( λ ) | D Λ ( h ) | π ( λ ) φ .
Therefore
( P h , S P S ) f = λ Λ ( h ) R λ ( f ) , R λ ( f ) : = D Λ ( h ) ( λ ) S ( λ ) V φ f ( λ ) π ( λ ) φ S ( z ) V φ f ( z ) π ( z ) φ d z .
We estimate the operator norm by bounding ( P h , S P S ) f L 2 for f L 2 = 1 and then homogeneity gives the general estimate.
Fix λ and split the integrand as
S ( λ ) V φ f ( λ ) π ( λ ) φ S ( z ) V φ f ( z ) π ( z ) φ = S ( λ ) V φ f ( λ ) π ( λ ) φ π ( z ) φ + S ( λ ) V φ f ( λ ) S ( z ) V φ f ( z ) π ( z ) φ .
Correspondingly write R λ ( f ) = A λ ( f ) + B λ ( f ) according to the two terms above.
Using the triangle inequality and Cauchy–Schwarz in the integral,
A λ ( f ) L 2 D Λ ( h ) ( λ ) | V φ f ( λ ) | π ( λ ) φ π ( z ) φ L 2 d z .
Since φ S ( R d ) , the map z π ( z ) φ is uniformly Lipschitz on bounded regions of phase space; precisely there exists C 1 > 0 (depending only on a finite number of seminorms of φ and on the diameter of the region where the symbol is supported) such that
π ( λ ) φ π ( z ) φ L 2 C 1 | z λ | for z D Λ ( h ) ( λ ) .
Also | V φ f ( λ ) |     f L 2 φ L 2 by Cauchy–Schwarz. Hence, for f L 2 = 1 ,
A λ ( f ) L 2 φ L 2 C 1 D Λ ( h ) ( λ ) | z λ | d z C 2 | D Λ ( h ) | r ( h ) ,
where r ( h ) = diam D Λ ( h ) and C 2 depends on φ and the local geometry. Summing over those λ with D Λ ( h ) ( λ ) intersecting the (fixed, bounded) phase-space region of interest yields
λ A λ ( f ) L 2 C 3 r ( h ) ,
for a constant C 3 independent of h and f (we use that the union of the relevant cells has volume uniformly bounded in h). Thus the first contribution is O ( r ( h ) ) :
λ A λ ( f ) L 2 C 3 r ( h ) .
We write
S ( λ ) V φ f ( λ ) S ( z ) V φ f ( z ) = S ( λ ) S ( z ) V φ f ( λ ) + S ( z ) V φ f ( λ ) V φ f ( z ) .
The second piece is handled as well by smoothness of the STFT (again a standard fact for Schwartz windows) there is C 4 > 0 with
| V φ f ( λ ) V φ f ( z ) | C 4 | z λ | f L 2 ,
so integrating as before gives a contribution bounded by C 5 r ( h ) .
The first piece, involving S ( λ ) S ( z ) , is nonzero only for those cells D Λ ( h ) ( λ ) that intersect the boundary of (i.e., where the discrete symbol value differs from the continuous symbol). Let B h denote the union of such boundary cells. Then
λ D Λ ( h ) ( λ ) S ( λ ) S ( z ) V φ f ( λ ) π ( z ) φ d z L 2     sup z | V φ f ( z ) | · meas ( B h ) 1 / 2 · C 6 ,
by Cauchy–Schwarz and boundedness of π ( z ) φ L 2 = φ L 2 (the constant C 6 depends only on φ ). Using the general bound sup z | V φ f ( z ) |     φ L 2 f L 2 and our modeling assumption meas ( h ) C 0 h γ , we get
boundary contribution C 7 h γ / 2 · f L 2 .
Combining the two pieces in B λ yields
λ B λ ( f ) L 2     C 8 r ( h ) + h γ / 2 f L 2 .
Adding the provided results, we obtain, for all f L 2 ,
( P h , S P S ) f L 2 C r ( h ) + h γ / 2 f L 2 .
Finally, note that the lattice construction gives r ( h ) 0 as h 0 ; in the usual semiclassical/adaptive lattices one may choose r ( h ) h α for some α > 0 determined by the lattice density hypothesis. Hence there exists β > 0 (for instance β = min ( α , γ / 2 ) ) and C > 0 such that for all sufficiently small h
P h , S P S L 2 L 2 C h β .
This completes the proof. □
Example 5. 
We illustrate Theorem 18 by a simple, concrete model in dimension d = 1 (so phase space is R 2 ).
Take the normalized Gaussian
φ ( t ) = 2 1 / 4 e π t 2 , φ L 2 = 1 ,
so | V φ φ ( u ) | 2 = e π | u | 2 and ε ( R ) = | u | > R e π | u | 2 d u has Gaussian decay (see Example 1).
Let S = 1 D be the indicator of the disc
D : = { ( x , ξ ) R 2 : x 2 + ξ 2 R 0 2 } ,
with a fixed radius R 0 > 0 . The continuous localization operator is
P S f = R 2 1 D ( z ) V φ f ( z ) π ( z ) φ d z .
Fix a lattice spacing exponent α ( 0 , 1 ) and set
Λ ( h ) = r ( h ) Z 2 , r ( h ) : = h α .
The fundamental cell has diameter diam D Λ ( h ) r ( h ) . Define the discrete symbol S h : Λ ( h ) { 0 , 1 } by the cellular rule
S h ( λ ) = 1 center ( D Λ ( h ) ( λ ) ) D ,
and set P h , S as in Definition 9 (Riemann sum with cell volume | D Λ ( h ) | r ( h ) 2 ).
By Lemma 16 we have
meas D D r ( h ) C r ( h ) 2 s ,
where s [ 0 , 2 ) is the effective box-counting exponent of the boundary (for a smooth disc D we may take s = 1 ). Using the estimate in the proof of Theorem 18 one obtains the quantitative bound
P h , S P S L 2 L 2     C r ( h ) + r ( h ) 2 s 2 .
Recalling r ( h ) = h α , this can be written as
P h , S P S L 2 L 2     C h β , β = α · min 1 , 2 s 2 .
Two remarks:
1. 
For a smooth boundary (disc) we may set s = 1 , so β = α min { 1 , 1 2 } = α / 2 .
2. 
For fractal/porous boundaries with larger s the exponent β decreases in a computable way via (42).
This example makes explicit how the cellular approximation error (Lemma 16) and the continuity/Riemann-sum error combine to give the power-law estimate in Theorem 18.
Lemma 15. 
Let D R 2 be compact and let { D Λ ( h ) ( λ ) : λ Λ ( h ) } be a partition of R 2 into fundamental cells (for instance translates of a fixed fundamental domain for the lattice Λ ( h ) ) used in the center-in-D rule
S h ( λ ) = 1 center D Λ ( h ) ( λ ) D .
Assume there exist constants 0 < a b < (independent of h) such that every cell satisfies the uniform in/out ball comparability
B center ( D Λ ( h ) ( λ ) ) , a r ( h ) D Λ ( h ) ( λ ) B center ( D Λ ( h ) ( λ ) ) , b r ( h ) ,
where r ( h ) > 0 is the sampling/cell-scale parameter used in Example 5.
Define
U h : = λ : S h ( λ ) = 1 D Λ ( h ) ( λ )
the union of cells whose centers lie in D. Then with c : = max { a 1 , b } (so in particular one may take c = b ), we have the inclusions
D c r ( h ) U h D + c r ( h ) ,
where for a set E and ρ > 0 we write E + ρ : = { x : dist ( x , E ) ρ } and E ρ : = { x : dist ( x , R 2 E ) > ρ } .
Consequently, if D has covering/Hausdorff exponent s [ 0 , 2 ] (equivalently there exists C 1 > 0 with N D ( ρ ) C 1 ρ s for 0 < ρ ρ 0 ), then the symmetric difference obeys the uniform bound
meas D U h meas ( D + c r ( h ) ) ( D c r ( h ) ) r ( h ) 2 s ,
with implicit constant depending only on C 1 , s, a , b and geometric constants.
Proof. 
The inclusions in (43) imply the following two simple implications.
  • (1) If x D and y is any point with dist ( y , x ) a r ( h ) then the ball B ( y , a r ( h ) ) meets D (it contains x). Hence the cell D Λ ( h ) ( λ ) whose center is y satisfies B ( y , a r ( h ) ) D Λ ( h ) ( λ ) and therefore D Λ ( h ) ( λ ) intersects D. By the definition of U h (center-in-D rule) the cell is included in U h . Thus every point of D a r ( h ) (points of D at distance a r ( h ) from the complement) is contained in U h . Equivalently,
D a r ( h ) U h .
(If one prefers the slightly coarser constant c a as in the statement, replace a by c here.)
  • (2) Conversely, suppose a cell D Λ ( h ) ( λ ) is included in U h . By definition its center z λ lies in D, and by the outer inclusion in ( ) the whole cell is contained in the ball B ( z λ , b r ( h ) ) . Hence every point of U h lies within distance b r ( h ) of D, i.e.,
U h D + b r ( h ) .
Combining (1) and (2) yields the claimed two-sided inclusion with c = max { a , b } (or with c = b if one only records the outward radius).
Finally, the symmetric difference is contained in the boundary layer
D U h ( D + c r ( h ) ) ( D c r ( h ) ) ,
so its Lebesgue measure is bounded by the measure of the c r ( h ) –neighbourhood of D . Standard estimates for the volume of tubular neighbourhoods (see e.g., Mattila, Geometry of Sets and Measures in Euclidean Spaces, or Federer) give that if N D ( ρ ) C 1 ρ s for ρ ρ 0 , then
meas { x : dist ( x , D ) ρ } ρ 2 s , 0 < ρ ρ 0 ,
with implicit constants depending only on C 1 and s. Applying this with ρ = c r ( h ) yields
meas D U h ( c r ( h ) ) 2 s r ( h ) 2 s ,
which is the desired uniform bound. □
Remark 9. 
The uniform cell-shape assumption ( ) is satisfied in the usual lattice constructions used in Section 9: for instance if the cells are translates of a fixed fundamental parallelogram of side-lengths comparable to r ( h ) , then one may take a , b equal to half the inradius/outradius of that parallelogram (independent of h). If the cells are chosen as Euclidean discs of radius r ( h ) the constants simplify to a = b = 1 . The covering-number hypothesis N D ( ρ ) C 1 ρ s is equivalent (up to constants) to the usual covering/exponent assumption used elsewhere in the manuscript (see Example 2 and the discussion following Lemma 2).
Lemma 16. 
Let R 2 d be a bounded measurable set. Assume there exist constants C cov > 0 and s [ 0 , 2 d ) such that for every 0 < ρ ρ 0 the covering number of by Euclidean balls of radius ρ satisfies
N ( ρ ) C cov ρ s .
Let { D λ } λ Λ be a partition of R 2 d into measurable cells (for instance the translates of a fundamental cell of a lattice) with the property that each cell D λ has diameter diam D λ r and volume
c 1 r 2 d | D λ | c 2 r 2 d
for constants c 1 , c 2 > 0 independent of r. For a given r > 0 define the cellular approximation
r : = λ : center ( D λ ) D λ ,
i.e., the union of those cells whose centers lie in . Then there exists a constant C > 0 (depending only on C cov , c 1 , c 2 and the ambient dimension 2 d ) and ρ 1 > 0 such that for all 0 < r ρ 1 one has
meas r C r 2 d s .
In particular, if in your semiclassical notation r = r ( h ) and r ( h ) h α for some α > 0 , then
meas r ( h ) C h α ( 2 d s )
for some C > 0 .
Proof. 
Let denote the topological boundary of . The symmetric difference r is contained in a uniform neighbourhood of of radius C 0 r (with C 0 depending only on the choice of the cell centers—for example C 0 = 1 if each cell is contained in the Euclidean ball of radius r about its center). Indeed, if x r then either
1.
x but the center of the cell containing x lies in c , or
2.
x but the center of its cell lies in .
In both cases the center of the cell containing x lies within distance at most diam D λ r of a boundary point of , hence x lies in the r–neighbourhood of . Thus
r ( ) r ,
where ( ) r : = { y R 2 d : dist ( y , ) r } .
It remains to estimate the Lebesgue measure of ( ) r . Cover by at most N ( r ) balls of radius r, where N ( r ) denotes the minimal such covering number. Clearly
| ( ) r |     N ( r ) · | B ( 0 , r ) | C geom N ( r ) r 2 d ,
where | B ( 0 , r ) | = ω 2 d r 2 d and C geom is an absolute geometric constant (we may take C geom = ω 2 d ).
To relate N ( r ) to N ( r ) note that any r–ball which meets must intersect either or c , hence
N ( r ) N ( r ) + N c ( r ) .
Because is bounded, we may apply the covering hypothesis to both and c B ( 0 , R ) (for a sufficiently large fixed ball B ( 0 , R ) containing ) and find the same power law bound; in particular there is a constant C 1 (depending only on C cov and the chosen bounding ball) such that for all sufficiently small r,
N ( r ) C 1 r s .
Combining the last two displays yields
| r | | ( ) r | C geom C 1 r s r 2 d = C r 2 d s ,
with C : = C geom C 1 . This proves the first claim.
Finally, if r = r ( h ) h α then r 2 d s h α ( 2 d s ) , giving the stated corollary with C equal to the implied constant times C . □
Porosity (as used elsewhere in the manuscript) implies an upper bound on the Minkowski/box dimension of , and hence a covering-number bound of the form N ( ρ ) C cov ρ s for some s < 2 d . Thus, the hypothesis of Lemma 16 is satisfied for the porous sets treated in the paper; the exponent 2 d s which appears in the volume estimate is the standard exponent describing how the r–neighbourhood volume of a fractal set decays as r 0 .
Corollary 4. 
Under the same assumptions as in Theorem 18, the discrete Gaussian Gabor multiplier G φ 0 , Λ ( h ) , S  satisfies
G φ 0 , Λ ( h ) , S L 2 L 2 C h β ,
for 0 < h 1 , where C and β are as in Theorem 18.
This result extends the continuous fractal uncertainty estimate to a fully discrete setting, which is essential for computational applications.
We now illustrate how these discrete operators can be employed in practice. Two applications are presented: one in sparse signal recovery and one in the numerical study of resonance phenomena in quantum systems.
A signal f L 2 ( R d ) is said to be fractal sparse if its time-frequency representation V φ f is predominantly supported on a ν -porous set R 2 d .
Proposition 8. 
Suppose f is fractal sparse and let P h , S be the discrete localization operator associated with . Then, provided h is sufficiently small, one can recover f from noisy measurements by inverting P h , S on its range, with an error bound proportional to h β .
Proof. 
By definition, P h , S is a discrete localization operator that acts on functions f by localizing them to a scale h on the set . In our setting, is assumed to be porous, which in turn implies that the operator P h , S is well-conditioned when restricted to its range. In fact, Theorem 18 guarantees that there exists a constant C > 0 such that for all functions g in the range of P h , S we have
g     P h , S 1 g     C h β g ,
or equivalently, the norm of the inverse of P h , S restricted to its range is bounded by C h β . This shows that the inversion is stable and that the conditioning improves as h becomes smaller.
Since f is fractal sparse, its non-zero coefficients lie in a sparse (fractal) set. Classical results from compressed sensing guarantee that if the measurement operator (here P h , S ) is well-conditioned on sparse signals, then f can be recovered robustly from its measurements, even in the presence of noise. More precisely, if
y = P h , S f + e ,
with e a noise term of small norm, then an approximate inversion of P h , S on its range recovers f with error controlled by the noise level and the condition number of P h , S .
Let f ˜ be the recovery of f obtained by inverting P h , S on the range. That is,
f ˜ = P h , S 1 y .
Then the recovery error is given by
f ˜ f = P h , S 1 e .
Using the bound on the norm of P h , S 1 , we have
f ˜ f C h β e .
Now, if the noise e itself is of size O ( h γ ) (or if by design we can ensure that the error due to discretization is O ( h β ) ), then we obtain an error bound of the form
f ˜ f     h β ,
for a suitable exponent β > 0 .
Thus, provided h is sufficiently small, the well-conditioned nature of P h , S (ensured by the porosity of ) and the sparsity of f imply that one can robustly recover f by inverting P h , S on its range, with the recovery error bounded by a constant times h β . This completes the proof. □
Example 6. 
Let C ρ ( n ) [ 0 , 1 ] be the nth-stage random Cantor set defined as follows. Fix a branching number b 2 and a retention probability ρ ( 0 , 1 ) . Subdivide [ 0 , 1 ] into b equal subintervals and independently keep each with probability ρ, discarding the rest. Iterate this random selection independently on the retained intervals for n stages. The resulting set C ρ ( n ) has expected Hausdorff dimension
E [ s X ] = log ( ρ b ) log b .
Let Y be an independent copy C ρ ( n ) of the same distribution. Under the assumptions of Theorem 2, the expected porosity gap satisfies ε = 1 2 E [ s X ] = 1 2 log ( ρ b ) log b , so the theoretical decay exponent should be roughly
β theory ε 2 = 1 2 1 2 log ( ρ b ) log b + .
The numerical experiment below illustrates the quantitative decay predicted by the fractal uncertainty bound in Example 6. We discretize a Gabor-type operator T h on a uniform mesh and approximate the indicator multipliers 1 X , 1 Y by binary masks corresponding to a random Cantor-like support (mesoscopic scale). The short-time window used in the continuous model is taken to be Gaussian and the operator is implemented as a finite matrix by sampling the short-time Fourier transform on a lattice adapted to the semiclassical parameter h.
For each value of h we compute the largest singular value of the resulting finite matrix (this approximates 1 X T h 1 Y L 2 L 2 ). The plot below is a log–log plot of the measured norms vs. h. A least-squares fit on the log–log data yields an empirical power law
1 X T h 1 Y A h β fit
with fitted constants shown in the legend. The table following the plot lists the raw measured norms used in the fit and the local slope estimates computed between consecutive h-values.
The Table 3 and Figure 2 were produced from the measurements described in the paragraph at the start of this subsection. In a reproducible implementation one should fix:
i.
The random seed used to generate the Cantor-like mask;
ii.
The sampling lattice (time/frequency spacing) and the matrix-size N used in the discrete approximation;
iii.
The Gaussian window width (in the STFT) and the truncation threshold for the tail of the kernel.
Table 3. Measured operator norms and local slope estimates used in the log–log fit (data points correspond to h = 2 4 , , 2 8 ).
Table 3. Measured operator norms and local slope estimates used in the log–log fit (data points correspond to h = 2 4 , , 2 8 ).
hMeasured 1 X T h 1 Y Local Slope Between Consecutive Points
2 4 = 0.0625 0.5987459
2 5 = 0.03125 0.5198920 0.204
2 6 = 0.015625 0.4757879 0.128
2 7 = 0.0078125 0.4274526 0.155
2 8 = 0.00390625 0.3973060 0.106
Log–log least-squares fit: 1 X T h 1 Y     0 . 881 h 0 . 1466 (fitted exponent β fit 0 . 147 ).
Figure 2. Log–Log plot of the measured operator norm 1 X T h 1 Y versus the semiclassical parameter h. The discrete points are the measured largest singular values of the finite-dimensional Gabor multiplier approximation; the solid line is the least-squares power-law fit on the log–log scale.
Figure 2. Log–Log plot of the measured operator norm 1 X T h 1 Y versus the semiclassical parameter h. The discrete points are the measured largest singular values of the finite-dimensional Gabor multiplier approximation; the solid line is the least-squares power-law fit on the log–log scale.
Fractalfract 09 00808 g002
The fitted exponent β fit will in general depend mildly on mesoscopic choices (mask depth and lattice density) and on the thresholding used when approximating the infinite-rank integral operator by a finite matrix; however, the qualitative power-law decay shown above (positive slope on the log–log plot) illustrates the same semiclassical trend predicted by the analytic FUP statements in the main text.
Theorem 19. 
Let H h = h 2 Δ + V ( x ) be a semiclassical Schrödinger operator on L 2 ( R n ) . Assume the classical trapped set K p 1 ( E ) at energy E > 0 is compact and ν–porous on scales h to 1, and that the dynamical hypotheses needed to construct an escape function (as in the proof of Theorem 12) hold. Let P h , S be the discrete fractal localization operator associated to a porous phase-space projection of K (as in Definition 9). Suppose there exist constants C 0 , β > 0 such that for all sufficiently small h > 0 ,
P h , S L 2 L 2 C 0 h β .
Then there exists C 1 > 0 (depending only on the dynamics and on C 0 , β ) and h 0 > 0 such that for 0 < h h 0 the resonance set Res ( H h ) has a gap
Γ h : = inf { Im z : z Res ( H h ) } C 1 h β .
In particular no resonances lie in the strip { Im z > C 1 h β } .
Proof. 
By the dynamical hypotheses, in a same construction as in the beginning of the proof of Theorem 12, there exists an escape function G C ( T R n ; R ) and open sets U K , U p 1 ( E ) with K U K , U K = , and constants c 0 > 0 , C 0 such that
H p G ( ρ ) c 0 > 0 for ρ U , | G ( ρ ) | C 0 for ρ U K .
Choose smooth cutoffs χ K , χ C c ( T R n ) with χ K 1 near K, supp χ K U K , χ 1 on U , and χ K + χ 1 on the relevant energy shell. Quantize these symbols in the semiclassical calculus:
X K : = Op h ( χ K ) , X : = Op h ( χ ) ,
so that microlocally X K + X = I near the energy surface (modulo negligible O ( h ) errors). The standard commutator/escape computations (positive commutator argument) show that on the escaping region U one obtains an outgoing estimate: for z C with | z E | δ and z C h one has a resolvent bound
( H h z ) 1 X L 2 L 2     C h 1 ,
uniformly for small h. Thus, the only possible obstructions to a resolvent bound in a small strip come from the contribution microlocalized near K, i.e., from X K .
By hypothesis (44) we have the operator-norm smallness of the discrete localization operator P h , S ,
P h , S L 2 L 2     C 0 h β .
As explained in Section 9 this bound is obtained by approximating the continuous localization operator by the discrete Riemann sum on the adaptive lattice and using porosity/covering estimates; see Theorem 16 and Corollary 4 for the discrete approximation and norm bound. In particular, for any state u L 2 ,
P h , S ( X K u ) L 2     C 0 h β X K u L 2 .
Hence the action of any localization to the trapped set is damped by a factor O ( h β ) .
Let z satisfy | z E | δ and assume, aiming for a contradiction, that z > C 1 h β with C 1 > 0 to be chosen small. Suppose u 0 obeys
( H h z ) u = 0
in the sense of resonant states (i.e., u is a nontrivial outgoing solution; equivalently z is a resonance). Multiply the equation by X K and X and use the partition of unity I = X K + X to decompose u. On the escaping part, we have the outgoing estimate which forces X u to be controlled by boundary terms (indeed X u must be small for z C h ). On the trapped part we use the smallness (45) of P h , S as follows.
Introduce a (bounded) microlocal cutoff B with WF h ( B ) U K and B 1 on a slightly smaller neighbourhood of K. Consider the quadratic form
( H h z ) u , B B u = ( z ) B u 2 + [ H h , B B ] u , u .
Because B is supported near K and G is bounded on U K , the commutator term [ H h , B B ] u , u can be bounded by C h B u 2 + C h u 2 (using standard semiclassical pseudodifferential calculus; see the computations in Theorem 12). Rearranging yields
( z ) B u 2 C h B u 2 + C h u 2 .
If z h this forces B u to be controlled by u with a constant independent of h; however, here we only assume z h β with β possibly smaller than 1, so the commutator term alone is insufficient.
This is where the discrete localization smallness enters: on the trapped region the discrete operator P h , S provides an additional damping mechanism. Apply P h , S to u and use (45) together with the fact that P h , S is microlocally supported near K (so P h , S ( B ) = P h , S + O ( h ) ). We obtain
P h , S ( B u )     C 0 h β B u .
But P h , S acts as a (bounded) absorber on the trapped microlocal component; adding the small absorbing effect of P h , S to the commutator bound yields (for h small)
( z ) B u 2 C h B u 2 + C 0 h β B u 2 + C h u 2 .
Choose C 1 > 0 and h 0 so that for 0 < h h 0 the C h term is dominated (if necessary) by a half of C 0 h β (this can be done because β > 0 and we may restrict to h small). Thus for z C 1 h β with C 1 sufficiently small we obtain
1 2 C 0 h β B u 2 C h u 2 .
Since B u     X K u and X u is already controlled by outgoing estimates, this inequality implies (for h sufficiently small) that u must be zero unless z h β . Concretely, the above estimate contradicts the existence of a nontrivial resonant state u with z h β .
Putting the constants together, we therefore obtain that no resonance can satisfy z > C 1 h β for 0 < h h 0 . Equivalently the resonance gap satisfies Γ h C 1 h β for small h, as claimed. □
Theorem 19 connects the fractal geometry of the underlying classical system with the spectral properties of quantum systems, thereby providing a numerical tool to investigate resonance phenomena (see [10]).
For practical implementations, we discretize the time-frequency plane using adaptive algorithms that refine the lattice Λ ( h ) in regions where the fractal structure is more intricate. Our experiments validate the theoretical estimates and demonstrate the efficiency of the proposed algorithms in both recovery and resonance analysis tasks.
An adaptive lattice  Λ ad ( h ) is a sequence of lattices where the sampling density is increased in regions where the symbol S (or equivalently the fractal set ) has a high local complexity. Formally, one constructs Λ ad ( h ) so that the local density satisfies
| D Λ ad ( h ) ( z ) | ϕ ( z , h ) ,
where ϕ ( z , h ) is a prescribed function that depends on local estimates of the maximal Nyquist density.
Proposition 9. 
Let Λ ad ( h ) be an adaptive lattice as above and let P h , S ad denote the corresponding discrete localization operator. Then there exists a function ϵ ( h ) with lim h 0 ϵ ( h ) = 0 such that
P h , S ad f P S f L 2 ϵ ( h ) f L 2 .
Proof. 
Let P S be the ideal localization operator associated with the set S, defined in the continuous setting by
P S f ( x ) = χ S ( x ) f ( x ) ,
where χ S is the characteristic function of S. The discrete localization operator P h , S approximates P S using a discrete sampling of the function f at a scale h.
When using an adaptive sampling lattice Λ ad ( h ) , the discrete localization operator P h , S ad is adjusted to better approximate P S by incorporating information about the local structure of S. The goal is to show that
P h , S ad f P S f L 2 0 as h 0 .
Since P h , S ad is constructed using adaptive sampling, it follows that it approximates P S using a weighted sum over Λ ad ( h ) . In particular, we write
P h , S ad f ( x ) = x j Λ ad ( h ) w j f ( x j ) ϕ j ( x ) ,
where w j are adaptive weights and ϕ j ( x ) are localized basis functions.
The error between P h , S ad f and P S f is given by
E h ( x ) = P h , S ad f ( x ) P S f ( x ) .
By standard quadrature approximation results, the error norm satisfies
E h L 2     C h α f H k ,
for some constants C , α > 0 and for f belonging to an appropriate Sobolev space H k .
The key advantage of Λ ad ( h ) over a uniform lattice is that the error term ϵ ( h ) can be made smaller than the corresponding term in a uniform discretization. Specifically, adaptive refinement ensures that the weights w j and the basis functions ϕ j ( x ) approximate the true function more effectively in regions where S has finer structures.
By a standard interpolation argument (e.g., via an adaptive finite element analysis), the convergence rate α is improved for sufficiently smooth functions, leading to a decay of the error term ϵ ( h ) as h 0 .
Combining the quadrature estimate with the adaptive error reduction, we conclude that there exists a function ϵ ( h ) such that
P h , S ad f P S f L 2 ϵ ( h ) f L 2 ,
where ϵ ( h ) 0 as h 0 , proving the proposition. □
Adaptive lattice schemes are crucial for efficiently capturing the fractal details of , especially in higher dimensions.

10. Conclusions and Perspectives

In this paper we studied fractal uncertainty phenomena for a broad class of time–frequency transforms and fractal (porous) sets. The main contributions are as follows:
We introduced a unified RKHS-based framework that extends fractal uncertainty principle (FUP) arguments beyond the classical Bargmann/Fock setting to a large class of RKHS-admissible windows and transforms (Section 3, Section 4 and Section 5). This permitted a single conceptual approach that simultaneously treats the short-time Fourier transform, continuous wavelet transforms and shearlet-type representations.
We obtained quantitative FUP estimates for deterministic fractal/porous sets, with explicit dependence of the final exponent on the porosity/covering data and on mild tail hypotheses on the reproducing kernel. These estimates make transparent the role of geometric constants (covering/overlap) and tail constants (decay of the kernel outside a reference ball).
We extended the analysis to several probabilistic models of random fractals and showed that the FUP holds almost surely in the sense explained in Section 6 (pointwise a.s. formulation). The probabilistic argument relies on explicit probability estimates and a Borel–Cantelli step to pass from summable tail-probability bounds to the almost-sure conclusion.
We demonstrated how the abstract FUP bounds feed into applications in semiclassical and microlocal analysis: consequences include bounds for propagated pseudodifferential operators, norm-decay estimates for certain Gabor multipliers, and implications for spectral/resonance estimates in model problems (see Section 8).
We gave numerical/algorithmic remarks and a first set of illustrative computations that indicate how the estimates can be used in discrete sampling schemes and adaptive reconstruction algorithms (Section 9).
To avoid ambiguity we summarise the rigorous scope of our statements:
The FUP bounds proven in the deterministic part are quantitative, with constants that can be traced back to: (i) geometric covering/overlap constants, (ii) normalisation constants of the transform, and (iii) tail constants measuring the decay of the reproducing kernel.
In the random-model results we prove a pointwise almost-sure FUP: for P -almost every realisation of the random set there exist constants (possibly depending on the realisation) for which the FUP estimate holds. The Borel–Cantelli argument used gives the almost-sure occurrence; the statement is therefore of the form “for almost every sample there exist C ( ω ) , α ( ω ) , h 0 ( ω ) such that 1 X ( ω ) T h 1 Y ( ω )     C ( ω ) h α ( ω ) for h h 0 ( ω ) ”.
All applications and corollaries are obtained under the hypotheses stated in the corresponding theorems; when an application requires an additional technical assumption (e.g., symbol regularity for Egorov-type conjugation) this is clearly recorded in the hypothesis of the result.
While the present manuscript expands the scope of FUP techniques substantially, several important limitations and caveats remain:
Many of our estimates feature constants whose numerical value depends on the chosen covering, on overlap multiplicity, and on tail-seminorms of the window. Although we show how these dependencies arise and give prototypical examples (Gaussian, compactly supported C k windows), obtaining sharp numerical constants in full generality is outside the scope of this work.
The almost-sure results are presented in the pointwise (realisation-dependent) form. Strengthening these to uniform-in- ω constants (the same C , α , h 0 holding for all realizations in a full-measure set) would require additional uniform-probability bounds or a different summability/union-bound strategy and is left open.
The exponents obtained are quantitative and explicit in terms of geometric/tail parameters, but we do not claim optimality in general. Identifying the optimal exponent (or proving lower bounds that match our upper bounds) for general classes of windows and fractals remains an open question.
Our main examples and a number of the covering arguments rely on Euclidean coverings and low-dimensional intuition. Extensions to high-dimensional phase spaces or to manifolds with curvature will require careful modification of the geometric lemmas and are not addressed here.
While we include initial numerical remarks and examples, a systematic numerical study validating the asymptotic power-law behaviour and exploring finite-h regimes is left for future work.
We list specific, actionable directions that follow naturally from the present paper. These are organised so that a reader (or a follow-up project) can pick short-term tasks as well as longer-term research programmes.
Short-Term/Technical Follow-Ups
1.
Compute and include explicit bounds for the geometric and tail constants in standard cases (e.g., the Gaussian window in dimension d = 1 with a standard Euclidean ball covering). This gives readers a worked example that matches the abstract dependencies described in the text.
2.
Investigate whether the summability estimates used in the Borel–Cantelli step can be upgraded (by more careful tail estimates or concentration inequalities) to produce deterministic constants valid on a full-measure event. This would upgrade the pointwise a.s. theorems to a uniform-a.s. statement.
3.
Expand and detail the endpoint interpolation arguments (e.g., the L 1 / L endpoints) that were presented briefly; where possible, provide alternative proofs that avoid delicate endpoint interpolation or replace them with more robust real-variable estimates.
4.
For semiclassical applications, derive remainder estimates in the Egorov conjugation that are optimised for the symbol classes and time scales appearing in our applications. This may improve the exponent in some propagated-operator corollaries.
Medium-Term/Conceptual Directions
1.
Study lower bounds (counterexamples) that test the sharpness of our FUP exponents. In particular, examine whether extremal windows or extremal fractal geometries produce matching lower bounds.
2.
Develop the covering and RKHS-embedding arguments in the setting of Riemannian manifolds (or on cotangent bundles of compact manifolds) to apply FUP ideas in geometric scattering and quantum chaos.
3.
Extend the RKHS approach to further anisotropic transforms (e.g., curvelets, ridgelets) and to non-separable representations that are important in imaging and PDE-adapted decompositions.
4.
Investigate the implications of our FUP bounds for stability and uniqueness questions in inverse problems where measurements are constrained to fractal-like sets (e.g., limited-angle tomography, compressive sensing with fractal sampling).
Long-Term/Interdisciplinary Directions
1.
Build a systematic numerical and statistical study that tests finite-h behaviour, designs adaptive sampling algorithms based on the FUP constants, and benchmarks reconstruction quality in signal-processing applications.
2.
Explore deeper connections to problems in spectral theory, scattering (resonance gaps), and arithmetic quantum chaos where fractal structures naturally arise. Here, the aim is to translate the abstract FUP input into concrete spectral or dynamical consequences.
3.
Some speculative remarks were made in the introduction and conclusion about possible analogues in AQFT and automorphic dualities. Developing rigorous and non-speculative bridges between our RKHS/FUP machinery and those areas would require careful problem selection and is an ambitious long-term goal.
In summary, this work pushes FUP techniques considerably beyond classical settings, provides quantitative and probabilistic theorems that are directly usable in semiclassical and time–frequency applications, and opens a number of concrete mathematical and computational directions for follow-up work.

Author Contributions

We declare that S.H.S. and I.N. are corresponding authors and have an equal share in writing the manuscript and the order of authors listed in the manuscript has been approved by all of us. All authors have read and agreed to the published version of the manuscript.

Funding

We wish to confirm that there has been no significant financial support for this work that could have influenced its outcome.

Data Availability Statement

No new data were created or analyzed in this study.

Acknowledgments

The author gratefully acknowledges the support of collaborators as well as insightful discussions with experts in semiclassical analysis, fractal geometry, and quantum field theory.

Conflicts of Interest

The authors certify that there are no conflicts of interest with any financial or non-financial interests in the subject matter of the manuscript.

References

  1. Dyatlov, S.; Zahl, J. Spectral gaps, additive energy, and a fractal uncertainty principle. Geom. Funct. Anal. 2016, 26, 1011–1094. [Google Scholar] [CrossRef]
  2. Dyatlov, S.; Jin, L. Dolgopyat’s method and fractal uncertainty principle. Anal. PDE 2019, 12, 1613–1654. [Google Scholar] [CrossRef]
  3. Bourgain, J.; Dyatlov, S. Fourier dimension and spectral gaps for hyperbolic surfaces. Geom. Funct. Anal. 2016, 26, 678–755. [Google Scholar] [CrossRef]
  4. Dyatlov, S. An introduction to fractal uncertainty principle. J. Math. Phys. 2018, 60, 081505. [Google Scholar] [CrossRef]
  5. Knutsen, H. A fractal uncertainty principle for the short-time Fourier transform and Gabor multipliers. Appl. Comput. Harmon. Anal. 2023, 62, 365–389. [Google Scholar] [CrossRef]
  6. Gröchenig, K. Foundations of Time-Frequency Analysis; Birkhäuser: Basel, Switzerland, 2001. [Google Scholar]
  7. Daubechies, I. Ten lectures on wavelets. In CBMS-NSF Regional Conference Series in Applied Mathematics; Society for Industrial and Applied Mathematics: Philadelphia, PA, USA, 1992; Volume 61, 357. [Google Scholar]
  8. Kutyniok, G. Introduction to shearlets. In Shearlets: Multiscale Analysis for Multivariate Data; Birkhäuser: Basel, Switzerland, 2012; pp. 1–38. [Google Scholar]
  9. Falconer, K. Fractal Geometry: Mathematical Foundations and Applications, 2nd ed.; Wiley: Hoboken, NJ, USA, 2003. [Google Scholar]
  10. Nonnenmacher, S. Spectral problems in open quantum chaos. Nonlinearity 2011, 24, R123–R167. [Google Scholar] [CrossRef]
  11. Kangabire, A. Bounds on the fractal uncertainty exponent and a spectral gap. arXiv 2024, arXiv:2406.06815. [Google Scholar] [CrossRef]
  12. Han, X.; Salekani, P. Fractal uncertainty principle for random Cantor sets. arXiv 2024, arXiv:2404.15434. [Google Scholar] [CrossRef]
  13. Garello, G.; Morando, A.P. Pseudodifferential operators on time–frequency invariant Banach spaces and applications to Gabor frames. J.-Pseudo-Differ. Oper. Appl. 2025, 16, 63. [Google Scholar] [CrossRef]
  14. Cohen, A. Fractal uncertainty for discrete two-dimensional Cantor sets. Anal. PDE 2025, 18, 743–772. [Google Scholar] [CrossRef]
  15. Hashemi Sababe, S.; Nikoufar, I. Weighted Lorentz spaces, variable exponent analysis, and operator extensions. Axioms 2025, 14, 562. [Google Scholar] [CrossRef]
  16. Castro, L.P.; Guerra, R.C. Uncertainty principles for the multidimensional quadratic-phase Fourier transform. J.-Pseudo-Differ. Oper. Appl. 2025, 16, 61. [Google Scholar] [CrossRef]
  17. Backus, A.; Leng, J.; Tao, Z. A fractal uncertainty principle via Dolgopyat’s method in higher dimensions. Anal. PDE 2025, 18, 1769–1804. [Google Scholar] [CrossRef]
  18. Zhu, K. Analysis on Fock Spaces; Springer: Berlin/Heidelberg, Germany, 2012. [Google Scholar]
  19. Feichtinger, H.G.; Novak, K. A first survey of Gabor multipliers. In Advances in Gabor Analysis; Applied and Numerical Harmonic Analysis; Birkhäuser: Basel, Switzerland, 2003; pp. 99–128. [Google Scholar]
  20. Abreu, L.D.; Gröchenig, K. Banach Gabor frames with Hermite functions: Polyanalytic spaces from the Heisenberg group. Appl. Anal. 2012, 91, 1981–1997. [Google Scholar] [CrossRef][Green Version]
  21. Ascensi, G.; Bruna, J. Poisson Type Generators for L1(R). J. Fourier. Anal. Appl. 2009, 15, 553–560. [Google Scholar] [CrossRef]
  22. Folland, G.B. Fourier Analysis and Its Applications; Wadsworth & Brooks: Pacifc Grove, CA, USA, 1992. [Google Scholar]
  23. Mattila, P. Geometry of Sets and Measures in Euclidean Spaces: Fractals and Rectifiability. In Cambridge Studies in Advanced Mathematics; Cambridge University Press: Cambridge, UK, 1995; Volume 44. [Google Scholar]
  24. Davies, R.O.; Samuels, P. Density Theorems for Measures of Hausdorff Type. Bull. Lond. Math. Soc. 1974, 6, 31–36. [Google Scholar] [CrossRef]
  25. Falconer, K. Fractal Geometry: Mathematical Foundations and Applications, 1st ed.; Wiley: Hoboken, NJ, USA, 1990. [Google Scholar]
  26. Holschneider, M. Wavelets: An Analysis Tool. In Oxford Mathematical Monographs; Clarendon Press: Oxford, UK, 1995; 423. [Google Scholar]
  27. Kutyniok, G.; Labate, D. (Eds.) Shearlets: Multiscale Analysis for Multivariate Data. In Applied and Numerical Harmonic Analysis; Birkhäuser: Boston, MA, USA, 2012. [Google Scholar]
  28. Voigtlaender, F.; Pein, A. Analysis vs. synthesis sparsity for α-shearlets. arXiv 2017, arXiv:1702.03559. [Google Scholar]
  29. Dyatlov, S.; Zworski, M. Dynamical zeta functions for Anosov flows via microlocal analysis. Ann. Sci. Éc. Norm. Supér. 2016, 49, 543–577. [Google Scholar] [CrossRef]
  30. Zworski, M. Semiclassical Analysis; American Mathematical Society: Providence, RI, USA, 2012. [Google Scholar]
Figure 1. Numerical validation: spectral norm (mean ± std) of the discrete Gabor multiplier for different windows and semiclassical parameter h.
Figure 1. Numerical validation: spectral norm (mean ± std) of the discrete Gabor multiplier for different windows and semiclassical parameter h.
Fractalfract 09 00808 g001
Table 1. Numerical validation: spectral norm (mean ± std) of the discrete Gabor multiplier for different windows and semiclassical parameter h. Each entry reports mean (std) across 20 trials.
Table 1. Numerical validation: spectral norm (mean ± std) of the discrete Gabor multiplier for different windows and semiclassical parameter h. Each entry reports mean (std) across 20 trials.
Window h = 0.08 h = 0.06 h = 0.04 h = 0.02 h = 0.01
Gaussian4.347996 (0.068816)3.450927 (0.080668)2.624516 (0.067904)1.795029 (0.095846)1.290352 (0.031950)
Exponential5.820302 (0.088404)4.426919 (0.123137)3.301295 (0.080856)2.131003 (0.136872)1.506931 (0.053803)
Polynomial1.203601 (0.031756)1.123707 (0.077100)1.059128 (0.070694)1.031864 (0.050100)1.011662 (0.002741)
Table 2. Sample parameter summary and numerical estimates of prefactors.
Table 2. Sample parameter summary and numerical estimates of prefactors.
WindowTail TypeTail Params S ( g ) (Seminorms)AEstimated CNotes
Gaussianexponential c 1.2 explicit Gaussian seminorms A G C G analytic values computable
Compact C 6 polynomial M 6 finitely many derivatives A c C c computed by integration by parts
DPSSexponential-like c 0.9 numeric seminorms A D C D estimated numerically
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Hashemi Sababe, S.; Nikoufar, I. New Frontiers of Fractal Uncertainty. Fractal Fract. 2025, 9, 808. https://doi.org/10.3390/fractalfract9120808

AMA Style

Hashemi Sababe S, Nikoufar I. New Frontiers of Fractal Uncertainty. Fractal and Fractional. 2025; 9(12):808. https://doi.org/10.3390/fractalfract9120808

Chicago/Turabian Style

Hashemi Sababe, Saeed, and Ismail Nikoufar. 2025. "New Frontiers of Fractal Uncertainty" Fractal and Fractional 9, no. 12: 808. https://doi.org/10.3390/fractalfract9120808

APA Style

Hashemi Sababe, S., & Nikoufar, I. (2025). New Frontiers of Fractal Uncertainty. Fractal and Fractional, 9(12), 808. https://doi.org/10.3390/fractalfract9120808

Article Metrics

Back to TopTop