Related papers: Minimal equations and values of generalized lambda…
In this paper, we present a general realizability semantics for the simply typed $\lambda\mu$-calculus. Then, based on this semantics, we derive both weak and strong normalization results for two versions of the $\lambda\mu$-calculus…
We devise a new criterion for linear independence over function fields. Using this tool in the setting of dual t-motives, we find that all algebraic relations among special values of the geometric function field Gamma-function are explained…
A complete classification of unimodular valuations on the set of lattice polygons with values in the spaces of polynomials and formal power series, respectively, is established. The valuations are classified in terms of their behaviour with…
In this paper we study two classes of $\ell$-modular standard modules of the general linear group. The first class is obtained by reducing existing standard modules over $\overline{\mathbb{Q}}_\ell$ to $\overline{\mathbb{F}}_\ell$ with…
Submodular functions describe a variety of discrete problems in machine learning, signal processing, and computer vision. However, minimizing submodular functions poses a number of algorithmic challenges. Recent work introduced an…
The convergence of double Fourier series of functions of bounded partial $\Lambda$-variation is investigated. The sufficient and necessary conditions on the sequence $\Lambda=\{\lambda_n\}$ are found for the convergence of Fourier series of…
We work with semi-algebraic functions on arbitrary real closed fields. We generalize the notion of critical values and prove a Sard type theorem in our framework.
In this work we give a proof of the mean-field limit for $\lambda$-convex potentials using a purely variational viewpoint. Our approach is based on the observation that all evolution equations that we study can be written as gradient flows…
For modular indecomposable representations of a cyclic group $G$ of prime order $p$ we propose a list of polynomial invariants of degree $\leq 3$ that, together with a simple invariant of degree $p$, separate generic orbits and generate the…
We define generalizations of the multiple elliptic gamma functions and the multiple sine functions, associated to good rational cones. We explain how good cones are related to collections of $SL_r(\mathbb{Z})$-elements and prove that the…
In this paper we introduce the relative generalized minimum distance function (RGMDF for short) and it allows us to give an algebraic approach to the relative generalized Hamming weights of the projective Reed--Muller--type codes. Also we…
In recent years, there has been considerable success in computing Ext-groups of modular representations associated to the general linear group by relating this problem to one of computing Ext-groups in functor categories. In this paper, we…
We introduce and solve an infinite class of loop integrals which generalises the well-known ladder series. The integrals are described in terms of single-valued polylogarithmic functions which satisfy certain differential equations. The…
This paper explores the calculus of dual-valued functions and investigates the gamma function, beta function and generalized hypergeometric functions by incorporating dual numbers as parameters and variables. We examine its fundamental…
We present a theory of reduction of binary quadratic forms with coefficients in Z[lambda], where lambda is the minimal translation in a Hecke group. We generalize from the modular group Gamma(1) = SL(2,Z) to the Hecke groups and make…
Submodular functions are a fundamental object of study in combinatorial optimization, economics, machine learning, etc. and exhibit a rich combinatorial structure. Many subclasses of submodular functions have also been well studied and…
In this paper we study the regularity and the boundedness of the minima of two classes of functionals of the calculus of variations
In compositional model-theoretic semantics, researchers assemble truth-conditions or other kinds of denotations using the lambda calculus. It was previously observed that the lambda terms and/or the denotations studied tend to follow the…
Using the theory of $(\varphi, \Gamma)$-modules we generalizes Greenberg's construction of the $\Cal L$-invariant to semistable representations
In the paper we find effective formulas for the invariant functions, appearing in the theory of several complex variables, of the elementary Reinhardt domains. This gives us the first example of a large family of domains for which the…