Showing 20 papers (Total: 82064 papers, 47505 authors in database)
Near automorphisms of $G_{(n,m)}$
Let $G$ be a graph with vertex set $V(G)$, $f$ a permutation of $V(G)$. Define $δ_f(G)=|d(x,y)-d(f(x),f(y))|$ and $δ_f(G)=Σδ_f(x,y)$, where the sum is taken over all unordered pair $x$, $y$ of distinct vertices of $G$. $δ_f(x,U)=Σδ_f(x,y)$, where $U\subseteq V(G)$ and $y\in U$. Let $π(G)$ denote the smallest positive value of $δ_f(G)$ among all permutations of $V(G)$. A permutation $f$ with $δ_f(G)=π(G)$ is called a near automorphisms of $G$\cite{HV}. In this paper, we define $G_{(n,m)}$ is a graph obtained from $K_n$ by add $t_i$ pendent vertices to $y_i$ which is a vertex of $K_n$, $i=1,\cdots,m$, and we say $y_i$ is a c-pendent vertex of $G_(n,m)$. We determine $π(G_{(n,m)})$ and describe permutations $f$ of $G_{(n,m)}$ for which $π(G_{(n,m)})=δ_f(G_{(n,m)})$. Because $G_{(1,1)}$ is a star and it is easy, hence we let $n\geq 2$. Suppose $G_(n,m)$ has $m$ c-pendent vertices $\{y_1, \ldots, y_m\}$ and $y_i$ has $t_i$ pendent vertices($1\leq t_1\leq t_2\leq \ldots \leq t_m$). For $m<n$ we have $$π(G_{(n,m)})= \left\{ \begin{array}{lc} 2n-4 & n \leq t_1+2, m=1 \cr 2t_1&otherwise \end{array} \right. $$ For $m=n$ we have $$π(G_{(n,n)})= \left\{ \begin{array}{lc} 4 & t_1=1,t_2=2 \cr 2t_1+2t_2&otherwise \end{array} \right.$$
A combinatorial model for $q$-characters of fundamental modules of type $D_{n}$
Published
• View Publication
• BIB
In this paper, we introduce a combinatorial path model of representation of the quantum affine algebra of type $D_n$, inspired by Mukhin and Young's combinatorial path models of representations of the quantum affine algebras of types $A_n$ and $B_n$. In particular, we give a combinatorial formula for $q$-characters of fundamental modules of type $D_{n}$ by assigning each path to a monomial or binomial. By counting our paths, a new expression on dimensions of fundamental modules of type $D_n$ is obtained.
A matrix variant of the Erdős-Falconer distance problems over finite field
Published
• View Publication
• BIB
We study a matrix analog of the Erdős-Falconer distance problems in vector spaces over finite fields. There arises an interesting analysis of certain quadratic matrix Gauss sums.
From multivalued to Boolean functions: preservation of soft nested canalization
Published
• View Publication
• BIB
Nested canalization (NC) is a property of Boolean functions which has been recently extended to multivalued functions. We study the effect of the Van Ham mapping (from multivalued to Boolean functions) on this property. We introduce the class of softly nested canalizing (SNC) multivalued functions, and prove that the Van Ham mapping sends SNC multivalued functions to NC Boolean functions. Since NC multivalued functions are SNC, this preservation property holds for NC multivalued functions as well. We also study the relevance of SNC functions in the context of gene regulatory network modelling.
On the number of tangencies among 1-intersecting curves
Published
• View Publication
• BIB
Let $\cal C$ be a set of curves in the plane such that no three curves in $\cal C$ intersect at a single point and every pair of curves in $\cal C$ intersect at exactly one point which is either a crossing or a touching point. According to a conjecture of János Pach the number of pairs of curves in $\cal C$ that touch each other is $O(|{\cal C}|)$. We prove this conjecture for $x$-monotone curves.
Towards the horizons of Tits's vision -- on band schemes, crowds and F1-structures
Published in Innov. Incidence Geom. 20 (2023) 353-394
• View Publication
• BIB
This text is dedicated to Jacques Tits's ideas on geometry over F1, the field with one element. In a first part, we explain how thin Tits geometries surface as rational point sets over the Krasner hyperfield, which links these ideas to combinatorial flag varieties in the sense of Borovik, Gelfand and White and F1-geometry in the sense of Connes and Consani. A completely novel feature is our approach to algebraic groups over F1 in terms of an alteration of the very concept of a group. In the second part, we study an incidence-geometrical counterpart of (epimorphisms to) thin Tits geometries; we introduce and classify all F1-structures on 3-dimensional projective spaces over finite fields. This extends recent work of Thas and Thas on epimorphisms of projective planes (and other rank 2 buildings) to thin planes.
On 4-general sets in finite projective spaces
Published
• View Publication
• BIB
A $4$-general set in ${\rm PG}(n,q)$ is a set of points of ${\rm PG}(n,q)$ spanning the whole ${\rm PG}(n,q)$ and such that no four of them are on a plane. Such a pointset is said to be complete if it is not contained in a larger $4$-general set of ${\rm PG}(n, q)$. In this paper upper and lower bounds for the size of the largest and the smallest complete $4$-general set in ${\rm PG}(n,q)$, respectively, are investigated. Complete $4$-general sets in ${\rm PG}(n,q)$, $q \in \{3,4\}$, whose size is close to the theoretical upper bound are provided. Further results are also presented, including a description of the complete $4$-general sets in projective spaces of small dimension over small fields and the construction of a transitive $4$-general set of size $3(q + 1)$ in ${\rm PG}(5, q)$, $q \equiv 1 \pmod{3}$.
Isomorphic pastings and the two possible structures for a pair of graphs having the same deck
When G denotes a graph, the unlabeled subgraph obtained by deleting a vertex from G is called a card of G and the collection of all cards of G is the deck of G. A graph having the same deck as G is called a hypomorph of G. A graph is called reconstructible if it is isomorphic to all its hypomorphs. Reconstruction Conjecture claims that all graphs are reconstructible and it is open. A representation of a hypomorph of G in terms of two of its cards, called pasting, is introduced. Isomorphic pastings of two cards is defined. In the case of a digraph, a card with which the degree triple of the deleted vertex is also given is called a degree associated card or dacard. Dadeck, dareconstructible digraphs, dapastings and isomorphic dapastings based on dacards are defined analogously. DARC claims that all digraphs are dareconstructible and it is also open. Results: Two hypomorphs G and H of a graph are isomorphic if and only if a pair of cards in their common deck is pasted isomorphically in both G and H. Either every pair of cards in their common deck is pasted isomorphically in both G and H, or no pair of cards is pasted isomorphically in both G and H. Results analogous to the above hold for dapastings in dahypomorphs of a digraph. Some results on pastings are proved and two graph parameters are reconstructed. The neighborhood degree quintuple of a vertex and a new family of digraphs are dareconstructible. New approaches for proving the reconstruction conjecture and DARC by the method of contradiction arise.
Constructions of Constant Dimension Subspace Codes
Published
• View Publication
• BIB
Subspace codes have important applications in random network coding. It is interesting to construct subspace codes with both sizes, and the minimum distances are as large as possible. In particular, cyclic constant dimension subspaces codes have additional properties which can be used to make encoding and decoding more efficient. In this paper, we construct large cyclic constant dimension subspace codes with minimum distances $2k-2$ and $2k$. These codes are contained in $\mathcal{G}_q(n, k)$, where $\mathcal{G}_q(n, k)$ denotes the set of all $k$-dimensional subspaces of $\mathbb{F}_{q^n}$. Consequently, some results in \cite{FW}, \cite{NXG}, and \cite{ZT} are extended.
The Complexity of 2-Intersection Graphs of 3-Hypergraphs Recognition for Claw-free Graphs and triangulated Claw-free Graphs
Published
• View Publication
• BIB
Given a 3-uniform hypergraph H, its 2-intersection graph G has for vertex set the hyperedges of H and ee' is an edge of G whenever e and e' have exactly two common vertices in H. Di Marco et al. prove that deciding wether a graph G is the 2-intersection graph of a 3-uniform hypergraph is NP-complete. The main problems we study concern the class of claw-free graphs. We show that the recognition problem remains NP-complete when G is claw-free graphs but becomes polynomial if in addition G is triangulated.
Symmetrization for finitely dependent colouring
Published
• View Publication
• BIB
We prove the existence of a finitely dependent proper colouring of the integer lattice Z^d that is fully isometry-invariant in law, for all dimensions d. Previously this was known only for d=1, while only translation-invariant examples were known for higher d. Moreover we show that four colours suffice, and that the colouring can be expressed as an isometry-equivariant finitary factor of an i.i.d. process, with exponential tail decay on the coding radius. Our construction starts from known translation-invariant colourings and applies a symmetrization technique of possible broader utility.
The number of topological types of trees
Published
• View Publication
• BIB
Two graphs are of the same topological type if they can be mutually embedded into each other topologically. We show that there are exactly $\aleph_1$ distinct topological types of countable trees. In general, for any infinite cardinal $κ$ there are exactly $κ^+$ distinct topological types of trees of size $κ$. This solves a problem of van der Holst from 2005.
On generic universal rigidity on the line
Published in Proceedings of the 12th Japanese-Hungarian Symposium on Discrete Mathematics and Its Applications, Budapest (March 2023)
• Search Publication
A $d$-dimensional bar-and-joint framework $(G,p)$ with underlying graph $G$ is called universally rigid if all realizations of $G$ with the same edge lengths, in all dimensions, are congruent to $(G,p)$. A graph $G$ is said to be generically universally rigid in $\mathbb{R}^d$ if every $d$-dimensional generic framework $(G,p)$ is universally rigid.
In this paper we focus on the case $d=1$. We give counterexamples to a conjectured characterization of generically universally rigid graphs from R. Connelly (2011). We also introduce two new operations that preserve the universal rigidity of generic frameworks, and the property of being not universally rigid, respectively. One of these operations is used in the analysis of one of our examples, while the other operation is applied to obtain a lower bound on the size of generically universally rigid graphs. This bound gives a partial answer to a question from T. Jordán and V-H. Nguyen (2015).
Tiling, spectrality and aperiodicity of connected sets
Published
• View Publication
• BIB
Let $Ω\subset \mathbb{R}^d$ be a set of finite measure. The periodic tiling conjecture suggests that if $Ω$ tiles $\mathbb{R}^d$ by translations then it admits at least one periodic tiling. Fuglede's conjecture suggests that $Ω$ admits an orthogonal basis of exponential functions if and only if it tiles $\mathbb{R}^d$ by translations. Both conjectures are known to be false in sufficiently high dimensions, with all the so-far-known counterexamples being highly disconnected. On the other hand, both conjectures are known to be true for convex sets. In this work we study these conjectures for connected sets. We show that the periodic tiling conjecture, as well as both directions of Fuglede's conjecture are false for connected sets in sufficiently high dimensions.
Settling the nonorientable genus of the nearly complete bipartite graphs
Published
• View Publication
• BIB
A graph is said to be nearly complete bipartite if it can be obtained by deleting a set of independent edges from a complete bipartite graph. The nonorientable genus of such graphs is known except in a few cases where the sizes of the partite classes differ by at most one, and a maximum matching is deleted. We resolve these missing cases using three classic tools for constructing genus embeddings of the complete bipartite graphs: current graphs, diamond sums, and the direct rotation systems of Ringel.
Equitable Choosability of Prism Graphs
Published
• View Publication
• BIB
A graph $G$ is equitably $k$-choosable if, for every $k$-uniform list assignment $L$, $G$ is $L$-colorable and each color appears on at most $\left\lceil |V(G)|/k\right\rceil$ vertices. Equitable list-coloring was introduced by Kostochka, Pelsmajer, and West in 2003. They conjectured that a connected graph $G$ with $Δ(G)\geq 3$ is equitably $Δ(G)$-choosable, as long as $G$ is not complete or $K_{d,d}$ for odd $d$. In this paper, we use a discharging argument to prove their conjecture for the infinite family of prism graphs.
Network Routing on Regular Digraphs and Their Line Graphs
Published
• View Publication
• BIB
This paper concerns all-to-all network routing on regular digraphs. In previous work we focused on efficient routing in highly symmetric digraphs with low diameter for fixed degree. Here, we show that every connected regular digraph has an all-to-all routing scheme and associated schedule with no waiting. In fact, this routing scheme becomes more efficient as the diameter goes down with respect to the degree and number of vertices. Lastly, we examine the simple scheduling algorithm called ``farthest-distance-first'' and prove that it yields optimal schedules for all-to-all communication in networks of interest, including Kautz graphs.
Set-coloring Ramsey numbers and error-correcting codes near the zero-rate threshold
Published
• View Publication
• BIB
For positive integers $n,r,s$ with $r > s$, the set-coloring Ramsey number $R(n;r,s)$ is the minimum $N$ such that if every edge of the complete graph $K_N$ receives a set of $s$ colors from a palette of $r$ colors, then there is a subset of $n$ vertices where all of the edges between them receive a common color. If $n$ is fixed and $\frac{s}{r}$ is less than and bounded away from $1-\frac{1}{n-1}$, then $R(n;r,s)$ is known to grow exponentially in $r$, while if $\frac{s}{r}$ is greater than and bounded away from $1-\frac{1}{n-1}$, then $R(n;r,s)$ is bounded. Here we prove bounds for $R(n;r,s)$ in the intermediate range where $\frac{s}{r}$ is close to $1 - \frac{1}{n-1}$ by establishing a connection to the maximum size of error-correcting codes near the zero-rate threshold.
A universal-algebra and combinatorial approach to the set-theoretic Yang-Baxter equation
We introduce a new variety of set-theoretic non-associative algebras, Płonka bi-magmas, to describe and classify all solutions of the set-theoretic Yang-Baxter (YB) equation of Baaj-Long-Skandalis (BLS) type. We also study new classes of YB-solutions (bi-connected, simple), and classify the BLS-solutions that fit into those classes. There are only countably many isomorphism classes of simple BLS-solutions, for instance, and they are all describable in terms of the odometer transformations familiar from ergodic theory.
Placing Drinfel'd's problem of classifying the set-theoretic solutions of the Yang-Baxter equation in a universal-algebra context with a combinatorial flavor, we also prove the existence of adjunctions between various categories of solutions.
Bijective enumeration of general stacks
Published
• View Publication
• BIB
Combinatorial enumeration of various RNA secondary structures and protein contact maps, is of great interest for both combinatorists and computational biologists. Enumeration of protein contact maps has considerable difficulties due to the significant higher vertex degree than that of RNA secondary structures. The state of art maximum vertex degree in previous works is two. This paper proposes a solution for counting stacks in protein contact maps with arbitrary vertex degree upper bound. By establishing bijection between such general stacks and $m$-regular $Λ$-avoiding $DLU$ paths, and counting the paths using theories of pattern avoiding lattice paths, we obtain a unified system of equations for generating functions of general stacks. We also show that previous enumeration results for RNA secondary structures and protein contact maps can be derived from the unified equation system as special cases.