2025-12-08 | | Total: 184
We upgrade the classical operation of \textit{isomonodromic deformations} along a path $γ$ to a functor $\mathbb{P}_γ$ between categories of flat connections with logarithmic singularities along a divisor $D$, which itself depends functorially on $γ$, using tools from the theory of Lie groupoids. As applications, (1) we get that isomonodromy gives a map of moduli \textit{stacks} of flat connections with logarithmic singularities, (2) we encode higher homotopical information at level 2, i.e. we get an action of the fundamental 2-groupoid of the base of our family on the categories of logarithmic flat connections on the fibres, and (3) our methods produce a geometric incarnation of the isomonodromy functors as Morita equivalences which are more primary than the isomonodromy functors themselves, and from which they can be formally extracted by passing to representation categories.
We consider a class of (1+2)-dimensional linear partial differential of Asian options pricing. Special cases have been used to models of financial mathematics. We carry out group classification of a class equations. In particular, the maximum dimension Lie invariance algebra within the above class is eight-dimensional. It is shown that an equation with such an algebra can be transformed into the linear Kolmogorov equation with the help of the point transformations of variables. Using the operators of invariance algebra symmetry reduction is carried out and invariant exact solutions are constructed for some equations.
I prove that any two smooth collections of spanning 3-discs for the trivial 2-link in $S^4$ become smoothly isotopic rel. boundary after pushing them into $D^5$.
We consider the Gaussian free field on two-dimensional slabs with a thickness described by a height $h$ at spatial scale $N$. We investigate the radius of critical clusters for the associated cable-graph percolation problem, which depends sensitively on the parameter $h$. Our results unveil a whole family of new "fixed points", which interpolate between recent results from arXiv:2303.03782 in two dimensions and from arXiv:2405.17417 and arXiv:2406.02397 in three dimensions, and describe critical behaviour beyond those regimes. In the delocalised phase, the one-arm decay exhibits a "plateau", i.e. it doesn't depend on the speed at which the variance of the field diverges in the large-$N$ limit. Our methods rely on a careful analysis of the interplay between two- and three-dimensional effects for the underlying random walk, which manifest themselves in a corresponding decomposition of the field.
We give conditions under which a self-dual holomorphic cusp form is determined up to scalar multiplication by the signs of its Fourier coefficients.
Generalizing a variety of earlier problems on stable contracts in two-sided markets, Alkan and Gale introduced in 2003 a general stability model on a bipartite graph $G=(V,E)$ in which the vertices are interpreted as ``agents'', and the edges as possible ``contract'' between pairs of ``agents''. The edges are endowed with nonnegative capacities $b$ giving upper bounds on ``contract intensities'', and the preferencies of each ``agent'' $v\in V$ depend on a \emph{choice function} (CFs) that acts on the set of ``contracts'' involving $v$, obeying three well motivated axioms of \it{consistence}, \it{substitutability} and \it{cardinal monotonicity}. In their model, the capacities and choice functions can take reals or discrete values and, extending well-known earlier results on particular cases, they proved that systems of \it{stable} contracts always exist and, moreover, their set $\cal S$ constitutes a distributive lattice under a natural comparison relation $\prec$. In this paper, we study Alkan--Gale's model when all capacities and choice functions take integer values. We characterize the set of rotations -- augmenting cycles linking neighboring stable assignments in the lattice $(\cal S,\prec)$, and construct a weighted poset in which the lattice the closed functions is isomorphic to $(\cal S,\prec)$, thus obtaining an explicit representation for the latter. We show that in general the size of the poset is at most $b^{\rm max}|E|$, where $b^{\rm max}$ is the maximal capacity, and the poset can be constructed in pseudo polynomial time. Then we explain that by imposing an additional condition on CFs, the size of the poset becomes polynomial in $|V|$, and the total time reduces to a polynomial in $|V|,\log b^{\rm max}$.
We develop and analyze Riemannian optimization methods for computing ground states of rotating multicomponent Bose-Einstein condensates, defined as minimizers of the Gross-Pitaevskii energy functional. To resolve the non-uniqueness of ground states induced by phase invariance, we work on a quotient manifold endowed with a general Riemannian metric. By introducing an auxiliary phase-aligned iteration and employing fixed-point convergence theory, we establish a unified local convergence framework for Riemannian gradient descent methods and derive explicit convergence rates. Specializing this framework to two metrics tailored to the energy landscape, we study the energy-adaptive and Lagrangian-based Riemannian gradient descent methods. While monotone energy decay and global convergence are established only for the former, a quantified local convergence analysis is provided for both methods. Numerical experiments confirm the theoretical results and demonstrate that the Lagrangian-based method, which incorporates second-order information on the energy functional and mass constraints, achieves faster local convergence than the energy-adaptive scheme.
This work presents the discontinuous Galerkin discretization of the consistent splitting scheme proposed by Liu [J. Liu, J. Comp. Phys., 228(19), 2009]. The method enforces the divergence-free constraint implicitly, removing velocity--pressure compatibility conditions and eliminating pressure boundary layers. Consistent boundary conditions are imposed, also for settings with open and traction boundaries. Hence, accuracy in time is no longer limited by a splitting error. The symmetric interior penalty Galerkin method is used for second spatial derivatives. The convective term is treated in a semi-implicit manner, which relaxes the CFL restriction of explicit schemes while avoiding the need to solve nonlinear systems required by fully implicit formulations. For improved mass conservation, Leray projection is combined with divergence and normal continuity penalty terms. By selecting appropriate fluxes for both the divergence of the velocity field and the divergence of the convective operator, the consistent pressure boundary condition can be shown to reduce to contributions arising solely from the acceleration and the viscous term for the $L^2$ discretization. Per time step, the decoupled nature of the scheme with respect to the velocity and pressure fields leads to a single pressure Poisson equation followed by a single vector-valued convection-diffusion-reaction equation. We verify optimal convergence rates of the method in both space and time and demonstrate compatibility with higher-order time integration schemes. A series of numerical experiments, including the two-dimensional flow around a cylinder benchmark and the three-dimensional Taylor--Green vortex problem, verify the applicability to practically relevant flow problems.
We consider $N$ counters taking integer values which are subject to the following dynamics. At every time, a pair of distinct counters is chosen uniformly at random and their states are updated according to the following rule. If the states are different, then the smaller one is increased by $1$, while if the states are the same, both of them are increased by $1$. We show that, for a fixed $N$, the distances between consecutive ordered counters form a positive recurrent Markov chain and there exists the speed $V(N)$ defined as the average number of counters updated per time step in the stationary regime. We provide non-trivial upper and lower bounds for $V(N)$ as $N\to \infty$. Despite the simple formulation of the problem, its analysis seems to be highly complicated. We also provide a list of open problems and discuss various methods one may want to use, and obstacles one encounters.
We show that the DDR method can be interpreted as defining a computable consistent discrete $\mathrm{L}^2$ product on a conforming FES defined by PDEs. Without modifying the numerical method itself, this point of view provides an alternative approach to the analysis. The conformity and consistency properties we prove are stronger than those previously shown. We can also recover some of the other results that have been proved about DDR, from those that have already been proved, in principle, in the general context of FES. We also bring VEM, the Virtual Element Method, into the discussion.
The Brunovsky canonical form provides sparse structural representations that are beneficial for computational optimal control, yet existing methods fail to compute it reliably. We propose a technique that produces Brunovsky transformations with substantially lower construction errors and improved conditioning. A controllable linear system is first reduced to staircase form via an orthogonal similarity transformation. We then derive a simple linear parametrization of the transformations yielding the unique Brunovsky form. Numerical stability is further enhanced by applying a deadbeat gain before computing system matrix powers and by optimizing the linear parameters to minimize condition numbers.
This paper introduces the \textbf{detachment process}, a novel, time-inhomogeneous Markov process inspired by I. P. Tóth's problem \cite{Toth} concerning the number of ``lonely passengers'' (those without companions) when $n$ passengers are seated independently and uniformly in $k$ initially empty buses. Tóth showed that this number is stochastically non-decreasing in $k$ for fixed $n$ (see also Haslegrave's work \cite{Haslegrave}). We extend Tóth's model by treating the number of buses $k$ as a time parameter. Specifically, for a fixed number of passengers $n$, the state of our Markov process at time $k \ge 1$ is exactly Tóth's configuration $(n, k)$. (We formally extend the process definition for all $t \in [1, \infty)$.) These processes can be coupled for all $n \ge 1$, and this larger coupled process is what we dub the \textbf{detachment process}. Our investigation focuses on properties related to detachment, clumping, the number of lonely passengers and of non-empty buses. The central notion is \textbf{detachment}, which occurs at time $k$ if every passenger occupies a distinct bus; we say the process is \textbf{in a state of detachment} at $k$. A \textbf{detachment time} $k$ is when the process transitions from a non-detached state at $k-1$ to a detached state at $k$. \textbf{Four critical time scales} are idetified -- linear, quadratic, and log-corrected linear or quadratic in the number of passengers, $n$ -- that govern the process's properties. We investigate (relative) clumping. We also explore why modeling the number of passengers with a Poisson distribution simplifies the analysis of Tóth's original model. To aid this derivation, we introduce a comparison theorem for binomial distributions, originally obtained by J. Najnudel \cite{Najnudel}, along with a novel proof.
In this paper, we present explicit computations of non-trivial triple $ABC$-Massey products on non-Kähler solvmanifolds endowed with an invariant complex structure. We prove that the {\em Bigalke-Rollenske manifold}, the {\em generalized Nakamura manifolds} satisfying some suitable assumptions and compact quotients of the solvable Lie group $\mathbb{C}^{2n}\ltimes_ρ \mathbb{C}^{2m}$ have non-vanishing triple $ABC$-Massey products. Furthermore, such manifolds have no astheno-Kähler metric.
We consider each of the three classes of representations of cyclic groups that arise in the study of rational sphere maps. We study the possible number of terms for invariant polynomials with non-negative coefficients that are constant on the appropriate line or hyperplane. Our result provides crucial information about gaps in the possible target dimensions for certain invariant polynomial sphere maps. We interpret our results in terms of sparseness for solutions of certain linear systems.
The boundary of the Milnor fiber associated with a complex line arrangement is a three dimensional plumbed manifold, and it is a combinatorial invariant. We prove the reverse implication, which was conjectured Némethi and Szilárd. That is, this boundary of the Milnor fiber determines the combinatorics of the arrangement. Furthermore, we give an explicit method which constructs the poset associated with the arrangement, given a plumbing graph in normal form for the boundary.
Seaweed algebras are a class of Lie algebras that are naturally characterized by a pair of compositions, which in turn are represented visually as planar graphs called meanders. These meanders provide a straightforward method for computing the index of the associated algebra. The goal of this paper is to enumerate those seaweed algebras with a fixed index and whose associated compositions have restricted part sizes. In particular, we enumerate those with composition part sizes from so-called acyclic sets. We also establish a bijection between sets of indecomposable seaweed algebras with meanders with certain restricted part sizes and sets of permutations with restricted displacements. In certain cases, the index of the algebra can be determined by a simple statistic on the permutation.
We study the fully packed loop-$O(n)$ model on planar triangulations. This model is also bijectively equivalent to the Fortuin--Kasteleyn model of planar maps with parameter $q\in (0,4)$ at its self-dual point. These have been traditionally studied using either techniques from analytic combinatorics (based in particular on the gasket decomposition of Borot, Bouttier and Guitter arXiv:1106.0153) or probabilistic arguments (based on Sheffield's hamburger-cheeseburger bijection arXiv:1108.2241). In this paper we establish a dictionary relating quantities of interest in both approaches. This has several consequences. First, we derive an exact expression for the partition function of the fully packed loop-$O(n)$ model on triangulations, as a function of the outer boundary length. This confirms predictions by Gaudin and Kostov. In particular, this model exhibits critical behaviour, in the sense that the partition function exhibits a power-law decay characteristic of the critical regime at this self-dual point. This can be thought of as the planar map analogue of Nienhuis' predictions for the critical point of the loop-$O(n)$ model on the hexagonal lattice. Finally, we derive precise asymptotics for geometric features of the FK model of planar maps when $0 < q <4$, such as the exact tail behaviour of the perimeters of clusters and loops. This sharpens previous results of arXiv:1502.00450 and arXiv:1502.00546. A key step is to use the above dictionary and the probabilistic results to justify rigorously an ansatz commonly assumed in the analytic combinatorics literature.
We extend the skein lasagna theory of Morrison-Walker-Wedrich to 4-manifolds with corners and formulate gluing formulas for 4-manifolds with boundary and, more generally, with corners. As an application, we develop a categorical framework for a presentation of the skein lasagna module of trisected closed 4-manifolds. Further, we extend the theory to dimension two by introducing bicategories for closed oriented surfaces and proving a gluing formula for the categories associated with 3-manifolds with boundary.
In the context of complex algebraic varieties, the decomposition theorem for semi-small maps provides a decomposition of the direct image of the constant sheaf. In this work, we develop a decomposition theorem for branched coverings of topological spaces. To achieve this, we start by constructing a decomposition theorem for unramified covering maps using transition functions. For a given branched covering of closed topological manifolds, we use the previous result to establish a decomposition of the direct image of the constant sheaf on the covering space. In the next step, we generalize our discussion to the case where the target space is not necessarily a topological manifold.
We introduce conformal transformations in the synthetic setting of metric spaces and Lorentzian (pre-)length spaces. Our main focus lies on the Lorentzian case, where, motivated by the need to extend classical notions to spaces of low regularity, we provide the first consistent notion of conformal length, and analyse its fundamental properties. We prove that the conformal time separation function $τ_Ω$ (and the causal structure it induces) yields a Lorentzian pre-length structure if the original space is intrinsic and strongly causal. This allows us to construct a notion of conformal transformation between spaces within this class, yielding an equivalence relation. As applications, we show that the conformal length functional agrees with the standard conformal length of (strongly causal) spacetimes. We also prove conformal invariance of angles and causality conditions, give a characterisation of global hyperbolicity via finiteness of $τ_Ω$ for all conformal factors, and establish the behaviour of the Lorentzian Hausdorff measure defined in [MS22a] under conformal changes. Moreover, we apply the same methods to the metric case, which is of interest in its own right. This is exemplified by proving an analog of the Nomizu--Ozeki theorem for metric length spaces, which has the advantage that the resulting complete space is conformally related to the original space.
We extend deterministic port-Hamiltonian systems (PHS) to a stochastic framework by means of stochastic differential equations. As the dissipation inequality plays a crucial role for deterministic PHS, we develop several passivity concepts for stochastic input-state-output systems and characterize these in terms of the parameters of the system. Afterwards, we examine properties of a certain class of linear stochastic systems that can be regarded as an extension of linear deterministic PHS to a stochastic passivity framework.
In this paper, we solve explicitly and analyze rigorously inhomogeneous initial-boundary-value problems (IBVP) for several fourth-order variations of the traditional diffusion equation and the associated linearized Cahn-Hilliard (C-H) model (also Kuramoto-Sivashinsky equation), formulated in the spatiotemporal quarter-plane. Such models are of relevance to heat-mass transfer phenomena, solid-fluid dynamics and the applied sciences. In particular, we derive formally effective solution representations, justifying a posteriori their validity. This includes the reconstruction of the prescribed initial and boundary data, which requires careful analysis of the various integral terms appearing in the formulae, proving that they converge in a strictly defined sense. In each IBVP, the novel formula is utilized to rigorously deduce the solution's regularity and asymptotic properties near the boundaries of the domain, including uniform convergence, eventual (long-time) periodicity under (eventually) periodic boundary conditions, and null non-controllability. Importantly, this analysis is indispensable for exploring the (non)uniqueness of the problem's solution and a new counter-example is constructed. Our work is based on the synergy between: (i) the well-known Fokas unified transform method and (ii) a new approach recently introduced for the rigorous analysis of the Fokas method and for investigating qualitative properties of linear evolution partial differential equations (PDE) on semi-infinite strips. Since only up to third-order evolution PDE have been investigated within this novel framework to date, we present our analysis and results in an illustrative manner and in order of progressively greater complexity, for the convenience of readers. The solution formulae established herein are expected to find utility in well-posedness studies for nonlinear counterparts too.
A W-state is an order d symmetric tensor of the form W_d=x^{d-1}y. We prove that the partially symmetric rank of W_{d_1}\otimes \cdots \otimes W_{d_k} is at most 2^{k-1}(d_1+\cdots +d_k-2k+2). The same bound holds for the tensor rank and it is an improvement of 2^k(k-1) over the best known bound. Moreover, we provide an explicit partially symmetric decomposition achieving this bound.
We prove that the (square root) Fisher information functional is a strong Wasserstein upper gradient of the entropy on non-convex Riemannian domains. This fills a gap in the literature by allowing one to completely dispense from $λ$-displacement convexity arguments. Along the way we establish a novel quantitative short-time control of the Fisher information along the Neumann heat flow, and establish an exact chain rule under stronger $AC_2$ assumptions typically satisfied by curves of measures obtained as limits of JKO schemes.
In this work, singularly perturbed energies arising from discrete $J_1$-$J_3$-models are studied. The energies under consideration consist of a non-convex bulk term and a higher-order regularizing term and are subject to incompatible boundary conditions. In contrast to existing results in the literature, in this work, admissible fields are not necessarily gradient fields, instead their curl is linked to topological singularities, so-called vortices, in the discrete $J_1$-$J_3$-model. The main result of this work is a scaling law for the minimal energy with respect to three parameters: one measuring the incompatibility of the boundary conditions, the second measuring the strength of the regularizing term, and the third being related to the interatomic distance in the discrete model. The shown result implies in particular that in certain parameter regimes, minimizers necessarily develop vortices. A key tool in the analysis is a careful modification of the celebrated ball-construction technique that, due to a lack of rigidity, considers simultaneously both the bulk energy and the regularizing term.