title: Extracting the differential phase in dual atom interferometers by modulating magnetic fields

abstract: We present a new scheme for measuring the differential phase in dual atom interferometers. The magnetic field is modulated in one interferometer, and the differential phase can be extracted without measuring the amplitude of the magnetic field by combining the ellipse and linear fitting methods. The gravity gradient measurements are discussed based on dual atom interferometers. Numerical simulation shows that the systematic error of the differential phase measurement is largely decreased when the duration of the magnetic field is symmetrically modulated. This combined fitting scheme has a high accuracy for measuring an arbitrary differential phase in dual atom interferometers.


title: Bulk quartic vertices from boundary four-point correlators

abstract: We present arguments which suggest that the bulk higher-spin gravity duals of weakly-coupled conformal field theories obey some refined notion of locality. In particular, we discuss the Mellin amplitude programme in this context. We focus on the $O(N)$ vector model and minimal higher-spin gravity as a paradigmatic example of such holographic dual pairs. We restrict ourselves to three- and four-point functions of scalar primary operators, but the qualitative conclusions are expected to hold for the generic case.


title: Towards Neural Knowledge DNA

abstract: In this paper, we propose the Neural Knowledge DNA, a framework that tailors the ideas underlying the success of neural networks to the scope of knowledge representation. Knowledge representation is a fundamental field that dedicate to representing information about the world in a form that computer systems can utilize to solve complex tasks. The proposed Neural Knowledge DNA is designed to support discovering, storing, reusing, improving, and sharing knowledge among machines and organisation. It is constructed in a similar fashion of how DNA formed: built up by four essential elements. As the DNA produces phenotypes, the Neural Knowledge DNA carries information and knowledge via its four essential elements, namely, Networks, Experiences, States, and Actions.


title: Solitons in an extended nonlinear Schr\"odinger equation with third-order dispersion and pseudo-Raman effect

abstract: Dynamics of solitons is considered in an extended nonlinear Schr\"odinger equation, including a pseudo-stimulated-Raman-scattering (pseudo-SRS) term (scattering on damping low-frequency waves, third-order dispersion (TOD) and inhomogeneity of the spatial second-order dispersion (SOD). It is shown that wave-number downshift by the pseudo-SRS may be compensated by upshift provided by spatially increasing SOD with taking into account TOD. The equilibrium state is stable for positive parameter of TOD and unstable for negative one. The analytical solutions are verified by comparison with numerical results


title: Geometric pressure in real and complex 1-dimensional dynamics via trees of preimages and via spanning sets

abstract: We consider $f:\hat I\to \R$ being a $C^3$ (or $C^2$ with bounded distortion) real-valued multimodal map with non-flat critical points, defined on $\hat I$ being the union of closed intervals, and its restriction to the maximal forward invariant subset $K\subset I$. We assume that $f|_K$ is topologically transitive. We call this setting the (generalized multimodal) real case. We consider also $f:\C\to \C$ a rational map on the Riemann sphere and its restriction to $K=J(f)$ being Julia set (the complex case). We consider topological pressure $P_{\spanning}(t)$ for the potential function $\varphi_t=-t\log |f'|$ for $t>0$ and iteration of $f$ defined in a standard way using $(n,\e)$-spanning sets. Despite of $\phi_t=\infty$ at critical points of $f$, this definition makes sense (unlike the standard definition using $(n,\e)$-separated sets) and we prove that $P_{\spanning}(t)$ is equal to other pressure quantities, called for this potential {\it geometric pressure}, in the real case under mild additional assumptions, and in the complex case provided there is at most one critical point with forward trajectory accumulating in $J(f)$. $P_{\spanning}(t)$ is proved to be finite for general rational maps, but it may occur infinite in the real case. We also prove that geometric tree pressure in the real case is the same for trees rooted at all `safe' points, in particular at all points except the set of Hausdorff dimension 0.


title: Graph clustering, variational image segmentation methods and Hough transform scale detection for object measurement in images

abstract: We consider the problem of scale detection in images where a region of interest is present together with a measurement tool (e.g. a ruler). For the segmentation part, we focus on the graph based method by Flenner and Bertozzi which reinterprets classical continuous Ginzburg-Landau minimisation models in a totally discrete framework. To overcome the numerical difficulties due to the large size of the images considered we use matrix completion and splitting techniques. The scale on the measurement tool is detected via a Hough transform based algorithm. The method is then applied to some measurement tasks arising in real-world applications such as zoology, medicine and archaeology.


title: Superresolution of Noisy Remotely Sensed Images Through Directional Representations

abstract: We develop an algorithm for single-image superresolution of remotely sensed data, based on the discrete shearlet transform. The shearlet transform extracts directional features of signals, and is known to provide near-optimally sparse representations for a broad class of images. This often leads to superior performance in edge detection and image representation when compared to isotropic frames. We justify the use of shearlets mathematically, before presenting a denoising single-image superresolution algorithm that combines the shearlet transform with sparse mixing estimators (SME). Our algorithm is compared with a variety of single-image superresolution methods, including wavelet SME superresolution. Our numerical results demonstrate competitive performance in terms of PSNR and SSIM.


title: Box model for channels of human migration

abstract: We discuss a mathematical model of migration channel based on the truncated Waring distribution. The truncated Waring distribution is obtained for a more general model of motion of substance through a channel containing finite number of boxes. The model is applied then for case of migrants moving through a channel consisting of finite number of countries or cities. The number of migrants in the channel strongly depends on the number of migrants that enter the channel through the country of entrance. It is shown that if the final destination country is very popular then large percentage of migrants may concentrate there.


title: On asymorphisms of groups

abstract: Let $G$, $H$ be groups and $\kappa$ be a cardinal. A bijection $f:G\to H$ is caled on asymorphism if, for any $X\in[G]^{<\kappa}$, $Y\in[H]^{<\kappa}$, there exist $X'\in[G]^{<\kappa}$, $Y'\in[H]^{<\kappa}$ such that for all $x\in G$ and $y\in H$, we have $f(Xx)\subseteq Y'f(x)$, $f^{-1}(Yy)\subseteq X'f^{-1}(y)$. For a set $S$, $[S]^{<\kappa}$ denotes the set $\{S'\subseteq S: |S'|<\kappa\}$. Let $\kappa$ and $\gamma$ be cardinals such that $\aleph_0<\kappa\le\gamma$. We prove that any two Abelian groups of cardinality $\gamma$ are $\kappa$-asymorphic, but the free group of rank $\gamma$ is not $\kappa$-asymorphic to an Abelian group provided that either $\kappa<\gamma$ or $\kappa=\gamma$ and $\kappa$ is a singular cardinal. It is known [7] that if $\gamma = \kappa$ and $\kappa$ is regular then any two groups of cardinality $\kappa$ are $\kappa$-asymorphic.


title: Hadron shower decomposition in the highly granular CALICE analogue hadron calorimeter

abstract: The spatial development of hadronic showers in the CALICE scintillator-steel analogue hadron calorimeter is studied using test beam data collected at CERN and FNAL for single positive pions and protons with initial momenta in the range from 10 to 80 GeV/c. Both longitudinal and radial development of hadron showers are parametrised with two-component functions. The parametrisation is fit to test beam data and simulations using the QGSP_BERT and FTFP_BERT physics lists from Geant4 version 9.6. The parameters extracted from data and simulated samples are compared for the two types of hadrons. The response to pions and the ratio of the non-electromagnetic to the electromagnetic calorimeter response, h/e, are estimated using the extrapolation and decomposition of the longitudinal profiles.


title: On automatic subsets of the Gaussian integers

abstract: Suppose that $a$ and $b$ are multiplicatively independent Gaussian integers, that are both of modulus~$\geq \sqrt 5$. We prove that there exist a $X\subset \mathbb Z[i]$ which is $a$-automatic but not $b$-automatic. This settles a problem of Allouche, Cateland, Gilbert, Peitgen, Shallit, and Skordev.


title: Fractional and Complex Pseudo-Splines and the Construction of Parseval Frames

abstract: Pseudo-splines of integer order $(m,\ell)$ were introduced by Daubechies, Han, Ron, and Shen as a family which allows interpolation between the classical B-splines and the Daubechies' scaling functions. The purpose of this paper is to generalize the pseudo-splines to fractional and complex orders $(z, \ell)$ with $\alpha:=\re z > 1$. This allows increased flexibility in regard to smoothness: instead of working with a discrete family of functions from $C^m$, $m\in \N_0$, one uses a \emph{continuous} family of functions belonging to the H\"older spaces $C^{\alpha-1}$. The presence of the imaginary part of $z$ allows for direct utilization in complex transform techniques for signal and image analyses. We also show that in analogue to the integer case, the generalized pseudo-splines lead to constructions of Parseval wavelet frames via the unitary extension principle.


title: Content-based Video Indexing and Retrieval Using Corr-LDA

abstract: Existing video indexing and retrieval methods on popular web-based multimedia sharing websites are based on user-provided sparse tagging. This paper proposes a very specific way of searching for video clips, based on the content of the video. We present our work on Content-based Video Indexing and Retrieval using the Correspondence-Latent Dirichlet Allocation (corr-LDA) probabilistic framework. This is a model that provides for auto-annotation of videos in a database with textual descriptors, and brings the added benefit of utilizing the semantic relations between the content of the video and text. We use the concept-level matching provided by corr-LDA to build correspondences between text and multimedia, with the objective of retrieving content with increased accuracy. In our experiments, we employ only the audio components of the individual recordings and compare our results with an SVM-based approach.


title: Photometric brown-dwarf classification. II. A homogeneous sample of 1361 L and T dwarfs brighter than J = 17.5 with accurate spectral types

abstract: We present a homogeneous sample of 1361 L and T dwarfs brighter than J = 17.5 (of which 998 are new), from an effective area of 3070 deg2, classified by the photo-type method to an accuracy of one spectral sub-type using izYJHKW1W2 photometry from SDSS+UKIDSS+WISE. Other than a small bias in the early L types, the sample is shown to be effectively complete to the magnitude limit, for all spectral types L0 to T8. The nature of the bias is an incompleteness estimated at 3% because peculiar blue L dwarfs of type L4 and earlier are classified late M. There is a corresponding overcompleteness because peculiar red (likely young) late M dwarfs are classified early L. Contamination of the sample is confirmed to be small: so far spectroscopy has been obtained for 19 sources in the catalogue and all are confirmed to be ultracool dwarfs. We provide coordinates and izYJHKW1W2 photometry of all sources. We identify an apparent discontinuity, $\Delta$m $\sim$ 0.4 mag., in the Y-K colour between spectral types L7 and L8. We present near-infrared spectra of nine sources identified by photo-type as peculiar, including a new low-gravity source ULAS J005505.68+013436.0, with spectroscopic classification L2{$\gamma$}. We provide revised izYJHKW1W2 template colours for late M dwarfs, types M7 to M9.


