title: A Strong Distillery

abstract: Abstract machines for the strong evaluation of lambda-terms (that is, under abstractions) are a mostly neglected topic, despite their use in the implementation of proof assistants and higher-order logic programming languages. This paper introduces a machine for the simplest form of strong evaluation, leftmost-outermost (call-by-name) evaluation to normal form, proving it correct, complete, and bounding its overhead. Such a machine, deemed Strong Milner Abstract Machine, is a variant of the KAM computing normal forms and using just one global environment. Its properties are studied via a special form of decoding, called a distillation, into the Linear Substitution Calculus, neatly reformulating the machine as a standard micro-step strategy for explicit substitutions, namely linear leftmost-outermost reduction, i.e., the extension to normal form of linear head reduction. Additionally, the overhead of the machine is shown to be linear both in the number of steps and in the size of the initial term, validating its design. The study highlights two distinguished features of strong machines, namely backtracking phases and their interactions with abstractions and environments.


title: In-flight measurements of energetic radiation from lightning and thunderclouds

abstract: In the certification procedure aircraft builders carry out so-called icing tests flights, where the zero degree Celsius altitude is deliberately sought and crossed in or under thunderstorms. Airbus also used these flights to test ILDAS, a system aimed to determine lightning severity and attachment points during flight from high speed data on the electric and magnetic field at the aircraft surface. We used this unique opportunity to enhance the ILDAS systems with two x-ray detectors coupled to high speed data recorders in an attempt to determine the x-rays produced by lightning in-situ, with synchronous determination of the lightning current distribution and electric field at the aircraft. Such data are of interest in a study of lightning physics. In addition, the data may provide clues to the x-ray dose for personnel and equipment during flights. The icing campaign ran in April 2014; in six flights we collected data of 61 lightning strikes on an Airbus test aircraft. In this communication we briefly describe ILDAS and present selected results on three strikes, two aircraft initiated and one intercepted. Most of the x-rays have been observed synchronous with initiating negative leader steps, and as bursts immediately preceding the current of the recoil process. Those processes include the return stroke. The bursts last one to four micro-second and attain x-ray energies up to 10 MeV. Intensity and spectral distribution of the x-rays and the association with the current distribution are discussed. ILDAS also continuously records x-rays at low resolution in time and amplitude.


title: Sampling-based Causal Inference in Cue Combination and its Neural Implementation

abstract: Causal inference in cue combination is to decide whether the cues have a single cause or multiple causes. Although the Bayesian causal inference model explains the problem of causal inference in cue combination successfully, how causal inference in cue combination could be implemented by neural circuits, is unclear. The existing method based on calculating log posterior ratio with variable elimination has the problem of being unrealistic and task-specific. In this paper, we take advantages of the special structure of the Bayesian causal inference model and propose a hierarchical inference algorithm based on importance sampling. A simple neural circuit is designed to implement the proposed inference algorithm. Theoretical analyses and experimental results demonstrate that our algorithm converges to the accurate value as the sample size goes to infinite. Moreover, the neural circuit we design can be easily generalized to implement inference for other problems, such as the multi-stimuli cause inference and the same-different judgment.


title: Quantum Nonlocality of Arbitrary Dimensional Bipartite States

abstract: We study the nonlocality of arbitrary dimensional bipartite quantum states. By computing the maximal violation of a set of multi-setting Bell inequalities, an analytical and computable lower bound has been derived for general two-qubit states. This bound gives the necessary condition that a two-qubit state admits no local hidden variable models. The lower bound is shown to be better than that from the CHSH inequality in judging the nonlocality of some quantum states. The results are generalized to the case of high dimensional quantum states, and a sufficient condition for detecting the non-locality has been presented.


title: SH$^c$ Realization of Minimal Model CFT: Triality, Poset and Burge Condition

abstract: Recently an orthogonal basis of $\mathcal{W}_N$-algebra (AFLT basis) labeled by $N$-tuple Young diagrams was found in the context of 4D/2D duality. Recursion relations among the basis are summarized in the form of an algebra SH$^c$ which is universal for any $N$. We show that it has an $\mathfrak{S}_3$ automorphism which is referred to as triality. We study the level-rank duality between minimal models, which is a special example of the automorphism. It is shown that the nonvanishing states in both systems are described by $N$ or $M$ Young diagrams with the rows of boxes appropriately shuffled. The reshuffling of rows implies there exists partial ordering of the set which labels them. For the simplest example, one can compute the partition functions for the partially ordered set (poset) explicitly, which reproduces the Rogers-Ramanujan identities. We also study the description of minimal models by SH$^c$. Simple analysis reproduces some known properties of minimal models, the structure of singular vectors and the $N$-Burge condition in the Hilbert space.


title: Dynamic Entanglement Evolution of Two-qubit XYZ Spin Chain in Markovian Environment

abstract: We propose a new approach called Ket-Bra Entangled State (KBES) Method for converting master equation into Schr\"{o}dinger-like equation. With this method, we investigate decoherence process and entanglement dynamics induced by a $2$-qubit spin chain that each qubit coupled with reservoir. The spin chain is an anisotropy $XYZ$ Heisenberg model in the external magnetic field $B$, the corresponding master equation is solved concisely by KBES method; Furthermore, the effects of anisotropy, temperature, external field and initial state on concurrence dynamics is analyzed in detail for the case that initial state is Extended Wenger-Like(EWL) state. Finally we research the coherence and concurrence of the final state (namely the density operator for time tend to infinite)


title: Nature of Possible Magnetic Phases in Frustrated Hyperkagome Iridate

abstract: Based on Kitaev-Heisenberg model with Dzyaloshinskii-Moriya (DM) interactions, we studied nature of possible magnetic phases in frustrated hyperkagome iridate, Na$_4$Ir$_{3}$O$_8$ (Na-438). Using Monte-Carlo simulation, we showed that the phase diagram is mostly covered by two competing magnetic ordered phases; Z$_2$ symmetry breaking (SB) phase and Z$_6$ SB phase, latter of which is stabilized by the classical order by disorder. These two phases are separated by a first order phase transition line with Z$_8$-like symmetry. The critical nature at the Z$_6$ SB ordering temperature is characterized by the 3D XY universality class, below which U(1) to Z$_6$ crossover phenomena appears; the Z$_6$ spin anisotropy becomes irrelevant in a length scale shorter than a crossover length $\Lambda_*$ while becomes relevant otherwise. A possible phenomenology of polycrystalline Na-438 is discussed based on this crossover phenomena.


title: From fracture to fragmentation: discrete element modeling -- Complexity of crackling noise and fragmentation phenomena revealed by discrete element simulations

abstract: Discrete element modelling (DEM) is one of the most efficient computational approaches to the fracture processes of heterogeneous materials on mesoscopic scales. From the dynamics of single crack propagation through the statistics of crack ensembles to the rapid fragmentation of materials DEM had a substantial contribution to our understanding over the past decades. Recently, the combination of DEM with other simulation techniques like Finite Element Modelling further extended the field of applicability. In this paper we briefly review the motivations and basic idea behind the DEM approach to cohesive particulate matter and then we give an overview of on-going developments and applications of the method focusing on two fields where recent success has been achieved. We discuss current challenges of this rapidly evolving field and outline possible future perspectives and debates.


title: Bayesian Masking: Sparse Bayesian Estimation with Weaker Shrinkage Bias

abstract: A common strategy for sparse linear regression is to introduce regularization, which eliminates irrelevant features by letting the corresponding weights be zeros. However, regularization often shrinks the estimator for relevant features, which leads to incorrect feature selection. Motivated by the above-mentioned issue, we propose Bayesian masking (BM), a sparse estimation method which imposes no regularization on the weights. The key concept of BM is to introduce binary latent variables that randomly mask features. Estimating the masking rates determines the relevance of the features automatically. We derive a variational Bayesian inference algorithm that maximizes the lower bound of the factorized information criterion (FIC), which is a recently developed asymptotic criterion for evaluating the marginal log-likelihood. In addition, we propose reparametrization to accelerate the convergence of the derived algorithm. Finally, we show that BM outperforms Lasso and automatic relevance determination (ARD) in terms of the sparsity-shrinkage trade-off.


title: Nonlinear physics and energetic particle transport features of the beam-plasma instability

abstract: In this paper, we study transport features of a one-dimensional beam-plasma system in the presence of multiple resonances. As a model description of the general problem of a warm energetic particle beam, we assume $n$ cold supra-thermal beams and investigate the self-consistent evolution in the presence of the complete spectrum of nearly degenerate Langmuir modes. A qualitative transport estimation is obtained by computing the Lagrangian Coherent Structures of the system on given temporal scales. This leads to the splitting of the phase space into regions where the local transport processes are relatively faster. The general theoretical framework is applied to the case of the nonlinear dynamics of two cold beams, for which numerical simulation results are illustrated and analyzed.


title: Hierarchy of Distinguished Limits and Drifts for Oscillating Flows

abstract: Lagrangian motions of fluid particles in a general velocity field oscillating in time are studied with the use of the two-timing method. Our aims are: (i) to calculate systematically the most general and practically usable asymptotic solutions; (ii) to check the limits of applicability of the two-timing method by calculating the averaged motion without making any assumptions; (iii) to classify various drift motions and find their limits of applicability; (iv) to introduce a logical order into the area under consideration; (v) to open the gate for application of the same ideas to the studying more complex systems. Our approach to study a drift is rather unusual: instead of solving the ODE for trajectories we consider a hyperbolic PDE for a scalar lagrangian field $a(\vx,t)$, trajectories represent the characteristics curves for this PDE. It leads us to purely eulerian description of lagrangian motion, that greatly simplifies the calculations. There are two small scaling parameters in the problem: a ratio of two time-scales and a dimensionless vibrational amplitude. It leads us to the sequence of problems for distinguished limits. We have considered four distinguished limits which differ from each other by the scale of slow time. We have shown that each distinguished limit produces an infinite number of solutions for $a(\vx,t)$. A classical drift appears in the case of a purely oscillating flow. At the same time, we have shown that the concept of drift motion is not sufficient for the description of lagrangian dynamics and some `diffusion' terms do appear. Five examples of different options of drifts and `diffusion' are given.


