title: Improving automated multiple sclerosis lesion segmentation with a cascaded 3D convolutional neural network approach

abstract: In this paper, we present a novel automated method for White Matter (WM) lesion segmentation of Multiple Sclerosis (MS) patient images. Our approach is based on a cascade of two 3D patch-wise convolutional neural networks (CNN). The first network is trained to be more sensitive revealing possible candidate lesion voxels while the second network is trained to reduce the number of misclassified voxels coming from the first network. This cascaded CNN architecture tends to learn well from small sets of training data, which can be very interesting in practice, given the difficulty to obtain manual label annotations and the large amount of available unlabeled Magnetic Resonance Imaging (MRI) data. We evaluate the accuracy of the proposed method on the public MS lesion segmentation challenge MICCAI2008 dataset, comparing it with respect to other state-of-the-art MS lesion segmentation tools. Furthermore, the proposed method is also evaluated on two private MS clinical datasets, where the performance of our method is also compared with different recent public available state-of-the-art MS lesion segmentation methods. At the time of writing this paper, our method is the best ranked approach on the MICCAI2008 challenge, outperforming the rest of 60 participant methods when using all the available input modalities (T1-w, T2-w and FLAIR), while still in the top-rank (3rd position) when using only T1-w and FLAIR modalities. On clinical MS data, our approach exhibits a significant increase in the accuracy segmenting of WM lesions when compared with the rest of evaluated methods, highly correlating ($r \ge 0.97$) also with the expected lesion volume.


title: Measure-valued solutions to the complete Euler system

abstract: We introduce the concept of dissipative measure-valued solution to the complete Euler system describing the motion of an inviscid compressible fluid. These solutions are characterized by a parameterized (Young) measure and a dissipation defect in the total energy balance. The dissipation defect dominates the concentration errors in the equations satisfied by the Young measure. A dissipative measure-valued solution can be seen as the most general concept of solution to the Euler system retaining its structural stability. In particular, we show that a dissipative measure-valued solution necessarily coincides with a classical one on its life span provided they share the same initial data.


title: Online Constrained Forest and Prize-Collecting Network Design

abstract: In this paper, we study a very general type of online network design problem, and generalize two different previous algorithms, one for an online network design problem due to Berman and Coulston [4] and one for (offline) general network design problems due to Goemans and Williamson [9]; we give an O(log k)-competitive algorithm, where k is the number of nodes that must be connected. We also consider a further generalization of the problem that allows us to pay penalties in exchange for violating connectivity constraints; we give an online O(log k)-competitive algorithm for this case as well.


title: Measuring the Declared SDK Versions and Their Consistency with API Calls in Android Apps

abstract: Android has been the most popular smartphone system, with multiple platform versions (e.g., KITKAT and Lollipop) active in the market. To manage the application's compatibility with one or more platform versions, Android allows apps to declare the supported platform SDK versions in their manifest files. In this paper, we make a first effort to study this modern software mechanism. Our objective is to measure the current practice of the declared SDK versions (which we term as DSDK versions afterwards) in real apps, and the consistency between the DSDK versions and their app API calls. To this end, we perform a three-dimensional analysis. First, we parse Android documents to obtain a mapping between each API and their corresponding platform versions. We then analyze the DSDK-API consistency for over 24K apps, among which we pre-exclude 1.3K apps that provide different app binaries for different Android versions through Google Play analysis. Besides shedding light on the current DSDK practice, our study quantitatively measures the two side effects of inappropriate DSDK versions: (i) around 1.8K apps have API calls that do not exist in some declared SDK versions, which causes runtime crash bugs on those platform versions; (ii) over 400 apps, due to claiming the outdated targeted DSDK versions, are potentially exploitable by remote code execution. These results indicate the importance and difficulty of declaring correct DSDK, and our work can help developers fulfill this goal.


title: The evolution of queen control over worker reproduction in the social Hymenoptera

abstract: A trademark of eusocial insect species is reproductive division of labor, in which workers forego their own reproduction while the queen produces almost all offspring. The presence of the queen is key for maintaining social harmony, but the specific role of the queen in the evolution of eusociality remains unclear. A long-discussed scenario is that a queen either behaviorally or chemically sterilizes her workers. However, the demographic and ecological conditions that enable such manipulation are unknown. Accordingly, we propose a simple model of evolutionary dynamics that is based on haplodiploid genetics. We consider a mutation that acts in a queen, causing her to control the reproductive behavior of her workers. Our mathematical analysis yields precise conditions for the evolutionary emergence and stability of queen-induced worker sterility. These conditions do not depend on the queen's mating frequency. Moreover, we find that queen control is always established if it increases colony reproductive efficiency and can evolve even if it decreases colony efficiency. We further outline the conditions under which queen control is evolutionarily stable against invasion by mutant, reproductive workers.


title: Three-body decay of linear-chain states in $^{14}$C

abstract: The decay properties of the linear-chain states in $^{14}$C are investigated by using the antisymmetrized molecular dynamics. The calculation predicts two rotational bands with linear-chain configurations having the $\pi$-bond and $\sigma$-bond valence neutrons. For the $\pi$-bond linear-chain, the calculated excitation energies and the widths of $\alpha$-decay to the ground state of $^{10}{\rm Be}$ reasonably agree with the experimental candidates observed by the $\alpha+{}^{10}{\rm Be}$ resonant scattering. On the other hand, the $\sigma$-bond linear-chain is the candidate of the higher-lying resonant states reported by the break-up reaction. As the evidence of the $\sigma$-bond linear-chain, we discuss its decay pattern. It is found that the $\sigma$-bond linear-chain not only decays to the excited band of $^{10}{\rm Be}$ but also decays to the three-body channel of $^{6}{\rm He}+\alpha+\alpha$, and the branching ratio of these decays are comparable. Hence, we suggest that this characteristic decay pattern is a strong signature of the linear-chain formation and a key observable to distinguish two different linear-chains.


title: Almost finiteness for general etale groupoids and its applications to stable rank of crossed products

abstract: We extend Matui's notion of almost finiteness to general etale groupoids and show that the reduced groupoid C*-algebras of minimal almost finite groupoids have stable rank one. The proof follows a new strategy, which can be regarded as a local version of the large subalgebra argument. The following three are the main consequences of our result. (i) For any group of (local) subexponential growth and for any its minimal action admitting a totally disconnected free factor, the crossed product has stable rank one. (ii) Any countable amenable group admits a minimal action on the Cantor set all whose minimal extensions form the crossed product of stable rank one. (iii) For any amenable group, the crossed product of the universal minimal action has stable rank one.


title: Nonequilibrium transport and Electron-Glass effects in thin GexTe films

abstract: We report on results of nonequilibrium transport measurements made on thin films of germanium-telluride (Ge_xTe) at cryogenic temperatures. Owing to a rather large deviation from stoichiometry (app. 10% of Ge vacancies), these films exhibit p-type conductivity with carrier-concentration N>10^20cm^(-3) and can be made either in the diffusive or strongly-localized regime by a judicious choice of preparation and post-treatment conditions. In both regimes the system shows persistent photoconductivity following excitation by a brief exposure to infrared radiation. Persistent photoconductivity is also observed in GexTe samples alloyed with Mn. However, in both Ge_xTe and GeMn_xTe_y the effect is much weaker than that observable in GeSb_xTe_y alloys suggesting that antimony plays an important role in the phenomenon. Structural studies of these films reveal an unusual degree of texture that is rarely realized in strongly-disordered systems with high carrier-concentrations. Anderson-localized samples of Ge_xTe exhibit non-ergodic transport which are characteristic of intrinsic electron-glasses, including a well developed memory-dip and slow relaxation of the excess conductance created in the excited state. These results support the conjecture that electron-glass effects with inherently long relaxation times is a generic property of all Anderson-localized systems with large carrier-concentration.


title: Generalizing Jensen and Bregman divergences with comparative convexity and the statistical Bhattacharyya distances with comparable means

abstract: Comparative convexity is a generalization of convexity relying on abstract notions of means. We define the Jensen divergence and the Jensen diversity from the viewpoint of comparative convexity, and show how to obtain the generalized Bregman divergences as limit cases of skewed Jensen divergences. In particular, we report explicit formula of these generalized Bregman divergences when considering quasi-arithmetic means. Finally, we introduce a generalization of the Bhattacharyya statistical distances based on comparative means using relative convexity.


title: Noise Effects on Entanglement Distribution by Separable State

abstract: We investigate noise effects on the performance of entanglement distribution by separable state. We consider a realistic situation in which the mediating particle between two distant nodes of the network goes through a noisy channel. For a large class of noise models we show that the average value of distributed entanglement between two parties is equal to entanglement between particular bipartite partitions of target qubits and exchange qubit in intermediate steps of the protocol. This result is valid for distributing two qubit/qudit and three qubit entangled states. In explicit examples of the noise family, we show that there exists a critical value of noise parameter beyond which distribution of distillable entanglement is not possible. Furthermore, we determine how this critical value increases in terms of Hilbert space dimension, when distributing $d$-dimensional Bell states.


title: Structural evolution in germanium and selenium nuclei within the mapped interacting boson model based on the Gogny energy density functional

abstract: The shape transitions and shape coexistence in the Ge and Se isotopes are studied within the interacting boson model (IBM) with the microscopic input from the self-consistent mean-field calculation based on the Gogny-D1M energy density functional. The mean-field energy surface as a function of the quadrupole shape variables $\beta$ and $\gamma$, obtained from the constrained Hartree-Fock-Bogoliubov method, is mapped onto the expectation value of the IBM Hamiltonian with configuration mixing in the boson condensate state. The resultant Hamiltonian is used to compute excitation energies and electromagnetic properties of the selected nuclei $^{66-94}$Ge and $^{68-96}$Se. Our calculation suggests that many nuclei exhibit $\gamma$ softness. Coexistence between prolate and oblate, as well as between spherical and $\gamma$-soft, shapes is also observed. The method provides a reasonable description of the observed systematics of the excitation energy of the low-lying energy levels and transition strengths for nuclei below the neutron shell closure $N=50$, and provides predictions on the spectroscopy of neutron-rich Ge and Se isotopes with $52\leq N\leq 62$, where data are scarce or not available.


