-
Howe duality for the dual pair $\left(\mathfrak{spo}(2n|1)\,, \mathfrak{osp}(2|2)\right)$
Authors:
Roman Lavicka,
Allan Merino
Abstract:
The goal of our work is to study the decomposition of the joint action of $\mathfrak{g} = \mathfrak{spo}(2n|1)$ and $\mathfrak{g}' = \mathfrak{osp}(2|2)$ on the supersymmetric algebra S = S($\mathbb{C}^{2n|1} \otimes \mathbb{C}^{1|1}$). As proved by Merino and Salmasian, we have a one-to-one correspondence between irreducible representations of $\mathfrak{g}$ and $\mathfrak{g}'$ appearing as subre…
▽ More
The goal of our work is to study the decomposition of the joint action of $\mathfrak{g} = \mathfrak{spo}(2n|1)$ and $\mathfrak{g}' = \mathfrak{osp}(2|2)$ on the supersymmetric algebra S = S($\mathbb{C}^{2n|1} \otimes \mathbb{C}^{1|1}$). As proved by Merino and Salmasian, we have a one-to-one correspondence between irreducible representations of $\mathfrak{g}$ and $\mathfrak{g}'$ appearing as subrepresentations of S. In this paper, we obtained an explicit description of the highest weights and joint highest weight vectors for the representations of $\mathfrak{g}$ and $\mathfrak{g}'$ appearing in the duality.
△ Less
Submitted 4 June, 2025;
originally announced June 2025.
-
Minimum maximal matchings in permutahedra
Authors:
Sofia Brenner,
Jiří Fink,
Hung. P. Hoang,
Arturo Merino,
Vincent Pilaud
Abstract:
We prove that the minimal size $M(π_n)$ of a maximal matching in the permutahedron $π_n$ is asymptotically $n!/3$. On the one hand, we obtain a lower bound $M(π_n) \ge n! (n-1) / (3n-2)$ by considering $4$-cycles in the permutahedron. On the other hand, we obtain an asymptotical upper bound $M(π_n) \le n!(1/3+o(1))$ by multiple applications of Hall's theorem (similar to the approach of Forcade (19…
▽ More
We prove that the minimal size $M(π_n)$ of a maximal matching in the permutahedron $π_n$ is asymptotically $n!/3$. On the one hand, we obtain a lower bound $M(π_n) \ge n! (n-1) / (3n-2)$ by considering $4$-cycles in the permutahedron. On the other hand, we obtain an asymptotical upper bound $M(π_n) \le n!(1/3+o(1))$ by multiple applications of Hall's theorem (similar to the approach of Forcade (1973) for the hypercube) and an exact upper bound $M(π_n) \le n!/3$ by an explicit construction. We also derive bounds on minimum maximal matchings in products of permutahedra.
△ Less
Submitted 14 February, 2025;
originally announced February 2025.
-
A Demigod's Number for the Rubik's Cube
Authors:
Arturo Merino,
Bernardo Subercaseaux
Abstract:
It is well-known by now that any state of the $3\times 3 \times 3$ Rubik's Cube can be solved in at most 20 moves, a result often referred to as "God's Number". However, this result took Rokicki et al. around 35 CPU years to prove and is therefore very challenging to reproduce.
We provide a novel approach to obtain a worse bound of 36 moves with high confidence, but that offers two main advantag…
▽ More
It is well-known by now that any state of the $3\times 3 \times 3$ Rubik's Cube can be solved in at most 20 moves, a result often referred to as "God's Number". However, this result took Rokicki et al. around 35 CPU years to prove and is therefore very challenging to reproduce.
We provide a novel approach to obtain a worse bound of 36 moves with high confidence, but that offers two main advantages: (i) it is easy to understand, reproduce, and verify, and (ii) our main idea generalizes to bounding the diameter of other vertex-transitive graphs by at most twice its true value, hence the name "demigod number".
Our approach is based on the fact that, for vertex-transitive graphs, the average distance between vertices is at most half the diameter, and by sampling uniformly random states and using a modern solver to obtain upper bounds on their distance, a standard concentration bound allows us to confidently state that the average distance is around $18.32 \pm 0.1$, from where the diameter is at most $36$.
△ Less
Submitted 30 December, 2024;
originally announced January 2025.
-
Facet-Hamiltonian cycles in the $B$-permutahedron
Authors:
Nastaran Behrooznia,
Sofia Brenner,
Arturo Merino,
Torsten Mütze,
Christian Rieck,
Francesco Verciani
Abstract:
We construct facet-Hamiltonian cycles in the $B$-permutahedron, resolving a conjecture raised in a recent paper by Akitaya, Cardinal, Felsner, Kleist and Lauff [arxiv.org/abs/2411.02172].
We construct facet-Hamiltonian cycles in the $B$-permutahedron, resolving a conjecture raised in a recent paper by Akitaya, Cardinal, Felsner, Kleist and Lauff [arxiv.org/abs/2411.02172].
△ Less
Submitted 3 December, 2024;
originally announced December 2024.
-
Generating all invertible matrices by row operations
Authors:
Petr Gregor,
Hung P. Hoang,
Arturo Merino,
Ondřej Mička
Abstract:
We show that all invertible $n \times n$ matrices over any finite field $\mathbb{F}_q$ can be generated in a Gray code fashion. More specifically, there exists a listing such that (1) each matrix appears exactly once, and (2) two consecutive matrices differ by adding or subtracting one row from a previous or subsequent row, or by multiplying or diving a row by the generator of the multiplicative g…
▽ More
We show that all invertible $n \times n$ matrices over any finite field $\mathbb{F}_q$ can be generated in a Gray code fashion. More specifically, there exists a listing such that (1) each matrix appears exactly once, and (2) two consecutive matrices differ by adding or subtracting one row from a previous or subsequent row, or by multiplying or diving a row by the generator of the multiplicative group of $\mathbb{F}_q$. This even holds if the addition and subtraction of each row is allowed to some specific rows satisfying a certain mild condition. Moreover, we can prescribe the first and the last matrix if $n\ge 3$, or $n=2$ and $q>2$. In other words, the corresponding flip graph on all invertible $n \times n$ matrices over $\mathbb{F}_q$ is Hamilton connected if it is not a cycle. This solves yet another special case of Lovász conjecture on Hamiltonicity of vertex-transitive graphs.
△ Less
Submitted 7 October, 2024; v1 submitted 3 May, 2024;
originally announced May 2024.
-
Graphs that admit a Hamilton path are cup-stackable
Authors:
Petr Gregor,
Arturo Merino,
Torsten Mütze,
Francesco Verciani
Abstract:
Fay, Hurlbert and Tennant recently introduced a one-player game on a finite connected graph $G$, which they called cup stacking. Stacks of cups are placed at the vertices of $G$, and are transferred between vertices via stacking moves, subject to certain constraints, with the goal of stacking all cups at a single target vertex. If this is possible for every target vertex of $G$, then $G$ is called…
▽ More
Fay, Hurlbert and Tennant recently introduced a one-player game on a finite connected graph $G$, which they called cup stacking. Stacks of cups are placed at the vertices of $G$, and are transferred between vertices via stacking moves, subject to certain constraints, with the goal of stacking all cups at a single target vertex. If this is possible for every target vertex of $G$, then $G$ is called stackable. In this paper, we prove that if $G$ admits a Hamilton path, then $G$ is stackable, which confirms several of the conjectures raised by Fay, Hurlbert and Tennant. Furthermore, we prove stackability for certain powers of bipartite graphs, and we construct graphs of arbitrarily large minimum degree and connectivity that do not allow stacking onto any of their vertices.
△ Less
Submitted 25 November, 2024; v1 submitted 11 January, 2024;
originally announced January 2024.
-
Traversing combinatorial 0/1-polytopes via optimization
Authors:
Arturo Merino,
Torsten Mütze
Abstract:
In this paper, we present a new framework that exploits combinatorial optimization for efficiently generating a large variety of combinatorial objects based on graphs, matroids, posets and polytopes. Our method relies on a simple and versatile algorithm for computing a Hamilton path on the skeleton of any 0/1-polytope ${\rm conv}(X)$, where $X\subseteq \{0,1\}^n$. The algorithm uses as a black box…
▽ More
In this paper, we present a new framework that exploits combinatorial optimization for efficiently generating a large variety of combinatorial objects based on graphs, matroids, posets and polytopes. Our method relies on a simple and versatile algorithm for computing a Hamilton path on the skeleton of any 0/1-polytope ${\rm conv}(X)$, where $X\subseteq \{0,1\}^n$. The algorithm uses as a black box any algorithm that solves a variant of the classical linear optimization problem $\min\{w\cdot x\mid x\in X\}$, and the resulting delay, i.e., the running time per visited vertex on the Hamilton path, is only by a factor of $\log n$ larger than the running time of the optimization algorithm. When $X$ encodes a particular class of combinatorial objects, then traversing the skeleton of the polytope ${\rm conv}(X)$ along a Hamilton path corresponds to listing the combinatorial objects by local change operations, i.e., we obtain Gray code listings. As concrete results of our general framework, we obtain efficient algorithms for generating all ($c$-optimal) bases in a matroid; ($c$-optimal) spanning trees, forests, ($c$-optimal) matchings in a general graph; ($c$-optimal) vertex covers, ($c$-optimal) stable sets in a bipartite graph; as well as ($c$-optimal) antichains and ideals of a poset. The delay and space required by these algorithms are polynomial in the size of the matroid, graph, or poset, respectively, and these listings correspond to Hamilton paths on the corresponding combinatorial polytopes. We also obtain an $O(t_{\rm LP} \log n)$ delay algorithm for the vertex enumeration problem on 0/1-polytopes $\{x\in\mathbb{R}^n\mid Ax\leq b\}$, where $A\in \mathbb{R}^{m\times n}$ and $b\in\mathbb{R}^m$, and $t_{\rm LP}$ is the time needed to solve the linear program $\min\{w\cdot x\mid Ax\leq b\}$. This improves upon the 25-year old $O(t_{\rm LP}\,n)$ delay algorithm of Bussieck and Lübbecke.
△ Less
Submitted 14 June, 2024; v1 submitted 17 April, 2023;
originally announced April 2023.
-
Kneser graphs are Hamiltonian
Authors:
Arturo Merino,
Torsten Mütze,
Namrata
Abstract:
For integers $k\geq 1$ and $n\geq 2k+1$, the Kneser graph $K(n,k)$ has as vertices all $k$-element subsets of an $n$-element ground set, and an edge between any two disjoint sets. It has been conjectured since the 1970s that all Kneser graphs admit a Hamilton cycle, with one notable exception, namely the Petersen graph $K(5,2)$. This problem received considerable attention in the literature, inclu…
▽ More
For integers $k\geq 1$ and $n\geq 2k+1$, the Kneser graph $K(n,k)$ has as vertices all $k$-element subsets of an $n$-element ground set, and an edge between any two disjoint sets. It has been conjectured since the 1970s that all Kneser graphs admit a Hamilton cycle, with one notable exception, namely the Petersen graph $K(5,2)$. This problem received considerable attention in the literature, including a recent solution for the sparsest case $n=2k+1$. The main contribution of this paper is to prove the conjecture in full generality. We also extend this Hamiltonicity result to all connected generalized Johnson graphs (except the Petersen graph). The generalized Johnson graph $J(n,k,s)$ has as vertices all $k$-element subsets of an $n$-element ground set, and an edge between any two sets whose intersection has size exactly $s$. Clearly, we have $K(n,k)=J(n,k,0)$, i.e., generalized Johnson graph include Kneser graphs as a special case. Our results imply that all known natural families of vertex-transitive graphs defined by intersecting set systems have a Hamilton cycle, which settles an interesting special case of Lovász' conjecture on Hamilton cycles in vertex-transitive graphs from 1970. Our main technical innovation is to study cycles in Kneser graphs by a kinetic system of multiple gliders that move at different speeds and that interact over time, reminiscent of the gliders in Conway's Game of Life, and to analyze this system combinatorially and via linear algebra.
△ Less
Submitted 24 February, 2025; v1 submitted 7 December, 2022;
originally announced December 2022.
-
Combinatorial generation via permutation languages. V. Acyclic orientations
Authors:
Jean Cardinal,
Hung P. Hoang,
Arturo Merino,
Ondřej Mička,
Torsten Mütze
Abstract:
In 1993, Savage, Squire, and West described an inductive construction for generating every acyclic orientation of a chordal graph exactly once, flipping one arc at a time. We provide two generalizations of this result. Firstly, we describe Gray codes for acyclic orientations of hypergraphs that satisfy a simple ordering condition, which generalizes the notion of perfect elimination order of graphs…
▽ More
In 1993, Savage, Squire, and West described an inductive construction for generating every acyclic orientation of a chordal graph exactly once, flipping one arc at a time. We provide two generalizations of this result. Firstly, we describe Gray codes for acyclic orientations of hypergraphs that satisfy a simple ordering condition, which generalizes the notion of perfect elimination order of graphs. This unifies the Savage-Squire-West construction with a recent algorithm for generating elimination trees of chordal graphs. Secondly, we consider quotients of lattices of acyclic orientations of chordal graphs, and we provide a Gray code for them, addressing a question raised by Pilaud. This also generalizes a recent algorithm for generating lattice congruences of the weak order on the symmetric group. Our algorithms are derived from the Hartung-Hoang-Mütze-Williams combinatorial generation framework, and they yield simple algorithms for computing Hamilton paths and cycles on large classes of polytopes, including chordal nestohedra and quotientopes. In particular, we derive an efficient implementation of the Savage-Squire-West construction. Along the way, we give an overview of old and recent results about the polyhedral and order-theoretic aspects of acyclic orientations of graphs and hypergraphs.
△ Less
Submitted 7 December, 2022;
originally announced December 2022.
-
Classification and double commutant property for dual pairs in an orthosymplectic Lie supergroup
Authors:
Allan Merino,
Hadi Salmasian
Abstract:
In this paper, we obtain a full classification of reductive dual pairs in a, real or complex, Lie superalgebra $\mathfrak{spo}(E)$ and Lie supergroup $\textbf{SpO}(E)$. Moreover, by looking at the natural action of the orthosymplectic Lie supergroup $\textbf{SpO}(E)$ on the Weyl-Clifford algebra $\textbf{WC}(E)$, we prove that for a reductive dual pair…
▽ More
In this paper, we obtain a full classification of reductive dual pairs in a, real or complex, Lie superalgebra $\mathfrak{spo}(E)$ and Lie supergroup $\textbf{SpO}(E)$. Moreover, by looking at the natural action of the orthosymplectic Lie supergroup $\textbf{SpO}(E)$ on the Weyl-Clifford algebra $\textbf{WC}(E)$, we prove that for a reductive dual pair $(\mathscr{G}\,, \mathscr{G}') = ((G\,, \mathfrak{g})\,, (G'\,, \mathfrak{g}'))$ in $\textbf{SpO}(E)$, the superalgebra $\textbf{WC}(E)^{\mathscr{G}}$ consisting of $\mathscr{G}$-invariant elements in $\textbf{WC}(E)$ is generated by the Lie superalgebra $\mathfrak{g}'$.
We obtain a full classification of reductive dual pairs in the (real or complex) Lie superalgebra $\mathfrak{spo}(\mathrm E)$ and the Lie supergroup $\textbf{SpO}(\mathrm E)$. Using this classification we prove that for a reductive dual pair $(\mathscr{G}\,, \mathscr{G}') = ((\mathrm G\,, \mathfrak{g})\,, (\mathrm G'\,, \mathfrak{g}'))$ in $\textbf{SpO}(\mathrm E)$, the superalgebra $\textbf{WC}(\mathrm E)^{\mathscr{G}}$ consisting of $\mathscr{G}$-invariant elements in the Weyl-Clifford algebra $\textbf{WC}(\mathrm E)$, equipped with the natural action of the orthosymplectic Lie supergroup $\textbf{SpO}(\mathrm E)$, is generated by the Lie superalgebra $\mathfrak{g}'$.
As an application, we prove that Howe duality holds for the dual pairs $({\textbf{SpO}}(2n|1)\,, {\textbf{OSp}}(2k|2l)) \subseteq {\textbf{SpO}}(\mathbb{C}^{2k|2l} \otimes \mathbb{C}^{2n|1})$.
△ Less
Submitted 20 May, 2023; v1 submitted 20 August, 2022;
originally announced August 2022.
-
The Hamilton compression of highly symmetric graphs
Authors:
Petr Gregor,
Arturo Merino,
Torsten Mütze
Abstract:
We say that a Hamilton cycle $C=(x_1,\ldots,x_n)$ in a graph $G$ is $k$-symmetric, if the mapping $x_i\mapsto x_{i+n/k}$ for all $i=1,\ldots,n$, where indices are considered modulo $n$, is an automorphism of $G$. In other words, if we lay out the vertices $x_1,\ldots,x_n$ equidistantly on a circle and draw the edges of $G$ as straight lines, then the drawing of $G$ has $k$-fold rotational symmetry…
▽ More
We say that a Hamilton cycle $C=(x_1,\ldots,x_n)$ in a graph $G$ is $k$-symmetric, if the mapping $x_i\mapsto x_{i+n/k}$ for all $i=1,\ldots,n$, where indices are considered modulo $n$, is an automorphism of $G$. In other words, if we lay out the vertices $x_1,\ldots,x_n$ equidistantly on a circle and draw the edges of $G$ as straight lines, then the drawing of $G$ has $k$-fold rotational symmetry, i.e., all information about the graph is compressed into a $360^\circ/k$ wedge of the drawing. The maximum $k$ for which there exists a $k$-symmetric Hamilton cycle in $G$ is referred to as the Hamilton compression of $G$. We investigate the Hamilton compression of four different families of vertex-transitive graphs, namely hypercubes, Johnson graphs, permutahedra and Cayley graphs of abelian groups. In several cases we determine their Hamilton compression exactly, and in other cases we provide close lower and upper bounds. The constructed cycles have a much higher compression than several classical Gray codes known from the literature. Our constructions also yield Gray codes for bitstrings, combinations and permutations that have few tracks and/or that are balanced.
△ Less
Submitted 14 September, 2023; v1 submitted 17 May, 2022;
originally announced May 2022.
-
Star transposition Gray codes for multiset permutations
Authors:
Petr Gregor,
Arturo Merino,
Torsten Mütze
Abstract:
Given integers $k\geq 2$ and $a_1,\ldots,a_k\geq 1$, let $\boldsymbol{a}:=(a_1,\ldots,a_k)$ and $n:=a_1+\cdots+a_k$. An $\boldsymbol{a}$-multiset permutation is a string of length $n$ that contains exactly $a_i$ symbols $i$ for each $i=1,\ldots,k$. In this work we consider the problem of exhaustively generating all $\boldsymbol{a}$-multiset permutations by star transpositions, i.e., in each step,…
▽ More
Given integers $k\geq 2$ and $a_1,\ldots,a_k\geq 1$, let $\boldsymbol{a}:=(a_1,\ldots,a_k)$ and $n:=a_1+\cdots+a_k$. An $\boldsymbol{a}$-multiset permutation is a string of length $n$ that contains exactly $a_i$ symbols $i$ for each $i=1,\ldots,k$. In this work we consider the problem of exhaustively generating all $\boldsymbol{a}$-multiset permutations by star transpositions, i.e., in each step, the first entry of the string is transposed with any other entry distinct from the first one. This is a far-ranging generalization of several known results. For example, it is known that permutations ($a_1=\cdots=a_k=1$) can be generated by star transpositions, while combinations ($k=2$) can be generated by these operations if and only if they are balanced ($a_1=a_2$), with the positive case following from the middle levels theorem. To understand the problem in general, we introduce a parameter $Δ(\boldsymbol{a}):=n-2\max\{a_1,\ldots,a_k\}$ that allows us to distinguish three different regimes for this problem. We show that if $Δ(\boldsymbol{a})<0$, then a star transposition Gray code for $\boldsymbol{a}$-multiset permutations does not exist. We also construct such Gray codes for the case $Δ(\boldsymbol{a})>0$, assuming that they exist for the case $Δ(\boldsymbol{a})=0$. For the case $Δ(\boldsymbol{a})=0$ we present some partial positive results. Our proofs establish Hamilton-connectedness or Hamilton-laceability of the underlying flip graphs, and they answer several cases of a recent conjecture of Shen and Williams. In particular, we prove that the middle levels graph is Hamilton-laceable.
△ Less
Submitted 3 January, 2022; v1 submitted 17 August, 2021;
originally announced August 2021.
-
Combinatorial generation via permutation languages. IV. Elimination trees
Authors:
Jean Cardinal,
Arturo Merino,
Torsten Mütze
Abstract:
An elimination tree for a connected graph $G$ is a rooted tree on the vertices of $G$ obtained by choosing a root $x$ and recursing on the connected components of $G-x$ to produce the subtrees of $x$. Elimination trees appear in many guises in computer science and discrete mathematics, and they encode many interesting combinatorial objects, such as bitstrings, permutations and binary trees. We app…
▽ More
An elimination tree for a connected graph $G$ is a rooted tree on the vertices of $G$ obtained by choosing a root $x$ and recursing on the connected components of $G-x$ to produce the subtrees of $x$. Elimination trees appear in many guises in computer science and discrete mathematics, and they encode many interesting combinatorial objects, such as bitstrings, permutations and binary trees. We apply the recent Hartung-Hoang-Mütze-Williams combinatorial generation framework to elimination trees, and prove that all elimination trees for a chordal graph $G$ can be generated by tree rotations using a simple greedy algorithm. This yields a short proof for the existence of Hamilton paths on graph associahedra of chordal graphs. Graph associahedra are a general class of high-dimensional polytopes introduced by Carr, Devadoss, and Postnikov, whose vertices correspond to elimination trees and whose edges correspond to tree rotations. As special cases of our results, we recover several classical Gray codes for bitstrings, permutations and binary trees, and we obtain a new Gray code for partial permutations. Our algorithm for generating all elimination trees for a chordal graph $G$ can be implemented in time $\mathcal{O}(σ)$ on average per generated elimination tree, where $σ=σ(G)$ denotes the maximum number of edges of an induced star in $G$. If $G$ is a tree, we improve this to a loopless algorithm running in time $\mathcal{O}(1)$ per generated elimination tree. We also prove that our algorithm produces a Hamilton cycle on the graph associahedron of $G$, rather than just Hamilton path, if the graph $G$ is chordal and 2-connected. Moreover, our algorithm characterizes chordality, i.e., it computes a Hamilton path on the graph associahedron of $G$ if and only if $G$ is chordal.
△ Less
Submitted 15 September, 2023; v1 submitted 30 June, 2021;
originally announced June 2021.
-
Combinatorial generation via permutation languages. III. Rectangulations
Authors:
Arturo Merino,
Torsten Mütze
Abstract:
A generic rectangulation is a partition of a rectangle into finitely many interior-disjoint rectangles, such that no four rectangles meet in a point. In this work we present a versatile algorithmic framework for exhaustively generating a large variety of different classes of generic rectangulations. Our algorithms work under very mild assumptions, and apply to a large number of rectangulation clas…
▽ More
A generic rectangulation is a partition of a rectangle into finitely many interior-disjoint rectangles, such that no four rectangles meet in a point. In this work we present a versatile algorithmic framework for exhaustively generating a large variety of different classes of generic rectangulations. Our algorithms work under very mild assumptions, and apply to a large number of rectangulation classes known from the literature, such as generic rectangulations, diagonal rectangulations, 1-sided/area-universal, block-aligned rectangulations, and their guillotine variants, including aspect-ratio-universal rectangulations. They also apply to classes of rectangulations that are characterized by avoiding certain patterns, and in this work we initiate a systematic investigation of pattern avoidance in rectangulations. Our generation algorithms are efficient, in some cases even loopless or constant amortized time, i.e., each new rectangulation is generated in constant time in the worst case or on average, respectively. Moreover, the Gray codes we obtain are cyclic, and sometimes provably optimal, in the sense that they correspond to a Hamilton cycle on the skeleton of an underlying polytope. These results are obtained by encoding rectangulations as permutations, and by applying our recently developed permutation language framework.
△ Less
Submitted 1 November, 2021; v1 submitted 16 March, 2021;
originally announced March 2021.
-
Characters of irreducible unitary representations of $U(n, n+1)$ via double lifting from $U(1)$
Authors:
Allan Merino
Abstract:
In this paper, we obtained character formulas of irreducible unitary representations of $U(n, n+1)$ by using Howe's correspondence and the Cauchy--Harish-Chandra integral. The representations of $U(n, n+1)$ we are dealing with are obtained from a double lifting of a representation of $U(1)$ via the dual pairs $(U(1), U(1, 1))$ and $(U(1, 1), U(n, n+1))$.
In this paper, we obtained character formulas of irreducible unitary representations of $U(n, n+1)$ by using Howe's correspondence and the Cauchy--Harish-Chandra integral. The representations of $U(n, n+1)$ we are dealing with are obtained from a double lifting of a representation of $U(1)$ via the dual pairs $(U(1), U(1, 1))$ and $(U(1, 1), U(n, n+1))$.
△ Less
Submitted 17 February, 2021;
originally announced February 2021.
-
Transfer of characters for discrete series representations of the unitary groups in the equal rank case via the Cauchy-Harish-Chandra integral
Authors:
Allan Merino
Abstract:
As conjectured by T. Przebinda, the transfer of characters in the Howe's correspondence should be obtained via the Cauchy-Harish-Chandra integral. In this paper, we prove that the conjecture holds for the dual pair $(G = U(p, q), G' = U(r, s))$, $p+q = r+s$, starting with a discrete series representation $Π$ of $\widetilde{U}(p, q)$.
As conjectured by T. Przebinda, the transfer of characters in the Howe's correspondence should be obtained via the Cauchy-Harish-Chandra integral. In this paper, we prove that the conjecture holds for the dual pair $(G = U(p, q), G' = U(r, s))$, $p+q = r+s$, starting with a discrete series representation $Π$ of $\widetilde{U}(p, q)$.
△ Less
Submitted 6 January, 2021;
originally announced January 2021.
-
On a combinatorial generation problem of Knuth
Authors:
Arturo Merino,
Ondřej Mička,
Torsten Mütze
Abstract:
The well-known middle levels conjecture asserts that for every integer $n\geq 1$, all binary strings of length $2(n+1)$ with exactly $n+1$ many 0s and 1s can be ordered cyclically so that any two consecutive strings differ in swapping the first bit with a complementary bit at some later position. In his book `The Art of Computer Programming Vol. 4A' Knuth raised a stronger form of this conjecture…
▽ More
The well-known middle levels conjecture asserts that for every integer $n\geq 1$, all binary strings of length $2(n+1)$ with exactly $n+1$ many 0s and 1s can be ordered cyclically so that any two consecutive strings differ in swapping the first bit with a complementary bit at some later position. In his book `The Art of Computer Programming Vol. 4A' Knuth raised a stronger form of this conjecture (Problem 56 in Chapter 7, Section 2.1.3), which requires that the sequence of positions with which the first bit is swapped in each step of such an ordering has $2n+1$ blocks of the same length, and each block is obtained by adding $s=1$ (modulo $2n+1$) to the previous block. In this work, we prove Knuth's conjecture in a more general form, allowing for arbitrary shifts $s\geq 1$ that are coprime to $2n+1$. We also present an algorithm to compute this ordering, generating each new bitstring in $\mathcal{O}(n)$ time, using $\mathcal{O}(n)$ memory in total.
△ Less
Submitted 12 October, 2021; v1 submitted 14 July, 2020;
originally announced July 2020.
-
Some properties related to the Cantor-Bendixson derivative on a Polish space
Authors:
Borys Álvarez-Samaniego,
Andrés Merino
Abstract:
We show a necessary and sufficient condition for any ordinal number to be a Polish space. We also prove that for each countable Polish space, there exists a countable ordinal number that is an upper bound for the first component of the Cantor-Bendixson characteristic of every compact countable subset of the aforementioned space. In addition, for any uncountable Polish space, for every countable or…
▽ More
We show a necessary and sufficient condition for any ordinal number to be a Polish space. We also prove that for each countable Polish space, there exists a countable ordinal number that is an upper bound for the first component of the Cantor-Bendixson characteristic of every compact countable subset of the aforementioned space. In addition, for any uncountable Polish space, for every countable ordinal number and for all nonzero natural number, we show the existence of a compact countable subset of this space such that its Cantor-Bendixson characteristic equals the previous pair of numbers. Finally, for each Polish space, we determine the cardinality of the partition, up to homeomorphisms, of the set of all compact countable subsets of the aforesaid space.
△ Less
Submitted 28 February, 2020;
originally announced March 2020.
-
Transfer of characters in the theta correspondence with one compact member
Authors:
Allan Merino
Abstract:
For an irreducible dual pair $(G, G') \in Sp(W)$ with one member compact and two representations $Π\leftrightarrow Π'$ appearing in the Howe duality, we give an expression of the character $Θ_{Π'}$ of $Π'$ via the character of $Π$. We make computations for the dual pair $(G = U(n, \mathbb{C}), G' = U(p, q, \mathbb{C}))$, which are explicit in low dimensions. For…
▽ More
For an irreducible dual pair $(G, G') \in Sp(W)$ with one member compact and two representations $Π\leftrightarrow Π'$ appearing in the Howe duality, we give an expression of the character $Θ_{Π'}$ of $Π'$ via the character of $Π$. We make computations for the dual pair $(G = U(n, \mathbb{C}), G' = U(p, q, \mathbb{C}))$, which are explicit in low dimensions. For $(G = U(1, \mathbb{C}), G' = U(1, 1, \mathbb{C}))$, we verify directly a result of H. Hecht saying that the character has the same value on both Cartan subgroups of $G'$.
△ Less
Submitted 7 October, 2019;
originally announced October 2019.
-
Dual pairs in the Pin-group and duality for the corresponding spinorial representation
Authors:
Clément Guérin,
Gang Liu,
Allan Merino
Abstract:
In this paper, we give a complete picture of Howe correspondence for the setting ($O(E, b), Pin(E, b), Π$), where $O(E, b)$ is an orthogonal group (real or complex), $Pin(E, b)$ is the two-fold Pin-covering of $O(E, b)$, and $Π$ is the spinorial representation of $Pin(E, b)$. More precisely, for a dual pair ($G, G'$) in $O(E, b)$, we determine explicitly the nature of its preimages…
▽ More
In this paper, we give a complete picture of Howe correspondence for the setting ($O(E, b), Pin(E, b), Π$), where $O(E, b)$ is an orthogonal group (real or complex), $Pin(E, b)$ is the two-fold Pin-covering of $O(E, b)$, and $Π$ is the spinorial representation of $Pin(E, b)$. More precisely, for a dual pair ($G, G'$) in $O(E, b)$, we determine explicitly the nature of its preimages $(\tilde{G}, \tilde{G'})$ in $Pin(E, b)$, and prove that apart from some exceptions, $(\tilde{G}, \tilde{G'})$ is always a dual pair in $Pin(E, b)$; then we establish the Howe correspondence for $Π$ with respect to $(\tilde{G}, \tilde{G'})$.
△ Less
Submitted 21 July, 2019;
originally announced July 2019.
-
Characters of some unitary highest weight representations via the theta correspondence
Authors:
Allan Merino
Abstract:
In this article, we consider a dual pair $(G, G')$ in the symplectic group $Sp(W)$ with $G$ compact and let $(\tilde{G}, \tilde{G}')$ be the preimages of $G$ and $G'$ in the metaplectic group $\widetilde{Sp(W)}$. For every irreducible representation $Π$ of $\tilde{G}$ appearing in Howe correspondence, we compute explicitly the restriction of the character $Θ_{Π'}$ of the associated representation…
▽ More
In this article, we consider a dual pair $(G, G')$ in the symplectic group $Sp(W)$ with $G$ compact and let $(\tilde{G}, \tilde{G}')$ be the preimages of $G$ and $G'$ in the metaplectic group $\widetilde{Sp(W)}$. For every irreducible representation $Π$ of $\tilde{G}$ appearing in Howe correspondence, we compute explicitly the restriction of the character $Θ_{Π'}$ of the associated representation $Π'$ of $\tilde{G}'$ on the set of regular points on the compact Cartan subgroup $\tilde{H}'$ of $\tilde{G}'$.
△ Less
Submitted 23 January, 2019;
originally announced January 2019.
-
Countable ordinal spaces and compact countable subsets of a metric space
Authors:
Borys Álvarez-Samaniego,
Andrés Merino
Abstract:
We show in detail that every compact countable subset of a metric space is homeomorphic to a countable ordinal number, which extends a result given by Mazurkiewicz and Sierpinski for finite-dimensional Euclidean spaces. In order to achieve this goal, we use Transfinite Induction to construct a specific homeomorphism. In addition, we prove that for all metric space $(E,d)$, the cardinality of the s…
▽ More
We show in detail that every compact countable subset of a metric space is homeomorphic to a countable ordinal number, which extends a result given by Mazurkiewicz and Sierpinski for finite-dimensional Euclidean spaces. In order to achieve this goal, we use Transfinite Induction to construct a specific homeomorphism. In addition, we prove that for all metric space $(E,d)$, the cardinality of the set of all the equivalence classes $\mathscr{K}_E$, up to homeomorphisms, of compact countable subsets of $E$ is less than or equal to $\aleph_1$, i.e. $|\mathscr{K}_E| \le \aleph_1$. We also show that for all cardinal number $κ$ smaller than or equal to $\aleph_1$, there exists a metric space $(E_κ, d_κ)$ such that $|\mathscr{K}_{E_κ}|= κ$.
△ Less
Submitted 27 July, 2018; v1 submitted 21 February, 2018;
originally announced March 2018.
-
A primitive associated to the Cantor-Bendixson derivative on the real line
Authors:
Borys Álvarez-Samaniego,
Andrés Merino
Abstract:
We consider the class of compact countable subsets of the real numbers $\mathbb{R}$. By using an appropriate partition, up to homeomorphism, of this class we give a detailed proof of a result shown by S. Mazurkiewicz and W. Sierpinski related to the cardinality of this partition. Furthermore, for any compact subset of $\mathbb{R}$, we show the existence of a "primitive" related to its Cantor-Bendi…
▽ More
We consider the class of compact countable subsets of the real numbers $\mathbb{R}$. By using an appropriate partition, up to homeomorphism, of this class we give a detailed proof of a result shown by S. Mazurkiewicz and W. Sierpinski related to the cardinality of this partition. Furthermore, for any compact subset of $\mathbb{R}$, we show the existence of a "primitive" related to its Cantor-Bendixson derivative.
△ Less
Submitted 2 May, 2016;
originally announced May 2016.
-
Geometric numerical integration of nonholonomic systems and optimal control problems
Authors:
M. de Leon,
D. Martin de Diego,
A. Santamaria Merino
Abstract:
A geometric derivation of numerical integrators for nonholonomic systems and optimal control problems is obtained. It is based in the classical technique of generating functions adapted to the special features of nonholonomic systems and optimal control problems.
A geometric derivation of numerical integrators for nonholonomic systems and optimal control problems is obtained. It is based in the classical technique of generating functions adapted to the special features of nonholonomic systems and optimal control problems.
△ Less
Submitted 2 December, 2002;
originally announced December 2002.
-
Geometric integrators and nonholonomic mechanics
Authors:
M. de Leon,
D. Martin de Diego,
A. Santamaria Merino
Abstract:
A geometric derivation of nonholonomic integrators is developed. It is based in the classical technique of generating functions adapted to the special features of nonholonomic systems. The theoretical methodology and the integrators obtained are, in general, different from the previously obtained.
A geometric derivation of nonholonomic integrators is developed. It is based in the classical technique of generating functions adapted to the special features of nonholonomic systems. The theoretical methodology and the integrators obtained are, in general, different from the previously obtained.
△ Less
Submitted 11 November, 2003; v1 submitted 15 November, 2002;
originally announced November 2002.
