title: Highly Parallel Acoustic Assembly of Microparticles into Well-Ordered Colloidal Crystallites

abstract: The precise arrangement of microscopic objects is critical to the development of functional materials and ornately patterned surfaces. Here, we present an acoustics-based method for the rapid arrangement of microscopic particles into organized and programmable architectures, which are periodically spaced within a square assembly chamber. This macroscale device employs two-dimensional bulk acoustic standing waves to propel particles along the base of the chamber toward pressure nodes or antinodes, depending on the acoustic contrast factor of the particle, and is capable of simultaneously creating thousands of size-limited, isotropic and anisotropic assemblies within minutes. We pair experiments with Brownian dynamics simulations to model the migration kinetics and assembly patterns of spherical microparticles. We use these insights to predict and subsequently validate the onset of buckling of the assemblies into three-dimensional clusters by experiments upon increasing the acoustic pressure amplitude and the particle concentration. The simulations are also used to inform our experiments for the assembly of non-spherical particles, which are then recovered via fluid evaporation and directly inspected by electron microscopy. This method for assembly of particles offers several notable advantages over other approaches (e.g., magnetics, electrokinetics and optical tweezing) including simplicity, speed and scalability and can also be used in concert with other such approaches for enhancing the types of assemblies achievable.


title: Decay properties of smooth axially symmetric D-solutions to the steady Navier-Stokes equations

abstract: We investigate the decay properties of smooth axially symmetric D-solutions to the steady Navier-Stokes equations. The achievements of this paper are two folds. One is improved decay rates of $u_{\th}$ and $\na {\bf u}$, especially we show that $|u_{\th}(r,z)|\leq c\left(\f{\log r}{r}\right)^{\f 12}$ for any smooth axially symmetric D-solutions to the Navier-Stokes equations. These improvement are based on improved weighted estimates of $\om_{\th}$, integral representations of ${\bf u}$ in terms of $\bm{\om}=\textit{curl }{\bf u}$ and $A_p$ weight for singular integral operators, which yields good decay estimates for $(\na u_r, \na u_z)$ and $(\om_r, \om_{z})$, where $\bm{\om}= \om_r {\bf e}_r + \om_{\th} {\bf e}_{\th}+ \om_z {\bf e}_z$. Another is the first decay rate estimates in the $Oz$-direction for smooth axially symmetric flows without swirl. We do not need any small assumptions on the forcing term.


title: Constraints on binary neutron star merger product from short GRB observations

abstract: Binary neutron star mergers are strong gravitational wave (GW) sources and the leading candidates to interpret short duration gamma-ray bursts (SGRBs). Under the assumptions that SGRBs are produced by double neutron star mergers and that the X-ray plateau followed by a steep decay as observed in SGRB X-ray light curves marks the collapse of a supra-massive neutron star to a black hole (BH), we use the statistical observational properties of {\em Swift} SGRBs and the mass distribution of Galactic double neutron star systems to place constraints on the neutron star equation of state (EoS) and the properties of the post-merger product. We show that current observations already put following interesting constraints: 1) A neutron star EoS with a maximum mass close to a parameterization of $M_{\rm max} = 2.37\,M_\odot (1+1.58\times10^{-10} P^{-2.84})$ is favored; 2) The fractions for the several outcomes of NS-NS mergers are as follows: $\sim40\%$ prompt BHs, $\sim30\%$ supra-massive NSs that collapse to BHs in a range of delay time scales, and $\sim30\%$ stable NSs that never collapse; 3) The initial spin of the newly born supra-massive NSs should be near the breakup limit ($P_i\sim1 {\rm ms}$), which is consistent with the merger scenario; 4) The surface magnetic field of the merger products is typically $\sim 10^{15}$ G; 5) The ellipticity of the supra-massive NSs is $\epsilon \sim (0.004 - 0.007)$, so that strong GW radiation is released post the merger; 6) Even though the initial spin energy of the merger product is similar, the final energy output of the merger product that goes into the electromagnetic channel varies in a wide range from several $10^{49}$ erg to several $10^{52}$ erg, since a good fraction of spin energy is either released in the form of GW or falls into the black hole as the supra-massive NS collapses.


title: PAC Learning-Based Verification and Model Synthesis

abstract: We introduce a novel technique for verification and model synthesis of sequential programs. Our technique is based on learning a regular model of the set of feasible paths in a program, and testing whether this model contains an incorrect behavior. Exact learning algorithms require checking equivalence between the model and the program, which is a difficult problem, in general undecidable. Our learning procedure is therefore based on the framework of probably approximately correct (PAC) learning, which uses sampling instead and provides correctness guarantees expressed using the terms error probability and confidence. Besides the verification result, our procedure also outputs the model with the said correctness guarantees. Obtained preliminary experiments show encouraging results, in some cases even outperforming mature software verifiers.


title: Brillouin-Wigner theory for high-frequency expansion in periodically driven systems: Application to Floquet topological insulators

abstract: We construct a systematic high-frequency expansion for periodically driven quantum systems based on the Brillouin-Wigner (BW) perturbation theory, which generates an effective Hamiltonian on the projected zero-photon subspace in the Floquet theory, reproducing the quasienergies and eigenstates of the original Floquet Hamiltonian up to desired order in $1/\omega$, with $\omega$ being the frequency of the drive. The advantage of the BW method is that it is not only efficient in deriving higher-order terms, but even enables us to write down the whole infinite series expansion, as compared to the van Vleck degenerate perturbation theory. The expansion is also free from a spurious dependence on the driving phase, which has been an obstacle in the Floquet-Magnus expansion. We apply the BW expansion to various models of noninteracting electrons driven by circularly polarized light. As the amplitude of the light is increased, the system undergoes a series of Floquet topological-to-topological phase transitions, whose phase boundary in the high-frequency regime is well explained by the BW expansion. As the frequency is lowered, the high-frequency expansion breaks down at some point due to band touching with nonzero-photon sectors, where we find numerically even more intricate and richer Floquet topological phases spring out. We have then analyzed, with the Floquet dynamical mean-field theory, the effects of electron-electron interaction and energy dissipation. We have specifically revealed that phase transitions from Floquet-topological to Mott insulators emerge, where the phase boundaries can again be captured with the high-frequency expansion.


title: Singular Shocks in a Chromatography Model

abstract: We consider a system of two equations that can be used to describe nonlinear chromatography and produce a coherent explanation and description of the unbounded solutions (singular shocks) that appear in M. Mazzotti's model. We use the methods of Geometric Singular Perturbation Theory, to show existence of a viscous solution to Dafermos-DiPerna regularization.


title: Open $sd$-shell nuclei from first principles

abstract: We extend the ab initio coupled-cluster effective interaction (CCEI) method to deformed open-shell nuclei with protons and neutrons in the valence space, and compute binding energies and excited states of isotopes of neon and magnesium. We employ a nucleon-nucleon and three-nucleon interaction from chiral effective field theory evolved to a lower cutoff via a similarity renormalization group transformation. We find good agreement with experiment for binding energies and spectra, while charge radii of neon isotopes are underestimated. For the deformed nuclei $^{20}$Ne and $^{24}$Mg we reproduce rotational bands and electric quadrupole transitions within uncertainties estimated from an effective field theory for deformed nuclei, thereby demonstrating that collective phenomena in $sd$-shell nuclei emerge from complex ab initio calculations.


title: High-Performance and Tunable Stereo Reconstruction

abstract: Traditional stereo algorithms have focused their efforts on reconstruction quality and have largely avoided prioritizing for run time performance. Robots, on the other hand, require quick maneuverability and effective computation to observe its immediate environment and perform tasks within it. In this work, we propose a high-performance and tunable stereo disparity estimation method, with a peak frame-rate of 120Hz (VGA resolution, on a single CPU-thread), that can potentially enable robots to quickly reconstruct their immediate surroundings and maneuver at high-speeds. Our key contribution is a disparity estimation algorithm that iteratively approximates the scene depth via a piece-wise planar mesh from stereo imagery, with a fast depth validation step for semi-dense reconstruction. The mesh is initially seeded with sparsely matched keypoints, and is recursively tessellated and refined as needed (via a resampling stage), to provide the desired stereo disparity accuracy. The inherent simplicity and speed of our approach, with the ability to tune it to a desired reconstruction quality and runtime performance makes it a compelling solution for applications in high-speed vehicles.


title: On the Motion of a Self-Gravitating Incompressible Fluid with Free Boundary

abstract: We consider the motion of the interface separating a vacuum from an inviscid, incompressible, and irrotational fluid, subject to the self-gravitational force and neglecting surface tension, in two space dimensions. The fluid motion is described by the Euler-Poission system in moving bounded simply connected domains. A family of equilibrium solutions of the system are the perfect balls moving at constant velocity. We show that for smooth data which are small perturbations of size $\epsilon$ of these static states, measured in appropriate Sobolev spaces, the solution exists and remains of size $\epsilon$ on a time interval of length at least $c\epsilon^{-2},$ where $c$ is a constant independent of $\epsilon.$ This should be compared with the lifespan $O(\epsilon^{-1})$ provided by local well-posdness. The key ingredient of our proof is finding a nonlinear transformation which removes quadratic terms from the nonlinearity. An important difference with the related gravity water waves problem is that unlike the constant gravity for water waves, the self-gravity in the Euler-Poisson system is nonlinear. As a first step in our analysis we also show that the Taylor sign condition always holds and establish local well-posedness for this system.


title: Doping-Enhanced Antiferromagnetism in Ca1-xLaxFeAs2

abstract: In iron pnictides, high temperature superconductivity emerges after suppressing antiferromagnetism by doping. Here we show that antiferromagnetism in Ca$_{1-x}$La$_x$FeAs$_2$ is robust against and even enhanced by doping. Using $^{75}$As-nuclear magnetic resonance and nuclear quadrupole resonance techniques, we find that an antiferromagnetic order occurs below the N\'eel temperature $T_{\rm N}$ = 62 K at a high doping concentration ($x$ = 0.15) where superconductivity sets in at the transition temperature $T_{\rm c}$ = 35 K. Unexpectedly, $T_{\rm N}$ is enhanced with increasing doping, rising up to $T_{\rm N}$ = 70 K at $x$ = 0.24. The obtained phase diagram of this new system enriches the physics of iron-based high-$T_{\rm c}$ superconductors.


title: Creating thermal distributions from diabatic excitations in ion-trap-based quantum simulation

