title: A Measure of Flow Vorticity with Helical Beams of Light

abstract: Vorticity describes the spinning motion of a fluid, i.e., the tendency to rotate, at every point in a flow. The interest in performing accurate and localized measurements of vorticity reflects the fact that many of the quantities that characterize the dynamics of fluids are intimately bound together in the vorticity field, being an efficient descriptor of the velocity statistics in many flow regimes. It describes the coherent structures and vortex interactions that are at the leading edge of laminar, transitional, and turbulent flows in nature. The measurement of vorticity is of paramount importance in many research fields as diverse as biology microfluidics, complex motions in the oceanic and atmospheric boundary layers, and wake turbulence on fluid aerodynamics. However, the precise measurement of flow vorticity is difficult. Here we put forward an optical sensing technique to obtain a direct measurement of vorticity in fluids using Laguerre-Gauss (LG) beams, optical beams which show an azimuthal phase variation that is the origin of its characteristic non-zero orbital angular momentum. The key point is to make use of the transversal Doppler effect of the returned signal that depends only on the azimuthal component of the flow velocity along the ring-shaped observation beam. We found from a detailed analysis of the experimental method that probing the fluid with LG beams is an effective and simple sensing technique capable to produce accurate estimates of flow vorticity.


title: Limits on dark matter proton scattering from neutrino telescopes using micrOMEGAs

abstract: Limits on dark matter spin dependent elastic scattering cross section on protons derived from IceCube data are obtained for different dark matter annihilation channels using micrOMEGAs. The uncertainty on the derived limits, estimated by using different neutrino spectra, can reach a factor two. For all dark matter annihilation channels except for quarks, the limits on the spin dependent cross section are more stringent than those obtained in direct detection experiments. The new functions that allow to derive those limits are described.


title: Integrable model of bosons in a four-well ring with anisotropic tunneling

abstract: We introduce an integrable, four-well ring model for bosons where the tunneling couplings between nearest-neighbour wells are not restricted to be equal. We show how the model may be derived through the Quantum Inverse Scattering Method from a solution of the Yang--Baxter equation, and in turn solved by algebraic Bethe Ansatz means. The model admits multiple pseudovaccum states. Numerical evidence is provided to indicate that all pseudovacua are required to obtain a complete set of Bethe eigenstates. The model has the notable property that there is a class of eigenstates which admit a simple, closed-form energy expression.


title: Linear Elliptic equations with nonlinear boundary conditions under strong resonance conditions

abstract: In this work we establish existence and multiplicity of solutions for elliptic problem with nonlinear boundary conditions under strong resonance conditions at infinity. The nonlinearity is resonance at infinity and the reso- nance phenomena occurs precisely in the first Steklov eigenvalue problem. In all results we use Variational Methods, Critical Groups and the Morse Theory.


title: CP Violating Polarization Asymmetry in Charmless Two-Body Decays of Beauty Baryons

abstract: Several baryons containing a heavy b-quark, the b-baryons, have been discovered. The charmless two-body decays of b-baryons can provide a new platform for CP violating studies in a similar way as charmless two-body decays of B-meson. In b-baryon decays there are new CP violating observable related to baryon polarization. We show that in the flavor $SU(3)$ limit there exist relations involve different combinations of the decay amplitudes compared with those in CP violating rate asymmetry. These new relations therefore provide interesting tests for the mechanism of CP in the standard model (SM) and flavor $SU(3)$ symmetry. Future data from LHCb can test these relations.


title: Single-Spin CCD

abstract: Spin-based electronics or spintronics relies on the ability to store, transport and manipulate electron spin polarization with great precision. In its ultimate limit, information is stored in the spin state of a single electron, at which point also quantum information processing becomes a possibility. Here we demonstrate the manipulation, transport and read-out of individual electron spins in a linear array of three semiconductor quantum dots. First, we demonstrate single-shot read-out of three spins with fidelities of 97% on average, using an approach analogous to the operation of a charge-coupled-device (CCD). Next, we perform site-selective control of the three spins thereby writing the content of each pixel of this "Single-Spin CCD". Finally, we show that shuttling an electron back and forth in the array hundreds of times, covering a cumulative distance of 80 $\mu$m, has negligible influence on its spin projection. Extrapolating these results to the case of much larger arrays, points at a diverse range of potential applications, from quantum information to imaging and sensing.


title: Hybrid approaches for multiple-species stochastic reaction-diffusion models

abstract: Reaction-diffusion models are used to describe systems in fields as diverse as physics, chemistry, ecology and biology. The fundamental quantities in such models are individual entities such as atoms and molecules, bacteria, cells or animals, which move and/or react in a stochastic manner. If the number of entities is large, accounting for each individual is inefficient, and often partial differential equation (PDE) models are used in which the stochastic behaviour of individuals is replaced by a description of the averaged, or mean behaviour of the system. In some situations the number of individuals is large in certain regions and small in others. In such cases, a stochastic model may be inefficient in one region, and a PDE model inaccurate in another. To overcome this problem, we develop a scheme which couples a stochastic reaction-diffusion system in one part of the domain with its mean field analogue, i.e. a discretised PDE model, in the other part of the domain. The interface in between the two domains occupies exactly one lattice site and is chosen such that the mean field description is still accurate there. This way errors due to the flux between the domains are small. Our scheme can account for multiple dynamic interfaces separating multiple stochastic and deterministic domains, and the coupling between the domains conserves the total number of particles. The method preserves stochastic features such as extinction not observable in the mean field description, and is significantly faster to simulate on a computer than the pure stochastic model.


title: Thermodynamic expansion to arbitrary moduli

abstract: We extend the thermodynamic expansion results in [BourgainGamburdSarnak2011, MageeOhWinter2015] from square-free to arbitrary moduli by developing a novel decoupling technique and applying [BourgainVarju2012].


title: Cost Minimization of Charging Stations with Photovoltaics: An Approach with EV Classification

abstract: This paper proposes a novel electric vehicle (EV) classification scheme for a photovoltaic (PV) powered EV charging station (CS) that reduces the effect of intermittency of electricity supply as well as reducing the cost of energy trading of the CS. Since not all EV drivers would like to be environmentally friendly, all vehicles in the CS are divided into three categories: 1) premium, 2) conservative, and 3) green, according to their charging behavior. Premium and conservative EVs are considered to be interested only in charging their batteries, with noticeably higher rate of charging for premium EVs. Green vehicles are more environmentally friendly, and thus assist the CS to reduce its cost of energy trading by allowing the CS to use their batteries as distributed storage. A different charging scheme is proposed for each type of EV, which is adopted by the CS to encourage more EVs to be green. A basic mixed integer programming (MIP) technique is used to facilitate the proposed classification scheme. It is shown that the uncertainty in PV generation can be effectively compensated, along with minimization of total cost of energy trading to the CS, by consolidating more green EVs. Real solar and pricing data are used for performance analysis of the system. It is demonstrated that the total cost to the CS reduces considerably as the percentage of green vehicles increases, and also that the contributions of green EVs in winter are greater than those in summer.


title: Characterization of non-constant lower bound of Ricci curvature via entropy inequality on Wasserstein space

abstract: When the Ricci curvature of a Riemannian manifold is not lower bounded by a constant, but lower bounded by a continuous function, we give a new characterization of this lower bound through the convexity of relative entropy on the probability space over the Riemannian manifold. Hence, we generalize K.T. Sturm and von Renesse's result (Comm. Pure Appl. Math. 2005) to the case with non-constant lower bound of Ricci curvature.


title: Symmetric unions without cosmetic crossing changes

abstract: A symmetric union of two knots is a classical construction in knot theory which generalizes connected sum, introduced by Kinoshita and Terasaka in the 1950s. We study this construction for the purpose of finding an infinite family of hyperbolic non-fibered three-bridge knots of constant determinant which satisfy the well-known cosmetic crossing conjecture. This conjecture asserts that the only crossing changes which preserve the isotopy type of a knot are nugatory.


title: A modified bootstrap percolation on a random graph coupled with a lattice

abstract: In this paper a random graph model $G_{\mathbb{Z}^2_N,p_d}$ is introduced, which is a combination of fixed torus grid edges in $(\mathbb{Z}/N \mathbb{Z})^2$ and some additional random ones. The random edges are called long, and the probability of having a long edge between vertices $u,v\in(\mathbb{Z}/N \mathbb{Z})^2$ with graph distance $d$ on the torus grid is $p_d=c/Nd$, where $c$ is some constant. We show that, {\em whp}, the diameter $D(G_{\mathbb{Z}^2_N,p_d})=\Theta (\log N)$. Moreover, we consider non-monotonous bootstrap percolation on $G_{\mathbb{Z}^2_N,p_d}$. We prove the presence of phase transitions in mean-field approximation and provide fairly sharp bounds on the error of the critical parameters. Our model addresses interesting mathematical questions of non-monotonous bootstrap percolation, and it is motivated by recent results of brain research.


title: Document Embedding with Paragraph Vectors

abstract: Paragraph Vectors has been recently proposed as an unsupervised method for learning distributed representations for pieces of texts. In their work, the authors showed that the method can learn an embedding of movie review texts which can be leveraged for sentiment analysis. That proof of concept, while encouraging, was rather narrow. Here we consider tasks other than sentiment analysis, provide a more thorough comparison of Paragraph Vectors to other document modelling algorithms such as Latent Dirichlet Allocation, and evaluate performance of the method as we vary the dimensionality of the learned representation. We benchmarked the models on two document similarity data sets, one from Wikipedia, one from arXiv. We observe that the Paragraph Vector method performs significantly better than other methods, and propose a simple improvement to enhance embedding quality. Somewhat surprisingly, we also show that much like word embeddings, vector operations on Paragraph Vectors can perform useful semantic results.


