Regular<Emphasis Type="Italic">n</Emphasis>-simplices in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> with vertices in ℤ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

In this paper theI andII regularn-simplices are introduced. We prove that the sufficient and necessary conditions for existence of anI regularn-simplex in ℝ ⁿ are that ifn is even thenn = 4m(m + 1), and ifn is odd thenn = 4m + 1 with thatn + 1 can be expressed as a sum of two integral squares orn = 4m - 1, and that the sufficient and necessary condition for existence of aII regularn-simplex in ℝ ⁿ isn = 2m ² - 1 orn = 4m(m + 1)(m ∈ ℕ). The connection between regularn-simplex in ℝ ⁿ and combinational design is given.     

On a space of smooth functions on a convex unbounded set in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> admitting holomorphic extension in ℂ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

For some given logarithmically convex sequence M of positive numbers we construct a subspace of the space of rapidly decreasing infinitely differentiable functions on an unbounded closed convex set in ? ⁿ . Due to the conditions on M each function of this space admits a holomorphic extension in ? ⁿ . In the current article, the space of holomorphic extensions is considered and Paley-Wiener type theorems are established. To prove these theorems, some auxiliary results on extensions of holomorphic functions satisfying some weighted L ²-bounds in a domain of holomorphy in ? ⁿ are obtained with the aid of L. Hörmander’s method of L ²-bounds for the \(\bar \partial\) operator. Also, some new facts on the Fourier-Laplace transform of tempered distributions complementing some well-known results of V.S. Vladimirov are employed.     

On Solvability of Regular Hypoelliptic Equations in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

In this paper the unique solvability of regular hypoelliptic equations in multianisotropic weighted functional spaces is proved by means of special integral representation of functions through a regular operator. The existence of the solutions is proved by constructing approximate solutions using multianisotropic integral operators.     

On sets of directions determined by subsets of ℝ<Superscript><Emphasis Type="Italic">d</Emphasis></Superscript>

Given E ? ? ^d , d ≥ 2, define

$D(E) \equiv \left\{ {{{x - y} \over {\left| {x - y} \right|}}:x,y \in E} \right\} \subset {S^{d - 1}}$

to be the set of directions determined by E. We prove that if the Hausdorff dimension of E is greater than d ? 1, then σ(D(E)) > 0, where σ denotes the surface measure on S ^d?1. In the process, we prove some tight upper and lower bounds for the maximal function associated with the Radon-Nikodym derivative of the natural measure on D. This result is sharp, since the conclusion fails to hold if E is a (d ? 1)-dimensional hyper-plane. This result can be viewed as a continuous analog of a recent result of Pach, Pinchasi, and Sharir ([22, 23]) on directions determined by finite subsets of ? ^d . We also discuss the case when the Hausdorff dimension of E is precisely d ? 1, where some interesting counter-examples have been obtained by Simon and Solomyak ([25]) in the planar case. In response to the conjecture stated in this paper, T. Orponen and T. Sahlsten ([20]) have recently proved that if the Hausdorff dimension of E equals d ? 1 and E is rectifiable and is not contained in a hyper-pane, the Lebesgue measure of the set of directions is still positive. Finally, we show that our continuous results can be used to recover and, in some cases, improve the exponents for the corresponding results in the discrete setting for large classes of finite point sets. In particular, we prove that a finite point set P ? ? ^d , d ≥ 3, satisfying a certain discrete energy condition (Definition 3.1) determines ? #P distinct directions.

     

Minimal helix surfaces in <Emphasis Type="Italic">N</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>×ℝ

An immersed surface M in N ⁿ ×ℝ is a helix if its tangent planes make constant angle with ∂ _t . We prove that a minimal helix surface M, of arbitrary codimension is flat. If the codimension is one, it is totally geodesic. If the sectional curvature of N is positive, a minimal helix surfaces in N ⁿ ×ℝ is not necessarily totally geodesic. When the sectional curvature of N is nonpositive, then M is totally geodesic. In particular, minimal helix surfaces in Euclidean n-space are planes. We also investigate the case when M has parallel mean curvature vector: A complete helix surface with parallel mean curvature vector in Euclidean n-space is a plane or a cylinder of revolution. Finally, we use Eikonal f functions to construct locally any helix surface. In particular every minimal one can be constructed taking f with zero Hessian.     

