相关论文: Dold-Gauss Congruences, Norm Descent, and Rational…

Effective descent morphisms, originally defined in Grothendieck descent theory, form a class of special morphisms within a category. Essentially, an effective descent morphism enables bundles over its codomain to be fully described as…

Differential calculus on discrete sets is developed in the spirit of noncommutative geometry. Any differential algebra on a discrete set can be regarded as a `reduction' of the `universal differential algebra' and this allows a systematic…

We show that any infinite collection $(\Gamma_n)_{n\in \mathbb N}$ of icc, hyperbolic, property (T) groups satisfies the following von Neumann algebraic \emph{infinite product rigidity} phenomenon. If $\Lambda$ is an arbitrary group such…

We prove a number of p-adic congruences for the coefficients of powers of a multivariate polynomial f(x) with coefficients in a ring R of characteristic zero. If the Hasse--Witt operation is invertible, our congruences yield p-adic limit…

We prove a stability theorem for finite-dimensional analytic inverse problems. Let \(U\subset\R^m\) be an open parameter set, let \(F(p)\) be a boundary measurement operator, and let \(R(p)\) be the finite-dimensional quantity to be…

We show some preservation results of amenably extending strongly Ulam stable groups under mild decay assumptions, including quantitative preservation of asymptotic bounds under the assumption that the modulus of stability is H\"older…

We prove two-sided inequalities between the integral moduli of smoothness of a function on $\mathbb{R}^d/\mathbb{T}^d$ and the weighted tail-type integrals of its Fourier transform/series. Sharpness of obtained results in particular is…

Given a certain kind of linear representation of a reductive group, referred to as a quasi-symmetric representation in recent work of \v{S}penko and Van den Bergh, we construct equivalences between the derived categories of coherent sheaves…

The theory of regular cost functions is a quantitative extension to the classical notion of regularity. A cost function associates to each input a non-negative integer value (or infinity), as opposed to languages which only associate to…

We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types. The use of guarded recursive types ensures the productivity of well-typed programs. Guarded recursive…

Deep neural networks constructed from linear maps and positively homogeneous nonlinearities (e.g., ReLU) possess a fundamental gauge symmetry: the network function is invariant to node-wise diagonal rescalings. However, standard gradient…

In this thesis, we develop algorithms similar to the Gaussian elimination algorithm in symplectic and split orthogonal similitude groups. As an application to this algorithm, we compute the spinor norm for split orthogonal groups. Also, we…

The paper deals with Henselian valued field with analytic structure. Actually, we are focused on separated analytic structures, but the results remain valid for strictly convergent analytic ones as well. A classical example of the latter is…

We consider cut-elimination in the sequent calculus for classical first-order logic. It is well known that this system, in its most general form, is neither confluent nor strongly normalizing. In this work we take a coarser (and…

We propose a general way to complete supersymmetric theories with operators below the unitarity bound, adding gauge-singlet fields which enforce the decoupling of such operators. This makes it possible to perform all usual computations, and…

We prove a complexity dichotomy theorem for Holant Problems on 3-regular graphs with an arbitrary complex-valued edge function. Three new techniques are introduced: (1) higher dimensional iterations in interpolation; (2) Eigenvalue Shifted…

In this note we prove convexity, in the sense of Colding-Naber, of the regular set of solutions to some complex Monge-Ampere equations with conical singularities along simple normal crossing divisors. In particular, any two points in the…

We derive cosmological soft theorems for solids coupled to gravity. To this end, we first derive all cosmological adiabatic modes for solids, which display the interesting novelty of non-vanishing anisotropic stresses on large scales. Then,…

We give a survey of Denef's rationality theorem on $p$-adic integrals, its uniform in $p$ versions, the relevant model theory, and a number of applications to counting subgroups of finitely generated nilpotent groups and conjugacy classes…

We study congruences involving truncated hypergeometric series of the form_rF_{r-1}(1/2,...,1/2;1,...,1;\lambda)_{(mp^s-1)/2} = \sum_{k=0}^{(mp^s-1)/2} ((1/2)_k/k!)^r \lambda^k where p is a prime and m, s, r are positive integers. These…