Showing 20 papers (Total: 84125 papers, 48472 authors in database)
Twisted patterns in large subsets of $\mathbb{Z}^N$
Let $E \subset \mathbb{Z}^N$ be a set of positive upper Banach density and let $Γ< \operatorname{GL}_N(\mathbb{Z})$ be a finitely generated, strongly irreducible subgroup whose Zariski closure in $\operatorname{GL}_N(\mathbb{R})$ is a Zariski connected semisimple group with no compact factors. Let $Y$ be any set and suppose that $Ψ: \mathbb{Z}^N \rightarrow Y$ is a $Γ$-invariant function. We prove that for every positive integer $m$, there exists a positive integer $k$ with the property that for every finite set $F \subset \mathbb{Z}^N$ with $|F| = m$, we have \[ Ψ(kF) \subset Ψ(E-b) \quad \textrm{for some $b \in E$}. \] Furthermore, if $E$ is an aperiodic Bohr$_o$-set, we can choose $k = 1$ and $b = 0$. As one of many applications of this result, we show that if $E_o \subset \mathbb{Z}$ has positive upper Banach density, then, for any integer $m$, there exists an integer $k$ with the property for \emph{every} finite set $F \subset \mathbb{Z}$, we can find $x,y,z \in E_o$ such that \[ k^2 F \subset \big\{ (u-x)^2 + (v-y)^2 - (w-z)^2 \, : \, u,v,w \in E_o \big\}. \] In particular, if $E_o \subset \mathbb{Z}$ is an aperiodic Bohr$_o$-set, then every integer can be written on the form $u^2 + v^2 - w^2$ for some $u,v,w \in E_o$. Our techniques use recent results by Benoist-Quint and Bourgain-Furman-Lindenstrauss-Mozes on equidistribution of random walks on automorphism groups of tori.
Equivalent Properties of CD Inequality on Graph
We study some equivalent properties of the curvature-dimension conditions $CD(n,K)$ inequality on infinite, but locally finite graph. These equivalences are gradient estimate, Poincaré type inequalities and reverse Poincaré inequalities. And we also obtain one equivalent property of gradient estimate for a new notion of curvature-dimension conditions $CDE'(\infty, K)$ at the same assumption of graphs.
Elliptic rook and file numbers
Published in Electron. J. Combin. 24(1) (2017), #P1.31
• View Publication
• BIB
Utilizing elliptic weights, we construct an elliptic analogue of rook numbers for Ferrers boards. Our elliptic rook numbers generalize Garsia and Remmel's q-rook numbers by two additional independent parameters a and b, and a nome p. These are shown to satisfy an elliptic extension of a factorization theorem which in the classical case was established by Goldman, Joichi and White and later was extended to the q-case by Garsia and Remmel. We obtain similar results for our elliptic analogues of Garsia and Remmel's q-file numbers for skyline boards. We also provide an elliptic extension of the j-attacking model introduced by Remmel and Wachs. Various applications of our results include elliptic analogues of (generalized) Stirling numbers of the first and second kind, Lah numbers, Abel numbers, and r-restricted versions thereof.
Relative t-designs in binary Hamming association scheme H(n,2)
Published
• View Publication
• BIB
A relative t-design in the binary Hamming association schemes H(n,2) is equivalent to a weighted regular t-wise balanced design, i.e., certain combinatorial t-design which allow different sizes of blocks and a weight function on blocks. In this paper, we study relative t-designs in H(n,2), putting emphasis on Fisher type inequalities and the existence of tight relative t-designs. We mostly consider relative t-designs on two shells. We prove that if the weight function is constant on each shell of a relative t-design on two shells then the subset in each shell must be a combinatorial (t-1)-design. This is a generalization of the result of Kageyama who proved this under the stronger assumption that the weight function is constant on the whole block set. Using this, we define tight relative t-designs for odd t, and a strong restriction on the possible parameters of tight relative t-designs in H(n,2). We obtained a new family of such tight relative t-designs, which were unnoticed before. We will give a list of feasible parameters of such relative 3-designs with n up to 100, and then we discuss the existence and/or the non-existence of such tight relative 3-designs. We also discuss feasible parameters of tight relative 4-designs on two shells in H(n,2) with n up 50. In this study we come up with the connection on the topics of classical design theory, such as symmetric 2-designs (in particular 2-(4u-1,2u-1,u-1) Hadamard designs) and Driessen's result on the non-existence of certain 3-designs. We believe the Problem 1 and Problem 2 presented in Section 5.2 open a new way to study relative t-designs in H(n,2). We conclude our paper listing several open problems.
The Propus Construction for Symmetric Hadamard Matrices
\textit{Propus} (which means twins) is a construction method for orthogonal $\pm 1$ matrices based on a variation of the Williamson array called the \textit{propus array}
\[ \begin{matrix*}[r]
A& B & B & D
B& D & -A &-B
B& -A & -D & B
D& -B & B &-A.
\end{matrix*} \]
This construction designed to find symmetric Hadamard matrices was originally based on circulant symmetric $\pm 1$ matrices, called \textit{propus matrices}. We also give another construction based on symmetric Williamson-type matrices.
We give constructions to find symmetric propus-Hadamard matrices for 57 orders $4n$, $n < 200$ odd.
We give variations of the above array to allow for more general matrices than symmetric Williamson propus matrices. One such is the \textit{ Generalized Propus Array (GP)}.
Computing the Chern-Schwartz-MacPherson Class of Complete Simplical Toric Varieties
Published
• View Publication
• BIB
Topological invariants such as characteristic classes are an important tool to aid in understanding and categorizing the structure and properties of algebraic varieties. In this note we consider the problem of computing a particular characteristic class, the Chern-Schwartz-MacPherson class, of a complete simplicial toric variety X defined by a fan from the combinatorial data contained in the fan. Specifically, we give an effective combinatorial algorithm to compute the Chern-Schwartz-MacPherson class of X, in the Chow ring (or rational Chow ring) of X. This method is formulated by combining, and when necessary modifying, several known results from the literature and is implemented in Macaulay2 for test purposes.
Combinatorics of a fractal tiling family
In this paper, we propose to enumerate all different configurations belonging to a specific class of fractals: A binary initial tile is selected and a finite recursive tiling process is engaged to produce auto-similar binary patterns. For each initial tile choice the number of possible configurations is finite. This combinatorial problem recalls the famous Escher tiling problem [2]. By using the Burnside lemma we show that there are exactly 232 really different fractals when the initial tile is a particular 2x2 matrix. Partial results are also presented in the 3x3 case when the initial tile presents some symmetry properties.
The cycle descent statistic on permutations
Published
• View Publication
• BIB
In this paper we study the cycle descent statistic on permutations. Several involutions on permutations and derangements are constructed. Moreover, we construct a bijection between negative cycle descent permutations and Callan perfect matchings.
Fourientation activities and the Tutte polynomial
Published in European Journal of Combinatorics 67, 40-60 (2018)
• View Publication
• BIB
A fourientation of a graph $G$ is a choice for each edge of the graph whether to orient that edge in either direction, leave it unoriented, or biorient it. We may naturally view fourientations as a mixture of subgraphs and graph orientations where unoriented and bioriented edges play the role of absent and present subgraph edges, respectively. Building on work of Backman and Hopkins (2015), we show that given a linear order and a reference orientation of the edge set, one can define activities for fourientations of $G$ which allow for a new 12 variable expansion of the Tutte polynomial $T_G$. Our formula specializes to both the Las Vergnas (1984) orientation activites expansion of the Tutte polynomial and the generalized activities expansion of Gordon and Traldi (1990).
Block Stanley decompositions I. Elementary and gnomon decompositions
Published in J. of Pure and Applied Algebra 219 (2015) 2189-2205
• View Publication
• BIB
Stanley decompositions are used in invariant theory and the theory of normal forms for dynamical systems to provide a unique way of writing each invariant as a polynomial in the Hilbert basis elements. Since the required Stanley decompositions can be very long, we introduce a more concise notation called a block decomposition, along with three notions of shortness (incompressibility, minimality of Stanley spaces, and minimality of blocks) for block decompositions. We give two algorithms that generate different block decompositions, which we call elementary and gnomon decompositions, and give examples. Soleyman-Jahan's criterion for a Stanley decomposition to come from a prime filtration is reformulated to apply to block decompositions. We simplify his proof, and apply the theorem to show that elementary and gnomon decompositions come from "subprime" filtrations. In a sequel to this paper we will introduce two additional algorithms that generate block decompositions that may not always be subprime, but are always incompressible.
Pruned double Hurwitz numbers
Published in Electron. J. Comb. 24, No. 3, Research Paper P3.66, 2017
• View Publication
• BIB
Hurwitz numbers count ramified genus $g$, degree $d$ coverings of the projective line with with fixed branch locus and fixed ramification data. Double Hurwitz numbers count such covers, where we fix two special profiles over $0$ and $\infty$ and only simple ramification else. These objects feature insteresting structural behaviour and connections to geometry. In this paper, we introduce the notion of pruned double Hurwitz numbers, generalizing the notion of pruned simple Hurwitz numbers in \cite{DN13}. We show that pruned double Hurwitz numbers, similar to usual double Hurwitz numbers, satisfy a cut-and-join recursion and are piecewise polynomial with respect to the entries of the two special ramification profiles. Furthermore double Hurwitz numbers can be computed from pruned double Hurwitz numbers. To sum up, it can be said that pruned double Hurwitz numbers count a relevant subset of covers, leading to considerably smaller numbers and computations, but still featuring the important properties we can observe for double Hurwitz numbers.
A Novel Paradigm for Calculating Ramsey Number via Artificial Bee Colony Algorithm
Published
• View Publication
• BIB
The Ramsey number is of vital importance in Ramsey's theorem. This paper proposed a novel methodology for constructing Ramsey graphs about R(3,10), which uses Artificial Bee Colony optimization(ABC) to raise the lower bound of Ramsey number R(3,10). The r(3,10)-graph contains two limitations, that is, neither complete graphs of order 3 nor independent sets of order 10. To resolve these limitations, a special mathematical model is put in the paradigm to convert the problems into discrete optimization whose smaller minimizers are correspondent to bigger lower bound as approximation of inf R(3,10). To demonstrate the potential of the proposed method, simulations are done to to minimize the amount of these two types of graphs. For the first time, four r(3,9,39) graphs with best approximation for inf R(3,10) are reported in simulations to support the current lower bound for R(3,10). The experiments' results show that the proposed paradigm for Ramsey number's calculation driven by ABC is a successful method with the advantages of high precision and robustness.
Exact Algorithms via Monotone Local Search
Published
• View Publication
• BIB
We give a new general approach for designing exact exponential-time algorithms for subset problems. In a subset problem the input implicitly describes a family of sets over a universe of size n and the task is to determine whether the family contains at least one set. Our approach is based on "monotone local search", where the goal is to extend a partial solution to a solution by adding as few elements as possible. More formally, in the extension problem we are also given as input a subset X of the universe and an integer k. The task is to determine whether one can add at most k elements to X to obtain a set in the (implicitly defined) family. Our main result is that an O*(c^k) time algorithm for the extension problem immediately yields a randomized algorithm for finding a solution of any size with running time O*((2-1/c)^n).
In many cases, the extension problem can be reduced to simply finding a solution of size at most k. Furthermore, efficient algorithms for finding small solutions have been extensively studied in the field of parameterized algorithms. Directly applying these algorithms, our theorem yields in one stroke significant improvements over the best known exponential-time algorithms for several well-studied problems, including d-Hitting Set, Feedback Vertex Set, Node Unique Label Cover, and Weighted d-SAT. Our results demonstrate an interesting and very concrete connection between parameterized algorithms and exact exponential-time algorithms.
We also show how to derandomize our algorithms at the cost of a subexponential multiplicative factor in the running time. Our derandomization is based on an efficient construction of a new pseudo-random object that might be of independent interest. Finally, we extend our methods to establish new combinatorial upper bounds and develop enumeration algorithms.
The mechanics of shuffle products and their siblings
Published
• View Publication
• BIB
We carry on the investigation initiated in [15] : we describe new shuffle products coming from some special functions and group them, along with other products encountered in the literature, in a class of products, which we name $\varphi$-shuffle products. Our paper is dedicated to a study of the latter class, from a combinatorial standpoint. We consider first how to extend Radford's theorem to the products in that class, then how to construct their bi-algebras. As some conditions are necessary do carry that out, we study them closely and simplify them so that they can be seen directly from the definition of the product. We eventually test these conditions on the products mentioned above.
Restricted Product Sets under Unique Representability
We prove some results of Kemperman--Scherk type for restricted product sets in multiplicative groups of fields (in particular, for cyclic groups). The proofs use polynomial method.
An algorithm for finding Hamiltonian Cycles in Cubic Planar Graphs
We first prove a one-to-one correspondence between finding Hamiltonian cycles in a cubic planar graphs and finding trees with specific properties in dual graphs. Using this information, we construct an exact algorithm for finding Hamiltonian cycles in cubic planar graphs. The worst case time complexity of our algorithm is O$(2^n)$.
Laplacian Coefficient, Matching Polynomial and Incidence Energy of of Trees with Described Maximum Degree
Published
• View Publication
• BIB
Let $\mathcal{L}(T,λ)=\sum_{k=0}^n(-1)^{k}c_{k}(T)λ^{n-k}$ be the characteristic polynomial of its Laplacian matrix of a tree $T$. This paper studied some properties of the generating function of the coefficients sequence $(c_0, \cdots, c_n)$ which are related with the matching polynomials of division tree of $T$. These results, in turn, are used to characterize all extremal trees having the minimum Laplacian coefficient generation function and the minimum incidence energy of trees with described maximum degree, respectively.
On the Rectilinear Crossing Number of Complete Uniform Hypergraphs
Published
• View Publication
• BIB
In this paper, we consider a generalized version of the rectilinear crossing number problem of drawing complete graphs on a plane. The minimum number of crossing pairs of hyperedges in the $d$-dimensional rectilinear drawing of a $d$-uniform hypergraph is known as the $d$-dimensional rectilinear crossing number of the hypergraph. The currently best-known lower bound on the $d$-dimensional rectilinear crossing number of a complete $d$-uniform hypergraph with $n$ vertices in general position in $\mathbb{R}^d$ is $Ω(\frac{2^d}{\sqrt{d}} \log d) {n \choose 2d}$. In this paper, we improve this lower bound to $Ω(2^d) {n \choose 2d}$. We also consider the special case when all the vertices of a $d$-uniform hypergraph are placed on the $d$-dimensional moment curve. For such complete $d$-uniform hypergraphs with $n$ vertices, we show that the number of pairwise crossing hyperedges is $Θ(\frac{4^d}{\sqrt{d}}) {n \choose 2d}$.
On the possible values of the entropy of undirected graphs
Published
• View Publication
• BIB
The entropy of a digraph is a fundamental measure which relates network coding, information theory, and fixed points of finite dynamical systems. In this paper, we focus on the entropy of undirected graphs. We prove that for any integer $k$ the number of possible values of the entropy of an undirected graph up to $k$ is finite. We also determine all the possible values for the entropy of an undirected graph up to the value of four.
On connected simple graphs and their degree sequences
This note describes necessary and sufficient conditions for a sequence of positive integers to be the degree sequence of a connected simple graph. Conditions are also given under which a sequence is necessarily connected i.e. the sequence can only be realised as a connected graph. A matrix is introduced whose non-empty entries partition the set of connected graphs. The note concludes with a result relating the number of edges in a simple graph to the connectedness of the graph.