English
Related papers

Related papers: A remark on algebraic immunity of Boolean function…

200 papers

We study the most-informative Boolean function conjecture using a differential equation approach. This leads to a formulation of a functional inequality on finite-dimensional random variables. We also develop a similar inequality in the…

Information Theory · Computer Science 2025-02-17 Zijie Chen , Amin Gohari , Chandra Nair

We introduce a notion of a noncommutative function defined on a domain of $d$-tuples of bounded operators on an infinite dimensional Hilbert space. Inverse and implicit function theorems in this setting are established. When these…

Functional Analysis · Mathematics 2021-08-25 Mark E. Mancuso

This article defines a complement of a function and conditions for existence of such a complement function and presents few algorithms to construct a complement.

Logic in Computer Science · Computer Science 2014-07-31 Ka. Shrinivaasan

We prove that entire transcendental holomorphic functions with an omitted value have infinite entropy. A proof for general transcendental entire functions will be given in an upcoming paper.

Dynamical Systems · Mathematics 2018-08-07 Anna Miriam Benini , John Erik Fornæss , Han Peters

We show that several spaces of holomorphic functions on a Riemann domain over a Banach space, including the nuclear and Hilbert-Schmidt bounded type, are locally $m$-convex Fr\'echet algebras. We prove that the spectrum of these algebras…

Functional Analysis · Mathematics 2011-10-06 Santiago Muro

We show that the zero locus of an admissible normal function on a smooth complex algebraic variety is algebraic.

Algebraic Geometry · Mathematics 2012-12-11 Patrick Brosnan , Gregory Pearlstein

In this paper we give an effective characterization of Hilbert functions and polynomials of standard algebras over an Artinian equicharacteristic local ring; the cohomological properties of such algebras are also studied. We describe…

Commutative Algebra · Mathematics 2009-09-25 Cristina Blancafort

New unconditional estimates of the divisor and totient functions are contributed to the literature. These results are consistent with the Riemann hypothesis and seem to solve the Nicolas inequality for all sufficiently large integers.

Number Theory · Mathematics 2008-07-16 N. A. Carella

Born-Infeld theory is formulated using an infinite set of gauge fields, along the lines of McClain, Wu and Yu. In this formulation electromagnetic duality is generated by a fully local functional. The resulting consistency problems are…

High Energy Physics - Theory · Physics 2014-11-18 Ingemar Bengtsson

We develop Boolean-valued domain theory and show how the lambda-calculus can be interpreted in using domain-valued random variables. We focus on the reflexive domain construction rather than the language and its semantics. The notion of…

Logic in Computer Science · Computer Science 2026-01-06 Robert Furber , Radu Mardare , Prakash Panangaden , Dana Scott

Using Jacobi's identity we derive a simple expression for the Bessel functions of integer order in terms of combinations of powers and hyperbolic functions of the same argument.

Mathematical Physics · Physics 2016-08-14 V. Bârsan , S. Cojocaru

Using the Galois theory over function field, and the holomorphy of algebroids defined via irreducible polynomial at singular points, we prove the injectivity of any kellerian mapping. The famous Jacobian conjecture is true.

General Mathematics · Mathematics 2017-01-06 Dang Vu Giang

The purpose of this paper is to present the extended definitions and characterizations of the classical notions of APN and maximum nonlinear Boolean functions to deal with the case of mappings from a finite group K to another one N with the…

Cryptography and Security · Computer Science 2011-09-26 Laurent Poinsot , Alexander Pott

This paper illustrates the relationship between boolean propositional algebra and semirings, presenting some results of partial ordering on boolean propositional algebras, and the necessary conditions to represent a boolean propositional…

Rings and Algebras · Mathematics 2009-06-26 Mahesh Rudrachar , Shrisha Rao , Amit Raj

We prove that the theory of the $p$-adics ${\mathbb Q}_p$ admits elimination of imaginaries provided we add a sort for ${\rm GL}_n({\mathbb Q}_p)/{\rm GL}_n({\mathbb Z}_p)$ for each $n$. We also prove that the elimination of imaginaries is…

Logic · Mathematics 2018-01-03 Ehud Hrushovski , Ben Martin , Silvain Rideau , Raf Cluckers

In this article we investigate the notion and basic properties of Boolean algebras and prove the Stone's representation theorem. The relations of Boolean algebras to logic and to set theory will be studied and, in particular, a neat proof…

Logic · Mathematics 2011-12-06 Cheng Hao

We examine how implicit functions on ILB-Fr\'echet spaces can be obtained without metric or norm estimates which are classically assumed. We obtain implicit functions defined on a domain $D$ which is not necessarily open, but which contains…

Functional Analysis · Mathematics 2017-10-31 Jean-Pierre Magnot

In this exposition-type note we present detailed proofs of certain assertions concerning several algebraic properties of the cone and cylinder algebras. These include a determination of the maximal ideals, the solution of the B\'ezout…

Rings and Algebras · Mathematics 2016-02-17 Raymond Mortini , Rudolf Rupp

This paper presents an investigation on the structure of conditional events and on the probability measures which arise naturally in this context. In particular we introduce a construction which defines a (finite) {\em Boolean algebra of…

Logic · Mathematics 2020-06-11 Tommaso Flaminio , Lluis Godo , Hykel Hosni

A correspondence between a monogenic function in an arbitrary finite-dimensional commutative associative algebra and a finite set of monogenic functions in a special commutative associative algebra is established.

Commutative Algebra · Mathematics 2018-03-13 Vitalii Shpakivskyi