Showing 20 papers (Total: 84460 papers, 48641 authors in database)
On the Enumerative Structures in Quantum Field Theory
This thesis addresses a number of enumerative problems that arise in the context of quantum field theory and in the process of renormalization. In particular, the enumeration of rooted connected chord diagrams is further studied and new applications in quenched QED and Yukawa theories are introduced. Chord diagrams appear in quantum field theory in the context of Dyson-Schwinger equations, where, according to recent results, they are used to express the solutions. In another direction, we study the action of point field diffeomorphisms on a free theory. We give a new proof of a vanishing phenomenon for tree-level amplitudes of the transformed theories.
Completely Positive Maps for Imprimitive Reflection Groups
Published
• View Publication
• BIB
This article proves the existence of completely positive quasimultiplicative maps from the group algebra of imprimitive reflection groups to the set of bounded operators, and uses those linear maps to define creation and annihilation operators on the full Fock space.
Global eigenvalue fluctuations of random biregular bipartite graphs
Published in Random Matrices: Theory and Applications, 12(3), 2350004, 2023
• View Publication
• BIB
We compute the eigenvalue fluctuations of uniformly distributed random biregular bipartite graphs with fixed and growing degrees for a large class of analytic functions. As a key step in the proof, we obtain a total variation distance bound for the Poisson approximation of the number of cycles and cyclically non-backtracking walks in random biregular bipartite graphs, which might be of independent interest. We also prove a semicircle law for random $(d_1,d_2)$-biregular bipartite graphs when $\frac{d_1}{d_2}\to\infty$. As an application, we translate the results to adjacency matrices of uniformly distributed random regular hypergraphs.
The structure of large non-trivial t-intersecting families for finite sets
Published
• View Publication
• BIB
In this paper, we describe the structure of maximal non-trivial uniform $t$-intersecting families with large size for finite sets. In the special case when $t=1$, our result gives rise to Kostochka and Mubayi's result in 2017.
Simple Topological Drawings of $k$-Planar Graphs
Published
• View Publication
• BIB
Every finite graph admits a \emph{simple (topological) drawing}, that is, a drawing where every pair of edges intersects in at most one point. However, in combination with other restrictions simple drawings do not universally exist. For instance, \emph{$k$-planar graphs} are those graphs that can be drawn so that every edge has at most $k$ crossings (i.e., they admit a \emph{$k$-plane drawing}). It is known that for $k\le 3$, every $k$-planar graph admits a $k$-plane simple drawing. But for $k\ge 4$, there exist $k$-planar graphs that do not admit a $k$-plane simple drawing. Answering a question by Schaefer, we show that there exists a function $f : \mathbb{N}\rightarrow\mathbb{N}$ such that every $k$-planar graph admits an $f(k)$-plane simple drawing, for all $k\in\mathbb{N}$. Note that the function $f$ depends on $k$ only and is independent of the size of the graph. Furthermore, we develop an algorithm to show that every $4$-planar graph admits an $8$-plane simple drawing.
Lagrange inversion and combinatorial species with uncountable color palette
Published in Ann. Henri Poincaré (2021), Online first
• View Publication
• BIB
We prove a multivariate Lagrange-Good formula for functionals of uncountably many variables and investigate its relation with inversion formulas using trees. We clarify the cancellations that take place between the two aforementioned formulas and draw connections with similar approaches in a range of applications.
Hyperbolic Coxeter groups and minimal growth rates in dimensions four and five
Published
• View Publication
• BIB
For small $n$, the known compact hyperbolic $n$-orbifolds of minimal volume are intimately related to Coxeter groups of smallest rank. For $n=2$ and $3$, these Coxeter groups are given by the triangle group $[7,3]$ and the tetrahedral group $[3,5,3]$, and they are also distinguished by the fact that they have minimal growth rate among all cocompact hyperbolic Coxeter groups in $\hbox{Isom}\mathbb H^n$, respectively. In this work, we consider the cocompact Coxeter simplex group $G_4$ with Coxeter symbol $[5,3,3,3]$ in $\hbox{Isom}\mathbb H^4$ and the cocompact Coxeter prism group $G_5$ based on $[5,3,3,3,3]$ in $\hbox{Isom}\mathbb H^5$. Both groups are arithmetic and related to the fundamental group of the minimal volume arithmetic compact hyperbolic $n$-orbifold for $n=4$ and $5$, respectively. Here, we prove that the group $G_n$ is distinguished by having smallest growth rate among all Coxeter groups acting cocompactly on $\mathbb H^n$ for $n=4$ and $5$, respectively. The proof is based on combinatorial properties of compact hyperbolic Coxeter polyhedra, some partial classification results and certain monotonicity properties of growth rates of the associated Coxeter groups.
On the Maximum Number of Crossings in Star-Simple Drawings of $K_n$ with No Empty Lens
Published
• View Publication
• BIB
A star-simple drawing of a graph is a drawing in which adjacent edges do not cross. In contrast, there is no restriction on the number of crossings between two independent edges. When allowing empty lenses (a face in the arrangement induced by two edges that is bounded by a 2-cycle), two independent edges may cross arbitrarily many times in a star-simple drawing. We consider star-simple drawings of $K_n$ with no empty lens. In this setting we prove an upper bound of $3((n-4)!)$ on the maximum number of crossings between any pair of edges. It follows that the total number of crossings is finite and upper bounded by $n!$.
Sequences of well-distributed vertices on graphs and spectral bounds on optimal transport
Published
• View Publication
• BIB
Given a graph $G=(V,E)$, suppose we are interested in selecting a sequence of vertices $(x_j)_{j=1}^n$ such that $\left\{x_1, \dots, x_k\right\}$ is `well-distributed' uniformly in $k$. We describe a greedy algorithm motivated by potential theory and corresponding developments in the continuous setting. The algorithm performs nicely on graphs and may be of use for sampling problems. We can interpret the algorithm as trying to greedily minimize a negative Sobolev norm; we explain why this is related to Wasserstein distance by establishing a purely spectral bound on the Wasserstein distance on graphs that mirrors R. Peyre's estimate in the continuous setting. We illustrate this with many examples and discuss several open problems.
Hall Lie algebras of toric monoid schemes
Published
• View Publication
• BIB
We associate to a projective $n$-dimensional toric variety $X_Δ$ a pair of co-commutative (but generally non-commutative) Hopf algebras $H^α_X, H^{T}_X$. These arise as Hall algebras of certain categories $\Coh^α(X), \Coh^T(X)$ of coherent sheaves on $X_Δ$ viewed as a monoid scheme - i.e. a scheme obtained by gluing together spectra of commutative monoids rather than rings. When $X_Δ$ is smooth, the category $\Coh^T(X)$ has an explicit combinatorial description as sheaves whose restriction to each $\mathbb{A}^n$ corresponding to a maximal cone $σ\in Δ$ is determined by an $n$-dimensional generalized skew shape. The (non-additive) categories $\Coh^α(X), \Coh^T(X)$ are treated via the formalism of proto-exact/proto-abelian categories developed by Dyckerhoff-Kapranov.
The Hall algebras $H^α_X, H^{T}_X$ are graded and connected, and so enveloping algebras $H^α_X \simeq U(\n^α_X)$, $H^{T}_X \simeq U(\n^{T}_X)$, where the Lie algebras $\n^α_X, \n^{T}_X$ are spanned by the indecomposable coherent sheaves in their respective categories.
We explicitly work out several examples, and in some cases are able to relate $\n^T_X$ to known Lie algebras. In particular, when $X = \mathbb{P}^1$, $\n^T_X$ is isomorphic to a non-standard Borel in $\mathfrak{gl}_2 [t,t^{-1}]$. When $X$ is the second infinitesimal neighborhood of the origin inside $\mathbb{A}^2$, $\n^T_X$ is isomorphic to a subalgebra of $\mathfrak{gl}_2[t]$. We also consider the case $X=\mathbb{P}^2$, where we give a basis for $\n^T_X$ by describing all indecomposable sheaves in $\Coh^T(X)$.
On quiver representations over $\mathbb{F}_1$
Published
• View Publication
• BIB
We study the category $\textrm{Rep}(Q,\mathbb{F}_1)$ of representations of a quiver $Q$ over "the field with one element", denoted by $\mathbb{F}_1$, and the Hall algebra of $\textrm{Rep}(Q,\mathbb{F}_1)$. Representations of $Q$ over $\mathbb{F}_1$ often reflect combinatorics of those over $\mathbb{F}_q$, but show some subtleties - for example, we prove that a connected quiver $Q$ is of finite representation type over $\mathbb{F}_1$ if and only if $Q$ is a tree. Then, to each representation $\mathbb{V}$ of $Q$ over $\mathbb{F}_1$ we associate a coefficient quiver $Γ_\mathbb{V}$ possessing the same information as $\mathbb{V}$. This allows us to translate representations over $\mathbb{F}_1$ purely in terms of combinatorics of associated coefficient quivers. We also explore the growth of indecomposable representations of $Q$ over $\mathbb{F}_1$ - there are also similarities to representations over a field, but with some subtle differences. Finally, we link the Hall algebra of the category of nilpotent representations of an $n$-loop quiver over $\mathbb{F}_1$ with the Hopf algebra of skew shapes introduced by Szczesny.
Balanced paring of $\{1,2,\ldots,(p-1)/2\}$ for $p\equiv 1 \pmod{4}$
Let $p\equiv 1 \pmod{4}$ be a prime. Write $t = \prod_{x=1}^{(p-1)/2}x$. Since $t ^2\equiv -1 \pmod{p}$ , we can divide $\{1,2,\ldots,(p-1)/2\}$ into $(p-1)/4$ ordered pairs so that each pair, say $<a,\tilde{a}>$ , satisfies that $t a \equiv \pm \tilde{a} \pmod{p}.$ For any two such pairs, assume $a<\tilde{a}, b<\tilde{b}, a<b $, then there are three possibilities for their relative order : $a<\tilde{a} < b< \tilde{b}$ , $a< b < \tilde{a} < \tilde{b}$ , $a< b < \tilde{b}< \tilde{a}$. We show this paring is balanced in the sense that the three cases occur with equal frequencies. Utilizing properties of this paring we solve one problem raised by Zhi-Wei Sun concerning the sign of permutation related to quadratic residues.
Quivers with potentials associated to triangulations of closed surfaces with at most two punctures
We tackle the classification problem of non-degenerate potentials for quivers arising from triangulations of surfaces in the cases left open by Geiss-Labardini-Schröer. Namely, for once-punctured closed surfaces of positive genus, we show that the quiver of any triangulation admits infinitely many non-degenerate potentials that are pairwise not weakly right-equivalent; we do so by showing that the potentials obtained by adding the 3-cycles coming from triangles and a fixed power of the cycle surrounding the puncture are well behaved under flips and QP-mutations. For twice-punctured closed surfaces of positive genus, we prove that the quiver of any triangulation admits exactly one non-degenerate potential up to weak right-equivalence, thus confirming the veracity of a conjecture of the aforementioned authors.
Division algebra valued energized simplicial complexes
We look at connection Laplacians L,g defined by a field h:G to K, where G is a finite set of sets and K is a normed division ring which does not need to be commutative, nor associative but has a conjugation leading to the norm as the square root of h^* h. The target space K can be a normed real division algebra like the quaternions or an algebraic number field like a quadratic field. For parts of the results we can even assume K to be a Banach algebra like an operator algebra on a Hilbert space. The K-valued function h on G then defines connection matrices L,g in which the entries are in K. We show that the Dieudonne determinants of L and g are both equal to the abelianization of the product of all the field values on G. If G is a simplicial complex and h takes values in the units U of K, then g^* is the inverse of L and the sum of the energy values is equal to the sum of the Green function entries g(x,y). If K is the field C of complex numbers, we can study the spectrum of L(G,h) in dependence of the field h. The set of matrices with simple spectrum defines a |G|-dimensional non-compact Kaehler manifold that is disconnected in general and for which we can compute the fundamental group of each connected component.
Polygons with Prescribed Angles in 2D and 3D
Published
• View Publication
• BIB
We consider the construction of a polygon $P$ with $n$ vertices whose turning angles at the vertices are given by a sequence $A=(α_0,\ldots, α_{n-1})$, $α_i\in (-π,π)$, for $i\in\{0,\ldots, n-1\}$. The problem of realizing $A$ by a polygon can be seen as that of constructing a straight-line drawing of a graph with prescribed angles at vertices, and hence, it is a special case of the well studied problem of constructing an \emph{angle graph}.
In 2D, we characterize sequences $A$ for which every generic polygon $P\subset \mathbb{R}^2$ realizing $A$ has at least $c$ crossings, for every $c\in \mathbb{N}$, and describe an efficient algorithm that constructs, for a given sequence $A$, a generic polygon $P\subset \mathbb{R}^2$ that realizes $A$ with the minimum number of crossings.
In 3D, we describe an efficient algorithm that tests whether a given sequence $A$ can be realized by a (not necessarily generic) polygon $P\subset \mathbb{R}^3$, and for every realizable sequence the algorithm finds a realization.
New Eccentricity Based Topological Indices of Total Transformation Graphs
The eccentric-connectivity index of a graph G is the sum of the products of the eccentricity and the degree of each vertex in G. In this paper, we define four new invariants related to the eccentric-connectivity index and obtain upper bounds for total transformation graphs which are some generalizations of total graph.
Trees with minimum number of infima closed sets
Published
• View Publication
• BIB
Let $T$ be a rooted tree, and $V(T)$ its set of vertices. A subset $X$ of $V(T)$ is called an infima closed set of $T$ if for any two vertices $u,v\in X$, the first common ancestor of $u$ and $v$ is also in $X$. This paper determines the trees with minimum number of infima closed sets among all rooted trees of given order, thereby answering a question of Klazar. It is shown that these trees are essentially complete binary trees, with the exception of vertices at the last levels. Moreover, an asymptotic estimate for the minimum number of infima closed sets in a tree with $n$ vertices is also provided.
Odd wheels are not odd-distance graphs
An odd wheel graph is a graph formed by connecting a new vertex to all vertices of an odd cycle. We answer a question of Rosenfeld and Le by showing that odd wheels cannot be drawn in the plane such that the lengths of the edges are odd integers.
Generalizing Korchmáros--Mazzocca arcs
In this paper, we generalize the so called Korchmáros--Mazzocca arcs, that is, point sets of size $q+t$ intersecting each line in $0, 2$ or $t$ points in a finite projective plane of order $q$. For $t\neq 2$, this means that each point of the point set is incident with exactly one line meeting the point set in $t$ points.
In $\mathrm{PG}(2,p^n)$, we change $2$ in the definition above to any integer $m$ and describe all examples when $m$ or $t$ is not divisible by $p$. We also study mod $p$ variants of these objects, give examples and under some conditions we prove the existence of a nucleus.
Geometric Inequalities for Anti-Blocking Bodies
Published
• View Publication
• BIB
We study the class of (locally) anti-blocking bodies as well as some associated classes of convex bodies. For these bodies, we prove geometric inequalities regarding volumes and mixed volumes, including Godberson's conjecture, near-optimal bounds on Mahler volumes, Saint-Raymond-type inequalities on mixed volumes, and reverse Kleitman inequalities for mixed volumes. We apply our results to the combinatorics of posets and prove Sidorenko-type inequalities for linear extensions of pairs of 2-dimensional posets. The results rely on some elegant decompositions of differences of anti-blocking bodies, which turn out to hold for anti-blocking bodies with respect to general polyhedral cones.