Showing 20 papers (Total: 84460 papers, 48641 authors in database)
The admissibility theorem for the spatial X-ray transform over the two element field
Published in Published: (2012) In: Sabadini I., Struppa D. (eds) The Mathematical Legacy of Leon Ehrenpreis. Springer Proc in Math, vol 16
• View Publication
• BIB
We consider the Radon transform along lines in an $n$ dimensional vector space over the two element field. It is well known that this transform is injective and highly overdetermined. We classify the minimal collections of lines for which the restricted Radon transform is also injective. This is an instance of I.M.~Gelfand's {\it admissibility problem}. The solution is in stark contrast to the more uniform cases of the affine hyperplane transform and the projective line transform, which are addressed in other papers, \cite{Feld-G,Gr1}. The presentation here is intended to be widely accessible, requiring minimum background.
A scaling limit for the length of the longest cycle in a sparse random graph
Published
• View Publication
• BIB
We discuss the length of the longest cycle in a sparse random graph $G_{n,p},p=c/n$. $c$ constant. We show that for large $c$ there is a function $f(c)$ such that $L_n(c)/n\to f(c)$ a.s. The function $f(c)=1-\sum_{k=1}^\infty p_k(c)e^{-kc}$ where $p_k$ is a polynomial in $k$. We are only able to explicitly give the values $p_1,p_2$, although we could in principle compute any $p_k$. We see immediately that the length of the longest path is also asymptotic to $f(c)n$ w.h.p.
A new tool to study the fixed point property of finite posets
We develop a novel tool to study the fixed point property of finite posets using a topological approach. Our tool is a construction which turns out to induce an endofunctor of the homotopy category of finite $T_0$--spaces. We study many properties of this construction and give several examples of application.
Regular Graphs with Minimum Spectral Gap
Published
• View Publication
• BIB
Aldous and Fill conjectured that the maximum relaxation time for the random walk on a connected regular graph with $n$ vertices is $(1+o(1)) \frac{3n^2}{2π^2}$. This conjecture can be rephrased in terms of the spectral gap as follows: the spectral gap (algebraic connectivity) of a connected $k$-regular graph on $n$ vertices is at least $(1+o(1))\frac{2kπ^2}{3n^2}$, and the bound is attained for at least one value of $k$. Based upon previous work of Brand, Guiduli, and Imrich, we prove this conjecture for cubic graphs. We also investigate the structure of quartic (i.e. 4-regular) graphs with the minimum spectral gap among all connected quartic graphs. We show that they must have a path-like structure built from specific blocks.
Transition polynomial as a weight system for binary delta-matroids
Published in MOSCOW MATHEMATICAL JOURNAL Volume 22 Number 1 January-March 2022 Pages 69-81
• View Publication
• BIB
To a singular knot K with n double points, one can associate a chord diagram with n chords. A chord diagram can also be understood as a 4-regular graph endowed with an oriented Euler circuit. L. Traldi introduced a polynomial invariant for such graphs, called a transition polynomial. We specialize this polynomial to a multiplicative weight system, that is, a function on chord diagrams satisfying 4-term relations and determining thus a finite type knot invariant. We prove a similar statement for the transition polynomial of general ribbon graphs and binary delta-matroids defined by R. Brijder and H. J. Hoogeboom, which defines, as a consequence, a finite type invariant of links.
Zero-one laws for existential first order sentences of bounded quantifier depth
Published
• View Publication
• BIB
For any fixed positive integer $k$, let $α_{k}$ denote the smallest $α\in (0,1)$ such that the random graph sequence $\left\{G\left(n, n^{-α}\right)\right\}$ does not satisfy the zero-one law for the set $\mathcal{E}_{k}$ of all existential first order sentences that are of quantifier depth at most $k$. This paper finds upper and lower bounds on $α_{k}$, showing that as $k \rightarrow \infty$, we have $α_{k} = \left(k - 2 - t(k)\right)^{-1}$ for some function $t(k) = Θ(k^{-2})$. We also establish the precise value of $α_{k}$ when $k = 4$.
Kostka Numbers and Longest Increasing Subsequences
A classical bijection relates certain Kostka numbers, the Catalan numbers, and permutations of length $n$ with longest increasing subsequence (LIS) of length at most $2.$ We generalize this bijection and find Kostka numbers which count the number of permutations of $n$ with LIS length at most $w,$ the number of permutations with $(1, \cdots, w)$ as a LIS, and other similar subsets of permutations.
Infinite monochromatic paths and a theorem of Erdos-Hajnal-Rado
Published in Electronic journal of combinatorics, vol. 27, issue 2, paper 2.8, 2020
• View Publication
• BIB
We prove that if $μ>{\rm cf}(μ)=ω$ and $2^μ=μ^+$ then $\binom{μ^+}μ\nrightarrow\binom{μ^+\ \aleph_2}{μ μ}$.
Complexity of planar signed graph homomorphisms to cycles
Published in Discrete Applied Mathematics 284:166-178, 2020
• View Publication
• BIB
We study homomorphism problems of signed graphs. A signed graph is an undirected graph where each edge is given a sign, positive or negative. An important concept for signed graphs is the operation of switching at a vertex, which is to change the sign of each incident edge. A homomorphism of a graph is a vertex-mapping that preserves the adjacencies; in the case of signed graphs, we also preserve the edge-signs. Special homomorphisms of signed graphs, called s-homomorphisms, have been studied. In an s-homomorphism, we allow, before the mapping, to perform any number of switchings on the source signed graph. This concept has been extensively studied, and a full complexity classification (polynomial or NP-complete) for s-homomorphism to a fixed target signed graph has recently been obtained. Such a dichotomy is not known when we restrict the input graph to be planar (not even for non-signed graph homomorphisms).
We show that deciding whether a (non-signed) planar graph admits a homomorphism to the square $C_t^2$ of a cycle with $t\ge 6$, or to the circular clique $K_{4t/(2t-1)}$ with $t\ge2$, are NP-complete problems. We use these results to show that deciding whether a planar signed graph admits an s-homomorphism to an unbalanced even cycle is NP-complete. (A cycle is unbalanced if it has an odd number of negative edges). We deduce a complete complexity dichotomy for the planar s-homomorphism problem with any signed cycle as a target.
We also study further restrictions involving the maximum degree and the girth of the input signed graph. We prove that planar s-homomorphism problems to signed cycles remain NP-complete even for inputs of maximum degree~$3$ (except for the case of unbalanced $4$-cycles, for which we show this for maximum degree~$4$). We also show that for a given integer $g$, the problem for signed bipartite planar inputs of girth $g$ is either trivial or NP-complete.
Finding classes of delta-matroids closed under handle slides
Published in Discret. Math. 344(4): 112313 (2021)
• View Publication
• BIB
In this work, we study the operations of handle slides introduced recently for delta-matroids by Iain Moffatt and Eunice Mphako-Banda. We then prove that the class of binary delta-matroids is the only class of delta-matroids closed under handle slides.
Characterizing affine $\mathcal{C}$-semigroups
Let $\mathcal C \subset \mathbb N^p$ be a finitely generated integer cone and $S\subset \mathcal C$ be an affine semigroup such that the real cones generated by $\mathcal C$ and by $S$ are equal. The semigroup $S$ is called $\mathcal C$-semigroup if $\mathcal C\setminus S$ is a finite set. In this paper, we characterize the $\mathcal C$-semigroups from their minimal generating sets, and we give an algorithm to check if $S$ is a $\mathcal C$-semigroup and to compute its set of gaps. We also study the embedding dimension of $\mathcal C$-semigroups obtaining a lower bound for it, and introduce some families of $\mathcal C$-semigroups whose embedding dimension reaches our bound. In the last section, we present a method to obtain a decomposition of a $\mathcal C$-semigroup into irreducible $\mathcal C$-semigroups.
Classification of Cayley Rose Window Graphs
Published in Theory and Applications of Graphs, Volume 8, Issue 1, 2021
• View Publication
• BIB
Rose window graphs are a family of tetravalent graphs, introduced by Steve Wilson. Following it, Kovacs, Kutnar and Marusic classified the edge-transitive rose window graphs and Dobson, Kovacs and Miklavic characterized the vertex transitive rose window graphs. In this paper, we classify the Cayley rose window graphs.
A spectral bound on hypergraph discrepancy
Let $\mathcal{H}$ be a $t$-regular hypergraph on $n$ vertices and $m$ edges. Let $M$ be the $m \times n$ incidence matrix of $\mathcal{H}$ and let us denote $λ=\max_{v \perp \overline{1},\|v\| = 1}\|Mv\|$. We show that the discrepancy of $\mathcal{H}$ is $O(\sqrt{t} + λ)$. As a corollary, this gives us that for every $t$, the discrepancy of a random $t$-regular hypergraph with $n$ vertices and $m \geq n$ edges is almost surely $O(\sqrt{t})$ as $n$ grows. The proof also gives a polynomial time algorithm that takes a hypergraph as input and outputs a coloring with the above guarantee.
Majority-logic Decoding with Subspace Designs
Published
• View Publication
• BIB
Rudolph (1967) introduced one-step majority logic decoding for linear codes derived from combinatorial designs. The decoder is easily realizable in hardware and requires that the dual code has to contain the blocks of so called geometric designs as codewords. Peterson and Weldon (1972) extended Rudolphs algorithm to a two-step majority logic decoder correcting the same number of errors than Reed's celebrated multi-step majority logic decoder.
Here, we study the codes from subspace designs. It turns out that these codes have the same majority logic decoding capability as the codes from geometric designs, but their majority logic decoding complexity is sometimes drastically improved.
Some remarks on products of sets in the Heisenberg group and in the affine group
Published
• View Publication
• BIB
We obtain some new results on products of large and small sets in the Heisenberg group as well as in the affine group over the prime field. Also, we derive an application of these growth results to Freiman's isomorphism in nonabelian groups.
The energy of a simplicial complex
Published
• View Publication
• BIB
A finite abstract simplicial complex G defines a matrix L, where L(x,y)=1 if two simplicies x,y in G intersect and where L(x,y)=0 if they don't. This matrix is always unimodular so that the inverse g of L has integer entries g(x,y). In analogy to Laplacians on Euclidean spaces, these Green function entries define a potential energy between two simplices x,y. We prove that the total energy summing all matrix elements g(x,y) is equal to the Euler characteristic X(G) of G and that the number of positive minus the number of negative eigenvalues of L is equal to X(G).
A $q$-Analogue of $r$-Whitney Numbers of the Second Kind and Its Hankel Transform
Published
• View Publication
• BIB
A $q$-analogue of $r$-Whitney numbers of the second kind, denoted by $W_{m,r}[n,k]_q$, is defined by means of a triangular recurrence relation. In this paper, several fundamental properties for the $q$-analogue are established including other forms of recurrence relations, explicit formulas and generating functions. Moreover, a kind of Hankel transform for $W_{m,r}[n,k]_q$ is obtained.
On diagonal equations over finite fields via walks in NEPS of graphs
Published
• View Publication
• BIB
In this paper, we obtain an explicit combinatorial formula for the number of solutions $(x_1,\ldots,x_r)\in \mathbb{F}_{p^{ab}}$ to the diagonal equation $x_{1}^k+\cdots+x_{r}^k=α$ over the finite field $\mathbb{F}_{p^{ab}}$, with $k=\frac{p^{ab}-1}{b(p^a-1)}$ and $b>1$ by using the number of $r$-walks in NEPS of complete graphs.
$γ$-Graphs of Trees
Published in Algorithms 2019, 12(8), 153
• View Publication
• BIB
For a graph $G = (V, E)$, the $γ$-graph of $G$, denoted $G(γ) = (V(γ), E(γ))$, is the graph whose vertex set is the collection of minimum dominating sets, or $γ$-sets of $G$, and two $γ$-sets are adjacent in $G(γ)$ if they differ by a single vertex and the two different vertices are adjacent in $G$. In this paper, we consider $γ$-graphs of trees. We develop an algorithm for determining the $γ$-graph of a tree, characterize which trees are $γ$-graphs of trees, and further comment on the structure of $γ$-graphs of trees and its connections with Cartesian product graphs, the set of graphs which can be obtained from the Cartesian product of graphs of order at least two.
Algebraic algorithms for even circuits in graphs
Published in Mathematics 2019, 7, 859
• View Publication
• BIB
We present an algebraic algorithm to detect the existence of and to list all indecomposable even circuits in a given graph. We also discuss an application of our work to the study of directed cycles in digraphs.