title: Continuous data assimilation for the three-dimensional Navier-Stokes-$\alpha$

abstract: Motivated by the presence of a finite number of determining parameters (degrees of freedom) such as modes, nodes and local spatial averages for dissipative dynamical systems, we present a continuous data assimilation algorithm for the three-dimensional Navier-Stokes-$\alpha$ model. This algorithm consists of introducing a nudging process through general type of approximation interpolation operator (that is constructed from observational measurements) that synchronizes the large spatial scales of the approximate solutions with those of the unknown solutions the Navier-Stokes-$\alpha$ equations that corresponds to these measurements. Our main result provides conditions on the finite-dimensional spatial resolution of the collected data, sufficient to guarantee that the approximating solution, that is obtained from these collected data, converges to the unkown reference solution (physical reality) over time. These conditions are given in terms of some physical parameters, such as kinematic viscosity, the size of the domain and the forcing term.


title: Probing Dark Matter Self-Interaction in the Sun with IceCube-PINGU

abstract: We study the capture, annihilation and evaporation of dark matter (DM) inside the Sun. It has been shown that the DM self-interaction can increase the DM number inside the Sun. We demonstrate that this enhancement becomes more significant in the regime of small DM mass, given a fixed DM self-interaction cross section. This leads to the enhancement of neutrino flux from DM annihilation. On the other hand, for DM mass as low as a few GeVs, not only the DM-nuclei scatterings can cause the DM evaporation, DM self-interaction also provides non-negligible contributions to this effect. Consequently, the critical mass for DM evaporation (typically 3 $\sim$ 4 GeV without the DM self-interaction) can be slightly increased. We discuss the prospect of detecting DM self-interaction in IceCube-PINGU using the annihilation channels $\chi\chi \rightarrow \tau^{+}\tau^{-}, \nu\bar{\nu}$ as examples. The PINGU sensitivities to DM self-interaction cross section $\sigma_{\chi\chi}$ are estimated for track and cascade events.


title: Extraordinary transverse magneto-optical Kerr effect in a superlens

abstract: It has been shown that a slab of a negative index material can behave as a superlens enhancing the imaging resolution beyond the wavelength limit. We show here that if such a slab possesses in addition some magneto-optical activity, it could act as an ideal optical filter and exhibit an extraordinary transverse magneto-optical Kerr effect. Moreover, we show that losses, which spoil the imaging resolution of these lenses, are a necessary ingredient to observe this effect.


title: Measurements of Outflow Velocities in On-Disk Plumes from EIS Hinode Observations

abstract: The contribution of plumes to the solar wind has been subject to hot debate in the past decades. The EUV Imaging Spectrometer (EIS) on board Hinode provides a unique means to deduce outflow velocities at coronal heights via direct Doppler shift measurements of coronal emission lines. Such direct Doppler shift measurements were not possible with previous spectrometers. We measure the outflow velocity at coronal heights in several on-disk long-duration plumes, which are located in coronal holes and show significant blue shifts throughout the entire observational period. In one case, a plume is measured 4 hours apart. The deduced outflow velocities are consistent, suggesting that the flows are quasi-steady. Furthermore, we provide an outflow velocity profile along the plumes, finding that the velocity corrected for the line-of-sight effect can reach 10 km s$^{-1}$ at 1.02 $R_{\odot}$, 15 km s$^{-1}$ at 1.03 $R_{\odot}$, and 25 km s$^{-1}$ at 1.05 $R_{\odot}$. This clear signature of steady acceleration, combined with the fact that there is no significant blue shift at the base of plumes, provides an important constraint on plume models. At the height of 1.03 $R_{\odot}$, EIS also deduced a density of 1.3$\times10^{8}$ cm$^{-3}$, resulting in a proton flux of about 4.2$\times10^9$ cm$^{-2}$s$^{-1}$ scaled to 1AU, which is an order of magnitude higher than the proton input to a typical solar wind if a radial expansion is assumed. This suggests that, coronal hole plumes may be an important source of the solar wind.


title: Dynkin diagrams of rank 20 on supersingular K3 surfaces

abstract: We classify normal supersingular K3 surfaces Y with total Milnor number 20 in characteristic p, where p is an odd prime that does not divide the discriminant of the Dynkin type of the rational double points on Y.


title: On the index of powers of edge ideals

abstract: The index of a graded ideal measures the number of linear steps in the graded minimal free resolution of the ideal. In this paper we study the index of powers and squarefree powers of edge ideals. Our results indicate that the index as a function of the power of an edge ideal $I$ is strictly increasing if $I$ has linear relations. Examples show that this need not to be the case for monomial ideals generated in degree greater than two.


title: APASS Landolt-Sloan BVgri photometry of RAVE stars. I. Data, effective temperatures and reddenings

abstract: We provide APASS photometry in the Landolt BV and Sloan g'r'i' bands for all the 425,743 stars included in the latest 4th RAVE Data Release. The internal accuracy of the APASS photometry of RAVE stars, expressed as error of the mean of data obtained and separately calibrated over a median of 4 distinct observing epochs and distributed between 2009 and 2013, is 0.013, 0.012, 0.012, 0.014 and 0.021 mag for B, V, g', r' and i' band, respectively. The equally high external accuracy of APASS photometry has been verified on secondary Landolt and Sloan photometric standard stars not involved in the APASS calibration process, and on a large body of literature data on field and cluster stars, confirming the absence of offsets and trends. Compared with the Carlsberg Meridian Catalog (CMC-15), APASS astrometry of RAVE stars is accurate to a median value of 0.098 arcsec. Brightness distribution functions for the RAVE stars have been derived in all bands. APASS photometry of RAVE stars, augmented by 2MASS JHK infrared data, has been chi2 fitted to a densely populated synthetic photometric library designed to widely explore in temperature, surface gravity, metallicity and reddening. Resulting Teff and E(B-V), computed over a range of options, are provided and discussed, and will be kept updated in response to future APASS and RAVE data releases. In the process it is found that the reddening caused by an homogeneous slab of dust, extending for 140 pc on either side of the Galactic plane and responsible for E(B-V,poles)=0.036 +/- 0.002 at the galactic poles, is a suitable approximation of the actual reddening encountered at Galactic latitudes |b|>=25 deg.


title: Flows, currents, and cycles for Markov Chains: large deviation asymptotics

abstract: We consider a continuous time Markov chain on a countable state space. We prove a joint large deviation principle (LDP) of the empirical measure and current in the limit of large time interval. The proof is based on results on the joint large deviations of the empirical measure and flow obtained in \cite{BFG}. By improving such results we also show, under additional assumptions, that the LDP holds with the strong L^1 topology on the space of currents. We deduce a general version of the Gallavotti-Cohen (GC) symmetry for the current field and show that it implies the so-called fluctuation theorem for the GC functional. We also analyze the large deviation properties of generalized empirical currents associated to a fundamental basis in the cycle space, which, as we show, are given by the first class homological coefficients in the graph underlying the Markov chain. Finally, we discuss in detail some examples.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Novel Ambiguities in the Seiberg-Witten Map and the Emergent Gravity

abstract: A homogeneous part of the Seiberg-Witten gauge equivalence relation for gauge fields can lead to solutions that involve matter fields in such a way that the gauge equivalence and the dimensional and index structures are preserved. In particular, we consider scalar fields coupled to U(1) gauge fields. The matter fields appear non-linearly in the map. As an application, we analyze the implication of this ambiguity to emergent gravity at the first order in noncommutative parameter and show that the new ambiguity restores the possibility of conformal coupling of real scalar density field that is coupled non-minimally to the emergent gravity induced by gauge fields -- a possibility that is strictly not allowed if we consider only the already known ambiguity in the Seiberg-Witten map.


title: On the welded Tube map

abstract: This note investigates the so-called Tube map which connects welded knots, that is a quotient of the virtual knot theory, to ribbon torus-knots, that is a restricted notion of fillable knotted tori in the 4-sphere. It emphasizes the fact that ribbon torus-knots with a given filling are in one-to-one correspondence with welded knots before quotient under classical Reidemeister moves and reformulates these moves and the known sources of non-injectivity of the Tube map in terms of filling changes.


title: Anomalous surface states at interfaces in p-wave superconductors

abstract: We present the results of theoretical study of surface state properties in a two-dimensional model for triplet $p$-wave superconductors. We derive boundary conditions for Eilenberger equations at rough interfaces and develop the approach for self-consistent solution for the spatial dependence of $p_{x}$ and $p_{x}+i~p_{y}$ -wave pair potentials. In the $p_{x}$ case we demonstrate the robustness of the zero-energy peak in the density of states (DoS) with respect to surface roughness, in contrast to the suppression of such a peak in the case of $d_{xy}$ symmetry. This effect is due to stability of odd-frequency pairing state at the surface with respect to disorder. In the case of the chiral $p_{x}+i~p_{y}$ state we demonstrate the appearance of a complex multi-peak subgap structure in the spectrum with increasing surface roughness.


title: Friction forces in cosmological models

abstract: We investigate the dynamics of test particles undergoing friction forces in a Friedmann-Robertson-Walker (FRW) spacetime. The interaction with the background fluid is modeled by introducing a Poynting-Robertson-like friction force in the equations of motion, leading to measurable (at least in principle) deviations of the particle trajectories from geodesic motion. The effect on the peculiar velocities of the particles is investigated for various equations of state of the background fluid and different standard cosmological models. The friction force is found to have major effects on particle motion in closed FRW universes, where it turns the time-asymptotic value (approaching the recollapse) of the peculiar particle velocity from ultra-relativistic (close to light speed) to a co-moving one, i.e., zero peculiar speed. On the other hand, for open or flat universes the effect of the friction is not so significant, because the time-asymptotic peculiar particle speed is largely non-relativistic also in the geodesic case.


title: Light scattering by radiation fields: the optical medium analogy

abstract: The optical medium analogy of a radiation field generated by either an exact gravitational plane wave or an exact electromagnetic wave in the framework of general relativity is developed. The equivalent medium of the associated background field is inhomogeneous and anisotropic in the former case, whereas it is inhomogeneous but isotropic in the latter. The features of light scattering are investigated by assuming the interaction region to be sandwiched between two flat spacetime regions, where light rays propagate along straight lines. Standard tools of ordinary wave optics are used to study the deflection of photon paths due to the interaction with the radiation fields, allowing for a comparison between the optical properties of the equivalent media associated with the different background fields.


