Showing 1–34 of 34 results for author: Neumann, L

Derivative-Free iterative One-Step Reconstruction for Multispectral CT

Authors: Thomas Prohaszka, Lukas Neumann, Markus Haltmeier

Abstract: Image reconstruction in Multispectral Computed Tomography (MSCT) requires solving a challenging nonlinear inverse problem, commonly tackled via iterative optimization algorithms. Existing methods necessitate computing the derivative of the forward map and potentially its regularized inverse. In this work, we present a simple yet highly effective algorithm for MSCT image reconstruction, utilizing i… ▽ More Image reconstruction in Multispectral Computed Tomography (MSCT) requires solving a challenging nonlinear inverse problem, commonly tackled via iterative optimization algorithms. Existing methods necessitate computing the derivative of the forward map and potentially its regularized inverse. In this work, we present a simple yet highly effective algorithm for MSCT image reconstruction, utilizing iterative update mechanisms that leverage the full forward model in the forward step and a derivative-free adjoint problem. Our approach demonstrates both fast convergence and superior performance compared to existing algorithms, making it an interesting candidate for future work. We also discuss further generalizations of our method and its combination with additional regularization and other data discrepancy terms. △ Less

Submitted 19 February, 2024; originally announced February 2024.

Genus bounds from unrolled quantum groups at roots of unity

Authors: Daniel López Neumann, Roland van der Veen

Abstract: For any simple complex Lie algebra $\mathfrak{g}$, we show that the degrees of the "ADO" link polynomials coming from the unrolled restricted quantum group $\overline{U}^H_q(\mathfrak{g})$ at a root of unity give lower bounds to the Seifert genus of the link. We give a direct simple proof of this fact relying on a Seifert surface formula involving universal $\mathfrak{u}_q(\mathfrak{g})$-invariant… ▽ More For any simple complex Lie algebra $\mathfrak{g}$, we show that the degrees of the "ADO" link polynomials coming from the unrolled restricted quantum group $\overline{U}^H_q(\mathfrak{g})$ at a root of unity give lower bounds to the Seifert genus of the link. We give a direct simple proof of this fact relying on a Seifert surface formula involving universal $\mathfrak{u}_q(\mathfrak{g})$-invariants, where $\mathfrak{u}_q(\mathfrak{g})$ is the small quantum group. We give a second proof by showing that the invariant $P_{\mathfrak{u}_q(\mathfrak{b})}^θ(K)$ of our previous work coincides with such ADO invariants, where $\mathfrak{u}_q(\mathfrak{b})$ is the Borel part of $\mathfrak{u}_q(\mathfrak{g})$. To prove this, we show that equivariantizations of relative Drinfeld centers of crossed products essentially contain unrolled restricted quantum groups, a fact that could be of independent interest. △ Less

Submitted 4 December, 2023; originally announced December 2023.

Comments: 24 pages

MSC Class: 57K16; 57K10; 20G42

Vanishing of the second $L^p$-cohomology group for most semisimple groups of rank at least 3

Authors: Antonio López Neumann

Abstract: We show vanishing of the second $L^p$-cohomology group for most semisimple algebraic groups of rank at least 3 over local fields. More precisely, we show this result for $\SL(4)$, for simple groups of rank $\geq 4$ that are not of exceptional type or of type $D_4$ and for all semisimple, non-simple groups of rank $\geq 3$. Our methods work for large values of $p$ in the real case and for all… ▽ More We show vanishing of the second $L^p$-cohomology group for most semisimple algebraic groups of rank at least 3 over local fields. More precisely, we show this result for $\SL(4)$, for simple groups of rank $\geq 4$ that are not of exceptional type or of type $D_4$ and for all semisimple, non-simple groups of rank $\geq 3$. Our methods work for large values of $p$ in the real case and for all $p>1$ in the non-Archimedean case. This result points towards a positive answer to Gromov's question on vanishing of $L^p$-cohomology of semisimple groups for all $p>1$ in degrees below the rank. The methods consist in using a spectral sequence à la Bourdon-Rémy, adapting a version of Mautner's phenomenon from Cornulier-Tessera and concluding thanks to a combinatorial case-by-case study of classical simple groups. △ Less

Submitted 13 October, 2023; v1 submitted 18 February, 2023; originally announced February 2023.

Comments: 30 pages, 3 tables. Changes in version 2: some proofs in section 2 have been simplified, some minor typos were corrected and author affiliation is updated

MSC Class: 20F67; 20G07; 22E41; 43A15

Genus bounds for twisted quantum invariants

Authors: Daniel López Neumann, Roland van der Veen

Abstract: By twisted quantum invariants we mean polynomial invariants of knots in the three-sphere endowed with a representation of the fundamental group into the automorphism group of a Hopf algebra $H$. These are obtained by the Reshetikhin-Turaev construction extended to the $\mathrm{Aut}(H)$-twisted Drinfeld double of $H$, provided $H$ is finite dimensional and $\mathbb{N}^m$-graded. We show that the… ▽ More By twisted quantum invariants we mean polynomial invariants of knots in the three-sphere endowed with a representation of the fundamental group into the automorphism group of a Hopf algebra $H$. These are obtained by the Reshetikhin-Turaev construction extended to the $\mathrm{Aut}(H)$-twisted Drinfeld double of $H$, provided $H$ is finite dimensional and $\mathbb{N}^m$-graded. We show that the degree of these polynomials is bounded above by $2g(K)\cdot d(H)$ where $g(K)$ is the Seifert genus of a knot $K$ and $d(H)$ is the top degree of the Hopf algebra. When $H$ is an exterior algebra, our theorem recovers Friedl and Kim's genus bounds for twisted Alexander polynomials. When $H$ is the Borel part of restricted quantum $\mathfrak{sl}_2$ at an even root of unity, we show that our invariant is the ADO invariant, therefore giving new genus bounds for these invariants. △ Less