abstract: The goal of adiabatic ground-state preparation is to start a simple quantum system in its ground state and adiabatically evolve the Hamiltonian to a complex one, maintaining the ground state throughout the evolution. In ion-trap-based quantum simulations, coherence times are too short to allow for adiabatic evolution for large chains, so the system evolves diabatically, creating excitations to higher energy states. Because the probability for diabatic excitation depends exponentially on the excitation energy and because the thermal distribution also depends exponentially on the excitation energy, we investigate whether the diabatic excitation can create a thermal distribution; as this could serve as an alternative for creating thermal states of complex quantum systems without requiring contact with a heat bath. In this work, we explore this relationship and determine situations where diabatic excitation can approximately create such a thermal state.


title: Far-Infrared Dust Temperatures and Column Densities of the MALT90 Molecular Clump Sample

abstract: We present dust column densities and dust temperatures for $\sim3000$ young high-mass molecular clumps from the Millimetre Astronomy Legacy Team 90 GHz (MALT90) survey, derived from adjusting single temperature dust emission models to the far-infrared intensity maps measured between 160 and 870 \micron\ from the Herschel/Hi-Gal and APEX/ATLASGAL surveys. We discuss the methodology employed in analyzing the data, calculating physical parameters, and estimating their uncertainties. The population average dust temperature of the clumps are: $16.8\pm0.2$ K for the clumps that do not exhibit mid-infrared signatures of star formation (Quiescent clumps), $18.6\pm0.2$ K for the clumps that display mid-infrared signatures of ongoing star formation but have not yet developed an HII region (Protostellar clumps), and $23.7\pm0.2$ and $28.1\pm0.3$ K for clumps associated with HII and photo-dissociation regions, respectively. These four groups exhibit large overlaps in their temperature distributions, with dispersions ranging between 4 and 6 K. The median of the peak column densities of the Protostellar clump population is $0.20\pm0.02$ gr cm$^{-2}$, which is about 50% higher compared to the median of the peak column densities associated with clumps in the other evolutionary stages. We compare the dust temperatures and column densities measured toward the center of the clumps with the mean values of each clump. We find that in the Quiescent clumps the dust temperature increases toward the outer regions and that they are associated with the shallowest column density profiles. In contrast, molecular clumps in the Protostellar or HII region phase have dust temperature gradients more consistent with internal heating and are associated with steeper column density profiles compared with the Quiescent clumps.


title: Block Conjugacy of Irreducible Toral Automorphisms

abstract: We introduce a relation of block conjugacy for irreducible toral automorphism, and prove that block conjugacy is equivalent to weak equivalence of the ideals associated to the automorphisms. We characterize when block conjugate automorphisms are actually conjugate in terms of a group action on invariant and invariantly complemented subtori, and detail the relation of block conjugacy with a Galois group. We also investigate the nature of the relationship between ideals associated to non-block conjugate irreducible automorphisms.


title: Optimal Gaussian approximations to the posterior for log-linear models with Diaconis-Ylvisaker priors

abstract: In contingency table analysis, sparse data is frequently encountered for even modest numbers of variables, resulting in non-existence of maximum likelihood estimates. A common solution is to obtain regularized estimates of the parameters of a log-linear model. Bayesian methods provide a coherent approach to regularization, but are often computationally intensive. Conjugate priors ease computational demands, but the conjugate Diaconis-Ylvisaker priors for the parameters of log-linear models do not give rise to closed form credible regions, complicating posterior inference. Here we derive the optimal Gaussian approximation to the posterior for log-linear models with Diaconis-Ylvisaker priors, and provide convergence rate and finite-sample bounds for the Kullback-Leibler divergence between the exact posterior and the optimal Gaussian approximation. We demonstrate empirically in simulations and a real data application that the approximation is highly accurate, even in relatively small samples. The proposed approximation provides a computationally scalable and principled approach to regularized estimation and approximate Bayesian inference for log-linear models.


title: Non-Gaussian normal diffusion induced by delocalization

abstract: The non-Gaussian normal diffusion, i.e., the probability distribution function (PDF) is non-Gaussian but the mean squared displacement (MSD) depends on time linearly, has been observed in particle motions. Here we show by numerical simulations that this phenomenon may manifest in energy diffusion along lattices at a non-zero, finite temperature. The model we study is one-dimensional disordered lattices with on-site potential. We find that the energy-density fluctuations are spatially localized if the nonlinear interaction is suppressed, but may relax with a non-Gaussian PDF and a linear time-dependent MSD when the nonlinear interaction is turned on. Our analysis suggests that the mechanism lies in the delocalization properties of the localized modes.

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


title: Boulders on asteroid Toutatis as observed by Chang'e-2

abstract: Boulders are ubiquitously found on the surfaces of small rocky bodies in the inner solar system and their spatial and size distributions give insight into the geological evolution and collisional history of the parent bodies. Using images acquired by the Chang'e-2 spacecraft, more than 200 boulders have been identified over the imaged area of the near-Earth asteroid Toutatis. The cumulative boulder size frequency distribution (SFD) shows a steep slope of -4.4 $\pm$ 0.1, which is indicative of a high degree of fragmentation. Similar to Itokawa, Toutatis probably has a rubble-pile structure, as most boulders on its surface cannot solely be explained by impact cratering. The significantly steeper slope for Toutatis' boulder SFD compared to Itokawa may imply a different preservation state or diverse formation scenarios. In addition, the cumulative crater SFD has been used to estimate a surface crater retention age of approximately 1.6 $\pm$ 0.3 Gyr.


title: Nuclear geometry effect and transport coefficient in semi-inclusive lepton-production of hadrons off nuclei

abstract: Hadron production in semi-inclusive deep-inelastic scattering of leptons from nuclei is an ideal tool to determine and constrain the transport coefficient in cold nuclear matter. The leading-order computations for hadron multiplicity ratios are performed by means of the SW quenching weights and the analytic parameterizations of quenching weights based on BDMPS formalism. The theoretical results are compared to the HERMES positively charged pions production data with the quarks hadronization occurring outside the nucleus. With considering the nuclear geometry effect on hadron production, our predictions are in good agreement with the experimental measurements. The extracted transport parameter from the global fit is shown to be $\hat{q} = 0.74\pm0.03 GeV^2/fm$ for the SW quenching weight without the finite energy corrections. As for the analytic parameterization of BDMPS quenching weight without the quark energy E dependence, the computed transport coefficient is $\hat{q} = 0.20\pm0.02 GeV^2/fm$. It is found that the nuclear geometry effect has a significant impact on the transport coefficient in cold nuclear matter. It is necessary to consider the detailed nuclear geometry in studying the semi-inclusive hadron production in deep inelastic scattering on nuclear targets.


title: The Possible Orbital Decay and Transit Timing Variations of the Planet WASP-43b

abstract: Motivated by the previously reported high orbital decay rate of the planet WASP-43b, eight newly transit light curves are obtained and presented. Together with other data in literature, we perform a self-consistent timing analysis with data covering a timescale of 1849 epochs. The results give an orbital decay rate dP/dt = -0.02890795\pm 0.00772547 sec/year, which is one order smaller than previous values. This slow decay rate corresponds to a normally assumed theoretical value of stellar tidal dissipation factor. In addition, through the frequency analysis, the transit timing variations presented here are unlikely to be periodic, but could be signals of a slow orbital decay.


title: A nonlinear dynamics for the scalar field in Randers spacetime

abstract: We investigate the properties of a real scalar field in the Finslerian Randers spacetime, where the local Lorentz violation is driven by a geometrical background vector. We propose a dynamics for the scalar field by a minimal coupling of the scalar field and the Finsler metric. The coupling is intrinsically defined on the Randers spacetime, and it leads to a non-canonical kinetic term for the scalar field. The nonlinear dynamics can be split into a linear and nonlinear regimes, which depend perturbatively on the even and odd powers of the Lorentz-violating parameter, respectively. We analyze the plane-waves solutions and the modified dispersion relations, and it turns out that the spectrum is free of tachyons up to second-order.


title: Oligarchy as a Phase Transition: The effect of wealth-attained advantage in a Fokker-Planck description of asset exchange

abstract: In earlier work, we derived a nonlinear, nonlocal Fokker-Planck equation for the Yard-Sale Model of asset exchange. In the absence of redistribution, we showed that the Gini coefficient is a Lyapunov functional for this model, tending to one in the time-asymptotic limit, corresponding to maximal inequality. When a one-parameter model of redistribution is introduced, we showed that the model admits a steady state similar to Pareto's Law. In this work, we analyze the form of this distribution in greater detail, both analytically and numerically. We find that, while Pareto's Law is approximately valid for low redistribution, it gives way to something like Gibrat's Law at higher redistribution. We also prove that, while this Pareto or Gibrat behavior persists over many orders of magnitude, it ultimately gives way to gaussian decay at extremely large wealth. Following the work of Moukarzel et al., we introduce a bias in favor of the wealthier agent. We derive the corresponding modification to the Fokker-Planck equation, and we show this leads to wealth condensation when the bias exceeds a critical value. Earlier work took the bias to be a discontinuous function of the wealth differential between the two transacting agents, and reported a first-order phase transition to absolute oligarchy. By contrast, in this work we take the bias to be a continuous function of the wealth differential, and consequently we observe a second-order phase transition with a region of coexistence between the oligarch and a distribution of non-oligarchs. We additionally show that the onset of wealth condensation has a reciprocal effect on the character of the non-oligarchical part of the distribution. Specifically, we show that the above-mentioned gaussian decay at extremely large wealth is valid both above and below criticality, but degenerates to exponential decay precisely at criticality.


title: High-T$_c$ and Low-T$_c$ Superconductivity in Electron Systems With Repulsion

abstract: We demonstrate the instability of the normal state of purely repulsive fermionic systems towards the transition to the Kohn-Luttinger superconducting state. We construct the superconducting phase diagrams of these systems in the framework of the Hubbard and Shubin-Vonsovsky models on the square and hexagonal lattices. We show that an account for the long-range Coulomb interactions, as well as the Kohn- Luttinger renormalizations lead to an increase in the critical superconducting temperatures in various materials, such as high-temperature superconductors, idealized monolayer and bilayer of doped graphene. Additionally, we discuss the role of the structural disorder and the nonmagnetic impurities in superconducting properties of real graphene systems.


