Showing 20 papers (Total: 82139 papers, 47531 authors in database)
VC-dimension and pseudo-random graphs
Published
• View Publication
• BIB
Let $G$ be a graph and $U\subset V(G)$ be a set of vertices. For each $v\in U$, let $h_v\colon U\to \{0, 1\}$ be the function defined by \[h_v(u)=\begin{cases} &1 ~\mbox{if}~u\sim v, u\in U\\&0 ~\mbox{if}~u\not\sim v, u\in U\end{cases},\] and set $\mathcal{H}(U):=\{h_v\colon v\in U\}$. The first purpose of this paper is to study the following question: What families of graphs $G$ and what conditions on $U$ do we need so that the VC-dimension of $\mathcal{H}(U)$ can be determined? We show that if $G$ is a pseudo-random graph, then under some mild conditions, the VC dimension of $\mathcal{H}(U)$ can be bounded from below. Specific cases of this theorem recover and improve previous results on VC-dimension of functions defined by the well-studied distance and dot-product graphs over a finite field.
Contractibility of the orbit space of the $p$-subgroup complex via Brown-Forman discrete Morse theory
Published
• View Publication
• BIB
We give a simple proof that the orbit space of the $p$-subgroup complex of a finite group is contractible using Brown-Forman discrete Morse theory. This result was originally conjectured by Webb and proved by Symonds.
Some fast convergent series for the mathematical constants $ζ(4)$ and $ζ(5)$
Recently, Sun [preprint, arXiv: 2210.07238v7] proposed two conjectural series for the mathematical constant $ζ(4)$ and two conjectural series for the mathematical constant $ζ(5)$. In terms of the operator method and two hypergeometric transformations, we prove these four conjectures. Furthermore, we also find some new series for the two constants in this paper.
Transformation, Identification, and Inversion of Goldberg-Coxeter Fullerenes
It is difficult to identify a G-C fullerene directly from its dimensions as its lattice is not proportional to that of its archetype in general, although they have the same three-dimensional shape. In this paper, the area scale factor of a G-C fullerene is proved to be an integer, which can be calculated from its dimensions. All the G-C transformations are k-inflations that can be easily identified and inversed, primary transformations whose area scale factors are prime numbers, or composite transformations whose area scale factors are the product of those of its sub-transformations. As the result, a method to identify any G-C fullerenes according to the area scale factor was presented.
Weak degeneracy of planar graphs and locally planar graphs
Published
• View Publication
• BIB
Weak degeneracy is a variation of degeneracy which shares many nice properties of degeneracy. In particular, if a graph $G$ is weakly $d$-degenerate, then for any $(d + 1)$-list assignment $L$ of $G$, one can construct an $L$-coloring of $G$ by a modified greedy coloring algorithm. It is known that planar graphs of girth 5 are 3-choosable and locally planar graphs are 5-choosable. This paper strengthens these results and proves that planar graphs of girth 5 are weakly 2-degenerate and locally planar graphs are weakly 4-degenerate.
Real trees
We survey the definition and some elementary properties of real trees. There are no new results, as far as we know. One purpose is to give a number of different definitions and show the equivalence between them. We discuss also, for example, the four-point inequality, the length measure and the connection to the theory of Gromov hyperbolic spaces. Several examples are given.
Canonical Sphere Bases for Simplicial and Cubical Complexes
Published
• View Publication
• BIB
Sphere-bases are constructed for the $\mathbb{Z}_2$ vector space formed by the $k$-dimensional subcomplexes, of $n$-simplex (or $n$-cube), for which every $(k{-}1)$-face is contained in a positive even number of $k$-cells; addition is symmetric difference of the corresponding sets of $k$-cells. The bases consist of the boundaries of an algorithmically-specified family of $k{+}1$-simplexes or $k{+}1$-cubes. Geometric properties of these bases are investigated.
Bordering of Symmetric Matrices and an Application to the Minimum Number of Distinct Eigenvalues for the Join of Graphs
Published
• View Publication
• BIB
An important facet of the inverse eigenvalue problem for graphs is to determine the minimum number of distinct eigenvalues of a particular graph. We resolve this question for the join of a connected graph with a path. We then focus on bordering a matrix and attempt to control the change in the number of distinct eigenvalues induced by this operation. By applying bordering techniques to the join of graphs, we obtain numerous results on the nature of the minimum number of distinct eigenvalues as vertices are joined to a fixed graph.
The number of tiles of $\mathbb{Z}^d$
Published
• View Publication
• BIB
It is proved that the number of subsets of $[n]^d$ that tile $\mathbb{Z}^d$ is $\left(3^{\frac{1}{3}}\right)^{n^d \pm o(n^d)}$.
Logarithmic Weisfeiler--Leman and Treewidth
In this paper, we show that the $(3k+4)$-dimensional Weisfeiler--Leman algorithm can identify graphs of treewidth $k$ in $O(\log n)$ rounds. This improves the result of Grohe & Verbitsky (ICALP 2006), who previously established the analogous result for $(4k+3)$-dimensional Weisfeiler--Leman. In light of the equivalence between Weisfeiler--Leman and the logic $\textsf{FO} + \textsf{C}$ (Cai, Fürer, & Immerman, Combinatorica 1992), we obtain an improvement in the descriptive complexity for graphs of treewidth $k$. Precisely, if $G$ is a graph of treewidth $k$, then there exists a $(3k+5)$-variable formula $\varphi$ in $\textsf{FO} + \textsf{C}$ with quantifier depth $O(\log n)$ that identifies $G$ up to isomorphism.
The Gini index in the representation theory of the general linear group
Published
• View Publication
• BIB
The Gini index is a function that attempts to measure the amount of inequality in the distribution of a finite resource throughout a population. It is commonly used in economics as a measure of inequality of income or wealth. We define a discrete Gini index on the set of integer partitions with at most $n$ parts and show how this function emerges in the representation theory of the complex general linear group.
On the Gap between Hereditary Discrepancy and the Determinant Lower Bound
Published
• View Publication
• BIB
The determinant lower bound of Lovasz, Spencer, and Vesztergombi [European Journal of Combinatorics, 1986] is a powerful general way to prove lower bounds on the hereditary discrepancy of a set system. In their paper, Lovasz, Spencer, and Vesztergombi asked if hereditary discrepancy can also be bounded from above by a function of the hereditary discrepancy. This was answered in the negative by Hoffman, and the largest known multiplicative gap between the two quantities for a set system of $m$ substes of a universe of size $n$ is on the order of $\max\{\log n, \sqrt{\log m}\}$. On the other hand, building on work of Matoušek [Proceedings of the AMS, 2013], recently Jiang and Reis [SOSA, 2022] showed that this gap is always bounded up to constants by $\sqrt{\log(m)\log(n)}$. This is tight when $m$ is polynomial in $n$, but leaves open what happens for large $m$. We show that the bound of Jiang and Reis is tight for nearly the entire range of $m$. Our proof relies on a technique of amplifying discrepancy via taking Kronecker products, and on discrepancy lower bounds for a set system derived from the discrete Haar basis.
The $i$-Graphs of Paths and Cycles
The independent domination number $i(G)$ of a graph $G$ is the minimum cardinality of a maximal independent set of $G$, also called an $i(G)$-set. The $i$-graph of $G$, denoted $\mathscr{I}(G)$, is the graph whose vertices correspond to the $i(G)$-sets, and where two $i(G)$-sets are adjacent if and only if they differ by two adjacent vertices. Although not all graphs are $i$-graph realizable, that is, given a target graph $H$, there does not necessarily exist a source graph $G$ such that $H \cong \mathscr{I}(G)$, all graphs have $i$-graphs. We determine the $i$-graphs of paths and cycles and, in the case of cycles, discuss the Hamiltonicity of these $i$-graphs.
Orthogonal Colourings of Random Geometric Graphs
In this paper, we study orthogonal colourings of random geometric graphs. Two colourings of a graph are orthogonal if they have the property that when two vertices receive the same colour in one colouring, then those vertices receive distinct colours in the other colouring. A random geometric graph $RG(n,r)$ is a graph constructed by randomly placing $n$ vertices in the unit square and connecting two vertices with an edge if and only if their distance is less than the threshold $r$. We show first that random geometric graphs with $r>n^{-α}$, where $0\leq α\leq\frac{1}{4}$, have an orthogonal colouring using $n^{1-2α}(1+o(1))$ colours with high probability. Then, we show for an infinite number of values of $n$, random geometric graphs with threshold $r<cn^{-\frac{1}{4}}$, $c<1$, have an optimal orthogonal colouring with high probability. We obtain both of these results by constructing orthogonal colourings of the clique grid graph.
A 2-opt Algorithm for Locally Optimal Set Partition Optimization
Our research deals with the optimization version of the set partition problem, where the objective is to minimize the absolute difference between the sums of the two disjoint partitions. Although this problem is known to be NP-hard and requires exponential time to solve, we propose a less demanding version of this problem where the goal is to find a locally optimal solution. In our approach, we consider the local optimality in respect to any movement of at most two elements. To accomplish this, we developed an algorithm that can generate a locally optimal solution in at most $O(N^2)$ time and $O(N)$ space. Our algorithm can handle arbitrary input precisions and does not require positive or integer inputs. Hence, it can be applied in various problem scenarios with ease.
$p$-Laplacian Operators on Hypergraphs
This thesis generalizes the differential operators on standard oriented graphs and oriented hypergraphs introduced in 10.1137/15M1022793 and arXiv:2007.00325. The extended concepts of gradients, adjoints and $p$-Laplacians for vertices and (hyper)arcs include novel parametrization possibilities, while simultaneously fulfilling expected properties of the continuum setting, which are not granted by current definitions.
A 5-chromatic same-distance graph in the hyperbolic plane
The chromatic number of the plane problem asks for the minimum number of colors so that each point of the plane can be assigned a single color with the property that no two points unit-distance apart are identically colored. It is now known that the answer is 5, 6, or 7.
Here we consider the problem in the context of the hyperbolic plane. We prove that there exists a distance $d\approx 1.375033509$ so that every 4-coloring of the hyperbolic plane contains two points distance $d$ apart, which are identically colored.
Two Source Extractors for Asymptotically Optimal Entropy, and (Many) More
Published
• View Publication
• BIB
A long line of work in the past two decades or so established close connections between several different pseudorandom objects and applications. These connections essentially show that an asymptotically optimal construction of one central object will lead to asymptotically optimal solutions to all the others. However, despite considerable effort, previous works can get close but still lack one final step to achieve truly asymptotically optimal constructions.
In this paper we provide the last missing link, thus simultaneously achieving explicit, asymptotically optimal constructions and solutions for various well studied extractors and applications, that have been the subjects of long lines of research. Our results include:
Asymptotically optimal seeded non-malleable extractors, which in turn give two source extractors for asymptotically optimal min-entropy of $O(\log n)$, explicit constructions of $K$-Ramsey graphs on $N$ vertices with $K=\log^{O(1)} N$, and truly optimal privacy amplification protocols with an active adversary.
Two source non-malleable extractors and affine non-malleable extractors for some linear min-entropy with exponentially small error, which in turn give the first explicit construction of non-malleable codes against $2$-split state tampering and affine tampering with constant rate and \emph{exponentially} small error.
Explicit extractors for affine sources, sumset sources, interleaved sources, and small space sources that achieve asymptotically optimal min-entropy of $O(\log n)$ or $2s+O(\log n)$ (for space $s$ sources).
An explicit function that requires strongly linear read once branching programs of size $2^{n-O(\log n)}$, which is optimal up to the constant in $O(\cdot)$. Previously, even for standard read once branching programs, the best known size lower bound for an explicit function is $2^{n-O(\log^2 n)}$.
Brooks' theorem with forbidden colors
Published
• View Publication
• BIB
We consider extensions of Brooks' classic theorem on vertex coloring where some colors cannot be used on certain vertices. In particular we prove that if $G$ is a connected graph with maximum degree $Δ(G) \geq 4$ that is not a complete graph and $P \subseteq V(G)$ is a set of vertices where either
(i) at most $Δ(G)-2$ colors are forbidden for every vertex in $P$, and any two vertices of $P$ are at distance at least $4$, or
(ii) at most $Δ(G)-3$ colors are forbidden for every vertex in $P$, and any two vertices of $P$ are at distance at least $3$,
then there is a proper $Δ(G)$-coloring of $G$ respecting these constraints. In fact, we shall prove that these results hold in the more general setting of list colorings. These results are sharp.
Analytic aspects of generalized central trinomial coefficients
Published
• View Publication
• BIB
The divisibility and congruence of usual and generalized central trinomial coefficients have been extensively investigated. The present paper is devoted to analytic properties of these numbers. We show that usual central trinomial polynomials $T_n(x)$ have only real roots, and roots of $T_n(x)$ interlace those of $T_{n+1}(x)$, as well as those of $T_{n+2}(x)$, which gives an affirmative answer to a open question of Fisk. We establish necessary and sufficient conditions such that the generalized central trinomial coefficients $T_n(b,c)$ form a log-convex sequence or a Stieltjes moment sequence.