title: Preparing arbitrary pure states of spatial qudits with a single phase-only spatial light modulator

abstract: Spatial qudits are D-dimensional ($D\geq 2$) quantum systems carrying information encoded in the discretized transverse momentum and position of single photons. We present a proof-of-principle demonstration of a method for preparing arbitrary pure states of such systems by using a single phase-only spatial light modulator (SLM). The method relies on the encoding of the complex transmission function corresponding to a given spatial qudit state onto a preset diffraction order of a phase-only grating function addressed at the SLM. Fidelities of preparation above 94% were obtained with this method, which is simpler, less costly, and more efficient than those that require two SLMs for the same purpose.


title: $\mathcal{PT}$-symmetry breaking in a necklace of coupled optical waveguides

abstract: We consider parity-time ($\mathcal{PT}$) symmetric arrays formed by $N$ optical waveguides with gain and $N$ waveguides with loss. When the gain-loss coefficient exceeds a critical value $\gamma_c$, the $\mathcal{PT}$-symmetry becomes spontaneously broken. We calculate $\gamma_c(N)$ and prove that $\gamma_c \to 0$ as $N \to \infty$. In the symmetric phase, the periodic array is shown to support $2N$ solitons with different frequencies and polarisations.


title: Blow-up regimes in the $\mathcal{PT}$- and the $\mathcal{AC}$-dimer

abstract: In the actively coupled ($\mathcal{AC}$) pair of waveguides, the growth of small perturbations is saturated by the focussing nonlinearity that couples the linearly growing to the linearly damped mode. On the other hand, in the $\mathcal{PT}$-symmetric coupler, the focussing nonlinearity promotes the blowup of stationary light beams. The purpose of this study is to compare the nonlinear dynamics and explain the opposite effect of the same nonlinearity in the two systems. We show that while the blowup regimes are stable in the $\mathcal{PT}$-symmetric pair of waveguides, they are unstable and hence cannot be observed in the $\mathcal{AC}$-dimer.


title: Polytropic process and tropical Cyclones

abstract: We show a parallelism between the expansion and compression of the atmosphere in the secondary cycle of a tropical cyclone with the fast expansion and compression of wet air in a bottle. We present a simple model in order to understand how the system (cyclone) draws energy from the air humidity. In particular we suggest that the upward (downward) expansion (compression) of the warm (cold) moist (dry) air follows a polytropic process, $PV^\beta$= constant. We show both experimentally and analytically that $\beta$ depends on the initial vapor pressure in the air. We propose that the adiabatic stages in the Carnot-cycle model for the tropical cyclone be replaced by two polytropic stages. These polytropic processes can explain how the wind wins energy and how the rain and the dry bands are produced inside the storm.


title: Temporal prediction of epidemic patterns in community networks

abstract: Most previous studies of epidemic dynamics on complex networks suppose that the disease will eventually stabilize at either a disease-free state or an endemic one. In reality, however, some epidemics always exhibit sporadic and recurrent behaviour in one region because of the invasion from an endemic population elsewhere. In this paper we address this issue and study a susceptible-infected-susceptible epidemiological model on a network consisting of two communities, where the disease is endemic in one community but alternates between outbreaks and extinctions in the other. We provide a detailed characterization of the temporal dynamics of epidemic patterns in the latter community. In particular, we investigate the time duration of both outbreak and extinction, and the time interval between two consecutive inter-community infections, as well as their frequency distributions. Based on the mean-field theory, we theoretically analyze these three timescales and their dependence on the average node degree of each community, the transmission parameters, and the number of intercommunity links, which are in good agreement with simulations, except when the probability of overlaps between successive outbreaks is too large. These findings aid us in better understanding the bursty nature of disease spreading in a local community, and thereby suggesting effective time-dependent control strategies.


title: Gravity gradient torque of spacecraft orbiting asteroids

abstract: Purpose: This paper presents a full fourth-order model of the gravity gradient torque of spacecraft around asteroids by taking into consideration of the inertia integrals of the spacecraft up to the fourth order, which is an improvement of the previous fourth-order model of the gravity gradient torque. Design, methodology and approach: The fourth-order gravitational potential of the spacecraft is derived based on Taylor expansion. Then the expression of the gravity gradient torque in terms of gravitational potential derivatives is derived. By using the formulation of the gravitational potential, explicit formulations of the full fourth-order gravity gradient torque are obtained. Then a numerical simulation is carried out to verify our model. Findings: We find that our model is more sound and precise than the previous fourth-order model due to the consideration of higher-order inertia integrals of the spacecraft. Numerical simulation results show that the motion of the previous fourth-order model is quite different from the exact motion, while our full fourth-order model fits the exact motion very well. Our full fourth-order model is precise enough for high-precision attitude dynamics and control around asteroids. Practical implications: This high-precision model is of importance for the future asteroids missions for scientific explorations and near-Earth objects mitigation. Originality and value: In comparison with the previous model, a gravity gradient torque model around asteroids that is more sound and precise is established. This model is valuable for high-precision attitude dynamics and control around asteroids.


title: Dwyer-Kan localization revisited

abstract: A version of Dwyer-Kan localization in the context of infinity-categories and simplicial categories is presented. Some results of the classical papers by Dwyer and Kan on simplicial localization are reproven and generalized. It is proven that a Quillen pair of model categories gives rise to an adjoint pair of the DK localizations. Also a result on localization of a family of infinity-categories is proven. This, in particular, is applied to localization of symmetric monoidal infinity-categories, where some (partial) results are obtained.


title: Photon added nonlinear coherent states for a one mode field in a Kerr medium

abstract: We construct Deformed Photon Added Nonlinear Coherent States (DPANCSs) by application of the deformed creation operator upon the Nonlinear Coherent States obtained as eigenstates of the deformed annihilation operator and by application of a deformed displacement operator upon the vacuum state. We evaluate some statistical properties like the Mandel parameter, Husimi and Wigner functions for these states and analyze their differences, we give closed analytical expressions for them. We found a profound difference in the statistical properties of the DPANCSs obtained from the two above mentioned generalizations.


title: Rectification of algebras and modules

abstract: Let O be a topological (colored) operad. The Lurie infinity-category of O-algebras with values in (infinity-category of) complexes is compared to the infinity-category underlying the model category of (classical) dg O-algebras. This can be interpreted as a "rectification" result for Lurie operad algebras. A similar result is obtained for modules over operad algebras, as well as for algebras over topological PROPs.


title: Maximal subalgebras of the classical linear Lie superalgebras

abstract: Dynkin's classification of maximal subalgebras of simple finite dimensional complex Lie algebras is generalized to linear Lie superalgebras. Namely, the maximal non-simple irreducible subalgebras of $\mathfrak{gl}(p|q), \mathfrak{q}(n), \mathfrak{sl}(p|q), \mathfrak{osp}(m|2n), \mathfrak{pe}(n)$, and $\mathfrak{spe}(n)$ are classified.


title: Differential systems of pure Gaussian type

abstract: We give the transformation rule for the Stokes data of the Laplace transform of a differential system of pure Gaussian type.


title: A lower bound on the orbit growth of a regular self-map of affine space

abstract: We show that if $f : \mathbb{A}_{\bar{\mathbb{Q}}}^r \to \mathbb{A}_{\bar{\mathbb{Q}}}^r$ is a regular self-map and $P \in \mathbb{A}^r(\bar{\mathbb{Q}})$ has $\limsup_{n \in \mathbb{N}} \frac{\log{h_{\mathrm{aff}}(f^nP)}}{\log{n}} < 1/r$, where $h_{\textrm{aff}}$ is the affine Weil height, then $\mathbb{N}$ partitions into a finite set and finitely many full arithmetic progressions, on each of which the coordinates of $f^nP$ are polynomials in $n$. In particular, if $(f^nP)_{n \in \mathbb{N}}$ is a Zariski-dense orbit, then either $n = 1$ and $f$ is of the shape $t \mapsto \zeta t + c$, $\zeta \in \mu_{\infty}$, or else $\limsup_{n \in \mathbb{N}} \frac{\log{h_{\mathrm{aff}}(f^nP)}}{\log{n}} \geq 1/r$. This inequality is the exponential improvement of the trivial lower bound obtained from counting the points of bounded height in $\mathbb{A}^r(K)$.


title: Quantum pumping induced by disorder in one dimension

abstract: The topological property in one dimension (1D) is protected by symmetry. Based on a concrete model, we show that since a 1D topological model usually contain two of the three Pauli matrix, the left one automatically become the protecting symmetry. We study the effect of disorder preserving or breaking the symmetry and show the nature of symmetry protecting in the 1D topological phase. Based on the 1D topological model, a stable quantum pumping can be constructed, which is topologically nontrivial and can be characterized by the Chern number. By calculating the instantaneous local current we show that an integer charge is pumped across a periodic chain in a cyclic process. Also on an open chain, an edge state can be transferred to the other edge by the quantum pumping. Furthermore we find that not only the quantum pumping is stable to on-site disorder, but also can be induced by it. These results may be realized experimentally using quasicrystals.


title: Quantum probes for the spectral properties of a classical environment

abstract: We address the use of simple quantum probes for the spectral characterization of classical noisy environments. In our scheme a qubit interacts with a classical stochastic field describing environmental noise and is then measured after a given interaction time in order to estimate the characteristic parameters of the noise. In particular, we address estimation of the spectral parameters of two relevant kinds of non-Gaussian noise: random telegraph noise with Lorentzian spectrum and colored noise with $1/f^{\alpha}$ spectrum. We discuss the estimation precision achievable by quantum probes by analyzing in details the behavior of the quantum Fisher information (QFI) as a function of the noise and the other parameters. We found that population measurement on the qubit is optimal for noise estimation and also evaluate the optimal interaction times for the quantum probe, i.e. the values maximizing the QFI and the quantum signal-to-noise ratio. For random telegraph noise the QFI is inversely proportional to the square of the switching rate, meaning that the quantum signal-to-noise ratio is constant and thus the switching rate may be uniformly estimated with the same precision in its whole range of variation. For colored noise, the precision achievable in the estimation of ``color'', i.e. of the exponent $\alpha$, strongly depends on the structure of the environment, i.e. on the number of fluctuators describing the classical environment. For an environment modeled by a single random fluctuator estimation is more precise for pink noise, i.e. for $\alpha=1$, whereas by increasing the number of fluctuators, the QFI is has two local maxima, with the largest one drifting towards $\alpha=2$, i.e. brown noise.


