Showing 20 papers (Total: 82851 papers, 47869 authors in database)
The intrinsic hyperplane arrangement in an arbitrary irreducible representation of the symmetric group
Published
• View Publication
• BIB
For every irreducible complex representation~$π_λ$ of the symmetric group~$§_n$, we construct, in a canonical way, a so-called intrinsic hyperplane arrangement~$\A_λ$ in the space of~$π_λ$. This arrangement is a direct generalization of the classical braid arrangement (which is the special case of our construction corresponding to the natural representation of~$§_n$), has a natural description in terms of invariant subspaces of Young subgroups, and enjoys a number of remarkable properties.
Convolution identities for Tribonacci numbers via the diagonal of a bivariate generating function
Convolutions for Tribonacci numbers involving binomial coefficients are treated with ordinary generating functions and the diagonalization method of Hautus and Klarner. In this way, the relevant generating function can be established, which is rational. The coefficients can also be expressed. It is sketched how to extend this to Tetranacci numbers and similar quantities.
Generalised Voltage Graphs
A graph with a semiregular group of automorphisms can be thought of as the derived cover arising from a voltage graph. Since its inception, the theory of voltage graphs and their derived covers has been a powerful tool used in the study of graphs with a significant degree of symmetry. We generalise this theory to graphs with a group of automorphisms that is not necessarily semiregular, and we generalise several well-known results of the classical theory of voltage graphs to this broader setting.
Bipartite complements of circle graphs
Published in Discrete Mathematics 343(6) (2020), 111834
• View Publication
• BIB
Using an algebraic characterization of circle graphs, Bouchet proved in 1999 that if a bipartite graph $G$ is the complement of a circle graph, then $G$ is a circle graph. We give an elementary proof of this result.
Convex graphon parameters and graph norms
Published
• View Publication
• BIB
Sidorenko's conjecture states that the number of copies of a bipartite graph $H$ in a graph $G$ is asymptotically minimised when $G$ is a quasirandom graph. A notorious example where this conjecture remains open is when $H=K_{5,5}\setminus C_{10}$. It was even unknown whether this graph possesses the strictly stronger, weakly norming property.
We take a step towards understanding the graph $K_{5,5}\setminus C_{10}$ by proving that it is not weakly norming. More generally, we show that 'twisted' blow-ups of cycles, which include $K_{5,5}\setminus C_{10}$ and $C_6\square K_2$, are not weakly norming. This answers two questions of Hatami. The method relies on the analysis of Hessian matrices defined by graph homomorphisms, by using the equivalence between the (weakly) norming property and convexity of graph homomorphism densities. We also prove that $K_{t,t}$ minus a perfect matching, proven to be weakly norming by Lovász, is not norming for every $t>3$.
Frame Matroids, Toric Ideals, and a Conjecture of White
Published
• View Publication
• BIB
Blasiak verified a conjecture of White for graphic matroids by showing that the toric ideal of a graphic matroid is generated by quadrics. In this paper, we extend this result to frame matroids satisfying a linearity condition. Such classes of matroids include graphic matroids, bicircular matroids, signed graphic matroids, and more generally frame matroids obtained from group-labelled graphs.
Short proofs of some extremal results III
Published
• View Publication
• BIB
We prove a selection of results from different areas of extremal combinatorics, including complete or partial solutions to a number of open problems. These results, coming mainly from extremal graph theory and Ramsey theory, have been collected together because in each case the relevant proofs are reasonably short.
Few-weight codes over $\Bbb F_p+u\Bbb F_p$ associated with down sets and their distance optimal Gray image
Published
• View Publication
• BIB
Let $p$ be an odd prime number. In this paper, we construct $2(2p-3)$ classes of codes over the ring $R=\Bbb F_p+u\Bbb F_p,u^2=0$, which are associated with down sets. We compute the Lee weight distributions of the $2(2p-3)$ classes of codes when the down sets are generated by a single maximal element. Moreover, by using the Gray map of the linear codes over $R$, we find out $2(p-1)$ classes of $p$-ary distance optimal linear codes. Two of them meet the Griesmer bound.
The threshold for the full perfect matching color profile in a random coloring of random graphs
Published
• View Publication
• BIB
Consider a graph $G$ with a coloring of its edge set $E(G)$ from a set $Q = \set{c_1,c_2, \ldots, c_q}$. Let $Q_i$ be the set of all edges colored with $c_i$. Recently, Frieze defined a notion of the perfect matching color profile denoted by $\mcp(G)$, which is the set of vectors $(m_1, m_2, \ldots, m_q) \in [n]^q$ such that there exists a perfect matching $M$ in $G$ with $|Q_i \cap M| = m_i$ for all $i$. Let $\a_1, \a_2, \ldots, \a_q$ be positive constants such that $\sum_{i=1}^q \a_i = 1$. Let $G$ be the random bipartite graph $G_{n,n,p}$. Suppose the edges of $G$ are independently colored with color $c_i$ with probability $α_i$. We determine the threshold for the event $\mcp(G) = \set{(m_1, \ldots, m_q) \in [0,n]^q : m_1 + \cdots + m_q = n}$, answering a question posed by Frieze. We further extend our methods to find the threshold for the same event in a randomly colored random graph $G_{n,p}$.
Critical group structure from the parameters of a strongly regular graph
Published
• View Publication
• BIB
We give simple arithmetic conditions that force the Sylow $p$-subgroup of the critical group of a strongly regular graph to take a specific form. These conditions depend only on the parameters $(v, k, λ, μ)$ of the strongly regular graph under consideration. We give many examples, including how the theory can be used to compute the critical group of Conway's $99$-graph and to give an elementary argument that no $srg(28,9,0,4)$ exists.
Partial difference sets and amorphic Cayley schemes in non-abelian $2$-groups
Published
• View Publication
• BIB
In this paper, we consider regular automorphism groups of graphs in the RT$2$ family and the Davis-Xiang family and amorphic abelian Cayley schemes from these graphs. We derive general results on the existence of non-abelian regular automorphism groups from abelian regular automorphism groups and apply them to the RT$2$ family and Davis-Xiang family and their amorphic abelian Cayley schemes to produce amorphic non-abelian Cayley schemes.
Isotopy classes of 3-periodic net embeddings
Published
• View Publication
• BIB
Entangled embedded periodic nets and crystal frameworks are defined, along with their dimension type, homogeneity type, adjacency depth and periodic isotopy type. We obtain periodic isotopy classifications for various families of embedded nets with small quotient graphs. We enumerate the 25 periodic isotopy classes of depth 1 embedded nets with a single vertex quotient graph. Additionally, we classify embeddings of n-fold copies of pcu with all connected components in a parallel orientation and n vertices in a repeat unit, and determine their maximal symmetry periodic isotopes. We also introduce the methodology of linear graph knots on the flat 3-torus [0, 1)^3. These graph knots, with linear edges, are spatial embeddings of the labelled quotient graphs of an embedded net which are associated with its periodicity bases.
A "right" path to cyclic polygons
It is well known that Heron's theorem provides an explicit formula for the area of a triangle, as a symmetric function of the lengths of its sides. It has been extended by Brahmagupta to quadrilaterals inscribed in a circle (cyclic quadrilaterals). A natural problem is trying to further generalize the result to cyclic polygons with a larger number of edges, which, surprisingly, has revealed to be far from simple. In this paper we investigate such a problem by following a new and elementary approach. We start from the simple observation that the incircle of a right triangle touches its hypothenuse in a point that splits it into two segments, the product of whose lengths equals the area of the triangle. From this curious fact we derive in a few lines: an unusual proof of the Pythagoras' theorem, Heron's theorem for right triangles, Heron's theorem for general triangles, and Brahmagupta's theorem for cyclic quadrangles. This suggests that cutting the edges of a cyclic polygon by means of suitable points should be the "right" working method. Indeed, following this idea, we obtain an explicit formula for the area of any convex cyclic polygon, as a symmetric function of the segments split on its edges by the incircles of a triangulation. We also show that such a symmetry can be rediscovered in Heron's and Brahmagupta's results, which consequently represent special cases of the general provided formula.
Edge-critical subgraphs of Schrijver graphs
Published in Journal of Combinatorial Theory, Series B 144: 191-196, 2020
• View Publication
• BIB
For $k\geq 1$ and $n\geq 2k$, the Kneser graph $KG(n,k)$ has all $k$-element subsets of an $n$-element set as vertices; two such subsets are adjacent if they are disjoint. It was first proved by Lovász that the chromatic number of $KG(n,k)$ is $n-2k+2$. Schrijver constructed a vertex-critical subgraph $SG(n,k)$ of $KG(n,k)$ with the same chromatic number. For the stronger notion of criticality defined in terms of removing edges, however, no analogous construction is known except in trivial cases. We provide such a construction for $k=2$ and arbitrary $n\geq 4$ by means of a nice explicit combinatorial definition.
Minimum entropy stochastic block models neglect edge distribution heterogeneity
Published
• View Publication
• BIB
The statistical inference of stochastic block models as emerged as a mathematicaly principled method for identifying communities inside networks. Its objective is to find the node partition and the block-to-block adjacency matrix of maximum likelihood i.e. the one which has most probably generated the observed network. In practice, in the so-called microcanonical ensemble, it is frequently assumed that when comparing two models which have the same number and sizes of communities, the best one is the one of minimum entropy i.e. the one which can generate the less different networks. In this paper, we show that there are situations in which the minimum entropy model does not identify the most significant communities in terms of edge distribution, even though it generates the observed graph with a higher probability.
Algorithmic coincidence classification of mesh patterns
Published
• View Publication
• BIB
We review and extend previous results on coincidence of mesh patterns. We introduce the notion of a force on a permutation pattern and apply it to the coincidence classification of mesh patterns, completing the classification up to size three. We also show that this concept can be used to enumerate classical permutation classes.
Pretty Good State Transfer of Multiple Qubit States on Paths
Published
• View Publication
• BIB
We discuss pretty good state transfer of multiple qubit states and provide a model for considering state transfer of arbitrary states on unmodulated XX-type spin chains. We then provide families of paths and initial states for which we can determine whether there is pretty good state transfer based on the eigenvalue support of the initial state.
Digital Fundamental Groups and Edge Groups of Clique Complexes
Published
• View Publication
• BIB
In previous work, we have defined---intrinsically, entirely within the digital setting---a fundamental group for digital images. Here, we show that this group is isomorphic to the edge group of the clique complex of the digital image considered as a graph. The clique complex is a simplicial complex and its edge group is well-known to be isomorphic to the ordinary (topological) fundamental group of its geometric realization. This identification of our intrinsic digital fundamental group with a topological fundamental group---extrinsic to the digital setting---means that many familiar facts about the ordinary fundamental group may be translated into their counterparts for the digital fundamental group: The digital fundamental group of any digital circle is $\mathbb{Z}$; a version of the Seifert-van Kampen Theorem holds for our digital fundamental group; every finitely presented group occurs as the (digital) fundamental group of some digital image. We also show that the (digital) fundamental group of every 2D digital image is a free group.
Determining Geodesic Distance on Arbitrary-order Subdivision of Tree with Applications
The problem of how to estimate diffusion on a graph effectively is of importance both theoretically and practically. In this paper, we make use of two widely studied indices, geodesic distance and mean first-passage time ($MFPT$) for random walk, to consider such a problem on some treelike models of interest. To this end, we first introduce several types of operations, for instance, $m$th-order subdivision and ($1,m$)-star-fractal operation, to generate the potential candidate models. And then, we develop a class of novel techniques based on mapping for calculating the exact formulas of the both quantities above on our models. Compared to those previous tools including matrix-based methods for addressing the issue of this type, the techniques proposed here are more general mainly because we generalize the initial condition for creating these models. Meantime, in order to show applications of our techniques to many other treelike models, the two popularly discussed models, Cayley tree $C(t,n)$ and Exponential tree $\mathcal{T}(t;m)$, are chosen to serve as representatives. While their correspondence solutions have been reported, our techniques are more convenient to implement than those pre-existing ones and thus this certifies our statements strongly. Final, we distinguish the difference among results and attempt to make some heuristic explanations to the reasons why the phenomena appear.
Tautological cycles on tropical Jacobians
Published in Alg. Number Th. 17 (2023) 885-921
• View Publication
• BIB
The classical Poincaré formula relates the rational homology classes of tautological cycles on a Jacobian to powers of the class of Riemann theta divisor. We prove a tropical analogue of this formula. Along the way, we prove several foundational results about real tori with integral structures (and, therefore, tropical abelian varieties). For example, we prove a tropical version of the Appell-Humbert theorem. We also study various notions of equivalences between tropical cycles and their relation to one another.