Questions tagged [symmetry]
The symmetry tag has no usage guidance.
120
questions
2
votes
0
answers
30
views
Do digraphs with "other" symmetries have interesting properties
Question:
do digraphs $G(V,A)$, whose adjacency matrix exhibits certain symmetries, have mathematically interesting properties?
The most famous such symmetry is $(i,j)\in A\iff(j,i)\in A$ for which ...
18
votes
7
answers
4k
views
Mathematics of quasicrystals
I want to study quasicrystals from mathematical point of view, but I'm having hard time finding materials about it. If you could suggest me some books, articles or papers, I would be glad.
0
votes
0
answers
30
views
Minimal Non-Symmetric Closed Tracks Under 45-Degree Rotations
Given an arbitrary number of clockwise and anti-clockwise 45-degree track turns, what is the smallest closed track, that is neither axisymmetric nor rotationally symmetrical? For example, AAAAAAAA ...
5
votes
1
answer
476
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
65
views
Internal symmetries of partial differential relation via the nonholonomic jet bundle
On a smooth n-dimensional Riemannian manifold $M$, suppose I have the kth order partial differential relation (PDR) written in the form:
$$\mathcal{R}=\mathcal{R}\left(x^{i},u^{i},u_{j}^{i},u_{jk}^{i}\...
2
votes
1
answer
145
views
Question on density of certain set of matrices
Let $B$ be an invertible real matrix and let $Q=\{A \text{ real}\mid AB^{T} \text{ is symmetric}\}$. Is the subset $S=\{ A \in Q\mid A+A(B^{-1}A)^{2} \text{ is symmetric}\}$ of measure zero in $Q$? I ...
4
votes
2
answers
242
views
Does the edge-graph of a centrally symmetric polytope determine which vertices are antipodal?
Given two origin symmetric convex polytopes $P_1$ and $P_2$ (that is $P_i=-P_i$) with the same edge-graph, but potentially of different dimensions and combinatorial types.
Let $\phi: G_{P_1}\to G_{P_2}...
4
votes
0
answers
131
views
Can a polytopal graph be "centrally symmetric" in more than one way?
Let $P,Q$ be two centrally symmetric convex polytopes, potentially of different dimensions and combinatorial type, but with the same edge-graph $G$.
The central symmetry of $P$ induces an involutory ...
0
votes
1
answer
131
views
Conserved quantities
So, if we have system of differential equations obtained from Lagrange function, by means of Noether theoerem (if we know some one-parameter symmetry group), we can derive conserved quantity.
But how ...
2
votes
3
answers
963
views
Why does $\sqrt 5$ occur in manageable situations of these scenarios? [closed]
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=...
0
votes
1
answer
57
views
integer network flow with symmetry
Suppose we have a weighted directed graph $G=(V,E,f)$. Each $e\in E$ is associated with $f_e\in \mathbb{N}$. There is a source node $s$, which only has outgoing edges, and a sink node $t$, which only ...
7
votes
0
answers
194
views
Surprising symmetry in the Ramanujan bound
The condition for a connected $(q+1)$-regular graph to be Ramanujan is that every nonzero eigenvalue $\lambda$ of the graph Laplacian satisfy
$$q+1-2\sqrt{q}\le \lambda\le q+1+2\sqrt{q}.$$
With a ...
3
votes
0
answers
107
views
Are square configurations the only critical points of the energy on the circle?
$\newcommand{\S}{\mathbb{S}^1}$
$\newcommand{\la}{\lambda}$Let$$M=\{(x_1,x_2,x_3,x_4) \in (\S)^4\,\, |\,\, \text{ all the } x_i \, \text{ are distinct}\} $$
Define $E:M \to \mathbb{R}$ by
$$E(x_1,x_2,...
8
votes
2
answers
278
views
Symmetries of contractable subsets of $\Bbb R^n$
Let $K\subset\Bbb R^n$ be a non-empty compact subset of $\Bbb R^n$. A symmetry of $K$ is an isometry of $\Bbb R^n$ that fixes $K$ set-wise. Since $K$ is compact, there is always a point $x\in\Bbb R^n$ ...
10
votes
1
answer
553
views
Does a compact contractible metric space have a point that is fixed by all isometries?
Let $(X,d)$ be a compact and contractible metric space. Let $\operatorname{Isom}(X)=\{\phi\colon X\to X\}$ be its group of isometries.
Question: Is there a point $x\in X$ fixed by all $\phi\in\...
5
votes
2
answers
474
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 (...
17
votes
4
answers
8k
views
Noether's theorem in quantum mechanics
In classical mechanics:
If a Lagrangian $\mathcal{L}$ is preserved by an infinitesimal change in the state space variables $q_i \to q_i + \varepsilon K_i(q)$, this leads to only second order change in ...
6
votes
1
answer
125
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-...
6
votes
1
answer
632
views
Combinatorics and symmetry in matrices under row and column swaps
Suppose we have a $m\times n$ matrix and a sequence of numbers with which to fill the matrix, $\{c_1,c_2 \dots c_k \}$. I like to think of the numbers as colors, hence the notation. How many unique ...
2
votes
1
answer
190
views
$G_2$ as the symmetry group of a geometric object
Is there a seven-dimensional geometric object whose full group of symmetries is isomorphic to the compact Lie group $G_2$, or does the same problem as with the special orthogonal groups occur?
3
votes
1
answer
142
views
Multiplicity of Dirichlet Laplacian eigenvalues of asymmetric domains
Let $\Delta$ be the Laplacian on a smooth domain $\Omega\subset \mathbb{R}^2$ with Dirichlet boundary conditions. I am interested in whether the implication
\begin{align}
\Omega \text{ is asymmetric } ...
2
votes
1
answer
95
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(\...
5
votes
0
answers
112
views
Lie groupoids as symmetries of mechanical systems?
Lie groups are well studied as symmetries of mechanical systems in symplectic/Poisson geometry. For instance, if $G$ acts freely and properly on a mechanical system modeled by a symplectic manifold $(...
3
votes
1
answer
171
views
When is a $k$-distance-transitive graph already distance-transitive?
Call a (finite and connected) graph $k$-distance-transitive if its symmetry group acts transitively on the pairs in each one of the sets
$$D_\delta:=\{(i,j)\in V\times V\mid \mathrm d(i,j)=\delta\},\...
2
votes
1
answer
169
views
How to find the symmetry group of the differential equation
I'm studying the following differential equation
$$
x \frac{\partial^3}{\partial x^3} P[h, x]
= \left (x^3 \frac{\partial^3}{\partial x^3} +
3x^2 h \frac{\partial^3}{\partial x^2 \partial h} +
...
3
votes
0
answers
138
views
Erlangen program for "network geometry"
The subject of network geometry (Boguna et al., Network Geometry,
Nature Reviews Physics 2021) looks at "geometric aspects" of complex networks.
This is about studying a metric on the nodes, ...
3
votes
0
answers
65
views
Classification of maximal point groups
Have the maximal (without finite proper overgroups of the same dimensionality) finite point groups been fully classified in any dimensionality of Euclidean space greater than 4?
1
vote
0
answers
102
views
A PDE involving a diffeomorphism of $\mathbb{S}^1$
This question is a special case of this one.
Let $s(\theta)>0, b(\theta)$ be two smooth non-constant real-valued functions on $\mathbb{S}^1$.
Do there exist a diffeomorphism $\phi:\mathbb{S}^1 \to \...
2
votes
0
answers
143
views
Does this geometric PDE have a solution?
Let $s(\theta), b(\theta)$ be two smooth non-constant real-valued functions on $\mathbb{S}^1$, and assume that $s$ never vanishes.
Does there exist a map $h:(0,1) \times \mathbb{S}^1 \to \mathbb{S}^1$,...
7
votes
1
answer
231
views
Are there simplicial spheres with "non-geometric symmetries"?
Let $\Delta$ be a simplicial sphere, that is, a finite (abstract) simplicial complex whose canonical geometric realization $|\Delta|$ is homeomorphic to a sphere $\mathbf S^d\subset\Bbb R^{d+1}$.
...
2
votes
0
answers
105
views
Minimal symmetry of a fibre bundle
Let $F \to E \to B$ be a topological fibre bundle with fibre $F$ and base $B$. It can be characterized by a map $B \to BAut(F)$. If it can also be characterized as a map $B \to BG$ (or say $G$ is a ...
2
votes
0
answers
91
views
An easy way to recognize the edges of an orbit polytope?
Given a finite (orthogonal) matrix group $\Gamma\subseteq\mathrm O(\Bbb R^d)$ and a point $x\in\Bbb R^d$. The corresponding orbit polytope is
$$\mathrm{Orb}(\Gamma,x):=\mathrm{conv}\{Tx\mid T\in \...
6
votes
0
answers
84
views
Can a spherical simplicial complex have more than one "central" inversion?
Let $\Delta$ be a finite connected simplicial complex. Call a simplicial map $\phi:\Delta\to\Delta$ an inversion if
$\phi$ is an involution, that is $\phi\circ\phi=\mathrm{id}$, and
$\phi$ is not ...
2
votes
0
answers
126
views
Is the projective symmetry group of a polytope more general than its linear symmetry group?
Give a (convex) polytope $P\subset\Bbb R^d$ (the convex hull of finitely many points). Consider its linear and projective symmetry groups:
\begin{align}
\DeclareMathOperator{\Aut}{Aut}
\...
1
vote
2
answers
308
views
Is there an area-preserving concentric diffeomorphism of the ellipse?
$\DeclareMathOperator\Vol{Vol}$This is a cross-post.
Let $0<b<1$ be a fixed parameter, and let $(R(\theta),\theta)$ be the polar coordinates of the ellipse
$$E=\{(x,y) \in \mathbb R^2 \, | \, \...
1
vote
0
answers
120
views
Symmetry of points on unit sphere determined by relation between triples of points
Suppose we have $n$ points on the 3D unit sphere,
$X = (\pmb{r}_{1}, \pmb{r}_{2}, ..., \pmb{r}_{n})$.
I am interested in knowing to what extent the rotational symmetry of $X$ is determined by the ...
9
votes
1
answer
487
views
Can $E_8$ be enlarged?
Is there any finite 8-dimensional point group which contains the $E_8$ Coxeter group as a subgroup other than $E_8$ itself?
0
votes
0
answers
162
views
Isomorphic Coxeter groups
After enumerating the spherical Coxeter groups, it is easy to see that no two distinct cases are isomorphic. Does the same hold for Euclidean and hyperbolic Coxeter groups?
1
vote
1
answer
111
views
Qualitative analysis of the equation and symmetry (point on sphere)
A point moves on the surface of sphere ($R>0$ - radius) along the curve defined by the differential equation in spherical coordinate system:
$R^2(|\dot \theta|^2 + w^2 \sin^2 \theta)=(at)^2$, ...
8
votes
1
answer
345
views
Which reflection groups can be enlarged?
Based on this question (which focuses on the case $E_8$) I wonder the following:
Question: For each finite reflection group $\Gamma\subseteq\mathrm O(\Bbb R^d)$, what is the largest finite group $\...
1
vote
1
answer
351
views
What is the symmetry group of this compound of two polytopes?
The geometric shape in question is a compound of two polytopes: an 11-hypercube with edge length $2$ and an 11-simplex with edge length $\sqrt6$ whose vertices are a subset of the hypercube’s. What is ...
4
votes
2
answers
289
views
Can every involution of a symmetric directed graph be written as a power of another symmetry?
Let $D=(V,A)$ be a finite directed graph, and suppose that
$D$ is vertex-transitive,
$D$ is edge-transitive, and
between any two vertices there is at most one edge, in particular, if $(v,w)\in A$ ...
3
votes
0
answers
39
views
Are there uniform compounds of 135 $BC_8$ polytopes?
The Coxeter group $D_8$ is an index-135 subgroup of $E_8$. One of the consequences of this is that the rectified 8-orthoplex, whose coordinates can be given as all permutations and sign changes of $\{...
3
votes
0
answers
103
views
Are there any other regular compounds?
Ever since I first read Coxeter’s definition of a regular compound (which seems to be the most commonly used), I didn’t like it on account of it being completely different than for properly connected ...
1
vote
1
answer
385
views
Making use of extra symmetries; more examples?
TL; DR.
In representation theory, it's nice to decompose a given representation into smaller ones. One technique is by utilizing extra symmetries. Explicit examples come from compact groups, and I ...
12
votes
4
answers
6k
views
Non-degeneracy of ground state in quantum mechanics
In non-relativistic quantum mechanics, what are the necessary conditions on the potential (or on the hamiltonian in general) for the ground state to be non-degenrate?
5
votes
3
answers
582
views
The randomness of modular squaring
For each arithmetic function $f:\mathbb{N}\rightarrow \mathbb{N}$ and each $n\in \mathbb{N}$ you can define a relation $f_{\textsf{mod } n}:[n]\times[n] \rightarrow \{0,1\}$ with
$$f_{\textsf{mod } n}(...
0
votes
0
answers
36
views
Vertex configuration to tile repeat unit
I am working with elongated triangular tiling which has a vertex configuration of 3.3.3.4.4 and noticed that the representative symmetry is not the repeat unit. Is there a general formula to convert ...
1
vote
0
answers
79
views
Projection of cocyclic Gaussian primes on the real axis
I just stumbled upon https://math.stackexchange.com/questions/2372062/4-concylic-points-of-gaussian-primes after a quick Google search about cocyclic Gaussian primes.
As I've been investigating about ...
1
vote
0
answers
44
views
How dense can a transitive sets of points be?
How dense can a finite set of points on the $d$-dimensional unit sphere be if I require that the symmetry group of that arrangement is still transitive on the points?
As a measure for density I use ...