title: Validity of covariance models for the analysis of geographical variation

abstract: Due to the availability of large molecular data-sets, covariance models are increasingly used to describe the structure of genetic variation as an alternative to more heavily parametrised biological models. We focus here on a class of parametric covariance models that received sustained attention lately and show that the conditions under which they are valid mathematical models have been overlooked so far. We provide rigorous results for the construction of valid covariance models in this family. We also outline how to construct alternative covariance models for the analysis of geographical variation that are both mathematically well behaved and easily implementable.


title: Reconstruction of interfaces from the elastic farfield measurements using CGO solutions

abstract: In this work, we are concerned with the inverse scattering by interfaces for the linearized and isotropic elastic model at a fixed frequency. First, we derive complex geometrical optic solutions with linear or spherical phases having a computable dominant part and an $H^\alpha$-decaying remainder term with $\alpha <3$, where $H^{\alpha}$ is the classical Sobolev space. Second, based on these properties, we estimate the convex hull as well as non convex parts of the interface using the farfields of only one of the two reflected body waves (pressure waves or shear waves) as measurements. The results are given for both the impenetrable obstacles, with traction boundary conditions, and the penetrable obstacles. In the analysis, we require the surfaces of the obstacles to be Lipschitz regular and, for the penetrable obstacles, the Lam\'e coefficients to be measurable and bounded with the usual jump conditions across the interface.


title: Are polar rings indeed polar?

abstract: We have considered polar ring galaxy candidates, the images of which can be found in the SDSS. The sample of 78 galaxies includes the most reliable candidates from the SPRC and PRC catalogs, some of which already have kinematic confirmations. We analyze the distributions of studied objects by the angle between the polar ring and the central disk, and by the optical diameter of the outer ring structures. In the vast majority of cases, the outer structures lie in the plane close to polar (within 10-20 deg) which indicates the stability of the corresponding orbits in the gravitational potential of the halo. Moderately inclined outer structures are observed only in about 6% of objects which probably indicates their short lifetime. In such an unstable configuration, the polar ring would often cross the disk of the galaxy, being smaller than it in the diameter. We show that the inner polar structures and outer large-scale polar rings form a single family in the distribution of diameters normalized to the optical size of the galaxy. At the same time, this distribution is bimodal, as the number of objects with d_ring= (0.4-0.7)*d_disk is negligible. Such a shape of size distribution is most likely due to the fact that the stability of polar orbits in the inner regions of galaxies is maintained by the bulge or the bar, while in the outer regions it is provided by the spheroidal (or triaxial) halo.


title: First-principle study of octahedral tilting and Ferroelectric like transition in metallic LiOsO3

abstract: The octahedral tilting and ferroelectric-like structural transition of LiOsO3 metallic perovskite [Nature Materials 12, 1024 (2013)] was examined using first-principles density-functional theory. In LiOsO3, a-a-a- octahedral titling mode is responsible for the cubic to rhombohedral structural transition, which is stable phase at room temperature. At low temperatures, a non-centrosymmetric transition to a rhombohedra phase was realized due to zone center phonon softening. The phase transition behavior of LiOsO3 can be explained fully by density functional calculations and phonon calculations. The electronic structure and Fermi surface changes due to the electron lattice coupling effect are also presented. The carrier density of state across the phase transition is associated with the resistivity, heat capacity, and susceptibility.


title: Octahedral tilting and ferroelectricity in RbANb2O7 (A = Bi, Nd) from first principles

abstract: The effects of octahedral tilting of RbANb2O7 (A = Bi, Nd) compounds was studied using density-functional theory. In this compound, the structural phase transition was correlated with two octahedral tilting modes (a-a-c0 tilting and a0a0c+ tilting), and magnitude of the octahedral tilting mode was analyzed in the optimized structure. The theoretical results correlated well with the recent experimental results on the ferroelectricity of RbBiNb2O7. The hybrid improper ferroelectricity resulting from the coupling of two octahedral tilting modes and off center displacement mode was analyzed by group theory and symmetry mode analysis. The detailed relationship of the tilting modes to the structural phase transition and the detailed physical properties of ferroelectricity are also presented.


title: Hamiltonian analysis of curvature-squared gravity with or without conformal invariance

abstract: We analyze gravitational theories with quadratic curvature terms, including the case of conformally invariant Weyl gravity, motivated by the intention to find a renormalizable theory of gravity in the ultraviolet region, yet yielding general relativity at long distances. In the Hamiltonian formulation of Weyl gravity, the number of local constraints is equal to the number of unstable directions in phase space, which in principle could be sufficient for eliminating the unstable degrees of freedom in the full nonlinear theory. All the other theories of quadratic type are unstable -- a problem appearing as ghost modes in the linearized theory. We find that the full projection of the Weyl tensor onto a three-dimensional hypersurface contains an additional fully traceless component, given by a quadratic extrinsic curvature tensor. A certain inconsistency in the literature is found and resolved: when the conformal invariance of Weyl gravity is broken by a cosmological constant term, the theory becomes pathological, since a constraint required by the Hamiltonian analysis imposes the determinant of the metric of spacetime to be zero. In order to resolve this problem by restoring the conformal invariance, we introduce a new scalar field that couples to the curvature of spacetime, reminiscent of the introduction of vector fields for ensuring the gauge invariance.


title: On the inverse elastic scattering by interfaces using one type of scattered waves

abstract: We deal with the problem of the linearized and isotropic elastic inverse scattering by interfaces. We prove that the scattered $P$-parts or $S$-parts of the far field pattern, corresponding to all the incident plane waves of pressure or shear types, uniquely determine the obstacles for both the penetrable and impenetrable obstacles. In addition, we state a reconstruction procedure. In the analysis, we assume only the Lipschitz regularity of the interfaces and, for the penetrable case, the Lam{\'e} coefficients to be measurable and bounded, inside the obstacles, with the usual jumps across these interfaces.


title: The Weierstrass semigroups on double covers of genus two curves

abstract: We show that three numerical semigroups <5,6,7,8>, <3,7,8 > and <3,5> are of double covering type, i.e., the Weierstrass semigroups of ramification points on double covers of curves. Combining this with the results of Oliveira-Pimentel and Komeda we can determine the Weierstrass semigroups of the ramification points on double covers of genus two curves.


title: Left-Right Symmetry and the Charged Higgs Bosons at the LHC

abstract: The charged Higgs boson sector of the Minimal Manifest Left-Right Symmetric model (MLRSM) is investigated in the context of LHC discovery search for new physics beyond Standard Model. We discuss and summarise the main processes within MLRSM where heavy charged Higgs bosons can be produced at the LHC. We explore the scenarios where the amplified signals due to relatively light charged scalars dominate against heavy neutral $Z_2$ and charged gauge $W_2$ as well as heavy neutral Higgs bosons signals which are dumped due to large vacuum expectation value $v_R$ of the right-handed scalar triplet. In particular, production processes with one and two doubly charged Higgs bosons are considered. We further incorporate the decays of those scalars leading to multi lepton signals at the LHC. Branching ratios for heavy neutrino $N_R$, $W_2$ and $Z_2$ decay into charged Higgs bosons are calculated. These effects are substantial enough and cannot be neglected. The tri- and four-lepton final states for different benchmark points are analysed. Kinematic cuts are chosen in order to strength the leptonic signals and decrease the Standard Model (SM) background. The results are presented using di-lepton invariant mass and lepton-lepton separation distributions for the same sign (SSDL) and opposite sign (OSDL) di-leptons as well as the charge asymmetry are also discussed. We have found that for considered MLRSM processes tri-lepton and four-lepton signals are most important for their detection when compared to the SM background. Both of the signals can be detected at 14 TeV collisions at the LHC with integrated luminosity at the level of $300 fb^{-1}$ with doubly charged Higgs bosons up to approximately 600 GeV. Finally, possible extra contribution of the charged MLRSM scalar particles to the measured Higgs to di-photon ($H_0^0 \to \gamma \gamma$) decay is computed and pointed out.


title: Derivation of reaction cross sections from experimental elastic backscattering probabilities

abstract: The relationship between the backward elastic scattering probabilities and reaction cross sections is derived. This is a a very simple and useful method to extract reaction cross sections for heavy ion systems. We compare the results of our method with those using the traditional full elastic scattering angular distributions, for several systems, at energies near and above the Coulomb barrier. From the calculated reaction and capture cross sections using the present method, we derive the cross sections of other mechanisms for nearly spherical systems.


title: Elliptic Determinantal Process of Type A

abstract: We introduce an elliptic extension of Dyson's Brownian motion model, which is a temporally inhomogeneous diffusion process of noncolliding particles defined on a circle. Using elliptic determinant evaluations related to the reduced affine root system of types $A$, we give determinantal martingale representation (DMR) for the process, when it is started at the configuration with equidistant spacing on the circle. DMR proves that the process is determinantal and the spatio-temporal correlation kernel is determined. By taking temporally homogeneous limits of the present elliptic determinantal process, trigonometric and hyperbolic versions of noncolliding diffusion processes are studied.

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


title: Maximizing the number of independent sets of a fixed size

abstract: Let $i_t(G)$ be the number of independent sets of size $t$ in a graph $G$. Engbers and Galvin asked how large $i_t(G)$ could be in graphs with minimum degree at least $\delta$. They further conjectured that when $n\geq 2\delta$ and $t\geq 3$, $i_t(G)$ is maximized by the complete bipartite graph $K_{\delta, n-\delta}$. This conjecture has drawn the attention of many researchers recently. In this short note, we prove this conjecture.


title: Some new identities on the Apostol-Bernoulli polynomials of higher order derived from Bernoulli basis

abstract: In the present paper, we obtain new interesting relations and identities of the Apostol-Bernoulli polynomials of higher order, which are derived using a Bernoulli polynomial basis. Finally, by utilizing our method, we also derive formulas for the convolutions of Bernoulli and Euler polynomials, expressed via Apostol-Bernoulli polynomials of higher order.


title: Qubit entanglement: A Jordan algebraic perspective

abstract: We review work classifying the physically distinct forms of 3-qubit entanglement using the elegant framework of Jordan algebras, Freudenthal triple systems and groups of type E_7. While this framework is, in the first instance, specific to three qubits, it is shown here how the essential features may be naturally generalised to an arbitrary number of qubits.


title: Towards Big Topic Modeling

abstract: To solve the big topic modeling problem, we need to reduce both time and space complexities of batch latent Dirichlet allocation (LDA) algorithms. Although parallel LDA algorithms on the multi-processor architecture have low time and space complexities, their communication costs among processors often scale linearly with the vocabulary size and the number of topics, leading to a serious scalability problem. To reduce the communication complexity among processors for a better scalability, we propose a novel communication-efficient parallel topic modeling architecture based on power law, which consumes orders of magnitude less communication time when the number of topics is large. We combine the proposed communication-efficient parallel architecture with the online belief propagation (OBP) algorithm referred to as POBP for big topic modeling tasks. Extensive empirical results confirm that POBP has the following advantages to solve the big topic modeling problem: 1) high accuracy, 2) communication-efficient, 3) fast speed, and 4) constant memory usage when compared with recent state-of-the-art parallel LDA algorithms on the multi-processor architecture.


