Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Coloring graphs with dense neighborhoods
Published
• View Publication
• BIB
It is shown that any graph with maximum degree $Δ$ in which the average degree of the induced subgraph on the set of all neighbors of any vertex exceeds $\frac{6k^2}{6k^2 + 1}Δ+ k + 6$ is either $(Δ- k)$-colorable or contains a clique on more than $Δ- 2k$ vertices. In the $k=1$ case we improve the bound on the average degree to $\frac23Δ+ 4$ and the bound on the clique number to $Δ-1$. As corollaries, we show that every graph satisfies $χ\leq \max\set{ω, Δ- 1, 4α}$ and every graph satisfies $χ\leq \max\set{ω, Δ- 1, \ceil{\frac{15 + \sqrt{48n + 73}}{4}}}$.
Basis problem for analytic multiple gaps
A k-gap is a finite k-sequence of pairwise disjoint monotone families of infinite subsets of N mixed in such a way that we cannot find a partition of N such that each family is trival on one piece of the partition. We prove that, relative to the comparison given by restriction to infinite subsets of N, for every positive integer k there is a finite basis for the class of all analytic k-gaps . We also build the fine structure theory of analytic k-gaps and give some applications.
The content of Chapter 1 of this manuscript have been published as:
A. Avilés, S. Todorcevic, Finite basis for analytic multiple gaps, Publ. Math. IHES. 121 (2015), 57-79.
The content of Chapter 2 (except some technical results from 2.5 and 2.6) and Section 3.1, largely revised and improved, has ben published as:
A. Avilés, S. Todorcevic, Types in the n-adic tree and minimal analytic gaps, Adv. Math. 292 (2016), 558-600.
The content of Sections 3.4, 4.1 and 4.3 have been published as:
A. Avilés, S. Todorcevic, Isolating subgaps of a multiple gap, Monatsh. Math. 186 (2018), 373--392.
The rest of contents may appear elsewhere.
The Maximum Traveling Salesman Problem with Submodular Rewards
Published
• View Publication
• BIB
In this paper, we look at the problem of finding the tour of maximum reward on an undirected graph where the reward is a submodular function, that has a curvature of $κ$, of the edges in the tour. This problem is known to be NP-hard. We analyze two simple algorithms for finding an approximate solution. Both algorithms require $O(|V|^3)$ oracle calls to the submodular function. The approximation factors are shown to be $\frac{1}{2+κ}$ and $\max\set{\frac{2}{3(2+κ)},2/3(1-κ)}$, respectively; so the second method has better bounds for low values of $κ$. We also look at how these algorithms perform for a directed graph and investigate a method to consider edge costs in addition to rewards. The problem has direct applications in monitoring an environment using autonomous mobile sensors where the sensing reward depends on the path taken. We provide simulation results to empirically evaluate the performance of the algorithms.
On the spectral moment of graphs with given clique number
Published
• View Publication
• BIB
Let $\mathscr{L}_{n,t}$ be the set of all $n$-vertex connected graphs with clique number $t$\,($2\leq t\leq n)$. For $n$-vertex connected graphs with given clique number, lexicographic ordering by spectral moments ($S$-order) is discussed in this paper. The first $\sum_{i=1}^{\lfloor\frac{n-t-1}{3}\rfloor}(n-t-3i)+1$ graphs with $3\le t\le n-4$, and the last few graphs, in the $S$-order, among $\mathscr{L}_{n,t}$ are characterized. In addition, all graphs in $\mathscr{L}_{n,n}\bigcup\mathscr{L}_{n,n-1}$ have an $S$-order; for the cases $t=n-2$ and $t=n-3$ the first three and the first seven graphs in the set $\mathscr{L}_{n,t}$ are characterized, respectively.
On the number of connected components in complements to arrangements of submanifolds
We consider arrangements of n connected codimensional one submanifolds in closed d-dimensional manifold M. Let f be the number of connected components of the complement in M to the union of submanifolds. We prove the sharp lower bound for f via n and homology group H_{d-1}(M). The sets of all possible f-values for given n are studied for hyperplane arrangements in real projective spaces and for subtori arrangements in d-dimensional tori.
A framework for large-scale distributed AI search across disconnected heterogeneous infrastructures
Published
• View Publication
• BIB
We present a framework for a large-scale distributed eScience Artificial Intelligence search. Our approach is generic and can be used for many different problems. Unlike many other approaches, we do not require dedicated machines, homogeneous infrastructure or the ability to communicate between nodes. We give special consideration to the robustness of the framework, minimising the loss of effort even after total loss of infrastructure, and allowing easy verification of every step of the distribution process. In contrast to most eScience applications, the input data and specification of the problem is very small, being easily given in a paragraph of text. The unique challenges our framework tackles are related to the combinatorial explosion of the space that contains the possible solutions and the robustness of long-running computations. Not only is the time required to finish the computations unknown, but also the resource requirements may change during the course of the computation. We demonstrate the applicability of our framework by using it to solve a challenging and hitherto open problem in computational mathematics. The results demonstrate that our approach easily scales to computations of a size that would have been impossible to tackle in practice just a decade ago.
On the Spectra of Simplicial Rook Graphs
Published
• View Publication
• BIB
The \emph{simplicial rook graph} SR(d,n) is the graph whose vertices are the lattice points in the $n$th dilate of the standard simplex in $\mathbb{R}^d$, with two vertices adjacent if they differ in exactly two coordinates. We prove that the adjacency and Laplacian matrices of SR(3,n) have integral spectrum for every $n$. The proof proceeds by calculating an explicit eigenbasis. We conjecture that SR(d,n) is integral for all $d$ and $n$, and present evidence in support of this conjecture. For $n<\binom{d}{2}$, the evidence indicates that the smallest eigenvalue of the adjacency matrix is $-n$, and that the corresponding eigenspace has dimension given by the Mahonian numbers, which enumerate permutations by number of inversions.
Homology of Littlewood complexes
Published in Selecta Math. (N.S.) 19 (2013), no. 3, 655-698
• View Publication
• BIB
Let V be a symplectic vector space of dimension 2n. Given a partition λwith at most n parts, there is an associated irreducible representation S_{[λ]}(V) of Sp(V). This representation admits a resolution by a natural complex L^λ, which we call the Littlewood complex, whose terms are restrictions of representations of GL(V). When λhas more than n parts, the representation S_{[λ]}(V) is not defined, but the Littlewood complex L^λstill makes sense. The purpose of this paper is to compute its homology. We find that either L^λis acyclic or that it has a unique non-zero homology group, which forms an irreducible representation of Sp(V). The non-zero homology group, if it exists, can be computed by a rule reminiscent of that occurring in the Borel-Weil-Bott theorem. This result can be interpreted as the computation of the "derived specialization" of irreducible representations of Sp(\infty), and as such categorifies earlier results of Koike-Terada on universal character rings. We prove analogous results for orthogonal and general linear groups. Along the way, we will see two topics from commutative algebra: the minimal free resolutions of determinantal ideals and Koszul homology.
Eight-Fifth Approximation for TSP Paths
Published in International Conference on Integer Programming and Combinatorial Optimization IPCO 2013, Lecture Notes in Computer Science, vol 7801. Springer, Berlin, Heidelberg, pp 362-374
• View Publication
• BIB
We prove the approximation ratio 8/5 for the metric $\{s,t\}$-path-TSP problem, and more generally for shortest connected $T$-joins.
The algorithm that achieves this ratio is the simple "Best of Many" version of Christofides' algorithm (1976), suggested by An, Kleinberg and Shmoys (2012), which consists in determining the best Christofides $\{s,t\}$-tour out of those constructed from a family $\Fscr_{>0}$ of trees having a convex combination dominated by an optimal solution $x^*$ of the fractional relaxation. They give the approximation guarantee $\frac{\sqrt{5}+1}{2}$ for such an $\{s,t\}$-tour, which is the first improvement after the 5/3 guarantee of Hoogeveen's Christofides type algorithm (1991). Cheriyan, Friggstad and Gao (2012) extended this result to a 13/8-approximation of shortest connected $T$-joins, for $|T|\ge 4$.
The ratio 8/5 is proved by simplifying and improving the approach of An, Kleinberg and Shmoys that consists in completing $x^*/2$ in order to dominate the cost of "parity correction" for spanning trees. We partition the edge-set of each spanning tree in $\Fscr_{>0}$ into an $\{s,t\}$-path (or more generally, into a $T$-join) and its complement, which induces a decomposition of $x^*$. This decomposition can be refined and then efficiently used to complete $x^*/2$ without using linear programming or particular properties of $T$, but by adding to each cut deficient for $x^*/2$ an individually tailored explicitly given vector, inherent in $x^*$.
A simple example shows that the Best of Many Christofides algorithm may not find a shorter $\{s,t\}$-tour than 3/2 times the incidentally common optima of the problem and of its fractional relaxation.
The number of regular semisimple conjugacy classes in the finite classical groups
Published
• View Publication
• BIB
Using generating functions, we enumerate regular semisimple conjugacy classes in the finite classical groups. For the general linear, unitary, and symplectic groups this gives a different approach to known results; for the special orthogonal groups the results are new.
The Shuffle Algebra Revisited
Published
• View Publication
• BIB
In this paper, we introduce certain new features of the shuffle algebra, that will allow us to obtain explicit formulas for the isomorphism between its Drinfeld double and the elliptic Hall algebra.
Linear Transformations & the Multivariate Generating Function
This note examines linear combinations of multi-indexed sequences and derives the multivariate generating function of such a linear combination in terms of the original sequence's m.g.f. Applications include finding distributions and moments of non-negative discrete random variables conditioned on non-negative linear combinations of the original variables. Examples include independent Poisson r.v.'s and a $d$-variate multinomial distribution.
Multinets, parallel connections, and Milnor fibrations of arrangements
Published in Proceedings of the London Mathematical Society 108 (2014) no. 6, 1435-1470
• View Publication
• BIB
The characteristic varieties of a space are the jump loci for homology of rank 1 local systems. The way in which the geometry of these varieties may vary with the characteristic of the ground field is reflected in the homology of finite cyclic covers. We exploit this phenomenon to detect torsion in the homology of Milnor fibers of projective hypersurfaces. One tool we use is the interpretation of the degree 1 characteristic varieties of a hyperplane arrangement complement in terms of orbifold fibrations and multinets on the corresponding matroid. Another tool is a polarization construction, based on the parallel connection operad for matroids. Our main result gives a combinatorial machine for producing arrangements whose Milnor fibers have torsion in homology.
Exact solution of two friendly walks above a sticky wall with single and double interactions
Published
• View Publication
• BIB
We find, and analyse, the exact solution of two friendly directed walks, modelling polymers, which interact with a wall via contact interactions. We specifically consider two walks that begin and end together so as to imitate a polygon. We examine a general model in which a separate interaction parameter is assigned to configurations where both polymers touch the wall simultaneously, and investigate the effect this parameter has on the integrability of the problem. We find an exact solution of the generating function of the model, and provide a full analysis of the phase diagram that admits three phases with one first-order and two second-order transition lines between these phases. We argue that one physically realisable model would see two phase transitions as the temperature is lowered.
A Bijection for Crossings and Nestings
For a subclass of matchings, set partitions, and permutations, we describe a direct bijection involving only arc annotated diagrams that not only interchanges maximum nesting and crossing numbers, but also all refinements of crossing and nesting numbers. Furthermore, we show that the bijection cannot be applied to a similar class of coloured arc annotated diagrams.
On the Concentration of the Domination Number of the Random Graph
Published
• View Publication
• BIB
In this paper we study the behaviour of the domination number of the Erdős-Rényi random graph $\mathcal{G}(n,p)$. Extending a result of Wieland and Godbole we show that the domination number of $\mathcal{G}(n,p)$ is equal to one of two values asymptotically almost surely whenever $p \gg \frac{\ln^2n}{\sqrt{n}}$. The explicit values are exactly at the first moment threshold, that is where the expected number of dominating sets starts to tend to infinity. For small $p$ we also provide various non-concentration results which indicate why some sort of lower bound on the probability $p$ is necessary in our first theorem. Concentration, though not on a constant length interval, is proven for every $p\gg 1/n$. These results show that unlike in the case of $p \gg \frac{\ln^2n}{\sqrt{n}}$ where concentration of the domination number happens around the first moment threshold, for $p = O(\ln n/n)$ it does so around the median. In particular, in this range the two are far apart from each other.
Smooth Fano Polytopes With Many Vertices
Published in Discrete Comput. Geom. 52:2 (2014)
• View Publication
• BIB
We classify the d-dimensional simplicial, terminal, and reflexive polytopes with at least 3d-2 vertices. In particular, it turns out that these are all smooth Fano polytopes. This improves on previous results of Casagrande in 2006 and Oebro in 2008. Smooth Fano polytopes play a role in algebraic geometry and mathematical physics.
New spectral bounds on the chromatic number encompassing all eigenvalues of the adjacency matrix
Published
• View Publication
• BIB
The purpose of this article is to improve existing lower bounds on the chromatic number chi. Let mu_1,...,mu_n be the eigenvalues of the adjacency matrix sorted in non-increasing order.
First, we prove the lower bound chi >= 1 + max_m {sum_{i=1}^m mu_i / - sum_{i=1}^m mu_{n-i+1}} for m=1,...,n-1. This generalizes the Hoffman lower bound which only involves the maximum and minimum eigenvalues, i.e., the case $m=1$. We provide several examples for which the new bound exceeds the {\sc Hoffman} lower bound.
Second, we conjecture the lower bound chi >= 1 + S^+ / S^-, where S^+ and S^- are the sums of the squares of positive and negative eigenvalues, respectively. To corroborate this conjecture, we prove the weaker bound chi >= S^+/S^-. We show that the conjectured lower bound is tight for several families of graphs. We also performed various searches for a counter-example, but none was found.
Our proofs rely on a new technique of converting the adjacency matrix into the zero matrix by conjugating with unitary matrices and use majorization of spectra of self-adjoint matrices.
We also show that the above bounds are actually lower bounds on the normalized orthogonal rank of a graph, which is always less than or equal to the chromatic number. The normalized orthogonal rank is the minimum dimension making it possible to assign vectors with entries of modulus one to the vertices such that two such vectors are orthogonal if the corresponding vertices are connected.
All these bounds are also valid when we replace the adjacency matrix A by W * A where W is an arbitrary self-adjoint matrix and * denotes the Schur product, that is, entrywise product of W and A.
Bandwidth of the product of paths of the same length
Published
• View Publication
• BIB
In this note we give a numerical expression for the bandwidth $bw(P_{n}^{d})$ of the $d$-product of a path with $n$ edges, $P_{n}^{d}$. We prove that this bandwidth is given by the sum of certain multinomial coefficients. We also show that $bw(P_{n}^{d})$ is bounded above and below by the largest coefficient in the expansion of $(1+x+...+x^{n})^{k}$, with $k\in{d,d+1}$. Moreover, we compare the asymptotic behavior of $bw(P_{n}^{d})$ with the bandwidth of the labeling obtained by ordering the vertices of $P_{n}^{d}$ in lexicographic order.
Sharp Bounds for the Signless Laplacian Spectral Radius in Terms of Clique Number
Published
• View Publication
• BIB
In this paper, we present a sharp upper and lower bounds for the signless Laplacian spectral radius of graphs in terms of clique number. Moreover, the extremal graphs which attain the upper and lower bounds are characterized. In addition, these results disprove the two conjectures on the signless Laplacian spectral radius in [P. Hansen and C. Lucas, Bounds and conjectures for the signless Laplacian index of graphs, Linear Algebra Appl., 432(2010) 3319-3336].