title: Simple inhomogeneous cosmological (toy) models

abstract: Based on the Lema\^itre-Tolman-Bondi (LTB) metric we consider two flat inhomogeneous big-bang models. We aim at clarifying, as far as possible analytically, basic features of the dynamics of the simplest inhomogeneous models and to point out the potential usefulness of exact inhomogeneous solutions as generalizations of the homogeneous configurations of the cosmological standard model. We discuss explicitly partial successes but also potential pitfalls of these simplest models. Although primarily seen as toy models, the relevant free parameters are fixed by best-fit values using the Joint Light-curve Analysis (JLA)-sample data. On the basis of a likelihood analysis we find that a local hump with an extension of almost 2 Gpc provides a better description of the observations than a local void for which we obtain a best-fit scale of about 30 Mpc. Future redshift-drift measurements are discussed as a promising tool to discriminate between inhomogeneous configurations and the $\Lambda$CDM model.


title: Harish-Chandra invariants and the centre of the reduced enveloping algebra

abstract: In this article we consider the centre of the reduced enveloping algebra of the Lie algebra of a reductive algebraic group in very good characteristic p > 2. The Harish-Chandra centre maps to the centre of each reduced enveloping algebra and, using a combination of induction and deformation arguments, we describe precisely for which p-characters this map is surjective: it is if and only if the chosen character is regular. This provides the converse to a theorem of Mirkovi\'{c} and Rumynin.


title: Spin structures of flat manifolds of diagonal type

abstract: For each integer $d$ at least two, we construct non-spin closed oriented flat manifolds with holonomy group $\mathbb Z_2^d$ and with the property that all of their finite proper covers have a spin structure. Moreover, all such covers have trivial Stiefel-Whitney classes.


title: Quantum noise limit for force sensitivity of linear detectors

abstract: We prove that the force sensitivity of the conventional optomechanical detector associated with the optical quadrature measurement of the output beam is lower bounded by the so-called ultimate quantum limit (UQL), i.e., the absolute value of the imaginary part of the inverse mechanical susceptibility. Through the linear response theory, we find that the force sensitivity of any linear detector is lower bounded by a generalized UQL, which might beat the usual UQL by properly tailoring the detector-oscillator interaction. We believe that our results open a new direction for improving the performance of high-sensitivity detection schemes.


title: Explicit Forms of Cluster Variables on Double Bruhat Cells G^{u,e} of type B

abstract: Let $G$ be a simply connected simple algebraic group over $\mathbb{C}$ of type $B_r$, $B$ and $B_-$ be its two opposite Borel subgroups, and $W$ be the associated Weyl group. For $u$, $v\in W$, it is known that the coordinate ring ${\mathbb C}[G^{u,v}]$ of the double Bruhat cell $G^{u,v}=BuB\cap B_-vB_-$ is isomorphic to an upper cluster algebra $\overline{\mathcal{A}}(\textbf{i})_{{\mathbb C}}$ and the generalized minors $\Delta(k;\textbf{i})$ are the cluster variables of ${\mathbb C}[G^{u,v}]$[A.Berenstein, S.Fomin, A.Zelevinsky, Duke Math. J. 126 (2005), 1-52, arxiv:math.RT/0305434]. Recently, it is also shown that ${\mathbb C}[G^{u,v}]$ have structure of cluster algebra [K. R. Goodearl, M. T. Yakimov, arxiv:1602.00498 (2016)]. In the case $v=e$, we shall describe the generalized minor $\Delta(k;\textbf{i})$ explicitly.


title: Refined Schur Method for Robust Pole Assignment with Repeated Poles

abstract: Schur-type methods in \cite{Chu2} and \cite{GCQX} solve the robust pole assignment problem by employing the departure from normality of the closed-loop system matrix as the measure of robustness. They work well generally when all poles to be assigned are simple. However, when some poles are close or even repeated, the eigenvalues of the computed closed-loop system matrix might be inaccurate. In this paper, we present a refined Schur method, which is able to deal with the case when some or all of the poles to be assigned are repeated. More importantly, the refined Schur method can still be applied when \verb|place| \cite{KNV} and \verb|robpole| \cite{Tits} fail to output a solution when the multiplicity of some repeated poles is greater than the input freedom.


title: Quantum billiards with branes on product of Einstein spaces

abstract: We consider a gravitational model in dimension D with several forms, l scalar fields and a Lambda-term. We study cosmological-type block-diagonal metrics defined on a product of an 1-dimensional interval and n oriented Einstein spaces. As an electromagnetic composite brane ansatz is adopted and certain restrictions on the branes are imposed the conformally covariant Wheeler-DeWitt (WDW) equation for the model is studied. Under certain restrictions, asymptotic solutions to the WDW equation are found in the limit of the formation of the billiard walls. These solutions reduce the problem to the so-called quantum billiard in (n + l - 1)-dimensional hyperbolic space. Several examples of quantum billiards in the model with electric and magnetic branes, e.g. corresponding to hyperbolic Kac-Moody algebras, are considered. In the case n=2 we find a set of basis asymptotic solutions to the WDW equation and derive asymptotic solutions for the metric in the classical case.


title: Maximum-a-posteriori estimation with Bayesian confidence regions

abstract: Solutions to inverse problems that are ill-conditioned or ill-posed may have significant intrinsic uncertainty. Unfortunately, analysing and quantifying this uncertainty is very challenging, particularly in high-dimensional problems. As a result, while most modern mathematical imaging methods produce impressive point estimation results, they are generally unable to quantify the uncertainty in the solutions delivered. This paper presents a new general methodology for approximating Bayesian high-posterior-density credibility regions in inverse problems that are convex and potentially very high-dimensional. The approximations are derived by using recent concentration of measure results related to information theory for log-concave random vectors. A remarkable property of the approximations is that they can be computed very efficiently, even in large-scale problems, by using standard convex optimisation techniques. In particular, they are available as a by-product in problems solved by maximum-a-posteriori estimation. The approximations also have favourable theoretical properties, namely they outer-bound the true high-posterior-density credibility regions, and they are stable with respect to model dimension. The proposed methodology is illustrated on two high-dimensional imaging inverse problems related to tomographic reconstruction and sparse deconvolution, where the approximations are used to perform Bayesian hypothesis tests and explore the uncertainty about the solutions, and where proximal Markov chain Monte Carlo algorithms are used as benchmark to compute exact credible regions and measure the approximation error.


title: A Case for Time Slotted Channel Hopping for ICN in the IoT

abstract: Recent proposals to simplify the operation of the IoT include the use of Information Centric Networking (ICN) paradigms. While this is promising, several challenges remain. In this paper, our core contributions (a) leverage ICN communication patterns to dynamically optimize the use of TSCH (Time Slotted Channel Hopping), a wireless link layer technology increasingly popular in the IoT, and (b) make IoT-style routing adaptive to names, resources, and traffic patterns throughout the network--both without cross-layering. Through a series of experiments on the FIT IoT-LAB interconnecting typical IoT hardware, we find that our approach is fully robust against wireless interference, and almost halves the energy consumed for transmission when compared to CSMA. Most importantly, our adaptive scheduling prevents the time-slotted MAC layer from sacrificing throughput and delay.


title: On the Waring-Goldbach problem for seventh and higher powers

abstract: We apply recent progress on Vinogradov's mean value theorem to improve bounds for the function $H(k)$ in the Waring-Goldbach problem. We obtain new results for all exponents $k \ge 7$, and in particular establish that for large $k$ one has \[H(k)\le (4k-2)\log k-(2\log 2-1)k-3.\]


title: Fourier transforms of polytopes, solid angle sums, and discrete volume

abstract: Given a real closed polytope $P$, we first describe the Fourier transform of its indicator function by using iterations of Stokes' theorem. We then use the ensuing Fourier transform formulations, together with the Poisson summation formula, to give a new algorithm to count fractionally-weighted lattice points inside the one-parameter family of all real dilates of $P$. The combinatorics of the face poset of $P$ plays a central role in the description of the Fourier transform of $P$. We also obtain a closed form for the codimension-1 coefficient that appears in an expansion of this sum in powers of the real dilation parameter $t$. This closed form generalizes some known results about the Macdonald solid-angle polynomial, which is the analogous expression traditionally obtained by requiring that $t$ assumes only integer values. Although most of the present methodology applies to all real polytopes, a particularly nice application is to the study of all real dilates of integer (and rational) polytopes.


title: Avalanche-like metamagnetic transition in (LaNd)CaMnO manganites

abstract: We investigate the behavior of ultrasharp metamagnetic transitions in La(5/8-y)Nd(y)Ca(3/8)MnO(3) manganites. These compounds change from a low temperature ferromagnetic metallic state at low Nd doping to a charge-ordered antiferromagnetic insulator for high Nd content. At an intermediate doping a phase-separated state is established. At low temperatures (2 K), we observe an avalanche-like field-induced metamagnetic transition, when the entire compound changes abruptly from one phase to the other. We investigate the signatures of this ultrasharp transition using magnetization and specific heat measurements. We observe a first order transition in the specific heat associated with discontinuous jumps in the magnetization. A strong increase of the sample temperature is simultaneously observed. The results are interpret in terms of latent heat release from the field induced enhancement of the ferromagnetic fraction, triggering the avalanche process.


title: Fast Gibbs sampling for high-dimensional Bayesian inversion

abstract: Solving ill-posed inverse problems by Bayesian inference has recently attracted considerable attention. Compared to deterministic approaches, the probabilistic representation of the solution by the posterior distribution can be exploited to explore and quantify its uncertainties. In applications where the inverse solution is subject to further analysis procedures, this can be a significant advantage. Alongside theoretical progress, various new computational techniques allow to sample very high dimensional posterior distributions: In [Lucka2012], a Markov chain Monte Carlo (MCMC) posterior sampler was developed for linear inverse problems with $\ell_1$-type priors. In this article, we extend this single component Gibbs-type sampler to a wide range of priors used in Bayesian inversion, such as general $\ell_p^q$ priors with additional hard constraints. Besides a fast computation of the conditional, single component densities in an explicit, parameterized form, a fast, robust and exact sampling from these one-dimensional densities is key to obtain an efficient algorithm. We demonstrate that a generalization of slice sampling can utilize their specific structure for this task and illustrate the performance of the resulting slice-within-Gibbs samplers by different computed examples. These new samplers allow us to perform sample-based Bayesian inference in high-dimensional scenarios with certain priors for the first time, including the inversion of computed tomography (CT) data with the popular isotropic total variation (TV) prior.


