Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Spectral gaps of random graphs and applications
Published in International Mathematics Research Notices (IMRN) 2019
• View Publication
• BIB
We study the spectral gap of the Erdős--Rényi random graph through the connectivity threshold. In particular, we show that for any fixed $δ> 0$ if $$p \ge \frac{(1/2 + δ) \log n}{n},$$ then the normalized graph Laplacian of an Erdős--Rényi graph has all of its nonzero eigenvalues tightly concentrated around $1$. We estimate both the decay rate of the spectral gap to $1$ and the failure probability, up to a constant factor. We also show that the $1/2$ in the above is optimal, and that if $p = \frac{c \log n}{n}$ for $c < 1/2,$ then there are eigenvalues of the Laplacian restricted to the giant component that are separated from $1.$
We then describe several applications of our spectral gap results to stochastic topology and geometric group theory. These all depend on Garland's "p-adic curvature" method, a kind of spectral geometry for simplicial complexes. These can all be considered to be high-dimensional expander properties.
On Block-Goettsche multiplicities for planar tropical curves
Published
• View Publication
• BIB
We prove invariance for the number of planar tropical curves enhanced with polynomial multiplicities recently proposed by Florian Block and Lothar Goettsche. This invariance has a number of implications in tropical enumerative geometry.
Automorphism Groups of the Pancake Graphs
Published in Information Processing Letters, 2012
• View Publication
• BIB
It is well-known that the pancake graphs are widely used as models for interconnection networks \cite{Akers}. In this paper, some properties of the pancake graphs are investigated. We first prove that the pancake graph, denoted by $P_n (n\geq 4),$ is super-connected and hyper-connected. Further, we study the symmetry of $P_n$ and completely determine its full automorphism group,which shows that $P_n (n\geq 5)$ is a graphical regular representation of $S_n.$
Faber-Krahn type inequality for unicyclic graphs
Published
• View Publication
• BIB
The Faber-Krahn inequality states that the ball has minimal first Dirichlet eigenvalue among all bounded domains with the fixed volume in $\mathbb{R}^n$. In this paper, we investigate the similar inequality for unicyclic graphs. The results show that the Faber-Krahn type inequality also holds for unicyclic graphs with a given graphic unicyclic degree sequence with minor conditions.
Magic Knight's Tours in Higher Dimensions
A knight's tour on a board is a sequence of knight moves that visits each square exactly once. A knight's tour on a square board is called magic knight's tour if the sum of the numbers in each row and column is the same (magic constant). Knight's tour in higher dimensions (n > 3) is a new topic in the age-old world of knight's tours. In this paper, it has been proved that there can't be magic knight's tour or closed knight's tour in an odd order n-dimensional hypercube. 3 \times 4 \times 2n-2 is the smallest cuboid (n \geq 2) and 4 \times 4 \times 4n-2 is the smallest cube in which knight's tour is possible in n-dimensions (n \geq 3). Magic knight's tours are possible in 4 \times 4 \times 4 \times 4 and 4 \times 4 \times 4 \times 4 \times 4 hypercube.
On sets without tangents and exterior sets of a conic
Published in G. Electronic Journal of Combinatorics. 17 (1) (2010), R174
• Search Publication
A set without tangents in $\PG(2,q)$ is a set of points S such that no line meets S in exactly one point. An exterior set of a conic $\mathcal{C}$ is a set of points $\E$ such that all secant lines of $\E$ are external lines of $\mathcal{C}$. In this paper, we first recall some known examples of sets without tangents and describe them in terms of determined directions of an affine pointset. We show that the smallest sets without tangents in $\PG(2,5)$ are (up to projective equivalence) of two different types. We generalise the non-trivial type by giving an explicit construction of a set without tangents in $\PG(2,q)$, $q=p^h$, $p>2$ prime, of size $q(q-1)/2-r(q+1)/2$, for all $0\leq r\leq (q-5)/2$. After that, a different description of the same set in $\PG(2,5)$, using exterior sets of a conic, is given and we investigate in which ways a set of exterior points on an external line $L$ of a conic in $\PG(2,q)$ can be extended with an extra point $Q$ to a larger exterior set of $\mathcal{C}$. It turns out that if $q=3$ mod 4, $Q$ has to lie on $L$, whereas if $q=1$ mod 4, there is a unique point $Q$ not on $L$.
Colouring the Sphere
Let $G$ be the graph with the points of the unit sphere in $\mathbb{R}^3$ as its vertices, by defining two unit vectors to be adjacent if they are orthogonal as vectors. We present a proof, based on work of Hales and Straus chromatic number of this graph is four. We also prove that the subgraph of G induced by the unit vectors with rational coordinates is 3-colourable.
Some acyclic systems of permutations are not realizable by triangulations of a product of simplices
Published in In Algebraic and Combinatorial Aspects of Tropical Geometry, Edited by Erwan Brugallé, María Angélica Cueto, Alicia Dickenstein, Eva-Maria Feichtner, and Ilia Itenberg, Contemporary Mathematics 589, AMS, 2013. ISBN-13: 978-0-8218-9146-9
• View Publication
• BIB
The acyclic system conjecture of Ardila and Ceballos can be interpreted as saying the following: "Every triangulation of the 3-skeleton of a product of two simplices can be extended to a triangulation of the whole product". We show a counter-example to this.
Motivation for this conjecture comes from a related conjecture, the "spread-out simplices" conjecture of Ardila and Billey. We give some necessary conditions that counter-examples to this second conjecture (if they exist) must satisfy.
Testing Low Complexity Affine-Invariant Properties
Published
• View Publication
• BIB
Invariance with respect to linear or affine transformations of the domain is arguably the most common symmetry exhibited by natural algebraic properties. In this work, we show that any low complexity affine-invariant property of multivariate functions over finite fields is testable with a constant number of queries. This immediately reproves, for instance, that the Reed-Muller code over F_p of degree d < p is testable, with an argument that uses no detailed algebraic information about polynomials except that low degree is preserved by composition with affine maps.
The complexity of an affine-invariant property P refers to the maximum complexity, as defined by Green and Tao (Ann. Math. 2008), of the sets of linear forms used to characterize P. A more precise statement of our main result is that for any fixed prime p >=2 and fixed integer R >= 2, any affine-invariant property P of functions f: F_p^n -> [R] is testable, assuming the complexity of the property is less than p. Our proof involves developing analogs of graph-theoretic techniques in an algebraic setting, using tools from higher-order Fourier analysis.
A projection construction for semifields
Simple constructions are given for finite semifields that include as special cases both old semifields and recently constructed semifields.
On a family of strongly regular graphs with λ=1
Published
• View Publication
• BIB
In this paper, we give a complete description of strongly regular graphs with parameters ((n^2+3n-1)^2,n^2(n+3),1,n(n+1)). All possible such graphs are: the lattice graph $L_{3,3}$ with parameters (9,4,1,2), the Brouwer-Haemers graph with parameters (81,20,1,6), and the Games graph with parameters (729,112,1,20).
A new family of polynomial identities for computing determinants
Published
• View Publication
• BIB
We give new definitions for the determinant over commutative ring $K$, noncommutative ring $\mathbf{K}$, noncommutative ring $\mathcal{K}$ with associative powers, over noncommutative nonassociative ring $\mathfrak{K}$, and study their properties.
Upper bounds on the size of 4- and 6-cycle-free subgraphs of the hypercube
Published
• View Publication
• BIB
In this paper we modify slightly Razborov's flag algebra machinery to be suitable for the hypercube. We use this modified method to show that the maximum number of edges of a 4-cycle-free subgraph of the n-dimensional hypercube is at most 0.6068 times the number of its edges. We also improve the upper bound on the number of edges for 6-cycle-free subgraphs of the n-dimensional hypercube from the square root of 2 - 1 to 0.3755 times the number of its edges. Additionally, we show that if the n-dimensional hypercube is considered as a poset, then the maximum vertex density of three middle layers in an induced subgraph without 4-cycles is at most 2.15121 times n choose n/2.
Upper bounds for the piercing number of families of pairwise intersecting convex polygons
A convex polygon $A$ is related to a convex $m$-gon $K= \bigcap_{i=1}^m k_i^+$, where $k_1^+,..., k_m^+$ are the $m$ halfplanes whose intersection is equal to $K$, if $A$ is the intersection of halfplanes $a_1^+,...,a_l$, each of which is a translate of one of the $k_i^+$-s. The planar family ${\cal A}$ is related to $K$ if each $A \in {\cal A}$ is related to $K$. We prove that any family of pairwise intersecting convex sets related to a given $n$-gon has a finite piercing number which depends on $n$. In the general case we show $O(3^{n^3})$, while for a certain class of families, we decrease the bound to $4(n-2)$, and for $n=3,4$ the bound is 3 and 6 respectively.
A counterexample to conjecture 18.5 in "Geometric Etudes in Combinatorial Mathematics", second edition
A collection of sets $\Fscr$ has the $(p,q)$-property if out of every $p$ elements of $\Fscr$ there are $q$ that have a point in common. A transversal of a collection of sets $\Fscr$ is a set $A$ that intersects every member of $\Fscr$. Grünbaum conjectured that every family $\Fscr$ of closed, convex sets in the plane with the $(4,3)$-property and at least two elements that are compact has a transversal of bounded cardinality. Here we construct a counterexample to his conjecture. On the positive side, we also show that if such a collection $\Fscr$ contains two {\em disjoint} compacta then there is a transveral of cardinality at most 13.
Weighted Zero-Sum Problems Over $C_3^r$
Let $C_n$ be the cyclic group of order $n$ and set $s_{A}(C_n^r)$ as the smallest integer $\ell$ such that every sequence $\mathcal{S}$ in $C_n^r$ of length at least $\ell$ has an $A$-zero-sum subsequence of length equal to $\exp(C_n^r)$, for $A=\{-1,1\}$. In this paper, among other things, we give estimates for $s_A(C_3^r)$, and prove that $s_A(C_{3}^{3})=9$, $s_A(C_{3}^{4})=21$ and $41\leq s_A(C_{3}^{5})\leq45$.
Bounds on Shannon Capacity and Ramsey Numbers from Product of Graphs
Published in IEEE Transactions on Information Theory, 59(8) (2013) 4767-4770
• View Publication
• BIB
In this note we study Shannon capacity of channels in the context of classical Ramsey numbers. We overview some of the results on capacity of noisy channels modelled by graphs, and how some constructions may contribute to our knowledge of this capacity.
We present an improvement to the constructions by Abbott and Song and thus establish new lower bounds for a special type of multicolor Ramsey numbers. We prove that our construction implies that the supremum of the Shannon capacity over all graphs with independence number 2 cannot be achieved by any finite graph power. This can be generalized to graphs with any bounded independence number.
On the combinatorics of sparsification
Published
• View Publication
• BIB
Background: We study the sparsification of dynamic programming folding algorithms of RNA structures. Sparsification applies to the mfe-folding of RNA structures and can lead to a significant reduction of time complexity. Results: We analyze the sparsification of a particular decomposition rule, $Λ^*$, that splits an interval for RNA secondary and pseudoknot structures of fixed topological genus. Essential for quantifying the sparsification is the size of its so called candidate set. We present a combinatorial framework which allows by means of probabilities of irreducible substructures to obtain the expected size of the set of $Λ^*$-candidates. We compute these expectations for arc-based energy models via energy-filtered generating functions (GF) for RNA secondary structures as well as RNA pseudoknot structures. For RNA secondary structures we also consider a simplified loop-energy model. This combinatorial analysis is then compared to the expected number of $Λ^*$-candidates obtained from folding mfe-structures. In case of the mfe-folding of RNA secondary structures with a simplified loop energy model our results imply that sparsification provides a reduction of time complexity by a constant factor of 91% (theory) versus a 96% reduction (experiment). For the "full" loop-energy model there is a reduction of 98% (experiment).
Positive definite completion problems for directed acyclic graphs
Published
• View Publication
• BIB
A positive definite completion problem pertains to determining whether the unspecified positions of a partial (or incomplete) matrix can be completed in a desired subclass of positive definite matrices. In this paper we study an important and new class of positive definite completion problems where the desired subclasses are the spaces of covariance and inverse-covariance matrices of probabilistic models corresponding to directed acyclic graph models (also known as Bayesian networks). We provide fast procedures that determine whether a partial matrix can be completed in either of these spaces and thereafter proceed to construct the completed matrices. We prove an analog of the positive definite completion result for undirected graphs in the context of directed acyclic graphs, and thus proceed to characterize the class of DAGs which can always be completed. We also proceed to give closed form expressions for the inverse and the determinant of a completed matrix as a function of only the elements of the corresponding partial matrix.
On the game chromatic number of sparse random graphs
Published
• View Publication
• BIB
Given a graph G and an integer k, two players take turns coloring the vertices of G one by one using k colors so that neighboring vertices get different colors. The first player wins iff at the end of the game all the vertices of $G$ are colored. The game chromatic number χ_g(G) is the minimum k for which the first player has a winning strategy. The paper \cite{BFS} began the analysis of the asymptotic behavior of this parameter for a random graph G_{n,p}. This paper provides some further analysis for graphs with constant average degree i.e. np=O(1) and for random regular graphs.