Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Hilbert depth of powers of the maximal ideal
Published in in: "Commutative Algebra and its Connections to Geometry (PASI 2009)," A. Corso, C. Polini (eds.), Contemporary Mathematics, vol. 555, Amer. Math. Soc., R.I., 2011, pp. 1-12
• View Publication
• BIB
The Hilbert depth of a module M is the maximum depth that occurs among all modules with the same Hilbert function as M. In this note we compute the Hilbert depths of the powers of the irrelevant maximal ideal in a standard graded polynomial ring.
Classification of base sequences BS(n+1,n)
Published in International Journal of Combinatorics, Volume 2010, Article ID 851857, 21 pages
• Search Publication
Base sequences BS(n+1,n) are quadruples of {1,-1}-sequences (A;B;C;D), with A and B of length n+1 and C and D of length n, such that the sum of their nonperiodic autocorrelation functions is a delta-function. The base sequence conjecture, asserting that BS(n+1,n) exist for all n, is stronger than the famous Hadamard matrix conjecture. We introduce a new definition of equivalence for base sequences BS(n+1,n) and construct a canonical form. By using this canonical form, we have enumerated the equivalence classes of BS(n+1,n) for n <= 30. Due to excessive size of the equivalence classes, the tables in the paper cover only the cases n <= 13.
Some $p$-ranks related to a conic in $PG(2,q)$
Published
• View Publication
• BIB
Let $\A$ be the incidence matrix of lines and points of the classical projective plane $PG(2,q)$ with $q$ odd. With respect to a conic in $PG(2,q)$, the matrix $\A$ is partitioned into 9 submatrices. The rank of each of these submatices over $\Ff_q$, the defining field of $PG(2,q)$, is determined.
An algorithm to prescribe the configuration of a finite graph
We provide algorithms involving edge slides, for a connected simple graph to evolve in a finite number of steps to another connected simple graph in a prescribed configuration, and for the regularization of such a graph by the minimization of an appropriate energy functional.
Spheres arising from multicomplexes
Published
• View Publication
• BIB
In 1992, Thomas Bier introduced a surprisingly simple way to construct a large number of simplicial spheres. He proved that, for any simplicial complex $Δ$ on the vertex set $V$ with $Δ\ne 2^V$, the deleted join of $Δ$ with its Alexander dual $Δ^\vee$ is a combinatorial sphere. In this paper, we extend Bier's construction to multicomplexes, and study their combinatorial and algebraic properties. We show that all these spheres are shellable and edge decomposable, which yields a new class of many shellable edge decomposable spheres that are not realizable as polytopes. It is also shown that these spheres are related to polarizations and Alexander duality for monomial ideals which appear in commutative algebra theory.
Centrosymmetric Permutations and Involutions Avoiding 1243 and 2143
A centrosymmetric permutation is one which is invariant under the reverse-complement operation, or equivalently one whose associated standard Young tableaux under the Robinson-Schensted algorithm are both invariant under the Schutzenberger involution. In this paper, we characterize the set of permutations avoiding 1243 and 2143 whose images under the reverse-complement mapping also avoid these patterns. We also characterize in a simple manner the corresponding Schroder paths under a bijection of Egge and Mansour. We then use these results to enumerate centrosymmetric permutations avoiding the patterns 1243 and 2143. In a similar manner, centrosymmetric involutions avoiding these same patterns are shown to be enumerated by the Pell numbers.
Lower Bounds for Buchsbaum* Complexes
Published
• View Publication
• BIB
The class of $(d-1)$-dimensional Buchsbaum* simplicial complexes is studied. It is shown that the rank-selected subcomplexes of a (completely) balanced Buchsbaum* simplicial complex are also Buchsbaum*. Using this result, lower bounds on the $h$-numbers of balanced Buchsbaum* simplicial complexes are established. In addition, sharp lower bounds on the $h$-numbers of flag $m$-Buchsbaum* simplicial complexes are derived, and the case of equality is treated.
Trees with Given Stability Number and Minimum Number of Stable Sets
Published in Graphs and Combinatorics, 28/2:167--187, 2012
• View Publication
• BIB
We study the structure of trees minimizing their number of stable sets for given order $n$ and stability number $α$. Our main result is that the edges of a non-trivial extremal tree can be partitioned into $n-α$ stars, each of size $\lceil \frac{n-1}{n-α} \rceil$ or $\lfloor \frac{n-1}{n-α}\rfloor$, so that every vertex is included in at most two distinct stars, and the centers of these stars form a stable set of the tree.
Bounds on Threshold of Regular Random $k$-SAT
Published
• View Publication
• BIB
We consider the regular model of formula generation in conjunctive normal form (CNF) introduced by Boufkhad et. al. We derive an upper bound on the satisfiability threshold and NAE-satisfiability threshold for regular random $k$-SAT for any $k \geq 3$. We show that these bounds matches with the corresponding bound for the uniform model of formula generation.
We derive lower bound on the threshold by applying the second moment method to the number of satisfying assignments. For large $k$, we note that the obtained lower bounds on the threshold of a regular random formula converges to the lower bound obtained for the uniform model. Thus, we answer the question posed in \cite{AcM06} regarding the performance of the second moment method for regular random formulas.
A Lattice Point Problem on the Regular Tree
Published
• View Publication
• BIB
Heinz Huber (1956) considered the following problem on the the hyperbolic plane H. Consider a strictly hyperbolic subgroup of automorphisms on H with compact quotient, and choose a conjugacy class in this group. Count the number of vertices inside an increasing ball, which are images of a fixed point x in H under automorphisms in the chosen conjugacy class, and describe the asymptotic behaviour of this number as the size of the ball goes to infinity. We use a well-known analogy between the hyperbolic plane and the regular tree to solve this problem on the regular tree.
Approximating the partition function of the ferromagnetic Potts model
Published in JACM 59(5) Article 25 October 2012
• View Publication
• BIB
We provide evidence that it is computationally difficult to approximate the partition function of the ferromagnetic q-state Potts model when q>2. Specifically we show that the partition function is hard for the complexity class #RHPi_1 under approximation-preserving reducibility. Thus, it is as hard to approximate the partition function as it is to find approximate solutions to a wide range of counting problems, including that of determining the number of independent sets in a bipartite graph. Our proof exploits the first order phase transition of the "random cluster" model, which is a probability distribution on graphs that is closely related to the q-state Potts model.
Arithmetics in number systems with negative base
We study the numeration system with negative basis, introduced by Ito and Sadahiro. We focus on arithmetic operations in the set ${\rm Fin}(-β)$ and $\Z_{-β}$ of numbers having finite resp. integer $(-β)$-expansions. We show that ${\rm Fin}(-β)$ is trivial if $β$ is smaller than the golden ratio $\frac12(1+\sqrt5)$. For $β\geq\frac12(1+\sqrt5)$ we prove that ${\rm Fin}(-β)$ is a ring, only if $β$ is a Pisot or Salem number with no negative conjugates. We prove the conjecture of Ito and Sadahiro that ${\rm Fin}(-β)$ is a ring if $β$ is a quadratic Pisot number with positive conjugate. For quadratic Pisot units we determine the number of fractional digits that may appear when adding or multiplying two $(-β)$-integers.
Adjacency Matrices of Configuration Graphs
Published in Linear Algebra Appl.,437(8) (2012) 2026--2037
• View Publication
• BIB
In 1960, Hoffman and Singleton \cite{HS60} solved a celebrated equation for square matrices of order $n$, which can be written as $$ (κ- 1) I_n + J_n - A A^{\rm T} = A$$ where $I_n$, $J_n$, and $A$ are the identity matrix, the all one matrix, and a $(0,1)$--matrix with all row and column sums equal to $κ$, respectively. If $A$ is an incidence matrix of some configuration $\cal C$ of type $n_κ$, then the left-hand side $Θ(A):= (κ- 1)I_n + J_n - A A^{\rm T}$ is an adjacency matrix of the non--collinearity graph $Γ$ of $\cal C$. In certain situations, $Θ(A)$ is also an incidence matrix of some $n_κ$ configuration, namely the neighbourhood geometry of $Γ$ introduced by Lefèvre-Percsy, Percsy, and Leemans \cite{LPPL}.
The matrix operator $Θ$ can be reiterated and we pose the problem of solving the generalised Hoffman--Singleton equation $Θ^m(A)=A$. In particular, we classify all $(0,1)$--matrices $M$ with all row and column sums equal to $κ$, for $κ= 3,4$, which are solutions of this equation. As a by--product, we obtain characterisations for incidence matrices of the configuration $10_3F$ in Kantor's list \cite{Kantor} and the $17_4$ configuration $#1971$ in Betten and Betten's list \cite{BB99}.
Pseudo and Strongly Pseudo 2--Factor Isomorphic Regular Graphs
Published in Eur. J. Combin. 33(8) (2012) 1847--1856
• View Publication
• BIB
A graph $G$ is pseudo 2--factor isomorphic if the parity of the number of cycles in a 2--factor is the same for all 2--factors of $G$. In \cite{ADJLS} we proved that pseudo 2--factor isomorphic $k$--regular bipartite graphs exist only for $k \le 3$. In this paper we generalize this result for regular graphs which are not necessarily bipartite. We also introduce strongly pseudo 2--factor isomorphic graphs and we prove that pseudo and strongly pseudo 2--factor isomorphic 2k--regular graphs and $k$--regular digraphs do not exist for $k\geq 4$. Moreover, we present constructions of infinite families of regular graphs in these classes. In particular we show that the family of Flower snarks is strongly pseudo 2--factor isomorphic but not 2--factor isomorphic and we conjecture that, together with the Petersen and the Blanuša2 graphs, they are the only cyclically 4--edge--connected snarks for which each 2--factor contains only cycles of odd length.
Supersolvable lattices of $J$-classes
The purpose of this article is to investigate the combinatorial properties of the cross section lattice of a $J$-irreducible monoid associated with a semisimple algebraic group of one of the types $A_n$, $B_n$, or $C_n$. Our main tool is a theorem of Putcha and Renner which identifies the cross section lattice in the Boolean lattice of subsets of the nodes of a Dynkin diagram. We determine the join irreducibles of the cross section lattice. Exploiting this we find characterizations of the relatively complemented intervals. By a result of Putcha, this determines the Möbius function for $Λ$. We show that an interval of the cross section lattice is Boolean if and only if it is relatively complemented if and only if it is atomic. We characterize distributive cross section lattices, showing that they are products of chains. We determine which cross section lattices are supersolvable, and furthermore, we compute the characteristic polynomials of these supersolvable cross section lattices. At the end of the article we indicate some future research directions.
A strengthening and a multipartite generalization of the Alon-Boppana-Serre Theorem
Published in Proc. Amer. Math. Soc. 138 (2010) 3899-3909
• View Publication
• BIB
The Alon-Boppana theorem confirms that for every $ε>0$ and every integer $d\ge3$, there are only finitely many $d$-regular graphs whose second largest eigenvalue is at most $2\sqrt{d-1}-ε$. Serre gave a strengthening showing that a positive proportion of eigenvalues of any $d$-regular graph must be bigger than $2\sqrt{d-1}-ε$. We provide a multipartite version of this result. Our proofs are elementary and work also in the case when graphs are not regular. In the simplest, monopartite case, our result extends the Alon-Boppana-Serre result to non-regular graphs of minimum degree $d$ and bounded maximum degree. The two-partite result shows that for every $ε>0$ and any positive integers $d_1,d_2,d$, every $n$-vertex graph of maximum degree at most $d$, whose vertex set is the union of (not necessarily disjoint) subsets $V_1,V_2$, such that every vertex in $V_i$ has at least $d_i$ neighbors in $V_{3-i}$ for $i=1,2$, has $Ω_ε(n)$ eigenvalues that are larger than $\sqrt{d_1-1}+\sqrt{d_2-1}-ε$. Finally, we strengthen the Alon-Boppana-Serre theorem by showing that the lower bound $2\sqrt{d-1}-ε$ can be replaced by $2\sqrt{d-1} + δ$ for some $δ>0$ if graphs have bounded "global girth". On the other side of the spectrum, if the odd girth is large, then we get an Alon-Boppana-Serre type theorem for the negative eigenvalues as well.
$SL_k$-Tiling of the Plane
We study properties of (bi-infinite) arrays having all adjacent $k\times k$ adjacent minors equal to one. If we further add the condition that all adjacent $(k-1)\times (k-1)$ minors be nonzero, then these arrays are necessarily of rank $k$. It follows that we can explicit construct all of them. Several nice properties are made apparent. In particular, we revisit, with this perspective, the notion of frieze patterns of Coxeter. This shed new light on their properties. A connexion is also established with the notion of $T$-systems of Statistical Physics.
Characterization of Balanced Coherent Configurations
Published in J. Algebra (2010), doi:10.1016/j.jalgebra.2010.05.015
• View Publication
• BIB
Let $G$ be a group acting on a finite set $Ω$. Then $G$ acts on $Ω\times Ω$ by its entry-wise action and its orbits form the basis relations of a coherent configuration (or shortly scheme). Our concern is to consider what follows from the assumption that the number of orbits of $G$ on $Ω_i\times Ω_j$ is constant whenever $Ω_i$ and $Ω_j$ are orbits of $G$ on $Ω$. One can conclude from the assumption that the actions of $G$ on ${Ω_i}$'s have the same permutation character and are not necessarily equivalent. From this viewpoint one may ask how many inequivalent actions of a given group with the same permutation character there exist. In this article we will approach to this question by a purely combinatorial method in terms of schemes and investigate the following topics:
(i) balanced schemes and their central primitive idempotents, (ii) characterization of reduced balanced schemes.
On the restricted matching of graphs in surfaces
Published
• View Publication
• BIB
A connected graph $G$ with at least $2m+2n+2$ vertices is said to have property $E(m,n)$ if, for any two disjoint matchings $M$ and $N$ of size $m$ and $n$ respectively, $G$ has a perfect matching $F$ such that $M\subseteq F$ and $N\cap F=\varnothing$. In particular, a graph with $E(m,0)$ is $m$-extendable. Let $μ(Σ)$ be the smallest integer $k$ such that no graphs embedded on a surface $Σ$ are $k$-extendable. Aldred and Plummer have proved that no graphs embedded on the surfaces $Σ$ such as the sphere, the projective plane, the torus, and the Klein bottle are
$E(μ(Σ)-1,1)$. In this paper, we show that this result always holds for any surface. Furthermore, we obtain that if a graph $G$ embedded on a surface has sufficiently many vertices, then $G$ has no property $E(k-1,1)$ for each integer $k\geq 4$, which implies that $G$ is not $k$-extendable. In the case of $k=4$, we get immediately a main result that Aldred et al. recently obtained.
On restricted unitary Cayley graphs and symplectic transformations modulo n
Published in Electronic J. Combinatorics v17 (R69), 2010
• View Publication
• BIB
We present some observations on a restricted variant of unitary Cayley graphs modulo n, and the implications for a decomposition of elements of symplectic operators over the integers modulo n. We define quadratic unitary Cayley graphs G_n, whose vertex set is the ring Z_n, and where residues a, b modulo n are adjacent if and only if their difference is a quadratic residue. By bounding the diameter of such graphs, we show an upper bound on the number of elementary operations (symplectic scalar multiplications, symplectic row swaps, and row additions or subtractions) required to decompose a symplectic matrix over Z_n. We also characterize the conditions on n for G_n to be a perfect graph.