Processing math: 100%

Mathematics

2025-04-04 | | Total: 179

#1 Universal Log-Optimality for General Classes of e-processes and Sequential Hypothesis Tests [PDF1] [Copy] [Kimi] [REL]

Authors: Ian Waudby-Smith, Ricardo Sandoval, Michael I. Jordan

We consider the problem of sequential hypothesis testing by betting. For a general class of composite testing problems -- which include bounded mean testing, equal mean testing for bounded random tuples, and some key ingredients of two-sample and independence testing as special cases -- we show that any e-process satisfying a certain sublinear regret bound is adaptively, asymptotically, and almost surely log-optimal for a composite alternative. This is a strong notion of optimality that has not previously been established for the aforementioned problems and we provide explicit test supermartingales and e-processes satisfying this notion in the more general case. Furthermore, we derive matching lower and upper bounds on the expected rejection time for the resulting sequential tests in all of these cases. The proofs of these results make weak, algorithm-agnostic moment assumptions and rely on a general-purpose proof technique involving the aforementioned regret and a family of numeraire portfolios. Finally, we discuss how all of these theorems hold in a distribution-uniform sense, a notion of log-optimality that is stronger still and seems to be new to the literature.

Subjects: Statistics Theory , Methodology

Publish: 2025-04-03 17:58:10 UTC


#2 On cycle covers of infinite bipartite graphs [PDF] [Copy] [Kimi] [REL]

Authors: Leandro Aurichi, Paulo Magalhães Júnior, Lyubomyr Zdomskyy

Given a graph G and a subset X of vertices of G with size at least two, we denote by N2G(X) the set of vertices of G that have at least two neighbors in X. We say that a bipartite graph G with sides A and B satisfies the double Hall property if for every subset X of vertices of A with size at least 2, |N2G(X)||X|. Salia conjectured that if G is a bipartite graph that satisfies the double Hall property, then there exists a cycle in G that covers all vertices of A. In this work, we study this conjecture restricted to infinite graphs. For this, we use the definition of ends and infinite cycles. It is simple to see that Salia's conjecture is false for infinite graphs in general. Consequently, all our results are partial. Under certain hypothesis it is possible to obtain a collection of pairwise disjoint 2-regular subgraphs that covers A. We show that if side B is locally finite and side A is countable, then the conjecture is true. Furthermore, assuming the conjecture holds for finite graphs, we show that it holds for infinite graphs with a restriction on the degree of the vertices of B. This result is inspired by the result obtained by Barát, Grzesik, Jung, Nagy and Pálvölgyi for finite graphs. Finally, we also show that if Salia's conjecture holds for some cases of infinite graphs, then the conjecture about finite graphs presented by Lavrov and Vandenbussche is true.

Subjects: Combinatorics , General Topology

Publish: 2025-04-03 17:57:22 UTC


#3 Convergence of the Markovian iteration for coupled FBSDEs via a differentiation approach [PDF] [Copy] [Kimi] [REL]

Authors: Zhipeng Huang, Cornelis W. Oosterlee

In this paper, we investigate the Markovian iteration method for solving coupled forward-backward stochastic differential equations (FBSDEs) featuring a fully coupled forward drift, meaning the drift term explicitly depends on both the forward and backward processes. An FBSDE system typically involves three stochastic processes: the forward process X, the backward process Y representing the solution, and the Z process corresponding to the scaled derivative of Y. Prior research by Bender and Zhang (2008) has established convergence results for iterative schemes dealing with Y-coupled FBSDEs. However, extending these results to equations with Z coupling poses significant challenges, especially in uniformly controlling the Lipschitz constant of the decoupling fields across iterations and time steps within a fixed-point framework. To overcome this issue, we propose a novel differentiation-based method for handling the Z process. This approach enables improved management of the Lipschitz continuity of decoupling fields, facilitating the well-posedness of the discretized FBSDE system with fully coupled drift. We rigorously prove the convergence of our Markovian iteration method in this more complex setting. Finally, numerical experiments confirm our theoretical insights, showcasing the effectiveness and accuracy of the proposed methodology.

Subjects: Numerical Analysis , Probability , Computational Finance

Publish: 2025-04-03 17:56:36 UTC


#4 Regularity and bounded t-structures for algebraic stacks [PDF] [Copy] [Kimi] [REL]

Authors: Timothy De Deyn, Pat Lank, Kabeer Manali Rahul, Fei Peng

