arXiv Math @arxiv_math@qoto.org

We consider a particular generalized Lambert function, $y(x)$, defined by the implicit equation $y^β= 1 - e^{-xy}$, with $x>0$ and $ β> 1$. Solutions to this equation can be found in terms of a certain continued exponential. Asymptotic and structural properties of a non-trivial solution, $y_β(x)$, and its connection to the extinction probability of related branching processes are discussed. We demonstrate that this function constitutes a cumulative distribution function of a previously unknown non-negative absolutely continuous random variable.

Previous examples of self-duality for generalized Eagon-Northcott complexes were given by computing the divisor class group for Hankel determinantal rings. We prove a new case of self-duality of generalized Eagon-Northcott complexes with input being a map defining a Koszul module with nice properties. This choice of Koszul module can be specialized to the Weyman module, which was used in a proof of the generic version of Green's conjecture. In this case, the proof uses a version of Hermite Reciprocity not previously defined in the literature.

A disjunctive dominating set of a graph $G$ is a set $D \subseteq V(G)$ such that every vertex in $V(G)\setminus D$ has a neighbor in $D$ or has at least two vertices in $D$ at distance $2$ from it. The disjunctive domination number of $G$, denoted by $γ_2^d(G)$, is the minimum cardinality of a disjunctive dominating set of $G$. In this paper, we show that if $G$ is a maximal outerplanar graph of order $n \ge 7$ with $k$ vertices of degree $2$, then $γ_2^d(G)\le \lfloor\frac{2}{9}(n+k)\rfloor$, and this bound is sharp.

In this paper we give a combinatorial description of the Cauchy completion of the categories $\mathcal{E}_q$ and $\overline{\mathcal{SE}_N}$ recently introduced by the first author and Snyder. This in turns gives a combinatorial description of the categories $\overline{\operatorname{Rep}(U_q(\mathfrak{sl}_N))}_{A}$ where $A$ is the ètale algebra object corresponding to the conformal embedding $\mathfrak{sl}_N$ level $N$ into $\mathfrak{so}_{N^2-1}$ level 1. In particular we give a classification of the simple objects of these categories, a formula for their quantum dimensions, and fusion rules for tensoring with the defining object. Our method of obtaining these results is the Schur-Weyl approach of studying the representation theory of certain endomorphism algebras in $\mathcal{E}_q$ and $\mathcal{SE}_N$, which are known to be subalgebras of Hecke-Clifford algebras. We build on existing literature to study the representation theory of the Hecke-Clifford algebras at roots of unity.

The Lovász theta function is a semidefinite programming (SDP) relaxation for the maximum weighted stable set problem, which is tight for perfect graphs. However, even for perfect graphs, there is no known rounding method guaranteed to extract an optimal stable set from the SDP solution. In this paper, we develop a novel rounding scheme for the theta function that constructs a value function approximation from the SDP solution and then constructs a stable set using dynamic programming. Our method provably recovers an optimal stable set in several sub-classes of perfect graphs, including generalized split graphs, which asymptotically cover almost all perfect graphs. To the best of our knowledge, this is the only known rounding strategy for the theta function that recovers an optimal stable set for large classes of perfect graphs. Our rounding scheme relies on simple linear algebra computations; we only solve one SDP. In contrast, existing methods for computing an optimal stable set in perfect graphs require solving multiple SDPs. Computational experiments show that our method produces good solutions even on imperfect graphs.

In this work we consider families of smooth vector fields having a persistent polycycle with $n$ hyperbolic saddles. We derive the asymptotic expansion of the return map associated to the polycycle, determining explicitly its leading terms. As a consequence, explicit conditions on the leading terms allow us to determine the cyclicity of such polycycles. We then apply our results to study the cyclicity of a polycycle of a model with applications in Game Theory.

We prove new lossless Strichartz and spectral projection estimates on asymptotically hyperbolic surfaces, and, in particular, on all convex cocompact hyperbolic surfaces. In order to do this, we also obtain log-scale lossless Strichartz and spectral projection estimates on manifolds of uniformly bounded geometry with nonpositive and negative sectional curvatures, extending the recent works of the first two authors for compact manifolds. We are able to use these along with known $L^2$-local smoothing and new $L^2 \to L^q$ half-localized resolvent estimates to obtain our lossless bounds.

This paper deals with unit vector control design for multivariable polytopic uncertain systems under saturating actuators. For that purpose, we propose LMI-based conditions to design the unit vector control gain such that the origin of the closed-loop system is finite-time stable. Moreover, an optimization problem is provided to obtain an enlarged estimate of the region of attraction of the equilibrium point for the closed-loop system, where the convergence of trajectories is ensured even in the presence of saturation functions. Numerical simulations illustrate the effectiveness of the proposed approach.

