Showing 20 papers (Total: 82901 papers, 47900 authors in database)
Characteristic Power Series of Graph Limits
Published
• View Publication
• BIB
In this note, we show how to obtain a "characteristic power series" of graphons -- infinite limits of dense graphs -- as the limit of normalized reciprocal characteristic polynomials. This leads to a new characterization of graph quasi-randomness and another perspective on spectral theory for graphons, a complete description of the function in terms of the spectrum of the graphon as a self-adjoint kernel operator. Interestingly, while we apply a standard regularization to classical determinants, it is unclear how necessary this is.
On the Walks and Bipartite Double Coverings of Graphs with the same Main Eigenspace
Published
• View Publication
• BIB
The main eigenvalues of a graph $G$ are those eigenvalues of the $(0,1)$-adjacency matrix $\mathbf A$ having a corresponding eigenvector not orthogonal to $\mathbf j = (1,\dots,1)$. The CDC of a graph $G$ is the direct product $G\times K_2$. The main eigenspace of $\mathbf A$ is generated by the principal main eigenvectors and is the same as the image of the walk matrix. A hierarchy of properties of pairs of graphs is established in view of their CDC's, walk matrices, main eigenvalues, eigenvectors and eigenspaces. We determine by algorithm that there are 32 pairs of non-isomorphic graphs on at most 8 vertices which have the same CDC.
On additive co-minimal pairs
Published in J. Number Theory 223 (2021), 350-370
• View Publication
• BIB
A pair of non-empty subsets $(W,W')$ in an abelian group $G$ is an additive complement pair if $W+W'=G$. $W'$ is said to be minimal to $W$ if $W+(W'\setminus \{w'\}) \neq G, \forall \,w'\in W'$. In general, given an arbitrary subset in a group, the existence of minimal complement(s) depends on its structure. The dual problem asks that given such a set, if it is a minimal complement to some subset. Additive complements have been studied in the context of representations of integers since the time of Erdős, Hanani, Lorentz and others. The notion of minimal complements is due to Nathanson. We study tightness property of complement pairs $(W,W')$ such that both $W$ and $W'$ are minimal to each other. These are termed co-minimal pairs and we show that any non-empty finite set in an arbitrary free abelian group belongs to some co-minimal pair. We also study infinite sets forming co-minimal pairs. At the other extreme, motivated by unbounded arithmetic progressions in the integers, we look at sets which can never be a part of any minimal pair. This leads to a discussion on co-minimality, subgroups, approximate subgroups and asymptotic approximate subgroups of $G$.
Fractional Local Dimension
Published
• View Publication
• BIB
The original notion of dimension for posets was introduced by Dushnik and Miller in 1941 and has been studied extensively in the literature. In 1992, Brightwell and Scheinerman developed the notion of fractional dimension as the natural linear programming relaxation of the Dushnik-Miller concept. In 2016, Ueckerdt introduced the concept of local dimension, and in just three years, several research papers studying this new parameter have been published. In this paper, we introduce and study fractional local dimension. As suggested by the terminology, our parameter is a common generalization of fractional dimension and local dimension.
For a pair $(n,d)$ with $2\le d<n$, we consider the poset $P(1,d;n)$ consisting of all $1$-element and $d$-element subsets of $\{1,\dots,n\}$ partially ordered by inclusion. This poset has fractional dimension $d+1$, but for fixed $d\ge2$, its local dimension goes to infinity with $n$. On the other hand, we show that as $n$ tends to infinity, the fractional local dimension of $P(1,d;n)$ tends to a value $\text{FLD}(d)$ which we will be able to determine exactly. For all $d\ge2$, $\text{FLD}(d)$ is strictly less than $d+1$, and for large $d$, $\text{FLD}(d)\sim d/(\log d-\log\log d-o(1))$. As an immediate corollary, we show that if $P$ is a poset, and $d$ is the maximum degree of a vertex in the comparability graph of $P$, then the fractional local dimension of $P$, is at most $2+\text{FLD}(d).$ Our arguments use both discrete and continuous methods.
Concentration estimates for algebraic intersections
Published
• View Publication
• BIB
We present an approach over arbitrary fields to bound the degree of intersection of families of varieties in terms of how these concentrate on algebraic sets of smaller codimension. This provides in particular a substantial extension of the method of degree-reduction that enables it to deal efficiently with higher-dimensional problems and also with high-degree varieties. We obtain sharp bounds that are new even in the case of lines in $\mathbb{R}^n$ and show that besides doubly-ruled varieties, only a certain rare family of varieties can be relevant for the study of incidence questions.
Multivariate polynomials for generalized permutohedra
Published
• View Publication
• BIB
Using the notion of Mahonian statistic on acyclic posets, we introduce a $q$-analogue of the $h$-polynomial of a simple generalized permutohedron. We focus primarily on the case of nestohedra and on explicit computations for many interesting examples, such as $S_n$-invariant nestohedra, graph associahedra, and Stanley--Pitman polytopes. For the usual (Stasheff) associahedron, our generalization yields an alternative $q$-analogue to the well-studied Narayana numbers.
Spectra and eigenspaces from regular partitions of Cayley (di)graphs of permutation groups
In this paper, we present a method to obtain regular (or equitable) partitions of Cayley (di)graphs (that is, graphs, digraphs, or mixed graphs) of permutation groups on $n$ letters. We prove that every partition of the number $n$ gives rise to a regular partition of the Cayley graph. By using representation theory, we also obtain the complete spectra and the eigenspaces of the corresponding quotient (di)graphs. More precisely, we provide a method to find all the eigenvalues and eigenvectors of such (di)graphs, based on their irreducible representations. As examples, we apply this method to the pancake graphs $P(n)$ and to a recent known family of mixed graphs $Γ(d,n,r)$ (having edges with and without direction). As a byproduct, the existence of perfect codes in $P(n)$ allows us to give a lower bound for the multiplicity of its eigenvalue $-1$.
Perfect matchings and derangements on graphs
Published
• View Publication
• BIB
We show that each perfect matching in a bipartite graph $G$ intersects at least half of the perfect matchings in $G$. This result has equivalent formulations in terms of the permanent of the adjacency matrix of a graph, and in terms of derangements and permutations on graphs. We give several related results and open questions.
N-body Approach to the Traveling Salesman Problem (TSP)
In the Traveling Salesman Problem (TSP), a list of cities and the distances between them are given. The goal is to find the shortest possible route that visits each city exactly once and returns to the original city. The TSP has a wide range of applications in many different industries including, but not limited to, optimizing mail and shipping routes, guiding industrial machines, mapping genomes, and improving autonomous vehicles. For centuries, traveling salesmen, politicians, and circuit preachers have tackled their own versions of the problem. Within the last century, the TSP has become one of the most important problems in the fields of mathematics and computer science. The time to find an exact solution is often impractically long, which has led to the development of numerous approximation techniques, ranging from linear programming methods to nature-inspired models. Here, we present a novel N-body approach to the TSP.
Asymptotic Structure for the Clique Density Theorem
Published in Discrete Analysis, 2020:19, 26pp
• View Publication
• BIB
The famous Erdős-Rademacher problem asks for the smallest number of $r$-cliques in a graph with the given number of vertices and edges. Despite decades of active attempts, the asymptotic value of this extremal function for all $r$ was determined only recently, by Reiher [Annals of Mathematics, 184 (2016) 683--707]. Here we describe the asymptotic structure of all almost extremal graphs. This task for $r=3$ was previously accomplished by Pikhurko and Razborov [Combinatorics, Probability and Computing, 26 (2017) 138--160].
Nearly Finitary Matroids
In this thesis, we study nearly finitary matroids by introducing new definitions and prove various properties of nearly finitary matroids. In 2010, an axiom system for infinite matroids was proposed by Bruhn et al. We use this axiom system for this thesis. In Chapter 2, we summarize our main results after reviewing historical background and motivation. In Chapter 3, we define a notion of spectrum for matroids. Moreover, we show that the spectrum of a nearly finitary matroid can be larger than any fixed finite size. We also give an example of a matroid with infinitely large spectrum that is not nearly finitary. Assuming the existence of a single matroid that is nearly finitary but not $k$-nearly finitary, we construct classes of matroids that are nearly finitary but not $k$-nearly finitary. We also show that finite rank matroids are unionable. In Chapter 4, we will introduce a notion of near finitarization. We also give an example of a nearly finitary independence system that is not $k$-nearly finitary. This independence system is not a matroid. In Chapter 5, we will talk about Psi-matroids and introduce a possible generalization. Moreover, we study these new matroids to search for an example of a nearly finitary matroid that is not $k$-nearly finitary. We have not yet found such an example. In Chapter 6, we will discuss thin sums matroids and consider our problem restricted to this class of matroids. Our results are motivated by the open problem concerning whether every nearly finitary matroid is $k$-nearly finitary for some $k$.
Approximating the Orthogonality Dimension of Graphs and Hypergraphs
Published
• View Publication
• BIB
A $t$-dimensional orthogonal representation of a hypergraph is an assignment of nonzero vectors in $\mathbb{R}^t$ to its vertices, such that every hyperedge contains two vertices whose vectors are orthogonal. The orthogonality dimension of a hypergraph $H$, denoted by $\overlineξ(H)$, is the smallest integer $t$ for which there exists a $t$-dimensional orthogonal representation of $H$. In this paper we study computational aspects of the orthogonality dimension of graphs and hypergraphs. We prove that for every $k \geq 4$, it is $\mathsf{NP}$-hard (resp. quasi-$\mathsf{NP}$-hard) to distinguish $n$-vertex $k$-uniform hypergraphs $H$ with $\overlineξ(H) \leq 2$ from those satisfying $\overlineξ(H) \geq Ω(\log^δn)$ for some constant $δ>0$ (resp. $\overlineξ(H) \geq Ω(\log^{1-o(1)} n)$). For graphs, we relate the $\mathsf{NP}$-hardness of approximating the orthogonality dimension to a variant of a long-standing conjecture of Stahl. We also consider the algorithmic problem in which given a graph $G$ with $\overlineξ(G) \leq 3$ the goal is to find an orthogonal representation of $G$ of as low dimension as possible, and provide a polynomial time approximation algorithm based on semidefinite programming.
On the WalkerMaker-WalkerBreaker games
Published
• View Publication
• BIB
We study the unbiased WalkerMaker-WalkerBreaker games on the edge set of the complete graph on $n$ vertices, $K_n$, a variant of well-known Maker-Breaker positional games, where both players have the restriction on the way of playing. Namely, each player has to choose her/his edges according to a walk. Here, we focus on two standard graph games - the Connectivity game and the Hamilton cycle game and show how quickly WalkerMaker can win both games.
On Horadam-Lucas sequence
Horadam introduced a new generalized sequence of numbers, describing its key features and the special sub-sequences that are obtained depending on the choices of initial parameters. This sequence and its sub-sequences are known as the Horadam, generalized Fibonacci, and generalized Lucas numbers, respectively. In the present study, we propose another new sequence, which satisfies a second-order recurrence relation, in addition to Horadam's definition. Further, we prove the Binet's formula, some famous identities, and summation formulas for this new sequence. In particular, we demonstrate the interrelationships between our new sequence and the Horadam sequence.
Fault-Tolerant Path-Embedding of Twisted Hypercube-Like Networks THLNs
Published
• View Publication
• BIB
The twisted hypercube-like networks($THLNs$) contain several important hypercube variants. This paper is concerned with the fault-tolerant path-embedding of $n$-dimensional($n$-$D$) $THLNs$. Let $G_n$ be an $n$-$D$ $THLN$ and $F$ be a subset of $V(G_n)\cup E(G_n)$ with $|F|\leq n-2$. We show that for arbitrary two different correct vertices $u$ and $v$, there is a faultless path $P_{uv}$ of every length $l$ with $2^{n-1}-1\leq l\leq 2^n-f_v-1-α$, where $α=0$ if vertices $u$ and $v$ form a normal vertex-pair and $α=1$ if vertices $u$ and $v$ form a weak vertex-pair in $G_n-F$($n\geq5$).
Broadcasts on Paths and Cycles
Published
• View Publication
• BIB
A broadcast on a graph $G=(V,E)$ is a function $f: V\longrightarrow \{0,\ldots,\operatorname{diam}(G)\}$ such that $f(v)\leq e\_G(v)$ for every vertex $v\in V$, where$\operatorname{diam}(G)$ denotes the diameter of $G$ and $e\_G(v)$ the eccentricity of $v$ in $G$. The cost of such a broadcast is then the value $\sum\_{v\in V}f(v)$.Various types of broadcast functions on graphs have been considered in the literature, in relation with domination, irredundence, independenceor packing, leading to the introduction of several broadcast numbers on graphs.In this paper, we determine these broadcast numbers for all paths and cycles, thus answering a questionraised in [D.~Ahmadi, G.H.~Fricke, C.~Schroeder, S.T.~Hedetniemi and R.C.~Laskar, Broadcast irredundance in graphs. {\it Congr. Numer.} 224 (2015), 17--31].
The complexity of the vertex-minor problem
Published
• View Publication
• BIB
A graph H is a vertex-minor of a graph G if it can be reached from G by the successive application of local complementations and vertex deletions. Vertex-minors have been the subject of intense study in graph theory over the last decades and have found applications in other fields such as quantum information theory. Therefore it is natural to consider the computational complexity of deciding whether a given graph G has a vertex-minor isomorphic to another graph H, which was previously unknown. Here we prove that this decision problem is NP-complete, even when restricting H, G to be circle graphs, a class of graphs that has a natural relation to vertex-minors.
Odd cycles in subgraphs of sparse pseudorandom graphs
Published
• View Publication
• BIB
We answer two extremal questions about odd cycles that naturally arise in the study of sparse pseudorandom graphs. Let $Γ$ be an $(n,d,λ)$-graph, i.e., $n$-vertex, $d$-regular graphs with all nontrivial eigenvalues in the interval $[-λ,λ]$. Krivelevich, Lee, and Sudakov conjectured that, whenever $λ^{2k-1}\ll d^{2k}/n$, every subgraph $G$ of $Γ$ with $(1/2+o(1))e(Γ)$ edges contains an odd cycle $C_{2k+1}$. Aigner-Horev, Hàn, and the third author proved a weaker statement by allowing an extra polylogarithmic factor in the assumption $λ^{2k-1}\ll d^{2k}/n$, but we completely remove it and hence settle the conjecture. This also generalises Sudakov, Szabo, and Vu's Turán-type theorem for triangles.
Secondly, we obtain a Ramsey multiplicity result for odd cycles. Namely, in the same range of parameters, we prove that every 2-edge-colouring of $Γ$ contains at least $(1-o(1))2^{-2k}d^{2k+1}$ monochromatic copies of $C_{2k+1}$. Both results are asymptotically best possible by Alon and Kahale's construction of $C_{2k+1}$-free pseudorandom graphs.
On the Universal Near Shortest Simple Paths Problem
This article generalizes the Near Shortest Paths Problem introduced by Byers and Waterman in 1984 using concepts of the Universal Shortest Path Problem established by Turner and Hamacher in 2011. The generalization covers a variety of shortest path problems by introducing a universal weight vector. We apply this concept to the Near Shortest Paths Problem in a way that we are able to enumerate all universal near shortest simple paths. We present two recursive algorithms to compute the set of universal near shortest simple paths between two prespecified vertices and evaluate the running time complexity per path enumerated with respect to different values of the universal weight vector. Further, we study the cardinality of a minimal complete set with respect to different values of the universal weight vector.
Biased random k-SAT
Published
• View Publication
• BIB
The basic random $k$-SAT problem is: Given a set of $n$ Boolean variables, and $m$ clauses of size $k$ picked uniformly at random from the set of all such clauses on our variables, is the conjunction of these clauses satisfiable?
Here we consider a variation of this problem where there is a bias towards variables occurring positive -- i.e. variables occur negated w.p. $0<p< \frac{1}{2}$ and positive otherwise -- and study how the satisfiability threshold depends on $p$. For $p<\frac{1}{2}$ this model breaks many of the symmetries of the original random $k$-SAT problem, e.g. the distribution of satisfying assignments in the Boolean cube is no longer uniform.
For any fixed $k$, we find the asymptotics of the threshold as $p$ approaches $0$ or $\frac{1}{2}$. The former confirms earlier predictions based on numerical studies and heuristic methods from statistical physics.