title: Causality Violation, Gravitational Shockwaves and UV Completion

abstract: The effective actions describing the low-energy dynamics of QFTs involving gravity generically exhibit causality violations. These may take the form of superluminal propagation or Shapiro time advances and allow the construction of "time machines", i.e. spacetimes admitting closed non-spacelike curves. Here, we discuss critically whether such causality violations may be used as a criterion to identify unphysical effective actions or whether, and how, causality problems may be resolved by embedding the action in a fundamental, UV complete QFT. We study in detail the case of photon scattering in an Aichelburg-Sexl gravitational shockwave background and calculate the phase shifts in QED for all energies, demonstrating their smooth interpolation from the causality-violating effective action values at low-energy to their manifestly causal high-energy limits. At low energies, these phase shifts may be interpreted as backwards-in-time coordinate jumps as the photon encounters the shock wavefront, and we illustrate how the resulting causality problems emerge and are resolved in a two-shockwave time machine scenario. The implications of our results for ultra-high (Planck) energy scattering, in which graviton exchange is modelled by the shockwave background, are highlighted.


title: Holographic entanglement entropy of surface defects

abstract: We calculate the holographic entanglement entropy in type IIB supergravity solutions that are dual to half-BPS disorder-type surface defects in ${\cal N}=4$ Super Yang-Mills theory. The entanglement entropy is calculated for a ball-shaped region bisected by a surface defect. Using the bubbling supergravity solutions we also compute the expectation value of the defect operator. Combining our result with the previously-calculated one-point function of the stress tensor in the presence of the defect, we adapt the calculation of Lewkowycz and Maldacena to obtain a second expression for the entanglement entropy. Our two expressions agree up to an additional term, whose possible origin and significance is discussed


title: Towards the Amplituhedron Volume

abstract: It has been recently conjectured that scattering amplitudes in planar N=4 super Yang-Mills are given by the volume of the (dual) amplituhedron. In this paper we show some interesting connections between the tree-level amplituhedron and a special class of differential equations. In particular we demonstrate how the amplituhedron volume for NMHV amplitudes is determined by these differential equations. The new formulation allows for a straightforward geometric description, without any reference to triangulations. Finally we discuss possible implications for volumes related to generic N^kMHV amplitudes.


title: Can we measure individual black-hole spins from gravitational-wave observations?

abstract: Measurements of black-hole spins from gravitational-wave observations of black-hole binaries with ground-based detectors are expected to be hampered by partial degeneracies in the gravitational-wave phasing: between the two component spins, and between the spins and the binary's mass ratio, at least for signals that are dominated by the binary's inspiral. Through the merger and ringdown, however, a different set of degeneracies apply. This suggests the possibility that, if the inspiral, merger and ringdown are all within the sensitive frequency band of a detector, we may be able to break these degeneracies and more accurately measure both spins. In this work we investigate our ability to measure individual spins for non-precessing binaries, for a range of configurations and signal strengths, and conclude that in general the spin of the larger black hole will be measurable (at best) with observations from Advanced LIGO and Virgo. This implies that in many applications waveform models parameterized by only one \emph{effective spin} will be sufficient. Our work does not consider precessing binaries or sub-dominant harmonics, although we provide some arguments why we expect that these will not qualitatively change our conclusions.


title: The candidate cluster and protocluster catalog (CCPC) of spectroscopically identified structures spanning $2.74 < z < 3.71$

abstract: We have developed a search methodology to identify galaxy protoclusters at $z>2.74$, and implemented it on a sample of $\sim$14,000 galaxies with previously measured redshifts. The results of this search are recorded in the Candidate Cluster and Protocluster Catalog (CCPC). The catalog contains 12 clusters that are highly significant overdensities ($\delta_{gal}>7$), 6 of which are previously known. We also identify another 31 candidate protoclusters (including 4 previously identified structures) of lower overdensity. CCPC systems vary over a wide range of physical sizes and shapes, from small, compact groups to large, extended, and filamentary collections of galaxies. This variety persists over the range from $z=3.71$ to $z=2.74$. These structures exist as galaxy overdensities ($\delta_{gal}$) with a mean value of 2, similar to the values found for other protoclusters in the literature. The median number of galaxies for CCPC systems is 11. Virial mass estimates are large for these redshifts, with thirteen cases apparently having $M > 10^{15}\, M_{\odot}$. If these systems are virialized, such masses would pose a challenge to $\Lambda$CDM.


title: On the Metallicity and Origin of the Smith High-Velocity Cloud

abstract: The Smith Cloud is a gaseous high-velocity cloud (HVC) in an advanced state of accretion, only 2.9 kpc below the Galactic plane and due to impact the disk in 27 Myr. It is unique among HVCs in having a known distance (12.4+/-1.3 kpc) and a well-constrained 3D velocity (296 km/s), but its origin has long remained a mystery. Here we present the first absorption-line measurements of its metallicity, using HST/COS UV spectra of three AGN lying behind the Cloud together with Green Bank Telescope 21 cm spectra of the same directions. Using Voigt-profile fitting of the S II 1250, 1253, 1259 triplet together with ionization corrections derived from photoionization modeling, we derive the sulfur abundance in each direction; a weighted average of the three measurements gives [S/H]=-0.28+/-0.14, or 0.53+0.21-0.15 solar metallicity. The finding that the Smith Cloud is metal-enriched lends support to scenarios where it represents recycled Galactic material rather than the remnant of a dwarf galaxy or accreting intergalactic gas. The metallicity and trajectory of the Cloud are both indicative of an origin in the outer disk. However, its large mass and prograde kinematics remain to be fully explained. If the cloud has accreted cooling gas from the corona during its fountain trajectory, as predicted in recent theoretical work, its current mass would be higher than its launch mass, alleviating the mass concern.


title: Context Driven Label Fusion for segmentation of Subcutaneous and Visceral Fat in CT Volumes

abstract: Quantification of adipose tissue (fat) from computed tomography (CT) scans is conducted mostly through manual or semi-automated image segmentation algorithms with limited efficacy. In this work, we propose a completely unsupervised and automatic method to identify adipose tissue, and then separate Subcutaneous Adipose Tissue (SAT) from Visceral Adipose Tissue (VAT) at the abdominal region. We offer a three-phase pipeline consisting of (1) Initial boundary estimation using gradient points, (2) boundary refinement using Geometric Median Absolute Deviation and Appearance based Local Outlier Scores (3) Context driven label fusion using Conditional Random Fields (CRF) to obtain the final boundary between SAT and VAT. We evaluate the proposed method on 151 abdominal CT scans and obtain state-of-the-art 94% and 91% dice similarity scores for SAT and VAT segmentation, as well as significant reduction in fat quantification error measure.


title: Ultra-high-energy-cosmic-ray hot spots from tidal disruption events

abstract: We consider the possibility that tidal disruption events (TDEs) caused by supermassive black holes (SMBHs) in nearby galaxies can account for the ultra-high-energy cosmic-ray (UHECR) hotspot reported recently by the Telescope Array (TA) and the warm spot by Pierre Auger Observatory (PAO). We describe the expected cosmic-ray signal from a TDE and derive the constraints set by the timescale for dispersion due to intergalactic magnetic fields and the accretion time of the SMBH. We find that TDEs in M82 can explain the hotspot detected by the TA regardless of whether the UHECRs are composed of protons or heavier nuclei. We then check for consistency of the hot and warm spots from M82 and Cen A with the full-sky isotropic signal from all SMBHs within the GZK radius. This analysis applies to any scenario in which the hot/warm spots are real and due to M82 and Cen A, regardless of whether TDEs are the source of UHECRs. We find that the isotropic flux implied by the luminosity density inferred from M82 and Cen A is bigger than that observed by roughly an order of magnitude, but we provide several possible explanations, including the possibility of a local overdensity and the possibility of intermediate-mass nuclei in UHECRs, to resolve the tension.


title: A Light Touch for Heavily Constrained SGD

abstract: Minimizing empirical risk subject to a set of constraints can be a useful strategy for learning restricted classes of functions, such as monotonic functions, submodular functions, classifiers that guarantee a certain class label for some subset of examples, etc. However, these restrictions may result in a very large number of constraints. Projected stochastic gradient descent (SGD) is often the default choice for large-scale optimization in machine learning, but requires a projection after each update. For heavily-constrained objectives, we propose an efficient extension of SGD that stays close to the feasible region while only applying constraints probabilistically at each iteration. Theoretical analysis shows a compelling trade-off between per-iteration work and the number of iterations needed on problems with a large number of constraints.


title: Rigid Supersymmetric Backgrounds of 3-dimensional Newton-Cartan Supergravity

abstract: Recently, a non-relativistic off-shell formulation of three dimensional Newton-Cartan supergravity was proposed as the $c \rightarrow \infty$ limit of three dimensional $\mathcal{N}=2$ supergravity in arXiv:1505.02095. In the present paper we study supersymmetric backgrounds within this theory. Using integrability constraints for the non-relativistic Killing spinor equations, we explicitly construct all maximally supersymmetric solutions, which admit four supercharges. In addition to these solutions, there are $\frac{1}{2}$-BPS solutions with reduced supersymmetry. We give explicit examples of such backgrounds and derive necessary conditions for backgrounds preserving two supercharges. Finally, we address how supersymmetric backgrounds of $\mathcal{N}=2$ supergravity are connected to the solutions found here in the $c \rightarrow \infty$ limit.


title: Uncertainty Quantification for Cargo Hold Fires

abstract: The purpose of this study is twofold -- first, to introduce the application of high-order discontinuous Galerkin methods to buoyancy-driven cargo hold fire simulations, second, to explore statistical variation in the fluid dynamics of a cargo hold fire given parameterized uncertainty in the fire source location and temperature. Cargo hold fires represent a class of problems that require highly-accurate computational methods to simulate faithfully. Hence, we use an in-house discontinuous Galerkin code to treat these flows. Cargo hold fires also exhibit a large amount of uncertainty with respect to the boundary conditions. Thus, the second aim of this paper is to quantify the resulting uncertainty in the flow, using tools from the uncertainty quantification community to ensure that our efforts require a minimal number of simulations. We expect that the results of this study will provide statistical insight into the effects of fire location and temperature on cargo fires, and also assist in the optimization of fire detection system placement.


