title: Coupled magnetic and ferroelectric states in the distorted honeycomb system Fe$_{4}$Ta$_{2}$O$_{9}$

abstract: We report on the magnetic, thermodynamic, dielectric, and pyroelectric measurements on the hitherto unreported Fe${_4}$Ta${_2}$O${_9}$. This system is seen to exhibit a series of magnetic transitions, many of which are coupled to the emergence of ferroelectric order, making Fe${_4}$Ta${_2}$O${_9}$ the only genuine multiferroic in its material class. We suggest that the observed properties arise as a consequence of an effective reduction in the dimensionality of the magnetic lattice, with the magnetically active Fe${^{2+}}$ ions preferentially occupying a quasi 2D buckled honeycomb structure. The low temperature $H$-$T$ phase diagram of Fe${_4}$Ta${_2}$O${_9}$ reveals a rich variety of coupled magnetic and ferroelectric phases, in similarity with that observed in the distorted Kagome systems.


title: Straight knots

abstract: Jablan and Radovi\'c originally defined two invariants called the Meander number and OGC number of knots for certain classes of knots. We generalize these definitions to all knots and name the straight number and contained straight number of a knot, respectively, and prove they are well defined. We answer two questions and prove a generalization of a conjecture of Jablan and Radovi\'c. We also give some relations to crossing number and petal number. Then we compute the straight numbers for all the knots in the standard knot table and present some interesting questions and the complete table of knots with 10 or fewer crossing and their straight number and contained straight number.


title: Quasi-Fuchsian co-Minkowski manifolds

abstract: This survey is an introduction to the geometry of co-Minkowksi space, the space of unoriented spacelike hyperplanes of the Minkowski space. Affine deformations of cocompact lattices of hyperbolic isometries act on it, in a way similar to the way that quasi-Fuchsian groups act on hyperbolic space. In particular, there is a convex core. There is also a unique "mean" hypersurface, i.e. with traceless second fundamental form. The mean distance between the mean hypersurface and the lower boundary of the convex core endows the space of affine deformations of a given lattice with an asymmetric norm. The symmetrization of the asymmetric norm is simply the volume of the convex core. In dimension 2+1, the asymmetric norm is the total length of the bending lamination of the lower boundary component of the convex core. We obtain an extrinsic proof of a theorem of Thurston saying that, on the tangent space of Teichm\"{u}ller space, the total length of measured geodesic laminations is an asymmetric norm. We also exhibit and comment the Anosov-like character of these deformations, similar to the Anosov character of the quasi-Fuchsians representations pointed out in Guichard--Wienhard.


title: Robust Designs of Beamforming and Power Splitting for Distributed Antenna Systems with Wireless Energy Harvesting

abstract: In this paper, we investigate a multiuser distributed antenna system with simultaneous wireless information and power transmission under the assumption of imperfect channel state information (CSI). In this system, a distributed antenna port with multiple antennas supports a set of mobile stations who can decode information and harvest energy simultaneously via a power splitter. To design robust transmit beamforming vectors and the power splitting (PS) factors in the presence of CSI errors, we maximize the average worst-case signal-to-interference-plus- noise ratio (SINR) while achieving individual energy harvesting constraint for each mobile station. First, we develop an efficient algorithm to convert the max-min SINR problem to a set of "dual" min-max power balancing problems. Then, motivated by the penalty function method, an iterative algorithm based on semi-definite programming (SDP) is proposed to achieve a local optimal rank-one solution. Also, to reduce the computational complexity, we present another iterative scheme based on the Lagrangian method and the successive convex approximation (SCA) technique to yield a suboptimal solution. Simulation results are shown to validate the robustness and effectiveness of the proposed algorithms.


title: On the size of the set $AA+A$

abstract: It is established that there exists an absolute constant $c>0$ such that for any finite set $A$ of positive real numbers $$|AA+A| \gg |A|^{\frac{3}{2}+c}.$$ On the other hand, we give an explicit construction of a finite set $A \subset \mathbb R$ such that $|AA+A|=o(|A|^2)$, disproving a conjecture of Balog.


title: A Variable Density Sampling Scheme for Compressive Fourier Transform Interferometry

abstract: Fourier Transform Interferometry (FTI) is an appealing Hyperspectral (HS) imaging modality for many applications demanding high spectral resolution, e.g., in fluorescence microscopy. However, the effective resolution of FTI is limited by the durability of biological elements when exposed to illuminating light. Overexposed elements are subject to photo-bleaching and become unable to fluoresce. In this context, the acquisition of biological HS volumes based on sampling the Optical Path Difference (OPD) axis at Nyquist rate leads to unpleasant trade-offs between spectral resolution, quality of the HS volume, and light exposure intensity. We propose two variants of the FTI imager, i.e., Coded Illumination-FTI (CI-FTI) and Structured Illumination FTI (SI-FTI), based on the theory of compressive sensing (CS). These schemes efficiently modulate light exposure temporally (in CI-FTI) or spatiotemporally (in SI-FTI). Leveraging a variable density sampling strategy recently introduced in CS, we provide near-optimal illumination strategies, so that the light exposure imposed on a biological specimen is minimized while the spectral resolution is preserved. Our analysis focuses on two criteria: (i) a trade-off between exposure intensity and the quality of the reconstructed HS volume for a given spectral resolution; (ii) maximizing HS volume quality for a fixed spectral resolution and constrained exposure budget. Our contributions can be adapted to an FTI imager without hardware modifications. The reconstruction of HS volumes from CS-FTI measurements relies on an $l_1$-norm minimization problem promoting a spatiospectral sparsity prior. Numerically, we support the proposed methods on synthetic data and simulated CS measurements (from actual FTI measurements) under various scenarios. In particular, the biological HS volumes can be reconstructed with a three-to-ten-fold reduction in the light exposure.


title: Hierarchical restricted isometry property for Kronecker product measurements

abstract: Hierarchically sparse signals and Kronecker product structured measurements arise naturally in a variety of applications. The simplest example of a hierarchical sparsity structure is two-level $(s,\sigma)$-hierarchical sparsity which features $s$-block-sparse signals with $\sigma$-sparse blocks. For a large class of algorithms recovery guarantees can be derived based on the restricted isometry property (RIP) of the measurement matrix and model-based variants thereof. We show that given two matrices $\mathbf{A}$ and $\mathbf{B}$ having the standard $s$-sparse and $\sigma$-sparse RIP their Kronecker product $\mathbf{A}\otimes\mathbf{B}$ has two-level $(s,\sigma)$-hierarchically sparse RIP (HiRIP). This result can be recursively generalized to signals with multiple hierarchical sparsity levels and measurements with multiple Kronecker product factors. As a corollary we establish the efficient reconstruction of hierarchical sparse signals from Kronecker product measurements using the HiHTP algorithm. We argue that Kronecker product measurement matrices allow to design large practical compressed sensing systems that are deterministically certified to reliably recover signals in a stable fashion. We elaborate on their motivation from the perspective of applications.


title: Robust 3D Human Motion Reconstruction Via Dynamic Template Construction

abstract: In multi-view human body capture systems, the recovered 3D geometry or even the acquired imagery data can be heavily corrupted due to occlusions, noise, limited field of- view, etc. Direct estimation of 3D pose, body shape or motion on these low-quality data has been traditionally challenging.In this paper, we present a graph-based non-rigid shape registration framework that can simultaneously recover 3D human body geometry and estimate pose/motion at high fidelity.Our approach first generates a global full-body template by registering all poses in the acquired motion sequence.We then construct a deformable graph by utilizing the rigid components in the global template. We directly warp the global template graph back to each motion frame in order to fill in missing geometry. Specifically, we combine local rigidity and temporal coherence constraints to maintain geometry and motion consistencies. Comprehensive experiments on various scenes show that our method is accurate and robust even in the presence of drastic motions.


title: Constitutive theory of inhomogeneous turbulent flow based on two-scale Lagrangian formalism

abstract: A closure theory is developed for inhomogeneous turbulent flow, which enables a systematic derivation of the turbulence constitutive relations without relying on any empirical parameters. Renormalized-perturbation approximation is performed in the convective coordinate frame based on the mean flow, successfully incorporating the convective integration in generally covariant manner.


title: Lower Bounds for Synchronizing Word Lengths in Partial Automata

abstract: It was conjectured by \v{C}ern\'y in 1964, that a synchronizing DFA on $n$ states always has a synchronizing word of length at most $(n-1)^2$, and he gave a sequence of DFAs for which this bound is reached. Until now a full analysis of all DFAs reaching this bound was only given for $n \leq 5$, and with bounds on the number of symbols for $n \leq 12$. Here we give the full analysis for $n \leq 7$, without bounds on the number of symbols. For PFAs (partial automata) on $\leq 7$ states we do a similar analysis as for DFAs and find the maximal shortest synchronizing word lengths, exceeding $(n-1)^2$ for $n \geq 4$. Where DFAs with long synchronization typically have very few symbols, for PFAs we observe that more symbols may increase the synchronizing word length. For PFAs on $\leq 10$ states and two symbols we investigate all occurring synchronizing word lengths. We give series of PFAs on two and three symbols, reaching the maximal possible length for some small values of $n$. For $n=6,7,8,9$, the construction on two symbols is the unique one reaching the maximal length. For both series the growth is faster than $(n-1)^2$, although still quadratic. Based on string rewriting, for arbitrary size we construct a PFA on three symbols with exponential shortest synchronizing word length, giving significantly better bounds than earlier exponential constructions. We give a transformation of this PFA to a PFA on two symbols keeping exponential shortest synchronizing word length, yielding a better bound than applying a similar known transformation. Both PFAs are transitive. Finally, we show that exponential lengths are even possible with just one single undefined transition, again with transitive constructions.


title: Deep Learning Works in Practice. But Does it Work in Theory?

abstract: Deep learning relies on a very specific kind of neural networks: those superposing several neural layers. In the last few years, deep learning achieved major breakthroughs in many tasks such as image analysis, speech recognition, natural language processing, and so on. Yet, there is no theoretical explanation of this success. In particular, it is not clear why the deeper the network, the better it actually performs. We argue that the explanation is intimately connected to a key feature of the data collected from our surrounding universe to feed the machine learning algorithms: large non-parallelizable logical depth. Roughly speaking, we conjecture that the shortest computational descriptions of the universe are algorithms with inherently large computation times, even when a large number of computers are available for parallelization. Interestingly, this conjecture, combined with the folklore conjecture in theoretical computer science that $ P \neq NC$, explains the success of deep learning.


