title: Secular bipolar growth rate of the real US GDP per capita: implications for understanding past and future economic growth

abstract: We present a quantitative characterisation of the fluctuations of the annualized growth rate of the real US GDP per capita growth at many scales, using a wavelet transform analysis of two data sets, quarterly data from 1947 to 2015 and annual data from 1800 to 2010. Our main finding is that the distribution of GDP growth rates can be well approximated by a bimodal function associated to a series of switches between regimes of strong growth rate $\rho_\text{high}$ and regimes of low growth rate $\rho_\text{low}$. The succession of such two regimes compounds to produce a remarkably stable long term average real annualized growth rate of 1.6\% from 1800 to 2010 and $\approx 2.0\%$ since 1950, which is the result of a subtle compensation between the high and low growth regimes that alternate continuously. Thus, the overall growth dynamics of the US economy is punctuated, with phases of strong growth that are intrinsically unsustainable, followed by corrections or consolidation until the next boom starts. We interpret these findings within the theory of "social bubbles" and argue as a consequence that estimations of the cost of the 2008 crisis may be misleading. We also interpret the absence of strong recovery since 2008 as a protracted low growth regime $\rho_\text{low}$ associated with the exceptional nature of the preceding large growth regime.


title: Balanced Locally Repairable Codes

abstract: We introduce a family of balanced locally repairable codes (BLRCs) $[n, k, d]$ for arbitrary values of $n$, $k$ and $d$. Similar to other locally repairable codes (LRCs), the presented codes are suitable for applications that require a low repair locality. The novelty that we introduce in our construction is that we relax the strict requirement the repair locality to be a fixed small number $l$, and we allow the repair locality to be either $l$ or $l+1$. This gives us the flexibility to construct BLRCs for arbitrary values of $n$ and $k$ which partially solves the open problem of finding a general construction of LRCs. Additionally, the relaxed locality criteria gives us an opportunity to search for BLRCs that have a low repair locality even when double failures occur. We use metrics such as a storage overhead, an average repair bandwidth, a Mean Time To Data Loss (MTTDL) and an update complexity to compare the performance of BLRCs with existing LRCs.


title: Towards Persistent Storage and Retrieval of Domain Models using Graph Database Technology

abstract: We employ graph database technology to persistently store and retrieve robot domain models.


title: Unseeded Large Scale PIV measurements accounting for capillary-gravity waves phase speed

abstract: Large Scale Particle Image Velocimetry (LSPIV) is widely recognized as a reliable method to measure water surface velocity field in open channels and rivers. LSPIV technique is based on a camera view that frames the water surface in a sequence, and image-processing methods to compute water surface displacements between consecutive frames. Using LSPIV, high flow velocities, as for example flood conditions, were accurately measured, whereas determinations of low flow velocities is more challenging, especially in absence of floating seeding transported by the flow velocity. In fact, in unseeded conditions, typical surface features dynamics must be taken into account: besides surface structures convected by the current, capillary-gravity waves travel in all directions, with their own dynamics. Discrimination between all these phenomena is here discussed, providing a new method to distinguish and to correct unseeded LSPIV measurements associated with wavy structures, accounting for their phase speed magnitude and direction. This has been done measuring wavenumber vectors by using the same images exploited for PIV analysis. All measurements are performed without any flow seeding and in total absence of suspended materials, using the specular reflection of the water surface as a key marker. Results obtained at low-flow regimes in a straight concrete-made rectangular-section channel and in a river are satisfying, especially if compared to those obtained from classic LSPIV application without discrimination and correction. Moreover, a novel simple and safe procedure to orthorectify images is here presented.


title: Multi-Skyrmions with orientational moduli

abstract: We analyze the mechanism of condensation of orientational moduli (as introduced in [25]) on multi-Skyrmionic configurations of the four-dimensional Skyrme model. The present analysis reveals interesting novel features. First of all, the orientational moduli tend to decrease the repulsive interactions between Skyrmions, the effect decreasing with the increase of the Baryon number. Moreover, in the case of a single Skyrmion, the appearance of moduli is energetically favorable if finite volume effects are present. Otherwise, in the usual flat topologically trivial case, it is not. In the low energy theory these solutions can be interpreted as Skyrmions with additional isospin degrees of freedom.


title: A new model test in high energy physics in frequentist and Bayesian statistical formalisms

abstract: A problem of a new physical model test given observed experimental data is a typical one for modern experiments of high energy physics (HEP). A solution of the problem may be provided with two alternative statistical formalisms, namely frequentist and Bayesian, which are widely spread in contemporary HEP searches. A characteristic experimental situation is modeled from general considerations and both the approaches are utilized in order to test a new model. The results are juxtaposed, what demonstrates their consistency in this work. An effect of a systematic uncertainty treatment in the statistical analysis is also considered.


title: Localization in an acoustic cavitation cloud

abstract: Using a nonlinear sound wave equation for a bubbly liquid in conjunction with an equation for bubble pulsation, we predict and experimentally demonstrate the appearance of a gap in the frequency spectrum of a sound wave propagating in a cavitation cloud comprising bubbles. For bubbles with an ambient radius of 100 {\mu}m, the calculations revealed that this gap corresponds to the phenomenon of sound wave localization. For bubbles with an ambient radius of 120 {\mu}m, this spectral gap relates to a forbidden band of the sound wave. In the experiment, we observed the predicted gap in the frequency spectrum in soda water; however, in tap water, no spectral gap was present because the bubbles were much smaller than 100 {\mu}m.


title: Sampling Rate Distortion

abstract: Consider a discrete memoryless multiple source with $m$ components of which $k \leq m$ possibly different sources are sampled at each time instant and jointly compressed in order to reconstruct all the $m$ sources under a given distortion criterion. A new notion of sampling rate distortion function is introduced, and is characterized first for the case of fixed-set sampling. Next, for independent random sampling performed without knowledge of the source outputs, it is shown that the sampling rate distortion function is the same regardless of whether or not the decoder is informed of the sequence of sampled sets. Furthermore, memoryless random sampling is considered with the sampler depending on the source outputs and with an informed decoder. It is shown that deterministic sampling, characterized by a conditional point-mass, is optimal and suffices to achieve the sampling rate distortion function. For memoryless random sampling with an uninformed decoder, an upper bound for the sampling rate distortion function is seen to possess a similar property of conditional point-mass optimality. It is shown by example that memoryless sampling with an informed decoder can outperform strictly any independent random sampler, and that memoryless sampling can do strictly better with an informed decoder than without.


title: Multiparameter Fuss--Catalan numbers with application to algebraic equations

abstract: We present an exposition on the Fuss--Catalan numbers, which are a generalization of the well known Catalan numbers. The literature on the subject is scattered (especially for the case of multiple independent parameters, as will be explained in the text), with overlapping definitions by different authors and duplication of proofs. This paper collects the main theorems and identities, with a consistent notation. Contact is made with the works of numerous authors, including the early works of Lambert and Euler. We demonstrate the application of the formalism to solve algebraic equations by infinite series. Our main result in this context is a new necessary and sufficient formula for the domain of absolute convergence of the series solutions of algebraic equations, which corrects and extends previous work in the field. Some historical material is placed in an Appendix.


title: Test vectors for local periods

abstract: Let $E/F$ be a quadratic extension of non-archimedean local fields of characteristic zero. An irreducible admissible representation $\pi$ of $GL(n,E)$ is said to be distinguished with respect to $GL(n,F)$ if it admits a non-trivial linear form that is invariant under the action of $GL(n,F)$. It is known that there is exactly one such invariant linear form up to multiplication by scalars, and an explicit linear form is given by integrating Whittaker functions over the $F$-points of the mirabolic subgroup when $\pi$ is unitary and generic. In this paper, we prove that the essential vector of [JPSS81] is a test vector for this standard distinguishing linear form and that the value of this form at the essential vector is a local $L$-value. As an application we determine the value of a certain proportionality constant between two explicit distinguishing linear forms. We then extend all our results to the non-unitary generic case.


title: Molecular Mechanics of Chitin-Protein Interface

abstract: Chitin and protein are two main building blocks for many natural biomaterials. The interaction between chitin and protein critically determines the properties of the composite biological materials. As living organisms usually encounter complex ambient conditions like water, pH and ions are critical factors towards the structural integrity of biomaterials. It is therefore essential to study the chitin-protein interface under different environmental conditions. Here, an atomistic model consisting of a chitin substrate and a protein filament is constructed, which is regarded as a representative of the chitin-protein interface existing in many chitin-based biomaterials. Based on this model, the mechanical properties of chitin-protein interface under different moisture and pH values are investigated through molecular dynamics simulations. The results reveal a weakening effect of water towards the chitin-protein interface, as well as acidity, i.e. the protonated protein forms a stronger adhesion to chitin than that in the alkaline environment. In addition, the effect from side-chain of protein is studied and it is found that certain kinds of amino acid can form hydrophobic connections to chitin surface, which means that these peptides partly dodge the weakening effect of water. Our observation indicates that terminuses and side-chains in protein are of importance in forming interfacial hydrogen bonds. From our full atomistic models, we can observe some molecular mechanisms about how protein interacts with chitin in different conditions, which may spotlight the engineering on biomaterials with similar interfaces.


title: Multi-modal dictionary learning for image separation with application in art investigation

abstract: In support of art investigation, we propose a new source separation method that unmixes a single X-ray scan acquired from double-sided paintings. In this problem, the X-ray signals to be separated have similar morphological characteristics, which brings previous source separation methods to their limits. Our solution is to use photographs taken from the front and back-side of the panel to drive the separation process. The crux of our approach relies on the coupling of the two imaging modalities (photographs and X-rays) using a novel coupled dictionary learning framework able to capture both common and disparate features across the modalities using parsimonious representations; the common component models features shared by the multi-modal images, whereas the innovation component captures modality-specific information. As such, our model enables the formulation of appropriately regularized convex optimization procedures that lead to the accurate separation of the X-rays. Our dictionary learning framework can be tailored both to a single- and a multi-scale framework, with the latter leading to a significant performance improvement. Moreover, to improve further on the visual quality of the separated images, we propose to train coupled dictionaries that ignore certain parts of the painting corresponding to craquelure. Experimentation on synthetic and real data - taken from digital acquisition of the Ghent Altarpiece (1432) - confirms the superiority of our method against the state-of-the-art morphological component analysis technique that uses either fixed or trained dictionaries to perform image separation.