title: Simulations of Stellar Magnetoconvection using the Radiative MHD Code `StellarBox'

abstract: Realistic numerical simulations, i.e., those that make minimal use of ad hoc modeling, are essential for understanding the complex turbulent dynamics of the interiors and atmospheres of the Sun and other stars and the basic mechanisms of their magnetic activity and variability. The goal of this paper is to present a detailed description and test results of a compressible radiative MHD code, `StellarBox', specifically developed for simulating the convection zones, surface, and atmospheres of the Sun and moderate-mass stars. The code solves the three-dimensional, fully coupled compressible MHD equations using a fourth-order Pad\'e spatial differentiation scheme and a fourth-order Runge-Kutta scheme for time integration. The radiative transfer equation is solved using the Feautrier method for bi-directional ray tracing and an opacity-binning technique. A specific feature of the code is the implementation of subgrid-scale MHD turbulence models. The data structures are automatically configured, depending on the computational grid and the number of available processors, to achieve good load balancing. We present test results and illustrate the code's capabilities for simulating the granular convection on the Sun and a set of main-sequence stars. The results reveal substantial changes in the near-surface turbulent convection in these stars, which in turn affect properties of the surface magnetic fields. For example, in the solar case initially uniform vertical magnetic fields tend to self-organize into compact (pore-like) magnetic structures, while in more massive stars such structures are not formed and the magnetic field is distributed more-or-less uniformly in the intergranular lanes.


title: Tunable Splitting of the Ground-State Degeneracy in 1D Parafermionic Wires

abstract: Systems with topologically protected ground-state degeneracies are currently of great interest due to their potential applications in quantum computing. In practise this degeneracy is never exact, and the magnitude of the ground-state degeneracy splitting imposes constraints on the timescales over which information is topologically protected. In this Letter we use an instanton approach to evaluate the splitting of topological ground-state degeneracy in quasi-1D systems with parafermion zero modes, in the specific case where parafermions are realized by inducing a superconducting gap in pairs of fractional quantum Hall edges. We show that, like 1D topological superconducting wires, this splitting has an oscillatory dependence on the chemical potential, which arises from an intrinsic Berry phase that produces interference between distinct instanton tunneling events. These Berry phases can be mapped to chiral phases in a (dual) quantum clock model using a Fradkin-Kadanoff transformation. Comparing our low-energy spectrum to that of phenomenological parafermion models allows us to evaluate the real and imaginary parts of the hopping integral between adjacent parafermionic zero modes as a function of the chemical potential.


title: Voltage Controlled Magnetic Skyrmion Motion for Racetrack Memory

abstract: Magnetic skyrmion, vortex-like swirling topologically stable spin configurations, is appealing as information carrier for future nanoelectronics, owing to the stability, small size and extremely low driving current density. One of the most promising applications of skyrmion is to build racetrack memory (RM). Compared to domain wall-based RM (DW-RM), skyrmion-based RM (Sky-RM) possesses quite a few benefits in terms of energy, density and speed etc. Until now, the fundamental behaviors, including nucleation/annihilation, motion and detection of skyrmion have been intensively investigated. However, one indispensable function, i.e., pinning/depinning of skyrmion still remains an open question and has to be addressed before applying skyrmion for RM. Furthermore, Current research mainly focuses on physical investigations, whereas the electrical design and evaluation are still lacking. In this work, we aim to promote the development of Sky-RM from fundamental physics to realistic electronics. First, we investigate the pinning/depinning characteristics of skyrmion in a nanotrack with the voltage-controlled magnetic anisotropy (VCMA) effect. Then, we propose a compact model and design framework of Sky-RM for electrical evaluation. This work completes the elementary memory functionality of Sky-RM and fills the technical gap between the physicists and electronic engineers, making a significant step forward for the development of Sky-RM.


title: New members of the TW Hydrae Association and two accreting M-dwarfs in Scorpius-Centaurus

abstract: We report the serendipitous discovery of several young mid-M stars found during a search for new members of the 30-40 Myr-old Octans Association. Only one of the stars may be considered a possible Octans(-Near) member. However, two stars have proper motions, kinematic distances, radial velocities, photometry and Li I 6708AA measurements consistent with membership in the 8-10 Myr-old TW Hydrae Association. Another may be an outlying member of TW Hydrae but has a velocity similar to that predicted by membership in Octans. We also identify two new lithium-rich members of the neighbouring Scorpius-Centaurus OB Association (Sco-Cen). Both exhibit large 12 and 22 micron excesses and strong, variable H-alpha emission which we attribute to accretion from circumstellar discs. Such stars are thought to be incredibly rare at the ~16 Myr median age of Sco-Cen and they join only one other confirmed M-type and three higher-mass accretors outside of Upper Scorpius. The serendipitous discovery of two accreting stars hosting large quantities of circumstellar material may be indicative of a sizeable age spread in Sco-Cen, or further evidence that disc dispersal and planet formation time-scales are longer around lower-mass stars. To aid future studies of Sco-Cen we also provide a newly-compiled catalogue of 305 early-type Hipparcos members with spectroscopic radial velocities sourced from the literature.


title: Top Mode pseudo Nambu-Goldstone Boson Higgs Model

abstract: We discuss the Top Mode pseudo Nambu-Goldstone boson Higgs (TMpNGBH) model which has recently been proposed as a variant of the top quark condensate model in light of the 125 GeV Higgs boson discovered at the LHC. In this talk, we focus on the vacuum alignment and the phenomenologies of characteristic particles of the TMpNGBH model.


title: Characterizations of Besov and Triebel-Lizorkin Spaces via Averages on Balls

abstract: Let $\ell\in\mathbb{N}$ and $p\in(1,\infty]$. In this article, the authors prove that the sequence $\{f-B_{\ell,2^{-k}}f\}_{k\in\mathbb{Z}}$ consisting of the differences between $f$ and the ball average $B_{\ell,2^{-k}}f$ characterizes the Besov space $\dot B^\alpha_{p,q}(\rn)$ with $q\in (0, \infty]$ and the Triebel-Lizorkin space $\dot F^\alpha_{p,q}(\rn)$ with $q\in (1,\infty]$ when the smoothness order $\alpha\in(0,2\ell)$. More precisely, it is proved that $f-B_{\ell,2^{-k}}f$ plays the same role as the approximation to the identity $\varphi_{2^{-k}}\ast f$ appearing in the definitions of $\dot B^\alpha_{p,q}(\rn)$ and $\dot F^\alpha_{p,q}(\rn)$. The corresponding results for inhomogeneous Besov and Triebel-Lizorkin spaces are also obtained. These results, for the first time, give a way to introduce Besov and Triebel-Lizorkin spaces with any smoothness order in $(0, 2\ell)$ on spaces of homogeneous type, where $\ell\in{\mathbb N}$.


title: Writing Commutators of Commutators as Products of Cubes

abstract: It is known that commutators of commutators can be written as products of cubes, with the current upper bound on the number of cubes being 60. We discuss how proofs extracted via coset enumeration can be used to investigate this problem, and exhibit a rewriting using only 14 cubes.


title: Ultra-broadband dual-comb spectroscopy across 1.0-1.9 {\mu}m

abstract: We have carried out dual-comb spectroscopy and observed in a simultaneous acquisition a 140-THz-wide spectrum from 1.0 to 1.9 {\mu}m using two fiber-based frequency combs phase-locked to each other. This ultra-broad wavelength bandwidth is realized by setting the difference between the repetition rates of the two combs to 7.6 Hz using the sub-Hz-linewidth fiber combs. The recorded spectrum contains five vibration-rotation bands of C${_2}$H${_2}$, CH${_4}$, and H${_2}$O at different wavelengths across the whole spectrum. The determined transition frequencies of C${_2}$H${_2}$ agree with those from the previous sub-Doppler resolution measurement of individual lines using CW lasers within 2 MHz.


title: On Proportions of Fit Individuals in Population of Evolutionary Algorithm with Tournament Selection

abstract: In this paper, we consider a fitness-level model of a non-elitist mutation-only evolutionary algorithm (EA) with tournament selection. The model provides upper and lower bounds for the expected proportion of the individuals with fitness above given thresholds. In the case of so-called monotone mutation, the obtained bounds imply that increasing the tournament size improves the EA performance. As corollaries, we obtain an exponentially vanishing tail bound for the Randomized Local Search on unimodal functions and polynomial upper bounds on the runtime of EAs on 2-SAT problem and on a family of Set Cover problems proposed by E. Balas.


title: Temperature Effects on Information Capacity and Energy Efficiency of Hodgkin-Huxley Neuron

abstract: Recent experimental and theoretical studies show that energy efficiency, which measures the amount of information processed by a neuron with per unit of energy consumption, plays an important role in the evolution of neural systems. Here, we calculated the information rates and energy efficiencies of the Hodgkin-Huxley (HH) neuron model at different temperatures in a noisy environment. We found that both the information rate and energy efficiency are maximized by certain temperatures. Though the information rate and energy efficiency cannot be maximized simultaneously, the neuron holds a high information processing capacity at the temperature corresponding to maximal energy efficiency. Our results support the idea that the energy efficiency is a selective pressure that influences the evolution of nervous systems.


title: Engineering inter-qubit exchange coupling between donor bound electrons in silicon

abstract: We investigate the electrical control of the exchange coupling (J) between donor bound electrons in silicon with a detuning gate bias, crucial for the implementation of the two-qubit gate in a silicon quantum computer. We find the asymmetric 2P-1P system provides a highly tunable exchange-curve with mitigated J-oscillation, in which 5 orders of magnitude change in the exchange energy can be achieved using a modest range of electric field for 15 nm qubit separation. Compared to the barrier gate control of exchange in the Kane qubit, the detuning gate design reduces the demanding constraints of precise donor separation, gate width, density and location, as a range of J spanning over a few orders of magnitude can be engineered for various donor separations. We have combined a large-scale full band atomistic tight-binding method with a full configuration interaction technique to capture the full two-electron spectrum of gated donors, providing state-of-the-art calculations of exchange energy in 1P-1P and 2P-1P qubits.


title: Licensed and Unlicensed Spectrum Allocation in Heterogeneous Networks

abstract: In future networks, an operator may employ a wide range of access points using diverse radio access technologies (RATs) over multiple licensed and unlicensed frequency bands. This paper studies centralized user association and spectrum allocation across many access points in such a heterogeneous network (HetNet). Such centralized control is on a relatively slow timescale to allow information exchange and joint optimization over multiple cells. This is in contrast and complementary to fast timescale distributed scheduling. A queueing model is introduced to capture the lower spectral efficiency, reliability, and additional delays of data transmission over the unlicensed bands due to contention and/or listen-before-talk requirements. Two optimization-based spectrum allocation schemes are proposed along with efficient algorithms for computing the allocations. The proposed solutions are fully aware of traffic loads, network topology, as well as external interference levels in the unlicensed bands. Packet-level simulation results show that the proposed schemes significantly outperform orthogonal and full-frequency-reuse allocations under all traffic conditions.