On the regularity of scalar <Emphasis Type="Italic">p</Emphasis>-Harmonic functions in <Emphasis Type="Italic">n</Emphasis> dimensions with 2 ≤ <Emphasis Type="Italic">p</Emphasis> < <Emphasis Type="Italic">n</Emphasis>

Using Tilli’s technique [Cal Var 25(3):395–401, 2006], we shall give a new proof of the regularity of the local minima of the functional

$J\left( u\right) =\int\limits_{\Omega } \left\vert \partial u\right\vert^{p}\,dx$

with Ω a domain of class C ^{0, 1} in \({\mathbb{R}^{n}}\) and 2 ≤ p < n.

     

Dual Complexes of Cubical Subdivisions of ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

We use a distortion to define the dual complex of a cubical subdivision of ℝ ⁿ as an n-dimensional subcomplex of the nerve of the set of n-cubes. Motivated by the topological analysis of high-dimensional digital image data, we consider such subdivisions defined by generalizations of quad- and oct-trees to n dimensions. Assuming the subdivision is balanced, we show that mapping each vertex to the center of the corresponding n-cube gives a geometric realization of the dual complex in ℝ ⁿ .     

Free involutions on <Emphasis Type="Italic">S</Emphasis><Superscript>1</Superscript> × <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Topological free involutions on S ¹ × S ⁿ are classified up to conjugation. We prove that this is the same as classifying quotient manifolds up to homeomorphism. There are exactly four possible homotopy types of such quotients, and surgery theory is used to classify all manifolds within each homotopy type.     

Difference sets with <Emphasis Type="Italic">n</Emphasis> = 5<Emphasis Type="Italic"> p</Emphasis><Superscript><Emphasis Type="Italic">r</Emphasis></Superscript>

Let D be a (v, k, λ)-difference set in an abelian group G, and (v, 31) = 1. If n = 5p ^r with p a prime not dividing v and r a positive integer, then p is a multiplier of D. In the case 31|v, we get restrictions on the parameters of such difference sets D for which p may not be a multiplier.      

Riemannian metrics on ℝ<Superscript> <Emphasis Type="Italic">n</Emphasis> </Superscript> and Sobolev-type Inequalities

Poincaré-type estimates for a logarithmically concave measure μ on a convex set Ω are obtained. For this purpose, Ω is endowed with a Riemannian metric g in which the Riemannian manifold with measure (Ω, g, μ) has nonnegative Bakry–Emery tensor and, as a corollary, satisfies the Brascamp–Lieb inequality. Several natural classes of metrics (such as Hessian and conformal metrics) are considered; each of these metrics gives new weighted Poincare, Hardy, or log-Sobolev type inequalities and other results.     

<Emphasis Type="Italic">C</Emphasis><Superscript>1+<Emphasis Type="Italic">α</Emphasis></Superscript>-Regularity for Two-Dimensional Almost-Minimal Sets in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

We give a new proof and a partial generalization of Jean Taylor’s result (Ann. Math. (2) 103(3), 489–539, 1976) that says that Almgren almost-minimal sets of dimension 2 in ℝ³ are locally C ^1+α -equivalent to minimal cones. The proof is rather elementary, but uses a local separation result proved in Ann. Fac. Sci. Toulouse 18(1), 65–246, 2009 and an extension of Reifenberg’s parameterization theorem (David et al. in Geom. Funct. Anal. 18, 1168–1235, 2008). The key idea is still that if X is the cone over an arc of small Lipschitz graph in the unit sphere, but X is not contained in a disk, we can use the graph of a harmonic function to deform X and substantially diminish its area. The local separation result is used to reduce to unions of cones over arcs of Lipschitz graphs. A good part of the proof extends to minimal sets of dimension 2 in ℝ ⁿ , but in this setting our final regularity result on E may depend on the list of minimal cones obtained as blow-up limits of E at a point.     

The index of semielliptic operators in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

The paper investigates the index of some linear, differential, semielliptic operators with variable coefficients of a special form in ? ⁿ . In particular, additional conditions on the symbol are found that render the index finite. The operators are considered in the weighted Sobolev spaces.     

Square functions and <Emphasis Type="Italic">H</Emphasis><Superscript>∞</Superscript> calculus on subspaces of <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> and on Hardy spaces