title: Novel quantum initial conditions for inflation

abstract: We present a novel approach for setting initial conditions on the mode functions of the Mukhanov Sazaki equation. These conditions are motivated by minimisation of the renormalised stress-energy tensor, and are valid for setting a vacuum state even in a context where the spacetime is changing rapidly. Moreover, these alternative conditions are potentially observationally distinguishable. We apply this to the kinetically dominated universe, and compare with the more traditional approach.


title: Best-Response Dynamics in Combinatorial Auctions with Item Bidding

abstract: In a combinatorial auction with item bidding, agents participate in multiple single-item second-price auctions at once. As some items might be substitutes, agents need to strategize in order to maximize their utilities. A number of results indicate that high welfare can be achieved this way, giving bounds on the welfare at equilibrium. Recently, however, criticism has been raised that equilibria are hard to compute and therefore unlikely to be attained. In this paper, we take a different perspective. We study simple best-response dynamics. That is, agents are activated one after the other and each activated agent updates his strategy myopically to a best response against the other agents' current strategies. Often these dynamics may take exponentially long before they converge or they may not converge at all. However, as we show, convergence is not even necessary for good welfare guarantees. Given that agents' bid updates are aggressive enough but not too aggressive, the game will remain in states of good welfare after each agent has updated his bid at least once. In more detail, we show that if agents have fractionally subadditive valuations, natural dynamics reach and remain in a state that provides a $1/3$ approximation to the optimal welfare after each agent has updated his bid at least once. For subadditive valuations, we can guarantee an $\Omega(1/\log m)$ approximation in case of $m$ items that applies after each agent has updated his bid at least once and at any point after that. The latter bound is complemented by a negative result, showing that no kind of best-response dynamics can guarantee more than an $o(\log \log m/\log m)$ fraction of the optimal social welfare.


title: Josephson currents induced by the Witten effect

abstract: We reveal the existence of a new type of topological Josephson effect involving type II superconductors and three-dimensional topological insulators as tunnel junctions. We predict that vortex lines induce a variant of the Witten effect that is the consequence of the axion electromagnetic response of the topological insulator: at the interface of the junction each flux quantum attains a fractional electrical charge of e/4. As a consequence, if an external magnetic field is applied perpendicular to the junction, the Witten effect induces an AC Josephson effect in absence of any external voltage. We derive a number of further experimental consequences and propose potential setups where these {quantized, flux induced, Witten} effects may be observed.


title: Generation of narrow-band polarization-entangled photon pairs at a rubidium D1 line

abstract: Using the process of cavity-enhanced spontaneous parametric down-conversion (SPDC), we generate a narrow-band polarization-entangled photon pair resonant on the rubidium (Rb) D1 line (795 nm). The degenerate single-mode photon pair is selected by multiple temperature controlled etalons. The linewidth of generated polarization-entangled photon pairs is 15 MHz which matches the typical atomic memory bandwidth. The measured Bell parameter for the polarization-entangled photons S=2.73+-0.04 which violates the Bell-CHSH inequality by ~18 standard deviations. The presented entangled photon pair source could be utilized in quantum communication and quantum computing based on quantum memories in atomic ensemble.


title: Protein single-model quality assessment by feature-based probability density functions

abstract: Protein quality assessment (QA) has played an important role in protein structure prediction. We developed a novel single-model quality assessment method - Qprob. Qprob calculates the absolute error for each protein feature value against the true quality scores (i.e. GDT-TS scores) of protein structural models, and uses them to estimate its probability density distribution for quality assessment. Qprob has been blindly tested on the 11th Critical Assessment of Techniques for Protein Structure Prediction (CASP11) as MULTICOM-NOVEL server. The official CASP result shows that Qprob ranks as one of the top single-model QA methods. In addition, Qprob makes contributions to our protein tertiary structure predictor MULTICOM, which is officially ranked 3rd out of 143 predictors. The good performance shows that Qprob is good at assessing the quality of models of hard targets. These results demonstrate that this new probability density distribution based method is effective for protein single-model quality assessment and is useful for protein structure prediction. The webserver and software packages of Qprob are available at: http://calla.rnet.missouri.edu/qprob/.


title: On the Optimal Management of Public Debt: a Singular Stochastic Control Problem

abstract: Consider the problem of a government that wants to reduce the debt-to-GDP (gross domestic product) ratio of a country. The government aims at choosing a debt reduction policy which minimises the total expected cost of having debt, plus the total expected cost of interventions on the debt ratio. We model this problem as a singular stochastic control problem over an infinite time-horizon. In a general not necessarily Markovian framework, we first show by probabilistic arguments that the optimal debt reduction policy can be expressed in terms of the optimal stopping rule of an auxiliary optimal stopping problem. We then exploit such link to characterise the optimal control in a two-dimensional Markovian setting in which the state variables are the level of the debt-to-GDP ratio and the current inflation rate of the country. The latter follows uncontrolled Ornstein-Uhlenbeck dynamics and affects the growth rate of the debt ratio. We show that it is optimal for the government to adopt a policy that keeps the debt-to-GDP ratio under an inflation-dependent ceiling. This curve is given in terms of the solution of a nonlinear integral equation arising in the study of a fully two-dimensional optimal stopping problem.


title: Using quantum friction to synchronize rotating bodies

abstract: Proposing a combined system of a nanoparticle and a plane surface in the presence of electromagnetic vacuum fluctuations, the electromagnetic and medium fields have been quantized. Quantum friction of nanoparticle due to the presence of plane surface and also electromagnetic vacuum has been discussed. The possibility of synchronizing rotating bodies through the quantum friction between them are investigated. It has been shown that there is a significant connection between the synchronization of the rotating bodies and their quantum friction.


title: Fashion, fads and the popularity of choices: micro-foundations for diffusion consumer theory

abstract: Knowledge acquisition by consumers is a key process in the diffusion of innovations. However, in standard theories of the representative agent, agents do not learn and innovations are adopted instantaneously. Here, we show that in a discrete choice model where utility-maximising agents with heterogenous preferences learn about products through peers, their stock of knowledge on products becomes heterogenous, fads and fashions arise, and transitivity in aggregate preferences is lost. Non-equilibrium path-dependent dynamics emerge, the representative agent exhibits behavioural rules different than individual agents, and aggregate utility cannot be optimised. Instead, an evolutionary theory of product innovation and diffusion emerges.


title: Canonicity for Cubical Type Theory

abstract: Cubical type theory is an extension of Martin-L\"of type theory recently proposed by Cohen, Coquand, M\"ortberg and the author which allows for direct manipulation of $n$-dimensional cubes and where Voevodsky's Univalence Axiom is provable. In this paper we prove canonicity for cubical type theory: any natural number in a context build from only name variables is judgmentally equal to a numeral. To achieve this we formulate a typed and deterministic operational semantics and employ a computability argument adapted to a presheaf-like setting.


title: The 2008 election: A preregistered replication analysis

abstract: We present an increasingly stringent set of replications of Ghitza & Gelman (2013), a multilevel regression and poststratification analysis of polls from the 2008 U.S. presidential election campaign, focusing on a set of plots showing the estimated Republican vote share for whites and for all voters, as a function of income level in each of the states. We start with a nearly-exact duplication that uses the posted code and changes only the model-fitting algorithm; we then replicate using already-analyzed data from 2004; and finally we set up preregistered replications using two surveys from 2008 that we had not previously looked at. We have already learned from our preliminary, non-preregistered replication, which has revealed a potential problem with the published analysis of Ghitza & Gelman (2013); it appears that our model may not sufficiently account for nonsampling error, and that some of the patterns presented in that earlier paper may simply reflect noise. In addition to the substantive interest in validating earlier findings about demographics, geography, and voting, the present project serves as a demonstration of preregistration in a setting where the subject matter is historical (and thus the replication data exist before the preregistration plan is written) and where the analysis is exploratory (and thus a replication cannot be simply deemed successful or unsuccessful based on the statistical significance of some particular comparison).


title: Sheldon Spectrum and the Plankton Paradox: Two Sides of the Same Coin. A trait-based plankton size-spectrum model

abstract: The Sheldon spectrum describes a remarkable regularity in aquatic ecosystems: the biomass density as a function of logarithmic body mass is approximately constant over many orders of magnitude. While size-spectrum models have explained this phenomenon for assemblages of multicellular organisms, this paper introduces a species-resolved size-spectrum model to explain the phenomenon in unicellular plankton. A Sheldon spectrum spanning the cell-size range of unicellular plankton necessarily consists of a large number of coexisting species covering a wide range of characteristic sizes. The coexistence of many phytoplankton species feeding on a small number of resources is known as the Paradox of the Plankton. Our model resolves the paradox by showing that coexistence is facilitated by the allometric scaling of four physiological rates. Two of the allometries have empirical support, the remaining two emerge from predator-prey interactions exactly when the abundances follow a Sheldon spectrum. Our plankton model is a scale-invariant trait-based size-spectrum model: it describes the abundance of phyto- and zooplankton cells as a function of both size and species trait (the maximal size before cell division). It incorporates growth due to resource consumption and predation on smaller cells, death due to predation, and a flexible cell division process. We give analytic solutions at steady state for both the within-species size distributions and the relative abundances across species.


title: Anderson Localization of Composite Excitations in Disordered Optomechanical Arrays

