Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Infinite arc-transitive and highly-arc-transitive digraphs
A detailed description of the structure of two-ended arc-transitive digraphs is given. It is also shown that several sets of conditions, involving such concepts as Property Z, local quasi-primitivity and prime out-valency, imply that an arc-transitive digraph must be highly-arc-transitive. These are then applied to give a complete classification of two-ended highly-arc-transitive digraphs with prime in- and out-valencies.
Subtractive Magic and Antimagic Total Labeling for Basic Families of Graphs
A \textit{subtractive arc-magic labeling} (SAML) of a directed graph $G=(V,A)$ is a bijection $λ:V\cup A \to \{1,2,\ldots,|V|+|A|\}$ with the property that for every $xy\in A$ we have $λ(xy)+λ(y)-λ(x)$ equals to an integer constant. If $λ(xy)+λ(y)-λ(x)$ are distinct for every $xy\in A$, then $λ$ is a \textit{subtractive arc-antimagic labeling} (SAAL). A \textit{subtractive vertex-magic labeling} (SVML) of $G$ is such bijection with the property that for every $x\in V$ we have $λ(x)+\sum_{y\in V, yx \in A} λ(yx)-\sum_{y\in V, xy\in A} λ(xy)$ equals to an integer constant. If $λ(x)+\sum_{y\in V, yx \in A} λ(yx)-\sum_{y\in V, xy\in A} λ(xy)$ are distinct for every $x\in V$, then $λ$ is a \textit{subtractive vertex-antimagic labeling} (SVAL). In this paper we prove some existence or non-existence of SAML, SVML, SAAL, and SVAL for several basic families of directed graphs, such as paths, cycles, stars, wheels, tadpoles, friendship graphs, and general butterfly graphs. The constructions are given when such labeling(s) exists.
Perfectly nested circuits
Nested graphs have been used in different applications, for example to represent knowledge in semantic networks. On the other hand, graphs with cycles are really important in surface reconstruction, periodic schedule and network analysis. Also, of particular interest are the cycle basis, which arise in mathematical and algorithm problems. In this work we develop the concept of perfectly nested eulerian circuits, exploring some of their properties. The main result establishes an order isomorphism between some sets of perfectly nested circuits and equivalence classes over finite binary sequences.
An explicit formula for the distance characteristic polynomial of threshold graphs
Published
• View Publication
• BIB
A threshold graph G on n vertices is defined by binary sequence of length n. In this paper we present an explicit formula for computing the distance characteristic polynomial of a threshold graph from its binary sequence. As application, we show a several of nonisomorphic pairwise threshold graphs which are {D}-cospectral graphs.
Counting restricted orientations of random graphs
Published
• View Publication
• BIB
We count orientations of $G(n,p)$ avoiding certain classes of oriented graphs. In particular, we study $T_r(n,p)$, the number of orientations of the binomial random graph $G(n,p)$ in which every copy of $K_r$ is transitive, and $S_r(n,p)$, the number of orientations of $G(n,p)$ containing no strongly connected copy of $K_r$. We give the correct order of growth of $\log T_r(n,p)$ and $\log S_r(n,p)$ up to polylogarithmic factors; for orientations with no cyclic triangle, this significantly improves a result of Allen, Kohayakawa, Mota and Parente. We also discuss the problem for a single forbidden oriented graph, and state a number of open problems and conjectures.
Incidence dimension and 2-packing number in graphs
Let $G=(V,E)$ be a graph. A set of vertices $A$ is an incidence generator for $G$ if for any two distinct edges $e,f\in E(G)$ there exists a vertex from $A$ which is an endpoint of either $e$ or $f$. The smallest cardinality of an incidence generator for $G$ is called the incidence dimension and is denoted by $dim_I(G)$. A set of vertices $P$ is a 2-packing if the distance between any pair of distinct vertices from $P$ is greater than two. The largest cardinality of a 2-packing of $G$ is the packing number of $G$ and is denoted by $ρ(G)$. The incidence dimension of graphs is introduced and studied in this article, and we emphasize in the closed relationship between $dim_I(G)$ and $ρ(G)$. We first note that the complement of any 2-packing in a graph $G$ is always an incidence generator for $G$, and further show that either $dim_I(G)=ρ(G)$ or $dim_I(G)=ρ(G)-1$ for any graph $G$. In addition, we also prove that the problem of determining the incidence dimension of a graph is NP-complete, and present some bounds for it.
Construction of an algebra corresponding to a statistical model of the square ladder (square lattice with two lines)
Published in Nuclear Physics B, 2022
• View Publication
• BIB
In this paper we define infinite-dimensional algebra and its representation, whose basis is naturally identified with semi-infinite configurations of the square ladder model. We also extrapolate the ideas for the cyclic 3-leg triangular ladder model. All of these propose a way for generalization, which leads to representations of N = 2, ... algebras.
Keywords: 2D lattice, square ladder, triangular ladder, conformal algebra, semi-infinite forms, fermions, quadratic algebra, superfrustration, graded Euler characteristic, cohomology, deformation, Jacobi triple product, superalgebras, operator algebras, N = 2, ... algebras.
New Tribonacci Recurrence Relations and Addition Formulas
Published
• View Publication
• BIB
Only one three-term recurrence relation, namely, $W_{r}=2W_{r-1}-W_{r-4}$, is known for the generalized Tribonacci numbers, $W_r$, $r\in\mathbb{Z}$, defined by $W_{r}=W_{r-1}+W_{r-2}+W_{r-3}$ and \mbox{$W_{-r}=W_{-r+3}-W_{-r+2}-W_{-r+1}$}, where $W_0$, $W_1$ and $W_2$ are given, arbitrary integers, not all zero. Also, only one four-term addition formula is known for these numbers, which is, $W_{r + s} = T_{s - 1} W_{r - 1} + (T_{s - 1} + T_{s-2} )W_r + T_s W_{r + 1}$, where $({T_r})_{r\in\mathbb{Z}}$ is the Tribonacci sequence, a special case of the generalized Tribonacci sequence, with $W_0=T_0=0$ and $W_1=W_2=T_1=T_2=1$. In this paper we discover three new three-term recurrence relations and two identities from which a plethora of new addition formulas for the generalized Tribonacci numbers may be discovered. We obtain a simple relation connecting the Tribonacci numbers and the Tribonacci-Lucas numbers. Finally, we derive quadratic and cubic recurrence relations for the generalized Tribonacci numbers.
Properties of Norms on Sets
We investigate the norms appearing in the forcing from combinatorial point of view. We make first steps towards building a catalog of the norms appearing in multiple settings and sources, reviewing four norms from Bartoszyński and Judah [1], Rosłanowski and Shelah [4,3,5], and Shelah [7].
Knuth's Moves on Timed Words
Published in The Mathematics Student, Vol. 87, Nos. 3-4, July-December 2018, pages 1-11
• Search Publication
We give an exposition of Schensted's algorithm to find the length of the longest increasing subword of a word in an ordered alphabet, and Greene's generalization of Schensted's results using Knuth equivalence. We announce a generalization of these results to timed words.
The entropy of lies: playing twenty questions with a liar
`Twenty questions' is a guessing game played by two players: Bob thinks of an integer between $1$ and $n$, and Alice's goal is to recover it using a minimal number of Yes/No questions. Shannon's entropy has a natural interpretation in this context. It characterizes the average number of questions used by an optimal strategy in the distributional variant of the game: let $μ$ be a distribution over $[n]$, then the average number of questions used by an optimal strategy that recovers $x\sim μ$ is between $H(μ)$ and $H(μ)+1$. We consider an extension of this game where at most $k$ questions can be answered falsely. We extend the classical result by showing that an optimal strategy uses roughly $H(μ) + k H_2(μ)$ questions, where $H_2(μ) = \sum_x μ(x)\log\log\frac{1}{μ(x)}$. This also generalizes a result by Rivest et al. for the uniform distribution. Moreover, we design near optimal strategies that only use comparison queries of the form `$x \leq c$?' for $c\in[n]$. The usage of comparison queries lends itself naturally to the context of sorting, where we derive sorting algorithms in the presence of adversarial noise.
Direct families of polytopes with nontrivial Massey products
The problem of existence of nontrivial Massey products in cohomology of a space is well-known in algebraic topology and homological algebra. A number of problems in complex geometry, symplectic geometry, and algebraic topology can be stated in terms of Massey products. One of such problems is to establish formality of smooth manifolds in rational homotopy theory. There have already been constructed a few classes of spaces with nontrivial triple Massey products in cohomology. Until now, very few examples of manifolds $M$ with nontrivial higher Massey products in $H^*(M)$ were known. In this work we introduce a sequence of smooth closed manifolds $\{M_{k}\}^{\infty}_{k=1}$ such that $M_{k}\hookrightarrow M_{k+1}$ is a submanifold and a retract of $M_{k+1}$ for any $k\geq 1$ and there exists a nontrivial Massey product $\langleα_{1},\ldots,α_{n}\rangle$ in $H^*(M_{k})$ for each $2\leq n\leq k$. The sequence $\{M_k\}^{\infty}_{k=1}$ is determined by a new family of flag nestohedra $\mathcal P_{Mas}$. We give P.D.E. for the two-parametric generating series of $\mathcal P_{Mas}$.
Limits of Order Types
We apply ideas from the theory of limits of dense combinatorial structures to study order types, which are combinatorial encodings of finite point sets. Using flag algebras we obtain new numerical results on the Erdős problem of finding the minimal density of 5-or 6-tuples in convex position in an arbitrary point set, and also an inequality expressing the difficulty of sampling order types uniformly. Next we establish results on the analytic representation of limits of order types by planar measures. Our main result is a rigidity theorem: we show that if sampling two measures induce the same probability distribution on order types, then these measures are projectively equivalent provided the support of at least one of them has non-empty interior. We also show that some condition on the Hausdorff dimension of the support is necessary to obtain projective rigidity and we construct limits of order types that cannot be represented by a planar measure. Returning to combinatorial geometry we relate the regularity of this analytic representation to the aforementioned problem of Erdős on the density of k-tuples in convex position, for large k.
On partition identities of Capparelli and Primc
Published
• View Publication
• BIB
We show that, up to multiplication by a factor $\frac{1}{(cq;q)_{\infty}}$, the weighted words version of Capparelli's identity is a particular case of the weighted words version of Primc's identity. We prove this first using recurrences, and then bijectively. We also give finite versions of both identities.
A Lattice Isomorphism Theorem for Cluster Groups of Mutation-Dynkin Type $A_{n}$
Published
• View Publication
• BIB
Each quiver appearing in a seed of a cluster algebra determines a corresponding group, which we call a cluster group, which is defined via a presentation. Grant and Marsh showed that, for quivers appearing in seeds of cluster algebras of finite type, the associated cluster groups are isomorphic to finite reflection groups. As for finite Coxeter groups, we can consider parabolic subgroups of cluster groups. We prove that, in the type $A_{n}$ case, there exists an isomorphism between the lattice of subsets of the defining generators of the cluster group and the lattice of its parabolic subgroups. Moreover, each parabolic subgroup has a presentation given by restricting the presentation of the whole group.
Characterizations and Directed Path-Width of Sequence Digraphs
Published
• View Publication
• BIB
Computing the directed path-width of a directed graph is an NP-hard problem. Even for digraphs of maximum semi-degree 3 the problem remains hard. We propose a decomposition of an input digraph G=(V,A) by a number k of sequences with entries from V, such that (u,v) in A if and only if in one of the sequences there is an occurrence of u appearing before an occurrence of v. We present several graph theoretical properties of these digraphs. Among these we give forbidden subdigraphs of digraphs which can be defined by k=1 sequence, which is a subclass of semicomplete digraphs. Given the decomposition of digraph G, we show an algorithm which computes the directed path-width of G in time O(k\cdot (1+N)^k), where N denotes the maximum sequence length. This leads to an XP-algorithm w.r.t. k for the directed path-width problem. Our result improves the algorithms of Kitsunai et al. for digraphs of large directed path-width which can be decomposed by a small number of sequence.
Some Remarks on the Dirichlet Problem on Infinite Trees
Published in Concrete Operators, vol. 6, no. 1, 2019, pp. 20-32
• View Publication
• BIB
We consider the Dirichlet problem on infinite and locally finite rooted trees, and we prove that the set of irregular points for continuous data has zero capacity. We also give some uniqueness results for solutions in Sobolev $ W^{1,p} $ of the tree.
Chromatic numbers of Kneser-type graphs
Published
• View Publication
• BIB
Let $G(n, r, s)$ be a graph whose vertices are all $r$-element subsets of an $n$-element set, in which two vertices are adjacent if they intersect in exactly $s$ elements. In this paper we study chromatic numbers of $G(n, r, s)$ with $r, s$ being fixed constants and $n$ tending to infinity. Using a recent result of Keevash on existence of designs we deduce an inequality $χ(G(n, r, s)) \le (1+o(1))n^{r-s} \frac{(r-s-1)!}{(2r-2s-1)!}$ for $r > s$ with $r, s$ fixed constants. This inequality gives sharp upper bounds for $r \le 2s+1$. Also we develop an elementary approach to this problem and prove that $χ(G(n, 4, 2)) \sim \frac{n^2}{6}$ without use of Keevash's results.
Some bounds on the list chromatic number of $G(n, r, s)$ are also obtained.
The Eternal Game Chromatic Number of a Graph
Game coloring is a well-studied two-player game in which each player properly colors one vertex of a graph at a time until all the vertices are colored. An `eternal' version of game coloring is introduced in this paper in which the vertices are colored and re-colored from a color set over a sequence of rounds. In a given round, each vertex is colored, or re-colored, once, so that a proper coloring is maintained. Player 1 wants to maintain a proper coloring forever, while player 2 wants to force the coloring process to fail. The eternal game chromatic number of a graph $G$ is defined to be the minimum number of colors needed in the color set so that player 1 can always win the game on $G$. We consider several variations of this new game and show its behavior on some elementary classes of graphs.
New degenerated polynomials arising from non-classical Umbral Calculus
We introduce new generalizations of the Bernoulli, Euler, and Genocchi polynomials and numbers based on the Carlitz-Tsallis degenerate exponential function and concepts of the Umbral Calculus associated with it. Also, we present generalizations of some familiar identities and connection between these kinds of Bernoulli, Euler, and Genocchi polynomials. Moreover, we establish a new analogue of the Euler identity for the degenerate Bernoulli numbers.