Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Fixed points of reverse Hessenberg convolution varieties
Associated to any unit interval graph, Syu Kato introduced a variety which gives (via the geometric Satake correspondence) a graded $GL_m$ representation whose character is the chromatic quasisymmetric polynomial of the graph. In this short note, we reprove Kato's result by analyzing the fixed points of his varieties.
Differential Equations for Moving Hyperplane Arrangements
Published in Special volume on Positive Geometry, Le Matematiche, 80(1):409-429, 2025
• Search Publication
We investigate Mellin integrals of products of hyperplanes, raised to an individual power each. We refer to the resulting functions as combinatorial correlators. We investigate their behavior when moving the hyperplanes individually. To encode these functions as holonomic functions in the constant terms of the hyperplanes, we aim to construct a holonomic annihilating $D$-ideal purely in terms of the hyperplane arrangement.
Local limit theorem for joint subgraph counts
Extending a previous result of the first two authors, we prove a local limit theorem for the joint distribution of subgraph counts in the Erdős-Rényi random graph $G(n,p)$. This limit can be described as a nonlinear transformation of a multivariate normal distribution, where the components of the multivariate normal correspond to the graph factors of Janson. As an application, we show a number of results concerning the existence and enumeration of proportional graphs and related concepts, answering various questions of Janson and collaborators in the affirmative.
Polynomial Inscriptions
Published
• View Publication
• BIB
We prove that for every smooth Jordan curve $γ\subset \mathbb{C}$ and for every set $Q \subset \mathbb{C}$ of six concyclic points, there exists a non-constant quadratic polynomial $p \in \mathbb{C}[z]$ such that $p(Q) \subset γ$. The proof relies on a theorem of Fukaya and Irie. We also prove that if $Q$ is the union of the vertex sets of two concyclic regular $n$-gons, there exists a non-constant polynomial $p \in \mathbb{C}[z]$ of degree at most $n-1$ such that $p(Q) \subset γ$. The proof is based on a computation in Floer homology. These results support a conjecture about which point sets $Q \subset \mathbb{C}$ admit a polynomial inscription of a given degree into every smooth Jordan curve $γ$.
Arbitrary Spectral Edge of Regular Graphs
We prove that for each $d\geq 3$ and $k\geq 2$, the set of limit points of the first $k$ eigenvalues of sequences of $d$-regular graphs is
\[
\{(μ_1,\dots,μ_k): d=μ_1\geq \dots\geq μ_{k}\geq2\sqrt{d-1}\}.
\] The result for $k=2$ was obtained by Alon and Wei, and our result confirms a conjecture of theirs. Our proof uses an infinite random graph sampled from a distribution that generalizes the random regular graph distribution. To control the spectral behavior of this infinite object, we show that Huang and Yau's proof of Friedman's theorem bounding the second eigenvalue of a random regular graph generalizes to this model. We also bound the trace of the non-backtracking operator, as was done in Bordenave's separate proof of Friedman's theorem.
A Short Proof of the Existence of $K_q^r$-absorbers
We codify a short self-contained proof of the existence of $K_q^r$-absorbers implicit in Keevash's original proof of the Existence Conjecture. Combining this with the work of the first and third authors in yields a proof of the Existence Conjecture for Combinatorial Designs that is not reliant on the construction of $K_q^r$-absorbers by Glock, Kühn, Lo, and Osthus.
Building monomial ideals with fixed betti numbers
Motivated by the fact that as the number of generators of an ideal grows so does the complexity of calculating relations among the generators, this paper identifies collections of monomial ideals with a growing number of generators which have predictable free resolutions. We use elementary collapses from discrete homotopy theory to construct infinitely many monomial ideals, with an arbitrary number of generators, which have similar or the same betti numbers. We show that the Cohen-Macaulay property in each unmixed (pure) component of the ideal is preserved as the ideal is expanded.
The weak Lefschetz properties of artinian monomial algebras associated to certain tadpole graphs
Given a simple graph $G$, the artinian monomial algebra associated to $G$, denoted by $A(G)$, is defined by the edge ideal of $G$ and the squares of the variables. In this article, we classify some tadpole graphs $G$ for which $A(G)$ has or fails the weak Lefschetz property.
When entropy meets Turán: new proofs and hypergraph Turán results
Published
• View Publication
• BIB
In this paper, we provide a new proof of a density version of Turán's theorem. We also rephrase both the theorem and the proof using entropy. With the entropic formulation, we show that some naturally defined entropic quantity is closely connected to other common quantities such as Lagrangian and spectral radius. In addition, we also determine the Turán density for a new family of hypergraphs, which we call tents. Our result can be seen as a new generalization of Mubayi's result on the extended cliques.
Hamiltonicity of Transitive Graphs Whose Automorphism Group Has $\Z_{p}$ as Commutator Subgroups
Published
• View Publication
• BIB
In 1982, Durnberger proved that every connected Cayley graph of a finite group with a commutator subgroup of prime order contains a hamiltonian cycle. In this paper, we extend this result to the infinite case. Additionally, we generalize this result to a broader class of infinite graphs $X$, where the automorphism group of $X$ contains a transitive subgroup $G$ with a cyclic commutator subgroup of prime order.
Commuting Pairs in Quasigroups
Published
• View Publication
• BIB
A quasigroup is a pair $(Q, *)$ where $Q$ is a non-empty set and $*$ is a binary operation on $Q$ such that for every $(a, b) \in Q^2$ there exists a unique $(x, y) \in Q^2$ such that $a*x=b=y*a$. Let $(Q, *)$ be a quasigroup. A pair $(x, y) \in Q^2$ is a commuting pair of $(Q, *)$ if $x * y = y * x$. Recently, it has been shown that every rational number in the interval $(0, 1]$ can be attained as the proportion of ordered pairs that are commuting in some quasigroup. For every positive integer $n$ we establish the set of all integers $k$ such that there is a quasigroup of order $n$ with exactly $k$ commuting pairs. This allows us to determine, for a given rational $q \in (0, 1]$, the spectrum of positive integers $n$ for which there is a quasigroup of order $n$ whose proportion of commuting pairs is equal to $q$.
Solutions to the linkage conjecture in tournaments
A digraph $D$ is $k$-linked if for every $2k$-tuple $ x_1,\ldots , x_k, y_1, \ldots , y_k$ of distinct vertices in $D$, there exist $k$ pairwise vertex-disjoint paths $P_1,\ldots, P_k$ such that $P_i$ starts at $x_i$ and ends at $y_i$, $i\in [k]$. In 2015, Pokrovskiy conjectured that there exists a function $g(k)$ such that every $2k$-connected tournament with minimum in-degree and minimum out-degree at least $g(k)$ is $k$-linked in [J. Comb. Theory, Ser. B 115 (2015) 339--347]. In this paper, we disprove this conjecture by constructing a family of counterexamples. The counterexamples also provide a negative answer to the question raised by Girão, Popielarz, Snyder in [Combinatorica 41 (2021) 815--837]. Further, we prove that every $(2k+1)$-connected semicomplete digraph $D$ with minimum out-degree at least $ 10^7k^{4}$ is $k$-linked, which refines and generalizes the early result of Girão, Popielarz, Snyder.
A special balancing game, Victor Grinberg's question
In a vector balancing game, on step $k$ player 1 chooses a unit vector $v_k$ and player 2 chooses a sign $\varepsilon_k\in \{-1,1\}$, and the position after $n$ steps is $z_n=\sum_1^n\varepsilon_k v_k$. Player 1's target is to make $\|z_n\|$ large and player 2's target is to make it small. We consider a special case of this game.
$q$-deformation of chromatic polynomials and graphical arrangements
Published
• View Publication
• BIB
We first observe a mysterious similarity between the braid arrangement and the arrangement of all hyperplanes in a vector space over the finite field $\mathbb{F}_q$. These two arrangements are defined by the determinants of the Vandermonde and the Moore matrix, respectively. These two matrices are transformed to each other by replacing a natural number $n$ with $q^n$ ($q$-deformation).
In this paper, we introduce the notion of ``$q$-deformation of graphical arrangements'' as certain subarrangements of the arrangement of all hyperplanes over $\mathbb{F}_q$. This new class of arrangements extends the relationship between the Vandermonde and Moore matrices to graphical arrangements. We show that many invariants of the ``$q$-deformation'' behave as ``$q$-deformation'' of invariants of the graphical arrangements. Such invariants include the characteristic (chromatic) polynomial, the Stirling number of the second kind, freeness, exponents, basis of logarithmic vector fields, etc.
Edge-graceful usual fan graphs
Published
• View Publication
• BIB
A graph $G$ with $p$ vertices and $q$ edges is said to be edge-graceful if its edges can be labeled from $1$ through $q$, in such a way that the labels induced on the vertices by adding over the labels of incident edges modulo $p$ are distinct. A known result under this topic is Lo's Theorem, which states that if a graph $G$ with $p$ vertices and $q$ edges is edge-graceful, then $p\Big|\Big(q^{2}+q-\dfrac{p(p-1)}{2}\Big)$.
This paper presents novel results on the edge-gracefulness of the usual fan graphs. Using Lo's Theorem, the concepts of divisibility and Diophantine equations, and a computer program created, we determine all edge-graceful usual fan graphs $F_{1,n}$ with their corresponding edge-graceful labels.
Intrinsically Correct Sorting in Cubical Agda
Published
• View Publication
• BIB
The paper "Sorting with Bialgebras and Distributive Laws" by Hinze et al. uses the framework of bialgebraic semantics to define sorting algorithms. From distributive laws between functors they construct pairs of sorting algorithms using both folds and unfolds. Pairs of sorting algorithms arising this way include insertion/selection sort and quick/tree sort.
We extend this work to define intrinsically correct variants in cubical Agda. Our key idea is to index our data types by multisets, which concisely captures that a sorting algorithm terminates with an ordered permutation of its input list. By lifting bialgebraic semantics to the indexed setting, we obtain the correctness of sorting algorithms purely from the distributive law.
A contribution to the characterization of finite minimal automorphic posets of width three
The characterization of the finite minimal automorphic posets of width three is still an open problem. Niederle has shown that this task can be reduced to the characterization of the nice sections of width three having a non-trivial tower of nice sections as retract. We solve this problem for a sub-class $\mathfrak{N}_2$ of the finite nice sections of width three. On the one hand, we characterize the posets in $\mathfrak{N}_2$ having a retract of width three being a non-trivial tower of nice sections, and on the other hand we characterize the posets in $\mathfrak{N}_2$ having a 4-crown stack as retract. The latter result yields a recursive approach for the determination of posets in $\mathfrak{N}_2$ having a 4-crown stack as retract. With this approach, we determine all posets in $\mathfrak{N}_2$ with height up to six having such a retract. For each integer $n \geq 2$, the class $\mathfrak{N}_2$ contains $2^{n-2}$ different isomorphism types of posets of height $n$.
3 dimensional Wythoff Nim
We introduce a new generalization of Wythoff Nim using three piles of stones. We show that its P-positions have finite difference properties and produce a partition of positive integers. Further, we give a conjecture that the P-positions approximate a half-line whose slope is described by algebraic numbers of degree 5.
Equivalence classes of lower and upper descent weak Bruhat intervals
Published in Advances in Applied Mathematics, 2025
• View Publication
• BIB
Let $\mathrm{Int}(n)$ denote the set of nonempty left weak Bruhat intervals in the symmetric group $\mathfrak{S}_n$. We investigate the equivalence relation $\overset{D}{\simeq}$ on $\mathrm{Int}(n)$, where $I \overset{D}{\simeq} J$ if and only if there exists a descent-preserving poset isomorphism between $I$ and $J$. For each equivalence class $C$ of $(\mathrm{Int}(n), \overset{D}{\simeq})$, a partial order $\preceq$ is defined by $[σ, ρ]_L \preceq [σ', ρ']_L$ if and only if $σ\preceq_R σ'$. Kim-Lee-Oh (2023) showed that the poset $(C, \preceq)$ is isomorphic to a right weak Bruhat interval.
In this paper, we focus on lower and upper descent weak Bruhat intervals, specifically those of the form $[w_0(S), σ]_L$ or $[σ, w_1(S)]_L$, where $w_0(S)$ is the longest element in the parabolic subgroup $\mathfrak{S}_S$ of $\mathfrak{S}_n$, generated by $\{s_i \mid i \in S\}$ for a subset $S \subseteq [n-1]$, and $w_1(S)$ is the longest element among the minimal-length representatives of left $\mathfrak{S}_{[n-1] \setminus S}$-cosets in $\mathfrak{S}_n$. We begin by providing a poset-theoretic characterization of the equivalence relation $\overset{D}{\simeq}$. Using this characterization, the minimal and maximal elements within an equivalence class $C$ are identified when $C$ is a lower or upper descent interval. Under an additional condition, a detailed description of the structure of $(C, \preceq)$ is provided. Furthermore, for the equivalence class containing $[w_0(S), σ]_L$, an injective hull of ${\sf B}([w_0(S), σ]_L)$ is given, and for the equivalence class containing $[σ, w_1(S)]_L$, a projective cover of ${\sf B}([σ, w_1(S)]_L)$ is given.
Maximizing the signless Laplacian spectral radius of some theta graphs
Let $Q(G)=D(G)+A(G)$ be the signless Laplacian matrix of a simple graph $G$, where $D(G)$ and $A(G)$ are the degree diagonal matrix and the adjacency matrix of $G$, respectively. The largest eigenvalue of $Q(G)$, denoted by $q(G)$, is called the signless Laplacian spectral radius of $G$. Let $θ(l_{1},l_{2},l_{3})$ denote the theta graph which consists of two vertices connected by three internally disjoint paths with length $l_{1}$, $l_{2}$ and $l_{3}$. Let $F_{n}$ be the friendship graph consisting of $\frac{n-1}{2}$ triangles which intersect in exactly one common vertex for odd $n\geq3$ and obtained by hanging an edge to the center of $F_{n-1}$ for even $n\geq4$. Let $S_{n,k}$ denote the graph obtained by joining each vertex of $K_{k}$ to $n-k$ isolated vertices. Let $S_{n,k}^{+}$ denote the graph obtained by adding an edge to the two isolated vertices of $S_{n,k}$. In this paper, firstly, we show that if $G$ is $θ(1,2,2)$-free, then $q(G)\leq q(F_{n})$, unless $G\cong F_{n}$. Secondly, we show that if $G$ is $θ(1,2,3)$-free, then $q(G)\leq q(S_{n,2})$, unless $G\cong S_{n,2}$. Finally, we show that if $G$ is $\{θ(1,2,2),F_{5}\}$-free, then $q(G)\leq q(S_{n,1}^{+})$, unless $G\cong S_{n,1}^{+}$.