Equivalences among Z2s-linear Hadamard codes

The ${\mathbb{Z}}_{2^s}$-additive codes are subgroups of ${\mathbb{Z}}_{2^s}^n$, and can be seen as a generalization of linear codes over ${\mathbb{Z}}_2$ and ${\mathbb{Z}}_4$. A ${\mathbb{Z}}_{2^s}$-linear Hadamard code is a binary Hadamard code which is the Gray map image of a ${\mathbb{Z}}_{2^s}$-additive code. A partial classification of these codes by using the dimension of the kernel is known. In this paper, we establish that some ${\mathbb{Z}}_{2^s}$-linear Hadamard codes of length $2^t$ are equivalent, once $t$ is fixed. This allows us to improve the known upper bounds for the number of such nonequivalent codes. Moreover, up to $t=11$, this new upper bound coincides with a known lower bound (based on the rank and dimension of the kernel). Finally, when we focus on $s\in \{2,3\}$, the full classification of the ${\mathbb{Z}}_{2^s}$-linear Hadamard codes of length $2^t$ is established by giving the exact number of such codes.     

Problems on matchings and independent sets of a graph

Let $G$ be a finite simple graph. For $X?V\left(G\right)$, the difference of $X$, $d\left(X\right)?\left|X\right|?\left|N\left(X\right)\right|$ where $N\left(X\right)$ is the neighborhood of $X$ and $max\{d\left(X\right):X?V\left(G\right)\}$ is called the critical difference of $G$. $X$ is called a critical set if $d\left(X\right)$ equals the critical difference and $\ker \left(G\right)$ is the intersection of all critical sets. $\mathrm{diadem}\left(G\right)$ is the union of all critical independent sets. An independent set $S$ is an inclusion minimal set with$d\left(S\right)>0$ if no proper subset of $S$ has positive difference.A graph $G$ is called a König–Egerváry graph if the sum of its independence number $\alpha \left(G\right)$ and matching number $\mu \left(G\right)$ equals $\left|V\left(G\right)\right|$.In this paper, we prove a conjecture which states that for any graph the number of inclusion minimal independent set $S$ with $d\left(S\right)>0$ is at least the critical difference of the graph.We also give a new short proof of the inequality $\left|\ker \left(G\right)\right|+\left|\mathrm{diadem}\left(G\right)\right|\le 2\alpha \left(G\right)$.A characterization of unicyclic non-König–Egerváry graphs is also presented and a conjecture which states that for such a graph $G$, the critical difference equals $\alpha \left(G\right)?\mu \left(G\right)$, is proved.We also make an observation about $\ker \left(G\right)$ using Edmonds–Gallai Structure Theorem as a concluding remark.     

Rough path properties for local time of symmetric α stable process

In this paper, we first prove that the local time associated with symmetric $\alpha$-stable processes is of bounded $p$-variation for any $p>\frac{2}{\alpha ?1}$ partly based on Barlow’s estimation of the modulus of the local time of such processes.  The fact that the local time is of bounded $p$-variation for any $p>\frac{2}{\alpha ?1}$ enables us to define the integral of the local time ${\int }_{?\infty }^{\infty }{?}_{?}^{\alpha ?1}f\left(x\right)d_x{L}_t^x$ as a Young integral for less smooth functions being of bounded $q$-variation with $1\le q<\frac{2}{3?\alpha }$. When $q\ge \frac{2}{3?\alpha }$, Young’s integration theory is no longer applicable. However, rough path theory is useful in this case. The main purpose of this paper is to establish a rough path theory for the integration with respect to the local times of symmetric $\alpha$-stable processes for $\frac{2}{3?\alpha }\le q<4$.     

Signed graphs and the freeness of the Weyl subarrangements of type Bℓ

A Weyl arrangement is the hyperplane arrangement defined by a root system. Saito proved that every Weyl arrangement is free. The Weyl subarrangements of type $A_{\ell }$ are represented by simple graphs. Stanley gave a characterization of freeness for this type of arrangements in terms of their graph. In addition, the Weyl subarrangements of type $B_{\ell }$ can be represented by signed graphs. A characterization of freeness for them is not known. However, characterizations of freeness for a few restricted classes are known. For instance, Edelman and Reiner characterized the freeness of the arrangements between type $A_{\ell -1}$ and type $B_{\ell }$. In this paper, we give a characterization of the freeness and supersolvability of the Weyl subarrangements of type $B_{\ell }$ under certain assumption.     

Frames arising from irreducible solvable actions I

