title: Effects of updating rules on the coevolving prisoner's dilemma

abstract: We studied the effect of three strategy updating rules in coevolving prisoner's dilemma games where agents (nodes) can switch both the strategy and social partners. Under two node-based strategy updating rules, strategy updating occurs between a randomly chosen focal node and its randomly selected neighbour. The focal agent becomes the strategy recipient and may imitate the strategy of the neighbour according to the payoff difference, i.e. voter-model-like dynamics (VMLD), or becomes a strategy donor and thus may be imitated by the neighbour, i.e. invasion-process-like dynamics (IPLD). For edge-based updating rules, one edge is selected, and the roles of the two connected nodes (donor or recipient) are randomly decided, i.e. edge-based dynamics (EBD). A computer simulation shows that partner switching supports the evolution of cooperation under VMLD, which has been utilised in many studies on spatial evolutionary games, whereas cooperators often vanish under IPLD. The EBD results lie between these two processes. This difference is prominent among nodes with large degrees. In addition, partner switching induces a non-monotonic relationship between the fraction of cooperators and intensity of selection under VMLD and EBD, and a weak or strong selection supports cooperation. In contrast, only a strong selection supports cooperators under IPLD. Similar differences in the enhancement of cooperation are observed when games are played on static heterogeneous networks. Our results imply that the direction of imitation is quite important for understanding the evolutionary process of cooperation.


title: A remark on Leclerc's Frobenius categories

abstract: Leclerc recently studied certain Frobenius categories in connection with cluster algebra structures on coordinate rings of intersections of opposite Schubert cells. We show that these categories admit a description as Gorenstein projective modules over an Iwanaga-Gorenstein ring of virtual dimension at most two. This is based on a Morita type result for Frobenius categories.


title: Elliptical vortex and oblique vortex lattice in the FeSe superconductor based on the nematicity and mixed superconducting orders

abstract: The electronic nematic phase is characterized as an ordered state of matter with rotational symmetry breaking, and has been well studied in the quantum Hall system and the high-$T_c$ superconductors, regardless of cuprate or pnictide family. The nematic state in high-$T_c$ systems often relates to the structural transition or electronic instability in the normal phase. Nevertheless, the electronic states below the superconducting transition temperature is still an open question. With high-resolution scanning tunneling microscope measurements, direct observation of vortex core in FeSe thin films revealed the nematic superconducting state by Song \emph{et al}. Here, motivated by the experiment, we construct the extended Ginzburg-Landau free energy to describe the elliptical vortex, where a mixed \emph{s}-wave and \emph{d}-wave superconducting order is coupled to the nematic order. The nematic order induces the mixture of two superconducting orders and enhances the anisotropic interaction between the two superconducting orders, resulting in a symmetry breaking from $C_4$ to $C_2$. Consequently, the vortex cores are stretched into an elliptical shape. In the equilibrium state, the elliptical vortices assemble a lozenge-like vortex lattice, being well consistent with experimental results.


title: Towards an empirical unified crust-core description of neutron stars

abstract: Understanding the properties of the crust and the core as well as its interface is essential for accurate astrophysical modeling of phenomena such as glitches, X-ray bursts or oscillations in neutron stars. To study the crust-core properties, it is crucial to develop a unified and consistent scheme to describe both the clusterized matter in the crust and homogeneous matter in the core. The low density regime in the neutron star crust is accessible to terrestrial nuclear experiments. In order to develop a consistent description of the crust and the core of neutron stars within the same formalism, we use a density functional scheme, with the model coefficients in homogeneous matter related directly to empirical nuclear observables. In this work, we extend this scheme to non-homogeneous matter to describe nuclei in the crust. We then test this scheme against nuclear observables.


title: Discrete field theory: symmetries and conservation laws

abstract: We present a general algorithm constructing a discretization of a classical field theory from a Lagrangian. We prove a new discrete Noether theorem relating symmetries to conservation laws and an energy conservation theorem not based on any symmetry. This gives exact conservation laws for several theories, e.g., lattice electrodynamics and gauge theory. In particular, we construct a conserved discrete energy-momentum tensor, approximating the continuum one at least for free fields. The theory is stated in topological terms, such as coboundary and products of cochains.


title: Homotopy type of the independence complexes of a family of regular bipartite graphs

abstract: In this article, we define a family of regular bipartite graphs and show that the homotopy type of the independence complexes of this family is the wedge sum of spheres of certain dimensions.


title: Field emission from self-catalyzed GaAs nanowires

abstract: We report observation of field emission from self-catalyzed GaAs nanowires grown on Si (111). The measurements are realized inside a scanning electron microscope chamber with nano-controlled tungsten tip functioning as anode. Experimental data are analyzed in the framework of Fowler-Nordheim theory. We demonstrate stable current up to 10$^{-7}$ A emitted from the tip of single nanowire, with field enhancement factor $\beta$ up to 112 at anode-cathode distance d=350 nm. A linear dependence of $\beta$ on the anode-cathode distance is experimentally found. We also show that the presence of a Ga catalyst droplet suppresses the emission of current from the nanowire tip. This allows detection of field emission from the nanowire sidewalls, which occurs with reduced field enhancement factor and stability. This study further extends the GaAs technology to vacuum electronics applications.


title: Resource Allocation in Cloud Radio Access Networks with Device-to-Device Communications

abstract: To alleviate the burdens on the fronthaul and reduce the transmit latency, the device-to-device (D2D) communication is presented in cloud radio access networks (C-RANs). Considering dynamic traffic arrivals and time-varying channel conditions, the resource allocation in C-RANs with D2D is formulated into a stochastic optimization problem, which is aimed at maximizing the overall throughput subject to network stability, interference, and fronthaul capacity constraints. Leveraging on the Lyapunov optimization technique, the stochastic optimization problem is transformed into a delay-aware optimization problem, which is a mixed-integer nonlinear programming problem and can be decomposed into three subproblems: mode selection, uplink beamforming design, and power control. An optimization solution that consists of a modified branch and bound method as well as a weighted minimum mean square error approach has been developed to obtain the close-to-optimal solution. Simulation results validate that the D2D can improve throughput, decrease latency, and alleviate the burdens of the constrained fronthaul in C-RANs. Furthermore, an average throughput-delay tradeoff can be achieved by the proposed solution.


title: A theoretical study of meson transition form factors

abstract: In this thesis we discuss a rational and data-based description of the single- and double-virutal transition form factors of the lightest pseudoscalar mesons. We obtain an accurate description of these in the spacelike and low-energy timelike regions. The phenomenological applications are wide. Among them, we discuss, the eta-eta' mixing, the rare pseudoscalar decays into a lepton pair and the pseudoscalar-pole contribution to the hadronic light-by-light part of the anomalous magnetic moment of the muon. In all these cases we discuss and illustrate the relevance of employing a data-based approach in order not to incur in potential systematic errors.


title: There are no rigid filiform Lie algebras of low dimension

abstract: We prove that there are no rigid complex filiform Lie algebras in the variety of (filiform) Lie algebras of dimension less than or equal to 11. More precisely we show that in any Euclidean neighborhood of a filiform Lie bracket (of low dimension), there is a non-isomorphic filiform Lie bracket. This follows by constructing non trivial linear deformations in a Zariski open dense set of the variety of filiform Lie algebras of dimension 9, 10 and 11. (In lower dimensions this is well known.)


title: Fast semi-supervised discriminant analysis for binary classification of large data-sets

abstract: High-dimensional data requires scalable algorithms. We propose and analyze three scalable and related algorithms for semi-supervised discriminant analysis (SDA). These methods are based on Krylov subspace methods which exploit the data sparsity and the shift-invariance of Krylov subspaces. In addition, the problem definition was improved by adding centralization to the semi-supervised setting. The proposed methods are evaluated on a industry-scale data set from a pharmaceutical company to predict compound activity on target proteins. The results show that SDA achieves good predictive performance and our methods only require a few seconds, significantly improving computation time on previous state of the art.


title: A comparison between the Shooting and Finite-Difference Method in solving a Nonlinear Boundary Value Problem found in the context of light propagation

abstract: The shooting and finite-difference method are both numeric methods that approximate the solution of a BVP to a given accuracy. In this report both methods were implemented in Matlab and compared to each other on a BVP found in the context of light propagation in nonlinear dielectrics. It was observed that the finite-difference method is numerically more stable and converges faster than the shooting method.


title: What is an integrable quench?

abstract: Inspired by classical results in integrable boundary quantum field theory, we propose a definition of integrable initial states for quantum quenches in lattice models. They are defined as the states which are annihilated by all local conserved charges that are odd under space reflection. We show that this class includes the states which can be related to integrable boundary conditions in an appropriate rotated channel, in loose analogy with the picture in quantum field theory. Furthermore, we provide an efficient method to test integrability of given initial states. We revisit the recent literature of global quenches in several models and show that, in all of the cases where closed-form analytical results could be obtained, the initial state is integrable according to our definition. In the prototypical example of the XXZ spin-s chains we show that integrable states include two-site product states but also larger families of matrix product states with arbitrary bond dimension. We argue that our results could be practically useful for the study of quantum quenches in generic integrable models.

categories: cond-mat.stat-mech math-ph math.MP quant-ph


title: Increased stability of CuZrAl metallic glasses prepared by physical vapor deposition

abstract: We carried out molecular dynamics simulations (MD) using realistic empirical potentials for the vapor deposition (VD) of CuZrAl glasses. VD glasses have higher densities and lower potential and inherent structure energies than the melt-quenched glasses for the same alloys. The optimal substrate temperature for the deposition process is 0.625$\times T_\mathrm{g}$. In VD metallic glasses (MGs), the total number of icosahedral like clusters is higher than in the melt-quenched MGs. Surprisingly, the VD glasses have a lower degree of chemical mixing than the melt-quenched glasses. The reason for it is that the melt-quenched MGs can be viewed as frozen liquids, which means that their chemical order is the same as in the liquid state. In contrast, during the formation of the VD MGs, the absence of the liquid state results in the creation of a different chemical order with more Zr-Zr homonuclear bonds compared with the melt-quenched MGs. In order to obtain MGs from melt-quench technique with similarly low energies as in the VD process, the cooling rate during quenching would have to be many orders of magnitude lower than currently accessible to MD simulations. The method proposed in this manuscript is a more efficient way to create MGs by using MD simulations.


