title: Quantum Correction and the Moduli Spaces of Calabi-Yau Manifolds

abstract: We define the quantum correction of the Teichm\"uller space $\mathcal{T}$ of Calabi-Yau manifolds. Under the assumption of no weak quantum correction, we prove that the Teichm\"uller space $\mathcal{T}$ is a locally symmetric space with the Weil-Petersson metric. For Calabi-Yau threefolds, we show that no strong quantum correction is equivalent to that, with the Hodge metric, the image $ \Phi(\mathcal{T})$ of the Teichm\"uller space $\mathcal{T}$ under the period map $\Phi$ is an open submanifold of a globally Hermitian symmetric space $W$ of the same dimension as $\mathcal{T}$. Finally, for Hyperk\"ahler manifold of dimension $2n \geq 4$, we find both locally and globally defined families of $(2,0)$ and $(2n,0)$-classes over the Teichm\"uller space of polarized Hyperk\"ahler manifolds.


title: Glide-Plane Symmetry and Superconducting Gap Structure of Iron-Based Superconductors

abstract: We consider the effect of glide-plane symmetry of the Fe-pnictogen/chalcogen layer in Fe-based superconductors on pairing in spin fluctuation models. Recent theories have proposed that so-called $\eta$-pairing states with nonzero total momentum can be realized and possess exotic properties such as odd parity spin singlet symmetry and time-reversal symmetry breaking. Here we show that $\eta$ pairing is inevitable when there is orbital weight at the Fermi level from orbitals with even and odd mirror reflection symmetry in $z$; however, by explicit calculation, we conclude that the gap function that appears in observable quantities is identical to that found in earlier, 1 Fe per unit cell pseudocrystal momentum calculations.


title: A boundary integral algorithm for the Laplace Dirichlet-Neumann mixed eigenvalue problem

abstract: We present a novel integral-equation algorithm for evaluation of Zaremba eigenvalues and eigenfunctions}, that is, eigenvalues and eigenfunctions of the Laplace operator with mixed Dirichlet-Neumann boundary conditions; of course, (slight modifications of) our algorithms are also applicable to the pure Dirichlet and Neumann eigenproblems. Expressing the eigenfunctions by means of an ansatz based on the single layer boundary operator, the Zaremba eigenproblem is transformed into a nonlinear equation for the eigenvalue $\mu$. For smooth domains the singular structure at Dirichlet-Neumann junctions is incorporated as part of our corresponding numerical algorithm---which otherwise relies on use of the cosine change of variables, trigonometric polynomials and, to avoid the Gibbs phenomenon that would arise from the solution singularities, the Fourier Continuation method (FC). The resulting numerical algorithm converges with high order accuracy without recourse to use of meshes finer than those resulting from the cosine transformation. For non-smooth (Lipschitz) domains, in turn, an alternative algorithm is presented which achieves high-order accuracy on the basis of graded meshes. In either case, smooth or Lipschitz boundary, eigenvalues are evaluated by searching for zero minimal singular values of a suitably stabilized discrete version of the single layer operator mentioned above. (The stabilization technique is used to enable robust non-local zero searches.) The resulting methods, which are fast and highly accurate for high- and low-frequencies alike, can solve extremely challenging two-dimensional Dirichlet, Neumann and Zaremba eigenproblems with high accuracies in short computing times---enabling, in particular, evaluation of thousands of eigenvalues and corresponding eigenfunctions for a given smooth or non-smooth geometry with nearly full double-precision accuracy


title: Effect of the RuO6 octahedron rotation at the Sr2RuO4 surface on topological property

abstract: We investigate the rotation effect of the RuO$_6$ octahedron around the $c$ axis on the topological and transport properties near the surface of the spin-triplet superconductor Sr$_2$RuO$_4$. While the Fermi level of bulk Sr$_2$RuO$_4$ is near the Lifshitz transition, the RuO$_6$ rotation realized near the surface leads to the change of the Fermi surface topology. The edge current resulting from the time-reversal symmetry breaking in the chiral $p$-wave phase with fully opened excitation gap is less affected around Lifshitz transition. The topological property and the edge state are sensitive to the rotation angle and the amplitude of the nearest neighbor interaction, and the superconducting gap is strongly reduced in the larger next nearest neighbor interaction region. Although the edge state in Sr$_2$RuO$_4$ is topologically protected, it is not robust to the disorder such as impurity or defect.


title: Learning Mixed Multinomial Logit Model from Ordinal Data

abstract: Motivated by generating personalized recommendations using ordinal (or preference) data, we study the question of learning a mixture of MultiNomial Logit (MNL) model, a parameterized class of distributions over permutations, from partial ordinal or preference data (e.g. pair-wise comparisons). Despite its long standing importance across disciplines including social choice, operations research and revenue management, little is known about this question. In case of single MNL models (no mixture), computationally and statistically tractable learning from pair-wise comparisons is feasible. However, even learning mixture with two MNL components is infeasible in general. Given this state of affairs, we seek conditions under which it is feasible to learn the mixture model in both computationally and statistically efficient manner. We present a sufficient condition as well as an efficient algorithm for learning mixed MNL models from partial preferences/comparisons data. In particular, a mixture of $r$ MNL components over $n$ objects can be learnt using samples whose size scales polynomially in $n$ and $r$ (concretely, $r^{3.5}n^3(log n)^4$, with $r\ll n^{2/7}$ when the model parameters are sufficiently incoherent). The algorithm has two phases: first, learn the pair-wise marginals for each component using tensor decomposition; second, learn the model parameters for each component using Rank Centrality introduced by Negahban et al. In the process of proving these results, we obtain a generalization of existing analysis for tensor decomposition to a more realistic regime where only partial information about each sample is available.


title: Emergent Behaviors over Signed Random Dynamical Networks: State-Flipping Model

abstract: Recent studies from social, biological, and engineering network systems have drawn attention to the dynamics over signed networks, where each link is associated with a positive/negative sign indicating trustful/mistrustful, activator/inhibitor, or secure/malicious interactions. We study asymptotic dynamical patterns that emerge among a set of nodes that interact in a dynamically evolving signed random network. Node interactions take place at random on a sequence of deterministic signed graphs. Each node receives positive or negative recommendations from its neighbors depending on the sign of the interaction arcs, and updates its state accordingly. Recommendations along a positive arc follow the standard consensus update. As in the work by Altafini, negative recommendations use an update where the sign of the neighbor state is flipped. Nodes may weight positive and negative recommendations differently, and random processes are introduced to model the time-varying attention that nodes pay to these recommendations. Conditions for almost sure convergence and divergence of the node states are established. We show that under this so-called state-flipping model, all links contribute to a consensus of the absolute values of the nodes, even under switching sign patterns and dynamically changing environment. A no-survivor property is established, indicating that every node state diverges almost surely if the maximum network state diverges.


title: The ecology of asexual pairwise interactions: A generalized law of mass action

abstract: A general procedure to formulate asexual (unstructured, deterministic) population dynamical models resulting from individual pairwise interactions is proposed. Individuals are characterized by a continuous strategy that represents all their behavioral, morphological, and functional traits. Populations group conspecific individuals with identical strategy and are measured by densities in space. Species can be monomorphic, if only one strategy is present, or polymorphic otherwise. The procedure highlights the structural properties fulfilled by the population per-capita growth rates. In particular, the effect of perturbing a set of similar strategies is proportional to the product of the corresponding densities, with a proportionality coefficient that is density-dependent only through the total density. This generalizes the law of mass action, which traditionally refers to the case in which the per-capita growth rates are linearly density-dependent and insensitive to joint strategy perturbations. Being underpinned with individual strategies, the proposed procedure is most useful for evolutionary considerations, in the case strategies are inheritable. The developed body of theory is exemplified on a Holling-type-II many-prey-one-predator system and on a model of a cannibalistic community.


title: User Capacity of Pilot-Contaminated TDD Massive MIMO Systems

abstract: Pilot contamination has been regarded as a main limiting factor of time division duplexing (TDD) massive multiple-input-multiple-output (Massive MIMO) systems, as it will make the signal-to-interference-plus-noise ratio (SINR) saturated. However, how pilot contamination will limit the user capacity of downlink Massive MIMO, i.e., the maximum number of admissible users, has not been addressed. This paper provides an explicit expression of the Massive MIMO user capacity in the pilot-contaminated regime where the number of users is larger than the pilot sequence length. Furthermore, the scheme for achieving the user capacity, i.e., the uplink pilot training sequence and downlink power allocation, has been identified. By using this capacity-achieving scheme, the SINR requirement of each user can be satisfied and energy-efficient transmission is feasible in the large-antenna-size (LAS) regime. Comparison with two non-capacity-achieving schemes highlights the superiority of our proposed scheme in terms of achieving higher user capacity.


title: Gauge invariance, Lorentz covariance and canonical quantization in nucleon structure studies

