This work concerns regularity properties of weak solutions to elliptic equations in divergence form -div(a$\nabla$u) = div F , under low regularity assumptions on both the coefficient a and the source term F . We introduce generalized Morrey and Campanato spaces extending the classical definitions by replacing uniform boundedness requirements with suitable integrability conditions. Within this framework, we establish regularity estimates for the gradient of weak solutions in these generalized spaces. As applications, we recover classical H{ö}lder and Lebesgue estimates and derive fractional Sobolev regularity results. In particular, the proposed approach yields fractional Sobolev estimates in situations where the coefficient may be discontinuous and the gradient of the solution is not expected to be locally bounded.

We propose a conservative adaptive rank method for the 1D1V Wigner-Poisson system. The method targets a central challenge in deterministic quantum kinetic simulations: reducing the cost of phase-space evolution while preserving the macroscopic invariants needed for physical fidelity. The scheme combines a sampling-based adaptive rank Wigner-Poisson update [7] with a conservative macroscopic correction. A conservative density-momentum solve provides local macroscopic updates, a Fermi-Dirac-type reconstruction transfers them to the kinetic solution, and a global quadratic moment correction enforces the discrete total energy constraint at the kinetic level. Unlike Maxwell-Boltzmann-type corrections commonly used in classical kinetic settings, the reconstruction uses a Fermi-Dirac-type form motivated by the model's quantum-statistical structure. The corrected state is incorporated into an ACA SVD representation, allowing the numerical rank to adapt to the phase-space complexity generated by the nonlocal Wigner operator and self-consistent Poisson field. Numerical experiments for the two-stream instability, strong Landau damping, and bump-on tail instability show that the method captures benchmark Wigner-Poisson dynamics for several values of the quantum parameter H, maintains bounded adaptive ranks, and preserves the specified global discrete invariants with conservation errors near machine precision. We also compare this formulation, which uses local density-momentum correction plus global total energy correction, with a related globally conservative formulation for mass, momentum, and energy [8]. The two approaches produce nearly identical phase-space and diagnostic results for the periodic benchmark test considered here, indicating that both correction strategies are compatible with adaptive rank compression for Wigner-Poisson dynamics in the tested 1D1V periodic setting.

Expanding products of modal logics are bimodal logics obtained from the combination of a `horizontal component' logic and a `vertical component' logic, lying between the fusion and the Cartesian product of the two logics. Gabelaia et al. showed that expanding products are often decidable when the first component is Noetherian, although their methods are semantical and do not yield complete axiomatisations. They do, however, propose a candidate, dubbed the expanding commutator of the two logics and known to be complete in many `non-Noetherian' cases. In this paper, we consider various expanding products of modal logics whose vertical component is $\sf GL$. We show that the standard axiomatisation is complete when the horizontal component is either $ {\sf K4}$ or $ {\sf GL} $, but incomplete when it is ${\sf Grz}$ or any logic between ${\sf K4.3}$ and ${\sf Grz.3}$, thus yielding a partial solution to a question posed by Gabelaia et al. more than two decades ago.

Inspired by the model theory of difference fields in characteristic zero, a class of automorphisms of an algebraic variety, here called compound fundamental isotrivial, is introduced. These are algebraic dynamical systems that are built up via a finite sequence of equivariant fibrations from (possibly nonautonomous) algebraic dynamics which trivialise after base extension over themselves. Every wild automorphism of an abelian variety is compound fundamental isotrivial. Conversely, it is shown that the only irreducible projective varieties admitting a wild automorphism that is compound fundamental isotrivial are the abelian varieties. That is, the wild automorphism conjecture of Reichstein, Rogalski, and Zhang is here proven for compound fundamental isotrivial dynamics. Along the way, a counterexample to the naive generalisation of the conjecture to the nonautonomous setting of $σ$-varieties is provided.

We characterize the pointwise notion of almost equicontinuity for families of real-valued measurable functions on subsets of $\mathbb R^n$ of finite measure. The characterization is given by means of an integral truncated translation condition. We also provide examples showing that the finite measure assumption and the truncation are essential.

In this paper, we study a class of quasilinear elliptic problems involving the $(1,q)-$Laplacian operator and a discontinuous superlinear nonlinearity governed by the Heaviside function. The main difficulty of the problem arises from the presence of the $1$-Laplacian operator, whose natural setting is the Space of Functions of Bounded Variation. Our approach is based on an approximation method involving $(p,q)-$Laplacian problems as $p\to1^+$. As a consequence, we prove the existence of a nontrivial and nonnegative solution belonging to $W^{1,p}_0(Ω)$, in an appropriate weak sense. Moreover, we investigate the asymptotic behavior of the solutions as $β\to0^+$, showing that the family of solutions converges to a solution of the limit problem without discontinuity.