abstract: Optomechanical arrays are a promising future platform for studies of transport, many-body dynamics, quantum control and topological effects in systems of coupled photon and phonon modes. We introduce disordered optomechanical arrays, focusing on features of Anderson localization of hybrid photon-phonon excitations. It turns out that these represent a unique disordered system, where basic parameters can be easily controlled by varying the frequency and the amplitude of an external laser field. We show that the two-species setting leads to a non-trivial frequency dependence of the localization length for intermediate laser intensities. This could serve as a convincing evidence of localization in a non-equilibrium dissipative situation.


title: Control of the non-stationary spin-polarized tunneling currents by applied bias changing

abstract: We reveal that for the single Anderson impurity localized between non-magnetic leads of the tunneling contact $"$magnetic$"$ state can be distinguished from the $"$paramagnetic$"$ one only by the analysis of the non-stationary system characteristics or the behavior of the second order correlation functions for the localized electrons occupation numbers. We investigate the response of the system to the sudden shift of the applied bias and to the switching $"$on$"$ the coupling to the second lead of the tunneling contact. We demonstrate that in addition to the changes of the relaxation regimes and typical relaxation time scales, non-stationary spin-polarized currents flowing in the both leads are present in the system. Spin polarization and direction of the non-stationary currents in each lead can be simultaneously inverted by the sudden changing of the applied bias voltage.


title: Light sterile neutrinos from a late phase transition

abstract: Light sterile neutrinos represent a well-motivated extension of the 3-neutrino paradigm. However, the impressive agreement between standard cosmology and data casts doubts on their existence. Here we present a class of scenarios that robustly avoids this tension. In these models the sterile neutrinos are light, chiral states of a new sector interacting with the Standard Model via the right-handed neutrino portal and, crucially, active-sterile neutrino oscillations require a phase transition in the hidden sector. We explore the hidden-couplings/critical-temperature plane and identify regions where several sterile neutrinos can be accommodated. A late phase transition is usually preferred and may also ward off a potential threat posed by the formation of topologically stable defects.


title: Strong completions of spaces

abstract: A non-empty subset of a topological space is irreducible if whenever it is covered by the union of two closed sets, then already it is covered by one of them. Irreducible sets occur in proliferation: (1) every singleton set is irreducible, (2) directed subsets (which of fundamental status in domain theory) of a poset are exactly its Alexandroff irreducible sets, (3) directed subsets (with respect to the specialization order) of a $T_0$ space are always irreducible, and (4) the topological closure of every irreducible set is again irreducible. In recent years, the usefulness of irreducible sets in domain theory and non-Hausdorff topology has expanded. Notably, Zhao and Ho (2009) developed the core of domain theory directly in the context of $T_0$ spaces by choosing the irreducible sets as the topological substitute for directed sets. Just as the existence of suprema of directed subsets is featured prominently in domain theory (and hence the notion of a dcpo -- a poset in which all directed suprema exist), so too is that of irreducible subsets in the topological domain theory developed by Zhao and Ho (2009). The topological counterpart of a dcpo is thus this: A $T_0$ space is said to be strongly complete if the suprema of all irreducible subsets exist. In this paper, we show that the category, $\mathbf{scTop^+}$, of strongly complete $T_0$ spaces forms are reflective subcategory of a certain lluf subcategory, $\mathbf{Top^+}$, of $T_0$ spaces.


title: On the stability of some isoperimetric inequalities for the fundamental tones of free plates

abstract: We provide a quantitative version of the isoperimetric inequality for the fundamental tone of a biharmonic Neumann problem. Such an inequality has been recently established by Chasman adapting Weinberger's argument for the corresponding second order problem. Following a scheme introduced by Brasco and Pratelli for the second order case, we prove that a similar quantitative inequality holds also for the biharmonic operator. We also prove the sharpness of both such an inequality and the corresponding one for the biharmonic Steklov problem.


title: Transparent Semiconductor-Superconductor Interface and Induced Gap in an Epitaxial Heterostructure Josephson Junction

abstract: Measurement of multiple Andreev reflection (MAR) in a Josephson junction made from an InAs heterostructure with epitaxial aluminum is used to quantify the highly transparent semiconductor-superconductor interface, indicating near-unity transmission. The observed temperature dependence of MAR does not follow a conventional BCS form, but instead agrees with a model in which the density of states in the quantum well acquires an effective induced gap, in our case 180 {\mu}eV, close to that of the epitaxial superconductor. Carrier density dependence of MAR is investigated using a depletion gate, revealing the subband structure of the semiconductor quantum well, consistent with magnetotransport experiment of the bare InAs performed on the same wafer.


title: The quasilinear theory in the approach of long-range systems to quasi-stationary states

abstract: We develop a quasilinear theory of the Vlasov equation in order to describe the approach of systems with long-range interactions to quasi-stationary states. We derive a diffusion equation governing the evolution of the velocity distribution of the system towards a steady state. This steady state is expected to correspond to the angle-averaged quasi-stationary distribution function reached by the Vlasov equation as a result of a violent relaxation. We compare the prediction of the quasilinear theory to direct numerical simulations of the Hamiltonian Mean Field model, starting from an unstable spatially homogeneous distribution, either Gaussian or semi-elliptical. We find that the quasilinear theory works reasonably well for weakly unstable initial conditions and that it is able to predict the energy marking the out-of-equilibrium phase transition between unmagnetized and magnetized quasi-stationary states. At energies lower than the out-of-equilibrium transition the quasilinear theory works less well, the disagreement with the numerical simulations increasing by decreasing the energy. In that case, we observe, in agreement with our previous numerical study [A. Campa and P.-H. Chavanis, Eur. Phys. J. B 86, 170 (2013)], that the quasi-stationary states are remarkably well fitted by polytropic distributions (Tsallis distributions) with index $n=2$ (Gaussian case) or $n=1$ (semi-elliptical case). In particular, these polytropic distributions are able to account for the region of negative specific heats in the out-of-equilibrium caloric curve, unlike the Boltzmann and Lynden-Bell distributions.


title: Rational approximation to the fractional Laplacian operator in reaction-diffusion problems

abstract: This paper provides a new numerical strategy to solve fractional in space reaction-diffusion equations on bounded domains under homogeneous Dirichlet boundary conditions. Using the matrix transform method the fractional Laplacian operator is replaced by a matrix which, in general, is dense. The approach here presented is based on the approximation of this matrix by the product of two suitable banded matrices. This leads to a semi-linear initial value problem in which the matrices involved are sparse. Numerical results are presented to verify the effectiveness of the proposed solution strategy.


title: 21-year timing of the black-widow pulsar J2051-0827

abstract: Timing results for the black-widow pulsar J2051-0827 are presented, using a 21-year dataset from four European Pulsar Timing Array telescopes and the Parkes radio telescope. This dataset, which is the longest published to date for a black-widow system, allows for an improved analysis that addresses previously unknown biases. While secular variations, as identified in previous analyses, are recovered, short-term variations are detected for the first time. Concurrently, a significant decrease of approx. 2.5x10-3 cm-3 pc in the dispersion measure associated with PSR J2051-0827 is measured for the first time and improvements are also made to estimates of the proper motion. Finally, PSR J2051-0827 is shown to have entered a relatively stable state suggesting the possibility of its eventual inclusion in pulsar timing arrays.


title: Is the full susceptibility of the square-lattice Ising model a differentially algebraic function?

abstract: We study the class of non-holonomic power series with integer coefficients that reduce, modulo primes, or powers of primes, to algebraic functions. In particular we try to determine whether the susceptibility of the square-lattice Ising model belongs to this class, and more broadly whether the susceptibility is a solution of a differentially algebraic equation. Initial results on Tutte's non-linear ordinary differential equation (ODE) and other simple quadratic non-linear ODEs suggest that a large set of differentially algebraic power series solutions with integer coefficients might reduce to algebraic functions modulo primes, or powers of primes. Here we give several examples of series with integer coefficients and non-zero radius of convergence that reduce to algebraic functions modulo (almost) every prime (or power of a prime). These examples satisfy differentially algebraic equations with the encoding polynomial occasionally possessing quite high degree (and thus difficult to identify even with long series). Additionally, we have extended both the high- and low-temperature Ising square-lattice susceptibility series to 5043 coefficients. We find that even this long series is insufficient to determine whether it reduces to algebraic functions modulo $3$, $5$, etc. This negative result is in contrast to the comparatively easy confirmation that the corresponding series reduce to algebraic functions modulo powers of $2$.

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


title: The network architecture of value learning

abstract: Value guides behavior. With knowledge of stimulus values and action consequences, behaviors that maximize expected reward can be selected. Prior work has identified several brain structures critical for representing both stimuli and their values. Yet, it remains unclear how these structures interact with one another and with other regions of the brain to support the dynamic acquisition of value-related knowledge. Here, we use a network neuroscience approach to examine how BOLD functional networks change as 20 healthy human subjects learn the values of novel visual stimuli over the course of four consecutive days. We show that connections between regions of the visual, frontal, and cingulate cortices become increasingly stronger as learning progresses, and that these changes are primarily confined to the temporal core of the network. These results demonstrate that functional networks dynamically track behavioral improvement in value judgments, and that interactions between network communities form predictive biomarkers of learning.


title: Supersingular curves on Picard modular surfaces modulo an inert prime

abstract: We study the supersingular curves on Picard modular surfaces modulo a prime $p$ which is inert in the underlying quadratic imaginary field. We analyze the automorphic vector bundles in characteristic $p$, and as an application derive a formula relating the number of irreducible components in the supersingular locus to the second Chern class of the surface.


title: Scales, blow-up and quasimode constructions

abstract: In this expository article we show how the concepts of manifolds with corners, blow-ups and resolutions can be used effectively for the construction of quasimodes, i.e. approximate eigenfunctions of the Laplacian on certain families of spaces, mostly exemplified by domains $\Omega_h\subset\mathbb{R}^2$, that degenerate as $h\to0$. These include standard adiabatic limit families and also families that exhibit several types of scaling behavior. An introduction to manifolds with corners and resolutions, and how they relate to the idea of (multiple) scales and matching, is included.