title: Lambda transition and Bose-Einstein condensation in liquid ${\rm ^4He}$

abstract: We present a theory describing the lambda transition and the Bose-Einstein condensation (BEC) in a liquid ${\rm ^4He}$ based on the diatomic quasiparticle concept. It is shown that in liquid ${\rm ^4He}$ for the temperature region $1~{\rm K}\leq{\rm T}\leq {\rm T}_\lambda$ the diatomic quasiparticles macroscopically populate the ground state which leads to BEC in liquid ${\rm ^4He}$. The approach yields the lambda transition temperature as ${\rm T}_\lambda=2.16~{\rm K}$ which is in excellent agreement with the experimental lambda temperature ${\rm T}_\lambda=2.17~{\rm K}$. The concept of diatomic quasiparticles also leads to superfluid and BEC fractions which are in a good agreement with the experimental data and Monte Carlo simulations.


title: Unit Interval Orders and the Dot Action on the Cohomology of Regular Semisimple Hessenberg Varieties

abstract: Motivated by a 1993 conjecture of Stanley and Stembridge, Shareshian and Wachs conjectured that the characteristic map takes the dot action of the symmetric group on the cohomology of a regular semisimple Hessenberg variety to $\omega X_G(t)$, where $X_G(t)$ is the chromatic quasisymmetric function of the incomparability graph $G$ of the corresponding natural unit interval order, and $\omega$ is the usual involution on symmetric functions. We prove the Shareshian--Wachs conjecture. Our proof uses the local invariant cycle theorem of Beilinson-Bernstein-Deligne to obtain a surjection from the cohomology of a regular Hessenberg variety of Jordan type $\lambda$ to a space of local invariant cycles; as $\lambda$ ranges over all partitions, these spaces collectively contain all the information about the dot action on a regular semisimple Hessenberg variety. Using a palindromicity argument, we show that in our case the surjections are actually isomorphisms, thus reducing the Shareshian-Wachs conjecture to computing the cohomology of a regular Hessenberg variety. But this cohomology has already been described combinatorially by Tymoczko; we give a bijective proof (using a generalization of a combinatorial reciprocity theorem of Chow) that Tymoczko's combinatorial description coincides with the combinatorics of the chromatic quasisymmetric function.


title: A new application methodology of the Fourier transform for rational approximation of the complex error function

abstract: This paper presents a new approach in application of the Fourier transform to the complex error function resulting in an efficient rational approximation. Specifically, the computational test shows that with only $17$ summation terms the obtained rational approximation of the complex error function provides the average accuracy ${10^{ - 15}}$ over the most domain of practical importance $0 \le x \le 40,000$ and ${10^{ - 4}} \le y \le {10^2}$ required for the HITRAN-based spectroscopic applications. Since the rational approximation does not contain trigonometric or exponential functions dependent upon the input parameters $x$ and $y$, it is rapid in computation. Such an example demonstrates that the considered methodology of the Fourier transform may be advantageous in practical applications.


title: Platoons of connected vehicles can double throughput in urban roads

abstract: Intersections are the bottlenecks of the urban road system because an intersection's capacity is only a fraction of the flows that the roads connecting to the intersection can carry. This capacity can be increased if vehicles can cross the intersections in platoons rather than one by one as they do today. Platoon formation is enabled by connected vehicle technology. This paper assesses the potential mobility benefits of platooning. It argues that saturation flow rates, and hence intersection capacity, can be doubled or tripled by platooning. The argument is supported by the analysis of three queuing models and by the simulation of a road network with 16 intersections and 73 links. The queuing analysis and the simulations reveal that a signalized network with fixed time control will support an increase in demand by a factor of (say) two or three if all saturation flows are increased by the same factor, with no change in the control. Furthermore, despite the increased demand vehicles will experience the same delay and travel time. The same scaling improvement is achieved when the fixed time control is replaced by the max pressure adaptive control. Part of the capacity increase can alternatively be used to reduce queue lengths and the associated queuing delay by decreasing the cycle time. Impediments to the control of connected vehicles to achieve platooning at intersections appear to be small.


title: Coherent Detection of Turbo-Coded OFDM Signals Transmitted through Frequency Selective Rayleigh Fading Channels with Receiver Diversity and Increased Throughput

abstract: In this work, we discuss techniques for coherently detecting turbo coded orthogonal frequency division multiplexed (OFDM) signals, transmitted through frequency selective Rayleigh (the magnitude of each channel tap is Rayleigh distributed) fading channels having a uniform power delay profile. The channel output is further distorted by a carrier frequency and phase offset, besides additive white Gaussian noise (AWGN). A new frame structure for OFDM, consisting of a known preamble, cyclic prefix, data and known postamble is proposed, which has a higher throughput compared to the earlier work. A robust turbo decoder is proposed, which functions effectively over a wide range of signal-to-noise ratio (SNR). The key contribution to the good performance of the practical coherent receiver is due to the use of a long preamble (512 QPSK symbols), which is perhaps not specified in any of the current wireless communication standards. We have also shown from computer simulations that, it is possible to obtain even better BER performance, using a better code. A simple and approximate Cramer-Rao bound on the variance of the frequency offset estimation error for coherent detection, is derived. The proposed algorithms are well suited for implementation on a DSP-platform.


title: Insight of breaking of powerful axisymmetrically-polarized laser pulses in under-dense plasma

abstract: Interaction of axisymmetrically-polarized (radially or azimuthally-polarized), relativistically intense laser pulses (ALP) with under-dense plasma is shown experimentally to be different from the interaction of conventional Gaussian pulses. The difference is clearly observed in distinct spectra of scattered laser light as well as in appearance of a strong side emission of second harmonic in the vicinity of focus spot. According 3D particle-in-cell simulations, this is a result of instability in the propagation of ALP in under-dense plasma. Laser wakefield acceleration of electrons by ALP, therefore, is less efficient than that by Gaussian laser pulses but ALP may be interesting for efficient electron self-injection.


title: Basis Collapse for Holographic Algorithms Over All Domain Sizes

abstract: The theory of holographic algorithms introduced by Valiant represents a novel approach to achieving polynomial-time algorithms for seemingly intractable counting problems via a reduction to counting planar perfect matchings and a linear change of basis. Two fundamental parameters in holographic algorithms are the \emph{domain size} and the \emph{basis size}. Roughly, the domain size is the range of colors involved in the counting problem at hand (e.g. counting graph $k$-colorings is a problem over domain size $k$), while the basis size $\ell$ captures the dimensionality of the representation of those colors. A major open problem has been: for a given $k$, what is the smallest $\ell$ for which any holographic algorithm for a problem over domain size $k$ "collapses to" (can be simulated by) a holographic algorithm with basis size $\ell$? Cai and Lu showed in 2008 that over domain size 2, basis size 1 suffices, opening the door to an extensive line of work on the structural theory of holographic algorithms over the Boolean domain. Cai and Fu later showed for signatures of full rank that over domain sizes 3 and 4, basis sizes 1 and 2, respectively, suffice, and they conjectured that over domain size $k$ there is a collapse to basis size $\lfloor\log_2 k\rfloor$. In this work, we resolve this conjecture in the affirmative for signatures of full rank for all $k$.


title: Gluing formula for Gromov-Witten invariants in a triple product

abstract: We present a gluing formula for Gromov-Witten invariants in the case of a triple product. This gluing formula is a simple case of a much more general gluing formula proved and stated using exploded manifolds. We present this simple case because it is relatively easy to explain without any knowledge of exploded manifolds or log schemes.


title: Multispectral imaging using a single bucket detector

abstract: Current multispectral imagers suffer from low photon efficiency and limited spectrum range. These limitations are partially due to the technological limitations from array sensors (CCD or CMOS), and also caused by separative measurement of the entries/slices of a spatial-spectral data cube. Besides, they are mostly expensive and bulky. To address above issues, this paper proposes to image the 3D multispectral data with a single bucket detector in a multiplexing way. Under the single pixel imaging scheme, we project spatial-spectral modulated illumination onto the target scene to encode the scene's 3D information into a 1D measurement sequence. Conventional spatial modulation is used to resolve the scene's spatial information. To avoid increasing requisite acquisition time for 2D to 3D extension of the latent data, we conduct spectral modulation in a frequency-division multiplexing manner in the speed gap between slow spatial light modulation and fast detector response. Then the sequential reconstruction falls into a simple Fourier decomposition and standard compressive sensing problem. A proof-of-concept setup is built to capture the multispectral data (64 pixels $\times$ 64 pixels $\times$ 10 wavelength bands) in the visible wavelength range (450nm-650nm) with acquisition time being 1 minute. The imaging scheme is of high flexibility for different spectrum ranges and resolutions. It holds great potentials for various low light and airborne applications, and can be easily manufactured production-volume portable multispectral imagers.


title: Impact of Underlaid Multi-antenna D2D on Cellular Downlink in Massive MIMO Systems

abstract: In this paper, we consider a massive multiple-input multiple-output (MIMO) downlink system underlaid with a network of multi-antenna D2D user equipments (UEs). Each D2D transmitter (Tx) uses all its antennas to beamform information towards its desired D2D receiver, which uses only a single antenna for reception. While beamforming at the D2D Tx reduces D2D interference to the neighbouring cellular UEs (CUEs), the cellular-to-D2D interference is also negligible due to highly directional beamforming at the massive MIMO base station. For the above proposed system, we analyze the average per-user spectral efficiency (SE) of CUEs ($R^{c,d}$) as a function of the D2D area spectral efficiency (ASE). Our analysis reveals that for a fixed D2D ASE ($R_0^{(d)}$) and fixed number of D2D antennas ($N$), with increasing density of D2D Txs ($\lambda$), $R^{c,d}$ increases (for sufficiently large $\lambda$) and approaches a fundamental limit $R_{\infty}^{c,d}$ as $\lambda \to \infty$. Also, $R_{\infty}^{c,d}$ depends on $R_{0}^{(d)}$ and $N$, only through the ratio $\frac{R_{0}^{(d)}}{N-1}$, i.e, for a given fundamental limit $R_{\infty}^{c,d}$, the D2D ASE can be approximately doubled with every doubling in $N$.


title: Geometric Arveson-Douglas Conjecture and Holomorphic Extension

