title: A Generalized Uhlenbeck and Beth Formula for the Third Cluster Coefficient

abstract: Relatively recently (A. Amaya-Tapia, S. Y. Larsen and M. Lassaut. Ann. Phys., vol. 306 (2011) 406), we presented a formula for the evaluation of the third Bose fugacity coefficient - leading to the third virial coefficient - in terms of three-body eigenphase shifts, for particles subject to repulsive forces. An analytical calculation for a 1-dim. model, for which the result is known, confirmed the validity of this approach. We now extend the formalism to particles with attractive forces, and therefore must allow for the possibility that the particles have bound states. We thus obtain a true generalization of the famous formula of Uhlenbeck and Beth (G.E. Uhlenbeck and E. Beth. Physica, vol. 3 (1936) 729; E. Beth and G.E. Uhlenbeck. ibid, vol.4 (1937) 915) (and of Gropper (L. Gropper. Phys. Rev. vol. 50 (1936) 963; ibid vol. 51 (1937) 1108)) for the second virial. We illustrate our formalism by a calculation, in an adiabatic approximation, of the third cluster in one dimension, using McGuire's model as in our previous paper, but with attractive forces. The inclusion of three-body bound states is trivial; taking into account states having asymptotically two particles bound, and one free, is not.


title: Experimental and first-principles studies of magnetism and magnetoelectric effect in Co4Nb2O9 and Co4Ta2O9

abstract: We report results of joint experimental and theoretical studies on magnetoelectric (ME) compounds Co4Nb2O9 and Co4Ta2O9. On the experimental side, we present results of the magnetization and dielectric permittivity measurements in the magnetic field. On the theoretical side, we construct the low-energy Hubbard-type model for the magnetically active Co 3d bands in the Wannier basis, using the input of first-principles electronic structure calculations, solve this model in the mean-field Hartree-Fock approximation, and evaluate the electric polarization in terms of the Berry phase theory. Both experimental and theoretical results suggest that Co4Ta2O9 is magnetically softer than Co4Nb2O9. Therefore, it is reasonable to expect that the antiferromagnetic structure of Co4Ta2O9 can be easier deformed by the external magnetic field, yielding larger polarization. This trend is indeed reproduced by our theoretical calculations, but does not seem to be consistent with the experimental behavior of the polarization and dielectric permittivity. Thus, we suggest that there should be a hidden mechanism controlling the ME coupling in these compounds, probably related to the magnetic striction or a spontaneous change of the magnetic structure, which breaks the inversion symmetry. Furthermore, we argue that unlike in other ME systems (e.g. Cr2O3), in Co4Nb2O9 and Co4Ta2O9 there are two crystallographic sublattices, which contribute to the ME effect. These contributions are found to be of the opposite sign and tend to compensate each other. The latter mechanism can be also used to control and reverse the electric polarization in these compounds.


title: Online Stochastic Matching: New Algorithms and Bounds

abstract: Online matching has received significant attention over the last 15 years due to its close connection to Internet advertising. As the seminal work of Karp, Vazirani, and Vazirani has an optimal (1 - 1/e) competitive ratio in the standard adversarial online model, much effort has gone into developing useful online models that incorporate some stochasticity in the arrival process. One such popular model is the "known I.I.D. model" where different customer-types arrive online from a known distribution. We develop algorithms with improved competitive ratios for some basic variants of this model with integral arrival rates, including (a) the case of general weighted edges, where we improve the best-known ratio of 0.667 due to Haeupler, Mirrokni and Zadimoghaddam to 0.705; and (b) the vertex-weighted case, where we improve the 0.7250 ratio of Jaillet and Lu to 0.7299. We also consider an extension of stochastic rewards, a variant where each edge has an independent probability of being present. For the setting of stochastic rewards with non-integral arrival rates, we present a simple optimal non-adaptive algorithm with a ratio of 1 - 1/e. For the special case where each edge is unweighted and has a uniform constant probability of being present, we improve upon 1 - 1/e by proposing a strengthened LP benchmark.


title: On optimal embeddings and trees

abstract: We apply the theory of Bruhat-Tits trees to the study of optimal embeddings of two and three dimensional commutative orders into quaternion algebras. Specifically, we determine how many conjugacy classes of global Eichler orders in a quaternion algebra yield optimal representations of such orders. This completes the previous work by C. Maclachlan, who considered only Eichler orders of square free level and integral domains as sub-orders. The same technique is used in the second part of this work to compute local embedding numbers, extending previous results by J. Brzezinski.


title: On the existence of the biharmonic Green kernels and the the adjoint biharmonic functions

abstract: We study the existence and the regularity of the biharmonic Green kernel in a Brelot biharmonic space whose associated harmonic spaces have Green kernels. We show by some examples that this kernel does not always exist. We then introduce and study the adjoint of the given biharmonic space. This study was initiated by Smyrnelis, however, it seems that several results were incomplete and we clarify them here.


title: On the Hodge-Newton filtration for p-divisible groups of Hodge type

abstract: A p-divisible group, or more generally an F-crystal, is said to be Hodge-Newton reducible if its Hodge polygon passes through a break point of its Newton polygon. Katz proved that Hodge-Newton reducible F-crystals admit a canonical filtration called the Hodge-Newton filtration. The notion of Hodge-Newton reducibility plays an important role in the deformation theory of p-divisible groups; the key property is that the Hodge-Newton filtration of a p-divisible group over a field of characteristic p can be uniquely lifted to a filtration of its deformation. We generalize Katz's result to F-crystals that arise from an unramified local Shimura datum of Hodge type. As an application, we give a generalization of Serre-Tate deformation theory for local Shimura data of Hodge type. We also apply our deformation theory to study some congruence relations on Shimura varieties of Hodge type.


title: Uniqueness Trees: A Possible Polynomial Approach to the Graph Isomorphism Problem