title: Exact and approximate solutions of Schr\"odinger's equation with hyperbolic double-well potentials

abstract: Analytic and approximate solutions for the energy eigenvalues generated by the hyperbolic potentials $V_m(x)=-U_0\sinh^{2m}(x/d)/\cosh^{2m+2}(x/d),\,m=0,1,2,\dots$ are constructed. A byproduct of this work is the construction of polynomial solutions for the confluent Heun equation along with necessary and sufficient conditions for the existence of such solutions based on the evaluation of a three-term recurrence relation. Very accurate approximate solutions for the general problem with arbitrary potential parameters are found by use of the {\it asymptotic iteration method}.


title: Genuine localisation transition in a long-range hopping model

abstract: We introduce and study a new class of Banded Random Matrix model describing sparse, long range quantum hopping in one dimension. Using a series of analytic arguments, numerical simulations, and mappings to statistical physics models, we establish the phase diagram of the model. A genuine localisation transition, with well defined mobility edges, appears as the hopping rate decreases slower than $\ell^{-2}$, where $\ell$ is the distance. Correspondingly, the decay of the localised states evolves from a standard exponential shape to a stretched exponential and finally to a novel $\exp(-C\ln^\kappa \ell)$ behaviour, with $\kappa > 1$.


title: Adaptable Precomputation for Random Walker Image Segmentation and Registration

abstract: The random walker (RW) algorithm is used for both image segmentation and registration, and possesses several useful properties that make it popular in medical imaging, such as being globally optimizable, allowing user interaction, and providing uncertainty information. The RW algorithm defines a weighted graph over an image and uses the graph's Laplacian matrix to regularize its solutions. This regularization reduces to solving a large system of equations, which may be excessively time consuming in some applications, such as when interacting with a human user. Techniques have been developed that precompute eigenvectors of a Laplacian offline, after image acquisition but before any analysis, in order speed up the RW algorithm online, when segmentation or registration is being performed. However, precomputation requires certain algorithm parameters be fixed offline, limiting their flexibility. In this paper, we develop techniques to update the precomputed data online when RW parameters are altered. Specifically, we dynamically determine the number of eigenvectors needed for a desired accuracy based on user input, and derive update equations for the eigenvectors when the edge weights or topology of the image graph are changed. We present results demonstrating that our techniques make RW with precomputation much more robust to offline settings while only sacrificing minimal accuracy.


title: Steady solutions to viscous shallow water equations. The case of heavy water

abstract: In this note, we show the existence of regular solutions to the stationary version of the Navier-Stokes system for compressible fluids with a density dependent viscosity, known as the shallow water equations. For arbitrary large forcing we are able to construct a solution, provided the total mass is sufficiently large. The main mathematical part is located in the construction of solutions. Uniqueness is impossible to obtain, since the gradient of the velocity is of magnitude of the force. The investigation is connected to the corresponding singular limit as Mach number goes to zero and methods for weak solutions to the compressible Navier-Stokes system.


title: Fast, deterministic computation of the Hermite normal form and determinant of a polynomial matrix

abstract: Given a nonsingular $n \times n$ matrix of univariate polynomials over a field $\mathbb{K}$, we give fast and deterministic algorithms to compute its determinant and its Hermite normal form. Our algorithms use $\widetilde{\mathcal{O}}(n^\omega \lceil s \rceil)$ operations in $\mathbb{K}$, where $s$ is bounded from above by both the average of the degrees of the rows and that of the columns of the matrix and $\omega$ is the exponent of matrix multiplication. The soft-$O$ notation indicates that logarithmic factors in the big-$O$ are omitted while the ceiling function indicates that the cost is $\widetilde{\mathcal{O}}(n^\omega)$ when $s = o(1)$. Our algorithms are based on a fast and deterministic triangularization method for computing the diagonal entries of the Hermite form of a nonsingular matrix.


title: Eberhardt's inequality and recent loophole-free experiments

abstract: Recent experiments using innovative optical detectors and techniques have strongly increased the capacity of testing the violation of the Bell's inequalities in the Nature. Most of them have used the Eberhardt's inequality (EI) to close the "detection" loophole. Closing the "locality" loophole has been attempted by space-like separated detections and fast and random changes in the setting of the bases of observation. Also, pulsed pumping and time stamped data to close the "time-coincidence" loophole, and sophisticated statistical methods to close the "memory" loophole, have been used. In this paper, the meaning of the EI is reviewed. A simple hidden-variables theory based on a relaxation of the condition of "measurement independence", which was devised long ago for the Clauser-Horne-Shimony and Holt inequality, is adapted to the EI case. It is used here to evaluate the significance of the results of the new experiments, which are briefly described. A Table summarizes the main results.


title: Presence of Exotic Electronic Surface States in LaBi and LaSb

abstract: Extremely high magnetoresistance (XMR) in the lanthanum monopnictides La$X$ ($X$ = Sb, Bi) has recently attracted interest in these compounds as candidate topological materials. However, their perfect electron-hole compensation provides an alternative explanation, so the possible role of topological surface states requires verification through direct observation. Our angle-resolved photoemission spectroscopy (ARPES) data reveal multiple Dirac-like surface states near the Fermi level in both materials. Intriguingly, we have observed circular dichroism in both surface and near-surface bulk bands. Thus the spin-orbit coupling-induced orbital and spin angular momentum textures may provide a mechanism to forbid backscattering in zero field, suggesting that surface and near-surface bulk bands may contribute strongly to XMR in La$X$. The extremely simple rock salt structure of these materials and the ease with which high-quality crystals can be prepared suggests that they may be an ideal platform for further investigation of topological matter.


title: Quantitative shadowgraphy and proton radiography for large intensity modulations

abstract: Shadowgraphy is a technique widely used to diagnose objects or systems in various fields in physics and engineering. In shadowgraphy, an optical beam is deflected by the object and then the intensity modulation is captured on a screen placed some distance away. However, retrieving quantitative information from the shadowgrams themselves is a challenging task because of the non-linear nature of the process. Here, a novel method to retrieve quantitative information from shadowgrams, based on computational geometry, is presented for the first time. This process can be applied to proton radiography for electric and magnetic field diagnosis in high-energy-density plasmas and has been benchmarked using a toroidal magnetic field as the object, among others. It is shown that the method can accurately retrieve quantitative parameters with error bars less than 10%, even when caustics are present. The method is also shown to be robust enough to process real experimental results with simple pre- and post-processing techniques. This adds a powerful new tool for research in various fields in engineering and physics for both techniques.


title: Hazelnut: A Bidirectionally Typed Structure Editor Calculus

abstract: Structure editors allow programmers to edit the tree structure of a program directly. This can have cognitive benefits, particularly for novice and end-user programmers. It also simplifies matters for tool designers, because they do not need to contend with malformed program text. This paper defines Hazelnut, a structure editor based on a small bidirectionally typed lambda calculus extended with holes and a cursor. Hazelnut goes one step beyond syntactic well-formedness: its edit actions operate over statically meaningful incomplete terms. Naively, this would force the programmer to construct terms in a rigid "outside-in" manner. To avoid this problem, the action semantics automatically places terms assigned a type that is inconsistent with the expected type inside a hole. This safely defers the type consistency check until the term inside the hole is finished. Hazelnut is a foundational type-theoretic account of typed structure editing, rather than an end-user tool itself. To that end, we describe how Hazelnut's rich metatheory, which we have mechanized in Agda, guides the definition of an extension to the calculus. We also discuss various plausible evaluation strategies for terms with holes, and in so doing reveal connections with gradual typing and contextual modal type theory, the Curry-Howard interpretation of contextual modal logic. Finally, we discuss how Hazelnut's semantics lends itself to implementation as a functional reactive program. Our reference implementation is written using js_of_ocaml.


title: Projective completions of graded unipotent quotients

abstract: The aim of this paper is to show that classical geometric invariant theory (GIT) has an effective analogue for linear actions of a non-reductive algebraic group $H$ with graded unipotent radical on a projective scheme $X$. Here the linear action of $H$ is required to extend to a semi-direct product $\hat{H} = H \rtimes \mathbb{G}_m$ with a multiplicative one-parameter group which acts on the Lie algebra of the unipotent radical $U$ of $H$ with all weights strictly positive, and which centralises a Levi subgroup $R \cong H/U$ of $H$. We show that $X$ has an $H$-invariant open subscheme (the 'hat-stable locus') which has a geometric quotient by the $H$-action. This geometric quotient has a projective completion which is a categorical quotient (indeed, a good quotient) by $\hat{H}$ of an open subscheme of a blow-up of the product of $X$ with the affine line; with additional blow-ups a projective completion which is itself a geometric quotient can be obtained. Furthermore the hat-stable locus of $X$ and the corresponding open subsets of the blow-ups of the product of $X$ with the affine line can be described effectively using Hilbert-Mumford-like criteria combined with the explicit blow-up constructions. Applications include the construction of moduli spaces of sheaves and Higgs bundles of fixed Harder--Narasimhan type over a fixed nonsingular projective scheme, and of moduli spaces of unstable projective curves of fixed singularity. More recently, cohomology theory for reductive GIT quotients were extended by the first and fourth author to the non-reductive situation studied in this paper, and this was used to prove the Green--Griffiths--Lang and Kobayashi hyperbolicity conjectures for generic projective hypersurfaces with polynomial bounds on their degree.


title: On Social Optima of Non-Cooperative Mean Field Games

abstract: This paper studies the connections between mean-field games and the social welfare optimization problems. We consider a mean field game in functional spaces with a large population of agents, each of which seeks to minimize an individual cost function. The cost functions of different agents are coupled through a mean field term that depends on the mean of the population states. We show that under some mild conditions any $\epsilon$-Nash equilibrium of the mean field game coincides with the optimal solution to a convex social welfare optimization problem. The results are proved based on a general formulation in the functional spaces and can be applied to a variety of mean field games studied in the literature. Our result also implies that the computation of the mean field equilibrium can be cast as a convex optimization problem, which can be efficiently solved by a decentralized primal dual algorithm. Numerical simulations are presented to demonstrate the effectiveness of the proposed approach.


