Questions tagged [symmetry]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2
votes
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
2answers
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
0answers
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
2answers
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
0answers
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
1answer
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
1answer
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
0answers
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
2answers
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
0answers
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
3answers
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
0answers
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
0answers
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
0answers
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
2answers
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
1answer
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
0answers
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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
2answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
3answers
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
1answer
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
1answer
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 ...