title: Six-point remainder function in multi-Regge-kinematics: an efficient approach in momentum space

abstract: Starting from the known all-order expressions for the BFKL eigenvalue and impact factor, we establish a formalism allowing the direct calculation of the six-point remainder function in N=4 super-Yang-Mills theory in momentum space to - in principle - all orders in perturbation theory. Based upon identities which relate different integrals contributing to the inverse Fourier-Mellin transform recursively, the formalism allows to easily access the full remainder function in multi-Regge kinematics up to 7 loops and up to 10 loops in the fourth logarithmic order. Using the formalism, we prove the all-loop formula for the leading logarithmic approximation proposed by Pennington and investigate the behavior of several newly calculated functions.


title: Horn Linear Logic and Minsky Machines

abstract: Here we give a detailed proof for the crucial point in our Minsky machine simulation - that any linear logic derivation for a specific Horn sequent can be transformed into a Minsky computation leading from an initial configuration to the halting configuration. Among other things, the presentation advantage of the 3-step program is that the non-trivial tricky points are distributed between the independent parts each of which we justify following its own intrinsic methodology (to say nothing of the induction used in the opposite directions): (1) From LL to HLL - we use purely proof-theoretic arguments. (2) From HLL to Horn programs - we translate trees (HLL derivations) into another trees (Horn programs)of the same shape, almost. (3) From Horn programs to Minsky computations - we use purely computational arguments.


title: Applying Grover's algorithm to AES: quantum resource estimates

abstract: We present quantum circuits to implement an exhaustive key search for the Advanced Encryption Standard (AES) and analyze the quantum resources required to carry out such an attack. We consider the overall circuit size, the number of qubits, and the circuit depth as measures for the cost of the presented quantum algorithms. Throughout, we focus on Clifford$+T$ gates as the underlying fault-tolerant logical quantum gate set. In particular, for all three variants of AES (key size 128, 192, and 256 bit) that are standardized in FIPS-PUB 197, we establish precise bounds for the number of qubits and the number of elementary logical quantum gates that are needed to implement Grover's quantum algorithm to extract the key from a small number of AES plaintext-ciphertext pairs.


title: The Gamma-Ray Luminosity Function of Millisecond Pulsars and Implications for the GeV Excess

abstract: It has been proposed that a large population of unresolved millisecond pulsars (MSPs) could potentially account for the excess of GeV-scale gamma-rays observed from the region surrounding the Galactic Center. The viability of this scenario depends critically on the gamma-ray luminosity function of this source population, which determines how many MSPs Fermi should have already detected as resolved point sources. In this paper, we revisit the gamma-ray luminosity function of MSPs, without relying on uncertain distance measurements. Our determination, based on a comparison of models with the observed characteristics of the MSP population, suggests that Fermi should have already detected a significant number of sources associated with such a hypothesized Inner Galaxy population. We cannot rule out a scenario in which the MSPs residing near the Galactic Center are systematically less luminous than those present in the Galactic Plane or within globular clusters.

categories: astro-ph.HE astro-ph.CO astro-ph.GA hep-ph


title: Mechanical Self-Assembly of a Strain-Engineered Flexible Layer: Wrinkling, Rolling, and Twisting

abstract: Self-shaping of curved structures, especially those involving flexible thin layers, has attracted increasing attention because of their broad potential applications in e.g. nanoelectromechanical/micro-electromechanical systems (NEMS/MEMS), sensors, artificial skins, stretchable electronics, robotics, and drug delivery. Here, we provide an overview of recent experimental, theoretical, and computational studies on the mechanical self-assembly of strain-engineered thin layers, with an emphasis on systems in which the competition between bending and stretchingenergy gives rise to a variety ofdeformations,such as wrinkling, rolling, and twisting. We address the principle of mechanical instabilities, which is often manifested in wrinkling or multistability of strain-engineered thin layers. The principles of shape selection and transition in helical ribbons are also systematically examined. We hope that a more comprehensive understanding of the mechanical principles underlying these rich phenomena can foster the development of new techniques for manufacturing functional three- dimensional structures on demand for a broad spectrum of engineering applications.


title: Effects of High Charge Densities in Multi-GEM Detectors

abstract: A comprehensive study, supported by systematic measurements and numerical computations, of the intrinsic limits of multi-GEM detectors when exposed to very high particle fluxes or operated at very large gains is presented. The observed variations of the gain, of the ion back-flow, and of the pulse height spectra are explained in terms of the effects of the spatial distribution of positive ions and their movement throughout the amplification structure. The intrinsic dynamic character of the processes involved imposes the use of a non-standard simulation tool for the interpretation of the measurements. Computations done with a Finite Element Analysis software reproduce the observed behaviour of the detector. The impact of this detailed description of the detector in extreme conditions is multiple: it clarifies some detector behaviours already observed, it helps in defining intrinsic limits of the GEM technology, and it suggests ways to extend them.


title: Affine Algebras with Arbitrary Simple Modules

abstract: We construct affine algebras with an arbitrary amount of simple modules of each dimension.


title: Geroch group for Einstein spaces and holographic integrability

abstract: We review how Geroch's reduction method is extended from Ricci-flat to Einstein spacetimes. The Ehlers-Geroch SL(2,R) group is still present in the three-dimensional sigma-model that captures the dynamics, but only a subgroup of it is solution-generating. Holography provides an alternative three-dimensional perspective to integrability properties of Einstein's equations in asymptotically anti-de Sitter spacetimes. These properties emerge as conditions on the boundary data (metric and energy-momentum tensor) ensuring that the hydrodynamic derivative expansion be resummed into an exact four-dimensional Einstein geometry. The conditions at hand are invariant under a set of transformations dubbed holographic U-duality group. The latter fills the gap left by the Ehlers-Geroch group in Einstein spaces, and allows for solution-generating maps mixing e.g. the mass and the nut charge.


title: On the mesh nonsingularity of the moving mesh PDE method

abstract: The moving mesh PDE (MMPDE) method for variational mesh generation and adaptation is studied theoretically at the discrete level, in particular the nonsingularity of the obtained meshes. Meshing functionals are discretized geometrically and the MMPDE is formulated as a modified gradient system of the corresponding discrete functionals for the location of mesh vertices. It is shown that if the meshing functional satisfies a coercivity condition, then the mesh of the semi-discrete MMPDE is nonsingular for all time if it is nonsingular initially. Moreover, the altitudes and volumes of its elements are bounded below by positive numbers depending only on the number of elements, the metric tensor, and the initial mesh. Furthermore, the value of the discrete meshing functional is convergent as time increases, which can be used as a stopping criterion in computation. Finally, the mesh trajectory has limiting meshes which are critical points of the discrete functional. The convergence of the mesh trajectory can be guaranteed when a stronger condition is placed on the meshing functional. Two meshing functionals based on alignment and equidistribution are known to satisfy the coercivity condition. The results also hold for fully discrete systems of the MMPDE provided that the time step is sufficiently small and a numerical scheme preserving the property of monotonically decreasing energy is used for the temporal discretization of the semi-discrete MMPDE. Numerical examples are presented.


title: Universal completability, least eigenvalue frameworks, and vector colorings

abstract: An embedding $i \mapsto p_i\in \mathbb{R}^d$ of the vertices of a graph $G$ is called universally completable if the following holds: For any other embedding $i\mapsto q_i~\in \mathbb{R}^{k}$ satisfying $q_i^T q_j = p_i^T p_j$ for $i = j$ and $i$ adjacent to $j$, there exists an isometry mapping the $q_i$'s to the $p_i$'s for all $ i\in V(G)$. The notion of universal completability was introduced recently due to its relevance to the positive semidefinite matrix completion problem. In this work we focus on graph embeddings constructed using the eigenvectors of the least eigenvalue of the adjacency matrix of $G$, which we call least eigenvalue frameworks. We identify two necessary and sufficient conditions for such frameworks to be universally completable. Our conditions also allow us to give algorithms for determining whether a least eigenvalue framework is universally completable. Furthermore, our computations for Cayley graphs on $\mathbb{Z}_2^n \ (n \le 5)$ show that almost all of these graphs have universally completable least eigenvalue frameworks. In the second part of this work we study uniquely vector colorable (UVC) graphs, i.e., graphs for which the semidefinite program corresponding to the Lov\'asz theta number (of the complementary graph) admits a unique optimal solution. We identify a sufficient condition for showing that a graph is UVC based on the universal completability of an associated framework. This allows us to prove that Kneser and $q$-Kneser graphs are UVC. Lastly, we show that least eigenvalue frameworks of 1-walk-regular graphs always provide optimal vector colorings and furthermore, we are able to characterize all optimal vector colorings of such graphs. In particular, we give a necessary and sufficient condition for a 1-walk-regular graph to be uniquely vector colorable.


title: An Operator for Entity Extraction in MapReduce

abstract: Dictionary-based entity extraction involves finding mentions of dictionary entities in text. Text mentions are often noisy, containing spurious or missing words. Efficient algorithms for detecting approximate entity mentions follow one of two general techniques. The first approach is to build an index on the entities and perform index lookups of document substrings. The second approach recognizes that the number of substrings generated from documents can explode to large numbers, to get around this, they use a filter to prune many such substrings which do not match any dictionary entity and then only verify the remaining substrings if they are entity mentions of dictionary entities, by means of a text join. The choice between the index-based approach and the filter & verification-based approach is a case-to-case decision as the best approach depends on the characteristics of the input entity dictionary, for example frequency of entity mentions. Choosing the right approach for the setting can make a substantial difference in execution time. Making this choice is however non-trivial as there are parameters within each of the approaches that make the space of possible approaches very large. In this paper, we present a cost-based operator for making the choice among execution plans for entity extraction. Since we need to deal with large dictionaries and even larger large datasets, our operator is developed for implementations of MapReduce distributed algorithms.


title: Multideviations: The hidden structure of Bell's theorems

