Showing 1–15 of 15 results for author: Mereb, M

Rubik's as a Galois'

Authors: M. Mereb, L. Vendramin

Abstract: We prove that the Rubik's cube group can be realized as a Galois group over the rationals. We prove that the Rubik's cube group can be realized as a Galois group over the rationals. △ Less

Submitted 18 November, 2024; originally announced November 2024.

Comments: 14 pages

Counting stringy points on a family of character varieties

Authors: Lucas de Amorin, Martin Mereb

Abstract: We provided explicit formulas for the number of stringy points over finite fields of parabolic type A character varieties with generic semisimple monodromy. This leads to formulas for their stringy E-polynomials. In particular, they satisfy the Betti Topological Mirror Symmetry Conjecture of T. Hausel and M. Thaddeus, as well as a refinement regarding isotypic components. Our proof is based on a F… ▽ More We provided explicit formulas for the number of stringy points over finite fields of parabolic type A character varieties with generic semisimple monodromy. This leads to formulas for their stringy E-polynomials. In particular, they satisfy the Betti Topological Mirror Symmetry Conjecture of T. Hausel and M. Thaddeus, as well as a refinement regarding isotypic components. Our proof is based on a Frobenius' type formula for Clifford's type settings and an analysis of it in a specific set-up related to regular wreath products with cyclic groups. △ Less

Submitted 8 November, 2024; originally announced November 2024.

Poisson genericity in numeration systems with exponentially mixing probabilities

Authors: Nicolás Álvarez, Verónica Becher, Eda Cesaratto, Martín Mereb, Yuval Peres, Benjamin Weiss

Abstract: We define Poisson genericity for infinite sequences in any finite or countable alphabet with an invariant exponentially-mixing probability measure. A sequence is Poisson generic if the number of occurrences of blocks of symbols asymptotically follows a Poisson law as the block length increases. We prove that almost all sequences are Poisson generic. Our result generalizes Peres and Weiss' theorem… ▽ More We define Poisson genericity for infinite sequences in any finite or countable alphabet with an invariant exponentially-mixing probability measure. A sequence is Poisson generic if the number of occurrences of blocks of symbols asymptotically follows a Poisson law as the block length increases. We prove that almost all sequences are Poisson generic. Our result generalizes Peres and Weiss' theorem about Poisson genericity of integral bases numeration systems. In particular, we obtain that their continued fraction expansions for almost all real numbers are Poisson generic. △ Less

Submitted 6 November, 2024; originally announced November 2024.

MSC Class: 60g55; 11k16

Representations of Yokonuma--Hecke algebras

Authors: Emiliano Liwski, Martín Mereb

Abstract: The Iwahori--Hecke and Yokonuma--Hecke algebras have played crucial roles in algebraic combinatorics and the representation theory of finite groups. In this work, we use classical results from representation theory to compute the character values of the Yokonuma--Hecke algebra at $w_{0}$ and $w_{0}^{2}$, where $w_{0}$ denotes the element of maximal length in the corresponding Weyl group. The Iwahori--Hecke and Yokonuma--Hecke algebras have played crucial roles in algebraic combinatorics and the representation theory of finite groups. In this work, we use classical results from representation theory to compute the character values of the Yokonuma--Hecke algebra at $w_{0}$ and $w_{0}^{2}$, where $w_{0}$ denotes the element of maximal length in the corresponding Weyl group. △ Less

Submitted 27 August, 2024; originally announced August 2024.

MSC Class: 20C08

De Bruijn Sequences with Minimum Discrepancy

Authors: Nicolás Álvarez, Verónica Becher, Martín Mereb, Ivo Pajor, Carlos Miguel Soto

Abstract: The discrepancy of a binary string is the maximum (absolute) difference between the number of ones and the number of zeroes over all possible substrings of the given binary string. In this note we determine the minimal discrepancy that a binary de Bruijn sequence of order $n$ can achieve, which is $n$. This was an open problem until now. We give an algorithm that constructs a binary de Bruijn sequ… ▽ More The discrepancy of a binary string is the maximum (absolute) difference between the number of ones and the number of zeroes over all possible substrings of the given binary string. In this note we determine the minimal discrepancy that a binary de Bruijn sequence of order $n$ can achieve, which is $n$. This was an open problem until now. We give an algorithm that constructs a binary de Bruijn sequence with minimal discrepancy. A slight modification of this algorithm deals with arbitrary alphabets and yields de Bruijn sequences of order $n$ with discrepancy at most $1$ above the trivial lower bound $n$. △ Less