Submitted 27 November, 2022; originally announced November 2022.

Comments: 31 pages

MSC Class: 57K16

$r$-primitive $k$-normal elements in arithmetic progressions over finite fields

Authors: Josimar J. R. Aguirre, Abílio Lemos, Victor G. L. Neumann, Sávio Ribas

Abstract: Let $\mathbb{F}_{q^n}$ be a finite field with $q^n$ elements. For a positive divisor $r$ of $q^n-1$, the element $α\in \mathbb{F}_{q^n}^*$ is called \textit{$r$-primitive} if its multiplicative order is $(q^n-1)/r$. Also, for a non-negative integer $k$, the element $α\in \mathbb{F}_{q^n}$ is \textit{$k$-normal} over $\mathbb{F}_q$ if… ▽ More Let $\mathbb{F}_{q^n}$ be a finite field with $q^n$ elements. For a positive divisor $r$ of $q^n-1$, the element $α\in \mathbb{F}_{q^n}^*$ is called \textit{$r$-primitive} if its multiplicative order is $(q^n-1)/r$. Also, for a non-negative integer $k$, the element $α\in \mathbb{F}_{q^n}$ is \textit{$k$-normal} over $\mathbb{F}_q$ if $\gcd(αx^{n-1}+ α^q x^{n-2} + \ldots + α^{q^{n-2}}x + α^{q^{n-1}} , x^n-1)$ in $\mathbb{F}_{q^n}[x]$ has degree $k$. In this paper we discuss the existence of elements in arithmetic progressions $\{α, α+β, α+2β, \ldotsα+(m-1)β\} \subset \mathbb{F}_{q^n}$ with $α+(i-1)β$ being $r_i$-primitive and at least one of the elements in the arithmetic progression being $k$-normal over $\mathbb{F}_q$. We obtain asymptotic results for general $k, r_1, \dots, r_m$ and concrete results when $k = r_i = 2$ for $i \in \{1, \dots, m\}$. △ Less

Submitted 31 July, 2023; v1 submitted 3 November, 2022; originally announced November 2022.

Comments: To appear in Communications in Algebra. arXiv admin note: substantial text overlap with arXiv:2210.11504

MSC Class: 12E20; 11T23

Pairs of $r$-primitive and $k$-normal elements in finite fields

Authors: Josimar J. R. Aguirre, Victor G. L. Neumann

Abstract: Let $\mathbb{F}_{q^n}$ be a finite field with $q^n$ elements and $r$ be a positive divisor of $q^n-1$. An element $α\in \mathbb{F}_{q^n}^*$ is called $r$-primitive if its multiplicative order is $(q^n-1)/r$. Also, $α\in \mathbb{F}_{q^n}$ is $k$-normal over $\mathbb{F}_q$ if the greatest common divisor of the polynomials $g_α(x) = αx^{n-1}+ α^q x^{n-2} + \ldots + α^{q^{n-2}}x + α^{q^{n-1}}$ and… ▽ More Let $\mathbb{F}_{q^n}$ be a finite field with $q^n$ elements and $r$ be a positive divisor of $q^n-1$. An element $α\in \mathbb{F}_{q^n}^*$ is called $r$-primitive if its multiplicative order is $(q^n-1)/r$. Also, $α\in \mathbb{F}_{q^n}$ is $k$-normal over $\mathbb{F}_q$ if the greatest common divisor of the polynomials $g_α(x) = αx^{n-1}+ α^q x^{n-2} + \ldots + α^{q^{n-2}}x + α^{q^{n-1}}$ and $x^n-1$ in $\mathbb{F}_{q^n}[x]$ has degree $k$. These concepts generalize the ideas of primitive and normal elements, respectively. In this paper, we consider non-negative integers $m_1,m_2,k_1,k_2$, positive integers $r_1,r_2$ and rational functions $F(x)=F_1(x)/F_2(x) \in \mathbb{F}_{q^n}(x)$ with $°(F_i) \leq m_i$ for $i\in\{ 1,2\}$ satisfying certain conditions and we present sufficient conditions for the existence of $r_1$-primitive $k_1$-normal elements $α\in \mathbb{F}_{q^n}$ over $\mathbb{F}_q$, such that $F(α)$ is an $r_2$-primitive $k_2$-normal element over $\mathbb{F}_q$. Finally as an example we study the case where $r_1=2$, $r_2=3$, $k_1=2$, $k_2=1$, $m_1=2$ and $m_2=1$, with $n \ge 7$. △ Less

Submitted 20 October, 2022; originally announced October 2022.

MSC Class: 12E20; 11T23

Top degree $\ell^p$-homology and conformal dimension of buildings

Authors: Antonio López Neumann

Abstract: For a non-compact finite thickness building whose Davis apartment is an orientable pseudomanifold, we compute the supremum of the set of $p>1$ such that its top dimensional reduced $\ell^p$-cohomology is nonzero. We adapt the non-vanishing assertion of this result to any finite thickness building using the Bestvina realization. Using similar techniques, we generalize bounds obtained by Clais on th… ▽ More For a non-compact finite thickness building whose Davis apartment is an orientable pseudomanifold, we compute the supremum of the set of $p>1$ such that its top dimensional reduced $\ell^p$-cohomology is nonzero. We adapt the non-vanishing assertion of this result to any finite thickness building using the Bestvina realization. Using similar techniques, we generalize bounds obtained by Clais on the conformal dimension of some Gromov-hyperbolic buildings to any such building. △ Less

Submitted 12 April, 2022; originally announced April 2022.

MSC Class: 20J06; 20F67; 22E41; 30L10; 43A15; 51E24

Number of $k$-normal elements over a finite field

Authors: Josimar J. R. Aguirre, Victor G. L. Neumann

