Related papers: Equality in the linear algebra bound
A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…
Recently Rohleder proposed a new variational approach to an inequality between the Neumann and Dirichlet eigenvalues in the simply connected planar case using the language of classical vector analysis. Writing his approach in terms of…
This article analyzes the geometric properties of an idempotent, non-associative algebraic structure that extends the Max-Times semiring. This algebraic structure is useful for studying systems of Max-Times and Max-Plus equations, employing…
We develop the theory of halving spaces to obtain lower bounds in real enumerative geometry. Halving spaces are topological spaces with an action of a Lie group $\Gamma$ with additional cohomological properties. For $\Gamma=\mathbb{Z}_2$ we…
We prove new one-dimensional symmetry results for non-negative solutions, possibly unbounded, to the semilinear equation $ -\Delta u= f(u)$ in the upper half-space $\mathbb{R}^{N}_{+}$. Some Liouville-type theorems are also proven in the…
In this short note we give a new upper bound for the size of a set family with a single Hamming distance. Our proof is an application of the linear algebra bound method.
The sharp constants in a family of exponential Sobolev type inequalities in Gauss space are exhibited. They constitute the Gaussian analogues of the Moser inequality in the borderline case of the Sobolev embedding in the Euclidean space.…
We prove some sharp extremal distance results for functions in weighted Bergman spaces on the upper halfplane.We also prove such results in the context of bounded strictly pseudoconvex domains with smooth boundary
We consider a class of fully non-linear parabolic equations on compact Hermitian manifolds involving symmetric functions of partial Laplacians. Under fairly general assumptions, we show the long time existence and convergence of solutions.…
Some inequalities for positive linear maps on matrix algebras are given, especially asymmetric extensions of Kadison's inequality and several operator versions of Chebyshev's inequality. We also discuss well-known results around the matrix…
The concept of equilibrium is a general tool to fill the gap between macroscopic and mesoscopic information, both within kinetic systems and kinetic schemes. This work explores the use of equilibria to devise numerical boundary conditions…
A logic is said to admit an equational completeness theorem when it can be interpreted into the equational consequence relative to some class of algebras. We characterize logics admitting an equational completeness theorem that are either…
In the present paper we consider a general family of two dimensional wave equations which represents a great variety of linear and nonlinear equations within the framework of the transformations of equivalence groups. We have investigated…
Fractional-order elliptic problems are investigated in case of inhomogeneous Dirichlet boundary data. The boundary integral form is proposed as a suitable mathematical model. The corresponding theory is completed by sharpening the mapping…
We carry out the classification of abelian Lie symmetry algebras of two-dimensional second-order nondegenerate quasilinear evolution equations. It is shown that such an equation is linearizable if it admits an abelian Lie symmetry algebra…
We derive a new bound for some bilinear sums over points of an elliptic curve over a finite field. We use this bound to improve a series of previous results on various exponential sums and some arithmetic problems involving points on…
In this paper, we revisit the problem of classifying real algebraic and semialgebraic sets by their topological types, focusing on establishing the effectiveness of bounds rather than deriving new quantitative estimates. Building on Hardt's…
The aim of the paper is to discuss the relations between the three kinds of objects named in the title. In a sense, this is a survey of such relations; however, some new directions are also considered. This relates, especially, to sections…
In this paper, we introduce a novel generalization of the classical property of algebras known as "being alternative," which we term "partially alternative." This new concept broadens the scope of alternative algebras, offering a fresh…
The aim of this paper is two-fold. First, we prove the existence of Lieb-Robinson bounds for classical particle systems describing harmonic oscillators interacting with arbitrarily many neighbors, both on lattices and on more general…