Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Critical behaviors of the Ramsey-Turán number of $K_3$ and $K_6$
In 1969, Erdős and Sós initiated the study of the Ramsey-Turán type problems. Given integers $p, q\ge2$, a graph $G$ is $(K_p,K_q)$-free if there exists a red/blue edge coloring of $G$ such that it contains neither a red $K_p$ nor a blue $K_q$. For any $δ>0$, the Ramsey-Turán number $RT( {n,p,q,δn)} $ is the maximum number of edges in an $n$-vertex $(K_p,K_q)$-free graph with independence number at most $δn$. Let $ρ(p, q,δ) = \mathop {\lim }\limits_{n \to \infty } \frac{RT(n,p, q,δn)}{n^2}$. Kim, Kim and Liu (2019) showed $ρ(3,6,δ)\ge \frac{5}{12}+\fracδ{2}+2δ^2$ from a skilful construction and conjectured the equality holds for sufficiently small $δ>0$. We make the first step to the conjecture by showing that $ρ(3,6,δ)\le\frac{5}{12} + \frac{δ}{2}+ 2.1025δ^2$ for sufficiently small $δ>0$.
Extending a result of Carlitz and McConnel to polynomials which are not permutations
Let $D$ denote the set of directions determined by the graph of a polynomial $f$ of $\mathbb{F}_q[x]$, where $q$ is a power of the prime $p$. If $D$ is contained in a multiplicative subgroup $M$ of $\mathbb{F}_q^\times$, then by a result of Carlitz and McConnel it follows that $f(x)=ax^{p^k}+b$ for some $k\in \mathbb{N}$. Of course, if $D\subseteq M$, then $0\notin D$ and hence $f$ is a permutation. If we assume the weaker condition $D\subseteq M \cup \{0\}$, then $f$ is not necessarily a permutation, but Sziklai conjectured that $f(x)=ax^{p^k}+b$ follows also in this case. When $q$ is odd, and the index of $M$ is even, then a result of Ball, Blokhuis, Brouwer, Storme and Sz\H onyi combined with a result of McGuire and Göloğlu proves the conjecture. Assume $°f\geq 1$. We prove that if the size of $D^{-1}D=\{d^{-1}d' : d\in D\setminus \{0\},\, d'\in D\}$ is less than $q-°f+2$, then $f$ is a permutation of $\mathbb{F}_q$. We use this result to verify the conjecture of Sziklai.
The action of component groups on irreducible components of Springer fibers
Let $G$ be a simple Lie group. Consider a nilpotent element $e\in \mathfrak{g}$. Let $Z_G(e)$ be the centralizer of $e$ in $G$, and let $A_e:= Z_G(e)/Z_G(e)^{o}$ be its component group. Write $\text{Irr}(\mathcal{B}_e)$ for the set of irreducible components of the Springer fiber $\mathcal{B}_e$. We have an action of $A_e$ on $\text{Irr}(\mathcal{B}_e)$. When $\mathfrak{g}$ is exceptional, we give an explicit description of $\text{Irr}(\mathcal{B}_e)$ as an $A_e$-set. For $\mathfrak{g}$ of classical type, we describe the stabilizers for the $A_e$-action. With this description, we prove a conjecture of Lusztig and Sommers. These results suggest relations (first proposed by Lusztig) between Springer fibers and cells in Weyl groups.
Noncommutative distances on graphs: An explicit approach via Birkhoff-James orthogonality
Published
• View Publication
• BIB
We study the problem of calculating noncommutative distances on graphs, using techniques from linear algebra, specifically, Birkhoff-James orthogonality. A complete characterization of the solutions is obtained in the case when the underlying graph is a path.
Greedy and randomized heuristics for optimization of k-domination models in digraphs and road networks
Directed graphs provide more subtle and precise modelling tools for optimization in road networks than simple graphs. In particular, they are more suitable in the context of alternative fuel vehicles and new automotive technologies, like electric vehicles. In this paper, we introduce the new general concept of a reachability digraph associated with a road network to model the placement of refuelling facilities in road networks as k-dominating sets in the reachability digraph. Two new greedy heuristics are designed and experimentally tested to search for small k-dominating sets in two types of digraphs, including the reachability digraphs. Refined greedy strategies are shown to be efficient, capable of finding good quality solutions, and suitable for application in very large digraphs and road networks. Also, a probabilistic method is used to prove a new upper bound on the k-domination number of a digraph, which informs the development of a new randomized heuristic to search for k-dominating sets in the digraph. Generalizing the randomized heuristic ideas, making the heuristic more flexible, tuning and combining it with the greedy strategies allows us to obtain even better results for the reachability digraphs. Computational experiments are conducted for a case study of road networks in the West Midlands (UK).
Random Geometric Graphs in Reflexive Banach Spaces
Published
• View Publication
• BIB
We investigate a random geometric graph model introduced by Bonato and Janssen. The vertices are the points of a countable dense set $S$ in a (necessarily separable) normed vector space $X$, and each pair of points are joined independently with some fixed probability $p$ (with $0<p<1$) if they are less than distance $1$ apart. A countable dense set $S$ in a normed space is Rado, if the resulting graph is almost surely unique up to isomorphism: that is any two such graphs are, almost surely, isomorphic.
Not surprisingly, understanding which sets are Rado is closely related to the geometry of the underlying normed space. It turns out that a key question is in which spaces must step-isometries (maps that preserve the integer parts of distances) on dense subsets necessarily be isometries. We answer this question for a large class of Banach spaces including all strictly convex reflexive spaces. In the process we prove results on the interplay between the norm topology and weak topology that may be of independent interest.
As a consequence of these Banach space results we show that almost all countable dense sets in strictly convex reflexive spaces are strongly non-Rado (that is, any two graphs are almost surely non-isomorphic). However, we show that there do exist Rado sets even in $\ell_2$. Finally we construct a Banach spaces in which all countable dense set are strongly non-Rado.
Hyperplane Arrangements in the Grassmannian
The Euler characteristic of a very affine variety encodes the algebraic complexity of solving likelihood (or scattering) equations on this variety. We study this quantity for the Grassmannian with $d$ hyperplane sections removed. We provide a combinatorial formula, and explain how to compute this Euler characteristic in practice, both symbolically and numerically. Our particular focus is on generic hyperplane sections and on Schubert divisors. We also consider special Schubert arrangements relevant for physics. We study both the complex and the real case.
Cumulants in rectangular finite free probability and beta-deformed singular values
Published
• View Publication
• BIB
Motivated by the $(q,γ)$-cumulants, introduced by Xu [arXiv:2303.13812] to study $β$-deformed singular values of random matrices, we define the $(n,d)$-rectangular cumulants for polynomials of degree $d$ and prove several moment-cumulant formulas by elementary algebraic manipulations; the proof naturally leads to quantum analogues of the formulas. We further show that the $(n,d)$-rectangular cumulants linearize the $(n,d)$-rectangular convolution from Finite Free Probability and that they converge to the $q$-rectangular free cumulants from Free Probability in the regime where $d\to\infty$, $1+n/d\to q\in[1,\infty)$. As an application, we employ our formulas to study limits of symmetric empirical root distributions of sequences of polynomials with nonnegative roots. One of our results is akin to a theorem of Kabluchko [arXiv:2203.05533] and shows that applying the operator $\exp(-\frac{s^2}{n}x^{-n}D_xx^{n+1}D_x)$, where $s>0$, asymptotically amounts to taking the rectangular free convolution with the rectangular Gaussian distribution of variance $qs^2/(q-1)$.
On the Frobenius norm of the inverse of a non-negative matrix
Published
• View Publication
• BIB
We prove a new lower bound for the Frobenius norm of the inverse of an non-negative matrix. This bound is only a modest improvement over previous results, but is sufficient for fully resolving a conjecture of Harwitz and Sloane, commonly referred to as the S-matrix conjecture, for all dimensions larger than a small constant.
Hyper-bishops, Hyper-rooks, and Hyper-queens: Percentage of Safe Squares on Higher Dimensional Chess Boards
Published
• View Publication
• BIB
The $n$ queens problem considers the maximum number of safe squares on an $n \times n$ chess board when placing $n$ queens; the answer is only known for small $n$. Miller, Sheng and Turek considered instead $n$ randomly placed rooks, proving the proportion of safe squares converges to $1/e^2$. We generalize and solve when randomly placing $n$ hyper-rooks and $n^{k-1}$ line-rooks on a $k$-dimensional board, using combinatorial and probabilistic methods, with the proportion of safe squares converging to $1/e^k$. We prove that the proportion of safe squares on an $n \times n$ board with bishops in 2 dimensions converges to $2/e^2$. This problem is significantly more interesting and difficult; while a rook attacks the same number of squares wherever it's placed, this is not so for bishops. We expand to the $k$-dimensional chessboard, defining line-bishops to attack along $2$-dimensional diagonals and hyper-bishops to attack in the $k-1$ dimensional subspace defined by its diagonals in the $k-2$ dimensional subspace. We then combine the movement of rooks and bishops to consider the movement of queens in 2 dimensions, as well as line-queens and hyper-queens in $k$ dimensions.
Dynamical self-similarity, $L^{q}$-dimensions and Furstenberg slicing in $\mathbb{R}^d$
We extend a theorem of the second author on the $L^q$-dimensions of dynamically driven self-similar measures from the real line to arbitrary dimension. Our approach provides a novel, simpler proof even in the one-dimensional case. As consequences, we show that, under mild separation conditions, the $L^q$-dimensions of homogeneous self-similar measures in $\mathbb{R}^d$ take the expected values, and we derive higher rank slicing theorems in the spirit of Furstenberg's slicing conjecture.
Asymptotics of Symmetric Polynomials: A Dynamical Point of view
Published
• View Publication
• BIB
In this paper we study the asymptotic behavior of the (skew) Macdonald and Jack symmetric polynomials as the number of variables grows to infinity. We characterize their limits in terms of certain variational problems. As an intermediate step, we establish a large deviation principle for the $θ$ analogue of non-intersecting Bernoulli random walks. When $θ=1$, these walks are equivalent to random Lozenges tilings of strip domains, where the variational principle (with general domains and boundary conditions) has been proven in the seminal work by Cohn, Kenyon, and Propp. Our result gives a new argument of this variational principle, and also extends it to non-intersecting $θ$-Bernoulli random walks for any $θ\in (0,\infty)$. Remarkably, the rate functions remain identical, differing only by a factor of $1/θ$.
Critical groups in harmonic abelian quotients
A harmonic cover of graphs $p:\widetilde{X}\to X$ induces a surjective pushforward morphism $p_*:\operatorname{Jac}(\widetilde{X})\to \operatorname{Jac}(X)$ on the critical groups. In the case when $p$ is Galois with abelian Galois group, we compute the order of the kernel of $p_*$, and hence the relationship between the numbers of spanning trees of $\widetilde{X}$ and $X$, in terms of Zaslavsky's bias matroid associated to the cover $p:\widetilde{X}\to X$.
Pseudo-Gorenstein edge rings and a new family of almost Gorenstein edge rings
Published
• View Publication
• BIB
In this paper, we study edge rings and their $h$-polynomials. We investigate when edge rings are pseudo-Gorenstein, which means that the leading coefficients of the $h$-polynomials of edge rings are equal to $1$. Moreover, we compute the $h$-polynomials of a special family of edge rings and show that some of them are almost Gorenstein.
On the size of sets avoiding a general structure
Published in Grad. J. Math., 9(2):22-26, 2024
• Search Publication
Given a finite abelian group $G$ and a subset $S\subseteq G$, we let $N_{G,\ S}$ be the smallest integer $N$ such that for any subset $A\subseteq G$ with $N$ elements, we have $g+S\subseteq A$ for some $g\in G$. Using the probabilistic method, we prove that
\begin{align*}
\frac{|H_G(S)|-1}{|H_G(S)|}|G|+\Biggl\lceil\biggl(\frac{|G|}{|H_G(S)|}\biggr)^{1-|H_G(S)|/|S|}\Biggr\rceil\le N_{G,\ S}\le \biggl\lfloor\frac{|S|-1}{|S|}|G|\biggr\rfloor+1,
\end{align*}
where $H_G(S)$ is the stabilizer of $S$.
Comparing the $p$-independence number of regular graphs to the $q$-independence number of their line graphs
Published
• View Publication
• BIB
Let $G$ be a simple graph and let $L(G)$ denote the \emph{line graph} of $G$. A \emph{$p$-independent} set in $G$ is a set of vertices $S \subseteq V(G)$ such that the subgraph induced by $S$ has maximum degree at most $p$. The \emph{$p$-independence number} of $G$, denoted by $α_p(G)$, is the cardinality of a maximum $p$-independent set in $G$. In this paper, and motivated by the recent result that independence number is at most matching number for regular graphs~\cite{CaDaPe2020}, we investigate which values of the non-negative integers $p$, $q$, and $r$ have the property that $α_p(G) \leq α_q(L(G))$ for all r-regular graphs. Triples $(p, q, r)$ having this property are called \emph{valid $α$-triples}. Among the results we prove are: \begin{itemize}
\item $(p, q, r)$ is valid $α$-triple for $p \geq 0$, $q \geq 3$ , and $r\geq 2$.
\item $(p, q, r)$ is valid $α$-triple for $p \leq q < 3$ and $r\geq 2$.
\item $(p, q, r)$ is valid $α$-triple for $p \geq 0$, $q = 2$, and $r$ even.
\item $(p, q, r)$ is valid $α$-triple for $p \geq 0$, $q = 2$, and $r$ odd with $r = \max \Big \{ 3, \frac{17(p+1)}{16}\Big \}$. \end{itemize} We also show a close relation between undetermined possible valid $α$-triples, the Linear Aboricity Conjecture, and the Path-Cover Conjecture.
On the $\mathcal{ABS}$ spectrum and energy of graphs
Let $η_{1}\ge η_{2}\ge\cdots\ge η_{n}$ be the eigenavalues of $\mathcal{ABS}$ matrix. In this paper, we characterize connected graphs with $\mathcal{ABS}$ eigenvalue $η_{n}>-1$. As a result, we determine all connected graphs with exactly two distinct $\mathcal{ABS}$ eigenvalues. We show that a connected bipartite graph has three distinct $\mathcal{ABS}$ eigenvalues if and only if it is a complete bipartite graph. Furthermore, we present some bounds for the $\mathcal{ABS}$ spectral radius (resp. $\mathcal{ABS}$ energy) and characterize extremal graphs. Also, we obtain a relation between $\mathcal{ABC}$ energy and $\mathcal{ABS}$ energy. Finally, the chemical importance of $\mathcal{ABS}$ energy is investigated and it shown that the $\mathcal{ABS}$ energy is useful in predicting certain properties of molecules.
Connected Turán numbers for Berge paths in hypergraphs
Let $\mathcal{F}$ be a family of $r$-uniform hypergraphs. Denote by $\ex^{\mathrm{conn}}_r(n,\mathcal{F})$ the maximum number of hyperedges in an $n$-vertex connected $r$-uniform hypergraph which contains no member of $\mathcal{F}$ as a subhypergraph. Denote by $\mathcal{B}C_k$ the Berge cycle of length $k$, and by $\mathcal{B}P_k$ the Berge path of length $k$. Füredi, Kostochka and Luo, and independently Győri, Salia and Zamora determined $\ex^{\mathrm{conn}}_r(n,\mathcal{B}P_k)$ provided $k$ is large enough compared to $r$ and $n$ is sufficiently large. For the case $k\le r$, Kostochka and Luo obtained an upper bound for $\ex^{\mathrm{conn}}_r(n,\mathcal{B}P_k)$. In this paper, we continue investigating the case $k\le r$. We precisely determine $\ex^{\mathrm{conn}}_r(n,\mathcal{B}P_k)$ when $n$ is sufficiently large and $n$ is not a multiple of~$r$. For the case $k=r+1$, we determine $\ex^{\mathrm{conn}}_r(n,\mathcal{B}P_k)$ asymptotically.
Partitioning 2-edge-coloured bipartite graphs into monochromatic cycles
Published
• View Publication
• BIB
Given an $r$-edge-colouring of the edges of a graph $G$, we say that it can be partitioned into $p$ monochromatic cycles when there exists a set of $p$ vertex-disjoint monochromatic cycles covering all the vertices of $G$. In the literature of this problem, an edge and a single vertex both count as a cycle.
We show that for every $2$-colouring of the edges of a complete balanced bipartite graph, $K_{n,n}$, it can be partitioned into at most 4 monochromatic cycles. This type of question was first studied in 1970 for complete graphs and in 1983, by Gyárfás and Lehel, for $K_{n,n}$. In 2014, Pokrovskiy showed for all $n$ that, given any $2$-colouring of its edges, $K_{n,n}$ can be partitioned into at most three monochromatic paths. It turns out that finding monochromatic cycles instead of paths is a natural question that has also been raised for other graphs. In 2015, Schaudt and Stein showed that 14 cycles are sufficient for sufficiently large $2$-edge-coloured $K_{n,n}$.
Chromatic profiles of odd cycles
Erdős and Simonovits asked the following question: For an integer $c\geq 2$ and a family of non-bipartite graphs $\mathcal{F}$, what is the infimum of $α$ such that any $\mathcal{F}$-free $n$-vertex graph with $n$ large enough and minimum degree at least $αn$ has chromatic number at most $c$? Denote the infimum as $δ_χ(\mathcal{F}, c)$. A fundamental result of Erdős, Stone and Simonovits implies that if $3\le r+1=χ(\mathcal{F})=\min\{χ(F): F\in \mathcal{F}\}$, then for any $c\le r-1$, $δ_χ(\mathcal{F}, c)=1-{1 \over r}$. So the remaining challenge is to determine $δ_χ(\mathcal{F}, c)$ for $c\ge χ(\mathcal{F})-1$. Most previous known results are under the condition that $c= χ(\mathcal{F})-1$. When $c\ge χ(\mathcal{F})$, the only known exact results are $δ_χ(K_3, 3)$ by Häggkvist and Jin, and $δ_χ(K_3, c)$ for every $c\ge4$ by Brandt and Thomassé, $δ_χ(K_r, r)$ and $δ_χ(K_r, r+1)$ by Goddard and Lyle, and Nikiforov. Combining results of Thomassen and Ma, $Ω\bigg((c+1)^{-8(k+1)}\bigg)=δ_χ(C_{2k+1}, c)=O(\frac{k}{c})$ for $c\ge 3$. In this paper, we determine $δ_χ(C_{2k+1}, c)$ for all $c\ge 2$ and $k\ge 3c+4$. We also obtain the following corollary. If $G$ is a graph on $n$ vertices with $c\ge 3$, $χ(G)>c$ and $δ(G)> {n \over 2c+2}$, then $C_{2k+1} \subset G$ for all $k\in [3c+4, {n \over 108(c+1)^c}]$. Methods to obtain all previous known results related to odd cycles cannot be applied to solve for $δ_χ(C_{2k+1}, c)$ for $c\ge 3$.The innovation of our proof is to give the concept of a `strong $2k$-core'. We think that this concept grasps the essence of the problem and it makes our proof concise and elementary (we do not need to borrow any other tools). How to define a proper `core' might be a key to this type of questions.