Searcharxiv⌕ Search

arXiv subjects

Svitlana Mayboroda

Publications and source records attributed to Svitlana Mayboroda.

At least 19 recordsLinked to original sources
arXiv2026

Scalar Dissipation Criticality in Compressible Magnetized Turbulence

We extend the Obukhov-Corrsin theory of scalar turbulence to compressible flows with spatially variable, anisotropic diffusivity. Combining density and diffusivity into a single positive matrix field, a transport landscape, permits an exact scale-by-scale balance in which the sign-indefinite commutator between filtering and diffusion is eliminated rather than estimated. If the density-weighted third-order velocity and scalar increments scale as $\ell^α$ and $\ell^β$, respectively, we prove that anomalous scalar dissipation is impossible when $α+2β>1$. Remarkably, this threshold is independent of the anisotropy and spatial regularity of the diffusivity, provided it remains uniformly elliptic. Codimension-one shocks in both velocity and scalar have $α=β=1/3$ and therefore lie exactly at the critical threshold. For statistically stationary turbulence we further obtain an exact density-weighted constant-flux relation, providing a compressible analogue of the relation underlying Yaglom's law. The results apply directly to passive-scalar transport in both gases and magnetized plasmas and provide testable diagnostics for simulations of compressible magnetohydrodynamic turbulence. Because the same operator governs anisotropic heat conduction, the results carry over to the electron temperature of a magnetized plasma, and they imply that gradient statistics in such flows must be contracted with the transport landscape rather than with the density.

physics.plasm-ph↗
arXiv2026

Robin harmonic measure with a variable permeability parameter

In this paper we study the behavior of the solutions to the Robin problem in bounded $1$-sided NTA domains with Ahlfors-David regular boundary, generalizing the results of \cite{DavDEMM} to the case of a non constant Robin parameter. In particular, we will prove the mutual absolute continuity of the Robin harmonic measure with respect to the surface measure in the setting of variable permeability.

math.AP↗
arXiv2026

Regularity thresholds for anomalous dissipation and related phenomena in passive scalars

We prove the absence of anomalous dissipation for passive scalars driven by some random autonomous divergence-free vector fields in $\mathbb T^d$. In dimension $d=2$ we just need continuity almost surely and a mild nondegeneracy condition on the randomness. In dimension $d\geq 3$ we assume a special geometric structure and almost sure Hölder regularity with a Hölder exponent bigger than $\frac{1}{8}$. No regularity is assumed on the passive scalar except for boundedness in the initial data. The proof relies on dimension-theoretic arguments, as opposed to commutator estimates. A consequence of these results is that the same assumptions prevent (almost surely) many other expected properties of turbulent flows, such as anomalous regularization, the Yaglom-Obukhov-Corrsin law, and Richardson diffusion.

math.AP↗
arXiv2026

Physics-Informed Neural Embeddings of PDE Solution Families

We introduce a physics-informed framework for learning finite-dimensional embeddings of solution families of partial differential equations. The method uses a multihead Physics-Informed Neural Network in which a shared body learns a latent manifold representing the solution space, while linear heads reconstruct individual solutions associated with different initial conditions. A head-orthogonalization penalty removes degeneracies in the latent representation and stabilizes the principal-component spectrum across training realizations. Because the initial condition is built into the network output by construction, these principal components measure the additional variability the network learns on top of the initial profile, not the full solution itself. We apply the method to the one-dimensional viscous Burgers equation, with the heat and wave equations as robustness checks. For a latent dimension $n_b=20$, the learned manifolds exhibit pronounced effective dimensional reduction: for Burgers dynamics, only $2$-$4$ principal components capture about $95\%$ of the latent-space variance, while $4$-$7$ capture about $99\%$, depending on the initial-condition family; the same qualitative compression holds for the heat and wave equations. We also split the wavenumber axis into bands (``Fourier shells'') and measure how much each band contributes to every principal component. The resulting frequency profile is invariant under the change-of-basis freedom that the orthogonalization penalty leaves in the latent space, and is therefore reproducible across independent training runs. More broadly, this establishes the learned spectral profiles and principal components as robust observables of solution-manifold geometry.

