Showing 20 papers (Total: 81756 papers, 47371 authors in database)
The critical group of $C_4\times C_n$
In this paper, the critical group structure of the Cartesian product graph $C_4\times C_n$ is determined, where $n\ge 3$.
On the geodetic and the hull numbers in strong product graphs
A set S of vertices of a connected graph G is convex, if for any pair of vertices u; v 2 S, every shortest path joining u and v is contained in S . The convex hull CH(S) of a set of vertices S is defined as the smallest convex set in G containing S. The set S is geodetic, if every vertex of G lies on some shortest path joining two vertices in S, and it is said to be a hull set if its convex hull is V(G). The geodetic and the hull numbers of G are the cardinality of a minimum geodetic and a minimum hull set, respectively. In this work, we investigate the behavior of both geodetic and hull sets with respect to the strong product operation for graphs. We also stablish some bounds for the geodetic number and the hull number and obtain the exact value of these parameters for a number of strong product graphs.
Discrete Dirac Operators, Critical Embeddings and Ihara-Selberg Functions
Published in The Electronic Journal of Combinatorics 22(1) (2015), #P1.10
• View Publication
• BIB
The aim of the paper is to formulate a discrete analogue of the claim made by Alvarez-Gaume et al., realizing the partition function of the free fermion on a closed Riemann surface of genus g as a linear combination of 2^{2g} Pfaffians of Dirac operators. Let G=(V,E) be a finite graph embedded in a closed Riemann surface X of genus g, x_e the collection of independent variables associated with each edge e of G (collected in one vector variable x) and S the set of all 2^{2g} Spin-structures on X. We introduce 2^{2g} rotations rot_s and (2|E| times 2|E|) matrices D(s)(x), s in S, of the transitions between the oriented edges of G determined by rotations rot_s. We show that the generating function for the even subsets of edges of G, i.e., the Ising partition function, is a linear combination of the square roots of 2^{2g} Ihara-Selberg functions I(D(s)(x)) also called Feynman functions. By a result of Foata--Zeilberger holds I(D(s)(x))= det(I-D'(s)(x)), where D'(s)(x) is obtained from D(s)(x) by replacing some entries by 0. Thus each Feynman function is computable in polynomial time. We suggest that in the case of critical embedding of a bipartite graph G, the Feynman functions provide suitable discrete analogues for the Pfaffians of discrete Dirac operators.
Real radical initial ideals
Published in Journal of Algebra 352 (2012), pp. 392-407
• View Publication
• BIB
We explore the consequences of an ideal I of real polynomials having a real radical initial ideal, both for the geometry of the real variety of I and as an application to sums of squares representations of polynomials. We show that if in_w(I) is real radical for a vector w in the tropical variety, then w is in the logarithmic set of the real variety. We also give algebraic sufficient conditions for w to be in the logarithmic limit set of a more general semialgebraic set. If in addition the entries of w are positive, then the corresponding quadratic module is stable. In particular, if in_w(I) is real radical for some positive vector w then the set of sums of squares modulo I is stable. This provides a method for checking the conditions for stability given by Powers and Scheiderer.
On Polygons Excluding Point Sets
Published
• View Publication
• BIB
By a polygonization of a finite point set $S$ in the plane we understand a simple polygon having $S$ as the set of its vertices. Let $B$ and $R$ be sets of blue and red points, respectively, in the plane such that $B\cup R$ is in general position, and the convex hull of $B$ contains $k$ interior blue points and $l$ interior red points. Hurtado et al. found sufficient conditions for the existence of a blue polygonization that encloses all red points. We consider the dual question of the existence of a blue polygonization that excludes all red points $R$. We show that there is a minimal number $K=K(l)$, which is polynomial in $l$, such that one can always find a blue polygonization excluding all red points, whenever $k\geq K$. Some other related problems are also considered.
Degree Sequences and the Existence of $k$-Factors
Published
• View Publication
• BIB
We consider sufficient conditions for a degree sequence $π$ to be forcibly $k$-factor graphical. We note that previous work on degrees and factors has focused primarily on finding conditions for a degree sequence to be potentially $k$-factor graphical.
We first give a theorem for $π$ to be forcibly 1-factor graphical and, more generally, forcibly graphical with deficiency at most $β\ge0$. These theorems are equal in strength to Chvátal's well-known hamiltonian theorem, i.e., the best monotone degree condition for hamiltonicity. We then give an equally strong theorem for $π$ to be forcibly 2-factor graphical. Unfortunately, the number of nonredundant conditions that must be checked increases significantly in moving from $k=1$ to $k=2$, and we conjecture that the number of nonredundant conditions in a best monotone theorem for a $k$-factor will increase superpolynomially in $k$.
This suggests the desirability of finding a theorem for $π$ to be forcibly $k$-factor graphical whose algorithmic complexity grows more slowly. In the final section, we present such a theorem for any $k\ge2$, based on Tutte's well-known factor theorem. While this theorem is not best monotone, we show that it is nevertheless tight in a precise way, and give examples illustrating this tightness.
Toughness and Vertex Degrees
Published
• View Publication
• BIB
We study theorems giving sufficient conditions on the vertex degrees of a graph $G$ to guarantee $G$ is $t$-tough. We first give a best monotone theorem when $t\ge1$, but then show that for any integer $k\ge1$, a best monotone theorem for $t=\frac1k\le 1$ requires at least $f(k)\cdot|V(G)|$ nonredundant conditions, where $f(k)$ grows superpolynomially as $k\rightarrow\infty$. When $t<1$, we give an additional, simple theorem for $G$ to be $t$-tough, in terms of its vertex degrees.
Another Proof of the Fact that Polyhedral Cones are Finitely Generated
In this note, we work out a simple inductive proof showing that every polyhedral cone K is the conic hull of a finite set X of vectors. The base cases of the induction are linear subspaces and linear halfspaces of linear subspaces. The proof also shows that the components of the vectors in X can be chosen (up to their sign) to be quotients of subdeterminants of the coefficient matrix of any inequality system defining K.
Cyclic Orderings and Cyclic Arboricity of Matroids
Published
• View Publication
• BIB
We prove a general result concerning cyclic orderings of the elements of a matroid. For each matroid $M$, weight function $ω:E(M)\rightarrow\mathbb{N}$, and positive integer $D$, the following are equivalent. (1) For all $A\subseteq E(M)$, we have $\sum_{a\in A}ω(a)\le D\cdot r(A)$. (2) There is a map $φ$ that assigns to each element $e$ of $E(M)$ a set $φ(e)$ of $ω(e)$ cyclically consecutive elements in the cycle $(1,2,...,D)$ so that each set $\{e|i\inφ(e)\}$, for $i=1,...,D$, is independent.
As a first corollary we obtain the following. For each matroid $M$ so that $|E(M)|$ and $r(M)$ are coprime, the following are equivalent. (1) For all non-empty $A\subseteq E(M)$, we have $|A|/r(A)\le|E(M)|/r(M)$. (2) There is a cyclic permutation of $E(M)$ in which all sets of $r(M)$ cyclically consecutive elements are bases of $M$. A second corollary is that the circular arboricity of a matroid is equal to its fractional arboricity.
These results generalise classical results of Edmonds, Nash-Williams and Tutte on covering and packing matroids by bases and graphs by spanning trees.
Every flock generalised quadrangle has a hemisystem
Published
• View Publication
• BIB
We prove that every flock generalised quadrangle contains a hemisystem, and we provide a construction method which unifies our results with the examples of Cossidente and Penttila in the classical case.
Algèbre combinatoire et effective: des graphes aux algèbres de Kac, via l'exploration informatique
This manuscript synthesizes almost fifteen years of research in algebraic combinatorics, in order to highlight, theme by theme, its perspectives.
In part one, building on my thesis work, I use tools from commutative algebra, and in particular from invariant theory, to study isomorphism problems in combinatorics. I first consider algebras of graph invariants in relation with Ulam's reconstruction conjecture, and then, more generally, the age algebras of relational structures. This raises in return structural and algorithmic problems in the invariant theory of permutation groups.
In part two, the leitmotiv is the quest for simple yet rich combinatorial models to describe algebraic structures and their representations. This includes the Hecke group algebras of Coxeter groups which I introduced and which relate to the affine Hecke algebras, but also some finite dimensional Kac algebras in relation with inclusions of factors, and the rational Steenrod algebras. Beside being concrete and constructive, such combinatorial models shed light on certain algebraic phenomena and can lead to elegant and elementary proofs.
My favorite tool is computer exploration, and the algorithmic and effective aspects play a major role in this manuscript. In particular, I describe the international open source project *-Combinat which I founded back in 2000, and whose mission is to provide an extensible toolbox for computer exploration in algebraic combinatorics and to foster code sharing among researchers in this area. I present specific challenges that the development of this project raised, and the original algorithmic, design, and development model solutions I was led to develop.
Ergodic averages of commuting transformations with distinct degree polynomial iterates
Published
• View Publication
• BIB
We prove mean convergence, as $N\to\infty$, for the multiple ergodic averages $\frac{1}{N}\sum_{n=1}^N f_1(T_1^{p_1(n)}x)... f_\ell(T_\ell^{p_\ell(n)}x)$, where $p_1,...,p_\ell$ are integer polynomials with distinct degrees, and $T_1,...,T_\ell$ are commuting, invertible measure preserving transformations, acting on the same probability space. This establishes several cases of a conjecture of Bergelson and Leibman, that complement the case of linear polynomials, recently established by Tao. Furthermore, we show that, unlike the case of linear polynomials, for polynomials of distinct degrees, the corresponding characteristic factors are mixtures of inverse limits of nilsystems. We use this particular structure, together with some equidistribution results on nilmanifolds, to give an application to multiple recurrence and a corresponding one to combinatorics.
A complex analogue of Toda's Theorem
Published
• View Publication
• BIB
Toda \cite{Toda} proved in 1989 that the (discrete) polynomial time hierarchy, $\mathbf{PH}$, is contained in the class $\mathbf{P}^{#\mathbf{P}}$, namely the class of languages that can be decided by a Turing machine in polynomial time given access to an oracle with the power to compute a function in the counting complexity class $#\mathbf{P}$. This result, which illustrates the power of counting is considered to be a seminal result in computational complexity theory. An analogous result (with a compactness hypothesis) in the complexity theory over the reals (in the sense of Blum-Shub-Smale real machines \cite{BSS89}) was proved in \cite{BZ09}. Unlike Toda's proof in the discrete case, which relied on sophisticated combinatorial arguments, the proof in \cite{BZ09} is topological in nature in which the properties of the topological join is used in a fundamental way. However, the constructions used in \cite{BZ09} were semi-algebraic -- they used real inequalities in an essential way and as such do not extend to the complex case. In this paper, we extend the techniques developed in \cite{BZ09} to the complex projective case. A key role is played by the complex join of quasi-projective complex varieties. As a consequence we obtain a complex analogue of Toda's theorem. The results contained in this paper, taken together with those contained in \cite{BZ09}, illustrate the central role of the Poincaré polynomial in algorithmic algebraic geometry, as well as, in computational complexity theory over the complex and real numbers -- namely, the ability to compute it efficiently enables one to decide in polynomial time all languages in the (compact) polynomial hierarchy over the appropriate field.
Curious congruences for Fibonacci numbers
In this paper we establish some sophisticated congruences involving central binomial coefficients and Fibonacci numbers. For example, we show that if $p\not=2,5$ is a prime then $$\sum_{k=0}^{p-1}F_{2k}\binom{2k}{k}=(-1)^{[p/5]}(1-(p/5)) (mod p^2)$$ and $$\sum_{k=0}^{p-1}F_{2k+1}\binom{2k}k=(-1)^{[p/5]}(p/5) (mod p^2).$$ We also obtain similar results for some other second-order recurrences and raise several conjectures.
On the Hilbert series of vertex cover algebras of Cohen-Macaulay bipartite graphs
Published
• View Publication
• BIB
We study the Hilbert function and the Hilbert series of the vertex cover algebra $A(G)$, where $G$ is a Cohen-Macaulay bipartite graph.
Divided difference operators for partial flag varieties
Divided difference operators are degree-reducing operators on the cohomology of flag varieties that are used to compute algebraic invariants of the ring (for instance, structure constants). We identify divided difference operators on the equivariant cohomology of G/P for arbitrary partial flag varieties of arbitrary Lie type, and show how to use them in the ordinary cohomology of G/P. We provide three applications. The first shows that all Schubert classes of partial flag varieties can be generated from a sequence of divided difference operators on the highest-degree Schubert class. The second is a generalization of Billey's formula for the localizations of equivariant Schubert classes of flag varieties to arbitrary partial flag varieties. The third gives a choice of Schubert polynomials for partial flag varieties as well as an explicit formula for each. We focus on the example of maximal Grassmannians, including Grassmannians of k-planes in a complex n-dimensional vector space.
The Curling Number Conjecture
Given a finite nonempty sequence of integers S, by grouping adjacent terms it is always possible to write it, possibly in many ways, as S = X Y^k, where X and Y are sequences and Y is nonempty. Choose the version which maximizes the value of k: this k is the curling number of S. The Curling Number Conjecture is that if one starts with any initial sequence S, and extends it by repeatedly appending the curling number of the current sequence, the sequence will eventually reach 1. The conjecture remains open, but we will report on some numerical results and conjectures in the case when S consists of only 2's and 3's.
A generalization of Larman-Rogers-Seidel's theorem
Published
• View Publication
• BIB
A finite set X in the d-dimensional Euclidean space is called an s-distance set if the set of Euclidean distances between any two distinct points of X has size s. Larman--Rogers--Seidel proved that if the cardinality of a two-distance set is greater than 2d+3, then there exists an integer k such that a^2/b^2=(k-1)/k, where a and b are the distances. In this paper, we give an extension of this theorem for any s. Namely, if the size of an s-distance set is greater than some value depending on d and s, then certain functions of s distances become integers. Moreover, we prove that if the size of X is greater than the value, then the number of s-distance sets is finite.
Seven Staggering Sequences
Published in Homage to a Pied Puzzler, E. Pegg Jr. et al. (editors), A. K. Peters, Wellesley, MA, 2009, pp. 93-110
• View Publication
• BIB
When my "Handbook of Integer Sequences" came out in 1973, Philip Morrison gave it an enthusiastic review in the Scientific American and Martin Gardner was kind enough to say in his Mathematical Games column that "every recreational mathematician should buy a copy forthwith." That book contained 2372 sequences. Today the "On-Line Encyclopedia of Integer Sequences" contains 117000 sequences. This paper will describe seven that I find especially interesting. These are the EKG sequence, Gijswijt's sequence, a numerical analog of Aronson's sequence, approximate squaring, the integrality of n-th roots of generating functions, dissections, and the kissing number problem. (Paper for conference in honor of Martin Gardner's 91st birthday.)
On Gowers norms of some functions
Published
• View Publication
• BIB
We consider a class of two-dimensional functions f(x,y) with the property that the smallness of its rectangular norm implies the smallness of rectangular norm for f(x,x+y). Also we study a family of functions f(x,y) having a similar property for higher Gowers norms. The method based on a transference principle for a class of sums over special systems of linear equations.