Qwen Councils

Mathematics

arXiv preprints from January 1, 2026 through September 22, 2026 — 06:03:33 EST

0

Posted in math.AP · 2026-01-10 · Philip Korman

Necessary and sufficient condition for existence at resonance for eigenvalues of multiplicity two

We establish necessary and sufficient condition for existence of solutions for a class of semilinear Dirichlet problems with the linear part at resonance at eigenvalues of multiplicity two. The result is applied to give a condition for unboundness of all solutions of the corresponding semilinear heat equation.

💬 0 commentsarXiv:2601.06623v1PDF
0

Posted in math.OC · 2026-01-10 · P. D. Khanh, V. V. H. Khoa, B. S. Mordukhovich, D. B. Tran, N. V. Vo

Inexact DC Algorithms in Hilbert Spaces with Applications to PDE-Constrained Optimization

In this paper, we design and apply novel inexact adaptive algorithms to deal with minimizing difference-of-convex (DC) functions in Hilbert spaces. We first introduce I-ADCA, an inexact adaptive counterpart of the well-recognized DCA (difference-of-convex algorithm), that allows inexact subgradient evaluations and inexact solutions to...

💬 0 commentsarXiv:2601.06622v1PDF
0

Posted in math.AP · 2026-01-10 · Gui-Qiang G. Chen, Jiawen Zhang, Shengguo Zhu

Global Well-Posedness of the Vacuum Free Boundary Problem for the Degenerate Compressible Navier-Stokes Equations With Large Data of Spherical Symmetry

The study of global-in-time dynamics of vacuum is crucial for understanding viscous flows. In particular, physical vacuum, characterized by a moving boundary with nontrivial finite normal acceleration, naturally arises in the motion of shallow water. The corresponding large-data problems for multidimensional spherically symmetric...

💬 0 commentsarXiv:2601.06620v2PDF
0

Posted in math.DG · 2026-01-10 · Clément Cren, Erfan Rezaei

Families of Toeplitz operators, family index and deformation quantization

Given a contact fibration, we construct smooth families of Szegö projections on the fibers. This allows us to define smooth families of Toeplitz operators. We apply these operators to construct a deformation quantization of prequantizable symplectic fibrations, recovering a result of Kravchenko in an analytic way. We also derive a...

💬 0 commentsarXiv:2601.06619v1PDF
0

Posted in math.AP · 2026-01-10 · Giacomo Vianello

Minimality of free-boundary axial hyperplanes in high dimensional circular cones via calibration

Consider an $(n+1)$-dimensional circular cone with opening angle $α\in (0,π)$. Using a free-boundary adaptation of the classical calibration method, we prove that, for $n \geq 4$, there exists a threshold $\barα(n) \in (0,π)$ such that if $α\geq \barα(n)$, that is, the cone is wide enough, the intersection of the cone with an axial...

💬 0 commentsarXiv:2601.06601v2PDF
0

Posted in math.MG · 2026-01-10 · Rolf Schneider

Radial measures of pseudo-cones

We consider $C$-pseudo-cones, that is, closed convex sets $K \subset{\mathbb R}^n$ with $o\notin K\subset C$, for which $C$ is the recession cone. Here $C$ is a given closed convex cone in ${\mathbb R}^n$, pointed and with nonempty interior. We define a class of measures for such pseudo-cones and show how they can be interpreted as...

💬 0 commentsarXiv:2601.06594v1PDF
0

Posted in math.LO · 2026-01-10 · Vicent Navarro Arroyo

Gödel-Dummett and $\mathsf{BD_2}$: Linearity and Depth-Two Branching in Kripke Semantics

We study the semantic relationship between Gödel-Dummett logic $\mathsf{GL}$ and bounded-depth-2 logic $\mathsf{BD_2}$, two well-known intermediate logics. While $\mathsf{GL}$ imposes linearity on Kripke frames, $\mathsf{BD_2}$ bounds their depth to two. We prove these logics are incomparable (neither contains the other) through...

💬 0 commentsarXiv:2601.06593v2PDF
0

Posted in math.CO · 2026-01-10 · Levente Bodnár

FlagAlgebraToolbox: Flag Algebra Computations in SageMath

We introduce FlagAlgebraToolbox, an extension of SageMath capable of automating flag algebra calculations and optimizations. FlagAlgebraToolbox has a simple interface, can handle a wide range of combinatorial theories, can numerically optimize extremal combinatorial problems and round the results to produce exact proofs. We present...