abstract: This paper presents the novel `uniqueness tree' algorithm, as one possible method for determining whether two finite, undirected graphs are isomorphic. We prove that the algorithm has polynomial time complexity in the worst case, and that it will always detect the presence of an isomorphism whenever one exists. We also propose that the algorithm will equivalently discern the lack of an isomorphism whenever one does not exist, and some initial justifications are given for this proposition, although it cannot yet be rigorously proven. Finally, we present experimental evidence for both the effectiveness and efficiency of the uniqueness tree method, using data gathered from a practical implementation of the algorithm. Some consequences and directions for further research are discussed.


title: Paramagnetic excited vortex states in superconductors

abstract: We consider excited vortex states, which are vortex states left inside a superconductor once the external applied magnetic field is switched off and whose energy is lower than of the normal state. We show that this state is paramagnetic and develop here a general method to obtain its Gibbs free energy through conformal mapping. The solution for any number of vortices in any cross section geometry can be read off from the Schwarz - Christoffel mapping. The method is based on the first order equations used by A. Abrikosov to discover vortices.


title: A mesoscopic model for binary fluids

abstract: We propose a model to study symmetric binary fluids, based in the mesoscopic molecular simulation technique known as multiparticle collision, where space and state variables are continuous while time is discrete. We include a repulsion rule to simulate segregation processes that does not require the calculation of the interaction forces between particles, thus allowing the description of binary fluids at a mesoscopic scale. The model is conceptually simple, computationally efficient, maintains Galilean invariance, and conserves the mass and the energy in the system at micro and macro scales; while momentum is conserved globally. For a wide range of temperatures and densities, the model yields results in good agreement with the known properties of binary fluids, such as density profile, width of the interface, phase separation and phase growth. We also apply the model to study binary fluids in crowded environments with consistent results.


title: Relationship between Symmetry Protected Topological Phases and Boundary Conformal Field Theories via the Entanglement Spectrum

abstract: Quantum phase transitions out of a symmetry-protected topological (SPT) phase in (1+1) dimensions into an adjacent, topologically distinct SPT phase protected by the same symmetry or a trivial gapped phase, are typically described by a conformal field theory (CFT). At the same time, the low-lying entanglement spectrum of a gapped phase close to such a quantum critical point is known(Cho et al., arXiv:1603.04016), very generally, to be universal and described by (gapless) boundary conformal field theory. Using this connection we show that symmetry properties of the boundary conditions in boundary CFT can be used to characterize the symmetry-protected degeneracies of the entanglement spectrum, a hallmark of non-trivial symmetry-protected topological phases. Specifically, we show that the relevant boundary CFT is the orbifold of the quantum critical point with respect to the symmetry group defining the SPT, and that the boundary states of this orbifold carry a quantum anomaly that determines the topological class of the SPT. We illustrate this connection using various characteristic examples such as the time-reversal breaking "Kitaev chain" superconductor (symmetry class D), the Haldane phase, and the $\mathbb{Z}_8$ classification of interacting topological superconductors in symmetry class BDI in (1+1) dimensions.


title: Cooperative single-photon subradiant states in a three-dimensional atomic array

abstract: We propose a complete superradiant and subradiant states that can be manipulated and prepared in a three-dimensional atomic array. These subradiant states can be realized by absorbing a single photon and imprinting the spatially-dependent phases on the atomic system. We find that the collective decay rates and associated cooperative Lamb shifts are highly dependent on the phases we manage to imprint, and the subradiant state of long lifetime can be found for various lattice spacings and atom numbers. We also investigate both optically thin and thick atomic arrays, which can serve for systematic studies of super- and sub-radiance. Our proposal offers an alternative scheme for quantum memory of light in a three-dimensional array of two-level atoms, which is applicable and potentially advantageous in quantum information processing.


title: Concordance group of virtual knots

abstract: We study concordance of virtual knots. Our main result is that a classical knot K is virtually slice if and only if it is classically slice. From this we deduce that the concordance group of classical knots embeds into the concordance group of long virtual knots.


title: The role of the spin connection in quantum Hall effect: A perspective from geometric quantization

abstract: The topological terms of the bulk effective action for the integer quantum Hall effect, capturing the dynamics of gauge and gravitational fluctuations, reveal a curiosity, namely, the Abelian potential for the magnetic field appears in a particular combination with the Abelian spin connection. This seems to hold for quantum Hall effect on complex projective spaces of arbitrary dimensions. An interpretation of this in terms of the algebra of symplectic transformations is given. This can also be viewed in terms of the metaplectic correction in geometric quantization.

categories: hep-th cond-mat.mes-hall math-ph math.MP


title: Incremental Parsing with Minimal Features Using Bi-Directional LSTM

abstract: Recently, neural network approaches for parsing have largely automated the combination of individual features, but still rely on (often a larger number of) atomic features created from human linguistic intuition, and potentially omitting important global context. To further reduce feature engineering to the bare minimum, we use bi-directional LSTM sentence representations to model a parser state with only three sentence positions, which automatically identifies important aspects of the entire sentence. This model achieves state-of-the-art results among greedy dependency parsers for English. We also introduce a novel transition system for constituency parsing which does not require binarization, and together with the above architecture, achieves state-of-the-art results among greedy parsers for both English and Chinese.


title: Elements of Geometric Quantization and Applications to Fields and Fluids

abstract: These lecture notes (from the Second Autumn School in High Energy Physics and Quantum Field Theory, Yerevan 2014) cover a number of topics related to geometric quantization. Most of the material is presented from a physicist's point of view. The original notes are posted at \verb+http://theorphyslab-ysu.info/VW_ASW-2014/uploads/ArmeniaLectures.pdf+. The have been revised with some additions and changes, although referencing is still somewhat dated. These notes are posted here as they may be good background material for some recent papers.

categories: hep-th cond-mat.mes-hall math-ph math.MP quant-ph


title: Convergence Analysis and Assurance for Gaussian Message Passing Iterative Detector in Massive MU-MIMO Systems

abstract: This paper considers a low-complexity Gaussian Message Passing Iterative Detection (GMPID) algorithm for massive Multiuser Multiple-Input Multiple-Output (MU-MIMO) system, in which a base station with $M$ antennas serves $K$ Gaussian sources simultaneously. Both $K$ and $M$ are very large numbers, and we consider the cases that $K<M$. The GMPID is a low-complexity message passing algorithm based on a fully connected loopy graph, which is well understood to be not convergent in some cases. As it is hard to analyse the GMPID directly, the large-scale property of the massive MU-MIMO is used to simplify the analysis. Firstly, we prove that the variances of the GMPID definitely converge to the mean square error of Minimum Mean Square Error (MMSE) detection. Secondly, we propose two sufficient conditions that the means of the GMPID converge to those of the MMSE detection. However, the means of GMPID may not converge when $ K/M\geq (\sqrt{2}-1)^2$. Therefore, a new convergent GMPID called SA-GMPID (scale-and-add GMPID) , which converges to the MMSE detection in mean and variance for any $K<M$ and has a faster convergence speed than the GMPID, but has no higher complexity than the GMPID, is proposed. Finally, numerical results are provided to verify the validity and accuracy of the theoretical results.


title: Stochastic homogenization of viscous superquadratic Hamilton-Jacobi equations in dynamic random environment

abstract: We study the qualitative homogenization of second order viscous Hamilton-Jacobi equations in space-time stationary ergodic random environments. Assuming that the Hamiltonian is convex and superquadratic in the momentum variable (gradient) we establish a homogenization result and characterize the effective Hamiltonian for arbitrary (possibly degenerate) elliptic diffusion matrices. The result extends previous work that required uniform ellipticity and space-time homogeneity for the diffusion.


title: Thermodynamic measurement of the sound velocity of a Bose gas across the transition to Bose-Einstein condensation

abstract: We present an alternative method for determining the sound velocity in atomic Bose-Einstein condensates, based on thermodynamic global variables. The total number of trapped atoms was as a function of temperature carefully studied across the phase transition, at constant volume. It allowed us to evaluate the sound velocity resulting in consistent values from the quantum to classical regime, in good agreement with previous results found in literature. We also provide some insight about the dominant sound mode (thermal or superfluid) across a wide temperature range.


title: Exact sampling of first passage event of certain symmetric Levy processes with unbounded variation

abstract: We show that exact sampling of the first passage event can be done for a Levy process with unbounded variation, if the process can be embedded in a subordinated standard Brownian motion. By sampling a series of first exit events of the Brownian motion and first passage events of the subordinator, the first passage event of interest can be obtained. The sampling of the first exit time and pre-exit location of the Brownian motion may be of independent interest.


title: Sparse graphs of high gonality

abstract: By considering graphs as discrete analogues of Riemann surfaces, Baker and Norine (Adv. Math. 2007) developed a concept of linear systems of divisors for graphs. Building on this idea, a concept of gonality for graphs has been defined and has generated much recent interest. We show that there are connected graphs of treewidth 2 of arbitrarily high gonality. We also show that there exist pairs of connected graphs $\{G,H\}$ such that $H\subseteq G$ and $H$ has strictly lower gonality than $G$. These results resolve three open problems posed in a recent survey by Norine (Surveys in Combinatorics 2015).


title: Stability of positive solutions to biharmonic equations on Heisenberg group

abstract: In this note, we establish the existence of a positive solution and its stability to the following problem $$\Delta_{\mathbb{H}^n}^2u=a(\xi)u-f(\xi,u)\text{ in }\Omega, \,\,\, u|_{\partial\Omega} = 0 =\left.\Delta_{\mathbb{H}^n} u|_{\partial\Omega},$$ on Heisenberg group.


title: Singular Adams inequality for biharmonic operator on Heisenberg Group and its applications

abstract: The goal of this paper is to establish singular Adams type inequality for biharmonic operator on Heisenberg group. As an application, we establish the existence of a solution to \begin{equation*} \Delta_{\mathbb{H}^n}^2 u=\frac{f(\xi,u)}{\rho(\xi)^a}\,\,\text{ in }\Omega,\,\, u|_{\partial\Omega}=0=\left.\frac{\partial u}{\partial \nu}\right|_{\partial\Omega}, \end{equation*} where $0\in \Omega \subseteq \mathbb{H}^4$ is a smooth bounded domain, $0\leq a<Q,\,(Q=10).$ The special feature of this problem is that it contains an exponential nonlinearity and singular potential.


title: Evolutionary status of isolated B[e] stars

abstract: Aims. We study a sample of eight B[e] stars with uncertain evolutionary status to shed light on the origin of their circumstellar dust. Methods. We performed a diagnostic analysis on the spectral energy distribution beyond infrared wavelengths, and conducted a census of neighboring region of each target to ascertain its evolutionary status. Results. In comparison to pre-main sequence Herbig stars, these B[e] stars show equally substantial excess emission in the near-infrared, indicative of existence of warm dust, but much reduced excess at longer wavelengths, so the dusty envelopes should be compact in size. Isolation from star-forming regions excludes the possibility of their pre-main sequence status. Six of our targets, including HD 50138, HD 45677, CD-245721, CD-49 3441, MWC 623, and HD 85567, have been previously considered as FS CMa stars, whereas HD 181615/6 and HD 98922 are added to the sample by this work. We argue that the circumstellar grains of these isolated B[e] stars, already evolved beyond the pre-main sequence phase, should be formed in situ. This is in contrast to Herbig stars, which inherit large grains from parental molecular clouds. It has been thought that HD 98922, in particular, is a Herbig star because of its large infrared excess, but we propose it being in a more evolved stage. Because dust condenses out of stellar mass loss in an inside-out manner, the dusty envelope is spatially confined, and anisotropic mass flows, or anomalous optical properties of tiny grains, lead to the generally low line-of-sight extinction toward these stars.


title: Non-equilibrium fractional quantum Hall states visualized by optically detected MRI

abstract: Using photoluminescence microscopy enhanced by MRI, we visualize in real space both electron and nuclear polarization occurring in non-equilibrium FQH liquids. We observe stripe-like regions comprising FQH excited states which discretely form when the FQH liquid is excited by a source-drain current. These regions are topologically protected and deformable, and give rise to bidirectionally polarized nuclear spins as spin-resolved electrons flow across their boundaries.


title: Reconstruction theorems for semigroups of functions which contain all transpositions of a set and for clones with the same property

abstract: We prove that if S is a set of functions from a set A to itself, S is closed under composition, and S contains all transpositions of A, then the action of S on Acan be recovered from the semigroup consisting of S together with its compositionoperation. We also prove the analogous statement for clones.


title: Finite State Markov Wiretap Channel with Delayed Feedback

abstract: The finite state Markov channel (FSMC), where the channel transition probability is controlled by a state undergoing a Markov process, is a useful model for the mobile wireless communication channel. In this paper, we investigate the security issue in the mobile wireless communication systems by considering the FSMC with an eavesdropper, which we call the finite state Markov wiretap channel (FSM-WC). We assume that the state is perfectly known by the legitimate receiver and the eavesdropper, and through a noiseless feedback channel, the legitimate receiver sends his received channel output and the state back to the transmitter after some time delay. Inner and outer bounds on the capacity-equivocation regions of the FSM-WC with delayed state feedback and with or without delayed channel output feedback are provided in this paper, and we show that these bounds meet if the eavesdropper's received symbol is a degraded version of the legitimate receiver's. The above results are further explained via degraded Gaussian and Gaussian fading examples.


title: Qubit assisted enhancement of quantum correlations in an optomechanical system

abstract: We perform a theoretical study on quantum correlations in an optomechanical system where the mechanical mirror is perturbatively coupled to an auxiliary qubit. In our study, we consider logarithmic negativity to quantify the degree of stationary entanglement between the cavity field and mechanical mirror, and, Gaussian quantum discord as an witness of the quantumness of the correlation beyond entanglement. Utilizing experimentally feasible parameters, we show that both entanglement and quantum discord enhance significantly with increase in mirror-qubit coupling. Moreover, we find that in presence of the mirror-qubit coupling entanglement could be generated at a considerably lower optomechanical coupling strength, which is also extremely robust against the environmental temperature. Overall, our proposed scheme offers some considerable advantages for realizing the continuous-variable quantum information and communication.


title: Colored-hadron distribution in hadron scattering in SU(2) lattice QCD

abstract: In color SU(2) lattice QCD, we investigate colored-diquark distributions in two-hadron scatterings by means of Bethe-Salpeter amplitudes on the lattice. With colored-diquark operators in the Coulomb gauge, we measure components of two colored diquarks realized as intermediate states via one gluon exchange (OGE) processes in hadron scattering. From the colored-diquark distributions, we estimate the dominant range of gluon (color) exchanges between closely located two hadrons. We find that the colored-diquark components are enhanced at the short range ($\leq$0.2 fm) and their tails show the single-exponential damping. In order to distinguish the genuine colored-diquark components originating in the color exchange processes from trivial colored two-quark components contained in two color-singlet hadrons as a result of simple transformation of hadronic basis, we repeat the analyses on the artificially constructed gauge fields, where low- and high-momentum gluon components are decoupled and only restricted pair of quarks can share and exchange low-momentum gluons. We observe qualitatively the same behaviors and confirm that the short-range enhancement of the colored-diquark distributions is the genuine OGE-origin color excitation in hadron scattering.


title: Approximation of the weighted maximin dispersion problem over Lp-ball: SDP relaxation is misleading

abstract: Consider the problem of finding a point in a unit $n$-dimensional $\ell_p$-ball ($p\ge 2$) such that the minimum of the weighted Euclidean distance from given $m$ points is maximized. We show in this paper that the recent SDP-relaxation-based approximation algorithm [SIAM J. Optim. 23(4), 2264-2294, 2013] will not only provide the first theoretical approximation bound of $\frac{1-O\left(\sqrt{ \ln(m)/n}\right)}{2}$, but also perform much better in practice, if the SDP relaxation is removed and the optimal solution of the SDP relaxation is replaced by a simple scalar matrix.


title: Weakly True Concurrency and Its Logic

abstract: We firstly find the existence of silent event $\tau$ in true concurrency (named weakly true concurrency) by defining weakly true concurrent behaviors and weakly true concurrent logics. Based on Paolo Baldan and Silvia Crafa's comprehensive work on (strongly) true concurrency, we find the correspondence between weakly true concurrent equivalences and weakly true concurrent logics.


title: Non-Coherent Direction of Arrival Estimation via Frequency Estimation

abstract: This letter investigates the non-coherent Direction of Arrival (DOA) estimation problem dealing with the DOA estimation from magnitude only measurements of the array output. The magnitude squared of the array output is expanded as a superposition of some harmonics. Hence, a frequency estimation approach is used to find some nonlinear relations between DOAs, which results in inherent ambiguities. To solve the nonlinear equations and resolve the ambiguities, we assume a high amplitude reference target at low angles to estimate the true DOA's with no ambiguities. However, the proposed algorithm requires a large number of antenna array elements to accurately estimate the DOA's. To overcome this drawback, and to enhance the estimation accuracy, we suggest two variants of the algorithm. One is to add virtual elements in the array and the second is to integrate multiple snapshots. Simulation results show that the proposed frequency estimation-based algorithm outperforms the non-coherent GESPAR algorithm in the low signal to noise ratio (SNR) regime and it is two orders of magnitude faster than the non-coherent GESPAR algorithm.


title: A Novel Framework to Expedite Systematic Reviews by Automatically Building Information Extraction Training Corpora

abstract: A systematic review identifies and collates various clinical studies and compares data elements and results in order to provide an evidence based answer for a particular clinical question. The process is manual and involves lot of time. A tool to automate this process is lacking. The aim of this work is to develop a framework using natural language processing and machine learning to build information extraction algorithms to identify data elements in a new primary publication, without having to go through the expensive task of manual annotation to build gold standards for each data element type. The system is developed in two stages. Initially, it uses information contained in existing systematic reviews to identify the sentences from the PDF files of the included references that contain specific data elements of interest using a modified Jaccard similarity measure. These sentences have been treated as labeled data.A Support Vector Machine (SVM) classifier is trained on this labeled data to extract data elements of interests from a new article. We conducted experiments on Cochrane Database systematic reviews related to congestive heart failure using inclusion criteria as an example data element. The empirical results show that the proposed system automatically identifies sentences containing the data element of interest with a high recall (93.75%) and reasonable precision (27.05% - which means the reviewers have to read only 3.7 sentences on average). The empirical results suggest that the tool is retrieving valuable information from the reference articles, even when it is time-consuming to identify them manually. Thus we hope that the tool will be useful for automatic data extraction from biomedical research publications. The future scope of this work is to generalize this information framework for all types of systematic reviews.


title: Study of open clusters within 1.8 kpc and understanding the Galactic structure

abstract: Based on an almost complete sample of Galactic open star clusters within 1.8 kpc, we perform a comprehensive statistical analysis of various cluster parameters like spatial position, age, size, mass and extinction in order to understand the general properties of the open cluster system in the Galaxy and the Galactic structure. Based on the distribution of 1241 open clusters about the Galactic plane and in different age bins, we find the average Galactic scale height as Zh = 60+/-2 pc for the youngest cluster population having Age <700 Myr, however, it increases up to 64+/-2 pc when we also include older population of clusters. The solar offset is found to be 6.2+/-1.1 pc above the formal Galactic plane. We derive a local mass density of \rho_0 = 0.090+/-0.005 Msun/pc^3 and found a negligibly small amount of dark matter in the solar neighbourhood. The reddening in the direction of clusters suggests a strong correlation with their vertical distance from the Galactic plane having a respective slope of dE(B-V)/dz = 0.40+/-0.04 and 0.42+/-0.05 mag/kpc below and above the GP. We observe a linear mass-radius and mass-age relations in the open clusters and derive a slope of dR/d(logM) = 2.08+/-0.10 and d(logM)/d(logT) = -0.36+/-0.05,respectively.


title: The hot Gamma-Doradus and Maia stars

abstract: The hot $\gamma$~Doradus stars have multiple low frequencies characteristic of $\gamma$~Dor or SPB variables, but are located between the red edge of the SPB and the blue edge of the $\gamma$~Dor instability strips where all low-frequency modes are stable in current models of these stars. Though $\delta$~Sct stars also have low frequencies, there is no sign of high frequencies in hot $\gamma$~Dor stars. We obtained spectra to refine the locations of some of these stars in the H-R diagram and conclude that these are, indeed, anomalous pulsating stars. The Maia variables have multiple high frequencies characteristic of $\beta$~Cep and $\delta$~Sct stars, but lie between the red edge of the $\beta$~Cep and the blue edge of the $\delta$~Sct instability strips. We compile a list of all Maia candidates and obtain spectra of two of these stars. Again, it seems likely that these are anomalous pulsating stars which are currently not understood.


title: Clustering with Capacity and Size Constraints: A Deterministic Approach

abstract: This paper discusses a deterministic clustering approach to capacitated resource allocation problems. In particular, the Deterministic Annealing (DA) algorithm from the data-compression literature, which bears a distinct analogy to the phase transformation under annealing process in statistical physics, is adapted to address problems pertaining to clustering with several forms of size constraints. These constraints are addressed through appropriate modifications of the basic DA formulation by judiciously adjusting the free-energy function in the DA algorithm. At a given value of the annealing parameter, the iterations of the DA algorithm are of the form of a Descent Method, which motivate scaling principles for faster convergence.


title: All $\alpha+u\beta$-constacyclic codes of length $np^{s}$ over $\mathbb{F}_{p^{m}}+u\mathbb{F}_{p^{m}}$

abstract: Let $\mathbb{F}_{p^{m}}$ be a finite field with cardinality $p^{m}$ and $R=\mathbb{F}_{p^{m}}+u\mathbb{F}_{p^{m}}$ with $u^{2}=0$. We aim to determine all $\alpha+u\beta$-constacyclic codes of length $np^{s}$ over $R$, where $\alpha,\beta\in\mathbb{F}_{p^{m}}^{*}$, $n, s\in\mathbb{N}_{+}$ and $\gcd(n,p)=1$. Let $\alpha_{0}\in\mathbb{F}_{p^{m}}^{*}$ and $\alpha_{0}^{p^{s}}=\alpha$. The residue ring $R[x]/\langle x^{np^{s}}-\alpha-u\beta\rangle$ is a chain ring with the maximal ideal $\langle x^{n}-\alpha_{0}\rangle$ in the case that $x^{n}-\alpha_{0}$ is irreducible in $\mathbb{F}_{p^{m}}[x]$. If $x^{n}-\alpha_{0}$ is reducible in $\mathbb{F}_{p^{m}}[x]$, we give the explicit expressions of the ideals of $R[x]/\langle x^{np^{s}}-\alpha-u\beta\rangle$. Besides, the number of codewords and the dual code of every $\alpha+u\beta$-constacyclic code are provided.


title: The Gap of the Consecutive Eigenvalues of the Drifting Laplacian on Metric Measure Spaces

abstract: In this paper, we investigate eigenvalues of the Dirichlet problem and the closed eigenvalue problem of drifting Laplacian on the complete metric measure spaces and establish the corresponding general formulas. By using those general formulas, we give some upper bounds of consecutive gap of the eigenvalues of the eigenvalue problems, which is sharp in the sense of the order of the eigenvalues. As some interesting applications, we study the eigenvalue of drifting Laplacian on Ricci solitons, self-shrinkers and product Riemannian manifolds. We give the explicit upper bounds of the gap of the consecutive eigenvalues of the drifting Laplacian. Since eigenvalues is invariant in the sense of isometry, by the classifications of Ricci solitons and self-shrinkers, we give the explicit upper bounds for the consecutive eigenvalues of the drifting Laplacian on a large class metric measure spaces. In addition, we also consider the case of product Riemannian manifolds with certain curvature conditions and some upper bounds are obtained. Basing on the case of Laplace operator, we also present a conjecture as follows: all of the eigenvalues of the Dirichlet problem of drifting Laplacian on metric measure spaces satisfy: $$\lambda_{k+1}-\lambda_{k}\leq(\lambda_{2}-\lambda_{1})k^{\frac{1}{n}}.$$We note the conjecture is true in some special cases.


title: New halo stars of the Galactic globular clusters M3 and M13 in the LAMOST DR1 Catalog

abstract: M3 and M13 are Galactic globular clusters with previous reports of surrounding stellar halos. We present the results of a search for members and extratidal cluster halo stars within and outside of the tidal radius of these clusters in the LAMOST Data Release 1. We find seven candidate cluster members (inside the tidal radius) of both M3 and M13 respectively. In M3 we also identify eight candidate extratidal cluster halo stars at distances up to ~9.8 times the tidal radius, and in M13 we identify 12 candidate extratidal cluster halo stars at distances up to ~13.8 times the tidal radius. These results support previous indications that both M3 and M13 are surrounded by extended stellar halos, and we find that the GC destruction rates corresponding to the observed mass loss are generally significantly higher than theoretical studies predict.


title: Optical and Radio variability of the Northern VHE gamma-ray emitting BL Lac objects

abstract: We compare the variability properties of very high energy gamma-ray emitting BL Lac objects in the optical and radio bands. We use the variability information to distinguish multiple emission components in the jet, to be used as a guidance for spectral energy distribution modelling. Our sample includes 32 objects in the Northern sky that have data for at least 2 years in both bands. We use optical R-band data from the Tuorla blazar monitoring program and 15 GHz radio data from the Owens Valley Radio Observatory blazer monitoring program. We estimate the variability amplitudes using the intrinsic modulation index, and study the time-domain connection by cross-correlating the optical and radio light curves assuming power law power spectral density. Our sample objects are in general more variable in the optical than radio. We find correlated flares in about half of the objects, and correlated long-term trends in more than 40% of the objects. In these objects we estimate that at least 10%-50% of the optical emission originates in the same emission region as the radio, while the other half is due to faster variations not seen in the radio. This implies that simple single-zone spectral energy distribution models are not adequate for many of these objects.


title: Nanoparticle Translocation through Conical Nanopores: A Finite Element Study of Electrokinetic Transport

abstract: Recent years have seen a surge of interest in nanopores because such structures show a strong potential for characterizing nanoparticles, proteins, DNA, and even single molecules. These systems have been extensively studied in experiment as well as by all-atom and coarse-grained simulations, with a strong focus on DNA translocation. However, the equally interesting problem of particle characterization using nanopores has received far less attention. Here, we theoretically investigate the translocation of a nanoparticle through a conical nanocapillary. We use a model based on numerically solving the coupled system of electrokinetic continuum equations, which we introduce in detail. Based on our findings, we formulate basic guidelines for obtaining the maximum current signal during the translocation event, which should be transferable to other nanopore geometries. In addition, the dependence of the signal strength on particle properties, such as surface charge and size, is evaluated. Finally, we identify conditions under which the translocation is prevented by the formation of a strong electro-osmotic barrier and show that the particle may even become trapped at the pore orifice, without imposing an external hydrostatic pressure difference.


title: Mechanism of High-Order Harmonic Generation from Periodic Potentials

abstract: We study numerically the Bloch electron wave-packet dynamics in periodic potentials to simulate laser-solid interactions. We introduce a quasi-classical model in the \emph{k} space combined with the energy band structure to understand the high-order harmonic generation (HHG) process occurring in a subcycle timescale. This model interprets the multiple plateau structure in HHG spectra well and the linear dependence of cutoff energies on the amplitude of vector potential of the laser fields. It also predicts the emission time of HHG, which agrees well with the results by solving the time-dependent Schr\"{o}dinger equation (TDSE). It provides a scheme to reconstruct the energy dispersion relations in Brillouin zone and to control the trajectories of HHG by varying the shape of laser pulses. This model is instructive for experimental measurements.


title: The Schema Editor of OpenIoT for Semantic Sensor Networks

abstract: Ontologies provide conceptual abstractions over data, in domains such as the Internet of Things, in a way that sensor data can be harvested and interpreted by people and applications. The Semantic Sensor Network (SSN) ontology is the de-facto standard for semantic representation of sensor observations and metadata, and it is used at the core of the open source platform for the Internet of Things, OpenIoT. In this paper we present a Schema Editor that provides an intuitive web interface for defining new types of sensors, and concrete instances of them, using the SSN ontology as the core model. This editor is fully integrated with the OpenIoT platform for generating virtual sensor descriptions and automating their semantic annotation and registration process.


title: Adsorption and STM imaging of tetracyanoethylene on Ag(001): An ab-initio study

abstract: We investigate the adsorption of a single tetracyanoethylene (TCNE) molecule on the silver (001) surface. Adsorption structures, electronic properties, and scanning tunneling microscopy (STM) images are calculated within density-functional theory. Adsorption occurs most favorably in on-top configuration, with the C=C double bond directly above a silver atom and the four N atoms bound to four neighboring Ag atoms. The lowest unoccupied molecular orbital of TCNE becomes occupied due to electron transfer from the substrate. This state dominates the electronic spectrum and the STM image at moderately negative bias. We discuss and employ a spatial extrapolation technique for the calculation of STM and scanning tunneling spectroscopy (STS) images. Our calculated images are in good agreement with experimental data.


title: On the derivation of the Hartree equation in the mean field limit: Uniformity in the Planck constant

abstract: In this paper the Hartree equation is derived from the $N$-body Schr\''odinger equation in the mean-field limit, with convergence rate estimates that are uniform in the Planck constant $\hbar$. Specifically, we consider the two following cases:(a) T\''oplitz initial data and Lipschitz interaction forces, and (b) analytic initial data and interaction potential, over short time intervals independent of $\hbar$. The convergence rates in these two cases are $1/\sqrt{\log\log N}$ and $1/N$ respectively. The treatment of the second case is entirely self-contained and all the constants appearing in the final estimate are explicit. It provides a derivation of the Vlasov equation from the $N$-body classical dynamics using BBGKY hierarchies instead of empirical measures.


title: Efficient 2D and 3D Facade Segmentation using Auto-Context

abstract: This paper introduces a fast and efficient segmentation technique for 2D images and 3D point clouds of building facades. Facades of buildings are highly structured and consequently most methods that have been proposed for this problem aim to make use of this strong prior information. Contrary to most prior work, we are describing a system that is almost domain independent and consists of standard segmentation methods. We train a sequence of boosted decision trees using auto-context features. This is learned using stacked generalization. We find that this technique performs better, or comparable with all previous published methods and present empirical results on all available 2D and 3D facade benchmark datasets. The proposed method is simple to implement, easy to extend, and very efficient at test-time inference.


title: Equivalence of finite dimensional input-output models of solute transport and diffusion in geosciences

abstract: We show that for a large class of finite dimensional input-output positive systems that represent networks of transport and diffusion of solute in geological media, there exist equivalent multi-rate mass transfer and multiple interacting continua representations, which are quite popular in geo-sciences. Moreover, we provide explicit methods to construct these equivalent representations. The proofs show that controllability property is playing a crucial role for obtaining equivalence. These results contribute to our fundamental understanding on the effect of fine-scale geological structures on the transfer and dispersion of solute, and, eventually, on their interaction with soil microbes and minerals.


title: Social-sparsity brain decoders: faster spatial sparsity

abstract: Spatially-sparse predictors are good models for brain decoding: they give accurate predictions and their weight maps are interpretable as they focus on a small number of regions. However, the state of the art, based on total variation or graph-net, is computationally costly. Here we introduce sparsity in the local neighborhood of each voxel with social-sparsity, a structured shrinkage operator. We find that, on brain imaging classification problems, social-sparsity performs almost as well as total-variation models and better than graph-net, for a fraction of the computational cost. It also very clearly outlines predictive regions. We give details of the model and the algorithm.


title: On three-dimensional plasmon resonance in elastostatics

abstract: We consider the plasmon resonance for the elastostatic system in $\mathbb{R}^3$ associated with a very broad class of sources. The plasmonic device takes a general core-shell-matrix form with the metamaterial located in the shell. It is shown that the plasmonic device in the literature which induces resonance in $\mathbb{R}^2$ does not induce resonance in $\mathbb{R}^3$. We then construct two novel plasmonic devices with suitable plasmon constants, varying according to the source term or the loss parameter, which can induce resonances. If there is no core, we show that resonance always occurs. If there is a core of an arbitrary shape, we show that the resonance strongly depends on the location of the source. In fact, there exists a critical radius such that resonance occurs for sources lying within the critical radius, whereas resonance does not occur for source lying outside the critical radius. Our argument is based on the variational technique by making use of the primal and dual variational principles for the elastostatic system, along with the highly technical construction of the associated perfect plasmon elastic waves.


title: Nucleon structure functions and longitudinal spin asymmetries in the chiral quark constituent model

abstract: We have analysed the phenomenological dependence of the spin independent ($F_1^{p,n}$ and $F_2^{p,n}$) and the spin dependent ($g_1^{p,n}$) structure functions of the nucleon on the the Bjorken scaling variable $x$ using the unpolarized distribution functions of the quarks $q(x)$ and the polarized distribution functions of the quarks $\Delta q(x)$ respectively. The chiral constituent quark model ($\chi$CQM), which is known to provide a satisfactory explanation of the proton spin crisis and related issues in the nonperturbative regime, has been used to compute explicitly the valence and sea quark flavor distribution functions of $p$ and $n$. In light of the improved precision of the world data, the $p$ and $n$ longitudinal spin asymmetries ($A_1^p(x)$ and $A_1^n(x)$) have been calculated. The implication of the presence of the sea quarks has been discussed for ratio of polarized to unpolarized quark distribution functions for up and down quarks in the $p$ and $n$ $\frac{\Delta u^p(x)}{u^p(x)}$, $\frac{\Delta d^p(x)}{d^p(x)}$, $\frac{\Delta u^n(x)}{u^n(x)}$, and $\frac{\Delta d^n(x)}{d^n(x)}$. The ratio of the $n$ and $p$ structure functions $R^{np}(x)=\frac{F_2^n(x)}{F_2^p(x)}$ has also been presented. The results have been compared with the recent available experimental observations. The results on the spin sum rule have also been included and compared with data and other recent approaches.


title: Conjugation Properties of Tensor Product and Fusion Coefficients

abstract: We review some recent results on properties of tensor product and fusion coefficients under complex conjugation of one of the factors. Some of these results have been proven, some others are conjectures awaiting a proof, one of them involving hitherto unnoticed observations on ordinary representation theory of finite simple groups of Lie type


title: An active efficient coding model of the optokinetic nystagmus

abstract: Optokinetic nystagmus (OKN) is an involuntary eye movement responsible for stabilizing retinal images in the presence of relative motion between an observer and the environment. Fully understanding the development of optokinetic nystagmus requires a neurally plausible computational model that accounts for the neural development and the behavior. To date, work in this area has been limited. We propose a neurally plausible framework for the joint development of disparity and motion tuning in the visual cortex, the optokinetic and vergence eye movements. This framework models the joint emergence of both perception and behavior, and accounts for the importance of the development of normal vergence control and binocular vision in achieving normal monocular OKN (mOKN) behaviors. Because the model includes behavior, we can simulate the same perturbations as performed in past experiments, such as artificially induced strabismus. The proposed model agrees both qualitatively and quantitatively with a number of findings from the literature on both binocular vision as well as the optokinetic reflex. Finally, our model also makes quantitative predictions about the OKN behavior using the same methods used to characterize the OKN in the experimental literature.


title: On the 2-linearity of the free group

abstract: We construct an action of the free group $F_n$ on the homotopy category of projective modules over a finite dimensional zigzag algebra. The main theorem in the paper is that this action is faithful. We describe the relationship between homotopy classes of paths in the punctured disc and complexes of projective zigzag modules and explore the connection between gradings on the zigzag algebra and monoids in $F_n$. We use this connection to give homological constructions of the standard and Bessis dual word length metrics on the free group.


title: Proposal for a spin MOSFET based on spin gapless semiconductors

abstract: We propose a spintronic metal oxide semiconductor field effect transistor (spin MOSFET) where a spin gapless semiconductor (SGS) constitutes the channel and the drain is a ferromagnetic metal. SGS exhibit a non-zero band gap in only one of the spin sub-bands and feature complete spin polarization at finite temperature. We present an analytical model of the device and comment the properties relevant for devices applications. Our results boost SGS as a new paradigm for the spin MOSFET concept.


title: Compact Galactic Planetary Nebulae: A HST/WFC3 Morphological Catalog, and a Study of their Role in the Galaxy

abstract: We present the images of a \textit{Hubble Space Telescope} (\textit{HST}/WFC3) snapshot program of angularly compact Galactic planetary nebulae (PNe), acquired with the aim of studying their size, evolutionary status, and morphology. PNe that are smaller than $\sim4\arcsec$ are underrepresented in most morphological studies, and today they are less well studied than their immediate evolutionary predecessors, the pre-planetary nebulae. The images have been acquired in the light of [\ion{O}{3}]$\lambda5007$, which is commonly used to classify the PN morphology, in the UV continuum with the aim of detecting the central star unambiguously, and in the $I-$band to detect a cool stellar companion, if present. The sample of 51 confirmed PNe exhibits nearly the full range of primary morphological classes, with the distribution more heavily weighted toward bipolar PNe, but with total of aspherical PNe almost identical to that of the general Galactic sample. A large range of microstructures is evident in our sample as well, with many nebulae displaying attached shells, halos, ansae, and internal structure in the form of arcs, rings, and spirals. Various aspherical structures in a few PNe, including detached arcs, suggest an interaction with the ISM. We studied the observed sample of compact Galactic PNe in the context of the general Galactic PN population, and explore whether their physical size, spatial distribution, reddening, radial metallicity gradient, and possible progenitors, are peculiar within the population of Galactic PNe. We found that these compact Galactic PNe, which have been selected based on apparent dimensions, constitute a diverse Galactic PN population that is relatively uniformly distributed across the Galactic disk, including the outskirts of our Galaxy. This unique sample will be used in the future to probe the old Galactic disk population.


title: Outlier Edge Detection Using Random Graph Generation Models and Applications

abstract: Outliers are samples that are generated by different mechanisms from other normal data samples. Graphs, in particular social network graphs, may contain nodes and edges that are made by scammers, malicious programs or mistakenly by normal users. Detecting outlier nodes and edges is important for data mining and graph analytics. However, previous research in the field has merely focused on detecting outlier nodes. In this article, we study the properties of edges and propose outlier edge detection algorithms using two random graph generation models. We found that the edge-ego-network, which can be defined as the induced graph that contains two end nodes of an edge, their neighboring nodes and the edges that link these nodes, contains critical information to detect outlier edges. We evaluated the proposed algorithms by injecting outlier edges into some real-world graph data. Experiment results show that the proposed algorithms can effectively detect outlier edges. In particular, the algorithm based on the Preferential Attachment Random Graph Generation model consistently gives good performance regardless of the test graph data. Further more, the proposed algorithms are not limited in the area of outlier edge detection. We demonstrate three different applications that benefit from the proposed algorithms: 1) a preprocessing tool that improves the performance of graph clustering algorithms; 2) an outlier node detection algorithm; and 3) a novel noisy data clustering algorithm. These applications show the great potential of the proposed outlier edge detection techniques.


title: Brown dwarf disks with ALMA: evidence for truncated dust disks in Ophiuchus

abstract: The study of the properties of disks around young brown dwarfs can provide important clues on the formation of these very low-mass objects and on the possibility of forming planetary systems around them. The presence of warm dusty disks around brown dwarfs is well known, based on near- and mid-infrared studies. High angular resolution observations of the cold outer disk are limited; we used ALMA to attempt a first survey of young brown dwarfs in the $\rho$-Oph star-forming region. All 17 young brown dwarfs in our sample were observed at 890 $\mu $m in the continuum at $\sim0.\!^{\prime\prime}5$ angular resolution. The sensitivity of our observations was chosen to detect $\sim0.5$ M$_\oplus$ of dust. We detect continuum emission in 11 disks ($\sim65$\%\ of the total), and the estimated mass of dust in the detected disks ranges from $\sim0.5$ to $\sim6$ M$_\oplus$. These disk masses imply that planet formation around brown dwarfs may be relatively rare and that the supra-Jupiter mass companions found around some brown dwarfs are probably the result of a binary system formation. We find evidence that the two brightest disks in $\rho$-Oph have sharp outer edges at R<~25 AU, in contrast to disks around Taurus brown dwarfs. This difference may suggest that the different environment in $\rho$-Oph may lead to significant differences in disk properties. A comparison of the M$_{disk}$/M$_\ast$ ratio for brown dwarf and solar-mass systems also shows a possible deficit of mass in brown dwarfs, which could support the evidence for dynamical truncation of disks in the substellar regime. These findings are still tentative and need to be put on firmer grounds by studying the gaseous disks around brown dwarfs and by performing a more systematic and unbiased survey of the disk population around the more massive stars.


title: A Torelli type theorem for exp-algebraic curves

abstract: An exp-algebraic curve consists of a compact Riemann surface $S$ together with $n$ equivalence classes of germs of meromorphic functions modulo germs of holomorphic functions, $\HH = \{ [h_1], \cdots, [h_n] \}$, with poles of orders $d_1, \cdots, d_n \geq 1$ at points $p_1, \cdots, p_n$. This data determines a space of functions $\OO_{\HH}$ (respectively, a space of $1$-forms $\Omega^0_{\HH}$) holomorphic on the punctured surface $S' = S - \{p_1, \cdots, p_n\}$ with exponential singularities at the points $p_1, \cdots, p_n$ of types $[h_1], \cdots, [h_n]$, i.e., near $p_i$ any $f \in \OO_{\HH}$ is of the form $f = ge^{h_i}$ for some germ of meromorphic function $g$ (respectively, any $\omega \in \Omega^0_{\HH}$ is of the form $\omega = \alpha e^{h_i}$ for some germ of meromorphic $1$-form). For any $\omega \in \Omega^0_{\HH}$ the completion of $S'$ with respect to the flat metric $|\omega|$ gives a space $S^* = S' \cup \RR$ obtained by adding a finite set $\RR$ of $\sum_i d_i$ points, and it is known that integration along curves produces a nondegenerate pairing of the relative homology $H_1(S^*, \RR ; \C)$ with the deRham cohomology group defined by $H^1_{dR}(S, \HH) := \Omega^0_{\HH}/d\OO_{\HH}$. There is a degree zero line bundle $L_{\HH}$ associated to an exp-algebraic curve, with a natural isomorphism between $\Omega^0_{\HH}$ and the space $W_{\HH}$ of meromorphic $L_{\HH}$-valued $1$-forms which are holomorphic on $S'$, so that $H_1(S^*, \RR ; \C)$ maps to a subspace $K_{\HH} \subset W^*_{\HH}$. We show that the exp-algebraic curve $(S, \HH)$ is determined uniquely by the pair $(L_{\HH},\, K_{\HH} \subset W^*_{\HH})$.


title: Limited Random Walk Algorithm for Big Graph Data Clustering

abstract: Graph clustering is an important technique to understand the relationships between the vertices in a big graph. In this paper, we propose a novel random-walk-based graph clustering method. The proposed method restricts the reach of the walking agent using an inflation function and a normalization function. We analyze the behavior of the limited random walk procedure and propose a novel algorithm for both global and local graph clustering problems. Previous random-walk-based algorithms depend on the chosen fitness function to find the clusters around a seed vertex. The proposed algorithm tackles the problem in an entirely different manner. We use the limited random walk procedure to find attracting vertices in a graph and use them as features to cluster the vertices. According to the experimental results on the simulated graph data and the real-world big graph data, the proposed method is superior to the state-of-the-art methods in solving graph clustering problems. Since the proposed method uses the embarrassingly parallel paradigm, it can be efficiently implemented and embedded in any parallel computing environment such as a MapReduce framework. Given enough computing resources, we are capable of clustering graphs with millions of vertices and hundreds millions of edges in a reasonable time.


title: High Level Synthesis with a Dataflow Architectural Template

abstract: In this work, we present a new approach to high level synthesis (HLS), where high level functions are first mapped to an architectural template, before hardware synthesis is performed. As FPGA platforms are especially suitable for implementing streaming processing pipelines, we perform transformations on conventional high level programs where they are turned into multi-stage dataflow engines [1]. This target template naturally overlaps slow memory data accesses with computations and therefore has much better tolerance towards memory subsystem latency. Using a state-of-the-art HLS tool for the actual circuit generation, we observe up to 9x improvement in overall performance when the dataflow architectural template is used as an intermediate compilation target.


title: Reliability-Aware Overlay Architectures for FPGAs: Features and Design Challenges

abstract: The FPGA overlay architectures have been mainly proposed to improve design productivity, circuit portability and system debugging. In this paper, we address the use of overlay architectures for building fault tolerant SRAM-based FPGA systems and discuss the main features and design challenges of a reliability-aware overlay architecture.


title: Nash estimates and upper bounds for non-homogeneous Kolmogorov equations

abstract: We prove a Gaussian upper bound for the fundamental solutions of a class of ultra-parabolic equations in divergence form. The bound is independent on the smoothness of the coefficients and generalizes some classical results by Nash, Aronson and Davies. The class considered has relevant applications in the theory of stochastic processes, in physics and in mathematical finance.


title: Soft GPGPUs for Embedded FPGAs: An Architectural Evaluation

abstract: We present a customizable soft architecture which allows for the execution of GPGPU code on an FPGA without the need to recompile the design. Issues related to scaling the overlay architecture to multiple GPGPU multiprocessors are considered along with application-class architectural optimizations. The overlay architecture is optimized for FPGA implementation to support efficient use of embedded block memories and DSP blocks. This architecture supports direct CUDA compilation of integer computations to a binary which is executable on the FPGA-based GPGPU. The benefits of our architecture are evaluated for a collection of five standard CUDA benchmarks which are compiled using standard GPGPU compilation tools. Speedups of 44x, on average, versus a MicroBlaze microprocessor are achieved. We show dynamic energy savings versus a soft-core processor of 80% on average. Application-customized versions of the soft GPGPU can be used to further reduce dynamic energy consumption by an average of 14%.


title: Generalisations of Fisher Matrices

abstract: Fisher matrices play an important role in experimental design and in data analysis. Their primary role is to make predictions for the inference of model parameters - both their errors and covariances. In this short review, I outline a number of extensions to the simple Fisher matrix formalism, covering a number of recent developments in the field. These are: (a) situations where the data (in the form of (x,y) pairs) have errors in both x and y; (b) modifications to parameter inference in the presence of systematic errors, or through fixing the values of some model parameters; (c) Derivative Approximation for LIkelihoods (DALI) - higher-order expansions of the likelihood surface, going beyond the Gaussian shape approximation; (d) extensions of the Fisher-like formalism, to treat model selection problems with Bayesian evidence.


title: Extension of the constant exchange probability method to multi-dimensional replica exchange Monte Carlo applied to the tri-critical spin-1 Blume-Capel model

abstract: In replica exchange Monte Carlo (REM), tuning of the temperature set and the exchange scheduling are crucial in improving the accuracy and reducing calculation time. In multi-dimensional simulated tempering, the first order phase transition is accessible. Therefore it is important to study the tuning of parameter set and the scheduling of exchanges in the parallel counterpart, the multi-dimensional REM. We extend Hukushima's constant exchange probability method to multi-dimensional REM for the parameter set. We further propose a combined method to use this set and the Bittner-Nussbaumer-Janke's PT tau algorithm for scheduling. We test the proposed method in two-dimensional spin-1 Blume-Capel model and find that it works efficiently, including the vicinity of the first order phase transition.


title: Enabling Effective FPGA Debug using Overlays: Opportunities and Challenges

abstract: FPGAs are going mainstream. Major companies that were not traditionally FPGA-focused are now seeking ways to exploit the benefits of reconfigurable technology and provide it to their customers. In order to do so, a debug ecosystem that provides for effective visibility into a working design and quick debug turn-around times is essential. Overlays have the opportunity to play a key role in this ecosystem. In this overview paper, we discuss how an overlay fabric that allows the user to rapidly add debug instrumentation to a design can be created and exploited. We discuss the requirements of such an overlay and some of the research challenges and opportunities that need to be addressed. To make our exposition concrete, we use two previously-published examples of overlays that have been developed to implement debug instrumentation.


title: Hydrodynamic interaction between particles near elastic interfaces

abstract: We present an analytical calculation of the hydrodynamic interaction between two spherical particles near an elastic interface such as a cell membrane. The theory predicts the frequency dependent self- and pair-mobilities accounting for the finite particle size up to the 5th order in the ratio between particle diameter and wall distance as well as between diameter and interparticle distance. We find that particle motion towards a membrane with pure bending resistance always leads to mutual repulsion similar as in the well-known case of a hard-wall. In the vicinity of a membrane with shearing resistance, however, we observe an attractive interaction in a certain parameter range which is in contrast to the behavior near a hard wall. This attraction might facilitate surface chemical reactions. Furthermore, we show that there exists a frequency range in which the pair-mobility for perpendicular motion exceeds its bulk value, leading to short-lived superdiffusive behavior. Using the analytical particle mobilities we compute collective and relative diffusion coefficients. The appropriateness of the approximations in our analytical results is demonstrated by corresponding boundary integral simulations which are in excellent agreement with the theoretical predictions.


title: Non-parametric threshold estimation for classical risk process perturbed by diffusion

abstract: In this paper,we consider a macro approximation of the flow of a risk reserve, The process is observed at discrete time points. Because we cannot directly observe each jump time and size then we will make use of a technique for identifying the times when jumps larger than a suitably defined threshold occurred. We estimate the jump size and survival probability of our risk process from discrete observations.


title: An Area-Efficient FPGA Overlay using DSP Block based Time-multiplexed Functional Units

abstract: Coarse grained overlay architectures improve FPGA design productivity by providing fast compilation and software-like programmability. Throughput oriented spatially configurable overlays typically suffer from area overheads due to the requirement of one functional unit for each compute kernel operation. Hence, these overlays have often been of limited size, supporting only relatively small compute kernels while consuming considerable FPGA resources. This paper examines the possibility of sharing the functional units among kernel operations for reducing area overheads. We propose a linear interconnected array of time-multiplexed FUs as an overlay architecture with reduced instruction storage and interconnect resource requirements, which uses a fully-pipelined, architecture-aware FU design supporting a fast context switching time. The results presented show a reduction of up to 85% in FPGA resource requirements compared to existing throughput oriented overlay architectures, with an operating frequency which approaches the theoretical limit for the FPGA device.


title: Neighborhood Mixture Model for Knowledge Base Completion

abstract: Knowledge bases are useful resources for many natural language processing tasks, however, they are far from complete. In this paper, we define a novel entity representation as a mixture of its neighborhood in the knowledge base and apply this technique on TransE-a well-known embedding model for knowledge base completion. Experimental results show that the neighborhood information significantly helps to improve the results of the TransE model, leading to better performance than obtained by other state-of-the-art embedding models on three benchmark datasets for triple classification, entity prediction and relation prediction tasks.


title: On the quantum spin glass transition on the Bethe lattice

abstract: We investigate the ground-state properties of a disorderd Ising model with uniform transverse field on the Bethe lattice, focusing on the quantum phase transition from a paramagnetic to a glassy phase that is induced by reducing the intensity of the transverse field. We use a combination of quantum Monte Carlo algorithms and exact diagonalization to compute R\'enyi entropies, quantum Fisher information, correlation functions and order parameter. We locate the transition by means of the peak of the R\'enyi entropy and we find agreement with the transition point estimated from the emergence of finite values of the Edwards-Anderson order parameter and from the peak of the correlation length. We interpret the results by means of a mean-field theory in which quantum fluctuations are treated as massive particles hopping on the interaction graph. We see that the particles are delocalized at the transition, a fact that points towards the existence of possibly another transition deep in the glassy phase where these particles localize, therefore leading to a many-body localized phase.


title: Physical realization of a quantum spin liquid based on a novel frustration mechanism

abstract: Unlike conventional magnets where the magnetic moments are partially or completely static in the ground state, in a quantum spin liquid they remain in collective motion down to the lowest temperatures. The importance of this state is that it is coherent and highly entangled without breaking local symmetries. Such phenomena is usually sought in simple lattices where antiferromagnetic interactions and/or anisotropies that favor specific alignments of the magnetic moments are "frustrated" by lattice geometries incompatible with such order e.g. triangular structures. Despite an extensive search among such compounds, experimental realizations remain very few. Here we describe the investigation of a novel, unexplored magnetic system consisting of strong ferromagnetic and weaker antiferromagnetic isotropic interactions as realized by the compound Ca$_{10}$Cr$_7$O$_{28}$. Despite its exotic structure we show both experimentally and theoretically that it displays all the features expected of a quantum spin liquid including coherent spin dynamics in the ground state and the complete absence of static magnetism.


title: A degenerate chemotaxis system with flux limitation: Finite-time blow-up

abstract: This paper is concerned with radially symmetric solutions of the parabolic-elliptic version of the Keller-Segel system with flux limitation, as given by \begin{equation} \left\{ \begin{array}{l} \displaystyle u_t=\nabla \cdot \Big(\frac{u\nabla u}{\sqrt{u^2+|\nabla u|^2}}\Big) - \chi \, \nabla \cdot \Big(\frac{u\nabla v}{\sqrt{1+|\nabla v|^2}}\Big), \\[1mm] 0=\Delta v - \mu + u, \end{array} \right. \qquad \qquad (\star) \end{equation} under the initial condition $u|_{t=0}=u_0>0$ and no-flux boundary conditions in a ball $\Omega\subset R^n$, where $\chi>0$ and $\mu:=\frac{1}{|\Omega|} \int_\Omega u_0$. A previous result [3] has asserted global existence of bounded classical solutions for arbitrary positive radial initial data $u_0\in C^3(\bar\Omega)$ when either $n\ge 2$ and $\chi<1$, or $n=1$ and $ \int_\Omega u_0<\frac{1}{\sqrt{(\chi^2-1)_+}}$. This present paper shows that these conditions are essentially optimal: Indeed, it is shown that if the taxis coefficient is large enough in the sense that $\chi>1$, then for any choice of \begin{equation} \left\{ \begin{array}{ll} m>\frac{1}{\sqrt{\chi^2-1}} \quad & \mbox{if } n=1, \\[2mm] m>0 \mbox{ is arbitrary } \quad & \mbox{if } n\ge 2, \end{array} \right. \end{equation} there exist positive initial data $u_0\in C^3(\bar\Omega)$ satisfying $ \int_\Omega u_0=m$ which are such that for some $T>0$, ($\star$) possesses a uniquely determined classical solution $(u,v)$ in $\Omega\times (0,T)$ blowing up at time $T$ in the sense that $\limsup_{t\nearrow T} \|u(\cdot,t)\|_{L^\infty(\Omega)}=\infty$.\abs This result is derived by means of a comparison argument applied to the doubly degenerate scalar parabolic equation satisfied by the mass accumulation function associated with ($\star$).


title: Surjective Kuiper isometries

abstract: Characterizations of surjective isometries with respect to the Kuiper distance on three classes of Borel probability measures of $\mathbb{R}$ (or equivalently, probability distribution functions) are presented here. These classes are the set of continuous, absolute continuous and general measures.


title: Three-particle correlation from a Many-Body Perspective: Trions in a Carbon Nanotube

abstract: Trion states of three correlated particles (e.g., two electrons and one hole) are essential to understand the optical spectra of doped or gated nanostructures, like carbon nanotubes or transition-metal dichalcogenides. We develop a theoretical many-body description for such correlated states using an ab-initio approach. It can be regarded as an extension of the widely used $GW$ method and Bethe-Salpeter equation, thus allowing for a direct comparison with excitons. We apply this method to a semiconducting (8,0) carbon nanotube, and find that the lowest optically active trions are red-shifted by $\sim 130$ meV compared to the excitons, confirming experimental findings for similar tubes. Moreover, our method provides detailed insights in the physical nature of trion states. In the prototypical carbon nanotube we find a variety of different excitations, discuss the spectra, energy compositions, and correlated wave functions.


title: Measurement-only verifiable blind quantum computing with quantum input verification

abstract: Verifiable blind quantum computing is a secure delegated quantum computing where a client with a limited quantum technology delegates her quantum computing to a server who has a universal quantum computer. The client's privacy is protected (blindness) and the correctness of the computation is verifiable by the client in spite of her limited quantum technology (verifiability). There are mainly two types of protocols for verifiable blind quantum computing: the protocol where the client has only to generate single-qubit states, and the protocol where the client needs only the ability of single-qubit measurements. The latter is called the measurement-only verifiable blind quantum computing. If the input of the client's quantum computing is a quantum state whose classical efficient description is not known to the client, there was no way for the measurement-only client to verify the correctness of the input. Here we introduce a new protocol of measurement-only verifiable blind quantum computing where the correctness of the quantum input is also verifiable.


title: Magnetism of the antiferromagnetic spin-$\frac{1}{2}$ tetramer compound CuInVO$_5$

abstract: We measured the temperature dependence of the magnetic susceptibility and specific heat and the magnetic-field dependence of the magnetization of CuInVO$_5$. An antiferromagnetically ordered state appears below $T_{\rm N} = 2.7$ K. We observed a $\frac{1}{2}$ quantum magnetization plateau above 30 T at 1.3 K. We show that the spin system consists of antiferromagnetic spin-$\frac{1}{2}$ tetramers with $J_1 = 240 \pm 20$ and $J_2 = -142 \pm 10$ K for the intratetramer interactions.


title: A fixed point theorem for monotone asyptotic nonexpansive mappings

abstract: Let C be a nonempty, bounded, closed, and convex subset of a Banach space X and $T : C \rightarrow C$ be a monotone asymptotic nonexpansive mapping. In this paper, we investigate the existence of fixed points of T. In particular, we establish an analogue to the original Goebel and Kirk's fixed point theorem for asymptotic nonexpansive mappings.


title: Explicit solutions for a nonlinear model on the honeycomb and triangular lattices

abstract: We study a simple nonlinear model defined on the honeycomb and triangular lattices. We propose a bilinearization scheme for the field equations and demonstrate that the resulting system is closely related to the well-studied integrable models, such as the Hirota bilinear difference equation and the Ablowitz-Ladik system. This result is used to derive the two sets of explicit solutions: the N-soliton solutions and ones constructed of the Toeplitz determinants.


title: Bubble drag reduction requires large bubbles

abstract: In the maritime industry, the injection of air bubbles into the turbulent boundary layer under the ship hull is seen as one of the most promising techniques to reduce the overall fuel consumption. However, the exact mechanism behind bubble drag reduction is unknown. Here we show that bubble drag reduction in turbulent flow dramatically depends on the bubble size. By adding minute concentrations (6 ppm) of the surfactant Triton X-100 into otherwise completely unchanged strongly turbulent Taylor-Couette flow containing bubbles, we dramatically reduce the drag reduction from more than 40% to about 4%, corresponding to the trivial effect of the bubbles on the density and viscosity of the liquid. The reason for this striking behavior is that the addition of surfactants prevents bubble coalescence, leading to much smaller bubbles. Our result demonstrates that bubble deformability is crucial for bubble drag reduction in turbulent flow and opens the door for an optimization of the process.


title: DeepWriter: A Multi-Stream Deep CNN for Text-independent Writer Identification

abstract: Text-independent writer identification is challenging due to the huge variation of written contents and the ambiguous written styles of different writers. This paper proposes DeepWriter, a deep multi-stream CNN to learn deep powerful representation for recognizing writers. DeepWriter takes local handwritten patches as input and is trained with softmax classification loss. The main contributions are: 1) we design and optimize multi-stream structure for writer identification task; 2) we introduce data augmentation learning to enhance the performance of DeepWriter; 3) we introduce a patch scanning strategy to handle text image with different lengths. In addition, we find that different languages such as English and Chinese may share common features for writer identification, and joint training can yield better performance. Experimental results on IAM and HWDB datasets show that our models achieve high identification accuracy: 99.01% on 301 writers and 97.03% on 657 writers with one English sentence input, 93.85% on 300 writers with one Chinese character input, which outperform previous methods with a large margin. Moreover, our models obtain accuracy of 98.01% on 301 writers with only 4 English alphabets as input.


title: Highly dense mobile networks with random fadings

abstract: Master thesis at TU Berlin with Wolfgang K\"{o}nig, April 2016. We investigate a wireless network where the users are located according to a Poisson point process in a bounded subset of R^d, in the high-density limit. Assuming that the users have i.i.d. random fadings, interpreted as their loudnesses, we describe the large deviation properties of rare frustration events. This provides a variational formula, which we analyze in more detail, in order to describe the most likely settings with unusually many users who experience bad connection. We also compare effects coming from the random spatial positions of the users with effects coming from the random fadings. Keywords: wireless communication, relaying, random fadings, high-density limit, large deviations, discretization, frustration probabilities, minimizers of relative entropy, average loudness.


title: Born-Jordan and Weyl Quantizations of the 2D Anisotropic Harmonic Oscillator

abstract: We apply the Born-Jordan and Weyl quantization formulas for polynomials in canonical coordinates to the constants of motion of some examples of the superintegrable 2D anisotropic harmonic oscillator. Our aim is to study the behaviour of the algebra of the constants of motion after the different quantization procedures. In the examples considered, we have that the Weyl formula always preserves the original superintegrable structure of the system, while the Born-Jordan formula, when producing different operators than the Weyl's one, does not.


title: Carrier frequencies, holomorphy and unwinding

abstract: We prove that functions of intrinsic-mode type (a classical models for signals) behave essentially like holomorphic functions: adding a pure carrier frequency $e^{int}$ ensures that the anti-holomorphic part is much smaller than the holomorphic part $ \| P_{-}(f)\|_{L^2} \ll \|P_{+}(f)\|_{L^2}.$ This enables us to use techniques from complex analysis, in particular the \textit{unwinding series}. We study its stability and convergence properties and show that the unwinding series can stabilize and show that the unwinding series can provide a high resolution time-frequency representation, which is robust to noise.


title: A Cloud-Based and RESTful Internet of Things Platform to Foster Smart Grid Technologies Integration and Re-Usability

abstract: Currently, one of the hottest topics in the Internet of Things (IoT) research domain regards the issue to overcome the heterogeneity of proprietary technologies and systems so as to enable the integration of applications and devices developed for different environments in a single interoperable framework. Towards this objective, virtualization is widely used to foster integration and creation of new services and applications. Similar benefits are expected by its application in the smart grid arena. The use of a virtualization middleware is expected to enrich the capabilities and opportunities related to the use of smart grid devices. In this paper, we propose key features for an interoperable, re-usable, elastic and secure smart grid architecture which is cloud-based and relies on REST APIs. To highlight the benefits, a practical case study is presented, where outlined functionalities are implemented in a cloud-based IoT platform. The advantages brought by the proposed middleware in terms of interoperability, re-usability, privacy and elasticity of the underlying infrastructure are discussed.


title: Stochastic approximation of quasi-stationary distributions on compact spaces and applications

abstract: In the continuity of a recent paper ([6]), dealing with finite Markov chains, this paper proposes and analyzes a recursive algorithm for the approximation of the quasi-stationary distribution of a general Markov chain living on a compact metric space killed in finite time. The idea is to run the process until extinction and then to bring it back to life at a position randomly chosen according to the (possibly weighted) empirical occupation measure of its past positions. General conditions are given ensuring the convergence of this measure to the quasi-stationary distribution of the chain. We then apply this method to the numerical approximation of the quasi-stationary distribution of a diffusion process killed on the boundary of a compact set and to the estimation of the spectral gap of irreducible Markov processes. Finally, the sharpness of the assumptions is illustrated through the study of the algorithm in a non-irreducible setting.


title: Hilbert-Kunz theory for binoids

abstract: We develop Hilbert-Kunz theory in a combinatorial setting namely for binoids. We show that the Hilbert-Kunz multiplicity for commutative, finitely generated, semipositive, cancellative and reduced binoids exists and is a rational number. This implies that the corresponding Hilbert-Kunz multiplicity for the binoid algebras does not depend on the characteristic.


title: Dipolar polaritons in microcavity-embedded coupled quantum wells in electric and magnetic fields

abstract: We present a precise calculation of spatially-indirect exciton states in semiconductor coupled quantum wells and polaritons formed from their coupling to the optical mode of a microcavity. We include the presence of electric and magnetic fields applied perpendicular to the quantum well plane. Our model predicts the existence of polaritons which are in the strong coupling regime and at the same time possess a large static dipole moment. We demonstrate, in particular, that a magnetic field can compensate for the reduction in light-matter coupling that occurs when an electric field impresses a dipole moment on the polariton.


title: Emission of neutron-proton and proton-proton pairs in electron scattering induced by meson-exchange currents

abstract: We use a relativistic model of meson-exchange currents to compute the proton-neutron and proton-proton yields in $(e,e')$ scattering from $^{12}$C in the 2p-2h channel. We compute the response functions and cross section with the relativistic Fermi gas model for a range of kinematics from intermediate to high momentum transfers. We find a large contribution of neutron-proton configurations in the initial state, as compared to proton-proton pairs. The different emission probabilities of distinct species of nucleon pairs are produced in our model only by meson-exchange currents, mainly by the $\Delta$ isobar current. We also analyze the effect of the exchange contribution and show that the direct/exchange interference strongly affects the determination of the np/pp ratio.


title: Study of the process $e^+e^-\to\omega\eta\pi^0$ in the energy range $\sqrt{s} <2$ GeV with the SND detector

abstract: The process $e^+e^-\to\omega\eta\pi^0$ is studied in the energy range $1.45-2.00$ GeV using data with an integrated luminosity of 33 pb$^{-1}$ accumulated by the SND detector at the $e^+e^-$ collider VEPP-2000. The $e^+e^-\to\omega\eta\pi^0$ cross section is measured for the first time. The cross section has a threshold near 1.75 GeV. Its value is about 2 nb in the energy range $1.8-2.0$ GeV. The dominant intermediate state for the process $e^+e^- \to \omega\eta\pi^0$ is found to be $\omega a_0(980)$.


title: Expansion complexity and linear complexity of sequences over finite fields

abstract: The linear complexity is a measure for the unpredictability of a sequence over a finite field and thus for its suitability in cryptography. In 2012, Diem introduced a new figure of merit for cryptographic sequences called expansion complexity. We study the relationship between linear complexity and expansion complexity. In particular, we show that for purely periodic sequences both figures of merit provide essentially the same quality test for a sufficiently long part of the sequence. However, if we study shorter parts of the period or nonperiodic sequences, then we can show, roughly speaking, that the expansion complexity provides a stronger test. We demonstrate this by analyzing a sequence of binomial coefficients modulo $p$. Finally, we establish a probabilistic result on the behavior of the expansion complexity of random sequences over a finite field.


title: A Soft Processor Overlay with Tightly-coupled FPGA Accelerator

abstract: FPGA overlays are commonly implemented as coarse-grained reconfigurable architectures with a goal to improve designers' productivity through balancing flexibility and ease of configuration of the underlying fabric. To truly facilitate full application acceleration, it is often necessary to also include a highly efficient processor that integrates and collaborates with the accelerators while maintaining the benefits of being implemented within the same overlay framework. This paper presents an open-source soft processor that is designed to tightly-couple with FPGA accelerators as part of an overlay framework. RISC-V is chosen as the instruction set for its openness and portability, and the soft processor is designed as a 4-stage pipeline to balance resource consumption and performance when implemented on FPGAs. The processor is generically implemented so as to promote design portability and compatibility across different FPGA platforms. Experimental results show that integrated software-hardware applications using the proposed tightly-coupled architecture achieve comparable performance as hardware-only accelerators while the proposed architecture provides additional run-time flexibility. The processor has been synthesized to both low-end and high-performance FPGA families from different vendors, achieving the highest frequency of 268.67MHz and resource consumption comparable to existing RISC-V designs.


title: Bending back stress chains and unique behaviour of granular matter in cylindrical geometries

abstract: We analyse the general solutions for the stress field in planar annuli of isostatic media, a model often used for marginally rigid granular materials in Couette cells. We demonstrate that these solutions are much richer than in rectangular symmetries. Even for uniform media, stress chains are found to curve, broaden away from the stress source, attenuate and leak stress into a cone of influence. Most spectacularly, stress chains may bend back and transmit forces oppositely to the original direction. None of these phenomena arises in solutions for uniform media in Cartesian coordinates. We further analyse non-uniform media, which exhibit chain branching and stress leakage from the chains. These results are directly relevant to the many experiments on granular materials, carried out in Couette cells. They also shed light on, and are supported by, hitherto unexplained experimental observations of curved and back-bending chains, which we point out. In particular, we use our results to provide a new interpretation for the pattern of slip lines observed experimentally.


title: Analytical model for release calculations in solid thin-foils ISOL targets

abstract: A detailed analytical model has been developed to simulate isotope-release curves from thin-foils ISOL targets. It involves the separate modelling of diffusion and effusion inside the target. The former has been modelled using both first and second Fick's law. The latter, effusion from the surface of the target material to the end of the ionizer, was simulated with the Monte Carlo code MolFlow+. The calculated delay-time distribution for this process was then fitted using a double-exponential function. The release curve obtained from the convolution of diffusion and effusion shows good agreement with experimental data from two different target geometries used at ISOLDE. Moreover, the experimental yields are well reproduced when combining the release fraction with calculated in-target production.


title: Pseudo-Riemannian almost hypercomplex homogeneous spaces with irreducible isotropy

abstract: We classify homogeneous pseudo-Riemannian manifolds of index 4 which admit an invariant almost hyper-Hermitian structure and an H-irreducible isotropy group. The main result is that all these spaces are flat except in dimension 12.


title: Shear-stress fluctuations in self-assembled transient elastic networks

abstract: Focusing on shear-stress fluctuations we investigate numerically a simple generic model for self-assembled transient networks formed by repulsive beads reversibly bridged by ideal springs. With $\Delta dt$ being the sampling time and $t_*(f) \sim 1/f$ the Maxwell relaxation time (set by the spring recombination frequency $f$) the dimensionless parameter $\Delta x = dt/t_*(f)$ is systematically scanned from the liquid limit ($\Delta dx \gg 1)$ to the solid limit ($\Delta x \ll 1$) where the network topology is quenched and an ensemble average over $m$ independent configurations is required. Generalizing previous work on permanent networks it is shown that the shear-stress relaxation modulus $G(t)$ may be efficiently determined for all $\Delta x$ using the simple-average expression $G(t) = \mu_A - h(t)$ with $\mu_A = G(0)$ characterizing the canonical-affine shear transformation of the system at $t=0$ and $h(t)$ the (rescaled) mean-square displacement of the instantaneous shear stress as a function of time $t$. This relation is compared to the standard expression $G(t) = C(t)$ using the (rescaled) shear-stress autocorrelation function $C(t)$. Lower bounds for the $m$ configurations required by both relations are given.


title: Discretized Approaches to Schematization

abstract: To produce cartographic maps, simplification is typically used to reduce complexity of the map to a legible level. With schematic maps, however, this simplification is pushed far beyond the legibility threshold and is instead constrained by functional need and resemblance. Moreover, stylistic geometry is often used to convey the schematic nature of the map. In this paper we explore discretized approaches to computing a schematic shape $S$ for a simple polygon $P$. We do so by overlaying a plane graph $G$ on $P$ as the solution space for the schematic shape. Topological constraints imply that $S$ should describe a simple polygon. We investigate two approaches, simple map matching and connected face selection, based on commonly used similarity metrics. With the former, $S$ is a simple cycle $C$ in $G$ and we quantify resemblance via the Fr\'echet distance. We prove that it is NP-hard to compute a cycle that approximates the minimal Fr\'echet distance over all simple cycles in a plane graph $G$. This result holds even if $G$ is a partial grid graph, if area preservation is required and if we assume a given sequence of turns is specified. With the latter, $S$ is a connected face set in $G$, quantifying resemblance via the symmetric difference. Though the symmetric difference seems a less strict measure, we prove that it is NP-hard to compute the optimal face set. This result holds even if $G$ is full grid graph or a triangular or hexagonal tiling, and if area preservation is required. Moreover, it is independent of whether we allow the set of faces to have holes or not.


title: Quantitative estimates on localized finite differences for the fractional Poisson problem, and applications to regularity and spectral stability

abstract: We establish new quantitative estimates for localized finite differences of solutions to the Poisson problem for the fractional Laplace operator with homogeneous Dirichlet conditions of solid type settled in bounded domains satisfying the Lipschitz cone regularity condition. We then apply these estimates to obtain (i)~regularity results for solutions of fractional Poisson problems in Besov spaces; (ii)~quantitative stability estimates for solutions of fractional Poisson problems with respect to domain perturbations; (iii)~quantitative stability estimates for eigenvalues and eigenfunctions of fractional Laplace operators with respect to domain perturbations.


title: Optimal Scheduling of Reliability-Constrained Relaying System under Outdated CSI in the Finite Blocklength Regime

abstract: Under the assumption of outdated channel state information (CSI) at the source, we consider the finite blocklength (FBL) throughput of a two-hop relaying system. Previous work has considered this setting so far only for the infinite blocklength case, where decoding can be arbitrarily reliable as long as operating below the Shannon limit. In contrast, in the FBL regime residual decoding errors can not be avoided even when transmitting below the Shannon limit. This makes the scheduling problem at the source more vulnerable to transmission errors, where we investigate the trade-off between the choice of so called scheduling weights to avoid transmission errors and the resulting coding rate. We show that the corresponding maximization of the throughput under a reliability constraint can be solved efficiently by iterative algorithms. Nevertheless, the optimal solution requires a recomputation of the scheduling weights prior to each transmission. Thus, we also study heuristics relying on choosing the scheduling weights only once. Through numerical analysis, we first provide insights on the structure of the throughout under different scheduling weights and channel correlation coefficients. We then turn to the comparison of the optimal scheduling with the heuristic and show that the performance gap between them is only significant for relay systems with high average signal-to-noise ratios (SNR) on the backhaul and relaying link. In particular, the optimal scheduling scheme provides most value in case that the data transmission is subject to strict reliability constraints, justifying the significant additional computational burden.


title: Topologically slice knots that are not smoothly slice in any definite 4-manifold

abstract: We prove that there exist infinitely many topologically slice knots which cannot bound a smooth null-homologous disk in any definite 4-manifold. Furthermore, we show that we can take such knots so that they are linearly independent in the the knot concordance group.


title: First detection of gas-phase methanol in a protoplanetary disk

abstract: The first detection of gas-phase methanol in a protoplanetary disk (TW Hya) is presented. In addition to being one of the largest molecules detected in disks to date, methanol is also the first disk organic molecule with an unambiguous ice chemistry origin. The stacked methanol emission, as observed with ALMA, is spectrally resolved and detected across six velocity channels ($>3 \sigma$), reaching a peak signal-to-noise of $5.5\sigma$, with the kinematic pattern expected for TW~Hya. Using an appropriate disk model, a fractional abundance of $3\times 10^{-12} - 4 \times 10^{-11}$ (with respect to H$_2$) reproduces the stacked line profile and channel maps, with the favoured abundance dependent upon the assumed vertical location (midplane versus molecular layer). The peak emission is offset from the source position suggesting that the methanol emission has a ring-like morphology: the analysis here suggests it peaks at $\approx 30$~AU reaching a column density $\approx 3-6\times10^{12}$~cm$^{-2}$. In the case of TW Hya, the larger (up to mm-sized) grains, residing in the inner 50~AU, may thus host the bulk of the disk ice reservoir. The successful detection of cold gas-phase methanol in a protoplanetary disk implies that the products of ice chemistry can be explored in disks, opening a window to studying complex organic chemistry during planetary system formation.