cs.LG↗
arXiv2026

Level sets of fractional Sobolev functions

We prove a coarea-type result for scalar functions $f$ in fractional Sobolev spaces $W^{s, p} (Ω)$ with $Ω\subset \mathbb R^n$, $0<s<1$, and $1\leq p < \infty$. Our theorem shows that a.e. level set has zero Hausdorff $\mathcal{H}^{n-s}$ measure, where the level set $f^{-1} (y)$ is defined as the set all points at which $y$ is between the $\liminf$ and the $\limsup$ (as $r\downarrow 0$) of the averages of $f$ over the balls $B_r (y)$. A quite general construction of random series of wavelets shows also that with probability $1$ (many) level sets have indeed dimension $n-s$.

math.AP↗
arXiv2026

The Poisson problem in domains with Ahlfors regular boundary

We establish well posedness of the Poisson problem in weak local John domains, for linear second order elliptic equations with real coefficients, and with data in weighted Lebesgue spaces with a very broad range of acceptable parameters.

math.AP↗
arXiv2025

Using Wavelet Decomposition to Determine the Dimension of Structures from Projected Images

Mesoscale structures can often be described as fractional dimensional across a wide range of scales. We consider a $γ$ dimensional measure embedded in an $N$ dimensional space and discuss how to determine its dimension, both in $N$ dimensions and projected into $D$ dimensions. It is a highly non-trivial problem to decode the original geometry from lower dimensional projection of a high-dimensional measure. The projections are space-feeling, the popular box-counting techniques do not apply, and the Fourier methods are contaminated by aliasing effects. In the present paper we demonstrate that under the "Copernican hypothesis'' that we are not observing objects from a special direction, projection in a wavelet basis is remarkably simple: the wavelet power spectrum of a projected $γ$ dimensional measure is $P_j \propto 2^{-jγ}$. This holds regardless of the embedded dimension, $N$, and the projected dimension, $D$. This approach could have potentially broad applications in data sciences where a typically sparse matrix encodes lower dimensional information embedded in an extremely high dimensional field and often measured in projection to a low dimensional space. Here, we apply this method to JWST and Chandra observations of the nearby supernova Cas A. We find that the emissions can be represented by projections of mesoscale substructures with fractal dimensions varying from $γ= 1.7$ for the warm CO layer observed by JWST, up to $γ= 2.5$ for the hot X-ray emitting gas layer in the supernova remnant. The resulting power law indicates that the emission is coming from a fractal dimensional mesoscale structure likely produced by magneto-hydrodynamical instabilities in the expanding supernova shell.

astro-ph.HE↗
arXiv2025

Robin Green Function Estimates and a Model of Mammalian Lungs

The present paper establishes delicate properties of the Green function with Robin boundary conditions, in particular, elucidating the nature of the passage between the Dirichlet-like and Neumann-like behavior. This yields sharp quantifiable bounds on the corresponding harmonic measure and proves the phase transition in the behavior of the total flow earlier conjectured in physics literature in concert with the efficacy of mammalian lungs.

math.AP↗
arXiv2025

The Poisson-Dirichlet problem in domains with Ahlfors regular boundary

We present an announcement of some recent results concerning well-posedness of the Poisson-Dirichlet problem with boundary data in Besov spaces with fractional smoothness. This is a far-reaching generalization as previously known theorems concerning well-posedness of the Poisson problem in such intermediate smoothness classes were mostly restricted to the context of Lipschitz domains and coefficients satisfying strong regularity assumptions.

math.AP↗
arXiv2025

Periodic homogenization and harmonic measures

Since the seminal work of Kenig and Pipher, the Dahlberg-Kenig-Pipher (DKP) condition on oscillations of the coefficient matrix became a standard threshold in the study of absolute continuity of the harmonic measure with respect to the Hausdorff measure on the boundary. It has been proved sufficient for absolute continuity in the domains with increasingly complex geometry, and known counterexamples show that in a certain sense it is necessary as well. In the present note, we introduce into the subject ideas from homogenization theory to exhibit a new class of operators for which the elliptic measure is well-behaved, featuring the coefficients violating the DKP condition, and on the contrary, oscillating so quickly, that the homogenization takes place.

