Papers

In this paper, we consider a general status update system, consisting of a source at which a physical process is monitored and a receiver. For transmission of status updates, a discrete set of blocklength error probability tuples is available. A typical example is a communication system with a fixed set of modulation and coding schemes. We assume that no feedback channel for acknowledgments exists and thus investigate the problem of constructing deterministic schedules for the status updating system. The average Age of Information (AoI) and average exponential AoI are appropriate performance metrics to capture the freshness of information. Interestingly, a static blocklength is shown to be suboptimal in general. While for the average AoI the gains that can be achieved by using a non-trivial periodic schedule are relatively small, they are significant for the average exponential AoI. Motivated by this, we prove conditions for single-blocklength optimality when two blocklengths are available. To achieve this, we use a Dinkelbach-like approach to reformulate the problem as an infinite-state transient average-cost Markov Decision Process and apply careful bounding techniques to derive the optimality conditions. As a converse, we analyze stationary randomized policies to certify the parameter regions where a non-trivial deterministic schedule outperforms the best constant schedule. Extensions to the case with more than two transmission lengths are provided. Numerical results show that the derived conditions cover a large portion of the parameter space and suggest that the optimality conditions for a constant schedule with the shorter blocklength, while sufficient, may also be necessary. As an example, we apply the results to the problem of age-optimal transmission with a small LDPC codebook, which illustrates the practical applicability.

These lecture notes are based on three courses given at Nagoya University. Their purpose is to give a beginner-friendly introduction to multiple zeta values and several of their variants, such as finite and symmetric multiple zeta values, q-analogues of multiple zeta values, and multiple Eisenstein series. These notes will be updated in the future.

Shock stabilization in compressible Euler flows remains a central challenge for high-order numerical methods. Existing shock-capturing approaches, including limiters, artificial viscosity, and reconstruction-based methods, involve tradeoffs between robustness, accuracy, preservation of fine-scale flow features, and computational complexity. In this work, we develop a discontinuous Galerkin (DG) discretization of the information geometric regularization (IGR) framework introduced by Cao and Schäfer for the compressible Euler equations. The method regularizes shocks at the PDE level by augmenting the Euler equations with the entropic pressure $\Sigma$, obtained from an auxiliary elliptic equation. Within the DG formulation, the regularization enters only through the augmented pressure $P+\Sigma$ in the Euler fluxes, preserving the conservative structure of the discretization while using a common approximation space for both the hyperbolic and elliptic equations. Numerical experiments spanning one and two-dimensional benchmark problems show the proposed formulation stabilizes shocks without shock-capturing limiters or artificial viscosity, although positivity-preserving methods may still be required when the density or pressure approaches zero. Compared with a characteristic TVB-limited DG formulation, the IGR-DG method resolves increasingly finer-scale flow features as the polynomial order is increased while maintaining stable shock resolution. The entropic pressure remains localized to regions of strong compression with minimal activation in smooth regions of the flow, providing selective PDE-level regularization while preserving the underlying solution elsewhere.

We study linear parabolic equations of the second order in non-divergence form in a general set which is non-cylindrical with respect to the spatial and time variables. The restriction of the set on any bounded time interval is bounded, but the spatial diameter of each fixed-time cross section can be unbounded as time tends to infinity. For homogeneous problems, we obtain exponential, power and other intermediate decaying rates for the solutions in different scenarios. For inhomogeneous problems, we obtain all-time and asymptotic, as time tend to infinity, estimates for the solutions in terms of the data on the parabolic boundary and forcing functions. The analysis requires subtle properties of general space-time sets and an iteration scheme to bootstrap the Growth Lemma. The time steps for such an iteration need not be constant and are adapted to the growth of the diameter.

A solution procedure is formulated and solved for treating the nonlinear Dissipation Inequality as a constraint equation within continuum mechanics, and allowing for incomplete knowledge of constitutive behavior. The scheme is demonstrated in the context of the rate-dependent, elastoplastic response of a bar, resulting in a nonlinear problem of constrained optimization. Both closed form and computational results are developed. The computational solutions utilize a sequence of convex optimization problems, and are shown to be accurate. In the example considered, the approach is shown to automatically correct an (intentionally) faulty constitutive specification, resulting in the solution to be in accord with the fundamental postulates of continuum mechanics.

