BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Gunther Cornelissen

Gunther Cornelissen appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.NTmath-phmath.AGmath.MPhep-thmath.COmath.DGmath.DSmath.OAComputational ComplexityData Structures and AlgorithmsDiscrete Mathematicsgr-qcInformation Theorymath.CAmath.FAmath.ITmath.MGmath.SP

Catalog footprint

What is connected

17works
19topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2022arXiv

Problems hard for treewidth but easy for stable gonality

We show that some natural problems that are XNLP-hard (which implies W[t]-hardness for all t) when parameterized by pathwidth or treewidth, become FPT when parameterized by stable gonality, a novel graph parameter based on optimal maps from graphs to trees. The problems we consider are classical flow and orientation problems, such as Undirected Flow with Lower Bounds (which is strongly NP-complete, as shown by Itai), Minimum Maximum Outdegree (for which W[1]-hardness for treewidth was proven by Szeider), and capacitated optimization problems such as Capacitated (Red-Blue) Dominating Set (for which W[1]-hardness was proven by Dom, Lokshtanov, Saurabh and Villanger). Our hardness proofs (that beat existing results) use reduction to a recent XNLP-complete problem (Accepting Non-deterministic Checking Counter Machine). The new easy parameterized algorithms use a novel notion of weighted tree partition with an associated parameter that we call treebreadth, inspired by Seese's notion of tree-partite graphs, as well as techniques from dynamical programming and integer linear programming.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Hecke algebra isomorphisms and adelic points on algebraic groups

Let $G$ denote a linear algebraic group over $\mathbf{Q}$ and $K$ and $L$ two number fields. Assume that there is a group isomorphism of points on $G$ over the finite adeles of $K$ and $L$, respectively. We establish conditions on the group $G$, related to the structure of its Borel groups, under which $K$ and $L$ have isomorphic adele rings. Under these conditions, if $K$ or $L$ is a Galois extension of $\mathbf{Q}$ and $G(\mathbf{A}_{K,f})$ and $G(\mathbf{A}_{L,f})$ are isomorphic, then $K$ and $L$ are isomorphic as fields. We use this result to show that if for two number fields $K$ and $L$ that are Galois over $\mathbf{Q}$, the finite Hecke algebras for $\mathrm{GL}(n)$ (for fixed $n > 1$) are isomorphic by an isometry for the $L^1$-norm, then the fields $K$ and $L$ are isomorphic. This can be viewed as an analogue in the theory of automorphic representations of the theorem of Neukirch that the absolute Galois group of a number field determines the field if it is Galois over $\mathbf{Q}$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The perfect power problem for elliptic curves over function fields

We generalise the Siegel-Voloch theorem about S-integral points on elliptic curves as follows: let K/F denote a global function field over a finite field F of characteristic p>3, let S denote a finite set of places of K and let E/K denote a non-isotrivial elliptic curve over K with j-invariant a p^s power but not p^(s+1) power in K. Fix a non-constant function f in K(E) with a pole of order N>0 at the zero element of E. We prove that there are only finitely many rational points P in E(K) such that for any valuation outside S for which f(P) is negative, that valuation of f(P) is divisible by some integer not dividing p^sN. We also present some effective bounds for certain elliptic curves over rational function fields, and indicate how a similar result can be proven over number fields, assuming the number field abc-hypothesis.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A combinatorial Li-Yau inequality and rational points on curves

