The symmetry group of a finite frame

We define the symmetry group of a finite frame as a group of permutations on its index set. This group is closely related to the symmetry group of Vale and Waldron (2005) [12] for tight frames: they are isomorphic when the frame is tight and has distinct vectors. The symmetry group is the same for all similar frames, in particular for a frame, its dual and canonical tight frames. It can easily be calculated from the Gramian matrix of the canonical tight frame. Further, a frame and its complementary frame have the same symmetry group. We exploit this last property to construct and classify some classes of highly symmetric tight frames.     

Symmetry classes of tensors via semigroup operands

The symmetry of tensors, such as the symmetric or antisymmetric ones (built on a finite-dimensional complex vector space) may be described by a complex-valued homomorphism of the symmetric group with the specification that its action equal scalar multiplication by the value, e.g. by 1 or sign. This condition may be construed as a universalizing operand (over the symmetric group with 0) homomorphism from the unsymmetrized tensors—a restructuring which permits a clearer and more effective treatment of these symmetries; freed from the multilinear setting in which they arose, it also points the way to a development of semigroup symmetries on more general universal algebras.     

Practical tests for randomized complete block designs

A class of affine-invariant test statistics, including a sign test and a related family of signed-rank tests, is proposed for randomized complete block designs with one observation per treatment. This class is obtained by using the transformation-retransformation approach of Chakraborty, Chaudhuri and Oja along with a directional transformation due to Tyler. Under the minimal assumption of directional symmetry of the underlying distribution, the null asymptotic distribution of the sign test statistic is shown to be chi-square with p-1 degrees of freedom. The same null distribution is also proved for the family of signed-rank statistics under the assumption of symmetry of the underlying distribution. The Pitman asymptotic relative efficiencies of the tests, relative to Hotelling-Hsu's T² are established. Several score functions are discussed including a simple linear score function and the optimal normal score function. The test based on the linear score function is compared to the other members of this family and other statistics in the literature through efficiency calculations and Monte Carlo simulations. This statistic has an excellent performance over a wide range of distributions and for small as well as large dimensions.     

Symmetry and uniqueness of minimizers of Hartree type equations with external Coulomb potential

In the present article we study the radial symmetry and uniqueness of minimizers of the energy functional, corresponding to the repulsive Hartree equation in external Coulomb potential. To overcome the difficulties, resulting from the “bad” sign of the nonlocal term, we modify the reflection method and obtain symmetry and uniqueness results.     

Affine-Invariant Distances, Envelopes and Symmetry Sets

Affine invariant symmetry sets of planar curves are introduced and studied in this paper. Two different approaches are investigated. The first one is based on affine invariant distances, and defines the symmetry set as the closure of the locus of points on (at least) two affine normals and affine-equidistant from the corresponding points on the curve. The second approach is based on affine bitangent conics. In this case the symmetry set is defined as the closure of the locus of centers of conics with (at least) 3-point contact with the curve at two or more distinct points on the curve. This is equivalent to conic and curve having, at those points, the same affine tangent, or the same Euclidean tangent and curvature. Although the two analogous definitions for the classical Euclidean symmetry set are equivalent, this is not the case for the affine group. We present a number of properties of both affine symmetry sets, showing their similarities with and differences from the Euclidean case. We conclude the paper with a discussion of possible extensions to higher dimensions and other transformation groups, as well as to invariant Voronoi diagrams.     

Hardy-Sobolev extremals, hyperbolic symmetry and scalar curvature equations

We prove nondegeneracy of extremals for some Hardy-Sobolev-Maz'ya inequalities and present applications to scalar curvature-type problems, including the Webster scalar curvature equation in a cylindrically symmetric setting. The main theme is hyperbolic symmetry.     

Two Kinds of Monoclinic-I Martensite and some Insight into the Microstructures they Form

