arXiv ScienceSearch

arXiv subjects

Oleg Asipchuk

Publications and source records attributed to Oleg Asipchuk.

11 recordsLinked to original sources

Fourier sampling on a lattice

We characterize the ambiguity in reconstructing bounded measurable sets from their Fourier transforms sampled on a lattice. For a full-rank lattice \(\mathcal L\subset\R^d\), we prove that two bounded measurable sets have identical indicator Fourier transforms on \(\mathcal L^*\) if and only if they are equidecomposable, modulo null sets, into finitely many measurable pieces by translations in \(\mathcal L\). If the sets are connected finite unions of convex bodies and no two distinct points of either set are congruent modulo \(\mathcal L\), we show that this equidecomposition reduces to a single translation by a vector of \(\mathcal L\). In particular, two such sets that are symmetric about the origin must coincide. We also construct counterexamples in dimensions two and three to a conjecture of the second author, which had a similar hypothesis, but lacked the anti-aliasing hypothesis. Together with the first author's counterexamples in dimensions at least four, these show that the conjecture fails in every dimension $d\geq 2$. The positive results here are an outgrowth of refinements of this conjecture.

math.FA

Block-equivalent finite Gabor frames

We study finite systems of vectors whose frame operator matrices are unitarily equivalent, via explicit and computationally efficient unitary transformations, to block-diagonal matrices. We call such systems block-equivalent. We show that a Gabor system $\mathcal{G}=\mathcal{G}(g,L\times K)\subset \mathbb C^N$ is block-equivalent when either the modulation set $L$ or the translation set $K$ is a subgroup of $\mathbb Z_N$. We also characterize situations in which the frame operator matrix becomes diagonal. Finally, we show that geometric conditions on subsets of $\mathbb Z_N$ force certain diagonals of the frame operator matrix of $\mathcal{G}$ to vanish, yielding additional sparsity and block structures.

math.FA

Rigidity in the Planar Ulam Floating Body Problem with perimetral density $σ=\tfrac16$

We study the two-dimensional Ulam's floating body problem for convex domains with perimetral density $σ=\tfrac16$. Using the framework of Zindler carousels, we reduce the problem to a two-dimensional dynamical system associated with an inscribed equilateral hexagon. Our main result shows that the disk is the only convex domain floating in equilibrium in every position for this perimetral density. This provides a new rigidity result for rational perimetral densities in the convex setting.

math.MG

Note on Robins' Conjecture in Dimension Four and Higher

This article is motivated by a conjecture proposed by Sinai Robins in 2024. The conjecture asserts that two convex, centrally symmetric sets of positive measure that are not multi-tilers must coincide up to rigid motions if and only if their Fourier transforms agree on the lattice $\mathbb{Z}^d$. In this paper, we disprove the conjecture by constructing explicit counterexamples in dimensions $d \geq 4$.

math.FA

Concerning the stability of exponential systems and Fourier matrices

Fourier matrices naturally appear in many applications and their stability is closely tied to performance guarantees of algorithms. The starting point of this article is a result that characterizes properties of an exponential system on a union of cubes in $\mathbb{R}^d$ in terms of a general class of Fourier matrices and their extreme singular values. This relationship is flexible in the sense that it holds for any dimension $d$, for many types of exponential systems (Riesz bases, Riesz sequences, or frames) and for Fourier matrices with an arbitrary number of rows and columns. From there, we prove new stability results for Fourier matrices by exploiting this connection and using powerful stability theorems for exponential systems. This paper provides a systematic exploration of this connection and suggests some natural open questions.

math.CA

Methods of construction of exponential bases on planar domains

In this paper, we survey and refine several results -- some previously established in the literature -- that facilitate the construction of exponential bases on planar domains with explicit control over the associated frame bounds. We apply our techniques to construct well-conditioned exponential bases on certain planar sets that multi-tile the plane.

math.FA

Examples of exponential bases on Union of intervals

In this paper, we construct explicit exponential bases on finite or infinite unions of segments of total length one with some conditions on gaps between them. We also construct exponential bases on certain unions of cubes in $\R^d$ and we prove a stability result for unions of segments that generalize Kadec's $\frac{1}{4}-$theorem.

math.FA

Exponential bases on modified domains

The stability of exponential bases on domains in $\R^n$ has been widely studied, with much of the research focusing on small perturbations of the phase. In this paper, we consider bases on measurable domains of the real line, and their stability under small modifications of the domain is investigated.

math.FA

Existence and non-existence of ground state solutions for magnetic NLS

We show the existence and stability of ground state solutions (g.s.s.) for $L^2$-critical magnetic nonlinear Schrödinger equations (mNLS) for a class of unbounded electromagnetic potentials. We then give non-existence result by constructing a sequence of vortex type functions in the setting of RNLS with an anisotropic harmonic potential. These generalize the corresponding results in [3] and [20]. The case of an isotropic harmonic potential for rotational NLS has been recently addressed in [10]. Numerical results on the ground state profile near the threshold are also included.

math.AP

Additive Stability of Frames

Given a frame in a finite dimensional Hilbert space we construct additive perturbations which decrease the condition number of the frame. By iterating this perturbation, we introduce an algorithm that produces a tight frame in a finite number of steps. Additionally, we give sharp bounds on additive perturbations which preserve frames and we study the effect of appending and erasing vectors to a given tight frame. We also discuss under which conditions our finite-dimensional results are extendable to infinite-dimensional Hilbert spaces.

math.FA