2025-06-04 | | Total: 184
We introduce a 2D free boundary problem with nonlinear diffusion that models a living cell moving on a substrate. We prove that this nonlinearity results in a qualitative of solution behavior compared to the linear diffusion case (Rybalko et al. TAMS 2023), namely the switch between direct and inverse pitchfork bifurcation. Our objectives are twofold: (i) develop a rigorous framework to prove existence of bifurcation and determining its type (subcritical vs. superctitical) and (ii) the derivation of explicit analytical formulas that control the change of bifurcation type in terms of physical parameters and explain the underlying biophysical mechanisms. While the standard way of applying the Crandall-Rabinowitz theorem via the solution operator seems difficult in our quasilinear PDE system, we apply the theorem directly, by developing a multidimensional, vectorial framework. To determine the bifurcation type, we extract the curvature of the bifurcating curve from the expansion of the solutions around the steady state. The formula for the curvature is obtained via a solvability condition where instead of the Fredholm alternative, we propose a test function trick, suited for free boundary problems. Our rigorous analytical results are in agreement with numerical observations from the physical literature in 1D (Drozdowski et al. Comm. Phys. 2023) and provide the first extension of this phenomenon to a 2D free boundary model.
We present several related examples of Hopf algebroids over a universal enveloping algebra which are of the scalar extension Hopf algebroid type and explain their origin in Lie and algebraic group theory.
We consider families Pn of plane lattice paths enumerated by Guy, Krattenthaler, and Sagan (1992). We show by explicit bijection that these families are equinumerous with the set SYT(n+2,2,1n) of standard Young tableaux.
In this paper, we revisit the notion of higher-order rigidity of a bar-and-joint framework. In particular, we provide a link between the rigidity properties of a framework, and the growth order of an energy function defined on that framework. Using our approach, we propose a general definition for the rigidity order of a framework, and we show that this definition does not depend on the details of the chosen energy function. Then we show how this order can be studied using higher order derivative tests. Doing so, we obtain a new proof that the lack of a second order flex implies rigidity. Our proof relies on our construction of a fourth derivative test, which may be applied to a critical point when the second derivative test fails. We also obtain a new proof that when the dimension of non-trivial first-order flexes equals 1, then the lack of a kth order flex for some k implies a framework is rigid. The higher order derivative tests that we study here may have applications beyond rigidity theory.
In this work we present a novel structure-preserving scheme for the discretization of the Godunov-Peshkov-Romenski (GPR) model of continuum mechanics written in Lagrangian form. This model admits an extra conservation law for the total energy (first principle of thermodynamics) and satisfies the entropy inequality (second principle of thermodynamics). Furthermore, in the absence of algebraic source terms, the distortion field of the continuum and the specific thermal impulse satisfy a curl-free condition, provided the initial data are curl-free. Last but not least, the determinant of the distortion field is related to the density of the medium, i.e. the system is also endowed with a nonlinear algebraic constraint. The objective of this work is to construct and analyze a new semi-discrete thermodynamically compatible cell-centered Lagrangian finite volume scheme on moving unstructured meshes that satisfies the following structural properties of the governing PDE exactly at the discrete level: i) compatibility with the first law of thermodynamics, i.e. discrete total energy conservation; ii) compatibility with the second law of thermodynamics, i.e. discrete entropy inequality; iii) exact discrete compatibility between the density and the determinant of the distortion field; iv) exact preservation of the curl-free property of the distortion field and of the specific thermal impulse in the absence of algebraic source terms. We show that it is possible to achieve all above properties simultaneously. Unlike in existing schemes, we choose to directly discretize the entropy inequality, hence obtaining total energy conservation as a consequence of an appropriate and thermodynamically compatible discretization of all the other equations.
We show that the set Π(k) of Turán densities of k-uniform hypergraphs has infinitely many accumulation points in [0,1) for every k≥3. This extends an earlier result of ours showing that Π(k) has at least one such accumulation point.
Pinching antenna system (PASS) configures the positions of pinching antennas (PAs) along dielectric waveguides to change both large-scale fading and small-scale scattering, which is known as pinching beamforming. A novel non-orthogonal multiple access (NOMA) assisted PASS framework is proposed for downlink multi-user multiple-input multiple-output (MIMO) communications. The transmit power minimization problem is formulated to jointly optimize the transmit beamforming, pinching beamforming, and power allocation. To solve this highly nonconvex problem, both gradient-based and swarm-based optimization methods are developed. 1) For gradient-based method, a majorization-minimization and penalty dual decomposition (MM-PDD) algorithm is developed. The Lipschitz gradient surrogate function is constructed based on MM to tackle the nonconvex terms of this problem. Then, the joint optimization problem is decomposed into subproblems that are alternatively optimized based on PDD to obtain stationary closed-form solutions. 2) For swarm-based method, a fast-convergent particle swarm optimization and zero forcing (PSO-ZF) algorithm is proposed. Specifically, the PA position-seeking particles are constructed to explore high-quality pinching beamforming solutions. Moreover, ZF-based transmit beamforming is utilized by each particle for fast fitness function evaluation. Simulation results demonstrate that: i) The proposed NOMA assisted PASS and algorithms outperforms the conventional NOMA assisted massive antenna system. The proposed framework reduces over 95.22% transmit power compared to conventional massive MIMO-NOMA systems. ii) Swarm-based optimization outperforms gradient-based optimization by searching effective solution subspace to avoid stuck in undesirable local optima.
We explore the role of torsion in hybrid deep learning models that incorporate topological data analysis, focusing on autoencoders. While most TDA tools use field coefficients, this conceals torsional features present in integer homology. We show that torsion can be lost during encoding, altered in the latent space, and in many cases, not reconstructed by standard decoders. Using both synthetic and high-dimensional data, we evaluate torsion sensitivity to perturbations and assess its recoverability across several autoencoder architectures. Our findings reveal key limitations of field-based approaches and underline the need for architectures or loss terms that preserve torsional information for robust data representation.
We study the advantages of accelerated gradient methods, specifically based on the Frank-Wolfe method and projected gradient descent, for privacy and heavy-tailed robustness. Our approaches are as follows: For the Frank-Wolfe method, our technique is based on a tailored learning rate and a uniform lower bound on the gradient of the ℓ2-norm over the constraint set. For accelerating projected gradient descent, we use the popular variant based on Nesterov's momentum, and we optimize our objective over Rp. These accelerations reduce iteration complexity, translating into stronger statistical guarantees for empirical and population risk minimization. Our analysis covers three settings: non-random data, random model-free data, and parametric models (linear regression and generalized linear models). Methodologically, we approach both privacy and robustness based on noisy gradients. We ensure differential privacy via the Gaussian mechanism and advanced composition, and we achieve heavy-tailed robustness using a geometric median-of-means estimator, which also sharpens the dependency on the dimension of the covariates. Finally, we compare our rates to existing bounds and identify scenarios where our methods attain optimal convergence.
We prove a rate of convergence for finite element approximations of stationary, second-order mean field games with nondifferentiable Hamiltonians posed in general bounded polytopal Lipschitz domains with strongly monotone running costs. In particular, we obtain a rate of convergence in the H1-norm for the value function approximations and in the L2-norm for the approximations of the density. We also establish a rate of convergence for the error between the exact solution of the MFG system with a nondifferentiable Hamiltonian and the finite element discretizations of the corresponding MFG system with a regularized Hamiltonian.
Given a proper toric variety and a line bundle on it, we describe the morphism on singular cohomology given by the cup product with the Chern class of that line bundle in terms of the data of the associated fan. Using that, we relate the local cohomological dimension of an affine toric variety with the Lefschetz morphism on the singular cohomology of a projective toric variety of one dimension lower. As a corollary, we show that the local cohomological defect is not a combinatorial invariant. We also produce numerous examples of toric varieties in every dimension with any possible local cohomological defect, by showing that the local cohomological defect remains unchanged under taking a pyramid.
This paper explores the reconstruction of a real-valued function f defined over a domain Ω⊂R2 using bivariate polynomials that satisfy triangular histopolation conditions. More precisely, we assume that only the averages of f over a given triangulation TN of Ω are available and seek a bivariate polynomial that approximates f using a histopolation approach, potentially flanked by an additional regression technique. This methodology relies on the selection of a subset of triangles TM⊂TN for histopolation, ensuring both the solvability and the well-conditioning of the problem. The remaining triangles can potentially be used to enhance the accuracy of the polynomial approximation through a simultaneous regression. We will introduce histopolation and combined histopolation-regression methods using the Padua points, discrete Leja sequences, and approximate Fekete nodes. The proposed algorithms are implemented and evaluated through numerical experiments that demonstrate their effectiveness in function approximation.
We propose a multi-scale analysis method for studying arithmetic properties of integer sets, such as primality. Our approach organizes information through a hierarchy of nested sequences, where each level enables a hierarchical expression of the studied property by examining patterns at varying levels of granularity. To illustrate the method, we apply it to three cases: the distribution of prime numbers, twin primes, and Mersenne numbers. While this does not claim any new breakthroughs on these classical problems, the approach allows for efficient analysis of the studied property across large integer sequences and reveals new characteristics observable at different scales. This framework provides an alternative perspective for investigating the fundamental arithmetic properties.
Particular solutions of the Poisson equation can be constructed via Newtonian potentials, integrals involving the corresponding Green's function which in two-dimensions has a logarithmic singularity. The singularity represents a significant challenge for computing the integrals, which is typically overcome via specially designed quadrature methods involving a large number of evaluations of the function and kernel. We present an attractive alternative: we show that Newtonian potentials (and their gradient) applied to (tensor products of) Legendre polynomials can be expressed in terms of complex integrals which satisfy simple and explicit recurrences that can be utilised to exactly compute singular integrals, i.e., singular integral quadrature is completely avoided. The inhomogeneous part of the recurrence has low rank structure (its rank is at most three for the Newtonian potential) and hence these recurrences have displacement structure. Using the recurrence directly is a fast approach for evaluation on or near the integration domain that remains accurate for low degree polynomial approximations, while high-precision arithmetic allows accurate use of the approach for moderate degree polynomials.
This paper explores persistence modules for circle-valued functions, presenting a new extension of the interleaving and bottleneck distances in this setting. We propose a natural generalisation of barcodes in terms of arcs on a geometric model associated to the derived category of quiver representations. The main result is an isometry theorem that establishes an equivalence between the interleaving distance and the bottleneck distance for circle-valued persistence modules.
We give a geometric description of the positivity of the Frobenius-trace kernel on a Q-factorial projective toric variety. To do so, we define its Frobenius support as well as the notions of F-effectiveness for divisors and 1-cycles. As it turns out, the interaction of the corresponding cone of F-effective curves with the Mori cone of curves reflects the type of extremal Mori contractions that the variety can undergo. As a corollary, we obtain that the Frobenius-trace kernel is ample if and only if the Picard rank is 1.
The present paper addresses the notion of (u,v)-absorbing primary hyperideals in commutative multiplicative hyperrings.
The family of circle maps fb,ω(x)=x+ω+bϕ(x) is used as a simple model for a periodically forced oscillator. The parameter ω represents the unforced frequency, b the coupling, and ϕ the forcing. When ϕ=12πsin(2πx) this is the classical Arnol'd standard family. Such families are often studied in the (ω,b)-plane via the so-called tongues Tβ consisting of all (ω,b) such that fb,ω has rotation number β. The interior of the rational tongues Tp/q represent the system mode-locked into a p/q-periodic response. Campbell, Galeeva, Tresser, and Uherka proved that when the forcing is a PL map with k=2 breakpoints, all Tp/q pinch down to a width of a single point at multple values when q large enough. In contrast, we prove that it generic amongst PL forcings with a given k≥3 breakpoints that there is no such pinching of any of the rational tongues. We also prove that the absence of pinching is generic for Lipschitz and Cr (r>0) forcing.
In this article, we provide a bijection between the set of inversion sequences avoiding the pattern 102 and the set of 2-Schröder paths having neither peaks nor valleys and ending with a diagonal step. To achieve this, we introduce two intermediate objects, called UVD paths and labeled F-paths, and establish bijections among all four families. For each of these combinatorial objects, we define a natural statistic and enumerate the corresponding structures with respect to this statistic. In addition, we study inversion sequences avoiding 102 and another pattern of length 3, providing refined enumerations according to the same statistic.
Let A_0, A_1 be nonnegative matrices in GL(n+1,Z) such that the subsimplexes A_0[Delta], A_1[Delta] split the standard unit n-dimensional simplex Delta in two. We prove that, for every n=1,2,... and up to the natural action of the symmetric group by conjugation, there are precisely three choices for the pair (A_0, A_1) such that the resulting projective Iterated Function System is topologically contractive. In equivalent terms, in every dimension there exist precisely three continued fraction algorithms that assign distinct two-symbol expansions to distinct points. These expansions are induced by the Gauss-type map G: Delta --> Delta with branches A_0^{-1}, A_1^{-1}, which is continuous in exactly one of these three cases, namely when it equals the Farey-Monkemeyer map.
In 2010 Banderier and Nicodeme consider the height of bounded discrete bridges and conclude to a limiting Rayleigh distribution. This result is correct although their proof is partly erroneous. They make asymptotic simplifications based upon dominance properties of the roots of the kernel of the walk within a disk centered at the origin, but these dominance properties apply only upon a positive real segment. However the very good agreement of simulations with their asymptotic expansion of the probability distribution in case of Łukasiewicz bridges let us think that their proof could be corrected. This is the scope of the present article which provides a proof using the dominance property only in its domain of validity. We also consider the case of periodic walks, a topic not considered in Banderier-Nicodeme2010. We limit ourselves to walks whose characteristic polynomial decomposes over \bC without repeated factors.
We approximately compute the correspondence degree (as defined by Lazarsfeld and Martin) between two unbalanced complete intersections. This is accomplished by showing that the procedure of taking a subvariety of a product Y×Y′ and intersecting it with X×Y′ (for X a sufficiently ample smooth divisor in Y) induces a bijection between two sets of varieties. This may be of independent interest.
We extend an inequality of Merryfield, valid in the continuous setting, to discrete multiparameter martingales. As a consequence, we obtain the Lp comparison of the maximal function with the square function: E[(Sf)p]≲E[(f∗)p] for regular multiparameter filtrations and 0<p<∞.
In recent decades, the structure of the mod-2 cohomology of the Steenrod ring A has become a major subject of study in the field of Algebraic Topology. One of the earliest attempts to study this cohomology through the use of modular representations of the general linear groups was the groundbreaking work [Math. Z. 202 (1989), 493-523] by W.M. Singer. In that work, Singer introduced a homomorphism, commonly referred to as the "algebraic transfer," which maps from the coinvariants of a certain representation of the general linear group to the mod-2 cohomology group of the ring A. Singer's conjecture, in particular, which states that the algebraic transfer is a monomorphism for all homological degrees, remains a highly significant and unresolved problem in Algebraic Topology. In this research, we take a major stride toward resolving the Singer conjecture by establishing its truth for the homological degree four.
Let M be an aspherical oriented closed connected manifold with universal cover ˜M→M and let Γ=π1(M)↷(X,μ) be a measure preserving action on a standard Borel probability space. We consider singular foliated simplices on the measured foliation Γ∖(˜M×X) defined by Sauer and we compare the \emph{real singular foliated homology} with classic singular homology. We introduce a notion of \emph{foliated fundamental class} and we prove that its norm coincides with the simplicial volume of M. Then we consider the dual cochain complex and define the \emph{singular foliated bounded cohomology}, proving that it is isometrically isomorphic to the measurable bounded cohomology of the action Γ↷X. As a consequence of the duality principle we deduce a vanishing criteria for the simplicial volume in terms of the vanishing of the bounded cohomology of p.m.p actions and of their transverse groupoids.