title: Monitoring Observations of the Jupiter-Family Comet 17P/Holmes during 2014 Perihelion Passage

abstract: We performed a monitoring observation of a Jupiter-Family comet, 17P/Holmes, during its 2014 perihelion passage to investigate its secular change in activity. The comet has drawn the attention of astronomers since its historic outburst in 2007, and this occasion was its first perihelion passage since then. We analyzed the obtained data using aperture photometry package and derived the Afrho parameter, a proxy for the dust production rate. We found that Afrho showed asymmetric properties with respect to the perihelion passage: it increased moderately from 100 cm at the heliocentric distance r_h=2.6-3.1 AU to a maximal value of 185 cm at r_h = 2.2 AU (near the perihelion) during the inbound orbit, while dropping rapidly to 35 cm at r_h = 3.2 AU during the outbound orbit. We applied a model for characterizing dust production rates as a function of r_h and found that the fractional active area of the cometary nucleus had dropped from 20%-40% in 2008-2011 (around the aphelion) to 0.1%-0.3% in 2014-2015 (around the perihelion). This result suggests that a dust mantle would have developed rapidly in only one orbital revolution around the sun. Although a minor eruption was observed on UT 2015 January 26 at r_h = 3.0 AU, the areas excavated by the 2007 outburst would be covered with a layer of dust (<~ 10 cm depth) which would be enough to insulate the subsurface ice and to keep the nucleus in a state of low activity.


title: Evolutionary and topological properties of gene modules and driver mutations in a leukemia gene regulatory network

abstract: The diverse, specialized genes in today's lifeforms evolved from a common core of ancient, elementary genes. However, these genes did not evolve individually: gene expression is controlled by a complex network of interactions, and alterations in one gene may drive reciprocal changes in its proteins' binding partners. We show that the topology of a leukemia gene regulatory network is strongly coupled with evolutionary properties. Slowly-evolving ("cold"), old genes tend to interact with each other, as do rapidly-evolving ("hot"), young genes, causing genes to evolve in clusters. We argue that gene duplication placed old, cold genes at the center of the network, and young, hot genes on the periphery, and demonstrate this with single-node centrality measures and two new measures of efficiency. Integrating centrality measures with evolutionary information, we define a medically-relevant "cancer network core," strongly enriched for common cancer mutations ($p=2\times 10^{-14}$). This could aid in identifying driver mutations and therapeutic targets.


title: Interactive Discovery of Coordinated Relationship Chains with Maximum Entropy Models

abstract: Modern visual analytic tools promote human-in-the-loop analysis but are limited in their ability to direct the user toward interesting and promising directions of study. This problem is especially acute when the analysis task is exploratory in nature, e.g., the discovery of potentially coordinated relationships in massive text datasets. Such tasks are very common in domains like intelligence analysis and security forensics where the goal is to uncover surprising coalitions bridging multiple types of relations. We introduce new maximum entropy models to discover surprising chains of relationships leveraging count data about entity occurrences in documents. These models are embedded in a visual analytic system called MERCER that treats relationship bundles as first class objects and directs the user toward promising lines of inquiry. We demonstrate how user input can judiciously direct analysis toward valid conclusions whereas a purely algorithmic approach could be led astray. Experimental results on both synthetic and real datasets from the intelligence community are presented.


title: Gravitational potential wells and the cosmic bulk flow

abstract: The bulk flow is a volume average of the peculiar velocities and a useful probe of the mass distribution on large scales. The gravitational instability model views the bulk flow as a potential flow that obeys a Maxwellian Distribution. We use two N-body simulations, the LasDamas Carmen and the Horizon Run, to calculate the bulk flows of various sized volumes in the simulation boxes. Once we have the bulk flow velocities as a function of scale, we investigate the mass and gravitational potential distribution around the volume. We found that matter densities can be asymmetrical and difficult to detect in real surveys, however, the gravitational potential and its gradient may provide better tools to investigate the underlying matter distribution. This study shows that bulk flows are indeed potential flows and thus provides information on the flow sources. We also show that bulk flow magnitudes follow a Maxwellian distribution on scales $>10\ h^{-1}$Mpc.


title: Gamma-ray and optical oscillations in the blazar PKS 0537-441

abstract: We have considered the \textit{Fermi} $\gamma$-ray light curve of the blazar PKS 0537-441 during a high state extending from 2008/08/10 to 2011/08/27. The periodogram exhibits a peak at T $\sim$ 280 d, with a significance of $\sim$ 99.7 \%. A peak of similar relevance at $\frac{1}{2}$ T is found in the optical light curves. Considering the entire duration of the \textit{ Fermi} light curve 2008-2015, no significant peak is revealed, while the optical one remains meaningful. Comparing with recent observations of PKS 2155-304 and PG 1553+113 it seems that month-year oscillations can characterize some blazars. Month-scale oscillations can also show up only during phases of enhanced or bursting emission like in the case of PKS 0537-441.


title: Long-time asymptotic analysis of the Korteweg-de Vries equation via the dbar steepest descent method: The Soliton region

abstract: We address the problem of long-time asymptotics for the solutions of the Korteweg-de Vries equation under low regularity assumptions. We consider rapidly decreasing initial data admitting only a finite number of moments. For the so-called "soliton region", an improved asymptotic estimate is provided, in comparison with the one already present in the literature. Our analysis is based on the dbar steepest descent method proposed by P. Miller and K. T. D. -R. McLaughlin.


title: Evolved stars as donors in symbiotic binaries

abstract: This contribution is focused on the role of cool giants in symbiotic binaries. Especially, we pay attention to their mass-loss rates and the wind mass-transfer onto their compact accretors.


title: Topological phase transitions in the repulsively interacting Haldane-Hubbard model

abstract: Using dynamical mean-field theory and exact diagonalization we study the phase diagram of the repulsive Haldane-Hubbard model, varying the interaction strength and the sublattice potential difference. In addition to the quantum Hall phase with Chern number $C=2$ and the band insulator with $C=0$ present already in the noninteracting model, the system also exhibits a $C=0$ Mott insulating phase, and a $C=1$ quantum Hall phase. We explain the latter phase by a spontaneous symmetry breaking where one of the spin-components is in the Hall state and the other in the band insulating state.


title: The Abundance of Low Energy Cosmic Ray Boron and Nitrogen Nuclei Measured at Voyager 1 Beyond the Heliopause, Where Do They All Come From? An Interpretation Using a Leaky Box Galactic Propagation Model

abstract: Uncertainties in the Voyager data itself as well as the cross sections for production of these secondaries at these low energies are an important limitation on the estimates of the amount of matter traversed. We also attempt a fit to the B observations at low energies by considering a source component of B generated in 1.0 g/cm2 of matter near the sources but after acceleration. This would be equivalent to a Nested LBM. In this model the V1 data below 40 MeV/nuc is now well fit. For Nitrogen, which is dominated by a source component at these low energies, a fit to the data between 10-130 MeV/nuc can be obtained with a N/O source ratio = 6.3 + 1.0% and a path length compatible with the H and He propagation as noted above. This Voyager observation confirms earlier measurements of a low N abundance in the cosmic ray source relative to what is found for solar abundances, for example, where the N/O ratio is found to be ~12%.


title: Common Variable Learning and Invariant Representation Learning using Siamese Neural Networks

abstract: We consider the statistical problem of learning common source of variability in data which are synchronously captured by multiple sensors, and demonstrate that Siamese neural networks can be naturally applied to this problem. This approach is useful in particular in exploratory, data-driven applications, where neither a model nor label information is available. In recent years, many researchers have successfully applied Siamese neural networks to obtain an embedding of data which corresponds to a "semantic similarity". We present an interpretation of this "semantic similarity" as learning of equivalence classes. We discuss properties of the embedding obtained by Siamese networks and provide empirical results that demonstrate the ability of Siamese networks to learn common variability.


title: Rotating black holes pierced by a cosmic string

abstract: A rotating black hole threaded by an infinitely long cosmic string is studied in the framework of the Abelian Higgs model. We show that contrary to a common belief, in the presence of rotation the backreaction of the string does not induce a simple conical deficit. This leads to new distinct features of the Kerr--string system such as modified ISCO or shifted ergosphere, though these effects are likely outside the range of observational precision. For an extremal rotating black hole, the system exhibits a first-order phase transition for the gravitational Meissner effect: whereas the horizon of large black holes is pierced by the vortex, small black holes exhibit a flux-expelled solution, with the gauge and scalar field remaining identically in their false vacuum state on the event horizon. A brief review prepared for the MG14 Proceedings.


title: Sparse group factor analysis for biclustering of multiple data sources

abstract: Motivation: Modelling methods that find structure in data are necessary with the current large volumes of genomic data, and there have been various efforts to find subsets of genes exhibiting consistent patterns over subsets of treatments. These biclustering techniques have focused on one data source, often gene expression data. We present a Bayesian approach for joint biclustering of multiple data sources, extending a recent method Group Factor Analysis (GFA) to have a biclustering interpretation with additional sparsity assumptions. The resulting method enables data-driven detection of linear structure present in parts of the data sources. Results: Our simulation studies show that the proposed method reliably infers bi-clusters from heterogeneous data sources. We tested the method on data from the NCI-DREAM drug sensitivity prediction challenge, resulting in an excellent prediction accuracy. Moreover, the predictions are based on several biclusters which provide insight into the data sources, in this case on gene expression, DNA methylation, protein abundance, exome sequence, functional connectivity fingerprints and drug sensitivity.


title: Exact solutions of Friedmann equation

abstract: The cosmological Friedmann equation for the universe filled with a scalar field is reduced to a system of two equations of the first order, one of which is an equation with separable variables. For the second equation the exact solutions are given in closed form for potentials as constants and exponents. For the same equation exact solutions for quadratic potential are written in the form of a series in the spiral and attractor areas. Also exact solutions for very arbitrary potentials are given in the neighborhood of endpoint and infinity. The existence of all these classical solutions is proven.


title: Dynamics of a Chlorophyll Dimer in Collective and Local Thermal Environments

