title: The $\mathbf \Gamma$-limit of the two-dimensional Ohta-Kawasaki energy. I. Droplet density

abstract: This is the first in a series of two papers in which we derive a $\Gamma$-expansion for a two-dimensional non-local Ginzburg-Landau energy with Coulomb repulsion, also known as the Ohta-Kawasaki model in connection with diblock copolymer systems. In that model, two phases appear, which interact via a nonlocal Coulomb type energy. We focus on the regime where one of the phases has very small volume fraction, thus creating small "droplets" of the minority phase in a "sea" of the majority phase. In this paper we show that an appropriate setting for $\Gamma$-convergence in the considered parameter regime is via weak convergence of the suitably normalized charge density in the sense of measures. We prove that, after a suitable rescaling, the Ohta-Kawasaki energy functional $\Gamma$-converges to a quadratic energy functional of the limit charge density generated by the screened Coulomb kernel. A consequence of our results is that minimizers (or almost minimizers) of the energy have droplets which are almost all asymptotically round, have the same radius and are uniformly distributed in the domain. The proof relies mainly on the analysis of the sharp interface version of the energy, with the connection to the original diffuse interface model obtained via matching upper and lower bounds for the energy. We thus also obtain a characterization of the limit charge density for the energy minimizers in the diffuse interface model.

categories: math-ph cond-mat.mtrl-sci math.MP nlin.PS


title: The Partition Function of Multicomponent Log-Gases

abstract: We give an expression for the partition function of a one-dimensional log-gas comprised of particles of (possibly) different integer charge at inverse temperature {\beta} = 1 (restricted to the line in the presence of a neutralizing field) in terms of the Berezin integral of an associated non- homogeneous alternating tensor. This is the analog of the de Bruijn integral identities [3] (for {\beta} = 1 and {\beta} = 4) ensembles extended to multicomponent ensembles.


title: Inference on Treatment Effects After Selection Amongst High-Dimensional Controls

abstract: We propose robust methods for inference on the effect of a treatment variable on a scalar outcome in the presence of very many controls. Our setting is a partially linear model with possibly non-Gaussian and heteroscedastic disturbances. Our analysis allows the number of controls to be much larger than the sample size. To make informative inference feasible, we require the model to be approximately sparse; that is, we require that the effect of confounding factors can be controlled for up to a small approximation error by conditioning on a relatively small number of controls whose identities are unknown. The latter condition makes it possible to estimate the treatment effect by selecting approximately the right set of controls. We develop a novel estimation and uniformly valid inference method for the treatment effect in this setting, called the "post-double-selection" method. Our results apply to Lasso-type methods used for covariate selection as well as to any other model selection method that is able to find a sparse model with good approximation properties. The main attractive feature of our method is that it allows for imperfect selection of the controls and provides confidence intervals that are valid uniformly across a large class of models. In contrast, standard post-model selection estimators fail to provide uniform inference even in simple cases with a small, fixed number of controls. Thus our method resolves the problem of uniform inference after model selection for a large, interesting class of models. We illustrate the use of the developed methods with numerical simulations and an application to the effect of abortion on crime rates.


title: Symplectic integrators in the realm of Hofer's geometry

abstract: Symplectic integrators constructed from Hamiltonian and Lie formalisms are obtained as symplectic maps whose flow follows the exact solution of a "sourrounded" Hamiltonian K = H + h^k H_1. Those modified Hamiltonians depends virtually on the time by h. When the numerical integration of a Hamiltonian system involves more than one symplectic scheme as in the parallel-in-time algorithms, there are not a simple way to control the dynamical behavior of the error Hamiltonian. The interplay of to different symplectic integrators can degenerate their behavior if both have different dynamical properties, reflected in the number of iterations to approximate the sequential solution. Considered as flows of time-dependent Hamiltonians we use the Hofer's geometry to search for the optimal coupling of symplectic schemes. As a result we obtain the constraints in the Parareal method to have a good behavior for Hamiltonian dynamics.


title: Towards Cost-Effective Storage Provisioning for DBMSs

abstract: Data center operators face a bewildering set of choices when considering how to provision resources on machines with complex I/O subsystems. Modern I/O subsystems often have a rich mix of fast, high performing, but expensive SSDs sitting alongside with cheaper but relatively slower (for random accesses) traditional hard disk drives. The data center operators need to determine how to provision the I/O resources for specific workloads so as to abide by existing Service Level Agreements (SLAs), while minimizing the total operating cost (TOC) of running the workload, where the TOC includes the amortized hardware costs and the run time energy costs. The focus of this paper is on introducing this new problem of TOC-based storage allocation, cast in a framework that is compatible with traditional DBMS query optimization and query processing architecture. We also present a heuristic-based solution to this problem, called DOT. We have implemented DOT in PostgreSQL, and experiments using TPC-H and TPC-C demonstrate significant TOC reduction by DOT in various settings.


title: B+-tree Index Optimization by Exploiting Internal Parallelism of Flash-based Solid State Drives

abstract: Previous research addressed the potential problems of the hard-disk oriented design of DBMSs of flashSSDs. In this paper, we focus on exploiting potential benefits of flashSSDs. First, we examine the internal parallelism issues of flashSSDs by conducting benchmarks to various flashSSDs. Then, we suggest algorithm-design principles in order to best benefit from the internal parallelism. We present a new I/O request concept, called psync I/O that can exploit the internal parallelism of flashSSDs in a single process. Based on these ideas, we introduce B+-tree optimization methods in order to utilize internal parallelism. By integrating the results of these methods, we present a B+-tree variant, PIO B-tree. We confirmed that each optimization method substantially enhances the index performance. Consequently, PIO B-tree enhanced B+-tree's insert performance by a factor of up to 16.3, while improving point-search performance by a factor of 1.2. The range search of PIO B-tree was up to 5 times faster than that of the B+-tree. Moreover, PIO B-tree outperformed other flash-aware indexes in various synthetic workloads. We also confirmed that PIO B-tree outperforms B+-tree in index traces collected inside the Postgresql DBMS with TPC-C benchmark.


title: High-Performance Concurrency Control Mechanisms for Main-Memory Databases

abstract: A database system optimized for in-memory storage can support much higher transaction rates than current systems. However, standard concurrency control methods used today do not scale to the high transaction rates achievable by such systems. In this paper we introduce two efficient concurrency control methods specifically designed for main-memory databases. Both use multiversioning to isolate read-only transactions from updates but differ in how atomicity is ensured: one is optimistic and one is pessimistic. To avoid expensive context switching, transactions never block during normal processing but they may have to wait before commit to ensure correct serialization ordering. We also implemented a main-memory optimized version of single-version locking. Experimental results show that while single-version locking works well when transactions are short and contention is low performance degrades under more demanding conditions. The multiversion schemes have higher overhead but are much less sensitive to hotspots and the presence of long-running transactions.


title: Capturing Topology in Graph Pattern Matching

abstract: Graph pattern matching is often defined in terms of subgraph isomorphism, an NP-complete problem. To lower its complexity, various extensions of graph simulation have been considered instead. These extensions allow pattern matching to be conducted in cubic-time. However, they fall short of capturing the topology of data graphs, i.e., graphs may have a structure drastically different from pattern graphs they match, and the matches found are often too large to understand and analyze. To rectify these problems, this paper proposes a notion of strong simulation, a revision of graph simulation, for graph pattern matching. (1) We identify a set of criteria for preserving the topology of graphs matched. We show that strong simulation preserves the topology of data graphs and finds a bounded number of matches. (2) We show that strong simulation retains the same complexity as earlier extensions of simulation, by providing a cubic-time algorithm for computing strong simulation. (3) We present the locality property of strong simulation, which allows us to effectively conduct pattern matching on distributed graphs. (4) We experimentally verify the effectiveness and efficiency of these algorithms, using real-life data and synthetic data.


title: RTED: A Robust Algorithm for the Tree Edit Distance

abstract: We consider the classical tree edit distance between ordered labeled trees, which is defined as the minimum-cost sequence of node edit operations that transform one tree into another. The state-of-the-art solutions for the tree edit distance are not satisfactory. The main competitors in the field either have optimal worst-case complexity, but the worst case happens frequently, or they are very efficient for some tree shapes, but degenerate for others. This leads to unpredictable and often infeasible runtimes. There is no obvious way to choose between the algorithms. In this paper we present RTED, a robust tree edit distance algorithm. The asymptotic complexity of RTED is smaller or equal to the complexity of the best competitors for any input instance, i.e., RTED is both efficient and worst-case optimal. We introduce the class of LRH (Left-Right-Heavy) algorithms, which includes RTED and the fastest tree edit distance algorithms presented in literature. We prove that RTED outperforms all previously proposed LRH algorithms in terms of runtime complexity. In our experiments on synthetic and real world data we empirically evaluate our solution and compare it to the state-of-the-art.


title: Putting Lipstick on Pig: Enabling Database-style Workflow Provenance

abstract: Workflow provenance typically assumes that each module is a "black-box", so that each output depends on all inputs (coarse-grained dependencies). Furthermore, it does not model the internal state of a module, which can change between repeated executions. In practice, however, an output may depend on only a small subset of the inputs (fine-grained dependencies) as well as on the internal state of the module. We present a novel provenance framework that marries database-style and workflow-style provenance, by using Pig Latin to expose the functionality of modules, thus capturing internal state and fine-grained dependencies. A critical ingredient in our solution is the use of a novel form of provenance graph that models module invocations and yields a compact representation of fine-grained workflow provenance. It also enables a number of novel graph transformation operations, allowing to choose the desired level of granularity in provenance querying (ZoomIn and ZoomOut), and supporting "what-if" workflow analytic queries. We implemented our approach in the Lipstick system and developed a benchmark in support of a systematic performance evaluation. Our results demonstrate the feasibility of tracking and querying fine-grained workflow provenance.


title: Relational Approach for Shortest Path Discovery over Large Graphs

