title: Poisson point process convergence and extreme values in stochastic geometry

abstract: Let $\eta_t$ be a Poisson point process with intensity measure $t\mu$, $t>0$, over a Borel space $\mathbb{X}$, where $\mu$ is a fixed measure. Another point process $\xi_t$ on the real line is constructed by applying a symmetric function $f$ to every $k$-tuple of distinct points of $\eta_t$. It is shown that $\xi_t$ behaves after appropriate rescaling like a Poisson point process, as $t\to\infty$, under suitable conditions on $\eta_t$ and $f$. This also implies Weibull limit theorems for related extreme values. The result is then applied to investigate problems arising in stochastic geometry, including small cells in Voronoi tessellations, random simplices generated by non-stationary hyperplane processes, triangular counts with angular constraints and non-intersecting $k$-flats. Similar results are derived if the underlying Poisson point process is replaced by a binomial point process.


title: Asymptotic Normality of In- and Out-Degree Counts in a Preferential Attachment Model

abstract: Preferential attachment in a directed scale-free graph is widely used to model the evolution of social networks. Statistical analyses of social networks often relies on node based data rather than conventional repeated sampling. For our directed edge model with preferential attachment, we prove asymptotic normality of node counts based on a martingale construction and a martingale central limit theorem. This helps justify estimation methods based on the statistics of node counts which have specified in-degree and out-degree.


title: Disordered Supersolids in the Extended Bose-Hubbard Model

abstract: The extended Bose-Hubbard model captures the essential properties of a wide variety of physical systems including ultracold atoms and molecules in optical lattices, Josephson junction arrays, and certain narrow band superconductors. It exhibits a rich phase diagram including a supersolid phase where a lattice solid coexists with a superfluid. We use quantum Monte Carlo to study the supersolid part of the phase diagram of the extended Bose-Hubbard model on the simple cubic lattice. We add disorder to the extended Bose-Hubbard model and find that the maximum critical temperature for the supersolid phase tends to be suppressed by disorder. But we also find a narrow parameter window in which the supersolid critical temperature is enhanced by disorder. Our results show that supersolids survive a moderate amount of spatial disorder and thermal fluctuations in the simple cubic lattice.


title: On Classification Issues within Ensemble-Based Complex System Simulation Tasks

abstract: Contemporary tasks of complex system simulation are often related to the issue of uncertainty management. It comes from the lack of information or knowledge about the simulated system as well as from restrictions of the model set being used. One of the powerful tools for the uncertainty management is ensemble-based simulation, which uses variation in input or output data, model parameters, or available versions of models to improve the simulation performance. Furthermore the system of models for complex system simulation (especially in case of hiring ensemble-based approach) can be considered as a complex system. As a result, the identification of the complex model's structure and parameters provide additional sources of uncertainty to be managed. Within the presented work we are developing a conceptual and technological approach to manage the ensemble-based simulation taking into account changing states of both simulated system and system of models within the ensemble-based approach. The states of these systems are considered as a subject of classification with consequent inference of better strategies for ensemble evolution over the simulation time and ensemble aggregation. Here the ensemble evolution enables implementation of dynamic reactive solutions which can automatically conform to the changing states of both systems. The ensemble aggregation can be considered within a scope of averaging (regression way) or selection (classification way, which complement the classification mentioned earlier) approach. The technological basis for such approach includes ensemble-based simulation techniques using domain-specific software combined within a composite application; data science approaches for analysis of available datasets (simulation data, observations, situation assessment etc.); and machine learning algorithms for classes identification, ensemble management and knowledge acquisition.


title: A tight bound on the size of certain separating hash families

abstract: In this paper, we present a new lower bound on the size of separating hash families of type {w_1^{q-1},w_2} where w_1 < w_2. Our result extends the paper by Guo et al. on binary frameproof codes. This bound compares well against known general bounds, and is especially useful when trying to bound the size of strong separating hash families. We also show that our new bound is tight by constructing hash families that meet the new bound with equality.


title: Two-photon dilepton production in proton-proton collisions: two alternative approaches

abstract: We investigate different methods to incorporate the effect of photons in hard processes. We compare two different approaches used for calculating cross sections for two-photon $p p \to l^+ l^- X$ process. In one of the approaches photon is treated as a collinear parton in the proton. In the second approach recently proposed a $k_T$-factorization method is used. We discuss how results of the collinear parton model depend on the initial condition for the QCD evolution and discuss an approximate treatment where photon is excluded from the combined QCD-QED evolution. We demonstrate that it is not necessary to put photon into the evolution equation as often done recently but it is sufficient to use a simplified approach in which photon couples to quarks and antiquarks which by themselves undergo DGLAP evolution equations. We discuss sensitivity of the results to the choice of structure function parametrization and experimental cuts in the $k_T$-factorization approach. A new optimal structure function parametrization is proposed. We compare results of our calculations with recent experimental data for dilepton production and find that in most cases the contribution of the photon-photon mechanism is rather small. We discuss how to enhance the photon-photon contribution. We also compare our results to those of recent measurements of exclusive and semi-exclusive $e^+ e^-$ pair production with certain experimental data by the CMS collaboration.


title: Welfare and Rationality Guarantees for the Simultaneous Multiple-Round Ascending Auction

abstract: The simultaneous multiple-round auction (SMRA) and the combinatorial clock auction (CCA) are the two primary mechanisms used to sell bandwidth. Under truthful bidding, the SMRA is known to output a Walrasian equilibrium that maximizes social welfare provided the bidder valuation functions satisfy the gross substitutes property. Recently, it was shown that the combinatorial clock auction (CCA) provides good welfare guarantees for general classes of valuation functions. This motivates the question of whether similar welfare guarantees hold for the SMRA in the case of general valuation functions. We show the answer is no. But we prove that good welfare guarantees still arise if the degree of complementarities in the bidder valuations are bounded. In particular, if bidder valuations functions are $\alpha$-near-submodular then, under truthful bidding, the SMRA has a welfare ratio (the worst case ratio between the social welfare of the optimal allocation and the auction allocation) of at most $(1+\alpha)$. The special case of submodular valuations, namely $\alpha=1$, and produces individually rational solutions. However, for $\alpha>1$, this is a bicriteria guarantee, to obtain good welfare under truthful bidding requires relaxing individual rationality. Finally, we examine what strategies are required to ensure individual rationality in the SMRA with general valuation functions. First, we provide a weak characterization, namely \emph{secure bidding}, for individual rationality. We then show that if the bidders use a profit-maximizing secure bidding strategy the welfare ratio is at most $1+\alpha$. Consequently, by bidding securely, it is possible to obtain the same welfare guarantees as truthful bidding without the loss of individual rationality.


title: New developments in geometric mechanics

abstract: We review the concept of a graded bundle, which is a generalisation of a vector bundle, its linearisation, and a double structure of this kind. We then present applications of these structures in geometric mechanics including systems with higher order Lagrangian and the Plateau problem.


title: Efficient Sampling Set Selection for Bandlimited Graph Signals Using Graph Spectral Proxies

abstract: We study the problem of selecting the best sampling set for bandlimited reconstruction of signals on graphs. A frequency domain representation for graph signals can be defined using the eigenvectors and eigenvalues of variation operators that take into account the underlying graph connectivity. Smoothly varying signals defined on the nodes are of particular interest in various applications, and tend to be approximately bandlimited in the frequency basis. Sampling theory for graph signals deals with the problem of choosing the best subset of nodes for reconstructing a bandlimited signal from its samples. Most approaches to this problem require a computation of the frequency basis (i.e., the eigenvectors of the variation operator), followed by a search procedure using the basis elements. This can be impractical, in terms of storage and time complexity, for real datasets involving very large graphs. We circumvent this issue in our formulation by introducing quantities called graph spectral proxies, defined using the powers of the variation operator, in order to approximate the spectral content of graph signals. This allows us to formulate a direct sampling set selection approach that does not require the computation and storage of the basis elements. We show that our approach also provides stable reconstruction when the samples are noisy or when the original signal is only approximately bandlimited. Furthermore, the proposed approach is valid for any choice of the variation operator, thereby covering a wide range of graphs and applications. We demonstrate its effectiveness through various numerical experiments.


title: Statistical and Dynamical Properties of Covariant Lyapunov Vectors in a Coupled Atmosphere-Ocean Model - Multiscale Effects, Geometric Degeneracy, and Error Dynamics

abstract: We study a simplified coupled atmosphere-ocean model using the formalism of covariant Lyapunov vectors (CLVs), which link physically-based directions of perturbations to growth/decay rates. The model is obtained via a severe truncation of quasi-geostrophic equations for the two fluids, and includes a simple yet physically meaningful representation of their dynamical/thermodynamical coupling. The model has 36 degrees of freedom, and the parameters are chosen so that a chaotic behaviour is observed. One finds two positive Lyapunov exponents (LEs), sixteen negative LEs, and eighteen near-zero LEs. The presence of many near-zero LEs results from the vast time-scale separation between the characteristic time scales of the two fluids, and leads to nontrivial error growth properties in the tangent space spanned by the corresponding CLVs, which are geometrically very degenerate. Such CLVs correspond to two different classes of ocean/atmosphere coupled modes. The tangent space spanned by the CLVs corresponding to the positive and negative LEs has, instead, a non-pathological behaviour, and one can construct robust large deviations laws for the finite time LEs, thus providing a universal model for assessing predictability on long to ultra-long scales along such directions. It is somewhat surprising to find that the tangent space of the unstable manifold has strong projection on both atmospheric and oceanic components. Our results underline the difficulties in using hyperbolicity as a conceptual framework for multiscale chaotic dynamical systems, whereas the framework of partial hyperbolicity seems better suited, possibly indicating an alternative definition for the chaotic hypothesis. Our results suggest the need for accurate analysis of error dynamics on different time scales and domains and for a careful set-up of assimilation schemes when looking at coupled atmosphere-ocean models.


title: Imaging resonances in low-energy NO-He inelastic collisions

abstract: In molecular collisions, resonances occur at specific energies where the colliding particles temporarily form quasi-bound complexes, resulting in rapid variations in the energy dependence of scattering cross sections. Experimentally, it has proven challenging to observe such scattering resonances, especially in differential cross sections. We report the observation of resonance fingerprints in the state-to-state differential cross sections for inelastic NO-He collisions in the 13 to 19 cm$^{-1}$ energy range with 0.3 cm$^{-1}$ resolution. The observed structures were in excellent agreement with quantum scattering calculations. They were analyzed by separating the resonance contributions to the differential cross sections from the background through a partitioning of the multichannel scattering matrix. This revealed the partial wave composition of the resonances, and their evolution during the collision.