Submitted 24 July, 2024; originally announced July 2024.

MSC Class: 68R01 ACM Class: G.2.0

On extremal factors of de Bruijn-like graphs

Authors: Nicolás Álvarez, Verónica Becher, Martín Mereb, Ivo Pajor, Carlos Miguel Soto

Abstract: In 1972 Mykkeltveit proved that the maximum number of vertex-disjoint cycles in the de Bruijn graphs of order $n$ is attained by the pure cycling register rule, as conjectured by Golomb. We generalize this result to the tensor product of the de Bruijn graph of order $n$ and a simple cycle of size $k$, when $n$ divides $k$ or vice versa. We also develop counting formulae for a large family of cycli… ▽ More In 1972 Mykkeltveit proved that the maximum number of vertex-disjoint cycles in the de Bruijn graphs of order $n$ is attained by the pure cycling register rule, as conjectured by Golomb. We generalize this result to the tensor product of the de Bruijn graph of order $n$ and a simple cycle of size $k$, when $n$ divides $k$ or vice versa. We also develop counting formulae for a large family of cycling register rules, including the linear register rules proposed by Golomb. △ Less

Submitted 30 August, 2023; originally announced August 2023.

MSC Class: 05C35; 05C45

Journal ref: Discrete Applied Mathematics 357 (2024) 352-364

Determinants of matrices related to the Pascal triangle

Authors: Martín Mereb

Abstract: In this note we prove an assertion made by M. Levin in 1999: the Pascal matrix modulo 2 has the property that each of the square sub-matrices laying on the upper border or on the left border has determinants, computed in $\mathbb{Z}$, equal to 1 or -1. In this note we prove an assertion made by M. Levin in 1999: the Pascal matrix modulo 2 has the property that each of the square sub-matrices laying on the upper border or on the left border has determinants, computed in $\mathbb{Z}$, equal to 1 or -1. △ Less

Submitted 23 October, 2022; originally announced October 2022.

Comments: Any comments are welcome

MSC Class: 11C20; 11T99

Poisson generic sequences

Authors: Nicolás Álvarez, Verónica Becher, Martín Mereb

Abstract: Years ago, Zeev Rudnick defined the Poisson generic real numbers by counting the number of occurrences of long blocks of digits in the initial segments of the expansions of the real numbers in a fixed integer base. Peres and Weiss proved that almost all real numbers, with respect to Lebesgue measure, are Poisson generic, but they did not publish their proof. In this note first we transcribe Peres… ▽ More Years ago, Zeev Rudnick defined the Poisson generic real numbers by counting the number of occurrences of long blocks of digits in the initial segments of the expansions of the real numbers in a fixed integer base. Peres and Weiss proved that almost all real numbers, with respect to Lebesgue measure, are Poisson generic, but they did not publish their proof. In this note first we transcribe Peres and Weiss' proof and then we show that there are computable Poisson generic instances and that all Martin-Löf random real numbers are Poisson generic. △ Less

Submitted 12 August, 2022; v1 submitted 3 February, 2022; originally announced February 2022.

MSC Class: 11K16; 11K55; 60G55

Enumeration of set-theoretic solutions to the Yang-Baxter equation

Authors: Ö. Akgün, M. Mereb, L. Vendramin

Abstract: We use Constraint Satisfaction methods to enumerate and construct set-theoretic solutions to the Yang-Baxter equation of small size. We show that there are 321931 involutive solutions of size nine, 4895272 involutive solutions of size ten and 422449480 non-involutive solution of size eight. Our method is then used to enumerate non-involutive biquandles. We use Constraint Satisfaction methods to enumerate and construct set-theoretic solutions to the Yang-Baxter equation of small size. We show that there are 321931 involutive solutions of size nine, 4895272 involutive solutions of size ten and 422449480 non-involutive solution of size eight. Our method is then used to enumerate non-involutive biquandles. △ Less