abstract: In this paper we introduce techniques from complex harmonic analysis to prove a weaker version of the Geometric Arveson-Douglas Conjecture for complex analytic subsets that is smooth on the boundary of the unit ball and intersects transversally with it. In fact, we prove that the projection operator onto the corresponding quotient module is in the Toeplitz algebra $\mathcal{T}(L^{\infty})$, which implies the essential normality of the quotient module. Combining some other techniques we actually obtain the $p$-essential normality for $p>2d$, where $d$ is the complex dimension of the analytic subset. Finally, we show that our results apply for the closure of a radical polynomial ideal $I$ whose zero variety satisfies the above conditions. A key technique is defining a right inverse operator of the restriction map from the unit ball to the analytic subset generalizing the result of Beatrous's paper "$L^p$-estimates for extensions of holomorphic functions".


title: A Poisson Hopf algebra related to a twisted quantum group

abstract: A Poisson algebra $\Bbb C[G]$ considered as a Poisson version of the twisted quantized coordinate ring $\Bbb C_{q,p}[G]$, constructed by Hodges, Levasseur and Toro in \cite{HoLeT}, is obtained and its Poisson structure is investigated. This establishes that all Poisson prime and primitive ideals of $\Bbb C[G]$ are characterized. Further it is shown that $\Bbb C[G]$ satisfies the Poisson Dixmier-Moeglin equivalence and that Zariski topology on the space of Poisson primitive ideals of $\Bbb C[G]$ agrees with the quotient topology induced by the natural surjection from the maximal ideal space of $\Bbb C[G]$ onto the Poisson primitive ideal space.


title: Structure and fate of binary WR stars: Clues from spectropolarimetry

abstract: Because most massive stars have been or will be affected by a companion during the course of their evolution, we cannot afford to neglect binaries when discussing the progenitors of supernovae and GRBs. Analyzing linear polarization in the emission lines of close binary systems allows us to probe the structures of these systems' winds and mass flows, making it possible to map the complex morphologies of the mass loss and mass transfer structures that shape their subsequent evolution. In Wolf-Rayet (WR) binaries, line polarization variations with orbital phase distinguish polarimetric signatures arising from lines that scatter near the stars from those that scatter far from the orbital plane. These far-scattering lines may form the basis for a "binary line-effect method" of identifying rapidly rotating WR stars (and hence GRB progenitor candidates) in binary systems.


title: Well-Supported versus Approximate Nash Equilibria: Query Complexity of Large Games

abstract: We study the randomized query complexity of approximate Nash equilibria (ANE) in large games. We prove that, for some constant $\epsilon>0$, any randomized oracle algorithm that computes an $\epsilon$-ANE in a binary-action, $n$-player game must make $2^{\Omega(n/\log n)}$ payoff queries. For the stronger solution concept of well-supported Nash equilibria (WSNE), Babichenko previously gave an exponential $2^{\Omega(n)}$ lower bound for the randomized query complexity of $\epsilon$-WSNE, for some constant $\epsilon>0$; the same lower bound was shown to hold for $\epsilon$-ANE, but only when $\epsilon=O(1/n)$. Our result answers an open problem posed by Hart and Nisan and Babichenko and is very close to the trivial upper bound of $2^n$. Our proof relies on a generic reduction from the problem of finding an $\epsilon$-WSNE to the problem of finding an $\epsilon/(4\alpha)$-ANE, in large games with $\alpha$ actions, which might be of independent interest.


title: Ergodicity and slow diffusion in a supercooled liquid

abstract: A model for the slow dynamics of the supercooled liquid is formulated in terms of the standard equations of fluctuating nonlinear hydrodynamics (FNH) with the inclusion of an extra diffusive mode for the collective density fluctuations. If the compressible nature of the liquid is completely ignored, this diffusive mode sets the longest relaxation times in the supercooled state and smooths off a possible sharp ergodicity-nonergodicity (ENE) transition predicted in a mode coupling theory. The scenario changes when the complete dynamics is considered with the inclusion of $1/\rho$ nonlinearities in the FNH equations, reflecting the compressible nature of the liquid. The latter primarily determines the extent of slowing down in the supercooled liquid. The presence of slow diffusive modes in the supercooled liquid do not give rise to very long relaxation times unless the role of couplings between density and currents in the compressible liquid is negligible.


title: A Pareto Optimal D* Search Algorithm for Multiobjective Path Planning

abstract: Path planning is one of the most vital elements of mobile robotics, providing the agent with a collision-free route through the workspace. The global path plan can be calculated with a variety of informed search algorithms, most notably the A* search method, guaranteed to deliver a complete and optimal solution that minimizes the path cost. D* is widely used for its dynamic replanning capabilities. Path planning optimization typically looks to minimize the distance traversed from start to goal, but many mobile robot applications call for additional path planning objectives, presenting a multiobjective optimization (MOO) problem. Common search algorithms, e.g. A* and D*, are not well suited for MOO problems, yielding suboptimal results. The search algorithm presented in this paper is designed for optimal MOO path planning. The algorithm incorporates Pareto optimality into D*, and is thus named D*-PO. Non-dominated solution paths are guaranteed by calculating the Pareto front at each search step. Simulations were run to model a planetary exploration rover in a Mars environment, with five path costs. The results show the new, Pareto optimal D*-PO outperforms the traditional A* and D* algorithms for MOO path planning.


title: On Armendariz-like properties in Amalgamated algebras along ideals

abstract: Let $f: A\rightarrow B$ be a ring homomorphism and $J$ be an ideal of $B$. In this paper, we investigate the transfer of Armendariz-like properties to the amalgamation of $A$ with $B$ along $J$ with respect to $f$ (denoted by $A\bowtie^fJ)$ introduced and studied by D'Anna, Finocchiaro and Fontana in 2009. Our aim is to provide necessary and sufficient conditions for $A\bowtie^fJ,$ to be an Armendariz ring, nil-Armendariz ring and weak Armendariz ring.


title: Assessing the Jeans Anisotropic Multi-Gaussian Expansion method with the Illustris simulation

abstract: We assess the effectiveness of the Jeans-Anisotropic-MGE (JAM) technique with a state-of-the-art cosmological hydrodynamic simulation, the Illustris project. We perform JAM modelling on 1413 simulated galaxies with stellar mass M^* > 10^{10}M_{sun}, and construct an axisymmetric dynamical model for each galaxy. Combined with a Markov Chain Monte Carlo (MCMC) simulation, we recover the projected root-mean-square velocity (V_rms) field of the stellar component, and investigate constraints on the stellar mass-to-light ratio, M^*/L, and the fraction of dark matter f_{DM} within 2.5 effective radii (R_e). We find that the enclosed total mass within 2.5 R_e is well constrained to within 10%. However, there is a degeneracy between the dark matter and stellar components with correspondingly larger individual errors. The 1 sigma scatter in the recovered M^*/L is 30-40% of the true value. The accuracy of the recovery of M^*/L depends on the triaxial shape of a galaxy. There is no significant bias for oblate galaxies, while for prolate galaxies the JAM-recovered stellar mass is on average 18% higher than the input values. We also find that higher image resolutions alleviate the dark matter and stellar mass degeneracy and yield systematically better parameter recovery.


abstract: Jet quenching in high-energy heavy-ion collisions can be used to probe properties of hot and dense quark-gluon plasma. We provide a brief introduction to the concept and framework for the study of jet quenching. Different approaches and implementation of multiple scattering and parton energy loss are discussed. Recent progresses in the theoretical and phenomenological studies of jet quenching in heavy-ion collisions at RHIC and LHC are reviewed.


title: Li-Yau gradient bounds on compact manifolds under nearly optimal curvature conditions

abstract: We prove Li-Yau type gradient bounds for the heat equation either on manifolds with fixed metric or under the Ricci flow. In the former case the curvature condition is $|Ric^-| \in L^p$ for some $p>n/2$, or $\sup_\M \int_\M |Ric^-|^2(y)d^{2-n}(x,y)dy<\infty$, where $n$ is the dimension of the manifold. In the later case, one only needs scalar curvature being bounded. We will explain why the conditions are nearly optimal and give an application. The Li-Yau bound for the heat equation on manifolds with fixed metric seems to be the first one allowing Ricci curvature not bounded from below.


title: Fast Collaborative Filtering from Implicit Feedback with Provable Guarantees

abstract: Building recommendation algorithms is one of the most challenging tasks in Machine Learning. Although most of the recommendation systems are built on explicit feedback available from the users in terms of rating or text, a majority of the applications do not receive such feedback. Here we consider the recommendation task where the only available data is the records of user-item interaction over web applications over time, in terms of subscription or purchase of items; this is known as implicit feedback recommendation. There is usually a massive amount of such user-item interaction available for any web applications. Algorithms like PLSI or Matrix Factorization runs several iterations through the dataset, and may prove very expensive for large datasets. Here we propose a recommendation algorithm based on Method of Moment, which involves factorization of second and third order moments of the dataset. Our algorithm can be proven to be globally convergent using PAC learning theory. Further, we show how to extract the parameters using only three passes through the entire dataset. This results in a highly scalable algorithm that scales up to million of users even on a machine with a single-core processor and 8 GB RAM and produces competitive performance in comparison with existing algorithms.


title: Isolated Periodic Points in Several Nonarchimedean Variables

abstract: Let $\varphi: \mathbb{P}^{n}_{F} \to \mathbb{P}^{n}_{F}$ where $F$ is a complete valued field. If $x$ is a fixed point, such that the action of $\varphi$ on $T_{x}$ has eigenvalues $\lambda_{1}, \ldots, \lambda_{n}$, with $\lambda_{1}, \ldots, \lambda_{r}$ not contained in the multiplicative group generated by $\lambda_{r+1}, \ldots, \lambda_{n}$, then $\varphi$ has a codimension-$r$ fixed formal subvariety. Under mild assumptions, this subvariety is analytic. We use this to prove two results. First, we generalize results of Rivera-Letelier on isolated periodic points to higher dimension: if $F$ is $p$-adic, and each $|\lambda_{i}| \leq 1$, then there is an analytic neighborhood of $x$ without any other periodic points. And second, we prove Zhang's conjecture that there exists a $\overline{\mathbb{Q}}$-point with Zariski-dense forward orbit in two cases, extending results of Amerik, Bogomolov, and Rovinsky.


title: Thermal evolution of the one-flavour Schwinger model using Matrix Product States