math.AP↗
arXiv2024

Dimension and structure of the Robin Harmonic Measure on Rough Domains

The present paper establishes that the Robin harmonic measure is quantitatively mutually absolutely continuous with respect to the surface measure on any Ahlfors regular set in any (quantifiably) connected domain for any elliptic operator. This stands in contrast with analogous results for the Dirichlet boundary value problem and also contradicts the expectation, supported by simulations in the physics literature, that the dimension of the Robin harmonic measure in rough domains exhibits a phase transition as the boundary condition interpolates between completely reflecting and completely absorbing. In the adopted traditional language, the corresponding harmonic measure exhibits no dimension drop, and the absolute continuity necessitates neither rectifiability of the boundary nor control of the oscillations of the coefficients of the equation. The expected phase transition is rather exhibited through the detailed non-scale-invariant weight estimates.

math.AP↗
arXiv2024

Anderson mobility edge as a percolation transition

The location of the mobility edge is a long standing problem in Anderson localization. In this paper, we show that the effective confining potential introduced in the localization landscape (LL) theory predicts the onset of delocalization in 3D tight-binding models, in a large part of the energy-disorder diagram. Near the edge of the spectrum, the eigenstates are confined inside the basins of the LL-based potential. The delocalization transition corresponds to the progressive merging of these basins resulting in the percolation of this classically-allowed region throughout the system. This approach, shown to be valid both in the cases of uniform and binary disorders despite their very different phase diagrams, allows us to reinterpret the Anderson transition in the tight-binding model: the mobility edge appears to be composed of two parts, one being understood as a percolation transition.

cond-mat.dis-nn↗
arXiv2023

Elliptic theory for sets with higher co-dimensional boundaries

Many geometric and analytic properties of sets hinge on the properties of harmonic measure, notoriously missing for sets of higher co-dimension. The aim of this manuscript is to develop a version of elliptic theory, associated to a linear PDE, which ultimately yields a notion analogous to that of the harmonic measure, for sets of codimension higher than 1. To this end, we turn to degenerate elliptic equations. Let $Γ\subset \mathbb R^n$ be an Ahlfors regular set of dimension $d<n-1$ (not necessarily integer) and $Ω= \mathbb R^n \setminus Γ$. Let $L = - {\rm div} A\nabla$ be a degenerate elliptic operator with measurable coefficients such that the ellipticity constants of the matrix $A$ are bounded from above and below by a multiple of ${\rm dist}(\cdot, Γ)^{d+1-n}$. We define weak solutions; prove trace and extension theorems in suitable weighted Sobolev spaces; establish the maximum principle, De Giorgi-Nash-Moser estimates, the Harnack inequality, the Hölder continuity of solutions (inside and at the boundary). We define the Green function and provide the basic set of pointwise and/or $L^p$ estimates for the Green function and for its gradient. With this at hand, we define harmonic measure associated to $L$, establish its doubling property, non-degeneracy, change-of-the-pole formulas, and, finally, the comparison principle for local solutions. In another article to appear, we will prove that when $Γ$ is the graph of a Lipschitz function with small Lipschitz constant, we can find an elliptic operator $L$ for which the harmonic measure given here is absolutely continuous with respect to the $d$-Hausdorff measure on $Γ$ and vice versa. It thus extends Dahlberg's theorem to some sets of codimension higher than 1.

math.AP↗
arXiv2023

Elliptic theory in domains with boundaries of mixed dimension