abstract: Specification of the strongest possible Bell inequalities for arbitrarily complicated physical scenarios -- any number of observers choosing between any number of observables with any number of possible outcomes -- is currently an open problem. Here I provide a new set of tools, which I refer to as "multideviations", for finding and analyzing these inequalities for the fully general case. In Part I, I introduce the multideviation framework and then use it to prove an important theorem: the Bell distributions can be generated from the set of joint distributions over all observables by deeming specific degrees of freedom unobservable. In Part II, I show how the theorem provides a new method for finding tight Bell inequalities. I then specify a set of new tight Bell inequalities for arbitrary event spaces -- the "even/odd" inequalities -- which have a straightforward interpretation when expressed in terms of multideviations. The even/odd inequalities concern degrees of freedom that are independent of those involved in parameter independence, raising the possibility of a new Bell's theorem with stronger philosophical implications. Also, contrary to expectations, the violation of the inequalities by quantum mechanics increases in size with the number of systems.

categories: quant-ph math-ph math.MP physics.data-an physics.hist-ph


title: MIMO CDMA-based Optical SATCOMs: A New Solution

abstract: A new scheme for MIMO CDMA-based optical satellite communications (OSATCOMs) is presented. Three independent problems are described for up-link and down- link in terms of two distinguished optimization problems. At first, in up-link, Pulse-width optimization is proposed to reduce dispersions over fibers as the terrestrial part. This is performed for return-to-zero (RZ) modulation that is supposed to be used as an example in here. This is carried out by solving the first optimization problem, while minimizing the probability of overlapping for the Gaussian pulses that are used to produce RZ. Some constraints are assumed such as a threshold for the peak-to-average power ratio (PAPR). In down-link, the second and the third problems are discussed as follows, jointly as a closed-form solution. Solving the second optimization problem, an objective function is obtained, namely the MIMO CDMA-based satellite weight-matrix as a conventional adaptive beam-former. The Satellite link is stablished over flat un-correlated Nakagami-m/Suzuki fading channels as the second problem. On the other hand, the mentioned optimization problem is robustly solved as the third important problem, while considering inter-cell interferences in the multi-cell scenario. Robust solution is performed due to the partial knowledge of each cell from the others in which the link capacity is maximized. Analytical results are conducted to investigate the merit of system.


title: Conditions for Normative Decision Making at the Fire Ground

abstract: We discuss the changes in an attitude to decision making at the fire ground. The changes are driven by the recent technological shift. The emerging new approaches in sensing and data processing (under common umbrella of Cyber-Physical Systems) allow for leveling off the gap, between humans and machines, in perception of the fire ground. Furthermore, results from descriptive decision theory question the rationality of human choices. This creates the need for searching and testing new approaches for decision making during emergency. We propose the framework that addresses this need. The primary feature of the framework are possibilities for incorporation of normative and prescriptive approaches to decision making. The framework also allows for comparison of the performance of decisions, between human and machine.


title: Resonance production in Pomeron-Pomeron collisions at the LHC

abstract: A Regge pole model for Pomeron-Pomeron total cross section in the resonance region $\sqrt{M^2}\le$ 5 GeV is presented. The cross section is saturated by direct-channel contributions from the Pomeron as well as from two different $f$ trajectories, accompanied by the isolated f$_0(500)$ resonance which dominates the $\sqrt{M^{2}}\lesssim 1$ GeV region. A slowly varying background is taken into account. The calculated Pomeron-Pomeron total cross section cannot be measured directly, but is an essential part of central diffractive processes. In preparation of future calculations of central resonance production at the hadron level, and corresponding measurements at the LHC, we normalize the Pomeron-Pomeron cross section at large masses $\sigma_{t}^{PP} (\sqrt{M^2}\rightarrow \infty) \approx$ 1 mb as suggested by QCD-motivated estimates.


title: Real Classes of Finite Special Unitary Groups

abstract: We classify all real and strongly real classes of the finite special unitary group $SU_n(q)$. Unless $q \equiv 3 (mod 4)$ and $n |4$, the classification of real classes is similar to that of the finite special linear group $SL_n(q)$. We relate strong reality in $SU_n(q)$ to strong reality in the finite special orthogonal groups $SO^\pm_n(q)$, and we classify real and strongly real classes in the last case for the group $SO^\pm_n(q)$, when q is odd and $n \equiv 2 (mod 4)$.


title: Commutator inequalities via Schur products

abstract: For a self-adjoint unbounded operator D on a Hilbert space H, a bounded operator y on H and some complex Borel functions g(t) we establish inequalities of the type ||[g(D),y]|| \leq A|||y|| + B||[D,y]|| + ...+ X|[D, [D,...[D, y]...]]||. The proofs take place in a space of infinite matrices with operator entries, and in this setting it is possible to approximate the matrix associated to [g(D), y] by the Schur product of a matrix approximating [D,y] and a scalar matrix. A classical inequality of Bennett on the norm of Schur products may then be applied to obtain the results.


title: Sharp decay estimates for the logarithmic fast diffusion equation and the Ricci flow on surfaces

abstract: We prove the sharp local L^1 - L^\infty smoothing estimate for the logarithmic fast diffusion equation, or equivalently, for the Ricci flow on surfaces. Our estimate almost instantly implies an improvement of the known L^p - L^\infty estimate for p larger than 1. It also has several applications in geometry, providing the missing step in order to pose the Ricci flow with rough initial data in the noncompact case, for example starting with a general noncompact Alexandrov surface, and giving the sharp asymptotics for the contracting cusp Ricci flow, as we show elsewhere.


title: Energy Flows in Low-Entropy Complex Systems

abstract: Nature's many complex systems--physical, biological, and cultural--are islands of low-entropy order within increasingly disordered seas of surrounding, high-entropy chaos. Energy is a principal facilitator of the rising complexity of all such systems in the expanding Universe, including galaxies, stars, planets, life, society, and machines. A large amount of empirical evidence--relating neither entropy nor information, rather energy--suggests that an underlying simplicity guides the emergence and growth of complexity among many known, highly varied systems in the 14-billion-year-old Universe, from big bang to humankind. Energy flows are as centrally important to life and society as they are to stars and galaxies. In particular, the quantity energy rate density--the rate of energy flow per unit mass--can be used to explicate in a consistent, uniform, and unifying way a huge collection of diverse complex systems observed throughout Nature. Operationally, those systems able to utilize optimal amounts of energy tend to survive and those that cannot are non-randomly eliminated.


title: Score distributions of gapped multiple sequence alignments down to the low-probability tail

abstract: Assessing the significance of alignment scores of optimally aligned DNA or amino acid sequences can be achieved via the knowledge of the score distribution of random sequences. But this requires obtaining the distribution in the biologically relevant high-scoring region, where the probabilities are exponentially small. For gapless local alignments of infinitely long sequences this distribution is known analytically to follow a Gumbel distribution. Distributions for gapped local alignments and global alignments of finite lengths can only be obtained numerically. To obtain result for the small-probability region, specific statistical mechanics-based rare-event algorithms can be applied. In previous studies, this was achieved for pairwise alignments. They showed that, contrary to results from previous simple sampling studies, strong deviations from the Gumbel distribution occur in case of finite sequence lengths. Here we extend the studies to the for practical applications in Molecular Biology much more relevant case of multiple sequence alignments with gaps. We study the distributions of scores over a large range of the support, reaching probabilities as small as 10^-160, for global and local (sum-of-pair scores) multiple alignments. We find that even after suitable rescaling, eliminating the sequence-length dependence, the distributions for multiple alignment differ from the pairwise alignment case. Furthermore, we also show that the previously discussed Gaussian correction to the Gumbel distribution needs to be refined, also for the case of pairwise alignments.


title: WIYN Open Cluster Study XXXII: Stellar Radial Velocities in the Old Open Cluster NGC 188

abstract: (Abridged) We present the results of our ongoing radial-velocity (RV) survey of the old (7 Gyr) open cluster NGC 188. Our WIYN 3.5m data set spans a time baseline of 11 years, a magnitude range of 12<=V<=16.5 (1.18-0.94 MSun), and a 1 deg. diameter region on the sky. With the addition of a Dominion Astrophysical Observatory (DAO) data set we extend our bright limit to V = 10.8 and, for some stars, extend our time baseline to 35 years. Our magnitude limits include solar-mass main-sequence stars, subgiants, giants, and blue stragglers (BSs), and our spatial coverage extends radially to 17 pc (~13 core radii). For the WIYN data we find a measurement precision of 0.4 km/s for narrow-lined stars. We have measured RVs for 1046 stars in the direction of NGC 188, finding 473 to be likely cluster members. We detect 124 velocity-variable cluster members, all of which are likely to be dynamically hard-binary stars. Using our single member stars, we find an average cluster RV of -42.36 +/- 0.04 km/s. We use our precise RV and proper-motion membership data to greatly reduce field-star contamination in our cleaned color-magnitude diagram, from which we identify six stars of note that lie far from a standard single-star isochrone. We find the binaries to be centrally concentrated, providing evidence for the presence of mass segregation in NGC 188. We observe the BSs to populate a bimodal spatial distribution that is not centrally concentrated, suggesting that we may be observing two populations of BSs in NGC 188, including a centrally concentrated distribution as well as a halo population. Finally, we find NGC 188 to have a global RV dispersion of 0.64 +/- 0.04 km/s. When corrected for unresolved binaries, the NGC 188 RV dispersion has a nearly isothermal radial distribution. We use this mean-corrected velocity dispersion to derive a virial mass of 2300 +/- 460 MSun.


title: An Improved Single-Plaquette Gauge Action

abstract: We describe and test a nonperturbatively improved single-plaquette lattice action for 4-d SU(2) and SU(3) pure gauge theory, which suppresses large fluctuations of the plaquette, without requiring the naive continuum limit for smooth fields. We tune the action parameters based on torelon masses in moderate cubic physical volumes, and investigate the size of cut-off effects in other physical quantities, including torelon masses in asymmetric spatial volumes, the static quark potential, and gradient flow observables. In 2-d O(N) models similarly constructed nearest-neighbor actions have led to a drastic reduction of cut-off effects, down to the permille level, in a wide variety of physical quantities. In the gauge theories, we find significant reduction of lattice artifacts, and for some observables, the coarsest lattice result is very close to the continuum value. We estimate an improvement factor of 40 compared to using the Wilson gauge action to achieve the same statistical accuracy and suppression of cut-off effects. The simplicity of the gauge action makes it amenable for dynamical fermion simulations.