In this work, we provide a unified method for the construction of reproducing systems arising from unitary irreducible representations of some solvable Lie groups. In contrast to other well-known techniques such as the coorbit theory, the generalized coorbit theory and other discretization schemes, we make no assumption on the integrability or square-integrability of the representations of interest. Moreover, our scheme produces explicit constructions of frames with precise frame bounds. As an illustration of the scope of our results, we highlight that a large class of representations which naturally occur in wavelet theory and time–frequency analysis is handled by our scheme. For example, the affine group, the generalized Heisenberg groups, the shearlet groups, solvable extensions of vector groups and various solvable extensions of non-commutative nilpotent Lie groups are a few examples of groups whose irreducible representations are handled by our method. The class of representations studied in this work is described as follows. Let G be a simply connected, connected, completely solvable Lie group with Lie algebra $\mathfrak{g}=\mathfrak{p}+\mathfrak{m}$. Next, let π be an infinite-dimensional unitary irreducible representation of G obtained by inducing a character from a closed normal subgroup $P=\exp ?\mathfrak{p}$ of G. Additionally, we assume that $G=P?M$, $M=\exp ?\mathfrak{m}$ is a closed subgroup of G, $d{\mu }_M$ is a fixed Haar measure on the solvable Lie group M and there exists a linear functional $\lambda \in {\mathfrak{p}}^{?}$ such that the representation $\pi ={\pi }_{\lambda }={\mathrm{ind}}_P^G\left({\chi }_{\lambda }\right)$ is realized as acting in $L^2(M,d{\mu }_M)$. Making no assumption on the integrability of ${\pi }_{\lambda }$, we describe explicitly a discrete subset Γ of G and a vector $\mathbf{f}\in L^2(M,d{\mu }_M)$ such that ${\pi }_{\lambda }\left(\mathrm{\Gamma }\right)\mathbf{f}$ is a tight frame for $L^2(M,d{\mu }_M)$. We also construct compactly supported smooth functions s and discrete subsets $\mathrm{\Gamma }?G$ such that ${\pi }_{\lambda }\left(\mathrm{\Gamma }\right)\mathbf{s}$ is a frame for $L^2(M,d{\mu }_M)$.     

Decomposability index of tournaments

Given a tournament $T$, a module of $T$ is a subset $X$ of $V\left(T\right)$ such that for $x,y\in X$ and $v\in V\left(T\right)?X$, $(x,v)\in A\left(T\right)$ if and only if $(y,v)\in A\left(T\right)$. The trivial modules of $T$ are $?$, $\left\{u\right\}$ $(u\in V\left(T\right))$ and $V\left(T\right)$. The tournament $T$ is indecomposable if all its modules are trivial; otherwise it is decomposable. The decomposability index of $T$, denoted by $\delta \left(T\right)$, is the smallest number of arcs of $T$ that must be reversed to make $T$ indecomposable. For $n\ge 5$, let $\delta \left(n\right)$ be the maximum of $\delta \left(T\right)$ over the tournaments $T$ with $n$ vertices. We prove that $?\frac{n+1}{4}?\le \delta \left(n\right)\le ?\frac{n?1}{3}?$ and that the lower bound is reached by the transitive tournaments.     

Characterization of embeddings of Sobolev-type spaces into generalized Hölder spaces defined by Lp-modulus of smoothness

We prove a sharp estimate for the k-modulus of smoothness, modelled upon a $L^p$-Lebesgue space, of a function f in $W^k{L}^{\frac{pn}{n+kp},p}(\mathrm{\Omega })$, where Ω is a domain with minimally smooth boundary and finite Lebesgue measure, $k,n\in \mathbb{N}$, $k<n$ and $\frac{n}{n?k}<p<+\infty$. This sharp estimate is used to establish necessary and sufficient conditions for continuous embeddings of Sobolev-type spaces into generalized Hölder spaces defined by means of the k-modulus of smoothness. General results are illustrated with examples. In particular, we obtain a generalization of the classical Jawerth embeddings.     

A note on uniqueness of the ground state for nonlinear Schrödinger equations

We are concerned with the following nonlinear Schrödinger equation $-{\epsilon }^2\Delta u+V\left(x\right)u={\left|u\right|}^{p-2}u,u\in H^1\left({\mathbb{R}}^N\right),$where $N\ge 3$, $2<p<\frac{2N}{N-2}$. For $\epsilon$ small enough and a class of $V\left(x\right)$, we show the uniqueness of the positive ground state under certain assumptions on asymptotic behavior of $V\left(x\right)$ and its first derivatives. Here our results are suitable for a kind of $V\left(x\right)$ which has different increasing rates at different directions.     

Asymptotical properties of distributions of isotropic Lévy processes

In this paper, we establish the precise asymptotic behaviors of the tail probability and the transition density of a large class of isotropic Lévy processes when the scaling order is between 0 and 2 including 2. We also obtain the precise asymptotic behaviors of the tail probability of subordinators when the scaling order is between 0 and 1 including 1.The asymptotic expressions are given in terms of the radial part of characteristic exponent $\psi$ and its derivative. In particular, when $\psi \left(\lambda \right)?\frac{\lambda }{2}{\psi }^{\prime }\left(\lambda \right)$ varies regularly, as $\frac{t\psi {\left(r^{?1}\right)}^2}{\psi \left(r^{?1}\right)?{\left(2r\right)}^{?1}{\psi }^{\prime }\left(r^{?1}\right)}\to 0$ the tail probability $–(\left|X_t\right|\ge r)$ is asymptotically equal to a constant times $t(\psi \left(r^{?1}\right)?{\left(2r\right)}^{?1}{\psi }^{\prime }\left(r^{?1}\right)).$     