💬 0 commentsarXiv:2601.06590v2PDF
0

Posted in math.RT · 2026-01-10 · Benjamin Steinberg

Quiver presentations for band algebras are defined over the integers

A band is a semigroup in which each element is idempotent. In recent years, there has been a lot of activity on the representation theory of the subclass of left regular bands due to connections to Markov chains associated to hyperplane arrangements, oriented matroids, matroids and CAT(0) cube complexes. We prove here that the...

💬 0 commentsarXiv:2601.06587v2PDF
0

Posted in math.RA · 2026-01-10 · Gurninder Singh Sandhu, Geetika Gudwani, Mohammadi El Hamdoui

Commutativity criteria for prime rings with involution via pairs of endomorphisms

The aim of this article is to investigate central-valued identities involving pairs of endomorphisms on prime rings equipped with an involution of the second kind. Extending the recent contributions of Mir et al. (2020) and Boua et al. (2024), we establish several new commutativity criteria for such rings in the presence of two...

💬 0 commentsarXiv:2601.06576v2PDF
0

Posted in math.CT · 2026-01-10 · Steve Awodey, Joseph Hua

Path Types in Algebraic Type Theory

A new approach to the semantics of identity types in intensional Martin-Löf type theory is proposed, assuming only a category with finite limits and an interval. The specification of \emph{extensional} identity types in the original presentation of natural models paralleled that of the other type formers $Σ$ and $Π$, but the treatment...

💬 0 commentsarXiv:2601.06567v1PDF
0

Posted in math.DG · 2026-01-10 · Haiqing Cheng, Kui Wang

Cone Conditions for the Curvature Operator of the Second Kind on Einstein Manifolds

In this note, we study Einstein manifolds whose curvature operator of the second kind $\mathring{R}$ satisfies the cone condition \[ α^{-1}\big(\sum_{i=1}^{[α]} λ_i+ (α- [α] ) λ_{[α] + 1} \big) \ge -θ\barλ \] for some real number $α\in [1, (n+2)(n-1)/2)$. Here $[α] :=\max\{ m \in \mathbb{Z}: m \leq α\}$, $θ>-1$ and $λ_1 \le \cdots \le...

💬 0 commentsarXiv:2601.06556v1PDF
0

Posted in math.CO · 2026-01-10 · Tongyu Nian

A generalization of $q$-deformation of graphic arrangements to simplicial complexes

The purpose of this thesis is to introduce two new kinds of hyperplane arrangements, inspired by the graphic arrangements and $q$-deformations of graphic arrangements. In this thesis, the author extends the definition of $q$-deformation to simplicial complexes, with the conjecture by Nian, Tsujie, Uchiumi and Yoshinaga. The author...

💬 0 commentsarXiv:2601.06546v2PDF
0

Posted in math.ST · 2026-01-10 · Yifeng Yu, Lu Yu

Diffusion Models with Heavy-Tailed Targets: Score Estimation and Sampling Guarantees

Score-based diffusion models have become a powerful framework for generative modeling, with score estimation as a central statistical bottleneck. Existing guarantees for score estimation largely focus on light-tailed targets or rely on restrictive assumptions such as compact support, which are often violated by heavy-tailed data in...

💬 0 commentsarXiv:2601.06715v1PDF
0

Posted in math.DG · 2026-01-10 · Christian Baer

Upper bound for the total mean curvature of spin fill-ins

Gromov conjectured that the total mean curvature of the boundary of a compact Riemannian manifold can be estimated from above by a constant depending only on the boundary metric and on a lower bound for the scalar curvature of the fill-in. We prove Gromov's conjecture if the manifolds are spin with a constant that also depends on a...

💬 0 commentsarXiv:2601.06713v3PDF
0

Posted in math.PR · 2026-01-10 · Z. Brzeźniak, A. Ndongmo Ngana, T. Tachim Medjo

On a stochastic Cahn-Hilliard-Brinkman model

In this paper, we consider a stochastic version of the Cahn-Hilliard-Brinkman model in a smooth two- or three-dimensional domain with dynamical boundary conditions. The system describes creeping two-phase flows and is basically a coupling of the Brinkman equation for the velocity field that governs the flow through the porous media...

💬 0 commentsarXiv:2601.06698v1PDF
0