Take an open domain $Ω\subset \mathbb R^n$ whose boundary may be composed of pieces of different dimensions. For instance, $Ω$ can be a ball on $\mathbb R^3$, minus one of its diameters $D$, or $Ω\subset \mathbb R^3$ could be a so-called saw-tooth domain, with a boundary consisting of pieces of 1-dimensional curves intercepted by 2-dimensional spheres. Under appropriate geometric assumptions, such as the existence of doubling measures on $Ω$ and $\partial Ω$ with appropriate size conditions, we construct a class of degenerate elliptic operators $L$ adapted to the geometry, and establish key estimates of elliptic theory associated to those operators. This includes boundary Poincaré and Harnack inequalities, maximum principle, and Hölder continuity of solutions at the boundary. We introduce Hilbert spaces naturally associated to the geometry, construct appropriate trace and extension operators, and use them to define weak solutions to $Lu=0$. Then we prove De Giorgi-Nash-Moser estimates inside $Ω$ and on the boundary, solve the Dirichlet problem and thus construct an elliptic measure $ω_L$ associated to $L$. At last, we introduce Green functions, and use them to prove a comparison principle. Since our theory emphasizes measures, rather than the geometry per se, the results are new even in the classical setting of a half-plane $\mathbb R^2_+$ when the boundary $\partial \mathbb R^2_+= \mathbb R$ is equipped with a doubling measure $μ$ singular with respect to the Lebesgue measure on $\mathbb R$. Finally, the present paper provides a generalization of the celebrated Caffarelli-Sylvestre extension operator from its classical setting of $\mathbb R^{n+1}_+$ to general open sets, and hence, an extension of the concept of fractional Laplacian to Ahlfors regular boundaries and beyond.

math.AP↗
arXiv2023

The landscape function on $\mathbb R^d$

Consider the Schrödinger operator $-\triangle+λV$ with non-negative iid random potential $V$ of strength $λ>0$. We prove existence and uniqueness of the associated landscape function on the whole space, and show that its correlations decay exponentially. As a main ingredient we establish the (annealed and quenched) exponential decay of the Green function of $-\triangle+λV$ using Agmon's positivity method, rank-one perturbation in dimensions $d\ge 3$, and first-passage percolation in dimensions $d=1,2$.

math.PR↗
arXiv2023

Critical Perturbations for Second Order Elliptic Operators. Part II: Non-tangential maximal function estimates

This is the final part of a series of papers where we study perturbations of divergence form second order elliptic operators $-\operatorname{div} A \nabla$ by first and zero order terms, whose complex coefficients lie in critical spaces, via the method of layer potentials. In particular, we show that the $L^2$ well-posedness (with natural non-tangential maximal function estimates) of the Dirichlet, Neumann and regularity problems for complex Hermitian, block form, or constant-coefficient divergence form elliptic operators in the upper half-space are all stable under such perturbations. Due to the lack of the classical De Giorgi-Nash-Moser theory in our setting, our method to prove the non-tangential maximal function estimates relies on a completely new argument: We obtain a certain weak-$L^p$ ''$N<S$'' estimate, which we eventually couple with square function bounds, weighted extrapolation theory, and a bootstrapping argument to recover the full $L^2$ bound. Finally, we show the existence and uniqueness of solutions in a relatively broad class. As a corollary, we claim the first results in an unbounded domain concerning the $L^p$-solvability of boundary value problems for the magnetic Schrödinger operator $-(\nabla-i{\bf a})^2+V$ when the magnetic potential ${\bf a}$ and the electric potential $V$ are accordingly small in the norm of a scale-invariant Lebesgue space.

math.AP↗
arXiv2023

Critical Perturbations for Second Order Elliptic Operators. Part I: Square function bounds for layer potentials

This is the first part of a series of two papers where we study perturbations of divergence form second order elliptic operators $-\mathop{\operatorname{div}} A \nabla$ by first and zero order terms, whose coefficients lie in critical spaces, via the method of layer potentials. In particular, we show that the $L^2$ well-posedness of the Dirichlet, Neumann and Regularity problems for complex Hermitian, block form, or constant-coefficient divergence form elliptic operators in the upper half-space are all stable under such perturbations. For instance, this allows us to claim the first results in the setting of an unbounded domain concerning the solvability of boundary value problems for the magnetic Schrödinger operator $-(\nabla-i{\bf a})^2+V$ when the magnetic potential ${\bf a}$ and the electric potential $V$ are accordingly small in the norm of a scale-invariant Lebesgue space. In the present paper, we establish $L^2$ control of the square function via a vector-valued $Tb$ theorem and abstract layer potentials, and use these square function bounds to obtain uniform slice bounds for solutions. The existence and uniqueness of solutions, as well as bounds for the non-tangential maximal operator, are considered in the upcoming paper.

math.AP↗