title: Light rays and waves on geodesic lenses

abstract: Starting from well-known absolute instruments for perfect imaging, we introduce a type of rotational-symmetrical compact closed manifolds, namely geodesic lenses. We demonstrate that light rays confined on geodesic lenses are closed trajectories. While for optical waves, the spectrum of geodesic lens is (at least approximately) degenerate and equidistant with numerical methods. Based on this property, we show a periodical evolution of optical waves and quantum waves on geodesic lenses. Moreover, we fabricate two geodesic lenses in sub-micrometer scale, where curved light rays are observed with high accurate precision. Our results may offer a new platform to investigate light propagation on curved surfaces.


title: Additional set-theoretic assumptions and twisted sums of Banach spaces

abstract: In this paper, we discuss the role played by additional set-theoretic assumptions in the investigation of the existence of nontrivial twisted sums of $c_0$ and spaces of continuous functions on nonmetrizable compact Hausdorff spaces.


title: The Maxwell operator with periodic coefficients in a cylinder

abstract: In the paper we consider the Maxwell operator in a three-dimensional cylinder with coefficients periodic along the axis of a cylinder. It is proved that for cylinders with circular and rectangular cross-section the spectrum of the Maxwell operator is absolutely continuous.


title: Weighted Nonlocal Total Variation in Image Processing

abstract: In this paper, a novel weighted nonlocal total variation (WNTV) method is proposed. Compared to the classical nonlocal total variation methods, our method modifies the energy functional to introduce a weight to balance between the labeled sets and unlabeled sets. With extensive numerical examples in semi-supervised clustering, image inpainting and image colorization, we demonstrate that WNTV provides an effective and efficient method in many image processing and machine learning problems.


title: From Benedict Cumberbatch to Sherlock Holmes: Character Identification in TV series without a Script

abstract: The goal of this paper is the automatic identification of characters in TV and feature film material. In contrast to standard approaches to this task, which rely on the weak supervision afforded by transcripts and subtitles, we propose a new method requiring only a cast list. This list is used to obtain images of actors from freely available sources on the web, providing a form of partial supervision for this task. In using images of actors to recognize characters, we make the following three contributions: (i) We demonstrate that an automated semi-supervised learning approach is able to adapt from the actor's face to the character's face, including the face context of the hair; (ii) By building voice models for every character, we provide a bridge between frontal faces (for which there is plenty of actor-level supervision) and profile (for which there is very little or none); and (iii) by combining face context and speaker identification, we are able to identify characters with partially occluded faces and extreme facial poses. Results are presented on the TV series 'Sherlock' and the feature film 'Casablanca'. We achieve the state-of-the-art on the Casablanca benchmark, surpassing previous methods that have used the stronger supervision available from transcripts.


title: Counting Cells in Time-Lapse Microscopy using Deep Neural Networks

abstract: An automatic approach to counting any kind of cells could alleviate work of the experts and boost the research in fields such as regenerative medicine. In this paper, a method for microscopy cell counting using multiple frames (hence temporal information) is proposed. Unlike previous approaches where the cell counting is done independently in each frame (static cell counting), in this work the cell counting prediction is done using multiple frames (dynamic cell counting). A spatiotemporal model using ConvNets and long short term memory (LSTM) recurrent neural networks is proposed to overcome temporal variations. The model outperforms static cell counting in a publicly available dataset of stem cells. The advantages, working conditions and limitations of the ConvNet-LSTM method are discussed. Although our method is tested in cell counting, it can be extrapolated to quantify in video (or correlated image series) any kind of objects or volumes.


title: Device-independent entanglement certification of all entangled states

abstract: We present a method to certify the entanglement of all bipartite entangled quantum states in a device-independent way. This is achieved by placing the state in a quantum network and constructing a correlation inequality based on an entanglement witness for the state. Our method is device-independent, in the sense that entanglement can be certified from the observed statistics alone, under minimal assumptions on the underlying physics. Conceptually, our results borrow ideas from the field of self-testing to bring the recently introduced measurement-device-independent entanglement witnesses into the fully device-independent regime.


title: A Lie-theoretic description of the solution space of the tt*-Toda equations

abstract: We give a Lie-theoretic explanation for the convex polytope which parametrizes the globally smooth solutions of the topological-antitopological fusion equations of Toda type (tt$^*$-Toda equations) which were introduced by Cecotti and Vafa. It is known from [GL] [GIL1] [M1] [M2] that these solutions can be parametrized by monodromy data of a certain flat $SL_{n+1}\mathbb{R}$-connection. Using Boalch's Lie-theoretic description of Stokes data, and Steinberg's description of regular conjugacy classes of a linear algebraic group, we express this monodromy data as a convex subset of a Weyl alcove of $SU_{n+1}$.


title: Self-testing of Pauli observables for device-independent entanglement certification

abstract: We present self-testing protocols to certify the presence of tensor products of Pauli measurements on maximally entangled states of local dimension $2^n$ for $n\in\mathbb{N}$. This provides self-tests of sets of informationally complete measurements in arbitrarily high dimension. We then show that this can be used for the device-independent certification of the entanglement of all bipartite entangled states by exploiting a connection to measurement device-independent entanglement witnesses and quantum networks. This work extends a more compact parallel work on the same subject and provides all the required technical proofs.


title: Recovering from Random Pruning: On the Plasticity of Deep Convolutional Neural Networks

abstract: Recently there has been a lot of work on pruning filters from deep convolutional neural networks (CNNs) with the intention of reducing computations. The key idea is to rank the filters based on a certain criterion (say, $l_1$-norm, average percentage of zeros, etc) and retain only the top ranked filters. Once the low scoring filters are pruned away the remainder of the network is fine tuned and is shown to give performance comparable to the original unpruned network. In this work, we report experiments which suggest that the comparable performance of the pruned network is not due to the specific criterion chosen but due to the inherent plasticity of deep neural networks which allows them to recover from the loss of pruned filters once the rest of the filters are fine-tuned. Specifically, we show counter-intuitive results wherein by randomly pruning 25-50\% filters from deep CNNs we are able to obtain the same performance as obtained by using state of the art pruning methods. We empirically validate our claims by doing an exhaustive evaluation with VGG-16 and ResNet-50. Further, we also evaluate a real world scenario where a CNN trained on all 1000 ImageNet classes needs to be tested on only a small set of classes at test time (say, only animals). We create a new benchmark dataset from ImageNet to evaluate such class specific pruning and show that even here a random pruning strategy gives close to state of the art performance. Lastly, unlike existing approaches which mainly focus on the task of image classification, in this work we also report results on object detection. We show that using a simple random pruning strategy we can achieve significant speed up in object detection (74$\%$ improvement in fps) while retaining the same accuracy as that of the original Faster RCNN model.


title: Probing the muon g_\mu-2 anomaly, L_{\mu} - L_{\tau} gauge boson and Dark Matter in dark photon experiments

abstract: In the L_{\mu} - L_{\tau} model the 3.6$\sigma$ discrepancy between the predicted and measured values of the anomalous magnetic moment of positive muons can be explained by the existence of a new dark boson Z' with a mass in the sub-GeV range, which is coupled at tree level predominantly to the second and third lepton generations. However, at the one-loop level, the Z' coupling to electrons or quarks can be induced via the \gamma -Z' kinetic mixing, which is generated through the loop involving the muon and tau lepton. This loophole has important experimental consequences since it opens up new possibilities, in particular for the complementary searches of the Z' in the ongoing NA64 and incoming dark photon experiments with high-energy electrons. An extension of the model able to explain relic Dark Matter density is also discussed.


title: Fractional $p\&q$ Laplacian problems in $\mathbb{R}^{N}$ with critical growth

abstract: We deal with the following nonlinear problem involving fractional $p\&q$ Laplacians: \begin{equation*} (-\Delta)^{s}_{p}u+(-\Delta)^{s}_{q}u+|u|^{p-2}u+|u|^{q-2}u=\lambda h(x) f(u)+|u|^{q^{*}_{s}-2}u \mbox{ in } \mathbb{R}^{N}, \end{equation*} where $s\in (0,1)$, $1<p<q<\frac{N}{s}$, $q^{*}_{s}=\frac{Nq}{N-sq}$, $\lambda>0$ is a parameter, $h$ is a nontrivial bounded perturbation and $f$ is a superlinear continuous function with subcritical growth. Using suitable variational arguments and concentration-compactness lemma, we prove the existence of a nontrivial non-negative solution for $\lambda$ sufficiently large.


title: Reconfigurable generation and measurement of mutually unbiased bases for time-bin qudits

abstract: We propose a new method for implementing mutually unbiased generation and measurement of time-bin qudits using a cascade of electro-optic phase modulator -- coded fiber Bragg grating pairs. Our approach requires only a single spatial mode and can switch rapidly between basis choices. We obtain explicit solutions for dimensions $d=2,3,4$ that realize all $d+1$ possible mutually unbiased bases and analyze the performance of our approach in quantum key distribution. Given its practicality and compatibility with current technology, our approach provides a promising springboard for scalable processing of high-dimensional time-bin states.


title: Flow-based nodal cost allocation in a heterogeneous highly renewable European electricity network

abstract: For a cost efficient design of a future renewable European electricity system, the placement of renewable generation capacity will seek to exploit locations with good resource quality, that is for instance onshore wind in countries bordering the North Sea and solar PV in South European countries. Regions with less favorable renewable generation conditions benefit from this remote capacity by importing the respective electricity as power flows through the transmission grid. The resulting intricate pattern of imports and exports represents a challenge for the analysis of system costs on the level of individual countries. Using a tracing technique, we introduce flow-based nodal levelized costs of electricity (LCOE) which allow to incorporate capital and operational costs associated with the usage of generation capacity located outside the respective country under consideration. This concept and a complementary allocation of transmission infrastructure costs is applied to a simplified model of an interconnected highly renewable European electricity system. We observe that cooperation between the European countries in a heterogeneous system layout does not only reduce the system-wide LCOE, but also the flow-based nodal LCOEs for every country individually.


