title: Hybrid systems for the generation of non-classical mechanical states via quadratic interactions

abstract: We present a method to implement two-phonon interactions between mechanical resonators and spin qubits in hybrid setups, and show that these systems can be applied for the generation of nonclassical mechanical states even in the presence of dissipation. In particular, we demonstrate that the implementation of a two-phonon Jaynes-Cummings Hamiltonian under coherent driving of the qubit yields a dissipative phase transition with similarities to the one predicted in the model of the degenerate parametric oscillator: beyond a certain threshold in the driving amplitude, the driven-dissipative system sustains a mixed steady state consisting of a `jumping cat', i.e., a cat state undergoing random jumps between two phases. We consider realistic setups and show that, in samples within reach of current technology, the system features non-classical transient states, characterized by a negative Wigner function, that persist during timescales of fractions of a second.


title: Asian Option Pricing with Orthogonal Polynomials

abstract: In this paper we derive a series expansion for the price of a continuously sampled arithmetic Asian option in the Black-Scholes setting. The expansion is based on polynomials that are orthogonal with respect to the log-normal distribution. All terms in the series are fully explicit and no numerical integration nor any special functions are involved. We provide sufficient conditions to guarantee convergence of the series. The moment indeterminacy of the log-normal distribution introduces an asymptotic bias in the series, however we show numerically that the bias can safely be ignored in practice.


title: Truthful ownership transfer with expert advice: Blending mechanism design with and without money

abstract: When a company undergoes a merger or transfers its ownership, the existing governing body has an opinion on which buyer should take over as the new owner. Similar situations occur while assigning the host of big sports tournaments, like the World Cup or the Olympics. In all these settings, the values of the external bidders are as important as the opinions of the internal experts. Motivated by such scenarios, we consider a social welfare maximizing approach to design and analyze truthful mechanisms in {\em hybrid social choice} settings, where payments can be imposed to the bidders, but not to the experts. Since this problem is a combination of mechanism design with and without monetary transfers, classical solutions like VCG cannot be applied, making this a novel mechanism design problem. We consider the simple but fundamental scenario with one expert and two bidders, and provide tight approximation guarantees of the optimal social welfare. We distinguish between mechanisms that use ordinal and cardinal information, as well as between mechanisms that base their decisions on one of the two sides (either the bidders or the expert) or both. Our analysis shows that the cardinal setting is quite rich and admits several non-trivial randomized truthful mechanisms, and also allows for closer-to-optimal welfare guarantees.


title: Scale Selection in the Stratified Convection of the Solar Photosphere

abstract: We examine the role of stratification in determining the scale for turbulent anelastic convection. Motivated by the range of scales observed in convection at the solar photosphere, we perform local numerical simulations of convection for a range of density contrasts in large domains. We analyse both the Eulerian and Lagrangian statistics of the convection and demonstrate that increasing the stratification shifts the scale of the most energetic structures in the flow to smaller scales; furthermore, the relative amplitude of vertical to horizontal flows in the convection decreases with increasing stratification. We discuss the implications of our results to the issue of solar mesogranulation.


title: A mathematical solve on the three-interfering-resonances' parameters

abstract: The multiple-solution problem in determining the three-interfering-resonances' parameters from a fit to an experimentally measured distribution is considered in a mathematical viewpoint. In this paper it is shown that there are four numerical solutions for the fit with three coherent Breit-Wigner functions. Although the explicit analytical formulae can not be derived in this case, we provide some constraint equations between the four solutions. For the cases of nonrelativistic and relativistic Breit-Wigner forms of amplitude functions, numerical method is provided to derive the other solutions from the already obtained one based on the obtained constraint equations. In real experimental measurements with more complicated amplitude forms similar to Breit-Wigner functions, the same method can be deduced and performed to get numerical solutions. The well agreement between the solved solutions using this mathematical method and those from the fit directly verifies the correctness of the supplied constraint equations and mathematical methodology.


title: Non-surjective Gaussian maps for singular curves on K3 surfaces

abstract: Let $(S,L)$ be a polarized K3 surface with $\mathrm{Pic}(S) = \mathbb{Z}[L]$ and $L\cdot L=2g-2$, let $C$ be a nonsingular curve of genus $g-1$ and let $f:C\to S$ be such that $f(C) \in \vert L \vert$. We prove that the Gaussian map $\Phi_{\omega_C(-T)}$ is non-surjective, where $T$ is the degree two divisor over the singular point $x$ of $f(C)$. This generalizes a result of Kemeny with an entirely different proof. It uses the very ampleness of $C$ on the blown-up surface $\widetilde S$ of $S$ at $x$ and a theorem of L'vovski.


title: Competitive Online Algorithms for Resource Allocation over the Positive Semidefinite Cone

abstract: We consider a new and general online resource allocation problem, where the goal is to maximize a function of a positive semidefinite (PSD) matrix with a scalar budget constraint. The problem data arrives online, and the algorithm needs to make an irrevocable decision at each step. Of particular interest are classic experiment design problems in the online setting, with the algorithm deciding whether to allocate budget to each experiment as new experiments become available sequentially. We analyze two greedy primal-dual algorithms and provide bounds on their competitive ratios. Our analysis relies on a smooth surrogate of the objective function that needs to satisfy a new diminishing returns (PSD-DR) property (that its gradient is order-reversing with respect to the PSD cone). Using the representation for monotone maps on the PSD cone given by L\"owner's theorem, we obtain a convex parametrization of the family of functions satisfying PSD-DR. We then formulate a convex optimization problem to directly optimize our competitive ratio bound over this set. This design problem can be solved offline before the data start arriving. The online algorithm that uses the designed smoothing is tailored to the given cost function, and enjoys a competitive ratio at least as good as our optimized bound. We provide examples of computing the smooth surrogate for D-optimal and A-optimal experiment design, and demonstrate the performance of the custom-designed algorithm.


title: All-depth dispersion cancellation in spectral domain optical coherence tomography using numerical intensity correlations

abstract: In ultra-high resolution (UHR-) optical coherence tomography (OCT) group velocity dispersion (GVD) must be corrected for in order to approach the theoretical resolution limit. One approach promises not only compensation, but complete annihilation of even order dispersion effects, and that at all sample depths. This approach has hitherto been demonstrated with an experimentally demanding 'balanced detection' configuration based on using two detectors. We demonstrate intensity correlation (IC) OCT using a conventional spectral domain (SD) UHR-OCT system with a single detector. IC-SD-OCT configurations exhibit cross term ghost images and a reduced axial range, half of that of conventional SD-OCT. We demonstrate that both shortcomings can be removed by applying a novel generic artefact reduction algorithm and using analytic interferograms. We show the superiority of IC-SD-OCT compared to conventional SD-OCT by showing how IC-SD-OCT is able to image spatial structures behind a strongly dispersive silicon wafer. Finally, we question the resolution enhancement of square root 2 that IC-SD-OCT is often believed to have compared to SD-OCT. We show that this is simply the effect of squaring the reflectivity profile as a natural result of processing the product of two intensity spectra instead of a single spectrum.


title: The Photometric Maximum in Cosmicflows-2

abstract: Based on well known photometric rules for the number of galaxies as function of the distance in Mpc we model the so called "Great Wall" which is visible on the Cosmicflows-2 catalog. The gravitational field is evaluated at the light of the shell theorem and a finite value for the gravitational field is numerically derived.


title: Gosig: Scalable Byzantine Consensus on Adversarial Wide Area Network for Blockchains

abstract: Existing Byzantine fault tolerance (BFT) protocols face significant challenges in the consortium blockchain scenario. On the one hand, we can make little assumptions about the reliability and security of the underlying Internet. On the other hand, the applications on consortium blockchains demand a system as scalable as the Bit-coin but providing much higher performance, as well as provable safety. We present a new BFT protocol, Gosig, that combines crypto-based secret leader selection and multi-round voting in the protocol layer with implementation layer optimizations such as gossip-based message propagation. In particular, Gosig guarantees safety even in a network fully controlled by adversaries, while providing provable liveness with easy-to-achieve network connectivity assumption. On a wide area testbed consisting of 140 Amazon EC2 servers spanning 14 cities on five continents, we show that Gosig can achieve over 4,000 transactions per second with less than 1 minute transaction confirmation time.


title: Study of Realistic Antenna Patterns in 5G mmWave Cellular Scenarios

abstract: Large antenna arrays and millimeter-wave (mmWave) frequencies have been attracting growing attention as possible candidates to meet the high requirements of future 5G mobile networks. In view of the large path loss attenuation in these bands, beamforming techniques that create a beam in the direction of the user equipment are essential to perform the transmission. For this purpose, in this paper, we aim at characterizing realistic antenna radiation patterns, motivated by the need to properly capture mmWave propagation behaviors and understand the achievable performance in 5G cellular scenarios. In particular, we highlight how the performance changes with the radiation pattern used. Consequently, we conclude that it is crucial to use an accurate and realistic radiation model for proper performance assessment and system dimensioning.


title: Convergence and completeness for square-well Stark resonant state expansions

abstract: In this paper we investigate the completeness of the Stark resonant eigenstates for a particle in a square-well potential. We find that the resonant state expansions for target functions converge inside the potential well and that the existence of this convergence does not depend on the depth of the potential well. By analyzing the asymptotic form of the terms in these expansions we prove some results on the relation between smoothness of target functions and the rate of convergence of the corresponding resonant state expansion.


title: Unary negation fragment with equivalence relations has the finite model property

abstract: We consider an extension of the unary negation fragment of first-order logic in which arbitrarily many binary symbols may be required to be interpreted as equivalence relations. We show that this extension has the finite model property. More specifically, we show that every satisfiable formula has a model of at most doubly exponential size. We argue that the satisfiability (= finite satisfiability) problem for this logic is TwoExpTime-complete. We also transfer our results to a restricted variant of the guarded negation fragment with equivalence relations.


title: Test beam measurement of the first prototype of the fast silicon pixel monolithic detector for the TT-PET project

abstract: The TT-PET collaboration is developing a PET scanner for small animals with 30 ps time-of-flight resolution and sub-millimetre 3D detection granularity. The sensitive element of the scanner is a monolithic silicon pixel detector based on state-of-the-art SiGe BiCMOS technology. The first ASIC prototype for the TT-PET was produced and tested in the laboratory and with minimum ionizing particles. The electronics exhibit an equivalent noise charge below 600 e- RMS and a pulse rise time of less than 2 ns, in accordance with the simulations. The pixels with a capacitance of 0.8 pF were measured to have a detection efficiency greater than 99% and, although in the absence of the post-processing, a time resolution of approximately 200 ps.


title: Frequency identification and asteroseismic analysis of the red giant KIC 9145955: fundamental parameters and helium core size

abstract: We have analyzed 18 quarters of long-cadence data of KIC 9145955 provided by \emph{Kepler}, and extracted 61 oscillation frequencies from these high precision photometric data. The oscillation frequencies include 7 $l = 0$ modes, 44 $l = 1$ modes, 7 $l = 2$ modes, and 3 $l = 3$ modes. We identify $l = 0$ modes as p modes and $l = 2$ modes as p-dominated modes. For $l = 1$ modes, all of them are identified as mixed modes. These mixed modes can be used to determine the size of the helium core. We conduct a series of asteroseismic models and the size of the helium core is determined to be $M_{\rm He}$ = 0.210 $\pm$ 0.002 $M_{\odot}$ and $R_{\rm He}$ = 0.0307 $\pm$ 0.0002 $R_{\odot}$. Furthermore, we find that only the acoustic radius $\tau_{0}$ can be precisely determined with the asteroseismic method independently. The value of $\tau_{0}$ is determined to be 0.494 $\pm$ 0.001 days. By combining asteroseismic results and spectroscopic observations, we obtain the best-fitting model. The physical parameters of this model are $M$ = 1.24 $M_{\odot}$, $Z$ = 0.009, $\alpha$ = 2.0, $T_{\rm eff}$ = 5069 K, $\log g$ = 3.029, $R$ = 5.636 $R_{\odot}$, and $L$ = 18.759 $L_{\odot}$. In addition, we think that the observed frequency F39 (96.397 $\mu$Hz) is more appropriate to be identified as a mixed mode of the most p-dominated.


title: Simulation of multiphase porous media flows with minimizing movement and finite volume schemes

abstract: The Wasserstein gradient flow structure of the PDE system governing multiphase flows in porous media was recently highlighted in [C. Canc\`es, T. O. Gallou\"et, and L. Monsaingeon, {\it Anal. PDE} 10(8):1845--1876, 2017]. The model can thus be approximated by means of the minimizing movement (or JKO) scheme, that we solve thanks to the ALG2-JKO scheme proposed in [J.-D. Benamou, G. Carlier, and M. Laborde, {\it ESAIM Proc. Surveys}, 57:1--17, 2016]. The numerical results are compared to a classical upstream mobility Finite Volume scheme, for which strong stability properties can be established.


title: Poincare function for moduli of differential-geometric structures

abstract: The Poincare function is a compact form of counting moduli in local geometric problems. We discuss its property in relation to V.Arnold's conjecture, and derive this conjecture in the case when the pseudogroup acts algebraically and transitively on the base. Then we survey the known counting results for differential invariants and derive new formulae for several other classification problems in geometry and analysis.


title: Using mixed many-body particle states to generate exact $\mathcal{PT}$-symmetry in a time-dependent four-well system

abstract: Bose-Einstein condensates with balanced gain and loss in a double-well potential have been shown to exhibit PT-symmetric states. As proposed by Kreibich et al [Phys. Rev. A 87, 051601(R) (2013)], in the mean-field limit the dynamical behaviour of this system, especially that of the PT-symmetric states, can be simulated by embedding it into a Hermitian four-well system with time-dependent parameters. In this paper we go beyond the mean-field approximation and investigate many-body effects in this system, which are in lowest order described by the single-particle density matrix. The conditions for PT symmetry in the single-particle density matrix cannot be completely fulfilled by using pure initial states. Here we show that it is mathematically possible to achieve exact PT symmetry in the four-well many-body system in the sense of the dynamical behaviour of the single-particle density matrix. In contrast to previous work, for this purpose, we use mixed initial states fulfilling certain constraints and use them to calculate the dynamics.


title: A study on downward half Cauchy sequences

abstract: In this paper, we introduce and investigate the concepts of down continuity and down compactness. A real valued function $f$ on a subset $E$ of $\R$, the set of real numbers is down continuous if it preserves downward half Cauchy sequences, i.e. the sequence $(f(\alpha_{n}))$ is downward half Cauchy whenever $(\alpha_{n})$ is a downward half Cauchy sequence of points in $E$, where a sequence $(\alpha_{ k})$ of points in $\R$ is called downward half Cauchy if for every $\varepsilon>0$ there exists an $n_{0}\in{\N}$ such that $\alpha_{m}-\alpha_{n} <\varepsilon$ for $m \geq n \geq n_0$. It turns out that the set of down continuous functions is a proper subset of the set of continuous functions.


title: Optimal bounds on codes for location in circulant graphs

abstract: Identifying and locating-dominating codes have been studied widely in circulant graphs of type $C_n(1,2,3,\dots, r)$ over the recent years. In 2013, Ghebleh and Niepel studied locating-dominating and identifying codes in the circulant graphs $C_n(1,d)$ for $d=3$ and proposed as an open question the case of $d > 3$. In this paper we study identifying, locating-dominating and self-identifying codes in the graphs $C_n(1,d)$, $C_n(1,d-1,d)$ and $C_n(1,d-1,d,d+1)$. We give a new method to study lower bounds for these three codes in the circulant graphs using suitable grids. Moreover, we show that these bounds are attained for infinitely many parameters $n$ and $d$. In addition, new approaches are provided which give the exact values for the optimal self-identifying codes in $C_n(1,3)$ and $C_n(1,4).$


title: Beyond-PFA Casimir Force between two spheres at finite temperature

abstract: A recent experiment [J.L. Garrett et al., Phys. Rev. Lett {\bf 120}, 040401 (2018)] measured for the first time the gradient of the Casimir force between two gold spheres at room temperature. The theoretical analysis of the data was carried out using the standard Proximity Force Approximation (PFA). A fit of the data, using a parametrization of the force valid for the sphere-plate geometry, was used by the authors to place a bound on deviations from PFA. Motivated by this work, we compute the Casimir force between two gold spheres at finite temperature. The semi-analytic formula for the Casimir force that we construct is valid for all separations, and can be easily used to interpret future experiments in both the sphere-plate and sphere-sphere configurations. We describe the correct parametrization of the corrections to PFA for two spheres that should be used in data analysis.


title: Voltage-Controlled Superconducting Quantum Bus

abstract: We demonstrate the ability of an epitaxial semiconductor-superconductor nanowire to serve as a field-effect switch to tune a superconducting cavity. Two superconducting gatemon qubits are coupled to the cavity, which acts as a quantum bus. Using a gate voltage to control the superconducting switch yields up to a factor of 8 change in qubit-qubit coupling between the on and off states without detrimental effect on qubit coherence. High-bandwidth operation of the coupling switch on nanosecond timescales degrades qubit coherence.


title: Using rxncon to develop rule based models

abstract: We present a protocol for building, validating and simulating models of signal transduction networks. These networks are challenging modelling targets due to the combinatorial complexity and sparse data, which have made it a major challenge even to formalise the current knowledge. To address this, the community has developed methods to model biomolecular reaction networks based on site dynamics. The strength of this approach is that reactions and states can be defined at variable resolution, which makes it possible to adapt the model resolution to the empirical data. This improves both scalability and accuracy, making it possible to formalise large models of signal transduction networks. Here, we present a method to build and validate large models of signal transduction networks. The workflow is based on rxncon, the reaction-contingency language. In a five-step process, we create a mechanistic network model, convert it into an executable Boolean model, use the Boolean model to evaluate and improve the network, and finally export the rxncon model into a rule based format. We provide an introduction to the rxncon language and an annotated, step-by-step protocol for the workflow. Finally, we create a small model of the insulin signalling pathway to illustrate the protocol, together with some of the challenges - and some of their solutions - in modelling signal transduction.


title: Reshaping of a Janus ring

abstract: We consider reshaping of closed Janus filaments acquiring intrinsic curvature upon actuation of an active component -- a nematic elastomer elongating upon phase transition. Linear stability analysis establishes instability thresholds of circles with no imposed twist, dependent on the ratio $q$ of the intrinsic curvature to the inverse radius of the original circle. Twisted circles are proven to be absolutely unstable but the linear analysis well predicts the dependence of the looping number of the emerging configurations on the imposed twist. Modeling stable configurations by relaxing numerically the overall elastic energy detects multiple stable and metastable states with different looping numbers. The bifurcation of untwisted circles turns out to be subcritical, so that nonplanar shapes with a lower energy exist at $q$ below the critical value. The looping number of stable shapes generally increases with $q$.


title: Explicit singular minimal surface solutions for gravitational instantons

abstract: We construct a family of instanton metric obtained from new exact singular solutions for minimal surfaces by noticing the correspondence between minimal surfaces in the three dimesional Euclidean space and gravitational instantons possessing two killing vectors. By Calabi's correspondence, we derive a family of explicit maximal surface solution for spacelike surface with zero mean curvature equation.


title: Relaminarization by steady modification of the streamwise velocity profile in a pipe

abstract: We show that a rather simple, steady modification of the streamwise velocity profile in a pipe can lead to a complete collapse of turbulence and the flow fully relaminarizes. Two different devices, a stationary obstacle (inset) and a device to inject additional fluid through an annular gap close to the wall, are used to control the flow. Both devices modify the streamwise velocity profile such that the flow in the center of the pipe is decelerated and the flow in the near wall region is accelerated. We present measurements with stereoscopic particle image velocimetry to investigate and capture the development of the relaminarizing flow downstream these devices and the specific circumstances responsible for relaminarization. We find total relaminarization up to Reynolds numbers of 6000, where the pressure drop in the downstream distance is reduced by a factor of 3.4 due to relaminarization. In a smooth straight pipe the flow remains completely laminar downstream of the control. Furthermore, we show that transient (temporary) relaminarization in a spatially confined region right downstream the devices occurs also at much higher Reynolds numbers, accompanied by a significant drag reduction. The underlying physical mechanism of relaminarization is attributed to a weakening of the near-wall turbulence production cycle.


title: Anisotropic strange stars in the Einstein-Maxwell spacetime

abstract: We present here a detailed analysis on the effects of charge on the anisotropic strange star candidates by considering a spherically symmetric interior spacetime metric. To obtain exact solution of the Einstein-Maxwell field equations we have considered the anisotropic strange quark matter (SQM) distribution governed by the simplified MIT bag equation of state (EOS), $p=\frac{1}{3}\left( {\rho}-4\,B \right)$, where $B$ is the bag constant and the distribution of the electrical charge is given as $q(r)=Q\left({r}/{R}\right)^3=\alpha {r^3}$, where $\alpha$ is a constant. To this end, to calculate different constants we have described the exterior spacetime by the Reissner-Nordstr{\"o}m metric. By using the values of the observed mass for the different strange star candidates we have maximized anisotropic stress at the surface to predict the exact values of the radius for the different values of $\alpha$ and a specific value of the bag constant. Further, we perform different tests to study the physical validity and the stability of the proposed stellar model. We found accumulation of the electric charge distribution is maximum at the surface having electric charge of the order ${{10}^{20}}~C$ and electric field of the order ${10}^{21-22}~V/cm$. To study the different physical parameters and the effects of charge on the anisotropic stellar system we have presented our analysis graphically and in the tabular format by considering $LMC~X-4$ as the representative of the strange star candidates.


title: Concentration sets for multiple equal-depth wells potentials in the 2D elliptic case

abstract: The formation of codimension-one interfaces for multiwell gradient-driven problems is well-known and established in the scalar case, where the equation is often referred to as the Allen-Cahn equation. The vectorial case in contrast is quite open. This lack of results and insight is to a large extend related to the absence of known appropriate monotonicity formula. In this paper, we focus on the elliptic case in two dimensions, and introduce some methods which allow to circumvent the lack of monotonicity formula. This methods lead, as expected, to concentration on one-dimensional rectifiable sets.


title: Information Assisted Dictionary Learning for fMRI data analysis

abstract: In this paper, the task-related fMRI problem is treated in its matrix factorization formulation, focused on the Dictionary Learning (DL) approach. The new method allows the incorporation of a priori knowledge associated both with the experimental design as well as with available brain Atlases. Moreover, the proposed method can efficiently cope with uncertainties related to the HRF modeling. In addition, the proposed method bypasses one of the major drawbacks that are associated with DL methods; that is, the selection of the sparsity-related regularization parameters. In our formulation, an alternative sparsity promoting constraint is employed, that bears a direct relation to the number of voxels in the spatial maps. Hence, the related parameters can be tuned using information that is available from brain atlases. The proposed method is evaluated against several other popular techniques, including GLM. The obtained performance gains are reported via a novel realistic synthetic fMRI dataset as well as real data that are related to a challenging experimental design.


title: Spinup and Disruption of Interstellar Asteroids by Mechanical Torques, and Implications for 1I/2017 U1 (`Oumuamua)

