2025-07-04 | | Total: 171
Given any f a locally finitely piecewise affine homeomorphism of \Omega \subset \mathbb{R}^d onto \Delta \subset \mathbb{R}^d (for d=3, 4) such that f\in W^{1,p}(\Omega, \mathbb{R}^d) and f^{-1}\in W^{1,q}(\Delta, \mathbb{R}^d), 1\leq p ,q < \infty and any \epsilon >0 we construct a diffeomorphism \tilde{f} such that \|f-\tilde{f}\|_{W^{1,p}(\Omega,\mathbb{R}^d)} + \|f^{-1}-\tilde{f}^{-1}\|_{W^{1,q}(\Delta,\mathbb{R}^d)} < \epsilon.
Motivated by super-Yang-Mills theory on a Calabi-Yau 4-fold, Nekrasov and Piazzalunga have assigned weights to r-tuples of solid partitions and conjectured a formula for their weighted generating function. We define K-theoretic virtual invariants of Quot schemes of 0-dimensional quotients of \mathcal{O}_{\mathbb{C}^4}^{\oplus r} by realizing them as zero loci of isotropic sections of orthogonal bundles on non-commutative Quot schemes. Via the Oh-Thomas localization formula, we recover Nekrasov-Piazzalunga's weights and derive their sign rule. Our proof passes through refining the K-theoretic invariants to sheaves and describing them via Clifford modules, which lets us show that they arise from a factorizable sequence of sheaves in the sense of Okounkov. Taking limits of the equivariant parameters, we then deduce the Nekrasov-Piazzalunga conjecture from its 3-dimensional analog.
We introduce a cotwist construction for Hopf algebroids that also entails cotwisting or `quantisation' of the base and which is dual to a previous twisting construction of Xu. Whereas the latter applied the construction to the algebra of differential operators on a classical base B, we show that the dual of this is the algebra of sections J^\infty(B) of the jet bundle and hence the latter forms a Hopf algebroid, which we identify as a quotient of the pair Hopf algebroid B\otimes B. This classical jet bundle is then quantised by our cotwist construction to give a noncommutative jet Hopf algebroid over a noncommutative base. We also observe in the commutative case that J^k(B) for jets of order k can be identified with J^1(B_k) where B_k denotes B equipped with a certain non-standard first order differential calculus.
We show that linearly constrained linear optimization over a Stiefel or Grassmann manifold is NP-hard in general. We show that the same is true for unconstrained quadratic optimization over a Stiefel manifold. We will establish the nonexistence of FPTAS for these optimization problems over a Stiefel manifold. As an aside we extend our results to flag manifolds. Combined with earlier findings, this shows that manifold optimization is a difficult endeavor -- even the simplest problems like LP and unconstrained QP are already NP-hard on the most common manifolds.
We develop an existence and regularity theory for solutions to a geometric free boundary problem motivated by models of tumor growth. In this setting, the tumor invades an accessible region D, its motion is directed along a constant vector V, and it cannot penetrate another region K acting as an obstacle to the spread of the tumor. Due to the non variational structure of the problem, we show existence of viscosity solutions via Perron's method. Subsequently, we prove interior regularity for the free boundary near regular points by means of an improvement of flatness argument. We further analyze the boundary regularity and we prove that the free boundary meets the obstacle as a C^{1,\alpha} graph. A key step in the analysis of the boundary regularity involves the study of a thin obstacle problem with oblique boundary conditions, for which we establish C^{1,\alpha} estimates.
We provide the classical Boundary Harnack principle in Lipschitz domains for solutions to two different linear uniformly elliptic equations with the same principal part.
We discuss the problem of optimizing the distance function from a given point, subject to polynomial constraints. A key algebraic invariant that governs its complexity is the Euclidean distance degree, which pertains to first-order tangency. We focus on the data locus of points possessing at least one critical point of the distance function that is normal to a higher-order osculating space. We propose a novel definition of higher-order distance degree as an intersection-theoretic invariant involving jet bundles and higher-order polar classes. Our research yields closed formulas for generic maps, Veronese embeddings, and toric embeddings. We place particular emphasis on the Bombieri-Weyl metric, revealing that the chosen metric profoundly influences both the degree and birationality of the higher-order projection maps. Additionally, we introduce a tropical framework that represents these degrees as stable intersections with Bergman fans, facilitating effective combinatorial computation in toric settings.
We present a classification of homogeneous star products on duals of Lie algebroids in terms of the second Lie algebroid cohomology. Moreover, we extend this classification to projectable star products, i.e., to quantizations compatible with (coisotropic) reduction. This implies that quantization commutes with reduction in the considered setting.
The current work investigates the effectiveness of block triangular preconditioners in accelerating and stabilizing the numerical solution of inverse source problems governed by time-space fractional diffusion equations (TSFDEs). We focus on the recovery of an unknown spatial source function in a multi-dimensional TSFDE, incorporating Caputo time-fractional derivatives and the fractional Laplacian. The inherent ill-posedness is addressed via a quasi-boundary value regularization, followed by a finite difference discretization that leads to large, structured linear systems. We develop and analyze a block triangular preconditioning strategy that mimics the coefficient matrix, while simplifying its structure for computational efficiency. Numerical experiments using the GMRES solver demonstrate that the proposed preconditioner significantly improve convergence rates, robustness, and accuracy, making it well-suited for large-scale, real-world inverse problems involving fractional modeling.
We study Lorentz processes in two different settings. Both cases are characterized by infinite expectation of the free-flight times, contrary to what happens in the classical Gallavotti-Spohn models. Under a suitable Boltzmann-Grad type scaling limit, they converge to non-Markovian random-flight processes with superdiffusive behavior. A further scaling limit yields another non Markovian process, i.e., a superdiffusion obtained by a suitable time-change of Brownian motion. Furthermore, we obtain the governing equations for our random flights and anomalous diffusion, which represent a non-local counterpart for the linear-Boltzmann and diffusion equations arising in the classical theory. It turns out that these equations have the form of fractional kinetic equations in both time and space. To prove these results, we develop a technique based on mixtures of Feller semigroups.
This paper studies the inviscid limit problem for the two-dimensional Navier-Stokes equations with anisotropic viscosity. The fluid is assumed to be bounded above and below by impenetrable walls, with a no-slip boundary condition imposed on the bottom wall. For H^2 initial velocity, we establish strong convergence in the L^p norm to the limiting problem as the vertical viscosity approaches zero, for any 2\leq p <\infty. The main challenge lies in the mismatch of boundary conditions - specifically, the no-slip condition in the original problem versus the slip condition in the limiting problem.
This paper presents new examples of elementary and non-elementary irreducible components of the Hilbert scheme of points and its nested variants. The results are achieved via a careful analysis of the deformations of a class of finite colength ideals that are introduced in this paper and referred to as 2-step ideals. The most notable reducibility results pertain to the 4-nested Hilbert scheme of points on a smooth surface, the reducibility of \text{Hilb}^{3,7}\mathbb{A}^4, and a method to detect a large number of generically reduced elementary components. To demonstrate the feasibility of this approach, we provide an explicit description of 215 new generically reduced elementary components in dimensions 4, 5 and 6.
Given parameters n and \alpha, the metric dimension reduction modulus k^\alpha_n(\ell_\infty) is defined as the smallest k such that every n--point metric space can be embedded into some k-dimensional normed space X with bi--Lipschitz distortion at most \alpha. A fundamental task in the theory of metric embeddings is to obtain sharp asymptotics for k^\alpha_n(\ell_\infty) for all choices of \alpha and n, with the range \alpha=\Theta(\log n) bearing special importance. While advances in the theory lead to the upper bound k^{\alpha}_n(\ell_\infty) = O(\log n) for \alpha=\Theta(\log n), obtaining a matching lower bound has remained an open problem. We prove that k^{\beta\log n}_n(\ell_\infty) = \Omega(\log n) for every constant \beta>0, thereby closing the long--standing gap and resolving a question from the 2018 ICM plenary lecture of Naor.
Efficient simulation of the semiclassical Schrödinger equation has garnered significant attention in the numerical analysis community. While controlling the error in the unitary evolution or the wavefunction typically requires the time step size to shrink as the semiclassical parameter h decreases, it has been observed -- and proved for first- and second-order Trotterization schemes -- that the error in certain classes of observables admits a time step size independent of h. In this work, we explicitly characterize this class of observables and present a new, simple algebraic proof of uniform-in-h error bounds for arbitrarily high-order Trotterization schemes. Our proof relies solely on the algebraic structure of the underlying operators in both the continuous and discrete settings. Unlike previous analyses, it avoids Egorov-type theorems and bypasses heavy semiclassical machinery. To our knowledge, this is the first proof of uniform-in-h observable error bounds for Trotterization in the semiclassical regime that relies only on algebraic structure, without invoking the semiclassical limit.
Recent advances in Schramm-Loewner evolution have driven increasing interest in non-standard Loewner flows. In this work, we propose a novel splitting algorithm to simulate random Loewner curves with rigorous convergence analysis in sup-norm and L^p. The algorithm is further extended to explore fractional SLE, driven by fractional Brownian motion, and noise-reinforced SLE, incorporating the effect on long-term memory. These exploratory and numerical extensions enable theoretical predictions on fractal dimensions and other statistical phenomena, providing new insights into such dynamics and opening directions for future research.
This paper is concerned with a 2D channel flow that is periodic horizontally but bounded above and below by hard walls. We assume the presence of horizontal viscosity only. We study the well-posedness, large-time behavior, and stability of solutions. For global well-posedness, we aim to assume less differentiability on initial velocity (u_0, v_0): in particular, we assume u_0,v_0\in L^2(\Omega) and \partial_y u_0 \in L^2(\Omega).
This work solves suboptimal mixed-integer quadratic programs recursively for feedback control of dynamical systems. The proposed framework leverages parametric mixed-integer quadratic programming (MIQP) and hybrid systems theory to model a recursive MIQP feedback controller and a feedback controlled dynamical system. The proposed hybrid framework theoretically encodes the suboptimal part via solver parameters as bounded perturbations from the optimal solution set. The stability of the proposed hybrid framework is theoretically guaranteed and validated through MIQP model predictive control simulations with multiple solver parameters.
The Local Structure Theorem (LST) for graph minors roughly states that every H-minor free graph G that contains a sufficiently large wall W, there is a set of few vertices A such that, upon removing A, the resulting graph G':=G - A admits an "almost embedding" \delta into a surface \Sigma in which H does not embed. By almost embedding, we mean that there exists a hypergraph \mathcal{H} whose vertex set is a subset of the vertex set of G and an embedding of \mathcal{H} in \Sigma such that 1) the drawing of each hyperedge of \mathcal{H} corresponds to a cell of \delta, 2) the boundary of each cell intersects only the vertices of the corresponding hyperedge, and 3) all remaining vertices and edges of G' are drawn in the interior of cells. The cells corresponding to hyperedges of arity at least 4, called vortices, are few in number and have small "depth", while a "large" part of the wall W is drawn outside the vortices and is "grounded" in the embedding \delta. Now suppose that the subgraphs drawn inside each of the non-vortex cells are equipped with some finite index, i.e., each such cell is assigned a color from a finite set. We prove a version of the LST in which the set C of colors assigned to the non-vortex cells exhibits "large" bidimensionality: The graph G' contains a minor model of a large grid \Gamma where each bag corresponding to a vertex v of \Gamma, contains the subgraph drawn within a cell carrying color \alpha, for every color \alpha \in C. Moreover, the grid \Gamma can be chosen in a way that is "well-connected" to the original wall W.
We prove an easy but very weak version of Chernoff inequality. Namely, that the probability that in 6M throws of a fair coin, one gets at most M heads is \leq 1/2^M.
We propose a new nonconforming finite element method for solving Stokes interface problems. The method is constructed on local anisotropic mixed meshes, which are generated by fitting the interface through simple connection of intersection points on an interface-unfitted background mesh, as introduced in \cite{Hu2021optimal}. For triangular elements, we employ the standard \mathcal{CR} element; for quadrilateral elements, a new rotated Q_1-type element is used. We prove that this rotated Q_1 element remains unisolvent and stable even on degenerate quadrilateral elements. Based on these properties, we further show that the space pair of \mathcal{CR}-rotated Q_1 elements (for velocity) and piecewise P_0 spaces (for pressure) satisfies the inf-sup condition without requiring any stabilization terms. As established in our previous work \cite{Wang2025nonconforming}, the consistency error achieves the optimal convergence order without the need for penalty terms to control it. Finally, several numerical examples are provided to verify our theoretical results.
We consider the sum of the reciprocals of the middle prime factor of an integer, defined according to multiplicity or not. We obtain an asymptotic expansion in the first case and an asymptotic formula involving an implicit parameter in the second. Both these results improve on previous estimates available in the literature.
Integrated sensing and communication (ISAC) is a key feature of future cellular systems, enabling applications such as intruder detection, monitoring, and tracking using the same infrastructure. However, its potential for structural health monitoring (SHM), which requires the detection of slow and subtle structural changes, remains largely unexplored due to challenges such as multipath interference and the need for ultra-high sensing precision. This study introduces a novel theoretical framework for SHM via ISAC by leveraging reconfigurable intelligent surfaces (RIS) as reference points in collaboration with base stations and users. By dynamically adjusting RIS phases to generate distinct radio signals that suppress background multipath interference, measurement accuracy at these reference points is enhanced. We theoretically analyze RIS-aided collaborative sensing in three-dimensional cellular networks using Fisher information theory, demonstrating how increasing observation time, incorporating additional receivers (even with self-positioning errors), optimizing RIS phases, and refining collaborative node selection can reduce the position error bound to meet SHM's stringent accuracy requirements. Furthermore, we develop a Bayesian inference model to identify structural states and validate damage detection probabilities. Both theoretical and numerical analyses confirm ISAC's capability for millimeter-level deformation detection, highlighting its potential for high-precision SHM applications.
We study the continuous model of the localized wave propagation corresponding to the one-dimensional diatomic crystal lattice. From the mathematical point of view the problem can be described in terms of the Cauchy problem with localized initial data for a system of two pseudo-differential equations. We assume two small parameters in this formulation -- the lattice step and the size if the initial perturbation. We construct the asymptotic solution of the continuous Cauchy problem with respect to the size of perturbation. The ratio of the small parameters drastically affects the form of the solution. We consider two situations -- when the size of the perturbation is sufficiently large and when it is comparable with the lattice step. In each situations we provide analytical formulae for the asymptotic solution via Airy function.
In previous work (Coulembier--Flake 2024), the authors conjectured that the tensor product of an arbitrary finite-dimensional modular representation of an elementary abelian p-group with the biggest non-projective restricted Steinberg SL_2-module is a restricted tilting module. We showed that the validity of the conjecture would have interesting implications in the theory of tensor categories in positive characteristic, in particular, with respect to the classification of incompressible symmetric tensor categories, which is the subject of arguably the main open conjecture in the area. We present here some evidence for the conjecture to hold.
Inspired by the recent work by Nadji, Ahmia and Ramírez, we examined the arithmetic properties of \bar{B}_{l_1,l_2} (n), the number of overpartitions of n whose parts are neither divisible by l_1 nor divisible by l_2. In particular, we establish some congruences modulo k in {4, 8, 6, 12} satisfied by \bar{B}_{l_1,l_2} (n) where l_1 and l_2 take values as arbitrary powers of 2 and 3. Moreover, we extend certain results proved in [26] and [15] for l_1 and l_2 with random powers of 2 and 3. Generating functions, dissection formulas, and theta functions are used to prove our main findings.