Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Transversals in quasirandom latin squares
Published
• View Publication
• BIB
A transversal in an $n \times n$ latin square is a collection of $n$ entries not repeating any row, column, or symbol. Kwan showed that almost every $n \times n$ latin square has $\bigl((1 + o(1)) n / e^2\bigr)^n$ transversals as $n \to \infty$. Using a loose variant of the circle method we sharpen this to $(e^{-1/2} + o(1)) n!^2 / n^n$. Our method works for all latin squares satisfying a certain quasirandomness condition, which includes both random latin squares with high probability as well as multiplication tables of quasirandom groups.
Circular Hessenberg Pairs
Published in Linear Algebra Appl. 655 (2022), 201--235
• View Publication
• BIB
A square matrix is called Hessenberg whenever each entry below the subdiagonal is zero and each entry on the subdiagonal is nonzero. Let $M$ denote a Hessenberg matrix. Then $M$ is called circular whenever the upper-right corner entry of $M$ is nonzero and every other entry above the superdiagonal is zero. A circular Hessenberg pair consists of two diagonalizable linear maps on a nonzero finite-dimensional vector space, that each act on an eigenbasis of the other one in a circular Hessenberg fashion. Let $A, A^*$ denote a circular Hessenberg pair. We investigate six bases for the underlying vector space that we find attractive. We display the transition matrices between certain pairs of bases among the six. We also display the matrices that represent $A$ and $A^*$ with respect to the six bases. We introduce a special type of circular Hessenberg pair, said to be recurrent. We show that a circular Hessenberg pair $A, A^*$ is recurrent if and only if $A, A^*$ satisfy the tridiagonal relations. For a circular Hessenberg pair, there is a related object called a circular Hessenberg system. We classify up to isomorphism the recurrent circular Hessenberg systems. To this end, we construct four families of recurrent circular Hessenberg systems. We show that every recurrent circular Hessenberg system is isomorphic to a member of one of the four families.
$\mathbb{Z}$-local system cohomology of hyperplane arrangements and a Cohen-Dimca-Orlik type theorem
Published
• View Publication
• BIB
Local system cohomology groups of the complements of hyperplane arrangements have played an important role in the theory of hypergeometric integrals, the topology of Milnor fibers and covering spaces. One of the important theorems is the vanishing theorem for generic $\mathbb{C}$-local systems which goes back to Aomoto's work. Later, Cohen, Dimca, and Orlik proved a stronger version of the vanishing theorem. In this paper, we prove a Cohen-Dimca-Orlik type theorem for $\mathbb{Z}$-local systems.
Betti numbers and torsions in homology groups of double coverings
Published
• View Publication
• BIB
Papadima and Suciu proved an inequality between the ranks of the cohomology groups of the Aomoto complex with finite field coefficients and the twisted cohomology groups, and conjectured that they are actually equal for certain cases associated with the Milnor fiber of the arrangement. Recently, an arrangement (the icosidodecahedral arrangement) with the following two peculiar properties was found: (i) the strict version of Papadima-Suciu's inequality holds, and (ii) the first integral homology of the Milnor fiber has a non-trivial $2$-torsion. In this paper, we investigate the relationship between these two properties for double covering spaces. We prove that (i) and (ii) are actually equivalent.
Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Boston, MA, USA, 2023
• View Publication
• BIB
The (left) linear hull of a weighted automaton over a field is a topological invariant. If the automaton is minimal, the linear hull can be used to determine whether or not the automaton is equivalent to a deterministic one. Furthermore, the linear hull can also be used to determine whether the minimal automaton is equivalent to an unambiguous one. We show how to compute the linear hull, and thus prove that it is decidable whether or not a given automaton over a number field is equivalent to a deterministic one. In this case we are also able to compute an equivalent deterministic automaton. We also show the analogous decidability and computability result for the unambiguous case. Our results resolve a problem posed in a 2006 survey by Lombardy and Sakarovitch.
Existence of $λ$-Fold Non-zero sum Heffter arrays through local considerations
In [12] was introduced, for cyclic groups, the class of partially filled arrays of the non-zero sum Heffter array that are, as the Heffter arrays, related to difference families, graph decompositions, and biembeddings. Here we generalize this definition to any finite groups. Given a subgroup $J$ of order $t$ of a group $G$, a $λ$-fold non-zero sum Heffter array over $G$ relative to $J$, $^λ\mathrm{N}\mathrm{H}_t(m,n; h,k)$, is an $m \times n$ p. f. array with entries in $G$ such that: each row contains $h$ filled cells and each column contains $k$ filled cells; for every $x\in G\setminus J$, the sum of the occurrence of $x$ and $-x$ is $λ$; the sum of the elements in every row and column is, following the natural orderings from left to right for the rows and from top to bottom for the columns, different from $0$ (in $G$). In [12], there was presented a complete, probabilistic, solution for the existence problem in case $λ=1$ and $G=\mathbb{Z}_v$ that is the starting point of this investigation. In this paper, we will consider the existence problem for a generic value of $λ$ and a generic finite group $G$, and we present an almost complete solution to this problem. In particular, we will prove, through local considerations (inspired by Lovász Local Lemma), that there exists a $λ$-fold non-zero sum Heffter array over $G$ relative to $J$ whenever the trivial necessary conditions are satisfied and $|G|=v\geq 41$. This value can be turned down to $29$ in case the array does not contain empty cells. Finally, we will show that these arrays give rise to biembeddings of multigraphs into orientable surfaces and we provide new infinite families of such embeddings.
On the unicyclic graphs having vertices that belong to all their (strong) metric bases
Published in Discrete Applied Mathematics, 353, p. 191-207, 2024
• View Publication
• BIB
A metric basis in a graph $G$ is a smallest possible set $S$ of vertices of $G$, with the property that any two vertices of $G$ are uniquely recognized by using a vector of distances to the vertices in $S$. A strong metric basis is a variant of metric basis that represents a smallest possible set $S'$ of vertices of $G$ such that any two vertices $x,y$ of $G$ are uniquely recognized by a vertex $v\in S'$ by using either a shortest $x-v$ path that contains $y$, or a shortest $y-v$ path that contains $x$. Given a graph $G$, there exist sometimes some vertices of $G$ such that they forcedly belong to every metric basis or to every strong metric basis of $G$. Such vertices are called (resp. strong) basis forced vertices in $G$. It is natural to consider finding them, in order to find a (strong) metric basis in a graph. However, deciding about the existence of these vertices in arbitrary graphs is in general an NP-hard problem, which makes desirable the problem of searching for (strong) basis forced vertices in special graph classes. This article centers the attention in the class of unicyclic graphs. It is known that a unicyclic graph can have at most two basis forced vertices. In this sense, several results aimed to classify the unicyclic graphs according to the number of basis forced vertices they have are given in this work. On the other hand, with respect to the strong metric bases, it is proved in this work that unicyclic graphs can have as many strong basis forced vertices as we would require. Moreover, some characterizations of the unicyclic graphs concerning the existence or not of such vertices are given in the exposition as well.
A new proof of Atiyah's conjecture on configurations of four points
Published
• View Publication
• BIB
In Surveys in Differential Geometry, Volume 7, published in 2002 and Philosophical Transactions of the Royal Society A, Volume 359, published in 2001, Sir Michael Atiyah introduced what is known as the Atiyah problem on configurations of points, which can be briefly described as the conjecture that the $n$ polynomials (each defined up to a phase factor) associated geometrically to a configuration of $n$ distinct points in $\mathbb{R}^3$ are always linearly independent. The first ``hard'' case is for $n = 4$ points, for which the linear independence conjecture was proved by Eastwood and Norbury in Geometry & Topology (2), in 2001.
We present a new proof of Atiyah's linear independence conjecture on configurations of four points, i.e. of Eastwood and Norbury's theorem. Our proof consists in showing that the Gram matrix of the $4$ polynomials associated to a configuration of $4$ points in Euclidean $3$-space is always positive definite. It makes use of $2$-spinor calculus and the theory of hermitian positive semidefinite matrices.
Realizing convex codes with axis-parallel boxes
Published in Involve 17 (2024) 633-649
• View Publication
• BIB
Every ordered collection of sets in Euclidean space can be associated to a combinatorial code, which records the regions cut out by the sets in space. Given two ordered collections of sets, one can form a third collection in which the $i$-th set is the Cartesian product of the corresponding sets from the original collections. We prove a general "product theorem" which characterizes the code associated to the collection resulting from this operation, in terms of the codes associated to the original collections. We use this theorem to characterize the codes realizable by axis-parallel boxes, and exhibit differences between this class of codes and those realizable by convex open or closed sets. We also use our theorem to prove that a "monotonicity of open convexity" result of Cruz, Giusti, Itskov, and Kronholm holds for closed sets when some assumptions are slightly weakened.
Shalika germs for tamely ramified elements in $GL_n$
Degenerating the action of the elliptic Hall algebra on the Fock space, we give a combinatorial formula for the Shalika germs of tamely ramified regular semisimple elements $γ$ of $GL_n$ over a nonarchimedean local field. As a byproduct, we compute the weight polynomials of affine Springer fibers in type A and orbital integrals of tamely ramified regular semisimple elements. We conjecture that the Shalika germs of $γ$ correspond to residues of torus localization weights of a certain quasi-coherent sheaf $\mathcal{F}_γ$ on the Hilbert scheme of points on $\mathbb{A}^2$, thereby finding a geometric interpretation for them. As corollaries, we obtain the polynomiality in $q$ of point-counts of compactified Jacobians of planar curves, as well as a virtual version of the Cherednik-Danilenko conjecture on their Betti numbers. Our results also provide further evidence for the ORS conjecture relating compactified Jacobians and HOMFLY-PT invariants of algebraic knots.
New MRD codes from linear cutting blocking sets
Published
• View Publication
• BIB
Minimal rank-metric codes or, equivalently, linear cutting blocking sets are characterized in terms of the second generalized rank weight, via their connection with evasiveness properties of the associated $q$-system. Using this result, we provide the first construction of a family of $\mathbb{F}_{q^m}$-linear MRD codes of length $2m$ that are not obtained as a direct sum of two smaller MRD codes. In addition, such a family has better parameters, since its codes possess generalized rank weights strictly larger than those of the previously known MRD codes. This shows that not all the MRD codes have the same generalized rank weights, in contrast to what happens in the Hamming metric setting.
Enumerative geometry meets statistics, combinatorics and topology
We explain connections among several, a priori unrelated, areas of mathematics: combinatorics, algebraic statistics, topology and enumerative algebraic geometry. Our focus is on discrete invariants, strongly related to the theory of Lorentzian polynomials. The main concept joining the mentioned fields is a linear space of matrices.
Characterizing parabolic hyperplanes of the hyperbolic and elliptic quadrics in PG(2n + 1, q)
In this article, a combinatorial characterization of the family of parabolic hyperplanes of a hyperbolic (respectively, elliptic) quadric of PG(2n + 1, q), using their intersection properties with the points and subspaces of codimension 2, is given.
Perfect Matching Complexes of Honeycomb Graphs
Published
• View Publication
• BIB
The {\em perfect matching complex} of a graph is the simplicial complex on the edge set of the graph with facets corresponding to perfect matchings of the graph. This paper studies the perfect matching complexes, $\mathcal{M}_p(H_{k \times m\times n})$, of honeycomb graphs. For $k = 1$, $\mathcal{M}_p(H_{1\times m\times n})$ is contractible unless $n\ge m=2$, in which case it is homotopy equivalent to the $(n-1)$-sphere. Also, $\mathcal{M}_p(H_{2\times 2\times 2})$ is homotopy equivalent to the wedge of two 3-spheres. The proofs use discrete Morse theory.
Hyperbolic punctured spheres without arithmetic systole maximizers
Published
• View Publication
• BIB
We find bounds for the length of the systole -- the shortest essential, non-peripheral closed curve -- for arithmetic punctured spheres with $n$ cusps, for $n=4$ through $n=12$, some of which were previously known due to Schmutz. This is shown using a correspondence between such surfaces and planar triangulations. We show that for $n=7,10,11$, arithmetic surfaces do not achieve the maximal systole length.
Ordering $Q$-indices of graphs: given size and girth
Published
• View Publication
• BIB
The signless Laplacian matrix in graph spectra theory is a remarkable matrix of graphs, and it is extensively studied by researchers. In 1981, Cvetković pointed $12$ directions in further investigations of graph spectra, one of which is "classifying and ordering graphs". Along with this classic direction, we pay our attention on the order of the largest eigenvalue of the signless Laplacian matrix of graphs, which is usually called the $Q$-index of a graph. Let $\mathbb{G}(m, g)$ (resp. $\mathbb{G}(m, \geq g)$) be the family of connected graphs on $m$ edges with girth $g$ (resp. no less than $g$), where $g\ge3$. In this paper, we firstly order the first $(\lfloor\frac{g}{2}\rfloor+2)$ largest $Q$-indices of graphs in $\mathbb{G}(m, g)$, where $m\ge 3g\ge 12$. Secondly, we order the first $(\lfloor\frac{g}{2}\rfloor+3)$ largest $Q$-indices of graphs in $\mathbb{G}(m, \geq g)$, where $m\ge 3g\ge 12$. As a complement, we give the first five largest $Q$-indices of graphs in $\mathbb{G}(m, 3)$ with $m\ge 9$. Finally, we give the order of the first eleven largest $Q$-indices of all connected graphs with size $m$.
Whitney Numbers of Partial Dowling Lattices
The Dowling lattice $Q_n(\mathfrak{G})$, $\mathfrak{G}$ a finite group, generalizes the geometric lattice generated by all vectors, over a field, with at most two nonzero components. Abstractly, it is a fundamental object in the classification of finite matroids. Constructively, it is the frame matroid of a certain gain graph known as $\mathfrak{G}{\cdot}K_n^{(V)}$. Its Whitney numbers of the first kind enter into several important formulas. Ravagnani suggested and partially proved that these numbers of $Q_n(\mathfrak{G})$ and higher-weight generalizations are polynomial functions of $|\mathfrak{G}|$. We give a simple proof for $Q_n(\mathfrak{G})$ and its generalization to a wider class of gain graphs and biased graphs, and we determine the degrees and coefficients of the polynomials.
How does the Gerrymander Sequence Continue?
Published in Journal of Integer Sequences Vol 25 (2022) Article 22.9.7
• Search Publication
We compute the next few terms of the OEIS sequence A348456 and provide guessed equations for the generating functions of some sequences in its context.
Super Domination: Graph Classes, Products and Enumeration
Published
• View Publication
• BIB
The dominating set problem (DSP) is one of the most famous problems in combinatorial optimization. It is defined as follows. For a given simple graph $G=(V,E)$, a dominating set of $G$ is a subset $S\subseteq V$ such that every vertex in $ V \setminus S$ is adjacent to at least one vertex in $S$. Furthermore, the DSP is the problem of finding a minimum-size dominating set and the corresponding minimum size, the domination number of $G$.
In this, work we investigate a variant of the DSP, the super dominating set problem (SDSP), which has attracted much attention during the last years. A dominating set $S$ is called a super dominating set of $G$, if for every vertex $u\in \overline{S}=V \setminus S$, there exists a $v\in S$ such that $N(v)\cap \overline{S}=\{u\}$. Analogously, the SDSP is to find a minimum-size super dominating set, and the corresponding minimum size, the super domination number of $G$. The decision variants of both the DSP and the SDSP have shown to be $\mathcal{NP}$-hard.
In this paper, we present tight bounds for the super domination number of the neighbourhood corona product, $r$-gluing, and the Hajós sum of two graphs. Additionally, we present infinite families of graphs attaining our bounds. Finally, we give the exact number of minimum size super dominating sets for some graph classes. In particular, the number of super dominating sets for cycles has quite surprising properties as it varies between values of the set $\{4,n,2n,\frac{5n^2-10n}{8}\}$ based on $n\mod4$.
On the maximum of the sum of the sizes of non-trivial cross-intersecting families
Published
• View Publication
• BIB
We consider families of k-subsets of the standard n-set.
Two families F, G are said to be cross-intersecting if every member of F has non-empty intersection with every member of G. A family is called non-trivial if the intersection of all its members is empty. Supposing that F and G are non-trivial and cross-intersecting, we determine the maximum of |F|+|G|. For the proof a strengthened version of the so-called shifting technique is introduced. The corresponding problem for families of different uniformities is solved as well.