title: Bayesian large-scale structure inference and cosmic web analysis

abstract: Surveys of the cosmic large-scale structure carry opportunities for building and testing cosmological theories about the origin and evolution of the Universe. This endeavor requires appropriate data assimilation tools, for establishing the contact between survey catalogs and models of structure formation. In this thesis, we present an innovative statistical approach for the ab initio simultaneous analysis of the formation history and morphology of the cosmic web: the BORG algorithm infers the primordial density fluctuations and produces physical reconstructions of the dark matter distribution that underlies observed galaxies, by assimilating the survey data into a cosmological structure formation model. The method, based on Bayesian probability theory, provides accurate means of uncertainty quantification. We demonstrate the application of BORG to the Sloan Digital Sky Survey data and describe the primordial and late-time large-scale structure in the observed volume. We show how the approach has led to the first quantitative inference of the cosmological initial conditions and of the formation history of the observed structures. We then use these results for several cosmographic projects aiming at analyzing and classifying the large-scale structure. In particular, we build an enhanced catalog of cosmic voids probed at the level of the dark matter distribution, deeper than with the galaxies. We present detailed probabilistic maps of the dynamic cosmic web, and offer a general solution to the problem of classifying structures in the presence of uncertainty. The results described in this thesis constitute accurate chrono-cosmography of the inhomogeneous cosmic structure.


title: Hot bubbles of planetary nebulae with hydrogen-deficient winds I. Heat conduction in a chemically stratified plasma

abstract: Heat conduction has been found a plausible solution to explain discrepancies between expected and measured temperatures in hot bubbles of planetary nebulae (PNe). While the heat conduction process depends on the chemical composition, to date it has been exclusively studied for pure hydrogen plasmas in PNe. A smaller population of PNe show hydrogen-deficient and helium- and carbon-enriched surfaces surrounded by bubbles of the same composition; considerable differences are expected in physical properties of these objects in comparison to the pure hydrogen case. The aim of this study is to explore how a chemistry-dependent formulation of the heat conduction affects physical properties and how it affects the X-ray emission from PN bubbles of hydrogen-deficient stars. We extend the description of heat conduction in our radiation hydrodynamics code to work with any chemical composition. We then compare the bubble-formation process with a representative PN model using both the new and the old descriptions. We also compare differences in the resulting X-ray temperature and luminosity observables of the two descriptions. The improved equations show that the heat conduction in our representative model of a hydrogen-deficient PN is nearly as efficient with the chemistry-dependent description; a lower value on the diffusion coefficient is compensated by a slightly steeper temperature gradient. The bubble becomes somewhat hotter with the improved equations, but differences are otherwise minute. The observable properties of the bubble in terms of the X-ray temperature and luminosity are seemingly unaffected.


title: On the Network Topology Dependent Solution Count of the Algebraic Load Flow Equations

abstract: A large amount of research activity in power systems areas has focused on developing computational methods to solve load flow equations where a key question is the maximum number of isolated solutions.Though several concrete upper bounds exist, recent studies have hinted that much sharper upper bounds that depend the topology of underlying power networks may exist. This paper establishes such a topology dependent solution bound which is actually the best possible bound in the sense that it is always attainable. We also develop a geometric construction called adjacency polytope which accurately captures the topology of the underlying power network and is immensely useful in the computation of the solution bound. Finally we highlight the significant implications of the development of such solution bound in solving load flow equations.


title: Large deviations for random projections of $\ell^p$ balls

abstract: Let $p\in[1,\infty]$. Consider the projection of a uniform random vector from a suitably normalized $\ell^p$ ball in $\mathbb{R}^n$ onto an independent random vector from the unit sphere. We show that sequences of such random projections, when suitably normalized, satisfy a large deviation principle (LDP) as the dimension $n$ goes to $\infty$, which can be viewed as an annealed LDP. We also establish a quenched LDP (conditioned on a fixed sequence of projection directions) and show that for $p\in(1,\infty]$ (but not for $p=1$), the corresponding rate function is "universal", in the sense that it coincides for "almost every" sequence of projection directions. We also analyze some exceptional sequences of directions in the "measure zero" set, including the directions corresponding to the classical Cram\'er's theorem, and show that those directions yield LDPs with rate functions that are distinct from the universal rate function of the quenched LDP. Lastly, we identify a variational formula that relates the annealed and quenched LDPs, and analyze the minimizer of this variational formula. These large deviation results complement the central limit theorem for convex sets, specialized to the case of sequences of $\ell^p$ balls.


title: Linearized Asymptotic Stability for Fractional Differential Equations

abstract: We prove the theorem of linearized asymptotic stability for fractional differential equations. More precisely, we show that an equilibrium of a nonlinear Caputo fractional differential equation is asymptotically stable if its linearization at the equilibrium is asymptotically stable. As a consequence we extend Lyapunov's first method to fractional differential equations by proving that if the spectrum of the linearization is contained in the sector $\{\lambda \in \C : |\arg \lambda| > \frac{\alpha \pi}{2}\}$ where $\alpha > 0$ denotes the order of the fractional differential equation, then the equilibrium of the nonlinear fractional differential equation is asymptotically stable.


title: Shape maps for second order partial differential equations

abstract: We analyse the singularity formation of congruences of solutions of systems of second order PDEs via the construction of \emph{shape maps}. The trace of such maps represents a congruence volume whose collapse we study through an appropriate evolution equation, akin to Raychaudhuri's equation. We develop the necessary geometric framework on a suitable jet space in which the shape maps appear naturally associated with certain linear connections. Explicit computations are given, along with a nontrivial example.


title: WIYN Open Cluster Study. XXXVI. Spectroscopic Binary Orbits in NGC 188

abstract: We present 98 spectroscopic binary orbits resulting from our ongoing radial-velocity survey of the old (7 Gyr) open cluster NGC 188. All but 13 are high-probability cluster members based on both radial-velocity and proper-motion membership analyses. Fifteen of these member binaries are double lined. Our stellar sample spans a magnitude range of 10.8 <=V<= 16.5 (1.14-0.92 Msun) and extends spatially to 17 pc (~13 core radii). All of our binary orbits have periods ranging from a few days to on the order of 10^3 days, and thus are hard binaries that dynamically power the cluster. For each binary, we present the orbital solutions and place constraints on the component masses. Additionally, we discuss a few binaries of note from our sample, identifying a likely blue straggler-blue straggler binary system (7782), a double-lined binary with a secondary star which is under-luminous for its mass (5080), two potential eclipsing binaries (4705 and 5762), and two binaries which are likely members of a quadruple system (5015a and 5015b).


title: Dust and Polycyclic Aromatic Hydrocarbon in the Pre-Transitional Disk around HD 169142

abstract: The pre-transitional disk around the Herbig Ae star HD 169142 shows a complex structure of possible ongoing planet formation in dust thermal emission from the near infrared (IR) to millimeter wavelength range. Also, a distinct set of broad emission features at 3.3, 6.2, 7.7, 8.6, 11.3, and 12.7 $\mu$m, commonly attributed to polycyclic aromatic hydrocarbons (PAHs), are detected prominently in the HD 169142 disk. We model the spectral energy distribution (SED) as well as the PAH emission features of the HD 169142 disk simultaneously with porous dust and astronomical-PAHs taking into account the spatially resolved disk structure. Our porous dust model consisting of three distinct components that are primarily concentrated in the inner ring, middle ring, and outer disk, respectively, provides an excellent fit to the entire SED, and the PAH model closely reproduces the observed PAH features. The accretion of ice mantles onto porous dust aggregates occurs between ~16 AU and 60 AU, which overlaps with the spatial extent (~50 AU) of the observed PAH emission features. Finally, we discuss the role of PAHs in the formation of planets possibly taking place in the HD 169142 system.


title: Complexity, action, and black holes

abstract: Our earlier paper "Complexity Equals Action" conjectured that the quantum computational complexity of a holographic state is given by the classical action of a region in the bulk (the "Wheeler-DeWitt" patch). We provide calculations for the results quoted in that paper, explain how it fits into a broader (tensor) network of ideas, and elaborate on the hypothesis that black holes are the fastest computers in nature.


title: The second will be first: competition on directed networks

abstract: Multiple sinks competition is investigated for a walker diffusing on directed complex networks. The asymmetry of the imposed spatial support makes the system non transitive. As a consequence, it is always possible to identify a suitable location for the second absorbing sink that screens at most the flux of agents directed against the first trap, whose position has been preliminarily assigned. The degree of mutual competition between pairs of nodes is analytically quantified through apt indicators that build on the topological characteristics of the hosting graph. Moreover, the positioning of the second trap can be chosen so as to minimize, at the same time the probability of being in turn shaded by a thirdly added trap. Supervised placing of absorbing traps on a asymmetric disordered and complex graph is hence possible, as follows a robust optimization protocol. This latter is here discussed and successfully tested against synthetic data.


title: Thickness and Outerthickness for Embedded Graphs

abstract: We consider the thickness $\theta (G))$ and outerthickness $\theta _o(G)$ of a graph G in terms of its orientable and nonorientable genus. Dean and Hutchinson provided upper bounds for thickness of graphs in terms of their orientable genus. More recently, Concalves proved that the outerthickness of any planar graph is at most 2. In this paper, we apply the method of deleting spanning disks of embeddings to approximate the thickness and outerthickness of graphs. We first obtain better upper bounds for thickness. We then use a similar approach to provide upper bounds for outerthickness of graphs in terms of their orientable and nonorientable genera. Finally we show that the outerthickness of the torus (the maximum outerthickness of all toroidal graphs) is 3. We also show that all graphs embeddable in the double torus have thickness at most 3 and outerthickness at most 5.


title: Planetesimals in Debris Disks

abstract: Planetesimals form in gas-rich protoplanetary disks around young stars. However, protoplanetary disks fade in about 10 Myr. The planetesimals (and also many of the planets) left behind are too dim to study directly. Fortunately, collisions between planetesimals produce dusty debris disks. These debris disks trace the processes of terrestrial planet formation for 100 Myr and of exoplanetary system evolution out to 10 Gyr. This chapter begins with a summary of planetesimal formation as a prelude to the epoch of planetesimal destruction. Our review of debris disks covers the key issues, including dust production and dynamics, needed to understand the observations. Our discussion of extrasolar debris keeps an eye on similarities to and differences from Solar System dust.