title: RAPTOR I: Time-dependent radiative transfer in arbitrary spacetimes

abstract: Observational efforts to image the immediate environment of a black hole at the scale of the event horizon benefit from the development of efficient imaging codes that are capable of producing synthetic data, which may be compared with observational data. We aim to present RAPTOR, a new public code that produces accurate images, animations, and spectra of relativistic plasmas in strong gravity by numerically integrating the equations of motion of light rays and performing time-dependent radiative transfer calculations along the rays. The code is compatible with any analytical or numerical spacetime. It is hardware-agnostic and may be compiled and run both on GPUs and CPUs. We describe the algorithms used in RAPTOR and test the code's performance. We have performed a detailed comparison of RAPTOR output with that of other radiative-transfer codes and demonstrate convergence of the results. We then applied RAPTOR to study accretion models of supermassive black holes, performing time-dependent radiative transfer through general relativistic magneto-hydrodynamical (GRMHD) simulations and investigating the expected observational differences between the so-called fast-light and slow-light paradigms. Using RAPTOR to produce synthetic images and light curves of a GRMHD model of an accreting black hole, we find that the relative difference between fast-light and slow-light light curves is less than 5%. Using two distinct radiative-transfer codes to process the same data, we find integrated flux densities with a relative difference less than 0.01%. For two-dimensional GRMHD models, such as those examined in this paper, the fast-light approximation suffices as long as errors of a few percent are acceptable. The convergence of the results of two different codes demonstrates that they are, at a minimum, consistent.


title: Multi-wavelength Polarimetry of Isolated Neutron Stars

abstract: Isolated Neutron Stars are known to be endowed with extreme magnetic fields, whose maximum intensity ranges from 10^12 to 10^15 G, which permeates their magnetospheres. Their surrounding environment is also strongly magnetised, especially in the compact nebulae powered by the relativistic wind from young neutron stars. The radiation from isolated neutron stars and their surrounding nebulae is, thus, supposed to bring a strong polarisation signature. Measuring the neutron star polarisation brings important information on the properties of their magnetosphere and of their highly magnetised environment. Being the most numerous class of isolated neutron stars, polarisation measurements have been traditionally carried out for radio pulsars, hence in the radio band. In this review, I summarise multi-wavelength linear polarisation measurements obtained at wavelengths other than radio both for pulsars and other types of isolated neutron stars and outline future perspectives with the upcoming observing facilities.


title: Computational Prediction of Muon Stopping Sites Using Ab Initio Random Structure Searching (AIRSS)

abstract: The stopping site of the muon in a muon-spin relaxation experiment ({\mu}+SR) is in general unknown. There are some techniques that can be used to guess the muon stopping site, but they often rely on approximations and are not generally applicable to all cases. In this work, we propose a purely theoretical method to predict muon stopping sites in crystalline materials from first principles. The method is based on a combination of ab initio calculations, random structure searching and machine learning, and it has successfully predicted the MuT and MuBC stopping sites of muonium in Si, Diamond and Ge, as well as the muonium stopping site in LiF, without any recourse to experimental results. The method makes use of Soprano, a Python library developed to aid ab-initio computational crystallography, that was publicly released and contains all the software tools necessary to reproduce our analysis.


title: The free energy of biomembrane and nerve excitation and the role of anesthetics

abstract: In the electromechanical theory of nerve stimulation, the nerve impulse consists of a traveling region of solid membrane in a liquid environment. Therefore, the free energy necessary to stimulate a pulse is directly related to the free energy difference necessary to induce a phase transition in the nerve membrane. It is a function of temperature and pressure, and it is sensitively dependent on the presence of anesthetics which lower melting transitions. We investigate the free energy difference of solid and liquid membrane phases under the influence of anesthetics. We calculate stimulus-response curves of electromechanical pulses and compare them to measured stimulus-response profiles in lobster and earthworm axons. We also compare them to stimulus-response experiments on human median nerve and frog sciatic nerve published in the literature.


title: Tension-dependent transverse buckles and wrinkles in twisted elastic sheets

abstract: We investigate with experiments the twist induced transverse buckling instabilities of an elastic sheet of length $L$, width $W$, and thickness $t$, that is clamped at two opposite ends while held under a tension $T$. Above a critical tension $T_\lambda$ and critical twist angle $\eta_{tr}$, we find that the sheet buckles with a mode number $n \geq 1$ transverse to the axis of twist. Three distinct buckling regimes characterized as clamp-dominated, bendable, and stiff are identified, by introducing a bendability length $L_B$ and a clamp length $L_{C}(<L_B)$. In the stiff regime ($L>L_B$), we find that mode $n=1$ develops above $\eta_{tr} \equiv \eta_S \sim (t/W) T^{-1/2}$, independent of $L$. In the bendable regime $L_{C}<L<L_B$, $n=1$ as well as $n > 1$ occur above $\eta_{tr} \equiv \eta_B \sim \sqrt{t/L}T^{-1/4}$. Here, we find the wavelength $\lambda_B \sim \sqrt{Lt}T^{-1/4}$, when $n > 1$. These scalings agree with those derived from a covariant form of the F\"oppl-von K\'arm\'an equations, however, we find that the $n=1$ mode also occurs over a surprisingly large range of $L$ in the bendable regime. Finally, in the clamp-dominated regime ($L < L_c$), we find that $\eta_{tr}$ is higher compared to $\eta_B$ due to additional stiffening induced by the clamped boundary conditions.


title: Irreducible 4-critical triangle-free toroidal graphs

abstract: The theory of Dvorak, Kral, and Thomas (2015) shows that a 4-critical triangle-free graph embedded in the torus has only a bounded number of faces of length greater than 4 and that the size of these faces is also bounded. We study the natural reduction in such embedded graphs - identification of opposite vertices in 4-faces. We give a computer-assisted argument showing that there are exactly four 4-critical triangle-free irreducible toroidal graphs in which this reduction cannot be applied without creating a triangle. Using this result, we show that every 4-critical triangle-free graph embedded in the torus has at most four 5-faces, or a 6-face and two 5-faces, or a 7-face and a 5-face, in addition to at least seven 4-faces. This result serves as a basis for the exact description of $4$-critical triangle-free toroidal graphs, which we present in a followup paper.


title: The impact of $\mathbf{K^+\Lambda}$ photoproduction on the resonance spectrum

abstract: The J\"ulich-Bonn coupled-channel framework is extended to $K^+\Lambda$ photoproduction. The spectrum of nucleon and $\Delta$ resonances is extracted from simultaneous fits to several pion-induced reactions in addition to pion, eta and $K^+\Lambda$ photoproduction off the proton. More than 40,000 data points up to a center-of-mass energy of E$\sim$2.3 GeV including recently measured double-polarization observables are analyzed. The influence of the $\gamma p\to K^+\Lambda$ channel on the extracted resonance parameters and the appearance of states not seen in other channels is investigated. The J\"ulich-Bonn model includes effective three-body channels and guarantees unitarity and analyticity, which is a prerequisite for a reliable determination of the resonance spectrum in terms of poles and residues.


title: Pretraining Deep Actor-Critic Reinforcement Learning Algorithms With Expert Demonstrations

abstract: Pretraining with expert demonstrations have been found useful in speeding up the training process of deep reinforcement learning algorithms since less online simulation data is required. Some people use supervised learning to speed up the process of feature learning, others pretrain the policies by imitating expert demonstrations. However, these methods are unstable and not suitable for actor-critic reinforcement learning algorithms. Also, some existing methods rely on the global optimum assumption, which is not true in most scenarios. In this paper, we employ expert demonstrations in a actor-critic reinforcement learning framework, and meanwhile ensure that the performance is not affected by the fact that expert demonstrations are not global optimal. We theoretically derive a method for computing policy gradients and value estimators with only expert demonstrations. Our method is theoretically plausible for actor-critic reinforcement learning algorithms that pretrains both policy and value functions. We apply our method to two of the typical actor-critic reinforcement learning algorithms, DDPG and ACER, and demonstrate with experiments that our method not only outperforms the RL algorithms without pretraining process, but also is more simulation efficient.


title: On families of periodic orbits in the restricted three-body problem

abstract: Since Poincar\'e, periodic orbits have been one of the most important objects in dynamical systems. However, searching them is in general quite difficult. A common way to find them is to construct families of periodic orbits which start at obvious periodic orbits. On the other hand, given two periodic orbits one might ask if they are connected by an orbit cylinder, i.e., by a one-parameter family of periodic orbits. In this article we study this question for a certain class of periodic orbits in the planar circular restricted three-body problem. Our strategy is to compare the Cieliebak-Frauenfelder-van Koert invariants which are obstructions to the existence of an orbit cylinder.


title: Characteristic polynomials of modified permutation matrices at microscopic scale

abstract: We study the characteristic polynomial of random permutation matrices following some measures which are invariant by conjugation, including Ewens' measures which are one-parameter deformations of the uniform distribution on the permutation group. We also look at some modifications of permutation matrices where the entries equal to one are replaced by i.i.d uniform variables on the unit circle. Once appropriately normalized and scaled, we show that the characteristic polynomial converges in distribution on every compact subset of $\mathbb{C}$ to an explicit limiting entire function, when the size of the matrices goes to infinity. Our findings can be related to results by Chhaibi, Najnudel and Nikeghbali on the limiting characteristic polynomial of the Circular Unitary Ensemble.


title: Modelling the Performance of Single-Photon Counting Kinetic Inductance Detectors

abstract: Using conventional superconductor theory we discuss and validate a model that describes the energy-resolving performance of an aluminium LEKID to single-photon absorption events. While aluminium is not the optimum material for single-photon counting applications, this material is well understood and is used to understand the underlying device physics of these detectors. We also discuss data analysis techniques used to extract single-photon detections from noisy data.


title: Skyrmions formation due to unconventional magnetic modes in anisotropic multi-band superconductors

