A Fredholm-type theory for third-kind linear integral equations

The third-kind linear integral equation where g(t) vanishes at a finite number of points in (a, b), is considered. In general, the Fredholm Alternative theory [[5.]] does not hold good for this type of integral equation. However, imposing certain conditions on g(t) and K(t, t′), the above integral equation was shown [[1.], 49–57] to obey a Fredholm-type theory, except for a certain class of kernels for which the question was left open. In this note a theory is presented for the equation under consideration with some additional assumptions on such kernels.     

Automata finiteness criterion in terms of van der Put series of automata functions

In the paper we develop the p-adic theory of discrete automata. Every automaton \mathfrakA\mathfrak{A} (transducer) whose input/output alphabets consist of p symbols can be associated to a continuous (in fact, 1-Lipschitz) map from p-adic integers to p-adic integers, the automaton function f_\mathfrakA f_\mathfrak{A} . The p-adic theory (in particular, the p-adic ergodic theory) turned out to be very efficient in a study of properties of automata expressed via properties of automata functions. In the paper we prove a criterion for finiteness of the number of states of automaton in terms of van der Put series of the automaton function. The criterion displays connections between p-adic analysis and the theory of automata sequences.     

Algebraic modular forms

In this paper, we develop an algebraic theory of modular forms, for connected, reductive groupsG overQ with the property that every arithmetic subgroup Γ ofG(Q) is finite. This theory includes our previous work [15] on semi-simple groupsG withG(R) compact, as well as the theory of algebraic Hecke characters for Serre tori [20]. The theory of algebraic modular forms leads to a workable theory of modular forms (modp), which we hope can be used to parameterize odd modular Galois representations. The theory developed here was inspired by a letter of Serre to Tate in 1987, which has appeared recently [21]. I want to thank Serre for sending me a copy of this letter, and for many helpful discussions on the topic.     

Toral algebraic sets and function theory on polydisks

A toral algebraic set A is an algebraic set in ℂ ⁿ whose intersection with T ⁿ is sufficiently large to determine the holomorphic functions on A. We develop the theory of these sets, and give a number of applications to function theory in several variables and operator theoretic model theory. In particular, we show that the uniqueness set for an extremal Pick problem on the bidisk is a toral algebraic set, that rational inner functions have zero sets whose irreducible components are not toral, and that the model theory for a commuting pair of contractions with finite defect lives naturally on a toral algebraic set.     

Linguistic modelling and information coarsening based on prototype theory and label semantics

The theory of prototypes provides a new semantic interpretation of vague concepts. In particular, the calculus derived from this interpretation results in the same calculus as label semantics proposed by Lawry. In the theory of prototypes, each basic linguistic label L has the form ‘about P’, where P is a set of prototypes of L and the neighborhood size of the underlying concept is described by the word ‘about’ which represents a probability density function δ on [0,+∞). In this paper we propose an approach to vague information coarsening based on the theory of prototypes. Moreover, we propose a framework for linguistic modelling within the theory of prototypes, in which the rules are concise and transparent. We then present a linguistic rule induction method from training data based on information coarsening and data clustering. Finally, we apply this linguistic modelling method to some benchmark time series prediction problems, which show that our linguistic modelling and information coarsening methods are potentially powerful tools for linguistic modelling and uncertain reasoning.     

Frame Multiplication Theory and a Vector-Valued DFT and Ambiguity Function

Vector-valued discrete Fourier transforms (DFTs) and ambiguity functions are defined. The motivation for the definitions is to provide realistic modeling of multi-sensor environments in which a useful time–frequency analysis is essential. The definition of the DFT requires associated uncertainty principle inequalities. The definition of the ambiguity function requires a component that leads to formulating a mathematical theory in which two essential algebraic operations can be made compatible in a natural way. The theory is referred to as frame multiplication theory. These definitions, inequalities, and theory are interdependent, and they are the content of the paper with the centerpiece being frame multiplication theory. The technology underlying frame multiplication theory is the theory of frames, short time Fourier transforms, and the representation theory of finite groups. The main results have the following form: frame multiplication exists if and only if the finite frames that arise in the theory are of a certain type, e.g., harmonic frames, or, more generally, group frames. In light of the complexities and the importance of the modeling of time-varying and dynamical systems in the context of effectively analyzing vector-valued multi-sensor environments, the theory of vector-valued DFTs and ambiguity functions must not only be mathematically meaningful, but it must have constructive implementable algorithms, and be computationally viable. This paper presents our vision for resolving these issues, in terms of a significant mathematical theory, and based on the goal of formulating and developing a useful vector-valued theory.

     

