title: Improved bridge constructs for stochastic differential equations

abstract: We consider the task of generating discrete-time realisations of a nonlinear multivariate diffusion process satisfying an It\^o stochastic differential equation conditional on an observation taken at a fixed future time-point. Such realisations are typically termed diffusion bridges. Since, in general, no closed form expression exists for the transition densities of the process of interest, a widely adopted solution works with the Euler-Maruyama approximation, by replacing the intractable transition densities with Gaussian approximations. However, the density of the conditioned discrete-time process remains intractable, necessitating the use of computationally intensive methods such as Markov chain Monte Carlo. Designing an efficient proposal mechanism which can be applied to a noisy and partially observed system that exhibits nonlinear dynamics is a challenging problem, and is the focus of this paper. By partitioning the process into two parts, one that accounts for nonlinear dynamics in a deterministic way, and another as a residual stochastic process, we develop a class of novel constructs that bridge the residual process via a linear approximation. In addition, we adapt a recently proposed construct to a partial and noisy observation regime. We compare the performance of each new construct with a number of existing approaches, using three applications.


title: The "handedness" of language: Directional symmetry breaking of sign usage in words

abstract: Language, which allows complex ideas to be communicated through symbolic sequences, is a characteristic feature of our species and manifested in a multitude of forms. Using large written corpora for many different languages and scripts, we show that the occurrence probability distributions of signs at the left and right ends of words have a distinct heterogeneous nature. Characterizing this asymmetry using quantitative inequality measures, viz. information entropy and the Gini index, we show that the beginning of a word is less restrictive in sign usage than the end. This property is not simply attributable to the use of common affixes as it is seen even when only word roots are considered. We use the existence of this asymmetry to infer the direction of writing in undeciphered inscriptions that agrees with the archaeological evidence. Unlike traditional investigations of phonotactic constraints which focus on language-specific patterns, our study reveals a property valid across languages and writing systems. As both language and writing are unique aspects of our species, this universal signature may reflect an innate feature of the human cognitive phenomenon.


title: On selfdual spin-connections and Asymptotic Safety

abstract: We explore Euclidean quantum gravity using the tetrad field together with a selfdual or anti-selfdual spin-connection as the basic field variables. Setting up a functional renormalization group (RG) equation of a new type which is particularly suitable for the corresponding theory space we determine the non-perturbative RG flow within a two-parameter truncation suggested by the Holst action. We find that the (anti-)selfdual theory is likely to be asymptotically safe. The existing evidence for its non-perturbative renormalizability is comparable to that of Einstein-Cartan gravity without the selfduality condition.


title: Continuous-Variable Protocols in the Noisy-Storage Model

abstract: We present the first protocol for oblivious transfer that can be implemented with an optical continuous-variable system, and prove its security in the noisy-storage model. This model allows security to be achieved by sending more quantum signals than an attacker can reliably store at one specific point during the protocol. Concretely, we determine how many signals need to be sent in order to achieve security by establishing a trade-off between quantum uncertainty generated in the protocol and the classical capacity of the memory channel. As our main technical tool, we study and derive new uncertainty relations for continuous-variable systems. Finally, we provide explicit security parameters for realistic memory models.


title: The CRESST Dark Matter Search - Status and Perspectives

abstract: In the past years the spotlight of the search for dark matter particles widened to the low mass region, both from theoretical and experimental side. We discuss results from data obtained in 2013 with a single detector TUM40. This detector is equipped with a new upgraded holding scheme to efficiently veto backgrounds induced by surface alpha decays. This veto, the low threshold of 0.6keV and an unprecedented background level for CaWO$_4$ target crystals render TUM40 the detector with the best overall performance of CRESST-II phase 2 (July 2013 - August 2015). A low-threshold analysis allowed to investigate light dark matter particles (<3GeV/c$^2$), previously not accessible for other direct detection experiments.


title: Fields of View for Environmental Radioactivity

abstract: The gamma component of air radiation dose rates is a function of the amount and spread of radioactive nuclides in the environment. These radionuclides can be natural or anthropogenic in origin. The field of view describes the area of radionuclides on, or below, the ground that is responsible for determining the air dose rate, and hence correspondingly the external radiation exposure. This work describes Monte Carlo radiation transport calculations for the field of view under a variety of situations. Presented first are results for natural 40K and thorium and uranium series radionuclides distributed homogeneously within the ground. Results are then described for atmospheric radioactive caesium fallout, such as from the Fukushima Daiichi Nuclear Power Plant accident. Various stages of fallout evolution are considered through the depth distribution of 134Cs and 137Cs in soil. The fields of view for the natural radionuclides and radiocaesium are different. This can affect the responses of radiation monitors to these nuclides if the detector is partially shielded from the ground within its field of view. The field of view also sets the maximum reduction in air dose rates that can be achieved through local decontamination or remediation measures. This maximum efficiency can be determined quickly from the data presented here for the air dose rate versus the spatial extent of radioactive source on the ground.


title: Scattering theory for the radial $\dot H^{1/2}$-critical wave Equation with a cubic convolution

abstract: In this paper, we study the global well-posedness and scattering for the wave equation with a cubic convolution $\partial_{t}^2u-\Delta u=\pm(|x|^{-3}\ast|u|^2)u$ in dimensions $d\geq4$. We prove that if the radial solution $u$ with life-span $I$ obeys $(u,u_t)\in L_t^\infty(I;\dot H^{1/2}_x(\mathbb R^d)\times\dot H^{-1/2}_x(\mathbb R^d))$, then $u$ is global and scatters. By the strategy derived from concentration compactness, we show that the proof of the global well-posedness and scattering is reduced to disprove the existence of two scenarios: soliton-like solution and high to low frequency cascade. Making use of the No-waste Duhamel formula and double Duhamel trick, we deduce that these two scenarios enjoy the additional regularity by the bootstrap argument of [Dodson,Lawrie, Anal.PDE, 8(2015), 467-497]. This together with virial analysis implies the energy of such two scenarios is zero and so we get a contradiction.


title: Weighted interpolation inequalities: a perturbation approach

abstract: We study optimal functions in a family of Caffarelli-Kohn-Nirenberg inequalities with a power-law weight, in a regime for which standard symmetrization techniques fail. We establish the existence of optimal functions, study their properties and prove that they are radial when the power in the weight is small enough. Radial symmetry up to translations is true for the limiting case where the weight vanishes, a case which corresponds to a well-known subfamily of Gagliardo-Nirenberg inequalities. Our approach is based on a concentration-compactness analysis and on a perturbation method which uses a spectral gap inequality. As a consequence, we prove that optimal functions are explicit and given by Barenblatt-type profiles in the perturbative regime.


title: Symmetric Instantons and Discrete Hitchin Equations

abstract: Self-dual Yang-Mills instantons on $R^4$ correspond to algebraic ADHM data. The ADHM equations for $S^1$-symmetric instantons give a one-dimensional integrable lattice system, which may be viewed as an discretization of the Nahm equations. In this note, we see that generalized ADHM data for $T^2$-symmetric instantons gives an integrable two-dimensional lattice system, which may be viewed as a discrete version of the Hitchin equations.


title: Multidimensional two-component Gaussian mixtures detection

abstract: Let $(X\_1,\ldots,X\_n)$ be a $d$-dimensional i.i.d sample from a distribution with density $f$. The problem of detection of a two-component mixture is considered. Our aim is to decide whether $f$ is the density of a standard Gaussian random $d$-vector ($f=\phi\_d$) against $f$ is a two-component mixture: $f=(1-\varepsilon)\phi\_d +\varepsilon \phi\_d (.-\mu)$ where $(\varepsilon,\mu)$ are unknown parameters. Optimal separation conditions on $\varepsilon, \mu, n$ and the dimension $d$ are established, allowing to separate both hypotheses with prescribed errors. Several testing procedures are proposed and two alternative subsets are considered.


title: Learning From Missing Data Using Selection Bias in Movie Recommendation

abstract: Recommending items to users is a challenging task due to the large amount of missing information. In many cases, the data solely consist of ratings or tags voluntarily contributed by each user on a very limited subset of the available items, so that most of the data of potential interest is actually missing. Current approaches to recommendation usually assume that the unobserved data is missing at random. In this contribution, we provide statistical evidence that existing movie recommendation datasets reveal a significant positive association between the rating of items and the propensity to select these items. We propose a computationally efficient variational approach that makes it possible to exploit this selection bias so as to improve the estimation of ratings from small populations of users. Results obtained with this approach applied to neighborhood-based collaborative filtering illustrate its potential for improving the reliability of the recommendation.


title: Physical Conditions of Coronal Plasma at the transit of a Shock driven by a Coronal Mass Ejection

abstract: We report here on the determination of plasma physical parameters across a shock driven by a Coronal Mass Ejection using White Light (WL) coronagraphic images and Radio Dynamic Spectra (RDS). The event analyzed here is the spectacular eruption that occurred on June 7th 2011, a fast CME followed by the ejection of columns of chromospheric plasma, part of them falling back to the solar surface, associated with a M2.5 flare and a type-II radio burst. Images acquired by the SOHO/LASCO coronagraphs (C2 and C3) were employed to track the CME-driven shock in the corona between 2-12 R$_\odot$ in an angular interval of about 110$^\circ$. In these intervals we derived 2-Dimensional (2D) maps of electron density, shock velocity and shock compression ratio, and we measured the shock inclination angle with respect to the radial direction. Under plausible assumptions, these quantities were used to infer 2D maps of shock Mach number $M_\text{A}$ and strength of coronal magnetic fields at the shock's heights. We found that in the early phases (2-4 R$_\odot$) the whole shock surface is super-Alfv\'enic, while later on (i.e. higher up) it becomes super-Alfvenic only at the nose. This is in agreement with the location for the source of the observed type-II burst, as inferred from RDS combined with the shock kinematic and coronal densities derived from WL. For the first time, a coronal shock is used to derive a 2D map of the coronal magnetic field strength over a 10 R$_\odot$ altitude and $\sim 110^\circ$ latitude intervals.


title: Bond percolation on multiplex networks