abstract: Multiband superconductors have a sufficient number of degrees of freedom to allow topological excitations characterized by Skyrmionic topological invariants. In the most common, clean s-wave multiband, systems the interband magnetic coupling favours composite vortex solutions, without a Skyrmionic topological charge. It was discussed recently that certain kinds of anisotropies lead to hybridisation of the interband phase difference (Leggett) mode with magnetic modes, dramatically changing the hydromagnetostatics of the system. Here we report this effect for a range of parameters that substantially alter the nature of the topological excitations, leading to solutions characterized by a nontrivial topological invariant, rather than the standard composite vortex solutions. This invariant is not truly topologically conserved but is energetically conserved, leading to a texture formed of bound excitations in each band, namely fractional vortices, each carrying a fraction of the flux quantum. We demonstrate that in this regime there is a rich spectrum of Skyrmion solutions, with various topological charges, that are robust with respect to changes of parameters of the system and present for a wide range of anisotropies.


title: Unified presentation of four fundamental inequalities

abstract: We suggest an unified presentation to teach fundamental constants to graduate students, by introducing four lower limits to observed phenomena. The reduced Planck constant $\hbar$ is the lowest classically definable action. The inverse of invariant speed, $s$, is the lowest observable slowness. The Planck time, $t_{\rm P}$, is the lowest observable time scale. The Boltzmann constant, $k$, determines the lowest coherent degree of freedom; we recall a Einstein criterion on the fluctuations of small thermal systems and show that it has far-reaching implications, such as demonstrating the relations between critical exponents. Each of these four fundamental limits enters in an inequality, which marks a horizon of the universe we can perceive. This compact presentation can resolve some difficulties encountered when trying to defining the epistemologic status of these constants, and emphasizes their useful role in shaping our intuitive vision of the universe.


title: Constant Factor Time Optimal Multi-Robot Routing on High-Dimensional Grids in Mostly Sub-Quadratic Time

abstract: Let $G = (V, E)$ be an $m_1 \times \ldots \times m_k$ grid. Assuming that each $v \in V$ is occupied by a robot and a robot may move to a neighboring vertex in a step via synchronized rotations along cycles of $G$, we first establish that the arbitrary reconfiguration of labeled robots on $G$ can be performed in $O(k\sum_i m_i)$ makespan and requires $O(|V|^2)$ running time in the worst case and $o(|V|^2)$ when $G$ is non-degenerate (in the current context, a grid is degenerate if it is nearly one dimensional). The resulting algorithm, iSAG, provides average case $O(1)$-approximate (i.e., constant-factor) time optimality guarantee. When all dimensions are of similar size $O(|V|^{\frac{1}{k}})$, the running time of iSAG approaches a linear $O(|V|)$. Define $d_g(p)$ as the largest distance between individual initial and goal configurations over all robots for a given problem instance $p$, building on iSAG, we develop the PartitionAndFlow (PAF) algorithm that computes $O(d_g(p))$ makespan solutions for arbitrary fixed $k \ge 2$, using mostly $o(|V|^2)$ running time. PAF provides worst case $O(1)$-approximation regarding solution time optimality. We note that the worst case running time for the problem is $\Omega(|V|^2)$.


title: Photo-excited Dynamics in the Excitonic Insulator Ta2NiSe5

abstract: The excitonic insulator is an intriguing correlated electron phase formed of condensed excitons. A promising candidate is the small band gap semiconductor Ta2NiSe5. Here we investigate the quasiparticle and coherent phonon dynamics in Ta2NiSe5 in a time resolved pump probe experiment. Using the models originally developed by Kabanov et al. for superconductors, we show that the material's intrinsic gap can be described as almost temperature independent for temperatures up to about 250 K to 275 K. This behavior supports the existence of the excitonic insulator state in Ta2NiSe5. The onset of an additional temperature dependent component to the gap above these temperatures suggests that the material is located in the BEC-BCS crossover regime. Furthermore, we show that this state is very stable against strong photoexcitation, which reveals that the free charge carriers are unable to effectively screen the attractive Coulomb interaction between electrons and holes, likely due to the quasi one-dimensional structure of Ta2NiSe5.


title: Deep Reinforcement Learning for Programming Language Correction

abstract: Novice programmers often struggle with the formal syntax of programming languages. To assist them, we design a novel programming language correction framework amenable to reinforcement learning. The framework allows an agent to mimic human actions for text navigation and editing. We demonstrate that the agent can be trained through self-exploration directly from the raw input, that is, program text itself, without any knowledge of the formal syntax of the programming language. We leverage expert demonstrations for one tenth of the training data to accelerate training. The proposed technique is evaluated on 6975 erroneous C programs with typographic errors, written by students during an introductory programming course. Our technique fixes 14% more programs and 29% more compiler error messages relative to those fixed by a state-of-the-art tool, DeepFix, which uses a fully supervised neural machine translation approach.


title: Scrutinizing $\bar B \to D^*(D \pi) \ell^- \bar \nu_\ell$ and $\bar B \to D^*(D \gamma) \ell^- \bar \nu_\ell$ in search of new physics footprints

abstract: Besides being important to determine Standard Model parameters such as the CKM matrix elements $|V_{cb}|$ and $|V_{ub}|$, semileptonic $B$ decays seem also promising to reveal new physics (NP) phenomena, in particular in connection with the possibility of uncovering lepton flavour universality (LFU) violating effects. In this view, it could be natural to connect the tensions in the inclusive versus exclusive determinations of $|V_{cb}|$ to the anomalies in the ratios $R(D^{(*)})$ of decay rates into $\tau$ vs $\mu, e$. However, the question has been raised about the role of the parametrization of the hadronic $B \to D^{(*)}$ form factors in exclusive $B$ decay modes. We focus on the fully differential angular distributions of $\bar B \to D^* \ell^-{\bar \nu}_\ell$ with $D^* \to D \pi$ or $D^* \to D \gamma$, the latter mode being important in the case of $B_s \to D_s^*$ decays. We show that the angular coefficients in the distributions can be used to scrutinize the role of the form factor parametrization and to pin down deviations from SM. As an example of a NP scenario, we include a tensor operator in the $b \to c$ semileptonic effective Hamiltonian, and discuss how the angular coefficients allow to construct observables sensitive to this structure, also defining ratios useful to test LFU.


title: Topological Defects in the Georgi-Machacek Model

abstract: We study topological defects in the Georgi-Machacek model in a hierarchical symmetry breaking in which extra triplets acquire vacuum expectation values before the doublet. We find a possibility of topologically stable non-Abelian domain walls and non-Abelian flux tubes (vortices) in this model. In the limit of the vanishing $U(1)_{\rm Y}$ gauge coupling in which the custodial symmetry becomes exact, the presence of a vortex spontaneously breaks the custodial symmetry, giving rise to $S^2$ Nambu-Goldstone (NG) modes localized around the vortex corresponding to non-Abelian fluxes. Vortices are continuously degenerated by these degrees of freedom, thereby called non-Abelian. By taking into account the $U(1)_{\rm Y}$ gauge coupling, the custodial symmetry is explicitly broken, the NG modes are lifted, and all non-Abelian vortices fall into a topologically stable $Z$-string. This is in contrast to the SM in which $Z$-strings are non-topological and are unstable in the realistic parameter region.Non-Abelian domain walls also break the custodial symmetry and are accompanied by localized $S^2$ NG modes. Finally, we discuss the existence of domain wall solutions bounded by flux tubes, where their $S^2$ NG modes match. The domain walls may quantum mechanically decay by creating a hole bounded by a flux tube loop, and would be cosmologically safe. Gravitational waves produced from unstable domain walls could be detected by future experiments


title: Hyperfine interaction with the $^{229}$Th nucleus and its low lying isomeric state

abstract: The thorium nucleus with mass number $A=229$ has attracted much interest because its extremely low lying first excited isomeric state at about $8$eV opens the possibility for the development of a nuclear clock. However, neither the exact energy of this nuclear isomer nor properties, such as nuclear magnetic dipole and electric quadrupole moment are known to a high precision so far. The latter can be determined by investigating the hyperfine structure of thorium atoms or ions. Due to its electronic structure and the long lifetime of the nuclear isomeric state, Th$^{2+}$ is especially suitable for such kind of studies. In this letter we present a combined experimental and theoretical investigation of the hyperfine structure of the $^{229}$Th$^{2+}$ ion in the nuclear ground and isomeric state. A very good agreement between theory and experiment is found for the nuclear ground state. Moreover, we use our calculations to confirm the recently presented experimental value for the nuclear magnetic dipole moment of the thorium nuclear isomer, which was in contradiction to previous theoretical studies.


title: Optimization of the beam crossing angle at the ILC for e+e- and gamma-gamma collisions

abstract: At this time, the design of the International Linear Collider (ILC) is optimized for e+e- collisions; the photon collider (gamma-gamma and gamma-electron) is considered as an option. Unexpected discoveries, such as the diphoton excess F(750 GeV) seen at the LHC, could strongly motivate the construction of a photon collider. In order to enable the gamma-gamma collision option, the ILC design should be compatible with it from the very beginning. In this paper, we discuss the problem of the beam crossing angle. In the ILC technical design, this angle is 14 mrad, which is just enough to provide enough space for the final quadrupoles and outgoing beams. For gamma-gamma collisions, the crossing angle must be larger because the low-energy electrons that result from multiple Compton scattering get large disruption angles in collisions with the opposing electron beam and some deflection in the solenoidal detector field. For a 2E=500 GeV collider, the required crossing angle is about 25 mrad. In this paper, we consider the factors that determine the crossing angle as well as its minimum permissible value that does not yet cause a considerable reduction of the gamma-gamma luminosity. It is shown that the best solution is to increase the laser wavelength from the current 1 \mum (which is optimal for 2E=500 GeV) to 2 \mum as this makes possible achieving high gamma-gamma luminosities at a crossing angle of 20 mrad, which is also quite comfortable for e+e- collisions, does not cause any degradation of the e+e- luminosity and opens the possibility for a more energetic future collider in the same tunnel (e.g., CLIC). Moreover, the 2 \mum wavelength is optimal for a 2E = 1 TeV collider, e.g., a possible ILC energy upgrade. Please consider this paper an appeal to increase the ILC crossing angle from 14 to 20 mrad.