title: UFCORIN: A Fully Automated Predictor of Solar Flares in GOES X-Ray Flux

abstract: We have developed UFCORIN, a platform for studying and automating space weather prediction. Using our system we have tested 6,160 different combinations of SDO/HMI data as input data, and simulated the prediction of GOES X-ray flux for 2 years (2011-2012) with one-hour cadence. We have found that direct comparison of the true skill statistics (TSS) from small cross-validation sets is ill-posed, and used the standard scores ($z$) of the TSS to compare the performance of the various prediction strategies. The $z$ of a strategy is a stochastic variable of the stochastically-chosen cross-validation dataset, and the $z$ for the three strategies best at predicting X, $\geq$M and $\geq$C class flares are better than the average $z$ of the 6,160 strategies by 2.3$\sigma$, 2.1$\sigma$, 3.8$\sigma$ confidence levels, respectively. The best three TSS values were $0.75\pm0.07$, $0.48\pm0.02$, and $0.56\pm0.04$, respectively.


title: Multi-wavelength analysis of the Galactic supernova remnant MSH 11-61A

abstract: Due to its centrally bright X-ray morphology and limb brightened radio profile, MSH 11-61A (G290.1-0.8) is classified as a mixed morphology supernova remnant (SNR). H$\textsc{i}$ and CO observations determined that the SNR is interacting with molecular clouds found toward the north and southwest regions of the remnant. In this paper we report on the detection of $\gamma$-ray emission coincident with MSH 11-61A, using 70 months of data from the Large Area Telescope on board the \textit{Fermi Gamma-ray Space Telescope}. To investigate the origin of this emission, we perform broadband modelling of its non-thermal emission considering both leptonic and hadronic cases and concluding that the $\gamma$-ray emission is most likely hadronic in nature. Additionally we present our analysis of a 111 ks archival \textit{Suzaku} observation of this remnant. Our investigation shows that the X-ray emission from MSH 11-61A arises from shock-heated ejecta with the bulk of the X-ray emission arising from a recombining plasma, while the emission towards the east arises from an ionising plasma.


title: Study of the process $e^+e^-\to p\bar{p}$ in the c.m. energy range from threshold to 2 GeV with the CMD-3 detector

abstract: Using a data sample of 6.8 pb$^{-1}$ collected with the CMD-3 detector at the VEPP-2000 $e^+e^-$ collider we select about 2700 events of the $e^+e^- \to p\bar{p}$ process and measure its cross section at 12 energy ponts with about 6\% systematic uncertainty. From the angular distribution of produced nucleons we obtain the ratio $|G_{E}/G_{M}| = 1.49 \pm 0.23 \pm 0.30$.


title: Long-time nonlinear dynamical evolution for P-band ultracold atoms in an optical lattice

abstract: We report the long-time nonlinear dynamical evolution of ultracold atomic gases in the P-band of an optical lattice. A Bose-Einstein condensate (BEC) is fast and efficiently loaded into the Pband at zero quasi-momentum with a non-adiabatic shortcut method. For the first one and half milliseconds, these momentum states undergo oscillations due to coherent superposition of different bands, which are followed by oscillations up to 60ms of a much longer period. Our analysis shows the dephasing from the nonlinear interaction is very conducive to the long-period oscillations induced by the variable force due to the harmonic confinement.


title: On Massive MIMO Physical Layer Cryptosystem

abstract: In this paper, we present a zero-forcing (ZF) attack on the physical layer cryptography scheme based on massive multiple-input multiple-output (MIMO). The scheme uses singular value decomposition (SVD) precoder. We show that the eavesdropper can decrypt/decode the information data under the same condition as the legitimate receiver. We then study the advantage for decoding by the legitimate user over the eavesdropper in a generalized scheme using an arbitrary precoder at the transmitter. On the negative side, we show that if the eavesdropper uses a number of receive antennas much larger than the number of legitimate user antennas, then there is no advantage, independent of the precoding scheme employed at the transmitter. On the positive side, for the case where the adversary is limited to have the same number of antennas as legitimate users, we give an $\mathcal{O}\left(n^2\right)$ upper bound on the advantage and show that this bound can be approached using an inverse precoder.


title: Diamagnetism versus Robin condition and concentration of ground states

abstract: We estimate the ground state energy for the magnetic Laplacian with a Robin condition. In a special asymptotic limit, we find that the magnetic field does not contribute to the two-term expansion of the ground state energy, thereby proving that the Robin condition weakens diamagnetism. We discuss a semi-classical version of the operator and prove that the ground states concentrate near the boundary points of maximal curvature.


title: Cross-Covariance Functions for Multivariate Geostatistics

abstract: Continuously indexed datasets with multiple variables have become ubiquitous in the geophysical, ecological, environmental and climate sciences, and pose substantial analysis challenges to scientists and statisticians. For many years, scientists developed models that aimed at capturing the spatial behavior for an individual process; only within the last few decades has it become commonplace to model multiple processes jointly. The key difficulty is in specifying the cross-covariance function, that is, the function responsible for the relationship between distinct variables. Indeed, these cross-covariance functions must be chosen to be consistent with marginal covariance functions in such a way that the second-order structure always yields a nonnegative definite covariance matrix. We review the main approaches to building cross-covariance models, including the linear model of coregionalization, convolution methods, the multivariate Mat\'{e}rn and nonstationary and space-time extensions of these among others. We additionally cover specialized constructions, including those designed for asymmetry, compact support and spherical domains, with a review of physics-constrained models. We illustrate select models on a bivariate regional climate model output example for temperature and pressure, along with a bivariate minimum and maximum temperature observational dataset; we compare models by likelihood value as well as via cross-validation co-kriging studies. The article closes with a discussion of unsolved problems.


title: Photometry of Variable Stars from THU-NAOC Transient Survey I: The First 2 Years

abstract: In this paper, we report the detections of stellar variabilities from the first 2-year observations of sky area of about 1300 square degrees from the Tsinghua University-NAOC Transient Survey (TNTS). A total of 1237 variable stars (including 299 new ones) were detected with brightness < 18.0 mag and magnitude variation >= 0.1 mag on a timescale from a few hours to few hundred days. Among such detections, we tentatively identified 661 RR Lyrae stars, 431 binaries, 72 Semiregular pulsators, 29 Mira stars, 11 slow irregular variables, 11 RS Canum Venaticorum stars, 7 Gamma Doradus stars, 5 long period variables, 3 W Virginis stars, 3 Delta Scuti stars, 2 Anomalous Cepheids, 1 Cepheid, and 1 nove-like star based on their time-series variability index Js and their phased diagrams. Moreover, we found that 14 RR Lyrae stars show the Blazhko effect and 67 contact eclipsing binaries exhibit the O'Connell effect. Since the period and amplitude of light variations of RR Lyrae variables depend on their chemical compositions, their photometric observations can be used to investigate distribution of metallicity along the direction perpendicular to the Galactic disk. We find that the metallicity of RR Lyrae stars shows large scatter at regions closer to the Galactic plane (e.g., -3.0 < [Fe/H] < 0) but tends to converge at [Fe/H]~ -1.7 at larger Galactic latitudes. This variation may be related to that the RRAB Lyrae stars in the Galactic halo come from globular clusters with different metallicity and vertical distances, i.e. OoI and OoII populations, favoring for the dual-halo model.


title: 2-D studies of Relativistic electron beam plasma instabilities in an inhomogeneous plasma

abstract: Relativistic electron beam propagation in plasma is fraught with several micro instabilities like two stream, filamentation etc., in plasma. This results in severe limitation of the electron transport through a plasma medium. Recently, however, there has been an experimental demonstration of improved transport of Mega Ampere of electron currents (generated by the interaction of intense laser with solid target) in a carbon nanotube structured solid target [Phys. Rev Letts. 108, 235005 (2012)]. This then suggests that the inhomogeneous plasma (created by the ionization of carbon nano tube structured target) helps in containing the growth of the beam plasma instabilities. This manuscript addresses this issue with the help of a detailed analytical study and simulations with the help of 2-D Particle - In - Cell code. The study conclusively demonstrates that the growth rate of the dominant instability in the 2-D geometry decreases when the plasma density is chosen to be inhomogeneous, provided the scale length 1/ks of the inhomogeneous plasma is less than the typical plasma skin depth (c/{\omega}p0 ) scale. At such small scale lengths channelization of currents are also observed in simulation.


title: Affine representability results in A^1-homotopy theory II: principal bundles and homogeneous spaces

abstract: We establish a relative version of the abstract "affine representability" theorem in ${\mathbb A}^1$--homotopy theory from Part I of this paper. We then prove some ${\mathbb A}^1$--invariance statements for generically trivial torsors under isotropic reductive groups over infinite fields analogous to the Bass--Quillen conjecture for vector bundles. Putting these ingredients together, we deduce representability theorems for generically trivial torsors under isotropic reductive groups and for associated homogeneous spaces in ${\mathbb A}^1$--homotopy theory.


title: A Counterexample and Fix to a Minimum Distance Duality Theorem

abstract: We consider dual optimization problems to the fundamental problem of finding the minimum distance from a point to a subspace. We provide a counterexample to a theorem which has appeared in the literature, relating the minimum distance problem to a maximization problem in the predual space. The theorem was stated in a series of papers by Zames and Owen in the early 1990s in conjunction with a non-standard definition, which together are true, but the theorem is false when assuming standard definitions, as it would later appear. Reasons for the failure of this theorem are discussed; in particular, the fact that the Hahn-Banach Theorem cannot be guaranteed to provide an extension which is an element of the predual space. The condition needed to restore the theorem is derived; namely, that the annihilator of the pre-annihilator return the original subspace of interest. This condition is consistent with the non-standard definition initially used, and it is further shown to be necessary in a sense.


title: Expression for the Number of Spanning Trees of Line Graphs of Arbitrary Connected Graphs