abstract: We present an analytical approach for bond percolation on multiplex networks and use it to determine the expected size of the giant connected component and the value of the critical bond occupation probability in these networks. We advocate the relevance of these tools to the modeling of multilayer robustness and contribute to the debate on whether any benefit is to be yielded from studying a full multiplex structure as opposed to its monoplex projection, especially in the seemingly irrelevant case of a bond occupation probability that does not depend on the layer. Although we find that in many cases the predictions of our theory for multiplex networks coincide with previously derived results for monoplex networks, we also uncover the remarkable result that for a certain class of multiplex networks, well described by our theory, new critical phenomena occur as multiple percolation phase transitions are present. We provide an instance of this phenomenon in a multipex network constructed from London rail and European air transportation datasets.


title: Dynamics of multivariate default system in random environment

abstract: We consider a multivariate default system where random environmental information is available. We study the dynamics of the system in a general setting and adopt the point of view of change of probability measures. We also make a link with the density approach in the credit risk modelling. In the particular case where no environmental information is concerned, we pay a special attention to the phenomenon of system weakened by failures as in the classical reliability system.


title: Probability density functions for the variable solar wind near the solar cycle minimum

abstract: Unconditional and conditional statistics is used for studying the histograms of magnetic field multi-scale fluctuations in the solar wind near the solar cycle minimum in 2008. The unconditional statistics involves the magnetic data during the whole year 2008. The conditional statistics involves the magnetic field time series splitted into concatenated subsets of data according to a threshold in dynamic pressure. The threshold separates fast stream leading edge compressional and trailing edge uncompressional fluctuations. The histograms obtained from these data sets are associated with both large-scale (B) and small-scale ({\delta}B) magnetic fluctuations, the latter corresponding to time-delayed differences. It is shown here that, by keeping flexibility but avoiding the unnecessary redundancy in modeling, the histograms can be effectively described by a limited set of theoretical probability distribution functions (PDFs), such as the normal, log-normal, kappa and logkappa functions. In a statistical sense the model PDFs correspond to additive and multiplicative processes exhibiting correlations. It is demonstrated here that the skewed small-scale histograms inherent in turbulent cascades are better described by the skewed log-kappa than by the symmetric kappa model. Nevertheless, the observed skewness is rather small, resulting in potential difficulties of estimation of the third-order moments. This paper also investigates the dependence of the statistical convergence of PDF model parameters, goodness of fit and skewness on the data sample size. It is shown that the minimum lengths of data intervals required for the robust estimation of parameters is scale, process and model dependent.


title: G_{\delta \sigma}-games and generalized computation