Our work shows (the expected) cohomological characterization for regularity of (Noetherian) algebraic stacks; such a stack is regular if and only if all complexes with bounded and coherent cohomology are perfect. This naturally enables us to extend various statements known for schemes to algebraic stacks. In particular, the conjectures by Antieau--Gepner--Heller and Bondal--Van den Bergh, both resolved for schemes by Neeman, are proven for suitable algebraic stacks.

Subjects: Algebraic Geometry , Commutative Algebra

Publish: 2025-04-03 17:55:36 UTC


#5 Vertex-Based Localization of Turán's Theorem [PDF] [Copy] [Kimi] [REL]

Author: Rajat Adak

For a simple graph G, let n and m denote the number of vertices and edges in G, respectively. Turán's theorem states that in a simple Kr+1 free graph, mn2(r1)2r. In this paper, we generalize this result as follows: For each vV(G), let c(v) be the order of the largest clique that contains v. We show that mn2vV(G)c(v)1c(v) Furthermore, we characterize the class of extremal graphs that attain equality in this bound.

Subjects: Combinatorics , Discrete Mathematics

Publish: 2025-04-03 17:51:50 UTC


#6 Convergence of Ricci flow and long-time existence of Harmonic map heat flow [PDF] [Copy] [Kimi] [REL]

Authors: Kyeongsu Choi, Yi Lai

For an ancient Ricci flow asymptotic to a compact integrable shrinker, or a Ricci flow developing a finite-time singularity modelled on the shrinker, we establish the long-time existence of a harmonic map heat flow between the Ricci flow and the shrinker for all times. This provides a global parabolic gauge for the Ricci flow and implies the uniqueness of the tangent flow without modulo any diffeomorphisms. We present two main applications: First, we construct and classify all ancient Ricci flows asymptotic to any compact integrable shrinker, showing that they converge exponentially. Second, we obtain the optimal convergence rate at singularities modelled on the shrinker, characterized by the first negative eigenvalue of the stability operator for the entropy. In particular, we show that any Ricci flow developing a round Sn singularity converges at least at the rate (t)n+1n1.

Subjects: Differential Geometry , Analysis of PDEs

Publish: 2025-04-03 17:50:14 UTC


#7 Greedy Regular Convolutions [PDF] [Copy] [Kimi] [REL]

Author: Jan Snellman

We introduce a class of convolutions on arithmetical functions that are regular in the sense of of Narkiewicz, homogeneous in the sense of Burnett et al, and bounded, in the sense that there exists a common finite bound for the rank of primitive numbers. Among these "greedy convolutions" the unitary convolution and the "ternary convolution" are particularly interesting: they are the only regular, homogeneous convolutions where each primitive number have the same finite rank. While the greedy convolution of length 3, also described in detail, has primitive numbers of rank 3 and rank 1, it is still special in that the set of primitives can be generated by a simple recursive procedure that we name selective sifting.

Subject: Number Theory

Publish: 2025-04-03 17:41:11 UTC


#8 Pivoting technique for the circle homeomorphism group [PDF] [Copy] [Kimi] [REL]

Author: Inhyeok Choi

We adapt Gouëzel's pivoting technique to the circle homeomorphism group. As an application, we give different proofs of Gilabert Vio's probabilistic Tits alternative and Malicet's exponential synchronization.

Subjects: Dynamical Systems , Geometric Topology , Probability

Publish: 2025-04-03 17:32:18 UTC


#9 The level of distribution of the sum-of-digits function in arithmetic progressions [PDF] [Copy] [Kimi] [REL]

Author: Nathan Toumi

For q2, nN, let sq(n) denote the sum of the digits of n written in base q. Spiegelhofer (2020) proved that the Thue--Morse sequence has level of distribution 1, improving on a former result of Fouvry and Mauduit (1996). In this paper we generalize this result to sequences of type {exp(2πisq(n)/b)}nN and provide an explicit exponent in the upper bound.

Subject: Number Theory

Publish: 2025-04-03 17:27:02 UTC


#10 Sharp connectivity bounds for the vacant set of random interlacements [PDF] [Copy] [Kimi] [REL]

Authors: Subhajit Goswami, Pierre-François Rodriguez, Yuriy Shulzhenko

We consider percolation of the vacant set of random interlacements at intensity u in dimensions three and higher, and derive lower bounds on the truncated two-point function for all values of u>0. These bounds are sharp up to principal exponential order for all u in dimension three and all uu in higher dimensions, where u refers to the critical parameter of the model, and they match the upper bounds derived in the article arXiv:2503.14497. In dimension three, our results further imply that the truncated two-point function grows at large distances x at a rate that depends on x only through its Euclidean norm, which offers a glimpse of the expected (Euclidean) invariance of the scaling limit at criticality. The rate function is atypical, it incurs a logarithmic correction and comes with an explicit pre-factor that converges to 0 as the parameter u approaches the critical point u from either side. A particular challenge stems from the combined effects of lack of monotonicity due to the truncation in the super-critical phase, and the precise (rotationally invariant) controls we seek, that measure the effects of a certain "harmonic humpback" function. Among others, their derivation relies on rather fine estimates for hitting probabilities of the random walk in arbitrary direction e, which witness this invariance at the discrete level, and preclude straightforward applications of projection arguments.

