Wolfram Research

Function Repository Resource:

FrobeniusSymbolFromPartition

Source Notebook

Get a pair of lists representing the Ferrers diagram of a partition

Contributed by: George Beck

ResourceFunction["FrobeniusSymbolFromPartition"][λ]

gives a pair of lists that count dots in the rows and columns relative to the diagonal of the Durfee square in the Ferrers diagram of the partition λ.

Details and Options

A partition of n is a list of weakly decreasing positive integers that add up to n. For instance, written compactly, these are the five partitions of 4: 4, 31, 22, 211, 1111.
In the output of FrobeniusSymbolFromPartition, the first list represents the number of dots to the right of the diagonal in the Ferrers diagram of the given partition, and the second list represents the number of dots below the diagonal.

Examples

Basic Examples

Compute the Frobenius symbol of a partition:

In[1]:=
ResourceFunction["FrobeniusSymbolFromPartition"][{7, 7, 4, 2, 1}]
Out[1]=

Here we use a partition of 8 consisting of only one large part:

In[2]:=
ResourceFunction["FrobeniusSymbolFromPartition"][{8}]
Out[2]=

Here the partition is 11111111, with many small parts:

In[3]:=
ResourceFunction[
 "FrobeniusSymbolFromPartition"][{1, 1, 1, 1, 1, 1, 1, 1}]
Out[3]=

Here is an intermediate case:

In[4]:=
ResourceFunction[
 "FrobeniusSymbolFromPartition"][{7, 6, 5, 4, 3, 2, 1}]
Out[4]=

Scope

A partition is a list of nonincreasing positive integers:

In[5]:=
\[Lambda]1 = {7, 7, 4, 2, 1};

Here is its Ferrers diagram:

In[6]:=
Framed@Grid[Table["\[FilledCircle]", #] & /@ \[Lambda]1]
Out[6]=

Define a function to illustrate the definition of the Frobenius symbol:

The number of dots in the rows to the right of the diagonal is 6, 5, 1. The number of dots in the columns below the diagonal is 4, 2, 0:

In[7]:=
FrobeniusSymbolFromPartitionGrid@{7, 7, 4, 2, 1}
Out[7]=

These lists are the rows of the Frobenius symbol of the partition:

In[8]:=
ResourceFunction["FrobeniusSymbolFromPartition"][{7, 7, 4, 2, 1}]
Out[8]=

Here is another example:

In[9]:=
\[Lambda]2 = {8, 7, 5, 4, 2, 2};
In[10]:=
FrobeniusSymbolFromPartitionGrid@\[Lambda]2
Out[10]=
In[11]:=
ResourceFunction["FrobeniusSymbolFromPartition"]@\[Lambda]2
Out[11]=

Properties and Relations

Confirm that Frobenius symbols and partitions round trip as expected:

In[12]:=
\[Lambda]1 == ResourceFunction[
ResourceObject[
Association[
    "Name" -> "PartitionFromFrobeniusSymbol", "UUID" -> "3c3990d5-7084-453e-8865-e7dcf65abeda", "ResourceType" -> "Function", "Version" -> "1.0.0", "Description" -> "Given a Frobenius symbol, constructs the \
corresponding partition", "RepositoryLocation" -> URL[
      "https://www.wolframcloud.com/objects/resourcesystem/api/1.0"], "WolframLanguageVersionRequired" -> "10.0", "SymbolName" -> "FunctionRepository`$\
6d55d27949914075a38bc402d8301b99`PartitionFromFrobeniusSymbol", "FunctionLocation" -> LocalObject[
      "file:///Users/georgebeck/Library/Wolfram/Objects/Resources/3c3/\
3c3990d5-7084-453e-8865-e7dcf65abeda/download/DefinitionData"], "ShortName" -> "PartitionFromFrobeniusSymbol"], ResourceSystemBase -> "https://www.wolframcloud.com/objects/\
resourcesystem/api/1.0"]]@
  ResourceFunction["FrobeniusSymbolFromPartition"]@\[Lambda]1
Out[12]=
In[13]:=
\[Lambda]2 == ResourceFunction[
ResourceObject[
Association[
    "Name" -> "PartitionFromFrobeniusSymbol", "UUID" -> "3c3990d5-7084-453e-8865-e7dcf65abeda", "ResourceType" -> "Function", "Version" -> "1.0.0", "Description" -> "Given a Frobenius symbol, constructs the \
corresponding partition", "RepositoryLocation" -> URL[
      "https://www.wolframcloud.com/objects/resourcesystem/api/1.0"], "WolframLanguageVersionRequired" -> "10.0", "SymbolName" -> "FunctionRepository`$\
6d55d27949914075a38bc402d8301b99`PartitionFromFrobeniusSymbol", "FunctionLocation" -> LocalObject[
      "file:///Users/georgebeck/Library/Wolfram/Objects/Resources/3c3/\
3c3990d5-7084-453e-8865-e7dcf65abeda/download/DefinitionData"], "ShortName" -> "PartitionFromFrobeniusSymbol"], ResourceSystemBase -> "https://www.wolframcloud.com/objects/\
resourcesystem/api/1.0"]]@
  ResourceFunction["FrobeniusSymbolFromPartition"]@\[Lambda]2
Out[13]=

Requirements

Wolfram Language 11.3 (March 2018) or above

Resource History

Source Metadata

See Also

License Information