title: Vacancy-Controlled Na+ Superion Conduction in Na11Sn2PS12

abstract: Highly conductive solid electrolytes are one key component for the development of safe and high-power all-solid-state batteries. Enormous progress has been achieved in the field of lithium solid electrolytes. Meanwhile, their ion conductivities match those of liquid electrolytes used in commercial Li+ ion batteries. However, the future availability and the price of lithium are points of concern, so that Na+ ion conductors have come into the spotlight in recent years. Here we present the superionic conductor Na11Sn2PS12 consisting exclusively of abundant elements. This material exhibits a room temperature Na+ ion conductivity close to 4 mS/cm, the highest value known to date for sulfide-based solids. Importantly, the stoichiometry of this quaternary compound differs from that of the Li analogues, in derogation from recent theoretical and experimental works. Structure determination based on synchroton X-ray powder diffraction data proves the existence of Na+ vacancies in the tetragonal structure that speed up Na+ ion transport, an untypical mechanism in superion conductors. The results indicate that sodium electrolytes are about to equal the performance of their lithium counterparts. The major target application is clean and safe energy storage, for which the lower energy density of Na+ ion batteries is not a concern, but long-term materials availability and costs are important prerequisites.


title: The maximal order of iterated multiplicative functions

abstract: Following Wigert, various authors, including Ramanujan, Gronwall, Erd\H{o}s, Ivi\'{c}, Schwarz, Wirsing, and Shiu, determined the maximal order of several multiplicative functions, generalizing Wigert's result $$\max_{n\leq x} \log d(n) = \frac{\log x}{\log \log x} (\log 2 + o(1)). $$ On the contrary, for many multiplicative functions, the maximal order of iterations of the functions remains widely open. The case of the iterated divisor function was only solved recently, answering a question of Ramanujan from 1915. Here we determine the maximal order of $\log f(f(n))$ for a class of multiplicative functions $f$. In particular, this class contains functions counting ideals of given norm in the ring of integers of an arbitrary, fixed quadratic number field. As a consequence, we determine such maximal orders for several multiplicative $f$ arising as a normalized function counting representations by certain binary quadratic forms. Incidentally, for the non-multiplicative function $r_2$ which counts how often a positive integer is represented as a sum of two squares, this entails the asymptotic formula $$ \max_{n\leq x} \log r_2(r_2(n))= \frac{\sqrt{\log x}}{\log \log x} (c/\sqrt{2}+o(1))$$ with some explicitly given constant $c>0$.


title: Exploring Food Detection using CNNs

abstract: One of the most common critical factors directly related to the cause of a chronic disease is unhealthy diet consumption. In this sense, building an automatic system for food analysis could allow a better understanding of the nutritional information with respect to the food eaten and thus it could help in taking corrective actions in order to consume a better diet. The Computer Vision community has focused its efforts on several areas involved in the visual food analysis such as: food detection, food recognition, food localization, portion estimation, among others. For food detection, the best results evidenced in the state of the art were obtained using Convolutional Neural Network. However, the results of all these different approaches were gotten on different datasets and therefore are not directly comparable. This article proposes an overview of the last advances on food detection and an optimal model based on GoogLeNet Convolutional Neural Network method, principal component analysis, and a support vector machine that outperforms the state of the art on two public food/non-food datasets.


title: Migration in the shearing sheet and estimates for young open cluster migration

abstract: Using tracer particles embedded in self-gravitating shearing sheet N-body simulations, we investigate the distance in guiding centre radius that stars or star clusters can migrate in a few orbital periods. The standard deviations of guiding centre distributions and maximum migration distances depend on the Toomre or critical wavelength and the contrast in mass surface density caused by spiral structure. Comparison between our simulations and estimated guiding radii for a few young super-solar metallicity open clusters, including NGC 6583, suggests that the contrast in mass surface density in the solar neighbourhood has standard deviation (in the surface density distribution) divided by mean of about 1/4 and larger than measured using COBE data by Drimmel and Spergel. Our estimate is consistent with a standard deviation of $\sim$0.07 dex in the metallicities measured from high-quality spectroscopic data for 38 young open clusters (<1 Gyr) with mean galactocentric radius 7-9 kpc.


title: Diffusion Based Molecular Communication: Principle, Key Technologies, and Challenges

abstract: Molecular communication (MC) is a kind of communication technology based on biochemical molecules for internet of bio-nano things, in which the biochemical molecule is used as the information carrier for the interconnection of nano-devices. In this paper, the basic principle of diffusion based MC and the corresponding key technologies are comprehensively surveyed. In particular, the state-of-the-art achievements relative to the diffusion based MC are discussed and compared, including the system model, the system performance analysis with key influencing factors, the information coding and modulation techniques. Meanwhile, the multi-hop nano-network based on the diffusion MC is presented as well. Additionally, given the extensiveness of the research area, open issues and challenges are presented to spur future investigations, in which the involvement of channel model, information theory, self-organizing nano-network, and biochemical applications are put forward.


title: Interaction and coherence of a plasmon-exciton polariton condensate

abstract: Polaritons are quasiparticles arising from the strong coupling of electromagnetic waves in cavities and dipolar oscillations in a material medium. In this framework, localized surface plasmon in metallic nanoparticles defining optical nanocavities have attracted increasing interests in the last decade. This interest results from their sub-diffraction mode volume, which offers access to extremely high photonic densities by exploiting strong scattering cross-sections. However, high absorption losses in metals have hindered the observation of collective coherent phenomena, such as condensation. In this work we demonstrate the formation of a non-equilibrium room temperature plasmon-exciton-polariton condensate with a long range spatial coherence, extending a hundred of microns, well over the excitation area, by coupling Frenkel excitons in organic molecules to a multipolar mode in a lattice of plasmonic nanoparticles. Time-resolved experiments evidence the picosecond dynamics of the condensate and a sizeable blueshift, thus measuring for the first time the effect of polariton interactions in plasmonic cavities. Our results pave the way to the observation of room temperature superfluidity and novel nonlinear phenomena in plasmonic systems, challenging the common belief that absorption losses in metals prevent the realization of macroscopic quantum states.


title: Stability of stationary solutions of singular systems of balance laws

abstract: The stability of stationary solutions of first-order systems of PDE's are considered. They may include some singular geometric terms, leading to discontinuous flux and non-conservative products. Based on several examples in Fluid Mechanics, we assume that these systems are endowed with a partially convex entropy. We first construct an associated relative entropy which allows to compare two states which share the same geometric data. This way, we are able to prove the stability of some stationary states within entropy weak solutions. This result applies for instance to the shallow-water equations with bathymetry. Besides, this relative entropy can be used to study finite volume schemes which are entropy-stable and well-balanced, and due to the numerical dissipation inherent to these methods, asymptotic stability of discrete stationary solutions is obtained. This analysis does not make us of any specific definition of the non-conservative products, applies to non-strictly hyperbolic systems, and is fully multidimensional with unstructured meshes for the numerical methods.


title: A comparison between the Split Step Fourier and Finite-Difference method in analysing the soliton collision of a type of Nonlinear Schr\"odinger equation found in the context of optical pulses

abstract: In this report a type of Schr\"odinger Equation which is found in the context of optical pulses is analysed using the $\textit{Split Step}$ and $\textit{Finite Difference}$ method. The investigation shows interesting dynamics regarding certain values for parameter $S$ as well as a comparison between the two numeric schemes demonstrating the $\textit{Split Step}$ to be superior for this problem.


title: TraceTracker: Hardware/Software Co-Evaluation for Large-Scale I/O Workload Reconstruction

abstract: Block traces are widely used for system studies, model verifications, and design analyses in both industry and academia. While such traces include detailed block access patterns, existing trace-driven research unfortunately often fails to find true-north due to a lack of runtime contexts such as user idle periods and system delays, which are fundamentally linked to the characteristics of target storage hardware. In this work, we propose TraceTracker, a novel hardware/software co-evaluation method that allows users to reuse a broad range of the existing block traces by keeping most their execution contexts and user scenarios while adjusting them with new system information. Specifically, our TraceTracker's software evaluation model can infer CPU burst times and user idle periods from old storage traces, whereas its hardware evaluation method remasters the storage traces by interoperating the inferred time information, and updates all inter-arrival times by making them aware of the target storage system. We apply the proposed co-evaluation model to 577 traces, which were collected by servers from different institutions and locations a decade ago, and revive the traces on a high-performance flash-based storage array. The evaluation results reveal that the accuracy of the execution contexts reconstructed by TraceTracker is on average 99% and 96% with regard to the frequency of idle operations and the total idle periods, respectively.


title: Fuzzy circle and new fuzzy sphere through confining potentials and energy cutoffs