We present a method to control gonality of nonarchimedean curves based on graph theory. Let k denote a complete nonarchimedean valued field. We first prove a lower bound for the gonality of a curve over the algebraic closure of k in terms of the minimal degree of a class of graph maps, namely: one should minimize over all so-called finite harmonic graph morphisms to trees, that originate from any refinement of the dual graph of the stable model of the curve. Next comes our main result: we prove a lower bound for the degree of such a graph morphism in terms of the first eigenvalue of the Laplacian and some "volume" of the original graph; this can be seen as a substitute for graphs of the Li-Yau inequality from differential geometry, although we also prove that the strict analogue of the original inequality fails for general graphs. Finally, we apply the results to give a lower bound for the gonality of arbitrary Drinfeld modular curves over finite fields and for general congruence subgroups Gamma of Gamma(1) that is linear in the index [Gamma(1):Gamma], with a constant that only depends on the residue field degree and the degree of the chosen "infinite" place. This is a function field analogue of a theorem of Abramovich for classical modular curves. We present applications to uniform boundedness of torsion of rank two Drinfeld modules that improve upon existing results, and to lower bounds on the modular degree of certain elliptic curves over function fields that solve a problem of Papikian.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Curves, dynamical systems and weighted point counting

Suppose X is a (smooth projective irreducible algebraic) curve over a finite field k. Counting the number of points on X over all finite field extensions of k will not determine the curve uniquely. Actually, a famous theorem of Tate implies that two such curves over k have the same zeta function (i.e., the same number of points over all extensions of k) if and only if their corresponding Jacobians are isogenous. We remedy this situation by showing that if, instead of just the zeta function, all Dirichlet L-series of the two curves are equal via an isomorphism of their Dirichlet character groups, then the curves are isomorphic up to "Frobenius twists", i.e., up to automorphisms of the ground field. Since L-series count points on a curve in a "weighted" way, we see that weighted point counting determines a curve. In a sense, the result solves the analogue of the isospectrality problem for curves over finite fields (also know as the "arithmetic equivalence problem"): it says that a curve is determined by "spectral" data, namely, eigenvalues of the Frobenius operator of k acting on the cohomology groups of all l-adic sheaves corresponding to Dirichlet characters. The method of proof is to shown that this is equivalent to the respective class field theories of the curves being isomorphic as dynamical systems, in a sense that we make precise.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Graph Reconstruction and Quantum Statistical Mechanics

We study in how far it is possible to reconstruct a graph from various Banach algebras associated to its universal covering, and extensions thereof to quantum statistical mechanical systems. It turns out that most the boundary operator algebras reconstruct only topological information, but the statistical mechanical point of view allows for complete reconstruction of multigraphs with minimal degree three.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Class field theory as a dynamical system

This is the text from a talk at the Arbeitstagung 2011, which can serve as an introduction to arxiv:1009.0736 and arXiv:1007.0907. I first discuss how a global field is determined by a certain dynamical system, and how this relates to abelian L-series determining those fields. I then discuss an analog in Riemannian geometry, and how it leads to a metric in the space of closed Riemannian manifolds.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Measure-theoretic rigidity for Mumford curves

One can describe isomorphism of two compact hyperbolic Riemann surfaces of the same genus by a measure-theoretic property: a chosen isomorphism of their fundamental groups corresponds to a homeomorphism on the boundary of the Poincaré disc that is absolutely continuous for Lebesgue measure if and only if the surfaces are isomorphic. In this paper, we find the corresponding statement for Mumford curves, a nonarchimedean analog of Riemann surfaces. In this case, the mere absolute continuity of the boundary map (for Schottky uniformization and the corresponding Patterson-Sullivan measure) only implies isomorphism of the special fibers of the Mumford curves, and the absolute continuity needs to be enhanced by a finite list of conditions on the harmonic measures on the boundary (certain nonarchimedean distributions constructed by Schneider and Teitelbaum) to guarantee an isomorphism of the Mumford curves. The proof combines a generalization of a rigidity theorem for trees due to Coornaert, the existence of a boundary map by a method of Floyd, with a classical theorem of Babbage-Enriques-Petri on equations for the canonical embedding of a curve.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Quantum Statistical Mechanics, L-series and Anabelian Geometry