abstract: We present a theoretical analysis of exciton transfer and decoherence effects in a photosynthetic dimer interacting with collective (correlated) and local (uncorrelated) protein-solvent environments. Our approach is based on the framework of the spin-boson model. We derive explicitly the thermal relaxation and decoherence rates of the exciton transfer process, valid for arbitrary temperatures and for arbitrary (in particular, large) interaction constants between the dimer and the environments. We establish a generalization of the Marcus formula, giving reaction rates for dimer levels possibly individually and asymmetrically coupled to environments. We identify rigorously parameter regimes for the validity of the generalized Marcus formula. The existence of long living quantum coherences at ambient temperatures emerges naturally from our approach.


title: Combining Fuzzy Cognitive Maps and Discrete Random Variables

abstract: In this paper we propose an extension to the Fuzzy Cognitive Maps (FCMs) that aims at aggregating a number of reasoning tasks into a one parallel run. The described approach consists in replacing real-valued activation levels of concepts (and further influence weights) by random variables. Such extension, followed by the implemented software tool, allows for determining ranges reached by concept activation levels, sensitivity analysis as well as statistical analysis of multiple reasoning results. We replace multiplication and addition operators appearing in the FCM state equation by appropriate convolutions applicable for discrete random variables. To make the model computationally feasible, it is further augmented with aggregation operations for discrete random variables. We discuss four implemented aggregators, as well as we report results of preliminary tests.


title: Scaling like behaviour of resistivity observed in LaNiO_3 thin films grown on SrTiO_3 substrate by pulsed laser deposition

abstract: We discuss the origin of the temperature dependence of resistivity observed in highly oriented LaNiO_3 thin films (of thickness d) grown on SrTiO_3 substrate by a pulsed laser deposition technique. All the experimental data are found to collapse into a single universal curve [T/T_{sf}(d)]^{3/2} for the entire temperature interval (20K<T<300K) with T_{sf}(d) being the onset temperature for triggering a resonant scattering of conduction electrons by spin fluctuations in LaNiO_3/SrTiO_3 heterostructure.


title: Analytical model for ring heater thermal compensation in the Advanced Laser Interferometer Gravitational-wave Observatory

abstract: Advanced laser interferometer gravitational-wave detectors use high laser power to achieve design sensitivity. A small part of this power is absorbed in the interferometer cavity mirrors where it creates thermal lenses, causing aberrations in the main laser beam that must be minimized by the actuation of "ring heaters," which are additional heater elements that are aimed to reduce the temperature gradients in the mirrors. In this article we derive the first, to the best of our knowledge, analytical model of the temperature field generated by an ideal ring heater. We express the resulting optical aberration contribution to the main laser beam in this axisymmetric case. Used in conjunction with wavefront measurements, our model provides a more complete understanding of the thermal state of the cavity mirrors and will allow a more efficient use of the ring heaters in the Advanced Laser Interferometer Gravitational-wave Observatory.


title: Combined statistical and model based texture features for improved image classification

abstract: This paper aims to improve the accuracy of texture classification based on extracting texture features using five different texture methods and classifying the patterns using a naive Bayesian classifier. Three statistical-based and two model-based methods are used to extract texture features from eight different texture images, then their accuracy is ranked after using each method individually and in pairs. The accuracy improved up to 97.01% when model based -Gaussian Markov random field (GMRF) and fractional Brownian motion (fBm) - were used together for classification as compared to the highest achieved using each of the five different methods alone; and proved to be better in classifying as compared to statistical methods. Also, using GMRF with statistical based methods, such as Gray level co-occurrence (GLCM) and run-length (RLM) matrices, improved the overall accuracy to 96.94% and 96.55%; respectively.


title: A Pivot-Based Improvement to Sandwich-Based Confidence Intervals

abstract: The current standard for confidence interval construction in the context of a possibly misspecified model is to use an interval based on the sandwich estimate of variance. These intervals provide asymptotically correct coverage, but small-sample coverage is known to be poor. By eliminating a plug-in assumption, we derive a pivot-based method for confidence interval construction under possibly misspecified models. When compared against confidence intervals generated by the sandwich estimate of variance, this method provides more accurate coverage of the pseudo-true parameter at small sample sizes. This is shown in the results of several simulation studies. Asymptotic results show that our pivot-based intervals have large sample efficiency equal to that of intervals based on the sandwich estimate of variance.


title: The K-theory of twisted multipullback quantum odd spheres and complex projective spaces

abstract: We find multipullback quantum odd-dimensional spheres equipped with natural $U(1)$-actions that yield the multipullback quantum complex projective spaces constructed from Toeplitz cubes as noncommutative quotients. We prove that the noncommutative line bundles associated to multipullback quantum odd spheres are pairwise stably non-isomorphic, and that the $K$-groups of multipullback quantum complex projective spaces and odd spheres coincide with their classical counterparts. We show that these $K$-groups remain the same for more general twisted versions of our quantum odd spheres and complex projective spaces.


title: Higher order spin noise spectroscopy of atomic spins in fluctuating external fields

abstract: We discuss the effect of external noisy magnetic fields on mesoscopic spin fluctuations that can be probed in semiconductors and atomic vapors by means of optical spin noise spectroscopy (SNS). We show that conventional arguments of the law of large numbers do not apply to spin correlations induced by external fields, namely, the magnitude of the 4th order spin cumulant grows as $\sim N^2$ with the number $N$ of observed spins, i.e. it is not suppressed in comparison to the 2nd order cumulant. This allows us to design a simple experiment to measure the 4th order cumulant of spin fluctuations in an atomic system near thermodynamic equilibrium and develop quantitative theory that explains all observations.


title: Measurement of spin correlation between top and antitop quarks produced in $p\bar{p}$ collisions at $\sqrt{s} = 1.96$ TeV

abstract: We present a measurement of the correlation between the spins of t and tbar quarks produced in proton-antiproton collisions at the Tevatron Collider at a center-of-mass energy of 1.96 TeV. We apply a matrix element technique to dilepton and single-lepton+jets final states in data accumulated with the D0 detector that correspond to an integrated luminosity of 9.7 fb$^{-1}$. The measured value of the correlation coefficient in the off-diagonal basis, $O_{off} = 0.89 \pm 0.22$ (stat + syst), is in agreement with the standard model prediction, and represents evidence for a top-antitop quark spin correlation difference from zero at a level of 4.2 standard deviations.


title: Joint limiting laws for high-dimensional independence tests

abstract: Testing independence is of significant interest in many important areas of large-scale inference. Using extreme-value form statistics to test against sparse alternatives and using quadratic form statistics to test against dense alternatives are two important testing procedures for high-dimensional independence. However, quadratic form statistics suffer from low power against sparse alternatives, and extreme-value form statistics suffer from low power against dense alternatives with small disturbances and may have size distortions due to its slow convergence. For real-world applications, it is important to derive powerful testing procedures against more general alternatives. Based on intermediate limiting distributions, we derive (model-free) joint limiting laws of extreme-value form and quadratic form statistics, and surprisingly, we prove that they are asymptotically independent. Given such asymptotic independencies, we propose (model-free) testing procedures to boost the power against general alternatives and also retain the correct asymptotic size. Under the high-dimensional setting, we derive the closed-form limiting null distributions, and obtain their explicit rates of uniform convergence. We prove their consistent statistical powers against general alternatives. We demonstrate the performance of our proposed test statistics in simulation studies. Our work provides very helpful insights to high-dimensional independence tests, and fills an important gap.


title: Triggered star formation in giant HI supershells: ionized gas

abstract: We considered the regions of triggered star formation inside kpc-sized HI supershells in three dwarf galaxies: IC 1613, IC 2574 and Holmberg II. The ionized and neutral gas morphology and kinematics were studied based on our observations with scanning Fabry-Perot interferometer at the SAO RAS 6-m telescope and 21 cm archival data of THINGS and LITTLE THINGS surveys. The qualitative analysis of the observational data performed in order to highlight the two questions: why the star formation occurred very locally in the supershells, and how the ongoing star formation in HI supershells rims influence its evolution? During the investigation we discovered the phenomenon never observed before in galaxies IC 2574 and Holmberg II: we found faint giant (kpc-sized) ionized shells in H-alpha and [SII]6717,6731 lines inside the supergiant HI shells.


title: Deterministic formation of highly coherent nitrogen-vacancy centers using a focused electron irradiation technique

abstract: We demonstrate fully three-dimensional and patterned localization of nitrogen-vacancy (NV) centers in diamond with coherence times in excess of 1 ms. Nitrogen {\delta}-doping during CVD diamond growth vertically confines nitrogen to 4 nm while electron irradiation with a transmission electron microscope (TEM) laterally confines vacancies to less than 1 {\mu}m. We characterize the effects of electron energy and dose on NV formation. Importantly, our technique enables the formation of reliably high-quality NV centers inside diamond nanostructures, with applications in quantum information and sensing.


title: Privacy Preservation in Distributed Subgradient Optimization Algorithms

abstract: Privacy preservation is becoming an increasingly important issue in data mining and machine learning. In this paper, we consider the privacy preserving features of distributed subgradient optimization algorithms. We first show that a well-known distributed subgradient synchronous optimization algorithm, in which all agents make their optimization updates simultaneously at all times, is not privacy preserving in the sense that the malicious agent can learn other agents' subgradients asymptotically. Then we propose a distributed subgradient projection asynchronous optimization algorithm without relying on any existing privacy preservation technique, where agents can exchange data between neighbors directly. In contrast to synchronous algorithms, in the new asynchronous algorithm agents make their optimization updates asynchronously. The introduced projection operation and asynchronous optimization mechanism can guarantee that the proposed asynchronous optimization algorithm is privacy preserving. Moreover, we also establish the optimal convergence of the newly proposed algorithm. The proposed privacy preservation techniques shed light on developing other privacy preserving distributed optimization algorithms.


title: Reduction of Nondeterministic Tree Automata

