Showing 20 papers (Total: 81378 papers, 47165 authors in database)
On formulas and fractional exponents for umbral operators
This study presents a new formula for umbral operators which provides three key insights. First, it clarifies a connection between umbral calculus and iteration theory. Second, it paves the way for a definition of fractional exponents of umbral operators. And lastly, its proof synthesizes a multitude of existing operational calculus results that demonstrates a new level of effectiveness in the field. We demonstrate its application through a new and natural extension of the Laguerre polynomials.
Characterization of Erdös matrices by their zero entries
An Erdös matrix $E$ is a bistochastic matrix whose sum of squares of entries (Frobenius norm squared) equals its maxtrace (maximum of all the $σ$-traces for permutations $σ$'s). We characterize all Erdös $E$ by the patterns of their zero entries; showing that each such skeleton has at most one $E$. We present an algorithm to find all $n\times n$ Erdös matrices, which finds them up to $n\leqslant 5$ quickly and also size $n=6$. We further show some presently known RCDS matrices to be Erdös.
Unavoidable patterns and plane paths in dense topological graphs
Let $C_{s,t}$ be the complete bipartite geometric graph, with $s$ and $t$ vertices on two distinct parallel lines respectively, and all $s t$ straight-line edges drawn between them. In this paper, we show that every complete bipartite simple topological graph, with parts of size $2(k-1)^4 + 1$ and $2^{k^{5k}}$, contains a topological subgraph weakly isomorphic to $C_{k,k}$. As a corollary, every $n$-vertex simple topological graph not containing a plane path of length $k$ has at most $O_k(n^{2 - 8/k^4})$ edges. When $k = 3$, we obtain a stronger bound by showing that every $n$-vertex simple topological graph not containing a plane path of length 3 has at most $O(n^{4/3})$ edges. We also prove that $x$-monotone simple topological graphs not containing a plane path of length 3 have at most a linear number of edges.
Distribution of deformed Laplacian limit points
This paper investigates limit points of the deformed Laplacian matrix, which merges the Laplacian and signless Laplacian matrices of a graph through a quadractic one-parameter family of matrices. First, we show that any value greater or equal to 1 is a deformed Laplacian limit point (for different values of the parameter $s$) using a simple family of trees. Second, we define $(T_k)_{k \in \mathbb{N}}$ the Shearer's sequence of caterpillars for $λ>1$ and we present a convergence criterion based on Shearer's approach. Our main result is that for any fixed value $λ_0>1$ there exists a unique value $0<s^* <\sqrt{λ_0} -1$ such that, and for any $s \in (0,s^*)$ the interval $[λ_0, \; +\infty)$ is entirely formed by $s$-deformed Laplacian limit points (for the same value of $s$). Finally, we provide some numerical data exploring the limit properties.
Optimality of the Prym-Tyurin construction for $\mathcal{A}_6$
We prove that on a very general principally polarized abelian 6-fold, the smallest multiple of the minimal curve class which can be represented by an algebraic cycle is 6.
Monochromatic products in random integer sets
A well-known consequence of Schur's theorem is that for $r\in \mathbb{N}$, if $n$ is sufficiently large, then any $r$-colouring of $[n]$ results in monochromatic $a,b,c\in [n]$ such that $ab=c$. In this paper we are interested in the threshold at which the binomial random set $[n]_p$ almost surely inherits this Ramsey-type property. In particular for $r=2$ colours, we show that this threshold lies between $n^{-1/9-o(1)}$ and $n^{-1/11}$. Whilst analogous questions for solutions to (sets of) linear equations are now well understood, our work suggests that both the behaviour of the thresholds and the proof methods needed to determine them differ substantially in the non-linear setting.
The Clifford defect of a numerical semigroup
The Clifford defect is a rational number associated to the Weierstrass semigroup at a given point of an algebraic curve. It describes the error-correcting capability of the so-called Modified Algorithm for decoding the corresponding one-point codes defined at the point. This defect also finds applications in other contexts involving one-point codes. We study the Clifford defect of some numerical semigroups arising from curves and give explicit formulas for them.
Edge density and minimum degree thresholds for $H$-free graphs with unbounded chromatic number
The chromatic threshold $δ_χ(H)$ of a graph $H$ is the infimum of $d>0$ such that the chromatic number of every $n$-vertex $H$-free graph with minimum degree at least $dn$ is bounded in terms of $H$ and $d$. A breakthrough result of Allen, Böttcher, Griffiths, Kohayakawa, and Morris determined $δ_χ(H)$ for every graph $H$; in particular, if $χ(H)=r\ge 3$, then $δ_χ(H) \in\{\frac{r-3}{r-2},~\frac{2 r-5}{2 r-3},~\frac{r-2}{r-1}\}$.
In this paper we investigate the trade-off between minimum degree and edge density in the critical window around the chromatic threshold. For a fixed graph $H$ with $χ(H)=r$, allowing a constant deficit below $δ_χ(H)$, we prove sharp (up to lower-order terms) upper bounds on the edge density of $n$-vertex $H$-free graphs whose chromatic number diverges. Equivalently, within this degree regime we show that a suitable global bound on the number of edges forces the chromatic number to remain bounded. Our results thus quantify how global edge density can compensate for a deficit in the local minimum-degree condition near $δ_χ(H)$; more specifically, we obtain explicit bounds in two of the three possible cases arising in the trichotomy of $δ_χ(H)$. Our extremal constructions -- based on Erdős graphs and blowups of Borsuk--Hajnal graphs -- show that these bounds are best possible up to $o(n^2)$ terms.
Plumbing bijections
The legendary Mario and Luigi show us that whether you slap in the crossings as early as a warp pipe can shoot you or as late as the very last bend, the water system in Yoshi Hill comes out exactly the same!
Dimension statistics of representations of finite groups
This paper discusses what the dimension data of irreducible representations of a finite group looks like in some specific cases, including unipotent and reductive groups over finite fields.
The essence of our investigation is whether the dimension data of irreducible representations of a finite group can be ``geometerized'', to become equal to the cardinality of certain orbit spaces.
The first part of this paper deals with nilpotent and reductive groups over finite fields, whereas the second part deals with the symmetric group $S_n$. The main conclusion that we want to bring out to contrast these two cases is that for reductive groups over finite fields, the dimension data is concentrated (in a statistical sense) in a neighborhood of the maximal dimension, whereas for the symmetric group, it is spread out.
The separating systole and the genus ratio of high genus triangulations
We show that the separating systole of high genus triangulations is of logarithmic order (in the size of the triangulation). Our methods also allow us to show an enumerative result, i.e. the convergence of the "genus ratio" for high genus triangulations. This complements the convergence of the "size ratio" that was proven in previous work with Budzinski.
The $cd$-index of base polytopes for connected split matroids
We compute the $cd$-index $Ψ_{cd}$ of matroid base polytopes $\mathscr{P}(M)$ for a large family of matroids $M$. The $cd$-index is a polynomial in two non-commutative variables that compactly encodes the count of face flags $\mathcal{F} = \{σ_1 \subset \dots \subset σ_s \}$ with prescribed $\dim σ_i = d_i$. This comprises the $f$-vector of $\mathscr{P}(M)$, which recently Ferroni and Schröter treated as an almost-valuative invariant; i.e. a valuative part plus an error term. We initiate a similar program for $Ψ_{cd}(\mathscr{P}(M))$ and show that for an elementary split matroid $M$ the error term in the computation of $Ψ_{cd}(\mathscr{P}(M))$ surprisingly depends only on modular pairs of cyclic flats.
This allows us to implement computations requiring only the counts $λ(r,h)$ and $μ(α,β,a,b)$ of cyclic flats and modular pairs of cyclic flats, respectively, that fulfill some rank and cardinality conditions. We illustrate the methods with sparse paving matroids.
Eventually constant maps for two sets and nilpotent pairs
We give a bijective correspondence between the number of nilpotent matrices over a Boolean semiring and the number of directed acyclic graphs on ordered vertices. We then enumerate pairs of maps between two finite sets whose composites are eventually constant by forming a bijection that relates a pair of such maps with a spanning tree in a complete bipartite graph, and an edge of said tree. This generalizes the main principle of A. Joyal's proof of Cayley's formula. Finally, we generalize T. Leinster's work by considering a pair of finite-dimensional vector spaces and show a bijectivity between a nilpotent pair of maps and a balanced vector with the hom spaces between them. This leads us to an elegant formula for the number of nilpotent pairs.
On Matsushita $π_1^2$ discrete fundamental groups
The Matsushita fundamental groups of a graph $X$, denoted $π_1^r(X)$, are certain discrete versions of the fundamental group for topological spaces. For $r=2$, these groups have a nice combinatorial description, due to Sankar. In this paper we prove two results about $π_1^2$. First, we prove a Seifert-van Kampen-type theorem. Similar results have previously been obtained by Barcelo, et al. (and strengthened by Kapulkin and Mavinkurve) for a different notion of discrete fundamental group. Second, we prove that an arbitrary group $G$ can be realized as $π_1^2(X)$ for some graph $X$. Our construction works equally well for the aforementioned alternate discrete fundamental group $A_1(X)$, and our second result thus also provides an entirely different method of proof for a theorem of Kapulkin and Mavinkurve.
Indecomposability and beyond via the graph of edge dependencies
A polytope is called indecomposable if it cannot be expressed (non-trivially) as a Minkowski sum of other polytopes. Since the concept was introduced by Gale in 1954, several increasingly strong criteria have been developed to characterize indecomposability. In this paper, we introduce a new indecomposability criterion that unifies and generalizes most existing approaches. The key new ingredient is the graph of (implicit) edge dependencies, which records proportionalities between edge lengths across deformations and has broader applications in the study of deformation cones of polytopes, beyond indecomposability.
As a main application, we construct new indecomposable deformed permutahedra that are not matroid polytopes. In 1970, Edmonds posed the problem of characterizing the extreme rays of the submodular cone, equivalently, indecomposable deformed permutahedra. Matroid polytopes from connected matroids form a well-known family of such examples. We exhibit a new infinite family of indecomposable deformations of the permutahedron, disjoint from matroid polytopes, obtained by suitable truncations of vertices of certain graphical zonotopes.
We further demonstrate the scope of our methods through several additional applications. In particular, we refute a conjecture by Smilansky (1987) asserting that indecomposable polytopes must have relatively few vertices compared to their number of facets. We also obtain new bounds on the dimensions of deformation cones and characterize certain of their extreme rays, introduce parallelogramic Minkowski sums whose deformation cones factor as products, and provide new constructions of indecomposable polytopes via truncations and stackings.
New linear invariants of hypergraphs
We introduce a parameterized family of invariants for $\ell$-uniform hypergraphs. To each $\mathbb{K}$-linear transformation $T:\mathbb{K}^{\ell}\to \mathbb{K}^r$ we associate a function $\mathrm{Sig}(-,T)$ that maps $\ell$-uniform hypergraphs to $\mathbb{K}$-vector spaces. Given an $\ell$-uniform hypergraph $\mathcal{H}=(V,E)$, we use $\mathrm{Sig}(\mathcal{H},T)$ to define an equivalence relation $\equiv_T$ on $V$ called $T$-fusion, which determines a quotient hypergraph $\mathfrak{F}(\mathcal{H},T)$ called the $T$-frame of $\mathcal{H}$. We show that the map $U:\mathbb{K}^{\ell}\to \mathbb{K}$, where $U(λ)=λ(1)+\cdots+λ(\ell)$, is universal in that $\mathrm{Sig}(\mathcal{H},T)$ embeds in $\mathrm{Sig}(\mathcal{H},U)$, and $U$-fusion refines $T$-fusion for any $T:\mathbb{K}^{\ell}\to\mathbb{K}^r$. We further show that $\mathfrak{F}(\mathfrak{F}(\mathcal{H},U),U)=\mathfrak{F}(\mathcal{H},U)$ for any $\ell$-uniform hypergraph $\mathcal{H}$, so $\mathfrak{F}(-,U)$ is a closure function on the set of $\ell$-uniform hypergraphs. We explore the properties of this one-time simplification of a hypergraph.
Pairs of eventually constant maps and nilpotent pairs
Tom Leinster gave a bijective correspondence between the set of operators on a finite-dimensional vector space $V$ and the set of pairs consisting of a nilpotent operator and a vector in $V$. Over a finite field this bijection implies that the probability that an operator be nilpotent is the reciprocal of the number of vectors in $V$. We generalize this correspondence to pairs of operators between pairs of vector spaces and determine the probability that a random pair of operators be nilpotent. We also determine the set-theoretical counterpart of this construction and compute the number of eventually constant pairs of maps between two finite sets, closely related to the number of spanning trees in a complete bipartite graph.
On stationary real matrix Schubert varieties
In this paper, we study when a real matrix Schubert variety is stationary with respect to the first variation. We first show that a necessary condition for its open dense regular part to be a minimal submanifold is that the corresponding partial permutation is vexillary. Among vexillary partial permutations, we establish minimality by a geometric argument when the Rothe diagram is of Grassmannian type and has at most two connected components. We further obtain, as a corollary, the minimality of those varieties that decompose as products of this type. These varieties include all determinantal varieties as well as some new minimal cones.
Kähler-Einstein toric submanifolds of the projective space
We show that the Kähler-Einstein metrics on the four families of examples of symmetric toric Fano manifolds presented by Batyrev and Selivanova cannot be realized as metrics induced by immersions into projective spaces equipped with Fubini-Study metrics. We obtain a similar conclusion for the non-symmetric examples discovered by Nill and Paffenholz. A consequence is that a centrally symmetric toric Fano manifold admits a Kähler-Einstein metric induced by a projective immersion if and only if it is a product of projective lines. These results provide evidence for a broader conjecture characterizing which Kähler-Einstein metrics can be induced by projective immersions.
Spectral properties of the deformed Laplacian matrix of trees and H-join graphs
This paper investigates spectral properties of the deformed Laplacian matrix, which merges the Laplacian and signless Laplacian matrices of a graph through a one-parameter family of matrices. We present general results on the eigenvalues of these matrices for simple undirected graphs. Additionally, we analyze the spectrum of the deformed Laplacian in the specific cases of trees and H-join graphs. For trees, we derive strong results on the localization of eigenvalues, while for H-join graphs, we explicitly compute the spectrum of the deformed Laplacian.