Submitted 28 August, 2021; v1 submitted 10 August, 2020; originally announced August 2020.

Comments: 13 pages, 8 tables. Accepted for publication in Mathematics of Computation

MSC Class: 16T25

Journal ref: Math. Comp. 91 (2022), no. 335, 1469-1481

Hardy space of translated Dirichlet series

Authors: Tomás Fernández Vidal, Daniel Galicer, Martín Mereb, Pablo Sevilla-Peris

Abstract: We study the Hardy space of translated Dirichlet series $\mathcal{H}_{+}$. It consists on those Dirichlet series $\sum a_n n^{-s}$ such that for some (equivalently, every) $1 \leq p < \infty$, the translation $\sum{a_{n}}n^{-(s+\frac{1}σ)}$ belongs to the Hardy space $\mathcal{H}^{p}$ for every $σ>0$. We prove that this set, endowed with the topology induced by the seminorms… ▽ More We study the Hardy space of translated Dirichlet series $\mathcal{H}_{+}$. It consists on those Dirichlet series $\sum a_n n^{-s}$ such that for some (equivalently, every) $1 \leq p < \infty$, the translation $\sum{a_{n}}n^{-(s+\frac{1}σ)}$ belongs to the Hardy space $\mathcal{H}^{p}$ for every $σ>0$. We prove that this set, endowed with the topology induced by the seminorms $\left\{\Vert\cdot\Vert_{2,k}\right\}_{k\in\mathbb{N}}$ (where $\Vert\sum{a_{n}n^{-s}}\Vert_{2,k}$ is defined as $\big\Vert\sum{a_n n^{-(s+\frac{1}{k})}} \big\Vert_{\mathcal{H}^{2}}$), is a Fréchet space which is Schwartz and non nuclear. Moreover, the Dirichlet monomials $\{n^{-s}\}_{n \in \mathbb N}$ are an unconditional Schauder basis of $\mathcal H_+$. In the spirit of Gordon and Hedenmalm's work, we completely characterize the composition operator on the Hardy space of translated Dirichlet series. Moreover, we study the superposition operators on $\mathcal{H}_{+}$ and show that every polynomial defines an operator of this kind. We present certain sufficient conditions on the coefficients of an entire function to define a superposition operator. Relying on number theory techniques we exhibit some examples which do not provide superposition operators. We finally look at the action of the differentiation and integration operators on these spaces. △ Less

Submitted 14 February, 2021; v1 submitted 9 March, 2020; originally announced March 2020.

Secretary Problem with quality-based payoff

Authors: Pablo Blanc, Juan Pablo Borthagaray, Daniel Kohen, Martín Mereb

Abstract: We consider a variant of the classical Secretary Problem. In this setting, the candidates are ranked according to some exchangeable random variable and the quest is to maximize the expected quality of the chosen aspirant. We find an upper bound for the optimal hiring rule, present examples showing it is sharp, and recover the classical case, among other results. We consider a variant of the classical Secretary Problem. In this setting, the candidates are ranked according to some exchangeable random variable and the quest is to maximize the expected quality of the chosen aspirant. We find an upper bound for the optimal hiring rule, present examples showing it is sharp, and recover the classical case, among other results. △ Less

Submitted 14 September, 2017; v1 submitted 20 May, 2016; originally announced May 2016.

Arithmetic and representation theory of wild character varieties

Authors: Tamas Hausel, Martin Mereb, Michael Lennox Wong

Abstract: We count points over a finite field on wild character varieties of Riemann surfaces for singularities with regular semisimple leading term. The new feature in our counting formulas is the appearance of characters of Yokonuma-Hecke algebras. Our result leads to the conjecture that the mixed Hodge polynomials of these character varieties agree with previously conjectured perverse Hodge polynomials o… ▽ More We count points over a finite field on wild character varieties of Riemann surfaces for singularities with regular semisimple leading term. The new feature in our counting formulas is the appearance of characters of Yokonuma-Hecke algebras. Our result leads to the conjecture that the mixed Hodge polynomials of these character varieties agree with previously conjectured perverse Hodge polynomials of certain twisted parabolic Higgs moduli spaces, indicating the possibility of a P=W conjecture for a suitable wild Hitchin system. △ Less

