We provide a natural simple argument using anistropic flows to prove the existence of weak solutions to Lutwak’s $L^p$-Minkowski problem on $S^n$ which were obtained by other methods.

In this paper, we study the Dirichlet problem for systems of mean value equations on a regular tree. We deal both with the directed case (the equations verified by the components of the system at a node in the tree only involve values of the unknowns at the successors of the node in the tree) and the undirected case (now the equations also involve the predecessor in the tree). We find necessary and sufficient conditions on the coefficients in order to have existence and uniqueness of solutions for continuous boundary data. In a particular case, we also include an interpretation of such solutions as a limit of value functions of suitable two-players zero-sum games.

The notion of indicator of an analytic function, that describes the function’s growth along rays, was introduced by Phragmen and Lindelöf. Trigonometric convexity is a defining property of the indicator. For multivariate cases, an analogous property of trigonometric convexity was not known so far. We prove the property of trigonometric convexity for the indicator of multivariate analytic functions, introduced by Ivanov. The results that we obtain are sharp. Derivation of a multidimensional analogue of the inverse Fourier transform in a sector and obtaining estimates on its decay is an important step of our proof.

We provide a purely combinatorial proof of a skein exact sequence obeyed by double-point enhanced grid homology. We also extend the theory to coefficients over $\mathbb {Z},$ and discuss alternatives to the Ozsváth–Szabó $\tau $ invariant.

Let G be a compact quantum group. We show that given a G-equivariant $\textrm {C}^*$-correspondence E, the Pimsner algebra $\mathcal {O}_E$ can be naturally made into a G-$\textrm {C}^*$-algebra. We also provide sufficient conditions under which it is guaranteed that a G-action on the Pimsner algebra $\mathcal {O}_E$ arises in this way, in a suitable precise sense. When G is of Kac type, a KMS state on the Pimsner algebra, arising from a quasi-free dynamics, is G-equivariant if and only if the tracial state obtained from restricting it to the coefficient algebra is G-equivariant, under a natural condition. We apply these results to the situation when the $\textrm {C}^*$-correspondence is obtained from a finite, directed graph and draw various conclusions on the quantum automorphism groups of such graphs, both in the sense of Banica and Bichon.

This paper goes beyond Katz–Sarnak theory on the distribution of curves over finite fields according to their number of rational points, theoretically, experimentally, and conjecturally. In particular, we give a formula for the limits of the moments measuring the asymmetry of this distribution for (non-hyperelliptic) curves of genus $g\geq 3$. The experiments point to a stronger notion of convergence than the one provided by the Katz–Sarnak framework for all curves of genus $\geq 3$. However, for elliptic curves and for hyperelliptic curves of every genus, we prove that this stronger convergence cannot occur.

The Hoffman ratio bound, Lovász theta function, and Schrijver theta function are classical upper bounds for the independence number of graphs, which are useful in graph theory, extremal combinatorics, and information theory. By using generalized inverses and eigenvalues of graph matrices, we give bounds for independence sets and the independence number of graphs. Our bounds unify the Lovász theta function, Schrijver theta function, and Hoffman-type bounds, and we obtain the necessary and sufficient conditions of graphs attaining these bounds. Our work leads to some simple structural and spectral conditions for determining a maximum independent set, the independence number, the Shannon capacity, and the Lovász theta function of a graph.

To understand the p-adic étale cohomology of a proper smooth variety over a p-adic field, Faltings compared it to the cohomology of his ringed topos, by the so-called Faltings’ main p-adic comparison theorem, and then deduced various comparisons with p-adic cohomologies originating from differential forms. In this article, we generalize the former to any proper and finitely presented morphism of coherent schemes over an absolute integral closure of $\mathbb {Z}_p$ (without any smoothness assumption) for torsion abelian étale sheaves (not necessarily finite locally constant). Our proof relies on our cohomological descent for Faltings’ ringed topos, using a variant of de Jong’s alteration theorem for morphisms of schemes due to Gabber–Illusie–Temkin to reduce to the relative case of proper log-smooth morphisms of log-smooth schemes over a complete discrete valuation ring proved by Abbes–Gros. A by-product of our cohomological descent is a new construction of Faltings’ comparison morphism, which does not use Achinger’s results on $K(\pi ,1)$-schemes.