title: On the continuous-time limit of the Barab\'asi-Albert random graph

abstract: We prove that the Barab\'asi-Albert model converges weakly to a set of generalized Yule models via an appropriate scaling. To pursue this aim we superimpose to its graph structure a suitable set of processes that we call the planted model and we introduce an ad-hoc sampling procedure. The use of the obtained limit process represents an alternative and advantageous way of looking at some of the asymptotic properties of the Barab\'asi-Albert random graph.


title: Strategic Bidding and Equilibria in Coupled Gas and Electricity Markets

abstract: The wide adoption of gas fired units and power-to-gas technology brings remarkable interdependency between natural gas and electricity infrastructures. This paper studies the equilibria of coupled gas and electricity energy markets driven by the strategic bidding behavior: each producer endeavours to maximizes its own profit subjecting to the market clearing outcome. The market equilibria is formulated as an equilibrium problem with equilibrium constraints (EPEC). A special diagonalization algorithm (DA) is devised, in which the unilateral equilibria of the gas or electricity market is found in the inner loop given the rival's strategy; the interaction of the two markets are tackled in the outer loop. Case studies on two test systems validates the proposed methodology.


title: X-ray Variability of SS 433: Evidence for Supercritical Accretion

abstract: We study the X-ray variability of SS433 based on data from the ASCA observatory and the MAXI and RXTE/ASM monitoring missions. Based on the ASCA data, we have constructed the power spectrum of SS433 in the frequency range from $10^{-6}$ to 0.1 Hz, which confirms the presence of a flat portion (flat-topped noise) in the spectrum at frequencies $3\times 10^{-5}$ - $10^{-3}$ Hz. The periodic variability (precession, nutation, eclipses) begins to dominate significantly over the stochastic variability at lower frequencies, which does not allow the stochastic variability to be studied reliably. The best agreement with the observations is reached by the model with the flat portion extending to $9.5\times10^{-6}$ Hz and a power-law spectrum with index of 2.6 below that frequency. The jet nutation with a period of about three days suggests that the time for the passage of material through the disk is less than this value. Therefore, at frequencies below $4\times10^{-6}$ Hz, the power spectrum probably does not reflect the disk structure. It may depend on other factors, for example, a variable mass accretion rate supplied by the donor. The flat portion may arise from a rapid decrease in the viscous time in the supercritical or radiative disk zones. It could be related to the variability of the X-ray jets that are formed in the supercritical region.


title: Large-scale Analysis of Chess Games with Chess Engines: A Preliminary Report

abstract: The strength of chess engines together with the availability of numerous chess games have attracted the attention of chess players, data scientists, and researchers during the last decades. State-of-the-art engines now provide an authoritative judgement that can be used in many applications like cheating detection, intrinsic ratings computation, skill assessment, or the study of human decision-making. A key issue for the research community is to gather a large dataset of chess games together with the judgement of chess engines. Unfortunately the analysis of each move takes lots of times. In this paper, we report our effort to analyse almost 5 millions chess games with a computing grid. During summer 2015, we processed 270 millions unique played positions using the Stockfish engine with a quite high depth (20). We populated a database of 1+ tera-octets of chess evaluations, representing an estimated time of 50 years of computation on a single machine. Our effort is a first step towards the replication of research results, the supply of open data and procedures for exploring new directions, and the investigation of software engineering/scalability issues when computing billions of moves.


title: Diphoton resonance at the ILC

abstract: In this paper we study the direct production of the diphoton resonance $X$ which has been suggested by 2015 data at the LHC, in $e^+e^-\to X\gamma/XZ$ processes at the ILC. We derive an analytic expression for the scattering amplitudes of these processes, and present a comprehensive analysis for determining the properties of $X$ at the ILC. A realistic simulation study for $e^+e^-\to X\gamma$ is performed based on the full detector simulation to demonstrate the capabilities of the ILC experiment. Complementary to the searches at the LHC, prospects of the measurement of the absolute values of production cross-section are obtained for the ILC using recoil technique without assuming decay modes of $X$. In addition, we have studied the searches for $X\to\rm{invisible}$ and $X\to b\bar{b}$ modes, which are challenging at the LHC, and found that these decay modes can be discovered with high significance if their branching ratios are large enough.


title: Methodology of Parameterization of Molecular Mechanics Force Field From Quantum Chemistry Calculations using Genetic Algorithm: A case study of methanol

abstract: In molecular dynamics (MD) simulation, force field determines the capability of an individual model in capturing physical and chemistry properties. The method for generating proper parameters of the force field form is the key component for computational research in chemistry, biochemistry, and condensed-phase physics. Our study showed that the feasibility to predict experimental condensed phase properties (i.e., density and heat of vaporization) of methanol through problem specific force field from only quantum chemistry information. To acquire the satisfying parameter sets of the force field, the genetic algorithm (GA) is the main optimization method. For electrostatic potential energy, we optimized both the electrostatic parameters of methanol using the GA method, which leads to low deviations of between the quantum mechanics (QM) calculations and the GA optimized parameters. We optimized the van der Waals (vdW) parameters both using GA and guided GA methods by calibrating interaction energy of various methanol homo-clusters, such as nonamers, undecamers, or tridecamers. Excellent agreement between the training dataset from QM calculations (i.e., MP2) and GA optimized parameters can be achieved. However, only the guided GA method, which eliminates the overestimation of interaction energy from MP2 calculations in the optimization process, provides proper vdW parameters for MD simulation to get the condensed phase properties (i.e., density and heat of vaporization) of methanol. Throughout the whole optimization process, the experimental value were not involved in the objective functions, but were only used for the purpose of justifying models (i.e., nonamers, undecamers, or tridecamers) and validating methods (i.e., GA or guided GA). Our method shows the possibility of developing descriptive polarizable force field using only QM calculations.


title: The Bose-Hubbard model on a triangular lattice with diamond ring-exchange

abstract: Ring-exchange interactions have been proposed as a possible mechanism for a Bose-liquid phase at zero temperature, a phase that is compressible with no superfluidity. Using the Stochastic Green Function algorithm (SGF), we study the effect of these interactions for bosons on a two-dimensional triangular lattice. We show that the supersolid phase, that is known to exist in the ground state for a wide range of densities, is rapidly destroyed as the ring-exchange interactions are turned on. We establish the ground-state phase diagram of the system, which is characterized by the absence of the expected Bose-liquid phase.


title: Trade-offs between spatial and temporal resolutions in stochastic super-resolution microscopy techniques

abstract: Widefield stochastic microscopy techniques such as PALM or STORM rely on the progressive accumulation of a large number of frames, each containing a scarce number of super-resolved point images. We justify that the redundancy in the localization of detected events imposes a specific limit on the temporal resolution. Based on a theoretical model, we derive analytical predictions for the minimal time required to obtain a reliable image at a given spatial resolution, called image completion time. In contrast to standard assumptions, we find that the image completion time scales logarithmically with the ratio of the image size by the spatial resolution volume. We justify that this non-linear relation is the hallmark of a random coverage problem. We propose a method to estimate the risk that the image reconstruction is not complete, which we apply to an experimental data set. Our results provide a theoretical framework to quantify the pattern detection efficiency and to optimize the trade-off between image coverage and acquisition time, with applications to $1$, $2$ or $3$ dimension structural imaging.

categories: physics.bio-ph cond-mat.soft physics.data-an physics.optics


title: The self-consistent analysis for sub-barrier fusion enhancement effect in Ca + Ca and Ni + Ni

abstract: The fusion dynamic mechanism of heavy-ions at energies near the Coulomb barrier is complicated and still not very clear up to now. Accordingly, a self-consistent method based on the CCFULL calculations has been developed and applied for an ingoing study of the effect of the positive Q-value neutron transfer (PQNT) channels in this work. The typical experimental fusion data of Ca + Ca and Ni + Ni is analyzed within the unified calculation scheme. The PQNT effect in near-barrier fusion is further confirmed based on the self-consistent analysis and extracted quantitatively.


title: Crossing the phantom divide with dissipative normal matter in the Israel-Stewart-Hiscock formalism

abstract: A phantom solution in the framework of the causal Israel-Stewart (IS) formalism is discussed. We assume a late time behavior of the cosmic evolution by considering only one dominant matter fluid with viscosity. In the model it is assumed a bulk viscosity of the form $\xi= \xi_{0}\rho^{1/2}$, where $\rho$ is the energy density of the fluid. We evaluate and discuss the behavior of the thermodynamical parameters associated to this solution, like the temperature, rate of entropy, entropy, relaxation time, effective pressure and effective EoS. A discussion about the assumption of near equilibrium of the formalism and the accelerated expansion of the solution is presented. The solution allows to cross the phantom divide without evoking an exotic matter fluid and the effective EoS parameter is always lesser than $-1$ and time independent. A future singularity (big rip) occurs, but different from the Type I (big rip) solution classified in S. Nojiri, S. D. Odintsov and S. Tsujikawa, Phys. Rev. D 71, 063004 (2005), if we consider others thermodynamics parameters like, for example, the effective pressure in the presence of viscosity or the relaxation time.


title: Spectral Clustering for Optical Confirmation and Redshift Estimation of X-ray Selected Galaxy Cluster Candidates in the SDSS Stripe 82