abstract: We present an efficient algorithm to reduce the size of nondeterministic tree automata, while retaining their language. It is based on new transition pruning techniques, and quotienting of the state space w.r.t. suitable equivalences. It uses criteria based on combinations of downward and upward simulation preorder on trees, and the more general downward and upward language inclusions. Since tree-language inclusion is EXPTIME-complete, we describe methods to compute good approximations in polynomial time. We implemented our algorithm as a module of the well-known libvata tree automata library, and tested its performance on a given collection of tree automata from various applications of libvata in regular model checking and shape analysis, as well as on various classes of randomly generated tree automata. Our algorithm yields substantially smaller and sparser automata than all previously known reduction techniques, and it is still fast enough to handle large instances.


title: Qualitative Analysis of VASS-Induced MDPs

abstract: We consider infinite-state Markov decision processes (MDPs) that are induced by extensions of vector addition systems with states (VASS). Verification conditions for these MDPs are described by reachability and Buchi objectives w.r.t. given sets of control-states. We study the decidability of some qualitative versions of these objectives, i.e., the decidability of whether such objectives can be achieved surely, almost-surely, or limit-surely. While most such problems are undecidable in general, some are decidable for large subclasses in which either only the controller or only the random environment can change the counter values (while the other side can only change control-states).


title: Some Aspects of the T-Duality Symmetric String Sigma Model

abstract: A manifestly T-dual invariant formulation of bosonic string theory is discussed here. It can be obtained by making both the usual string compact coordinates and their duals explicitly appear, on the same footing, in the world-sheet action. A peculiarity of such a model is the loss of the local Lorentz invariance which is required to be recovered on-shell. This dictates a constraint on the backgrounds which characterizes the double geometry of the target space. Constant and non-constant backgrounds are considered. In the former case, the local Lorentz constraint implies the geometry of a double torus with an $O(D,D)$ invariance. In the latter, it is shown how and when the $O(D,D)$ invariance still holds and when deformations from it can be implied. Results of the quantization of the free theory are also briefly exhibited.


title: Improving Style Similarity Metrics of 3D Shapes

abstract: The idea of style similarity metrics has been recently developed for various media types such as 2D clip art and 3D shapes. We explore this style metric problem and improve existing style similarity metrics of 3D shapes in four novel ways. First, we consider the color and texture of 3D shapes which are important properties that have not been previously considered. Second, we explore the effect of clustering a dataset of 3D models by comparing between style metrics for a single object type and style metrics that combine clusters of object types. Third, we explore the idea of user-guided learning for this problem. Fourth, we introduce an iterative approach that can learn a metric from a general set of 3D models. We demonstrate these contributions with various classes of 3D shapes and with applications such as style-based similarity search and scene composition.


title: Mass-Radius Relation for Rocky Planets based on PREM

abstract: Several small dense exoplanets are now known, inviting comparisons to Earth and Venus. Such comparisons require translating their masses and sizes to composition models of evolved multi-layer-interior planets. Such theoretical models rely on our understanding of the Earth's interior, as well as independently derived equations of state (EOS), but have so far not involved direct extrapolations from Earth's seismic model -PREM. In order to facilitate more detailed compositional comparisons between small exoplanets and the Earth, we derive here a semi-empirical mass-radius relation for two-layer rocky planets based on PREM: ${\frac{R}{R_\oplus}} = (1.07-0.21\cdot \text{CMF})\cdot (\frac{M}{M_\oplus})^{1/3.7}$, where CMF stands for Core Mass Fraction. It is applicable to 1$\sim$8 M$_{\oplus}$ and CMF of 0.0$\sim$0.4. Applying this formula to Earth and Venus and several known small exoplanets with radii and masses measured to better than $\sim$30\% precision gives a CMF fit of $0.26\pm0.07$.


title: From the geometry of box spaces to the geometry and measured couplings of groups

abstract: In this paper, we prove that if two `box spaces' of two residually finite groups are coarsely equivalent, then the two groups are `uniform measured equivalent' (UME). More generally, we prove that if there is a coarse embedding of one box space into another box space, then there exists a `uniform measured equivalent embedding' (UME-embedding) of the first group into the second one. This is a reinforcement of the easier fact that a coarse equivalence (resp.\ a coarse embedding) between the box spaces gives rise to a coarse equivalence (resp.\ a coarse embedding) between the groups. We deduce new invariants that distinguish box spaces up to coarse embedding and coarse equivalence. In particular, we obtain that the expanders coming from $SL_n(\mathbb{Z})$ can not be coarsely embedded inside the expanders of $SL_m(\mathbb{Z})$, where $n>m$ and $n,m\geq 3$. Moreover, we obtain a countable class of residually groups which are mutually coarse-equivalent but any of their box spaces are not coarse-equivalent.


title: Analytical SLAM Without Linearization

abstract: This paper solves the classical problem of simultaneous localization and mapping (SLAM) in a fashion which avoids linearized approximations altogether. Based on creating virtual synthetic measurements, the algorithm uses a linear time- varying (LTV) Kalman observer, bypassing errors and approximations brought by the linearization process in traditional extended Kalman filtering (EKF) SLAM. Convergence rates of the algorithm are established using contraction analysis. Different combinations of sensor information can be exploited, such as bearing measurements, range measurements, optical flow, or time-to-contact. As illustrated in simulations, the proposed algorithm can solve SLAM problems in both 2D and 3D scenarios with guaranteed convergence rates in a full nonlinear context.


title: Kepler Eclipsing Binary Stars. VII. The Catalog of Eclipsing Binaries Found in the Entire Kepler Data-Set

abstract: The primary Kepler Mission provided nearly continuous monitoring of ~200,000 objects with unprecedented photometric precision. We present the final catalog of eclipsing binary systems within the 105 square degree Kepler field of view. This release incorporates the full extent of the data from the primary mission (Q0-Q17 Data Release). As a result, new systems have been added, additional false positives have been removed, ephemerides and principal parameters have been recomputed, classifications have been revised to rely on analytical models, and eclipse timing variations have been computed for each system. We identify several classes of systems including those that exhibit tertiary eclipse events, systems that show clear evidence of additional bodies, heartbeat systems, systems with changing eclipse depths, and systems exhibiting only one eclipse event over the duration of the mission. We have updated the period and galactic latitude distribution diagrams and included a catalog completeness evaluation. The total number of identified eclipsing and ellipsoidal binary systems in the Kepler field of view has increased to 2878, 1.3% of all observed Kepler targets. An online version of this catalog with downloadable content and visualization tools is maintained at http://keplerEBs.villanova.edu.


title: The Packing While Traveling Problem

abstract: This paper introduces the Packing While Traveling problem as a new non-linear knapsack problem. Given are a set of cities that have a set of items of distinct profits and weights and a vehicle that may collect the items when visiting all the cities in a fixed order. Each selected item contributes its profit, but produces a transportation cost relative to its weight. The problem asks to find a subset of the items such that the total gain is maximized. We investigate constrained and unconstrained versions of the problem and show that both are NP-hard. We propose a pre-processing scheme that decreases the size of instances making them easier for computation. We provide lower and upper bounds based on mixed-integer programming (MIP) adopting the ideas of piecewise linear approximation. Furthermore, we introduce two exact approaches: one is based on MIP employing linearization technique, and another is a branch-infer-and-bound (BIB) hybrid approach that compounds the upper bound procedure with a constraint programming model strengthened with customized constraints. Our experimental results show the effectiveness of our exact and approximate solutions in terms of solution quality and computational time.


title: Quantum dephasing in a gated GaAs triple quantum dot due to nonergodic noise

abstract: We extract the phase coherence of a qubit defined by singlet and triplet electronic states in a gated GaAs triple quantum dot, measuring on timescales much shorter than the decorrelation time of the environmental noise. In this non-ergodic regime, we observe that the coherence is boosted and several dephasing times emerge, depending on how the phase stability is extracted. We elucidate their mutual relations, and demonstrate that they reflect the noise short-time dynamics.


title: Anisotropic emission of direct photons from Au+Au collisions at $\sqrt {s_{\rm NN}}=200~{\rm GeV}$ with EPOS3 and IP-Glasma

abstract: The observed large elliptic flow ($v_2$) of direct photons in relativistic heavy ion collisions challenges us to explain. In this paper we consider only two sources of direct photons, prompt photons and thermal photons. Prompt photons are calculated with QCD to next leading order, which fits well the spectra at high transverse momentum ($p_{\rm t}$) region. Thermal photons are calculated with AMY rate in a 3+1D viscous hydrodynamical evolution of the collision systems. Two types of initial conditions, EPOS3 and IP-Glasma, are employed. Our results with IP-Glasma initial condition agree with results in published work in most cases, and the difference tells the regions effected by the absence of viscous correction in photon emission rate. Because both models are well constrained with hadron data, the hydrodynamic evolution of collision systems in the two models have many common. However, the transverse velocity of the collective motion are quite different. This makes a big difference in the anisotropic emission of direct photon emission. The observed large elliptic flow of direct photons is reproduced with EPOS3 hydrodynamic evolution.


title: The photon pair source that survived a rocket explosion

abstract: We report on the performance of a compact photon pair source that was recovered intact from a failed space launch. The source had been embedded in a nanosatellite and was designed to perform pathfinder experiments leading to global quantum communication networks using spacecraft. Despite the launch vehicle explosion soon after takeoff?, the nanosatellite was successfully retrieved from the accident site and the source within it was found to be fully operational. We describe the assembly technique for the rugged source. Post-recovery data is compared to baseline measurements collected before the launch attempt and no degradation in brightness or polarization correlation was observed. The survival of the source through an extreme environment provides strong evidence that it is possible to engineer rugged quantum optical systems.


title: Gravity localization on hybrid branes

