Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Higher-order generalizations of stability and arithmetic regularity
We define a natural notion of higher order stability and show that subsets of $\mathbb{F}_p^n$ that are tame in this sense can be approximately described by a union of low-complexity quadratic varieties, up to linear error. This generalizes the arithmetic regularity lemma for stable subsets of $\mathbb{F}_p^n$, proved in earlier work of the authors, to the realm of higher-order Fourier analysis.
This result is strictly stronger than the structure theorem for sets of bounded $\mathrm{VC}_2$-dimension, first proved by the authors in earlier versions of this paper and now available as a separate manuscript arXiv:2510.12867. Taken together, these results provide group theoretic analogues of results obtained for 3-uniform hypergraphs in arXiv:2111.01737.
Game of Life on Graphs
We consider a specific graph dynamical system inspired by the famous Conway's Game of Life in this work. We study the properties of the dynamical system on different graphs and introduce a new efficient heuristic for graph isomorphism testing. We use the evolution of our system to extract features from a graph in a deterministic way and observe that the extracted features are unique and the distance induced by that features satisfy triangle inequality for all connected graphs with up to ten vertices.
Improving the Cook et al. Proximity Bound Given Integral Valued Constraints
Published
• View Publication
• BIB
Consider a linear program of the form $\max\;c^{\top}x:Ax\leq b$, where $A$ is an $m\times n$ integral matrix. In 1986 Cook, Gerards, Schrijver, and Tardos proved that, given an optimal solution $x^{*}$, if an optimal integral solution $z^{*}$ exists, then it may be chosen such that $\left\Vert x^{*}-z^{*}\right\Vert _{\infty}<nΔ$, where $Δ$ is the largest magnitude of any subdeterminant of $A$. Since then an open question has been to improve this bound, assuming that $b$ is integral valued too. In this manuscript we show that $nΔ$ can be replaced with $\frac{n}{2}\cdotΔ$ whenever $n\geq2$. We also show that, in certain circumstances, the factor $n$ can be removed entirely.
Co-even domination number of some binary operations on graphs
Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $D\subseteq V$ such that every vertex not in $D$ is adjacent to at least one vertex in $D$. The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$. A dominating set $D$ is called co-even dominating set if the degree of vertex $v$ is even number for all $v\in V-D$.
The cardinality of a smallest co-even dominating set of $G$, denoted by $γ_{coe}(G)$, is the co-even domination number of $G$. In this paper, we study the co-even domination number of some binary operations on graphs.
On pseudofrobenius imprimitive association schemes
Published
• View Publication
• BIB
An (association) scheme is said to be Frobenius if it is the scheme of a Frobenius group. A scheme which has the same tensor of intersection numbers as some Frobenius scheme is said to be pseudofrobenius. We establish a necessary and sufficient condition for an imprimitive pseudofrobenius scheme to be Frobenius. We also prove strong necessary conditions for existence of an imprimitive pseudofrobenius scheme which is not Frobenius. As a byproduct, we obtain a sufficient condition for an imprimitive Frobenius group $G$ with abelian kernel to be determined up to isomorphism only by the character table of $G$. Finally, we prove that the Weisfeiler-Leman dimension of a circulant graph with $n$ vertices and Frobenius automorphism group is equal to $2$ unless $n\in \{p,p^2,p^3,pq,p^2q\}$, where $p$ and $q$ are distinct primes.
A subsemigroup of the rook monoid
Published
• View Publication
• BIB
We define a subsemigroup $S_n$ of the rook monoid $R_n$ and investigate its properties. To do this, we represent the nonzero elements of $S_n$ (which are $n\times n$ matrices) via certain triplets of integers, and develop a closed-form expression representing the product of two elements; these tools facilitate straightforward deductions of a great number of properties. For example, we show that $S_n$ consists solely of idempotents and nilpotents, find the numbers of idempotents and nilpotents, and compute nilpotency indexes. Furthermore, we give a necessary and sufficient condition for the $j$th root of a nonzero element to exist in $S_n$, show that existence implies uniqueness, and compute the said root explicitly. We also point to several combinatorial aspects; describe a number of subsemigroups of $S_n$; and, using rook $n$-diagrams, graphically interpret many of our results.
On a Problem of Steinhaus
Published
• View Publication
• BIB
Let $N$ be a positive integer. A sequence $X=(x_1,x_2,\ldots,x_N)$ of points in the unit interval $[0,1)$ is piercing if $\{x_1,x_2,\ldots,x_n\}\cap \left[\frac{i}{n},\frac{i+1}{n} \right) \neq\emptyset$ holds for every $n=1,2,\ldots, N$ and every $i=0,1,\ldots,n-1$. In 1958 Steinhaus asked whether piercing sequences can be arbitrarily long. A negative answer was provided by Schinzel, who proved that any such sequence may have at most $74$ elements. This was later improved to the best possible value of $17$ by Warmus, and independently by Berlekamp and Graham.
In this paper we study a more general variant of piercing sequences. Let $f(n)\geq n$ be an infinite nondecreasing sequence of positive integers. A sequence $X=(x_1,x_2,\ldots,x_{f(N)})$ is $f$-piercing if $\{x_1,x_2,\ldots,x_{f(n)}\}\cap \left[\frac{i}{n},\frac{i+1}{n} \right) \neq\emptyset$ holds for every $n=1,2,\ldots, N$ and every $i=0,1,\ldots,n-1$. A special case of $f(n)=n+d$, with $d$ a fixed nonnegative integer, was studied by Berlekamp and Graham. They noticed that for each $d\geq 0$, the maximum length of any $(n+d)$-piercing sequence is finite. Expressing this maximum length as $s(d)+d$, they obtained an exponential upper bound on the function $s(d)$, which was later improved to $s(d)=O(d^3)$ by Graham and Levy. Recently, Konyagin proved that $2d\leqslant s(d)< 200d$ holds for all sufficiently big $d$.
Using a different technique based on the Farey fractions and stick-breaking games, we prove here that the function $s(d)$ satisfies $\left\lfloor{}c_1d\right\rfloor{}\leqslant s(d)\leqslant c_2d+o(d)$, where $c_1=\frac{\ln 2}{1-\ln 2}\approx2.25$ and $c_2=\frac{1+\ln2}{1-\ln2}\approx5.52$. We also prove that there exists an infinite $f$-piercing sequence with $f(n)= γn+o(n)$ if and only if $γ\geq\frac{1}{\ln 2}\approx 1.44$.
Counting Tripods on the Torus
Published in Arnold Math. J. 9 (2023) 359-379
• View Publication
• BIB
Motivated by the problem of counting finite BPS webs, we count certain immersed metric graphs, tripods, on the flat torus. Classical Euclidean geometry turns this into a lattice point counting problem in $\mathbb C^2$, and we give an asymptotic counting result using lattice point counting techniques.
Hilbert series of Parallelogram Polyominoes
Published
• View Publication
• BIB
We present a conjecture about the reduced Hilbert series of the coordinate ring of a simple polyomino in terms of particular arrangements of non-attacking rooks that can be placed on the polyomino. By using a computational approach, we prove that the above conjecture holds for all simple polyominoes up to rank $11$. In addition, we prove that the conjecture holds true for the class of parallelogram polyominoes, by looking at those as simple planar distributive lattices. Finally, we give a combinatorial interpretation of the Gorensteinnes of parallelogram polyominoes.
Ken's colorful questions
Published
• View Publication
• BIB
The paper surveys some questions concerning \emph{coloring axioms} which grew out of the discussions the author had with his PhD advisor Ken Kunen.
Domination polynomial is unimodal for large graphs with a universal vertex
For a undirected simple graph $G$, let $d_i(G)$ be the number of $i$-element dominating vertex set of $G$. The domination polynomial of the graph $G$ is defined as $$D(G, x) = \sum_{i = 1}^n d_i(G)x^i.$$ Alikhani and Peng conjectured that $D(G, x)$ is unimodal for any graph $G$. Answering a proposal of Beaton and Brown, we show that $D(G, x)$ is unimodal when $G$ has at least $2^{13}$ vertices and has a universal vertex, which is a vertex adjacent to any other vertex of $G$. We further determine possible locations of the mode.
The Strong Gauss Lucas Theorem and Analyticity of Correlation Functions via the Lee-Yang Theorem
Published
• View Publication
• BIB
We provide a simple mechanism for going from Lee-Yang type theorems to analyticity of correlation functions by exploiting under appreciated inequalities of Newman. We also describe a Lee-Yang approach that recovers the consequences of a low density cluster expansion for spin S models without any combinatorics.
Recolouring Homomorphisms to triangle-free reflexive graphs
Published in J Algebr Comb, 57, (2022) pp. 53--73
• View Publication
• BIB
For a graph $H$, the $H$-recolouring problem $\operatorname{Recol}(H)$ asks, for two given homomorphisms from a given graph $G$ to $H$, if one can get between them by a sequence of homomorphisms of $G$ to $H$ in which consecutive homomorphisms differ on only one vertex. We show that, if $G$ and $H$ are reflexive and $H$ is triangle-free, then this problem can be solved in polynomial time. This shows, at the same time, that the closely related $H$-reconfiguration problem $\operatorname{Recon}(H)$ of deciding whether two given homomorphisms from a given graph $G$ to $H$ are in the same component of the Hom-graph $\operatorname{Hom}(G,H)$, can be solved in polynomial time for triangle-free reflexive graphs $H$.
Cluster Algebras and Scattering Diagrams, Part III. Cluster Scattering Diagrams
Published in MSJ Mem. 41 (2023)
• Search Publication
This is a self-contained exposition of several fundamental properties of cluster scattering diagrams introduced and studied by Gross, Hacking, Keel, and Kontsevich. In particular, detailed proofs are presented for the construction, the mutation invariance, and the positivity of theta functions of cluster scattering diagrams. Throughout the text we highlight the fundamental roles of the dilogarithm elements and the pentagon relation in cluster scattering diagrams.
Torus quotient of the Grassmannian $G_{n,2n}$
Published in C. R. Math. Acad. Sci. Paris 361 (2023) 1499-1509
• View Publication
• BIB
Let $G_{n,2n}$ be the Grassmannian parameterizing the $n$-dimensional subspaces of $\mathbb{C}^{2n}.$ The Picard group of $G_{n,2n}$ is generated by a unique ample line bundle $\mathcal{O}(1).$ Let $T$ be a maximal torus of $SL(2n,\mathbb{C})$ which acts on $G_{n,2n}$ and $\mathcal{O}(1).$ By \cite[Theorem 3.10, p.764]{Kum}, $2$ is the minimal integer $k$ such that $\mathcal{O}(k)$ descends to the GIT quotient. In this article, we prove that the GIT quotient of $G_{n,2n}$ ($n\ge 3$) by $T$ with respect to $\mathcal{O}(2)=\mathcal{O}(1)^{\otimes 2}$ is not projectively normal when polarized with the descent of $\mathcal{O}(2).$
Characteristic numbers and chromatic polynomial of a tensor
We introduce the characteristic numbers and the chromatic polynomial of a tensor. Our approach generalizes and unifies the chromatic polynomial of a graph and of a matroid, characteristic numbers of quadrics in Schubert calculus, Betti numbers of complements of hyperplane arrangements and Euler characteristic of complements of determinantal hypersurfaces and the maximum likelihood degree for general linear concentration models in algebraic statistics.
Block avoiding point sequencings of partial Steiner systems
Published in Des. Codes Cryptogr. 90 (2022) 2375-2383
• View Publication
• BIB
A partial $(n,k,t)_λ$-system is a pair $(X,\mathcal{B})$ where $X$ is an $n$-set of vertices and $\mathcal{B}$ is a collection of $k$-subsets of $X$ called blocks such that each $t$-set of vertices is a subset of at most $λ$ blocks. A sequencing of such a system is a labelling of its vertices with distinct elements of $\{0,\ldots,n-1\}$. A sequencing is $\ell$-block avoiding or, more briefly, $\ell$-good if no block is contained in a set of $\ell$ vertices with consecutive labels. Here we give a short proof that, for fixed $k$, $t$ and $λ$, any partial $(n,k,t)_λ$-system has an $\ell$-good sequencing for some $\ell=Θ(n^{1/t})$ as $n$ becomes large. This improves on results of Blackburn and Etzion, and of Stinson and Veitch. Our result is perhaps of most interest in the case $k=t+1$ where results of Kostochka, Mubayi and Verstraëte show that the value of $\ell$ cannot be increased beyond $Θ((n \log n)^{1/t})$. A special case of our result shows that every partial Steiner triple system (partial $(n,3,2)_1$-system) has an $\ell$-good sequencing for each positive integer $\ell \leq 0.0908\,n^{1/2}$.
Finite and infinite closed-rich words
Published
• View Publication
• BIB
A word is called closed if it has a prefix which is also its suffix and there is no internal occurrences of this prefix in the word. In this paper we study words that are rich in closed factors, i.e., which contain the maximal possible number of distinct closed factors. As the main result, we show that for finite words the asymptotics of the maximal number of distinct closed factors in a word of length $n$ is $\frac{n^2}{6}$. For infinite words, we show there exist words such that each their factor of length $n$ contains a quadratic number of distinct closed factors, with uniformly bounded constant; we call such words infinite closed-rich. We provide several necessary and some sufficient conditions for a word to be infinite closed rich. For example, we show that all linearly recurrent words are closed-rich. We provide a characterization of rich words among Sturmian words. Certain examples we provide involve non-constructive methods.
Growth rates of the bipartite Erdős-Gyárfás function
Published in Journal of Graph Theory (2024)
• View Publication
• BIB
Given two graphs $G, H$ and a positive integer $q$, an $(H,q)$-coloring of $G$ is an edge-coloring of $G$ such that every copy of $H$ in $G$ receives at least $q$ distinct colors. The bipartite Erdős-Gyárfás function $r(K_{n,n}, K_{s,t}, q)$ is defined to be the minimum number of colors needed for $K_{n,n}$ to have a $(K_{s,t}, q)$-coloring. For balanced complete bipartite graphs $K_{p,p}$, the function $r(K_{n,n}, K_{p,p}, q)$ was studied systematically in [Axenovich, Füredi and Mubayi, {\it J. Combin. Theory Ser. B} {\bf 79} (2000), 66--86]. In this paper, we study the asymptotic behavior of this function for complete bipartite graphs $K_{s,t}$ that are not necessarily balanced. Our main results deal with thresholds and lower and upper bounds for the growth rate of this function, in particular for (sub)linear and (sub)quadratic growth. We also obtain new lower bounds for the balanced bipartite case, and improve several results given by Axenovich, Füredi and Mubayi. Our proof techniques are based on an extension to bipartite graphs of the recently developed Color Energy Method by Pohoata and Sheffer and its refinements, and a generalization of an old result due to Corrádi.
Algorithms for Interference Minimization in Future Wireless Network Decomposition
We propose a simple and fast method for providing a high quality solution for the sum-interference minimization problem. As future networks are deployed in high density urban areas, improved clustering methods are needed to provide low interference network connectivity. The proposed algorithm applies straightforward similarity based clustering and optionally stable matchings to outperform state of the art algorithms. The running times of our algorithms are dominated by one matrix multiplication.