Polynomials with All Zeros Real and in a Prescribed Interval

We provide a characterization of the real-valued univariate polynomials that have only real zeros, all in a prescribed interval [a,b]. The conditions are stated in terms of positive semidefiniteness of related Hankel matrices.     

Resonant Local Systems on Complements of Discriminantal Arrangements and Sl2Representations

We calculate the skew-symmetric cohomology of the complement of a discriminantal hyperplane arrangement with coefficients in local systems arising in the context of the representation theory of the Lie algebra . For a discriminantal arrangement in ^k, the skew-symmetric cohomology is nontrivial in dimension k–1 precisely when the 'master function' which defines the local system on the complement has nonisolated criticalpoints. In symmetric coordinates, the critical set is a union of lines. Generically, the dimension of this nontrivial skew-symmetric cohomology group is equal to the number of critical lines.     

Double Circulant Codes over \mathbb{Z}_4 and Even Unimodular Lattices

With the help of some new results about weight enumerators of self-dual codes over we investigate a class of double circulant codes over , one of which leads to an extremal even unimodular 40–dimensional lattice. It is conjectured that there should be Nine more constructions of the Leech lattice     

Evaluation Formulas for a Conditional Feynman Integral Over Wiener Paths in Abstract Wiener Space

In this paper, we introduce a simple formula for conditional Wiener integrals over , the space of abstract Wiener space valued continuous functions. Using this formula, we establish various formulas for a conditional Wiener integral and a conditional Feynman integral of functionals on in certain classes which correspond to the classes of functionals on the classical Wiener space introduced by Cameron and Storvick. We also evaluate the conditional Wiener integral and conditional Feynman integral for functionals of the form which are of interest in Feynman integration theories and quantum mechanics.     

Sur la cohomologie à supports compacts des variétés de Shimura pour GSp(4)_\mathbb{Q}

In this paper we compute the cohomology with compact supports of a Siegelthreefold as a virtual module over the product of the Galois group of over and the Hecke algebra. We use a method which has been developed by Ihara, Langlands and Kottwitz: comparison of the Grothendieck--Lefschetz formula and the Arthur--Selberg trace formula.     

A New \mathcal{N}\mathcal{P} -Complete Problem and Public-Key Identification

The appearance of the theory of zero-knowledge, presented by Goldwasser, Micali and Rackoff in 1985, opened a way to secure identification schemes. The first application was the famous Fiat-Shamir scheme based on the problem of modular square roots extraction. In the following years, many other schemes have been proposed, some Fiat-Shamir extensions but also new discrete logarithm based schemes. Therefore, all of them were based on problems from number theory. Their main common drawback is high computational load because of arithmetical operations modulo large integers. Implementation on low-cost smart cards was made difficult and inefficient.With the Permuted Kernels Problem (PKP), Shamir proposed the first efficient scheme allowing for an implementation on such low-cost smart cards, but very few others have afterwards been suggested.In this paper, we present an efficient identification scheme based on a combinatorial -complete problem: the Permuted Perceptrons Problem (PPP). This problem seems hard enough to be unsolvable even with very small parameters, and some recent cryptanalysis studies confirm that position. Furthermore, it admits efficient zero-knowledge proofs of knowledge and so it is well-suited for cryptographic purposes. An actual implementation completes the optimistic opinion about efficiency and practicability on low-cost smart cards, and namely with less than 2KB of EEPROM and just 100 Bytes of RAM and 6.4 KB of communication.     

Quasiconformal Mappings and Solutions of the Dispersionless KP Hierarchy

A formalism for studying dispersionless integrable hierarchies is applied to the dispersionless KP (dKP) hierarchy. We relate this formalism to the theory of quasiconformal mappings on the plane and present some classes of explicit solutions of the dKP hierarchy.     

A Modal Logic Based on Linearly Ordered f-Spaces

A modal logic associated with the -spaces introduced by Ershov is examined. We construct a modal calculus that is complete w.r.t. the class of all strictly linearly ordered -frames, and the class of all strictly linearly ordered -frames.     

On Complete Arcs Arising from Plane Curves

We point out an interplay between -Frobenius non-classical plane curves and complete -arcs in . A typical example that shows how this works is the one concerning an Hermitian curve. We present some other examples here which give rise to the existence of new complete -arcs with parameters and being a power of the characteristic. In addition, for q a square, new complete -arcs with either and or and are constructed by using certain reducible plane curves.     

Interpolation of Intersections Generated by a Linear Functional

Let (X ₀, X ₁) be a Banach couple such that X ₀ ∩ X ₁ is dense in X ₀ and X ₁. By (X ₀, X ₁)_θ,q , 0 < θ < 1, 1 ⩽ q < ∞, we denote the spaces of the real interpolation method. Let ψ be a nonzero linear functional defined on some linear space M ⊂ X ₀ + X ₁ and such that ψ ∈ (X ₀ ∩ X ₁)*, and let N = Ker ψ. We examine conditions under which the natural formula