abstract: There are different operators of quark and gluon momenta, orbital angular momenta, and gluon spin in the nucleon structure study. The precise meaning of these operators are studied based on gauge invariance, Lorentz covariance and canonical quantization rule. The advantage and disadvantage of different definitions are analyzed. A gauge invariant canonical decomposition of the total momentum and angular momentum into quark and gluon parts is suggested based on the decomposition of the gauge potential into gauge invariant (covariant) physical part and gauge dependent pure gauge part. Challenges to this proposal are answered. \keywords{Physical and pure gauge potentials; Gauge invariant canonical quark and gluon momenta, orbital angular momenta and spins; Homogeneous and non-homogeneous Lorentz transformations; Gauge invariant decomposition and gauge invariant extension; Classical and quantum measurements.


title: Hadron Structure

abstract: This is a review of recent developments in hadron structure within the framework of Lattice QCD. The main focus is on recent achievements in the evaluation of nucleon quantities, such as the axial charge, electromagnetic form factors, the Dirac and Pauli radii, the quark momentum fraction and the spin content of the nucleon, in view of simulations at pion masses very close to their physical value. A discussion of the systematic uncertainties and the computation of the disconnected contributions using dynamical simulations is also included. Results emerging the properties of particles other than the nucleon are summarized, highlighting selected hyperon and meson form factors.


title: A Giant, High-frequency Oscillation of Metal Strip Actuator under DC Electric Field

abstract: Different from conventional electroactive polymers, here we firstly present a new facile actuator made from aluminum alloy. The high-frequency electrically induced flapping motion was characterized under varied physical factors. This electroactuation results from alternative processes of charge induction and discharge, which is confirmed by the existence of periodical pulse current in the circuit. The metal actuator is of great stability and can maintain several days if not for any structural fatigue. Easy fabrication, high tunable frequency and durability make it potential for implementation of actuators for sensors, microelectromechanical systems and robotics.


title: Probability density derivation and analysis of SINR in massive MIMO systems with MF beamformer

abstract: In massive MIMO systems, the matched filter (MF) beamforming is attractive technique due to its extremely low complexity of implementation compared to those high-complexity decomposition-based beamforming techniques such as zero-forcing, and minimum mean square error. A specific problem in applying these techniques is how to qualify and quantify the relationship between the transmitted signal, channel noise and interference. This paper presents detailed procedure of deriving an approximate formula for probability density function (PDF) of the signal-to-interference-and-noise ratio (SINR) at user terminal when multiple antennas and MF beamformer are used at the base station. It is shown how the derived density function of SINR can be used to calculate the symbol error rate of massive MIMO downlink. It is confirmed by simulation that the derived approximate expression for PDF is consistent with the simulated PDF in medium-scale and large-scale MIMO systems.


title: High Dimensional Correlation Matrices: CLT and Its Applications

abstract: Statistical inferences for sample correlation matrices are important in high dimensional data analysis. Motivated by this, this paper establishes a new central limit theorem (CLT) for a linear spectral statistic (LSS) of high dimensional sample correlation matrices for the case where the dimension p and the sample size $n$ are comparable. This result is of independent interest in large dimensional random matrix theory. Meanwhile, we apply the linear spectral statistic to an independence test for $p$ random variables, and then an equivalence test for p factor loadings and $n$ factors in a factor model. The finite sample performance of the proposed test shows its applicability and effectiveness in practice. An empirical application to test the independence of household incomes from different cities in China is also conducted.


title: Hybrid M-mode-like OCT imaging of 3D microvasculature in vivo using reference-free processing of complex-valued B-scans

abstract: We propose a novel OCT-based method for visualizing microvasculature in 3D using reference-free processing of individual complex-valued B-scans with highly overlapped A-scans. In the lateral direction of such a B-scan, the amplitude and phase of speckles corresponding to vessel regions exhibit faster variability, and thus can be detected without comparison with other B-scans recorded in the same plane. This method combines elements of several existing OCT angiographic approaches, and exhibits: (i) enhanced robustness with respect to bulk tissue motion with frequencies up to tens of Hz; (ii) resolution of microcirculation images equal to that of structural images and (iii) possibility of quantifying the vessels in terms of their decorrelation rates.


title: Quantum \v{C}erenkov Radiation: Spectral Cutoffs and the Role of Spin and Orbital Angular Momentum

abstract: We show that the well-known \v{C}erenkov Effect contains new phenomena arising from the quantum nature of charged particles. The \v{C}erenkov transition amplitudes allow coupling between the charged particle and the emitted photon through their orbital angular momentum (OAM) and spin, by scattering into preferred angles and polarizations. Importantly, the spectral response reveals a discontinuity immediately below a frequency cutoff that can occur in the optical region. Specifically, with proper shaping of electron beams (ebeams), we predict that the traditional \v{C}erenkov radiation angle splits into two distinctive cones of photonic shockwaves. One of the shockwaves can move along a backward cone, otherwise considered impossible for \v{C}erenkov radiation in ordinary matter. Our findings are observable for ebeams with realistic parameters, offering new applications including novel quantum optics sources, and open a new realm for \v{C}erenkov detectors involving the spin and orbital angular momentum of charged particles.

categories: quant-ph hep-th math-ph math.MP physics.optics


title: On embedding certain partial orders into the P-points under RK and Tukey reducibility

abstract: The study of the global structure of ultrafilters on the natural numbers with respect to the quasi-orders of Rudin-Keisler and Rudin-Blass reducibility was initiated in the 1970s by Blass, Keisler, Kunen, and Rudin. In a 1973 paper Blass studied the special class of P-points under the quasi-ordering of Rudin-Keisler reducibility. He asked what partially ordered sets can be embedded into the P-points when the P-points are equipped with this ordering. This question is of most interest under some hypothesis that guarantees the existence of many P-points, such as Martin's axiom for $\sigma$-centered posets. In his 1973 paper he showed under this assumption that both ${\omega}_{1}$ and the reals can be embedded. This result was later repeated for the coarser notion of Tukey reducibility. We prove in this paper that Martin's axiom for $\sigma$-centered posets implies that every partial order of size at most continuum can be embedded into the P-points both under Rudin-Keisler and Tukey reducibility.


title: Complex Events Recognition under Uncertainty in a Sensor Network

abstract: Automated extraction of semantic information from a network of sensors for cognitive analysis and human-like reasoning is a desired capability in future ground surveillance systems. We tackle the problem of complex decision making under uncertainty in network information environment, where lack of effective visual processing tools, incomplete domain knowledge frequently cause uncertainty in the visual primitives, leading to sub-optimal decisions. While state-of-the-art vision techniques exist in detecting visual entities (humans, vehicles and scene elements) in an image, a missing functionality is the ability to merge the information to reveal meaningful information for high level inference. In this work, we develop a probabilistic first order predicate logic(FOPL) based reasoning system for recognizing complex events in synchronized stream of videos, acquired from sensors with non-overlapping fields of view. We adopt Markov Logic Network(MLN) as a tool to model uncertainty in observations, and fuse information extracted from heterogeneous data in a probabilistically consistent way. MLN overcomes strong dependence on pure empirical learning by incorporating domain knowledge, in the form of user-defined rules and confidences associated with them. This work demonstrates that the MLN based decision control system can be made scalable to model statistical relations between a variety of entities and over long video sequences. Experiments with real-world data, under a variety of settings, illustrate the mathematical soundness and wide-ranging applicability of our approach.


title: High-order Composite Likelihood Inference for Max-Stable Distributions and Processes

abstract: In multivariate or spatial extremes, inference for max-stable processes observed at a large collection of locations is among the most challenging problems in computational statistics, and current approaches typically rely on less expensive composite likelihoods constructed from small subsets of data. In this work, we explore the limits of modern state-of-the-art computational facilities to perform full likelihood inference and to efficiently evaluate high-order composite likelihoods. With extensive simulations, we assess the loss of information of composite likelihood estimators with respect to a full likelihood approach for some widely-used multivariate or spatial extreme models, we discuss how to choose composite likelihood truncation to improve the efficiency, and we also provide recommendations for practitioners.


title: Age of Big Data and Smart Cities: Privacy Trade-Off

abstract: Data will soon become one of the most precious treasures we have ever had, 43 trillion gigabytes of data will be created by 2020 according to a study made by Mckinsey Global Institute, it is estimated that 2.3 trillion gigabytes of data is created each day and most companies in the US have 100.000 gigabytes of data stored. Data is recorded, stored and analyzed to enable technology and services that the world relies on every day, this technology is getting smarter and we will be soon living in a world of smart services or what is called smart cities. This article presents an overview of the topic pointing to its actual status and forecasting the crucial roles it will play in the future, we will define big data analytics and smart cities and talk about their potential contributions in changing our way of living and finally we will discuss the possible down side of this upcoming technologies and how it can fool us, violate our privacy and turn us into puppets or technology slaves.


title: Search for Dark Matter at Colliders

abstract: Dark Matter (DM) detection prospects at future e+e- colliders are reviewed under the assumption that DM particles are fermions of the Majorana or Dirac type. Although the discussion is quite general, one will keep in mind the recently proposed candidate based on an excess of energetic photons observed in the center of our Galaxy with the Fermi-LAT satellite. If one assume that DM couples to a Zprime, using radiative return events e+e-->XX+photon, one could observe a spectacular signal at a TeV e+e- collider. This result relies on the ability of using highly polarized beams to eliminate a large part of the W exchange background. Prospects of discovery at LHC using mono-jets are also discussed and appear promising. In the second part, one assumes that DM particles annihilate through Higgs particles, either the SM boson h or MSSM type bosons called H, A. A promising scenario emerges, where one has e+e-->HA, with H decaying into hh, while A decays invisibly in most of the cases.


title: Uniform Estimates for the Flow of a Viscous Incompressible Fluid down an Inclined Plane in the Thin Film Regime

abstract: We consider a two-dimensional motion of a thin film flowing down an inclined plane under the influence of the gravity and the surface tension. In order to investigate the stability of such flow, it is hard to treat the Navier--Stokes equations directly, so that a thin film approximation is often used. It is an approximation obtained by the perturbation expansion with respect to the aspect ratio $\delta$ of the film under the thin film regime $\delta\ll1$. Our purpose is to give a mathematically rigorous justification of the thin film approximation by establishing an error estimate between the solution of the Navier--Stokes equations and those of approximate equations. To this end, in this paper we derive a uniform estimate for the solution of the Navier--Stokes equations with respect to $\delta$ under appropriate assumptions.


title: Behavioural equivalences for coalgebras with unobservable moves

abstract: We introduce a general categorical framework for the definition of weak behavioural equivalences, building on and extending recent results in the field. This framework is based on parametrized saturation categories, i.e. categories whose hom-sets are endowed with complete orders and a suitable iteration operators; this structure allows us to provide the abstract definitions of various (weak) behavioural equivalence. We show that the Kleisli categories of many common monads are categories of this kind. This allows us to readily instantiate the abstract definitions to a wide range of existing systems (weighted LTS, Segala systems, calculi with names, etc.), recovering the corresponding notions of weak behavioural equivalences. Moreover, we can provide neatly new weak behavioural equivalences for more complex behaviours, like those definable on topological spaces, measurable spaces, etc.


title: On computing joint invariants of vector fields

abstract: A constructive version of the Frobenius integrability theorem -- that can be programmed effectively -- is given. This is used in computing invariants of groups of low ranks and recover examples from a recent paper of Boyko, Patera and Popoyvich \cite{BPP}.


title: Systems, Resilience, and Organization: Analogies and Points of Contact with Hierarchy Theory

abstract: Aim of this paper is to provide preliminary elements for discussion about the implications of the Hierarchy Theory of Evolution on the design and evolution of artificial systems and socio-technical organizations. In order to achieve this goal, a number of analogies are drawn between the System of Leibniz; the socio-technical architecture known as Fractal Social Organization; resilience and related disciplines; and Hierarchy Theory. In so doing we hope to provide elements for reflection and, hopefully, enrich the discussion on the above topics with considerations pertaining to related fields and disciplines, including computer science, management science, cybernetics, social systems, and general systems theory.


title: Probing X-ray photoevaporative winds through their interaction with ionising radiation in cluster environments: the case for X-ray proplyds

abstract: We show that if young low mass stars undergo vigorous X-ray driven disc winds, these may be detected in clusters through their interaction with ionising radiation from massive stars. We argue that in the ONC (Orion Nebula Cluster) one should see $\sim$ 10s of `X-ray proplyds' ( objects with optically imaged offset ionisation fronts) in the range $0.3-0.6$pc from $\theta_1$C Ori (the dominant O star in the ONC). Such objects lie outside the central `FUV zone' in the ONC where proplyds are instead well explained by neutral winds driven by external Far Ultraviolet (FUV) emission from $\theta_1$C. We show that the predicted numbers and sizes of X-ray proplyds are compatible with those observed and that this may also explain at least some of the far flung proplyds seen in the Carina nebula. We compare the sizes of observed proplyds outside the FUV region of the ONC with model predictions based on the current observed X-ray luminosities of these sources ( bearing in mind that the current size is actually set by the X-ray luminosity a few hundred years ago, $\sim$ the flow time to the ionisation front). We discuss whether variability on this timescale can plausibly explain proplyd size data on a case by case basis. We also show that the predicted radio free-free emission signature of X-ray proplyds is readily detectable. Monitoring is however required to distinguish such emission from non-thermal emission from active coronae. We also predict that it is only at $> 1$ pc from $\theta_1$C that the free-free emission from such offset ionised structures would be clearly distinguishable from an externally driven ionised disc wind. We argue that the fortuitous proximity of massive stars in the ONC can be used as a beacon to light up internally driven X-ray winds and that this is a promising avenue for observationally testing X-ray photoevaporation.


title: Equilibrated tractions for the Hybrid High-Order method

abstract: We show how to recover equilibrated face tractions for the hybrid high-order method for linear elasticity recently introduced in [D. A. Di Pietro and A. Ern, A hybrid high-order locking-free method for linear elasticity on general meshes, Comput. Meth. Appl. Mech. Engrg., 2015, 283:1-21], and prove that these tractions are optimally convergent.


title: Provable Submodular Minimization using Wolfe's Algorithm

abstract: Owing to several applications in large scale learning and vision problems, fast submodular function minimization (SFM) has become a critical problem. Theoretically, unconstrained SFM can be performed in polynomial time [IFF 2001, IO 2009]. However, these algorithms are typically not practical. In 1976, Wolfe proposed an algorithm to find the minimum Euclidean norm point in a polytope, and in 1980, Fujishige showed how Wolfe's algorithm can be used for SFM. For general submodular functions, this Fujishige-Wolfe minimum norm algorithm seems to have the best empirical performance. Despite its good practical performance, very little is known about Wolfe's minimum norm algorithm theoretically. To our knowledge, the only result is an exponential time analysis due to Wolfe himself. In this paper we give a maiden convergence analysis of Wolfe's algorithm. We prove that in $t$ iterations, Wolfe's algorithm returns an $O(1/t)$-approximate solution to the min-norm point on {\em any} polytope. We also prove a robust version of Fujishige's theorem which shows that an $O(1/n^2)$-approximate solution to the min-norm point on the base polytope implies {\em exact} submodular minimization. As a corollary, we get the first pseudo-polynomial time guarantee for the Fujishige-Wolfe minimum norm algorithm for unconstrained submodular function minimization.


title: Disk fragmentation and the formation of population III stars

abstract: Our understanding of population III star formation is still in its infancy. They are formed in dark matter minihalos of $\rm 10^5-10^6 M_{\odot}$ at $z=20-30$. Recent high resolution cosmological simulations show that a protostellar disk forms as a consequence of gravitational collapse and fragments into multiple clumps. However, it is not entirely clear if these clumps will be able to survive to form multiple stars as simulations are unable to follow the disk evolution for longer times. In this study, we employ a simple analytical model to derive the properties of marginally stable steady-state disks. Our results show that the stability of the disk depends on the critical value of the viscous parameter $\alpha$. For $\alpha_{crit} = 1$, the disk is stable for an accretion rate of $\rm \leq 10^{-3} M_{\odot}/yr$ and becomes unstable at radii about $\rm \geq 100 AU$ in the presence of an accretion rate of $\rm 10^{-2} M_{\odot}/yr$. For $0.06 < \alpha_{crit} < 1$, the disk can be unstable for both accretion rates. The comparison of the migration and the Kelvin-Helmholtz time scales shows that clumps are expected to migrate inward before reaching the main sequence. Furthermore, in the presence of a massive central star the clumps within the central 1 AU will be tidally disrupted. We also find that UV feedback from the central star is unable to disrupt the disk, and that photo-evaporation becomes important only once the accretion rate has dropped to $\rm 2 \times 10^{-4} M_{\odot}/yr$. As a result, the central star may reach a mass of 100 $\rm M_{\odot}$ or even higher.


title: Dense Molecular Clumps associated with the LMC Supergiant Shells LMC 4 \& LMC 5

abstract: We investigate the effects of Supergiant Shells (SGSs) and their interaction on dense molecular clumps by observing the Large Magellanic Cloud (LMC) star forming regions N48 and N49, which are located between two SGSs, LMC 4 and LMC 5. $^{12}$CO ($J$=3-2, 1-0) and $^{13}$CO ($J$=1-0) observations with the ASTE and Mopra telescopes have been carried out towards these regions. A clumpy distribution of dense molecular clumps is revealed with 7 pc spatial resolution. Large velocity gradient analysis shows that the molecular hydrogen densities ($n({\rm H}_2)$) of the clumps are distributed from low to high density ($10^3$-$10^5$ cm$^{-3}$) and their kinetic temperatures ($T_{\rm kin}$) are typically high (greater than $50$ K). These clumps seem to be in the early stages of star formation, as also indicated from the distribution of H$\alpha$, young stellar object candidates, and IR emission. We found that the N48 region is located in the high column density HI envelope at the interface of the two SGSs and the star formation is relatively evolved, whereas the N49 region is associated with LMC 5 alone and the star formation is quiet. The clumps in the N48 region typically show high $n({\rm H}_2)$ and $T_{\rm kin}$, which are as dense and warm as the clumps in LMC massive cluster-forming areas (30 Dor, N159). These results suggest that the large-scale structure of the SGSs, especially the interaction of two SGSs, works efficiently on the formation of dense molecular clumps and stars.


title: A discontinuous-skeletal method for advection-diffusion-reaction on general meshes

abstract: We design and analyze an approximation method for advection-diffusion-reaction equations where the (generalized) degrees of freedom are polynomials of order $k\ge0$ at mesh faces. The method hinges on local discrete reconstruction operators for the diffusive and advective derivatives and a weak enforcement of boundary conditions. Fairly general meshes with polytopal and nonmatching cells are supported. Arbitrary polynomial orders can be considered, including the case $k=0$ which is closely related to Mimetic Finite Difference/Mixed-Hybrid Finite Volume methods. The error analysis covers the full range of P\'eclet numbers, including the delicate case of local degeneracy where diffusion vanishes on a strict subset of the domain. Computational costs remain moderate since the use of face unknowns leads to a compact stencil with reduced communications. Numerical results are presented.


title: Real-time PCR (qPCR) assay for Rhizoctonia solani anastomoses group AG2-2IIIb

abstract: Rhizoctonia solani anastomosis group AG2-2 IIIB is a severe sugar beet and maize pathogen. It causes crown and root rot disease which leads to yield losses world-wide. The soil-borne pathogen is difficult to detect and quantify by conventional methods. We developed a real-time PCR (qPCR) assay for the quantification of genomic DNA of Rhizoctonia solani AG2-2 IIIB based on the ITS region of rDNA genes. The limit of quantification of the assay is 1.8 pg genomic DNA. The amplification efficiency was 96.4. The assay will be helpful in the diagnoses of Rhizoctonia solani infection of sugar beet and maize roots and in the quantification of R. solani AG2-2 IIIB inoculum in plant debris and soil.


title: Study of Citation Networks in Tribology Research

abstract: CitNetExplorer has been used to study the citation networks among the scientific publications on tribology during the 15 years period from 1998-2012. Three data sets from Web of Science have been analyzed: (1) Core publications of tribology research, (2) publications on nanotribology and (3) publications of Bharat Bhushan (a top-contributor to nanotribology research). Based on this study, some suggestions are made to improve the CitNetExplorer.


title: Relationship between metabolic and genomic diversity in sesame (Sesamum indicum L.)

abstract: Background: Diversity estimates in cultivated plants provide a rationale for conservation strategies and support the selection of starting material for breeding programs. Diversity measures applied to crops usually have been limited to the assessment of genome polymorphism at the DNA level. Occasionally, selected morphological features are recorded and the content of key chemical constituents determined, but unbiased and comprehensive chemical phenotypes have not been included systematically in diversity surveys. Our objective in this study was to assess metabolic diversity in sesame by nontargeted metabolic profiling and elucidate the relationship between metabolic and genome diversity in this crop. Results: Ten sesame accessions were selected that represent most of the genome diversity of sesame grown in India, Western Asia, Sudan and Venezuela based on previous AFLP studies. Ethanolic seed extracts were separated by HPLC, metabolites were ionized by positive and negative electrospray and ions were detected with an ion trap mass spectrometer in full-scan mode for m/z from 50 to 1000. Genome diversity was determined by Amplified Fragment Length Polymorphism (AFLP) using eight primer pair combinations. The relationship between biodiversity at the genome and at the metabolome levels was assessed by correlation analysis and multivariate statistics. Conclusion: Patterns of diversity at the genomic and metabolic levels differed, indicating that selection played a significant role in the evolution of metabolic diversity in sesame. This result implies that when used for the selection of genotypes in breeding and conservation, diversity assessment based on neutral DNA markers should be complemented with metabolic profiles. We hypothesize that this applies to all crops with a long history of domestication that possess commercially relevant traits affected by chemical phenotypes.


title: Dynamics of optically injected currents in carbon nanotubes

abstract: We consider theoretically the dynamics of electric currents optically injected in carbon nanotubes. Although the plasma oscillations are not seen in these systems, the main effect on the carrier's motion is due to strongly nonuniform space-charge Coulomb forces produced by time-dependent separation of injected electron and hole densities. We calculate evolution of the dipole moment characterizing the time- and coordinate-dependent charge density distributions and analyze different regimes of the dynamics. The developed time-dependent dipole moment leads to a dipole radiation in the THz frequency range for typical parameters of injected currents.


title: On the Optimal Precoding for MIMO Gaussian Wire-Tap Channels

abstract: We consider the problem of finding secrecy rate of a multiple-input multiple-output (MIMO) wire-tap channel. A transmitter, a legitimate receiver, and an eavesdropper are all equipped with multiple antennas. The channel states from the transmitter to the legitimate user and to the eavesdropper are assumed to be known at the transmitter. In this contribution, we address the problem of finding the optimal precoder/transmit covariance matrix maximizing the secrecy rate of the given wiretap channel. The problem formulation is shown to be equivalent to a difference of convex functions programming problem and an efficient algorithm for addressing this problem is developed.


title: Could the dynamics of the Universe be influenced by what is going on inside black holes?

abstract: We investigate the potential impact of mass inflation inside black holes on the dynamics of the Universe, considering a recent reformulation of general relativity, proposed in [1], which prevents the vacuum energy from acting as a gravitational source. The interior dynamics of accreting black holes is studied, at the classical level, using the homogeneous approximation and taking charge as a surrogate for angular momentum. We show that, depending on the accreting fluid properties, mass inflation inside black holes could influence the value of the cosmological constant and thus the dynamics of the Universe. A full assessment of the cosmological role played by black holes will require a deeper understanding of the extremely energetic regimes expected inside real astrophysical black holes, including their relation with the physics of the very early Universe, and may eventually lead to an entirely new paradigm for the origin and evolution of the Universe.


title: Unusual resistance-voltage dependence of nanojunctions during electromigration in ultra-high vacuum

abstract: The electrical resistance R of metallic nanocontacts subjected to controlled cyclic electromigration in ultra-high vacuum has been investigated in-situ as a function of applied voltage V. For sufficiently small contacts, i.e., large resistance, a decrease of R(V) while increasing V is observed. This effect is tentatively attributed to the presence of contacts separated by thin vacuum barriers in parallel to ohmic nanocontacts. Simple model calculations indicate that both thermal activation or tunneling can lead to this unusual behavior. We describe our data by a tunneling model whose key parameter, i.e., the tunneling distance, changes because of thermal expansion due to Joule heating and/or electrostatic strain arising from the applied voltage. Oxygen exposure during electromigration prevents the formation of negative R(V) slopes, and at the same time enhances the probability of uncontrolled melting, while other gases show little effects. In addition, indication for field emission has been observed in some samples


title: Cosmogenic radionuclide production in NaI(Tl) crystals

abstract: The production of long-lived radioactive isotopes in materials due to the exposure to cosmic rays on Earth surface can be an hazard for experiments demanding ultra-low background conditions, typically performed deep underground. Production rates of cosmogenic isotopes in all the materials present in the experimental set-up, as well as the corresponding cosmic rays exposure history, must be both well known in order to assess the relevance of this effect in the achievable sensitivity of a given experiment. Although NaI(Tl) scintillators are being used in experiments aiming at the direct detection of dark matter since the first nineties of the last century, very few data about cosmogenic isotopes production rates have been published up to date. In this work we present data from two 12.5 kg NaI(Tl) detectors, developed in the frame of the ANAIS project, which were installed inside a convenient shielding at the Canfranc Underground Laboratory just after finishing surface exposure to cosmic rays. The very fast start of data taking allowed to identify and quantify isotopes with half-lives of the order of tens of days. Initial activities underground have been measured and then production rates at sea level have been estimated following the history of detectors; values of about a few tens of nuclei per kg and day for Te isotopes and 22Na and of a few hundreds for I isotopes have been found. These are the first direct estimates of production rates of cosmogenic nuclides in NaI crystals. A comparison of the so deduced rates with calculations using typical cosmic neutron flux at sea level and a carefully selected description of excitation functions will be also presented together with an estimate of the corresponding contribution to the background at low and high energies, which can be relevant for experiments aiming at rare events searches.

categories: physics.ins-det astro-ph.GA hep-ex nucl-ex


title: Conversion of cDNA differential display results (DDRT-PCR) into quantitative transcription profiles

abstract: Background: Gene expression studies on non-model organisms require open-end strategies for transcription profiling. Gel-based analysis of cDNA fragments allows to detect alterations in gene expression for genes which have neither been sequenced yet nor are available in cDNA libraries. Commonly used protocols are cDNA Differential Display (DDRT-PCR) and cDNA-AFLP. Both methods have been used merely as qualitative gene discovery tools so far. Results: We developed procedures for the conversion of DDRT-PCR data into quantitative transcription profiles. Amplified cDNA fragments are separated on a DNA sequencer. Data processing consists of four steps: (i) cDNA bands in lanes corresponding to samples treated with the same primer combination are matched in order to identify fragments originating from the same transcript, (ii) intensity of bands is determined by densitometry, (iii) densitometric values are normalized, and (iv) intensity ratio is calculated for each pair of corresponding bands. Transcription profiles are represented by sets of intensity ratios (control vs. treatment) for cDNA fragments defined by primer combination and DNA mobility. We demonstrated the procedure by analyzing DDRT-PCR data on the effect of secondary metabolites of oilseed rape Brassica napus on the transcriptome of the pathogenic fungus Leptosphaeria maculans. Conclusion: We developed a data processing procedure for quantitative analysis of amplified cDNA fragments. The system utilizes common software and provides an open-end alternative to microarray analysis. The processing is expected to work equally well with DDRT-PCR and cDNA-AFLP data and be useful in research on organisms for which microarray analysis is not available or economical.


title: High phase-lag order trigonometrically fitted two-step Obrechkoff methods for the numerical solution of periodic initial value problems

abstract: In this paper, we present the two-step trigonometrically fitted symmetric Obrechkoff methods with algebraic order of twelve. The method is based on the symmetric two-step Obrechkoff method, with 12 algebraic order, high phase-lag order and is constructed to solve IVPs with periodic solutions such as orbital problems. We compare the new method to some recently constructed optimized methods from the literature. The numerical results obtained by the new method for some problems show its superiority in efficiency, accuracy and stability.


title: Prospects for $K^+ \to \pi^+ \nu \bar{ \nu }$ at CERN in NA62

abstract: The NA62 experiment will begin taking data in 2015. Its primary purpose is a 10% measurement of the branching ratio of the ultrarare kaon decay $K^+ \to \pi^+ \nu \bar{ \nu }$, using the decay in flight of kaons in an unseparated beam with momentum 75 GeV/c.The detector and analysis technique are described here.


title: Weak-strong clustering transition in renewing compressible flows

abstract: We investigate the statistical properties of Lagrangian tracers transported by a time-correlated compressible renewing flow. We show that the preferential sampling of the phase space performed by tracers yields significant differences between the Lagrangian statistics and its Eulerian counterpart. In particular, the effective compressibility experienced by tracers has a non-trivial dependence on the time correlation of the flow. We examine the consequence of this phenomenon on the clustering of tracers, focusing on the transition from the weak- to the strong-clustering regime. We find that the critical compressibility at which the transition occurs is minimum when the time correlation of the flow is of the order of the typical eddy turnover time. Further, we demonstrate that the clustering properties in time-correlated compressible flows are non-universal and are strongly influenced by the spatio-temporal structure of the velocity field.


title: On the use of the theory of dynamical systems for transient problems

abstract: This paper is a preliminary work to address the problem of dynamical systems with parameters varying in time. An idea to predict their behaviour is proposed. These systems are called \emph{transient systems}, and are distinguished from \emph{steady systems}, in which parameters are constant. In particular, in steady systems the excitation is either constant (e.g. nought) or periodic with amplitude, frequency and phase angle which do not vary in time. We apply our method to systems which are subjected to a transient excitation, which is neither constant nor periodic. The effect of switching-off and full-transient forces is investigated. The former can be representative of switching-off procedures in machines; the latter can represent earthquake vibrations, wind gusts, etc. acting on a mechanical system. This class of transient systems can be seen as the evolution of an ordinary steady system into another ordinary steady system, for both of which the classical theory of dynamical systems holds. The evolution from a steady system to the other is driven by a transient force, which is regarded as a map between the two steady systems.


title: Some homological properties of T-Lau product algebra

abstract: Let T be a homomorphism from a Banach algebra B to a Banach algebra A.The Cartesian product space A * B with T-Lau multiplication and l^1-norm becomes a new Banach algebra A *_T B. We investigate the notions such as approximate amenability, pseudo amenability, phi-pseudo amenability,phi-biflatness and phi-biprojectivity for Banach algebra A *_T B. We also present an example to show that approximate amenability of A and B is not stable for A *_T B. Finally we characterize the double centralizer algebra of A *_T B and present an application of this characterization.


title: Static magnetic proximity effect in Pt/NiFe2O4 and Pt/Fe bilayers investigated by x-ray resonant magnetic reflectivity

abstract: The spin polarization of Pt in Pt/NiFe2O4 and Pt/Fe bilayers is studied by interface-sensitive x-ray resonant magnetic reflectivity to investigate static magnetic proximity effects. The asymmetry ratio of the reflectivity was measured at the Pt L3 absorption edge using circular polarized x-rays for opposite directions of the magnetization at room temperature. The results of the 2% asymmetry ratio for Pt/Fe bilayers are independent of the Pt thickness between 1.8 and 20 nm. By comparison with ab initio calculations, the maximum magnetic moment per spin polarized Pt atom at the interface is determined to be $(0.6\pm0.1)\,\mu_{B}$ for Pt/Fe. For Pt/NiFe2O4 the asymmetry ratio drops below the sensitivity limit of $0.02\,\mu_{B}$ per Pt atom. Therefore, we conclude, that the longitudinal spin Seebeck effect recently observed in Pt/NiFe2O4 is not influenced by a proximity induced anomalous Nernst effect.


title: On the Transmit Beamforming for MIMO Wiretap Channels: Large-System Analysis

abstract: With the growth of wireless networks, security has become a fundamental issue in wireless communications due to the broadcast nature of these networks. In this work, we consider MIMO wiretap channels in a fast fading environment, for which the overall performance is characterized by the ergodic MIMO secrecy rate. Unfortunately, the direct solution to finding ergodic secrecy rates is prohibitive due to the expectations in the rates expressions in this setting. To overcome this difficulty, we invoke the large-system assumption, which allows a deterministic approximation to the ergodic mutual information. Leveraging results from random matrix theory, we are able to characterize the achievable ergodic secrecy rates. Based on this characterization, we address the problem of covariance optimization at the transmitter. Our numerical results demonstrate a good match between the large-system approximation and the actual simulated secrecy rates, as well as some interesting features of the precoder optimization.


title: Cosmology with cosmic shear observations: a review

abstract: Cosmic shear is the distortion of images of distant galaxies due to weak gravitational lensing by the large-scale structure in the Universe. Such images are coherently deformed by the tidal field of matter inhomogeneities along the line of sight. By measuring galaxy shape correlations, we can study the properties and evolution of structure on large scales as well as the geometry of the Universe. Thus, cosmic shear has become a powerful probe into the nature of dark matter and the origin of the current accelerated expansion of the Universe. Over the last years, cosmic shear has evolved into a reliable and robust cosmological probe, providing measurements of the expansion history of the Universe and the growth of its structure. We review here the principles of weak gravitational lensing and show how cosmic shear is interpreted in a cosmological context. Then we give an overview of weak-lensing measurements, and present the main observational cosmic-shear results since it was discovered 15 years ago, as well as the implications for cosmology. We then conclude with an outlook on the various future surveys and missions, for which cosmic shear is one of the main science drivers, and discuss promising new weak cosmological lensing techniques for future observations.


title: Specific heat of Ba$_{0.59}$K$_{0.41}$Fe$_{2}$As$_{2}$, and a new method for identifying the electron contribution: two electron bands with different energy gaps in the superconducting state

abstract: We report measurements of the specific heat of Ba$_{0.59}$K$_{0.41}$Fe$_{2}$As$_{2}$, an Fe-pnictide superconductor with $T_c$ = 36.9 K, for which there are suggestions of an unusual electron pairing mechanism. We use a new method of analysis of the data to derive the parameters characteristic of the electron contribution. It is based on comparisons of ${\alpha}$-model expressions for the electron contribution with the total measured specific heat, which give the electron contribution directly. It obviates the need in the conventional analyses for an independent, necessarily approximate, determination of the lattice contribution, which is subtracted from the total specific heat to obtain the electron contribution. It eliminates the uncertainties and errors in the electron contribution that follow from the approximations in the determination of the lattice contribution. Our values of the parameters characteristic of the electron contribution differ significantly from those obtained in conventional analyses of specific-heat data for five similar hole-doped BaFe$_{2}$As$_{2}$ superconductors, which also differ significantly among themselves. They show that the electron density of states is comprised of contributions from two electron bands with superconducting-state energy gaps that differ by a factor 3.8, with 77$\%$ coming from the band with the larger gap. The variation of the specific heat with magnetic field is consistent with extended $s$-wave pairing, one of the theoretical predictions. The relation between the densities of states and the energy gaps in the two bands is not consistent with a theoretical model based on interband interactions alone. Comparison of the normal-state density of states with band-structure calculations shows an extraordinarily large effective mass enhancement, for which there is no precedent in similar materials and no theoretical explanation.


title: Toward an Empirical Theory of Pulsar Emission. X. On the Precursor and Postcursor Emission

abstract: Precursors and postcursors (PPCs) are rare emission components detected in a handful of pulsars that appear beyond the main pulse emission, in some cases far away from it. In this paper we attempt to characterize the PPC emission in relation to the pulsar main pulse geometry. In our analysis we find that PPC components have properties very different from that of outer conal emission. The separation of the PPC components from the main pulse center remains constant with frequency. In addition the beam opening angles corresponding to the separation of PPC components from the pulsar center are much larger than the largest encountered in conal emission. Pulsar radio emission is believed to originate within the magnetic polar flux tubes due to the growth of instabilities in the outflowing relativistic plasma. Observationally, there is strong evidence that the main pulse emission originates at altitudes of about 50 neutron star radii for a canonical pulsar. Currently, the most plausible radio emission model that can explain main pulse emission is the coherent curvature radiation mechanism, wherein relativistic charged solitons are formed in a non-stationary electron-positron-pair plasma. The wider beam opening angles of PPC require the emission to emanate from larger altitudes as compared to the main pulse, if both these components originate by the same emission mechanism. We explore this possibility and find that this emission mechanism is probably inapplicable at the height of the PPC emission. We propose that the PPC emission represents a new type of radiation from pulsars with a mechanism different from that of the main pulse.


title: On the Curvature Effect of a Relativistic Spherical Shell

abstract: We consider a relativistic spherical shell and calculate its spectral flux as received by a distant observer. Using two different methods, we derive a simple analytical expression of the observed spectral flux and show that the well-known relation $\hat \alpha = 2+\hat \beta$ (between temporal index $\hat \alpha$ and spectral index $\hat \beta$) of the high-latitude emission is achieved naturally in our derivation but holds only when the shell moves with a constant Lorentz factor $\Gamma$. Presenting numerical models where the shell is under acceleration or deceleration, we show that the simple $\hat \alpha = 2+\hat \beta$ relation is indeed deviated as long as $\Gamma$ is not constant. For the models under acceleration, we find that the light curves produced purely by the high-latitude emission decay initially much steeper than the constant $\Gamma$ case and gradually resume the $\hat \alpha = 2+\hat \beta$ relation in about one and half orders of magnitude in observer time. For the models under deceleration, the trend is opposite. The light curves made purely by the high-latitude emission decay initially shallower than the constant $\Gamma$ case and gradually resume the relation $\hat \alpha = 2+\hat \beta$ in a similar order of magnitude in observer time. We also show that how fast the Lorentz factor $\Gamma$ of the shell increases or decreases is the main ingredient determining the initial steepness or shallowness of the light curves.


title: Rings involving idempotents, units and nilpotent elements

abstract: We define the concepts of weakly precious and precious rings which generalize the notions of weakly clean and nil-clean rings. We obtain some fundamental properties of these rings. We also obtain certain subclasses of such rings and then offer new kinds of weakly clean rings and nil-clean rings.


title: On n-dependence

abstract: In this note we develop and clarify some of the basic combinatorial properties of the new notion of $n$-dependence (for $1\leq n < \omega$) recently introduced by Shelah. In the same way as dependence of a theory means its inability to encode a bipartite random graph with a definable edge relation, $n$-dependence corresponds to the inability to encode a random $(n+1)$-partite $(n+1)$-hypergraph with a definable edge relation. Most importantly, we characterize $n$-dependence by counting $\varphi$-types over finite sets (generalizing Sauer-Shelah lemma and answering a question of Shelah) and in terms of the collapse of random ordered $(n+1)$-hypergraph indiscernibles down to order-indiscernibles (which implies that the failure of $n$-dependence is always witnessed by a formula in a single free variable).


title: Fission dynamics at low excitation energy. 2

abstract: The mass asymmetry in the fission of U-236 at low excitation energy is clarified by the analysis of the trajectories obtained by solving the Langevin equations for the shape degrees of freedom. It is demonstrated that the position of the peaks in the mass distribution of fission fragments is determined mainly by the saddle point configuration originating from the shell correction energy. The width of the peaks, on the other hand, results from the shape fluctuations close to the scission point caused by the random force in the Langevin equation. We have found out that the fluctuations between elongated and compact shapes are essential for the fission process. According to our results the fission does not occur with continuous stretching in the prolate direction, similarly to that observed in starch syrup, but is accompanied by the fluctuations between elongated and compact shapes. This picture presents a new viewpoint of fission dynamics and the splitting mechanism.


title: Energy-momentum balance in particle - domain wall perforating collision

abstract: We investigate the energy-momentum balance in the perforating collision of a point particle with an infinitely thin planar domain wall within the linearized gravity in arbitrary dimensions. Since the metric of the wall increases with distance, the wall and the particle are never free, and their energy-momentum balance involves not only the instantaneous kinetic momenta, but also the non-local contribution of gravitational stresses. However, careful analysis shows that the stresses can be unambiguously divided between the colliding objects leading to definition of the gravitationally dressed momenta. These take into account for gravity in the same way as the potential energy does in the non-relativistic theory, but our treatment is fully relativistic. Another unusual feature of our problem is the non-vanishing flux of the total energy-momentum tensor through the lateral surface of the world tube. In this case the zero divergence of the energy-momentum tensor does not imply conservation of the total momentum defined as the integral over the space-like section of the tube. But one can still define the conservation low infinitesimally, passing to time derivatives of the momenta. Using this definition we establish the momentum balance in terms of the dressed particle and wall momenta.


title: Symmetries of Toda Equations

abstract: We find a sequence consisting of time dependent evolution vector fields whose time independent part corresponds to the master symmetries for the Toda equations. Each master symmetry decomposes as a sum consisting of a group symmetry and a Hamiltonian vector field. Taking Lie derivatives in the direction of these vector fields produces an infinite sequence of recursion operators.


title: An effective criterion for Eulerian multizeta values in positive characteristic

abstract: Characteristic p multizeta values were initially studied by Thakur, who defined them as analogues of classical multiple zeta values of Euler. In the present paper we establish an effective criterion for Eulerian multizeta values, which characterizes when a multizeta value is a rational multiple of a power of the Carlitz period. The resulting "t-motivic" algorithm can tell whether any given multizeta value is Eulerian or not. We also prove that if zeta_A(s_1,...,s_r) is Eulerian, then zeta_A(s_2,...,s_r) has to be Eulerian. When r=2, this was conjectured (and later on conjectured for arbitrary r) by Lara Rodriguez and Thakur for the zeta-like case from numerical data. Our methods apply equally well to values of Carlitz multiple polylogarithms at algebraic points and zeta-like multizeta values.


title: Holographic Dark Energy with Time Varying n^2 Parameter in Non-Flat Universe

abstract: We consider a holographic dark energy model, with a varying parameter, n, which evolves slowly with time. We obtain the differential equation describing evolution of the dark energy density parameter, $\Omega_d$, for the flat and non-flat FRW universes. The equation of state parameter in this generalized version of holographic dark energy depends on n.


title: Detection of texts in natural images

abstract: A framework that makes use of Connected components and supervised Support machine to recognise texts is proposed. The image is preprocessed and and edge graph is calculated using a probabilistic framework to compensate for photometric noise. Connected components over the resultant image is calculated, which is bounded and then pruned using geometric constraints. Finally a Gabor Feature based SVM is used to classify the presence of text in the candidates. The proposed method was tested with ICDAR 10 dataset and few other images available on the internet. It resulted in a recall and precision metric of 0.72 and 0.88 comfortably better than the benchmark Eiphstein's algorithm. The proposed method recorded a 0.70 and 0.74 in natural images which is significantly better than current methods on natural images. The proposed method also scales almost linearly for high resolution, cluttered images.


title: Highly optimized simulations on single- and multi-GPU systems of 3D Ising spin glass

abstract: We present a highly optimized implementation of a Monte Carlo (MC) simulator for the three-dimensional Ising spin-glass model with bimodal disorder, i.e., the 3D Edwards-Anderson model running on CUDA enabled GPUs. Multi-GPU systems exchange data by means of the Message Passing Interface (MPI). The chosen MC dynamics is the classic Metropolis one, which is purely dissipative, since the aim was the study of the critical off-equilibrium relaxation of the system. We focused on the following issues: i) the implementation of efficient access patterns for nearest neighbours in a cubic stencil and for lagged-Fibonacci-like pseudo-Random Numbers Generators (PRNGs); ii) a novel implementation of the asynchronous multispin-coding Metropolis MC step allowing to store one spin per bit and iii) a multi-GPU version based on a combination of MPI and CUDA streams. We highlight how cubic stencils and PRNGs are two subjects of very general interest because of their widespread use in many simulation codes. Our code best performances ~3 and ~5 psFlip on a GTX Titan with our implementations of the MINSTD and MT19937 respectively.


