Showing 20 papers (Total: 82000 papers, 47479 authors in database)
Hypergraphs with irrational Turán density and many extremal configurations
Unlike graphs, determining Turán densities of hypergraphs is known to be notoriously hard in general. The essential reason is that for many classical families of $r$-uniform hypergraphs $\mathcal{F}$, there are perhaps many near-extremal $\mathcal{M}_t$-free configurations with very different structure. Such a phenomenon is called not stable, and Liu and Mubayi gave a first not stable example. Another perhaps reason is that little is known about the set consisting of all possible Turán densities which has cardinality of the continuum. Let $t\ge 2$ be an integer. In this paper, we construct a finite family $\mathcal{M}_t$ of 3-uniform hypergraphs such that the Turán density of $\mathcal{M}_t$ is irrational, and there are $t$ near-extremal $\mathcal{M}_t$-free configurations that are far from each other in edit-distance. This is the first not stable example that has an irrational Turán density. It also provides a new phenomenon about feasible region functions.
More on the $2$-restricted optimal pebbling number
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple graph. A function $f:V\rightarrow \mathbb{N}\cup \{0\}$ is called a configuration of pebbles on the vertices of $G$ and the weight of $f$ is $w(f)=\sum_{u\in V}f(u)$ which is just the total number of pebbles assigned to vertices. A pebbling step from a vertex $u$ to one of its neighbors $v$ reduces $f(u)$ by two and increases $f(v)$ by one. A pebbling configuration $f$ is said to be solvable if for every vertex $ v $, there exists a sequence (possibly empty) of pebbling moves that results in a pebble on $v$. A pebbling configuration $f$ is a $t$-restricted pebbling configuration (abbreviated $t$RPC) if $f(v)\leq t$ for all $v\in V$. The $t$-restricted optimal pebbling number $π_t^*(G)$ is the minimum weight of a solvable $t$RPC on $G$. Chellali et.al. [Discrete Appl. Math. 221 (2017) 46-53] characterized connected graphs $G$ having small $2$-restricted optimal pebbling numbers and characterization of graphs $G$ with $π_2^*(G)=5$ stated as an open problem. In this paper, we solve this problem. We improve the upper bound of the $2$-restricted optimal pebbling number of trees of order $n$. Also, we study $2$-restricted optimal pebbling number of some grid graphs, corona and neighborhood corona of two specific graphs.
A note on removable edges in near-bricks
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:2, Graph Theory (June 19, 2024) dmtcs:11747
• View Publication
• BIB
An edge $e$ of a matching covered graph $G$ is removable if $G-e$ is also matching covered. Carvalho, Lucchesi, and Murty showed that every brick $G$ different from $K_4$ and $\overline{C_6}$ has at least $Δ-2$ removable edges, where $Δ$ is the maximum degree of $G$. In this paper, we generalize the result to irreducible near-bricks, where a graph is irreducible if it contains no single ear of length three or more.
Agreement theorems for high dimensional expanders in the small soundness regime: the role of covers
Published
• View Publication
• BIB
Given a family $X$ of subsets of $[n]$ and an ensemble of local functions $\{f_s:s\toΣ\; | \; s\in X\}$, an agreement test is a randomized property tester that is supposed to test whether there is some global function $G:[n]\toΣ$ such that $f_s=G|_s$ for many sets $s$. A "classical" small-soundness agreement theorem is a list-decoding $(LD)$ statement, saying that \[\tag{$LD$} Agree(\{f_s\}) > \varepsilon \quad \Longrightarrow \quad \exists G^1,\dots, G^\ell,\quad P_s[f_s\overset{0.99}{\approx}G^i|_s]\geq poly(\varepsilon),\;i=1,\dots,\ell. \] Such a statement is motivated by PCP questions and has been shown in the case where $X=\binom{[n]}k$, or where $X$ is a collection of low dimensional subspaces of a vector space.
In this work we study small the case of on high dimensional expanders $X$. It has been an open challenge to analyze their small soundness behavior. Surprisingly, the small soundness behavior turns out to be governed by the topological covers of $X$.We show that:
1. If $X$ has no connected covers, then $(LD)$ holds, provided that $X$ satisfies an additional expansion property.
2. If $X$ has a connected cover, then $(LD)$ necessarily fails.
3. If $X$ has a connected cover (and assuming the additional expansion property), we replace the $(LD)$ by a weaker statement we call lift-decoding:
\[ \tag{$LFD$}
Agree(\{f_s\})> \varepsilon \Longrightarrow \quad \exists\text{ cover }ρ:Y\twoheadrightarrow X,\text{ and }G:Y(0)\toΣ,\text{ such that }\] \[P_{\tilde s\twoheadrightarrow s}[f_s \overset{0.99}{\approx} G|_{\tilde s}] \geq poly(\varepsilon),\] where ${\tilde s\twoheadrightarrow s}$ means that $ρ(\tilde s)=s$.
The additional expansion property is cosystolic expansion of a complex derived from $X$ holds for the spherical building and for quotients of the Bruhat-Tits building.
Bounding Clique Size in Squares of Planar Graphs
Published in European Journal of Combinatorics. Vol. 120. August 2024. Article 103960
• View Publication
• BIB
Wegner conjectured that if $G$ is a planar graph with maximum degree $Δ\ge 8$, then $χ(G^2)\le \left\lfloor \frac32Δ\right\rfloor +1$. This problem has received much attention, but remains open for all $Δ\ge 8$. Here we prove an analogous bound on $ω(G^2)$: If $G$ is a plane graph with $Δ(G)\ge 36$, then $ω(G^2)\le \lfloor\frac32Δ(G)\rfloor+1$. In fact, this is a corollary of the following lemma, which is our main result. If $G$ is a plane graph with $Δ(G)\ge 19$ and $S$ is a maximal clique in $G^2$ with $|S|\ge Δ(G)+20$, then there exist $x,y,z\in V(G)$ such that $S=\{w:|N[w]\cap\{x,y,z\}|\ge 2\}$.
The damage number of the Cartesian product of graphs
We consider a variation of Cops and Robber, introduced in [D. Cox and A. Sanaei, The damage number of a graph, [Aust. J. of Comb. 75(1) (2019) 1-16] where vertices visited by a robber are considered damaged and a single cop aims to minimize the number of distinct vertices damaged by a robber. Motivated by the interesting relationships that often emerge between input graphs and their Cartesian product, we study the damage number of the Cartesian product of graphs. We provide a general upper bound and consider the damage number of the product of two trees or cycles. We also consider graphs with small damage number.
Exploring Metric and Strong Metric Dimensions in Inclusion Ideal Graphs of Commutative Rings
Published
• View Publication
• BIB
The inclusion ideal graph of a commutative unitary ring $R$ is the (undirected) graph $In(R)$ whose vertices all non-trivial ideals of $R$ and two distinct vertices are adjacent if and only if one of them is a proper subset of the other one. In this paper, the metric dimension of $In(R)$ is discussed. Moreover, the structure of the resolving graph of $In(R)$ is characterized and as an application, we compute the strong metric dimension of $In(R)$.
On diversifying stable assignments
We consider the stable assignment problem on a graph with nonnegative real capacities on the edges and quotas on the vertices, in which the preferences of agents are given via diversifying choice functions. We prove that for any input of the problem, there exists exactly one stable assignment, and propose a polynomial time algorithm to find it.
Inverse theorems for discretized sums and $L^q$ norms of convolutions in $\mathbb{R}^d$
Published in Orbita Math. 2 (2025) 65-82
• View Publication
• BIB
We prove inverse theorems for the size of sumsets and the $L^q$ norms of convolutions in the discretized setting, extending to arbitrary dimension an earlier result of the author in the line. These results have applications to the dimensions of dynamical self-similar sets and measures, and to the higher dimensional fractal uncertainty principle. The proofs are based on a structure theorem for the entropy of convolution powers due to M.~Hochman.
On the Order of P-Strict Promotion on $V\times [\ell]$
Published
• View Publication
• BIB
Denote by $V$ the poset consisting of the elements $\{A,B,C\}$ with cover relations $\{A\lessdot B, A\lessdot C\}$. We show that $P$-strict promotion, as defined by Bernstein, Striker, and Vorland, on $P$-strict labelings of $V\times [\ell]$ with labels in the set $[q]$ has order $2q$ for every $\ell\ge 1$ and $q\ge 3$ as conjectured by Bernstein, Striker, and Vorland. This resolves the equivalent conjecture of Hopkins that the order of piecewise-linear rowmotion on the order polytope of $V\times [k]$ has order $2(k+2)$ for all $k\ge 1$.
A tight linear chromatic bound for ($P_3\cup P_2, W_4$)-free graphs
For two vertex disjoint graphs $H$ and $F$, we use $H\cup F$ to denote the graph with vertex set $V(H)\cup V(F)$ and edge set $E(H)\cup E(F)$, and use $H+F$ to denote the graph with vertex set $V(H)\cup V(F)$ and edge set $E(H)\cup E(F)\cup\{xy\;|\; x\in V(H), y\in V(F)$$\}$. A $W_4$ is the graph $K_1+C_4$. In this paper, we prove that $χ(G)\le 2ω(G)$ if $G$ is a ($P_3\cup P_2, W_4$)-free graph. This bound is tight when $ω=2$ and $3$, and improves the main result of Wang and Zhang. Also, this bound partially generalizes some results of Prashant {\em et al.}.
Slitherlink Signatures
Let $G$ be a planar graph and let $C$ be a cycle in $G$. Inside of each finite face of $G$, we write down the number of edges of that face which belong to $C$. This is the signature of $C$ in $G$. The notion of a signature arises naturally in the context of Slitherlink puzzles. The signature of a cycle does not always determine it uniquely. We focus on the ambiguity of signatures in the case when $G$ is a rectangular grid of unit square cells. We describe all grids which admit an ambiguous signature. For each such grid, we then determine the greatest possible difference between two cycles with the same signature on it. We also study the possible values of the total number of cycles which fit a given signature. We discuss various related questions as well.
Furstenberg sets estimate in the plane
We fully resolve the Furstenberg set conjecture in $\mathbb{R}^2$, that a $(s, t)$-Furstenberg set has Hausdorff dimension $\ge \min(s+t, \frac{3s+t}{2}, s+1)$. As a result, we obtain an analogue of Elekes' bound for the discretized sum-product problem and resolve an orthogonal projection question of Oberlin.
Monochromatic infinite sets in Minkowski planes
Published in Discrete & Computational Geometry, 2025, Vol. 74, No. 2, pp. 569--583
• View Publication
• BIB
We prove that for any $\ell_p$-norm in the plane with $1<p<\infty$ and for every infinite $\mathcal{M} \subset \mathbb{R}^2$, there exists a two-colouring of the plane such that no isometric copy of $\mathcal{M}$ is monochromatic. On the contrary, we show that for every polygonal norm (that is, the unit ball is a polygon) in the plane, there exists an infinite $\mathcal{M} \subset \mathbb{R}^2$ such that for every two-colouring of the plane there exists a monochromatic isometric copy of $\mathcal{M}$.
Sum-product phenomenon in quotients of rings of algebraic integers
We obtain a bounded generation theorem over $\mathcal O/\mathfrak a$, where $\mathcal O$ is the ring of integers of a number field and $\mathfrak a$ a general ideal of $\mathcal O$. This addresses a conjecture of Salehi-Golsefidy. Along the way, we obtain nontrivial bounds for additive character sums over $\mathcal O/\mathcal P^n$ for a prime ideal $\mathcal P$ with the aid of certain sum-product estimates.
Maximum chordal subgraphs of random graphs
Published in Combinator. Probab. Comp. 33 (2024) 611-623
• View Publication
• BIB
We find asymptotics of the maximum size of a chordal subgraph in a binomial random graph $G(n,p)$, for $p=\mathrm{const}$ and $p=n^{-α+o(1)}$.
Weakly and Strongly Fan-Planar Graphs
Published
• View Publication
• BIB
We study two notions of fan-planarity introduced by (Cheong et al., GD22), called weak and strong fan-planarity, which separate two non-equivalent definitions of fan-planarity in the literature. We prove that not every weakly fan-planar graph is strongly fan-planar, while the upper bound on the edge density is the same for both families.
Geodetic Graphs: Experiments and New Constructions
Published
• View Publication
• BIB
In 1962 Ore initiated the study of geodetic graphs. A graph is called geodetic if the shortest path between every pair of vertices is unique. In the subsequent years a wide range of papers appeared investigating their peculiar properties. Yet, a complete classification of geodetic graphs is out of reach.
In this work we present a program enumerating all geodetic graphs of a given size. Using our program, we succeed to find all geodetic graphs with up to 25 vertices and all regular geodetic graphs with up to 32 vertices. This leads to the discovery of two new infinite families of geodetic graphs.
Characterizing bipartite distance-regularized graphs with vertices of eccentricity 4
The characterization of bipartite distance-regularized graphs, where some vertices have eccentricity less than four, in terms of the incidence structures of which they are incidence graphs, is known. In this paper we prove that there is a one-to-one correspondence between the incidence graphs of quasi-symmetric SPBIBDs with parameters $(v,b,r,k, λ_1,0)$ of type $(k-1,t)$ with intersection numbers $x=0$ and $y>0$, where $0< y\leq t<k$ , and bipartite distance-regularized graphs with $D=D'=4$.
Sparse groups need not be semisparse
Published
• View Publication
• BIB
In 1999 Michael Hartley showed that any abstract polytope can be constructed as a double coset poset, by means of a C-group $\C$ and a subgroup $N \leq \C$. Subgroups $N \leq \C$ that give rise to abstract polytopes through such construction are called {\em sparse}. If, further, the stabilizer of a base flag of the poset is precisely $N$, then $N$ is said to be {\em semisparse}. In \cite[Conjecture 5.2]{hartley1999more} Hartley conjectures that sparse groups are always semisparse. In this paper, we show that this conjecture is in fact false: there exist sparse groups that are not semisparse. In particular, we show that such groups are always obtained from non-faithful maniplexes that give rise to polytopes. Using this, we show that Hartely's conjecture holds for rank 3, but we construct examples to disprove the conjecture for all ranks $n\geq 4$.