abstract: Guided by ordinary quantum mechanics we introduce new fuzzy spheres of dimensions d=1,2: we consider an ordinary quantum particle in D=d+1 dimensions subject to a rotation invariant potential well V(r) with a very sharp minimum on a sphere of unit radius. Imposing a sufficiently low energy cutoff to `freeze' the radial excitations makes only a finite-dimensional Hilbert subspace accessible and on it the coordinates noncommutative \`a la Snyder; in fact, on it they generate the whole algebra of observables. The construction is equivariant not only under rotations - as Madore's fuzzy sphere -, but under the full orthogonal group O(D). Making the cutoff and the depth of the well dependent on (and diverging with) a natural number L, and keeping the leading terms in 1/L, we obtain a sequence S^d_L of fuzzy spheres converging (in a suitable sense) to the sphere S^d as L diverges (whereby we recover ordinary quantum mechanics on S^d). These models may be useful in condensed matter problems where particles are confined on a sphere by an (at least approximately) rotation-invariant potential, beside being suggestive of analogous mechanisms in quantum field theory or quantum gravity.


title: On Multi-Relational Link Prediction with Bilinear Models

abstract: We study bilinear embedding models for the task of multi-relational link prediction and knowledge graph completion. Bilinear models belong to the most basic models for this task, they are comparably efficient to train and use, and they can provide good prediction performance. The main goal of this paper is to explore the expressiveness of and the connections between various bilinear models proposed in the literature. In particular, a substantial number of models can be represented as bilinear models with certain additional constraints enforced on the embeddings. We explore whether or not these constraints lead to universal models, which can in principle represent every set of relations, and whether or not there are subsumption relationships between various models. We report results of an independent experimental study that evaluates recent bilinear models in a common experimental setup. Finally, we provide evidence that relation-level ensembles of multiple bilinear models can achieve state-of-the art prediction performance.


title: Enhancing Predicate Pairing with Abstraction for Relational Verification

abstract: Relational verification is a technique that aims at proving properties that relate two different program fragments, or two different program runs. It has been shown that constrained Horn clauses (CHCs) can effectively be used for relational verification by applying a CHC transformation, called predicate pairing, which allows the CHC solver to infer relations among arguments of different predicates. In this paper we study how the effects of the predicate pairing transformation can be enhanced by using various abstract domains based on linear arithmetic (i.e., the domain of convex polyhedra and some of its subdomains) during the transformation. After presenting an algorithm for predicate pairing with abstraction, we report on the experiments we have performed on over a hundred relational verification problems by using various abstract domains. The experiments have been performed by using the VeriMAP transformation and verification system, together with the Parma Polyhedra Library (PPL) and the Z3 solver for CHCs.


title: Probing magnetism in the vortex phase of PuCoGa$_5$ by X-ray magnetic circular dichroism

abstract: We have measured X-ray magnetic circular dichroism (XMCD) spectra at the Pu $M_{4,5}$ absorption edges from a newly-prepared high-quality single crystal of the heavy fermion superconductor $^{242}$PuCoGa$_{5}$, exhibiting a critical temperature $T_{c} = 18.7~{\rm K}$. The experiment probes the vortex phase below $T_{c}$ and shows that an external magnetic field induces a Pu 5$f$ magnetic moment at 2 K equal to the temperature-independent moment measured in the normal phase up to 300 K by a SQUID device. This observation is in agreement with theoretical models claiming that the Pu atoms in PuCoGa$_{5}$ have a nonmagnetic singlet ground state resulting from the hybridization of the conduction electrons with the intermediate-valence 5$f$ electronic shell. Unexpectedly, XMCD spectra show that the orbital component of the $5f$ magnetic moment increases significantly between 30 and 2 K; the antiparallel spin component increases as well, leaving the total moment practically constant. We suggest that this indicates a low-temperature breakdown of the complete Kondo-like screening of the local 5$f$ moment.


title: A self-stabilizing algorithm for maximal matching in link-register model in $O(n\Delta^3)$ moves

abstract: In the matching problem, each node maintains a pointer to one of its neighbor or to $null$, and a maximal matching is computed when each node points either to a neighbor that itself points to it (they are then called married), or to $null$, in which case no neighbor can also point to $null$. This paper presents a self-stabilizing distributed algorithm to compute a maximal matching in the link-register model under read/write atomicity, with complexity {$O(n\Delta^3)$} moves under the adversarial distributed daemon, where $\Delta$ is the maximum degree of the graph.


title: On geometrical aspects of the graph approach to contextuality

abstract: The connection between contextuality and graph theory has led to many developments in the field. In particular, the sets of probability distributions in many contextuality scenarios can be described using well known convex sets from graph theory, leading to a beautiful geometric characterization of such sets. This geometry can also be explored in the definition of contextuality quantifiers based on geometric distances, which is important for the resource theory of contextuality, developed after the recognition of contextuality as a potential resource for quantum computation. In this paper we review the geometric aspects of contextuality and use it to define several quantifiers, which have the advantage of being applicable to the exclusivity approach to contextuality, where previously defined quantifiers do not fit.


title: A statistical mechanics perspective for protein folding from $q$-state Potts model

abstract: The folding of a peptide chain into a three dimensional structure is a thermodynamically driven process such that the chain naturally evolves to form domains of similar amino acids. The formation of this domain occurs by curling the one dimensional amino acid sequence by moving similar amino acids proximity to each other. We model this formation of domains or ordering of amino acids using q-state Potts model and study the thermodynamic properties using a statistical mechanics approach. Converting the interacting amino acids into an effectively non-interacting model using a mean-field theory, we calculate the Helmholtz free energy (HFE). Then by investigating the HFE, we study the properties of protein folding transition qualitatively. We find that the protein folding phase transition is a strongly first order and the specific heat shows the experimental signatures of this phase transition. Further, we compare these mean-field results with exact transfer matrix results in one dimension and then large $q$ expansion results in two dimensions.


title: On derivations of MV-algebras

abstract: In this paper, we investigate related properties of some particular derivations and give some characterizations of additive derivations in MV-algebras. Then, we obtain that the fixed point set of additive derivations is still an MV-algebra. Also, we study boolean additive derivations and their adjoint derivations. In particular, we get that the fixed point set of boolean addition derivations and that of their adjoint derivations are isomorphism. Moreover, we prove that every MV-algebras are isomorphic to the direct product of the fixed point set of boolean additive derivations and that of their adjoint derivations. Finally, Finally, we show that the structure of a Boolean algebra is completely determined by its set of all boolean additive (implicative) derivations.


title: Spin-valve Josephson junctions for cryogenic memory

abstract: Josephson junctions containing two ferromagnetic layers are being considered for use in cryogenic memory. Our group recently demonstrated that the ground-state phase difference across such a junction with carefully chosen layer thicknesses could be controllably toggled between zero and $\pi$ by switching the relative magnetization directions of the two layers between the antiparallel and parallel configurations. However, several technological issues must be addressed before those junctions can be used in a large-scale memory. Many of these issues can be more easily studied in single junctions, rather than in the Superconducting QUantum Interference Device (SQUID) used for the phase-sensitive measurements. In this work, we report a comprehensive study of spin-valve junctions containing a Ni layer with a fixed thickness of 2.0 nm, and a NiFe layer of thickness varying between 1.1 and 1.8 nm in steps of 0.1 nm. We extract the field shift of the Fraunhofer patterns and the critical currents of the junctions in the parallel and antiparallel magnetic states, as well as the switching fields of both magnetic layers. We also report a partial study of similar junctions containing a slightly thinner Ni layer of 1.6 nm and the same range of NiFe thicknesses. These results represent the first step toward mapping out a ``phase diagram" for phase-controllable spin-valve Josephson junctions as a function of the two magnetic layer thicknesses.


title: Combining Static and Dynamic Contract Checking for Curry

abstract: Static type systems are usually not sufficient to express all requirements on function calls. Hence, contracts with pre- and postconditions can be used to express more complex constraints on operations. Contracts can be checked at run time to ensure that operations are only invoked with reasonable arguments and return intended results. Although such dynamic contract checking provides more reliable program execution, it requires execution time and could lead to program crashes that might be detected with more advanced methods at compile time. To improve this situation for declarative languages, we present an approach to combine static and dynamic contract checking for the functional logic language Curry. Based on a formal model of contract checking for functional logic programming, we propose an automatic method to verify contracts at compile time. If a contract is successfully verified, dynamic checking of it can be omitted. This method decreases execution time without degrading reliable program execution. In the best case, when all contracts are statically verified, it provides trust in the software since crashes due to contract violations cannot occur during program execution.


title: Stabilizers in MTL-algebras

abstract: In the paper, we introduce some stabilizers and investigate related properties of them in MTL-algebras.Then, we also characterize some special classes of MTL-algebras, for example, IMTL-algebras, integral MTL-algebras, G\"{o}del algebras and MV-algebras, in terms of these stabilizers. Moreover, we discuss the relation between stabilizers and several special filters (ideals) in MTL-algebras. Finally, we discuss the relation between these stabilizers and prove that the right implicative stabilizer and right multiplicative stabilizer are order isomorphic. This results also give answers to some open problems, which were proposed by Motamed and Torkzadeh in [Soft Comput, {\bf 21} (2017) 686-693].


title: Scheduling strategies and throughput optimization for the Downlink for IEEE 802.11ax and IEEE 802.11ac based networks

abstract: The new IEEE 802.11 standard, IEEE 802.11ax, has the challenging goal of serving more users compared to its predecessor IEEE 802.11ac, enabling consistent and reliable streams of data (average throughput) per station. In this paper we explore some of the IEEE 802.11ax new mechanisms and compare between the upper bounds on the throughputs of the Downlink unidirectional UDP Multi Users (MU) triadic based on Multiple-Input-Multiple-Output (MU-MIMO) and Orthogonal Frequency Division Multiple Access (OFDMA) transmission multiplexing format in IEEE 802.11ax vs. IEEE 802.11ac in the Single User (SU) and MU modes for 1, 4, 8, 16, 32 and 64 stations scenario in reliable and unreliable channels. The comparison is made as a function of the Modulation and Coding Schemes (MCS) in use. In IEEE 802.11ax we consider two flavors of acknowledgment operation settings where the maximum acknowledgment windows are 64 or 256 respectively. In SU scenario IEEE 802.11ax upper bounds on the throughputs outperform IEEE 802.11ac by about 52% and 74% in reliable and unreliable channels respectively. In MU-MIMO scenario IEEE 802.11ax upper bounds on the throughputs outperform IEEE 802.11ac by about 59% and 103% in reliable and unreliable channels respectively. Also, as the number of stations increases, the advantage of IEEE 802.11ax in terms of the access delay also increases.


title: One-to-One Matching of RTT and Path Changes

abstract: Route selection based on performance measurements is an essential task in inter-domain Traffic Engineering. It can benefit from the detection of significant changes in RTT measurements and the understanding on potential causes of change. Among the extensive works on change detection methods and their applications in various domains, few focus on RTT measurements. It is thus unclear which approach works the best on such data. In this paper, we present an evaluation framework for change detection on RTT times series, consisting of: 1) a carefully labelled 34,008-hour RTT dataset as ground truth; 2) a scoring method specifically tailored for RTT measurements. Furthermore, we proposed a data transformation that improves the detection performance of existing methods. Path changes are as well attended to. We fix shortcomings of previous works by distinguishing path changes due to routing protocols (IGP and BGP) from those caused by load balancing. Finally, we apply our change detection methods to a large set of measurements from RIPE Atlas. The characteristics of both RTT and path changes are analyzed; the correlation between the two are also illustrated. We identify extremely frequent AS path changes yet with few consequences on RTT, which has not been reported before.


title: Synapse at CAp 2017 NER challenge: Fasttext CRF

abstract: We present our system for the CAp 2017 NER challenge which is about named entity recognition on French tweets. Our system leverages unsupervised learning on a larger dataset of French tweets to learn features feeding a CRF model. It was ranked first without using any gazetteer or structured external data, with an F-measure of 58.89\%. To the best of our knowledge, it is the first system to use fasttext embeddings (which include subword representations) and an embedding-based sentence representation for NER.


title: MODNet: Moving Object Detection Network with Motion and Appearance for Autonomous Driving

abstract: We propose a novel multi-task learning system that combines appearance and motion cues for a better semantic reasoning of the environment. A unified architecture for joint vehicle detection and motion segmentation is introduced. In this architecture, a two-stream encoder is shared among both tasks. In order to evaluate our method in autonomous driving setting, KITTI annotated sequences with detection and odometry ground truth are used to automatically generate static/dynamic annotations on the vehicles. This dataset is called KITTI Moving Object Detection dataset (KITTI MOD). The dataset will be made publicly available to act as a benchmark for the motion detection task. Our experiments show that the proposed method outperforms state of the art methods that utilize motion cue only with 21.5% in mAP on KITTI MOD. Our method performs on par with the state of the art unsupervised methods on DAVIS benchmark for generic object segmentation. One of our interesting conclusions is that joint training of motion segmentation and vehicle detection benefits motion segmentation. Motion segmentation has relatively fewer data, unlike the detection task. However, the shared fusion encoder benefits from joint training to learn a generalized representation. The proposed method runs in 120 ms per frame, which beats the state of the art motion detection/segmentation in computational efficiency.


title: A curve of positive solutions for an indefinite sublinear Dirichlet problem

abstract: We investigate the existence of a curve $q\mapsto u_{q}$, with $q\in(0,1)$, of positive solutions for the problem $(P_{a,q})$: $-\Delta u=a(x)u^{q}$ in $\Omega$, $u=0$ on $\partial\Omega$, where $\Omega$ is a bounded and smooth domain of $\mathbb{R}^{N}$ and $a:\Omega\rightarrow\mathbb{R}$ is a sign-changing function (in which case the strong maximum principle does not hold). In addition, we analyze the asymptotic behavior of $u_{q}$ as $q\rightarrow0^{+}$ and $q\rightarrow1^{-}$. We also show that in some cases $u_{q}$ is the ground state solution of $(P_{a,q})$. As a byproduct, we obtain existence results for a singular and indefinite Dirichlet problem. Our results are mainly based on bifurcation and sub-supersolutions methods.


title: Investigation of a parametric instability between ELF and VLF modes driven by antennas immersed in a cold, magnetized plasma

abstract: We have studied the behavior of a VLF, ELF and combined ELF/VLF antenna immersed in a cold, magnetized plasma using a fully kinetic, three dimensional Particle-in-Cell simulation code called Large Scale Plasma (LSP). All the antennas are modeled as magnetic dipoles ($\rho_{ant}=0$) and are assigned a time varying current density within a finite sized current loop. The VLF antenna is driven at 10 Amps with a frequency ($\omega_{VLF}$) greater than the lower hybrid frequency ($\omega_{LH}$), while the ELF antenna is driven at 3 Amps with a frequency ($\omega_{ELF}$) less than $\omega_{LH}$. The combined ELF/VLF antenna (which we call a parametric antenna) includes both antennas driven simultaneously in the same simulation domain. We show that the parametric antenna non-linearly excites electromagnetic (EM) Whistler waves to a greater extent than the VLF antenna alone. We also show that the parametric excitation of EM Whistler waves leads to greater emitted EM power (measured in Watts) compared with a VLF antenna alone.


title: Spectra of uniformity

abstract: We study some limitations and possible occurrences of uniform ultrafilters on ordinals without the axiom of choice. We prove an Easton-like theorem about the possible spectrum of successors of regular cardinals which carry uniform ultrafilters; we also show that this spectrum is not necessarily closed.


title: General problem solving with category theory

abstract: This paper proposes a formal cognitive framework for problem solving based on category theory. We introduce cognitive categories, which are categories with exactly one morphism between any two objects. Objects in these categories are interpreted as states and morphisms as transformations between states. Moreover, cognitive problems are reduced to the specification of two objects in a cognitive category: an outset (i.e. the current state of the system) and a goal (i.e. the desired state). Cognitive systems transform the target system by means of generators and evaluators. Generators realize cognitive operations over a system by grouping morphisms, whilst evaluators group objects as a way to generalize outsets and goals to partially defined states. Meta-cognition emerges when the whole cognitive system is self-referenced as sub-states in the cognitive category, whilst learning must always be considered as a meta-cognitive process to maintain consistency. Several examples grounded in basic AI methods are provided as well.


title: Hybrid Beamforming with Spatial Modulation in Multi-user Massive MIMO mmWave Networks

abstract: The cost of radio frequency (RF) chains is the biggest drawback of massive MIMO millimeter wave networks. By employing spatial modulation (SM), it is possible to implement lower number of RF chains than transmit antennas but still achieve high spectral efficiency. In this work, we propose a system model of the SM scheme together with hybrid beamforming at the transmitter and digital combining at the receiver. In the proposed model, spatially-modulated bits are mapped onto indices of antenna arrays. It is shown that the proposed model achieves approximately 5dB gain over classical multi-user SM scheme with only 8 transmit antennas at each antenna array. This gain can be improved further by increasing the number of transmit antennas at each array without increasing the number of RF chains.


title: Water nanoelectrolysis: A simple model

abstract: A simple model of water nanoelectrolysis-defined as the nanolocalization at a single point of any electrolysis phenomenon-is presented. It is based on the electron tunneling assisted by the electric field through the thin film of water molecules ($\sim$0.3 nm thick) at the surface of a tip-shaped nanoelectrode (micrometric to nanometric curvature radius at the apex). By applying, e.g., an electric potential V 1 during a finite time t 1 , and then the potential --V 1 during the same time t 1 , we show that there are three distinct regions in the plane (t 1 , V 1): one for the nanolocalization (at the apex of the nanoelectrode) of the electrolysis oxidation reaction, the second one for the nanolocalization of the reduction reaction, and the third one for the nanolocalization of the production of bubbles. These parameters t 1 and V 1 completely control the time at which the electrolysis reaction (of oxidation or reduction) begins, the duration of this reaction, the electrolysis current intensity (i.e., the tunneling current), the number of produced O 2 or H 2 molecules, and the radius of the nanolocalized bubbles. The model is in good agreement with our experiments.


title: The Balmer spectrum of the equivariant homotopy category of a finite abelian group

abstract: For a finite abelian group $A$, we determine the Balmer spectrum of $\mathrm{Sp}_A^{\omega}$, the compact objects in genuine $A$-spectra. This generalizes the case $A=\mathbb{Z}/p\mathbb{Z}$ due to Balmer and Sanders \cite{Balmer-Sanders}, by establishing (a corrected version of) their log$_p$-conjecture for abelian groups. We also work out the consequences for the chromatic type of fixed-points and establish a generalization of Kuhn's blue-shift theorem for Tate-constructions \cite{kuhn}.


title: p-Divisibility of the number of linear representations of an Abelian p-group

abstract: We establish lower bounds for the $p$-divisibility of the quantity $\#\operatorname{Hom}(G,GL_n(\mathbb{F}_q))$, the number of homomorphisms from $G$ to a general linear group, where $G$ is an Abelian $p$-group. This is in analogy to the result of Krattenthaler and M\"{u}ller \cite{MR3383810} on homomorphisms to symmetric groups.


title: Robust Helical Edge Transport in Quantum Spin Hall Quantum Wells

abstract: We show that burying of the Dirac point in semiconductor-based quantum-spin-Hall systems can generate unexpected robustness of edge states to magnetic fields. A detailed ${\bf k\cdot p}$ band-structure analysis reveals that InAs/GaSb and HgTe/CdTe quantum wells exhibit such buried Dirac points. By simulating transport in a disordered system described within an effective model, we further demonstrate that buried Dirac points yield nearly quantized edge conduction out to large magnetic fields, consistent with recent experiments.


title: Non-perturbatively gauge-fixed compact $U(1)$ lattice gauge theory

abstract: An extensive study of the compact $U(1)$ lattice gauge theory with a higher derivative gauge-fixing term and a suitable counter-term has been undertaken to determine the nature of the possible continuum limits for a wide range of the parameters, especially at strong gauge couplings ($g>1$), adding to our previous study at a single gauge coupling $g=1.3$ \cite{DeSarkar2016}. Our major conclusion is that a continuum limit of free massless photons (with the redundant pure gauge degrees of freedom decoupled) is achieved at any gauge coupling, not necessarily small, provided the coefficient $\tilde{\kappa}$ of the gauge-fixing term is sufficiently large. In fact, the region of continuous phase transition leading to the above physics in the strong gauge coupling region is found to be analytically connected to the point $g=0$ and $\tilde{\kappa} \rightarrow \infty$ where the classical action has a global unique minimum, around which weak coupling perturbation theory in bare parameters is defined, controlling the physics of the whole region. A second major conclusion is that, local algorithms like Multihit Metropolis fail to produce faithful field configurations with large values of the coefficient $\tilde{\kappa}$ of the higher derivative gauge-fixing term and at large lattice volumes. A global algorithm like Hybrid Monte Carlo, although at times slow to move out of metastabilities, generally is able to produce faithful configurations and has been used extensively in the current study.


title: Monadic NM-algebras

abstract: In this paper, we introduce and investigate monadic NM-algebras: a variety of NM-algebras equipped with universal quantifiers. Also, we obtain some conditions under which monadic NM-algebras become monadic Boolean algebras. Besides, we show that the variety of monadic NM-algebras faithfully the axioms on quantifiers in monadic predicate NM logic. Furthermore, we discuss relations between monadic NM-algebras and some related structures, likeness modal NM-algebras and rough approximation spaces. In addition, we investigate monadic filters in monadic NM-algebras. In particular, we characterize simple and subdirectly irreducible monadic NM-algebras and obtain a representation theorem for monadic NM-algebras. Finally, we present monadic NM-logic and prove the (chain) completeness of monadic NM-logic based on monadic NM-algebras. These results constitute a crucial first step for providing a solid algebraic foundation for the monadic predicate NM logic.


title: Optimal relaxation to a planar interface in the Mullins-Sekerka problem

abstract: We analyze the convergence rates to a planar interface in the Mullins-Sekerka model by applying a relaxation method based on relationships among distance, energy, and dissipation. The relaxation method was developed by two of the authors in the context of the 1-d Cahn-Hilliard equation and the current work represents an extension to a higher dimensional problem in which the curvature of the interface plays an important role. The convergence rates obtained are optimal given the assumptions on the initial data.


title: Linear perturbations in spherically symmetric dust cosmologies including a cosmological constant

abstract: We study the dynamical behaviour of gauge-invariant linear perturbations in spherically symmetric dust cosmologies including a cosmological constant. In contrast to spatially homogeneous FLRW models, the reduced degree of spatial symmetry causes a non-trivial dynamical coupling of gauge-invariant quantities already at first order perturbation theory and the strength and influence of this coupling on the spacetime evolution is investigated here. We present results on the underlying dynamical equations augmented by a cosmological constant and integrate them numerically. We also present a method to derive cosmologically relevant initial variables for this setup. Estimates of angular power spectra for each metric variable are computed and evaluated on the central observer's past null cone. By comparing the full evolution to the freely evolved initial profiles, the coupling strength will be determined for a best fit radially inhomogeneous patch obtained in previous works (see Redlich et. al. (2014)). We find that coupling effects are not noticeable within the cosmic variance limit and can therefore safely be neglected for a relevant cosmological scenario. On the contrary, we find very strong coupling effects in a best fit spherical void model matching the distance redshift relation of SNe which is in accordance with previous findings using parametric void models.


title: Generalized Biplots for Multidimensional Scaled Projections

abstract: Dimension reduction and visualization is a staple of data analytics. Methods such as Principal Component Analysis (PCA) and Multidimensional Scaling (MDS) provide low dimensional (LD) projections of high dimensional (HD) data while preserving an HD relationship between observations. Traditional biplots assign meaning to the LD space of a PCA projection by displaying LD axes for the attributes. These axes, however, are specific to the linear projection used in PCA. MDS projections, which allow for arbitrary stress and dissimilarity functions, require special care when labeling the LD space. We propose an iterative scheme to plot an LD axis for each attribute based on the user-specified stress and dissimilarity metrics. We discuss the details of our general biplot methodology, its relationship with PCA-derived biplots, and provide examples using real data.


title: Informed Non-convex Robust Principal Component Analysis with Features

abstract: We revisit the problem of robust principal component analysis with features acting as prior side information. To this aim, a novel, elegant, non-convex optimization approach is proposed to decompose a given observation matrix into a low-rank core and the corresponding sparse residual. Rigorous theoretical analysis of the proposed algorithm results in exact recovery guarantees with low computational complexity. Aptly designed synthetic experiments demonstrate that our method is the first to wholly harness the power of non-convexity over convexity in terms of both recoverability and speed. That is, the proposed non-convex approach is more accurate and faster compared to the best available algorithms for the problem under study. Two real-world applications, namely image classification and face denoising further exemplify the practical superiority of the proposed method.


title: Extended Wiener-Khinchin theorem for quantum spectral analysis

abstract: The classical Wiener-Khinchin theorem (WKT), which can extract spectral information by classical interferometers through Fourier transform, is a fundamental theorem used in many disciplines. However, there is still need for a quantum version of WKT, which could connect correlated biphoton spectral information by quantum interferometers. Here, we extend the classical WKT to its quantum counterpart, i.e., extended WKT (e-WKT), which is based on two-photon quantum interferometry. According to the e-WKT, the difference-frequency distribution of the biphoton wavefunctions can be extracted by applying a Fourier transform on the time-domain Hong-Ou-Mandel interference (HOMI) patterns, while the sum-frequency distribution can be extracted by applying a Fourier transform on the time-domain NOON state interference (NOONI) patterns. We also experimentally verified the WKT and e-WKT in a Mach-Zehnder interference (MZI), a HOMI and a NOONI. This theorem can be directly applied to quantum spectroscopy, where the spectral correlation information of biphotons can be obtained from time-domain quantum interferences by Fourier transform. This may open a new pathway for the study of light-matter interaction at the single photon level.


title: Demagnetization of cubic Gd-Ba-Cu-O bulk superconductor by cross-fields: measurements and 3D modelling

abstract: Superconducting bulks, acting as high-field permanent magnets, are promising for many applications. An important effect in bulk permanent magnets is crossed-field demagnetization, which can reduce the magnetic field in superconductors due to relatively small transverse fields. Crossed-field demagnetization has not been studied in sample shapes such as rectangular prisms or cubes. This contribution presents a study based on both 3D numerical modelling and experiments. We study a cubic Gd-Ba-Cu-O bulk superconductor sample of size 6 mm magnetized by field cooling in an external field of around 1.3 T, which is later submitted to crossed-field magnetic fields of up to 164 mT. Modelling results agree with experiments, except at transverse fields 50\% or above of the initial trapped field. The current paths present a strong 3D nature. For instance, at the mid-plane perpendicular to the initial magnetizing field, the current density in this direction changes smoothly from the critical magnitude, ${J_c}$, at the lateral sides to zero at a certain penetration depth. This indicates a rotation of the current density with magnitude ${J_c}$, and hence force free effects like flux cutting are expected to play a significant role.


title: Study of the inner disk of the Herbig star MWC480

abstract: The inner structure and properties (temperature, mass) of the circumstellar disk of Herbig star MWC480 are studied by stellar interferometry method used in the infrared and are interpreted using semi-analytical models. From these models, the SED (Spectral Energy Distribution) was fitted and multi- wavelength intensity map of the source were calculated. The intensity map provides the input for modeling the Keck Interferometer (KI) data in the near-infrared (near-IR) and the data of the Very Large Telescope Interferometer (VLTI) with the mid-infrared instrument MIDI. We conclude that with our limited set of data, we can fit the SED, the Keck visibilities and the MIDI visibilities using a two-components disk model. Furthermore, we suspect that MWC480 has a transitional dusty disk. However, we need more MIDI observations with different baseline orientations to confirm our modeling.


title: Semi-standard partial covariance variable selection when irrepresentable conditions fail

abstract: Traditional variable selection methods could fail to be sign consistent when irrepresentable conditions are violated. This is especially critical in high-dimensional settings when the number of predictors exceeds the sample size. In this paper, we propose a new semi-standard partial covariance (SPAC) approach which is capable of reducing correlation effects from other covariates while fully capturing the magnitude of coefficients. The proposed SPAC is effective in choosing covariates which have direct effects on the response variable, while eliminating the predictors which are not directly associated with the response but are highly correlated with the relevant predictors. We show that the proposed SPAC method with the Lasso penalty or the smoothly clipped absolute deviation (SCAD) penalty possesses strong sign consistency in high-dimensional settings. Numerical studies and a post-traumatic stress disorder data application also confirm that the proposed method outperforms the existing Lasso, adaptive Lasso, SCAD, Peter-Clark-simple algorithm, and factor-adjusted regularized model selection methods when the irrepresentable conditions fail.


title: Remarks on the derivation of Gross-Pitaevskii equation with magnetic Laplacian

abstract: The effective dynamics for a Bose-Einstein condensate in the regime of high dilution and subject to an external magnetic field is governed by a magnetic Gross-Pitaevskii equation. We elucidate the steps needed to adapt to the magnetic case the proof of the derivation of the Gross-Pitaevskii equation within the "projection counting" scheme.


title: Optimal strategy for polarization modulation in the LSPE-SWIPE experiment

abstract: CMB B-mode experiments are required to control systematic effects with an unprecedented level of accuracy. Polarization modulation by a half wave plate (HWP) is a powerful technique able to mitigate a large number of the instrumental systematics. Our goal is to optimize the polarization modulation strategy of the upcoming LSPE-SWIPE balloon-borne experiment, devoted to the accurate measurement of CMB polarization at large angular scales. We depart from the nominal LSPE-SWIPE modulation strategy (HWP stepped every 60 s with a telescope scanning at around 12 deg/s) and perform a thorough investigation of a wide range of possible HWP schemes (either in stepped or continuously spinning mode and at different azimuth telescope scan-speeds) in the frequency, map and angular power spectrum domain. In addition, we probe the effect of high-pass and band-pass filters of the data stream and explore the HWP response in the minimal case of one detector for one operation day (critical for the single-detector calibration process). We finally test the modulation performance against typical HWP-induced systematics. Our analysis shows that some stepped HWP schemes, either slowly rotating or combined with slow telescope modulations, represent poor choices. Moreover, our results point out that the nominal configuration may not be the most convenient choice. While a large class of spinning designs provides comparable results in terms of pixel angle coverage, map-making residuals and BB power spectrum standard deviations with respect to the nominal strategy, we find that some specific configurations (e.g., a rapidly spinning HWP with a slow gondola modulation) allow a more efficient polarization recovery in more general real-case situations. Although our simulations are specific to the LSPE-SWIPE mission, the general outcomes of our analysis can be easily generalized to other CMB polarization experiments.


title: Multivariate reciprocal inverse Gaussian distributions from the Sabot -Tarr\`es -Zeng integral

abstract: In Sabot and Tarr\`es (2015), the authors have explicitly computed the integral $$STZ_n=\int \exp( -\langle x,y\rangle)(\det M_x)^{-1/2}dx$$ where $M_x$ is a symmetric matrix of order $n$ with fixed non positive off-diagonal coefficients and with diagonal $(2x_1,\ldots,2x_n)$. The domain of integration is the part of $\mathbb{R}^n$ for which $M_x$ is positive definite. We calculate more generally for $ b_1\geq 0,\ldots b_n\geq 0$ the integral $$GSTZ_n=\int \exp \left(-\langle x,y\rangle-\frac{1}{2}b^*M_x^{-1}b\right)(\det M_x)^{-1/2}dx,$$ we show that it leads to a natural family of distributions in $\mathbb{R}^n$, called the $GSTZ_n$ probability laws. This family is stable by marginalization and by conditioning, and it has number of properties which are multivariate versions of familiar properties of univariate reciprocal inverse Gaussian distribution. We also show that if the graph with the set of vertices $V=\{1,\ldots,n\}$ and the set $E$ of edges $\{i,j\}'$ s of non zero entries of $M_x$ is a tree, then the integral $$\int \exp( -\langle x,y\rangle)(\det M_x)^{q-1}dx$$ where $q>0,$ is computable in terms of the MacDonald function $K_q.$


title: Magnetic field suppression of Andreev conductance at superconductor-graphene interfaces

abstract: Studying the interplay between superconductivity and quantum magnetotransport in two-dimensional materials has been a topic of interest in recent years. Towards such a goal it is important to understand the impact of magnetic field on the charge transport at the superconductor-normal channel (SN) interface. Here we carried out a comprehensive study of Andreev conductance under weak magnetic fields using diffusive superconductor- graphene Josephson weak links. We observe that the Andreev conductance is suppressed even in magnetic fields far below the upper critical field of the superconductor. The suppression of Andreev conductance depends on and can be minimized by controlling the ramping of the magnetic field. We identify that the key factor behind this suppression is the reduction of the superconducting gap due to the piling of vortices on the superconducting contacts. In devices where superconducting gap at the superconductor-graphene interface is heavily reduced by proximity effect, the enlarged vortex cores overlap quickly with increasing magnetic field, resulting in a rapid decrease of the interfacial gap. However, in weak links with relatively large effective superconducting gap the AR conductance persists up to the upper critical field. Our results provide guidance to the study of quantum material-superconductor systems in presence of magnetic field, where 'survival' of induced superconductivity is critical.


title: Numerical Solutions for the orbital motion of the Solar System over the Past 100 Myr: Limits and new results

abstract: I report results from accurate numerical integrations of Solar System orbits over the past 100Myr with the integrator package HNBody. The simulations used different integrator algorithms, step sizes, initial conditions, and included effects from general relativity, different models of the Moon, the Sun's quadrupole moment, and up to sixteen asteroids. I also probed the potential effect of a hypothetical Planet 9, using one set of possible orbital elements. The most expensive integration (Bulirsch-Stoer) required 4~months wall-clock time with a maximum relative energy error <~3e{-13}. The difference in Earth's eccentricity (DeE) was used to track the difference between two solutions, considered to diverge at time tau when max|DeE| irreversibly crossed ~10\% of mean eE (~0.028x0.1). The results indicate that finding a unique orbital solution is limited by initial conditions from current ephemerides and asteroid perturbations to ~54Myr. Bizarrely, the 4-month Bulirsch-Stoer integration and a symplectic integration that required only 5~hours wall-clock time (12-day time step, Moon as a simple quadrupole perturbation), agree to ~63Myr. Internally, such symplectic integrations are remarkably consistent even for large time steps, suggesting that the relationship between time step and tau is not a robust indicator for the absolute accuracy of symplectic integrations. The effect of a hypothetical Planet~9 on DeE becomes discernible at ~65Myr. Using tau as a criterion, the current state-of-the-art solutions all differ from previously published results beyond ~50Myr. I also conducted an eigenmode analysis, which provides some insight into the chaotic nature of the inner Solar System. The current study provides new orbital solutions for applications in geological studies.


title: Linear Precoding with Low-Resolution DACs for Massive MU-MIMO-OFDM Downlink

abstract: We consider the downlink of a massive multiuser (MU) multiple-input multiple-output (MIMO) system in which the base station (BS) is equipped with low-resolution digital-to-analog converters (DACs). In contrast to most existing results, we assume that the system operates over a frequency-selective wideband channel and uses orthogonal frequency division multiplexing (OFDM) to simplify equalization at the user equipments (UEs). Furthermore, we consider the practically relevant case of oversampling DACs. We theoretically analyze the uncoded bit error rate (BER) performance with linear precoders (e.g., zero forcing) and quadrature phase-shift keying using Bussgang's theorem. We also develop a lower bound on the information-theoretic sum-rate throughput achievable with Gaussian inputs, which can be evaluated in closed form for the case of 1-bit DACs. For the case of multi-bit DACs, we derive approximate, yet accurate, expressions for the distortion caused by low-precision DACs, which can be used to establish lower bounds on the corresponding sum-rate throughput. Our results demonstrate that, for a massive MU-MIMO-OFDM system with a 128-antenna BS serving 16 UEs, only 3--4 DAC bits are required to achieve an uncoded BER of 10^-4 with a negligible performance loss compared to the infinite-resolution case at the cost of additional out-of-band emissions. Furthermore, our results highlight the importance of taking into account the inherent spatial and temporal correlations caused by low-precision DACs.


title: Massive gravity, canonical structure and gauge symmetry

abstract: Performing Hamiltonian analysis of the massive gravity [9] in full phase space, we see that the theory is ghost free. We also see in a more clear way that this result is intrinsic of the interaction term and does not depend on the variables involved. Since no first class constraint emerges, the theory seems to lack gauge symmetry. We show that this is due to the presence of an auxiliary field, and the symmetry may be manifest in the Stuckelberg formulation. We give the generating functional of gauge transformation in this model.


title: Hitting time and mixing time bounds of Stein's factors

abstract: For any discrete target distribution, we exploit the connection between Markov chains and Stein's method via the generator approach and express the solution of Stein's equation in terms of expected hitting time. This yields new upper bounds of Stein's factors in terms of the parameters of the Markov chain, such as mixing time and the gradient of expected hitting time. We compare the performance of these bounds with those in the literature, and in particular we consider Stein's method for discrete uniform, binomial, geometric and hypergeometric distribution. As another application, the same methodology applies to bound expected hitting time via Stein's factors. This article highlights the interplay between Stein's method, modern Markov chain theory and classical fluctuation theory.


title: Self-Attentive Residual Decoder for Neural Machine Translation

abstract: Neural sequence-to-sequence networks with attention have achieved remarkable performance for machine translation. One of the reasons for their effectiveness is their ability to capture relevant source-side contextual information at each time-step prediction through an attention mechanism. However, the target-side context is solely based on the sequence model which, in practice, is prone to a recency bias and lacks the ability to capture effectively non-sequential dependencies among words. To address this limitation, we propose a target-side-attentive residual recurrent network for decoding, where attention over previous words contributes directly to the prediction of the next word. The residual learning facilitates the flow of information from the distant past and is able to emphasize any of the previously translated words, hence it gains access to a wider context. The proposed model outperforms a neural MT baseline as well as a memory and self-attention network on three language pairs. The analysis of the attention learned by the decoder confirms that it emphasizes a wider context, and that it captures syntactic-like structures.


title: Optimization of the half wave plate configuration for the LSPE-SWIPE experiment

abstract: The search for the B-mode polarization of Cosmic Microwave Background (CMB) is the new frontier of observational Cosmology. A B-mode detection would give an ultimate confirmation to the existence of a primordial Gravitational Wave (GW) background as predicted in the inflationary scenario. Several experiments have been designed or planned to observe B-modes. In this work we focus on the forthcoming Large Scale Polarization Explorer (LSPE) experiment, that will be devoted to the accurate measurement of CMB polarization at large angular scales. LSPE consists of a balloon-borne bolometric instrument, the Short Wavelength Instrument for the Polarization Explorer (SWIPE), and a ground-based coherent polarimeter array, the STRatospheric Italian Polarimeter (STRIP). SWIPE will employ a rotating Half Wave Plate (HWP) polarization modulator to mitigate the systematic effects due to instrumental non-idealities. We present here preliminary forecasts aimed at optimizing the HWP configuration.


title: Factor Analysis of Interval Data

abstract: This paper presents a factor analysis model for symbolic data, focusing on the particular case of interval-valued variables. The proposed method describes the correlation structure among the measured interval-valued variables in terms of a few underlying, but unobservable, uncorrelated interval-valued variables, called \textit{common factors}. Uniform and Triangular distributions are considered within each observed interval. We obtain the corresponding sample mean, variance and covariance assuming a general Triangular distribution. In our proposal, factors are extracted either by Principal Component or by Principal Axis Factoring, performed on the interval-valued variables correlation matrix. To estimate the values of the common factors, usually called \textit{factor scores}, two approaches are considered, which are inspired in methods for real-valued data: the Bartlett and the Anderson-Rubin methods. In both cases, the estimated values are obtained solving an optimization problem that minimizes a function of the weighted squared Mallows distance between quantile functions. Explicit expressions for the quantile function and the squared Mallows distance are derived assuming a general Triangular distribution. The applicability of the method is illustrated using two sets of data: temperature and precipitation in cities of the United States of America between the years 1971 and 2000 and measures of car characteristics of different makes and models. Moreover, the method is evaluated on synthetic data with predefined correlation structures.


title: Quantum microwave-optical interface with nitrogen-vacancy centers in diamond

abstract: We propose an efficient scheme for a coherent quantum interface between microwave and optical photons using nitrogen-vacancy (NV) centers in diamond. In this setup, an NV center ensemble is simultaneously coupled to an optical and a microwave cavity. We show that, by using the collective spin excitation modes as an intermediary, quantum states can be transferred between the microwave cavity and the optical cavity through either a double-swap scheme or a dark-state protocol. This hybrid quantum interface may provide interesting applications in single microwave photon detections or quantum information processing.


title: Large deviation principle for dynamical systems coupled with diffusion-transmutation processes

abstract: In this paper, we introduce a mathematical apparatus that is relevant for understanding a dynamical system with small random perturbations and coupled with the so-called transmutation process -- where the latter jumps from one mode to another, and thus modifying the dynamics of the system. In particular, we study the exit problem, i.e., an asymptotic estimate for the exit probabilities with which the corresponding processes exit from a given bounded open domain, and then formally prove a large deviation principle for the exit position joint with the type occupation times as the random perturbation vanishes. Moreover, under certain conditions, the exit place and the type of distribution at the exit time are determined and, as a consequence of this, such information also give the limit of the Dirichlet problems for the associated partial differential equation systems with a vanishing small parameter.


title: Synthesizing Optimally Resilient Controllers

abstract: Recently, Dallal, Neider, and Tabuada studied a generalization of the classical game-theoretic model used in program synthesis, which additionally accounts for unmodeled intermittent disturbances. In this extended framework, one is interested in computing optimally resilient strategies, i.e., strategies that are resilient against as many disturbances as possible. Dallal, Neider, and Tabuada showed how to compute such strategies for safety specifications. In this work, we compute optimally resilient strategies for a much wider range of winning conditions and show that they do not require more memory than winning strategies in the classical model. Our algorithms only have a polynomial overhead in comparison to the ones computing winning strategies. In particular, for parity conditions, optimally resilient strategies are positional and can be computed in quasipolynomial time.


title: Thermal states of neutron stars with a consistent model of interior

abstract: We model the thermal states of both isolated neutron stars and accreting neutron stars in X-ray transients in quiescence and confront them with observations. We use an equation of state and superfluid baryon gaps, which are consistently calculated. We conclude that the direct Urca process is required to be consistent with low-luminous accreting neutron stars. In addition, proton superfluidity and sufficiently weak neutron superfluidity are necessary to explain the cooling of middle-aged neutron stars and to obtain a realistic distribution of neutron star masses.


title: Very Large Array Ammonia Observations of the HH 111/HH 121 Protostellar System: a Detection of a New Source With a Peculiar Chemistry

abstract: We present the results of Very Large Array NH$_{3}$ $(J,K)=(1,1)$ and $(2,2)$ observations of the HH 111/HH 121 protostellar system. HH 111, with a spectacular collimated optical jet, is one of the most well-known Herbig-Haro objects. We report the detection of a new source (NH$_{3}-$S) in the vicinity of HH 111/HH 121 ($\sim$0.03 pc from the HH 111 jet source) in two epochs of the ammonia observations. This constitutes the first detection of this source, in a region which has been thoroughly covered previously by both continuum and spectral line interferometric observations. We study the kinematic and physical properties of HH 111 and the newly discovered NH$_{3}-$S. We also use HCO$^{+}$ and HCN $(J=4-3)$ data obtained with the James Clerk Maxwell Telescope and archival Atacama Large Millimeter/submillimeter Array $^{13}$CO, $^{12}$CO, and C$^{18}$O $(J=2-1)$, N$_2$D$^{+}$ $(J=3-2)$, and $^{13}$CS $(J=5-4)$ data to gain insight into the nature of NH$_{3}-$S. The chemical structure of NH$_3-$S shows evidence for "selective freeze-out", an inherent characteristic of dense cold cores. The inner part of NH$_3-$S shows subsonic non-thermal velocity dispersions indicating a "coherent core", while they increase in the direction of the jets. Archival near- to far-infrared data show no indication of any embedded source in NH$_3-$S. The properties of NH$_3-$S and its location in the infrared dark cloud suggest that it is a starless core located in a turbulent medium with turbulence induced by Herbig-Haro jets and associated outflows. More data is needed to fully understand the physical and chemical properties of NH$_3-$S and if/how its evolution is affected by nearby jets.


title: A New Semantic Theory of Natural Language

abstract: Formal Semantics and Distributional Semantics are two important semantic frameworks in Natural Language Processing (NLP). Cognitive Semantics belongs to the movement of Cognitive Linguistics, which is based on contemporary cognitive science. Each framework could deal with some meaning phenomena, but none of them fulfills all requirements proposed by applications. A unified semantic theory characterizing all important language phenomena has both theoretical and practical significance; however, although many attempts have been made in recent years, no existing theory has achieved this goal yet. This article introduces a new semantic theory that has the potential to characterize most of the important meaning phenomena of natural language and to fulfill most of the necessary requirements for philosophical analysis and for NLP applications. The theory is based on a unified representation of information, and constructs a kind of mathematical model called cognitive model to interpret natural language expressions in a compositional manner. It accepts the empirical assumption of Cognitive Semantics, and overcomes most shortcomings of Formal Semantics and of Distributional Semantics. The theory, however, is not a simple combination of existing theories, but an extensive generalization of classic logic and Formal Semantics. It inherits nearly all advantages of Formal Semantics, and also provides descriptive contents for objects and events as fine-gram as possible, descriptive contents which represent the results of human cognition.


title: Pauli-Lubanski limit and stress-energy tensor for infinite-spin fields

abstract: String-localized quantum fields transforming in Wigner's infinite-spin representations were introduced by Mund, Schroer and Yngvason. We construct these fields as limits of fields of finite mass $m\to 0$ and finite spin $s\to\infty$. We determine a string-localized infinite-spin quantum stress-energy tensor with a novel prescription that does not refer to a classical Lagrangean.


title: Power Regulation in High Performance Multicore Processors

abstract: This paper presents, implements, and evaluates a power-regulation technique for multicore processors, based on an integral controller with adjustable gain. The gain is designed for wide stability margins, and computed in real time as part of the control law. The tracking performance of the control system is robust with respect to modeling uncertainties and computational errors in the loop. The main challenge of designing such a controller is that the power dissipation of program-workloads varies widely and often cannot be measured accurately; hence extant controllers are either ad hoc or based on a-priori modeling characterizations of the processor and workloads. Our approach is different. Leveraging the aforementioned robustness it uses a simple textbook modeling framework, and adjusts its parameters in real time by a system-identification module. In this it trades modeling precision for fast computations in the loop making it suitable for on-line implementation in commodity data-center processors. Consequently, the proposed controller is agnostic in the sense that it does not require any a-priori system characterizations. We present an implementation of the controller on Intel's fourth-generation microarchitecture, Haswell, and test it on a number of industry benchmark programs which are used in scientific computing and datacenter applications. Results of these experiments are presented in detail exposing the practical challenges of implementing provably-convergent power regulation solutions in commodity multicore processors.


title: Inflationary f(R) cosmologies

abstract: This paper discusses a simple procedure to reconstruct f (R)-gravity models from exact cosmological solutions of the Einstein field equations with a noninteracting classical scalar field-and-radiation background. From the kind of inflationary scenario we want, we show how the potential functions can be obtained. We then show how an f (R) gravitational Lagrangian density that mimics the same cosmological expansion as the scalar field-driven inflation of General Relativity can be reconstructed. As a demonstration, we calculate the slow-roll parameters (the spectral index n s and the tensor-to-scalar ratio r) and compare them to the Planck data.


title: Gyrokinetic Stability of Electron-Positron-Ion Plasmas

abstract: The gyrokinetic stability of electron-positron plasmas contaminated by ion (proton) admixture is studied in slab geometry. The appropriate dispersion relation is derived and solved. The ion-temperature-gradient driven instability, the electron-temperature-gradient driven instability, the universal mode, and the shear Alfven wave are considered. The contaminated plasma remains stable if the contamination degree is below some threshold, and it is found that the shear Alfven wave can be present in a contaminated plasma in cases where it is absent without ion contamination.


title: Random Forests of Interaction Trees for Estimating Individualized Treatment Effects in Randomized Trials

abstract: Assessing heterogeneous treatment effects has become a growing interest in advancing precision medicine. Individualized treatment effects (ITE) play a critical role in such an endeavor. Concerning experimental data collected from randomized trials, we put forward a method, termed random forests of interaction trees (RFIT), for estimating ITE on the basis of interaction trees (Su et al., 2009). To this end, we first propose a smooth sigmoid surrogate (SSS) method, as an alternative to greedy search, to speed up tree construction. RFIT outperforms the traditional `separate regression' approach in estimating ITE. Furthermore, standard errors for the estimated ITE via RFIT can be obtained with the infinitesimal jackknife method. We assess and illustrate the use of RFIT via both simulation and the analysis of data from an acupuncture headache trial.