title: The Evolution of the EM Distribution in the Core of an Active Region

abstract: We study the spatial distribution and evolution of the slope of the Emission Measure between 1 and 3~MK in the core active region NOAA~11193, first when it appeared near the central meridian and then again when it re-appeared after a solar rotation. We use observations recorded by the Extreme-ultraviolet Imaging Spectrometer (EIS) aboard Hinode, with a new radiometric calibration. We also use observations from the Atmospheric Imaging Assembly (AIA) aboard Solar Dynamics Observatory (SDO). We present the first spatially resolved maps of the EM slope in the 1--3~MK range within the core of the AR using several methods, both approximate and from the Differential Emission Measure (DEM). A significant variation of the slope is found at different spatial locations within the active region. We selected two regions that were not affected too much by any line-of-sight lower temperature emission. We found that the EM had a power law of the form EM~$\propto T^{b}$, with b = 4.4$\pm0.4$, and 4.6$\pm0.4$, during the first and second appearance of the active region, respectively. During the second rotation, line-of-sight effects become more important, although difficult to estimate. We found that the use of the ground calibration for Hinode/EIS and the approximate method to derive the Emission Measure, used in previous publications, produce an underestimation of the slopes. The EM distribution in active region cores is generally found to be consistent with high frequency heating, and stays more or less the same during the evolution of the active region.