abstract: We show the equivalence between the existence of winning strategies for $G_{\delta \sigma}$ (also called $\Sigma^{0}_{3}$) games in Cantor or Baire space, and the existence of functions generalized-recursive in a higher type-2 functional. (Such recursions are associated with certain transfinite computational models.) We show, inter alia, that the set of indices of convergent recursions in this sense is a complete $\Game \Sigma_{3}^{0}$ set: as paraphrase, the listing of those games at this level that are won by player I, essentially has the same information as the `halting problem' for this notion of recursion. Moreover the strategies for the first player in such games are recursive in this sense. We thereby establish the ordinal length of monotone $\Game \Sigma^{0}_{3}$-inductive operators, and characterise the first ordinal where such strategies are to be found in the constructible hierarchy. In summary: Theorem (a) The following sets are recursively isomorphic. (i) The complete ittm-semi-recursive-in-${eJ}$ set, $H^{eJ}$; (ii) the $\Sigma_{1}$-theory of $( L_{\eta_{0}} , \in ) $, where $\eta_{0}$ is the closure ordinal of $\Game \Sigma_{3}^{0}$-monotone induction; (iii) the complete $\Game \Sigma_{3}^{0}$ set of integers. (b) The ittm-recursive-in-${eJ}$ sets of integers are precisely those of $L_{\eta_{0}}$.


title: Large deviations for the empirical measure of random polynomials: revisit of the Zeitouni-Zelditch theorem

abstract: This article revisits the work by Ofer Zeitouni and Steve Zelditch on large deviations for the empirical measures of random orthogonal polynomials with i.i.d. Gaussian complex coefficients, and extends this result to real Gaussian coefficients. This article does not require any knowledge in geometry. For clarity, we focus on two classical cases: Kac polynomials and elliptic polynomials.


title: Cooperative Task Planning of Multi-Agent Systems Under Timed Temporal Specifications

abstract: In this paper the problem of cooperative task planning of multi-agent systems when timed constraints are imposed to the system is investigated. We consider timed constraints given by Metric Interval Temporal Logic (MITL). We propose a method for automatic control synthesis in a two-stage systematic procedure. With this method we guarantee that all the agents satisfy their own individual task specifications as well as that the team satisfies a team global task specification.


title: Technical Report on Intruder Detection and Alert System

abstract: This work presents a smart trespasser detection and alert system which aims to increase the amount of security as well as the likelihood of positively identifying or stopping trespassers and intruders as compared to other commonly deployed home security system. Using multiple sensors, this system can gauge the extent of danger exhibited by a person or animal in or around the home premises, and can forward certain critical information regarding the same to home owners as well as other specified persons such as relevant security authorities.


title: A short proof of the Dimension Conjecture for real hypersurfaces in ${\mathbb C}^2$

abstract: Recently, I. Kossovskiy and R. Shafikov have settled the so-called Dimension Conjecture, which characterizes spherical hypersurfaces in ${\mathbb C}^2$ via the dimension of the algebra of infinitesimal automorphisms. In this note, we propose a short argument for obtaining their result.


title: Study of two- and three-meson decay modes of tau-lepton with Monte Carlo generator TAUOLA

abstract: The study of the $\tau$-lepton decays into hadrons has contributed to a better understanding of non-perturbative QCD and light-quark meson spectroscopy, as well as to the search of new physics beyond the Standard Model. The two- and three-meson decay modes, considering only those permitted by the Standard Model, are the predominant decays and together with the one-pion mode compose more than $85\%$ of the hadronic $\tau$-lepton decay width. In this note we review the theoretical results for these modes implemented in the Monte Carlo event generator TAUOLA and present at the same time a comparison with the Belle Collaboration data for the two-pion decay mode and the BaBar preliminary data for the three-pion decay mode as well for the decay mode into two-kaon and one-pion.


title: Monte Carlo study of Lefschetz thimble structure in one-dimensional Thirring model at finite density

abstract: We consider the one-dimensional massive Thirring model formulated on the lattice with staggered fermions and an auxiliary compact vector (link) field, which is exactly solvable and shows a phase transition with increasing the chemical potential of fermion number: the crossover at a finite temperature and the first order transition at zero temperature. We complexify its path-integration on Lefschetz thimbles and examine its phase transition by hybrid Monte Carlo simulations on the single dominant thimble. We observe a discrepancy between the numerical and exact results in the crossover region for small inverse coupling $\beta$ and/or large lattice size $L$, while they are in good agreement at the lower and higher density regions. We also observe that the discrepancy persists in the continuum limit keeping the temperature finite and it becomes more significant toward the low-temperature limit. This numerical result is consistent with our analytical study of the model's thimble structure. And these results imply that the contributions of subdominant thimbles should be summed up in order to reproduce the first order transition in the low-temperature limit.


title: Amplitude and phase beam shaping for the highest sensitivity in side-wall angle detection

abstract: In optical metrology, grating-like structures are used as tools to evaluate the performance of lithographic techniques. In particular, several shape parameters characterize those structures. One of them, termed side-wall angle, suffers from a considerable high error estimation. Using mathematical optimization, we investigated whether a properly shaped beam could increase the ability to detect tiny changes of this angle. This paper describes the theoretical formulation used to calculate the optimized beam and compares its performance with the case of a plane wave. We found that the sensitivity decreases with increasing slope angles, but even so its trend is better than in the plane wave case. Still, such an optimization process needs to be extended to the more general vectorial case.


title: Nonlocal filtration equations with rough kernels

abstract: We study the nonlinear and nonlocal Cauchy problem \[ \partial_{t}u+\mathcal{L}\varphi(u)=0 \quad\text{in }\mathbb{R}^{N}\times\mathbb{R}_+,\qquad u(\cdot,0)=u_0, \] where $\mathcal{L}$ is a L\'evy-type nonlocal operator with a kernel having a singularity at the origin as that of the fractional Laplacian. The nonlinearity $\varphi$ is nondecreasing and continuous, and the initial datum $u_0$ is assumed to be in $L^1(\mathbb{R}^N)$. We prove existence and uniqueness of weak solutions. For a wide class of nonlinearities, including the porous media case, $\varphi(u)=|u|^{m-1}u$, $m>1$, these solutions turn out to be bounded and H\"older continuous for $t>0$. We also describe the large time behaviour when the nonlinearity resembles a power for $u\approx 0$ and the kernel associated to $\mathcal{L}$ is close at infinity to that of the fractional Laplacian.


title: Projectile deformation effects in the breakup of $^{37}$Mg

abstract: We study the breakup of $^{37}$Mg on Pb at 244MeV/u with the recently developed extended theory of Coulomb breakup within the post-form finite range distorted wave Born approximation that includes deformation of the projectile. Comparing our calculated cross section with the available Coulomb breakup data we determine the possible ground state configuration of $^{37}$Mg.


title: Electron spin rotations induced by oscillating Rashba interaction in a quantum wire

abstract: A novel method and nanodevice are introduced that allows to rotate the single electron spin confined in a gated electrostatic InSb nanowire quantum dot. Proposed method does not require application of any (oscillating or static) external magnetic fields. Our proposal instead employs spatial and time modulation of confining potential induced by electric gates, which, in turn leads to oscillating Rashba type spin-orbit coupling. Moving electron back and forth in such a variable Rashba field allows for realization of spin rotations around two different axes separately without using an external magnetic field. The results are supported by realistic three-dimensional time dependent Poisson-Schr\"{o}dinger calculations for systems and material parameters corresponding to experimentally accessible structures.


title: On the generalized Zakharov-Kuznetsov equation at critical regularity

abstract: The Cauchy problem for the generalized Zakharov-Kuznetsov equation $$\partial_t u +\partial_x\Delta u=\partial_x u^{k+1}, \qquad \qquad u(0)=u_0$$ is considered in space dimensions $n=2$ and $n=3$ for integer exponents $k \ge 3$. For data $u_0 \in \dot{B}^{s_c}_{2,q}$, where $1\le q \le \infty$ and $s_c=\frac{n}{2}- \frac{2}{k}$ is the critical Sobolev regularity, it is shown, that this problem is locally well-posed and globally well-posed, if the data are sufficiently small. The proof follows ideas of Kenig, Ponce, and Vega and uses estimates for the corresponding linear equation, such as local smoothing effect, Strichartz estimates, and maximal function inequalities. These are inserted into the framework of the function spaces $U^p$ and $V^p$ introduced by Koch and Tataru.


title: Combinatorial Auctions with Conflict-Based Externalities

abstract: Combinatorial auctions (CA) are a well-studied area in algorithmic mechanism design. However, contrary to the standard model, empirical studies suggest that a bidder's valuation often does not depend solely on the goods assigned to him. For instance, in adwords auctions an advertiser might not want his ads to be displayed next to his competitors' ads. In this paper, we propose and analyze several natural graph-theoretic models that incorporate such negative externalities, in which bidders form a directed conflict graph with maximum out-degree $\Delta$. We design algorithms and truthful mechanisms for social welfare maximization that attain approximation ratios depending on $\Delta$. For CA, our results are twofold: (1) A lottery that eliminates conflicts by discarding bidders/items independent of the bids. It allows to apply any truthful $\alpha$-approximation mechanism for conflict-free valuations and yields an $\mathcal{O}(\alpha\Delta)$-approximation mechanism. (2) For fractionally sub-additive valuations, we design a rounding algorithm via a novel combination of a semi-definite program and a linear program, resulting in a cone program; the approximation ratio is $\mathcal{O}((\Delta \log \log \Delta)/\log \Delta)$. The ratios are almost optimal given existing hardness results. For the prominent application of adwords auctions, we present several algorithms for the most relevant scenario when the number of items is small. In particular, we design a truthful mechanism with approximation ratio $o(\Delta)$ when the number of items is only logarithmic in the number of bidders.


title: Approximation of Invariant Measure for Damped Stochastic Nonlinear Schr\"{o}dinger Equation via an Ergodic Numerical Scheme

abstract: In order to inherit numerically the ergodicity of the damped stochastic nonlinear Schr\"odinger equation with additive noise, we propose a fully discrete scheme, whose spatial direction is based on spectral Galerkin method and temporal direction is based on a modification of the implicit Euler scheme. We not only prove the unique ergodicity of the numerical solutions of both spatial semi-discretization and full discretization, but also present error estimations on invariant measures, which gives order $2$ in spatial direction and order ${\frac12}$ in temporal direction.


title: Knowledge-based system for collaborative process specification

abstract: This paper presents an ontology-based approach for the design of a collaborative business process model (CBP). This CBP is considered as a specification of needs in order to build a collaboration information system (CIS) for a network of organisations. The study is a part of a model driven engineering approach of the CIS in a specific enterprise interoperability framework that will be summarised. An adaptation of the Business Process Modeling Notation (BPMN) is used to represent the CBP model. We develop a knowledge-based system (KbS) which is composed of three main parts: knowledge gathering, knowledge representation and reasoning, and collaborative business process modelling. The first part starts from a high abstraction level where knowledge from business partners is captured. A collaboration ontology is defined in order to provide a structure to store and use the knowledge captured. In parallel, we try to reuse generic existing knowledge about business processes from the MIT Process Handbook repository. This results in a collaboration process ontology that is also described. A set of rules is defined in order to extract knowledge about fragments of the CBP model from the two previous ontologies. These fragments are finally assembled in the third part of the KbS. A prototype of the KbS has been developed in order to implement and support this approach. The prototype is a computer-aided design tool of the CBP. In this paper, we will present the theoretical aspects of each part of this KbS as well as the tools that we developed and used in order to support its functionalities.


title: Study of the $f_2(1270)$ and $a_2(1320)$ resonances in $\gamma^*(Q^2)\gamma$ collisions

abstract: We discuss studies of the $Q^2$ dependence of the $f_2(1270)$ and $a_2 (1320)$ production cross sections in $\gamma^*(Q^2)\gamma $ collisions at current and coming into operation colliders with a high luminosity. Changing the dominant helicity amplitude occurs in the reactions $\gamma^*(Q ^2)\gamma\to f_2(1270)$ and $\gamma^*(Q^2) \gamma\to a_2(1320)$ with increasing $Q^2$. This is caused by the coming of the QCD asymptotics. It is shown that the transition to the asymptotic behavior of QCD in the amplitudes $\gamma^*(Q^2) \gamma\to f_2(1270),a_2(1320)$ is provided by the compensation of the contributions of ground vector states $\rho$ and $\omega$ in $Q^2$-channel with the contributions of their radial excitations.


title: Measurement-feedback formalism meets information reservoirs

abstract: There have been two distinct formalisms of thermodynamics of information: One is the measurement-feedback formalism, which concerns bipartite systems with measurement and feedback processes, and the other is the information reservoir formalism, which considers bit sequences as a thermodynamic fuel. In this paper, we derive a second-law-like inequality by applying the measurement-feedback formalism to information reservoirs, which provides a stronger bound of extractable work than any other known inequality in the same setup. In addition, we demonstrate that the Mandal-Jarzynski model, which is a prominent model of the information reservoir formalism, is equivalent to a model obtained by the contraction of a bipartite system with autonomous measurement and feedback. Our results provide a unified view on the measurement-feedback and the information-reservoir formalisms.


title: Supporting interoperability of collaborative networks through engineering of a service-based Mediation Information System (MISE 2.0)

abstract: The Mediation Information System Engineering project is currently finishing its second iteration (MISE 2.0). The main objective of this scientific project is to provide any emerging collaborative situation with methods and tools to deploy a Mediation Information System (MIS). MISE 2.0 aims at defining and designing a service-based platform, dedicated to initiating and supporting the interoperability of collaborative situations among potential partners. This MISE 2.0 platform implements a model-driven engineering approach to the design of a service-oriented MIS dedicated to supporting the collaborative situation. This approach is structured in three layers, each providing their own key innovative points: (i) the gathering of individual and collaborative knowledge to provide appropriate collaborative business behaviour (key point: knowledge management, including semantics, exploitation and capitalization), (ii) deployment of a mediation information system able to computerize the previously deduced collaborative processes (key point: the automatic generation of collaborative workflows, including connection with existing devices or services) (iii) the management of the agility of the obtained collaborative network of organizations (key point: supervision of collaborative situations and relevant exploitation of the gathered data). MISE covers business issues (through BPM), technical issues (through an SOA) and agility issues of collaborative situations (through EDA).


title: Event-driven agility of interoperability during the Run-time of collaborative processes

abstract: The modern business environment tends to involve a large network of heterogeneous people, devices and organizations that engage in collaborative processes among themselves. Given the nature of this type of collaboration and the high degree of interoperability between partner Information Systems, these processes need to be agile in order to respond to changes in context, which may occur at any time during the collaborative situation.The objective is to build a Mediation Information System (MIS), in support of collaborative situations, whose architecture must be (i) built to be relevant to the collaborative situation under consideration, (ii) more easily integrated into the existing systems, and (iii) sufficiently agile, through its awareness of the environment and of process events, and through the way it reacts to events detected as being relevant.To apply agility mechanisms, it is crucial to detect the significant events that will lead to a subsequent evolution of the situation (detection step). Event-Driven Architecture (EDA) is used to design the structure of the part of the system that is in charge of MIS agility. This architecture takes the events into account, manages them and, if needed, uses them to trigger the adaptation of the MIS.We have defined a means to monitor the evolution of the situation. If relevant changes are detected, and if the situation does not evolve in the expected way, an adaptation is proposed. It is concluded that the principles of detection and adaptation, combined with the responsiveness of the system (provided by the automation of transitions), and based on Event Driven Architecture principles, together provide the agility required for collaborative processes.


title: Gravitational collapse and the Vlasov-Poisson system

abstract: A self-gravitating homogeneous ball of a fluid with pressure zero where the fluid particles are initially at rest collapses to a point in finite time. We prove that this gravitational collapse can be approximated arbitrarily closely by suitable solutions of the Vlasov-Poisson system which are known to exist globally in time.


title: Collectivity in small and large amplitude microscopic mean-field dynamic

abstract: The time-dependent energy density functional with pairing allows to describe a large variety of phenomena from small to large amplitude collective motion. Here, we briefly summarize the recent progresses made in the field using the TD-BCS approach. A focus is made on the mapping of the microscopic mean-field dynamic to the macroscopic dynamic in collective space. A method is developed to extract the collective mass parameter from TD-EDF. Illustration is made on the fission of $^{258}$Fm. The collective mass and collective momentum associated to quadrupole deformation including non-adiabatic effects is estimated along the TD-EDF path. With these information, the onset of dissipation during fission is discussed.


title: Optimal thermalization in a shell model of homogeneous turbulence

abstract: We investigate the turbulence-induced dissipation of the large scales in a statistically homogeneous flow using an "optimal closure," which one of us (BT) has recently exposed in the context of Hamiltonian dynamics. This statistical closure employs a Gaussian model for the turbulent scales, with corresponding vanishing third cumulant, and yet it captures an intrinsic damping. The key to this apparent paradox lies in a clear distinction between true ensemble averages and their proxies, most easily grasped when one works directly with the Liouville equation rather than the cumulant hierarchy. We focus on a simple problem for which the optimal closure can be fully and exactly worked out: the relaxation arbitrarily far-from-equilibrium of a single energy shell towards Gibbs equilibrium in an inviscid shell model of 3D turbulence. The predictions of the optimal closure are validated against DNS and contrasted with those derived from EDQNM closure.

categories: physics.flu-dyn cond-mat.stat-mech math-ph math.MP


title: Distributed Multi-task APA over Adaptive Networks Based on Partial Diffusion

abstract: Distributed multi-task adaptive strategies are useful to estimate multiple parameter vectors simultaneously in a collaborative manner. The existed distributed multi-task strategies use diffusion mode of cooperation in which during adaptation step each node gets the cooperation from it neighborhood nodes but not in the same cluster and during combining step each node combines the intermediate estimates of it neighboring nodes that belong to the same cluster. For this the nodes need to transmit the intermediate estimates to its neighborhood. In this paper we propose an extension to the multi-task diffusion affine projection algorithm by allowing partial sharing of the entries of the intermediate estimates among the neighbors. The proposed algorithm is termed as multi-task Partial diffusion Affine projection Algorithm (multi-task Pd-APA) which can provide the trade-off between the communication performance and the estimation performance. The performance analysis of the proposed multi-task partial diffusion APA algorithm is studied in mean and mean square sense. Simulations were conducted to verify the analytical results.


title: Necessary conditions for the existence of 3-designs over finite fields with nontrivial automorphism groups

abstract: A q-design with parameters t-(v,k,lambda_t)_q is a pair (V, B) of the v-dimensional vector space V over GF(q) and a collection B of k-dimensional subspaces of V, such that each t-dimensional subspace of V is contained in precisely lambda_t members of B. In this paper we give new general necessary conditions on the existence of designs over finite fields with parameters 3-(v, k , lambda_3)_q with a prescribed automorphism group. These necessary conditions are based on a tactical decomposition of such a design over a finite field and are given in the form of equations for the coefficients of tactical decomposition matrices. In particular, they represent necessary conditions on the existence of q-analogues of Steiner systems admitting a prescribed automorphism group.


title: GravitinoPack and decays of supersymmetric metastable particles

abstract: We present the package GravitinoPack that calculates the two- and three-body decays of unstable supersymmetric particles involving the gravitino in the final or initial state. In a previous paper, we already showed results for the gravitino decays into two and three particles. In this paper, we incorporate the processes where an unstable neutralino, stau or stop decays into a gravitino and Standard Model particles. This is the case in gravitino dark matter supersymmetric models, where the gravitino is the lightest SUSY particle. We give instructions for the installation and the use of the package. In the numerical analysis, we discuss various MSSM scenarios. We show that the calculation of all the decay channels and the three-body decay branching ratios is essential for the accurate application of cosmological bounds on these models.


title: Convergence of the Gutt Star Product

abstract: In this work we consider the Gutt star product viewed as an associative deformation of the symmetric algebra S^\bullet(g) over a Lie algebra g and discuss its continuity properties: we establish a locally convex topology on S^\bullet(g) such that the Gutt star product becomes continuous. Here we have to assume a mild technical condition on g: it has to be an Asymptotic Estimate Lie algebra. This condition is e.g. fulfilled automatically for all finite-dimensional Lie algebras. The resulting completion of the symmetric algebra can be described explicitly and yields not only a locally convex algebra but also the Hopf algebra structure maps inherited from the universal enveloping algebra are continuous. We show that all Hopf algebra structure maps depend analytically on the deformation parameter. The construction enjoys good functorial properties.


title: The Lyapunov dimension and its computation for self-excited and hidden attractors in the Glukhovsky-Dolzhansky fluid convection model

abstract: Consideration of various hydrodynamic phenomena involves the study of the Navier-Stokes (N-S) equations, what is hard enough for analytical and numerical investigations since already in three-dimensional (3D) case it is a challenging task to study the limit behavior of N-S solutions. The low-order models (LOMs) derived from the initial N-S equations by Galerkin method allow one to overcome difficulties in studying the limit behavior and existence of attractors. Among the simple LOMs with chaotic attractors there are famous Lorenz system, which is an approximate model of two-dimensional convective flow and Glukhovsky-Dolzhansky model, which describes a convective process in three-dimensional rotating fluid and can be considered as an approximate model of the World Ocean. One of the widely used dimensional characteristics of attractors is the Lyapunov dimension. In the study we follow a rigorous approach for the definition of the Lyapunov dimension and justification of its computation by the Kaplan-Yorke formula, without using statistical physics assumptions. The exact Lyapunov dimension formula for the global attractors is obtained and peculiarities of the Lyapunov dimension estimation for self-excited and hidden attractors are discussed. A tutorial on numerical estimation of the Lyapunov dimension on the example of the Glukhovsky-Dolzhansky model is presented.


title: Some applications of the H\"older inequality for mixed sums

abstract: We use the H\"{o}lder inequality for mixed exponents to prove some optimal variants of the generalized Hardy--Littlewood inequality for $m$-linear forms on $\ell _{p}$ spaces with mixed exponents. Our results extend recent results of Araujo et al.


title: Quantum critical dynamics of a magnetic impurity in a semiconducting host

abstract: We have investigated the finite temperature dynamics of the singlet to doublet continuous quantum phase transition in the gapped Anderson impurity model using hybridization expansion continuous time quantum Monte-Carlo. Using the self-energy and the longitudinal static susceptibility, we obtain a phase diagram in the temperature-gap plane. The separatrix between the low temperature local moment phase and the high temperature generalized Fermi liquid phase of this phase diagram is shown to be the lower bound of the critical scaling region of the zero gap quantum critical point of interacting type. We have computed the nuclear magnetic spin-lattice relaxation rate, the Knight shift and the Korringa ratio, which show strong deviations for any non-zero gap from the corresponding quantities in the gapless Kondo screened impurity case.


title: Chiral assembly of weakly curled hard rods: effect of steric chirality and polarity

abstract: We theoretically investigate the pitch of lyotropic cholesteric phases composed of slender rods with steric chirality transmitted via a weak helical deformation of the backbone. In this limit, the model is amenable to analytical treatment within Onsager theory and a closed expression for the pitch versus concentration and helical shape can be derived. Within the same framework we also briefly review the possibility of alternative types of chiral order, such as twist-bend or screw-like nematic phases, finding that cholesteric order dominates for weakly helical distortions. While long-ranged or `soft' chiral forces usually lead to a pitch decreasing linearly with concentration, steric chirality leads to a much steeper decrease of quadratic nature. This reveals a subtle link between the range of chiral intermolecular interaction and the pitch sensitivity with concentration. A much richer dependence on the thermodynamic state is revealed for polar helices where parallel and anti-parallel pair alignments along the local director are no longer equivalent. It is found that weak temperature variations may lead to dramatic changes in the pitch, despite the lyotropic nature of the assembly.