title: Surface-effect corrections for solar-like oscillations using 3D hydrodynamical simulations

abstract: The space-borne missions have provided us with a wealth of high-quality observational data that allows for seismic inferences of stellar interiors. This requires the computation of precise and accurate theoretical frequencies, but imperfect modeling of the uppermost stellar layers introduces systematic errors. To overcome this problem, an empirical correction has been introduced by Kjeldsen et al. (2008, ApJ, 683, L175) and is now commonly used for seismic inferences. Nevertheless, we still lack a physical justification allowing for the quantification of the surface-effect corrections. We used a grid of these simulations computed with the CO$^5$BOLD code to model the outer layers of solar-like stars. Upper layers of the corresponding 1D standard models were then replaced by the layers obtained from the horizontally averaged 3D models. The frequency differences between these patched models and the 1D standard models were then calculated using the adiabatic approximation and allowed us to constrain the Kjeldsen et al. power law, as well as a Lorentzian formulation. We find that the surface effects on modal frequencies depend significantly on both the effective temperature and the surface gravity. We further provide the variation in the parameters related to the surface-effect corrections using their power law as well as a Lorentzian formulation. Scaling relations between these parameters and the elevation (related to the Mach number) is also provided. The Lorentzian formulation is shown to be more robust for the whole frequency spectrum, while the power law is not suitable for the frequency shifts in the frequency range above $\nu_{\rm max}$.


title: Black Holes and Magnetic Fields

abstract: We briefly summarise the basic properties of spacetimes representing rotating, charged black holes in strong axisymmetric magnetic fields. We concentrate on extremal cases, for which the horizon surface gravity vanishes. We investigate their properties by finding simpler spacetimes that exhibit their geometries near degenerate horizons. Employing the simpler geometries obtained by near-horizon limiting description we analyse the Meissner effect of magnetic field expulsion from extremal black holes.


title: The simplest 3-3-1 model

abstract: A simple extension of the Standard Model (SM), based on the gauge group $SU(3)_C\otimes SU(3)_L\otimes U(1)_Y$ with $Y$ being the hypercharge, is considered. We show that, by imposing an approximate global $SU(2)_L\times SU(2)_R$ custodial symmetry at the SM energy scale, the $Z-Z'$ mixing is absent at tree level and the value of the $\rho$ parameter can be kept close to one. Tree-level flavor-changing neutral currents are also reduced to three particles, namely $Z'$, a CP-odd Higgs and a CP-even Higgs. The model predicts new leptons with electric charges of $\pm 1/2e$ and new quarks with $\pm 1/6e$ charges as well as new gauge and scalar bosons with $\pm 1/2e$ charges. Electric charge conservation requires that one of them must be stable. Their masses are unfortunately free parameters.


title: On existence of semi-wavefronts for a non-local reaction-diffusion equations with distributed time delay

abstract: We establish the existence of semi-wavefronts solutions for a non-local delayed reaction-diffusion equation with monostable nonlinearity. The existence result is proved for all speeds $c\geq c_\star$, where the determination of $c_\star$ is similar to the calculation of the minimal speed of propagation. The results are applied to some non-local reaction-diffusion epidemic and population models with distributed time delay.


title: On a Hybrid Preamble/Soft-Output Demapper Approach for Time Synchronization for IEEE 802.15.6 Narrowband WBAN

abstract: In this paper, we present a maximum likelihood (ML) based time synchronization algorithm for Wireless Body Area Networks (WBAN). The proposed technique takes advantage of soft information retrieved from the soft demapper for the time delay estimation. This algorithm has a low complexity and is adapted to the frame structure specified by the IEEE 802.15.6 standard for the narrowband systems. Simulation results have shown good performance which approach the theoretical mean square error limit bound represented by the Cramer Rao Bound (CRB).


title: Clocking the Onset of Bilayer Coherence in a High-$\mathrm{T_C}$ Cuprate

abstract: In cuprates, a precursor state of superconductivity is speculated to exist above the critical temperature $\mathrm{T_C}$. Here we show via a combination of far-infrared ellipsometry and ultrafast broadband optical spectroscopy that signatures of such a state can be obtained via three independent observables in an underdoped sample of NdBa$_2$Cu$_3$O$_{6+\delta}$. The pseudogap correlations were disentangled from the response of laser-broken pairs by clocking their characteristic time-scales. The onset of a superconducting precursor state was found at a temperature $\mathrm{T_{ONS}}$ $>$ $\mathrm{T_C}$, consistent with the temperature scale identified via static optical spectroscopy. Furthermore, the temperature evolution of the coherent vibration of the Ba ion, strongly renormalized by the onset of superconductivity, revealed a pronounced anomaly at the same temperature $\mathrm{T_{ONS}}$. The microscopic nature of such a precursor state is discussed in terms of pre-formed pairs and enhanced bilayer coherence.


title: Roots in operator and Banach algebras

abstract: We show that several known facts concerning roots of matrices generalize to operator algebras and Banach algebras. We show for example that the so-called Newton, binomial, Visser, and Halley iterative methods converge to the root in Banach and operator algebras under various mild hypotheses. We also show that the `sign' and `geometric mean' of matrices generalize to Banach and operator algebras, and we investigate their properties. We also establish some other facts about roots in this setting.


title: Measuring strain and rotation fields at the dislocation core in graphene

abstract: Strain fields, dislocations and defects may be used to control electronic properties of graphene. By using advanced imaging techniques with high-resolution transmission electron microscopes, we have measured the strain and rotation fields about dislocations in monolayer graphene with single-atom sensitivity. These fields differ qualitatively from those given by conventional linear elasticity. However, atom positions calculated from two dimensional (2D) discrete elasticity and three dimensional discrete periodized F\"oppl-von K\'arm\'an equations (dpFvKEs) yield fields close to experiments when determined by geometric phase analysis. 2D theories produce symmetric fields whereas those from experiments exhibit asymmetries. Numerical solutions of dpFvKEs provide strain and rotation fields of dislocation dipoles and pairs that also exhibit asymmetries and, compared with experiments, may yield information on out-of-plane displacements of atoms. While discrete theories need to be solved numerically, analytical formulas for strains and rotation about dislocations can be obtained from 2D Mindlin's hyperstress theory. These formulas are very useful for fitting experimental data and provide a template to ascertain the importance of nonlinear and nonplanar effects. Measuring the parameters of this theory, we find two characteristic lengths between three and four times the lattice spacings that control dilatation and rotation about a dislocation. At larger distances from the dislocation core, the elastic fields decay to those of conventional elasticity. Our results may be relevant for strain engineering in graphene and other 2D materials of current interest.


title: Study of decay dynamics and $CP$ asymmetry in $D^+ \to K^0_L e^+ \nu_e$ decay

abstract: Using 2.92~fb$^{-1}$ of electron-positron annihilation data collected at $\sqrt{s} = 3.773$~GeV with the BESIII detector, we obtain the first measurements of the absolute branching fraction $\mathcal{B}(D^+ \to K^0_L e^+ \nu_e) = (4.481 \pm 0.027(\mathrm{stat.}) \pm 0.103(\mathrm{sys.}))\%$ and the $CP$ asymmetry $A_{CP}^{D^+ \to K^0_L e^+ \nu_e} = (-0.59 \pm 0.60(\mathrm{stat.}) \pm 1.48(\mathrm{sys.}))\%$. From the $D^+ \to K^0_L e^+ \nu_e$ differential decay rate distribution, the product of the hadronic form factor and the magnitude of the CKM matrix element, $f_{+}^{K}(0)|V_{cs}|$, is determined to be $0.728 \pm 0.006(\mathrm{stat.}) \pm 0.011(\mathrm{sys.})$. Using $|V_{cs}|$ from the SM constrained fit with the measured $f_{+}^{K}(0)|V_{cs}|$, $f_{+}^{K}(0) = 0.748 \pm 0.007(\mathrm{stat.}) \pm 0.012(\mathrm{sys.})$ is obtained, and utilizing the unquenched LQCD calculation for $f_{+}^{K}(0)$, $|V_{cs}| = 0.975 \pm 0.008(\mathrm{stat.}) \pm 0.015(\mathrm{sys.}) \pm 0.025(\mathrm{LQCD})$.


title: Interplay of Anderson localization and quench dynamics

abstract: In the context of an isolated three-dimensional noninteracting fermionic lattice system, we study the effects of a sudden quantum quench between a disorder-free situation and one in which disorder results in a mobility edge and associated Anderson localization. Salient post-quench features hinge upon the overlap between momentum states and post-quench eigenstates and whether these latter states are extended or localized. We find that the post-quench momentum distribution directly reflects these overlaps. For the local density, we show that disorder generically prevents the equilibration of quantum expectation values to a steady state and that the persistent fluctuations have a nonmonotonic dependence on the strength of disorder. We identify two distinct types of fluctuations, namely, temporal fluctuations describing the time-dependent fluctuations of the local density around its time average and sample-to-sample fluctuations characterizing the variations of these time averages from one realization of disorder to another. We demonstrate that both of these fluctuations vanish for extremely extended as well as extremely localized states, peaking at some intermediate value.


title: Preservation of semistability under Fourier-Mukai transforms

abstract: For a trivial elliptic fibration $X=C \times S$ with $C$ an elliptic curve and $S$ a projective K3 surface of Picard rank $1$, we study how various notions of stability behave under the Fourier-Mukai autoequivalence $\Phi$ on $D^b(X)$, where $\Phi$ is induced by the classical Fourier-Mukai autoequivalence on $D^b(C)$. We show that, under some restrictions on Chern classes, Gieseker semistability on coherent sheaves is preserved under $\Phi$ when the polarisation is `fiber-like'. Moreover, for more general choices of Chern classes, Gieseker semistability under a `fiber-like' polarisation corresponds to a notion of $\mu_\ast$-semistability defined by a `slope-like' function $\mu_\ast$.


title: Flavor & new physics opportunities with rare charm decays into leptons