title: Soft Computing Techniques for Dependable Cyber-Physical Systems

abstract: Cyber-Physical Systems (CPS) allow us to manipulate objects in the physical world by providing a communication bridge between computation and actuation elements. In the current scheme of things, this sought-after control is marred by limitations inherent in the underlying communication network(s) as well as by the uncertainty found in the physical world. These limitations hamper fine-grained control of elements that may be separated by large-scale distances. In this regard, soft computing is an emerging paradigm that can help to overcome the vulnerabilities, and unreliability of CPS by using techniques including fuzzy systems, neural network, evolutionary computation, probabilistic reasoning and rough sets. In this paper, we present a comprehensive contemporary review of soft computing techniques for CPS dependability modeling, analysis, and improvement. This paper provides an overview of CPS applications, explores the foundations of dependability engineering, and highlights the potential role of soft computing techniques for CPS dependability with various case studies, while identifying common pitfalls and future directions. In addition, this paper provides a comprehensive survey on the use of various soft computing techniques for making CPS dependable.


title: Suppression of globular cluster formation in metal-poor gas clouds by Lyman-alpha radiation feedback

abstract: We study the impact of Ly$\alpha$ radiation feedback on globular cluster (GC) formation. In this Letter, we analytically derive the relation between star formation efficiency (SFE) and metallicity in spherical clouds with the Ly$\alpha$ radiation feedback. Our models show that the SFE becomes small as the metallicity decreases. In metal-poor gas clouds, Ly$\alpha$ photons are trapped for a long time and exert strong radiation force to the gas, resulting in the suppression of star formation. We find that bound star-clusters (SFE $\gtrsim$ 0.5) form only for the metallicity higher than $\sim 10^{-2.5}~Z_{\odot}$ in the case with the initial cloud mass $10^5~{\rm M}_\odot$ and the radius 5 pc. Our models successfully reproduce the lower bound of observed metallicity of GCs. Thus, we suggest that the Ly$\alpha$ radiation feedback can be essential in understanding the formation of GCs.


title: Wormholes in f(R) gravity with a noncommutative-geometry background

abstract: This paper discusses the possible existence of traversable wormholes in f(R) modified gravity while assuming a noncommutative-geometry background, as well as zero tidal forces. The first part of the paper aims for an overview via several shape functions by determining the corresponding wormhole solutions and their properties. The solutions are made complete by deriving the modified-gravity functions F(r) and f(R), where F=df/dR. It is subsequently shown that the violation of the null energy condition can be attributed to the combined effects of f(R) gravity and noncommutative geometry. The second part of the paper reverses the strategy by starting with a special form of f(R) and determining the wormhole solution and the concomitant F(r). The approach in this paper differs in significant ways from that of Jamil et al.


title: Exploring the Chemical Composition and Double Horizontal Branch of the Bulge Globular Cluster NGC 6569

abstract: Photometric and spectroscopic analyses have shown that the Galactic bulge cluster Terzan 5 hosts several populations with different metallicities and ages that manifest as a double red horizontal branch (HB). A recent investigation of the massive bulge cluster NGC 6569 revealed a similar, though less extended, HB luminosity split, but little is known about the cluster's detailed chemical composition. Therefore, we have used high-resolution spectra from the Magellan-M2FS and VLT-FLAMES spectrographs to investigate the chemical compositions and radial velocity distributions of red giant branch and HB stars in NGC 6569. We found the cluster to have a mean heliocentric radial velocity of -48.8 km/s (sigma = 5.3 km/s; 148 stars) and a mean [Fe/H] =-0.87 dex (19 stars), but the cluster's 0.05 dex [Fe/H] dispersion precludes a significant metallicity spread. NGC 6569 exhibits light- and heavy-element distributions that are common among old bulge/inner Galaxy globular clusters, including clear (anti)correlations between [O/Fe], [Na/Fe], and [Al/Fe]. The light-element data suggest that NGC 6569 may be composed of at least two distinct populations, and the cluster's low mean [La/Eu] = -0.11 dex indicates significant pollution with r-process material. We confirm that both HBs contain cluster members, but metallicity and light-element variations are largely ruled out as sources for the luminosity difference. However, He mass fraction differences as small as delta Y ~ 0.02 cannot be ruled out and may be sufficient to reproduce the double HB.


title: Parameterized Power Vertex Cover

abstract: We study a recently introduced generalization of the Vertex Cover (VC) problem, called Power Vertex Cover (PVC). In this problem, each edge of the input graph is supplied with a positive integer demand. A solution is an assignment of (power) values to the vertices, so that for each edge one of its endpoints has value as high as the demand, and the total sum of power values assigned is minimized. We investigate how this generalization affects the parameterized complexity of Vertex Cover. On the positive side, when parameterized by the value of the optimal P, we give an O*(1.274^P)-time branching algorithm (O* is used to hide factors polynomial in the input size), and also an O*(1.325^P)-time algorithm for the more general asymmetric case of the problem, where the demand of each edge may differ for its two endpoints. When the parameter is the number of vertices k that receive positive value, we give O*(1.619^k) and O*(k^k)-time algorithms for the symmetric and asymmetric cases respectively, as well as a simple quadratic kernel for the asymmetric case. We also show that PVC becomes significantly harder than classical VC when parameterized by the graph's treewidth t. More specifically, we prove that unless the ETH is false, there is no n^o(t)-time algorithm for PVC. We give a method to overcome this hardness by designing an FPT approximation scheme which gives a (1+epsilon)-approximation to the optimal solution in time FPT in parameters t and 1/epsilon.


title: Mean-field theory of differential rotation in density stratified turbulent convection

abstract: A mean-field theory of differential rotation in a density stratified turbulent convection has been developed. This theory is based on a combined effect of the turbulent heat flux and anisotropy of turbulent convection on the Reynolds stress. A coupled system of dynamical budget equations consisting in the equations for the Reynolds stress, the entropy fluctuations and the turbulent heat flux has been solved. To close the system of these equations, the spectral tau approach which is valid for large Reynolds and Peclet numbers, has been applied. The adopted model of the background turbulent convection takes into account an increase of the turbulence anisotropy and a decrease of the turbulent correlation time with the rotation rate. This theory yields the radial profile of the differential rotation which is in agreement with that for the solar differential rotation.

categories: physics.flu-dyn astro-ph.SR physics.plasm-ph physics.space-ph


title: Change Point Analysis of Correlation in Non-stationary Time Series

abstract: A restrictive assumption in change point analysis is "stationarity under the null hypothesis of no change-point", which is crucial for asymptotic theory but not very realistic from a practical point of view. For example, if change point analysis for correlations is performed, it is not necessarily clear that the mean, marginal variance or higher order moments are constant, even if there is no change in the correlation. This paper develops change point analysis for the correlation structures under less restrictive assumptions. In contrast to previous work, our approach does not require that the mean, variance and fourth order joint cumulants are constant under the null hypothesis. Moreover, we also address the problem of detecting relevant change points.


title: Identities about level 2 Eisenstein series

abstract: In this paper we consider certain classes of generalized double Eisenstein series by simple differential calculations of trigonometric functions. In particular, we give four new transformation formula for some double Eisenstein series. We can find that these double Eisenstein series are reducible to infinite series involving hyperbolic functions. Moreover, some interesting new examples are given.


title: N* Experiments and their Impact on Strong QCD Physics

abstract: I give a brief overview of experimental studies of the spectrum and the structure of the excited states of the nucleon and what we learn about their internal structure. The focus is on the effort to obtain a more complete picture of the light-quark baryon excitation spectrum employing electromagnetic beams, and on the study of the transition form factors and helicity amplitudes and their dependence on the magnitude of the photon virtuality $Q^2$, especially for some of the most prominent resonances. The results were obtained in pion and eta electroproduction experiments off proton targets. They strengthen the connection of experiment and new results from modeling sQCD in DSE and Light Cone SR approaches. They also point to the nature of these states as 3-quark excitations at the core.


title: Separation of the two-dimensional unsteady Prandtl boundary layers under an adverse pressure gradient

abstract: In this paper, we study the back flow of the two-dimensional unsteady Prandtl boundary layer under an adverse pressure gradient. The occurrence of back flow is an important physical event in the evolution of boundary layer, which eventually leads to separation. For the two-dimensional unsteady Prandtl boundary layer equations, when the initial tangential velocity is strictly monotonic with respect to the normal variable, and the pressure gradient of the outer flow is adverse, we obtain that the first critical point of the tangential velocity profile with respect to the normal variable, if exists when the boundary layer evolves in time, must appear on the boundary. Moreover, we give a condition on the growth rate of the initial tangential velocity such that there is a back flow point of the Prandtl boundary layer under the adverse pressure gradient. In the appendix, we introduce two examples showing that back flow occurs either when the flow distance is long in the streamwise direction for a given initial monotonic tangential velocity field, or when the initial tangential velocity grows slowly in a large neighborhood of the boundary for a fixed flow distance in the streamwise direction.


title: Anatomy of magnetic anisotropy induced by Rashba spin-orbit interactions

abstract: Magnetic anisotropy controls the orientational stability and switching properties of magnetic states, and therefore plays a central role in spintronics. First-principles density-functional-theory calculations are able, in most cases, to provide a satisfactory description of bulk and interface contributions to the magnetic anisotropy of particular film/substrate combinations. In this paper we focus on achieving a simplified understanding of some trends in interfacial magnetic anisotropy based on a simple tight-binding model for quasiparticle states in a heavy-metal/ferromagnetic-metal bilayer film. We explain how to calculate the magnetic anisotropy energy of this model from the quasiparticle spin-susceptibility, compare with more conventional approaches using either a perturbative treatment of spin-orbit interactions or a direct calculation of the dependence of the energy on the orientation of the magnetization, and show that the magnetic anisotropy can be interpreted as a competition between a Fermi-sea term favoring perpendicular anisotropy and a Fermi-surface term favoring in-plane anisotropy. Based on this finding, we conclude that perpendicular magnetic anisotropy should be expected in an itinerant electron thin film when the spin magnetization density is larger than the product of the band exchange splitting and the Fermi level density-of-states of the magnetic state.


title: New Size Hierarchies for Two Way Automata