abstract: The Schwinger model, or 1+1 dimensional QED, offers an interesting object of study, both at zero and non-zero temperature, because of its similarities to QCD. In this proceeding, we present the a full calculation of the temperature dependent chiral condensate of this model in the continuum limit using Matrix Product States (MPS). MPS methods, in general tensor networks, constitute a very promising technique for the non-perturbative study of Hamiltonian quantum systems. In the last few years, they have shown their suitability as ansatzes for ground states and low-lying excita- tions of lattice gauge theories. We show the feasibility of the approach also for finite temperature, both in the massless and in the massive case.


title: The largest eigenvalue distribution of the Laguerre unitary ensemble

abstract: We study the probability that all eigenvalues of the Laguerre unitary ensemble of n by n matrices are between 0 and t, i.e., the largest eigenvalue distribution. Associated with this probability, in the ladder operator approach for orthogonal polynomials, there are recurrence coefficients, namely {\alpha}n(t) and \b{eta}n(t), as well as three auxiliary quantities, denoted by rn(t), Rn(t) and sigma n(t). We establish the second order differential equations for both beta n(t) and rn(t). By investigating the soft edge scaling limit when alpha = O(n) as n ! 1 or alpha is finite, we derive a PII , the sigma-form, and the asymptotic solution of the probability. In addition, we develop differential equations for orthogonal polynomials Pn(z) corresponding to the largest eigenvalue distribution of LUE and GUE with n finite or large. For large n, asymptotic formulas are given near the singular points of the ODE. Moreover, we are able to deduce a particular case of Chazy equation for rho(t) = d/dt(capsigma(t) with capsigma(t) satisfying the sigma-form of PIV or PV . 1 I


title: Almost-globally stable tracking for on compact Riemannian manifolds

abstract: In this article, we propose a control law for almost-global asymptotic tracking (AGAT) of a smooth reference trajectory for a fully actuated simple mechanical system (SMS) evolving on a Riemannian manifold which can be embedded in a Euclidean space. The existing results on tracking for an SMS are either local, or almost-global, only in the case the manifold is a Lie group. In the latter case, the notion of a configuration error is naturally defined by the group operation and facilitates a global analysis. However, such a notion is not intrinsic to a Riemannian manifold. In this paper, we define a configuration error followed by error dynamics on a Riemannian manifold, and then prove AGAT. The results are demonstrated for a spherical pendulum which is an SMS on $S^2$ and for a particle moving on a Lissajous curve in $\mathbb{R}^3$.


title: Is It Possible to Simultaneously Achieve Zero Handover Failure Rate and Ping-Pong Rate?

abstract: Network densification through the deployment of large number of small cells has been considered as the dominant driver for wireless evolution into 5G. However, it has increased the complexity of mobility management, and operators have been facing the technical challenges in handover (HO) parameter optimization. The trade-off between the HO failure (HOF) rate and the ping-pong (PP) rate has further complicated the challenges. In this article, we proposed ZEro handover failure with Unforced and automatic time-to-execute Scaling (ZEUS) HO. ZEUS HO assures HO signaling when a user equipment (UE) is in a good radio link condition and executes the HO at an optimal time. We analyzed the HO performance of Long-Term Evolution (LTE) and ZEUS theoretically using a geometry-based model, considering the most important HO parameter, i.e., HO margin (HOM). We derived the probabilities of HOF and PP from the analysis. The numerical results demonstrated that ZEUS HO can achieve zero HOF rate without increasing the PP rate, solving the trade-off. Furthermore, we showed that the ZEUS HO can accomplish zero HOF rate and zero PP rate simultaneously with an extension of keeping fast moving users out of small cells.


title: SMARTIES: user-friendly codes for fast and accurate calculations of light scattering by spheroids

abstract: We provide a detailed user guide for SMARTIES, a suite of Matlab codes for the calculation of the optical properties of oblate and prolate spheroidal particles, with comparable capabilities and ease-of-use as Mie theory for spheres. SMARTIES is a Matlab implementation of an improved T-matrix algorithm for the theoretical modelling of electromagnetic scattering by particles of spheroidal shape. The theory behind the improvements in numerical accuracy and convergence is briefly summarised, with reference to the original publications. Instructions of use, and a detailed description of the code structure, its range of applicability, as well as guidelines for further developments by advanced users are discussed in separate sections of this user guide. The code may be useful to researchers seeking a fast, accurate and reliable tool to simulate the near-field and far-field optical properties of elongated particles, but will also appeal to other developers of light-scattering software seeking a reliable benchmark for non-spherical particles with a challenging aspect ratio and/or refractive index contrast.


title: A geometric approach to the dynamics of flapping wing micro aerial vehicles: Modelling and reduction

abstract: This paper presents a geometric framework for analysis of dynamics of flapping wing micro aerial vehicles (FWMAV) which achieve locomotion in the special Euclidean group SE(3) using internal shape changes. We review the special structure of the configuration manifold of such systems. This work addresses to extend the work in geometric locomotion to the aerial locomotion problem. Furthermore, there seems to be limited work in modelling of flapping wing bodies in a geometric framework. We derive the dynamic model of the FWMAV using Lagrangian reduction theory defined on symmetry groups. The reduction is achieved by applying Hamilton's variation principle on a reduced Lagrangian. The resultant dynamics is governed by the Euler-Poincare and Euler-Lagrange equations.


title: On the variance of linear statistics of Hermitian random matrices

abstract: Linear statistics, a random variable build out of the sum of the evaluation of functions at the eigenvalues of a N times N random matrix,sum[j=1 to N]f(xj) or tr f(M), is an ubiquitous statistical characteristics in random matrix theory. Hermitian random matrix ensembles, under the eigenvalue-eigenvector decomposition give rise to the joint probability density functions of N random variables. We show that if f(.) is a polynomial of degree K, then the variance of trf(M), is of the form,sum[n=1 to K] n(d[n])square, and d[n] is related to the expansion coefficients c[n] of the polynomial f(x) =sum[n=0 to K] c[n] b Pn(x), where Pn(x) are polynomials of degree n, orthogonal with respect to the weights 1/[(b-x)(x-a)]^(1/2), [(b -x)(x -a)]^(1/2), [(b-x)(x-a)]^(1/2)/x; (0 < a < x < b), [(b-x)(x-a)]^(1/2)/[x(1-x)] ; (0 < a < x < b < 1), respectively.


title: Non-QCD contributions to top-pair production near threshold

abstract: The threshold scan of top pair production at a future lepton collider allows to determine several Standard Model parameters with very high precision. The recent completion of the third-order QCD corrections to the inclusive top-pair production cross section demonstrated that strong dynamics are under control. We investigate effects from P-wave production and Higgs contributions at third order and from QED and the nonresonant production of the physical $W^+W^-b\bar{b}$ final state at first order. We discuss the sensitivity of the cross section to the top mass, width and Yukawa coupling as well as to the strong coupling.


title: A natural map from a quantized space onto its semiclassical limit and a multi-parameter Poisson Weyl algebra

abstract: A natural map from a quantized space onto its semiclassical limit is obtained. As an application, we see that an induced map by the natural map is a homeomorphism from the spectrum of the multi-parameter quantized Weyl algebra onto the Poisson spectrum of its semiclassical limit.


title: On the Stabilizer of Weight Enumerators of Linear Codes

abstract: This paper investigates the relation between linear codes and the stabilizer in ${\rm GL}_2(\mathbb{C})$ of their weight enumerators. We prove a result on the finiteness of stabilizers and give a complete classification of linear codes with infinite stabilizer in the non-binary case. We present an efficient algorithm to compute explicitly the stabilizer of weight enumerators and we apply it to the family of Reed-Muller codes to show that some of their weight enumerators have trivial stabilizer.


title: Global Transonic Solutions of Planetary Atmospheres in Hydrodynamic Region $\mbox{--}$ Hydrodynamic Escape Problem due to Gravity and Heat

abstract: The hydrodynamic escape problem (HEP), which is characterized by a free boundary value problem of Euler equation with gravity and heat, is crucial for investigating the evolution of planetary atmospheres. In this paper, the global existence of transonic solutions to the HEP is established using the generalized Glimm method. The new version of Riemann and boundary-Riemann solvers, are provided as building blocks of the generalized Glimm method by inventing the contraction matrices for the homogeneous Riemann (or boundary-Riemann) solutions. The extended Glimm-Goodman wave interaction estimates are investigated for obtaining a stable scheme and positive gas velocity, which matches the physical observation. The limit of approximation solutions serves as an entropy solution of bounded variations. Moreover, the range of the hydrodynamical region is also obtained.


title: Graphene nanosystems and low-dimensional Chern-Simons topological insulators

abstract: A graphene nanoribbon is a good candidate for a $(1+1)$ Chern-Simons topological insulator since it obeys particle-hole symmetry. We show that in a finite semiconducting armchair ribbon, which has two zigzag edges and two armchair edges, a $(1+1)$ Chern-Simons topological insulator is indeed realized as the length of the armchair edges becomes large in comparison to that of the zigzag edges. But only a quasi-topological insulator is formed in a metallic armchair ribbon with a pseudogap. In such systems a zigzag edge acts like a domain wall, through which the polarization changes from $0$ to $e/2$, forming a fractional charge of one-half. When the lengths of the zigzag edges and the armchair edges are comparable a rectangular graphene sheet (RGS) is realized, which also possess particle-hole symmetry. We show that it is a $(0+1)$ Chern-Simons topological insulator. We find that the cyclic Berry phase of states of a RGS is quantized as $\pi$ or $0$ (mod $2\pi$), and that the Berry phases of the particle-hole conjugate states are equal each other. By applying the Atiyah-Singer index theorem to a rectangular ribbon and a RGS we find that the lower bound on the number of nearly zero energy end states is approximately proportional to the length of the zigzag edges. However, there is a correction to this index theorem due to the effects beyond the effective mass approximation.


title: Detection of supernova neutrinos at spallation neutron sources

abstract: After considering the supernova shock effects, the Mikheyev-Smirnov-Wolfenstein effects, the neutrino collective effects, and the Earth matter effects, the detection of supernova neutrinos at China Spallation Neutron Sources is studied and the event numbers of different flavor supernova neutrinos observed through various reaction channels are calculated with the neutrino energy spectra described by the Fermi-Dirac distribution and "beta fit" distribution respectively. Furthermore, the numerical calculation method of supernova neutrino detection on the Earth is applied to some other spallation neutron sources, and the total event numbers of supernova neutrinos observed through different reactions channels are given.


title: Design and Comparison of a 1 MW / 5s HTS SMES with Toroidal and Solenoidal Geometry

abstract: The design of a HTS SMES coil with solenoidal and toroidal geometry is carried out based on a commercially available 2G HTS conductor. A SMES system of practical interest (1 MW / 5 s) is considered. The comparison between ideal toroidal and solenoidal geometry is first discussed and the criteria used for choosing the geometrical parameters of the coils' bore are explained. The design of the real coil is then carried out and the final amount of conductor needed is compared. A preliminary comparison of the two coils in terms of AC loss during one charge discharge cycle is also discussed.


title: A four component cubic peakon (4CH) equations

abstract: Two different four component Camassa-Holm (4CH) systems with cubic nonlinearity are proposed. The Lax pair and Hamiltonian structure are defined for both (CH) systems. The first (4CH) system include as a special case the (3CH) system considered by Xia, Zhou and Qiao, while the second contains the two-component generalization of Novikov system considered by Geng and Xiu.


title: Electronic properties of Mn-Phthalocyanine - C$_{60}$ bulk heterojunctions: combining photoemission and electron energy-loss spectroscopy

abstract: The electronic properties of co-evaporated mixtures (blends) of manganese phthalocyanine and the fullerene C$_{60}$ (MnPc:C$_{60}$) have been studied as a function of the concentration of the two constituents using two supplementary electron spectroscopic methods, photoemission spectroscopy (PES) as well as electron energy-loss spectroscopy (EELS) in transmission. Our PES measurements provide a detailed picture of the electronic structure measured with different excitation energies as well as different mixing ratios between MnPc and C$_{60}$. Besides a relative energy shift, the occupied electronic states of the two materials remain essentially unchanged. The observed energy level alignment is different compared to that of the related CuPc:C$_{60}$ bulk heterojunction. Moreover, the results from our EELS investigations show that despite of the rather small interface interaction the MnPc related electronic excitation spectrum changes significantly by admixing C$_{60}$ to MnPc thin films.


title: Nonlinear stratospheric variability: multifractal detrended fluctuation analysis and singularity spectra

abstract: Characterising the stratosphere as a turbulent system, temporal fluctuations often show different correlations for different time scales as well as intermittent behaviour that cannot be captured by a single scaling exponent. In this study, the different scaling laws in the long term stratospheric variability are studied using Multifractal de-trended Fluctuation Analysis. The analysis is performed comparing four re-analysis products and different realisations of an idealised numerical model, isolating the role of topographic forcing and seasonal variability, as well as the absence of climate teleconnections and small-scale forcing. The Northern Hemisphere (NH) shows a transition of scaling exponents for time scales shorter than about one year, for which the variability is multifractal and scales in time with a power law corresponding to a red spectrum, to longer time scales, for which the variability is monofractal and scales in time with a power law corresponding to white noise. Southern Hemisphere (SH) variability also shows a transition at annual scales. The SH also shows a narrower dynamical range in multifractality than the NH, as seen in the generalised Hurst exponent and in the singularity spectra. The numerical integrations show that the models are able to reproduce the low-frequency variability but are not able to fully capture the shorter term variability of the stratosphere.


title: Approximate current-vortex sheets near the onset of instability

abstract: The paper is concerned with the free boundary problem for 2D current-vortex sheets in ideal incompressible magneto-hydrodynamics near the transition point between the linearized stability and instability. In order to study the dynamics of the discontinuity near the onset of the instability, Hunter and Thoo have introduced an asymptotic quadratically nonlinear integro-differential equation for the amplitude of small perturbations of the planar discontinuity. We study such amplitude equation and prove its nonlinear well-posedness under a stability condition given in terms of a longitudinal strain of the fluid along the discontinuity.


title: Manipulating the voltage drop in graphene nanojunctions using a gate potential

abstract: Graphene is an attractive electrode material to contact nanostructures down to the molecular scale since it can be gated electrostatically. Gating can be used to control the doping and the energy level alignment in the nanojunction, thereby influencing its conductance. Here we investigate the impact of electrostatic gating in nanojunctions between graphene electrodes operating at finite bias. Using first principles quantum transport simulations, we show that the voltage drop across \emph{symmetric} junctions changes dramatically and controllably in gated systems compared to non-gated junctions. In particular, for \emph{p}-type(\emph{n}-type) carriers the voltage drop is located close to the electrode with positive(negative) polarity, i.e. the potential of the junction is pinned to the negative(positive) electrode. We trace this behaviour back to the vanishing density of states of graphene in the proximity of the Dirac point. Due to the electrostatic gating, each electrode exposes different density of states in the bias window between the two different electrode Fermi energies, thereby leading to a non-symmetry in the voltage drop across the device. This selective pinning is found to be independent of device length when carriers are induced either by the gate or dopant atoms, indicating a general effect for electronic circuitry based on graphene electrodes. We envision this could be used to control the spatial distribution of Joule heating in graphene nanostructures, and possibly the chemical reaction rate around high potential gradients.


title: SAT as a game

abstract: We propose a funny representation of SAT. While the primary interest is to present propositional satisfiability in a playful way for pedagogical purposes, it could also inspire new search heuristics.


title: Spatial self-phase modulation in the H2TPP(OH)4 doped in Boric Acid Glass

abstract: Self-diffraction rings or spatial self-phase modulation (SSPM) was observed in tetra-phenyl porphyrin derivative 5,10,15,20 - meso-tetrakis (4-hydroxyphenyl) porphyrin (H2TPP(OH)4) doped in boric acid glass (BAG) at 671 nm excitation wave-length lying within the absorption band of sample with TEM00 mode profile. Intensity modulated Z-scan was performed on these systems to study the thermal diffusion and to estimate the thermo-optic coefficients. The results obtained from self-diffraction rings experiment and modulated Z-scan are compared and analyzed for different concentration.


title: The origin of IceCube's neutrinos: Cosmic ray accelerators embedded in star forming calorimeters

abstract: The IceCube collaboration reports a detection of extra-terrestrial neutrinos. The isotropy and flavor content of the signal, and the coincidence, within current uncertainties, of the 50 TeV to 2 PeV flux and the spectrum with the Waxman-Bahcall bound, suggest a cosmological origin of the neutrinos, related to the sources of ultra-high energy, $>10^{10}$ GeV, cosmic-rays (UHECR). The most natural explanation of the UHECR and neutrino signals is that both are produced by the same population of cosmological sources, producing CRs (likely protons) at a similar rate, $E^2d\dot{n}/dE\propto E^{0}$, over the [$1$ PeV,$10^{11}$ GeV] energy range, and residing in "calorimetric" environments, like galaxies with high star formation rate, in which $E/Z<100$ PeV CRs lose much of their energy to pion production. A tenfold increase in the effective mass of the detector at $\gtrsim100$ TeV is required in order to significantly improve the accuracy of current measurements, to enable the detection of a few bright nearby starburst "calorimeters", and to open the possibility of identifying the CR sources embedded within the calorimeters, by associating neutrinos with photons accompanying transient events responsible for their generation. Source identification and a large neutrino sample may enable one to use astrophysical neutrinos to constrain new physics models.


title: Photon molecules in atomic gases trapped near photonic crystal waveguides

abstract: Realizing systems that support robust, controlled interactions between individual photons is an exciting frontier of nonlinear optics. To this end, one approach that has emerged recently is to leverage atomic interactions to create strong and spatially non-local interactions between photons. In particular, effective interactions have been successfully created via interactions between atoms excited to Rydberg levels. Here, we investigate an alternative approach, in which atomic interactions arise via their common coupling to photonic crystal waveguides. This technique takes advantage of the ability to separately tailor the strength and range of interactions via the dispersion engineering of the structure itself, which can lead to qualitatively new types of phenomena. As an example, we discuss the formation of correlated transparency windows, in which photonic states of a certain number and shape selectively propagate through the system. Through this technique, we show in particular that one can create molecular-like potentials that lead to molecular bound states of photon pairs.


title: Stimulated quasiparticles in spin-split superconductors

abstract: In superconductors spin-split by an exchange field, thermal effects are coupled to spin transport. We show how an oscillating electromagnetic field in such systems creates spin imbalance, that can be detected with a spin-polarized probe. The sign and magnitude of the probe signal result from a competition between processes converting field induced spin energy imbalance to spin imbalance, dominant at low frequencies, and microwave-driven pair breaking at high frequencies. In the presence of spin-flip scattering, we show that ac excitation also leads to multistabilities in the superconducting state.


title: A physical description of the adhesion and aggregation of platelets

abstract: The early stages of clot formation in blood vessels involve platelets adhesion-aggregation. Although these mechanisms have been extensively studied, gaps in their understanding still persist. We have performed detailed in-vitro experiments and developed a numerical model to better describe and understand this phenomenon. Unlike previous studies, we took into account both activated and non-activated platelets, as well as the 3D nature of the aggregation process. Our investigation reveals that blood albumin is a major parameter limiting platelet adhesion and aggregation. Our results also show that the well accepted Zydney-Colton shear-induced diffusivity is much too low to explain the observed deposition rate. Simulations are in very good agreement with observations and provide quantitative estimates of the adhesion and aggregation rates that are hard to measure experimentally.


title: An Internal Observability Estimate for Stochastic Hyperbolic Equations

abstract: This paper is addressed to establishing an internal observability estimate for some linear stochastic hyperbolic equations. The key is to establish a new global Carleman estimate for forward stochastic hyperbolic equations in the $L^2$-space. Different from the deterministic case, a delicate analysis of the adaptedness for some stochastic processes is required in the stochastic setting.


title: Local digital algorithms applied to Boolean models

abstract: We investigate the estimation of specific intrinsic volumes of stationary Boolean models by local digital algorithms; that is, by weighted sums of $n \times\ldots \times n$ configuration counts. We show that asymptotically unbiased estimators for the specific surface area or integrated mean curvature do not exist if the dimension is at least two or three, respectively. For 3-dimensional stationary, isotropic Boolean models, we derive asymptotically unbiased estimators for the specific surface area and integrated mean curvature. For a Boolean model with balls as grains we even obtain an asymptotically unbiased estimator for the specific Euler characteristic.


title: Designing Complex Interplanetary Trajectories for the Global Trajectory Optimization Competitions

abstract: The design of interplanetary trajectories often involves a preliminary search for options later refined/assembled into one final trajectory. It is this broad search that, often being intractable, inspires the international event called Global Trajectory Optimization Competition. In the first part of this chapter, we introduce some fundamental problems of space flight mechanics, building blocks of any attempt to participate successfully in these competitions, and we describe the use of the open source software PyKEP to solve them. In the second part, we formulate an instance of a multiple asteroid rendezvous problem, related to the 7th edition of the competition, and we show step by step how to build a possible solution strategy. In doing so, we introduce two new techniques useful in the design of this particular mission type: the use of an asteroid phasing value and its surrogates and the efficient computation of asteroid clusters. We show how the basic building blocks, sided to these innovative ideas, allow designing an effective global search for possible trajectories.


title: Some curiosities of the algebra of bounded Dirichlet series

abstract: It is shown that the algebra of bounded Dirichlet series is not a coherent ring, and has infinite Bass stable rank. As corollaries of the latter result, it is derived that the algebra of bounded Dirichlet series has infinite topological stable rank and infinite Krull dimension.


title: Genus Expanded Cut-and-Join operators and generalized Hurwtiz numbers

abstract: To distinguish the contributions to the generalized Hurwitz number of the source Riemann surface with different genus, we define the genus expanded cut-and-join operators by observing carefully the symplectic surgery and the gluing formulas of the relative GW-invariants. As an application, we get some differential equations for the generating functions of the generalized Hurwitz numbers for the source Riemann surface with different genus, thus we can express the generating functions in terms of the genus expanded cut-and-join operators.


title: Central reflections and nilpotency in exact Mal'tsev categories

abstract: We study nilpotency in the context of exact Mal'tsev categories taking central extensions as the primitive notion. This yields a nilpotency tower which is analysed from the perspective of Goodwillie's functor calculus. We show in particular that the reflection into the subcategory of $n$-nilpotent objects is the universal endofunctor of degree $n$ if and only if every $n$-nilpotent object is $n$-folded. In the special context of a semi-abelian category, an object is $n$-folded precisely when its Higgins commutator of length $n+1$ vanishes.


title: Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version)