abstract: For any graph $G$, let $t(G)$ be the number of spanning trees of $G$, $L(G)$ be the line graph of $G$ and for any non-negative integer $r$, $S_r(G)$ be the graph obtained from $G$ by replacing each edge $e$ by a path of length $r+1$ connecting the two ends of $e$. In this paper we obtain an expression for $t(L(S_r(G)))$ in terms of spanning trees of $G$ by a combinatorial approach. This result generalizes some known results on the relation between $t(L(S_r(G)))$ and $t(G)$ and gives an explicit expression $t(L(S_r(G)))=k^{m+s-n-1}(rk+2)^{m-n+1}t(G)$ if $G$ is of order $n+s$ and size $m+s$ in which $s$ vertices are of degree $1$ and the others are of degree $k$. Thus we prove a conjecture on $t(L(S_1(G)))$ for such a graph $G$.


title: Homological degrees of representations of categories with shift functors

abstract: Let $k$ be a commutative Noetherian ring and $\underline{\mathscr{C}}$ be a locally finite $k$-linear category equipped with a self-embedding functor of degree 1. We show under a moderate condition that finitely generated torsion representations of $\underline{\mathscr{C}}$ are super finitely presented (that is, they have projective resolutions each term of which is finitely generated). In the situation that these self-embedding functors are genetic functors, we give upper bounds for homological degrees of finitely generated torsion modules. These results apply to quite a few categories recently appearing in representation stability theory. In particular, when $k$ is a field of characteristic 0, we obtain another upper bound for homological degrees of finitely generated $\mathrm{FI}$-modules.


title: On M{\oe}glin's parametrization of Arthur packets for p-adic quasisplit $Sp(N)$ and $SO(N)$

abstract: We give a survey on M{\oe}glin's construction of representations in the Arthur packets for $p$-adic quasisplit symplectic and orthogonal groups. The emphasis is on comparing M{\oe}glin's parametrization of elements in the Arthur packets with that of Arthur.


title: Multi-armed Bandit Models for the Optimal Design of Clinical Trials: Benefits and Challenges

abstract: Multi-armed bandit problems (MABPs) are a special type of optimal control problem well suited to model resource allocation under uncertainty in a wide variety of contexts. Since the first publication of the optimal solution of the classic MABP by a dynamic index rule, the bandit literature quickly diversified and emerged as an active research topic. Across this literature, the use of bandit models to optimally design clinical trials became a typical motivating application, yet little of the resulting theory has ever been used in the actual design and analysis of clinical trials. To this end, we review two MABP decision-theoretic approaches to the optimal allocation of treatments in a clinical trial: the infinite-horizon Bayesian Bernoulli MABP and the finite-horizon variant. These models possess distinct theoretical properties and lead to separate allocation rules in a clinical trial design context. We evaluate their performance compared to other allocation rules, including fixed randomization. Our results indicate that bandit approaches offer significant advantages, in terms of assigning more patients to better treatments, and severe limitations, in terms of their resulting statistical power. We propose a novel bandit-based patient allocation rule that overcomes the issue of low power, thus removing a potential barrier for their use in practice.


title: Exploring Percolative Landscapes: Infinite Cascades of Geometric Phase Transitions

abstract: The evolution of many kinetic processes in 1+1 (space-time) dimensions results in 2d directed percolative landscapes. The active phases of these models possess numerous hidden geometric orders characterized by various types of large-scale and/or coarse-grained percolative backbones that we define. For the patterns originated in the classical directed percolation (DP) and contact process (CP) we show from the Monte-Carlo simulation data that these percolative backbones emerge at specific critical points as a result of continuous phase transitions. These geometric transitions belong to the DP universality class and their nonlocal order parameters are the capacities of corresponding backbones. The multitude of conceivable percolative backbones implies the existence of infinite cascades of such geometric transitions in the kinetic processes considered. We present simple arguments to support the conjecture that such cascades of transitions is a generic feature of percolation as well as many others transitions with nonlocal order parameters.


title: S-duality and the prepotential in N=2* theories (II): the non-simply laced algebras

abstract: We derive a modular anomaly equation satisfied by the prepotential of the N=2* supersymmetric theories with non-simply laced gauge algebras, including the classical B and C infinite series and the exceptional F4 and G2 cases. This equation determines the exact prepotential recursively in an expansion for small mass in terms of quasi-modular forms of the S-duality group. We also discuss the behaviour of these theories under S-duality and show that the prepotential of the SO(2r+1) theory is mapped to that of the Sp(2r) theory and viceversa, while the exceptional F4 and G2 theories are mapped into themselves (up to a rotation of the roots) in analogy with what happens for the N=4 supersymmetric theories. These results extend the analysis for the simply laced groups presented in a companion paper.


title: More on quantum kinks in gauge theories on $R^2 \otimes S^1$

abstract: Quantum kinks in gauge theories on $R^2\otimes S^1$ space-time are studied. To obtain the, explicit profile of the kinks, we calculated effective actions including derivative corrections for vacuum gauge fields on $S^1$ at zero, and finite temperature up to one-loop level. It is found that there are soliton solutions in scalar QED. We also find that the derivative correction tends to make the vacuum unstable in $SU(2)$ Yang-Mills theory.


title: The Sparse Principal Component Analysis Problem: Optimality Conditions and Algorithms

abstract: Sparse principal component analysis addresses the problem of finding a linear combination of the variables in a given data set with a sparse coefficients vector that maximizes the variability of the data. This model enhances the ability to interpret the principal components, and is applicable in a wide variety of fields including genetics and finance, just to name a few. We suggest a necessary coordinate-wise-based optimality condition, and show its superiority over the stationarity-based condition that is commonly used in the literature, and which is the basis for many of the algorithms designed to solve the problem. We devise algorithms that are based on the new optimality condition, and provide numerical experiments that support our assertion that algorithms, which are guaranteed to converge to stronger optimality conditions, perform better than algorithms that converge to points satisfying weaker optimality conditions.


title: Adapted sampling for 3D X-ray computed tomography

abstract: In this paper, we introduce a method to build an adapted mesh representation of a 3D object for X-Ray tomography reconstruction. Using this representation, we provide means to reduce the computational cost of reconstruction by way of iterative algorithms. The adapted sampling of the reconstruction space is directly obtained from the projection dataset and prior to any reconstruction. It is built following two stages : firstly, 2D structural information is extracted from the projection images and is secondly merged in 3D to obtain a 3D pointcloud sampling the interfaces of the object. A relevant mesh is then built from this cloud by way of tetrahedralization. Critical parameters selections have been automatized through a statistical framework, thus avoiding dependence on users expertise. Applying this approach on geometrical shapes and on a 3D Shepp-Logan phantom, we show the relevance of such a sampling - obtained in a few seconds - and the drastic decrease in cells number to be estimated during reconstruction when compared to the usual regular voxel lattice. A first iterative reconstruction of the Shepp-Logan using this kind of sampling shows the relevant advantages in terms of low dose or sparse acquisition sampling contexts. The method can also prove useful for other applications such as finite element method computations.


title: Clustering and Bias Measurements of SDSS Voids

abstract: Using a void catalog from the SDSS survey, we present the first measurements of void clustering and the corresponding void bias. Over the range 30-200 Mpc/h the void auto-correlation is detected at 5-sigma significance for voids of radius 15-20 Mpc/h. We also measure the void-galaxy cross-correlation at higher signal-to-noise and compare the inferred void bias with the autocorrelation results. Void bias is constant with scale for voids of a given size, but its value falls from 5.6 +/- 1.0 to below zero as the void radius increases from 15 to 30 Mpc/h. The comparison of our measurements with carefully matched galaxy mock catalogs, with no free parameters related to the voids, shows that model predictions can be reliably made for void correlations. We study the dependence of void bias on tracer density and void size with a view to future applications. In combination with our previous lensing measurements of void mass profiles, these clustering measurements provide another step towards using voids as cosmological tracers.


title: Randomized Approximations of the Image Set of Nonlinear Mappings with Applications to Filtering

abstract: The aim of this paper is twofold: In the first part, we leverage recent results on scenario design to develop randomized algorithmsfor approximating the image set of a nonlinear mapping, that is, a (possibly noisy) mapping of a set via a nonlinear function.We introduce minimum-volume approximations which have the characteristic of guaranteeing a low probability of violation, i.e.,we admit for a probability that some points in the image set are not contained in the approximating set,but this probability is kept below a pre-specified threshold.In the second part of the paper, this idea is then exploited to develop a new family of randomized prediction-corrector filters.These filters represent a natural extension and rapprochement of Gaussian and set-valued filters,and bear similarities with modern tools such as particle filters.


title: Resonances in two-electron atoms below the critical charge

abstract: The critical nuclear charge Zc required for a heliumlike atom to have at least one bound state was recently determined with high accuracy from variational calculations. Analysis of the wave functions further suggested that the bound state changes smoothly into a shape resonance as Z crosses the critical value. Using variational calculations combined with the complex coordinate rotation method, we study the energy and width of the resonance for Z \textless{} Zc, thus providing direct evidence of the validity of this hypothesis. The variation of the resonance width with Z is found to be in good agreement with a model derived from analysis of the 1/Z perturbation series.


abstract: We consider the elastic energy of a hanging drape -- a thin elastic sheet, pulled down by the force of gravity, with fine-scale folding at the top that achieves approximately uniform confinement. This example of energy-driven pattern formation in a thin elastic sheet is of particular interest because the length scale of folding varies with height. We focus on how the minimum elastic energy depends on the physical parameters. As the sheet thickness vanishes, the limiting energy is due to the gravitational force and is relatively easy to understand. Our main accomplishment is to identify the "scaling law" of the correction due to positive thickness. We do this by (i) proving an upper bound, by considering the energies of several constructions and taking the best; (ii) proving an ansatz-free lower bound, which agrees with the upper bound up to a parameter-independent prefactor. The coarsening of folds in hanging drapes has also been considered in the recent physics literature, using a self-similar construction whose basic cell has been called a "wrinklon." Our results complement and extend that work, by showing that self-similar coarsening achieves the optimal scaling law in a certain parameter regime, and by showing that other constructions (involving lateral spreading of the sheet) do better in other regions of parameter space. Our analysis uses a geometrically linear F\"{o}ppl-von K\'{a}rm\'{a}n model for the elastic energy, and is restricted to the case when Poisson's ratio is zero.

