Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Discrepancies of perfect matchings in hypergraphs
Published
• View Publication
• BIB
In this paper, we determine the minimum degree threshold of perfect matchings with high discrepancy in $r$-edge-colored $k$-uniform hypergraphs for all $k\geq 3$ and $r\geq 2$, thereby completing the investigation into discrepancies of perfect matchings that has recently attracted significant attention. Our approach identifies this discrepancy threshold with a novel family of multicolored uniform hypergraphs and reveals new phenomena not covered in previous studies. In particular, our results address a question of Balogh, Treglown and Zárate-Guerén concerning 3-uniform hypergraphs.
Normal approximation for subgraph count in random hypergraphs
Published
• View Publication
• BIB
A non-uniform and inhomogeneous random hypergraph model is considered, which is a straightforward extension of the celebrated binomial random graph model $\mathbb G(n, p)$. We establish necessary and sufficient conditions for small hypergraph count to be asymptotically normal, and complement them with convergence rate in both the Wasserstein and Kolmogorov distances. Next we narrow our attention to the homogeneous model and relate the obtained results to the fourth moment phenomenon. Additionally, a short proof of necessity of aforementioned conditions is presented, which seems to be absent in the literature even in the context of the model $\mathbb G(n, p)$.
Spectral Sparsification by Deterministic Discrepancy Walk
Published
• View Publication
• BIB
Spectral sparsification and discrepancy minimization are two well-studied areas that are closely related. Building on recent connections between these two areas, we generalize the "deterministic discrepancy walk" framework by Pesenti and Vladu [SODA~23] for vector discrepancy to matrix discrepancy, and use it to give a simpler proof of the matrix partial coloring theorem of Reis and Rothvoss [SODA~20]. Moreover, we show that this matrix discrepancy framework provides a unified approach for various spectral sparsification problems, from stronger notions including unit-circle approximation and singular-value approximation to weaker notions including graphical spectral sketching and effective resistance sparsification. In all of these applications, our framework produces improved results with a simpler and deterministic analysis.
Proportion-Based Hypergraph Burning
Published
• View Publication
• BIB
Graph burning is a discrete process that models the spread of influence through a network using a fire as a proxy for the type of influence being spread. This process was recently extended to hypergraphs. We introduce a variant of hypergraph burning that uses an alternative propagation rule for how the fire spreads - if some fixed proportion of vertices are on fire in a hyperedge, then in the next round the entire hyperedge catches fire. This new variant has more potential for applications than the original model, and it is similarly viable for obtaining deep theoretical results. We obtain bounds which apply to general hypergraphs, and introduce the concept of the burning distribution, which describes how the model changes as the proportion ranges over (0,1). We also obtain computational results which suggest there is a strong correlation between the automorphism group order and the lazy burning number of a balanced incomplete block design.
Analysis of Clustering and Degree Index in Random Graphs and Complex Networks
The purpose of this paper is to analyze the degree index and clustering index in random graphs. The degree index in our setup is a certain measure of degree irregularity whose basic properties are well studied in the literature, and the corresponding theoretical analysis in a random graph setup turns out to be tractable. On the other hand, the clustering index, based on a similar reasoning, is first introduced in this manuscript. Computing exact expressions for the expected clustering index turns out to be more challenging even in the case of Erdős-Rényi graphs, and our results are on obtaining relevant upper bounds. These are also complemented with observations based on Monte Carlo simulations. Besides the Erdős-Rényi case, we also do simulation-based analysis for random regular graphs, the Barabási-Albert model and the Watts-Strogatz model.
Towards a Dual Version of Woodall's Conjecture for Partial 3-Trees
A dual version of a conjecture by Woodall asserts that, in a planar digraph, the length of a shortest dicycle equals the maximum number of pairwise disjoint feedback arc sets. We verify this conjecture for the case where the underlying graph is a 3-tree or a partial 3-tree with girth $3$. Additionally, we show that every 3-tree has a feedback arc set of size at most~$m/3-1$, where~$m$ is the number of arcs of the digraph, and this bound is tight. We further establish an upper bound on the size of a minimum feedback arc set in $k$-trees. Finally, we discuss some open problems and conjectures.
Invariants of almost embeddings of graphs in the plane: results and problems
A graph drawing in the plane is called an almost embedding if images of any two non-adjacent simplices (i.e. vertices or edges) are disjoint. We introduce integer invariants of almost embeddings: winding number, cyclic and triodic Wu numbers. We construct almost embeddings realizing some values of these invariants. We prove some relations between the invariants. We study values realizable as invariants of some almost embedding, but not of any embedding.
This paper is expository and is accessible to mathematicians not specialized in the area (and to students). However elementary, this paper is motivated by frontline of research.
The complexity of computing the period and the exponent of a digraph
Published
• View Publication
• BIB
The period of a strongly connected digraph is the greatest common divisor of the lengths of all its cycles. The period of a digraph is the least common multiple of the periods of its strongly connected components. These notions play an important role in the theory of Markov chains and the analysis of powers of nonnegative matrices. While the time complexity of computing the period is well-understood, little is known about its space complexity. We show that the problem of computing the period of a digraph is NL-complete, even if all its cycles are contained in the same strongly connected component. However, if the digraph is strongly connected, we show that this problem becomes L-complete. For primitive digraphs (that is, strongly connected digraphs of period one), there always exists a number $m$ such that there is a path of length exactly $m$ between every two vertices. We show that computing the smallest such $m$, called the exponent of a digraph, is NL-complete. The exponent of a primitive digraph is a particular case of the index of convergence of a nonnegative matrix, which we also show to be computable in NL, and thus NL-complete.
Exact double domination in subdivision, Mycielskian and middle graphs
WE determine the existence of exact (efficient) doubly dominating sets in three famous structures and in their complement for arbitrary graphs.
Möbius inversion and the bootstrap
Estimating nonlinear functionals of probability distributions from samples is a fundamental statistical problem. The "plug-in" estimator obtained by applying the target functional to the empirical distribution of samples is biased. Resampling methods such as the bootstrap derive artificial datasets from the original one by resampling. Comparing the outcome of the plug-in estimator in the original and resampled datasets allows estimating and thus correcting the bias. In the asymptotic setting, iterations of this procedure attain an arbitrarily high order of bias correction, but finite sample results are scarce. This work develops a new theoretical understanding of bootstrap bias correction by viewing it as an iterative linear solver for the combinatorial operation of Möbius inversion. It sharply characterizes the regime of linear convergence of the bootstrap bias reduction for moment polynomials. It uses these results to show its superalgebraic convergence rate for band-limited functionals. Finally, it derives a modified bootstrap iteration enabling the unbiased estimation of unknown order-$m$ moment polynomials in $m$ bootstrap iterations.
Compact majority-minority districts almost never exist
For a uniformly distributed population, we show that with high probability, any majority-minority voting district containing a fraction of the population necessarily exhibits a tiny Polsby-Popper score.
Helly type problems in convexity spaces
We report on some recent progress regarding combinatorial properties in convexity spaces with a bounded Radon number. In particular, we discuss the relationship between the Radon number, the colorful and fractional Helly properties, weak $\varepsilon$-nets, and $(p,q)$-theorems. As an application of the theory of convexity spaces we introduce new classes of uniform hypergraphs and show that they are $χ$-bounded.
Branching with a pre-specified finite list of $k$-sparse split sets for binary MILPs
Published
• View Publication
• BIB
When branching for binary mixed integer linear programs with disjunctions of sparsity level $2$, we observe that there exists a finite list of $2$-sparse disjunctions, such that any other $2$-sparse disjunction is dominated by one disjunction in this finite list. For sparsity level greater than $2$, we show that a finite list of disjunctions with this property cannot exist. This leads to the definition of covering number for a list of splits disjunctions. Given a finite list of split sets $\mathcal{F}$ of $k$-sparsity, and a given $k$-sparse split set $S$, let $\mathcal{F}(S)$ be the minimum number of split sets from the list $\mathcal{F}$, whose union contains $S \cap [0, \ 1]^n$. Let the covering number of $\mathcal{F}$ be the maximum value of $\mathcal{F}(S)$ over all $k$-sparse split sets $S$. We show that the covering number for any finite list of $k$-sparse split sets is at least $\lfloor k/2\rfloor $ for $k \geq 4$. We also show that the covering number of the family of $k$-sparse split sets with coefficients in $\{-1, 0, 1\}$ is upper bounded by $k-1$ for $k \leq 4$.
Bounds on the Inverse symmetric division deg index and the relation with other topological indices of graphs
Let $G=(V,E)$ be a simple graph. The concept of Inverse symmetric division deg index $(ISDD)$ was introduced in the chemical graph theory very recently. In spite of this, a few papers have already appeared with this index in the literature. Ghorbani et al. proposed Inverse symmetric division deg index and is defined as $$ISDD(G)=\sum\limits_{v_iv_j\in E(G)}\,\displaystyle{\frac{d_id_j}{d^2_i+d^2_j}},$$ where $d_i$ is the degree of the vertex $v_i$ in $G$. In this paper, we obtain some lower and upper bounds on the inverse symmetric division deg index $(ISDD)$ of graphs in terms of various graph parameters, with identifying extremal graphs. Moreover, we present two relations between the Inverse symmetric division deg index and the various topological indices of graphs. Finally, we give concluding remarks with future work.
Perfect t-embeddings and Lozenge Tilings
We construct perfect t-embeddings for regular hexagons of the hexagonal lattice, providing the first example, and hence proving existence, for graphs with an outer face of degree greater than four. The construction is in terms of the inverse Kasteleyn matrix and relies only on symmetries of the graph. Using known formulas for the inverse Kasteleyn matrix, we derive exact contour integral formulas for these embeddings and their origami maps. Through steepest descent analysis, we establish scaling limits, proving convergence of origami maps to a maximal surface in the Minkowski space $\mathbb{R}^{2,1}$, and we verify structural rigidity conditions, leading to a new proof of convergence of height fluctuations to the Gaussian free field.
Enumeration of labeled trees and Dyck tilings
We study a partially ordered set of planar labeled rooted trees by use of combinatorial objects called Dyck tilings. A generating function of the poset is factorized when the minimum element of the poset is $312$-avoiding and satisfies some extra condition. We define a cover relation on rational Dyck tilings by that of labeled trees, and show that increasing and decreasing labelings are dual to each other. We consider two decompositions of a rational $(a,b)$-Dyck tiling: one is into $ab$ Dyck tilings and the other is into $a$ $(1,b)$-Dyck tilings. In the first case, we show that the weight of the $(a,b)$-Dyck tiling is the sum of the weights of $ab$ Dyck tilings. In the second case, we introduce a cover relation on $(1,b)$-Dyck tilings and obtain a poset of $(a,b)$-Dyck tilings by this decomposition.
$k$-edge geodetic graphs
A graph $G$ is $k$-edge geodetic graph if every edge of $G$ lies in at least one geodesic of length $k$. We studied some basic properties of $k$-edge geodetic graphs. We investigated the $k$ edge-geodeticity of complete bipartite graph $K_{m,n}$ and provide the minimum number of largest fixed order path that can cover $K_{m,n}$. We also studied the $k$-edge geodeticity of tree and the product graphs like Cartesian product, Strong product, Corona product, and provide the bounds for the minimum number of the largest fixed order path that can cover the graph.
Triangle-free Graphs with Large Minimum Common Degree
Published
• View Publication
• BIB
Let $G$ be a graph. For $x\in V(G)$, let $N(x)=\{y\in V(G)\colon xy\in E(G)\}$. The minimum common degree of $G$, denoted by $δ_{2}(G)$, is defined as the minimum of $|N(x)\cap N(y)|$ over all non-edges $xy$ of $G$. In 1982, Häggkvist showed that every triangle-free graph with minimum degree greater than $\lfloor\frac{3n}{8}\rfloor$ is homomorphic to a cycle of length 5. In this paper, we prove that every triangle-free graph with minimum common degree greater than $\lfloor\frac{n}{8}\rfloor$ is homomorphic to a cycle of length 5, which implies Häggkvist's result. The balanced blow-up of the Möbius ladder graph shows that it is best possible.
On the Lottery Problem: Tracing Stefan Mandel's Combinatorial Condensation
Stefan Mandel is said to have won the lottery 14 times. He never disclosed the recipe he called combinatorial condensation, which enabled him to hit the Romanian lottery jackpot in the early phase of his betting career. Combinatorial condensation is frequently mixed up with another strategy known as buying the pot, which Stefan Mandel was pursuing later on. On occasion, he dropped a few hints on combinatorial condensation. The hints are applied in this work to narrow down and assess his initial recipe. The underlying theory resembles what a weekend mathematician, as he once referred to himself, may have encountered in the 1960s. The cardinality of the (15, 6, 6, 5) and (49, 6, 6, 5) lottery schemes shows that Stefan Mandel probably wasn't aware of lottery designs. First concepts on such topics had been available at that time, but coherent theories on combinatorial designs took off only in later decades. There is no absolute evidence beyond doubt, but the size of actual covering designs and the associated efforts allow the following hypothesis: Stefan Mandel most likely pioneered in constructing a (15, 6, 5) covering design many years before others published about it, which he applied in the Romanian lottery. Calculations indicate that he took considerable risks that his method might fail, because he limited himself to a subset of 15 numbers out of 49 numbers. The risks explain why he later changed his strategy from combinatorial condensation to buying the pot.
Longest winning paths in Hex
Published
• View Publication
• BIB
We answer the question: what is the longest winning path on a Hex board of size $n\times n$?