title: Lattice-cell : Hybrid approach for text categorization

abstract: In this paper, we propose a new text categorization framework based on Concepts Lattice and cellular automata. In this framework, concept structure are modeled by a Cellular Automaton for Symbolic Induction (CASI). Our objective is to reduce time categorization caused by the Concept Lattice. We examine, by experiments the performance of the proposed approach and compare it with other algorithms such as Naive Bayes and k nearest neighbors. The results show performance improvement while reducing time categorization.


title: Nebular metallicities in two isolated Local Void dwarf galaxies

abstract: Isolated dwarf galaxies, especially those situated in voids, may provide insight into primordial conditions in the Universe and the physical processes that govern star formation in undisturbed stellar systems. The metallicity of H ii regions in such galaxies is key to investigating this possibility. From the SIGRID sample of isolated dwarf galaxies, we have identified two exceptionally isolated objects, the Local Void galaxy [KK98]246 (ESO 461-G036) and another somewhat larger dwarf irregular on the edge of the Local Void, MCG-01-41-006 (HIPASS J1609- 04). We report our measurements of the nebular metallicities in these objects. The first object has a single low luminosity Hii region, while the second is in a more vigorous star forming phase with several bright H ii regions. We find that the metallicities in both galaxies are typical for galaxies of this size, and do not indicate the presence of any primordial gas, despite (for [KK98]246) the known surrounding large reservoir of neutral Hydrogen.


title: Stable and quasi-stable confining SU(N) strings in D=2+1

abstract: We investigate the low-lying spectrum of closed confining flux-tubes that wind around a spatial torus in D=2+1 and carry flux in different representations of SU(N). We focus on our most recent calculations for N=6 and {\beta}=171, where the calculated low-energy physics is very close to the continuum and large-N limits. We investigate the adjoint, 84, 120, k = 2A, 2S and k = 3A, 3M, 3S representations and show that the corresponding flux-tubes do exist. Similarly to the results for the fundamental representation, the ground state of a flux-tube with momentum along its axis appears to be well described by Nambu-Goto all the way down to very short tubes. In contrast, excited states have much larger deviations from Nambu-Goto. We discuss whether these states are non-string-like and associated with excitations of massive flux-tube modes.


title: Conditional Expectations of Correspondences

abstract: We characterize the properties of convexity, compactness and preservation of upper hemicontinuity for conditional expectations of correspondences. These results are then applied to obtain a necessary and sufficient condition for the existence of pure strategy equilibria in Bayesian games.


title: First results for SU(2) Yang-Mills with one adjoint Dirac Fermion

abstract: We present a first exploratory study of SU(2) gauge theory with one Dirac flavour in the adjoint representation. We provide initial results for the spectroscopy and the anomalous dimension for the chiral condensate. Our investigation indicates that the theory is conformal or near-conformal, with an anomalous dimension of order one. A discussion of the relevance of these findings in relation to walking technicolor scenarios is also presented.


title: Infinite Tension Limit of the Pure Spinor Superstring

abstract: Mason and Skinner recently constructed a chiral infinite tension limit of the Ramond-Neveu-Schwarz superstring which was shown to compute the Cachazo-He-Yuan formulae for tree-level d=10 Yang-Mills amplitudes and the NS-NS sector of tree-level d=10 supergravity amplitudes. In this letter, their chiral infinite tension limit is generalized to the pure spinor superstring which computes a d=10 superspace version of the Cachazo-He-Yuan formulae for tree-level d=10 super-Yang-Mills and supergravity amplitudes.


title: Fermionic Functional Renormalization Group Approach to Bose-Einstein Condensation of Dimers

abstract: Fermionic functional renormalization group (f-FRG) is applied to describe Bose-Einstein condensation (BEC) of dimers for a two-component fermionic system with attractive contact interaction. In order to describe the system of dimers without introducing auxiliary bosonic fields (bosonization), we propose a new exact evolution-equation of the effective action in f-FRG with an infrared regulator for the fermion vertex. Then we analyze its basic properties in details. We show explicitly that the critical temperature of the free Bose gas is obtained naturally by this method without bosonization. Methods to make systematic improvement from the deep BEC limit are briefly discussed.

categories: cond-mat.quant-gas hep-ph hep-th nucl-th


title: Unsupervised Learning of Invariant Representations in Hierarchical Architectures

abstract: The present phase of Machine Learning is characterized by supervised learning algorithms relying on large sets of labeled examples ($n \to \infty$). The next phase is likely to focus on algorithms capable of learning from very few labeled examples ($n \to 1$), like humans seem able to do. We propose an approach to this problem and describe the underlying theory, based on the unsupervised, automatic learning of a ``good'' representation for supervised learning, characterized by small sample complexity ($n$). We consider the case of visual object recognition though the theory applies to other domains. The starting point is the conjecture, proved in specific cases, that image representations which are invariant to translations, scaling and other transformations can considerably reduce the sample complexity of learning. We prove that an invariant and unique (discriminative) signature can be computed for each image patch, $I$, in terms of empirical distributions of the dot-products between $I$ and a set of templates stored during unsupervised learning. A module performing filtering and pooling, like the simple and complex cells described by Hubel and Wiesel, can compute such estimates. Hierarchical architectures consisting of this basic Hubel-Wiesel moduli inherit its properties of invariance, stability, and discriminability while capturing the compositional organization of the visual world in terms of wholes and parts. The theory extends existing deep learning convolutional architectures for image and speech recognition. It also suggests that the main computational goal of the ventral stream of visual cortex is to provide a hierarchical representation of new objects/images which is invariant to transformations, stable, and discriminative for recognition---and that this representation may be continuously learned in an unsupervised way during development and visual experience.


title: Hadron structure and elastic scattering

abstract: When colliding, the high energy hadrons can either produce new particles or scatter elastically without change of their quantum numbers and other particles produced. Namely elastic scatterings of hadrons are considered in this paper. The general machinery of their theoretical treatment is described. Some new experimental data are presented and confronted to phenomenological approaches. The internal structure of hadrons is the main subject of these studies. Its impact on properties of their interactions is reviewed. It is shown that protons become larger and darker with increase of their collision energy and reveal some substructure. The violation of the geometric scaling in the diffraction cone and new problems of description of differential cross sections outside it are described.


title: Simulating the Synchronizing Behavior of High-Frequency Trading in Multiple Markets

abstract: Nearly one-half of all trades in financial markets are executed by high-speed, autonomous computer programs -- a type of trading often called high-frequency trading (HFT). Although evidence suggests that HFT increases the efficiency of markets, it is unclear how or why it produces this outcome. Here we create a simple model to study the impact of HFT on investors who trade similar securities in different markets. We show that HFT can improve liquidity by allowing more transactions to take place without adversely affecting pricing or volatility. In the model, HFT synchronizes the prices of the securities, which allows buyers and sellers to find one another across markets and increases the likelihood of competitive orders being filled.


title: Giant magnetocaloric effect in magnetoelectric Eu1-xBaxTiO3

abstract: We report the magnetic entropy change (Delta Sm) in magnetoelectric Eu1-xBaxTiO3 for x = 0.1- 0.9. We find - delta Sm = 11 (40) J/kg.K in x = 0.1 for a field change of 1 (5) Tesla respectively, which is the largest value among all Eu-based oxides. Delta Sm arises from the field-induced suppression of the spin entropy of Eu2+:4f7 localized moments. While -delta Sm decreases with increasing x, -DeltaSm = 6.58 J/kg.K observed in the high spin diluted composition x = 0.9 is larger than that in many manganites. Our results indicate that these magnetoelectrics are potential candidates for cryogenic magnetic refrigeration.


title: On the quantum graph spectra of graphyne nanotubes

abstract: We describe explicitly the dispersion relations and spectra of periodic Schrodinger operators on a graphyne nanotube structure.


title: Interactive Distributed Detection: Architecture and Performance Analysis

abstract: This paper studies the impact of interactive fusion on detection performance in tandem fusion networks with conditionally independent observations. Within the Neyman-Pearson framework, two distinct regimes are considered: the fixed sample size test and the large sample test. For the former, it is established that interactive distributed detection may strictly outperform the one-way tandem fusion structure. However, for the large sample regime, it is shown that interactive fusion has no improvement on the asymptotic performance characterized by the Kullback-Leibler (KL) distance compared with the simple one-way tandem fusion. The results are then extended to interactive fusion systems where the fusion center and the sensor may undergo multiple steps of memoryless interactions or that involve multiple peripheral sensors, as well as to interactive fusion with soft sensor outputs.

categories: cs.IT math.IT math.OC math.ST stat.AP stat.TH


