Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Positive Opetopes with Contractions form a Test Category
We show that the category of positive opetopes with contraction morphisms, i.e. all face maps and some degeneracies, forms a test category.
The category of positive opetopic sets pOpeSet can be defined as a full subcategory of the category of polygraphs Poly. An object of pOpeSet has generators whose codomains are again generators and whose domains are non-identity cells (i.e. non-empty composition of generators). The category pOpeSet is a presheaf category with the exponent being called the category of positive opetopes pOpe. Objects of pOpe are called positive opetopes and morphisms are face maps only. Since Poly has a full-on-isomorphisms embedding into the category of omega-categories oCat, we can think of morphisms in pOpe as omega-functors that send generators to generators. The category of positive opetopes with contractions pOpe_iota has the same objects and face maps pOpe, but in addition it has some degeneracy maps. A morphism in pOpe_iota is an omega-functor that sends generators to either generators or to identities on generators. We show that the category pOpe_iota is a test category.
Permutation Modules associated to the Hyperoctahedron and Group Actions
We investigate the permutation modules associated to the set of $k$-dimensional faces of the hyperoctahedron in dimension $n$, denoted $H^{n}.$ For any $k\leq n$ such a module can be defined over an arbitrary field $F$, it is called a face module of $H^{n}$ over $F.$ We describe a spectral decomposition of such face modules into submodules and show that these submodules are irreducible under the hyperoctahedral group $B_{n}.$ The same method can be used to describe the exact relationship between the face modules in any two dimensions $0\leq t\leq k\leq n.$ Applications of this technique include a rank formula for the rank of the incidence matrix of $t$-dimensional versus $k$-dimensional faces of $H^{n}$ and a characterization of $(t,k,\ell)$-designs on $H^{n}.$ We also prove an orbit theorem for subgroups of the hyperoctahedral group on the set of faces of $H^{n}.$ The decomposition method is elementary, mostly characteristic free and does not involve the representation theory of automorphism groups. It is therefore quite general and can be used to decompose permutation modules associated to other geometries.
Rectilinear Crossings in Complete Balanced d-Partite d-Uniform Hypergraphs
Published
• View Publication
• BIB
In this paper, we study the embedding of a complete balanced $d$-partite $d$-uniform hypergraph with all its $nd$ vertices represented as points in general position in $\mathbb{R}^d$ and each hyperedge drawn as a convex hull of $d$ corresponding vertices. We assume that the set of vertices is partitioned into $d$ disjoint sets, each of size $n$, such that each of the vertices in a hyperedge is from a different set. Two hyperedges are said to be crossing if they are vertex disjoint and contain a common point in their relative interiors. Using the Generalized Colored Tverberg Theorem, we observe that such an embedding of a complete balanced $d$-partite $d$-uniform hypergraph with $nd$ vertices contains $Ω\left((8/3)^{d/2}\right){\left({n/2}\right)^d{\left((n-1)/2\right)}^d}$ crossing pairs of hyperedges for sufficiently large $n$ and $d$. Using the Gale Transform and the Ham-Sandwich Theorem, we improve this lower bound to $ Ω\left(2^{d}\right){\left({n/2}\right)^d{\left((n-1)/2\right)}^d}$ for sufficiently large $n$ and $d$.
Magic squares with all subsquares of possible orders based on extended Langford sequences
A magic square of order $n$ with all subsquares of possible orders (ASMS$(n)$) is a magic square which contains a general magic square of each order $k\in\{3, 4, \cdots, n-2\}$. Since the conjecture on the existence of an ASMS was proposed in 1994, much attention has been paid but very little is known except for few sporadic examples. A $k$-extended Langford sequence of defect $d$ and length $m$ is equivalent to a partition of $\{1,2,\cdots,2m+1\}\backslash\{k\}$ into differences $\{d,\cdots,d+m-1\}$. In this paper, a construction of ASMS based on extended Langford sequence is established. As a result, it is shown that there exists an ASMS$(n)$ for $n\equiv\pm3\pmod{18}$, which gives a partial answer to Abe's conjecture on ASMS.
The edge-Hosoya polynomial of benzenoid chains
Published in J. Math. Chem. 57 (2019) 180-189
• View Publication
• BIB
The Hosoya polynomial is a well known vertex-distance based polynomial, closely correlated to the Wiener index and the hyper-Wiener index, which are widely used molecular-structure descriptors. In the present paper we consider the edge version of the Hosoya polynomial. For a connected graph $G$ let $d_e(G,k)$ be the number of (unordered) edge pairs at distance $k$. Then the edge-Hosoya polynomial of $G$ is $H_e(G,x) = \sum_{k \geq 0} d(G,k)x^k$. We investigate the edge-Hosoya polynomial of important chemical graphs known as benzenoid chains and derive the recurrence relations for them. These recurrences are then solved for linear benzenoid chains, which are also called polyacenes.
Signed counts of real simple rational functions
Published in Journal of Algebraic Combinatorics (2019)
• View Publication
• BIB
We study the problem of counting real simple rational functions $\varphi$ with prescribed ramification data (i.e. a particular class of oriented real Hurwitz numbers of genus $0$). We introduce a signed count of such functions that is invariant under change of the branch locus, thus providing a lower bound for the actual count (which does depend on such change). We prove (non-)vanishing theorems for these signed counts and study their asymptotic growth when adding further simple branch points. The approach is based on the works of Itenberg and Zvonkine (arXiv:1609.05219) which treat the polynomial case.
Proof of a conjecture on induced subgraphs of Ramsey graphs
Published
• View Publication
• BIB
An n-vertex graph is called C-Ramsey if it has no clique or independent set of size C log n. All known constructions of Ramsey graphs involve randomness in an essential way, and there is an ongoing line of research towards showing that in fact all Ramsey graphs must obey certain "richness" properties characteristic of random graphs. More than 25 years ago, Erdős, Faudree and Sós conjectured that in any C-Ramsey graph there are $Ω\left(n^{5/2}\right)$ induced subgraphs, no pair of which have the same numbers of vertices and edges. Improving on earlier results of Alon, Balogh, Kostochka and Samotij, in this paper we prove this conjecture.
Constructive Matrix Theory for Higher Order Interaction
Published
• View Publication
• BIB
This paper provides an extension of the constructive loop vertex expansion to stable matrix models with interactions of arbitrarily high order. We introduce a new representation for such models, then perform a forest expansion on this representation. It allows to prove that the perturbation series of the free energy for such models is analytic in a domain uniform in the size N of the matrix. Our method applies to complex (rectangular) matrices. The extension to Hermitian square matrices, which was claimed wrongly in the first arXiv version of this paper, is postponed to a future study.
Solving satisfiability using inclusion-exclusion
Using Maple, we implement a SAT solver based on the principle of inclusion-exclusion and the Bonferroni inequalities. Using randomly generated input, we investigate the performance of our solver as a function of the number of variables and number of clauses. We also test it against Maple's built-in tautology procedure. Finally, we implement the Lovász local lemma with Maple and discuss its applicability to SAT.
Resistance distance in bent linear 2-trees
In this note we consider the bent linear 2-tree and provide an explicit formula for the resistance distance $r_{G_n}(1,n)$ between the first and last vertices of the graph. We call the graph $G_n$ with vertex set $V(G_n) = \{ 1, 2, \ldots, n\}$ and $\{i,j\} \in E(G_n)$ if and only if $0<|i-j| \leq 2$ a straight linear 2-tree. We define the graph $H_n$ with $V(H_n)= V(G_n)$ and $E(H_n) = (E(G_n) \cup \{k,k+3\})\setminus(\{k+1,k+3\}$ to be a bent linear 2-tree with bend at vertex $k$.
Structural and computational results on platypus graphs
Published
• View Publication
• BIB
A platypus graph is a non-hamiltonian graph for which every vertex-deleted subgraph is traceable. They are closely related to families of graphs satisfying interesting conditions regarding longest paths and longest cycles, for instance hypohamiltonian, leaf-stable, and maximally non-hamiltonian graphs.
In this paper, we first investigate cubic platypus graphs, covering all orders for which such graphs exist: in the general and polyhedral case as well as for snarks. We then present (not necessarily cubic) platypus graphs of girth up to 16---whereas no hypohamiltonian graphs of girth greater than 7 are known---and study their maximum degree, generalising two theorems of Chartrand, Gould, and Kapoor. Using computational methods, we determine the complete list of all non-isomorphic platypus graphs for various orders and girths. Finally, we address two questions raised by the third author in [J. Graph Theory \textbf{86} (2017) 223--243].
Poisson brackets symmetry from the pentagon-wheel cocycle in the graph complex
Published in Physics of Particles and Nuclei (2018) Vol. 49, No. 5, 924--928
• View Publication
• BIB
Kontsevich designed a scheme to generate infinitesimal symmetries $\dot{\mathcal{P}} = \mathcal{Q}(\mathcal{P})$ of Poisson brackets $\mathcal{P}$ on all affine manifolds $M^r$; every such deformation is encoded by oriented graphs on $n+2$ vertices and $2n$ edges. In particular, these symmetries can be obtained by orienting sums of non-oriented graphs $γ$ on $n$ vertices and $2n-2$ edges. The bi-vector flow $\dot{\mathcal{P}} = \text{Or}(γ)(\mathcal{P})$ preserves the space of Poisson structures if $γ$ is a cocycle with respect to the vertex-expanding differential in the graph complex.
A class of such cocycles $\boldsymbolγ_{2\ell+1}$ is known to exist: marked by $\ell \in \mathbb{N}$, each of them contains a $(2\ell+1)$-gon wheel with a nonzero coefficient. At $\ell=1$ the tetrahedron $\boldsymbolγ_3$ itself is a cocycle; at $\ell=2$ the Kontsevich--Willwacher pentagon-wheel cocycle $\boldsymbolγ_5$ consists of two graphs. We reconstruct the symmetry $\mathcal{Q}_5(\mathcal{P}) = \text{Or}(\boldsymbolγ_5)(\mathcal{P})$ and verify that $\mathcal{Q}_5$ is a Poisson cocycle indeed: $[\![\mathcal{P},\mathcal{Q}_5(\mathcal{P})]\!]\doteq 0$ via $[\![\mathcal{P},\mathcal{P}]\!]=0$.
Partisan gerrymandering with geographically compact districts
Published in J. Appl. Probab. 55 (2018) 1046-1059
• View Publication
• BIB
Bizarrely shaped voting districts are frequently lambasted as likely instances of gerrymandering. In order to systematically identify such instances, researchers have devised several tests for so-called geographic compactness (i.e., shape niceness). We demonstrate that under certain conditions, a party can gerrymander a competitive state into geographically compact districts to win an average of over 70% of the districts. Our results suggest that geometric features alone may fail to adequately combat partisan gerrymandering.
On exponential domination of the consecutive circulant graph
For a graph $G,$ we consider $D \subset V(G)$ to be a porous exponential dominating set if $1\le \sum_{d \in D}$ $\left( \frac{1}{2} \right)^{\text{dist}(d,v) -1}$ for every $v \in V(G),$ where dist$(d,v)$ denotes the length of the smallest $dv$ path. Similarly, $D \subset V(G)$ is a non-porous exponential dominating set is $1\le \sum_{d \in D} \left( \frac{1}{2} \right)^{\overline{\text{dist}}(d,v) -1}$ for every $v \in V(G),$ where $\overline{\text{dist}}(d,v)$ represents the length of the shortest $dv$ path with no internal vertices in $D.$ The porous and non-porous exponential dominating number of $G,$ denoted $γ_e^*(G)$ and $γ_e(G),$ are the minimum cardinality of a porous and non-porous exponential dominating set, respectively. The consecutive circulant graph, $C_{n, [\ell]},$ is the set of $n$ vertices such that vertex $v$ is adjacent to $v \pm i \mod n$ for each $i \in [\ell].$ In this paper we show $γ_e(C_{n, [\ell]}) = γ_e^*(C_{n, [\ell]}) = \left\lceil \tfrac{n}{3\ell +1} \right\rceil.$
Honey from the Hives: A Theoretical and Computational Exploration of Combinatorial Hives
Published
• View Publication
• BIB
In the first half of this manuscript, we begin with a brief review of combinatorial hives as introduced by Knutson and Tao, and focus on a conjecture by Danilov and Koshevoy for generating such a hive from Hermitian matrix pairs through an optimization scheme. We examine a proposal by Appleby and Whitehead in the spirit of this conjecture and analytically elucidate an obstruction in their construction for guaranteeing hive generation, while detailing stronger conditions under which we can produce hives with almost certain probability. We provide the first mapping of this prescription onto a practical algorithmic space that enables us to produce affirming computational results and open a new area of research into the analysis of the random geometries and curvatures of hive surfaces from select matrix ensembles.
The second part of this manuscript concerns Littlewood-Richardson coefficients and methods of estimating them from the hive construction. We illustrate experimental confirmation of two numerical algorithms that we provide as tools for the community: one as a rounded estimator on the continuous hive polytope volume following a proposal by Narayanan, and the other as a novel construction using a coordinate hit-and-run on the hive lattice itself. We compare the advantages of each, and include numerical results on their accuracies for some tested cases.
A generalization of the Kreweras triangle through the universal $\text{sl}_2$ weight system
Published
• View Publication
• BIB
In the theory of finite order knot invariants, the universal $\text{sl}_2$ weight system maps the chord diagrams to polynomials in a single variable with integer coefficients. In this paper, we define a family of polynomials that generalize the Kreweras triangle (known to refine the normalized median Genocchi numbers), and we show how it appears in this weight system.
Yang-Baxter field for spin Hall-Littlewood symmetric functions
Published
• View Publication
• BIB
Employing bijectivisation of summation identities, we introduce local stochastic moves based on the Yang-Baxter equation for $U_q(\widehat{\mathfrak{sl}_2})$. Combining these moves leads to a new object which we call the spin Hall-Littlewood Yang-Baxter field - a probability distribution on two-dimensional arrays of particle configurations on the discrete line. We identify joint distributions along down-right paths in the Yang-Baxter field with spin Hall-Littlewood processes, a generalization of Schur processes. We consider various degenerations of the Yang-Baxter field leading to new dynamic versions of the stochastic six vertex model and of the Asymmetric Simple Exclusion Process.
The geometry of drums
We introduce the new concept of D-geometry (or "drum geometry"), which has been recently discovered by the author in \cite{KT-DRUMS} when constructing and classifying isospectral and length equivalent drums under certain constraints. We will show that any pair of length equivalent domains, and in particular any pair of isospectral domains (which makes one unable to "hear the shape of drums") which is constructed by the famous Gassmann-Sunada method, naturally defines a D-geometry, and that each D-geometry gives rise to such domains. One goal of this letter is to show that in the present theory of isospectral and length equivalent drums, many examples are controlled by finite geometrical phenomena in a very precise sense.
On Generalized Edge Corona Product of Graphs
Let $G$ be a simple graph with $m$ edges and $H_i$, $1\leq i \leq m$ be simple graphs too. The generalized edge corona product of graphs $G$ and $H_1, ..., H_m$, denoted by $G \diamond (H_1, ..., H_m)$, is obtained by taking one copy of graphs $G$, $H_1, ..., H_m$ and joining two end vertices of $i$-th edge of $G$ to every vertex of $H_i$, $1\leq i \leq m$. In this paper, some results regarding the $k$-distance chromatic number of Generalized edge corona product of graphs are presented. Also, as a consequence of our results, we compute this invariant for the graphs $K_n \diamond (H_1, ..., H_m)$, $T\diamond (H_1, ..., H_m)$ and $K_{m,n} \diamond (H_1, ..., H_m)$. Moreover, the domination set, domination number and the independence number of any connected graph $G$ and arbitrary graphs $H_i$, $1\leq i \leq |E(G)|$, are evaluated under generalized edge corona operation.
Gorenstein liaison for toric ideals of graphs
Published
• View Publication
• BIB
A central question in liaison theory asks whether every Cohen-Macaulay, graded ideal of a standard graded K-algebra belongs to the same G-liaison class of a complete intersection. In this paper we answer this question positively for toric ideals defining edge subrings of bipartite graphs.