2025-03-06 | | Total: 167
Optimal transport has found widespread applications in signal processing and machine learning. Among its many equivalent formulations, optimal transport seeks to reconstruct a random variable/vector with a prescribed distribution at the destination while minimizing the expected distortion relative to a given random variable/vector at the source. However, in practice, certain constraints may render the optimal transport plan infeasible. In this work, we consider three types of constraints: rate constraints, dimension constraints, and channel constraints, motivated by perception-aware lossy compression, generative principal component analysis, and deep joint source-channel coding, respectively. Special attenion is given to the setting termed Gaussian Wasserstein optimal transport, where both the source and reconstruction variables are multivariate Gaussian, and the end-to-end distortion is measured by the mean squared error. We derive explicit results for the minimum achievable mean squared error under the three aforementioned constraints when the covariance matrices of the source and reconstruction variables commute.
Let $G$ be a finite abelian group written multiplicatively, with $\hat{G} = G\sqcup \{0\}$ the pointed abelian group formed by adjoining an absorbing element $0$. There is an associated finitary, proto-abelian category $\operatorname{Vect}_{\hat{G}}$, whose objects can be thought of as finite-dimensional vector spaces over $\hat{G}$. The class of $\hat{G}$-linear monoids are then defined in terms of this category. In this paper, we study the finitary, proto-abelian category $\operatorname{Rep}(M,\hat{G})$ of finite-dimensional $\hat{G}$-linear representations of a $\hat{G}$-linear monoid $M$. Although this category is only a slight modification of the usual category of $M$-modules, it exhibits significantly different behavior for interesting classes of monoids. Assuming that the regular principal factors of $M$ are objects of $\operatorname{Rep}(M,\hat{G})$, we develop a version of the Clifford-Munn-Ponizovski\u i Theorem and classify the $M$ for which $\operatorname{Rep}(M,\hat{G})$ is semisimple. When $M$ is the endomorphism monoid of an object in $\operatorname{Vect}_{\hat{G}}$, we discuss alternate frameworks for studying its $\hat{G}$-linear representations and contrast the various approaches.
It is proved that for every complex quadratic polynomial $f$ with Cremer's fixed point $z_0$ (or periodic orbit) for every $\delta>0$, there is at most one periodic orbit of minimal period $n$ for all $n$ large enough, entirely in the disc (ball) $B(z_0, \exp -\delta n)$ (at most two for a periodic Cremer orbit). Next, it is proved that the number of periodic orbits of period $n$ in a bunch $P_n$, that is for all $x,y\in P_n$, $|f^j(x)- f^j(y)|\le \exp -\delta n$ for all $j=0,...,n-1$, does not exceed $\exp \delta n$. We conclude that the geometric pressure defined with the use of periodic points coincides with the one defined with the use of preimages of an arbitrary typical point. I. Binder, K. Makarov and S. Smirnov (Duke Math. J. 2003) proved this for all polynomials but assuming all periodic orbits are hyperbolic, and asked about general situations. We prove here a positive answer for all quadratic polynomials.
We study the conditions under which the head characters of a solvable group, as defined by I. M. Isaacs, behave well with respect to restriction. We also determine the intersection of the kernels of all head characters of the group. Using G. Navarro's definition of $\mathfrak{F}'$-characters, we generalize these results for any saturated formation $\mathfrak{F}$ containing the nilpotent groups.
We consider classes of codimension two Cohen--Macaulay ideals over a standard graded polynomial ring over a field. The basic drive behind the present landscapes is a thorough analysis of the related Hilbert--Burch matrix, often without assuming equigeneration, linear presentation or even the popular $G_d$ condition of Artin--Nagata. Among some of the results is a proof of a conjecture on the Jacobian ideal of a hyperplane arrangement stated by Burity, Simis and Tohǎneanu.
In this paper, we construct an explicit Reedy fibrant replacement functor for projective fibrant simplicial presheaves $X : \mathscr{C}^{op} \rightarrow \textbf{sSet}$, where $\mathscr{C}$ is a Reedy category. Our approach describes, by hand, all latching maps for the Reedy fibrant replacement by an inductive series of higher homotopies. We explore the nature of our functor by using it to recover some standard homotopy limit constructions.
We introduce a new isomorphic quantity for Banach spaces, the index $\Theta_X$, based on finite convex coverings of the unit ball. This index is closely related to the asymptotic moduli of uniform convexity and uniform smoothness, so that it can be calculated for several classical Banach spaces.
We introduce a new class of combinatorial objects, named tight gradings, which are certain nonnegative integer-valued functions on maximal Dyck paths. Using tight gradings, we derive a manifestly positive formula for any wall-function in a rank-2 generalized cluster scattering diagram. We further prove that any consistent rank-2 scattering diagram is positive with respect to the coefficients of initial wall-functions. Moreover, our formula yields explicit expressions for relative Gromov-Witten invariants on weighted projective planes and the Euler characteristics of moduli spaces of framed stable representations on complete bipartite quivers. Finally, by leveraging the rank-2 positivity, we show that any higher-rank generalized cluster scattering diagram has positive wall-functions, which leads to a proof of the positivity of the Laurent phenomenon and the strong positivity of Chekhov-Shapiro's generalized cluster algebras.
The Join-the-Shortest-Queue-d routing policy is considered for a large system with $n$ servers. Moderate deviation principles (MDP) for the occupancy process and the empirical queue length process are established as $n\to \infty$. Each MDP is formulated in terms of a large deviation principle with an appropriate speed function in a suitable infinite-dimensional path space. Proofs rely on certain variational representations for exponential functionals of Poisson random measures. As a case study, the convergence of rate functions for systems with finite buffer size $K$ to the rate function without buffer is analyzed, as $K \to \infty$.
Let $\mathcal{F}$ be a set of $n$ real analytic functions with linearly independent derivatives restricted to a compact interval $I$. We show that for any finite set $A \subset I$, there is a function $f \in \mathcal{F}$ that satisfies $$|2^{n-1}f(A)-(2^{n-1}-1)f(A)|\gg_{\mathcal{F},I} |A|^{\phi(n)},$$ where $\phi:\mathbb{N} \to \mathbb{R}$ satisfies the recursive formula $$\phi(1)=1, \quad \phi(n)=1+\frac{1}{1+\frac{1}{\phi(n-1)}} \quad \text{for } n\geq 2.$$ The above result allows us to prove the bound $$|2^nf(A-A)-(2^n-1)f(A-A)| \gg_{f,n,I} |A|^{1+\phi(n)}$$ where $f$ is an analytic function for which any $n$ distinct non-trivial discrete derivatives of $f'$ are linearly independent. This condition is satisfied, for instance, by any polynomial function of degree $m \geq n+1$. We also check this condition for the function $\arctan(e^x)$ with $n=3$, allowing us to improve upon a recent bound on the additive growth of the set of angles in a Cartesian product due to Roche-Newton.
In this work, we investigate the existence and properties of Gaussian-like densities for weak solutions of multidimensional stochastic differential equations driven by a mixture of completely correlated fractional Brownian motions. We consider both the short-range and long-range dependent regimes, imposing a singular drift in the short-range dependent case and a Hölder continuous drift in the long-range dependent setting. Our approach avoids the use of Malliavin calculus and stochastic dynamical systems, relying instead on the Girsanov theorem and the framework of exponential Orlicz spaces. By considering a conditionally Gaussian process, we establish the existence of a density with respect to the Lebesgue measure. Furthermore, we derive Gaussian-type upper and lower bounds for this density, illustrating the optimality of our results in the short-range dependent case.
We characterize bounded multiplication operators in weighted Dirichlet spaces that are power bounded, Cesàro bounded and uniformly Kreiss. Moreover, we show the equivalence in such spaces between mean ergodicity and Cesàro boundedness for multiplication operators. We perform the same study for adjoints of multiplication operators. As a particular example, we obtain a uniform mean ergodic multiplication operator in Dirichlet spaces that fails to be power bounded.
We investigate the well-posedness of stochastic differential equations driven by fractional Brownian motion, focusing on the long-range dependent case $H \in (\frac{1}{2}, 1)$. While existing results on regularization by such noise typically require Hölder continuity of the drift, we establish new strong existence and uniqueness results for certain classes of singular drifts, including discontinuous and highly irregular functions. More generally, we treat stochastic differential equations with additive noise given by a broader class of Volterra processes satisfying suitable kernel conditions, which, in addition to fractional Brownian motion, also includes the Riemann-Liouville process as a special case. Our approach relies on probabilistic arguments.
We give a survey of Darboux type theorems in multisymplectic geometry. These theorems establish when a closed differential form of a certain type admits a constant-coefficient expression in some local coordinate system. Beyond the classical cases of symplectic and volume forms, 0-deformability (i.e. constancy of linear type) is typically not automatic and has to be imposed, leading to distinct theorems 'per linear type'.
We study existence and uniqueness of spherically symmetric solutions of S_k(D^2v)+beta xi\cdot\nabla v+\alpha v+\abs{v}^{q-1}v=0 in R^n, where \alpha,\beta are real parameters, n>2,\, q>k\geq 1 and S_k(D^2v) stands for the k-Hessian operator of v. Our results are based mainly on the analysis of an associated dynamical system and energy methods. We derive some properties of the solutions of the above equation for different ranges of the parameters \alpha and \beta. In particular, we describe with precision its asymptotic behavior at infinity. Further, according to the position of q with respect to the first critical exponent \frac{(n+2)k}{n} and the Tso critical exponent \frac{(n+2)k}{n-2k} we study the existence of three classes of solutions: crossing, slow decay or fast decay solutions. In particular, if k>1 all the fast decay solutions have a compact support in R^n. The results also apply to construct self-similar solutions of type I to a related nonlinear evolution equation. These are self-similar functions of the form u(t,x)=t^{-\alpha}v(xt^{-\beta}) with suitable \alpha and \beta.
In this paper, we establish the space-time analyticity of global solutions to the incompressible Navier-Stokes equations with small initial data in critical \emph{Besov} spaces $\dot B^{3/p-1}_{p,q}$. Time decay rates of higher order space-time joint derivatives and instantaneous lower bounds of the analyticity radius follow as straightforward consequences. The method employed combines Gevrey-class estimates with iterative derivative techniques. Furthermore, we obtain a logarithmic improvement in the lower bound for the spatial analyticity radius of solutions for arbitrary initial data in critical \emph{Besov} spaces.
Many equilibrated flux recovery methods for finite element solutions rely on ad hoc or method-specific techniques, limiting their generalizability and efficiency. In this work, we introduce the Equilibrated Averaging Residual Method (EARM), a unified framework for flux recovery that not only reproduces state-of-the-art locally conservative fluxes but also enables the derivation of new equilibrated fluxes with improved properties. In this paper, EARM is applied to conforming, nonconforming, and discontinuous Galerkin methods, ensuring local conservation and robust a posteriori error estimation. Despite the unified nature of the variational problem, the framework retains the flexibility to fully leverage the inherent properties of finite element spaces. Moreover, EARM offers explicit and computationally efficient flux reconstructions for all methods in two dimensions. In three dimensions, only simple local problems need to be solved for the conforming finite element methods.
In this work, we introduce a theory of stochastic integration for operator-valued processes with respect to semimartingales taking values in the dual of a nuclear space. These semimartingales are required to have the good integrator property, which is a property that we explore in detail and provide several examples. Our construction of the stochastic integral uses a regularization argument for cylindrical semimartingales and the theory of real-valued stochastic integration introduced by the author in a previous work [Electron. J. Probab., Volume 26, paper no. 147, 2021]. We show various properties of the stochastic integral; in particular we study continuity of the integral mapping for integrands and for integrators, we prove a Riemman representation formula, and we introduce sufficient conditions for the stochastic integral to be a good integrator. Finally, we apply our theory to show an extension of Üstünel's version of Itô's formula in the spaces of distributions and of tempered distributions.
We define and consider in-depth the so-called $C\Delta$ rings as those rings $R$ whose elements are a sum of an element in $C(R)$ and of an element in $\Delta(R)$. Our achieved results somewhat strengthen these recently obtained by Ma-Wang-Leroy in Czechoslovak Math. J. (2024) as well as these due to Kurtulmaz-Halicioglu-Harmanci-Chen in Bull. Belg. Math. Soc. Simon Stevin (2019). Specifically, we succeeded to establish that exchange $C\Delta$ rings are always clean as well as that exchange CN rings are strongly clean. Likewise, we prove that, for any ring $R$, the ring of formal power series $R[[x]]$ over $R$ is $C\Delta$ if, and only if, so is $R$. And, furthermore, we show that, for any ring $R$, if the polynomial ring $R[x]$ is a $C\Delta$ ring, then $R$ satisfies the Köthe conjecture. Some other closely related things concerning certain extensions of $C\Delta$ rings are also presented.
For a TASEP on $\mathbb Z$ with the step initial condition we identify limits as $t\to\infty$ of the expected total number of jumps until time $t>0$ and the expected number of active particles at a time $t$. We also connect the two quantities proving that non-asymptotically, that is as a function of $t>0$, the latter is the derivative of the former. Our approach builds on asymptotics derived by Rost and intensive use of the fact that the rightmost particle evolves according to the Poisson process.
For an arbitrary connected $\mathbb{Z}^d$-periodic graph, we treat edge weights and potentials as variables and prove that, generically (meaning outside a proper algebraic subset of the variable space) the corresponding periodic graph operators do not have flat bands.
We propose a model for frequency-dependent damping in the linear wave equation. After proving well-posedness of the problem, we study qualitative properties of the energy. In the one-dimensional case, we provide an explicit analysis for special choices of the damping operator. Finally, we show, in special cases, that solutions split into a dissipative and a conservative part.
We derive a Gronwall type inequality for mild solutions of non-autonomous parabolic rough partial differential equations (RPDEs). This inequality together with an analysis of the Cameron-Martin space associated to the noise, allows us to obtain the existence of moments of all order for the solution of the corresponding RPDE and its Jacobian when the random input is given by a Gaussian Volterra process. Applying further the multiplicative ergodic theorem, these integrable bounds entail the existence of Lyapunov exponents for RPDEs. We illustrate these results for stochastic partial differential equations with multiplicative boundary noise.
We study minimizing cones in the Alt-Phillips problem when the exponent {\gamma} is close to 1. When {\gamma} converges to 1, we show that the cones concentrate around symmetric solutions to the classical obstacle problem. To be precise, the limiting profiles are radial in a subspace and invariant in directions perpendicular to that subspace.
Bayesian Optimization (BO) with Gaussian Processes relies on optimizing an acquisition function to determine sampling. We investigate the advantages and disadvantages of using a deterministic global solver (MAiNGO) compared to conventional local and stochastic global solvers (L-BFGS-B and multi-start, respectively) for the optimization of the acquisition function. For CPU efficiency, we set a time limit for MAiNGO, taking the best point as optimal. We perform repeated numerical experiments, initially using the Muller-Brown potential as a benchmark function, utilizing the lower confidence bound acquisition function; we further validate our findings with three alternative benchmark functions. Statistical analysis reveals that when the acquisition function is more exploitative (as opposed to exploratory), BO with MAiNGO converges in fewer iterations than with the local solvers. However, when the dataset lacks diversity, or when the acquisition function is overly exploitative, BO with MAiNGO, compared to the local solvers, is more likely to converge to a local rather than a global ly near-optimal solution of the black-box function. L-BFGS-B and multi-start mitigate this risk in BO by introducing stochasticity in the selection of the next sampling point, which enhances the exploration of uncharted regions in the search space and reduces dependence on acquisition function hyperparameters. Ultimately, suboptimal optimization of poorly chosen acquisition functions may be preferable to their optimal solution. When the acquisition function is more exploratory, BO with MAiNGO, multi-start, and L-BFGS-B achieve comparable probabilities of convergence to a globally near-optimal solution (although BO with MAiNGO may require more iterations to converge under these conditions).