Let $G = \mathbf{GL}_d(\mathbb{F})$ be the general linear group over a field of cardinal $q$, and let $\mathbb{k}$ be a field of positive characteristic which does not divide $q(q-1)$. Building on the works of Cline, Parshall, and Scott, we show how to compute Ext-groups between $\mathbb{k}G$-modules using the quantum Schur algebra. The main novelty is our ability to compute these Ext-groups in higher degree than what was done before. More precisely, let $\ell$ be the order of $q$ in $\mathbb{k}$. In previous work, this method enabled the computation of the cohomology groups $H^*(\mathbf{GL}_d,M)$ in degree $*\leq \ell-1$. We show that for a lot of modules $M$, we can compute these cohomology groups in higher degree, with an example where we can compute until degree $3(\ell-1)$. We also show some new result on Ext-groups between modules over the quantum Schur algebra along the way.

In this paper, we establish local existence of strong solutions for the three-dimensional inhomogeneous incompressible Navier-Stokes equations with initial data $(ρ_0,u_0)$ lying in $C^1 \times (L^2 \cap VMO^{-1})$, where $ρ_0$ has a positive lower bound. Furthermore, if $ρ_0 \in C^2$ and $||ρ_0-1||_{L^\infty}+||u_0||_{BMO^{-1}}$ is sufficiently small, we prove global existence of the solution. To achieve this, we employ an estimate for the transport equation to obtain regularity for the density and apply a new freezing-coefficient method for the momentum equation.

For a complex single variable polynomial $f$ of degree $d$, let $K$ be its filled Julia set, i.e., the union of all bounded orbits. Assume that $K$ has an invariant component $K^*$ on which $f$ acts as a degree $d_*<d$ map. This is a simplest instance of holomorphic polynomial-like renormalization (Douady-Hubbard). One can associate a certain Cantor-like subset $G'$ of the circle with $K^*$; it is defined as the set of arguments of all smooth or broken rays to $K^*$. We will describe a role the Hausdorff dimension of $G'$ and the respective Hausdorff measure play in geometry of $K^*$. In particular, we give upper and lower bounds on the modulus of renormalization in terms of the Hausdorff measure of $K^*$.

We study properties of graphs (or rather graph sequences) saying that some restricted count of subgraphs is approximatively what is expected in a random graph. It has been shown by several authors that many such properties characterize quasi-random graphs, but there are also some exceptions. We continue here the line of investigation in Janson and Sós (2013), and introduce some new versions of these properties, in order to better understand why many of these properties are quasi-random, and to understand the structure of the exceptions that are not. A new feature in the proofs is a simple decomposition of the subspace of symmetric functions in $L^2([0,1]^m)$ into subspaces that are irreducible for the action of measure-preserving transformations of $[0,1]$; this simplifies some arguments and gives structure to others.

A symmetric function is called Schur-positive if it admits an expansion in the Schur basis with nonnegative coefficients. In this paper, we study the Schur positivity of symmetric functions naturally associated with set partitions, with respect to two different notions of descent. In the first case, the Schur expansion involves hook-shaped Young diagrams, and the corresponding coefficients are given by Touchard-Riordan polynomials, which enumerate matchings by their number of crossings. In the second case, the Schur functions correspond to two-rows Young diagrams, and the coefficients are partial sums of associated Bell numbers. A key ingredient of our approach in the second case is the notion of a removable singleton, defined algebraically and shown to admit an equivalent combinatorial interpretation via jeu-de-taquin rectification of skew tableaux. As an application, we establish Schur positivity for various classes of symmetric functions indexed by non-crossing partitions and partitions with a given number of parts. We provide an explicit combinatorial description of the tableaux that contribute to the Schur expansion, and we connects the obtained coefficients to some known integer sequences.

We observe that the canonical map \(KK(A, \prod_{n \in \mathbb{N}} B_n) \to \prod_{n \in \mathbb{N}} KK(A,B_n)\) is an isomorphism of abelian groups whenever \(A\) enjoys the Universal Coefficient Theorem and \(B_n\) are unital, simple and purely infinite C*-algebras. This clarifies an aspect of previous work of Dadarlat--Eilers and Tikuisis--White--Winter.

