Showing 20 papers (Total: 82661 papers, 47773 authors in database)
Rectangles, integer vectors and hyperplanes of the hypercube
We introduce a family of nonnegative integer vectors - primitive vectors - defining hyperplanes of the real affine cube over $C^n:=\{-1,1\}^n$ and study their properties with respect to the rectangles of the cube. As a consequence we give a short proof that, for small dimensions ($n\leq 7$), the real affine cube can be recovered from its signed rectangles and its signed cocircuits complementary of its facets and skew-facets.
Metric and ultrametric inequalities for resistances in directed graphs
Published
• View Publication
• BIB
Consider an electrical circuit $G$ each directed edge $e$ of which is a semiconductor with a monomial conductance function $y_e^* = f_e(y_e) = y_e^s / μ_e^r$ if $y_e \geq 0$ and $y_e^* = 0$ if $y_e \leq 0$. Here $e$ is a directed edge, $y_e$ is the potential difference (voltage), $y_e^*$ is the current in $e$, and $μ_e$ is the resistance of $e$; furthermore, $r$ and $s$ are two strictly positive real parameters common for all edges. In particular, case $r = s = 1$ corresponds to the Ohm law, while $r = \frac{1}{2}, s =1$ may be interpreted as the square law of resistance typical for hydraulics and gas dynamics. We will show that for every ordered pair of nodes $a, b$ of the circuit, the effective resistance $μ_{a,b}$ is well-defined. In other words, any two-pole network with poles $a$ and $b$ can be effectively replaced by two oppositely directed edges, from $a$ to $b$ of resistance $μ_{a,b}$ and from $b$ to $a$ of resistance $μ_{b,a}$. Furthermore, for every three nodes $a, b, c$ the inequality $μ_{a,c}^{s/r} + μ_{c,b}^{s/r} \geq μ_{a,b}^{s/r}$ holds, in which the equality is achieved if and only if every directed path from $a$ to $b$ contains $c$. MSC classes: 11J83, 90C25, 94C15,94C99
Tree densities in sparse graph classes
Published
• View Publication
• BIB
What is the maximum number of copies of a fixed forest $T$ in an $n$-vertex graph in a graph class $\mathcal{G}$ as $n\to \infty$? We answer this question for a variety of sparse graph classes $\mathcal{G}$. In particular, we show that the answer is $Θ(n^{α_d(T)})$ where $α_d(T)$ is the size of the largest stable set in the subforest of $T$ induced by the vertices of degree at most $d$, for some integer $d$ that depends on $\mathcal{G}$. For example, when $\mathcal{G}$ is the class of $k$-degenerate graphs then $d=k$; when $\mathcal{G}$ is the class of graphs containing no $K_{s,t}$-minor ($t\geq s$) then $d=s-1$; and when $\mathcal{G}$ is the class of $k$-planar graphs then $d=2$. All these results are in fact consequences of a single lemma in terms of a finite set of excluded subgraphs.
A proof of a Dodecahedron conjecture for distance sets
Published
• View Publication
• BIB
A finite subset of a Euclidean space is called an $s$-distance set if there exist exactly $s$ values of the Euclidean distances between two distinct points in the set. In this paper, we prove that the maximum cardinality among all 5-distance sets in $\mathbb{R}^3$ is 20, and every $5$-distance set in $\mathbb{R}^3$ with $20$ points is similar to the vertex set of a regular dodecahedron.
The layer number of grids
The peeling process is defined as follows: starting with a finite point set $X \subset \mathbb{R}^d$, we repeatedly remove the set of vertices of the convex hull of the current set of points. The number of peeling steps needed to completely delete the set $X$ is called the layer number of $X$. In this paper, we study the layer number of the $d$-dimensional integer grid $[n]^d$. We prove that for every $d \geq 1$, the layer number of $[n]^d$ is at least $Ω\left(n^\frac{2d}{d+1}\right)$. On the other hand, we show that for every $d\geq 3$, it takes at most $O(n^{d - 9/11})$ steps to fully remove $[n]^d$. Our approach is based on an enhancement of the method used by Har-Peled and Lidický for solving the 2-dimensional case.
Vertex models for Canonical Grothendieck polynomials and their duals
Published
• View Publication
• BIB
We study solvable lattice models associated to canonical Grothendieck polynomials and their duals. We derive inversion relations and Cauchy identities.
The canonical directed tree decomposition and its applications to the directed disjoint paths problem
The canonical tree-decomposition theorem, given by Robertson and Seymour in their seminal graph minors series, turns out to be one of the most important tool in structural and algorithmic graph theory. In this paper, we provide the canonical tree decomposition theorem for digraphs. More precisely, we construct directed tree-decompositions of digraphs that distinguish all their tangles of order $k$, for any fixed integer $k$, in polynomial time. As an application of this canonical tree-decomposition theorem, we provide the following result for the directed disjoint paths problem:
For every fixed $k$ there is a polynomial-time algorithm which, on input $G$, and source and terminal vertices $(s_1, t_1), \dots, (s_k, t_k)$, either
1. determines that there is no set of pairwise vertex-disjoint paths connecting each source $s_i$ to its terminal $t_i$, or
2.finds a half-integral solution, i.e., outputs paths $P_1, \dots, P_k$ such that $P_i$ links $s_i$ to $t_i$, so that every vertex of the graph is contained in at most two paths.
Given known hardness results for the directed disjoint paths problem, our result cannot be improved for general digraphs, neither to fixed-parameter tractability nor to fully vertex-disjoint directed paths. As far as we are aware, this is the first time to obtain a tractable result for the $k$-disjoint paths problem for general digraphs. We expect more applications of our canonical tree-decomposition for directed results.
The Elekes-Szabó Problem and the Uniformity Conjecture
Published
• View Publication
• BIB
In this paper we give a conditional improvement to the Elekes-Szabó problem over the rationals, assuming the Uniformity Conjecture. Our main result states that for $F\in \mathbb{Q}[x,y,z]$ belonging to a particular family of polynomials, and any finite sets $A, B, C \subset \mathbb Q$ with $|A|=|B|=|C|=n$, we have
\[
|Z(F) \cap (A\times B \times C)| \ll n^{2-\frac{1}{s}}.
\]
The value of the integer $s$ is dependent on the polynomial $F$, but is always bounded by $s \leq 5$, and so even in the worst applicable case this gives a quantitative improvement on a bound of Raz, Sharir and de Zeeuw (arXiv:1504.05012).
We give several applications to problems in discrete geometry and arithmetic combinatorics. For instance, for any set $P \subset \mathbb Q^2$ and any two points $p_1,p_2 \in \mathbb Q^2$, we prove that at least one of the $p_i$ satisfies the bound
\[
| \{ \| p_i - p \| : p \in P \}| \gg |P|^{3/5},
\]
where $\| \cdot \|$ denotes Euclidean distance. This gives a conditional improvement to a result of Sharir and Solymosi (arXiv:1308.0814).
Rate-Distance Trade-offs for List-Decodable Insertion-Deletion Codes
Published
• View Publication
• BIB
This paper presents general bounds on the highest achievable rate for list-decodable insertion-deletion codes. In particular, we give novel outer and inner bounds for the highest achievable communication rate of any insertion-deletion code that can be list-decoded from any $γ$ fraction of insertions and any $δ$ fraction of deletions. Our bounds simultaneously generalize the known bounds for the previously studied special cases of insertion-only, deletion-only, and zero-rate and correct other bounds that had been reported for the general case.
Extension of Gyarfas-Sumner conjecture to digraphs
Published
• View Publication
• BIB
The dichromatic number of a digraph $D$ is the minimum number of colors needed to color its vertices in such a way that each color class induces an acyclic digraph. As it generalizes the notion of the chromatic number of graphs, it has been a recent center of study. In this work we look at possible extensions of Gyárfás-Sumner conjecture. More precisely, we propose as a conjecture a simple characterization of finite sets $\mathcal F$ of digraphs such that every oriented graph with sufficiently large dichromatic number must contain a member of $\mathcal F$ as an induce subdigraph.
Among notable results, we prove that oriented triangle-free graphs without a directed path of length $3$ are $2$-colorable. If condition of "triangle-free" is replaced with "$K_4$-free", then we have an upper bound of $414$. We also show that an orientation of complete multipartite graph with no directed triangle is 2-colorable. To prove these results we introduce the notion of \emph{nice sets} that might be of independent interest.
On the proportion of transverse-free plane curves
Published
• View Publication
• BIB
We study the asymptotic proportion of smooth plane curves over a finite field $\mathbb{F}_q$ which are tangent to every line defined over $\mathbb{F}_q$. This partially answers a question raised by Charles Favre. Our techniques include applications of Poonen's Bertini theorem and Schrijver's theorem on perfect matchings in regular bipartite graphs. Our main theorem implies that a random smooth plane curve over $\mathbb{F}_q$ admits a transverse $\mathbb{F}_q$-line with very high probability.
On the enumeration of Hoppy's walks
The enumeration of k-Dyck paths ending at level j after m up-steps, where the last step is an up-step, is given as a sum, improving on a previous formula given by Deng and Mansour.
Densities of minor-closed graph classes are rational
For a graph class $\mathcal{F}$, let $ex_{\mathcal{F}}(n)$ denote the maximum number of edges in a graph in $\mathcal{F}$ on $n$ vertices. We show that for every proper minor-closed graph class $\mathcal{F}$ the function $ex_{\mathcal{F}}(n) - Δn$ is eventually periodic, where $Δ= \lim_{n \to \infty} ex_{\mathcal{F}}(n)/n$ is the limiting density of $\mathcal{F}$. This confirms a special case of a conjecture by Geelen, Gerards and Whittle. In particular, the limiting density of every proper minor-closed graph class is rational, which answers a question of Eppstein.
As a major step in the proof we show that every proper minor-closed graph class contains a subclass of bounded pathwidth with the same limiting density, confirming a conjecture of the second author.
Finally, we investigate the set of limiting densities of classes of graphs closed under taking topological minors.
Orthogonal Colourings of Tensor Graphs
Published
• View Publication
• BIB
In this paper, perfect k-orthogonal colourings of tensor graphs are studied. First, the problem of determining if a given graph has a perfect 2-orthogonal colouring is reformulated as a tensor subgraph problem. Then, it is shown that if two graphs have a perfect $k$-orthogonal colouring, then so does their tensor graph. This provides an upper bound on the $k$-orthogonal chromatic number for general tensor graphs. Lastly, two other conditions for a tensor graph to have a perfect $k$-orthogonal colouring are given.
Zero-Divisor Graphs of $\mathbb{Z}_n$, their products and $D_n$
Published
• View Publication
• BIB
This paper is an endeavor to discuss some properties of zero-divisor graphs of the ring $\mathbb{Z}_n$, the ring of integers modulo $n$. The zero divisor graph of a commutative ring $R$, is an undirected graph whose vertices are the nonzero zero-divisors of $R$, where two distinct vertices are adjacent if their product is zero. The zero divisor graph of $R$ is denoted by $Γ(R)$. We discussed $Γ(\mathbb{Z}_n)$'s by the attributes of completeness, k-partite structure, complete k-partite structure, regularity, chordality, $γ- β$ perfectness, simplicial vertices. The clique number for arbitrary $Γ(\mathbb{Z}_n)$ was also found. This work also explores related attributes of finite products $Γ(\mathbb{Z}_{n_1}\times\cdots\times\mathbb{Z}_{n_k})$, seeking to extend certain results to the product rings. We find all $Γ(\mathbb{Z}_{n_1}\times\cdots\times\mathbb{Z}_{n_k})$ that are perfect. Likewise, a lower bound of clique number of $Γ(\mathbb{Z}_m\times\mathbb{Z}_n)$ was found. Later, in this paper we discuss some properties of the zero divisor graph of the poset $D_n$, the set of positive divisors of a positive integer $n$ partially ordered by divisibility.
A generalization for the expected value of the earth mover's distance
Published in Alg. Stat. 12 (2021) 139-166
• View Publication
• BIB
The earth mover's distance (EMD), also called the first Wasserstein distance, can be naturally extended to compare arbitrarily many probability distributions, rather than only two, on the set $[n]=\{1,\dots,n\}$. We present the details for this generalization, along with a highly efficient algorithm inspired by combinatorics; it turns out that in the special case of three distributions, the EMD is half the sum of the pairwise EMD's. Extending the methods of Bourn and Willenbring (arXiv:1903.03673), we compute the expected value of this generalized EMD on random $d$-tuples of distributions, using a generating function which coincides with the Hilbert series of the Segre embedding. We then use the EMD to analyze a real-world data set of grade distributions.
Entropy versus influence for complex functions of modulus one 2
This is a simplification of a previous version of this ArXiv note. We present an example of a function $f$ from $\{-1,1\}^n$ to the unit sphere in $\mathbb{C}$ with influence bounded by $1$ and entropy of $|\hat f|^2$ larger than $\frac12\log n$.
Graph theoretic and algorithmic aspect of the equitable coloring problem in block graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 2, special issue in honour of Maurice Pouzet, Special issues (November 30, 2022) dmtcs:6860
• View Publication
• BIB
An equitable coloring of a graph $G=(V,E)$ is a (proper) vertex-coloring of $G$, such that the sizes of any two color classes differ by at most one. In this paper, we consider the equitable coloring problem in block graphs. Recall that the latter are graphs in which each 2-connected component is a complete graph. The problem remains hard in the class of block graphs. In this paper, we present some graph theoretic results relating various parameters. Then we use them in order to trace some algorithmic implications, mainly dealing with the fixed-parameter tractability of the problem.
A characterization for graphs having strong parity factors
Published
• View Publication
• BIB
A graph $G$ has the \emph{strong parity property} if for every subset $X\subseteq V$ with $|X|$ even, $G$ has a spanning subgraph $F$ with minimum degree at least one such that $d_F(v)\equiv 1\pmod 2$ for all $v\in X$, $d_F(y)\equiv 0\pmod 2$ for all $y\in V(G)-X$. Bujtás, Jendrol and Tuza (On specific factors in graphs, \emph{Graphs and Combin.}, 36 (2020), 1391-1399.) introduced the concept and conjectured that every 2-edge-connected graph with minimum degree at least three has the strong parity property. In this paper, we give a characterization for graphs to have the strong parity property and construct a counterexample to disprove the conjecture proposed by Bujtás, Jendrol and Tuza.
On Turán numbers of the complete $4$-graphs
Published in Discrete Math, vol. 344, no.11, #112544, 2021
• View Publication
• BIB
The Turán number $T(n,α+1,r)$ is the minimum number of edges in an $n$-vertex $r$-graph whose independence number does not exceed $α$. For each $r\geq 2$, there exists $t_*(r)$ such that $T(n,α+1,r) = t_*(r) \: n^r \: α^{1-r} \: (1+o(1))$ as $α/ r \to\infty$ and $n / α\to\infty$. It is known that $t_*(2) = 1/2$, and the conjectured value of $t_*(3)$ is $2/3$. We prove that $t_*(4) < 0.706335\:$.