Inhomogeneous Set Research Articles

The Generalized Baker–Schmidt Problem on Hypersurfaces

Abstract The generalized Baker–Schmidt problem (1970) concerns the $f$-dimensional Hausdorff measure of the set of $\psi $-approximable points on a nondegenerate manifold. There are two variants of this problem concerning simultaneous and dual approximation. Beresnevich–Dickinson–Velani (in 2006, for the homogeneous setting) and Badziahin–Beresnevich–Velani (in 2013, for the inhomogeneous setting) proved the divergence part of this problem for dual approximation on arbitrary nondegenerate manifolds. The corresponding convergence counterpart represents a major challenging open question and the progress thus far has only been attained over planar curves. In this paper, we settle this problem for hypersurfaces in a more general setting, that is, for inhomogeneous approximations and with a non-monotonic multivariable approximating function.

Monte Carlo gPC Methods for Diffusive Kinetic Flocking Models with Uncertainties

In this paper we introduce and discuss numerical schemes for the approximation of kinetic equations for flocking behavior with phase transitions that incorporate uncertain quantities. This class of schemes here considered make use of a Monte Carlo approach in the phase space coupled with a stochastic Galerkin expansion in the random space. The proposed methods naturally preserve the positivity of the statistical moments of the solution and are capable to achieve high accuracy in the random space. Several tests on a kinetic alignment model with self propulsion validate the proposed methods both in the homogeneous and inhomogeneous setting, shading light on the influence of uncertainties in phase transition phenomena driven by noise such as their smoothing and confidence band.

Higher-rank Bohr sets and multiplicative diophantine approximation

Gallagher’s theorem is a sharpening and extension of the Littlewood conjecture that holds for almost all tuples of real numbers. We provide a fibre refinement, solving a problem posed by Beresnevich, Haynes and Velani in 2015. Hitherto, this was only known on the plane, as previous approaches relied heavily on the theory of continued fractions. Using reduced successive minima in lieu of continued fractions, we develop the structural theory of Bohr sets of arbitrary rank, in the context of diophantine approximation. In addition, we generalise the theory and result to the inhomogeneous setting. To deal with this inhomogeneity, we employ diophantine transference inequalities in lieu of the three distance theorem.

Transport in the sine-Gordon field theory: From generalized hydrodynamics to semiclassics

The semiclassical approach introduced by Sachdev and collaborators proved to be extremely successful in the study of quantum quenches in massive field theories, both in homogeneous and inhomogeneous settings. While conceptually very simple, this method allows one to obtain analytic predictions for several observables when the density of excitations produced by the quench is small. At the same time, a novel generalized hydrodynamic (GHD) approach, which captures exactly many asymptotic features of the integrable dynamics, has recently been introduced. Interestingly, also this theory has a natural interpretation in terms of semiclassical particles and it is then natural to compare the two approaches. This is the objective of this work: we carry out a systematic comparison between the two methods in the prototypical example of the sine-Gordon field theory. In particular, we study the "bipartitioning protocol" where the two halves of a system initially prepared at different temperatures are joined together and then left to evolve unitarily with the same Hamiltonian. We identify two different limits in which the semiclassical predictions are analytically recovered from GHD: a particular non-relativistic limit and the low temperature regime. Interestingly, the transport of topological charge becomes sub-ballistic in these cases. Away from these limits we find that the semiclassical predictions are only approximate and, in contrast to the latter, the transport is always ballistic. This statement seems to hold true even for the so-called "hybrid" semiclassical approach, where finite time DMRG simulations are used to describe the evolution in the internal space.

A NOTE ON MATRIX APPROXIMATION IN THE THEORY OF MULTIPLICATIVE DIOPHANTINE APPROXIMATION

We prove the Hausdorff measure version of the matrix form of Gallagher’s theorem in the inhomogeneous setting, thereby proving a conjecture posed by Hussain and Simmons [‘The Hausdorff measure version of Gallagher’s theorem—closing the gap and beyond’, J. Number Theory186 (2018), 211–225].

On the Dimension and Measure of Inhomogeneous Attractors

