Showing 20 papers (Total: 84460 papers, 48641 authors in database)
A blurred view of Van der Waerden type theorems
Let $AP_k=\{a,a+d,\ldots,a+(k-1)d\}$ be an arithmetic progression. For $ε>0$ we call a set $AP_k(ε)=\{x_0,\ldots,x_{k-1}\}$ an $ε$-approximate arithmetic progression if for some $a$ and $d$, $|x_i-(a+id)|<εd$ holds for all $i\in\{0,1\ldots,k-1\}$. Complementing earlier results of Dumitrescu, in this paper we study numerical aspects of Van der Waerden, Szemeredi and Furstenberg-Katznelson like results in which arithmetic progressions and their higher dimensional extensions are replaced by their $ε$-approximation.
Structure vs. Randomness for Bilinear Maps
Published
• View Publication
• BIB
We prove that the slice rank of a 3-tensor (a combinatorial notion introduced by Tao in the context of the cap-set problem), the analytic rank (a Fourier-theoretic notion introduced by Gowers and Wolf), and the geometric rank (an algebro-geometric notion introduced by Kopparty, Moshkovitz, and Zuiddam) are all equal up to an absolute constant. As a corollary, we obtain strong trade-offs on the arithmetic complexity of a biased bilinear map, and on the separation between computing a bilinear map exactly and on average. Our result settles open questions of Haramaty and Shpilka [STOC 2010], and of Lovett [Discrete Anal. 2019] for 3-tensors.
Integral closures, Primary Hyperideals and Hypervaluation Hyperideals of Kranser Hyperrings
Published
• View Publication
• BIB
In this paper, the notions of integral closure of hyperrings and hyperideals in a Krasner hyperring $(R, +, \cdot)$ are defined and some basics properties of them are studied. We define also the notion of hypervaluation hyperideals and then a relations between hypervaluations, integral closure of hyperideals and primary hyperideals are studied. In fact it is shown that the integral closure of a hyperideal is determined by the hypervaluation Krasner hyperrings.
Lower Bounds on the Integraliy Ratio of the Subtour LP for the Traveling Salesman Problem
Published
• View Publication
• BIB
In this paper we investigate instances with high integrality ratio of the subtour LP. We develop a procedure to generate families of Euclidean TSP instances whose integrality ratios converge to $\frac{4}{3}$ and may have a different structure than the instances currently known from the literature. Moreover, we compute the instances maximizing the integrality ratio for Rectilinear TSP with up to 10 vertices. Based on these instances we give families of instances whose integrality ratio converge to $\frac{4}{3}$ for Rectilinear, Multidimensional Rectilinear and Euclidean TSP that have similar structures. We show that our instances for Multidimensional Rectilinear TSP and the known instances for Metric TSP maximize the integrality ratio under certain assumptions. We also investigate the concept of local optimality with respect to integrality ratio and develop several algorithms to find instances with high integrality ratio. Furthermore, we describe a family of instances that are hard to solve in practice. The currently fastest TSP solver Concorde needs more than two days to solve an instance from the family with 52 vertices.
Turan problems for $k$-geodetic digraphs
Published
• View Publication
• BIB
A digraph $G$ is \emph{$k$-geodetic} if for any pair of (not necessarily distinct) vertices $u,v \in V(G)$ there is at most one walk of length $\leq k$ from $u$ to $v$ in $G$. In this paper we determine the largest possible size of a $k$-geodetic digraph with given order. We then consider the more difficult problem of the largest size of a strongly-connected $k$-geodetic digraph with given order, solving this problem for $k = 2$ and giving a construction which we conjecture to be extremal for larger $k$. We close with some results on generalised Turán problems for the number of directed cycles and paths in $k$-geodetic digraphs.
The Stembridge Equality for Skew Stable Grothendieck Polynomials and Skew Dual Stable Grothendieck Polynomials
Published
• View Publication
• BIB
The Schur polynomials $s_λ$ are essential in understanding the representation theory of the general linear group. They also describe the cohomology ring of the Grassmannians. For $ρ= (n, n-1, \dots, 1)$ a staircase shape and $μ\subseteq ρ$ a subpartition, the Stembridge equality states that $s_{ρ/μ} = s_{ρ/μ^T}$. This equality provides information about the symmetry of the cohomology ring. The stable Grothendieck polynomials $G_λ$, and the dual stable Grothendieck polynomials $g_λ$, developed by Buch, Lam, and Pylyavskyy, are variants of the Schur polynomials and describe the $K$-theory of the Grassmannians. Using the Hopf algebra structure of the ring of symmetric functions and a generalized Littlewood-Richardson rule, we prove that $G_{ρ/μ} = G_{ρ/μ^T}$ and $g_{ρ/μ} = g_{ρ/μ^T}$, the analogues of the Stembridge equality for the skew stable and skew dual stable Grothendieck polynomials.
Approximately counting independent sets of a given size in bounded-degree graphs
Published
• View Publication
• BIB
We determine the computational complexity of approximately counting and sampling independent sets of a given size in bounded-degree graphs. That is, we identify a critical density $α_c(Δ)$ and provide (i) for $α< α_c(Δ)$ randomized polynomial-time algorithms for approximately sampling and counting independent sets of given size at most $αn$ in $n$-vertex graphs of maximum degree $Δ$; and (ii) a proof that unless NP=RP, no such algorithms exist for $α>α_c(Δ)$. The critical density is the occupancy fraction of the hard core model on the complete graph $K_{Δ+1}$ at the uniqueness threshold on the infinite $Δ$-regular tree, giving $α_c(Δ)\sim\frac{e}{1+e}\frac{1}Δ$ as $Δ\to\infty$. Our methods apply more generally to anti-ferromagnetic 2-spin systems and motivate new questions in extremal combinatorics.
Erdos-Hajnal for graphs with no 5-hole
Published
• View Publication
• BIB
The Erdos-Hajnal conjecture says that for every graph H there exists c>0 such that every graph G not containing H as an induced subgraph has a clique or stable set of cardinality at least |G|^c. We prove that this is true when H is a cycle of length five.
We also prove several further results: for instance, that if C is a cycle and H is the complement of a forest, there exists c>0 such that every graph G containing neither of C,H as an induced subgraph has a clique or stable set of cardinality at least |G|^c.
Balanced Districting on Grid Graphs with Provable Compactness and Contiguity
Given a graph $G = (V,E)$ with vertex weights $w(v)$ and a desired number of parts $k$, the goal in graph partitioning problems is to partition the vertex set V into parts $V_1,\ldots,V_k$. Metrics for compactness, contiguity, and balance of the parts $V_i$ are frequent objectives, with much existing literature focusing on compactness and balance. Revisiting an old method known as striping, we give the first polynomial-time algorithms with guaranteed contiguity and provable bicriteria approximations for compactness and balance for planar grid graphs. We consider several types of graph partitioning, including when vertex weights vary smoothly or are stochastic, reflecting concerns in various real-world instances. We show significant improvements in experiments for balancing workloads for the fire department and reducing over-policing using 911 call data from South Fulton, GA.
Generalized Catalan numbers from hypergraphs
Published
• View Publication
• BIB
The Catalan numbers (C_n)_{n >= 0} = 1,1,2,5,14,42,... form one of the most venerable sequences in combinatorics. They have many combinatorial interpretations, from counting bracketings of products in non-associative algebra to counting plane trees and noncrossing set partitions. They also arise in the GUE matrix model as the leading coefficient of certain polynomials, a connection closely related to the plane trees and noncrossing set partitions interpretations. In this paper we define a generalization of the Catalan numbers. In fact we define an infinite collection of generalizations C_n^(m), m >= 1, with m=1 giving the usual Catalans. The sequence C_n^(m) comes from studying certain matrix models attached to hypergraphs. We also give some combinatorial interpretations of these numbers, and conjecture some asymptotics.
The Non-Existence of Block-Transitive Subspace Designs
Published
• View Publication
• BIB
Let $q$ be a prime power and $V\cong{\mathbb F}_q^n$. A $t$-$(n,k,λ)_q$ design, or simply a subspace design, is a pair ${\mathcal D}=(V,{\mathcal B})$, where ${\mathcal B}$ is a subset of the set of all $k$-dimensional subspaces of $V$, with the property that each $t$-dimensional subspace of $V$ is contained in precisely $λ$ elements of ${\mathcal B}$. Subspace designs are the $q$-analogues of balanced incomplete block designs. Such a design is called block-transitive if its automorphism group ${\rm Aut}({\mathcal D})$ acts transitively on ${\mathcal B}$. It is shown here that if $t\geq 2$ and ${\mathcal D}$ is a block-transitive $t$-$(n,k,λ)_q$ design then ${\mathcal D}$ is trivial, that is, ${\mathcal B}$ is the set of all $k$-dimensional subspaces of $V$.
On the spectral radius, energy and Estrada index of the Sombor matrix of graphs
Let $G$ be a simple undirected graph with vertex set $V(G)=\{v_1, v_2, \ldots, v_n\}$ and edge set $E(G)$. The Sombor matrix $\mathcal{S}(G)$ of a graph $G$ is defined so that its $(i,j)$-entry is equal to $\sqrt{d_i^2+d_j^2}$ if the vertices $v_i$ and $v_j$ are adjacent, and zero otherwise, where $d_i$ denotes the degree of vertex $v_i$ in $G$. In this paper, lower and upper bounds on the spectral radius, energy and Estrada index of the Sombor matrix of graphs are obtained, and the respective extremal graphs are characterized.
The Embedded Homology of Hypergraph Pairs
Published
• View Publication
• BIB
In this paper, we generalize the embedded homology groups of hypergraphs initially given in [S. Bressan, J. Li, S. Ren, and J. Wu, The embedded homology of hypergraphs and applications, Asian J. Math. 23(3)(2019) 479-500] and study the relative embedded homology groups of hypergraph pairs. We prove some long exact sequences as well as a Mayer-Vietoris sequence for the relative embedded homology groups of hypergraph pairs. Moreover, we briefly discuss the two-dimensional persistence for the relative embedded homology groups of hypergraph pairs.
Normal Cayley digraphs of cyclic groups with CI-property
Published
• View Publication
• BIB
A Cayley (di)graph $Cay(G,S)$ of a group $G$ with respect to a subset $S$ of $G$ is called normal if the right regular representation of $G$ is a normal subgroup in the full automorphism group of $Cay(G,S)$, and is called a CI-(di)graph if for every $T\subseteq G$, $Cay(G,S)\cong Cay(G,T)$ implies that there is $σ\in Aut(G)$ such that $S^σ=T$. We call a group $G$ a NDCI-group if all normal Cayley digraphs of $G$ are CI-digraphs, and a NCI-group if all normal Cayley graphs of $G$ are CI-graphs, respectively. In this paper, we prove that a cyclic group of order $n$ is a NDCI-group if and only if $8\nmid n$, and is a NCI-group if and only if either $n=8$ or $8\nmid n$.
A note on invariable generation of nonsolvable permutation groups
We prove a result on the asymptotic proportion of randomly chosen pairs of permutations in the symmetric group $S_n$ which "invariably" generate a nonsolvable subgroup, i.e., whose cycle structures cannot possibly both occur in the same solvable subgroup of $S_n$. As an application, we obtain that for a large degree "random" integer polynomial $f$, reduction modulo two different primes can be expected to suffice to prove the nonsolvability of $Gal(f/\mathbb{Q})$.
A strengthening of the spectral chromatic critical edge theorem: books and theta graphs
Published
• View Publication
• BIB
The chromatic critical edge theorem of Simonovits states that for a given color critical graph $H$ with $χ(H)=k+1$, there exists an $n_0(H)$ such that the Turán graph $T_{n,k}$ is the only extremal graph with respect to $ex(n,H)$ provided $n \geq n_0(H)$. Nikiforov's pioneer work on spectral graph theory implies that the color critical edge theorem also holds if $ex(n,H)$ is replaced by the maximum spectral radius and $n_0(H)$ is an exponential function of $|H|$. We want to know which color critical graphs $H$ satisfy that $n_0(H)$ is a linear function of $|H|$. Previous graphs include complete graphs and odd cycles. In this paper, we find two new classes of graphs: books and theta graphs. Namely, we prove that every graph on $n$ vertices with $ρ(G)>ρ(T_{n,2})$ contains a book of size greater than $\frac{n}{6.5}$. This can be seen as a spectral version of a 1962 conjecture by Erdős, which states that every graph on $n$ vertices with $e(G)>e(T_{n,2})$ contains a book of size greater than $\frac{n}{6}$. In addition, our result on theta graphs implies that if $G$ is a graph of order $n$ with $ρ(G)>ρ(T_{n,2})$, then $G$ contains a cycle of length $t$ for every $t\leq \frac{n}{7}$. This is related to an open question by Nikiforov which asks to determine the maximum $c$ such that every graph $G$ of large enough order $n$ with $ρ(G)>ρ(T_{n,2})$ contains a cycle of length $t$ for every $t\leq cn$.
Edges in Fibonacci cubes, Lucas cubes and complements
Published
• View Publication
• BIB
The Fibonacci cube of dimension n, denoted as $Γ\_n$, is the subgraph of the hypercube induced by vertices with no consecutive 1's. The irregularity of a graph G is the sum of |d(x)-d(y)| over all edges {x,y} of G. In two recent paper based on the recursive structure of $Γ\_n$ it is proved that the irregularity of $Γ\_n$ and $Λ\_n$ are two times the number of edges of $Γ\_{n-1}$ and $2n$ times the number of vertices of $Γ\_{n-4}$, respectively. Using an interpretation of the irregularity in terms of couples of incident edges of a special kind (Figure 2) we give a bijective proof of both results. For these two graphs we deduce also a constant time algorithm for computing the imbalance of an edge. In the last section using the same approach we determine the number of edges and the sequence of degrees of the cube complement of $Γ\_n$.
On the Broadcast Independence Number of Circulant Graphs
Published
• View Publication
• BIB
An independent broadcast on a graph $G$ is a function $f: V \longrightarrow \{0,\ldots,{\rm diam}(G)\}$ such that $(i)$ $f(v)\leq e(v)$ for every vertex $v\in V(G)$, where $\operatorname{diam}(G)$ denotes the diameter of $G$ and $e(v)$ the eccentricity of vertex $v$, and $(ii)$ $d(u,v) > \max \{f(u), f(v)\}$ for every two distinct vertices $u$ and $v$ with $f(u)f(v)>0$. The broadcast independence number $β_b(G)$ of $G$ is then the maximum value of $\sum_{v \in V} f(v)$, taken over all independent broadcasts on $G$. We prove that every circulant graph of the form $C(n;1,a)$, $3\le a\le \lfloor\frac{n}{2} \rfloor$, admits an optimal $2$-bounded independent broadcast, that is, an independent broadcast~$f$ satisfying $f(v)\le 2$ for every vertex $v$, except when $n=2a+1$, or $n=2a$ and $a$ is even. We then determine the broadcast independence number of various classes of such circulant graphs, and prove that, for most of these classes, the equality $β_b(C(n;1,a)) = α(C(n;1,a))$ holds, where $α(C(n;1,a))$ denotes the independence number of $C(n;1,a)$.
Local certification of graphs on surfaces
Published in Theoretical Computer Science 909 (2022), 68-75
• View Publication
• BIB
A proof labelling scheme for a graph class $\mathcal{C}$ is an assignment of certificates to the vertices of any graph in the class $\mathcal{C}$, such that upon reading its certificate and the certificates of its neighbors, every vertex from a graph $G\in \mathcal{C}$ accepts the instance, while if $G\not\in \mathcal{C}$, for every possible assignment of certificates, at least one vertex rejects the instance. It was proved recently that for any fixed surface $Σ$, the class of graphs embeddable in $Σ$ has a proof labelling scheme in which each vertex of an $n$-vertex graph receives a certificate of at most $O(\log n)$ bits. The proof is quite long and intricate and heavily relies on an earlier result for planar graphs. Here we give a very short proof for any surface. The main idea is to encode a rotation system locally, together with a spanning tree supporting the local computation of the genus via Euler's formula.
The Partition-Frequency Enumeration Matrix
Published in Ramanujan J., 59 (2022), 51-86
• View Publication
• BIB
We develop a calculus that gives an elementary approach to enumerate partition-like objects using an infinite upper-triangular number-theoretic matrix. We call this matrix the Partition-Frequency Enumeration (PFE) matrix. This matrix unifies a large number of results connecting number-theoretic functions to partition-type functions. The calculus is extended to arbitrary generating functions, and functions with Weierstrass products. As a by-product, we recover (and extend) some well-known recurrence relations for many number-theoretic functions, including the sum of divisors function, Ramanujan's $τ$ function, sums of squares and triangular numbers, and for $ζ(2n)$, where $n$ is a positive integer. These include classical results due to Euler, Ewell, Ramanujan, Lehmer and others. As one application, we embed Ramanujan's famous congruences $p(5n+4)\equiv 0$ (mod $5)$ and $τ(5n+5)\equiv 0$ (mod $5)$ into an infinite family of such congruences.