This paper investigates multivariable extremum seeking using unit-vector control. By employing the gradient algorithm and a polytopic embedding of the unknown Hessian matrix, we establish sufficient conditions, expressed as linear matrix inequalities, for designing the unit-vector control gain that ensures finite-time stability of the origin of the average closed-loop error system. Notably, these conditions enable the design of non-diagonal control gains, which provide extra degrees of freedom to the solution. The convergence of the actual closed-loop system to a neighborhood of the unknown extremum point is rigorously proven through averaging analysis for systems with discontinuous right-hand sides. Numerical simulations illustrate the efficacy of the proposed extremum seeking control algorithm.

We present an explicit numerical approximation scheme, denoted by $\{X^n\}$, for the effective simulation of solutions $X$ to a multivariate stochastic differential equation (SDE) with a superlinearly growing $κ$-dissipative drift, where $κ>1$, driven by a multiplicative heavy-tailed Lévy process that has a finite $p$-th moment, with $p>0$. We show that for any $q\in (0,p+κ-1)$, the strong $L^q$-convergence $\sup_{t\in[0,T]}\mathbf{E} \|X^n_t-X_t\|^q=\mathcal{O} (h_n^γ)$ holds true, in particular, our numerical scheme preserves the $q$-moments of the solution beyond the order $p$. Additionally, for any $q\in (0,p)$ we establish strong uniform convergence: $\mathbf{E}\sup_{t\in[0,T]} \|X^n_t-X_t\|^q=\mathcal{O} ( h_n^{δ_q^\mathrm{uc}} )$. In both cases we determine the convergence rates $γ$ and $δ_q^\mathrm{uc}$. In the special case of SDEs driven solely by a Brownian motion, our numerical scheme preserves super-exponential moments of the solution. The scheme $\{X^n\}$ is realized as a combination of a well-known Euler method with a Lie--Trotter type splitting technique.

Elliptic integral-differential operators resembling the classical elliptic partial differential equations are defined over a compact d-dimensional p-adic domain together with associated Sobolev spaces relying on coordinate Vladimirov-type Laplacians dating back to an idea of Wilson Zúñiga-Galindo in his previous work. The associated Poisson equations under boundary conditions are solved and their $L_2$-spectra are determined. Under certain finiteness conditions, a Markov semigroup acting on the Sobolev spaces which are also Hilbert spaces can be associated with such an operator and the boundary condition. It is shown that this also has an explicitly given heat kernel as an $L_2$-function, which allows a Green function to be derived from it.

Deng, Hani, and Ma [arXiv:2503.01800] claim to resolve Hilbert's Sixth Problem by deriving the Navier-Stokes-Fourier equations from Newtonian mechanics via an iterated limit: a Boltzmann-Grad limit (\(\varepsilon \to 0\), \(N \varepsilon^{d-1} = α\) fixed) yielding the Boltzmann equation, followed by a hydrodynamic limit (\(α\to \infty\)) to obtain fluid dynamics. Though mathematically rigorous, their approach harbors two critical physical flaws. First, the vanishing volume fraction (\(N \varepsilon^d \to 0\)) confines the system to a dilute gas, incapable of embodying dense fluid properties even as \(α\) scales, rendering the resulting equations a rescaled gas model rather than a true continuum. Second, the Boltzmann equation's reliance on molecular chaos collapses in fluid-like regimes, where recollisions and correlations invalidate its derivation from Newtonian dynamics. These inconsistencies expose a disconnect between the formalism and the physical essence of fluids, failing to capture emergent, density-driven phenomena central to Hilbert's vision. We contend that the Sixth Problem remains open, urging a rethink of classical kinetic theory's limits and the exploration of alternative frameworks to unify microscale mechanics with macroscale fluid behavior.

The core group is an invariant of unoriented virtual links. We introduce a peripheral structure for the core group, in which the longitudes are sensitive to orientations. We show that the combination of the core group and its peripheral structure is equivalent, as a link invariant, to the combination of the $π$-orbifold group and its peripheral structure. Examples show that the peripheral structure of the core group can be used to verify noninvertibility of some knots and links.

Singularly perturbed systems (SPSs) are prevalent in engineering applications, where numerically solving their initial value problems (IVPs) is challenging due to stiffness arising from multiple time scales. Classical explicit methods require impractically small time steps for stability, while implicit methods developed for SPSs are computationally intensive and less efficient for strongly nonlinear systems. This paper introduces a Stabilized Multirate Explicit Scheme (SMES) that stabilizes classical explicit methods without the need for small time steps or implicit formulations. By employing a multirate approach with variable time steps, SMES allows the fast dynamics to rapidly converge to their equilibrium manifold while slow dynamics evolve with larger steps. Analysis shows that SMES achieves numerical stability with significantly reduced computational effort and controlled error. Its effectiveness is illustrated with a numerical example.

