-
Polynomials associated to Lie algebras
Authors:
Matías Bruna,
Alex Capuñay,
Eduardo Friedman
Abstract:
We associate to a semisimple complex Lie algebra $\mathfrak{g}$ a sequence of polynomials $P_{\ell,\mathfrak{g}}(x)\in\mathbb{Q}[x]$ in $r$ variables, where $r$ is the rank of $\mathfrak{g}$ and $\ell=0,1,2,\ldots $. The polynomials $P_{\ell,\mathfrak{g}}(x)$ are uniquely associated to the isomorphism class of $\mathfrak{g}$, up to re-numbering the variables, and are defined as special values of a…
▽ More
We associate to a semisimple complex Lie algebra $\mathfrak{g}$ a sequence of polynomials $P_{\ell,\mathfrak{g}}(x)\in\mathbb{Q}[x]$ in $r$ variables, where $r$ is the rank of $\mathfrak{g}$ and $\ell=0,1,2,\ldots $. The polynomials $P_{\ell,\mathfrak{g}}(x)$ are uniquely associated to the isomorphism class of $\mathfrak{g}$, up to re-numbering the variables, and are defined as special values of a variant of Witten's zeta function. Another set of polynomials associated to $\mathfrak{g}$ were defined in 2008 by Komori, Matsumoto and Tsumura using different special values of another variant of Witten's zeta function.
△ Less
Submitted 30 June, 2025;
originally announced July 2025.
-
Twisters and signed fundamental domains for number fields
Authors:
Milton Espinoza,
Eduardo Friedman
Abstract:
We give a signed fundamental domain for the action on $\mathbb{R}^{r_1}_+\times{\mathbb{C}^*}^{r_2}$ of the totally positive units $E_+$ of a number field $k$ of degree $n=r_1+2r_2$ which we assume is not totally complex. Here $r_1$ and $r_2$ denote the number of real and complex places of $k$ and $\mathbb{R}_+$ denotes the positive real numbers. The signed fundamental domain consists of $n$-dimen…
▽ More
We give a signed fundamental domain for the action on $\mathbb{R}^{r_1}_+\times{\mathbb{C}^*}^{r_2}$ of the totally positive units $E_+$ of a number field $k$ of degree $n=r_1+2r_2$ which we assume is not totally complex. Here $r_1$ and $r_2$ denote the number of real and complex places of $k$ and $\mathbb{R}_+$ denotes the positive real numbers. The signed fundamental domain consists of $n$-dimensional $k$-rational cones $C_α$, each equipped with a sign $μ_α=\pm1$, with the property that the net number of intersections of the cones with any $E_+$-orbit is 1.
The cones $C_α$ and the signs $μ_α$ are explicitly constructed from any set of fundamental totally positive units and a set of $3^{r_2}$ "twisters", i.e. elements of $k$ whose arguments at the $r_2$ complex places of $k$ are sufficiently varied. Introducing twisters gives us the right number of generators for the cones $C_α$ and allows us to make the $C_α$ turn in a controlled way around the origin at each complex embedding.
△ Less
Submitted 17 March, 2019;
originally announced March 2019.
-
A case of the Rodriguez Villegas conjecture
Authors:
Ted Chinburg,
Eduardo Friedman,
Fernando Rodriguez-Villegas,
James Sundstrom
Abstract:
Let L be a number field and let E be any subgroup of the units O_L^* of L. If rank(E) = 1, Lehmer's conjecture predicts that the height of any non-torsion element of E is bounded below by an absolute positive constant. If rank(E) = rank(O_L^*), Zimmert proved a lower bound on the regulator of E which grows exponentially with [L:Q]. Fernando Rodriguez Villegas made a conjecture in 2002 that "interp…
▽ More
Let L be a number field and let E be any subgroup of the units O_L^* of L. If rank(E) = 1, Lehmer's conjecture predicts that the height of any non-torsion element of E is bounded below by an absolute positive constant. If rank(E) = rank(O_L^*), Zimmert proved a lower bound on the regulator of E which grows exponentially with [L:Q]. Fernando Rodriguez Villegas made a conjecture in 2002 that "interpolates" between these two extremes of rank. Here we prove a high-rank case of this conjecture. Namely, it holds if L contains a subfield K for which [L:K] >> [K:Q] and E contains the kernel of the norm map from O_L^* to O_K^*.
△ Less
Submitted 4 March, 2019;
originally announced March 2019.
-
The smallest regulator for number fields of degree 7 with five real places
Authors:
Eduardo Friedman,
Gabriel Ramírez-Raposo
Abstract:
In 2016 Astudillo, Diaz y Diaz and Friedman published sharp lower bounds for regulators of number fields of all signatures up to degree seven, except for fields of degree seven having five real places. We deal with this signature, proving that the field with the first discriminant has minimal regulator. The new element in the proof is an extension of Pohst's geometric method from the totally real…
▽ More
In 2016 Astudillo, Diaz y Diaz and Friedman published sharp lower bounds for regulators of number fields of all signatures up to degree seven, except for fields of degree seven having five real places. We deal with this signature, proving that the field with the first discriminant has minimal regulator. The new element in the proof is an extension of Pohst's geometric method from the totally real case to fields having one complex place.
△ Less
Submitted 8 October, 2018;
originally announced October 2018.
-
Non-Tiles and Walls - A Variant on the Heesch Problem
Authors:
Erich Friedman,
R. Nandakumar
Abstract:
The Heesch problem 'grades' polygons that fail to tile the plane in terms of the number of layers (or corollas) of copies of it that can be formed around a central unit. We study the different topology of ' walls', which we define to be simply connected regions that divide the plane exactly into two simply connected regions. We present preliminary results and conjectures.
The Heesch problem 'grades' polygons that fail to tile the plane in terms of the number of layers (or corollas) of copies of it that can be formed around a central unit. We study the different topology of ' walls', which we define to be simply connected regions that divide the plane exactly into two simply connected regions. We present preliminary results and conjectures.
△ Less
Submitted 31 May, 2016; v1 submitted 21 May, 2016;
originally announced May 2016.
-
Computing the residue of the Dedekind zeta function
Authors:
Karim Belabas,
Eduardo Friedman
Abstract:
Assuming the Generalized Riemann Hypothesis, Bach has shown that one can calculate the residue of the Dedekind zeta function of a number field K by a clever use of the splitting of primes p < X, with an error asymptotically bounded by 8.33 log D_K/(\sqrt{X}\log X), where D_K is the absolute value of the discriminant of K. Guided by Weil's explicit formula and still assuming GRH, we make a differen…
▽ More
Assuming the Generalized Riemann Hypothesis, Bach has shown that one can calculate the residue of the Dedekind zeta function of a number field K by a clever use of the splitting of primes p < X, with an error asymptotically bounded by 8.33 log D_K/(\sqrt{X}\log X), where D_K is the absolute value of the discriminant of K. Guided by Weil's explicit formula and still assuming GRH, we make a different use of the splitting of primes and thereby improve Bach's constant to 2.33. This results in substantial speeding of one part of Buchmann's class group algorithm.
△ Less
Submitted 30 April, 2013;
originally announced May 2013.
-
Signed fundamental domains for totally real number fields
Authors:
Francisco Diaz y Diaz,
Eduardo Friedman
Abstract:
We give a signed fundamental domain for the action on $\mathbb{R}^n_+$ of the totally positive units $E_+$ of a totally real number field $k$ of degree $n$. The domain $\big\{(C_σ,w_σ) \big\}_σ$ is signed since the net number of its intersections with any $E_+$-orbit is 1, i. e. for any $x\in \mathbb{R}^n_+$,…
▽ More
We give a signed fundamental domain for the action on $\mathbb{R}^n_+$ of the totally positive units $E_+$ of a totally real number field $k$ of degree $n$. The domain $\big\{(C_σ,w_σ) \big\}_σ$ is signed since the net number of its intersections with any $E_+$-orbit is 1, i. e. for any $x\in \mathbb{R}^n_+$, $$ \sum_{σ\in S_{n-1}} \sum_{\varepsilon\in E_+} w_σχ^{\phantom{1}}_{C_σ}(\varepsilon x) = 1. $$ Here $χ_{C_σ}$ is the characteristic function of $C_σ$, $w_σ=\pm1$ is a natural orientation of the $n$-dimensional $k$-rational cone $C_σ\subset\mathbb{R}^n_+$, and the inner sum is actually finite. Signed fundamental domains are as useful as Shintani's true ones for the purpose of calculating abelian $L$-functions. They have the advantage of being easily constructed from any set of fundamental units, whereas in practice there is no algorithm producing Shintani's $k$-rational cones.
Our proof uses algebraic topology on the quotient manifold $\mathbb{R}^n_+/E_+$. The invariance of the topological degree under homotopy allows us to control the deformation of a crooked fundamental domain into nice straight cones. Crossings may occur during the homotopy, leading to the need to subtract some cones.
△ Less
Submitted 16 March, 2013;
originally announced March 2013.
-
The multiplicative anomaly of three or more commuting elliptic operators
Authors:
Victor Castillo-Garate,
Eduardo Friedman,
Marius Mantoiu
Abstract:
Zeta-regularized determinants are well-known to fail to be multiplicative. Hence one is lead to study the n-fold multiplicative anomaly M_n(A_1,...,A_n) :=\frac{\det_ζ\Big(\prod_{i=1}^n A_i\Big)}{\prod_{i=1}^n \det_ζ(A_i)} attached to n (suitable) operators A_1,...,A_n. We show that if the A_i are commuting pseudo-differential elliptic operators, then their joint multiplicative anomaly can be expr…
▽ More
Zeta-regularized determinants are well-known to fail to be multiplicative. Hence one is lead to study the n-fold multiplicative anomaly M_n(A_1,...,A_n) :=\frac{\det_ζ\Big(\prod_{i=1}^n A_i\Big)}{\prod_{i=1}^n \det_ζ(A_i)} attached to n (suitable) operators A_1,...,A_n. We show that if the A_i are commuting pseudo-differential elliptic operators, then their joint multiplicative anomaly can be expressed in terms of the pairwise multiplicative anomalies. Namely M_n(A_1,...,A_n)^{m_1+...+m_n} =\prod_{1\le i<j\le n}M_2(A_i,A_j)^{m_i+m_j}, where m_j is the order of A_j. The proof relies on Wodzicki's 1987 formula for the pairwise multiplicative anomaly M_2(A,B) of two commuting elliptic operators.
△ Less
Submitted 17 November, 2012;
originally announced November 2012.
-
Combinatorial Games with a Pass: A dynamical systems approach
Authors:
Rebecca E. Morrison,
Eric J. Friedman,
Adam S. Landsberg
Abstract:
By treating combinatorial games as dynamical systems, we are able to address a longstanding open question in combinatorial game theory, namely, how the introduction of a "pass" move into a game affects its behavior. We consider two well known combinatorial games, 3-pile Nim and 3-row Chomp. In the case of Nim, we observe that the introduction of the pass dramatically alters the game's underlying s…
▽ More
By treating combinatorial games as dynamical systems, we are able to address a longstanding open question in combinatorial game theory, namely, how the introduction of a "pass" move into a game affects its behavior. We consider two well known combinatorial games, 3-pile Nim and 3-row Chomp. In the case of Nim, we observe that the introduction of the pass dramatically alters the game's underlying structure, rendering it considerably more complex, while for Chomp, the pass move is found to have relatively minimal impact. We show how these results can be understood by recasting these games as dynamical systems describable by dynamical recursion relations. From these recursion relations we are able to identify underlying structural connections between these "games with passes" and a recently introduced class of "generic (perturbed) games." This connection, together with a (non-rigorous) numerical stability analysis, allows one to understand and predict the effect of a pass on a game.
△ Less
Submitted 14 April, 2012;
originally announced April 2012.
-
Probabilistic Convergence Guarantees for Type II Pulse Coupled Oscillators
Authors:
Joel Nishimura,
Eric J. Friedman
Abstract:
We show that a large class of pulse coupled oscillators converge with high probability from random initial conditions on a large class of graphs with time delays. Our analysis combines previous local convergence results, probabilistic network analysis, and a new classification scheme for Type II phase response curves to produce rigorous lower bounds for convergence probabilities based on network d…
▽ More
We show that a large class of pulse coupled oscillators converge with high probability from random initial conditions on a large class of graphs with time delays. Our analysis combines previous local convergence results, probabilistic network analysis, and a new classification scheme for Type II phase response curves to produce rigorous lower bounds for convergence probabilities based on network density. These bounds are then used to develop a simple, fast and rigorous computational analytic technique. These results suggest new methods for the analysis of pulse coupled oscillators, and provide new insights into the operation of biological Type II phase response curves and also the design of decentralized and minimal clock synchronization schemes in sensor nets.
△ Less
Submitted 14 April, 2012;
originally announced April 2012.
-
Cofinite Induced Subgraphs of Impartial Combinatorial Games: An Analysis of CIS-Nim
Authors:
Scott M. Garrabrant,
Eric J. Friedman,
Adam Scott Landsberg
Abstract:
Given an impartial combinatorial game G, we create a class of related games (CIS-G) by specifying a finite set of positions in G and forbidding players from moving to those positions (leaving all other game rules unchanged). Such modifications amount to taking cofinite induced subgraphs (CIS) of the original game graph. Some recent numerical/heuristic work has suggested that the underlying structu…
▽ More
Given an impartial combinatorial game G, we create a class of related games (CIS-G) by specifying a finite set of positions in G and forbidding players from moving to those positions (leaving all other game rules unchanged). Such modifications amount to taking cofinite induced subgraphs (CIS) of the original game graph. Some recent numerical/heuristic work has suggested that the underlying structure and behavior of such "CIS-games" can shed new light on, and bears interesting relationships with, the original games from which they are derived. In this paper we present an analytical treatment of the cofinite induced subgraphs associated with the game of (three-heap) Nim. This constitutes one of the simplest nontrivial cases of a CIS game. Our main finding is that although the structure of the winning strategies in games of CIS-Nim can differ greatly from that of Nim, CIS-Nim games inherit a type of period-two scale invariance from the original game of Nim.
△ Less
Submitted 1 January, 2012;
originally announced January 2012.
-
Robust convergence in pulse coupled oscillators with delays
Authors:
Joel Nishimura,
Eric J. Friedman
Abstract:
We show that for pulse coupled oscillators a class of phase response curves with both excitation and inhibition exhibit robust convergence to synchrony on arbitrary aperiodic connected graphs with delays. We describe the basins of convergence and give explicit bounds on the convergence times. These results provide new and more robust methods for synchronization of sensor nets and also have biologi…
▽ More
We show that for pulse coupled oscillators a class of phase response curves with both excitation and inhibition exhibit robust convergence to synchrony on arbitrary aperiodic connected graphs with delays. We describe the basins of convergence and give explicit bounds on the convergence times. These results provide new and more robust methods for synchronization of sensor nets and also have biological implications.
△ Less
Submitted 17 May, 2011;
originally announced May 2011.
-
Special values of Dirichlet series and zeta integrals
Authors:
Eduardo Friedman,
Aldo Pereira
Abstract:
For $f$ and $g$ polynomials in $p$ variables, we relate the special value at a non-positive integer $s=-N$, obtained by analytic continuation of the Dirichlet series $$ ζ(s;f,g)=\sum_{k_1=0}^\infty ... \sum_{k_p=0}^\infty g(k_1,...,k_p)f(k_1,...,k_p)^{-s}\ \,(\re(s)\gg0), $$ to special values of zeta integrals $$ Z(s;f,g)=\int_{x\in[0,\infty)^p} g(x)f(x)^{-s}\,dx \, \ (\re(s)\gg0).$$ We prove a si…
▽ More
For $f$ and $g$ polynomials in $p$ variables, we relate the special value at a non-positive integer $s=-N$, obtained by analytic continuation of the Dirichlet series $$ ζ(s;f,g)=\sum_{k_1=0}^\infty ... \sum_{k_p=0}^\infty g(k_1,...,k_p)f(k_1,...,k_p)^{-s}\ \,(\re(s)\gg0), $$ to special values of zeta integrals $$ Z(s;f,g)=\int_{x\in[0,\infty)^p} g(x)f(x)^{-s}\,dx \, \ (\re(s)\gg0).$$ We prove a simple relation between $ζ(-N;f,g)$ and $Z(-N;f_a,g_a)$, where for $a\in\C ^p,\ f_a(x)$ is the shifted polynomial $f_a(x)=f(a+x)$.
By direct calculation we prove the product rule for zeta integrals at $s=0$, $
\mathrm{degree}(fh)\cdot Z(0;fh,g)=\mathrm{degree}(f)\cdot Z(0;f,g)+\mathrm{degree}(h)\cdot Z(0;h,g), $
and deduce the corresponding rule for Dirichlet series at $s=0$, $
\mathrm{degree}(fh)\cdotζ(0;fh,g)=\mathrm{degree}(f) \cdotζ(0;f,g)+\mathrm{degree}(h)\cdotζ(0;h,g). $
This last formula generalizes work of Shintani and Chen-Eie.
△ Less
Submitted 12 May, 2011;
originally announced May 2011.