title: Encoding Prior Knowledge with Eigenword Embeddings

abstract: Canonical correlation analysis (CCA) is a method for reducing the dimension of data represented using two views. It has been previously used to derive word embeddings, where one view indicates a word, and the other view indicates its context. We describe a way to incorporate prior knowledge into CCA, give a theoretical justification for it, and test it by deriving word embeddings and evaluating them on a myriad of datasets.


title: Boundary state of $U_q(\hat{gl}(N|N))$ analog of half-infinite $t-J$ model

abstract: The $U_q(\hat{gl}(N|N))$-analog of the half-infinite $t-J$ model with a boundary is considered by using the vertex operator approach. We find explicit bosonic formula of the boundary state in the integrable highest-weight module over the quantum superalgebra $U_q(\hat{gl}(N|N))$.

categories: math-ph cond-mat.stat-mech hep-th math.MP math.QA


title: Lattice-Boltzmann Method for Geophysical Plastic Flows

abstract: We explore possible applications of the Lattice-Boltzmann Method for the simulation of geophysical flows. This fluid solver, while successful in other fields, is still rarely used for geotechnical applications. We show how the standard method can be modified to represent free-surface realization of mudflows, debris flows, and in general any plastic flow, through the implementation of a Bingham constitutive model. The chapter is completed by an example of a full-scale simulation of a plastic fluid flowing down an inclined channel and depositing on a flat surface. An application is given, where the fluid interacts with a vertical obstacle in the channel.


title: A method for comparing non-nested models with application to astrophysical searches for new physics

abstract: Searches for unknown physics and decisions between competing astrophysical models to explain data both rely on statistical hypothesis testing. The usual approach in searches for new physical phenomena is based on the statistical Likelihood Ratio Test (LRT) and its asymptotic properties. In the common situation, when neither of the two models under comparison is a special case of the other i.e., when the hypotheses are non-nested, this test is not applicable. In astrophysics, this problem occurs when two models that reside in different parameter spaces are to be compared. An important example is the recently reported excess emission in astrophysical $\gamma$-rays and the question whether its origin is known astrophysics or dark matter. We develop and study a new, simple, generally applicable, frequentist method and validate its statistical properties using a suite of simulations studies. We exemplify it on realistic simulated data of the Fermi-LAT $\gamma$-ray satellite, where non-nested hypotheses testing appears in the search for particle dark matter.

categories: physics.data-an astro-ph.HE hep-ex hep-ph stat.ME


title: The distribution of Galois orbits of points of small height in toric varieties

abstract: We address the distribution properties of points of small height on proper toric varieties and applications to the related Bogomolov property. We introduce the notion of monocritical toric metrized divisor and we prove that equidistribution occurs for every generic, small sequence with respect to a toric metrized divisor, for every place if and only if the divisor is monocritical. Furthermore, when this is the case, the limit measure is a translate of the natural measure on the compact torus sitting in the principal orbit of the ambient toric variety. We also study the $v$-adic modulus distribution of Galois orbits of small points. We characterize, in terms of the given toric semipositive metrized divisor, the cluster measures of $v$-adic valuations of Galois orbits of generic small sequences. The Bogomolov property now says that a subvariety of the principal orbit of a proper toric variety that has the same essential minimum than the toric variety with respect to a monocritical toric metrized divisor, must be a translate of a subtorus. We also give several examples, including a non-monocritical divisor for which the Bogomolov property does not hold.


title: Cherenkov Telescope Array Data Management

abstract: Very High Energy gamma-ray astronomy with the Cherenkov Telescope Array (CTA) is evolving towards the model of a public observatory. Handling, processing and archiving the large amount of data generated by the CTA instruments and delivering scientific products are some of the challenges in designing the CTA Data Management. The participation of scientists from within CTA Consortium and from the greater worldwide scientific community necessitates a sophisticated scientific analysis system capable of providing unified and efficient user access to data, software and computing resources. Data Management is designed to respond to three main issues: (i) the treatment and flow of data from remote telescopes; (ii) "big-data" archiving and processing; (iii) and open data access. In this communication the overall technical design of the CTA Data Management, current major developments and prototypes are presented.


title: Three-coloring triangle-free graphs on surfaces VI. 3-colorability of quadrangulations

abstract: We give a linear-time algorithm to decide 3-colorability (and find a 3-coloring, if it exists) of quadrangulations of a fixed surface. The algorithm also allows to prescribe the coloring for a bounded number of vertices.


title: On the Equivalence among Problems of Bounded Width

abstract: In this paper, we introduce a methodology, called decomposition-based reductions, for showing the equivalence among various problems of bounded-width. First, we show that the following are equivalent for any $\alpha > 0$: * SAT can be solved in $O^*(2^{\alpha \mathrm{tw}})$ time, * 3-SAT can be solved in $O^*(2^{\alpha \mathrm{tw}})$ time, * Max 2-SAT can be solved in $O^*(2^{\alpha \mathrm{tw}})$ time, * Independent Set can be solved in $O^*(2^{\alpha \mathrm{tw}})$ time, and * Independent Set can be solved in $O^*(2^{\alpha \mathrm{cw}})$ time, where tw and cw are the tree-width and clique-width of the instance, respectively. Then, we introduce a new parameterized complexity class EPNL, which includes Set Cover and Directed Hamiltonicity, and show that SAT, 3-SAT, Max 2-SAT, and Independent Set parameterized by path-width are EPNL-complete. This implies that if one of these EPNL-complete problems can be solved in $O^*(c^k)$ time, then any problem in EPNL can be solved in $O^*(c^k)$ time.


title: Importance Sampling Variance Reduction for the Fokker-Planck Rarefied Gas Particle Method

abstract: Models and methods that are able to accurately and efficiently predict the flows of low-speed rarefied gases are in high demand, due to the increasing ability to manufacture devices at micro and nano scales. One such model and method is a Fokker-Planck approximation to the Boltzmann equation, which can be solved numerically by a stochastic particle method. The stochastic nature of this method leads to noisy estimates of the thermodynamic quantities one wishes to sample when the signal is small in comparison to the thermal velocity of the gas. Recently, Gorji et al have proposed a method which is able to greatly reduce the variance of the estimators, by creating a correlated stochastic process which acts as a control variate for the noisy estimates. However, there are potential difficulties involved when the geometry of the problem is complex, as the method requires the density to be solved for independently. Importance sampling is a variance reduction technique that has already been shown to successfully reduce the noise in direct simulation Monte Carlo calculations. In this paper we propose an importance sampling method for the Fokker-Planck stochastic particle scheme. The method requires minimal change to the original algorithm, and dramatically reduces the variance of the estimates. We test the importance sampling scheme on a homogeneous relaxation, planar Couette flow and a lid-driven-cavity flow, and find that our method is able to greatly reduce the noise of estimated quantities. Significantly, we find that as the characteristic speed of the flow decreases, the variance of the noisy estimators becomes independent of the characteristic speed.


title: Surface and Mechanical studies of Bismaleimide coatings

abstract: Bismaleimide (BMI) resins are a new breed of thermosetting resins used mainly for high temperature applications and have major usage in aerospace. BMI polymer coatings were deposited on aluminum and mild steel substrates. The effect of corrosion on mild steel and aluminum by Ringers Solution and there protection using BMI coatings were observed. X-ray diffraction studies showed crystalline nature of the BMI coatings. Surface contact angle measurements were carried out using goniometer.


title: A Hamiltonian treatment of stimulated Brillouin scattering in nanoscale integrated waveguides

abstract: We present a multimode Hamiltonian formulation for the problem of opto-acoustic interactions in optical waveguides. We establish a Hamiltonian representation of the acoustic field and then introduce a full system with a simple opto-acoustic coupling that includes both photoelastic/electrostrictive and radiation pressure/moving boundary effects. The Heisenberg equations of motion are used to obtain coupled mode equations for quantized envelope operators for the optical and acoustic fields. We show that the coupling coefficients obtained coincide with those established earlier, but our formalism provides a much simpler demonstration of the connection between radiation pressure and moving boundary effects than in previous work [C. Wolff et al, Physical Review A 92, 013836 (2015)].


title: Finding the Leftmost Critical Factorization on Unordered Alphabet

abstract: We present a linear time and space algorithm computing the leftmost critical factorization of a given string on an unordered alphabet.


title: Dynamics of screw dislocations: a generalised minimising-movements scheme approach

abstract: The gradient flow structure of the model introduced in [CG99] for the dynamics of screw dislocations is investigated by means of a generalised minimising-movements scheme approach. The assumption of a finite number of available glide directions, together with the "maximal dissipation criterion" that governs the equations of motion, results into solving a differential inclusion rather than an ODE. This paper addresses how the model in [CG99] is connected to a time-discrete evolution scheme which explicitly confines dislocations to move each time step along a single glide direction. It is proved that the time-continuous model in [CG99] is the limit of these time-discrete minimising-movement schemes when the time step converges to 0. The study presented here is a first step towards a generalisation of the setting in [AGS08, Chap. 2 and 3] that allows for dissipations which cannot be described by a metric.


title: Diffuse Radiation from the Aquila Rift

abstract: We present an analysis of the diffuse ultraviolet (UV) background in a low latitude region near the Aquila Rift based on observations made by the Galaxy Evolution Explorer (GALEX). The UV background is at a level of about 2000 ph cm^-2 s^-1 sr^-1 \AA^-1 with no correlation with either the Galactic latitude or the 100 micron infrared (IR) emission. Rather, the UV emission falls off with distance from the bright B2 star HIP 88149, which is in the centre of the field. We have used a Monte Carlo model to derive an albedo of 0.6 - 0.7 in the UV with a phase function asymmetry factor (g) of 0.2 - 0.4. The value for the albedo is dependent on the dust distribution while g is determined by the extent of the halo.


title: Spectral Sensitivity of Graphene/Silicon Heterojunction Photodetectors