Submitted 22 May, 2016; v1 submitted 12 April, 2016; originally announced April 2016.

Comments: 50 pages; v2: Affiliations of the authors and minor typos corrected. Submitted for publication

On the E-polynomials of a family of Character Varieties

Authors: Martin Mereb

Abstract: We compute the E-polynomials of a family of twisted character varieties by proving they have polynomial count, and applying a result of N. Katz on the counting functions. To compute the number of GF(q)-points of these varieties as a function of q, we used a formula of Frobenius. Our calculations made use of the character tables of Gl(n,q) and Sl(n,q), previously computed by J. A. Green and G. Le… ▽ More We compute the E-polynomials of a family of twisted character varieties by proving they have polynomial count, and applying a result of N. Katz on the counting functions. To compute the number of GF(q)-points of these varieties as a function of q, we used a formula of Frobenius. Our calculations made use of the character tables of Gl(n,q) and Sl(n,q), previously computed by J. A. Green and G. Lehrer, and a result of Hanlon on the Möbius function of a subposet of set-partitions. The Euler Characteristics of these character varieties are calculated with these polynomial. △ Less

Submitted 7 June, 2010; originally announced June 2010.

Algebraic Values of Transcendental Functions at Algebraic Points

Authors: Jingjing Huang, Diego Marques, Martin Mereb

Abstract: In this paper, the authors will prove that any subset of $\overline{\QQ}$ can be the exceptional set of some transcendental entire function. Furthermore, we could generalize this theorem to a much more general version and present a unified proof. In this paper, the authors will prove that any subset of $\overline{\QQ}$ can be the exceptional set of some transcendental entire function. Furthermore, we could generalize this theorem to a much more general version and present a unified proof. △ Less

Submitted 22 August, 2008; v1 submitted 20 August, 2008; originally announced August 2008.

Some consequences of Schanuel's Conjecture

Authors: Chuangxun Cheng, Brian Dietel, Mathilde Herblot, Jingjing Huang, Holly Krieger, Diego Marques, Jonathan Mason, Martin Mereb, S. Robert Wilson

Abstract: During the Arizona Winter School 2008 (held in Tucson, AZ) we worked on the following problems: a) (Expanding a remark by S. Lang). Define $E_0 = \overline{\mathbb{Q}}$ Inductively, for $n \geq 1$, define $E_n$ as the algebraic closure of the field generated over $E_{n-1}$ by the numbers $\exp(x)=e^x$, where $x$ ranges over $E_{n-1}$. Let $E$ be the union of $E_n$, $n \geq 0$. Show that Schanu… ▽ More During the Arizona Winter School 2008 (held in Tucson, AZ) we worked on the following problems: a) (Expanding a remark by S. Lang). Define $E_0 = \overline{\mathbb{Q}}$ Inductively, for $n \geq 1$, define $E_n$ as the algebraic closure of the field generated over $E_{n-1}$ by the numbers $\exp(x)=e^x$, where $x$ ranges over $E_{n-1}$. Let $E$ be the union of $E_n$, $n \geq 0$. Show that Schanuel's Conjecture implies that the numbers $π, \log π, \log \log π, \log \log \log π, \ldots $ are algebraically independent over $E$. b) Try to get a (conjectural) generalization involving the field $L$ defined as follows. Define $L_0 = \overline{\mathbb{Q}}$. Inductively, for $n \geq 1$, define $L_n$ as the algebraic closure of the field generated over $L_{n-1}$ by the numbers $y$, where $y$ ranges over the set of complex numbers such that $e^y\in L_{n-1}$. Let $L$ be the union of $L_n$, $n \geq 0$. We were able to prove that Schanuel's Conjecture implies $E$ and $L$ are linearly disjoint over $\overline{\mathbb{Q}}$. △ Less

Submitted 7 May, 2008; v1 submitted 22 April, 2008; originally announced April 2008.

Comments: 8 pages summarizing the results obtained in this project during the AWS08 http://swc.math.arizona.edu/aws/08/08WaldschmidtOutline.pdf

MSC Class: 11J81