Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options questions only not deleted user 41654

Operations research, linear programming, control theory, systems theory, optimal control, game theory

12 votes
1 answer
2k views

Sard's Theorem For Banach Spaces

Given a smooth map from $\phi: B \rightarrow M$ where $B$ is a Banach Space and $M$ is a finite dimensional smooth manifold (for example, the end point map for a control system), what is the strongest …
Benjamin's user avatar
  • 2,099
7 votes
1 answer
271 views

Closest point in $SU(n) \otimes SU(n)$ to $SU(n^2)$

What is the closest $V_1 \otimes V_2 \in SU(n)\otimes SU(n)$ in the squared trace inner product to a given $U \in SU(n^2)$? I.e. minimize over $V_1, V_2$: $\min_{V_1, V_2} | V_1 \otimes V_2 - U|$ in …
Benjamin's user avatar
  • 2,099
5 votes
3 answers
1k views

Constant rank theorem for Banach spaces

Is there a similar statement to the constant rank theorem for finite dimensional real smooth manifolds which holds for a smooth map $F:B \rightarrow M$ where $B$ is an infinite (countable) dimensional …
Benjamin's user avatar
  • 2,099
4 votes
2 answers
696 views

Lagrangian with non-holonomic constraints

Given a smooth manifold $M$ and a smooth Lagrangian $\mathcal{L}(x,\dot{x})$ on $M$, the curves which make stationary the corresponding action are those which solve the Euler-Lagrange equations. If a …
Benjamin's user avatar
  • 2,099
3 votes
1 answer
110 views

Do the values of the differential of a function on a Lie group with a single maximum span th...

Consider: a vector field $X=\nabla \phi$ on a compact, semi-simple, connected matrix Lie group $G$ where $\phi$ as a smooth scalar field on $G$ possessing only a single maxima which topologically is a …
Benjamin's user avatar
  • 2,099
3 votes
2 answers
136 views

Level sets on $SU(4)$

Given $G \in SU(4)$, what are the level sets of the function $F:SU(n)\rightarrow \mathbb{R}$ defined by $F(V) = |tr(G^{\dagger}V)|^2$? Can they be written only in terms of abstract linear maps, not i …
Benjamin's user avatar
  • 2,099
3 votes
0 answers
70 views

Attainability of Global Optima In Optimal Control

Given a manifold $M$ and a set of smooth functions of one real variable $\mathcal{A}$ and a 'control system' type first order differential equation: $\frac{d x(t)}{dt} = F(x,u)$ one can consider the …
Benjamin's user avatar
  • 2,099
3 votes
0 answers
189 views

Non-invariant Lagrangian on SU(n)

I have a Lagrangian on $SU(n)$, which is not invariant. Given the Lagrangian $\mathcal{L}[U_t, \dot{U}_t] = \langle \dot{U}_t, \nabla J \big|_{U_t} \rangle$ I need to find the curves of stationary a …
Benjamin's user avatar
  • 2,099
3 votes
0 answers
51 views

Maximizing a function on $SU(4)$ similar to Von Neumann Trace Inequality

Given arbitrary $X,Y \in \mathfrak{su}(4)$, I want to maximize either of the following functions: $\max_{U,V \in SU(2)} \Re(\text{Tr}(X^\dagger (U^{\dagger} \otimes V^{\dagger})Y (U \otimes V)))$ an …
Benjamin's user avatar
  • 2,099
3 votes
1 answer
134 views

Singular curves of affine distributions on a Lie group

Are there any results about the rigidity of singular curves of rank 1 affine distributions on a connected compact Lie group? Specifically the case of a right invariant affine distribution: $D_{U} = \ …
Benjamin's user avatar
  • 2,099
2 votes
1 answer
236 views

Simultaneous integral equation on $SU(n)$

Consider a smooth curve $U_s:[0,T] \rightarrow SU(4)$ which solves: $\frac{d U_s}{ds} = (a + w(s)b)U_s$ for some given $a,b \in \mathfrak{su}(4)$ (which generate $\mathfrak{su}(n)$) and a smooth rea …
Benjamin's user avatar
  • 2,099
2 votes
0 answers
90 views

Singularities of the Quantum propagator (baby version)

Given $a,b \in \mathfrak{su}(4)$ which are taken to generate the whole algebra, consider the following map $V:\mathbb{R}^{2} \rightarrow SU(4)$: $V : (w_1, w_{2}) \mapsto e^{(a+w_2 b)} e^{(a+w_1 b)}$ …
Benjamin's user avatar
  • 2,099
2 votes
0 answers
421 views

First Variation of Dyson Series/Magnus Expansion

Given the matrix differential equation $\frac{dU_t}{dt}=A_t U_t$ there are at least two ways to write a formal solution. Both the Dyson series: $U_t = \mathcal{T} e^{\int_{0}^{t} A_t dt}$ and the Magn …
Benjamin's user avatar
  • 2,099
2 votes
1 answer
142 views

Largest subgroup of $SU(n)$ for which the adjoint action preserves specific inner product on...

Given $A,B \in \mathfrak{su}(n)$ such that $K(A, B)=0$, I am looking for the largest subgroup $H$ of $SU(n)$ for which: $K \left(A, Ad_{U}(B) \right) = 0, \ \ \forall U \in H$ where $K$ is the Killin …
Benjamin's user avatar
  • 2,099
2 votes
0 answers
115 views

Are singular critical points isolated for control systems on compact semisimple Lie groups

Given a control system on $\mathrm{SU}(n)$ (or any other compact, semi-simple Lie group I suspect) of the form: $\frac{d U_t}{dt} = (A + w(t)B)U_t$ where $A,B \in \mathfrak{su}(n)$ generate the alge …
Benjamin's user avatar
  • 2,099

15 30 50 per page