title: Polynomials Meeting Ax's Bound

abstract: Let $f\in\Bbb F_q[X_1,\dots,X_n]$ with $\deg f=d>0$ and let $Z(f)=\{(x_1,\dots,x_n)\in \Bbb F_q^n: f(x_1,\dots,x_n)=0\}$. Ax's theorem states that $|Z(f)|\equiv 0\pmod {q^{\lceil n/d\rceil-1}}$, that is, $\nu_p(|Z(f)|)\ge m(\lceil n/d\rceil-1)$, where $p=\text{char}\,\Bbb F_q$, $q=p^m$, and $\nu_p$ is the $p$-adic valuation. In this paper, we determine a condition on the coefficients of $f$ that is necessary and sufficient for $f$ to meet Ax's bound, that is, $\nu_p(|Z(f)|)=m(\lceil n/d\rceil-1)$. Let $R_q(d,n)$ denote the $q$-ary Reed-Muller code $\{f\in\Bbb F_q[X_1,\dots,X_n]: \deg f\le d,\ \deg_{X_j}f\le q-1,\ 1\le j\le n\}$, and let $N_q(d,n;t)$ be the number of codewords of $R_q(d,n)$ with weight divisible by $p^t$. As applications of the aforementioned result, we find explicit formulas for $N_q(d,n;t)$ in the following cases: (i) $q=2^m$, $n$ even, $d=n/2$, $t=m+1$; (ii) $q=2$, $n/2\le d\le n-2$, $t=2$; (iii) $q=3^m$, $d=n$, $t=1$; (iv) $q=3$, $n\le d\le 2n$, $t=1$.


title: Exposition of Elekes Szabo paper

abstract: We explain the Elekes Szabo paper in more details and improve the constant in one dimensional case in \mathbb{R} and \mathbb{C}.


title: Pricing-based Distributed Energy-Efficient Beamforming for MISO Interference Channels

abstract: In this paper, we consider the problem of maximizing the weighted sum energy efficiency (WS-EE) for multi-input single-output (MISO) interference channels (ICs) which is well acknowledged as general models of heterogeneous networks (HetNets), multicell networks, etc. To address this problem, we develop an efficient distributed beamforming algorithm based on a pricing mechanism. Specifically, we carefully introduce a price metric for distributed beamforming design which fortunately allows efficient closed-form solutions to the per-user beam-vector optimization problem. The convergence of the distributed pricing-based beamforming design is theoretically proven. Furthermore, we present an implementation strategy of the proposed distributed algorithm with limited information exchange. Numerical results show that our algorithm converges much faster than existing algorithms, while yielding comparable, sometimes even better performance in terms of the WS-EE. Finally, by taking the backhaul power consumption into account, it is interesting to show that the proposed algorithm with limited information exchange achieves better WS-EE than the full information exchange based algorithm in some special cases.


title: Grammage of cosmic rays around Galactic supernova remnants

abstract: The residence time of cosmic rays (CRs) in the Galaxy is usually inferred from the measurement of the ratio of secondary-to-primary nuclei, such as the boron (B)/carbon (C) ratio, which provides an estimate of the amount of matter traversed by CRs during their propagation, the so called CR grammage. However, after being released by their parent sources, for instance supernova remnants (SNRs), CRs must cross the disc of the Galaxy, before entering the much lower density halo, in which they are believed to spend most of the time before eventually escaping the Galaxy. In the near-source region, the CR propagation is shown to be dominated by the non-linear self-generation of waves. Here we show that due to this effect, the time that CRs with energies up to $\sim$ 10 TeV spend within a distance $L_{c}\sim 100$ pc from the sources is much larger than naive estimates would suggest. The corresponding grammage is close to current estimates of the total grammage traversed throughout the whole Galaxy. Moreover, there is an irreducible grammage that CRs traverse while trapped downstream of the shock that accelerated them, though this contribution is rather uncertain. We conclude that at energies $\lesssim 1$ TeV, the observed grammage is heavily affected by the near-source non-linear trapping of CRs, and at energies $\gtrsim 1$ TeV it is affected by the source grammage. As a result, the measurement of the B/C ratio should be used very cautiously as an indicator of the propagation of CRs on large Galactic scales.


title: One-Loop Corrections from Higher Dimensional Tree Amplitudes

abstract: We show how one-loop corrections to scattering amplitudes of scalars and gauge bosons can be obtained from tree amplitudes in one higher dimension. Starting with a complete tree-level scattering amplitude of n+2 particles in five dimensions, one assumes that two of them cannot be "detected" and therefore an integration over their LIPS is carried out. The resulting object, function of the remaining n particles, is taken to be four-dimensional by restricting the corresponding momenta. We perform this procedure in the context of the tree-level CHY formulation of amplitudes. The scattering equations obtained in the procedure coincide with those derived by Geyer et al from ambitwistor constructions and recently studied by two of the authors for bi-adjoint scalars. They have two sectors of solutions: regular and singular. We prove that the contribution from regular solutions generically gives rise to unphysical poles. However, using a BCFW argument we prove that the unphysical contributions are always homogeneous functions of the loop momentum and can be discarded. We also show that the contribution from singular solutions turns out to be homogeneous as well.


title: Analysis of the temporal and structural features of threads in a mailing-list

abstract: A link stream is a collection of triplets $(t,u,v)$ indicating that an interaction occurred between $u$ and $v$ at time $t$. Link streams model many real-world situations like email exchanges between individuals, connections between devices, and others. Much work is currently devoted to the generalization of classical graph and network concepts to link streams. In this paper, we generalize the existing notions of intra-community density and inter-community density. We focus on emails exchanges in the Debian mailing-list, and show that threads of emails, like communities in graphs, are dense subsets loosely connected from a link stream perspective.


title: Rational points on log Fano threefolds over a finite field

abstract: We prove the $W\mathcal{O}$-rationality of klt threefolds and the rational chain connectedness of klt Fano threefolds over a perfect field of characteristic $p>5$. As a consequence, any klt Fano threefold over a finite field has a rational point.


title: Towards Evaluation of Cultural-scale Claims in Light of Topic Model Sampling Effects

abstract: Cultural-scale models of full text documents are prone to over-interpretation by researchers making unintentionally strong socio-linguistic claims (Pechenick et al., 2015) without recognizing that even large digital libraries are merely samples of all the books ever produced. In this study, we test the sensitivity of the topic models to the sampling process by taking random samples of books in the Hathi Trust Digital Library from different areas of the Library of Congress Classification Outline. For each classification area, we train several topic models over the entire class with different random seeds, generating a set of spanning models. Then, we train topic models on random samples of books from the classification area, generating a set of sample models. Finally, we perform a topic alignment between each pair of models by computing the Jensen-Shannon distance (JSD) between the word probability distributions for each topic. We take two measures on each model alignment: alignment distance and topic overlap. We find that sample models with a large sample size typically have an alignment distance that falls in the range of the alignment distance between spanning models. Unsurprisingly, as sample size increases, alignment distance decreases. We also find that the topic overlap increases as sample size increases. However, the decomposition of these measures by sample size differs by number of topics and by classification area. We speculate that these measures could be used to find classes which have a common "canon" discussed among all books in the area, as shown by high topic overlap and low alignment distance even in small sample sizes.


title: Diffusiophoresis at the macroscale

abstract: Diffusiophoresis, a ubiquitous phenomenon that induces particle transport whenever solute concentration gradients are present, was recently observed in the context of microsystems and shown to strongly impact colloidal transport (patterning and mixing) at such scales. In the present work, we show experimentally that this nanoscale mechanism can induce changes in the macroscale mixing of colloids by chaotic advection. Rather than the decay of the standard deviation of concentration, which is a global parameter commonly employed in studies of mixing, we instead use multiscale tools adapted from studies of chaotic flows or intermittent turbulent mixing: concentration spectra and second and fourth moments of the probability density functions of scalar gradients. Not only can these tools be used in open flows, but they also allow for scale-by-scale analysis. Strikingly, diffusiophoresis is shown to affect all scales, although more particularly the small ones, resulting in a change of scalar intermittency and in an unusual scale bridging spanning more than seven orders of magnitude. By quantifying the averaged impact of diffusiophoresis on the macroscale mixing, we explain why the effects observed are consistent with the introduction of an effective P\'eclet number.


title: BayesDB: A probabilistic programming system for querying the probable implications of data

abstract: Is it possible to make statistical inference broadly accessible to non-statisticians without sacrificing mathematical rigor or inference quality? This paper describes BayesDB, a probabilistic programming platform that aims to enable users to query the probable implications of their data as directly as SQL databases enable them to query the data itself. This paper focuses on four aspects of BayesDB: (i) BQL, an SQL-like query language for Bayesian data analysis, that answers queries by averaging over an implicit space of probabilistic models; (ii) techniques for implementing BQL using a broad class of multivariate probabilistic models; (iii) a semi-parametric Bayesian model-builder that auomatically builds ensembles of factorial mixture models to serve as baselines; and (iv) MML, a "meta-modeling" language for imposing qualitative constraints on the model-builder and combining baseline models with custom algorithmic and statistical models that can be implemented in external software. BayesDB is illustrated using three applications: cleaning and exploring a public database of Earth satellites; assessing the evidence for temporal dependence between macroeconomic indicators; and analyzing a salary survey.


title: A mathematical model of reward and executive circuitry in obsessive compulsive disorde