title: Dark energy from cosmological fluids obeying a Shan-Chen non-ideal equation of state

abstract: We consider a Friedmann-Robertson-Walker universe with a fluid source obeying a non-ideal equation of state with "asymptotic freedom," namely ideal gas behavior (pressure changes directly proportional to density changes) both at low and high density regimes, following a fluid dynamical model due to Shan and Chen. It is shown that, starting from an ordinary energy density component, such fluids naturally evolve towards a universe with a substantial "dark energy" component at the present time, with no need of invoking any cosmological constant. Moreover, we introduce a quantitative indicator of darkness abundance, which provides a consistent picture of the actual matter-energy content of the universe.


title: Extended bodies in a Kerr spacetime: exploring the role of a general quadrupole tensor

abstract: The equatorial motion of extended bodies in a Kerr spacetime is investigated in the framework of the Mathisson-Papapetrou-Dixon model, including the full set of effective components of the quadrupole tensor. The numerical integration of the associated equations shows the specific role of the mass and current quadrupole moment components. While most of the literature on this topic is limited to spin-induced (purely electric) quadrupole tensor, the present analysis highlights the effect of a completely general quadrupole tensor on the dynamics. The contribution of the magnetic-type components is indeed related to a number of interesting features, e.g., enhanced inward/outward spiraling behavior of the orbit and spin-flip-like effects, which may have observational counterparts. Finally, the validity limit of the Mathisson-Papapetrou-Dixon model is also discussed through explicit examples.


title: Direct measurements of growing amorphous order and non-monotonic dynamic correlations in a colloidal glass-former

abstract: While the transformation of flowing liquids into rigid glasses is omnipresent, a complete understanding of vitrification remains elusive. Of the numerous approaches aimed at solving the glass transition problem, the Random First-Order Theory (RFOT) is the most prominent. However, the existence of the underlying thermodynamic phase transition envisioned by RFOT remains debatable, since its key microscopic predictions concerning the growth of amorphous order and the nature of dynamic correlations lack experimental verification. Here, by using holographic optical tweezers, we freeze a wall of particles in an equilibrium configuration of a 2D colloidal glass-forming liquid and provide direct evidence for growing amorphous order in the form of a static point-to-set length. Most remarkably, we uncover the non-monotonic dependence of dynamic correlations on area fraction and show that this non-monotonicity follows directly from the change in morphology of cooperatively rearranging regions, as predicted by RFOT. Our findings suggest that the glass transition has a thermodynamic origin.


title: Particle dynamics and deviation effects in the field of a strong electromagnetic wave

abstract: Some strong field effects on test particle motion associated with the propagation of a plane electromagnetic wave in the exact theory of general relativity are investigated. Two different profiles of the associated radiation flux are considered in comparison, corresponding to either constant or oscillating electric and magnetic fields with respect to a natural family of observers. These are the most common situations to be experimentally explored, and have a well known counterpart in the flat spacetime limit. The resulting line elements are determined by a single metric function, which turns out to be expressed in terms of standard trigonometric functions in the case of a constant radiation flux, and in terms of special functions in the case of oscillating flux, leading to different features of test particle motion. The world line deviation between both uncharged and charged particles on different spacetime trajectories due to the combined effect of gravitational and electromagnetic forces is studied. The interaction of charged particles with the background radiation field is also discussed through a general relativistic description of the inverse Compton effect. Motion as well as deviation effects on particles endowed with spin are studied too. Special situations may occur in which the direction of the spin vector change during the interaction, leading to obsevables effects like spin-flip.


title: Observer-dependent optical properties of stationary axisymmetric spacetimes

abstract: The world lines of null particles admit arbitrary parametrizations. In the presence of a family of observers one may introduce along a null world line an extension of the so-called Cattaneo's relative standard time parameter (valid for massive particles) which plays a special role. Another possibility is to use the coordinate time itself as a parameter. The relation between relative standard time and coordinate time allows for the introduction of an observer-dependent optical path and associated refraction index. Both these quantities are studied here working out explicit examples concerning familiar null orbits and observers in black hole spacetimes.


title: Saturation in the Hypercube and Bootstrap Percolation