title: Visualization of the global flow structure in a modified Rayleigh-Benard setup using contactless inductive flow tomography

abstract: Rayleigh-Benard convection is not only a classical problem in fluid dynamics but plays also an important role in many metallurgical and crystal growth applications. The measurement of the flow field and of the dynamics of the emerging large-scale circulation in liquid metals is a challenging task due to the opaqueness and the high temperature of the melts. Contactless inductive flow tomography is a technique to visualize the mean three-dimensional flow structure in liquid metals by measuring the flow induced magnetic field perturbations under the influence of one or several applied magnetic fields. In this paper, we present first measurements of the flow induced magnetic field in a Rayleigh-Benard setup, which are also used to investigate the dynamics of the large-scale circulation. Additionally, we investigate numerically the quality of the reconstruction of the three-dimensional flow field for different sensor configurations.


title: Hyperplane arrangements associated to symplectic quotient singularities

abstract: We study the hyperplane arrangements associated, via the minimal model programme, to symplectic quotient singularities. We show that this hyperplane arrangement equals the arrangement of CM-hyperplanes coming from the representation theory of restricted rational Cherednik algebras. We explain some of the interesting consequences of this identification for the representation theory of restricted rational Cherednik algebras. We also show that the Calogero-Moser space is smooth if and only if the Calogero-Moser families are trivial. We describe the arrangements of CM-hyperplanes associated to several exceptional complex reflection groups, some of which are free.


title: Seiberg-Witten theory as a complex version of Abelian Higgs model

abstract: The adiabatic limit procedure associates with every solution of Abelian Higgs model in (2+1) dimensions a geodesic in the moduli space of static solutions. We show that the same procedure for Seiberg--Witten equations on 4-dimensional symplectic manifolds introduced by Taubes may be considered as a complex (2+2)-dimensional version of the (2+1)-dimensional picture. More precisely, the adiabatic limit procedure in the 4-dimensional case associates with a solution of Seiberg--Witten equations a pseudoholomorphic divisor which may be treated as a complex version of a geodesic in (2+1)-dimensional case.


title: Non-zero sum differential games of forward-backward stochastic differential delayed equations under partial information and application

abstract: This paper is concerned with a non-zero sum differential game problem of an anticipated forward-backward stochastic differential delayed equation under partial information. We establish a necessary maximum principle and sufficient verification theorem of the game system by virtue of the duality and convex variational method. We apply the theoretical results and stochastic filtering theory to study a linear-quadratic game system and derive the explicit form of the Nash equilibrium point and discuss the existence and uniqueness in particular cases. As an application, we consider a time-delayed pension fund manage problem with nonlinear expectation and obtain the Nash equilibrium point.


title: Semi-wavefront solutions in models of collective movements with density-dependent diffusivity

abstract: This paper deals with a nonhomogeneous scalar parabolic equation with possibly degenerate diffusion term; the process has only one stationary state. The equation can be interpreted as modeling collective movements (crowd dynamics, for instance). We first prove the existence of semi-wavefront solutions for every wave speed; their properties are investigated. Then, a family of travelling wave solutions is constructed by a suitable combination of the previous semi-wavefront solutions. Proofs exploit comparison-type techniques and are carried out in the case of one spatial variable; the extension to the general case is straightforward.


title: Multiplexed entanglement generation over quantum networks using multi-qubit nodes

abstract: Quantum networks distributed over distances greater than a few kilometers will be limited by the time required for information to propagate between nodes. We analyze protocols that are able to circumvent this bottleneck by employing multi-qubit nodes and multiplexing. For each protocol, we investigate the key network parameters that determine its performance. We model achievable entangling rates based on the anticipated near-term performance of nitrogen-vacancy centres and other promising network platforms. This analysis allows us to compare the potential of the proposed multiplexed protocols in different regimes. Moreover, by identifying the gains that may be achieved by improving particular network parameters, our analysis suggests the most promising avenues for research and development of prototype quantum networks.


title: Polar codes with a stepped boundary

abstract: We consider explicit polar constructions of blocklength $n\rightarrow\infty$ for the two extreme cases of code rates $R\rightarrow1$ and $R\rightarrow0.$ For code rates $R\rightarrow1,$ we design codes with complexity order of $n\log n$ in code construction, encoding, and decoding. These codes achieve the vanishing output bit error rates on the binary symmetric channels with any transition error probability $p\rightarrow 0$ and perform this task with a substantially smaller redundancy $(1-R)n$ than do other known high-rate codes, such as BCH codes or Reed-Muller (RM). We then extend our design to the low-rate codes that achieve the vanishing output error rates with the same complexity order of $n\log n$ and an asymptotically optimal code rate $R\rightarrow0$ for the case of $p\rightarrow1/2.$


title: Theory of current-induced spin polarizations in an electron gas

abstract: We derive the Bloch equations for the spin dynamics of a two-dimensional electron gas in the presence of spin-orbit coupling. For the latter we consider both the intrinsic mechanisms of structure inversion asymmetry (Rashba) and bulk inversion asymmetry (Dresselhaus), and the extrinsic ones arising from the scattering from impurities. The derivation is based on the SU(2) gauge-field formulation of the Rashba-Dresselhaus spin-orbit coupling. Our main result is the identification of a new spin-generation torque arising from the Elliot-Yafet process, which opposes a similar term arising from the Dyakonov-Perel process. The new spin-generation torque contributes to the current-induced spin polarization (CISP) -- also known as the Edelstein or inverse spin-galvanic effect. As a result, the behavior of the CISP turns out to be more complex than one would surmise from consideration of the internal Rashba-Dresselhaus fields alone. In particular, the symmetry of the current-induced spin polarization does not necessarily coincide with that of the internal Rashba-Dresselhaus field, and an out-of-plane component of the CISP is generally predicted, as observed in recent experiments. We also discuss the extension to the three-dimensional electron gas, which may be relevant for the interpretation of experiments in thin films.


title: Complex Hyperbolic Triangle Groups with 2-fold Symmetry

abstract: In this paper we will consider the 2-fold symmetric complex hyperbolic triangle groups generated by three complex reflections through angle 2pi/p with p no smaller than 2. We will mainly concentrate on the groups where some elements are elliptic of finite order. Then we will classify all such groups which are candidates for being discrete. There are only 4 types.


title: Nonreciprocal magnons and symmetry-breaking in the noncentrosymmetric antiferromagnet

abstract: Magnons, the spin-wave quanta, are disturbances that embody a wave propagating through a background medium formed by ordered magnetic moments. In an isotropic Heisenberg system, these disturbances vary in a continuous manner around an ordered spin structure, thus requiring infinitesimal energy as a wavevector approaches a magnetic zone centre. However, competing anisotropic interactions arising from broken symmetry can favour a distinct static and dynamic spin state causing a shift of the minimum point of the magnon dispersion to a nonreciprocal wavevector. Here we report the first direct evidence of these nonreciprocal magnons in an antiferromagnet. In the antiferromagnet we investigated, namely, noncentrosymmetric $\alpha$-Cu$_2$V$_2$O$_7$, they are caused by the incompatibility between anisotropic exchange and antisymmetric Dzyaloshinskii-Moriya interactions resulting in competing collinear and helical spin structures, respectively. The nonreciprocity introduces the difference in the phase velocity of the counter-rotating modes, causing the opposite spontaneous magnonic Faraday rotation of the left- and right-propagating spin-waves. The breaking of spatial inversion and time reversal symmetry is revealed as a magnetic-field-induced asymmetric energy shift, which provides a test for the detailed balance relation.


title: Self-triggered control for constrained systems: a contractive set-based approach (Technical report)

abstract: In this paper, a self-triggered control scheme for constrained discrete-time control systems is presented. The key idea of our approach is to construct a transition system or a graph structure from a collection of polyhedral sets, which are generated based on the notion of {set-invariance theory}. The inter-event time steps are then determined through a standard graph search algorithm to obtain the minimal total cost to a terminal state. The proposed strategy is illustrated through a numerical example.


title: Exponential decrease of Ramsey linewidth via coherent atomic phase tracking

abstract: We propose an effective method to decrease the Ramsey linewidth of microwave atomic clock by tracking the coherent atomic phase through nondestructive measurement. The free evolution time T between two Ramsey pulses is divided into N subsections. In each subsection, the coherent phase of the atomic ensemble is probed by an additional large-detuning laser. The probed phase in the previous subsection is used to change the phase of the microwave pulse in the following subsection. After tracking the coherent atomic phase for N-1 times, the final linewidth of Ramsey fringe decreases quickly as N/(2N-1). We then demonstrate this proposal in a vapor cell atomic clock. The linewidth of the Ramsey fringe is decreased down to 27 Hz after 5 successive sub-interrogations, which is much narrower than the linewidth of 142 Hz obtained by normal Ramsey spectroscopy.


title: Confinement of Half-quantized Vortices in Coherently Coupled Bose-Einstein Condensates: Simulating Quark Confinement in QCD

abstract: We demonstrate that the confinement of half-quantized vortices (HQVs) in coherently coupled Bose-Einstein condensates (BECs) simulates certain aspects of the confinement in $SU(2)$ quantum chromodynamics (QCD) in 2+1 space-time dimensions. By identifying the circulation of superfluid velocity as the baryon number and the relative phase between two components as a dual gluon, we identify HQVs in a single component as electrically charged particles with a half baryon number. Further, we show that only singlet states of the relative phase of two components can stably exist as bound states of vortices, that is, a pair of vortices in each component (a baryon) and a pair of a vortex and an antivortex in the same component (a meson). We then study the dynamics of a baryon and meson; baryon is static at the equilibrium and rotates once it deviates from the equilibrium, while a meson moves with constant velocity. For both baryon and meson we verify a linear confinement and determine that they are broken, thus creating other baryons or mesons in the middle when two constituent vortices are separated by more than some critical distance, resembling QCD.