abstract: Updated standard model predictions for $D_{(s)} \to P l^+ l^-$, $l=e,\mu$, $P=\pi,K$ and inclusive decays are presented. Model-independent constraints on $|\Delta C|=|\Delta U|=1$ Wilson coefficients are worked out. New physics (NP) opportunities arise in semileptonic branching ratios for very large couplings only, however, are not excluded outside the resonance regions yet. The NP potential of resonance-assisted CP asymmetries and angular observables is worked out. Predictions are given for leptoquark models, and include lepton flavor violating and dineutrino decays. Whether NP can be seen depends on flavor patterns, and vice versa.


title: Enhanced $A$-infinity obstruction theory

abstract: We extend the Bousfield-Kan spectral sequence for the computation of the homotopy groups of the space of minimal A-infinity algebra structures on a graded projective module. We use the new part to define obstructions to the extension of truncated minimal A-infinity algebra structures. We also consider the Bousfield-Kan spectral sequence for the moduli space of A-infinity algebras. We compute up to the second page, terms and differentials, of these spectral sequences in terms of Hochschild cohomology.


title: Probability-weighted ensembles of U.S. county-level climate projections for climate risk analysis

abstract: Quantitative assessment of climate change risk requires a method for constructing probabilistic time series of changes in physical climate parameters. Here, we develop two such methods, Surrogate/Model Mixed Ensemble (SMME) and Monte Carlo Pattern/Residual (MCPR), and apply them to construct joint probability density functions (PDFs) of temperature and precipitation change over the 21st century for every county in the United States. Both methods produce $likely$ (67% probability) temperature and precipitation projections consistent with the Intergovernmental Panel on Climate Change's interpretation of an equal-weighted Coupled Model Intercomparison Project 5 (CMIP5) ensemble, but also provide full PDFs that include tail estimates. For example, both methods indicate that, under representative concentration pathway (RCP) 8.5, there is a 5% chance that the contiguous United States could warm by at least 8$^\circ$C. Variance decomposition of SMME and MCPR projections indicate that background variability dominates uncertainty in the early 21st century, while forcing-driven changes emerge in the second half of the 21st century. By separating CMIP5 projections into unforced and forced components using linear regression, these methods generate estimates of unforced variability from existing CMIP5 projections without requiring the computationally expensive use of multiple realizations of a single GCM.


title: The local structure factor near an interface; Beyond extended Capillary-Wave models

abstract: We investigate the local structure factor $S(z;q)$ at a free liquid-gas interface in systems with short-ranged intermolecular forces and determine the corrections to the leading-order, capillary-wave-like, Goldstone mode divergence of $S(z;q)$ known to occur for parallel wavevectors $q\to 0$. We show from explicit solution of the inhomogeneous Ornstein-Zernike equation that for distances $z$ far from the interface, where the profile decays exponentially, $S(z;q)$ splits unambiguously into bulk and interfacial contributions. On each side of the interface, the interfacial contributions can be characterised by distinct liquid and gas wavevector dependent surface tensions, $\sigma_l(q)$ and $\sigma_g(q)$, which are determined solely by the $bulk$ two-body and three-body direct correlation functions. At high temperatures, the wavevector dependence simplifies and is determined almost entirely by the appropriate bulk structure factor, leading to positive rigidity coefficients. Our predictions are confirmed by explicit calculation of $S(z;q)$ within square-gradient theory and the Sullivan model. The results for the latter predict a striking temperature dependence for $\sigma_l(q)$ and $\sigma_g(q)$, and have implications for fluctuation effects. Our results account quantitatively for the findings of a recent very extensive simulation study by H\"ofling and Dietrich of the total structure factor in the interfacial region, in a system with a cut-off Lennard-Jones potential, in sharp contrast to extended Capillary-Wave models which failed completely to describe the simulation results.


title: Fractional diffusion equation with distributed-order material derivative. Stochastic foundations

abstract: In this paper we present stochastic foundations of fractional dynamics driven by fractional material derivative of distributed order-type. Before stating our main result we present the stochastic scenario which underlies the dynamics given by fractional material derivative. Then we introduce a Levy walk process of distributed-order type to establish our main result, which is the scaling limit of the considered process. It appears that the probability density function of the scaling limit process fulfills, in a weak sense, the fractional diffusion equation with material derivative of distributed-order type.


title: An inhomogeneous singular perturbation problem for the $p(x)-$Laplacian

abstract: In this paper we study the following singular perturbation problem for the $p_\varepsilon(x)$-Laplacian: \[ \Delta_{p_\varepsilon(x)}u^\varepsilon:=\mbox{div}(|\nabla u^\varepsilon(x)|^{p_\varepsilon(x)-2}\nabla u^\varepsilon)={\beta}_{\varepsilon}(u^\varepsilon)+f_\varepsilon, \quad u^\varepsilon\geq 0, \] where $\varepsilon>0$, ${\beta}_{\varepsilon}(s)={1 \over \varepsilon} \beta({s \over \varepsilon})$, with $\beta$ a Lipschitz function satisfying $\beta>0$ in $(0,1)$, $\beta\equiv 0$ outside $(0,1)$ and $\int \beta(s)\, ds=M$. The functions $u^\varepsilon$, $f_\varepsilon$ and $p_\varepsilon$ are uniformly bounded. We prove uniform Lipschitz regularity, we pass to the limit $(\varepsilon\to 0)$ and we show that, under suitable assumptions, limit functions are weak solutions to the free boundary problem: $u\ge0$ and \[ \begin{cases} \Delta_{p(x)}u= f & \mbox{in }\{u>0\}\\ u=0,\ |\nabla u| = \lambda^*(x) & \mbox{on }\partial\{u>0\} \end{cases} \] with $\lambda^*(x)=\Big(\frac{p(x)}{p(x)-1}\,M\Big)^{1/p(x)}$, $p=\lim p_\varepsilon$ and $f=\lim f_\varepsilon$. In \cite{LW4} we prove that the free boundary of a weak solution is a $C^{1,\alpha}$ surface near flat free boundary points. This result applies, in particular, to the limit functions studied in this paper.


title: GEO 600 and the GEO-HF upgrade program: successes and challenges

abstract: The German-British laser-interferometric gravitational wave detector GEO 600 is in its 14th year of operation since its first lock in 2001. After GEO 600 participated in science runs with other first-generation detectors, a program known as GEO-HF began in 2009. The goal was to improve the detector sensitivity at high frequencies, around 1 kHz and above, with technologically advanced yet minimally invasive upgrades. Simultaneously, the detector would record science quality data in between commissioning activities. As of early 2014, all of the planned upgrades have been carried out and sensitivity improvements of up to a factor of four at the high-frequency end of the observation band have been achieved. Besides science data collection, an experimental program is ongoing with the goal to further improve the sensitivity and evaluate future detector technologies. We summarize the results of the GEO-HF program to date and discuss its successes and challenges.


title: About special elements in quaternion algebras over finite fields

abstract: In this paper we study special Fibonacci quaternions and special generalized Fibonacci-Lucas quaternions in quaternion algebras over finite fields.


title: Modified Potra-Pt\'ak method to determine the multiple zeros of nonlinear equations