abstract: We introduce a new type of nonuniform two--way automaton that can use a different transition function for each tape square. We also enhance this model by allowing to shuffle the given input at the beginning of the computation. Then we present some hierarchy and incomparability results on the number of states for the types of deterministic, nondeterministic, and bounded-error probabilistic models. For this purpose, we provide some lower bounds for all three models based on the numbers of subfunctions and we define two witness functions.


title: Cache-Aided Non-Orthogonal Multiple Access: The Two-User Case

abstract: In this paper, we propose a cache-aided non-orthogonal multiple access (NOMA) scheme for spectrally efficient downlink transmission. The proposed scheme not only reaps the benefits associated with NOMA and caching, but also exploits the data cached at the users for interference cancellation. As a consequence, caching can help to reduce the residual interference power, making multiple decoding orders at the users feasible. The resulting flexibility in decoding can be exploited for improved NOMA detection. We characterize the achievable rate region of cache-aided NOMA and derive the Pareto optimal rate tuples forming the boundary of the rate region. Moreover, we optimize cache-aided NOMA for minimization of the time required for completing file delivery. The optimal decoding order and the optimal transmit power and rate allocation are derived as functions of the cache status, the file sizes, and the channel conditions. Simulation results confirm that, compared to several baseline schemes, the proposed cache-aided NOMA scheme significantly expands the achievable rate region and increases the sum rate for downlink transmission, which translates into substantially reduced file delivery times.


title: On entropy of P-twists

abstract: We compute the categorical entropy of autoequivalences given by P-twists, and show that these autoequivalences satisfy a Gromov-Yomdin type conjecture.


title: Computation of Optimal Control Problems with Terminal Constraint via Modified Evolution Partial Differential Equation

abstract: The Variation Evolving Method (VEM), which seeks the optimal solutions with the variation evolution principle, is further developed to be more flexible in solving the Optimal Control Problems (OCPs) with terminal constraint. With the first-order stable dynamics to eliminate the infeasibilities, the Modified Evolution Partial Differential Equation (MEPDE) that is valid in the infeasible solution domain is proposed, and a Lyapunov functional is constructed to theoretically ensure its validity. In particular, it is proved that even with the infinite-time convergence dynamics, the violated terminal inequality constraints, which are inactive for the optimal solution, will enter the feasible domain in finite time. Through transforming the MEPDE to the finite-dimensional Initial-value Problem (IVP) with the semi-discrete method, the OCPs may be solved with common Ordinary Differential Equation (ODE) numerical integration methods. Illustrative examples are presented to show the effectiveness of the proposed method.


title: Identifying systemically important companies in the entire liability network of a small open economy

abstract: To a large extent, the systemic importance of financial institutions is related to the topology of financial liability networks. In this work we reconstruct and analyze the - to our knowledge - largest financial network that has been studied up to now. This financial liability network consists of 51,980 firms and 796 banks. It represents 80.2% of total liabilities towards banks by firms and all interbank liabilities from the entire Austrian banking system. We find that firms contribute to systemic risk in similar ways as banks do. In particular, we identify several medium-sized banks and firms with total assets below 1 bln. EUR that are systemically important in the entire financial network. We show that the notion of systemically important financial institutions (SIFIs) or global and domestic systemically important banks (G-SIBs or D-SIBs) can be straightforwardly extended to firms. We find that firms introduce slightly more systemic risk than banks. In Austria in 2008, the total systemic risk of the interbank network amounts to only 29% of the total systemic risk of the entire financial network, consisting of firms and banks.


title: Three Neutrino Oscillations in Matter

abstract: Following similar approaches in the past, the Schrodinger equation for three neutrino propagation in matter of constant density is solved analytically by two successive diagonalizations of 2x2 matrices. The final result for the oscillation probabilities is obtained directly in the conventional parametric form as in the vacuum but with explicit simple modification of two mixing angles ($\theta_{12}$ and $\theta_{13}$) and mass eigenvalues.


title: Hodge level for weighted complete intersections

abstract: We give lower bounds for Hodge numbers of smooth well formed Fano weighted complete intersections. In particular, we compute their Hodge level, that is, the maximal distance between non-trivial Hodge numbers in the same row of the Hodge diamond. This allows us to classify varieties whose Hodge numbers are like that of a projective space, of a curve, or of a Calabi--Yau variety of low dimension.


title: Recognising and Generating Terms using Derivatives of Parsing Expression Grammars

abstract: Grammar-based sentence generation has been thoroughly explored for Context-Free Grammars (CFGs), but remains unsolved for recognition-based approaches such as Parsing Expression Grammars (PEGs). Lacking tool support, language designers using PEGs have difficulty predicting the behaviour of their parsers. In this paper, we extend the idea of derivatives, originally formulated for regular expressions, to PEGs. We then present a novel technique for sentence generation based on derivatives, applicable to any grammatical formalism for which the derivative can be defined--now including PEGs. Finally, we propose applying derivatives more generally to other problems facing language designers and implementers.


title: On the Interactive Communication Cost of the Distributed Nearest Lattice Point Problem

abstract: We consider the problem of distributed computation of the nearest lattice point for a two dimensional lattice. An interactive two-party model of communication is considered. Algorithms with bounded, as well as unbounded, number of rounds of communication are considered. For the algorithm with a bounded number of rounds, expressions are derived for the error probability as a function of the total number of communicated bits. We observe that the error exponent depends on the lattice. With an infinite number of allowed communication rounds, the average cost of achieving zero error probability is shown to be finite.


title: Deep Predictive Models in Interactive Music

abstract: Musical performance requires prediction to operate instruments, to perform in groups and to improvise. In this paper, we investigate how a number of digital musical instruments (DMIs), including two of our own, have applied predictive machine learning models that assist users by predicting unknown states of musical processes. We characterise these predictions as focussed within a musical instrument, at the level of individual performers, and between members of an ensemble. These models can connect to existing frameworks for DMI design and have parallels in the cognitive predictions of human musicians. We discuss how recent advances in deep learning highlight the role of prediction in DMIs, by allowing data-driven predictive models with a long memory of past states. The systems we review are used to motivate musical use-cases where prediction is a necessary component, and to highlight a number of challenges for DMI designers seeking to apply deep predictive models in interactive music systems of the future.


title: Hardy-Sobolev inequality with higher dimensional singularity

abstract: For $N\geq 4$, we let $\Omega$ to be a smooth bounded domain of $\mathbb{R}^N$, $\Gamma$ a smooth closed submanifold of $\Omega$ of dimension $k$ with $1\leq k \leq N-2$ and $h$ a continuous function defined on $\Omega$. We denote by $\rho_\Gamma\left(\cdot\right):=\dist_g\left(\cdot, \Gamma\right)$ the distance function to $\Gamma$. For $\sigma\in (0,2)$, we study existence of positive solutions $u \in H^1_0\left(\Omega\right)$ to the nonlinear equation $$ -\Delta u+h u=\rho_\Gamma^{-\sigma} u^{2^*(\sigma)-1} \qquad \textrm{in } \Omega, $$ where $2^*(\sigma):=\frac{2(N-\sigma)}{N-2}$ is the critical Hardy-Sobolev exponent. In particular, we provide existence of solution under the influence of the local geometry of $\G$ and the potential $h$.


title: A New Interweave Cognitive Radio Scheme for Out-band Energy Harvesting Systems

abstract: In this paper, a new interweave cognitive radio (CR) transmission scheme is analytically presented for energy harvesting (EH)-enabled transmitting nodes. EH is performed via a dedicated power beacon (PB) base station through wireless power transfer, which harvests energy to both primary and secondary systems. The out-band mode-of-operation between PB and the two heterogeneous systems is considered (i.e., data communication and EH are realized at different frequency bands). The performance of the new interweave CR system is studied under independent and not necessarily identically distributed $\kappa-\mu$ shadowed faded channels. Representative numerical and simulation results corroborate the effectiveness of the proposed scheme and presented analysis, while some useful engineering insights are provided.


title: Lifted Filtering via Exchangeable Decomposition

abstract: We present a model for exact recursive Bayesian filtering based on lifted multiset states. Combining multisets with lifting makes it possible to simultaneously exploit multiple strategies for reducing inference complexity when compared to list-based grounded state representations. The core idea is to borrow the concept of Maximally Parallel Multiset Rewriting Systems and to enhance it by concepts from Rao-Blackwellization and Lifted Inference, giving a representation of state distributions that enables efficient inference. In worlds where the random variables that define the system state are exchangeable -- where the identity of entities does not matter -- it automatically uses a representation that abstracts from ordering (achieving an exponential reduction in complexity) -- and it automatically adapts when observations or system dynamics destroy exchangeability by breaking symmetry.


title: Parallel Tracking and Verifying

abstract: Being intensively studied, visual object tracking has witnessed great advances in either speed (e.g., with correlation filters) or accuracy (e.g., with deep features). Real-time and high accuracy tracking algorithms, however, remain scarce. In this paper we study the problem from a new perspective and present a novel parallel tracking and verifying (PTAV) framework, by taking advantage of the ubiquity of multi-thread techniques and borrowing ideas from the success of parallel tracking and mapping in visual SLAM. The proposed PTAV framework is typically composed of two components, a (base) tracker T and a verifier V, working in parallel on two separate threads. The tracker T aims to provide a super real-time tracking inference and is expected to perform well most of the time; by contrast, the verifier V validates the tracking results and corrects T when needed. The key innovation is that, V does not work on every frame but only upon the requests from T; on the other end, T may adjust the tracking according to the feedback from V. With such collaboration, PTAV enjoys both the high efficiency provided by T and the strong discriminative power by V. Meanwhile, to adapt V to object appearance changes over time, we maintain a dynamic target template pool for adaptive verification, resulting in further performance improvements. In our extensive experiments on popular benchmarks including OTB2015, TC128, UAV20L and VOT2016, PTAV achieves the best tracking accuracy among all real-time trackers, and in fact even outperforms many deep learning based algorithms. Moreover, as a general framework, PTAV is very flexible with great potentials for future improvement and generalization.


title: Remanufacturing cost analysis under uncertain core quality and return conditions: extreme and non-extreme scenarios

