Skip to main content

Questions tagged [symmetric-functions]

For questions about functions which are symmetric in their arguments.

Filter by
Sorted by
Tagged with
1 vote
0 answers
29 views

General form of symmetric function of 3 dimensional vectors

In the paper Deep Sets by Zaheer et al, they prove a theorem (eq 18 in appendix) that states that any general scalar symmetric function of $M$ variables can be written as $$f(x_1, x_2, \dots, x_M) = \...
Theo281's user avatar
  • 11
2 votes
1 answer
51 views

Regarding the number of variables in Symmetric Functions

I'm studying Symmetric Functions and I came across a doubt that could be considered stupid but I need clarifications. In the course I'm following we introduced symmetric functions as formal series of ...
Marco Andreoli's user avatar
2 votes
0 answers
69 views

Exploiting symmetry of 4d integral

In my research, I have come across the following integral in four variables. $$I=32\int_0^\infty f(x,y,w,z) dx dy dz dw$$ The function $f$ is invariant under permutation of any of the variables and ...
RKLS's user avatar
  • 81
0 votes
0 answers
12 views

Concluding a radial weak solution with radial test functions is a weak solution with all test functions

Let $B \subset \mathbb{R}^N$ be the unit ball and $E = \{u \in H^1_0(B) : u \text{ is radial}\}$. Define the functional $I : E \to \mathbb{R}$ by $$ I(u) = \int_{B} |\nabla u(x)|^2 dx - \frac{1}{p}\...
Lucas Linhares's user avatar
0 votes
0 answers
26 views

Largest normal distribution under a curve

I was wondering if I could have some insights on the following problem. Suppose I have a probability distribution $F$, I want an algorithm that finds the largest normal distribution under $F$. Say we ...
blabla12's user avatar
3 votes
1 answer
72 views

Building the tensor product of multiple algebras in sage?

I want to build $\Lambda\otimes\Lambda$ in Sage, where $\Lambda$ is the algebra of symmetric functions. You can build the algebra of symmetric functions in the Schur bases with SymmetricFunctions(QQ)....
river's user avatar
  • 33
1 vote
0 answers
15 views

Defining Schwars rearrangement for other kind of symmetric domains

Given a Lebesgue measurable subset $E \subset \mathbb{R}^N$ we denote its $N-$dimensional Lebesgue measure by $|E|$. Let $\Omega \subset \mathbb{R}^N$ a bounded measurable set and $u : \Omega \to \...
Lucas Linhares's user avatar
1 vote
1 answer
55 views

Can $\csc(x)\csc(x + y)\sin(y)+\cot(y)$ be rewritten to make its symmetry in $x$ and $y$ more obvious?

I have a function $f(x, y) = \csc(x) \csc(x + y) \sin(y) + \cot(y)$, and I know from graphing it that the function is symmetric in $x$ and $y$ such that $f(x, y) = f(y, x)$. However, that fact isn't ...
Lawton's user avatar
  • 1,861
0 votes
1 answer
22 views

Formula for the chromatic symmetric function of a graph in terms of the graph's chromatic polynomial?

I know the chromatic symmetric function simplifies to the chromatic polynomial when 1's and 0's are subbed in for the x's. I was wondering if one could easily find the chromatic symmetric of a graph ...
eagle I 's user avatar
1 vote
1 answer
88 views

A proof of Pólya-Szegő inequality

Denote by $|A|$ the $N-$dimensional Lebesgue measure of a Borel set $A \subset \mathbb{R}^N$ and define $$ A^\ast := B_{R}(0), \quad R = \left(\frac{N}{\omega_N}|A| \right)^{\frac{1}{N}}, $$ where $\...
Lucas Linhares's user avatar
0 votes
1 answer
33 views

Prove that $n$ hypersurfaces with cyclic permutations of the last $n-1$ variables only intersect if all the variables have the same value.

Suppose that in $\mathbb{R}^n$, I have an equation $F(x,y,z,\dots,n)=0$ with the property that it is symmetric in the last $(n-1)$ variables $\{y,z,\dots,n\}$, but not in the first variable $x$. For ...
matilda's user avatar
  • 169
1 vote
0 answers
30 views

Equality of two symmetric maps

Let $V$ and $W$ be two real vector spaces. I would like to show that two symmetric and multi-linear functions $$\alpha_1,\alpha_2:V^n\to W$$ are equal if and only if $$\forall v\in V:\alpha_1(v)=\...
Filippo's user avatar
  • 3,584
0 votes
1 answer
50 views

Why are the eigenfunctions of the Laplacian on a region with spherically symmetric boundary condition are not spherically symmetric?

For example the eigenfunctions of a spherically symmetric membrane can be found in https://en.wikipedia.org/wiki/Vibrations_of_a_circular_membrane. Then again I sometimes see people in Physics saying ...
TheFibonacciEffect's user avatar
0 votes
0 answers
124 views