abstract: We extend abstract interpretation for the purpose of verifying hybrid systems. Abstraction has been playing an important role in many verification methodologies for hybrid systems, but some special care is needed for abstraction of continuous dynamics defined by ODEs. We apply Cousot and Cousot's framework of abstract interpretation to hybrid systems, almost as it is, by regarding continuous dynamics as an infinite iteration of infinitesimal discrete jumps. This extension follows the recent line of work by Suenaga, Hasuo and Sekine, where deductive verification is extended for hybrid systems by 1) introducing a constant dt for an infinitesimal value; and 2) employing Robinson's nonstandard analysis (NSA) to define mathematically rigorous semantics. Our theoretical results include soundness and termination via uniform widening operators; and our prototype implementation successfully verifies some benchmark examples.


title: Hamiltonian dynamics of the parametrized electromagnetic field

abstract: We study the Hamiltonian formulation for a parametrized electromagnetic field with the purpose of clarifying the interplay between parametrization and gauge symmetries. We use a geometric approach which is tailor-made for theories where embeddings are part of the dynamical variables. Our point of view is global and coordinate free. The most important result of the paper is the identification of sectors in the primary constraint submanifold in the phase space of the model where the number of independent components of the Hamiltonian vector fields that define the dynamics changes. This explains the non-trivial behavior of the system and some of its pathologies.


