title: Exploiting Prior Information in Block Sparse Signals

abstract: We study the problem of recovering a block-sparse signal from under-sampled observations. The non-zero values of such signals appear in few blocks, and their recovery is often accomplished using a $\ell_{1,2}$ optimization problem. In applications such as DNA micro-arrays, some prior information about the block support, i.e., blocks containing non-zero elements, is available. A typical way to consider the extra information in recovery procedures is to solve a weighted $\ell_{1,2}$ problem. In this paper, we consider a block sparse model, where the block support has intersection with some given subsets of blocks with known probabilities. Our goal in this work is to minimize the number of required linear Gaussian measurements for perfect recovery of the signal by tuning the weights of a weighted $\ell_{1,2}$ problem. For this goal, we apply tools from conic integral geometry and derive closed-form expressions for the optimal weights. We show through precise analysis and simulations that the weighted $\ell_{1,2}$ problem with optimal weights significantly outperforms the regular $\ell_{1,2}$ problem. We further examine the sensitivity of the optimal weights to the mismatch of block probabilities, and conclude stability under small probability deviations.


title: Fractional Newton-Raphson Method Accelerated with Aitken's Method

abstract: In the following document, we present a way to obtain the order of convergence of the Fractional Newton-Raphson (F N-R) method, which seems to have an order of convergence at least linearly for the case in which the order $\alpha$ of the derivative is different from one. A simplified way of constructing the Riemann-Liouville (R-L) fractional operators, fractional integral and fractional derivative, is presented along with examples of its application on different functions. Furthermore, an introduction to the Aitken's method is made and it is explained why it has the ability to accelerate the convergence of the iterative methods, to finally present the results that were obtained when implementing the Aitken's method in the F N-R method.

categories: math.NA cs.NA math-ph math.CV math.MP physics.app-ph physics.comp-ph


title: Remarks on Banach spaces determined by their finite dimensional subspaces

abstract: A separable Banach space $X$ is said to be finitely determined if for each separable space $Y$ such that $X$ is finitely representable (f.r.) in $Y$ and $Y$ is f.r. in $X$ then $Y$ is isometric to $X$. We provide a direct proof (without model theory) of the fact that every finitely determined space $X$ (isometrically) contains every (separable) space $Y$ which is finitely representable in $X$. We also point out how a similar argument proves the Krivine-Maurey theorem on stable Banach spaces, and give the model theoretic interpretations of some results.


title: Sharp off-diagonal weighted weak type estimates for sparse operators

abstract: We prove sharp weak type weighted estimates for a class of sparse operators that includes majorants of standard $\alpha$-fractional singular integrals, fractional integral operators, Marcinkiewicz integral operators, and square functions. These bounds are knows to be sharp in many cases, and our main new result is the optimal bound $$[w]_{A_{p,q}}^{\frac{1}{q}}[w^{q}]_{A_{\infty}}^{\frac{1}{2}-\frac{1}{p}}\lesssim[w]_{A_{p,q}}^{\frac{1}{2}-\frac{\alpha}{d}}$$ for proper conditions which satisfy that three index $p$, $q$ and $\alpha$ ensure weak type norm of fractional square functions on $L^{q}(w^{q})$ with $p>2$.


title: On Asymptotic Formula for the First Moment of the Riemann Zeta-Function on the Critical Line

abstract: In the present paper the asymptotic formulae for the first moment of the Riemann zeta-function on the critical line is proven under assumption of the Riemann Hypothesis.


title: Residuation algebras with functional duals

abstract: We employ the theory of canonical extensions to study residuation algebras whose associated relational structures are functional, i.e., for which the ternary relations associated to the expanded operations admit an interpretation as (possibly partial) functions. Providing a partial answer to a question of Gehrke, we demonstrate that no universal first-order sentence in the language of residuation algebras is equivalent to the functionality of the associated relational structures.


title: Decorrelated Batch Normalization

abstract: Batch Normalization (BN) is capable of accelerating the training of deep models by centering and scaling activations within mini-batches. In this work, we propose Decorrelated Batch Normalization (DBN), which not just centers and scales activations but whitens them. We explore multiple whitening techniques, and find that PCA whitening causes a problem we call stochastic axis swapping, which is detrimental to learning. We show that ZCA whitening does not suffer from this problem, permitting successful learning. DBN retains the desirable qualities of BN and further improves BN's optimization efficiency and generalization ability. We design comprehensive experiments to show that DBN can improve the performance of BN on multilayer perceptrons and convolutional neural networks. Furthermore, we consistently improve the accuracy of residual networks on CIFAR-10, CIFAR-100, and ImageNet.


title: Effect of Cobalt Content on the Electrochemical Properties and Structural Stability of NCA Type Cathode Materials

abstract: At present, the most common type of cathode materials, NCA [Li_(1-x)Ni_(0.80)Co_(0.15)Al_(0.05)O_(2), x = 0 to 1], have a very high concentration of cobalt. Since cobalt is toxic and expensive, the existing design of cathode materials is neither cost-effective nor environmentally benign. We have performed density functional theory (DFT) calculations to investigate electrochemical, electronic, and structural properties of four types of NCA cathode materials with the simultaneous decrease in Co content along with the increase in Ni content. Our results show that even if the cobalt concentration is significantly decreased from 16.70 % (NCA_I) to 4.20 % (NCA_IV), variation in intercalation potential and specific capacity is not significant. For example, in case of 50% Li concentration, the voltage drop is only ~17% while the change in specific capacity is negligible. Moreover, we have also explored the influence of sodium doping in the intercalation site on the electrochemical, electronic, and structural properties. By considering two extreme cases of NCAs (i.e., with highest and lowest Co content: NCA_I and NCA_IV respectively), we have demonstrated the importance of Na doping from the structural and electronic point of view. Our results provide insight into the design of environmentally benign, low-cost cathode materials with reduced cobalt concentration.


title: Two closed geodesics on compact bumpy Finsler manifolds

abstract: In this paper, we prove there are at least two closed geodesics on any compact bumpy Finsler $n$-manifold with $n\ge 2$. Thus generically there are at least two closed geodesics on compact Finsler manifolds. Furthermore, there are at least two closed geodesics on any compact Finsler $2$-manifold, and this lower bound is achieved by the Katok 2-sphere, cf. \cite{Kat}.


title: Generation of Shear Waves by Laser in Soft Media in the Ablative and Thermoelastic Regimes

abstract: This article describes the generation of elastic shear waves in a soft medium using a laser beam. Our experiments show two different regimes depending on laser energy. Physical modeling of the underlying phenomena reveals a thermoelastic regime caused by a local dilatation resulting from temperature increase, and an ablative regime caused by a partial vaporization of the medium by the laser. Computed theoretical displacements are close to experimental measurements. A numerical study based on the physical modeling gives propagation patterns comparable to those generated experimentally. These results provide a physical basis for the feasibility of a shear wave elastography technique (a technique which measures a soft solid stiffness from shear wave propagation) by using a laser beam.


title: Attention Based Natural Language Grounding by Navigating Virtual Environment

abstract: In this work, we focus on the problem of grounding language by training an agent to follow a set of natural language instructions and navigate to a target object in an environment. The agent receives visual information through raw pixels and a natural language instruction telling what task needs to be achieved and is trained in an end-to-end way. We develop an attention mechanism for multi-modal fusion of visual and textual modalities that allows the agent to learn to complete the task and achieve language grounding. Our experimental results show that our attention mechanism outperforms the existing multi-modal fusion mechanisms proposed for both 2D and 3D environments in order to solve the above-mentioned task in terms of both speed and success rate. We show that the learnt textual representations are semantically meaningful as they follow vector arithmetic in the embedding space. The effectiveness of our attention approach over the contemporary fusion mechanisms is also highlighted from the textual embeddings learnt by the different approaches. We also show that our model generalizes effectively to unseen scenarios and exhibit zero-shot generalization capabilities both in 2D and 3D environments. The code for our 2D environment as well as the models that we developed for both 2D and 3D are available at https://github.com/rl-lang-grounding/rl-lang-ground.


title: Effects of Anisotropic Stress in Interacting Dark Matter - Dark Energy Scenarios