title: Seeds Buffering for Information Spreading Processes

abstract: Seeding strategies for influence maximization in social networks have been studied for more than a decade. They have mainly relied on the activation of all resources (seeds) simultaneously in the beginning; yet, it has been shown that sequential seeding strategies are commonly better. This research focuses on studying sequential seeding with buffering, which is an extension to basic sequential seeding concept. The proposed method avoids choosing nodes that will be activated through the natural diffusion process, which is leading to better use of the budget for activating seed nodes in the social influence process. This approach was compared with sequential seeding without buffering and single stage seeding. The results on both real and artificial social networks confirm that the buffer-based consecutive seeding is a good trade-off between the final coverage and the time to reach it. It performs significantly better than its rivals for a fixed budget. The gain is obtained by dynamic rankings and the ability to detect network areas with nodes that are not yet activated and have high potential of activating their neighbours.


title: Food Recognition using Fusion of Classifiers based on CNNs

abstract: With the arrival of convolutional neural networks, the complex problem of food recognition has experienced an important improvement in recent years. The best results have been obtained using methods based on very deep convolutional neural networks, which show that the deeper the model,the better the classification accuracy will be obtain. However, very deep neural networks may suffer from the overfitting problem. In this paper, we propose a combination of multiple classifiers based on different convolutional models that complement each other and thus, achieve an improvement in performance. The evaluation of our approach is done on two public datasets: Food-101 as a dataset with a wide variety of fine-grained dishes, and Food-11 as a dataset of high-level food categories, where our approach outperforms the independent CNN models.