abstract: We develop a galaxy cluster finding algorithm based on spectral clustering technique to identify optical counterparts and estimate optical redshifts for X-ray selected cluster candidates. As an application, we run our algorithm on a sample of X-ray cluster candidates selected from the third XMM-Newton serendipitous source catalog (3XMM-DR5) that are located in the Stripe 82 of the Sloan Digital Sky Survey (SDSS). Our method works on galaxies described in the color-magnitude feature space. We begin by examining 45 galaxy clusters with published spectroscopic redshifts in the range of 0.1 to 0.8 with a median of 0.36. As a result, we are able to identify their optical counterparts and estimate their photometric redshifts, which have a typical accuracy of 0.025 and agree with the published ones. Then, we investigate another 40 X-ray cluster candidates (from the same cluster survey) with no redshift information in the literature and found that 12 candidates are considered as galaxy clusters in the redshift range from 0.29 to 0.76 with a median of 0.57. These systems are newly discovered clusters in X-rays and optical data. Among them 7 clusters have spectroscopic redshifts for at least one member galaxy.


title: The $L^{2}$ weak sequential convergence of radial mass critical NLS solutions with mass above the ground state

abstract: We study the non-scattering $L^{2}$ solution $u$ to the radial mass critical nonlinear Schr\"odinger equation with mass just above the ground state, and show that there exists a time sequence $\{t_{n}\}_{n}$, such that $u(t_{n})$ weakly converges to the ground state $Q$ up to scaling and phase transformation. We also give some partial results on the mass concentration of the minimal mass blow up solution.


title: The cosmological constant problem in heterotic-M-theory and the orbifold of time

abstract: Chameleon fields are quantum fields with an increasing mass as a function of the matter density of the environment. Recently chameleon fields have been exploited to solve the cosmological constant problem in the Modified Fujii's Model - MFM [Phys Rev D82 (2010) 044006]. However, gravity has been treated basically at a semiclassical level in that paper. In this article the stringy origin of the MFM is further discussed: as we will see, the MFM can be obtained from heterotic-M-theory. Consequently, a quantum description of gravity is obtained and the theory is finite because we choose the string mass as our UV cut-off. This stringy origin of the MFM creates stronger theoretical grounds for our solution to the cosmological constant problem. In our analysis, time will be compactified on a $S^1/Z_2$ orbifold and this peculiar compactification of time has a number of consequences. For example, as we will see, quantum gravity and a quantum gauge theory are actually the same theory in the sense that gravity is the time-evolution of a gauge theory. This might be the key to obtain a non-approximated stabilizing potential for the dilaton in the string frame. In this paper we will further discuss the non-equivalence of different conformal frames at the quantum level. As we will see, in our approach we use basically a unique conformal frame: the frame where the masses of particles are field dependent. A word of caution is necessary: we do not take into account massive string states and IR divergences.


title: Is There Really "Retrocausation" in Time-Symmetric Approaches to Quantum Mechanics?

abstract: Time-symmetric interpretations of quantum theory are often presented as featuring "retrocausal" effects in addition to the usual forward notion of causation. This paper examines the ontological implications of certain timesymmetric theories, and finds that no dynamical notion of causation applies to them, either forward or backward. It is concluded that such theories actually describe a static picture, in which the notion of causation is relegated to a descriptor of static relationships among events. In addition, these theories lead to an epistemic rather than ontologically referring, realist view of quantum states.


title: Design of an intermediate representation for query languages

abstract: Data oriented applications, usually written in a high-level, general-purpose programming language (such as Java) interact with database through a coarse interface. Informally, the text of a query is built on the application side (either via plain string concatenation or through an abstract notion of statement) and shipped to the database over the wire where it is executed. The results are then serialized and sent back to the "client-code" where they are translated in the language's native datatypes. This round trip is detrimental to performances but, worse, such a programming model prevents one from having richer queries, namely queries containing user-defined functions (that is functions defined by the programmer and used e.g. in the filter condition of a SQL query). While some databases also possess a "server-side" language (e.g. PL/SQL in Oracle database), its integration with the very-optimized query execution engine is still minimal and queries containing (PL/SQL) user-defined functions remain notoriously inefficient. In this setting, we reviewed existing language-integrated query frameworks, highlighting that existing database query languages (including SQL) share high-level querying primitives (e.g., filtering, joins, aggregation) that can be represented by operators, but differ widely regarding the semantics of their expression language. In order to represent queries in an application language- and database-agnostic manner, we designed a small calculus, dubbed "QIR" for Query Intermediate Representation. QIR contains expressions, corresponding to a small extension of the pure lambda-calculus, and operators to represent usual querying primitives. In the effort to send efficient queries to the database, we abstracted the idea of "good" query representations in a measure on QIR terms. Then, we designed an evaluation strategy rewriting QIR query representations into "better" ones.


title: Light-field driven currents in graphene

abstract: Ultrafast electron dynamics in solids under strong optical fields has recently found particular attention. In dielectrics and semiconductors, various light-field-driven effects have been explored, such as high-harmonic generation, sub-optical-cycle interband population transfer and nonperturbative increase of transient polarizability. In contrast, much less is known about field-driven electron dynamics in metals because charge carriers screen an external electric field in ordinary metals. Here we show that atomically thin monolayer Graphene offers unique opportunities to study light-field-driven processes in a metal. With a comparably modest field strength of up to 0.3 V/{\AA}, we drive combined interband and intraband electron dynamics, leading to a light-field-waveform controlled residual conduction current after the laser pulse is gone. We identify the underlying pivotal physical mechanism as electron quantum-path interference taking place on the 1-femtosecond ($10^{-15}$ second) timescale. The process can be categorized as Landau-Zener-St\"uckelberg interferometry. These fully coherent electron dynamics in graphene take place on a hitherto unexplored timescale faster than electron-electron scattering (tens of femtoseconds) and electron-phonon scattering (hundreds of femtoseconds). These results broaden the scope of light-field control of electrons in solids to an entirely new and eminently important material class -- metals -- promising wide ramifications for band structure tomography and light-field-driven electronics.


title: Very low-energy nucleon + 16O coupled-channel scattering: results with a phenomenological vibrational model

abstract: We employ a collective vibration coupled-channel model to describe the nucleon-16O cluster systems, obtaining low-excitation spectra for 17O and 17F. Bound and resonance states of the compound systems have been deduced, showing good agreement with experimental spectra. Low energy scattering cross sections of neutrons and protons from 16O also have been calculated and the results compare well with available experimental data.


title: Edit Distance: Sketching, Streaming and Document Exchange

abstract: We show that in the document exchange problem, where Alice holds $x \in \{0,1\}^n$ and Bob holds $y \in \{0,1\}^n$, Alice can send Bob a message of size $O(K(\log^2 K+\log n))$ bits such that Bob can recover $x$ using the message and his input $y$ if the edit distance between $x$ and $y$ is no more than $K$, and output "error" otherwise. Both the encoding and decoding can be done in time $\tilde{O}(n+\mathsf{poly}(K))$. This result significantly improves the previous communication bounds under polynomial encoding/decoding time. We also show that in the referee model, where Alice and Bob hold $x$ and $y$ respectively, they can compute sketches of $x$ and $y$ of sizes $\mathsf{poly}(K \log n)$ bits (the encoding), and send to the referee, who can then compute the edit distance between $x$ and $y$ together with all the edit operations if the edit distance is no more than $K$, and output "error" otherwise (the decoding). To the best of our knowledge, this is the first result for sketching edit distance using $\mathsf{poly}(K \log n)$ bits. Moreover, the encoding phase of our sketching algorithm can be performed by scanning the input string in one pass. Thus our sketching algorithm also implies the first streaming algorithm for computing edit distance and all the edits exactly using $\mathsf{poly}(K \log n)$ bits of space.


title: Extended Gelfand-Tsetlin graph, its q-boundary, and q-B-splines

abstract: A continuation of the joint work by Vadim Gorin and the author, J. Funct. Anal. 270 (2016), 375-418; arXiv:1504.06832. The extended Gelfand-Tsetlin graph, introduced in that paper, is a novel combinatorial object. Its q-boundary is formed by infinite point configurations on a two-sided q-lattice. The q-boundary carries a continuous family of probability measures that are a q-analogue of the so-called zw-measures, which originated in the problem of harmonic analysis on the infinite-dimensional unitary group. In the present paper, it is proved that certain transition Markov kernels, linked to the extended Gelfand-Tsetlin graph and its q-boundary, possess the Feller property. This property is needed for constructing a model of Markov dynamics on the q-boundary. A connection with the classical B-splines and their q-analogues is discussed. Some results of the paper arXiv:1504.06832 are rederived in another way.


title: Theory of Gravitational Waves

abstract: The existence of gravitational radiation is a natural prediction of any relativistic description of the gravitational interaction. In this chapter, we focus on gravitational waves, as predicted by Einstein's general theory of relativity. First, we introduce those mathematical concepts that are necessary to properly formulate the physical theory, such as the notions of manifold, vector, tensor, metric, connection and curvature. Second, we motivate, formulate and then discuss Einstein's equation, which relates the geometry of spacetime to its matter content. Gravitational waves are later introduced as solutions of the linearized Einstein equation around flat spacetime. These waves are shown to propagate at the speed of light and to possess two polarization states. Gravitational waves can interact with matter, allowing for their direct detection by means of laser interferometers. Finally, Einstein's quadrupole formulas are derived and used to show that nonspherical compact objects moving at relativistic speeds are powerful gravitational wave sources.


title: Random quantum correlations are generically non-classical

abstract: It is now a well-known fact that the correlations arising from local dichotomic measurements on an entangled quantum state may exhibit intrinsically non-classical features. In this paper we delve into a comprehensive study of random instances of such bipartite correlations. The main question we are interested in is: given a quantum correlation, taken at random, how likely is it that it is truly non-explainable by a classical model? We show that, under very general assumptions on the considered distribution, a random correlation which lies on the border of the quantum set is with high probability outside the classical set. What is more, we are able to provide the Bell inequality certifying this fact. On the technical side, our results follow from (i) estimating precisely the "quantum norm" of a random matrix, and (ii) lower bounding sharply enough its "classical norm", hence proving a gap between the two. Along the way, we need a non-trivial upper bound on the $\infty{\rightarrow}1$ norm of a random orthogonal matrix, which might be of independent interest.


title: Differentially Private Model Selection with Penalized and Constrained Likelihood

