A How to optimize a parameter that is the index of a summation?

Condereal
Messages
3
Reaction score
3
TL;DR Summary
Finding the best parameter to satisfy a set of equations, but that parameter is the index of a summation.
Hi everyone!

So, the problem I'm having has more to do with "how to pose the problem to solve it in some software as Matlab or similar".

I have experimentally measured values ##\varepsilon_{exp}^i## with ##i=1,\cdots,6##, that is, I have 6 detectors.

Then, I know (from a Monte Carlo simulation) a set of values ##\psi^i(n)## with ##n\in\mathbb{N}## for each detector, that satisfy: $$\sum\limits_{n=0}^{n_{max}}\psi^i(n) = \varepsilon_{sim}^i\approx \varepsilon_{exp}^i$$ The thing is, I would like to find a number ##n_0\in\mathbb{N}## such that: $$\varepsilon_{exp}^i-\varepsilon_{sim}^i(n_0)=\varepsilon_{exp}^i-\sum_{n=n_0}^{n_{max}}\psi^i(n)\to 0$$ for all six equations at the same time, that is, for all ##i##. This is an optimization problem, and it screams ##\chi^2##-minimization or maximum-likelihood problem. Can anyone imagine a way of posing this problem in an environment like Matlab?

Every answer will be very much appreciated.
 
Mathematics news on Phys.org
You'll need some metric for the distance to compare different approximations. Then you can express everything in terms of that metric.

If your sum follows some nice path through your 6-dimensional space (or at least through the one-dimensional "distance" to the target) you could try to approximate it, minimize the now real parameter, and then look in the vicinity of that parameter for a local minimum of the discrete problem.

If your sum doesn't follow a nice path then searching through all cases is still an option.
 
Hi mfb, thank you for your answer!

Sadly, the paths ##\psi^i(n)## are not nice... I should probably try searching, by brute force, through all the cases. I did this but for each detector ##i## independently, setting up a tolerance. For example, I move ##n_0##, and if: $$100\frac{\lvert\varepsilon^i_{exp}-\varepsilon^i_{sim}(n_0)\rvert}{\varepsilon^i_{exp}}<t$$ for ##t=5\%## I choose that particular ##n_0## as my parameter. I obtain in that case, an ##n_0## for each ##i##, and they differ from each other. I would like to give the ##n_0## that minimizes all at once, but I wouldn't know how to start writing this in a script...!
 
In general there won't be an n_0 where all the relative deviations are minimal at the same time. You need some definition of "best" before you can try to find the best one. The absolute sum of relative deviations? The absolute sum of the squared relative deviations? The maximal relative deviation? Whatever you like. But you need to define what you want to optimize.
 
Yes, sorry, I expressed incorrectly the idea, that I wanted to minimize the difference for each detector with one ##n_0##, but in reality ##n_0## should give the smallest difference possible which "compromises" for all the detectors. So, your proposal would be to define a metric like "the absolute sum of relative deviation", and try for every ##n_0## until I find the minimum?

On the other hand:
Can this procedure be considered a usual maximum-likelihood technique, or a ##\chi^2##-minimization? In case not, do you think these techniques apply in my case?
I'm only asking because I've been suggested by a colleague to use a ##\chi^2##-minimization for this problem, but I really don't see how to do this.

Thank you for your time mfb, your answer was useful.
 
Condereal said:
the smallest difference possible which "compromises" for all the detectors.
You'll need to quantify that compromise. There is no way around that, and mathematics alone cannot tell you what will be the best metric for your task.
Condereal said:
Can this procedure be considered a usual maximum-likelihood technique, or a ##\chi^2##-minimization?
It can have some similarity, but with a single parameter and a dependent variable that doesn't vary smoothly nothing from that toolbox will help.
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
I'm interested to know whether the equation $$1 = 2 - \frac{1}{2 - \frac{1}{2 - \cdots}}$$ is true or not. It can be shown easily that if the continued fraction converges, it cannot converge to anything else than 1. It seems that if the continued fraction converges, the convergence is very slow. The apparent slowness of the convergence makes it difficult to estimate the presence of true convergence numerically. At the moment I don't know whether this converges or not.

Similar threads

Replies
2
Views
2K
Replies
21
Views
3K
Replies
8
Views
2K
4
Replies
175
Views
25K
Back
Top