title: First Indirect X-Ray Imaging Tests With An 88-mm Diameter Single Crystal

abstract: Using the 1-BM-C beamline at the Advanced Photon Source (APS), we have performed the initial indirect x-ray imaging point-spread-function (PSF) test of a unique 88-mm diameter YAG:Ce single crystal of only 100-micron thickness. The crystal was bonded to a fiber optic plate (FOP) for mechanical support and to allow the option for FO coupling to a large format camera. This configuration resolution was compared to that of self-supported 25-mm diameter crystals, with and without an Al reflective coating. An upstream monochromator was used to select 17-keV x-rays from the broadband APS bending magnet source of synchrotron radiation. The upstream, adjustable Mo collimators were then used to provide a series of x-ray source transverse sizes from 200 microns down to about 15-20 microns (FWHM) at the crystal surface. The emitted scintillator radiation was in this case lens coupled to the ANDOR Neo sCMOS camera, and the indirect x-ray images were processed offline by a MATLAB-based image processing program. Based on single Gaussian peak fits to the x-ray image projected profiles, we observed a 10.5 micron PSF. This sample thus exhibited superior spatial resolution to standard P43 polycrystalline phosphors of the same thickness which would have about a 100-micron PSF. This single crystal resolution combined with the 88-mm diameter makes it a candidate to support future x-ray diffraction or wafer topography experiments.


