Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Mock Eisenstein series associated to partition ranks
In this paper, we introduce a new class of mock Eisenstein series, describe their modular properties, and write the partition rank generating function in terms of so-called partition traces of these. Moreover, we show the Fourier coefficients of the mock Eisenstein series are integral and we obtain a holomorphic anomaly equation for their completions.
Linear relations between face numbers of levels in arrangements
We study linear relations between face numbers of levels in arrangements. Let $V = \{ v_1, \ldots, v_n \} \subset \mathbf{R}^{r}$ be a vector configuration in general position, and let $\mathcal{A}(V)$ be polar dual arrangement of hemispheres in the $d$-dimensional unit sphere $S^d$, where $d=r-1$. For $0\leq s \leq d$ and $0 \leq t \leq n$, let $f_{s,t}(V)$ denote the number of faces of \emph{level} $t$ and dimension $d-s$ in the arrangement $\mathcal{A}(V)$ (these correspond to partitions $V=V_-\sqcup V_0 \sqcup V_+$ by linear hyperplanes with $|V_0|=s$ and $|V_-|=t$). We call the matrix $f(V):=[f_{s,t}(V)]$ the \emph{$f$-matrix} of $V$.
Completing a long line of research on linear relations between face numbers of levels in arrangements, we determine, for every $n\geq r \geq 1$, the affine space $\mathfrak{F}_{n,r}$ spanned by the $f$-matrices of configurations of $n$ vectors in general position in $\mathbf{R}^r$; moreover, we determine the subspace $\mathfrak{F}^0_{n,r} \subset \mathfrak{F}_{n,r}$ spanned by all \emph{pointed} vector configurations (i.e., such that $V$ is contained in some open linear halfspace), which correspond to point sets in $\mathbf{R}^d$. This generalizes the classical fact that the Dehn--Sommerville relations generate all linear relations between the face numbers of simple polytopes (the faces at level $0$) and answers a question posed by Andrzejak and Welzl in 2003.
The key notion for the statements and the proofs of our results is the $g$-matrix of a vector configuration, which determines the $f$-matrix and generalizes the classical $g$-vector of a polytope.
By Gale duality, we also obtain analogous results for partitions of vector configurations by sign patterns of nontrivial linear dependencies, and for \emph{Radon partitions} of point sets in $\mathbf{R}^d$.
A note on extendable sets of colorings and rooted minors
DeVos and Seymour (2003) proved that for every set $C$ of 3-colorings of a set $X$ of vertices, there exists a plane graph $G$ with vertices of $X$ incident with the outer face such that a 3-coloring of $X$ extends to a 3-coloring of $G$ if and only if it belongs to $C$. We prove a generalization of this claim for $k$-colorings of $X$-rooted-$K_{k+1}$-minor-free $K_{k+2}$-minor-free graphs.
Sublevels in arrangements and the spherical arc crossing number of complete graphs
Levels and sublevels in arrangements -- and, dually, $k$-sets and $(\leq k)$-sets -- are fundamental notions in discrete and computational geometry and natural generalizations of convex polytopes, which correspond to the $0$-level. A long-standing conjecture of Eckhoff, Linhart, and Welzl, which would generalize McMullen's Upper Bound Theorem for polytopes and provide an exact refinement of asymptotic bounds by Clarkson, asserts that for all $k\leq \lfloor \frac{n-d-2}{2}\rfloor$, the number of $(\leq k)$-sets of a set $S$ of $n$ points in $\mathbf{R}^d$ is maximized if $S$ is the vertex set of a neighborly polytope.
As a new tool for studying this conjecture and related problems, we introduce the $g$-matrix, which generalizes both the $g$-vector of a simple polytope and a Gale dual version of the $g$-vector studied by Lee and Welzl. Our main result is that the $g$-matrix of every vector configuration in $\mathbf{R}^3$ is non-negative, which implies the Eckhoff--Linhart--Welzl conjecture in the case where $d=n-4$.
As a corollary, we obtain the following result about crossing numbers: Consider a configuration $V\subset S^2 \subset \mathbf{R}^3$ of $n$ unit vectors, and connect every pair of vectors by the unique shortest geodesic arc between them in the unit sphere $S^2$. This yields a drawing of the complete graph $K_n$ in $S^2$, which we call a spherical arc drawing. Complementing previous results for rectilinear drawings, we show that the number of crossings in any spherical arc drawing of $K_n$ is at least $\frac{1}{4}\lfloor \frac{n}{2}\rfloor \lfloor \frac{n-1}{2}\rfloor \lfloor \frac{n-2}{2}\rfloor \lfloor \frac{n-3}{2}\rfloor$, which equals the conjectured value of the crossing number of $K_n$. Moreover, the lower bound is attained if $V$ is coneighborly, i.e., if every open linear halfspace contains at least $\lfloor (n-2)/2 \rfloor$ of the vectors in $V$.
The row left rank of quaternion unit gain graphs in terms of pendant vertices
Let $\widetilde{G}=(G,U(\mathbb{Q}),\varphi)$ be a quaternion unit gain graph (or $U(\mathbb{Q})$-gain graph), where $G$ is the underlying graph of $\widetilde{G}$, $U(\mathbb{Q})=\{q\in \mathbb{Q}: |q|=1\}$ and $\varphi:\overrightarrow{E}\rightarrow U(\mathbb{Q})$ is the gain function such that $\varphi(e_{ij})=\varphi(e_{ji})^{-1}=\overline{\varphi(e_{ji})}$ for any adjacent vertices $v_{i}$ and $v_{j}$. Let $A(\widetilde{G})$ be the adjacency matrix of $\widetilde{G}$ and let $r(\widetilde{G})$ be the row left rank of $\widetilde{G}$. In this paper, we prove some lower bounds on the row left rank of $U(\mathbb{Q})$-gain graphs in terms of pendant vertices. All corresponding extremal graphs are characterized.
The signless Laplacian spectral Turán problems for color-critical graphs
The well-known Turán theorem states that if $G$ is an $n$-vertex $K_{r+1}$-free graph, then $e(G)\le e(T_{n,r})$, with equality if and only if $G$ is the $r$-partite Turán graph $T_{n,r}$. A graph $F$ is called color-critical if it contains an edge whose deletion reduces its chromatic number. Extending the Turán theorem, Simonovits (1968) proved that for any color-critical graph $F$ with $χ(F)=r+1$ and sufficiently large $n$, the Turán graph $T_{n,r}$ is the unique graph with maximum number of edges among all $n$-vertex $F$-free graphs. Subsequently, Nikiforov [Electron. J. Combin., 16 (1) (2009)] proved a spectral version of the Simonovits theorem in terms of the adjacency spectral radius. In this paper, we show an extension of the Simonovits theorem for the signless Laplacian spectral radius. We prove that for any color-critical graph $F$ with $χ(F)=r+1\ge 4$ and sufficiently large $n$, if $G$ is an $F$-free graph on $n$ vertices, then $q(G)\le q(T_{n,r})$, with equality if and only if $G=T_{n,r}$. Our approach is to establish a signless Laplacian spectral version of the criterion of Keevash, Lenz and Mubayi [SIAM J. Discrete Math., 28 (4) (2014)]. Consequently, we can determine the signless Laplacian spectral extremal graphs for generalized books and even wheels. As an application, our result gives an upper bound on the degree power of an $F$-free graph. We show that if $n$ is sufficiently large and $G$ is an $F$-free graph on $n$ vertices with $m$ edges, then $\sum_{v\in V(G)} d^2(v) \le 2(1- \frac{1}{r})mn$, with equality if and only if $G$ is a regular Turán graph $T_{n,r}$. This extends a result of Nikiforov and Rousseau [J. Combin. Theory Ser B 92 (2004)].
Equidistribution in 2-Nilpotent Polish Groups and triple restricted sumsets
The aim of this paper is to establish a Ratner-type equidistribution theorem for orbits on homogeneous spaces associated with $2$-nilpotent locally compact Polish groups under the action of a countable discrete abelian group. We apply this result to establish the existence of triple restricted sumsets in subsets of positive density in arbitrary countable discrete abelian groups, subject to a necessary finiteness condition.
Shuffling via Transpositions
We consider a family of card shuffles of $n$ cards, where the allowed moves involve transpositions corresponding to the Jucys--Murphy elements of $\{S_m\}_{m \leq n}$. We diagonalize the transition matrix of these shuffles. As a special case, we consider the $k$-star transpositions shuffle, a natural interpolation between random transpositions and star transpositions. We proved that the $k$-star transpositions shuffle exhibits total variation cutoff at time $\frac{2n-(k+1)}{2(n-1)}n\log n$ with a window of $\frac{2n-(k+1)}{2(n-1)}n$. Furthermore, we prove that for the case where $k/n \rightarrow 0$ or $1$, this shuffle has the same limit profile as random transpositions, which has been fully determined by Teyssier.
A counterexample to a conjecture by Salez and Youssef
Remarkable progress has been made in recent years to establish log-Sobolev type inequalities under the assumption of discrete Ricci curvature bounds. More specfically, Salez and Youssef have proven that the log-Sobolev constant can be lower bounded by the Bakry Emery curvature lower bound divided by the logarithm of the sparsity parameter. They conjectured that the same holds true when replacing Bakry Emery by Ollivier curvature which is often times easier to compute in practice. In this paper, we show that this conjecture is wrong by giving a counter example on birth death chains of increasing length.
Multigraphs with Unique Partition into Cycles
Due to Veblen's Theorem, if a connected multigraph $X$ has even degrees at each vertex, then it is Eulerian and its edge set has a partition into cycles. In this paper, we show that an Eulerian multigraph has a unique partition into cycles if and only if it belongs to the family $\mathcal{S}$, ``bridgeless cactus multigraphs", elements of which are obtained by replacing every edge of a tree with a cycle of length $\geq 2$. Other characterizing conditions for bridgeless cactus multigraphs and digraphs are provided.
Furthermore, for a digraph $D$, we list conditions equivalent to having a unique Eulerian circuit, thereby generalizing a previous result of Arratia-Bollobás-Sorkin. In particular, we show that digraphs with a unique Eulerian circuit constitute a subfamily of $\mathcal{S}$, namely, ``Christmas cactus digraphs".
Improved Bounds for Codes over Trees
Codes over trees were introduced recently to bridge graph theory and coding theory with diverse applications in computer science and beyond. A central challenge lies in determining the maximum number of labelled trees over $n$ nodes with pairwise distance at least $d$, denoted by $A(n,d)$, where the distance between any two labelled trees is the minimum number of edit edge operations in order to transform one tree to another. By various tools from graph theory and algebra, we show that when $n$ is large, $A(n,d)=O((Cn)^{n-d})$ for any $d\leq n-2$, and $A(n,d)=Ω((cn)^{n-d})$ for any $d$ linear with $n$, where constants $c\in(0,1)$ and $C\in [1/2,1)$ depending on $d$. Previously, only $A(n,d)=O(n^{n-d-1})$ for fixed $d$ and $A(n,d)=Ω(n^{n-2d})$ for $d\leq n/2$ were known, while the upper bound is improved for any $d$ and the lower bound is improved for $d\geq 2\sqrt{n}$. Further, for any fixed integer $k$, we prove the existence of codes of size $Ω(n^k)$ when $n-d=o(n)$, and give explicit constructions of codes which show $A(n,n-4)=Ω(n^2)$ and $A(n,n-13)=Ω(n^3)$.
Mutation Cycles from Reddening Sequences
Given two quivers, each with a reddening sequence, we show how to construct a plethora of mutation cycles. We give several examples, including a generalization of the construction of long mutation cycles in earlier work by the second author. We also give new results on the reddening sequences of certain mutation-acyclic quivers and forks, classifying them in some cases.
Existence of trees with prescribed maximum degrees and spectral radii
It is well known that the spectral radius $ρ(T)$ of a tree $T$ with at least $3$ vertices has the property that $\frac 14ρ(T)^2+1<Δ(T)\le ρ(T)^2$, where $Δ(T)$ is the maximum degree of $T$. Let $\mathbb{P}$ denote the set of spectral radii of all non-trivial trees. In this article, we study the inverse problem that for any $α\in \mathbb{P}$ and integer $r$ satisfying the condition $\frac 14α^2+1<r\le α^2$, is there a tree $T$ such that $Δ(T)=r$ and $ρ(T)=α$?
For any positive integer $r$ and positive number $α$, let ${\mathscr W}_r(α)$ denote a set of non-negative real numbers defined as follows: $α\in {\mathscr W}_r(α)$, and for any multi-set $\{q_i\in {\mathscr W}_r(α): q_i>0, 1\le i\le s\}$, if $β:=α-\sum\limits_{i=1}^sq_i^{-1}\ge 0$ and $s\le r-\left \lceil \fracβ{β+1}\right\rceil$, then $β\in {\mathscr W}_r(α)$. We first show that $0\in {\mathscr W}_r(α)$ if and only if there exists a tree $T$ with $Δ(T)\le r$ and $ρ(T)=α$. It follows directly that $\mathbb{P}$ is exactly the set of positive numbers $α$ such that $0\in {\mathscr W}_{\lfloorα^2\rfloor}(α)$. Applying this conclusion, we prove that for any two positive integers $r\ge 2$ and $k$, there exists a tree $T$ with $Δ(T)=r$ and $ρ(T)=\sqrt k$ if and only if $\frac 14 k+1<r\le k$.
Sufficient conditions for a graph with minimum degree to have a component factor
Let $\mathcal{T}_{\frac{k}{r}}$ denote the set of trees $T$ such that $i(T-S)\leq\frac{k}{r}|S|$ for any $S\subset V(T)$ and for any $e\in E(T)$ there exists a set $S^{*}\subset V(T)$ with $i((T-e)-S^{*})>\frac{k}{r}|S^{*}|$, where $r<k$ are two positive integers. A $\{C_{2i+1},T:1\leq i<\frac{r}{k-r},T\in\mathcal{T}_{\frac{k}{r}}\}$-factor of a graph $G$ is a spanning subgraph of $G$, in which every component is isomorphic to an element in $\{C_{2i+1},T:1\leq i<\frac{r}{k-r},T\in\mathcal{T}_{\frac{k}{r}}\}$. Let $A(G)$ and $Q(G)$ denote the adjacency matrix and the signless Laplacian matrix of $G$, respectively. The adjacency spectral radius and the signless Laplacian spectral radius of $G$, denoted by $ρ(G)$ and $q(G)$, are the largest eigenvalues of $A(G)$ and $Q(G)$, respectively. In this paper, we study the connections between the spectral radius and the existence of a $\{C_{2i+1},T:1\leq i<\frac{r}{k-r},T\in\mathcal{T}_{\frac{k}{r}}\}$-factor in a graph. We first establish a tight sufficient condition involving the adjacency spectral radius to guarantee the existence of a $\{C_{2i+1},T:1\leq i<\frac{r}{k-r},T\in\mathcal{T}_{\frac{k}{r}}\}$-factor in a graph. Then we propose a tight signless Laplacian spectral radius condition for the existence of a $\{C_{2i+1},T:1\leq i<\frac{r}{k-r},T\in\mathcal{T}_{\frac{k}{r}}\}$-factor in a graph.
Evolutionary Generation of Random Surreal Numbers for Benchmarking
Published in Genetic and Evolutionary Computation Conference (GECCO '25), July 14--18, 2025, Malaga
• View Publication
• BIB
There are many areas of scientific endeavour where large, complex datasets are needed for benchmarking. Evolutionary computing provides a means towards creating such sets. As a case study, we consider Conway's Surreal numbers. They have largely been treated as a theoretical construct, with little effort towards empirical study, at least in part because of the difficulty of working with all but the smallest numbers. To advance this status, we need efficient algorithms, and in order to develop such we need benchmark data sets of surreal numbers. In this paper, we present a method for generating ensembles of random surreal numbers to benchmark algorithms. The approach uses an evolutionary algorithm to create the benchmark datasets where we can analyse and control features of the resulting test sets. Ultimately, the process is designed to generate networks with defined properties, and we expect this to be useful for other types of network data.
The row left rank of a quaternion unit gain graph in terms of maximum degree
Let $Φ=(G,U(\mathbb{Q}),\varphi)$ be a quaternion unit gain graph (or $U(\mathbb{Q})$-gain graph) of order $n$, $A(Φ)$ be the adjacency matrix of $Φ$ and $r(Φ)$ be the row left rank of $Φ$. Let $Δ$ be the maximum degree of $Φ$. In this paper, we prove that $r(Φ)\geq\frac{n}Δ$. Moreover, if $Φ$ is connected, we obtain that $r(Φ)\geq\frac{n-2}{Δ-1}$. All the corresponding extremal graphs are characterized.
Preservation of notion of C sets near zero over reals
There are several notions of largeness in a semigroup. N. Hindman and D. Strauss established that if $u,v \in \mathbb{N}$, $A$ is a $u \times v$ matrix with entries from $\mathbb{Q}$ and $ψ$ is a notion of a large set in $\mathbb{N}$, then $\{\vec{x} \in \mathbb{N}^v: A\vec{x} \in ψ^u \}$ is large in $\mathbb{N}^v$. Among the several notions of largeness, C sets occupies an important place of study because they exhibit strong combinatorial properties. The analogous notion of C set appears for a dense subsemigroup $S$ of $((0, \infty),+)$ called a C-set near zero. These sets also have very rich combinatorial structure. In this article, we investigate the above result for C sets near zero in $\mathbb{R}^+$ when the matrix has real entries. We also develop a new characterisation of C-sets near zero in $\mathbb{R}^+$.
On a Characterization of Spartan Graphs
The eternal vertex cover game is played between an attacker and a defender on an undirected graph $G$. The defender identifies $k$ vertices to position guards on to begin with. The attacker, on their turn, attacks an edge $e$, and the defender must move a guard along $e$ to defend the attack. The defender may move other guards as well, under the constraint that every guard moves at most once and to a neighboring vertex. The smallest number of guards required to defend attacks forever is called the eternal vertex cover number of $G$, denoted $evc(G)$.
For any graph $G$, $evc(G)$ is at least the vertex cover number of $G$, denoted $mvc(G)$. A graph is Spartan if $evc(G) = mvc(G)$. It is known that a bipartite graph is Spartan if and only if every edge belongs to a perfect matching. We show that the only König graphs that are Spartan are the bipartite Spartan graphs. We also give new lower bounds for $evc(G)$, generalizing a known lower bound based on cut vertices. We finally show a new matching-based characterization of all Spartan graphs.
On Macdonald expansions of $q$-chromatic symmetric functions and the Stanley-Stembridge Conjecture
The Stanley-Stembridge conjecture asserts that the chromatic symmetric function of a $(3+1)$-free graph is $e$-positive. Recently, Hikita proved this conjecture by giving an explicit $e$-expansion of the Shareshian-Wachs $q$-chromatic refinement for unit interval graphs. Using the $\mathbb{A}_{q,t}$ algebra, we give an expansion of these $q$-chromatic symmetric functions into Macdonald polynomials. Upon setting $t=1$, we obtain another proof of the Stanley-Stembridge conjecture and rederive Hikita's formula. Upon setting $t=0$, we obtain an expansion into Hall-Littlewood symmetric functions.
Quasipolynomial bounds for the corners theorem
Let $G$ be a finite abelian group and $A$ be a subset of $G \times G$ which is corner--free, meaning that there are no $x, y \in G$ and $d \in G \setminus \{0\}$ such that $(x, y)$, $(x+d, y)$, $(x, y+d) \in A$. We prove that \[|A| \le |G|^2 \cdot \exp(-(\log |G|)^{Ω(1)}).\] As a consequence, we obtain polynomial (in the input length) lower bounds on the nondeterministic communication complexity of Exactly-N in the 3-player Number-on-Forehead model. We also obtain the first "reasonable'' lower bounds on the coloring version of the $3$-dimensional corners problem, as well as on the nondeterministic communication complexity of Exactly-N in the 4-player Number-on-Forehead model.