A central question in the field of inhomogeneous attractors has been to relate the dimension of an inhomogeneous attractor to the condensation set and associated homogeneous attractor. This has been achieved only in specific settings, with notable results by Olsen, Snigireva, Fraser and Käenmäki on inhomogeneous self-similar sets, and by Burrell and Fraser on inhomogeneous self-affine sets. This paper is devoted to filling a significant gap in the dimension theory of inhomogeneous attractors, by studying those formed from arbitrary bi-Lipschitz contractions. We show that the maximum of the dimension of the condensation set and a quantity related to pressure, which we term upper Lipschitz dimension, forms a natural and general upper bound on the dimension. Additionally, we begin a new line of enquiry; the methods developed are used to classify the Hausdorff measure of inhomogeneous attractors. Our results have applications for affine systems with affinity dimension less than or equal to one and systems satisfying bounded distortion, such as conformal systems in dimensions greater than one.

Maxwell scheme for internal stresses in multiphase composites

The paper focuses on the reformulation of classic Maxwell's (1873) homogenization method for calculation of the residual stresses in matrix composites. For this goal, we equate the far fields produced by a set of inhomogeneities subjected to known eigenstrains and by a fictitious domain with unknown eigenstrain. The effect of interaction between the inhomogeneities is reduced to the calculation of the additional field acting on an inhomogeneity due to the eigenstrains in its neighbors. An explicit formula for residual stresses is derived for the general case of a multiphase composite. The method is illustrated by several examples. The results are compared with available experimental data as well as with predictions provided by the non-interaction approximation (Eshelby solution). It is shown that accounting for interaction can explain many experimentally observed phenomena and is required for adequate quantitative analytical modeling of the residual stresses in matrix composites.

The box dimensions of inhomogeneous self-conformal sets with overlaps

We investigate the box dimensions of inhomogeneous self-conformal sets with overlaps. Firstly, we significantly generalize the result of Fraser concerning upper box dimension under some mild overlap conditions. Secondly, we give corresponding formula of lower box dimension for condense set C with special construction. These results extend the Bowen's equation for inhomogeneous IFS.

Development of an Exactly Solvable Model of Resonance Tunneling of Electromagnetic Waves through Gradient Barriers in a Nonuniform Magnetoactive Plasma

An exactly solvable one-dimensional model describing resonance tunneling (reflectionless transmission) of a transverse electromagnetic wave through wide layers of magnetoactive plasma is developed on the basis of the Helmholtz equation. The plasma layers include a set of spatially localized density structures the amplitudes and thicknesses of which are such that approximate methods are inapplicable for their analysis. The profiles of the plasma density structures strongly depend on the choice of the free parameters of the problem that determine the amplitudes of plasma density modulation, characteristic scale lengths of the density structures, their number, and the total thickness of the nonuniform plasma layer. The plasma layers can also include a set of random inhomogeneities. The propagation of electromagnetic waves through such complicated plasma inhomogeneities is analyzed numerically within the proposed exactly solvable model. According to calculations, there are a wide set of inhomogeneous structures for which an electromagnetic wave incident from vacuum can propagate through the plasma layer without reflection, i.e., the complete tunneling of thick plasma barriers takes place. The model also allows one to exactly solve a one-dimensional problem on the nonlinear transillumination of a nonuniform plasma layer in the presence of cubic nonlinearity. It is important that, due to nonlinearity, the thicknesses of the evanescent plasma regions can decrease substantially and, at a sufficiently strong nonlinearity, such regions will disappear completely. The problem of resonance tunneling of electromagnetic radiation through gradient wave barriers is of interest for various applications, such as efficient heating of dense plasma by electromagnetic radiation and transmission of electromagnetic signals from a source located in the near-Earth plasma or deep in the plasma of an astrophysical object through the surrounding evanescent regions.

Bohr sets and multiplicative Diophantine approximation

In two dimensions, Gallagher's theorem is a strengthening of the Littlewood conjecture that holds for almost all pairs of real numbers. We prove an inhomogeneous fibre version of Gallagher's theorem, sharpening and making unconditional a result recently obtained conditionally by Beresnevich, Haynes and Velani. The idea is to find large generalised arithmetic progressions within inhomogeneous Bohr sets, extending a construction given by Tao. This precise structure enables us to verify the hypotheses of the Duffin--Schaeffer theorem for the problem at hand, via the geometry of numbers.

A mass transference principle for systems of linear forms and its applications

In this paper we establish a general form of the mass transference principle for systems of linear forms conjectured in 2009. We also present a number of applications of this result to problems in Diophantine approximation. These include a general transference of Lebesgue measure Khintchine–Groshev type theorems to Hausdorff measure statements. The statements we obtain are applicable in both the homogeneous and inhomogeneous settings as well as allowing transference under any additional constraints on approximating integer points. In particular, we establish Hausdorff measure counterparts of some Khintchine–Groshev type theorems with primitivity constraints recently proved by Dani, Laurent and Nogueira.