abstract: We have studied the optical properties of two-dimensional (2D) Schottky photodiode heterojunctions made of chemical vapor deposited (CVD) graphene on n- and p-type Silicon (Si) substrates. Much better rectification behavior is observed from the diodes fabricated on n- Si substrates in comparison with the devices on p-Si substrates in dark condition. Also, graphene/n-Si photodiodes show a considerable responsivity of 270 mA/W within the silicon spectral range in DC reverse bias condition. The present results are furthermore compared with that of a molybdenum disulfide (MoS2)/p-type silicon photodiodes.


title: Electron Spin Resonance in a Spin-1/2 Heisenberg Strong-rung Ladder

abstract: Cu(C$_8$H$_6$N$_2$)Cl$_2$, a strong-rung spin-1/2 Heisenberg ladder compound, is probed by means of electron spin resonance (ESR) spectroscopy in the field-induced gapless phase above $H_{c1}$. The temperature dependence of the ESR linewidth is analyzed in the quantum field theory framework, suggesting that the anisotropy of magnetic interactions plays a crucial role, determining the peculiar low-temperature ESR linewidth behavior. In particular, it is argued that the uniform Dzyaloshinskii-Moriya interaction (which is allowed on the bonds along the ladder legs) can be the source of this behavior in Cu(C$_8$H$_6$N$_2$)Cl$_2$.


title: Generating Weather Forecast Texts with Case Based Reasoning

abstract: Several techniques have been used to generate weather forecast texts. In this paper, case based reasoning (CBR) is proposed for weather forecast text generation because similar weather conditions occur over time and should have similar forecast texts. CBR-METEO, a system for generating weather forecast texts was developed using a generic framework (jCOLIBRI) which provides modules for the standard components of the CBR architecture. The advantage in a CBR approach is that systems can be built in minimal time with far less human effort after initial consultation with experts. The approach depends heavily on the goodness of the retrieval and revision components of the CBR process. We evaluated CBRMETEO with NIST, an automated metric which has been shown to correlate well with human judgements for this domain. The system shows comparable performance with other NLG systems that perform the same task.


title: Dark states of atomic ensembles

abstract: Ensemble of identical two level atoms in dark state neither adsorbs nor emits photons due to destructive interference. It can be used for the source of energy for nano-devices. In Tavis-Cummings cavity the change of light-atom coupling cannot destroy the dark state. We propose the method of dark states preparation based on photon pumping and drain from the optical cavity with two atoms, one from which has Stark or Zeeman splitting of energy levels. This splitting is removed before photon drain from the cavity. The dark state yield after one such cycle has the order of energy level splitting. We show the scheme of the experiment, in which such cycles repeat until the dark state is produced with high probability and the results of computer simulation.


title: Going Ballistic: Graphene Hot Electron Transistors

abstract: This paper reviews the experimental and theoretical state of the art in ballistic hot electron transistors that utilize two-dimensional base contacts made from graphene, i.e. graphene base transistors (GBTs). Early performance predictions that indicated potential for THz operation still hold true today, even with improved models that take non-idealities into account. Experimental results clearly demonstrate the basic functionality, with on/off current switching over several orders of magnitude, but further developments are required to exploit the full potential of the GBT device family. In particular, interfaces between graphene and semiconductors or dielectrics are far from perfect and thus limit experimental device integrity, reliability and performance.


title: Scaling behavior for ionic transport and its fluctuations in individual carbon nanotubes

abstract: In this letter we perform an experimental study of ionic transport and current fluctuations inside individual Carbon Nanotubes (CNT). The conductance exhibits a power law behavior at low salinity, with an exponent close to 1/3 versus the salt concentration. This scaling behavior is rationalized in terms of a model accounting for hydroxide adsorption at the (hydrophobic) carbon surface, leading to a density dependent surface charge. This is in contrast to boron nitride nanotubes which exhibit a constant surface conductance. Further we measure the low frequency noise of the ionic current in CNT and show that the amplitude of the noise scales with the surface charge, with data collapsing on a master curve for the various studied CNT at a given pH.


title: The power collection method for connection relations: Meixner polynomials

abstract: We introduce the power collection method for easily deriving connection relations for certain hypergeometric orthogonal polynomials in the $(q-)$Askey scheme. We summarize the full-extent to which the power collection method may be used. As an example, we use the power collection method to derive connection and connection-type relations for Meixner and Krawtchouk polynomials. These relations are then used to derive generalizations of generating functions for these orthogonal polynomials. The coefficients of these generalized generating functions are in general, given in term of multiple hypergeometric functions. From derived generalized generating functions, we derive corresponding contour integral and infinite series expressions by using orthogonality.


title: A Polarimetric Method for Measuring Black Hole Masses in Active Galactic Nuclei

abstract: The structure of the broad emission line region (BLR) in active galactic nuclei (AGN) remains unclear. We test in this paper a flattened configuration model for BLR. The virial theorem, by taking into account the disc shape of BLR, allows us to get a direct connection between the mass of a supermassive black hole (SMBH) and the inclination angle of the accretion flow. The inclination angle itself is derived from the spectropolarimetric data on broad emission lines using the theory for the generation of polarized radiation developed by Sobolev and Chandrasekhar. As the result, the new estimates of SMBH masses in AGN with measured polarization of BLR are presented. It is crucial that the polarimetric data allow also to determine the value of the virial coefficient that is essential for determining SMBH masses.


title: Immune response to functionalized mesoporous silica nanoparticles for targeted drug delivery

abstract: Multifunctional mesoporous silica nanoparticles (MSN) have attracted substantial attention with regard to their high potential for targeted drug delivery. For future clinical applications it is crucial to address safety concerns and understand the potential immunotoxicity of these nanoparticles. In this study, we assess the biocompatibility and functionality of multifunctional MSN in freshly isolated, primary murine immune cells. We show that the functionalized silica nanoparticles are rapidly and efficiently taken up into the endosomal compartment by specialized antigen-presenting cells such as dendritic cells. The silica nanoparticles showed a favorable toxicity profile and did not affect the viability of primary immune cells from the spleen in relevant concentrations. Cargo-free MSN induced only very low immune responses in primary cells as determined by surface expression of activation markers and release of pro-inflammatory cytokines such as Interleukin-6, -12 and -1\beta. In contrast, when surface-functionalized MSN with a pH-responsive polymer capping were loaded with an immune-activating drug, the synthetic Toll-like receptor 7 agonist R848, a strong immune response was provoked. We thus demonstrate that MSN represent an efficient drug delivery vehicle to primary immune cells that is both non-toxic and non-inflammagenic, which is a prerequisite for the use of these particles in biomedical applications.


title: Gap Theorem for Separated Sequences without Pain

abstract: We give a simple and straightforward proof of the Gap Theorem for separated sequences by A. Poltoratski and M. Mitkovski using the Beurling--Malliavin formula for the radius of completeness.


title: Freudenthal Duality in Gravity: from Groups of Type E7 to Pre-Homogeneous Spaces

abstract: Freudenthal duality can be defined as an anti-involutive, non-linear map acting on symplectic spaces. It was introduced in four-dimensional Maxwell-Einstein theories coupled to a non-linear sigma model of scalar fields. In this short review, I will consider its relation to the U-duality Lie groups of type E7 in extended supergravity theories, and comment on the relation between the Hessian of the black hole entropy and the pseudo-Euclidean, rigid special (pseudo)Kaehler metric of the pre-homogeneous spaces associated to the U-orbits.


title: An extension of the classification of high rank regular polytopes

abstract: Up to isomorphism and duality, there are exactly two non-degenerate abstract regular polytopes of rank greater than $n-3$, one of rank $n-1$ and one of rank $n-2$, with automorphism groups that are transitive permutation groups of degree $n\geq 7$. In this paper we extend this classification of high rank regular polytopes to include the ranks $n-3$ and $n-4$. The result is, up to a isomorphism and duality, seven abstract regular polytopes of rank $n-3$ for each $n\geq 9$, and nine abstract regular polytopes of rank $n-4$ for each $n \geq 11$. Moreover we show that if a transitive permutation group $\Gamma$ of degree $n \geq 11$ is the automorphism group of an abstract regular polytope of rank at least $n-4$, then $\Gamma\cong S_n$.


title: On the fully commutative elements of type $\tilde C$ and faithfulness of related towers

abstract: We define a tower of injections of $\tilde{C}$-type Coxeter groups $W(\tilde C_{n})$ for $n\geq 1$. We define a tower of Hecke algebras and we use the faithfulness at the Coxeter level to show that this last tower is a tower of injections. Let $W^c(\tilde C_{n})$ be the set of fully commutative elements in $W(\tilde C_{n})$, we classify the elements of $W^c(\tilde C_{n})$ and give a normal form for them. We use this normal form to define two injections from $W^c(\tilde C_{n-1})$ into $W^c(\tilde C_{n})$. We then define the tower of affine Temperley-Lieb algebras of type $\tilde{C }$ and use the injections above to prove the faithfulness of this tower.


title: Exogenous Versus Endogenous for Chaotic Business Cycles

abstract: We propose a novel approach to generate chaotic business cycles in a deterministic setting. Rather than producing chaos endogenously, we consider aggregate economic models with limit cycles and equilibriums, subject them to chaotic exogenous shocks and obtain chaotic cyclical motions. Thus, we emphasize that chaotic cycles, which are inevitable in economics, are not only interior properties of economic models, but also can be considered as a result of interaction of several economical systems. This provides a comprehension of chaos (unpredictability, lack of forecasting) and control of chaos as a global economic phenomenon from the deterministic point of view. We suppose that the results of our paper are contribution to the mixed exogenous-endogenous theories of business cycles in classification by P.A. Samuelson [76]. Moreover, they demonstrate that the irregularity of the extended chaos can be structured, and this distinguishes them from the generalized synchronization. The advantage of the knowledge of the structure is that by applying instruments, which already have been developed for deterministic chaos one can control the chaos, emphasizing a parameter or a type of motion. For the globalization of cyclic chaos phenomenon we utilize new mechanisms such that entrainment by chaos, attraction of chaotic cycles by equilibriums and bifurcation of chaotic cycles developed in our earlier papers.


title: Miscut dependent surface evolution in the process of N-polar GaN$(000\bar 1)$ growth under N-rich condition

