-
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.
△ Less
Submitted 3 May, 2024;
originally announced May 2024.
-
Set Selection with Uncertain Weights: Non-Adaptive Queries and Thresholds
Authors:
Christoph Dürr,
Arturo Merino,
José A. Soto,
José Verschae
Abstract:
We study set selection problems where the weights are uncertain. Instead of its exact weight, only an uncertainty interval containing its true weight is available for each element. In some cases, some solutions are universally optimal; i.e., they are optimal for every weight that lies within the uncertainty intervals. However, it may be that no universal optimal solution exists, unless we are reve…
▽ More
We study set selection problems where the weights are uncertain. Instead of its exact weight, only an uncertainty interval containing its true weight is available for each element. In some cases, some solutions are universally optimal; i.e., they are optimal for every weight that lies within the uncertainty intervals. However, it may be that no universal optimal solution exists, unless we are revealed additional information on the precise values of some elements.
In the minimum cost admissible query problem, we are tasked to (non-adaptively) find a minimum-cost subset of elements that, no matter how they are revealed, guarantee the existence of a universally optimal solution.
We introduce thresholds under uncertainty to analyze problems of minimum cost admissible queries. Roughly speaking, for every element e, there is a threshold for its weight, below which e is included in all optimal solutions and a second threshold above which e is excluded from all optimal solutions.
We show that computing thresholds and finding minimum cost admissible queries are essentially equivalent problems. Thus, the analysis of the minimum admissible query problem reduces to the problem of computing thresholds.
We provide efficient algorithms for computing thresholds in the settings of minimum spanning trees, matroids, and matchings in trees; and NP-hardness results in the settings of s-t shortest paths and bipartite matching. By making use of the equivalence between the two problems these results translate into efficient algorithms for minimum cost admissible queries in the settings of minimum spanning trees, matroids, and matchings in trees; and NP-hardness results in the settings of s-t shortest paths and bipartite matching.
△ Less
Submitted 26 April, 2024;
originally announced April 2024.
-
On the Hardness of Gray Code Problems for Combinatorial Objects
Authors:
Arturo Merino,
Namrata,
Aaron Williams
Abstract:
Can a list of binary strings be ordered so that consecutive strings differ in a single bit? Can a list of permutations be ordered so that consecutive permutations differ by a swap? Can a list of non-crossing set partitions be ordered so that consecutive partitions differ by refinement? These are examples of Gray coding problems: Can a list of combinatorial objects (of a particular type and size) b…
▽ More
Can a list of binary strings be ordered so that consecutive strings differ in a single bit? Can a list of permutations be ordered so that consecutive permutations differ by a swap? Can a list of non-crossing set partitions be ordered so that consecutive partitions differ by refinement? These are examples of Gray coding problems: Can a list of combinatorial objects (of a particular type and size) be ordered so that consecutive objects differ by a flip (of a particular type)? For example, 000, 001, 010, 100 is a no instance of the first question, while 1234, 1324, 1243 is a yes instance of the second question due to the order 1243, 1234, 1324. We prove that a variety of Gray coding problems are NP-complete using a new tool we call a Gray code reduction.
△ Less
Submitted 26 January, 2024;
originally announced January 2024.
-
EUSO-SPB1 Mission and Science
Authors:
JEM-EUSO Collaboration,
:,
G. Abdellaoui,
S. Abe,
J. H. Adams. Jr.,
D. Allard,
G. Alonso,
L. Anchordoqui,
A. Anzalone,
E. Arnone,
K. Asano,
R. Attallah,
H. Attoui,
M. Ave Pernas,
R. Bachmann,
S. Bacholle,
M. Bagheri,
M. Bakiri,
J. Baláz,
D. Barghini,
S. Bartocci,
M. Battisti,
J. Bayer,
B. Beldjilali,
T. Belenguer
, et al. (271 additional authors not shown)
Abstract:
The Extreme Universe Space Observatory on a Super Pressure Balloon 1 (EUSO-SPB1) was launched in 2017 April from Wanaka, New Zealand. The plan of this mission of opportunity on a NASA super pressure balloon test flight was to circle the southern hemisphere. The primary scientific goal was to make the first observations of ultra-high-energy cosmic-ray extensive air showers (EASs) by looking down on…
▽ More
The Extreme Universe Space Observatory on a Super Pressure Balloon 1 (EUSO-SPB1) was launched in 2017 April from Wanaka, New Zealand. The plan of this mission of opportunity on a NASA super pressure balloon test flight was to circle the southern hemisphere. The primary scientific goal was to make the first observations of ultra-high-energy cosmic-ray extensive air showers (EASs) by looking down on the atmosphere with an ultraviolet (UV) fluorescence telescope from suborbital altitude (33~km). After 12~days and 4~hours aloft, the flight was terminated prematurely in the Pacific Ocean. Before the flight, the instrument was tested extensively in the West Desert of Utah, USA, with UV point sources and lasers. The test results indicated that the instrument had sensitivity to EASs of approximately 3 EeV. Simulations of the telescope system, telescope on time, and realized flight trajectory predicted an observation of about 1 event assuming clear sky conditions. The effects of high clouds were estimated to reduce this value by approximately a factor of 2. A manual search and a machine-learning-based search did not find any EAS signals in these data. Here we review the EUSO-SPB1 instrument and flight and the EAS search.
△ Less
Submitted 12 January, 2024;
originally announced January 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 18 June, 2024; v1 submitted 11 January, 2024;
originally announced January 2024.
-
Analysis and implementation of nanotargeting on LinkedIn based on publicly available non-PII
Authors:
Ángel Merino,
José González-Cabañas,
Ángel Cuevas,
Rubén Cuevas
Abstract:
The literature has shown that combining a few non-Personal Identifiable Information (non-PII) is enough to make a user unique in a dataset including millions of users. This work demonstrates that a combination of a few non-PII items can be activated to nanotarget users. We demonstrate that the combination of the location and {5} rare ({13} random) skills in a LinkedIn profile is enough to become u…
▽ More
The literature has shown that combining a few non-Personal Identifiable Information (non-PII) is enough to make a user unique in a dataset including millions of users. This work demonstrates that a combination of a few non-PII items can be activated to nanotarget users. We demonstrate that the combination of the location and {5} rare ({13} random) skills in a LinkedIn profile is enough to become unique in a user base of {$\sim$970M} users with a probability of 75\%. The novelty is that these attributes are publicly accessible to anyone registered on LinkedIn and can be activated through advertising campaigns. We ran an experiment configuring ad campaigns using the location and skills of three of the paper's authors, demonstrating how all the ads using $\geq13$ skills were delivered exclusively to the targeted user. We reported this vulnerability to LinkedIn, which initially ignored the problem, but fixed it as of November 2023.%This nanotargeting may expose LinkedIn users to privacy and security risks such as malvertising or manipulation.
△ Less
Submitted 16 May, 2024; v1 submitted 16 October, 2023;
originally announced October 2023.
-
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 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 23 February, 2023; 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.
-
JEM-EUSO Collaboration contributions to the 37th International Cosmic Ray Conference
Authors:
G. Abdellaoui,
S. Abe,
J. H. Adams Jr.,
D. Allard,
G. Alonso,
L. Anchordoqui,
A. Anzalone,
E. Arnone,
K. Asano,
R. Attallah,
H. Attoui,
M. Ave Pernas,
M. Bagheri,
J. Baláz,
M. Bakiri,
D. Barghini,
S. Bartocci,
M. Battisti,
J. Bayer,
B. Beldjilali,
T. Belenguer,
N. Belkhalfa,
R. Bellotti,
A. A. Belov,
K. Benmessai
, et al. (267 additional authors not shown)
Abstract:
Compilation of papers presented by the JEM-EUSO Collaboration at the 37th International Cosmic Ray Conference (ICRC), held on July 12-23, 2021 (online) in Berlin, Germany.
Compilation of papers presented by the JEM-EUSO Collaboration at the 37th International Cosmic Ray Conference (ICRC), held on July 12-23, 2021 (online) in Berlin, Germany.
△ Less
Submitted 28 January, 2022;
originally announced January 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 the Two-Dimensional Knapsack Problem for Convex Polygons
Authors:
Arturo Merino,
Andreas Wiese
Abstract:
We study the two-dimensional geometric knapsack problem for convex polygons. Given a set of weighted convex polygons and a square knapsack, the goal is to select the most profitable subset of the given polygons that fits non-overlappingly into the knapsack. We allow to rotate the polygons by arbitrary angles. We present a quasi-polynomial time $O(1)$-approximation algorithm for the general case an…
▽ More
We study the two-dimensional geometric knapsack problem for convex polygons. Given a set of weighted convex polygons and a square knapsack, the goal is to select the most profitable subset of the given polygons that fits non-overlappingly into the knapsack. We allow to rotate the polygons by arbitrary angles. We present a quasi-polynomial time $O(1)$-approximation algorithm for the general case and a polynomial time $O(1)$-approximation algorithm if all input polygons are triangles, both assuming polynomially bounded integral input data. Also, we give a quasi-polynomial time algorithm that computes a solution of optimal weight under resource augmentation, i.e., we allow to increase the size of the knapsack by a factor of $1+δ$ for some $δ>0$ but compare ourselves with the optimal solution for the original knapsack. To the best of our knowledge, these are the first results for two-dimensional geometric knapsack in which the input objects are more general than axis-parallel rectangles or circles and in which the input polygons can be rotated by arbitrary angles.
△ Less
Submitted 31 July, 2020;
originally announced July 2020.
-
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.
-
Contributions to the 36th International Cosmic Ray Conference (ICRC 2019) of the JEM-EUSO Collaboration
Authors:
G. Abdellaoui,
S. Abe,
J. H. Adams Jr.,
A. Ahriche,
D. Allard,
L. Allen,
G. Alonso,
L. Anchordoqui,
A. Anzalone,
Y. Arai,
K. Asano,
R. Attallah,
H. Attoui,
M. Ave Pernas,
S. Bacholle,
M. Bakiri,
P. Baragatti,
P. Barrillon,
S. Bartocci,
J. Bayer,
B. Beldjilali,
T. Belenguer,
N. Belkhalfa,
R. Bellotti,
A. Belov
, et al. (287 additional authors not shown)
Abstract:
Compilation of papers presented by the JEM-EUSO Collaboration at the 36th International Cosmic Ray Conference (ICRC), held July 24 through August 1, 2019 in Madison, Wisconsin.
Compilation of papers presented by the JEM-EUSO Collaboration at the 36th International Cosmic Ray Conference (ICRC), held July 24 through August 1, 2019 in Madison, Wisconsin.
△ Less
Submitted 18 December, 2019;
originally announced December 2019.
-
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.
-
The minimum cost query problem on matroids with uncertainty areas
Authors:
Arturo I. Merino,
José A. Soto
Abstract:
We study the minimum weight basis problem on matroid when elements' weights are uncertain. For each element we only know a set of possible values (an uncertainty area) that contains its real weight. In some cases there exist bases that are uniformly optimal, that is, they are minimum weight bases for every possible weight function obeying the uncertainty areas. In other cases, computing such a bas…
▽ More
We study the minimum weight basis problem on matroid when elements' weights are uncertain. For each element we only know a set of possible values (an uncertainty area) that contains its real weight. In some cases there exist bases that are uniformly optimal, that is, they are minimum weight bases for every possible weight function obeying the uncertainty areas. In other cases, computing such a basis is not possible unless we perform some queries for the exact value of some elements.
Our main result is a polynomial time algorithm for the following problem. Given a matroid with uncertainty areas and a query cost function on its elements, find the set of elements of minimum total cost that we need to simultaneously query such that, no matter their revelation, the resulting instance admits a uniformly optimal base. We also provide combinatorial characterizations of all uniformly optimal bases, when one exists; and of all sets of queries that can be performed so that after revealing the corresponding weights the resulting instance admits a uniformly optimal base.
△ Less
Submitted 26 April, 2019;
originally announced April 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.
-
First observations of speed of light tracks by a fluorescence detector looking down on the atmosphere
Authors:
G. Abdellaoui,
S. Abe,
J. H. Adams Jr.,
A. Ahriche,
D. Allard,
L. Allen,
G. Alonso,
L. Anchordoqui,
A. Anzalone,
Y. Arai,
K. Asano,
R. Attallah,
H. Attoui,
M. Ave Pernas,
S. Bacholle,
M. Bakiri,
P. Baragatti,
P. Barrillon,
S. Bartocci,
J. Bayer,
B. Beldjilali,
T. Belenguer,
N. Belkhalfa,
R. Bellotti,
A. Belov
, et al. (289 additional authors not shown)
Abstract:
EUSO-Balloon is a pathfinder mission for the Extreme Universe Space Observatory onboard the Japanese Experiment Module (JEM-EUSO). It was launched on the moonless night of the 25$^{th}$ of August 2014 from Timmins, Canada. The flight ended successfully after maintaining the target altitude of 38 km for five hours. One part of the mission was a 2.5 hour underflight using a helicopter equipped with…
▽ More
EUSO-Balloon is a pathfinder mission for the Extreme Universe Space Observatory onboard the Japanese Experiment Module (JEM-EUSO). It was launched on the moonless night of the 25$^{th}$ of August 2014 from Timmins, Canada. The flight ended successfully after maintaining the target altitude of 38 km for five hours. One part of the mission was a 2.5 hour underflight using a helicopter equipped with three UV light sources (LED, xenon flasher and laser) to perform an inflight calibration and examine the detectors capability to measure tracks moving at the speed of light. We describe the helicopter laser system and details of the underflight as well as how the laser tracks were recorded and found in the data. These are the first recorded laser tracks measured from a fluorescence detector looking down on the atmosphere. Finally, we present a first reconstruction of the direction of the laser tracks relative to the detector.
△ Less
Submitted 7 August, 2018;
originally announced August 2018.
-
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.