title: Long-term variability of AGN at hard X-rays

abstract: Variability at all observed wavelengths is a distinctive property of AGN. Hard X-rays provide us with a view of the innermost regions of AGN, mostly unbiased by absorption along the line of sight. Swift/BAT offers the unique opportunity to follow, on time scales of days to years and with a regular sampling, the 14-195 keV emission of the largest AGN sample available up to date for this kind of investigation. We study the amplitude of the variations, and their dependence on sub-class and on energy, for a sample of 110 radio quiet and radio loud AGN selected from the BAT 58-month survey. About 80% of the AGN in the sample are found to exhibit significant variability on months to years time scales, radio loud sources being the most variable. The amplitude of the variations and their energy dependence are incompatible with variability being driven at hard X-rays by changes of the absorption column density. In general, the variations in the 14-24 and 35-100 keV bands are well correlated, suggesting a common origin of the variability across the BAT energy band. However, radio quiet AGN display on average 10% larger variations at 14-24 keV than at 35-100 keV and a softer-when-brighter behavior for most of the Seyfert galaxies with detectable spectral variability on month time scale. In addition, sources with harder spectra are found to be more variable than softer ones. These properties are generally consistent with a variable power law continuum, in flux and shape, pivoting at energies >~ 50 keV, to which a constant reflection component is superposed. When the same time scales are considered, the timing properties of AGN at hard X-rays are comparable to those at lower energies, with at least some of the differences possibly ascribable to components contributing differently in the two energy domains (e.g., reflection, absorption).


title: Giant magnetothermopower in charge ordered Nd0.75Na0.25MnO3

abstract: We report magnetization, resistivity and thermopower in the charge-orbital ordered antiferromagnet Nd0.75Na0.25MnO3. Magnetic-field induced collapse of antiferromagnetism is found to be accompanied by a giant negative magnetothermopower (= 80-100% for a field change of 5T) over a wide temperature (T = 60-225K) and giant magnetoresistance. While the field-induced metamagnetic transition in magnetization is reversible upon field-cycling at T > 40 K, it is irreversible at lower temperatures and this has impact on magnetoresistance, magnetothermopower as well as change in the temperature of the sample. Our results indicate high sensitivity of thermopower to changes in the magnetic state of the sample.


title: A Visibility Graph Averaging Aggregation Operator

abstract: The problem of aggregation is considerable importance in many disciplines. In this paper, a new type of operator called visibility graph averaging (VGA) aggregation operator is proposed. This proposed operator is based on the visibility graph which can convert a time series into a graph. The weights are obtained according to the importance of the data in the visibility graph. Finally, the VGA operator is used in the analysis of the TAIEX database to illustrate that it is practical and compared with the classic aggregation operators, it shows its advantage that it not only implements the aggregation of the data purely, but also conserves the time information, and meanwhile, the determination of the weights is more reasonable.


title: Towards Hybrid Artificial-Slime Mould Devices

abstract: The plasmodium of the slime mould Physarum polycephalum has recently received significant attention for its value as a highly malleable amorphous computing substrate. In laboratory-based experiments, micro- and nanoscale artificial circuit components were introduced into the P. polycephalum plasmdodium to investigate the electrical properties and computational abilities of hybridised slime mould. It was found through a combination of imaging techniques and electrophysiological measurements that P. polycephalum is able to internalise a range of electrically active nanoparticles, assemble them in vivo and distribute them around the plasmodium. Hybridised plasmodium is able to form biomorphic mineralised networks, both inside the living plasmodium and the empty trails left in its wake by taxis, both of which facilitate the transmission of electricity. Hybridisation also alters the bioelectrical activity of the plasmodium and likely influences its information processing capabilities. It was concluded that hybridised slime mould is a suitable substrate for producing functional unconventional computing devices.


title: Duplicate detection methodology for IP network traffic analysis

abstract: Network traffic monitoring systems have to deal with a challenging problem: the traffic capturing process almost invariably produces duplicate packets. In spite of this, and in contrast with other fields, there is no scientific literature addressing it. This paper establishes the theoretical background concerning data duplication in network traffic analysis: generating mechanisms, types of duplicates and their characteristics are described. On this basis, a duplicate detection and removal methodology is proposed. Moreover, an analytical and experimental study is presented, whose results provide a dimensioning rule for this methodology.


title: TAPAS, a web-based service of atmospheric transmission computation for astronomy

abstract: Spectra of astronomical targets acquired from ground-based instruments are affected by the atmospheric transmission. The authors and their institutes are developing a web-based service, TAPAS (Transmissions of the AtmosPhere for AStromomical data). This service, freely available, is developed and maintained within the atmospheric ETHER data center. TAPAS computes the atmospheric transmission in the line-of-sight to the target indicated by the user. The user files a request indicating the time, ground location, and either the equatorial coordinates of the target or the Zenith Angle of the line-of sight (LOS). The actual atmospheric profile (temperature, pressure, humidity, ozone content) at that time and place is retrieved from the ETHER atmospheric data base (from a combination of ECMWF meteorological field and other informations), and the atmospheric transmission is computed from LBLRTM software and HITRAN data base for a number of gases: O2, H2O, O3, CO2, and Rayleigh extinction. The first purpose of TAPAS output is to allow identification of observed spectral features as being from atmospheric or astrophysical origin. The returned transmission may also serve for characterizing the spectrometer in wavelength scale and Instrument Line Spectral Function (ILSF) by comparing one observed spectrum of an atmospheric feature to the transmission. Finally, the TOA (Top Of Atmosphere) spectrum may be obtained either by division of the observed spectrum by the computed transmission or other techniques developed on purpose. The obtention of transmissions for individual species allows more potentialities and better adjustments to the data. In this paper, we describe briefly the mechanism of computation of the atmospheric transmissions, and we show some results for O2 and H2O atmospheric absorption. The wavelength range is presently 500-2500 nm. The address is http://ether.ipsl.jussieu.fr/tapas/


title: The Teichm\"uller and Riemann Moduli Stacks

abstract: The aim of this paper is to study the structure of the higher-dimensional Teichm\"uller and Riemann moduli spaces, viewed as stacks over the category of complex manifolds. We first show that the space of complex operators on a smooth manifold admits a foliation transversely modeled on a translation groupoid, a concept that we define here. We then show how to construct explicitly a holonomy groupoid for such a structure and show that in this case its objects and morphisms form a finite-dimensional analytic space and its source and target maps are smooth morphisms. This holonomy data encodes how to glue the local Kuranishi spaces to obtain a groupoid presentation of the Teichm\"uller and Riemann moduli stacks, which can thus be characterized as Artin analytic stacks. This is achieved under the sole condition that the dimension of the automorphism group of each structure is bounded by a fixed integer.


title: The p-Weak Gradient Depends on p

abstract: Given a>0, we construct a weighted Lebesgue measure on R^n for which the family of non constant curves has p-modulus zero for p\leq 1+a but the weight is a Muckenhoupt A_p weight for p>1+a. In particular, the p-weak gradient is trivial for small p but non trivial for large p. This answers an open question posed by several authors. We also give a full description of the p-weak gradient for any locally finite Borel measure on the real line.


title: Technically Natural Vacuum Energy at the Tip of a Supersymmetric Teardrop

abstract: A minimal supersymmetric brane-world model is presented which has: i) zero classical four-dimensional vacuum curvature, despite the large naive vacuum energy due to contributions from Standard Model particles; ii) one-(bulk)-loop quantum corrections to the vacuum energy with a size set by the radius of the extra-dimensional spheroid. These corrections are technically natural because a BPS-like relation between the brane tension and R-charge---which would have preserved (half of) the bulk supersymmetry---is violated by the requirement that the stabilizing R-symmetry gauge flux be quantized. The extra-dimensional geometry is similar to previous rugby-ball geometries, but is simpler in that there is only one brane and so fewer free parameters. Although the sign of the renormalized vacuum energy ends up being the unphysical one for this model (in the limit considered here, where the massive bulk loop is the leading contribution), it serves as an illustrative example of the relevant physics.


title: Mutual information after a local quench in conformal field theory

abstract: We compute the entanglement entropy and mutual information for two disjoint intervals in two-dimensional conformal field theories as a function of time after a local quench, using the replica trick and boundary conformal field theory. We obtain explicit formulae for the universal contributions, which are leading in the regimes of, for example, close or well-separated intervals of fixed length. The results are largely consistent with the quasiparticle picture, in which entanglement above that present in the ground state is carried by pairs of entangled, freely propagating excitations. We also calculate the mutual information for two disjoint intervals in a proposed holographic local quench, whose holographic energy-momentum tensor matches the conformal field theory one. We find that the holographic mutual information shows qualitative differences from the conformal field theory results and we discuss possible interpretations of this.


title: A Characterization of Metric Projection in CAT(0) Spaces

abstract: In this paper, we present a characterization of metric projection in CAT(0) spaces by using the concept of quasilinearization. Furthermore, some basic properties of matric projection are investigated.


title: Regularized estimation in sparse high-dimensional time series models

abstract: Many scientific and economic problems involve the analysis of high-dimensional time series datasets. However, theoretical studies in high-dimensional statistics to date rely primarily on the assumption of independent and identically distributed (i.i.d.) samples. In this work, we focus on stable Gaussian processes and investigate the theoretical properties of $\ell _1$-regularized estimates in two important statistical problems in the context of high-dimensional time series: (a) stochastic regression with serially correlated errors and (b) transition matrix estimation in vector autoregressive (VAR) models. We derive nonasymptotic upper bounds on the estimation errors of the regularized estimates and establish that consistent estimation under high-dimensional scaling is possible via $\ell_1$-regularization for a large class of stable processes under sparsity constraints. A key technical contribution of the work is to introduce a measure of stability for stationary processes using their spectral properties that provides insight into the effect of dependence on the accuracy of the regularized estimates. With this proposed stability measure, we establish some useful deviation bounds for dependent data, which can be used to study several important regularized estimates in a time series setting.


title: ComReg: A Complex Network Approach to Prioritize Test Cases for Regression Testing

