Mathematics

A formal system called cologic is proposed for the study of compacta. A counterpart of countable model theory is developed for this system, and it is applied to model theory of the pseudo-arc.

We show that for a real rational homology sphere $Y$ equipped with a real $\mathrm{spin^c}$ structure $\mathfrak{s}$, the real monopole Floer homology defined by Li and the real Seiberg-Witten Floer homology defined by Konno, Miyazawa and…

We study a class of constrained nonconvex-nonconcave minimax optimization problems in which the inner maximization involves potentially complex constraints. Under the assumption that the inner problem of a novel lifted minimax reformulation…

$T$-varieties are normal varieties equipped with an action of an algebraic torus $T$. When the action is effective, the complexity of a $T$-variety $X$ is $\dim(X)-\dim(T)$. Matrix Schubert varieties, introduced by Fulton in 1992, are…

Consider a holomorphic contact manifold. Holomorphic discs tangent to the contact planes define a pseudometric on the manifold. This pseudometric integrates to a pseudodistance. When the pseudodistance is a distance, we call the contact…

Discrete flow models offer a powerful framework for learning distributions over discrete state spaces and have demonstrated superior performance compared to the discrete diffusion models. However, their convergence properties and error…

We compute the trace of Frobenius on the sheaf of nearby cycles for the integral model of the Siegel modular variety with pro-p Iwahori level structure, constructed by Haines and Stroh, in the case of $\text{GSp}_4$. To this end, we make…

The algebra of $R$-valued functions on the set of chambers of a real hyperplane arrangement is called the Varchenko-Gelfand (VG) algebra. This algebra carries a natural filtration by the degree with respect to Heaviside functions, giving…

Let $F$ be a locally compact non-Archimedean field of characteristic $0$, and let $G$ be either the split special orthogonal group $\mathrm{SO}_{2n+1}(F)$ or the symplectic group $\mathrm{Sp}_{2n}(F)$. The goal of this paper is to give an…

In this paper, we introduce an immersed $C^0$ interior penalty method for solving two-dimensional biharmonic interface problems on unfitted meshes. To accommodate the biharmonic interface conditions, high-order immersed finite element (IFE)…

We show that every closed connected non-orientable PL $4$-manifold $X$ is a simple branched covering of $\RP^4$. We also show that $X$ is a simple branched covering of the twisted $S^3$-bundle $S^1 \simtimes S^3$ if and only if the first…

We prove that there is a Borel quasi-kernel in any locally countable Borel directed graph with finite Borel chromatic number. We prove that the Borel chromatic number of a Borel directed graph with bounded out-degree $n$ is either infinite…

We use classical tools from calculus of variations to formally derive necessary conditions for a Markov control to be optimal in a standard finite time horizon stochastic control problem. As an example, we solve the well-known Merton…

We address the stabilization of linear, time-varying parabolic PDEs using finite-dimensional receding horizon controls (RHCs) derived from reduced-order models (ROMs). We first prove exponential stability and suboptimality of the…

We define the family of Maya-Tupi graphs as those graphs that admit a partition $(A,B)$ of their vertex sets such that $A$ induces a complete multipartite graph where each part has size at most two, and $B$ induces a graph where every…

In this paper, we investigate the problem of decentralized online resource allocation in the presence of Byzantine attacks. In this problem setting, some agents may be compromised due to external manipulations or internal failures, causing…

This paper is devoted to the study of a convolution structure denoted by $*_{\alpha}$, which is defined via the Hartley--Bessel transform. This concept was introduced in a recent work by F. Bouzeffour [\emph{J. Pseudo-Differ. Oper. Appl.},…

We introduce a new formulation of structural causal models for extremes, called the extremal structural causal model (eSCM). Unlike conventional structural causal models, where randomness is governed by a probability distribution, eSCMs use…

A conjecture of Colliot-Th\'{e}l\`{e}ne predicts that for a smooth projective variety $X$ over a finite extension $k$ of $\mathbb{Q}_p$ the kernel of the Albanese map $\text{CH}_0(X)^{\text{deg}=0}\to Alb_X(k)$ is the direct sum of a…

This paper lays out the foundations of graded $K$-theory for Leavitt algebras associated with higher-rank graphs, also known as Kumjian-Pask algebras, establishing it as a potential tool for their classification. For a row-finite $k$-graph…