title: Dynamic Network: Graphical Deformation of Penetrated Objects

abstract: In a computer-based virtual environment, objects may collide with each other. Therefore, different algorithms are needed to detect the collision and perform a correct action in order to avoid penetration. Based on the application and objects physical characteristics, a correct action can include separating or deforming the penetrated objects. In this article, by using the concepts of dynamic networks and simple physics, a method for deforming two penetrated 3D objects is proposed. In this method, we consider each primitive of the objects as an element interacting with the other elements in a dynamic network. These kinds of interactions make the elements impose force on each other and change their position, until a force-balance happens. The proposed method is implemented and tested on 3D sample objects, and the resulted deformation proved to be visually satisfying.


title: The formation of the Milky Way halo and its dwarf satellites; a NLTE-1D abundance analysis. II. Early chemical enrichment

abstract: We present the non-local thermodynamic equilibrium (NLTE) abundances of up to 10 chemical species in a sample of 59 very metal-poor (VMP, -4 < [Fe/H] < -2) stars in seven dwarf spheroidal galaxies (dSphs) and in the Milky Way (MW) halo. Our results are based on high-resolution spectroscopic datasets and homogeneous and accurate atmospheric parameters determined in PaperI. We show that once the NLTE effects are properly taken into account, all massive galaxies in our sample, that is, the MW halo and the classical dSphs Sculptor, Ursa Minor, Sextans, and Fornax, reveal a similar plateau at [alpha/Fe] ~ 0.3 for each of the alpha-process elements: Mg, Ca, and Ti. We put on a firm ground the evidence for a decline in alpha/Fe with increasing metallicity in the BootesI ultra-faint dwarf galaxy (UFD), that is most probably due to the ejecta of type Ia supernovae. For Na/Fe, Na/Mg, and Al/Mg, the MW halo and all dSphs reveal indistinguishable trends with metallicity, suggesting that the processes of Na and Al synthesis are identical in all systems, independent of their mass. The dichotomy in the [Sr/Ba] versus [Ba/H] diagram is observed in the classical dSphs, similarly to the MW halo, calling for two different nucleosynthesis channels for Sr. We show that Sr in the massive galaxies is well correlated with Mg suggesting a strong link to massive stars and that its production is essentially independent of Ba, for most of the [Ba/H] range. Our three UFDs: BootesI, UMaII, and LeoIV are depleted in Sr and Ba relative to Fe and Mg, with very similar ratios of [Sr/Mg] ~ -1.3 and [Ba/Mg] ~ -1 on the entire range of their Mg abundances. The subsolar Sr/Ba ratios of Bootes I and UMa II indicate a common r-process origin of their neutron-capture elements. Sculptor remains the classical dSph, in which the evidence for inhomogeneous mixing in the early evolution stage, at [Fe/H] < -2, is the strongest.