Let X be a (closed) subspace of L^p with 1≤p<∞, and let A be any sectorial operator on X. We consider associated square functions on X, of the form and we show that if A admits a bounded H^∞ functional calculus on X, then these square functions are equivalent to the original norm of X. Then we deduce a similar result when X=H¹(ℝ^N) is the usual Hardy space, for an appropriate choice of || ||_F. For example if N=1, the right choice is the sum for h ∈ H¹(ℝ), where H denotes the Hilbert transform.     

On Hamiltonian-Minimal Isotropic Homogeneous Tori in ℂ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> and ℂP<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

We study isotropic homogeneous tori in ?ⁿ and ?Pⁿ. We find necessary and sufficient conditions for their Hamiltonian minimality.     

On 2 – (<Emphasis Type="Italic">n</Emphasis><Superscript>2</Superscript>, 2<Emphasis Type="Italic">n</Emphasis>, 2<Emphasis Type="Italic">n</Emphasis>–1) designs with three intersection numbers

The simple incidence structure , formed by the points and the unordered pairs of distinct parallel lines of a finite affine plane of order n > 4, is a 2 – (n ²,2n,2n–1) design with intersection numbers 0,4,n. In this paper, we show that the converse is true, when n ≥ 5 is an odd integer. Supported by M.I.U.R., Università di Palermo.     

Factorization properties of (<Emphasis Type="Italic">n</Emphasis> × <Emphasis Type="Italic">n</Emphasis>) Boolean matrices

It is proved that every (n × n) Boolean matrix can be expressed as a product of primes and elementary matrices in the semigroup of Boolean matrices.     

The <Emphasis Type="Italic">F</Emphasis><Superscript><Emphasis Type="Italic">ω</Emphasis></Superscript>-normalizers of finite groups

Given a nonempty set ω of primes and a nonempty formation F of finite groups, we define the F ^ω -normalizer in a finite group and study their properties (existence, invariance under certain homomorphisms, conjugacy, embedding, and so on) in the case that F is an ω-local formation. We so develop the results of Carter, Hawkes, and Shemetkov on the F-normalizers in groups.     

On the complexity of the family of convex sets in ℝ<Superscript> <Emphasis Type="Italic">d</Emphasis> </Superscript>

Estimates of quantities characterizing the complexity of the family of convex subsets of the d-dimensional cube [1, n]^d as n→∞ are given. The geometric properties of spaces with norm generated by the generalized majorant of partial sums are studied.     

Continuity properties of law-invariant (quasi-)convex risk functions on <Emphasis Type="Italic">L</Emphasis><Superscript>∞</Superscript>

We study continuity properties of law-invariant (quasi-)convex functions \({f:L^\infty(\Omega, \mathcal{F}, \mathbb{P}) \to (-\infty,\infty]}\) over a non-atomic probability space \({(\Omega, \mathcal{F}, \mathbb{P})}\). This is a supplementary note to Jouini et al. (Adv Math Econ 9:49–71, 2006).     

On coherent systems of type (<Emphasis Type="Italic">n</Emphasis>, <Emphasis Type="Italic">d</Emphasis>, <Emphasis Type="Italic">n</Emphasis> + 1) on Petri curves

We study coherent systems of type (n, d, n + 1) on a Petri curve X of genus g ≥ 2. We describe the geometry of the moduli space of such coherent systems for large values of the parameter α. We determine the top critical value of α and show that the corresponding “flip” has positive codimension. We investigate also the non-emptiness of the moduli space for smaller values of α, proving in many cases that the condition for non-emptiness is the same as for large α. We give some detailed results for g ≤ 5 and applications to higher rank Brill–Noether theory and the stability of kernels of evaluation maps, thus proving Butler’s conjecture in some cases in which it was not previously known. The authors are members of the research group VBAC (Vector Bundles on Algebraic Curves). The first two authors were supported by EPSRC grant GR/T22988/01 for a visit to the University of Liverpool. The second author acknowledges the support of CONACYT grant 48263-F. The third author thanks CIMAT, Guanajuato, México and California State University Channel Islands, where a part of this paper was completed, and acknowledges support from the Academia Mexicana de Ciencias, under its exchange agreement with the Royal Society of London.