It is known that two number fields with the same Dedekind zeta function are not necessarily isomorphic. The zeta function of a number field can be interpreted as the partition function of an associated quantum statistical mechanical system, which is a C*-algebra with a one parameter group of automorphisms, built from Artin reciprocity. In the first part of this paper, we prove that isomorphism of number fields is the same as isomorphism of these associated systems. Considering the systems as noncommutative analogues of topological spaces, this result can be seen as another version of Grothendieck's "anabelian" program, much like the Neukirch-Uchida theorem characterizes isomorphism of number fields by topological isomorphism of their associated absolute Galois groups. In the second part of the paper, we use these systems to prove the following. If there is an isomorphism of character groups (viz., Pontrjagin duals) of the abelianized Galois groups of the two number fields that induces an equality of all corresponding L-series (not just the zeta function), then the number fields are isomorphic.This is also equivalent to the purely algebraic statement that there exists a topological group isomorphism as a above and a norm-preserving group isomorphism between the ideals of the fields that is compatible with the Artin maps via the other map.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The spectral length of a map between Riemannian manifolds

To a closed Riemannian manifold, we associate a set of (special values of) a family of Dirichlet series, indexed by functions on the manifold. We study the meaning of equality of two such families of spectral Dirichlet series under pullback along a map. This allows us to give a spectral characterization of when a smooth diffeomorphism between Riemannian manifolds is an isometry, in terms of equality along pullback. We also use the invariant to define the (spectral) length of a map between Riemannian manifolds, where a map of length zero between manifolds is an isometry. We show that this length induces a distance between Riemannian manifolds up to isometry.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Toroidal automorphic forms, Waldspurger periods and double Dirichlet series

The space of toroidal automorphic forms was introduced by Zagier in the 1970s: a GL_2-automorphic form is toroidal if it has vanishing constant Fourier coefficients along all embedded non-split tori. The interest in this space stems (amongst others) from the fact that an Eisenstein series of weight s is toroidal for a given torus precisely if s is a non-trivial zero of the zeta function of the quadratic field corresponding to the torus. In this paper, we study the structure of the space of toroidal automorphic forms for an arbitrary number field F. We prove that it decomposes into a space spanned by all derivatives up to order n-1 of an Eisenstein series of weight s and class group character omega precisely if s is a zero of order n of the L-series corresponding to omega at s, and a space consisting of exactly those cusp forms the central value of whose L-series is zero. The proofs are based on an identity of Hecke for toroidal integrals of Eisenstein series and a result of Waldspurger about toroidal integrals of cusp forms combined with non-vanishing results for twists of L-series proven by the method of double Dirichlet series.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A Compact Codimension Two Braneworld with Precisely One Brane

Building on earlier work on football shaped extra dimensions, we construct a compact codimension two braneworld with precisely one brane. The two extra dimensions topologically represent a 2-torus which is stabilized by a bulk cosmological constant and magnetic flux. The torus has positive constant curvature almost everywhere, except for a single conical singularity at the location of the brane. In contradistinction to the football shaped case, there is no fine-tuning required for the brane tension. We also present some plausibility arguments why the model should not suffer from serious stability issues.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Nonrelativistic Chern-Simons Vortices on the Torus

A classification of all periodic self-dual static vortex solutions of the Jackiw-Pi model is given. Physically acceptable solutions of the Liouville equation are related to a class of functions which we term Omega-quasi-elliptic. This class includes, in particular, the elliptic functions and also contains a function previously investigated by Olesen. Some examples of solutions are studied numerically and we point out a peculiar phenomenon of lost vortex charge in the limit where the period lengths tend to infinity, that is, in the planar limit.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Relative entropy as a measure of inhomogeneity in general relativity

We introduce the notion of relative volume entropy for two spacetimes with preferred compact spacelike foliations. This is accomplished by applying the notion of Kullback-Leibler divergence to the volume elements induced on spacelike slices. The resulting quantity gives a lower bound on the number of bits which are necessary to describe one metric given the other. For illustration, we study some examples, in particular gravitational waves, and conclude that the relative volume entropy is a suitable device for quantitative comparison of the inhomogeneity of two spacetimes.

0 citations0 reviewsNo code linkedOpen access