abstract: The evolution of surface morphology during the growth of N-polar (000-1) GaN under N-rich condition is studied by kinetic Monte Carlo (kMC) simulations for two substrates miscuts 2deg and 4deg. The results are compared with experimentally observed surface morphologies of (000-1) GaN layers grown by plasma-assisted molecular beam epitaxy. The proposed kMC two-component model of GaN(000-1) surface where both types of atoms: nitrogen and gallium attach the surface and diffuse independently, explains that at relatively high rates of the step flow (miscut angle <2deg) the low diffusion of gallium adatoms causes surface instabilities and leads to experimentally observed roughening while for low rates of the step flow (miscut 4deg), smooth surface can be obtained. In the presence of almost immobile nitrogen atoms under N-rich conditions, the growth is realized by the process of two-dimensional island nucleation and coalescence. Additionally, we show that higher crystal miscut, lower crystal growth rate or higher temperature results in similar effect of the smoothening of the surface. We show that the surface also smoothens for the growth conditions with very high N-excess. The presence of large number of nitrogen atoms changes locally mobility of gallium atoms thus providing easier coalescence of separated island.


title: On the square-freeness of the offset equation to a rational planar curve

abstract: It is well known that an implicit equation of the offset to a rational planar curve can be computed by removing the extraneous components of the resultant of two certain polynomials computed from the parametrization of the curve. Furthermore, it is also well known that the implicit equation provided by the non-extraneous component of this resultant has at most two irreducible factors. In this paper, we complete the algebraic description of this resultant by showing that the multiplicity of the factors corresponding to the offset can be computed in advance. In particular, when the parametrization is proper, i.e. when the curve is just traced once by the parametrization, we prove that any factor corresponding to a simple component of the offset has multiplicity 1, while the factor corresponding to the special component, if any, has multiplicity 2. Hence, if the parametrization is proper and there is no special component, the non-extraneous part of the resultant is square-free. In fact, this condition is proven to be also sufficient. Additionally, this result provides a simple test to check whether or not a given rational curve is the offset of another curve.


title: Second-order Lagrangians admitting a first-order Hamiltonian formalism

abstract: Second-order Lagrangian densities admitting a first-order Hamiltonian formalism are studied; namely, i) for each second-order Lagrangian density on an arbitrary fibred manifold $p\colon E\to N$ the Poincar\'e-Cartan form of which is projectable onto $J^1E$, by using a new notion of regularity previously introduced, a first-order Hamiltonian formalism is developed for such a class of variational problems; ii) the existence of first-order equivalent Lagrangians are discussed from a local point of view as well as global; iii) this formalism is then applied to classical Einstein-Hilbert Lagrangian and a generalization of the BF theory. The results suggest that the class of problems studied is a natural variational setting for GR.


title: Multi-Source Cooperative Communication with Opportunistic Interference Cancelling Relays

abstract: In this paper we present a multi-user cooperative protocol for wireless networks. Two sources transmit simultaneously their information blocks and relays employ opportunistically successive interference cancellation (SIC) in an effort to decode them. An adaptive decode/amplify-and-forward scheme is applied at the relays to the decoded blocks or their sufficient statistic if decoding fails. The main feature of the protocol is that SIC is exploited in a network since more opportunities arise for each block to be decoded as the number of used relays NRU is increased. This feature leads to benefits in terms of diversity and multiplexing gains that are proven with the help of an analytical outage model and a diversity-multiplexing tradeoff (DMT) analysis. The performance improvements are achieved without any network synchronization and coordination. In the final part of this work the closed-form outage probability model is used by a novel approach for offline pre-selection of the NRU relays, that have the best SIC performance, from a larger number of NR nodes. The analytical results are corroborated with extensive simulations, while the protocol is compared with orthogonal and multi-user protocols reported in the literature.


title: Quadratic and Symmetric Bilinear Forms on Modules with Unique Base Over a Semiring

abstract: We study quadratic forms on free modules with unique base, the situation that arises in tropical algebra, and prove the analog of Witt's Cancellation Theorem. Also, the tensor product of an indecomposable bilinear module $(U, \gamma)$ with an indecomposable quadratic module $(V,q) $ is indecomposable, with the exception of one case, where two indecomposable components arise.


title: Building a Truly Distributed Constraint Solver with JADE

abstract: Real life problems such as scheduling meeting between people at different locations can be modelled as distributed Constraint Satisfaction Problems (CSPs). Suitable and satisfactory solutions can then be found using constraint satisfaction algorithms which can be exhaustive (backtracking) or otherwise (local search). However, most research in this area tested their algorithms by simulation on a single PC with a single program entry point. The main contribution of our work is the design and implementation of a truly distributed constraint solver based on a local search algorithm using Java Agent DEvelopment framework (JADE) to enable communication between agents on different machines. Particularly, we discuss design and implementation issues related to truly distributed constraint solver which might not be critical when simulated on a single machine. Evaluation results indicate that our truly distributed constraint solver works well within the observed limitations when tested with various distributed CSPs. Our application can also incorporate any constraint solving algorithm with little modifications.


title: RXTE & Swift Observations of SWIFT J0513.4--6547

abstract: We present timing and spectral analysis of \emph{Swift}$-$XRT and \emph{RXTE}$-$PCA observations of the transient Be/X-ray pulsar SWIFT J0513.4--6547 during its outburst in 2009 and its rebrightening in 2014. From 2009 observations, short term spin-up rate of the source after the peak of the outburst is found to have about half of the value measured at the peak of the outburst by Coe et al. When the source is quiescent between 2009 and 2014, average spin-down rate of the source is measured to be $\sim 1.52 \times 10^{-12}$ Hz s$^{-1}$ indicating a surface dipole magnetic field of $\sim 1.5 \times 10^{13}$ Gauss assuming a propeller state. From 2014 observations, short term spin-down rate of the source is measured to be about two orders smaller than this long-term spin-down rate. The orbit of the source is found to be circular which is atypical for transient Be/X-ray binary systems. Hardness ratios of the source correlate with the X-ray luminosity up to $8.4\times 10^{36}$ erg s$^{-1}$ in 3-10 keV band, whereas for higher luminosities hardness ratios remain constant. Pulsed fractions are found to be correlated with the source flux. Overall \emph{Swift}$-$XRT and \emph{RXTE}$-$PCA energy spectrum of the source fit equally well to a model consisting of blackbody and power law, and a model consisting of a power law with high energy cut-off. From the pulse phase resolved spectra and pulse phase resolved hardness ratios obtained using \emph{RXTE}$-$PCA, it is shown that spectrum is softer for the phases between the two peaks of the pulse.


title: Generalized Quantile Treatment Effect: A Flexible Bayesian Approach Using Quantile Ratio Smoothing

abstract: We propose a new general approach for estimating the effect of a binary treatment on a continuous and potentially highly skewed response variable, the generalized quantile treatment effect (GQTE). The GQTE is defined as the difference between a function of the quantiles under the two treatment conditions. As such, it represents a generalization over the standard approaches typically used for estimating a treatment effect (i.e., the average treatment effect and the quantile treatment effect) because it allows the comparison of any arbitrary characteristic of the outcome's distribution under the two treatments. Following Dominici et al. (2005), we assume that a pre-specified transformation of the two quantiles is modeled as a smooth function of the percentiles. This assumption allows us to link the two quantile functions and thus to borrow information from one distribution to the other. The main theoretical contribution we provide is the analytical derivation of a closed form expression for the likelihood of the model. Exploiting this result we propose a novel Bayesian inferential methodology for the GQTE. We show some finite sample properties of our approach through a simulation study which confirms that in some cases it performs better than other nonparametric methods. As an illustration we finally apply our methodology to the 1987 National Medicare Expenditure Survey data to estimate the difference in the single hospitalization medical cost distributions between cases (i.e., subjects affected by smoking attributable diseases) and controls.


title: Rational cohomology tori

abstract: We study normal compact K\"ahler spaces whose rational cohomology ring is isomorphic to that of a complex torus. We call them rational cohomology tori. We classify, up to dimension three, those with rational singularities. We then give constraints on the degree of the Albanese morphism and the number of simple factors of the Albanese variety for rational cohomology tori of general type (hence projective) with rational singularities. Their properties are related to the birational geometry of smooth projective varieties of general type, maximal Albanese dimension, and with vanishing holomorphic Euler characteristic. We finish with the construction of series of examples.


title: First results of the two square meters multilayer glass composite mirror design proposed for the Cherenkov Telescope Array developed at INFN

abstract: The Cherenkov Telescope Array (CTA) is a future ground-based gamma-ray astronomy detector that will consist of more than 100 Imaging Atmospheric Cherenkov Telescopes of different sizes. The total reflective surface of roughly 10 000 m$^2$ requires unprecedented technological efforts towards a cost-efficient production of light-weight and reliable mirror substrates at high production rate. We report on a new mirror concept proposed for CTA developed by INFN, which is based on the replication from a spherical convex mold under low pressure. The mirror substrate is an open structure design made by thin glass layers at the mirror's front and rear interspaced by steel cylinders. A first series of nominal size mirrors has been produced, for which we discuss the optical properties in terms of radius of curvature and focusing power.


title: On the bi-Sobolev planar homeomorphisms and their approximation

abstract: The first goal of this paper is to give a short description of the planar bi-Sobolev homeomorphisms, providing simple and self-contained proofs for some already known properties. In particular, for any such homeomorphism $u:\Omega\to \Delta$, one has $Du(x)=0$ for almost every point $x$ for which $J_u(x)=0$. As a consequence, one can prove that \begin{equation} \int_\Omega |Du| = \int_\Delta |Du^{-1}|\,. \end{equation} Notice that this estimate holds trivially if one is allowed to use the change of variables formula, but this is not always the case for a bi-Sobolev homeomorphism.\par As a corollary of our construction, we will show that any $W^{1,1}$ homeomorphism $u$ with $W^{1,1}$ inverse can be approximated with smooth diffeomorphisms (or piecewise affine homeomorphisms) $u_n$ in such a way that $u_n$ converges to $u$ in $W^{1,1}$ and, at the same time, $u_n^{-1}$ converges to $u^{-1}$ in $W^{1,1}$. This positively answers an open conjecture (see for instance~\cite[Question~4]{arXiv:1009.0286}) for the case $p=1$.


