Showing 1–50 of 98 results for author: Keller, M

The space of Hardy-weights for quasilinear operators on discrete graphs

Authors: Ujjal Das, Matthias Keller, Yehuda Pinchover

Abstract: We study Hardy inequalities for $p$-Schrödinger operators on general weighted graphs. Specifically, we prove a Maz'ya-type result, where we characterize the space of Hardy weights for $ p $-Schrödinger operators via a generalized capacity. The novel ingredient in the proof is the demonstration that the simplified energy of the $ p $-Schrödinger energy functional is compatible with certain normal c… ▽ More We study Hardy inequalities for $p$-Schrödinger operators on general weighted graphs. Specifically, we prove a Maz'ya-type result, where we characterize the space of Hardy weights for $ p $-Schrödinger operators via a generalized capacity. The novel ingredient in the proof is the demonstration that the simplified energy of the $ p $-Schrödinger energy functional is compatible with certain normal contractions. As a consequence, we obtain a necessary integrability criterion for Hardy weights. Finally, using some tools of criticality theory, we investigate the existence of minimizers in the Hardy inequalities and discuss relations to Cheeger type estimates. △ Less

Submitted 2 July, 2024; originally announced July 2024.

Comments: 24 pages

MSC Class: 39A12; 35R02; 49J40; 31C20; 35J62

Gaussian upper bounds, volume doubling and Sobolev inequalities on graphs

Authors: Matthias Keller, Christian Rose

Abstract: We investigate the equivalence of Sobolev inequalities and the conjunction of Gaussian upper heat kernel bounds and volume doubling on large scales on graphs. For the normalizing measure, we obtain their equivalence up to constants by imposing comparability of small balls and the vertex degree at their centers. If arbitrary measures are considered, we incorporate a new local regularity condition.… ▽ More We investigate the equivalence of Sobolev inequalities and the conjunction of Gaussian upper heat kernel bounds and volume doubling on large scales on graphs. For the normalizing measure, we obtain their equivalence up to constants by imposing comparability of small balls and the vertex degree at their centers. If arbitrary measures are considered, we incorporate a new local regularity condition. Furthermore, new correction functions for the Gaussian, doubling, and Sobolev dimension are introduced. For the Gaussian and doubling, the variable correction functions always tend to one at infinity. Moreover, the variable Sobolev dimension can be related to the doubling dimension and the vertex degree growth. △ Less

Submitted 28 June, 2024; originally announced June 2024.

Comments: 36 pages, comments welcome!

Recurrence and transience for non-Archimedean and directed graphs

Authors: Matthias Keller, Anna Muranova

Abstract: We introduce the notion of recurrence and transience for graphs over non-Archimedean ordered field. To do so we relate these graphs to random walks of directed graphs over the reals. In particular, we give a characterization of the real directed graphs which can arise is such a way. As a main result, we give characterization for recurrence and transience in terms of a quantity related to the capac… ▽ More We introduce the notion of recurrence and transience for graphs over non-Archimedean ordered field. To do so we relate these graphs to random walks of directed graphs over the reals. In particular, we give a characterization of the real directed graphs which can arise is such a way. As a main result, we give characterization for recurrence and transience in terms of a quantity related to the capacity. △ Less

Submitted 25 June, 2024; originally announced June 2024.

Comments: 21 pages, 5 figures

MSC Class: 60J10; 05C22; 31C20; 47S10; 05C50; 12J15; 46N3; 47N30

More on Landau's theorem and Conjugacy Classes

Authors: Burcu Çınarcı, Thomas Michael Keller, Attila Maróti, Iulian I. Simion