title: Coherent transfer of singlet-triplet qubit states in an architecture of triple quantum dots

abstract: We propose two schemes to coherently transfer arbitrary quantum states of the two-electron singlet-triplet qubit across a chain of 3 quantum dots. The schemes are based on electrical control over the detuning energy of the quantum dots. The first is a pulse-gated scheme, requiring dc pulses and engineering of inter- and intra-dot Coulomb energies. The second scheme is based on the adiabatic theorem, requiring time-dependent control of the detuning energy through avoided crossings at a rate that the system remains in the ground state. We simulate the transfer fidelity using typical experimental parameters for silicon quantum dots. Our results give state transfer fidelities between $94.3\% < \mathcal{F} < 99.5\%$ at sub-ns gate times for the pulse-gated scheme and between $75.4\% < \mathcal{F} < 99.0 \%$ at tens of ns for the adiabatic scheme. Taking into account dephasing from charge noise, we obtain state transfer fidelities between $94.0\% < \mathcal{F} < 99.2\%$ for the pulse-gated scheme and between $64.9\% < \mathcal{F} < 93.6\%$ for the adiabatic scheme.


title: Coupled magnetic and elastic properties in LaPr(CaSr)MnO manganites

abstract: We investigate a series of manganese oxides, the La0.225Pr0.4(Ca1-xSrx)0.375MnO3 system. The x = 0 sample is a prototype compound for the study of phase separation in manganites, where ferromagnetic and charge ordered antiferromagnetic phases coexist. Replacing Ca2+ by Sr2+ gradually turns the system into a homogeneous ferromagnet. Our results show that the material structure plays a major role in the observed magnetic properties. On cooling, at temperatures below 100 K, a strong contraction of the lattice is followed by an increase in the magnetization. This is observed both through thermal expansion and magnetostriction measurements, providing distinct evidence of magneto-elastic coupling in these phase separated compounds.


title: Comparison of the spatial and the angular clustering of X-ray AGN

abstract: The angular correlation function is a powerful tool for deriving the clustering properties of AGN and hence the mass of the corresponding dark matter halos in which they reside. However, studies based on the application of the angular correlation function on X-ray samples, yield results apparently inconsistent with those based on the direct estimation of the spatial correlation function. The goal of the present paper is to attempt to investigate this issue by analysing a well defined sample. To this end we use the hard-band (2-10 keV) X-ray selected sources of the Chandra AEGIS fields, chosen because of the availability of accurately derived flux sensitivity maps. In particular we use the 186 hard-band sources with spectroscopic redshifts in the range z=0.3-1.3, a range selected in order to contain the bulk of the AGN while minimizing the contribution of unknown clustering and luminosity evolution from very high redshifts. Using the projected spatial auto-correlation function, we derive a clustering comoving length of 5.4+-1.0 Mpc (for gamma=1.8), consistent with results in the literature. We further derive the angular correlation function and the corresponding spatial clustering length using the Limber's inversion equation and a novel parametrization of the clustering evolution model that also takes into account the bias evolution of the host dark matter halo. The Limber's inverted spatial comoving clustering length of 5.5+-1.2 Mpc at a median redshift of z~0.75, matches the directly measured one, from the spatial correlation function analysis, but for a significant non-linear contribution to the growing mode of perturbations, estimated independently from literature results of x_0 at different redshifts. Therefore, using this sample of X-ray AGN and our clustering evolution parametrization we have found an excellent consistency between the angular and spatial clustering analysis.


title: Anti-dark matter: a hidden face of mirror world

abstract: B and L violating interactions of ordinary particles with their twin particles from hypothetical mirror world can co-generate baryon asymmetries in both worlds in comparable amounts, $\Omega'_B/\Omega_B \sim 5$ or so. On the other hand, the same interactions induce the oscillation phenomena between the neutral particles of two sectors which convert e.g. mirror neutrons into our antineutrons. These oscillations are environment dependent and can have fascinating physical consequences.

categories: astro-ph.CO astro-ph.GA astro-ph.HE hep-ph


title: Atom assisted cavity cooling of a micromechanical oscillator in the unresolved sideband regime

abstract: The ground state cooling of a mechanical oscillator in an optomechanical cavity containing an ensemble of identical two-level ground-state atoms is studied in the highly unresolved-sideband regime. The system exhibits electromagnetically-induced transparency-like quantum interference effect. The mutual interaction with the cavity optical field gives rise to an indirect coupling between the atomic and mechanical modes. In presence of this interaction, the noise spectrum gets modified and leads to asymmetric cooling and heating rates. Using the quantum master equation, time evolution of the average phonon number is studied and it is observed that the average phonon occupancy in the mechanical resonator exhibits ground-state cooling.


title: Enhanced terahertz transmission through a periodic array of tapered rectangular apertures

abstract: We numerically analyse extraordinary terahertz transmission properties of an array of rectangular shaped apertures perforated periodically on a thin metal film. The apertures are tapered at different angles to achieve higher field concentration at the tapered end. The periodic sub-wavelength scale apertures ensure plasmonic behaviour giving rise to the enhanced transmission of a specific frequency mode decided by the periodicity. We compare results of transmission with the rectangular shaped apertures of same parameters and observe a significant increase in the transmission for the tapered case. We have compared results of our numerical simulations with theory and have found them consistent.


title: A stabilized finite element method for the two-field and three-field Stokes eigenvalue problems

abstract: In this paper, the stabilized finite element approximation of the Stokes eigenvalue problems is considered for both the two-field (displacement-pressure) and the three-field (stress-displacement-pressure) formulations. The method presented is based on a subgrid scale concept, and depends on the approximation of the unresolvable scales of the continuous solution. In general, subgrid scale techniques consist in the addition of a residual based term to the basic Galerkin formulation. The application of a standard residual based stabilization method to a linear eigenvalue problem leads to a quadratic eigenvalue problem in discrete form which is physically inconvenient. As a distinguished feature of the present study, we take the space of the unresolved subscales orthogonal to the finite element space, which promises a remedy to the above mentioned complication. In essence, we put forward that only if the orthogonal projection is used, the residual is simplified and the use of term by term stabilization is allowed. Thus, we do not need to put the whole residual in the formulation, and the linear eigenproblem form is recovered properly. We prove that the method applied is convergent, and present the error estimates for the eigenvalues and the eigenfunctions. We report several numerical tests in order to illustrate that the theoretical results are validated.


title: Measurement back-action in stacked graphene quantum dots

abstract: We present an electronic transport experiment in graphene where both classical and quantum mechanical charge detector back-action on a quantum dot are investigated. The device consists of two stacked graphene quantum dots separated by a thin layer of boron nitride. This device is fabricated by van der Waals stacking and is equipped with separate source and drain contacts to both dots. By applying a finite bias to one quantum dot, a current is induced in the other unbiased dot. We present an explanation of the observed measurement-induced current based on strong capacitive coupling and energy dependent tunneling barriers, breaking the spatial symmetry in the unbiased system. This is a special feature of graphene-based quantum devices. The experimental observation of transport in classically forbidden regimes is understood by considering higher order quantum mechanical back-action mechanisms.


title: Full reconstruction of a 14-qubit state within four hours

abstract: Full quantum state tomography (FQST) plays a unique role in the estimation of the state of a quantum system without \emph{a priori} knowledge or assumptions. Unfortunately, since FQST requires informationally (over)complete measurements, both the number of measurement bases and the computational complexity of data processing suffer an exponential growth with the size of the quantum system. A 14-qubit entangled state has already been experimentally prepared in an ion trap, and the data processing capability for FQST of a 14-qubit state seems to be far away from practical applications. In this paper, the computational capability of FQST is pushed forward to reconstruct a 14-qubit state with a run time of only 3.35 hours using the linear regression estimation (LRE) algorithm, even when informationally overcomplete Pauli measurements are employed. The computational complexity of the LRE algorithm is first reduced from $O(10^{19})$ to $O(10^{15})$ for a 14-qubit state, by dropping all the zero elements, and its computational efficiency is further sped up by fully exploiting the parallelism of the LRE algorithm with parallel Graphic Processing Unit (GPU) programming. Our result can play an important role in quantum information technologies with large quantum systems.


title: Solar wind magnetic turbulence: Inferences from spectral shape

abstract: Some differences between theoretical, numerical and observational determinations of spectral slopes of solar wind turbulence are interpreted in the thermodynamical sense. Confirmations of turbulent Kolmogorov slopes in solar wind magnetic turbulence and magnetohydrodynamic simulations exhibit tiny differences. These are used to infer about entropy generation in the turbulent cascade and to infer about the anomalous turbulent collision frequency in the dissipative range as well as the average energy input in solar wind turbulence. Anomalous turbulent collision frequencies are obtained of the order of v < 200 Hz. The corresponding stationary solar wind magnetic energy input into magnetic turbulence in the Kolmogorov inertial range is obtained to be of the order of 50 eV/s. Its thermal fate is discussed.


title: Exotic Brane Junctions from F-theory

abstract: Applying string dualities to F-theory, we obtain various $[p,q]$-branes whose constituents are standard branes of codimension two and exotic branes. We construct junctions of the exotic five-branes and their Hanany-Witten transitions associated with those in F-theory. In this procedure, we understand the monodromy of the single $5^2_2$-brane. We also find the objects which are sensitive to the branch cut of the $5^2_2$-brane. Considering the web of branes in the presence of multiple exotic five-branes analogous to the web of five-branes with multiple seven-branes, we obtain novel brane constructions for $SU(2)$ gauge theories with $n$ flavors and their superconformal limit with enhanced $E_{n+1}$ symmetry in five, four, and three dimensions. Hence, adapting the techniques of the seven-branes to the exotic branes, we will be able to construct F-theories in diverse dimensions.


title: Disappearance of stretch-induced wrinkles of thin sheets: a study of orthotropic films