abstract: We study a novel interacting dark energy $-$ dark matter scenario where the anisotropic stress of the large scale inhomogeneities is considered. The dark energy has a constant equation of state and the interaction model produces stable perturbations. The resulting picture is constrained using different astronomical data aiming to measure the impact of the anisotropic stress on the cosmological parameters. Our analyses show that a non-zero interaction in the dark sector is allowed while a non-interaction scenario is recovered within 68\% CL. The anisotropic stress is also constrained to be small, and its zero value is permitted within 68\% CL. The dark energy equation of state, $w_x$, is also found to be close to `$-1$' boundary. However, from the ratio of the CMB TT spectra, we see that the model has a mild deviation from the $\Lambda$CDM cosmology while such deviation is almost forbidden from the CMB TT spectra alone. Although the deviation is not much significant, but from the present data, we cannot exclude such deviation. Overall, at the background level, the model is close to the $\Lambda$CDM cosmology while at the level of perturbations, a non-zero but a very small interaction in the dark sector is permitted. Perhaps, a more accurate conclusion can be made with the next generation of surveys. We also found that the region $w_x < -1$, is found to be effective to release the tension on $H_0$. Finally, from the Bayesian analysis, we find that $\Lambda$CDM remains in still preferred over the interacting scenarios.


title: 2+1 dimensional gravity

abstract: It gives me great pleasure to review some of the joint work by Tullio Regge and myself. We worked intensely on 2+1-dimensional gravity from 1989 for about five years, and published 16 articles. I will present and review two of our early articles, highlighting what I believe are the most important results, some of them really surprising, and discuss later developments.


title: Evidence for two-electron processes in the mutual neutralization of O- with O+ and N+ at Subthermal Collision Energies

abstract: We have measured total absolute cross sections for the Mutual Neutralization (MN) of O- with O+/N+. A fine resolution (of about 50 meV) in the kinetic energy spectra of the product neutral atoms allows unique identification of the atomic states participating in the mutual neutralization process. Cross sections and branching ratios have also been calculated down to 1 meV center-of-mass collision energy for these two systems with a multi-channel Landau-Zener model and an asymptotic method for the ionic-covalent coupling matrix elements. The importance of two-electron processes in one-electron transfer is demonstrated by the dominant contribution of a core-excited configuration of the nitrogen atom in N+ + O- collisions. This effect is partially accounted for by introducing configuration mixing in the evaluation of coupling matrix elements.


title: CardKit: A Card-Based Programming Framework for Drones

abstract: Drones are being used in many industries for a variety of applications, including inspecting bridges, surveying farm land, and delivering cargo. Automating these kinds of scenarios requires more than following a sequence of GPS waypoints; they require integrating on-device hardware with real-time analysis to provide feedback and control to the drone. Currently, implementing these kinds of advanced scenarios is a complex task, requiring skilled software engineers programming with drone APIs. We envision an alternate model to enable drone operators to orchestrate advanced behaviors using a card-based approach. We describe the design of our card-based programming model, position it relative to other visual programming metaphors, share results from our paper prototype user study, and discuss our learnings from its implementation. Results suggest that a wide range of scenarios can be implemented with moderate mental effort and learning, balanced by intuitiveness and engagement.


title: Strong-coupling theory of counterions between symmetrically charged walls: from crystal to fluid phases

abstract: We study thermal equilibrium of classical pointlike counterions confined between symmetrically charged walls at distance $d$. At very large couplings when the counterion system is in its crystal phase, a harmonic expansion of particle deviations is made around the bilayer positions, with a free lattice parameter determined from a variational approach. For each of the two walls, the harmonic expansion implies an effective one-body potential at the root of all observables of interest in our Wigner Strong-Coupling expansion. Analytical results for the particle density profile and the pressure are in good agreement with numerical Monte Carlo data, for small as well as intermediate values of $d$ comparable with the Wigner lattice spacing. While the strong-coupling theory is extended to the fluid regime by using the concept of a correlation hole, the Wigner calculations appear trustworthy for all electrostatic couplings investigated. Our results significantly extend the range of accuracy of analytical equations of state for strongly interacting charged planar interfaces.


title: Mixing Context Granularities for Improved Entity Linking on Question Answering Data across Entity Categories

abstract: The first stage of every knowledge base question answering approach is to link entities in the input question. We investigate entity linking in the context of a question answering task and present a jointly optimized neural architecture for entity mention detection and entity disambiguation that models the surrounding context on different levels of granularity. We use the Wikidata knowledge base and available question answering datasets to create benchmarks for entity linking on question answering data. Our approach outperforms the previous state-of-the-art system on this data, resulting in an average 8% improvement of the final score. We further demonstrate that our model delivers a strong performance across different entity categories.


title: Error Bounds for FDD Massive MIMO Channel Covariance Conversion with Set-Theoretic Methods

abstract: We derive novel bounds for the performance of algorithms that estimate the downlink covariance matrix from the uplink covariance matrix in frequency division duplex (FDD) massive multiple-input multiple-output (MIMO) systems. The focus is on algorithms that use estimates of the angular power spectrum as an intermediate step. Unlike previous results, the proposed bounds follow from simple arguments in possibly infinite dimensional Hilbert spaces, and they do not require strong assumptions on the array geometry or on the propagation model. Furthermore, they are suitable for the analysis of set-theoretic methods that can efficiently incorporate side information about the angular power spectrum. This last feature enables us to derive simple techniques to enhance set-theoretic methods without any heuristic arguments. In particular, we show that the performance of a simple algorithm that requires only a simple matrix-vector multiplication cannot be improved significantly in some practical scenarios, especially if coarse information about the support of the angular power spectrum is available.


title: One-dimensional scaling limits in a planar Laplacian random growth model

abstract: We consider a family of growth models defined using conformal maps in which the local growth rate is determined by $|\Phi_n'|^{-\eta}$, where $\Phi_n$ is the aggregate map for $n$ particles. We establish a scaling limit result in which strong feedback in the growth rule leads to one-dimensional limits in the form of straight slits. More precisely, we exhibit a phase transition in the ancestral structure of the growing clusters: for $\eta>1$, aggregating particles attach to their immediate predecessors with high probability, while for $\eta<1$ almost surely this does not happen.


title: Limited role of spatial self-structuring in emergent trade-offs during pathogen evolution

abstract: Pathogen transmission and virulence are main evolutionary variables broadly assumed to be linked through trade-offs. In well-mixed populations, these trade-offs are often ascribed to physiological restrictions, while populations with spatial self-structuring might evolve emergent trade-offs. Here, we reexamine a model of the latter kind proposed by Ballegooijen and Boerlijst with the aim of characterising the mechanisms causing the emergence of the trade-off and its structural robustness. Using invadability criteria, we establish the conditions under which an evolutionary feedback between transmission and virulence mediated by pattern formation can poise the system to a critical boundary separating a disordered state (without emergent trade-off) from a self-structured phase (where the trade-off emerges), and analytically calculate the functional shape of the boundary in a certain approximation. Beyond evolutionary parameters, the success of an invasion depends on the size and spatial structure of the invading and invaded populations. Spatial self-structuring is often destroyed when hosts are mobile, changing the evolutionary dynamics to those of a well-mixed population. In a metapopulation scenario, the systematic extinction of the pathogen in the disordered phase may counteract the disruptive effect of host mobility, favour pattern formation and therefore recover the emergent trade-off.


title: Robust Beamforming with Pilot Reuse Scheduling in a Heterogeneous Cloud Radio Access Network

abstract: This paper considers a downlink ultra-dense heterogeneous cloud radio access network (H-CRAN) which guarantees seamless coverage and can provide high date rates. In order to reduce channel state information (CSI) feedback overhead, incomplete inter-cluster CSI is considered, i.e., each remote radio head (RRH) or macro base station (MBS) only measures the CSI from user equipments (UEs) in its serving cluster. To reduce pilot consumption, pilot reuse among UEs is assumed, resulting in imperfect intra-cluster CSI. A two-stage optimization problem is then formulated. In the first stage, a pilot scheduling algorithm is proposed to minimize the sum mean square error (MSE) of all channel estimates. Specifically, the minimum number of required pilots along with a feasible pilot allocation solution are first determined by applying the Dsatur algorithm, and adjustments based on the defined level of pilot contamination are then carried out for further improvement. Based on the pilot allocation result obtained in the first stage, the second stage aims to maximize the sum spectral efficiency (SE) of the network by optimizing the beam-vectors. Due to incomplete inter-cluster CSI and imperfect intra-cluster CSI, an explicit expression of each UE's achievable rate is unavailable. Hence, a lower bound on the achievable rate is derived based on Jensen's inequality, and an alternative robust transmission design (RTD) algorithm along with its distributed realization are then proposed to maximize the derived tight lower bound. Simulation results show that compared with existing algorithms, the system performance can be greatly improved by the proposed algorithms in terms of both sum MSE and sum SE.


title: Analytic calculation of high order corrections to quantum phase transitions of ultracold Bose gases in bipartite superlattices

abstract: We clarify some technical issues in the present generalized effective-potential Landau theory (GEPLT) that makes the GEPLT more consistent and complete. Utilizing this clarified GEPLT, we analytically study the quantum phase transitions of ultracold Bose gases in bipartite superlattices at zero termparture. The corresponding quantum phase boundaries are analytically calculated up to the third-order hopping, which are in excellent agreement with the quantum Monte Carlo (QMC) simulations.


title: Recovering the boundary path space of a topological graph using pointless topology

abstract: First, we generalize the definition of a locally compact topology given by Paterson and Welch for a sequence of locally compact spaces to the case where the underlying spaces are $T_1$ and sober. We then consider a certain semilattice of basic open sets for this topology on the space of all paths on a graph and impose relations motivated by the definitions of graph C*-algebra in order to recover the boundary path space of a graph. This is done using techniques of pointless topology. Finally, we generalize the results to the case of topological graphs.


title: Detection techniques and investigation of different neutrino experiments

abstract: Neutrino physics is an experimentally driven field. So, we investigate the different detection techniques available in the literature and study the various neutrino oscillation experiments in a chronological manner. Our primary focus is on the construction and detection mechanisms of each experiment. Today, we know a lot about this mysterious ghostly particle by performing different experiments at different times with different neutrino sources viz. solar, atmospheric, reactor, accelerators and high energy astrophysical; and they have contributed in the determination of neutrino parameters. Yet the problems are far from over. We need to determine more precise values of the already known parameters and unravel the completely unknown parameters. Some of the unknowns are absolute masses of neutrino, types of neutrino, mass hierarchy, octant degeneracy and existence of leptonic CP Phase(s). We analyse the neutrino experiments into the past, present and the future (or proposed). We include SNO, Kamiokande, K2K, MINOS, MINOS+, Chooz, NEMO and ICARUS in the past; while Borexino, Double Chooz, Super-K, T2K, IceCube, KamLAND, NO$\nu$A, RENO and Daya Bay in the present; and SNO+, Hyper-K, JUNO, RENO-50, INO, DUNE, SuperNEMO, KM3NeT, P2O, LBNO and PINGU in the proposed experiments. We also discuss the necessities of upgrading the present ones to those of the proposed ones thereby summarizing the potentials of the future experiments. We conclude this paper with the current status of the neutrinos.


title: Joint Enhancement and Denoising Method via Sequential Decomposition

abstract: Many low-light enhancement methods ignore intensive noise in original images. As a result, they often simultaneously enhance the noise as well. Furthermore, extra denoising procedures adopted by most methods ruin the details. In this paper, we introduce a joint low-light enhancement and denoising strategy, aimed at obtaining well-enhanced low-light images while getting rid of the inherent noise issue simultaneously. The proposed method performs Retinex model based decomposition in a successive sequence, which sequentially estimates a piece-wise smoothed illumination and a noise-suppressed reflectance. After getting the illumination and reflectance map, we adjust the illumination layer and generate our enhancement result. In this noise-suppressed sequential decomposition process we enforce the spatial smoothness on each component and skillfully make use of weight matrices to suppress the noise and improve the contrast. Results of extensive experiments demonstrate the effectiveness and practicability of our method. It performs well for a wide variety of images, and achieves better or comparable quality compared with the state-of-the-art methods.


title: The Neumann Boundary Problem for Elliptic Partial Differential Equations with Nonlinear Divergence Terms

abstract: We prove the existence and uniqueness of weak solution of a Neumann boundary problem for an elliptic partial differential equation (PDE for short) with a singular divergence term which can only be understood in a weak sense. A probabilistic approach is applied by studying the backward stochastic differential equation (BSDE for short) corresponding to the PDE.


title: Automatic Heap Layout Manipulation for Exploitation

abstract: Heap layout manipulation is integral to exploiting heap-based memory corruption vulnerabilities. In this paper we present the first automatic approach to the problem, based on pseudo-random black-box search. Our approach searches for the inputs required to place the source of a heap-based buffer overflow or underflow next to heap-allocated objects that an exploit developer, or automatic exploit generation system, wishes to read or corrupt. We present a framework for benchmarking heap layout manipulation algorithms, and use it to evaluate our approach on several real-world allocators, showing that pseudo-random black box search can be highly effective. We then present SHRIKE, a novel system that can perform automatic heap layout manipulation on the PHP interpreter and can be used in the construction of control-flow hijacking exploits. Starting from PHP's regression tests, SHRIKE discovers fragments of PHP code that interact with the interpreter's heap in useful ways, such as making allocations and deallocations of particular sizes, or allocating objects containing sensitive data, such as pointers. SHRIKE then uses our search algorithm to piece together these fragments into programs, searching for one that achieves a desired heap layout. SHRIKE allows an exploit developer to focus on the higher level concepts in an exploit, and to defer the resolution of heap layout constraints to SHRIKE. We demonstrate this by using SHRIKE in the construction of a control-flow hijacking exploit for the PHP interpreter.


title: The Temperature dependence of the magneto-resistance peak in highly disordered superconductors

abstract: Highly disordered superconductors have a rich phase diagram. At a moderate magnetic field (B) the samples go through the superconductor-insulator quantum phase transition. In the insulating phase, the resistance increases sharply with B up to a magneto-resistance peak beyond which the resistance drops with B. In this manuscript we follow the temperature (T) evolution of this magneto-resistance peak. We show that as T is reduced, the peak appears at lower B's approaching the critical field of the superconductor-insulator transition. Due to experimental limitations we are unable to determine whether the T=0 limiting position of the peak matches that of the critical field or is at comparable but slightly higher B. We show that, although the peak appears at different B values, its resistance follows an activated T dependence over a large T range with a prefactor that is very similar to the quantum of resistance for cooper-pairs.


title: High-Dimensional Estimation, Basis Assets, and the Adaptive Multi-Factor Model

abstract: The paper proposes a new algorithm for the high-dimensional financial data -- the Groupwise Interpretable Basis Selection (GIBS) algorithm, to estimate a new Adaptive Multi-Factor (AMF) asset pricing model, implied by the recently developed Generalized Arbitrage Pricing Theory, which relaxes the convention that the number of risk-factors is small. We first obtain an adaptive collection of basis assets and then simultaneously test which basis assets correspond to which securities, using high-dimensional methods. The AMF model, along with the GIBS algorithm, is shown to have a significantly better fitting and prediction power than the Fama-French 5-factor model.


title: Beyond Narrative Description: Generating Poetry from Images by Multi-Adversarial Training

abstract: Automatic generation of natural language from images has attracted extensive attention. In this paper, we take one step further to investigate generation of poetic language (with multiple lines) to an image for automatic poetry creation. This task involves multiple challenges, including discovering poetic clues from the image (e.g., hope from green), and generating poems to satisfy both relevance to the image and poeticness in language level. To solve the above challenges, we formulate the task of poem generation into two correlated sub-tasks by multi-adversarial training via policy gradient, through which the cross-modal relevance and poetic language style can be ensured. To extract poetic clues from images, we propose to learn a deep coupled visual-poetic embedding, in which the poetic representation from objects, sentiments and scenes in an image can be jointly learned. Two discriminative networks are further introduced to guide the poem generation, including a multi-modal discriminator and a poem-style discriminator. To facilitate the research, we have released two poem datasets by human annotators with two distinct properties: 1) the first human annotated image-to-poem pair dataset (with 8,292 pairs in total), and 2) to-date the largest public English poem corpus dataset (with 92,265 different poems in total). Extensive experiments are conducted with 8K images, among which 1.5K image are randomly picked for evaluation. Both objective and subjective evaluations show the superior performances against the state-of-the-art methods for poem generation from images. Turing test carried out with over 500 human subjects, among which 30 evaluators are poetry experts, demonstrates the effectiveness of our approach.


title: Thermodynamic stability criterion and fluctuation theory in nonextensive thermodynamics

abstract: We have constructed a nonextensive thermodynamic formalism consisting of two sets of parallel Legendre transformation structures in previous papers. One is the physical set and the other is the Lagrange set. In this paper we study the thermodynamic stability criterion with a dual interpretation of the thermodynamic relations and quantities. By recourse to the assumption that volume in nonextenstive system is nonadditive, we conclude that it is the physical pressure that is responsible for the mechanical balance between any two parts in a given nonextensive system. It is verified that in the physical set of transformation structures, the stability criterion can be expressed in terms of heat capacity and isothermal compressibility. We also discuss the fluctuation theory in nonextensive thermodynamics.


title: Existence of equivariant models of G-varieties

abstract: Let k_0 be a field of characteristic 0, and let k be a fixed algebraic closure of k_0. Let G be an algebraic k-group, and let Y be a G-variety over k. Let G_0 be a k_0 -model (k_0 -form) of G. We ask whether Y admits a G_0 -equivariant k_0 -model Y_0 of Y. We assume that Y admits a G_q -equivariant k_0 -model Y_q, where G_q is an inner form of G_0. We give a Galois-cohomological criterion for the existence of a G_0 -equivariant k_0 -model Y_0 of Y. We apply this criterion to spherical homogeneous varieties Y=G/H.


title: Cosmic Microwave Background Constraints in Light of Priors Over Reionization Histories

abstract: Non-parametric reconstruction or marginalization over the history of reionization using cosmic microwave background data necessarily assumes a prior over possible histories. We show that different but reasonable choices of priors can shift current and future constraints on the reionization optical depth, $\tau$, or correlated parameters such as the neutrino mass sum, $\Sigma m_\nu$, at the level of 0.3-0.4$\sigma$, i.e., that this analysis is somewhat prior dependent. We point out some prior-related problems with the commonly used principal component reconstruction, concluding that the significance of some recent hints of early reionization in Planck 2015 data has been overestimated. We also present the first non-parametric reconstruction applied to newer Planck intermediate (2016) data and find that the hints of early reionization disappear entirely in this more precise dataset. These results limit possible explanations of the EDGES 21cm signal which would have also significantly reionized the universe at $z\,{>}\,15$. Our findings about the dependence on priors motivate the pursuit of improved data or searches for physical reionization models which can reduce the prior volume. The discussion here of priors is of general applicability to other non-parametric reconstructions, for example of the primordial power spectrum, of the recombination history, or of the expansion rate.


title: ASR Performance Prediction on Unseen Broadcast Programs using Convolutional Neural Networks

abstract: In this paper, we address a relatively new task: prediction of ASR performance on unseen broadcast programs. We first propose an heterogenous French corpus dedicated to this task. Two prediction approaches are compared: a state-of-the-art performance prediction based on regression (engineered features) and a new strategy based on convolutional neural networks (learnt features). We particularly focus on the combination of both textual (ASR transcription) and signal inputs. While the joint use of textual and signal features did not work for the regression baseline, the combination of inputs for CNNs leads to the best WER prediction performance. We also show that our CNN prediction remarkably predicts the WER distribution on a collection of speech recordings.


title: Systems of Reflected Stochastic PDEs in a Convex Domain: Analytical Approach

abstract: In this paper, we establish an existence and uniqueness result for system of quasilinear stochastic partial differential equations (SPDEs for short) with reflection in a convex domain in R^k by analytical approach. The method is based on the approximation of the penalized systems of SPDEs.


title: Black Open Access in Ukraine: Analysis of Downloading Sci-Hub Publications by Ukrainian Internet Users

abstract: Introduction. High subscription fees to scholarly research journals provoke researchers to use illegal channels of access to scientific information. Analysis of statistical data on downloads of scholarly research papers by Ukrainian Internet users from illegal web resource can help to define gaps in information provision at the institutional or the state level for each scientific field. Problem Statement. To conduct an analysis of behavior and geography of downloads of scholarly research publications from illegal web resource Sci-Hub by Ukrainian Internet users within the period from September 1, 2015 to February 29, 2016. Purpose. To assess the information needs of Ukrainian researchers who download scientific papers from Sci-Hub. Materials and Methods. The used file is available at public domain and contains complete data of downloads of scholarly research articles from Sci-Hub for the period from September 1, 2015 to February 29, 2016. Inquiries of users with Ukrainian IP-addresses have been selected. Using DOI of downloaded articles enables finding the publishers and journal brands with the help of CrossRef API, whereas using the All Science Journal Classification (ASJC) codes makes it possible to identify the subject. Results. The study has shown that the most documents downloaded related to natural sciences (primarily, chemistry, physics, and astronomy), with Elsevier publications being the most frequently inquired by Ukrainian users of Sci-Hub and Internet users from Kyiv downloading the papers most actively. Conclusion. The obtained data are important for understanding the information needs of Ukrainian researchers and can be used to formulate an optimal subscription policy for providing access to information resources at Ukrainian R&D institutions.


title: Cautious reasoning in ASP via minimal models and unsatisfiable cores

abstract: Answer Set Programming (ASP) is a logic-based knowledge representation framework, supporting---among other reasoning modes---the central task of query answering. In the propositional case, query answering amounts to computing cautious consequences of the input program among the atoms in a given set of candidates, where a cautious consequence is an atom belonging to all stable models. Currently, the most efficient algorithms either iteratively verify the existence of a stable model of the input program extended with the complement of one candidate, where the candidate is heuristically selected, or introduce a clause enforcing the falsity of at least one candidate, so that the solver is free to choose which candidate to falsify at any time during the computation of a stable model. This paper introduces new algorithms for the computation of cautious consequences, with the aim of driving the solver to search for stable models discarding more candidates. Specifically, one of such algorithms enforces minimality on the set of true candidates, where different notions of minimality can be used, and another takes advantage of unsatisfiable cores computation. The algorithms are implemented in WASP, and experiments on benchmarks from the latest ASP competitions show that the new algorithms perform better than the state of the art. (Under consideration for acceptance in TPLP).


title: The Hilbert scheme of hyperelliptic Jacobians and moduli of Picard sheaves

abstract: Let $C$ be a hyperelliptic curve embedded in its Jacobian $J$ via an Abel-Jacobi map. We compute the scheme structure of the Hilbert scheme component of $\textrm{Hilb}_J$ containing the Abel-Jacobi curve as a point. We relate the result to the ramification (and to the fibres) of the Torelli morphism $\mathcal M_g\rightarrow \mathcal A_g$ along the hyperelliptic locus. As an application, we determine the scheme structure of the moduli space of Picard sheaves (introduced by Mukai) on a hyperelliptic Jacobian.


title: Gas Distribution and Monitoring for the Drift Chamber of the MEG-II Experiment

abstract: The reconstruction of the positron trajectory in the MEG-II experiment searching for the $\mu^+ \to e^+ \gamma$ decay uses a cylindrical drift chamber operated with a helium-isobutane gas mixture. A stable performance of the detector in terms of its electron drift properties, avalanche multiplication, and with a gas mixture of controlled composition and purity has to be provided and continuously monitored. In this paper we describe the strategies adopted to meet the requirements imposed by the target sensitivity of MEG-II, including the construction and commissioning of a small chamber for an online monitoring of the gas quality.


title: Erd\H{o}s' Multiplication Table Problem for Function Fields and Symmetric Groups

abstract: Erd\H{o}s first showed that the number of positive integers up to $x$ which can be written as a product of two number less than $\sqrt{x}$ has zero density. Ford then found the correct order of growth of the set of all these integers. We will use the tools developed by Ford to answer the analogous question in the function field setting. Finally, we will use a classical result relating factorization of polynomials to factorization of permutations to recover a result of Eberhard, Ford and Green of an analogous multiplication table problem for permutations.


title: Socket Intents: OS Support for Using Multiple Access Networks and its Benefits for Web Browsing

abstract: In today's Internet, mobile devices are connected to multiple access networks, e.g., WiFi/DSL and LTE. To take advantage of the networks' diverse paths characteristics (delay, bandwidth, and reliability) and aggregate bandwidth, we need smart strategies for choosing which interface(s) to use for what traffic. In this paper, we present an approach how to tackle this challenge as part of the Operating System (OS): With the concept of Socket Intents, applications can express what they know about their communication pattern and their preferences. Using our Socket Intents Prototype and our modified BSD Socket Interface, this information is used to choose the most appropriate path or path combination on a per message or per connection basis. We evaluate our system based on the use case of Web browsing: Using our prototype and a client-side proxy, we show the feasibility and benefits of our design. Using a flow-based simulator and a full factorial experimental design, we study a broad range of access network combinations (based on typical DSL and LTE scenarios) and real workloads (Alexa Top 100 and Top 1000 Web Sites). Our policies achieve performance benefits in more than 50% of the cases and speedups of more than factor two in 20% of the cases without adding overhead in the other cases.


title: Interpolation in de Branges-Rovnyak spaces

abstract: A general interpolation problem with operator argument is studied for functions f from the de Branges-Rovnyak space H(s) associated with an analytic function s mapping the open unit disk D into the closed unit disk. The interpolation condition is taken in the Rosenblum-Rovnyak form f(A)c = b (with a suitable interpretation of f(A)c) for given Hilbert space operator A and two vectors b; c from the same space.


title: Three-dimensional splitting dynamics of giant vortices in Bose-Einstein condensates

abstract: We study the splitting dynamics of giant vortices in dilute Bose-Einstein condensates by numerically integrating the three-dimensional Gross-Pitaevskii equation in time. By taking advantage of tetrahedral tiling in the spatial discretization, we decrease the error and increase the reliability of the numerical method. An extensive survey of vortex splitting symmetries is presented for different aspect ratios of the harmonic trapping potential. The symmetries of the splitting patterns observed in the simulated dynamics are found to be in good agreement with predictions obtained by solving the dominant dynamical instabilities from the corresponding Bogoliubov equations. Furthermore, we observe intertwining of the split vortices in prolate condensates and a split-and-revival phenomenon in a spherical condensate.


title: Parallel and I/O-efficient Randomisation of Massive Networks using Global Curveball Trades

abstract: Graph randomisation is a crucial task in the analysis and synthesis of networks. It is typically implemented as an edge switching process (ESMC) repeatedly swapping the nodes of random edge pairs while maintaining the degrees involved. Curveball is a novel approach that instead considers the whole neighbourhoods of randomly drawn node pairs. Its Markov chain converges to a uniform distribution, and experiments suggest that it requires less steps than the established ESMC. Since trades however are more expensive, we study Curveball's practical runtime by introducing the first efficient Curveball algorithms: the I/O-efficient EM-CB for simple undirected graphs and its internal memory pendant IM-CB. Further, we investigate global trades processing every node in a graph during a single super step, and show that undirected global trades converge to a uniform distribution and perform superior in practice. We then discuss EM-GCB and EM-PGCB for global trades and give experimental evidence that EM-PGCB achieves the quality of the state-of-the-art ESMC algorithm EM-ES nearly one order of magnitude faster.


title: Shared aggregate sets in answer set programming

abstract: Aggregates are among the most frequently used linguistic extensions of answer set programming. The result of an aggregation may introduce new constants during the instantiation of the input program, a feature known as value invention. When the aggregation involves literals whose truth value is undefined at instantiation time, modern grounders introduce several instances of the aggregate, one for each possible interpretation of the undefined literals. This paper introduces new data structures and techniques to handle such cases, and more in general aggregations on the same aggregate set identified in the ground program in input. The proposed solution reduces the memory footprint of the solver without sacrificing efficiency. On the contrary, the performance of the solver may improve thanks to the addition of some simple entailed clauses which are not easily discovered otherwise, and since redundant computation is avoided during propagation. Empirical evidence of the potential impact of the proposed solution is given. (Under consideration for acceptance in TPLP).


title: Understanding UAV Cellular Communications: From Existing Networks to Massive MIMO

abstract: The purpose of this article is to bestow the reader with a timely study of UAV cellular communications, bridging the gap between the 3GPP standardization status quo and the more forward-looking research. Special emphasis is placed on the downlink command and control (C&C) channel to aerial users, whose reliability is deemed of paramount technological importance for the commercial success of UAV cellular communications. Through a realistic side-by-side comparison of two network deployments -- a present-day cellular infrastructure versus a next-generation massive MIMO system -- a plurality of key facts are cast light upon, with the three main ones summarized as follows: (i) UAV cell selection is essentially driven by the secondary lobes of a base station's radiation pattern, causing UAVs to associate to far-flung cells; (ii) over a 10 MHz bandwidth, and for UAV heights of up to 300 m, massive MIMO networks can support 100 kbps C&C channels in 74% of the cases when the uplink pilots for channel estimation are reused among base station sites, and in 96% of the cases without pilot reuse across the network; (iii) supporting UAV C&C channels can considerably affect the performance of ground users on account of severe pilot contamination, unless suitable power control policies are in place.


title: Global existence of quasi-stratified solutions for the confined IPM equation

abstract: In this paper, we consider a confined physical scenario to prove global existence of smooth solutions with bounded density and finite energy for the inviscid incompressible porous media (IPM) equation. The result is proved using the stability of stratified solutions, combined with an additional structure of our initial perturbation, which allows us to get rid of the boundary terms in the energy estimates.


title: It is Free and Always Will Be - Trading Personal Information and Privacy for the Convenience of Online Services

abstract: Internet users today are constantly giving away their personal information and privacy through social media, tracking cookies, 'free' email, and single sign-on authentication in order to access convenient online services. Unfortunately, the elected officials who are supposed to be regulating these technologies often know less about informed consent and data ownership than the users themselves. This is why without changes, internet users may continue to be exploited by companies offering free and convenient online services.


title: Abstract interpolation in vector-valued de Branges-Rovnyak spaces

abstract: Following ideas from the Abstract Interpolation Problem of Katsnelson et al. (Operators in spaces of functions and problems in function theory, vol 146, pp 83-69, Naukova Dumka, Keiv, 1987) for Schur class functions, we study a general metric constrained interpolation problem for functions from a vector-valued de Branges-Rovnyak space $\mathcal{H}(K_S)$ associated with an operator-valued Schur class function $S$. A description of all solutions is obtained in terms of functions from an associated de Branges-Rovnyak space satisfying only a bound on the de Branges-Rovnyak-space norm. Attention is also paid to the case that the map which provides this description is injective. The interpolation problem studied here contains as particular cases (1) the vector-valued version of the interpolation problem with operator argument considered recently in Ball et al. (Proc Am Math Soc 139(2), 609-618, 2011) (for the nondegenerate and scalar-valued case) and (2) a boundary interpolation problem in $\mathcal{H}(K_S)$. In addition, we discuss connections with results on kernels of Toeplitz operators and nearly invariant subspaces of the backward shift operator.


title: Quantum Information Processing via Hamiltonian Inverse Quantum Engineering

abstract: In this paper we discuss how we can design Hamiltonians to implement quantum algorithms, in particular we focus in Deutsch and Grover algorithms. As main result of this paper, we show how Hamiltonian inverse quantum engineering method allow us to obtain feasible and time-independent Hamiltonians for implementing such algorithms. From our approach for the Deutsch algorithm, different from others techniques, we can provide an alternative approach for implementing such algorithm where no auxiliary qubit and additional resources are required. In addition, by using a single quantum evolution, the Grover algorithm can be achieved with high probability $1-\epsilon^2$, where $\epsilon$ is a very small arbitrary parameter.


title: On the Asymptotic Normality of Adaptive Multilevel Splitting

abstract: Adaptive Multilevel Splitting (AMS for short) is a generic Monte Carlo method for Markov processes that simulates rare events and estimates associated probabilities. Despite its practical efficiency, there are almost no theoretical results on the convergence of this algorithm. The purpose of this paper is to prove both consistency and asymptotic normality results in a general setting. This is done by associating to the original Markov process a level-indexed process, also called a stochastic wave, and by showing that AMS can then be seen as a Fleming-Viot type particle system. This being done, we can finally apply general results on Fleming-Viot particle systems that we have recently obtained.


title: Correlations for symplectic and orthogonal Schur measures

abstract: We show, using either Fock space techniques or Macdonald difference operators, that certain symplectic and orthogonal analogues of Okounkov's Schur measure are determinantal with kernels given by explicit double contour integrals. We give two applications: one equates certain Toeplitz+Hankel determinants of random matrix theory with appropriate Fredholm determinants and computes Szeg\H{o} asymptotics for the former; another finds that the simplest examples of said measures exhibit discrete sine kernel asymptotics in the bulk and Airy 2 to 1 kernel---along with a certain dual---asymptotics at the edge. We believe the edge behavior to be universal.


title: Particle number conserving BCS approach in the relativistic mean field model and its application to $^{32-74}$Ca

abstract: A particle number conserving BCS approach (FBCS) is formulated in the relativistic mean field (RMF) model. It is shown that the so-obtained RMF+FBCS model can describe the weak pairing limit. We calculate the ground-state properties of the calcium isotopes $^{32-74}$Ca and compare the results with those obtained from the usual RMF+BCS model. Although the results are quite similar to each other, we observe an interesting phenomenon, i.e., for $^{54}$Ca, the FBCS approach can enhance the occupation probability of the $2p_{1/2}$ single particle level and slightly increases its radius, compared with the RMF+BCS model. This leads to an unusual scenario that although $^{54}$Ca is more bound with a spherical configuration but the corresponding size is not the most compact one. We anticipate that such a phenomenon might happen for other neutron rich nuclei and should be checked by further more systematic studies.


title: ALIGNet: Partial-Shape Agnostic Alignment via Unsupervised Learning

abstract: The process of aligning a pair of shapes is a fundamental operation in computer graphics. Traditional approaches rely heavily on matching corresponding points or features to guide the alignment, a paradigm that falters when significant shape portions are missing. These techniques generally do not incorporate prior knowledge about expected shape characteristics, which can help compensate for any misleading cues left by inaccuracies exhibited in the input shapes. We present an approach based on a deep neural network, leveraging shape datasets to learn a shape-aware prior for source-to-target alignment that is robust to shape incompleteness. In the absence of ground truth alignments for supervision, we train a network on the task of shape alignment using incomplete shapes generated from full shapes for self-supervision. Our network, called ALIGNet, is trained to warp complete source shapes to incomplete targets, as if the target shapes were complete, thus essentially rendering the alignment partial-shape agnostic. We aim for the network to develop specialized expertise over the common characteristics of the shapes in each dataset, thereby achieving a higher-level understanding of the expected shape space to which a local approach would be oblivious. We constrain ALIGNet through an anisotropic total variation identity regularization to promote piecewise smooth deformation fields, facilitating both partial-shape agnosticism and post-deformation applications. We demonstrate that ALIGNet learns to align geometrically distinct shapes, and is able to infer plausible mappings even when the target shape is significantly incomplete. We show that our network learns the common expected characteristics of shape collections, without over-fitting or memorization, enabling it to produce plausible deformations on unseen data during test time.


title: All solutions to an operator Nevanlinna-Pick interpolation problem

abstract: The main results presented in this paper provide a complete and explicit description of all solutions to the left tangential operator Nevanlinna- Pick interpolation problem assuming the associated Pick operator is strictly positive. The complexity of the solutions is similar to that found in descriptions of the sub-optimal Nehari problem and variation on the Nevanlinna-Pick interpolation problem in the Wiener class that have been obtained through the band method. The main techniques used to derive the formulas are based on the theory of co-isometric realizations, and use the Douglas factorization lemma and state space calculations. A new feature is that we do not assume an additional stability assumption on our data, which allows us to view the Leech problem and a large class of commutant lifting problems as special cases. Although the paper has partly the character of a survey article, all results are proved in detail and some background material has been added to make the paper accessible to a large audience including engineers.


title: Feeding supermassive black holes by collisional cascades

abstract: The processes driving gas accretion on to supermassive black holes (SMBHs) are still poorly understood. Angular momentum conservation prevents gas within $\sim10\,$pc of the black hole from reaching radii $\sim10^{-3}\,$pc where viscous accretion becomes efficient. Here we present simulations of the collapse of a clumpy shell of swept-up isothermal gas, which is assumed to have formed as a result of feedback from a previous episode of AGN activity. The gas falls towards the SMBH forming clumps and streams, which intersect, collide, and often form a disc. These collisions promote partial cancellations of angular momenta, resulting in further infall and more collisions. This continued collisional cascade generates a tail of gas with sufficiently small angular momenta and provides a viable route for gas inflow to sub-parsec scales. The efficiency of this process hardly depends on details, such as gas temperature, initial virial ratio and power spectrum of the gas distribution, as long as it is not strongly rotating. Adding star formation to this picture might explain the near-simultaneous formation of the S-stars (from tidally disrupted binaries formed in plunging gas streams) and the sub-parsec young stellar disc around Sgr A$^{\!\star}$.


title: Radiobiological Characterization of Clinical Proton and Carbon-Ion Beams

abstract: Electromagnetic radiation (photons) or particle beam (protons or heavy ions) have similar biological effects, i.e. damage to human cell DNA that eventually leads to cell death if not correctly repaired. The biological effects at the level of organs or organisms are explained by a progressive depletion of constitutive cells; below a given threshold, cell division is no longer sufficient to compensate for cell loss, up to a point where the entire organism (or organ) breaks down. The quantitative aspects of the biological effects are modulated by the microscopic distribution of energy deposits along the beam or particle tracks. In particular, the ionization density, i.e. the amount of energy deposited by unit path length (measured in keV/{\mu}m), has an influence on the biological effectiveness, i.e. the amount of damage per energy unit deposited (measured in gray or Gy, equivalent to 1 joule/kg). The ionization density is usually represented by the Linear Energy Transfer or LET, also expressed in keV/{\mu}m. Photon beams (X-rays, g-rays) are low-LET radiation, with a sparsely ionising characteristic. Particle beams have a higher LET, with a more dense distribution of energy deposits along the particle tracks. Protons are intermediary, with a LET larger than the photon one, but still belong to the 'radiobiological' group of low LET. The higher the ionization density, the higher the biological effectiveness per unit of dose.


title: Dropping Networks for Transfer Learning

abstract: Many tasks in natural language understanding require learning relationships between two sequences for various tasks such as natural language inference, paraphrasing and entailment. These aforementioned tasks are similar in nature, yet they are often modeled individually. Knowledge transfer can be effective for closely related tasks. However, transferring all knowledge, some of which irrelevant for a target task, can lead to sub-optimal results due to \textit{negative} transfer. Hence, this paper focuses on the transferability of both instances and parameters across natural language understanding tasks by proposing an ensemble-based transfer learning method. \newline The primary contribution of this paper is the combination of both \textit{Dropout} and \textit{Bagging} for improved transferability in neural networks, referred to as \textit{Dropping} herein. We present a straightforward yet novel approach for incorporating source \textit{Dropping} Networks to a target task for few-shot learning that mitigates \textit{negative} transfer. This is achieved by using a decaying parameter chosen according to the slope changes of a smoothed spline error curve at sub-intervals during training. We compare the proposed approach against hard parameter sharing and soft parameter sharing transfer methods in the few-shot learning case. We also compare against models that are fully trained on the target task in the standard supervised learning setup. The aforementioned adjustment leads to improved transfer learning performance and comparable results to the current state of the art only using a fraction of the data from the target task.


title: Thermodynamic signatures of quantum criticality in cuprates

abstract: The three central phenomena of cuprate superconductors are linked by a common doping $p^{\star}$, where the enigmatic pseudogap phase ends, around which the superconducting phase forms a dome, and at which the resistivity exhibits an anomalous linear dependence on temperature as $T \to 0$. However, the fundamental nature of $p^{\star}$ remains unclear, in particular whether it marks a true quantum phase transition. We have measured the specific heat $C$ of the cuprates Eu-LSCO and Nd-LSCO at low temperature in magnetic fields large enough to suppress superconductivity, over a wide doping range across $p^{\star}$. As a function of doping, we find that the electronic term $C_{\rm el}$ is strongly peaked at $p^{\star}$, where it exhibits a $-T$log$T$ dependence as $T \to 0$. These are the classic signatures of a quantum critical point, as observed in heavy-fermion and iron-based superconductors where their antiferromagnetic phase ends. We conclude that the pseudogap phase of cuprates ends at a quantum critical point, whose associated fluctuations are most likely involved in the $d$-wave pairing and the anomalous scattering.


title: Hirzebruch surfaces in a one-parameter family

abstract: We introduce a family of spaces, parametrized by positive real numbers, that includes all of the Hirzebruch surfaces. Each space is viewed from two distinct perspectives. First, as a leaf space of a compact, complex, foliated manifold, following [BZ1]. Second, as a symplectic cut of the manifold $\mathbb{C}\times S^2$ in a possibly nonrational direction, following [BP2].


title: Orbital integrals on Lorentzian symmetric spaces

abstract: In this paper, we address the problem of determining a function in terms of its orbital integrals on Lorentzian symmetric spaces. It has been solved by S. Helgason for even-dimensional isotropic Lorentzian symmetric spaces via a limit formula involving the Laplace-Beltrami operator. The result has been extended by J. Orloff for rank-one semisimple pseudo-Riemannian symmetric spaces giving the keys to treat the odd-dimensional isotropic Lorentzian symmetric spaces. Indecomposable Lorentzian symmetric spaces are either isotropic or have solvable transvection group. We study orbital integrals including an inversion formula on the solvable ones which have been explicitly described by M. Cahen and N. Wallach.


title: Standard versus Bounded Real Lemma with infinite-dimensional state space II: The storage function approach

abstract: For discrete-time causal linear input/state/output systems, the Bounded Real Lemma explains (under suitable hypotheses) the contractivity of the values of the transfer function over the unit disk for such a system in terms of the existence of a positive-definite solution of a certain Linear Matrix Inequality (the Kalman-Yakubovich-Popov (KYP) inequality). Recent work has extended this result to the setting of infinite-dimensional state space and associated non-rationality of the transfer function, where at least in some cases unbounded solutions of the generalized KYP-inequality are required. This paper is the second installment in a series of papers on the Bounded Real Lemma and the KYP inequality. We adapt Willems' storage-function approach to the infinite-dimensional linear setting, and in this way reprove various results presented in the first installment, where they were obtained as applications of infinite-dimensional State-Space-Similarity theorems, rather than via explicit computation of storage functions.


title: Person Identification from Partial Gait Cycle Using Fully Convolutional Neural Network

abstract: Gait as a biometric property for person identification plays a key role in video surveillance and security applications. In gait recognition, normally, gait feature such as Gait Energy Image (GEI) is extracted from one full gait cycle. However in many circumstances, such a full gait cycle might not be available due to occlusion. Thus, the GEI is not complete giving rise to a degrading in gait-based person identification rate. In this paper, we address this issue by proposing a novel method to identify individuals from gait feature when a few (or even single) frame(s) is available. To do so, we propose a deep learning-based approach to transform incomplete GEI to the corresponding complete GEI obtained from a full gait cycle. More precisely, this transformation is done gradually by training several auto encoders independently and then combining these as a uniform model. Experimental results on two public gait datasets, namely OULP and Casia-B demonstrate the validity of the proposed method in dealing with very incomplete gait cycles.


title: Standard versus Strict Bounded Real Lemma with infinite-dimensional state space I: The State-Space-Similarity Approach

abstract: The Bounded Real Lemma, i.e., the state-space linear matrix inequality characterization (referred to as Kalman-Yakubovich-Popov or KYP inequality) of when an input/state/output linear system satisfies a dissipation inequality, has recently been studied for infinite-dimensional discrete-time systems in a number of different settings: with or without stability assumptions, with or without controllability/observability assumptions, with or without strict inequalities. In these various settings, sometimes unbounded solutions of the KYP inequality are required while in other instances bounded solutions suffice. In a series of reports we show how these diverse results can be reconciled and unified. This first instalment focusses on the state-space-similarity approach to the bounded real lemma. We shall show how these results can be seen as corollaries of a new State-Space-Similarity theorem for infinite-dimensional linear systems.


title: Solutions of a two-particle interacting quantum walk

abstract: We study the solutions of the interacting Fermionic cellular automaton introduced in Ref. [Phys Rev A 97, 032132 (2018)]. The automaton is the analogue of the Thirring model with both space and time discrete. We present a derivation of the two-particles solutions of the automaton, which exploits the symmetries of the evolution operator. In the two-particles sector, the evolution operator is given by the sequence of two steps, the first one corresponding to a unitary interaction activated by two-particle excitation at the same site, and the second one to two independent one-dimensional Dirac quantum walks. The interaction step can be regarded as the discrete-time version of the interacting term of some Hamiltonian integrable system, such as the Hubbard or the Thirring model. The present automaton exhibits scattering solutions with nontrivial momentum transfer, jumping between different regions of the Brillouin zone that can be interpreted as Fermion-doubled particles, in stark contrast with the customary momentum-exchange of the one dimensional Hamiltonian systems. A further difference compared to the Hamiltonian model is that there exist bound states for every value of the total momentum, and even for vanishing coupling constant. As a complement to the analytical derivations we show numerical simulations of the interacting evolution.

categories: quant-ph cond-mat.str-el hep-lat math-ph math.MP


title: Dose Delivery Verification

abstract: This paper focuses on some dosimetry aspects of proton therapy and pencil beam scanning based on the experience accumulated at Paul Scherrer Institute(PSI). The basic formalism for absolute dosimetry in proton therapy is outlined and the two main techniques and equipment to perform the primary beam monitor chamber calibration are presented. Depth-dose curve and lateral beam width measurements are exposed and discussed in detail, with particular attention to the size of the ionization chamber and the characteristic of scintillating-CCD dosimetry systems, respectively. It is also explained how the angular-spatial distribution of individual pencil beams can be determined in practice. The equipment and the techniques for performing regularmachine-specific quality checks are focused on (i)output constancy checks, (ii)pencil beam position and size checks and (iii)beam energy checks. Finally, patient-specific verification is addressed.


title: Standard versus strict Bounded Real Lemma with infinite-dimensional state space III: The dichotomous and bicausal cases

abstract: This is the third installment in a series of papers concerning the Bounded Real Lemma for infinite-dimensional discrete-time linear input/state/output systems. In this setting, under appropriate conditions, the lemma characterizes when the transfer function associated with the system has contractive values on the unit circle, expressed in terms of a Linear Matrix Inequality, often referred to as the Kalman-Yakubovich-Popov (KYP) inequality. Whereas the first two installments focussed on causal systems with the transfer functions extending to an analytic function on the disk, in the present paper the system is still causal but the state operator is allowed to have nontrivial dichotomy (the unit circle is not contained in its spectrum), implying that the transfer function is analytic in a neighborhood of zero and on a neighborhood of the unit circle rather than on the unit disk. More generally, we consider bicausal systems, for which the transfer function need not be analytic in a neighborhood of zero. For both types of systems, by a variation on Willems' storage-function approach, we prove variations on the standard and strict Bounded Real Lemma. We also specialize the results to nonstationary discrete-time systems with a dichotomy, thereby recovering a Bounded Real Lemma due to Ben-Artzi--Gohberg-Kaashoek for such systems.


title: Equivariant dissipation in non-archimedean groups

abstract: We prove that, if a topological group $G$ has an open subgroup of infinite index, then every net of tight Borel probability measures on $G$ UEB-converging to invariance dissipates in $G$ in the sense of Gromov. In particular, this solves a 2006 problem by Pestov: for every left-invariant (or right-invariant) metric $d$ on the infinite symmetric group $\mathrm{Sym}(\mathbb{N})$, compatible with the topology of pointwise convergence, the sequence of the finite symmetric groups $\left(\mathrm{Sym}(n),d\!\!\upharpoonright_{\mathrm{Sym}(n)},\mu_{\mathrm{Sym}(n)}\right)_{n \in \mathbb{N}}$ equipped with the restricted metrics and their normalized counting measures dissipates, thus fails to admit a subsequence being Cauchy with respect to Gromov's observable distance.


title: The Bezout-corona problem revisited: Wiener space setting

abstract: The matrix-valued {Bezout-corona} problem $G(z)X(z)=I_m$, $|z|<1$, is studied in a Wiener space setting, that is, the given function $G$ is an analytic matrix function on the unit {disc} whose Taylor coefficients are absolutely summable and the same is required for the solutions $X$. It turns out that all Wiener solutions can be described explicitly in terms of two matrices and a square analytic Wiener function $Y$ satisfying $\det Y(z)\not =0$ for all $|z|\leq 1$. It is also shown that some of the results hold in the $H^\infty$ {setting, but} not all. In fact, if $G$ is an $H^\infty$ function, then $Y$ is just an $H^2$ function. Nevertheless, in this case, using the two matrices and the function $Y$, all $H^2$ solutions to the Bezout-corona problem can be described explicitly in a form analogous to the one appearing in the Wiener setting.


title: An accumulator model for primes and targets with independent response activation rates: Basic equations for average response times

abstract: In response priming tasks, speeded responses are performed toward target stimuli preceded by prime stimuli. Responses are slower and error rates are higher when prime and target are assigned to different responses, compared to assignment to the same response, and those priming effects increase with prime-target SOA. Here, we generalize Vorberg et al.'s (2003) accumulator model of response priming, where response activation is first controlled exclusively by the prime and then taken over by the actual target. Priming thus occurs by motor conflict because a response-inconsistent prime can temporarily drive the process towards the incorrect response. While the original model assumed prime and target signals to be identical in strength, we allow different rates of response activation (cf. Mattler & Palmer, 2012; Schubert et al., 2012). Our model predicts that stronger primes mainly increase priming effects in response times and error rates, whereas stronger targets mainly diminish response times and priming effects.


title: Universal scaling in first-order phase transitions mixed with nucleation and growth

abstract: Matter exhibits phases and their transitions. These transitions are classified as first-order phase transitions (FOPTs) and continuous ones. While the latter has a well-established theory of the renormalization group, the former is only qualitatively accounted for by classical theories of nucleation, since their predictions often disagree with experiments by orders of magnitude. A theory to integrate FOPTs into the framework of the renormalization-group theory has been proposed but seems to contradict with extant wisdom and lacks numerical evidence. Here we show that universal hysteresis scaling as predicted by the renormalization-group theory emerges unambiguously when the theory is combined intimately with the theory of nucleation and growth in the FOPTs of the paradigmatic two-dimensional Ising model driven by a linearly varying externally applied field below its critical point. This not only provides a new method to rectify the nucleation theories, but also unifies the theories for both classes of transitions and FOPTs can be studied using universality and scaling similar to their continuous counterpart.


title: Planarly branched rough paths and rough differential equations on homogeneous spaces

abstract: The central aim of this work is to understand rough differential equations on homogeneous spaces. We focus on the formal approach, by giving an explicit expansion of the solution at each point of the real line in terms of decorated planar forests. For this we develop the notion of planarly branched rough paths, following M. Gubinelli's branched rough paths. The definition is similar to the one in the flat case, the main difference being the replacement of the Butcher--Connes--Kreimer Hopf algebra of non-planar rooted forests by the Munthe-Kaas--Wright Hopf algebra of planar rooted forests. We show how the latter permits to handle rough differential equations on homogeneous spaces using planarly branched rough paths, the same way branched rough paths are used in the context of rough differential equations on finite-dimensional vector spaces. An analogue of T. Lyons' extension theorem is proven. Finally, under analyticity assumptions on the coefficients and when the H\"older index of the driving path is equal to one, we show convergence of the planar forest expansion in a small time interval.


title: Ion Sources for Medical Applications

abstract: Ion sources are key components of accelerators devoted to different types of medical applications: hadron-therapy facilities (accelerating protons or carbon ions), high-intensity accelerators for boron-neutron capture therapy (using intense proton beams), and facilities for isotope production (using different ion species). The three types of application present different requirements in terms of ion beam quality, reproducibility, and beam availability. Different characteristics of ion sources will be described, along with the reasons why they are particularly interesting or largely used.


title: Phase Field Modeling of Galvanic Corrosion

abstract: A phase field (PF) based electrochemical model is presented for simulation of galvanic corrosion. Distributions of electrolyte potential and current density on anode and cathode surfaces are obtained by coupling the phase field variable with electrochemistry. Evolution of surface recession is naturally obtained by solving the phase field equations without tracking the evolving boundary. Numerical implementation involves solving the governing equations on a fixed mesh. The sharp interface as the limit of the PF model is shown by an asymptotic analysis. Two benchmark problems are discussed: a magnesium alloy-mild steel couple exposed to 5% NaCl solution and crevice corrosion for nickel in 1N sulfuric acid. A comparison is made considering available experimental data as well as other simulation data by an Arbitrary Lagrangian-Eulerian (ALE) method. A good agreement is obtained.


title: The Bezout equation on the right half plane in a Wiener space setting

abstract: This paper deals with the Bezout equation $G(s)X(s)=I_m$, $\Re s \geq 0$, in the Wiener space of analytic matrix-valued functions on the right half plane. In particular, $G$ is an $m\times p$ matrix-valued analytic Wiener function, where $p\geq m$, and the solution $X$ is required to be an analytic Wiener function of size $p\times m$. The set of all solutions is described explicitly in terms of a $p\times p$ matrix-valued analytic Wiener function $Y$, which has an inverse in the analytic Wiener space, and an associated inner function $\Theta$ defined by $Y$ and the value of $G$ at infinity. Among the solutions, one is identified that minimizes the $H^2$-norm. A Wiener space version of Tolokonnikov's lemma plays an important role in the proofs. The results presented are natural analogs of those obtained for the discrete case in [11].


title: Imaging in Radiotherapy

abstract: With the continued evolution of modern radiation therapy towards high precision delivery of high therapeutic doses to the tumour while optimally sparing surrounding healthy tissue, imaging becomes a crucial component to identify the intended target, properly position it at the treatment site and, in more advanced research applications, visualize the treatment delivery. This contribution reviews the main role of imaging in modern external beam radiation therapy, with special emphasis on emerging ion beam therapy techniques, which aim at exploiting the favourable properties of ion interaction in matter for unprecedented ballistic accuracy in dose delivery


title: The twofold Ellis-Gohberg inverse problem in an abstract setting and applications

abstract: In this paper we consider a twofold Ellis-Gohberg type inverse problem in an abstract *-algebraic setting. Under natural assumptions, necessary and sufficient conditions for the existence of a solution are obtained, and it is shown that in case a solution exists, it is unique. The main result relies strongly on an inversion formula for a $2\times 2$ block operator matrix whose off diagonal entries are Hankel operators while the diagonal entries are identity operators. Various special cases are presented, including the cases of matrix-valued $L^1$-functions on the real line and matrix-valued Wiener functions on the unit circle of the complex plane. For the latter case, it is shown how the results obtained in an earlier publication by the authors can be recovered.


title: Overview of Linacs

abstract: In this paper, we give an overview of the different types of linac accelerators, with special emphasis on their use for a hadron-therapy facility.


title: Cylinder morphology of a stretched and twisted ribbon

abstract: A rich zoology of shapes emerges from a simple stretched and twisted elastic ribbon. Despite a lot of interest, all these shape are not understood, in particular the shape that prevails at large tension and twist and that emerges from a transverse instability of the helicoid. Here, we propose a simple description for this cylindrical shape. By comparing its energy to the energy of other configurations, we are able to determine its location on the phase diagram. The theoretical predictions are in good agreement with our experimental results.


title: $\leq_{SP}$ Can Have Infinitely Many Classes

abstract: Building off of recent results on Keisler's order, we show that consistently, $\leq_{SP}$ has infinitely many classes. In particular, we define the property of $\leq k$-type amalgamation for simple theories, for each $2 \leq k < \omega$. If we let $T_{n, k}$ be the theory of the random $k$-ary, $n$-clique free random hyper-graph, then $T_{n, k}$ has $\leq k-1$-type amalgamation but not $\leq k$-type amalgamation. We show that consistently, if $T$ has $\leq k$-type amalgamation then $T_{k+1, k} \not \leq_{SP} T$, thus producing infinitely many $\leq_{SP}$-classes. The same construction gives a simplified proof of Shelah's theorem that consistently, the maximal $\leq_{SP}$-class is exactly the class of unsimple theories. Finally, we show that consistently, if $T$ has $<\aleph_0$-type amalgamation, then $T \leq_{SP} T_{rg}$, the theory of the random graph.


title: On the Capacity of the Peak Power Constrained Vector Gaussian Channel: An Estimation Theoretic Perspective

abstract: This paper studies the capacity of an $n$-dimensional vector Gaussian noise channel subject to the constraint that an input must lie in the ball of radius $R$ centered at the origin. It is known that in this setting the optimizing input distribution is supported on a finite number of concentric spheres. However, the number, the positions and the probabilities of the spheres are generally unknown. This paper characterizes necessary and sufficient conditions on the constraint $R$ such that the input distribution supported on a single sphere is optimal. The maximum $\bar{R}_n$, such that using only a single sphere is optimal, is shown to be a solution of an integral equation. Moreover, it is shown that $\bar{R}_n$ scales as $\sqrt{n}$ and the exact limit of $\frac{\bar{R}_n}{\sqrt{n}}$ is found.


title: Accelerating Structures

abstract: In this lecture the basic concepts of electromagnetic waves in accelerating structures are discussed. After a short introduction on the propagation of electromagnetic waves and on the concept of travelling wave and standing wave structures, the most important parameters and figures of merit used to describe the acceleration efficiency and the performance of accelerating structures in terms of power consumption is presented. The process of RF design optimization is also discussed. Finally a review of several type of structures using different accelerating modes is given, with examples of interest for medical accelerators.


title: Strong Purcell effect on a neutral atom trapped in an open fiber cavity

abstract: We observe a sixfold Purcell broadening of the D$_2$ line of an optically trapped $^{87}\text{Rb}$ atom strongly coupled to a fiber cavity. Under external illumination by a near-resonant laser, up to $90\%$ of the atom's fluorescence is emitted into the resonant cavity mode. The sub-Poissonian statistics of the cavity output and the Purcell enhancement of the atomic decay rate are confirmed by the observation of a strongly narrowed antibunching dip in the photon autocorrelation function. The photon leakage through the higher-transmission mirror of the single-sided resonator is the dominant contribution to the field decay ($\kappa\!\approx\!2\pi\!\times\!50\,\text{MHz}$), thus offering a high-bandwidth, fiber-coupled channel for photonic interfaces such as quantum memories and single-photon sources.


title: On the angular distribution of $\Lambda_b\to\Lambda(\to N\pi)\tau^+\tau^-$ decay

abstract: We present a full angular distribution of the four body $\Lambda_b\to\Lambda(\to N\pi)\ell^+\ell^-$ decay where the leptons are massive and the $\Lambda_b$ is unpolarized, in an operator basis which includes the Standard Model operators, new vector and axial-vector operators, and scalar and pseudo-scalar operators. The angular coefficients are expressed in terms of transversity amplitudes. We study several $\Lambda_b\to\Lambda(\to p\pi)\tau^+\tau^-$ observables in the Standard Model and in the presence of the new operators. For our numerical analysis, we use the form factors from lattice QCD calculations.


title: A New Channel Boosted Convolutional Neural Network using Transfer Learning

abstract: We present a novel architectural enhancement of Channel Boosting in a deep convolutional neural network (CNN). This idea of Channel Boosting exploits both the channel dimension of CNN (learning from multiple input channels) and Transfer learning (TL). TL is utilized at two different stages; channel generation and channel exploitation. In the proposed methodology, a deep CNN is boosted by various channels available through TL from already trained Deep Neural Networks, in addition to its original channel. The deep architecture of CNN then exploits the original and boosted channels down the stream for learning discriminative patterns. Churn prediction in telecom is a challenging task due to the high dimensionality and imbalanced nature of the data. Therefore, churn prediction data is used to evaluate the performance of the proposed Channel Boosted CNN (CB CNN). In the first phase, informative discriminative features are being extracted using a stacked autoencoder, and then in the second phase, these features are combined with the original features to form Channel Boosted images. Finally, the knowledge gained by a pretrained CNN is exploited by employing TL. The results are promising and show the ability of the Channel Boosting concept in learning complex classification problems by discerning even minute differences in churners and nonchurners. The proposed work validates the concept observed from the evolution of recent CNN architectures that the innovative restructuring of a CNN architecture may increase the networks representative capacity.


title: VectorDefense: Vectorization as a Defense to Adversarial Examples

abstract: Training deep neural networks on images represented as grids of pixels has brought to light an interesting phenomenon known as adversarial examples. Inspired by how humans reconstruct abstract concepts, we attempt to codify the input bitmap image into a set of compact, interpretable elements to avoid being fooled by the adversarial structures. We take the first step in this direction by experimenting with image vectorization as an input transformation step to map the adversarial examples back into the natural manifold of MNIST handwritten digits. We compare our method vs. state-of-the-art input transformations and further discuss the trade-offs between a hand-designed and a learned transformation defense.


title: The gravitational energy-momentum pseudotensor: the cases of $f(R)$ and $f(T)$ gravity

abstract: We derive the gravitational energy-momentum pseudotensor $ \tau^{\sigma}_ {\phantom {\sigma} \lambda} $ in metric $ f\left (R \right) $ gravity and in teleparallel $ f\left (T\right) $ gravity. In the first case, $R$ is the Ricci curvature scalar for a torsionless Levi-Civita connection; in the second case, $T$ is the curvature-free torsion scalar derived by tetrads and Weitzenb\"ock connection. For both classes of theories the continuity equations are obtained in presence of matter. $ f \left (R \right) $ and $ f \left (T \right) $ are non-equivalent but differ for a quantity $ \omega \left (T, B \right) $ containing the torsion scalar $T$ and a boundary term $ B $. It is possible to obtain the field equations for $ \omega \left (T, B \right) $ and the related gravitational energy-momentum pseudotensor $ \tau^{\sigma}_{\phantom {\sigma}\lambda} \vert \omega $. Finally we show that, thanks to this further pseudotensor, it is possible to pass from $ f \left (R \right) $ to $ f \left ( T \right) $ and viceversa through a simple relation between gravitational pseudotensors.


title: Two-photon self-Kerr nonlinearities for quantum computing and quantum optics

abstract: The self-Kerr interaction is an optical nonlinearity that produces a phase shift proportional to the square of the number of photons in the field. At present, many proposals use nonlinearities to generate photon-photon interactions. For propagating fields these interactions result in undesirable features such as spectral correlation between the photons. Here, we engineer a discrete network composed of cross-Kerr interaction regions to simulate a self-Kerr medium. The medium has effective long-range interactions implemented in a physically local way. We compute the one- and two-photon S matrices for fields propagating in this medium. From these scattering matrices we show that our proposal leads to a high fidelity photon-photon gate. In the limit where the number of nodes in the network tends to infinity, the medium approximates a perfect self-Kerr interaction in the one- and two-photon regime.


title: Optical Studies of 15 Hard X-ray Selected Cataclysmic Binaries

abstract: We conducted time-resolved optical spectroscopy and/or time-series photometry of 15 cataclysmic binaries that were discovered in hard X-ray surveys by the Swift Burst Alert Telescope (BAT) and the International Gamma-Ray Astrophysics Laboratory (INTEGRAL), with the goal of measuring their orbital periods and searching for spin periods. Four of the objects in this study are new optical identifications: Swift J0535.2+2830, Swift J2006.4+3645, IGR J21095+4322, and Swift J2116.5+5336. Coherent pulsations are detected from three objects for the first time, Swift J0535.2+2830 (1523 s), 2PBC J1911.4+1412 (747 s), and 1SWXRT J230642.7+550817 (464 s), indicating that they are intermediate polars (IPs). We find two new eclipsing systems in time-series photometry: 2PBC J0658.0-1746, a polar with a period of 2.38 hr, and Swift J2116.5+5336, a disk system that has an eclipse period of 6.56 hr. Exact or approximate spectroscopic orbital periods are found for six additional targets. Of note is the long 4.637-day orbit for Swift J0623.9-0939, which is revealed by the radial velocities of the photospheric absorption lines of the secondary star. We also discover a 12.76 hr orbital period for RX J2015.6+3711, which confirms that the previously detected 2.00 hr X-ray period from this star is the spin period of an IP, as inferred by Coti Zelati et al. These results support the conclusion that hard X-ray selection favors magnetic CVs, with IPs outnumbering polars.


title: Beam Dynamics and Layout

abstract: In this paper, we give some guidelines for the design of linear accelerators, with special emphasis on their use in a hadron therapy facility. We concentrate on two accelerator layouts, based on linacs. The conventional one based on a linac injecting into a synchrotron and a all-linac solution based on high gradient high frequency RF cavities.


title: Superradiant Quantum Materials

abstract: There is currently great interest in the strong coupling between the quantized photon field of a cavity and electronic or other degrees of freedom in materials. A major goal is the creation of novel collective states entangling photons with those degrees of freedom. Here we show that the cooperative effect between strong electron interactions in quantum materials and the long-range correlations induced by the photon field leads to the stabilization of coherent phases of light and matter. By studying a two-band model of interacting electrons coupled to a cavity field, we show that a phase characterized by the simultaneous condensation of excitons and photon superradiance can be realized, hence stabilizing and intertwining two collective phenomena which are rather elusive in the absence of this cooperative effect.


title: Accelerators for Medical Applications - Radio Frequency Powering

abstract: This paper reviews the main types of radio-frequency powering systems which may be used for medical applications. It gives the essentials on vacuum tubes, including tetrodes, klystrons, and inductive output tubes, and the essentials on transistors. The basics of combining systems, splitting systems, and transmission lines are discussed. The paper concludes with a case study specific to medical applications, including overall efficiency and cost analysis regarding the various available technologies.


title: Hamiltonian distributed chaos in Arctic and Antarctic Oscillations

abstract: The Arctic and Antarctic Oscillations (AO and AAO indices) are studied using the Hamiltonian distributed chaos approach. Using the daily data (AO since 1950y and AAO since 1979y) it is shown that the power spectra of the both AO and AAO indices exhibit the stretched exponential behaviour $E(f) \propto \exp-(f/f_0)^{3/4}$ corresponding to the Hamiltonian distributed chaos. The characteristic time scale for the both indices $T_0=1/f_0\simeq 41$ day corresponds to the well known from the numerous extratropic observations near 40 day period.


title: Maximal operators associated with bilinear multipliers of limited decay

abstract: Results analogous to those proved by Rubio de Francia are obtained for a class of maximal functions formed by dilations of bilinear multiplier operators of limited decay. We focus our attention to $L^2\times L^2\to L^1$ estimates. We discuss two applications: the boundedness of the bilinear maximal Bochner-Riesz operator and of the bilinear spherical maximal operator. For the latter we improve the known results by reducing the dimension restriction from $n\ge 8$ to $n\ge 4$.


title: Dissipation-Based Continuation Method for Multiphase Flow in Heterogeneous Porous Media

abstract: In reservoir simulation, solution of the coupled systems of nonlinear algebraic equations that are associated with fully-implicit (backward Euler) discretization is challenging. Having a robust and efficient nonlinear solver is necessary in order for reservoir simulation to serve as the primary tool for managing the recovery processes of large-scale reservoirs. Here, we develop a continuation method based on the use of a dissipation operator. We focus on nonlinear two-phase flow and transport in heterogeneous formations in the presence of viscous, gravitational, and capillary forces. The homotopy is constructed by adding numerical dissipation to the coupled discrete conservation equations. A continuation parameter is introduced to control the amount of dissipation. Numerical evidence of multi-dimensional models and detailed analysis of single-cell problems are used to explain how the dissipation operator improves the nonlinear convergence of the coupled system of equations. An adaptive strategy to determine the dissipation coefficient is proposed. The dissipation level is computed locally for each cell interface. We demonstrate the efficiency of the dissipation-based continuation (DBC) nonlinear solver using several examples, including 1D scalar transport and 2D heterogeneous problems with fully-coupled flow and transport. The DBC solver has better convergence properties compared with the standard damped-Newton solvers used in reservoir simulation.


title: Interaction of supersymmetric nonlinear sigma models with external higher spin superfields via higher spin supercurrents

abstract: We consider a four dimensional generalized Wess-Zumino model formulated in terms of an arbitrary K\"{a}hler potential $\mathcal{K}(\Phi,\bar{\Phi})$ and an arbitrary chiral superpotential $\mathcal{W}(\Phi)$. A general analysis is given to describe the possible interactions of this theory with external higher spin gauge superfields of the ($s+1,s+1/2$) supermultiplet via higher spin supercurrents. It is shown that such interactions do not exist beyond supergravity $(s\geq2)$ for any $\mathcal{K}$ and $\mathcal{W}$. However, we find three exceptions, the theory of a free massless chiral, the theory of a free massive chiral and the theory of a free chiral with linear superpotential. For the first two, the higher spin supercurrents are known and for the third one we provide the explicit expressions. We also discuss the lower spin supercurrents. As expected, a coupling to (non-minimal) supergravity ($s=1$) can always be found and we give the generating supercurrent and supertrace for arbitrary $\mathcal{K}$ and $\mathcal{W}$. On the other hand, coupling to the vector supermultiplet ($s=0$) is possible only if $\mathcal{K}=\mathcal{K}(\bar{\Phi}\Phi)$ and $\mathcal{W}=0$.


title: Future Trends in Linacs

abstract: High-frequency hadron-therapy linacs have been studied for the last 20 years and are now being built for dedicated proton-therapy centres. The main reason for using high-frequency linacs, in spite of the small apertures and low-duty cycle, is the fact that, for such applications, beam currents of the order of a few nA and energies of about 200 MeV are sufficient. One of the main advantages of linacs, pulsing at 200-400Hz, is that the output energy can be continuously varied, pulse-by-pulse, and a moving tumour target can be covered about ten times in 2-3 minutes by deposing the dose in many thousands of 'spots'. Starting from the first proposal and the on-going projects related to linacs for medical applications, a discussion of the trend of this field is presented focussing, in particular, on the main challenges for the future, such as the reduction of the footprint of compact 'single-room' proton machines and the power efficiency of dual


title: Cyclotrons for Particle Therapy

abstract: In particle therapy with protons a cyclotron is one of the most used particle accelerators. Here it will be explained how a cyclotron works, some beam dynamics aspects, its major subsystems, as well as the advantages and disadvantages of a cyclotron for this application are discussed. The difference between the standard isochronous cyclotron and the synchrocyclotron is explained. New developments are presented and especially those which aim to reduce the size of the accelerator.