Showing 20 papers (Total: 83502 papers, 48219 authors in database)
An Alexander-type duality for valuations
Published in Proc. Amer. Math. Soc. 143 (2015), 833-843
• View Publication
• BIB
We prove an Alexander-type duality for valuations for certain subcomplexes in the boundary of polyhedra. These strengthen and simplify results of Stanley (1974) and Miller-Reiner (2005). We give a generalization of Brion's theorem for this relative situation and we discuss the topology of the possible subcomplexes for which the duality relation holds.
A simple proof of Andrews's 5F4 evaluation
Published in Ramanujan J. 36 (2015), no. 1-2, 165-170
• View Publication
• BIB
We give a simple proof of George Andrews's balanced 5F4 evaluation using two fundamental principles: the nth difference of a polynomial of degree less than n is zero, and a polynomial of degree n that vanishes at n+1 points is identically zero.
On Finding Lekkerkerker-Boland Subgraphs
Published
• View Publication
• BIB
Lekkerkerker and Boland characterized the minimal forbidden induced subgraphs for the class of interval graphs. We give a linear-time algorithm to find one in any graph that is not an interval graph. Tucker characterized the minimal forbidden submatrices of matrices that do not have the consecutive-ones property. We give a linear-time algorithm to find one in any matrix that does not have the consecutive-ones property.
Answers to some problems about graph coloring test graphs
Published in European J. Combin. 45 (2015) 59-64
• View Publication
• BIB
We prove that a graph whose chromatic number is 2 is a homotopy test graph. We also prove that there is a graph $K$ with two involutions $γ_1$ and $γ_2$ such that $(K,γ_1)$ is a Stiefel-Whitney test graph, but $(K,γ_2)$ is not. These are answers to some of the problems suggested by Kozlov.
Symmetry groups of Boolean Functions
Published
• View Publication
• BIB
We prove that every abelian permutation group, but known exceptions, is the symmetry group of a boolean function. This solves the problem posed in the book by Clote and Kranakis. In fact, our result is proved for a larger class of groups, namely, for all groups contained in direct sums of regular groups.
Zeta functions for infinite graphs and functional equations
Published in Contemporary Mathematics, vol. 601. Amer. Math. Soc., Providence, RI, 2013, pp. 123-146
• View Publication
• BIB
The definitions and main properties of the Ihara and Bartholdi zeta functions for infinite graphs are reviewed. The general question of the validity of a functional equation is discussed, and various possible solutions are proposed.
Deformation of tropical Hirzebruch surfaces and enumerative geometry
We illustrate the use of tropical methods by generalizing a formula due to Abramovich and Bertram, extended later by Vakil. Namely, we exhibit relations between enumerative invariants of the Hirzebruch surfaces $Σ_n$ and $Σ_{n+2}$, obtained by deforming the first surface to the latter.
Our strategy involves a tropical counterpart of deformations of Hirzebruch surfaces, and tropical enumerative geometry on a tropical surface in three-space.
On the tensor degree of finite groups
Published in Ars Combinatoria 131 (2017), 273-283
• Search Publication
We study the number of elements $x$ and $y$ of a finite group $G$ such that $x \otimes y= 1_{_{G \otimes G}}$ in the nonabelian tensor square $G \otimes G$ of $G$. This number, divided by $|G|^2$, is called the tensor degree of $G$ and has connection with the exterior degree, introduced few years ago in [P. Niroomand and R. Rezaei, On the exterior degree of finite groups, Comm. Algebra 39 (2011), 335--343]. The analysis of upper and lower bounds of the tensor degree allows us to find interesting structural restrictions for the whole group.
Compositions and Fibonacci Identities
Published in Journal of Integer Sequences, Vol. 16 (2013), Article 13.4.5
• Search Publication
We study formulas expressing Fibonacci numbers as sums over compositions using free submonoids of the free monoid of compositions with parts 1 and 2.
A stack and a pop stack in series
We study sorting machines consisting of a stack and a pop stack in series, with or without a queue between them. While there are, a priori, four such machines, only two are essentially different: a pop stack followed directly by a stack, and a pop stack followed by a queue and then by a stack. In the former case, we obtain complete answers for the basis and enumeration of the sortable permutations. In the latter case, we present several conjectures.
On partitions of G-spaces and G-lattices
Published in IJAC 26:2 (2016) 283-308
• View Publication
• BIB
Given a $G$-space $X$ and a non-trivial $G$-invariant ideal $I$ of subsets of $X$, we prove that for every partition $X=A_1\cup\dots\cup A_n$ of $X$ into $n\ge 2$ pieces there is a piece $A_i$ of the partition and a finite set $F\subset G$ of cardinality $|F|\le φ(n+1):=\max_{1<x<n+1}\frac{x^{n+1-x}-1}{x-1}$ such that $G=F\cdot Δ(A_i)$ where $Δ(A_i)=\{g\in G:gA_i\cap A_i\notin I\}$ is the difference set of the set $A_i$. Also we investigate the growth of the sequence $φ(n)=\max_{1<x<n}\frac{x^{n-x}-1}{x-1}$ and show that $\ln φ(n)=nW(ne)-2n+\frac{n}{W(ne)}+\frac{W(ne)}{n}+O\big(\frac{\ln n}n\big)$ where $W(x)$ is the Lambert W-function, defined implicitly as $W(x)e^{W(x)}=x$. This shows that $φ(n)$ grows faster that any exponent $a^n$ but slower than the sequence of factorials $n!$.
The Minimal Automorphism-Free Tree
A finite tree $T$ with $|V(T)| \geq 2$ is called {\it automorphism-free} if there is no non-trivial automorphism of $T$. Let $\mathcal{AFT}$ be the poset with the element set of all finite automorphism-free trees (up to graph isomorphism) ordered by $T_1 \preceq T_2$ if $T_1$ can be obtained from $T_2$ by successively deleting one leaf at a time in such a way that each intermediate tree is also automorphism-free. In this paper, we prove that $\mathcal{AFT}$ has a unique minimal element. This result gives an affirmative answer to the question asked by Rupinski.
Associative nil-algebras over finite fields
Published
• View Publication
• BIB
The nilpotency degree of a relatively free finitely generated associative algebra with the identity $x^n=0$ is studied over finite fields.
Geometric realizations and duality for Dahmen-Micchelli modules and De Concini-Procesi-Vergne modules
Published
• View Publication
• BIB
We give an algebraic description of several modules and algebras related to the vector partition function, and we prove that they can be realized as the equivariant K-theory of some manifolds that have a nice combinatorial description. We also propose a more natural and general notion of duality between these modules, which corresponds to a Poincaré duality-type correspondence for equivariant K-theory.
Total Domishold Graphs: a Generalization of Threshold Graphs, with Connections to Threshold Hypergraphs
Published in Discrete Applied Mathematics 179 (2014) 1-12
• View Publication
• BIB
A total dominating set in a graph is a set of vertices such that every vertex of the graph has a neighbor in the set. We introduce and study graphs that admit non-negative real weights associated to their vertices such that a set of vertices is a total dominating set if and only if the sum of the corresponding weights exceeds a certain threshold. We show that these graphs, which we call total domishold graphs, form a non-hereditary class of graphs properly containing the classes of threshold graphs and the complements of domishold graphs, and are closely related to threshold Boolean functions and threshold hypergraphs. We present a polynomial time recognition algorithm of total domishold graphs, and characterize graphs in which the above property holds in a hereditary sense. Our characterization is obtained by studying a new family of hypergraphs, defined similarly as the Sperner hypergraphs, which may be of independent interest.
On the vertex-to-edge duality between the Cayley graph and the coset geometry of von Dyck groups
Published
• View Publication
• BIB
We prove that the Cayley graph and the coset geometry of the von Dyck group $D(a,b,c)$ are linked by a vertex-to-edge duality.
Enumerating Abelian Returns to Prefixes of Sturmian Words
We follow the works of Puzynina and Zamboni, and Rigo et al. on abelian returns in Sturmian words. We determine the cardinality of the set $\mathcal{APR}_u$ of abelian returns of all prefixes of a Sturmian word $u$ in terms of the coefficients of the continued fraction of the slope, dependingly on the intercept. We provide a simple algorithm for finding the set $\mathcal{APR}_u$ and we determine it for the characteristic Sturmian words.
A new statistic on the hyperoctahedral groups
Published
• View Publication
• BIB
We introduce a new statistic on the hyperoctahedral groups (Coxeter groups of type B), and give a conjectural formula for its signed distributions over arbitrary descent classes. The statistic is analogous to the classical Coxeter length function, and features a parity condition. For descent classes which are singletons the conjectured formula gives the Poincaré polynomials of the varieties of symmetric matrices of fixed rank.
For several descent classes we prove the conjectural formula. For this we construct suitable "supporting sets" for the relevant generating functions. We prove cancellations on the complements of these supporting sets using suitably defined sign reversing involutions.
On traceability of claw-o_{-1}-heavy graphs
Published
• View Publication
• BIB
A graph is called traceable if it contains a Hamilton path, i.e., a path passing through all its vertices. Let $G$ be a graph on $n$ vertices. $G$ is called claw-$o_{-1}$-heavy if every induced claw ($K_{1,3}$) of $G$ has a pair of nonadjacent vertices with degree sum at least $n-1$ in $G$. In this paper we show that a claw-$o_{-1}$-heavy graph $G$ is traceable if we impose certain additional conditions on $G$ involving forbidden induced subgraphs.
Non-overlapping codes
Published
• View Publication
• BIB
We say that a $q$-ary length $n$ code is \emph{non-overlapping} if the set of non-trivial prefixes of codewords and the set of non-trivial suffices of codewords are disjoint. These codes were first studied by Levenshtein in 1964, motivated by applications in synchronisation. More recently these codes were independently invented (under the name \emph{cross-bifix-free} codes) by Bajić and Stojanović.
We provide a simple construction for a class of non-overlapping codes which has optimal cardinality whenever $n$ divides $q$. Moreover, for all parameters $n$ and $q$ we show that a code from this class is close to optimal, in the sense that it has cardinality within a constant factor of an upper bound due to Levenshtein from 1970. Previous constructions have cardinality within a constant factor of the upper bound only when $q$ is fixed.
Chee, Kiah, Purkayastha and Wang showed that a $q$-ary length $n$ non-overlapping code contains at most $q^n/(2n-1)$ codewords; this bound is weaker than the Levenshtein bound. Their proof appealed to the application in synchronisation: we provide a direct combinatorial argument to establish the bound of Chee \emph{et al}.
We also consider codes of short length, finding the leading term of the maximal cardinality of a non-overlapping code when $n$ is fixed and $q\rightarrow \infty$. The largest cardinality of non-overlapping codes of lengths $3$ or less is determined exactly.