Partitions of graphs into cographs

Cographs form the minimal family of graphs containing K₁ that is closed with respect to complementation and disjoint union. We discuss vertex partitions of graphs into the smallest number of cographs. We introduce a new parameter, calling the minimum order of such a partition the c-chromatic number of the graph. We begin by axiomatizing several well-known graphical parameters as motivation for this function. We present several bounds on c-chromatic number in terms of well-known expressions. We show that if a graph is triangle-free, then its chromatic number is bounded between the c-chromatic number and twice this number. We show that both bounds are sharp for graphs with arbitrarily high girth. This provides an alternative proof to a result by Broere and Mynhardt; namely, there exist triangle-free graphs with arbitrarily large c-chromatic numbers. We show that any planar graph with girth at least 11 has a c-chromatic number at most two. We close with several remarks on computational complexity. In particular, we show that computing the c-chromatic number is NP-complete for planar graphs.     

Relaxing support vectors for classification

We introduce a novel modification to standard support vector machine (SVM) formulations based on a limited amount of penalty-free slack to reduce the influence of misclassified samples or outliers. We show that free slack relaxes support vectors and pushes them towards their respective classes, hence we use the name relaxed support vector machines (RSVM) for our method. We present theoretical properties of the RSVM formulation and develop its dual formulation for nonlinear classification via kernels. We show the connection between the dual RSVM and the dual of the standard SVM formulations. We provide error bounds for RSVM and show it to be stable, universally consistent and tighter than error bounds for standard SVM. We also introduce a linear programming version of RSVM, which we call RSVMLP. We apply RSVM and RSVMLP to synthetic data and benchmark binary classification problems, and compare our results with standard SVM classification results. We show that relaxed influential support vectors may lead to better classification results. We develop a two-phase method called RSVM² for multiple instance classification (MIC) problems, where RSVM formulations are used as classifiers. We extend the two-phase method to the linear programming case and develop RSVMLP². We demonstrate the classification characteristics of RSVM² and RSVMLP², and report our classification results compared to results obtained by other SVM-based MIC methods on public benchmark datasets. We show that both RSVM² and RSVMLP² are faster and produce more accurate classification results.     

A cohomological construction of quantization functors of Lie bialgebras

We propose a variant to the Etingof-Kazhdan construction of quantization functors. We construct the twistor J_Φ associated to an associator Φ using cohomological techniques. We then introduce a criterion ensuring that the “left Hopf algebra” of a quasitriangular QUE algebra is flat. We prove that this criterion is satisfied at the universal level. This gives a construction of quantization functors, equivalent to the Etingof-Kazhdan construction.     

Hauteurs de sous-espaces sur les corps non commutatifs

We study heights of subspaces of D ^N where D is a finite-dimensional rational division algebra and N a positive integer. We define them in terms of volumes of Euclidean lattices by extending a formula of W. Schmidt so that we recover the classical height if D is commutative. We review basic properties, prove a Siegel Lemma over D, a duality theorem and a new formula for the degree of certain abelian varieties. We further give matrix versions and compare our notion with the height defined through algebraic groups by J. Franke, Y. Manin and Y. Tschinkel.      

Fuzzy capital rationing model

In this paper, we study the fuzzification of Weingartner’s pure capital rationing model and its analysis. We develop a primal–dual pair based on t-norm/t-conorm relation for the constraints and objective function for a fully fuzzified pure capital rationing problem except project selection variables. We define the α$\alpha$-interval under which the weak duality is proved. We perform sensitivity analysis for a change in a budget level or in a cash flow level of a non-basic as well as a basic variable. We analyze the problem based on duality and complementary slackness results. We illustrate the proposed model by computational analysis, and interpret the results.     

Effective PCA for high-dimension, low-sample-size data with singular value decomposition of cross data matrix

In this paper, we propose a new methodology to deal with PCA in high-dimension, low-sample-size (HDLSS) data situations. We give an idea of estimating eigenvalues via singular values of a cross data matrix. We provide consistency properties of the eigenvalue estimation as well as its limiting distribution when the dimension d and the sample size n both grow to infinity in such a way that n is much lower than d. We apply the new methodology to estimating PC directions and PC scores in HDLSS data situations. We give an application of the findings in this paper to a mixture model to classify a dataset into two clusters. We demonstrate how the new methodology performs by using HDLSS data from a microarray study of prostate cancer.     

Rigorous Formulation of a 2D Conformal Model in the Fock–Krein Space: Construction of the Global Op J *-Algebra of Fields and Currents