abstract: This work deals with gravity localization on codimension-1 brane worlds engendered by compacton-like kinks, the so-called hybrid branes. In such scenarios, the thin brane behaviour is manifested when the extra dimension is outside the compact domain, where the energy density is non-trivial, instead of asymptotically as in the usual thick brane models. The zero mode is trapped in the brane, as required. The massive modes, although are not localized in the brane, have important phenomenological implications such as corrections to the Newton's law. We study such corrections in the usual thick domain wall and in the hybrid brane scenarios. By means of suitable numerical methods, we attain the mass spectrum for the graviton and the corresponding wavefunctions. The spectra possess the usual linearly increasing behaviour from the Kaluza-Klein theories. Further, we show that the 4D gravitational force is slightly increased at short distances. The first eigenstate contributes highly for the correction to the Newton's law. The subsequent normalized solutions have diminishing contributions. Moreover, we find out that the phenomenology of the hybrid brane is not different from the usual thick domain wall. The use of numerical techniques for solving the equations of the massive modes is useful for matching possible phenomenological measurements in the gravitational law as a probe to warped extra dimensions.


title: Learning to Filter with Predictive State Inference Machines

abstract: Latent state space models are a fundamental and widely used tool for modeling dynamical systems. However, they are difficult to learn from data and learned models often lack performance guarantees on inference tasks such as filtering and prediction. In this work, we present the PREDICTIVE STATE INFERENCE MACHINE (PSIM), a data-driven method that considers the inference procedure on a dynamical system as a composition of predictors. The key idea is that rather than first learning a latent state space model, and then using the learned model for inference, PSIM directly learns predictors for inference in predictive state space. We provide theoretical guarantees for inference, in both realizable and agnostic settings, and showcase practical performance on a variety of simulated and real world robotics benchmarks.


title: Distributed chaos and isotropic turbulence

abstract: Power spectrum of the distributed chaos can be represented by a weighted superposition of the exponential functions which is converged to a stretched exponential $\propto \exp-(k/k_{\beta})^{\beta }$. An asymptotic theory has been developed in order to estimate the value of $\beta$ for the isotropic turbulence. This value has been found to be $\beta =3/4$. Excellent agreement has been established between this theory and the data of direct numerical simulations not only for the velocity field but also for the passive scalar, energy dissipation rate, and magnetic fields. One can conclude that the isotropic turbulence emerges from the distributed chaos.


title: Contact non-squeezing at large scale in ${\mathbb R}^{2n} \times S^1$

abstract: We define a $\mathbb{Z}_k$-equivariant version of the cylindrical contact homology used by Eliashberg-Kim-Polterovich (2006) to prove contact non-squeezing for prequantized integer-capacity balls $B(R) \times S^1 \subset \mathbb{R}^{2n} \times S^1$, $R \in \mathbb{N}$ and we use it to extend their result to all $R \geq 1$. Specifically we prove if $R \geq 1$ there is no $\psi\in \text{Cont}(\mathbb{R}^{2n} \times S^1)$, the group of compactly supported contactomorphisms of $\mathbb{R}^{2n} \times S^1$ which squeezes $\hat{B}(R) = B(R) \times S^1$ into itself, i.e. maps the closure of $\hat{B}(R)$ into $\hat{B}(R)$. A sheaf theoretic proof of non-existence of corresponding $\psi \in \text{Cont}_0(\mathbb{R}^{2n} \times S^1)$, the identity component of $\text{Cont}(\mathbb{R}^{2n} \times S^1)$, is due to Chiu (2014); it is not known if this is strictly weaker. Our construction has the advantage of retaining the contact homological viewpoint of Eliashberg-Kim-Polterovich and its potential for application in prequantizations of other Liouville manifolds. It makes use of the $\mathbb{Z}_k$-action generated by a vertical $1/k$-shift but can also be related, for prequantized balls, to the $\mathbb{Z}_k$-equivariant contact homology developed by Milin (2008) in her proof of orderability of lens spaces.


title: Fundamental Group of some Genus-2 Fibrations and Applications

abstract: We will prove that given a genus-2 fibration $f: X \rightarrow C$ on a smooth projective surface $X$ such that $b_1(X)=b_1(C)+2$, the fundamental group of $X$ is almost isomorphic to $\pi_1(C) \times \pi_1(E)$, where $E$ is an elliptic curve. We will also verify the Shafarevich Conjecture on holomorphic convexity of the universal cover of surfaces $X$ with genus-2 fibration $X\rightarrow C$ such that $b_1(X)>b_1(C)$.


title: $\mathbb{Q}$-Homology Plane pairs with Logarithmic Kodaira dimension 1

abstract: A pair $(S,C)$ is called a singular $\mathbb{Q}$-homology plane pair if $S$ is a singular projective surface with only quotient singularities having the same rational homology as $\mathbb{p}^2$ and $C \subset S$ has the same rational homology as $\mathbb{p}^1$. We will prove results concerning smooth rational curves on $S$ and the singularities of $S$ such that $\overline \kappa(S^0)=1$ and $\overline \kappa(S-C) \neq -\infty$. We end with an example of such pairs.


title: Octet baryon masses and sigma terms in covariant baryon chiral perturbation theory

abstract: We report on a recent study of the ground-state octet baryon masses and sigma terms in covariant baryon chiral perturbation theory with the extended-on-mass-shell scheme up to next-to-next-to-next-to-leading order. To take into account lattice QCD artifacts, the finite-volume corrections and finite lattice spacing discretization effects are carefully examined. We performed a simultaneous fit of all the $n_f = 2+1$ lattice octet baryon masses and found that the various lattice simulations are consistent with each other. Although the finite lattice spacing discretization effects up to $\mathcal{O}(a^2)$ can be safely ignored, but the finite volume corrections cannot even for configurations with $M_\phi L>4$. As an application, we predicted the octet baryon sigma terms using the Feynman-Hellmann theorem. In particular, the pion- and strangeness-nucleon sigma terms are found to be $\sigma_{\pi N} = 55(1)(4)$ MeV and $\sigma_{sN} = 27(27)(4)$ MeV, respectively.


title: The Tomonaga-Luttinger Liquid with Quantum Impurity Revisited: Critical Line and Phase Diagram

abstract: We revisit the $(1+1)$ dimensional field theoretical model, which describes the Tomonaga-Luttinger liquid (TLL), interacting with a static impurity at the origin of the half line. Applying the Fermi-Bose equivalence and finite conformal transformations only, we map the model onto the Schmid model. Some details of the bosonization procedure have been given. The critical line and the phase diagram of the model follow from the renormalization group analysis of the Schmid model. The obtained critical line of the model is a hyperbola in the parameter space of the two couplings of the TLL.


title: Topological insulator associated with quantum anomalous Hall phase in ferromagnetic perovskite superlattices

abstract: We do a search for topological insulators which are associated with ferromagnetic ordering and show anomalous quantum Hall effect, among transition metal oxide superlattices taking the parent compounds as LaAlO3 and SrTiO3. Among the various superlattices which are studied here, (LaAlO3)10/(LaOsO3)2 exhibits a ferromagnetic ground state with a topologically non-trivial energy gap when a spin-orbit interaction is turned on. The study of transverse conductivity shows that the system has quantized Hall conductivity inside the topological energy gap without applying any external magnetic field. The ferromagnetic order parameters and the ordering temperature (Tc) have been estimated by taking a simple Heisenberg model of ferromagnetism.


title: Laguerre polynomial excited coherent states generated by multiphoton catalysis: Nonclassicality and Decoherence

abstract: We theoretically introduce a new kind of non-Gaussian state-----Laguerre polynomial excited coherent states by using the multiphoton catalysis which actually can be considered as a block comprising photon number operator. It is found that the normalized factor is related to the two-variable Hermite polynomials. We then investigate the nonclassical properties in terms of Mandel's Q parameter, quadrature squeezing, second correlation, and the negativity of Wigner function (WF). It is shown that all these properties are related to the amplitude of coherent state, catalysis number and unbalanced beam splitter (BS). In particular, the maximum degree of squeezing can be enhanced as catalysis number and keeps a constant for single-photon catalysis. In addition, we examine the effect of decoherence by Wigner function, which show that the negative region, characteristic time of decoherence and structure of WF are affected by catalysis number and unbalanced BS. Our work provides a general analysis about how to prepare theoretically polynomials quantum states.


title: Genuine multipartite entanglement detection and lower bound of multipartite concurrence

abstract: The problems of genuine multipartite entanglement detection and classification are challenging. We show that a multipartite quantum state is genuine multipartite entangled if the multipartite concurrence is larger than certain quantities given by the number and the dimension of the subsystems. This result also provides a classification of various genuine multipartite entanglement. Then, we present a lower bound of the multipartite concurrence in terms of bipartite concurrences. While various operational approaches are available for providing lower bounds of bipartite concurrences, our results give an effective operational way to detect and classify the genuine multipartite entanglement. As applications, the genuine multipartite entanglement of tripartite systems is analyzed in detail.


title: Apollonius Solutions in Rd

abstract: Voronoi and related diagrams have technological applications, for example, in motion planning and surface reconstruction, and also find significant use in materials science, molecular biology, and crystallography. Apollonius diagrams arguably provide the most natural division of space for many materials and technology problems, but compared to Voronoi and power diagrams, their use has been limited, presumably by the complexity of their calculation. In this work, we report explicit equations for the vertices of the Apollonius diagram in a d-dimensional Euclidean space. We show that there are special lines that contain vertices of more than one type of diagram and this property can be exploited to develop simple vertex expressions for the Apollonius diagram. Finding the Apollonius vertices is not significantly more difficult or expensive than computing those of the power diagram and have application beyond their use in calculating the diagram. The expressions reported here lend themselves to the use of standard vector and matrix libraries and the stability and precision their use implies. They can also be used in algorithms with multi-precision numeric types and those adhering to the exact algorithms paradigm. The results have been coded in C++ for the 2-d and 3-d cases and an example of their use in characterizing the shape of a void in a molecular crystal is given.


title: Symplectic realizations of holomorphic Poisson manifolds

abstract: Symplectic realization is a longstanding problem which can be traced back to Sophus Lie. In this paper, we present an explicit solution to this problem for an arbitrary holomorphic Poisson manifold. More precisely, for any holomorphic Poisson manifold $(X, \pi)$, we prove that there exists a holomorphic symplectic structure in a neighborhood $Y$ of the zero section of $T^*X$ such that the projection map is a symplectic realization of the given Poisson manifold, and moreover the zero section is a holomorphic Lagrangian submanifold. We describe an explicit construction for such a new holomorphic symplectic structure on $Y \subseteq T^*X$.