abstract: In this paper, we present a third-order iterative method based on Potra-Pt{\'a}k method to compute the approximate multiple roots of nonlinear equations. The method requires two evaluations of the function and one evaluation of its first derivative per iteration and it has the efficiency index equal to $3^{\frac{1}{3}}\approx 1.44225$. We describe the analysis of the proposed methods along with numerical experiments including comparison with existing methods. Moreover, the attraction basins are shown and compared with other existing methods.


title: The Auslander-Reiten components seen as Quasi-hereditary Categories

abstract: Quasi-hereditary were introduced by L. Scott \cite{Scott, CPS1,CPS2} in order to deal highest weight categories as they arise in the representation theory of semi-simple complex Lie algebras and algebraic groups, and they have been a very important tool in the study of finite-dimensional algebras. On the other hand, functor categories were introduced in representation theory by M. Auslander [A], [AQM] and used in his proof of the first Brauer-Thrall conjecture [A2] and later on used systematically in his joint work with I. Reiten on stable equivalence [AR], [AR2] and many other applications. Recently, functor categories were used in [MVS3] to study the Auslander-Reiten components of finite-dimensional algebras. The aim of the paper is to introduce the concept of quasi-hereditary category, and we can think of the components of the Auslander-Reiten components as quasi-hereditary categories. In this way, we have applications to the functor category $\mathrm{Mod}(\mathcal{C} )$, with $\mathcal C$ a component of the Auslander-Reiten quiver.


title: Impact of surface collisions on enhancement and quenching of the luminescence near the metal nanoparticles

abstract: The fact that surface-induced damping rate of surface plasmon polaritons (SPPs) in metal nanoparticles increases with the decrease of particle size is well known. We show that this rate also increases with the degree of the mode confinement, hence damping of the higher order nonradiative SPP modes in spherical particles is greatly enhanced relative to damping of the fundamental (dipole) SPP mode. Since higher order modes are the ones responsible for quenching of luminescence in the vicinity of metal surfaces, the degree of quenching increases resulting in a substantial decrease in the amount of attainable enhancement of the luminescence


title: Sustainability: Scholarly Repository as an Enterprise

abstract: The expanding need for an open information sharing infrastructure to promote scholarly communication led to the pioneering establishment of arXiv.org, now maintained by the Cornell University Library. To be sustainable, the repository requires careful, long term planning for services, management and funding. The library is developing a sustainability model for arXiv.org, based on voluntary contributions and the ongoing participation and support of 200 libraries and research laboratories around the world. The sustainability initiative is based on a membership model and builds on arXiv's technical, service, financial and policy infrastructure. Five principles for sustainability drive development, starting with deep integration into the scholarly community. Also key are a clearly defined mandate and governance structure, a stable yet innovative technology platform, systematic creation of content policies and strong business planning strategies. Repositories like arXiv must consider usability and life cycle alongside values and trends in scholarly communication. To endure, they must also support and enhance their service by securing and managing resources and demonstrating responsible stewardship.


title: Large n-limit for Random matrices with External Source with 3 eigenvalues

abstract: In this paper, we analyze the large n-limit for random matrix with external source with three distinct eigenvalues. And we confine ourselves in the Hermite case and the three distinct eigenvalues are $-a,0,a$. For the case $a^2>3$, we establish the universal behavior of local eigenvalue correlations in the limit $n\rightarrow \infty$, which is known from unitarily invariant random matrix models. Thus, local eigenvalue correlations are expressed in terms of the sine kernel in the bulk and in terms of the Airy kernel at the edge of the spectrum. The result can be obtained by analyzing $4\times 4$ Riemann-Hilbert problem via nonlinear steepest decent method.


title: Spectroscopy, MOST Photometry, and Interferometry of MWC 314: Is it an LBV or an interacting binary?

abstract: MWC 314 is a bright candidate luminous blue variable that resides in a fairly close binary system, with an orbital period of 60.753$\pm$0.003 d. We observed MWC 314 with a combination of optical spectroscopy, broad-band ground- and space-based photometry, as well as with long baseline, near-infrared interferometry. We have revised the single-lined spectroscopic orbit and explored the photometric variability. The orbital light curve displays two minima each orbit that can be partially explained in terms of the tidal distortion of the primary that occurs around the time of periastron. The emission lines in the system are often double-peaked and stationary in their kinematics, indicative of a circumbinary disc. We find that the stellar wind or circumbinary disc is partially resolved in the K\prime-band with the longest baselines of the CHARA Array. From this analysis, we provide a simple, qualitative model in an attempt to explain the observations. From the assumption of Roche Lobe overflow and tidal synchronisation at periastron, we estimate the component masses to be M1 $\approx 5$ M$_\odot$ and M2$\approx 15$ M$_\odot$, which indicates a mass of the LBV that is extremely low. In addition to the orbital modulation, we discovered two pulsational modes with the MOST satellite. These modes are easily supported by a low-mass hydrogen-poor star, but cannot be easily supported by a star with the parameters of an LBV. The combination of these results provides evidence that the primary star was likely never a normal LBV, but rather is the product of binary interactions. As such, this system presents opportunities for studying mass-transfer and binary evolution with many observational techniques.


title: Propagation of exponential phase space singularities for Schr\"odinger equations with quadratic Hamiltonians

abstract: We study propagation of phase space singularities for the initial value Cauchy problem for a class of Schr\"odinger equations. The Hamiltonian is the Weyl quantization of a quadratic form whose real part is non-negative. The equations are studied in the framework of projective Gelfand--Shilov spaces and their distribution duals. The corresponding notion of singularities is called the Gelfand--Shilov wave front set and means the lack of exponential decay in open cones in phase space. Our main result shows that the propagation is determined by the singular space of the quadratic form, just as in the framework of the Schwartz space, where the notion of singularity is the Gabor wave front set.


title: Flow Equivalence of Shift Spaces

abstract: We study two problems related to flow equivalence of shift spaces. The first problem, the classification of $S$-gap shifts up to flow equivalence, is partially solved with the establishment of a new invariant for the sofic $S$-gap shifts and a complete classification of the non-sofic $S$-gap shifts. The second problem is an examination of the entropy of shift spaces under flow equivalence. For a wide array of classes of shift spaces with non-zero entropy, it is shown that the entropies achievable while maintaining flow equivalence are dense in $\mathbb R^+$.


title: Robustness of round-robin differential-phase-shift quantum-key-distribution protocol against source flaws

abstract: Recently, a new type of quantum key distribution, called the round-robin differential phase-shift (RRDPS) protocol [Nature 509, 475 (2014)], was proposed, where the security can be guaranteed without monitoring any statistics. In this Letter, we investigate source imperfections and side-channel attacks on the source of this protocol. We show that only three assumptions are needed for the security, and no detailed characterizations of the source or the side-channel attacks are needed. This high robustness is another striking advantage of the RRDPS protocol over other protocols.


title: Non-dispersive retarded interactions as manifestations of unique symmetry of our space associated with its 3-dimensionality

abstract: A special integro-differential formula (SIDF) of the class of Green's theorems is established for a pair of functional forms (FFs) defined in a real affine Euclidean space of any given dimension n>=1 (nDRAES); one of the FFs is the Green FF for a Poisson equation in the unbounded nDRAES, and the other one is an arbitrary twice-continuously-differentiable time biased (retarded or advanced) FF. The SIDF is an identity, which depends on n, but which is not associated with any specific differential equation for the arbitrary FF. If, however, the latter is assumed to satisfy an inhomogeneous wave equation (IWE) in nDRAES then the SIDF expresses the forced retarded or advanced solution of the IWE if and only if n=3. Based on this fact and also on the pertinent properly defined causality principle, it is concluded that an nDRAES can be regarded as a receptacle of Nature, i.e. as a receptacle of matter along with the principle of special relativity and also along with all metamorphoses, which occur to matter in time in the irreversible direction from past through present to future - metamorphoses that are called physical, chemical, biological, etc. processes - if and only if n=3.


title: Recovering Differential Operators on Spatial Networks

abstract: We give a short review of results on inverse spectral problems for ordinary differential operators on a spatial networks (geometrical graphs). We pay the main attention to the most important nonlinear inverse problems of recovering coefficients of differential equations from spectral characteristics provided that the structure of the graph is known a priori. In the first half of the review we provide results related to inverse Sturm-Liouville problems on arbitrary compact graphs. Further, results on inverse problems for arbitrary order differential operators on compact graphs are presented. At the end we provide the main results on inverse problems on noncompact graphs.


title: The oldest example of compound interest in Sumer: Seventh power of four-thirds

abstract: In the present paper I shall clarify that the origin of compound interest goes back 4400 years to Sumer by showing the Sumerian scribe of Enmetena Foundation Cone calculated seventh power of four-thirds.


title: Multimodal Hierarchical Dirichlet Process-based Active Perception

abstract: In this paper, we propose an active perception method for recognizing object categories based on the multimodal hierarchical Dirichlet process (MHDP). The MHDP enables a robot to form object categories using multimodal information, e.g., visual, auditory, and haptic information, which can be observed by performing actions on an object. However, performing many actions on a target object requires a long time. In a real-time scenario, i.e., when the time is limited, the robot has to determine the set of actions that is most effective for recognizing a target object. We propose an MHDP-based active perception method that uses the information gain (IG) maximization criterion and lazy greedy algorithm. We show that the IG maximization criterion is optimal in the sense that the criterion is equivalent to a minimization of the expected Kullback--Leibler divergence between a final recognition state and the recognition state after the next set of actions. However, a straightforward calculation of IG is practically impossible. Therefore, we derive an efficient Monte Carlo approximation method for IG by making use of a property of the MHDP. We also show that the IG has submodular and non-decreasing properties as a set function because of the structure of the graphical model of the MHDP. Therefore, the IG maximization problem is reduced to a submodular maximization problem. This means that greedy and lazy greedy algorithms are effective and have a theoretical justification for their performance. We conducted an experiment using an upper-torso humanoid robot and a second one using synthetic data. The experimental results show that the method enables the robot to select a set of actions that allow it to recognize target objects quickly and accurately. The results support our theoretical outcomes.


title: Random wiring, ganglion cell mosaics, and the functional architecture of the visual cortex

abstract: The architecture of iso-orientation domains in the primary visual cortex of placental carnivores and primates apparently follows species invariant quantitative laws. Dynamical optimization models assuming that neurons coordinate their stimulus preferences throughout cortical circuits linking millions of cells specifically predict these invariants. This might indicate that V1's intrinsic connectome and its functional architecture adhere to a single optimization principle with high precision and robustness. To validate this hypothesis, it is critical to closely examine the quantitative predictions of alternative candidate theories. Random feedforward wiring within the retino-cortical pathway represents a conceptually appealing alternative to dynamical circuit optimization because random dimension-expanding projections are believed to generically exhibit computationally favorable properties for stimulus representations. Here, we ask whether the quantitative invariants of V1 architecture can be explained as a generic emergent property of random wiring. We generalize and examine the stochastic wiring model proposed by Ringach and coworkers, in which iso-orientation domains in the visual cortex arise through random feedforward connections between semi-regular mosaics of retinal ganglion cells (RGCs) and visual cortical neurons. We derive closed-form expressions for cortical receptive fields and domain layouts predicted by the model for perfectly hexagonal RGC mosaics [...] We conclude that V1 layout invariants are specific quantitative signatures of visual cortical optimization, which cannot be explained by generic random feedforward-wiring models. *See pdf for the full abstract.*


title: Phemenological Modelling of a Group of Eclipsing Binary Stars

abstract: Phenomenological modeling of variable stars allows determination of a set of the parameters, which are needed for classification in the "General Catalogue of Variable Stars" and similar catalogs. We apply a recent method NAV ("New Algol Variable") to eclipsing binary stars of different types. Although all periodic functions may be represented as Fourier series with an infinite number of coefficients, this is impossible for a finite number of the observations. Thus one may use a restricted Fourier series, i.e. a trigonometric polynomial (TP) of order s either for fitting the light curve, or to make a periodogram analysis. However, the number of parameters needed drastically increases with decreasing width of minimum. In the NAV algorithm, the special shape of minimum is used, so the number of parameters is limited to 10 (if the period and initial epoch are fixed) or 12 (not fixed). We illustrate the NAV method by application to a recently discovered Algol-type eclipsing variable 2MASS J11080308-6145589 (in the field of previously known variable star RS Car) and compare results to that obtained using the TP fits. For this system, the statistically optimal number of parameters is 44, but the fit is still worse than that of the NAV fit. Application to the system GSC 3692-00624 argues that the NAV fit is better than the TP one even for the case of EW-type stars with much wider eclipses. Model parameters are listed.


title: Evershed flow observed in neutral and singly ionized iron lines

abstract: The amplitudes of the Evershed flow are measured using pairs of carefully selected FeI and FeII spectral lines located close in wavelength and registered simultaneously. A sunspot belonging to the NOAA 11582 group was scanned using the spectrograph of the German Vacuum Tower Telescope (Observatorio del Teide, Tenerife). Velocities were extracted from intensity profiles using the lambda-meter technique. The formation heights of the observed spectral lines were calculated using semi-empirical models of a bright and dark penumbral filament taking into account the sunspot location at the limb. Our objective is to compare azimuthally averaged amplitudes of the Evershed flow extracted from neutral and ion lines. We find measurable differences in the radial component of the flow. All five pairs of lines show the same tendency, with a few hundred m/s larger amplitude of the flow measured from FeI lines compared to FeII lines. This tendency is preserved at all photospheric heights and radial distances in the penumbra. We discuss the possible origin of this effect.


title: Jacobi's epsilon and zeta function for moduli outside the interval [0, 1]

abstract: The formulas that relate Jacobi's Epsilon and Zeta function with real moduli in the interval (1,inf) or with pure imaginary moduli to elliptic functions with moduli in the interval [0,1] are derived.


title: Statistics of an adiabatic charge pump

abstract: We investigate the effect of time-dependent cyclic-adiabatic driving on the charge transport in quantum junction. We propose a nonequilibrium Greens function formalism to study statistics of the charge pumped (at zero bias) through the junction. The formulation is used to demonstrate charge pumping in a single electronic level coupled to two (electronic) reservoirs with time dependent couplings. Analytical expression for the average pumped current for a general cyclic driving is derived. It is found that for zero bias, for a certain class of driving, the Berry phase contributes only to the odd cumulants. To contrast, a quantum master equation formulation does not show Berry-phase effect at all.


title: Flarelike brightenings of active region loops observed with SUMER

abstract: Coronal loops on the east limb of the Sun were observed by SUMER on SOHO for several days. Small flare-like brightenings are detected very frequently in the hot flare line Fe~{\small XIX}. We find that the relatively intense events are in good coincidence with the transient brightenings seen by Yohkoh/SXT. A statistical analysis shows that these brightenings have durations of 5-84 min and extensions along the slit of 2-67 Mm. The integrated energy observed in Fe~{\small XIX} for each event is in the range of $3\times10^{18}-5\times10^{23}$ ergs, and the estimated thermal energy ranges from $10^{26}-10^{29}$ ergs. Application of the statistical method proposed by Parnell \& Jupp (2000) yields a value of 1.5 to 1.8 for the index of a power law relation between the frequency of the events and the radiated energy in Fe~{\small XIX}, and a value of 1.7 to 1.8 for the index of the frequency distribution of the thermal energy in the energy range $>10^{27}$ ergs. We examine the possibility that these small brightenings give a big contribution to heating of the active region corona.


title: Adding virtual measurements by signal injection

abstract: We propose a method to "create" a new measurement output by exciting the system with a high-frequency oscillation. This new "virtual" measurement may be useful to facilitate the design of a suitable control law. The approach is especially interesting when the observability from the actual output degenerates at a steady-state regime of interest. The proposed method is based on second-order averaging and is illustrated by simulations on a simple third-order system.


title: Fluctuations of the total number of critical points of random spherical harmonics

abstract: We determine the asymptotic law for the fluctuations of the total number of critical points of random Gaussian spherical harmonics in the high degree limit. Our results have implications on the sophistication degree of an appropriate percolation process for modelling nodal domains of eigenfunctions on generic compact surfaces or billiards.


title: Topological dynamics and the complexity of strong types

abstract: We develop topological dynamics for the group of automorphisms of a monster model of any given theory. In particular, we find strong relationships between objects from topological dynamics (such as the generalized Bohr compactification introduced by Glasner) and various Galois groups of the theory in question, obtaining essentially new information about them, e.g. we present the closure of the identity in the Lascar Galois group of the theory as the quotient of a compact, Hausdorff group by a dense subgroup. We apply this to describe the complexity of bounded, invariant equivalence relations, obtaining comprehensive results, subsuming and extending the existing results and answering some open questions from earlier papers. We show that, in a countable theory, any such relation restricted to the set of realizations of a complete type over $\emptyset$ is type-definable if and only if it is smooth. Then we show a counterpart of this result for theories in an arbitrary (not necessarily countable) language, obtaining also new information involving relative definability of the relation in question. As a final conclusion we get the following trichotomy. Let $\mathfrak{C}$ be a monster model of a countable theory, $p \in S(\emptyset)$, and $E$ be a bounded, (invariant) Borel (or, more generally, analytic) equivalence relation on $p(\mathfrak{C})$. Then, exactly one of the following holds: (1) $E$ is relatively definable (on $p(\mathfrak{C})$), smooth, and has finitely many classes, (2) $E$ is not relatively definable, but it is type-definable, smooth, and has $2^{\aleph_0}$ classes, (3) $E$ is not type definable and not smooth, and has $2^{\aleph_0}$ classes. All the results which we obtain for bounded, invariant equivalence relations carry over to the case of bounded index, invariant subgroups of definable groups.


title: Coarse-graining two-dimensional turbulence via dynamical optimization

abstract: A model reduction technique based on an optimization principle is employed to coarse-grain inviscid, incompressible fluid dynamics in two dimensions. In this reduction the spectrally-truncated vorticity equation defines the microdynamics, while the macroscopic state space consists of quasi-equilibrium trial probability densities on the microscopic phase space, which are parameterized by the means and variances of the low modes of the vorticity. A macroscopic path therefore represents a coarse-grained approximation to the evolution of a nonequilibrium ensemble of microscopic solutions. Closure in terms of the vector of resolved variables, namely, the means and variances of the low modes, is achieved by minimizing over all feasible paths the time integral of their mean-squared residual with respect to the Liouville equation. The equations governing the optimal path are deduced from Hamilton-Jacobi theory. The coarse-grained dynamics derived by this optimization technique contains a scale-dependent eddy viscosity, modified nonlinear interactions between the low mode means, and a nonlinear coupling between the mean and variance of each low mode. The predictive skill of this optimal closure is validated quantitatively by comparing it against direct numerical simulations. These tests show that good agreement is achieved without adjusting any closure parameters.


title: Integral formula for elliptic SOS models with domain walls and a reflecting end

abstract: In this paper we extend previous work of Galleas and the author to elliptic SOS models. We demonstrate that the dynamical reflection algebra can be exploited to obtain a functional equation characterizing the partition function of an elliptic SOS model with domain-wall boundaries and one reflecting end. Special attention is paid to the structure of the functional equation. Through this approach we find a novel multiple-integral formula for that partition function.


title: OPERA neutrino oscillation search: status and perspectives

abstract: OPERA is a long-baseline experiment at the Gran Sasso laboratory (LNGS) designed to search for $\nu_\mu \rightarrow \nu_\tau$ oscillations in appearance mode. OPERA took data from 2008 to 2012 with the CNGS neutrino beam from CERN. The data analysis is ongoing, with the goal of establishing $\nu_\tau$ appearance with high significance and improving the sensitivity to the sterile neutrino search in the $\nu_\mu$ $\rightarrow$ $\nu_e$ appearance channel. Current results will be presented and perspectives discussed.


title: Discrete symmetries and mixing of Dirac neutrinos

abstract: We study mixing of the Dirac neutrinos in the residual symmetries approach. The key difference from the Majorana case is that the Dirac mass matrix may have larger symmetries: $G_\nu=\mathbf{Z}_{n}$ with $n\geq3$. The symmetry group relations have been generalized to the case of Dirac neutrinos. Using them we have found all new relations between mixing parameters and corresponding symmetry assignments which are in agreement with the present data. The viable relations exist only for the charged lepton residual symmetry $G_{\ell} = \mathbf{Z}_{2}$. The relations involve elements of the rows of the PMNS matrix and lead to precise predictions of the 2-3 mixing angle and certain ranges of the CP violation phase. For larger symmetries $G_{\ell}$, an agreement with data can be achieved if $\sim10\%$ corrections related to breaking of $G_{\ell}$ and $G_\nu$ are included.


title: Detecting high-$z$ galaxies in the Near Infrared Background

abstract: Emission from high-$z$ galaxies must unquestionably contribute to the near-infrared background (NIRB). However, this contribution has so far proven difficult to isolate even after subtracting the resolved galaxies to deep levels. Remaining NIRB fluctuations are dominated by unresolved low-$z$ galaxies on small angular scales, and by an unidentified component with unclear origin on large scales ($\approx 1000''$). In this paper, by analyzing mock maps generated from semi-numerical simulations and empirically determined $L_{\rm UV} - M_{\rm h}$ relations, we find that fluctuations associated with galaxies at $5 < z < 10$ amount to several percent of the unresolved NIRB flux fluctuations. We investigate the properties of this component for different survey areas and limiting magnitudes. In all cases, we show that this signal can be efficiently, and most easily at small angular scales, isolated by cross-correlating the source-subtracted NIRB with Lyman Break Galaxies (LBGs) detected in the same field by {\tt HST} surveys. This result provides a fresh insight into the properties of reionization sources.


title: Muon g-2 Experiment at Fermilab

abstract: A new experiment at Fermilab will measure the anomalous magnetic moment of the muon with a precision of 140 parts per billion (ppb). This measurement is motivated by the results of the Brookhaven E821 experiment that were first released more than a decade ago, which reached a precision of 540 ppb. As the corresponding Standard Model predictions have been refined, the experimental and theoretical values have persistently differed by about 3 standard deviations. If the Brookhaven result is confirmed at Fermilab with this improved precision, it will constitute definitive evidence for physics beyond the Standard Model. The experiment observes the muon spin precession frequency in flight in a well-calibrated magnetic field; the improvement in precision will require both 20 times as many recorded muon decay events as in E821 and a reduction by a factor of 3 in the systematic uncertainties. This paper describes the current experimental status as well as the plans for the upgraded magnet, detector and storage ring systems that are being prepared for the start of beam data collection in 2017.


title: Coding Theorem and Converse for Abstract Channels with Time Structure and Memory

abstract: A coding theorem and converse are proved for a large class of abstract stationary channels with time structure including the result by Kadota and Wyner (1972) on continuous-time real-valued channels as special cases. As main contribution the coding theorem is proved for a significantly weaker condition on the channel output memory - called total ergodicity w.r.t. finite alphabet block-memoryless input sources - and under a crucial relaxation of the measurability requirement for the channel. These improvements are achieved by introducing a suitable characterization of information rate capacity. It is shown that the $\psi$-mixing output memory condition used by Kadota and Wyner is quite restrictive and excludes important channel models, in particular for the class of Gaussian channels. In fact, it is proved that for Gaussian (e.g., fading or additive noise) channels the $\psi$-mixing condition is equivalent to finite output memory. Further, it is demonstrated that the measurability requirement of Kadota and Wyner is not satisfied for relevant continuous-time channel models such as linear filters, whereas the condition used in this paper is satisfied for these models. Moreover, a weak converse is derived for all stationary channels with time structure. Intersymbol interference as well as input constraints are taken into account in a general and flexible way, including amplitude and average power constraints as special case. Formulated in rigorous mathematical terms complete, explicit, and transparent proofs are presented. As a side product a gap in the proof of Kadota and Wyner - illustrated by a counterexample - is closed by providing a corrected proof of a lemma on the monotonicity of some sequence of normalized mutual information quantities. An abstract framework is established to treat discrete- and continuous-time channels with memory and arbitrary alphabets in a unified way.


title: Cavity-coupled guided resonances with high quality factors in photonic crystal heterostructures

abstract: We study the optical characteristics of a photonic crystal (PhC) heterostructure cavity consisting of two-dimensional monolayer PhC, sandwiched between two identical passive multilayers. In the range of stopband of the multilayer, guided resonance of the sandwiched PhC are excited by the evanescent waves of the multilayer stack and the quality factor of these cavity-coupled guided resonances is about 10e6. The calculated field distribution facilitates the distinction between the cavity defect modes and the coupled guided resonances of the proposed design. The line shapes of the resonances are explained using a theoretical model. Significant decrease in the lasing threshold is observed for these resonant modes in comparison to the defect modes. These results will find use in designing compact PhC-based ultra-low threshold lasers and narrow band filters.


title: Holographic Complexity Of Cold Hyperbolic Black Holes

abstract: AdS black holes with hyperbolic horizons provide strong-coupling descriptions of thermal CFT states on hyperboloids. The low-temperature limit of these systems is peculiar. In this note we show that, in addition to a large ground state degeneracy, these states also have an anomalously large holographic complexity, scaling logarithmically with the temperature. We speculate on whether this fact generalizes to other systems whose extreme infrared regime is formally controlled by Conformal Quantum Mechanics, such as various instances of near-extremal charged black holes.


title: Large scale properties for bounded automata groups

abstract: In this paper, we study some large scale properties of the mother groups of bounded automata groups. First we give two methods to prove every mother group has infinite asymptotic dimension. Then we study the decomposition complexity of certain subgroup in the mother group. We prove the subgroup belongs to $\mathcal{D}_\omega$.


title: Stationary waves on nonlinear quantum graphs: General framework and canonical perturbation theory

abstract: In this paper we present a general framework for solving the stationary nonlinear Schr\"odinger equation (NLSE) on a network of one-dimensional wires modelled by a metric graph with suitable matching conditions at the vertices. A formal solution is given that expresses the wave function and its derivative at one end of an edge (wire) nonlinearly in terms of the values at the other end. For the cubic NLSE this nonlinear transfer operation can be expressed explicitly in terms of Jacobi elliptic functions. Its application reduces the problem of solving the corresponding set of coupled ordinary nonlinear differential equations to a finite set of nonlinear algebraic equations. For sufficiently small amplitudes we use canonical perturbation theory which makes it possible to extract the leading nonlinear corrections over large distances.


title: Retarded action principle and self-financing portfolio dynamics

abstract: We derive a consistent differential representation for the dynamics of a self-financing portfolio for different hedging strategies. In the basis of the derivation there is the so called "retarded action principle", which represents the causality in the evolution of dependent stochastic variables. We demonstrate this principle on example of a vanilla and a storage option.


title: Genuinely Multidimensional Kinetic Scheme For Euler Equations

abstract: A new framework based on Boltzmann equation which is genuinely multidimensional and mesh-less is developed for solving Euler's equations. The idea is to use the method of moment of Boltzmann equation to operate in multidimensions using polar coordinates. The aim is to develop a framework which is genuinely multidimensional and can be implemented with different methodologies, no matter whether it is in finite difference, finite volume or finite element form. There is a considerable improvement in capturing shocks and other discontinuities. Also, since the method is multidimensional, the flow features are captured isotropically. The method is further extended to second order using 'Arc of Approach' concept. The framework is developed as a finite difference method (called as GINEUS) and is tested on the benchmark test cases. The results are compared against Kinetic Flux Vector Splitting Method.


title: On the Sensitivity of k-Uniform Hypergraph Properties

abstract: In this paper we present a graph property with sensitivity $\Theta(\sqrt{n})$, where $n={v\choose2}$ is the number of variables, and generalize it to a $k$-uniform hypergraph property with sensitivity $\Theta(\sqrt{n})$, where $n={v\choose k}$ is again the number of variables. This yields the smallest sensitivity yet achieved for a $k$-uniform hypergraph property. We then show that, for even $k$, there is a $k$-uniform hypergraph property that demonstrates a quadratic gap between sensitivity and block sensitivity. This matches the largest known gap found by Ambainis and Sun (2011) for Boolean functions in general, and is the first known example of such a gap for a graph or hypergraph property.


title: Stochastic dynamics of Arctic sea ice Part I: Additive noise

abstract: We analyze the numerical solutions of a stochastic Arctic sea ice model with constant additive noise over a wide range of external heat-fluxes, $\Delta F_0$, which correspond to greenhouse gas forcing. The variability that the stochasticity provides to the deterministic steady state solutions (perennial and seasonal ice states) is illustrated by examining both the stochastic paths and probability density functions (PDFs). The principal stochastic moments (standard deviation, mean and skewness) are calculated and compared with those determined from a stochastic perturbation theory described previously by Moon and Wettlaufer (2013). We examine in detail the competing roles of the destabilizing sea ice-albedo-feedback and the stabilizing long-wave radiative loss contributions to the variability of the ice cover under increased greenhouse-gas forcing. In particular, the variability of the stochastic paths at the end of summer shows a clear maximum, which is due to the combination of the increasing importance of the albedo-feedback and its associated "memory effect" that accumulates from early spring to late summer. This is counterbalanced by the stabilization of the ice cover due to the longwave loss of energy from the ice surface, which is enhanced during winter, thereby focusing the stochastic paths and decreasing the variability in winter. The organizing principle for the interpretation of these effects is a generalized Ornstein-Uhlenbeck process with a time dependent potential.


title: A counterexample to the reconstruction of $\omega$-categorical structures from their endomorphism monoids

abstract: We present an example of two countable $\omega$-categorical structures, one of which has a finite relational language, whose endomorphism monoids are isomorphic as abstract monoids, but not as topological monoids -- in other words, no isomorphism between these monoids is a homeomorphism. For the same two structures, the automorphism groups and polymorphism clones are isomorphic, but not topologically isomorphic. In particular, there exists a countable $\omega$-categorical structure in a finite relational language which can neither be reconstructed up to first-order bi-interpretations from its automorphism group, nor up to existential positive bi-interpretations from its endomorphism monoid, nor up to primitive positive bi-interpretations from its polymorphism clone.


title: Stable vectors in Moy-Prasad filtrations

abstract: Let k be a finite extension of Q_p, let G be an absolutely simple split reductive group over k, and let K be a maximal unramified extension of k. To each point in the Bruhat-Tits building of G_K, Moy and Prasad have attached a filtration of G(K) by bounded subgroups. In this paper we give necessary and sufficient conditions for the dual of the first Moy-Prasad filtration quotient to contain stable vectors for the action of the reductive quotient. Our work extends earlier results by Reeder and Yu, who gave a classification in the case when p is sufficiently large. By passing to a finite unramified extension of k if necessary, we obtain new supercuspidal representations of G(k).


title: Observation of the new emission line at ~3.5 keV in X-ray spectra of galaxies and galaxy clusters

abstract: The detection of an unidentified emission line in X-ray spectra of cosmic objects would be a 'smoking gun' signature for particle physics beyond the Standard Model. More than a decade of its extensive searches results in several narrow faint emission lines reported at 3.5, 8.7, 9.4 and 10.1 keV. The most promising of them is the emission line at ~3.5 keV reported in spectra of several nearby galaxies and galaxy clusters. Here I summarize its up-to-date status, overview its possible interpretations, including an intriguing connection with radiatively decaying dark matter, and outline future directions for its studies.


title: Achievable Degrees of Freedom on K-user MIMO Multi-way Relay Channel with Common and Private Messages

abstract: This paper investigates the achievable total degrees of freedom (DoF) of the MIMO multi-way relay channel that consists of K users, where each user is equipped with M antennas, and a decode-and-forward relay equipped with N antennas. In this channel, each user wants to convey K-1 private messages to the other users in addition to a common message to all of them. Due to the absence of direct links between the users, communication occurs through the relay in two phases; a multiple access channel phase (MAC) and a broadcast (BC) phase. We drive cut-set bounds on the total DoF of the network, and show that the network has DoF less than or equal to K min(N,M). Achievability of the upper bound is shown by using signal space alignment for network coding in the MAC phase, and zero-forcing precoding in the BC phase. We show that introducing the common messages besides the private messages leads to achieving higher total DoF than using the private messages only.


title: The relativistic electron gas: a candidate for nature's left-handed material

abstract: The electric permittivities and magnetic permeabilities for a relativistic electron gas are calculated from quantum electrodynamics at finite temperature and density as functions of temperature, chemical potential, frequency, and wavevector. The polarization and the magnetization depend linearly on both electric and magnetic fields, and are the sum of a zero-temperature and zero-density vacuum part with a temperature- and chemical potential-dependent medium part. Analytic calculations lead to generalized expressions that depend on three scalar functions. In the nonrelativistic limit, results reproduce the Lindhard formula. In the relativistic case, and in the long wavelength limit, we obtain: i) for $\omega=0$, generalized susceptibilities that reduce to known nonrelativistic limits; ii) for $\omega \neq 0$, Drude-type responses at zero and at high temperatures. The latter implies that one may have both $\epsilon$ and $\mu$ simultaneously negative, a behavior characteristic of metamaterials. This unambiguously indicates that the relativistic electron plasma is one of nature's candidates for the realization of a negative index of refraction system. Moreover, Maxwell's equations in the medium yield the dispersion relation and the index of refraction of the electron plasma. Present results should be relevant for plasma physics, astrophysical observations, synchrotrons, and other environments with fast moving electrons.