title: Atomic data needs for the modelling of stellar spectra

abstract: The current need for atomic data to model stellar spectra obtained in various wavelength ranges is described. The level of completeness and accuracy of these data is discussed.


title: Isotropization of the universe during inflation

abstract: A primordial inflationary phase allows one to erase any possible anisotropic expansion thanks to the cosmic no-hair theorem. If there is no global anisotropic stress, then the anisotropic expansion rate tends to decrease. What are the observational consequences of a possible early anisotropic phase? We first review the dynamics of anisotropic universes and report analytic approximations. We then discuss the structure of dynamical equations for perturbations and the statistical properties of observables, as well as the implication of a primordial anisotropy on the quantization of these perturbations during inflation. Finally we briefly review models based on primordial vector field which evade the cosmic no-hair theorem.


title: Weighted least squares estimation for the subcritical Heston process

abstract: We simultaneously estimate the four parameters of a subcritical Heston process. We do not restrict ourself to the case where the stochastic volatility process never reaches zero. In order to avoid the use of unmanageable stopping times and natural but intractable estimator, we propose to make use of a weighted least squares estimator. We establish strong consistency and asymptotic normality for this estimator. Numerical simulations are also provided, illustrating the good performances of our estimation procedure.


title: Partitioning random graphs into monochromatic components

abstract: Erd\H{o}s, Gy\'arf\'as, and Pyber (1991) conjectured that every $r$-colored complete graph can be partitioned into at most $r-1$ monochromatic components; this is a strengthening of a conjecture of Lov\'asz (1975) in which the components are only required to form a cover. An important partial result of Haxell and Kohayakawa (1995) shows that a partition into $r$ monochromatic components is possible for sufficiently large $r$-colored complete graphs. We start by extending Haxell and Kohayakawa's result to graphs with large minimum degree, then we provide some partial analogs of their result for random graphs. In particular, we show that if $p\ge \left(\frac{27\log n}{n}\right)^{1/3}$, then a.a.s. in every $2$-coloring of $G(n,p)$ there exists a partition into two monochromatic components, and for $r\geq 2$ if $p\ll \left(\frac{r\log n}{n}\right)^{1/r}$, then a.a.s. there exists an $r$-coloring of $G(n,p)$ such that there does not exist a cover with a bounded number of components. Finally, we consider a random graph version of a classic result of Gy\'arf\'as (1977) about large monochromatic components in $r$-colored complete graphs. We show that if $p=\frac{\omega(1)}{n}$, then a.a.s. in every $r$-coloring of $G(n,p)$ there exists a monochromatic component of order at least $(1-o(1))\frac{n}{r-1}$.


title: Lecture notes on ridge regression

abstract: The linear regression model cannot be fitted to high-dimensional data, as the high-dimensionality brings about empirical non-identifiability. Penalized regression overcomes this non-identifiability by augmentation of the loss function by a penalty (i.e. a function of regression coefficients). The ridge penalty is the sum of squared regression coefficients, giving rise to ridge regression. Here many aspect of ridge regression are reviewed e.g. moments, mean squared error, its equivalence to constrained estimation, and its relation to Bayesian regression. Finally, its behaviour and use are illustrated in simulation and on omics data. Subsequently, ridge regression is generalized to allow for a more general penalty. The ridge penalization framework is then translated to logistic regression and its properties are shown to carry over. To contrast ridge penalized estimation, the final chapters introduce its lasso counterpart and generalizations thereof.


title: Very high energy gamma-ray follow-up observations of novae and dwarf novae with the MAGIC telescopes