abstract: Uncertainties in core quality condition, return quantity and timing can propagate and accumulate in process cost and complicate cost assessments. However, regardless of cost assessment complexities, accurate cost models are required for successful remanufacturing operation management. In this paper, joint effects of core quality condition, return quantity, and timing on remanufacturing cost under normal and extreme return conditions is analyzed. To conduct this analysis, a novel multivariate stochastic model called Stochastic Cost of Remanufacturing Model (SCoRM) is developed. In building SCoRM, a Hybrid Pareto Distribution (HPD), Bernoulli process, and a polynomial cost function are employed. It is discussed that core return process can be characterized as a Discrete Time Markov Chain (DTMC). In a case study, SCoRM is applied to assess remanufacturing costs of steam traps of a chemical complex. Its accuracy analyzed and variations of SCoRM in predictive tasks assessed by bootstrapping technique. Through this variation analysis the best and worst cost scenarios determined. Finally, to generate comparative insights regarding predictive performance of SCoRM, the model is compared to artificial neural network, support vector machine, generalized additive model, and random forest algorithms. Results indicate that SCoRM can be efficiently utilized to analyze remanufacturing cost. Keywords: Remanufacturing, extreme value theory, hybrid Pareto distribution, stochastic model.


title: Ambiguity in defaultable term structure models

abstract: We introduce the concept of no-arbitrage in a credit risk market under ambiguity considering an intensity-based framework. We assume the default intensity is not exactly known but lies between an upper and lower bound. By means of the Girsanov theorem, we start from the reference measure where the intensity is equal to $1$ and construct the set of equivalent martingale measures. From this viewpoint, the credit risky case turns out to be similar to the case of drift uncertainty in the $G$-expectation framework. Finally, we derive the interval of no-arbitrage prices for general bond prices in a Markovian setting.


title: Holomorphic operator valued functions generated by passive selfadjoint systems

abstract: In this paper we study a class $\mathcal R\mathcal S(\mathfrak M)$ of operator functions that are holomorphic in the domain $\mathbb C\setminus\{(-\infty,-1]\cup [1,+\infty)\}$ and whose values are contractive operators in a Hilbert space $(\mathfrak M)$. The functions in $\mathcal R\mathcal S(\mathfrak M)$ are Schur functions in the open unit disk $\mathbb D$ and, in addition, Nevanlinna functions in $\mathbb C_+\cup\mathbb C_-$. Such functions can be realized as transfer functions of minimal passive selfadjoint discrete-time systems. We give various characterizations for the class $\mathcal R\mathcal S(\mathfrak M)$ and obtain an explicit form for the inner functions from the class $\mathcal R\mathcal S(\mathfrak M)$ as well as an inner dilation for any function from $\mathcal R\mathcal S(\mathfrak M)$. We also consider various transformations of the class $\mathcal R\mathcal S(\mathfrak M)$, construct realizations of their images, and find corresponding fixed points.


title: Analysis of Coded Selective-Repeat ARQ via Matrix Signal-Flow Graphs

abstract: We propose two schemes for selective-repeat ARQ protocols over packet erasure channels with unreliable feedback: (i) a hybrid ARQ protocol with soft combining at the receiver, and (ii) a coded ARQ protocol, by building on the uncoded baseline scheme for ARQ, developed by Ausavapattanakun and Nosratinia. Our method leverages discrete-time queuing and coding theory to analyze the performance of the proposed data transmission methods. We incorporate forward error-correction to reduce in-order delivery delay, and exploit a matrix signal-flow graph approach to analyze the throughput and delay of the protocols. We demonstrate and contrast the performance of the coded protocols with that of the uncoded scheme, illustrating the benefits of coded transmissions.


title: $\eta_c$ production in photon - induced interactions at the LHC

abstract: In this paper we investigate the $\eta_c$ production by photon - photon and photon - hadron interactions in $pp$ and $pA$ collisions at the LHC energies. The inclusive and diffractive contributions for the $\eta_c$ photoproduction are estimated using the nonrelativistic quantum chromodynamics (NRQCD) formalism. We estimate the rapidity and transverse momentum distributions for the $\eta_c$ photoproduction in hadronic collisions at the LHC and present our estimate for the total cross sections at the Run 2 energies. A comparison with the predictions for the exclusive $\eta_c$ photoproduction, which is a direct probe of the Odderon, also is presented.


title: Learning from Informants: Relations between Learning Success Criteria

abstract: Learning from positive and negative information, so-called \emph{informants}, being one of the models for human and machine learning introduced by E.~M.~Gold, is investigated. Particularly, naturally arising questions about this learning setting, originating in results on learning from solely positive information, are answered. By a carefully arranged argument learners can be assumed to only change their hypothesis in case it is inconsistent with the data (such a learning behavior is called \emph{conservative}). The deduced main theorem states the relations between the most important delayable learning success criteria, being the ones not ruined by a delayed in time hypothesis output. Additionally, our investigations concerning the non-delayable requirement of consistent learning underpin the claim for \emph{delayability} being the right structural property to gain a deeper understanding concerning the nature of learning success criteria. Moreover, we obtain an anomalous \emph{hierarchy} when allowing for an increasing finite number of \emph{anomalies} of the hypothesized language by the learner compared with the language to be learned. In contrast to the vacillatory hierarchy for learning from solely positive information, we observe a \emph{duality} depending on whether infinitely many \emph{vacillations} between different (almost) correct hypotheses are still considered a successful learning behavior.


title: Electromagnetic transitions of $(b{\bar c})$ bound system

abstract: We study electromagnetic transitions: $B_c^*(ns)\to B_c(ns) e^+ e^-$, $B_c^*(ns)\to B_c(n^{\prime}s) e^+ e^-$ and $B_c(ns)\to B^*_c(n^{\prime}s) e^+ e^-$ in the relativistic independent quark (RIQ) model based on a flavor-independent potential in the scalar-vector harmonic form. The transition form factors for energetically possible transitions involving $B_c$ - and $B_c^*$- mesons in ground as well as orbitally excited states are predicted in their respective kinematic range. Our predictions on decay width for the allowed and hindered transitions are found compatible with those of the model calculations based on Bethe-Salpeter approach. Predictions in this sector would not only provide more information about members of the $B_c$-family including mass splitting between vector mesons and corresponding pseudoscalar counterparts but give hints for experimental determination of unknown masses of other excited $B_c$ - and ground state of $B_c^*$-meson, which is expected at LHCb and $Z^0$ factory in near future.


title: On Optimal Scheduling for Joint Spatial Division and Multiplexing Approach in FDD Massive MIMO

abstract: Massive MIMO is widely considered as a key enabler of the next generation 5G networks. With a large number of antennas at the Base Station, both spectral and energy efficiencies can be enhanced. Unfortunately, the downlink channel estimation overhead scales linearly with the number of antennas. This burden is easily mitigated in TDD systems by the use of the channel reciprocity property. However, this is unfeasible for FDD systems and the method of two-stage beamforming was therefore developed to reduce the amount of channel state information feedback. The performance of this scheme being highly dependent on the users grouping and scheduling mechanims, we introduce in this paper a new similarity measure coupled with a novel clustering procedure to achieve the appropriate users grouping. We also proceed to formulate the optimal users scheduling policy in JSDM and prove that it is NP-hard. This result is of paramount importance since it suggests that, unless P=NP, there are no polynomial time algorithms that solve the general scheduling problem to global optimality and the use of sub-optimal scheduling strategies is more realistic in practice. We therefore use graph theory to develop a sub-optimal users scheduling scheme that runs in polynomial time and outperforms the scheduling schemes previously introduced in the literature for JSDM in both sum-rate and throughput fairness.


title: Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems

abstract: This paper is concerned with a compositional approach for constructing infinite abstractions of interconnected discrete-time stochastic control systems. The proposed approach uses the interconnection matrix and joint dissipativity-type properties of subsystems and their abstractions described by a new notion of so-called stochastic storage functions. The interconnected abstraction framework is based on new notions of so-called stochastic simulation functions, using which one can quantify the distance between original interconnected stochastic control systems and interconnected abstractions in the probabilistic setting. In the first part of the paper, we derive dissipativity-type compositional reasoning for the quantification of the distance in probability between the interconnection of stochastic control subsystems and that of their abstractions. Moreover, we focus on a class of discrete-time nonlinear stochastic control systems with independent noises in the abstract and concrete subsystems, and propose a computational scheme to construct abstractions together with their corresponding stochastic storage functions. In the second part of the paper, we consider specifications expressed as syntactically co-safe linear temporal logic formulae and show how a synthesized policy for the abstract system can be refined to a policy for the original system while providing guarantee on the probability of satisfaction. We demonstrate the effectiveness of the proposed results by constructing an abstraction (totally 3 dimensions) of the interconnection of three discrete-time nonlinear stochastic control subsystems (together 222 dimensions) in a compositional fashion. We also employ the abstraction as a substitute to synthesize a controller enforcing a syntactically co-safe linear temporal logic specification.


title: Invariant Operators, Orthogonal Bases and Correlators in General Tensor Models

abstract: We study invariant operators in general tensor models. We show that representation theory provides an efficient framework to count and classify invariants in tensor models. In continuation and completion of our earlier work, we present two natural ways of counting invariants, one for arbitrary rank of the group and another valid for large rank. We construct basis of invariant operators based on the counting, and compute correlators of their elements. The basis associated with finite rank diagonalizes two-point function. It is analogous to the restricted Schur basis used in matrix models. We show that the constructions get almost identical as we swap the Littlewood-Richardson numbers in multi-matrix models with Kronecker coefficients in general tensor models. We explore this parallelism between matrix model and tensor model in depth from the perspective of representation theory and comment on several ideas for future investigation.


title: Non-standard Analysis in Dynamic Geometry

abstract: We will present the benefits of using methods of non-standard analysis in dynamic projective geometry. One major application will be the desingulariazation of geometric constructions.


title: Mobile-Network Connected Drones: Field Trials, Simulations, and Design Insights