title: Uncovering inequality through multifractality of land prices: 1912 Kyoto, a case study

abstract: Multifractal analysis offers a number of advantages to measure spatial economic segregation and inequality, as it is free of categories and boundaries definition problems and is insensitive to some shape-preserving changes in the variable distribution. We use two datasets describing Kyoto land prices in 1912 and 2012 and derive city models from this data to show that multifractal analysis is suitable to describe the heterogeneity of land prices. We found in particular a sharp decrease in multifractality, characteristic of homogenisation, between older Kyoto and present Kyoto, and similarities both between present Kyoto and present London, and between Kyoto and Manhattan as they were a century ago. In addition, we enlighten the preponderance of spatial distribution over variable distribution in shaping the multifractal spectrum. The results were tested against the classical segregation and inequality indicators, and found to offer an improvement over those.


title: Investigating the Effects of the Interaction Intensity in a Weak Measurement

abstract: Measurements are crucial in quantum mechanics, in fundamental research as well as in applicative fields like quantum metrology, quantum-enhanced measurements and other quantum technologies. In the recent years, weak-interaction-based protocols like Weak Measurements and Protective Measurements have been experimentally realized, showing peculiar features leading to surprising advantages in several different applications. In this work we analyze the validity range for such measurement protocols, that is, how the interaction strength affects the weak value extraction, by measuring different polarization weak values measured on heralded single photons. We show that, even in the weak interaction regime, the coupling intensity limits the range of weak values achievable, putting a threshold on the signal amplification effect exploited in many weak measurement based experiments.