abstract: In the last few years the Fermi-LAT instrument has detected GeV gamma-ray emission from several novae. Such GeV emission can be interpreted in terms of inverse Compton emission from electrons accelerated in the shock or in terms of emission from hadrons accelerated in the same conditions. The latter might reach much higher energies and could produce a second component in the gamma-ray spectrum at TeV energies. We perform follow-up observations of selected novae and dwarf novae in search of the second component in TeV energy gamma rays. This can shed light on the acceleration process of leptons and hadrons in nova explosions. We have performed observations with the MAGIC telescopes of 3 sources, a symbiotic nova YY Her, a dwarf nova ASASSN-13ax and a classical nova V339 Del, shortly after their outbursts. We did not detect TeV gamma-ray emission from any of the objects observed. The TeV upper limits from MAGIC observations and the GeV detection by Fermi constrain the acceleration parameters for electrons and hadrons.


title: Topological effects in magnetic platinum nano-particles

abstract: The magnetic properties of platinum nano-particles ranging in size from a few to up 300 atoms are investigated through first-principle calculations. It is found that the total magnetization depends strongly on the local atomic rearrangements, with an enhancement around five-fold axis. This is due to an elongation of the nearest neighbor distance together with a contraction of the 2$^{nd}$ distance, resulting in a net interatomic partial charge transfer from the atoms lying on the sub-surface layer (donor) towards the vertexes (acceptor).


title: A note on 2-dimensional Finsler manifold

abstract: We solve the following problem for $n=2:$ Is any n-dimensional Finsler manifold $(M, F)$ with a function $f$ which is nonconstant and smooth on $M$ satisfying $ \dfrac{\partial g^{ij}}{\partial y^k}\dfrac{\partial f}{\partial x^i}=0, $ a Riemannian manifold? The problem for $n>2$ remains open.


title: Discovery of TeV gamma-ray emission from the pulsar wind nebula 3C 58 by MAGIC

abstract: The pulsar wind nebula (PWN) 3C 58 has been proposed as a good candidate for detection at VHE (VHE; E>100 GeV) for many years. It is powered by one of the highest spin-down power pulsars known (5\% of Crab pulsar) and it has been compared to the Crab Nebula due to its morphology. This object was previously observed by imaging atmospheric Cherenkov telescopes (Whipple, VERITAS and MAGIC), and upper limit of 2.4\% Crab Unit (C.U.) at VHE. It was detected by Fermi-LAT with a spectrum extending beyond 100 GeV. We analyzed 81 hours of 3C 58 data taken with the MAGIC telescopes and we detected VHE gamma-ray emission with a significance of 5.7 sigma and an integral flux of 0.65\% C.U. above 1 TeV. We report the first significant detection of PWN 3C 58 at TeV energies. According to our results 3C 58 is the least luminous VHE gamma-ray PWN ever detected at VHE and the one with the lowest flux at VHE to date. We compare our results with the expectations of time-dependent models in which electrons up-scatter photon fields. The best representation favors a distance to the PWN of 2 kpc and Far Infrared (FIR) comparable to CMB photon fields. If we consider an unexpectedly high FIR density according to GALPROP, the data can also be reproduced by models assuming a 3.2 kpc distance. A low magnetic field, far from equipartition, is required to explain the VHE data. Hadronic contribution from the hosting supernova remnant (SNR) requires an unrealistic energy budget given the density of the medium, disfavoring cosmic ray acceleration in the SNR as origin of the VHE gamma-ray emission.


title: Model-independent comparison of simulation output

abstract: Computational models of complex systems are usually elaborate and sensitive to implementation details, characteristics which often affect their verification and validation. Model replication is a possible solution to this issue. It avoids biases associated with the language or toolkit used to develop the original model, not only promoting its verification and validation, but also fostering the credibility of the underlying conceptual model. However, different model implementations must be compared to assess their equivalence. The problem is, given two or more implementations of a stochastic model, how to prove that they display similar behavior? In this paper, we present a model comparison technique, which uses principal component analysis to convert simulation output into a set of linearly uncorrelated statistical measures, analyzable in a consistent, model-independent fashion. It is appropriate for ascertaining distributional equivalence of a model replication with its original implementation. Besides model-independence, this technique has three other desirable properties: a) it automatically selects output features that best explain implementation differences; b) it does not depend on the distributional properties of simulation output; and, c) it simplifies the modelers' work, as it can be used directly on simulation outputs. The proposed technique is shown to produce similar results to the manual or empirical selection of output features when applied to a well-studied reference model.


title: An Introduction to Twisted Particle Filters and Parameter Estimation in Non-linear State-space Models

abstract: Twisted particle filters are a class of sequential Monte Carlo methods recently introduced by Whiteley and Lee to improve the efficiency of marginal likelihood estimation in state-space models. The purpose of this article is to extend the twisted particle filtering methodology, establish accessible theoretical results which convey its rationale, and provide a demonstration of its practical performance within particle Markov chain Monte Carlo for estimating static model parameters. We derive twisted particle filters that incorporate systematic or multinomial resampling and information from historical particle states, and a transparent proof which identifies the optimal algorithm for marginal likelihood estimation. We demonstrate how to approximate the optimal algorithm for nonlinear state-space models with Gaussian noise and we apply such approximations to two examples: a range and bearing tracking problem and an indoor positioning problem with Bluetooth signal strength measurements. We demonstrate improvements over standard algorithms in terms of variance of marginal likelihood estimates and Markov chain autocorrelation for given CPU time, and improved tracking performance using estimated parameters.


title: Modeling of inter-ribbon tunneling in graphene

abstract: The tunneling current between two crossed graphene ribbons is described invoking the empirical pseudopotential approximation and the Bardeen transfer Hamiltonian method. Results indicate that the density of states is the most important factor determining the tunneling current between small (nm) ribbons. The quasi-one dimensional nature of graphene nanoribbons is shown to result in resonant tunneling.


title: Compton Scattering and Nucleon Polarisabilities in Chiral EFT: Update and Future

abstract: We review theoretical progress and prospects for determining the nucleon's static dipole polarisabilities from Compton scattering on few-nucleon targets, including new values; see Refs. [1-5] for details and a more thorough bibliography.


title: Multilayer Pt/Al Based Ohmic contacts for AlGaN/GaN Heterostructures Stable up to 600oC Ambient Air

abstract: In this paper, we present a Pt/Al multilayer stack-based ohmic contact metallization for AlGaN/GaN heterostructures. CTLM structures were fabricated to assess the electrical properties of the proposed metallization. The fabricated stack shows excellent stability after more than 100 hours of continuous aging at 600oC in air. Measured I-V characteristics of the fabricated samples show excellent linearity after the aging. The Pt/Al-based metallization shows great potential for future device and sensor applications in extreme environment conditions.


title: Pure threshold strategies for a two-node tandem network under partial information

abstract: In a two node tandem network, customers decide to join or balk by maximizing a given profit function whose costs are proportional to the sojourn time they spend at each queue. Assuming that their choices are taken without knowing the complete state of the system, we show that a pure threshold equilibrium policy exists. In particular we analyze the case when the partial information consists in informing the arrival customers of the total number of users in the network.


title: How to Verify a Quantum Computation

abstract: We give a new theoretical solution to a leading-edge experimental challenge, namely to the verification of quantum computations in the regime of high computational complexity. Our results are given in the language of quantum interactive proof systems. Specifically, we show that any language in $\mathsf{BQP}$ has a quantum interactive proof system with a polynomial-time classical verifier (who can also prepare random single-qubit pure states), and a quantum polynomial-time prover. Here, soundness is unconditional--i.e., it holds even for computationally unbounded provers. Compared to prior work achieving similar results, our technique does not require the encoding of the input or of the computation; instead, we rely on encryption of the input (together with a method to perform computations on encrypted inputs), and show that the random choice between three types of input (defining a computational run, versus two types of test runs) suffices. Because the overhead is very low for each run (it is linear in the size of the circuit), this shows that verification could be achieved at minimal cost compared to performing the computation. As a proof technique, we use a reduction to an entanglement-based protocol; to the best of our knowledge, this is the first time this technique has been used in the context of verification of quantum computations, and it enables a relatively straightforward analysis.


title: Feynman identity for planar graphs

abstract: The Feynman identity (FI) of a planar graph relates the Euler polynomial of the graph to an infinite product over the equivalence classes of closed nonperiodic signed cycles in the graph. The main objectives of this paper are to compute the number of equivalence classes of nonperiodic cycles of given length and sign in a planar graph and to interpret the data encoded by the FI in the context of free Lie superalgebras. This solves in the case of planar graphs a problem first raised by S. Sherman and sets the FI as the denominator identity of a free Lie superalgebra generated from a graph. Other results are obtained. For instance, in connection with zeta functions of graphs.


title: Loop quantum cosmology and the fate of cosmological singularities

abstract: Singularities in general relativity such as the big bang and big crunch, and exotic singularities such as the big rip are the boundaries of the classical spacetimes. These events are marked by a divergence in the curvature invariants and the breakdown of the geodesic evolution. Recent progress on implementing techniques of loop quantum gravity to cosmological models reveals that such singularities may be generically resolved because of the quantum gravitational effects. Due to the quantum geometry, which replaces the classical differential geometry at the Planck scale, the big bang is replaced by a big bounce without any assumptions on the matter content or any fine tuning. In this manuscript, we discuss some of the main features of this approach and the results on the generic resolution of singularities for the isotropic as well as anisotropic models. Using effective spacetime description of the quantum theory, we show the way quantum gravitational effects lead to the universal bounds on the energy density, the Hubble rate and the anisotropic shear. We discuss the geodesic completeness in the effective spacetime and the resolution of all of the strong singularities. It turns out that despite the bounds on energy density and the Hubble rate, there can be divergences in the curvature invariants. However such events are geodesically extendible, with tidal forces not strong enough to cause inevitable destruction of the in-falling objects.


title: Generic helical edge states due to Rashba spin-orbit coupling in a topological insulator

abstract: We study the helical edge states of a two-dimensional topological insulator without axial spin symmetry due to the Rashba spin-orbit interaction. Lack of axial spin symmetry can lead to so-called generic helical edge states, which have energy-dependent spin orientation. This opens the possibility of inelastic backscattering and thereby nonquantized transport. Here we find analytically the new dispersion relations and the energy dependent spin orientation of the generic helical edge states in the presence of Rashba spin-orbit coupling within the Bernevig-Hughes-Zhang model, for both a single isolated edge and for a finite width ribbon. In the single-edge case, we analytically quantify the energy dependence of the spin orientation, which turns out to be weak for a realistic HgTe quantum well. Nevertheless, finite size effects combined with Rashba spin-orbit coupling result in two avoided crossings in the energy dispersions, where the spin orientation variation of the edge states is very significantly increased for realistic parameters. Finally, our analytical results are found to compare well to a numerical tight-binding regularization of the model.