categories: math.AP cond-mat.mtrl-sci cond-mat.soft math-ph math.MP


title: Nuclear shape coexistence in Po isotopes: An interacting boson model study

abstract: Background: The lead region, Po, Pb, Hg, and Pt, shows up the presence of coexisting structures having different deformation and corresponding to different particle-hole configurations in the Shell Model language. Purpose: We intend to study the importance of configuration mixing in the understanding of the nuclear structure of even-even Po isotopes, where the shape coexistence phenomena are not clear enough. Method: We study in detail a long chain of polonium isotopes, 190-208Po, using the interacting boson model with configuration mixing (IBM-CM). We fix the parameters of the Hamiltonians through a least-squares fit to the known energies and absolute B(E2) transition rates of states up to 3 MeV. Results: We obtained the IBM-CM Hamiltonians and we calculate excitation energies, B(E2)'s, electric quadrupole moments, nuclear radii and isotopic shifts, quadrupole shape invariants, wave functions, and deformations. Conclusions: We obtain a good agreement with the experimental data for all the studied observables and we conclude that shape coexistence phenomenon is hidden in Po isotopes, very much as in the case of the Pt isotopes.


title: AFDI: A Virtualization-based Accelerated Fault Diagnosis Innovation for High Availability Computing

abstract: Fault diagnosis has attracted extensive attention for its importance in the exceedingly fault management framework for cloud virtualization, despite the fact that fault diagnosis becomes more difficult due to the increasing scalability and complexity in a heterogeneous environment for a virtualization technique. Most existing fault diagnoses methods are based on active probing techniques which can be used to detect the faults rapidly and precisely. However, most of those methods suffer from the limitation of traffic overhead and diagnosis of faults, which leads to a reduction in system performance. In this paper, we propose a new hybrid model named accelerated fault diagnosis invention (AFDI) to monitor various system metrics for VMs and physical server hosting, such as CPU, memory, and network usages based on the severity of fault levels and anomalies. The proposed method takes the advantages of the multi-valued decision diagram (MDD), A Naive Bayes Classifier (NBC) models and virtual sensors cloud to achieve high availability for cloud services.


title: Using Feature Models for Distributed Deployment in Extended Smart Home Architecture

abstract: Nowadays, smart home is extended beyond the house itself to encompass connected platforms on the Cloud as well as mobile personal devices. This Smart Home Extended Architecture (SHEA) helps customers to remain in touch with their home everywhere and any time. The endless increase of connected devices in the home and outside within the SHEA multiplies the deployment possibilities for any application. Therefore, SHEA should be taken from now as the actual target platform for smart home application deployment. Every home is different and applications offer different services according to customer preferences. To manage this variability, we extend the feature modeling from software product line domain with deployment constraints and we present an example of a model that could address this deployment challenge.


title: Plaquette-triplon analysis of magnetic disorder and order in a trimerized spin-1 Kagom\'e antiferromagnet

abstract: A spin-1 Heisenberg model on trimerized Kagom\'e lattice is studied by doing a low-energy bosonic theory in terms of plaquette-triplons defined on its triangular unit-cells. The model has an intra-triangle antiferromagnetic exchange interaction, $J$ (set to 1), and two inter-triangle couplings, $J^\prime>0$ (nearest-neighbor) and $J^{\prime\prime}$ (next-nearest-neighbor; of both signs). The triplon analysis of this model studies the stability of the trimerized singlet (TS) ground state in the $J^\prime$-$J^{\prime\prime}$ plane. It gives a quantum phase diagram that has two gapless antiferromagnetically (AF) ordered phases separated by the spin-gapped TS phase. The TS ground state is found to be stable on $J^{\prime\prime}=0$ line (the nearest-neighbor case), and on both sides of it for $J^{\prime\prime}\neq 0$, in an extended region bounded by the critical lines of transition to the gapless AF phases. The gapless phase in the negative $J^{\prime\prime}$ region has a $\sqrt{3}\times\sqrt{3}$ coplanar $120^\circ$-AF order, with all the moments of equal length and relative angles of $120^\circ$. The other AF phase, in the positive $J^{\prime\prime}$ region, is found to exhibit a different coplanar order with ordering wave vector ${\bf q}=(0,0)$. Here, two magnetic moments in a triangle are of same magnitude, but shorter than the third. While the angle between the two short moments is $120^\circ-2\delta$, it is $120^\circ+\delta$ between a short and the long one. Only when $J^{\prime\prime}=J^\prime$, their magnitudes become equal and the relative-angles $120^\circ$. This ${\bf q}=(0,0)$ phase has the translational symmetry of the Kagom\'e lattice with isosceles triangular unit-cells. The ratio of the intensities of certain Bragg peaks, $I_{(1,0)}/I_{(0,1)} = 4\sin^2{(\frac{\pi}{6}+\delta)}$, presents an experimental measure of the deviation, $\delta$, from the $120^\circ$ order.


title: A natural extension of the conformal Lorentz group in a field theory context

abstract: In this paper a finite dimensional unital associative algebra is presented, and its group of algebra automorphisms is detailed. The studied algebra can physically be understood as the creation operator algebra in a formal quantum field theory at fixed momentum for a spin 1/2 particle along with its antiparticle. It is shown that the essential part of the corresponding automorphism group can naturally be related to the conformal Lorentz group. In addition, the non-semisimple part of the automorphism group can be understood as "dressing" of the pure one-particle states. The studied mathematical structure may help in constructing quantum field theories in a non-perturbative manner. In addition, it provides a simple example of circumventing Coleman-Mandula theorem using non-semisimple groups, without SUSY.


title: Expanding Earth and Static Universe: Two Papers of 1935

abstract: The German-born astronomer Jacob K. E. Halm (1866-1944) wrote in 1935 two papers on quite different subjects, one an astrophysically based argument for the expanding Earth and the other a no less original attempt to explain the galactic redshifts on the basis of a static universe. Of course, Halm was wrong in both cases. The second of the papers is reproduced in toto and compared to other early attempts to avoid the expansion of the universe by means of "tired light" explanations of the redshifts. Although often referred to in the literature on the expanding Earth, the content of Halm's first paper is not well known. This article also provides a brief account of Halm's life and scientific career, which included important studies of the solar spectrum (the "limb effect") and the first version of the mass-luminosity relation for stars.


title: Posterior Model Consistency in Variable Selection as the Model Dimension Grows

abstract: Most of the consistency analyses of Bayesian procedures for variable selection in regression refer to pairwise consistency, that is, consistency of Bayes factors. However, variable selection in regression is carried out in a given class of regression models where a natural variable selector is the posterior probability of the models. In this paper we analyze the consistency of the posterior model probabilities when the number of potential regressors grows as the sample size grows. The novelty in the posterior model consistency is that it depends not only on the priors for the model parameters through the Bayes factor, but also on the model priors, so that it is a useful tool for choosing priors for both models and model parameters. We have found that some classes of priors typically used in variable selection yield posterior model inconsistency, while mixtures of these priors improve this undesirable behavior. For moderate sample sizes, we evaluate Bayesian pairwise variable selection procedures by comparing their frequentist Type I and II error probabilities. This provides valuable information to discriminate between the priors for the model parameters commonly used for variable selection.


title: Randomization beats Second Price as a Prior-Independent Auction

abstract: Designing revenue optimal auctions for selling an item to $n$ symmetric bidders is a fundamental problem in mechanism design. Myerson (1981) shows that the second price auction with an appropriate reserve price is optimal when bidders' values are drawn i.i.d. from a known regular distribution. A cornerstone in the prior-independent revenue maximization literature is a result by Bulow and Klemperer (1996) showing that the second price auction without a reserve achieves $(n-1)/n$ of the optimal revenue in the worst case. We construct a randomized mechanism that strictly outperforms the second price auction in this setting. Our mechanism inflates the second highest bid with a probability that varies with $n$. For two bidders we improve the performance guarantee from $0.5$ to $0.512$ of the optimal revenue. We also resolve a question in the design of revenue optimal mechanisms that have access to a single sample from an unknown distribution. We show that a randomized mechanism strictly outperforms all deterministic mechanisms in terms of worst case guarantee.


title: Solutions to complex smoothing equations

abstract: We consider smoothing equations of the form $$X ~\stackrel{\mathrm{law}}{=}~ \sum_{j \geq 1} T_j X_j + C$$ where $(C,T_1,T_2,\ldots)$ is a given sequence of random variables and $X_1,X_2,\ldots$ are independent copies of $X$ and independent of the sequence $(C,T_1,T_2,\ldots)$. The focus is on complex smoothing equations, i.e., the case where the random variables $X, C,T_1,T_2,\ldots$ are complex-valued, but also more general multivariate smoothing equations are considered, in which the $T_j$ are similarity matrices. Under mild assumptions on $(C,T_1,T_2,\ldots)$, we describe the laws of all random variables $X$ solving the above smoothing equation. These are the distributions of randomly shifted and stopped L\'evy processes satisfying a certain invariance property called $(U,\alpha)$-stability, which is related to operator (semi)stability. The results are applied to various examples from applied probability and statistical physics.


title: Sensing and Control in Symmetric Networks

abstract: In engineering applications, one of the major challenges today is to develop reliable and robust control algorithms for complex networked systems. Controllability and observability of such systems play a crucial role in the design process. The underlying network structure may contain symmetries -- caused for example by the coupling of identical building blocks -- and these symmetries lead to repeated eigenvalues in a generic way. This complicates the design of controllers since repeated eigenvalues might decrease the controllability of the system. In this paper, we will analyze the relationship between the controllability and observability of complex networked systems and graph symmetries using results from representation theory. Furthermore, we will propose an algorithm to compute sparse input and output matrices based on projections onto the isotypic components. We will illustrate our results with the aid of two guiding examples, a network with $ D_4 $ symmetry and the Petersen graph.


title: Unraveling the pattern of the $XYZ$ mesons

abstract: We present a plausible mechanism for the origin of the $XYZ$ mesons in the heavy meson spectra within a standard quark-model picture. We discuss the conditions required for the existence of four--quark bound states or resonances contributing to the heavy meson spectra, being either compact or molecular. We concentrate on charmonium and bottomonium spectra, where several new states, difficult to understand as simple quark-antiquark pairs, have been reported by different experimental collaborations. The pivotal role played by entangled meson-meson thresholds is emphasized.