title: Future prospects of testing Lorentz invariance with UHECRs

abstract: In the last years a general consensus has emerged on the use of ultra-high energy cosmic rays (UHECR) data as a powerful probe of the validity of special relativity. This applies in particular to the propagation of cosmic rays from their sources to Earth, responsible for energy suppressions due to pion photoproduction by UHE protons (the Greisen-Zatsepin Kuzmin limit) and photo disintegration of UHE nuclei (the Gerasimova-Rozental limit). A suppression in the flux of UHECRs at energies above 40 EeV -- as expected from both these interactions -- has been established experimentally beyond any doubt by current experiments. However, such an observation is still not conclusive on the origin of the suppression. In particular, data from the Pierre Auger Observatory can be interpreted in a scenario in which the suppression is due to the maximum acceleration energy at the sources rather than to interactions in the background radiation. In this scenario, UHECR data can no longer yield bounds on Lorentz invariance violations which increase the thresholds for interactions of nuclei on background photons, in particular through modification of the dispersion relations. Here we argue in turn that the study of UHECRs still represents an opportunity to test Lorentz invariance, by discussing the possibility of deriving limits on violation parameters from UHECR phenomena other than propagation. In particular we study the modifications of the shower development in the atmosphere due to the possible inhibition of the decay of unstable particles, especially neutral pions.


title: A Theory of Super-Resolution from Short-Time Fourier Transform Measurements

