Showing 20 papers (Total: 82139 papers, 47531 authors in database)
On the Toughness of Regular Graphs and Prisms
We contribute results on $r$-regular graphs that do and don't have the maximum possible toughness, namely $r/2$. Doty and Ferland showed the existence of a $5$-regular graph with toughness $5/2$ for all even orders except $n= 18$. Using a computer search we show that there does not exist such a graph for $n=18$. Also, we provide the first family of $4$-regular graphs with toughness $2$ that contains claws. For the prism $G \Box K_2$ of a graph~$G$, we provide several bounds including a sufficient condition for the prism to have the same toughness as~$G$. In particular, we show that if $G$ has toughness $t\le \frac{1}{2}$ then its prism has toughness $2t$; further, the prism of any $r$-regular $r$-connected inflation has toughness~$r/2$ (despite being $(r+1)$-regular) and in general the prism of any $3$-regular graph has toughness at most~$3/2$.
The quotient set of the quadratic distance set over finite fields
Published
• View Publication
• BIB
Let $\mathbb F_q^d$ be the $d$-dimensional vector space over the finite field $\mathbb F_q$ with $q$ elements. For each non-zero $r$ in $\mathbb F_q$ and $E\subset \mathbb F_q^d$, we define $W(r)$ as the number of quadruples $(x,y,z,w)\in E^4$ such that $ Q(x-y)/Q(z-w)=r,$ where $Q$ is a non-degenerate quadratic form in $d$ variables over $\mathbb F_q.$ When $Q(α)=\sum_{i=1}^d α_i^2$ with $α=(α_1, \ldots, α_d)\in \mathbb F_q^d,$ Pham (2022) recently used the machinery of group actions and proved that if $E\subset \mathbb F_q^2$ with $q\equiv 3 \pmod{4}$ and $|E|\ge C q$, then we have $W(r)\ge c |E|^4/q$ for any non-zero square number $r \in \mathbb F_q,$ where $C$ is a sufficiently large constant, $ c$ is some number between $0$ and $1,$ and $|E|$ denotes the cardinality of the set $E.$
In this article, we improve and extend Pham's result in two dimensions to arbitrary dimensions with general non-degenerate quadratic distances. As a corollary of our results, we also generalize the sharp results on the Falconer type problem for the quotient set of distance set due to the first two authors and Parshall (2019). Furthermore, we provide improved constants for the size conditions of the underlying sets.
The key new ingredient is to relate the estimate of the $W(r)$ to a quadratic homogeneous variety in $2d$-dimensional vector space. This approach is fruitful because it allows us to take advantage of Gauss sums which are more handleable than the Kloosterman sums appearing in the standard distance type problems.
Colouring monohedral tilings: defects and grain boundaries
Published
• View Publication
• BIB
In this paper it is proved that there exist periodic monohedral tilings and finite seeds of colored tiles, which force non-periodic coloring of the whole plane
Constructing edge-disjoint Steiner trees in Cartesian product networks
Published
• View Publication
• BIB
Cartesian product networks are always regarded as a tool for ``combining'' two given networks with established properties to obtain a new one that inherits properties from both. For a graph $F=(V,E)$ and a set $S\subseteq V(F)$ of at least two vertices, \emph{an $S$-Steiner tree} or \emph{a Steiner tree connecting $S$} (or simply, \emph{an $S$-tree}) is a subgraph $T=(V',E')$ of $F$ that is a tree with $S\subseteq V'$. For $S\subseteq V(F)$ and $|S|\geq 2$, the {\it generalized local edge-connectivity} $λ(S)$ is the maximum number of edge-disjoint Steiner trees connecting $S$ in $F$. For an integer $k$ with $2\leq k\leq n$, the {\it generalized $k$-edge-connectivity} $λ_k(F)$ of a graph $F$ is defined as $λ_k(F)=\min\{λ(S)\,|\,S\subseteq V(F) \ and \ |S|=k\}$.In this paper, we give sharp upper and lower bounds for $λ_k(G\Box H)$, where $\Box$ is the Cartesian product operation, and $G,H$ are two graphs.
Reconstructing a point set from a random subset of its pairwise distances
Let $V$ be a set of $n$ points on the real line. Suppose that each pairwise distance is known independently with probability $p$. How much of $V$ can be reconstructed up to isometry?
We prove that $p = (\log n)/n$ is a sharp threshold for reconstructing all of $V$ which improves a result of Benjamini and Tzalik. This follows from a hitting time result for the random process where the pairwise distances are revealed one-by-one uniformly at random. We also show that $1/n$ is a weak threshold for reconstructing a linear proportion of $V$.
The excluded minors for embeddability into a compact surface
Published
• View Publication
• BIB
We determine the excluded minors characterising the class of countable graphs that embed into some compact surface.
Decidability of well quasi-order and atomicity for equivalence relations under embedding orderings
Published
• View Publication
• BIB
We consider the posets of equivalence relations on finite sets under the standard embedding ordering and under the consecutive embedding ordering. In the latter case, the relations are also assumed to have an underlying linear order, which governs consecutive embeddings. For each poset we ask the well quasi-order and atomicity decidability questions: Given finitely many equivalence relations $ρ_1,\dots,ρ_k$, is the downward closed set Av$(ρ_1,\dots,ρ_k)$ consisting of all equivalence relations which do not contain any of $ρ_1,\dots,ρ_k$: (a) well-quasi-ordered, meaning that it contains no infinite antichains? and (b) atomic, meaning that it is not a union of two proper downward closed subsets, or, equivalently, that it satisfies the joint embedding property?
Spectral arbitrariness for trees fails spectacularly
Published
• View Publication
• BIB
If $G$ is a graph and $\mathbf{m}$ is an ordered multiplicity list which is realizable by at least one symmetric matrix with graph $G$, what can we say about the eigenvalues of all such realizing matrices for $\mathbf{m}$? It has sometimes been tempting to expect, especially in the case that $G$ is a tree, that any spacing of the multiple eigenvalues should be realizable. In 2004, however, F. Barioli and S. Fallat produced the first counterexample: a tree on 16 vertices and an ordered multiplicity list for which every realizing set of eigenvalues obeys a nontrivial linear constraint.
We extend this by giving an infinite family of trees and ordered multiplicity lists whose sets of realizing eigenvalues are very highly constrained, with at most 5 degrees of freedom, regardless of the size of the tree in this family. In particular, we give the first examples of multiplicity lists for a tree which impose nontrivial nonlinear eigenvalue constraints and produce an ordered multiplicity list which is achieved by a unique set of eigenvalues, up to shifting and scaling.
Bracelets bases are theta bases
The skein algebra of a marked surface, possibly with punctures, admits the basis of (tagged) bracelet elements constructed by Fock-Goncharov and Musiker-Schiffler-Williams. As a cluster algebra, it also admits the theta basis of Gross-Hacking-Keel-Kontsevich, quantized by Davison-Mandel. We show that these two bases coincide (with a caveat for notched arcs in once-punctured tori). In unpunctured cases, one may consider the quantum skein algebra. We show that the quantized bases also coincide. Even for cases with punctures, we define quantum bracelets for the cluster algebras with coefficients, and we prove that these are again theta functions. On the corresponding cluster Poisson varieties (parameterizing framed $PGL_2$-local systems), we prove in general that the canonical coordinates of Fock-Goncharov, quantized by Bonahon-Wong and Allegretti-Kim, coincide with the associated (quantum) theta functions. Long-standing conjectures on strong positivity and atomicity follow as corollaries. Of potentially independent interest, we examine the behavior of cluster scattering diagrams under folding.
Linked partition ideals and a family of quadruple summations
Published
• View Publication
• BIB
Recently, $4$-regular partitions into distinct parts are connected with a family of overpartitions. In this paper, we provide a uniform extension of two relations due to Andrews for the two types of partitions. Such an extension is made possible with recourse to a new trivariate Rogers--Ramanujan type identity, which concerns a family of quadruple summations appearing as generating functions for the aforementioned overpartitions. More interestingly, the derivation of this Rogers--Ramanujan type identity is relevant to a certain well-poised basic hypergeometric series.
Combinatorial relations among relations for level 2 standard $C_{n}\sp{(1)}$-modules
Published
• View Publication
• BIB
For an affine Lie algebra $\hat{\mathfrak g}$ the coefficients of certain vertex operators which annihilate level $k$ standard $\hat{\mathfrak g}$-modules are the defining relations for level $k$ standard modules. In this paper we study a combinatorial structure of the leading terms of these relations for level $k=2$ standard $\hat{\mathfrak g}$-modules for affine Lie algebras of type $C_{n}\sp{(1)}$ and the main result is a construction of combinatorially parameterized relations among the coefficients of annihilating fields. It is believed that the constructed relations among relations will play a key role in a construction of Groebner-like basis of the maximal ideal of the universal vertex operator algebra $V^ k_{\mathfrak g}$ for $k=2$.
Periodicity of joint co-tiles in $\mathbb{Z}^d$
Published in DISCRETE ANALYSIS, 2024:13
• Search Publication
An old theorem of Newman asserts that any tiling of $\mathbb{Z}$ by a finite set is periodic. A few years ago, Bhattacharya proved the periodic tiling conjecture in $\mathbb{Z}^2$. Namely, he proved that for a finite subset $F$ of $\mathbb{Z}^2$, if there exists $A \subseteq \mathbb{Z}^2$ such that $F \oplus A = \mathbb{Z}^2$ then there exists a periodic $A' \subseteq \mathbb{Z}^2$ such that $F \oplus A' = \mathbb{Z}^2$. The recent refutation of the periodic tiling conjecture in high dimensions due to Greenfeld and Tao motivates finding different generalizations of Newman's theorem and of Bhattacharya's theorem that hold in arbitrary dimension $d$. In this paper, we formulate and prove such generalizations. We do so by studying the structure of joint co-tiles in $\mathbb{Z}^d$. Our generalization of Newman's theorem states that for any $d \ge 1$, any joint co-tile for $d$ independent tiles is periodic. For a $(d-1)$-tuple of finite subsets of $\mathbb{Z}^d$ that satisfy a certain technical condition that we call property $(\star)$, we prove that any joint co-tile decomposes into disjoint $(d-1)$-periodic sets. Consequently, we show that for a $(d-1)$-tuple of finite subsets of $\mathbb{Z}^d$ that satisfy property $(\star)$, the existence of a joint co-tile implies the existence of periodic joint co-tile. Conversely, we prove that if a finite subset $F$ in $\mathbb{Z}^d$ admits a periodic co-tile $A$, then there exist $(d-1)$ additional tiles that together with $F$ are independent and admit $A$ as a joint co-tile, so that the first $(d-2)$ of these tiles together with $F$ satisfy property $(\star)$. Combined, our results give a new necessary and sufficient condition for a subset of $\mathbb{Z}^d$ to tile periodically. We also discuss tilings and joint tilings in other countable abelian groups.
Spherical Configurations over Finite Fields
Published in Amer. J. Math. Volume 142, Number 2, April 2020, 373-404
• View Publication
• BIB
We establish that if $d \geq 2k + 6$ and $q$ is odd and sufficiently large with respect to $α\in (0,1)$, then every set $A\subseteq \mathbf{F}_q^d$ of size $|A| \geq αq^d$ will contain an isometric copy of every spherical $(k+2)$-point configuration that spans $k$ dimensions.
Weak hypergraph regularity and applications to geometric Ramsey theory
Published in Trans. Amer. Math. Soc. Ser. B 9 (2022), 160-207
• View Publication
• BIB
Let $Δ=Δ_1\times\ldots\times Δ_d\subseteq\mathbb{R}^n$, where $\mathbb{R}^n=\mathbb{R}^{n_1}\times\cdots\times\mathbb{R}^{n_d}$ with each $Δ_i\subseteq\mathbb{R}^{n_i}$ a non-degenerate simplex of $n_i$ points.
We prove that any set $S\subseteq \mathbb{R}^n$, with $n=n_1+\cdots +n_d$ of positive upper Banach density necessarily contains an isometric copy of all sufficiently large dilates of the configuration $Δ$. In particular any such set $S\subseteq \mathbb{R}^{2d}$ contains a $d$-dimensional cube of side length $λ$, for all $λ\geq λ_0(S)$.
We also prove analogous results with the underlying space being the integer lattice. The proof is based on a weak hypergraph regularity lemma and an associated counting lemma developed in the context of Euclidean spaces and the integer lattice.
Discrete maximal operators and pinned simplices
We prove $\ell^2$ estimates for certain discrete maximal operators associated to simplices. These operators are generalizations of the discrete spherical maximal operator.
Bounds for Permutation Arrays under Kendall Tau Metric
Published
• View Publication
• BIB
Permutation arrays under the Kendall-$τ$ metric have been considered for error-correcting codes. Given $n$ and $d\in [1..\binom{n}{2}]$, the task is to find a large permutation array of permutations on $n$ symbols with pairwise Kendall-$τ$ distance at least $d$. Let $P(n,d)$ denote the maximum size of any permutation array of permutations on $n$ symbols with pairwise Kendall-$τ$ distance $d$. New algorithms and several theorems are presented, giving improved lower bounds for $P(n,d)$. Also, $(n,m,d)$-arrays are defined, which are permutation arrays on n symbols with Kendall-$τ$ distance d, with the restriction that symbols {1...(n-m)} appear in increasing order. Let $P(n,m,d)$ denote the maximum size of any $(n,m,d)$-array. For example, (n,m,d)-arrays are useful for recursively computing lower bounds for $P(n,d)$. Lower and upper bounds are given for $P(n.m,d)$.
A realization of poset associahedra
Published
• View Publication
• BIB
Given any connected poset $P$, we give a simple realization of Galashin's poset associahedron $\mathscr{A}(P)$ as a convex polytope in $\mathbb{R}^P.$ The realization is inspired by the description of $\mathscr{A}(P)$ as a compactification of the configuration space of order-preserving maps $P \to \mathbb{R}.$ In addition, we give an analogous realization for Galashin's affine poset cyclohedra.
Asymmetrizing infinite trees
A graph $G$ is asymmetrizable if it has a set of vertices whose setwise stablizer only consists of the identity automorphism. The motion $m$ of a graph is the minimum number of vertices moved by any non-identity automorphism. It is known that infinite trees $T$ with motion $m=\aleph_0$ are asymmetrizable if the vertex-degrees are bounded by $2^m.$ We show that this also holds for arbitrary, infinite $m$, and that the number of inequivalent asymmetrizing sets is $2^{|T|}$.
On the rainbow planar Turán number of paths
An edge-colored graph is said to contain a rainbow-$F$ if it contains $F$ as a subgraph and every edge of $F$ is a distinct color. The problem of maximizing edges among $n$-vertex properly edge-colored graphs not containing a rainbow-$F$, known as the rainbow Turán problem, was initiated by Keevash, Mubayi, Sudakov and Verstraëte. We investigate a variation of this problem with the additional restriction that the graph is planar, and we denote the corresponding extremal number by $\ex_{\p}^*(n,F)$. In particular, we determine $\ex_{\p}^*(n,P_5)$, where $P_5$ denotes the $5$-vertex path.
Forbidden Subgraphs of co-prime Graphs of finite Groups
For a finite group $G$ the co-prime graph $Γ(G)$ is defined as a graph with vertex set $G$ in which two distinct vertices $x$ and $y$ are adjacent if and only if $gcd(o(x),o(y))=1$ where $o(x)$ and $o(y)$ denote the orders of the elements $x$ and $y$ respectively. In this paper we find properties of groups whose co-prime graphs forbid graphs such as $C_4,K_{1,3},P_4$ and asteroidal triples.