title: The Latent Structure of Dictionaries

abstract: How many words (and which ones) are sufficient to define all other words? When dictionaries are analyzed as directed graphs with links from defining words to defined words, they reveal a latent structure. Recursively removing all words that are reachable by definition but that do not define any further words reduces the dictionary to a Kernel of about 10%. This is still not the smallest number of words that can define all the rest. About 75% of the Kernel turns out to be its Core, a Strongly Connected Subset of words with a definitional path to and from any pair of its words and no word's definition depending on a word outside the set. But the Core cannot define all the rest of the dictionary. The 25% of the Kernel surrounding the Core consists of small strongly connected subsets of words: the Satellites. The size of the smallest set of words that can define all the rest (the graph's Minimum Feedback Vertex Set or MinSet) is about 1% of the dictionary, 15% of the Kernel, and half-Core, half-Satellite. But every dictionary has a huge number of MinSets. The Core words are learned earlier, more frequent, and less concrete than the Satellites, which in turn are learned earlier and more frequent but more concrete than the rest of the Dictionary. In principle, only one MinSet's words would need to be grounded through the sensorimotor capacity to recognize and categorize their referents. In a dual-code sensorimotor-symbolic model of the mental lexicon, the symbolic code could do all the rest via re-combinatory definition.


title: A Two-phase Decision Support Framework for the Automatic Screening of Digital Fundus Images

