Showing 20 papers (Total: 82851 papers, 47869 authors in database)
$A_α$-spectrum of a graph obtained by copies of a rooted graph and applications
Given a connected graph $R$ on $r$ vertices and a rooted graph $H,$ let $R\{H\}$ be the graph obtained from $r$ copies of $H$ and the graph $R$ by identifying the root of the $i-th$ copy of $H$ with the $i-th$ vertex of $R$. Let $0\leqα\leq1,$ and let \[ A_α(G)=αD(G)+(1-α)A(G) \] where $D(G)$ and $A(G)$ are the diagonal matrix of the vertex degrees of $G$ and the adjacency matrix of $G$, respectively. A basic result on the $A_α-$ spectrum of $R\{H\}$ is obtained. This result is used to prove that if $H=B_{k}$ is a generalized Bethe tree on $k$ levels, then the eigenvalues of $A_α(R\{B_{k}\})$ are the eigenvalues of symmetric tridiagonal matrices of order not exceeding $k$; additionally, the multiplicity of each eigenvalue is determined. Finally, applications to a unicyclic graph are given, including an upper bound on the $α-$ spectral radius in terms of the largest vertex degree and the largest height of the trees obtained by removing the edges of the unique cycle in the graph.
Exponential Riordan Arrays and Jacobi elliptic functions
Published
• View Publication
• BIB
This paper establishes relationships between elliptic functions and Riordan arrays leading to new classes of Riordan arrays which here are called elliptic Riordan arrays. In particular, the case of Riordan arrays derived from Jacobi elliptic functions that are parameterized by the elliptic modulus $k$ will be treated here. Some concrete examples of such Riordan arrays are presented via a recursive formula.
Positive definite functions on Coxeter groups with applications to operator spaces and noncommutative probability
Published
• View Publication
• BIB
A new class of positive definite functions related to colour-length function on arbitrary Coxeter group is introduced. Extensions of positive definite functions, called the Riesz-Coxeter product, from the Riesz product on the Rademacher (Abelian Coxeter) group to arbitrary Coxeter group is obtained. Applications to harmonic analysis, operator spaces and noncommutative probability is presented. Characterization of radial and colour-radial functions on dihedral groups and infinite permutation group are shown.
Energy of commuting graph of finite groups whose centralizers are Abelian
Published
• View Publication
• BIB
Let $Γ$ be a graph with the adjacency matrix $A$. The energy of $Γ$ is the sum of the absolute values of the eigenvalues of $A$. In this article we compute the energies of the commuting graphs of some finite groups and discuss some consequences.
The Ising Partition Function: Zeros and Deterministic Approximation
Published
• View Publication
• BIB
We study the problem of approximating the partition function of the ferromagnetic Ising model in graphs and hypergraphs. Our first result is a deterministic approximation scheme (an FPTAS) for the partition function in bounded degree graphs that is valid over the entire range of parameters $β$ (the interaction) and $λ$ (the external field), except for the case $\vertλ\vert=1$ (the "zero-field" case). A randomized algorithm (FPRAS) for all graphs, and all $β,λ$, has long been known. Unlike most other deterministic approximation algorithms for problems in statistical physics and counting, our algorithm does not rely on the "decay of correlations" property. Rather, we exploit and extend machinery developed recently by Barvinok, and Patel and Regts, based on the location of the complex zeros of the partition function, which can be seen as an algorithmic realization of the classical Lee-Yang approach to phase transitions. Our approach extends to the more general setting of the Ising model on hypergraphs of bounded degree and edge size, where no previous algorithms (even randomized) were known for a wide range of parameters. In order to achieve this extension, we establish a tight version of the Lee-Yang theorem for the Ising model on hypergraphs, improving a classical result of Suzuki and Fisher.
Exploring the bounds on the positive semidefinite rank
The nonnegative and positive semidefinite (PSD-) ranks are closely connected to the nonnegative and positive semidefinite extension complexities of a polytope, which are the minimal dimensions of linear and SDP programs which represent this polytope. Though some exponential lower bounds on the nonnegative and PSD- ranks has recently been proved for the slack matrices of some particular polytopes, there are still no tight bounds for these quantities. We explore some existing bounds on the PSD-rank and prove that they cannot give exponential lower bounds on the extension complexity. Our approach consists in proving that the existing bounds are upper bounded by the polynomials of the regular rank of the matrix, which is equal to the dimension of the polytope (up to an additive constant). As one of the implications, we also retrieve an upper bound on the mutual information of an arbitrary matrix of a joint distribution, based on its regular rank.
Improper Colourings inspired by Hadwiger's Conjecture
Published in J. London Math. Society 98.1:129-148, 2018
• View Publication
• BIB
Hadwiger's Conjecture asserts that every $K_t$-minor-free graph has a proper $(t-1)$-colouring. We relax the conclusion in Hadwiger's Conjecture via improper colourings. We prove that every $K_t$-minor-free graph is $(2t-2)$-colourable with monochromatic components of order at most $\lceil{\frac12(t-2)}\rceil$. This result has no more colours and much smaller monochromatic components than all previous results in this direction. We then prove that every $K_t$-minor-free graph is $(t-1)$-colourable with monochromatic degree at most $t-2$. This is the best known degree bound for such a result. Both these theorems are based on a decomposition method of independent interest. We give analogous results for $K_{s,t}$-minor-free graphs, which lead to improved bounds on generalised colouring numbers for these classes. Finally, we prove that graphs containing no $K_t$-immersion are $2$-colourable with bounded monochromatic degree.
Infinite end-devouring sets of rays with prescribed start vertices
Published
• View Publication
• BIB
We prove that every end of a graph contains either uncountably many disjoint rays or a set of disjoint rays that meet all rays of the end and start at any prescribed feasible set of start vertices. This confirms a conjecture of Georgakopoulos.
Partition-theoretic formulas for arithmetic densities
Published
• View Publication
• BIB
If $\gcd(r,t)=1$, then a theorem of Alladi offers the Möbius sum identity $$-\sum_{\substack{ n \geq 2 \\ p_{\rm{min}}(n) \equiv r \pmod{t}}} μ(n)n^{-1}= \frac{1}{\varphi(t)}. $$ Here $p_{\rm{min}}(n)$ is the smallest prime divisor of $n$. The right-hand side represents the proportion of primes in a fixed arithmetic progression modulo $t$. Locus generalized this to Chebotarev densities for Galois extensions. Answering a question of Alladi, we obtain analogs of these results to arithmetic densities of subsets of positive integers using $q$-series and integer partitions. For suitable subsets $§$ of the positive integers with density $d_§$, we prove that \[- \lim_{q \to 1} \sum_{\substack{ λ\in \mathcal{P} \\ \rm{sm}(λ) \in §}} μ_{\mathcal{P}} (λ)q^{\vert λ\vert} = d_§,\] where the sum is taken over integer partitions $λ$, $μ_{\mathcal{P}}(λ)$ is a partition-theoretic Möbius function,
$\vert λ\vert$ is the size of partition $λ$, and $\rm{sm}(λ)$ is the smallest part of $λ$. In particular, we obtain partition-theoretic formulas for even powers of $π$ when considering power-free integers.
Perfect divisibility and 2-divisibility
Published
• View Publication
• BIB
A graph $G$ is said to be $2$-divisible if for all (nonempty) induced subgraphs $H$ of $G$, $V(H)$ can be partitioned into two sets $A,B$ such that $ω(A) < ω(H)$ and $ω(B) < ω(H)$. A graph $G$ is said to be perfectly divisible if for all induced subgraphs $H$ of $G$, $V(H)$ can be partitioned into two sets $A,B$ such that $H[A]$ is perfect and $ω(B) < ω(H)$. We prove that if a graph is $(P_5,C_5)$-free, then it is $2$-divisible. We also prove that if a graph is bull-free and either odd-hole-free or $P_5$-free, then it is perfectly divisible.
Shifting the Phase Transition Threshold for Random Graphs and 2-SAT using Degree Constraints
Published
• View Publication
• BIB
We show that by restricting the degrees of the vertices of a graph to an arbitrary set \( Δ\), the threshold point $ α(Δ) $ of the phase transition for a random graph with $ n $ vertices and $ m = α(Δ) n $ edges can be either accelerated (e.g., $ α(Δ) \approx 0.381 $ for $ Δ= \{0,1,4,5\} $) or postponed (e.g., $ α(\{ 2^0, 2^1, \cdots, 2^k, \cdots \}) \approx 0.795 $) compared to a classical Erdős--Rényi random graph with $ α(\mathbb Z_{\geq 0}) = \tfrac12 $. In particular, we prove that the probability of graph being nonplanar and the probability of having a complex component, goes from $ 0 $ to $ 1 $ as $ m $ passes $ α(Δ) n $. We investigate these probabilities and also different graph statistics inside the critical window of transition (diameter, longest path and circumference of a complex component).
Weighted quasisymmetric enumerator for generalized permutohedra
We introduce a weighted quasisymmetric enumerator function associated to generalized permutohedra. It refines the Billera, Jia and Reiner quasisymmetric function which also includes the Stanley chromatic symmetric function. Beside that it carries information of face numbers of generalized permutohedra. We consider more systematically the cases of nestohedra and matroid base polytopes.
Subspace Designs based on Algebraic Function Fields
Published
• View Publication
• BIB
Subspace designs are a (large) collection of high-dimensional subspaces $\{H_i\}$ of $\F_q^m$ such that for any low-dimensional subspace $W$, only a small number of subspaces from the collection have non-trivial intersection with $W$; more precisely, the sum of dimensions of $W \cap H_i$ is at most some parameter $L$. The notion was put forth by Guruswami and Xing (STOC'13) with applications to list decoding variants of Reed-Solomon and algebraic-geometric codes, and later also used for explicit rank-metric codes with optimal list decoding radius.
Guruswami and Kopparty (FOCS'13, Combinatorica'16) gave an explicit construction of subspace designs with near-optimal parameters. This construction was based on polynomials and has close connections to folded Reed-Solomon codes, and required large field size (specifically $q \ge m$). Forbes and Guruswami (RANDOM'15) used this construction to give explicit constant degree "dimension expanders" over large fields, and noted that subspace designs are a powerful tool in linear-algebraic pseudorandomness.
Here, we construct subspace designs over any field, at the expense of a modest worsening of the bound $L$ on total intersection dimension. Our approach is based on a (non-trivial) extension of the polynomial-based construction to algebraic function fields, and instantiating the approach with cyclotomic function fields. Plugging in our new subspace designs in the construction of Forbes and Guruswami yields dimension expanders over $\F^n$ for any field $\F$, with logarithmic degree and expansion guarantee for subspaces of dimension $Ω(n/(\log \log n))$.
Edge Connectivity, Packing Spanning Trees, and Eigenvalues of Graphs
Published
• View Publication
• BIB
Let $\mathcal{G}$ be the set of simple graphs (or multigraphs) $G$ such that for each $G \in \mathcal{G}$ there exists at least two non-empty disjoint proper subsets $V_{1},V_{2}\subseteq V(G)$ satisfying $V(G)\setminus(V_{1} \cup V_{2})\neq φ$ and edge connectivity $κ'(G)=e(V_{i},V(G)\backslash V_{i})$ for $1\leq i \leq 2$. A multigraph is a graph with possible multiple edges, but no loops. Let $τ(G)$ be the maximum number of edge-disjoint spanning trees of a graph $G$. Motivated by a question of Seymour on the relationship between eigenvalues of a graph $G$ and bounds of $τ(G)$, we mainly give the relationship between the third largest (signless Laplacian) eigenvalue and the bound of $κ'(G)$ and $τ(G)$ of a simple graph or a multigraph $G\in\mathcal{G}$, respectively.
The minimum Q-index of strongly connected bipartite digraphs with complete bipartite subdigraphs
Let $\mathcal{G}_{n,p,q}$ denote the set of strongly connected bipartite digraphs on $n$ vertices which contain a complete bipartite subdigraph $\overleftrightarrow{K_{p,q}}$, where $p, q, n$ are positive integers and $p+q \leq n$. In this paper, we study the Q-index (i.e. the signless Laplacian spectral radius) of $\mathcal{G}_{n,p,q}$, and determine the extremal digraph that has the minimum Q-index.
Independent transversal domination number of a graph
Let $G=(V, E)$ be a graph. A set $S\subseteq V(G)$ is a {\it dominating set} of $G$ if every vertex in $V\setminus S$ is adjacent to a vertex of $S$. The {\it domination number} of $G$, denoted by $γ(G)$, is the cardinality of a minimum dominating set of $G$. Furthermore, a dominating set $S$ is an {\it independent transversal dominating set} of $G$ if it intersects every maximum independent set of $G$. The {\it independent transversal domination number} of $G$, denoted by $γ_{it}(G)$, is the cardinality of a minimum independent transversal dominating set of $G$. In 2012, Hamid initiated the study of the independent transversal domination of graphs, and posed the following two conjectures:
Conjecture 1. If $G$ is a non-complete connected graph on $n$ vertices, then $γ_{it}(G)\leq\lceil\frac{n}{2}\rceil$.
Conjecture 2. If G is a connected bipartite graph, then $γ_{it}(G)$ is either $γ(G)$ or $γ(G)+1$.
We show that Conjecture 1 is not true in general. Very recently, Conjecture 2 is partially verified to be true by Ahangar, Samodivkin, Yero. Here, we prove the full statement of Conjecture 2. In addition, we give a correct version of a theorem of Hamid. Finally, we answer a problem posed by Martínez, Almira, and Yero on the independent transversal total domination of a graph.
Overpartitions Identities Involving Gaps and Weights
In this paper, we find an identity which connects the overpartition function and the function of Rogers--Ramanujan--Gordon type overpartitions by considering the weights and gaps. This identity can be seen as an analogue of the weighted identity of Alladi.
An analytical Lieb-Sokal lemma
A polynomial $p \in \mathbb{R}[z_1, \cdots, z_n]$ is called real stable if it is non-vanishing whenever all the variables take values in the upper half plane. A well known result of Elliott Lieb and Alan Sokal states that if $p$ and $q$ are $n$ variate real stable polynomials, then the polynomial $q(\partial)p := q(\partial_1, \cdots, \partial_n)p$, is real stable as well. In this paper, we prove analytical estimates on the locations on the zeroes of the real stable polynomial $q(\partial)p$ in the case when both $p$ and $q$ are multiaffine, an important special case, owing to connections to negative dependance in discrete probability. As an application, we prove a general estimate on the expected characteristic polynomials upon sampling from Strongly Rayleigh distributions. We then use this to deduce results concerning two classes of polynomials, mixed characteristic polynomials and mixed determinantal polynomials, that are related to the Kadison-Singer problem.
Discrete configuration spaces of squares and hexagons
Published
• View Publication
• BIB
We consider generalizations of the familiar fifteen-piece sliding puzzle on the 4 by 4 square grid. On larger grids with more pieces and more holes, asymptotically how fast can we move the puzzle into the solved state? We also give a variation with sliding hexagons. The square puzzles and the hexagon puzzles are both discrete versions of configuration spaces of disks, which are of interest in statistical mechanics and topological robotics. The combinatorial theorems and proofs in this paper suggest followup questions in both combinatorics and topology, and may turn out to be useful for proving topological statements about configuration spaces.
On monotone circuits with local oracles and clique lower bounds
Published in Chicago Journal of Theoretical Computer Science, vol.2018, nb.1, (March 2018), pp.1-18
• View Publication
• BIB
We investigate monotone circuits with local oracles [K., 2016], i.e., circuits containing additional inputs $y_i = y_i(\vec{x})$ that can perform unstructured computations on the input string $\vec{x}$. Let $μ\in [0,1]$ be the locality of the circuit, a parameter that bounds the combined strength of the oracle functions $y_i(\vec{x})$, and $U_{n,k}, V_{n,k} \subseteq \{0,1\}^m$ be the set of $k$-cliques and the set of complete $(k-1)$-partite graphs, respectively (similarly to [Razborov, 1985]). Our results can be informally stated as follows.
1. For an appropriate extension of depth-$2$ monotone circuits with local oracles, we show that the size of the smallest circuits separating $U_{n,3}$ (triangles) and $V_{n,3}$ (complete bipartite graphs) undergoes two phase transitions according to $μ$.
2. For $5 \leq k(n) \leq n^{1/4}$, arbitrary depth, and $μ\leq 1/50$, we prove that the monotone circuit size complexity of separating the sets $U_{n,k}$ and $V_{n,k}$ is $n^{Θ(\sqrt{k})}$, under a certain restrictive assumption on the local oracle gates.
The second result, which concerns monotone circuits with restricted oracles, extends and provides a matching upper bound for the exponential lower bounds on the monotone circuit size complexity of $k$-clique obtained by Alon and Boppana (1987).