Subjects: Probability , Mathematical Physics

Publish: 2025-04-03 17:17:52 UTC


#11 Bifurcations of the Hénon map with additive bounded noise [PDF] [Copy] [Kimi] [REL]

Authors: Jeroen S. W. Lamb, Martin Rasmussen, Wei Hao Tey

We numerically study bifurcations of attractors of the Hénon map with additive bounded noise with spherical reach. The bifurcations are analysed using a finite-dimensional boundary map. We distinguish between two types of bifurcations: topological bifurcations and boundary bifurcations. Topological bifurcations describe discontinuous changes of attractors and boundary bifurcations occur when singularities of an attractor's boundary are created or destroyed. We identify correspondences between topological and boundary bifurcations of attractors and local and global bifurcations of the boundary map.

Subject: Dynamical Systems

Publish: 2025-04-03 17:17:11 UTC


#12 Component-wise Krasnosel'skii type fixed point theorem in product spaces and applications [PDF] [Copy] [Kimi] [REL]

Authors: Laura M Fernández-Pardo, Jorge Rodríguez-López

We present a version of Krasnosel'skii fixed point theorem for operators acting on Cartesian products of normed linear spaces, under cone-compression and cone-expansion conditions of norm type. Our approach, based on the fixed point index theory in cones, guarantees the existence of a coexistence fixed point - that is, one with nontrivial components. As an application, we prove the existence of periodic solutions with strictly positive components for a system of second-order differential equations. In particular, we address cases involving singular nonlinearities and hybrid terms, characterized by sublinear behavior in one component and superlinear behavior in the other.

Subjects: Functional Analysis , Classical Analysis and ODEs

Publish: 2025-04-03 17:14:48 UTC


#13 The locus of Riemann surfaces of genus 2(p1) with 4p automorphisms [PDF] [Copy] [Kimi] [REL]

Authors: Angel Carocca, Sebastián Reyes-Carocca

Let p5 be a prime number. In this article we provide a complete and explicit description of the locus formed by the compact Riemann surfaces of genus 2(p1) that are endowed with a group of automorphisms of order 4p. In addition, we provide isogeny decompositions of the corresponding Jacobian varieties and study if the most symmetric ones admit complex and real multiplication.

Subject: Algebraic Geometry

Publish: 2025-04-03 17:07:59 UTC


#14 A Geometric Framework for Stochastic Iterations [PDF] [Copy] [Kimi] [REL]

Authors: Patrick L. Combettes, Javier I. Madariaga

This paper concerns models and convergence principles for dealing with stochasticity in a wide range of algorithms arising in nonlinear analysis and optimization in Hilbert spaces. It proposes a flexible geometric framework within which existing solution methods can be recast and improved, and new ones can be designed. Almost sure weak, strong, and linear convergence results are established in particular for fixed point and feasibility problems. In these areas, the proposed algorithms exceed the features of the state of the art in several respects. Numerical applications to signal and image recovery are provided.

Subjects: Optimization and Control , Probability

Publish: 2025-04-03 16:57:22 UTC


#15 Topological groupoids with involution and real algebraic stacks [PDF] [Copy] [Kimi] [REL]

Authors: Emiliano Ambrosi, Olivier de Gaay Fortman

To a topological groupoid endowed with an involution, we associate a topological groupoid of fixed points, generalizing the fixed-point subspace of a topological space with involution. We prove that when the topological groupoid with involution arises from a Deligne-Mumford stack over R, this fixed locus coincides with the real locus of the stack. This provides a topological framework to study real algebraic stacks, and in particular real moduli spaces. Finally, we propose a Smith-Thom type conjecture in this setting, generalizing the Smith-Thom inequality for topological spaces endowed with an involution.

Subjects: Algebraic Geometry , Algebraic Topology , General Topology

Publish: 2025-04-03 16:54:46 UTC


#16 The Ordering Principle and Dependent Choice [PDF] [Copy] [Kimi] [REL]

Authors: Peter Holy, Jonathan Schilhan