We use the formalism of the 2D massless scalar field model in an indefinite space of the Fock–Krein type as a basis for constructing a rigorous formulation of 2D quantum conformal theories. We show that the sought construction is a several-stage procedure whose central block is the construction of a new type of representation of the Virasoro algebra. We develop the first stage of this procedure, which is to construct a special global algebra of fields and currents generated by exponential generators. We obtain a system of commutation relations for the Wick-squared currents used in the definition of the Virasoro generators. We prove the existence of Wick exponentials of the current given by operator-valued generalized functions; the sought global algebra is rigorously defined as the algebra of current and field, Wick and normal exponentials on a common dense invariant domain in a Fock–Krein space.     

Friedman-reflexivity

In the present paper, we explore an idea of Harvey Friedman to obtain a coordinate-free presentation of consistency. For some range of theories, Friedman's idea delivers actual consistency statements (modulo provable equivalence). For a wider range, it delivers consistency-like statements.We say that a sentence C is an interpreter of a finitely axiomatised A over U iff it is the weakest statement C over U, with respect to U-provability, such that $U+C$ interprets A. A theory U is Friedman-reflexive iff every finitely axiomatised A has an interpreter over U. Friedman shows that Peano Arithmetic, PA, is Friedman-reflexive.We study the question which theories are Friedman-reflexive. We show that a very weak theory, Peano Corto, is Friedman-reflexive. We do not get the usual consistency statements here, but bounded, cut-free, or Herbrand consistency statements. We illustrate that Peano Corto as a base theory has additional desirable properties.We prove a characterisation theorem for the Friedman-reflexivity of sequential theories. We provide an example of a Friedman-reflexive sequential theory that substantially differs from the paradigm cases of Peano Arithmetic and Peano Corto.Interpreters over a Friedman-reflexive U can be used to define a provability-like notion for any finitely axiomatised A that interprets U. We explore what modal logics this idea gives rise to. We call such logics interpreter logics. We show that, generally, these logics satisfy the Löb Conditions, aka K4. We provide conditions for when interpreter logics extend S4, K45, and Löb's Logic. We show that, if either U or A is sequential, then the condition for extending Löb's Logic is fulfilled. Moreover, if our base theory U is sequential and if, in addition, its interpreters can be effectively found, we prove Solovay's Theorem. This holds even if the provability-like operator is not necessarily representable by a predicate of Gödel numbers.At the end of the paper, we briefly discuss how successful the coordinate-free approach is.     

Finite-sample inference with monotone incomplete multivariate normal data, I

We consider problems in finite-sample inference with two-step, monotone incomplete data drawn from , a multivariate normal population with mean and covariance matrix . We derive a stochastic representation for the exact distribution of , the maximum likelihood estimator of . We obtain ellipsoidal confidence regions for through T², a generalization of Hotelling’s statistic. We derive the asymptotic distribution of, and probability inequalities for, T² under various assumptions on the sizes of the complete and incomplete samples. Further, we establish an upper bound for the supremum distance between the probability density functions of and , a normal approximation to .     

Effective PCA for high-dimension, low-sample-size data with noise reduction via geometric representations

In this article, we propose a new estimation methodology to deal with PCA for high-dimension, low-sample-size (HDLSS) data. We first show that HDLSS datasets have different geometric representations depending on whether a ρ-mixing-type dependency appears in variables or not. When the ρ-mixing-type dependency appears in variables, the HDLSS data converge to an n-dimensional surface of unit sphere with increasing dimension. We pay special attention to this phenomenon. We propose a method called the noise-reduction methodology to estimate eigenvalues of a HDLSS dataset. We show that the eigenvalue estimator holds consistency properties along with its limiting distribution in HDLSS context. We consider consistency properties of PC directions. We apply the noise-reduction methodology to estimating PC scores. We also give an application in the discriminant analysis for HDLSS datasets by using the inverse covariance matrix estimator induced by the noise-reduction methodology.     

Measure functions for frames

This paper addresses the natural question: “How should frames be compared?” We answer this question by quantifying the overcompleteness of all frames with the same index set. We introduce the concept of a frame measure function: a function which maps each frame to a continuous function. The comparison of these functions induces an equivalence and partial order that allows for a meaningful comparison of frames indexed by the same set. We define the ultrafilter measure function, an explicit frame measure function that we show is contained both algebraically and topologically inside all frame measure functions. We explore additional properties of frame measure functions, showing that they are additive on a large class of supersets—those that come from so called non-expansive frames. We apply our results to the Gabor setting, computing the frame measure function of Gabor frames and establishing a new result about supersets of Gabor frames.     