abstract: While spike trains are obviously not band-limited, the theory of super-resolution tells us that perfect recovery of unknown spike locations and weights from low-pass Fourier transform measurements is possible provided that the minimum spacing, $\Delta$, between spikes is not too small. Specifically, for a measurement cutoff frequency of $f_c$, Donoho [2] showed that exact recovery is possible if the spikes (on $\mathbb{R}$) lie on a lattice and $\Delta > 1/f_c$, but does not specify a corresponding recovery method. Cand$\text{\`e}$s and Fernandez-Granda [3, 4] provide a convex programming method for the recovery of periodic spike trains (i.e., spike trains on the torus $\mathbb{T}$), which succeeds provably if $\Delta > 2/f_c$ and $f_c \geq 128$ or if $\Delta > 1.26/f_c$ and $f_c \geq 10^3$, and does not need the spikes within the fundamental period to lie on a lattice. In this paper, we develop a theory of super-resolution from short-time Fourier transform (STFT) measurements. Specifically, we present a recovery method similar in spirit to the one in [3] for pure Fourier measurements. For a STFT Gaussian window function of width $\sigma = 1/(4f_c)$ this method succeeds provably if $\Delta > 1/f_c$, without restrictions on $f_c$. Our theory is based on a measure-theoretic formulation of the recovery problem, which leads to considerable generality in the sense of the results being grid-free and applying to spike trains on both $\mathbb{R}$ and $\mathbb{T}$. The case of spike trains on $\mathbb{R}$ comes with significant technical challenges. For recovery of spike trains on $\mathbb{T}$ we prove that the correct solution can be approximated---in weak-* topology---by solving a sequence of finite-dimensional convex programming problems.


title: Multiscale functions, Scale dynamics and Applications to partial differential equations

abstract: Modeling phenomena from experimental data, always begin with a \emph{choice of hypothesis} on the observed dynamics such as \emph{determinism}, \emph{randomness}, \emph{derivability} etc. Depending on these choices, different behaviors can be observed. The natural question associated to the modeling problem is the following : \emph{"With a finite set of data concerning a phenomenon, can we recover its underlying nature ?} From this problem, we introduce in this paper the definition of \emph{multi-scale functions}, \emph{scale calculus} and \emph{scale dynamics} based on the \emph{time-scale calculus} (see \cite{bohn}). These definitions will be illustrated on the \emph{multi-scale Okamoto's functions}. The introduced formalism explains why there exists different continuous models associated to an equation with different \emph{scale regimes} whereas the equation is \emph{scale invariant}. A typical example of such an equation, is the \emph{Euler-Lagrange equation} and particularly the \emph{Newton's equation} which will be discussed. Notably, we obtain a \emph{non-linear diffusion equation} via the \emph{scale Newton's equation} and also the \emph{non-linear Schr\"odinger equation} via the \emph{scale Newton's equation}. Under special assumptions, we recover the classical \emph{diffusion} equation and the \emph{Schr\"odinger equation}.

categories: math-ph astro-ph.EP math.DS math.MP math.OC


title: The volume of Gaussian states by information geometry

abstract: We formulate the problem of determining the volume of the set of Gaussian physical states in the framework of information geometry. That is, by considering phase space probability distributions parametrized by the covariances and supplying this resulting statistical manifold with the Fisher-Rao metric. We then evaluate the volume of classical, quantum and quantum entangled states for two-mode systems showing chains of strict inclusion.


title: On Structure of cluster algebras of geometric type I: In view of sub-seeds and seed homomorphisms

abstract: Our motivation is to build a systematic method in order to investigate the structure of cluster algebras of geometric type. The method is given through the notion of mixing-type sub-seeds, the theory of seed homomorphisms and the view-point of gluing of seeds. As an application, for (rooted) cluster algebras, we completely classify rooted cluster subalgebras and characterize rooted cluster quotient algebras in detail. Also, we build the relationship between the categorification of a rooted cluster algebra and that of its rooted cluster subalgebras. Note that cluster algebras of geometric type studied here are of the sign-skew-symmetric case.


title: Extreme Value Theory for Time Series using Peak-Over-Threshold method

abstract: This brief paper summarize the chances offered by the Peak-Over-Threshold method, related with analysis of extremes. Identification of appropriate Value at Risk can be solved by fitting data with a Generalized Pareto Distribution. Also an estimation of value for the Expected Shortfall can be useful, and the application of these few concepts are valid for the most wide range of risk analysis, from the financial application to the operational risk assessment, through the analysis for climate time series; resolving the problem of borderline data.


title: Coupled DEM-LBM method for the free-surface simulation of heterogeneous suspensions

abstract: The complexity of the interactions between the constituent granular and liquid phases of a suspension requires an adequate treatment of the constituents themselves. A promising way for numerical simulations of such systems is given by hybrid computational frameworks. This is naturally done, when the Lagrangian description of particle dynamics of the granular phase finds a correspondence in the fluid description. In this work we employ extensions of the Lattice-Boltzmann Method for non-Newtonian rheology, free surfaces, and moving boundaries. The models allows for a full coupling of the phases, but in a simplified way. An experimental validation is given by an example of gravity driven flow of a particle suspension.


title: Training a Restricted Boltzmann Machine for Classification by Labeling Model Samples

abstract: We propose an alternative method for training a classification model. Using the MNIST set of handwritten digits and Restricted Boltzmann Machines, it is possible to reach a classification performance competitive to semi-supervised learning if we first train a model in an unsupervised fashion on unlabeled data only, and then manually add labels to model samples instead of training data samples with the help of a GUI. This approach can benefit from the fact that model samples can be presented to the human labeler in a video-like fashion, resulting in a higher number of labeled examples. Also, after some initial training, hard-to-classify examples can be distinguished from easy ones automatically, saving manual work.


title: Extension of Lorenz Unpredictability

abstract: It is found that Lorenz systems can be unidirectionally coupled such that the chaos expands from the drive system. This is true if the response system is not chaotic, but admits a global attractor, an equilibrium or a cycle. The extension of sensitivity and period-doubling cascade are theoretically proved, and the appearance of cyclic chaos as well as intermittency in interconnected Lorenz systems are demonstrated. A possible connection of our results with the global weather unpredictability is provided.


title: Fluctuations in an aging system: absence of effective temperature in the sol-gel transition of a quenched gelatin sample

abstract: We study the fluctuations of a Brownian micro particle trapped with optical tweezers in a gelatin solution undergoing a fast local temperature quench below the sol-gel transition. Contrary to what was previously reported, we observe no anomalous fluctuations in the particle's position that could be interpreted in terms of an effective temperature. A careful analysis with ensemble averages shows only equilibrium-like properties for the fluctuations, even though the system is clearly aging. We also provide a detailed discussion on possible artifacts that could have been interpreted as an effective temperature, such as the presence of a drift or a mixing in time and ensemble averages in data analysis. These considerations are of general interest when dealing with non-ergodic or non-stationary systems.


title: Deconstructing the narrow-line region of the nearest obscured quasar

abstract: We study the physical and kinematic properties of the narrow line region (NLR) of the nearest obscured quasar MRK 477 (z=0.037), using optical and near-infrared spectroscopy. We explore a diversity of aspects that provide a more complete understanding of the nature of this object, example of a type 2 quasar in the nearby Universe, as well as a starburst-AGN hybrid system [abridged].


title: Screening nuclear field fluctuations in quantum dots for indistinguishable photon generation

abstract: A semiconductor quantum dot can generate highly coherent and indistinguishable single photons. However, intrinsic semiconductor dephasing mechanisms can reduce the visibility of two-photon interference. For an electron in a quantum dot, a fundamental dephasing process is the hyperfine interaction with the nuclear spin bath. Here we directly probe the consequence of the fluctuating nuclear spins on the elastic and inelastic scattered photon spectra from a resident electron in a single dot. We find the nuclear spin fluctuations lead to detuned Raman scattered photons which are distinguishable from both the elastic and incoherent components of the resonance fluorescence. This significantly reduces two-photon interference visibility. However, we demonstrate successful screening of the nuclear spin noise which enables the generation of coherent single photons that exhibit high visibility two-photon interference.


title: Information-adaptive clinical trials with selective recruitment and binary outcomes

abstract: Selective recruitment designs preferentially recruit individuals that are estimated to be statistically informative onto a clinical trial. Individuals that are expected to contribute less information have a lower probability of recruitment. Furthermore, in an information-adaptive design recruits are allocated to treatment arms in a manner that maximises information gain. The informativeness of an individual depends on their covariate (or biomarker) values and how information is defined is a critical element of information-adaptive designs. In this paper we define and evaluate four different methods for quantifying statistical information. Using both experimental data and numerical simulations we show that selective recruitment designs can offer a substantial increase in statistical power compared to randomised designs. In trials without selective recruitment we find that allocating individuals to treatment arms according to information-adaptive protocols also leads to an increase in statistical power. Consequently, selective recruitment designs can potentially achieve successful trials using fewer recruits thereby offering economic and ethical advantages.


title: Multiple folding pathways of proteins with shallow knots and co-translational folding

abstract: We study the folding process in the shallowly knotted protein MJ0366 within two variants of a structure-based model. We observe that the resulting topological pathways are much richer than identified in previous studies. In addition to the single knot-loop events, we find novel, and dominant, two-loop mechanisms. We demonstrate that folding takes place in a range of temperatures and the conditions of most successful folding are at temperatures which are higher than those required for the fastest folding. We also demonstrate that nascent conditions are more favorable to knotting than off-ribosome folding.


title: Necessary and Sufficient Conditions for High-Dimensional Posterior Consistency under $g$-Priors

abstract: We examine necessary and sufficient conditions for posterior consistency under $g$-priors, including extensions to hierarchical and empirical Bayesian models. The key features of this article are that we allow the number of regressors to grow at the same rate as the sample size and define posterior consistency under the sup vector norm instead of the more conventional Euclidean norm. We consider in particular the empirical Bayesian model of George and Foster (2000), the hyper-$g$-prior of Liang et al. (2008), and the prior considered by Zellner and Siow (1980).


title: Combined analysis of charm-quark fragmentation-fraction measurements

abstract: A summary of measurements of the fragmentation of charm quarks into a specific hadron is given. Measurements performed in photoproduction and deep inelastic scattering in $e^{\pm}p$, $pp$ and $e^+e^-$ collisions are compared, using up-to-date branching ratios. Within uncertainties, all measurements agree, supporting the hypothesis that fragmentation is independent of the specific production process. Averages of the fragmentation fractions over all measurements are presented. The average has significantly reduced uncertainties compared to individual measurements.


title: Quantum conditional operations

abstract: An essential element of classical computation is the "if-then" construct, that accepts a control bit and an arbitrary gate, and provides conditional execution of the gate depending on the value of the controlling bit. On the other hand, quantum theory prevents the existence of an analogous universal construct accepting a control qubit and an arbitrary quantum gate as its input. Nevertheless, there are controllable sets of quantum gates for which such a construct exists. Here we provide a necessary and sufficient condition for a set of unitary transformations to be controllable, and we give a complete characterization of controllable sets in the two dimensional case. This result reveals an interesting connection between the problem of controllability and the problem of extracting information from an unknown quantum gate while using it.


title: Clifford Tori and the singularly perturbed Cahn-Hilliard equation

abstract: In this paper we construct entire solutions $u_{\varepsilon}$ to the Cahn-Hilliard equation $-\varepsilon^{2}\Delta(-\varepsilon^{2}\Delta u+W^{'}(u))+W^{"}(u)(-\varepsilon^{2}\Delta u+W^{'}(u))=0$, under the volume constraint $\int_{\mathbb{R}^{3}}(1-u_{\varepsilon})dx=4\sqrt{2}\pi^{2}$, whose nodal set approaches the Clifford Torus, that is the Torus with radii of ratio $1/\sqrt{2}$ embedded in $\mathbb{R}^{3}$, as $\varepsilon\to 0$. What is crucial is that the Clifford Torus is a Willmore hypersurface and it is non-degenerate, up to conformal transformations. The proof is based on the Lyapunov-Schmidt reduction and on careful geometric expansions of the laplacian.


title: Impact of post deposition annealing in O2 ambient on structural properties of nanocrystalline hafnium oxide thin film

abstract: In the present work, HfO2 thin film (100nm) has been deposited by sputtering technique and annealed at various temperatures ranging from 400 to 1000\degree (in step of 200 \degree) in O2 ambient for 10 min. The samples have been characterized using XRD, FTIR, EDAX, AFM and Laser Ellipsometer. The impact of annealing temperatures in O2 ambient on structural properties such as crystallite size, phase, orientation, stress have been studied using XRD. The Hf-O phonon peaks in the infrared absorption spectrum are detected at 512, 412 cm^-1 . The stretching vibration modes at 720 cm^-1 and 748 cm^-1 correspond to HfO2. AFM data show mean grain size in the range of 38 nm to 67 nm. The film reveals variation in structural properties, which appears to be responsible for variation in oxygen percentage, refractive index (1.96 to 2.01) at 632 nm wavelength and roughness (6.13nm to 16.40nm). Annealing temperature as well as ambient condition has significant effects on stress, crystal size and thus the arrangement of atoms. For good quality film, annealing temperature larger than 600 \degree is desired.


title: Towards a formulation of $f(R)$ supergravity

abstract: The supersymmetric completion of $R+R^2$ gravity is known to be equivalent to standard supergravity coupled to two chiral supermultiples with a K\"ahler potential of the no-scale type. The generalization of this programme to $f(R)$ gravity can be carried out in an analogous framework in terms of four chiral multiplets with appropriately chosen superpotential and K\"ahler potential. Although the construction strategy has been known for sometime, we carry out this programme further by setting these theories in a closed form. The general framework considered can accommodate supergravity actions local in the scalar curvature, dual to ordinary $N = 1$ supergravities. Although these are in general plagued by ghosts, the framework studied in this work offers a possibility that these can decouple as can be seen in specific examples.


title: Safe Controller Optimization for Quadrotors with Gaussian Processes

abstract: One of the most fundamental problems when designing controllers for dynamic systems is the tuning of the controller parameters. Typically, a model of the system is used to obtain an initial controller, but ultimately the controller parameters must be tuned manually on the real system to achieve the best performance. To avoid this manual tuning step, methods from machine learning, such as Bayesian optimization, have been used. However, as these methods evaluate different controller parameters on the real system, safety-critical system failures may happen. In this paper, we overcome this problem by applying, for the first time, a recently developed safe optimization algorithm, SafeOpt, to the problem of automatic controller parameter tuning. Given an initial, low-performance controller, SafeOpt automatically optimizes the parameters of a control law while guaranteeing safety. It models the underlying performance measure as a Gaussian process and only explores new controller parameters whose performance lies above a safe performance threshold with high probability. Experimental results on a quadrotor vehicle indicate that the proposed method enables fast, automatic, and safe optimization of controller parameters without human intervention.


title: Cotranslational folding of deeply knotted proteins

abstract: Proper folding of deeply knotted proteins has a very low success rate even in structure-based models which favor formation of the native contacts but have no topological bias. By employing a structure-based model, we demonstrate that cotranslational folding on a model ribosome may enhance the odds to form trefoil knots for protein YibK without any need to introduce any non-native contacts. The ribosome is represented by a repulsive wall that keeps elongating the protein. On-ribosome folding proceeds through a a slipknot conformation. We elucidate the mechanics and energetics of its formation. We show that the knotting probability in on-ribosome folding is a function of temperature and that there is an optimal temperature for the process. Our model often leads to the establishment of the native contacts without formation of the knot.


title: Magnetic Flux and Helicity of Magnetic Clouds

abstract: Magnetic clouds (MCs) are formed by flux ropes (FRs) launched from the Sun as part of coronal mass ejections (CMEs). They carry away an important amount of magnetic flux and helicity. The main aim of this study is to quantify these quantities from insitu measurements of MCs at 1 AU. The fit of these data by a local FR model provides the axial magnetic field strength, the radius, the magnetic flux and the helicity per unit length along the FR axis. We show that these quantities are statistically independent of the position along the FR axis. We then derive the generic shape and length of the FR axis from two sets of MCs. These results improve the estimation of magnetic helicity. Next, we evaluate the total magnetic flux and helicity crossing the sphere of radius of 1 AU, centered at the Sun, per year and during a solar cycle. We also include in the study two sets of small FRs which do not have all the typical characteristics of MCs. While small FRs are at least ten times more numerous than MCs, the magnetic flux and helicity are dominated by the contribution from the larger MCs. They carry in one year the magnetic flux of about 25 large active regions and the magnetic helicity of 200 of them. MCs carry away an amount of unsigned magnetic helicity comparable to the one estimated for the solar dynamo and the one measured in emerging active regions.


title: Kohn-Sham Approach to Quantum Electrodynamical Density Functional Theory: Exact Time-Dependent Effective Potentials in Real Space

abstract: The density-functional approach to quantum electrodynamics is extending traditional density-functional theory and opens the possibility to describe electron-photon interactions in terms of effective Kohn-Sham potentials. In this work, we numerically construct the exact electron-photon Kohn-Sham potentials for a prototype system which consists of a trapped electron coupled to a quantized electromagnetic mode in an optical high-Q cavity. While the effective current that acts on the photons is known explicitly, the exact effective potential that describes the forces exerted by the photons on the electrons is obtained from a fixed-point inversion scheme. This procedure allows us to uncover important beyond-mean-field features of the effective potential which mark the breakdown of classical light-matter interactions. We observe peak and step structures in the effective potentials, which can be attributed solely to the quantum nature of light, i.e., they are real-space signatures of the photons. Our findings show how the ubiquitous dipole interaction with a classical electromagnetic field has to be modified in real-space in order to take the quantum nature of the electromagnetic field fully into account.


title: Pattern avoidance seen in multiplicities of maximal weights of affine Lie algebra representations

abstract: We prove that the multiplicities of certain maximal weights of $\mathfrak{g}(A^{(1)}_{n})$-modules are counted by pattern avoidance on words. This proves and generalizes a conjecture of Misra-Rebecca. We also prove similar phenomena in types $A^{(2)}_{2n}$ and $D^{(2)}_{n+1}$. Both proofs are applications of Kashiwara's crystal theory.


title: Full two-scale asymptotic expansion and higher-order constitutive laws in the homogenisation of the system of Maxwell equations

abstract: For the system of Maxwell equations of electromagnetism in an $l$-periodic composite medium of overall size $L$ ($0<l<L<\infty$), in the low-frequency quasistatic approximation, we develop an electromagnetic version of strain-gradient theories, where the magnetic field is not a function of the magnetic induction alone but also of its spatial gradients, and the electric field depends not only on the displacement but also on displacement gradients. Following the work (Smyshlyaev, V.P., Cherednichenko, K.D., 2000. On rigorous derivation of strain gradient effects in the overall behaviour of periodic heterogeneous media, ${\mathit J.\ Mech.\ Phys.\ Solids\ }{\mathbf{48}},$ $1325-1357$), we develop a combination of variational and asymptotic approaches to the multiscale analysis of the Maxwell system. We provide rigorous convergence estimates of higher order of smallness with respect to the inverse of the "scale separation parameter" $L/l.$ Using a special "ensemble averaging" procedure for a family of periodic problems, we derive an infinite-order version of the classical homogenised system of Maxwell equations.


title: Incidences and pairs of dot products

abstract: Let $\mathbb{F}$ be a field, let $P \subseteq \mathbb{F}^d$ be a finite set of points, and let $\alpha,\beta \in \mathbb{F} \setminus \{0\}$. We study the quantity \[|\Pi_{\alpha, \beta}| = \{(p,q,r) \in P \times P \times P \mid p \cdot q = \alpha, p \cdot r = \beta \}.\] We observe a connection between the question of placing an upper bound on $|\Pi_{\alpha,\beta}|$ and a well-studied question on the number of incidences betwen points and hyperplanes, and use this connection to prove new and strengthened upper bounds on $|\Pi_{\alpha,\beta}|$ in a variety of settings.


title: Minimal fibrations of dendroidal sets

abstract: We prove the existence of minimal models for fibrations between dendroidal sets in the model structure for infinity-operads, as well as in the covariant model structure for algebras and in the stable one for connective spectra. In an appendix, we explain how our arguments can be used to extend the results of Cisinski, giving the existence of minimal fibrations in model categories of presheaves over generalised Reedy categories of a rather common type. Besides some applications to the theory of algebras over infinity-operads, we also prove a gluing result for parametrized connective spectra (or Gamma-spaces).


title: A Novice Guide towards Human Motion Analysis and Understanding

abstract: Human motion analysis and understanding has been, and is still, the focus of attention of many disciplines which is considered an obvious indicator of the wide and massive importance of the subject. The purpose of this article is to shed some light on this very important subject, so it can be a good insight for a novice computer vision researcher in this field by providing him/her with a wealth of knowledge about the subject covering many directions. There are two main contributions of this article. The first one investigates various aspects of some disciplines (e.g., arts, philosophy, psychology, and neuroscience) that are interested in the subject and review some of their contributions stressing on those that can be useful for computer vision researchers. Moreover, many examples are illustrated to indicate the benefits of integrating concepts and results among different disciplines. The second contribution is concerned with the subject from the computer vision aspect where we discuss the following issues. First, we explore many demanding and promising applications to reveal the wide and massive importance of the field. Second, we list various types of sensors that may be used for acquiring various data. Third, we review different taxonomies used for classifying motions. Fourth, we review various processes involved in motion analysis. Fifth, we exhibit how different surveys are structured. Sixth, we examine many of the most cited and recent reviews in the field that have been published during the past two decades to reveal various approaches used for implementing different stages of the problem and refer to various algorithms and their suitability for different situations. Moreover, we provide a long list of public datasets and discuss briefly some examples of these datasets. Finally, we provide a general discussion of the subject from the aspect of computer vision.


title: Group key management based on semigroup actions

abstract: In this work we provide a suite of protocols for group key management based on general semigroup actions. Construction of the key is made in a distributed and collaborative way. Examples are provided that may in some cases enhance the security level and communication overheads of previous existing protocols. Security against passive attacks is considered and depends on the hardness of the semigroup action problem in any particular scenario.


title: XMM-Newton observation of a sample of four close dSph galaxies

abstract: We present the results of the analysis of deep archival \sat\ observations towards the dwarf spheroidal galaxies Draco, Leo I, Ursa Major II and Ursa Minor in the Milky Way neighbourhood. The X-ray source population is characterized and cross-correlated with available databases with the aim to infer their nature. We also investigate if intermediate-mass black holes are hosted in the center of these galaxies. In the case of Draco, we detect 96 high-energy sources, two of them being possibly local stars, while no evidence for any X-ray emitting central compact object is found. Towards the Leo I and UMa II field of view we reveal 116 and 49 X-ray sources, respectively. None of them correlates with the putative central black holes and only one is likely associated with a UMa II local source. The study of the UMi dwarf galaxy shows 54 high-energy sources and a possible association {with a source at the dSph center}. We put an upper limit to the central compact object luminosity of 4.02$\times$10$^{33}$ erg/s. Furthermore, via the correlation with a radio source near the galactic center, we get that the putative black hole should have a mass of $\left(2.76^{+32.00}_{-2.54}\right)\times10^6 M_{\odot}$ and be radiatively inefficient. This confirms a previous result obtained by using Chandra data alone.


title: Integrability and separation of variables in Calogero-Coulomb-Stark and two-center Calogero-Coulomb systems

abstract: We propose the integrable N-dimensional Calogero-Coulomb-Stark and two-center Calogero-Coulomb systems and construct their constants of motion via the Dunkl operators. Their Schr\"odinger equations decouple in parabolic and elliptic coordinates into the set of three differential equations like for the Coulomb-Stark and two-center Coulomb problems. The Calogero term preserves the energy levels, but changes their degrees of degeneracy.

categories: math-ph cond-mat.str-el hep-th math.MP nlin.SI quant-ph


title: On the relation of three theorems of analysis to the axiom of choice

abstract: In what follows, essentially two things will be accomplished: Firstly, it will be proven that a version of the Arzel\`a--Ascoli theorem and the Fr\'echet--Kolmogorov theorem are equivalent to the axiom of countable choice for subsets of real numbers. Secondly, some progress is made towards determining the amount of axioms that have to be added to the Zermelo--Fraenkel system so that the uniform boundedness principle holds.


title: Almost periodic solutions of retarded SICNNs with functional response on piecewise constant argument

abstract: We consider a new model for shunting inhibitory cellular neural networks, retarded functional differential equations with piecewise constant argument. The existence and exponential stability of almost periodic solutions are investigated. An illustrative example is provided.


title: Nonclassical readout of optical memories under local energy constraint

abstract: Nonclassical states of light play a central role in many quantum information protocols. Their quantum features have been exploited to improve the readout of information from digital memories, modelled as arrays of microscopic beam splitters [S. Pirandola, Phys. Rev. Lett. 106, 090504 (2011)]. In this model of "quantum reading", a nonclassical source of light with Einstein-Podolski-Rosen correlations has been proven to retrieve more information than any classical source. In particular, the quantum-classical comparison has been performed under a global energy constraint, i.e., by fixing the mean total number of photons irradiated over each memory cell. In this paper we provide an alternative analysis which is based on a local energy constraint, meaning that we fix the mean number of photons per signal mode irradiated over the memory cell. Under this assumption, we investigate the critical number of signal modes after which a nonclassical source of light is able to beat any classical source irradiating the same number of signals.


title: An Active Attack on a Multiparty Key Exchange Protocol

abstract: The multiparty key exchange introduced in Steiner et al.\@ and presented in more general form by the authors is known to be secure against passive attacks. In this paper, an active attack is presented assuming malicious control of the communications of the last two users for the duration of only the key exchange.


title: Understanding star formation in molecular clouds III. Probability distribution functions of molecular lines in Cygnus X

abstract: Column density (N) PDFs serve as a powerful tool to characterize the physical processes that influence the structure of molecular clouds. Star-forming clouds can best be characterized by lognormal PDFs for the lower N range and a power-law tail for higher N, commonly attributed to turbulence and self-gravity and/or pressure, respectively. We report here on PDFs obtained from observations of 12CO, 13CO, C18O, CS, and N2H+ in the Cygnus X North region and compare to a PDF derived from dust observations with the Herschel satellite. The PDF of 12CO is lognormal for Av~1-30, but is cut for higher Av due to optical depth effects. The PDFs of C18O and 13CO are mostly lognormal up for Av~1-15, followed by excess up to Av~40. Above that value, all CO PDFs drop, most likely due to depletion. The high density tracers CS and N2H+ exhibit only a power law distribution between Av~15 and 400, respectively. The PDF from dust is lognormal for Av~3-15 and has a power-law tail up to Av~500. Absolute values for the molecular line column densities are, however, rather uncertain due to abundance and excitation temperature variations. Taken the dust PDF face value, we 'calibrate' the molecular line PDF of CS to the one of the dust and determined an abundance [CS]/[H2] of 10^-9. The slopes of the power-law tails of the CS, N2H+, and dust PDFs are consistent with free-fall collapse of filaments and clumps. A quasi static configuration of filaments and clumps can possibly also account for the observed N-PDFs, as long as they have a sufficiently condensed density structure and external ram pressure by gas accretion is provided. The somehow flatter slopes of N2H+ and CS can reflect an abundance change and/or subthermal excitation at low column densities.


title: The dynamics of simple gene-network motifs subject to extrinsic fluctuations

abstract: Cellular processes do not follow deterministic rules; even in identical environments genetically identical cells can make random choices leading to different phenotypes. This randomness originates from fluctuations present in the biomolecular interaction networks. Most previous work has been focused on the intrinsic noise (IN) of these networks. Yet, especially for high-copy-number biomolecules, extrinsic or environmental noise (EN) has been experimentally shown to dominate the variation. Here, we develop an analytical formalism that allows for calculation of the effect of EN on gene-expression motifs. We introduce a method for modeling bounded EN as an auxiliary species in the master equation. The method is fully generic and is not limited to systems with small EN magnitudes. We focus our study on motifs that can be viewed as the building blocks of genetic switches: a nonregulated gene, a self-inhibiting gene, and a self-promoting gene. The role of the EN properties (magnitude, correlation time, and distribution) on the statistics of interest are systematically investigated, and the effect of fluctuations in different reaction rates is compared. Due to its analytical nature, our formalism can be used to quantify the effect of EN on the dynamics of biochemical networks and can also be used to improve the interpretation of data from single-cell gene-expression experiments.


title: Weak Interband-Coupling Superconductivity in the Filled Skutterudite LaPt4Ge12

abstract: The superconducting pairing state of LaPt$_{4}$Ge$_{12}$ is studied by measuring the magnetic penetration depth $\lambda(T,B)$ and the superfluid density $\rho_s(T)$ using a tunnel-diode-oscillator (TDO)-based method and by transverse field muon-spin rotation ($\mu$SR) spectroscopy. $\lambda(T)$ follows an exponential-type temperature dependence at $T\ll T_{c}$, but its zero-temperature value $\lambda(0)$ increases linearly with magnetic field. Detailed analyses demonstrate that both $\lambda(T)$ and the corresponding $\rho_{s}(T)$, measured in the Meissner state by the TDO method are well described by a two-gap $\gamma$ model with gap sizes of $\Delta_1(0)=1.31k_{B}T_c$ and $\Delta_2(0)=1.80k_{B}T_c$ and a very weak interband coupling. In contrast, $\rho_s(T)$, derived from the $\mu \rm{SR}$ data taken in a small field, can be fitted by a single-gap BCS model with a gap close to $\Delta_2(0)$. We conclude that LaPt$_{4}$Ge$_{12}$ is a marginal two-gap superconductor and the small gap $\Delta_1$ seems to be destroyed by a small magnetic field. In comparison, in PrPt$_4$Ge$_{12}$ the $4f$-electrons may enhance the interband coupling and, therefore, give rise to more robust multiband superconductivity.


title: Strain-induced spatial and spectral isolation of quantum emitters in mono- and bi-layer WSe2

abstract: Two-dimensional transition metal dichalcogenide semiconductors are intriguing hosts for quantum light sources due to their unique opto-electronic properties. Here we report that strain gradients induced by substrate patterning result in spatially and spectrally isolated quantum emitters in mono- and bi-layer WSe2. By correlating localized excitons with localized strain-variations, we show that the quantum emitter emission energy can be red-tuned up to a remarkable ~170 meV. We probe the fine-structure, magneto-optics, and second order coherence of a strained emitter. These results raise the prospect to strain-engineer quantum emitter properties and deterministically create arrays of quantum emitters in two-dimensional semiconductors.


title: Perspective: Quantum Thermodynamics

abstract: Classical thermodynamics is unrivalled in its range of applications and relevance to everyday life. It enables a description of complex systems, made up of microscopic particles, in terms of a small number of macroscopic quantities, such as work and entropy. As systems get ever smaller, fluctuations of these quantities become increasingly relevant, prompting the development of stochastic thermodynamics. Recently we have seen a surge of interest in exploring the quantum regime, where the origin of fluctuations is quantum rather than thermal. Many questions, such as the role of entanglement and the emergence of thermalisation, lie wide open. Answering these questions may lead to the development of quantum heat engines and refrigerators, as well as to vitally needed simple descriptions of quantum many-body systems.


title: Milnor K-theory of complete discrete valuation rings with finite residue fields

abstract: Consider a complete discrete valuation ring $\mathcal{O}$ with quotient field $F$ and finite residue field. Then the inclusion map $\mathcal{O} \hookrightarrow F$ induces a map $\hat{\mathrm{K}}^\mathrm{M}_*\mathcal{O} \to \hat{\mathrm{K}}^\mathrm{M}_*F$ on improved Milnor K-theory. We show that this map is an isomorphism in degrees bigger or equal to 3. This implies the Gersten conjecture for improved Milnor K-theory. This result is new in the $p$-adic case.


abstract: Hydrogen recombination in the early Universe in the presence of a magnetic field is studied. An equation for the temperature of recombination in the presence of a magnetic field is derived. Limiting cases of weak and strong fields are considered. It is demonstrated that there exists a critical magnetic field, above which the system stays in the phase of atomic hydrogen for all temperatures. The relative shift of the temperature of recombination in the presence of a magnetic field is estimated and it is demonstrated that this shift is small.


title: The phenomenon of reversal in the Euler-Poincar\`e-Suslov nonholonomic systems

abstract: In this paper, the dynamics of nonholonomic systems on Lie groups with a left-invariant kinetic energy and left-invariant constraints are considered. Equations of motion form a closed system of differential equations on the corresponding Lie algebra. In addition, the effect of change in the stability of steady motions of these systems with the direction of motion reversed (the reversal found in rattleback dynamics) is discussed. As an illustration, the rotation of a rigid body with a fixed point and the Suslov nonholonomic constraint as well as the motion of the Chaplygin sleigh is considered.


title: Tiling sets and spectral sets over finite fields

abstract: We study tiling and spectral sets in vector spaces over prime fields. The classical Fuglede conjecture in locally compact abelian groups says that a set is spectral if and only if it tiles by translation. This conjecture was disproved by T. Tao in Euclidean spaces of dimensions 5 and higher, using constructions over prime fields (in vector spaces over finite fields of prime order) and lifting them to the Euclidean setting. Over prime fields, when the dimension of the vector space is less than or equal to $2$ it has recently been proven that the Fuglede conjecture holds (see \cite{IMP15}). In this paper we study this question in higher dimensions over prime fields and provide some results and counterexamples. In particular we prove the existence of spectral sets which do not tile in $\mathbb{Z}_p^5$ for all odd primes $p$ and $\mathbb{Z}_p^4$ for all odd primes $p$ such that $p \equiv 3 \text{ mod } 4$. Although counterexamples in low dimensional groups over cyclic rings $\mathbb{Z}_n$ were previously known they were usually for non prime $n$ or a small, sporadic set of primes $p$ rather than general constructions. This paper is a result of a Research Experience for Undergraduates program ran at the University of Rochester during the summer of 2015 by A. Iosevich, J. Pakianathan and G. Petridis.


title: Restoring broken entanglement by separable correlations

abstract: We consider two bosonic Gaussian channels whose thermal noise is strong enough to break bipartite entanglement. In this scenario, we show how the presence of separable correlations between the two channels is able to restore the broken entanglement. This reactivation occurs not only in a scheme of direct distribution, where a third party (Charlie) broadcasts entangled states to remote parties (Alice and Bob), but also in a configuration of indirect distribution which is based on entanglement swapping. In both schemes, the amount of entanglement remotely activated can be large enough to be distilled by one-way distillation protocols.


title: Conformal quantum mechanics and holographic quench

abstract: Recently, there has been much interest in holographic computations of two-point non-equilibrium Green functions from AdS-Vaidya backgrounds. In the strongly coupled quantum field theory on the boundary, the dual interpretation of the background is an equilibration process called a holographic quench. The two dimensional AdS-Vaidya spacetime is a special case, dual to conformal quantum mechanics. We study how the quench is incorporated into a Hamiltonian $H + \theta(t) \Delta H$ and into correlation functions. With the help of recent work on correlation functions in conformal quantum mechanics, we first rederive the known two point functions, and then compute non-equilibrium 3- and 4-point functions. We also compute the 3-point function Witten diagram in the two-dimensional AdS-Vaidya background, and find agreement with the conformal quantum mechanics result.


title: Chimera states in Star Networks

abstract: We consider star networks of chaotic oscillators, with all end-nodes connected only to the central hub node, under diffusive coupling, conjugate coupling and mean-field type coupling. We observe the existence of chimeras in the end-nodes, which are identical in terms of the coupling environment and dynamical equations. Namely, the symmetry of the end-nodes is broken and co-existing groups with different synchronization features and attractor geometries emerge. Surprisingly, such chimera states are very wide-spread in this network topology, and large parameter regimes of moderate coupling strengths evolve to chimera states from generic random initial conditions. Further, we verify the robustness of these chimera states in analog circuit experiments. Thus it is evident that star networks provide a promising class of coupled systems, in natural or human-engineered contexts, where chimeras are prevalent.


title: An Ant Colonization Routing Algorithm to Minimize Network Power Consumption

abstract: Rising energy consumption of IT infrastructure concerns have spurred the development of more power efficient networking equipment and algorithms. When \emph{old} equipment just drew an almost constant amount of power regardless of the traffic load, there were some efforts to minimize the total energy usage by modifying routing decisions to aggregate traffic in a minimal set of links, creating the opportunity to power off some unused equipment during low traffic periods. New equipment, with power profile functions depending on the offered load, presents new challenges for optimal routing. The goal now is not just to power some links down, but to aggregate and/or spread the traffic so that devices operate in their sweet spot in regards to network usage. In this paper we present an algorithm that, making use of the ant colonization algorithm, computes, in a decentralized manner, the routing tables so as to minimize global energy consumption. Moreover, the resulting algorithm is also able to track changes in the offered load and react to them in real time.


title: Tag Me Maybe: Perceptions of Public Targeted Sharing on Facebook

abstract: Social network sites allow users to publicly tag people in their posts. These tagged posts allow users to share to both the general public and a targeted audience, dynamically assembled via notifications that alert the people mentioned. We investigate people's perceptions of this mixed sharing mode through a qualitative study with 120 participants. We found that individuals like this sharing modality as they believe it strengthens their relationships. Individuals also report using tags to have more control of Facebook's ranking algorithm, and to expose one another to novel information and people. This work helps us understand people's complex relationships with the algorithms that mediate their interactions with each another. We conclude by discussing the design implications of these findings.


title: Existence of Solution for an Elliptic Problem with a Sublinear Term

abstract: In this work we prove the existence of a classical positive solution for an elliptic equation with a sublinear term. We use Galerkin approximations to show existence of such solution on bounded domains in RN.


title: A semi-canonical reduction for periods of Kontsevich-Zagier

abstract: The ${\overline{\mathbb Q}}$-algebra of periods was introduced by Kontsevich and Zagier as complex numbers whose real and imaginary parts are values of absolutely convergent integrals of ${\mathbb Q}$-rational functions over ${\mathbb Q}$-semi-algebraic domains in ${\mathbb R}^d$. The Kontsevich-Zagier period conjecture affirms that any two different integral expressions of a given period are related by a finite sequence of transformations only using three rules respecting the rationality of the functions and domains: additions of integrals by integrands or domains, change of variables and Stokes formula. In this paper, we prove that every non-zero real period can be represented as the volume of a compact ${\overline{\mathbb Q}}\cap{\mathbb R}$-semi-algebraic set, obtained from any integral representation by an effective algorithm satisfying the rules allowed by the Kontsevich-Zagier period conjecture.