abstract: The neuronal circuit that controls obsessive and compulsive behaviors involves a complex network of brain regions (some with known involvement in reward processing). Among these are cortical regions, the striatum and the thalamus (which compose the CSTC pathway), limbic areas such as the amygdala and the hippocampus, and well as dopamine pathways. Abnormal dynamic behavior in this brain network is a hallmark feature of patients with increased anxiety and motor activity, like the ones affected by OCD. There is currently no clear understanding of precisely what mechanisms generates these behaviors. We attempt to investigate a collection of connectivity hypotheses of OCD by means of a computational model of the brain circuitry that governs reward and motion execution. Mathematically, we use methods from ordinary differential equations and continuous time dynamical systems. We use classical analytical methods as well as computational approaches to study phenomena in the phase plane (e.g., behavior of the system's solutions when given certain initial conditions) and in the parameter space (e.g., sensitive dependence of initial conditions). We find that different obsessive-compulsive subtypes may correspond to different abnormalities in the network connectivity profiles. We suggest that it is combinations of parameters (connectivity strengths between regions), rather the than the value of any one parameter taken independently, that provides the best basis for predicting behavior, and for understanding the heterogeneity of the illness.


title: Likelihood of Cyber Data Injection Attacks to Power Systems

abstract: Cyber data attacks are the worst-case interacting bad data to power system state estimation and cannot be detected by existing bad data detectors. In this paper, we for the first time analyze the likelihood of cyber data attacks by characterizing the actions of a malicious intruder. We propose to use Markov decision process to model an intruder's strategy, where the objective is to maximize the cumulative reward across time. Linear programming method is employed to find the optimal attack policy from the intruder's perspective. Numerical experiments are conducted to study the intruder's attack strategy in test power systems.


title: High S/N Keck and Gemini AO imaging of Uranus during 2012-2014: New cloud patterns, increasing activity, and improved wind measurements

abstract: We imaged Uranus in the near infrared from 2012 into 2014, using the Keck/NIRC2 camera and Gemini/NIRI camera, both with adaptive optics. We obtained exceptional signal to noise ratios by averaging 8-16 individual exposures in a planet-fixed coordinate system. noise-reduced images revealed many low-contrast discrete features and large scale cloud patterns not seen before, including scalloped waveforms just south of the equator. In all three years numerous small (600-700 km wide) and mainly bright discrete features were seen within the north polar region (north of about 55\deg N). Over 850 wind measurements were made, the vast majority of which were in the northern hemisphere. These revealed an extended region of solid body rotation between 62\deg N and at least 83\deg N, at a rate of 4.08$\pm0.015$\deg/h westward relative to the planet's interior (radio) rotation of 20.88\deg/h westward. Near-equatorial speeds measured with high accuracy give different results for waves and small discrete features, with eastward drift rates of 0.4\deg/h and 0.1\deg/h respectively. The region of polar solid body rotation is a close match to the region of small-scale polar cloud features, suggesting a dynamical relationship. While winds at high southern latitudes (50\deg S - 90\deg S) are unconstrained by groundbased observations, a recent reanalysis of 1986 Voyager 2 observations by Karkoschka (2015, Icarus 250, 294-307) has revealed an extremely large north-south asymmetry in this region, which might be seasonal. Greatly increased activity was seen in 2014, including the brightest ever feature seen in K' images (de Pater et al. 2015, Icarus 252, 121-128). Over the 2012-2014 period we identified six persistent discrete features. Three were tracked for more than two years, two more for more than one year, and one for at least 5 months and continuing.


title: Multiple penalized principal curves: analysis and computation

abstract: We study the problem of finding the one-dimensional structure in a given data set. In other words we consider ways to approximate a given measure (data) by curves. We consider an objective functional whose minimizers are a regularization of principal curves and introduce a new functional which allows for multiple curves. We prove the existence of minimizers and establish their basic properties. We develop an efficient algorithm for obtaining (near) minimizers of the functional. While both of the functionals used are nonconvex, we argue that enlarging the configuration space to allow for multiple curves leads to a simpler energy landscape with fewer undesirable (high-energy) local minima. Furthermore we note that the approach proposed is able to find the one-dimensional structure even for data with considerable amount of noise.


title: Electroweak Naturalness and Deflected Mirage Mediation

abstract: We investigate the question of electroweak naturalness within the deflected mirage mediation (DMM) framework for supersymmetry breaking in the minimal supersymmetric standard model (MSSM). The class of DMM models considered are nine-parameter theories that fall within the general classification of the 19-parameter phenomenological MSSM (pMSSM). Our results show that these DMM models have regions of parameter space with very low electroweak fine-tuning, at levels comparable to the pMSSM. These parameter regions should be probed extensively in the current LHC run.


title: Ginzburg-Landau theory for skyrmions in inversion-symmetric magnets with competing interactions

abstract: Magnetic skyrmions have attracted considerable attention recently for their huge potential in spintronic applications. Generally skyrmions are big compared to the atomic lattice constant, which allows for the Ginzburg-Landau type description in the continuum limit. Such a description successfully captures the main experimental observations on skyrmions in B20 compound without inversion symmetry. Skyrmions can also exist in inversion-symmetric magnets with competing interactions. Here we derive a general Ginzburg-Landau theory for skyrmions in these magnets valid in the long wavelength limit. We study the unusual static and dynamical properties of skyrmions based on the derived Ginzburg-Landau theory. We show that an easy axis spin anisotropy is sufficient to stabilize a skyrmion lattice. Interestingly, the skyrmion in inversion-symmetric magnets has a new internal degree of freedom associated with the rotation of helicity, i.e. the "spin" of the skyrmion as a particle, in addition to the usual translational motion of skyrmions (orbital motion). The orbital and spin degree of freedoms of an individual skyrmion can couple to each other, and give rise to unusual behavior that is absent for the skyrmions stabilized by the Dzyaloshinskii-Moriya interaction. The derived Ginzburg-Landau theory provides a convenient and general framework to discuss skyrmion physics and will facilitate the search for skyrmions in inversion-symmetric magnets.

categories: cond-mat.mes-hall cond-mat.soft cond-mat.str-el nlin.PS


title: Clustered marginalization of minorities during social transitions induced by co-evolution of behaviour and network structure

abstract: Large-scale transitions in societies are associated with both individual behavioural change and restructuring of the social network. These two factors have often been considered independently, yet recent advances in social network research challenge this view. Here we show that common features of societal marginalization and clustering emerge naturally during transitions in a co-evolutionary adaptive network model. This is achieved by explicitly considering the interplay between individual interaction and a dynamic network structure in behavioural selection. We exemplify this mechanism by simulating how smoking behaviour and the network structure get reconfigured by changing social norms. Our results are consistent with empirical findings: The prevalence of smoking was reduced, remaining smokers were preferentially connected among each other and formed increasingly marginalised clusters. We propose that self-amplifying feedbacks between individual behaviour and dynamic restructuring of the network are main drivers of the transition. This generative mechanism for co-evolution of individual behaviour and social network structure may apply to a wide range of examples beyond smoking.


title: The Bohr superconductor

abstract: Superconductors have often been described as `giant atoms'. The simplest description of atoms that heralded their quantum understanding was proposed by Bohr in 1913. The Bohr atom starts from some simple assumptions and deduces that the angular momentum of the electron in Bohr orbits is quantized in integer units of $\hbar$. This remarkable result, which does not appear to be implicit in the assumptions of the model, can be interpreted as a `theoretical proof' of the model's validity to describe physical reality at some level. Similarly we point out here that from some simple assumptions it can be deduced that electrons in superconductors reside in mesoscopic orbits with orbital angular momentum $\hbar/2$. This implies that both in superconductors and in ferromagnets the long-range order results from elementary units of identical angular momentum. Similarly to the case of the Bohr atom we propose that this remarkable result is compelling evidence that this physics, which is not part of conventional BCS theory, describes physical reality at some level and heralds a qualitatively new understanding of superconductors.


title: Optimal Control of Conditional Value-at-Risk in Continuous Time

abstract: We consider continuous-time stochastic optimal control problems featuring Conditional Value-at-Risk (CVaR) in the objective. The major difficulty in these problems arises from time-inconsistency, which prevents us from directly using dynamic programming. To resolve this challenge, we convert to an equivalent bilevel optimization problem in which the inner optimization problem is standard stochastic control. Furthermore, we provide conditions under which the outer objective function is convex and differentiable. We compute the outer objective's value via a Hamilton-Jacobi-Bellman equation and its gradient via the viscosity solution of a linear parabolic equation, which allows us to perform gradient descent. The significance of this result is that we provide an efficient dynamic programming-based algorithm for optimal control of CVaR without lifting the state-space. To broaden the applicability of the proposed algorithm, we propose convergent approximation schemes in cases where our key assumptions do not hold and characterize relevant suboptimality bounds. In addition, we extend our method to a more general class of risk metrics, which includes mean-variance and median-deviation. We also demonstrate a concrete application to portfolio optimization under CVaR constraints. Our results contribute an efficient framework for solving time-inconsistent CVaR-based sequential optimization.


title: Chemical assembly of atomically thin transistors and circuits in a large scale

abstract: Next-generation electronics calls for new materials beyond silicon for increased functionality, performance, and scaling in integrated circuits. Carbon nanotubes and semiconductor nanowires are at the forefront of these materials, but have challenges due to the complex fabrication techniques required for large-scale applications. Two-dimensional (2D) gapless graphene and semiconducting transition metal dichalcogenides (TMDCs) have emerged as promising electronic materials due to their atomic thickness, chemical stability and scalability. Difficulties in the assembly of 2D electronic structures arise in the precise spatial control over the metallic and semiconducting atomic thin films. Ultimately, this impedes the maturity of integrating atomic elements in modern electronics. Here, we report the large-scale spatially controlled synthesis of the single-layer semiconductor molybdenum disulfide (MoS2) laterally in contact with conductive graphene. Transition electron microscope (TEM) studies reveal that the single-layer MoS2 nucleates at the edge of the graphene, creating a lateral 2D heterostructure. We demonstrate such chemically assembled 2D atomic transistors exhibit high transconductance (10 uS), on-off ratios (10^6), and mobility (20 cm^2 V^-1 s^-1). We assemble 2D logic circuits, such as a heterostructure NMOS inverter with a high voltage gain, up to 70, enabled by the precise site selectivity from atomically thin conducting and semiconducting crystals. This scalable chemical assembly of 2D heterostructures may usher in a new era in two-dimensional electronic circuitry and computing.


title: Cavity-controlled chemistry in molecular ensembles

abstract: The demonstration of strong and ultrastrong coupling regimes of cavity QED with polyatomic molecules has opened new routes to control chemical dynamics at the nanoscale. We show that strong resonant coupling of a cavity field with an electronic transition can effectively decouple collective electronic and nuclear degrees of freedom in a disordered molecular ensemble, even for molecules with high-frequency quantum vibrational modes having strong electron-vibration interactions. This type of polaron decoupling can be used to control chemical reactions. We show that the rate of electron transfer reactions in a cavity can be orders of magnitude larger than in free space, for a wide class of organic molecular species.


title: Greybody factors for Schwarzschild black holes: Path-ordered exponentials and product integrals

abstract: In recent work concerning the sparsity of the Hawking flux [arXiv:1506.03975v2], we found it necessary to re-examine what is known regarding the greybody factors of black holes, with a view to extending and expanding on some old results from the 1970s. Focussing specifically on Schwarzschild black holes, we re-calculated and re-assessed the greybody factors using a path-ordered-exponential approach, a technique which has the virtue of providing a semi-explicit formula for the relevant Bogoliubov coefficients. These path-ordered-exponentials, (being based on a "transfer matrix" formalism), are closely related to so-called "product integrals", leading to quite straightforward and direct numerical evaluation, while avoiding any need for numerically solving differential equations. Furthermore, while considerable analytic information is already available regarding both the high-frequency and low-frequency asymptotics of these greybody factors, numerical approaches seem better adapted to finding suitable "global models" for these greybody factors in the intermediate frequency regime, where most of the Hawking flux is concentrated. Working in a more general context, these path-ordered-exponential techniques are also likely to be of interest for generic barrier-penetration problems.


title: Interacting Double Coset Magnons

abstract: We consider the anomalous dimensions of restricted Schur polynomials constructed using n~O(N) complex adjoint scalars Z and m complex adjoint scalars Y. We fix m<<n so that our operators are almost half BPS. At leading order in m/n this system corresponds to a dilute gas of m free magnons. Adding the first correction of order m/n to the anomalous dimension, which arises at two loops, we find non-zero magnon interactions. The form of this new operator mixing is studied in detail for a system of two giant gravitons with four strings attached.


title: How the medium shapes the message: Printing and the rise of the arts and sciences

abstract: Communication technologies, from printing to social media, affect our historical records by changing the way ideas are spread and recorded. Yet, finding statistical instruments to address the endogeneity of this relationship has been problematic. Here we use a city's distance to Mainz as an instrument for the introduction of the printing press in European cities, together with data on nearly 50 thousand biographies, to show that cities that adopted printing earlier were more likely to be the birthplace of a famous scientist or artist in the years after the introduction of printing. At the global scale, we find that the introduction of printing is associated with a significant and discontinuous increase in the number of biographies available from people born after the introduction of printing. We bring these findings to more recent communication technologies by showing that the number of radios and televisions in a country correlates with the number of performing artists and sports players from that country that reached global fame, even after controlling for GDP, population, and including country and year fixed effects. These findings support the hypothesis that the introduction of communication technologies shift historical records in the direction of the content that is best suited for each technology.


title: Few-layer Phosphorene: An Ideal 2D Material For Tunnel Transistors

abstract: 2D transition metal dichalcogenides (TMDs) have attracted a lot of attention recently for energy-efficient tunneling-field-effect transistor (TFET) applications due to their excellent gate control resulting from their atomically thin dimensions. However, most TMDs have bandgaps (Eg) and effective masses (m*) outside the optimum range needed for high performance. It is shown here that the newly discovered 2D material, few-layer phosphorene, has several properties ideally suited for TFET applications: 1) direct Eg in the optimum range ~1.0-0.4 eV, 2) light transport m* (0.15m0), 3) anisotropic m* which increases the density of states near the band edges, and 4) a high mobility. These properties combine to provide phosphorene TFET outstanding ION 1 mA/um, ON/OFF ratio~1e6, scalability to 6 nm channel length and 0.2 V supply voltage, thereby significantly outperforming the best TMD-TFETs in energy-delay products. Full-band atomistic quantum transport simulations establish phosphorene TFETs as serious candidates for energy-eficient and scalable replacements of MOSFETs.