Abstract: Let $p$ be a prime. We construct a function $f$ on the natural numbers such that $f(x) \to \infty$ as $x \to \infty$ and $k_{p}(G)+k_{p'}(G)\geq f(|G|)$ for all finite groups $G$. Here $k_{p}(G)$ denotes the number of conjugacy classes of nontrivial $p$-elements in $G$ and $k_{p'}(G)$ denotes the number of conjugacy classes of elements of $G$ whose orders are coprime to $p$. This is a variation of… ▽ More Let $p$ be a prime. We construct a function $f$ on the natural numbers such that $f(x) \to \infty$ as $x \to \infty$ and $k_{p}(G)+k_{p'}(G)\geq f(|G|)$ for all finite groups $G$. Here $k_{p}(G)$ denotes the number of conjugacy classes of nontrivial $p$-elements in $G$ and $k_{p'}(G)$ denotes the number of conjugacy classes of elements of $G$ whose orders are coprime to $p$. This is a variation of an old theorem of Landau and is used to prove the following: There exists a number $c$ such that whenever $p$ is a prime and $G$ is a finite group of order divisible by $p$ with $|G|>c$, there exists a factorization $p-1 = ab$ with $a$ and $b$ positive integers such that $k_{p}(G) \geq a$ and $k_{p'}(G) \geq b$ with equalities in both cases if and only if $G=C_p \rtimes C_b$ with $C_G(C_p) = C_p$. △ Less

Submitted 17 June, 2024; originally announced June 2024.

Comments: 13 pages

Neumann semigroup, subgraph convergence, form uniqueness, stochastic completeness and the Feller property

Authors: Matthias Keller, Florentin Münch, Radosław K. Wojciechowski

Abstract: We study heat kernel convergence of induced subgraphs with Neumann boundary conditions. We first establish convergence of the resulting semigroups to the Neumann semigroup in $\ell^2$. While convergence to the Neumann semigroup always holds, convergence to the Dirichlet semigroup in $\ell^2$ turns out to be equivalent to the coincidence of the Dirichlet and Neumann semigroups while convergence in… ▽ More We study heat kernel convergence of induced subgraphs with Neumann boundary conditions. We first establish convergence of the resulting semigroups to the Neumann semigroup in $\ell^2$. While convergence to the Neumann semigroup always holds, convergence to the Dirichlet semigroup in $\ell^2$ turns out to be equivalent to the coincidence of the Dirichlet and Neumann semigroups while convergence in $\ell^1$ is equivalent to stochastic completeness. We then investigate the Feller property for the Neumann semigroup via generalized solutions and give applications to graphs satisfying a condition on the edges as well as birth-death chains. △ Less

Submitted 23 October, 2023; originally announced October 2023.

A new lower bound for the number of conjugacy classes

Authors: Burcu Çınarcı, Thomas Michael Keller

Abstract: In 2003, Héthelyi and Külshammer proposed that if $G$ is a finite group and $p$ is a prime dividing the group order, then $k(G)\geq 2\sqrt{p-1}$, and they proved this conjecture for solvable $G$ and showed that it is sharp for those primes $p$ for which $\sqrt{p-1}$ is an integer. This initiated a flurry of activity, leading to many generalizations and variations of the result; in particular, toda… ▽ More In 2003, Héthelyi and Külshammer proposed that if $G$ is a finite group and $p$ is a prime dividing the group order, then $k(G)\geq 2\sqrt{p-1}$, and they proved this conjecture for solvable $G$ and showed that it is sharp for those primes $p$ for which $\sqrt{p-1}$ is an integer. This initiated a flurry of activity, leading to many generalizations and variations of the result; in particular, today the conjecture is known to be true for all finite groups. In this note, we put forward a natural new and stronger conjecture, which is sharp for all primes $p$, and we prove it for solvable groups, and when $p$ is large, also for arbitrary groups. △ Less

Submitted 13 November, 2023; v1 submitted 13 October, 2023; originally announced October 2023.

Comments: A hypothesis for Theorem E is added that was inadvertently omitted in the previous version. Some other small changes have been made

Capacity of infinite graphs over non-Archimedean ordered fields

Authors: Florian Fischer, Matthias Keller, Anna Muranova, Noema Nicolussi

Abstract: In this article we study the notion of capacity of a vertex for infinite graphs over non-Archimedean fields. In contrast to graphs over the real field monotone limits do not need to exist. Thus, in our situation next to positive and null capacity there is a third case of divergent capacity. However, we show that either of these cases is independent of the choice of the vertex and is therefore a gl… ▽ More In this article we study the notion of capacity of a vertex for infinite graphs over non-Archimedean fields. In contrast to graphs over the real field monotone limits do not need to exist. Thus, in our situation next to positive and null capacity there is a third case of divergent capacity. However, we show that either of these cases is independent of the choice of the vertex and is therefore a global property for connected graphs. The capacity is shown to connect the minimization of the energy, solutions of the Dirichlet problem and existence of a Green's function. We furthermore give sufficient criteria in form of a Nash-Williams test, study the relation to Hardy inequalities and discuss the existence of positive superharmonic functions. Finally, we investigate the analytic features of the transition operator in relation to the inverse of the Laplace operator. △ Less

Submitted 25 August, 2023; originally announced August 2023.

Comments: 29 pages, 1 figure

MSC Class: 31C20; 47S10; 05C50; 05C22; 12J15

Prime divisors and the number of conjugacy classes of finite groups

Authors: Thomas Michael Keller, Alexander Moretó

Abstract: We prove that there exists a universal constant $D$ such that if $p$ is a prime divisor of the index of the Fitting subgroup of a finite group $G$, then the number of conjugacy classes of G is at least $Dp/log_2 p$. We conjecture that we can take $D=1$ and prove that for solvable groups, we can take $D=1/3$. We prove that there exists a universal constant $D$ such that if $p$ is a prime divisor of the index of the Fitting subgroup of a finite group $G$, then the number of conjugacy classes of G is at least $Dp/log_2 p$. We conjecture that we can take $D=1$ and prove that for solvable groups, we can take $D=1/3$. △ Less

Submitted 17 July, 2023; v1 submitted 10 July, 2023; originally announced July 2023.

Comments: To appear in Math. Proc. Cambridge Philos. Soc

Persistent Homology to Study Cold Hardiness of Grape Cultivars

Authors: Sejal Welankar, Paola Pesantez-Cabrera, Bala Krishnamoorthy, Lynn Mills, Markus Keller, Ananth Kalyanaraman

Abstract: Persistent homology is a branch of computational algebraic topology that studies shapes and extracts features over multiple scales. In this paper, we present an unsupervised approach that uses persistent homology to study divergent behavior in agricultural point cloud data. More specifically, we build persistence diagrams from multidimensional point clouds, and use those diagrams as the basis to c… ▽ More Persistent homology is a branch of computational algebraic topology that studies shapes and extracts features over multiple scales. In this paper, we present an unsupervised approach that uses persistent homology to study divergent behavior in agricultural point cloud data. More specifically, we build persistence diagrams from multidimensional point clouds, and use those diagrams as the basis to compare and contrast different subgroups of the population. We apply the framework to study the cold hardiness behavior of 5 leading grape cultivars, with real data from over 20 growing seasons. Our results demonstrate that persistent homology is able to effectively elucidate divergent behavior among the different cultivars; identify cultivars that exhibit variable behavior across seasons; and identify seasonal correlations. △ Less

Submitted 17 February, 2023; v1 submitted 10 February, 2023; originally announced February 2023.

Comments: 5 pages, 12 figures, AAAI 2023 Workshop AIAFS

Boundary representations of intermediate forms between a regular Dirichlet form and its active main part

Authors: Matthias Keller, Daniel Lenz, Marcel Schmidt, Michael Schwarz, Melchior Wirth

Abstract: We characterize all semigroups sandwiched between the semigroup of a Dirichlet form and the semigroup of its active main part. In case the Dirichlet form is regular, we give a more explicit description of the quadratic forms of the sandwiched semigroups in terms of pairs consisting of an open set and a measure on an abstract boundary. We characterize all semigroups sandwiched between the semigroup of a Dirichlet form and the semigroup of its active main part. In case the Dirichlet form is regular, we give a more explicit description of the quadratic forms of the sandwiched semigroups in terms of pairs consisting of an open set and a measure on an abstract boundary. △ Less

Submitted 3 January, 2023; originally announced January 2023.

Anchored heat kernel upper bounds on graphs with unbounded geometry and anti-trees

Authors: Matthias Keller, Christian Rose

Abstract: We derive Gaussian heat kernel bounds on graphs with respect to a fixed origin for large times under the assumption of a Sobolev inequality and volume doubling on large balls. The upper bound from our previous work [KR22] is affected by a new correction term measuring the distance to the origin. The main result is then applied to anti-trees with unbounded vertex degree, yielding Gaussian upper bou… ▽ More We derive Gaussian heat kernel bounds on graphs with respect to a fixed origin for large times under the assumption of a Sobolev inequality and volume doubling on large balls. The upper bound from our previous work [KR22] is affected by a new correction term measuring the distance to the origin. The main result is then applied to anti-trees with unbounded vertex degree, yielding Gaussian upper bounds for this class of graphs for the first time. In order to prove this, we show that isoperimetric estimates with respect to intrinsic metrics yield Sobolev inequalities. Finally, we prove that anti-trees are Ahlfors regular and that they satisfy an isoperimetric inequality of a larger dimension. △ Less

Submitted 24 December, 2022; v1 submitted 22 December, 2022; originally announced December 2022.

Comments: Comments welcome! 20 pages, 1 figure

The Prime Graphs of Groups With Arithmetically Small Composition Factors

Authors: Timothy J. Edwards, Thomas Michael Keller, Ryan M. Pesak, Karthik Sellakumaran Latha

Abstract: We continue the study of prime graphs of finite groups, also known as Gruenberg-Kegel graphs. The vertices of the prime graph of a finite group are the prime divisors of the group order, and two vertices $p$ and $q$ are connected by an edge if and only if there is an element of order $pq$ in the group. Prime graphs of solvable groups have been characterized in graph theoretical terms only, as have… ▽ More We continue the study of prime graphs of finite groups, also known as Gruenberg-Kegel graphs. The vertices of the prime graph of a finite group are the prime divisors of the group order, and two vertices $p$ and $q$ are connected by an edge if and only if there is an element of order $pq$ in the group. Prime graphs of solvable groups have been characterized in graph theoretical terms only, as have been the prime graphs of groups whose only nonsolvable composition factor is $A_5$. In this paper we classify the prime graphs of all groups whose composition factors have arithmetically small orders, that is, have no more than three prime divisors in their orders. We find that all such graphs have $3$-colorable complements, and we provide full characterizations of the prime graphs of such groups based on the exact type and multiplicity of the nonabelian composition factors of the group. △ Less

Submitted 6 December, 2022; originally announced December 2022.

Comments: 33 pages

MSC Class: 20D60; 05C25

A classification of prime graphs of pseudo-solvable groups

Authors: Ziyu Huang, Thomas Michael Keller, Shane Kissinger, Wen Plotnick, Maya Roma, Yong Yang

Abstract: The prime graph $Γ(G)$ of a finite group $G$ (also known as the Gruenberg-Kegel graph) has as its vertices the prime divisors of $|G|$, and $p\text-q$ is an edge in $Γ(G)$ if and only if $G$ has an element of order $pq$. Since their inception in the 1970s these graphs have been studied extensively; however, completely classifying the possible prime graphs for larger families of groups remains a di… ▽ More The prime graph $Γ(G)$ of a finite group $G$ (also known as the Gruenberg-Kegel graph) has as its vertices the prime divisors of $|G|$, and $p\text-q$ is an edge in $Γ(G)$ if and only if $G$ has an element of order $pq$. Since their inception in the 1970s these graphs have been studied extensively; however, completely classifying the possible prime graphs for larger families of groups remains a difficult problem. For solvable groups such a classification was found in 2015. In this paper we go beyond solvable groups for the first time and characterize prime graphs of a more general class of groups we call pseudo-solvable. These are groups whose composition factors are either cyclic or $A_5$. The classification is based on two conditions: the vertices $\{2,3,5\}$ form a triangle in $\overlineΓ(G)$ or $\{p,3,5\}$ form a triangle for some prime $p\neq 2$. △ Less

Submitted 28 November, 2022; originally announced November 2022.

MSC Class: 20D60; 05C25

New bounds for numbers of primes in element orders of finite groups

Authors: Chiara Bellotti, Thomas Michael Keller, Timothy S. Trudgian

Abstract: Let $ρ(n)$ denote the maximal number of different primes that may occur in the order of a finite solvable group $G$, all elements of which have orders divisible by at most $n$ distinct primes. We show that $ρ(n)\leq 5n$ for all $n\geq 1$. As an application, we improve on a recent bound by Hung and Yang for arbitrary finite groups. Let $ρ(n)$ denote the maximal number of different primes that may occur in the order of a finite solvable group $G$, all elements of which have orders divisible by at most $n$ distinct primes. We show that $ρ(n)\leq 5n$ for all $n\geq 1$. As an application, we improve on a recent bound by Hung and Yang for arbitrary finite groups. △ Less

Submitted 10 November, 2022; originally announced November 2022.

Comments: 6 pages

MSC Class: 20D60; 20E34; 20C15; 11N05

On the Generation, Structure, and Symmetries of Minimal Prime Graphs

Authors: Ziyu Huang, Thomas Michael Keller, Shane Kissinger, Wen Plotnick, Maya Roma

Abstract: In this paper we continue the study of prime graphs of finite solvable groups. The prime graph, or Gruenberg-Kegel graph, of a finite group G has vertices consisting of the prime divisors of the order of G and an edge from primes p to q if and only if G contains an element of order pq. Since the discovery of a simple, purely graph theoretical characterization of the prime graphs of solvable groups… ▽ More In this paper we continue the study of prime graphs of finite solvable groups. The prime graph, or Gruenberg-Kegel graph, of a finite group G has vertices consisting of the prime divisors of the order of G and an edge from primes p to q if and only if G contains an element of order pq. Since the discovery of a simple, purely graph theoretical characterization of the prime graphs of solvable groups in 2015 these graphs have been studied in more detail from a graph theoretic angle. In this paper we explore several new aspects of these graphs. We characterize regular reseminant graphs and study the automorphisms of reseminant graphs for arbitrary base graphs. We then study minimal prime graphs on larger vertex sets by a novel regular graph construction for base graphs and by proving results on prime graph properties under graph products. Lastly, we present the first new way, different from vertex duplication, to obtain a new minimal prime graph from a given minimal prime graph. △ Less

Submitted 24 October, 2022; originally announced October 2022.

Comments: 22 pages, 7 figures

Optimal Hardy Inequality for Fractional Laplacians on the Integers

Authors: Matthias Keller, Marius Nietschmann

Abstract: We study the fractional Hardy inequality on the integers. We prove the optimality of the Hardy weight and hence affirmatively answer the question of sharpness of the constant. We study the fractional Hardy inequality on the integers. We prove the optimality of the Hardy weight and hence affirmatively answer the question of sharpness of the constant. △ Less

Submitted 5 July, 2022; originally announced July 2022.

Gaussian upper bounds for heat kernels on graphs with unbounded geometry

Authors: Matthias Keller, Christian Rose

Abstract: We prove large-time Gaussian upper bounds for continuous-time heat kernels of Laplacians on graphs with unbounded geometry. Our estimates hold for centers of large balls satisfying a Sobolev inequality and volume doubling. Distances are measured with respect to an intrinsic metric with finite distance balls and finite jump size. The Gaussian decay is given by Davies' function which is natural and… ▽ More We prove large-time Gaussian upper bounds for continuous-time heat kernels of Laplacians on graphs with unbounded geometry. Our estimates hold for centers of large balls satisfying a Sobolev inequality and volume doubling. Distances are measured with respect to an intrinsic metric with finite distance balls and finite jump size. The Gaussian decay is given by Davies' function which is natural and sharp in the graph setting. Furthermore, we find a new polynomial correction term which does not blow up at zero. Although our main focus is unbounded Laplacians, the results are new even for the normalized Laplacian. In the case of unbounded vertex degree or degenerating measure, the estimates are affected by new error terms reflecting the unboundedness of the geometry. △ Less

Submitted 24 December, 2022; v1 submitted 9 June, 2022; originally announced June 2022.

Comments: Comments are welcome! 38 pages

On $L^p$ Liouville theorems for Dirichlet forms

Authors: Bobo Hua, Matthias Keller, Daniel Lenz, Marcel Schmidt

Abstract: We study harmonic functions for general Dirichlet forms. First we review consequences of Fukushima's ergodic theorem for the harmonic functions in the domain of the $ L^{p} $ generator. Secondly we prove analogues of Yau's and Karp's Liouville theorems for weakly harmonic functions. Both say that weakly harmonic functions which satisfy certain $ L^{p} $ growth criteria must be constant. As consequ… ▽ More We study harmonic functions for general Dirichlet forms. First we review consequences of Fukushima's ergodic theorem for the harmonic functions in the domain of the $ L^{p} $ generator. Secondly we prove analogues of Yau's and Karp's Liouville theorems for weakly harmonic functions. Both say that weakly harmonic functions which satisfy certain $ L^{p} $ growth criteria must be constant. As consequence we give an integral criterion for recurrence. △ Less

Submitted 26 August, 2021; originally announced August 2021.

Asymptotic expansion of the annealed Green's function and its derivatives

Authors: Matthias Keller, Marius Lemm

Abstract: We consider random elliptic equations in dimension $d\geq 3$ at small ellipticity contrast. We derive the large-distance asymptotic expansion of the annealed Green's function up to order $4$ in $d=3$ and up to order $d+2$ for $d\geq 4$. We also derive asymptotic expansions of its derivatives. The obtained precision lies far beyond what is established in prior results in stochastic homogenization t… ▽ More We consider random elliptic equations in dimension $d\geq 3$ at small ellipticity contrast. We derive the large-distance asymptotic expansion of the annealed Green's function up to order $4$ in $d=3$ and up to order $d+2$ for $d\geq 4$. We also derive asymptotic expansions of its derivatives. The obtained precision lies far beyond what is established in prior results in stochastic homogenization theory. Our proof builds on a recent breakthrough in perturbative stochastic homogenization by Bourgain in a refined version shown by Kim and the second author, and on Fourier-analytic techniques of Uchiyama. △ Less

Submitted 24 July, 2021; originally announced July 2021.

Comments: 15 pages. This article has been split off from arXiv:2103.17019 [math.AP] by the same authors

Frobenius objects in the category of spans

Authors: Ivan Contreras, Molly Keller, Rajan Amit Mehta

Abstract: We consider Frobenius objects in the category Span, where the objects are sets and the morphisms are isomorphism classes of spans of sets. We show that such structures are in correspondence with data that can be characterized in terms of simplicial sets. An interesting class of examples comes from groupoids. Our primary motivation is that Span can be viewed as a set-theoretic model for the sympl… ▽ More We consider Frobenius objects in the category Span, where the objects are sets and the morphisms are isomorphism classes of spans of sets. We show that such structures are in correspondence with data that can be characterized in terms of simplicial sets. An interesting class of examples comes from groupoids. Our primary motivation is that Span can be viewed as a set-theoretic model for the symplectic category, and thus Frobenius objects in Span provide set-theoretic models for classical topological field theories. The paper includes an explanation of this relationship. △ Less

Submitted 5 November, 2021; v1 submitted 28 June, 2021; originally announced June 2021.

Comments: v2: added sections 3.5 and 4.5, explaining the relationship to 2-Segal sets

MSC Class: 18B10; 18B40; 18C40; 18N50; 20L05; 57R56

Journal ref: Reviews in Mathematical Physics (2022)

Agmon estimates for Schrödinger operators on graphs

Authors: Matthias Keller, Felix Pogorzelski

Abstract: We prove decay estimates for generalized eigenfunctions of discrete Schrödinger operators on weighted infinite graphs in the spirit of Agmon. We prove decay estimates for generalized eigenfunctions of discrete Schrödinger operators on weighted infinite graphs in the spirit of Agmon. △ Less

Submitted 10 April, 2021; originally announced April 2021.

Comments: 35 pages. Comments are welcome!

Eigenvalue asymptotics and unique continuation of eigenfunctions on planar graphs

Authors: Michel Bonnefont, Sylvain Golenia, Matthias Keller

Abstract: We study planar graphs with large negative curvature outside of a finite set and the spectral theory of Schr{ö}dinger operators on these graphs. We obtain estimates on the first and second order term of the eigenvalue asymptotics. Moreover, we prove a unique continuation result for eigenfunctions and decay properties of general eigenfunctions. The proofs rely on a detailed analysis of the geometry… ▽ More We study planar graphs with large negative curvature outside of a finite set and the spectral theory of Schr{ö}dinger operators on these graphs. We obtain estimates on the first and second order term of the eigenvalue asymptotics. Moreover, we prove a unique continuation result for eigenfunctions and decay properties of general eigenfunctions. The proofs rely on a detailed analysis of the geometry which employs a Copy-and-Paste procedure based on the Gauß-Bonnet theorem. △ Less

Submitted 8 April, 2021; originally announced April 2021.

Optimal Hardy weights on the Euclidean lattice

Authors: Matthias Keller, Marius Lemm

Abstract: We investigate the large-distance asymptotics of optimal Hardy weights on $\mathbb Z^d$, $d\geq 3$, via the super solution construction. For the free discrete Laplacian, the Hardy weight asymptotic is the familiar $\frac{(d-2)^2}{4}|x|^{-2}$ as $|x|\to\infty$. We prove that the inverse-square behavior of the optimal Hardy weight is robust for general elliptic coefficients on $\mathbb Z^d$: (1) ave… ▽ More We investigate the large-distance asymptotics of optimal Hardy weights on $\mathbb Z^d$, $d\geq 3$, via the super solution construction. For the free discrete Laplacian, the Hardy weight asymptotic is the familiar $\frac{(d-2)^2}{4}|x|^{-2}$ as $|x|\to\infty$. We prove that the inverse-square behavior of the optimal Hardy weight is robust for general elliptic coefficients on $\mathbb Z^d$: (1) averages over large sectors have inverse-square scaling, (2), for ergodic coefficients, there is a pointwise inverse-square upper bound on moments, and (3), for i.i.d.\ coefficients, there is a matching inverse-square lower bound on moments. The results imply $|x|^{-4}$-scaling for Rellich weights on $\mathbb Z^d$. Analogous results are also new in the continuum setting. The proofs leverage Green's function estimates rooted in homogenization theory. △ Less

Submitted 23 August, 2021; v1 submitted 31 March, 2021; originally announced March 2021.

Comments: 28 pages. v2: result on asymptotic expansion of annealed Green's function has been split off as arXiv:2107.11583 [math.AP]

The Prime Graphs of Some Classes of Finite Groups

Authors: Chris Florez, Jonathan Higgins, Kyle Huang, Thomas Michael Keller, Dawei Shen, Yong Yang

Abstract: In this paper we study prime graphs of finite groups. The prime graph of a finite group $G$, also known as the Gruenberg-Kegel graph, is the graph with vertex set {primes dividing $|G|$} and an edge $p$-$q$ if and only if there exists an element of order $pq$ in $G$. In finite group theory, studying the prime graph of a group has been an important topic for the past almost half century. Only recen… ▽ More In this paper we study prime graphs of finite groups. The prime graph of a finite group $G$, also known as the Gruenberg-Kegel graph, is the graph with vertex set {primes dividing $|G|$} and an edge $p$-$q$ if and only if there exists an element of order $pq$ in $G$. In finite group theory, studying the prime graph of a group has been an important topic for the past almost half century. Only recently prime graphs of solvable groups have been characterized in graph theoretical terms only. In this paper, we continue this line of research and give complete characterizations of several classes of groups, including groups of square-free order, metanilpotent groups, groups of cube-free order, and, for any $n\in \mathbb{N}$, solvable groups of $n^\text{th}$-power-free order. We also explore the prime graphs of groups whose composition factors are cyclic or $A_5$ and draw connections to a conjecture of Maslova. We then propose an algorithm that recovers the prime graph from a dual prime graph. △ Less

Submitted 2 January, 2022; v1 submitted 1 January, 2021; originally announced January 2021.

Minimal Prime Graphs of Solvable Groups

Authors: Chris Florez, Jonathan Higgins, Kyle Huang, Thomas Michael Keller, Dawei Shen

Abstract: We explore graph theoretical properties of minimal prime graphs of finite solvable groups. In finite group theory studying the prime graph of a group has been an important topic for the past almost half century. Recently prime graphs of solvable groups have been characterized in graph theoretical terms only. This now allows the study of these graphs with methods from graph theory only. Minimal pri… ▽ More We explore graph theoretical properties of minimal prime graphs of finite solvable groups. In finite group theory studying the prime graph of a group has been an important topic for the past almost half century. Recently prime graphs of solvable groups have been characterized in graph theoretical terms only. This now allows the study of these graphs with methods from graph theory only. Minimal prime graphs turn out to be of particular interest, and in this paper we pursue this further by exploring, among other things, diameters, Hamiltonian cycles and the property of being self-complementary for minimal prime graphs. We also study a new, but closely related notion of minimality for prime graphs and look into counting minimal prime graphs. △ Less

Submitted 20 November, 2020; originally announced November 2020.

The Adjacency Spectra of Some Families of Minimally Connected Prime Graphs

Authors: Chris Florez, Jonathan Higgins, Kyle Huang, Thomas Michael Keller, Dawei Shen

Abstract: In finite group theory, studying the prime graph of a group has been an important topic for almost the past half-century. Recently, prime graphs of solvable groups have been characterized in graph theoretical terms only. This now allows the study of these graphs without any knowledge of the group theoretical background. In this paper we study prime graphs from a linear algebra angle and focus on t… ▽ More In finite group theory, studying the prime graph of a group has been an important topic for almost the past half-century. Recently, prime graphs of solvable groups have been characterized in graph theoretical terms only. This now allows the study of these graphs without any knowledge of the group theoretical background. In this paper we study prime graphs from a linear algebra angle and focus on the class of minimally connected prime graphs introduced in earlier work on the subject. As our main results, we determine the determinants of the adjacency matrices and the spectra of some important families of these graphs. △ Less

Submitted 17 November, 2020; originally announced November 2020.

Comments: 23 pages, 4 figures

MSC Class: 15A18; 05C25

Dimension of Restricted Classes of Interval Orders

Authors: Mitchel T. Keller, Ann N. Trenk, Stephen J. Young

Abstract: Rabinovitch showed in 1978 that the interval orders having a representation consisting of only closed unit intervals have order dimension at most 3. This article shows that the same dimension bound applies to two other classes of posets: those having a representation consisting of unit intervals (but with a mixture of open and closed intervals allowed) and those having a representation consisting… ▽ More Rabinovitch showed in 1978 that the interval orders having a representation consisting of only closed unit intervals have order dimension at most 3. This article shows that the same dimension bound applies to two other classes of posets: those having a representation consisting of unit intervals (but with a mixture of open and closed intervals allowed) and those having a representation consisting of closed intervals with lengths in $\{0,1\}$. △ Less

Submitted 3 January, 2022; v1 submitted 17 April, 2020; originally announced April 2020.

Comments: 9 pages, 3 figures

MSC Class: 06A07

A lower bound for the number of odd-degree representations of a finite group

Authors: Nguyen Ngoc Hung, Thomas Michael Keller, Yong Yang

Abstract: Let $G$ be a finite group and $P$ a Sylow $2$-subgroup of $G$. We obtain both asymptotic and explicit bounds for the number of odd-degree irreducible complex representations of $G$ in terms of the size of the abelianization of $P$. To do so, we, on one hand, make use of the recent proof of the McKay conjecture for the prime 2 by Malle and Späth, and, on the other hand, prove lower bounds for the c… ▽ More Let $G$ be a finite group and $P$ a Sylow $2$-subgroup of $G$. We obtain both asymptotic and explicit bounds for the number of odd-degree irreducible complex representations of $G$ in terms of the size of the abelianization of $P$. To do so, we, on one hand, make use of the recent proof of the McKay conjecture for the prime 2 by Malle and Späth, and, on the other hand, prove lower bounds for the class number of the semidirect product of an odd-order group acting on an abelian $2$-group. △ Less

Submitted 26 August, 2020; v1 submitted 6 April, 2020; originally announced April 2020.

Comments: 17 pages, an asymptotic bound has been added to the newer version

MSC Class: 20C15; 20D10; 20D05

An Improved Discrete $ p $-Hardy Inequality

Authors: Florian Fischer, Matthias Keller, Felix Pogorzelski

Abstract: We improve the classical discrete Hardy inequality for $ 1<p<\infty $ for functions on the natural numbers. For integer values of $ p $ the Hardy weight is an absolutely monotonic function. We improve the classical discrete Hardy inequality for $ 1<p<\infty $ for functions on the natural numbers. For integer values of $ p $ the Hardy weight is an absolutely monotonic function. △ Less

Submitted 7 October, 2019; originally announced October 2019.

Comments: 12 pages

From Hardy to Rellich inequalities on graphs

Authors: Matthias Keller, Yehuda Pinchover, Felix Pogorzelski

Abstract: We show how to deduce Rellich inequalities from Hardy inequalities on infinite graphs. Specifically, the obtained Rellich inequality gives an upper bound on a function by the Laplacian of the function in terms of weighted norms. These weights involve the Hardy weight and a function which satisfies an eikonal inequality. The results are proven first for Laplacians and are extended to Schrödinger op… ▽ More We show how to deduce Rellich inequalities from Hardy inequalities on infinite graphs. Specifically, the obtained Rellich inequality gives an upper bound on a function by the Laplacian of the function in terms of weighted norms. These weights involve the Hardy weight and a function which satisfies an eikonal inequality. The results are proven first for Laplacians and are extended to Schrödinger operators afterwards. △ Less

Submitted 5 September, 2019; originally announced September 2019.

Comments: 20 pages

Finite Permutation Groups with Few Orbits Under the Action on the Power Set

Authors: Alexander Betz, Max Chao-Haft, Ting Gong, Thomas Michael Keller, Anthony Ter-Saakov, Yong Yang

Abstract: We study the orbits under the natural action of a permutation group $G \subseteq S_n$ on the powerset $\mathscr{P}(\{1, \dots , n\})$. The permutation groups having exactly $n+1$ orbits on the powerset can be characterized as set-transitive groups and were fully classified in \cite{BP55}. In this paper, we establish a general method that allows one to classify the permutation groups with $n+r$ set… ▽ More We study the orbits under the natural action of a permutation group $G \subseteq S_n$ on the powerset $\mathscr{P}(\{1, \dots , n\})$. The permutation groups having exactly $n+1$ orbits on the powerset can be characterized as set-transitive groups and were fully classified in \cite{BP55}. In this paper, we establish a general method that allows one to classify the permutation groups with $n+r$ set-orbits for a given $r$, and apply it to integers $2 \leq r \leq 15$ using the computer algebra system GAP. △ Less

Submitted 2 August, 2021; v1 submitted 1 August, 2019; originally announced August 2019.

Optimization Of Quasi-convex Function Over Product Measure Sets

Authors: Jerome Stenger, Fabrice Gamboa, Merlin Keller

Abstract: We consider a generalization of the Bauer maximum principle. We work with tensorial products of convex measures sets, that are non necessarily compact but generated by their extreme points. We show that the maximum of a quasi-convex lower semicontinuous function on this product space is reached on the tensorial product of finite mixtures of extreme points. Our work is an extension of the Bauer max… ▽ More We consider a generalization of the Bauer maximum principle. We work with tensorial products of convex measures sets, that are non necessarily compact but generated by their extreme points. We show that the maximum of a quasi-convex lower semicontinuous function on this product space is reached on the tensorial product of finite mixtures of extreme points. Our work is an extension of the Bauer maximum principle in three different aspects. First, we only assume that the objective functional is quasi-convex. Secondly, the optimization is performed over a space built as a product of measures sets. Finally, the usual compactness assumption is replaced with the existence of an integral representation on the extreme points. We focus on product of two different types of measures sets, called the moment class and the unimodal moment class. The elements of these classes are probability measures (respectively unimodal probability measures) satisfying generalized moment constraints. We show that an integral representation on the extreme points stands for such spaces and that it extends to their tensorial product. We give several applications of the Theorem, going from robust Bayesian analysis to the optimization of a quantile of a computer code output. △ Less

Submitted 8 October, 2020; v1 submitted 18 July, 2019; originally announced July 2019.

Riesz Decompositions for Schrödinger Operators on Graphs

Authors: Florian Fischer, Matthias Keller

Abstract: We study superharmonic functions for Schrödinger operators on general weighted graphs. Specifically, we prove two decompositions which both go under the name Riesz decomposition in the literature. The first one decomposes a superharmonic function into a harmonic and a potential part. The second one decomposes a superharmonic function into a sum of superharmonic functions with certain upper bounds… ▽ More We study superharmonic functions for Schrödinger operators on general weighted graphs. Specifically, we prove two decompositions which both go under the name Riesz decomposition in the literature. The first one decomposes a superharmonic function into a harmonic and a potential part. The second one decomposes a superharmonic function into a sum of superharmonic functions with certain upper bounds given by prescribed superharmonic functions. As application we show a Brelot type theorem. △ Less

Submitted 29 May, 2019; originally announced May 2019.

Optimal Uncertainty Quantification of a risk measurement from a thermal-hydraulic code using Canonical Moments

Authors: Jerome Stenger, Fabrice Gamboa, Merlin Keller, Bertrand Iooss

Abstract: We study an industrial computer code related to nuclear safety. A major topic of interest is to assess the uncertainties tainting the results of a computer simulation. In this work we gain robustness on the quantification of a risk measurement by accounting for all sources of uncertainties tainting the inputs of a computer code. To that extent, we evaluate the maximum quantile over a class of dist… ▽ More We study an industrial computer code related to nuclear safety. A major topic of interest is to assess the uncertainties tainting the results of a computer simulation. In this work we gain robustness on the quantification of a risk measurement by accounting for all sources of uncertainties tainting the inputs of a computer code. To that extent, we evaluate the maximum quantile over a class of distributions defined only by constraints on their moments. Two options are available when dealing with such complex optimization problems: one can either optimize under constraints; or preferably, one should reformulate the objective function. We identify a well suited parameterization to compute the optimal quantile based on the theory of canonical moments. It allows an effective, free of constraints, optimization. △ Less

Submitted 28 August, 2019; v1 submitted 22 January, 2019; originally announced January 2019.

Comments: arXiv admin note: substantial text overlap with arXiv:1811.12788

On the uniqueness class, stochastic completeness and volume growth for graphs

Authors: Xue** Huang, Matthias Keller, Marcel Schmidt

Abstract: In this note we prove an optimal volume growth condition for stochastic completeness of graphs under very mild assumptions. This is realized by proving a uniqueness class criterion for the heat equation which is an analogue to a corresponding result of Grigor'yan on manifolds. This uniqueness class criterion is shown to hold for graphs that we call globally local, i.e., graphs where we control the… ▽ More In this note we prove an optimal volume growth condition for stochastic completeness of graphs under very mild assumptions. This is realized by proving a uniqueness class criterion for the heat equation which is an analogue to a corresponding result of Grigor'yan on manifolds. This uniqueness class criterion is shown to hold for graphs that we call globally local, i.e., graphs where we control the jump size far outside. The transfer from general graphs to globally local graphs is then carried out via so called refinements. △ Less

Submitted 13 December, 2018; originally announced December 2018.

Optimal Uncertainty Quantification on moment class using canonical moments

Authors: Jerome Stenger, Fabrice Gamboa, Merlin Keller, Bertrand Iooss

Abstract: We gain robustness on the quantification of a risk measurement by accounting for all sources of uncertainties tainting the inputs of a computer code. We evaluate the maximum quantile over a class of distributions defined only by constraints on their moments. The methodology is based on the theory of canonical moments that appears to be a well-suited framework for practical optimization. We gain robustness on the quantification of a risk measurement by accounting for all sources of uncertainties tainting the inputs of a computer code. We evaluate the maximum quantile over a class of distributions defined only by constraints on their moments. The methodology is based on the theory of canonical moments that appears to be a well-suited framework for practical optimization. △ Less

Submitted 30 November, 2018; originally announced November 2018.

Comments: 21 pages, 9 figures

Gradient estimates, Bakry-Emery Ricci curvature and ellipticity for unbounded graph Laplacians

Authors: Matthias Keller, Florentin Münch

Abstract: In this article, we prove gradient estimates under Bakry-Emery curvature bounds for unbounded graph Laplacians which satisfy an ellipticity assumption. As applications, we study completeness and finiteness of stochastically complete graphs under Bakry-Emery curvature bounds. In this article, we prove gradient estimates under Bakry-Emery curvature bounds for unbounded graph Laplacians which satisfy an ellipticity assumption. As applications, we study completeness and finiteness of stochastically complete graphs under Bakry-Emery curvature bounds. △ Less

Submitted 23 November, 2020; v1 submitted 26 July, 2018; originally announced July 2018.

Comments: 13 pages, Added a section with examples

MSC Class: 53C21; 35K05; 05C81

A discrete Hopf-Rinow-theorem

Authors: Matthias Keller, Florentin Münch

Abstract: We prove a version of the Hopf-Rinow-theorem with respect to path metrics on discrete spaces. The novel aspect is that we do not a priori assume local finiteness but isolate a local finiteness type condition, called essential local finiteness, that is indeed necessary. As a side product we identify the maximal weight, called the geodesic weight, which generates the path metric in the situation whe… ▽ More We prove a version of the Hopf-Rinow-theorem with respect to path metrics on discrete spaces. The novel aspect is that we do not a priori assume local finiteness but isolate a local finiteness type condition, called essential local finiteness, that is indeed necessary. As a side product we identify the maximal weight, called the geodesic weight, which generates the path metric in the situation when the space is complete with respect to any of the equivalent notions of completeness proven in the Hopf-Rinow theorem. As an application, we characterize the graphs for which the resistance metric is a path metric induced by the graph structure. △ Less

Submitted 26 July, 2018; originally announced July 2018.

Sobolev-Type Inequalities and Eigenvalue Growth on Graphs with Finite Measure

Authors: Bobo Hua, Matthias Keller, Michael Schwarz, Melchior Wirth

Abstract: In this note we study the eigenvalue growth of infinite graphs with discrete spectrum. We assume that the corresponding Dirichlet forms satisfy certain Sobolev-type inequalities and that the total measure is finite. In this sense, the associated operators on these graphs display similarities to elliptic operators on bounded domains in the continuum. Specifically, we prove lower bounds on the eigen… ▽ More In this note we study the eigenvalue growth of infinite graphs with discrete spectrum. We assume that the corresponding Dirichlet forms satisfy certain Sobolev-type inequalities and that the total measure is finite. In this sense, the associated operators on these graphs display similarities to elliptic operators on bounded domains in the continuum. Specifically, we prove lower bounds on the eigenvalue growth and show by examples that corresponding upper bounds can not be established. △ Less

Submitted 23 April, 2018; originally announced April 2018.

Scattering the geometry of weighted graphs

Authors: Batu Güneysu, Matthias Keller

Abstract: Given two weighted graphs $(X,b_k,m_k)$, $k=1,2$ with $b_1\sim b_2$ and $m_1\sim m_2$, we prove a weighted $L^1$-criterion for the existence and completeness of the wave operators $ W_{\pm}(H_{2},H_1, I_{1,2})$, where $H_k$ denotes the natural Laplacian in $\ell^2(X,m_k)$ w.r.t. $(X,b_k,m_k)$ and $I_{1,2}$ the trivial identification of $\ell^2(X,m_1)$ with $\ell^2(X,m_2)$. In particular, this enta… ▽ More Given two weighted graphs $(X,b_k,m_k)$, $k=1,2$ with $b_1\sim b_2$ and $m_1\sim m_2$, we prove a weighted $L^1$-criterion for the existence and completeness of the wave operators $ W_{\pm}(H_{2},H_1, I_{1,2})$, where $H_k$ denotes the natural Laplacian in $\ell^2(X,m_k)$ w.r.t. $(X,b_k,m_k)$ and $I_{1,2}$ the trivial identification of $\ell^2(X,m_1)$ with $\ell^2(X,m_2)$. In particular, this entails a very general criterion for the absolutely continuous spectra of $H_1$ and $H_2$ to be equal. △ Less

Submitted 23 January, 2018; v1 submitted 22 January, 2018; originally announced January 2018.

Hereditary Semiorders and Enumeration of Semiorders by Dimension

Authors: Mitchel T. Keller, Stephen J. Young

Abstract: In 2010, Bousquet-Mélou et al. defined sequences of nonnegative integers called ascent sequences and showed that the ascent sequences of length $n$ are in one-to-one correspondence with the interval orders, i.e., the posets not containing the poset $\mathbf{2}+\mathbf{2}$. Through the use of generating functions, this provided an answer to the longstanding open question of enumerating the (unlabel… ▽ More In 2010, Bousquet-Mélou et al. defined sequences of nonnegative integers called ascent sequences and showed that the ascent sequences of length $n$ are in one-to-one correspondence with the interval orders, i.e., the posets not containing the poset $\mathbf{2}+\mathbf{2}$. Through the use of generating functions, this provided an answer to the longstanding open question of enumerating the (unlabeled) interval orders. A semiorder is an interval order having a representation in which all intervals have the same length. In terms of forbidden subposets, the semiorders exclude $\mathbf{2}+\mathbf{2}$ and $\mathbf{1}+\mathbf{3}$. The number of unlabeled semiorders on $n$ points has long been known to be the $n$-th Catalan number. However, describing the ascent sequences that correspond to the semiorders under the bijection of Bousquet-Mélou et al. has proved difficult. In this paper, we discuss a major part of the difficulty in this area: the ascent sequence corresponding to a semiorder may have an initial subsequence that corresponds to an interval order that is not a semiorder. We define the hereditary semiorders to be those corresponding to an ascent sequence for which every initial subsequence also corresponds to a semiorder. We provide a structural result that characterizes the hereditary semiorders and use this characterization to determine the ordinary generating function for hereditary semiorders. We also use our characterization of hereditary semiorders and the characterization of semiorders of dimension 3 given by Rabinovitch to provide a structural description of the semiorders of dimension at most 2. From this description, we are able to determine the ordinary generating for the semiorders of dimension at most 2. △ Less

Submitted 17 April, 2020; v1 submitted 1 January, 2018; originally announced January 2018.

Comments: 27 pages, 19 figures, 1 table

MSC Class: 06A07; 05A15

Journal ref: The Electronic Journal of Combinatorics 27(1) (2020), #P1.50

Courant's Nodal Domain Theorem for Positivity Preserving Forms

Authors: Matthias Keller, Michael Schwarz

Abstract: We introduce a notion of nodal domains for positivity preserving forms. This notion generalizes the classical ones for Laplacians on domains and on graphs. We prove the Courant nodal domain theorem in this generalized setting using purely analytical methods. We introduce a notion of nodal domains for positivity preserving forms. This notion generalizes the classical ones for Laplacians on domains and on graphs. We prove the Courant nodal domain theorem in this generalized setting using purely analytical methods. △ Less

Submitted 20 December, 2017; originally announced December 2017.

Magnetic sparseness and Schrödinger operators on graphs

Authors: Michel Bonnefont, Sylvain Golénia, Matthias Keller, Shi** Liu, Florentin Münch

Abstract: We study magnetic Schrödinger operators on graphs. We extend the notion of sparseness of graphs by including a magnetic quantity called the frustration index. This notion of magnetic sparse turn out to be equivalent to the fact that the form domain is an $\ell^{2}$ space. As a consequence, we get criteria of discreteness for the spectrum and eigenvalue asymptotics. We study magnetic Schrödinger operators on graphs. We extend the notion of sparseness of graphs by including a magnetic quantity called the frustration index. This notion of magnetic sparse turn out to be equivalent to the fact that the form domain is an $\ell^{2}$ space. As a consequence, we get criteria of discreteness for the spectrum and eigenvalue asymptotics. △ Less

Submitted 28 November, 2017; originally announced November 2017.

MSC Class: 47A10; 34L20; 05C63; 47B25; 47A63

Boundary representation of Dirichlet forms on discrete spaces

Authors: Matthias Keller, Daniel Lenz, Marcel Schmidt, Michael Schwarz

Abstract: We describe the set of all Dirichlet forms associated to a given infinite graph in terms of Dirichlet forms on its Royden boundary. Our approach is purely analytical and uses form methods. We describe the set of all Dirichlet forms associated to a given infinite graph in terms of Dirichlet forms on its Royden boundary. Our approach is purely analytical and uses form methods. △ Less

Submitted 22 November, 2017; originally announced November 2017.

Criticality theory for Schrödinger operators on graphs

Authors: Matthias Keller, Yehuda Pinchover, Felix Pogorzelski

Abstract: We study Schrödinger operators given by positive quadratic forms on infinite graphs. From there, we develop a criticality theory for Schrödinger operators on general weighted graphs. We study Schrödinger operators given by positive quadratic forms on infinite graphs. From there, we develop a criticality theory for Schrödinger operators on general weighted graphs. △ Less

Submitted 31 August, 2017; originally announced August 2017.

Comments: Essential parts of the paper have been split from the first version of the preprint arXiv:1612.04051 . 34 pages. Comments are welcome!

Feynman path integrals for magnetic Schrödinger operators on infinite weighted graphs

Authors: Batu Güneysu, Matthias Keller

Abstract: We prove a Feynman path integral formula for the unitary group $ \exp(-itL_{v,θ})$, $t\geq 0$, associated with a discrete magnetic Schrödinger operator $L_{v,θ}$ on a large class of weighted infinite graphs. As a consequence, we get a new Kato-Simon estimate $$ |\exp(-itL_{v,θ})(x,y)|\leq \exp(-tL_{-\mathrm{deg},0})(x,y), $$ which controls the unitary group uniformly in the potentials in terms of… ▽ More We prove a Feynman path integral formula for the unitary group $ \exp(-itL_{v,θ})$, $t\geq 0$, associated with a discrete magnetic Schrödinger operator $L_{v,θ}$ on a large class of weighted infinite graphs. As a consequence, we get a new Kato-Simon estimate $$ |\exp(-itL_{v,θ})(x,y)|\leq \exp(-tL_{-\mathrm{deg},0})(x,y), $$ which controls the unitary group uniformly in the potentials in terms of a Schrödinger semigroup, where the potential $\mathrm{deg}$ is the weighted degree function of the graph. △ Less

Submitted 6 September, 2017; v1 submitted 23 August, 2017; originally announced August 2017.

The Kazdan-Warner equation on canonically compactifiable graphs

Authors: Matthias Keller, Michael Schwarz

Abstract: We study the Kazdan-Warner equation on canonically compactifiable graphs. These graphs are distinguished as analytic properties of Laplacians on these graphs carry a strong resemblance to Laplacians on open pre-compact manifolds. We study the Kazdan-Warner equation on canonically compactifiable graphs. These graphs are distinguished as analytic properties of Laplacians on these graphs carry a strong resemblance to Laplacians on open pre-compact manifolds. △ Less

Submitted 26 July, 2017; originally announced July 2017.

A note on eigenvalue bounds for non-compact manifolds

Authors: Matthias Keller, Shi** Liu, Norbert Peyerimhoff

Abstract: In this article we prove upper bounds for the Laplace eigenvalues $λ_k$ below the essential spectrum for strictly negatively curved Cartan-Hadamard manifolds. Our bound is given in terms of $k^2$ and specific geometric data of the manifold. This applies also to the particular case of non-compact manifolds whose sectional curvature tends to $-\infty$, where no essential spectrum is present due to a… ▽ More In this article we prove upper bounds for the Laplace eigenvalues $λ_k$ below the essential spectrum for strictly negatively curved Cartan-Hadamard manifolds. Our bound is given in terms of $k^2$ and specific geometric data of the manifold. This applies also to the particular case of non-compact manifolds whose sectional curvature tends to $-\infty$, where no essential spectrum is present due to a theorem of Donnelly/Li. The result stands in clear contrast to Laplacians on graphs where such a bound fails to be true in general. △ Less

Submitted 15 July, 2020; v1 submitted 7 June, 2017; originally announced June 2017.

Comments: 8 pages. To appear in Math. Nachr

MSC Class: 58J50; 35P20

Combinatorial Reductions for the Stanley Depth of $I$ and $S/I$

Authors: Mitchel T. Keller, Stephen J. Young

Abstract: We develop combinatorial tools to study the relationship between the Stanley depth of a monomial ideal $I$ and the Stanley depth of its compliment, $S/I$. Using these results we are able to prove that if $S$ is a polynomial ring with at most 5 indeterminates and $I$ is a square-free monomial ideal, then the Stanley depth of $S/I$ is strictly larger than the Stanley depth of $I$. Using a computer s… ▽ More We develop combinatorial tools to study the relationship between the Stanley depth of a monomial ideal $I$ and the Stanley depth of its compliment, $S/I$. Using these results we are able to prove that if $S$ is a polynomial ring with at most 5 indeterminates and $I$ is a square-free monomial ideal, then the Stanley depth of $S/I$ is strictly larger than the Stanley depth of $I$. Using a computer search, we are able to extend this strict inequality up to polynomial rings with at most 7 indeterminates. This partially answers questions asked by Propescu and Qureshi as well as Herzog. △ Less

Submitted 28 August, 2017; v1 submitted 2 February, 2017; originally announced February 2017.

Comments: 15 pages, 3 figures, 3 tables

MSC Class: 06A07; 05E40; 13C13

Geometric and spectral consequences of curvature bounds on tessellations

Authors: Matthias Keller

Abstract: This is a chapter of a forthcoming Lecture Notes in Mathematics "Modern Approaches to Discrete Curvature" edited by L. Najman and P. Romon. It provides a survey on geometric and spectral consequences of curvature bounds. The geometric setting are tessellations of surfaces with finite and vanishing genus. We consider a curvature arising as an angular defect. Several of the results presented here ha… ▽ More This is a chapter of a forthcoming Lecture Notes in Mathematics "Modern Approaches to Discrete Curvature" edited by L. Najman and P. Romon. It provides a survey on geometric and spectral consequences of curvature bounds. The geometric setting are tessellations of surfaces with finite and vanishing genus. We consider a curvature arising as an angular defect. Several of the results presented here have analogues in Riemannian geometry. In some cases one can go even beyond the Riemannian results and there also striking differences which shall be highlighted. △ Less

Submitted 27 December, 2016; originally announced December 2016.