Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Dimension-Preserving Saturated Embeddings of Finite Posets into the Spectra of Noetherian UFDs
Given a finite poset $X$, we find necessary and sufficient conditions for there to exist a local Noetherian UFD $A$ and a saturated embedding of posets $φ: X \longrightarrow \mbox{Spec}(A)$ such that $\dim(X)=\dim(A)$. The conditions imposed on $X$ in our characterization are remarkably mild, demonstrating that there is a large class of finite posets that can be embedded into the spectrum of a local Noetherian UFD of the same dimension as $X$ in a way that preserves saturated chains. We also show that given any finite poset $Y$, there exists a semi-local quasi-excellent ring $S$ and a saturated embedding $ψ: Y \longrightarrow \mbox{Spec}(S)$ such that if $z$ is a minimal element of $Y$, then $ψ(z)$ is a minimal prime ideal of $S$ and the coheight of $ψ(z)$ is the same as the length of the longest chain in $Y$ that starts at $z$ and ends at a maximal element of $Y$.
Analysing the Moments of the Determinant of a Random Matrix Via Analytic Combinatorics of Permutation Tables
We consider the following natural question. Given a matrix $A$ with i.i.d. random entries, what are the moments of the determinant of $A$? In other words, what is $\mathbb{E}[\det(A)^k]$? While there is a general expression for $\mathbb{E}[\det(A)^k]$ when the entries of $A$ are Gaussian, much less is known when the entries of $A$ have some other distribution.
In two recent papers, we answered this question for $k = 4$ when the entries of $A$ are drawn from an arbitrary distribution and for $k = 6$ when the entries of $A$ are drawn from a distribution which has mean $0$. These analyses used recurrence relations and were highly intricate. In this paper, we show how these analyses can be simplified considerably by using analytic combinatorics on permutation tables.
Newton numbers, vanishing polytopes and algebraic degrees
Consider a polynomial $f$ with a convenient Newton polytope $P$ and generic complex coefficients. By the global version of the Kouchnirenko formula, the hypersurface $\{f = 0\} \subset \mathbb{C}^n$ has the homotopy type of a bouquet of $(n-1)$-spheres, and the number of spheres is given by a certain alternating sum of volumes, called the Newton number $ν(P)$. Using the Furukawa-Ito classification of dual defective sets, we classify convenient Newton polytopes with vanishing Newton numbers as certain Cayley sums called $B_k$-polytopes. These $B_k$-polytopes generalize the $B_1$- and $B_2$-facets appearing in the local monodromy conjecture in the Newton non-degenerate case. Our classification provides a partial solution to Arnold's monotonicity problem.
The local $h^*$-polynomial (or $\ell^*$-polynomial) is a natural invariant of lattice polytopes that refines the $h^*$-polynomial coming from Ehrhart theory. We obtain decomposition formulas for the Newton number, for instance, prove the inequality $ν(P) \ge \ell^*(P;1)$. The $B_k$-polytopes are non-trivial examples of thin polytopes.
We generalize the Newton number in two independent ways: the $\ell$-Newton number and the $e$-Newton number. The $\ell$-Newton number comes from Ehrhart theory, namely, from certain generalizations of Katz-Stapledon decomposition formulas, and its properties are central to our proof that the $B_k$-polytopes are thin. The $e$-Newton number is the number of points of zero-dimensional critical complete intersections. Vanishing of the $e$-Newton number characterizes dual defective sets. Furthermore, the $e$-Newton number calculates algebraic degrees (such as Maximum Likelihood, Euclidean Distance and Polar degrees). For instance, we show that all known formulas for these algebraic degrees in the Newton non-degenerate case are implied by basic properties of the $e$-Newton number.
Non-orientable regular maps with negative prime-power Euler characteristic
In this paper we provide a classification of all regular maps on surfaces of Euler characteristic $-r^d$ for some odd prime $r$ and integer $d\ge 1$. Such maps are necessarily non-orientable, and the cases where $d = 1$ or $2$ have been dealt with previously.
This classification splits naturally into three parts, based on the nature of the automorphism group $G$ of the map, and particularly the structure of its quotient $G/O(G)$ where $O(G)$ is the largest normal subgroup of $G$ of odd order. In fact $G/O(G)$ is isomorphic to either a $2$-group (in which case $G$ is soluble), or $\textrm{PSL}(2,q)$ or $\textrm{PGL}(2,q)$ where $q$ is an odd prime power. The result is a collection of $18$ non-empty families of regular maps, with conditions on the associated parameters.
Robustness of the Sauer-Spencer Theorem
We prove a robust version of a graph embedding theorem of Sauer and Spencer. To state this sparser analogue, we define $G(p)$ to be a random subgraph of $G$ obtained by retaining each edge of $G$ independently with probability $p \in [0,1]$, and let $m_1(H)$ be the maximum $1$-density of a graph $H$. We show that for any constant $Δ$ and $γ> 0$, if $G$ is an $n$-vertex host graph with minimum degree $δ(G) \geq (1 - 1/2Δ+ γ)n$ and $H$ is an $n$-vertex graph with maximum degree $Δ(H) \leq Δ$, then for $p \geq Cn^{-1/m_1(H)}\log n$, the random subgraph $G(p)$ contains a copy of $H$ with high probability. Our value for $p$ is optimal up to a log-factor.
In fact, we prove this result for a more general minimum degree condition on $G$, by introducing an \emph{extension threshold} $δ_{\rm e}(Δ)$, such that the above result holds for graphs $G$ with ${δ(G) \geq (δ_{\rm e}(Δ) + γ)n}$. We show that $δ_{\rm e}(Δ) \leq (2Δ-1)/2Δ$, and further conjecture that $δ_{\rm e}(Δ)$ equals $Δ/(Δ+1)$, which matches the minimum degree condition on $G$ in the Bollobás-Eldridge-Catlin Conjecture. A main tool in our proof is a vertex-spread version of the blow-up lemma of Allen, Böttcher, Hàn, Kohayakawa, and Person, which we believe to be of independent interest.
Two $\mathfrak{b}$ or not two $\mathfrak{b}$?
The paper is devoted to comparison of two generalizations of the bounding number $\mathfrak{b}$.
On a magneto-spectral invariant on finite graphs
In this paper, we introduce a magneto-spectral invariant for finite graphs. This invariant vanishes on trees and is maximized by complete graphs. We compute this invariant for cycles, complete graphs, wheel graphs, hypercubes, complete bipartite graphs and suspensions of trees and derive various lower and upper bounds. In particular, we provide a sharp upper bound for regular bipartite graphs and derive a direct relation between the class of graphs assuming this upper bound and the class of unit weighing matrices, which are generalizations of complex Hadamard matrices. Moreover, this class of bipartite graphs has non-negative magnetic Bakry-Émery curvature and is preserved under both the Cartesian product and a partial tensor product for bipartite graphs. The study of our invariant for certain pairs of cospectral graphs indicates also that this invariant allows us to distinguish between them. Finally, we discuss the behaviour of this invariant under various graph operations and investigate relations to the spectral gap.
Spectrahedral relaxations of Eulerian rigidly convex sets
We study a generalization of Eulerian polynomials to the multivariate setting introduced by Brändén. Although initially these polynomials were introduced using the language of hyperbolic and stable polynomials, we manage to translate some restrictions of these polynomials to our real zero setting. Once we are in this setting, we focus our attention on the rigidly convex sets (RCSs) defined by these polynomials. In particular, we study the corresponding rigidly convex sets looking at spectrahedral relaxations constructed through the use of monic symmetric linear matrix polynomials (MSLMPs) of small size and depending polynomially (actually just cubically) on the coefficients of the corresponding polynomials. We analyze how good are the obtained spectrahedral approximations to these rigidly convex sets. We do this analysis by measuring the behavior along the diagonal, where we precisely recover the original univariate Eulerian polynomials. Thus we conclude that, measuring through the diagonal, our relaxation-based spectrahedral method for approximation of the rigidly convex sets defined by multivariate Eulerian polynomials is highly accurate. In particular, we see that this relaxation-based spectrahedral method for approximation of the rigidly convex sets defined by multivariate Eulerian polynomials provides bounds for the extreme roots of the corresponding univariate Eulerian polynomials that are better than these already found in the literature. All in all, this tells us that, at least close to the diagonal, the global outer approximation to the rigidly convex sets provided by this relaxation-based spectrahedral method is itself highly accurate.
Perturbative renormalisation of the $Φ^4_{4-\varepsilon}$ model via generalized Wick maps
We consider the perturbative renormalisation of the $Φ^4_d$ model from Euclidean Quantum Field Theory for any, possibly non-integer dimension $d<4$. The so-called BPHZ renormalisation, named after Bogoliubov, Parasiuk, Hepp and Zimmermann, is usually encoded into extraction-contraction operations on Feynman diagrams, which have a complicated combinatorics. We show that the same procedure can be encoded in the much simpler algebra of polynomials in two unknowns $X$ and $Y$, which represent the fourth and second Wick power of the field. In this setting, renormalisation takes the form of a \lq\lq Wick map\rq\rq\ which maps monomials into Bell polynomials. The construction makes use of recent results by Bruned and Hou on multiindices, which are algebraic objects of intermediate complexity between Feynman diagrams and polynomials.
A geometric model for the non-$τ$-rigid modules of type $\widetilde{D}_n$
We give a geometric model for the non-$τ$-rigid modules over acyclic path algebras of type $\widetilde{D}_n$. Similar models have been provided for module categories over path algebras of types $A_n, D_n,$ and $\widetilde{A}_n$ as well as the $τ$-rigid modules of type $\widetilde{D}_n$. A major draw of these geometric models is the "intersection-dimension formulas" they often come with. These formulas give an equality between the intersection number of the curves representing the modules in the geometric model and the dimension of the extension spaces between the two modules. This formula allows us to calculate the homological data between two modules combinatorially. Since there are infinitely many distinct homogeneous stable tubes in the regular component of the Auslander-Reiten quiver of type $\widetilde{D}_n$, all of which are disjoint, our geometric data requires an extra decoration on the admissible edges in our geometric model to prevent intersections between curves corresponding to modules in distinct stable tubes of the Auslander-Reiten quiver.
The Cycle Counts of Graphs
We prove that an inseparable graph can have any positive number of cycles with the six exceptions 2, 4, 5, 8, 9, 16, and that an inseparable cubic graph has the additional exceptions 1 and 13. The exceptions for simple inseparable cubic graphs are unknown.
Some Turán-type results for signless Laplacian spectral radius
Half a century ago, Bollobás and Erdős [Bull. London Math. Soc. 5 (1973)] proved that every $n$-vertex graph $G$ with $e(G)\ge (1- \frac{1}{k} + \varepsilon )\frac{n^2}{2}$ edges contains a blowup $K_{k+1}[t]$ with $t=Ω_{k,\varepsilon}(\log n)$. A well-known theorem of Nikiforov [Combin. Probab. Comput. 18 (3) (2009)] asserts that if $G$ is an $n$-vertex graph with adjacency spectral radius $λ(G)\ge (1- \frac{1}{k} + \varepsilon)n$, then $G$ contains a blowup $K_{k+1}[t]$ with $t=Ω_{k,\varepsilon}(\log n)$. This gives a spectral version of the Bollobás--Erdős theorem. In this paper, we systematically explore variants of Nikiforov's result in terms of the signless Laplacian spectral radius, extending the supersaturation, blowup of cliques and the stability results.
Oriented Diameter of Mixed Graphs with Given Maximum Undirected Degree
In 2018, Dankelmann, Gao, and Surmacs [J. Graph Theory, 88(1): 5--17, 2018] established sharp bounds on the oriented diameter of a bridgeless undirected graph and a bridgeless undirected bipartite graph in terms of vertex degree. In this paper, we extend these results to \emph{mixed graphs}, which contain both directed and undirected edges.
Let the \emph{undirected degree} $d^*_G(x)$ of a vertex $x \in V(G)$ be the number of its incident undirected edges in a mixed graph $G$ of order $n$, and let the \emph{maximum undirected degree} be $Δ^*(G) = \max\{d^*_G(v) : v \in V(G)\}$. We prove that \begin{align*} \text{(1)}\quad & \overrightarrow{\mathrm{diam}}(G) \leq n - Δ^* + 3 && \text{if $G$ is undirected, or contains a vertex $u$ with $d^*_G(u) = Δ^*$} \\ & && \text{and $d^+_G(u) + d^-_G(u) \geq 2$, or $Δ^* = 5$ and $d^+_G(u) + d^-_G(u) = 1$;} \\ \text{(2)}\quad & \overrightarrow{\mathrm{diam}}(G) \leq n - Δ^* + 4 && \text{otherwise}. \end{align*} We also establish bounds for mixed bipartite graphs. If $G$ is a bridgeless mixed bipartite graph with partite sets $A$ and $B$, and $u \in B$, then \begin{align*} \text{(1)}\quad & \overrightarrow{\mathrm{diam}}(G) \leq 2(|A| - d(u)) + 7 && \text{if $G$ is undirected;\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ } \\ \text{(2)}\quad & \overrightarrow{\mathrm{diam}}(G) \leq 2(|A| - d^*(u)) + 8 && \text{if $d^+_G(u) + d^-_G(u) \geq 2$;} \\ \text{(3)}\quad & \overrightarrow{\mathrm{diam}}(G) \leq 2(|A| - d^*(u)) + 10 && \text{otherwise}. \end{align*}
All of the above bounds are sharp, except possibly the last one.
On the (in)equivalence of Brouwer's fixed point theorem and Sperner's lemma
We consider Brouwer's fixed point theorem and Sperner's lemma in one dimension. We present a proof of the Brouwer theorem using the Sperner lemma, and vice versa. However, we also show that they are not equivalent, because the Sperner lemma holds in the ordered field of rational numbers, whereas proving the Brouwer theorem requires the property of completeness.
Characterizing circle graphs with binomial partial Petrial polynomials
The partial Petrial polynomial was first introduced by Gross, Mansour, and Tucker as a generating function that enumerates the Euler genera of all possible partial Petrials on a ribbon graph. Yan and Li later extended this polynomial invariant to circle graphs by utilizing the correspondence between circle graphs and bouquets. Their explicit computation demonstrated that paths produce binomial polynomials, specifically those containing exactly two non-zero terms. This discovery led them to pose a fundamental characterization problem: identify all connected circle graphs whose partial Petrial polynomial is binomial. In this paper, we solve this open problem in terms of local complementation and prove that for connected circle graphs, the binomial property holds precisely when the graph is a path.
Method of Weighted Words on Cylindric Partitions
We study the generating functions of cylindric partitions having profile $c=(c_1, c_2, \ldots, c_r)$ with rank $2$ and levels $2, 3$ and $4$. As a result, we give expressions alternative to Borodin's formula for these generating functions. We use the method of weighted words which was first introduced by Alladi and Gordon, later was applied by Dousse in a new version to prove some partition identities and to get infinite products. We adapt the method to our subject with a more combinatorial approach.
Vertex-transitive nut graph order-degree existence problem
Published in Discrete Mathematics & Theoretical Computer Science, vol. 28:2, Graph Theory (January 10, 2026) dmtcs:15989
• View Publication
• BIB
A nut graph is a nontrivial simple graph whose adjacency matrix has a simple eigenvalue zero such that the corresponding eigenvector has no zero entries. It is known that the order $n$ and degree $d$ of a vertex-transitive nut graph satisfy $4 \mid d$, $d \ge 4$, $2 \mid n$ and $n \ge d + 4$; or $d \equiv 2 \pmod 4$, $d \ge 6$, $4 \mid n$ and $n \ge d + 6$. Here, we prove that for each such $n$ and $d$, there exists a $d$-regular Cayley nut graph of order $n$. As a direct consequence, we obtain all the pairs $(n, d)$ for which there is a $d$-regular vertex-transitive (resp. Cayley) nut graph of order $n$.
New orientable sequences
Orientable sequences of order n are infinite periodic sequences with symbols drawn from a finite alphabet of size k with the property that any particular subsequence of length n occurs at most once in a period in either direction. They were introduced in the early 1990s in the context of possible applications in position sensing. Bounds on the period of such sequences and a range of methods of construction have been devised, although apart from very small cases a significant gap remains between the largest known period for such a sequence and the best known upper bound. In this paper we first give improved upper bounds on the period of such sequences. We then give a new general method of construction for orientable sequences involving subgraphs of the de Bruijn graph with special properties, and describe two different approaches for generating such subgraphs. This enables us to construct orientable sequences with periods meeting the improved upper bounds when n is 2 or 3, as well as n=4 and k odd. For 4\leq n\leq 8, in some cases the sequences produced by the methods described have periods larger than for any previously known sequences.
Semisimple algebras related to immaculate tableaux
Given a direct sum $A$ of full matrix algebras, if there is a combinatorial interpretation associated with both the dimension of $A$ and the dimensions of the irreducible $A$-modules, then this can be thought of as providing an analogue of the famous Frobenius-Young identity $n! = \sum_{λ\vdash n} ( f^λ )^{2}$ derived from the semisimple structure of the symmetric group algebra $\mathbb{C}S_{n}$, letting $f^λ$ denote the number of Young tableaux of partition shape $λ\vdash n$. By letting $g^α$ denote the number of standard immaculate tableaux of composition shape $α\vDash n$, we construct an algebra $\mathbb{C}\mathcal{I}_{n}$ with a semisimple structure such that $\dim \mathbb{C}\mathcal{I}_{n} = \sum_{α\vDash n} (g^α)^{2}$ and such that $\mathbb{C}\mathcal{I}_{n} $ contains an isomorphic copy of $\mathbb{C}S_{n}$. We bijectively prove a recurrence for $\dim \mathbb{C}\mathcal{I}_{n}$ so as to construct a basis of $\mathbb{C}\mathcal{I}_{n}$ indexed by permutation-like objects that we refer to as immacutations. We form a basis $\mathcal{B}_{n}$ of $\mathbb{C}\mathcal{I}_{n}$ such that $\mathbb{C} \mathcal{B}_n$ has the structure of a monoid algebra in such a way so that $\mathcal{B}_n$ is closed under the multiplicative operation of $\mathbb{C} \mathcal{I}_n$, yielding a monoid structure on the set of order-$n$ immacutations.
Resnikoff silver numbers and tilings of the half-line (Dedicated to the memory of H.L.Resnikoff)
Building on work by H.L.Resnikoff we consider (Resnikoff) silver numbers, which generalize the familiar golden number. By definition, a silver number is the largest positive root of a certain polynomial called silver polynomial. In turn, a corresponding companion matrix of a silver polynomial gives rise to a well known construction of inflationary tilings of the (non-negative) real half-line, via an iteration of inflation and substitution. Resnikoff noted for the golden number $φ$ that this tiling corresponds to the set of what he called $φ$-integers. We generalize this result for a special class of silver numbers, the distinguished silver numbers, by showing that the integers for a distinguished silver number give rise to a tiling, of which we provide a precise description. For the general problem, whether the integers for an arbitrary silver number give rise to a tiling, we cannot give a general answer, but we show that tilings are obtained if and only if the differences of silver integers satisfy a (rather weak looking) non-accumulation condition. If tilings of this type exist for certain (necessarily non-distinguished) silver numbers, they would seem to form a class of inflationary tilings that differs from those obtained by inflation and substitution. In an Appendix we recall necessary notions and -- mostly known -- results, including the inflation-substitution construction principle for (one dimensional) inflationary tilings, in an elementary manner. For the readers' convenience we also collect the pertinent facts about non-negative matrices, thus the construction is accessible with only basic prerequisites from linear algebra and analysis. Finally, in our setting we give a detailed proof of a non-periodicity result that goes back to Penrose.