Vector-valued Modulation Spaces and Localization Operators with Operator-valued Symbols

We study the short-time Fourier transformation, modulation spaces, Gabor representations and time-frequency localization operators, for functions and tempered distributions that have as range space a Banach or a Hilbert space. In the Banach space case the theory of modulation spaces contains some modifications of the scalar-valued theory, depending on the Banach space. In the Hilbert space case the modulation spaces have properties similar to the scalar-valued case and the Gabor frame theory essentially works. For localization operators in this context symbols are operator-valued. We generalize two results from the scalar-valued theory on continuity on certain modulation spaces when the symbol belongs to an L^p,q space and M^∞, respectively. The first result is true for any Banach space as range space, and the second result is true for any Hilbert space as range space.     

Slice regular functions on real alternative algebras

In this paper we develop a theory of slice regular functions on a real alternative algebra A. Our approach is based on a well-known Fueter's construction. Two recent function theories can be included in our general theory: the one of slice regular functions of a quaternionic or octonionic variable and the theory of slice monogenic functions of a Clifford variable. Our approach permits to extend the range of these function theories and to obtain new results. In particular, we get a strong form of the fundamental theorem of algebra for an ample class of polynomials with coefficients in A and we prove a Cauchy integral formula for slice functions of class C¹.     

The mathematical theory of defects in a Cosserat continuum

We give a survey of the theory of dislocations and disclinations in moment media. We study the theory of incompatible deformations of three- and two-dimensional Cosserat continua. In the context of a differential-geometric approach we give a physical interpretation of the geometric quantities in terms of the continuous theory of defects.Translated fromMatematicheskie Metody i Fiziko-Mekhanicheskie Polya, Issue 27, 1988, pp. 34–40.     

On the convergence of quasi-newton methods for nonsmooth problems

We develop a theory of quasi-New ton and least-change update methods for solving systems of nonlinear equations F(x) = 0. In this theory, no differentiability conditions are necessary. Instead, we assume that Fcan be approximated, in a weak sense, by an affine function in a neighborhood of a solution. Using this assumption, we prove local and ideal convergence. Our theory can be applied to B-differentiable functions and to partially differentiable functions.     

A comparison between two distinct continuous models in projective cluster theory: The median and the tight-span construction

It is possible to consider two variants of cluster theory: Inaffine cluster theory, one considers collections ofsubsets of a given setX of objects or states, whereas inprojective cluster theory, one considers collections ofsplits (orbipartitions) of that set. In both contexts, it can be desirable to produce acontinuous model, that is, a spaceT encompassing the given setX which represents in a well-specified and more or less parsimonious way all possibleintermediate objects ortransition states compatible with certain restrictions derived from the given collection of subsets or splits. We investigate an interesting and intriguing relationship between two such constructions that appear in the context of projective cluster theory: TheBuneman construction and thetight-span (or justT)construction.     

<Emphasis Type="Italic">n</Emphasis>-Person Second-Order Games: A Paradigm Shift in Game Theory

In this paper, we present a new approach to n-person games based on the Habitual domain theory. Unlike the traditional game theory models, the constructed model captures the fact that the underlying changes in the psychological aspects and mind states of the players over the arriving events are the key factors, which determine the dynamic process of coalition formation. We introduce two new concepts of solution for games: strategically stable mind profile and structurally stable mind profile. The theory introduced in this paper overcomes the dichotomy of non-cooperative/cooperative games, prevailing in the existing game theory, which makes game theory more applicable to real-world game situations.     

The geometry of the asymptotics of polynomial maps