abstract: In this paper we give a brief review on the present status of automated detection systems describe for the screening of diabetic retinopathy. We further detail an enhanced detection procedure that consists of two steps. First, a pre-screening algorithm is considered to classify the input digital fundus images based on the severity of abnormalities. If an image is found to be seriously abnormal, it will not be analysed further with robust lesion detector algorithms. As a further improvement, we introduce a novel feature extraction approach based on clinical observations. The second step of the proposed method detects regions of interest with possible lesions on the images that previously passed the pre-screening step. These regions will serve as input to the specific lesion detectors for detailed analysis. This procedure can increase the computational performance of a screening system. Experimental results show that both two steps of the proposed approach are capable to efficiently exclude a large amount of data from further processing, thus, to decrease the computational burden of the automatic screening system.


title: Little Flavor: Heavy Leptons, Z' and Higgs Phenomenology

abstract: The Little Flavor model is a close cousin of the Little Higgs theory which aims to generate flavor structure around TeV scale. While the original Little Flavor only included the quark sector, here we build the lepton part of the Little Flavor model and explore its phenomenology. The model produces the neutrino mixing matrix and Majorana masses of the Standard Model neutrinos through coupling to heavy lepton partners and Little Higgses. We combine the usual right-handed seesaw mechanism with global symmetry protection to suppress the Standard Model neutrino masses, and identify the TeV partners of leptons as right-handed Majorana neutrinos. The lepton masses and mixing matrix are calculated perturbatively in the theory. The TeV new gauge bosons have suppressed decay width in dilepton channels. Even assuming the Standard Model couplings, the branching ratios to normal dilepton channels are largely reduced in the model, to evade the bound from current $Z'$ search. It also opens up the new search channels for exotic gauge bosons, especially Z' -> MET + multi L+jets. The multiple lepton partners will create new chain decay signals in flavor related processes in colliders, which also give rise to flavor anomalies. The lepton flavor violation process can be highly suppressed in charged lepton sector and happens only through neutrinos.


