Showing 20 papers (Total: 84253 papers, 48533 authors in database)
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).
On the gonality, treewidth, and orientable genus of a graph
We examine connections between the gonality, treewidth, and orientable genus of a graph. Especially, we find that hyperelliptic graphs in the sense of Baker and Norine are planar. We give a notion of a bielliptic graph and show that each of these must embed into a closed orientable surface of genus one. We also find, for all $g\ge 0$, trigonal graphs of treewidth 3 and orientable genus $g$, and give analogues for graphs of higher gonality.
Complexity of the Fourier transform on the Johnson graph
The set $X$ of $k$-subsets of an $n$-set has a natural graph structure where two $k$-subsets are connected if and only if the size of their intersection is $k-1$. This is known as the Johnson graph. The symmetric group $S_n$ acts on the space of complex functions on $X$ and this space has a multiplicity-free decomposition as sum of irreducible representations of $S_n$, so it has a well-defined Gelfand-Tsetlin basis up to scalars. The Fourier transform on the Johnson graph is defined as the change of basis matrix from the delta function basis to the Gelfand-Tsetlin basis.
The direct application of this matrix to a generic vector requires $\binom{n}{k}^2$ arithmetic operations. We show that --in analogy with the classical Fast Fourier Transform on the discrete circle-- this matrix can be factorized as a product of $n-1$ orthogonal matrices, each one with at most two nonzero elements in each column. This factorization shows that the number of arithmetic operations required to apply this matrix to a generic vector is bounded above by $2(n-1) \binom{n}{k}$. As a consequence, we show that the problem of computing all the weights of the irreducible components of a given function can be solved in $O(n \binom{n}{k})$ operations, improving the previous bound $O(k^2 \binom{n}{k})$ when $k$ asymptotically dominates $\sqrt{n}$ in a non-uniform model of computation. The same improvement is achieved for the problem of computing the isotypic projection onto a single component.
The proof is based on the construction of $n-1$ intermediate bases, each one parametrized by certain pairs composed by a standard Young tableau and a word. The parametrization of each basis is obtained via the Robinson-Schensted insertion algorithm.
k-Majority Digraphs and the Hardness of Voting with a Constant Number of Voters
Published
• View Publication
• BIB
Many hardness results in computational social choice make use of the fact that every directed graph may be induced as the pairwise majority relation of some preference profile. However, this fact requires a number of voters that is almost linear in the number of alternatives. It is therefore unclear whether these results remain intact when the number of voters is bounded, as is, for example, typically the case in search engine aggregation settings. In this paper, we provide a systematic study of majority digraphs for a constant number of voters resulting in analytical, experimental, and complexity-theoretic insights. First, we characterize the set of digraphs that can be induced by two and three voters, respectively, and give sufficient conditions for larger numbers of voters. Second, we present a surprisingly efficient implementation via SAT solving for computing the minimal number of voters that is required to induce a given digraph and experimentally evaluate how many voters are required to induce the majority digraphs of real-world and generated preference profiles. Finally, we leverage our sufficient conditions to show that the winner determination problem of various well-known voting rules remains hard even when there is only a small constant number of voters. In particular, we show that Kemeny's rule is hard to evaluate for 7 voters, while previous methods could only establish such a result for constant even numbers of voters.
Graph Invariants with Connections to the Feynman Period in $φ^4$ Theory
Feynman diagrams in $φ^4$ theory have as their underlying structure 4-regular graphs. In particular, any 4-point $φ^4$ graph can be uniquely derived from a 4-regular graph by deleting a vertex. The Feynman period is a simplified version of the Feynman integral, and is of special interest, as it maintains much of the important number theoretic information from the Feynman integral. It is also of structural interest, as it is known to be preserved by a number of graph theoretic operations. In particular, the vertex deleted in constructing the 4-point graph does not affect the Feynman period, and it is invariant under planar duality and the Schnetz twist, an operation that redirects edges incident to a 4-vertex cut. Further, a 4-regular graph may be produced by a 3-sum operation on triangles in two 4-regular graphs. The Feynman period of this graph with a vertex deleted is equal to the product of the Feynman periods of the two smaller graphs with one vertex deleted each. These operations currently explain all known instances of non-isomorphic 4-point $φ^4$ graphs with equal periods.
With this in mind, other graph invariants that are preserved by these operations for 4-point $φ^4$ graphs are of interest, as they may provide insight into the Feynman period. In this thesis the extended graph permanent is introduced; an infinite sequence of residues from prime order finite fields. It is shown that this sequence is preserved by these three operations, and has a product property. Additionally, computational techniques will be established, and an alternate interpretation will be presented as the point count of a novel graph polynomial.
Further, the previously existing $c_2$ invariant and Hepp bound are examined, two graph invariants that are conjectured to be preserved by these graph operations. A combinatorial approach to the $c_2$ invariant is introduced.
On the growth of a superlinear preferential attachment scheme
Published
• View Publication
• BIB
We consider an evolving preferential attachment random graph model where at discrete times a new node is attached to an old node, selected with probability proportional to a superlinear function of its degree. For such schemes, it is known that the graph evolution condenses, that is a.s. in the limit graph there will be a single random node with infinite degree, while all others have finite degree.
In this note, we establish a.s. law of large numbers type limits and fluctuation results, as $n\uparrow\infty$, for the counts of the number of nodes with degree $k\geq 1$ at time $n\geq 1$. These limits rigorously verify and extend a physical picture of Krapivisky, Redner and Leyvraz (2000) on how the condensation arises with respect to the degree distribution.
Periodicity and integrability for the cube recurrence
Published
• View Publication
• BIB
Zamolodchikov periodicity is a property of $T$- and $Y$-systems, arising in the thermodynamic Bethe ansatz. Zamolodchikov integrability was recently considered as its affine analog in our joint work with P. Pylyavskyy. Here we prove periodicity and integrability for similar discrete dynamical systems based on the cube recurrence, also known as the discrete BKP equation. The periodicity part was conjectured by Henriques in 2007.
Proof of Chapoton's conjecture on Newton polygons of $q$-Ehrhart polynomials
Published
• View Publication
• BIB
Recently, Chapoton found a $q$-analog of Ehrhart polynomials, which are polynomials in $x$ whose coefficients are rational functions in $q$. Chapoton conjectured the shape of the Newton polygon of the numerator of the $q$-Ehrhart polynomial of an order polytope. In this paper, we prove Chapoton's conjecture.
Characterizations and algorithms for generalized Cops and Robbers games
Published
• View Publication
• BIB
We propose a definition of generalized Cops and Robbers games where there are two players, the Pursuer and the Evader, who each move via prescribed rules. If the Pursuer can ensure that the game enters into a fixed set of final positions, then the Pursuer wins; otherwise, the Evader wins. A relational characterization of the games where the Pursuer wins is provided. A precise formula is given for the length of the game, along with an algorithm for computing if the Pursuer has a winning strategy whose complexity is a function of the parameters of the game. For games where the position of one player does not affect the available moves of he other, a vertex elimination ordering characterization, analogous to a cop-win ordering, is given for when the Pursuer has a winning strategy.
Common adversaries form alliances: modelling complex networks via anti-transitivity
Published
• View Publication
• BIB
Anti-transitivity captures the notion that enemies of enemies are friends, and arises naturally in the study of adversaries in social networks and in the study of conflicting nation states or organizations. We present a simplified, evolutionary model for anti-transitivity influencing link formation in complex networks, and analyze the model's network dynamics. The Iterated Local Anti-Transitivity (or ILAT) model creates anti-clone nodes in each time-step, and joins anti-clones to the parent node's non-neighbor set. The graphs generated by ILAT exhibit familiar properties of complex networks such as densification, short distances (bounded by absolute constants), and bad spectral expansion. We determine the cop and domination number for graphs generated by ILAT, and finish with an analysis of their clustering coefficients. We interpret these results within the context of real-world complex networks and present open problems.
Automorphism group of the subspace inclusion graph of a vector space
Published
• View Publication
• BIB
In a recent paper [Comm. Algebra, 44(2016) 4724-4731], Das introduced the graph $\mathcal{I}n(\mathbb{V})$, called subspace inclusion graph on a finite dimensional vector space $\mathbb{V}$, where the vertex set is the collection of nontrivial proper subspaces of $\mathbb{V}$ and two vertices are adjacent if one is properly contained in another. Das studied the diameter, girth, clique number, and chromatic number of $\mathcal{I}n(\mathbb{V})$ when the base field is arbitrary, and he also studied some other properties of $\mathcal{I}n(\mathbb{V})$ when the base field is finite. In this paper, the automorphisms of $\mathcal{I}n(\mathbb{V})$ are determined when the base field is finite.
Evolution of high-order connected components in random hypergraphs
Published in Electronic Notes in Discrete Mathematics 49 (2015) 569-575
• View Publication
• BIB
We consider high-order connectivity in $k$-uniform hypergraphs defined as follows: Two $j$-sets are $j$-connected if there is a walk of edges between them such that two consecutive edges intersect in at least $j$ vertices. We describe the evolution of $j$-connected components in the $k$-uniform binomial random hypergraph $\mathcal{H}^k(n,p)$. In particular, we determine the asymptotic size of the giant component shortly after its emergence and establish the threshold at which the $\mathcal{H}^k(n,p)$ becomes $j$-connected with high probability. We also obtain a hitting time result for the related random hypergraph process $\{\mathcal{H}^k(n,M)\}_M$ -- the hypergraph becomes $j$-connected exactly at the moment when the last isolated $j$-set disappears. This generalises well-known results for graphs and vertex-connectivity in hypergraphs.
A Catalan Subset of Descending Plane Partitions
Descending plane partitions, alternating sign matrices, and totally symmetric self-complementary plane partitions are equinumerous combinatorial sets for which no explicit bijection is known. In this paper, we isolate a subset of descending plane partitions counted by the Catalan numbers. The proof follows by constructing a generating tree on these descending plane partitions that has the same structure as the generating tree for 231-avoiding permutations. We hope this result will provide insight on the search for a bijection with alternating sign matrices and/or totally symmetric self-complementary plane partitions, since these also contain Catalan subsets.
d-Complete posets: local structural axioms, properties, and equivalent definitions
Published
• View Publication
• BIB
Although d-complete posets arose along the interface between algebraic combinatorics and Lie theory, they are defined using only requirements on their local structure. These posets are a mutual generalization of rooted trees, shapes, and shifted shapes. They possess Stanley's hook product property for their P-partition generating functions and Schutzenberger's well defined jeu de taquin rectification property. The original definition of d-complete poset was lengthy, but more succinct definitions were later developed. Here several definitions are shown to be equivalent. The basic properties of d-complete posets are summarized. Background and a partial bibliography for these posets is given.