Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Algebraic properties of product of graphs
Published
• View Publication
• BIB
Let $G$ and $H$ be two simple graphs and let $G*H$ denotes the graph theoretical product of $G$ by $H$. In this paper we provide some results on graded Betti numbers, Castelnuovo-Mumford regularity, projective dimension, $h$-vector, and Hilbert series of $G*H$ in terms of that information of $G$ and $H$. To do this, we will provide explicit formulae to compute graded Betti numbers, $h$-vector, and Hilbert series of disjoint union of complexes. Also we will prove that the family of graphs whose regularity equal the maximum number of pairwise $3$-disjoint edges, is closed under product of graphs.
Cones of Weighted and Partial Metrics
Published
• View Publication
• BIB
A partial semimetric on V_n={1, ..., n} is a function f=((f_{ij})): V_n^2 -> R_>=0 satisfying f_ij=f_ji >= f_ii and f_ij+f_ik-f_jk-f_ii >= 0 for all i,j,k in V_n. The function f is a weak partial semimetric if f_ij >= f_ii is dropped, and it is a strong partial semimetric if f_ij >= f_ii is complemented by f_ij <= f_ii+f_jj.
We describe the cones of weak and strong partial semimetrics via corresponding weighted semimetrics and list their 0,1-valued elements, identifying when they belong to extreme rays. We consider also related cones, including those of partial hypermetrics, weighted hypermetrics, l_1-quasi semimetrics and weighted/partial cuts.
Geometric Hyperplanes: Desargues Encodes Doily
It is shown that the structure of the generalized quadrangle of order two is fully encoded in the properties of the Desargues configuration. A point of the quadrangle is represented by a geometric hyperplane of the Desargues configuration and its line by a set of three hyperplanes such that one of them is the complement of the symmetric difference of the remaining two and they all share a pair of non-collinear points.
Inverting the Furstenberg correspondence
Published
• View Publication
• BIB
Given a sequence of subsets A_n of {0,...,n-1}, the Furstenberg correspondence principle provides a shift-invariant measure on Cantor space that encodes combinatorial information about infinitely many of the A_n's. Here it is shown that this process can be inverted, so that for any such measure there are finite sets whose combinatorial properties approximate it arbitarily well. Moreover, we obtain an explicit upper bound on how large n has to be to obtain a sufficiently good approximation. As a consequence of the inversion theorem, we show that every computable invariant measure on Cantor space has a computable generic point. We also present a generalization of the correspondence principle and its inverse to countable discrete amenable groups.
On a partition problem of Canfield and Wilf
Published in Integers 12A (2012), \#A11, pp. 1--8
• Search Publication
Let A and M be nonempty sets of positive integers. A partition of the positive integer n with parts in A and multiplicities in M is a representation of n in the form n = \sum_{a\in A} m_a a, where m_a is in M U {0} for all a in A, and m_a is in M for only finitely many a. Denote by p_{A,M}(n) the number of partitions of n with parts in A and multiplicities in M. It is proved that there exist infinite sets A and M of positive integers whose partition function p_{A,M} has weakly superpolynomial but not superpolynomial growth. The counting function of the set A is A(x) = \sum_{a \in A, a\leq x} 1. It is also proved that p_{A,M} must have at least weakly superpolynomial growth if M is infinite and A(x) >> log x.
On sums related to central binomial and trinomial coefficients
Published in In: M. B. Nathanson (ed.), Combinatorial and Additive Number Theory: CANT 2011 and 2012, in: Springer Proc. in Math. & Stat., Vol. 101, Springer, New York, 2014, pp. 257-312
• View Publication
• BIB
A generalized central trinomial coefficient $T_n(b,c)$ is the coefficient of $x^n$ in the expansion of $(x^2+bx+c)^n$ with $b,c\in\mathbb Z$. In this paper we investigate congruences and series for sums of terms related to central binomial coefficients and generalized central trinomial coefficients. The paper contains many conjectures on congruences related to representations of primes by certain binary quadratic forms, and 62 proposed new series for $1/π$ motivated by congruences and related dualities.
Demystifying a divisibility property of the Kostant partition function
We study a family of identities regarding a divisibility property of the Kostant partition function which first appeared in a paper of Baldoni and Vergne. To prove the identities, Baldoni and Vergne used techniques of residues and called the resulting divisibility property "mysterious." We prove these identities entirely combinatorially and provide a natural explanation of why the divisibility occurs. We also point out several ways to generalize the identities.
Equivalence Classes of Full-Dimensional 0/1-Polytopes with Many Vertices
Published
• View Publication
• BIB
Let $Q_n$ denote the $n$-dimensional hypercube with the vertex set $V_n=\{0,1}^n$. A 0/1-polytope of $Q_n$ is a convex hull of a subset of $V_n$. This paper is concerned with the enumeration of equivalence classes of full-dimensional 0/1-polytopes under the symmetries of the hypercube. With the aid of a computer program, Aichholzer completed the enumeration of equivalence classes of full-dimensional 0/1-polytopes for $Q_4$, $Q_5$, and those of $Q_6$ up to 12 vertices. In this paper, we present a method to compute the number of equivalence classes of full-dimensional 0/1-polytopes of $Q_n$ with more than $2^{n-3}$ vertices. As an application, we finish the counting of equivalence classes of full-dimensional 0/1-polytopes of $Q_6$ with more than 12 vertices.
Quivers of monoids with basic algebras
Published in Compositio Math. 148 (2012) 1516-1560
• View Publication
• BIB
We compute the quiver of any monoid that has a basic algebra over an algebraically closed field of characteristic zero. More generally, we reduce the computation of the quiver over a splitting field of a class of monoids that we term rectangular monoids (in the semigroup theory literature the class is known as $\mathbf{DO}$) to representation theoretic computations for group algebras of maximal subgroups. Hence in good characteristic for the maximal subgroups, this gives an essentially complete computation. Since groups are examples of rectangular monoids, we cannot hope to do better than this.
For the subclass of $\mathscr R$-trivial monoids, we also provide a semigroup theoretic description of the projective indecomposables and compute the Cartan matrix.
The moduli space of sheaves and the generalization of MacMahon's formula
Published in Funct. Anal. Appl. 47 (2013), no. 2, 96-103
• View Publication
• BIB
Recently M. Vuletic found a two-parameter generalization of the MacMahon's formula. In this note we show that certain ingredients of her formula have a clear interpretation in terms of the geometry of the moduli space of sheaves on the projective plane.
Turán's problem and generalized Ramsey numbers
Let $n,r,k,s$ be positive integers with $n,k\ge 2$. The generalized Ramsey number $R(n,r;k,s)$ is the smallest positive integer $p$ such that for every graph $G$ of order $p$, either $G$ contains a subgraph induced by $n$ vertices with at most $r-1$ edges, or the complement $\bar G$ of $G$ contains a subgraph induced by $k$ vertices with at most $s-1$ edges. In this paper we completely determine $R(n,n(n-1)/2-r;k,1)$ for $n\ge 4$ and $r\le n-2$, and pose several conjectures on Ramsey numbers.
Hyperplane Arrangements: Computations and Conjectures
Published in Advanced Studies in Pure Mathematics, 62, (2012) 323-358
• View Publication
• BIB
This paper provides an overview of selected results and open problems in the theory of hyperplane arrangements, with an emphasis on computations and examples. We give an introduction to many of the essential tools used in the area, such as Koszul and Lie algebra methods, homological techniques, and the Bernstein-Gelfand-Gelfand correspondence, all illustrated with concrete calculations. We also explore connections of arrangements to other areas, such as De Concini-Procesi wonderful models, the Feichtner-Yuzvinsky algebra of an atomic lattice, fatpoints and blowups of projective space, and plane curve singularities.
Rainbow Hamilton cycles in random graphs
Published
• View Publication
• BIB
One of the most famous results in the theory of random graphs establishes that the threshold for Hamiltonicity in the Erdos-Renyi random graph G_{n,p} is around p ~ (log n + log log n) / n. Much research has been done to extend this to increasingly challenging random structures. In particular, a recent result by Frieze determined the asymptotic threshold for a loose Hamilton cycle in the random 3-uniform hypergraph by connecting 3-uniform hypergraphs to edge-colored graphs.
In this work, we consider that setting of edge-colored graphs, and prove a result which achieves the best possible first order constant. Specifically, when the edges of G_{n,p} are randomly colored from a set of (1 + o(1)) n colors, with p = (1 + o(1)) (log n) / n, we show that one can almost always find a Hamilton cycle which has the further property that all edges are distinctly colored (rainbow).
Plane square tilings
We consider here square tilings of the plane. By extending the formalism introduced in [3] we build a correspondence between plane maps endowed with an harmonic vector and square tilings satisfying a condition of regularity. In the case of periodic plane square tiling the relevant space of harmonic vectors is actually isomorphic to the first homology group of a torus. So, periodic plane square tilings are described by two parameters and the set of parameters is split into angular sectors.
The correspondence between symmetry of the square tiling and symmetry of the plane maps and harmonic vectors is discussed and a method for enumerating the regular periodic plane square tilings having r orbits of squares is outlined.
Obstructions to lifting tropical curves in surfaces in 3-space
Published
• View Publication
• BIB
Tropicalization is a procedure that takes subvarieties of an algebraic torus to balanced weighted rational complexes in space. In this paper, we study the tropicalizations of curves in surfaces in 3-space. These are balanced rational weighted graphs in tropical surfaces. Specifically, we study the `lifting' problem: given a graph in a tropical surface, can one find a corresponding algebraic curve in a surface? We develop specific combinatorial obstructions to lifting a graph by reducing the problem to the question of whether or not one can factor a polynomial with particular support in the characteristic 0 case. This explains why some unusual tropical curves constructed by Vigeland are not liftable.
On stability of diagonal actions and tensor invariants
Published
• View Publication
• BIB
For a connected simply connected semisimple algebraic group $G$ we prove existence of invariant tensors in tensor powers of rational $G$-modules and establish relations between existence of such invariant tensors and stability of diagonal actions of $G$ on affine algebraic varieties.
Solution to a conjecture on the maximal energy of bipartite bicyclic graphs
Published
• View Publication
• BIB
The energy of a simple graph $G$, denoted by $E(G)$, is defined as the sum of the absolute values of all eigenvalues of its adjacency matrix. Let $C_n$ denote the cycle of order $n$ and $P^{6,6}_n$ the graph obtained from joining two cycles $C_6$ by a path $P_{n-12}$ with its two leaves. Let $\mathscr{B}_n$ denote the class of all bipartite bicyclic graphs but not the graph $R_{a,b}$, which is obtained from joining two cycles $C_a$ and $C_b$ ($a, b\geq 10$ and $a \equiv b\equiv 2\, (\,\textmd{mod}\, 4)$) by an edge. In [I. Gutman, D. Vidović, Quest for molecular graphs with maximal energy: a computer experiment, {\it J. Chem. Inf. Sci.} {\bf41}(2001), 1002--1005], Gutman and Vidović conjectured that the bicyclic graph with maximal energy is $P^{6,6}_n$, for $n=14$ and $n\geq 16$. In [X. Li, J. Zhang, On bicyclic graphs with maximal energy, {\it Linear Algebra Appl.} {\bf427}(2007), 87--98], Li and Zhang showed that the conjecture is true for graphs in the class $\mathscr{B}_n$. However, they could not determine which of the two graphs $R_{a,b}$ and $P^{6,6}_n$ has the maximal value of energy. In [B. Furtula, S. Radenković, I. Gutman, Bicyclic molecular graphs with the greatest energy, {\it J. Serb. Chem. Soc.} {\bf73(4)}(2008), 431--433], numerical computations up to $a+b=50$ were reported, supporting the conjecture. So, it is still necessary to have a mathematical proof to this conjecture. This paper is to show that the energy of $P^{6,6}_n$ is larger than that of $R_{a,b}$, which proves the conjecture for bipartite bicyclic graphs. For non-bipartite bicyclic graphs, the conjecture is still open.
Recovering Missing Slices of the Discrete Fourier Transform using Ghosts
Published
• View Publication
• BIB
The Discrete Fourier Transform (DFT) underpins the solution to many inverse problems commonly possessing missing or un-measured frequency information. This incomplete coverage of Fourier space always produces systematic artefacts called Ghosts. In this paper, a fast and exact method for de-convolving cyclic artefacts caused by missing slices of the DFT is presented. The slices discussed here originate from the exact partitioning of DFT space, under the projective Discrete Radon Transform, called the Discrete Fourier Slice Theorem. The method has a computational complexity of O(n log2 n) (where n = N^2) and is constructed from a new Finite Ghost theory. This theory is also shown to unify several aspects of work done on Ghosts over the past three decades. The paper concludes with a significant application to fast, exact, non-iterative image reconstruction from sets of discrete slices obtained for a limited range of projection angles.
Linear Codes, Target Function Classes, and Network Computing Capacity
Published
• View Publication
• BIB
We study the use of linear codes for network computing in single-receiver networks with various classes of target functions of the source messages. Such classes include reducible, injective, semi-injective, and linear target functions over finite fields. Computing capacity bounds and achievability are given with respect to these target function classes for network codes that use routing, linear coding, or nonlinear coding.
Pfaffian Circuits
It remains an open question whether the apparent additional power of quantum computation derives inherently from quantum mechanics, or merely from the flexibility obtained by "lifting" Boolean functions to linear operators and evaluating their composition cleverly. Holographic algorithms provide a useful avenue for exploring this question. We describe a new, simplified construction of holographic algorithms in terms of Pfaffian circuits. Novel proofs of some key results are provided, and we extend the approach of [34] to nonsymmetric, odd, and homogenized signatures, circuits, and various models of execution flow. This shows our approach is as powerful as the matchgate approach. Holographic algorithms provide in general $O(n^{ω_p})$ time algorithms, where $ω_p$ is the order of Pfaffian evaluation in the ring of interest (with $1.19 \leq ω_p \leq 3$ depending on the ring) and $n$ is the number of inclusions of variables into clauses. Our approach often requires just the evaluation of an $n \times n$ Pfaffian, and at most needs an additional two rows per gate, whereas the matchgate approach is quartic in the arity of the largest gate. We give examples (even before any change of basis) including efficient algorithms for certain lattice path problems and an $O(n^{ω_p})$ algorithm for evaluation of Tutte polynomials of lattice path matroids. Finally we comment on some of the geometric considerations in analyzing Pfaffian circuits under arbitrary basis change. Connections are made to the sum-product algorithm, classical simulation of quantum computation, and SLOCC equivalent entangled states.