Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Boolean dimension and dim-boundedness: Planar cover graph with a zero
In 1989, Nešetřil and Pudlák posed the following challenging question: Do planar posets have bounded Boolean dimension? We show that every poset with a planar cover graph and a unique minimal element has Boolean dimension at most $13$. As a consequence, we are able to show that there is a reachability labeling scheme with labels consisting of $\mathcal{O}(\log n)$ bits for planar digraphs with a single source. The best known scheme for general planar digraphs uses labels with $\mathcal{O}(\log^2 n)$ bits [Thorup JACM 2004], and it remains open to determine whether a scheme using labels with $\mathcal{O}(\log n)$ bits exists. The Boolean dimension result is proved in tandem with a second result showing that the dimension of a poset with a planar cover graph and a unique minimal element is bounded by a linear function of its standard example number. However, one of the major challenges in dimension theory is to determine whether dimension is bounded in terms of standard example number for all posets with planar cover graphs.
Classification of the non-trivial $2$-$(k^{2},k,λ)$ designs, with $λ\mid k$, admitting a flag-transitive automorphism group of affine type
The pairs $(\mathcal{D},G)$, where $\mathcal{D}$ is a non-trivial $2$-$(k^{2},k,λ)$ design, with $λ\mid k$, and $G$ is a flag-transitive automorphism group of $\mathcal{D}$ of affine type such that $G \nleq A ΓL_{1}(k^{2})$, are classified.
Spectral large deviations of sparse random matrices
Published
• View Publication
• BIB
Eigenvalues of Wigner matrices has been a major topic of investigation. A particularly important subclass of such random matrices is formed by the adjacency matrix of an Erdős-Rényi graph $\mathcal{G}_{n,p}$ equipped with i.i.d. edge-weights. An observable of particular interest is the largest eigenvalue. In this paper, we study the large deviations behavior of the largest eigenvalue of such matrices, a topic that has received considerable attention over the years. We focus on the case $p = \frac{d}{n}$, where most known techniques break down. So far, results were known only for $\mathcal{G}_{n,\frac{d}{n}}$ without edge-weights (Krivelevich and Sudakov, '03), (Bhattacharya, Bhattacharya, and Ganguly, '21) and with Gaussian edge-weights (Ganguly and Nam, '21).
In the present article, we consider the effect of general weight distributions. More specifically, we consider the entries whose tail probabilities decay at rate $e^{-t^α}$ with $α>0$, where the regimes $0<α<2$ and $α>2$ correspond to tails heavier and lighter than the Gaussian tail respectively. While in many natural settings the large deviations behavior is expected to depend crucially on the entry distribution, we establish a surprising and rare universal behavior showing that this is not the case when $α> 2.$ In contrast, in the $α< 2$ case, the large deviation rate function is no longer universal and is given by the solution to a variational problem, the description of which involves a generalization of the Motzkin-Straus theorem, a classical result from spectral graph theory.
As a byproduct of our large deviation results, we also establish new law of large numbers results for the largest eigenvalue. In particular, we show that the typical value of the largest eigenvalue exhibits a phase transition at $α= 2$, i.e. the Gaussian distribution.
Generalized graph splines and the Universal Difference Property
We study the generalized graph splines introduced by Gilbert, Tymoczko, and Viel and focus on an attribute known as the Universal Difference Property (UDP). We prove that paths, trees, and cycles satisfy UDP. We explore UDP on graphs pasted at a single vertex and use Prüfer domains to illustrate that not every edge labeled graph satisfies UDP. We show that UDP must hold for any edge labeled graph over a ring $R$ if and only if $R$ is a Prüfer domain. Lastly, we prove that UDP is preserved by isomorphisms of edge labeled graphs.
A Mixed Graph Achieving A Moore-like Bound
Mixed graphs have both directed and undirected edges. A mixed cage is a regular mixed graph of given girth with minimum possible order. In this paper we construct a mixed cage of order 30 that achieves the mixed graph analogue of the Moore bound for degree 3, out-degree 1, and girth 6.
Rigidity of Circle Packings with Flexible Radii
Published
• View Publication
• BIB
Circle packings are arrangement of circles satisfying specified tangency requirements. Many problems about packing of circles and spheres occur in nature particularly in material design and protein structure. Surprisingly, little is known about the stability and rigidity of circle packings. In this paper, we study the rigidity of circle packings representing a given planar graph. The radii of circles are flexible with equality and inequality constraints. We provide a dual condition for the packing to be rigid in the first order. This gives us a sufficient condition to show a packing is rigid. Then we will explore the difficulties on rigidity problems beyond the first order.
Partial Domination and Irredundance Numbers in Graphs
Published
• View Publication
• BIB
A dominating set of a graph $G=(V,E)$ is a vertex set $D$ such that every vertex in $V(G) \setminus D$ is adjacent to a vertex in $D$. The cardinality of a smallest dominating set of $D$ is called the domination number of $G$ and is denoted by $γ(G)$. A vertex set $D$ is a $k$-isolating set of $G$ if $G - N_{G}[D]$ contains no $k$-cliques. The minimum cardinality of a $k$-isolating set of $G$ is called the $k$-isolation number of $G$ and is denoted by $ι_{k}(G)$. Clearly, $γ(G) = ι_{1}(G)$. A vertex set $I$ is irredundant if, for every non-isolated vertex $v$ of $G[I]$, there exists a vertex $u$ in $V \setminus I$ such that $N_{G}(u) \cap I = \{v\}$. An irredundant set $I$ is maximal if the set $I \cup \{u\}$ is no longer irredundant for any $u \in V(G) \setminus I$. The minimum cardinality of a maximal irredundant set is called the irredundance number of $G$ and is denoted by $ir(G)$. Allan and Laskar \cite{AL1978} and Bollobás and Cockayne \cite{BoCo1979} independently proved that $γ(G) < 2ir(G)$, which can be written $ι_1(G) < 2ir(G)$, for any graph $G$. In this paper, for a graph $G$ with maximum degree $Δ$, we establish sharp upper bounds on $ι_{k}(G)$ in terms of $ir(G)$ for $Δ- 2 \leq k \leq Δ+ 1$.
A note on the Turán number for the traces of hypergraphs
Let $\mathcal{H}$ be an $r$-uniform hypergraph and $F$ be a graph. We say $\mathcal{H}$ contains $F$ as a trace if there exists some set $S\subseteq V(\mathcal{H})$ such that $\mathcal{H}|_{S}:=\{E\cap S: E\in E(\mathcal{H})\}$ contains a subgraph isomorphic to $F.$ Let $ex_r(n,Tr(F))$ denote the maximum number of edges of an $n$-vertex $r$-uniform hypergraph $\mathcal{H}$ which does not contain $F$ as a trace. In this paper, we improve the lower bounds of $ex_r(n,Tr(F))$ when $F$ is a star, and give some optimal cases. We also improve the upper bound for the case when $\mathcal{H}$ is $3$-uniform and $F$ is $K_{2,t}$ when $t$ is small.
The smallest vertex-primitive $2$-arc-transitive digraph
Published
• View Publication
• BIB
In 2017, Giudici, Li and the third author constructed the first known family of vertex-primitive $2$-arc-transitive digraphs of valency at least $2$. The smallest digraph in this family admits $\mathrm{PSL}_3(49)$ acting $2$-arc-transitively with vertex-stabilizer $\mathrm{A}_6$ and hence has $30758154560$ vertices. In this paper, we prove that this digraph is the vertex-primitive $2$-arc-transitive digraph of valency at least $2$ with fewest vertices.
Signed interval graphs and bigraphs: A generalization of interval graphs and bigraphs
In this paper, we define and characterize signed interval graphs and bigraphs introducing the concept of negative interval. Also we have shown that these classes of graphs are respectively a generalization of well known classes of interval graphs and interval bigraphs. In this context we have observed that signed interval graphs coincide with the complement of Threshold tolerance graphs(co-TT graphs) introduced by Monma, Reed and Trotter \cite{22}. Finally, we have solved the open problem of forbidden induced subgraph characterization of co-TT graphs posed by them in the same paper.
Every toroidal graph without $3$-cycles is odd $7$-colorable
Odd coloring is a proper coloring with an additional restriction that every non-isolated vertex has some color that appears an odd number of times in its neighborhood. The minimum number of colors $k$ that can ensure an odd coloring of a graph $G$ is denoted by $χ_o(G)$. We say $G$ is $k$-colorable if $χ_o(G)\le k$. This notion is introduced very recently by Petruševski and Škrekovski, who proved that if $G$ is planar then $ χ_{o}(G) \leq 9 $. A toroidal graph is a graph that can be embedded on a torus. Note that a $K_7$ is a toroidal graph, $χ_{o}(G)\leq7$. In this paper, we proved that, every toroidal graph without $3$-cycles is odd $7$-colorable. Thus, every planar graph without $3$-cycles is odd $7$-colorable holds as a corollary. That's to say, every toroidal graph is $7$-colorable can be proved if the remained cases around $3$-cycle is resolved.
Graph Comparison Based on Adjacency Function Matrix
In this paper, we present a new metric distance for comparing two large graphs to find similarities and differences between them based on one of the most important graph structural properties, which is Node Adjacency Information, for all vertices in the graph. Then, we defined a new function and some parameters to find the distance of two large graphs using different neighbors of vertices. There are some methods which they focused on the other features of graphs to obtain the distance between them, but some of them are Node Correspondence which means their node set have the same size. However, in this paper, we introduce a new method which can find the distance between two large graphs with different size of node set.
Bin stretching with migration on two hierarchical machines
Published
• View Publication
• BIB
In this paper, we consider semi-online scheduling with migration on two hierarchical machines, with the purpose of minimizing the makespan. The meaning of two hierarchical machines is that one of the machines can run any job, while the other machine can only run specific jobs. Every instance also has a fixed parameter M \geq 0, known as the migration factor. Jobs are presented one by one. Each new job has to be assigned to a machine when it arrives, and at the same time it is possible to modify the assignment of previously assigned jobs, such that the moved jobs have a total size not exceeding M times the size of the new job.
The semi-online variant studied here is called bin stretching. In this problem, the optimal makespan is provided to the scheduler in advance. This is still a non-trivial variant for any migration factor M \geq 0. We prove tight bounds on the competitive ratio for any migration factor M, where the design and analysis is split into several cases, based on the value of M, and the resulting competitive ratio. Unlike the online variant with migration for two hierarchical machines, this case allows an online approximation scheme.
Bipartite instances of INFLUENCE
The game INFLUENCE is a scoring combinatorial game that has been introduced in 2020 by Duchene et al. It is a good representative of Milnor's universe of scoring games, i.e. games where it is never interesting for a player to miss his turn. New general results are first given for this universe, by transposing the notions of mean and temperature derived from non-scoring combinatorial games. Such results are then applied to INFLUENCE to refine the case of unions of segments. The computational complexity of the score of the game is also solved and proved to be PSPACE-complete. We finally focus on some specific cases of INFLUENCE when the graph is bipartite, by giving explicit strategies and bounds on the optimal score on structures like grids, hypercubes or torus.
Absolute Expressiveness of Subgraph-based Centrality Measures
In graph-based applications, a common task is to pinpoint the most important or ``central'' vertex in a (directed or undirected) graph, or rank the vertices of a graph according to their importance. To this end, a plethora of so-called centrality measures have been proposed in the literature. Such measures assess which vertices in a graph are the most important ones by analyzing the structure of the underlying graph. A family of centrality measures that are suited for graph databases has been recently proposed by relying on the following simple principle: the importance of a vertex in a graph is relative to the number of ``relevant'' connected subgraphs surrounding it; we refer to the members of this family as subgraph-based centrality measures. Although it has been shown that such measures enjoy several favourable properties, their absolute expressiveness remains largely unexplored. The goal of this work is to precisely characterize the absolute expressiveness of the family of subgraph-based centrality measures by considering both directed and undirected graphs. To this end, we characterize when an arbitrary centrality measure is a subgraph-based one, or a subgraph-based measure relative to the induced ranking. These characterizations provide us with technical tools that allow us to determine whether well-established centrality measures are subgraph-based. Such a classification, apart from being interesting in its own right, gives useful insights on the structural similarities and differences among existing centrality measures.
2-semi-equivelar maps on the torus and Klein bottle with few vertices
The $k$-semi equivelar maps, for $k \geq 2$, are generalizations of maps on the surfaces of Johnson solids to closed surfaces other than the 2-sphere. In the present study, we determine 2-semi equivelar maps of curvature 0 exhaustively on the torus and the Klein bottle. Furthermore, we classify (up to isomorphism) all these 2-semi equivelar maps on the surfaces with up to 12 vertices.
A proof of Frankl-Kupavskii's conjecture on edge-union condition
Published
• View Publication
• BIB
A 3-graph $\mathcal{F}$ is \emph{$U(s, 2s+1)$} if for any $s$ edges $e_1,...,e_s\in E(\mathcal{F})$, $|e_1\cup...\cup e_s|\leq 2s+1$. Frankl and Kupavskii (2020) proposed the following conjecture: For any $3$-graph $\mathcal{F}$ with $n$ vertices, if $\mathcal{F}$ is $U(s, 2s+1)$, then $$e(\mathcal{F})\leq \max\left\{{n-1\choose 2}, (n-s-1){s+1\choose 2}+{s+1\choose 3}, {2s+1\choose 3}\right\}.$$ In this paper, we confirm Frankl and Kupavskii's conjecture.
Normal polytopes: between discrete, continuous, and random
Published
• View Publication
• BIB
The first three sections of this survey represent an updated and much expanded version of the abstract of my talk at FPSAC'2010: new results are incorporated and several concrete conjectures on the interactions between the three perspectives on normal polytopes in the title are proposed. The last section outlines new challenges in general convex polytopes, motivated by the study of normal polytopes.
Trimer covers in the triangular grid: twenty mostly open problems
Published
• View Publication
• BIB
In the past three decades, the study of rhombus tilings and domino tilings of various plane regions has been a thriving subfield of enumerative combinatorics. Physicists classify such work as the study of dimer covers of finite graphs. In this article we move beyond dimer covers to trimer covers, introducing plane regions called benzels that play a role analogous to hexagons for rhombus tilings and Aztec diamonds for domino tilings, inasmuch as one finds many (so far mostly conjectural) exact formulas governing the number of tilings.
On b-acyclic chromatic number of a graph
Published in Comp. Appl. Math. 42, 21 (2023)
• View Publication
• BIB
Let $G$ be a graph. We introduce the acyclic b-chromatic number of $G$ as an analogue to the b-chromatic number of $G$. An acyclic coloring of a graph $G$ is a map $c:V(G)\rightarrow \{1,\dots,k\}$ such that $c(u)\neq c(v)$ for any $uv\in E(G)$ and the induced subgraph on vertices of any two colors $i,j\in \{1,\dots,k\}$ induces a forest. On the set of all acyclic colorings of $G$ we define a relation whose transitive closure is a strict partial order. The minimum cardinality of its minimal element is then the acyclic chromatic number $A(G)$ of $G$ and the maximum cardinality of its minimal element is the acyclic b-chromatic number $A_b(G)$ of $G$. We present several properties of $A_b(G)$. In particular, we derive $A_b(G)$ for several known graph families, derive some bounds for $A_b(G)$, compare $A_b(G)$ with some other parameters and generalize some influential tools from b-colorings to acyclic b-colorings.