A note on fundamental,non-fundamental,and robust cycle bases

In many biological systems, robustness is achieved by redundant wiring, and reflected by the presence of cycles in the graphs connecting the systems’ components. When analyzing such graphs, cyclically robust cycle bases of are of interest since they can be used to generate all cycles of a given 2-connected graph by iteratively adding basis cycles. It is known that strictly fundamental (or Kirchhoff) bases, i.e., those that can be derived from a spanning tree, are not necessarily cyclically robust. Here we note that, conversely, cyclically robust bases (even of planar graphs) are not necessarily fundamental. Furthermore, we present a class of cubic graphs for which cyclically robust bases can be explicitly constructed.     

Explicit construction of self-dual integral normal bases for the square-root of the inverse different

Let K be a finite extension of Qp, let L/K be a finite abelian Galois extension of odd degree and let OL be the valuation ring of L. We define AL/K to be the unique fractional OL-ideal with square equal to the inverse different of L/K. For p an odd prime and L/Qp contained in certain cyclotomic extensions, Erez has described integral normal bases for AL/Qp that are self-dual with respect to the trace form. Assuming K/Qp to be unramified we generate odd abelian weakly ramified extensions of K using Lubin-Tate formal groups. We then use Dwork's exponential power series to explicitly construct self-dual integral normal bases for the square-root of the inverse different in these extensions.     

Towers of surfaces dominated by products of curves and elliptic curves of large rank over function fields

With the goal of producing elliptic curves and higher-dimensional abelian varieties of large rank over function fields, we provide a geometric construction of towers of surfaces dominated by products of curves; in the case where the surface is defined over a finite field our construction yields families of smooth, projective curves whose Jacobians satisfy the conjecture of Birch and Swinnerton-Dyer. As an immediate application of our work we employ known results on analytic ranks of abelian varieties defined in towers of function field extensions, producing a one-parameter family of elliptic curves over Fq(t1/d) whose members obtain arbitrarily large rank as d→∞.     

Fully Optimal Bases and the Active Bijection in Graphs,Hyperplane Arrangements,and Oriented Matroids

In this note, we present the main results of a series of forthcoming papers, dealing with bi-jective generalizations of some counting formulas. New intrinsic constructions in oriented matroids on a linearly ordered set of elements establish notably structural links between counting regions and linear programming. We introduce fully optimal bases, which have a simple combinatorial characterization, and strengthen the well-known optimal bases of linear programming. Our main result is that every bounded region of an ordered hyperplane arrangement, or ordered oriented matroid, has a unique fully optimal basis, providing the active bijection between bounded regions and uniactive internal bases. The active bijec-tion is extended to an activity preserving mapping between all reorientations and all bases of an ordered oriented matroid. It gives a bijective interpretation of the equality of two expressions for the Tutte polynomial, as well as a new expression of this polynomial in terms of beta invariants of minors. There are several refinements, such as an activity preserving bijection between regions (acyclic reorientations) and no-broken-circuit subsets, and others in terms of hyperplane arrangements, graphs, and permutations.     

Bases-cobases graphs and polytopes of matroids

LetM be ablock matroid (i.e. a matroid whose ground setE is the disjoint union of two bases). We associate withM two objects:

1. Thebases-cobases graph G=G(M,M ^*) having as vertices the basesB ofM for which the complementE\B is also a base, and as edges the unordered pairs (B,B′) of such bases differing exactly by two elements.
2. Thepolytope of the bases-cobases K=K(M,M ^*) whose extreme points are the incidence vectors of the bases ofM whose complement is also a base.

We prove that, ifM is graphic (or cographic), the distance between any two vertices ofG corresponding to disjoint bases is equal to the rank ofM (generalizing a result of [10]). Concerning the polytope we prove thatK is an hypercube if and only if dim(K)=rank(M). A constructive characterization of the class of matroids realizing this equality is given.     

Extensions of regular polytopes with preassigned Schläfli symbol

We say that a (d+1)-polytope P is an extension of a polytope K if the facets or the vertex figures of P are isomorphic to K. The Schläfli symbol of any regular extension of a regular polytope is determined except for its first or last entry. For any regular polytope K we construct regular extensions with any even number as first entry of the Schläfli symbol. These extensions are lattices if K is a lattice. Moreover, using the so-called CPR graphs we provide a more general way of constructing extensions of polytopes.     

Analogue of Kida's formula for certain strongly admissible extensions

We study the Iwasawa theory of elliptic curves over certain infinite (non-commutative) p-adic Galois-Lie extensions. In particular, we consider the analogue of the classical Iwasawa λ-invariant and Kida's formula for the dual Selmer group.     

Branching problems for semisimple Lie groups and reproducing kernels

For a semisimple Lie group G satisfying the equal rank condition, the most basic family of unitary irreducible representations is the discrete series found by Harish-Chandra. In this paper, we study some of the branching laws for these when restricted to a subgroup H of the same type by combining the classical results with the recent work of T. Kobayashi. We analyze aspects of having differential operators being symmetry-breaking operators; in particular, we prove in the so-called admissible case that every symmetry breaking (H-map) operator is a differential operator. We prove discrete decomposability under Harish-Chandra's condition of cusp form on the reproducing kernels. Our techniques are based on realizing discrete series representations as kernels of elliptic invariant differential operators.     

Semiclassical resonances associated with a periodic orbit