abstract: In statistical disclosure control, the goal of data analysis is twofold: The released information must provide accurate and useful statistics about the underlying population of interest, while minimizing the potential for an individual record to be identified. In recent years, the notion of differential privacy has received much attention in theoretical computer science, machine learning, and statistics. It provides a rigorous and strong notion of protection for individuals' sensitive information. A fundamental question is how to incorporate differential privacy into traditional statistical inference procedures. In this paper we study model selection in multivariate linear regression under the constraint of differential privacy. We show that model selection procedures based on penalized least squares or likelihood can be made differentially private by a combination of regularization and randomization, and propose two algorithms to do so. We show that our private procedures are consistent under essentially the same conditions as the corresponding non-private procedures. We also find that under differential privacy, the procedure becomes more sensitive to the tuning parameters. We illustrate and evaluate our method using simulation studies and two real data examples.


title: Non-perturbative Contributions from Complexified Solutions in $\mathbb{C}P^{N-1}$ Models

abstract: We discuss the non-perturbative contributions from real and complex saddle point solutions in the $\mathbb{C}P^1$ quantum mechanics with fermionic degrees of freedom, using the Lefschetz thimble formalism beyond the gaussian approximation. We find bion solutions, which correspond to (complexified) instanton-antiinstanton configurations stabilized in the presence of the fermionic degrees of freedom. By computing the one-loop determinants in the bion backgrounds, we obtain the leading order contributions from both the real and complex bion solutions. To incorporate quasi zero modes which become nearly massless in a weak coupling limit, we regard the bion solutions as well-separated instanton-antiinstanton configurations and calculate a complexified quasi moduli integral based on the Lefschetz thimble formalism. The non-perturbative contributions from the real and complex bions are shown to cancel out in the supersymmetric case and give an (expected) ambiguity in the non-supersymmetric case, which plays a vital role in the resurgent trans-series. For nearly supersymmetric situation, evaluation of the Lefschetz thimble gives results in precise agreement with those of the direct evaluation of the Schr\"odinger equation. We also perform the same analysis for the sine-Gordon quantum mechanics and point out some important differences showing that the sine-Gordon quantum mechanics does not correctly describe the 1d limit of the $\mathbb{C}P^{N-1}$ field theory of $\mathbb{R} \times S^1$.


title: Reliable MIMO Optical Wireless Communications Through Super-Rectangular Cover

abstract: In this paper, we consider an intensity modulated direct detection MIMO optical wireless communication (OWC) system. For such a system, a novel super-rectangular cover theory is developed to characterize both the unique identifiability and full reliability. This theory states that a transmitted matrix signal can be uniquely identified if and only if the cover order is equal to the transmitter aperture number, i.e., full cover. In addition, we prove that full reliability is guaranteed for space-time block coded MIMO-OWC over commonly used log-normal fading channels with an ML detector if and only if the STBC enables full cover. In addition, the diversity gain can be geometrically interpreted as the cover order of the super-rectangle, which should be maximized, and the volume of this super-rectangle, as the diversity loss, should be minimized. Using this established error performance criterion, the optimal linear STBC for block fading channels is proved to be spatial repetition code with an optimal power allocation. The design of the optimal non-linear STBC is shown to be equivalent to constructing the optimal multi-dimensional constellation. Specifically, a multi-dimensional constellation from Diophantine equations is proposed and then, shown to be more energy-efficient than the commonly used nonnegative pulse amplitude modulation constellation.


title: SETI Observations of Exoplanets with the Allen Telescope Array

abstract: We report radio SETI observations on a large number of known exoplanets and other nearby star systems using the Allen Telescope Array (ATA). Observations were made over about 19000 hours from May 2009 to Dec 2015. This search focused on narrow-band radio signals from a set totaling 9293 stars, including 2015 exoplanet stars and Kepler objects of interest and an additional 65 whose planets may be close to their Habitable Zone. The ATA observations were made using multiple synthesized beams and an anticoincidence filter to help identify terrestrial radio interference. Stars were observed over frequencies from 1- 9 GHz in multiple bands that avoid strong terrestrial communication frequencies. Data were processed in near-real time for narrow-band (0.7- 100 Hz) continuous and pulsed signals, with transmitter/receiver relative accelerations from -0.3 to 0.3 m/s^2. A total of 1.9 x 10^8 unique signals requiring immediate follow-up were detected in observations covering more than 8 x 10^6 star-MHz. We detected no persistent signals from extraterrestrial technology exceeding our frequency-dependent sensitivity threshold of 180 - 310 x 10^-26 W / m^2.


title: On circular strings in $(AdS_3 \times S^3)_{\varkappa}$