abstract: Let $Q_d$ denote the hypercube of dimension $d$. Given $d\geq m$, a spanning subgraph $G$ of $Q_d$ is said to be $(Q_d,Q_m)$-saturated if it does not contain $Q_m$ as a subgraph but adding any edge of $E(Q_d)\setminus E(G)$ creates a copy of $Q_m$ in $G$. Answering a question of Johnson and Pinto, we show that for every fixed $m\geq2$ the minimum number of edges in a $(Q_d,Q_m)$-saturated graph is $\Theta(2^d)$. We also study weak saturation, which is a form of bootstrap percolation. A spanning subgraph of $Q_d$ is said to be weakly $(Q_d,Q_m)$-saturated if the edges of $E(Q_d)\setminus E(G)$ can be added to $G$ one at a time so that each added edge creates a new copy of $Q_m$. Answering another question of Johnson and Pinto, we determine the minimum number of edges in a weakly $(Q_d,Q_m)$-saturated graph for all $d\geq m\geq1$. More generally, we determine the minimum number of edges in a subgraph of the $d$-dimensional grid $P_k^d$ which is weakly saturated with respect to `axis aligned' copies of a smaller grid $P_r^m$. We also study weak saturation of cycles in the grid.


title: Elastic and magnetic properties of cubic Fe$_{4}$C from first-principles

abstract: First-principles based on density functional theory is used to study the phase stability, elastic, magnetic, and electronic properties of cubic (c)-Fe$_4$C. Our results show that c-Fe$_{4}$C has a ferromagnetic (FM) ground state structure compared with antiferromagnetic (AFM) and nonmagnetic (NM)states. To study the phase stability of c-Fe$_4$C, BCC Fe$_4$C, FCC Fe$_4$C, and BCC Fe$_{16}$C, where C is considered at tetrahedral and octahedral interstitial sites, are also considered. Although, the formation energy of c-Fe$_4$C is smaller than BCC Fe$_4$C, but the shear moduli of c-Fe$_4$C is negative in the FM and AFM states indicating that c-Fe$_4$C is dynamically not stable in the magnetic (FM/AFM) states. However, NM state has positive shear moduli which illustrates that instability in c-Fe$_4$C is due to magnetism and can lead to soft phonon modes. The calculated formation energy also shows that c-Fe$_4$C has higher formation energy compared with the FCC Fe$_4$C indicating no possibility of c-Fe$_4$C in low carbon steels at low temperature. The magnetic moment of Fe in c-Fe$_4$C is also sensitive to lattice deformation. The electronic structure reveals the itinerant nature of electrons responsible for metallic behavior of c-Fe$_4$C.


title: New Ideas for Brain Modelling 2

abstract: This paper describes a relatively simple way of allowing a brain model to self-organise its concept patterns through nested structures. For a simulation, time reduction is helpful and it would be able to show how patterns may form and then fire in sequence, as part of a search or thought process. It uses a very simple equation to show how the inhibitors in particular, can switch off certain areas, to allow other areas to become the prominent ones and thereby define the current brain state. This allows for a small amount of control over what appears to be a chaotic structure inside of the brain. It is attractive because it is still mostly mechanical and therefore can be added as an automatic process, or the modelling of that. The paper also describes how the nested pattern structure can be used as a basic counting mechanism. Another mathematical conclusion provides a basis for maintaining memory or concept patterns. The self-organisation can space itself through automatic processes. This might allow new neurons to be added in a more even manner and could help to maintain the concept integrity. The process might also help with finding memory structures afterwards. This extended version integrates further with the existing cognitive model and provides some new conclusions.


title: The first Delta a observations of three globular clusters

abstract: Globular clusters are main astrophysical laboratories to test and modify evolutionary models. Thought to be rather homogeneous in their local elemental Distribution of members, results suggest a wide variety of chemical peculiarities. Besides different main sequences, believed to be caused by different helium abundances, peculiarities of blue horizontal-branch stars and on the red giant branch were found. This whole zoo of peculiar objects has to be explained in the context of stellar formation and evolution. The tool of Delta a photometry is employed in order to detect peculiar stars in the whole spectral range. This three filter narrow band system measures the flux distribution in the region from 4900 to 5600A in order to find any peculiarities around 5200A. It is highly efficient to detect classical chemically peculiar stars of the upper main sequence, Be/Ae, shell and metal-weak objects in the Milky Way and Magellanic Clouds. We present Delta a photometry of 2266 stars from 109 individual frames for three globular Clusters (NGC 104, NGC 6205, and NGC 7099). A comparison with published abundances, for three horizontal-branch stars, only, yield an excellent agreement. According to the 3 sigma detection limit of each globular cluster, about 3% of the stars lie in abnormal regions in the diagnostic diagrams. The first observations of three widely different aggregates give very promising results, which will serve as a solid basis for follow-up observations including photometric as well as spectroscopic studies.


title: Towards Decision Support Technology Platform for Modular Systems

abstract: The survey methodological paper addresses a glance to a general decision support platform technology for modular systems (modular/composite alterantives/solutions) in various applied domains. The decision support platform consists of seven basic combinatorial engineering frameworks (system synthesis, system modeling, evaluation, detection of bottleneck, improvement/extension, multistage design, combinatorial evolution and forecasting). The decision support platform is based on decision support procedures (e.g., multicriteria selection/sorting, clustering), combinatorial optimization problems (e.g., knapsack, multiple choice problem, clique, assignment/allocation, covering, spanning trees), and their combinations. The following is described: (1) general scheme of the decision support platform technology; (2) brief descriptions of modular (composite) systems (or composite alternatives); (3) trends in moving from chocie/selection of alternatives to processing of composite alternatives which correspond to hierarchical modular products/systems; (4) scheme of resource requirements (i.e., human, information-computer); and (5) basic combinatorial engineering frameworks and their applications in various domains.


title: Mean transverse mass of hadrons in proton-proton reactions

abstract: An energy dependence of the mean transverse mass $\langle m_T\rangle$ at mid-rapidity in proton-proton ($p+p$) reactions is studied within the ultra-relativistic quantum molecular dynamics (UrQMD). The UrQMD model predicts a nonmonotonous dependence of $\langle m_T\rangle$ on collision energy for several hadron species: for $\pi^+$, $p$, $K^+$, and $\Lambda$ the mean transverse mass has a maximum at the center of mass energy region $5\le \sqrt{s}\le 8$ GeV. These results are a consequence of an interplay of two contributions: 1) excitations and decays of the baryonic resonances $N^*$ and $\Delta$; 2) excitations and decays of the baryonic strings. The UrQMD results do not show any nonmonotonous dependence of $\langle m_T\rangle$ on $\sqrt{s}$ for $\pi^-$, $K^{-}$, and antiprotons. Whether a nonmonotonous dependence of $\langle m_T\rangle$ at mid-rapidity on the collision energy for $\pi^+$, $p$, $K^+$, and $\Lambda$ is relevant for real $p+p$ interactions will be soon checked experimentally by the NA61/SHINE Collaboration.


title: Biharmonic submanifolds in a Riemannian manifold

abstract: In this paper, we solve affirmatively B.-Y. Chen's conjecture for hypersurfaces in the Euclidean space, under a generic condition. More precisely, every biharmonic hypersurface of the Euclidean space must be minimal if their principal curvatures are simple, and the associated frame field is irreducible.


title: Envelope Word and Gap Sequence in Doubling Sequence

abstract: Let $\omega$ be a factor of Doubling sequence $D_\infty=x_1x_2\cdots$, then it occurs in the sequence infinitely many times. Let $\omega_p$ be the $p$-th occurrence of $\omega$ and $G_p(\omega)$ be the gap between $\omega_p$ and $\omega_{p+1}$. In this paper, we discuss the structure of the gap sequence $\{G_p(\omega)\}_{p\geq1}$. We prove that all factors can be divided into two types, one type has exactly two distinct gaps $G_1(\omega)$ and $G_2(\omega)$, the other type has exactly three distinct gaps $G_1(\omega)$, $G_2(\omega)$ and $G_4(\omega)$. We determine the expressions of gaps completely. And also give the substitution of each gap sequence. The main tool in this paper is "envelope word", which is a new notion, denoted by $E_{m,i}$. As an application, we determine the positions of all $\omega_p$, discuss some combinatorial properties of factors, and count the distinct squares beginning in $D_\infty[1,N]$ for $N\geq1$.


title: $ \rho$ meson-nucleon coupling constant from the soft-wall AdS/QCD model

abstract: In the framework of the soft-wall model of AdS/QCD we calculated the $\rho$ meson nucleon coupling constant. Bulk-to boundary propagators for the free vector and spinor fields are presented, whose boundary values correspond to $\rho$ meson and to the nucleon respectively. The interaction Lagrangian between these fields is written in the bulk of AdS space and includes magnetic type interactions as well. Using the AdS/CFT correspondence from the bulk interaction action we derived the $g_{\rho NN}$ coupling constant in the boundary QCD. We found that the soft-wall model result for the $g_{\rho NN}$ constant is more close to empirical values than the one obtained in the hard-wall model.


title: Continuous-time Markov Decision Processes with Finite-horizon Expected Total Cost Criteria

abstract: This paper deals with the unconstrained and constrained cases for continuous-time Markov decision processes under the finite-horizon expected total cost criterion. The state space is denumerable and the transition and cost rates are allowed to be unbounded from above and from below. We give conditions for the existence of optimal policies in the class of all randomized history-dependent policies. For the unconstrained case, using the analogue of the forward Kolmogorov equation in the form of conditional expectation, we show that the finite-horizon optimal value function is the unique solution to the optimality equation and obtain the existence of an optimal deterministic Markov policy. For the constrained case, employing the technique of occupation measures, we first give an equivalent characterization of the occupation measures, and derive that for each occupation measure generated by a randomized history-dependent policy, there exists an occupation measure generated by a randomized Markov policy equal to it. Then using the compactness and convexity of the set of all occupation measures, we obtain the existence of a constrained-optimal randomized Markov policy. Moreover, the constrained optimization problem is reformulated as a linear program, and the strong duality between the linear program and its dual program is established. Finally, a controlled birth and death system is used to illustrate our main results.


title: Automatic and efficient driving strategies while approaching a traffic light

abstract: Vehicle-infrastructure communication opens up new ways to improve traffic flow efficiency at signalized intersections. In this study, we assume that equipped vehicles can obtain information about switching times of relevant traffic lights in advance. This information is used to improve traffic flow by the strategies 'early braking', 'anticipative start', and 'flying start'. The strategies can be implemented in driver-information mode, or in automatic mode by an Adaptive Cruise Controller (ACC). Quality criteria include cycle-averaged capacity, driving comfort, fuel consumption, travel time, and the number of stops. By means of simulation, we investigate the isolated strategies and the complex interactions between the strategies and between equipped and non-equipped vehicles. As universal approach to assess equipment level effects we propose relative performance indexes and found, at a maximum speed of 50 km/h, improvements of about 15% for the number of stops and about 4% for the other criteria. All figures double when increasing the maximum speed to 70 km/h.


title: Global existence of the two-dimensional QGE with sub-critical dissipation

abstract: In this paper, we study the sub-critical dissipative quasi-geostrophic equations $({\bf S}_\alpha)$. We prove that there exists a unique local-in-time solution for any large initial data $\theta_0$ in the space ${\bf{\mathcal X}}^{1-2\alpha}(\mathbb R^2)$ defined by (\ref{ec}). Moreover we show that $({\bf S}_\alpha)$ has a global solution in time if the norms of the initial data in ${\bf{\mathcal X}}^{1-2\alpha}(\mathbb R^2)$ are bounded by $1/4$. Also, we prove a blow-up criterion of the non global solution of $({\bf S}_\alpha)$.


title: Post-merger evolution of carbon-oxygen + helium white dwarf binaries and the origin of R Coronae Borealis and extreme helium stars

abstract: Orbital decay by gravitational-wave radiation will cause some close-binary white dwarfs (WDs) to merge within a Hubble time. The results from previous hydrodynamical WD-merger simulations have been used to guide calculations of the post-merger evolution of carbon-oxygen + helium (CO+He) WD binaries. Our models include the formation of a hot corona in addition to a Keplerian disk. We introduce a 'destroyeddisk' model to simulate the effect of direct disk ingestion into the expanding envelope. These calculations indicate significant lifetimes in the domain of the rare R Coronae Borealis (RCB) stars, before a fast evolution through the domain of the hotter extreme helium (EHe) stars. Surface chemistries of the resulting giants are in partial agreement with the observed abundances of RCB and EHe stars. The production of 3He, 18O and 19F are discussed. Evolutionary timescales combined with binary white-dwarf merger rates from binary-star population synthesis are consistent with present-day numbers of RCBs and EHes, provided that the majority come from relatively recent (< 2Gyr) star formation. However, most RCBs should be produced by CO-WD + low-mass HeWD mergers, with the He-WD having a mass in the range 0.20-0.35 Msolar. Whilst, previously, a high He-WD mass (> 0.40 Msolar) was required to match the carbon-rich abundances of RCB stars, the 'destroyed-disk' model yields a high-carbon product with He-WD mass > 0.30 Msolar, in better agreement with population synthesis results.


title: Long time decay to the solution to the 2D-DQG Equation

abstract: In \cite{JAMH1}, we prove the well posedness of the quasi-geostrophic equation $(QG)_{\alpha}\;,1/2<\alpha\leq 1$, in the space introduced by Z. Lei and F. Lin in \cite{ZY1}. In this chapter we discuss the long time behaviour. Mainly, we prove that $\|\theta\|_{{\mathcal X}^{1-2\alpha}}$ decays to zero as time goes to infinity.


title: On the indefinite Kirchhoff type problems with local sublinearity and linearity

abstract: The purpose of this paper is to study the indefinite Kirchhoff type problem: \begin{equation*} \left\{ \begin{array}{ll} M\left( \int_{\mathbb{R}^{N}}(|\nabla u|^{2}+u^{2})dx\right) \left[ -\Delta u+u\right] =f(x,u) & \text{in }\mathbb{R}^{N}, \\ 0\leq u\in H^{1}\left( \mathbb{R}^{N}\right), & \end{array} \right. \end{equation*} where $N\geq 1$, $M(t)=am\left( t\right) +b$, $m\in C(\mathbb{R}^{+})$ and $ f(x,u)=g(x,u)+h(x)u^{q-1}$. We require that $f$ is \textquotedblleft local\textquotedblright\ sublinear at the origin and \textquotedblleft local\textquotedblright\ linear at infinite. Using the mountain pass theorem and Ekeland variational principle, the existence and multiplicity of nontrivial solutions are obtained. In particular, the criterion of existence of three nontrivial solutions is established.


title: Enhancing retinal images by nonlinear registration

abstract: Being able to image the human retina in high resolution opens a new era in many important fields, such as pharmacological research for retinal diseases, researches in human cognition, nervous system, metabolism and blood stream, to name a few. In this paper, we propose to share the knowledge acquired in the fields of optics and imaging in solar astrophysics in order to improve the retinal imaging at very high spatial resolution in the perspective to perform a medical diagnosis. The main purpose would be to assist health care practitioners by enhancing retinal images and detect abnormal features. We apply a nonlinear registration method using local correlation tracking to increase the field of view and follow structure evolutions using correlation techniques borrowed from solar astronomy technique expertise. Another purpose is to define the tracer of movements after analyzing local correlations to follow the proper motions of an image from one moment to another, such as changes in optical flows that would be of high interest in a medical diagnosis.


title: Threshold of microvascular occlusion: injury size defines the thrombosis scenario

abstract: Damage to the blood vessel triggers formation of a hemostatic plug, which is meant to prevent bleeding, yet the same phenomenon may result in a total blockade of a blood vessel by a thrombus, causing severe medical conditions. Here, we show that the physical interplay between platelet adhesion and hemodynamics in a microchannel manifests in a critical threshold behavior of a growing thrombus. Depending on the size of injury, two distinct dynamic pathways of thrombosis were found: the formation of a nonocclusive plug, if injury length does not exceed the critical value, and the total occlusion of the vessel by the thrombus otherwise. We develop a mathematical model that demonstrates that switching between these regimes occurs as a result of a saddle-node bifurcation. Our study reveals the mechanism of self-regulation of thrombosis in blood microvessels and explains experimentally observed distinctions between thrombi of different physical etiology. This also can be useful for the design of platelet-aggregation-inspired engineering solutions.


title: The Overlap of Numerical Relativity, Perturbation Theory and Post-Newtonian Theory in the Binary Black Hole Problem

abstract: Inspiralling and coalescing binary black holes are promising sources of gravitational radiation. The orbital motion and gravitational-wave emission of such system can be modelled using a variety of approximation schemes and numerical methods in general relativity: the post-Newtonian formalism, black hole perturbation theory, numerical relativity simulations, and the effective one-body model. We review recent work at the multiple interfaces of these analytical and numerical techniques, emphasizing the use of coordinate-invariant relationships to perform meaningful comparisons. Such comparisons provide independent checks of the validity of the various calculations, they inform the development of a universal, semi-analytical model of the binary dynamics and gravitational-wave emission, and they help to delineate the respective domains of validity of each approximation method. For instance, several recent comparisons suggest that perturbation theory may find applications in a broader range of physical problems than previously thought, including the radiative inspiral of intermediate mass-ratio and comparable-mass black hole binaries.


title: Integrable Gross-Neveu models with fermion-fermion and fermion-antifermion pairing

abstract: The massless Gross-Neveu and chiral Gross-Neveu models are well known examples of integrable quantum field theories in 1+1 dimensions. We address the question whether integrability is preserved if one either replaces the four-fermion interaction in fermion-antifermion channels by a dual interaction in fermion-fermion channels, or if one adds such a dual interaction to an existing integrable model. The relativistic Hartree-Fock-Bogoliubov approach is adequate to deal with the large N limit of such models. In this way, we construct and solve three integrable models with Cooper pairing. We also identify a candidate for a fourth integrable model with maximal kinematic symmetry, the "perfect" Gross-Neveu model. This type of field theories can serve as exactly solvable toy models for color superconductivity in quantum chromodynamics.


title: Soft Neutrosophic Algebraic Structures and Their Generalization

abstract: Study of soft sets was first proposed by Molodtsov in 1999 to deal with uncertainty in a non-parametric manner. The researchers did not pay attention to soft set theory at that time but now the soft set theory has been developed in many areas of mathematics. Algebraic structures using soft set theory are very rapidly developed. In this book we developed soft neutrosophic algebraic structures by using soft sets and neutrosophic algebraic structures. In this book we study soft neutrosophic groups, soft neutrosophic semigroups, soft neutrosophic loops, soft neutrosophic LA-semigroups, and their generalizations respectively.


title: Semidualizing Modules and Rings of Invariants

abstract: We show there exist no nontrivial semidualizing modules for nonmodular rings of invariants of order $p^n$ with $p$ a prime.


title: Finite size scaling of the 5D Ising model with free boundary conditions

abstract: There has been a long running debate on the finite size scaling for the Ising model with free boundary conditions above the upper critical dimension, where the standard picture gives a $L^2$ scaling for the susceptibility and an alternative theory has promoted a $L^{5/2}$ scaling, as would be the case for cyclic boundary. In this paper we present results from simulation of the far largest systems used so far, up to side $L=160$ and find that this data clearly supports the standard scaling. Further we present a discussion of why rigorous results for the random-cluster model provides both supports the standard scaling picture and provides a clear explanation of why the scalings for free and cyclic boundary should be different.


title: Consistent Price Systems under Model Uncertainty

abstract: We develop a version of the fundamental theorem of asset pricing for discrete-time markets with proportional transaction costs and model uncertainty. A robust notion of no-arbitrage of the second kind is defined and shown to be equivalent to the existence of a collection of strictly consistent price systems.


title: Validation of the development methodologies

abstract: This paper argues that modelling the development methodologies can improve the multi-agents systems software engineering. Such modelling allows applying methods, techniques and practices used in the software development to the methodologies themselves. The paper discusses then the advantages of the modelling of development methodologies. It describes a model of development methodologies, uses such a model to develop a system of their partial validation, and applies such a system to multi-agent methodologies. Several benefits can be gained from such modelling, such as the improvement of the works on the development, evaluation and comparison of multi-agent development methodologies.


title: Desingularization of Ore Operators

abstract: We show that Ore operators can be desingularized by calculating a least common left multiple with a random operator of appropriate order. Our result generalizes a classical result about apparent singularities of linear differential equations, and it gives rise to a surprisingly simple desingularization algorithm.


title: Resolvability in Hypergraphs

abstract: This article emphasizes an extension of the study of metric and par- tition dimension to hypergraphs. We give a sharp lower bounds for the metric and partition dimension of hypergraphs in general and give exact values under specified conditions.eral and give exact values with specified conditions.


title: Bounds for D-finite closure properties

abstract: We provide bounds on the size of operators obtained by algorithms for executing D-finite closure properties. For operators of small order, we give bounds on the degree and on the height (bit-size). For higher order operators, we give degree bounds that are parameterized with respect to the order and reflect the phenomenon that higher order operators may have lower degrees (order-degree curves).


title: On primary decomposition of modules

abstract: Primary decomposition is a very important tool of commutative algebra and geometry. In this paper we generalized some of the existing algorithms of primary decomposition developed by Eisenbud et al. (cf. [EHV]) for free modules and also filled some gaps by providing proofs of important theorems(2.9, 2.12, 2.13) appeared in [EHV]. All these algorithms are programmed and implemented in {\sc Singular}.


title: Learning a Hierarchical Compositional Shape Vocabulary for Multi-class Object Representation

abstract: Hierarchies allow feature sharing between objects at multiple levels of representation, can code exponential variability in a very compact way and enable fast inference. This makes them potentially suitable for learning and recognizing a higher number of object classes. However, the success of the hierarchical approaches so far has been hindered by the use of hand-crafted features or predetermined grouping rules. This paper presents a novel framework for learning a hierarchical compositional shape vocabulary for representing multiple object classes. The approach takes simple contour fragments and learns their frequent spatial configurations. These are recursively combined into increasingly more complex and class-specific shape compositions, each exerting a high degree of shape variability. At the top-level of the vocabulary, the compositions are sufficiently large and complex to represent the whole shapes of the objects. We learn the vocabulary layer after layer, by gradually increasing the size of the window of analysis and reducing the spatial resolution at which the shape configurations are learned. The lower layers are learned jointly on images of all classes, whereas the higher layers of the vocabulary are learned incrementally, by presenting the algorithm with one object class after another. The experimental results show that the learned multi-class object representation scales favorably with the number of object classes and achieves a state-of-the-art detection performance at both, faster inference as well as shorter training times.


title: Escape from crossover interference increases with maternal age

abstract: Recombination plays a fundamental role in meiosis, ensuring the proper segregation of chromosomes and contributing to genetic diversity by generating novel combinations of alleles. Using data derived from directUtoUconsumer genetic testing, we investigated patterns of recombination in over 4,200 families. Our analysis revealed a number of sex differences in the distribution of recombination. We find the fraction of male events occurring within hotspots to be 4.6% higher than for females. We confirm that the recombination rate increases with maternal age, while hotspot usage decreases, with no such effects observed in males. Finally, we show that the placement of female recombination events becomes increasingly deregulated with maternal age, with an increasing fraction of events appearing to escape crossover interference.


title: Faster construction of asymptotically good unit-cost error correcting codes in the RAM model

abstract: Assuming we are in a Word-RAM model with word size $w$, we show that we can construct in $o(w)$ time an error correcting code with a constant relative positive distance that maps numbers of $w$ bits into $\Theta(w)$-bit numbers, and such that the application of the error-correcting code on any given number $x\in[0,2^w-1]$ takes constant time. Our result improves on a previously proposed error-correcting code with the same properties whose construction time was exponential in $w$.


title: Exploding Nitromethane in silico, in real time

abstract: Nitromethane (NM) is widely applied in chemical technology as a solvent for extraction, cleaning and chemical synthesis. NM was considered safe for a long time, until a railroad tanker car exploded in 1958. We investigate detonation kinetics and reaction mechanisms in a variety of systems consisting of NM, molecular oxygen and water vapor. State-of-the-art reactive molecular dynamics allows us to simulate reactions in time-domain, as they occur in real life. High polarity of the NM molecule is shown to play an important role, driving the first exothermic step of the reaction. Presence of oxygen is important for faster oxidation, whereas its optimal concentration is in agreement with the proposed reaction mechanism. Addition of water (50 mol%) inhibits detonation; however, water does not prevent detonation entirely. The reported results provide important insights for improving applications of NM and preserving safety of industrial processes.


title: In Situ Properties of Small and Large Flux Ropes in the Solar Wind

abstract: Two populations of twisted magnetic field tubes, or flux ropes (hereafter, FRs), are detected by in situ measurements in the solar wind. While small FRs are crossed by the observing spacecraft within few hours, with a radius typically less than 0.1AU, larger FRs, or magnetic clouds (hereafter, MCs), have durations of about half a day. The main aim of this study is to compare the properties of both populations of FRs observed by the Wind spacecraft at 1 AU. To do so, we use standard correlation techniques for the FR parameters, as well as histograms and more refined statistical methods. Although several properties seem at first different for small FRs and MCs, we show that they are actually governed by the same propagation physics. For example, we observe no in situ signatures of expansion for small FRs, contrary to MCs. We demonstrate that this result is in fact expected: small FRs expand similarly to MCs, as a consequence of a total pressure balance with the surrounding medium, but the expansion signature is well hidden by velocity fluctuations. Next, we find that the FR radius, velocity and magnetic field strength are all positively correlated, with correlation factors than can reach a value >0.5. This result indicates a remnant trace of the FR ejection process from the corona. We also find a larger FR radius at the apex than at the legs (up to three times larger at the apex), for FR observed at 1 AU. Finally, assuming that the detected FRs have a large-scale configuration in the heliosphere, we derived the mean axis shape from the probability distribution of the axis orientation. We therefore interpret the small FR and MC properties in a common framework of FRs interacting with the solar wind, and we disentangle the physics present behind their common and different features.


title: Improving LSST Photometric Calibration with Gaia Data

abstract: We consider the possibility that the Gaia mission can supply data which will improve the photometric calibration of LSST. After outlining the LSST calibra- tion process and the information that will be available from Gaia, we explore two options for using Gaia data. The first is to use Gaia G-band photometry of selected stars, in conjunction with knowledge of the stellar parameters Teff, log g, and AV, and in some cases Z, to create photometric standards in the LSST u, g, r, i, z, and y bands. The accuracies of the resulting standard magnitudes are found to be insufficient to satisfy LSST requirements when generated from main sequence (MS) stars, but generally adequate from DA white dwarfs (WD). The second option is combine the LSST bandpasses into a synthetic Gaia G band, which is a close approximation to the real Gaia G band. This allows synthetic Gaia G photometry to be directly compared with actual Gaia G photometry at a level of accuracy which is useful for both verifying and improving LSST photometric calibration.


title: Line of Dirac Nodes in Hyper-Honeycomb Lattices

abstract: We propose a family of free fermion lattice models that have "Dirac loops", closed lines of Dirac nodes in momentum space, on which the density of states vanishes linearly with energy. Those lattices all possess the planar trigonal connectivity present in graphene, but are three dimensional. We show that their highly anisotropic and multiply-connected Fermi surface leads to quantized Hall conductivities in three dimensions for magnetic fields with toroidal geometry. In the presence of spin-orbit coupling, we show that those structures have topological surface states. We discuss the feasibility of realizing the structures as new allotropes of carbon.


title: Classification of Convex Ancient Solutions to Curve Shortening Flow on the Sphere

abstract: We prove that the only closed, embedded ancient solutions to the curve shortening flow on $\mathbb{S}^2$ are equators or shrinking circles, starting at an equator at time $t=-\infty$ and collapsing to the north pole at time $t=0$. To obtain the result, we first prove a Harnack inequality for the curve shortening flow on the sphere. Then an application of the Gauss-Bonnet, easily allows us to obtain curvature bounds for ancient solutions leading to backwards smooth convergence to an equator. To complete the proof, we use an Aleksandrov reflection argument to show that maximal symmetry is preserved under the flow.


title: Bartnik's mass and Hamilton's Modified Ricci Flow

abstract: We provide estimates on the Bartnik mass of constant mean curvature (CMC) surfaces which are diffeomorphic to spheres and have positive mean curvature. We prove that the Bartnik mass is bounded from above by the Hawking mass and a new notion we call the asphericity mass. The asphericity mass is defined by applying Hamilton's modified Ricci flow and depends only upon the restricted metric of the surface and not on its mean curvature. The theorem is proven by studying a class of asymptotically flat Riemannian manifolds foliated by surfaces satisfying Hamilton's modified Ricci flow with prescribed scalar curvature. Such manifolds were first constructed by the first author in her dissertation conducted under the supervision of M.T. Wang. We make a further study of this class of manifolds bounding the ADM masses of such manifolds and analyzing the rigid case when the Hawking mass of the inner surface of the manifold agrees with its ADM mass. New in 2020: After this paper was published, Hyun-Chul Jang observed that we dropped a term in our calculations. Tracking the consequences throughout, we see that we need only slightly change the definition of the asphericity mass and then all statements of our theorems, propositions, and lemmas remain the same as the published version with slight revisions to the proofs. Pengzi Miao observed we needed an assumption on Gauss curvature in Theorem 1. We include these corrections and also some clarifications where they are needed in blue. Both Hyun-Chul Jang and Pengzi Miao have approved of our corrections and we have sent an erratum to the journal.


title: Critical behavior at the dynamic Mott transition

abstract: We investigate magnetoresistance of a square array of superconducting islands placed on a normal metal, which offers a unique tunable laboratory for realizing and exploring quantum many-body systems and their dynamics. A vortex Mott insulator where magnetic field-induced vortices are frozen in the dimples of the egg crate potential by their strong repulsion interaction is discovered. We find an insulator-to-metal transition driven by the applied electric current and determine critical exponents that exhibit striking similarity with the common thermodynamic liquid-gas transition. A simple and straightforward quantum mechanical picture is proposed that describes both tunneling dynamics in the deep insulating state and the observed scaling behavior in the vicinity of the critical point. Our findings offer a comprehensive description of dynamic Mott critical behavior and establish a deep connection between equilibrium and nonequilibrium phase transitions.


title: High Performance Financial Simulation Using Randomized Quasi-Monte Carlo Methods

abstract: GPU computing has become popular in computational finance and many financial institutions are moving their CPU based applications to the GPU platform. Since most Monte Carlo algorithms are embarrassingly parallel, they benefit greatly from parallel implementations, and consequently Monte Carlo has become a focal point in GPU computing. GPU speed-up examples reported in the literature often involve Monte Carlo algorithms, and there are software tools commercially available that help migrate Monte Carlo financial pricing models to GPU. We present a survey of Monte Carlo and randomized quasi-Monte Carlo methods, and discuss existing (quasi) Monte Carlo sequences in GPU libraries. We discuss specific features of GPU architecture relevant for developing efficient (quasi) Monte Carlo methods. We introduce a recent randomized quasi-Monte Carlo method, and compare it with some of the existing implementations on GPU, when they are used in pricing caplets in the LIBOR market model and mortgage backed securities.


title: Convergence of moments of tau leaping schemes for unbounded Markov processes on integer lattices

abstract: Tau leap schemes were originally designed for the efficient time stepping of discrete state and continuous in time Markov processes arising in stochastic chemical kinetics. Previous convergence results on tau leaping schemes have been restricted to systems that remain in a bounded subdomain (which may depend on the initial condition) or satisfy global Lipschitz conditions on propensities. This paper extends the convergence results to fairly general tau leap schemes applied to unbounded systems that possess certain moment growth bounds. Specifically, we prove a weak convergence result, which shows order $q$ convergence of all moments under certain form of moment growth bound assumptions on the stochastic chemical system and the tau leap method, as well as polynomial bound assumption on the propensity functions. The results are stated for a general class of Markov processes with $\integ^N$ as their state space.


title: The $E_8$-boundings of homology spheres and negative sphere classes in $E(1)$

abstract: We define invariants $\frak{ds}$ and $\overline{\frak{ds}}$, which are the maximal and minimal second Betti number divided by $8$ among definite spin boundings of a homology sphere. The similar invariants $g_8$ and $\overline{g_8}$ are defined by the maximal (or minimal) product sum of $E_8$-form of bounding 4-manifolds. We compute these invariants for some homology spheres. We construct $E_8$-boundings for some of Brieskorn 3-spheres $\Sigma(2,3,12n+5)$ by handle decomposition. As a by-product of the construction, some negative classes which consist of addition of several fiber classes plus one sectional class in $E(1)$ are represented by spheres.


title: Optical counterparts of ROSAT X-ray sources in two selected fields at low vs. high Galactic latitudes

abstract: The optical identification of large number of X-ray sources such as those from the ROSAT All-Sky Survey is challenging with conventional spectroscopic follow-up observations. We investigate two ROSAT All-Sky Survey fields of size 10 * 10 degrees each, one at galactic latitude b = 83 deg (Com), the other at b = -5 deg (Sge), in order to optically identify the majority of sources. We used optical variability, among other more standard methods, as a means of identifying a large number of ROSAT All-Sky Survey sources. All objects fainter than about 12 mag and brighter than about 17 mag, in or near the error circle of the ROSAT positions, were tested for optical variability on hundreds of archival plates of the Sonneberg field patrol. The present paper contains probable optical identifications of altogether 256 of the 370 ROSAT sources analysed. In particular, we found 126 AGN (some of them may be misclassified CVs), 17 likely clusters of galaxies, 16 eruptive double stars (mostly CVs), 43 chromospherically active stars, 65 stars brighter than about 13 mag, 7 UV Cet stars, 3 semiregular resp. slow irregular variable stars of late spectral type, 2 DA white dwarfs, 1 Am star, 1 supernova remnant and 1 planetary nebula. X-ray emission is, expectedly, tightly correlated with optical variability, and thus our new method for optically identifying X-ray sources is demonstrated to be feasible.


title: IPED2: Inheritance Path based Pedigree Reconstruction Algorithm for Complicated Pedigrees

abstract: Reconstruction of family trees, or pedigree reconstruction, for a group of individuals is a fundamental problem in genetics. The problem is known to be NP-hard even for datasets known to only contain siblings. Some recent methods have been developed to accurately and efficiently reconstruct pedigrees. These methods, however, still consider relatively simple pedigrees, for example, they are not able to handle half-sibling situations where a pair of individuals only share one parent. In this work, we propose an efficient method, IPED2, based on our previous work, which specifically targets reconstruction of complicated pedigrees that include half-siblings. We note that the presence of half-siblings makes the reconstruction problem significantly more challenging which is why previous methods exclude the possibility of half-siblings. We proposed a novel model as well as an efficient graph algorithm and experiments show that our algorithm achieves relatively accurate reconstruction. To our knowledge, this is the first method that is able to handle pedigree reconstruction based on genotype data only when half-sibling exists in any generation of the pedigree.


title: Amplituhedron cells and Stanley symmetric functions

abstract: The amplituhedron was recently introduced in the study of scattering amplitudes in $N=4$ super Yang-Mills. We compute the cohomology class of a tree amplituhedron subvariety of the Grassmannian to be the truncation of an affine Stanley symmetric function.


title: On the resolution of misspecified convex optimization and monotone variational inequality problems

abstract: We consider a misspecified optimization problem that requires minimizing a function f(x;q*) over a closed and convex set X where q* is an unknown vector of parameters that may be learnt by a parallel learning process. In this context, We examine the development of coupled schemes that generate iterates {x_k,q_k} as k goes to infinity, then {x_k} converges x*, a minimizer of f(x;q*) over X and {q_k} converges to q*. In the first part of the paper, we consider the solution of problems where f is either smooth or nonsmooth under various convexity assumptions on function f. In addition, rate statements are also provided to quantify the degradation in rate resulted from learning process. In the second part of the paper, we consider the solution of misspecified monotone variational inequality problems to contend with more general equilibrium problems as well as the possibility of misspecification in the constraints. We first present a constant steplength misspecified extragradient scheme and prove its asymptotic convergence. This scheme is reliant on problem parameters (such as Lipschitz constants)and leads us to present a misspecified variant of iterative Tikhonov regularization. Numerics support the asymptotic and rate statements.


title: The range of a rotor walk

abstract: In a \emph{rotor walk} the exits from each vertex follow a prescribed periodic sequence. On an infinite Eulerian graph embedded periodically in $\R^d$, we show that any simple rotor walk, regardless of rotor mechanism or initial rotor configuration, visits at least on the order of $t^{d/(d+1)}$ distinct sites in $t$ steps. We prove a shape theorem for the rotor walk on the comb graph with i.i.d.\ uniform initial rotors, showing that the range is of order $t^{2/3}$ and the asymptotic shape of the range is a diamond. Using a connection to the mirror model and critical percolation, we show that rotor walk with i.i.d.\ uniform initial rotors is recurrent on two different directed graphs obtained by orienting the edges of the square grid, the Manhattan lattice and the $F$-lattice. We end with a short discussion of the time it takes for rotor walk to cover a finite Eulerian graph.


title: Sagitta, Lenses, and Maximal Volume

abstract: We give a characterization of critical points that allows us to define a metric invariant on all Riemannian manifolds $M$ with a lower sectional curvature bound and an upper radius bound. We show there is a uniform upper volume bound for all such manifolds with an upper bound on this invariant. We generalize results by Grove and Petersen and by Sill, Wilhelm, and the author by showing any such $M$ that has volume sufficiently close to this upper bound is diffeomorphic to the standard sphere $S^{n}$ or a standard lens space $S^n/\mathbb{Z}_m$ where $m\in\{2,3,\ldots\}$ is no larger than an a priori constant.


title: A Preconditioned Hybrid SVD Method for Computing Accurately Singular Triplets of Large Matrices

abstract: The computation of a few singular triplets of large, sparse matrices is a challenging task, especially when the smallest magnitude singular values are needed in high accuracy. Most recent efforts try to address this problem through variations of the Lanczos bidiagonalization method, but they are still challenged even for medium matrix sizes due to the difficulty of the problem. We propose a novel SVD approach that can take advantage of preconditioning and of any well designed eigensolver to compute both largest and smallest singular triplets. Accuracy and efficiency is achieved through a hybrid, two-stage meta-method, PHSVDS. In the first stage, PHSVDS solves the normal equations up to the best achievable accuracy. If further accuracy is required, the method switches automatically to an eigenvalue problem with the augmented matrix. Thus it combines the advantages of the two stages, faster convergence and accuracy, respectively. For the augmented matrix, solving the interior eigenvalue is facilitated by a proper use of the good initial guesses from the first stage and an efficient implementation of the refined projection method. We also discuss how to precondition PHSVDS and to cope with some issues that arise. Numerical experiments illustrate the efficiency and robustness of the method.


title: Three-Dimensional Triplet Tracking for LHC and Future High Rate Experiments

abstract: The hit combinatorial problem is a main challenge for track reconstruction and triggering at high rate experiments. At hadron colliders the dominant fraction of hits is due to low momentum tracks for which multiple scattering (MS) effects dominate the hit resolution. MS is also the dominating source for hit confusion and track uncertainties in low energy precision experiments. In all such environments, where MS dominates, track reconstruction and fitting can be largely simplified by using three-dimensional (3D) hit-triplets as provided by pixel detectors. This simplification is possible since track uncertainties are solely determined by MS if high precision spatial information is provided. Fitting of hit-triplets is especially simple for tracking detectors in solenoidal magnetic fields. The over-constrained 3D-triplet method provides a complete set of track parameters and is robust against fake hit combinations. The triplet method is ideally suited for pixel detectors where hits can be treated as 3D-space points. With the advent of relatively cheap and industrially available CMOS-sensors the construction of highly granular full scale pixel tracking detectors seems to be possible also for experiments at LHC or future high energy (hadron) colliders. In this paper tracking performance studies for full-scale pixel detectors, including their optimisation for 3D-triplet tracking, are presented. The results obtained for different types of tracker geometries and different reconstruction methods are compared. The potential of reducing the number of tracking layers and -- along with that -- the material budget using this new tracking concept is discussed. The possibility of using 3D-triplet tracking for triggering and fast online reconstruction is highlighted.


title: Instability of solitary waves for nonlinear Schr\"odinger equations of derivative type

abstract: We study the orbital stablity and instability of solitary wave solutions for nonlinear Schr\"odinger equations of derivative type.


title: Horndeski meets McVittie: A scalar field theory for accretion onto cosmological black holes

abstract: We show that the generalized McVittie spacetime, which represents a black hole with time-dependent mass in an expanding universe, is an exact solution of a subclass of the Horndeski family of actions. The heat-flow term responsible for the energy transfer between the black hole and the cosmological background is generated by the higher-order kinetic gravity braiding term, which generalizes the cuscuton action that yields McVittie with constant mass as a solution. Finally, we show that this generalization can be understood in terms of a duality realized by a disformal transformation, connecting the cuscuton field theory to an extension of the Horndeski action which does not propagate any scalar degrees of freedom. Our finding opens a novel window into studies of non-trivial interactions between dark energy/modified gravity theories and astrophysical black holes.


title: A Distributed Framework for Scalable Search over Encrypted Documents

abstract: Nowadays, huge amount of documents are increasingly transferred to the remote servers due to the appealing features of cloud computing. On the other hand, privacy and security of the sensitive information in untrusted cloud environment is a big concern. To alleviate such concerns, encryption of sensitive data before its transfer to the cloud has become an important risk mitigation option. Encrypted storage provides protection at the expense of a significant increase in the data management complexity. For effective management, it is critical to provide efficient selective document retrieval capability on the encrypted collection. In fact, considerable amount of searchable symmetric encryption schemes have been designed in the literature to achieve this task. However, with the emergence of big data everywhere, available approaches are insufficient to address some crucial real-world problems such as scalability. In this study, we focus on practical aspects of a secure keyword search mechanism over encrypted data on a real cloud infrastructure. First, we propose a provably secure distributed index along with a parallelizable retrieval technique that can easily scale to big data. Second, we integrate authorization into the search scheme to limit the information leakage in multi-user setting where users are allowed to access only particular documents. Third, we offer efficient updates on the distributed secure index. In addition, we conduct extensive empirical analysis on a real dataset to illustrate the efficiency of the proposed practical techniques.


title: Generalized Coefficients for Hopf Cyclic Cohomology

abstract: A category of coefficients for Hopf cyclic cohomology is defined. It is shown that this category has two proper subcategories of which the smallest one is the known category of stable anti Yetter-Drinfeld modules. The middle subcategory is comprised of those coefficients which satisfy a generalized SAYD condition depending on both the Hopf algebra and the (co)algebra in question. Some examples are introduced to show that these three categories are different. It is shown that all components of Hopf cyclic cohomology work well with the new coefficients we have defined.


title: Artin-Nagata properties, minimal multiplicities, and depth of fiber cones

abstract: Minimal values of multiplicities of ideals have a strong relation with the depth of blowup algebras. In this paper, we introduce the notion of Goto-minimal $j$-multiplicity for ideals of maximal analytic spread. In a Cohen-Macaulay ring, inspired by the work of S. Goto, A. Jayanthan, T. Puthenpurakal, and J. Verma, we study the interplay among this new notion, the notion of minimal $j$-multiplicity introduced by C. Polini and Y. Xie, and the Cohen-Macaulayness of the fiber cone of ideals satisfying certain residual assumptions. We are also able to provide a bound on the reduction number of ideals of Goto-minimal $j$-multiplicity having either Cohen-Macaulay associated graded algebra, or linear decay in the depth of their powers.


title: Theoretical investigation of coherent synchrotron radiation induced microbunching instability in transport and recirculation arcs

abstract: The coherent synchrotron radiation (CSR) of a high brightness electron beam traversing a series of dipoles, such as recirculation or transport arcs, may lead to the microbunching instability. We extend and develop a semi-analytical approach of the CSR-induced microbunching instability for a general lattice, based on the previous formulation with 1-D CSR model [Phys. Rev. ST Accel. Beams 5, 064401 (2002)] and apply it to investigate the physical processes of microbunching amplification for two example transport arc lattices. We find that the microbunching instability in transport arcs has a distinguishing feature of multistage amplification (e.g, up to 6th stage for our example arcs in contrast to two stage amplification for a 3-dipole chicane). By further extending the concept of stage gain as proposed by Huang and Kim [Phys. Rev. ST Accel. Beams 5, 074401 (2002)], we developed a method to quantitatively characterize the microbunching amplification in terms of iterative or staged orders that allows the comparison of optics impacts on microbunching gain for different lattices. The parametric dependencies and Landau damping for our example lattices are also studied. Excellent agreement of the gain functions and spectra from Vlasov analysis with results from ELEGANT is achieved which helps to validate our analyses.


title: Restricted Conformal Property of Compressive Sensing

abstract: Energy and direction are tow basic properties of a vector. A discrete signal is a vector in nature. RIP of compressive sensing can not show the direction information of a signal but show the energy information of a signal. Hence, RIP is not complete. Orthogonal matrices can preserve angles and lengths. Preservation of length can show energies of signals like RIP do; and preservation of angle can show directions of signals. Therefore, Restricted Conformal Property (RCP) is proposed according to preservation of angle. RCP can show the direction of a signal just as RIP shows the energy of a signal. RCP is important supplement and development of RIP. Tow different proofs of RCP are given, namely, RCP_JL and RCP_IP.


title: To lie or not to lie in a subspace

abstract: Give deterministic necessary and sufficient conditions to guarantee that if a subspace fits certain partially observed data from a union of subspaces, it is because such data really lies in a subspace. Furthermore, Give deterministic necessary and sufficient conditions to guarantee that if a subspace fits certain partially observed data, such subspace is unique. Do this by characterizing when and only when a set of incomplete vectors behaves as a single but complete one.


title: Analysis of a family of HDG methods for second order elliptic problems

abstract: In this paper, we analyze a family of hybridizable discontinuous Galerkin (HDG) methods for second order elliptic problems in two and three dimensions. The methods use piecewise polynomials of degree $k\geqslant 0$ for both the flux and numerical trace, and piecewise polynomials of degree $k+1 $ for the potential. We establish error estimates for the numerical flux and potential under the minimal regularity condition. Moreover, we construct a local postprocessing for the flux, which produces a numerical flux with better conservation. Numerical experiments in two-space dimensions confirm our theoretical results.


title: Large subalgebras

abstract: We define and study large and stably large subalgebras of simple unital C*-algebras. The basic example is the orbit breaking subalgebra of a crossed product by Z, as follows. Let X be an infinite compact metric space, let h be a minimal homeomorphism of X, and let Y be a closed subset of X. Let u be the standard unitary in C* (Z, X, h). The Y-orbit breaking subalgebra is the subalgebra of C* (Z, X, h) generated by C (X) and all elements f u for f in C (X) such that f vanishes on Y. If intersects each orbit of h at most once, then the Y-orbit breaking subalgebra is large in C* (Z, X, h). Large subalgebras obtained via generalizations of this construction have appeared in a number of places, and we unify their theory in this paper. We prove the following results for an infinite dimensional simple unital C*-algebra A and a stably large subalgebra B of A: B is simple and infinite dimensional. If B is stably finite then so is A, and if B is purely infinite then so is A. The restriction maps from the tracial states of A to the tracial states of B and from the normalized 2-quasitraces on A to the normalized 2-quasitraces on B are bijective. When A is stably finite, the inclusion of B in A induces an isomorphism on the semigroups that remain after deleting from the Cuntz semigroups of A and B all the classes of nonzero projections. B and A have the same radius of comparison.


title: An Inexact Uzawa Algorithm for Generalized Saddle-Point Problems and Its Convergence

abstract: We propose an inexact Uzawa algorithm with two variable relaxation parameters for solving the generalized saddle-point system. The saddle-point problems can be found in a wide class of applications, such as the augmented Lagrangian formulation of the constrained minimization, the mixed finite element method, the mortar domain decomposition method and the discretization of elliptic and parabolic interface problems. The two variable parameters can be updated at each iteration, requiring no a priori estimates on the spectrum of two preconditioned subsystems involved. The convergence and convergence rate of the algorithm are analysed. Both symmetric and nonsymmetric saddle-point systems are discussed, and numerical experiments are presented to demonstrate the robustness and effectiveness of the algorithm.


title: Gravitational effects on vanishing Higgs potential at the Planck scale

abstract: We investigate gravitational effects on the so-called multiple point criticality principle (MPCP) at the Planck scale. The MPCP requires two degenerate vacua, whose necessary conditions are expressed by vanishing Higgs quartic coupling $\lambda(M_{\rm Pl})=0$ and vanishing its $\beta$ function $\beta_\lambda(M_{\rm Pl})=0$. We discuss a case that a specific form of gravitational corrections are assumed to contribute to $\beta$ functions of coupling constants although it is accepted that gravitational corrections do not alter the running of the standard model (SM) couplings. To satisfy the above two boundary conditions at the Planck scale, we find that the top pole mass and the Higgs mass should be $170.8\,{\rm GeV} \lesssim M_t\lesssim 171.7\,{\rm GeV}$ and $M_h=125.7\pm0.4\,{\rm GeV}$, respectively, as well as include suitable magnitude of gravitational effects (a coefficient of gravitational contribution as $|a_\lambda| > 2$). In this case, however, since the Higgs quartic coupling $\lambda$ becomes negative below the Planck scale, two vacua are not degenerate. We find that $M_h \gtrsim 131.5\,{\rm GeV}$ with $M_t \gtrsim 174\,{\rm GeV}$ is required by the realization of the MPCP. Therefore, the MPCP at the Planck scale cannot be realized in the SM and also the SM with gravity since $M_h \gtrsim 131.5\,{\rm GeV}$ is experimentally ruled out.


title: On the Neuron Response Features of Convolutional Neural Networks for Remote Sensing Image

abstract: In this paper, some patterns of the Neuron Response of deep Convolutional Neural Networks were observed.


title: Adaptive Uzawa algorithm for nonsymmetric generalized saddle point problem

abstract: In this paper, we extend the inexact Uzawa algorithm in [Q. Hu, J. Zou, SIAM J. Matrix Anal., 23(2001), pp. 317-338] to the nonsymmetric generalized saddle point problem. The techniques used here are similar to those in [Bramble \emph{et al}, Math. Comput. 69(1999), pp. 667-689], where the convergence of Uzawa type algorithm for solving nonsymmetric case depends on the spectrum of the preconditioners involved. The main contributions of this paper focus on a new linear Uzawa type algorithm for nonsymmetric generalized saddle point problems and its convergence. This new algorithm can always converge without any prior estimate on the spectrum of two preconditioned subsystems involved, which may not be easy to achieve in applications. Numerical results of the algorithm on the Navier-Stokes problem are also presented.


title: Formation of Stoichiometric CsF$_n$ Compounds

abstract: Alkali halides $MX$, have been viewed as typical ionic compounds, characterized by 1:1 ratio necessary for charge balance between M$^+$ and X$^-$. It was proposed that group I elements like Cs can be oxidized further under high pressure. Here we perform a comprehensive study for the CsF-F system at pressures up to 100 GPa, and find extremely versatile chemistry. A series of CsF$_n$ ($n$ $\geq$ 1) compounds are predicted to be stable already at ambient pressure. Under pressure, 5$p$ electrons in Cs atoms become active, with growing tendency to form Cs$^{3+}$ and Cs$^{5+}$ valence states at fluorine-rich conditions. Although Cs$^{2+}$ and Cs$^{4+}$ are not energetically favoured, the interplay between two mechanisms (polyfluoride anions and polyvalent Cs cations) allows CsF$_2$ and CsF$_4$ compounds to be stable under pressure. The estimated defluorination temperatures of CsF$_n$ (n=2,3,5) compounds at atmospheric pressure (218 $^\circ$C, 150 $^\circ$C, -15 $^\circ$C, respectively), are attractive for fluorine storage applications.


title: Fuzzy and entropy facial recognition

abstract: This paper suggests an effective method for facial recognition using fuzzy theory and Shannon entropy. Combination of fuzzy theory and Shannon entropy eliminates the complication of other methods. Shannon entropy calculates the ratio of an element between faces, and fuzzy theory calculates the member ship of the entropy with 1. More details will be mentioned in Section 3. The learning performance is better than others as it is very simple, and only need two data per learning. By using factors that don't usually change during the life, the method will have a high accuracy.


title: Fourth-order gravity gradient torque of spacecraft orbiting asteroids

abstract: The dynamical behavior of spacecraft around asteroids is a key element in design of such missions. An asteroid's irregular shape, non-spherical mass distribution and its rotational sate make the dynamics of spacecraft quite complex. This paper focuses on the gravity gradient torque of spacecraft around non-spherical asteroids. The gravity field of the asteroid is approximated as a 2nd degree and order-gravity field with harmonic coefficients C20 and C22. By introducing the spacecraft's higher-order inertia integrals, a full fourth-order gravity gradient torque model of the spacecraft is established through the gravitational potential derivatives. Our full fourth-order model is more precise than previous fourth-order model due to the consideration of higher-order inertia integrals of the spacecraft. Some interesting conclusions about the gravity gradient torque model are reached. Then a numerical simulation is carried out to verify our model. In the numerical simulation, a special spacecraft consisted of 36 point masses connected by rigid massless rods is considered. We assume that the asteroid is in a uniform rotation around its maximum-moment principal axis, and the spacecraft is on the stationary orbit in the equatorial plane. Simulation results show that the motion of previous fourth-order model is quite different from the exact motion, while our full fourth-order model fits the exact motion very well. And our model is precise enough for practical applications.


title: Nonlinear attitude stability of a spacecraft on a stationary orbit around an asteroid subjected to gravity gradient torque

abstract: The classical problem of attitude stability in a central gravity field is generalized to that on a stationary orbit around a uniformly-rotating asteroid. This generalized problem is studied in the framework of geometric mechanics. Based on the natural symplectic structure, the non-canonical Hamiltonian structure of the problem is derived. The Poisson tensor, Casimir functions and equations of motion are obtained in a differential geometric method. The equilibrium of the equations of motion, i.e. the equilibrium attitude of the spacecraft, is determined from a global point of view. Nonlinear stability conditions of the equilibrium attitude are obtained with the energy-Casimir method. The nonlinear attitude stability is then investigated versus three parameters of the asteroid, including the ratio of the mean radius to the stationary orbital radius, the harmonic coefficients C20 and C22. It is found that when the spacecraft is located on the intermediate-moment principal axis of the asteroid, the nonlinear stability domain can be totally different from the classical Lagrange region on a circular orbit in a central gravity field.


title: Stability of the relative equilibria of a rigid body in a J2 gravity field

abstract: The motion of a point mass in the J2 problem is generalized to that of a rigid body in a J2 gravity field. Different with the original J2 problem, the gravitational orbit-rotation coupling of the rigid body is considered in this generalized problem. The linear stability of the classical type of relative equilibria of the rigid body, which have been obtained in our previous paper, is studied in the framework of geometric mechanics with the second-order gravitational potential. Non-canonical Hamiltonian structure of the problem, i.e., Poisson tensor, Casimir functions and equations of motion, are obtained through a Poisson reduction process by means of the symmetry of the problem. The linear system matrix at the relative equilibria is given through the multiplication of the Poisson tensor and Hessian matrix of the variational Lagrangian. Based on the characteristic equation of the linear system matrix, the conditions of linear stability of the relative equilibria are obtained. With the stability conditions obtained, the linear stability of the relative equilibria is investigated in details in a wide range of the parameters of the gravity field and the rigid body. We find that both the zonal harmonic J2 and the characteristic dimension of the rigid body have significant effects on the linear stability. Similar to the attitude stability in a central gravity field, the linear stability region is also consisted of two regions that are analogues of the Lagrange region and the DeBra-Delp region. Our results are very useful for the studies on the motion of natural satellites in our solar system.


title: Topological Higgs inflation: The origin of the Standard Model criticality

abstract: The measured values of the Higgs and top masses and of the strong gauge coupling constant point to the near-criticality of the Standard Model, where two vacua at the electroweak and Planck scales are quasi-degenerate. We argue that the criticality is required by the occurrence of an eternal topological inflation induced by the Higgs potential. The role of this inflation is to continuously create sufficiently flat and homogeneous Universe, providing the necessary initial condition for the subsequent slow-roll inflation that generates the density perturbations of the right magnitude. While the condition for the topological Higgs inflation is only marginally satisfied in the Standard Model, it can be readily satisfied if one introduces the right-handed neutrinos and/or the non-minimal coupling to gravity; currently unknown quantum gravity corrections to the potential may also help. We also discuss the $B-L$ Higgs inflation as a possible origin of the observed density perturbations. Its necessary initial condition, the restored $B-L$ symmetry, can be naturally realized by the preceding topological Higgs inflation.


title: Body-fixed orbit-attitude hovering at equilibria near an asteroid using non-canonical Hamiltonian structure

abstract: Orbit-attitude hovering of a spacecraft at the natural relative equilibria in the body-fixed frame of a uniformly rotating asteroid is discussed in the framework of the full spacecraft dynamics, in which the spacecraft is modeled as a rigid body with the gravitational orbit-attitude coupling. In this hovering model, both the position and attitude of the spacecraft are kept to be stationary in the asteroid body-fixed frame. A Hamiltonian structure-based feedback control law is proposed to stabilize the relative equilibria of the full dynamics to achieve the orbit-attitude hovering. The control law is consisted of two parts: potential shaping and energy dissipation. The potential shaping is to make the relative equilibrium a minimum of the modified Hamiltonian on the invariant manifold by modifying the potential artificially. With the energy-Casimir method, it is shown that the unstable relative equilibrium can always be stabilized in the Lyapunov sense by the potential shaping with sufficiently large feedback gains. Then the energy dissipation leads the motion to converge asymptotically to the minimum of the modified Hamiltonian on the invariant manifold, i.e., the relative equilibrium. The feasibility of the proposed stabilization control law is validated through numerical simulations in the case of a spacecraft orbiting around a small asteroid. The main advantage of the proposed hovering control law is that it is very simple and is easy to implement autonomously by the spacecraft with little computation. This advantage is attributed to the utilization of dynamical behaviors of the system in the control design.


title: Empirical studies on the network of social groups: the case of Tencent QQ

abstract: Participation in social groups are important but the collective behaviors of human as a group are difficult to analyze due to the difficulties to quantify ordinary social relation, group membership, and to collect a comprehensive dataset. Such difficulties can be circumvented by analyzing online social networks. In this paper, we analyze a comprehensive dataset obtained from Tencent QQ, an instant messenger with the highest market share in China. Specifically, we analyze three derivative networks involving groups and their members -- the hypergraph of groups, the network of groups and the user network -- to reveal social interactions at microscopic and mesoscopic level. Our results uncover interesting behaviors on the growth of user groups, the interactions between groups, and their relationship with member age and gender. These findings lead to insights which are difficult to obtain in ordinary social networks.


title: Convergence results for continuous-time dynamics arising in ant colony optimization

abstract: This paper studies the asymptotic behavior of several continuous-time dynamical systems which are analogs of ant colony optimization algorithms that solve shortest path problems. Local asymptotic stability of the equilibrium corresponding to the shortest path is shown under mild assumptions. A complete study is given for a recently proposed model called EigenAnt: global asymptotic stability is shown, and the speed of convergence is calculated explicitly and shown to be proportional to the difference between the reciprocals of the second shortest and the shortest paths.


title: Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification

abstract: This volume contains the proceedings of the Fifth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2014). The symposium took place in Verona, Italy, from 10th to 12th of September 2014. The proceedings of the symposium contain the abstracts of three invited talks and 19 papers that were accepted after a careful evaluation for presentation at the conference. The topics of the accepted papers range over a wide spectrum, including algorithmic and behavioral game theory, game semantics, formal languages and automata theory, modal and temporal logics, software verification, hybrid systems.


title: Hardy inequalities with homogenuous weights

abstract: In this paper we obtain some sharp Hardy inequalities with weight functions that may admit singularities on the unit sphere. In order to prove the main results of the paper we use some recent sharp inequalities for the lowest eigenvalue of Schr\"odinger operators on the unit sphere obtaind in the paper [DEL].


title: Ferro-type order of magneto-electric quadrupoles as an order-parameter for the pseudo-gap phase of a cuprate superconductor

abstract: Understanding the pseudo-gap phase from which a superconducting state emerges is a central problem in the physics of cuprates. The phase exists below a temperature T* for less than optimal doping of holes, and no clear jump in the specific heat or change in lattice symmetry is observed on crossing T*. Here we show that, two sets of intriguing experimental results in the literature concerning magnetic properties of underdoped YBCO are united in a single theory based on Cu quadrupole moments. The quadrupole is a product of spin and the electric dipole, so there is no magnetic dipole moment, and standard crystallography describes the magnetic motif. One experiment employed the Kerr effect and the second Bragg diffraction of polarized neutrons, and both are shown to imply an order-parameter for the pseudo-gap phase composed of magneto-electric quadrupoles at in-plane Cu sites in a ferro-type order. The successful interpretation of neutron diffraction data for YBCO yields the first experimental evidence that neutrons are deflected by magneto-electric multipoles. Predicted in 2014, our verification of the effect validates a new application for the experimental technique of choice in studies of magnetic motifs and excitations.


title: Heavy quarkonium wave functions at the origin and excited heavy quarkonium production via top quark decays at the LHC

abstract: The value of quarkonium wave function at the origin is an important quantity while studying many physical problems concerning a heavy quarkonium. This is because that it is widely used to evaluate the production and decay amplitudes of the heavy quarkonium within the effective filed theory framework, e.g., the non-relativistic QCD (NRQCD). In this paper, the value of the Schr${\rm \ddot{o}}$dinger radial wave function or its first nonvanishing derivative at zero quark-antiquark separation, i.e., $|(|c\bar{c})[n]\rangle$-, $|(|b\bar{c})[n]\rangle$-, and $|(b\bar{b})[n]\rangle$-quarkonium, have been tabulated under five potential models with new parameters of the heavy quarkonium. Moreover, the production of the lower-level Fock states $|(b\bar{Q})[1S]\rangle$ and $|(b\bar{Q})[1P]\rangle$, together with the higher excited Fock states $|(b\bar{Q})[nS]\rangle$ and $|(b\bar{Q})[nP]\rangle$ ($Q$ stands for $c$- or $b$-quark; $n=2,\cdots,6 $) through top quark decays have been studied with the new values of heavy quarkonium wave functions at the origin under the framework of NRQCD. At the LHC with the luminosity ${\cal L}\propto 10^{34}cm^{-2}s^{-1}$ and the center-of-mass energy $\sqrt{S}=14$ TeV, sizable heavy quarkonium events can be produced through top quark decays, i.e., $4 \times10^5$ $B_c$ and $B^*_c$, and $2 \times10^4$ $\eta_b$ and $\Upsilon$ events per year can be obtained according to our calculation.


title: Proceedings Third Workshop on Behavioural Types

abstract: This volume contains the proceedings of BEAT 2014, the third Workshop on Behavioural Types. The workshop took place in Rome, Italy, on September 1st 2014, as a satellite even of CONCUR 2014, the 25th International Conference on Concurrency Theory. The aim of this workshop is to bring together researchers in all aspects of behavioural type theory and its applications, in order to share results, consolidate the community, and discover opportunities for new collaborations and future directions.


title: Production Cross Section of Neutron-Rich Calcium Isotopes in Heavy Ion Collisions

abstract: Based on the isospin-dependent quantum molecular dynamics model along with the GEMINI model, heavy-ion collisions at intermediate energies are studied. We calculate the production cross sections of different fragments for reactions of 112Sn+112Sn and 124Sn+124Sn at different beam energies. The species and production cross sections of neutron-rich isotopes are generally dependent on the isospin of the system and the incident energies. The nucleon 48Ca and 54Ca are more productive for the neutron-rich system at 30 to 150 MeV/nucleon.


title: Energy-Efficient Power Allocation for Secure Communications in Large-Scale MIMO Relaying Systems

abstract: In this paper, we address the problem of energy-efficient power allocation for secure communications in an amplify-and-forward (AF) large-scale multiple-input multiple-output (LS-MIMO) relaying system in presence of a passive eavesdropper. The benefits of an AF LS-MIMO relay are exploited to significantly improve the secrecy performance, especially the secrecy energy efficiency (bit per Joule). We first analyze the impact of transmit power at the relay on the secrecy outage capacity, and prove that the secrecy outage capacity is a concave function of transmit power under very practical assumptions, i.e. no eavesdropper channel state information (CSI) and imperfect legitimate CSI. Then, we propose an energy-efficient power allocation scheme to maximize the secrecy energy efficiency. Finally, simulation results validate the advantage of the proposed energy-efficient scheme compared to the capacity maximization scheme.


title: Anomalous zeta potential in foam films

abstract: Electrokinetic effects offer a method of choice to control flows in micro and nanofluidic systems. While a rather clear picture of these phenomena exists now for the liquid-solid interfaces, the case of liquid-air interfaces remains largely unexplored. Here we investigate at the molecular level electrokinetic transport in a liquid film covered with ionic surfactants. We find that the zeta potential, quantifying the amplitude of electrokinetic effects, depends on the surfactant coverage in an unexpected way. First, it increases upon lowering surfactant coverage from saturation. Second, it does not vanish in the limit of low coverage, but instead approaches a finite value. This behavior is rationalized by taking into account the key role of interfacial hydrodynamics, together with an ion-binding mechanism. We point out implications of these results for the strongly debated measurements of zeta potential at free interfaces, and for electrokinetic transport in liquid foams.


title: Mouvement et origine du calcul infinit\'esimal Philosophie et continuit\'e

abstract: This article has his origin in some lectures given at the University of Bologna, inside an interdisciplinary program of mathematics, history of science, physics and philosophy. Since they are at the junction of these fields, movement and infinitesimal calculus are good instances to understand some fundamental questions in history of sciences, the diversity of the conceptions stretching across it and more generally the philosophy background of theses researches. It is the field where the 'struggle of giants' takes place. In this article we consider the general foundations needed for this study, in particular its philosophical background. While the principal question concerns 'the one and the multiple' it is treated through the study of the 'discreet and the continuous' considered under both his philosophical and mathematical aspect. In a second article we will consider the relation between the theorization of the movement and the infinitesimal calculus, and their historical background where they were able to grow


title: Mouvement et origine du calcul infinit\'esimal : Th\'eorisation du mouvement et infinit\'esimaux

abstract: In a previous article we gave the general foundations of the theory of movement considered from a philosophical and mathematical point of view. Philosophical it meant to understand the opposition of the one and the multiple, mathematically to consider the opposition between the discreet and the continuous. In this article we want to show how the widespread introduction of mathematics in physics by Galilei leas to a change in the very notion of movement. Conversely, this theorization of the movement is the origin of the elaboration of the infinitesimals, one of the major upheavals in mathematics.