title: Spin transport in molybdenum disulfide multilayer channel

abstract: Molybdenum disulfide has recently emerged as a promising two-dimensional semiconducting material for nano-electronic, opto-electronic and spintronic applications. However, demonstrating spin-transport through a semiconducting MoS2 channel is challenging. Here we demonstrate the electrical spin injection and detection in a multilayer MoS2 semiconducting channel. A magnetoresistance (MR) around 1% has been observed at low temperature through a 450nm long, 6 monolayer thick channel with a Co/MgO spin injector and detector. From a systematic study of the bias voltage, temperature and back-gate voltage dependence of MR, it is found that the hopping via localized states in the contact depletion region plays a key role for the observation of the two-terminal MR. Moreover, the electron spin-relaxation is found to be greatly suppressed in the multilayer MoS2 channel for in-plan spin injection. The underestimated long spin diffusion length (~235nm) and large spin lifetime (~46ns) open a new avenue for spintronic applications using multilayer transition metal dichalcogenides.


title: Packet Transactions: High-level Programming for Line-Rate Switches

abstract: Many algorithms for congestion control, scheduling, network measurement, active queue management, security, and load balancing require custom processing of packets as they traverse the data plane of a network switch. To run at line rate, these data-plane algorithms must be in hardware. With today's switch hardware, algorithms cannot be changed, nor new algorithms installed, after a switch has been built. This paper shows how to program data-plane algorithms in a high-level language and compile those programs into low-level microcode that can run on emerging programmable line-rate switching chipsets. The key challenge is that these algorithms create and modify algorithmic state. The key idea to achieve line-rate programmability for stateful algorithms is the notion of a packet transaction : a sequential code block that is atomic and isolated from other such code blocks. We have developed this idea in Domino, a C-like imperative language to express data-plane algorithms. We show with many examples that Domino provides a convenient and natural way to express sophisticated data-plane algorithms, and show that these algorithms can be run at line rate with modest estimated die-area overhead.


title: The number of atoms in an atomic domain

abstract: We study the number of atoms and maximal ideals in an atomic domain with finitely many atoms and no prime elements. We show in particular that for all $m,n \in \mathbb{Z}^+$ with $n \geq 3$ and $4 \leq m \leq \frac{n}{3}$ there is an atomic domain with precisely $n$ atoms, precisely $m$ maximal ideals and no prime elements. The proofs use both commutative algebra and additive number theory.


title: Inhomogeneous chiral phases in two-flavor quark matter

abstract: We present a systematic study of the phase structure of QCD in a generalized Ginzburg-Landau framework. We find, going up in density, a strongly interacting matter might go through the "pion crystal", an exotic inhomogeneous chiral phase before reaching the full restoration of symmetry.


title: Energetic Gamma Radiation from Rapidly Rotating Black Holes

abstract: Supermassive black holes are believed to be the central power house of active galactic nuclei. Applying the pulsar outer-magnetospheric particle accelerator theory to black-hole magnetospheres, we demonstrate that an electric field is exerted along the magnetic field lines near the event horizon of a rotating black hole. In this particle accelerator (or a gap), electrons and positrons are created by photon-photon collisions and accelerated in the opposite directions by this electric field, efficiently emitting gamma-rays via curvature and inverse-Compton processes. It is shown that a gap arises around the null charge surface formed by the frame-dragging effect, provided that there is no current injection across the gap boundaries. The gap is dissipating a part of the hole's rotational energy, and the resultant gamma-ray luminosity increases with decreasing plasma accretion from the surroundings. Considering an extremely rotating supermassive black hole, we show that such a gap reproduces the significant very-high-energy (VHE) gamma-ray flux observed from the radio galaxy IC 310, provided that the accretion rate becomes much less than the Eddington rate particularly during its flare phase. It is found that the curvature process dominates the inverse-Compton process in the magnetosphere of IC~310, and that the observed power-law-like spectrum in VHE gamma-rays can be explained to some extent by a superposition of the curvature emissions with varying curvature radius. It is predicted that the VHE spectrum extends into higher energies with increasing VHE photon flux.


title: Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata

abstract: Probabilistic automata were introduced by Rabin in 1963 as language acceptors. Two automata are equivalent if and only if they accept each word with the same probability. On the other side, in the process algebra community, probabilistic automata were re-proposed by Segala in 1995 which are more general than Rabin's automata. Bisimulations have been proposed for Segala's automata to characterize the equivalence between them. So far the two notions of equivalences and their characteristics have been studied mostly independently. In this paper, we consider Segala's automata, and propose a novel notion of distribution-based bisimulation by joining the existing equivalence and bisimilarities. We demonstrate the utility of our definition by studying distribution-based bisimulation metrics, which gives rise to a robust notion of equivalence for Rabin's automata. We compare our notions of bisimulation to some existing distribution-based bisimulations and discuss their compositionality and relations to trace equivalence. Finally, we show the decidability and complexity of all relations.


title: Optimal Las Vegas reduction from one-way set reconciliation to error correction

abstract: Suppose we have two players $A$ and $C$, where player $A$ has a string $s[0..u-1]$ and player $C$ has a string $t[0..u-1]$ and none of the two players knows the other's string. Assume that $s$ and $t$ are both over an integer alphabet $[\sigma]$, where the first string contains $n$ non-zero entries. We would wish to answer to the following basic question. Assuming that $s$ and $t$ differ in at most $k$ positions, how many bits does player $A$ need to send to player $C$ so that he can recover $s$ with certainty? Further, how much time does player $A$ need to spend to compute the sent bits and how much time does player $C$ need to recover the string $s$? This problem has a certain number of applications, for example in databases, where each of the two parties possesses a set of $n$ key-value pairs, where keys are from the universe $[u]$ and values are from $[\sigma]$ and usually $n\ll u$. In this paper, we show a time and message-size optimal Las Vegas reduction from this problem to the problem of systematic error correction of $k$ errors for strings of length $\Theta(n)$ over an alphabet of size $2^{\Theta(\log\sigma+\log (u/n))}$. The additional running time incurred by the reduction is linear randomized for player $A$ and linear deterministic for player $B$, but the correction works with certainty. When using the popular Reed-Solomon codes, the reduction gives a protocol that transmits $O(k(\log u+\log\sigma))$ bits and runs in time $O(n\cdot\mathrm{polylog}(n)(\log u+\log\sigma))$ for all values of $k$. The time is randomized for player $A$ (encoding time) and deterministic for player $C$ (decoding time). The space is optimal whenever $k\leq (u\sigma)^{1-\Omega(1)}$.