title: The negative thermal expansion mechanism of zirconium tungstate, ZrW2O8

abstract: Negative thermal expansion in ZrW2O8 was investigated using a flexibility analysis of ab-initio phonons. It was shown that no previously proposed mechanism adequately describes the atomic-scale origin of negative thermal expansion in this material. Instead it was found that NTE in ZrW2O8 is driven, not by a single mechanism, but by wide bands of phonons that resemble vibrations of near-rigid WO4 units and Zr-O bonds at low frequency, with deformation of O-W-O and O-Zr-O bond angles steadily increasing with increasing NTE phonon frequency. It is asserted that this phenomenon is likely to provide a more accurate explanation for NTE in many complex systems not yet studied.


title: Creating Nanostructured Superconductors On Demand by Local Current Annealing

abstract: Superconductivity results from a Bose condensate of Cooper-paired electrons with a macroscopic quantum wavefunction. Dramatic effects can occur when the region of the condensate is shaped and confined to the nanometer scale. Recent progress in nanostructured superconductors has revealed a route to topological superconductivity, with possible applications in quantum computing. However, challenges remain in controlling the shape and size of specific superconducting materials. Here, we report a new method to create nanostructured superconductors by partial crystallization of the half-Heusler material, YPtBi. Superconducting islands, with diameters in the range of 100 nm, were reproducibly created by local current annealing of disordered YPtBi in the tunneling junction of a scanning tunneling microscope (STM). We characterize the superconducting island properties by scanning tunneling spectroscopic measurements to determine the gap energy, critical temperature and field, coherence length, and vortex formations. These results show unique properties of a confined superconductor and demonstrate that this new method holds promise to create tailored superconductors for a wide variety of nanometer scale applications.


