Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Some properties of Cayley signed graphs on finite abelian groups
Published
• View Publication
• BIB
Let $Σ=(Γ, σ)$ is a signed graph(or sigraph in short), where $Γ$ is a underlying graph of $Σ$ and $σ:E\longrightarrow \{+, -\}$ is a function. Consider $Γ=Cay(\mathbb{Z}_{p_{1}}\times \mathbb{Z}_{p_{1}^{α_{1}}p_{2}^{α_{2}} \ldots p_{k}^{α_{k}}}, Φ)$, where all $p_{1}, p_{2}, \ldots, p_{k}$ are distinct prime factors and $Φ=\varphi_{p_{1}}\times\varphi_{p_{1}^{α_{1}}p_{2}^{α_{2}} \ldots p_{k}^{α_{k}}}$. For any positive integer $n$, $\varphi_{n}=\{\ell| 1\leq \ell<n, \gcd(\ell, n)=1\}$. Motivated by \cite{s14}, we will investigate balancing in $Σ$ and $L(Σ)$, clusterability and sign-compatibility of $Σ$.
A note on generalized $q$-difference equations for general Al-Salam--Carlitz polynomials
Published in Advances in Difference Equations (2020)
• View Publication
• BIB
In this paper, we deduce the generalized $q$-difference equations for general Al-Salam--Carlitz polynomials and generalize Arjika's recently results [$q$-difference equation for homogeneous $q$-difference operators and their applications, J. Differ. Equ. Appl. {\bf 26}, 987--999 (2020)]. In addition, we obtain transformational identities by the method of $q$-difference equation. Moreover, we deduce $U(n+1)$ type generating functions and Ramanujan's integrals involving general Al-Salam--Carlitz polynomials by $q$-difference equation.
Enumeration of Various Animals on the Triangular Lattice
Published
• View Publication
• BIB
In this paper, we consider various classes of polyiamonds that are animals residing on the triangular lattice. By careful analyses through certain layer-by-layer decompositions and cell pruning/growing arguments, we derive explicit forms for the generating functions of the number of nonempty translation-invariant baryiamonds (bargraphs in the triangular lattice), column-convex polyiamonds, and convex polyiamonds with respect to their perimeter. In particular, we show that the number of
(A) baryiamonds of perimeter $n$ is asymptotically $$\frac{(ξ+1)^2\sqrt{ξ^4+ξ^3-2ξ+1}}{2\sqrt{πn^3}}ξ^{-n-2},$$ where $ξ$ is a root of a certain explicit polynomial of degree 5.
(B) column-convex polyiamonds of perimeter $n$ is asymptotic to $$\frac{(17997809\sqrt{17}+3^3\cdot13\cdot175463)\sqrt{95\sqrt{17}-119}}{2^7\cdot43^2\cdot 89^2\sqrt{6πn^3}}\left(\frac{3+\sqrt{17}}{2}\right)^{n-1}.$$
(C) convex polyiamonds of perimeter $n$ is asymptotic to $$\frac{1280}{441\sqrt{3πn^3}}3^n.$$
Decompositions of quasirandom hypergraphs into hypergraphs of bounded degree
Published
• View Publication
• BIB
We prove that any quasirandom uniform hypergraph $H$ can be approximately decomposed into any collection of bounded degree hypergraphs with almost as many edges. In fact, our results also apply to multipartite hypergraphs and even to the sparse setting when the density of $H$ quickly tends to $0$ in terms of the number of vertices of $H$. Our results answer and address questions of Kim, Kühn, Osthus and Tyomkyn; and Glock, Kühn and Osthus as well as Keevash.
The provided approximate decompositions exhibit strong quasirandom properties which is very useful for forthcoming applications. Our results also imply approximate solutions to natural hypergraph versions of long-standing graph decomposition problems, as well as several decomposition results for (quasi)random simplicial complexes into various more elementary simplicial complexes such as triangulations of spheres and other manifolds.
From Italian domination in lexicographic product graphs to w-domination in graphs
Published
• View Publication
• BIB
In this paper, we show that the Italian domination number of every lexicographic product graph $G\circ H$ can be expressed in terms of five different domination parameters of $G$. These parameters can be defined under the following unified approach, which encompasses the definition of several well-known domination parameters and introduces new ones. Let $N(v)$ denote the open neighbourhood of $v\in V(G)$, and let $w=(w_0,w_1, \dots,w_l)$ be a vector of nonnegative integers such that $ w_0\ge 1$. We say that a function $f: V(G)\longrightarrow \{0,1,\dots ,l\}$ is a $w$-dominating function if $f(N(v))=\sum_{u\in N(v)}f(u)\ge w_i$ for every vertex $v$ with $f(v)=i$. The weight of $f$ is defined to be $ω(f)=\sum_{v\in V(G)} f(v)$. The $w$-domination number of $G$, denoted by $γ_{w}(G)$, is the minimum weight among all $w$-dominating functions on $G$. If we impose restrictions on the minimum degree of $G$ when needed, under this approach we can define, for instance, the domination number, the total domination number, the $k$-domination number, the $k$-tuple domination number, the $k$-tuple total domination number, the Italian domination number, the total Italian domination number, and the $\{k\}$-domination number. Specifically, we show that $γ_{I}(G\circ H)=γ_{w}(G)$, where $w\in \{2\}\times\{0,1,2\}^{l}$ and $l\in \{2,3\}$. The decision on whether the equality holds for specific values of $w_0,\dots,w_l$ will depend on the value of the domination number of $H$. This paper also provides preliminary results on $γ_{w}(G)$ and raises the challenge of conducting a detailed study of the topic.
Improving the Quantum Approximate Optimization Algorithm with postselection
Combinatorial optimization is among the main applications envisioned for near-term and fault-tolerant quantum computers. In this work, we consider a well-studied quantum algorithm for combinatorial optimization: the Quantum Approximate Optimization Algorithm (QAOA) applied to the MaxCut problem on 3-regular graphs. We explore the idea of improving the solutions returned by the simplest version of the algorithm (depth-1 QAOA) using a form of postselection that can be efficiently simulated by state preparation. We derive theoretical upper and lower bounds showing that a constant (though small) increase of the fraction of satisfied edges is indeed achievable. Numerical experiments on large problem instances (beyond classical simulatability) complement and support our bounds. We also consider a distinct technique: local updates, which can be applied not only to QAOA but any optimization algorithm. In the case of QAOA, the resulting improvement can be sharply quantified theoretically for large problem instances and in absence of postselection. Combining postselection and local updates, the theory is no longer tractable but numerical evidence suggests that improvements from both methods can be combined.
On the classification of quaternary optimal Hermitian LCD codes
Published
• View Publication
• BIB
We propose a method for a classification of quaternary Hermitian LCD codes having large minimum weights. As an example, we give a classification of quaternary optimal Hermitian LCD codes of dimension 3.
Stack-number is not bounded by queue-number
Published in Combinatorica 42: 151-164, 2022
• View Publication
• BIB
We describe a family of graphs with queue-number at most 4 but unbounded stack-number. This resolves open problems of Heath, Leighton and Rosenberg (1992) and Blankenship and Oporowski (1999).
On general subtrees of a conditioned Galton-Watson tree
Published
• View Publication
• BIB
We show that the number of copies of a given rooted tree in a conditioned Galton-Watson tree satisfies a law of large numbers under a minimal moment condition on the offspring distribution.
On the Index of Diffie-Hellman Mapping
Let $γ$ be a generator of a cyclic group $G$ of order $n$. The least index of a self-mapping $f$ of $G$ is the index of the largest subgroup $U$ of $G$ such that $f(x)x^{-r}$ is constant on each coset of $U$ for some positive integer~$r$. We determine the index of the univariate Diffie-Hellman mapping $d(γ^a)=γ^{a^2}$, $a=0,1,\ldots,n-1$, and show that any mapping of small index coincides with~$d$ only on a small subset of $G$. Moreover, we prove similar results for the bivariate Diffie-Hellman mapping $D(γ^a,γ^b)=γ^{ab}$, $a,b=0,1,\ldots,n-1$. In the special case that $G$ is a subgroup of the multiplicative group of a finite field we present improvements.
Total domination in plane triangulations
Published in Discrete Math. 344 (2021) 112179
• View Publication
• BIB
A total dominating set of a graph $G=(V,E)$ is a subset $D$ of $V$ such that every vertex in $V$ is adjacent to at least one vertex in $D$. The total domination number of $G$, denoted by $γ_t (G)$, is the minimum cardinality of a total dominating set of $G$. A near-triangulation is a biconnected planar graph that admits a plane embedding such that all of its faces are triangles except possibly the outer face. We show in this paper that $γ_t (G) \le \lfloor \frac{2n}{5}\rfloor$ for any near-triangulation $G$ of order $n\ge 5$, with two exceptions.
Accordion graphs: Hamiltonicity, matchings and isomorphism with quartic circulants
Published in Discrete Appl. Math. 321, 126--137 (2022). Share Link: https://authors.elsevier.com/a/1fMgB,3nuHoyIV
• View Publication
• BIB
Let $G$ be a graph of even order and let $K_{G}$ be the complete graph on the same vertex set of $G$. A pairing of a graph $G$ is a perfect matching of the graph $K_{G}$. A graph $G$ has the Pairing-Hamiltonian property (for short, the PH-property) if for each one of its pairings, there exists a perfect matching of $G$ such that the union of the two gives rise to a Hamiltonian cycle of $K_G$. In 2015, Alahmadi \emph{et al.} gave a complete characterisation of the cubic graphs having the PH-property. Most naturally, the next step is to characterise the quartic graphs that have the PH-property. In this work we propose a class of quartic graphs on two parameters, $n$ and $k$, which we call the class of accordion graphs $A[n,k]$. We show that an infinite family of quartic graphs (which are also circulant) that Alahmadi \emph{et al.} stated to have the PH-property are, in fact, members of this general class of accordion graphs. We also study the PH-property of this class of accordion graphs, at times considering the pairings of $G$ which are also perfect matchings of $G$. Furthermore, there is a close relationship between accordion graphs and the Cartesian product of two cycles. Motivated by a recent work by Bogdanowicz (2015), we give a complete characterisation of those accordion graphs that are circulant graphs. In fact, we show that $A[n,k]$ is not circulant if and only if both $n$ and $k$ are even, such that $k\geq 4$.
The maximal number of $3$-term arithmetic progressions in finite sets in different geometries
Published in Discrete and Computational Geometry, Volume 69 (2023), Issue 2, 543-567
• View Publication
• BIB
Green and Sisask showed that the maximal number of $3$-term arithmetic progressions in $n$-element sets of integers is $\lceil n^2/2\rceil$; it is easy to see that the same holds if the set of integers is replaced by the real line or by any Euclidean space. We study this problem in general metric spaces, where a triple $(a,b,c)$ of points in a metric space is considered a $3$-term arithmetic progression if $d(a,b)=d(b,c)=\frac{1}{2}d(a,c)$. In particular, we show that the result of Green and Sisask extends to any Cartan--Hadamard manifold (in particular, to the hyperbolic spaces), but does not hold in spherical geometry or in the $r$-regular tree, for any $r\geq 3$.
Intersecting and $2$-intersecting hypergraphs with maximal covering number: the Erdős-Lovász theme revisited
Published in Journal of Combinatorial Designs, Vol 29, issue 3, 193-209, (2021)
• View Publication
• BIB
Erdős and Lovász noticed that an $r$-uniform intersecting hypergraph $H$ with maximal covering number, that is $τ(H)=r$, must have at least $\frac{8}{3}r-3$ edges. There has been no improvement on this lower bound for 45 years. We try to understand the reason by studying some small cases to see whether the truth lies very close to this simple bound. Let $q(r)$ denote the minimum number of edges in an intersecting $r$-uniform hypergraph. It was known that $q(3)=6$ and $q(4)=9$. We obtain the following new results: The extremal example for uniformity 4 is unique. Somewhat surprisingly it is not symmetric by any means. For uniformity 5, $q(5)=13$, and we found 3 examples, none of them being some known graph. We use both theoretical arguments and computer searches. In the footsteps of Erdős and Lovász, we also consider the special case, when the hypergraph is part of a finite projective plane. We determine the exact answer for $r\in \{3,4,5,6\}$. For uniformity 6, there is a unique extremal example.
In a related question, we try to find $2$-intersecting $r$-uniform hypergraphs with maximal covering number, that is $τ(H)=r-1$. An infinite family of examples is to take all possible $r$-sets of a $(2r-2)$-vertex set. There is also a geometric candidate: biplanes. These are symmetric 2-designs with $λ=2$. We determined that only 3 biplanes of the 18 known examples are extremal.
Improved List-Decodability of Reed--Solomon Codes via Tree Packings
Published
• View Publication
• BIB
This paper shows that there exist Reed--Solomon (RS) codes, over \black{exponentially} large finite fields \black{in the code length}, that are combinatorially list-decodable well beyond the Johnson radius, in fact almost achieving the list-decoding capacity.
In particular, we show that for any $ε\in (0,1]$ there exist RS codes with rate $Ω(\fracε{\log(1/ε)+1})$ that are list-decodable from radius of $1-ε$. We generalize this result to list-recovery, showing that there exist $(1 - ε, \ell, O(\ell/ε))$-list-recoverable RS codes with rate $Ω\left( \fracε{\sqrt{\ell} (\log(1/ε)+1)} \right)$. Along the way we use our techniques to give a new proof of a result of Blackburn on optimal linear perfect hash matrices, and strengthen it to obtain a construction of strongly perfect hash matrices.
To derive the results in this paper we show a surprising connection of the above problems to graph theory, and in particular to the tree packing theorem of Nash-Williams and Tutte. We also state a new conjecture that generalizes the tree-packing theorem to hypergraphs, and show that if this conjecture holds, then there would exist RS codes that are \em optimally \em (non-asymptotically) list-decodable.
Balanced Crown Decomposition for Connectivity Constraints
We introduce the balanced crown decomposition that captures the structure imposed on graphs by their connected induced subgraphs of a given size. Such subgraphs are a popular modeling tool in various application areas, where the non-local nature of the connectivity condition usually results in very challenging algorithmic tasks. The balanced crown decomposition is a combination of a crown decomposition and a balanced partition which makes it applicable to graph editing as well as graph packing and partitioning problems. We illustrate this by deriving improved kernelization and approximation algorithms for a variety of such problems. In particular, through this structure, we obtain the first constant-factor approximation for the Balanced Connected Partition (BCP) problem, where the task is to partition a vertex-weighted graph into $k$ connected components of approximately equal weight. We derive a 3-approximation for the two most commonly used objectives of maximizing the weight of the lightest component or minimizing the weight of the heaviest component.
Nondegenerate Neural Codes and Obstructions to Closed-Convexity
Published
• View Publication
• BIB
Previous work on convexity of neural codes has produced codes that are open-convex but not closed-convex -- or vice-versa. However, why a code is one but not the other, and how to detect such discrepancies are open questions. We tackle these questions in two ways. First, we investigate the concept of degeneracy introduced by Cruz et al., and extend their results to show that nondegeneracy precisely captures the situation when taking closures or interiors of open or closed realizations, respectively, yields another realization of the code. Second, we give the first general criteria for precluding a code from being closed-convex (without ruling out open-convexity), unifying ad-hoc geometric arguments in prior works. One criterion is built on a phenomenon we call a rigid structure, while the other can be stated algebraically, in terms of the neural ideal of the code. These results complement existing criteria having the opposite purpose: precluding open-convexity but not closed-convexity. Finally, we show that a family of codes shown by Jeffs to be not open-convex is in fact closed-convex and realizable in dimension two.
Large deviations of the greedy independent set algorithm on sparse random graphs
Published in Random Struct. Algorithms 61, No. 2, 353-363 (2022)
• View Publication
• BIB
We study the greedy independent set algorithm on sparse Erdős-Rényi random graphs ${\mathcal G}(n,c/n)$. This range of $p$ is of interest due to the threshold at $c=e$, beyond which it appears that greedy algorithms are affected by a sudden change in the independent set landscape. A large deviation principle was recently established by Bermolen et al. (2020), however, the proof and rate function are somewhat involved. Upper bounds for the rate function were obtained earlier by Pittel (1982). By discrete calculus, we identify the optimal trajectory realizing a given large deviation and obtain the rate function in a simple closed form. In particular, we show that Pittel's bounds are sharp. The proof is brief and elementary. We think the methods presented here will be useful in analyzing the tail behavior of other random growth and exploration processes.
High Dimensional Expanders: Eigenstripping, Pseudorandomness, and Unique Games
Published
• View Publication
• BIB
Higher order random walks (HD-walks) on high dimensional expanders (HDX) have seen an incredible amount of study and application since their introduction by Kaufman and Mass [KM16], yet their broader combinatorial and spectral properties remain poorly understood. We develop a combinatorial characterization of the spectral structure of HD-walks on two-sided local-spectral expanders [DK17], which offer a broad generalization of the well-studied Johnson and Grassmann graphs. Our characterization, which shows that the spectra of HD-walks lie tightly concentrated in a few combinatorially structured strips, leads to novel structural theorems such as a tight $\ell_2$-characterization of edge-expansion, as well as to a new understanding of local-to-global algorithms on HDX.
Towards the latter, we introduce a spectral complexity measure called Stripped Threshold Rank, and show how it can replace the (much larger) threshold rank in controlling the performance of algorithms on structured objects. Combined with a sum-of-squares proof of the former $\ell_2$-characterization, we give a concrete application of this framework to algorithms for unique games on HD-walks, in many cases improving the state of the art [RBS11, ABS15] from nearly-exponential to polynomial time (e.g. for sparsifications of Johnson graphs or of slices of the $q$-ary hypercube). Our characterization of expansion also holds an interesting connection to hardness of approximation, where an $\ell_\infty$-variant for the Grassmann graphs was recently used to resolve the 2-2 Games Conjecture [KMS18]. We give a reduction from a related $\ell_\infty$-variant to our $\ell_2$-characterization, but it loses factors in the regime of interest for hardness where the gap between $\ell_2$ and $\ell_\infty$ structure is large. Nevertheless, we open the door for further work on the use of HDX in hardness of approximation and unique games.
On the 2-colorability of random hypergraphs
Published in Proc. 6th Intl. Workshop on Randomization and Approximation Techniques in Computer Science (RANDOM '02) 78-90 (2002)
• View Publication
• BIB
A 2-coloring of a hypergraph is a mapping from its vertices to a set of two colors such that no edge is monochromatic. Let $H_k(n,m)$ be a random $k$-uniform hypergraph on $n$ vertices formed by picking $m$ edges uniformly, independently and with replacement. It is easy to show that if $r \geq r_c = 2^{k-1} \ln 2 - (\ln 2) /2$, then with high probability $H_k(n,m=rn)$ is not 2-colorable. We complement this observation by proving that if $r \leq r_c - 1$ then with high probability $H_k(n,m=rn)$ is 2-colorable.