Repetition-free longest common subsequence

We study the following problem. Given two sequences x and y over a finite alphabet, find a repetition-free longest common subsequence of x and y. We show several algorithmic results, a computational complexity result, and we describe a preliminary experimental study based on the proposed algorithms. We also show that this problem is APX-hard.     

An integrable hierarchy including the AKNS hierarchy and its strict version

We present an integrable hierarchy that includes both the AKNS hierarchy and its strict version. We split the loop space g of gl₂ into Lie subalgebras g≥0 and g<0 of all loops with respectively only positive and only strictly negative powers of the loop parameter. We choose a commutative Lie subalgebra C in the whole loop space s of sl₂ and represent it as C = C≥0⊕C<0. We deform the Lie subalgebras C≥0 and C<0 by the respective groups corresponding to g<0 and g≥0. Further, we require that the evolution equations of the deformed generators of C≥0 and C<0 have a Lax form determined by the original splitting. We prove that this system of Lax equations is compatible and that the equations are equivalent to a set of zero-curvature relations for the projections of certain products of generators. We also define suitable loop modules and a set of equations in these modules, called the linearization of the system, from which the Lax equations of the hierarchy can be obtained. We give a useful characterization of special elements occurring in the linearization, the so-called wave matrices. We propose a way to construct a rather wide class of solutions of the combined AKNS hierarchy.     

Stability and localization of unbounded solutions of a nonlinear heat equation in a plane

The article investigates unbounded solutions of the equation u _t = div (u ^σgrad u) + u ^β in a plane. We numerically analyze the stability of two-dimensional self-similar solutions (structures) that increase with blowup. We confirm structural stability of the simple structure with a single maximum and metastability of complex structures. We prove structural stability of the radially symmetrical structure with a zero region at the center and investigate its attraction region. We study the effect of various perturbations of the initial function on the evolution of self-similar solutions. We further investigate how arbitrary compact-support initial distributions attain the self-similar mode, including distributions whose support is different from a disk. We show that the self-similar mode described by a simple radially symmetrical structure is achieved only in the central region, while the entire localization region does not have enough time to transform into a disk during blowup. We show for the first time that simple structures may merge into a complex structure, which evolves for a long time according to self-similar law.     

Inverse problems for multi-valued quasi variational inequalities and noncoercive variational inequalities with noisy data

ABSTRACT

We study the inverse problem of identifying a variable parameter in variational and quasi-variational inequalities. We consider a quasi-variational inequality involving a multi-valued monotone map and give a new existence result. We then formulate the inverse problem as an optimization problem and prove its solvability. We also conduct a thorough study of the inverse problem of parameter identification in noncoercive variational inequalities which appear commonly in applied models. We study the inverse problem by posing optimization problems using the output least-squares and the modified output least-squares. Using regularization, penalization, and smoothing, we obtain a single-valued parameter-to-selection map and study its differentiability. We consider optimization problems using the output least-squares and the modified output least-squares for the regularized, penalized and smoothened variational inequality. We give existence results, convergence analysis, and optimality conditions. We provide applications and numerical examples to justify the proposed framework.     

Aluthge transforms of unbounded weighted composition operators in L2-spaces

We describe the Aluthge transform of an unbounded weighted composition operator acting in an L²-space. We show that its closure is also a weighted composition operator with the same symbol and a modified weight function. We investigate its dense definiteness. We characterize p-hyponormality of unbounded weighted composition operators and provide results on how it is affected by the Aluthge transformation. We show that the only fixed points of the Aluthge transformation on weighted composition operators are quasinormal ones.     

Mathematics teacher education advanced methods: an example in dynamic geometry

We present a research work about an innovative national teacher training program in France: the Pairform@nce program, designed to sustain ICT integration. We study here training for secondary school teachers, whose objective is to foster the development of an inquiry-based approach in the teaching of mathematics, using investigative potentialities of dynamic geometry environments. We adopt the theoretical background of the documentational approach to didactics. We focus on the interactions between teachers and resources: teachers’ professional knowledge influences these interactions, which at the same time yield knowledge evolutions, a twofold process that we conceptualise as a documentational genesis. We followed in particular the work of a team of trainees; drawing on the data collected, we analyse their professional development, related with the training. We observe intertwined evolutions and stabilities, consistent with ongoing geneses.