Skip to main content
20 events
when toggle format what by license comment
Apr 7, 2019 at 3:42 vote accept T. Amdeberhan
Apr 7, 2019 at 3:42
Mar 11, 2019 at 6:27 vote accept T. Amdeberhan
Mar 11, 2019 at 6:28
Mar 11, 2019 at 6:27 vote accept T. Amdeberhan
Mar 11, 2019 at 6:27
May 13, 2018 at 14:41 comment added Richard Stanley How is this question different from your mathoverflow.net/questions/299981?
May 13, 2018 at 1:10 comment added Matemáticos Chibchas What "$\lambda\vdash n$" means?
May 12, 2018 at 23:18 history edited darij grinberg CC BY-SA 4.0
An empty product would not be divisible by $\delta$
May 25, 2017 at 15:05 comment added T. Amdeberhan @darijgrinberg: I appreciate your meticulous care to help everyone understand the subtle points in the operators actions. Thank you.
May 25, 2017 at 13:27 comment added darij grinberg Ah, I see. The two interpretations do give rise to the same $L_\lambda\left(x\right)_n$, because the $L_\lambda\left(x\right)_n$ computed using Interpretation 2 has constant term $0$. (Why it has constant term $0$ is not completely obvious; it basically comes from observing that $E^k \left(x\right)_n$ has constant term $0$ for all $k \in \left\{0,1,\ldots,n-1\right\}$.)
May 25, 2017 at 13:20 comment added darij grinberg ... give rise to the same $L_\lambda$ (indeed, for any given polynomial $f$, the $L_\lambda f$'s defined using the two interpretations can have different constant terms). Do they nevertheless give rise to the same $L_\lambda \left(x\right)_n$ ? (Your own answer relies on Interpretation 1, as far as I understand it.)
May 25, 2017 at 13:19 comment added darij grinberg ... Interpretation 2 is to understand the fraction in the definition of $L_\lambda$ as being a formal fraction which has to be evaluated as a polynomial in $E$ (using $\delta = E - 1$) before the actual operator $E$ is substituted into it. Thus, $L_\lambda$ is redefined as follows: The polynomial $\left(x^{\lambda_1} - 1\right) \cdots \left(x^{\lambda_k} - 1\right)$ is divisible by $x-1$ as long as $k \geq 1$. Denote the quotient by $q$, and define $L_\lambda$ to be $q\left(E\right)$. These two interpretations both make sense, but they do not ...
May 25, 2017 at 13:17 comment added darij grinberg There is an ambiguity here: The operator $\delta$ is not invertible (in fact, it is not even injective), so how do you divide by $\delta$ ? In light of this, I see two reasonable interpretations of the definition of $L_\lambda$. Interpretation 1 is to redefine $L_\lambda$ as $L_\lambda = \delta' \left(E^{\lambda_1} - 1\right) \cdots \left(E^{\lambda_k} - 1\right)$, where $\delta'$ is the linear operator on $\mathbb{Q}\left[x\right]$ defined as follows: For each polynomial $f$, we let $\delta' f$ be the unique polynomial $g$ with constant term $0$ satisfying $\delta g = f$. Meanwhile, ...
May 25, 2017 at 4:57 history edited T. Amdeberhan CC BY-SA 3.0
edited title
May 24, 2017 at 16:14 answer added T. Amdeberhan timeline score: 2
May 23, 2017 at 5:35 comment added T. Amdeberhan It's a composition. Example: $(E^2-1)(E-1)f(x)=(E^3-E^2-E+1)f(x)=f(x+3)-f(x+2)-f(x+1)+f(x)$.
May 23, 2017 at 5:25 comment added Włodzimierz Holsztyński Is the numerator of $L_{\lambda}$ a product or a composition?
May 23, 2017 at 5:10 history edited T. Amdeberhan CC BY-SA 3.0
added 126 characters in body
May 23, 2017 at 0:32 comment added T. Amdeberhan Just $\delta$. It is not a mistake. Higher powers are not giving the same result.
May 23, 2017 at 0:31 comment added LSpice In the definition of $L_\lambda$, do you mean to divide by $\delta^{\lvert\lambda\rvert}$, or really just by $\delta$?
May 22, 2017 at 19:54 history edited T. Amdeberhan CC BY-SA 3.0
added 29 characters in body
May 22, 2017 at 19:40 history asked T. Amdeberhan CC BY-SA 3.0