Quantifying inhomogeneity in fractal sets

An inhomogeneous fractal set is one which exhibits different scaling behaviour at different points. The Assouad dimension of a set is a quantity which finds the ‘most difficult location and scale’ at which to cover the set and its difference from box dimension can be thought of as a first-level overall measure of how inhomogeneous the set is. For the next level of analysis, we develop a quantitative theory of inhomogeneity by considering the measure of the set of points around which the set exhibits a given level of inhomogeneity at a certain scale. For a set of examples, a family of -invariant subsets of the 2-torus, we show that this quantity satisfies a large deviations principle. We compare members of this family, demonstrating how the rate function gives us a deeper understanding of their inhomogeneity.

DESCQA: An Automated Validation Framework for Synthetic Sky Catalogs

Abstract The use of high-quality simulated sky catalogs is essential for the success of cosmological surveys. The catalogs have diverse applications, such as investigating signatures of fundamental physics in cosmological observables, understanding the effect of systematic uncertainties on measured signals and testing mitigation strategies for reducing these uncertainties, aiding analysis pipeline development and testing, and survey strategy optimization. The list of applications is growing with improvements in the quality of the catalogs and the details that they can provide. Given the importance of simulated catalogs, it is critical to provide rigorous validation protocols that enable both catalog providers and users to assess the quality of the catalogs in a straightforward and comprehensive way. For this purpose, we have developed the DESCQA framework for the Large Synoptic Survey Telescope Dark Energy Science Collaboration as well as for the broader community. The goal of DESCQA is to enable the inspection, validation, and comparison of an inhomogeneous set of synthetic catalogs via the provision of a common interface within an automated framework. In this paper, we present the design concept and first implementation of DESCQA. In order to establish and demonstrate its full functionality we use a set of interim catalogs and validation tests. We highlight several important aspects, both technical and scientific, that require thoughtful consideration when designing a validation framework, including validation metrics and how these metrics impose requirements on the synthetic sky catalogs.

Fast learning rate of non-sparse multiple kernel learning and optimal regularization strategies

In this paper, we give a new generalization error bound of Multiple Kernel Learning (MKL) for a general class of regularizations, and discuss what kind of regularization gives a favorable predictive accuracy. Our main target in this paper is dense type regularizations including $\ell_{p}$-MKL. According to the numerical experiments, it is known that the sparse regularization does not necessarily show a good performance compared with dense type regularizations. Motivated by this fact, this paper gives a general theoretical tool to derive fast learning rates of MKL that is applicable to arbitrary mixed-norm-type regularizations in a unifying manner. This enables us to compare the generalization performances of various types of regularizations. As a consequence, we observe that the homogeneity of the complexities of candidate reproducing kernel Hilbert spaces (RKHSs) affects which regularization strategy ($\ell_{1}$ or dense) is preferred. In fact, in homogeneous complexity settings where the complexities of all RKHSs are evenly same, $\ell_{1}$-regularization is optimal among all isotropic norms. On the other hand, in inhomogeneous complexity settings, dense type regularizations can show better learning rate than sparse $\ell_{1}$-regularization. We also show that our learning rate achieves the minimax lower bound in homogeneous complexity settings.

Detection of small inhomogeneities via direct sampling method in transverse electric polarization

Various studies have confirmed the possibility of identifying the location of a set of small inhomogeneities via a direct sampling method; however, when their permeability differs from that of the background, their location cannot be satisfactorily identified. However, no theoretical explanation for this phenomenon has been verified. In this study, we demonstrate that the indicator function of the direct sampling method can be expressed by the Bessel function of order one of the first kind and explain why the exact locations of inhomogeneities cannot be identified. Numerical results with noisy data are exhibited to support our examination.

Dirac Equation and Optical Wave Propagation in One Dimension

We show that the propagation of transverse electric (TE) polarized waves in one‐dimensional inhomogeneous settings can be written in the form of the Dirac equation in one space dimension with a Lorentz scalar potential, and consequently perform photonic simulations of the Dirac equation in optical structures. In particular, we propose how the zero energy state of the Jackiw–Rebbi model can be generated in an optical set‐up by controlling the refractive index landscape, where TE‐polarized waves mimic the Dirac particles and the soliton field can be tuned by adjusting the refractive index.

The Hausdorff measure version of Gallagher's theorem – Closing the gap and beyond