title: Multi-State Trajectory Approach to Non-Adiabatic Dynamics: General Formalism and the Active State Trajectory Approximation

abstract: A general theoretical framework is derived for the recently developed multi-state trajectory (MST) approach from the time dependent Schr\"odinger equation, resulting in equations of motion for coupled nuclear-electronic dynamics equivalent to Hamilton dynamics or Heisenberg equation based on a new multistate Meyer-Miller (MM) model. The derived MST formalism incorporates both diabatic and adiabatic representations as limiting cases, and reduces to Ehrenfest or Born-Oppenheimer dynamics in the mean field or the single state limits, respectively. By quantizing nuclear dynamics to a particular active state, the MST algorithm does not suffer from the instability caused by the negative instant electronic population variables unlike the standard MM dynamics. Furthermore the multistate representation for electron coupled nuclear dynamics with each state associated with one individual trajectory presumably captures single state dynamics better than the mean field description. The coupled electronic-nuclear coherence is incorporated consistently in the MST framework with no ad-hoc state switch and the associated momentum adjustment or parameters for artificial decoherence, unlike the original or modified surface hopping treatments. The implementation of the MST approach to benchmark problems shows reasonably good agreement with exact quantum calculations, and the results in both representations are similar in accuracy. The active state trajectory (AST) approximation of the MST approach provides a consistent interpretation to trajectory surface hopping, which predicts the transition probabilities reasonably well for multiple nonadiabatic transitions and conical intersection problems.


title: Secular dynamics of a planar model of the Sun-Jupiter-Saturn-Uranus system; effective stability into the light of Kolmogorov and Nekhoroshev theories

abstract: We investigate the long-time stability of the Sun-Jupiter-Saturn-Uranus system by considering a planar secular model, that can be regarded as a major refinement of the approach first introduced by Lagrange. Indeed, concerning the planetary orbital revolutions, we improve the classical circular approximation by replacing it with a solution that is invariant up to order two in the masses; therefore, we investigate the stability of the secular system for rather small values of the eccentricities. First, we explicitly construct a Kolmogorov normal form, so as to find an invariant KAM torus which approximates very well the secular orbits. Finally, we adapt the approach that is at basis of the analytic part of the Nekhoroshev's theorem, so as to show that there is a neighborhood of that torus for which the estimated stability time is larger than the lifetime of the Solar System. The size of such a neighborhood, compared with the uncertainties of the astronomical observations, is about ten times smaller.


title: Span equivalence between algebras for n-globular operads

abstract: We define a new equivalence between algebras for n-globular operads which is suggested in [Cottrell 2015], and show that it is a generalization of ordinary equivalence between categories.


title: Riemannian geometry in infinite dimensional spaces

abstract: We lay foundations of the subject in the title, on which we build in another paper devoted to isometries in spaces of K\"ahler metrics.


title: Distinguished regular supercuspidal representations

abstract: Based on recent work of Kaletha, we apply Hakim--Murnaghan's result to study distinguished regular supercuspidal representations of tamely ramified reductive $p$-adic groups. Assuming $p$ is sufficiently large, we obtain a necessary and sufficient condition for regular supercuspidal representations to be distinguished. We also investigate the relation between the distinction problem and the Langlands functoriality, and confirm a conjecture of Lapid for regular depth-zero or epipelagic supercuspidal representations.


title: The class three groups of order $p^9$ with exponent $p$

abstract: We give a complete list of the class two groups with exponent $p$ and order dividing $p^8$. For each group in the list we compute the number of immediate descendants of order $p^9$ with exponent $p$. In each case the number of descendants is PORC, and so the total number of class three groups of order $p^9$ with exponent $p$ is PORC. Nevertheless, there are groups of order $p^8$ with exponent $p$ which have a non-PORC number of class three descendants of order $p^9$ with exponent $p$.


title: Understanding superbursts

abstract: Superbursts were discovered at the beginning of this millennium. Just like type-I X-ray bursts, they are thought to be due to thermonuclear shell flashes on neutron stars, only igniting much deeper. With respect to type-I bursts, they last 10$^3$ times longer, are 10$^3$ as rare, ignite 10$^3$ times deeper (in column depth) and are thought to be fueled by carbon instead of hydrogen and helium. Observationally, they are sometimes hard to distinguish from intermediate duration bursts which are due to pure helium flashes on cold neutron stars. So far, 26 superbursts have been detected from 15 neutron stars in low-mass X-ray binaries that also exhibit type-I bursts. They are very difficult to catch and only 2 have been measured with highly sensitive instrumentation. Superbursts are sensitive probes of the neutron star crust and the accretion disk. The superburst phenomenon is not fully understood. Questions remain about the nature of the fuel, the collection of that fuel and the ignition conditions. The current state of affairs is reviewed and possible resolutions that lay ahead in the future discussed.


title: Spectral representation of the heat current in a driven Josephson junction

abstract: We discuss thermal transport through a Josephson junction in a time-dependent situation. We write the spectral representation of the heat current pumped by a generic drive. This enables separation of the dissipative and reactive contributions, of which the latter do not contribute to long-time averages. We discuss the physical interpretation, and note that the condensate heat current identified in [K. Maki and A. Griffin, Phys. Rev. Lett. 15, 921 (1965)] is purely reactive. The results enable a convenient description of heat exchanges in a Josephson system in the presence of an external drive, with possible applications for the implementation of new cooling devices.


title: The generalization of Sierpinski carpet and Sierpinski triangle in $n$-dimensional space

abstract: We obtain a nature generalization for an affine Sierpinski carpet and Sierpinski triangle to $n$-dimensional space, by using the generations and characterizations of affinely-equivalent Sierpinski carpet. Exactly, in this paper, a Menger sponge and Sierpinski simplex in $4$-dimensional space could be drawn out clearly under an affine transformation. Furthermore, the method could be used to a much broader class in fractals.


title: Deployment and calibration procedures for accurate timing and directional reconstruction of EAS particle-fronts with HELYCON stations

abstract: High energy cosmic rays, with energies thousands of times higher than those encountered in particle accelerators, offer scientists the means of investigating the elementary properties of matter. In order to detect high energy cosmic rays, new detection hardware and experimental methods are being developed. In this work, we describe the network of HELYCON (HEllenic LYceum Cosmic Observatories Network) autonomous stations for the detection and directional reconstruction of Extended Atmospheric Showers (EAS) particle-fronts. HELYCON stations are hybrid stations consisting of three large plastic scintillators plus a CODALEMA antenna for the RF detection of EAS particle-fronts. We present the installation, operation and calibration of three HELYCON stations and the electronic components for the remote control, monitor and Data Acquisition. We report on the software package developed for the detailed simulation of the detectors' response and for the stations' operation. The simulation parameters have been fine tuned in order to accurately describe each individual detector's characteristics and the operation of each HELYCON station. Finally, the evaluation of the stations' performance in reconstructing the direction of the EAS particle-front is being presented.


title: Algebraic quantum groupoids - An example

abstract: Let $B$ and $C$ be non-degenerate idempotent algebras and assume that $E$ is a regular separability idempotent in $M(B\otimes C)$. Define $A=C\otimes B$ and $\Delta:A\to M(A\otimes A)$ by $\Delta(c\otimes b)=c\otimes E\otimes b$. The pair $(A,\Delta)$ is a weak multiplier Hopf algebra. Because we assume that $E$ is regular, it is a regular weak multiplier Hopf algebra. There is a faithful left integral on $(A,\Delta)$ that is also right invariant. Therefore, we call $(A,\Delta)$ a unimodular algebraic quantum groupoid. By the general theory, the dual $(\widehat A,\widehat \Delta)$ can be constructed and it is again an algebraic quantum groupoid. In this paper, we treat this algebraic quantum groupoid and its dual in great detail. The main purpose is to illustrate various aspects of the general theory. For this reason, we will also recall the basic notions and results of separability idempotents and weak multiplier Hopf algebras with integrals. The paper is to be considered as an expository note.


title: Regularization with Numerical Extrapolation for Finite and UV-Divergent Multi-loop Integrals

abstract: We give numerical integration results for Feynman loop diagrams such as those covered by Laporta [1] and by Baikov and Chetyrkin [2], and which may give rise to loop integrals with UV singularities. We explore automatic adaptive integration using multivariate techniques from the PARINT package for multivariate integration, as well as iterated in- tegration with programs from the QUADPACK package, and a trapezoidal method based on a double exponential trans- formation. PARINT is layered over MPI (Message Passing Interface), and incorporates advanced parallel/distributed techniques including load balancing among processes that may be distributed over a cluster or a network/grid of nodes. Results are included for 2-loop vertex and box diagrams and for sets of 2-, 3- and 4-loop self-energy diagrams with or without UV terms. Numerical regularization of integrals with singular terms is achieved by linear and non-linear extrapolation methods.


title: Interacting fluids in an arbitrary external field

abstract: We present new method for studying the equilibrium properties of interacting fluids in an arbitrary external filed. The method is valid in any dimension and it yields an exact results in one dimension. Using this approach, we derive a recurrence relation for the pair distribution function of a three dimensional in-homogeneous fluids, constitute of spherical molecules with arbitrary nearest neighbour interaction that extends to two molecules diameter. By integrating this recurrence relation, we get an explicit expressions for the entropy and free energy functionals as a functionals of the density and the pair distribution function. We show that for one dimensional systems, our results coincide exactly with previously derived one using a completely different approach.


title: Simply split SIMPs

abstract: Dark Matter which interacts strongly with itself, but only feebly with the Standard Model is a possibility that has been entertained to solve apparent small-scale structure problems that are pertinent to the non-interacting cold Dark Matter paradigm. In this paper, we study the simple case in which the self-scattering rate today is regulated by kinematics and/or the abundance ratio, through the mass-splitting of nearly degenerate pseudo-Dirac fermions $\chi_1$ and $\chi_2$ or real scalars $\phi_1$ and $\phi_2$. We calculate the relic density of these states in a scenario where self-scattering proceeds through off-diagonal couplings with a vector particle $V$ (Dark Photon) and where the abundance is set through number-depleting 4-to-2 reactions in the hidden sector, or, alternatively, via freeze-in. We study the implications of the considered models and their prospect of solving astrophysical small-scale structure problems. We also show how the introduction of the (meta-)stable heavier state may be probed in future dark matter searches.