Algebraic integers: Explicit proof that $\prod_{i,j} (x^2+\alpha_i x+\beta_j)$ (with $\alpha_i$ and $\beta_j$ conjugates) has integer coefficients.

An algebraic integer is a complex number that is the root of a monic polynomial with integer coefficients. In Exercise 3 of Chapter 6 of Ireland and Rosen's book on number theory, we are asked to show ...
Samuel Johnston's user avatar
0 votes
0 answers
24 views

How to symmetrize this vector expression?

In the context of a physics calculation, I have encountered an integral of the form: $$\int d^3k_1d^3k_2F(\vec{k_1},\vec{k_2})$$ The notes that I'm reading tell me that I need to symmetrize the ...
Wild Feather's user avatar
2 votes
3 answers
103 views

Prove that $a_3 \lambda^{3} + a_2 \lambda^{2} + a_1 \lambda + a_0 = 0$ has three real roots

I'm trying to prove that the cubic equation $a_3 \lambda^{3} + a_2 \lambda^{2} + a_1 \lambda + a_0 = 0$ has three real roots. The coefficients are $a_3 = - 1 - \sigma - \tau - \chi$ $a_2 = -2 (\sigma +...
Rich T's user avatar
  • 61
1 vote
1 answer
79 views

Pieri formula for power sum symmetric polynomial

I know Pieri's formula for elementary symmetric polynomials and for complete homogeneous symmetric polynomials, but is there an analogue for power sum symmetric polynomial? It seems that it should be ...
AndrewGap's user avatar
  • 111
0 votes
0 answers
60 views

Prove Cauchy-like determinant formula