By analysing the facet structure of the convex polytope generated by the twelve transformation strains of cubic to monoclinic-I martensite, we show that there are two different kinds of monoclinic-I martensite. These two kinds differ in the sign of a material parameter. While the symmetry properties of both kinds are the same, the geometrical structure of the set of recoverable strains is different. A key idea is to consider the convex polytope formed by the transformation strains and to study its facets. Another insight is to use invariant theory to exploit the fact that compatible cones are algebraic surfaces. (© 2012 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

混料试验的D—最优对称设计,算法及应用

本文着重研究了混料试验的D—最优对称设计.基于Fedorov及Atwood的迭代方法,作者给出一个构造D—最优对称设计的改进算法.这个新算法由双循环迭代构成:从初始设计中减去最小方差对称点的设计测度;增加设计测度于最大方差的对称设计点,同时,本算法还只在对称子区域中寻找最大方差设计点,这样就使得Fedorov算法的收敛速度有了显著地提高,并能构造出更高效的D—最优对称设计.另外还给出一些构造实例.     

Enumeration of symmetry classes of alternating sign matrices and characters of classical groups

An alternating sign matrix is a square matrix with entries 1, 0 and −1 such that the sum of the entries in each row and each column is equal to 1 and the nonzero entries alternate in sign along each row and each column. To some of the symmetry classes of alternating sign matrices and their variations, G. Kuperberg associate square ice models with appropriate boundary conditions, and give determinant and Pfaffian formulae for the partition functions. In this paper, we utilize several determinant and Pfaffian identities to evaluate Kuperberg's determinants and Pfaffians, and express the round partition functions in terms of irreducible characters of classical groups. In particular, we settle a conjecture on the number of vertically and horizontally symmetric alternating sign matrices (VHSASMs). Dedicated to the memory of David Robbins.     

(D6,Z2)-等变分歧问题的识别

利用奇点理论中光滑映射芽的接触等价，研究状态变量和分歧参数均具有对称性的等变分歧问题，给出了状态变量具有D。对称性，分歧参数具有Z2对称性的等变分歧问题的两个识别条件．     

Some properties and applications of the Riemann and Green-Hadamard functions for linear second-order hyperbolic equations

We study some properties of the Riemann and Green-Hadamard functions for linear second-order hyperbolic equations of general form. We consider their sign definiteness and symmetry in a certain sense and prove a comparison type theorem. Some applications are presented.     

Percolation on dual lattices with k‐fold symmetry

Zhang found a simple, elegant argument deducing the nonexistence of an infinite open cluster in certain lattice percolation models (for example, p = 1/2 bond percolation on the square lattice) from general results on the uniqueness of an infinite open cluster when it exists; this argument requires some symmetry. Here we show that a simple modification of Zhang's argument requires only two‐fold (or three‐fold) symmetry, proving that the critical probabilities for percolation on dual planar lattices with such symmetry sum to 1. Like Zhang's argument, our extension applies in many contexts; in particular, it enables us to answer a question of Grimmett concerning the anisotropic random cluster model on the triangular lattice. © 2008 Wiley Periodicals, Inc. Random Struct. Alg., 2008     

Phase-space growth rates,local Lyapunov spectra,and symmetry breaking for time-reversible dissipative oscillators

We investigate and discuss the time-reversible nature of phase-space instabilities for several flows, $\dot{x}=f(x)$. The flows describe thermostated oscillator systems in from two through eight phase-space dimensions. We determine the local extremal phase-space growth rates, which bound the instantaneous comoving Lyapunov exponents. The extremal rates are point functions which vary continuously in phase space. The extremal rates can best be determined with a “singular-value decomposition” algorithm. In contrast to these precisely time-reversible local “point function” values, a time-reversibility analysis of the comoving Lyapunov spectra is more complex. The latter analysis is nonlocal and requires the additional storing and playback of relatively long (billion-step) trajectories.All the oscillator models studied here show the same time reversibility symmetry linking their time-reversed and time-averaged “global” Lyapunov spectra. Averaged over a long-time-reversed trajectory, each of the long-time-averaged Lyapunov exponents simply changes signs. The negative/positive sign of the summed-up and long-time-averaged spectra in the forward/backward time directions is the microscopic analog of the Second Law of Thermodynamics. This sign changing of the individual global exponents contrasts with typical more-complex instantaneous “local” behavior, where there is no simple relation between the forward and backward exponents other than the local (instantaneous) dissipative constraint on their sum. As the extremal rates are point functions, they too always satisfy the sum rule.     

An optimization-based numerical method for diffusion problems with sign-changing coefficients

A new optimization-based numerical method is proposed for the solution to diffusion problems with sign-changing conductivity coefficients. In contrast to existing approaches, our method does not rely on the discretization of a stabilized equation, and the convergence of the scheme can be proved without any symmetry assumption on the mesh near the interface where the conductivity sign changes.     

Vortex sheets with reflection symmetry in exterior domains

In this paper we prove the existence of a weak solution of the incompressible 2D Euler equations in the exterior of a reflection symmetric smooth bluff body with symmetric initial flow corresponding to vortex sheet type data whose vorticity is of distinguished sign on each side of the symmetry axis. This work extends the results proved for full plane flow by the authors in [M.C. Lopes Filho, H.J. Nussenzveig Lopes, Z. Xin, Existence of vortex sheets with reflection symmetry in two space dimensions, Arch. Ration. Mech. Anal. 158 (3) (2001) 235-257].     

Capacities, surface area, and radial sums

A dual capacitary Brunn-Minkowski inequality is established for the (n−1)-capacity of radial sums of star bodies in Rn. This inequality is a counterpart to the capacitary Brunn-Minkowski inequality for the p-capacity of Minkowski sums of convex bodies in Rn, 1?p<n, proved by Borell, Colesanti, and Salani. When n?3, the dual capacitary Brunn-Minkowski inequality follows from an inequality of Bandle and Marcus, but here a new proof is given that provides an equality condition. Note that when n=3, the (n−1)-capacity is the classical electrostatic capacity. A proof is also given of both the inequality and a (different) equality condition when n=2. The latter case requires completely different techniques and an understanding of the behavior of surface area (perimeter) under the operation of radial sum. These results can be viewed as showing that in a sense (n−1)-capacity has the same status as volume in that it plays the role of its own dual set function in the Brunn-Minkowski and dual Brunn-Minkowski theories.     

On the choice of signs for householder's matrices

The numerical construction of Householder's matrices of the form I-2ww^H is known to be a problem with two distinct solutions; more precisely, the actual construction of such a matrix in a given context involves a choice of sign, and it is widely believed that only one alternative is correct, the other one leading to possible numerical unstabilities. This paper shows that the numerical stability of the process depends not on the chosen sign itself but only on the implementation of the actual computations; as well-conditioned approach for the non-classical case is presented and illustrated by a numerical example. Both signs are thus equally correct and there seems to be no reason at all why a specific sign should be prefered to the other.     

Existence of seven solutions for an asymptotically linear Dirichlet problem without symmetries

In this paper, we establish sufficient conditions for an asymptotically linear elliptic boundary value problem to have at least seven solutions. We use the mountain pass theorem, Lyapunov–Schmidt reduction arguments, existence of solutions that change sign exactly once, and bifurcation properties. No symmetry is assumed on the domain or the non-linearity.     

Full symmetry groups, Painlevé integrability and exact solutions of the nonisospectral BKP equation

Based on the generalized symmetry group method presented by Lou and Ma [Lou and Ma, Non-Lie symmetry groups of (2 + 1)-dimensional nonlinear systems obtained from a simple direct method, J. Phys. A: Math. Gen. 38 (2005) L129], firstly, both the Lie point groups and the full symmetry group of the nonisospectral BKP equation are obtained, at the same time, a relationship is constructed between the new solutions and the old ones of equation. Secondly, the nonisospectral BKP can be proved to be Painlevé integrability by combining the standard WTC approach with the Kruskal’s simplification, some solutions are obtained by using the standard truncated Painlevé expansion. Finally, based on the relationship by the generalized symmetry group method and some solutions by using the standard truncated Painlevé expansion, some interesting solution are constructed.     

Tacitation and implicitation: the construction of semiotic tools for representing mathematics teaching

Representations are an account of reality. Their construction involves several choices: what to represent, how to represent, from which point of view. Here, we introduce tools to represent mathematics teaching through the study of sign exchanges. We first emphasize how signs are tightly related to different shares of knowledge of sign users. In the regular case, sign exchanges are considered to rest on a kind of shared obviousness. The knowledge imbalance between actors of the didactical situation renders this shared obviousness minimal, and therefore requires distinguishing different kinds of sign exchange processes. From the notion of semiosis, we define the processes of tacitation and implicitation. We present a field study from these theoretical concepts and discuss some implications for future research.