title: A Note on Signed k-Submatching in Graphs

abstract: Let $G$ be a graph of order $n$. For every $v\in V(G)$, let $E_G(v)$ denote the set of all edges incident with $v$. A signed $k$-submatching of $G$ is a function $f:E(G)\longrightarrow \{-1,1\}$, satisfying $f(E_G(v))\leq 1$ for at least $k$ vertices, where $f(S)=\sum_{e\in S}f(e)$, for each $ S\subseteq E(G)$. The maximum of the value of $f(E(G))$, taken over all signed $k$-submatching $f$ of $G$, is called the signed $k$-submatching number and is denoted by $\beta ^k_S(G)$. In this paper, we prove that for every graph $G$ of order $n$ and for any positive integer $k \leq n$, $\beta ^k_S (G) \geq n-k - \omega(G)$, where $w(G)$ is the number of components of $G$. This settles a conjecture proposed by Wang. Also, we present a formula for the computation of $\beta_S^n(G)$.


title: Z(N) dependence of the pure Yang-Mills gluon propagator in the Landau gauge near Tc

abstract: The Z(N) dependence of the pure Yang-Mills gluon propagator, in the Landau gauge, is investigated at finite temperature for N=3. Special attention will be given to the behaviour near the critical temperature $T_c$. Our simulations show a complex pattern as expected in a first order phase transition. Furthermore, we identify an order parameter directly associated with the breaking of the SU(3) center symmetry.


title: Gruss inequality for some types of positive linear maps

abstract: Assuming a unitarily invariant norm $|||\cdot|||$ is given on a two-sided ideal of bounded linear operators acting on a separable Hilbert space, it induces some unitarily invariant norms $|||\cdot|||$ on matrix algebras $\mathcal{M}_n$ for all finite values of $n$ via $|||A|||=|||A\oplus 0|||$. We show that if $\mathscr{A}$ is a $C^*$-algebra of finite dimension $k$ and $\Phi: \mathscr{A} \to \mathcal{M}_n$ is a unital completely positive map, then \begin{equation*} |||\Phi(AB)-\Phi(A)\Phi(B)||| \leq \frac{1}{4} |||I_{n}|||\,|||I_{kn}||| d_A d_B \end{equation*} for any $A,B \in \mathscr{A}$, where $d_X$ denotes the diameter of the unitary orbit $\{UXU^*: U \mbox{ is unitary}\}$ of $X$ and $I_{m}$ stands for the identity of $\mathcal{M}_{m}$. Further we get an analogous inequality for certain $n$-positive maps in the setting of full matrix algebras by using some matrix tricks. We also give a Gr\"uss operator inequality in the setting of $C^*$-algebras of arbitrary dimension and apply it to some inequalities involving continuous fields of operators.


title: A Note on the Sagnac Effect for Matter Beams

abstract: We study the Sagnac effect for matter beams, in order to estimate the kinematic corrections to the basic formula, deriving from the position and the extent of the interferometer, and discuss the analogy with the Aharonov-Bohm effect. We show that the formula for the Sagnac time delay is the same for matter and light beams in arbitrary stationary space-times, provided that a suitable condition on the speed of the beams is fulfilled. Hence, the same results obtained for light beams apply to matter beams.


title: Towards order-by-order calculations of the nuclear and neutron matter equations of state in chiral effective field theory