title: Multiquark contributions to charm baryon spectroscopy

abstract: We study possible multiquark contributions to the charm baryon spectrum by considering higher order Fock space components. For this purpose we perform two different calculations. In a first approach we do a coupled-channel calculation of the $ND$ system looking for molecular states. In a second step we allow for the coupling to a heavy baryon--light meson two-hadron system looking for compact exotic five--quark structures. Both calculations have been done within the framework of a chiral constituent quark model. The model, tuned in the description of the baryon and meson spectra as well as the $NN$ interaction, provides parameter-free predictions for charm $+1$ molecular or compact two-hadron systems. Unlike the $N \bar D$ system, no sharp quark-Pauli effects are found. However, the existence of different two-hadron thresholds for the five-quark system will make the coupled-channel dynamics relevant. Only a few channels are candidates to lodge molecular or compact hadrons with a five-quark structure, being specially relevant the $(T)J^P=(0)1/2^-$ and $(T)J^P=(2)5/2^-$ channels. The identification of molecular states and/or compact hadrons with multiquark components either with or without exotic quantum numbers is a challenge of different collaborations like $\bar {\rm P}$ANDA, LHCb, ExHIC or J-PARC.


title: Magellan LDSS3 emission confirmation of galaxies hosting metal-rich Lyman-alpha absorption systems

abstract: Using the Low Dispersion Survey Spectrograph 3 at the Magellan II Clay Telescope, we target {candidate absorption host galaxies} detected in deep optical imaging {(reaching limiting apparent magnitudes of 23.0-26.5 in $g, r, i,$ and $z$ filters) in the fields of three QSOs, each of which shows the presence of high metallicity, high $N_{\rm HI}$ absorption systems in their spectra (Q0826-2230: $z_{abs}$=0.9110, Q1323-0021: $z_{abs}=0.7160$, Q1436-0051: $z_{abs}=0.7377, 0.9281$). We confirm three host galaxies {at redshifts 0.7387, 0.7401, and 0.9286} for two of the Lyman-$\alpha$ absorption systems (one with two galaxies interacting). For these systems, we are able to determine the star formation rates (SFRs); impact parameters (from previous imaging detections); the velocity shift between the absorption and emission redshifts; and, for one system, also the emission metallicity.} Based on previous photometry, we find these galaxies have L$>$L$^{\ast}$. The [O II] SFRs for these galaxies are in the range $11-25$ M$_{\odot}$ yr$^{-1}$ {(uncorrected for dust)}, while the impact parameters lie in the range $35-54$ kpc. {Despite the fact that we have confirmed galaxies at 50 kpc from the QSO, no gradient in metallicity is indicated between the absorption metallicity along the QSO line of sight and the emission line metallicity in the galaxies.} We confirm the anti-correlation between impact parameter and $N_{\rm HI}$ from the literature. We also report the emission redshift of five other galaxies: three at $z_{em}>z_{QSO}$, and two (L$<$L$^{\ast}$) at $z_{em}<z_{QSO}$ not corresponding to any known absorption systems.


title: Mixing coded systems

abstract: We show that a coded system is mixing if and only if it is totally transitive and if in addition it has a relatively prime generator, then it has strong property P. We continue by showing that a mixing half-synchronized system has such a generator. Moreover, we give an example of a mixing coded system which does not have any relatively prime generator.


title: Determination of the Galactic Rotation Curve from OB Stars

abstract: We consider three samples of O- and B-type stars from the solar neighborhood 0.6--4 kpc for which we have taken the distances, line-of-sight velocities, and proper motions from published sources. The first sample contains 120 massive spectroscopic binaries. O stars with spectroscopic distances from Patriarchi et al. constitute the second sample. The third sample consists of 168 OB3 stars whose distances have been determined from interstellar calcium lines. The angular velocity of Galactic rotation at the solar distance $\Omega_0,$ its two derivatives $\Omega'_0$ and $\Omega"_0,$ and the peculiar velocity components of the Sun $(U,V,W)_\odot$ are shown to be well determined from all three samples of stars. They are determined with the smallest errors from the sample of spectroscopic binary stars and the sample of stars with the calcium distance scale. The fine structure of the velocity field associated with the influence of the Galactic spiral density wave clearly manifests itself in the radial velocities of spectroscopic binary stars and in the sample of stars with the calcium distance scale.


title: Probabilistic Programming in Python using PyMC

abstract: Probabilistic programming (PP) allows flexible specification of Bayesian statistical models in code. PyMC3 is a new, open-source PP framework with an intutive and readable, yet powerful, syntax that is close to the natural syntax statisticians use to describe models. It features next-generation Markov chain Monte Carlo (MCMC) sampling algorithms such as the No-U-Turn Sampler (NUTS; Hoffman, 2014), a self-tuning variant of Hamiltonian Monte Carlo (HMC; Duane, 1987). Probabilistic programming in Python confers a number of advantages including multi-platform compatibility, an expressive yet clean and readable syntax, easy integration with other scientific libraries, and extensibility via C, C++, Fortran or Cython. These features make it relatively straightforward to write and use custom statistical distributions, samplers and transformation functions, as required by Bayesian analysis.


title: Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks

abstract: We present two extensions of the LF Constructive Type Theory featuring monadic locks. A lock is a monadic type construct that captures the effect of an external call to an oracle. Such calls are the basic tool for gluing together diverse Type Theories and proof development environments. The oracle can be invoked either to check that a constraint holds or to provide a suitable witness. The systems are presented in the canonical style developed by the CMU School. The first system, CLLFP, is the canonical version of the system LLFP, presented earlier by the authors. The second system, CLLFP?, features the possibility of invoking the oracle to obtain a witness satisfying a given constraint. We discuss encodings of Fitch-Prawitz Set theory, call-by-value lambda-calculi, and systems of Light Linear Logic. Finally, we show how to use Fitch-Prawitz Set Theory to define a type system that types precisely the strongly normalizing terms.


title: An Open Challenge Problem Repository for Systems Supporting Binders

abstract: A variety of logical frameworks support the use of higher-order abstract syntax in representing formal systems; however, each system has its own set of benchmarks. Even worse, general proof assistants that provide special libraries for dealing with binders offer a very limited evaluation of such libraries, and the examples given often do not exercise and stress-test key aspects that arise in the presence of binders. In this paper we design an open repository ORBI (Open challenge problem Repository for systems supporting reasoning with BInders). We believe the field of reasoning about languages with binders has matured, and a common set of benchmarks provides an important basis for evaluation and qualitative comparison of different systems and libraries that support binders, and it will help to advance the field.


title: A Case Study on Logical Relations using Contextual Types

abstract: Proofs by logical relations play a key role to establish rich properties such as normalization or contextual equivalence. They are also challenging to mechanize. In this paper, we describe the completeness proof of algorithmic equality for simply typed lambda-terms by Crary where we reason about logically equivalent terms in the proof environment Beluga. There are three key aspects we rely upon: 1) we encode lambda-terms together with their operational semantics and algorithmic equality using higher-order abstract syntax 2) we directly encode the corresponding logical equivalence of well-typed lambda-terms using recursive types and higher-order functions 3) we exploit Beluga's support for contexts and the equational theory of simultaneous substitutions. This leads to a direct and compact mechanization, demonstrating Beluga's strength at formalizing logical relations proofs.


title: Proof-relevant pi-calculus

abstract: Formalising the pi-calculus is an illuminating test of the expressiveness of logical frameworks and mechanised metatheory systems, because of the presence of name binding, labelled transitions with name extrusion, bisimulation, and structural congruence. Formalisations have been undertaken in a variety of systems, primarily focusing on well-studied (and challenging) properties such as the theory of process bisimulation. We present a formalisation in Agda that instead explores the theory of concurrent transitions, residuation, and causal equivalence of traces, which has not previously been formalised for the pi-calculus. Our formalisation employs de Bruijn indices and dependently-typed syntax, and aligns the "proved transitions" proposed by Boudol and Castellani in the context of CCS with the proof terms naturally present in Agda's representation of the labelled transition relation. Our main contributions are proofs of the "diamond lemma" for residuation of concurrent transitions and a formal definition of equivalence of traces up to permutation of transitions.


title: Rewriting Modulo \beta in the \lambda\Pi-Calculus Modulo

abstract: The lambda-Pi-calculus Modulo is a variant of the lambda-calculus with dependent types where beta-conversion is extended with user-defined rewrite rules. It is an expressive logical framework and has been used to encode logics and type systems in a shallow way. Basic properties such as subject reduction or uniqueness of types do not hold in general in the lambda-Pi-calculus Modulo. However, they hold if the rewrite system generated by the rewrite rules together with beta-reduction is confluent. But this is too restrictive. To handle the case where non confluence comes from the interference between the beta-reduction and rewrite rules with lambda-abstraction on their left-hand side, we introduce a notion of rewriting modulo beta for the lambda-Pi-calculus Modulo. We prove that confluence of rewriting modulo beta is enough to ensure subject reduction and uniqueness of types. We achieve our goal by encoding the lambda-Pi-calculus Modulo into Higher-Order Rewrite System (HRS). As a consequence, we also make the confluence results for HRSs available for the lambda-Pi-calculus Modulo.


title: Sequent Calculus and Equational Programming

abstract: Proof assistants and programming languages based on type theories usually come in two flavours: one is based on the standard natural deduction presentation of type theory and involves eliminators, while the other provides a syntax in equational style. We show here that the equational approach corresponds to the use of a focused presentation of a type theory expressed as a sequent calculus. A typed functional language is presented, based on a sequent calculus, that we relate to the syntax and internal language of Agda. In particular, we discuss the use of patterns and case splittings, as well as rules implementing inductive reasoning and dependent products and sums.


title: Neimark--Sacker bifurcation and evidence of chaos in a discrete dynamical model of walkers

