Related papers: On Langlands functoriality- reduction to the semis…
In the case of systems composed of identical particles, a typical instance in quantum statistical mechanics, the standard approach to separability and entanglement ought to be reformulated and rephrased in terms of correlations between…
Program equivalence is the fulcrum for reasoning about and proving properties of programs. For noninterference, for example, program equivalence up to the secrecy level of an observer is shown. A powerful enabler for such proofs are logical…
We consider the entanglement Hamiltonian for an interval in a chain of free fermions in its ground state and show that the lattice expression goes over into the conformal one if one includes the hopping to distant neighbours in the…
In this work, we investigate an effective method for showing that functors between categories are left adjoints. The method applies to a large class of categories, namely locally finitely presentable categories, which are ubiquitous in…
We construct a fully faithful functor from the category of graphs to the category of fields. Using this functor, we resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure S,…
Evolution of systems in which Hamiltonians are generators of gauge transformations is a notion that requires more structure than the canonical theory provides. We identify and study this additional structure in the framework of relational…
This work is intended as an introduction to the statement and the construction of the local Langlands correspondence for GL(n) over p-adic fields. The emphasis lies on the statement and the explanation of the correspondence.
The simplicial extension of any functor from Sets to Sets which commutes with directed colimits takes weak equivalences to weak equivalences. The goal of the present paper is construct a framework which can be used to proof results of this…
The Algebraic lambda-calculus and the Linear-Algebraic lambda-calculus extend the lambda-calculus with the possibility of making arbitrary linear combinations of terms. In this paper we provide a fine-grained, System F-like type system for…
As a continuation of Rabei et al. work [11], the Hamilton- Jacobi partial differential equation is generalized to be applicable for systems containing fractional derivatives. The Hamilton- Jacobi function in configuration space is obtained…
This paper studies the sliced nearby cycle functor and its commutation with duality. Over a Henselian discrete valuation ring, we show that this commutation holds, confirming a prediction of Deligne. As an application we give a new proof of…
An important result in quasi-category theory due to Lurie is the that cocartesian fibrations are exponentiable, in the sense that pullback along a cocartesian fibration admits a right Quillen right adjoint that moreover preserves cartesian…
We present a simple and effective scheme for dependency parsing which is based on bidirectional-LSTMs (BiLSTMs). Each sentence token is associated with a BiLSTM vector representing the token in its sentential context, and feature vectors…
A new combinatorial object is introduced, the part-frequency matrix sequence of a partition, which is elementary to describe and is naturally motivated by Glaisher's bijection. We prove results that suggest surprising usefulness for such a…
We present a systematic semiclassical procedure to compute the partition function for scalar field theories at finite temperature. The central objects in our scheme are the solutions of the classical equations of motion in imaginary time,…
The main objective of this paper is to give a wide study on the conformable fractional Legendre polynomials (CFLPs). This study is assumed to be a generalization and refinement, in an easy way, of the scalar case into the context of the…
We deal with a family of functionals depending on curvatures and we prove for them compactness and semicontinuity properties in the class of closed and bounded sets which satisfy a uniform exterior and interior sphere condition. We apply…
Interacting systems of particles with generalized statistics are considered on both classical and quantum level. It is shown that all possible quantum states and corresponding processes can be represented in terms of certain specific…
The fact that mean field theory is appropriate to describe an Ising model with long-range interactions has been already shown by Cannas and Tamarit. Although not explicited in our Letter, we have used periodic boundary conditions in all our…
Some type-based approaches to termination use sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted if it is visible in the type system that recursive calls…