title: Structural and Magnetic Phase Transitions in CeCu$_{6-x}T_x$ ($T$ = Ag, Pd)

abstract: The structural and the magnetic properties of CeCu$_{6-x}$Ag$_x$ (0 $\leq$ $x$ $\leq$ 0.85) and CeCu$_{6-x}$Pd$_x$ (0 $\leq$ $x$ $\leq$ 0.4) have been studied using neutron diffraction, resonant ultrasound spectroscopy (RUS), heat capacity, x-ray diffraction measurements and first principles calculations. The structural and magnetic phase diagrams of CeCu$_{6-x}$Ag$_x$ and CeCu$_{6-x}$Pd$_x$ as a function of Ag/Pd composition are reported. The end member, CeCu$_6$, undergoes a structural phase transition from an orthorhombic ($Pnma$) to a monoclinic ($P2_1/c$) phase at 240 K. In CeCu$_{6-x}$Ag$_x$, the structural phase transition temperature (${T_{s}}$) decreases linearly with Ag concentration and extrapolates to zero at $x_{S}$ $\approx$ 0.1. The structural transition in CeCu$_{6-x}$Pd$_x$ remains unperturbed with Pd substitution within the range of our study. The lattice constant $b$ slightly decreases with Ag/Pd doping, whereas, $a$ and $c$ increase with an overall increase in the unit cell volume. Both systems, CeCu$_{6-x}$Ag$_x$ and CeCu$_{6-x}$Pd$_x$, exhibit a magnetic quantum critical point (QCP), at $x$ $\approx$ 0.2 and $x$ $\approx$ 0.05 respectively. Near the QCP, long range antiferromagnetic ordering takes place at an incommensurate wave vector ($\delta_1$ 0 $\delta_2$) where $\delta_1 \sim 0.62$, $\delta_2 \sim 0.25$, $x$ = 0.125 for CeCu$_{6-x}$Pd$_x$ and $\delta_1 \sim 0.64$, $\delta_2 \sim 0.3$, $x$ = 0.3 for CeCu$_{6-x}$Ag$_x$. The magnetic structure consists of an amplitude modulation of the Ce-moments which are aligned along the $c$-axis of the orthorhombic unit cell.


