title: The General 3-Graviton Vertex ($TTT$) of Conformal Field Theories in Momentum Space in $d=4$

abstract: We present a study of the correlation function of three stress-energy tensors in $d$ dimensions using free field theory realizations, and compare them to the exact solutions of their conformal Ward identities (CWI's) obtained by a general approach in momentum space. The identification of the corresponding form factors is performed within a reconstruction method, based on the identification of the transverse traceless components $(A_i)$ of the same correlator. The solutions of the primary CWI' s are found by exploiting the universality of the Fuchsian indices of the conformal operators and a re-arrangement of the corresponding inhomogenous hypergeometric systems. We confirm the number of constants in the solution of the primary CWI's of previous analysis. In our comparison with perturbation theory, we discuss scalar, fermion and spin 1 exchanges at 1-loop in dimensional regularization. Explicit checks in $d=3$ and $d=5$ prove the consistency of this correspondence. By matching the 3 constants of the CFT solution with the 3 free field theory sectors available in d=4, the general solutions of the conformal constraints is expressed just in terms of ordinary scalar 2- and 3-point functions $(B_0,C_0)$. We show how the renormalized $d=4$ TTT vertex separates naturally into the sum of a traceless and an anomaly part, the latter determined by the anomaly functional and generated by the renormalization of the correlator in dimensional regularization. The result confirms the emergence of anomaly poles and effective massless exchanges as a specific signature of conformal anomalies in momentum space, directly connected to the renormalization of the corresponding gravitational vertices, generalizing the behaviour found for the $TJJ$ vertex in previous works.


title: Post-processing minimal joint observables

abstract: A finite set of quantum observables (positive operator valued measures) is called compatible if these observables are marginals of a some observable, called a joint observable of them. For a given set of compatible observables, their joint observable is in general not unique and it is desirable to take a minimal joint observable in the post-processing order since a less informative observable disturbs less the system. We address the question of the minimality of finite-outcome joint observables and prove that any joint observable is lower bounded by a minimal joint observable in the post-processing order. We also give characterizations of the minimality of a joint observable that can be checked by finite-step algorithms and apply them to the case of non-commuting dichotomic qubit observables.


title: Duality for open fermion systems: energy-dependent weak coupling and quantum master equations

abstract: Open fermion systems with energy-independent bilinear coupling to a fermionic environment have been shown to obey a general duality relation [Phys. Rev. B 93, 81411 (2016)] which allows for a drastic simplification of time-evolution calculations. In the weak-coupling limit, such a system can be associated with a unique dual physical system in which all energies are inverted, in particular the internal interaction. This paper generalizes this fermionic duality in two ways: we allow for weak coupling with arbitrary energy dependence and describe both occupations and coherences coupled by a quantum master equation for the density operator. We also show that whenever generalized detailed balance holds (Kolmogorov criterion), the stationary probabilities for the dual system can be expressed explicitly in terms of the stationary recurrence times of the original system, even at large bias. We illustrate the generalized duality by a detailed analysis of the rate equation for a quantum dot with strong onsite Coulomb repulsion, going beyond the commonly assumed wideband limit. We present predictions for (i) the decay rates for transient charge and heat currents after a gate-voltage quench and (ii) the thermoelectric linear response coefficients in the stationary limit. We show that even for pronouncedly energy-dependent coupling, all nontrivial parameter dependence in these problems is entirely captured by just two well-understood stationary variables, the average charge of the system and of the dual system. Remarkably, it is the latter that often dictates the most striking features of the measurable quantities (e.g., positions of resonances), underscoring the importance of the dual system for understanding the actual one.


title: Tracking the dynamics of skyglow with differential photometry using a digital camera with fisheye lens

abstract: Artificial skyglow is dynamic due to changing atmospheric conditions and the switching on and off of artificial lights throughout the night. Street lights as well as the ornamental illumination of historical sites and buildings are sometimes switched off at a certain time to save energy. Ornamental lights in particular are often directed upwards, and can therefore have a major contribution towards brightening of the night sky. Here we use differential photometry to investigate the change in night sky brightness and illuminance during an automated regular switch-off of ornamental light in the town of Balaguer and an organized switch-off of all public lights in the village of \`Ager, both near Montsec Astronomical Park in Spain. The sites were observed during two nights with clear and cloudy conditions using a DSLR camera and a fisheye lens. A time series of images makes it possible to track changes in lighting conditions and sky brightness simultaneously. During the clear night, the ornamental lights in Balaguer contribute over 20% of the skyglow at zenith at the observational site. Furthermore, we are able to track very small changes in the ground illuminance on a cloudy night near \`Ager.


title: Phenomenology of Quantum Reduced Loop Gravity in the isotropic cosmological sector

abstract: Quantum reduced loop gravity is designed to consistently study symmetry reduced systems within the loop quantum gravity framework. In particular, it bridges the gap between the effective cosmological models of loop quantum cosmology and the full theory, addressing the dynamics before the minisuperspace reduction. This mostly preserves the graph structure and SU(2) quantum numbers. In this article, we study the phenomenological consequences of the isotropic sector of the theory, the so-called emergent bouncing universe model. In particular, the parameter space is scanned and we show that the number of inflationary e-folds is almost always higher than the observational lower-bound. We also compute the primordial tensor power spectrum and study its sensitivity upon the fundamental parameters used in the model.


title: Diffuse interstellar bands in the HII region M17: Insights into their relation with the total-to-selective visual extinction $R_V$

abstract: Diffuse interstellar bands (DIBs) are broad absorption features measured in sightlines probing the diffuse interstellar medium. Although large carbon-bearing molecules have been proposed as the carriers producing DIBs, their identity remains unknown. The sight line to the young massive star-forming region M17 shows anomalous extinction in the sense that the total-to-selective extinction parameter differs significantly from the average Galactic value and may reach values $R_{V} > 4$. Given the high $R_V$ values, we investigate whether the DIBs in sight lines towards young OB stars in M17 show a peculiar behaviour. We measure the properties of the most prominent DIBs in M17 and study these as a function of $E(B-V)$ and $R_{V}$. The DIB strengths in M17 concur with the observed relations between DIB equivalent width and reddening $E(B-V)$ in Galactic sight lines. For several DIBs we discover a linear relation between the normalised DIB strength EW/$A_{V}$ and $R_{V}^{-1}$. These trends suggest two groups: (i) a group of ten moderately strong DIBs that show a sensitivity to changes in $R_{V}$ that is modest and proportional to DIB strength, and (ii) a group of four very strong DIBs that react sensitively and to a similar degree to changes in $R_{V}$, but in a way that does not appear to depend on DIB strength. The DIB behaviour as a function of reddening is not peculiar in sight lines to M17. Also, we do not detect anomalous DIB profiles as seen in Her 36. DIBs are stronger, per unit visual extinction, in sight lines characterised by a smaller value of $R_{V}$ (large fraction of small dust particles). New relations between extinction normalised DIB strengths, EW/$A_V$, and $R_V$ support the idea that DIB carriers and interstellar dust are connected. Given the distinct behaviour of two groups of DIBs, different types of carriers do not necessarily relate to the dust grains in a similar way.


title: A List of Problems on the Reverse Mathematics of Ramsey Theory on the Rado Graph and on Infinite, Finitely Branching Trees

abstract: This list presents problems in the Reverse Mathematics of infinitary Ramsey theory which I find interesting but do not personally have the techniques to solve. The intent is to enlist the help of those working in Reverse Mathematics to take on such problems, and the myriad of related questions one can infer from them. A short bit of background and starting references are provided.


title: Fine shape I

abstract: We introduce and develop fine shape, which has a very simple definition and aims to supersede all previously known shape theories for metrizable spaces. The problem with known shape theories of metrizable spaces is illustrated by the following bizarre situation. \v{C}ech cohomology is an invariant of shape, and a fortiori of strong shape. But Steenrod-Sitnikov homology is not shape invariant (already for compacta) and has not been proved to be strong shape invariant (in more than 40 years). Worse yet, there is an ordinary homology theory that is strong shape invariant by design, but it cannot be computed in ZFC for simplest non-compact non-ANRs (such as the disjoint union of countably many copies of the one-point compactification of the countable discrete space). On the other hand, Steenrod-Sitnikov homology is an invariant of antishape (=compactly generated strong shape), and a fortiori of strong antishape. However, \v{C}ech cohomology is not antishape invariant (already for ANRs) and has not been proved to be strong antishape invariant. And there is an ordinary cohomology theory that is strong antishape invariant by design, but it cannot be computed in ZFC for simplest non-compact non-ANRs. Even though strong shape and strong antishape differ from each other by exchanging direct and inverse limits, we show that their natural "corrections" (taking into account a topology on the indexing sets) coincide for all metrizable spaces. This common "correction", called fine shape, is much simpler than the original theories and has both \v{C}ech cohomology and Steenrod-Sitnikov homology as its invariants. For ANRs fine shape coincides with homotopy, for compacta with strong shape, and for locally compact separable metrizable spaces - with strong antishape. We prove that a (co)homology theory is fine shape invariant if and only if it satisfies the map excision axiom.


title: $\alpha$ Decays in Superstrong Static Electric Fields

abstract: Superstrong static electric fields could deform Coulomb barriers between $\alpha$ clusters and daughter nuclei, and bring up the possibility of speeding up $\alpha$ decays. We adopt a simplified model for the spherical $\alpha$ emitter $^{212}$Po and study its responses to superstrong static electric fields. We find that, superstrong electric fields with field strengths $|\mathbf{E}|\sim0.1$ MV/fm could turn the angular distribution of $\alpha$ emissions from isotropic to strongly anisotropic, and speed up $\alpha$ decays by more than one order of magnitude. We also study the influences of superstrong electric fields along the Po isotope chains, and discuss the implications of our studies on $\alpha$ decays in superstrong monochromatic laser fields. The study here might be helpful for future theoretical studies of $\alpha$ decay in realistic superstrong laser fields.


title: Collisions involving antiprotons and antihydrogen: an overview

abstract: I give an overview of experimental and theoretical results for antiproton and antihydrogen scattering with atoms and molecules (in particular H, He). At low energies ($\lesssim1$~keV) there are practically no experimental data available. Instead I compare the results from different theoretical calculations, of various degrees of sophistication. At energies up to a few 10:s of eV, I focus on simple approximations that give reasonably accurate results, as these allow quick estimates of collision rates without embarking on a research project.


title: Asheetoxy: A Taxonomy for Classifying Negative Spreadsheet-related Phenomena

abstract: Spreadsheets (sometimes also called Excel programs) are powerful tools which play a business-critical role in many organizations. However, due to faulty spreadsheets many bad decisions have been taken in recent years. Since then, a number of researchers have been studying spreadsheet errors. However, one issue that hinders discussion among researchers and professionals is the lack of a commonly accepted taxonomy. Albeit a number of taxonomies for spreadsheet errors have been proposed in previous work, a major issue is that they use the term error that itself is already ambiguous. Furthermore, to apply most existing taxonomies, detailed knowledge about the underlying process and knowledge about the "brain state" of the acting spreadsheet users is required. Due to these limitations, known error-like phenomena in freely available spreadsheet corpora cannot be classified with these taxonomies. We propose Asheetoxy, a simple and phenomenon-oriented taxonomy that avoids the problematic term error altogether. An initial study with 7 participants indicates that even non-spreadsheet researchers similarly classify real-world spreadsheet phenomena using Asheetoxy.


title: Automated Scene Flow Data Generation for Training and Verification

abstract: Scene flow describes the 3D position as well as the 3D motion of each pixel in an image. Such algorithms are the basis for many state-of-the-art autonomous or automated driving functions. For verification and training large amounts of ground truth data is required, which is not available for real data. In this paper, we demonstrate a technology to create synthetic data with dense and precise scene flow ground truth.


title: Geometric properties of extremal sets for the dimension comparison in Carnot groups of step 2

abstract: In Carnot groups of step 2 we consider sets having maximal or minimal possible homogeneous Hausdorff dimension compared to their Euclidean one: in the first case we prove that they must be in a sense vertical, that is a large part of these sets can lie off horizontal planes through their points, and in the latter case close to horizontal. The examples that had been used to prove the sharpness of the sub-Riemannian versus Euclidean dimension comparison intuitively satisfied these geometric properties, which we here quantify and prove to be necessary. We also show the sharpness of our statements with some examples. This paper generalizes the analogue results proved by Mattila and the author in the first Heisenberg group.


title: Woods-Saxon-Gaussian Potential and Alpha-Cluster Structures of Alpha+Closed Shell Nuclei

abstract: The Woods-Saxon-Gaussian (WSG) potential is proposed as a new phenomenological potential to describe systematically the level scheme, electromagnetic transitions, and alpha-decay half-lives of the alpha-cluster structures in various alpha+closed shell nuclei. It modifies the original Woods-Saxon (WS) potential with a shifted Gaussian factor centered at the nuclear surface. We determine the free parameters in the WSG potential by reproducing the correct level scheme of $^{212}\text{Po}={}^{208}\text{Pb}+\alpha$. It is found that the resulting WSG potential matches with the M3Y double-folding potential at the surface region and makes corrections to the inner part of the cluster-core potential. We also find that the WSG potential with the almost same parameters determined for $^{212}$Po (except for a rescaled radius) could also be used to describe alpha-cluster structures in $^{20}\text{Ne}={}^{16}\text{O}+\alpha$ and $^{44}\text{Ti}={}^{40}\text{Ca}+\alpha$. In all three cases, the calculated values of the level schemes, electromagnetic transitions, and alpha-decay half-lives agree with the experimental data, which shows that the WSG potential could indeed grasp many important features of the alpha-cluster structures in alpha+closed shell nuclei. The study here is a useful complement to the existing cluster-core potentials in literature. The Gaussian form factor centered at the nuclear surface might also help deepen our understanding on the alpha-cluster formation taking place around the same place.


title: Dyonic Catalysis in the KPV Vacuum Decay

abstract: We investigate catalysis induced by a dyonic impurity in the metastable vacuum studied by Kachru, Pearson and Verlinde, which can be relevant to vacuum decay in the KKLT scenario. The impurity is a D3-brane wrapping on $ \mathbb{S}^3$ in the Klebanov-Strassler geometry. The effect of the D3-brane can be encoded in the world-volume theory of an NS5-brane as an electromagnetic field on it. As the field strength becomes large, instability of the vacuum enhances. As a result, the lifetime of the metastable vacuum becomes drastically shorter.


title: A Quantitative Comparison of Exoplanet Catalogs

abstract: In this study, we investigated the differences between four commonly-used exoplanet catalogs (exoplanet.eu; exoplanetarchive.ipac.caltech.edu; openexoplanetcatalogue.com; exoplanets.org) using a Kolmogorov-Smirnov (KS) test. We found a relatively good agreement in terms of the planetary parameters (mass, radius, period) and stellar properties (mass, temperature, metallicity), although a more careful analysis of the overlap and unique parts of each catalog revealed some differences. We quantified the statistical impact of these differences and their potential cause. We concluded that although statistical studies are unlikely to be significantly affected by the choice of catalog, it would be desirable to have one consistent catalog accepted by the general exoplanet community as a base for exoplanet statistics and comparison with theoretical predictions.


title: The functor of singular chains detects weak homotopy equivalences

abstract: The normalized singular chains of a path connected pointed space $X$ may be considered as a connected $E_{\infty}$-coalgebra $\mathbf{C}_*(X)$ with the property that the $0^{\text{th}}$ homology of its cobar construction, which is naturally a cocommutative bialgebra, has an antipode, i.e. it is a cocommutative Hopf algebra. We prove that a continuous map of path connected pointed spaces $f: X\to Y$ is a weak homotopy equivalence if and only if $\mathbf{C}_*(f): \mathbf{C}_*(X)\to \mathbf{C}_*(Y)$ is an $\mathbf{\Omega}$-quasi-isomorphism, i.e. a quasi-isomorphism of dg algebras after applying the cobar functor $\mathbf{\Omega}$ to the underlying dg coassociative coalgebras. The proof is based on combining a classical theorem of Whitehead together with the observation that the fundamental group functor and the data of a local system over a space may be described functorially from the algebraic structure of the singular chains.


title: Edge and bulk localization of Floquet topological superconductors

abstract: We study the bulk and edge properties of a driven Kitaev chain, where the driving is performed as instantaneous quenches of the on-site energies. We identify three periodic driving regimes: low period, which is equivalent to a static model, with renormalized parameters obtained from the Baker-Campbell-Hausdorff (BCH) expansion; intermediate period, where the first order BCH expansion breaks down; and high period when the quasienergy gap at $\omega/2$ closes. We investigate the dynamical localization properties for the case of quasiperiodic potential driving as a function of its amplitude and the pairing strength, obtaining regimes with extended, critical and localized bulk states, if the driving is performed at high frequencies. In these, we characterize wave-packet propagation, obtaining ballistic, subdiffusive and absence of spreading, respectively. In the intermediate period regime, we find an additional region in the phase diagram with a mobility edge between critical and localized states. Further, we investigate the stability of these phases under time-aperiodicity on the drivings, observing that the system eventually thermalizes: It results in featureless random states which can be described by the symmetry of the Hamiltonian. In a system with open edges, we find that both Majorana and fermionic localized edge modes can be engineered with a spatially quasiperiodic potential. Besides, we demonstrate the possibility of creating multiple Majorana $0$ and $\pi$ modes in a driven setting, even if the underlying static Hamiltonian is in its trivial phase. Lastly, we study the robustness of the Majorana modes against the aperiodicity in the driving period, showing that the ones created via quasiperiodic potential are more robust to the decoherence. Moreover, we find an example where Majorana mode is robust, provided that it is chosen from a special point in the topological region.


title: Learning to adapt: a meta-learning approach for speaker adaptation

abstract: The performance of automatic speech recognition systems can be improved by adapting an acoustic model to compensate for the mismatch between training and testing conditions, for example by adapting to unseen speakers. The success of speaker adaptation methods relies on selecting weights that are suitable for adaptation and using good adaptation schedules to update these weights in order not to overfit to the adaptation data. In this paper we investigate a principled way of adapting all the weights of the acoustic model using a meta-learning. We show that the meta-learner can learn to perform supervised and unsupervised speaker adaptation and that it outperforms a strong baseline adapting LHUC parameters when adapting a DNN AM with 1.5M parameters. We also report initial experiments on adapting TDNN AMs, where the meta-learner achieves comparable performance with LHUC.


title: Most Permissive Semantics of Boolean Networks

abstract: As shown in (http://dx.doi.org/10.1101/2020.03.22.998377), the usual update modes of Boolean networks (BNs), including synchronous and (generalized) asynchronous, fail to capture behaviors introduced by multivalued refinements. Thus, update modes do not allow a correct abstract reasoning on dynamics of biological systems, as they may lead to reject valid BN models.This technical report lists the main definitions and properties of the most permissive semantics of BNs introduced in http://dx.doi.org/10.1101/2020.03.22.998377. This semantics meets with a correct abstraction of any multivalued refinements, with any update mode. It subsumes all the usual updating modes, while enabling new behaviors achievable by more concrete models. Moreover, it appears that classical dynamical analyzes of reachability and attractors have a simpler computational complexity:- reachability can be assessed in a polynomial number of iterations. The computation of iterations is in NP in the very general case, and is linear when local functions are monotonic, or with some usual representations of functions of BNs (binary decision diagrams, Petri nets, automata networks, etc.). Thus, reachability is in P with locally-monotonic BNs, and P$^{\text{NP}}$ otherwise (instead of being PSPACE-complete with update modes);- deciding wherever a configuration belongs to an attractor is in coNP with locally-monotonic BNs, and coNP$^{\text{coNP}}$ otherwise (instead of PSPACE-complete with update modes).Furthermore, we demonstrate that the semantics completely captures any behavior achievable with any multilevel or ODE refinement of the BN; and the semantics is minimal with respect to this model refinement criteria: to any most permissive trajectory, there exists a multilevel refinement of the BN which can reproduce it.In brief, the most permissive semantics of BNs enables a correct abstract reasoning on dynamics of BNs, with a greater tractability than previously introduced update modes.


title: Deciding Robust Feasibility and Infeasibility Using a Set Containment Approach: An Application to Stationary Passive Gas Network Operations

abstract: In this paper we study feasibility and infeasibility of nonlinear two-stage fully adjustable robust feasibility problems with an empty first stage. This is equivalent to deciding whether the uncertainty set is contained within the projection of the feasible region onto the uncertainty-space. Moreover, the considered sets are assumed to be described by polynomials. For answering this question, two very general approaches using methods from polynomial optimization are presented - one for showing feasibility and one for showing infeasibility. The developed methods are approximated through sum of squares polynomials and solved using semidefinite programs. Deciding robust feasibility and infeasibility is important for gas network operations, which is a nonconvex feasibility problem where the feasible set is described by a composition of polynomials with the absolute value function. Concerning the gas network problem, different topologies are considered. It is shown that a tree structured network can be decided exactly using linear programming. Furthermore, a method is presented to reduce a tree network with one additional arc to a single cycle network. In this case, the problem can be decided by eliminating the absolute value functions and solving the resulting linearly many polynomial optimization problems. Lastly, the effectivity of the methods is tested on a variety of small cyclic networks. It turns out that for instances where robust feasibility or infeasibility can be decided successfully, level 2 or level 3 of the Lasserre relaxation hierarchy typically is sufficient.


title: Pions in magnetic field at finite temperature

abstract: Pions in external magnetic field are investigated in the frame of a Pauli-Villars regularized Nambu--Jona-Lasinio model. The meson propagators in terms of quark bubbles in Ritus and Schwinger schemes are analytically derived, and pion masses are numerically calculated in the Ritus scheme. For neutral and charged pions at finite temperature, there exist respectively one and three mass jumps at the corresponding Mott transition points, due to the discrete energy levels of the two constituent quarks in magnetic field.


title: Algebraic topology of Polish spaces. II: Axiomatic homology

abstract: Milnor proved two uniqueness theorems for axiomatic (co)homology: one for pairs of compacta (1960) and another, in particular, for pairs of countable simplicial complexes (1961). We obtain their common generalization: the Eilenberg-Steenrod axioms along with Milnor's map excision axiom and a (non-obvious) common generalization of Milnor's two additivity axioms suffice to uniquely characterize (co)homology of closed pairs of Polish spaces (=separable complete metrizable spaces). The proof provides a combinatorial description of the (co)homology of a Polish space in terms of a cellular (co)chain complex satisfying a symmetry of the form $\lim \text{colim} = \text{colim} \lim$.


title: Ramsey Interferometers as a test for the correction to quantum mechanics

abstract: By applying the basic concept of the density matrix in an open quantum system and modification of quantum mechanics, we derive Kossakowski-Lindblad equation and different properties of this equation are reviewed. Next, a pedagogical approach is used to present Ramsey's trick for linear modification of the quantum mechanics. We discuss how an open quantum mechanics or its modification changes the fraction of excited states in Ramsey Interferometers.


title: Comparative Studies of Detecting Abusive Language on Twitter

abstract: The context-dependent nature of online aggression makes annotating large collections of data extremely difficult. Previously studied datasets in abusive language detection have been insufficient in size to efficiently train deep learning models. Recently, Hate and Abusive Speech on Twitter, a dataset much greater in size and reliability, has been released. However, this dataset has not been comprehensively studied to its potential. In this paper, we conduct the first comparative study of various learning models on Hate and Abusive Speech on Twitter, and discuss the possibility of using additional features and context data for improvements. Experimental results show that bidirectional GRU networks trained on word-level features, with Latent Topic Clustering modules, is the most accurate model scoring 0.805 F1.


title: Selective Aggregation Experiments on Planetesimal Formation and Mercury-Like Planets

abstract: Much of a planet's composition could be determined right at the onset of formation. Laboratory experiments can constrain these early steps. This includes static tensile strength measurements or collisions carried out under Earth's gravity and on various microgravity platforms. Among the variety of extrasolar planets which eventually form are (Exo)-Mercury, terrestrial planets with high density. If they form in inner protoplanetary disks, high temperature experiments are mandatory but they are still rare. Beyond the initial process of hit-and-stick collisions, some additional selective processing might be needed to explain Mercury. In analogy to icy worlds, such planets might, e.g., form in environments which are enriched in iron. This requires methods to separate iron and silicate at early stages. Photophoresis might be one viable way. Mercury and Mercury-like planets might also form due to the ferromagnetic properties of iron and mechanisms like magnetic aggregation in disk magnetic fields might become important. This review highlights some of the mechanisms with the potential to trigger Mercury formation.


title: Scaling properties of centering forces

abstract: Motivated by the centering of biological objects in large cells, we study the generic properties of centering forces inside a ball (or a volume of spherical topology) in $n$ dimensions. We consider two scenarios : autonomous centering (in which distance information is integrated from the agent perspective) and non-autonomous centering (in which distance to the surface is integrated over the whole surface). We find relations between the net centering force and the mean distance$^p$ to the surface. This allows us to find simple scaling laws between the centering force and the distance to the center, as a function of the dimensionality $n$. Interestingly, if the interactions between the agent and the surface are hyper-elastic, the net centering force can still be sub-elastic in the case of autonomous centering. These scaling laws are increasingly violated as the space becomes less convex. Generically, neither scenarios exactly converge to the center of mass of the space.


title: Many-body Chern number without integration

abstract: The celebrated work of Niu, Thouless, and Wu demonstrated the quantization of Hall conductance in the presence of many-body interactions by revealing the many-body counterpart of the Chern number. The generalized Chern number is formulated in terms of the twisted angles of the boundary condition, instead of the single particle momentum, and involves an integration over all possible twisted angles. However, this formulation is physically unnatural, since topological invariants directly related to observables should be defined for each Hamiltonian under a fixed boundary condition. In this work, we show via numerical calculations that the integration is indeed unnecessary - the integrand itself is effectively quantized and the error decays exponentially with the system size. This implies that the numerical cost in computing the many-body Chern number could, in principle, be significantly reduced as it suffices to compute the Berry connection for a single value of the twisted boundary condition if the system size is sufficiently large.


title: Cyclic-loading microstructure-property relations from a mesoscale perspective: An example of single crystal Nickel-based superalloys

abstract: Past models of stress-strain response under cyclic loading mainly rely on macroscopic equations which consider microstructure evolution indirectly or simply discard microstructure information. Modern materials science, on the other hand, seeks quantitive descriptions for the relations between microstrucutre and loading response. In the present work, we show a promising mesoscale phase-field framework which can describe co-evolution of phase/grain and defect microstructures, reveal microstructure mechanisms and simultaneously predict deformation properties as a natural outcome of microstrucuture interactions. The energy functionals for phase/grain and defect microstructures are constructed, followed by functional variation which leads to governing equations. Applying the developed framework to high temperature cyclic loading of single crystal Nickel-based superalloys, the simulated results show that cyclic loading-microstructure-property relations can be principally revealed. In the short term perspective (in one cycle), dislocations move back and forth, leading to cyclic loops consistent with characteristics observed in experiments. The plastic strains are one order of magnitude smaller than total strains, which explains why the cyclic loops are very "thin". In the long term perspective, all $\gamma\gamma'$ microstructures exhibit directional coarsening similar to creep under zero cyclic loading ratio, with the extent of rafting slight dependent on cyclic waveform, period, etc. The plastic strains are sensitive to cyclic loading conditions both in terms of curve shape and in terms of magnitude.


title: SonarSnoop: Active Acoustic Side-Channel Attacks

abstract: We report the first active acoustic side-channel attack. Speakers are used to emit human inaudible acoustic signals and the echo is recorded via microphones, turning the acoustic system of a smart phone into a sonar system. The echo signal can be used to profile user interaction with the device. For example, a victim's finger movements can be inferred to steal Android phone unlock patterns. In our empirical study, the number of candidate unlock patterns that an attacker must try to authenticate herself to a Samsung S4 Android phone can be reduced by up to 70% using this novel acoustic side-channel. Our approach can be easily applied to other application scenarios and device types. Overall, our work highlights a new family of security threats.


title: Complex wave fields in the interacting one-dimensional Bose gas

abstract: We study the temperature regimes of the 1d interacting gas to determine when the matter wave (c-field) theory is, in fact, correct and usable. The judgment is made by investigating the level of discrepancy in many observables at once in comparison to the exact Yang-Yang theory. We also determine what cutoff maximizes the accuracy of such an approach. Results are given in terms of a bound on accuracy, as well as an optimal cutoff prescription. For a wide range of temperatures the optimal cutoff is independent of density or interaction strength and so its temperature dependent form is suitable for many cloud shapes and, possibly, basis choices. However, this best global choice is higher in energy than most prior determinations. The high value is needed to obtain the correct kinetic energy, but does not detrimentally affect other observables.


title: Geometric structures on the complement of a toric mirror arrangement

abstract: We study geometric structures on the complement of a toric mirror arrangement associated with a root system. Inspired by those special hypergeometric functions found by Heckman-Opdam, as well as the work of Couwenberg-Heckman-Looijenga on geometric structures on projective arrangement complements, we consider a family of connections on a total space, namely, a $\mathbb{C}^{\times}$-bundle on the complement of a toric mirror arrangement (=finite union of hypertori, determined by a root system). We prove that these connections are torsion free and flat, and hence define a family of affine structures on the total space, which is equivalent to a family of projective structures on the toric arrangement complement. We then determine a parameter region for which the projective structure admits a locally complex hyperbolic metric. In the end, we find a finite subset of this region for which the orbifold in question can be biholomorphically mapped onto a Heegner divisor complement of a ball quotient.


title: On the extension of Whitney ultrajets, II

abstract: We characterize the validity of the Whitney extension theorem in the ultradifferentiable Roumieu setting with controlled loss of regularity. Specifically, we show that in the main Theorem 1.3 of [15] condition (1.3) can be dropped. Moreover, we clarify some questions that remained open in [15].


title: Short-term variability and mass loss in Be stars IV. Two groups of closely spaced, approximately equidistant frequencies in three decades of space photometry of $\nu$ Puppis (B7-8 IIIe)

abstract: In early-type Be stars, groups of nonradial pulsation (NRP) modes with numerically related frequencies may be instrumental for the release of excess angular momentum through mass-ejection events. Difference and sum/harmonic frequencies often form additional groups. The goal of this study is to find out whether a similar frequency pattern occurs in the cooler third-magnitude B7-8\,IIIe shell star $\nu$ Pup. Time-series analyses are performed of space photometry with BRITE-Constellation (2015, 2016/17, and 2017/18), SMEI (2003--011), and Hipparcos (1989-1993). Two IUE SWP and 27 optical echelle spectra spanning 20 years were retrieved from various archives. The optical spectra exhibit no anomalies or well-defined variabilities. A magnetic field was not detected. All three photometry satellites recorded variability near 0.656 c/d which is resolved into three features separated by ~0.0021 c/d. First harmonics form a second frequency group, also spaced by ~0.0021 c/d. The frequency spacing is very nearly but not exactly equidistant. Variability near 0.0021 c/d was not detected. The long-term frequency stability could be used to derive meaningful constraints on the properties of a putative companion star. The IUE spectra do not reveal the presence of a hot subluminous secondary. $\nu$\,Pup is another Be star exhibiting an NRP variability pattern with long-term constancy and underlining the importance of combination frequencies and frequency groups. The star is a good target for efforts to identify an effectively single Be star.


title: Spatio-Temporal Evolution and North-South Asymmetry of Quasi-Biennial Oscillations in the Coronal Fe XIV Emission

abstract: In this work, we apply multichannel singular spectrum analysis (MSSA), a data-adaptive, multivariate, non-parametric technique that simultaneously exploits the spatial and temporal correlations of the input data to extract common modes of variability, to investigate the intermediate quasi-periodicities of the Fe XIV green coronal emission line at 530.3 nm for the period between 1944 and 2008. Our analysis reveals several significant mid-term periodicities in a range from about one to four years that are consistent with the so-called quasi-biennial oscillations (QBOs), which have been detected by several authors using different data sets and analysis methods. These QBOs display amplitudes varying significantly with time and latitude over the six solar cycles (18 to 23) covered by this study. A clear North-South asymmetry is detected both in their intensity and period distribution, with a net predominance of spectral power in the active-region belt of the northern hemisphere. On the other hand, while the QBOs with periods > 1.7 years are particularly intense around the polar regions and therefore related to the global magnetic field, the ones with shorter periods are mainly generated at mid-latitudes, in correspondence with the emergence of active regions. Our findings indicate that the North-South asymmetry manifested in the uneven latitudinal distribution of QBOs is a fundamental, albeit puzzling, characteristic of solar activity.


title: Optimal indirect stability of a weakly damped elastic abstract system of second order equations coupled by velocities

abstract: In this paper, by means of the Riesz basis approach, we study the stability of a weakly damped system of two second order evolution equations coupled through the velocities. If the fractional order damping becomes viscous and the waves propagate with equal speeds, we prove exponential stability of the system and, otherwise, we establish an optimal polynomial decay rate. Finally, we provide some illustrative examples.


title: Powers and division in the 'mathematical part' of Plato's Theaetetus

abstract: In two articles ([Brisson-Ofman1, 2]), we have analyzed the so-called 'mathematical passage' of Plato's Theaetetus, the first dialogue of a trilogy including the Sophist and the Statesman. In the present article, we study an important point in more detail, the 'definition' of 'powers' ('$\delta\upsilon\nu\acute\alpha\mu\epsilon\iota\varsigma$'). While in [Brisson-Ofman2], it was shown that the different steps to get the definition are mathematically and philosophically incorrect, it is explained why the definition itself is problematic. However, it is the first example, at least in the trilogy, of a definition by division. This point is generally ignored by modern commentators though, as we will try to show, it gives rise, in a mathematical context, to at least three fundamental questions: the meaning(s) of 'logos', the connection between 'elements and compound' and, of course the question of the 'power(s)'. One of the main consequences of our works on Theaetetus' 'mathematical passage', including the present one, is to challenge the so-called 'main standard interpretation'. In particular, following [Ofman2014], we question the claim that Plato praises and glorifies both the mathematician Theodorus and the young Theaetetus. According to our analysis, such a claim, considered as self-evident, entails many errors. Conversely, our analysis of Theaetetus' mathematical mistakes highlights the main cause of some generally overlooked failures in the dialogue: the forgetting of the 'logos', first in the 'mathematical part', then in the following discussion, and finally the failure of the four successive tries of its definition at the end of the dialogue. Namely, as we will show, the passage is closely connected with the problems studied at the end of the dialogue, but also to the two other parts of the trilogy through the method of 'definition by division'. Finally, if our conclusions are different from the usual ones, it is probably because the passage is analyzed, maybe for the first time, simultaneously from the philosophical, historical and mathematical points of view. It had been considered usually either as an excursus by historians of philosophy (for instance [Burnyeat1978]), or as an isolated text separated from the rest of the dialogue by historians of mathematics (for instance [Knorr1975]), or lastly as a pretext to discuss some astute developments in modern mathematics by mathematicians (for instance [Kahane1985]).[Brisson-Ofman1]: Luc Brisson-Salomon Ofman, `Theodorus' lesson in Plato's Theaetetus(147d3-d6) Revisited-A New Perspective', to appear[Brisson-Ofman2]: Luc Brisson-Salomon Ofman, `The Philosophical Interpretation of Plato'sTheaetetus and the Final Part of the Mathematical Lesson (147d7-148b)', to appear[Burnyeat 1978]: Myles Burnyeat, `The Philosophical Sense of Theaetetus' Mathematics',Isis, 69, 1978, 489-514[Kahane1985]: Jean-Pierre Kahane, `la th{\'e}orie de Th{\'e}odore des corps quadratiques r{\'e}els',L'enseignement math{\'e}matique, 31, 1985, p. 85-92[Knorr1975]: Wilbur Knorr, The evolution of the Euclidean elements, Reidel, 1975[Ofman2014]: Salomon Ofman, `Comprendre les math{\'e}matiques pour comprendre Platon-Th{\'e}{\'e}t{\`e}te (147d-148b)', Lato Sensu, I, 2014, p. 70-80


title: Measuring the continuous variable quantum entanglement with a parametric amplifier assisted homodyne detection

abstract: Traditional method for measuring continuous-variable quantum entanglement relies on balanced homodyne detections, which are sensitive to vacuum quantum noise coupled in through losses resulted from many factors such as detector's quantum efficiency and mode mismatching between detected field and local oscillator. In this paper, we propose and analyze a new measurement method, which is realized by assisting the balanced homodyne detections with a high gain phase sensitive parametric amplifier. The employment of the high gain parametric amplifier helps to tackle the vacuum quantum noise originated from detection losses. Moreover, because the high gain parametric amplifier can couple two fields of different types in a phase sensitive manner, the proposed scheme can be used to reveal quantum entanglement between two fields of different types by using only one balanced homodyne detection. Furthermore, detailed analysis shows that in the multi-mode case, the proposed scheme is also advantageous over the traditional method. Such a new measurement method should find wide applications in quantum information and quantum metrology involving measurement of continuous variables.


title: Analyze Unstructured Data Patterns for Conceptual Representation

abstract: Online news media provides aggregated news and stories from different sources all over the world and up-to-date news coverage. The main goal of this study is to have a solution that considered as a homogeneous source for the news and to represent the news in a new conceptual framework. Furthermore, the user can easily find different updated news in a fast way through the designed interface. The Mobile App implementation is based on modeling the multi-level conceptual analysis discipline. Discovering main concepts of any domain is captured from the hidden unstructured data that are analyzed by the proposed solution. Concepts are discovered through analyzing data patterns to be structured into a tree-based interface for easy navigation for the end user, through the discovered news concepts. Our final experiment results showing that analyzing the news before displaying to the end-user and restructuring the final output in a conceptual multilevel structure, that producing new display frame for the end user to find the related information to his interest.


title: Understanding Latent Factors Using a GWAP

abstract: Recommender systems relying on latent factor models often appear as black boxes to their users. Semantic descriptions for the factors might help to mitigate this problem. Achieving this automatically is, however, a non-straightforward task due to the models' statistical nature. We present an output-agreement game that represents factors by means of sample items and motivates players to create such descriptions. A user study shows that the collected output actually reflects real-world characteristics of the factors.


title: Centroid estimation based on symmetric KL divergence for Multinomial text classification problem

abstract: We define a new method to estimate centroid for text classification based on the symmetric KL-divergence between the distribution of words in training documents and their class centroids. Experiments on several standard data sets indicate that the new method achieves substantial improvements over the traditional classifiers.


title: Capacity of Locally Recoverable Codes

abstract: Motivated by applications in distributed storage, the notion of a locally recoverable code (LRC) was introduced a few years back. In an LRC, any coordinate of a codeword is recoverable by accessing only a small number of other coordinates. While different properties of LRCs have been well-studied, their performance on channels with random erasures or errors has been mostly unexplored. In this paper, we analyze the performance of LRCs over such stochastic channels. In particular, for input-symmetric discrete memoryless channels, we give a tight characterization of the gap to Shannon capacity when LRCs are used over the channel. Our results hold for a general notion of LRCs that correct multiple local erasures.


title: Objective Scaling Ensemble Approach for Integer Linear Programming

abstract: The objective scaling ensemble approach is a novel two-phase heuristic for integer linear programming problems shown to be effective on a wide variety of integer linear programming problems. The technique identifies and aggregates multiple partial solutions to modify the problem formulation and significantly reduce the search space. An empirical analysis on publicly available benchmark problems demonstrate the efficacy of our approach by outperforming standard solution strategies implemented in modern optimization software.


title: Empirical analysis of metaheuristic search techniques for the parameterized dynamic slope scaling procedure

abstract: The dynamic slope scaling procedure is an approximation method successfully which solves the fixed charge network flow (FCNF) problem by iteratively linearizing the fixed cost. The parameterized dynamic slope scaling procedure adds an additional $\psi$ parameter to the procedure which can significantly improve the solution quality. Finding the optimal value of $\psi$ for a given problem is non-trivial. This paper employs multiple metaheuristic techniques, including simulated annealing, tabu search, and particle swarm optimization, to guide the search for good parameter values. In rigorous testing, we examine the search results, compare the improvement efficiencies among the techniques, and evaluate the final solution quality of the FCNF problem. The experiments show that the solution improvement is robust with respect to these metaheuristics and the complexity of FCNF problem.


title: Collective flows of $\alpha$-clustering $^{12}\mathrm{C}$ + $^{197}\mathrm{Au}$ by using different flow analysis methods

abstract: Recently the ratio of triangular flow to the elliptic flow ($v_3/v_2$) of hadrons was proposed as a probe to detect the pattern of $\alpha$-clustering $^{12}\mathrm{C}$ in $^{12}\mathrm{C}$+$^{197}\mathrm{Au}$ collisions at relativistic energy by a participant plane method (Phys. Rev. C 95, 064904 (2017)). In experimental event plane method, Q-cumulant method and two-particle correlation method with rapidity gap always were used for measurement of collective flow only by means of momentum space. By comparing collective flow through the different methods, the ratio of $v_3/v_2$ could be taken as an experimental probe to distinguish different $\alpha$-clustering structure of $^{12}\mathrm{C}$.


title: Induced gravitation in nonlinear field models

abstract: The description of gravitation in the framework of soliton interaction is considered for two nonlinear field models. These models are Born -- Infeld nonlinear electrodynamics and so-called Born -- Infeld type scalar field model. The last model can also be called the extremal space-time film one because of the specific form of the appropriate variational principle. Gravitational interaction is considered in the context of unification for all interactions of material particles. It is shown that long-range interaction of solitons of the models appears as force one and metrical one. The force interaction can be interpreted as electromagnetic one. The metrical interaction can be interpreted as gravitational one.


title: Multi-Source Syntactic Neural Machine Translation

abstract: We introduce a novel multi-source technique for incorporating source syntax into neural machine translation using linearized parses. This is achieved by employing separate encoders for the sequential and parsed versions of the same source sentence; the resulting representations are then combined using a hierarchical attention mechanism. The proposed model improves over both seq2seq and parsed baselines by over 1 BLEU on the WMT17 English-German task. Further analysis shows that our multi-source syntactic model is able to translate successfully without any parsed input, unlike standard parsed methods. In addition, performance does not deteriorate as much on long sentences as for the baselines.


title: Single Higgs production in association with a photon at electron-positron colliders in extended Higgs models

abstract: We study associated Higgs production with a photon at electron-positron colliders, $e^+e^-\to h\gamma$, in various extended Higgs models, such as the inert doublet model (IDM), the inert triplet model (ITM) and the two Higgs doublet model (THDM). The cross section in the standard model (SM) is maximal around $\sqrt{s}=$250 GeV, and we present how and how much the new physics can enhance or reduce the production rate. We also discuss the correlation with the $h\to\gamma\gamma$ and $h\to Z\gamma$ decay rates. We find that, with a sizable coupling to a SM-like Higgs boson, charged scalars can give considerable contributions to both the production and the decay if their masses are around 100 GeV. Under the theoretical constraints from vacuum stability and perturbative unitarity as well as the current constraints from the Higgs measurements at the LHC, the production rate can be enhanced from the SM prediction at most by a factor of two in the IDM. In the ITM, in addition, we find a particular parameter region where the $h\gamma$ production significantly increases by a factor of about six to eight, but the $h\to\gamma\gamma$ decay still remains as in the SM. In the THDM, possible deviations from the SM prediction are minor in the viable parameter space.


title: Magnetic Monopoles from a Hidden Magnetic Symmetry

abstract: It is proposed that Magnetic Monopoles (MMs) could originate from a new $\mbox{U(1)}_{M}$ symmetry. Such an abelian symmetry is then assumed to be related to the conservation of a magnetic number $M$. This magnetic number is associated with massive MMs from an expected high scale breaking of this magnetic symmetry. The involved scales are approached and the properties of such MMs are investigated along with the prospects for their detection.


title: Nuclear Quantum Effects on the Vibrational Dynamics of Liquid Water

abstract: Based on quantum-mechanical path-integral molecular dynamics simulations the impact of nuclear quantum effects on the vibrational and hydrogen bond dynamics in liquid water is investigated. The instantaneous fluctuations in the frequencies of the O-H stretch modes are calculated using the wavelet method of time series analysis, while the time scales of the vibrational spectral diffusion are determined from frequency-time correlation functions, joint probability distributions, as well as the slope of three-pulse photon echo. We find that the inclusion of nuclear quantum effects leads not only to a redshift of the vibrational frequency distribution by around 130~cm$^{-1}$, but also to an acceleration of the vibrational dynamics by as much as 30$\%$. In addition, quantum fluctuations also entail a significantly faster decay of correlation in the initial diffusive regime, which is agreement with recent vibrational echo experiments.


title: A possible origin of quantum correlations

abstract: We intend to eliminate the known conflict between relativity and quantum mechanics. We believe the instant correlation between entangled distant quantum particles can be explained by the fact that in a laboratory reference frame the photon traveling duration is positive and finite while its proper (in vacuum) traveling duration is equal to zero. In the latter case, any two events that are separated (in a laboratory reference frame) by an arbitrary finite distance can be considered as simultaneous ones. So, the photon nonlocal correlation turns out to be a relative property and may be explained like known twins paradox in relativity. In such a situation, any standard causal interaction between the correlated particles is absent in a laboratory reference frame; however, some specific mutual couple appears between them; this couple is strictly oscillating without some oriented energy or/and information transferring. We also motivate the basic hypothesis extension on quantum particles having nonzero masses.


title: Uniformly-moving non-singular dislocations with elliptical core shape in anisotropic media

abstract: To allow for `relativistic'-like core contraction effects, an anisotropic regularization of steadily-moving straight dislocations of arbitrary orientation is introduced, with two scale parameters $a_\parallel$ and $a_\perp$ along the direction of motion and transverse to it, respectively. The dislocation core shape is an ellipse. When $a_\perp/a_\parallel\to 0$, the model reduces to the Peierls-Eshelby dislocation, the fields of which are non-differentiable on the slip plane. For finite $a_\parallel$ and $a_\perp$, fields are everywhere differentiable. Applying the author's so-called `causal' Stroh formalism to the model, explicit expressions for the regularized fields in anisotropic elasticity are derived for any velocity. For faster-than-wave velocities, Mach-cone angles are found insensitive to the ratio $a_\parallel/a_\perp$, as must be. However, the larger $a_\parallel$, the weaker the intensity of the cone branches. An expression is given for the radiative dissipative force opposed to motion. From this expression, it is inferred that the concept of a `radiation-free' intersonic velocity can, when not applicable, be replaced by that of a `least-radiation' velocity.


title: Negative refraction of Lamb modes: A theoretical study

abstract: This paper provides a theoretical investigation of negative refraction and focusing of elastic guided waves in a free-standing plate with a step-like thickness change. Under certain conditions, a positive phase velocity (forward) Lamb mode can be converted into a negative phase velocity (backward) mode at such interface, giving rise to negative refraction. A semi-analytical model is developed in order to study the influence of various parameters such as the material Poisson's coefficient, the step-like thickness, the frequency and the incidence angle. To this end, all the Lamb and shear horizontal propagating modes, but also a large number of their inhomogeneous and evanescent counterpart,s are taken into account. The boundary conditions applied to the stress-displacement fields at the thickness step yields an equation system. Its inversion provides the transmission and reflection coefficients between each mode at the interface. The step-like thickness and Poisson's ratio are shown to be key parameters to optimize the negative refraction process. In terms of material, Duralumin is found to be optimal as it leads to a nearly perfect conversion between forward and backward modes over broad frequency and angular ranges. An excellent focusing ability is thus predicted for a flat lens made of two symmetric thickness steps. Theoretical results are confirmed by a numerical FDTD simulation and experimental measurements made on an optimized Duralumin flat lens by means of laser interferometry. This theoretical study paves the way towards the optimization of elastic devices based on negative refraction, in particular for cloaking or super-focusing purposes.


title: A compactness result for solutions to an equation with boundary singularity

abstract: We give a blow-up behavior for solutions to a problem with singularity and with Dirichlet condition. An application, we have a compactness of the solutions to this Problem with singularity and Lipschitz conditions.


title: Infrared electric-field sampled frequency comb spectroscopy

abstract: Molecular spectroscopy in the mid-infrared portion of the electromagnetic spectrum (3--25 um) has been a cornerstone interdisciplinary analytical technique widely adapted across the biological, chemical, and physical sciences. Applications range from understanding mesoscale trends in climate science via atmospheric monitoring to microscopic investigations of cellular biological systems via protein characterization. Here, we present a compact and comprehensive approach to infrared spectroscopy incorporating the development of broadband laser frequency combs across 3--27 um, encompassing the entire mid-infrared, and direct electric-field measurement of the corresponding near single-cycle infrared pulses of light. Utilizing this unified apparatus for high-resolution and accurate frequency comb spectroscopy, we present the infrared spectra of important atmospheric compounds such as ammonia and carbon dioxide in the molecular fingerprint region. To further highlight the ability to study complex biological systems, we present a broadband spectrum of a monoclonal antibody reference material consisting of more than 20,000 atoms. The absorption signature resolves the amide I and II vibrations, providing a means to study secondary structures of proteins. The approach described here, operating at the boundary of ultrafast physics and precision spectroscopy, provides a table-top solution and a widely adaptable technique impacting both applied and fundamental scientific studies.


title: A Universal Fractional Model of Wall-Turbulence

abstract: Modeling of wall-bounded turbulent flows is still an open problem in classical physics, with only modest progress made in the last few decades beyond the so-called `log law', which describes only the intermediate region in wall-bounded turbulence, i.e., $30-50 y^+ \text{ to } 0.1-0.2 R^+$ (in wall units) in a pipe of radius $R$. Here we propose a fundamentally new approach based on fractional calculus to model the {\em entire} mean velocity profile from the wall to the centerline of the pipe. Specifically, we represent the Reynolds stresses with a non-local fractional derivative of {\em variable order} that decays with the distance from the wall. Surprisingly, we find that this variable fractional order has a universal form for all Reynolds numbers and for three different flow types, i.e., channel flow, Couette flow, and pipe flow. We first use existing data bases from direct numerical simulations (DNS) to learn the variable fractional order function, and subsequently we test it against other DNS data and experimental measurements, including the Princeton superpipe experiments. Taken together, our findings reveal the continuous and decaying change of rate of turbulent diffusion from the wall as well as the strong non-locality of turbulent interactions that intensify away from the wall.


title: On the Performance of a Relay-Assisted Multi-Hop Asymmetric FSO/RF Communication System over Negative Exponential atmospheric turbulence with the effect of pointing error

abstract: In this paper, a multi-user multi-hop hybrid FSO / RF system is presented. This structure is consisted of two main parts. The main motivation of presenting this structure is communication in long-range impassable links or some specific atmospheric conditions under which RF connection becomes easily disrupted. Although these effects could be mitigated by consuming more power or adding processing complexity, but a small user mobile phone cannot deserve more complexity or power supply. The fact that FSO and RF links are complementary of each other brings a new solution in mind; an access point that amplifies received signal via short-range RF link and forwards it to via long-range FSO link, could solve the mentioned problem. This scenario is exactly implemented at the first part of the proposed structure. At the second part, a multi-hop hybrid parallel FSO / RF link is implemented to connect source and destination Base Stations. It is the first time that in a multi-hop FSO / RF system, multi-user scheme, signal selection at each hop, known and un-known CSI in amplify and forward relaying, and saturate atmospheric turbulence with the effect of pointing error are considered. New expressions are derived in closed-form for Bit Error Rate (BER) and Outage Probability of the proposed structure and verified by MATLAB simulations. The proposed structure has advantages of FSO, RF, relay-assisted, and multi-user systems at the same time. Results indicate that it has low dependence on number of users and number of relays. Therefore, it is suitable for areas with varying population and long-range links. This structure offers independent performance without additional power consumption, processing latency, and complexity.


title: Spherical cosmological models: an alternative cosmology

abstract: The properties of universes are explored that are entirely in the interior of black holes in another universe, a `mother universe'. It is argued that these models offer a paradigm that may shed a new light on old cosmological problems. The geometry of such a universe is discussed including how it would appear to the observer. The Hubble parameter is direction dependent, but it is argued that the interpretation of any such dependence will be hard to separate from local inhomogeneities. The models do not originate from a big bang, but rather from an initial collapse and subsequent infall, that started probably a very long time ago, presumably much earlier than the accepted age of the universe. The relation to the concordance model is discussed and it is shown that a lot of the existing theory can be taken over into the proposed models. The universe has an edge, which is an ordinary spherical surface in 3 dimensions. That sphere acts as a gravitational mirror as seen from inside the universe, but it does not mirror redshift. The same object can thus be seen in direct sight and in reflection, although with different redshifts, different ages and different aspect angles. The models do not need dark energy, but they need dark matter, of course. Since the models are closed and neutrino's are nowadays believed to have mass, neutrino's can be reconsidered as candidates for the dark matter. As a bonus result from this paradigm, mass ejection from black holes is shown to be possible, which links that process to the controversial anomalous galaxy redshifts. Finally, we show that gravitational mass and inertial mass are proportional, and that the inertial acceleration scales as $c^2/M$, with $M$ a characteristic length scale of the universe.


title: Particle creation in the framework of f(G) gravity

abstract: In this paper, we study the problem of massless particle creation in a flat, homogeneous and isotropic universe in the framework of $f(G)$ gravity. The Bogolyubov coefficients are calculated for the accelerating power-law solutions of the model in a matter dominated universe, from which the total number of created particle per unit volume of space can be obtained. It is proved that the total particle density always has a finite value. Therefore, the Bogolyubov transformations are well-defined and the Hilbert spaces spanned by the vacuum states at different times are unitarily equivalent. We find that the particles with small values of the mode $k$ are produced in the past and particles with large values of $k$ are produced only in the future. The negative pressure resulting from the gravitational particle creation is also determined. It is then argued that this pressure even in the presence of energy density and thermal pressure may affect significantly the cosmic expansion.


title: A Facility for Production and Laser Cooling of Cesium Isotopes and Isomers

abstract: We report on the design, installation, and test of an experimental facility for the production of ultra-cold atomic isotopes and isomers of cesium. The setup covers a broad span of mass numbers and nuclear isomers, allowing one to directly compare chains of isotopes and isotope/isomer pairs. Cesium nuclei are produced by fission or fusion-evaporation reactions using primary proton beams from a 130 MeV cyclotron impinging upon a suitable target. The species of interest is ejected from the target in ionic form, electrostatically accelerated, mass separated, and routed to a science chamber. Here, ions are neutralized by implantation in a thin foil, and extracted by thermal diffusion. A neutral vapor at room temperature is thus formed and trapped in a magneto-optical trap. Real-time fluorescence imaging and destructive absorption imaging provide information on the number of trapped atoms, their density, and their temperature. Tests with a dedicated beam of $^{133}$Cs$^{+}$ ions at 30 keV energy confirm neutralization, evaporation, and laser cooling to 150 $\mu$K, with an average atomic density of 10$^{10}$ cm$^{-3}$. Availability of cold and dense atomic samples of Cs isotopes and isomers opens new avenues for high-precision measurements of isotopic and isomeric shifts thereby gaining deeper insight into the nuclear structure, as well as for sensitive measurements of isotopes' concentration ratios in trace quantities. The facility also constitutes the core for future experiments of many-body physics with nuclear isomers.


title: Iterative solution and preconditioning for the tangent plane scheme in computational micromagnetics

abstract: The tangent plane scheme is a time-marching scheme for the numerical solution of the nonlinear parabolic Landau-Lifshitz-Gilbert equation (LLG), which describes the time evolution of ferromagnetic configurations. Exploiting the geometric structure of LLG, the tangent plane scheme requires only the solution of one linear variational form per time-step, which is posed in the discrete tangent space determined by the nodal values of the current magnetization. We develop an effective solution strategy for the arising constrained linear systems, which is based on appropriate Householder reflections. We derive possible preconditioners, which are (essentially) independent of the time-step, and prove that the preconditioned GMRES algorithm leads to linear convergence. Numerical experiments underpin the theoretical findings.


title: Gallai-Ramsey numbers of $C_{10}$ and $C_{12}$

abstract: A Gallai coloring is a coloring of the edges of a complete graph without rainbow triangles, and a Gallai $k$-coloring is a Gallai coloring that uses $k$ colors. Given an integer $k\ge1$ and graphs $H_1, \ldots, H_k$, the Gallai-Ramsey number $GR(H_1, \ldots, H_k)$ is the least integer $n$ such that every Gallai $k$-coloring of the complete graph $K_n$ contains a monochromatic copy of $H_i$ in color $i$ for some $i \in \{1, \ldots, k\}$. When $H = H_1 = \cdots = H_k$, we simply write $GR_k(H)$. We continue to study Gallai-Ramsey numbers of even cycles and paths. For all $n\ge3$ and $k\ge1$, let $G_i=P_{2i+3}$ be a path on $2i+3$ vertices for all $i\in\{0,1, \ldots, n-2\}$ and $G_{n-1}\in\{C_{2n}, P_{2n+1}\}$. Let $ i_j\in\{0,1,\ldots, n-1\}$ for all $j\in\{1, \ldots, k\}$ with $ i_1\ge i_2\ge\cdots\ge i_k $. Song recently conjectured that $GR(G_{i_1}, \ldots, G_{i_k}) = 3+\min\{i_1, n^*-2\}+\sum_{j=1}^k i_j$, where $n^* =n$ when $G_{i_1}\ne P_{2n+1}$ and $n^* =n+1$ when $G_{i_1}= P_{2n+1}$. This conjecture has been verified to be true for $n\in\{3,4\}$ and all $k\ge1$. In this paper, we prove that the aforementioned conjecture holds for $n \in\{5, 6\}$ and all $k \ge1$. Our result implies that for all $k \ge 1$, $GR_k(C_{2n}) = GR_k(P_{2n}) = (n-1)k+n+1$ for $n\in\{5,6\}$ and $GR_k(P_{2n+1})= (n-1)k+n+2$ for $1\le n \le6 $.


title: Non-hyperbolic Iterated Function Systems: semifractals and the chaos game

abstract: We consider iterated functions systems (IFS) on compact metric spaces and introduce the concept of target sets. Such sets have very rich dynamical properties and play a similar role as semifractals introduced by Lasota and Myjak do for regular IFSs. We study sufficient conditions which guarantee that the closure of the target set is a local attractor for the IFS. As a corollary, we establish necessary and sufficient conditions for the IFS having a global attractor. We give an example of a non-regular IFS whose target set is nonempty, showing that our approach gives rise to a "new class" of semifractals. Finally, we show that random orbits generated by IFSs draws target sets that are "stable".


title: An algebraic approach to FQHE variational wave functions

abstract: Consider a system of $N$ electrons projected onto the lowest Landau level (LLL) with filling factor of the form $n/(2pn\pm1)<1/2$ and $N$ a multiple of $n$. We show that there always exists a two-dimensional symmetric correlation factor (arising as a nonzero symmetrization) for such systems and hence one can always write a variational wave function. This extends an earlier observation of Laughlin for an incompressible quantum liquid (IQL) state with filling factor equal to the reciprocal of an odd integer $ \geq 3$. To do so, we construct a family of $d$-regular multi-graphs on $N$ vertices for any $N$ whose graph-monomials have nonzero linear symmetrization and obtain, as special cases, the aforementioned nonzero correlations for the IQL state. The nonzero linear symmetrization that is obtained is in fact an example of what is called a binary invariant of type $(N,d)$. Thus, in addition to supplying new variational wave functions for systems of interacting Fermions, our construction is of potential interest from both the graph and invariant theoretic viewpoints.


title: The influence of the coefficients of a system of coupled wave equations with fractional damping on its stabilization

abstract: In this work, we consider a system of two wave equations coupled by velocities in one-dimensional space, with one boundary fractional damping. First, we show that the system is strongly asymptotically stable if and only if the coupling parameter b of the two equations is outside a discrete set of exceptional real values. Next, we show that our system is not uniformly stable. Hence, we look for a polynomial decay rate for smooth initial data. Using frequency domain approach combining with multiplier method, we prove that the energy decay rate is greatly influenced by the nature of the coupling parameter b, the arithmetic property of the ratio of the wave propagation speeds a, the order of the fractional damping. Indeed, under the equal speed propagation condition, we establish an optimal polynomial energy decay rate. Furthermore, when the wave propagate with different speeds, under some arithmetic conditions on the ratio of the wave propagation speeds, we prove that the energy of our system decays polynomially to zero.


title: Quantitative subspace theorem and general form of second main theorem for higher degree polynomials

abstract: This paper deals with the quantitative Schmidt's subspace theorem and the general from of the second main theorem, which are two correspondence objects in Diophantine approximation theory and Nevanlinna theory. In this paper, we give a new below bound for Chow weight of projective varieties defined over a number field. Then, we apply it to prove a quantitative version of Schmidt's subspace theorem for polynomials of higher degree in subgeneral position with respect to a projective variety. Finally, we apply this new below bound for Chow weight to establish a general form of second main theorem in Nevanlinna theory for meromorphic mappings into projective varieties intersecting hypersurfaces in subgeneral position with a short proof. Our results improve and generalize the previous results in these directions.


title: Pseudo-rapidity distribution from a perturbative solution of viscous hydrodynamics for heavy ion collisions at RHIC and LHC

abstract: The charged-particle's final state spectrum is derived from an analytic perturbative solution for the relativistic viscous hydrodynamics. By taking into account the longitudinal acceleration effect in relativistic viscous hydrodynamics, the pseudorapidity spectrum describes well the nucleus-nucleus colliding systems at RHIC and LHC. Based on both the extracted longitudinal acceleration parameters $\lambda^{*}$ and a phenomenological description of the $\lambda^{*}$, the charged-particle's pseudorapidity distributions for $\sqrt{s_{NN}}$ = 5.44 TeV Xe+Xe collisions are computed from the final state expression in a limited space-time rapidity $\eta_{s}$ region.


title: Representations of chiral alternative to vierbein and construction of non-Abelian instanton solution in curved space-time

abstract: A chiral alternative to the vierbein field in general relativity was considered by 't Hooft in an attempt to facilitate the construction of a quantum theory of gravity. These objects $ f^a{}_{\mu\nu}$ behave like the "cube root" of the metric tensor. We try to construct specific representations of these tensors in terms of Dirac $\gamma $ matrices in Euclidean and Minkowski space, and promote these to curved space through Newman-Penrose formalism. We conjecture that these are new objects with physical significance and are the analog of Killing-Yano tensors. As an application, we try to construct non-Abelian instanton like solutions in curved space from the flat space 't Hooft tensors. The space part of the tensors are decomposed to a product of Levi-Civita tensor and flat space Dirac gamma matrices. The gamma matrices are promoted to the curved space with the help of vierbeins, as in separability of Dirac equation by Chandrasekhar, using Newman-Penrose formalism. The curved space generalisation of the instanton solution $A_{\mu}^a $ is now constructed by substituting all objects to their general covariant form.


title: The mean curvature of transverse K\"ahler foliations

abstract: We study properties of the mean curvature one-form and its holomorphic and antiholomorphic cousins on a transverse K\"ahler foliation. If the mean curvature of the foliation is automorphic, then there are some restrictions on basic cohomology similar to that on K\"ahler manifolds, such as the requirement that the odd basic Betti numbers must be even. However, the full Hodge diamond structure does not apply to basic Dolbeault cohomology unless the foliation is taut.


title: Acquiring Annotated Data with Cross-lingual Explicitation for Implicit Discourse Relation Classification

abstract: Implicit discourse relation classification is one of the most challenging and important tasks in discourse parsing, due to the lack of connective as strong linguistic cues. A principle bottleneck to further improvement is the shortage of training data (ca.~16k instances in the PDTB). Shi et al. (2017) proposed to acquire additional data by exploiting connectives in translation: human translators mark discourse relations which are implicit in the source language explicitly in the translation. Using back-translations of such explicitated connectives improves discourse relation parsing performance. This paper addresses the open question of whether the choice of the translation language matters, and whether multiple translations into different languages can be effectively used to improve the quality of the additional data.


title: Analysis of optical data using extended Drude model and generalized Allen's formulas

abstract: Extended Drude model formalism has been successfully utilized for analyzing optical spectra of strongly correlated electron systems including heavy-fermion systems and high-$T_c$ superconducting iron pnictides and cuprates. Furthermore, generalized Allen's formulas has been developed and applied to extract the electron-boson spectral density function from measured optical data of high temperature superconductors including cuprates in various material phases. Here we used a reverse process to obtain various optical quantities starting from two typical electron-boson spectral density model functions for three intriguing (normal, pseudogap, and $d$-wave superconducting) material phases in cuprates. We also assigned the calculated optical results to designated regions in the phase diagram of hole-doped cuprates and compared them with the corresponding measured optical spectra of Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$ (Bi-2212). This comparison suggested that this way of optical data analysis can be a convincing method to study correlated electrons in the copper oxide superconductors and other superconducting systems as well.


title: A study of integer sorting on multicores

abstract: Integer sorting on multicores and GPUs can be realized by a variety of approaches that include variants of distribution-based methods such as radix-sort, comparison-oriented algorithms such as deterministic regular sampling and random sampling parallel sorting, and network-based algorithms such as Batcher's bitonic sorting algorithm. In this work we present an experimental study of integer sorting on multicore processors. We have implemented serial and parallel radix-sort for various radixes, deterministic regular oversampling and random oversampling parallel sorting, and also some previously little explored or unexplored variants of bitonic-sort and odd-even transposition sort. The study uses multithreading and multiprocessing parallel programming libraries with the C language implementations working under Open MPI, MulticoreBSP, and BSPlib utilizing the same source code. A secondary objective is to attempt to model the performance of these algorithm implementations under the MBSP (Multi-memory BSP) model. We first provide some general high-level observations on the performance of these implementations. If we can conclude anything is that accurate prediction of performance by taking into consideration architecture dependent features such as the structure and characteristics of multiple memory hierarchies is difficult and more often than not untenable. To some degree this is affected by the overhead imposed by the high-level library used in the programming effort. We can still draw however some reliable conclusions and reason about the performance of these implementations using the MBSP model, thus making MBSP useful and usable.


title: A note on residuated po-groupoids and lattices with antitone involutions

abstract: Following [Botur, M., Chajda, I., Hala\v{s}, R.: Are basic algebras residuated structures?, Soft Comput. 14 (2010), 251-255] we discuss the connections between left-residuated partially ordered groupoids and the so-called basic algebras, which are a non-commutative and non-associative generalization of MV-algebras and orthomodular lattices.


title: A generalized Landau kinetic equation for weakly-coupled probability distribution of N-stars in dense star cluster

abstract: The secular evolution of a collisional star cluster of $N$-'point' stars have been conventionally discussed based on cumulative two-body relaxation process. The relaxation process requires a cut-off on the range of two-body encounter between stars in physical space and the relaxation time is characterized by Coulomb logarithm $\ln[N]$; the conventional cut-off on the encounter distance in the literature gives "dominant" effect. In addition, incorrect cut-offs exposed a mathematical "infinite-density" problem in the late stage of core-collapse. The present paper shows these are merely the results due to incorrect cut-off process. If one correctly constrains the cut-off on interaction range between stars based on truncated BBGKY hierarchy, one must introduce a self-consistent 'truncated' Newtonian mean-field (m.f.) acceleration of star. The present paper shows the effect of total number on the structure of finite star cluster (in which stars undergo only two-body encounters) for the first time after establishing a mathematical formulation of a generalized Landau kinetic equation that includes the cut-off effect on both of collision term and m.f. potential by employing a BBGKY hierarchy for truncated DF stars. The cut-off effect increases the typical relaxation time by a few of percentage, which means the effect of cut-off itself is "non-dominant" on the relaxation time. On the other hand, the cut-off on m.f. acceleration is necessary to avoid "infinite-density" problem at the center of the system; the effect of total number $N$ on density profile and m.f. acceleration are shown by applying the truncated-DF BBGKY hierarchy to a toy model (a quasi-static modified Hubble density profile) for a core-halo structure of a star cluster at the late stage of evolution.


title: Universal superconductivity phase diagram for pressurized tetradymite topological insulators

abstract: We show that two different superconducting phases exist at high pressures in the optimized tetradymite topological insulators Bi2Te2Se (BTS) and Bi1.1Sb0.9Te2S (BSTS). The superconducting phases emerge at structural phase transitions, the first at 8.4 GPa for BTS and 12.4 GPa for BSTS, and the second at 13.6 GPa for BTS and 20.4 GPa, for BSTS. Electronic structure calculations show that these phases do not have topological character. Comparison of our results with prior work on Bi2Se3, Bi2Te3 and (Bi,Sb)2(Se,Te)3 allows us to uncover a universal phase diagram for pressure-induced superconductivity in tetradymites, providing a basis for understanding the relationships between topological behavior, crystal structure, and superconductivity for these materials.


title: Goeritz and Seifert Matrices from Dehn Presentations

abstract: The Goeritz matrix of a link is obtained from the Jacobian matrix of a modified Dehn presentation associated to a diagram using Fox's free differential calculus. When the diagram is special the Seifert matrix can also be determined from the presentation.


title: Energy conservation for inhomogeneous incompressible and compressible Euler equations

abstract: Energy conservations are studied for inhomogeneous incompressible and compressible Euler equations with general pressure law in a torus or a bounded domain. We provide sufficient conditions for a weak solution to conserve the energy. By exploiting a suitable test function, the spatial regularity for the density is only required to be of order $2/3$ in the incompressible case, and of order $1/3$ in the compressible case. When the density is constant, we recover the existing results for classical incompressible Euler equation.


title: Hybrid Joint Diagonalization Algorithms

abstract: This paper deals with a hybrid joint diagonalization (JD) problem considering both Hermitian and transpose congruences. Such problem can be encountered in certain non-circular signal analysis applications including blind source separation. We introduce new Jacobi-like algorithms using Givens or a combination of Givens and hyperbolic rotations. These algorithms are compared with state-of-the-art methods and their performance gain, especially in the high dimensional case, is assessed through simulation experiments including examples related to blind separation of non-circular sources.


title: Thermodynamics of charged accelerating AdS black holes and holographic heat engines

abstract: Using a reasonable choice in normalizing the timelike Killing vector, we investigate the thermodynamic properties of charged accelerating Anti-de Sitter (AdS) black holes. We find that the expression of the thermodynamic mass in the first law of thermodynamics displays an inextricably intertwining behavior with the charge due to the unusual asymptotic structure of the accelerating black holes. Meanwhile, the thermodynamic length as a potential conjugate to the varying cosmic string tension is introduced and analyzed in detail, and the possible phase behavior of the charged accelerating black holes is also discussed in a standard thermodynamic analysis. Furthermore, we also investigate the properties of holographic heat engines with charged accelerating AdS black holes as the working substance in a benchmarking scheme. We find that the efficiencies of the black hole heat engines can be influenced by both the size of the benchmark circular cycle and the cosmic string tension. More interestingly, the existence of charge may significantly increase the efficiencies of the black hole heat engines and make them be more sensitive to a varying cosmic string tension. A cross-comparison of the efficiencies of different black hole heat engines suggests that the acceleration also increases the efficiency and renders it more sensitive as the charge varies.


title: Self-stabilizing Overlays for high-dimensional Monotonic Searchability

abstract: We extend the concept of monotonic searchability for self-stabilizing systems from one to multiple dimensions. A system is self-stabilizing if it can recover to a legitimate state from any initial illegal state. These kind of systems are most often used in distributed applications. Monotonic searchability provides guarantees when searching for nodes while the recovery process is going on. More precisely, if a search request started at some node $u$ succeeds in reaching its destination $v$, then all future search requests from $u$ to $v$ succeed as well. Although there already exists a self-stabilizing protocol for a two-dimensional topology and an universal approach for monotonic searchability, it is not clear how both of these concepts fit together effectively. The latter concept even comes with some restrictive assumptions on messages, which is not the case for our protocol. We propose a simple novel protocol for a self-stabilizing two-dimensional quadtree that satisfies monotonic searchability. Our protocol can easily be extended to higher dimensions and offers routing in $\mathcal O(\log n)$ hops for any search request.


title: Virtual braids and permutations

abstract: Let VB$_n$ be the virtual braid group on $n$ strands and let $\mathfrak{S}_n$ be the symmetric group on $n$ letters. Let $n,m \in \mathbb{N}$ such that $n \ge 5$, $m \ge 2$ and $n \ge m$. We determine all possible homomorphisms from VB$_n$ to $\mathfrak{S}_m$, from $\mathfrak{S}_n$ to VB$_m$ and from VB$_n$ to VB$_m$. As corollaries we get that Out(VB$_n$) is isomorphic to $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$ and that VB$_n$ is both Hopfian and co-Hofpian.


title: Ultraintense Attosecond Pulse Emission from Relativistic Laser-Plasma Interaction

abstract: We develop an analytical model for ultraintense attosecond pulse emission in the highly relativistic laser-plasma interaction. In this model, the attosecond pulse is emitted by a strongly compressed electron layer around the instant when the layer transverse current changes the sign and its longitudinal velocity approaches the maximum. The emitted attosecond pulse has a broadband exponential spectrum and a stabilized constant spectral phase $\psi(\omega)=\pm\pi/2-\psi_{A_m}$. The waveform of the attosecond pulse is also given explicitly, to our knowledge, for the first time. We validate the analytical model via particle-in-cell (PIC) simulations for both normal and oblique incidence. Based on this model, we highlight the potential to generate an isolated ultraintense phase-stabilized attosecond pulse


title: The weak commutativity construction for Lie algebras

abstract: We study the analogue of Sidki's weak commutativity construction, defined originally for groups, in the category of Lie algebras. This is the quotient $\chi(\mathfrak{g})$ of the Lie algebra freely generated by two isomorphic copies $\mathfrak{g}$ and $\mathfrak{g}^{\psi}$ of a fixed Lie algebra by the ideal generated by the brackets $[x,x^{\psi}]$, for all $x$. We exhibit an abelian ideal of $\chi(\mathfrak{g})$ whose associated quotient is a subdirect sum in $\mathfrak{g} \oplus \mathfrak{g} \oplus \mathfrak{g}$ and we give conditions for this ideal to be finite dimensional. We show that $\chi(\mathfrak{g})$ has a subquotient that is isomorphic to the Schur multiplier of $\mathfrak{g}$. We prove that $\chi(\mathfrak{g})$ is finitely presentable or of homological type $FP_2$ if and only if $\mathfrak{g}$ has the same property, but $\chi(\mathfrak{f})$ is not of type $FP_3$ if $\mathfrak{f}$ is a non-abelian free Lie algebra.


title: Generic Coding with Help and Amalgamation Failure

abstract: We show that if $M$ is a countable transitive model of ZF and if $a,b$ are reals not in $M$, then there is a $G$ generic over $M$ such that $b \in L[a,G]$. We then present several applications such as the following: if $J$ is any countable transitive model of ZFC and $M \not\subseteq J$ is another countable transitive model of ZFC of the same ordinal height $\alpha$, then there is a forcing extension $N$ of $J$ such that $M \cup N$ is not included in any transitive model of ZFC of height $\alpha$. Also, assuming $0^\#$ exists, letting $S$ be the set of reals generic over $L$, although $S$ is disjoint from the Turing cone above $0^\#$, we have that for any non-constructible real $a$, $\{ a \oplus s : s \in S \}$ is cofinal in the Turing degrees.


title: Influence of spin glass-like magnetic relaxation on the zero-field-cooled exchange bias effect

abstract: The zero-field-cooled exchange bias (ZEB) effect is a remarkable phenomenon recently reported for some reentrant spin glass-like compounds. In this work, the time-evolution of magnetization is thoroughly investigated for two ZEB materials in order to figure out the role played by the spin glass-like phase on such effect. La$_{1.5}$Sr$_{0.5}$CoMnO$_{6}$ and La$_{1.5}$Ca$_{0.5}$CoMnO$_{6}$ were chosen as representative samples of ZEB systems, since the former compound presents the largest ZEB reported so far, while the second has a much smaller effect, despite being structurally/chemically similar. Comprehensive magnetic measurements were carried on both samples, and the results are discussed in terms of the amount and time-evolution of the spin glass-like phase under the influence of a varying field. We also propose a phenomenological model, based on the pinning of spin glass-like moments and on the dynamics of their magnetic relaxation, to explain the asymmetry observed in the hysteresis loops. The good agreement between the simulated and experimental results confirms our hypothesis that the spin glass-like phase is key to the ZEB effect.


title: The Gravity Dual of Real-Time CFT at Finite Temperature

abstract: We present a spherically symmetric aAdS gravity solution with Schwinger-Keldysh boundary condition dual to a CFT at finite temperature defined on a complex time contour. The geometry is built by gluing the exterior of a two-sided AdS Black Hole, the (aAdS) Einstein-Rosen wormhole, with two Euclidean black hole halves. These pieces are interpreted as the gravity duals of the two Euclidean $\beta/2$ segments in the SK path, each coinciding with a Hartle-Hawking-Maldacena (TFD) vacuum state, while the Lorentzian regions naturally describes the real-time evolution of the TFD doubled system. Within the context of Skenderis and van Rees real-time holographic prescription, the new solution should be compared to the Thermal AdS spacetime since both contribute to the gravitational path integral. In this framework, we compute the time ordered 2-pt functions of scalar CFT operators via a non-back-reacting Klein-Gordon field for both backgrounds and confront the results. When solving for the field we find that the gluing leads to a geometric realization of the Unruh trick via a completely holographic prescription. Interesting observations follow from $\langle {\cal O}_L{\cal O}_R\rangle$, which capture details of the entanglement of the (ground) state and the connectivity of the spacetime.


title: Backdoor Embedding in Convolutional Neural Network Models via Invisible Perturbation

abstract: Deep learning models have consistently outperformed traditional machine learning models in various classification tasks, including image classification. As such, they have become increasingly prevalent in many real world applications including those where security is of great concern. Such popularity, however, may attract attackers to exploit the vulnerabilities of the deployed deep learning models and launch attacks against security-sensitive applications. In this paper, we focus on a specific type of data poisoning attack, which we refer to as a {\em backdoor injection attack}. The main goal of the adversary performing such attack is to generate and inject a backdoor into a deep learning model that can be triggered to recognize certain embedded patterns with a target label of the attacker's choice. Additionally, a backdoor injection attack should occur in a stealthy manner, without undermining the efficacy of the victim model. Specifically, we propose two approaches for generating a backdoor that is hardly perceptible yet effective in poisoning the model. We consider two attack settings, with backdoor injection carried out either before model training or during model updating. We carry out extensive experimental evaluations under various assumptions on the adversary model, and demonstrate that such attacks can be effective and achieve a high attack success rate (above $90\%$) at a small cost of model accuracy loss (below $1\%$) with a small injection rate (around $1\%$), even under the weakest assumption wherein the adversary has no knowledge either of the original training data or the classifier model.