Abstract: An element $α\in \mathbb{F}_{q^n}$ is a normal element over $\mathbb{F}_q$ if the conjugates $α^{q^i}$, $0 \leq i \leq n-1$, are linearly independent over $\mathbb{F}_q$. Hence a normal basis for $\mathbb{F}_{q^n}$ over $\mathbb{F}_q$ is of the form $\{α,α^q, \ldots, α^{q^{n-1}}\}$, where $α\in \mathbb{F}_{q^n}$ is normal over $\mathbb{F}_q$. In 2013, Huczynska, Mullen, Panario and Thomson introdu… ▽ More An element $α\in \mathbb{F}_{q^n}$ is a normal element over $\mathbb{F}_q$ if the conjugates $α^{q^i}$, $0 \leq i \leq n-1$, are linearly independent over $\mathbb{F}_q$. Hence a normal basis for $\mathbb{F}_{q^n}$ over $\mathbb{F}_q$ is of the form $\{α,α^q, \ldots, α^{q^{n-1}}\}$, where $α\in \mathbb{F}_{q^n}$ is normal over $\mathbb{F}_q$. In 2013, Huczynska, Mullen, Panario and Thomson introduce the concept of k-normal elements, as a generalization of the notion of normal elements. In the last few years, several results have been known about these numbers. In this paper, we give an explicit combinatorial formula for the number of $k$-normal elements in the general case, answering an open problem proposed by Huczynska et al. (2013). △ Less

Submitted 20 February, 2022; originally announced February 2022.

MSC Class: 12E20; 11T30

Twisted Kuperberg invariants of knots and Reidemeister torsion via twisted Drinfeld doubles

Authors: Daniel López Neumann

Abstract: In this paper, we consider the Reshetikhin-Turaev invariants of knots in the three-sphere obtained from a twisted Drinfeld double of a Hopf algebra, or equivalently, the relative Drinfeld center of the crossed product $\text{Rep}(H)\rtimes\text{Aut}(H)$. These are quantum invariants of knots endowed with a homomorphism of the knot group to $\text{Aut}(H)$. We show that, at least for knots in the t… ▽ More In this paper, we consider the Reshetikhin-Turaev invariants of knots in the three-sphere obtained from a twisted Drinfeld double of a Hopf algebra, or equivalently, the relative Drinfeld center of the crossed product $\text{Rep}(H)\rtimes\text{Aut}(H)$. These are quantum invariants of knots endowed with a homomorphism of the knot group to $\text{Aut}(H)$. We show that, at least for knots in the three-sphere, these invariants provide a non-involutory generalization of the Fox-calculus-twisted Kuperberg invariants of sutured manifolds introduced previously by the author, which are only defined for involutory Hopf algebras. In particular, we describe the $SL(n,\mathbb{C})$-twisted Reidemeister torsion of a knot complement as a Reshetikhin-Turaev invariant. △ Less

Submitted 15 November, 2023; v1 submitted 31 January, 2022; originally announced January 2022.

Comments: 26 pages. Various improvements: the case of Hopf-superalgebras now is done with more care, Prop. 2.3 has been generalized and has simpler proof, the construction of the invariant has been streamlined, unnecessary material was removed

MSC Class: 57K16; 57K31; 16T05

About $r$- primitive and $k$-normal elements in finite fields

Authors: Cícero Carvalho, Josimar J. R. Aguirre, Victor G. L. Neumann

