2025-12-05 | | Total: 211
In the present paper, we study the outer automorphism groups of the absolute Galois groups of 2-adic local fields from the point of view of anabelian geometry. Let us recall that it is well-known that the natural homomorphism from the automorphism group of a mixed-characteristic local field to the outer automorphism group of the absolute Galois group of the given mixed-characteristic local field is injective. Moreover, Hoshi and the author of the present paper proved that, for absolutely abelian mixed-characteristic local fields with odd residue characteristic $p$ and even extension degree over ${\mathbb Q}_p$, this subgroup arising from field automorphisms is not normal in the outer automorphism group and has infinitely many distinct conjugates. As a result in this direction, one of the main results of the present paper is the assertion that if a 2-adic local field satisfies certain conditions, then the set of conjugates of the subgroup arising from field automorhisms in the outer automorphism group is infinite, which thus implies that this subgroup is not normal in the outer automorphism group. On the other hand, for an odd prime number $p$, Hoshi proved the existence of an irreducible Hodge-Tate $p$-adic representation of dimension two of the absolute Galois group of a $p$-adic local field and an automorphism of the absolute Galois group such that the $p$-adic Galois representation obtained by pulling back the given $p$-adic Galois representation by the given automorphism is not Hodge-Tate. As a result in a direction that is different from the above direction, another main result of the present paper is the existence of a pair of a representation and an automorphism that is similar to the above pair in the case where $p=2$.
In this note, we show the following feature of the relation between Brownian loop-soups on cable-graphs and their total occupation time-field $Λ$: When conditioned on $Λ$, the conditional law of individual loops becomes singular with respect to that of unconditioned loops. The idea of the proof is to see that some type of fast points on the curve $Λ$ impose an exceptional behaviour of all the loops when they go through these points.
This paper investigates the impact of the recently proposed concept of fluid reconfigurable intelligent surfaces (FRIS) on covert communications. Specifically, we consider a communication scenario where a legitimate transmitter aims to covertly deliver information to its intended receiver through a planar FRIS, while an adversary attempts to detect whether any transmission is occurring. In this context, we analyze the false alarm (FA) and missed detection (MD) probabilities, and derive a closed-form expression for the covertness outage probability (COP). Furthermore, the success probability is characterized under the optimal detection threshold, providing new insights into the trade-off between covertness and reliable transmission. Numerical results reveal that FRIS provides a clear advantage over fixed-position RIS at low-to-moderate transmit powers by improving reliability and enhancing covertness, while at very high power levels, fixed-position RIS may sustain slightly higher success probability due to reduced leakage toward the adversary.
It was shown by Angenent, Altschuler and Giga, and by Angenent and Velazquez that there exist closed mean curvature flow solutions that extinct to a point in finite time, without ever becoming convex prior to their extinction. These solutions develop a degenerate neckpinch singularity, meaning that the tangent flow at a singularity is a round cylinder, but at the same time for each of these solutions there exists a sequence of points in space and time, so that the pointed blow up limit around this sequence is the Bowl soliton. These solutions are called peanut solutions and they were first conjectured to exist by Richard Hamilton, while the existence of those solutions was shown by Angenent, Altschuler and Giga. In this paper we show that this type of solutions are highly unstable, in the sense that in every small neighborhood of any such peanut solution we can find a perturbation so that the mean curvature flow starting at that perturbation develops spherical singularity, and at the same time we can find a perturbation so that the mean curvature flow starting at that perturbation develops a nondegenerate neckpinch singularity. We also show that appropriately rescaled subsequence of any sequence of solutions whose initial data converge to the peanut solution, and all of which develop spherical singularities, converges to the Ancient oval solution.
We show that the separating systole of high genus triangulations is of logarithmic order (in the size of the triangulation). Our methods also allow us to show an enumerative result, i.e. the convergence of the "genus ratio" for high genus triangulations. This complements the convergence of the "size ratio" that was proven in previous work with Budzinski.
We construct canonical semi-orthogonal decompositions for derived categories of smooth projective surfaces. These decompositions are compatible with the operations in the minimal model program, such as blow-ups and conic bundles. Therefore our construction confirms a conjecture of Kontsevich in dimension two. We work in the G-equivariant setting and over an arbitrary perfect field, and canonical decompositions are consistent with group change and algebraic field extensions. Our method is based on the G-minimal model program for surfaces and on the Sarkisov link factorisation of birational maps between Mori fibre spaces. We characterise rationality of surfaces, and in certain cases, birationality between surfaces in terms of the pieces of these decompositions, which we call atoms.
The aim of this paper is to extend the Nehari manifold method from the variational setting to the nonvariational framework of fixed point equations. This is achieved by constructing a radial energy functional that generalizes the standard one from the variational case. Furthermore, the solutions obtained through our method are localized in conical annular sets, which leads to the existence of multiple solutions. The abstract results are illustrated by two representative applications.
This paper develops a fixed point version of the well-known Nehari manifold method from critical point theory. The main result is formulated for systems of operator equations, relying on the fixed point theorems of Schauder and Schaefer. The framework also allows for potential extensions combining our Nehari type approach with other fixed point principles. To demonstrate the applicability of the method, an example involving a system of nonlinear integral equations is provided.
In this note we will illustrate a method for computing the $π_0$ of the effective log motive of a smooth and proper variety over a perfect field $k$ and show that it is $\A^1$-invariant. We will apply this to compute the first homotopy groups of $¶^1$ to show that the stripping functor from log motivic sheaves to (usual) Nisnevich sheaves with transfers is fully faithful.
This book introduces the new research area of Geometric Data Science, where data can represent any real objects through geometric measurements. The first part of the book focuses on finite point sets. The most important result is a complete and continuous classification of all finite clouds of unordered points under rigid motion in any Euclidean space. The key challenge was to avoid the exponential complexity arising from permutations of the given unordered points. For a fixed dimension of the ambient Euclidean space, the times of all algorithms for the resulting invariants and distance metrics depend polynomially on the number of points. The second part of the book advances a similar classification in the much more difficult case of periodic point sets, which model all periodic crystals at the atomic scale. The most significant result is the hierarchy of invariants from the ultra-fast to complete ones. The key challenge was to resolve the discontinuity of crystal representations that break down under almost any noise. Experimental validation on all major materials databases confirmed the Crystal Isometry Principle: any real periodic crystal has a unique location in a common moduli space of all periodic structures under rigid motion. The resulting moduli space contains all known and not yet discovered periodic crystals and hence continuously extends Mendeleev's table to the full crystal universe.
The article presents a method of cluster expansions for groups of operators associated with the von Neumann equations for states and the Heisenberg equations for observables, aiming to construct generating operators for nonperturbative solutions to the Cauchy problem for hierarchies of evolution equations of many-particle quantum systems.
We consider the product of i.i.d. random matrices sampled according to a probability measure $μ$ supported on a strongly irreducible and proximal subset of a compact set $S\subset GL(d,\mathbb{R})$. We establish the local analyticity of the Lyapunov moment function and the unique stationary measure on the projective space with respect to $μ$ in the total variation topology. As a consequence, we obtain the analyticity of the asymptotic variance and all higher-order Lyapunov moments.
This work investigates the Frobenius morphism on derived categories associated with algebraic stacks in positive characteristic. Particularly, we show that in many cases sufficiently many Frobenius pushforwards of a compact generator produce a classical or strong generator for the bounded derived category of coherent sheaves. In the case of Deligne--Mumford stacks, we can bound the number of iterates required.
We provide a complete, explicit description of the inertial Weil-Deligne types arising from elliptic curves over $\mathbb{Q}_{p^{2}}$ for p prime
Considering the earth or any other celestial body the main sources of the gravitational as well as of the magnetic field lie inside the body. Above the surface both fields are in good approximation harmonic vector fields determined by their values at the body's surface or any other surface enclosing the body. The intensity problem seeks to determine harmonic vector fields vanishing at infinity and with prescribed intensity of the field at the surface. This problem constitutes a nonlinear boundary value problem, whose general solvability is not yet established. In this paper {\em axisymmetric} harmonic fields ${\bf H}$ outside the unit sphere $S^2$ are studied and, given an axisymmetric Hölder continuous intensity function $I\neq 0$ on $S^2$, the existence of infinitely many solutions of the intensity problem is proved. These solutions can more precisely be characterized as follows: fix a number $\de \in \nat\setminus \{1 \}$ and a meridional plane $M$ through the symmetry axis $S\!A$, and in $M$ a unit circle $S^1$ (symmetric with respect to $S\!A$) and, furthermore, $2\, N$, $N \in \nat_0$, points $z_n \in M$ (symmetric with respect to $S\!A$, avoiding $S\!A$, and outside $S^1$), then the existence of an (up to a sign) unique harmonic field ${\bf H}$ is established that vanishes at (the axisymmetric circles piercing $M$ at) $z_n$ and nowhere else, that has intensity $I$ at $S^2$ and (exact) decay order $\de$ at infinity. The proof is based on the solution of a nonlinear elliptic equation with discontinuous coefficients, which are, moreover, singular at the symmetry axis. Its combination with fixed boundary conditions was the basis of a recent treatment of the ``geomagnetic direction problem'' \cite{KR22}. Here we have instead natural boundary conditions, which provide less information, and which require, therefore, in part new solution techniques and sharper estimates.
This paper discusses what the dimension data of irreducible representations of a finite group looks like in some specific cases, including unipotent and reductive groups over finite fields. The essence of our investigation is whether the dimension data of irreducible representations of a finite group can be ``geometerized'', to become equal to the cardinality of certain orbit spaces. The first part of this paper deals with nilpotent and reductive groups over finite fields, whereas the second part deals with the symmetric group $S_n$. The main conclusion that we want to bring out to contrast these two cases is that for reductive groups over finite fields, the dimension data is concentrated (in a statistical sense) in a neighborhood of the maximal dimension, whereas for the symmetric group, it is spread out.
The legendary Mario and Luigi show us that whether you slap in the crossings as early as a warp pipe can shoot you or as late as the very last bend, the water system in Yoshi Hill comes out exactly the same!
This is the first article in a series that aims at classifying partial sections of flows, that is a general family of transverse surfaces. In this part, we deal with the dynamical aspect of the question. Given a flow on a compact manifold $M$ and a cohomology class $α$ of rank 1, we give a criterion for the existence of an $α$-equivariant Lyapunov map on an Abelian covering of $M$ associated to $α$. One important aspect of the existence of such Lyapunov maps, and of the classification of partial sections, is a type of recurrence set relative to $α$. We describe how that set depends on $α$.
The chromatic threshold $δ_χ(H)$ of a graph $H$ is the infimum of $d>0$ such that the chromatic number of every $n$-vertex $H$-free graph with minimum degree at least $dn$ is bounded in terms of $H$ and $d$. A breakthrough result of Allen, Böttcher, Griffiths, Kohayakawa, and Morris determined $δ_χ(H)$ for every graph $H$; in particular, if $χ(H)=r\ge 3$, then $δ_χ(H) \in\{\frac{r-3}{r-2},~\frac{2 r-5}{2 r-3},~\frac{r-2}{r-1}\}$. In this paper we investigate the trade-off between minimum degree and edge density in the critical window around the chromatic threshold. For a fixed graph $H$ with $χ(H)=r$, allowing a constant deficit below $δ_χ(H)$, we prove sharp (up to lower-order terms) upper bounds on the edge density of $n$-vertex $H$-free graphs whose chromatic number diverges. Equivalently, within this degree regime we show that a suitable global bound on the number of edges forces the chromatic number to remain bounded. Our results thus quantify how global edge density can compensate for a deficit in the local minimum-degree condition near $δ_χ(H)$; more specifically, we obtain explicit bounds in two of the three possible cases arising in the trichotomy of $δ_χ(H)$. Our extremal constructions -- based on Erdős graphs and blowups of Borsuk--Hajnal graphs -- show that these bounds are best possible up to $o(n^2)$ terms.
Continuous-time algebraic Lyapunov equations have become an essential tool in various applications. In the case of large-scale sparse coefficient matrices and indefinite constant terms, indefinite low-rank factorizations have successfully been used to allow methods like the alternating direction implicit (ADI) iteration to efficiently compute accurate approximations to the solution of the Lyapunov equation. However, classical block-type approaches quickly increase in computational costs when the rank of the constant term grows. In this paper, we propose a novel tangential reformulation of the ADI iteration that allows for the efficient construction of low-rank approximations to the solution of Lyapunov equations with indefinite right-hand sides even in the case of constant terms with higher ranks. We provide adaptive methods for the selection of the corresponding ADI parameters, namely shifts and tangential directions, which allow for the automatic application of the method to any relevant problem setting. The effectiveness of the developed algorithms is illustrated by several numerical examples.
We consider a poroelastic medium with a thin heterogeneity, also referred to as a fracture. Fluid flow and mechanical deformation inside both bulk and fracture are governed by the quasi-static Biot equations. The fracture's material parameters, such as hydraulic conductivity and elasticity, are assumed to scale with powers of the width-to-length ratio $\varepsilon$ of the fracture. Based on a priori estimates, we rigorously derive limit models as $\varepsilon \rightarrow 0$ and identify different limit regimes. We obtain five regimes for the hydraulic conductivity and two for the elasticity. While many cases yield discrete fracture models, others result in two-scale limit problems dominated by normal flow or deformation.
We establish a formula for the spectral flow of a smooth family of twisted Dirac operators on a closed odd-dimensional Riemannian spin manifold, generalizing a result by Getzler. The spectral flow is expressed in terms of the $\hat{A}$-form of the manifold, the odd Chern character form of the family of connections, and the $ξ$-invariants of the initial and final operators. Our proof is based on a reduction to the Atiyah-Patodi-Singer index theorem for manifolds with boundary, which provides a conceptually very simple approach to the problem. As an application, we give a proof of Llarull's rigidity theorem for scalar curvature of strictly convex hypersurfaces in Euclidean space which works the same in even and odd dimensions.
Accurate channel state information (CSI) underpins reliable and efficient wireless communication. However, acquiring CSI via pilot estimation incurs substantial overhead, especially in massive multiple-input multiple-output (MIMO) systems operating in high-Doppler environments. By leveraging the growing availability of environmental sensing data, this treatise investigates pilot-free channel inference that estimates complete CSI directly from multimodal observations, including camera images, LiDAR point clouds, and GPS coordinates. In contrast to prior studies that rely on predefined channel models, we develop a data-driven framework that formulates the sensing-to-channel mapping as a cross-modal flow matching problem. The framework fuses multimodal features into a latent distribution within the channel domain, and learns a velocity field that continuously transforms the latent distribution toward the channel distribution. To make this formulation tractable and efficient, we reformulate the problem as an equivalent conditional flow matching objective and incorporate a modality alignment loss, while adopting low-latency inference mechanisms to enable real-time CSI estimation. In experiments, we build a procedural data generator based on Sionna and Blender to support realistic modeling of sensing scenes and wireless propagation. System-level evaluations demonstrate significant improvements over pilot- and sensing-based benchmarks in both channel estimation accuracy and spectral efficiency for the downstream beamforming task.
In this paper, we study a new class of fully nonlinear uniformly elliptic equations with a so-called harmonic map-like structure, whose model case is given by \begin{equation*} \mathcal{M}^{\pm}_{λ,Λ}(D^2u) \pm b(x) |Du| \pm β(u)\langle M(x) Du,Du \rangle \pm c(x) u = f(x)\; \textrm{ in } Ω, \end{equation*} where $Ω\subset \mathbb{R}^n$ is a bounded $C^{1,1}$ domain, $\mathcal{M}^{\pm}$ are the Pucci extremal operators, $β(s) = s^k$ for some $k \in \mathbb{N} $ odd, $b \in L^{q}_{+}(Ω)$, $c,f \in L^p(Ω)$, and $n \leq p \leq q$, $q>n$. We obtain existence results under a smallness regime on the coefficients, along with some classical results such as the Aleksandrov--Bakelman--Pucci estimate and the comparison principle, as well as a priori bounds for the respective Dirichlet problem in the noncoercive case. We also establish multiplicity results and qualitative behavior, which seem to be new in the case of the Laplacian operator.
Maximal leakage quantifies the leakage of information from data $X \in \mathcal{X}$ due to an observation $Y$. While fundamental properties of maximal leakage, such as data processing, sub-additivity, and its connection to mutual information, are well-established, its behavior over Bayesian networks is not well-understood and existing bounds are primarily limited to binary $\mathcal{X}$. In this paper, we investigate the behavior of maximal leakage over Bayesian networks with finite alphabets. Our bounds on maximal leakage are established by utilizing coupling-based characterizations which exist for channels satisfying certain conditions. Furthermore, we provide more general conditions under which such coupling characterizations hold for $|\mathcal{X}| = 4$. In the course of our analysis, we also present a new simultaneous coupling result on maximal leakage exponents. Finally, we illustrate the effectiveness of the proposed bounds with some examples.