abstract: Regression testing is performed to provide confidence that changes in a part of software do not affect other parts of the software. An execution of all existing test cases is the best way to re-establish this confidence. However, regression testing is an expensive process---there might be insufficient resources (e.g., time, workforce) to allow for the re-execution of all test cases. Regression test prioritization techniques attempt to re-order a regression test suite based on some criteria so that highest priority test cases are executed earlier. In this study, we want to prioritize test cases for regression testing based on the dependency network of faults. In software testing, it is common that some faults are consequences of other faults (leading faults). Moreover, dependent faults can be removed if and only if the leading faults have been removed. Our goal is to prioritize test cases so that test cases that exposed leading faults (the most central faults in the fault dependency network) in the system testing phase, are executed first in regression testing. We present ComReg, a test case prioritization technique based on the dependency network of faults. We model a fault dependency network as a directed graph and identify leading faults to prioritize test cases for regression testing. We use a centrality aggregation technique which considers six network representative centrality metrics to identify leading faults in the fault dependency network. We also discuss the use of fault communities to select an arbitrary percentage of the test cases from a prioritized regression test suite. We conduct a case study that evaluates the effectiveness and applicability of the proposed method.


title: Radial velocity variations in the young eruptive star EX Lup

abstract: EX Lup-type objects (EXors) are low-mass pre-main sequence objects characterized by outbursts attributed to highly enhanced disk accretion. The trigger mechanism of EXor outbursts is still debated. One theory requires a close (sub)stellar companion that perturbs the inner disk and triggers the onset of the outburst. Here, we study the radial velocity (RV) variations of EX Lup, the prototype of EXors. We conducted a 5-year RV survey with HARPS and FEROS. We analyzed the activity of EX Lup by checking the bisector and several other activity indicators. We complemented the RV data with photometric monitoring to look for signatures of activity or varying accretion. We found that the RV of EX Lup is periodic, with stable period, semi-amplitude, and phase over at least four years of observations. This period is not present in any of the activity indicators. However, the RV of narrow metallic emission lines suggest the same period, but with an anti-correlating phase. The observed absorption line RVs can be fitted with a Keplerian solution around a 0.6 M_Sun central star with M2 sin i = (14.7 +/- 0.7) M_Jup and eccentricity of e = 0.24. Alternatively, we attempted to model the observations with a cold/hot stellar spot as well, but the spot parameters needed to reproduce the RV semi-amplitude are in contradiction with the photometric variability, making the spot scenario unlikely. We discuss two possibilities to explain the RV data: a geometry with two accretion columns rotating with the star, and a single accretion flow synchronized with the orbital motion of the hypothetical companion. In the companion scenario, the companion's mass would fall into the brown dwarf desert, which, together with the unusually small separation would make EX Lup a unique binary system, with interesting implications on the physical mechanisms responsible for triggering the outburst.


title: Estimate of the Convergence Rate of Finite Element Solutions to Elliptic Equations of Second Order with Discontinuous Coefficients

abstract: In this paper, we consider elliptic boundary value problems with discontinuous coefficients and obtain the asymptotic optimal error estimate $\|u-u_k\|_{1,\Omega}\leqslant Ch|\ln h|^{1/2}\|u\|_{2,\Omega_1+\Omega_2}$ for triangle linear elements.


title: The Adams-Novikov spectral sequence and Voevodsky's slice tower

abstract: We show that the spectral sequence converging to the stable homotopy groups of spheres, induced by the Betti realization of the slice tower for the motivic sphere spectrum, agrees with the Adams-Novikov spectral sequence, after a suitable re-indexing. The proof relies on an extension of Deligne's d\'ecalage construction to the Tot-tower of a cosimplicial spectrum.


title: Towards a New Science of a Clinical Data Intelligence

abstract: In this paper we define Clinical Data Intelligence as the analysis of data generated in the clinical routine with the goal of improving patient care. We define a science of a Clinical Data Intelligence as a data analysis that permits the derivation of scientific, i.e., generalizable and reliable results. We argue that a science of a Clinical Data Intelligence is sensible in the context of a Big Data analysis, i.e., with data from many patients and with complete patient information. We discuss that Clinical Data Intelligence requires the joint efforts of knowledge engineering, information extraction (from textual and other unstructured data), and statistics and statistical machine learning. We describe some of our main results as conjectures and relate them to a recently funded research project involving two major German university hospitals.


title: Hopf algebroids associated to Jacobi algebras

abstract: We give examples of Lie-Rinehart algebras whose enveloping algebra is not a full Hopf algebroid in the sense of Bohm and Szlachanyi. We construct these examples as quotients of a canonical Lie-Rinehart algebra over a Jacobi algebra which does admit an antipode.


title: On Conformal Powers of the Dirac Operator on Spin Manifolds

abstract: The well known conformal covariance of the Dirac operator acting on spinor fields over a semi Riemannian spin manifold does not extend to powers thereof in general. For odd powers one has to add lower order curvature correction terms in order to obtain conformal covariance. We derive an algorithmic construction in terms of associated tractor bundles to compute these correction terms. Depending on the signature of the semi Riemannian manifold in question, the obtained conformal powers of the Dirac operator turn out to be formally self-adjoint with respect to the $L^2-$scalar product, or formally anti-self-adjoint, respectively. Working out this algorithm we present explicit formulas for the conformal third and fifth power of the Dirac operator. Furthermore, we present a new family of conformally covariant differential operators acting on the spin tractor bundle which are induced by conformally covariant differential operators acting on the spinor bundle. Finally, we will give polynomial structures for the first examples of conformal powers in terms of first order differential operators acting on the spinor bundle.


title: Sub-microscopic modulation of mechanical properties in transparent insect wings

abstract: We report on the measurement of mechanical properties of the transparent wings of an insect (popularly known as the 'rain fly') using an atomic force microscope (AFM) down to nanometer length scales. We observe that the frictional and adhesion properties on the surface of the wings are modulated in a semi-periodic fashion. From simultaneous measurement of AFM topography it is observed that the modulation of mechanical properties is correlated with the modulation of topography. Furthermore, the regions of higher friction are decorated with finer nanostructures with definite shape. From optical diffraction experiments we show that the observed modulation and its semi-periodic nature are distributed over the entire surface of the wing.


title: Ideal Polymers near Scale-Free Surfaces

abstract: The number of allowed configurations of a polymer is reduced by the presence of a repulsive surface resulting in an entropic force between them. We develop a method to calculate the entropic force, and detailed pressure distribution, for long ideal polymers near a scale-free repulsive surface. For infinite polymers the monomer density is related to the electrostatic potential near a conducting surface of a charge placed at the point where the polymer end is held. Pressure of the polymer on the surface is then related to the charge density distribution in the electrostatic problem. We derive explicit expressions for pressure distributions and monomer densities for ideal polymers near a two- or three-dimensional wedge, and for a circular cone in three dimensions. Pressure of the polymer diverges near sharp corners in a manner resembling (but not identical to) the electric field divergence near conducting surfaces. We provide formalism for calculation of all components of the total force in situations without axial symmetry.


title: Recurrence relations for the number of solutions of a class of Diophantine equations

abstract: Recursive formulas are derived for the number of solutions of linear and quadratic Diophantine equations with positive coefficients. This result is further extended to general non-linear additive Diophantine equations. It is shown that all three types of the recursion admit an explicit solution in the form of complete Bell polynomial, depending on the coefficients of the power series expansion of the logarithm of the generating functions for the sequences of individual terms in the Diophantine equations.


title: Corner contribution to cluster numbers in the Potts model

abstract: For the two-dimensional Q-state Potts model at criticality, we consider Fortuin-Kasteleyn and spin clusters and study the average number N_Gamma of clusters that intersect a given contour Gamma. To leading order, N_Gamma is proportional to the length of the curve. Additionally, however, there occur logarithmic contributions related to the corners of Gamma. These are found to be universal and their size can be calculated employing techniques from conformal field theory. For the Fortuin-Kasteleyn clusters relevant to the thermal phase transition we find agreement with these predictions from large-scale numerical simulations. For the spin clusters, on the other hand, the cluster numbers are not found to be consistent with the values obtained by analytic continuation, as conventionally assumed.


title: Lasing and high temperature phase transitions in atomic systems with dressed state polaritons

abstract: We consider the fundamental problem of high temperature phase transitions in the system of high density two-level atoms off-resonantly interacting with a pump field in the presence of optical collisions (OCs) and placed in the cavity. OCs are considered in the framework of thermalization of atomic dressed state (DS) population. For the case of a strong atom-field coupling condition we analyze the problem of thermodynamically equilibrium superradiant phase transition for the order parameter representing a real amplitude of cavity mode and taking place as a result of atomic DSs thermalization process. Such transition is also connected with condensed (coherent) properties of low branch (LB) DS-polaritons occurring in the cavity. For describing non-equilibrium phase transitions we derive Maxwell-Bloch like equations which account for cavity decay rate, collisional decay rate and spontaneous emission. Various aspects of transitions to laser field formation by using atomic DS levels for both positive and negative detuning of a pump field from atomic transition frequency are studied in detail. It is revealed, that for positive atom-light detuning DS lasing can be obtained in the presence of quasi-equilibrium DS population that corresponds to a true two-level atomic system with the inversion in nonresonant limit.


title: Impact of Metallic Interface Description on Sub-wavelength Cavity Mode Computations

abstract: We present a numerical study of electromagnetic reflection and cavity modes of 1D-sub-wavelength rectangular metallic gratings exposed to TM-polarized light. Computations are made using the modal development. In particular we study the influence of the choice of boundary conditions on the metallic surfaces on the determination of modes, on specular reflectance and cavity mode amplitudes. Our full real-metal approach shows some advantages when compared to former results since it is in better accordance with experimental results.


title: Statistical properties of the energy exchanged between two heat baths coupled by thermal fluctuations