abstract: With the rapid growth of large graphs, we cannot assume that graphs can still be fully loaded into memory, thus the disk-based graph operation is inevitable. In this paper, we take the shortest path discovery as an example to investigate the technique issues when leveraging existing infrastructure of relational database (RDB) in the graph data management. Based on the observation that a variety of graph search queries can be implemented by iterative operations including selecting frontier nodes from visited nodes, making expansion from the selected frontier nodes, and merging the expanded nodes into the visited ones, we introduce a relational FEM framework with three corresponding operators to implement graph search tasks in the RDB context. We show new features such as window function and merge statement introduced by recent SQL standards can not only simplify the expression but also improve the performance of the FEM framework. In addition, we propose two optimization strategies specific to shortest path discovery inside the FEM framework. First, we take a bi-directional set Dijkstra's algorithm in the path finding. The bi-directional strategy can reduce the search space, and set Dijkstra's algorithm finds the shortest path in a set-at-a-time fashion. Second, we introduce an index named SegTable to preserve the local shortest segments, and exploit SegTable to further improve the performance. The final extensive experimental results illustrate our relational approach with the optimization strategies achieves high scalability and performance.


title: Mining Flipping Correlations from Large Datasets with Taxonomies

abstract: In this paper we introduce a new type of pattern -- a flipping correlation pattern. The flipping patterns are obtained from contrasting the correlations between items at different levels of abstraction. They represent surprising correlations, both positive and negative, which are specific for a given abstraction level, and which "flip" from positive to negative and vice versa when items are generalized to a higher level of abstraction. We design an efficient algorithm for finding flipping correlations, the Flipper algorithm, which outperforms naive pattern mining methods by several orders of magnitude. We apply Flipper to real-life datasets and show that the discovered patterns are non-redundant, surprising and actionable. Flipper finds strong contrasting correlations in itemsets with low-to-medium support, while existing techniques cannot handle the pattern discovery in this frequency range.


title: A Statistical Approach Towards Robust Progress Estimation

abstract: The need for accurate SQL progress estimation in the context of decision support administration has led to a number of techniques proposed for this task. Unfortunately, no single one of these progress estimators behaves robustly across the variety of SQL queries encountered in practice, meaning that each technique performs poorly for a significant fraction of queries. This paper proposes a novel estimator selection framework that uses a statistical model to characterize the sets of conditions under which certain estimators outperform others, leading to a significant increase in estimation robustness. The generality of this framework also enables us to add a number of novel "special purpose" estimators which increase accuracy further. Most importantly, the resulting model generalizes well to queries very different from the ones used to train it. We validate our findings using a large number of industrial real-life and benchmark workloads.


title: Energy spectrum and mass composition of primary cosmic radiation in the region above the knee from the GAMMA experiment

abstract: The energy spectrum of the primary cosmic radiation in the energy range 1 - 100 PeV and the extensive air shower (EAS) characteristics obtained on the basis of the expanded data bank of the GAMMA experiment (Mt. Aragats, Armenia) are presented. With increased statistics we confirm our previous results on the energy spectrum. The spectral index above the knee is about -3.1, but at energies beyond 20 PeV a flattening of the spectrum is observed. The existence of the 'bump' at about 70 PeV is confirmed with a significance of more than 4{\sigma}. In the energy range of 10 - 100 PeV the shower age becomes energy independent and we observe a direct proportionality of the EAS size to the primary energy. This suggests an approximately constant depth of the EAS maximum in this energy range. This is evidence in favour of an increasing average mass of primary particles at energies above 20 PeV. The additional source scenario, which is a possible explanation of the 'bump' in the spectrum, also leads to the conclusion of increasing mass of the primary cosmic rays. A comparison with the data of other experiments is presented.


title: Quaternionic hyperbolic Fuchsian groups

abstract: In this paper we give the characterization of Fuchsian groups acting on quaternionic hyperbolic 2-space.


title: Brief review on iron-based superconductors: are there clues for unconventional superconductivity?

abstract: Study of superconductivity in layered iron-based materials was initiated in 2006 by Hosono's group, and boosted in 2008 by the superconducting transition temperature, Tc, of 26 K in LaFeAsO1-xFx. Since then, enormous researches have been done on the materials, with Tc reaching as high as 55 K. Here, we review briefly experimental and theoretical results on atomic and electronic structures and magnetic and superconducting properties of FeAs-based superconductors and related compounds. We seek for clues for unconventional superconductivity in the materials.


title: On the asymptotic normality of kernel density estimators for linear random fields

abstract: We establish sufficient conditions for the asymptotic normality of kernel density estimators, applied to causal linear random fields. Our conditions on the coefficients of linear random fields are weaker than known results, although our assumption on the bandwidth is not minimal. The proof is based on the $m$-approximation method. As a key step, we prove a central limit theorem for triangular arrays of stationary $m$-dependent random fields with unbounded $m$. We also apply a moment inequality recently established for stationary random fields.


title: Modeling of biological doses and mechanical effects on bone transduction

abstract: Shear stress, hormones like parathyroid and mineral elements like calcium mediate the amplitude of stimulus signal which affects the rate of bone remodeling. The current study investigates the theoretical effects of different metabolic doses in stimulus signal level on bone. The model was built considering the osteocyte as the sensing center mediated by coupled mechanical shear stress and some biological factors. The proposed enhanced model was developed based on previously published works dealing with different aspects of bone transduction. It describes the effects of physiological doses variations of Calcium, Parathyroid Hormone, Nitric Oxide and Prostaglandin E2 on the stimulus level sensed by osteocytes in response to applied shear stress generated by interstitial fluid flow. We retained the metabolic factors (Parathyroid Hormone, Nitric Oxide, and Prostaglandin E2) as parameters of bone cell mechanosensitivity because stimulation/inhibition of induced pathways stimulates osteogenic response in vivo. We then tested the model response in term of stimulus signal variation versus the biological factors doses to external mechanical stimuli. Despite the limitations of the model, it is consistent and has physiological bases. Biological inputs are histologically measurable. This makes the model amenable to experimental verification.


title: Lower bounds for Gromov width in the SO(n) coadjoint orbits

abstract: Let G be a compact connected Lie group G and T its maximal torus. The coadjoint orbit O_{\lambda} through \lambda in the dual of the Lie algebra of T, is canonically a symplectic manifold. Therefore we can ask the question of its Gromov width. In many known cases the width is exactly the minimum over the positive results of pairing \lambda with coroots: min{< \alpha_j^{\vee},\lambda > ; \alpha_j^{\vee} is a coroot and < \alpha_j^{\vee},\lambda > is positive}. We will show that the Gromov width for regular coadjoint orbits of the special orthogonal group is at least this minimum. The proof uses the torus action coming from the Gelfand-Tsetlin system.


title: Upper bounds for the piercing number of families of pairwise intersecting convex polygons

abstract: A convex polygon $A$ is related to a convex $m$-gon $K= \bigcap_{i=1}^m k_i^+$, where $k_1^+,..., k_m^+$ are the $m$ halfplanes whose intersection is equal to $K$, if $A$ is the intersection of halfplanes $a_1^+,...,a_l$, each of which is a translate of one of the $k_i^+$-s. The planar family ${\cal A}$ is related to $K$ if each $A \in {\cal A}$ is related to $K$. We prove that any family of pairwise intersecting convex sets related to a given $n$-gon has a finite piercing number which depends on $n$. In the general case we show $O(3^{n^3})$, while for a certain class of families, we decrease the bound to $4(n-2)$, and for $n=3,4$ the bound is 3 and 6 respectively.


title: Yield and suppression of electrons from open heavy-flavor decays in heavy-ion collisions

abstract: Measurements by the STAR and PHENIX collaborations indicate that a quark-gluon plasma, a hot and dense state of matter in which quarks and gluons are not confined inside hadrons, is formed in heavy-ion collisions at the Relativistic Heavy Ion Collider. Charm and bottom quarks have been predicted to interact with the medium differently than the light quarks; a study of heavy quark interactions with the medium provides an important test of theoretical models of the quark-gluon plasma. The spectrum of non-photonic electrons (and positrons) is dominated by electrons from the semileptonic decays of D and B mesons. Therefore, non-photonic electrons serve as proxies for heavy quarks. A measurement of the modification of the non-photonic electron spectrum in nucleus-nucleus collisions relative to p + p collisions allows the interactions of heavy quarks with the medium to be studied. Previous measurements indicate that high-transverse-momentum non-photonic electrons are suppressed in Au + Au collisions at 200 GeV (center-of-mass energy per nucleon pair) relative to p + p collisions at the same energy. The magnitude of that suppression is larger than was anticipated and it has been a challenge for theoretical models to predict the in-medium energy loss of light and heavy quarks simultaneously. This dissertation presents the first measurement of the yield of non-photonic electrons from open heavy-flavor decays in Cu + Cu collisions at 200 GeV and the suppression of that yield relative to p + p collisions. A comparison of this result to similar results for Au + Au collisions provides some indication that the geometry of a heavy-ion collision affects the average amount of energy loss by heavy quarks passing through the quark-gluon plasma.


title: Einstein-Podolsky-Rosen Steering in Quantum Phase Transition

abstract: We investigate the Einstein-Podolsky-Rosen (EPR) steering and its criticality in quantum phase transition. It is found that the EPR steerability function of the ground state of XY spin chain exhibits nonanalytic feature in the vicinity of a quantum phase transition by showing that its derivative with respect to anisotropy parameter diverges at the critical point. We then verify the universality of the critical phenomena of the EPR steerability function in the system. We also use two-qubit EPR-steering inequality to explore the relation between EPR steering and quantum phase transition.


title: Critical exponent for the quantum spin Hall transition in Z_2 network model

abstract: We have estimated the critical exponent describing the divergence of the localization length at the metal-quantum spin Hall insulator transition. The critical exponent for the metal-ordinary insulator transition in quantum spin Hall systems is known to be consistent with that of topologically trivial symplectic systems. However, the precise estimation of the critical exponent for the metal-quantum spin Hall insulator transition proved to be problematic because of the existence, in this case, of edge states in the localized phase. We have overcome this difficulty by analyzing the second smallest positive Lyapunov exponent instead of the smallest positive Lyapunov exponent. We find a value for the critical exponent $\nu=2.73 \pm 0.02$ that is consistent with that for topologically trivial symplectic systems.


