Showing 20 papers (Total: 82139 papers, 47531 authors in database)
The completion numbers of Hamiltonicity and pancyclicity in random graphs
Published
• View Publication
• BIB
Let $μ(G)$ denote the minimum number of edges whose addition to $G$ results in a Hamiltonian graph, and let $\hatμ(G)$ denote the minimum number of edges whose addition to $G$ results in a pancyclic graph. We study the distributions of $μ(G),\hatμ(G)$ in the context of binomial random graphs.
Letting $d=d(n) := n\cdot p$, we prove that there exists a function $f:\mathbb{R}^+\to [0,1]$ of order $f(d) = \frac{1}{2}de^{-d}+e^{-d}+O(d^6e^{-3d})$ such that, if $G\sim G(n,p)$ with $20 \le d(n) \le 0.4 \log n$, then with high probability $μ(G)= (1+o(1))\cdot f(d)\cdot n$.
Let $n_i(G)$ denote the number of degree $i$ vertices in $G$. A trivial lower bound on $μ(G)$ is given by the expression $n_0(G) + \lceil \frac{1}{2}n_1(G) \rceil$. In the denser regime of random graphs, we show that if $np-\frac{1}{3}\log n - 2\log \log n \to \infty$ and $G\sim G(n,p)$ then, with high probability, $μ(G) = n_0(G) + \lceil \frac{1}{2}n_1(G) \rceil$.
For completion to pancyclicity, we show that if $G\sim G(n,p)$ and $np\ge 20$ then, with high probability, $\hatμ (G)=μ(G)$.
Finally, we present a polynomial time algorithm such that, if $G\sim G(n,p)$ and $np\ge 20$, then, with high probability, the algorithm returns a set of edges of size $μ(G)$ whose addition to $G$ results in a pancyclic (and therefore also Hamiltonian) graph.
Replicability and stability in learning
Published
• View Publication
• BIB
Replicability is essential in science as it allows us to validate and verify research findings. Impagliazzo, Lei, Pitassi and Sorrell (`22) recently initiated the study of replicability in machine learning. A learning algorithm is replicable if it typically produces the same output when applied on two i.i.d. inputs using the same internal randomness. We study a variant of replicability that does not involve fixing the randomness. An algorithm satisfies this form of replicability if it typically produces the same output when applied on two i.i.d. inputs (without fixing the internal randomness). This variant is called global stability and was introduced by Bun, Livni and Moran ('20) in the context of differential privacy.
Impagliazzo et al. showed how to boost any replicable algorithm so that it produces the same output with probability arbitrarily close to 1. In contrast, we demonstrate that for numerous learning tasks, global stability can only be accomplished weakly, where the same output is produced only with probability bounded away from 1. To overcome this limitation, we introduce the concept of list replicability, which is equivalent to global stability. Moreover, we prove that list replicability can be boosted so that it is achieved with probability arbitrarily close to 1. We also describe basic relations between standard learning-theoretic complexity measures and list replicable numbers. Our results, in addition, imply that besides trivial cases, replicable algorithms (in the sense of Impagliazzo et al.) must be randomized.
The proof of the impossibility result is based on a topological fixed-point theorem. For every algorithm, we are able to locate a "hard input distribution" by applying the Poincaré-Miranda theorem in a related topological setting. The equivalence between global stability and list replicability is algorithmic.
On Testability of First-Order Properties in Bounded-Degree Graphs and Connections to Proximity-Oblivious Testing
Published
• View Publication
• BIB
We study property testing of properties that are definable in first-order logic (FO) in the bounded-degree graph and relational structure models. We show that any FO property that is defined by a formula with quantifier prefix $\exists^*\forall^*$ is testable (i.e., testable with constant query complexity), while there exists an FO property that is expressible by a formula with quantifier prefix $\forall^*\exists^*$ that is not testable. In the dense graph model, a similar picture is long known (Alon, Fischer, Krivelevich, Szegedy, Combinatorica 2000), despite the very different nature of the two models. In particular, we obtain our lower bound by an FO formula that defines a class of bounded-degree expanders, based on zig-zag products of graphs. We expect this to be of independent interest.
We then use our class of FO definable bounded-degree expanders to answer a long-standing open problem for proximity-oblivious testers (POTs). POTs are a class of particularly simple testing algorithms, where a basic test is performed a number of times that may depend on the proximity parameter, but the basic test itself is independent of the proximity parameter. In their seminal work, Goldreich and Ron [STOC 2009; SICOMP 2011] show that the graph properties that are constant-query proximity-oblivious testable in the bounded-degree model are precisely the properties that can be expressed as a generalised subgraph freeness (GSF) property that satisfies the non-propagation condition. It is left open whether the non-propagation condition is necessary. We give a negative answer by showing that our property is a GSF property which is propagating. Hence in particular, our property does not admit a POT. For this result we establish a new connection between FO properties and GSF-local properties via neighbourhood profiles.
On the existence of $(r,g,χ)$-cages
Published
• View Publication
• BIB
In this paper, we work with simple and finite graphs. We study a generalization of the \emph{Cage Problem}, which has been widely studied since cages were introduced by Tutte \cite{T47} in 1947 and after Erd\" os and Sachs \cite{ES63} proved their existence in 1963. An \emph{$(r,g)$-graph} is an $r$-regular graph in which the shortest cycle has length equal to $g$; that is, it is an $r$-regular graph with girth $g$. An \emph{$(r,g)$-cage} is an $(r,g)$-graph with the smallest possible number of vertices among all $(r,g)$-graphs; the order of an $(r,g)$-cage is denoted by $n(r,g)$. The Cage Problem consists of finding $(r,g)$-cages; it is well-known that $(r,g)$-cages have been determined only for very limited sets of parameter pairs $(r, g)$. There exists a simple lower bound for $n(r,g)$, given by Moore and denoted by $n_0(r,g)$. The cages that attain this bound are called \emph{Moore cages}.
On the restricted Hanoi Graphs
Published
• View Publication
• BIB
Consider the restricted Hanoi graphs which correspond to the variants of the famous Tower of Hanoi problem with multiple pegs where moves of the discs are restricted throughout the arcs of a movement digraph whose vertices represent the pegs of the puzzle and an arc from vertex $p$ to vertex $q$ exists if and only if moves from peg $p$ to peg $q$ are allowed. In this paper, we gave some notes on how to construct the restricted Hanoi graphs as well as some combinatorial results on the number of arcs in these graphs.
The girth, odd girth, distance function, and diameter of generalized Johnson graphs
Published in Discrete Mathematics, Volume 341, Issue 1, 2018, Pages 138-142
• View Publication
• BIB
For any non-negative integers $v > k > i$, the {\em generalized Johnson graph}, $J(v,k,i)$, is the undirected simple graph whose vertices are the $k$-subsets of a $v$-set, and where any two vertices $A$ and $B$ are adjacent whenever $|A \cap B| =i$. In this article, we derive formulas for the girth, odd girth, distance function, and diameter of $J(v,k,i)$.
On the linear space of the two-sided generalized Fibonacci sequences
Published
• View Publication
• BIB
In this paper, we study the linear space of all two-sided generalized Fibonacci sequences $\{F_n\}_{n \in \mathbb{Z}}$ that satisfy the recurrence equation of order $k$: $F_n = F_{n-1} + F_{n-2} + \dots + F_{n-k}$. We give two types of explicit formula, one is based on generalized binomial coefficients and the other based on generalized multinomial coefficients.
A study on $A_α$-spectrum and $A_α$-energy of unitary addition Cayley graphs
The unitary addition Cayley graph $G_n$, $n\in Z^+$ is the graph whose vertex set is $Z_n$, the ring of integers modulo $n$ and two vertices $u$ and $v$ are adjacent if and only if $u + v \in \cup_n$ where $\cup_n$ is the set of all units of the ring. The $A_α$-matrix of a graph $G$ is defined as $A_α(G) = αD(G) + (1-α)A(G)$, $α\in [0, 1]$, where $D(G)$ is the diagonal matrix of vertex degrees and $A(G)$ is the adjacency matrix of $G$. In this paper, we investigate the $A_α$-eigenvalues for unitary addition Cayley graph and its complement. We determine bounds for $A_α$-eigenvalues of unitary addition Cayley graph when its order is odd. Consequently, we compute the $A_α$-energy of both $G_n$ and its complement, $\overline{G_n}$, for $n={p}^m$ where ${p}$ is a prime number and $n$ even. Moreover, we obtain some bounds for energies of $G_n$ and $\overline{G}_n$ when $n$ is odd. We also define $A_α$-borderenergetic and $A_α$-hyperenergetic graphs and observe some classes for each.
Classification of lattice triangles by their two smallest widths
We introduce the notion of the second lattice width of a lattice polytope and use this to classify lattice triangles by their width and second width. This is equivalent to classifying lattice triangles contained in a given rectangle (and no smaller rectangle) up to affine equivalence. Using this classification we investigate the automorphism groups and Ehrhart theory of lattice triangles. We also show that the sequence counting lattice triangles contained in dilations of the unit square has generating function equal to the Hilbert series of a degree 8 hypersurface in $\mathbb{P}(1,1,1,2,2,2)$.
Group Inverses of Weighted Trees
Published
• View Publication
• BIB
Let $(G,w)$ be an undirected weighted graph. The group inverse of $(G,w)$ is the weighted graph with the adjacency matrix $A^{\#}$, where $A$ is the adjacency matrix of $(G,w)$. We study the group inverse of singular weighted trees. It is shown that if $(T,w)$ is a singular weighted tree, then $T^{\#}$ is again a tree, if and only if $T$ is a star tree, which in turn, holds if and only if $T^{\#}$ is graph isomorphic to $T$. A new class $\mathbb{T}$ of weighted trees, is introduced and studied here. It is shown that the group inverse of the adjacency matrix of a positively weighted tree in $\mathbb{T}$, is signature similar to a non-negative matrix.
Laplace transform of the $x-y$ symplectic transformation formula in Topological Recursion
Published in Commun. Number Theory Phys. 17 4 (2023)
• View Publication
• BIB
The functional relation coming from the $x-y$ symplectic transformation of Topological Recursion has a lot of applications, for instance it is the higher order moment-cumulant relation in free probability or can be used to compute intersection numbers on the moduli space of complex curves. We derive the Laplace transform of this functional relation, which has a very nice and compact form as a formal power series in $\hbar$. We apply the Laplace transformed formula to the Airy curve and the Lambert curve.
A computation of D(9) using FPGA Supercomputing
Published
• View Publication
• BIB
This preprint makes the claim of having computed the $9^{th}$ Dedekind Number. This was done by building an efficient FPGA Accelerator for the core operation of the process, and parallelizing it on the Noctua 2 Supercluster at Paderborn University. The resulting value is 286386577668298411128469151667598498812366. This value can be verified in two steps. We have made the data file containing the 490M results available, each of which can be verified separately on CPU, and the whole file sums to our proposed value.
On the $A_α$-spectral radius of graphs without linear forests
Let $A(G)$ and $D(G)$ be the adjacency and degree matrices of a simple graph $G$ on $n$ vertices, respectively. The \emph{$A_α$-spectral radius} of $G$ is the largest eigenvalue of $A_α(G)=αD(G)+(1-α)A(G)$ for a real number $α\in[0,1]$. In this paper, for $α\in (0,1)$, we obtain a sharp upper bound for the $A_α$-spectral radius of graphs on $n$ vertices without a subgraph isomorphic to a liner forest for $n$ large enough and characterize all graphs which attain the upper bound. As a result, we completely obtain the maximum signless Laplacian spectral radius of graphs on $n$ vertices without a subgraph isomorphic to a liner forest for $n$ large enough.
Comptage des quiddit{é}s sur les corps finis et sur quelques anneaux $\mathbb{Z}/N\mathbb{Z}$
The $λ$-quiddities of size $n$ are $n$-tuples of elements of a fixed set, solutions of a matrix equation appearing in the study of Coxeter's friezes. These can be considered on various sets with very different structures from one set to another. The main objective of this text is to obtain explicit formulas giving the number of $λ$-quiddities of size $n$ over finite fields and over the rings $\mathbb{Z}/N\mathbb{Z}$ with $N=4m$ and $m$ square free. We will also give some elements about the asymptotic behavior of the number of $λ$-quiddities verifying an irreducibility condition over $\mathbb{Z}/N\mathbb{Z}$ when $N$ goes to the infinity.
The number of colorings of the middle layers of the Hamming cube
Published
• View Publication
• BIB
For an odd integer $n = 2d-1$, let $\mathcal B_d$ be the subgraph of the hypercube $Q_n$ induced by the two largest layers. In this paper, we describe the typical structure of proper $q$-colorings of $V(\mathcal B_d)$ and give asymptotics on the number of them. The proofs use various tools including information theory (entropy), Sapozhenko's graph container method and a recently developed method of M. Jenssen and W. Perkins that combines Sapozhenko's graph container lemma with the cluster expansion for polymer models from statistical physics.
Degrees of interior polynomials and parking function enumerators
The interior polynomial of a directed graph is defined as the $h^*$-polynomial of the graph's (extended) root polytope, and it displays several attractive properties. Here we express its degree in terms of the minimum cardinality of a directed join, and give a formula for the leading coefficient. We present natural generalizations of these results to oriented regular matroids; in the process we also give a facet description for the extended root polytope of an oriented regular matroid.
By duality, our expression for the degree of the interior polynomial implies a formula for the degree of the parking function enumerator of an Eulerian directed graph (which is equivalent to the greedoid polynomial of the corresponding branching greedoid). We extend that result to obtain the degree of the parking function enumerator of an arbitrary rooted directed graph in terms of the minimum cardinality of a certain type of feedback arc set.
On the threshold for Szemerédi's theorem with random differences
Published in Electronic Journal of Combinatorics 31(4) (2024)
• View Publication
• BIB
Using recent developments on the theory of locally decodable codes, we prove that the critical size for Szemerédi's theorem with random differences is bounded from above by $N^{1-\frac{2}{k} + o(1)}$ for length-$k$ progressions. This gives polynomial improvements over the previous best bounds for all odd $k$.
On the signature of unimodular fans
Published
• View Publication
• BIB
N.C.Leung and V.Reiner showed that certain convexity conditions on a complete rational simplicial fan determine the sign of the signature of the Poincaré pairing on the cohomology of the associated toric variety. The purpose of the present article is to give an "elementary" proof of their result.
The complexity of decomposing a graph into a matching and a bounded linear forest
Published
• View Publication
• BIB
Deciding whether a graph can be edge-decomposed into a matching and a $k$-bounded linear forest was recently shown by Campbell, H{ö}rsch and Moore to be NP-complete for every $k \ge 9$, and solvable in polynomial time for $k=1,2$. In the first part of this paper, we close this gap by showing that this problem is in NP-complete for every $k \ge 3$. In the second part of the paper, we show that deciding whether a graph can be edge-decomposed into a matching and a $k$-bounded star forest is polynomially solvable for any $k \in \mathbb{N} \cup \{ \infty \}$, answering another question by Campbell, H{ö}rsch and Moore from the same paper.
Maximal Ordinal Two-Factorizations
Given a formal context, an ordinal factor is a subset of its incidence relation that forms a chain in the concept lattice, i.e., a part of the dataset that corresponds to a linear order. To visualize the data in a formal context, Ganter and Glodeanu proposed a biplot based on two ordinal factors. For the biplot to be useful, it is important that these factors comprise as much data points as possible, i.e., that they cover a large part of the incidence relation. In this work, we investigate such ordinal two-factorizations. First, we investigate for formal contexts that omit ordinal two-factorizations the disjointness of the two factors. Then, we show that deciding on the existence of two-factorizations of a given size is an NP-complete problem which makes computing maximal factorizations computationally expensive. Finally, we provide the algorithm Ord2Factor that allows us to compute large ordinal two-factorizations.