The aim of this paper is to develop a theory for the asymptotic behavior of polynomials and of polynomial maps overR and overC and to apply it to the Jacobian conjecture. This theory gives a unified frame for some results on polynomial maps that were not related before. A well known theorem of J. Hadamard gives a necessary and sufficient condition on a local diffeomorphismf: R ⁿ →R ⁿ to be a global diffeomorphism. In order to show thatf is a global diffeomorphism it suffices to exclude the existence of asymptotic values forf. The real Jacobian conjecture was shown to be false by S. Pinchuk. Our first application is to understand his construction within the general theory of asymptotic values of polynomial maps and prove that there is no such counterexample for the Jacobian conjecture overC. In a second application we reprove a theorem of Jeffrey Lang which gives an equivalent formulation of the Jacobian conjecture in terms of Newton polygons. This generalizes a result of Abhyankar. A third application is another equivalent formulation of the Jacobian conjecture in terms of finiteness of certain polynomial rings withinC[U, V]. The theory has a geometrical aspect: we define and develop the theory of etale exotic surfaces. The simplest such surface corresponds to Pinchuk's construction in the real case. In fact, we prove one more equivalent formulation of the Jacobian conjecture using etale exotic surfaces. We consider polynomial vector fields on etale exotic surfaces and explore their properties in relation to the Jacobian conjecture. In another application we give the structure of the real variety of the asymptotic values of a polynomial mapf: R ² →R ² .     

Failure of n‐uniqueness: a family of examples

In this paper, the connections between model theory and the theory of infinite permutation groups (see 11 ) are used to study the n‐existence and the n‐uniqueness for n‐amalgamation problems of stable theories. We show that, for any n ? 2, there exists a stable theory having (k + 1)‐existence and k‐uniqueness, for every k ? n, but has neither (n + 2)‐existence nor (n + 1)‐uniqueness. In particular, this generalizes the example, for n = 2, due to Hrushovski given in 3 . © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Area-Minimizing Currents mod 2Q: Linear Regularity Theory

We establish a theory of Q -valued functions minimizing a suitable generalization of the Dirichlet integral. In a second paper the theory will be used to approximate efficiently area minimizing currents mod(p) when p = 2Q , and to establish a first general partial regularity theorem for every p in any dimension and codimension . © 2020 Wiley Periodicals LLC.     

Finitely generated submodels of an uncountably categorical homogeneous structure

We generalize the result of non‐finite axiomatizability of totally categorical first‐order theories from elementary model theory to homogeneous model theory. In particular, we lift the theory of envelopes to homogeneous model theory and develope theory of imaginaries in the case of ω‐stable homogeneous classes of finite U‐rank. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Local set theory

In 1945, Eilenberg and MacLane introduced the new mathematical notion of category. Unfortunately, from the very beginning, category theory did not fit into the framework of either Zermelo—Fraenkel set theory or even von Neumann—Bernays—Gödel set-class theory. For this reason, in 1959, MacLane posed the general problem of constructing a new, more flexible, axiomatic set theory which would be an adequate logical basis for the whole of naïve category theory. In this paper, we give axiomatic foundations for local set theory. This theory might be one of the possible solutions of the MacLane problem.     

Cotorsion Theories Cogenerated by a Torsionfree Class

Let R be a right perfect ring, and let (?, 𝒞) be a cotorsion theory in the category of right R-modules ? _R . In this article, it is shown that every right R-module has a superfluous ?-cover if and only if there exists a torsion theory (𝒜, ?) such that (?, 𝒞) is cogenerated by ?. It is also proved that if (𝒜, ?) is a cosplitting torsion theory, then (^⊥?, (^⊥?)^⊥) is a hereditary and complete cotorsion theory, and if (𝒜, ?) is a centrally splitting torsion theory, then (^⊥?, (^⊥?)^⊥) is a hereditary and perfect cotorsion theory.     

Densité de l'intégrale d'aire et intégrales singulières

In his 1983 paper [3], R. F. Gundy introduced a new functional related to the Littlewood-Paley theory, called thedensity of the area integral. In this paper, we prove that this functional (although highly non-linear) can be expressed as the principal value of an explicit singular integral. This result provides us with a new and precise connection between the density of the area integral and the theory of Calderón-Zygmund operators. It does not seem to be a consequence of the standard Calderón-Zygmund-Cotlar theory, because thesign of a harmonic function in the half-space fails to have, in some appropriate sense, boundary limits.      

Sufficient Dimension Reduction and Graphics in Regression

In this article, we review, consolidate and extend a theory for sufficient dimension reduction in regression settings. This theory provides a powerful context for the construction, characterization and interpretation of low-dimensional displays of the data, and allows us to turn graphics into a consistent and theoretically motivated methodological body. In this spirit, we propose an iterative graphical procedure for estimating the meta-parameter which lies at the core of sufficient dimension reduction; namely, the central dimension-reduction subspace.