title: Compensation of Coulomb blocking and energy transfer in the current voltage characteristic of molecular conduction junctions

abstract: We have studied the influence of both exciton effects and Coulomb repulsion on current in molecular nanojunctions. We show that dipolar energy-transfer interactions between the sites in the wire can at high voltage compensate Coulomb blocking for particular relationships between their values. Tuning this relationship may be achieved by using the effect of plasmonic nanostructure on dipolar energy transfer interactions.


title: Bifurcations of Emergent Bursting in a Neuronal Network

abstract: Currently we routinely develop a complex neuronal network to explain observed but often paradoxical phenomena based upon biological recordings. Here we present a general approach to demonstrate how to mathematically tackle such a complex neuronal network so that we can fully understand the underlying mechanism. Using an oxytocin network developed earlier as an example, we show how we can reduce a complex model with many variables to a tractable model with two variables, while retaining all key qualitative features of the model. The approach enables us to uncover how emergent synchronous bursting could arise from a neuronal network which embodies all known biological features. Surprisingly, the discovered mechanisms for bursting are similar to those found in other systems reported in the literature, and illustrate a generic way to exhibit emergent and multi-time scale spikes: at the membrane potential level and the firing rate level.


title: Nonclassical properties of a particle in a finite range trap: the f-deformed quantum oscillator approach

abstract: A particle bounded in a potential with finite range is described by using an $f$-deformed quantum oscillator approach. Finite range of this potential can be considered as a controllable deformation parameter. The non-classical quantum statistical properties of this deformed oscillator can be manipulated by nonlinearities associated to the finite range.


title: Generation of three-dimensional entangled states between a single atom and a Bose-Einstein Condensate via adiabatic passage

abstract: We propose a robust scheme to prepare three-dimensional entanglement states between a single atom and a Bose-Einstein Condensate (BEC) via stimulated Raman adiabatic passage (STIRAP) techniques. The atomic spontaneous radiation, the cavity decay, and the fiber loss are efficiently suppressed by the engineering adiabatic passage. Our scheme is also robust to the variation of atom number in the BEC.


title: Non-linear spin to charge conversion in mesoscopic structures

abstract: Motivated by recent experiments [Vera-Marun et al., arXiv:1109.5969], we formulate a non-linear theory of spin transport in quantum coherent conductors. We show how a mesoscopic constriction with energy-dependent transmission can convert a spin current injected by a spin accumulation into an electric signal, relying neither on magnetic nor exchange fields. When the transmission through the constriction is spin-independent, the spin-charge coupling is non-linear, with an electric signal that is quadratic in the accumulation. We estimate that gated mesoscopic constrictions have a sensitivity that allows to detect accumulations much smaller than a percent of the Fermi energy.


title: Role of Partial Transpose and Generalized Choi maps in Quantum Dynamical Semigroups involving Separable and Entangled States

abstract: Power symmetric matrices defned and studied by R. Sinkhorn (1981) and their generalization by R.B. Bapat, S.K. Jain and K. Manjunatha Prasad (1999) have been utilized to give positive block matrices with trace one possessing positive partial transpose, the so-called PPT states. Another method to construct such PPT states is given, it uses the form of a matrix unitarily equivalent to its transpose obtained by S.R. Garcia and J.E. Tener (2012). Evolvement or suppression of separability or entanglement of various levels for a quantum dynamical semigroup of completely positive maps has been studied using Choi-Jamiolkowsky matrix of such maps and the famous Horodecki's criteria (1996). A Trichotomy Theorem has been proved, and examples have been given that depend mainly on generalized Choi maps and clearly distinguish the levels of entanglement breaking.


title: Bragg gap solitons in $\mathcal{PT}$ symmetric lattices with competing nonlinearity

abstract: The effect of competing nonlinearity on beam dynamics in parity-time $(\mathcal{PT})$ symmetric potentials is investigated. By using numerical methods, the existence of gap solitons is demonstrated in the first Bragg gap of optical $\mathcal{PT}$ symmetric lattices with competing nonlinearity. Meanwhile, the stability of such solitons is analyzed through introducing a small perturbation to the solitary solutions. The abrupt annihilation of the solitons during propagation demonstrates the Bragg gap solitons in $\mathcal{PT}$ symmetric potentials are not stable. In comparison with the on-site gap solitons, the off-site gap solitons exhibit more robust properties during propagation.


title: Ranks of elliptic curves with prescribed torsion over number fields

abstract: We study the structure of the Mordell--Weil group of elliptic curves over number fields of degree 2, 3, and 4. We show that if $T$ is a group, then either the class of all elliptic curves over quadratic fields with torsion subgroup $T$ is empty, or it contains curves of rank~0 as well as curves of positive rank. We prove a similar but slightly weaker result for cubic and quartic fields. On the other hand, we find a group $T$ and a quartic field $K$ such that among the elliptic curves over $K$ with torsion subgroup $T$, there are curves of positive rank, but none of rank~0. We find examples of elliptic curves with positive rank and given torsion in many previously unknown cases. We also prove that all elliptic curves over quadratic fields with a point of order 13 or 18 and all elliptic curves over quartic fields with a point of order 22 are isogenous to one of their Galois conjugates and, by a phenomenon that we call \emph{false complex multiplication}, have even rank. Finally, we discuss connections with elliptic curves over finite fields and applications to integer factorization.


title: A Lower Bound for Estimating High Moments of a Data Stream

abstract: We show an improved lower bound for the Fp estimation problem in a data stream setting for p>2. A data stream is a sequence of items from the domain [n] with possible repetitions. The frequency vector x is an n-dimensional non-negative integer vector x such that x(i) is the number of occurrences of i in the sequence. Given an accuracy parameter Omega(n^{-1/p}) < \epsilon < 1, the problem of estimating Fp is to estimate \norm{x}_p^p = \sum_{i \in [n]} \abs{x(i)}^p correctly to within a relative accuracy of 1\pm \epsilon with high constant probability in an online fashion and using as little space as possible. The current space lower bound for this problem is Omega(n^{1-2/p} \epsilon^{-2/p}+ n^{1-2/p}\epsilon^{-4/p}/ \log^{O(1)}(n)+ (\epsilon^{-2} + \log (n))). The first term in the lower bound expression was proved in \cite{B-YJKS:stoc02,cks:ccc03}, the second in \cite{wz:arxiv11} and the third in \cite{wood:soda04}. In this note, we show an Omega(p^2 n^{1-2/p} \epsilon^{-2}/\log (n)) bits space bound, for Omega(pn^{-1/p}) \le \epsilon \le 1/10.


title: A counterexample to conjecture 18.5 in "Geometric Etudes in Combinatorial Mathematics", second edition

abstract: A collection of sets $\Fscr$ has the $(p,q)$-property if out of every $p$ elements of $\Fscr$ there are $q$ that have a point in common. A transversal of a collection of sets $\Fscr$ is a set $A$ that intersects every member of $\Fscr$. Gr\"unbaum conjectured that every family $\Fscr$ of closed, convex sets in the plane with the $(4,3)$-property and at least two elements that are compact has a transversal of bounded cardinality. Here we construct a counterexample to his conjecture. On the positive side, we also show that if such a collection $\Fscr$ contains two {\em disjoint} compacta then there is a transveral of cardinality at most 13.


title: Quantum Counterfactuals and Locality

abstract: Stapp's counterfactual argument for quantum nonlocality based upon a Hardy entangled state is shown to be flawed. While he has correctly analyzed a particular framework using the method of consistent histories, there are alternative frameworks which do not support his argument. The framework dependence of quantum counterfactual arguments, with analogs in classical counterfactuals, vitiates the claim that nonlocal (superluminal) influences exist in the quantum world. Instead it shows that counterfactual arguments are of limited use for analyzing these questions.


title: Multitime controlled linear PDE systems

abstract: We derive new results regarding the controllability and the reachability of multitime controlled linear PDE systems of first order. These systems describe some important multitime evolution in engineering, economics and biology. Some of them come from evolution PDEs of superior order. The original results include a refinement and a supplement of multitime optimal control theory, developed in some recent papers by the second author. They refer to the complete integrability conditions, conditions for the existence of solutions, path independent curvilinear integrals, the multitime fundamental matrix, multitime adjoint Cauchy problems, control space, controllability and reachability of phases, controllability gramian, reachability gramian, controllability matrix, counter-examples and commentaries.


title: On the topological full group of a minimal Cantor Z^2-system

abstract: Grigorchuk and Medynets recently announced that the topological full group of a minimal Cantor Z-action is amenable. They asked whether the statement holds for all minimal Cantor actions of general amenable groups as well. We answer in the negative by producing a minimal Cantor Z^2-action for which the topological full group contains a non-abelian free group.


title: Procedure to produce discretized path composed by semi-circle and straigth sub-paths

abstract: Some problems founds in teaching physics related to curved paths that are unfortunately only described as illustration. A simple way to introduce the path is presented, which can help students to test their concept numerically. The procedure is limited into semi-circle and straight sub-paths. Smaller discretizing width $\Delta{}s$ gives better form of the produced path.


title: A decision functional for multitime controllability

abstract: This paper investigates the multitime linear normal PDE systems. We study especially the controllability of such systems, obtaining complementary results to those in our recent papers. Here the multitime controllability original results are formulated using the $\gamma$ - gramian matrix, the Im - gramian space and a controllability functional. There are given also some original examples which illustrate and round the theoretical results.


title: Subleading Nc improved Parton Showers

abstract: We describe an algorithm for improving subsequent parton shower emissions by full SU(3) color correlations in the framework of a dipole-type shower. As a proof of concept, we present results from the first implementation of such an algorithm for a final state shower. The corrections are found to be small for event shapes and jet rates but can be more significant for tailored observables.


title: High Frequency Cutoff and Change of Radio Emission Mechanism in Pulsars