abstract: A recent paper (Healey et al., J. Nonlin. Sci., 2013, 23:777-805.) predicted the disappearance of the stretch-induced wrinkled pattern of thin, clamped, elastic sheets by numerical simulation of the F\"oppl-von K\'arm\'an equations extended to the finite in-plane strain regime. It has also been revealed that for some aspect ratios of the rectangular domain wrinkles do not occur at all regardless of the applied extension. To verify these predictions we carried out experiments on thin 20 micrometer thick adhesive covered), previously prestressed elastomer sheets with different aspect ratios under displacement controlled pull tests. On one hand the the adjustment of the material properties during prestressing is highly advantageous as in targeted strain regime the film becomes substantially linearly elastic (which is far not the case without prestress). On the other hand a significant, non-ignorable orthotropy develops during this first extension. To enable quantitative comparisons we abandoned the assumption about material isotropy inherent in the original model and derived the governing equations for an orthotropic medium. In this way we found good agreement between numerical simulations and experimental data. Analysis of the negativity of the second Piola-Kirchhoff stress tensor revealed that the critical stretch for a bifurcation point at which the wrinkles disappear must be finite for any aspect ratio. On the contrary there is no such a bound for the aspect ratio as a bifurcation parameter. Physically this manifests as complicated wrinkled patterns with more than one highly wrinkled zones on the surface in case of elongated rectangles. These arrangements have been found both numerically and experimentally. These findings also support the new, finite strain model, since the F\"oppl-von K\'arm\'an equations based on infinitesimal strains do not exhibit such a behavior.


title: An Approximation Problem in Multiplicatively Invariant Spaces

abstract: Let $\mathcal{H}$ be Hilbert space and $(\Omega,\mu)$ a $\sigma$-finite measure space. Multiplicatively invariant (MI) spaces are closed subspaces of $ L^2(\Omega, \mathcal{H})$ that are invariant under point-wise multiplication by functions in a fix subset of $L^{\infty}(\Omega).$ Given a finite set of data $\mathcal{F}\subseteq L^2(\Omega, \mathcal{H}),$ in this paper we prove the existence and construct an MI space $M$ that best fits $\mathcal{F}$, in the least squares sense. MI spaces are related to shift invariant (SI) spaces via a fiberization map, which allows us to solve an approximation problem for SI spaces in the context of locally compact abelian groups. On the other hand, we introduce the notion of decomposable MI spaces (MI spaces that can be decomposed into an orthogonal sum of MI subspaces) and solve the approximation problem for the class of these spaces. Since SI spaces having extra invariance are in one-to-one relation to decomposable MI spaces, we also solve our approximation problem for this class of SI spaces. Finally we prove that translation invariant spaces are in correspondence with totally decomposable MI spaces.


title: A New Robust Frequency Domain Echo Canceller With Closed-Loop Learning Rate Adaptation

abstract: One of the main difficulties in echo cancellation is the fact that the learning rate needs to vary according to conditions such as double-talk and echo path change. Several methods have been proposed to vary the learning. In this paper we propose a new closed-loop method where the learning rate is proportional to a misalignment parameter, which is in turn estimated based on a gradient adaptive approach. The method is presented in the context of a multidelay block frequency domain (MDF) echo canceller. We demonstrate that the proposed algorithm outperforms current popular double-talk detection techniques by up to 6 dB.


title: Scalable Bayesian Rule Lists

abstract: We present an algorithm for building probabilistic rule lists that is two orders of magnitude faster than previous work. Rule list algorithms are competitors for decision tree algorithms. They are associative classifiers, in that they are built from pre-mined association rules. They have a logical structure that is a sequence of IF-THEN rules, identical to a decision list or one-sided decision tree. Instead of using greedy splitting and pruning like decision tree algorithms, we fully optimize over rule lists, striking a practical balance between accuracy, interpretability, and computational speed. The algorithm presented here uses a mixture of theoretical bounds (tight enough to have practical implications as a screening or bounding procedure), computational reuse, and highly tuned language libraries to achieve computational efficiency. Currently, for many practical problems, this method achieves better accuracy and sparsity than decision trees; further, in many cases, the computational time is practical and often less than that of decision trees. The result is a probabilistic classifier (which estimates P(y = 1|x) for each x) that optimizes the posterior of a Bayesian hierarchical model over rule lists.


title: Conformal dimension on boundary of right-angled hyperbolic buildings

abstract: In this note, we use some combinatorial modulus on the boundary of a right-angled hyperbolic building to control its conformal dimension. The lower bound obtained is optimal in the case of Fuchsian buildings.


title: Volume constrained minimizers of the fractional perimeter with a potential energy

abstract: We consider volume-constrained minimizers of the fractional perimeter with the addition of a potential energy in the form of a volume inte- gral. Such minimizers are solutions of the prescribed fractional curvature problem. We prove existence and regularity of minimizers under suitable assumptions on the potential energy, which cover the periodic case. In the small volume regime we show that minimizers are close to balls, with a quantitative estimate.


title: CLT for linear eigenvalue statistics for a tensor product version of sample covariance matrices

abstract: For $k,m,n\in \mathbb{N}$, we consider $n^k\times n^k$ random matrices of the form $$ \mathcal{M}_{n,m,k}(\mathbf{y})=\sum_{\alpha=1}^m\tau_\alpha {Y_\alpha}Y_\alpha^T,\quad Y_\alpha=\mathbf{y}_\alpha^{(1)}\otimes...\otimes\mathbf{y}_\alpha^{(k)}, $$ where $\tau _{\alpha }$, $\alpha\in[m]$, are real numbers and $\mathbf{y}_\alpha^{(j)}$, $\alpha\in[m]$, $j\in[k]$, are i.i.d. copies of a normalized isotropic random vector $\mathbf{y}\in \mathbb{R}^n$. For every fixed $k\ge 1$, if the Normalized Counting Measures of $\{\tau _{\alpha }\}_{\alpha}$ converge weakly as $m,n\rightarrow \infty$, $m/n^k\rightarrow c\in \lbrack 0,\infty )$ and $\mathbf{y}$ is a good vector in the sense of Definition 1.1, then the Normalized Counting Measures of eigenvalues of $\mathcal{M}_{n,m,k}(\mathbf{y})$ converge weakly in probability to a non-random limit found in [15]. For $k=2$, we define a subclass of good vectors $\mathbf{y}$ for which the centered linear eigenvalue statistics $n^{-1/2}\text{Tr} \,\varphi(\mathcal{M}_{n,m,2}(\mathbf{y}))^\circ$ converge in distribution to a Gaussian random variable, i.e., the Central Limit Theorem is valid.


title: A Super-Resolution Framework for Tensor Decomposition

abstract: This work considers a super-resolution framework for overcomplete tensor decomposition. Specifically, we view tensor decomposition as a super-resolution problem of recovering a sum of Dirac measures on the sphere and solve it by minimizing a continuous analog of the $\ell_1$ norm on the space of measures. The optimal value of this optimization defines the tensor nuclear norm. Similar to the separation condition in the super-resolution problem, by explicitly constructing a dual certificate, we develop incoherence conditions of the tensor factors so that they form the unique optimal solution of the continuous analog of $\ell_1$ norm minimization. Remarkably, the derived incoherence conditions are satisfied with high probability by random tensor factors uniformly distributed on the sphere, implying global identifiability of random tensor factors.


title: Compressive Sampling Based UWB TOA Estimator

abstract: This paper proposes two compressive sampling based time of arrival (TOA) estimation algorithms using a sub-Nyquist rate receiver. We also describe a novel compressive sampling dictionary design for the compact representation of the received UWB signal. One of the proposed algorithm exploits the a-priori information with regard to the channel and range of the target. The performance of the algorithms are compared against the maximum likelihood (ML) based receiver using IEEE 802.15.4a CM1 line of sight (LOS) UWB channel model. The proposed algorithm yields performance similar to the ML TOA estimation at high SNRs. However, the computational complexity and the sampling rate requirements are lesser compared to the ML estimator. Simulation results show that the proposed algorithms can match ML estimator performance with only 1/4-th the sampling rate at 25 dB SNR. We analyze the performance of the algorithm with respect to practical constraints like size of the holographic dictionary and sampling rates. We also propose a new algorithm which can exploit the a-priori information regarding the UWB channel and the geographical constraints on the target that may be available at the receiver. This algorithm can substantially boost the performance compared to the algorithm without a-priori information at low SNRs.


title: Pressure-driven Superconductivity in Transition-metal Pentatelluride HfTe5

abstract: Layered transition-metal tellurides have attracted considerable attention because of their rich physics; for example, tungsten ditelluride WTe2 exhibits extremely large magnetoresistance; the tritelluride ZrTe3 shows a charge density wave transition at low temperature; and the pentatelluride ZrTe5 displays an enigmatic resistivity anomaly and large thermoelectric power. Recently some transition-metal tellurides are predicted to be quantum spin Hall insulators (e.g. ZrTe5 and HfTe5) or Weyl semimetals (e.g. WTe2 and MoTe2) and were subjected to intensive investigations. Here, we report on the discovery of superconductivity in hafnium pentatelluride HfTe5 under high pressure. We observe two structural phase transitions and metallization with superconductivity developing at around 5 GPa. A maximal critical temperature of 4.8 K is attained at a pressure of 20 GPa, and superconductivity persists up to the maximum pressure in our study (42 GPa). Theoretical calculations indicate that the superconductivity develops mainly in the Te atom layers at medium pressure and in the Te atom chains at high pressure.


title: Blow-up solutions for $L^2$-supercritical gKdV equations with exactly $k$ blow-up points

abstract: In this paper we consider the slightly $L^2$-supercritical gKdV equations $\partial_t u+(u_{xx}+u|u|^{p-1})_x=0$, with the nonlinearity $5<p<5+\varepsilon$ and $0<\varepsilon\ll 1$ . In the previous work of the author we know that there exists an stable self-similar blow-up dynamics for slightly $L^2$-supercritical gKdV equations. Such solution can be viewed as solutions with single blow-up point. In this paper we will prove the existence of solutions with multiple blow-up points, and give a description of the formation of the singularity near the blow-up time.


title: Riccati equations and optimal control of well-posed linear systems