We consider resonances for a h-pseudo-differential operator H(x, hD _x; h) induced by a periodic orbit of hyperbolic type. We generalize the framework of Gérard and Sjöstrand, in the sense that we allow hyperbolic and elliptic eigenvalues of the Poincarémap, and look for so-called semi-excited resonances with imaginary part of magnitude ?h log h, or h ^δ, with 0 < δ < 1.     

Classical double, R-operators, and negative flows of integrable hierarchies

Using the classical double G of a Lie algebra gequipped with the classical R-operator, we define two sets of functions commuting with respect to the initial Lie-Poisson bracket on g* and its extensions. We consider examples of Lie algebras g with the ??Adler-Kostant-Symes?? R-operators and the two corresponding sets of mutually commuting functions in detail. Using the constructed commutative Hamiltonian flows on different extensions of g, we obtain zero-curvature equations with g-valued U-V pairs. The so-called negative flows of soliton hierarchies are among such equations. We illustrate the proposed approach with examples of two-dimensional Abelian and non-Abelian Toda field equations.     

Some new perspectives in best approximation and interpolation of random data

A new notion of universally optimal experimental design is introduced, relevant from the perspective of adaptive nonparametric estimation. It is demonstrated that both discrete and continuous Chebyshev designs are universally optimal in the problem of fitting properly weighted algebraic polynomials to random data. The result is a direct consequence of the well-known relation between Chebyshev’s polynomials and the trigonometric functions. Optimal interpolating designs in rational regression proved particularly elusive in the past. The question can be effectively handled using its connection to elliptic interpolation, in which the ordinary circular sinus, appearing in the classical trigonometric interpolation, is replaced by the Abel-Jacobi elliptic sinus sn(x, k) of a modulus k. First, it is demonstrated that — in a natural setting of equidistant design — the elliptic interpolant is never optimal in the so-called normal case k ∈ (?1, 1), except for the trigonometric case k = 0. However, the equidistant elliptic interpolation is always optimal in the imaginary case k ∈ i?. Through a relation between elliptic and rational functions, the result leads to a long sought optimal design, for properly weighted rational interpolants. Both the poles and nodes of the interpolants can be conveniently expressed in terms of classical Jacobi’s theta functions.     

Quadratic function fields with exponent two ideal class group

It has been shown by Madden that there are only finitely many quadratic extensions of k(x), k a finite field, in which the ideal class group has exponent two and the infinity place of k(x) ramifies. We give a characterization of such fields that allow us to find a full list of all such field extensions for future reference. In doing so we correct some errors in earlier published literature.     

On standard bases in rings of differential polynomials

We consider Ollivier’s standard bases (also known as differential Gröbner bases) in an ordinary ring of differential polynomials in one indeterminate. We establish a link between these bases and Levi’s reduction process. We prove that the ideal [x ^p ] has a finite standard basis (w.r.t. the so-called β-orderings) that contains only one element. Various properties of admissible orderings on differential monomials are studied. We bring up the question of whether there is a finitely generated differential ideal that does not admit a finite standard basis w.r.t. any ordering.     

An Extension of the Notion of Orthogonality to Banach Spaces

We extend the usual notion of orthogonality to Banach spaces. We show that the extension is quite rich in structure by establishing some of its main properties and consequences. Geometric characterizations and comparison results with other extensions are established. Also, we establish a characterization of compact operators on Banach spaces that admit orthonormal Schauder bases. Finally, we characterize orthogonality in the spaces l₂^p(C).     

M ‐elliptic pseudo‐differential operators on L p (ℝn )

We construct the minimal and maximal extensions in L ^p (?ⁿ ), 1 < p < ∞, for M ‐elliptic pseudo‐differential operators initiated by Garello and Morando. We prove that they are equal and determine the domains of the minimal, and hence maximal, extensions of M ‐elliptic pseudo‐differential operators. For M ‐elliptic pseudodifferential operators with constant coefficients, the spectra and essential spectra are computed. An application to quantization is given. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Existence and uniqueness for several non-linear elliptic problems arising in lubrication theory

We consider the non-linear elliptic equation ∇·(A(x,p)∇p)=∇·b(x,p) with positive Dirichlet boundary data. The coefficients A and b are taken from models used in lubrication theory, and in particular are not defined for negative values of p. We prove some general existence and uniqueness results for a family of models, which extend related results in the literature. These results allow us to prove existence, uniqueness and positivity of the solution to advanced compressible lubrication models such as the kinetic-based Fukui-Kaneko model and the second-order-slip model. We also consider a spring-like model of compliant-foil compressible bearing, and weaken some hypotheses of previous results on more classical models such as the standard Reynolds model and the first-order-slip model.     

Torsion points on elliptic curves over function fields and a theorem of Igusa

If F   is a global function field of characteristic p>3$p>3$, we employ Tate's theory of analytic uniformization to give an alternative proof of a theorem of Igusa describing the image of the natural Galois representation on torsion points of non-isotrivial elliptic curves defined over F. Along the way, using basic properties of Faltings heights of elliptic curves, we offer a detailed proof of the function field analogue of a classical theorem of Shafarevich according to which there are only finitely many F-isomorphism classes of admissible elliptic curves defined over F with good reduction outside a fixed finite set of places of F. We end the paper with an application to torsion points rational over abelian extensions of F.