abstract: Pulsars are the fast rotating neutron stars with strong magnetic field, that emit over a wide frequency range. In spite of the efforts during 40 years after the discovery of pulsars, the mechanism of their radio emission remains to be unknown so far. We propose a new approach to solving this problem for a subset of pulsars with a high-frequency cutoff of the spectrum from the Pushchino catalogue (the "Pushchino" sample). We provide a theoretical explanation of the observed dependence of the high-frequency cutoff from the pulsar period. The dependence of the cutoff position from the magnetic field is predicted. This explanation is based on a new mechanism for electron radio emission in pulsars. Namely, radiation occurs in the inner (polar) gap, when electrons are accelerated in the electric field that is increasing from zero level at the star surface. In this case acceleration of electrons passes through a maximum and goes to zero when the electron velocity approaches the speed of light. All the radiated power is located within the radio frequency band. The averaging of intensity radiation over the polar cap, with some natural assumptions of the coherence of the radiation, leads to the observed spectra. It also leads to an acceptable estimate of the power of radio emission.


title: On GRB Physics Revealed by FERMI/LAT

abstract: We discuss the implications of Fermi/LAT observations on several aspects of gamma-ray burst (GRB) physics, including the radiation process, the emission sites, the bulk Lorentz factor, and the pre-shock magnetic field: (1) MeV-range emission favors synchrotron process but the highest energy (>10GeV) emission may not be synchrotron origin, more likely inverse Compton origin; (2) GRB should have multi-zone emission region, with MeV emission produced at smaller radii while optical and >100MeV emission at larger radii; (3) the bulk Lorentz factor can be a few 100's, much lower than 10^3, in multi-zone model; (4) the upstream magnetic field of afterglow shock is strongly amplified to be at least in mG scale.


title: Stability of cnoidal waves in the parametrically driven nonlinear Schr\"odinger equation

abstract: The parametrically driven, damped nonlinear Schr\"odinger equation has two cn- and two dn-wave solutions. We show that one pair of the cn and dn solutions is unstable for any combination of the driver's strength, dissipation coefficient and spatial period of the wave; this instability is against periodic perturbations. The second dn-wave solution is shown to be unstable against antiperiodic perturbations --- in a certain region of the parameter space. We also consider quasiperiodic perturbations with long modulation wavelength, in the limit where the driving strength is only weakly exceeding the damping coefficient.


title: A note on weak convergence results for uniform infinite causal triangulations

abstract: We discuss uniform infinite causal triangulations and equivalence to the size biased branching process measure - the critical Galton-Watson branching process distribution conditioned on non-extinction. Using known results from the theory of branching processes, this relation is used to prove weak convergence of the joint length-area process of a uniform infinite causal triangulations to a limiting diffusion. The diffusion equation enables us to determine the physical Hamiltonian and Green's function from the Feynman-Kac procedure, providing us with a mathematical rigorous proof of certain scaling limits of causal dynamical triangulations.


title: On the derived category of $\bar{M}_{0,n}$

abstract: Using Keel's presentation and Orlov's theorem, we give an inductive description of the derived category of moduli spaces of $n$--pointed stable curves of genus zero and some full exceptional collections in it. The detailed calculations are given for $\bar{M}_{0,6}$.


title: Elliptic curves with large torsion and positive rank over number fields of small degree and ECM factorization

abstract: In this paper, we present several methods for construction of elliptic curves with large torsion group and positive rank over number fields of small degree. We also discuss potential applications of such curves in the elliptic curve factorization method (ECM).


title: Multi-dimensional laser spectroscopy of exciton-polaritons with spatial light modulators

abstract: We describe an experimental system that allows one to easily access the dispersion curve of exciton-polaritons in a microcavity. Our approach is based on two spatial light modulators (SLM), one for changing the excitation angles (momenta), and the other for tuning the excitation wavelength. We show that with this setup, an arbitrary number of states can be excited accurately and that re-configuration of the excitation scheme can be done at high speed.


title: The interplay between cosmic rays and magnetic turbulence in galaxy clusters: radio halos and gamma rays

abstract: The interaction of magnetic turbulence and relativistic particles is a important process for understanding particles propagation and acceleration in many astrophysical environments. Large-scale turbulence can be generated in the intra-cluster-medium (ICM) during mergers between galaxy clusters and affects their non-thermal properties. Giant radio halos, Mpc-scale synchrotron sources observed in merging clusters, may probe the connection between turbulence and non-thermal cluster-scale emission. After discussing relevant aspects of the physics of turbulence and turbulent acceleration in the ICM, I will focus on recent advances in the modeling of non-thermal emission from galaxy clusters.


title: On second-order differentiability with respect to parameters for differential equations with state-dependent delays

abstract: In this paper we consider a class of differential equations with state-dependent delays. We show first and second-order differentiability of the solution with respect to parameters in a pointwise sense and also using the C-norm on the state-space, assuming that the state-dependent time lag function is piecewise strictly monotone.


title: Light neutral mesons production in p-A collisions at $\sqrt{s} = 27.5$ GeV with the NA60 Experiment

abstract: The NA60 experiment has studied low-mass muon pair production in proton-nucleus (p-A) collisions with a system of Be, Cu, In, W, Pb and U targets using a 400 GeV/$c$ proton beam at the CERN SPS. Thanks to the collected data sample of 180\,000 low mass muon pairs, the most precise measurement currently available was performed for the electromagnetic transition form factors of the $\eta$ and $\omega$ mesons. The $\rho$ line shape was quantitatively investigated, and its effective temperature measured for the first time in elementary collisions. The transverse momentum spectra for the $\omega$ and $\phi$ mesons have been studied in the full $\pt$ range accessible, up to 2 GeV/$c$. The cross section ratios $\sigma_\rho/\sigma_\omega$ and $\sigma_\phi/\sigma_\omega$ have been considered in full $\pt$ as a function of the size of the production target. The nuclear dependence of the production cross sections of the $\eta$, $\omega$ and $\phi$ mesons has finally been studied in terms of the power law $\sigma_\mathrm{pA} \propto \mathrm{A}^\alpha$, where the $\alpha$ parameter has been found to increase as a function of $\pt$.


title: $\gamma$ Parameter and Solar System constraint in Chameleon Brans Dick Theory

abstract: The post Newtonian parameter is considered in the Chameleon-Brans-Dicke frame. In the first step, the general form of this parameter and also effective gravitational constant is obtained. An arbitrary function for $f(\Phi)$, which indicates the coupling between matter and scalar field, is introduced to investigate validity of solar system constraint. It is shown that Chameleon-Brans-Dicke model can satisfy the solar system constraint and gives us an $\omega$ parameter of order $10^4$, which is in comparable to the constraint which has been indicated in {\cite{17-a}}.


title: Finite simple additively idempotent semirings

abstract: Since for the classification of finite (congruence-)simple semirings it remains to classify the additively idempotent semirings, we progress on the characterization of finite simple additively idempotent semirings as semirings of join-morphisms of a semilattice. We succeed in doing this for many cases, amongst others for every semiring of this kind with an additively neutral element. As a consequence we complete the classification of finite simple semirings with an additively neutral element. To complete the classification of all finite simple semirings it remains to classify some very specific semirings, which will be discussed here. Our results employ the theory of idempotent irreducible semimodules, which we develop further.


title: Revised spherically symmetric solutions of $R+\varepsilon/R$ gravity