title: A linear time algorithm to cover and hit a set of line segments optimally by two axis-parallel squares

abstract: This paper discusses the problem of covering and hitting a set of line segments $\cal L$ in ${\mathbb R}^2$ by a pair of axis-parallel squares such that the side length of the larger of the two squares is minimized. We also discuss the restricted version of covering, where each line segment in $\cal L$ is to be covered completely by at least one square. The proposed algorithm for the covering problem reports the optimum result by executing only two passes of reading the input data sequentially. The algorithm proposed for the hitting and restricted covering problems produces optimum result in $O(n)$ time. All the proposed algorithms are in-place, and they use only $O(1)$ extra space. The solution of these problems also give a $\sqrt{2}$ approximation for covering and hitting those line segments $\cal L$ by two congruent disks of minimum radius with same computational complexity.


title: Local disorder in Na0.5Bi0.5TiO3-piezoceramic determined by 3D electron diffuse scattering

abstract: Local structural distortions in Na0.5Bi0.5TiO3-based solid solutions have been proved to play a crucial role in understanding and tuning their enhanced piezoelectric properties near the morphotropic phase boundary. In this work all local structural disorders in a lead-free ternary system, namely 85%Na0.5Bi0.5TiO3-10%Bi0.5K0.5TiO3-5%BaTiO3, were mapped in reciprocal space by 3D electron diffraction. Furthermore, a comprehensive model of the local disorder was developed by analysing the intensity and morphology of the observed weak diffuse scattering. We found that the studied ceramics consists of plate-like in-phase oxygen octahedral nanoscale domains randomly distributed in an antiphase tilted matrix. In addition, A-site chemical short-range order of Na/Bi and polar displacements contribute to different kinds of diffuse scattering. The proposed model explains all the observed diffraction features and offers insight into the ongoing controversy over the nature of local structural distortions in Na0.5Bi0.5TiO3-based solid solutions.


title: The peculiar fast-rotating star 51 Oph probed by VEGA/CHARA

abstract: Stellar rotation is a key in our understanding of both mass-loss and evolution of intermediate and massive stars. It can lead to anisotropic mass-loss in the form of radiative wind or an excretion disk. We wished to spatially resolve the photosphere and gaseous environment of 51 Oph, a peculiar star with a very high vsin(i) of 267km s$^{-1}$ and an evolutionary status that remains unsettled. It has been classified by different authors as a Herbig, a $\beta$ Pic, or a classical Be star. We used the VEGA visible beam combiner installed on the CHARA array that reaches a submilliarcsecond resolution. Observation were centered on the H$\alpha$ emission line. We derived, for the first time, the extension and flattening of 51 Oph photosphere. We found a major axis of $\theta_{{\mathrm{eq}}}$=8.08$\pm$0.70$R_\odot$ and a minor axis of $\theta_{{\mathrm{pol}}}$=5.66$\pm$0.23$R_\odot$ . This high photosphere distortion shows that the star is rotating close to its critical velocity. Finally, using spectro-interferometric measurements in the H$ \alpha$ line, we constrained the circumstellar environment geometry and kinematics and showed that the emission is produced in a 5.2$\pm$2R$_{*}$ disk in Keplerian rotation. From the visible point of view, 51 Oph presents all the features of a classical Be star: near critical-rotation and double-peaked H$\alpha $ line in emission produced in a gaseous disk in Keplerian rotation. However, this does not explain the presence of dust as seen in the mid-infrared and millimeter spectra, and the evolutionary status of 51 Oph remains unsettled.


title: Convolution semigroups on locally compact quantum groups and noncommutative Dirichlet forms

abstract: The subject of this paper is the study of convolution semigroups of states on a locally compact quantum group, generalising classical families of distributions of a L\'{e}vy process on a locally compact group. In particular a definitive one-to-one correspondence between symmetric convolution semigroups of states and noncommutative Dirichlet forms satisfying the natural translation invariance property is established, extending earlier partial results and providing a powerful tool to analyse such semigroups. This is then applied to provide new characterisations of the Haagerup Property and Property (T) for locally compact quantum groups, and some examples are presented. The proofs of the main theorems require developing certain general results concerning Haagerup's $L^{p}$-spaces.


title: The 17 February 2013 sunquake in the context of the active region's magnetic field configuration

abstract: Sunquakes are created by the hydrodynamic response of the lower atmosphere to a sudden deposition of energy and momentum. In this study we investigate a sunquake that occurred in NOAA active region 11675 on 17 February 2013. Observations of the corona, chromosphere and photosphere are brought together for the first time with a non-linear force-free model of the active region's magnetic field in order to probe the magnetic environment in which the sunquake was initiated. We find that the sunquake was associated with the destabilization of a flux rope and an associated M-class GOES flare. Active region 11675 was in its emergence phase at the time of the sunquake and photospheric motions caused by the emergence heavily modified the flux rope and its associated quasi-separatrix layers, eventually triggering the flux rope's instability. The flux rope was surrounded by an extended envelope of field lines rooted in a small area at the approximate position of the sunquake. We argue that the configuration of the envelope, by interacting with the expanding flux rope, created a "magnetic lens" that may have focussed energy in one particular location the photosphere, creating the necessary conditions for the initiation of the sunquake.