abstract: We generalize the classical theory on algebraic Riccati equations and optimization to infinite-dimensional well-posed linear systems, thus completing the work of George Weiss, Olof Staffans and others. We show that the optimal control is given by the stabilizing solution of an integral Riccati equation. If the input operator is not maximally unbounded, then this integral Riccati equation is equivalent to the algebraic Riccati equation. Using the integral Riccati equation, we show that for (nonsingular) minimization problems the optimal state-feedback loop is always well-posed. In particular, the optimal state-feedback operator is admissible also for the original semigroup, not only for the closed-loop semigroup (as has been known in some cases); moreover, both settings are well-posed with respect to an external input. This leads to the positive solution of several central, previously open questions on exponential, output and dynamic (aka. "internal") stabilization and on coprime factorization of transfer functions. Our theory covers all quadratic (possibly indefinite) cost functions, but the optimal state feedback need not be well-posed (admissible) unless the cost function is uniformly positive or the system is sufficiently regular.


abstract: Adaptive Horizon Model Predictive Control (AHMPC) is a scheme for varying as needed the horizon length of Model Predictive Control (MPC). Its goal is to achieve stabilization with horizons as small as possible so that MPC can be used on faster or more complicated dynamic processes. Beside the standard requirements of MPC including a terminal cost that is a control Lyapunov function, AHMPC requires a terminal feedback that turns the control Lyapunov function into a standard Lyapunov function in some domain around the operating point. But this domain need not be known explicitly. MPC does not compute off-line the optimal cost and the optimal feedback over a large domain instead it computes these quantities on-line when and where they are needed. AHMPC does not compute off-line the domain on which the terminal cost is a control Lyapunov function instead it computes on-line when a state is in this domain.


title: On the Hardness of SAT with Community Structure

abstract: Recent attempts to explain the effectiveness of Boolean satisfiability (SAT) solvers based on conflict-driven clause learning (CDCL) on large industrial benchmarks have focused on the concept of community structure. Specifically, industrial benchmarks have been empirically found to have good community structure, and experiments seem to show a correlation between such structure and the efficiency of CDCL. However, in this paper we establish hardness results suggesting that community structure is not sufficient to explain the success of CDCL in practice. First, we formally characterize a property shared by a wide class of metrics capturing community structure, including "modularity". Next, we show that the SAT instances with good community structure according to any metric with this property are still NP-hard. Finally, we study a class of random instances generated from the "pseudo-industrial" community attachment model of Gir\'aldez-Cru and Levy. We prove that, with high probability, instances from this model that have relatively few communities but are still highly modular require exponentially long resolution proofs and so are hard for CDCL. We also present experimental evidence that our result continues to hold for instances with many more communities. This indicates that actual industrial instances easily solved by CDCL may have some other relevant structure not captured by the community attachment model.


title: Self-referenced characterization of space-time couplings in near single-cycle laser pulses

abstract: We report on the characterization of space-time couplings in high energy sub-2-cycle 770nm laser pulses using a self-referencing single-shot method. Using spatially-encoded arrangement filter-based spectral phase interferometry for direct electric field reconstruction (SEA-F-SPIDER) we characterize few-cycle pulses with a wave-front rotation of 2.8x?10^11 rev/sec (1.38 mrad per half-cycle) and pulses with pulse front tilts ranging from to -0.33 fs/um to -3.03 fs/um.


title: Kaluza-Klein gluons at 100 TeV: NLO corrections

abstract: We explore the reach of a 100 TeV proton collider to discover KK gluons in a warped extra dimension. These particles are templates for color adjoint vectors that couple dominantly to the top quark. We examine their production rate at NLO in the six-flavor m-ACOT scheme for a variety of reference models defining their coupling to quarks, largely inspired by the RS model of a warped extra dimension. In agreement with previous calculations aimed at lower energy machines, we find that the NLO corrections are typically negative, resulting in a $K$-factor of around 0.7 (depending on the model) and with a residual scale dependence on the order of $\pm 20\%$, greater than the variation from the scale exhibited by the na\"{i}ve LO estimate.


title: On the dimension of the locus of determinantal hypersurfaces

abstract: The characteristic polynomial of an $r$-tuple $(A_1,..., A_r)$ of $n \times n$ matrices is the determinant $\det(x_0 I + x_1 A_1 + ... + x_r A_r)$. We show that if $r$ is at least 3 and $A = (A_1,..., A_r)$ is an $r$-tuple of matrices in general position, then up to conjugacy there are only finitely many $r$-tuples of matrices with the same characteristic polynomial as $A$. Equivalently, the locus of determinantal hypersurfaces of degree $n$ in $P^r$ is irreducible of dimension $(r-1)n^2 + 1$.


title: Central spectral gaps of the almost Mathieu operator

abstract: We consider the spectrum of the almost Mathieu operator $H_\alpha$ with frequency $\alpha$ and in the case of the critical coupling. Let an irrational $\alpha$ be such that $|\alpha-p_n/q_n|<c q_n^{-\varkappa}$, where $p_n/q_n$, $n=1,2,\dots$ are the convergents to $\alpha$, and $c$, $\varkappa$ are positive absolute constants, $\varkappa<56$. Assuming certain conditions on the parity of the coefficients of the continued fraction of $\alpha$, we show that the central gaps of $H_{p_n/q_n}$, $n=1,2,\dots$, are inherited as spectral gaps of $H_\alpha$ of length at least $c'q_n^{-\varkappa/2}$, $c'>0$.


title: Associated Primes and Syzygies of Linked Modules

abstract: Motivated by the notion of geometrically linked ideals, we show that over a Gorenstein local ring $R$, if a Cohen-Macaulay $R$-module $M$ of grade $g$ is linked to an $R$-module $N$ by a Gorenstein ideal $c$, such that $Ass_R(M)\cap Ass_R(N)=\emptyset$, then $M\otimes_RN$ is isomorphic to direct sum of copies of $R/a$, where $a$ is a Gorenstein ideal of $R$ of grade $g+1$. We give a criterion for the depth of a local ring $(R,m,k)$ in terms of the homological dimensions of the modules linked to the syzygies of the residue field $k$. As a result we characterize a local ring $(R,m,k)$ in terms of the homological dimensions of the modules linked to the syzygies of $k$.


title: Jacobi Polynomials, Bernstein-type Inequalities and Dispersion Estimates for the Discrete Laguerre Operator

abstract: The present paper is about Bernstein-type estimates for Jacobi polynomials and their applications to various branches in mathematics. This is an old topic but we want to add a new wrinkle by establishing some intriguing connections with dispersive estimates for a certain class of Schr\"odinger equations whose Hamiltonian is given by the generalized Laguerre operator. More precisely, we show that dispersive estimates for the Schr\"odinger equation associated with the generalized Laguerre operator are connected with Bernstein-type inequalities for Jacobi polynomials. We use known uniform estimates for Jacobi polynomials to establish some new dispersive estimates. In turn, the optimal dispersive decay estimates lead to new Bernstein-type inequalities.


title: What is an ideal a zero-class of?

abstract: We characterise, in pointed regular categories, the ideals as the zero-classes of surjective relations. Moreover, we study a variation of the "Smith is Huq" condition: two surjective left split relations commute as soon as their zero-classes commute.


title: The Colored Jones Polynomial of Singular Knots

abstract: We generalize the colored Jones polynomial to $4$-valent graphs. This generalization is given as a sequence of invariants in which the first term is a one variable specialization of the Kauffman-Vogel polynomial. We use the invariant we construct to give a sequence of singular braid group representations.


title: Localization of Simultaneous Moving Sound Sources for Mobile Robot Using a Frequency-Domain Steered Beamformer Approach

abstract: Mobile robots in real-life settings would benefit from being able to localize sound sources. Such a capability can nicely complement vision to help localize a person or an interesting event in the environment, and also to provide enhanced processing for other capabilities such as speech recognition. In this paper we present a robust sound source localization method in three-dimensional space using an array of 8 microphones. The method is based on a frequency-domain implementation of a steered beamformer along with a probabilistic post-processor. Results show that a mobile robot can localize in real time multiple moving sources of different types over a range of 5 meters with a response time of 200 ms.


title: Efficiency at maximum power of thermochemical engines with near-independent particles

abstract: Two-reservoir thermochemical engines are established in by using near-independent particles (including Maxwell-Boltzmann, Fermi-Dirac, and Bose-Einstein particles) as the working substance. Particle and heat fluxes can be formed based on the temperature and chemical potential gradients between two different reservoirs. A rectangular-type energy filter with width $\Gamma$ is introduced for each engine to weaken the coupling between the particle and heat fluxes. The efficiency at maximum power of each particle system decreases monotonously from an upper bound $\eta^+$ to a lower bound $\eta^-$ when $\Gamma$ increases from 0 to $\infty$. It is found that the $\eta^+$ values for all three systems are bounded by $\eta_{\mathrm{C}}/2 \leq \eta^+ \leq \eta_{\mathrm{C}}/(2-\eta_{\mathrm{C}})$ due to strong coupling, where $\eta_{\mathrm{C}}$ is the Carnot efficiency. For the Bose-Einstein system, it is found that the upper bound is approximated by the Curzon-Ahlborn efficiency: $\eta_{\mathrm{CA}}=1-\sqrt{1-\eta _{\mathrm{C}}}$. When $\Gamma\rightarrow\infty$, the intrinsic maximum powers are proportional to the square of the temperature difference of two reservoirs for all three systems, and the corresponding lower bounds of efficiency at maximum power can be simplified in the same form of $\eta^{-}=\eta_{\mathrm{C}}/[1+a_0(2-\eta_{\mathrm{C}})]$.


title: The Second Neighborhood Conjecture for Oriented Graphs Missing Combs

abstract: Seymour's Second Neighborhood Conjecture asserts that every oriented graph has a vertex whose first out-neighborhood is at most as large as its second out-neighborhood. Combs are the graphs having no induced $C_4$, $\overline{C_4}$, $C_5$, chair or $\overline{chair}$. We characterize combs using dependency digraphs. We characterize the graphs having no induced $C_4$, $\overline{C_4}$, chair or $\overline{chair}$ using dependency digraphs. Then we prove that every oriented graph missing a comb satisfies this conjecture. We then deduce that every oriented comb and every oriented threshold graph satisfies Seymour's conjecture.


title: Dynamics of the Zeraoulia-Sprott map revisited

abstract: In the paper "Some Open Problems in Chaos Theory and Dynamics" by Zeraoulia and Sprott, the two-dimensional map (x,y) -> (-ax(1+y^2)^{-1}, x+by) was considered and the problem of analytical study of the boundedness of its attractors was formulated. In the present paper, the boundedness of its attractors is studied, the corresponding analytical estimation of absorbing set is obtained, and thus an answer to the problem is given.


