Showing 20 papers (Total: 84460 papers, 48641 authors in database)
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.
Next-to$^k$ leading log expansions by chord diagrams
Published
• View Publication
• BIB
Green functions in a quantum field theory can be expanded as bivariate series in the coupling and a scale parameter. The leading logs are given by the main diagonal of this expansion, i.e. the subseries where the coupling and the scale parameter appear to the same power; then the next-to leading logs are listed by the next diagonal of the expansion, where the power of the coupling is incremented by one, and so on. We give a general method for deriving explicit formulas and asymptotic estimates for any next-to$^k$ leading-log expansion for a large class of single scale Green functions. These Green functions are solutions to Dyson-Schwinger equations that are known by previous work to be expressible in terms of chord diagrams. We look in detail at the Green function for the fermion propagator in massless Yukawa theory as one example, and the Green function of the photon propagator in quantum electrodynamics as a second example, as well as giving general theorems. Our methods are combinatorial, but the consequences are physical, giving information on which terms dominate and on the dichotomy between gauge theories and other quantum field theories.
Sharp thresholds for nonlinear Hamiltonian cycles in hypergraphs
Published
• View Publication
• BIB
For positive integers $r > \ell$, an $r$-uniform hypergraph is called an $\ell$-cycle if there exists a cyclic ordering of its vertices such that each of its edges consists of $r$ consecutive vertices, and such that every pair of consecutive edges (in the natural ordering of the edges) intersect in precisely $\ell$ vertices. Such cycles are said to be linear when $\ell = 1$, and nonlinear when $\ell > 1$. We determine the sharp threshold for nonlinear Hamiltonian cycles and show that for all $r > \ell > 1$, the threshold $p^*_{r, \ell} (n)$ for the appearance of a Hamiltonian $\ell$-cycle in the random $r$-uniform hypergraph on $n$ vertices is sharp and is $p^*_{r, \ell} (n) = λ(r,\ell) (\frac{\mathrm{e}}{n})^{r - \ell}$ for an explicitly specified function $λ$. This resolves several questions raised by Dudek and Frieze in 2011.
Small-Support Uncertainty Principles on $\mathbb{Z}/p$ over Finite Fields
We establish an uncertainty principle for functions $f: \mathbb{Z}/p \rightarrow \mathbb{F}_q$ with constant support (where $p \mid q-1$). In particular, we show that for any constant $S > 0$, functions $f: \mathbb{Z}/p \rightarrow \mathbb{F}_q$ for which $|\text{supp}\; {f}| = S$ must satisfy $|\text{supp}\; \hat{f}| = (1 - o(1))p$. The proof relies on an application of Szemeredi's theorem; the celebrated improvements by Gowers translate into slightly stronger statements permitting conclusions for functions possessing slowly growing support as a function of $p$.
On the joint distribution of cyclic valleys and excedances over conjugacy classes of $\mathfrak{S}_{n}$
Published in Advances in Applied Mathematics 115: Article #101999, 15 pp., 2020
• View Publication
• BIB
We derive a formula expressing the joint distribution of the cyclic valley number and excedance number statistics over a fixed conjugacy class of the symmetric group in terms of Eulerian polynomials. Our proof uses a slight extension of Sun and Wang's cyclic valley-hopping action as well as a formula of Brenti. Along the way, we give a new proof for the $γ$-positivity of the excedance number distribution over any fixed conjugacy class along with a combinatorial interpretation of the $γ$-coefficients.
Voronoi conjecture for five-dimensional parallelohedra
Published in Inventiones Mathematicae, 2025
• View Publication
• BIB
We prove the Voronoi conjecture for five-dimensional parallelohedra. Namely, we show that if a convex five-dimensional polytope $P$ tiles $\mathbb R^5$ with translations, then $P$ is an affine image of the Dirichlet-Voronoi polytope for a five-dimensional lattice.
Our proof is based on an exhaustive combinatorial analysis of possible dual 3-cells and incident dual 4-cells encoding local structures around two-dimensional faces of five-dimensional parallelohedron $P$ and their edges aiming to prove existence of a free direction for $P$ paired with new properties established for parallelohedra (in any dimension) that have a free direction that guarantee the Voronoi conjecture for $P$.