This paper aims to explore the formation mechanism of probability distribution in situations where the differences among random experiments are distinguishable, and these differences continue to evolve along with the dynamic changes in conditions and their mechanisms of action. To this end, we are motivated to devise a new theoretical system -- theory of uncertain probability (TUP) with Kolmogorov's system and nonlinear theories as special cases. TUP develops a novel model that integrates probability and uncertainty as well as the known and unknown to more accurately depict numerous typical random phenomena under more realistic assumptions, and thus provides appropriate tools for greater variety of real needs. It also allows for pioneering interpretation of the causal mechanisms underlying many important distributional characteristics and incorporation of pathwise property to distribution model.

For a regular semisimple Higgs bundle with a smooth spectral curve, we prove that, over the \etale\ locus, the Atiyah class of the underlying bundle is induced by the Atiyah class of the spectral line bundle and takes values in the centralizer of the Higgs field. Further, when the discriminant is reduced, we construct a logarithmic refinement across the branch divisor: the Atiyah class extends as a class with logarithmic poles and values in a natural regularized centralizer sheaf.

Let $f$ be a transcendental entire function, $V$ be a simply connected Fatou component of $f,$ and $U$ be a Fatou component with $f(U)\subset V.$ There is a natural way to associate $f|_U$ to an inner function, namely a function $g_f:=ψ^{-1}\circ f\circφ,$ where $φ:\mathbb{D}\to U$ and $ψ:\mathbb{D}\to V$ are Riemann maps. Inner functions have been used as a tool in the study of the iterates of transcendental entire, and more recently meromorphic, functions. However, there are only a few examples where associated inner functions have been calculated explicitly, with the case where $f$ has infinite degree in $U$ being the least well understood and more complicated. In this paper, we introduce a general method for calculating associated inner functions to a wide class of entire functions arising as `lifts'. In particular, if $f$ is a lift of a transcendental entire function $h,$ we show that an inner function associated to $f|_U$ can be obtained by relating it to an inner function associated to $h|_G,$ where $G$ is the Fatou component that lifts to $U.$ This result significantly generalises the main part of a theorem by Evdoridou, Rempe and Sixmith, and can be applied to several functions that have been studied so far. In both finite- and infinite-degree settings, the results hold for forward-invariant Fatou components as well as for wandering domains.

Pinching Waveguide Antennas (PWAs) offer significant potential for simultaneous wireless information and power transfer (SWIPT) by enabling precise near-field energy focusing. However, existing optimization frameworks are largely point-based (targeting a single coordinate for maximum gain), and thus highly sensitive to positioning errors and mobility, as near-field signals fluctuate significantly even over small spatial displacements. In this paper, we propose a spatially robust design framework based on discrete antenna selection optimized for service area (SA) coverage. Unlike point-based approaches, our model guarantees quality of service within predefined SAs for both information decoding (ID) and energy harvesting (EH) receivers, thereby improving robustness to user displacements. We formulate the problem as a non-convex binary quadratic program aimed at maximizing harvested energy within the EH SA subject to robust rate constraints in the ID SA. To characterize fundamental performance limits, we develop a semidefinite relaxation (SDR) framework that provides an upper bound on the achievable rate-energy (R-E) region. For the lower bound, we employ a low-complexity swap-based local search algorithm enforcing binary hardware constraints. Numerical results demonstrate that the proposed coverage-oriented design yields a robust R-E tradeoff and maintains stable performance across service regions, highlighting the advantages of discrete antenna activation over point-based near-field optimization approaches.

Let $n$ be a positive integer, $n \not=1$, and $S_n$ the set of all $n \times n$ real symmetric matrices. A nonempty subset $\U \subset S_n$ is called a matrix domain if it is open and connected and a map $ϕ: \U \to S_n$ is said to be an order emebedding if for every pair $X,Y \in \U$ we have $X \le Y \iff ϕ(X) \le ϕ(Y)$. We describe the general form of such maps.

This paper explores the relationship between weak and viscosity solutions to a nonhomogeneous mixed local and non-local $p$-Laplace equation in a bounded Lipschitz domain in $\mathbb{R}^N$. Under certain conditions, we derive the comparison principle for weak subsolutions and weak supersolutions to the problem. For $1<p<\infty$, we establish that continuous weak supersolutions to the problem are viscosity supersolutions, using the comparison principle. Furthermore, we show that bounded viscosity supersolutions are weak supersolutions for $p \geq 2$.

This paper explores the use of generative models to synthesize high-quality, site-specific multiple-input multiple-output (MIMO) channel data, addressing the high cost of the extensive measurement campaigns required to acquire real-world data for AI-native wireless networks. Two location-conditioned generative paradigms are compared: a conditional denoising diffusion implicit model (cDDIM), and a conditional flow matching model (cFMM). Both these models generate MIMO channel matrices conditioned on user coordinates, to preserve the spatial structure of the deployment site. The approaches are evaluated across three dimensions: statistical fidelity (including beam consistency and effective rank), generation efficiency, and utility in downstream tasks such as channel-state information compression and beam alignment. Results across diverse propagation scenarios (28 GHz and 3.5 GHz, both line-of-sight and non-line-of-sight) demonstrate that both models accurately capture site-specific characteristics, even when trained on scarce ground-truth data. Notably, cFMM achieves a quality comparable to cDDIM with roughly an order of magnitude less inference time. Augmenting scarce site-specific datasets with these synthetic channels yields hefty performance gains in downstream physical layer tasks compared to using scarce data alone or stochastic channels.

We describe a certified arbitrary-precision framework for evaluating a family of generalized multiple zeta functions. The family includes strict and weak-star chain sums, ordinary and colored multiple zeta values, affine-base and polynomial-base variants, and composite levels containing several affine or polynomial letters with complex coefficients. The numerical strategy combines finite-prefix recurrences with two complementary analytic-tail mechanisms: recursive Euler-Maclaurin expansion of one-variable tails and direct absolute tail majorants. The Euler-Maclaurin branch is fast when the relevant suffix expansions are regular, while the direct-tail branch gives robust certificates for multi-letter, weak-star, complex-coefficient, and branch-sensitive inputs. A computation is called certified only when its reported radius is obtained from a proved analytic bound for the omitted infinite tail. Strict-disk colored sums and boundary-color cases with summable absolute majorants are therefore within the certified scope; conditionally convergent colored cases whose convergence relies only on non-one unit-modulus oscillation are kept separate and reported as explicitly non-certified diagnostic outputs unless an independent analytic remainder bound is available.

The study of intersecting families, initiated by Erdős, Ko, and Rado, is a central topic in extremal combinatorics. A classical stability result of Hilton and Milner determines the largest non-trivial intersecting family, and in subsequent works researchers developed structural stability results via the notion of diversity. In this paper, we study cross-intersecting families. We establish a structural theorem for large cross-intersecting pairs, extending Kupavskii's theorem from intersecting families to the cross-intersecting setting. Our result characterizes extremal cross-intersecting pairs in terms of their diversity parts and maximal cross-intersecting extensions. As corollaries, we obtain cross-intersecting analogues of several classical theorems, including those of Han--Kohayakawa and Huang--Peng. A key ingredient in the proof is a new shifting method, called the $S_{U,V}^{Q}$-shift, which not only preserves global intersection properties but also maintains certain local substructures after shifting. We expect this method to be useful elsewhere, and it is already one of the key tools in establishing a product analogue of the Hilton--Milner theorem.

A class of pseudo-parabolic partial differential equations is considered. We derive a posteriori error bounds for approximations obtained by FEMs in space and a BDF formula in time. The analysis is based on the $C_0$ semigroup theory and an adaptation of the concept of elliptic reconstruction to pseudo-parabolic problems. The analysis is complemented with numerical experiments.

We develop a geometric framework for constrained optimization problems with inequality constraints through the introduction of quadratic slack variables. This formulation makes it possible to employ the language of Riemannian geometry and to solve the problem via the embedded gradient vector field method. We lift the feasible set to a smooth submanifold of an extended ambient space. The stratified structure of the resulting constraint manifold is analyzed in detail, yielding a natural partition according to which constraints are active. Using the embedded gradient vector field formalism, we derive explicit, determinantal formulas for the Lagrange multiplier functions directly from the geometry of the constraint manifold, recovering and re-framing the classical Karush-Kuhn-Tucker first-order necessary conditions without invoking the classical Lagrange multiplier method. Second-order optimality conditions are obtained by computing the restricted Hessian on each stratum, and a complete sign condition on the Lagrange multipliers is identified as the geometric counterpart of the classical complementary slackness condition. The theory is illustrated on the double ice-cream cone example, where the geometry of the problem determines the nature and number of local minima.

Consider the arithmetic function of two variables $f(a,b)= \gcd(ab,a+b)/\gcd(a,b)$, recently investigated by Thang Pang Ern and Malcolm Tan Jun Xi. We deduce asymptotic formulas for sums of the form $\sum_{a,b\le x} h(f(a,b))$, where $h$ belongs to a certain class of arithmetic functions. In particular, we obtain an asymptotic formula for the number of ordered pairs $(a,b)\in {\Bbb N}^2$ such that $a,b\le x$ and $f(a,b)=m$, where $m\in {\Bbb N}$ is fixed. This shows that in the case $m=1$ the corresponding density is the quadratic class number constant $C= \prod_p (1-1/(p^2(p+1))) \doteq 0.881513$. We also formulate some related open problems.

The paper analyzes to what extent the dynamics of a nonautonomous $n$-dimensional dynamical system with two time scales, formulated in the slow time as $dx/dt=f(t/\varepsilon, t, x)$, can be approximated for small values of $\varepsilon$ by the dynamics of the averaged system $dz/dt=\hat f(t,z)$. Assuming that the skewproduct flow associated with the averaged system admits a local attractor $\mathcal{A}$, we prove that the solutions of the original system whose initial data lie in the basin of attraction of $\mathcal{A}$ track the fibers of the inflated attractor for all positive times. If the fiber map of $\mathcal{A}$ is continuous, inflation is no longer required. Alternative tracking results with a more classical formulation are also presented, under assumptions involving uniformly asymptotically stable solutions or uniform local attractors for the nonautonomous process, rather than for the skewproduct flow. Several examples illustrate the scope and applicability of the results. The twofold extension of the classical averaging results (to the doubly nonautonomous setting and to the whole positive halfline) is expected to be relevant to a broad range of application.

We derive upper bounds for the Lagrangian capacities of Liouville domains with finite Gutt--Hutchings capacities and show that the Lagrangian capacity of a convex or concave toric domain of arbitrary dimension equals its diagonal. In particular, this completely settles the conjecture of Cieliebak-Mohnke on the Lagrangian capacity of ellipsoids. Our proof is based on an $S^1$-equivariant variant of the techniques of Fukaya and Irie, and does not use holomorphic curves with local tangency constraints, which would inevitably cause transversality issues. Moreover, we show that any extremal Lagrangian torus in an $n$-dimensional ellipsoid must lie on the boundary. Applications of our results and techniques include new upper bounds on the Lagrangian width for aspherical Lagrangians in Liouville manifolds and the first computations of the Lagrangian capacities for many non-subcritical Weinstein domains in dimensions 4 and 6.

In this paper, we study the arboreal Galois representations for polynomials of twisted Carlitz type, whose first iterated Galois group is linked to the torsion of a twisted Carlitz module. We prove two explicit families of polynomials having iterated Galois groups isomorphic to full iterated cyclic wreath product at every level. We then compare the arboreal Galois image of a polynomial of twisted Carlitz type with the adelic Galois image of its corresponding twisted Carlitz module, and show that arboreal maximality and adelic surjectivity are logically independent, except for a one-way local implication at the finite place $(t)$.

For a family $\mathcal{F}$, it is called intersecting if $F\cap F'\neq \emptyset$ for all $F,F'\in\mathcal{F}$. We use $\mathcal{SD}(\mathcal{F}) = \{F \triangle G : F, G \in \mathcal{F}\}$ to denote the family of symmetric differences of $\mathcal{F}$. In 2023, Frankl, Kiselev and Kupavskii conjectured that for any intersecting family $\mathcal{F} \subseteq \binom{[n]}{k}$ with $n > 10k$, the inequality $|\mathcal{SD}(\mathcal{F})| \le \sum_{\ell=0}^{k-1} \binom{n-1}{2\ell}$ holds. They further observed that a proof for the range $n>3k^2$ could likely be obtained via arguments similar to those in their earlier work, though no detailed derivation was given. In this paper, we establish the conjecture under the conditions $n\ge 60k^{3/2}$ and $k\ge 50$. We also determine the extremal families, which are precisely a certain class of stars. A concentration inequality plays a central role in the proof.

We employ the vector field method to establish a Liouville-type theorem for a class of \((p,q)\)-Laplace equations in the Euclidean space \(\mathbb{R}^n\). By modifying the exponents in the differential identity, we prove nonexistence in the subcritical range \(p-1<α<q^*-1\), where \(q^*=nq/(n-q)\). The approach relies on constructing a suitable differential identity, carrying out precise integral estimates with cutoff functions, and combining sign control and decay of the cutoff errors.

We give a conceptual proof for Hochster's Theorem, which asserts that each spectral space is homeomorphic to the spectrum of a ring. Given a ground field and a spectral space, our ring is constructed as filtered direct limit of prime-finite ring, which are attached in a functorial way to finite Kolmogoroff spaces. The construction simplifies an argument of Ershov along these lines. Our crucial ingredient is an assembly of finite Kolmogoroff spaces in terms of coequalizers and pushouts of one-dimensional spaces, and Schwede's observation on prime ideals in cartesian squares of rings.