|
arXiv:2606.00687v1 Announce Type: new Abstract: From a generating function for a Legendrian in a $1$-jet bundle, we may extract the following topological information: (1) a trivialization of the stable Gauss map, (2) the sheaf of sub-level-set stable cohomotopies, and (3) an identification of the microlocalization of the latter with the J-homomorphism image of the former. Here we show that in fact (1), (2), (3) completely classify generati..
|
|
Sharp $A_\alpha$-Spectral Conditions for Odd $[1,b]$-Factors When $\alpha>1/2$
-
arxiv.org
-
1 month ago
-
eng
arXiv:2606.00691v1 Announce Type: new Abstract: We solve, for all sufficiently large even orders, the problem proposed by Chen et al. on sharp $A_\alpha$-spectral conditions for the existence of odd $[1,b]$-factors when $\alpha>1/2$. Chen et al. showed that every connected graph of even order $n$ with no odd $[1,b]$-factor has $A_\alpha$-spectral radius at most $\max_{1\le s\le k}\rho_\alpha(G_s)$, where $G_s=K_s\nabla\left(K_{n-(b+1)s-1}\....
|
|
arXiv:2606.00693v1 Announce Type: new Abstract: We define a bi-invariant word metric on a group using keis. We discuss whether such a word metric is trivial or non-trivial in various examples coming from group theory, dynamical systems, as well as complex and symplectic geometry.
|
|
Information-Theoretic Lower Bounds for Bit-Constrained Stochastic Optimization via a Reduction to Compressed Gaussian Mean Estimation
-
arxiv.org
-
1 month ago
-
eng
arXiv:2606.00703v1 Announce Type: new Abstract: Low-precision pretraining (FP8, MXFP4, NVFP4) is now standard for frontier language models, yet the literature is almost entirely achievability -- algorithms and empirical scaling laws -- with no matching characterization of what is information-theoretically possible. We study a B-bit quantized stochastic first-order oracle: an optimizer interacts for T rounds and receives, each round, a B-bi....
|
|
Small-Scale Magnitude Below One for Cyclic Two-Chunk Finite Metric Spaces
-
arxiv.org
-
1 month ago
-
eng
arXiv:2606.00707v1 Announce Type: new Abstract: Motivated by the small-scale viewpoint of Roff and Yoshinaga, we study finite metric spaces whose scaled copies collapse to a single point while their magnitude remembers how the collapse takes place. The limit metric space is geometrically indistinguishable from a point, but the magnitude function can detect differences in the path of collapse. We introduce a four-parameter family of cyclic ..
|
|
Structural Causal Discovery and Predictive Sufficiency in High-Dimensional Dynamical Systems
-
arxiv.org
-
1 month ago
-
eng
arXiv:2606.00710v1 Announce Type: new Abstract: High-dimensional environmental systems often contain variables that are strongly predictive, structurally informative, and physically coupled, but these roles are not equivalent. In precipitation dynamics, this distinction is particularly important because rainfall emerges from multiscale thermodynamic, kinematic, microphysical, and land--atmosphere interactions, while observations are sparse....
|
|
Liouville Type Theorem for the Steady Fractional Compressible MHD Equations in $\mathbb{R}^{3}$
-
arxiv.org
-
1 month ago
-
eng
arXiv:2606.00713v1 Announce Type: new Abstract: This paper is concerned with the Liouville-type problem for the stationary fractional compressible magnetohydrodynamics (MHD) equations. The main difficulty comes from the nonlocal fractional Laplace operator $(-\Delta)^s$. To overcome it, we combine the Caffarelli-Silvestre extension technique with truncation arguments. Under suitable regularity and decay conditions, we prove that the only s..
|
|
arXiv:2606.00719v1 Announce Type: new Abstract: Let $\kappa^{\prime}(G)$ be the edge-connectivity of the graph $G$. The \textit{strength} of $G$, denoted by $\overline{\kappa}^{\prime}(G)$, is the maximum edge-connectivity of its subgraphs. A simple graph $G$ is called $k$-\textit{edge-maximal} if $\overline{\kappa}^{\prime}(G) \leq k$ but for any edge $e$ not in $G$, $\overline{\kappa}^{\prime}(G+e) \geq k+1$. In this paper, we propose th..
|
|
arXiv:2606.00731v1 Announce Type: new Abstract: In this paper, we introduce and study the notion of Q-filters in bounded lattices.
|
|
arXiv:2606.00736v1 Announce Type: new Abstract: We prove that, over any ring $R$, the supremum of the projective dimensions of the flat left $R$-modules coincides with the supremum of the Gorenstein projective dimensions of the Gorenstein flat left $R$-modules. As a consequence, we obtain new characterizations of left $n$-perfect rings in terms of Gorenstein projective, Ding projective, and projectively coresolved Gorenstein flat dimension..
|
|
Realization, interpolation, extension on the pentablock and applications to $\mathbb D^2$, $\mathbb G_2$
-
arxiv.org
-
1 month ago
-
eng
arXiv:2606.00760v1 Announce Type: new Abstract: We introduce Schur-Agler class for the pentablock $\mathbb P$ and establish a realization theorem for functions in this class. Then we prove an interpolation theorem for the pentablock with interpolating functions belonging to the corresponding Schur-Agler class. Also, we obtain an extension theorem for $\mathbb P$. Applying these results, we add a few new characterizations in the existing re..
|
|
The Gaussian Gabor system at the critical density is a weighted lower semi frame
-
arxiv.org
-
1 month ago
-
eng
arXiv:2606.00764v1 Announce Type: new Abstract: We show that the Gaussian Gabor system at the critical density is a weighted lower semi frame, thus resolving an open question. This complements recent results showing that the system is neither a weighted frame nor admits a reproducing partner. In fact, after removing any atom from the system, suitable weights produce a complete Riesz Fischer sequence and lower semi frame.
|
|
arXiv:2606.00772v1 Announce Type: new Abstract: Let $\lambda = (\lambda_1, \ldots, \lambda_n)$ be a partition with $\lambda_1 = m$. Denote by $J_\lambda$ the cover ideal in the polynomial ring \( S = k[x_1, \ldots, x_n, y_1, \ldots, y_m] \) associated to the Ferrers graph corresponding to $\lambda$. Let $d(\lambda)$ denote the number of distinct parts of $\lambda$. We prove that \[ \operatorname{pd}(S/J_\lambda^t) = \min\{t,\; d(\lambda)\}..
|
|
A path-following framework on fiber bundle for variational inequalities
-
arxiv.org
-
1 month ago
-
eng
arXiv:2606.00778v1 Announce Type: new Abstract: Variational inequality (VI) is a fundamental mathematical framework for many classical problems. We present a path-following framework for finite-dimensional VIs with arbitrary continuous functions and compact convex domains. The approach first approximately reduces a general VI to a smooth VI on simplex. Its key innovation is to formulate the smooth VI on simplex on a fiber bundle called the....
|
|
arXiv:2606.00781v1 Announce Type: new Abstract: We introduce a continuous-time mutation model with two types determined by a finite measure $\Lambda$ on the unit interval. The model satisfies a certain consistency property known from mathematical population genetics and includes so called harmonic models being of interest in mathematical statistical physics. We mainly focus on the situation when the number of particles is equal to some con..
|
|
Coupled Routing and Charge Schedule Optimization of Electrified Delivery Truck Fleets: Feasibility Analyses
-
arxiv.org
-
1 month ago
-
eng
arXiv:2606.00792v1 Announce Type: new Abstract: Electrifying truck fleets has the potential to improve energy efficiency and reduce carbon emissions from the freight transportation sector. However, the range limitations and substantial capital costs with current battery technologies imposes constraints that challenge the overall cost feasibility of electrifying fleets for logistics companies. In this paper, we investigate the coupled routi....
|
|
arXiv:2606.00799v1 Announce Type: new Abstract: A classic theorem of Weyl (1921) states that a Weyl metric -- a natural generalisation of a pseudo-Riemannian metric -- is uniquely determined by its conformal and projective structures (i.e. by its conformal structure and its set of unparametrised geodesics). An equivalent formulation of Weyl's result is that a torsion-free linear connection compatible with a pseudo-Riemannian conformal stru..
|
|
arXiv:2606.00802v1 Announce Type: new Abstract: Given a graph $G$, a set $F$ of edges is an edge dominating set of $G$ if every edge in $G$ is either in $F$ or adjacent to an edge in $F$. A graph $G$ is said to be well-edge-dominated if every minimal edge dominating set has the same cardinality. This definition is the edge version of domination in that a set $D\subseteq V(G)$ is a dominating set if every vertex in $G$ is in $D$ or adjacent..
|
|
arXiv:2606.00812v1 Announce Type: new Abstract: We define a new Ehrenfeucht-Fra\"iss\'e game for dependence logic. The previously known rendition of such a game was based on moves that are teams. Since teams can be massive, making team moves may be quite complicated. To remedy this, our new Ehrenfeucht-Fra\"iss\'e game for dependence logic has only moves that consist of single elements, as in the classical Ehrenfeucht-Fra\"iss\'e game of f..
|
|
arXiv:2606.00833v1 Announce Type: new Abstract: We prove the Nielsen--Schreier property for the variety of algebras defined by the identity $x(x^2)^2=(x^2)^2x$: every subalgebra of every free algebra in this variety is itself free. We also show that this variety of algebras does not have the Poincar\'e--Birkhoff--Witt property for universal multiplicative enveloping algebras. Our strategy of proof actually leads to infinitely many new vari..
|
|
arXiv:2606.00836v1 Announce Type: new Abstract: Graphs defined over finite rings are well studied in the literature. The study of these graphs benefits from rich connections between several areas of mathematics, including number theory, algebra, combinatorics, and graph theory, and these connections often lead to interesting interactions between algebraic and combinatorial structures. In this article, we investigate gcd-graphs defined over..
|
|
arXiv:2606.00843v1 Announce Type: new Abstract: Let $G$ be a simple graph with degree diagonal matrix $D(G)$ and adjacency matrix $A(G)$. The signless Laplacian matrix of $G$ is defined as $Q(G)=D(G)+A(G)$. For a real number $\alpha \in [0, 1]$, Nikiforov (2017) proposed the $A_\alpha$-matrix of a graph $G$ as $A_{\alpha}(G)=\alpha D(G)+(1-\alpha)A(G)$. The $A_\alpha$-spectral radius of $G$, denoted by $\rho_\alpha(G)$, is the largest eige....
|
|
arXiv:2606.00845v1 Announce Type: new Abstract: In this article we study the notion of completeness for conjunctive reducibilities. We investigate the relationship between $c$-completeness and $r$-completeness of computably enumerable (c.e.) sets with respect to various strong reducibilities $\le_r$. By using simplicity properties of sets, we prove that there exist c.e. sets that are simultaneously $Q$-complete and $bd$-complete, yet fail ..
|
|
arXiv:2606.00850v1 Announce Type: new Abstract: We state and prove a Toeplitz corona theorem for the pentablock $\mathbb{P}$, a domain in $\mathbb{C}^3$ given by \[ \mathbb{P}=\{(a_{21}, \text{tr}(A), \det(A)) \in \mathbb C^3 : A=[a_{ij}] \in M_2(\mathbb C), \|A\|<1\}. \] By two different applications of this theorem, we obtain a few new characterizations in the Toeplitz corona theorems for the bidisc and the symmetrized bidisc.
|
|
Frank-Wolfe with Moreau Envelope Smoothing for Nonsmooth Nonconvex Problems
-
arxiv.org
-
1 month ago
-
eng
arXiv:2606.00853v1 Announce Type: new Abstract: We present and analyze Frank-Wolfe with Moreau Envelope Smoothing (FRAMES) for solving nonsmooth nonconvex constrained optimization problems, taking advantage of iterative smoothing via the Moreau envelope followed by one Frank-Wolfe step per iteration. The problem template we consider encompasses splitting problems with multiple convex constraint sets as well as problems with nonsmooth weakl....
|
|
Constrained Neural Parameterization for Optimization in Function Spaces
-
arxiv.org
-
1 month ago
-
eng
arXiv:2606.00855v1 Announce Type: new Abstract: We propose constrained neural parameterization schemes for several classes of constraints arising in optimization problems in function spaces. This is achieved by constructing smooth neural parameterizations whose image lies entirely in the admissible set while remaining asymptotically dense. In this way, the original constrained optimization problem is transformed into a smooth unconstrained..
|
|
arXiv:2606.00861v1 Announce Type: new Abstract: Powell introduced the Axiom of Double Complement ($\mathsf{DCom}$) to give his double-negation interpretation of $\mathsf{ZF}$ into $\mathsf{IZF_{Rep}}$. However, the consistency, strength, and compatibility of $\mathsf{DCom}$ remain open problems. This article aims to survey the compatibility and consistency strength of $\mathsf{DCom}$, its consequence and opposites, which will be named $\ma..
|
|
arXiv:2606.00863v1 Announce Type: new Abstract: We study the generation problem in the Higman-Thompson groups $F_n$ via the core and closure of subgroups of $F_n$ and associated automata. We give sufficient conditions for a subset $X \subseteq F_n$ to generate $F_n$, and provide an algorithm which verifies these conditions when $X$ is finite. As an application, we answer a question of Aiello and Nagnibeda, motivated by Savchuk's problem on..
|
|
Hyperinvariant subspaces of hyponormal operators: A constructive decomposition approach
-
arxiv.org
-
1 month ago
-
eng
arXiv:2606.00865v1 Announce Type: new Abstract: It is shown that any hyponormal operator on an infinite-dimensional separable Hilbert space that admits a decomposition \( T = R + V \), where \( R \) is tridiagonal and \( V \) is trace-class, has nontrivial closed hyperinvariant subspaces provided $T$ is not a multiple of the identity. We further discuss implications of this result for the invariant subspace problem of hyponormal operators ..
|
|
arXiv:2606.00868v1 Announce Type: new Abstract: We study the distribution of indecomposable elements in Euclidean lattices. A positive element in a lattice is called indecomposable if it cannot be represented as a sum of two other positive nonzero elements. The set of all indecomposables in a lattice forms the Hilbert basis for the positive lattice semigroup. We classify lattices that contain only finitely many indecomposables versus those..
|
|
From bungee to $C^1$ and $C^0$ Hamiltonian systems and their integrability and nonintegrability
-
arxiv.org
-
1 month ago
-
eng
arXiv:2606.00870v1 Announce Type: new Abstract: We consider natural Hamiltonian systems with potentials that are $C^0$ or $C^1$ on a hypersurface and $C^{\infty}$-smooth in the complement and introduce and study corresponding notions of their integrabilty and non-integrability. As a motivating example, we derive and analyze models of bungee jumping. We provide prototype examples of the Liuoville-Arnol'd theorem for $C^0$ and $C^1$ Hamilton..
|
|
Moduli space of genus one curves on quartic and quintic del Pezzo threefolds
-
arxiv.org
-
1 month ago
-
eng
arXiv:2606.00876v1 Announce Type: new Abstract: In this article, we study the space of smooth genus one curves on del Pezzo threefolds of degree 4 and 5. We describe the irreducible components of the Kontsevich moduli space generically parametrizing genus one stable maps with irreducible domains and classify the irreducible components of the morphism space from general elliptic curves. Our result verifies the Geometric Manin's conjecture f..
|
|
arXiv:2606.00879v1 Announce Type: new Abstract: Corresponding to weak almost contact metric structures (defined recently by Rovenski and Wolak), we introduce and study here weak almost contact structures with B-metric, which generalize the classical almost contact structures with Norden metric (B-metric). Several geometric properties are obtained, some special classes are investigated and a lot of examples are constructed throughout this w..
|
|
arXiv:2606.00885v1 Announce Type: new Abstract: In this paper, we develop the theory for the two-phase Stefan problem with finite energy, possibly non-empty mushy region, and space-dependent melting temperature. Specifically, we prove the existence of weak solutions with an elliptic regularization scheme. Our existence theorem provides information about the regularity of the solutions: we prove that the temperature of weak solutions is in ..
|
|
arXiv:2606.00895v1 Announce Type: new Abstract: This paper presents a fast, recursive neural solver for the J2-perturbed Lambert problem based on Tiny Recursive Models (TRM), termed the TRM-Perturbed Lambert (TRM-PL) model. TRM is a weight-shared architecture whose effective capacity emerges from iteration depth rather than parameter count: a compact reasoning module is applied repeatedly within a two-level latent hierarchy, refining a can....
|
|
arXiv:2606.00896v1 Announce Type: new Abstract: Globalization has enabled companies to leverage cost efficiencies; however, it has increased exposure to disruption risks that threaten supply stability. Among these, export bans have emerged as a systemic challenge, often arising as a secondary effect of conventional supply capacity disruptions. The pharmaceutical industry is particularly vulnerable to bans because of the criticality of keep....
|
|
arXiv:2606.00897v1 Announce Type: new Abstract: In the paper, we prove a rather general characterization of higher-order Sobolev spaces. We show that the $k\mathrm{th}$-order regularity, where $k \in \mathbb{N}$, is captured via inequalities involving $2^k$-tuples of points. In fact, in full generality, the obtained results characterize higher-order Sobolev spaces based on Banach function spaces. Moreover, we show an analogous characteriza..
|
|
Well-posedness of a first-order formulation for fractionally damped nonlinear acoustics
-
arxiv.org
-
1 month ago
-
eng
arXiv:2606.00899v1 Announce Type: new Abstract: In this work, we study the well-posedness of a quasilinear first-order-in-time system with memory arising in nonlinear acoustics. The model features a memory kernel describing the fractional damping and covers, as special cases, first-order formulations of Kuznetsov- and Westervelt-type equations. For completely monotone convolution kernels, we prove that the Westervelt-type system admits un....
|
|
The 2D Smorodinsky--Winternitz II system and the Laguerre--Heun algebra
-
arxiv.org
-
1 month ago
-
eng
arXiv:2606.00903v1 Announce Type: new Abstract: We identify the quadratic symmetry algebra of the two-dimensional Smorodinsky--Winternitz II system with a Laguerre-type confluent Heun algebra. The system is separable in Cartesian and parabolic coordinates. The complementary Cartesian separation operator \[ Y=\partial_y^2-\omega^2y^2+\frac{1/4-c^2}{y^2} \] is of Laguerre type, while the parabolic integral \(W=L_2\) is its algebraic Heun pa..
|
|
On the wave equation with logarithmic damping: wellposedness, blow-up and numerical analysis
-
arxiv.org
-
1 month ago
-
eng
arXiv:2606.00905v1 Announce Type: new Abstract: In this work, we are concern with the wave equation subjected to a nonlinear feedback of logarithmic type and nonlinear polynomial source. To achieve a comprehensive understanding of this novel damping mechanism, we start with studying the well-posedness and the uniqueness of the problem. Then we establish the blow-up result of the problem under suitable initial data with negative initial ene..
|
|
Classifying subcategories of a Grothendieck category via its spectral category
-
arxiv.org
-
1 month ago
-
eng
arXiv:2606.00908v1 Announce Type: new Abstract: Let $\mathcal{A}$ be a Grothendieck category. In this paper we classify subcategories of $\mathcal{A}$ via a support notion defined by Krause \cite{Kr2024} based on the spectral category of $\mathcal{A}$. We show that this aligns with Nemman's support \cite{Ne1992}, and thereby extends earlier classifications of subcategories of the category of modules over a commutative noetherian ring and s..
|
|
arXiv:2606.00912v1 Announce Type: new Abstract: We study frames for Hardy spaces generated by orbits of multiplication operators. We characterize the symbols $\varphi \in H^\infty(\mathbb{T}^N)$ for which the multiplication operator $M_\varphi$ admits a frame of orbits on $H^2(\mathbb{T}^N)$. We also show that, in this setting, the existence of a frame is equivalent to the existence of a Parseval frame. Moreover, for $N=1$ we prove that fi..
|
|
arXiv:2606.00916v1 Announce Type: new Abstract: We introduce the overflow semiring $S = A \oplus_{\operatorname{ord}} L$, extending a positive information algebra $A$ by a join-semilattice $L$, where elements of $L$ dominate $A$ and arithmetic in $L$ reduces to the join. This models saturation or overflow in computational systems and generalizes the transition from finite to infinite cardinal arithmetic. We characterize the idempotent elem..
|