abstract: Drones are becoming increasingly used in a wide variety of industries and services and are delivering profound socioeconomic benefits. Technology needs to be in place to ensure safe operation and management of the growing fleet of drones. Mobile networks have connected tens of billions of devices on the ground in the past decades and are now ready to connect the drones flying in the sky. In this article, we share some of our findings in cellular connectivity for low altitude drones. We first present and analyze field measurement data collected during drone flights in a commercial Long-Term Evolution (LTE) network. We then present simulation results to shed light on the performance of a network when it is serving many drones simultaneously over a wide area. The results, analysis, and design insights presented in this article help enhance the understanding of the applicability and performance of providing mobile connectivity to low altitude drones.


title: The Heisenberg spin-1/2 XXZ chain in the presence of electric and magnetic fields

abstract: We study the interplay of electric and magnetic order in the one dimensional Heisenberg spin-1/2 XXZ chain with large Ising anisotropy in the presence of the Dzyaloshinskii-Moriya (D-M) interaction and with longitudinal and transverse magnetic fields, interpreting the D-M interaction as a coupling between the local electric polarization and an external electric field. We obtain the ground state phase diagram using the density matrix renormalization group method and compute various ground state quantities like the magnetization, staggered magnetization, electric polarization and spin correlation functions, etc. In the presence of both longitudinal and transverse magnetic fields, there are three different phases corresponding to a gapped N\'{e}el phase with antiferromagnetic (AF) order, gapped saturated phase and a critical incommensurate gapless phase. The external electric field modifies the phase boundaries but does not lead to any new phases. Both external magnetic fields and electric fields can be used to tune between the phases. We also show that the transverse magnetic field induces a vector chiral order in the N\'{e}el phase (even in the absence of an electric field) which can be interpreted as an electric polarization in a direction parallel to the AF order.


title: Probabilistic representation for solutions to nonlinear Fokker-Planck equations

abstract: One obtains a probabilistic representation for the entropic generalized solutions to a nonlinear Fokker-Planck equation in $\mathbb R^d$ with multivalued nonlinear diffusion term as density probabilities of solutions to a nonlinear stochastic differential equation. The case of a nonlinear Fokker-Planck equation with linear space dependent drift is also studied.


title: On the physics of electron ejection from laser-irradiated overdense plasmas

abstract: Using 1D and 2D PIC simulations, we describe and model the backward ejection of electron bunches when a laser pulse reflects off an overdense plasma with a sharp density gradient on its front side. The dependence on the laser intensity and gradient scale length is studied. It is found that during each laser period the incident laser pulse generates a large charge-separation field, or plasma capacitor, which accelerates an attosecond bunch of electrons towards vacuum. This process is maximized for short gradient scale lengths and collapses when the gradient scale length is comparable to the laser wavelength. We develop a model that reproduces the electron dynamics and the dependence on laser intensity and gradient scale length. This process is shown to be strongly linked with high-harmonics generation via the Relativistic Oscillating Mirror mechanism.


title: Eigenvectors of a matrix under random perturbation

abstract: In this text, based on elementary computations, we provide a perturbative expansion of the coordinates of the eigenvectors of a Hermitian matrix of large size perturbed by a random matrix with small operator norm whose entries in the eigenvector basis of the first one are independent, centered, with a variance profile. This is done through a perturbative expansion of spectral measures associated to the state defined by a given vector.


title: The Elfe System - Verifying mathematical proofs of undergraduate students

abstract: Elfe is an interactive system for teaching basic proof methods in discrete mathematics. The user inputs a mathematical text written in fair English which is converted to a special data-structure of first-order formulas. Certain proof obligations implied by this intermediate representation are checked by automated theorem provers which try to either prove the obligations or find countermodels if an obligation is wrong. The result of the verification process is then returned to the user. Elfe is implemented in Haskell and can be accessed via a reactive web interface or from the command line. Background libraries for sets, relations and functions have been developed. It has been tested by students in the beginning of their mathematical studies.


title: Non-Fermi surface nesting driven commensurate magnetic ordering in Fe-doped Sr$_2$RuO$_4$

abstract: Sr$_2$RuO$_4$, an unconventional superconductor, is known to possess an incommensurate spin density wave instability driven by Fermi surface nesting. Here we report a static spin density wave ordering with a commensurate propagation vector $q_c$ = (0.25 0.25 0) in Fe-doped Sr$_2$RuO$_4$, despite the magnetic fluctuations persisting at the incommensurate wave vectors $q_{ic}$ = (0.3 0.3 L) as in the parent compound. The latter feature is corroborated by the first principles calculations, which show that Fe substitution barely changes the nesting vector of the Fermi surface. These results suggest that in addition to the known incommensurate magnetic instability, Sr$_2$RuO$_4$ is also in proximity to a commensurate magnetic tendency that can be stabilized via Fe doping.


title: Systemic-risk-efficient asset allocation: Minimization of systemic risk as a network optimization problem

abstract: Systemic risk arises as a multi-layer network phenomenon. Layers represent direct financial exposures of various types, including interbank liabilities, derivative- or foreign exchange exposures. Another network layer of systemic risk emerges through common asset holdings of financial institutions. Strongly overlapping portfolios lead to similar exposures that are caused by price movements of the underlying financial assets. Based on the knowledge of portfolio holdings of financial agents we quantify systemic risk of overlapping portfolios. We present an optimization procedure, where we minimize the systemic risk in a given financial market by optimally rearranging overlapping portfolio networks, under the constraints that the expected returns and risks of the individual portfolios are unchanged. We explicitly demonstrate the power of the method on the overlapping portfolio network of sovereign exposure between major European banks by using data from the European Banking Authority stress test of 2016. We show that systemic-risk-efficient allocations are accessible by the optimization. In the case of sovereign exposure, systemic risk can be reduced by more than a factor of two, with- out any detrimental effects for the individual banks. These results are confirmed by a simple simulation of fire sales in the government bond market. In particular we show that the contagion probability is reduced dramatically in the optimized network.


title: Are `Water Smart Landscapes' Contagious? An epidemic approach on networks to study peer effects

abstract: We test the existence of a neighborhood based peer effect around participation in an incentive based conservation program called `Water Smart Landscapes' (WSL) in the city of Las Vegas, Nevada. We use 15 years of geo-coded daily records of WSL program applications and approvals compiled by the Southern Nevada Water Authority and Clark County Tax Assessors rolls for home characteristics. We use this data to test whether a spatially mediated peer effect can be observed in WSL participation likelihood at the household level. We show that epidemic spreading models provide more flexibility in modeling assumptions, and also provide one mechanism for addressing problems associated with correlated unobservables than hazards models which can also be applied to address the same questions. We build networks of neighborhood based peers for 16 randomly selected neighborhoods in Las Vegas and test for the existence of a peer based influence on WSL participation by using a Susceptible-Exposed-Infected-Recovered epidemic spreading model (SEIR), in which a home can become infected via autoinfection or through contagion from its infected neighbors. We show that this type of epidemic model can be directly recast to an additive-multiplicative hazard model, but not to purely multiplicative one. Using both inference and prediction approaches we find evidence of peer effects in several Las Vegas neighborhoods.

categories: econ.EM physics.data-an physics.soc-ph stat.AP


title: Densely Dilated Spatial Pooling Convolutional Network using benign loss functions for imbalanced volumetric prostate segmentation

abstract: The high incidence rate of prostate disease poses a requirement in early detection for diagnosis. As one of the main imaging methods used for prostate cancer detection, Magnetic Resonance Imaging (MRI) has wide range of appearance and imbalance problems, making automated prostate segmentation fundamental but challenging. Here we propose a novel Densely Dilated Spatial Pooling Convolutional Network (DDSP ConNet) in encoder-decoder structure. It employs dense structure to combine dilated convolution and global pooling, thus supplies coarse segmentation results from encoder and decoder subnet and preserves more contextual information. To obtain richer hierarchical feature maps, residual long connection is furtherly adopted to fuse contexture features. Meanwhile, we adopt DSC loss and Jaccard loss functions to train our DDSP ConNet. We surprisingly found and proved that, in contrast to re-weighted cross entropy, DSC loss and Jaccard loss have a lot of benign properties in theory, including symmetry, continuity and differentiability about the parameters of network. Extensive experiments on the MICCAI PROMISE12 challenge dataset have been done to corroborate the effectiveness of our DDSP ConNet with DSC loss and Jaccard loss. Totally, our method achieves a score of 85.78 in the test dataset, outperforming most of other competitors.


title: How Can We Induce More Women to Competitions?

abstract: Why women avoid participating in a competition and how can we encourage them to participate in it? In this paper, we investigate how social image concerns affect women's decision to compete. We first construct a theoretical model and show that participating in a competition, even under affirmative action policies favoring women, is costly for women under public observability since it deviates from traditional female gender norms, resulting in women's low appearance in competitive environments. We propose and theoretically show that introducing prosocial incentives in the competitive environment is effective and robust to public observability since (i) it induces women who are intrinsically motivated by prosocial incentives to the competitive environment and (ii) it makes participating in a competition not costly for women from social image point of view. We conduct a laboratory experiment where we randomly manipulate the public observability of decisions to compete and test our theoretical predictions. The results of the experiment are fairly consistent with our theoretical predictions. We suggest that when designing policies to promote gender equality in competitive environments, using prosocial incentives through company philanthropy or other social responsibility policies, either as substitutes or as complements to traditional affirmative action policies, could be promising.


title: Call-by-Need, Neededness and All That

abstract: We show that call-by-need is observationally equivalent to weak-head needed reduction. The proof of this result uses a semantical argument based on a (non-idempotent) intersection type system called $\mathcal{V}$. Interestingly, system $\mathcal{V}$ also allows to syntactically identify all the weak-head needed redexes of a term.


title: Hyper-rational choice theory

abstract: The rational choice theory is based on this idea that people rationally pursue goals for increasing their personal interests. In most conditions, the behavior of an actor is not independent of the person and others' behavior. Here, we present a new concept of rational choice as a hyper-rational choice which in this concept, the actor thinks about profit or loss of other actors in addition to his personal profit or loss and then will choose an action which is desirable to him. We implement the hyper-rational choice to generalize and expand the game theory. Results of this study will help to model the behavior of people considering environmental conditions, the kind of behavior interactive, valuation system of itself and others and system of beliefs and internal values of societies. Hyper-rationality helps us understand how human decision makers behave in interactive decisions.