abstract: We calculate the nuclear and neutron matter equations of state from microscopic nuclear forces at different orders in chiral effective field theory and with varying momentum-space cutoff scales. We focus attention on how the order-by-order convergence depends on the choice of resolution scale and the implications for theoretical uncertainty estimates on the isospin asymmetry energy. Specifically we study the equations of state using consistent NLO and N2LO (next-to-next-to-leading order) chiral potentials where the low-energy constants cD and cE associated with contact vertices in the N2LO chiral three-nucleon force are fitted to reproduce the binding energies of 3H and 3He as well as the beta-decay lifetime of 3H. At these low orders in the chiral expansion there is little sign of convergence, while an exploratory study employing the N3LO two-nucleon force together with the N2LO three-nucleon force give first indications for (slow) convergence with low-cutoff potentials and poor convergence with higher-cutoff potentials. The consistent NLO and N2LO potentials described in the present work provide the basis for estimating theoretical uncertainties associated with the order-by-order convergence of nuclear many-body calculations in chiral effective field theory.


title: Riesz transforms on non-compact manifolds

abstract: Let $M$ be a complete non-compact Riemannian manifold satisfying the doubling volume property as well as a Gaussian upper bound for the corresponding heat kernel. We study the boundedness of the Riesz transform $d\Delta ^{-\frac{1}{2}}$ on both Hardy spaces $H^p$ and Lebesgue spaces $L^p$ under two different conditions on the negative part of the Ricci curvature $R^-$. First we prove that if $R^-$ is $\alpha$-subcritical for some $\alpha \in [0,1)$, then the Riesz transform $d^*\Delta^{-\frac{1}{2}}$ on differential $1$-forms is bounded from the associated Hardy space $H^p_{\overrightarrow{\Delta}}(\Lambda^1T^*M)$ to $L^p(M)$ for all $p\in [1,2]$. As a consequence, the Riesz transform (on functions) is bounded on $ L^p$ for all $p\in (1,p_0)$ where $p_0>2$ depends on $\alpha$ and the constant appearing in the doubling property. Second, we prove that if $$\int_0^1 \left\|\frac{|R^-|^{\frac{1}{2}}}{v(\cdot,\ \sqrt{t})^{\frac{1}{p_1}}}\right\|_{p_1}\frac{dt}{\sqrt{t}}+\int_1^\infty \left\|\frac{|R^-|^{\frac{1}{2}}}{v(\cdot,\ \sqrt{t})^{\frac{1}{p_2}}}\right\|_{p_2}\frac{dt}{\sqrt{t}}<\infty,$$ for some $p_1>2$ and $p_2>3$, then the Riesz transform $d\Delta^{-\frac{1}{2}}$ is bounded on $L^p$ for all $1<p<p_2$. In the particular case where $v(x, r) \ge C r^D$ for all $r \ge 1$ and $|R^-| \in L^{D/2 -\eta} \cap L^{D/2 + \eta}$ for some $\eta > 0$, then $d\Delta^{-\frac{1}{2}}$ is bounded on $L^p$ for all $1<p< D.$ Furthermore, we study the boundedness of the Riesz transform of Schr\"odinger operators $A=\Delta+V$ on $L^p$ for $p>2$ under conditions on $R^-$ and the potential $V$. We prove both positive and negative results on the boundedness of $dA^{-\frac{1}{2}}$ on $L^p$


title: An angular-selective electron source for the KATRIN experiment

abstract: The KATRIN experiment is going to search for the average mass of the electron antineutrino with a sensitivity of 0.2 eV/c2. It uses a retardation spectrometer of MAC-E filter type to accurately measure the shape of the electron spectrum at the endpoint of tritium beta decay. In order to achieve the planned sensitivity the transmission properties of the spectrometer have to be understood with high precision for all initial conditions. For this purpose an electron source has been developed that emits single electrons at adjustable total energy and adjustable emission angle. The emission is pointlike and can be moved across the full flux tube that is imaged onto the detector. Here, we demonstrate that this novel type of electron source can be used to investigate the transmission properties of a MAC-E filter in detail.


title: Maximal regularity for non-autonomous evolution equations governed by forms having less regularity