We introduce finite support iterations of symmetric systems, and use them to provide a strongly modernized proof of David Pincus' classical result that the axiom of dependent choice is independent over ZF with the ordering principle together with a failure of the axiom of choice.

Subject: Logic

Publish: 2025-04-03 16:31:05 UTC


#17 A Complete Classification of Fourier Summation Formulas on the real line [PDF] [Copy] [Kimi] [REL]

Authors: Felipe Gonçalves, Guilherme Vedana

We completely classify Fourier summation formulas of the form Rˆφ(t)dμ(t)=n=0a(λn)φ(λn), that hold for any test function φ, where ˆφ is the Fourier transform of φ, μ is a fixed complex measure on R and a:{λn}n0C is a fixed function. We only assume the decay condition Rd|μ|(t)(1+t2)c1+n0|a(λn)|ec2|λn|<, for some c1,c2>0. This completes the work initiated by the first author previously, where the condition c11 was required. We prove that any such pair (μ,a) can be uniquely associated with a holomorphic map F(z) in the upper-half space that is both almost periodic and belongs to a certain higher index Nevanlinna class. The converse is also true: For any such function F it is possible to generate a Fourier summation pair (μ,a). We provide important examples of such summation formulas not contemplated by the previous results, such as Selberg's trace formula.

Subjects: Classical Analysis and ODEs , Metric Geometry , Number Theory

Publish: 2025-04-03 16:28:18 UTC


#18 On deformations of Azumaya algebras with quadratic pair [PDF] [Copy] [Kimi] [REL]

Authors: Eoin Mackall, Cameron Ruether

We construct a tangent-obstruction theory for Azumaya algebras equipped with a quadratic pair. Under the assumption that either 2 is a global unit or the algebra is of degree 2, we show how the deformation theory of these objects reduces to the deformation theory of the underlying Azumaya algebra. Namely, if the underlying Azumaya algebra has unobstructed deformations then so does the quadratic pair. On the other hand, in the purely characteristic 2 setting, we construct an Azumaya algebra with unobstructed deformations which can be equipped with a quadratic pair such that the associated triple has obstructed deformations. Our example is a biquaternion Azumaya algebra on an Igusa surface. Independently from the above results, we also introduce a new obstruction for quadratic pairs, existing only in characteristic 2, which is intermediate to both the strong and weak obstructions that were recently introduced by Gille, Neher, and the second named author. This intermediate obstruction characterizes when a canonical extension of the Lie algebra sheaf of the automorphism group scheme of some quadratic triple is split.

Subjects: Algebraic Geometry , Rings and Algebras

Publish: 2025-04-03 16:11:25 UTC


#19 Phase transitions for interacting particle systems on random graphs [PDF] [Copy] [Kimi] [REL]

Authors: Benedetta Bertoli, Grigorios A. Pavliotis, Niccolò Zagli

In this paper, we study weakly interacting diffusion processes on random graphs. Our main focus is on the properties of the mean-field limit and, in particular, on the nonuniqueness of stationary states. By extending classical bifurcation analysis to include multichromatic interaction potentials and random graph structures, we explicitly identify bifurcation points and relate them to the eigenvalues of the graphon integral operator. Furthermore, we characterize the resulting McKean-Vlasov PDE as a gradient flow with respect to a suitable metric. We combine these theoretical results with the spectral analysis of the linearized McKean-Vlasov operator and extensive numerical simulations to gain insight into the stability and long-term behaviour of stationary solutions. In addition, we provide strong evidence that (minus) the interaction energy of the interacting particle system serves as a natural order parameter. In particular, beyond the transition point and for multichromatic interactions, we observe an energy cascade that is strongly linked to the dynamical metastability of the system.

Subjects: Dynamical Systems , Mathematical Physics , Numerical Analysis , Probability

Publish: 2025-04-03 16:04:23 UTC


#20 On the topology of real algebraic stacks [PDF] [Copy] [Kimi] [REL]

Authors: Emiliano Ambrosi, Olivier de Gaay Fortman

Motivated by questions arising in the theory of moduli spaces in real algebraic geometry, we develop a range of methods to study the topology of the real locus of a Deligne-Mumford stack over the real numbers. As an application, we verify in several cases the Smith-Thom type inequality for stacks that we conjectured in an earlier work. This requires combining techniques from group theory, algebraic geometry, and topology.

Subjects: Algebraic Geometry , Algebraic Topology , General Topology

Publish: 2025-04-03 16:03:13 UTC


#21 A simple description of blow-up solutions through dynamics at infinity in nonautonomous ODEs [PDF] [Copy] [Kimi] [REL]

Author: Kaname Matsue