title: Low Noise, tunable Ho:fiber Soliton Oscillator for Ho:YLF Amplifier Seeding

abstract: We present a passively mode-locked, tunable soliton Ho:fiber ring oscillator, optimized for seeding of Ho:YLF amplifiers. The oscillator is independently tunable in central wavelength and spectral width from 2040 nm to 2070 nm and from 5 nm to 10 nm, respectively. At all settings the pulse energy within the soliton is around 800 pJ. The soliton oscillator was optimized to fully meets the spectral requirements for seeding Ho:YLF amplifiers. Its Kelly sidebands are located outside the amplifier gain spectrum, resulting in a train of about 1 ps long pedestal-free pulses with relative intensity noise (RIN) of only 0.13 % RMS when integrated from 1 Hz to Nyquist frequency.


title: The automorphism group of the $s$-stable Kneser graphs

abstract: For $k,s\geq2$, the $s$-stable Kneser graphs are the graphs with vertex set the $k$-subsets $S$ of $\{1,\ldots,n\}$ such that the circular distance between any two elements in $S$ is at least $s$ and two vertices are adjacent if and only if the corresponding $k$-subset are disjoint. Braun showed that for $n\geq 2k+1$ the automorphism group of the $2$-stable Kneser graphs (Schrijver graphs) is isomorphic to the dihedral group of order $2n$. In this paper we generalize this result by proving that for $s\geq 2$ and $n\geq sk+1$ the automorphism group of the $s$-stable Kneser graphs also is isomorphic to the dihedral group of order $2n$.


title: How important are electron beams in driving chromospheric evaporation in the 2014 March 29 flare?

abstract: We present high spatial resolution observations of chromospheric evaporation in the flare SOL2014-03-29T17:48. Interface Region Imaging Spectrograph (IRIS) observations of the FeXXI 1354.1 A line indicate evaporating plasma at a temperature of 10 MK along the flare ribbon during the flare peak and several minutes into the decay phase with upflow velocities between 30 km s$^{-1}$ and 200 km s$^{-1}$. Hard X-ray (HXR) footpoints were observed by RHESSI for two minutes during the peak of the flare. Their locations coincided with the locations of the upflows in parts of the southern flare ribbon but the HXR footpoint source preceded the observation of upflows in FeXXI by 30-75 seconds. However, in other parts of the southern ribbon and in the northern ribbon the observed upflows were not coincident with a HXR source in time nor space, most prominently during the decay phase. In this case evaporation is likely caused by energy input via a conductive flux that is established between the hot (25 MK) coronal source, which is present during the whole observed time-interval, and the chromosphere. The presented observations suggest that conduction may drive evaporation not only during the decay phase but also during the flare peak. Electron beam heating may only play a role in driving evaporation during the initial phases of the flare.


title: Deep Haar Scattering Networks

abstract: An orthogonal Haar scattering transform is a deep network, computed with a hierarchy of additions, subtractions and absolute values, over pairs of coefficients. It provides a simple mathematical model for unsupervised deep network learning. It implements non-linear contractions, which are optimized for classification, with an unsupervised pair matching algorithm, of polynomial complexity. A structured Haar scattering over graph data computes permutation invariant representations of groups of connected points in the graph. If the graph connectivity is unknown, unsupervised Haar pair learning can provide a consistent estimation of connected dyadic groups of points. Classification results are given on image data bases, defined on regular grids or graphs, with a connectivity which may be known or unknown.


title: Approximate Spectral Clustering: Efficiency and Guarantees