In this paper we prove an upper bound on the “size” of the set of multiplicatively ψ-approximable points in Rd for d>1 in terms of f-dimensional Hausdorff measure. This upper bound exactly complements the known lower bound, providing a “zero-full” law which relates the Hausdorff measure to the convergence/divergence of a certain series in both the homogeneous and inhomogeneous settings. This zero-full law resolves a question posed by Beresnevich and Velani (2015) [6] regarding the “log factor” discrepancy in the convergent/divergent sum conditions of their theorem. We further prove the analogous result for the multiplicative doubly metric setup.

Evaluation of Stopping-Power Prediction by Dual- and Single-Energy Computed Tomography in an Anthropomorphic Ground-Truth Phantom

To determine the accuracy of particle range prediction for proton and heavier ion radiation therapy based on dual-energy computed tomography (DECT) in a realistic inhomogeneous geometry and to compare it with the state-of-the-art clinical approach. A 3-dimensional ground-truth map of stopping-power ratios (SPRs) was created for an anthropomorphic head phantom by assigning measured SPR values to segmented structures in a high-resolution CT scan. This reference map was validated independently comparing proton transmission measurements with Monte Carlo transport simulations. Two DECT-based methods for direct SPR prediction via the Bethe formula (DirectSPR) and 2 established approaches based on Hounsfield look-up tables (HLUTs) were chosen for evaluation. The SPR predictions from the 4 investigated methods were compared with the reference, using material-specific voxel statistics and 2-dimensional gamma analysis. Furthermore, range deviations were analyzed in an exemplary proton treatment plan. The established reference SPR map was successfully validated for the discrimination of SPR and range differences well below 0.3% and 1mm, respectively, even in complex inhomogeneous settings. For the phantom materials of larger volume (mainly brain, soft tissue), the investigated methods were overall able to predict SPR within 1% median deviation. The DirectSPR methods generally performed better than the HLUT approaches. For smaller phantom parts (such as cortical bone, air cavities), all methods were affected by image smoothing, leading to considerable SPR under- or overestimation. This effect was superimposed on the general SPR prediction accuracy in the exemplary treatment plan. DirectSPR predictions proved to be more robust, with high accuracy in particular for larger volumes. In contrast, HLUT approaches exhibited a fortuitous component. The evaluation of accuracy in a realistic phantom with validated ground-truth SPR represents a crucial step toward possible clinical application of DECT-based SPR prediction methods.

Inhomogeneous self-similar sets with overlaps

It is known that if the underlying iterated function system satisfies the open set condition, then the upper box dimension of an inhomogeneous self-similar set is the maximum of the upper box dimensions of the homogeneous counterpart and the condensation set. First, we prove that this ‘expected formula’ does not hold in general if there are overlaps in the construction. We demonstrate this via two different types of counterexample: the first is a family of overlapping inhomogeneous self-similar sets based upon Bernoulli convolutions; and the second applies in higher dimensions and makes use of a spectral gap property that holds for certain subgroups of $\text{SO}(d)$ for $d\geq 3$. We also obtain new upper bounds, derived using sumsets, for the upper box dimension of an inhomogeneous self-similar set which hold in general. Moreover, our counterexamples demonstrate that these bounds are optimal. In the final section we show that if the weak separation property is satisfied, that is, the overlaps are controllable, then the ‘expected formula’ does hold.

Counterexamples, covering systems, and zero-one laws for inhomogeneous approximation

We develop the inhomogeneous counterpart to some key aspects of the story of the Duffin–Schaeffer Conjecture (1941). Specifically, we construct counterexamples to a number of candidates for a sans-monotonicity version of Szüsz’s inhomogeneous (1958) version of Khintchine’s Theorem (1924). For example, given any real sequence [Formula: see text], we build a divergent series of non-negative reals [Formula: see text] such that for any [Formula: see text], almost no real number is inhomogeneously [Formula: see text]-approximable with inhomogeneous parameter [Formula: see text]. Furthermore, given any second sequence [Formula: see text] not intersecting the rational span of [Formula: see text], and assuming a dynamical version of Erdős’ Covering Systems Conjecture (1950), we can ensure that almost every real number is inhomogeneously [Formula: see text]-approximable with any inhomogeneous parameter [Formula: see text]. Next, we prove a positive result that is near optimal in view of the limitations that our counterexamples impose. This leads to a discussion of natural analogues of the Duffin–Schaeffer Conjecture and Duffin–Schaeffer Theorem (1941) in the inhomogeneous setting. As a step toward these, we prove versions of Gallagher’s Zero-One Law (1961) for inhomogeneous approximation by reduced fractions.