Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Optimal pebbling number of graphs with given minimum degree
Published
• View Publication
• BIB
Consider a distribution of pebbles on a connected graph $G$. A pebbling move removes two pebbles from a vertex and places one to an adjacent vertex. A vertex is reachable under a pebbling distribution if it has a pebble after the application of a sequence of pebbling moves. The optimal pebbling number $π^*(G)$ is the smallest number of pebbles which we can distribute in such a way that each vertex is reachable. It was known that the optimal pebbling number of any connected graph is at most $\frac{4n}{δ+1}$, where $δ$ is the minimum degree of the graph. We strengthen this bound by showing that equality cannot be attained and that the bound is sharp. If $\operatorname{diam}(G)\geq 3$ then we further improve the bound to $π^*(G)\leq\frac{3.75n}{δ+1}$. On the other hand, we show that for arbitrary large diameter and any $ε>0$ there are infinitely many graphs whose optimal pebbling number is bigger than $\left(\frac{8}{3}-ε\right)\frac{n}{(δ+1)}$.
Conjectured lower bound for the clique number of a graph
It is well known that $n/(n - μ)$, where $μ$ is the spectral radius of a graph with $n$ vertices, is a lower bound for the clique number. We conjecture that $μ$ can be replaced in this bound with $\sqrt{s^+}$, where $s^+$ is the sum of the squares of the positive eigenvalues. We prove this conjecture for various classes of graphs, including triangle-free graphs, and for almost all graphs.
Distribution of the Number of Corners in Tree--like Tableaux
In this paper, we study tree--like tableaux and some of their probabilistic properties. Tree--like tableaux are in bijection with other combinatorial structures, including permutation tableaux, and have a connection to the partially asymmetric simple exclusion process (PASEP), an important model of an interacting particles system. In particular, in the context of tree-like tableaux, a corner corresponds to a node occupied by a particle that could jump to the right while inner corners indicate a particle with an empty node to its left. Thus, the total number of corners represents the number of nodes at which PASEP can move, i. e. the total current activity of the system. As the number of inner corners and regular corners is connected, we limit our discussion to just regular corners and show that asymptotically, the number of corners in a tableau of length $n$ is normally distributed.
A note on 1-guardable graphs in the cops and robber game
Published
• View Publication
• BIB
In the cops and robber games played on a simple graph $G$, Aigner and Fromme's lemma states that one cop can guard a shortest path in the sense that the robber cannot enter this path without getting caught after finitely many steps. In this paper, we extend Aigner and Fromme's lemma to cover a larger family of graphs and give metric characterizations of these graphs. In particular, we show that a generalization of block graphs, namely vertebrate graphs, are 1-guardable. We use this result to give the cop number of some special class of multi-layer generalized Peterson graphs.
Normal numbers with digit dependencies
Published
• View Publication
• BIB
We give metric theorems for the property of Borel normality for real numbers under the assumption of digit dependencies in their expansion in a given integer base. We quantify precisely how much digit dependence can be allowed such that, still, almost all real numbers are normal. Our theorem states that almost all real numbers are normal when at least slightly more than $\log \log n$ consecutive digits with indices starting at position $n$ are independent. As the main application, we consider the Toeplitz set $T_P$, which is the set of all sequences $a_1a_2 \ldots $ of symbols from $\{0, \ldots, b-1\}$ such that $a_n$ is equal to $a_{pn}$, for every $p$ in $P$ and $n=1,2,\ldots$. Here $b$ is an integer base and $P$ is a finite set of prime numbers. We show that almost every real number whose base $b$ expansion is in $T_P$ is normal to base $b$. In the case when $P$ is the singleton set $\{2\}$ we prove that more is true: almost every real number whose base $b$ expansion is in $T_P$ is normal to all integer bases. We also consider the Toeplitz transform which maps the set of all sequences to the set $T_P$ and we characterize the normal sequences whose Toeplitz transform is normal as well.
Colorings v.s. list colorings of uniform hypergraphs
Published
• View Publication
• BIB
Let $r$ be an integer with $r\ge 2$ and $G$ be a connected $r$-uniform hypergraph with $m$ edges. By refining the broken cycle theorem for hypergraphs, we show that if $k>\frac{m-1}{\ln(1+\sqrt{2})}\approx 1.135 (m-1)$ then the $k$-list assignment of $G$ admitting the fewest colorings is the constant list assignment. This extends the previous results of Donner, Thomassen and the current authors for graphs.
Characterizing Star-PCGs
Published in Algorithmica 2020
• View Publication
• BIB
A graph $G$ is called a pairwise compatibility graph (PCG, for short) if it admits a tuple $(T,w, d_{\min},d_{\max})$ of a tree $T$ whose leaf set is equal to the vertex set of $G$, a non-negative edge weight $w$, and two non-negative reals $d_{\min}\leq d_{\max}$ such that $G$ has an edge between two vertices $u,v\in V$ if and only if the distance between the two leaves $u$ and $v$ in the weighted tree $(T,w)$ is in the interval $[d_{\min}, d_{\max}]$. The tree $T$ is also called a witness tree of the PCG $G$. The problem of testing if a given graph is a PCG is not known to be NP-hard yet. To obtain a complete characterization of PCGs is a wide open problem in computational biology and graph theory. In literature, most witness trees admitted by known PCGs are stars and caterpillars. In this paper, we give a complete characterization for a graph to be a star-PCG (a PCG that admits a star as its witness tree), which provides us the first polynomial-time algorithm for recognizing star-PCGs.
Gasper's determinant theorem, revisited
Let $n \ge 2$ be a natural number, $M$ a real $n \times n$ matrix, $s$ the sum of the entries of $M$ and $q$ the sum of their squares. With $α:= s/n$ and $β:= q/n$, Gasper's determinant bound says that $ |\det M| \le β^{n/2}$, and in case of $α^2 \ge β$: $$|\det M| \le |α| \left(\frac{nβ-α^2}{n-1}\right)^{\frac{n-1}2}$$ This article gives a corrected proof of Gasper's theorem and lists some more applications.
Balancedness of Social Choice Correspondences
Published
• View Publication
• BIB
A social choice correspondence satisfies balancedness if, for every pair of alternatives, x and y, and every pair of individuals, i and j, whenever a profile has x adjacent to but just above y for individual i while individual j has y adjacent to but just above x, then only switching x and y in the orderings for both of those two individuals leaves the choice set unchanged. We show how the balancedness condition interacts with other social choice properties, especially tops-only. We also use balancedness to characterize the Borda rule (for a fixed number of voters) within the class of scoring rules.
Implementing Line-Hermitian Grassmann codes
Published in Linear Algebra Appl. 580 (2019), 96-120
• View Publication
• BIB
In [I. Cardinali and L. Giuzzi. Line Hermitian Grassmann codes and their parameters. Finite Fields Appl., 51: 407-432, 2018] we introduced line Hermitian Grassmann codes and determined their parameters. The aim of this paper is to present (in the spirit of [I. Cardinali and L. Giuzzi. Enumerative coding for line polar Grassmannians with applications to codes. Finite Fields Appl., 46:107-138, 2017]) an algorithm for the point enumerator of a line Hermitian Grassmannian which can be usefully applied to get efficient encoders, decoders and error correction algorithms for the aforementioned codes.
Positive definite functions on semilattices
We introduce a notion of positive definiteness for functions $f\!:P\to\mathbb{R}$ defined on meet semilattices $(P,\preceq,\wedge)$ and prove several properties for these functions. In addition, we utilize the $LDL^{\rm T}$ decomposition of meet matrices in order to explore the properties of multivariate positive definite arithmetic functions $f\!:\mathbb{Z}_+^d\to\mathbb{R}$. Finally, we give a series of examples and counterexamples of positive definite functions.
Gromov Product Decomposition of 7-point Metric Spaces
Let $X$ be a finite metric space with elements $P_i$, $i=1,\dots,n$ and with distance functions $d_{ij}$. The Gromov product of the triangle with vertices $P_i$, $P_j$ and $P_k$ at the vertex $P_i$ is defined by $Δ_{ijk}=\frac{1}{2}(d_{ij}+d_{ik}-d_{jk})$. A metric space is called $Δ$-generic, if the set of Gromov products at each $P_i$ has a unique smallest element $Δ_{ijk}$.
For a $Δ$-generic metric space, the map $P_i\to (P_jP_k)$, where $(P_jP_k)$ is the edge joining $P_j$ to $P_k$ is a well defined map called the "Gromov product structure" [Bilge, Celik and Kocak, "An equivalence class decomposition of finite metric spaces", Discrete Mathmetics, Vol 340, (2017) 1928-1932]. For n=5, the 3 $Δ$-equivalence classes coincide with the classification of $5$-point metrics. For $n=6$, there are 26 $Δ$-equivalence classes refined by 339 metric classes. In this paper, we present the first systematic treatment of 7-point spaces and we obtain the $Δ$-equivalence decomposition of 7-point metric spaces that consist of 431 equivalence classes.
Convex fair partitions into an arbitrary number of pieces
Published
• View Publication
• BIB
We prove that any convex body in the plane can be partitioned into $m$ convex parts of equal areas and perimeters for any integer $m\ge 2$; this result was previously known for prime powers $m=p^k$. We also discuss possible higher-dimensional generalizations and difficulties of extending our technique to equalizing more than one non-additive function.
K-cut on paths and some trees
Published
• View Publication
• BIB
We define the (random) $k$-cut number of a rooted graph to model the difficulty of the destruction of a resilient network. The process is as the cut model of Meir and Moon except now a node must be cut $k$ times before it is destroyed. The first order terms of the expectation and variance of $\mathcal{X}_{n}$, the $k$-cut number of a path of length $n$, are proved. We also show that $\mathcal{X}_{n}$, after rescaling, converges in distribution to a limit $\mathcal{B}_{k}$, which has a complicated representation. The paper then briefly discusses the $k$-cut number of some trees and general graphs. We conclude by some analytic results which may be of interest.
The correlation constant of a field
We study the correlation of edges, vectors or elements to be in a randomly chosen spanning tree or a basis, respectively. Here we follow the guideline of Huh and Wang and introduce as a measure an invariant that is called the correlation constant of a graph, vector configuration, matroid or field. It follows from one of their results that these correlation constants are numbers between $0$ and $2$. Here, we show that the correlation constant of every field is at least $\frac{8}{7}$. In our proof we explicitly construct vector configurations and matroids with positively correlated elements.
Beating the integrality ratio for s-t-tours in graphs
Published
• View Publication
• BIB
Among various variants of the traveling salesman problem, the s-t-path graph TSP has the special feature that we know the exact integrality ratio, 3/2, and an approximation algorithm matching this ratio. In this paper, we go below this threshold: we devise a polynomial-time algorithm for the s-t-path graph TSP with approximation ratio 1.497. Our algorithm can be viewed as a refinement of the 3/2-approximation algorithm by Sebő and Vygen [2014], but we introduce several completely new techniques. These include a new type of ear-decomposition, an enhanced ear induction that reveals a novel connection to matroid union, a stronger lower bound, and a reduction of general instances to instances in which s and t have small distance (which works for general metrics).
Topological Tverberg Theorem: the proofs and the counterexamples
Published in Russian Mathematical Surveys, 2018, Volume 73
• View Publication
• BIB
I describe the history of Topological Tverberg Theorem. I present some important constructions and discuss their properties. In particular, I describe in details the cell structure of the classifying space $K\left( S_{r},1\right),$ where $S_{r}$ is the permutation group.
I also clarify some bibliographical issues.
Non-Malleable Extractors and Non-Malleable Codes: Partially Optimal Constructions
The recent line of study on randomness extractors has been a great success, resulting in exciting new techniques, new connections, and breakthroughs to long standing open problems in several seemingly different topics. These include seeded non-malleable extractors, privacy amplification protocols with an active adversary, independent source extractors (and explicit Ramsey graphs), and non-malleable codes in the split state model. However, in all cases there is still a gap to optimum and the motivation to close this gap remains strong.
In this paper, we introduce a set of new techniques to further push the frontier in the above questions. Our techniques lead to improvements in all of the above questions, and in several cases partially optimal constructions. Specifically, we obtain: 1. A seeded non-malleable extractor with seed length $O(log n)+log^{1+o(1)}(1/ε) and entropy requirement O(log log n+log(1/ε)), where the entropy requirement is asymptotically optimal by a recent result of Gur and Shinkar \cite{GurS17}; 2. A two-round privacy amplification protocol with optimal entropy loss for security parameter up to Ω(k), which solves the privacy amplification problem completely; 3. A two-source extractor for entropy O(\frac{log n log log n}{log log log n}), which also gives an explicit Ramsey graph on N vertices with no clique or independent set of size (log N)^{O(\frac{log log log N}{log log log log N})}; and 4. The first explicit non-malleable code in the 2-split state model with \emph{constant} rate, which has been a major goal in the study of non-malleable codes for quite some time. One small caveat is that the error of this code is only (an arbitrarily small) constant, but we can also achieve negligible error with rate Ω(log log log n/log log n), which already improves the rate in \cite{Li17} exponentially.
Almost homomorphisms between the Boolean cube and groups of prime order
Published in Online J. Anal. Comb. No. 13 (2018)
• View Publication
• BIB
We show that if f is an injection from an n-dimensional Boolean cube (considered as an additive group) to a group of prime order then the probability that f(x+y)=f(x)+f(y) is O(2^{-n/11}).
A Carlitz type result for linearized polynomials
Published in Ars. Math. Contemp. 16 (2019) 585-608
• View Publication
• BIB
For an arbitrary $q$-polynomial $f$ over $\mathbb{F}_{q^n}$ we study the problem of finding those $q$-polynomials $g$ over $\mathbb{F}_{q^n}$ for which the image sets of $f(x)/x$ and $g(x)/x$ coincide. For $n\leq 5$ we provide sufficient and necessary conditions and then apply our result to study maximum scattered linear sets of $\mathrm{PG}(1,q^5)$.