相关论文: A Type-Directed Negation Elimination

Free variables occur frequently in mathematics and computer science with ad hoc and altering semantics. We present the most recent version of our free-variable framework for two-valued logics with properly improved functionality, but only…

Prompted by an observation about the integral of exponential functions of the form $f(x)=\lambda e^{\alpha x}$, we investigate the possibility to exactly integrate families of functions generated from a given function by scaling or by…

We give an alternative method to obtain normal forms of reversible equivariant vector fields. We adapt the classical method using tools from invariant theory to establish formulae that take symmetries into account as a starting point.…

A general form factor formula for the scaling Z(N)-Ising model is constructed. Exact expressions for matrix elements are obtained for several local operators. In addition, the commutation rules for order, disorder parameters and para-Fermi…

Any deformation of a Weyl or Clifford algebra can be realized through some change of generators in the undeformed algebra. Here we briefly describe and motivate our systematic procedure for constructing all such changes of generators for…

Affine transformations (dilatations and translations) are used to define a deformation of one-dimensional $N=2$ supersymmetric quantum mechanics. Resulting physical systems do not have conserved charges and degeneracies in the spectra.…

We describe a novel method for bounding the dimension $d$ of the largest simple Hecke submodule of $S_2(\Gamma_0(N);\mathbb{Q})$ from below. Such bounds are of interest because of their relevance to the structure of $J_0(N)$, for instance.…

The denominator formula for the Monster Lie algebra is the product expansion for the modular function $j(z)-j(\tau)$ in terms of the Hecke system of $\operatorname{SL}_2(\mathbb{Z})$-modular functions $j_n(\tau)$. This formula can be…

A similarity structure on a connected manifold M is a Riemannian metric on its universal cover such that the fundamental group of M acts by similarities. If the manifold M is compact, we show that the universal cover admits a de Rham…

This paper tackles the problem of formulating and proving the completeness of focused-like proof systems in an automated fashion. Focusing is a discipline on proofs which structures them into phases in order to reduce proof search…

We investigate the expressive power of Higher-Order Datalog$^\neg$ under both the well-founded and the stable model semantics, establishing tight connections with complexity classes. We prove that under the well-founded semantics, for all…

We prove the following criterion for the pro-representability of the deformation cohomology of a commutative formal Lie group. Let f be a flat and separated morphism between noetherian schemes. Assume that the target of f is flat over the…

Let $\mathbb{H}\trianglelefteq\mathbb{G}$ be a closed normal subgroup of a locally compact quantum group. We introduce a strictly positive group-like element affiliated with $L^{\infty}(\mathbb{G})$ that, roughly, measures the failure of…

The Deligne-Langlands correspondence parametrizes irreducible representations of the affine Hecke algebra $\mathcal{H}^{\text{aff}}$ by certain perverse sheaves. We show that this can be lifted to an equivalence of triangulated categories.…

Given an associative, not necessarily commutative, ring R with identity, a formal matrix calculus is introduced and developed for pairs of matrices over R. This calculus subsumes the theory of homogeneous systems of linear equations with…

We discuss algebraic and combinatorial aspects of the Hamiltonian normal form theory. The main objective is to describe the normal form near a singular point purely in terms of the original Hamiltonian, avoiding the normalization procedure.…

We define an extension of lambda-calculus with dependents types that enables us to encode transparent and opaque probabilistic programs and prove a strong normalisation result for it by a reducibility technique. While transparent…

We show how one can construct a differential calculus over an algebra where position variables x and momentum variables p have be defined. As the simplest example we consider the one-dimensional q-deformed Heisenberg algebra. This algebra…

We consider the untyped lambda calculus with constructors and recursively defined constants. We construct a domain-theoretic model such that any term not denoting bottom is strongly normalising provided all its `stratified approximations'…

Let $\mathcal{L}$ be a first-order two-sorted language. Let $S$ be some fixed structure. A standard structure is an $\mathcal{L}$-structure of the form $(M,S)$, where $M$ is arbitrary. When $S$ is a compact topological space (and…