abstract: We study both experimentally and theoretically the statistical properties of the energy exchanged between two electrical conductors, kept at different temperature by two different heat reservoirs, and coupled by the electric thermal noise. Such a system is ruled by the same equations as two Brownian particles kept at different temperatures and coupled by an elastic force. We measure the heat flowing between the two reservoirs, the thermodynamic work done by one part of the system on the other, and we show that these quantities exhibit a long time fluctuation theorem. Furthermore, we evaluate the fluctuating entropy, which satisfies a conservation law. These experimental results are fully justified by the theoretically analysis. Our results give more insight into the energy transfer in the famous Feymann ratchet widely studied theoretically but never in an experiment.


title: Mod\`ele th\'eorique de la contraction musculaire squelettique : ressorts entropiques, processus stochastiques et m\'ecanique classique (A theoretical model of skeletal muscular contraction : entropic springs, stochastic processes and classical mechanics)

abstract: The model analyzes the muscle fiber as a deformable system for which experimental data are determinated with the help of the laws of Newtonian mechanic. The model predicts the four transient phases for the shortening of a muscle fiber according to a force or length step. The model shows, on the one hand, the importance of the viscosity during the first phase of these two types of step and, secondly, the interdependence of the six other phases towards a bimodal state after disappearance of actions due to viscosity. The model provides an interpretation for the behavior of a fiber with shortening staircase. The model is consistent with experimental data during temperature changes or various structural alterations.


title: Direct Laser Micropatterning of GeSe2 Nanostructures with Controlled Optoelectrical Properties

abstract: We demonstrate that a direct focused laser beam irradiation is able to achieve localized modification on GeSe2 nanostructures (NSs) film. Using scanning focused laser beam setup, micropatterns on GeSe2 NSs film are created directly on the substrate. Controlled structural and chemical changes of the NSs are achieved by varying laser power and treatment environment. The laser modified GeSe2 NSs exhibit distinct optical, electrical and optoelectrical properties. Detailed characterization is carried out and the possible mechanisms for the laser induced changes are discussed. The laser modified NSs film shows superior photoconductivity properties as compared to the pristine nanostructure film. The construction of micropatterns with improved functionality could prove to be useful in miniature optoelectrical devices.


title: Subtleties of Non-Abelian Gauge Theories in Cold-Atomic Lattices

abstract: I point out two of the subtleties referred to in the title. The first is that gauge-invariant magnetic systems may realized under general circumstances, as suggested by a simple theorem. The second subtlety is that care is needed to identify the field theory simulated by a cold-atomic lattice gauge system. Though the simplest such model confines in 2+1 dimensions, it has non-relativistic ``gluon" excitations. Time-reversal invariance is spontaneously broken in this system. The confinement mechanism is related to an extra U(1) gauge invariance.There is a model, suggested long ago by D. Rohlich and me, which is known to have relativistic spin waves. One of the outstanding theoretical problems is a better determination of the energy-momentum relation of spin waves in different magnetic gauge systems.


title: Size effects in superconducting thin films coupled to a substrate

abstract: Recent experimental advances in surface science have made it possible to track the evolution of superconductivity in films as the thickness enters the nanoscale region where it is expected that the substrate plays an important role. Here, we put forward a mean-field, analytically tractable, model that describes size effects in ultrathin films coupled to the substrate. We restrict our study to one-band, crystalline, weakly coupled superconductors with no impurities. The thin-film substrate/vacuum interfaces are described by a simple asymmetric potential well and a finite quasiparticle lifetime. Boundary conditions are chosen to comply with the charge neutrality condition. This model provides a fair description of experimental results in ultrathin lead films: on average, the superconducting gap decreases with thickness and it is always below the bulk value. Clear oscillations, remnants of the shape resonances, are still observed for intermediate thicknesses. For materials with a weaker electron-phonon coupling and negligible disorder, a modest enhancement of superconductivity seems to be feasible. The relaxation of the charge neutrality condition, which is in principle justified in complex oxide heterostructures and other materials, would lead to a much stronger enhancement of superconductivity by size effects.


title: Double scouring by turbulent jets downstream of a submerged sluice gate

abstract: In this work we study the scour produced by a jet downstream of a submerged sluice gate on a sediment bed of non-cohesive particles. The experiments were performed for various values of sill heights and {\deg}uid depths. New regimes were observed in which two holes are simultaneously developed. We identify the origins of the two holes and show that they are produced by different scouring mechanisms. The dependence of the position of the holes with the approach {\deg}uid depth and the gate opening were studied and expressed in terms of adequate non-dimensional numbers.


title: Small vs large dust grains in transitional disks: do different cavity sizes indicate a planet?

abstract: Transitional disks represent a short stage of the evolution of circumstellar material. Studies of dust grains in these objects can provide pivotal information on the mechanisms of planet formation. Dissimilarities in the spatial distribution of small (micron-size) and large (millimeter-size) dust grains have recently been pointed out. Constraints on the small dust grains can be obtained by imaging the distribution of scattered light at near-infrared wavelengths. We aim at resolving structures in the surface layer of transitional disks (with particular emphasis on the inner 10 - 50 AU), thus increasing the scarce sample of high resolution images of these objects. We obtained VLT/NACO near-IR high-resolution polarimetric differential imaging observations of SAO 206462 (HD135344B). This technique allows one to image the polarized scattered light from the disk without any occulting mask and to reach an inner working angle of 0.1''. A face-on disk is detected in H and Ks bands between 0.1'' and 0.9''. No significant differences are seen between the H and Ks images. In addition to the spiral arms, these new data allow us to resolve for the first time an inner cavity for small dust grains. The cavity size (about 28 AU) is much smaller than what is inferred for large dust grains from (sub)mm observations (39 to 50 AU). The interaction between the disk and potential orbiting companion(s) can explain both the spiral arm structure and the discrepant cavity sizes for small and large dust grains. One planet may be carving out the gas (and, thus, the small grains) at 28 AU, and generating a pressure bump at larger radii (39 AU), which holds back the large grains. We analytically estimate that, in this scenario, a single giant planet (with a mass between 5 and 15 Jupiter masses) at 17 to 20 AU from the star is consistent with the observed cavity sizes.


title: A spatial scan statistic for zero-inflated Poisson process

abstract: The scan statistic is widely used in spatial cluster detection applications of inhomogeneous Poisson processes. However, real data may present substantial departure from the underlying Poisson process. One of the possible departures has to do with zero excess. Some studies point out that when applied to data with excess zeros, the spatial scan statistic may produce biased inferences. In this work, we develop a closed-form scan statistic for cluster detection of spatial zero-inflated count data. We apply our methodology to simulated and real data. Our simulations revealed that the Scan-Poisson statistic steadily deteriorates as the number of zeros increases, producing biased inferences. On the other hand, our proposed Scan-ZIP and Scan-ZIP+EM statistics are, most of the time, either superior or comparable to the Scan-Poisson statistic.


title: Stability in bi-Hamiltonian systems and multidimensional rigid body

abstract: The presence of two compatible Hamiltonian structures is known to be one of the main, and the most natural, mechanisms of integrability. For every pair of Hamiltonian structures, there are associated conservation laws (first integrals). Another approach is to consider the second Hamiltonian structure on its own as a tensor conservation law. The latter is more intrinsic as compared to scalar conservation laws derived from it and, as a rule, it is "simpler". Thus it is natural to ask: can the dynamics of a bi-Hamiltonian system be understood by studying its Hamiltonian pair, without studying the associated first integrals?\par In this paper, the problem of stability of equilibria in bi-Hamiltonian systems is considered and it is shown that the conditions for nonlinear stability can be expressed in algebraic terms of linearization of the underlying Poisson pencil. This is used to study stability of stationary rotations of a free multidimensional rigid body.


title: AnaDroid: Malware Analysis of Android with User-supplied Predicates

abstract: Today's mobile platforms provide only coarse-grained permissions to users with regard to how third- party applications use sensitive private data. Unfortunately, it is easy to disguise malware within the boundaries of legitimately-granted permissions. For instance, granting access to "contacts" and "internet" may be necessary for a text-messaging application to function, even though the user does not want contacts transmitted over the internet. To understand fine-grained application use of permissions, we need to statically analyze their behavior. Even then, malware detection faces three hurdles: (1) analyses may be prohibitively expensive, (2) automated analyses can only find behaviors that they are designed to find, and (3) the maliciousness of any given behavior is application-dependent and subject to human judgment. To remedy these issues, we propose semantic-based program analysis, with a human in the loop as an alternative approach to malware detection. In particular, our analysis allows analyst-crafted semantic predicates to search and filter analysis results. Human-oriented semantic-based program analysis can systematically, quickly and concisely characterize the behaviors of mobile applications. We describe a tool that provides analysts with a library of the semantic predicates and the ability to dynamically trade speed and precision. It also provides analysts the ability to statically inspect details of every suspicious state of (abstract) execution in order to make a ruling as to whether or not the behavior is truly malicious with respect to the intent of the application. In addition, permission and profiling reports are generated to aid analysts in identifying common malicious behaviors.


title: 5-Brane Webs, Symmetry Enhancement, and Duality in 5d Supersymmetric Gauge Theory

abstract: We present a number of investigations of 5d ${\cal N}=1$ supersymmetric gauge theories that make use of 5-brane web constructions and the 5d superconformal index. These include an observation of enhanced global symmetry in the 5d fixed point theory corresponding to $SU(N)$ gauge theory with Chern-Simons level $\pm N$, enhanced global symmetries in quiver theories, and dualities between quiver theories and non-quiver theories. Instanton contributions play a crucial role throughout.


title: Neutrino propagation in nuclear medium and neutrinoless double-beta decay

abstract: We discuss a novel effect in neutrinoless double beta (0{\nu}{\beta}{\beta}) decay related with the fact that its underlying mechanisms take place in the nuclear matter environment. We study the neutrino exchange mechanism and demonstrate the possible impact of nuclear medium via Lepton Number Violating (LNV) 4-fermion interactions of neutrino with quarks from decaying nucleus. The net effect of these interactions is generation of an effective in-medium Majorana neutrino mass matrix. The enhanced rate of the 0{\nu}{\beta}{\beta}-decay can lead to the apparent incompatibility of observations of the 0{\nu}{\beta}{\beta}-decay with the value of the neutrino mass determined or restricted by the {\beta}-decay and cosmological data. The effective neutrino masses and mixing are calculated for the complete set of the relevant 4-fermion neutrino-quark operators. Using experimental data on the 0{\nu}{\beta}{\beta}-decay in combination with the {\beta}-decay and cosmological data we evaluate the characteristic scales of the LNV operators: {\Lambda} > 2.4 TeV.


title: Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation

abstract: We present Anadroid, a static malware analysis framework for Android apps. Anadroid exploits two techniques to soundly raise precision: (1) it uses a pushdown system to precisely model dynamically dispatched interprocedural and exception-driven control-flow; (2) it uses Entry-Point Saturation (EPS) to soundly approximate all possible interleavings of asynchronous entry points in Android applications. (It also integrates static taint-flow analysis and least permissions analysis to expand the class of malicious behaviors which it can catch.) Anadroid provides rich user interface support for human analysts which must ultimately rule on the "maliciousness" of a behavior. To demonstrate the effectiveness of Anadroid's malware analysis, we had teams of analysts analyze a challenge suite of 52 Android applications released as part of the Auto- mated Program Analysis for Cybersecurity (APAC) DARPA program. The first team analyzed the apps using a ver- sion of Anadroid that uses traditional (finite-state-machine-based) control-flow-analysis found in existing malware analysis tools; the second team analyzed the apps using a version of Anadroid that uses our enhanced pushdown-based control-flow-analysis. We measured machine analysis time, human analyst time, and their accuracy in flagging malicious applications. With pushdown analysis, we found statistically significant (p < 0.05) decreases in time: from 85 minutes per app to 35 minutes per app in human plus machine analysis time; and statistically significant (p < 0.05) increases in accuracy with the pushdown-driven analyzer: from 71% correct identification to 95% correct identification.


title: Explicit Wodzicki excision in cyclic homology

abstract: Assuming local one-sided units exist, I give an elementary proof of Wodzicki excision for cyclic homology. The proof is also constructive and provides an explicit inverse excision map. As far as I know, the latter is new.


title: Efficient traveltime solution of the acoustic TI eikonal equation

abstract: Numerical solutions of the eikonal (Hamilton-Jacobi) equation for transversely isotropic (TI) media are essential for imaging and traveltime tomography applications. Such solutions, however, suffer from the inherent higher-order nonlinearity of the TI eikonal equation, which requires solving a quartic polynomial for every grid point. Analytical solutions of the quartic polynomial yield numerically unstable formulations. Thus, we need to utilize a numerical root finding algorithm, adding significantly to the computational load. Using perturbation theory we approximate, in a first order discretized form, the TI eikonal equation with a series of simpler equations for the coefficients of a polynomial expansion of the eikonal solution, in terms of the anellipticity anisotropic parameter. Such perturbation, applied to the discretized form of the eikonal equation, does not impose any restrictions on the complexity of the perturbed parameter field. Therefore, it provides accurate traveltime solutions even for models with complex distribution of velocity and anisotropic anellipticity parameter, such as that for the complicated Marmousi model. The formulation allows for large cost reduction compared to using the exact TI eikonal solver. Furthermore, comparative tests with previously developed approximations illustrate remarkable gain in accuracy in the proposed algorithm, without any addition to the computational cost.


title: Existence and Regularity of Invariant Measures for the Three Dimensional Stochastic Primitive Equations

abstract: We establish the continuity of the Markovian semigroup associated with strong solutions of the stochastic 3D Primitive Equations, and prove the existence of an invariant measure. The proof is based on new moment bounds for strong solutions. The invariant measure is supported on strong solutions, but is furthermore shown to have higher regularity properties.


title: Generalized Dualities in 1T-Physics as Holographic Predictions from 2T-Physics

abstract: In the conventional formalism of physics, with 1-time, systems with different Hamiltonians or Lagrangians have different physical interpretations and are considered to be independent systems unrelated to each other. However, in this paper we construct explicitly canonical maps in 1T phase space (including timelike components, specifically the Hamiltonian) to show that it is appropriate to regard various 1T-physics systems, with different Lagrangians or Hamiltonians, as being duals of each other. This concept is similar in spirit to dualities discovered in more complicated examples in field theory or string theory. Our approach makes it evident that such generalized dualities are widespread. This suggests that, as a general phenomenon, there are hidden relations and hidden symmetries that conventional 1T-physics does not capture, implying the existence of a more unified formulation of physics that naturally supplies the hidden information. In fact, we show that 2T-physics in (d+2)-dimensions is the generator of these dualities in 1T-physics in d-dimensions by providing a holographic perspective that unifies all the dual 1T systems into one. The unifying ingredient is a gauge symmetry in phase space. Via such dualities it is then possible to gain new insights toward new physical predictions not suspected before, and suggest new methods of computation that yield results not obtained before. As an illustration, we will provide concrete examples of 1T-systems in classical mechanics that are solved analytically for the first time via our dualities. These dualities in classical mechanics have counterparts in quantum mechanics and field theory, and in some simpler cases they have already been constructed in field theory. We comment on the impact of our approach on the meaning of spacetime and on the development of new computational methods based on dualities.


title: Fluctuations and information filtering in coupled populations of spiking neurons with adaptation

abstract: Finite-sized populations of spiking elements are fundamental to brain function, but also used in many areas of physics. Here we present a theory of the dynamics of finite-sized populations of spiking units, based on a quasi-renewal description of neurons with adaptation. We derive an integral equation with colored noise that governs the stochastic dynamics of the population activity in response to time-dependent stimulation and calculate the spectral density in the asynchronous state. We show that systems of coupled populations with adaptation can generate a frequency band in which sensory information is preferentially encoded. The theory is applicable to fully as well as randomly connected networks, and to leaky integrate-and-fire as well as to generalized spiking neurons with adaptation on multiple time scales.


title: A possible mechanism of origin of heavy elements in the solar system

abstract: We advance a hypothesis that a collision of a neutron-rich compact object (NRCO) with a massive dense object of the early solar system was responsible for the heavy element enrichment of the system and for the formation of the terrestrial planets.


title: Sobolev estimates for the complex Green operator on CR submanifolds of hypersurface type

abstract: Let $M$ be a pseudoconvex, oriented, bounded and closed CR submanifold of $\mathbb{C}^{n}$ of hypersurface type. Our main result says that when a certain $1$-form on $M$ is exact on the null space of the Levi form, then the complex Green operator on $M$ satisfies Sobolev estimates. This happens in particular when $M$ admits a set of plurisubharmonic defining functions or when $M$ is strictly pseudoconvex except for the points on a simply connected complex submanifold.


title: Symmetric Periodic Orbits in Three Sub-Problems of the N-body Problem

abstract: We study three sub-problems of the N-body problem that have two degrees of freedom, namely the n-pyramidal problem, the planar double-polygon problem, and the spatial double-polygon problem. We prove the existence of several families of symmetric periodic orbits, including ``Schubart-like" orbits and brake orbits, by using topological shooting arguments.


title: Estimating a graphical intra-class correlation coefficient (GICC) using multivariate probit-linear mixed models

abstract: Data reproducibility is a critical issue in all scientific experiments. In this manuscript, we consider the problem of quantifying the reproducibility of graphical measurements. We generalize the concept of image intra-class correlation coefficient (I2C2) and propose the concept of the graphical intra-class correlation coefficient (GICC) for such purpose. The concept of GICC is based on multivariate probit-linear mixed effect models. We will present a Markov Chain EM (MCEM) algorithm for estimating the GICC. Simulations results with varied settings are demonstrated and our method is applied to the KIRBY21 test-retest dataset.


title: Network communities within and across borders

abstract: We investigate the impact of borders on the topology of spatially embedded networks. Indeed territorial subdivisions and geographical borders significantly hamper the geographical span of networks thus playing a key role in the formation of network communities. This is especially important in scientific and technological policy-making, highlighting the interplay between pressure for the internationalization to lead towards a global innovation system and the administrative borders imposed by the national and regional institutions. In this study we introduce an outreach index to quantify the impact of borders on the community structure and apply it to the case of the European and US patent co-inventors networks. We find that (a) the US connectivity decays as a power of distance, whereas we observe a faster exponential decay for Europe; (b) European network communities essentially correspond to nations and contiguous regions while US communities span multiple states across the whole country without any characteristic geographic scale. We confirm our findings by means of a set of simulations aimed at exploring the relationship between different patterns of cross-border community structures and the outreach index.


title: Disorder Driven Metal-Insulator Transition in BaPb$_{1-x}$Bi$_x$O$_3$ and Inference of Disorder-Free Critical Temperature

abstract: We performed point-contact spectroscopy tunneling measurements on single crystal BaPb$_{1-x}$Bi$_x$O$_3$ for $x=0$, $0.19$, $0.25$, and $0.28$ at temperatures ranging from $T=2-40$ K and find a suppression in the density of states at low bias-voltages, which has not previously been reported. The classic square root dependence observed in the density of states fits within the theoretical framework of disordered metals, and we find that the correlation gap disappears around a critical concentration $x_c=0.30$. We also report a linear dependence of the zero-temperature conductivity, $\sigma_0$, with concentration, where $\sigma_0=0$ at $x_c=0.30$. We conclude that a disorder driven metal-insulator transition occurs in this material before the onset of the charge disproportionated charge density wave insulator. We explore the possibility of a scaling theory being applicable for this material. In addition, we estimate the disorder-free critical temperature using theory developed by Belitz and Fukuyama et. al. and compare these results to Ba$_{1-x}$K$_x$BiO$_3$.


title: On the degree of non-Markovianity of quantum evolution

abstract: We propose a new characterization of non-Markovian quantum evolution based on the concept of non-Markovianity degree. It provides an analog of a Schmidt number in the entanglement theory and reveals the formal analogy between quantum evolution and the entanglement theory: Markovian evolution corresponds to a separable state and non-Markovian one is further characterized by its degree. It enables one to introduce a non-Markovinity witness -- an analog of an entanglement witness -- and a family of measures -- an analog of Schmidt coefficients -- and finally to characterize maximally non-Markovian evolution being an analog of maximally entangled state. Our approach allows to classify the non-Markovianity measures introduced so far in a unified rigorous mathematical framework.


title: Classification of Nilsoliton metrics in dimension seven

abstract: The aim of this paper is to classify Ricci soliton metrics on $7$-dimensional nilpotent Lie groups. It can be considered as a continuation of our paper in [Transformation Groups, Volume 17, Number 3 (2012), 639--656]. To this end, we use the classification of $7$-dimensional real nilpotent Lie algebras given by Ming-Peng Gong in his Ph.D thesis and some techniques from the results of Michael Jablonski in [Rocky Mtn. Journal of Math. 42 (2012), 1521--1549] and [M\"{u}nster J. Math. 3 (2010), 67--88], and of Yuri Nikolayevsky in [Trans. Amer. Math. Soc. 363 (2011), 3935--3958]. Of the $9$ one-parameter families and $140$ isolated $7$-dimensional indecomposable real nilpotent Lie algebras, we have $99$ nilsoliton metrics given in an explicit form and $7$ one-parameter families admitting nilsoliton metrics. Our classification is the result of a case-by-case analysis, so many illustrative examples are carefully developed to explain how to obtain the main result.


title: Bolometric luminosity black-hole growth time and slim accretion discs in active galactic nuclei

abstract: We investigate the accretion rate, bolometric luminosity, black hole (BH) growth time and BH spin in a large AGN sample under the assumption that all such objects are powered via thin or slim accretion discs (ADs). We use direct estimates of the mass accretion rate, Mdot, to show that many currently used values of Lbol and Ledd are either under estimated or over estimated because they are based on bolometric correction factors that are adjusted to the properties of moderately accreting active galactic nuclei (AGN) and do not take into account the correct combination of BH mass, spin and accretion rate. The consistent application of AD physics to our sample of Sloan Digital Sky Survey (SDSS) AGN leads to the following findings: 1. Even the most conservative assumption about the radiative efficiency of fast accreting BHs shows that many of these sources must contain slim ADs. We illustrate this by estimating the fraction of such objects at various redshifts. 2. Many previously estimated BH growth times are inconsistent with the AD theory. In particular, the growth times of the fastest accreting BHs were over estimated in the past by large factors with important consequences to AGN evolution. 3. Currently used bolometric correction factors for low accretion rate very massive SDSS BHs, are inconsistent with the AD theory. Applying the AD set of assumptions to such objects, combined with standard photoionization calculations of broad emission lines, leads to the conclusion that many such objects must contain fast spinning BHs.


title: Convergence and generalization of a recursion equation for primes

abstract: The main result is a generalization of Keller's recursion equation for finding a prime number given the previous primes. We also examine the convergence of the limit in Keller's equation and the convergence of the limit in the general equation. The latter is dependent on the choice of L-function.


title: A colored operad for string link infection

abstract: Budney recently constructed an operad that encodes splicing of knots. He further showed that the space of (long) knots is generated over this operad by the space of torus knots and hyperbolic knots, thus generalizing the satellite decomposition of knots from isotopy classes to the level of the space of knots. Infection by string links is a generalization of splicing from knots to links. We construct a colored operad that encodes string link infection. We prove that a certain subspace of the space of 2-component string links is generated over a suboperad of our operad by its subspace of prime links. This generalizes a result from joint work with Blair from isotopy classes of knots to the space of knots. Furthermore, all the relations in the monoid of 2-string links (as determined in our joint work with Blair) are captured by our infection operad.


title: A flyby anomaly for Juno? Not from standard physics

abstract: An empirical formula recently appeared in the literature to explain the observed anomalies of about $\Delta\dot\rho\approx 1-10$ mm s$^{-1}$ in the geocentric range-rates $\dot\rho$ of the Galileo, NEAR and Rosetta spacecraft at some of their past perigee passages along unbound, hyperbolic trajectories. It predicts an anomaly of the order of $6$ mm s$^{-1}$ for the recent flyby of Juno, occurred on 9 October 2013. Data analyses to confirm or disproof it are currently ongoing. We numerically calculate the impact on the geocentric Juno's range rate of some classical and general relativistic dynamical effects which are either unmodelled or mismodelled to a certain level in the software used to process the data. They are: a) The first even zonal harmonic coefficient $J_2$ of the multipolar expansion of the terrestrial gravitational potential causing orbital perturbations both at the $\left.{\rm a}^{'}\right)$ Newtonian ($J_2$) and at the $\left. {\rm a}^{''}\right)$ first post-Newtonian level ($J_2 c^{-2}$) b) The post-Newtonian gravitoelectric (GE) Schwarschild-like component of the Earth's gravitational field c) The post-Newtonian gravitomagnetic (GM) Lense-Thirring effect. The magnitudes of their mismodeled and nominal range-rate signatures are: $\left. {\rm a}^{'}\right)$ $\Delta\dot\rho_{\sigma_{J_2}} \approx 1$ $\mu$m s$^{-1}$ $\left. {\rm a}^{''}\right)$ $\Delta\dot\rho_{J_2 c^{-2}} \approx 0.015$ $\mu$m s$^{-1}$ b) $\Delta\dot\rho_{\rm GE} \approx 25$ $\mu$m s$^{-1}$ c) $\Delta\dot\rho_{\rm GM} \approx 0.05$ $\mu$m s$^{-1}$. If a flyby anomaly as large as a few mm s$^{-1}$ will be finally found also for Juno, it will not be due to any of these standard gravitational effects. (Abridged)


title: The power of linear programming for general-valued CSPs

abstract: Let $D$, called the domain, be a fixed finite set and let $\Gamma$, called the valued constraint language, be a fixed set of functions of the form $f:D^m\to\mathbb{Q}\cup\{\infty\}$, where different functions might have different arity $m$. We study the valued constraint satisfaction problem parametrised by $\Gamma$, denoted by VCSP$(\Gamma)$. These are minimisation problems given by $n$ variables and the objective function given by a sum of functions from $\Gamma$, each depending on a subset of the $n$ variables. Finite-valued constraint languages contain functions that take on only rational values and not infinite values. Our main result is a precise algebraic characterisation of valued constraint languages whose instances can be solved exactly by the basic linear programming relaxation (BLP). For a valued constraint language $\Gamma$, BLP is a decision procedure for $\Gamma$ if and only if $\Gamma$ admits a symmetric fractional polymorphism of every arity. For a finite-valued constraint language $\Gamma$, BLP is a decision procedure if and only if $\Gamma$ admits a symmetric fractional polymorphism of some arity, or equivalently, if $\Gamma$ admits a symmetric fractional polymorphism of arity 2. Using these results, we obtain tractability of several novel classes of problems, including problems over valued constraint languages that are: (1) submodular on arbitrary lattices; (2) $k$-submodular on arbitrary finite domains; (3) weakly (and hence strongly) tree-submodular on arbitrary trees.


title: Bootstrap multiscale analysis and localization for multi-particle continuous Anderson Hamiltonians

abstract: We extend the bootstrap multiscale analysis developed by Germinet and Klein to the multi-particle continuous Anderson Hamiltonian, obtaining Anderson localization with finite multiplicity of eigenvalues, decay of eigenfunction correlations, and a strong form of dynamical localization.


title: Connected sums and finite energy foliations I: Contact connected sums

abstract: We consider a $3$-manifold $M$ equipped with nondegenerate contact form $\lambda$ and compatible almost complex structure $J$. We show that if the data $(M, \lambda, J)$ admits a stable finite energy foliation, then for a generic choice of distinct points $p$, $q\in M$, the manifold $M'$ formed by taking the connected sum at $p$ and $q$ admits a nondegenerate contact form $\lambda'$ and compatible almost complex structure $J'$ so that the data $(M', \lambda', J')$ also admits a stable finite energy foliation. Along the way, we develop some general theory for the study of finite energy foliations.


title: The domino problem on groups of polynomial growth

abstract: We characterize the virtually nilpotent finitely generated groups (or, equivalently by Gromov's theorem, groups of polynomial growth) for which the Domino Problem is decidable: These are the virtually free groups, i.e. finite groups, and those having $\Z$ as a subgroup of finite index.


title: Finite-type-Dyck shift spaces

abstract: We study some basic properties of sofic-Dyck shifts and finite-type-Dyck shifts. We prove that the class of sofic-Dyck shifts is stable under proper conjugacies. We prove a Decomposition Theorem of a proper conjugacy between edge-Dyck shifts into a sequence of Dyck splittings and amalgamations.


title: On the Mixed H2/H-infinity Loop Shaping Trade-offs in Fractional Order Control of the AVR System

abstract: This paper looks at frequency domain design of a fractional order (FO) PID controller for an Automatic Voltage Regulator (AVR) system. Various performance criteria of the AVR system are formulated as system norms and is then coupled with an evolutionary multi-objective optimization (MOO) algorithm to yield Pareto optimal design trade-offs. The conflicting performance measures consist of the mixed H2/H-infinity designs for objectives like set-point tracking, load disturbance and noise rejection, controller effort and as such are an exhaustive study of various conflicting design objectives. A fuzzy logic based mechanism is used to identify the best compromise solution on the Pareto fronts. The advantages and disadvantages of using a FOPID controller over the conventional PID controller, which are popular for industrial use, are enunciated from the presented simulations. The relevance and impact of FO controller design from the perspective of the dynamics of AVR control loop is also discussed.


title: On magnetic reconnection and flux rope topology in solar flux emergence

abstract: We present an analysis of the formation of atmospheric flux ropes in a magnetohydrodynamic (MHD) solar flux emergence simulation. The simulation domain ranges from the top of the solar interior to the low corona. A twisted magnetic flux tube emerges from the solar interior and into the atmosphere where it interacts with the ambient magnetic field. By studying the connectivity of the evolving magnetic field, we are able to better understand the process of flux rope formation in the solar atmosphere. In the simulation, two flux ropes are produced as a result of flux emergence. Each has a different evolution resulting in different topological structures. These are determined by plasma flows and magnetic reconnection. As the flux rope is the basic structure of the coronal mass ejection (CME), we discuss the implications of our findings for solar eruptions.