abstract: The so called one-parameter (often called $\varkappa$) deformed $AdS$ string sigma models have attracted a lot of attention lately in the study of integrability in string theory. We construct various circular string solutions in the $(AdS_3 \times S^3)_{\varkappa}$ background and describe the characteristics of such solutions qualitatively. We study the Bohr-Sommerfeld like quantization for these string states to characterise the motion. Further we find a `long' string limit of such circular strings in the $\varkappa$-deformed $AdS_3$ and find a novel dependence of the oscillation number on the energy in the next to leading order expansion.


title: Dynamic Question Ordering in Online Surveys

abstract: Online surveys have the potential to support adaptive questions, where later questions depend on earlier responses. Past work has taken a rule-based approach, uniformly across all respondents. We envision a richer interpretation of adaptive questions, which we call dynamic question ordering (DQO), where question order is personalized. Such an approach could increase engagement, and therefore response rate, as well as imputation quality. We present a DQO framework to improve survey completion and imputation. In the general survey-taking setting, we want to maximize survey completion, and so we focus on ordering questions to engage the respondent and collect hopefully all information, or at least the information that most characterizes the respondent, for accurate imputations. In another scenario, our goal is to provide a personalized prediction. Since it is possible to give reasonable predictions with only a subset of questions, we are not concerned with motivating users to answer all questions. Instead, we want to order questions to get information that reduces prediction uncertainty, while not being too burdensome. We illustrate this framework with an example of providing energy estimates to prospective tenants. We also discuss DQO for national surveys and consider connections between our statistics-based question-ordering approach and cognitive survey methodology.


title: Optimization with affine homogeneous quadratic integral inequality constraints

abstract: We introduce a new technique to optimize a linear cost function subject to a one-dimensional affine homogeneous quadratic integral inequality, i.e., the requirement that a homogeneous quadratic integral functional, affine in the optimization variables, is non-negative over a space of functions defined by homogeneous boundary conditions. Such problems arise in stability analysis, input-to-state/output analysis, and control of many systems governed by partial differential equations (PDEs), in particular fluid dynamical systems. First, we derive outer approximations for the feasible set of a homogeneous quadratic integral inequality in terms of linear matrix inequalities (LMIs), and show that under mild assumptions a convergent, non-decreasing sequence of lower bounds for the optimal cost can be computed with a sequence of semidefinite programs (SDPs). Second, we obtain inner approximations in terms of LMIs and sum-of-squares constraints, so upper bounds for the optimal cost and strictly feasible points for the integral inequality can also be computed with SDPs. To aid the formulation and solution of our SDP relaxations, we implement our techniques in QUINOPT, an open-source add-on to YALMIP. We demonstrate our techniques by solving problems arising from the stability analysis of PDEs.


title: Special L-values and shtuka functions for Drinfeld modules on elliptic curves

abstract: We make a detailed account of sign-normalized rank 1 Drinfeld A-modules, for A the coordinate ring of an elliptic curve over a finite field, in order to provide a parallel theory to the Carlitz module for F_q[t]. Using precise formulas for the shtuka function for A, we obtain a product formula for the fundamental period of the Drinfeld module. Using the shtuka function we find identities for deformations of reciprocal sums and as a result prove special value formulas for Pellarin L-series in terms of an Anderson-Thakur function. We also give a new proof of a log-algebraicity theorem of Anderson.


title: A comparison between methods of analytical continuation for bosonic functions

abstract: In this article we perform a critical assessment of different known methods for the analytical continuation of bosonic functions, namely the maximum entropy method, the non-negative least-square method, the non-negative Tikhonov method, the Pad\'e approximant method, and a stochastic sampling method. Three functions of different shape are investigated, corresponding to three physically relevant scenarios. They include a simple two-pole model function and two flavours of the non-interacting Hubbard model on a square lattice, i.e. a single-orbital metallic system and a two-orbitals insulating system. The effect of numerical noise in the input data on the analytical continuation is discussed in detail. Overall, the stochastic method by Mishchenko et al. [Phys. Rev. B \textbf{62}, 6317 (2000)] is shown to be the most reliable tool for input data whose numerical precision is not known. For high precision input data, this approach is slightly outperformed by the Pad\'e approximant method, which combines a good resolution power with a good numerical stability. Although none of the methods retrieves all features in the spectra in the presence of noise, our analysis provides a useful guideline for obtaining reliable information of the spectral function in cases of practical interest.


title: Thermoelectricity in a junction between interacting cold atomic Fermi gases

abstract: A gas of interacting ultracold fermions can be tuned into a strongly interacting regime using a Feshbach resonance. Here we theoretically study quasiparticle transport in a system of two reservoirs of interacting ultracold fermions on the BCS side of the BCS-BEC crossover coupled weakly via a tunnel junction. Using the generalized BCS theory we calculate the time evolution of the system that is assumed to be initially prepared in a non-equilibrium state characterized by a particle number imbalance or a temperature imbalance. A number of characteristic features like sharp peaks in quasiparticle currents, or transitions between the normal and superconducting states are found. We discuss signatures of the Seebeck and the Peltier effect and the resulting temperature difference of the two reservoirs as a function of the interaction parameter $(k_Fa)^{-1}$. The Peltier effect may lead to an additional cooling mechanism for ultracold fermionic atoms.


title: Existence and uniqueness results for BSDEs with jumps: the whole nine yards

abstract: This paper is devoted to obtaining a wellposedness result for multidimensional BSDEs with possibly unbounded random time horizon and driven by a general martingale in a filtration only assumed to satisfy the usual hypotheses, i.e. the filtration may be stochastically discontinuous. We show that for stochastic Lipschitz generators and unbounded, possibly infinite, time horizon, these equations admit a unique solution in appropriately weighted spaces. Our result allows in particular to obtain a wellposedness result for BSDEs driven by discrete--time approximations of general martingales.


title: Semi-Parametric Survival Estimation for pedigrees

abstract: Mendelian diseases are determined by a single mutation in a given gene. However, in the case of diseases with late onset, the age at onset is variable; it can even be the case that the onset is not observed in a lifetime. Estimating the survival function of the mutation carriers and the effect of modifying factors such as the sex, mutation, origin, etc, is a task of importance, both for management of mutation carriers and for prevention. In this work, we present a semi-parametric method based on a proportional to estimate the survival function using pedigrees ascertained through affected individuals (probands). Not all members of the pedigree need to be genotyped. The ascertainment bias is corrected by using only the phenotypic information from the relatives of the proband, and not of the proband himself. The method manage ungenotyped individuals through belief propagation in Bayesian networks and uses an EM algorithm to compute a Kaplan-Meier estimator of the survival function. The method is illustrated on simulated data and on a samples of families with transthyretin-related hereditary amyloidosis, a rare autosomal dominant disease with highly variable age of onset.


title: Searches for Lepton Number Violation and resonances in the $K^{\pm} \to \pi\mu\mu$ decays at the NA48/2 experiment

abstract: The NA48/2 experiment at CERN collected a large sample of charged kaon decays into final states with multiple charged particles in 2003--2004. A new upper limit on the rate of the lepton number violating decay $K^{\pm} \to \pi^{\mp} \mu^{\pm} \mu^{\pm}$ obtained from this sample is reported: $\mathcal{B}(K^{\pm} \to \pi^{\mp} \mu^{\pm} \mu^{\pm})<8.6 \times 10^{-11}$ at 90\% CL. Searches for two-body resonances in the $K^{\pm} \to \pi\mu\mu$ decays (including heavy neutral leptons~$N_4$ and inflatons~$\chi$) in the accessible range of masses and lifetimes are also presented. In the absence of a signal, upper limits are set on the products of branching ratios~$\mathcal{B}(K^{\pm} \to \mu^{\pm} N_{4})\mathcal{B}(N_{4} \to \pi^{\mp}\mu^{\pm})$ and $\mathcal{B}(K^{\pm} \to \pi^{\pm} \chi)\mathcal{B}(\chi \to \mu^{+}\mu^{-})$ as functions of the resonance mass and lifetime. These limits are in the $10^{-10}-10^{-9}$ range for resonance lifetimes below 100~ps.


title: Nontrivial critical fixed point for replica-symmetry-breaking transitions

abstract: The transformation of the free-energy landscape from smooth to hierarchical is one of the richest features of mean-field disordered systems. A well-studied example is the de Almeida-Thouless transition for spin glasses in a magnetic field, and a similar phenomenon--the Gardner transition--has recently been predicted for structural glasses. The existence of these replica-symmetry-breaking phase transitions has, however, long been questioned below their upper critical dimension, d_u=6. Here, we obtain evidence for the existence of these transitions in d<d_u using a two-loop calculation. Because the critical fixed point is found in the strong-coupling regime, we corroborate the result by resumming the perturbative series with inputs from a three-loop calculation and an analysis of its large-order behavior. Our study offers a resolution of the long-lasting controversy surrounding phase transitions in finite-dimensional disordered systems.


title: Self-Consistent Modeling of Reionization in Cosmological Hydrodynamical Simulations

abstract: The ultraviolet background (UVB) emitted by quasars and galaxies governs the ionization and thermal state of the intergalactic medium (IGM), regulates the formation of high-redshift galaxies, and is thus a key quantity for modeling cosmic reionization. The vast majority of cosmological hydrodynamical simulations implement the UVB via a set of spatially uniform photoionization and photoheating rates derived from UVB synthesis models. We show that simulations using canonical UVB rates reionize and, perhaps more importantly, spuriously heat the IGM, much earlier z ~ 15 than they should. This problem arises because at z > 6, where observational constraints are nonexistent, the UVB amplitude is far too high. We introduce a new methodology to remedy this issue, and we generate self-consistent photoionization and photoheating rates to model any chosen reionization history. Following this approach, we run a suite of hydrodynamical simulations of different reionization scenarios and explore the impact of the timing of reionization and its concomitant heat injection on the the thermal state of the IGM. We present a comprehensive study of the pressure smoothing scale of IGM gas, illustrating its dependence on the details of both hydrogen and helium reionization, and argue that it plays a fundamental role in interpreting Lyman-alpha forest statistics and the thermal evolution of the IGM. The premature IGM heating we have uncovered implies that previous work has likely dramatically overestimated the impact of photoionization feedback on galaxy formation, which sets the minimum halo mass able to form stars at high redshifts. We make our new UVB photoionization and photoheating rates publicly available for use in future simulations.


title: Superconvergence of Kernel-Based Interpolation

abstract: It is well-known that univariate cubic spline interpolation, if carried out on point sets with fill distance $h$, converges only like ${\cal O}(h^2)$ in $L_2[a,b]$ for functions in $W_2^2[a,b]$ if no additional assumptions are made. But superconvergence up to order $h^4$ occurs if more smoothness is assumed and if certain additional boundary conditions are satisfied. This phenomenon was generalized in 1999 to multivariate interpolation in Reproducing Kernel Hilbert Spaces on domains $\Omega\subset R^d$ for continuous positive definite Fourier-transformable shift-invariant kernels on $R^d$. But the sufficient condition for superconvergence given in 1999 still needs further analysis, because the interplay between smoothness and boundary conditions is not clear at all. Furthermore, if only additional smoothness is assumed, superconvergence is numerically observed in the interior of the domain, but without explanation, so far. This paper first generalizes the "improved error bounds" of 1999 by an abstract theory that includes the Aubin-Nitsche trick and the known superconvergence results for univariate polynomial splines. Then the paper analyzes what is behind the sufficient conditions for superconvergence. They split into conditions on smoothness and localization, and these are investigated independently. If sufficient smoothness is present, but no additional localization conditions are assumed, it is proven that superconvergence always occurs in the interior of the domain. If smoothness and localization interact in the kernel-based case on $R^d$, weak and strong boundary conditions in terms of pseudodifferential operators occur. A special section on Mercer expansions is added, because Mercer eigenfunctions always satisfy the sufficient conditions for superconvergence. Numerical examples illustrate the theoretical findings.


title: Computational Complexity of Arranging Music

abstract: This paper proves that arrangement of music is NP-hard when subject to various constraints: avoiding musical dissonance, limiting how many notes can be played simultaneously, and limiting transition speed between chords. These results imply the computational complexity of related musical problems, including musical choreography and rhythm games.


title: The effects of cooling rate on particle rearrangement statistics: Rapidly cooled glasses are more ductile and less reversible

abstract: Amorphous solids, such as metallic, polymeric, and colloidal glasses, display complex spatiotemporal response to applied deformations. In contrast to crystalline solids, during loading, amorphous solids exhibit a smooth crossover from elastic response to plastic flow. In this study, we investigate the mechanical response of binary Lennard-Jones glasses to athermal, quasistatic pure shear as a function of the cooling rate used to prepare them. We find several key results concerning the connection between strain-induced particle rearrangements and mechanical response. We show that more rapidly cooled glasses undergo more frequent and larger particle rearrangements than slowly cooled glasses. We find that the ratio of the shear to bulk moduli decreases with increasing cooling rate, which suggests that more rapidly cooled glasses are more ductile than slowly cooled samples. In addition, we characterized the degree of reversibility of particle motion during cyclic shear. We find that irreversible particle motion occurs even in the putative linear regime of stress versus strain. However, slowly cooled glasses, which undergo smaller rearrangements, are more reversible under cyclic shear than rapidly cooled glasses. Thus, we show that more ductile glasses are also less reversible.


title: Comments On The Two-Dimensional Landau-Ginzburg Approach To Link Homology

abstract: We describe rules for computing a homology theory of knots and links in $\mathbb{R}^3$. It is derived from the theory of framed BPS states bound to domain walls separating two-dimensional Landau-Ginzburg models with (2,2) supersymmetry. We illustrate the rules with some sample computations, obtaining results consistent with Khovanov homology. We show that of the two Landau-Ginzburg models discussed in this context by Gaiotto and Witten one, (the so-called Yang-Yang-Landau-Ginzburg model) does not lead to topological invariants of links while the other, based on a model with target space equal to the universal cover of the moduli space of $SU(2)$ magnetic monopoles, will indeed produce a topologically invariant theory of knots and links.


title: On the approximate periodicity of sequences attached to noncrystallographic root systems

abstract: We study Fomin-Zelevinsky's mutation rule in the context of noncrystallographic root systems. In particular, we construct approximately periodic sequences of real numbers for the noncrystallographic root systems of rank 2 by adjusting the exchange relation for cluster algebras. Moreover, we describe matrix mutation classes for type H3 and H4.


title: Quantum Electrodynamics vacuum polarization solver

abstract: The self-consistent modeling of vacuum polarization due to virtual electron-positron fluctuations is of relevance for many near term experiments associated with high intensity radiation sources and represents a milestone in describing scenarios of extreme energy density. We present a generalized finite-difference time-domain solver that can incorporate the modifications to Maxwell's equations due to vacuum polarization. Our multidimensional solver reproduced in one-dimensional configurations the results for which an analytic treatment is possible, yielding vacuum harmonic generation and birefringence. The solver has also been tested for two-dimensional scenarios where finite laser beam spot sizes must be taken into account. We employ this solver to explore different types of laser configurations that can be relevant for future planned experiments aiming to detect quantum vacuum dynamics at ultra-high electromagnetic field intensities.