Showing 20 papers (Total: 81378 papers, 47165 authors in database)
On Borel orbits of quadratic forms in characteristic 2
We consider the spherical variety of quadratic forms over a quadratically closed field of characteristic 2, and determine its orbits for the action of the Borel subgroup of upper triangular matrices. We exhibit a connection between these orbits and the Catalan triangle numbers. In addition, we describe explicitly a natural Weyl group action on the set of Borel orbit double covers
Equidistant dimension of Cartesian product graphs
Given a connected graph $G$, the equidistant dimension of $G$ represents the cardinality of the smallest set of vertices $S$ of $G$ such that for any two vertices $x,y\notin S$ there is at least one vertex in $S$ equidistant to both $x,y$ in terms of distances. In this article, we compute the equidistant dimension of some Cartesian product graphs including two-dimensional Hamming graphs, some hypercubes, prisms of cycle, and squared grid graphs.
Quantitative indistinguishability and sparse and dense clusters in factor of IID percolations
Chifan-Ioana (2010) implies that, for any factor of IID percolation on any nonamenable Cayley graph $G$, there is a countable set of (strong) indistinguishability classes for non-hyperfinite clusters. We introduce quantitative strengthenings, called (qI) and (qSI): for $η$-non-hyperfinite clusters, there are at most $M(G,η)<\infty$ (strong) indistinguishability classes, for any FIID percolation.
We first show that (qI) and (qSI) for any $G$ are equivalent to the ``sparse implies thin'' property (SiT): any FIID percolation with $η$-non-hyperfinite clusters has density at least $c(G,η)>0$. Also, (SiT) is independent of the finite generating set of a group. We prove, using entropy inequalities, that (SiT) holds for free groups, even for weak FIIDs. On the other hand, recent work of Jardón-Sánchez, Mellick, Poulin, and Wróbel implies that (SiT) fails for weak FIIDs on non-exact, i.e., not property (A) groups.
Furthermore, (SiT) implies that the Bernoulli graphing over any non-hyperfinite FIID cluster is strongly ergodic, and that indistinguishability for non-hyperfinite FIID clusters is equivalent to strong indistinguishability. These results follow from the work of Chifan-Ioana for every nonamenable Cayley graph, but with non-probabilistic proofs.
We also prove, again using entropy inequalities, this time for all nonamenable Cayley graphs, that any FIID percolation with high enough expected degree must have a density close to 1, and there must be a single indistinguishability class of such clusters. On Kazhdan groups, there must be a single such cluster.
Our results have finite counterparts: in any large girth $d$-regular graph sequence, any FIID subgraph of average degree at least $2+δ$ must have density at least $c(d,δ)>0$. In the uniform random d-regular graph $G_{n,d}$, this holds for every subgraph of average degree at least $2+δ$.
Exact supported co-degree bounds for Hamilton cycles
For any $k\ge 3$ and $\ell \in [k-1]$ such that $(k,\ell) \ne (3,1)$, we show that any sufficiently large $k$-graph $G$ must contain a Hamilton $\ell$-cycle provided that it has no isolated vertices and every set of $k-1$ vertices contained in an edge is contained in at least $\left(1 - \frac{1}{\lfloor{\frac{k}{k-\ell}\rfloor}(k-\ell)}\right)n - (k - 3)$ edges. We also show that this bound is tight for infinitely many values of $k$ and $\ell$ and is off by at most $1$ for all others, and is hence essentially optimal. This improves an asymptotic version of this result due to Mycroft and Zárate-Guerén, and the case $\ell = k-1$ completely resolves a conjecture of Illingworth, Lang, Müyesser, Parczyk and Sgueglia.
These results support the utility of $\textit{minimum}$ $\textit{supported}$ $\textit{co-degree}$ conditions in a $k$-graph, a recently introduced variant of the standard notion of minimum co-degree applicable to $k$-graphs with non-trivial strong independent sets. Our proof techniques involve a novel blow-up tiling framework introduced by Lang, avoiding traditional approaches using the regularity and blow-up lemmas.
Enumeration of maps with the Dumitriu-Edelman model
We give an expansion in $1/N$ and $β$ of the cumulants of power sums of the particles of the $β$-ensemble. This new expansion is obtained using the tridiagonal model of Dumitriu and Edelman. The coefficients of the expansion are expressed in terms of suitably labelled maps introduced by Bouttier, Fusy, and Guitter. Our expansion is of a different nature than the one obtained by LaCroix in is study of the $b$-conjecture of Goulden and Jackson, and involves only orientable maps. We are able to relate bijectively the first two orders of our expansion to the one of LaCroix using a novel many-to-one mapping that relates suitably labelled planar maps with two minima and maps on the projective plane.
The local homological structure of generalized splines
Generalized splines are a simultaneous generalization of GKM theory -- which studies equivariant cohomology -- and classical splines, which provide piecewise approximations of functions. Generalized splines can also be understood via schemes, with the interpolation constraints -- or so-called GKM-condition -- encoded by gluing along certain closed subschemes. This view provides a local-global principle, with the local pictures retaining the generalized spline structure. Consequently, the behavior of generalized splines over local rings controls certain global phenomena, such as projectivity and often freeness.
We introduce an interface between the homological study of local rings and the combinatorial study of generalized splines. We identify precisely how the generalized spline structure coordinates with the existing homological local ring machinery. This is accomplished by two exact sequences that provide a regulatory structure on the local cohomology of a generalized spline module. As an application, we use this to prove that for any edge-labeled graph $G$ with principal ideal labels, and any Cohen-Macaulay ring $R$ of Krull dimension 2 at each maximal ideal, the module of splines $R_G$ is free, provided it has finite projective dimension. As a special case, this implies every generalized spline module over $k[x,y]$ with principal edge labels is free.
Nahm sum identities for Cartan matrices of type $D_k$
Around 2007, Warnaar proved four identities related to Nahm sums associated with twice the inverse of the Cartan matrix of type $D_k$. Three of these had been conjectured by Flohr, Grabow, and Koehn, while special cases of two of the identities were first conjectured in 1993 by Kedem, Klassen, McCoy, and Melzer. Warnaar's proof relies on a multi-sum identity from Andrews' proof of the Andrews-Gordon identities. We give a new proof of all four identities using the theory of Bailey pairs. Furthermore, we establish a parametric generalization of two of the identities and provide two distinct proofs of this generalization.
How many coin tosses would you need until you get $n$ Heads or $m$ Tails?
We harness both human ingenuity and the power of symbolic computation to study the number of coin tosses until reaching $n$ Heads or $m$ Tails. We also talk about the closely related problem of reaching $n$ Heads and $m$ Tails. This paper is accompanied by a Maple package that enables fast computation of expectations, variances, and higher moments of these quantities.
Progress on Albertson's Conjecture
Albertson conjectured that every graph with chromatic number $r$ has crossing number at least the crossing number of the complete graph $K_r$. This conjecture was proved for $r\le 12$ by Albertson, Cranston, and Fox; for $r\le 16$ by Barát and Tóth; and for $r\le 18$ by Ackerman. Here we verify it for $r\le 24$; we also greatly restrict the possibilities for counterexamples when $r\in\{25,26\}$. In addition, we strengthen earlier work bounding the order of a minimum counterexample for each choice of $r$: we exclude the possibility that $|G|\ge 2.82r$ and exclude the possibility that $1.228r\le |G|\le 1.768r$. Finally, as $r$ grows, we extend the lower end of this range of excluded orders for a minimum counterexample. In particular: if $r\ge 125{,}000$, then we exclude the possibility that $1.10r\le |G|\le 1.768r$; and if $r\ge 825{,}000$, then we exclude the possibility that $1.05r\le |G|\le 1.768r$.
Spectrally symmetric orientations of graphs
The Hermitian adjacency matrices of digraphs based on the sixth root of unity were introduced in [B. Mohar, A new kind of Hermitian matrices for digraphs, Linear Alg. Appl. (2020)]. They appear to be the most natural choice for the spectral theory of digraphs. Undirected graphs have adjacency spectrum symmetric about 0 if and only if they are bipartite. The situation is more complex for the Hermitian spectra of digraphs. In this paper we study non-bipartite oriented graphs with symmetric Hermitian spectra. Our main result concerns the extremal problem of maximizing the density of spectrally symmetric oriented graphs. The maximum possible density is shown to be between 13/18} and 10/11. Furthermore, we give a necessary condition for an oriented graph to be spectrally symmetric based on the adjacency spectrum of the underlying graph. This allows us to show that line graphs of sufficiently dense graphs do not admit spectrally symmetric orientations. We also show how to construct infinite families of spectrally symmetric graphs using 1-sums.
Online Ramsey turnaround numbers
The online Ramsey turnaround game is a game between two players, Builder and Painter, on a board of $n$ vertices using $3$ colors, for a fixed graph $H$ on at most $n$ vertices. The goal of Painter is to force a monochromatic copy of $H$, the goal of Builder is to avoid this as long as possible. In each round of the game, Builder exposes one new edge and is allowed to forbid the usage of one color for Painter to color this newly exposed edge, and Painter colors the edge according to this restriction. The game is over as soon as Painter manages to achieve a monochromatic copy of $H$. For sufficiently large $n$, we consider the smallest number $f(n, H)$ of edges so that Painter can always win after $f(n, H)$ edges have been exposed by Builder. In addition, we define $f(H)$ to be the smallest $n$ such that Painter can always win on a clique with $n$ vertices. We give bounds for both functions and show that this problem is closely related to other concepts in extremal graph theory, such as polychromatic colorings, set-coloring Ramsey numbers, chromatic Ramsey numbers, and 2-color Turán numbers.
Generalized Interlacing Families: New Error Bounds for CUR Matrix Decompositions
This paper introduces the concept of generalized interlacing families of polynomials, which extends the classical interlacing polynomial method to handle polynomials of varying degrees. We establish a fundamental property for these families, proving the existence of a polynomial with a desired degree whose smallest root is greater than or equal to the smallest root of the expected polynomial. Applying this framework to the generalized CUR matrix approximation problem, we derive a theoretical upper bound on the spectral norm of a residual matrix, expressed in terms of the largest root of the expected polynomial. We then explore two important special cases: the classical CUR matrix decompositions and the row subset selection problem. For classical CUR matrix decompositions, we derive an explicit upper bound for the largest root of the expected polynomial. This yields a tighter spectral norm error bound for the residual matrix compared to many existing results. Furthermore, we present a deterministic polynomial-time algorithm for solving the classical CUR problem under certain matrix conditions. For the row subset selection problem, we establish the first known spectral norm error bound. This paper extends the applicability of interlacing families and deepens the theoretical foundations of CUR matrix decompositions and related approximation problems.
Totally nonnegative Peterson variety and strongly dominant weight polytope
We study the totally nonnegative part of the Peterson variety in arbitrary Lie type and establish its connection to the strongly dominant weight polytope. In particular, we prove that the totally nonnegative part of the Peterson variety is a regular CW-complex, which is homeomorphic to a cube as a cell-decomposed space. This confirms a conjecture of Rietsch for all Lie types.
Some explicit values of a $q$-multiple zeta function whose denominator power is not uniform
One of the generalizations of multiple zeta values is the $q$-version, and in the case of finite sums, they may be expressed explicitly in polynomial form. Several results have been found when the powers of the factors in the denominator are equal and when they are small. In this paper, we give explicit formulas for the case when the powers are unequal and are small.
Berge Hamilton cycles in a random sparsification of dense hypergraphs
In the standard random graph process, edges are added to an initially empty graph one by one uniformly at random. A classic result by Ajtai, Komlós, and Szemerédi, and independently by Bollobás, states that in the standard random graph process, with high probability, the graph becomes Hamiltonian exactly when its minimum degree becomes $2$; this is known as a \emph{hitting time} result. Johansson extended this result by showing the following: For a graph $G$ with $δ(G) \geq (1/2+\varepsilon)n$, in the random graph process constrained to the host graph $G$, the hitting times for minimum degree $2$ and Hamiltonicity still coincide with high probability.
In this paper, we extend Johansson's result to Berge Hamilton cycles in hypergraphs. We prove that if an $r$-uniform hypergraph $H$ satisfies either $δ_1(H) \geq (\frac{1}{2^{r-1}} + \varepsilon)\binom{n-1}{r-1}$ or $δ_2(H) \geq \varepsilon n^{r-2}$, then in the random process generated by the edges of $H$, the time at which the hypergraph reaches minimum degree $2$ coincides with the time at which it contains a Berge Hamilton cycle with high probability. This generalizes the work of Bal, Berkowitz, Devlin, and Schacht, who established the result for the case where $H$ is a complete $r$-uniform hypergraph.
The Intersection Cohomology of a Fan and the Hodge Conjecture for Toric Varieties
We formulate a combinatorial version of the Intersection Hodge Conjecture for projective toric varieties. The conjecture asserts that the subspace of rational Hodge classes in the intersection cohomology $IH^*(X_Σ)$ is generated by the classes of algebraic cycles. We define the space of combinatorial Hodge classes, $Hdg^k_{\mathrm{comb}}(Σ) \subset IH^{2k}_{\mathrm{comb}}(Σ, \mathbb{Q})$, using the combinatorial intersection cohomology theory for fans developed by Barthel, Brasselet, Fieseler, and Kaup. We conjecture that this space is spanned by the combinatorial cycle classes corresponding to torus-invariant subvarieties. We verify this conjecture for all projective toric varieties of dimension $n \le 3$ and for the class of simplicial projective toric varieties. Finally, we provide an algorithmic framework to verify the conjecture for arbitrary rational fans.
Stationary list colorings
Komjath studied the list chromatic number of infinite graphs and introduced the notion of restricted list chromatic number. For a graph $X=(V_X,E_X)$ and a cardinal $κ$, we say that $X$ is restricted list colorable for $κ$ if for every $L:V_X\to[κ]^κ$ there is a choice function $c$ of $L$ such that $c(v)\neq c(w)$ whenever ${v,w}\in E_X$. In this paper, we discuss a variation, stationary list colorability for $κ$, obtained by replacing $[κ]^κ$ with the set of all stationary subsets of $κ$. We compare the stationary list colorability with other coloring properties. Among other things, we prove that the stationary list colorability is essentially different from other coloring properties including the restricted list colorability. We also prove the consistency result showing that for some $κ<λ$, restricted and stationary list colorability at $κ$ do not imply the corresponding properties at $λ$.
Circular Chromatic Numbers, Balanceability, Relation Algebras, and Network Satisfaction Problems
In this paper, we characterize graphs with circular chromatic number less than 3 in terms of certain balancing labellings studied in the context of signed graphs. In fact, we construct a signed graph which is universal for all such labellings of graphs with circular chromatic number less than $3$, and is closely related to the generic circular triangle-free graph studied by Bodirsky and Guzmán-Pro. Moreover, our universal structure gives rise to a representation of the relation algebra $56_{65}$. We then use this representation to show that the network satisfaction problem described by this relation algebra belongs to NP. This concludes the full classification of the existence of a universal square representation, as well as the complexity of the corresponding network satisfaction problem, for relation algebras with at most four atoms.
Bell Numbers and Stirling Numbers of the Mycielskian of Trees
We establish explicit formulas for Bell numbers and graphical Stirling numbers of complete multipartite graphs, complete bipartite graphs with removed perfect matchings, and Mycielskian trees. For complete multipartite graphs $K(n_1,\ldots,n_\ell)$, we provide a simplified proof that $B(G) = \prod_{i=1}^\ell \bell{n_i}$. We derive $B(K_{n,n} - M) = \sum_{k=0}^{n} \binom{n}{k} \bell{k}^2$ for removed perfect matching $M$, and for Mycielskian star graphs, $B(M(St_n); 3) = 2^n + 1$ and $B(M(St_n); 2n) = 2n^2 - 3n + 3$. Results extend to Mycielskians of arbitrary trees. Our computational verifications establish links between graphical Bell numbers and fundamental sequences in combinatorics and pattern avoidance, including identification of several OEIS entries: A000051, A096376, A116735, A384980, A384981, A384988, A385432, and A385437.
Combinatorial proofs of totals of some statistics on Catalan words
A Catalan word is one on the alphabet of positive integers starting with $1$ in which each subsequent letter is at most one more than its predecessor. Let $\mathcal{C}_n$ denote the set of Catalan words of length $n$. In this paper, we give combinatorial proofs of explicit formulas for the sums of several parameter values taken over all the members of $\mathcal{C}_n$. In particular, we find such proofs for the parameters tracking the number of symmetric or $\ell$-valleys, which was previously requested by Baril et al. Further, we find a combinatorial explanation of a related Catalan number identity whose proof was also requested. To carry out our arguments, we consider corresponding statistics on Dyck paths and find the cardinality of certain sets of marked Dyck paths wherein one or more of the steps is distinguished from all others.