categories: math.DG math-ph math.AG math.CV math.MP math.SG


title: Trade-off Relations of Bell Violations among Pairwise Qubit Systems

abstract: We investigate the nonlocality distributions among multiqubit systems based on the maximal violations of the Clauser-Horne-Shimony-Holt (CHSH) inequality of reduced pairwise qubit systems. We present a trade-off relation satisfied by these maximal violations, which gives rise to restrictions on the distribution of nonlocality among the subqubit systems. For a three-qubit system, it is impossible that all pairs of qubits violate the CHSH inequality, and once a pair of qubits violates the CHSH inequality maximally, the other two pairs of qubits must both obey the CHSH inequality. Detailed examples are given to illustrate the trade-off relations, and the trade-off relations are generalized to arbitrary multiqubit systems.


title: Learning Natural Language Inference with LSTM

abstract: Natural language inference (NLI) is a fundamentally important task in natural language processing that has many applications. The recently released Stanford Natural Language Inference (SNLI) corpus has made it possible to develop and evaluate learning-centered methods such as deep neural networks for natural language inference (NLI). In this paper, we propose a special long short-term memory (LSTM) architecture for NLI. Our model builds on top of a recently proposed neural attention model for NLI but is based on a significantly different idea. Instead of deriving sentence embeddings for the premise and the hypothesis to be used for classification, our solution uses a match-LSTM to perform word-by-word matching of the hypothesis with the premise. This LSTM is able to place more emphasis on important word-level matching results. In particular, we observe that this LSTM remembers important mismatches that are critical for predicting the contradiction or the neutral relationship label. On the SNLI corpus, our model achieves an accuracy of 86.1%, outperforming the state of the art.


title: Currents carried by the subgradient graphs of semi-convex functions and applications to Hessian measure

abstract: In this paper we study integer multiplicity rectifiable currents carried by the subgradient (subdifferential) graphs of semi-convex functions on a $n$-dimensional convex domain, and show a weak continuity theorem with respect to pointwise convergence for such currents. As an application, the $k$-Hessian measures are calculated by a different method in terms of currents.


title: Limited fetch revisited: comparison of wind input terms, in surface waves modeling

abstract: Results pertaining to numerical solutions of the Hasselmann kinetic equation (HE), for wind driven sea spectra, in the fetch limited geometry, are presented. Five versions of source functions, including the recently introduced ZRP model, have been studied, for the exact expression of Snl and high-frequency implicit dissipation, due to wave-breaking. Four of the five experiments were done in the absence of spectral peak dissipation for various Sin terms. They demonstrated the dominance of quadruplet wave-wave interaction, in the energy balance, and the formation of self-similar regimes, of unlimited wave energy growth, along the fetch. Between them was the ZRP model, which strongly agreed with dozens of field observations performed in the seas and lakes, since 1947. The fifth, the WAM3 wind input term experiment, used additional spectral peak dissipation and reproduced the results of a previous, similar, numerical simulation, but only supported the field experiments for moderate fetches, demonstrating a total energy saturation at half of that of the Pierson-Moscowits limit. The alternative framework for HE numerical simulation is proposed, along with a set of tests, allowing one to select physically-justified source terms.


title: Randomness: quantum versus classical