title: Experimental Realization of Two-Dimensional Boron Sheets

abstract: Boron is the fifth element in the periodic table and possesses rich chemistry second only to carbon. A striking feature of boron is that B12 icosahedral cages occur as the building blocks in bulk boron and many boron compounds. This is in contrast to its neighboring element, carbon, which prefers 2D layered structure (graphite) in its bulk form. On the other hand, boron clusters of medium size have been predicted to be planar or quasi-planar, such as B12+ , B13+, B19-, B36, and so on. This is also in contrast to carbon clusters which exhibit various cage structures (fullerenes). Therefore, boron and carbon can be viewed as a set of complementary chemical systems in their bulk and cluster structures. Now, with the boom of graphene, an intriguing question is that whether boron can also form a monoatomic-layer 2D sheet structure? Here, we report the first successful experimental realization of 2D boron sheets. We have revealed two types of boron sheet structures, corresponding to a triangular boron lattice with different arrangements of the hexagonal holes. Moreover, our boron sheets were found to be relatively stable against oxidization, and interacts only weekly with the substrate. The realization of such a long expected 2D boron sheet could open a door toward boron electronics, in analogous to the carbon electronics based on graphene.


title: Morpho-syntactic Lexicon Generation Using Graph-based Semi-supervised Learning

abstract: Morpho-syntactic lexicons provide information about the morphological and syntactic roles of words in a language. Such lexicons are not available for all languages and even when available, their coverage can be limited. We present a graph-based semi-supervised learning method that uses the morphological, syntactic and semantic relations between words to automatically construct wide coverage lexicons from small seed sets. Our method is language-independent, and we show that we can expand a 1000 word seed lexicon to more than 100 times its size with high quality for 11 languages. In addition, the automatically created lexicons provide features that improve performance in two downstream tasks: morphological tagging and dependency parsing.


title: Set-membership improved normalized subband adaptive filter algorithms for acoustic echo cancellation

abstract: In order to improve the performances of recently-presented improved normalized subband adaptive filter (INSAF) and proportionate INSAF algorithms for highly noisy system, this paper proposes their set-membership versions by exploiting the theory of set-membership filtering. Apart from obtaining smaller steady-state error, the proposed algorithms significantly reduce the overall computational complexity. In addition, to further improve the steady-state performance for the algorithms, their smooth variants are developed by using the smoothed absolute subband output errors to update the step sizes. Simulation results in the context of acoustic echo cancellation have demonstrated the superiority of the proposed algorithms.


title: Generalized Heegner cycles at Eisenstein primes and the Katz $p$-adic $L$-function

abstract: In this paper, we consider normalized newforms $f\in S_k(\Gamma_0(N),\varepsilon_f)$ whose non-constant term Fourier coefficients are congruent to those of an Eisenstein series modulo some prime ideal above a rational prime $p$. In this situation, we establish a congruence between the anticyclotomic $p$-adic $L$-function of Bertolini-Darmon-Prasanna and the Katz two-variable $p$-adic $L$-function. From this, we derive congruences between images under the $p$-adic Abel-Jacobi map of certain generalized Heegner cycles attached to $f$ and special values of the Katz $p$-adic $L$-function. In particular, our results apply to newforms associated with elliptic curves $E/\mathbb{Q}$ whose mod $p$ Galois representations $E[p]$ are reducible at a good prime $p$. As a consequence, we show the following: if $K$ is an imaginary quadratic field satisfying the Heegner hypothesis with respect to $E$ and in which $p$ splits, and if the bad primes of $E$ satisfy certain congruence conditions mod $p$ and $p$ does not divide certain Bernoulli numbers, then the Heegner point $P_{E}(K)$ is non-torsion, in particular implying that $\text{rank}_{\mathbb{Z}}E(K) = 1$. From this, we show that when $E$ is semistable with reducible mod $3$ Galois representation, then a positive proportion of real quadratic twists of $E$ have rank 1 and a positive proportion of imaginary quadratic twists of $E$ have rank 0.


title: The M^X/M/c queue with state-dependent control at idle time and catastrophes

abstract: IIn this paper, we consider an M^X/M/c queue with state-dependent control at idle time and catastrophes. Properties of the queues which terminate when the servers become idle are firstly studied. Recurrence, equilibrium distribution and equilibrium queue-size structure are studied for the case of resurrection and no catastrophes. All of these results and the first effective catastrophe occurrence time are then investigated for the case of resurrection and catastrophes. In particular, we can obtain the Laplace transform of the transition probability for the absorptive M^X/M/c queue.


title: Synchronizing quantum and classical clocks made of quantum particles

abstract: We demonstrate that the quantum corrections to the classical arrival time for a quantum object in a potential free region of space, as computed by Galapon [Phys. Rev. A {\bf 80}, 030102(R) (2009)], can be eliminated up to a given order of $\hbar$ by choosing an appropriate position-dependent phase for the object's wavefunction. This then implies that we can make the quantum arrival time of the object as close as possible to its corresponding classical arrival time, allowing us to synchronize a classical and quantum clock which tells time using the classical and quantum arrival time of the object, respectively. We provide an example for synchronizing such a clock by making use of a quantum object with a position-dependent phase imprinted on the object's initial wavefunction with the use of an impulsive potential.


title: Spectroscopy of metal "superatom" nanoclusters and high-$T_c$ superconducting pairing

abstract: A unique property of metal nanoclusters is the "superatom" shell structure of their delocalized electrons. The electronic shell levels are highly degenerate and therefore represent sharp peaks in the density of states. This can enable exceptionally strong electron pairing in certain clusters composed of tens to hundreds of atoms. In a finite system, such as a free nanocluster or a nucleus, pairing is observed most clearly via its effect on the energy spectrum of the constituent fermions. Accordingly, we performed a photoionization spectroscopy study of size-resolved aluminum nanoclusters and observed a rapid rise of the near-threshold density of states of several clusters ($Al_{37,44,66,68}$) with decreasing temperature. The characteristics of this behavior are consistent with compression of the density of states by a pairing transition into a high-temperature superconducting state with $T_c$>~100 K. This value exceeds that of bulk aluminum by two orders of magnitude. These results highlight the potential of novel pairing effects in size-quantized systems and the possibility to attain even higher critical temperatures by optimizing the particles' size and composition. As a new class of high-temperature superconductors, such metal nanocluster particles are promising building blocks for high-$T_c$ materials, devices, and networks.


title: Ordinal Notations in Caucal Hierarchy

abstract: Caucal hierarchy is a well-known class of graphs with decidable monadic theories. It were proved by L. Braud and A. Carayol that well-orderings in the hierarchy are the well-orderings with order types less than $\varepsilon_0$. Naturally, every well-ordering from the hierarchy could be considered as a constructive system of ordinal notations. In proof theory constructive systems of ordinal notations with fixed systems of cofinal sequences are used for the purposes of classification of provable recursive functions of theories. We show that any well-ordering from the hierarchy could be extended by a monadically definable system of cofinal sequences with Bachmann property. We show that the growth speed of functions from fast-growing hierarchy based on constructive ordinal notations from Caucal hierarchy may be only slightly influenced by the choice of monadically definable systems of cofinal sequences. We show that for ordinals less than $\omega^\omega$ a fast-growing hierarchy based on any system of ordinal notations from Caucal hierarchy coincides with L\"ob-Wainer hierarchy.


title: X-Ray afterglow of SWIFT J1644+57: a Compton echo?

abstract: Swift, Chandra and XMM have found a weak but nearly constant X-ray component from Swift J1644+57 that appeared at ~500 days and was visible at least until ~ 1400 days after the stellar capture, which cannot be explained by standard tidal disruption theories. We suggest that this X-ray afterglow component may result from Thomson scattering between the primary X-rays and its surrounding plasma, i.e. the Compton echo effect. Similar phenomena has also been observed from molecular clouds in our Galactic Center, which were caused by the past activity of Srg A*. If this interpretation of Swift J1644+57 afterglow is correct, this is the first Compton Echo effect observed in the cosmological distances.


title: Fluctuations of conserved charges in relativistic heavy ion collisions: An introduction

abstract: Bulk fluctuations of conserved charges measured by event-by-event analysis in relativistic heavy ion collisions are observables which are believed to carry significant amount of information on the hot medium created by the collisions. Active studies have been done recently experimentally, theoretically, and on the lattice. In particular, non-Gaussianity of the fluctuations has acquired much attention recently. In this review, we give a pedagogical introduction to these issues, and survey recent developments in this field of research. Starting from the definition of cumulants, basic concepts in fluctuation physics, such as thermal fluctuations in statistical mechanics and time evolution of fluctuations in diffusive systems, are described. Phenomena which are expected to occur in finite temperature and/or density QCD matter and their measurement by event-by-event analyses are also elucidated.


title: Phase diagram of the ground states of DNA condensates

abstract: Phase diagram of the ground states of DNA in a bad solvent is studied for a semi-flexible polymer model with a generalized local elastic bending potential characterized by a nonlinearity parameter $x$ and effective self-attraction promoting compaction. $x=1$ corresponds to the worm-like chain model. Surprisingly, the phase diagram as well as the transition lines between the ground states are found to be a function of $x$. The model provides a simple explanation for the results of prior experimental and computational studies and makes predictions for the specific geometries of the ground states. The results underscore the impact of the form of the microscopic bending energy at macroscopic observable scales.


title: Regular Foliations and Poisson Structures on Orientable Manifolds

abstract: On an orientable manifold M, we consider a regular even dimensional foliation F which is globally defined by a set of k-independent 1-forms. We give necessary and sufficient conditions for the existence of a regular Poisson structure on M whose Characteristic foliation is precisely F. Moreover, introducing a special class of the foliated 1-cohomology we describe obstructions for the existence of unimodular Poisson structures with a given characteristic foliation. In the same lines, we also give conditions for the existence of transversally constant Poisson structures.