title: Relating Berkovits and $A_\infty$ Superstring Field Theories; Large Hilbert Space Perspective

abstract: We lift the dynamical field of the $A_\infty$ superstring field theory to the large Hilbert space by introducing a gauge invariance associated with the eta zero mode. We then provide a field redefinition which relates the lifted field to the dynamical field of Berkovits' superstring field theory in the large Hilbert space. This generalizes the field redefinition in the small Hilbert space described in earlier works, and gives some understanding of the relation between the gauge symmetries of the theories. It also provides a new perspective on the algebraic structure underlying gauge invariance of the Wess-Zumino-Witten-like action.


title: A Cubical Flat Torus Theorem and the Bounded Packing Property

abstract: We prove the bounded packing property for any abelian subgroup of a group acting properly and cocompactly on a CAT(0) cube complex. A main ingredient of the proof is a cubical flat torus theorem. This ingredient is also used to show that central HNN extensions of maximal free-abelian subgroups of compact special groups are virtually special, and to produce various examples of groups that are not cocompactly cubulated.


title: Spectroscopically resolved far-IR observations of the massive star-forming region G5.89--0.39

abstract: The fine-structure line of [OI] at 63micron is an important diagnostic tool in different fields of astrophysics. However, our knowledge of this line relies on observations with low spectral resolution, and the real contribution of each component (PDR, jet) in complex environment of star-forming regions (SFRs) is poorly understood. We investigate the contribution of jet and PDR emission, and of absorption to the [OI]63micron line towards the ultra-compact H{\sc ii} region G5.89--0.39 and study its far-IR line luminosity in different velocity regimes through [OI], [CII], CO, OH, and H2O. We mapped G5.89--0.39 in [OI] and in CO(16--15) with the GREAT receiver onboard SOFIA. We observed the central position of the source in the OH^2\Pi_{3/2}, J=5/2\toJ=3/2 and ^2\Pi_{1/2}, J=3/2\toJ=1/2 lines. These data were complemented with APEX CO(6-5) and CO(7-6) and HIFI maps and single-pointing observations in [CII], H2O, and HF. The [OI] spectra in G5.89--0.39 are severely contaminated by absorptions from the envelope and from different clouds along the line of sight. Emission is detected only at HV, clearly associated with the compact north-south outflows traced by extremely HV low-J CO. The mass-loss rate and energetics of derived from [OI] agree well with estimates from CO, suggesting that the molecular outflows in G5.89--0.39 are driven by the jet system seen in [OI]. The far-IR line luminosity of G5.89--0.39 is dominated by [OI] at HV; the second coolant in this velocity regime is CO, while [CII], OH and H2O are minor contributors to the cooling in the outflow. Our study shows the importance of spectroscopically resolved data of [OI]63micron for using this line as diagnostic of SFRs. While this was not possible until now, the GREAT receiver onboard SOFIA has recently opened the possibility of detailed studies of this line to investigate its potential for probing different environments.


title: A short communication on the constants of the multilinear Hardy--Littlewood inequality

abstract: It was recently proved that for $p>2m^{3}-4m^{2}+2m$ the constants of the Hardy--Littlewood inequality for $m$-linear forms on $\ell_{p}$-spaces are less than or equal to the best known estimates of respective constants of the Bohnenblust--Hille inequality. In this note we obtain upper bounds for opposite side, i.e., the constants when $2m\leq p\leq2m^{3}-4m^{2}+2m.$ For these values of $p$ our result improves previous estimates from 2014 of Araujo \textit{et al}. for all $m\geq3.$


title: Velocity-selective EIT measurement of potassium Rydberg states

abstract: We demonstrate a velocity selection scheme that mitigates suppression of electromagnetically induced transparency (EIT) by Doppler shifts for low--high EIT probe--coupling wavelength ordering. An optical pumping beam counter-propagating with the EIT probe beam transfers atoms between hyperfine states in a velocity selective fashion. Measurement of the transmitted probe beam synchronous with chopping of the optical pumping beam enables a Doppler-free EIT signal to be detected. Transition frequencies between 5P$_{1/2}$ and $n$S$_{1/2}$ states for $n=$26, 27, and 28 in $^{39}$K are obtained via EIT spectroscopy in a heated vapor cell with a probe beam stabilized to the 4S$_{1/2}\rightarrow$5P$_{1/2}$ transition. Using previous high-resolution measurements of the 4S$_{1/2}\rightarrow$nS$_{1/2}$ transitions, we make a determination of the absolute frequency of the 4S$_{1/2}\rightarrow$5P$_{1/2}$ transition. Our measurement is shifted by 560 MHz from the currently accepted value with a two-fold improvement in uncertainty. These measurements will enable novel experiments with Rydberg-dressed ultracold Fermi gases composed of $^{40}$K atoms.


title: Elements

abstract: The aim of this work is to show that contemporary mathematics, including Peano arithmetic, is inconsistent, to construct firm foundations for mathematics, and to begin building on these foundations.


title: Invasion Percolation with a Hardening Interface under Gravity

abstract: We propose a modified Invasion Percolation (IP) model to simulate the infiltration of glue into a porous medium under gravity in 2D. Initially, the medium is saturated with air and then invaded by a fluid that has a hardening effect taking place from the interface towards the interior by contact with the air. To take into account that interfacial hardening, we use an IP model where capillary pressures of the growth sites are increased with time. In our model, if a site stays for a certain time at interface, it becomes a hard site and cannot be invaded anymore. That represents the glue interface becoming hard due to exposition with the air. Buoyancy forces are included in this system through the Bond number which represents the competition between the hydrostatic and capillary forces. We then compare our results with results from literature of non-hardening fluids in each regime of Bond number. We see that the invasion patterns change strongly with hardening while the non-hardening behavior remains basically not affected.


title: Excited-state energies and scattering phase shifts from lattice QCD with the stochastic LapH method

abstract: Recent results in computing excited-state energies and meson-meson scattering phase shifts in lattice QCD are presented. A stochastic method of treating the low-lying modes of quark propagation that exploits Laplacian Heaviside quark-field smearing makes such studies possible now on large 32^3 x 256 and 48^3 x 128 lattices at near physical pion masses. Levels are identified using a variety of probe interpolating operators, which include both single-hadron and a large number of two-hadron operators.


title: Low-derivative operators of the Standard Model effective field theory via Hilbert series methods

abstract: In this work, we explore an extension of Hilbert series techniques to count operators that include derivatives. For sufficiently low-derivative operators, we find an algorithm that gives the number of invariant operators, properly accounting for redundancies due to the equations of motion and integration by parts. Specifically, the technique can be applied whenever there is only one Lorentz invariant for a given partitioning of derivatives among the fields. At higher numbers of derivatives, equation of motion redundancies can be removed, but the increased number of Lorentz contractions spoils the subtraction of integration by parts redundancies. While restricted, this technique is sufficient to automatically generate the complete set of invariant operators of the Standard Model effective field theory for dimensions 6 and 7 (for arbitrary numbers of flavors). At dimension 8, the algorithm does not automatically generate the complete operator set; however, it suffices for all but five classes of operators. For these remaining classes, there is a well defined procedure to manually determine the number of invariants. Using these methods, we thereby derive the set of 535 dimension-8 $N_f = 1$ operators.


title: A note on positive definite, symplectic four-manifolds

abstract: We prove that a positive definite smooth four-manifold with $b_2^+ \geq 2$ and having either no 1-handles or no 3-handles cannot admit a symplectic structure.