A simple criterion of the existence of (type-I) blow-up solutions for nonautonomous ODEs is provided. In a previous study [Matsue, SIADS, 24(2025), 415-456], geometric criteria for characterizing blow-up solutions for nonautonomous ODEs are provided by means of dynamics at infinity. The basic idea towards the present aim is to correspond such criteria to leading-term equations associated with blow-up ansatz characterizing multiple-order asymptotic expansions, which originated from the corresponding study developed in the framework of autonomous ODEs. Restricting our attention to constant coefficients of leading terms of blow-ups, results involving the simple criterion of blow-up characterizations in autonomous ODEs can be mimicked to nonautonomous ODEs.

Subjects: Dynamical Systems , Classical Analysis and ODEs

Publish: 2025-04-03 16:02:39 UTC


#22 Clustering in a preferential attachment network with triangles [PDF] [Copy] [Kimi] [REL]

Authors: Angelica Pachon, Robin Stephenson

We study a generalization of the affine preferential attachment model where triangles are randomly added to the graph. We show that the model exhibits an asymptotically power-law degree distribution with adjustable parameter γ(1,), and positive clustering. However, the clustering behaviour depends on how it is measured. With high probability, the average local clustering coefficient remains positive, independently of γ, whereas the expectation of the global clustering coefficient does not vanish only when γ>3.

Subject: Probability

Publish: 2025-04-03 16:02:27 UTC


#23 Inner-layer asymptotics in partially perforated domains: coupling across flat and oscillating interfaces [PDF] [Copy] [Kimi] [REL]

Author: Taras Mel'nyk

The article examines a boundary-value problem in a domain consisting of perforated and imperforate regions, with Neumann conditions prescribed at the boundaries of the perforations. Assuming the porous medium has symmetric, periodic structure with a small period ε, we analyse the limit behavior of the problem as ε0. A crucial aspect of this study is deriving correct coupling conditions at the common interface, which is achieved using inner-layer asymptotics. For the flat interface, we construct and justify a complete asymptotic expansion of the solution in the H1-Sobolev space. Furthermore, for the ε-periodically oscillating interface of amplitude O(ε), we provide an approximation to the solution and establish the corresponding asymptotic estimates in H1-Sobolev spaces.

Subject: Analysis of PDEs

Publish: 2025-04-03 15:59:45 UTC


#24 Equality of tropical rank and dimension for tropical linear series [PDF] [Copy] [Kimi] [REL]

Authors: Omid Amini, Stéphane Gaubert, Lucas Gierczak

The tropical rank of a semimodule of rational functions on a metric graph mirrors the concept of rank in linear algebra. Defined in terms of the maximal number of tropically independent elements within the semimodule, this quantity has remained elusive due to the challenges of computing it in practice. In this note, we establish that the tropical rank is, in fact, precisely equal to the topological dimension of the semimodule, one more than the dimension of the associated linear system of divisors. Moreover, we show that the equality of divisorial and tropical ranks in the definition of tropical linear series is equivalent to the pure dimensionality of the corresponding linear system. We conclude with complementary results and questions on combinatorial and topological properties of the tropical rank.

Subjects: Algebraic Geometry , Combinatorics

Publish: 2025-04-03 15:54:55 UTC


#25 TeleMoM: Consensus-Driven Telecom Intelligence via Mixture of Models [PDF] [Copy] [Kimi] [REL]

Authors: Xinquan Wang, Fenghao Zhu, Chongwen Huang, Zhaohui Yang, Zhaoyang Zhang, Sami Muhaidat, Chau Yuen, Mérouane Debbah

Large language models (LLMs) face significant challenges in specialized domains like telecommunication (Telecom) due to technical complexity, specialized terminology, and rapidly evolving knowledge. Traditional methods, such as scaling model parameters or retraining on domain-specific corpora, are computationally expensive and yield diminishing returns, while existing approaches like retrieval-augmented generation, mixture of experts, and fine-tuning struggle with accuracy, efficiency, and coordination. To address this issue, we propose Telecom mixture of models (TeleMoM), a consensus-driven ensemble framework that integrates multiple LLMs for enhanced decision-making in Telecom. TeleMoM employs a two-stage process: proponent models generate justified responses, and an adjudicator finalizes decisions, supported by a quality-checking mechanism. This approach leverages strengths of diverse models to improve accuracy, reduce biases, and handle domain-specific complexities effectively. Evaluation results demonstrate that TeleMoM achieves a 9.7\% increase in answer accuracy, highlighting its effectiveness in Telecom applications.

Subjects: Information Theory , Signal Processing

Publish: 2025-04-03 15:52:20 UTC