In this paper, we study the Dirichlet problem of Hessian quotient equations of the form $S_k(D^2u)/S_l(D^2u)=g(x)$ in exterior domains. For $g\equiv \mbox {const.}$, we obtain the necessary and sufficient conditions on the existence of radially symmetric solutions. For g being a perturbation of a generalized symmetric function at infinity, we obtain the existence of viscosity solutions by Perron’s method. The key technique we develop is the construction of sub- and supersolutions to deal with the non-constant right-hand side g.

We continue our study from Peterzil et al. (2022, Preprint, arXiv:2208.08293) of finite-dimensional definable groups in models of the theory $T_{\partial }$, the model companion of an o-minimal ${\mathcal {L}}$-theory T expanded by a generic derivation $\partial $ as in Fornasiero and Kaplan (2021, Journal of Mathematical Logic 21, 2150007).

We generalize Buium’s notion of an algebraic D-group to ${\mathcal {L}}$-definable D-groups, namely $(G,s)$, where G is an ${\mathcal {L}}$-definable group in a model of T, and $s:G\to \tau (G)$ is an ${\mathcal {L}}$-definable group section. Our main theorem says that every definable group of finite dimension in a model of $T_\partial $ is definably isomorphic to a group of the form

$$ \begin{align*}(G,s)^\partial=\{g\in G:s(g)=\nabla g\},\end{align*} $$

for some ${\mathcal {L}}$-definable D-group $(G,s)$ (where $\nabla (g)=(g,\partial g)$).

We obtain analogous results when T is either the theory of p-adically closed fields or the theory of pseudo-finite fields of characteristic $0$.

In this paper, we investigate the theory of heights in a family of stacky curves following recent work of Ellenberg, Satriano, and Zureick-Brown. We first give an elementary construction of a height which is seen to be dual to theirs. We count rational points having bounded ESZ-B height on a particular stacky curve, answering a question of Ellenberg, Satriano, and Zureick-Brown. We also show that when the Euler characteristic of stacky curves is non-positive, the ESZ-B height coming from the anti-canonical divisor class fails to have the Northcott property. We prove that a stacky version of a conjecture of Vojta is equivalent to the $abc$-conjecture.

We study monotone operators in reflexive Banach spaces that are invariant with respect to a group of suitable isometric isomorphisms, and we show that they always admit a maximal extension which preserves the same invariance. A similar result applies to Lipschitz maps in Hilbert spaces, thus providing an invariant version of Kirszbraun–Valentine extension theorem. We then provide a relevant application to the case of monotone operators in $L^{p}$-spaces of random variables which are invariant with respect to measure-preserving isomorphisms, proving that they always admit maximal dissipative extensions which are still invariant by measure-preserving isomorphisms. We also show that such operators are law invariant, a much stronger property which is also inherited by their resolvents, the Moreau–Yosida approximations, and the associated semigroup of contractions. These results combine explicit representation formulae for the maximal extension of a monotone operator based on self-dual Lagrangians and a refined study of measure-preserving maps in standard Borel spaces endowed with a nonatomic measure, with applications to the approximation of arbitrary couplings between measures by sequences of maps.

We prove a weak version of the cross-product conjecture: $\textrm {F}(k+1,\ell ) \hskip .06cm \textrm {F}(k,\ell +1) \ge (\frac 12+\varepsilon ) \hskip .06cm \textrm {F}(k,\ell ) \hskip .06cm \textrm {F}(k+1,\ell +1)$, where $\textrm {F}(k,\ell )$ is the number of linear extensions for which the values at fixed elements $x,y,z$ are k and $\ell $ apart, respectively, and where $\varepsilon>0$ depends on the poset. We also prove the converse inequality and disprove the generalized cross-product conjecture. The proofs use geometric inequalities for mixed volumes and combinatorics of words.

Let $m,n\ge 2$ be integers. Denote by $M_n$ the set of $n\times n$ complex matrices and $\|\cdot \|_{(p,k)}$ the $(p,k)$ norm on $M_{mn}$ with a positive integer $k\leq mn$ and a real number $p>2$. We show that a linear map $\phi :M_{mn}\rightarrow M_{mn}$ satisfies

$$ \begin{align*}\|\phi(A\otimes B)\|_{(p,k)}=\|A\otimes B\|_{(p,k)} \mathrm{\quad for~ all\quad}A\in M_m\ \mathrm{and}\ B\in M_n\end{align*} $$