Enumeration formulas for standard Young tableaux of nearly hollow rectangular shapes

This paper considers the enumeration problem of a generalization of standard Young tableau (SYT) of truncated shape. Let $\lambda ?\mu |\left\{(i_0,j_0)\right\}$ be the SYT of shape $\lambda$ truncated by $\mu$ whose upper left cell is $(i_0,j_0)$, where $\lambda$ and $\mu$ are partitions of integers. The summation representation of the number of SYT of the truncated shape $(n+k+2,{(n+2)}^{m+1})?\left(n^m\right)|\left\{(2,2)\right\}$ is derived. Consequently, three closed formulas for SYT of hollow shapes are obtained, including the cases of (i). $m=n=1$, (ii). $k=0$, and (iii). $k=1,m=n$. Finally, an open problem is posed.     

On the domain of fractional Laplacians and related generators of Feller processes

In this paper we study the domain of the generator of stable processes, stable-like processes and more general pseudo- and integro-differential operators which naturally arise both in analysis and as infinitesimal generators of Lévy- and Lévy-type (Feller) processes. In particular we obtain conditions on the symbol of the operator ensuring that certain (variable order) Hölder and Hölder–Zygmund spaces are in the domain. We use tools from probability theory to investigate the small-time asymptotics of the generalized moments of a Lévy or Lévy-type process ${(X_t)}_{t\ge 0}$,

$\underset{t\to 0}{\lim }?\frac{1}{t}({\mathbb{E}}^{x}f(X_t)?f(x)),x\in {\mathbb{R}}^d,$

for functions f which are not necessarily bounded or differentiable. The pointwise limit exists for fixed $x\in {\mathbb{R}}^d$ if f satisfies a Hölder condition at x. Moreover, we give sufficient conditions which ensure that the limit exists uniformly in the space of continuous functions vanishing at infinity. As an application we prove that the domain of the generator of ${(X_t)}_{t\ge 0}$ contains certain Hölder spaces of variable order. Our results apply, in particular, to stable-like processes, relativistic stable-like processes, solutions of Lévy-driven SDEs and Lévy processes.     

Minimum supports of functions on the Hamming graphs with spectral constraints

We study functions defined on the vertices of the Hamming graphs $H(n,q)$. The adjacency matrix of $H(n,q)$ has $n+1$ distinct eigenvalues $n(q-1)-q\cdot i$ with corresponding eigenspaces $U_i(n,q)$ for $0\le i\le n$. In this work, we consider the problem of finding the minimum possible support (the number of nonzeros) of functions belonging to a direct sum $U_i(n,q)\oplus U_{i+1}(n,q)\oplus \cdots \oplus U_j(n,q)$ for $0\le i\le j\le n$. For the case $i+j\le n$ and $q\ge 3$ we find the minimum cardinality of the support of such functions and obtain a characterization of functions with the minimum cardinality of the support. In the case $i+j>n$ and $q\ge 4$ we also find the minimum cardinality of the support of functions, and obtain a characterization of functions with the minimum cardinality of the support for $i=j$, $i>\frac{n}{2}$ and $q\ge 5$. In particular, we characterize eigenfunctions from the eigenspace $U_i(n,q)$ with the minimum cardinality of the support for cases $i\le \frac{n}{2}$, $q\ge 3$ and $i>\frac{n}{2}$, $q\ge 5$.     

Reconfiguration graphs of shortest paths

For a graph $G$ and$a,b\in V\left(G\right)$, the shortest path reconfiguration graph of $G$ with respect to $a$ and$b$ is denoted by $S(G,a,b)$. The vertex set of $S(G,a,b)$ is the set of all shortest paths between $a$ and$b$ in $G$. Two vertices in $V\left(S(G,a,b)\right)$ are adjacent, if their corresponding paths in $G$ differ by exactly one vertex. This paper examines the properties of shortest path graphs. Results include establishing classes of graphs that appear as shortest path graphs, decompositions and sums involving shortest path graphs, and the complete classification of shortest path graphs with girth 5 or greater. We include an infinite family of well structured examples, showing that the shortest path graph of a grid graph is an induced subgraph of a lattice.     

Ground states of two-component attractive Bose–Einstein condensates I: Existence and uniqueness

We study ground states of two-component Bose–Einstein condensates (BEC) with trapping potentials in ${\mathbb{R}}^2$, where the intraspecies interaction $(?a_1,?a_2)$ and the interspecies interaction ?β are both attractive, $i.e$, $a_1$, $a_2$ and β are all positive. The existence and non-existence of ground states are classified completely by investigating equivalently the associated $L^2$-critical constraint variational problem. The uniqueness and symmetry-breaking of ground states are also analyzed under different types of trapping potentials as $\beta \nearrow {\beta }^{?}=a^{?}+\sqrt{(a^{?}?a_1)(a^{?}?a_2)}$, where $0<a_i<a^{?}:={6w6}_2^2$ ($i=1,2$) is fixed and w is the unique positive solution of $\mathrm{\Delta }w?w+w^3=0$ in ${\mathbb{R}}^2$. The semi-trivial limit behavior of ground states is tackled in the companion paper [12].