Showing 20 papers (Total: 82851 papers, 47869 authors in database)
W-Operator and Differential Equation for 3-Hurwitz Number
We consider a new type of Hurwitz number, the number of ordered transitive factorizations of an arbitrary permutation into d-cycles. In this paper, we focus on the special case d = 3. The minimal number of transitive factorizations of any permutation into 3-cycles has been worked out by David, Goulden and Jackson. Also, such factorizations for transpositions, the case d = 2, have been considered by Crescimanno and Taylor. Goulden and Jackson have proved the differential equation for the generating series of simple Hurwitz numbers. Based on their results, we use W-operator to prove a differential equation for the generating function of the new type Hurwitz number.
Kochen-Specker sets and Hadamard matrices
Published in Theoretical Computer Science 800 (2019), 142-145
• View Publication
• BIB
We introduce a new class of complex Hadamard matrices which have not been studied previously. We use these matrices to construct a new infinite family of parity proofs of the Kochen-Specker theorem. We show that the recently discovered simple parity proof of the Kochen-Specker theorem is the initial member of this infinite family.
A sextuple equidistribution arising in Pattern Avoidance
Published
• View Publication
• BIB
We construct an intriguing bijection between $021$-avoiding inversion sequences and $(2413,4213)$-avoiding permutations, which proves a sextuple equidistribution involving double Eulerian statistics. Two interesting applications of this result are also presented. Moreover, this result inspires us to characterize all permutation classes that avoid two patterns of length $4$ whose descent polynomial equals that of separable permutations.
Equivalence of the Generalized Zhang-Zhang Polynomial and the Generalized Cube Polynomial
In this paper we study the resonance graphs of benzenoid systems, tubulenes, and fullerenes. The resonance graph reflects the interactions between the Kekul e structures of a molecule. The equivalence of the Zhang-Zhang polynomial (which counts Clar covers) of the molecular graph and the cube polynomial (which counts hypercubes) of its resonance graph is known for all three families of molecular graphs.
Instead of considering only interactions between 6-cycles (Clar covers), we also consider 10-cycles, which contribute to the resonance energy of a molecule as well. Therefore, we generalize the concepts of the Zhang-Zhang polynomial and the cube polynomial and prove the equality of these two polynomials.
Classification of 2-extendable bipartite and cubic non-bipartite vertex-transitive graphs
In \cite{Chan95}, the authors classified the 2-extendable abelian Cayley graphs and posed the problem of characterizing all 2-extendable Cayley graphs. We first show that a connected bipartite Cayley (vertex-transitive) graph is 2-extendable if and only if it is not a cycle. It is known that a non-bipartite Cayley (vertex-transitive) graph is 2-extendable when it is of minimum degree at least five \cite{sun}. We next classify all 2-extendable cubic non-bipartite Cayley graphs and obtain that: a cubic non-bipartite Cayley graph with girth $g$ is 2-extendable if and only if $g\geq 4$ and it doesn't isomorphic to $Z_{4n}(1,4n-1,2n)$ or $Z_{4n+2}(2,4n,2n+1)$ with $n\geq 2$. Indeed, we prove a more stronger result that a cubic non-bipartite vertex-transitive graph with girth $g$ is 2-extendable if and only if $g\geq 4$ and it doesn't isomorphic to $Z_{4n}(1,4n-1,2n)$ or $Z_{4n+2}(2,4n,2n+1)$ with $n\geq 2$ or the Petersen graph.
Some Counterexamples for Compatible Triangulations
We consider the conjecture by Aichholzer, Aurenhammer, Hurtado, and Krasser that any two points sets with the same cardinality and the same size convex hull can be triangulated in the "same" way, more precisely via \emph{compatible triangulations}. We show counterexamples to various strengthened versions of this conjecture.
A Plancherel measure associated to set partitions and its limit
Published
• View Publication
• BIB
In recent years increasing attention has been paid on the area of supercharacter theories, especially to those of the upper unitriangular group. A particular supercharacter theory, in which supercharacters are indexed by set partitions, has several interesting properties, which make it object of further study. We define a natural generalization of the Plancherel measure, called superplancherel measure, and prove a limit shape result for a random set partition according to this distribution. We also give a description of the asymptotical behavior of two set partition statistics related to the supercharacters. The study of these statistics when the set partitions are uniformly distributed has been done by Chern, Diaconis, Kane and Rhoades.
Generalized Algorithm for Wythoff's Game with Basis Vector $(2^b,2^b)$
Wythoff's Game is a variation of Nim in which players may take an equal number of stones from each pile or make valid Nim moves. W. A. Wythoff proved that the set of P-Positions (losing position), $C$, for Wythoff's Game is given by $C := \left\{ (\lfloor kφ\rfloor, \lfloor kφ^2 \rfloor), (\lfloor kφ^2 \rfloor, \lfloor kφ\rfloor) : k \in \mathbb Z_{\geq 0} \right\}$. An open Wythoff problem remains where players make the valid Nim moves or remove $kb$ stones from each pile, where $b$ is a fixed integer. We denote this as the $(b,b)$ game. For example, regular Wythoff's Game is just the $(1,1)$ game. In 2009, Duch${ê}$ne and Gravier proved an algorithm to generate the set of P-Positions for the $(2,2)$ game by exploiting the periodic nature of the differences of stones between the two piles modulo $4$. We observe similar cyclic behaviour for any $b$, where $b$ is a power of $2$, modulo $b^2$, and construct an algorithm to generate the set of P-Positions for this game. Let $a$ be a power of $2$. We prove our algorithm works by first showing that it holds for the first $a^2$ terms in the $(a,a)$ game. Next, we construct an ordered multiset for the $(2a,2a)$ game from the $a^2$ terms, and an inductive proof follows. Moreover, we conjecture that all cyclic games require $a$ to be a power of $2$, suggesting that there is no similar structure in the generalised $(b,b)$ game where $b$ isn't a power of $2$. Future directions for generalising this result would likely utilise numeration systems, particularly the PV numbers.
Spectrally arbitrary pattern extensions
Published
• View Publication
• BIB
A matrix pattern is often either a sign pattern with entries in {0,+,-} or, more simply, a nonzero pattern with entries in {0,*}. A matrix pattern A is spectrally arbitrary if for any choice of a real matrix spectrum, there is a real matrix having the pattern A and the chosen spectrum. We describe a graphical technique, a triangle extension, for constructing spectrally arbitrary patterns out of some known lower order spectrally arbitrary patterns. These methods provide a new way of viewing some known spectrally arbitrary patterns, as well as providing many new families of spectrally arbitrary patterns. We also demonstrate how the technique can be applied to certain inertially arbitrary patterns to obtain larger inertially arbitrary patterns. We then provide an additional extension method for zero-nonzero patterns.
Arithmetic of commutative semigroups with a focus on semigroups of ideals and modules
Published in Journal of Algebra and Its Applications, Vol. 16, No. 11 (2017), 42 pp
• View Publication
• BIB
Let $H$ be a commutative semigroup with unit element such that every non-unit can be written as a finite product of irreducible elements (atoms). For every $k \in \mathbb N$, let $\mathscr U_k (H)$ denote the set of all $\ell \in \mathbb N$ with the property that there are atoms $u_1, \ldots, u_k, v_1, \ldots, v_{\ell}$ such that $u_1 \cdot \ldots \cdot u_k = v_1 \cdot \ldots \cdot v_{\ell}$ (thus, $\mathscr U_k (H)$ is the union of all sets of lengths containing $k$).
The Structure Theorem for Unions states that, for all sufficiently large $k$, the sets $\mathscr U_k (H)$ are almost arithmetical progressions with the same difference and global bound. We present a new approach to this result in the framework of arithmetic combinatorics, by deriving, for suitably defined families of subsets of the non-negative integers, a characterization of when the Structure Theorem holds.
This abstract approach allows us to verify, for the first time, the Structure Theorem for a variety of possibly non-cancellative semigroups, including semigroups of (not necessarily invertible) ideals and semigroups of modules. Furthermore, we provide the very first example of a semigroup (actually, a locally tame Krull monoid) that does not satisfy the Structure Theorem.
Geometric Decomposition of Feed Forward Neural Networks
There have been several attempts to mathematically understand neural networks and many more from biological and computational perspectives. The field has exploded in the last decade, yet neural networks are still treated much like a black box. In this work we describe a structure that is inherent to a feed forward neural network. This will provide a framework for future work on neural networks to improve training algorithms, compute the homology of the network, and other applications. Our approach takes a more geometric point of view and is unlike other attempts to mathematically understand neural networks that rely on a functional perspective.
Limits of random tree-like discrete structures
Published
• View Publication
• BIB
We study a model of random $\mathcal{R}$-enriched trees that is based on weights on the $\mathcal{R}$-structures and allows for a unified treatment of a large family of random discrete structures. We establish distributional limits describing local convergence around fixed and random points in this general context, limit theorems for component sizes when $\mathcal{R}$ is a composite class, and a Gromov--Hausdorff scaling limit of random metric spaces patched together from independently drawn metrics on the $\mathcal{R}$-structures. Our main applications treat a selection of examples encompassed by this model. We consider random outerplanar maps sampled according to arbitrary weights assigned to their inner faces, and classify in complete generality distributional limits for both the asymptotic local behaviour near the root-edge and near a uniformly at random drawn vertex. We consider random connected graphs drawn according to weights assigned to their blocks and establish a Benjamini--Schramm limit. We also apply our framework to recover in a probabilistic way a central limit theorem for the size of the largest $2$-connected component in random graphs from planar-like classes. We prove Benjamini--Schramm convergence of random $k$-dimensional trees and establish both scaling limits and local weak limits for random planar maps drawn according to Boltzmann-weights assigned to their $2$-connected components.
Tropical Computations in polymake
Published in Algorithmic and experimental methods in algebra, geometry, and number theory, 361-385, Springer, Cham, 2017
• View Publication
• BIB
We give an overview of recently implemented polymake features for computations in tropical geometry. The main focus is on explicit examples rather than technical explanations. Our computations employ tropical hypersurfaces, moduli of tropical plane curves, tropical linear spaces and Grassmannians, lines on tropical cubic surfaces as well as intersection rings of matroids
Center, centroid and subtree core of trees
Published
• View Publication
• BIB
For $n\geq 5$ and $2\leq g\leq n-3,$ consider the tree $P_{n-g,g}$ on $n$ vertices which is obtained by adding $g$ pendant vertices to one degree $1$ vertex of the path $P_{n-g}$. We call the trees $P_{n-g,g}$ as path-star trees. We prove that over all trees on $n\geq 5$ vertices, the distance between center and subtree core and the distance between centroid and subtree core are maximized by some path-star trees. We also prove that the tree $P_{n-g_0,g_0}$ maximizes both the distances among all path-star trees on $n$ vertices, where $g_0$ is the smallest positive integer such that $2^{g_0}+g_0>n-1.$
The $p$-spectral radius of the Laplacian
Published
• View Publication
• BIB
The $p$-spectral radius of a graph $G=(V,E)$ with adjacency matrix $A$ is defined as $λ^{(p)}(G)=\max \{x^TAx : \|x\|_p=1 \}$. This parameter shows remarkable connections with graph invariants, and has been used to generalize some extremal problems. In this work, we extend this approach to the Laplacian matrix $L$, and define the $p$-spectral radius of the Laplacian as $μ^{(p)}(G)=\max \{x^TLx : \|x\|_p=1 \}$. We show that $μ^{(p)}(G)$ relates to invariants such as maximum degree and size of a maximum cut. We also show properties of $μ^{(p)}(G)$ as a function of $p$, and a upper bound on $\max_{G \colon |V(G)|=n} μ^{(p)}(G)$ in terms of $n=|V|$ for $p\ge 2$, which is attained if $n$ is even.
A constructive algorithm for the LLL on permutations
Published in Theory of Computing 13(17), pp. 1-41 (2017)
• Search Publication
While there has been significant progress on algorithmic aspects of the Lovász Local Lemma (LLL) in recent years, a noteworthy exception is when the LLL is used in the context of random permutations. The breakthrough algorithm of Moser & Tardos only works in the setting of independent variables, and does not apply in this context. We resolve this by developing a randomized polynomial-time algorithm for such applications. A noteworthy application is for Latin transversals: the best-known general result here (Bissacot et al., improving on Erdős and Spencer), states that any $n \times n$ matrix in which each entry appears at most $(27/256)n$ times, has a Latin transversal. We present the first polynomial-time algorithm to construct such a transversal. We also develop RNC algorithms for Latin transversals, rainbow Hamiltonian cycles, strong chromatic number, and hypergraph packing.
In addition to efficiently finding a configuration which avoids bad-events, the algorithm of Moser & Tardos has many powerful extensions and properties. These include a well-characterized distribution on the output distribution, parallel algorithms, and a partial resampling variant. We show that our algorithm has nearly all of the same useful properties as the Moser-Tardos algorithm, and present a comparison of this aspect with recent works on the LLL in general probability spaces.
Neighborhood reconstruction and cancellation of graphs
Published in Electron. J. Combin. 24 (2017), no. 2, Paper 2.8, 11 pp
• View Publication
• BIB
We connect two seemingly unrelated problems in graph theory.
Any graph $G$ has an associated neighborhood multiset $\mathscr{N}(G)= \{N(x) \mid x\in V(G)\}$ whose elements are precisely the open vertex-neighborhoods of $G$. In general there exist non-isomorphic graphs $G$ and $H$ for which $\mathscr{N}(G)=\mathscr{N}(H)$. The neighborhood reconstruction problem asks the conditions under which $G$ is uniquely reconstructible from its neighborhood multiset, that is, the conditions under which $\mathscr{N}(G)=\mathscr{N}(H)$ implies $G\cong H$. Such a graph is said to be neighborhood-reconstructible.
The cancellation problem for the direct product of graphs seeks the conditions under which $G\times K\cong H\times K$ implies $G\cong H$. Lovasz proved that this is indeed the case if $K$ is not bipartite. A second instance of the cancellation problem asks for conditions on $G$ that assure $G\times K\cong H\times K$ implies $G\cong H$ for any bipartite graph $K$ with $E(K)\neq \emptyset$. A graph $G$ for which this is true is called a cancellation graph.
We prove that the neighborhood-reconstructible graphs are precisely the cancellation graphs. We also present some new results on cancellation graphs, which have corresponding implications for neighborhood reconstruction.
A short proof of Rudnev's point-plane incidence bound
In this note we give a shortened proof of a theorem of Rudnev, which bounds the number of incidences between points and planes over an arbitrary field. Rudnev's proof uses a map that goes via the four-dimensional Klein quadric to a three-dimensional space, where it applies a bound of Guth and Katz on intersection points of lines. We describe a simple geometric map that directly sends point-plane incidences to line-line intersections in space, allowing us to reprove Rudnev's theorem with fewer technicalities.
The trace of the canonical module
Published in Israel Journal of Mathematics, Volume 233, Issue 1 (2019), 133-165
• View Publication
• BIB
The trace of the canonical module (the canonical trace) determines the non-Gorenstein locus of a local Cohen--Macaulay ring. We call a local Cohen--Macaulay ring nearly Gorenstein, if its canonical trace contains the maximal ideal. Similar definitions can be made for positively graded Cohen--Macaulay $K$-algebras. We study the canonical trace for tensor products and Segre products of algebras, as well as of (squarefree) Veronese subalgebras. The results are used to classify the nearly Gorenstein Hibi rings. We study connections between the class of nearly Gorenstein rings and that of almost Gorenstein rings. We show that in dimension one, the former class includes the latter.
Strong resolving graphs: the realization and the characterization problems
Published
• View Publication
• BIB
The strong resolving graph $G_{SR}$ of a connected graph $G$ was introduced in [Discrete Applied Mathematics 155 (1) (2007) 356--364] as a tool to study the strong metric dimension of $G$. Basically, it was shown that the problem of finding the strong metric dimension of $G$ can be transformed to the problem of finding the vertex cover number of $G_{SR}$. Since then, several articles dealing with this subject have been published. In this paper, we survey the state of knowledge on the strong resolving graph and also derive some new results.