title: Perceptually-Motivated Nonlinear Channel Decorrelation For Stereo Acoustic Echo Cancellation

abstract: Acoustic echo cancellation with stereo signals is generally an under-determined problem because of the high coherence between the left and right channels. In this paper, we present a novel method of significantly reducing inter-channel coherence without affecting the audio quality. Our work takes into account psychoacoustic masking and binaural auditory cues. The proposed non-linear processing combines a shaped comb-allpass (SCAL) filter with the injection of psychoacoustically masked noise. We show that the proposed method performs significantly better than other known methods for reducing inter-channel coherence.


title: Replication of Li-Yorke Chaos Near a Homoclinic Orbit

abstract: We prove the presence of chaos near a homoclinic orbit in the modified Li-Yorke sense [10] by implementing chaotic perturbations. A Duffing oscillator is considered to show the effectiveness of our technique, and simulations that support the theoretical results are depicted. Ott-Grebogi-Yorke and Pyragas control methods are used to stabilize almost periodic motions.


title: Embedding Right-Angled Artin Groups into Brin-Thompson Groups

abstract: We prove that every finitely-generated right-angled Artin group can be embedded into some Brin-Thompson group $nV$. It follows that many other groups can be embedded into some $nV$ (e.g., any finite extension of any of Haglund and Wise's special groups), and that various decision problems involving subgroups of $nV$ are unsolvable.


title: Computing ultra-precise eigenvalues of the Laplacian within polygons

abstract: The main difficulty in solving the Helmholtz equation within polygons is due to non-analytic vertices. By using a method nearly identical to that used by Fox, Henrici, and Moler in their 1967 paper; it is demonstrated that such eigenvalue calculations can be extended to unprecedented precision, very often to well over a hundred digits, and sometimes to over a thousand digits. A curious observation is that as one increases the number of terms in the eigenfunction expansion, the approximate eigenvalue may be made to alternate above and below the exact eigenvalue. This alternation provides a new method to bound eigenvalues, by inspection. Symmetry must be exploited to simplify the geometry, reduce the number of non-analytic vertices and disentangle degeneracies. The symmetry-reduced polygons considered here have at most one non-analytic vertex from which all edges can be seen. Dirichlet, Neumann, and periodic-type edge conditions, are independently imposed on each polygon edge. The full shapes include the regular polygons and some with re-entrant angles (cut-square, L-shape, 5-point star). Thousand-digit results are obtained for the lowest Dirichlet eigenvalue of the L-shape, and regular pentagon and hexagon.


title: Bounded Geometry and Characterization of Some Transcendental Entire and Meromorphic Maps

abstract: We define two classes of topological infinite degree covering maps modeled on two families of transcendental holomorphic maps. The first, which we call exponential maps of type $(p,q)$, are branched covers and is modeled on transcendental entire maps of the form $P e^{Q}$, where $P$ and $Q$ are polynomials of degrees $p$ and $q$. The second is the class of universal covering maps from the plane to the sphere with two removed points modeled on transcendental meromorphic maps with two asymptotic values. The problem we address is to give a combinatorial characterization of the holomorphic maps contained in these classes whose post-singular sets are finite. The main results in this paper are that a post-singularly finite topological exponential map of type $(0,1)$ or a certain post-singularly finite topological exponential map of type $(p,1)$ or a post-singularly finite universal covering map from the plane to the sphere with two points removed is combinatorially equivalent to a holomorphic same type map if and only if this map has bounded geometry.


title: S-folds and 4d N=3 superconformal field theories

abstract: S-folds are generalizations of orientifolds in type IIB string theory, such that the geometric identifications are accompanied by non-trivial S-duality transformations. They were recently used by Garcia-Etxebarria and Regalado to provide the first construction of four dimensional N=3 superconformal theories. In this note, we classify the different variants of these N=3 preserving S-folds, distinguished by an analog of discrete torsion, using both a direct analysis of the different torsion classes and the compactification of the S-folds to three dimensional M-theory backgrounds. Upon adding D3-branes, these variants lead to different classes of N=3 superconformal field theories. We also analyze the holographic duals of these theories, and in particular clarify the role of discrete gauge and global symmetries in holography. In the main part of the paper, certain properties of cohomology groups associated to the S-folds were conjectured and used. This arXiv version includes an appendix written by Kiyonori Gomi in 2023 providing the proofs of the required properties using the technique of Borel equivariant cohomology, whose brief review is also provided.


title: Taylor's modularity conjecture and related problems for idempotent varieties

abstract: We provide a partial result on Taylor's modularity conjecture, and several related problems. Namely, we show that the interpretability join of two idempotent varieties that are not congruence modular is not congruence modular either, and we prove an analogue for idempotent varieties with a cube term. Also, similar results are proved for linear varieties and the properties of congruence modularity, having a cube term, congruence $n$-permutability for a fixed $n$, and satisfying a non-trivial congruence identity.


title: Nonlinear separate spin evolution in degenerate electron-positron-ion plasmas

abstract: The non-linear evolution of spin-electron acoustic, positron-acoustic, and spin-electron-positron acoustic waves is considered. It is demonstrated that weakly nonlinear dynamics of each wave leads to the soliton formation. Altogether, we report on existence of three different solitons. The spin-electron acoustic soliton known for electron-ion plasmas is described for electron-positron-ion plasmas for the first time. The existence of the spin-electron-positron acoustic soliton is reported for the first time. The positron-acoustic soliton and the spin-electron-positron acoustic soliton arise as the areas of a positive electric potential. The spin-electron acoustic soliton behaves as the area of a negative electric potential at the relatively small positron imbalance $n_{0p}/n_{0e}=0.1$ and as the area of a positive electric potential at the relatively large positron imbalance $n_{0p}/n_{0e}=0.5$.


title: No Evidence for [O III] Variability in Mrk 142

abstract: Using archival data from the 2008 Lick AGN Monitoring Project, Zhang & Feng (2016) claimed to find evidence for flux variations in the narrow [O III] emission of the Seyfert 1 galaxy Mrk 142 over a two-month time span. If correct, this would imply a surprisingly compact size for the narrow-line region. We show that the claimed [O III] variations are merely the result of random errors in the overall flux calibration of the spectra. The data do not provide any support for the hypothesis that the [O III] flux was variable during the 2008 monitoring period.


title: Mass and decay constant of the newly observed exotic $X(5568)$ state

abstract: The mass and decay constant of the $X(5568)$ state newly observed by D0 Collaboration are computed within the two-point sum rule method using the diquark-antidiquark interpolating current. In calculations, the vacuum condensates up to eight dimensions are taken into account. The obtained result for the mass of the $X(5568)$ state is in a nice agreement with the experimental data.


title: On assessing the accuracy of defect free energy computations

abstract: We develop a rigorous error analysis for coarse-graining of defect-formation free energy. For a one-dimensional constrained atomistic system, we establish the thermodynamic limit of the defect-formation free energy and obtain explicitly the rate of convergence. We then construct a sequence of coarse-grained energies with the same rate but significantly reduced computational cost. We illustrate our analytical results through explicit computations for the case of harmonic potentials and through numerical simulations.


title: Relationship Between the Uncompensated Price-Elasticity and the Income-Elasticity of Demand Under Conditions of Additive Preferences

abstract: Income- and price-elasticity of demand quantify the responsiveness of markets to changes in income, and in prices, respectively. Under the assumptions of utility maximization and preference-independence (additive preferences), mathematical relationships between income-elasticity values and uncompensated own and cross price-elasticity of demand are here derived for bundle of goods, using the differential approach to demand analysis. Key parameters are: the elasticity of the marginal utility of income, and the average budget-share. The proposed method can be applied to forecast the direct and indirect impact of price changes, and of financial instruments of policy using available estimates of the income elasticity of demand.


title: Quantum Lock-in Force Sensing using Optical Clock Doppler Velocimetry

abstract: Force sensors are at the heart of different technologies such as atomic force microscopy or inertial sensing \cite{RMPforce2003, Rugar2004, YazdiIEEE}. These sensors often rely on the measurement of the displacement amplitude of mechanical oscillators under applied force. Examples for such mechanical oscillators include micro-fabricated cantilevers \cite{YazdiIEEE}, carbon nanotubes \cite{NanotubeForce} as well as single trapped ions \cite{Bollinger, Udem} . The best sensitivity is typically achieved when the force is alternating at the mechanical resonance frequency of the oscillator thus increasing its response by the mechanical quality factor. The measurement of low-frequency forces, that are below resonance, is a more difficult task as the resulting oscillation amplitudes are significantly lower. Here we use a single trapped $^{88}Sr^{+}$ ion as a force sensor. The ion is trapped in a linear harmonic trap, and is electrically driven at a frequency much lower than the trap resonance frequency. To be able to measure the small amplitude of motion we combine two powerful techniques. The force magnitude is determined by the measured periodic Doppler shift of an atomic optical clock transition and the Quantum Lock-in technique is used to coherently accumulate the phases acquired during different force half-cycles. We demonstrate force detection both when the oscillating force is phase-synchronized with the quantum lock-in sequence and when it is asynchronous and report frequency force detection sensitivity as low as $5.3\times10^{-19}\frac{\mathrm{N}}{\sqrt{\mathrm{Hz}}}$ .


title: The Ambiguity of Simplicity

abstract: A system's apparent simplicity depends on whether it is represented classically or quantally. This is not so surprising, as classical and quantum physics are descriptive frameworks built on different assumptions that capture, emphasize, and express different properties and mechanisms. What is surprising is that, as we demonstrate, simplicity is ambiguous: the relative simplicity between two systems can change sign when moving between classical and quantum descriptions. Thus, notions of absolute physical simplicity---minimal structure or memory---at best form a partial, not a total, order. This suggests that appeals to principles of physical simplicity, via Ockham's Razor or to the "elegance" of competing theories, may be fundamentally subjective, perhaps even beyond the purview of physics itself. It also raises challenging questions in model selection between classical and quantum descriptions. Fortunately, experiments are now beginning to probe measures of simplicity, creating the potential to directly test for ambiguity.

categories: quant-ph cond-mat.stat-mech cs.IT math.IT


title: The Equatorial Ekman Layer

abstract: The steady incompressible viscous flow in the wide gap between spheres rotating about a common axis at slightly different rates (small Ekman number E) has a long and celebrated history. The problem is relevant to the dynamics of geophysical and planetary core flows, for which, in the case of electrically conducting fluids, the possible operation of a dynamo is of considerable interest. A comprehensive asymptotic study, in the limit E<<1, was undertaken by Stewartson (J. Fluid Mech. 1966, vol. 26, pp. 131-144). The mainstream flow, exterior to the E^{1/2} Ekman layers on the inner/outer boundaries and the shear layer on the inner sphere tangent cylinder C, is geostrophic. Stewartson identified a complicated nested layer structure on C, which comprises relatively thick quasi-geostrophic E^{2/7} (inside C) and E^{1/4} (outside C) layers. They embed a thinner E^{1/3} ageostrophic shear layer (on C), which merges with the inner sphere Ekman layer to form the E^{2/5} Equatorial Ekman layer of axial length E^{1/5}. Under appropriate scaling, this $E^{2/5}$--layer problem may be formulated, correct to leading order, independent of E. Accordingly, the Ekman boundary layer and ageostrophic shear layer become features of the far-field (as identified by the large value of the scaled axial co-ordinate z) solution. We present a numerical solution, which uses a non-local integral boundary condition at finite $z$ to account for the far-field behaviour. Adopting z^{-1} as a small parameter we extend Stewartson's similarity solution for the ageostrophic shear layer to higher orders. This far-field solution agrees well with that obtained from our numerical model.


title: Approximation hardness of Shortest Common Superstring variants

abstract: The shortest common superstring (SCS) problem has been studied at great length because of its connections to the de novo assembly problem in computational genomics. The base problem is APX-complete, but several generalizations of the problem have also been studied. In particular, previous results include that SCS with Negative strings (SCSN) is in Log-APX (though there is no known hardness result) and SCS with Wildcards (SCSW) is Poly-APX-hard. Here, we prove two new hardness results: (1) SCSN is Log-APX-hard (and therefore Log-APX-complete) by a reduction from Minimum Set Cover and (2) SCS with Negative strings and Wildcards (SCSNW) is NPOPB-hard by a reduction from Minimum Ones 3SAT.


title: Multiphase Allen-Cahn and Cahn-Hilliard Models and Their Discretizations with the Effect of Pairwise Surface Tensions

abstract: In this paper, the mathematical properties and numerical discretizations of multiphase models that simulate the phase separation of an $N$-component mixture are studied. For the general choice of phase variables, the unisolvent property of the coefficient matrix involved in the $N$-phase models based on the pairwise surface tensions is established. Moreover, the symmetric positive-definite property of the coefficient matrix on an $(N-1)$-dimensional hyperplane --- which is of fundamental importance to the well-posedness of the models --- can be proved equivalent to some physical condition for pairwise surface tensions. The $N$-phase Allen-Cahn and $N$-phase Cahn-Hilliard equations can then be derived from the free-energy functional. A natural property is that the resulting dynamics of concentrations are independent of phase variables chosen. Finite element discretizations for $N$-phase models can be obtained as a natural extension of the existing discretizations for the two-phase model. The discrete energy law of the numerical schemes can be proved and numerically observed under some restrictions pertaining to time step size. Numerical experiments including the spinodal decomposition and the evolution of triple junctions are described in order to investigate the effect of pairwise surface tensions.


title: Presentations and representations of surface singular braid monoids

abstract: The surface singular braid monoid corresponds to marked graph diagrams of knotted surfaces in braid form. In a quest to resolve linearity problem for this monoid, we will show that if it is defined on at least two or at least three strands, then its two or respectively three dimensional representations are not faithful. We will also derive new presentations for the surface singular braid monoid, one with reduced the number of defining relations, and the other with reduced the number of its singular generators. We include surface singular braid formulations of all knotted surfaces in Yoshikawa's table.


title: Scattering of Waves by Impurities in Precompressed Granular Chains

abstract: We study scattering of waves by impurities in strongly precompressed granular chains. We explore the linear scattering of plane waves and identify a closed-form expression for the reflection and transmission coefficients for the scattering of the waves from both a single impurity and a double impurity. For single-impurity chains, we show that, within the transmission band of the host granular chain, high-frequency waves are strongly attenuated (such that the transmission coefficient vanishes as the wavenumber $k\rightarrow \pm\pi$), whereas low-frequency waves are well-transmitted through the impurity. For double-impurity chains, we identify a resonance --- enabling full transmission at a particular frequency --- in a manner that is analogous to the Ramsauer--Townsend (RT) resonance from quantum physics. We also demonstrate that one can tune the frequency of the RT resonance to any value in the pass band of the host chain. We corroborate our theoretical predictions both numerically and experimentally, and we directly observe complete transmission for frequencies close to the RT resonance frequency. Finally, we show how this RT resonance can lead to the existence of reflectionless modes even in granular chains (including disordered ones) with multiple double impurities.


title: A Tutorial: Adaptive Runge-Kutta Integration for Stiff Systems : Comparing the Nos\'e and Nos\'e-Hoover Oscillator Dynamics

abstract: "Stiff" differential equations are commonplace in engineering and dynamical systems. To solve them we need flexible integrators that can deal with rapidly-changing righthand sides. This tutorial describes the application of "adaptive" [ variable timestep ] integrators to "stiff" mechanical problems encountered in modern applications of Gibbs' 1902 statistical mechanics. Linear harmonic oscillators subject to nonlinear thermal constraints can exhibit either stiff or smooth dynamics. Two closely-related examples, Nos\'e's 1984 dynamics and Nos\'e-Hoover 1985 dynamics, are both based on Hamiltonian mechanics, as was ultimately clarified by Dettmann and Morriss in 1996. Both these dynamics are consistent with Gibbs' canonical ensemble. Nos\'e's dynamics is "stiff" and can present severe numerical difficulties. Nos\'e-Hoover dynamics, though it follows exactly the same trajectory, is "smooth" and relatively trouble-free. Our tutorial emphasises the power of adaptive integrators to resolve stiff problems like the Nos\'e oscillator. The solutions obtained illustrate the power of computer graphics to enrich numerical solutions. Adaptive integration with computer graphics are basic to an understanding of dynamical systems and statistical mechanics. These tools lead naturally into the visualization of intricate fractal structures formed by chaos as well as elaborate knots tied by regular nonchaotic dynamics. This work was invited by the American Journal of Physics.

categories: cond-mat.stat-mech nlin.CD physics.class-ph physics.comp-ph


title: Dijkstra Graphs

abstract: We revisit a concept that has been central in some early stages of computer science, that of structured programming: a set of rules that an algorithm must follow in order to acquire a structure that is desirable in many aspects. While much has been written about structured programming, an important issue has been left unanswered: given an arbitrary, compiled program, describe an algorithm to decide whether or not it is structured, that is, whether it conforms to the stated principles of structured programming. We refer to the classical concept of structured programming, as described by Dijkstra. By employing a graph model and graph-theoretic techniques, we formulate an efficient algorithm for answering this question. To do so, we first introduce the class of graphs which correspond to structured programs, which we call Dijkstra Graphs. Our problem then becomes the recognition of such graphs, for which we present a greedy $O(n)$-time algorithm. Furthermore, we describe an isomorphism algorithm for Dijkstra graphs, whose complexity is also linear in the number of vertices of the graph. Both the recognition and isomorphism algorithms have potential important applications, such as in code similarity analysis.


title: Testing for parameter change in general integer-valued time series

abstract: We consider the structural change in a class of discrete valued time series that the conditional distribution follows a one-parameter exponential family. We propose a change-point test based on the maximum likelihood estimator of the parameter of the model. Under the null hypothesis (of no change), the test statistics converges to a well known distribution, allowing for the calculation of the critical values of the test. The test statistic diverges to infinity under the alternative, that is, the test asymptotically has power one. Some simulation results and real data applications are reported to show the applicability of the test procedure.


title: Shuffle and Fa\`a di Bruno Hopf Algebras in the Center Problem for Ordinary Differential Equations

abstract: In this paper we describe the Hopf algebra approach to the center problem for the differential equation $\frac{dv}{dx}=\sum_{i=1}^{\infty}a_{i}(x)v^{i+1}$, $x\in [0,T]$, and study some combinatorial properties of the first return map of this equation. The paper summarizes and extends previously developed approaches to the center problem due to Devlin and the author.


title: Quantum Arthur-Merlin with single-qubit measurements

abstract: We show that the class QAM does not change even if the verifier's ability is restricted to only single-qubit measurements. To show the result, we use the idea of the measurement-based quantum computing: the verifier, who can do only single-qubit measurements, can test the graph state sent from the prover and use it for his measurement-based quantum computing. We also introduce a new QMA-complete problem related to the stabilizer test.


title: QuotationFinder - Searching for Quotations and Allusions in Greek and Latin Texts and Establishing the Degree to Which a Quotation or Allusion Matches Its Source

abstract: The software programs generally used with the TLG (Thesaurus Linguae Graecae) and the CLCLT (CETEDOC Library of Christian Latin Texts) CD-ROMs are not well suited for finding quotations and allusions. QuotationFinder uses more sophisticated criteria as it ranks search results based on how closely they match the source text, listing search results with literal quotations first and loose verbal parallels last.


title: Interference Avoidance Algorithm (IAA) for Multi-hop Wireless Body Area Network Communication

abstract: In this paper, we propose a distributed multi-hop interference avoidance algorithm, namely, IAA to avoid co-channel interference inside a wireless body area network (WBAN). Our proposal adopts carrier sense multiple access with collision avoidance (CSMA/CA) between sources and relays and a flexible time division multiple access (FTDMA) between relays and coordinator. The proposed scheme enables low interfering nodes to transmit their messages using base channel. Depending on suitable situations, high interfering nodes double their contention windows (CW) and probably use switched orthogonal channel. Simulation results show that proposed scheme has far better minimum SINR (12dB improvement) and longer energy lifetime than other schemes (power control and opportunistic relaying). Additionally, we validate our proposal in a theoretical analysis and also propose a probabilistic approach to prove the outage probability can be effectively reduced to the minimal.


title: Differential equations for Changhee polynomials and their applications

abstract: Recently, the non-linear Changhee differential equations were introduced in [5] and these differential equations turned out to be very useful for studying special polynomials and mathematical physics. Some interesting identities and properties of Changhee polynomials can also be derived from umbral calculus (see [7]). In this paper, we consider differential equations arising from Changhee polynomials and derive some new and explicit formulae and identities from our differential equations.


title: Mathematical design of a novel gesture-based instruction/input device using wave detection

abstract: In this paper, we present a conceptual design of a novel gesture-based instruction/input device using wave detection. The device recogonizes/detects gestures from a person and based on which to give the specific orders/inputs to the computing machine that is connected to it. The gestures are modelled as the shapes of some impenetrable or penetrable scatterers from a certain admissible class, called a dictionary. The device generates time-harmonic point signals for the gesture recognition/detection. It then collects the scattered wave in a relatively small backscattering aperture on a bounded surface containing the point sources. The recognition algorithm consists of two steps and requires only two incident waves of different wavenumbers. The approximate location of the scatterer is first determined by using the measured data at a small wavenumber and the shape of the scatterer is then identified using the computed location of the scatterer and the measured data at a regular wavenumber. We provide the mathematical principle with rigorous justifications underlying the design. Numerical experiments show that the proposed device works effectively and efficiently in some practical scenarios.


title: First law of black hole mechanics in variable background fields

abstract: It is well known that in general theories of gravity with the diffeomorphism symmetry, the black hole entropy is a Noether charge. But what will happen if the symmetry is explicitly broken? By investigating the covariant first law of black hole mechanics with background fields, we show that the Noether entropy is still applicable due to the local nature of the black hole entropy. Moreover, motivated by the proposal that the cosmological constant behaves as a thermodynamic variable, we allow the non-dynamical background fields to be varied. To illustrate this general formalism, we study a generic static black brane in the massive gravity. Using the first law and the scaling argument, we obtain two Smarr formulas. We show that both of them can be retrieved without relying on the first law, hence providing a self-consistent check of the theory.


title: REEL-BF Design: Achieving the SDP Bound for Downlink Beamforming with Arbitrary Shaping Constraints

abstract: This paper considers the beamforming design for a multiuser multiple-input single-output (MISO) downlink with an arbitrary number of (context-specific) shaping constraints. In this setup, the state-of-the-art beamforming schemes cannot attain the well-known performance bound promised by the semidefinite program (SDP) relaxation technique. To close the gap, we propose a redundant-signal embedded linear beamforming (REEL-BF) scheme, where each user is assigned with one information beamformer and several shaping beamformers. It is shown that the proposed REEL-BF scheme can perform general rank-$K$ beamforming for user symbols in a low-complexity and structured manner. In addition, sufficient conditions are derived to guarantee that the REEL-BF scheme always achieves the SDP bound for linear beamforming schemes. Based on such conditions, an efficient algorithm is then developed to obtain the optimal REEL-BF solution in polynomial time. Numerical results demonstrate that the proposed scheme enjoys substantial performance gains over the existing alternatives.


title: A High Order Multi-Dimensional Characteristic Tracing Strategy for the Vlasov-Poisson System

abstract: In this paper, we consider a finite difference grid-based semi-Lagrangian approach in solving the Vlasov-Poisson (VP) system. Many of existing methods are based on dimensional splitting, which decouples the problem into solving linear advection problems, see {\em Cheng and Knorr, Journal of Computational Physics, 22(1976)}. However, such splitting is subject to the splitting error. If we consider multi-dimensional problems without splitting, difficulty arises in tracing characteristics with high order accuracy. Specifically, the evolution of characteristics is subject to the electric field which is determined globally from the distribution of particle densities via the Poisson's equation. In this paper, we propose a novel strategy of tracing characteristics high order in time via a two-stage multi-derivative prediction-correction approach and by using moment equations of the VP system. With the foot of characteristics being accurately located, we proposed to use weighted essentially non-oscillatory (WENO) interpolation to recover function values between grid points, therefore to update solutions at the next time level. The proposed algorithm does not have time step restriction as Eulerian approach and enjoys high order spatial and temporal accuracy. However, such finite difference algorithm does not enjoy mass conservation; we discuss one possible way of resolving such issue and its potential challenge in numerical stability. The performance of the proposed schemes are numerically demonstrated via classical test problems such as Landau damping and two stream instabilities.


title: On the Exit Time and Stochastic Homogenization of Isotropic Diffusions in Large Domains

abstract: Stochastic homogenization is achieved for a class of elliptic and parabolic equations describing the lifetime, in large domains, of stationary diffusion processes in random environment which are small, statistically isotropic perturbations of Brownian motion in dimension at least three. Furthermore, the homogenization is shown to occur with an algebraic rate. Such processes were first considered in the continuous setting by Sznitman and Zeitouni [21], upon whose results the present work relies strongly, and more recently their smoothed exit distributions from large domains were shown to converge to those of a Brownian motion by the author [10]. This work shares in philosophy with [10], but requires substantially new methods in order to control the expectation of exit times which are generically unbounded in the microscopic scale due to the emergence of a singular drift in the asymptotic limit.


title: Strain-induced enhancement of thermoelectric performance in a ZrS2 monolayer

abstract: The increase of a thermoelectric material's figure of merit (ZT value) is limited by the interplay of the transport coefficients. Here we report the greatly enhanced thermoelectric performance of a ZrS2 monolayer by the biaxial tensile strain, due to the simultaneous increase of the Seebeck coefficient and decrease of the thermal conductivity. Based on the first-principles calculations combined with the Boltzmann transport theory, we predict the band gap of the ZrS2 monolayer can be effectively engineered by the strain and the Seebeck coefficient is significantly increased. The thermal conductivity is reduced by the applied tensile strain due to the phonon softening. At the strain of 6%, the maximal ZT value of 2.4 is obtained for the p-type doped ZrS2 monolayer at 300 K, which is 4.3 times larger than that of the unstrained system.


title: Epistemic Impact on Group Problem Solving for Different Science Majors

abstract: Implementation of cognitive apprenticeship in an introductory physics lab group problem solving exercise may be mitigated by epistemic views toward physics of non-physics science majors. Quantitative pre-post data of the Force Concept Inventory (FCI) and Colorado Learning Attitudes About Science Survey (CLASS) of 39 students of a first-semester algebra-based introductory physics course, while describing typical results for a traditional-format course overall (g = +0.14), suggest differences in epistemic views between health science majors and life science majors which may correlate with differences in pre-post conceptual understanding. Audiovisual data of student lab groups working on a context-rich problem and students' written reflections described each group's typical dynamics and invoked epistemic games. We examined the effects of framework-based orientation (favored by biology majors) and performance-based orientation (favored by computer science, chemistry, and health science majors) on pre-post attitude survey performance. We also investigated possible correlations of these orientations with individual quantitative survey results, and with qualitative audiovisual data of lab groups' choice of epistemic games.


title: Proof of some properties of transfer using noncommutative determinants

abstract: A transfer is a group homomorphism from a finite group to an abelian quotient group of a subgroup of the group. In this paper, we explain some of the properties of transfers by using noncommutative determinants. These properties enable us to understand transfers more naturally.


title: Speex: A Free Codec For Free Speech

abstract: The Speex project has been started in 2002 to address the need for a free, open-source speech codec. Speex is based on the Code Excited Linear Prediction (CELP) algorithm and, unlike the previously existing Vorbis codec, is optimised for transmitting speech for low latency communication over an unreliable packet network. This paper presents an overview of Speex, the technology involved in it and how it can be used in applications. The most recent developments in Speex, such as the fixed-point port, acoustic echo cancellation and noise suppression are also addressed.


title: Interval k-Graphs and Orders

abstract: An interval $k$-graph is the intersection graph of a family $\mathcal{I}$ of intervals of the real line partitioned into at most $k$ classes with vertices adjacent if and only if their corresponding intervals intersect and belong to different classes. In this paper we discuss the interval $k$-graphs that are the incomparability graphs of orders; i.e., cocomparability interval $k$-graphs or interval $k$-orders. Interval $2$-orders have been characterized in many ways, but we show that analogous characterizations do not carry over to interval $k$-orders, for $k > 2$. We describe the structure of interval $k$-orders, for any $k$, characterize the interval $3$-orders (cocomparability interval $3$-graphs) via one forbidden suborder (subgraph), and state a conjecture for interval $k$-orders (any $k$) that would characterize them via two forbidden suborders.


title: Effects of Galactic Disc Inclination and Resolution on Observed GMC Properties and Larson's Scaling Relations

abstract: With ALMA making it possible to resolve giant molecular clouds (GMCs) in other galaxies, it is becoming necessary to quantify the observational bias on measured GMC properties. Using a hydrodynamical simulation of a barred spiral galaxy, we compared the physical properties of GMCs formed in position-position-position space (PPP) to the observational position-position-velocity space (PPV). We assessed the effect of disc inclination: face-on (PPV_face) and edge-on (PPV_edge), and resolution: 1.5 pc versus 24 pc, on GMC properties and the further implications of using Larson's scaling relations for mass-radius and velocity dispersion-radius. The low-resolution PPV data are generated by simulating ALMA Cycle 3 observations using the CASA package. Results show that the median properties do not differ strongly between PPP and PPV_face under both resolutions, but PPV_edge clouds deviate from these two. The differences become magnified when switching to the lower, but more realistic resolution. The discrepancy can lead to opposite results for the virial parameter's measure of gravitational binding, and therefore the dynamical state of the clouds. The power-law indices for the two Larson's scaling relations decrease going from PPP, PPV_face to PPV_edge and decrease from high to low resolutions. We conclude that the relations are not entirely driven by the underlying physical origin and therefore have to be used with caution when considering the environmental dependence, dynamical state, and the extragalactic CO-to-H2 conversion factor of GMCs.


title: Lie Access Neural Turing Machine

abstract: Following the recent trend in explicit neural memory structures, we present a new design of an external memory, wherein memories are stored in an Euclidean key space $\mathbb R^n$. An LSTM controller performs read and write via specialized read and write heads. It can move a head by either providing a new address in the key space (aka random access) or moving from its previous position via a Lie group action (aka Lie access). In this way, the "L" and "R" instructions of a traditional Turing Machine are generalized to arbitrary elements of a fixed Lie group action. For this reason, we name this new model the Lie Access Neural Turing Machine, or LANTM. We tested two different configurations of LANTM against an LSTM baseline in several basic experiments. We found the right configuration of LANTM to outperform the baseline in all of our experiments. In particular, we trained LANTM on addition of $k$-digit numbers for $2 \le k \le 16$, but it was able to generalize almost perfectly to $17 \le k \le 32$, all with the number of parameters 2 orders of magnitude below the LSTM baseline.