title: Study on the fragmentation of shells

abstract: Fragmentation can be observed in nature and in everyday life on a wide range of length scales and for all kinds of technical applications. Most studies on dynamic failure focus on the behaviour of bulk systems in one, two and three dimensions under impact and explosive loading, showing universal power law behaviour of fragment size distribution. However, hardly any studies have been devoted to fragmentation of shells. We present a detailed experimental and theoretical study on the fragmentation of closed thin shells of various materials, due to an excess load inside the system and impact with a hard wall. Characteristic fragmentation mechanisms are identified by means of a high speed camera and fragment shapes and mass distributions are evaluated. Theoretical rationalisation is given by means of stochastic break-up models and large-scale discrete element simulations with spherical shell systems under different extreme loading situations. By this we ex-plain fragment shapes and distributions and prove a power law for the fragment mass distribution. Satisfactory agreement between experimental findings and nu-merical predictions of the exponents of the power laws for the fragment shapes is obtained.


title: NLO+NLL squark and gluino production cross-sections with threshold-improved parton distributions

abstract: We present updated predictions for the cross-sections for pair production of squarks and gluinos at the LHC Run II. First of all, we update the calculations based on NLO+NLL partonic cross-sections by using the NNPDF3.0NLO global analysis. This study includes a full characterization of theoretical uncertainties from higher orders, PDFs and the strong coupling. Then, we explore the implications for this calculation of the recent NNPDF3.0 PDFs with NLO+NLL threshold resummation. We find that the shift in the results induced by the threshold-improved PDFs is within the total theory uncertainty band of the calculation based on NLO PDFs. However, we also observe that the central values of the cross-sections are modified both in a qualitative and a quantitative way, illustrating the relevance and impact of using threshold-improved PDFs together with resummed partonic cross-sections. The updated NLO+NLL cross-sections based on NNPDF3.0NLO are publicly available in the NLL-fast format, and should be an important ingredient for the interpretation of the searches for supersymmetric particles at Run II.


title: Aspects of moduli stabilization in type IIB string theory

abstract: We review moduli stabilization in type IIB string theory compactification with fluxes. We focus on the KKLT and Large Volume Scenario (LVS). We show that the predicted soft SUSY breaking terms in KKLT model are not phenomenological viable. In LVS, the following result for scalar mass, gaugino mass, and trilinear term is obtained: $m_0 =m_{1/2}= - A_0=m_{3/2}$, which may account for Higgs mass limit if $m_{3/2} \sim {\cal O}(1.5)$ TeV. However, in this case the relic abundance of the lightest neutralino can not be consistent with the measured limits. We also study the cosmological consequences of moduli stabilization in both models. In particular, the associated inflation models such as racetrack inflation and K\"ahler inflation are analyzed. Finally the problem of moduli destabilization and the effect of string moduli backreaction on the inflation models are discussed.


title: Reversible circuit compilation with space constraints

abstract: We develop a framework for resource efficient compilation of higher-level programs into lower-level reversible circuits. Our main focus is on optimizing the memory footprint of the resulting reversible networks. This is motivated by the limited availability of qubits for the foreseeable future. We apply three main techniques to keep the number of required qubits small when computing classical, irreversible computations by means of reversible networks: first, wherever possible we allow the compiler to make use of in-place functions to modify some of the variables. Second, an intermediate representation is introduced that allows to trace data dependencies within the program, allowing to clean up qubits early. This realizes an analog to "garbage collection" for reversible circuits. Third, we use the concept of so-called pebble games to transform irreversible programs into reversible programs under space constraints, allowing for data to be erased and recomputed if needed. We introduce REVS, a compiler for reversible circuits that can translate a subset of the functional programming language F# into Toffoli networks which can then be further interpreted for instance in LIQui|>, a domain-specific language for quantum computing and which is also embedded into F#. We discuss a number of test cases that illustrate the advantages of our approach including reversible implementations of SHA-2 and other cryptographic hash-functions, reversible integer arithmetic, as well as a test-bench of combinational circuits used in classical circuit synthesis. Compared to Bennett's method, REVS can reduce space complexity by a factor of $4$ or more, while having an only moderate increase in circuit size as well as in the time it takes to compile the reversible networks.


title: DM-Ice: Current Status and Future Prospects

abstract: DM-Ice is a program towards the first direct detection search for dark matter in the Southern Hemisphere with a 250 kg-scale NaI(Tl) crystal array. It will provide a definitive understanding of the modulation signal reported by DAMA by running an array at both Northern and Southern Hemisphere sites. A 17 kg predecessor, DM-Ice17, was deployed in December 2010 at a depth of 2457 m under the ice at the geographic South Pole and has concluded its 3.5 yr data run. An active R&D program is underway to investigate detectors with lower backgrounds and improved readout electronics; two crystals with 37 kg combined mass are currently operating at the Boulby Underground Laboratory. We report on the final analyses of the DM-Ice17 data and describe progress towards a 250 kg DM-Ice experiment.

categories: physics.ins-det astro-ph.CO astro-ph.IM hep-ex


title: Kolmogorov's dissipation number and the number of degrees of freedom for the 3D Navier-Stokes equations

abstract: Kolmogorov's theory of turbulence predicts that only wavenumbers below some critical value, called Kolmogorov's dissipation number, are essential to describe the evolution of a three-dimensional fluid flow. A determining wavenumber, first introduced by Foias and Prodi for the 2D Navier-Stokes equations, is a mathematical analog of Kolmogorov's number. The purpose of this paper is to prove the existence of a time-dependent determining wavenumber for the 3D Navier-Stokes equations whose time average is bounded by Kolmogorov's dissipation wavenumber for all solutions on the global attractor whose intermittency is not extreme.


title: Bose-Einstein condensation in a frustrated triangular optical lattice

abstract: The recent experimental condensation of ultracold atoms in a triangular optical lattice with negative effective tunneling energies paves the way to study frustrated systems in a controlled environment. Here, we explore the critical behavior of the chiral phase transition in such a frustrated lattice in three dimensions. We represent the low-energy action of the lattice system as a two-component Bose gas corresponding to the two minima of the dispersion. The contact repulsion between the bosons separates into intra- and inter-component interactions, referred to as $V_{0}$ and $V_{12}$, respectively. We first employ a Huang-Yang-Luttinger approximation of the free energy. For $V_{12}/V_{0} = 2$, which corresponds to the bare interaction, this approach suggests a first order phase transition, at which both the U$(1)$ symmetry of condensation and the $\mathbb{Z}_2$ symmetry of the emergent chiral order are broken simultaneously. Furthermore, we perform a renormalization group calculation at one-loop order. We demonstrate that the coupling regime $0<V_{12}/V_0\leq1$ shares the critical behavior of the Heisenberg fixed point at $V_{12}/V_{0}=1$. For $V_{12}/V_0>1$ we show that $V_{0}$ flows to a negative value, while $V_{12}$ increases and remains positive. This results in a breakdown of the effective quartic field theory due to a cubic anisotropy, and again suggests a discontinuous phase transition.


title: SCAN-based hybrid and double-hybrid density functionals from models without fitted parameters

abstract: By incorporating the nonempirical SCAN semilocal density functional [Sun, Ruzsinszky, and Perdew, Phys. Rev. Lett. 115, 036402 (2015)] in the underlying expression of four existing hybrid and double-hybrid models, we propose one hybrid (SCAN0) and three double-hybrid (SCAN0-DH, SCAN-QIDH, and SCAN0-2) density functionals, which are free from any fitted parameters. The SCAN-based double-hybrid functionals consistently outperform their parent SCAN semilocal functional for self-interaction problems and noncovalent interactions. In particular, SCAN0-2, which includes about 79% of Hartree-Fock exchange and 50% of second-order Moller-Plesset correlation, is shown to be reliably accurate for a very diverse range of applications, such as thermochemistry, kinetics, noncovalent interactions, and self-interaction problems.

categories: physics.chem-ph cond-mat.mtrl-sci physics.atm-clus physics.comp-ph quant-ph


title: A short note on Reitlinger thermodynamic cycles

abstract: It is well known that Carnot cycle is the thermodynamic cycle which has the best thermal efficiency. However, an entire class of cycles exists that can have the same maximum efficiency: this class is that of the regenerative Reitlinger cycles. Here we discuss them.


title: Proceedings of the ACE Challenge Workshop - a satellite event of IEEE-WASPAA (2015)

abstract: Several established parameters and metrics have been used to characterize the acoustics of a room. The most important are the Direct-To-Reverberant Ratio (DRR), the Reverberation Time (T60) and the reflection coefficient. The acoustic characteristics of a room based on such parameters can be used to predict the quality and intelligibility of speech signals in that room. Recently, several important methods in speech enhancement and speech recognition have been developed that show an increase in performance compared to the predecessors but do require knowledge of one or more fundamental acoustical parameters such as the T60. Traditionally, these parameters have been estimated using carefully measured Acoustic Impulse Responses (AIRs). However, in most applications it is not practical or even possible to measure the acoustic impulse response. Consequently, there is increasing research activity in the estimation of such parameters directly from speech and audio signals. The aim of this challenge was to evaluate state-of-the-art algorithms for blind acoustic parameter estimation from speech and to promote the emerging area of research in this field. Participants evaluated their algorithms for T60 and DRR estimation against the 'ground truth' values provided with the data-sets and presented the results in a paper describing the method used.


title: Off-the-Grid Recovery of Piecewise Constant Images from Few Fourier Samples

abstract: We introduce a method to recover a continuous domain representation of a piecewise constant two-dimensional image from few low-pass Fourier samples. Assuming the edge set of the image is localized to the zero set of a trigonometric polynomial, we show the Fourier coefficients of the partial derivatives of the image satisfy a linear annihilation relation. We present necessary and sufficient conditions for unique recovery of the image from finite low-pass Fourier samples using the annihilation relation. We also propose a practical two-stage recovery algorithm which is robust to model-mismatch and noise. In the first stage we estimate a continuous domain representation of the edge set of the image. In the second stage we perform an extrapolation in Fourier domain by a least squares two-dimensional linear prediction, which recovers the exact Fourier coefficients of the underlying image. We demonstrate our algorithm on the super-resolution recovery of MRI phantoms and real MRI data from low-pass Fourier samples, which shows benefits over standard approaches for single-image super-resolution MRI.