title: Rees algebras and $p_g$-ideals in a two-dimensional normal local domain

abstract: The authors introduced the notion of $p_g$-ideals for two-dimensional excellent normal local domain over an algebraicaly closed field in terms of resolution of singularities. In this note, we give several ring-theoretic characterization of $p_g$-ideals. For instance, an $m$-primary ideal $I \subset A$ is a $p_g$-ideal if and only if the Rees alegbra $\mathcal{R}(I)$ is a Cohen-Macaulay normal domain.


title: Some reference formulas for the generating functions of canonical transformations

abstract: We study some properties of the canonical transformations in classical mechanics and quantum field theory and give a number of practical formulas concerning their generating functions. First, we give a diagrammatic formula for the perturbative expansion of the composition law around the identity map. Then, we propose a standard way to express the generating function of a canonical transformation by means of a certain "componential" map, which obeys the Baker-Campbell-Hausdorff formula. We derive the diagrammatic interpretation of the componential map, work out its relation with the solution of the Hamilton-Jacobi equation and derive its time-ordered version. Finally, we generalize the results to the Batalin-Vilkovisky formalism, where the conjugate variables may have both bosonic and fermionic statistics, and describe applications to quantum field theory.


title: Deep multi-telescope photometry of NGC 5466. II. The radial behaviour of the mass function slope

abstract: We use a combination of data acquired with the Advanced Camera for Survey (ACS) on board the Hubble Space Telescope and the Large Binocular Camera (LBC-blue) mounted on the Large Binocular Telescope, to sample the main sequence stars of the globular cluster NGC~5466 in the mass range $0.3<M/M_\odot<0.8$. We derive the cluster's Luminosity Function in several radial regions, from the center of the cluster out to the tidal radius. After corrections for incompleteness and field-contamination, this has been compared to theoretical Luminosity Functions, obtained by multiplying a simple power law Mass Function in the form dN/dm$ \propto m^{\alpha}$ by the derivative of the mass-luminosity relationship of the best-fit isochrone. We find that $\alpha$ varies from -0.6 in the core region to -1.9 in the outer region. This fact allows us to observationally prove that the stars in NGC 5466 have experienced the effects of mass segregation. We compare the radial variation of $\alpha$ from the center out to 5 core radii (r$_c$) in NGC 5466 and the globular cluster M10, finding that the gradient of $\alpha$ in the first 5r$_c$ is more than a factor of 2 shallower in NGC 5466 than in M10, in line with the differences in the clusters' relaxation timescales. NGC 5466 is dynamically younger than M10, with two-body relaxation processes only recently starting to shape the distribution of main sequence stars. This result fully agrees with the conclusion obtained in our previous works on the radial distribution of Blue Straggler Stars, further confirming that this can be used as an efficient clock to measure the dynamical age of stellar systems.


title: The Variational Fair Autoencoder

abstract: We investigate the problem of learning representations that are invariant to certain nuisance or sensitive factors of variation in the data while retaining as much of the remaining information as possible. Our model is based on a variational autoencoding architecture with priors that encourage independence between sensitive and latent factors of variation. Any subsequent processing, such as classification, can then be performed on this purged latent representation. To remove any remaining dependencies we incorporate an additional penalty term based on the "Maximum Mean Discrepancy" (MMD) measure. We discuss how these architectures can be efficiently trained on data and show in experiments that this method is more effective than previous work in removing unwanted sources of variation while maintaining informative latent representations.


title: PCA-Based Out-of-Sample Extension for Dimensionality Reduction

abstract: Dimensionality reduction methods are very common in the field of high dimensional data analysis. Typically, algorithms for dimensionality reduction are computationally expensive. Therefore, their applications for the analysis of massive amounts of data are impractical. For example, repeated computations due to accumulated data are computationally prohibitive. In this paper, an out-of-sample extension scheme, which is used as a complementary method for dimensionality reduction, is presented. We describe an algorithm which performs an out-of-sample extension to newly-arrived data points. Unlike other extension algorithms such as Nystr\"om algorithm, the proposed algorithm uses the intrinsic geometry of the data and properties for dimensionality reduction map. We prove that the error of the proposed algorithm is bounded. Additionally to the out-of-sample extension, the algorithm provides a degree of the abnormality of any newly-arrived data point.


title: Converting normal insulators into topological insulators via tuning orbital levels

abstract: Tuning the spin-orbit coupling strength via foreign element doping and/or modifying bonding strength via strain engineering are the major routes to convert normal insulators to topological insulators. We here propose an alternative strategy to realize topological phase transition by tuning the orbital level. Following this strategy, our first-principles calculations demonstrate that a topological phase transition in some cubic perovskite-type compounds CsGeBr$_3$ and CsSnBr$_3$ could be facilitated by carbon substitutional doping. Such unique topological phase transition predominantly results from the lower orbital energy of the carbon dopant, which can pull down the conduction bands and even induce band inversion. Beyond conventional approaches, our finding of tuning the orbital level may greatly expand the range of topologically nontrivial materials.


title: Momentum-Resolved and Correlations Spectroscopy Using Quantum Probes

abstract: We address some key conditions under which many-body lattice models, intended mainly as simulated condensed matter systems, can be investigated via immersed, fully controllable quantum objects, namely quantum probes. First, we present a protocol that, for a certain class of many-body systems, allows for full momentum resolved spectroscopy using one single probe. Furthermore, we demonstrate how one can extract the two-point correlations using two entangled probes. We apply our theoretical proposal to two well-known exactly solvable lattice models, a 1D Kitaev chain and 2D superfluid Bose-Hubbard model, and show its accuracy as well as its robustness against external noise.


title: Confluence of singularities in hypergeometric systems

abstract: A system in a Birkhoff normal form with an irregular singularity of Poincare rank 1 at the origin and a regular singularity at infinity is through the Borel-Laplace transform dual to a system in an Okubo form. Schafke has showed that the Birkhoff system can also be obtained from the Okubo system by a simple limiting procedure. The Okubo system comes naturally with two kinds of mixed solution bases, both of which converge under the limit procedure to the canonical solutions of the limit Birkhoff system on sectors near the irregular singularity at the origin. One can then define Stokes matrices of the Okubo system as connection matrices between different branches of the mixed solution bases and use them to relate the monodromy matrices of the Okubo system to the usual Stokes matrices of the limit system at the irregular singularity. This is illustrated on the example of confluence in the generalized hypergeometric equation.


title: IAU Commission 37 "Star Clusters and Associations" Legacy report

abstract: It is widely accepted that stars do not form in isolation but result from the fragmentation of molecular clouds, which in turn leads to star cluster formation. Over time, clusters dissolve or are destroyed by interactions with molecular clouds or tidal stripping, and their members become part of the general field population. Star clusters are thus among the basic building blocks of galaxies. In turn, star cluster populations, from young associations and open clusters to old globulars, are powerful tracers of the formation, assembly, and evolutionary history of their parent galaxies. Although their importance had been recognised for decades, major progress in this area has only become possible in recent years, both for Galactic and extragalactic cluster populations. Star clusters are the observational foundation for stellar astrophysics and evolution, provide essential tracers of galactic structure, and are unique stellar dynamical environments. Star formation, stellar structure, stellar evolution, and stellar nucleosynthesis continue to benefit and improve tremendously from the study of these systems. Additionally, fundamental quantities such as the initial mass function can be successfully derived from modelling either the H-R diagrams or the integrated velocity structures of, respectively, resolved and unresolved clusters and cluster populations. Star cluster studies thus span the fields of Galactic and extragalactic astrophysics, while heavily affecting our detailed understanding of the process of star formation in dense environments.This report highlights science results of the last decade in the major fields covered by IAU Commission 37: Star clusters and associations.