abstract: Bouncing droplets on a vibrating fluid bath can exhibit wave-particle behavior, such as being propelled by interacting with its own wave field. These droplets seem to walk across the bath, and thus are dubbed walkers. Experiments have shown that walkers can exhibit exotic dynamical behavior indicative of chaos. While the integro-differential models developed for these systems agree well with the experiments, they are difficult to analyze mathematically. In recent years, simpler discrete dynamical models have been derived and studied numerically. The numerical simulations of these models show evidence of exotic dynamics such as period doubling bifurcations, Neimark--Sacker (N--S) bifurcations, and even chaos. For example, in [Gilet, PRE 2014], based on simulations Gilet conjectured the existence of a supercritical N-S bifurcation as the damping factor in his one-dimensional path model. We prove Gilet's conjecture and more; in fact, both supercritical and subcritical (N-S) bifurcations are produced by separately varying the damping factor and wave-particle coupling for all eigenmode shapes. Then we compare our theoretical results with some previous and new numerical simulations, and find complete qualitative agreement. Furthermore, evidence of chaos is shown by numerically studying a global bifurcation.


title: Analytical properties of a three-compartmental dynamical demographic model

abstract: The three-compartmental demographic model by Korotaeyv-Malkov-Khaltourina, connecting population size, economic surplus, and educational level, is considered from the point of view of dynamical systems theory. It is shown that there exist two integrals of motion, which enable the system to be reduced to one non-linear ordinary differential equation. The study of its structure provides analytical criteria for the dominance ranges of the dynamics of Malthus and Kremer. Additionally, the particular ranges of parameters enable the derived general ordinary differential equations to be reduced to the models of Gompertz and Thoularis-Wallace.


title: Relating Double Field Theory to the Scalar Potential of N=2 Gauged Supergravity

abstract: The double field theory action in the flux formulation is dimensionally reduced on a Calabi-Yau three-fold equipped with non-vanishing type IIB geometric and non-geometric fluxes. First, we rewrite the metric-dependent reduced DFT action in terms of quantities that can be evaluated without explicitly knowing the metric on the Calabi-Yau manifold. Second, using properties of special geometry we obtain the scalar potential of N=2 gauged supergravity. After an orientifold projection, this potential is consistent with the scalar potential arising from the flux-induced superpotential, plus an additional D-term contribution.


title: Root Graded Lie Superalgebras

abstract: We define root graded Lie superalgebras and study their connection with centerless cores of extended affine Lie superalgebras; our definition generalizes the known notions of root graded Lie superalgebras.


title: Nonexistence of a $\Lambda nn$ bound state

abstract: It has been recently suggested the existence of a neutral bound state of two neutrons and a $\Lambda$ hyperon, $^3_\Lambda n$. We point out that using either simple separable potentials or a full-fledged calculation with realistic baryon-baryon interactions derived from the constituent quark cluster model there is no possibility for the existence of such a $\Lambda nn$ bound state. For this purpose, we performed a full Faddeev calculation of the $\Lambda nn$ system in the $(I,J^P)=(1,1/2^+)$ channel using the interactions derived from the constituent quark cluster model which describe well the two-body $NN$ and $NY$ data and the $\Lambda np$ hypertriton.


title: Coherent organization in gene regulation: a study on six networks

abstract: Structural and dynamical fingerprints of evolutionary optimization in biological networks are still unclear. We here analyze the dynamics of genetic regulatory networks responsible for the regulation of cell cycle and cell differentiation in three organisms or cell types each, and show that they obey a version of Hebb's rule which we term as coherence. More precisely, we find that simultaneously expressed genes with a common target are less likely to conflict at the attractors of the regulatory dynamics. We then investigate the dependence of coherence on structural parameters, such as the mean number of inputs per node and the activatory/repressory interaction ratio, as well as on dynamically determined quantities, such as the basin size and the number of expressed genes.


title: Canonical Quantization of The Dissipative Hofstadter Model

abstract: We perform canonical quantization of the dissipative Hofstadter model, which has a wide range of applications in condensed matter physics and string theory. The target space duality and the non-commutative algebra developed in string theory are discussed for the model. We show that the target space duality transformation of closed string theory, $O(2,2;R)$, removes the interaction with a uniform magnetic field. The $O(2,2;R)$ dual transformation changes the basis of oscillator operators so that the algebra of the string coordinate operators at the boundary become non-commutative. In the zero temperature limit, the non-commutative algebra of open string theory emerges. We also developed the boundary state formulation for the dissipative Hofstadter model.


title: Collaborative Representation Classification Ensemble for Face Recognition

abstract: Collaborative Representation Classification (CRC) for face recognition attracts a lot attention recently due to its good recognition performance and fast speed. Compared to Sparse Representation Classification (SRC), CRC achieves a comparable recognition performance with 10-1000 times faster speed. In this paper, we propose to ensemble several CRC models to promote the recognition rate, where each CRC model uses different and divergent randomly generated biologically-inspired features as the face representation. The proposed ensemble algorithm calculates an ensemble weight for each CRC model that guided by the underlying classification rule of CRC. The obtained weights reflect the confidences of those CRC models where the more confident CRC models have larger weights. The proposed weighted ensemble method proves to be very effective and improves the performance of each CRC model significantly. Extensive experiments are conducted to show the superior performance of the proposed method.


title: Solving SDP Completely with an Interior Point Oracle

abstract: We suppose the existence of an oracle which solves any semidefinite programming (SDP) problem satisfying Slater's condition simultaneously at its primal and dual sides. We note that such an oracle might not be able to directly solve general SDPs even after certain regularization schemes are applied. In this work we fill this gap and show how to use such an oracle to "completely solve" an arbitrary SDP. Completely solving an SDP, includes, for example, distinguishing between weak/strong feasibility/infeasibility and detecting when the optimal value is attained or not. We will employ several tools, including a variant of facial reduction where all auxiliary problems are ensured to satisfy Slater's condition at all sides. Our main technical innovation, however, is an analysis of double facial reduction, which is the process of applying facial reduction twice: first to the original problem and then once more to the dual of the regularized problem obtained during the first run. Although our discussion is focused on semidefinite programming, the majority of the results are proved for general convex cones


title: The Gaia-ESO Survey: Characterisation of the [alpha/Fe] sequences in the Milky Way discs

abstract: We investigate, using the Gaia-ESO Survey internal Data-Release 2, the properties of the double sequence of the Milky Way discs (defined chemically as the high-alpha and low-alpha populations), and discuss their compatibility with discs defined by other means such as metallicity, kinematics or positions. This investigation uses two different approaches: in velocity space for stars located in the extended Solar neighbourhood, and in chemical space for stars at different ranges of Galactocentric radii and heights from the plane. The separation we find in velocity space allows us to investigate, in a novel manner, the extent in metallicity of each of the two sequences, identifying them with the two discs, without making any assumption about the shape of their metallicity distribution functions. Then, using the separation in chemical space, we characterise the spatial variation of the slopes of the [alpha/Fe] - [Fe/H] sequences for the thick and thin discs and the way in which the relative proportions of the two discs change across the Galaxy. We find that the thick disc (high-alpha sequence), extends up to [Fe/H]~ +0.2 and the thin disc (low-alpha sequence), at least down to [Fe/H]~ -0.8. Radial and vertical gradients in alpha-abundances are found for the thin disc, with mild spatial variations in its [alpha/Fe] - [Fe/H] paths, whereas for the thick disc we do not detect any such spatial variations. The small variations in the spatial [alpha/Fe] - [Fe/H] paths of the thin disc do not allow us to distinguish between formation models of this structure. On the other hand, the lack of radial gradients and [alpha/Fe] - [Fe/H] variations for the thick disc indicate that the mechanism responsible for the mixing of the metals in the young Galaxy (e.g. radial stellar migration or turbulent gaseous disc) was more efficient before the (present) thin disc started forming.


title: LHC $\tau$-rich Tests of Lepton-specific 2HDM for $(g-2)_\mu$

abstract: The lepton-sepcific (or type X) 2HDM (L2HDM) is an attractive new physics candidate explaining the muon $g-2$ anomaly requiring a light CP-odd boson $A$ and large $\tan\beta$. This scenario leads to $\tau$-rich signatures, such as $3\tau$, $4\tau$ and $4\tau+W/Z$, which can be readily accessible at the LHC. We first study the whole L2HDM parameter space to identify allowed regions of extra Higgs boson masses as well as two couplings $\lambda_{hAA}$ and $\xi_h^l$ which determine the 125 GeV Higgs boson decays $h\to \tau^+\tau^-$ and $h\to AA/AA^*(\tau^+\tau^-)$, respectively. This motivates us to set up two regions of interest: (A) $m_A \ll m_{H} \sim m_{H^\pm}$, and (B) $m_A \sim m_{H^\pm} \sim {\cal O}(100) \mbox{GeV} \ll m_H$, for which derive the current constraints by adopting the chargino-neutralino search at the LHC8, and then analyze the LHC14 prospects by implementing $\tau$-tagging algorithm. A correlated study of the upcoming precision determination of the 125 GeV Higgs boson decay properties as well as the observation of multi-tau events at the next runs of LHC will be able to shed light on the L2HDM option for the muon $g-2$.


title: Anharmonic Noncommutative Oscillator at Finite Temperature

abstract: Classical and quantum anharmonic noncommutative oscillators with quartic self-interacting potential are considered and the effect of self-interaction term on the free energy and partition function of both models is calculated to first order in coupling constant.


title: Small Area Predictors with Dual Shrinkage of Means and Variances

abstract: The paper concerns small-area estimation in the Fay-Herriot type area-level model with random dispersions, which models the case that the sampling errors change from area to area. The resulting Bayes estimator shrinks both means and variances, but needs numerical computation to provide the estimates. In this paper, an approximated empirical Bayes (AEB) estimator with a closed form is suggested. The model parameters are estimated via the moment method, and the mean squared error of the AEB is estimated via the single parametric bootstrap method. The benchmarked estimator and a second-order unbiased estimator of the mean squared error are also derived.


title: Using the chromatic Rossiter-McLaughlin effect to probe the broadband signature in the optical transmission spectrum of HD 189733b