title: Fiber-dependent deautonomization of integrable 2D mappings and discrete Painlev\'e equations

abstract: It is well known that two-dimensional mappings preserving a rational elliptic fibration, like the Quispel-Roberts-Thompson mappings, can be deautonomized to discrete Painlev\'e equations. However, the dependence of this procedure on the choice of a particular elliptic fiber has not been sufficiently investigated. In this paper we establish a way of performing the deautonomization for a pair of an autonomous mapping and a fiber. %By choosing a particular Starting from a single autonomous mapping but varying the type of a chosen fiber, we obtain different types of discrete Painlev\'e equations using this deautonomization procedure. We also introduce a technique for reconstructing a mapping from the knowledge of its induced action on the Picard group and some additional geometric data. This technique allows us to obtain factorized expressions of discrete Painlev\'e equations, including the elliptic case. Further, by imposing certain restrictions on such non-autonomous mappings we obtain new and simple elliptic difference Painlev\'e equations, including examples whose symmetry groups do not appear explicitly in Sakai's classification.


title: A monad for full ground reference cells

abstract: We present a denotational account of dynamic allocation of potentially cyclic memory cells using a monad on a functor category. We identify the collection of heaps as an object in a different functor category equipped with a monad for adding hiding/encapsulation capabilities to the heaps. We derive a monad for full ground references supporting effect masking by applying a state monad transformer to the encapsulation monad. To evaluate the monad, we present a denotational semantics for a call-by-value calculus with full ground references, and validate associated code transformations.


title: Thermal and structural properties of iron at high pressure by molecular dynamics

abstract: We investigate the basic thermal, mechanical and structural properties of body centred cubic iron ($\alpha$-Fe) at several temperatures and positive loading by means of Molecular Dynamics simulations in conjunction with the embedded-atom method potential and its modified counterpart one. Computations of its thermal properties like average energy and density of atoms, transport sound velocities at finite temperatures and pressures are detailed studied as well. Moreover, there are suggestions to obtain hexagonal close- packed structure ($\varepsilon$-phase) of this metal under positive loading. To demonstrate that, one can increase sufficiently the pressure of simulated system at several temperature's ranges; these structural changes depend only on potential type used. The ensuring structures are studied via the pair radial distribution functions (PRDF) and precise common- neighbour analysis method (CNA) as well.


title: A comparative study of fluid-particle coupling methods for fully resolved lattice Boltzmann simulations

abstract: The direct numerical simulation of particulate systems offers a unique approach to study the dynamics of fluid-solid suspensions by fully resolving the submerged particles and without introducing empirical models. For the lattice Boltzmann method, different variants exist to incorporate the fluid-particle interaction into the simulation. This paper provides a detailed and systematic comparison of two different methods, namely the momentum exchange method and the partially saturated cells method by Noble and Torczynski. Three subvariants of each method are used in the benchmark scenario of a single heavy sphere settling in ambient fluid to study their characteristics and accuracy for particle Reynolds numbers from 185 up to 365. The sphere must be resolved with at least 24 computational cells per diameter to achieve velocity errors below 5%. The momentum exchange method is found to be more accurate in predicting the streamwise velocity component whereas the partially saturated cells method is more accurate in the spanwise components. The study reveals that the resolution should be chosen with respect to the coupling dynamics, and not only based on the flow properties, to avoid large errors in the fluid-particle interaction.


title: Simulation of weak polyelectrolytes: A comparison between the constant pH and the reaction ensemble method

abstract: The reaction ensemble and the constant pH method are well-known chemical equilibrium approaches to simulate protonation and deprotonation reactions in classical molecular dynamics and Monte Carlo simulations. In this article, we show similarity between both methods {under certain conditions}. We perform molecular dynamics simulations of a weak polyelectrolyte in order to compare the titration curves obtained by both approaches. Our findings reveal a good agreement between the methods when the reaction ensemble is used to sweep the reaction constant. Pronounced differences between the reaction ensemble and the constant pH method can be observed for stronger acids and bases in terms of adaptive pH values. These deviations are due to the presence of explicit protons in the reaction ensemble method which induce a screening of electrostatic interactions between the charged titrable groups of the polyelectrolyte. The outcomes of our simulation hint to a better applicability of the reaction ensemble method for systems in confined geometries and titrable groups in polyelectrolytes with different pK$_\text{a}$ values.


title: Models of Type Theory with Strict Equality

abstract: This thesis introduces the idea of two-level type theory, an extension of Martin-L\"of type theory that adds a notion of strict equality as an internal primitive. A type theory with a strict equality alongside the more conventional form of equality, the latter being of fundamental importance for the recent innovation of homotopy type theory (HoTT), was first proposed by Voevodsky, and is usually referred to as HTS. Here, we generalise and expand this idea, by developing a semantic framework that gives a systematic account of type formers for two-level systems, and proving a conservativity result relating back to a conventional type theory like HoTT. Finally, we show how a two-level theory can be used to provide partial solutions to open problems in HoTT. In particular, we use it to construct semi-simplicial types, and lay out the foundations of an internal theory of $(\infty, 1)$-categories.


title: Hodge Numbers of Generalised Borcea-Voisin Threefolds

abstract: We shall reproof formulas for the Hodge numbers of Calabi-Yau threefolds of Borcea-Voisin type constructed by A. Cattaneo and A. Garbagnati, using the orbifold cohomology formula and the orbifold Euler characteristic.


title: Sign change in the net force in sphere-plate and sphere-sphere systems immersed in nonpolar critical fluid due to the interplay between the critical Casimir and dispersion van der Waals forces

abstract: We study systems in which both long-ranged van der Waals and critical Casimir interactions are present. We study the interplay between these forces, as well as the {\it total} force (TF) between a spherical colloid particle and a thick planar slab, and between two spherical colloid particles. We do that using general scaling arguments and mean-field type calculations utilizing the Derjaguin and the surface integration approaches. They both are based on data of the forces between two parallel slabs separated at a distance $L$ from each other, confining the fluctuating fluid medium characterized by its temperature $T$ and chemical potential $\mu$. The surfaces of the colloid particles and the slab are coated by thin layers exerting strong preference to the liquid phase of the fluid, or one of the components of the mixture, modeled by strong adsorbing local surface potentials, ensuring the so-called $(+,+)$ boundary conditions. On the other hand, the core region of the slab and the particles, influence the fluid by long-ranged competing dispersion potentials. We demonstrate that for a suitable set of colloids-fluid, slab-fluid, and fluid-fluid coupling parameters the competition between the effects due to the coatings and the core regions of the objects involved result, when one changes $T$, $\mu$ or $L$, in {\it sign change} of the Casimir force (CF) {\it and} the TF acting between the colloid and the slab, as well as between the colloids. This can be used for governing the behavior of objects, say colloidal particles, at small distances, say in colloid suspensions for preventing flocculation. It can also provide a strategy for solving problems with handling, feeding, trapping and fixing of microparts in nanotechnology. Data for specific substances in support of the experimental feasibility of the theoretically predicted behavior of the CF and TF have been also presented.


title: Scaling limit of the uniform prudent walk