abstract: Approximate Spectral Clustering (ASC) is a popular and successful heuristic for partitioning the nodes of a graph $G$ into clusters for which the ratio of outside connections compared to the volume (sum of degrees) is small. ASC consists of the following two subroutines: i) compute an approximate Spectral Embedding via the Power method; and ii) partition the resulting vector set with an approximate $k$-means clustering algorithm. The resulting $k$-means partition naturally induces a $k$-way node partition of $G$. We give a comprehensive analysis of ASC building on the work of Peng et al.~(SICOMP'17), Boutsidis et al.~(ICML'15) and Ostrovsky et al.~(JACM'13). We show that ASC i) runs efficiently, and ii) yields a good approximation of an optimal $k$-way node partition of $G$. Moreover, we strengthen the quality guarantees of a structural result of Peng et al. by a factor of $k$, and simultaneously weaken the eigenvalue gap assumption. Further, we show that ASC finds a $k$-way node partition of $G$ with the strengthened quality guarantees.


title: Narrow Orthogonally Additive Operators on Lattice-Normed Spaces

abstract: The aim of this article is to extend results of M.~Popov and second named author about orthogonally additive narrow operators on vector lattices. The main object of our investigations are an orthogonally additive narrow operators between lattice-normed spaces. We prove that every $C$-compact laterally-to-norm continuous orthogonally additive operator from a Banach-Kantorovich space $V$ to a Banach lattice $Y$ is narrow. We also show that every dominated Uryson operator from Banach-Kantorovich space over an atomless Dedekind complete vector lattice $E$ to a sequence Banach lattice $\ell_p(\Gamma)$ or $c_0(\Gamma)$ is narrow. Finally, we prove that if an orthogonally additive dominated operator $T$ from lattice-normed space $(V,E)$ to Banach-Kantorovich space $(W,F)$ is order narrow then the order narrow is its exact dominant $\ls T\rs$.


title: The origin of anisotropy and high density of states in the electronic structure of Cr$_2$GeC by means of polarized soft X-ray spectroscopy and ab initio calculations

abstract: The anisotropy in the electronic structure of the inherently nanolaminated ternary phase Cr$_{2}$GeC is investigated by bulk-sensitive and element selective soft x-ray absorption/emission spectroscopy. The angle-resolved absorption/emission measurements reveal differences between the in-plane and out-of-plane bonding at the (0001) interfaces of Cr$_{2}$GeC. The Cr $L_{2,3}$, C $K$, and Ge $M_{1}$, $M_{2,3}$ emission spectra are interpreted with first-principles density-functional theory (DFT) including core-to-valence dipole transition matrix elements. For the Ge $4s$ states, the x-ray emission measurements reveal two orders of magnitude higher intensity at the Fermi level than DFT within the General Gradient Approximation (GGA) predicts. We provide direct evidence of anisotropy in the electronic structure and the orbital occupation that should affect the thermal expansion coefficient and transport properties. As shown in this work, hybridization and redistribution of intensity from the shallow $3d$ core levels to the $4s$ valence band explain the large Ge density of states at the Fermi level.


title: Measurement of radiation coherence by means of interference visibility in the reflected light

abstract: Proposed, justified and tested measuring of beam spatial coherence, based on the detection of an interference visibility of the equal to intensity of beam replicas emerging under reflection from the rotated plane-parallel plate. The method consists in measuring the interference contrast at the simultaneous change of the longitudinal path difference and transverse shift of named replicas. Accurate measurement of the angle of rotated plate and the amplitude distribution of interferential minimaxes allows to determine the width of the beam spatial coherence. Spatial coherence of some types of multimode lasers has been measured by the method. Keywords: coherence measurements, interference in 2 move apart beam, rotable interferometer


title: Stochastic Analysis Of An Incoherent Feedforward Genetic Motif

abstract: Gene products (RNAs, proteins) often occur at low molecular counts inside individual cells, and hence are subject to considerable random fluctuations (noise) in copy number over time. Not surprisingly, cells encode diverse regulatory mechanisms to buffer noise. One such mechanism is the incoherent feedforward circuit. We analyze a simplistic version of this circuit, where an upstream regulator X affects both the production and degradation of a protein Y. Thus, any random increase in X's copy numbers would increase both production and degradation, keeping Y levels unchanged. To study its stochastic dynamics, we formulate this network into a mathematical model using the Chemical Master Equation formulation. We prove that if the functional dependence of Y's production and degradation on X is similar, then the steady-distribution of Y's copy numbers is independent of X. To investigate how fluctuations in Y propagate downstream, a protein Z whose production rate only depend on Y is introduced. Intriguingly, results show that the extent of noise in Z increases with noise in X, in spite of the fact that the magnitude of noise in Y is invariant of X. Such counter intuitive results arise because X enhances the time-scale of fluctuations in Y, which amplifies fluctuations in downstream processes. In summary, while feedforward systems can buffer a protein from noise in its upstream regulators, noise can propagate downstream due to changes in the time-scale of fluctuations.


title: Identities of symmetry for the generalized degenerate Euler polynomials

abstract: In this paper, we give some identities of symmetry for the generalized degenerate Euler polynomials attached to chi which are derived from the symmetric properties for certain fermionic p-adic integrals on Zp.


title: Twists on the Torus Equivariant under the 2-Dimensional Crystallographic Point Groups

abstract: A twist is a datum playing a role of a local system for topological $K$-theory. In equivariant setting, twists are classified into four types according to how they are realized geometrically. This paper lists the possible types of twists for the torus with the actions of the point groups of all the 2-dimensional space groups (crystallographic groups), or equivalently, the torus with the actions of all the possible finite subgroups in its mapping class group. This is carried out by computing Borel's equivariant cohomology and the Leray-Serre spectral sequence. As a byproduct, the equivariant cohomology up to degree three is determined in all cases. The equivariant cohomology with certain local coefficients is also considered in relation to the twists of the Freed-Moore $K$-theory.


title: Coloring Square-free Berge Graphs

abstract: We consider the class of Berge graphs that do not contain a chordless cycle of length $4$. We present a purely graph-theoretical algorithm that produces an optimal coloring in polynomial time for every graph in that class.


title: Cooperative peer-to-peer multiagent based systems

abstract: A multiagent based model for a system of cooperative agents aiming at growth is proposed. This is based on a set of generalized Verhulst-Lotka-Volterra differential equations. In this study, strong cooperation is allowed among agents having similar sizes, and weak cooperation if agent have markedly different "sizes", thus establishing a peer-to-peer modulated interaction scheme. A rigorous analysis of the stable configurations is presented first examining the fixed points of the system, next determining their stability as a function of the model parameters. It is found that the agents are self-organizing into clusters. Furthermore, it is demonstrated that, depending on parameter values, multiple stable configurations can coexist. It occurs that only one of them always emerges with probability close to one, because its associated attractor dominates over the rest. This is shown through numerical integrations and simulations,after analytic developments. In contrast to the competitive case, agents are able to increase their capacity beyond the no-interaction case limit. In other words, when some collaborative partnership among a relatively small number of partners takes place, all agents act in good faith prioritizing the common good, whence receiving a mutual benefit allowing them to surpass their capacity.


title: Local rotational symmetry Gowdy model in Loop Quantum Gravity

abstract: We provide a complete quantization for the Gowdy model with local rotational symmetry in vacuum. We start with a redefinition of the classical constraint algebra such that the Hamiltonian constraint has a vanishing Poisson bracket with itself. We apply a canonical quantization within loop quantum gravity and an improved dynamics scheme. We construct the exact solutions to the constraints and the physical Hilbert space, together with the physical observables. The quantization provides a physical picture without singularities. Besides, a genuine discretization of the spatial geometry emerges by means of a new quantum observable without classical analogue.


title: A Second Order Time Homogenized Model for Sediment Transport

abstract: A multi-scale method for the hyperbolic systems governing sediment transport in subcritical case is developed. The scale separation of this problem is due to the fact that the sediment transport is much slower than flow velocity. We first derive a zeroth order homogenized model, and then propose a first order correction. It is revealed that the first order correction for hyperbolic systems has to be applied on the characteristic speed of slow variables in one dimensional case. In two dimensional case, besides the characteristic speed, the source term is also corrected. We develop a second order numerical scheme following the framework of heterogeneous multi-scale method. The numerical results in both one and two dimensional cases demonstrate the effectiveness and efficiency of our method.


title: Fault Tolerance in Distributed Neural Computing

abstract: With the increasing complexity of computing systems, complete hardware reliability can no longer be guaranteed. We need, however, to ensure overall system reliability. One of the most important features of artificial neural networks is their intrinsic fault-tolerance. The aim of this work is to investigate whether such networks have features that can be applied to wider computational systems. This paper presents an analysis, in both the learning and operational phases, of a distributed feed-forward neural network with decentralised event-driven time management, which is insensitive to intermittent faults caused by unreliable communication or faulty hardware components. The learning rules used in the model are local in space and time, which allows efficient scalable distributed implementation. We investigate the overhead caused by injected faults and analyse the sensitivity to limited failures in the computational hardware in different areas of the network.


title: Four variants of the Fourier-analytic transference principle

abstract: We survey four instances of the Fourier analytic 'transference principle' or 'dense model lemma', which allows one to approximate an unbounded function on the integers by a bounded function with similar Fourier transform. Such a result forms a component of a general method pioneered by Green to count solutions to a single linear equation in a sparse subset of integers.


title: General relativistic tidal heating for Moller pseudotensor

abstract: Thorne elucidated that the relativistic tidal heating is the same as the Newtonian theory. Moreover, Thorne also claimed that the tidal heating is independent of how one localizes gravitational energy and is unambiguously given by a certain formula. Purdue and Favata calculated the tidal heating for different classical pseudotensors including Moller and obtained the results all matched with the Newtonian perspective. After re-examined this Moller pseudotensor, we find that there does not exist any tidal heating value. Thus we claim that the relativistic tidal heating is pseudotensor independent under the condition that if the peusdotensor is a Freud typed superpotential.


title: Periodic measures are dense in invariant measures for residually finite amenable group actions with specification

abstract: We prove that for certain actions of a discrete countable residually finite amenable group acting on a compact metric space with specification property, periodic measures are dense in the set of invariant measures.


title: ALMA Probes the Molecular Gas Reservoirs in the Changing-Look Seyfert Galaxy Mrk 590

abstract: We investigate if the active galactic nucleus (AGN) of Mrk 590, whose supermassive black hole was until recently highly accreting, is turning off due to a lack of central gas to fuel it. We analyse new sub-arcsecond resolution ALMA maps of the $^{12}$CO(3-2) line and 344 GHz continuum emission in Mrk 590. We detect no $^{12}$CO(3-2) emission in the inner 150 pc, constraining the central molecular gas mass to $M({\rm H_2}) \lesssim 1.6 \times 10^5\, {M_{\odot}}$, no more than a typical giant molecular gas cloud, for a CO luminosity to gas mass conversion factor of $\alpha_{\rm CO}\sim 0.8\,{M_{\odot}\,\rm (K \,km\,s^{-1}\,pc^{2}})^{-1}$. However, there is still potentially enough gas to fuel the black hole for another $2.6 \times 10^5$ years assuming Eddington-limited accretion. We therefore cannot rule out that the AGN may just be experiencing a temporary feeding break, and may turn on again in the near future. We discover a ring-like structure at a radius of $\sim 1$ kpc, where a gas clump exhibiting disturbed kinematics and located just $\sim 200$ pc west of the AGN, may be refueling the centre. Mrk 590 does not have significantly less gas than other nearby AGN host galaxies at kpc scales, confirming that gas reservoirs at these scales provide no direct indication of on-going AGN activity and accretion rates. Continuum emission detected in the central 150 pc likely originates from warm AGN-heated dust, although contributions from synchrotron and free-free emission cannot be ruled out.


title: Submillimeter Observations of CLASH 2882 and the Evolution of Dust in this Galaxy

abstract: Two millimeter observations of the MACS J1149.6+2223 cluster have detected a source that was consistent with the location of the lensed MACS1149-JD galaxy at z=9.6. A positive identification would have rendered this galaxy as the youngest dust forming galaxy in the universe. Follow up observation with the AzTEC 1.1 mm camera and the IRAM NOrthern Extended Millimeter Array (NOEMA) at 1.3 mm have not confirmed this association. In this paper we show that the NOEMA observations associate the 2 mm source with [PCB2012] 2882 ([PCB2012] 2882 is the NED-searchable name for this source.), source number 2882 in the Hubble Space Telescope ( HST) Cluster Lensing and Supernova (CLASH) catalog of MACS J1149.6+2223. This source, hereafter referred to as CLASH 2882, is a gravitationally lensed spiral galaxy at z=0.99. We combine the GISMO 2 mm and NOEMA 1.3 mm fluxes with other (rest frame) UV to far-IR observations to construct the full spectral energy distribution (SED) of this galaxy, and derive its star formation history, and stellar and interstellar dust content. The current star formation rate of the galaxy is 54/mu Msun yr-1, and its dust mass is about 5 10^7/mu Msun, where mu is the lensing magnification factor for this source, which has a mean value of 2.7. The inferred dust mass is higher than the maximum dust mass that can be produced by core collapse supernovae (CCSN) and evolved AGB stars. As with many other star forming galaxies, most of the dust mass in CLASH 2882 must have been accreted in the dense phases of the ISM.


title: Efficient magnetic-field amplification due to the Kelvin-Helmholtz instability in binary neutron star mergers

abstract: We explore magnetic-field amplification due to the Kelvin-Helmholtz instability during binary neutron star mergers. By performing high-resolution general relativistic magnetohydrodynamics simulations with a resolution of $17.5$ m for $4$--$5$ ms after the onset of the merger on the Japanese supercomputer "K", we find that an initial magnetic field of moderate maximum strength $10^{13}$ G is amplified at least by a factor of $\approx 10^3$. We also explore the saturation of the magnetic-field energy and our result shows that it is likely to be $\gtrsim 4 \times 10^{50}$ erg, which is $\gtrsim 0.1\%$ of the bulk kinetic energy of the merging binary neutron stars.

categories: astro-ph.HE astro-ph.CO astro-ph.SR gr-qc nucl-th


title: Looking more closely to the Rabinovich-Fabrikant system

abstract: Recently, we look more closely into the Rabinovich-Fabrikant system, after a decade of the study in [Danca & Chen, 2004], discovering some new characteristics such as cycling chaos, transient chaos, chaotic hidden attractors and a new kind of saddles-like attractor. In addition to extensive and accurate numerical analysis, on the assumptive existence of heteroclinic orbits, we provide a few of their approximations.


title: Pattern Formation Problem for Synchronous Mobile Robots in the Three Dimensional Euclidean Space

abstract: We consider a swarm of autonomous mobile robots each of which is an anonymous point in the three-dimensional Euclidean space (3D-space) and synchronously executes a common distributed algorithm. We investigate the pattern formation problem that requires the robots to form a given target pattern from an initial configuration and characterize the problem by showing a necessary and sufficient condition for the robots to form a given target pattern. The pattern formation problem in the two dimensional Euclidean space (2D-space) has been investigated by Suzuki and Yamashita (SICOMP 1999, TCS 2010), and Fujinaga et al. (SICOMP 2015). The symmetricity $\rho(P)$ of a configuration (i.e., the positions of robots) $P$ is intuitively the order of the cyclic group that acts on $P$. It has been shown that fully-synchronous (FSYNC) robots can form a target pattern $F$ from an initial configuration $P$ if and only if $\rho(P)$ divides $\rho(F)$. We extend the notion of symmetricity to 3D-space by using the rotation groups each of which is defined by a set of rotation axes and their arrangement. We define the symmetricity $\varrho(P)$ of configuration $P$ in 3D-space as the set of rotation groups that acts on $P$ and whose rotation axes do not contain any robot. We show the following necessary and sufficient condition for the pattern formation problem which is a natural extension of the existing results of the pattern formation problem in 2D-space: FSYNC robots in 3D-space can form a target pattern $F$ from an initial configuration $P$ if and only if $\varrho(P) \subseteq \varrho(F)$. For solvable instances, we present a pattern formation algorithm for oblivious FSYNC robots. The insight of this paper is that symmetry of mobile robots in 3D-space is sometimes lower than the symmetry of their positions and the robots can show their symmetry by their movement.


title: A high-order positivity-preserving single-stage single-step method for the ideal magnetohydrodynamic equations

abstract: We propose a high-order finite difference weighted ENO (WENO) method for the ideal magnetohydrodynamics (MHD) equations. The proposed method is single-stage, single-step, maintains a discrete divergence-free condition on the magnetic field, and has the capacity to preserve the positivity of the density and pressure. To accomplish this, we use a Taylor discretization of the Picard integral formulation (PIF) of the finite difference WENO method proposed in [SINUM, 53 (2015), pp. 1833--1856], where the focus is on a high-order discretization of the fluxes (as opposed to the conserved variables). We use the version where fluxes are expanded to third-order accuracy in time, and for the fluid variables space is discretized using the classical fifth-order finite difference WENO discretization. We use constrained transport in order to obtain divergence-free magnetic fields, which means that we simultaneously evolve the magnetohydrodynamic and magnetic potential equations, and set the magnetic field to be the (discrete) curl of the magnetic potential after each time step. In this work, we compute these curls to fourth-order accuracy. In order to retain a single-stage, single-step method, we develop a novel Lax-Wendroff discretization for the evolution of the magnetic potential, where we start with technology used for Hamilton-Jacobi equations in order to construct a non-oscillatory magnetic field. Positivity preservation is realized by introducing a parameterized flux limiter that considers a linear combination of high and low-order numerical fluxes. This positivity limiter lacks energy conservation. However, this limiter can be dropped for problems where the pressure does not become negative. We present two and three dimensional numerical results for several standard test problems. These results assert the robustness and verify the high-order of accuracy of the proposed scheme.


title: Inconsistency of Primitive Recursive Arithmetic

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: On trees with the same restricted U-polynomial and the Prouhet-Tarry-Escott problem

abstract: This paper focuses on the well-known problem due to Stanley of whether two non-isomorphic trees can have the same $U$-polynomial (or, equivalently, the same chromatic symmetric function). We consider the $U_k$-polynomial, which is a restricted version of $U$-polynomial, and construct with the help of solutions of the Prouhet-Tarry-Escott problem, non-isomorphic trees with the same $U_k$-polynomial for any given $k$. By doing so, we also find a new class of trees that are distinguished by the $U$-polynomial up to isomorphism.


title: Normalized rotation shape descriptors and lossy compression of molecular shape

abstract: There is a common need to search of molecular databases for compounds resembling some shape, what suggests having similar biological activity while searching for new drugs. The large size of the databases requires fast methods for such initial screening, for example based on feature vectors constructed to fulfill the requirement that similar molecules should correspond to close vectors. Ultrafast Shape Recognition (USR) is a popular approach of this type. It uses vectors of 12 real number as 3 first moments of distances from 4 emphasized points. These coordinates might contain unnecessary correlations and does not allow to reconstruct the approximated shape. In contrast, spherical harmonic (SH) decomposition uses orthogonal coordinates, suggesting their independence and so lager informational content of the feature vector. There is usually considered rotationally invariant SH descriptors, what means discarding of some essential information. This article discusses framework for descriptors with normalized rotation, for example by using principal component analysis (PCA-SH). As one of the most interesting are ligands which have to slide into a protein, we will introduce descriptors optimized for such flat elongated shapes. Bent deformed cylinder (BDC) describes the molecule as a cylinder which was first bent, then deformed such that its cross-sections became ellipses of evolving shape. Legendre polynomials are used to describe the central axis of such bent cylinder. Additional polynomials are used to define evolution of such elliptic cross-section along the main axis. There will be also discussed bent cylindrical harmonics (BCH), which uses cross-sections described by cylindrical harmonics instead of ellipses. All these normalized rotation descriptors allow to reconstruct (decode) the approximated representation of the shape, hence can be also used for lossy compression purposes.


title: Elastic regimes of sub-isostatic athermal fiber networks

abstract: Athermal models of disordered fibrous networks are highly useful for studying the mechanics of elastic networks composed of stiff biopolymers. The underlying network architecture is a key aspect that can affect the elastic properties of these systems, which include rich linear and nonlinear elasticity. Existing computational approaches have focused on both lattice-based and off-lattice networks obtained from the random placement of rods. It is not obvious, a priori, whether the two architectures have fundamentally similar or different mechanics. If they are different, it is not clear which of these represents a better model for biological networks. Here, we show that both approaches are essentially equivalent for the same network connectivity, provided the networks are sub-isostatic with respect to central force interactions. Moreover, for a given sub-isostatic connectivity, we even find that lattice-based networks in both 2D and 3D exhibit nearly identical nonlinear elastic response. We provide a description of the linear mechanics for both architectures in terms of a scaling function. We also show that the nonlinear regime is dominated by fiber bending and that stiffening originates from the stabilization of sub-isostatic networks by stress. We propose a generalized relation for this regime in terms of the self-generated normal stresses that develop under deformation. Different network architectures have different susceptibilities to the normal stress, but essentially exhibit the same nonlinear mechanics. Such stiffening mechanism has been shown to successfully capture the nonlinear mechanics of collagen networks.


title: On the quasi-unconditional stability of BDF-ADI solvers for the compressible Navier-Stokes equations

abstract: The companion paper "Higher-order in time quasi-unconditionally stable ADI solvers for the compressible Navier-Stokes equations in 2D and 3D curvilinear domains", which is referred to as Part I in what follows, introduces ADI (Alternating Direction Implicit) solvers of higher orders of temporal accuracy (orders $s = 2$ to $6$) for the compressible Navier-Stokes equations in two- and three-dimensional space. The proposed methodology employs the backward differentiation formulae (BDF) together with a quasilinear-like formulation, high-order extrapolation for nonlinear components, and the Douglas-Gunn splitting. A variety of numerical results presented in Part I demonstrate in practice the theoretical convergence rates enjoyed by these algorithms, as well as their excellent accuracy and stability properties for a wide range of Reynolds numbers. In particular, the proposed schemes enjoy a certain property of "quasi-unconditional stability": for small enough (problem-dependent) fixed values of the time-step $\Delta t$, these algorithms are stable for arbitrarily fine spatial discretizations. The present contribution presents a mathematical basis for the performance of these algorithms. Short of providing stability theorems for the full BDF-ADI Navier-Stokes solvers, this paper puts forth proofs of unconditional stability and quasi-unconditional stability for BDF-ADI schemes as well as some related un-split BDF schemes, for a variety of related linear model problems in one, two and three spatial dimensions, and for schemes of orders $2\leq s\leq 6$ of temporal accuracy. Additionally, a set of numerical tests presented in this paper for the compressible Navier-Stokes equation indicate that quasi-unconditional stability carries over to the fully non-linear context.


title: Resonant optical control of the structural distortions that drive ultrafast demagnetization in Cr$_2$O$_3$

abstract: We study how the color and polarization of ultrashort pulses of visible light can be used to control the demagnetization processes of the antiferromagnetic insulator Cr$_2$O$_3$. We utilize time-resolved second harmonic generation (SHG) to probe how changes in the magnetic and structural state evolve in time. We show that, varying the pump photon-energy to excite either localized transitions within the Cr or charge transfer states, leads to markedly different dynamics. Through a full polarization analysis of the SHG signal, symmetry considerations and density functional theory calculations, we show that, in the non-equilibrium state, SHG is sensitive to {\em both} lattice displacements and changes to the magnetic order, which allows us to conclude that different excited states couple to phonon modes of different symmetries. Furthermore, the spin-scattering rate depends on the induced distortion, enabling us to control the timescale for the demagnetization process. Our results suggest that selective photoexcitation of antiferromagnetic insulators allows fast and efficient manipulation of their magnetic state.


title: Vector-valued characters on Vector-valued Function Algebras

abstract: Let $A$ be a commutative Banach algebra and $X$ be a compact space. The class of Banach $A$-valued function algebras on $X$ consists of subalgebras of $C(X,A)$ with certain properties. We introduce the notion of $A$-characters on an $A$-valued function algebra $\A$ as homomorphisms from $\A$ into $A$ that basically have the same properties as the evaluation homomorphisms $\cE_x:f\mapsto f(x)$, with $x\in X$. For the so-called natural $A$-valued function algebras, such as $C(X,A)$ and $\Lip(X,A)$, we show that $\cE_x$ ($x\in X$) are the only $A$-characters. Vector-valued characters are utilized to identify vector-valued spectrums. When $A=\C$, Banach $A$-valued function algebras reduce to Banach function algebras, and $A$-characters reduce to characters.


title: Convergence to Stratified Flow for an Inviscid 3D Boussinesq System

abstract: We study the stability of special, stratified solutions of a 3d Boussinesq system describing an incompressible, inviscid 3d fluid with variable density (or temperature, depending on the context) under the effect of a uni-directional gravitational force. The behavior is shown to depend on the properties of an anisotropic dispersive operator with weak decay in time. However, the dispersive decay also depends on the strength of the gravity in the system and on the profile of the stratified solution, whose stability we study. We show that as the strength of the dispersion in the system tends to infinity, the 3d system of equations tends to a stratified system of 2d Euler equations with stratified density.


title: Total blow-ups of modules and universal flatifications

abstract: We study the projective spectrum of the Rees algebra of a module, and characterize it by a universal property. As applications, we give descriptions of universal flatifications of modules and of birational projective morphisms.


title: Hyperbolic geometry and pointwise ergodic theorems

abstract: We establish pointwise ergodic theorems for a large class of natural averages on simple Lie groups of real-rank-one, going well beyond the radial case considered previously. The proof is based on a new approach to pointwise ergodic theorems, which is independent of spectral theory. Instead, the main new ingredient is the use of direct geometric arguments in hyperbolic space.


title: Fractal Curves and Rugs of Prescribed Conformal Dimension

abstract: We construct Jordan arcs of prescribed conformal dimension which are minimal for conformal dimension. These curves are used to design fractal rugs, similar to Rickman's rug, that are also minimal for conformal dimension. These fractal rugs could potentially settle a standing conjecture regarding the existence of metric spaces of prescribed topological conformal dimension.