abstract: We study spherically symmetric static empty space solutions in $R+\varepsilon/R$ model of $f(R)$ gravity. We show that the Schwarzschild metric is an exact solution of the resulted field equations and consequently there are general solutions which {are perturbed Schwarzschild metric and viable for solar system. Our results for large scale contains a logarithmic term with a coefficient producing a repulsive gravity force which is in agreement with the positive acceleration of the universe.


title: Overview of EIREX 2010: Computing

abstract: The first Information Retrieval Education through Experimentation track (EIREX 2010) was run at the University Carlos III of Madrid, during the 2010 spring semester. EIREX 2010 is the first in a series of experiments designed to foster new Information Retrieval (IR) education methodologies and resources, with the specific goal of teaching undergraduate IR courses from an experimental perspective. For an introduction to the motivation behind the EIREX experiments, see the first sections of [Urbano et al., 2011]. For information on other editions of EIREX and related data, see the website at http://ir.kr.inf.uc3m.es/eirex/. The EIREX series have the following goals: a) to help students get a view of the Information Retrieval process as they would find it in a real-world scenario, either industrial or academic; b) to make students realize the importance of laboratory experiments in Computer Science and have them initiated in their execution and analysis; c) to create a public repository of resources to teach Information Retrieval courses; d) to seek the collaboration and active participation of other Universities in this endeavor. This overview paper summarizes the results of the EIREX 2010 track, focusing on the creation of the test collection and the analysis to assess its reliability.


title: Interacting New Agegraphic Dark Energy in a Cyclic Universe

abstract: The main goal of this work is investigation of NADE in the cyclic universe scenario. Since, cyclic universe is explained by a phantom phase ($\omega<-1$), it is shown when there is no interaction between matter and dark energy, ADE and NADE do not produce a phantom phase, then can not describe cyclic universe. Therefore, we study interacting models of ADE and NADE in the modified Friedmann equation. We find out that, in the high energy regime, which it is a necessary part of cyclic universe evolution, only NADE can describe this phantom phase era for cyclic universe. Considering deceleration parameter tells us that the universe has a deceleration phase after an acceleration phase, and NADE is able to produce a cyclic universe. Also it is found valuable to study generalized second law of thermodynamics. Since the loop quantum correction is taken account in high energy regime, it may not be suitable to use standard treatment of thermodynamics, so we turn our attention to the result of \citep{29}, which the authors have studied thermodynamics in loop quantum gravity, and we show that which condition can satisfy generalized second law of thermodynamics.


title: Weighted Zero-Sum Problems Over $C_3^r$

abstract: Let $C_n$ be the cyclic group of order $n$ and set $s_{A}(C_n^r)$ as the smallest integer $\ell$ such that every sequence $\mathcal{S}$ in $C_n^r$ of length at least $\ell$ has an $A$-zero-sum subsequence of length equal to $\exp(C_n^r)$, for $A=\{-1,1\}$. In this paper, among other things, we give estimates for $s_A(C_3^r)$, and prove that $s_A(C_{3}^{3})=9$, $s_A(C_{3}^{4})=21$ and $41\leq s_A(C_{3}^{5})\leq45$.


title: An alternative to the Baum-Welch recursions for hidden Markov models

abstract: We develop a recursion for hidden Markov model of any order h, which allows us to obtain the posterior distribution of the latent state at every occasion, given the previous h states and the observed data. With respect to the well-known Baum-Welch recursions, the proposed recursion has the advantage of being more direct to use and, in particular, of not requiring dummy renormalizations to avoid numerical problems. We also show how this recursion may be expressed in matrix notation, so as to allow for an efficient implementation, and how it may be used to obtain the manifest distribution of the observed data and for parameter estimation within the Expectation-Maximization algorithm. The approach is illustrated by an application to financial data which is focused on the study of the dynamics of the volatility level of log-returns.


title: Inelastic electron backscattering in a generic helical edge channel

abstract: We evaluate the low-temperature conductance of a weakly interacting one-dimensional helical liquid without axial spin symmetry. The lack of that symmetry allows for inelastic backscattering of a single electron, accompanied by forward-scattering of another. This joint effect of weak interactions and potential scattering off impurities results in a temperature-dependent deviation from the quantized conductance, $\delta G \propto T^4$. In addition, $\delta G$ is sensitive to the position of the Fermi level. We determine numerically the parameters entering our generic model for the Bernevig-Hughes-Zhang Hamiltonian of a HgTe/CdTe quantum well in the presence of Rashba spin-orbit coupling.


title: Convergence of Voevodsky's slice tower

abstract: We consider Voevodsky's slice tower for a finite spectrum E in the motivic stable homotopy category over a perfect field k. In case k has finite cohomological dimension (in characteristic two, we also require that k is infinite), we show that the slice tower converges, in that the induced filtration on the bi-graded homotopy sheaves for each term in the tower for E is finite, exhaustive and separated at each stalk. This partially verifies a conjecture of Voevodsky.


title: Symbolic dynamics for the $N$-centre problem at negative energies

abstract: We consider the planar $N$-centre problem, with homogeneous potentials of degree $-\a<0$, $\a \in [1,2)$. We prove the existence of infinitely many collisions-free periodic solutions with negative and small energy, for any distribution of the centres inside a compact set. The proof is based upon topological, variational and geometric arguments. The existence result allows to characterize the associated dynamical system with a symbolic dynamics, where the symbols are the partitions of the $N$ centres in two non-empty sets.


title: Examining a reduced jet-medium coupling in Pb+Pb collisions at the Large Hadron Collider

abstract: Recent data on the nuclear modification factor $R_{AA}$ of jet fragments in 2.76 ATeV Pb+Pb collisions at the Large Hadron Collider (LHC) indicate that the jet-medium coupling in a Quark-Gluon Plasma (QGP) is reduced at LHC energies and not compatible with the coupling deduced from data at the Relativistic Hadron Collider (RHIC). We estimate the reduction factor from a combined fit to the available data on $R_{AA}(\sqrt{s},p_T,b)$ and the elliptic flow $v_2(\sqrt{s},p_T,b)$ at $\sqrt{s}=0.2,2.76$ ATeV over a transverse momentum range $p_T$ 10-100 GeV and a broad impact parameter, b, range. We use a simple analytic "polytrope" model ($dE/dx=- \kappa E^{a} x^z T^{c}$) to investigate the dynamical jet-energy loss model dependence. Varying a=0-1 interpolates between weakly-coupled and strongly-coupled models of jet-energy dependence while z=0-2 covers a wide range of possible jet-path dependencies from elastic and radiative to holographic string mechanisms. Our fit to LHC data indicates an approximate 40% reduction of the coupling $\kappa$ from RHIC to LHC and excludes energy-loss models characterized by a jet-energy exponent with a>1/3. In particular, the rapid rise of $R_{AA}$ with $p_T$>10 GeV combined with the slow variation of the asymptotic $v_2(p_T)$ at the LHC rules out popular exponential geometric optics models (a=1). The LHC data are compatible with $0\leq a\leq 1/3$ pQCD-like energy-loss models where the jet-medium coupling is reduced by approximately 10% between RHIC and LHC.


title: Simerka - Quadratic Forms and Factorization

abstract: In this article we show that the Czech mathematician Vaclav Simerka discovered the factorization of (10^17-1)/9 using a method based on the class group of binary quadratic forms more than 120 years before Shanks and Schnorr developed similar algorithms. Simerka also gave the first examples of what later became known as Carmichael numbers.


title: A comparison of motivic and classical homotopy theories

abstract: Let k be an algebraically closed field of characteristic zero. Let SH(k) denote the motivic stable homotopy category of T-spectra over k and SH the classical stable homotopy category. Let c:SH -> SH(k) be the functor induced by sending a space to the constant presheaf of spaces on Sm/k. We show that c is fully faithful. In particular, c induces an isomorphism {\pi}_n(E)-> {\pi}_{n,0}c(E) for all spectra E. Fix an embedding of k into the complex numbers and let Re:SH(k) -> SH be the associated Betti realization. We show that the slice tower for the motivic sphere spectrum has Betti realization which is strongly convergent. This gives a spectral sequence "of motivic origin" converging to the homotopy groups of the classical sphere spectrum; this spectral sequence at E_2 agrees with the E_2 terms in the Adams-Novikov spectral sequence.


title: Generation of a two-photon state from a quantum dot in a microcavity under incoherent and coherent continuous excitation

abstract: We analyze the impact of both an incoherent and a coherent continuous excitation on our proposal to generate a two-photon state from a quantum dot in a microcavity [New J. Phys. 13, 113014 (2011)]. A comparison between exact numerical results and analytical formulas provides the conditions to efficiently generate indistinguishable and simultaneous pairs of photons under both types of excitation.


title: Ferromagnetic Ordering in Carbon Nanotubes, Incorporated in Diamond Single Crystals

abstract: The physical origin of the mechanism of the formation of ferromagnetic ordering in carbon nanotubes (NTs), produced by high energy ion beam modification of diamond single crystals in $\langle{110}\rangle$ and $\langle{111}\rangle$ directions has been found. It is concluded from analysis of experimental results on ferromagnetic spin wave resonance observed, that the only $\pi$-electronic subsystem of given NTs is responsible for the appearance of ferromagnetism. It is determined by asymmetry in spin density distribution in Su-Schrieffer-Heeger (SSH) topological soliton lattice. The formation of SSH topological soliton lattice is considered in the frames of generalized SSH-model of organic conductors, in which $\pi$-electronic subsystem is represented being to be 1D quantum Fermi liquid. The phenomenon of formation of uncompensated antiferromagnetic ordering coexisting with superconductivity at room temperature in carbon nanotubes, produced by high energy ion beam modification of diamond single crystals in $\langle{100}\rangle$ direction is argued.


title: A square-torsion modification of Einstein-Cartan theory

abstract: In the present paper we consider a theory of gravity in which not only curvature but also torsion is explicitly present in the Lagrangian, both with their own coupling constant. In particular, we discuss the couplings to Dirac fields and spin fluids: in the case of Dirac fields, we discuss how in our approach, the Dirac self-interactions depend on the coupling constant as a parameter that may even make these non-linearities manifest at subatomic scales, showing different applications according to the value of the parameter we have assigned; in the case of spin fluids, we discuss FLRW cosmological models arising from the proposed theory.


title: CP violation results from CDF

abstract: We present world-leading results on CP-violating asymmetries and branching fractions of several decay modes of B0, B0s, and {\Lambda}b hadrons into charmless two-body, and of B\pm into charm, final states collected by the CDF detector. We also report a new measurement of CP-violating asymmetries in D\ast\pm-tagged D0 \rightarrow h+h- (h = K or {\pi}) decays, where any enhancement from the Standard Model prediction would be unambiguous evidence for New Physics.


title: Recurrent Interactions in Spiking Networks with Arbitrary Topology

abstract: The population activity of random networks of excitatory and inhibitory leaky integrate-and-fire (LIF) neurons has been studied extensively. In particular, a state of asynchronous activity with low firing rates and low pairwise correlations emerges in sparsely connected networks. We apply linear response theory to evaluate the influence of detailed network structure on neuron dynamics. It turns out that pairwise correlations induced by direct and indirect network connections can be related to the matrix of direct linear interactions. Furthermore, we study the influence of characteristics of the neuron model. Interpreting the reset as self-inhibition we examine its influence, via the spectrum of single neuron activity, on network autocorrelation functions and the overall correlation level. The neuron model also affects the form of interaction kernels and consequently the time-dependent correlation functions. We finally find that a linear instability of networks with Erd\H{o}s-R\'{e}nyi topology coincides with a global transition to a highly correlated network state. Our work shows that recurrent interactions have a profound impact on spike train statistics and provides tools to study effects of specific network topologies.


title: Ensemble Variability of Near-Infrared-Selected Active Galactic Nuclei

abstract: We present the properties of the ensemble variability $V$ for nearly 5000 near-infrared (NIR) AGNs selected from the catalog of Quasars and Active Galactic Nuclei (13th Ed.) and the SDSS-DR7 quasar catalog. From 2MASS, DENIS, and UKIDSS/LAS point source catalogs, we extract 2MASS-DENIS and 2MASS-UKIDSS counterparts for cataloged AGNs by catalog cross-identification. We further select variable AGNs based on an optimal criterion for selecting the variable sources. The sample objects are divided into subsets according to whether NIR light originates by optical or NIR emission in the rest frame; and we examine the correlations of the ensemble variability with the rest-frame wavelength, redshift, luminosity, and rest-frame time lag. In addition, we also examine the correlations of variability amplitude with optical variability, radio intensity, and radio-to-optical flux ratio. The rest-frame optical variability of our samples shows known negative correlations with luminosity and positive correlations with rest-frame time lag (i.e., the structure function, SF). However, no well-known negative correlation exists between the rest wavelength and optical variability. This inconsistency might be due to a biased sampling of high-redshift AGNs. NIR variability in the rest frame is anticorrelated with the rest wavelength, which is consistent with previous suggestions. However, correlations of NIR variability with luminosity and rest-frame time lag are the opposite of these correlations of the optical variability; that is, the NIR variability is positively correlated with luminosity but negatively correlated with the rest-frame time lag. Because these trends are qualitatively consistent with the properties of radio-loud quasars reported by some previous studies, most of our sample objects are probably radio-loud quasars. Finally, we also discuss the negative correlations seen in the NIR SFs.


title: Classical BV theories on manifolds with boundary

abstract: In this paper we extend the classical BV framework to gauge theories on spacetime manifolds with boundary. In particular, we connect the BV construction in the bulk with the BFV construction on the boundary and we develop its extension to strata of higher codimension in the case of manifolds with corners. We present several examples including electrodynamics, Yang-Mills theory and topological field theories coming from the AKSZ construction, in particular, the Chern-Simons theory, the $BF$ theory, and the Poisson sigma model. This paper is the first step towards developing the perturbative quantization of such theories on manifolds with boundary in a way consistent with gluing.


title: Global Steady Subsonic Flows through Infinitely Long Nozzles for the Full Euler Equations

abstract: We are concerned with global steady subsonic flows through general infinitely long nozzles for the full Euler equations. The problem is formulated as a boundary value problem in the unbounded domain for a nonlinear elliptic equation of second order in terms of the stream function. It is established that, when the oscillation of the entropy and Bernoulli functions at the upstream is sufficiently small in $C^{1,1}$ and the mass flux is in a suitable regime, there exists a unique global subsonic solution in a suitable class of general nozzles. The assumptions are required to prevent from the occurrence of supersonic bubbles inside the nozzles. The asymptotic behavior of subsonic flows at the downstream and upstream, as well as the critical mass flux, have been clarified.


title: T-Learning

abstract: Traditional Reinforcement Learning (RL) has focused on problems involving many states and few actions, such as simple grid worlds. Most real world problems, however, are of the opposite type, Involving Few relevant states and many actions. For example, to return home from a conference, humans identify only few subgoal states such as lobby, taxi, airport etc. Each valid behavior connecting two such states can be viewed as an action, and there are trillions of them. Assuming the subgoal identification problem is already solved, the quality of any RL method---in real-world settings---depends less on how well it scales with the number of states than on how well it scales with the number of actions. This is where our new method T-Learning excels, by evaluating the relatively few possible transits from one state to another in a policy-independent way, rather than a huge number of state-action pairs, or states in traditional policy-dependent ways. Illustrative experiments demonstrate that performance improvements of T-Learning over Q-learning can be arbitrarily large.


title: Applications of operator space theory to nest algebra bimodules

abstract: Recently Blecher and Kashyap have generalized the notion of W* modules over von Neumann algebras to the setting where the operator algebras are \sigma- weakly closed algebras of operators on a Hilbert space. They call these modules weak* rigged modules. We characterize the weak* rigged modules over nest algebras . We prove that Y is a right weak* rigged module over a nest algebra Alg(M) if and only if there exists a completely isometric normal representation \phi of Y and a nest algebra Alg(N) such that Alg(N)\phi(Y)Alg(M) \subset \phi(Y) while \phi(Y) is implemented by a continuous nest homomorphism from M onto N. We describe some properties which are preserved by continuous CSL homomorphisms.


title: Prandtl-Meyer Reflection for Supersonic Flow past a Solid Ramp

abstract: We present our recent results on the Prandtl-Meyer reflection for supersonic potential flow past a solid ramp. When a steady supersonic flow passes a solid ramp, there are two possible configurations: the weak shock solution and the strong shock solution. Elling-Liu's theorem (2008) indicates that the steady supersonic weak shock solution can be regarded as a long-time asymptotics of an unsteady flow for a class of physical parameters determined by certain assumptions for potential flow. In this paper we discuss our recent progress in removing these assumptions and establishing the stability theorem for steady supersonic weak shock solutions as the long-time asymptotics of unsteady flows for all the physical parameters for potential flow. We apply new mathematical techniques developed in our recent work to obtain monotonicity properties and uniform apriori estimates for weak solutions, which allow us to employ the Leray-Schauder degree argument to complete the theory for the general case.


title: Quotient Complexities of Atoms of Regular Languages

abstract: An atom of a regular language L with n (left) quotients is a non-empty intersection of uncomplemented or complemented quotients of L, where each of the n quotients appears in a term of the intersection. The quotient complexity of L, which is the same as the state complexity of L, is the number of quotients of L. We prove that, for any language L with quotient complexity n, the quotient complexity of any atom of L with r complemented quotients has an upper bound of 2^n-1 if r=0 or r=n, and 1+\sum_{k=1}^{r} \sum_{h=k+1}^{k+n-r} C_{h}^{n} \cdot C_{k}^{h} otherwise, where C_j^i is the binomial coefficient. For each n\ge 1, we exhibit a language whose atoms meet these bounds.


title: Epidemics on contact networks: a general stochastic approach

abstract: Dynamics on networks is considered from the perspective of Markov stochastic processes. We partially describe the state of the system through network motifs and infer any missing data using the available information. This versatile approach is especially well adapted for modelling spreading processes and/or population dynamics. In particular, the generality of our systematic framework and the fact that its assumptions are explicitly stated suggests that it could be used as a common ground for comparing existing epidemics models too complex for direct comparison, such as agent-based computer simulations. We provide many examples for the special cases of susceptible-infectious-susceptible (SIS) and susceptible-infectious-removed (SIR) dynamics (e.g., epidemics propagation) and we observe multiple situations where accurate results may be obtained at low computational cost. Our perspective reveals a subtle balance between the complex requirements of a realistic model and its basic assumptions.


title: Convolution and involution on function spaces of homogeneous spaces

abstract: Let $G$ be a locally compact group and also let $H$ be a compact subgroup of $G$. It is shown that, if $\mu$ is a relatively invariant measure on $G/H$ then there is a well-defined convolution on $L^1(G/H,\mu)$ such that the Banach space $L^1(G/H,\mu)$ becomes a Banach algebra. We also find a generalized definition of this convolution for other $L^p$-spaces. Finally, we show that various types of involutions can be considered on $G/H$.


title: Classical Rotons in Cold Atomic Traps

abstract: We predict the emergence of a roton minimum in the dispersion relation of elementary excitations in cold atomic gases in the presence of diffusive light. In large magneto-topical traps, multiple-scattering of light is responsible for the collective behavior of the system, which is associated to an effective Coulomb-like interaction between the atoms. In optically thick clouds, the re-scattered light undergoes diffusive propagation, which is responsible for a stochastic short-range force acting on the atoms. We show that the dynamical competition between these two forces results on a new polariton mode, which exhibits a roton minimum. Making use of Feynman's formula for the static structure factor, we show that the roton minimum is related to the appearance of long-range order in the system.


title: Short character sums for composite moduli

abstract: We establish new estimates on short character sums for arbitrary composite moduli with small prime factors. Our main result improves on the Graham-Ringrose bound for square free moduli and also on the result due to Gallagher and Iwaniec when the core $q'=\prod_{p|q}p$ of the modulus $q$ satisfies $\log q'\sim \log q$. Some applications to zero free regions of Dirichlet L-functions and the $\rm{P\acute{o}lya}$ and Vinogradov inequalities are indicated.


title: Non-Paraxial Accelerating Beams

abstract: We present the spatially accelerating solutions of the Maxwell equations. Such non-paraxial beams accelerate in a circular trajectory, thus generalizing the concept of Airy beams. For both TE and TM polarizations, the beams exhibit shape-preserving bending with sub-wavelength features, and the Poynting vector of the main lobe displays a turn of more than 90 degrees. We show that these accelerating beams are self-healing, analyze their properties, and compare to the paraxial Airy beams. Finally, we present the new family of periodic accelerating beams which can be constructed from our solutions.

categories: physics.optics cond-mat.mes-hall math-ph math.MP physics.class-ph


title: Design and Analysis of Coalitions in Data Swarming Systems

abstract: We design and analyze a mechanism for forming coalitions of peers in a data swarming system where peers have heterogeneous upload capacities. A coalition is a set of peers that explicitly cooperate with other peers inside the coalition via choking, data replication, and capacity allocation strategies. Further, each peer interacts with other peers outside its coalition via potentially distinct choking, data replication, and capacity allocation strategies. Following on our preliminary work in IEEE ICNP 2011 that demonstrated significant performance benefits of coalitions, we present here a comprehensive analysis of the choking and data replication strategies for coalitions. We first develop an analytical model to understand a simple random choking strategy as a within-coalition strategy and show that it accurately predicts a coalition's performance. Our analysis formally shows that the random choking strategy can help a coalition achieve near-optimal performance by optimally choosing the re-choking interval lengths and the number unchoke slots. Further, our analytical model can be easily adapted to model a BitTorrent-like swarm. We also introduce a simple data replication strategy which significantly improves data availability within a coalition as compared to the rarest-first piece replication strategy employed in BitTorrent systems. We further propose a cooperation-aware better response strategy that achieves convergence of the dynamic coalition formation process when peers freely join or leave any coalition. Finally, using extensive simulations, we demonstrate improvements in the performance of a swarming system due to coalition formation.


title: Applying Classical Geometry Intuition to Quantum Spin

abstract: Using concepts of geometric orthogonality and linear independence, we logically deduce the form of the Pauli spin matrices and the relationships between the three spatially orthogonal basis sets of the spin-1/2 system. Rather than a mathematically rigorous derivation, the relationships are found by forcing expectation values of the different basis states to have the properties we expect of a classical, geometric coordinate system. The process highlights the correspondence of quantum angular momentum with classical notions of geometric orthogonality, even for the inherently non-classical spin-1/2 system. In the process, differences in and connections between geometrical space and Hilbert space are illustrated.


title: The canonical basis and the quantum Frobenius morphism

abstract: The first goal of this paper is to study the amount of compatibility between two important constructions in the theory of quantized enveloping algebras, namely the canonical basis and the quantum Frobenius morphism. The second goal is to study orders with which the Kashiwara crystal B(infinity) of a symmetrizable Kac-Moody algebra can be endowed; these orders are defined so that the transition matrices between bases naturally indexed by B(infinity) are lower triangular.


title: Bounds on Shannon Capacity and Ramsey Numbers from Product of Graphs

abstract: In this note we study Shannon capacity of channels in the context of classical Ramsey numbers. We overview some of the results on capacity of noisy channels modelled by graphs, and how some constructions may contribute to our knowledge of this capacity. We present an improvement to the constructions by Abbott and Song and thus establish new lower bounds for a special type of multicolor Ramsey numbers. We prove that our construction implies that the supremum of the Shannon capacity over all graphs with independence number 2 cannot be achieved by any finite graph power. This can be generalized to graphs with any bounded independence number.


title: On Polygons Admitting a Simson Line as Discrete Analogs of Parabolas

abstract: We begin by proving a few general facts about Simson polygons, defined as polygons which admit a pedal line. We use an inductive argument to show that no convex $n$-gon, $n\geq5$, admits a Simson Line. We then determine a property which characterizes Simson $n$-gons and show that one can be constructed for every $n\geq3$. We proceed to show that a parabola can be viewed as a limit of special Simson polygons, called equidistant Simson polygons, and that these polygons provide the best piecewise linear continuous approximation to the parabola. Finally, we show that equidistant Simson polygons can be viewed as discrete analogs of parabolas and that they satisfy a number of results analogous to the pedal property, optical property, properties of Archimedes triangles and Lambert's Theorem of parabolas. The corresponding results for parabolas are easily obtained by applying a limit process to the equidistant Simson polygons.


title: Alternating Linearization for Structured Regularization Problems

abstract: We adapt the alternating linearization method for proximal decomposition to structured regularization problems, in particular, to the generalized lasso problems. The method is related to two well-known operator splitting methods, the Douglas--Rachford and the Peaceman--Rachford method, but it has descent properties with respect to the objective function. This is achieved by employing a special update test, which decides whether it is beneficial to make a Peaceman--Rachford step, any of the two possible Douglas--Rachford steps, or none. The convergence mechanism of the method is related to that of bundle methods of nonsmooth optimization. We also discuss implementation for very large problems, with the use of specialized algorithms and sparse data structures. Finally, we present numerical results for several synthetic and real-world examples, including a three-dimensional fused lasso problem, which illustrate the scalability, efficacy, and accuracy of the method.


title: SUSY Equation Topology, Zonohedra, and the Search for Alternate Off-Shell Adinkras

abstract: Results are given from a search to form adinkra-like equations based on topologies that are not hypercubes. An alternate class of zonohedra topologies are used to construct adinkra-like graphs. In particular, the rhombic dodecahedron and rhombic icosahedron are studied in detail. Using these topological skeletons, equations similar to those of a supersymmetric system are found. But these fail to have the interpretation of an off-shell supersymmetric system of equations.


title: On the combinatorics of sparsification

abstract: Background: We study the sparsification of dynamic programming folding algorithms of RNA structures. Sparsification applies to the mfe-folding of RNA structures and can lead to a significant reduction of time complexity. Results: We analyze the sparsification of a particular decomposition rule, $\Lambda^*$, that splits an interval for RNA secondary and pseudoknot structures of fixed topological genus. Essential for quantifying the sparsification is the size of its so called candidate set. We present a combinatorial framework which allows by means of probabilities of irreducible substructures to obtain the expected size of the set of $\Lambda^*$-candidates. We compute these expectations for arc-based energy models via energy-filtered generating functions (GF) for RNA secondary structures as well as RNA pseudoknot structures. For RNA secondary structures we also consider a simplified loop-energy model. This combinatorial analysis is then compared to the expected number of $\Lambda^*$-candidates obtained from folding mfe-structures. In case of the mfe-folding of RNA secondary structures with a simplified loop energy model our results imply that sparsification provides a reduction of time complexity by a constant factor of 91% (theory) versus a 96% reduction (experiment). For the "full" loop-energy model there is a reduction of 98% (experiment).


title: X(3872) as a D-D* molecule bound by quark exchange forces

abstract: The Bethe-Salpeter equation for the T-Matrix of D-D* scattering is solved with a meson-meson potential that results from 2nd order Born approximation of quark exchange processes. This potential turns out to be complex and energy dependent due to the pole contribution from the coupling to the intermediate J/psi-rho meson pair propagator. As a consequence, a bound state with a mass close to 3.872 GeV occurs in the J/psi-rho continuum. This result suggests that quark exchange forces may provide the solution to the puzzling question for the origin of the interaction which leads to a binding of D and D* mesons in the X(3872) state.


title: Positive definite completion problems for directed acyclic graphs

abstract: A positive definite completion problem pertains to determining whether the unspecified positions of a partial (or incomplete) matrix can be completed in a desired subclass of positive definite matrices. In this paper we study an important and new class of positive definite completion problems where the desired subclasses are the spaces of covariance and inverse-covariance matrices of probabilistic models corresponding to directed acyclic graph models (also known as Bayesian networks). We provide fast procedures that determine whether a partial matrix can be completed in either of these spaces and thereafter proceed to construct the completed matrices. We prove an analog of the positive definite completion result for undirected graphs in the context of directed acyclic graphs, and thus proceed to characterize the class of DAGs which can always be completed. We also proceed to give closed form expressions for the inverse and the determinant of a completed matrix as a function of only the elements of the corresponding partial matrix.


title: On the Law of Free Subordinators

abstract: We study the freely infinitely divisible distributions that appear as the laws of free subordinators. This is the free analog of classically infinitely divisible distributions supported on [0,\infty), called the free regular measures. We prove that the class of free regular measures is closed under the free multiplicative convolution, t-th boolean power for $0\leq t\leq 1$, t-th free multiplicative power for $t\geq 1$ and weak convergence. In addition, we show that a symmetric distribution is freely infinitely divisible if and only if its square can be represented as the free multiplicative convolution of a free Poisson and a free regular measure. This gives two new explicit examples of distributions which are infinitely divisible with respect to both classical and free convolutions: \chi^2(1) and F(1,1). Another consequence is that the free commutator operation preserves free infinite divisibility.


title: On the evolution of a Hermitian metric by its Chern-Ricci form

abstract: We consider the evolution of a Hermitian metric on a compact complex manifold by its Chern-Ricci form. This is an evolution equation first studied by M. Gill, and coincides with the Kahler-Ricci flow if the initial metric is Kahler. We find the maximal existence time for the flow in terms of the initial data. We investigate the behavior of the flow on complex surfaces when the initial metric is Gauduchon, on complex manifolds with negative first Chern class, and on some Hopf manifolds. Finally, we discuss a new estimate for the complex Monge-Ampere equation on Hermitian manifolds.


title: Reduced magnetohydrodynamic theory of oblique plasmoid instabilities

abstract: The three-dimensional nature of plasmoid instabilities is studied using the reduced magnetohydrodynamic equations. For a Harris equilibrium with guide field, represented by $\vc{B}_o = B_{po} \tanh (x/\lambda) \hat{y} + B_{zo} \hat{z}$, a spectrum of modes are unstable at multiple resonant surfaces in the current sheet, rather than just the null surface of the polodial field $B_{yo} (x) = B_{po} \tanh (x/\lambda)$, which is the only resonant surface in 2D or in the absence of a guide field. Here $B_{po}$ is the asymptotic value of the equilibrium poloidal field, $B_{zo}$ is the constant equilibrium guide field, and $\lambda$ is the current sheet width. Plasmoids on each resonant surface have a unique angle of obliquity $\theta \equiv \arctan(k_z/k_y)$. The resonant surface location for angle $\theta$ is $x_s = - \lambda \arctanh (\tan \theta B_{zo}/B_{po})$, and the existence of a resonant surface requires $|\theta| < \arctan (B_{po} / B_{zo})$. The most unstable angle is oblique, i.e. $\theta \neq 0$ and $x_s \neq 0$, in the constant-$\psi$ regime, but parallel, i.e. $\theta = 0$ and $x_s = 0$, in the nonconstant-$\psi$ regime. For a fixed angle of obliquity, the most unstable wavenumber lies at the intersection of the constant-$\psi$ and nonconstant-$\psi$ regimes. The growth rate of this mode is $\gamma_{\textrm{max}}/\Gamma_o \simeq S_L^{1/4} (1-\mu^4)^{1/2}$, in which $\Gamma_o = V_A/L$, $V_A$ is the Alfv\'{e}n speed, $L$ is the current sheet length, and $S_L$ is the Lundquist number. The number of plasmoids scales as $N \sim S_L^{3/8} (1-\mu^2)^{-1/4} (1 + \mu^2)^{3/4}$.


title: Spherical mean transform from the pde point of view

abstract: We study the spherical mean transform on $\rN^n$. The transform is characterized by the Euler-Poisson-Darboux equation. By looking at the spherical harmonic expansions, we obtain a system of 1+1-dimension hyperbolic equations, which provide a good machinery to attack problems of spherical mean transform. As showcases, we discuss two known problems. The first one is a local uniqueness problem investigated by M. Agranovsky and P. Kuchment, [{\em Memoirs on Differential Equations and Mathematical Physics}, 52:1--16, 2011]. We present a simple proof which works even under a weaker condition. The second problem is to characterize the kernel of spherical mean transform on annular regions, which was studied by C. Epstein and B. Kleiner [{\em Comm. Pure Appl. Math.}, 46(3):441--451, 1993]. We present a short proof that simultaneously obtains the necessity and sufficiency for the characterization. As a consequence, we derive a reconstruction procedure for the transform with additional interior (or exterior) information. We also discuss how the approach works for the hyperbolic and spherical spaces.


title: Z' near the Z-pole

abstract: We present a fit to precision electroweak data in the standard model extended by an additional vector boson, Z', with suppressed couplings to the electron compared to the Z boson, with couplings to the b-quark, and with mass close to the mass of the Z boson. This scenario provides an excellent fit to forward-backward asymmetry of the b-quark measured on the Z-pole and \pm 2 GeV off the Z-pole, and to lepton asymmetry, A_e, obtained from the measurement of left-right asymmetry for hadronic final states, and thus it removes the tension in the determination of the weak mixing angle from these two measurements. It also leads to a significant improvement in the total hadronic cross section on the Z-pole and R_b measured at energies above the Z-pole. We explore in detail properties of the Z' needed to explain the data and present a model for Z' with required couplings. The model preserves standard model Yukawa couplings, it is anomaly free and can be embedded into grand unified theories. It allows a choice of parameters that does not generate any flavor violating couplings of the Z' to standard model fermions. Out of standard model couplings, it only negligibly modifies the left-handed bottom quark coupling to the Z boson and the 3rd column of the CKM matrix. Modifications of standard model couplings in the charged lepton sector are also negligible. It predicts an additional down type quark, D, with mass in a few hundred GeV range, and an extra lepton doublet, L, possibly much heavier than the D quark. We discuss signatures of the Z' at the Large Hadron Collider and calculate the Z'b production cross section which is the dominant production mechanism for the Z'.


title: Thermal fluctuations in Einstein-Cartan-Sciama-Kibble-Dirac bouncing cosmology

abstract: We study cosmological perturbations arising from thermal fluctuations in the big-bounce cosmology in the Einstein-Cartan-Sciama-Kibble theory of gravity. We show that such perturbations cannot have a scale-invariant spectrum if fermionic matter minimally coupled to the torsion tensor is macroscopically averaged as a spin fluid, but have a scale-invariant spectrum if the Dirac form of the spin tensor of the fermionic matter is used.


title: Adjusted Plus-Minus for NHL Players using Ridge Regression with Goals, Shots, Fenwick, and Corsi

abstract: Regression-based adjusted plus-minus statistics were developed in basketball and have recently come to hockey. The purpose of these statistics is to provide an estimate of each player's contribution to his team, independent of the strength of his teammates, the strength of his opponents, and other variables that are out of his control. One of the main downsides of the ordinary least squares regression models is that the estimates have large error bounds. Since certain pairs of teammates play together frequently, collinearity is present in the data and is one reason for the large errors. In hockey, the relative lack of scoring compared to basketball is another reason. To deal with these issues, we use ridge regression, a method that is commonly used in lieu of ordinary least squares regression when collinearity is present in the data. We also create models that use not only goals, but also shots, Fenwick rating (shots plus missed shots), and Corsi rating (shots, missed shots, and blocked shots). One benefit of using these statistics is that there are roughly ten times as many shots as goals, so there is much more data when using these statistics and the resulting estimates have smaller error bounds. The results of our ridge regression models are estimates of the offensive and defensive contributions of forwards and defensemen during even strength, power play, and short handed situations, in terms of goals per 60 minutes. The estimates are independent of strength of teammates, strength of opponents, and the zone in which a player's shift begins.


title: Large deviations and slowdown asymptotics for one-dimensional excited random walks

abstract: We study the large deviations of one-dimensional excited random walks. We prove a large deviation principle for both the hitting times and the position of the random walk and give a qualitative description of the respective rate functions. When the excited random walk is transient with positive speed $v_0$, then the large deviation rate function for the position of the excited random walk is zero on the interval $[0,v_0]$ and so probabilities such as $P(X_n < nv)$ for $v \in (0,v_0)$ decay subexponentially. We show that rate of decay for such slowdown probabilities is polynomial of the order $n^{1-\delta/2}$, where $\delta>2$ is the expected total drift per site of the cookie environment.


title: Theory of dissipative chaotic atomic transport in an optical lattice

abstract: We study dissipative transport of spontaneously emitting atoms in a 1D standing-wave laser field in the regimes where the underlying deterministic Hamiltonian dynamics is regular and chaotic. A Monte Carlo stochastic wavefunction method is applied to simulate semiclassically the atomic dynamics with coupled internal and translational degrees of freedom. It is shown in numerical experiments and confirmed analytically that chaotic atomic transport can take the form either of ballistic motion or a random walking with specific statistical properties. The character of spatial and momentum diffusion in the ballistic atomic transport is shown to change abruptly in the atom-laser detuning regime where the Hamiltonian dynamics is irregular in the sense of dynamical chaos. We find a clear correlation between the behavior of the momentum diffusion coefficient and Hamiltonian chaos probability which is a manifestation of chaoticity of the fundamental atom-light interaction in the diffusive-like dissipative atomic transport. We propose to measure a linear extent of atomic clouds in a 1D optical lattice and predict that, beginning with those values of the mean cloud's momentum for which the probability of Hamiltonian chaos is close to 1, the linear extent of the corresponding clouds should increase sharply. A sensitive dependence of statistical characteristics of dissipative transport on the values of the detuning allows to manipulate the atomic transport by changing the laser frequency.


title: Optimal Distributed Resource Allocation for Decode-and-Forward Relay Networks

abstract: This paper presents a distributed resource allocation algorithm to jointly optimize the power allocation, channel allocation and relay selection for decode-and-forward (DF) relay networks with a large number of sources, relays, and destinations. The well-known dual decomposition technique cannot directly be applied to resolve this problem, because the achievable data rate of DF relaying is not strictly concave, and thus the local resource allocation subproblem may have non-unique solutions. We resolve this non-strict concavity problem by using the idea of the proximal point method, which adds quadratic terms to make the objective function strictly concave. However, the proximal solution adds an extra layer of iterations over typical duality based approaches, which can significantly slow down the speed of convergence. To address this key weakness, we devise a fast algorithm without the need for this additional layer of iterations, which converges to the optimal solution. Our algorithm only needs local information exchange, and can easily adapt to variations of network size and topology. We prove that our distributed resource allocation algorithm converges to the optimal solution. A channel resource adjustment method is further developed to provide more channel resources to the bottleneck links and realize traffic load balance. Numerical results are provided to illustrate the benefits of our algorithm.


title: Maximally informative "stimulus energies" in the analysis of neural responses to natural signals

abstract: The concept of feature selectivity in sensory signal processing can be formalized as dimensionality reduction: in a stimulus space of very high dimensions, neurons respond only to variations within some smaller, relevant subspace. But if neural responses exhibit invariances, then the relevant subspace typically cannot be reached by a Euclidean projection of the original stimulus. We argue that, in several cases, we can make progress by appealing to the simplest nonlinear construction, identifying the relevant variables as quadratic forms, or "stimulus energies." Natural examples include non-phase-locked cells in the auditory system, complex cells in visual cortex, and motion-sensitive neurons in the visual system. Generalizing the idea of maximally informative dimensions, we show that one can search for the kernels of the relevant quadratic forms by maximizing the mutual information between the stimulus energy and the arrival times of action potentials. Simple implementations of this idea successfully recover the underlying properties of model neurons even when the number of parameters in the kernel is comparable to the number of action potentials and stimuli are completely natural. We explore several generalizations that allow us to incorporate plausible structure into the kernel and thereby restrict the number of parameters. We hope that this approach will add significantly to the set of tools available for the analysis of neural responses to complex, naturalistic stimuli.


title: High Energy Scattering in the Quasi-Potential Approach

abstract: Asymptotic behavior of the scattering amplitude for two scalar particles by scalar, vector and tensor exchanges at high energy and fixed momentum transfers is reconsidered in quantum field theory. In the framework of the quasi-potential approach and the modified perturbation theory a systematic scheme of finding the leading eikonal scattering amplitudes and its corrections are developed and constructed.The connection between the solutions obtained by quasi-potential and functional approaches is also discussed.The first correction to leading eikonal amplitude is found. Keywords: Eikonal scattering theory, Quantum gravity.


title: Geometric optics with atomic beams scattered by a detuned standing laser wave

abstract: We report on theoretical and numerical study of propagation of atomic beams crossing a detuned standing-wave laser beam in the geometric optics limit. The interplay between external and internal atomic degrees of freedom is used to manipulate the atomic motion along the optical axis by light. By adjusting the atom-laser detuning, we demonstrate how to focus, split and scatter atomic beams in a real experiment. The novel effect of chaotic scattering of atoms at a regular near-resonant standing wave is found numerically and explained qualitatively. Some applications of the effects found are discussed.


title: Group-theoretical approach to study atomic motion in a laser field

abstract: Group-theoretical approach is applied to study behavior of lossless two-level atoms in a standing-wave laser field. Due to the recoil effect, the internal and external atomic degrees of freedom become coupled. The internal dynamics is described quantum mechanically in terms of the SU(2) group parameters. The evolution operator is found in an explicit way after solving a single ODE for one of the group parameters. The translational motion in a standing wave is governed by the classical Hamilton equations which are coupled to the SU(2) group equations. It is shown that the full set of equations may be chaotic in some ranges of the control parameters and initial conditions. It means physically that there are regimes of motion with chaotic center-of-mass motion and irregular internal dynamics. It is established that the chaotic regime is specified by the character of oscillations of the group parameter characterizing the mean interaction energy between the atom and the laser field. It is shown that the effect of chaotic walking can be observed in a real experiment with cold atoms crossing a standing-wave laser field.

categories: quant-ph math-ph math.MP nlin.CD physics.atom-ph


title: Quasi-representations of Finsler modules over C*-algebras

abstract: We show that every Finsler module over a $C^*$-algebra has a quasi-representation into the Banach space $\mathbb{B}(\mathscr{H},\mathscr{K})$ of all bounded linear operators between some Hilbert spaces $\mathscr{H}$ and $\mathscr{K}$. We define the notion of completely positive $\varphi$-morphism and establish a Stinespring type theorem in the framework of Finsler modules over $C^*$-algebras. We also investigate the nondegeneracy and the irreducibility of quasi-representations.


title: Matter-wave chaos with a cold atom in a standing-wave laser field

abstract: Coherent motion of cold atoms in a standing-wave field is interpreted as a propagation in two optical potentials. It is shown that the wave-packet dynamics can be either regular or chaotic with transitions between these potentials after passing field nodes. Manifestations of de Broglie-wave chaos are found in the behavior of the momentum and position probabilities and the Wigner function. The probability of those transitions depends on the ratio of the squared detuning to the Doppler shift and is large in that range of the parameters where the classical motion is shown to be chaotic.