How can you prove the following determinant formula, where the determinant is the same as that of the Cauchy matrix $$\det [ \frac{1}{1 - x_i y_j} ]_{i, j = 1}^n = \frac{\prod_{1 \leq i < j \leq n} ...
Jonathan McDonald's user avatar
0 votes
1 answer
36 views

Symmetric PDFs for random sets

I’m studying the probability theory for finite sets (in my field we call them Random Finite Sets, but they are known as (simple) Point Processes). In this context, a random finite set is a random ...
matteogost's user avatar
0 votes
0 answers
51 views

Symmetric sigmoidal function with asymptotes?

Consider the cubic function: f(x) = x + ax^3 Simple cubic function This function has several of the features that I need, which are: crosses the origin (0,0) If x > 0 then y <= x If x < 0 ...
Thiago Rangel's user avatar
0 votes
0 answers
59 views

inequality about elementary symmetric polynomials with real variables

Fix $k\in \mathbb{N}$. Suppose $y_1,\ldots, y_{2k}$ are real numbers. Then $$\left(\sum_{1\le i_1<i_2<\cdots<i_k\le 2k} y_{i_1}y_{i_2}\cdots y_{i_k}\right)^2 \ge \binom{2k}{k}^2y_1y_2\cdots ...
Sayan's user avatar
  • 2,698
0 votes
1 answer
49 views

How to perform Symmetrization?

Let $f:\mathbb{R}^n\to\mathbb{R}$ be an asymmetric function with respect to its variables. How can I transform it to become symmetric? For example, when $n=2$, take $f(x,y)=x+y^2$. Pairwise adding ...
sam wolfe's user avatar
  • 3,405
2 votes
1 answer
60 views

Fulton Harris Lemma A.28

I am trying to understand the proof of the lemma A.28 in the representation theory book by Fulton and Harris. Let $x_1,\ldots, x_k$ and $y_1,\ldots, y_k$ two distinct indipendent variables. Denote $...
Radagast's user avatar
  • 117
0 votes
1 answer
39 views

Skew diagram horizontal $m$-strip defintion and board strip question

In Symmetric Functions and Hall Polynomials by Manin, Manin claims that for a skew diagram $\theta = \lambda - \mu$ to be a horizontal $m$-strip, "the sequences $\lambda$ and $\mu$ are interlaced,...
Henry Yan's user avatar
0 votes
0 answers
27 views

Does the given symmetry help to prove that the region in which conditions $\textbf{cond.1}$ and $\textbf{cond.2}$ hold is the same?

I have two conditions $\textbf{cond.1}$ and $\textbf{cond.2}$ for two variables $x,y\in(0,2\pi)$ $$ \text{cond.1}:=\qquad f_2<f_1<f_3 $$ $$ \text{cond.2}:=\qquad g_2<g_1<g_3 $$ where ...
Phys96's user avatar
  • 123
0 votes
0 answers
60 views

Basis of Symmetric Polynomials on Variables with Conditions

It is well know that there are many bases for the ring of symmetric polynomials on $k$ variable. For example, if we define $p_n = \sum_{i=1}^k x_i^n$, then every symmetric polynomial can be written as ...
Mastrel's user avatar
  • 1,497
4 votes
0 answers
261 views

Cauchy identity for Schur functions

PRELIMINARY. The Cauchy identity for Schur polynomials reads $$ \sum_{\lambda}s_\lambda(x_1,...,x_n)s_\lambda(y_1,...,y_n) =\prod_{i,j=1}^n\frac 1{1-x_iy_j}, $$ where $s_\lambda$ are the Schur ...
Giulio R's user avatar
  • 3,226
1 vote
0 answers
38 views

Find a symmetric function with certain gradient

Given $m \in (0,1)$ and $n \in \mathbb{N}$, find a symmetric differentiable function $f : (0, \infty)^n \rightarrow \mathbb{R}$ that satisfies $$ \frac{\partial f(x)}{\partial x_i} = 0 \...
Abheek Ghosh's user avatar
1 vote
1 answer
88 views

Plethysm Substitution Rule issue

I am looking at the plethysm "negation rule," Theorem 6 If $g\in\Lambda^n$ is homogeneous of degree $n$ and $A$ is any plethystic alphabet, then $$g[-A]=(-1)^n\big(\omega(g)\big)[A].$$ In ...
J-anon's user avatar
  • 67
2 votes
0 answers
70 views

Determining Littlewood-Richardson coefficients $c_{\lambda,\mu}^{(2)}$ and $c_{\lambda,\mu}^{(1,1)}$.

We denote the Littlewood-Richardson coefficient by $c_{\lambda, \mu}^{\nu}$ where $\mu$ is a partition of $m$ and $\nu$ is a partition of $n$ and $\lambda$ is a partition of $m+n$. We know $c_{\lambda,...
Riju's user avatar
  • 4,125
0 votes
0 answers
39 views

Why is $ \sum_\mu [s_\lambda](s_\lambda s_\mu)_{/\mu} = \sum_\rho [s_\rho](s_{\rho /\mu}) s_\mu$ for any partition $\lambda$?

Say $\lambda \vdash n$ and $\mu \vdash m$ and $|\rho|=|\lambda|+|\mu|$ then for all $\lambda$ and $m$ it appears to hold that $$ \sum_\mu [s_\lambda](s_\lambda s_\mu)_{/\mu} = \sum_\rho [s_\rho](s_{\...
Wouter M.'s user avatar
  • 910
1 vote
1 answer
107 views

Saddle point in a non-convex objective function

I am investigating the following minimization problem as follows. It is the summation of two fractional functions that mirror each other around $(y_c,y_n)=(\frac{1}{2},\frac{1}{2})$: $Min\ z(y_c,y_n)=\...
Reza Farahani's user avatar
0 votes
0 answers
139 views

About the definition of pullback (in diff. geom.)

Consider $(d<\infty)$-dimensional ${ \Bbb R}$-vector spaces $V$ and $W$, and their dual spaces $V^*:=Hom(V,{\Bbb R})$ and $W^*:=Hom(W,{\Bbb R})$. Naturally, $V,W,V^*,W^*$ are all isomorphic. Now, ...
PSB's user avatar
  • 1
0 votes
1 answer
95 views

$k[x_1,.\dots,x_n]$ is a free module over the ring of symmetric polyomials

I know that this question has been already discussed (e.g here: shorturl.at/coFQX) but I dont understand the proofs given there, and I found a different one. I want to show that $R[x_1,\dots,x_n]$ is ...
user1072285's user avatar
1 vote
1 answer
61 views

Equivalent conditions for differentiability of radially symmetric functions

Let $f : B(0, 1) \subset \mathbf R^n \to \mathbf R$ be a $C^k$-function, namely all partial derivatives up to order $k$ are continuous. Suppose that $f$ is also radially symmetric with respect to the ...
QA Ngô's user avatar
  • 496
2 votes
1 answer
83 views

Symmetric optimization problem

Consider a linear or non-linear optimization problem of the form: $$\min x_1$$ $$x_1 \ge x_2 \ge x_3$$ $$f_1(x_1,x_2,x_3,x_{12},x_{13},x_{23},x_{123}) \ge 0$$ $$\ldots$$ $$f_n(x_1,x_2,x_3,x_{12},x_{13}...
Fabius Wiesner's user avatar
2 votes
0 answers
52 views

Frobenius series for the $S_n$-module $k[X]$

I'm reading Haiman's article titled Conjectures on the quotient ring by diagonal invariants (which can be found here). In what follows, all vector spaces and algebras are over the field of rational ...
Albert's user avatar
  • 3,042
0 votes
1 answer
37 views

How to write proof using the symetrical structure of the equation?

I encountered a problem recently, Let $f(x_1,x_2,x_3)=e^{-(x_1+x_2+x_3)},0<x_1,x_2,x_3<\infty$ be the joint pdf of random variables $X_1,X_2,X_3$. Find $P(x_1<x_2<x_3)$. I want to state ...
BlackSheep1048576's user avatar
2 votes
0 answers
59 views

Sum of Schur functions incorporating the length statistic

Macdonald's Symmetric Functions and Hall Polynomials includes the following identities (listed as exercises on pages 76 and 78 respectively): \begin{equation} \begin{array}{ll} \text{Ex.} \,(4) \quad \...
Jeanne Scott's user avatar
1 vote
0 answers
32 views

Linear involution for Specht modules

Let $n$ be a positive integer and $\lambda$ be a partition of $n$, which we identify with its Young diagram. Let $S^{\lambda}$ be the Specht module associated to $\lambda$. Here the Specht modules are ...
Albert's user avatar
  • 3,042
2 votes
0 answers
22 views

Derivation of the Macdonald operator $D_{n}(X;q,t)$

Since I first encountered Equation (3.2) on p.315 of Macdonald's Symmetric functions and Hall polynomials, I have wanted to know where it comes from. So how does one derive the operator \begin{...
BatsOnASwing's user avatar
2 votes
1 answer
91 views

Is the Ring of Symmetric Functions complete?

So, this question came up in a discussion today and I thought I'd post it here. Given that the ring of symmetric functions $\Lambda$ can be equipped with the Hall scalar product. Is it also a complete ...
BatsOnASwing's user avatar
1 vote
1 answer
114 views

Computing elementary symmetric polynomials of degree $3$

My question is related to page 4 of http://math.uchicago.edu/~may/REU2020/REUPapers/Graham.pdf Let $e_j=\sum \limits_{1\leq i_1<...<i_j \leq n}x_{i_1}\dots x_{i_j}$ be the elementary symmetric ...
Gurterz's user avatar
  • 425
1 vote
0 answers
58 views

Approximation of symmetric non-negative function, which is component-wise increasing by a symmetric polynomial with non-negative co-efficients

Let $f\colon [0,1]^n\to [0,\infty)$ be a symmetric (continuous) function, i.e., $f(x_1,...,x_n)=f\left(x_{\sigma(1)},...,x_{\sigma(n)}\right)$ for every permutation $\sigma$ of $\{1,...,n\}$ such that ...
Sumanta's user avatar
  • 9,634
1 vote
1 answer
99 views

Prove that this differential equation has reflective symmetric about a line

Context I am studying analytic mechanics using [1]. In the context of orbital mechanics the authors arrive at the following initial-value problem. \begin{align} \frac{d^2 u{(\theta)}}{d\theta^2 } + ...
Michael Levy's user avatar
  • 1,112
1 vote
1 answer
68 views

Equivalent symmetric sums proof [closed]

Let $a$ and $b$ be integers greater than one which have no common divisors. Prove that $$\sum_{i=1}^{b-1}\left\lfloor\frac{ai}{b}\right\rfloor=\sum_{j=1}^{a-1}\left\lfloor\frac{bj}{a}\right\rfloor.$$ ...
Justintime's user avatar
1 vote
1 answer
108 views

Is there a symmetric real valued function on ${\mathbb R}^n$ that lies between sum and product?

I am seeking a sequence of functions $f_n:{\mathbb R}^n \rightarrow {\mathbb R}$ where $n=1, 2, 3, \ldots$ which have the following properties: Within the unit cube, for each point $(x_1, x_2, \ldots,...
Bilal Khan's user avatar
1 vote
1 answer
82 views

Does this 3D function need to be symmetric for $\frac {\partial f(x,y)}{\partial x}= |\frac {\partial f(x,y)}{\partial y}|$ for all $x < y$?

Suppose I have a 3D function $f(x,y):\mathbb {R^2_{\ge 0}} \to \mathbb {R_{\le0}}$ such that $$ \frac {\partial f(x,y)}{\partial x}= \begin{cases} >0&\text{if}\, x<y \\\ 0&\text{if}\, ...
Eli J's user avatar
  • 61
1 vote
2 answers
106 views

Filling in the gap of a proof of the Fundamental Theorem of Symmetric Polynomials.

Suppose we can assume that the set of symmetric rational functions in $k(X_1,...,X_n)$, where $k$ is a field, is the same as the field generated by $k(a_1,...,a_n)$ where the $a_i$ are the elementary ...
Paul Epstein's user avatar
1 vote
0 answers
24 views

Image of permutations $\lambda$ with $l(\lambda) \leq 2$ under RSK

Consider $p,q \in SSYT(\lambda)$ such that $l(p) = l(q) \leq 2$. I was hoping to find the image under the rsk algorithm of $(p,q)$? In other words the two lines-arrays (or generalized permutations) ...
jacopoburelli's user avatar

1
2 3 4 5
7