abstract: Recent tremendous development of quantum information theory led to a number of quantum technological projects, e.g., quantum random generators. This development stimulates a new wave of interest in quantum foundations. One of the most intriguing problems of quantum foundations is elaboration of a consistent and commonly accepted interpretation of quantum state. Closely related problem is clarification of the notion of quantum randomness and its interrelation with classical randomness. In this short review we shall discuss basics of classical theory of randomness (which by itself is very complex and characterized by diversity of approaches) and compare it with irreducible quantum randomness. The second part of this review is devoted to the information interpretation of quantum mechanics (QM) in the spirit of Zeilinger and Brukner (and QBism of Fuchs et al.) and physics in general (e.g., Wheeler's "it from bit") as well as digital philosophy of Chaitin (with historical coupling to ideas of Leibnitz). Finally, we continue discussion on interrelation of quantum and classical randomness and information interpretation of QM.

categories: quant-ph cs.IT math.IT math.PR physics.data-an physics.hist-ph


title: Counting curves on surfaces

abstract: In this paper we consider an elementary, and largely unexplored, combinatorial problem in low-dimensional topology. Consider a real 2-dimensional compact surface $S$, and fix a number of points $F$ on its boundary. We ask: how many configurations of disjoint arcs are there on $S$ whose boundary is $F$? We find that this enumerative problem, counting curves on surfaces, has a rich structure. For instance, we show that the curve counts obey an effective recursion, in the general framework of topological recursion. Moreover, they exhibit quasi-polynomial behaviour. This "elementary curve-counting" is in fact related to a more advanced notion of "curve-counting" from algebraic geometry or symplectic geometry. The asymptotics of this enumerative problem are closely related to the asymptotics of volumes of moduli spaces of curves, and the quasi-polynomials governing the enumerative problem encode intersection numbers on moduli spaces. Furthermore, among several other results, we show that generating functions and differential forms for these curve counts exhibit structure that is reminiscent of the mathematical physics of free energies, partition functions, topological recursion, and quantum curves.


title: An Overview of Emerging Technologies for High Efficiency 3D Video Coding

abstract: 3D video coding is one of the most popular research area in multimedia. This paper reviews the recent progress of the coding technologies for multiview video (MVV) and free view-point video (FVV) which is represented by MVV and depth maps. We first discuss the traditional multiview video coding (MVC) framework with different prediction structures. The rate-distortion performance and the view switching delay of the three main coding prediction structures are analyzed. We further introduce the joint coding technologies for MVV and depth maps and evaluate the rate-distortion performance of them. The scalable 3D video coding technologies are reviewed by the quality and view scalability, respectively. Finally, we summarize the bit allocation work of 3D video coding. This paper also points out some future research problems in high efficiency 3D video coding such as the view switching latency optimization in coding structure and bit allocation.


title: Van der Waals phase transition in the framework of holography

abstract: Phase structure of the quintessence Reissner-Nordstr\"{o}m-AdS black hole is probed with the nonlocal observables such as holographic entanglement entropy and two point correlation function. Our result shows that, as the case of the thermal entropy, both the observables exhibit the similar Van der Waals-like phase transition. To reinforce the conclusion, we further check the equal area law for the first order phase transition and critical exponent of the heat capacity for the second order phase transition. We also discuss the effect of the state parameter on the phase structure of the nonlocal observables.


title: Large scale structures and the cubic galileon model

abstract: The maximum size of a bound cosmic structure is computed perturbatively as a function of its mass in the framework of the cubic galileon, proposed recently to model the dark energy of our Universe. Comparison of our results with observations constrains the matter-galileon coupling of the model to $0.033\lesssim \alpha \lesssim 0.17$, thus improving previous bounds based solely on solar system physics.


title: Copulas for maxmin systems

abstract: Under a mild condition we give closed-form expressions for copulas of systems that consist of maxima and of minima of subvectors of a given random vector $X$ with continuous marginals. Said expressions appear explicit in the copula of $X$ and the mentioned condition is for example met when the law of $X$ admits a strictly positive density with respect to Lebesgue measure. In the i.i.d. case these "maxmin" copulae become universal and the conditions on their validity can be dropped entirely. Our main motivation comes from applications to shock models that arise in multivariate survival theory. Another application is to order statistics copulas.


title: Local QCD Action at Finite Temperature

abstract: In this article, we carefully derive the horizon condition at finite temperature. Only the zero Matsubara mode is affected, and this result is consistent with the suitably modified Maggiore-Schaden shift, which takes into account temporal periodicity. We thus obtain a local, BRST-invariant action for QCD at finite temperature. The large-N limit and other calculational schemes for the magnetic mass and its relation to the Gribov mass are also discussed.


title: Black-body radiation for twist-deformed space-time

abstract: In this article we formally investigate the impact of twisted space-time on black-body radiation phenomena, i.e. we derive the $\theta$-deformed Planck distribution function as well as we perform its numerical integration to the $\theta$-deformed total radiation energy. In such a way we indicate that the space-time noncommutativity very strongly damps the black-body radiation process. Besides we provide for small parameter $\theta$ the twisted counterparts of Rayleigh-Jeans and Wien distributions respectively.


title: Point defects in epitaxial silicene on Ag(111) surface

abstract: Silicene, a counterpart of graphene, has achieved rapid development due to its exotic electronic properties and excellent compatibility with the mature silicon-based semiconductor technology. Its low room-temperature mobility of about 100 cm2V-1s-1, however, inhibits device applications such as in field-effect transistors. Generally, defects and grain boundaries would act as scattering centers and thus reduce the carrier mobility. In this paper, the morphologies of various point defects in epitaxial silicene on Ag(111) surfaces have been systematically investigated using first-principles calculations combined with experimental scanning tunneling microscope (STM) observations. The STM signatures for various defects in epitaxial silicene on Ag(111) surface are identified. In particular, the formation energies of point defects in Ag(111)-supported silicene sheets show an interesting dependence on the superstructures, which, in turn, may have implications for controlling the defect density during the synthesis of silicene. Through estimating the concentrations of various point defects in different silicene superstructures, the mystery of the defective appearance of v13*v13 silicene in experiments is revealed, and 4*4 silicene sheet is thought to be the most suitable structure for future device applications.


title: Sharp Computational-Statistical Phase Transitions via Oracle Computational Model

abstract: We study the fundamental tradeoffs between computational tractability and statistical accuracy for a general family of hypothesis testing problems with combinatorial structures. Based upon an oracle model of computation, which captures the interactions between algorithms and data, we establish a general lower bound that explicitly connects the minimum testing risk under computational budget constraints with the intrinsic probabilistic and combinatorial structures of statistical problems. This lower bound mirrors the classical statistical lower bound by Le Cam (1986) and allows us to quantify the optimal statistical performance achievable given limited computational budgets in a systematic fashion. Under this unified framework, we sharply characterize the statistical-computational phase transition for two testing problems, namely, normal mean detection and sparse principal component detection. For normal mean detection, we consider two combinatorial structures, namely, sparse set and perfect matching. For these problems we identify significant gaps between the optimal statistical accuracy that is achievable under computational tractability constraints and the classical statistical lower bounds. Compared with existing works on computational lower bounds for statistical problems, which consider general polynomial-time algorithms on Turing machines, and rely on computational hardness hypotheses on problems like planted clique detection, we focus on the oracle computational model, which covers a broad range of popular algorithms, and do not rely on unproven hypotheses. Moreover, our result provides an intuitive and concrete interpretation for the intrinsic computational intractability of high-dimensional statistical problems. One byproduct of our result is a lower bound for a strict generalization of the matrix permanent problem, which is of independent interest.


title: Radial Bargmann representation for the Fock space of type B

abstract: Let $\nu_{\alpha,q}$ be the probability and orthogonality measure for the $q$-Meixner-Pollaczek orthogonal polynomials, which has appeared in \cite{BEH15} as the distribution of the $(\alpha,q)$-Gaussian process (the Gaussian process of type B) over the $(\alpha,q)$-Fock space (the Fock space of type B). The main purpose of this paper is to find the radial Bargmann representation of $\nu_{\alpha,q}$. Our main results cover not only the representation of $q$-Gaussian distribution by \cite{LM95}, but also of $q^2$-Gaussian and symmetric free Meixner distributions on $\mathbb R$. In addition, non-trivial commutation relations satisfied by $(\alpha,q)$-operators are presented.


title: Closing the Gap Between Short and Long XORs for Model Counting

abstract: Many recent algorithms for approximate model counting are based on a reduction to combinatorial searches over random subsets of the space defined by parity or XOR constraints. Long parity constraints (involving many variables) provide strong theoretical guarantees but are computationally difficult. Short parity constraints are easier to solve but have weaker statistical properties. It is currently not known how long these parity constraints need to be. We close the gap by providing matching necessary and sufficient conditions on the required asymptotic length of the parity constraints. Further, we provide a new family of lower bounds and the first non-trivial upper bounds on the model count that are valid for arbitrarily short XORs. We empirically demonstrate the effectiveness of these bounds on model counting benchmarks and in a Satisfiability Modulo Theory (SMT) application motivated by the analysis of contingency tables in statistics.


title: D mesons in a magnetic field

abstract: We investigate the mass spectra of open heavy flavor mesons in an external constant magnetic field within QCD sum rules. Spectral ans\"atze on the phenomenological side are proposed in order to properly take into account mixing effects between the pseudoscalar and vector channels, and the Landau levels of charged mesons. The operator product expansion is implemented up to dimension-5 operators. As a result, we find for neutral D mesons a significant positive mass shift that goes beyond simple mixing effects. In contrast, charged D mesons are further subject to Landau level effects, which together with the mixing effects almost completely saturate the mass shifts obtained in our sum rule analysis.


title: Topological crystalline semimetals in non-symmorphic lattices

abstract: Numerous efforts have been devoted to reveal exotic semimetallic phases with topologically non-trivial bulk and/or surface states in materials with strong spin-orbit coupling. In particular, semimetals with nodal line Fermi surface (FS) exhibit novel properties, and searching for candidate materials becomes an interesting research direction. Here we provide a generic condition for a four-fold degenerate nodal line FS in non-symmorphic crystals with inversion and time-reversal symmetry (TRS). When there are two glide planes or screw axes perpendicular to each other, a pair of Bloch bands related by non-symmorphic symmetry become degenerate on a Brillouin Zone (BZ) boundary. There are two pairs of such bands, and they disperse in a way that the partners of two pairs are exchanged on other BZ boundaries. This enforces a nodal line FS on a BZ boundary plane protected by non-symmorphic symmetries. When TRS is broken, four-fold degenerate Dirac points or Weyl ring FS could occur depending on a direction of the magnetic field. On a certain surface double helical surface states exist, which become double Ferm arcs as TRS is broken.


title: On Optimal Pricing Model for Multiple Dealers in a Competitive Market

abstract: In this paper, the optimal pricing strategy in Avellande-Stoikov's for a monopolistic dealer is extended to a general situation where multiple dealers are present in a competitive market. The dealers' trading intensities, their optimal bid and ask prices and therefore their spreads are derived when the dealers are informed the severity of the competition. The effects of various parameters on the bid-ask quotes and profits of the dealers in a competitive market are also discussed. This study gives some insights on the average spread, profit of the dealers in a competitive trading environment.


title: Modelling and Verifying the AODV Routing Protocol

abstract: This paper presents a formal specification of the Ad hoc On-Demand Distance Vector (AODV) routing protocol using AWN (Algebra for Wireless Networks), a recent process algebra which has been tailored for the modelling of Mobile Ad Hoc Networks and Wireless Mesh Network protocols. Our formalisation models the exact details of the core functionality of AODV, such as route discovery, route maintenance and error handling. We demonstrate how AWN can be used to reason about critical protocol properties by providing detailed proofs of loop freedom and route correctness.


title: Dynamics of Nonautonomous Discrete Dynamical Systems

abstract: In this paper we study the dynamics of a general non-autonomous dynamical system generated by a family of continuous self maps on a compact space $X$. We derive necessary and sufficient conditions for the system to exhibit complex dynamical behavior. In the process we discuss properties like transitivity, weakly mixing, topologically mixing, minimality, sensitivity, topological entropy and Li-Yorke chaoticity for the non-autonomous system. We also give examples to prove that the dynamical behavior of the non-autonomous system in general cannot be characterized in terms of the dynamical behavior of its generating functions.


title: Knots that are not slice either in positons or in negatons

abstract: An oriented compact 4-manifold $V$ with boundary $S^3$ is called a positon (resp. negaton) if its intersection form is positive definite (resp. negative definite) and it is simply connected. In this paper, we prove that there exist infinitely many knots which cannot bound null-homologous disks either in positons or in negatons. As a consequence, we find knots that cannot be unknotted either by only positive crossing changes or by only negative crossing changes.


title: A Graph Theoretic Proof of the Tight Cut Lemma

abstract: In deriving their characterization of the perfect matchings polytope, Edmonds, Lov\'asz, and Pulleyblank introduced the so-called {\em Tight Cut Lemma} as the most challenging aspect of their work. The Tight Cut Lemma in fact claims {\em bricks} as the fundamental building blocks that constitute a graph in studying the matching polytope and can be referred to as a key result in this field. Even though the Tight Cut Lemma is a matching \textup{(}$1$-matching\textup{)} theoretic statement that consists of purely graph theoretic concepts, the known proofs either employ a linear programming argument or are established upon results regarding a substantially wider notion than matchings. This paper presents a new proof of the Tight Cut Lemma, which attains both of the two reasonable features for the first time, namely, being {\em purely graph theoretic} as well as {\em purely matching theory closed}. Our proof uses, as the only preliminary result, the canonical decomposition recently introduced by Kita. By further developing this canonical decomposition, we acquire a new device of {\em towers} to analyze the structure of bricks, and thus prove the Tight Cut Lemma. We believe that our new proof of the Tight Cut Lemma provides a highly versatile example of how to handle bricks.


title: Bernoulli equation and the nonexistence of maximal jets

abstract: We discuss the idea of maximal jets introduced by Falcke & Biermann in 1995. According to it, the maximum possible jet power in its internal energy equals the kinetic power in its rest mass. We show this result is incorrect because of an unfortunate algebraic mistake.


title: QSDPNAL: A two-phase augmented Lagrangian method for convex quadratic semidefinite programming

abstract: In this paper, we present a two-phase augmented Lagrangian method, called QSDPNAL, for solving convex quadratic semidefinite programming (QSDP) problems with constraints consisting of a large number of linear equality, inequality constraints, a simple convex polyhedral set constraint, and a positive semidefinite cone constraint. A first order algorithm which relies on the inexact Schur complement based decomposition technique is developed in QSDPNAL-Phase I with the aim of solving a QSDP problem to moderate accuracy or using it to generate a reasonably good initial point for the second phase. In QSDPNAL-Phase II, we design an augmented Lagrangian method (ALM) where the inner subproblem in each iteration is solved via inexact semismooth Newton based algorithms. Simple and implementable stopping criteria are designed for the ALM. Moreover, under mild conditions, we are able to establish the rate of convergence of the proposed algorithm and prove the R-(super)linear convergence of the KKT residual. In the implementation of QSDPNAL, we also develop efficient techniques for solving large scale linear systems of equations under certain subspace constraints. More specifically, simpler and yet better conditioned linear systems are carefully designed to replace the original linear systems and novel shadow sequences are constructed to alleviate the numerical difficulties brought about by the crucial subspace constraints. Extensive numerical results for various large scale QSDPs show that our two-phase algorithm is highly efficient and robust in obtaining accurate solutions.


title: A Rigorous Analysis of AODV and its Variants

abstract: In this paper we present a rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol using a formal specification in AWN (Algebra for Wireless Networks), a process algebra which has been specifically tailored for the modelling of Mobile Ad Hoc Networks and Wireless Mesh Network protocols. Our formalisation models the exact details of the core functionality of AODV, such as route discovery, route maintenance and error handling. We demonstrate how AWN can be used to reason about critical protocol correctness properties by providing a detailed proof of loop freedom. In contrast to evaluations using simulation or other formal methods such as model checking, our proof is generic and holds for any possible network scenario in terms of network topology, node mobility, traffic pattern, etc. A key contribution of this paper is the demonstration of how the reasoning and proofs can relatively easily be adapted to protocol variants.


title: Moutard transform approach to generalized analytic functions with contour poles

abstract: We continue studies of Moutard-type transforms for the generalized analytic functions started in arXiv:1510.08764, arXiv:1512.00343. In particular, we show that generalized analytic functions with the simplest contour poles can be Moutard transformed to the regular ones, at least, locally. In addition, the later Moutard-type transforms are locally invertible.


title: Asteroid flux towards circumprimary habitable zones in binary star systems: II. Dynamics

abstract: Secular and mean motion resonances (MMR) are effective perturbations for shaping planetary systems. In binary star systems, they play a key role during the early and late phases of planetary formation, as well as for the dynamical stability of a planetary system. In this study, we aim to correlate the presence of orbital resonances with the rate of icy asteroids crossing the habitable zone (HZ), from a circumprimary disk of planetesimals in various binary star systems. We modelled a belt of small bodies in the inner and outer regions, interior and exterior to the orbit of a gas giant planet, respectively. The planetesimals are equally placed around a primary G-type star and move under the gravitational influence of the two stars and the gas giant. We numerically integrated the system for 50 Myr, considering various parameters for the secondary star. Its stellar type varies from a M- to F-type; its semimajor axis is either 50 au or 100 au, and its eccentricity is either 0.1 or 0.3. For comparison, we also varied the gas giant's orbital and physical parameters. Our simulations highlight that a disk of planetesimals will suffer from perturbations owing to a perturbed gas giant, mean motion, and secular resonances. We show that a secular resonance -- with location and width varying according to the secondary star's characteristics -- can exist in the icy asteroid belt region and overlap with MMRs which have an impact on the dynamical lifetime of the disk. In addition, we point out that in any case, the 2:1 MMR, the 5:3 MMR and the secular resonance are powerful perturbations for the flux of icy asteroids towards the HZ and the transport of water therein.


title: Some fundamental groups in arithmetic geometry

abstract: Those are the notes for the 2015 Summer Research Institute on Algebraic Geometry. We report on Deligne's finiteness theorem for $\ell$-adic representations on smooth varieties defined over a finite field, on its crystalline version, and on how the geometric \'etale fundamental group of a smooth projective variety defined over a characteristic $p>0$ field controls crystals on the infinitesimal site and should control those on the crystalline site. v2: last results added to the report, and some typos corrected.


title: The R_AA and v_2 of muons from heavy-quark decays in Pb+Pb collisions at sqrt(s_NN)=2.76 TeV with the ATLAS detector

abstract: The ATLAS experiment measures the production of muons coming from the decays of heavy flavour particles in the kinematic interval 4<p_T<14 GeV and |eta|<1. The measurement is performed in sqrt(s) = 2.76 TeV pp collisions and over the centrality range of 0-60% in sqrt(s_NN) = 2.76 TeV Pb+Pb collisions. The heavy flavour muon differential cross-sections and per-event yields are measured in pp and Pb+Pb collisions, respectively. The nuclear modification factor measured in 0-10% most central collisions is observed to be approximately equal to 0.4 and independent of p_T within uncertainties, which indicates suppressed production of heavy flavour muons in Pb+Pb collisions. The muon yields are also measured as a function of the azimuthal angle with respect to the event plane. Fourier coefficients associated with the second harmonic modulation vary slowly with p_T and show a systematic variation with centrality that is characteristic of other elliptic anisotropy measurements.


title: On the lifting of Hilbert cusp forms to Hilbert-Siegel cusp forms

abstract: Starting from a Hilbert cusp form of weight $2\kap$, we will construct a Hilbert-Siegel cusp form of weight $\kap+\frac{m}{2}$ and degree $m$ and its transfer to inner forms of symplectic groups.


title: Higher-order expansions of powered extremes of normal samples

abstract: In this paper, higher-order expansions for distributions and densities of powered extremes of standard normal random sequences are established under an optimal choice of normalized constants. Our findings refine the related results in Hall (1980). Furthermore, it is shown that the rate of convergence of distributions/densities of normalized extremes depends in principle on the power index.


title: A Control-variable Regression Monte Carlo Technique for Short-term Electricity Generation Planning

abstract: In the day-to-day operation of a power system, the system operator repeatedly solves short-term generation planning problems. When formulating these problems the operators have to weigh the risk of costly failures against increased production costs. The resulting problems are often high-dimensional and various approximations have been suggested in the literature. In this article we formulate the short-term planning problem as an optimal switching problem with delayed reaction. Furthermore, we proposed a control variable technique that can be used in Monte Carlo regression to obtain a computationally efficient numerical algorithm.


title: Dual Position Sensitive MWPC for tracking reaction products at VAMOS++

abstract: The characteristics and performance of a Dual Position Sensitive Multi-Wire Proportional Counter (DPS-MWPC) used to measure the scattering angle, interaction position on the target and the velocity of reaction products, detected in the VAMOS++ magnetic spectrometer, are reported. The detector consists of a pair of position sensitive low pressure MWPCs and provides both fast timing signals, along with the two-dimensional position coordinates required to define the trajectory of the reaction products. A time-of-flight resolution of 305(11) ps (FWHM) was measured. The measured resolutions (FWHM) were 2.5(3) mrad and 560(70) {\mu}m for the scattering angle and the interaction point at the target respectively. The subsequent improvement of the Doppler correction of the energy of the gamma-rays, detected in the gamma-ray tracking array AGATA in coincidence with isotopically identified ions in VAMOS++, is also discussed.


title: Topological phases: Classification of topological insulators and superconductors of non-interacting Fermions, and beyond

abstract: After briefly recalling the quantum entanglement-based view of topological phases of matter in order to outline the general context, we give an overview of different approaches to the classification problem of topological insulators and superconductors of non-interacting Fermions. In particular, we review in some detail general symmetry aspects of the "ten-fold way" which forms the foundation of the classification, and put different approaches to the classification in relationship with each other. We end by briefly mentioning some of the results obtained on the effect of interactions, mainly in three spatial dimensions.


title: Supermodular ordering of binomial, Poisson and Gaussian random vectors by tree-based correlations

abstract: We construct a tree-based dependence structure for the representation of binomial, Poisson and Gaussian random vectors having a given covariance matrix, using sums of independent random variables. This construction allows us to characterize the supermodular ordering of such random vectors via the componentwise ordering of their covariance matrices. Our method relies on the representation of dependent components using binary trees on the discrete $d$-dimensional hypercube $C_d$, and on M\"obius inversion techniques. In the case of Poisson random vectors this approach involves L\'evy measures on $C_d$, and it is consistent with the approximation of Poisson and multivariate Gaussian random vectors by binomial vectors.


title: Design and analysis of 5045 S-band klystron DC electron gun

abstract: The design and performance analysis of DC electron gun for 5045 S-band klystron has been worked out using SLAC beam trajectory program (EGUN) and Computer Simulation Technology Particle Studio (CST-PS), Codes. Specifications of electron gun were focused on beam; current, perveance, size and emittance. Optimized beam; current, perveance, diameter and emittance were 414.00A, 2.00uP, 26.82 mm and 103.10 pi mm mrad, respectively. Furthermore, the optimized characteristic parameters of the gun were also calculated and compared with the simulated and experimental values which were in agreement. Accuracy of simulation was verified by comparison of emitted beam current which has error of zero percent.


title: Mixed trTLEP-structures and mixed Frobenius structures

abstract: We introduce the notion of mixed trTLEP-structures and prove that a mixed trTLEP-structure with some conditions naturally induces a mixed Frobenius manifold. This is a generalization of the reconstruction theorem of Hertling and Manin. As a special case, we also show that a graded polarizable variation of mixed Hodge structure with $H^2$-generation condition gives rise to a family of mixed Frobenius manifolds. It implies that there exist mixed Frobenius manifolds associated to local B-models.


title: $\beta$-admissibility of observation and control operators for hypercontractive semigroups

abstract: We prove a Weiss conjecture on $\beta$-admissibility of control and observation operators for discrete and continuous $\gamma$-hypercontractive semigroups of operators, by representing them in terms of shifts on weighted Bergman spaces and using a reproducing kernel thesis for Hankel operators. Particular attention is paid to the case $\gamma=2$, which corresponds to the unweighted Bergman shift.


title: Estimation of the sample covariance matrix from compressive measurements

abstract: This paper focuses on the estimation of the sample covariance matrix from low-dimensional random projections of data known as compressive measurements. In particular, we present an unbiased estimator to extract the covariance structure from compressive measurements obtained by a general class of random projection matrices consisting of i.i.d. zero-mean entries and finite first four moments. In contrast to previous works, we make no structural assumptions about the underlying covariance matrix such as being low-rank. In fact, our analysis is based on a non-Bayesian data setting which requires no distributional assumptions on the set of data samples. Furthermore, inspired by the generality of the projection matrices, we propose an approach to covariance estimation that utilizes sparse Rademacher matrices. Therefore, our algorithm can be used to estimate the covariance matrix in applications with limited memory and computation power at the acquisition devices. Experimental results demonstrate that our approach allows for accurate estimation of the sample covariance matrix on several real-world data sets, including video data.


title: Pyroelectric Control of Spin Polarization Assisted Coexistence of Giant Positive and Negative Magnetocaloric Effects

abstract: Electric field control of magnetism is the key to many next generation spintronics applications1. Ferroelectric control of spin polarization2,3 followed by the electrically driven repeatable magnetization reversal in the absence of applied magnetic field4 have proven to be the milestones in this direction. This article propose how these phenomena could be utilized in a reverse manner to gain control over magnetization even in the absence of electric field. In turn, coexistence of positive5 as well as negative6 magnetocaloric effect (MCE) is attained in tri-layered PbZr0.53Ti0.47O3-CoFe2O4-PbZr0.53Ti0.47O3 (PZT/CFO/PZT) nanostructures for identical temperature ranges when subjected to different applied magnetic fields. Unlike conventional approaches5-9 the present study demonstrate that it is possible to obtain giant MCE merely by magneto-pyroelectric coupling. Consequently, the MCE entropy changes calculated using Maxwell equations are found to be as large as reported for existing giant MCE values6,9,10.


title: Subgraph statistics in subcritical graph classes

abstract: Let $H$ be a fixed graph and $\mathcal{G}$ a subcritical graph class. In this paper we show that the number of occurrences of $H$ (as a subgraph) in a uniformly at random graph of size $n$ in $\mathcal{G}$ follows a normal limiting distribution with linear expectation and variance. The main ingredient in our proof is the analytic framework developed by Drmota, Gittenberger and Morgenbesser to deal with infinite systems of functional equations. As a case study, we get explicit expressions for the number of triangles and cycles of length four for the family of series-parallel graphs.


title: Non-equilibrium thermodynamics of the spin Seebeck and spin Peltier effects

abstract: We study the problem of magnetization and heat currents and their associated thermodynamic forces in a magnetic system by focusing on the magnetization transport in ferromagnetic insulators like YIG. The resulting theory is applied to the longitudinal spin Seebeck and the spin Peltier effects. By focusing on the specific geometry with one YIG layer and one Pt layer, we obtain the optimal conditions for generating large magnetization currents into Pt or large temperature effects in YIG. The theoretical predictions are compared with experiments from the literature permitting to derive the values of the thermomagnetic coefficients of YIG: the magnetization diffusion length $l_M \sim 0.4 \, \mu$m and the absolute thermomagnetic power coefficient $\epsilon_M \sim 10^{-2}$ TK$^{-1}$.


title: Sequence Numbers Do Not Guarantee Loop Freedom; AODV Can Yield Routing Loops

abstract: In the area of mobile ad-hoc networks and wireless mesh networks, sequence numbers are often used in routing protocols to avoid routing loops. It is commonly stated in protocol specifications that sequence numbers are sufficient to guarantee loop freedom if they are monotonically increased over time. A classical example for the use of sequence numbers is the popular Ad hoc On-Demand Distance Vector (AODV) routing protocol. The loop freedom of AODV is not only a common belief, it has been claimed in the abstract of its RFC and at least two proofs have been proposed. AODV-based protocols such as AODVv2 (DYMO) and HWMP also claim loop freedom due to the same use of sequence numbers. In this paper we show that AODV is not a priori loop free; by this we counter the proposed proofs in the literature. In fact, loop freedom hinges on non-evident assumptions to be made when resolving ambiguities occurring in the RFC. Thus, monotonically increasing sequence numbers, by themselves, do not guarantee loop freedom.


title: A Comparative Study of Sparse Associative Memories

abstract: We study various models of associative memories with sparse information, i.e. a pattern to be stored is a random string of $0$s and $1$s with about $\log N$ $1$s, only. We compare different synaptic weights, architectures and retrieval mechanisms to shed light on the influence of the various parameters on the storage capacity.


title: Phenomenological theory of photodetection

abstract: There are some reasons to consider the existing theory of photodetection as not complete. An attempt to improve it on the basis of the well known considerations of black body radiation given by Bose and Einstein is presented below.


title: Bose-Einstein Condensation of Bound Pairs of Relativistic Fermions in a Magnetic Field

abstract: The Bose-Einstein condensation of bound pairs made of equally and oppositely charged fermions in a magnetic field is investigated using a relativistic model. The Gaussian fluctuations have been taken into account in order to study the spectrum of bound pairs in the strong coupling region. We found, in weak coupling reagion, the condensation temperature increases with an increasing magnetic field displaying the magnetic catalysis effect. In strong coupling region, the inverse magnetic catalysis appears when the magnetic field is low and is replaced by the usual magnetic catalysis effect when magnetic field is sufficiently high, in contrast to the nonrelativistic case where the inverse magnetic catalysis prevails in strong coupling region regardless of the strength of the magnetic field. The resulting response to the magnetic field is the consequence of the competition between the dimensional reduction by Landau orbitals in pairing dynamics and the anisotropy of the kinetic spectrum of the bound pairs. We thus conclude that dimensional reduction dominates in weak domain and strong coupling one except the small magnetic field region, where the enhanced fluctuations dominates.


title: Revisiting Scalar Quark Hidden Sector in Light of 750-GeV Diphoton Resonance

abstract: In this short note, we revisit the model of a CP-even singlet scalar resonance proposed in arXiv:1507.02483, where the resonance appears as the lightest composite state made of scalar quarks participating in hidden strong dynamics. We show that the model can consistently explain the excess of diphoton events with an invariant mass around 750GeV reported by both the ATLAS and CMS experiments. We also discuss the nature of the charged composite states in the TeV range which accompany to the neutral scalar. Due to inseparability of the dynamical scale and the mass of the resonance, the model also predicts signatures associated with the hidden dynamics such as leptons, jets along with multiple photons at future collider experiments. We also associate the TeV-scale dynamics behind the resonance with an explanation of dark matter.


title: Scalar scattering via conformal higher spin exchange

abstract: Theories containing infinite number of higher spin fields require a particular definition of summation over spins consistent with their underlying symmetries. We consider a model of massless scalars interacting (via bilinear conserved currents) with conformal higher spin fields in flat space. We compute the tree-level four-scalar scattering amplitude using a natural prescription for summation over an infinite set of conformal higher spin exchanges and find that it vanishes (modulo delta-function terms having support on measure-zero domain in phase space). Independently, we show that this vanishing of the scalar scattering amplitude is, in fact, implied by the global conformal higher spin symmetry of this model. We also discuss one-loop corrections to the four-scalar scattering amplitude.


title: Transient dynamics of perturbations in astrophysical disks

abstract: This paper reviews some aspects of one of the major unsolved problems in understanding astrophysical (in particular, accretion) disks: whether the disk interiors may be effectively viscous in spite of the absence of marnetorotational instability? In this case a rotational homogeneous inviscid flow with a Keplerian angular velocity profile is spectrally stable, making the transient growth of perturbations a candidate mechanism for energy transfer from the regular motion to perturbations. Transient perturbations differ qualitatively from perturbation modes and can grow substantially in shear flows due to the nonnormality of their dynamical evolution operator. Since the eigenvectors of this operator, alias perturbation modes, are mutually nonorthogonal, they can mutually interfere, resulting in the transient growth of their linear combinations. Physically, a growing transient perturbation is a leading spiral whose branches are shrunk as a result of the differential rotation of the flow. This paper discusses in detail the transient growth of vortex shear harmonics in the spatially local limit as well as methods for identifying the optimal (fastest growth) perturbations. Special attention is given to obtaining such solutions variationally, by integrating the direct and adjoint equations forward and backward in time, respectively. The material is presented in a newcomer-friendly style.


title: Donaldson-Thomas theory for categories of homological dimension one with potential

abstract: The aim of the paper is twofold. Firstly, we give an axiomatic presentation of Donaldson-Thomas theory for categories of homological dimension at most one with potential. In particular, we provide rigorous proofs of all standard results concerning the integration map, wall-crossing, PT-DT correspondence, etc. following Kontsevich and Soibelman. We also show the equivalence of their approach and the one given by Joyce and Song. Secondly, we relate Donaldson-Thomas functions for such a category with arbitrary potential to those with zero potential under some mild conditions. As a result of this, we obtain a geometric interpretation of Donaldson-Thomas functions in all known realizations, i.e. mixed Hodge modules, perverse sheaves and constructible functions.


title: Modeling Variations of First-Order Horn Abduction in Answer Set Programming

abstract: We study abduction in First Order Horn logic theories where all atoms can be abduced and we are looking for preferred solutions with respect to three objective functions: cardinality minimality, coherence, and weighted abduction. We represent this reasoning problem in Answer Set Programming (ASP), in order to obtain a flexible framework for experimenting with global constraints and objective functions, and to test the boundaries of what is possible with ASP. Realizing this problem in ASP is challenging as it requires value invention and equivalence between certain constants, because the Unique Names Assumption does not hold in general. To permit reasoning in cyclic theories, we formally describe fine-grained variations of limiting Skolemization. We identify term equivalence as a main instantiation bottleneck, and improve the efficiency of our approach with on-demand constraints that were used to eliminate the same bottleneck in state-of-the-art solvers. We evaluate our approach experimentally on the ACCEL benchmark for plan recognition in Natural Language Understanding. Our encodings are publicly available, modular, and our approach is more efficient than state-of-the-art solvers on the ACCEL benchmark.


title: The case for inflow of the broad-line region of active galactic nuclei

abstract: The high-ionization lines of the broad-line region (BLR) of thermal active galactic nuclei (AGNs) show blueshifts of a few hundred km/s to several thousand km/sec with respect to the low-ionization lines. This has long been thought to be due to the high-ionization lines of the BLR arising in a wind of which the far side of the outflow is blocked from our view by the accretion disc. Evidence for and against the disc-wind model is discussed. The biggest problem for the model is that velocity-resolved reverberation mapping repeatedly fails to show the expected kinematic signature of outflow of the BLR. The disc-wind model also cannot readily reproduce the red side of the line profiles of high-ionization lines. The rapidly falling density in an outflow makes it difficult to obtain high equivalent widths. We point out a number of major problems with associating the BLR with the outflows producing broad absorption lines. An explanation which avoids all these problems and satisfies the constraints of both the line profiles and velocity-resolved reverberation-mapping is a model in which the blueshifting is due to scattering off material spiraling inwards with an inflow velocity of half the velocity of the blueshifting. We discuss how recent reverberation mapping results are consistent with the scattering-plus-inflow model but do not support a disc-wind model. We propose that the anti-correlation of the apparent redshifting of H$\beta$ with the blueshifting of CIV is a consequence of contamination of the red wings of H$\beta$ by the broad wings of [O III].


title: CALDER: cryogenic light detector for rare events search

abstract: The CALDER project aims at developing cryogenic light detectors with high sensitivity to UV and visible light, to be used for particle tagging in massive bolometers. Indeed the sensitivity of CUORE can be increased by a factor of 3, thanks to the reduction of the $\alpha$-background, obtained by detecting the Cherenkov light (100 eV) emitted by $\beta/\gamma$ events. Currently used light detectors have not the features required to address this task, so we decided to develop a new light detector using Kinetic Inductance Detector as a sensor. This approach is very challenging and requires an intensive R$\&$D to be satisfied. The first results of this activity are shown in the following.