title: High-energy waves in superpolynomial FPU-type chains

abstract: We consider periodic traveling waves in FPU-type chains with superpolynomial interaction forces and derive explicit asymptotic formulas for the high-energy limit as well as bounds for the corresponding approximation error. In the proof we adapt twoscale techniques that have recently been develop by Herrmann and Matthies for chains with singular potential and provide an asymptotic ODE for the scaled distance profile.


title: Self-organization in suspensions of end-functionalized semiflexible polymers under shear flow

abstract: The nonequilibrium dynamical behavior and structure formation of end-functionalized semiflexible polymer suspensions under flow are investigated by mesoscale hydrodynamic simulations. The hybrid simulation approach combines the multiparticle collision dynamics method for the fluid, which accounts for hydrodynamic interactions, with molecular dynamics simulations for the semiflexible polymers. In equilibrium, various kinds of scaffold-like network structures are observed, depending on polymer flexibility and end-attraction strength. We investigate the flow behavior of the polymer networks under shear and analyze their nonequilibrium structural and rheological properties. The scaffold structure breaks up and densified aggregates are formed at low shear rates, while the structural integrity is completely lost at high shear rates. We provide a detailed analysis of the shear-rate-dependent flow-induced structures. The studies provide a deeper understanding of the formation and deformation of network structures in complex materials.


title: Approximating Subadditive Hadamard Functions on Implicit Matrices

abstract: An important challenge in the streaming model is to maintain small-space approximations of entrywise functions performed on a matrix that is generated by the outer product of two vectors given as a stream. In other works, streams typically define matrices in a standard way via a sequence of updates, as in the work of Woodruff (2014) and others. We describe the matrix formed by the outer product, and other matrices that do not fall into this category, as implicit matrices. As such, we consider the general problem of computing over such implicit matrices with Hadamard functions, which are functions applied entrywise on a matrix. In this paper, we apply this generalization to provide new techniques for identifying independence between two vectors in the streaming model. The previous state of the art algorithm of Braverman and Ostrovsky (2010) gave a $(1 \pm \epsilon)$-approximation for the $L_1$ distance between the product and joint distributions, using space $O(\log^{1024}(nm) \epsilon^{-1024})$, where $m$ is the length of the stream and $n$ denotes the size of the universe from which stream elements are drawn. Our general techniques include the $L_1$ distance as a special case, and we give an improved space bound of $O(\log^{12}(n) \log^{2}({nm \over \epsilon})\epsilon^{-7})$.


title: First-generation Science Cases for Ground-based Terahertz Telescopes

abstract: Ground-based observations at terahertz (THz) frequencies are a newly explorable area of astronomy for the next ten years. We discuss science cases for a first-generation 10-m class THz telescope, focusing on the Greenland Telescope as an example of such a facility. We propose science cases and provide quantitative estimates for each case. The largest advantage of ground-based THz telescopes is their higher angular resolution (~ 4 arcsec for a 10-m dish), as compared to space or airborne THz telescopes. Thus, high-resolution mapping is an important scientific argument. In particular, we can isolate zones of interest for Galactic and extragalactic star-forming regions. The THz windows are suitable for observations of high-excitation CO lines and [N II] 205 um lines, which are scientifically relevant tracers of star formation and stellar feedback. Those lines are the brightest lines in the THz windows, so that they are suitable for the initiation of ground-based THz observations. THz polarization of star-forming regions can also be explored since it traces the dust population contributing to the THz spectral peak. For survey-type observations, we focus on ``sub-THz'' extragalactic surveys, whose uniqueness is to detect galaxies at redshifts z ~ 1--2, where the dust emission per comoving volume is the largest in the history of the Universe. Finally we explore possibilities of flexible time scheduling, which enables us to monitor active galactic nuclei, and to target gamma-ray burst afterglows. For these objects, THz and submillimeter wavelength ranges have not yet been explored.


title: Finetuning Randomized Heuristic Search For 2D Path Planning: Finding The Best Input Parameters For R* Algorithm Through Series Of Experiments

abstract: Path planning is typically considered in Artificial Intelligence as a graph searching problem and R* is state-of-the-art algorithm tailored to solve it. The algorithm decomposes given path finding task into the series of subtasks each of which can be easily (in computational sense) solved by well-known methods (such as A*). Parameterized random choice is used to perform the decomposition and as a result R* performance largely depends on the choice of its input parameters. In our work we formulate a range of assumptions concerning possible upper and lower bounds of R* parameters, their interdependency and their influence on R* performance. Then we evaluate these assumptions by running a large number of experiments. As a result we formulate a set of heuristic rules which can be used to initialize the values of R* parameters in a way that leads to algorithm's best performance.


title: Calibration of the Top-Quark Monte-Carlo Mass

abstract: We present a method to establish experimentally the relation between the top-quark mass $m_t^{MC}$ as implemented in Monte-Carlo generators and the Lagrangian mass parameter $m_t$ in a theoretically well-defined renormalization scheme. We propose a simultaneous fit of $m_t^{MC}$ and an observable sensitive to $m_t$, which does not rely on any prior assumptions about the relation between $m_t$ and $m_t^{MC}$. The measured observable is independent of $m_t^{MC}$ and can be used subsequently for a determination of $m_t$. The analysis strategy is illustrated with examples for the extraction of $m_t$ from inclusive and differential cross sections for hadro-production of top-quarks.


title: Thermodynamic properties in triangular-lattice superconductors

abstract: The study of superconductivity arising from doping a Mott insulator has become a central issue in the area of superconductivity. Within the framework of the kinetic-energy-driven superconducting mechanism, we discuss the thermodynamic properties in triangular-lattice superconductors. It is shown that a sharp peak in the specific-heat appears at the superconducting transition temperature Tc, and then the specific-heat varies exponentially as a function of temperature for the temperatures T<Tc due to the absence of the d-wave gap nodes at the charge-carrier Fermi surface. In particular, the upper critical field follows qualitatively the charge-carrier pair gap type temperature dependence, and has the same dome-shaped doping dependence as Tc.


title: Large and small-scale structure of the Intermediate and High Velocity Clouds towards the LMC and SMC

abstract: We employ CaII K and NaI D interstellar absorption-line spectroscopy of early-type stars in the Large and Small Magellanic Clouds to investigate the large- and small-scale structure in foreground Intermediate and High Velocity Clouds (I/HVCs). These data include FLAMES-GIRAFFE CaII K observations of 403 stars in four open clusters, plus FEROS or UVES spectra of 156 stars in the LMC and SMC. The FLAMES observations are amongst the most extensive probes to date of CaII structures on 20 arcsec scales From the FLAMES data within a 0.5 degree field-of-view, the CaII K equivalent width in the I/HVC components towards three clusters varies by factors of >10. There are no detections of molecular gas in absorption at intermediate or high velocities, although molecular absorption is present at LMC and Galactic velocities towards some sightlines. The sightlines show variations in EW exceeding a factor 7 in CH+ towards NGC 1761 over scales of less than 10 arcminutes. The FEROS/UVES data show CaII K I/HVC absorption in $\sim$60 per cent of sightlines. No NaI D is found at non-Magellanic HVC velocities aside from a tentative detection towards the star LHA 120-S 93. The range in the CaII/NaI ratio in I/HVCs is from -0.45 to +1.5 dex, similar to previous measurements for I/HVCs. In ten sightlines we find CaII/OI ratios in I/HVC gas ranging from 0.2 to 1.5 dex below the solar value, indicating either dust or ionisation effects. In nine sightlines I/HVC gas is detected in both HI and CaII, and shows similar CaII/HI ratios to typical I/HVCs, and similar velocities, implying that in these sightlines the two elements form part of the same structure.


title: Rapidly rotating spacetimes and collisional super-Penrose process

abstract: We consider generic axially symmetric rotating spacetimes and examine particle collisions in the ergoregion. The results are generic and agree with those obtained in the particular case of the rotating Teo wormhole in N. Tsukamoto and C. Bambi, Phys. Rev. D 91, 104040 (2015). It is shown that for sufficiently rapid rotation, the energy of a particle escaping to infinity can become arbitrary large (so-called super-Penrose process). Moreover, this energy is typically much larger than the center-of mass energy of colliding particles. In this sense the situation differs radically from that for collisions near black holes.


title: HD141569A: disk dissipation caught in action

abstract: Debris disks are usually thought to be gas-poor, the gas being dissipated by accretion or evaporation during the protoplanetary phase. HD141569A is a 5 Myr old star harboring a famous debris disk, with multiple rings and spiral features. We present here the first PdBI maps of the 12CO(2-1), 13CO(2-1) gas and dust emission at 1.3 mm in this disk. The analysis reveals there is still a large amount of (primordial) gas extending out to 250 au, i. e. inside the rings observed in scattered light. HD141569A is thus a hybrid disk with a huge debris component, where dust has evolved and is produced by collisions, with a large remnant reservoir of gas.


title: Analysis and numerical solution of coupled volume-surface reaction-diffusion systems with application to cell biology

abstract: We consider the numerical solution of coupled volume-surface reaction-diffusion systems having a detailed balance equilibrium. Based on the conservation of mass, an appropriate quadratic entropy functional is identified and an entropy-entropy dissipation inequality is proven. This allows us to show exponential convergence to equilibrium by the entropy method. We then investigate the discretization of the system by a finite element method and an implicit time stepping scheme including the domain approximation by polyhedral meshes. Mass conservation and exponential convergence to equilibrium are established on the discrete level by arguments similar to those on the continuous level and we obtain estimates of optimal order for the discretization error which hold uniformly in time. Some numerical tests are presented to illustrate these theoretical results. The analysis and the numerical approximation are discussed in detail for a simple model problem. The basic arguments however apply also in a more general context. This is demonstrated by investigation of a particular volume-surface reaction-diffusion system arising as a mathematical model for asymmetric stem cell division.