# Questions tagged [symmetry]

The symmetry tag has no usage guidance.

76
questions

**2**

votes

**0**answers

55 views

### Balanced Gray codes for powers of 2

All of the binary 4-bit cyclic balanced Gray code sequences can be formed from simple reversals, bit-permutations, and circular shifts of the one Wikipedia example:
...

**2**

votes

**1**answer

104 views

### Decomposition of the homogeneous polynomial ring $\{\mathbb R[x_{ij}]_{1\le i,j\le n}\}$ of degree 2 into Specht modules

I have tried to decompose this as following spans over the real field.
$V_1=\operatorname{span} \langle x_{ij}^2\rangle$
$V_2=\operatorname{span} \langle x_{ij}x_{jk}\rangle$
$V_3=\operatorname{...

**9**

votes

**0**answers

79 views

### A characterization of root systems via their intersections with halfspaces

In a recent preprint I obtained a nice characterization of root systems as a side product.
I can imagine that this was known before, and that a source for this statement can shorten the proof of my ...

**4**

votes

**0**answers

32 views

### Equiangular lines with symmetry requirements

Listing all possible arrangements of equiangular lines is non-trivial.
Does the problem become any easier when we additionally require that the symmetry group of that line arrangement acts ...

**4**

votes

**1**answer

193 views

### Examples of Calabi-Yau manifolds with $\mathbb{T}^2$ symmetry

I want to know if there exists examples of Calabi-Yau manifolds with $\mathbb{T}^2$-invariant $SU(n)$-structure. In particular these actions are both Killing and holomorphic. I am especially ...

**2**

votes

**0**answers

77 views

### Definition of a moment map with physical context

This was originally posted on Math Stack Exchange, but without an answer. I thus move it here, and hope it's not because I express it unclearly.
Suppose $(M,\omega)$ is a symplectic manifold "well" ...

**2**

votes

**0**answers

54 views

### A matrix that commutes with all symmetries of a vertex-transitive polytope

Let $P\subset\Bbb R^d$ be a vertex-transitive polytope aka. an orbit polytope.
Can there be a matrix $T\in\mathrm{SO}(\Bbb R^d)$ that commutes with all symmetries in $\mathrm{Aut}(P)\subset\mathrm O(\...

**3**

votes

**1**answer

2k views

### Number of solutions and minimal clues in Sixy Sudoku

Sixy Sudoku is a variation on Latin squares and traditional sudoku played on a $6 \times 6$ grid with an initial clue of several cells filled in with a subset of the digits $1$–$6$. The task is to ...

**3**

votes

**0**answers

76 views

### Where can I learn about the discrete symmetries of the complex projective plane (or space)?

I understand that $CP^1$ is the Riemann Sphere. I guess all its discrete symmetries were known for a long time and well-classified. (But suggestions or good references where this is worked out in a ...

**3**

votes

**0**answers

45 views

### Matroids which are transitive on minimal basis exchanges

I am looking for matroids in which all minimal basis exchanges look the same, that is, the matroid is transitive on these. Let me explain what I mean by that.
Consider a finite matroid $M$. Define a ...

**1**

vote

**0**answers

78 views

### Symmetric subgraph configurations

Let $G,H$ be two simple graphs. Let's call a subgraph of $H$ that is isomorphic to $G$ a $G$-subgraph. Consider the following construction:
Construction: Let $\mathcal G=\mathcal G(G,H)$ be a graph ...

**2**

votes

**0**answers

53 views

### Are spherical maps with low distortion locally expanding?

$\newcommand{\SO}[1]{\text{SO}(#1)}$
$\newcommand{\Hom}[1]{\text{Hom}(#1)}$
$\newcommand{\R}{\mathbb{R}}$
$\newcommand{\S}{\mathbb{S}}$
The question in a nutshell: Are the "best" spherical maps ...

**0**

votes

**2**answers

557 views

### Why does $\sqrt 5$ occur in manageable situations of these scenarios?

Banach-Mazur distance between $P_5$ and $P_3$ is $d(P_5,P_3)=1+\frac{\sqrt5}2$ where $P_n$ is regular polygon in $n$ sides https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7968198&tag=...

**2**

votes

**0**answers

69 views

### Can we approximate this matrix field with an invertible matrix field?

Let $\mathbb{D}^2=\{ x \in \mathbb{R}^2 \, | \, |x| \le 1\}$ be the closed unit disk, and set
$$\begin{equation*}
A(x,y)=\left(
\begin{array}{cc}
x & -y \\
y & x
\end{array} \right)
\end{...

**2**

votes

**2**answers

187 views

### Is a vertex- and edge-transitive polytope already a uniform polytope?

I want to consider (convex) polytopes $P=\mathrm{conv}\{p_1,...,p_n\}\subset\Bbb R^d$ which are both, vertex- and edge-transitive (or maybe stronger: 1-flag-transitive).
Question: Is every such ...

**6**

votes

**0**answers

183 views

### Do cocycles “break” symmetry?

In an article by A. Borovik, “Is mathematics special?”, he talks about the fact that carrying is a cocycle. He then says
[A student] discovered that carry is doing what cocycles frequently do: they ...

**5**

votes

**1**answer

151 views

### Is a symmetric, parallel (0,2)-tensor a metric?

I'm interested in affinely connected spaces, on which a metric is not necessarily defined, i.e. $(\mathcal{M},\Gamma)$. Since (as a physicist) my goal is to consider a generalized model of gravity, I ...

**3**

votes

**1**answer

196 views

### How large can a symmetric generating set of a finite group be?

Let $G$ be a finite group of order $n$ and let $\Delta$ be its generating set. I'll say that $\Delta$ generates $G$ symmetrically if for every permutation $\pi$ of $\Delta$ there exists $f:G\...

**3**

votes

**0**answers

111 views

### Cencov's “categories of figures”

In his 1982 book Statistical Decision Rules and Optimal Inference, N. N. Cencov studies statistical models (parametrized families of probability distributions) from an unconventional category-...

**3**

votes

**2**answers

131 views

### Maximal edge length of symmetric polytopes

For me, a polytope is the convex hull of finitely many points. It is said to be vertex-transitive / edge-transitive if its symmetry group acts transitively on its vertices / edges. Let's call a ...

**1**

vote

**0**answers

90 views

### Is every “higher-order” harmonic morphism conformal?

$\newcommand{\TM}{\operatorname{TM}}$
$\newcommand{\M}{\mathcal{M}}$
$\newcommand{\N}{\mathcal{N}}$
$\newcommand{\TM}{\operatorname{T\M}}$
$\newcommand{\TN}{\operatorname{T\N}}$
$\newcommand{\TstarM}{...

**5**

votes

**3**answers

420 views

### Counting without one-to-one correspondence? [closed]

Ash and Gross in their wonderful book Fearless Symmetry found it worth mentioning (and thus suggesting) another way of counting for which "we do not even need to know how to count" (in the sense of ...

**2**

votes

**0**answers

50 views

### Does a map which preserve harmonic forms preserve co-closed forms (locally)?

$\newcommand{\M}{\mathcal{M}}$
$\newcommand{\N}{\mathcal{N}}$
Let $\M,\N$ be $d$-dimensional oriented Riemannian manifolds ($d \ge 2$). Let $f:\M \to \N$ be smooth.
Let $1 \le k \le d-1$ be fixed....

**3**

votes

**0**answers

67 views

### How rich is the class of vertex- and edge-transitive polytopes?

There are only a few regular polytopes (five in 3D, six in 4D, three in any dimension above). In contrast, the class of uniform polytopes becomes very rich with higher dimensions.
The class of vertex-...

**2**

votes

**0**answers

96 views

### What is the symmetry group of the totally nonnegative Grassmannian $Gr_{tnn}(k,n)$?

What is the symmetry group of the totally nonnegative Grassmannian $Gr_{tnn}(k,n)$? [The latter consists of those elements of the Grassmannian that can be represented by $k \times n$-matrices all of ...

**3**

votes

**2**answers

259 views

### How to use these higher symmetries and conservation laws?

For infinite dimensional integrable systems, there are usually infinite symmetries and conservation laws. For example, the KdV equation, the KP equation.
However, unlike the classical symmetries (...

**3**

votes

**1**answer

329 views

### Symmetry in the triangular distribution

A continuous function vanishes on $(-\infty,a]$ and on $[c,\infty),$ its graph is a straight line on the interval $[a,b]$ and another straight line on $[b,c],$ and its integral is $1.$
The mean of ...

**3**

votes

**0**answers

235 views

### Isometry group of an integer

This is a cross post from MSE, as it seems the partial answer I got then was deleted, so I ask it again here.
Let $\prod_{i\in I}p_{i}^{a_{i}}$ be the prime factorization of a positive integer $n$ ...

**2**

votes

**1**answer

61 views

### Relation between symmetries and asymptotics for Painlevé equations

The first Painlevé equation
$$P_I:y''=6y^2-x $$
has the symmetries $$x \mapsto \omega x \\y \mapsto \omega^3 y$$
for any fifth root of unity $\omega$. At the same time, the near-infinity asymptotics ...

**5**

votes

**1**answer

249 views

### Odd function on the 2-sphere whose integrals over all hemispheres is zero

Let $h:\mathbb{S}^2 \to \mathbb{R} $ be a smooth function satisfying:
$h(-x)=-h(x)$
For every hemisphere $A \subseteq \mathbb{S}^2$, $\int_{A}h\text{Vol}_{\mathbb{S}^2}=0$, where $\text{Vol}_\mathbb{...

**15**

votes

**2**answers

618 views

### Is there a simple system that has $\text{SU}(3)$ symmetry?

The buckle at the end of a belt has $\text{SU}(2)$ symmetry, if the rotations around the three coordinate axes are taken as generators. See, for example, the paper by Hart, Francis and Kauffman, ...

**1**

vote

**0**answers

42 views

### Symmetries of irregular simplices

On the wikipedia page of tetrahedron, there is a list of eight symmetry groups for a (possibly irregular) $3$-simplex (with unmarked faces). There is also a list on the page of 5-cell but doesn't ...

**1**

vote

**0**answers

89 views

### Differential equations with infinite-dimensional Lie groups

I am no expert in solving DEs by symmetry methods, but from pure interest - is it possible for a differential equation to have an infinite-dimesional Lie group as a symmetry group?

**4**

votes

**2**answers

415 views

### How to find the symmetry group of a differential equation

If one is given a differential equation, e. g. the KdV equation $\ u_t + u_{xxx} + uu_x = 0$, how can he find all of the symmetries of the differential equation? Is there also a method that works for ...

**3**

votes

**0**answers

172 views

### A simple proof that all the symmetries of the Dirichlet energy are conformal

This is a cross-post.
It seems to be folklore knowledge that all the (source) symmetries of the $d$-Dirichlet energy are conformal maps.
Specifically, I have found this nice proof for the following ...

**5**

votes

**0**answers

94 views

### Is there a concentration inequality depending on dimension for a symmetric function on product space?

I recently read an elegant paper of Bobkov
Bobkov, S.G., On concentration of measure on the cube, J. Math. Sci., New York 165, No. 1, 60-70 (2010); translation from Probl. Mat. Anal. 44, 55-64 (2010)....

**4**

votes

**0**answers

162 views

### Symmetry-finding with SAGE?

On pp. 152-3 of Hydon's Symmetry Methods for Differential Equations (2000 ed.), he lists some computer packages for symmetry-finding. This related Mathematica StackExchange question mentions the SYM ...

**1**

vote

**1**answer

116 views

### How large can the cone of $\nabla$-compatible metrics be?

Let $E$ be a smooth vector bundle over a manifold $M$, equipped with a connection $\nabla$.
The set of $\nabla$-compatible metrics on $E$ forms a convex cone.
This cone can be empty, however (see ...

**2**

votes

**0**answers

98 views

### Unveiling hidden structures

One way to unveil a hidden structure of a undirected graph - given as an adjacency matrix - is to permute the rows and columns until a pattern with a maximal geometrical symmetry is found. (The ...

**9**

votes

**0**answers

316 views

### Symmetry of function defined by integral

(Originally posed in Math.SE in Jan 2013. Received no complete answers as of yet.)
Define a function $f(\alpha, \beta)$, $\alpha \in (-1,1)$, $\beta \in (-1,1)$ as
$$ f(\alpha, \beta) = \int_0^{\...

**10**

votes

**1**answer

322 views

### A symmetric embedding of manifolds

Assume that $M$ is a manifold.
Is there an embedding of $M$ in some $\mathbb{R}^{n}$ such that the image of $M$ in $\mathbb{R}^{n}$ is invariant under each reflection $(x_{1},x_{2},\ldots x_{i},\...

**4**

votes

**1**answer

221 views

### Convex polyhedra, combinatorial types and Symmetry

Steinitz theorem says that combinatorial types of convex polyhedra is identified with 3-connected planar graph, called by a polyhedral graph.
A symmetry of polyhedral graph means that a vertex ...

**3**

votes

**1**answer

148 views

### Similarity via symmetric matrix

Let $K$ be a field extension of $F$. If two $n\times n$ matrices $A,B \in M_n(F)$ are similar via a matrix $P \in GL_n(K)$ (that is, $A=PBP^{-1}$), then there exists a matrix $Q\in GL_n(F)$ such that $...

**5**

votes

**1**answer

457 views

### Totally geodesic subgroups in Lie groups

Let $G$ be a Lie group with a left invariant metric $g$.
Let $H$ be a (closed) Lie subgroup of $G$, and assume $g$ is right-$H$-invariant. (That is $d(R_h)_e:T_eG \to T_hG$ is an isometry for every $...

**2**

votes

**1**answer

147 views

### Heuristics for counting degrees of freedom

I have recently learned about the representation theorem for isotropic,
linear operators, which says the following:
Defintion:
Let $M_n$ be the vector space of $n \times n$ real matrices. We say a ...

**3**

votes

**0**answers

959 views

### Find the axis of symmetry in a point cloud

I have some dataset which describes a spherical cloud of points in 4D space. Actually, the coordinates of the points are the coefficients of unit quaternions, so you get the idea on what the data is ...

**2**

votes

**1**answer

99 views

### Finding two structures are symmetry distinct

Would like to find if given two crystal structures whether they are symmetry distinct or symmetry equivalent in fastest (in terms of computation) possible way.
The structure may have same lattice ...

**8**

votes

**3**answers

540 views

### Parameterizing rotations of a cube

For $g\in\mathrm{SO}(3),S\subseteq \mathbb{R}^3,$ define $g\cdot S:=\{g\cdot p : p\in S\}.$ In words, if $g$ is a rotation of $\mathbb{R}^3$, $g\cdot S$ is the set of elements of $S$ rotated by $g$. ...

**13**

votes

**1**answer

254 views

### What is the symmetry group fixing norms of elements of a unitary matrix?

Let $N\geq1$ be an integer and let us say that two matrices $U,V\in U(N)$ are related if $|U_{ij}|=|V_{ij}|$ for all indices $1\leq i,j\leq N$.
When exactly are two unitary matrices related in this ...

**4**

votes

**1**answer

683 views

### What is the current state of generalizations Noether's theorem?

The well-known Noether's theorem is a vital tool in classical physics. But it assumes some hypothesis, many of which could be removed by a detailed look.
So my question is: In what directions has ...