abstract: The discovery of the first interstellar asteroid, 1I/2017 U1 (`Oumuamua), has opened a new era for research on interstellar objects. In this paper, we study the rotational dynamics of interstellar asteroids (ISAs) of irregular shapes moving through the interstellar gas. We find that regular mechanical torques resulting from the bombardment of gas flow on the irregular body could be important for the dynamics and destruction of ISAs. Mechanical torques can spin up the ISA, resulting in the breakup of the original ISA into small binary asteroids when the rotation rate exceeds the critical frequency. We find that the breakup timescale is short for ISAs of highly irregular shapes and low tensile strength. We apply our results to the first observed ISA, `Oumuamua, and suggest that its extreme elongated shape may originate from a reassembly of the binary fragments due to gravity along its journey in the interstellar medium. The tumbling of `Oumuamua could have been induced by rotational disruption due to mechanical torques. Finally, we discuss the survival possibility of high-velocity asteroids presumably formed by tidal disruption of planetary systems by the black hole at the Galactic center.


title: Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle

abstract: We present a framework in Isabelle for verifying asymptotic time complexity of imperative programs. We build upon an extension of Imperative HOL and its separation logic to include running time. In addition to the basic arguments, our framework is able to handle advanced techniques for time complexity analysis, such as the use of the Akra-Bazzi theorem and amortized analysis. Various automation is built and incorporated into the auto2 prover to reason about separation logic with time credits, and to derive asymptotic behavior of functions. As case studies, we verify the asymptotic time complexity (in addition to functional correctness) of imperative algorithms and data structures such as median of medians selection, Karatsuba's algorithm, and splay trees.


title: All unital qubit channels are $4$-noisy operations

abstract: We show that any unital qubit channel can be implemented by letting the input system interact unitarily with a $4$-dimensional environment in the maximally mixed state and then tracing out the environment. We also provide an example where the dimension of such an environment has to be at least $3$.


title: Shortest $k$-Disjoint Paths via Determinants

abstract: The well-known $k$-disjoint path problem ($k$-DPP) asks for pairwise vertex-disjoint paths between $k$ specified pairs of vertices $(s_i, t_i)$ in a given graph, if they exist. The decision version of the shortest $k$-DPP asks for the length of the shortest (in terms of total length) such paths. Similarly the search and counting versions ask for one such and the number of such shortest set of paths, respectively. We restrict attention to the shortest $k$-DPP instances on undirected planar graphs where all sources and sinks lie on a single face or on a pair of faces. We provide efficient sequential and parallel algorithms for the search versions of the problem answering one of the main open questions raised by Colin de Verdiere and Schrijver for the general one-face problem. We do so by providing a randomised $NC^2$ algorithm along with an $O(n^{\omega})$ time randomised sequential algorithm. We also obtain deterministic algorithms with similar resource bounds for the counting and search versions. In contrast, previously, only the sequential complexity of decision and search versions of the "well-ordered" case has been studied. For the one-face case, sequential versions of our routines have better running times for constantly many terminals. In addition, the earlier best known sequential algorithms (e.g. Borradaile et al.) were randomised while ours are also deterministic. The algorithms are based on a bijection between a shortest $k$-tuple of disjoint paths in the given graph and cycle covers in a related digraph. This allows us to non-trivially modify established techniques relating counting cycle covers to the determinant. We further need to do a controlled inclusion-exclusion to produce a polynomial sum of determinants such that all "bad" cycle covers cancel out in the sum allowing us to count "good" cycle covers.


title: Observation of Topologically Protected States at Crystalline Phase Boundaries in Single-layer WSe2

abstract: Transition metal dichalcogenide (TMD) materials are unique in the wide variety of structural and electronic phases they exhibit in the two-dimensional (2D) single-layer limit. Here we show how such polymorphic flexibility can be used to achieve topological states at highly ordered phase boundaries in a new quantum spin Hall insulator (QSHI), 1T'-WSe2. We observe helical states at the crystallographically-aligned interface between quantum a spin Hall insulating domain of 1T'-WSe2 and a semiconducting domain of 1H-WSe2 in contiguous single layers grown using molecular beam epitaxy (MBE). The QSHI nature of single-layer 1T'-WSe2 was verified using ARPES to determine band inversion around a 120 meV energy gap, as well as STM spectroscopy to directly image helical edge-state formation. Using this new edge-state geometry we are able to directly confirm the predicted penetration depth of a helical interface state into the 2D bulk of a QSHI for a well-specified crystallographic direction. The clean, well-ordered topological/trivial interfaces observed here create new opportunities for testing predictions of the microscopic behavior of topologically protected boundary states without the complication of structural disorder.


title: Experimental Constraints On The Fatigue of Icy Satellite Lithospheres by Tidal Forces

abstract: Fatigue can cause materials that undergo cyclic loading to experience brittle failure at much lower stresses than under monotonic loading. We propose that the lithospheres of icy satellites could become fatigued and thus weakened by cyclical tidal stresses. To test this hypothesis, we performed a series of laboratory experiments to measure the fatigue of water ice at temperatures of $198$ K and $233$ K and at a loading frequency of $1$ Hz. We find that ice is \textit{not} susceptible to fatigue at our experimental conditions and that the brittle failure stress does not decrease with increasing number of loading cycles. Even though fatigue was not observed at our experimental conditions, colder temperatures, lower loading frequencies, and impurities in the ice shells of icy satellites may increase the likelihood of fatigue crack growth. We also explore other mechanisms that may explain the weak behavior of the lithospheres of some icy satellites.


title: Two Optical Coherence Tomography Systems detect Topical Gold Nanoparticles in Hair follicles, Sweat Ducts and Measure Epidermis

abstract: Optical coherence tomography (OCT) is an established imaging technology for in vivo skin investigation. Topical application of gold nanoshells (GNS) provides contrast enhancement in OCT by generating a strong hyperreflective signal from hair follicles and sweat glands, which are the natural skin openings. This study explores the utility of 150 nm diameter GNS as contrast agent for OCT imaging. GNS was massaged into skin and examined in four skin areas of 11 healthy participants. A commercial OCT system and a prototype with 3 micron resolution (UHR-OCT) were employed to detect potential benefits of increased resolution and variability in intensity generated from GNS. In both OCT-systems GNS enhanced contrast from hair follicles and sweat ducts. Highest average penetration depth of GNS was in armpit 0.64 mm plus/minus 0.17, maximum penetration depth was 1.20 mm in hair follicles and 15-40 microns in sweat ducts. Pixel intensity generated from GNS in hair follicles was significantly higher in UHR-OCT images (p=0.002) and epidermal thickness significantly lower 0.14 vs. 0.16 mm (p=0.027). Hence topical application of GNS increases OCT signals from natural skin openings. GNS may also increase sensitivity in OCT diagnosis of certain skin diseases, which is to be examined in future studies.


title: Instanton dominance over $\alpha_s$ at low momenta from lattice QCD simulations at $N_f=0$, $N_f=2+1$ and $N_f=2+1+1$

abstract: We report on an instanton-based analysis of the gluon Green functions in the Landau gauge for low momenta; in particular we use lattice results for $\alpha_s$ in the symmetric momentum subtraction scheme (${\rm MOM}$) for large-volume lattice simulations. We have exploited quenched gauge field configurations, $N_f=0$, with both Wilson and tree-level Symanzik improved actions, and unquenched ones with $N_f=2+1$ and $N_f=2+1+1$ dynamical flavors (domain wall and twisted-mass fermions, respectively). We show that the dominance of instanton correlations on the low-momenta gluon Green functions can be applied to the determination of phenomenological parameters of the instanton liquid and, eventually, to a determination of the lattice spacing. We furthermore apply the Gradient Flow to remove short-distance fluctuations. The Gradient Flow gets rid of the QCD scale, $\Lambda_{\rm QCD}$, and reveals that the instanton prediction extents to large momenta. For those gauge field configurations free of quantum fluctuations, the direct study of topological charge density shows the appearance of large-scale lumps that can be identified as instantons, giving access to a direct study of the instanton density and size distribution that is compatible with those extracted from the analysis of the Green functions.


title: Chemical analysis of three barium stars: HD 51959, HD 88035, HD 121447

abstract: We present elemental abundance results from high resolution spectral analysis of three nitrogen-enhanced barium stars. The analysis is based on spectra obtained with the FEROS attached to 1.52m telescope at ESO, Chile. The spectral resolution is R~48000 and the spectral coverage spans from 3500-9000\AA\,. For the objects HD 51959 and HD 88035, we present the first time abundance analyses results. Although a few studies are available in literature on the object HD 121447, the results are significantly different from each other. We have therefore carried out a detailed chemical composition study for this object based on a high resolution spectrum with high S/N ratio, for a better understanding of the origin of the abundance patterns observed in this star. Stellar atmospheric parameters, the effective temperature, surface gravity, microturbulence and metallicity of the stars are determined from the LTE analysis using model atmospheres. The metallicity of HD 51959 and HD 88035 are found to be near-solar; they exhibit enhanced abundances of neutron-capture elements. HD 121447 is found to be moderately metal-poor with [Fe/H]=-0.65. While carbon is near-solar in the other two objects, HD 121447 shows carbon enhancement at a level, [C/Fe]=0.82. Neutron-capture elements are highly enhanced with [X/Fe]>2 (X: Ba, La, Pr, Nd, Sm) in this object. The alpha- and iron-peak elements show abundances very similar to field giants with the same metallicity. From kinematic analysis all the three objects are found to be members of thin disk population with a high probability of 0.99, 0.99 and 0.92 for HD 51959, HD 88035 and HD 121447 respectively.


title: Continuous-Domain Solutions of Linear Inverse Problems with Tikhonov vs. Generalized TV Regularization

abstract: We consider linear inverse problems that are formulated in the continuous domain. The object of recovery is a function that is assumed to minimize a convex objective functional. The solutions are constrained by imposing a continuous-domain regularization. We derive the parametric form of the solution (representer theorems) for Tikhonov (quadratic) and generalized total-variation (gTV) regularizations. We show that, in both cases, the solutions are splines that are intimately related to the regularization operator. In the Tikhonov case, the solution is smooth and constrained to live in a fixed subspace that depends on the measurement operator. By contrast, the gTV regularization results in a sparse solution composed of only a few dictionary elements that are upper-bounded by the number of measurements and independent of the measurement operator. Our findings for the gTV regularization resonates with the minimization of the $l_1$ norm, which is its discrete counterpart and also produces sparse solutions. Finally, we find the experimental solutions for some measurement models in one dimension. We discuss the special case when the gTV regularization results in multiple solutions and devise an algorithm to find an extreme point of the solution set which is guaranteed to be sparse.


title: DP-GAN: Diversity-Promoting Generative Adversarial Network for Generating Informative and Diversified Text

abstract: Existing text generation methods tend to produce repeated and "boring" expressions. To tackle this problem, we propose a new text generation model, called Diversity-Promoting Generative Adversarial Network (DP-GAN). The proposed model assigns low reward for repeatedly generated text and high reward for "novel" and fluent text, encouraging the generator to produce diverse and informative text. Moreover, we propose a novel language-model based discriminator, which can better distinguish novel text from repeated text without the saturation problem compared with existing classifier-based discriminators. The experimental results on review generation and dialogue generation tasks demonstrate that our model can generate substantially more diverse and informative text than existing baselines. The code is available at https://github.com/lancopku/DPGAN


title: Deep Neural Network-based Cooperative Visual Tracking through Multiple Micro Aerial Vehicles

abstract: Multi-camera full-body pose capture of humans and animals in outdoor environments is a highly challenging problem. Our approach to it involves a team of cooperating micro aerial vehicles (MAVs) with on-board cameras only. The key enabling-aspect of our approach is the on-board person detection and tracking method. Recent state-of-the-art methods based on deep neural networks (DNN) are highly promising in this context. However, real time DNNs are severely constrained in input data dimensions, in contrast to available camera resolutions. Therefore, DNNs often fail at objects with small scale or far away from the camera, which are typical characteristics of a scenario with aerial robots. Thus, the core problem addressed in this paper is how to achieve on-board, real-time, continuous and accurate vision-based detections using DNNs for visual person tracking through MAVs. Our solution leverages cooperation among multiple MAVs. First, each MAV fuses its own detections with those obtained by other MAVs to perform cooperative visual tracking. This allows for predicting future poses of the tracked person, which are used to selectively process only the relevant regions of future images, even at high resolutions. Consequently, using our DNN-based detector we are able to continuously track even distant humans with high accuracy and speed. We demonstrate the efficiency of our approach through real robot experiments involving two aerial robots tracking a person, while maintaining an active perception-driven formation. Our solution runs fully on-board our MAV's CPU and GPU, with no remote processing. ROS-based source code is provided for the benefit of the community.


title: Hartman-Wintner-type inequality for fractional differential equations with k-Prabhakar derivative

abstract: In present paper, Hartman-Wintner-type inequality is established for a nonlocal fractional boundary value problem involving k-Prabhakar fractional derivative.


title: The interplay of phonon and exciton-mediated superconductivity in hybrid semiconductor-superconductor structures

abstract: We predict a strong enhancement of the critical temperature in a conventional Bardeen-Cooper-Schrieffer (BCS) superconductor in the presence of a bosonic condensate of exciton-polaritons. The effect depends strongly on the ratio of the cutoff frequencies for phonon and exciton-polariton mediated BCS superconductivity, respectively. We also discuss a possible design of hybrid semiconductor-superconductor structures suitable for the experimental observation of such an effect.


abstract: In this paper, we obtain Lyapunov type inequality for discrete fractional boundary value problem.


title: On cubic difference equations with variable coefficients and fading stochastic perturbations

abstract: We consider the stochastically perturbed cubic difference equation with variable coefficients \[ x_{n+1}=x_n(1-h_nx_n^2)+\rho_{n+1}\xi_{n+1}, \quad n\in \mathbb N,\quad x_0\in \mathbb R. \] Here $(\xi_n)_{n\in \mathbb N}$ is a sequence of independent random variables, and $(\rho_n)_{n\in \mathbb N}$ and $(h_n)_{n\in \mathbb N}$ are sequences of nonnegative real numbers. We can stop the sequence $(h_n)_{n\in \mathbb N}$ after some random time $\mathcal N$ so it becomes a constant sequence, where the common value is an $\mathcal{F}_\mathcal{N}$-measurable random variable. We derive conditions on the sequences $(h_n)_{n\in \mathbb N}$, $(\rho_n)_{n\in \mathbb N}$ and $(\xi_n)_{n\in \mathbb N}$, which guarantee that $\lim_{n\to \infty} x_n$ exists almost surely (a.s.), and that the limit is equal to zero a.s. for any initial value $ x_0\in \mathbb R$.


title: Semimetal behavior of bilayer stanene

abstract: Stanene is a two-dimensional (2D) buckled honeycomb structure which has been studied recently owing to its promising electronic properties for potential electronic and spintronic applications in nanodevices. In this article, we present a first-principles study of electronic properties of fluorinated bilayer stanene. The effect of tensile strain, intrinsic spin-orbit, and van der Waals interactions are considered within the framework of density functional theory. The electronic band structure shows a very small overlap between valence and conduction bands at the {\Gamma} point which is a characteristic of semimetal in fluorinated bilayer stanene. A relatively high value of tensile strain is needed to open an energy band gap in the electronic band structure and the parity analysis reveals that the strained nanostructure is a trivial insulator. According to our results, despite the monolayer fluorinated stanene, the bilayer one is not an appropriate candidate for topological insulator.


title: Measurements and modeling of absorption by CO2+H2O mixtures in the spectral region beyond the CO2 nu3-band head

abstract: In this work, we measured the absorption by CO2+H2O mixtures from 2400 to 2600 cm-1 which corresponds to the spectral region beyond the nu3 band head of CO2. Transmission spectra of CO2 mixed with water vapor were recorded with a high-resolution Fourier-transform spectrometer for various pressure, temperature and concentration conditions. The continuum absorption by CO2 due to the presence of water vapor was determined by subtracting from measured spectra the contribution of local lines of both species, that of the continuum of pure CO2 as well as of the self- and CO2-continua of water vapor induced by the H2O-H2O and H2O-CO2 interactions. The obtained results are in very good agreement with the unique previous measurement (in a narrower spectral range). They confirm that the H2O-continuum of CO2 is significantly larger than that observed for pure CO2. This continuum thus must be taken into account in radiative transfer calculations for media involving CO2+H2O mixture. An empirical model, using sub-Lorentzian line shapes based on some temperature-dependent correction factors chi is proposed which enables an accurate description of the experimental results.


title: Lie Transform--based Neural Networks for Dynamics Simulation and Learning

abstract: In the article, we discuss the architecture of the polynomial neural network that corresponds to the matrix representation of Lie transform. The matrix form of Lie transform is an approximation of the general solution of the nonlinear system of ordinary differential equations. The proposed architecture can be trained with small data sets, extrapolate predictions outside the training data, and provide a possibility for interpretation. We provide a theoretical explanation of the proposed architecture, as well as demonstrate it in several applications. We present the results of modeling and identification for both simple and well-known dynamical systems, and more complicated examples from price dynamics, chemistry, and accelerator physics. From a practical point of view, we describe the training of a Lie transform--based neural network with a small data set containing only 10 data points. We also demonstrate an interpretation of the fitted neural network by converting it to a system of differential equations.


title: Interaction of phonons with discrete breather in strained graphene

abstract: We numerically analyze the interaction of small-amplitude phonon waves with standing gap discrete breather (DB) in strained graphene. To make the system support gap DB, strain is applied to create a gap in the phonon spectrum. We only focus on the in-plane phonons and DB, so the issue is investigated under a quasi-one-dimensional setup. It is found that, for the longitudinal sound waves having frequencies below 6 THz, DB is transparent and thus no radiation of energy from DB takes place; whereas for those sound waves with higher frequencies within the acoustic (optical) phonon band, phonon is mainly transmitted (reflected) by DB, and concomitantly, DB radiates its energy when interacting with phonons. The latter case is supported by the fact that, the sum of the transmitted and reflected phonon energy densities is noticeably higher than that of the incident wave. Our results here may provide insight into energy transport in graphene when the spatially localized nonlinear vibration modes are presented.


title: A Galois connection between Turing jumps and limits

abstract: Limit computable functions can be characterized by Turing jumps on the input side or limits on the output side. As a monad of this pair of adjoint operations we obtain a problem that characterizes the low functions and dually to this another problem that characterizes the functions that are computable relative to the halting problem. Correspondingly, these two classes are the largest classes of functions that can be pre or post composed to limit computable functions without leaving the class of limit computable functions. We transfer these observations to the lattice of represented spaces where it leads to a formal Galois connection. We also formulate a version of this result for computable metric spaces. Limit computability and computability relative to the halting problem are notions that coincide for points and sequences, but even restricted to continuous functions the former class is strictly larger than the latter. On computable metric spaces we can characterize the functions that are computable relative to the halting problem as those functions that are limit computable with a modulus of continuity that is computable relative to the halting problem. As a consequence of this result we obtain, for instance, that Lipschitz continuous functions that are limit computable are automatically computable relative to the halting problem. We also discuss 1-generic points as the canonical points of continuity of limit computable functions, and we prove that restricted to these points limit computable functions are computable relative to the halting problem. Finally, we demonstrate how these results can be applied in computable analysis.


title: Di-Baryon from Instanton in Holographic QCD

abstract: We study the di-baryon in the holographic QCD. The di-baryon is composed of six quarks and bound by the color interaction. In this paper, we adopt the Sakai-Sugimoto (SS) model as the holographic QCD to study the di-baryon. The SS model is formulated in a $\mathrm{D4}/\mathrm{D8}/\overline{\mathrm{D8}}$ system of the Type IIA string theory. It is expected that the di-baryon is described by the 2-instanton configuration of the flavor symmetry on D8-branes since the baryon number is identified as the instanton number. We will construct the 't Hooft 2-instanton solution explicitly and use it to discuss the stability of the di-baryon. An effective action of this model has not only the Yang-Mills (YM) action but also the Chern-Simons (CS) action coming from the CS action of probe D8-branes, and the CS action assigns $U(1)$ charges associated with the baryon number to each instanton. As a result, we can see that the di-baryon is unstable due to this $U(1)$ charge in the SS model.


title: Differential calculus on $\mathbf{h}$-deformed spaces

abstract: The ring $\text{Diff}_{\mathbf{h}}(n)$ of $\mathbf{h}$-deformed differential operators appears in the theory of reduction algebras. In this thesis, we construct the rings of generalized differential operators on the $\mathbf{h}$-deformed vector spaces of $\mathfrak{gl}$-type. In contrast to the $q$-deformed vector spaces for which the ring of differential operators is unique up to an isomorphism, the general ring of $\mathbf{h}$-deformed differential operators $\text{Diff}_{\mathbf{h},\sigma}(n)$ is labeled by a rational function $\sigma$ in $n$ variables, satisfying an over-determined system of finite-difference equations. We obtain the general solution of the system. We show that the center of $\text{Diff}_{\mathbf{h},\sigma}(n)$ is a ring of polynomials in $n$ variables. We construct an isomorphism between certain localizations of $\text{Diff}_{\mathbf{h},\sigma}(n)$ and the Weyl algebra $\text{W}_n$ extended by $n$ indeterminates. We present some conditions for the irreducibility of the finite dimensional $\text{Diff}_{\mathbf{h},\sigma}(n)$-modules. Finally, we discuss difficulties for finding analogous constructions for the ring $\text{Diff}_{\mathbf{h}}(n,N)$ formed by several copies of $\text{Diff}_{\mathbf{h}}(n)$.


title: A General Approach for Construction of Deterministic Compressive Sensing Matrices

abstract: In this paper, deterministic construction of measurement matrices in Compressive Sensing (CS) is considered. First, by employing the column replacement concept, a theorem for construction of large minimum distance linear codes containing all-one codewords is proposed. Then, by applying an existing theorem over these linear codes, deterministic sensing matrices are constructed. To evaluate this procedure, two examples of constructed sensing matrices are presented. The first example contains a matrix of size ${{p}^{2}}\times {{p}^{3}}$ and coherence ${1}/{p}\;$, and the second one comprises a matrix with the size $p\left( p-1 \right)\times {{p}^{3}}$ and coherence ${1}/{\left( p-1 \right)}\;$, where $p$ is a prime integer. Based on the Welch bound, both examples asymptotically achieve optimal results. Moreover, by presenting a new theorem, the column replacement is used for resizing any sensing matrix to a greater-size sensing matrix whose coherence is calculated. Then, using an example, the outperformance of the proposed method is compared to a well-known method. Simulation results show the satisfying performance of the column replacement method either in created or resized sensing matrices.


title: Numerical Analysis for Iterative Filtering with New Efficient Implementations Based on FFT

abstract: Real life signals are in general non--stationary and non--linear. The development of methods able to extract their hidden features in a fast and reliable way is of high importance in many research fields. In this work we tackle the problem of further analyzing the convergence of the Iterative Filtering method both in a continuous and a discrete setting in order to provide a comprehensive analysis of its behavior. Based on these results we provide new ideas for efficient implementations of Iterative Filtering algorithm which are based on Fast Fourier Transform (FFT), and the reduction of the original iterative algorithm to a direct method.


title: ORLA/OLAA: Orthogonal Coexistence of LAA and WiFi in Unlicensed Spectrum

abstract: Future mobile networks will exploit unlicensed spectrum to boost capacity and meet growing user demands cost-effectively. The 3GPP has recently defined a Licensed-Assisted Access (LAA) scheme to enable global Unlicensed LTE (U-LTE) deployment, aiming at ($i$) ensuring fair coexistence with incumbent WiFi networks, i.e., impacting on their performance no more than another WiFi device, and ($ii$) achieving superior airtime efficiency as compared to WiFi. In this paper we show the standardized LAA fails to simultaneously fulfill these objectives, and design an alternative orthogonal (collision-free) listen-before-talk coexistence paradigm that provides a substantial improvement in performance, yet imposes no penalty on existing WiFi networks. We derive two LAA optimal transmission policies, ORLA and OLAA, that maximize LAA throughput in both asynchronous and synchronous (i.e., with alignment to licensed anchor frame boundaries) modes of operation, respectively. We present a comprehensive performance evaluation through which we demonstrate that, when aggregating packets, IEEE 802.11ac WiFi can be more efficient than 3GPP LAA, whereas our proposals can attain 100% higher throughput, without harming WiFi. We further show that long U-LTE frames incur up to 92% throughput losses on WiFi when using 3GPP LAA, whilst ORLA/OLAA sustain $>$200% gains at no cost, even in the presence of non-saturated WiFi and/or in multi-rate scenarios.


title: Measure-preserving symmetries and reversibilities of ordinary differential systems

abstract: We prove that measure-preserving symmetries of an $n$-dimensional differential system preserve its divergence and the divergence derivatives along the solutions. Also, we prove that measure-preserving reversibilities preserve odd-order divergence derivatives along the solutions, and that even-order derivatives are multiplied by $-1$. We apply such results to find all the area-preserving symmetries and reversibilities of planar Lotka-Volterra and Li\'enard systems.


title: Cuspidal cohomology of stacks of shtukas

abstract: Let $G$ be a connected split reductive group over a finite field ${\mathbb F}_q$ and $X$ a smooth projective geometrically connected curve over ${\mathbb F}_q$. The $\ell$-adic cohomology of stacks of $G$-shtukas is a generalization of the space of automorphic forms with compact support over the function field of $X$. In this paper, we construct a constant term morphism on the cohomology of stacks of shtukas which is a generalization of the constant term morphism for automorphic forms. We also define the cuspidal cohomology which generalizes the space of cuspidal automorphic forms. Then we show that the cuspidal cohomology has finite dimension and that it is equal to the (rationally) Hecke-finite cohomology defined by V. Lafforgue.


title: First global next-to-leading order determination of diffractive parton distribution functions and their uncertainties within the {\tt xFitter} framework

abstract: We present {\tt GKG18-DPDFs}, a next-to-leading order (NLO) QCD analysis of diffractive parton distribution functions (diffractive PDFs) and their uncertainties. This is the first global set of diffractive PDFs determined within the {\tt xFitter} framework. This analysis is motivated by all available and most up-to-date data on inclusive diffractive deep inelastic scattering (diffractive DIS). Heavy quark contributions are considered within the framework of the Thorne-Roberts (TR) general mass variable flavor number scheme (GM-VFNS). We form a mutually consistent set of diffractive PDFs due to the inclusion of high-precision data from H1/ZEUS combined inclusive diffractive cross sections measurements. We study the impact of the H1/ZEUS combined data by producing a variety of determinations based on reduced data sets. We find that these data sets have a significant impact on the diffractive PDFs with some substantial reductions in uncertainties. The predictions based on the extracted diffractive PDFs are compared to the analyzed diffractive DIS data and with other determinations of the diffractive PDFs.


title: Classifying and modelling spiral structures in hydrodynamic simulations of astrophysical discs

abstract: We demonstrate numerical techniques for automatic identification of individual spiral arms in hydrodynamic simulations of astrophysical discs. Building on our earlier work, which used tensor classification to identify regions that were "spiral-like", we can now obtain fits to spirals for individual arm elements. We show this process can even detect spirals in relatively flocculent spiral patterns, but the resulting fits to logarithmic "grand-design" spirals are less robust. Our methods not only permit the estimation of pitch angles, but also direct measurements of the spiral arm width and pattern speed. In principle, our techniques will allow the tracking of material as it passes through an arm. Our demonstration uses smoothed particle hydrodynamics simulations, but we stress that the method is suitable for any finite-element hydrodynamics system. We anticipate our techniques will be essential to studies of star formation in disc galaxies, and attempts to find the origin of recently observed spiral structure in protostellar discs.


title: A Bilevel Approach for Parameter Learning in Inverse Problems

abstract: A learning approach to selecting regularization parameters in multi-penalty Tikhonov regularization is investigated. It leads to a bilevel optimization problem, where the lower level problem is a Tikhonov regularized problem parameterized in the regularization parameters. Conditions which ensure the existence of solutions to the bilevel optimization problem of interest are derived, and these conditions are verified for two relevant examples. Difficulties arising from the possible lack of convexity of the lower level problems are discussed. Optimality conditions are given provided that a reasonable constraint qualification holds. Finally, results from numerical experiments used to test the developed theory are presented.


title: First Measurements of Beam Backgrounds at SuperKEKB

abstract: The high design luminosity of the SuperKEKB electron-positron collider is expected to result in challenging levels of beam-induced backgrounds in the interaction region. Properly simulating and mitigating these backgrounds is critical to the success of the Belle~II experiment. We report on measurements performed with a suite of dedicated beam background detectors, collectively known as BEAST II, during the so-called Phase 1 commissioning run of SuperKEKB in 2016, which involved operation of both the high energy ring (HER) of 7 GeV electrons as well as the low energy ring (LER) of 4 GeV positrons. We describe the BEAST II detector systems, the simulation of beam backgrounds, and the measurements performed. The measurements include standard ones of dose rates versus accelerator conditions, and more novel investigations, such as bunch-by-bunch measurements of injection backgrounds and measurements sensitive to the energy spectrum and angular distribution of fast neutrons. We observe beam-gas, Touschek, beam-dust, and injection backgrounds. We do not observe significant synchrotron radiation, as expected. Measured LER beam-gas backgrounds and Touschek backgrounds in both rings are slightly elevated, on average three times larger than the levels predicted by simulation. HER beam-gas backgrounds are on on average two orders of magnitude larger than predicted. Systematic uncertainties and channel-to-channel variations are large, so that these excesses constitute only 1-2 sigma level effects. Neutron background rates are higher than predicted and should be studied further. We will measure the remaining beam background processes, due to colliding beams, in the imminent commissioning Phase 2. These backgrounds are expected to be the most critical for Belle II, to the point of necessitating replacement of detector components during the Phase 3 (full-luminosity) operation of SuperKEB.


title: Integrable Subsectors from Holography

abstract: We consider operators in ${\cal N}=4$ super Yang-Mills theory dual to closed string states propagating on a class of LLM geometries. The LLM geometries we consider are specified by a boundary condition that is a set of black rings on the LLM plane. When projected to the LLM plane, the closed strings are polygons with all corners lying on the outer edge of a single ring. The large $N$ limit of correlators of these operators receives contributions from non-planar diagrams even for the leading large $N$ dynamics. Our interest in these fluctuations is because a previous weak coupling analysis argues that the net effect of summing the huge set of non-planar diagrams, is a simple rescaling of the 't Hooft coupling. We carry out some nontrivial checks of this proposal. Using the $su(2|2)^2$ symmetry we determine the two magnon $S$-matrix and demonstrate that it agrees, up to two loops, with a weak coupling computation performed in the CFT. We also compute the first finite size corrections to both the magnon and the dyonic magnon by constructing solutions to the Nambu-Goto action that carry finite angular momentum. These finite size computations constitute a strong coupling confirmation of the proposal.


title: Dynamical gauge symmetry breaking in lower-dimensional Lorentz-violating supersymmetric theory

abstract: In this work we study the dynamical generation of mass in the Lorentz-violating low-dimensional Super-Yang-Mills theory in the aether superspace coupled to a scalar matter. We also suggest that our studies can be applied for condensed matter systems, especially lower-dimensional superconductors and topological insulators. In low dimensional materials, the parameter $\Delta$ generated by presence of the aether term can be interpreted as a quantity that renormalizes the propagation velocity of the bosonic mode with respect to the Fermi velocity.


title: Driven Hofstadter Butterflies and Related Topological Invariants

abstract: The properties of the Hofstadter butterfly, a fractal, self similar spectrum of a two dimensional electron gas, are studied in the case where the system is additionally illuminated with monochromatic light. This is accomplished by applying Floquet theory to a tight binding model on the honeycomb lattice subjected to a perpendicular magnetic field and either linearly or circularly polarized light. It is shown how the deformation of the fractal structure of the spectrum depends on intensity and polarization. Thereby, the topological properties of the Hofstadter butterfly in presence of the oscillating electric field are investigated. A thorough numerical analysis of not only the Chern numbers but also the $W_{3}$-invariants gives the appropriate insight into the topology of this driven system. This includes a comparison of a direct $W_3$-calculation to the method based on summing up Chern numbers of the truncated Floquet Hamiltonian.


title: A quantitative shrinking target result on Sturmian sequences for rotations

abstract: Let $R_\alpha$ be an irrational rotation of the circle, and code the orbit of any point $x$ by whether $R_\alpha^i(x)$ belongs to $[0,\alpha)$ or $[\alpha,1)$ -- this produces a Sturmian sequence. A point is undetermined at step $j$ if its coding up to time $j$ does not determine its coding at time $j+1$. We prove a pair of results on the asymptotic frequency of a point being undetermined, for full measure sets of $\alpha$ and $x$.


title: General relativity with nonzero cosmological constant as a gauge theory

abstract: We show in a new way that the general relativity action (and Lagrangian)in recent Einstein-Palatini formulation is equivalent in four dimensions to the action (and Lagrangian) of a gauge field. This paper is a continuation of the previous paper [17] and it also gives an amended version of the lecture delivered by one of the authors [M.D.] at Hypercomplex Seminar in Bedlewo.


title: Multi-parameter extensions of a theorem of Pichorides

abstract: Extending work of Pichorides and Zygmund to the $d$-dimensional setting, we show that the supremum of $L^p$-norms of the Littlewood-Paley square function over the unit ball of the analytic Hardy spaces $H^p_A(\mathbb{T}^d)$ blows up like $(p-1)^{-d}$ as $p\to 1^+$. Furthermore, we obtain an $L\log^d L$-estimate for square functions on $H^1_A(\mathbb{T}^d)$. Euclidean variants of Pichorides's theorem are also obtained.


title: Optimal Besov differentiability for entropy solutions of the Eikonal equation

abstract: In this paper we study the Eikonal equation in a bounded planar domain. We prove the equivalence among optimal Besov regularity, the finiteness of every entropy production and the validity of a kinetic formulation.


title: Congruences for the Coefficients of the Powers of the Euler Product

abstract: Let $p_k(n)$ be given by the $k$-th power of the Euler Product $\prod _{n=1}^{\infty}(1-q^n)^k=\sum_{n=0}^{\infty}p_k(n)q^{n}$. By investigating the properties of the modular equations of the second and the third order under the Atkin $U$-operator, we determine the generating functions of $p_{8k}(2^{2\alpha} n +\frac{k(2^{2\alpha}-1)}{3})$ $(1\leq k\leq 3)$ and $p_{3k} (3^{2\beta}n+\frac{k(3^{2\beta}-1)}{8})$ $(1\leq k\leq 8)$ in terms of some linear recurring sequences. Combining with a result of Engstrom about the periodicity of linear recurring sequences modulo $m$, we obtain infinite families of congruences for $p_k(n)$ modulo any $m\geq2$, where $1\leq k\leq 24$ and $3|k$ or $8|k$. Based on these congruences for $p_k(n)$, infinite families of congruences for many partition functions such as the overpartition function, $t$-core partition functions and $\ell$-regular partition functions are easily obtained.


title: Adipochondrocytes in rabbit auricular cartilage

abstract: Chondrocytes are described as one cell population in different cartilage types. The auricular cartilage in mouse and rat contains unique chondrocytes similar in morphology to white adipocytes and known as lipochondrocytes. Lipochondrocytes were not mentioned in other species. The current study aimed to explore the existence of this cell type in rabbits. The auricles of adult male white rabbits were harvested and processed for histological examination with light and electron microscopy. With the light microscopy, the auricular cartilage of adult rabbits contained central large rounded adipocyte-like chondrocytes, termed in the current study adipochondrocytes The adipochondrocytes were embedded in relatively wide lacunae and had large lipid droplets with a rim of cytoplasm. The scanning electron microscopy confirmed this result. With the transmission electron microscopy, the adipochondrocytes showed dark nucleus and electron-dense cytoplasm with few organelles and cytoplasmic processes. The adipochondrocytes of the auricular cartilage in adult rabbits were unique cell type and different from chondrocytes in other cartilage subtypes. This result should be considered during cartilage transplant. Further studies are suggested to investigate the development and physiological roles of adipochondrocytes in the auricular cartilage in rabbits.


title: Two-dimensional type-II Dirac fermions in layered oxides

abstract: Relativistic massless Dirac fermions can be probed with high-energy physics experiments, but appear also as low-energy quasi-particle excitations in electronic band structures. In condensed matter systems, their massless nature can be protected by crystal symmetries. Classification of such symmetry-protected relativistic band degeneracies has been fruitful, although many of the predicted quasi-particles still await their experimental discovery. Here we reveal, using angle-resolved photoemission spectroscopy, the existence of two-dimensional type-II Dirac fermions in the high-temperature superconductor La$_{1.77}$Sr$_{0.23}$CuO$_4$. The Dirac point, constituting the crossing of $d_{x^2-y^2}$ and $d_{z^2}$ bands, is found approximately one electronvolt below the Fermi level ($E_\mathrm{F}$) and is protected by mirror symmetry. If spin-orbit coupling is considered, the Dirac point degeneracy is lifted and the bands acquire a topologically non-trivial character. In certain nickelate systems, band structure calculations suggest that the same type-II Dirac fermions can be realised near $E_\mathrm{F}$.


title: The nature of the TRAPPIST-1 exoplanets

abstract: Context. The TRAPPIST-1 system hosts seven Earth-sized, temperate exoplanets orbiting an ultra-cool dwarf star. As such, it represents a remarkable setting to study the formation and evolution of terrestrial planets that formed in the same protoplanetary disk. While the sizes of the TRAPPIST-1 planets are all known to better than 5% precision, their densities have significant uncertainties (between 28% and 95%) because of poor constraints on the planet's masses. Aims.The goal of this paper is to improve our knowledge of the TRAPPIST-1 planetary masses and densities using transit-timing variations (TTV). The complexity of the TTV inversion problem is known to be particularly acute in multi-planetary systems (convergence issues, degeneracies and size of the parameter space), especially for resonant chain systems such as TRAPPIST-1. Methods. To overcome these challenges, we have used a novel method that employs a genetic algorithm coupled to a full N-body integrator that we applied to a set of 284 individual transit timings. This approach enables us to efficiently explore the parameter space and to derive reliable masses and densities from TTVs for all seven planets. Results. Our new masses result in a five- to eight-fold improvement on the planetary density uncertainties, with precisions ranging from 5% to 12%. These updated values provide new insights into the bulk structure of the TRAPPIST-1 planets. We find that TRAPPIST-1\,c and e likely have largely rocky interiors, while planets b, d, f, g, and h require envelopes of volatiles in the form of thick atmospheres, oceans, or ice, in most cases with water mass fractions less than 5%.


title: Psychological Safety and Norm Clarity in Software Engineering Teams

abstract: In the software engineering industry today, companies primarily conduct their work in teams. To increase organizational productivity, it is thus crucial to know the factors that affect team effectiveness. Two team-related concepts that have gained prominence lately are psychological safety and team norms. Still, few studies exist that explore these in a software engineering context. Therefore, with the aim of extending the knowledge of these concepts, we examined if psychological safety and team norm clarity associate positively with software developers' self-assessed team performance and job satisfaction, two important elements of effectiveness. We collected industry survey data from practitioners (N = 217) in 38 development teams working for five different organizations. The result of multiple linear regression analyses indicates that both psychological safety and team norm clarity predict team members' self-assessed performance and job satisfaction. The findings also suggest that clarity of norms is a stronger (30\% and 71\% stronger, respectively) predictor than psychological safety. This research highlights the need to examine, in more detail, the relationship between social norms and software development. The findings of this study could serve as an empirical baseline for such, future work.


title: Online Compact Convexified Factorization Machine

abstract: Factorization Machine (FM) is a supervised learning approach with a powerful capability of feature engineering. It yields state-of-the-art performance in various batch learning tasks where all the training data is made available prior to the training. However, in real-world applications where the data arrives sequentially in a streaming manner, the high cost of re-training with batch learning algorithms has posed formidable challenges in the online learning scenario. The initial challenge is that no prior formulations of FM could fulfill the requirements in Online Convex Optimization (OCO) -- the paramount framework for online learning algorithm design. To address the aforementioned challenge, we invent a new convexification scheme leading to a Compact Convexified FM (CCFM) that seamlessly meets the requirements in OCO. However for learning Compact Convexified FM (CCFM) in the online learning setting, most existing algorithms suffer from expensive projection operations. To address this subsequent challenge, we follow the general projection-free algorithmic framework of Online Conditional Gradient and propose an Online Compact Convex Factorization Machine (OCCFM) algorithm that eschews the projection operation with efficient linear optimization steps. In support of the proposed OCCFM in terms of its theoretical foundation, we prove that the developed algorithm achieves a sub-linear regret bound. To evaluate the empirical performance of OCCFM, we conduct extensive experiments on 6 real-world datasets for online recommendation and binary classification tasks. The experimental results show that OCCFM outperforms the state-of-art online learning algorithms.


title: Moir\'e structure of MoS$_2$ on Au(111): Local structural and electronic properties

abstract: Monolayer islands of molybdenum disulfide (MoS$_2$) on Au(111) form a characteristic moir\'e structure, leading to locally different stacking sequences at the S-Mo-S-Au interface. Using low-temperature scanning tunneling microscopy (STM) and atomic force microscopy (AFM), we find that the moir\'e islands exhibit a unique orientation with respect to the Au crystal structure. This indicates a clear preference of MoS$_2$ growth in a regular stacking fashion. We further probe the influence of the local atomic structure on the electronic properties. Differential conductance spectra show pronounced features of the valence band and conduction band, some of which undergo significant shifts depending on the local atomic structure. We also determine the tunneling decay constant as a function of the bias voltage by a height-modulated spectroscopy method. This allows for an increased sensitivity of states with non-negligible parallel momentum $k_\parallel$ and the identification of the origin of the states from different areas in the Brillouin zone.


title: Randomness and isometries in echo state networks and compressed sensing

abstract: Although largely different concepts, echo state networks and compressed sensing models both rely on collections of random weights; as the reservoir dynamics for echo state networks, and the sensing coefficients in compressed sensing. Several methods for generating the random matrices and metrics to indicate desirable performance are well-studied in compressed sensing, but less so for echo state networks. This work explores any overlap in these compressed sensing methods and metrics for application to echo state networks. Several methods for generating the random reservoir weights are considered, and a new metric, inspired by the restricted isometry property for compressed sensing, is proposed for echo state networks. The methods and metrics are investigated theoretically and experimentally, with results suggesting that the same types of random matrices work well for both echo state network and compressed sensing scenarios, and that echo state network classification accuracy is improved when the proposed restricted isometry-like constants are close to 1.


title: Comment on "Experimental Verification of a Jarzynski-Related Information-Theoretic Equality by a Single Trapped Ion" PRL 120 010601 (2018)

abstract: The target paper presents an experimental verification of a "Jarzynski-related" equality. We show that the latter equality is in fact not related to the Jarzynski equality.


title: Commutator Subgroups of Virtual and Welded Braid Groups

abstract: Let $VB_n$, resp. $WB_n$ denote the virtual, resp. welded, braid group on $n$ strands. We study their commutator subgroups $VB_n' = [VB_n, VB_n]$ and, $WB_n' = [WB_n, WB_n]$ respectively. We obtain a set of generators and defining relations for these commutator subgroups. In particular, we prove that $VB_n'$ is finitely generated if and only if $n \geq 4$, and $WB_n'$ is finitely generated for $n \geq 3$. Also we prove that $VB_3'/VB_3'' =\mathbb{Z}_3 \oplus \mathbb{Z}_3 \oplus\mathbb{Z}_3 \oplus \mathbb{Z}^{\infty}$, $VB_4' / VB_4'' = \mathbb{Z}_3 \oplus \mathbb{Z}_3 \oplus \mathbb{Z}_3$, $WB_3'/WB_3'' = \mathbb{Z}_3 \oplus \mathbb{Z}_3 \oplus\mathbb{Z}_3 \oplus \mathbb{Z},$ $WB_4'/WB_4'' = \mathbb{Z}_3,$ and for $n \geq 5$ the commutator subgroups $VB_n'$ and $WB_n'$ are perfect, i.e. the commutator subgroup is equal to the second commutator subgroup.


title: Strong Decay of $P_c(4380)$ Pentaquark in a Molecular Picture

abstract: There are different assumptions on the substructure of the pentaquarks $P_c(4380)$ and $P_c(4450)$, newly founded in $J/\psi N $ invariant mass by the LHCb collaboration, giving consistent mass results with the experimental observations. The experimental data and recent theoretical studies on their mass suggest interpretation of these states as spin-3/2 negative-parity and spin-5/2 positive-parity pentaquarks, respectively. There may exist opposite-parity states corresponding to these particles, as well. Despite a lot of studies, however, the nature and internal organization of these pentaquarks in terms of quarks and gluons are not clear. To this end we need more theoretical investigations on other physical properties of these states. In this accordance, we study a strong and dominant decay of the $P_c(4380)$ to $J/\psi$ and $N$ in the framework of three point QCD sum rule method. An interpolating current in a molecular form is applied to calculate six strong coupling form factors defining the transitions of the positive and negative parity spin-3/2 pentaquark states. The values of the coupling constants are used in the calculation of the decay widths of these transitions. The obtained results are compared with the existing experimental data.


title: Chiral Anomaly, Topological Field Theory, and Novel States of Matter

abstract: Starting with a description of the motivation underlying the analysis presented in this paper and a brief survey of the chiral anomaly, I proceed to review some basic elements of the theory of the quantum Hall effect in 2D incompressible electron gases in an external magnetic field, ("Hall insulators"). I discuss the origin and role of anomalous chiral edge currents and of anomaly inflow in 2D insulators with explicitly or spontaneously broken time reversal, i.e., in Hall insulators and "Chern insulators". The topological Chern-Simons action yielding the large-scale response equations for the 2D bulk of such states of matter is displayed. A classification of Hall insulators featuring quasi-particles with abelian braid statistics is sketched. Subsequently, the chiral edge spin currents encountered in some time-reversal invariant 2D topological insulators with spin-orbit interactions and the bulk response equations of such materials are described. A short digression into the theory of 3D topological insulators, including "axionic insulators", follows next. To conclude, some open problems are described and a problem in cosmology related to axionic insulators is mentioned. As far as the quantum Hall effect and the spin currents in time-reversal invariant 2D topological insulators are concerned this review is based on extensive work my collaborators and I carried out in the early 1990's.


title: Curvature Inequalities and Extremal Operators

abstract: A curvature inequality is established for contractive commuting tuples of operators in the Cowen-Douglas class of rank n. Properties of the extremal operators, that is, the operators which achieve equality, are investigated. Specifically, a substantial part of a well known question due to R. G. Douglas involving these extremal operators, in the case of the unit disc, is answered.


title: Classification of Informative Frames in Colonoscopy Videos Using Convolutional Neural Networks with Binarized Weights

abstract: Colorectal cancer is one of the common cancers in the United States. Polyp is one of the main causes of the colonic cancer and early detection of polyps will increase chance of cancer treatments. In this paper, we propose a novel classification of informative frames based on a convolutional neural network with binarized weights. The proposed CNN is trained with colonoscopy frames along with the labels of the frames as input data. We also used binarized weights and kernels to reduce the size of CNN and make it suitable for implementation in medical hardware. We evaluate our proposed method using Asu Mayo Test clinic database, which contains colonoscopy videos of different patients. Our proposed method reaches a dice score of 71.20% and accuracy of more than 90% using the mentioned dataset.


title: A Signature-based Algorithm for computing Computing Gr\"obner Bases over Principal Ideal Domains

abstract: Signature-based algorithms have become a standard approach for Gr\"obner basis computations for polynomial systems over fields, but how to extend these techniques to coefficients in general rings is not yet as well understood. In this paper, we present a proof-of-concept signature-based algorithm for computing Gr\"obner bases over commutative integral domains. It is adapted from a general version of M\"oller's algorithm (1988) which considers reductions by multiple polynomials at each step. This algorithm performs reductions with non-decreasing signatures, and in particular, signature drops do not occur. When the coefficients are from a principal ideal domain (e.g. the ring of integers or the ring of univariate polynomials over a field), we prove correctness and termination of the algorithm, and we show how to use signature properties to implement classic signature-based criteria to eliminate some redundant reductions. In particular, if the input is a regular sequence, the algorithm operates without any reduction to 0. We have written a toy implementation of the algorithm in Magma. Early experimental results suggest that the algorithm might even be correct and terminate in a more general setting, for polynomials over a unique factorization domain (e.g. the ring of multivariate polynomials over a field or a PID).


title: Counting inversions and descents of random elements in finite Coxeter groups

abstract: We investigate Mahonian and Eulerian probability distributions given by inversions and descents in general finite Coxeter groups. We provide uniform formulas for the means and variances in terms of Coxeter group data in both cases. We also provide uniform formulas for the double-Eulerian probability distribution of the sum of descents and inverse descents. We finally establish necessary and sufficient conditions for general sequences of Coxeter groups of increasing rank under which Mahonian and Eulerian probability distributions satisfy central and local limit theorems.


title: Isoperimetric inequality and Weitzenb\"ock type formula for critical metrics of the volume

abstract: We provide an isoperimetric inequality for critical metrics of the volume functional with nonnegative scalar curvature on compact manifolds with boundary. In addition, we establish a Weitzenb\"ock type formula for critical metrics of the volume functional on four-dimensional manifolds. As an application, we obtain a classification result for such metrics.


title: Plasma evolution within an erupting coronal cavity

abstract: Coronal cavities have previously been observed associated with long-lived quiescent filaments and are thought to correspond to the associated magnetic flux rope. Although the standard flare model predicts a coronal cavity corresponding to the erupting flux rope, these have only been observed using broadband imaging data, restricting analysis to the plane-of-sky. We present a unique set of spectroscopic observations of an active region filament seen erupting at the solar limb in the extreme ultraviolet (EUV). The cavity erupted and expanded rapidly, with the change in rise phase contemporaneous with an increase in non-thermal electron energy flux of the associated flare. Hot and cool filamentary material was observed to rise with the erupting flux rope, disappearing suddenly as the cavity appeared. Although strongly blue-shifted plasma continued to be observed flowing from the apex of the erupting flux rope, this outflow soon ceased. These results indicate that the sudden injection of energy from the flare beneath forced the rapid eruption and expansion of the flux rope, driving strong plasma flows which resulted in the eruption of an under-dense filamentary flux rope.


title: Grassmann representation in qubit informatics and superlogic

abstract: The Grassmann representation for the system of qubits, is considered. The treatment is based on natural description of the qubits system as fermions and uses coherent states of fermions. The quantum logic gates are represented in two forms - by symbols of operations and by partial differential operators on the symbols of the states. The considered representation of quantum logic is called as superlogic. The examples are given for classical logic operations of negation, conjunction, disjunction and for reversible three-bit Toffoli gate and its quantum generalization - three-qbit Deutsch gate. The representation for composite gates is also considered. Path integral represenatation in Grassmann algebra for quantum automaton with qubits memory is described. In particular for the autonomous automaton corresponding to the special case of general dynamic system this description differ from path integral representation in commutative memory phase space by the specific nonliner term in superaction.


title: Seasonal Stochastic Volatility and the Samuelson Effect in Agricultural Futures Markets

abstract: We introduce a multi-factor stochastic volatility model for commodities that incorporates seasonality and the Samuelson effect. Conditions on the seasonal term under which the corresponding volatility factor is well-defined are given, and five different specifications of the seasonality pattern are proposed. We calculate the joint characteristic function of two futures prices for different maturities in the risk-neutral measure. The model is then presented under the physical measure, and its state-space representation is derived, in order to estimate the parameters with the Kalman filter for time series of corn, cotton, soybean, sugar and wheat futures from 2007 to 2017. The seasonal model significantly outperforms the nested non-seasonal model in all five markets, and we show which seasonality patterns are particularly well-suited in each case. We also confirm the importance of correctly modelling the Samuelson effect in order to account for futures with different maturities. Our results are clearly confirmed in a robustness check carried out with an alternative dataset of constant maturity futures for the same agricultural markets.


title: General features of experiments on the dynamics of laser-driven electron-positron beams

abstract: The experimental study of the dynamics of neutral electron-positron beams is an emerging area of research, enabled by the recent results on the generation of this exotic state of matter in the laboratory. Electron-positron beams and plasmas are believed to play a major role in the dynamics of extreme astrophysical objects such as supermassive black holes and pulsars. For instance, they are believed to be the main constituents of a large number of astrophysical jets, and they have been proposed to significantly contribute to the emission of gamma-ray bursts and their afterglow. However, despite extensive numerical modelling and indirect astrophysical observations, a detailed experimental characterisation of the dynamics of these objects is still at its infancy. Here, we will report on some of the general features of experiments studying the dynamics of electron-positron beams in a fully laser-driven setup.


title: Intent-Based In-flight Service Encryption in Multi-Layer Transport Networks

abstract: We demonstrate multi-layer encrypted service provisioning via the ACINO orchestrator. ACINO combines a novel intent interface with an ONOS-based SDN orchestrator to facilitate encrypted services at IP, Ethernet and optical network layers.


title: To understand deep learning we need to understand kernel learning

abstract: Generalization performance of classifiers in deep learning has recently become a subject of intense study. Deep models, typically over-parametrized, tend to fit the training data exactly. Despite this "overfitting", they perform well on test data, a phenomenon not yet fully understood. The first point of our paper is that strong performance of overfitted classifiers is not a unique feature of deep learning. Using six real-world and two synthetic datasets, we establish experimentally that kernel machines trained to have zero classification or near zero regression error perform very well on test data, even when the labels are corrupted with a high level of noise. We proceed to give a lower bound on the norm of zero loss solutions for smooth kernels, showing that they increase nearly exponentially with data size. We point out that this is difficult to reconcile with the existing generalization bounds. Moreover, none of the bounds produce non-trivial results for interpolating solutions. Second, we show experimentally that (non-smooth) Laplacian kernels easily fit random labels, a finding that parallels results for ReLU neural networks. In contrast, fitting noisy data requires many more epochs for smooth Gaussian kernels. Similar performance of overfitted Laplacian and Gaussian classifiers on test, suggests that generalization is tied to the properties of the kernel function rather than the optimization process. Certain key phenomena of deep learning are manifested similarly in kernel methods in the modern "overfitted" regime. The combination of the experimental and theoretical results presented in this paper indicates a need for new theoretical ideas for understanding properties of classical kernel methods. We argue that progress on understanding deep learning will be difficult until more tractable "shallow" kernel methods are better understood.


title: Generic representations for symmetric spaces

abstract: For a connected quasi-split reductive algebraic group $G$ over a field $k$, which is either a finite field or a non-archimedean local field, $\theta$ an involutive automorphism of $G$ over $k$, let $K =G^\theta$. Let $K^1=[K^0,K^0]$, the commutator subgroup of $K^0$, the connected component of identity of $K$. In this paper, we provide a simple condition on $(G,\theta)$ for there to be an irreducible admissible generic representations $\pi$ of $G$ with ${\rm Hom}_{K^1}[\pi,{\mathbb C}] \not = 0$. The condition is most easily stated in terms of a real reductive group $G_\theta({\mathbb R})$ associated to the pair $(G,\theta)$ being quasi-split.


title: Soft photon and two hard jets forward production in proton-nucleus collisions

abstract: We calculate the cross section for production of a soft photon and two hard jets in the forward rapidity region in proton-nucleus collisions at high energies. The calculation is performed within the hybrid formalism. The hardness of the final particles is defined with respect to the saturation scale of the nucleus. We consider both the correlation limit of small momentum imbalance and the dilute target limit where the momentum imbalance is of the order of the hardness of the jets. The results depend on the first two transverse-momentum-dependent (TMD) gluon distributions of the nucleus.


title: Molecular diffusion of stable water isotopes in polar firn as a proxy for past temperatures

abstract: Polar precipitation archived in ice caps contains information on past temperature conditions. Such information can be retrieved by measuring the water isotopic signals of $\delta{}^{18}\mathrm{O}$ and $\delta\mathrm{D}$ in ice cores. These signals have been attenuated during densification due to molecular diffusion in the firn column, where the magnitude of the diffusion is isotopologoue specific and temperature dependent. By utilizing the differential diffusion signal, dual isotope measurements of $\delta{}^{18}\mathrm{O}$ and $\delta\mathrm{D}$ enable multiple temperature reconstruction techniques. This study assesses how well six different methods can be used to reconstruct past surface temperatures from the diffusion-based temperature proxies. Two of the methods are based on the single diffusion lengths of $\delta{}^{18}\mathrm{O}$ and $\delta\mathrm{D}$, three of the methods employ the differential diffusion signal, while the last uses the ratio between the single diffusion lengths. All techniques are tested on synthetic data in order to evaluate their accuracy and precision. We perform a benchmark test to thirteen high resolution Holocene data sets from Greenland and Antarctica, which represent a broad range of mean annual surface temperatures and accumulation rates. Based on the benchmark test, we comment on the accuracy and precision of the methods. Both the benchmark test and the synthetic data test demonstrate that the most precise reconstructions are obtained when using the single isotope diffusion lengths, with precisions of approximately $1.0\,^\mathrm{o}\mathrm{C}$. In the benchmark test, the single isotope diffusion lengths are also found to reconstruct consistent temperatures with a root-mean-square-deviation of $0.7\,^\mathrm{o}\mathrm{C}$.


title: Polarization and Fake News: Early Warning of Potential Misinformation Targets

abstract: Users polarization and confirmation bias play a key role in misinformation spreading on online social media. Our aim is to use this information to determine in advance potential targets for hoaxes and fake news. In this paper, we introduce a general framework for promptly identifying polarizing content on social media and, thus, "predicting" future fake news topics. We validate the performances of the proposed methodology on a massive Italian Facebook dataset, showing that we are able to identify topics that are susceptible to misinformation with 77% accuracy. Moreover, such information may be embedded as a new feature in an additional classifier able to recognize fake news with 91% accuracy. The novelty of our approach consists in taking into account a series of characteristics related to users behavior on online social media, making a first, important step towards the smoothing of polarization and the mitigation of misinformation phenomena.