abstract: Transmission spectroscopy is a powerful technique for probing exoplanetary atmospheres. A successful ground-based observational method uses a differential technique based on high-dispersion spectroscopy, but that only preserves narrow features in transmission spectra. Here we use the chromatic Rossiter-McLaughlin (RM) effect to measure the Rayleigh-scattering slope in the transmission spectrum of HD 189733b with the aim to show that it can be effectively used to measure broadband transmission features. The amplitude of the RM effects depends on the effective size of the planet, and in the case of an atmospheric contribution therefore depends on the observed wavelength. We analysed archival HARPS data of three transits of HD 189733b, covering a wavelength range of 400 to 700 nm. We measured the slope in the transmission spectrum of HD 189733b at a $2.5\sigma$ significance. Assuming it is due to Rayleigh scattering and not caused by stellar activity, it would correspond to an atmospheric temperature, as set by the scale height, of $T = 2300 \pm 900 \mathrm{K}$, well in line with previously obtained results. This shows that ground-based high-dispersion spectral observations can be used to probe broad-band features in the transmission spectra of extrasolar planets, by using the chromatic RM effect. This method will be particularly interesting in conjunction with the new echelle spectrograph ESPRESSO, which currently is under construction for ESOs Very Large Telescope and will provide a gain in signal-to-noise ratio of about a factor 4 compared to HARPS. This will be of great value because of the limited and uncertain future of the Hubble Space Telescope and because the future James Webb Space Telescope will not cover this wavelength regime.


title: Private Stream Aggregation Revisited

abstract: In this work, we investigate the problem of private statistical analysis in the distributed and semi-honest setting. In particular, we study properties of Private Stream Aggregation schemes, first introduced by Shi et al. \cite{2}. These are computationally secure protocols for the aggregation of data in a network and have a very small communication cost. We show that such schemes can be built upon any key-homomorphic \textit{weak} pseudo-random function. Thus, in contrast to the aforementioned work, our security definition can be achieved in the \textit{standard model}. In addition, we give a computationally efficient instantiation of this protocol based on the Decisional Diffie-Hellman problem. Moreover, we show that every mechanism which preserves $(\epsilon,\delta)$-differential privacy provides \textit{computational} $(\epsilon,\delta)$-differential privacy when it is executed through a Private Stream Aggregation scheme. Finally, we introduce a novel perturbation mechanism based on the \textit{Skellam distribution} that is suited for the distributed setting, and compare its performances with those of previous solutions.


title: Investigating the interplay between fundamentals of national research systems: performance, investments and international collaborations

abstract: We discuss, at the macro-level of nations, the contribution of research funding and rate of international collaboration to research performance, with important implications for the science of science policy. In particular, we cross-correlate suitable measures of these quantities with a scientometric-based assessment of scientific success, studying both the average performance of nations and their temporal dynamics in the space defined by these variables during the last decade. We find significant differences among nations in terms of efficiency in turning (financial) input into bibliometrically measurable output, and we confirm that growth of international collaboration positively correlate with scientific success, with significant benefits brought by EU integration policies. Various geo-cultural clusters of nations naturally emerge from our analysis. We critically discuss the possible factors that potentially determine the observed patterns.


title: Communication: Words and Conceptual Systems

abstract: Words (phrases or symbols) play a key role in human life. Word (phrase or symbol) representation is the fundamental problem for knowledge representation and understanding. A word (phrase or symbol) usually represents a name of a category. However, it is always a challenge that how to represent a category can make it easily understood. In this paper, a new representation for a category is discussed, which can be considered a generalization of classic set. In order to reduce representation complexity, the economy principle of category representation is proposed. The proposed category representation provides a powerful tool for analyzing conceptual systems, relations between words, communication, knowledge, situations. More specifically, the conceptual system, word relations and communication are mathematically defined and classified such as ideal conceptual system, perfect communication and so on; relation between words and sentences is also studied, which shows that knowledge are words. Furthermore, how conceptual systems and words depend on situations is presented, and how truth is defined is also discussed.


title: STC Anti-spoofing Systems for the ASVspoof 2015 Challenge

abstract: This paper presents the Speech Technology Center (STC) systems submitted to Automatic Speaker Verification Spoofing and Countermeasures (ASVspoof) Challenge 2015. In this work we investigate different acoustic feature spaces to determine reliable and robust countermeasures against spoofing attacks. In addition to the commonly used front-end MFCC features we explored features derived from phase spectrum and features based on applying the multiresolution wavelet transform. Similar to state-of-the-art ASV systems, we used the standard TV-JFA approach for probability modelling in spoofing detection systems. Experiments performed on the development and evaluation datasets of the Challenge demonstrate that the use of phase-related and wavelet-based features provides a substantial input into the efficiency of the resulting STC systems. In our research we also focused on the comparison of the linear (SVM) and nonlinear (DBN) classifiers.


title: Low Bit-Rate and High Fidelity Reversible Data Hiding

abstract: An accurate predictor is crucial for histogram-shifting (HS) based reversible data hiding methods. The embedding capacity is increased and the embedding distortion is decreased simultaneously if the predictor can generate accurate predictions. In this paper, we propose an accurate linear predictor based on weighted least squares (WLS) estimation. The robustness of WLS helps the proposed predictor generate accurate predictions, especially in complex texture areas of an image, where other predictors usually fail. To further reduce the embedding distortion, we propose a new embedding method called dynamic histogram shifting with pixel selection (DHS-PS) that selects not only the proper histogram bins but also the proper pixel locations to embed the given data. As a result, the proposed method can obtain very high fidelity marked images with low bit-rate data embedded. The experimental results show that the proposed method outperforms the state-of-the-art low bit-rate reversible data hiding method.


title: Cross-pose Face Recognition by Canonical Correlation Analysis

abstract: The pose problem is one of the bottlenecks in automatic face recognition. We argue that one of the diffculties in this problem is the severe misalignment in face images or feature vectors with different poses. In this paper, we propose that this problem can be statistically solved or at least mitigated by maximizing the intra-subject across-pose correlations via canonical correlation analysis (CCA). In our method, based on the data set with coupled face images of the same identities and across two different poses, CCA learns simultaneously two linear transforms, each for one pose. In the transformed subspace, the intra-subject correlations between the different poses are maximized, which implies pose-invariance or pose-robustness is achieved. The experimental results show that our approach could considerably improve the recognition performance. And if further enhanced with holistic+local feature representation, the performance could be comparable to the state-of-the-art.


title: Functional error estimators for the adaptive discretization of inverse problems

abstract: So-called functional error estimators provide a valuable tool for reliably estimating the discretization error for a sum of two convex functions. We apply this concept to Tikhonov regularization for the solution of inverse problems for partial differential equations, not only for quadratic Hilbert space regularization terms but also for nonsmooth Banach space penalties. Examples include the measure-space norm (i.e., sparsity regularization) or the indicator function of an $L^\infty$ ball (i.e., Ivanov regularization). The error estimators can be written in terms of residuals in the optimality system that can then be estimated by conventional techniques, thus leading to explicit estimators. This is illustrated by means of an elliptic inverse source problem with the above-mentioned penalties, and numerical results are provided for the case of sparsity regularization.


title: Study of the effect of semi-infinite crystalline electrodes on transmission of gold atomic wires using DFT

abstract: First principle calculations of the conductance of gold wires containing 3-8 atoms each with 2.39 {\AA} bond length were performed using density functional theory. Three different configuration of wire/electrodes were used. For zigzag wire with semi-infinite crystalline electrodes, even-odd oscillation is observed which is consistent with the previously reported results. A lower conductance was observed for the chain in semi-infinite crystalline electrodes compared to the chains suspended in wire-like electrode. The calculated transmission spectrum for the straight and zig-zag wires suspended between semi-infinite crystalline electrodes showed suppression of transmission channels due to electron scattering occurring at the electrode-wire interface.


title: Hopf normal form with $S_N$ symmetry and reduction to systems of nonlinearly coupled phase oscillators

abstract: Coupled oscillator models where $N$ oscillators are identical and symmetrically coupled to all others with full permutation symmetry $S_N$ are found in a variety of applications. Much, but not all, work on phase descriptions of such systems consider the special case of pairwise coupling between oscillators. In this paper, we show this is restrictive - and we characterise generic multi-way interactions between oscillators that are typically present, except at the very lowest order near a Hopf bifurcation where the oscillations emerge. We examine a network of identical weakly coupled dynamical systems that are close to a supercritical Hopf bifurcation by considering two parameters, $\epsilon$ (the strength of coupling) and $\lambda$ (an unfolding parameter for the Hopf bifurcation). For small enough $\lambda>0$ there is an attractor that is the product of $N$ stable limit cycles; this persists as a normally hyperbolic invariant torus for sufficiently small $\epsilon>0$. Using equivariant normal form theory, we derive a generic normal form for a system of coupled phase oscillators with $S_N$ symmetry. For fixed $N$ and taking the limit $0<\epsilon\ll\lambda\ll 1$, we show that the attracting dynamics of the system on the torus can be well approximated by a coupled phase oscillator system that, to lowest order, is the well-known Kuramoto-Sakaguchi system of coupled oscillators. The next order of approximation genericlly includes terms with up to four interacting phases, regardless of $N$. Using a normalization that maintains nontrivial interactions in the limit $N\rightarrow \infty$, we show that the additional terms can lead to new phenomena in terms of coexistence of two-cluster states with the same phase difference but different cluster size.


title: An Optimal Algorithm for Reconstructing Point Set Order Types from Radial Orderings

abstract: Let $P$ be a set of $n$ labeled points in the plane. The radial system of $P$ describes, for each $p\in P$, the order in which a ray that rotates around $p$ encounters the points in $P \setminus \{p\}$. This notion is related to the order type of $P$, which describes the orientation (clockwise or counterclockwise) of every ordered triple in $P$. Given only the order type, the radial system is uniquely determined and can easily be obtained. The converse, however, is not true. Indeed, let $R$ be the radial system of $P$, and let $T(R)$ be the set of all order types with radial system $R$ (we define $T(R) = \emptyset$ for the case that $R$ is not a valid radial system). Aichholzer et al. (Reconstructing Point Set Order Types from Radial Orderings, in ISAAC 2014) show that $T(R)$ may contain up to $n-1$ order types. They also provide polynomial-time algorithms to compute $T(R)$ when only $R$ is given. We describe a new algorithm for finding $T(R)$. The algorithm constructs the convex hulls of all possible point sets with the radial system $R$. After that, orientation queries on point triples can be answered in constant time. A representation of this set of convex hulls can be found in $O(n)$ queries to the radial system, using $O(n)$ additional processing time. This is optimal. Our results also generalize to abstract order types.