Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Hernandez-Leclerc modules and snake graphs
In 2010, Hernandez and Leclerc studied connections between representations of quantum affine algebras and cluster algebras. In 2019, Brito and Chari defined a family of modules over quantum affine algebras, called Hernandez-Leclerc modules. We characterize the highest $\ell$-weight monomials of Hernandez-Leclerc modules. We give a non-recursive formula for $q$-characters of Hernandez-Leclerc modules using snake graphs, which involves an explicit formula for $F$-polynomials. We also give a new recursive formula for $q$-characters of Hernandez-Leclerc modules.
Strongly regular graphs with parameters (81,30,9,12) and a new partial geometry pg(5,5,2)
Twelve new strongly regular graphs with parameters (81,30,9,12) are found as graphs invariant under certain subgroups of the automorphism groups of the two previously known graphs that arise from 2-weight codes. One of these new graphs is geometric and yields a partial geometry with parameters pg(5,5,2) that is not isomorphic to the partial geometry discovered by J. H. van Lint and A. Schrijver in 1981.
Inverse relations and reciprocity laws involving partial Bell polynomials and related extensions
Published in Enumer. Combin. Appl. 1:1 (2021) Article S2R3
• View Publication
• BIB
The objective of this paper is, in the main, twofold: Firstly, to develop an algebraic setting for dealing with Bell polynomials and related extensions. Secondly, based on the author's previous work on multivariate Stirling polynomials (2015), to present a number of new results related to different types of inverse relationships, among these (1) the use of multivariable Lah polynomials for characterizing self-orthogonal families of polynomials that can be represented by Bell polynomials, (2) the introduction of `generalized Lagrange inversion polynomials' that invert functions characterized in a specific way by sequences of constants, (3) a general reciprocity theorem according to which, in particular, the partial Bell polynomials $B_{n,k}$ and their orthogonal companions $A_{n,k}$ belong to one single class of Stirling polynomials: $A_{n,k}=(-1)^{n-k}B_{-k,-n}$. Moreover, of some numerical statements (such as Stirling inversion, Schlömilch-Schläfli formulas) generalized polynomial versions are established. A number of well-known theorems (Jabotinsky, Mullin-Rota, Melzak, Comtet) are given new proofs.
Italian Domination and Perfect Italian Domination on Sierpinski Graphs
Published
• View Publication
• BIB
An Italian dominating function (IDF) of a graph G is a function $ f: V(G) \rightarrow \{0,1,2\} $ satisfying the condition that for every $ v\in V $ with $ f(v) = 0$, $\sum_{ u\in N(v)} f(u) \geq 2. $ The weight of an IDF on $G$ is the sum $ f(V)= \sum_{v\in V}f(v) $ and the Italian domination number, $ γ_I(G) $, is the minimum weight of an IDF. An IDF is a perfect Italian dominating function (PID) on $G$, if for every vertex $ v \in V(G) $ with $ f(v) = 0 $ the total weight assigned by $f$ to the neighbours of $ v $ is exactly 2, i.e., all the neighbours of $u$ are assigned the weight 0 by $f$ except for exactly one vertex $v$ for which $ f(v) = 2 $ or for exactly two vertices $v$ and $w$ for which $ f(v) = f(w) = 1 $. The weight of a PID- function is $f(V)=\sum_{u \in V(G)}f(u)$. The perfect Italian domination number of $G$, denoted by $ γ^{p}_{I}(G), $ is the minimum weight of a PID-function of $G$. In this paper we obtain the Italian domination number and perfect Italian domination number of Sierpiński graphs.
Regularity in weighted oriented graphs
Published in Indian J Pure Appl Math, 2021
• View Publication
• BIB
Let $D$ be a weighted oriented graph with the underlying graph $G$ and $I(D), I(G) $ be the edge ideals corresponding to $D$ and $G$ respectively. We show that the regularity of edge ideal of a certain class of weighted oriented graph remains same even after adding certain kind of new edges to it. We also establish the relationship between the regularity of edge ideal of weighted oriented path and cycle with the regularity of edge ideal of their underlying graph when vertices of $V^+$ are sinks.
Distinguishing actions of symmetric groups and related graphs
The distinguishing number $D(G,X)$ of an action of a group $G$ on a set $X$ is the least size of a partition of $X$ such that no element of $G$ acting nontrivially on $X$ preserves this partition. In this paper we describe the distinguishing numbers for all actions of the symmetric group $S_n$, for any $n\geq 3$. This allows us to describe the distinguishing numbers for all graphs whose automorphism group is isomorphic with a symmetric group. Our description solves a few open problems posed by various authors in earlier papers on this topic.
The geometry of random tournaments
Published in Discrete Comput. Geom. 71, No. 4, 1343-1351 (2024)
• View Publication
• BIB
A tournament is an orientation of a graph. Each edge represents a match, directed towards the winner. The score sequence lists the number of wins by each team. Landau (1953) characterized score sequences of the complete graph. Moon (1963) showed that the same conditions are necessary and sufficient for mean score sequences of random tournaments.
We present short and natural proofs of these results that work for any graph using zonotopes from convex geometry. A zonotope is a linear image of a cube. Moon's Theorem follows by identifying elements of the cube with distributions and the linear map as the expectation operator. Our proof of Landau's Theorem combines zonotopal tilings with the theory of mixed subdivisions. We also show that any mean score sequence can be realized by a tournament that is random within a subforest, and deterministic otherwise.
Prism graphs in tropical plane curves
Published in Involve 14 (2021) 495-510
• View Publication
• BIB
Any smooth tropical plane curve contains a distinguished trivalent graph called its skeleton. In 2020 Morrison and Tewari proved that the so-called big face graphs cannot be the skeleta of tropical curves for genus $12$ and greater. In this paper we answer an open question they posed to extend their result to the prism graphs, proving that they are the skeleton of a smooth tropical plane curve precisely when the genus is at most $11$. Our main tool is a classification of lattice polygons with two points than can simultaneously view all others, without having any one point that can observe all others.
Prisoners, Rooms, and Lightswitches
Published
• View Publication
• BIB
We examine a new variant of the classic prisoners and lightswitches puzzle: A warden leads his $n$ prisoners in and out of $r$ rooms, one at a time, in some order, with each prisoner eventually visiting every room an arbitrarily large number of times. The rooms are indistinguishable, except that each one has $s$ lightswitches; the prisoners win their freedom if at some point a prisoner can correctly declare that each prisoner has been in every room at least once. What is the minimum number of switches per room, $s$, such that the prisoners can manage this? We show that if the prisoners do not know the switches' starting configuration, then they have no chance of escape -- but if the prisoners do know the starting configuration, then the minimum sufficient $s$ is surprisingly small. The analysis gives rise to a number of puzzling open questions, as well.
On the Boomerang Uniformity of Permutations of Low Carlitz Rank
Published
• View Publication
• BIB
Finding permutation polynomials with low differential and boomerang uniformityis an important topic in S-box designs of many block ciphers. For example, AES chooses the inverse function as its S-box, which is differentially 4-uniform and boomerang 6-uniform. Also there has been considerable research on many non-quadratic permutations which are obtained by modifying certain set of points from the inverse function. In this paper, we give a novel approach that shows that plenty of existing modifications of the inverse function are in fact affine equivalent to permutations of low Carlitz rank and those modifications cannot be APN (almost perfect nonlinear) unless the Carlitz rank is very large. Using nice properties of the permutations of Carlitz form, we present the complete list of permutations of Carlitz rank 3 having the boomerang uniformity six, and also give the complete classification of the differential uniformity of permutations of Carlitz rank 3. We also provide, up to affine equivalence, all the involutory permutations of Carlitz rank 3 having the boomerang uniformity six.
Equipartition of a segment
Published
• View Publication
• BIB
We prove that, for any positive integer $m$, a segment may be partitioned into $m$ possibly degenerate or empty segments with equal values of a continuous function $f$ of a segment, assuming that $f$ may take positive and negative values, but its value on degenerate or empty segments is zero.
On Signed Distance in Product of Signed Graphs
Published
• View Publication
• BIB
A signed graph is a graph in which each edge has a positive or negative sign. In this article, first we characterize the distance compatibility in the case of a connected signed graph and discussed the distance compatibility criterion for the cartesian product, lexicographic product and tensor product of signed graphs. We also deal with the distance matrix of the cartesian product, lexicographic product and tensor product of signed graphs in terms of the distance matrix of the factor graphs.
On the Characteristic Polynomial of Skew Gain Graphs
Gain graphs are graphs where the edges are given some orientation and labeled with the elements (called gains) from a group so that gains are inverted when we reverse the direction of the edges. Generalizing the notion of gain graphs, skew gain graphs have the property that the gain of a reversed edge is the image of edge gain under an anti-involution. In this paper, we deal with the adjacency matrix of skew gain graphs with involutive automorphism on a field of characteristic zero and their charactersitic polynomials. Spectra of some particular skew gain graphs are also discussed. Meanwhile it is interesting to note that weighted graphs are particular cases of skew gain graphs.
On the Directed Oberwolfach Problem with variable cycle lengths
The Directed Oberwolfach Problem can be considered as the directed version of the well-known Oberwolfach Problem, first mentioned by Ringel at a conference in Oberwolfach, Germany in 1967. In this paper, we describe some new partial results on the Directed Oberwolfach Problem with variable cycle lengths. In particular, we show that the complete symmetric digraph $K_n^{*}$ admits a $( \vec{C}_2, ..., \vec{C}_2, \vec{C}_3) $-factorization for all $ n\equiv 1, 3,$ or $ 7\pmod{8}$. We also show that $K_n^{*}$ admits a $(\vec{C}_2, \vec{C}_{n-2})$-factorization for any integer $n \geq 5$.
A polynomial size model with implicit SWAP gate counting for exact qubit reordering
Published
• View Publication
• BIB
Due to the physics behind quantum computing, quantum circuit designers must adhere to the constraints posed by the limited interaction distance of qubits. Existing circuits need therefore to be modified via the insertion of SWAP gates, which alter the qubit order by interchanging the location of two qubits' quantum states. We consider the Nearest Neighbor Compliance problem on a linear array, where the number of required SWAP gates is to be minimized. We introduce an Integer Linear Programming model of the problem of which the size scales polynomially in the number of qubits and gates. Furthermore, we solve $131$ benchmark instances to optimality using the commercial solver CPLEX. The benchmark instances are substantially larger in comparison to those evaluated with exact methods before. The largest circuits contain up to $18$ qubits or over $100$ quantum gates. This formulation also seems to be suitable for developing heuristic methods since (near) optimal solutions are discovered quickly in the search process.
Zero subsums in vector spaces over finite fields
Published in Alg. Number Th. 16 (2022) 1407-1421
• View Publication
• BIB
The Olson constant $\mathcal{O}L(\mathbb{F}_{p}^{d})$ represents the minimum positive integer $t$ with the property that every subset $A\subset \mathbb{F}_{p}^{d}$ of cardinality $t$ contains a nonempty subset with vanishing sum. The problem of estimating $\mathcal{O}L(\mathbb{F}_{p}^{d})$ is one of the oldest questions in additive combinatorics, with a long and interesting history even for the case $d=1$.
In this paper, we prove that for any fixed $d \geq 2$ and $ε> 0$, the Olson constant of $\mathbb{F}_{p}^{d}$ satisfies the inequality $$\mathcal{O}L(\mathbb{F}_{p}^{d}) \leq (d-1+ε)p$$ for all sufficiently large primes $p$. This settles a conjecture of Hoi Nguyen and Van Vu.
Odd diagrams, Bruhat order, and pattern avoidance
Published
• View Publication
• BIB
The odd diagram of a permutation is a subset of the classical diagram with additional parity conditions. In this paper, we study classes of permutations with the same odd diagram, which we call odd diagram classes. First, we prove a conjecture relating odd diagram classes and 213- and 312-avoiding permutations. Secondly, we show that each odd diagram class is a Bruhat interval. Instrumental to our proofs is an explicit description of the Bruhat edges that link permutations in a class.
Directed branch-width: A directed analogue of tree-width
Published
• View Publication
• BIB
Gurski and Wanke showed that a graph class C has bounded tree-width if and only if its associated class of directed line graphs has bounded clique-width. Inevitably -- asking whether this relationship lifts to directed graphs -- we introduce a new digraph width measure: we obtain it by investigating digraphs whose directed line graphs have bounded cliquewidth. Thus, to generalize Gurski and Wanke's aforementioned result, we introduce a natural generalization of branch-width to digraphs and we name it accordingly.
Directed branch-width is a genuinely directed width-measure insofar as it cannot be used to bound the value of the underlying undirected tree-width. Despite this, the two measures are still closely related: the directed branch-width of a digraph D can differ from the branch-width of its underlying undirected graph only at sources and sinks. This relationship allows us to extend a range of algorithmic results from directed graphs with bounded underlying treewidth to the strictly larger class of digraphs having bounded directed branch-width.
Polychromatic colorings of 1-regular and 2-regular subgraphs of complete graphs
Published
• View Publication
• BIB
If $G$ is a graph and $\mathcal{H}$ is a set of subgraphs of $G$, we say that an edge-coloring of $G$ is $\mathcal{H}$-polychromatic if every graph from $\mathcal{H}$ gets all colors present in $G$ on its edges. The $\mathcal{H}$-polychromatic number of $G$, denoted $\operatorname{poly}_\mathcal{H} (G)$, is the largest number of colors in an $\mathcal{H}$-polychromatic coloring. In this paper we determine $\operatorname{poly}_\mathcal{H} (G)$ exactly when $G$ is a complete graph on $n$ vertices, $q$ is a fixed nonnegative integer, and $\mathcal{H}$ is one of three families: the family of all matchings spanning $n-q$ vertices, the family of all $2$-regular graphs spanning at least $n-q$ vertices, and the family of all cycles of length precisely $n-q$. There are connections with an extension of results on Ramsey numbers for cycles in a graph.
Complete type amalgamation for non-standard finite groups
Published in Model Th. 3 (2024) 1-37
• View Publication
• BIB
We extend previous work on Hrushovski's stabilizer's theorem and prove a measure-theoretic version of a well-known result of Pillay-Scanlon-Wagner on products of three types. This generalizes results of Gowers on products of three sets and yields model-theoretic proofs of existing asymptotic results for quasirandom groups. We also obtain a model-theoretic proof of Roth's theorem on the existence of arithmetic progressions of length $3$ for subsets of positive density in suitable definably amenable groups, such as countable amenable abelian groups without involutions and ultraproducts of finite abelian groups of odd order.