abstract: We consider the maximal regularity problem for non-autonomous evolution equations \begin{equation} \left\{ \begin{array}{rcl} u'(t) + A(t)\,u(t) &=& f(t), \ t \in (0, \tau] u(0)&=&u_0. \end{array} \right. \end{equation} Each operator $A(t)$ is associated with a sesquilinear form $\mathfrak{a}(t)$ on a Hilbert space $H$. We assume that these forms all have the same domain $V$. It is proved in \cite{HO14} that if the forms have some regularity with respect to $t$ (e.g., piecewise $\alpha$-H\"older continuous for some $\alpha > 1/2$) then the above problem has maximal $L_p$--regularity for all $u_0 $ in the real-interpolation space $(H, D(A(0)))_{1-1/p,p}$. In this paper we prove that the regularity required there can be improved for a class of sesquilinear forms. The forms considered here are such that the difference $\mathfrak{a}(t;\cdot,\cdot) - \mathfrak{a}(s; \cdot,\cdot)$ is continuous on a larger space than the common domain $V$. We give three examples which illustrate our results.


title: Expected degree for RNA secondary structure networks

abstract: Consider the network of all secondary structures of a given RNA sequence, where nodes are connected when the corresponding structures have base pair distance one. The expected degree of the network is the average number of neighbors, where average may be computed with respect to the either the uniform or Boltzmann probability. Here we describe the first algorithm, RNAexpNumNbors, that can compute the expected number of neighbors, or expected network degree, of an input sequence. For RNA sequences from the Rfam database, the expected degree is significantly less than the CMFE structure, defined to have minimum free energy over all structures consistent with the Rfam consensus structure. The expected degree of structural RNAs, such as purine riboswitches, paradoxically appears to be smaller than that of random RNA, yet the difference between the degree of the MFE structure and the expected degree is larger than that of random RNA. Expected degree does not seem to correlate with standard structural diversity measures of RNA, such as positional entropy, ensemble defect, etc. The program {\tt RNAexpNumNbors} is written in C, runs in cubic time and quadratic space, and is publicly available at http://bioinformatics.bc.edu/clotelab/RNAexpNumNbors.


title: 3rd generation SUSY searches at CMS

abstract: The latest results on searches for stop and sbottom squarks are presented. Searches for direct squark production in a variety of decay channels are reviewed. The results are based on 19.5/fb of LHC proton-proton collisions at sqrt = 8 TeV taken with the CMS detector.


title: On standard models of conic fibrations over a field of characteristic zero

abstract: In 1982 V.G. Sarkisov proved the existense of standard models of conic fibrations over algebraically closed fields of $\operatorname{char}\neq 2$. In this paper we will prove the analogous result for three-dimensional conic fibrations over arbitrary fields of characteristic zero with a finite group action.


title: Estimating the Spatial Reuse with Configuration Models

abstract: We propose a new methodology to estimate the spatial reuse of CSMA-like scheduling. Instead of focusing on spatial configurations of users, we model the interferences between users as a random graph. Using configuration models for random graphs, we show how the properties of the medium access mechanism are captured by some deterministic differential equations, when the size of the graph gets large. Performance indicators such as the probability of connection of a given node can then be efficiently computed from these equations. We also perform simulations to illustrate the results on different types of random graphs. Even on spatial structures, these estimates get very accurate as soon as the variance of the interference is not negligible.


title: Nonlinear Harmonic Forms and an Indefinite Bochner Formula

abstract: We introduce the study of nonlinear harmonic forms. These are forms which minimize the $L_2$ energy in a cohomology class subject to a nonlinear constraint. In this note, we include only motivations and the most basic existence results. We also introduce a variant of the Bochner formula suitable for probing the structure of the intersection form of a 4-manifold.


title: Magnetic-dipole transitions in highly-charged ions as a basis of ultra-precise optical clocks

abstract: We evaluate the feasibility of using magnetic-dipole (M1) transitions in highly-charged ions as a basis of an optical atomic clockwork of exceptional accuracy. We consider a range of possibilities, including M1 transitions between clock levels of the same fine-structure and hyperfine-structure manifolds. In highly charged ions these transitions lie in the optical part of the spectra and can be probed with lasers. The most direct advantage of our proposal comes from the low degeneracy of clock levels and the simplicity of atomic structure in combination with negligible quadrupolar shift. We demonstrate that such clocks can have projected fractional accuracies below the $10^{-20}-10^{-21}$ level for all common systematic effects, such as black-body radiation, Zeeman, AC-Stark and quadrupolar shifts. Notice that usually-employed hyperfine clock transitions lie in the microwave spectral region. Our proposal moves such transitions to the optical domain. As the hyperfine transition frequencies depend on the fine-structure constant, electron-to-proton mass ratio, and nuclear magnetic moment, our proposal expands the range of experimental schemes for probing space and time variations of fundamental constants.


title: Double Aztec Rectangles

abstract: We investigate the connection between lozenge tilings and domino tilings by introducing a new family of regions obtained by attaching two different Aztec rectangles. We prove a simple product formula for the generating functions of the tilings of the new regions, which involves the statistics as in the Aztec diamond theorem (Elkies, Kuperberg, Larsen, and Propp, J. Algebraic Combin. 1992). Moreover, we consider the connection between the generating function and MacMahon's $q$-enumeration of plane partitions fitting in a given box


abstract: We prove the Proportionality Principle for the Lipschitz simplicial volume without any restriction on curvature. Our argument is based on the construction of a suitable \emph{pseudostraightening} for simplices.


title: Functorial Zeta Integrals

abstract: The functional equation for nonarchimedean Rankin-Selberg local Euler factors was proved by Jacquet, Piatetski-Shapiro, and Shalika in 1983. In this expository note we translate the original proof into the purely functorial language of parabolic induction-restriction of Bernstein-Zelevinsky. This new language gives a clearer presentation of the ideas, and works over arbitrary fields with characteristic not equal to the residue characteristic.


title: How Many Workers to Ask? Adaptive Exploration for Collecting High Quality Labels

abstract: Crowdsourcing has been part of the IR toolbox as a cheap and fast mechanism to obtain labels for system development and evaluation. Successful deployment of crowdsourcing at scale involves adjusting many variables, a very important one being the number of workers needed per human intelligence task (HIT). We consider the crowdsourcing task of learning the answer to simple multiple-choice HITs, which are representative of many relevance experiments. In order to provide statistically significant results, one often needs to ask multiple workers to answer the same HIT. A stopping rule is an algorithm that, given a HIT, decides for any given set of worker answers if the system should stop and output an answer or iterate and ask one more worker. Knowing the historic performance of a worker in the form of a quality score can be beneficial in such a scenario. In this paper we investigate how to devise better stopping rules given such quality scores. We also suggest adaptive exploration as a promising approach for scalable and automatic creation of ground truth. We conduct a data analysis on an industrial crowdsourcing platform, and use the observations from this analysis to design new stopping rules that use the workers' quality scores in a non-trivial manner. We then perform a simulation based on a real-world workload, showing that our algorithm performs better than the more naive approaches.


title: Self-similarity relations for cooling superfluid neutron stars

abstract: We consider models of cooling neutron stars with nucleon cores which possess moderately strong triplet-state superfluidity of neutrons. When the internal temperature drops below the maximum of the critical temperature over the core, $T_{\rm C}$, this superfluidity sets in. It produces a neutrino outburst due to Cooper pairing of neutrons which greatly accelerates the cooling. We show that the cooling of the star with internal temperature $T$ within $0.6\,T_{\rm C} \lesssim T \leq T_{\rm C}$ is described by analytic self-similar relations. A measurement of the effective surface temperature of the star and its decline, supplemented by assumptions on star's mass, radius and composition of heat-blanketing envelope, allows one to construct a family of cooling models parametrized by the value of $T_{\rm C}$. Each model reconstructs cooling history of the star including its neutrino emission level before neutron superfluidity onset and the intensity of Cooper pairing neutrinos. The results are applied to interpret the observations of the neutron star in the Cassiopeia A supernova remnant.


title: The syzygies of some thickenings of determinantal varieties

abstract: The vector space of m x n complex matrices (m >= n) admits a natural action of the group GL = GL_m x GL_n via row and column operations. For positive integers a,b, we consider the ideal I_{a x b} defined as the smallest GL-equivariant ideal containing the b-th powers of the a x a minors of the generic m x n matrix. We compute the syzygies of the ideals I_{a x b} for all a,b, together with their GL-equivariant structure, generalizing earlier results of Lascoux for the ideals of minors (b=1), and of Akin-Buchsbaum-Weyman for the powers of the ideals of maximal minors (a=n). Our methods rely on a nice connection between commutative algebra and the representation theory of the superalgebra gl(m|n), as well as on our previous calculation of Ext modules done in the context of describing local cohomology with determinantal support. Our results constitute an important ingredient in the proof by Nagpal-Sam-Snowden of the first non-trivial Noetherianity results for twisted commutative algebras which are not generated in degree one.


title: Optimal quantum tomography with constrained elementary measurements arising from unitary bases

abstract: The purpose of this paper is to introduce techniques of obtaining optimal ways to determine a d-level quantum state or distinguish such states. It entails designing constrained elementary measurements extracted from maximal abelian subsets of a unitary basis U for the operator algebra B(H) of a Hilbert space H of finite dimension d > 3 or, after choosing an orthonormal basis for H, for the *-algebra Md of complex matrices of order d > 3. Illustrations are given for the techniques. It is shown that the Schwinger basis U of unitary operators can give for d, a product of primes p and a, the ideal number d^2 of rank one projectors that have a few quantum mechanical overlaps (or, for that matter, a few angles between the corresponding unit vectors). We also give a combination of the tensor product and constrained elementary measurement techniques to deal with all d. A comparison is drawn for different forms of unitary bases for the Hilbert space and also for different Hilbert space factors of the tensor product. In the process we also study the equivalence relation on unitary bases defined by R. F. Werner [J. Phys. A: Math. Gen. 34 (2001) 7081], connect it to local operations on maximally entangled vectors bases, find an invariant for equivalence classes in terms of certain commuting systems, called fan representations, and, relate it to mutually unbiased bases and Hadamard matrices. Illustrations are given in the context of latin squares and projective representations as well.


title: Simple explanation of the quantum limits of genuine $n$-body nonlocality

abstract: Quantum $n$-body correlations cannot be explained with $(n-1)$-body nonlocality. However, this genuine $n$-body nonlocality cannot surpass certain bounds. Here we address the problem of identifying the principles responsible for these bounds. We show that, for any $n \ge 2$, the exclusivity principle, as derived from axioms about sharp measurements, and a technical assumption give the exact bounds predicted by quantum theory. This provides a unified explanation of the bounds of single-body contextuality and $n$-body nonlocality, and connects two programs towards understanding quantum theory.


title: Extending the Applicability Condition in the Formal System $\lambda\delta$

abstract: The formal system $\lambda\delta$ is a typed lambda calculus derived from $\Lambda_\infty$, aiming to support the foundations of Mathematics that require an underlying theory of expressions (for example the Minimal Type Theory). The system is developed in the context of the Hypertextual Electronic Library of Mathematics as a machine-checked digital specification, that is not the formal counterpart of previous informal material. The first version of the calculus appeared in 2006 and proved unsatisfactory for some reasons. In this article we present a revised version of the system and we prove three relevant desired properties: the confluence of reduction, the strong normalization of an extended form of reduction, known as the "big tree" theorem, and the preservation of validity by reduction. To our knowledge, we are presenting here the first fully machine-checked proof of the "big tree" theorem for a calculus that includes $\Lambda_\infty$.


title: Multifunctions of Bounded Variation, Preliminary Version I

abstract: Consider control systems described by a differential equation with a control term or, more generally, by a differential inclusion with velocity set $F(t,x)$. Certain properties of state trajectories can be derived when, in addition to other hypotheses, it is assumed that $F(t,x)$ is merely measurable w.r.t. the time variable $t$. But sometimes a refined analysis requires the imposition of stronger hypotheses regarding the $t$ dependence of $F(t,x)$. Stronger forms of necessary conditions for state trajectories that minimize a cost can derived, for example, if it is hypothesized that $F(t,x)$ is Lipschitz continuous w.r.t. $t$. It has recently become apparent that interesting addition properties of state trajectories can still be derived, when the Lipschitz continuity hypothesis is replaced by the weaker requirement that $F(t,x)$ has bounded variation w.r.t. $t$. This paper introduces a new concept of multifunctions $F(t,x)$ that have bounded variation w.r.t. $t$ near a given state trajectory, of special relevance to control system analysis. Properties of such multifunctions are derived and their significance is illustrated by an application to sensitivity analysis.


title: Surrogate Search As a Way to Combat Harmful Effects of Ill-behaved Evaluation Functions

abstract: Recently, several researchers have found that cost-based satisficing search with A* often runs into problems. Although some "work arounds" have been proposed to ameliorate the problem, there has been little concerted effort to pinpoint its origin. In this paper, we argue that the origins of this problem can be traced back to the fact that most planners that try to optimize cost also use cost-based evaluation functions (i.e., f(n) is a cost estimate). We show that cost-based evaluation functions become ill-behaved whenever there is a wide variance in action costs; something that is all too common in planning domains. The general solution to this malady is what we call a surrogatesearch, where a surrogate evaluation function that doesn't directly track the cost objective, and is resistant to cost-variance, is used. We will discuss some compelling choices for surrogate evaluation functions that are based on size rather that cost. Of particular practical interest is a cost-sensitive version of size-based evaluation function -- where the heuristic estimates the size of cheap paths, as it provides attractive quality vs. speed tradeoffs


title: Multilevel superconducting circuits as two-qubit systems: Operations, state preparation, and entropic inequalities

abstract: We theoretically study operations with a four-level superconducting circuit as a two-qubit system. Using a mapping on a two-qubit system, we show how to implement iSWAP gates and Hadamard gates through pulses on transitions between particular pairs of energy levels. Our approach allows one to prepare pure two-qubit entangled states with desired form of reduced density matrices of the same purity and, in particular, arbitrary identical reduced states of qubits. We propose using schemes for the Hadamard gate and two-qubit entangled states with identical reduced density matrices in order to verify $\log{N}$ inequalities for Shannon and R\'enyi entropies for the considered noncomposite quantum system.


title: Orbit automata as a new tool to attack the order problem in automaton groups

abstract: We introduce a new tool, called the orbit automaton, that describes the action of an automaton group $G$ on the subtrees corresponding to the orbits of $G$ on levels of the tree. The connection between $G$ and the groups generated by the orbit automata is used to find elements of infinite order in certain automaton groups for which other methods failed to work.


title: Synthetic Cognitive Development: where intelligence comes from

abstract: The human cognitive system is a remarkable exemplar of a general intelligent system whose competence is not confined to a specific problem domain. Evidently, general cognitive competences are a product of a prolonged and complex process of cognitive development. Therefore, the process of cognitive development is a primary key to understanding the emergence of intelligent behavior. This paper develops the theoretical foundations for a model that generalizes the process of cognitive development. The model aims to provide a realistic scheme for the synthesis of scalable cognitive systems with an open-ended range of capabilities. Major concepts and theories of human cognitive development are introduced and briefly explored focusing on the enactive approach to cognition and the concept of sense-making. The initial scheme of human cognitive development is then generalized by introducing the philosophy of individuation and the abstract mechanism of transduction. The theory of individuation provides the ground for the necessary paradigmatic shift from cognitive systems as given products to cognitive development as a formative process of self-organization. Next, the conceptual model is specified as a scalable scheme of networks of agents. The mechanisms of individuation are formulated in context independent information theoretical terms. Finally, the paper discusses two concrete aspects of the generative model -- mechanisms of transduction and value modulating systems. These are topics of further research towards a computationally realizable model.


title: Discrete bright solitons in Bose-Einstein condensates and dimensional reduction in quantum field theory

abstract: We first review the derivation of an effective one-dimensional (1D) discrete nonpolynomial Schr\"odinger equation from the continuous 3D Gross-Pitaevskii equation with transverse harmonic confinement and axial periodic potential. Then we study the bright solitons obtained from this discrete nonpolynomial equation showing that they give rise to the collapse of the condensate above a critical attractive strength. We also investigate the dimensional reduction of a bosonic quantum field theory, deriving an effective 1D nonpolynomial Heisenberg equation from the 3D Heisenberg equation of the continuous bosonic field operator under the action of transverse harmonic confinement. Moreover, by taking into account the presence of an axial periodic potential we find a generalized Bose-Hubbard model which reduces to the familiar 1D Bose-Hubbard Hamiltonian only if a strong inequality is satisfied. Remarkably, in the absence of axial periodic potential our 1D nonpolynomial Heisenberg equation gives the generalized Lieb-Liniger theory we obtained some years ago.