2025-04-04 | | Total: 179
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.
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.
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.
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.
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, m≤n2(r−1)2r. In this paper, we generalize this result as follows: For each v∈V(G), let c(v) be the order of the largest clique that contains v. We show that m≤n2∑v∈V(G)c(v)−1c(v) Furthermore, we characterize the class of extremal graphs that attain equality in this bound.
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+1n−1.
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.
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.
For q≥2, n∈N, 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πiℓsq(n)/b)}n∈N and provide an explicit exponent in the upper bound.
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 u≠u∗ 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.
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.
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.
Let p⩾5 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(p−1) 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.
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.
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.
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.
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}n≥0→C is a fixed function. We only assume the decay condition ∫Rd|μ|(t)(1+t2)c1+∑n≥0|a(λn)|e−c2|λn|<∞, for some c1,c2>0. This completes the work initiated by the first author previously, where the condition c1≤1 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.
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.
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.
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.
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.
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.
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.
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.
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.