Image inverse d'un D-module and Newton Polygon)

We show that, under conditions about the microcharacteristic variety of a coherent -module, the Cauchy problem is well-posed in the spaces of formal power series with Gevrey growth. We deduce that the filtration of the Irregularity Sheaf of a holonomic -module, which we defined in a previous work, is preserved under inverse image if some rather general geometric conditions are fullfilled.     

\mathcal{Q}-Universal Quasivarieties of Graphs

It is proved that a quasivariety K of undirected graphs without loops is -universal if and only if K contains some non-bipartite graph.     

The Local Stark Conjecture at a Real Place

A refinement of the rank 1 Abelian Stark conjecture has been formulated by B.Gross. This conjecture predicts some -adic analytic nature of a modification of the Stark unit. The conjecture makes perfect sense even when is an Archimedean place. Here we consider the conjecture when is a real place, and interpret it in terms of 2-adic properties of special values of L-functions. We prove the conjecture for CM extensions; here the original Stark conjecture is uninteresting, but the refined conjecture is nontrivial. In more generality, we show that, under mild hypotheses, if the subgroup of the Galois group generated by complex conjugations has less than full rank, then the refined conjecture implies that the Stark unit should be a square. This phenomenon has been discovered by Dummit and Hayes in a particular type of situation. We show that it should hold in much greater generality.     

Anomalous dimensions of Wilson operators in the N = 4\mathcal{N} = 4 supersymmetric Yang-Mills theory

We present results for the universal anomalous dimension γ_un(j) of Wilson twist-2 operators in the supersymmetric Yang-Mills theory in the first three orders of the perturbation theory. We obtain these expressions by extracting the most complicated terms from the corresponding anomalous dimensions in QCD. The result obtained agrees with the hypothesis of the integrability of the supersymmetric Yang-Mills theory in the context of the AdS/CFT correspondence. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 150, No. 2, pp. 249–262, February, 2007.     

On microfunctions at the boundary along CR manifolds

Let X be a complex analytic manifold, a C ² submanifold, an openset with C ² boundary .Denote by (resp. ) the microlocalization along M (resp. ) of the sheaf of holomorphic functions.In the literature (cf. [A-G], [K-S 1,2])one encounters two classical results concerning the vanishing of the cohomology groups .The most general gives the vanishing outside a range of indices j whose length is equal to (with being the number of respectively positive, negative and null eigenvalues for themicrolocal Levi form ).The sharpest result gives the concentration in a single degree, provided that the difference is locally constant for near p (with for z the base point of p).The first result was restated for the complex in [D'A-Z 2], in the case codim We extend it here to any codimension and moreover we also restate for the second vanishing theorem.We also point out that the principle of our proof, related to a criterion for constancy of sheaves due to [K-S 1], is a quite new one.     

ℓ1-Minimization with Magnitude Constraints in the Frequency Domain

In this paper, we study the -optimal control problem with additional constraints on the magnitude of the closed-loop frequency response. In particular, we study the case of magnitude constraints at fixed frequency points (a finite number of such constraints can be used to approximate an -norm constraint). In previous work, we have shown that the primal-dual formulation for this problem has no duality gap and both primal and dual problems are equivalent to convex, possibly infinite-dimensional, optimization problems with LMI constraints. Here, we study the effect of approximating the convex magnitude constraints with a finite number of linear constraints and provide a bound on the accuracy of the approximation. The resulting problems are linear programs. In the one-block case, both primal and dual programs are semi-infinite dimensional. The optimal cost can be approximated, arbitrarily well from above and within any predefined accuracy from below, by the solutions of finite-dimensional linear programs. In the multiblock case, the approximate LP problem (as well as the exact LMI problem) is infinite-dimensional in both the variables and the constraints. We show that the standard finite-dimensional approximation method, based on approximating the dual linear programming problem by sequences of finite-support problems, may fail to converge to the optimal cost of the infinite-dimensional problem.     

Superlocals in Symmetric and Alternating Groups

On Aschbacher's definition, a subgroup N of a finite group is called a -superlocal for a prime if . We describe the -superlocals in symmetric and alternating groups, thereby resolving part way Problem 11.3 in the Kourovka Notebook [3].     

On Injective and Cofibrant Equivariant Minimal Models

Let X be a G-connected nilpotent simplicial set, where G is a finite Hamiltonian group. We construct a cofibrant equivariant minimal model of X with the strong homotopy type of the injective minimal model of X defined by Triantafillou.     

Kubilius-Type Sequences of Additive Functions

We consider conditions under which the distributions of sequences of integer-valued nonnegative strongly additive functions can be approximated by the distributions of sums of independent random variables.__________Translated from Lietuvos Matematikos Rinkinys, Vol. 45, No. 2, pp. 270–281, April–June, 2005.