We use a complex-valued transformation of the Kuramoto model to develop an operator-description of the linear stability in finite networks of nonlinear oscillators. This mathematical approach offers analytical predictions for the linear stability of $q$-states, which include phase synchronization ($q = 0$) and waves with different spatial frequencies ($|q| > 0$). This approach seamlessly incorporates the presence of time delays (represented by phase-lags in the coupling). With this, we are able to analytically determine the specific combination of connectivity and time delays (phase-lags) that leads to any given $q$-state to be linearly stable. This approach offers a geometric perspective of linear stability in finite networks in terms of the connectivity and delays (phase-lag), and it opens a path to designing and controlling the spatiotemporal dynamics of individual oscillator networks.

In this paper we consider the problem of computing the stationary distribution of nearly completely decomposable Markov processes, a well-established area in the classical theory of Markov processes with broad applications in the design, modeling, analysis and optimization of computer systems. We design general classes of algorithmic solution approaches that exploit forms of mixed-precision computation to significantly reduce computation times and that exploit forms of iterative approximate methods to mitigate the impact of inaccurate computations, further reduce computation times, and ensure convergence. Then we derive a mathematical analysis of our general algorithmic approaches that establishes theoretical results on approximation errors, convergence behaviors, and other algorithmic properties. Numerical experiments demonstrate that our general algorithmic approaches provide significant improvements in computation times over the most efficient existing numerical methods.

We study distributionally robust optimization (DRO) problems with uncertainty sets consisting of high dimensional random vectors that are close in the multivariate Wasserstein distance to a reference random vector. We give conditions under which the images of these sets under scalar-valued aggregation functions are equal to or contained in uncertainty sets of univariate random variables defined via a univariate Wasserstein distance. This allows to rewrite or bound high-dimensional DRO problems with simpler DRO problems over the space of univariate random variables. We generalize the results to uncertainty sets defined via the Bregman-Wasserstein divergence and the max-sliced Wasserstein and Bregman-Wasserstein divergence. The max-sliced divergences allow us to jointly model distributional uncertainty around the reference random vector and uncertainty in the aggregation function. Finally, we derive explicit bounds for worst-case risk measures that belong to the class of signed Choquet integrals.

We consider a history-dependent variational inequality (P) which models the frictionless contact between a viscoelastic body and a rigid obstacle covered by a layer of soft material. The inequality is expressed in terms of the displacement field, is governed by the data f (related to the applied body forces and surface tractions) and, under appropriate assumptions, it has a unique solution, denoted by u. Our aim in this paper is to perform a sensitivity analysis of the inequality (P), including the study of the regularity of the solution operator $f \mapsto u$. To this end, we start by proving the equivalence of (P) with a fixed point problem, denoted by (Q). We then consider an associated optimal control problem, for which we present an existence result. Then, we prove the directional differentiability of the solution operator and show that the directional derivative is characterized by a history-dependent variational inequality with time-dependent constraints. Finally, we prove two well-posedness results in the study of problems (P) and (Q), respectively, and compare the two well-posedness concepts employed.

The study of stochastic variational principles involves the problem of constructing fixed-endpoint and adapted variations of semimartingales. We provide a detailed construction of variations of semimartingales that are not only fixed at deterministic endpoints, but also fixed at first entry times and first exit times for charts in a manifold. We prove a stochastic version of the fundamental lemma of calculus of variations in the context of these variations. Using this framework, we provide a generalization of the stochastic Hamilton-Pontryagin principle in local coordinates to arbitrary noise semimartingales. For the corresponding global form of the stochastic Hamilton-Pontryagin principle, we introduce a novel approach to global variational principles by restricting to semimartingales obtained as solutions of Stratonovich equations.

The Ishango Bone, discovered in 1950 near the Semliki River in present-day Democratic Republic of Congo and dated to over 24,000 years ago, features a series of 16 grouped numerical notches arranged across three columns. The interpretation of these markings has long been debated, ranging from numerical intention to decorative symbolism. This study presents a newly identified structural pattern, uncovering four irregularities in the numerical groupings that, when resolved, reveal a consistent internal logic across all three columns. The analysis identifies repeating sums, dualistic pairing structures, and cross-column symmetry, pointing toward a deliberate and complex mathematical arrangement. These findings suggest the notches may have functioned as a form of reference system, potentially using stone markers for visual or narrative purposes. Hypotheses include links to cosmic cycles, mathematical instruction, or mythological integration. While interpretations remain speculative, this study argues for an interdisciplinary reevaluation of the Ishango Bone's significance in terms of mathematical, cultural, and cosmological understanding. It offers new insights into the symbolic thinking and cognitive capacities of prehistoric societies and challenges conventional assumptions about the origins of numeracy.