Showing 20 papers (Total: 84253 papers, 48533 authors in database)
A class of maps on the torus and their vertex orbits
A tiling (edge-to-edge) of the plane is a family of tiles that cover the plane without gaps or overlaps. Vertex figure of a vertex in a tiling to be the union of all edges incident to that vertex. A tiling is $k$-vertex-homogeneous if any two vertices with congruent vertex figures are symmetric with each other and the vertices form precisely $k$ transitivity classes with respect to the group of all symmetries of the tiling. In this article, we discuss that if a map is the quotient of a plane's $k$-vertex-homogeneous lattice ($k \ge 4$) then what would be the sharp bounds of the number of vertex orbits.
Intersecting families of graphs of functions over a finite field
Published in Ars Math. Contemp. 24 (2024) #P1.04
• View Publication
• BIB
Let $U$ be a set of polynomials of degree at most $k$ over $\mathbb{F}_q$, the finite field of $q$ elements. Assume that $U$ is an intersecting family, that is, the graphs of any two of the polynomials in $U$ share a common point. Adriaensen proved that the size of $U$ is at most $q^k$ with equality if and only if $U$ is the set of all polynomials of degree at most $k$ passing through a common point. In this manuscript, using a different, polynomial approach, we prove a stability version of this result, that is, the same conclusion holds if $|U|>q^k-q^{k-1}$. We prove a stronger result when $k=2$.
For our purposes, we also prove the following results. If the set of directions determined by the graph of $f$ is contained in an additive subgroup of $\mathbb{F}_q$, then the graph of $f$ is a line. If the set of directions determined by at least $q-\sqrt{q}/2$ affine points is contained in the set of squares/non-squares plus the common point of either the vertical or the horizontal lines, then up to an affinity the point set is contained in the graph of some polynomial of the form $αx^{p^k}$.
K-Theoretic Descendent Series for Hilbert Schemes of Points on Surfaces
Published in SIGMA 18 (2022), 078, 16 pages
• View Publication
• BIB
We study the holomorphic Euler characteristics of tautological sheaves on Hilbert schemes of points on surfaces. In particular, we establish the rationality of K-theoretic descendent series. Our approach is to control equivariant holomorphic Euler characteristics over the Hilbert scheme of points on the affine plane. To do so, we slightly modify a Macdonald polynomial identity of Mellit.
Degenerations and multiplicity-free formulas for products of $ψ$ and $ω$ classes on $\overline{M}_{0,n}$
Published
• View Publication
• BIB
We consider products of $ψ$ classes and products of $ω$ classes on $\overline{M}_{0,n+3}$. For each product, we construct a flat family of subschemes of $\overline{M}_{0,n+3}$ whose general fiber is a complete intersection representing the product, and whose special fiber is a generically reduced union of boundary strata. Our construction is built up inductively as a sequence of one-parameter degenerations, using an explicit parametrized collection of hyperplane sections. Combinatorially, our construction expresses each product as a positive, multiplicity-free sum of classes of boundary strata. These are given by a combinatorial algorithm on trees we call 'slide labeling'. As a corollary, we obtain a combinatorial formula for the $κ$ classes in terms of boundary strata.
For degree-$n$ products of $ω$ classes, the special fiber is a finite reduced union of (boundary) points, and its cardinality is one of the multidegrees of the corresponding embedding $Ω_n: \overline{M}_{0,n+3}\to \mathbb{P}^1\times \cdots \times \mathbb{P}^n$. In the case of the product $ω_1\cdots ω_n$, these points exhibit a connection to permutation pattern avoidance. Finally, we show that in certain cases, a prior interpretation of the multidegrees via tournaments can also be obtained by degenerations.
A characterization of Kazhdan-Lusztig right cells containing smooth elements
Published
• View Publication
• BIB
Let $\mathfrak{g}$ be the Lie algebra $\mathfrak{sl}(n,\mathbb{C})$. Its Weyl group is the symmetric group $S_n$. In this paper, we want to describe some Kazhdan-Lusztig right cells containing smooth elements which parameterize the smooth Schubert varieties. These elements are closely related to the study of associated varieties of highest weight modules of $\mathfrak{sl}(n,\mathbb{C})$. Firstly, we give a complete classification of the KL right cells containing only smooth elements. Then we give a sufficient condition for a KL right cell to contain only non-smooth elements by using invariant subsequences and a sufficient condition for a KL right cell to contain some smooth elements. Finally, we give an efficient algorithm to find out all the smooth elements in a given KL right cell.
Maximal fractional cross-intersecting families
Published
• View Publication
• BIB
Given an irreducible fraction $\frac{c}{d} \in [0,1]$, a pair $(\mathcal{A},\mathcal{B})$ is called a $\frac{c}{d}$-cross-intersecting pair of $2^{[n]}$ if $\mathcal{A}, \mathcal{B}$ are two families of subsets of $[n]$ such that for every pair $A \in\mathcal{A}$ and $B\in\mathcal{B}$, $|A \cap B|= \frac{c}{d}|B|$. Mathew, Ray, and Srivastava [{\it\small Fractional cross intersecting families, Graphs and Comb., 2019}] proved that $|\mathcal{A}||\mathcal{B}|\le 2^n$ if $(\mathcal{A}, \mathcal{B})$ is a $\frac{c}{d}$-cross-intersecting pair of $2^{[n]}$ and characterized all the pairs $(\mathcal{A},\mathcal{B})$ with $|\mathcal{A}||\mathcal{B}|=2^n$, such a pair also is called a maximal $\frac cd$-cross-intersecting pair of $2^{[n]}$, when $\frac cd\in\{0,\frac12, 1\}$. In this note, we characterize all the maximal $\frac cd$-cross-intersecting pairs $(\mathcal{A},\mathcal{B})$ when $0<\frac{c}{d}<1$ and $\frac cd\not=\frac 12$, this result answers a question proposed by Mathew, Ray, and Srivastava (2019).
3-critical subgraphs of snarks
Published
• View Publication
• BIB
In this paper we further our understanding of the structure of class two cubic graphs, or snarks, as they are commonly known. We do this by investigating their 3-critical subgraphs, or as we will call them, minimal conflicting subgraphs. We consider how the minimal conflicting subgraphs of a snark relate to its possible minimal 4-edge-colourings. We fully characterise the relationship between the resistance of a snark and the set of minimal conflicting subgraphs. That is, we show that the resistance of a snark is equal to the minimum number of edges which can be selected from the snark, such that the selection contains at least one edge from each minimal conflicting subgraph. We similarly characterise the relationship between what we call \textit{the critical subgraph} of a snark and the set of minimal conflicting subgraphs. The critical subgraph being the set of all edges which are conflicting in some minimal colouring of the snark. Further to this, we define groups, or \textit{clusters}, of minimal conflicting subgraphs. We then highlight some interesting properties and problems relating to clusters of minimal conflicting subgraphs.
Internal and external partial difference families and cyclotomy
Published
• View Publication
• BIB
We introduce the concept of a disjoint partial difference family (DPDF) and an external partial difference family (EPDF), a natural generalisation of the much-studied structures of disjoint difference family (DDF), external difference family (EDF) and partial difference set (PDS). We establish properties and constructions, and indicate connections to other recently-studied combinatorial structures. We show how DPDFs and EPDFs may be formed from collections of PDSs, and also present cyclotomic methods yielding DPDFs and EPDFs whose component sets are not in general PDSs. As part of this, we develop a unified framework encompassing various known constructions for cyclotomic difference structures, which also yields new results on DDFs and EDFs.
Strengthening a theorem of Meyniel
Published
• View Publication
• BIB
For an integer $k \geq 1$ and a graph $G$, let $\mathcal{K}_k(G)$ be the graph that has vertex set all proper $k$-colorings of $G$, and an edge between two vertices $α$ and~$β$ whenever the coloring~$β$ can be obtained from $α$ by a single Kempe change. A theorem of Meyniel from 1978 states that $\mathcal{K}_5(G)$ is connected with diameter $O(5^{|V(G)|})$ for every planar graph $G$. We significantly strengthen this result, by showing that there is a positive constant $c$ such that $\mathcal{K}_5(G)$ has diameter $O(|V(G)|^c)$ for every planar graph $G$.
Large Girth and Small Oriented Diameter Graphs
Published
• View Publication
• BIB
In 2015, Dankelmann and Bau proved that for every bridgeless graph $G$ of order $n$ and minimum degree $δ$ there is an orientation of diameter at most $11\frac{n}{δ+1}+9$. In 2016, Surmacs reduced this bound to $7\frac{n}{δ+1}.$ In this paper, we consider the girth of a graph $g$ and show that for any $\varepsilon>0$ there is a bound of the form $(2g+\varepsilon)\frac{n}{h(δ,g)}+O(1)$, where $h(δ,g)$ is a polynomial. Letting $g=3$ and $\varepsilon<1$ gives an inprovement on the result by Surmacs.
It is undecidable whether the growth rate of a given bilinear system is 1
Published
• View Publication
• BIB
We show that there exists no algorithm that decides for any bilinear system $(B,v)$ if the growth rate of $(B,v)$ is $1$. This answers a question of Bui who showed that if the coefficients are positive the growth rate is computable (i.e., there is an algorithm that outputs the sequence of digits of the growth rate of $(B,v)$). Our proof is based on a reduction of the computation of the joint spectral radius of a set of matrices to the computation of the growth rate of a bilinear system. We also use our reduction to deduce that there exists no algorithm that approximates the growth rate of a bilinear system with relative accuracy $\varepsilon$ in time polynomial in the size of the system and of $\varepsilon$. Our two results hold even if all the coefficients are nonnegative rationals.
On off-diagonal ordered Ramsey numbers of nested matchings
Published
• View Publication
• BIB
For two graphs $G^<$ and $H^<$ with linearly ordered vertex sets, the ordered Ramsey number $r_<(G^<,H^<)$ is the minimum $N$ such that every red-blue coloring of the edges of the ordered complete graph on $N$ vertices contains a red copy of $G^<$ or a blue copy of $H^<$.
For a positive integer $n$, a nested matching $NM^<_n$ is the ordered graph on $2n$ vertices with edges $\{i,2n-i+1\}$ for every $i=1,\dots,n$. We improve bounds on the ordered Ramsey numbers $r_<(NM^<_n,K^<_3)$ obtained by Rohatgi, we disprove his conjecture by showing $4n+1 \leq r_<(NM^<_n,K^<_3) \leq (3+\sqrt{5})n$ for every $n \geq 6$, and we determine the numbers $r_<(NM^<_n,K^<_3)$ exactly for $n=4,5$. As a corollary, this gives stronger lower bounds on the maximum chromatic number of $k$-queue graphs for every $k \geq 3$. We also prove $r_<(NM^<_m,K^<_n)=Θ(mn)$ for arbitrary $m$ and $n$.
We expand the classical notion of Ramsey goodness to the ordered case and we attempt to characterize all connected ordered graphs that are $n$-good for every $n\in\mathbb{N}$. In particular, we discover a new class of ordered trees that are $n$-good for every $n \in \mathbb{N}$, extending all the previously known examples.
A Riemann-Roch theorem on a weighted infinite graph
Published
• View Publication
• BIB
A Riemann-Roch theorem on graph was initiated by M. Baker and S. Norine. In their article [2], a Riemann-Roch theorem on a finite graph with uniform vertex-weight and uniform edge-weight was established and it was suggested a Riemann-Roch theorem on an infinite graph was feasible. In this article, we take an edge-weighted infinite graph and focus on the importance of the spectral gaps of the Laplace operators defined on its finite subgraphs naturally given by Q-valued positive weights on the edges. We build a potential theoretic scheme for proof of a Riemann-Roch theorem on the edge-weighted infinite graph.
How to build a pillar: a proof of Thomassen's conjecture
Carsten Thomassen in 1989 conjectured that if a graph has minimum degree more than the number of atoms in the universe ($δ(G)\ge 10^{10^{10}}$), then it contains a pillar, which is a graph that consists of two vertex-disjoint cycles of the same length, $s$ say, along with $s$ vertex-disjoint paths of the same length which connect matching vertices in order around the cycles. Despite the simplicity of the structure of pillars and various developments of powerful embedding methods for paths and cycles in the past three decades, this innocent looking conjecture has seen no progress to date. In this paper, we give a proof of this conjecture by building a pillar (algorithmically) in sublinear expanders.
On an approach for evaluating certain trigonometric character sums using the discrete time heat kernel
Published
• View Publication
• BIB
In this article we develop a general method by which one can explicitly evaluate certain sums of $n$-th powers of products of $d\geq 1$ elementary trigonometric functions evaluated at $\mathbf{m}=(m_1,\ldots,m_d)$-th roots of unity. Our approach is to first identify the individual terms in the expression under consideration as eigenvalues of a discrete Laplace operator associated to a graph whose vertices form a $d$-dimensional discrete torus $G_{\mathbf{m}}$ which depends on $\mathbf{m}$. The sums in question are then related to the $n$-th step of a Markov chain on $G_{\mathbf{m}}$. The Markov chain admits the interpretation as a particular random walk, also viewed as a discrete time and discrete space heat diffusion, so then the sum in question is related to special values of the associated heat kernel. Our evaluation follows by deriving a combinatorial expression for the heat kernel, which is obtained by periodizing the heat kernel on the infinite lattice $\mathbb{Z}^{d}$ which covers $G_{\mathbf{m}}$.
The exponent of repetition of the characteristic Sturmian word whose slope is a quadratic irrational
For an infinite word $x$, Bugeaud and Kim introduced a quantity $\mathrm{rep}(x)$ called the exponent of repetition of $x$. We prove that $\mathrm{rep}(x) = \mathrm{rep}(y)$ holds for a Sturmian word $x$ and every suffix $y$ of $x$. Let $c$ be the characteristic Sturmian word of slope $θ$. When $θ$ is a quadratic irrational, a formula of $\mathrm{rep}(c)$ is given. This formula shows that $\mathrm{rep}(c) = \mathrm{rep}(c')$ if $c'$ is the characteristic Sturmian word whose slope is a quadratic irrational equivalent to $θ$.
Eigenvalues of signed graphs
Signed graphs have their edges labeled either as positive or negative. $ρ(M)$ denote the $M$-spectral radius of $Σ$, where $M=M(Σ)$ is a real symmetric graph matrix of $Σ$. Obviously, $ρ(M)=\mbox{max}\{λ_1(M),-λ_n(M)\}$. Let $A(Σ)$ be the adjacency matrix of $Σ$ and $(K_n,H^-)$ be a signed complete graph whose negative edges induce a subgraph $H$. In this paper, we first focus on a central problem in spectral extremal graph theory as follows: Which signed graph with maximum $ρ(A(Σ))$ among $(K_n,T^-)$ where $T$ is a spanning tree? To answer the problem, we characterize the extremal signed graph with maximum $λ_1(A(Σ))$ and minimum $λ_n(A(Σ))$ among $(K_n,T^-)$, respectively. Another interesting graph matrix of a signed graph is distance matrix, i.e. $D(Σ)$ which was defined by Hameed, Shijin, Soorya, Germina and Zaslavsky [8]. Note that $A(Σ)=D(Σ)$ when $Σ\in (K_n,T^-)$. In this paper, we give upper bounds on the least distance eigenvalue of a signed graph $Σ$ with diameter at least 2. This result implies a result proved by Lin [11] was originally conjectured by Aouchiche and Hansen [1].
Width deviation of convex polygons
Published
• View Publication
• BIB
We consider the width $X_T(ω)$ of a convex $n$-gon $T$ in the plane along the random direction $ω\in\mathbb{R}/2π\mathbb{Z}$ and study its deviation rate: $$ δ(X_T)=\frac{\sqrt{\mathbb{E}(X^2_T)-\mathbb{E}(X_T)^2}}{\mathbb{E}(X_T)}. $$ We prove that the maximum is attained if and only if $T$ degenerates to a $2$-gon. Let $n\geq 2$ be an integer which is not a power of $2$. We show that $$ \sqrt{\fracπ{4n\tan(\fracπ{2n})} +\frac{π^2}{8n^2\sin^2(\fracπ{2n})}-1} $$ is the minimum of $δ(X_T)$ among all $n$-gons and determine completely the shapes of $T$'s which attain this minimum. They are characterized as polygonal approximations of equi-Reuleaux bodies, found and studied by K.~Reinhardt. In particular, if $n$ is odd, then the regular $n$-gon is one of the minimum shapes. When $n$ is even, we see that regular $n$-gon is far from optimal.We also observe an unexpected property of the deviation rate on the truncation of the regular triangle.
Combinatorial identities associated with a bivariate generating function for overpartition pairs
Published
• View Publication
• BIB
We obtain a three-parameter $q$-series identity that generalizes two results of Chan and Mao. By specializing our identity, we derive new results of combinatorial significance in connection with $N(r, s, m, n)$, a function counting certain overpartition pairs recently introduced by Bringmann, Lovejoy and Osburn. For example, one of our identities gives a closed-form evaluation of a double series in terms of Chebyshev polynomials of the second kind, thereby resulting in an analogue of Euler's pentagonal number theorem. Another of our results expresses a multi-sum involving $N(r, s, m, n)$ in terms of just the partition function $p(n)$. Using a result of Shimura we also relate a certain double series with a weight 7/2 theta series.
Minimal Constructible Sets
Given an initial family of sets, we may take unions, intersections and complements of the sets contained in this family in order to form a new collection of sets; our construction process is done recursively until we obtain the last family. Problems encountered in this research include the minimum number of steps required to arrive to the last family as well as a characterization of that last family; we solve all those problems. We also define a class of simple families ($n$-minimal constructible) and we analyze the relationships between partitions and separability (our new concept) that lead to interesting results such as finding families based on partitions that generate finite algebras. We prove a number of new results about $n$-minimal constructible families; one major result is that every finite algebra of sets has a generating family which is $n$-minimal constructible for all natural $n$ and we compute the minimum number of steps required to generate an algebra. Another interesting result is a connection between this construction process and Baire's Theorem. This work has a number of possible applications, particularly in the fields of economics and computer science.