Abstract: In 2013, Huczynska, Mullen, Panario and Thomson introduced the concept of $k$-normal elements: an element $α\in \mathbb{F}_{q^n}$ is $k$-normal over $\mathbb{F}_q$ if the greatest common divisor of the polynomials $g_α(x)= αx^{n-1}+α^qx^{n-2}+\ldots +α^{q^{n-2}}x+α^{q^{n-1}}$ and $x^n-1$ in $\mathbb{F}_{q^n}[x]$ has degree $k$, generalizing the concept of normal elements (normal in the usual sense… ▽ More In 2013, Huczynska, Mullen, Panario and Thomson introduced the concept of $k$-normal elements: an element $α\in \mathbb{F}_{q^n}$ is $k$-normal over $\mathbb{F}_q$ if the greatest common divisor of the polynomials $g_α(x)= αx^{n-1}+α^qx^{n-2}+\ldots +α^{q^{n-2}}x+α^{q^{n-1}}$ and $x^n-1$ in $\mathbb{F}_{q^n}[x]$ has degree $k$, generalizing the concept of normal elements (normal in the usual sense is $0$-normal). In this paper we discuss the existence of $r$-primitive, $k$-normal elements in $\mathbb{F}_{q^n}$ over $\mathbb{F}_{q}$, where an element $α\in \mathbb{F}_{q^n}^*$ is $r$-primitive if its multiplicative order is $\frac{q^n-1}{r}$. We provide many general results about the existence of this class of elements and we work a numerical example over finite fields of characteristic $11$. △ Less

Submitted 24 December, 2021; originally announced December 2021.

MSC Class: 12E20; 11T23

A family of codes with variable locality and availability

Authors: Cícero Carvalho, Victor G. L. Neumann

Abstract: In this work we present a class of locally recoverable codes, i.e. codes where an erasure at a position $P$ of a codeword may be recovered from the knowledge of the entries in the positions of a recovery set $R_P$. The codes in the class that we define have availability, meaning that for each position $P$ there are several distinct recovery sets. Also, the entry at position $P$ may be recovered ev… ▽ More In this work we present a class of locally recoverable codes, i.e. codes where an erasure at a position $P$ of a codeword may be recovered from the knowledge of the entries in the positions of a recovery set $R_P$. The codes in the class that we define have availability, meaning that for each position $P$ there are several distinct recovery sets. Also, the entry at position $P$ may be recovered even in the presence of erasures in some of the positions of the recovery sets, and the number of supported erasures may vary among the various recovery sets. △ Less

Submitted 28 July, 2021; originally announced July 2021.

MSC Class: 11T71 (Primary) 94B27; 14G50 (Secondary)

Initial-boundary value problem for 1D pressureless gas dynamics

Authors: L. Neumann, M. Oberguggenberger, M. R. Sahoo, A. Sen

Abstract: The paper considers the system of pressureless gas dynamics in one space dimension. The question of solvability of the initial-boundary value problem is addressed. Using the method of generalized potentials and characteristic triangles, extended to the boundary value case, an explicit way of constructing measure-valued solutions is presented. The prescription of boundary data is shown to depend on… ▽ More The paper considers the system of pressureless gas dynamics in one space dimension. The question of solvability of the initial-boundary value problem is addressed. Using the method of generalized potentials and characteristic triangles, extended to the boundary value case, an explicit way of constructing measure-valued solutions is presented. The prescription of boundary data is shown to depend on the behavior of the generalized potentials at the boundary. We show that the constructed solution satisfies an entropy condition and it conserves mass, whereby mass may accumulate at the boundary. Conservation of momentum again depends on the behavior of the generalized boundary potentials. There is a large amount of literature where the initial value problem for the pressureless gas dynamics model has been studied. To our knowledge, this paper is the first one which considers the initial-boundary value problem. △ Less

Submitted 21 April, 2021; originally announced April 2021.

MSC Class: 35D30; 35F61; 35L67 (Primary) 35Q35; 76N15 (Secondary)

Finitely presented simple groups and measure equivalence

Authors: Antonio López Neumann

Abstract: We exhibit explicit infinite families of finitely presented, Kazhdan, simple groups that are pairwise not measure equivalent. These groups are lattices acting on products of buildings. We obtain the result by studying vanishing and non-vanishing of their $L^2$-Betti numbers. We exhibit explicit infinite families of finitely presented, Kazhdan, simple groups that are pairwise not measure equivalent. These groups are lattices acting on products of buildings. We obtain the result by studying vanishing and non-vanishing of their $L^2$-Betti numbers. △ Less

Submitted 12 October, 2023; v1 submitted 22 January, 2021; originally announced January 2021.

Comments: 17 pages. Changes in version 2: proofs are formulated in a more clear way using nerves and some minor typos were corrected

MSC Class: 20E32; 20E42; 20F05; 20F55; 20J05; 20J06; 22E41; 28D15

Journal ref: Colloquium Mathematicum 172 (2023), 261-279

A family of codes with locality containing optimal codes

Authors: Bruno Andrade, Cícero Carvalho, Victor G. L. Neumann, Antônio C. P. Veiga

Abstract: Locally recoverable codes were introduced by Gopalan et al. in 2012, and in the same year Prakash et al. introduced the concept of codes with locality, which are a type of locally recoverable codes. In this work we introduce a new family of codes with locality, which are subcodes of a certain family of evaluation codes. We determine the dimension of these codes, and also bounds for the minimum dis… ▽ More Locally recoverable codes were introduced by Gopalan et al. in 2012, and in the same year Prakash et al. introduced the concept of codes with locality, which are a type of locally recoverable codes. In this work we introduce a new family of codes with locality, which are subcodes of a certain family of evaluation codes. We determine the dimension of these codes, and also bounds for the minimum distance. We present the true values of the minimum distance in special cases, and also show that elements of this family are "optimal codes", as defined by Prakash et al. △ Less

Submitted 19 January, 2021; originally announced January 2021.

MSC Class: 11T71; 94B27; 14G50

Existence of primitive $2$-normal elements in finite fields

Authors: Victor G. L. Neumann, Josimar J. R. Aguirre

Abstract: An element $α\in \mathbb{F}_{q^n}$ is normal over $\mathbb{F}_q$ if $\mathcal{B}=\{α, α^q, α^{q^2}, \cdots, α^{q^{n-1}}\}$ forms a basis of $\mathbb{F}_{q^n}$ as a vector space over $\mathbb{F}_q$. It is well known that $α\in \mathbb{F}_{q^n}$ is normal over $\mathbb{F}_q$ if and only if $g_α(x)=αx^{n-1}+α^q x^{n-2}+ \cdots + α^{q^{n-2}}x+α^{q^{n-1}}$ and $x^n-1$ are relatively prime over… ▽ More An element $α\in \mathbb{F}_{q^n}$ is normal over $\mathbb{F}_q$ if $\mathcal{B}=\{α, α^q, α^{q^2}, \cdots, α^{q^{n-1}}\}$ forms a basis of $\mathbb{F}_{q^n}$ as a vector space over $\mathbb{F}_q$. It is well known that $α\in \mathbb{F}_{q^n}$ is normal over $\mathbb{F}_q$ if and only if $g_α(x)=αx^{n-1}+α^q x^{n-2}+ \cdots + α^{q^{n-2}}x+α^{q^{n-1}}$ and $x^n-1$ are relatively prime over $\mathbb{F}_{q^n}$, that is, the degree of their greatest common divisor in $\mathbb{F}_{q^n}[x]$ is $0$. Using this equivalence, the notion of $k$-normal elements was introduced in Huczynska et al. ($2013$): an element $α\in \mathbb{F}_{q^n}$ is $k$-normal over $\mathbb{F}_q$ if the greatest common divisor of the polynomials $g_α[x]$ and $x^n-1$ in $\mathbb{F}_{q^n}[x]$ has degree $k$; so an element which is normal in the usual sense is $0$-normal. Huczynska et al. made the question about the pairs $(n,k)$ for which there exist primitive $k$-normal elements in $\mathbb{F}_{q^n}$ over $\mathbb{F}_q$ and they got a partial result for the case $k=1$, and later Reis and Thomson ($2018$) completed this case. The Primitive Normal Basis Theorem solves the case $k=0$. In this paper, we solve completely the case $k=2$ using estimates for Gauss sum and the use of the computer, we also obtain a new condition for the existence of $k$-normal elements in $\mathbb{F}_{q^n}$. △ Less

Submitted 22 December, 2020; v1 submitted 21 July, 2020; originally announced July 2020.

MSC Class: 12E20; 11T23

On the existence of pairs of primitive and normal elements over finite fields

Authors: Cícero Carvalho, João Paulo Guardieiro, Victor G. L. Neumann, Guilherme Tizziotti

Abstract: Let $\mathbb{F}_{q^n}$ be a finite field with $q^n$ elements, and let $m_1$ and $m_2$ be positive integers. Given polynomials $f_1(x), f_2(x) \in \mathbb{F}_q[x]$ with $\textrm{deg}(f_i(x)) \leq m_i$, for $i = 1, 2$, and such that the rational function $f_1(x)/f_2(x)$ belongs to a certain set which we define, we present a sufficient condition for the existence of a primitive element… ▽ More Let $\mathbb{F}_{q^n}$ be a finite field with $q^n$ elements, and let $m_1$ and $m_2$ be positive integers. Given polynomials $f_1(x), f_2(x) \in \mathbb{F}_q[x]$ with $\textrm{deg}(f_i(x)) \leq m_i$, for $i = 1, 2$, and such that the rational function $f_1(x)/f_2(x)$ belongs to a certain set which we define, we present a sufficient condition for the existence of a primitive element $α\in \mathbb{F}_{q^n}$, normal over $\mathbb{F}_q$, such that $f_1(α)/f_2(α)$ is also primitive. △ Less

Submitted 14 March, 2021; v1 submitted 19 July, 2020; originally announced July 2020.

MSC Class: 12E20; 11T23

On existence of some special pair of primitive elements over finite fields

Authors: C. Carvalho, J. P. G. Sousa, V. G. L. Neumann, G. Tizziotti

Abstract: In this paper we generalize the results of Sharma, Awasthi and Gupta (see \cite{SAG}). We work over a field of any characteristic with $q = p^k$ elements and we give a sufficient condition for the existence of a primitive element $α\in \mathbb{F}_{p^k}$ such that $f(α)$ is also primitive in $\mathbb{F}_{p^k}$, where $f(x) \in \mathbb{F}_{p^k}(x)$ is a quotient of polynomials with some restrictions… ▽ More In this paper we generalize the results of Sharma, Awasthi and Gupta (see \cite{SAG}). We work over a field of any characteristic with $q = p^k$ elements and we give a sufficient condition for the existence of a primitive element $α\in \mathbb{F}_{p^k}$ such that $f(α)$ is also primitive in $\mathbb{F}_{p^k}$, where $f(x) \in \mathbb{F}_{p^k}(x)$ is a quotient of polynomials with some restrictions. We explicitly determine the values of $k$ for which such a pair exists for $p=2,3,5$ and $7$. △ Less

Submitted 5 February, 2020; originally announced February 2020.

Twisting Kuperberg invariants via Fox calculus and Reidemeister torsion

Authors: Daniel López Neumann

Abstract: We study Kuperberg invariants for sutured manifolds in the case of a semidirect product of an involutory Hopf superalgebra $H$ with its automorphism group $\text{Aut}(H)$. These are topological invariants of balanced sutured 3-manifolds endowed with a homomorphism of the fundamental group into $\text{Aut}(H)$ and possibly with a $\text{Spin}^c$ structure and a homology orientation. We show that th… ▽ More We study Kuperberg invariants for sutured manifolds in the case of a semidirect product of an involutory Hopf superalgebra $H$ with its automorphism group $\text{Aut}(H)$. These are topological invariants of balanced sutured 3-manifolds endowed with a homomorphism of the fundamental group into $\text{Aut}(H)$ and possibly with a $\text{Spin}^c$ structure and a homology orientation. We show that these invariants are computed via a form of Fox calculus and that, if $H$ is $\mathbb{N}$-graded, they can be extended in a canonical way to polynomial invariants. When $H$ is an exterior algebra, we show that this invariant specializes to a refinement of the twisted relative Reidemeister torsion of sutured 3-manifolds. We also give an explanation of our Fox calculus formulas in terms of a particular Hopf group-algebra. △ Less

Submitted 8 June, 2021; v1 submitted 7 November, 2019; originally announced November 2019.

Comments: v2: Considerably rewritten, now Theorem 1 is directly deduced from our previous work and so we do not prove invariance while Theorem 2 has a much simpler and conceptual proof. v3: length reduced for publication

MSC Class: 57K16; 57K31; 16T05

Journal ref: Algebr. Geom. Topol. 22 (2022) 2419-2466

Kuperberg invariants for balanced sutured 3-manifolds

Authors: Daniel López Neumann

Abstract: We construct quantum invariants of balanced sutured 3-manifolds with a $Spin^{c}$ structure out of an involutive (possibly non-unimodular) Hopf superalgebra $H$. If $H$ is the Borel subalgebra of $U_{q}(\mathfrak{gl}(1|1))$, we show that our invariant is computed via Fox calculus and it is a normalization of Reidemeister torsion. The invariant is defined via a modification of a construction of G.… ▽ More We construct quantum invariants of balanced sutured 3-manifolds with a $Spin^{c}$ structure out of an involutive (possibly non-unimodular) Hopf superalgebra $H$. If $H$ is the Borel subalgebra of $U_{q}(\mathfrak{gl}(1|1))$, we show that our invariant is computed via Fox calculus and it is a normalization of Reidemeister torsion. The invariant is defined via a modification of a construction of G. Kuperberg, where we use the $Spin^{c}$ structure to take care of the non-unimodularity of $H$ or $H^{*}$. △ Less

Submitted 25 August, 2020; v1 submitted 11 April, 2019; originally announced April 2019.

Comments: 41 pages. Several changes: all Hopf algebra expressions are now written in tensor network notation, previous Sect. 3 is now part of Sect. 2, previous Subsections 5.1, 5.2 are now part of Sect. 3, arguments of Sect. 6 (previous Sect. 7) have been streamlined. To be published in Canadian Journal of Mathematics

MSC Class: 57M27; 16T05

Journal ref: Can. J. Math.-J. Can. Math. 73 (2021) 1698-1742

An extension of Delsarte, Goethals and Mac Williams theorem on minimal weight codewords to a class of Reed-Muller type codes

Authors: Cicero Carvalho, Victor G. L. Neumann

Abstract: In 1970 Delsarte, Goethals and Mac Williams published a seminal paper on generalized Reed-Muller codes where, among many important results, they proved that the minimal weight codewords of these codes are obtained through the evaluation of certain polynomials which are a specific product of linear factors, which they describe. In the present paper we extend this result to a class of Reed-Muller ty… ▽ More In 1970 Delsarte, Goethals and Mac Williams published a seminal paper on generalized Reed-Muller codes where, among many important results, they proved that the minimal weight codewords of these codes are obtained through the evaluation of certain polynomials which are a specific product of linear factors, which they describe. In the present paper we extend this result to a class of Reed-Muller type codes defined on a product of (possibly distinct) finite fields of the same characteristic. The paper also brings an expository section on the study of the structure of low weight codewords, not only for affine Reed-Muller type codes, but also for the projective ones. △ Less

Submitted 22 March, 2019; originally announced March 2019.

Comments: 28 pages

MSC Class: 14G50; 94B27

Analysis of the Block Coordinate Descent Method for Linear Ill-Posed Problems

Authors: Simon Rabanser, Lukas Neumann, Markus Haltmeier

Abstract: Block coordinate descent (BCD) methods approach optimization problems by performing gradient steps along alternating subgroups of coordinates. This is in contrast to full gradient descent, where a gradient step updates all coordinates simultaneously. BCD has been demonstrated to accelerate the gradient method in many practical large-scale applications. Despite its success no convergence analysis f… ▽ More Block coordinate descent (BCD) methods approach optimization problems by performing gradient steps along alternating subgroups of coordinates. This is in contrast to full gradient descent, where a gradient step updates all coordinates simultaneously. BCD has been demonstrated to accelerate the gradient method in many practical large-scale applications. Despite its success no convergence analysis for inverse problems is known so far. In this paper, we investigate the BCD method for solving linear inverse problems. As main theoretical result, we show that for operators having a particular tensor product form, the BCD method combined with an appropriate stop** criterion yields a convergent regularization method. To illustrate the theory, we perform numerical experiments comparing the BCD and the full gradient descent method for a system of integral equations. We also present numerical tests for a non-linear inverse problem not covered by our theory, namely one-step inversion in multi-spectral X-ray tomography. △ Less

Submitted 26 July, 2019; v1 submitted 13 February, 2019; originally announced February 2019.

Stochastic Proximal Gradient Algorithms for Multi-Source Quantitative Photoacoustic Tomography

Authors: Simon Rabanser, Lukas Neumann, Markus Haltmeier

Abstract: The development of accurate and efficient image reconstruction algorithms is a central aspect of quantitative photoacoustic tomography (QPAT). In this paper, we address this issues for multi-source QPAT using the radiative transfer equation (RTE) as accurate model for light transport. The tissue parameters are jointly reconstructed from the acoustical data measured for each of the applied sources.… ▽ More The development of accurate and efficient image reconstruction algorithms is a central aspect of quantitative photoacoustic tomography (QPAT). In this paper, we address this issues for multi-source QPAT using the radiative transfer equation (RTE) as accurate model for light transport. The tissue parameters are jointly reconstructed from the acoustical data measured for each of the applied sources. We develop stochastic proximal gradient methods for multi-source QPAT, which are more efficient than standard proximal gradient methods in which a single iterative update has complexity proportional to the number applies sources. Additionally, we introduce a completely new formulation of QPAT as multilinear (MULL) inverse problem which avoids explicitly solving the RTE. The MULL formulation of QPAT is again addressed with stochastic proximal gradient methods. Numerical results for both approaches are presented. Besides the introduction of stochastic proximal gradient algorithms to QPAT, we consider the new MULL formulation of QPAT as main contribution of this paper. △ Less

Submitted 28 March, 2018; v1 submitted 22 January, 2018; originally announced January 2018.

Comments: Compared to the published journal version, in this manuscript we corrected some typos (e.g. in Theorem 2.8)

Journal ref: published in Entropy 2018, 20(2), 121

Analysis of the Linearized Problem of Quantitative Photoacoustic Tomography

Authors: Markus Haltmeier, Lukas Neumann, Linh V. Nguyen, Simon Rabanser

Abstract: Quantitative image reconstruction in photoacoustic tomography requires the solution of a coupled physics inverse problem involvier light transport and acoustic wave propagation. In this paper we address this issue employing the radiative transfer equation as accurate model for light transport. As main theoretical results, we derive several stability and uniqueness results for the linearized invers… ▽ More Quantitative image reconstruction in photoacoustic tomography requires the solution of a coupled physics inverse problem involvier light transport and acoustic wave propagation. In this paper we address this issue employing the radiative transfer equation as accurate model for light transport. As main theoretical results, we derive several stability and uniqueness results for the linearized inverse problem. We consider the case of single illumination as well as the case of multiple illuminations assuming full or partial data. The numerical solution of the linearized problem is much less costly than the solution of the non-linear problem. We present numerical simulations supporting the stability results for the linearized problem and demonstrate that the linearized problem already gives accurate quantitative results. △ Less

Submitted 15 February, 2017; originally announced February 2017.

Comments: 28 pages, 4 figures

On the next-to-minimal weight of projective Reed-Muller codes

Authors: Cícero Carvalho, Victor G. L. Neumann

Abstract: In this paper we present several values for the next-to-minimal weights of projective Reed-Muller codes. We work over $\mathbb{F}_q$ with $q \geq 3$ since in IEEE-IT 62(11) p. 6300-6303 (2016) we have determined the complete values for the next-to-minimal weights of binary projective Reed-Muller codes. As in loc. cit. here we also find examples of codewords with next-to-minimal weight whose set of… ▽ More In this paper we present several values for the next-to-minimal weights of projective Reed-Muller codes. We work over $\mathbb{F}_q$ with $q \geq 3$ since in IEEE-IT 62(11) p. 6300-6303 (2016) we have determined the complete values for the next-to-minimal weights of binary projective Reed-Muller codes. As in loc. cit. here we also find examples of codewords with next-to-minimal weight whose set of zeros is not in a hyperplane arrangement. △ Less

Submitted 6 January, 2017; originally announced January 2017.

Comments: 9 pages. arXiv admin note: text overlap with arXiv:1701.01658

MSC Class: 94B27; 94B60

The next-to-minimal weights of binary projective Reed-Muller codes

Authors: Cícero Carvalho, Victor G. L. Neumann

Abstract: Projective Reed-Muller codes were introduced by Lachaud, in 1988 and their dimension and minimum distance were determined by Serre and Sørensen in 1991. In coding theory one is also interested in the higher Hamming weights, to study the code performance. Yet, not many values of the higher Hamming weights are known for these codes, not even the second lowest weight (also known as next-to-minimal we… ▽ More Projective Reed-Muller codes were introduced by Lachaud, in 1988 and their dimension and minimum distance were determined by Serre and Sørensen in 1991. In coding theory one is also interested in the higher Hamming weights, to study the code performance. Yet, not many values of the higher Hamming weights are known for these codes, not even the second lowest weight (also known as next-to-minimal weight) is completely determined. In this paper we determine all the values of the next-to-minimal weight for the binary projective Reed-Muller codes, which we show to be equal to the next-to-minimal weight of Reed-Muller codes in most, but not all, cases. △ Less

Submitted 6 January, 2017; originally announced January 2017.

Comments: 10 pages, Published in IEEE Transactions on Information Theory, vol. 62, issue 11, Nov. 2016

MSC Class: 94B27; 94B60

Radially symmetric shadow wave solutions to the system of pressureless gas dynamics in arbitrary dimensions

Authors: Marko Nedeljkov, Lukas Neumann, Michael Oberguggenberger, Manas Sahoo

Abstract: Radially symmetric shadow wave solutions to the system of multidimensional pressureless gas dynamics are introduced, which allow one to capture concentration of mass. The transformation to a one-dimensional system with source terms is performed and physically meaningful boundary conditions at the origin are determined. Entropy conditions are derived and applied to single out physical (nonnegative… ▽ More Radially symmetric shadow wave solutions to the system of multidimensional pressureless gas dynamics are introduced, which allow one to capture concentration of mass. The transformation to a one-dimensional system with source terms is performed and physically meaningful boundary conditions at the origin are determined. Entropy conditions are derived and applied to single out physical (nonnegative mass) and dissipative (entropic) solutions. A complete solution to the pseudo-Riemann problem with initial data exhibiting a single shock on a sphere is obtained. △ Less

Submitted 17 March, 2017; v1 submitted 7 June, 2016; originally announced June 2016.

MSC Class: 35L65 (Primary); 35L67 (secondary)

A kinetic reaction model: decay to equilibrium and macroscopic limit

Authors: Lukas Neumann, Christian Schmeiser

Abstract: We propose a kinetic relaxation-model to describe a generation-recombination reaction of two species. The decay to equilibrium is studied by two recent methods for proving hypocoercivity of the linearized equations. Exponential decay of small perturbations can be shown for the full nonlinear problem. The macroscopic/fast-reaction limit is derived rigorously employing entropy decay, resulting in a… ▽ More We propose a kinetic relaxation-model to describe a generation-recombination reaction of two species. The decay to equilibrium is studied by two recent methods for proving hypocoercivity of the linearized equations. Exponential decay of small perturbations can be shown for the full nonlinear problem. The macroscopic/fast-reaction limit is derived rigorously employing entropy decay, resulting in a nonlinear diffusion equation for the difference of the position densities. △ Less

Submitted 19 March, 2015; originally announced March 2015.

Single-stage reconstruction algorithm for quantitative photoacoustic tomography

Authors: Markus Haltmeier, Lukas Neumann, Simon Rabanser

Abstract: The development of efficient and accurate image reconstruction algorithms is one of the cornerstones of computed tomography. Existing algorithms for quantitative photoacoustic tomography currently operate in a two-stage procedure: First an inverse source problem for the acoustic wave propagation is solved, whereas in a second step the optical parameters are estimated from the result of the first s… ▽ More The development of efficient and accurate image reconstruction algorithms is one of the cornerstones of computed tomography. Existing algorithms for quantitative photoacoustic tomography currently operate in a two-stage procedure: First an inverse source problem for the acoustic wave propagation is solved, whereas in a second step the optical parameters are estimated from the result of the first step. Such an approach has several drawbacks. In this paper we therefore propose the use of single-stage reconstruction algorithms for quantitative photoacoustic tomography, where the optical parameters are directly reconstructed from the observed acoustical data. In that context we formulate the image reconstruction problem of quantitative photoacoustic tomography as a single nonlinear inverse problem by coupling the radiative transfer equation with the acoustic wave equation. The inverse problem is approached by Tikhonov regularization with a convex penalty in combination with the proximal gradient iteration for minimizing the Tikhonov functional. We present numerical results, where the proposed single-stage algorithm shows an improved reconstruction quality at a similar computational cost. △ Less

Submitted 25 March, 2015; v1 submitted 19 January, 2015; originally announced January 2015.

Comments: 23 pages, 6 figures

Projective nested cartesian codes

Authors: Cicero Carvalho, V. G. Lopez Neumann, Hiram H. Lopez

Abstract: In this paper we introduce a new type of code, called projective nested cartesian code. It is obtained by the evaluation of homogeneous polynomials of a fixed degree on a certain subset of $\mathbb{P}^n(\mathbb{F}_q)$, and they may be seen as a generalization of the so-called projective Reed-Muller codes. We calculate the length and the dimension of such codes, a lower bound for the minimum distan… ▽ More In this paper we introduce a new type of code, called projective nested cartesian code. It is obtained by the evaluation of homogeneous polynomials of a fixed degree on a certain subset of $\mathbb{P}^n(\mathbb{F}_q)$, and they may be seen as a generalization of the so-called projective Reed-Muller codes. We calculate the length and the dimension of such codes, a lower bound for the minimum distance and the exact minimum distance in a special case (which includes the projective Reed-Muller codes). At the end we show some relations between the parameters of these codes and those of the affine cartesian codes. △ Less

Submitted 7 January, 2017; v1 submitted 25 November, 2014; originally announced November 2014.

MSC Class: 14G50 (Primary); 11T71 (Secondary)

Journal ref: Bulletin of the Brazilian Mathematical Society, New Series, 48 (2017), no. 2, 283-302

Explicit Computations on the Desingularized Kummer Surface

Authors: V. G. Lopez Neumann, Constantin Manoil

Abstract: We find formulas for the birational maps from a Kummer surface K and its dual K^* to their common minimal desingularization S. We show how the nodes of K blow up. Then we give a description of the group of linear automorphisms of S. We find formulas for the birational maps from a Kummer surface K and its dual K^* to their common minimal desingularization S. We show how the nodes of K blow up. Then we give a description of the group of linear automorphisms of S. △ Less

Submitted 3 June, 2009; originally announced June 2009.

Comments: 22 pages

MSC Class: 14J28; 14M15; 14J50

Quantum Fokker-Planck models: the Lindblad and Wigner approaches

Authors: Anton Arnold, Franco Fagnola, Lukas Neumann

Abstract: In this article we try to bridge the gap between the quantum dynamical semigroup and Wigner function approaches to quantum open systems. In particular we study stationary states and the long time asymptotics for the quantum Fokker-Planck equation. Our new results apply to open quantum systems in a harmonic confinement potential, perturbed by a (large) sub-quadratic term. In this article we try to bridge the gap between the quantum dynamical semigroup and Wigner function approaches to quantum open systems. In particular we study stationary states and the long time asymptotics for the quantum Fokker-Planck equation. Our new results apply to open quantum systems in a harmonic confinement potential, perturbed by a (large) sub-quadratic term. △ Less

Submitted 22 October, 2008; v1 submitted 18 June, 2008; originally announced June 2008.

Comments: 19 pages, corrected typos and quoted Theorem 6 more precisely

MSC Class: 82C31; 81S25; 81S30

Stability of steady states in kinetic Fokker-Planck equations for Bosons and Fermions

Authors: Lukas Neumann, Christof Sparber

Abstract: We study a class of nonlinear kinetic Fokker-Planck type equations modeling quantum particles which obey the Bose-Einstein and Fermi-Dirac statistics, respectively. We establish the existence of classical solutions in the perturbative regime and prove exponential convergence towards the equilibrium. We study a class of nonlinear kinetic Fokker-Planck type equations modeling quantum particles which obey the Bose-Einstein and Fermi-Dirac statistics, respectively. We establish the existence of classical solutions in the perturbative regime and prove exponential convergence towards the equilibrium. △ Less

Submitted 31 July, 2007; originally announced July 2007.

Comments: 13 pages. to appear in Comm. Math. Sci

MSC Class: 82C40; 82C10; 76R50; 82D37

Quantitative perturbative study of convergence to equilibrium for collisional kinetic models in the torus

Authors: Clément Mouhot, Lukas Neumann

Abstract: For a general class of linear collisional kinetic models in the torus, including in particular the linearized Boltzmann equation for hard spheres, the linearized Landau equation with hard and moderately soft potentials and the semi-classical linearized fermionic and bosonic relaxation models, we prove explicit coercivity estimates on the associated integro-differential operator for some modified… ▽ More For a general class of linear collisional kinetic models in the torus, including in particular the linearized Boltzmann equation for hard spheres, the linearized Landau equation with hard and moderately soft potentials and the semi-classical linearized fermionic and bosonic relaxation models, we prove explicit coercivity estimates on the associated integro-differential operator for some modified Sobolev norms. We deduce existence of classical solutions near equilibrium for the full non-linear models associated, with explicit regularity bounds, and we obtain explicit estimates on the rate of exponential convergence towards equilibrium in this perturbative setting. The proof are based on a linear energy method which combines the coercivity property of the collision operator in the velocity space with transport effects, in order to deduce coercivity estimates in the whole phase space. △ Less

Submitted 21 July, 2006; originally announced July 2006.

Comments: 39 pages

Report number: Nonlinearity (2006), vol. 19, pp 969-998 MSC Class: 76P05 Rarefied gas flows; Boltzmann equation [See also 82B40; 82C40; 82D05]

About the equivalence of divisor classes on hyperelliptic curves and a quotient of linear forms by an algebraic group action

Authors: Victor Gonzalo Lopez Neumann

Abstract: For a hyperelliptic curve of genus $g$, a divisor in general position of degree $g+1$ is given by polynomial equations. There is an action from an algebraic group on the representations of divisors by polynomials which fixes divisor classes. This structure reduces the question of rationality of divisor classes to rationality of polynomials which is more easy to control. For a hyperelliptic curve of genus $g$, a divisor in general position of degree $g+1$ is given by polynomial equations. There is an action from an algebraic group on the representations of divisors by polynomials which fixes divisor classes. This structure reduces the question of rationality of divisor classes to rationality of polynomials which is more easy to control. △ Less

Submitted 26 April, 2006; originally announced April 2006.

MSC Class: 11G30