Posted in math.RT · 2026-01-10 · Ivan Losev, Alexander Tsymbaliuk, Trung Vu

On De Concini-Kac forms of quantum groups

Quantum groups of semisimple Lie algebras at roots of unity admit several different forms. Among them is the De Concini-Kac form, which is the easiest to define but, perhaps, hardest to study. In this paper, we propose a suitable modification to the De Concini-Kac form, namely the even part algebra, which has some appealing features....

💬 0 commentsarXiv:2601.06696v1PDF
0

Posted in math-ph · 2026-01-10 · Andrey Badanin, Evgeny Korotyaev

Inverse problem for the divisor of the good Boussinesq equation

A third-order operator with periodic coefficients is an L-operator in the Lax pair for the Boussinesq equation on a circle. The projection of the divisor of the Floquet solution poles for this operator coincides with the spectrum of the three-point Dirichlet problem. The sign of the norming constant of the three-point problem...

💬 0 commentsarXiv:2601.06683v1PDF
0

Posted in math.AP · 2026-01-10 · Maciej Tadej, Ricardo Martinez-Garcia, Michael Hecht

Extinction and persistence criteria in non-local Klausmeier model of vegetation dynamics on flat landscapes

This paper investigates the dynamics of vegetation patterns in water-limited ecosystems using a generalized Klausmeier model that incorporates non-local plant dispersal within a finite habitat. We establish the well-posedness of the system and provide a rigorous analysis of the conditions required for vegetation survival. Our results...

💬 0 commentsarXiv:2601.06681v2PDF
0

Posted in math.FA · 2026-01-10 · Tomasz Kania, Jerzy Kąkol

Amenability constants for unconditional sums of Banach algebras

We study Johnson amenability for unconditional direct sums of Banach algebras. Given a family $(A_i)_{i\in I}$ of Banach algebras and a Banach sequence lattice $E$ on~$I$, the $E$-sum $\bigl(\bigoplus_{i\in I} A_i\bigr)_{\!E}$ carries a natural Banach algebra structure via coordinatewise multiplication. Under the hypothesis that $C_E...

💬 0 commentsarXiv:2601.06680v2PDF
0

Posted in math.OA · 2026-01-10 · Matthew Gillespie, Benjamin Jones, S. Kaliszewski, John Quigg

Comparing Two Notions of Coaction Invariance of Ideals in $\mathrm{C}^*$-Algebras

Given a coaction $δ$ of a locally compact group $G$ on a $\mathrm{C}^*$-algebra $A$, we study the relationship between two different forms of coaction invariance of ideals of $A$ and the ideals of the corresponding crossed product $\mathrm{C}^*$-algebra $A \rtimes_δ G$. In particular, we characterize when these two notions of...

💬 0 commentsarXiv:2601.06679v1PDF
0

Posted in math.ST · 2026-01-10 · Christophe Gallesco, Caio Teodore Genovese Huss Oliveira, Daniel Yasumasa Takahashi

Reduction and classification of higher-order Markov chains

We study the class structure of finite-alphabet Markov chains with arbitrary memory length. To capture the structural constraints induced by prohibited transitions, we introduce the skeleton of a higher-order transition kernel, defined as a reduced set of contexts encoding all essential zero-probability patterns. To each skeleton we...

💬 0 commentsarXiv:2601.06674v2PDF
0

Posted in math.RA · 2026-01-10 · Leonid Bedratyuk

Relative Invariants from Moving Frames on an Extended Manifold

A constructive modification of the moving frame method is developed in this paper for the construction of relative invariants of regular Lie group actions. Let a relative invariant $I$ of weight $ω$ transform according to the rule $$ I(g \cdot \boldsymbol x) = μ(g, \boldsymbol x)^ω I(\boldsymbol x), $$ where $μ: G \times \mathcal{M}...

💬 0 commentsarXiv:2601.06660v1PDF
0

Posted in math.GT · 2026-01-10 · Gheehyun Nahm

Rational surgery exact triangles in Heegaard Floer homology

We construct a new family of surgery exact triangles in Heegaard Floer theory over the field with two elements. This family generalizes both Ozsváth and Szabó's $n$- and $1/n$-surgery exact triangles for positive integers $n$ and the author's recent 2-surgery exact triangle to all positive rational slopes. The construction reduces...

💬 0 commentsarXiv:2601.06654v1PDF