if and only if there exist unitary matrices $U,V\in M_{mn}$ such that

$$ \begin{align*}\phi(A\otimes B)=U(\varphi_1(A)\otimes \varphi_2(B))V \mathrm{\quad for~ all\quad}A\in M_m\ \mathrm{and}\ B\in M_n,\end{align*} $$

where $\varphi _s$ is the identity map or the transposition map $X\mapsto X^T$ for $s=1,2$. The result is also extended to multipartite systems.

Let A be a separable (not necessarily unital) simple $C^*$-algebra with strict comparison. We show that if A has tracial approximate oscillation zero, then A has stable rank one and the canonical map $\Gamma $ from the Cuntz semigroup of A to the corresponding lower-semicontinuous affine function space is surjective. The converse also holds. As a by-product, we find that a separable simple $C^*$-algebra which has almost stable rank one must have stable rank one, provided it has strict comparison and the canonical map $\Gamma $ is surjective.

The purpose of this paper is to introduce and study the following graph-theoretic paradigm. Let

$$ \begin{align*}T_Kf(x)=\int K(x,y) f(y) d\mu(y),\end{align*} $$

$f: X \to {\Bbb R}$

$\mu $

$$ \begin{align*}\Lambda_G(f_1,f_2, \dots, f_n)=\int_{x^1, \dots, x^n \in X} \ \prod_{(i,j) \in {\mathcal E}(G)} K(x^i,x^j) \prod_{l=1}^n f_l(x^l) d\mu(x^l),\end{align*} $$

${\mathcal E}(G)$

$\Lambda _G(p_1, \ldots , p_n)$

$C>0$

(0.1)

$$ \begin{align} \Lambda_G(f_1, \dots, f_n) \leq C \prod_{i=1}^n {||f_i||}_{L^{p_i}(X, \mu)} \end{align} $$

$f_i$

$1\le i\le n$

$T_K$

$X={\Bbb F}_q^d$

$K(x^i,x^j)$

$x^i-x^j$

We study the ring of regular functions on the space of planar electrical networks, which we coin the grove algebra. This algebra is an electrical analog of the Plücker ring studied classically in invariant theory. We develop the combinatorics of double groves to study the grove algebra, and find a quadratic Gröbner basis for the grove ideal.

Building on work of Furstenberg and Tzkoni, we introduce $\mathbf {r}$-flag affine quermassintegrals and their dual versions. These quantities generalize affine and dual affine quermassintegrals as averages on flag manifolds (where the Grassmannian can be considered as a special case). We establish affine and linear invariance properties and extend fundamental results to this new setting. In particular, we prove several affine isoperimetric inequalities from convex geometry and their approximate reverse forms. We also introduce functional forms of these quantities and establish corresponding inequalities.

We introduce a class of Falconer distance problems, which we call of restricted type, lying between the classical version and its pinned variant. Prototypical restricted distance sets are the diagonal distance sets, k-point configuration sets given by

$$ \begin{align*}\Delta^{\mathrm{diag}}(E)= \{ \,|(x,x,\dots,x)-(y_1,y_2,\dots,y_{k-1})| : x, y_1, \dots,y_{k-1} \in E\, \}\end{align*} $$

$E\subset \mathbb {R}^d$

$k\ge 3$

$\Delta ^{\mathrm{diag}}(E)$

(0.1)

$$ \begin{align} \dim(E)> \begin{cases} \frac{2d+1}3, & k=3, \\ \frac{(k-1)d}k,& k\ge 4. \end{cases} \end{align} $$

$C^\omega $

The meridional rank conjecture asks whether the bridge number of a knot in $S^3$ is equal to the minimal number of meridians needed to generate the fundamental group of its complement. In this paper, we investigate the analogous conjecture for knotted spheres in $S^4$. Towards this end, we give a construction to produce classical knots with quotients sending meridians to elements of any finite order in Coxeter groups and alternating groups, which detect their meridional ranks. We establish the equality of bridge number and meridional rank for these knots and knotted spheres obtained from them by twist-spinning. On the other hand, we show that the meridional rank of knotted spheres is not additive under connected sum, so that either bridge number also collapses, or meridional rank is not equal to bridge number for knotted spheres.