I'm trying to minimize over $U$ the objective $\|X^{\top}UU^{\top}UU^{\top}X\|_F^2 = \text{trace}(X^{\top}UU^{\top}UU^{\top}XX^{\top}UU^{\top}UU^{\top}X)$ subject to $U^{\top}U = I$, where $X \in \mathbb{R}^{D \times N}$ and $U \in \mathbb{R}^{D \times d}$ for a given $d$. The constraint simplifies the objective slightly to $\text{trace}(X^{\top}UU^{\top}XX^{\top}UU^{\top}X)$. I'm guessing that the method of Lagrange multipliers is the way to go, but I'm not even sure how to take the derivative of the objective.Could someone point me in the right direction? I'm thinking that perhaps the way to go is taking the derivative with respect to $UU^{\top}$ and working from there.
2026-03-27 23:38:35.1774654715
Matrix optimization
445 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in OPTIMIZATION
- Optimization - If the sum of objective functions are similar, will sum of argmax's be similar
- optimization with strict inequality of variables
- Gradient of Cost Function To Find Matrix Factorization
- Calculation of distance of a point from a curve
- Find all local maxima and minima of $x^2+y^2$ subject to the constraint $x^2+2y=6$. Does $x^2+y^2$ have a global max/min on the same constraint?
- What does it mean to dualize a constraint in the context of Lagrangian relaxation?
- Modified conjugate gradient method to minimise quadratic functional restricted to positive solutions
- Building the model for a Linear Programming Problem
- Maximize the function
- Transform LMI problem into different SDP form
Related Questions in LAGRANGE-MULTIPLIER
- How to maximize function $\sum_{i=1}^{\omega}\max(0, \log(x_i))$ under the constraint that $\sum_{i=1}^{\omega}x_i = S$
- Extrema of multivalued function with constraint
- simple optimization with inequality restrictions
- Using a Lagrange multiplier to handle an inequality constraint
- Deriving the gradient of the Augmented Lagrangian dual
- Lagrange multiplier for the Stokes equations
- How do we determine whether we are getting the minimum value or the maximum value of a function using lagrange...
- Find the points that are closest and farthest from $(0,0)$ on the curve $3x^2-2xy+2y^2=5$
- Generalized Lagrange Multiplier Theorem.
- Lagrangian multipliers with inequality constraints
Related Questions in MATRIX-CALCULUS
- How to compute derivative with respect to a matrix?
- Definition of matrix valued smooth function
- Is it possible in this case to calculate the derivative with matrix notation?
- Monoid but not a group
- Can it be proved that non-symmetric matrix $A$ will always have real eigen values?.
- Gradient of transpose of a vector.
- Gradient of integral of vector norm
- Real eigenvalues of a non-symmetric matrix $A$ ?.
- How to differentiate sum of matrix multiplication?
- Derivative of $\log(\det(X+X^T)/2 )$ with respect to $X$
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
The problem may be simplified by working with $Y = XX^{\top}$, since $$ \text{trace}(X^{\top}UU^{\top}XX^{\top}UU^{\top}X) = \text{trace}( U^{\top} YU U^{\top} YU). $$ Then write $Y = VSV^{\top}$, where $S$ is $D \times D$ diagonal with non-negative non-increasing diagonal entries $s_j$ and $V$ is $D \times D$ orthogonal. Setting $\tilde U = V^{\top} U$, the problem now is to minimize $$ \text{trace}( \tilde U^{\top} S \tilde U \tilde U^{\top} S \tilde U) $$ Now choose $\tilde U$ to be the last $d$ columns of the $D \times D$ identity matrix (so $U$ consists of the last $d$ columns of $V$). Then your functional turns into $$ \text{trace}( U^{\top} YU U^{\top} YU) = \sum_{j = D-d+1} s_j^2 $$ that is the sum of squares of the last $d$ entries of $S$. If $N \le D-d$, then these entries are zero and clearly the result is minimal.
I suspect that this choice of $\tilde U$ also gives the minimal solution in the general case.