The narrow escape problem is a prototypical example for studying entropic metastability, motivated by the analysis of biological and chemical systems. The problem concerns the determination of the exit time and position of a Brownian particle trapped in a domain with a reflecting boundary pierced by narrow holes. Our goal is to investigate this problem in a general domain in any dimension (greater than or equal to two), using the quasi-stationary distribution approach to metastability. In particular, we derive first order asymptotic expansions with error bounds of the mean exit time and the law of the exit position in the limit where the hole sizes tend to zero. Our analytical predictions are illustrated by numerical simulations, using dedicated Monte Carlo techniques.

We study the expected number of fixed points of a random permutation obtained via a word map, with surface group constraints imposed. For stable irreducible characters $\chi$ of the symmetric group $S_{n}$ and with $R_{g}=[a_{1},b_{1}]\dots[a_{g},b_{g}]$ and $w\in F_{2g}$, we compute $\mathbb{E}_{S_{n}^{2g}}\left[\chi\left(R_{g}(h)\right)\#\mathrm{fix}\left(w(h)\right)\right]$. We show that, if $w$ is a shortest representative for the conjugacy class of $\gamma\in\Gamma_{g}=\left\langle a_{1},b_{1},\dots,a_{g},b_{g}:R_{g}\right\rangle$, then this expectation is $O\left(1/\dim\chi\right)$. As an application, we recover a boundedness statement of Magee–Puder on the large $n$ limit of the expected number of fixed points of $\phi_{n}(\gamma)$, where $\gamma\in\Gamma_{g}$ is fixed and $\phi_{n}\in\hom\left(\Gamma_{g},S_{n}\right)$ is chosen uniformly at random.

In this paper, we propose a proximal gradient method with adaptive linesearch for multiobjective optimization problems whose objective functions are weakly smooth, i.e., they have Hölder continuous gradients. The proposed method is parameter-free as we do not require prior knowledge of parameters related to the weak smoothness of the objective function; the proposed linesearch finds an appropriate step-size that adapts to the weak smoothness. The complexity guarantee analyzed in this paper for the non-convex case is compatible with related works and our algorithm accepts coercer stationarity measure compared to existing methods. We also establish a novel complexity result for the convex case which improves the one in non-convex case.

For $p>1$, we consider the boundary value problem for fully nonlinear degenerate elliptic equations $-\lambda_i(D^2u)+|Du|^p+\gamma u=f(x)$ in bounded domains with Dirichlet or boundary blow-up conditions; here $\lambda_i(D^2u)$ denotes the $i$-th eigenvalue of the Hessian. We study existence and nonexistence of solutions together with the asymptotic behaviour of the solutions when $\gamma$ goes to zero. A priori Lipschitz estimates play an important role. The interplay between the operator's degeneracy and the superlinear growth of the Hamiltonian gives rise to phenomena that are very different depending on which of the two terms dominates, e.g. the ergodic dichotomy takes place only when $i=N$, while new phenomena arise for $i<N$ in which case, under mild conditions, solutions that blow up even in just one point do not exist, and conditions on the size of $f$ must be imposed for the existence of solutions to the Dirichlet problem with homogeneous boundary condition.

This paper completely classifies when the pro-$p$ completion of an amalgamated product has bounded generation, assuming its starting vertex groups are already boundedly generated. We first prove that the pro-$p$ completion of any abstract amalgam always naturally forms a proper pro-$p$ amalgam. Within this framework, we show that bounded generation is extremely rare. Specifically, the completed group is boundedly generated if and only if one of the vertex groups completely collapses into the edge group (meaning it has an index of 1), or in the highly specific case where $p=2$ and both vertex groups have an index of exactly 2 over the edge intersection.Additionally, we develop a new set of criteria to determine when the original vertex and edge groups map into the completion without collapsing. Finally, we provide a cautionary counterexample: for any given prime $p$, we construct an amalgam whose pro-$p$ completion is boundedly generated, but its full profinite completion is not. This demonstrates that possessing bounded generation at a single prime does not guarantee that the full profinite group will share this property.

Every diagrammatic Hecke category is constructed from a realization, which generalizes the notion of a reflection representation of a Coxeter group. Common assumptions on realizations to ensure that the resulting categories are well behaved include Demazure surjectivity and the parabolic property (for anti-spherical quotients). We show that these assumptions are in fact unnecessary. We also give a non-inductive description of the rotational scalars for unbalanced realizations, as well as a simpler criterion to check for balancedness.

In this paper we prove that every multi-singular hyperbolic set of a $C^1$ flow is Komuro expansive. This is the strongest natural form of expansivity for flows with singularities accumulated by regular orbits, allowing arbitrary orientation-preserving time reparametrizations. We then use this to establish a two-sided asymptotic counting bound of the form $e^{ht}/t$ for periodic orbits, and prove that the normalized orbit measures converge to the unique measure of maximal entropy. We also establish the same results for a $C^1$ open and dense subset of star vector fields.

In this paper, we establish the exponential convergence of Laskar's pioneering frequency map analysis, strictly improving upon classical polynomial bounds. By utilizing appropriately chosen weighting functions, we achieve such exponential rates in the analytic quasi-periodic regime for frequency vectors satisfying Diophantine or Brjuno nonresonance conditions. Furthermore, we extend the theoretical framework beyond the analytic quasi-periodic regime into the analytic almost periodic setting. By employing and generalizing Bourgain's framework, we accommodate a much broader class of anisotropic spatial structures. These results yield the first unified theory of exponential convergence for frequency map analysis, revealing the interplay among analyticity, spatial structures, nonresonance conditions, the choice of weighting functions, and convergence rates. This framework has important implications for applications in fields including celestial mechanics. Moreover, the novel techniques developed herein yield new insights into the study of weighted Birkhoff averages.

We give a new proof that algebraic K-theory increases chromatic height by at most one, originally established by Clausen-Mathew-Naumann-Noel. Our argument proceeds by descent from the Lubin-Tate spectrum, for which the required vanishing follows from Hahn-Wilson's Quillen-Lichtenbaum result.

This work investigates the $q$-deformation of $(r,s)$-Airy structures and their realization via $q$-difference operators, providing a bridge between quantum spectral curves and integrable systems. We construct an all-order $q$-WKB solution for the matrix systems associated with the $q$-quantized curve $E_q(x,y)=0$. We demonstrate that the resulting non-perturbative connected $q$-amplitudes satisfy a set of shifted $q$-loop equations, which can be interpreted as the Ward identities of a $q$-deformed $\mathcal{W}(\mathfrak{gl}_r)$ algebra. Our main result provides a rigorous classification of admissible $(r,s,q)$ pairs and $q$-Casimir configurations that satisfy the $q$-topological type property. This ensures that the semi-classical expansion is uniquely governed by the $q$-topological recursion, offering new insights into the $q$-quantization of mirror curves and their underlying algebraic structures.

Given a connected projective curve $C \subset \mathbb{P}^n$, $n \geq 2$, and an integer $0 \leq \ell \leq n$, we construct an n-dimensional (non compact) complex manifold, obtained as a neighborhood of an embedded copy of $C$, which carries exactly $\ell$ codimension one holomorphic foliations; moreover, every codimension one distribution on it is one of these foliations. We also determine the field of meromorphic functions of these manifolds: it can be prescribed to be $\mathbb{C}$ or a purely transcendental extension of transcendence degree one, and no larger field is possible as soon as the number of foliations is finite. This extends to arbitrary dimension, and refines, previous constructions of neighborhoods of curves in surfaces without foliations or without non-constant meromorphic functions.

Neural receivers have been recognized as a promising paradigm for the next-generation (NextG) communications. However, due to the reliance on a static network optimized for specific channel conditions, their generalization capability across diverse scenarios remains a significant challenge. To address this issue, this paper proposes a novel channel-adaptive neural receiver network (CARNet) based on the mixture-of-experts (MoE) framework. The proposed architecture employs multiple expert networks together with an efficient routing mechanism to enable signal detection in various scenarios. The experts are constructed via stacked ResNet blocks and specialize in robust signal detection within specific channel conditions, while the routing mechanism incorporates a lightweight representation learning module, which projects the coarse channel estimate into a low-dimensional latent embedding. The learned embedding characterizes task-relevant channel conditions and provides efficient guidance for accurate expert selection. Link-level simulation experiments demonstrate that the proposed CARNet achieves superior performance across diverse channel conditions.

In this paper, we study the homological shift ideals of edge ideals associated with weighted oriented graphs. For a weighted oriented graph $D$, let $HS_k(I(D))$ denote the $k^{th}$ homological shift ideal of its edge ideal $I(D)$. If $D$ is vertex-splittable, then we characterize that $HS_1(I(D))$ has linear quotients if and only if $D_6$, $D_7$, and $D_8$ are not induced subgraphs of $D$. Furthermore, we show that if $I(D)$ has linear quotients, then $\sqrt{HS_k(I(D))} = HS_k(I(G))$, for all $k\geq 1$, where $G$ is the underlying simple graph of $D$. We show that if $I(D)$ has homological linear quotients, then $I(G)$ also has homological linear quotients. If $D$ is a tree, then we establish the following characterization: \begin{align*} HS_k(I(D)) \text{ has linear quotients for all } k\geq 0 \iff ~ &G~ \text{is} \text{ a star graph or a broom graph} \\ &\text{ and }~ D \text{ is $D_i$-free, for } i=1,2,5,6,8. \end{align*}

We investigate the two-dimensional inhomogeneous Ising model (2DIM) on the kagom'e lattice by mapping it onto a particular non-symmetric eight-vertex model and constructing the corresponding $R$-matrix. Using a fermionic representation, we evaluate the partition function and derive explicit expressions for the main thermodynamic quantities. In the thermodynamic limit, we obtain an exact equation for the critical surface determining the phase transition of the model. We also calculate the free energy, specific heat, and spontaneous magnetization in the ferromagnetic case. Furthermore, we show that when one or two coupling constants vanish, the model reduces, respectively, to the square-lattice and one-dimensional Ising models. In both limits, our results reproduce the corresponding exact critical couplings and free energies.

We construct quaternionic Möbius ($\mathcal{QM}$ briefly) transformations on the quaternionic unit ball, which are used to define $\mathcal{QM}$-invariant Laplacian operator $\triangle$. A function annihilated by $\triangle$ is called $\mathcal{QM}$-harmonic. We prove that $\mathcal{QM}$-harmonic functions can be expanded in terms of quaternionic spherical harmonics multiplied by hypergeometric functions as radial parts. By establishing a Green formula associated to $\triangle$ and constructing the $\mathcal{QM}$-Poisson kernel, we solve the Dirichlet problem for $\mathcal{QM}$-invariant Laplace equation, which is degenerate elliptic. We also give a Fatou type theorem about non-tangential convergence of $\mathcal{QM}$-Poisson integrals. Compared to the real and complex cases, the main difficulties come from the noncommutativity of the quaternionic algebra and the complexity of the quaternionic unitary group ${\rm Sp}(n){\rm Sp}(1)$ and its modules. However, they can be overcome by using the embedding of the quaternionic space to the complex matrix space and using more complicated algebraic tools.

Let k be a number field. For quotient stacks [X/G] with X a smooth quasi-projective geometrically integral k-variety and G a linear k-group, we extend several relations between local-global obstructions previously known for varieties, showing that étale-Brauer obstruction is the finest among various obstructions (such as iterated descent, finite descent, descent, Brauer-Manin).

We introduce an ordinal-valued invariant of well-founded trees, called their type. We use type to give an alternative proof that the class of all well-founded trees is well-quasi-ordered by the homomorphism relation, and we establish a relationship between type and the usual ordinal rank of a well-founded tree, showing in particular that type provides a strictly coarser structural classification.

In recent years, there has been rapid development in the foundational study of oracle computability from the perspective of Lawvere-Tierney topologies and their sheaves. In this article, we formulate and analyze the notion of reducibility within the framework of total computability. Then, using sheaf subtoposes derived from oracles in the total computable setting, we establish separations between various hierarchies of logical principles, including the hierarchies of the weak law of excluded middle $\mathbf{WLEM}$, the lessor limited principle of omniscience $\mathbf{LLPO}$, and Markov's principle $\mathbf{MP}$.

This paper establishes the first localized pointwise a posteriori error estimates for nonconforming finite element discretizations of the Poisson and biharmonic equations. For the Poisson problem, we derive localized estimates for the function-value and broken gradient errors of the Crouzeix–Raviart method. For the Morley discretization of the biharmonic equation, we derive a localized a posteriori estimate that controls the local Hessian error. This provides the first pointwise a posteriori error analysis for the biharmonic equation, for either conforming or nonconforming finite element methods. The key ingredient, absent from pointwise analysis of second order PDEs, is the design of two novel weight functions that facilitate sharp estimates of the $L^1$ norms of derivatives of a regularized Green's function for the biharmonic operator.

Let $Z_2$ denote the real Kalton-Peck space. No hyperplane of $Z_2$ admits a complex structure, and $Z_2$ is even in the sense of Ferenczi-Galego. Therefore, $Z_2$ is not linearly isomorphic to its hyperplanes, solving a long-standing conjecture in Banach space theory. The argument uses the Kalton-Swanson symplectic form on $Z_2$, the Castillo-González-Pino Fredholm theorem in $Z_2$, and a special case of a mod-$2$ theorem of Li-Zhu on skew-adjoint Fredholm relations in symplectic spaces, for which a self-contained proof is included.

We prove that the Schwarz' Primitive (P) and Diamond (D) surfaces are local minimizers of the variance of Gaussian curvature among local deformations within the moduli space of triply periodic minimal surfaces of genus 3 (TPMSg3s). Our approach interprets the branch values of the Gauss map as a configuration of eight points on the sphere and expresses the variance of Gaussian curvature as the product of two integrals involving exponentials of Green's functions. We then show that the Hessian of this functional is positive definite at the cubic configuration when restricted to antipodal deformations, thereby establishing the local minimality of the P and D surfaces. Along the other deformation directions, the Hessian is positive definite except for a two-dimensional eigenspace with slightly negative eigenvalues, leaving promising hope that the Gyroid is also a local minimizer.

In this paper, we introduce the notion of sequential $m$-contiguity distance for finitely many simplicial maps as a higher analogue of contiguity distance. This invariant generalizes both higher contiguity distance and $m$-contiguity distance, and provides a combinatorial counterpart of sequential $m$-homotopic distance. We investigate its fundamental properties, including invariance under strong homotopy type, behaviour under compositions, categorical products, and barycentric subdivision. Moreover, we define sequential $m$-discrete topological complexity of simplicial complexes. As applications, we characterise this invariant (along with $m$-simplicial LS category) in terms of sequential $m$-contiguity distance and prove that they are invariants of strong homotopy type. Furthermore, we establish inequalities relating $m$-simplicial LS category and $m$-discrete sequential topological complexity, extending classical results from topological complexity theory to the simplicial and $m$-dimensional setting.

We give a common counterexample to two product-structure conjectures in extremal graph theory. More precisely, we construct a fixed nonempty finite family $\mathcal L$ with $p(\mathcal L)=2$ such that, for some $c>0$, \[ \operatorname{ex}(n,\mathcal L)>t_2(n)+cn^{3/2} \] for every sufficiently large $n$. Nevertheless, at every such order there is an $\mathcal L$-extremal graph whose complement is connected and which therefore admits no decomposition as a join of two nonempty graphs. This superlinear surplus also forces the decomposition family of $\mathcal L$ to contain no forest. The construction uses endpoint-injective repair with a finite obstruction family admitting an exact extremal formula and equality classification.

Let $f:\mathbf{P}^n\to\mathbf{P}^n$ be a $q$-polarized endomorphism, where $q>1$, and let $R_f$ be its ramification divisor. We study the singularities of the ramification pair $(\mathbf{P}^n,R_f)$. We show that, for a general $f$, the pair $(\mathbf{P}^n,R_f)$ is log canonical. When $n=2$, we prove that there exists an integer $s\geq1$ such that the log canonical threshold $\mathrm{lct}(\mathbf{P}^2;R_{f^s})\geq1/(q^s-1)$. The passage to an iterate is necessary in general, and the lower bound is optimal. In particular, $(\mathbf{P}^2,R_{f^s}/(q^s-1))$ is a log Calabi–Yau pair, completing the proof of Gongyo's conjecture for smooth projective surfaces.

We prove a graph-theoretical characterisation of finitely generated subgroups of Thompson's group $V$: a finitely generated group embeds in $V$ if and only if it admits a faithful context-free action, or equivalently if it belongs to the class CF-TR of transition groups of context-free graphs recently introduced by Matucci and the three last authors. Using this characterisation, we prove results in different directions: - All known examples of groups with co-context-free Word Problem do embed in $V$, providing evidence towards Lehnert's conjecture. - Each finitely generated subgroup of $V$ is either virtually abelian, or contains a free non-abelian semigroup. It follows that groups of intermediate growth do not embed in Thompson's $V$. We further study the relation between transition groups defined by graphs that are limits or covers of each others, and prove properties of transition groups of context-free graphs of polynomial growth. Finally, we prove that the Basilica and Hanoï Towers groups do not embed in $V$. This uses the geometry of Schreier graphs of the natural actions of these groups and of Thompson's $V$.