abstract: We study the 2-dimensional uniform prudent self-avoiding walk, which assigns equal probability to all nearest-neighbor self-avoiding paths of a fixed length that respect the prudent condition, namely, the path cannot take any step in the direction of a previously visited site. The uniform prudent walk has been investigated with combinatorial techniques in [Bousquet-M\'elou, 2010], while another variant, the kinetic prudent walk has been analyzed in detail in [Beffara, Friedli and Velenik, 2010]. In this paper, we prove that the $2$-dimensional uniform prudent walk is ballistic and follows one of the $4$ diagonals with equal probability. We also establish a functional central limit theorem for the fluctuations of the path around the diagonal.


title: Constraints on a generalized deceleration parameter from cosmic chronometers

abstract: In this paper, we have proposed a generalized parametrization for the deceleration parameter $q$ in order to study the evolutionary history of the universe. We have shown that the proposed model can reproduce three well known $q$-parametrized models for some specific values of the model parameter $\alpha$. We have used the latest compilation of the Hubble parameter measurements obtained from the cosmic chronometer (CC) method (in combination with the local value of the Hubble constant $H_{0}$) and the Type Ia supernova (SNIa) data to place constraints on the parameters of the model for different values of $\alpha$. We have found that the resulting constraints on the deceleration parameter and the dark energy equation of state support the $\Lambda$CDM model within $1\sigma$ confidence level at the present epoch.


title: Compressed sensing in Hilbert spaces

abstract: In many linear inverse problems, we want to estimate an unknown vector belonging to a high-dimensional (or infinite-dimensional) space from few linear measurements. To overcome the ill-posed nature of such problems, we use a low-dimension assumption on the unknown vector: it belongs to a low-dimensional model set. The question of whether it is possible to recover such an unknown vector from few measurements then arises. If the answer is yes, it is also important to be able to describe a way to perform such a recovery. We describe a general framework where appropriately chosen random measurements guarantee that recovery is possible. We further describe a way to study the performance of recovery methods that consist in the minimization of a regularization function under a data-fit constraint.


title: Microscopic theory of electrically induced spin torques in magnetic Weyl semimetals

abstract: We theoretically study electrical responses of magnetization in Weyl semimetals. The Weyl semimetal is a new class of topological semimetals, possessing hedgehog type spin textures in momentum space. Because of this peculiar spin texture, an interplay of electron transport and spin dynamics might provide new method to electrical control of magnetization. In this paper, we consider the magnetically doped Weyl semimetals, and systematically study current- and charge-induced spin torque exerted on the local magnetization in three-dimensional Dirac-Weyl metals. We determine all current-induced spin torques including spin-orbit torque, spin-transfer torque, and the so-called $\beta$-term, up to first order with respect to spatial and temporal derivation and electrical currents. We find that spin-transfer torque and $\beta$-term are absent while spin-orbit torque is proportional to the axial current density. We also calculate the charge-induced spin torque microscopically. We find the charge-induced spin torque originates from the chiral anomaly due to the correspondence between spin operators and axial current operators in our model.


title: Feynman graphs and the large dimensional limit of multipartite entanglement

abstract: We are interested in the properties of multipartite entanglement of a system composed by $n$ $d$-level parties (qudits). Focussing our attention on pure states we want to tackle the problem of the maximization of the entanglement for such systems. In particular we effort the problem trying to minimize the purity of the system. It has been shown that not for all systems this function can reach its lower bound, however it can be proved that for all values of $n$ a $d$ can always be found such that the lower bound can be reached. In this paper we examine the high-temperature expansion of the distribution function of the bipartite purity over all balanced bipartition considering its optimization problem as a problem of statistical mechanics. In particular we prove that the series characterizing the expansion converges and we analyze the behavior of each term of the series as $d\to \infty$.


title: Spin-wave excitations evidencing the Kitaev interaction in single crystalline $\alpha$-RuCl$_3$

abstract: Kitaev interactions underlying a quantum spin liquid have been long sought, but experimental data from which their strengths can be determined directly is still lacking. Here, by carrying out inelastic neutron scattering measurements on high-quality single crystals of $\alpha$-RuCl$_3$, we observe spin-wave spectra with a gap of $\sim$2 meV around the M point of the two-dimensional Brillouin zone. We derive an effective-spin model in the strong-coupling limit based on energy bands obtained from first-principle calculations, and find that the anisotropic Kitaev interaction $K$ term and the isotropic antiferromagentic off-diagonal exchange interaction $\Gamma$ term are significantly larger than the Heisenberg exchange coupling $J$ term. Our experimental data can be well fit using an effective-spin model with $K=-6.8$ meV and $\Gamma=9.5$ meV. These results demonstrate explicitly that Kitaev physics is realized in real materials.


title: Ignore or Comply? On Breaking Symmetry in Consensus

abstract: We study consensus processes on the complete graph of $n$ nodes. Initially, each node supports one from up to n opinions. Nodes randomly and in parallel sample the opinions of constant many nodes. Based on these samples, they use an update rule to change their own opinion. The goal is to reach consensus, a configuration where all nodes support the same opinion. We compare two well-known update rules: 2-Choices and 3-Majority. In the former, each node samples two nodes and adopts their opinion if they agree. In the latter, each node samples three nodes: If an opinion is supported by at least two samples the node adopts it, otherwise it randomly adopts one of the sampled opinions. Known results for these update rules focus on initial configurations with a limited number of colors (say $n^{1/3}$ ), or typically assume a bias, where one opinion has a much larger support than any other. For such biased configurations, the time to reach consensus is roughly the same for 2-Choices and 3-Majority. Interestingly, we prove that this is no longer true for configurations with a large number of initial colors. In particular, we show that 3-Majority reaches consensus with high probability in $O(n^{3/4}\log^{7/8}n)$ rounds, while 2-Choices can need $\Omega(n/\log n)$ rounds. We thus get the first unconditional sublinear bound for 3-Majority and the first result separating the consensus time of these processes. Along the way, we develop a framework that allows a fine-grained comparison between consensus processes from a specific class. We believe that this framework might help to classify the performance of more consensus processes.


title: On the genera of semisimple groups defined over an integral domain of a global function field

abstract: Let $K=\mathbb{F}_q(C)$ be the global function field of rational functions over a smooth and projective curve $C$ defined over a finite field $\mathbb{F}_q$. The ring of regular functions on $C-S$ where $S \neq \emptyset$ is any finite set of closed points on $C$ is a Dedekind domain $\mathcal{O}_S$ of $K$. For a semisimple $\mathcal{O}_S$-group $\underline{G}$ with a smooth fundamental group $\underline{F}$, we aim to describe both the set of genera of $\underline{G}$ and its principal genus (the latter if $\underline{G} \otimes_{\mathcal{O}_S} K$ is isotropic at $S$) in terms of abelian groups depending on $\mathcal{O}_S$ and $\underline{F}$ only. This leads to a necessary and sufficient condition for the Hasse local-global principle to hold for certain $\underline{G}$. We also use it to express the Tamagawa number $\tau(G)$ of a semisimple $K$-group $G$ by the Euler Poincar\'e invariant. This facilitates the computation of $\tau(G)$ for twisted $K$-groups.


title: On a remarkable electromagnetic field in the Einstein Universe

abstract: We present a time-dependent solution of the Maxwell equations in the Einstein universe, whose electric and magnetic fields, as seen by the stationary observers, are aligned with the Clifford parallels of the $3$-sphere $S^3$. The conformal equivalence between Minkowski's spacetime and (a region of) the Einstein cylinder is then exploited in order to obtain a knotted, finite energy, radiating solution of the Maxwell equations in flat spacetime. We also discuss similar electromagnetic fields in expanding closed Friedmann models, and compute the matter content of such configurations.


title: Entanglement measures and their properties in quantum field theory

abstract: An entanglement measure for a bipartite quantum system is a state functional that vanishes on separable states and that does not increase under separable (local) operations. It is well-known that for pure states, essentially all entanglement measures are equal to the v. Neumann entropy of the reduced state, but for mixed states, this uniqueness is lost. In quantum field theory, bipartite systems are associated with causally disjoint regions. There are no separable (normal) states to begin with when the regions touch each other, so one must leave a finite "safety-corridor". Due to this corridor, the normal states of bipartite systems are necessarily mixed, and the v. Neumann entropy is not a good entanglement measure in the above sense. In this paper, we study various entanglement measures which vanish on separable states, do not increase under separable (local) operations, and have other desirable properties. In particular, we study the relative entanglement entropy, defined as the minimum relative entropy between the given state and an arbitrary separable state. We establish rigorous upper and lower bounds in various quantum field theoretic (QFT) models, as well as also model-independent ones. The former include free fields on static spacetime manifolds in general dimensions, or integrable models with factorizing $S$-matrix in 1+1 dimensions. The latter include bounds on ground states in general conformal QFTs, charged states (including charges with braid-group statistics) or thermal states in theories satisfying a "nuclearity condition". Typically, the bounds show a divergent behavior when the systems get close to each other--sometimes of the form of a generalized "area law"--and decay when the systems are far apart. Our main technical tools are of operator algebraic nature.


title: Lippmann-Schwinger theory for two-dimensional plasmon scattering

abstract: Long-lived and ultra-confined plasmons in two-dimensional (2D) electron systems may provide a sub-wavelength diagnostic tool to investigate localized dielectric, electromagnetic, and pseudo-electromagnetic perturbations. In this Article, we present a general theoretical framework to study the scattering of 2D plasmons against such perturbations in the non-retarded limit. We discuss both parabolic-band and massless Dirac fermion 2D electron systems. Our theory starts from a Lippmann-Schwinger equation for the screened potential in an inhomogeneous 2D electron system and utilizes as inputs analytical long-wavelength expressions for the density-density response function, going beyond the local approximation. We present illustrative results for the scattering of 2D plasmons against a point-like charged impurity and a one-dimensional electrostatic barrier due to a line of charges. Exact numerical results obtained from the solution of the Lippmann-Schwinger equation are compared with approximate results based on the Born and eikonal approximations. The importance of nonlocal effects is finally emphasized.


title: Echoes from the black holes: Evidence of higher order corrections to General Relativity in strong gravity regime

abstract: We show that the higher order curvature corrections to general relativity in the strong gravity regime of near horizon scales produce a rapidly oscillating and infalling Ricci scalar fireball just outside the horizon. This can generate the ringdown modes of gravitational waves having the same natural frequency as those which are generated by the black hole mergers. Our analysis provides a viable explanation to the echoes in the ringdown modes recently detected from the LIGO data, without invoking the existence of any exotic structures at the horizon.


title: Sensor scheduling with time, energy and communication constraints

abstract: In this paper we present new algorithms and analysis for the linear inverse sensor placement and scheduling problems over multiple time instances with power and communications constraints. The proposed algorithms, which deal directly with minimizing the mean squared error (MSE), are based on the convex relaxation approach to address the binary optimization scheduling problems that are formulated in sensor network scenarios. We propose to balance the energy and communications demands of operating a network of sensors over time while we still guarantee a minimum level of estimation accuracy. We measure this accuracy by the MSE for which we provide average case and lower bounds analyses that hold in general, irrespective of the scheduling algorithm used. We show experimentally how the proposed algorithms perform against state-of-the-art methods previously described in the literature.


title: Effective parameters of porous layer in silicon cells

abstract: Theoretically and experimentally we have proved the existence of optimal thickness of the porous layer used as an anti-reflection coating in solar cells. We have taken into account the joint mechanisms of generation and recombination of electrons and holes stimulated by photons. The porous silicon surface has been obtained by electrochemical etching. Results of scanning electron microscopy, measuring short-circuit current, open circuit voltage, and etching time have shown that in case thickness of the porous layer is approximately 2/3 of electron diffusion length the solar cell efficiency increases by 30% in comparison with the corresponding value in the absence of texturing.


title: Investigation of faint galactic carbon stars from the first Byurakan spectral survey. III. Infrared characteristics

abstract: Infra-Red(IR) astronomical databases, namely, IRAS, 2MASS, WISE, and Spitzer, are used to analyze photometric data of 126 carbon stars whose spectra are visible in the First Byurakan Survey low-resolution spectral plates. Among these, six new objects, recently confirmed on the digitized FBS plates, are included. For three of them, moderate-resolution CCD optical spectra are also presented. In this work several IR color-color diagrams are studied. Early and late-type C stars are separated in the JHK Near-Infra-Red(NIR) color-color plots, as well as in the WISE W3-W4 versus W1-W2 diagram. Late N-type Asymptotic Giant Branch stars are redder in W1-W2, while early-types(CH and R giants) are redder in W3-W4 as expected. Objects with W2-W3 > 1.0 mag. show double-peaked spectral energy distribution, indicating the existence of the circumstellar envelopes around them. 26 N-type stars have IRAS Point Source Catalog(PSC) associations. For FBS 1812+455 IRAS Low-Resolution Spectra in the wavelength range 7.7 - 22.6micron and Spitzer Space Telescope Spectra in the range 5 - 38micro are presented clearly showing absorption features of C2H2(acetylene) molecule at 7.5 and 13.7micron , and the SiC(silicone carbide) emission at 11.3micron. The mass-loss rates for eight Mira-type variables are derived from the K-[12] color and from the pulsation periods. The reddest object among the targets is N-type C star FBS 2213+421, which belong to the group of the cold post-AGB R Coronae Borealis(R CrB) variables.


title: ac properties of short Josephson weak links

abstract: The admittance of two types of Josephson weak links is calculated, i.e., of a one-dimensional superconducting wire with a local suppression of the order parameter, and the second is a short S-c-S structure, where S denotes a superconductor and c---a constriction. The systems of the first type are analyzed on the basis of time-dependent Ginzburg-Landau equations. We show that the impedance $Z(\Omega)$ has a maximum as a function of the frequency $\Omega$, and the electric field $E_{\Omega}$ is determined by two gauge-invariant quantities---the condensate momentum $Q_{\Omega}$ and the potential $\mu$ related to charge imbalance. The structures of the second type are studied on the basis of microscopic equations for quasiclassical Green's functions in the Keldysh technique. For short S-c-S contacts (the Thouless energy ${E_{\text{Th}} = D/L^{2} \gg \Delta}$) we present a formula for admittance $Y$ valid at frequencies $\Omega$ and temperatures $T$ less than the Thouless energy but arbitrary with respect to the energy gap $\Delta$. It is shown that, at low temperatures, the absorption is absent [${\mathrm{Re}(Y) = 0}$] if the frequency does not exceed the energy gap in the center of the constriction (${\Omega < \Delta \cos \varphi_{0}}$, where $2 \varphi_{0}$ is the phase difference between the S reservoirs). The absorption gradually increases with increasing the difference ${(\Omega - \Delta \cos \varphi_{0})}$ if $2 \varphi_{0}$ is less than the phase difference $2 \varphi_{\text{c}}$ corresponding to the critical Josephson current. In the interval ${2 \varphi_{\text{c}} < 2 \varphi_{0} < \pi}$, the absorption has a maximum. This interval of the phase difference is achievable in phase-biased Josephson junctions. Close to $T_{\text{c}}$ the admittance has a maximum at low $\Omega$ which is described by an analytical formula.


title: Extended chiral Khuri-Treiman formalism for $\eta\to 3\pi$ and the role of the $a_0(980)$, $f_0(980)$ resonances

abstract: Recent experiments on $\eta\to 3\pi$ decays have provided an extremely precise knowledge of the amplitudes across the Dalitz region which represent stringent constraints on theoretical descriptions. We reconsider an approach in which the low-energy chiral expansion is assumed to be optimally convergent in an unphysical region surrounding the Adler zero, and the amplitude in the physical region is uniquely deduced by an analyticity-based extrapolation using the Khuri-Treiman dispersive formalism. We present an extension of the usual formalism which implements the leading inelastic effects from the $K\bar{K}$ channel in the final-state $\pi\pi$ interaction as well as in the initial-state $\eta\pi$ interaction. The constructed amplitude has an enlarged region of validity and accounts in a realistic way for the influence of the two light scalar resonances $f_0(980)$ and $a_0(980)$ in the dispersive integrals. It is shown that the effect of these resonances in the low energy region of the $\eta \to 3\pi$ decay is not negligible, in particular for the $3\pi^0$ mode, and improves the description of the energy variation across the Dalitz plot. Some remarks are made on the scale dependence and the value of the double quark mass ratio $Q$.


title: Muon-neutrino-induced charged current pion production on nuclei

abstract: [Background] Long-Baseline experiments such as T2K, NOvA or the planned Deep Underground Neutrino Experiment (DUNE) require theoretical descriptions of the complete event in a neutrino-nucleus reaction. Since nuclear targets are used this requires a good understanding of neutrino-nucleus interactions. [Purpose] One of the dominant reaction channels in neutrino-nucleus interactions is pion production. This paper aims for a coherent view on all charged current charged pion production data that are avaible from the experiments MiniBooNE, the near detector experiment at T2K and MINERvA. [Methods] Pion production is treated through excitations of nucleon resonances, including background terms, and deep inelastic scattering. The final state interactions of the produced pions are described within the Giessen-Boltzmann-Uehling-Uhlenbeck (GiBUU) implementation of quantum-kinetic transport theory. [Results] Results are given for MiniBooNE, the near detector experiment at T2K and for MINERvA. While the theoretical results for MiniBooNE differ from the data both in shape and magnitude, their agreement both with the T2K and the MINERvA data is good for all pion and lepton observables. Predictions for pion spectra are shown for MicroBooNE and NOvA. [Conclusions] Based on the GiBUU model of lepton-nucleus interactions a consistent, good theoretical description of CC charged pion production data from the T2K ND and the MINERvA experiments is possible, without any parameter tunes. The MiniBooNE data cannot be reproduced.


title: Algorithm for the asymptotic nuclear coefficients calculations using phase shift data for charged particles scattering

abstract: A new algorithm for the asymptotic nuclear coefficients calculation, which we call the $\Delta$-method, is proved and developed. This method was proposed in Ref. [O. L. Ram\'irez Su\'arez and J.-M. Sparenberg, arXiv: 1602.04082 [nucl-th] (2016)] but no proof was given. We apply it to the bound state situated near the channel threshold when the Sommerfeld parameter is quite large within the experimental energy region. As a result, the value of the conventional effective-range function $K_l(k^2)$ is actually defined by the Coulomb term. One of the resulting effects is the wrong description of energy behavior of the elastic scattering phase shift $\delta_l$ reproduced from the fitted total effective-range function $K_l(k^2)$. This leads to an improper value of the asymptotic normalization coefficient (ANC) value. No such problem arises if we fit only the nuclear term. The difference between the total effective-range function and the Coulomb part at real energies is the same as the nuclear term. Then we can proceed using just this $\Delta$-method to calculate the pole position values and the ANC. We apply it to the vertices $^4\rm{He}+ {^{12}\rm{C}}\longleftrightarrow {^{16}\rm{O}}$ and $^3\rm{He}+ {^4\rm{He}}\longleftrightarrow {^7\rm{Be}}$. The calculated ANCs can be used to find the radiative capture reaction cross sections of the transfers to the $^{16}\rm{O}$ bound final states as well as to the $^7\rm{Be}\longleftrightarrow {^7\rm{Be}}$. The calculated ANCs can be used to find the radiative capture reaction cross sections of the transfers to the $^{16}\rm{O}$ bound final states as well as to the $^7\rm{Be}$.


title: Compact Modeling and Simulation of Heavy Ion Induced Soft Error Rate in Space Environment: Principles and Validation

abstract: A simple physical model for calculation of the ion-induced soft error rate in space environment has been proposed, based on the phenomenological cross section notion. Proposed numerical procedure is adapted to the multiple cell upset characterization in highly scaled memories. Nonlocality of the ion impact has been revealed as the key concept determining the difference between physical processes in low scaled and highly scaled memories. The model has been validated by comparison between the simulation results and the literature on-board data. It was shown that proposed method provides single-valued prediction results correlating well with on-board data based solely on cross section data and LET spectra without any hidden fitting parameters and procedures.


title: Weierstrass method for quaternionic polynomial root-finding

abstract: Quaternions, introduced by Hamilton in 1843 as a generalization of complex numbers, have found, in more recent years, a wealth of applications in a number of different areas which motivated the design of efficient methods for numerically approximating the zeros of quaternionic polynomials. In fact, one can find in the literature recent contributions to this subject based on the use of complex techniques, but numerical methods relying on quaternion arithmetic remain scarce. In this paper we propose a Weierstrass-like method for finding simultaneously {\sl all} the zeros of unilateral quaternionic polynomials. The convergence analysis and several numerical examples illustrating the performance of the method are also presented.


title: Performance Analysis of Dense Small Cell Networks with Generalized Fading

abstract: In this paper, we propose a unified framework to analyze the performance of dense small cell networks (SCNs) in terms of the coverage probability and the area spectral efficiency (ASE). In our analysis, we consider a practical path loss model that accounts for both non-line-of-sight (NLOS) and line-of-sight (LOS) transmissions. Furthermore, we adopt a generalized fading model, in which Rayleigh fading, Rician fading and Nakagami-m fading can be treated in a unified framework. The analytical results of the coverage probability and the ASE are derived, using a generalized stochastic geometry analysis. Different from existing work that does not differentiate NLOS and LOS transmissions, our results show that NLOS and LOS transmissions have a significant impact on the coverage probability and the ASE performance, particularly when the SCNs grow dense. Furthermore, our results establish for the first time that the performance of the SCNs can be divided into four regimes, according to the intensity (aka density) of BSs, where in each regime the performance is dominated by different factors.


title: A Mixed Integer Linear Programming Method for Dynamic Economic Dispatch with Valve Point Effect

abstract: In this paper, a mixed integer linear programming (MILP) formulation is proposed to solve the dynamic economic dispatch with valve-point effect (DED-VPE). Based on piecewise linearization technique, the non-convex and non-smooth generation cost is reformulated into a linear lower approximation which is better than the quadratic one, yielding an MILP formulation for the DED-VPE. When the segment parameter is set appropriately, the MILP formulation can be solved by a mixed integer programming (MIP) solver directly and efficiently. Thus, a global optimal solution within a preset tolerance can be guaranteed for the MILP formulation. Simulation results show that the proposed MILP formulation can be solved to reliable solutions in reasonable time.


title: Fast and unsupervised methods for multilingual cognate clustering

abstract: In this paper we explore the use of unsupervised methods for detecting cognates in multilingual word lists. We use online EM to train sound segment similarity weights for computing similarity between two words. We tested our online systems on geographically spread sixteen different language groups of the world and show that the Online PMI system (Pointwise Mutual Information) outperforms a HMM based system and two linguistically motivated systems: LexStat and ALINE. Our results suggest that a PMI system trained in an online fashion can be used by historical linguists for fast and accurate identification of cognates in not so well-studied language families.


title: A Bayesian framework for distributed estimation of arrival rates in asynchronous networks

abstract: In this paper we consider a network of agents monitoring a spatially distributed arrival process. Each node measures the number of arrivals seen at its monitoring point in a given time-interval with the objective of estimating the unknown local arrival rate. We propose an asynchronous distributed approach based on a Bayesian model with unknown hyperparameter, where each node computes the minimum mean square error (MMSE) estimator of its local arrival rate in a distributed way. As a result, the estimation at each node "optimally" fuses the information from the whole network through a distributed optimization algorithm. Moreover, we propose an ad-hoc distributed estimator, based on a consensus algorithm for time-varying and directed graphs, which exhibits reduced complexity and exponential convergence. We analyze the performance of the proposed distributed estimators, showing that they: (i) are reliable even in presence of limited local data, and (ii) improve the estimation accuracy compared to the purely decentralized setup. Finally, we provide a statistical characterization of the proposed estimators. In particular, for the ad-hoc estimator, we show that as the number of nodes goes to infinity its mean square error converges to the optimal one. Numerical Monte Carlo simulations confirm the theoretical characterization and highlight the appealing performances of the estimators.


title: Supervisory Switching Control of an Unmanned Surface Vehicle

abstract: A novel method to determine the switching of controllers to increase the performance of a system is presented. Three controllers are utilized to capture three behaviors representative of unmanned surface vehicles (USVs). An underactuated nonlinear controller is derived to transit the vehicle between locations; a fully-actuated nonlinear controller is given to station-keep the vehicle at a setpoint; and a linear anti-windup controller is presented for the reversing mode of operation. Given a trajectory to follow, a performance-based supervisory switching control system (PBSSC) dictates the switching between controllers to improve system performance. Experimental results are shown that indicate that the PBSSC system is able to mitigate errors in pose better than any of the individual controllers.


title: Station-keeping control of an unmanned surface vehicle exposed to current and wind disturbances

abstract: Field trials of a 4 meter long, 180 kilogram, unmanned surface vehicle (USV) have been conducted to evaluate the performance of station-keeping heading and position controllers in an outdoor marine environment disturbed by wind and current. The USV has a twin hull configuration and a custom-designed propulsion system, which consists of two azimuthing thrusters, one for each hull. Nonlinear proportional derivative, backstepping and sliding mode feedback controllers were tested in winds of about 4-5 knots, with and without wind feedforward control. The controllers were tested when the longitudinal axis of the USV was aligned with the mean wind direction and when the longitudinal axis was perpendicular to the mean wind direction. It was found that the sliding mode controller performed best overall and that the addition of wind feedforward control did not significantly improve its effectiveness. However, wind feedforward control did substantially improve the performance of the proportional derivative and backstepping controllers when the mean wind direction was perpendicular to the longitudinal axis of the USV. An analysis of the length scales present in the power spectrum of the turbulent speed fluctuations in the wind suggests that a single anemometer is sufficient to characterize the speed and direction of the wind acting on the USV.


title: Benchmarking the computing resources at the Instituto de Astrof\'isica de Canarias

abstract: The aim of this study is the characterization of the computing resources used by researchers at the "Instituto de Astrof\'isica de Canarias" (IAC). Since there is a huge demand of computing time and we use tools such as HTCondor to implement High Throughput Computing (HTC) across all available PCs, it is essential for us to assess in a quantitative way, using objective parameters, the performances of our computing nodes. In order to achieve that, we have run a set of benchmark tests on a number of different desktop and laptop PC models among those used in our institution. In particular, we run the "Polyhedron Fortran Benchmarks" suite, using three different compilers: GNU Fortran Compiler, Intel Fortran Compiler and the PGI Fortran Compiler; execution times are then normalized to the reference values published by Polyhedron. The same tests were run multiple times on a same PCs, and on 3 to 5 PCs of the same model (whenever possible) to check for repeatability and consistency of the results. We found that in general execution times, for a given PC model, are consistent within an uncertainty of about 10%, and show a gain in CPU speed of a factor of about 3 between the oldest PCs used at the IAC (7-8 years old) and the newest ones.


title: Femto-Caching with Soft Cache Hits: Improving Performance through Recommendation and Delivery of Related Content

abstract: Pushing popular content to cheap "helper" nodes (e.g., small cells) during off-peak hours has recently been proposed to cope with the increase in mobile data traffic. User requests can be served locally from these helper nodes, if the requested content is available in at least one of the nearby helpers. Nevertheless, the collective storage of a few nearby helper nodes does not usually suffice to achieve a high enough hit rate in practice. We propose to depart from the assumption of hard cache hits, common in existing works, and consider "soft" cache hits, where if the original content is not available, some related contents that are locally cached can be recommended instead. Given that Internet content consumption is entertainment-oriented, we argue that there exist scenarios where a user might accept an alternative content (e.g., better download rate for alternative content, low rate plans, etc.), thus avoiding to access expensive/congested links. We formulate the problem of optimal edge caching with soft cache hits in a relatively generic setup, propose efficient algorithms, and analyze the expected gains. We then show using synthetic and real datasets of related video contents that promising caching gains could be achieved in practice.


title: Unstable Footwear as a Speed-Dependent Noise-Based Training Gear to Exercise Inverted Pendulum Motion During Walking

abstract: Previous research on unstable footwear has suggested that it may induce plantar mechanical noise during walking. The purpose of this study was to explore whether unstable footwear could be considered as a noise-based training gear to exercise body center of mass (CoM) motion during walking or not. Ground reaction forces were collected among 24 healthy young women walking at speeds between 3 and 6 km h-1 with control running shoes and unstable rocker-bottom shoes. The external mechanical work, the recovery of mechanical energy of the CoM during and within the step cycles, and the phase shift between potential and kinetic energy curves of the CoM were computed. Our findings support the idea that unstable rocker-bottom footwear could serve as a speed-dependent noise- based training gear to exercise CoM motion during walking. At slow speed, it acts as a stochastic resonance or facilitator, whereas at brisk speed it acts as a constraint.


title: Mixture of two ultra cold bosonic atoms confined in a ring: stability and persistent currents

abstract: In this article we investigate the stability of quantized yrast (QY) states in a mixture of two distinguishable equal mass bosonic atoms, $A$ and $B$, confined in a ring. We focus our investigation in the study of the energetic stability since the Bloch analysis and the Bogoliubov theory establish that only energetically stable QY states are capable of sustain a persistent current. Based on physical considerations the stability is studied in two different two-dimensional planes. One is when we are studying the stability of a single QY state which is realized in the $U_{AB}\times U$ plane spanned by the inter and intraspecies interaction strengths with fixed values of angular momentum per particle $l$ and population imbalance $f$ equal to the labels of the QY state. We found that the energetic phase boundary is the positive branch of a hyperbola and the energetically stable domain the internal region of this positive branch. The other is when we are studying the stability at a fixed dynamics which is realized in the $l\times f$ plane spanned by $l$ and $f$ with fixed values of the interaction strengths. The QY states are introduced when we postulate a correspondence between points in sector of the $l\times f$ plane of physical significance (SPS), defined by $-\infty< l<\infty$ and $-1\leq f\leq 1$, and QY states. The stability diagram in the SPS is determined by the overlap of the stability diagram in all $l\times f$ plane and the SPS. We found that there are critical values of $f$ and $l$. $f_\mathrm{crit}(l)$ gives the size of the window of energetic stability in the sense that for a given $l$ only QY states with $0\leq f<f_\mathrm{crit}(l)$ are energetically stable. On the other hand, $l_\mathrm{crit}$ states that there is none energetically stable QY state with $l>l_\mathrm{crit}$.


title: Clustering articles based on semantic similarity

abstract: Document clustering is generally the first step for topic identification. Since many clustering methods operate on the similarities between documents, it is important to build representations of these documents which keep their semantics as much as possible and are also suitable for efficient similarity calculation. The metadata of articles in the Astro dataset contribute to a semantic matrix, which uses a vector space to capture the semantics of entities derived from these articles and consequently supports the contextual exploration of these entities in LittleAriadne. However, this semantic matrix does not allow to calculate similarities between articles directly. In this paper, we will describe in detail how we build a semantic representation for an article from the entities that are associated with it. Base on such semantic representations of articles, we apply two standard clustering methods, K-Means and the Louvain community detection algorithm, which leads to our two clustering solutions labelled as OCLC-31 (standing for K-Means) and OCLC-Louvain (standing for Louvain). In this paper, we will give the implementation details and a basic comparison with other clustering solutions that are reported in this special issue.


title: Stochastic reaction-diffusion equations on networks with dynamic time-delayed boundary conditions

abstract: We consider a reaction-diffusion equation on a network subjected to dynamic boundary conditions, with time delayed behaviour, also allowing for multiplicative Gaussian noise perturbations. Exploiting semigroup theory, we rewrite the aforementioned stochastic problem as an abstract stochastic partial differential equation taking values in a suitable product Hilbert space, for which we prove the existence and uniqueness of a mild solution. Eventually, a stochastic optimal control application is studied.


title: Permutation symmetry and entanglement in quantum states of heterogeneous systems

abstract: Permutation symmetries of multipartite quantum states are defined only when the constituent subsystems are of equal dimensions. In this work we extend this notion of permutation symmetry to heterogeneous systems, that is, systems composed of subsystems having unequal dimensions. Given a tensor product space of $k$ subsystems (of arbitrary dimensions) and a permutation operation $\sigma$ over $k$ symbols, these states are such that they have identical decompositions (up to an overall phase) in the given tensor product space and the tensor product space obtained by the permuting the subsystems by $\sigma$. Towards this, we construct a matrix whose action is to simultaneously permute the subsystem label and subsystem dimension of a given state according to permutation $\sigma$. Eigenvectors of this matrix have the required symmetry. We then examine entanglement of states in the igenspaces of these matrices. It is found that all nonsymmetric eigenspaces of such matrices are completely entangled subspaces, with states being equally entangled in both the given tensor product space and the permuted tensor product space.


title: Noncommutative frames

abstract: We explore algebraic properties of noncommutative frames. The concept of noncommutative frames is due to Le Bruyn, who introduced it in connection with noncommutative covers of the Connes-Consani arithmetic site.


title: Designing the Optimal Bit: Balancing Energetic Cost, Speed and Reliability

abstract: We consider the technologically relevant costs of operating a reliable bit that can be erased rapidly. We find that both erasing and reliability times are non-monotonic in the underlying friction, leading to a trade-off between erasing speed and bit reliability. Fast erasure is possible at the expense of low reliability at moderate friction, and high reliability comes at the expense of slow erasure in the underdamped and overdamped limits. Within a given class of bit parameters and control strategies, we define "optimal" designs of bits that meet the desired reliability and erasing time requirements with the lowest operational work cost. We find that optimal designs always saturate the bound on the erasing time requirement, but can exceed the required reliability time if critically damped. The non-trivial geometry of the reliability and erasing time-scales allows us to exclude large regions of parameter space as sub-optimal. We find that optimal designs are either critically damped or close to critical damping under the erasing procedure.


title: Positive scalar curvature and the Euler class

abstract: We prove the following generalization of the classical Lichnerowicz vanishing theorem: if $F$ is an oriented flat vector bundle over a closed spin manifold $M$ such that $TM$ carries a metric of positive scalar curvature, then $<\widehat A(TM)e(F),[M]>=0$, where $e(F)$ is the Euler class of $F$.


title: Nonequilibrium GW+EDMFT: Antiscreening and inverted populations from nonlocal correlations

abstract: We study the dynamics of screening in photo-doped Mott insulators with long-ranged interactions using a nonequilibrium implementation of the $GW$ plus extended dynamical mean field theory ($GW$+EDMFT) formalism. Our study demonstrates that the complex interplay of the injected carriers with bosonic degrees of freedom (charge fluctuations) can result in long-lived transient states with properties that are distinctly different from those of thermal equilibrium states. Systems with strong nonlocal interactions are found to exhibit a self-sustained population inversion of the doublons and holes. This population inversion leads to low-energy antiscreening which can be detected in time-resolved electron-energy loss spectra.


title: Radiation hard pixel sensors using high-resistive wafers in a 150 nm CMOS processing line

abstract: Pixel sensors using 8" CMOS processing technology have been designed and characterized offering the benefits of industrial sensor fabrication, including large wafers, high throughput and yield, as well as low cost. The pixel sensors are produced using a 150 nm CMOS technology offered by LFoundry in Avezzano. The technology provides multiple metal and polysilicon layers, as well as metal-insulator-metal capacitors that can be employed for AC-coupling and redistribution layers. Several prototypes were fabricated and are characterized with minimum ionizing particles before and after irradiation to fluences up to 1.1 $\times$ 10$^{15}$ n$_{\rm eq}$ cm$^{-2}$. The CMOS-fabricated sensors perform equally well as standard pixel sensors in terms of noise and hit detection efficiency. AC-coupled sensors even reach 100% hit efficiency in a 3.2 GeV electron beam before irradiation.


title: Influence of target deformation and deuteron breakup in (d,p) transfer reactions

abstract: The effect of core excitations in transfer reactions of the form A(d, p)B has been found to affect significantly the calculated cross sections and to depend strongly and non-linearly on the incident deuteron energy in Faddeev/AGS calculations. Our goal is to investigate these effects within a coupled-channels formulation of the scattering problem which, in addition of being computationally less demanding than the Faddeev counterpart, may help shed some light into the physical interpretation of the cited effects. We use an extended version of the continuum-discretized coupled-channels (CDCC) method with explicit inclusion of target excitations within a coupled-channels Born approximation (CDCC-BA) formulation of the transfer transition amplitude. We compare the calculated transfer cross sections with those obtained with an analogous calculation omitting the effect of target excitation. We consider also an adiabatic coupled channels (ACC) method. Our working example is the 10 Be(d,p) 11 Be reaction. We find that both formalisms are able to reproduce the effects of deformation found in Faddeev calculations, whose origin stems from the interference of the direct one-step transfer, and the two-step transfer following target excitation.


title: Anomalous Nonlocal Resistance and Spin-charge Conversion Mechanisms in Two-Dimensional Metals

abstract: We uncover two anomalous features in the nonlocal transport behavior of two-dimensional metallic materials with spin-orbit coupling. Firstly, the nonlocal resistance can have negative values and oscillate with distance, even in the absence of a magnetic field. Secondly, the oscillations of the nonlocal resistance under an applied in-plane magnetic field (Hanle effect) can be asymmetric under field reversal. Both features are produced by direct magnetoelectric coupling, which is possible in materials with broken inversion symmetry but was not included in previous spin diffusion theories of nonlocal transport. These effects can be used to identify the relative contributions of different spin-charge conversion mechanisms. They should be observable in adatom-functionalized graphene, and may provide the reason for discrepancies in recent nonlocal transport experiments on graphene.


title: Reflexive Regular Equivalence for Bipartite Data

abstract: Bipartite data is common in data engineering and brings unique challenges, particularly when it comes to clustering tasks that impose on strong structural assumptions. This work presents an unsupervised method for assessing similarity in bipartite data. Similar to some co-clustering methods, the method is based on regular equivalence in graphs. The algorithm uses spectral properties of a bipartite adjacency matrix to estimate similarity in both dimensions. The method is reflexive in that similarity in one dimension is used to inform similarity in the other. Reflexive regular equivalence can also use the structure of transitivities -- in a network sense -- the contribution of which is controlled by the algorithm's only free-parameter, $\alpha$. The method is completely unsupervised and can be used to validate assumptions of co-similarity, which are required but often untested, in co-clustering analyses. Three variants of the method with different normalizations are tested on synthetic data. The method is found to be robust to noise and well-suited to asymmetric co-similar structure, making it particularly informative for cluster analysis and recommendation in bipartite data of unknown structure. In experiments, the convergence and speed of the algorithm are found to be stable for different levels of noise. Real-world data from a network of malaria genes are analyzed, where the similarity produced by the reflexive method is shown to out-perform other measures' ability to correctly classify genes.


title: Optimal transport with Coulomb cost and the semiclassical limit of Density Functional Theory

abstract: We present some progress in the direction of determining the semiclassical limit of the Hoenberg-Kohn universal functional in Density Functional Theory for Coulomb systems. In particular we give a proof of the fact that for Bosonic systems with an arbitrary number of particles the limit is the multimarginal optimal transport problem with Coulomb cost and that the same holds for Fermionic systems with 2 or 3 particles. Comparisons with previous results are reported . The approach is based on some techniques from the optimal transportation theory.


title: A Preliminary Analysis on the Effects of Propensity to Trust in Distributed Software Development

abstract: Establishing trust between developers working at distant sites facilitates team collaboration in distributed software development. While previous research has focused on how to build and spread trust in absence of direct, face-to-face communication, it has overlooked the effects of the propensity to trust, i.e., the trait of personality representing the individual disposition to perceive the others as trustworthy. In this study, we present a preliminary, quantitative analysis on how the propensity to trust affects the success of collaborations in a distributed project, where the success is represented by pull requests whose code changes and contributions are successfully merged into the project's repository.


title: Provable Accelerated Gradient Method for Nonconvex Low Rank Optimization

abstract: Optimization over low rank matrices has broad applications in machine learning. For large scale problems, an attractive heuristic is to factorize the low rank matrix to a product of two much smaller matrices. In this paper, we study the nonconvex problem $\min_{U\in\mathcal{R}^{n\times r}} g(U)=f(UU^T)$ under the assumptions that $f(X)$ is restricted $\mu$-strongly convex and $L$-smooth on the set $\{X:X\succeq 0,rank(X)\leq r\}$. We propose an accelerated gradient method with alternating constraint that operates directly on the $U$ factors and show that the method has local linear convergence rate with the optimal dependence on the condition number of $\sqrt{L/\mu}$. Globally, our method converges to the critical point with zero gradient from any initializer. Our method also applies to the problem with the asymmetric factorization of $X=\widetilde U\widetilde V^T$ and the same convergence result can be obtained. Extensive experimental results verify the advantage of our method.


title: Topological classification of Morse-Smale diffeomorphisms without heteroclinic curves on 3-manifolds

abstract: We show that, up to topological conjugation, the equivalence class of a Morse-Smale diffeomorphism without heteroclinic curves on 3-manifold is completely defined by an em- bedding of two-dimensional stable and unstable heteroclinic laminations to a characteristic space.


title: Magnetohydrodynamic shocks in a dissipative quantum plasma with exchange-correlation effects

abstract: We investigate the nonlinear propagation of multidimensional magnetosonic shock waves (MSWs) in a dissipative quantum magnetoplasma. A macroscopic quantum magnetohydrodynamic (QMHD) model is used to include the quantum force associated with the Bohm potential, the pressure-like spin force, the exchange and correlation force of electrons, as well as the dissipative force due to the kinematic viscosity of ions and the magnetic diffusivity. The effects of these forces on the properties of arbitrary amplitude MSWs are examined numerically. It is found that the contribution from the exchange-correlation force appears to be dominant over those from the pressure gradient and the other similar quantum forces, and it results into a transition from monotonic to oscillatory shocks in presence of either the ion kinematic viscosity or the magnetic diffusivity.