Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Equiangular lines in low dimensional Euclidean spaces
Published
• View Publication
• BIB
We show that the maximum cardinality of an equiangular line system in 14 and 16 dimensions is 28 and 40, respectively, thereby solving a longstanding open problem. We also improve the upper bounds on the cardinality of equiangular line systems in 19 and 20 dimensions to 74 and 94, respectively.
Common Information, Matroid Representation, and Secret Sharing for Matroid Ports
Published in Des. Codes Cryptogr. 89(1): 143-166 (2021)
• View Publication
• BIB
Linear information and rank inequalities as, for instance, Ingleton inequality, are useful tools in information theory and matroid theory. Even though many such inequalities have been found, it seems that most of them remain undiscovered. Improved results have been obtained in recent works by using the properties from which they are derived instead of the inequalities themselves. We apply here this strategy to the classification of matroids according to their representations and to the search for bounds on secret sharing for matroid ports.
On the smallest trees with the same restricted $U$-polynomial and the rooted $U$-polynomial
In this article, we construct explicit examples of pairs of non-isomorphic trees with the same restricted $U$-polynomial for every $k$; by this we mean that the polynomials agree on terms with degree at most $k+1$. The main tool for this construction is a generalization of the $U$-polynomial to rooted graphs, which we introduce and study in this article. Most notably we show that rooted trees can be reconstructed from its rooted $U$-polynomial.
Again around frieze patterns
The main goal of this paper is to prove several new results about frieze patterns and their equivalents, the quiddity (or $η$-)sequences and to obtain a formula giving the number of non-similar frieze patterns of given finite width.
Comparing consecutive letter counts in multiple context-free languages
Published
• View Publication
• BIB
Context-free grammars are not able to model cross-serial dependencies in natural languages. To overcome this issue, Seki et al. introduced a generalization called $m$-multiple context-free grammars ($m$-MCFGs), which deal with $m$-tuples of strings. We show that $m$-MCFGs are capable of comparing the number of consecutive occurrences of at most $2m$ different letters. In particular, the language $\{a_1^{n_1} a_2^{n_2} \dots a_{k}^{n_{2m+1}} \mid n_1 \geq n_2 \geq \dots \geq n_{2m+1} \geq 0\}$ is $(m+1)$-multiple context-free, but not $m$-multiple context-free.
Cospectral constructions for several graph matrices using cousin vertices
Published
• View Publication
• BIB
Graphs can be associated with a matrix according to some rule and we can find the spectrum of a graph with respect to that matrix. Two graphs are cospectral if they have the same spectrum. Constructions of cospectral graphs help us establish patterns about structural information not preserved by the spectrum. We generalize a construction for cospectral graphs previously given for the distance Laplacian matrix to a larger family of graphs. In addition, we show that with appropriate assumptions this generalized construction extends to the adjacency matrix, combinatorial Laplacian matrix, signless Laplacian matrix, normalized Laplacian matrix, and distance matrix.
The Gröbner fan of the Hilbert scheme
Published
• View Publication
• BIB
We give a notion of "combinatorial proximity" among strongly stable ideals in a given polynomial ring with a fixed Hilbert polynomial. We show that this notion guarantees "geometric proximity" of the corresponding points in the Hilbert scheme. We define a graph whose vertices correspond to strongly stable ideals and whose edges correspond to pairs of adjacent ideals. Every term order induces an orientation of the edges of the graph. This directed graph describes the behavior of the points of the Hilbert scheme under Gröbner degenerations with respect to the given term order.
Then, we introduce a polyhedral fan that we call Gröbner fan of the Hilbert scheme. Each cone of maximal dimension corresponds to a different directed graph induced by a term order. This fan encodes several properties of the Hilbert scheme. We use these tools to present a new proof of the connectedness of the Hilbert scheme. Finally, we improve the technique introduced in the paper "Double-generic initial ideal and Hilbert scheme" by Bertone, Cioffi and Roggero to give a lower bound on the number of irreducible components of the Hilbert scheme.
Kolakoski Sequence: Links between Recurrence, Symmetry and Limit Density
Published
• View Publication
• BIB
The Kolakoski sequence $S$ is the unique element of $\left\lbrace 1,2 \right\rbrace^ω$ starting with 1 and coinciding with its own run length encoding. We use the parity of the lengths of particular subclasses of initial words of $S$ as a unifying tool to address the links between the main open questions - recurrence, mirror/reversal invariance and asymptotic density of digits. In particular we prove that recurrence implies reversal invariance, and give sufficient conditions which would imply that the density of 1s is $\frac{1}{2}$.
Approximating infinite graphs by normal trees
Published in J. Combin. Theory Ser. B 148 (2021) 173-183
• View Publication
• BIB
We show that every connected graph can be approximated by a normal tree, up to some arbitrarily small error phrased in terms of neighbourhoods around its ends. The existence of such approximate normal trees has consequences of both combinatorial and topological nature.
On the combinatorial side, we show that a graph has a normal spanning tree as soon as it has normal spanning trees locally at each end; i.e., the only obstruction for a graph to having a normal spanning tree is an end for which none of its neighbourhoods has a normal spanning tree.
On the topological side, we show that the end space $Ω(G)$, as well as the spaces $|G| = G \cup Ω(G)$ naturally associated with a graph $G$, are always paracompact. This gives unified and short proofs for a number of results by Diestel, Sprüssel and Polat, and answers an open question about metrizability of end spaces by Polat.
The G-stable rank for tensors
Published in Alg. Number Th. 16 (2022) 1071-1097
• View Publication
• BIB
We introduce the $G$-stable rank of a higher order tensors over perfect fields.
The $G$-stable rank is related to the Hilbert-Mumford criterion for stability in Geometric Invariant Theory. We will relate the $G$-stable rank to the tensor rank and slice rank. For numerical applications, we express the $G$-stable rank as a solution to an optimization problem. Over the field ${\mathbb F}_3$ we discuss an application to the Cap Set Problem.
On the existence of Hamilton cycles with a periodic pattern in a random digraph
Published
• View Publication
• BIB
We consider Hamilton cycles in the random digraph $D_{n,m}$ where the orientation of edges follows a pattern other than the trivial orientation in which the edges are oriented in the same direction as we traverse the cycle. We show that if the orientation forms a periodic pattern, other than the trivial pattern, then approximately half the usual $n\log n$ edges are needed to guarantee the existence of such Hamilton cycles a.a.s.
Weyl chambers for short step Quarter-plane Lattice Paths
We consider four examples of short step lattice paths confined to the quarter plane. These are the Kreweras, Reverse Kreweras, Gessel, and Mishna-Rechnitzer lattice paths.The Reverse Kreweras are straightforward to solve and thus interesting as a contrast to the Kreweras paths and Gessel paths as the latter two have historically been significantly more difficult to solve. The Mishna-Rechnitzer paths are interesting as they are associated with an infinite order group. We will give some geometrical insight into all these properties by considering the Weyl chambers associated with their step sets.For Reverse Kreweras paths the Weyl chamber walls coincide with the quarter plane boundary and hence the problem is readily solvable by Bethe Ansatz or by using the Gessel-Zeilberger Theorem. For Kreweras paths the quarter plane corresponds to the union of two adjacent Weyl Chambers and hence neither the Bethe Ansatz nor the Gessel-Zeilberger Theorem are directly applicable making the problem considerably more difficult to solve. Similarly, the quarter plane for Gessel paths is the union of three Weyl chambers. For Mishna-Rechnitzer paths the step set has non-zero barycenter leading to an affine dihedral reflection group. The affine structure corresponds to the drift in the random walk. The quarter plane is the union of an infinite number of Weyl alcoves.
An Upper Bound for Sorting $R_n$ with LRE
Published
• View Publication
• BIB
A permutation $π$ over alphabet $Σ= {1,2,3,\ldots,n}$, is a sequence where every element $x$ in $Σ$ occurs exactly once. $S_n$ is the symmetric group consisting of all permutations of length $n$ defined over $Σ$. $I_n$ = $(1, 2, 3,\ldots, n)$ and $R_n =(n, n-1, n-2,\ldots, 2, 1)$ are identity (i.e. sorted) and reverse permutations respectively. An operation, that we call as an $LRE$ operation, has been defined in OEIS with identity A186752. This operation is constituted by three generators: left-rotation, right-rotation and transposition(1,2). We call transposition(1,2) that swaps the two leftmost elements as $Exchange$. The minimum number of moves required to transform $R_n$ into $I_n$ with $LRE$ operation are known for $n \leq 11$ as listed in OEIS with sequence number A186752. For this problem no upper bound is known. OEIS sequence A186783 gives the conjectured diameter of the symmetric group $S_n$ when generated by $LRE$ operations \cite{oeis}. The contributions of this article are: (a) The first non-trivial upper bound for the number of moves required to sort $R_n$ with $LRE$; (b) a tighter upper bound for the number of moves required to sort $R_n$ with $LRE$; and (c) the minimum number of moves required to sort $R_{10}$ and $R_{11}$ have been computed. Here we are computing an upper bound of the diameter of Cayley graph generated by $LRE$ operation. Cayley graphs are employed in computer interconnection networks to model efficient parallel architectures. The diameter of the network corresponds to the maximum delay in the network.
Induced Turán problems and traces of hypergraphs
Let $F$ be a graph. We say that a hypergraph $H$ contains an induced Berge $F$ if the vertices of $F$ can be embedded to $H$ (e.g., $V(F)\subseteq V(H)$) and there exists an injective mapping $f$ from the edges of $F$ to the hyperedges of $H$ such that $f(xy) \cap V(F) = \{x,y\}$ holds for each edge $xy$ of $F$. In other words, $H$ contains $F$ as a trace.
Let $ex_{r}(n,B_{ind} F)$ denote the maximum number of edges in an $r$-uniform hypergraph with no induced Berge $F$. Let $ex(n,K_r, F)$ denote the maximum number of $K_r$'s in an $F$-free graph on $n$ vertices. We show that these two Turán type functions are strongly related.
Constructions of regular sparse anti-magic squares
Graph labeling is a well-known and intensively investigated problem in graph theory. Sparse anti-magic squares are useful in constructing vertex-magic labeling for graphs. For positive integers $n,d$ and $d<n$, an $n\times n$ array $A$ based on $\{0,1,\cdots,nd\}$ is called \emph{a sparse anti-magic square of order $n$ with density $d$}, denoted by SAMS$(n,d)$, if each element of $\{1,2,\cdots,nd\}$ occurs exactly one entry of $A$, and its row-sums, column-sums and two main diagonal sums constitute a set of $2n+2$ consecutive integers. An SAMS$(n,d)$ is called \emph{regular} if there are exactly $d$ positive entries in each row, each column and each main diagonal. In this paper, we investigate the existence of regular sparse anti-magic squares of order $n\equiv1,5\pmod 6$, and it is proved that for any $n\equiv1,5\pmod 6$, there exists a regular SAMS$(n,d)$ if and only if $2\leq d\leq n-1$.
Dominated and dominator colorings over (edge) corona and hierarchical products
Dominator coloring of a graph is a proper (vertex) coloring with the property that every vertex is either alone in its color class or adjacent to all vertices of at least one color class. A dominated coloring of a graph is a proper coloring such that every color class is dominated with at least one vertex. The dominator chromatic number of corona products and of edge corona products is determined. Sharp lower and upper bounds are given for the dominated chromatic number of edge corona products. The dominator chromatic number of hierarchical products is bounded from above and the dominated chromatic number of hierarchical products with two factors determined. An application of dominated colorings in genetic networks is also proposed.
Combinatorial quantum field theory and the Jacobian conjecture
Published
• View Publication
• BIB
In this short review we first recall combinatorial or ($0-$dimensional) quantum field theory (QFT). We then give the main idea of a standard QFT method, called the intermediate field method, and we review how to apply this method to a combinatorial QFT reformulation of the celebrated Jacobian conjecture on the invertibility of polynomial systems. This approach establishes a related theorem concerning partial elimination of variables that implies a reduction of the generic case to the quadratic one. Note that this does not imply solving the Jacobian conjecture, because one needs to introduce a supplementary parameter for the dimension of a certain linear subspace where the system holds.
Similarity Isometries of Point Packings
Published in Acta Cryst. (2020). A76, 677-686
• View Publication
• BIB
A linear isometry $R$ of $\mathbb{R}^d$ is called a similarity isometry of a lattice $Γ\subseteq \mathbb{R}^d$ if there exists a positive real number $β$ such that $βRΓ$ is a sublattice of (finite index in) $Γ$. The set $βRΓ$ is referred to as a similar sublattice of $Γ$. A (crystallographic) point packing generated by a lattice $Γ$ is a union of $Γ$ with finitely many shifted copies of $Γ$. In this study, the notion of similarity isometries is extended to point packings. We provide a characterization for the similarity isometries of point packings and identify the corresponding similar subpackings. Planar examples will be discussed, namely, the $1 \times 2$ rectangular lattice and the hexagonal packing (or honeycomb lattice). Finally, we also consider similarity isometries of point packings about points different from the origin by studying similarity isometries of shifted point packings. In particular, similarity isometries of a certain shifted hexagonal packing will be computed and compared with that of the hexagonal packing.
Fluctuations in the Aztec diamonds via a space-like maximal surface in Minkowski 3-space
Published in Confluentes Math., 16, 1-17, 2024
• View Publication
• BIB
We provide a new description of the scaling limit of dimer fluctuations in homogeneous Aztec diamonds via the intrinsic conformal structure of a space-like maximal surface in the three-dimensional Minkowski space $\mathbb{R}^{2,1}$. This surface naturally appears as the limit of the graphs of origami maps associated to symmetric t-embeddings of Aztec diamonds, fitting the framework recently developed in arXiv:2109.06272.
The least H-eigenvalue of adjacency tensor of hypergraphs with cut vertices
Published in Frontiers of Mathematics in China, volume 15, 2020, 451-465
• View Publication
• BIB
Let $G$ be a connected hypergraph with even uniformity, which contains cut vertices. Then $G$ is the coalescence of two nontrivial connected sub-hypergraphs (called branches) at a cut vertex. Let $\mathcal{A}(G)$ be the adjacency tensor of $G$. The least H-eigenvalue of $\mathcal{A}(G)$ refers to the least real eigenvalue of $\mathcal{A}(G)$ associated with a real eigenvector. In this paper we obtain a perturbation result on the least H-eigenvalue of $\mathcal{A}(G)$ when a branch of $G$ attached at one vertex is relocated to another vertex, and characterize the unique hypergraph whose least H-eigenvalue attains the minimum among all hypergraphs in a certain class of hypergraphs which contain a fixed connected hypergraph.